Partial regularity of the gradient for subsolutions

1. Problema e Motivação

O artigo aborda um problema fundamental na teoria das equações diferenciais parciais (EDPs): a continuidade do gradiente de funções sub-harmônicas (ou soluções de operadores elípticos/parabólicos gerais) em pontos onde a função não é necessariamente $C^1$.

• Questão Central: Quais são as condições geométricas mínimas sobre os conjuntos de nível (especificamente os conjuntos de super-nível $\{u > u(x_0)\}$) de uma função sub-harmônica limitada $u$ para garantir que seu gradiente $\nabla u$ seja semicontínuo superiormente?
• Contexto: A semicontinuidade superior do gradiente na fronteira foi inicialmente estudada por Shahgholian em problemas de fronteira livre de Bernoulli em domínios convexos. Os autores observaram que essa propriedade pode ser generalizada para uma classe muito mais ampla de operadores e condições de fronteira, indo além da convexidade.
• Desafio: Em pontos de "cantos" ou onde a fronteira do conjunto de nível não é suave, o gradiente pode explodir ou apresentar comportamentos oscilatórios (como no exemplo clássico de Alt-Caffarelli em cones). O objetivo é estabelecer que, sob certas condições geométricas de "toque exterior", o gradiente mantém um controle de regularidade (semicontinuidade superior).

2. Metodologia

A abordagem dos autores combina análise geométrica, teoria de barreiras e fórmulas de monotonicidade.

A. Condição Geométrica (Toque Exterior)

A hipótese central é que, para cada ponto $y$ no domínio, o conjunto de super-nível $D_y^+ = \{x : u(x) > u(y)\}$ pode ser tocado externamente em $y$ por um domínio conectado $K_y$ cuja fronteira é $C^{1, Dini}$ (uma classe de regularidade ligeiramente superior à $C^1$, exigindo que o módulo de continuidade da derivada satisfaça a condição de Dini).

• Essa condição permite a construção de barreiras que garantem que $u$ seja Lipschitziana uniformemente (Lema A.1).

B. Definição do Gradiente via Fórmula de Monotonicidade ACF

Como o gradiente pode não estar definido classicamente em todos os pontos, os autores definem $|\nabla u(y)|$ através de um limite de médias ponderadas, utilizando a Fórmula de Monotonicidade de Alt-Caffarelli-Friedman (ACF).

• Eles definem uma função integral $I(r, y, u)$ baseada na média do quadrado do gradiente sobre conjuntos de nível.
• Utilizando a fórmula de monotonicidade para pares de funções não-negativas ($h_+$ e $h_-$) que se anulam mutuamente, eles provam que o limite $\lim_{r \to 0} I(r, y, u)$ existe.
• O valor do gradiente é então definido como:
  $$|\nabla u(y)|^2 := \frac{1}{c_0} \lim_{r \to 0} I(r, y, u_y)$$
  onde $u_y = \max(u - u(y), 0)$.

C. Argumento de Semicontinuidade Superior

Para provar que $\limsup_{y \to y_0} |\nabla u(y)| \le |\nabla u(y_0)|$, os autores utilizam:

1. Estabilidade da Integral: Mostram que a integral $I(r, y, u)$ varia continuamente quando o centro $y$ se move ligeiramente (Lema A.2).
2. Comparação com Funções Harmônicas: Comparam o comportamento de $u$ com uma função harmônica $G_y$ definida no domínio de toque exterior $K_y$. Devido à regularidade $C^{1, Dini}$ de $K_y$, o gradiente de $G_y$ é bem-comportado e limitado inferiormente.
3. Análise de Blow-up (Expansão): No caso em que o gradiente é não nulo, utilizam argumentos de escala (blow-up) para mostrar que, localmente, a função se comporta como uma função linear em um semi-espaço (Lema A.3). Isso permite estender a semicontinuidade para as derivadas direcionais.

3. Resultados Principais

O trabalho estabelece os seguintes teoremas e corolários:

• Teorema 2.1 (Caso Elíptico): Seja $u$ uma função limitada satisfazendo $\Delta u \ge -1$ na bola unitária $B_1$. Se a propriedade de toque exterior com domínios $C^{1, Dini}$ valer para todos os pontos em $B_{3/4}$, então o gradiente $\nabla u$ é semicontínuo superiormente em $B_{1/2}$.
• Generalização para Operadores Parabólicos e de Divergência (Corolário 2.2): O resultado se estende a operadores da forma $F[u] = \text{div}(A\nabla u) + b \cdot \nabla u + cu - d \partial_t u$, desde que admitam uma fórmula de monotonicidade do tipo ACF (ou quase-monotonicidade) e que a derivada temporal seja limitada inferiormente.
• Teorema 3.1 (Problema de Dirichlet): O resultado é aplicado ao problema de Dirichlet em domínios com fronteira que satisfaz a condição de toque exterior. Se a solução $u$ satisfaz certas condições de regularidade nos dados de fronteira e no operador, então o gradiente espacial $\nabla u(x, t)$ é semicontínuo superiormente em relação à variável espacial $x$ para cada tempo fixo $t$.

4. Contribuições Chave

1. Generalização Geométrica: Substitui a exigência de convexidade (usada em trabalhos anteriores) pela condição de toque exterior por domínios $C^{1, Dini}$. Isso amplia significativamente a classe de domínios e funções onde a regularidade do gradiente pode ser garantida.
2. Definição Intrínseca do Gradiente: Oferece uma definição robusta do gradiente em pontos de não-diferenciabilidade clássica, baseada em médias integrais e fórmulas de monotonicidade, que coincide com o gradiente clássico onde este existe.
3. Unificação de Casos: Demonstra que a mesma lógica de prova se aplica a operadores elípticos, parabólicos (equação do calor) e operadores de divergência com coeficientes variáveis, desde que a estrutura de monotonicidade seja preservada.
4. Tratamento de Fronteiras Irregulares: Mostra que mesmo em domínios com cantos ou geometrias complexas (como o exemplo do "zig-zag" mencionado na introdução), se houver um toque exterior suave, o comportamento do gradiente é controlado.

5. Significado e Impacto

Este trabalho é significativo porque:

• Preenche lacunas na Regularidade: Resolve questões abertas sobre o comportamento do gradiente na fronteira de soluções de EDPs em domínios não convexos, fornecendo uma condição geométrica precisa ($C^{1, Dini}$ exterior) que é suficiente para garantir a semicontinuidade superior.
• Ferramenta para Problemas de Fronteira Livre: A semicontinuidade superior do gradiente é um ingrediente técnico crucial para a análise de problemas de fronteira livre (como o problema de Bernoulli), onde a regularidade da fronteira livre depende do controle do gradiente da solução.
• Robustez Analítica: A metodologia baseada em fórmulas de monotonicidade e blow-up oferece um modelo poderoso que pode ser adaptado para outras classes de operadores não-lineares ou em dimensões superiores.

Em resumo, o artigo estabelece que a regularidade geométrica do "lado de fora" dos conjuntos de nível de uma função sub-harmônica é suficiente para controlar a oscilação do seu gradiente, garantindo a semicontinuidade superior mesmo na ausência de suavidade global da função.