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

Stabilità dei polinomi matriciali quaternionici

Informazioni Fondamentali

  • ID Articolo: 2407.16603
  • Titolo: Stability of quaternion matrix polynomials
  • Autori: Pallavi Basavaraju, Shrinath Hadimani, Sachindranath Jayaraman
  • Classificazione: math.SP (Teoria Spettrale)
  • Data di Pubblicazione: Luglio 2024 (preprint arXiv, versione più recente ottobre 2025)
  • Link Articolo: https://arxiv.org/abs/2407.16603

Riassunto

Questo articolo studia la stabilità dei polinomi matriciali quaternionici destri P(λ)=∑i=0mAiλiP(\lambda) = \sum_{i=0}^{m} A_i \lambda^i, dove AiA_i sono matrici quaternioniche n×nn \times n e Am≠0A_m \neq 0. L'articolo mira a determinare la posizione degli autovalori destri di P(λ)P(\lambda) rispetto a certi sottoinsiemi dell'insieme quaternionico. I principali contributi includono: (1) stabilire relazioni di (iper)stabilità tra polinomi matriciali quaternionici e i loro polinomi matriciali coniugati complessi; (2) provare che la stabilità di sfere quaternioniche centrate in numeri complessi è equivalente alla stabilità della loro intersezione con l'insieme dei numeri complessi; (3) provare che gli autovalori destri si trovano tra due sfere concentriche di raggio specifico attorno all'origine. Come applicazione, viene fornita una generalizzazione del teorema di Eneström-Kakeya ai polinomi matriciali quaternionici.

Contesto di Ricerca e Motivazione

Contesto del Problema

  1. Importanza della localizzazione degli zeri polinomiali: Sebbene il teorema fondamentale dell'algebra fornisca l'esistenza e il numero degli zeri dei polinomi a coefficienti complessi, quando il grado del polinomio supera 4, i metodi algebrici hanno difficoltà nel calcolare gli zeri. Pertanto, la determinazione della regione in cui si trovano gli zeri è importante per i metodi iterativi.
  2. Sfide dei polinomi matriciali: Per i polinomi matriciali complessi, gli autovalori sono uguali agli zeri del determinante (polinomio scalare complesso). Tuttavia, quando la dimensione delle matrici di coefficienti è grande, il calcolo del determinante diventa difficile, rendendo la localizzazione degli autovalori dei polinomi matriciali un problema di ricerca interessante.
  3. Non-commutatività dei quaternioni: I polinomi matriciali quaternionici presentano nuove sfide dovute alla non-commutatività della moltiplicazione quaternionica. La definizione del determinante quaternionico differisce dal caso complesso, e esiste una distinzione tra autovalori sinistri e destri.
  4. Limitazioni dei metodi esistenti: La teoria della stabilità dei polinomi matriciali complessi non può essere direttamente generalizzata al caso quaternionico, richiedendo teorie e metodi specializzati.

Motivazione della Ricerca

  • Estendere il concetto di stabilità dei polinomi matriciali complessi ai polinomi matriciali quaternionici
  • Utilizzare la struttura speciale dei quaternioni (rappresentabili come estensione dei numeri complessi) per stabilire connessioni con il caso complesso
  • Fornire metodi efficaci per la localizzazione degli autovalori dei polinomi matriciali quaternionici

Contributi Fondamentali

  1. Definiti i concetti di stabilità e iper-stabilità per polinomi matriciali quaternionici, provando l'equivalenza con la posizione degli autovalori
  2. Stabilita la relazione di corrispondenza tra la stabilità dei polinomi matriciali quaternionici e quella dei loro polinomi matriciali coniugati complessi (Teorema 4.8)
  3. Provato il teorema di semplificazione della stabilità per sfere quaternioniche centrate in numeri complessi (Teorema 4.12), riducendo il problema della stabilità quaternionica al caso complesso
  4. Forniti risultati di localizzazione degli autovalori dei polinomi matriciali quaternionici in regioni anulari (Teorema 4.19), analogamente ai risultati di Higham-Tisseur per polinomi matriciali complessi
  5. Generalizzato il teorema di Eneström-Kakeya ai polinomi matriciali quaternionici (Teorema 4.23)
  6. Identificate le classi di polinomi matriciali quaternionici per cui stabilità e iper-stabilità sono equivalenti
  7. Derivata l'iper-stabilità del caso univariato dalla stabilità dei polinomi matriciali quaternionici multivariati

