Resumo Técnico: Sobre Alguns Funcionais Envolvendo Rigidez Torsional, Autovalor Principal e Perímetro

1. Enunciado do Problema

Este artigo investiga a interação entre duas quantidades geométricas fundamentais associadas ao Laplaciano em um domínio $\Omega \subset \mathbb{R}^m$: a rigidez torsional $T(\Omega)$ e o primeiro autovalor de Dirichlet $\Lambda(\Omega)$. Enquanto a desigualdade de Saint–Venant estabelece que bolas maximizam a rigidez torsional para um volume fixo (ou perímetro), e a desigualdade de Faber–Krahn estabelece que bolas minimizam o primeiro autovalor para um volume fixo (ou perímetro), o comportamento do produto delas é não trivial devido a essas propriedades extremais opostas.

O objetivo primário é otimizar o produto $\Lambda(\Omega)T(\Omega)$ sob uma restrição de perímetro prescrita. Os autores definem o funcional invariante de escala:
$$G(\Omega) := \frac{T(\Omega)\Lambda(\Omega)}{P(\Omega)^{\frac{m}{m-1}}}$$
onde $P(\Omega)$ denota o perímetro de De Giorgi. O estudo é conduzido através de três classes distintas de domínios:

1. $\mathcal{O}$: A classe de subconjuntos abertos de $\mathbb{R}^m$ com perímetro finito.
2. $\mathcal{C}$: A subclasse de conjuntos abertos, limitados e convexos.
3. $\mathcal{S}_{\delta, \gamma}$: A classe de conjuntos "quase esféricos" (perturbações da bola unitária $B_1$).

Adicionalmente, o artigo generaliza este problema para uma família de funcionais $F_q(\Omega) = T(\Omega)^q \Lambda(\Omega) V(\Omega)^{-\alpha_q}$ (onde $\alpha_q = \frac{(m+2)q-2}{m}$) e uma correspondente generalização com restrição de perímetro $G_q(\Omega)$.

2. Metodologia

Os autores empregam uma combinação de teoria de otimização de forma, análise espectral e desigualdades geométricas.

• Derivadas de Forma e Estabilidade: A ferramenta analítica central é o cálculo de variações para funcionais de forma. Os autores utilizam o teorema de estrutura para as primeira e segunda derivadas de forma (Teorema 2.6) para analisar a criticidade e estabilidade da bola. Eles verificam que a bola é uma forma crítica (a primeira derivada se anula) e investigam a coercividade da segunda derivada (Hessiano) em espaços de Sobolev fracionários ($H^s$).
• Expansão em Harmônicos Esféricos: Para analisar a segunda variação dos funcionais na bola, os autores expandem as perturbações de contorno $h$ em termos de harmônicos esféricos. Isso permite que eles computem os autovalores do Hessiano explicitamente, determinando se a bola é um minimizador local, maximizador ou ponto de sela com base no sinal dos coeficientes $G_k$ ou $F^q_k$.
• Homogeneização e Argumentos de Homogeneização: Para estabelecer limites na classe de conjuntos abertos ($\mathcal{O}$), os autores constroem sequências específicas de domínios.
  • Sequências minimizantes: Construídas usando domínios finos ou sequências onde a razão isoperimétrica se anula.
  • Sequências maximizantes: Construídas via homogeneização (introduzindo um arranjo denso de pequenos buracos) para se aproximar do supremo do funcional de Pólya, combinada com o controle da razão isoperimétrica.
• Desigualdades Geométricas: A análise baseia-se fortemente em desigualdades conhecidas, tais como as de Saint–Venant e Faber–Krahn, bem como limites específicos para conjuntos convexos envolvendo diâmetro, raio interno e largura mínima (por exemplo, Proposições 2.3–2.5).
• Análise de Regularidade: Para o caso convexo no cenário planar ($m=2$), um argumento de contradição é usado para provar que qualquer maximizador deve ter um contorno de classe $C^1$, descartando cantos.

3. Contribuições Principais e Resultados

A. Otimização na Classe de Conjuntos Abertos ($\mathcal{O}$)

