Quaternionic Pole Placement via Companion Forms and the Ackermann Formula

إليك ملخص تقني مفصل لورقة "تحديد مواقع الأقطاب الكواترنيونية عبر الأشكال الرفيقة وصيغة أكيرمان" للباحث مايكل سيبك.

1. بيان المشكلة

تتناول الورقة مشكلة التحكم الأساسية المتمثلة في تحديد مواقع أقطاب التغذية الراجعة للحالة (state-feedback pole placement) للأنظمة الخطية غير المتغيرة زمنياً (LTI)، أحادية المدخل، والقابلة للتحكم والمعرفة فوق حقل الكواترنيونات ($\mathbb{H}$).

• السياق: بينما يعد تحديد مواقع الأقطاب تقنية قياسية في الأنظمة الحقيقية ($\mathbb{R}$) والمركبة ($\mathbb{C}$)، فإن توسيعها لتشمل الكواترنيونات ليس بالأمر الهين بسبب الطبيعة غير التبادلية (non-commutative) لضرب الكواترنيونات.
• التحديات الرئيسية:
  • تعريف القيم الذاتية: تُعرف القيم الذاتية اليمنى ($Av = v\lambda$) فقط كفئات تشابه كواترنيونية ($\lambda \sim \alpha^{-1}\lambda\alpha$). القيمة الذاتية الواحدة تمثل "كرة" من القيم المتكافئة، وليس نقطة فريدة.
  • غياب المحددات: الأدوات القياسية مثل كثير الحدود المميز، ونظرية كايلي-هاميلتون، والمصفوفة الملحقة لا تعمم بسهçولة على الكواترنيونات لأن المحددات تكون غير محددة المعنى أو تفتقر إلى الخصائص الضرورية في الجبر غير التبادلي.
  • ترتيب التقييم: يعتمد تقييم كثير الحدود على الترتيب (من اليسار إلى اليمين أو العكس)، مما يعني أن $p(A)$ ليست فريدة ما لم تكن المعاملات مركزية (حقيقية).
• الهدف: تطوير إطار عمل صارم خالٍ من المحددات لتعيين الطيف الأي_من المغلق (closed-loop right spectrum) -وهو عبارة عن مجموعة من فئات التشابه- باستخدام التغذية الراجعة للحالة $u = -Kx$.

2. المنهجية

يقترح المؤلف نهجاً ذا شقين يحاكي سير العمل الكلاسيكي في $\mathbb{R}/\mathbb{C}$ ولكنه يتكيف مع القيود الجبرية لـ $\mathbb{H}$.

أ. الأشكال الرفيقة الكواترنيونية (Quaternionic Companion Forms)

بدلاً من الاعتماد على المحددات لإيجاد كثير حدود مميز، تقوم الورقة ببناء شكل رفيق قابل للتحكم (controllable companion form) مباشرة من مصفوفة القابلية للتحكم.

• البناء: بالنسبة للزوج القابل للتحكم $(A, B)$، يتم اشتقاق تحويل تشابه $T$ باستخدام معكوس مصفوفة القابلية للتحكم $C = [B, AB, \dots, A^{n-1}B]$.
• النتيجة: يتم تحويل النظام إلى شكل رفيق سفلي $(A_c, B_c)$ حيث تمتلك $A_c$ بنية محددة (مصفوفة إزاحة يحتوي صفها الأخير على المعاملات).
• كثير الحدود الرفيق: يتم تعريف كثير حدود كواترنيوني أحادي الحد $a(\lambda)$ بناءً على الصف الأخير من $A_c$. ومن المهم أن الورقة تثبت أن هذا كثير الحدود يعدم من جهة اليمين (right-annihilates) المصفوفة الرفيقة: $a(A_c)_\mathcal{R} = 0$.
• التوصيف الطيفي: الطيف الأيمن لـ $A_c$ (وبالتالي لـ $A$ الأصلي) هو بالضبط مجموعة فئات التشابه للأصفار اليمنى لـ $a(\lambda)$.

ب. استراتيجيات تحديد مواقع الأقطاب

تشتق الورقة طريقتين متكافئتين للتصميم لتعيين طيف مغلق مرغوب فيه:

1. مطابقة المعاملات (الحالة العامة):

   • تحويل النظام إلى الشكل الرفيق.
   • اختيار كثير حدود كواترنيوني أحادي الحد مرغوب فيه $a_d(\lambda)$ تمثل أصفاره اليمنى فئات التشابه المستهدفة.
   • حساب كسب التغذية الراجعة $K_c$ في إحداثيات الشكل الرفيق عن طريق مطابقة المعاملات: $K_c = [d_0 - a_0, \dots, d_{n-1} - a_{n-1}]$.
   • التحويل مرة أخرى إلى الإحداثيات الأصلية: $K = K_c T^{-1}$.
   • النطاق: صالح لأي كثير حدود كواترنيوني مستهدف (بما في ذلك المعاملات غير الحقيقية).

