Wolff potential estimates for elliptic obstacle problems with generalized Orlicz growth

Resumo Técnico: Estimativas de Potencial de Wolff para Problemas de Obstáculo Elípticos com Crescimento de Orlicz Generalizado

Enunciado do Problema
Este artigo investiga problemas de obstáculo elípticos envolvendo dados de medida dentro do arcabouço de espaços de Orlicz generalizados. A equação principal sob consideração é:
$$-\text{div}\left( \frac{g(x, |Du|)}{|Du|} Du \right) = \mu \quad \text{em } \Omega,$$
sujeita à restrição de obstáculo $u \geq \psi$ quase em toda parte em um domínio limitado $\Omega \subseteq \mathbb{R}^n$ ($n \geq 2$). Aqui, $\mu$ é uma medida de Radon com sinal e variação total finita, e $g(x, t)$ representa uma não linearidade que satisfaz condições de crescimento de Orlicz generalizado. Este cenário abrange casos específicos como crescimento $p(x)$, crescimento de expoente variável perturbado e crescimento de fase dupla (double-phase). O obstáculo $\psi$ é assumido pertencente ao espaço de Musielak-Orlicz-Sobolev $W^{1,G}(\Omega)$, sem exigir pressupostos de maior regularidade (por exemplo, $W^{2,1}$) sobre o obstáculo, que estavam presentes na literatura anterior.

Metodologia
Os autores empregam uma abordagem unificada para lidar com os problemas de obstáculo elípticos, evitando a necessidade de tratamentos separados para os casos $p < 2$ e $p \geq 2$. A metodologia procede através das seguintes etapas:

1. Teoria da Existência: A existência de soluções no espaço de Musielak-Orlicz é estabelecida usando técnicas de aproximação. Os autores consideram uma sequência de problemas aproximantes com dados regularizados $f_i \in L^1(\Omega) \cap (W^{1,G}(\Omega))'$ convergindo para a medida $\mu$. Utilizando a reflexividade do espaço e argumentos de compacidade (teoremas de Banach-Alaoglu e Dunford-Pettis), eles provam a existência de um limite de soluções aproximantes.
2. Estimativas de Comparação: Um argumento de comparação de múltiplas etapas é utilizado para preencher a lacuna entre a solução do problema de obstáculo não homogêneo e soluções de equações homogêneas. O processo envolve:
   • Comparar a solução $u$ com uma solução $w_1$ de um problema de obstáculo homogêneo com os mesmos dados de contorno.
   • Comparar $w_1$ com uma solução $w_2$ de um problema com coeficientes regularizados (usando uma função de Orlicz regularizada $\tilde{G}$).
   • Comparar $w_2$ com uma solução $w_3$ de uma equação elíptica relacionada sem a restrição de obstáculo.
   • Comparar $w_3$ com uma solução $w_4$ de uma equação homogênea com coeficientes congelados.
3. Decaimento de Excesso e Estimativas de Potencial: Aproveitando as estimativas de comparação, os autores derivam estimativas de decaimento de excesso para os gradientes. Essas estimativas são então iteradas para obter limites pontuais. O núcleo da análise baseia-se no potencial de Wolff e nas funções máximas fracionárias restritas para quantificar a influência da medida $\mu$ e do obstáculo $\psi$ sobre a regularidade da solução.

Principais Contribuições e Resultados

• Existência de Soluções (Teorema 1.13): O artigo estabelece a existência de pelo menos uma solução aproximável para o problema de obstáculo $OP(\psi; \mu)$ no espaço de Musielak-Orlicz $T^{1,G}_h(\Omega)$, sob suposições estruturais mínimas sobre a função de crescimento $G$ (especificamente as condições (aInc)$_p$, (aDec)$_q$, (A0) e (A1)).
• Estimativas Pontuais de Gradiente (Teorema 1.15): Os autores derivam estimativas pontuais para os gradientes em termos do potencial de Wolff $W^\mu_{\beta, p}$ e da função máxima fracionária aguda restrita $M^\#_{\alpha, R}$. Estas estimativas contabilizam explicitamente a medida $\mu$ e a regularidade do obstáculo $\psi$. As estimativas mantêm-se sob a suposição de que o obstáculo satisfaz uma condição de regularidade Dini-BMO.
• Oscilação e Regularidade $C^{1,\alpha}$ (Teorema 1.16): Ao refinar as estimativas pontuais, o artigo deriva estimativas de oscilação para os gradientes. Especificamente, prova que, se os dados de medida e o obstáculo satisfizerem condições apropriadas de integrabilidade e regularidade (incluindo regularidade Dini-Hölder para o módulo de continuidade), a solução $u$ possui regularidade $C^{1,\alpha}$. As estimativas de gradiente são expressas como:
  $$|Du(x) - Du(y)| \leq C |x-y|^\alpha \left( \text{Termos integrais envolvendo } Du, \mu, \text{ e } \psi \right).$$
  Os limites envolvem o potencial de Wolff da medida de dados e termos integrais relacionados ao gradiente do obstáculo.

Significância e Alegações
O artigo afirma estender descobertas anteriores no campo, particularmente em [50, 51], ao remover o requisito de condições de maior regularidade para a função obstáculo $\psi$. Trabalhos anteriores frequentemente assumiam $\psi \in W^{1,G}(\Omega) \cap W^{2,1}(\Omega)$ para facilitar o tratamento unificado da medida $\mu$ e do termo de obstáculo $D\Psi$. Este trabalho demonstra que tal maior regularidade não é necessária para estabelecer estimativas de potencial de Wolff e regularidade $C^{1,\alpha}$.

Além disso, os autores enfatizam a generalidade de seu arcabouço, que cobre condições de crescimento de Orlicz, expoente variável e fase dupla sob um único conjunto de suposições. Uma vantagem técnica significativa destacada é o tratamento unificado dos casos $p < 2$ e $p \geq 2$, o que elimina a necessidade de abordagens analíticas distintas para diferentes regimes de crescimento. Os resultados fornecem uma descrição potencial-teórica abrangente da regularidade das soluções para problemas de obstáculo elíptico com dados de medida no amplo contexto de crescimento de Orlicz generalizado.