• Ínfimo: O ínfimo de $G(\Omega)$ sobre $\mathcal{O}$ é 0. Isto é alcançado por sequências de conjuntos que se tornam cada vez mais finos (razão isoperimétrica vanishing).
• Supremo: O supremo não é atingido. Ele é dado pelo valor $m^{\frac{m}{m-1}} \omega_m^{-\frac{1}{m-1}}$ (onde $\omega_m$ é o volume da bola unitária). Este valor é aproximado por sequências construídas via homogeneização de uma bola, onde o funcional de Pólya se aproxima de 1 e a razão isoperimétrica é controlada.
• Generalização ($G_q$): Para o funcional generalizado $G_q$, se $q \le \frac{2}{m+2}$, a bola é o minimizador global. Se $q > \frac{2}{m+2}$, o ínfimo é 0. O supremo é $+\infty$ para $q < 1$ e finito para $q \ge 1$.

B. Otimização na Classe de Conjuntos Convexos ($\mathcal{C}$)

• Existência de Maximizadores: Diferente da classe $\mathcal{O}$, o supremo de $G(\Omega)$ sobre $\mathcal{C}$ é atingido. Os autores provam a existência de um maximizador mostrando que sequências maximizantes não podem "colapsar" (isto é, a razão entre a largura mínima e o diâmetro não pode se anular) e, portanto, convergem para um limite convexo.
• Regularidade: No caso planar ($m=2$), qualquer maximizador de $G$ em $\mathcal{C}$ é de classe $C^1$. A prova demonstra que um ponto de canto permitiria uma perturbação que aumentaria o valor do funcional, contradizendo a maximalidade.
• A Bola como Candidata: Permanece um problema em aberto se a bola é o maximizador global em $\mathcal{C}$. Simulações numéricas apoiam esta conjectura, mas ela não é provada.
• Generalização ($G_q$): O comportamento de $G_q$ em $\mathcal{C}$ depende de $q$. Para $q > 2/3$, o ínfimo é 0 e um maximizador existe. Para $q < 2/3$, o supremo é $+\infty$.

C. Otimalidade Local e Estabilidade (Domínios Quase Esféricos)

O artigo fornece uma análise local detalhada da estabilidade da bola para ambos $G$ e a família $F_q$ (e $G_q$) dentro da classe de conjuntos quase esféricos $\mathcal{S}_{\delta, \gamma}$.

• Maximalidade Local da Bola para $G$: A bola é um maximizador local estrito para o funcional $G$. Especificamente, existe uma constante $C > 0$ tal que para qualquer perturbação quase esférica $B_h$:
  $$G(B_1) - G(B_h) > C \|h\|_{H^1(\partial B_1)}^2$$
• Comportamento Local de $F_q$ e $G_q$: A estabilidade da bola depende criticamente do parâmetro $q$:
  • $q < \frac{2}{m+2}$: A bola é um minimizador estrito.
  • $\frac{2}{m+2} < q < q^*$: A bola é um ponto de sela (nem um máximo local, nem um mínimo). Aqui, $q^*$ é um limiar crítico envolvendo o primeiro zero de uma função de Bessel.
  • $q > q^*$: A bola torna-se um maximizador estrito.
• Significado de $q^*$: O artigo identifica um intervalo de valores de $q$ (especificamente entre $\frac{2}{m+2}$ e $q^*$) onde a bola se comporta como um ponto de sela. Isso contrasta com o comportamento global onde a bola é o minimizador global para $q \le \frac{2}{m+2}$.

4. Significância e Alegações

O artigo afirma resolver a otimização do produto da rigidez torsional e do primeiro autovalor sob uma restrição de perímetro, um problema que não havia sido totalmente caracterizado na literatura.

• Resolução de Valores Extremais: Os autores estabelecem que, embora o ínfimo do funcional seja 0 na classe geral de conjuntos abertos, o supremo não é atingido. No entanto, restringir o problema a conjuntos convexos garante a existência de um maximizador.
• Estabilidade Local: Uma contribuição significativa é a prova rigorosa de que a bola é um maximizador local para o funcional de produto com restrição de perímetro $G$. Isso fornece um forte suporte teórico para a conjectura de que a bola é o maximizador global na classe convexa.
• Generalização: O trabalho estende a análise clássica do funcional de Pólya para uma família mais ampla de funcionais $F_q$ e $G_q$, mapeando a transição da minimalidade para a maximalidade (e comportamento de sela) da bola conforme o expoente $q$ varia.
• Rigor Metodológico: O artigo fornece um quadro completo para analisar derivadas de forma de funcionais espectrais-geométricos mistos, lidando especificamente com a interação entre volume, perímetro e quantidades espectrais via expansões de harmônicos esféricos.

Os autores permanecem modestos quanto à otimalidade global da bola na classe convexa, declarando explicitamente que se o máximo é atingido por uma bola permanece um problema em aberto, apesar das evidências numéricas e da estabilidade local provada.