Riesz potential estimates for non-linear elliptic obstacle problems

Resumo Técnico: Estimativas de Potencial de Riesz para Problemas de Obstáculo Elípticos Não Lineares

Enunciado do Problema
Este artigo investiga a regularidade das soluções de uma classe de problemas de obstáculo elípticos não homogêneos envolvendo dados de medida. A equação principal sob consideração é:
$$-\text{div}(a(x, u, Du)) = \mu \quad \text{em } \Omega,$$
sujeita à restrição de obstáculo $u \geq \psi$ quase em toda parte em um conjunto aberto limitado $\Omega \subseteq \mathbb{R}^n$ ($n \geq 2$). Aqui, $\mu$ é uma medida de Radon com sinal e variação total finita ($\mu \in \mathcal{M}_b(\Omega)$), e a não linearidade $a(x, z, \eta)$ depende da variável espacial $x$, da solução $z$ e do gradiente $\eta$.

O operador $a$ satisfaz condições padrão de elipticidade e crescimento para um expoente de crescimento $p \geq 2$. Crucialmente, os autores impõem duas suposições específicas de continuidade sobre $a$:

1. Continuidade Dini em $x$: A dependência na variável espacial satisfaz uma condição de Dini, garantindo um módulo de continuidade $\omega$ tal que $\int_0^R \frac{\omega(\rho)}{\rho} d\rho < \infty$.
2. Continuidade Hölder em $z$: A dependência na variável da solução satisfaz uma condição Hölder natural com expoente $\sigma$.

A função obstáculo $\psi$ é assumida como pertencente a $W^{2,1}(\Omega) \cap W^{1,p}(\Omega)$ com condições de integrabilidade específicas em suas derivadas. A solução $u$ é definida como o limite de soluções aproximadas de problemas regularizados, um conceito estabelecido na literatura prévia para dados de medida.

Metodologia
Os autores empregam uma abordagem perturbativa baseada em estimativas de comparação e argumentos de decaimento de excesso. A metodologia central envolve as seguintes etapas:

1. Aproximação e Comparação: A solução $u$ é comparada contra uma sequência de funções auxiliares ($w_1, \dots, w_5$) definidas em bolas aninhadas. Essas funções resolvem problemas de obstáculo homogêneos ou simplificados relacionados, onde os dados de medida e os efeitos do obstáculo são progressivamente removidos ou congelados.

   • $w_1$ resolve o problema do obstáculo com termo de lado direito zero.
   • $w_2$ e $w_3$ lidam com o termo do obstáculo e a equação homogênea, respectivamente.
   • $w_4$ e $w_5$ envolvem o congelamento dos coeficientes na variável da solução e na variável espacial, respectivamente.

2. Estimativas de Comparação: Os autores derivam estimativas $L^q$ para as diferenças entre os gradientes dessas funções auxiliares. Essas estimativas quantificam o erro introduzido pelos dados de medida $\mu$, o obstáculo $\psi$ e a dependência da não linearidade em $u$. As estimativas baseiam-se nas propriedades da estrutura do tipo $p$-Laplaciano e nas suposições específicas de continuidade sobre $a$.

3. Decaimento de Excesso e Iteração: Ao combinar as estimativas de comparação com um lema de decaimento para o excesso (oscilação do gradiente), os autores estabelecem uma estimativa de decaimento iterativo. Este processo utiliza a condição de Dini no módulo de continuidade $\omega$ e a pequenez dos termos de medida e obstáculo em normas integrais específicas.

4. Normalização e Escalonamento: Para lidar com a dependência global da solução $u$ na não linearidade, os autores utilizam uma técnica de normalização. Eles reescalam o problema para normalizar a magnitude do gradiente, permitindo a aplicação uniforme de resultados de regularidade local.

5. Estimativas de Potencial: As estimativas de decaimento iterativo são integradas para derivar limites pontuais em termos de potenciais de Riesz. Os autores distinguem a contribuição da medida de dados $\mu$ e do termo do obstáculo $\psi$ (denotado via um termo $D\Psi$).

Contribuições Principais e Resultados
O artigo estende a teoria das estimativas de potencial de equações elípticas não lineares para o cenário mais complexo dos problemas de obstáculo onde a não linearidade depende explicitamente da própria solução. Os principais resultados são:

• Teorema 1.2 (Estimativa de Gradiente Pontual): Os autores estabelecem uma estimativa de gradiente pontual para a solução $u$ em um ponto de Lebesgue $x_0$. A estimativa limita $|Du(x_0)|$ pela soma de:

  • Uma média integral de $|Du|$ sobre uma bola.
  • O potencial de Riesz dos dados de medida, $I_{|\mu|}^1(x_0, R)$.
  • Um termo envolvendo o potencial de Riesz dos dados do obstáculo, $I_{[\psi]}^1(x_0, R)$.
  • Um termo contabilizando a dependência da não linearidade na solução, envolvendo a constante $\Gamma$, o raio $R$ e o expoente $\sigma$.
    A estimativa assume a forma:
    $$|Du(x_0)| \leq c \left( \text{Média} + (I_{|\mu|}^1 + I_{[\psi]}^1)^{\frac{1}{p-1}} + \text{Termo de Correção Não Linear} \right).$$

• Teorema 1.3 (Regularidade VMO): Sob a suposição de que os potenciais de Riesz dos dados de medida e do obstáculo são limitados e desaparecem no limite quando o raio vai a zero, o gradiente $Du$ é mostrado como pertencente ao espaço das funções com Oscilação Média Nula (VMO) localmente.

• Teorema 1.4 (Continuidade do Gradiente): Se os potenciais de Riesz dos dados de medida e do obstáculo desaparecem no limite (uma condição mais forte que em Teorema 1.3), o gradiente $Du$ é provado como contínuo no domínio.

Significância e Alegações
O artigo posiciona-se como uma extensão da teoria de potencial existente para problemas de obstáculo. Enquanto trabalhos anteriores (ex: Scheven [24, 25]) estabeleceram estimativas de gradiente em termos de potenciais de Wolff para problemas de obstáculo, e outros (ex: Byun, Song, Youn [2, 3]) introduziram estimativas de potencial de Riesz para problemas de obstáculo de coeficientes constantes, este trabalho aborda a lacuna onde a não linearidade depende da própria variável da solução $u$.

Os autores alegam que seus resultados fornecem uma ferramenta abrangente para obter estimativas de regularidade para esses problemas gerais. Ao derivar estimativas especificamente em termos de potenciais de Riesz (que são mais simples e explícitos que potenciais de Wolff no caso $p=2$ e frequentemente mais tratáveis para $p \neq 2$), o artigo oferece uma compreensão refinada de como a regularidade da solução depende da integrabilidade dos dados de medida e da suavidade do obstáculo. Os resultados generalizam achados anteriores para um cenário com coeficientes variáveis e não linearidades dependentes da solução, confirmando que a regularidade do gradiente é controlada pelos potenciais de Riesz dos dados e do obstáculo, desde que a não linearidade satisfaça as condições de Dini e Hölder especificadas.