2025-11-17T10:58:20.841311

Stability of quaternion matrix polynomials

Basavaraju, Hadimani, Jayaraman
A right quaternion matrix polynomial is an expression of the form $P(λ)= \displaystyle \sum_{i=0}^{m}A_i λ^i$, where $A_i$'s are $n \times n$ quaternion matrices with $A_m \neq 0$. The aim of this manuscript is to determine the location of right eigenvalues of $P(λ)$ relative to certain subsets of the set of quaternions. In particular, we extend the notion of (hyper)stability of complex matrix polynomials to quaternion matrix polynomials and obtain location of right eigenvalues of $P(λ)$ using the following methods: $(1)$ we give a relation between (hyper)stability of a quaternion matrix polynomial and its complex adjoint matrix polynomial, $(2)$ we prove that $P(λ)$ is stable with respect to an open (closed) ball in the set of quaternions, centered at a complex number if and only if it is stable with respect to its intersection with the set of complex numbers and $(3)$ as a consequence of $(1)$ and $(2)$, we prove that right eigenvalues of $P(λ)$ lie between two concentric balls of specific radii in the set of quaternions centered at the origin. A generalization of the Enestr{ö}m-Kakeya theorem to quaternion matrix polynomials is obtained as an application. We identify classes of quaternion matrix polynomials for which stability and hyperstability are equivalent. We finally deduce hyperstability of certain univariate quaternion matrix polynomials via stability of certain multivariate quaternion matrix polynomials.
academic

استقرار متعددات الحدود المصفوفية الرباعية

المعلومات الأساسية

  • معرّف الورقة: 2407.16603
  • العنوان: استقرار متعددات الحدود المصفوفية الرباعية
  • المؤلفون: Pallavi Basavaraju, Shrinath Hadimani, Sachindranath Jayaraman
  • التصنيف: math.SP (نظرية الطيف)
  • وقت النشر: يوليو 2024 (نسخة أولية على arXiv، أحدث إصدار أكتوبر 2025)
  • رابط الورقة: https://arxiv.org/abs/2407.16603

الملخص

تدرس هذه الورقة استقرار متعددات الحدود المصفوفية الرباعية اليمنى P(λ)=∑i=0mAiλiP(\lambda) = \sum_{i=0}^{m} A_i \lambda^i، حيث AiA_i مصفوفات رباعية بحجم n×nn \times n و Am≠0A_m \neq 0. تهدف المقالة إلى تحديد موقع القيم الذاتية اليمنى لـ P(λ)P(\lambda) بالنسبة لمجموعات فرعية معينة من مجموعة الأعداد الرباعية. تتضمن المساهمات الرئيسية: (1) إنشاء علاقات الاستقرار (الفائق) بين متعددات الحدود المصفوفية الرباعية ومتعددات الحدود المصفوفية المرافقة المعقدة لها؛ (2) إثبات أن استقرار كرات الأعداد الرباعية ذات المركز المعقد يعادل استقرار تقاطعها مع مجموعة الأعداد المعقدة؛ (3) إثبات أن القيم الذاتية اليمنى تقع بين كرتين متحدتي المركز بنصف قطر محدد بالقرب من الأصل. كتطبيق، يتم تقديم تعميم لنظرية إينشترم-كاكيا على متعددات الحدود المصفوفية الرباعية.

خلفية البحث والدافع

خلفية المشكلة

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

دافع البحث

  • توسيع مفهوم الاستقرار لمتعددات الحدود المصفوفية المعقدة إلى متعددات الحدود المصفوفية الرباعية
  • الاستفادة من البنية الخاصة للأعداد الرباعية (يمكن تمثيلها كامتداد للأعداد المعقدة) لإنشاء ارتباط مع الحالة المعقدة
  • توفير طرق فعالة لتحديد موقع القيم الذاتية لمتعددات الحدود المصفوفية الرباعية

