Orlicz Potential Theory: Balayage, Riesz Measures, and Very Weak Solutions

Resumo Técnico: Teoria do Potencial de Orlicz: Balayage, Medidas de Riesz e Soluções Muito Fracas

Enunciado do Problema
O artigo aborda o desenvolvimento de uma teoria do potencial não linear para equações elípticas da forma $-\text{div} A(x, \nabla u) = \mu$ em um domínio limitado $\Omega \subset \mathbb{R}^n$, onde o operador $A$ exibe crescimento de Orlicz geral. O desafio central é a ausência de homogeneidade e invariância de escala. Diferentemente do cenário clássico do $p$-Laplaciano, onde $A(x, \lambda \xi) = \lambda |\lambda|^{p-2} A(x, \xi)$, os operadores considerados aqui satisfazem condições de crescimento governadas por uma função de duplicação $G$ (especificamente $A(x, \xi) \cdot \xi \approx G(|\xi|)$) sem assumir qualquer propriedade de escala. Essa falta de escala impede a aplicação direta de ferramentas clássicas da teoria do potencial não linear, tais como argumentos de reescalonamento para soluções ou potenciais capacitares, e cria uma lacuna na teoria de equivalência entre soluções variacionais (soluções renormalizadas) e objetos da teoria do potencial (funções superharmônicas) para problemas com dados de medida.

Metodologia
Para superar a falta de escala, os autores constroem um novo arcabouço livre de escala. A metodologia procede através de vários estágios interconectados:

1. Regularidade de Problemas de Obstáculo: A base é estabelecida pelo estabelecimento da regularidade de Hölder global para soluções de problemas de obstáculo sob as condições de crescimento de Orlicz geral. Este resultado é crítico, pois fornece a regularidade necessária para construir e aproximar balayagens sem depender de escala.
2. Teoria de Balayage Livre de Escala: Os autores desenvolvem uma teoria de balayage (varredura) e réduite que não depende de homogeneidade. Eles provam que a balayage de uma função em relação a um conjunto coincide com a solução de um problema de obstáculo correspondente.
3. Medidas de Riesz e Integrabilidade: Utilizando a teoria de balayage, o artigo estabelece as propriedades de integrabilidade de funções $A$-superharmônicas, especificamente mostrando que $g(|\nabla u|) \in L^1_{\text{loc}}$. Isso permite a definição de uma medida de Radon não negativa única, a medida de Riesz $\mu[u]$, associada a qualquer função $A$-superharmônica, satisfazendo a equação no sentido das distribuições.
4. Estimativas Capacitares: Os autores derivam estimativas quantitativas para as medidas de Riesz de balayages correspondentes a diferentes obstáculos constantes. Essas estimativas são usadas para provar que conjuntos $A$-polares (conjuntos onde funções superharmônicas podem explodir) têm capacidade $G$ zero.
5. Quasicontinuidade: Aproveitando as estimativas de capacidade, o artigo prova que funções $A$-superharmônicas são $G$-quasicontínuas. Esta propriedade garante que integrais contra medidas difusas sejam bem definidas independentemente do representante escolhido.
6. Prova de Equivalência: Finalmente, os autores combinam o arcabouço da teoria do potencial com argumentos de localização próximos à parte singular da medida. Eles utilizam estimativas de potencial de Wolff e a propriedade de concentração da medida singular no conjunto $\{u = \infty\}$ para preencher a lacuna entre a formulação distributiva e a formulação renormalizada.

Principais Contribuições e Resultados
O artigo apresenta os seguintes resultados principais:

• Teorema 1.3 (Negligibilidade Capacitara): Todo conjunto $A$-polar tem capacidade $G$ zero. Isso estende um princípio fundamental da teoria do potencial não linear para o cenário de Orlicz não homogêneo.
• Teorema 1.4 (Quasicontinuidade): Se $u$ é uma função $A$-superharmônica, então $u$ é $G$-quasicontínua em $\Omega$.
• Teorema 1.6 (Existência de Representante): Toda solução renormalizada ao problema de dados de medida admite um representante $A$-superharmônico que coincide com a solução quase em toda parte.
• Teorema 1.7 (Estrutura Renormalizada): Toda função $A$-superharmônica $u$ é uma solução renormalizada para a equação com dado igual à sua medida de Riesz $\mu[u]$.
• Equivalência Principal: Consequentemente, as classes de funções $A$-superharmônicas e soluções renormalizadas coincidem (até a escolha do representante semicontínuo inferior).

Significância e Alegações
O artigo alega fornecer a primeira teoria do potencial livre de escala para equações elípticas com crescimento de Orlicz geral. Sua principal significância reside na extensão da teoria de equivalência clássica entre funções superharmônicas e soluções renormalizadas — anteriormente estabelecida apenas no cenário homogêneo de crescimento $p$ — para o arcabouço de Orlicz geral.

Os autores enfatizam que este resultado é novo mesmo para operadores de crescimento de potência ($G(t) = t^p/p$) quando a suposição de homogeneidade (1.2) é descartada. No cenário clássico, a equivalência dependia fortemente de argumentos de escala e da negligibilidade capacitara de conjuntos polares derivados da teoria do potencial homogênea. Ao desenvolver ferramentas que não requerem invariância de escala, os autores estabelecem um "contraparte genuinamente livre de escala" para a teoria de equivalência clássica.

O arcabouço desenvolvido, incluindo a teoria de balayage, a análise da medida de Riesz e as estimativas de capacidade, é apresentado não apenas como um meio de provar a equivalência, mas também como uma teoria do potencial não linear autossuficiente de interesse independente. Destina-se a servir como base para o estudo posterior das propriedades finas das soluções e problemas de dados de medida em configurações não homogêneas. O artigo não propõe novas aplicações ou propostas experimentais, mas foca estritamente no desenvolvimento teórico e no estabelecimento rigoroso dessas equivalências.