Dettagli dei Metodi

Definizioni Fondamentali

Polinomio matriciale quaternionico: Un polinomio matriciale quaternionico destro è definito come P(λ)=∑i=0mAiλiP(\lambda) = \sum_{i=0}^{m} A_i \lambda^i dove Ai∈Mn(H)A_i \in M_n(\mathbb{H}), Am≠0A_m \neq 0, e la variabile λ\lambda appare sul lato destro dei coefficienti matriciali.

Autovalore destro: λ0∈H\lambda_0 \in \mathbb{H} è un autovalore destro di P(λ)P(\lambda) se esiste un vettore non nullo y∈Hny \in \mathbb{H}^n tale che ∑i=0mAiyλ0i=0\sum_{i=0}^{m} A_i y \lambda_0^i = 0

Definizioni di Stabilità

Stabilità (Definizione 4.1): P(λ)P(\lambda) è stabile rispetto a Ω⊆H\Omega \subseteq \mathbb{H} se per ogni vettore non nullo y∈Hny \in \mathbb{H}^n e ogni μ∈Ω\mu \in \Omega, esiste un vettore non nullo z∈Hnz \in \mathbb{H}^n tale che 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

Iper-stabilità (Definizione 4.2): P(λ)P(\lambda) è iper-stabile rispetto a Ω\Omega se per ogni vettore non nullo y∈Hny \in \mathbb{H}^n, esiste un vettore non nullo z∈Hnz \in \mathbb{H}^n tale che la disuguaglianza precedente vale per tutti gli μ∈Ω\mu \in \Omega.

Matrice Coniugata Complessa

Matrice coniugata complessa (Definizione 4.6): Per A∈Mn(H)A \in M_n(\mathbb{H}), rappresentabile come A=A1+A2jA = A_1 + A_2 j, dove A1,A2∈Mn(C)A_1, A_2 \in M_n(\mathbb{C}), la matrice coniugata complessa è definita come χA:=[A1A2−A2‾A1‾]\chi_A := \begin{bmatrix} A_1 & A_2 \\ -\overline{A_2} & \overline{A_1} \end{bmatrix}

Polinomio matriciale coniugato complesso (Definizione 4.7): Pχ(λ)=∑i=0mχAiλiP_\chi(\lambda) = \sum_{i=0}^{m} \chi_{A_i} \lambda^i

Teoremi Chiave

Teorema 4.8: P(λ)P(\lambda) è stabile (iper-stabile) rispetto a Ω∩C\Omega \cap \mathbb{C} se e solo se il suo polinomio matriciale coniugato complesso Pχ(λ)P_\chi(\lambda) è stabile (iper-stabile) rispetto a Ω∩C\Omega \cap \mathbb{C}.

Teorema 4.12: Sia Ω=B(a;r)\Omega = B(a;r) la sfera quaternionica aperta centrata in a∈Ca \in \mathbb{C} con raggio r>0r > 0. Allora P(λ)P(\lambda) è stabile rispetto a Ω\Omega se e solo se P(λ)P(\lambda) è stabile rispetto a Ω∩C\Omega \cap \mathbb{C}.

Configurazione Sperimentale

Verifica Teorica

Questo articolo è principalmente una ricerca teorica, con la correttezza dei risultati verificata attraverso prove matematiche. L'articolo fornisce diversi esempi concreti per illustrare l'applicazione dei teoremi:

Esempio 4.9: Mostra la distinzione tra stabilità e iper-stabilità Esempio 4.10: Illustra che la stabilità non implica necessariamente l'iper-stabilità Esempio 4.21: Verifica che i limiti forniti dai Teoremi 4.14 e 4.18 sono stretti

Verifica dell'Applicazione

