Observer Design over Hypercomplex Quaternions

إليك ملخص تقني مفصل للورقة البحثية بعنوان "تصميم المراقب فوق الكواتيرنيونات فائقة التعقيد" (Observer Design over Hypercomplex Quaternions) للباحث مايكل سيبك.

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

تتناول الورقة البحثية تحدي تصميم مراقبي الحالة (state observers) للأنظمة الخطية زمنية الثبات (LTI) المعرفة فوق جبر القسمة للكواتيرنيونات ($\mathbb{H}$).

• الصعوبة الجوهرية: على عكس الأعداد الحقيقية ($\mathbb{R}$) أو المركبة ($\mathbb{C}$)، فإن ضرب الكواتيرنيونات غير تبديلي (non-commutative). هذه الخاصية الجوهرية تكسر أدوات الجبر الخطي القياسية:
  • المحددات (Determinants) والحدوديات المميزة (characteristic polynomials) لا تتعمم بشكل مباشر.
  • تفشل نظرية كايلي-هاميلتون (Cayley-Hamilton) في شكلها الكلاسيكي.
  • القيم الذاتية (Eigenvalues) ليست أعداداً قياسية فريدة، بل توجد كـ فئات تشابه (similarity classes) $[\lambda] = \{\alpha^{-1}\lambda\alpha \mid \alpha \in \mathbb{H} \setminus \{0\}\}$.
  • يعتمد تقييم الحدوديات على ما إذا كانت المعاملات تعمل من اليسار أو من اليمين.
• القيود الحالية: عادةً ما تقوم التطبيقات الحالية (مثل الطيران والروبوتات) بتحويل الأنظمة الكواتيرنيونية إلى إحداثيات متجهة حقيقية رباعية الأبعاد لاستخدام مراقبين قياسيين. هذا النهج يفقد البنية الجوهرية فائقة التعقيد ويمنع الاستدلال مباشرة من خلال الأطياف وفئات التشابه الكواتيرنيونية.
• الهدف: تطوير إطار عمل لتصميم مراقب أصيل فوق $\mathbb{H}$ يتجنب المحددات والحدوديات المميزة، ويقوم بتعيين أقطاب المراقب مباشرة كفئات تشابه كواتيرنيونية.

2. المنهجية

يقترح المؤلف إطار عمل خالٍ من المحددات ومن الحدوديات المميزة يعتمد على القابلية للملاحظة (observability) والازدواجية (duality).

أ. الأسس الرياضية

• اصطلاح الموديول الأيمن (Right-Module Convention): يتم نمذجة النظام كموديول أيمن فوق $\mathbb{H}$ حيث تعمل المصفوفات من اليسار وتُضرب السلالم (scalars) من اليمين ($Ax + Bu$).
• تعريف الطيف (Spectrum Definition): يتم تعريف الاستقرار ووضع الأقطاب عبر القيم الذاتية اليمنى ($Av = v\lambda$)، وهي ثابتة تحت تحويلات التشابه.
• الازدواجية (Duality): تثبت الورقة أن الزوج المزدوج الصحيح للنظام $(A, C)$ هو $(A^*, C^*)$، حيث تشير النجمة $(*)$ إلى المرافق المنقول (conjugate transpose). هذا يحافظ على الشكل الهيرميتي والخصائص الطيفية، على عكس عملية المنقول البسيطة.

ب. الصيغة الرفيقة القابلة للملاحظة (Observable Companion Form)

بدلاً من استخدام الحدودية المميزة، تبني الورقة صيغة رفيقة قابلة للملاحظة يمنى مباشرة من مصفوفة الملاحظة $\mathcal{O}$:

1. البناء: بالنظر إلى زوج قابل للملاحظة $(A, C)$، يتم اشتقاق تحويل تشابه $T$ باستخدام معكوس مصفوفة الملاحظة ($T = [\mathcal{O}^{-1}e_n, A\mathcal{O}^{-1}e_n, \dots]$).
2. النتيجة: يتم تحويل النظام إلى صيغة نموذجية $(A_o, C_o)$ حيث تمتلك $A_o$ بنية قطرية فرعية محددة، ويحتوي العمود الأخير على معاملات الحدودية الرفيقة $a(\lambda)$.
3. الخاصية الرئيسية: تثبت الورقة أنه بينما تفشل نظرية كايلي-هاميلتون الكلاسيكية، فإن الحدودية الرفيقة تعدم (annihilates) المصفوفة الرفيقة $A_o$ تحت التعويض من اليسار ($a(A_o)_\ell = 0$).

