On the optimal sets in Pólya and Makai type inequalities

Resumo Técnico: Otimização de Funcionais de Forma em Inequalidades de Pólya e Makai

1. O Problema

O artigo investiga funcionais de forma que envolvem a rigidez de torção ($T(\Omega)$) e o primeiro autovalor de Dirichlet do Laplaciano ($\lambda(\Omega)$) para conjuntos abertos, limitados e convexos $\Omega \subset \mathbb{R}^n$ ($n \ge 2$).

O foco recai sobre quatro funcionais específicos, cujos limites são conhecidos, mas cujas sequências otimizadoras não atingem um mínimo ou máximo em um conjunto fixo (não existe um "conjunto ótimo" dentro da classe de convexos, apenas sequências que se aproximam do limite):

1. Funcional de Torção de Pólya: $T(\Omega)P^2(\Omega) / |\Omega|^3$ (Limitado entre $1/3$ e $2/3$).
2. Funcional de Autovalor de Pólya: $\lambda(\Omega)|\Omega|^2 / P^2(\Omega)$ (Limitado entre $\pi^2/4n^2$ e $\pi^2/4$).
3. Funcional de Makai: $T(\Omega) / (R_\Omega^2 |\Omega|)$ (Limitado entre $1/(n(n+2))$ e $1/3$).
4. Funcional de Hersch: $\lambda(\Omega)R_\Omega^2$ (Limitado entre $\pi^2/4$ e $\lambda_1(B_1)$).

O problema central é que, para os limites inferiores e superiores desses funcionais, as sequências minimizadoras/maximizadoras tendem a degenerar em formas específicas (como cilindros achatados ou pirâmides colapsando), sem que exista um conjunto ótimo estático. O objetivo do trabalho é estabelecer inequações quantitativas que caracterizem essas sequências de otimização, relacionando o "déficit" do funcional (a diferença entre o valor atual e o limite ótimo) com parâmetros geométricos que descrevem a forma do conjunto.

2. Metodologia

Os autores utilizam uma abordagem analítica e geométrica sofisticada, baseada nos seguintes pilares:

• Funções de Distância e Conjuntos Paralelos Internos: Definem a função de distância ao bordo $d(x, \partial\Omega)$ e os conjuntos paralelos internos $\Omega_t = \{x \in \Omega : d(x, \partial\Omega) > t\}$. Aproveitam a concavidade da função de distância em conjuntos convexos.
• Fórmula de Coárea e Estimativas de Perímetro: Utilizam a fórmula de coárea para relacionar o volume, o perímetro e a função de distância. Derivam estimativas cruciais para o perímetro dos conjuntos paralelos $P(t)$, utilizando desigualdades de Brunn-Minkowski e desigualdades de Aleksandrov-Fenchel.
• Funções de Teste Variacionais: Para os limites inferiores, constroem funções de teste específicas baseadas na função de distância (método introduzido por Pólya) para estimar $T(\Omega)$ e $\lambda(\Omega)$.
• Termos de Resíduo Geométrico: Introduzem dois termos de resíduo fundamentais para quantificar a "forma" do conjunto:
  • $\alpha(\Omega) = w_\Omega / \text{diam}(\Omega)$: Razão entre a largura mínima e o diâmetro (mede o "achatamento" ou thinning).
  • $\beta(\Omega) = \frac{P(\Omega)R_\Omega}{|\Omega|} - 1$: Uma medida geométrica pura baseada no perímetro, raio inscrito e volume.
• Análise Assintótica: Constroem sequências de conjuntos (paralelepípedos finos e pirâmides colapsando) para provar a otimalidade dos expoentes e fornecer contraexemplos para desigualdades reversas.

3. Contribuições e Resultados Principais

O trabalho estabelece desigualdades quantitativas que ligam o déficit do funcional aos termos de resíduo $\alpha(\Omega)$ e $\beta(\Omega)$.

A. Relação entre os Termos de Resíduo (Proposição 1.1)
Os autores provam que $\beta(\Omega) \ge C_0(n) \alpha(\Omega)$. Isso implica que qualquer sequência que minimize $\beta$ deve ser uma sequência de domínios "finos" (thinning domains), onde $\alpha \to 0$. No entanto, a recíproca não é verdadeira: existem sequências onde $\alpha \to 0$ mas $\beta$ não tende a zero (ex: pirâmides colapsando).

