An isoperimetric inequality for lower order Neumann eigenvalues in Gauss space

Resumo Técnico: Uma Desigualdade Isoperimétrica para Autovalores de Neumann de Ordem Inferior no Espaço Gaussiano

Enunciado do Problema
Este artigo aborda a otimização dos autovalores de Neumann para o Laplaciano de Witten (ou operador de Ornstein-Uhlenbeck) no contexto da medida gaussiana. Especificamente, os autores investigam a média harmônica dos primeiros $m-1$ autovalores de Neumann não nulos, denotados por $\mu_1(\Omega), \dots, \mu_{m-1}(\Omega)$, para um domínio Lipschitz conexo $\Omega \subset \mathbb{R}^m$. O problema central é determinar qual forma de domínio maximiza essa média harmônica sob a restrição de um volume gaussiano fixo.

Embora a clássica desigualdade de Szegö-Weinberger estabeleça que a bola maximiza unicamente o primeiro autovalor de Neumann não nulo ($\mu_1$) no espaço euclidiano, e seu análogo gaussiano tenha sido provado por Chiacchio e Di Blasio para domínios simétricos em relação à origem, o comportamento dos autovalores de ordem inferior (especificamente a soma de seus recíprocos) no espaço Gauss ficou como uma questão em aberto. O artigo busca generalizar o resultado de Szegö-Weinberger para a média harmônica dos primeiros $m-1$ autovalores para domínios simétricos em relação à origem.

Metodologia
A prova do teorema principal baseia-se em uma abordagem variacional combinada com técnicas de simetrização adaptadas à medida gaussiana. A metodologia procede através das seguintes etapas:

1. Caracterização Variacional: Os autores utilizam a formulação padrão do quociente de Rayleigh para autovalores de Neumann no espaço de Sobolev ponderado $H^1(\Omega, d\gamma_m)$. Os autovalores são caracterizados como ínfimos sobre subespaços ortogonais a autofunções de ordem inferior.
2. Análise da Bola: É realizada uma análise espectral detalhada do primeiro autovalor não nulo $\mu_1(B_R)$ para uma bola $B_R$ centrada na origem. Os autores estabelecem que:
   • $\mu_1(B_R)$ possui multiplicidade $m$.
   • As autofunções correspondentes assumem a forma $u_i(x) = g(r)\psi_i(\theta)$, onde $\psi_i$ são funções de coordenadas lineares.
   • A parte radial $g(r)$ satisfaz uma equação de Sturm-Liouville específica.
   • Crucialmente, o Lema 2.3 prova que a autofunção radial $g(r)$ é estritamente crescente e satisfaz a desigualdade $g'(r) \leq g(r)/r$ para $r \in (0, R]$.
3. Construção de Funções de Teste: Para limitar os autovalores de um domínio simétrico arbitrário $\Omega$, os autores constroem funções de teste $v_i(x)$ baseadas nas autofunções da bola de comparação $B$. Essas funções são definidas como $v_i(x) = G(|x|) \frac{x_i}{|x|}$, onde $G(r)$ é uma extensão da autofunção radial $g(r)$ que permanece constante fora do raio da bola.
4. Ortogonalidade e Fatoração QR: Como $\Omega$ é simétrico em relação à origem, as funções de teste $v_i$ possuem média zero. Os autores empregam um argumento de fatoração QR para rotacionar o sistema de coordenadas, garantindo que as funções de teste satisfaçam as condições de ortogonalidade necessárias contra as primeiras $i-1$ autofunções de $\Omega$. Isso permite que $v_i$ sirva como uma função de teste válida para a caracterização variacional de $\mu_i(\Omega)$.
5. Simetrização Gaussiana: A prova utiliza um lema de monotonicidade (Lema 3.1) referente ao rearranjo gaussiano. Este lema afirma que, para uma função radial não crescente $h(r)$, a integral sobre $\Omega$ é limitada pela integral sobre a bola $B$ do mesmo volume gaussiano. Isso é aplicado aos termos envolvendo $G(r)$ e suas derivadas.
6. Síntese da Desigualdade: Ao somar as desigualdades variacionais de $i=1$ até $m$, e utilizar as propriedades de monotonicidade de $g(r)$ e a ordenação dos autovalores $\mu_1 \leq \dots \leq \mu_m$, os autores derivam um limite inferior para a soma dos recíprocos.

Principais Contribuições e Resultados
O resultado primário é o Teorema 1.1, que estabelece uma desigualdade isoperimétrica aguda para a média harmônica dos primeiros $m-1$ autovalores de Neumann no espaço Gauss.

Seja $\Omega \subset \mathbb{R}^m$ um domínio Lipschitz simétrico em relação à origem, e seja $B$ a bola centrada na origem com o mesmo volume gaussiano que $\Omega$. Então:
$$\sum_{i=1}^{m-1} \frac{1}{\mu_i(\Omega)} \geq \frac{m-1}{\mu_1(B)}$$
A igualdade ocorre se, e somente se, $\Omega = B$.

Significância e Alegações
O artigo alega que este resultado generaliza o tipo de desigualdade de Szegö-Weinberger no espaço Gauss estabelecida anteriormente por Chiacchio e Di Blasio (especificamente o Teorema 4.1 em [12]), que tratava apenas do primeiro autovalor $\mu_1$. Ao provar a desigualdade para a média harmônica dos primeiros $m-1$ autovalores, os autores fornecem uma restrição mais forte que implica o resultado original (uma vez que $\mu_1(\Omega) \leq \mu_1(B)$ é uma consequência direta da desigualdade da média harmônica dada a ordenação dos autovalores).

Os autores observam que, embora o resultado apoie a conjectura mais ampla de Ashbaugh-Benguria sobre a soma dos recíprocos dos primeiros $m$ autovalores no espaço euclidiano, a questão de saber se a conjectura se mantém no espaço Gauss sem a suposição de simetria permanece em aberto. A suposição de simetria neste trabalho é essencial para garantir a validade das condições de ortogonalidade necessárias para as funções de teste.

O artigo não propõe novas aplicações ou propostas experimentais, mas foca estritamente na extensão do arcabouço teórico da geometria espectral em espaços gaussianos.