On the Positivity of a Class of Cauchy-Like Matrices

Resumo Técnico: Sobre a Positividade de uma Classe de Matrizes do Tipo Cauchy

Enunciado do Problema
O artigo investiga a semidefinitude positiva de uma classe específica de matrizes do tipo Cauchy $C \in \mathbb{R}^{n \times n}$. Os elementos da matriz são definidos como:
$$C_{ij} = \frac{r_i(k, l) + r_j(k, l)}{\lambda_i + \lambda_j}$$
onde $0 < \lambda_1 < \dots < \lambda_n$ são números reais positivos distintos. Os coeficientes $r_i(k, l)$ são razões de polinômios simétricos elementares:
$$r_i(k, l) := \frac{\sigma^{(i)}_{n-k}}{\sigma^{(i)}_{n-l}}$$
onde $\sigma_m$ denota o polinômio simétrico elementar de grau $m$ nas variáveis $\{\lambda_1, \dots, \lambda_n\}$, e $\sigma^{(i)}_m$ denota o mesmo polinômio excluindo a variável $\lambda_i$. Os parâmetros $k$ e $l$ variam de $1$a$n$.

A motivação para este estudo decorre da análise de soluções de equações de Lyapunov onde a matriz de estado está em forma companheira. Embora o artigo observe que matrizes da forma $W_{ij} = \frac{f(\lambda_i) + f(\lambda_j)}{\lambda_i + \lambda_j}$ (matrizes de Kwong ou anti-Loewner) são bem estudadas, esta classe específica de matrizes duais tem sido amplamente negligenciada na literatura.

Metodologia
A estratégia de prova envolve três estágios primários: transformação de variáveis, a construção de uma matriz singular aumentada e um argumento indutivo baseado em menores principais.

1. Transformação de Variáveis Recíprocas:
   O problema é simplificado introduzindo variáveis recíprocas $x_i = 1/\lambda_i$. Através de uma transformação de congruência diagonal usando as matrizes diagonais $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))$, onde $e^{(i)}_r(x)$ são polinômios simétricos elementares nas variáveis recíprocas, mostra-se que a matriz original $C$ é semidefinida positiva se, e somente se, uma família de matrizes de dois parâmetros $A^{(p,q)}_n(x)$ for semidefinida positiva. Os elementos desta nova matriz são:
   $$[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}$$
   onde $p = k-1$ e $q = l-1$.

2. Matriz Aumentada e Singularidade:
   Para provar a positividade de $A^{(p,q)}_n(x)$, o autor constrói uma matriz aumentada singular $H^{(p,q)}_n(x)$ de tamanho $(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}$$
   Aqui, $v_{p,q}$ é o produto de Hadamard de vetores de polinômios simétricos elementares, e $s_{p,q}(x)$ é um escalar definido por uma soma sinalizada de produtos destes polinômios.
   A singularidade de $H^{(p,q)}_n(x)$ é estabelecida usando identidades de funções geratrizes relacionadas ao núcleo de Cauchy; especificamente, o autor define um vetor $w$ derivado do inverso da matriz de Cauchy padrão e mostra que $H^{(p,q)}_n(x)$ possui um vetor de núcleo $[-\gamma_{p,q}, w^\top]^\top$, onde $\gamma_{p,q}$ é um escalar dependente da paridade de $n, p$ e $q$. Isso baseia-se no Lema 2.1, que afirma que uma função racional estritamente própria com polos simples é unicamente determinada por seus valores nos polos.

3. Prova Indutiva via Menores Principais:
   A semidefinitude positiva de $H^{(p,q)}_n(x)$ (e, consequentemente, de $A^{(p,q)}_n(x)$) é provada por indução em $n$ usando o critério de menores principais.

   • Caso Base: Verificado para $n=1$.
   • Passo Indutivo: O autor demonstra que todos os menores principais próprios de $H^{(p,q)}_n(x)$ são não negativos.
     • Para menores que contêm o índice superior esquerdo (0), a matriz é decomposta em uma soma de matrizes aumentadas menores (escalonadas por coeficientes não negativos) e um termo de resto $R_{p,q}$. A não negatividade de $R_{p,q}$ é estabelecida mostrando que ele consiste em monômios com coeficientes não negativos em uma expansão combinatória.
     • Para menores que não contêm o índice 0 (submatrizes de $A^{(p,q)}_n(x)$), a decomposição baseia-se na hipótese de indução de que instâncias menores de $A$ são semidefinidas positivas.
   • Análise do Determinante: Como a matriz é singular (determinante igual a zero), a prova conclui analisando o cofator correspondente ao elemento superior esquerdo. Usando a estrutura de posto-1 da matriz adjunta derivada do vetor do núcleo, mostra-se que $\det(A^{(p,q)}_n(x)) \geq 0$.

Principais Contribuições e Resultados

• Teorema Principal: O artigo prova que a matriz $C$ definida em (1.3) é semidefinida positiva para todos os $\lambda_i$ positivos distintos e para todos os $1 \leq k, l \leq n$.
• Redução: O problema é reduzido à positividade da família $A^{(p,q)}_n(x)$ via congruência diagonal.
• Positividade do Escalar: Uma nova quantidade escalar $s_{p,q}(x)$ é introduzida e provada como não negativa para $x_i$ positivos. Isso é alcançado através de uma expansão combinatória mostrando que $s_{p,q}(x)$ é uma soma de termos com coeficientes não negativos.
• Técnica de Matriz Aumentada: O artigo introduz a matriz aumentada singular $H^{(p,q)}_n(x)$ e utiliza sua estrutura de núcleo específica para fazer a ponte entre a singularidade do sistema aumentado e a positividade do bloco-submatriz $A^{(p,q)}_n(x)$.

Significância
O artigo posiciona-se como uma primeira tentativa de preencher uma lacuna na literatura referente a esta classe específica de matrizes do tipo Cauchy, que são duais às conhecidas matrizes de Kwong. A significância reside no estabelecimento da semidefinitude positiva destas matrizes, que estão conectadas à análise de equações de Lyapunov com matrizes de estado em forma companheira. A técnica de prova é notável pelo uso de uma expansão positiva explícita de $s_{p,q}$ e do termo de resto $R_{p,q}$, o que permite que o argumento indutivo se feche para toda a família de dois parâmetros. O trabalho baseia-se em ferramentas clássicas (matrizes de Cauchy, polinômios simétricos, funções geratrizes), mas as aplica em um contexto estrutural inovador para resolver a questão da positividade.