On the Positivity of a Class of Cauchy-Like Matrices

Sintesi Tecnica: Sulla positività di una classe di matrici di tipo Cauchy

Enunciato del Problema
Il documento investiga la semidefinitezza positiva di una specifica classe di matrici di tipo Cauchy $C \in \mathbb{R}^{n \times n}$. Gli elementi della matrice sono definiti come:
$$C_{ij} = \frac{r_i(k, l) + r_j(k, l)}{\lambda_i + \lambda_j}$$
dove $0 < \lambda_1 < \dots < \lambda_n$ sono numeri reali positivi distinti. I coefficienti $r_i(k, l)$ sono rapporti di polinomi simmetrici elementari:
$$r_i(k, l) := \frac{\sigma^{(i)}_{n-k}}{\sigma^{(i)}_{n-l}}$$
dove $\sigma_m$ denota il polinomio simmetrico elementare di grado $m$ nelle variabili $\{\lambda_1, \dots, \lambda_n\}$, e $\sigma^{(i)}_m$ denota lo stesso polinomio escludendo la variabile $\lambda_i$. I parametri $k$ e $l$ variano da $1$a$n$.

La motivazione di questo studio deriva dall'analisi delle soluzioni delle equazioni di Lyapunov in cui la matrice di stato è in forma compagna. Sebbene il documento noti che le matrici della forma $W_{ij} = \frac{f(\lambda_i) + f(\lambda_j)}{\lambda_i + \lambda_j}$ (matrici di Kwong o anti-Loewner) siano ben studiate, questa specifica classe duale di matrici è stata ampiamente trascurata nella letteratura.

Metodologia
La strategia di prova prevede tre fasi primarie: trasformazione delle variabili, costruzione di una matrice singolare aumentata e un argomento induttivo basato sui minori principali.

1. Trasformazione delle Variabili Reciproche:
   Il problema viene semplificato introducendo le variabili reciproche $x_i = 1/\lambda_i$. Attraverso una trasformazione di congruenza diagonale utilizzando le matrici diagonali $X = \text{diag}(x_1, \dots, x_n)$ e $D_{l-1} = \text{diag}(e^{(1)}_{l-1}(x), \dots, e^{(n)}_{l-1}(x))$, dove $e^{(i)}_r(x)$ sono polinomi simmetrici elementari nelle variabili reciproche, la matrice originale $C$ si dimostra essere semidefinita positiva se e solo se una famiglia a due parametri di matrici $A^{(p,q)}_n(x)$ è semidefinita positiva. Gli elementi di questa nuova matrice sono:
   $$[A^{(p,q)}_n(x)]_{ij} = \frac{e^{(i)}_p(x)e^{(j)}_q(x) + e^{(j)}_p(x)e^{(i)}_q(x)}{x_i + x_j}$$
   dove $p = k-1$ e $q = l-1$.

2. Matrice Aumentata e Singolarità:
   Per dimostrare la positività di $A^{(p,q)}_n(x)$, l'autore costruisce una matrice aumentata singolare $H^{(p,q)}_n(x)$ di dimensione $(n+1) \times (n+1)$:
   $$H^{(p,q)}_n(x) = \begin{bmatrix} s_{p,q}(x) & v_{p,q}^\top \\ v_{p,q} & A^{(p,q)}_n(x) \end{bmatrix}$$
   Qui, $v_{p,q}$ è il prodotto di Hadamard dei vettori dei polinomi simmetrici elementari, e $s_{p,q}(x)$ è uno scalare definito come una somma con segno di prodotti di questi polinomi.

La singolarità di $H^{(p,q)}_n(x)$ è stabilita utilizzando le identità delle funzioni generatrici relative al nucleo di Cauchy. Nello specifico, l'autore definisce un vettore $w$ derivato dall'inversa della matrice di Cauchy standard e mostra che $H^{(p,q)}_n(x)$ possiede un vettore del nucleo $[-\gamma_{p,q}, w^\top]^\top$, dove $\gamma_{p,q}$ è uno scalare dipendente dalla parità di $n, p$ e $q$. Ciò si basa sul Lemma 2.1, il quale afferma che una funzione razionale strettamente propria con poli semplici è unicamente determinata dai suoi valori ai poli.

3. Prova Induttiva tramite Minori Principali:
   La semidefinitezza positiva di $H^{(p,q)}_n(x)$ (e di conseguenza di $A^{(p,q)}_n(x)$) è dimostrata per induzione su $n$ utilizzando il criterio dei minori principali.

• Caso Base: Verificato per $n=1$.
• Passo Induttivo: L'autore dimostra che tutti i minori principali propri di $H^{(p,q)}_n(x)$ sono non negativi.
  • Per i minori che contengono l'indice superiore sinistro (0), la matrice viene decomposta in una somma di matrici aumentate più piccole (scalate da coefficienti non negativi) e un termine residuo $R_{p,q}$. La non negatività di $R_{p,q}$ è stabilita mostrando che esso consiste in monomi con coefficienti non negativi in un'espansione combinatoria.
  • Per i minori che non contengono l'indice 0 (sottomatrici di $A^{(p,q)}_n(x)$), la decomposizione si basa sull'ipotesi induttiva che istanze più piccole di $A$ siano semidefinite positive.
• Analisi del Determinante: Poiché la matrice è singolare (determinante uguale a zero), la prova si conclude analizzando il cofattore corrispondente all'elemento superiore sinistro. Utilizzando la struttura di rango 1 della matrice aggiunta derivata dal vettore del nucleo, si dimostra che $\det(A^{(p,q)}_n(x)) \geq 0$.

Contributi Chiave e Risultati

• Teorema Principale: Il documento dimostra che la matrice $C$ definita in (1.3) è semidefinita positiva per tutti i $\lambda_i$ positivi distinti e per tutti $1 \leq k, l \leq n$.
• Riduzione: Il problema viene ridotto alla positività della famiglia $A^{(p,q)}_n(x)$ tramite congruenza diagonale.
• Positività Scalare: Una nuova quantità scalare $s_{p,q}(x)$ viene introdotta e dimostrata essere non negativa per $x_i$ positivi. Ciò è ottenuto attraverso un'espansione combinatoria che mostra come $s_{p,q}(x)$ sia una somma di termini con coefficienti non negativi.
• Tecnica della Matrice Aumentata: Il documento introduce la matrice aumentata singolare $H^{(p,q)}_n(x)$ e utilizza la sua specifica struttura del nucleo per colmare il divario tra la singolarità del sistema aumentato e la positività del blocco sub-matriziale $A^{(p,q)}_n(x)$.

Significato
Il documento si pone come il primo tentativo di colmare una lacuna nella letteratura riguardante questa specifica classe di matrici di tipo Cauchy, che sono duali alle note matrici di Kwong. Il significato risiede nell'instaurare la semidefinitezza positiva di queste matrici, che sono collegate all'analisi delle equazioni di Lyapunov con matrici di stato in forma compagna. La tecnica di prova è degna di nota per la sua espansione esplicita positiva dello scalare $s_{p,q}$ e del termine residuo $R_{p,q}$, che permette all'argomento induttivo di chiudersi per l'intera famiglia a due parametri. Il lavoro si basa su strumenti classici (matrici di Cauchy, polinomi simmetrici, funzioni generatrici) ma li applica in un contesto strutturale nuovo per risolvere la questione della positività.