On the interplay between $(p,q)$-growth and $x$-dependence of the energy integrand: a limit case

Resumo Técnico: Regularidade Lipschitz Local em Limites de Crescimento (p, q)

1. O Problema Investigado

O artigo foca na regularidade local de minimizadores de funcionais integrais não autônomos da forma:
$$\int_{\Omega} F(x, Dz) \, dx$$
onde $\Omega \subset \mathbb{R}^n$ ($n \geq 2$) é um conjunto aberto limitado. A densidade de energia $F(x, \xi)$ satisfaz condições de crescimento do tipo (p, q) em relação à variável gradiente $\xi$, e possui dependência em $x$ que pertence a uma classe de regularidade específica (Sobolev/Orlicz-Zygmund).

O problema central é estabelecer a regularidade Lipschitz local ($u \in W^{1,\infty}_{loc}$) dos minimizadores sob condições de crescimento não padrão, onde $1 < p \leq q$. Historicamente, a regularidade exige que os expoentes $p$ e $q$ estejam suficientemente próximos. A condição clássica (estabelecida em trabalhos anteriores como [12]) para garantir essa regularidade, quando a dependência em $x$ pertence a $W^{1,r}$ com $r > n$, é a desigualdade estrita:
$$\frac{q}{p} < 1 + \frac{1}{n} - \frac{1}{r}$$

O objetivo deste trabalho é investigar o caso limite onde a igualdade ocorre:
$$\frac{q}{p} = 1 + \frac{1}{n} - \frac{1}{r}$$
Além disso, o artigo aborda o caso onde $r \to n$ (o que implica $q \to p$), recuperando resultados para crescimento padrão com coeficientes de baixa regularidade.

2. Metodologia e Hipóteses

Os autores assumem que $F(x, \xi)$ é uma função de Carathéodory de classe $C^2$ em $\xi$, satisfazendo:

• Crescimento (p, q) e Elaticidade: Desigualdades de coercividade e crescimento limitadas por potências de $(\mu^2 + |\xi|^2)$.
• Dependência em x: A derivada parcial $F_{\xi x}$ é controlada por uma função $h(x)$ tal que $h \in L^{r} \log^{\alpha} L$ (espaço de Orlicz-Zygmund), ou seja, satisfaz:
  $$\int h^r \log^{\alpha}(e+h) \, dx < +\infty$$
  com $r \geq n$ e $\alpha \geq 0$.

Estratégia de Prova:
A prova segue uma abordagem unificada em três etapas principais:

1. Estimativa a priori: Derivação de uma desigualdade do tipo Caccioppoli de segunda ordem para minimizadores suaves. Esta é a etapa mais crítica e original, onde a interação entre a regularidade dos coeficientes ($h(x)$) e a taxa de crescimento da razão de elaticidade é analisada.
2. Aproximação: Construção de uma sequência de funcionais regulares $F_k$ e $F_{\varepsilon, k}$ (via regularização e aproximação monótona) que possuem minimizadores suaves únicos ($u_h$).
3. Passagem ao Limite: Aplicação da estimativa a priori aos minimizadores aproximados e demonstração de que a sequência converge para um minimizador do funcional original, preservando a regularidade Lipschitz.

O núcleo da inovação reside na Etapa 1, onde os autores mostram que a regularidade extra dos coeficientes (na classe $W^{1,n} \log^\alpha L$) compensa a taxa de crescimento no infinito da razão de elaticidade, permitindo tratar o caso de igualdade.

3. Principais Resultados (Teoremas)

Os autores estabelecem a regularidade Lipschitz local ($u \in W^{1,\infty}_{loc}(\Omega)$) para três cenários distintos, fornecendo estimativas explícitas para a norma $L^\infty$ do gradiente:

• Teorema 1.2 (Caso Limite com Igualdade):
  Assume-se $r > n$ e $\alpha > 0$ com a igualdade $\frac{q}{p} = 1 + \frac{1}{n} - \frac{1}{r}$.

  • Resultado: O minimizador é Lipschitz contínuo.
  • Estimativa: A norma do gradiente é controlada por uma função exponencial do tipo:
    $$\|Du\|_{L^\infty(B_\rho)} \leq G\left( \frac{C}{(R-\rho)^n} \int_{B_R} (1 + |Du|^p) dx \right)$$
    onde $G(t)$ envolve um termo exponencial $\exp(t^{\dots})$, refletindo a natureza crítica do caso limite.

• Teorema 1.3 (Caso Limite $r \to n$):
  Assume-se $r = n$ e $p = q$ (crescimento padrão), mas com coeficientes em $W^{1,n} \log^\alpha L$ com $\alpha > 4n$.

  • Resultado: Recupera e refina resultados de crescimento padrão, mostrando que a regularidade Lipschitz é obtida mesmo com coeficientes apenas em $W^{1,n}$, desde que o logaritmo seja suficientemente forte ($\alpha > 4n$).
  • Estimativa: Controle polinomial padrão da norma do gradiente.

• Teorema 1.4 (Caso Desigualdade Estrita):
  Assume-se $\frac{q}{p} < 1 + \frac{1}{n} - \frac{1}{r}$ com $\alpha = 0$ (caso $W^{1,r}$ clássico).

  • Resultado: Recupera o resultado conhecido de [12], confirmando que a abordagem unificada cobre também o caso não crítico.

4. Contribuições Chave

1. Resolução do Caso Limite: O trabalho fecha uma lacuna teórica importante ao provar a regularidade Lipschitz exatamente na fronteira da condição de crescimento permitida, um caso que métodos anteriores (baseados em desigualdades estritas) não conseguiam tratar.
2. Abordagem Unificada: Apresenta um único framework que engloba o caso de crescimento estrito, o caso limite com $r>n$, e o caso de crescimento padrão com coeficientes de baixa regularidade ($r=n$).
3. Interplay (Interação) Coeficiente-Crescimento: Demonstra matematicamente como a regularidade dos coeficientes em $x$ (especificamente a classe $L^r \log^\alpha L$) pode "frear" o efeito negativo do crescimento não padrão $(p, q)$, permitindo a regularidade mesmo quando a razão $q/p$ atinge seu limite superior teórico.
4. Estimativas Explícitas: Fornece fórmulas precisas para a função de controle $G(t)$, que varia de polinomial (caso não crítico) a exponencial (caso crítico), detalhando a dependência nos parâmetros do problema.

5. Significância e Impacto

Este artigo é significativo para a teoria da regularidade de equações elípticas não lineares e funcionais de cálculo variacional.

• Avanço Teórico: Estende a fronteira do conhecimento sobre quando minimizadores de funcionais com crescimento não padrão são Lipschitz contínuos.
• Aplicabilidade: Os resultados são relevantes para modelos em elasticidade não linear, fluidos não newtonianos e outros fenômenos físicos onde a energia depende tanto do gradiente quanto da posição espacial de forma não uniforme.
• Refinamento de Limites: Ao tratar o caso de igualdade, o trabalho oferece uma compreensão mais profunda da "finitude" das condições de regularidade, mostrando que a barreira não é um limite rígido de inexistência de regularidade, mas sim uma mudança na taxa de crescimento da estimativa (de polinomial para exponencial).

Em suma, o paper estabelece que, mesmo no cenário mais desafiador onde a razão de crescimento atinge seu limite teórico imposto pela regularidade dos coeficientes, a regularidade Lipschitz local ainda pode ser garantida, desde que se considere a estrutura precisa da dependência em $x$ através de espaços de Orlicz-Zygmund.