Lipschitz regularity for fully nonlinear elliptic equations with $(p,q)$-growth

Resumo Técnico: Regularidade de Lipschitz para Equações Elípticas Não Lineares Completamente com Crescimento (p, q)

Enunciação do Problema
Este artigo investiga a regularidade de Lipschitz interior e global de soluções de viscosidade para equações elípticas não lineares completamente do tipo:
$$F(D^2u, Du, x) = f(x, Du) \quad \text{em } \Omega,$$
onde o operador $F$ satisfaz uma condição de elipticidade não uniforme com crescimento $(p, q)$. Especificamente, a razão de elipticidade é permitida a crescer polinomialmente com a magnitude do gradiente $|Du|$, comportando-se como $1 + |Du|^{q-p}$. Os autores focam no regime onde o intervalo $q-p$ é pequeno, visando estabelecer que as soluções são contínuas de Lipschitz ($u \in \text{Lip}$) sob restrições específicas neste intervalo em relação à continuidade Hölder dos coeficientes e à regularidade a priori da solução.

O estudo aborda o desafio de que, quando $|Du|$ é grande, a equação torna-se não uniformemente elíptica, potencialmente levando a comportamentos irregulares. Provar a regularidade de Lipschitz limita efetivamente o gradiente, colocando assim a equação de volta em um regime uniformemente elíptico. O trabalho considera dois exemplos estruturais primários:

1. Problemas de Fase Dupla: Análogos não lineares completos do funcional variacional de fase dupla $\int (|Du|^p + a(x)|Du|^q)dx$.
2. Problemas de Crescimento Anisotrópico (p, q): Equações envolvendo diferentes taxas de crescimento em diferentes direções coordenadas.

Metodologia
A ferramenta analítica central empregada é o método de Ishii-Lions, uma técnica de duplicação de variáveis usada para derivar limites de gradiente para soluções de viscosidade. A estratégia de prova envolve as seguintes etapas-chave:

1. Redução para Crescimento (0, γ): Os autores transformam primeiro o problema original de crescimento $(p, q)$ em um problema de crescimento $(0, \gamma)$ (onde $\gamma = q-p$) dividindo a equação por $|Du|^p$. Isso simplifica as suposições estruturais enquanto preserva a elipticidade não uniforme essencial dependente do gradiente.
2. Argumentos de Escala: Para lidar com as normas da solução, técnicas de escala são aplicadas para normalizar a solução (por exemplo, assumindo $\|u\|_{L^\infty} \leq 1$ ou $\|u\|_{C^\beta} \leq 1$) enquanto ajustam as constantes estruturais $\Lambda$ e $C_f$.
3. Estimativas Interiores: Para a regularidade interior, os autores constroem um argumento do princípio do máximo usando uma função teste da forma:
   $$\Phi(x, y) = u(x) - u(y) - L_1 \phi(|x-y|) - \frac{L_2}{2}|x-x_0|^2 - \frac{L_2}{2}|y-x_0|^2.$$
   Os termos de localização envolvendo $L_2$ são cruciais para o caso interior para controlar a diferença nos gradientes em dois pontos. A prova procede por contradição, assumindo que o máximo é positivo e derivando uma contradição para $L_1$ e $L_2$ grandes, analisando as desigualdades de viscosidade nos pontos de máximo usando os operadores de Pucci e as suposições estruturais (A1)-(A4).
4. Estimativas de Fronteira e Globais: Para a regularidade global, os autores combinam o método de Ishii-Lions com uma construção de barreiras (seguindo Birindelli e Demengel). Eles constroem funções de barreira explícitas próximas à fronteira para controlar o comportamento da solução em relação aos dados de fronteira $g \in C^{1,1}$.
   • Uma distinção crítica no argumento global é a ausência dos termos de localização (termos $L_2$) usados na prova interior. Consequentemente, o termo "diferença de gradiente" (suposição A2) não aparece nas estimativas globais, permitindo um relaxamento das suposições estruturais no teorema global.

Resultados Chave
O artigo estabelece os seguintes teoremas principais relativos ao intervalo admissível $q-p$ necessário para a regularidade de Lipschitz:

• Regularidade Interior (Teorema 1.1):

  • Se $u \in L^\infty$ (ou meramente contínua), a continuidade de Lipschitz vale se $q - p < \alpha$, onde $\alpha$ é o expoente de Hölder do coeficiente $x \mapsto F(\cdot, \cdot, x)$.
  • Se $u \in C^\beta$ a priori, o intervalo admissível melhora para:
    $$q - p < \min \left\{ 1 + \frac{\beta}{2(1-\beta)}, \frac{\alpha}{1-\beta} \right\}.$$
  • Os autores observam que o limite interior para soluções $C^\beta$ é ligeiramente mais restritivo do que o limite variacional ótimo devido aos termos de localização requeridos no argumento de Ishii-Lions.

• Regularidade Global (Teorema 1.2):

  • Para um domínio limitado $C^{1,1}$ $\Omega$ com dados de fronteira $g \in C^{1,1}$, se $u \in L^\infty$, a condição $q - p < \alpha$ é suficiente.
  • Se $u \in C^\beta$ a priori, a regularidade global de Lipschitz vale sob o limite melhorado:
    $$q - p < \frac{\alpha}{1-\beta}.$$
  • Este limite global corresponde às condições de intervalo agudas conhecidas para problemas de fase dupla variacionais (especificamente aqueles em [6, 12]).

Significado e Afirmações
Os autores posicionam seu trabalho como uma extensão da teoria de regularidade de contextos variacionais (forma divergente) para equações não lineares completamente (forma não divergente) com crescimento $(p, q)$.

• Comparação com a Teoria Variacional: Os resultados recuperam as condições de intervalo agudas conhecidas para o problema de fase dupla no contexto variacional (por exemplo, $q-p < \alpha/(1-\beta)$ para soluções $C^\beta$).
• Distinção de Modelos do Tipo Produto: O artigo destaca que seu modelo (1.3) difere fundamentalmente dos modelos do tipo produto (1.11) estudados por De Filippis. Em modelos do tipo produto, a regularidade $C^{1,\alpha}$ pode ser alcançada independentemente do intervalo $q-p$ devido à estrutura de produto específica que permite a remoção de termos de gradiente. Em contraste, o modelo dos autores não possui essa estrutura (quando $F \neq G$), tornando as condições de intervalo sobre $p$ e $q$ essenciais para a regularidade.
• Novidade no Contexto Não Divergente: Os autores afirmam que, embora contraexemplos irregulares sejam bem conhecidos para equações em forma divergente além de intervalos ótimos, nenhum contraexemplo análogo está atualmente disponível para equações não lineares completamente em forma não divergente com crescimento $(p, q)$. Assim, seus resultados fornecem a primeira teoria sistemática de regularidade de Lipschitz para esta classe de equações não divergentes, estabelecendo as condições de intervalo necessárias análogas ao caso variacional.
• Suposições Estruturais: O artigo esclarece que a suposição (A2) (continuidade de Lipschitz de $F$ em relação ao gradiente) é necessária apenas para as estimativas interiores devido à técnica de localização, mas não é requerida para as estimativas globais, demonstrando uma compreensão matizada dos mecanismos de regularidade em equações não divergentes.