Weakly stable solutions of Serrin's problem

Resumo Técnico: Soluções Fracamente Estáveis do Problema de Serrin

Enunciado do Problema
O artigo aborda o problema sobredeterminado de Serrin, que busca um domínio $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) e uma função $u \in C^\infty(\bar{\Omega})$ satisfazendo:
$$\begin{cases} -\Delta u = n & \text{em } \Omega, \\ u > 0 & \text{em } \Omega, \\ u = 0 & \text{em } \partial\Omega, \\ |Du| = 1 & \text{em } \partial\Omega. \end{cases}$$
Embora J. Serrin (1971) e H. Weinberger (1971) tenham estabelecido que soluções compactas devem ser bolas unitárias, soluções não compactas existem (ex: cilindros). H. Berestycki, L. Caffarelli e L. Nirenberg conjecturaram que qualquer solução não compacta deve ser uma bola unitária ou congruente a um cilindro da forma $\{y \in \mathbb{R}^m : |y| < m/n\} \times \mathbb{R}^{n-m}$. No entanto, contraexemplos a essa conjectura existem para problemas semilineares gerais. Este artigo investiga a conjectura especificamente para o caso $f(u) = n$ sob a adição da hipótese de estabilidade fraca.

Metodologia e Abordagem
Os autores empregam uma abordagem variacional combinada com análise geométrica e estimativas assintóticas. A metodologia central envolve:

1. Caracterização Variacional: As soluções são vistas como pontos críticos do funcional $J(u) = \frac{1}{2}\int_{\{u>0\}} |Du|^2 - \int_{\{u>0\}} F(u)$ (onde $F' = f = n$) sujeito a uma restrição de volume relativo.
2. Definições de Estabilidade:
   • Estabilidade Fraca: O domínio satisfaz o teste da segunda derivada para $J$ entre perturbações compactas que preservam o volume relativo de $\{u > 0\}$. Isso é formalizado pela desigualdade:
     $$\int_{\partial\Omega} (f(0) - H) \phi^2 \le \int_{\Omega} (|D\phi|^2 - f'(u)\phi^2)$$
     para todo $\phi \in C^\infty_c(\bar{\Omega})$ com $\int_{\partial\Omega} \phi = 0$.
   • Estabilidade: A mesma desigualdade é válida para todo $\phi \in C^\infty_c(\bar{\Omega})$ sem a restrição de média zero.
3. Estimativas de Gradiente e Assintóticas: Os autores estabelecem estimativas cruciais de gradiente para $u$ (especificamente $|Du| < 1$ em $\Omega$ e $H \le n$ em $\partial\Omega$) e analisam o comportamento assintótico do volume $V(\lambda)$ e da área de contorno $A(\lambda)$ de $\Omega$ intersectado com grandes bolas $B_\lambda(0)$.
4. Argumento de Contradição: A prova procede assumindo que $\Omega$ possui volume infinito. Usando a relação assintótica $A(\lambda) \approx n V(\lambda)$ derivada do teorema da divergência, os autores demonstram que o volume infinito implica que o domínio é plenamente estável. Ao testar a desigualdade de estabilidade com funções de corte específicas e utilizar a subarmonicidade de uma função auxiliar $\phi = u + \frac{1}{2}|Du|^2$, eles derivam uma contradição entre o sinal da integral de contorno e a condição de estabilidade.
5. Análise de Volume Finito: Uma vez descartado o volume infinito, os autores adaptam o argumento de Weinberger para o cenário não compacto para mostrar que componentes de volume finito devem ser bolas unitárias. A estabilidade fraca é então usada para provar que o domínio é conexo, descartando uniões disjuntas de bolas.

Principais Resultados

• Teorema 2 (Resultado Principal): Para qualquer dimensão $n \ge 2$, se $\Omega$ é uma solução fracamente estável do problema de Serrin, então $\Omega$ é uma bola de raio 1. Consequentemente, não existem soluções não compactas fracamente estáveis.
• Limites de Gradiente: O artigo prova que, para qualquer solução, $|Du| < 1$ em $\Omega$ e a curvatura média $H$ satisfaz $H \le n$ em $\partial\Omega$.
• Implicação de Estabilidade: Se uma solução possui volume infinito, a estabilidade fraca implica estabilidade total.
• Independência de Dimensão: Diferentemente de resultados anteriores para problemas relacionados (ex: o problema de Bernoulli de uma fase) que dependem fortemente da dimensão (ex: $n \le 3$ vs. $n \ge 7$), este resultado é válido para todo $n \ge 2$.

Significância e Alegações
O artigo afirma provar que soluções fracamente estáveis do problema de Serrin são necessariamente compactas (especificamente, bolas arredondadas). Este resultado resolve efetivamente a conjectura de Berestycki-Caffarelli-Nirenberg para o caso $f=n$ sob a hipótese de estabilidade fraca, demonstrando que as alternativas não compactas (cilindros) não são fracamente estáveis. Esta hipótese é descrita como "natural do ponto de vista variacional".

Os autores destacam que seu resultado generaliza um teorema anterior (Teorema 1 em [12]) que era restrito à dimensão $n=2$ e exigia curvatura limitada de $\partial\Omega$. O presente trabalho remove a restrição de dimensão e a hipótese de curvatura limitada. A técnica de prova é distinta de trabalhos anteriores; ela evita o teorema de Gauss-Bonnet (específico para $n=2$) e argumentos específicos para baixas dimensões que falham em dimensões mais altas devido a contraexemplos conhecidos em problemas de estabilidade relacionados.

O resultado situa-se dentro do contexto da teoria de superfícies mínimas, onde soluções fracamente estáveis do problema de Serrin surgem como limites de blow-up de superfícies capilares fracamente estáveis. O resultado de rigidez estabelecido aqui serve como um ingrediente fundamental para caracterizar tais superfícies capilares com ângulos de contato próximos de $0$ ou $\pi$.