L'articolo verifica l'efficacia del metodo nei seguenti modi:

  1. Confronto con risultati noti per polinomi matriciali complessi
  2. Generalizzazione di teoremi classici (come il teorema di Eneström-Kakeya)
  3. Costruzione di esempi concreti per verificare le previsioni teoriche

Risultati Sperimentali

Risultati Principali

Localizzazione degli autovalori (Teorema 4.19): Per polinomi matriciali quaternionici con coefficienti iniziali e costanti invertibili, gli autovalori destri si trovano nella regione anulare {q∈H:r≤∣q∣≤R}\{q \in \mathbb{H} : r \leq |q| \leq R\}, dove:

  • rr è l'unico zero positivo di ∥Am∥zm+⋯+∥A1∥z−∥A0−1∥−1\|A_m\|z^m + \cdots + \|A_1\|z - \|A_0^{-1}\|^{-1}
  • RR è l'unico zero positivo di ∥Am−1∥−1zm−∥Am−1∥zm−1−⋯−∥A0∥\|A_m^{-1}\|^{-1}z^m - \|A_{m-1}\|z^{m-1} - \cdots - \|A_0\|

Generalizzazione di Eneström-Kakeya (Teorema 4.23): Per polinomi matriciali quaternionici i cui coefficienti soddisfano Am⪰Am−1⪰⋯⪰A0≻0A_m \succeq A_{m-1} \succeq \cdots \succeq A_0 \succ 0, ogni autovalore destro λ0\lambda_0 soddisfa λmin⁡(A0)2λmax⁡(Am)≤∣λ0∣≤1\frac{\lambda_{\min}(A_0)}{2\lambda_{\max}(A_m)} \leq |\lambda_0| \leq 1

Risultati di Equivalenza

Teorema 4.28: Per polinomi matriciali quaternionici triangolari superiori con coefficiente iniziale unitario, stabilità e iper-stabilità sono equivalenti.

Estensione Multivariata

Teorema 4.35: Fornisce condizioni sufficienti per derivare l'iper-stabilità del caso univariato dalla stabilità dei polinomi matriciali quaternionici multivariati.

Lavori Correlati

Polinomi Matriciali Complessi

  • Lavoro fondamentale di Higham e Tisseur 15: fornisce limiti degli autovalori attraverso matrici a blocchi associate e polinomi scalari
  • Teoria della stabilità di Szymański e Wojtylak 31: oggetto diretto della generalizzazione di questo articolo

Teoria delle Matrici Quaternioniche

  • Teoria fondamentale di Zhang 33: teoria della matrice coniugata complessa quaternionica
  • Lavoro sulla localizzazione degli autovalori di Ahmad et al. 2,3,4: utilizza metodi classici come il teorema di Geršgorin
  • Monografia di Rodman 28: teoria sistematica dell'algebra lineare quaternionica

Teoria degli Zeri Polinomiali

  • Teorema classico di Eneström-Kakeya e sue generalizzazioni matriciali
  • Varie teorie di localizzazione degli autovalori e teoria delle perturbazioni

Conclusioni e Discussione

Conclusioni Principali

  1. Generalizzazione riuscita della teoria della stabilità dei polinomi matriciali complessi al caso quaternionico, superando le difficoltà tecniche causate dalla non-commutatività
  2. Stabilita un ponte tra il caso quaternionico e quello complesso, trasformando i problemi quaternionici in problemi complessi attraverso la matrice coniugata complessa
  3. Forniti metodi pratici di localizzazione degli autovalori, evitando il calcolo diretto del determinante quaternionico
  4. Identificati importanti casi speciali, come l'equivalenza tra stabilità e iper-stabilità per polinomi matriciali triangolari superiori

