On the Positivity of a Class of Cauchy-Like Matrices

Technische Zusammenfassung: Über die Positivität einer Klasse von Cauchy-ähnlichen Matrizen

Problemstellung
Die Arbeit untersucht die positive Semidefinitheit einer spezifischen Klasse von Cauchy-ähnlichen Matrizen $C \in \mathbb{R}^{n \times n}$. Die Elemente der Matrix sind definiert als:
$$C_{ij} = \frac{r_i(k, l) + r_j(k, l)}{\lambda_i + \lambda_j}$$
wobei $0 < \lambda_1 < \dots < \lambda_n$ distinkte positive reelle Zahlen sind. Die Koeffizienten $r_i(k, l)$ sind Verhältnisse elementarsymmetrischer Polynome:
$$r_i(k, l) := \frac{\sigma^{(i)}_{n-k}}{\sigma^{(i)}_{n-l}}$$
hierbei bezeichnet $\sigma_m$ das elementarsymmetrische Polynom des Grades $m$ in den Variablen $\{\lambda_1, \dots, \lambda_n\}$, und $\sigma^{(i)}_m$ bezeichnet dasselbe Polynom unter Ausschluss der Variable $\lambda_i$. Die Parameter $k$ und $l$ reichen von $1$ bis $n$.

Die Motivation für diese Studie ergibt sich aus der Analyse von Lösungen zu Lyapunov-Gleichungen, bei denen die Zustandsmatrix in Begleitform (Companion Form) vorliegt. Während die Arbeit anmerkt, dass Matrizen der Form $W_{ij} = \frac{f(\lambda_i) + f(\lambda_j)}{\lambda_i + \lambda_j}$ (Kwong- oder Anti-Loewner-Matrizen) gut untersucht sind, wurde diese spezifische duale Klasse von Matrizen in der Literatur weitgehend vernachlässigt.

Methodik
Die Beweisstrategie umfasst drei primäre Phasen: Variablentransformation, die Konstruktion einer augmentierten singulären Matrix und ein induktives Argument basierend auf Hauptminoren.

1. Reziproke Variablentransformation:
   Das Problem wird vereinfacht, indem reziproke Variablen $x_i = 1/\lambda_i$ eingeführt werden. Durch eine diagonale Kongruenztransformation mittels der Diagonalmatrizen $X = \text{diag}(x_1, \dots, x_n)$ und $D_{l-1} = \text{diag}(e^{(1)}_{l-1}(x), \dots, e^{(n)}_{l-1}(x))$, wobei $e^{(i)}_r(x)$ elementarsymmetrische Polynome in den reziproken Variablen sind, wird gezeigt, dass die ursprüngliche Matrix $C$ genau dann positiv semidefinit ist, wenn eine Zwei-Parameter-Familie von Matrizen $A^{(p,q)}_n(x)$ positiv semidefinit ist. Die Elemente dieser neuen Matrix sind:
   $$[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}$$
   wobei $p = k-1$ und $q = l-1$.

2. Augmentierte Matrix und Singularität:
   Um die Positivität von $A^{(p,q)}_n(x)$ zu beweisen, konstruiert der Autor eine singuläre augmentierte Matrix $H^{(p,q)}_n(x)$ der Größe $(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}$$
   Hierbei ist $v_{p,q}$ das Hadamard-Produkt von Vektoren elementarsymmetrischer Polynome, und $s_{p,q}(x)$ ist ein Skalar, der als vorzeichenbehaftete Summe von Produkten dieser Polynome definiert ist.
   Die Singularität von $H^{(p,q)}_n(x)$ wird unter Verwendung von Erzeugungsfunktionen-Identitäten im Zusammenhang mit dem Cauchy-Kern etabliert. Speziell definiert der Autor einen Vektor $w$, der aus dem Inversen der Standard-Cauchy-Matrix abgeleitet ist, und zeigt, dass $H^{(p,q)}_n(x)$ einen nicht-trivialen Kernvektor $[-\gamma_{p,q}, w^\top]^\top$ besitzt, wobei $\gamma_{p,q}$ ein von der Parität von $n, p$ und $q$ abhängiger Skalar ist. Dies stützt sich auf Lemma 2.1, welches besagt, dass eine streng eigentliche rationale Funktion mit einfachen Polen durch ihre Werte an den Polen eindeutig bestimmt ist.

