Global Linearization of Parameterized Nonlinear Systems with Stable Equilibrium Point Using the Koopman Operator

إليك ملخص تقني مفصل للورقة البحثية بعنوان "الخطيّة العالمية للأنظمة غير الخطية ذات المعالم باستخدام مؤثر كوبمان" (Global Linearization of Parameterized Nonlinear Systems with Stable Equilibrium Point Using the Koopman Operator).

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

تتناول الورقة البحثية تحدي تحليل والتحكم في الأنظمة الديناميكية غير الخطية ذات المدخلات باستخدام إطار عمل مؤثر كوبمان (Koopman operator). وبينما يُعد مؤثر كوبمان إطاراً راسخاً للأنظمة المستقلة (حيث يوفر خطيّة عالمية عبر الدوال الذاتية)، فإن تطبيقه على الأنظمة ذات مدخلات التحكم لا يزال غير متطور نظرياً.

تحديداً، يهدف المؤلفون إلى:

1. توضيح الخصائص الطيفية لمؤثرات كوبمان للأنظمة التي تُعامل فيها المدخلات كـ معالم (parameters).
2. تحديد الشروط التي يمكن بموجبها تحويل نظام غير خطي إلى نظام خطي ذي أبعاد محدودة (خطيّة عالمية) يعتمد باستمرار على معلم المدخلات.

• 3. تحديد الشروط التي يصبح فيها هذا التحويل مستقلاً عن المدخل، مما يتيح خطيّة ثنائية (bilinearization) عالمية للأنظمة ذات الصيغة الأفينية للتحكم (control-affine systems). وهذا أمر بالغ الأهمية لأن التغييرات الخطية المعتمدة على المعالم غالباً ما تكون غير مناسبة لتصميم التحكم (لأن مصفوفة التحويل تتغير مع مدخل التحكم).

2. المنهجية

يستخدم المؤلفون مزيجاً من النظرية الطيفية، ونظرية الاضطراب للمؤثرات الخطية، والحجج الجبرية لـ "لي" (Lie algebraic arguments).

• توصيف المدخلات (Parameterization of Inputs): يتم التعامل مع مدخل التحكم $u$ كمعلم ثابت جزئياً. ويتم نمذجة النظام كـ $\dot{x} = F_u(x)$، حيث $F_u$ هو حقل متجه يعتمد على $u$.
• تحليل مؤثر كوبمان:
  • يتم تعريف مولد كوبمان $L_F$ كاشتقاق "لي" (Lie derivative) على طول الحقل المتجه.
  • يحلل المؤلفون مجموعة المقلوب (resolvent set) والدوال الذاتية (eigenfunctions) للمولد المعتمد على المعلم $L_{F_u}$.
  • يستخدمون نظرية الاضطراب (تحديداً فيما يتعلق بالتقارب القوي للمقلوبات والمساقط الذاتية) لإثبات أن الدوال الذاتية لكوبمان تعتمد باستمرار على المعلم $u$، بشرط أن يمتلك النظام نقطة اتزان مستقرة أسياً عالمياً (GES EP) عند الأصل.
• الشروط الطيفية: يعتمد التحليل على شرطين رئيسيين للقيم الذاتية $\lambda_i$ لمصفوفة جاكوبي $D_x F_u(0)$:
  1. شرط عدم الرنين $k$ ($k$-nonresonant condition): لا يوجد مزيج خطي من القيم الذاتية يساوي قيمة ذاتية أخرى (حتى الرتبة $k$).
  2. شرط التباعد الطيفي $k$ ($k$-spectral spread condition): الأجزاء الحقيقية للقيم الذاتية متباعدة بشكل كافٍ.
• نهج جبر "لي" للتحويل الثنائي (Bilinearization): لتحقيق تحويلات مستقلة عن المدخل، يوسع المؤلفون النتائج المحلية إلى إطار عالمي. ويقارنون بين جبر "لي" الناتج عن الحقول المتجهة غير الخطية $\{F, G_1, \dots, G_d\}_L$ وجبر "لي" الناتج عن خطياتها عند الأصل $\{A, B_1, \dots, B_d\}_L$.

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

أ. الخطية العالمية مع اعتماد مستمر على المعلم

تثبت النظرية 4 أنه بالنسبة لنظام معتمد على معلم $\dot{x} = F_u(x)$ مع نقطة اتزان مستقرة أسياً عالمياً (GES EP):

• إذا كانت القيم الذاتية لمصفوفة جاكوبي تحقق شروط عدم الرنين والتباعد الطيفي، فإنه يوجد تشاكل تفاضلي (diffeomorphism) $\psi_u: X \to \mathbb{R}^n$ يعمل على خطية النظام:
  $$\frac{d}{dt}\psi_u(x) = A_u \psi_u(x)$$
  حيث $A_u = D_x F_u(0)$.
