On the Positivity of a Class of Cauchy-Like Matrices

Technische Samenvatting: Over de Positiviteit van een Klasse Cauchy-achtige Matrices

Probleemstelling
Het artikel onderzoekt de positieve semidefinitheid van een specifieke klasse Cauchy-achtige matrices $C \in \mathbb{R}^{n \times n}$. De elementen van de matrix zijn gedefinieerd als:
$$C_{ij} = \frac{r_i(k, l) + r_j(k, l)}{\lambda_i + \lambda_j}$$
waarbij $0 < \lambda_1 < \dots < \lambda_n$ verschillende positieve reële getallen zijn. De coëfficiënten $r_i(k, l)$ zijn ratio's van elementaire symmetrische polynomen:
$$r_i(k, l) := \frac{\sigma^{(i)}_{n-k}}{\sigma^{(i)}_{n-l}}$$
waarbij $\sigma_m$ de elementaire symmetrische polynoom van graad $m$ is in de variabelen $\{\lambda_1, \dots, \lambda_n\}$, en $\sigma^{(i)}_m$ de even zodanige polynoom is waarbij de variabele $\lambda_i$ is uitgesloten. De parameters $k$ en $l$ variëren van $1$ tot $n$.

De motivatie voor dit onderzoek komt voort uit de analyse van oplossingen voor Lyapunov-vergelijkingen waarbij de toestandsmatrix in companionvorm staat. Hoewel het artikel opmerkt dat matrices van de vorm $W_{ij} = \frac{f(\lambda_i) + f(\lambda_j)}{\lambda_i + \lambda_j}$ (Kwong- of anti-Loewner-matrices) goed bestudeerd zijn, is deze specifieke duale klasse van matrices grotendeels verwaarloosd in de literatuur.

Methodologie
De bewijsstrategie omvat drie primaire fasen: variabele transformatie, de constructie van een uitgebreide singuliere matrix, en een inductief argument gebaseerd op hoofdminoren.

1. Reciproque Variabele Transformatie:
   Het probleem wordt vereenvoudigd door de introductie van reciproke variabelen $x_i = 1/\lambda_i$. Door middel van een diagonale congruentie-transformatie met behulp van de diagonale matrices $X = \text{diag}(x_1, \dots, x_n)$ en $D_{l-1} = \text{diag}(e^{(1)}_{l-1}(x), \dots, e^{(n)}_{l-1}(x))$, waarbij $e^{(i)}_r(x)$ elementaire symmetrische polynomen zijn in de reciproke variabelen, wordt aangetoond dat de oorspronkelijke matrix $C$ positief semidefinit is indien en slechts indien een twee-parameter familie van matrices $A^{(p,q)}_n(x)$ positief semidefinit is. De elementen van deze nieuwe matrix zijn:
   $$[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}$$
   waarbij $p = k-1$ en $q = l-1$.

2. Uitgebreide Matrix en Singulariteit:
   Om de positiviteit van $A^{(p,q)}_n(x)$ te bewijzen, construeert de auteur een singuliere uitgebreide matrix $H^{(p,q)}_n(x)$ van grootte $(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}$$
   Hierbij is $v_{p,q}$ het Hadamard-product van vectoren van elementaire symmetrische polynomen, en $s_{p,q}(x)$ een scalaire waarde gedefinieerd door een getekende som van producten van deze polynomen.
   De singulariteit van $H^{(p,q)}_n(x)$ wordt vastgesteld met behulp van genererende functie-identiteiten gerelateerd aan de Cauchy-kern. Specifiek definieert de auteur een vector $w$ afgeleid van het inverse van de standaard Cauchy-matrix en toont aan dat $H^{(p,q)}_n(x)$ een niet-triviale kernvector $[-\gamma_{p,q}, w^\top]^\top$ heeft, waarbij $\gamma_{p,q}$ een scalaire waarde is die afhankelijk is van de pariteit van $n, p,$ en $q$. Dit berust op Lemma 2.1, dat stelt dat een strikt proportionele rationale functie met enkelvoudige polen uniek bepaald wordt door haar waarden in de polen.

3. Inductief Bewijs via Hoofdminoren:
   De positieve semidefinitheid van $H^{(p,q)}_n(x)$ (en bij consequent $A^{(p,q)}_n(x)$) wordt bewezen door inductie op $n$ met behulp van het criterium van hoofdminoren.

   • Base Case: Geverifieerd voor $n=1$.
   • Inductiestap: De auteur demonstreert dat alle deugdelijke hoofdminoren van $H^{(p,q)}_n(x)$ niet-negatief zijn.
     • Voor minoren die de top-left index (0) bevatten, wordt de matrix ontbonden in een som van kleinere uitgebreide matrices (geschaald door niet-negatieve coëfficiënten) en een restterm $R_{p,q}$. De niet-negativiteit van $R_{p,q}$ wordt vastgesteld door aan te tonen dat deze bestaat uit monomialen met niet-negatieve coëfficiënten in een combinatorische expansie.
     • Voor minoren die index 0 niet bevatten (submatrices van $A^{(p,q)}_n(x)$), berust de decompositie op de inductiehypothese dat kleinere instanties van $A$ positief semidefinit zijn.
   • Determinant Analyse: Omdat de matrix singulier is (determinant is nul), concludeert het bewijs door de cofactor te analyseren die overeenkomt met het top-left element. Met behulp van de rank-1 structuur van de adjungente matrix afgeleid van de kernvector, wordt aangetoond dat $\det(A^{(p,q)}_n(x)) \geq 0$.

Belangrijkste Bijdragen en Resultaten

• Hoofdstelling: Het artikel bewijst dat de matrix $C$ gedefinieerd in (1.3) positief semidefinit is voor alle verschillende $\lambda_i$ en alle $1 \leq k, l \leq n$.
• Reductie: Het probleem wordt gereduceerd tot de positiviteit van de familie $A^{(p,q)}_n(x)$ via diagonale congruentie.
• Scalaire Positiviteit: Een nieuwe scalaire grootheid $s_{p,q}(x)$ wordt geïntroduceerd en bewezen niet-negatief te zijn voor positieve $x_i$. Dit wordt bereikt door een combinatorische expansie die aantoont dat $s_{p,q}(x)$ een som is van termen met niet-negatieve coëfficiënten.
• Uitgebreide Matrix Techniek: Het artikel introduceert de singuliere uitgebreide matrix $H^{(p,q)}_n(x)$ en maakt gebruik van de specifieke kernstructuur om de kloof tussen de singulariteit van het uitgebreide systeem en de positiviteit van de sub-blok $A^{(p,q)}_n(x)$ te overbruggen.

Betekenis
Het artikel positioneert zich als een eerste poging om een gat in de literatuur te vullen met betrekking tot deze specifieke klasse van Cauchy-achtige matrices, die dual zijn aan de bekende Kwong-matrices. De betekenis ligt in het vaststellen van de positieve semidefinitheid van deze matrices, die verbonden zijn met de analyse van Lyapunov-vergelijkingen met toestandsmatrices in companionvorm. De bewijstechniek is opmerkelijk vanwege de expliciete positieve expansie van de scalaire $s_{p,q}$ en de restterm $R_{p,q}$, wat mogelijk maakt dat het inductieve argument sluit voor de gehele twee-parameter familie. Het werk steunt op klassieke instrumenten (Cauchy-matrices, symmetrische polynomen, genererende functies) maar past deze toe in een nieuwe structurele context om de positiviteitsvraag te beantwoorden.