المساهمات الأساسية

  1. تعريف مفاهيم الاستقرار والاستقرار الفائق لمتعددات الحدود المصفوفية الرباعية، وإثبات علاقات التكافؤ بينها وبين موقع القيم الذاتية
  2. إنشاء علاقات التطابق بين استقرار متعددات الحدود المصفوفية الرباعية ومتعددات الحدود المصفوفية المرافقة المعقدة لها (النظرية 4.8)
  3. إثبات نظرية التبسيط للاستقرار لكرات الأعداد الرباعية ذات المركز المعقد (النظرية 4.12)، مما يبسط مشكلة الاستقرار الرباعي إلى الحالة المعقدة
  4. تقديم نتائج تحديد موقع القيم الذاتية لمتعددات الحدود المصفوفية الرباعية في منطقة حلقية (النظرية 4.19)، مشابهة لنتائج Higham-Tisseur للمصفوفات المعقدة
  5. تعميم نظرية إينشترم-كاكيا إلى متعددات الحدود المصفوفية الرباعية (النظرية 4.23)
  6. تحديد فئات متعددات الحدود المصفوفية الرباعية التي يكون فيها الاستقرار والاستقرار الفائق متكافئين
  7. اشتقاق الاستقرار الفائق للحالة أحادية المتغير من خلال استقرار متعددات الحدود المصفوفية الرباعية متعددة المتغيرات

شرح الطرق

التعاريف الأساسية

متعددة الحدود المصفوفية الرباعية: تُعرّف متعددة الحدود المصفوفية الرباعية اليمنى بأنها P(λ)=∑i=0mAiλiP(\lambda) = \sum_{i=0}^{m} A_i \lambda^i حيث Ai∈Mn(H)A_i \in M_n(\mathbb{H})، Am≠0A_m \neq 0، والمتغير λ\lambda يظهر على الجانب الأيمن من معاملات المصفوفة.

القيمة الذاتية اليمنى: λ0∈H\lambda_0 \in \mathbb{H} هي قيمة ذاتية يمنى لـ P(λ)P(\lambda) إذا كان هناك متجه غير صفري y∈Hny \in \mathbb{H}^n بحيث ∑i=0mAiyλ0i=0\sum_{i=0}^{m} A_i y \lambda_0^i = 0

تعاريف الاستقرار

الاستقرار (التعريف 4.1): P(λ)P(\lambda) مستقر بالنسبة إلى Ω⊆H\Omega \subseteq \mathbb{H} إذا كان لأي متجه غير صفري y∈Hny \in \mathbb{H}^n وأي μ∈Ω\mu \in \Omega، يوجد متجه غير صفري z∈Hnz \in \mathbb{H}^n بحيث z∗Amyμm+z∗Am−1yμm−1+⋯+z∗A1yμ+z∗A0y≠0z^* A_m y \mu^m + z^* A_{m-1} y \mu^{m-1} + \cdots + z^* A_1 y \mu + z^* A_0 y \neq 0

الاستقرار الفائق (التعريف 4.2): P(λ)P(\lambda) فائق الاستقرار بالنسبة إلى Ω\Omega إذا كان لأي متجه غير صفري y∈Hny \in \mathbb{H}^n، يوجد متجه غير صفري z∈Hnz \in \mathbb{H}^n بحيث تكون المتباينة أعلاه صحيحة لجميع μ∈Ω\mu \in \Omega.

المصفوفة المرافقة المعقدة

المصفوفة المرافقة المعقدة (التعريف 4.6): بالنسبة إلى A∈Mn(H)A \in M_n(\mathbb{H})، يمكن تمثيلها كـ A=A1+A2jA = A_1 + A_2 j، حيث A1,A2∈Mn(C)A_1, A_2 \in M_n(\mathbb{C}). تُعرّف المصفوفة المرافقة المعقدة بأنها χA:=[A1A2−A2‾A1‾]\chi_A := \begin{bmatrix} A_1 & A_2 \\ -\overline{A_2} & \overline{A_1} \end{bmatrix}

متعددة الحدود المصفوفية المرافقة المعقدة (التعريف 4.7): Pχ(λ)=∑i=0mχAiλiP_\chi(\lambda) = \sum_{i=0}^{m} \chi_{A_i} \lambda^i

النظريات الرئيسية

النظرية 4.8: P(λ)P(\lambda) مستقر (فائق الاستقرار) بالنسبة إلى Ω∩C\Omega \cap \mathbb{C} إذا وفقط إذا كانت متعددة الحدود المصفوفية المرافقة المعقدة Pχ(λ)P_\chi(\lambda) مستقرة (فائقة الاستقرار) بالنسبة إلى Ω∩C\Omega \cap \mathbb{C}.