ج. استراتيجيات وضع الأقطاب (Pole Placement Strategies)

تقدم الورقة طريقتين لتعيين أقطاب المراقب (فئات تشابه القيم الذاتية اليمنى):

1. تحديث إحداثيات الرفيق (Companion Coordinate Update):
   • تحويل النظام إلى الصيغة الرفيقة القابلة للملاحظة.
   • حساب الفرق بين معاملات الحدودية المستهدفة ($d_i$) والمعاملات الحالية ($a_i$).
   • تحديث كسب المراقب (observer gain) مباشرة في الإحداثيات المحولة وإعادته إلى النظام الأصلي.
   • القدرة: تعمل هذه الطريقة مع أي حدودية مستهدفة، بما في ذلك تلك التي تحتوي على معاملات كواتيرنيونية غير حقيقية (غير مركزية).
2. صيغة أكرمان الكواتيرنيونية (Quaternionic Ackermann's Formula):
   • صيغة مباشرة ومباشرة لـ كسب المراقب $L$:
     $$L = a_d(A) \mathcal{O}^{-1} e_n$$
   • القيد: هذه الصيغة صالحة فقط إذا كانت الحدودية المستهدفة $a_d(\lambda)$ تمتلك معاملات حقيقية. المعاملات الحقيقية تقع في مركز $\mathbb{H}$، مما يضمن أن تقييم الحدودية متماثل تحت التشابه. إذا كانت الحدودية المستهدفة تحتوي على معاملات كواتيرنيونية، فإن هذه الصيغة ستعطي نتائج غير صحيحة.

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

1. تصميم مراقب كواتيرنيوني أصيل: أول اشتقاق لإطار عمل كامل لتصميم المراقب يعمل مباشرة فوق $\mathbb{H}$ دون التحويل إلى الإحداثيات الحقيقية.
2. إطار عمل خالٍ من المحددات: يستبدل الحدوديات المميزة الكواتيرنيونية (التي تكون غير موجودة أو إشكالية) بـ صيغة رفيقة قابلة للملاحظة مشتقة بالكامل من مصفوفة الملاحظة.
3. التوصيف الطيفي: يثبت أن الطيف الأيمن للمصفوفة الرفيقة القابلة للملاحظة يتوافق تماماً مع فئات التشابه للأصفار اليمنى لحدوديتها الرفيقة.
4. توضيح صيغة أكرمان: يشتق صيغة أكرمان للمراقب الكواتيرنيوني التي ثبت بدقة أنها تعمل فقط للحدوديات ذات المعاملات الحقيقية، مما يوضح سوء الفهم الشائع حول تطبيق الصيغ الكلاسيكية على الجبرات غير التبديلية.
5. توضيح الازدواجية: يحدد بوضوح ازدواجية المتحكم والمراقب فوق $\mathbb{H}$ باستخدام المرافق المنقول ($*$) بدلاً من المنقول القياسي.

4. النتائج

• التحقق النظري: توفر النظريات 1-6 براهين صارمة لوجود الصيغة الرفيقة، وخاصة تعديم الحدودية، وصحة طرق وضع الأقطاب.
• المحاكاة: يوضح مثال المحاكاة (المثال 5) تقارب المراقب الكواتيرنيوني.
  • النظام: نظام SISO من الدرجة الثانية بمصفوفات كواتيرنيونية.
  • النتيجة: تتقارب حالة النظام المقدرة $\hat{x}(t)$ مع الحالة الحقيقية $x(t)$ في جميع مكوناتها الأربعة (القياسي، $i$، $j$، $k$) عند استخدام المكاسب المشتقة.
• التحليل المقارن: تظهر الورقة أنه بينما تنجح طريقة تحديث إحداثيات الرفيق في التعامل مع الأقطاب المستهدفة الكواتيرنيونية (مثل $-1+j$)، فإن صيغة أكرمان تفشل في هذه الحالة المحددة، مما يعزز ضرورة قيد المعاملات الحقيقية للصيغة المختصرة.

5. الأهمية

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