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

Устойчивость кватернионных матричных многочленов

Основная информация

  • ID статьи: 2407.16603
  • Название: Stability of quaternion matrix polynomials
  • Авторы: 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), аналогичные результатам Хигама-Тиссера для комплексных матричных многочленов
  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: Приводятся достаточные условия для вывода гиперустойчивости одномерного случая из устойчивости многомерных кватернионных матричных многочленов.

Связанные работы

Комплексные матричные многочлены

  • Пионерская работа Хигама и Тиссера 15: предоставление границ собственных значений через связанные блочные матрицы и скалярные многочлены
  • Теория устойчивости Сзимански и Войтылака 31: прямой объект обобщения в данной работе

Теория кватернионных матриц

  • Базовая теория Чжана 33: теория комплексного сопряженного матрица для кватернионных матриц
  • Работы Ахмада и др. 2,3,4 по локализации собственных значений: использование классических методов, таких как теорема Гершгорина
  • Монография Родмана 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. Широкие перспективы приложений: Широкое применение кватернионов в 3D-графике, робототехнике, квантовой механике и других областях придает теории потенциальную практическую ценность

Применимые сценарии

  1. Теоретические исследования: Теория кватернионных матриц, матричный анализ некоммутативных алгебр
  2. Инженерные приложения: 3D-вращения, управление робототехникой, задачи кватернионных матричных многочленов в обработке сигналов
  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 и др.: связанные работы по локализации собственных значений кватернионных матриц