Serrin's overdetermined theorem and weak Bernoulli laws without Alt--Caffarelli regularity

Resumo Técnico de "Serrin's Overdetermined Theorem and Weak Bernoulli Laws Without Alt–Caffarelli Regularity"

Enunciado do Problema
O artigo investiga a rigidez de problemas de valor de contorno sob determinados de tipo Serrin e problemas de fronteira livre de uma fase quando as suposições clássicas de regularidade da teoria de Alt–Caffarelli são removidas. Especificamente, o autor estuda domínios $\Omega \subset \mathbb{R}^n$ que suportam uma solução $u$ para a lei de Bernoulli distributiva:
$$\Delta u = c \mathcal{H}^{n-1}\lfloor \partial^*\Omega - f(u)\mathbf{1}_\Omega dx \quad \text{em } \mathcal{D}'(\mathbb{R}^n),$$
onde $f \in C^2$, $f(0) > 0$, e $\partial^*\Omega$ denota a fronteira reduzida. A questão central é se a identidade distributiva sozinha, sem as hipóteses de crescimento uniforme ou de densidade (especificamente a cota de densidade superior uniforme $\mathcal{H}^{n-1}(\partial\Omega \cap B_r(x)) \leq L r^{n-1}$) exigidas pela teoria de Alt–Caffarelli, força $\Omega$ a ser uma bola (no caso $f \equiv 1$) ou um disco (no caso planar).

Metodologia
O artigo emprega uma combinação de análise complexa, análise harmônica e técnicas de EDPs elípticas ponderadas para construir contraexemplos e provar resultados de rigidez.

1. Rigidez Planar (Classe de Smirnov):
   Para domínios planares, o autor estabelece que, se $\Omega$ é um domínio de Smirnov (uma classe de domínios de Jordan onde a derivada do mapa conforme é uma função externa), a lei de Bernoulli distributiva implica que $\Omega$ é um disco. A prova utiliza a identidade de quadratura harmônica derivada da lei de Bernoulli para construir uma relação de ortogonalidade de Cauchy na fronteira. Esta relação produz uma função holomorfa limitada no disco unitário, permitindo a aplicação do método da função-$P$ de Weinberger em um cenário de baixa regularidade.

2. Contraexemplos Planares (Não-Smirnov):
   Para mostrar a nitidez da condição de Smirnov, o autor constrói domínios não esféricos e não-Smirnov que satisfazem a lei. A construção baseia-se no mecanismo de Duren–Shapiro–Shields (DSS), que gera domínios com fatores internos singulares não triviais em suas derivadas conformes.

   • Obstáculo: Uma perturbação ingênua do disco usando uma medida singular fixa falha em satisfazer a forte identidade de quadratura (Proposição 4.1).
   • Resolução: O autor introduz uma simetria de quatro ordens para eliminar os modos de Fourier associados a translações de disco (que de outra forma exigiriam redução de Lyapunov–Schmidt). Uma argumentação de ponto fixo não linear é então utilizada para resolver por um fator externo que corrija a densidade de fronteira, enquanto o fator interno singular permanece para garantir que o domínio não seja Smirnov.

3. Contraexemplos de Dimensões Superiores ($n \geq 3$):
   A construção conforme planar não se estende diretamente para dimensões superiores. Em vez disso, o autor utiliza uma redução de simetria axial.

   • Redução Ponderada: O problema é reduzido a um problema de condutividade planar ponderado com um peso $r^p$ (onde $p=n-2$) decorrente do Laplaciano em coordenadas cilíndricas.
   • Perturbação Singular: A construção envolve um operador de traço elíptico ponderado. Uma dificuldade fundamental é o obstáculo do modo "$\sin t$" gerado pelo peso axial. O autor introduz um segundo parâmetro singular $\delta$ para criar um desequilíbrio topo-base controlado na medida singular, o qual cancela o termo de força axial.
   • Ponto Fixo: Uma argumentação de contração resolve os modos de alta frequência, enquanto o modo seno escalar é equilibrado pelo ajuste de $\delta$. O domínio meridiano resultante é rotacionado para formar o contraexemplo de $n$ dimensões.

Principais Contribuições e Resultados

• Teorema 1.1 (Rigidez Planar): Se $\Omega \subset \mathbb{C}$ é um domínio de Jordan limitado com fronteira retificável que é um domínio de Smirnov e satisfaz a identidade de momento harmônico (equivalente à lei de Bernoulli distributiva para $f \equiv 1$), então $\Omega$ é um disco. Isso fortalece resultados anteriores ao substituir a suposição de densidade superior uniforme pela condição analítica mais fraca de Smirnov.
• Teorema 1.2 (Contraexemplo Planar): Para qualquer $f \in C^2$ com $f(0) > 0$, existem domínios de Jordan limitados, retificáveis e não-Smirnov que não são discos, mas satisfazem a lei de Bernoulli distributiva. Estes domínios possuem um fator interno singular não trivial em sua derivada conforme, levando a uma falha nas cotas de densidade de comprimento de arco na fronteira.
• Teorema 1.4 (Contraexemplo de Dimensões Superiores): Para $n \geq 3$, existem conjuntos limitados de perímetro finito $\Omega \subset \mathbb{R}^n$ (homeomorfos a $B^2 \times S^{n-2}$) que satisfazem a lei de Bernoulli distributiva, mas não são bolas. Estes conjuntos falham a condição de densidade uniforme (1.3), demonstrando que a hipótese de densidade de Alt–Caffarelli é essencial para a rigidez em dimensões $n \geq 3$.
• Limiares de Regularidade: O artigo identifica a condição de Smirnov como o limiar exato para a rigidez no plano e a cota de densidade superior uniforme como o limiar para $n \geq 3$.

Significado
O trabalho demonstra que as suposições de crescimento e densidade uniformes na teoria clássica de Alt–Caffarelli não são meramente conveniências técnicas, mas são necessárias para excluir comportamentos de fronteira singulares que permitem soluções não esféricas.

• Falha da Unicidade Distributiva: A lei de Bernoulli distributiva sozinha é insuficiente para garantir simetria radial ou regularidade de fronteira livre, mesmo entre domínios retificáveis.
• Papel dos Fatores Singulares: Os contraexemplos dependem de fatores internos singulares em mapas conformes (em 2D) ou medidas singulares na construção (em $n$D). Esses fatores são invisíveis para a densidade de comprimento de arco da fronteira, mas afetam a densidade do Jacobiano interior, perturbando assim a identidade de momento harmônico necessária para a rigidez.
• Nitidez dos Teoremas Existentes: Os resultados confirmam que os teoremas de rigidez que dependem de cotas de densidade uniforme (como em [23]) são nítidos; remover essas cotas permite a existência de soluções "rugosas" que satisfazem a formulação fraca, mas carecem da regularidade geométrica de uma bola.

O trabalho esclarece a fronteira precisa entre flexibilidade e rigidez em problemas de fronteira livre, mostrando que, sem restrições de regularidade específicas (Smirnov em 2D, densidade uniforme em $n \geq 3$), o problema sob determinado admite uma rica classe de soluções não esféricas.