B. Resultados Quantitativos em Termos de $\beta(\Omega)$
Os teoremas principais caracterizam completamente as sequências otimizadoras para três dos funcionais em termos de $\beta(\Omega)$:

• Teorema 1.2 (Pólya Torção):
  $$\frac{n+1}{3}\beta(\Omega) \ge \frac{T(\Omega)P^2(\Omega)}{|\Omega|^3} - \frac{1}{3} \ge \frac{1}{2^3 \cdot 3^4 n^3} \beta(\Omega)^3$$
  Significado: O funcional se aproxima de $1/3$ se e somente se $\beta(\Omega) \to 0$. O expoente 3 é agudo (sharp).

• Teorema 1.3 (Pólya Autovalor):
  $$\frac{\pi^2}{2}\beta(\Omega) \ge \frac{\pi^2}{4} - \frac{\lambda(\Omega)|\Omega|^2}{P^2(\Omega)} \ge C(n) \beta(\Omega)^4$$
  Significado: Aproximação do limite superior $\pi^2/4$ controlada por $\beta(\Omega)^4$.

• Teorema 1.4 (Makai):
  $$\frac{2}{3}\beta(\Omega) \ge \frac{1}{3} - \frac{T(\Omega)}{R_\Omega^2 |\Omega|} > \frac{n+1}{3n(2n-1)}\beta(\Omega)$$
  Significado: Aqui, o expoente é linear (1) tanto no limite inferior quanto no superior, caracterizando perfeitamente a convergência.

C. Resultados Quantitativos em Termos de $\alpha(\Omega)$
Os autores generalizam e melhoram resultados anteriores para dimensões $n \ge 5$, provando que o déficit é limitado inferiormente por $\alpha(\Omega)$ com expoente 1 (conjectura provada):

• Proposição 1.5: Estabelece que para os funcionais de Pólya (torção e autovalor), o déficit é limitado inferiormente por $C(n)\alpha(\Omega)$.
• Corolário 1.6: Estabelece uma cota superior para o funcional de Hersch em termos de $\beta(\Omega)$.

D. Caracterização das Sequências Otimizadoras
Um resultado central é a equivalência: uma sequência de conjuntos convexos é minimizadora para os funcionais de Pólya (torção/autovalor) ou Makai se e somente se ela minimiza o funcional geométrico $\beta(\Omega)$. Isso fornece uma descrição puramente geométrica das formas que otimizam esses problemas espectrais.

4. Significado e Implicações

• Superação da Ausência de Ótimo: Como não existe um conjunto ótimo fixo (o ótimo é atingido apenas no limite de sequências degeneradas), a análise quantitativa tradicional (estabilidade em torno de uma bola, como na desigualdade isoperimétrica) não se aplica. Este trabalho preenche essa lacuna ao caracterizar a estrutura das sequências que quase otimizam os funcionais.
• Conexão Geometria-Espectro: O trabalho demonstra que o comportamento espectral (autovalores e rigidez) de domínios convexos degenerados é governado estritamente por parâmetros geométricos simples ($\beta$ e $\alpha$).
• Otimização de Expoentes: O artigo não apenas prova a existência das desigualdades, mas determina os expoentes exatos (sharp) para os termos de resíduo, mostrando que tentativas de melhorar esses expoentes falham devido a contraexemplos específicos (como pirâmides colapsando).
• Novas Ferramentas Analíticas: O uso de conjuntos paralelos internos em níveis específicos (como $|\Omega|/P(\Omega)$) e a manipulação cuidadosa dos termos descartados nas provas clássicas de Pólya oferecem novas ferramentas para a análise de funcionais de forma.

Em suma, o artigo fornece uma caracterização completa e quantitativa de como conjuntos convexos devem se deformar (tornando-se finos e achatados) para atingir os limites extremos das desigualdades clássicas de Pólya e Makai, substituindo a noção de "conjunto ótimo" pela noção de "sequência de otimização" controlada por invariantes geométricos.