Limitazioni

  1. Focus principale sugli autovalori destri: A causa dell'incompletezza della teoria degli autovalori sinistri, l'articolo tratta principalmente autovalori destri e polinomi matriciali quaternionici destri
  2. Restrizioni del Teorema 4.12: Richiede che il centro della sfera sia un numero complesso, non vale per sfere con centro in quaternioni generali (come mostrato nell'Osservazione 4.13)
  3. Conservatività di alcuni risultati: I limiti forniti potrebbero non essere ottimali, sebbene l'Esempio 4.21 mostri che in alcuni casi i limiti sono stretti
  4. Restrizioni nel caso multivariato: A causa della non-commutatività, alcuni risultati per polinomi matriciali quaternionici multivariati non possono essere completamente generalizzati

Direzioni Future

  1. Sviluppo della teoria degli autovalori sinistri: Perfezionare la teoria degli autovalori sinistri delle matrici quaternioniche
  2. Risultati di localizzazione più generali: Studiare sfere con centro non complesso o altre regioni geometriche
  3. Metodi computazionali: Sviluppare algoritmi efficienti per il calcolo degli autovalori dei polinomi matriciali quaternionici
  4. Estensione delle applicazioni: Applicare la teoria all'elaborazione dei segnali, alla grafica computerizzata e ad altri campi di applicazione dei quaternioni

Valutazione Approfondita

Punti di Forza

  1. Forte innovazione teorica: Prima generalizzazione sistematica della teoria della stabilità dei polinomi matriciali al caso quaternionico, colmando un vuoto teorico
  2. Metodi ingegnosi: Stabilisce la connessione tra quaternioni e numeri complessi attraverso la matrice coniugata complessa, sfruttando abilmente la teoria complessa esistente
  3. Buona completezza dei risultati: Non solo fornisce i teoremi principali, ma offre anche ricche applicazioni e analisi di casi speciali
  4. Trattamento tecnico rigoroso: Affronta pienamente le difficoltà tecniche causate dalla non-commutatività quaternionica, con prove dettagliate e rigorose
  5. Alto valore pratico: I metodi di localizzazione degli autovalori forniti evitano il calcolo del determinante quaternionico, con significativo valore di applicazione pratica

Insufficienze

  1. Verifica applicativa limitata: Come ricerca puramente teorica, manca la verifica dell'applicazione in problemi reali
  2. Alcune restrizioni piuttosto forti: Come la restrizione del Teorema 4.12 che richiede il centro della sfera sia un numero complesso, potrebbe causare inconvenienti nelle applicazioni
  3. Integrazione insufficiente con metodi numerici: Come i risultati teorici possono essere trasformati in algoritmi numerici efficienti richiede ulteriore ricerca
  4. Mancanza della teoria degli autovalori sinistri: A causa dell'incompletezza della teoria degli autovalori sinistri, la completezza della teoria è in qualche modo compromessa

Impatto

  1. Contributo accademico significativo: Fornisce importanti strumenti teorici per la teoria delle matrici quaternioniche, con previsione di promuovere lo sviluppo di campi correlati
  2. Valore metodologico: Il metodo di stabilire connessioni attraverso la matrice coniugata complessa potrebbe essere applicabile ad altre strutture algebriche non commutative
  3. Ampi prospettivi di applicazione: L'ampia applicazione dei quaternioni nella grafica 3D, nella robotica, nella meccanica quantistica e in altri campi rende questa teoria di potenziale valore pratico

Scenari Applicabili

  1. Ricerca teorica: Teoria delle matrici quaternioniche, analisi matriciale dell'algebra non commutativa
  2. Applicazioni ingegneristiche: Rotazioni 3D, controllo robotico, problemi di polinomi matriciali quaternionici nell'elaborazione dei segnali
  3. Calcolo numerico: Preelaborazione e selezione dei valori iniziali per problemi di autovalori di polinomi matriciali quaternionici

Bibliografia

L'articolo cita 33 importanti riferimenti, principalmente includenti:

  • 15 N. J. Higham e F. Tisseur: Lavoro classico sui limiti degli autovalori dei polinomi matriciali complessi
  • 31 O. J. Szymański e M. Wojtylak: Riferimento diretto sulla stabilità dei polinomi matriciali
  • 33 F. Zhang: Teoria fondamentale delle matrici quaternioniche
  • 28 L. Rodman: Monografia sull'algebra lineare quaternionica
  • 2,3,4 S. S. Ahmad et al.: Lavori correlati sulla localizzazione degli autovalori delle matrici quaternioniche