C^{1,\alpha} regularity for a class of singular/degenerate fully nonlinear elliptic equations with oblique boundary conditions

Resumo Técnico: Regularidade C1,α para Equações Elípticas Não Lineares Completas Singulares/Degegeradas com Condições de Contorno Oblíquas

1. O Problema Investigado

O artigo aborda a regularidade global de soluções de viscosidade para uma classe de equações elípticas não lineares completas (fully nonlinear) que exibem comportamentos tanto singulares quanto degenerados em relação ao gradiente. O problema é formulado no domínio $\Omega \subset \mathbb{R}^n$ (limitado e de classe $C^1$) com condições de contorno oblíquas não homogêneas:

$$\begin{cases} \Phi(x, |Du|)F(D^2u) = f & \text{em } \Omega, \\ \beta \cdot Du = g & \text{em } \partial\Omega. \end{cases}$$

Características principais do modelo:

• Operador $F$: Um operador uniformemente elíptico no sentido de Pucci, satisfazendo $F(0)=0$.
• Função $\Phi(x, t)$: Uma função contínua que modula a elipticidade baseada no gradiente $|Du|$. Ela pode ser:
  • Degenerada: Quando $i(\Phi) \geq 0$ (o coeficiente pode anular-se).
  • Singular: Quando $-1 < i(\Phi) < 0$ (o coeficiente pode tender ao infinito).
• Condição de Contorno: $\beta$ é um vetor tangente ou oblíquo à fronteira, satisfazendo $\beta \cdot n \geq \delta_0 > 0$.
• Dados: $f \in C(\Omega)$, $g \in C^\alpha(\partial\Omega)$ e $\beta \in C^\alpha(\partial\Omega; \mathbb{R}^n)$.

O objetivo é estabelecer a regularidade global $C^{1,\alpha}$ para as soluções $u$.

2. Metodologia e Estratégia de Prova

A prova baseia-se em uma abordagem iterativa de aproximação por funções afins (método de compactidade), combinada com estimativas de Hölder adaptadas às singularidades e à geometria do domínio.

Estrutura da Metodologia:

1. Unificação dos Regimes (Transformação):

   • Para tratar os casos singular e degenerado em um único quadro, os autores utilizam uma transformação (Lema 2.2). No regime singular ($i(\Phi) < 0$), a equação é reescrita para que o novo coeficiente tenha índice de degenerescência zero, mas introduz um termo de fonte dependente do gradiente na forma $|Du|^\gamma$ (com $\gamma \in [0, 1)$).
   • Isso permite analisar o problema unificado: $\tilde{\Phi}(x, |Du|)F(D^2u) = f|Du|^\gamma$, onde $\tilde{\Phi}$ é degenerado ($i(\tilde{\Phi}) \geq 0$).

2. Estimativas de Hölder na Fronteira (Lema 3.1):

   • Estabelecem a regularidade $C^\alpha$ para soluções onde o gradiente está "longe" de um ponto de referência $q$.
   • Utilizam o método de parabolóides deslizantes e cunhas (sliding paraboloid and cusp methods), adaptado para condições de contorno oblíquas em domínios $C^1$.
   • Demonstram que a constante de Hölder é uniforme em relação ao parâmetro $q$, desde que os dados sejam suficientemente pequenos.

3. Melhoria de Planicidade (Improvement of Flatness - Lema 3.2 e Proposição 3.1):

   • Utilizam um argumento de compactidade (por contradição). Assumem que a solução não pode ser aproximada por uma função afim com erro de ordem $r^{1+\alpha}$.
   • Escalam a sequência de soluções e mostram que, no limite, elas convergem para uma solução de uma equação homogênea com condição de contorno oblíqua constante.
   • Como a regularidade $C^{1,\alpha_0}$ para o caso homogêneo é conhecida (teoria clássica), chega-se a uma contradição, provando que a aproximação afim é possível.