• الاستمرارية: من الأهمية بمكان أن التحويل $\psi_u$ يعتمد باستمرار على المعلم $u$ في معيار $C^k$.
• الأهمية: هذا يبرر استخدام الطرق القائمة على البيانات (مثل طريقة التفكك الديناميكي الممتد - EDMD) لأنظمة التحكم، حيث يضمن وجود خريطة مستمرة $(x, u) \mapsto \psi_u(x)$ يمكن تقريبها بواسطة مقربات عالمية (مثل الشبكات العصبية).

ب. الخطية الثنائية العالمية للأنظمة ذات الصيغة الأفينية للتحكم

تتناول النظرية 5 الأنظمة ذات الصيغة الأفينية للتحكم من الشكل $\dot{x} = F(x) + \sum u_i G_i(x)$.

• الشرط: إذا كان جبر "لي" الناتج عن الحقول المتجهة $\{F, G_1, \dots, G_d\}$ متشابهاً (isomorphic) مع جبر "لي" الناتج عن خطياتها عند الأصل $\{A, B_1, \dots, B_d\}$، فإن الخطية الثنائية العالمية موجودة.
• النتيجة: يوجد تشاكل تفاضلي $\psi$ (مستقل عن $u$) بحيث يحققت الحالة المحولة $z = \psi(x)$ المعادلة:
  $$\dot{z} = Az + \sum_{i=1}^d u_i B_i z$$
• العالمي مقابل المحلي: على عكس نتائج التحكم الهندسي السابقة (مثل الاقتراح 4 في الورقة) التي غالباً ما تكون محلية (صالحة فقط بالقرب من نقطة الاتزان بسبب تقارب سلسلة تايلور)، فإن هذه النتيجة هي عالمية لأنها تعتمد على الخصائص الطيفية لمؤثر كوبمان بدلاً من التوسعات التحليلية المحلية.

ج. تقارب المقلوب والمسقط الذاتي

تقدم الورقة براهين صارمة (النظرية 2 و3) تظهر أن المقلوب $R(\zeta, L_{F_u})$ والمساقط الذاتية المرتبطة به $P_{\lambda_u}$ تتقارب بقوة عندما يقترب المعلم من قيمة مرجعية $u_0$. هذا الأساس الرياضي يضمن استقرار الدوال الذاتية لكوبمان تحت تغيرات المعالم.

4. الأهمية والآثار المترتبة

1. الأساس النظري للتحكم القائم على البيانات: توفر نتيجة الاستمرارية (النظرية 4) التبرير النظري لاستخدام EDMD ومتغيراتها في تطبيقات التحكم. فهي تؤكد وجود تمثيلات خطية ذات أبعاد محدودة وتتغير بسلاسة مع المدخلات، مما يثبت صحة نهج التعلم "الصندوق الأسود".
2. الخطية الثنائية العالمية: تجسر هذه الورقة الفجوة بين التحكم غير الخطي الهندسي (طرق جبر "لي") ونظرية مؤثر كوبمان. وهي تقدم شرطاً بنائياً (تماثل جبر "لي") لتحقيق نموذج ثنائي عالمي، وهو أمر مرغوب بشدة في تصميم التحكم (مثل التحكم التنبئي بالنماذج - MPC) لأن الأنظمة الثنائية أسهل في التعامل معها من الأنظمة غير الخطية العامة.
3. التعامل مع المدخلات: من خلال معاملة المدخلات كمعالم، يوضح المؤلفون كيف تسلك الدوال الذاتية لكوبمان سلوكها في وجود التحكم، متجاوزين قيود تحليل الأنظمة المستقلة البحتة.
4. التوسع إلى الأنظمة القابلة للاستقرار: تشير الملاحظة 5 إلى إمكانية توسيع هذه النتائج لتشمل الأنظمة التي ليست مستقرة بطبيعتها ولكن يمكن جعلها مستقرة عبر التغذية الراجعة، مما يوسع نطاق التطبيق في مسائل التحكم الأمثل للأنظمة الثنائية.

5. التحقق من المثال

تتحقق الورقة من النظرية باستخدام مثال ثنائي الأبعاد:

• يتم تحليل نظام $\dot{x} = F(x) + uG(x)$.
• توضح الورقة أنه عندما يتحقق شرط عدم الرنين، فإن الدوال الذاتية تعتمد باستمرار على $u$.
• وتظهر أنه عندما يكون $a=1$ (محققاً شرط تماثل جبر "لي" $[F, G] = 0$)، يتم تحقيق خطية ثنائية عالمية مع تحويل $\psi$ يكون مستقلاً عن $u$، مما يحول النظام غير الخطي بنجاح إلى نظام ثنائي.

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