3. Induktiver Beweis via Hauptminoren:
   Die positive Semidefinitheit von $H^{(p,q)}_n(x)$ (und folglich von $A^{(p,q)}_n(x)$) wird mittels Induktion über $n$ unter Verwendung des Hauptminorkriteriums bewiesen.

• Basisfall: Verifiziert für $n=1$.
• Induktionsschritt: Der Autor zeigt, dass alle echten Hauptminoren von $H^{(p,q)}_n(x)$ nichtnegativ sind.
  • Für Minoren, die den obersten linken Index (0) enthalten, wird die Matrix in eine Summe kleinerer augmentierter Matrizen (skaliert durch nichtnegative Koeffizienten) und einen Restterm $R_{p,q}$ zerlegt. Die Nichtnegativität von $R_{p,q}$ wird dadurch etabliert, dass dieser aus Monomen mit nichtnegativen Koeffizienten in einer kombinatorischen Expansion besteht.
  • Für Minoren, die den Index 0 nicht enthalten (Untermatrizen von $A^{(p,q)}_n(x)$), beruht die Zerlegung auf der Induktionshypothese, dass kleinere Instanzen von $A$ positiv semidefinit sind.
• Determinantenanalyse: Da die Matrix singulär ist (Determinante ist Null), schließt der Beweis mit der Analyse der Cofaktoren entsprechend dem obersten linken Element ab. Unter Verwendung der Rang-1-Struktur der adjungierten Matrix, die aus dem Kernvektor abgeleitet wurde, wird gezeigt, dass $\det(A^{(p,q)}_n(x)) \geq 0$.

Zentrale Beiträge und Ergebnisse

• Hauptsatz: Die Arbeit beweist, dass die in (1.3) definierte Matrix $C$ für alle distinkten positiven $\lambda_i$ und alle $1 \leq k, l \leq n$ positiv semidefinit ist.
• Reduktion: Das Problem wird über eine diagonale Kongruenz auf die Positivität der Familie $A^{(p,q)}_n(x)$ reduziert.
• Skalare Positivität: Eine neue skalare Größe $s_{p,q}(x)$ wird eingeführt und für positive $x_i$ als nichtnegativ bewiesen. Dies wird durch eine kombinatorische Expansion erreicht, die zeigt, dass $s_{p,q}(x)$ eine Summe von Termen mit nichtnegativen Koeffizienten ist.
• Augmentierte Matrix Technik: Die Arbeit führt die singuläre augmentierte Matrix $H^{(p,q)}_n(x)$ ein und nutzt deren spezifische Kernstruktur, um die Brücke zwischen der Singularität des augmentierten Systems und der Positivität des Subblocks $A^{(p,q)}_n(x)$ zu schlagen.

Bedeutung
Die Arbeit positioniert sich als erster Versuch, eine Lücke in der Literatur bezüglich dieser spezifischen Klasse von Cauchy-ähnlichen Matrizen zu schließen, die dual zu den bekannten Kwong-Matrizen stehen. Die Bedeutung liegt in der Etablierung der positiven Semidefinitheit dieser Matrizen, welche mit der Analyse von Lyapunov-Gleichungen mit Zustandsmatrizen in Begleitform verknüpft sind. Die Beweistechnik ist bemerkenswert durch die explizite positive Expansion des Skalars $s_{p,q}$ und des Restterms $R_{p,q}$, was es ermöglicht, das induktive Argument für die gesamte Zwei-Parameter-Familie abzuschließen. Die Arbeit nutzt klassische Werkzeuge (Cauchy-Matrizen, elementarsymmetrische Polynome, Erzeugungsfunktionen), wendet sie jedoch in einem neuartigen strukturellen Kontext an, um die Positivitätsfrage zu lösen.