4. Iteração Global (Prova do Teorema 1.1):

   • Constroem uma sequência de funções afins $\{l_k\}$ tal que $\|u - l_k\|_{L^\infty} \leq r^{k(1+\alpha)}$.
   • A cada escala $r^k$, a função normalizada $v_k$ satisfaz uma equação escalada. Os autores verificam cuidadosamente que as condições de pequeno dos dados (normas de $f, g, \beta$ e a inclinação da fronteira) são preservadas sob o escalonamento, permitindo a aplicação repetida da Proposição 3.1.
   • Um desafio técnico crucial é controlar o termo $|q_k|^\gamma$ no lado direito da equação escalada quando $|q_k|$ cresce. Os autores restringem a análise ao regime onde este termo permanece limitado, garantindo a uniformidade das estimativas.

3. Contribuições Chave

• Unificação de Regimes: O trabalho fornece um quadro unificado que trata simultaneamente casos degenerados ($i(\Phi) \geq 0$) e singulares ($-1 < i(\Phi) < 0$), algo que anteriormente exigia abordagens distintas ou era limitado a condições de contorno de Neumann homogêneas.
• Generalização do Caso Degenerado: Estende os resultados de [6] (que tratavam apenas de $\Phi(x,t)=t^\gamma, \gamma>0$) para uma classe muito mais ampla de não-linearidades $\Phi$, incluindo funções de variável exponencial e somas de potências.
• Melhoria no Caso Singular: Supera o resultado de [12] (que estabelecia apenas regularidade Lipschitz global para o caso singular com Neumann homogênea). Este artigo prova a regularidade $C^{1,\alpha}$ (gradiente Hölder contínuo) para o caso singular com condições de contorno oblíquas não homogêneas.
• Domínios $C^1$: Os resultados são válidos para domínios com fronteira de classe $C^1$, uma condição mais fraca e geral do que a exigida em trabalhos anteriores ($C^2$).

4. Resultados Principais

Teorema 1.1 (Regularidade Global):
Sob as hipóteses (A1)-(A3) e dados adequados, a solução de viscosidade $u$ pertence a $C^{1,\alpha}(\Omega \cap B_{1/2})$ com a estimativa:
$$\|u\|_{C^{1,\alpha}} \leq C \left( \|u\|_{L^\infty} + \|f\|_{L^\infty}^{1/(1+i(\Phi))} + \|g\|_{C^\alpha} \right)$$

O expoente de regularidade $\alpha$ é determinado por:

• Caso Degenerado ($i(\Phi) \geq 0$): $\alpha \in (0, \alpha_0) \cap \left(0, \frac{1}{1+s(\Phi)}\right] \cap (0, \alpha_{dados}]$.
• Caso Singular ($-1 < i(\Phi) < 0$): $\alpha \in (0, \alpha_0) \cap \left(0, \frac{1}{1+s(\Phi)-i(\Phi)}\right] \cap (0, \alpha_{dados}]$.

Onde $\alpha_0$ é o expoente ótimo para a equação homogênea com condição de contorno constante, e $s(\Phi)$, $i(\Phi)$ são os índices de crescimento superior e inferior de $\Phi$.

Corolário 1.1:
O resultado se estende diretamente para condições de contorno mistas do tipo $\beta \cdot Du + hu = g$, mantendo a mesma regularidade.

5. Significado e Impacto

Este trabalho é significativo porque preenche lacunas importantes na teoria de regularidade de EDPs não lineares:

1. Robustez: Demonstra que a regularidade $C^{1,\alpha}$ é robusta mesmo na presença de singularidades no gradiente e em condições de contorno complexas (oblíquas não homogêneas).
2. Aplicabilidade: A classe de funções $\Phi$ coberta inclui modelos físicos e geométricos onde a difusão depende criticamente da magnitude do gradiente (ex: fluidos não newtonianos, crescimento de superfícies).
3. Técnica: A combinação do método de compactidade com a transformação de variáveis para lidar com a singularidade oferece uma ferramenta poderosa para futuros estudos em equações elípticas e parabólicas degeneradas/singulares.

Em suma, o artigo consolida a teoria de regularidade para uma vasta gama de equações elípticas não lineares, unificando tratamentos anteriormente fragmentados e expandindo as fronteiras do que é conhecido sobre o comportamento de soluções na fronteira.