النظرية 4.12: لتكن Ω=B(a;r)\Omega = B(a;r) كرة رباعية مفتوحة بمركز a∈Ca \in \mathbb{C} ونصف قطر r>0r > 0. عندئذ P(λ)P(\lambda) مستقر بالنسبة إلى Ω\Omega إذا وفقط إذا كان P(λ)P(\lambda) مستقراً بالنسبة إلى Ω∩C\Omega \cap \mathbb{C}.

إعداد التجارب

التحقق النظري

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

المثال 4.9: يوضح الفرق بين الاستقرار والاستقرار الفائق المثال 4.10: يبين أن الاستقرار لا يعني بالضرورة الاستقرار الفائق المثال 4.21: يتحقق من أن الحدود المعطاة في النظريات 4.14 و 4.18 محكمة

التحقق من التطبيقات

تتحقق الورقة من فعالية الطريقة بالطرق التالية:

  1. المقارنة مع النتائج المعروفة لمتعددات الحدود المصفوفية المعقدة
  2. تعميم النظريات الكلاسيكية (مثل نظرية إينشترم-كاكيا)
  3. بناء أمثلة محددة للتحقق من التنبؤات النظرية

نتائج التجارب

النتائج الرئيسية

تحديد موقع القيم الذاتية (النظرية 4.19): بالنسبة لمتعددات الحدود المصفوفية الرباعية ذات المعاملات الأولى والثابتة القابلة للعكس، تقع القيم الذاتية اليمنى في المنطقة الحلقية {q∈H:r≤∣q∣≤R}\{q \in \mathbb{H} : r \leq |q| \leq R\}، حيث:

  • rr هو الصفر الموجب الوحيد لـ ∥Am∥zm+⋯+∥A1∥z−∥A0−1∥−1\|A_m\|z^m + \cdots + \|A_1\|z - \|A_0^{-1}\|^{-1}
  • RR هو الصفر الموجب الوحيد لـ ∥Am−1∥−1zm−∥Am−1∥zm−1−⋯−∥A0∥\|A_m^{-1}\|^{-1}z^m - \|A_{m-1}\|z^{m-1} - \cdots - \|A_0\|

تعميم إينشترم-كاكيا (النظرية 4.23): بالنسبة لمتعددات الحدود المصفوفية الرباعية التي تحقق معاملاتها Am⪰Am−1⪰⋯⪰A0≻0A_m \succeq A_{m-1} \succeq \cdots \succeq A_0 \succ 0، كل قيمة ذاتية يمنى λ0\lambda_0 تحقق λmin⁡(A0)2λmax⁡(Am)≤∣λ0∣≤1\frac{\lambda_{\min}(A_0)}{2\lambda_{\max}(A_m)} \leq |\lambda_0| \leq 1

نتائج التكافؤ

النظرية 4.28: بالنسبة لمتعددات الحدود المصفوفية الرباعية العليا المثلثية ذات معامل أول يساوي مصفوفة الوحدة، الاستقرار والاستقرار الفائق متكافئان.

التوسيع متعدد المتغيرات

النظرية 4.35: تعطي شروطاً كافية لاشتقاق الاستقرار الفائق للحالة أحادية المتغير من استقرار متعددات الحدود المصفوفية الرباعية متعددة المتغيرات.

الأعمال ذات الصلة

متعددات الحدود المصفوفية المعقدة

  • العمل الرائد لـ Higham و Tisseur 15: توفير حدود القيم الذاتية من خلال المصفوفات الكتلية ومتعددات الحدود العددية
  • نظرية الاستقرار لـ Szymański و Wojtylak 31: الهدف المباشر للتعميم في هذه الورقة

نظرية المصفوفات الرباعية

  • النظرية الأساسية لـ Zhang 33: نظرية المصفوفة المرافقة المعقدة للأعداد الرباعية
  • أعمال Ahmad وآخرين 2,3,4 في تحديد موقع القيم الذاتية: استخدام نظرية Geršgorin والطرق الكلاسيكية الأخرى
  • الكتاب المتخصص لـ Rodman 28: النظرية المنهجية للجبر الخطي الرباعي

نظرية أصفار متعددات الحدود

  • نظرية إينشترم-كاكيا الكلاسيكية وتعميماتها المصفوفية
  • نظريات تحديد موقع القيم الذاتية والاضطراب المختلفة

الخلاصة والمناقشة

الاستنتاجات الرئيسية

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