2. صيغة أكيرمان الكواترنيونية (الحالة المقيدة):

   • اشتقاق تعبير لـ $K$ مستقل عن الإحداثيات يتجنب التحويل الصريح إلى إحداثيات الشكل الرفيق.
   • القيد: يجب أن يكون كثير الحدود المرغوب فيه $a_d(\lambda)$ ذا معاملات حقيقية (مركزية) ($a_d \in \mathbb{R}[\lambda]$). هذا ضروري لأن القيم القياسية الحقيقية تتبادل مع جميع الكواترنيونات، مما يضمن أن التقييم $a_d(A)$ غير غامض ويحقق خاصية "التداخل" المطلوبة للبرهان.
   • الصيغة: $K = e_n^T C^{-1} a_d(A)$، حيث $e_n$ هو آخر متجه أساس معياري.
   • النطاق: يغطي الأقطاب الحقيقية والأزواج المركبة المترافقة (التي تحدد فئات كروية في $\mathbb{H}$)، ولكنه يفشل مع المعاملات الكواترنيونية التعسفية.

3. المساهمات الرئيسية

• إطار عمل خالٍ من المحددات: تؤسس الورقة نظرية كاملة لتحديد مواقع الأقطاب دون استخدام المحددات، أو نظرية كايلي-هاميلتون، أو المصفوفات الملحقة، والتي تعد إشكالية في $\mathbb{H}$.
• نظرية كثير الحدود الرفيق: تُعرف بدقة كثير الحدود الرفيق للأزواج القابلة للتحكم وتثبت أنه يعدم المصفوفة الرفيقة من جهة اليمين، مما يجعله المكافئ الوظيفي لكثير الحدود المميز في هذا السياق.
• صيغة أكيرمان المعممة: تقدم أول صيغة كسب من نوع أكيرمان صريحة للأنظمة الكواترنيونية، مع توضيح دقيق لصلاحيتها (المعاملات الحقيقية) وحدودها (المعاملات غير الحقيقية).
• التفسير الطيفي: توضح أن تحديد مواقع الأقطاب في $\mathbb{H}$ يستهدف فئات التشابه للقيم الذاتية اليمنى، وليس النقاط الفردية، وتوضح كيف تقوم كثيرات الحدود الحقيقية/المركبة بترميز هذه الفئات.

4. النتائج والتحقق

• البراهين النظرية: توفر النظريات 1-6 الأساس الرياضي، حيث تثبت وجود الشكل الرفيق، وخاصية الإعدام، والتناظر الطيفي، وصحة صيغة أكيرمان تحت قيود المعاملات الحقيقية.
• الأمثلة العددية: تتضمن الورقة أمثلة توضح:
  • حساب مصفوفة التحويل $T$ والشكل الرفيق.
  • تحديد مواقع الأقطاب بنجاح للأهداف الحقيقية (مثل $\lambda = -1, -2$).
  • تحديد مواقع الأقطاب بنجاح للأزواج المركبة المترافقة (مثل $\lambda = -1 \pm i$)، والتي تقابل فئة كروية واحدة في $\mathbb{H}$.
  • حالة الفشل: عرض حالة توضح أن تطبيق صيغة أكيرمان على كثير حدود بمعاملات غير حقيقية (كواترنيونية) يؤدي إلى كسب غير صحيح ويفشل في تعيين الطيف المطلوب.

5. الأهمية

يسد هذا العمل فجوة حرجة في نظرية التحكم الكواترنيونية. فمن خلال توفير أدوات تصميم عملية وقابلة للحساب (الأشكال الرفيقة وصيغة أكيرمان) تحترم الجبر غير التبادلي للكواترنيونات، فإنه يتيح التطبيق المباشر للتحكم بالتغذية الراجعة للحالة للأنظمة الممثلة في الفضاء فوق المركب.

• التطبيقات: هذا الأمر ذو أهمية خاصة لـ التحكم في وضعية الأجسام الصلبة (attitude control)، الحوسبة الكمومية (التحكم في بوابات الكيوبت)، تصميم نبضات الرنين المغناطيسي (NMR/MRI)، و معالجة الصور الملونة، حيث تعتبر النماذج الكواترنيونية طبيعية ولكنها كانت تفتقر سابقاً إلى أدوات تركيب تحكم قوية.
• العملية: تحتفظ هذه الطرق بسير العمل المألوف للتحكم الكلاسيكي (إحداثيات الشكل الرفيق، مطابقة المعاملات) مع التعامل صراحة مع تفاصيل التشابه الكواترنيوني وترتيب التقييم، مما يجعلها سهلة الوصول للمهندسين والباحثين.

باختصار، نجح سيبك في رفع تقنيات تحديد مواقع أقطاب فضاء الحالة القياسية إلى المجال الكواترنيوني، مقدماً منهجية متينة خالية من المحددات، سليمة نظرياً وقابلة للتطبيق العملي للأنظمة أحادية المدخل القابلة للتحكم.