On the stability of the annulus for the torsion of multiply connected domains

Resumo Técnico: Sobre a estabilidade do anel para a torção de domínios multiplamente conexos

Enunciado do Problema
O artigo aborda a estabilidade da desigualdade isoperimétrica associada à rigidez torsional de domínios multiplamente conexos. Embora seja um resultado clássico (Pólya e Weinstein, 1950) que, entre todos os domínios multiplamente conexos com uma área total fixa e uma área total de buracos fixa, o anel concêntrico maximiza a rigidez torsional, a questão da estabilidade permanece: se o domínio de um objeto possui uma rigidez torsional próxima deste máximo, quão próximo o domínio está geometricamente de um anel?

Os autores consideram um domínio $\Omega = G \setminus S$, onde $G$ é um domínio Lipschitz limitado e $S = \bigcup_{i=1}^m \Omega_i$ representa $m$ buracos disjuntos. A rigidez torsional $T(\Omega)$ é definida via um quociente de Rayleigh envolvendo a solução de uma equação de Poisson com condições de contorno de Dirichlet em $\partial G$ e valores constantes (embora desconhecidos) nas fronteiras dos buracos.

Metodologia
Os autores empregam uma combinação de técnicas de simetrização, desigualdades geométricas quantitativas e propagação de assimetria.

1. Rearranjo e Simetrização: A análise baseia-se fortemente no rearranjo de Schwarz ($u^\sharp$) e no rearranjo decrescente ($u^*$) da função de torção. Os autores utilizam a desigualdade de Pólya-Szegő e suas versões quantitativas para comparar a energia da solução no domínio geral $\Omega$ com a do anel ótimo $\Omega_O$.
2. Desigualdades Isoperimétricas Quantitativas: A prova integra a desigualdade isoperimétrica quantitativa (Teorema 2.9), que relaciona o déficit de perímetro ao índice de assimetria de Fraenkel $\alpha(\Omega)$. Isso permite que os autores traduzam um déficit na rigidez torsional em um déficit geométrico (assimetria) dos conjuntos de nível da função de torção.
3. Propagação de Assimetria: Uma técnica central envolve "propagar" a assimetria dos conjuntos de nível da solução para as fronteiras do domínio. Os autores adaptam lemas relativos à estabilidade de conjuntos sob pequenas perturbações de medida (por exemplo, Lema 2.10 e Lema 5.3) para mostrar que, se a rigidez torsional global estiver próxima da ótima, a fronteira externa $G$ e a união dos buracos $S$ devem ser individualmente próximas de bolas.
4. Análise de Concentricidade: Para estabelecer que o domínio é próximo de um anel (bolas concêntricas) e não apenas de duas bolas separadas, os autores analisam a "quase radialidade" da função de torção. Eles definem uma função truncada $w$ e utilizam a desigualdade quantitativa de Pólya-Szegő (Teorema 2.11) para mostrar que o gradiente da solução é próximo ao da solução radial, implicando que os buracos não são apenas esféricos, mas também quase concêntricos com a fronteira externa.

Principais Contribuições e Resultados

• Caracterização da Rigidez (Proposição 1.1 & Teorema 3.1): Os autores fornecem uma caracterização precisa do caso de igualdade para a desigualdade de Pólya-Weinstein. Eles provam que, se $T(\Omega) = T(\Omega_O)$, então $\Omega$ deve ser um anel concêntrico (salvo translação). Isso estende resultados parciais anteriores para uma caracterização completa para domínios multiplamente conexos.
• Estabilidade via Assimetria de Fraenkel (Teorema 1.2): O artigo estabelece um resultado de estabilidade quantitativa. Sob a suposição de que a área do buraco $|S|$ não é muito grande em relação ao domínio externo ($|S| \leq \frac{2}{3}|G|$), o déficit na rigidez torsional controla a soma dos cubos das assimetrias de Fraenkel do domínio externo e dos buracos:
  $$T(\Omega_O) - T(\Omega) \geq C \left( |G|^2 \alpha^3(G) + |S|^2 \alpha^3(S) \right).$$
  Este resultado implica que, se a rigidez estiver próxima da ótima, tanto a fronteira externa quanto os buracos devem estar próximos de bolas.
• Estabilidade via Assimetria Anular (Teorema 1.3): Os autores introduzem um "índice de assimetria anular" $\beta(\Omega)$, medindo a distância de $\Omega$ em relação ao anel concêntrico ótimo. Eles provam que o déficit de rigidez controla este índice:
  $$T(\Omega_O) - T(\Omega) \geq C \beta^\theta(\Omega).$$
  Isso confirma que a quase-otimalidade na rigidez força o domínio a estar próximo de uma configuração de anel concêntrico, e não apenas de uma coleção de bolas.

Significância e Alegações
O artigo afirma resolver a questão da estabilidade para a rigidez torsional de domínios multiplamente conexos, um problema onde caracterizações mais precisas do caso de igualdade não estavam anteriormente disponíveis. A significância reside em:

1. Completar o Quadro de Rigidez: Ir além da existência da forma ótima para uma descrição precisa do caso de igualdade e do comportamento de formas quase ótimas.
2. Lidar com Múltiplos Buracos: Estender a análise de estabilidade para domínios com um número arbitrário de buracos ($m \geq 1$), provando que a configuração ótima exige não apenas buracos esféricos, mas também sua concentricidade com a fronteira externa.
3. Avanço Metodológico: Demonstrar como as técnicas de propagação de assimetria, anteriormente aplicadas a domínios simplesmente conexos, podem ser adaptadas à geometria mais complexa de domínios multiplamente conexos através da análise separada da fronteira externa e dos buracos.

Os autores permanecem modestos quanto à otimalidade dos expoentes em suas estimativas de estabilidade, listando explicitamente a determinação do expoente ótimo nos Teoremas 1.2 e 1.3 como um problema em aberto. Eles também sugerem que uma versão quantificada dos limites de Diaz-Weinstein envolvendo momentos de segunda ordem poderia ser uma direção futura.