القيود

  1. التركيز الأساسي على القيم الذاتية اليمنى: نظراً لعدم اكتمال نظرية القيم الذاتية اليسرى، تركز الورقة بشكل أساسي على القيم الذاتية اليمنى ومتعددات الحدود المصفوفية الرباعية اليمنى
  2. قيود النظرية 4.12: تتطلب أن يكون مركز الكرة عدداً معقداً، وهذا لا ينطبق على الكرات ذات المركز الرباعي العام (كما هو موضح في الملاحظة 4.13)
  3. محافظية بعض النتائج: قد لا تكون الحدود المعطاة مثلى، على الرغم من أن المثال 4.21 يوضح أن الحدود محكمة في بعض الحالات
  4. قيود الحالة متعددة المتغيرات: نظراً لعدم التبادلية، لا يمكن تعميم بعض النتائج لمتعددات الحدود المصفوفية الرباعية متعددة المتغيرات بشكل كامل

الاتجاهات المستقبلية

  1. تطوير نظرية القيم الذاتية اليسرى: تحسين نظرية القيم الذاتية اليسرى للمصفوفات الرباعية
  2. نتائج تحديد موقع أكثر عمومية: دراسة الكرات ذات المركز الرباعي غير المعقد أو المناطق الهندسية الأخرى
  3. الطرق الحسابية: تطوير خوارزميات فعالة لحساب القيم الذاتية لمتعددات الحدود المصفوفية الرباعية
  4. توسيع التطبيقات: تطبيق النظرية على معالجة الإشارات والرسومات الحاسوبية وغيرها من مجالات تطبيق الأعداد الرباعية

التقييم المتعمق

المميزات

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

أوجه القصور

  1. التحقق من التطبيقات محدود: كبحث نظري بحت، يفتقر إلى التحقق من التطبيقات في المشاكل الفعلية
  2. بعض القيود قوية نسبياً: مثل متطلب أن يكون مركز الكرة عدداً معقداً في النظرية 4.12 قد يسبب عدم الراحة في التطبيقات
  3. الربط مع الطرق الرقمية غير كافٍ: كيفية تحويل النتائج النظرية إلى خوارزميات رقمية فعالة تحتاج إلى مزيد من البحث
  4. غياب نظرية القيم الذاتية اليسرى: نظراً لعدم اكتمال نظرية القيم الذاتية اليسرى، يتأثر اكتمال النظرية إلى حد ما

التأثير

  1. المساهمة الأكاديمية كبيرة: توفير أدوات نظرية مهمة لنظرية المصفوفات الرباعية، من المتوقع أن تعزز تطور المجالات ذات الصلة
  2. قيمة منهجية: قد تكون طريقة إنشاء الارتباط من خلال المصفوفة المرافقة المعقدة قابلة للتطبيق على هياكل جبرية غير تبادلية أخرى
  3. آفاق تطبيقية واسعة: الاستخدام الواسع للأعداد الرباعية في الرسومات ثلاثية الأبعاد وعلم الروبوتات وميكانيكا الكم يجعل هذه النظرية ذات قيمة عملية محتملة

السيناريوهات المناسبة

  1. البحث النظري: نظرية المصفوفات الرباعية، تحليل المصفوفات للهياكل الجبرية غير التبادلية
  2. التطبيقات الهندسية: الدوران ثلاثي الأبعاد، التحكم بالروبوتات، مشاكل متعددات الحدود المصفوفية الرباعية في معالجة الإشارات
  3. الحسابات الرقمية: المعالجة المسبقة واختيار القيم الأولية لمشاكل القيم الذاتية لمتعددات الحدود المصفوفية الرباعية

المراجع

تستشهد الورقة بـ 33 مرجعاً مهماً، تتضمن بشكل أساسي:

  • 15 N. J. Higham و F. Tisseur: العمل الكلاسيكي لحدود القيم الذاتية لمتعددات الحدود المصفوفية المعقدة
  • 31 O. J. Szymański و M. Wojtylak: المرجع المباشر لاستقرار متعددات الحدود المصفوفية
  • 33 F. Zhang: النظرية الأساسية للمصفوفات الرباعية
  • 28 L. Rodman: كتاب متخصص في الجبر الخطي الرباعي
  • 2,3,4 S. S. Ahmad وآخرون: الأعمال ذات الصلة بتحديد موقع القيم الذاتية للمصفوفات الرباعية