Hölder regularity up to the boundary for the g-Laplacian on Reifenberg flat domains

Resumo Técnico: Regularidade de Hölder até a Fronteira para o $g$-Laplaciano em Domínios Reifenberg Flat

Enunciado do Problema
Este manuscrito investiga a regularidade de fronteira de soluções fracas para uma classe de problemas de Dirichlet elípticos não lineares regidos pelo operador $g$-Laplaciano, definido como $\Delta_g u := \text{div}\left(\frac{g(|\nabla u|)}{|\nabla u|} \nabla u\right)$. O operador está associado a uma função Young $G$ (onde $G' = g$) que satisfaz condições estruturais específicas: uma condição primitiva (PC) e uma condição de quociente (QC) caracterizadas por constantes $0 < \delta_0 \le g_0$. Estas condições abrangem o clássico $p$-Laplaciano, bem como operadores com crescimento não padrão, tais como aqueles envolvendo termos logarítmicos.

O principal desafio abordado é estabelecer a continuidade de Hölder de soluções até a fronteira quando o domínio subjacente $\Omega \subset \mathbb{R}^n$ carece de suavidade. Especificamente, o estudo foca em domínios Reifenberg flat, uma classe geométrica onde a fronteira é localmente aproximada por hiperplanos dentro de uma margem de erro $\delta$ controlada. Diferente dos domínios clássicos suaves, os domínios Reifenberg flat podem possuir fronteiras de natureza fractal, apresentando dificuldades analíticas significativas para a teoria da regularidade.

Metodologia
A estratégia de prova combina argumentos de decaimento iterativo com um princípio do máximo especializado, adaptado ao ambiente Orlicz-Sobolev. A metodologia procede através das seguintes etapas fundamentais:

1. Estrutura e Espaços: A análise é conduzida dentro dos espaços de Orlicz $L^G(\Omega)$ e espaços de Orlicz-Sobolev $W^{1,G}(\Omega)$. Os autores utilizam as propriedades estruturais de $G$ e $g$ (incluindo convexidade e limites de crescimento derivados de $\delta_0$ e $g_0$) para estabelecer desigualdades necessárias, tais como desigualdades do tipo Poincaré e estimativas de monotonicidade (Lema 2.7).
2. Funções de Barreira e Decaimento Iterativo: Para provar a continuidade de Hölder em um ponto da fronteira, os autores empregam um argumento de indução. Eles constroem funções de barreira específicas (baseadas em potências da distância a uma origem deslocada) que satisfazem $\Delta_g \tilde{h} \le 0$. Ao comparar a solução $u$ com estas barreiras em escalas decrescentes $\rho^k$, eles visam demonstrar que a oscilação de $u$ decai a uma taxa proporcional a $\rho^{k\alpha}$.
3. Tratamento da Não-Homogeneidade: Um obstáculo técnico crítico é a falta de homogeneidade no $g$-Laplaciano (ao contrário do $p$-Laplaciano). Os autores desenvolvem novos argumentos para gerenciar a diferença entre duas soluções, que não satisfaz uma equação homogênea.
4. Princípio do Máximo do Tipo ABP: Para superar a dificuldade das diferenças não-homogêneas, o artigo estabelece uma estimativa do tipo Alexandroff-Bakelman-Pucci (ABP) para a diferença de soluções fracas. Isso envolve:
   • Definir um conjunto $A(k)$ onde a diferença entre as soluções excede um limiar.
   • Utilizar um lema técnico (Lema 4.1) referente a funções não crescentes para derivar estimativas de decaimento.
   • Aplicar a desigualdade de Young e as propriedades da função conjugada $\tilde{G}$ para limitar a integral da diferença do gradiente pelo termo de origem da norma $L^q$.
   • Derivar uma desigualdade recursiva para a medida do conjunto $A(k)$, levando a um limite para o supremo da diferença da solução.

Principais Contribuições e Resultados
O artigo estabelece dois teoremas principais referentes à regularidade de Hölder de soluções fracas $u$ até a fronteira:

• Teorema 1.4 ($g$-Harmônicas): Para funções $g$-harmônicas ($\Delta_g u = 0$) com dados de fronteira $\psi \in C^\alpha$, os autores provam que, se o domínio for suficientemente $\delta$-Reifenberg flat (com $\delta$ dependendo das constantes estruturais e $\alpha$), a solução é $C^\alpha$ no ponto da fronteira. A estimativa depende da norma $L^\infty$ da solução e da seminorma de Hölder dos dados de fronteira.
• Teorema 1.5 (Caso Não-Homogêneo): Para a equação $\Delta_g u = f$ com $f$ pertencente a um espaço específico do tipo Morrey $C^{-n/q, (1+g_0)\alpha}_q$, e assumindo que $g$ é convexa com $1 < \delta_0 \le g_0$, mostra-se que a solução é $C^\alpha$ até a fronteira. A estimativa de regularidade contabiliza explicitamente as normas do termo de origem $f$, dos dados de fronteira $\psi$ e da própria solução.
• Corolário 1.6 (Regularidade Global): Ao combinar as estimativas de fronteira com a teoria de regularidade interior existente, o artigo conclui que a continuidade de Hölder global ($u \in C^\beta(\Omega)$) ocorre para soluções em domínios que são $\delta$-Reifenberg flat em cada ponto da fronteira.

Significância e Alegações
O artigo afirma estender a teoria da regularidade de fronteira para o framework do $g$-Laplaciano em domínios Reifenberg flat, um cenário que generaliza resultados anteriores para o Laplaciano, $p$-Laplaciano e Laplaciano fracionário.

Os autores destacam que a ausência de homogeneidade no $g$-Laplaciano cria desafios adicionais comparados ao caso homogêneo do $p$-Laplaciano. Consequentemente, o trabalho exige o desenvolvimento de novos argumentos, particularmente a derivação de uma estimativa do tipo ABP adaptada ao ambiente Orlicz-Sobolev e às condições estruturais específicas de $G$. Os resultados fornecem estimativas quantitativas para a regularidade das soluções, demonstrando que a suficiência de achatamento da fronteira (controlada por $\delta$) é uma condição geométrica robusta que garante a continuidade de Hölder, mesmo para operadores com crescimento não padrão e comportamento singular ou degenerado.