Lipschitz regularity for parabolic fractional $p$-Laplace equations

Resumo Técnico: Regularidade Lipschitz para Equações Parabólicas do p-Laplaciano Fracionário

1. Problema Investigado

O artigo aborda a regularidade de soluções fracas locais para equações parabólicas não lineares e não locais, especificamente a equação do p-Laplaciano fracionário:
$$\partial_t u + L_K u = 0 \quad \text{em } \Omega \times I,$$
onde o operador não local é definido por:
$$L_K u(x, t) := \text{P.V.} \int_{\mathbb{R}^N} |u(x, t) - u(y, t)|^{p-2}(u(x, t) - u(y, t)) K(x-y) \, dy.$$

Condições e Hipóteses:

• Parâmetros: $1 < p < \infty$ e $s \in (0, 1)$.
• Núcleo (Kernel): $K$ é simétrico, invariante por translação e satisfaz limites de elipticidade padrão ($\lambda |z|^{-(N+sp)} \le K(z) \le \Lambda |z|^{-(N+sp)}$). Crucialmente, não se assume continuidade para $K$ (pode ser descontínuo).
• Condição de Cauda: Apenas se exige que a "cauda" da solução seja limitada no tempo ($u \in L^\infty_{loc}(I; L^{p-1}_{sp}(\mathbb{R}^N))$), uma condição mais fraca do que a continuidade temporal da cauda exigida em trabalhos anteriores.
• Regime Crítico: O foco é o caso onde $sp > p - 1$.

Objetivo: Provar que as soluções fracas são localmente Lipschitz contínuas no espaço, uniformemente no tempo, sob a condição $sp > p - 1$. Este problema permanecia em aberto tanto no caso elíptico quanto no parabólico, especialmente para $1 < p < 2$ e núcleos descontínuos.

---

2. Metodologia

O autor utiliza uma abordagem sofisticada que combina técnicas de análise não local com o método de Ishii-Lions, adaptado para o contexto parabólico e não linear.

Principais Pilares Metodológicos:

1. Decomposição do Operador e "Touching Lemma":

   • O operador $L_K$ é decomposto em uma parte local truncada ($L_{B_1}^K$, integrando apenas sobre uma bola unitária) e uma parte de cauda ($L_{B_1^c}^K$).
   • A parte de cauda é tratada como um termo de fonte limitado ($f$), eliminando a necessidade de condições de cauda rigorosas nas funções de teste.
   • É provado um Lema de Toque (Touching Lemma) (Proposição 3.8) para soluções fracas, permitindo comparar a solução $u$ com funções de teste suaves $\phi$ em pontos de máximo local, mesmo na ausência de continuidade do núcleo.

2. Redução de Escala e Normalização:

   • O problema é reduzido a uma escala normalizada em um cilindro fixo ($B_2 \times (-2, 0]$) através de mudanças de variáveis.
   • Há uma dicotomia no tratamento da normalização dependendo de $p$:
     • Para $p \ge 2$: A amplitude grande expande a escala de tempo.
     • Para $1 < p < 2$: A amplitude grande contrai a escala espacial.
   • Isso permite tratar ambos os casos dentro de um quadro unificado com normas limitadas.

3. Método de Ishii-Lions Parametrizado:

   • Em vez de usar o lema de Jensen-Ishii padrão (que gera "jets" limites), o autor trabalha com uma família parametrizada de funcionais de Ishii-Lions.
   • Define-se uma função de penalização $\Phi_\nu$ que maximiza a diferença entre a solução e um perfil de penalização em dois pontos espaciais $(x, y)$ e temporais $(t, \tau)$.
   • Perfis de Penalização:
     • Perfil Hölder: $\phi_\gamma(r) = r^\gamma$ (para bootstrap de regularidade).
     • Perfil Lipschitz: $\tilde{\phi}(r) = r + \frac{r}{\log r}$ (para o passo final de Lipschitz). Este perfil quase linear é crucial para garantir concavidade estrita e evitar singularidades no caso subquadrático ($1 < p < 2$).

4. Estimativas Integrais e Desigualdade Mestre:

   • Deriva-se uma "Desigualdade Mestre" subtraindo as desigualdades obtidas no lema de toque para os pontos de máximo.
   • O domínio de integração é decomposto geometricamente em quatro regiões ($C, D_1, D_2, D_3$) ao longo do vetor de diferença $a_\nu = x_\nu - y_\nu$.
   • Realizam-se estimativas detalhadas para cada região, explorando a cancelação de termos e a estrutura do núcleo $K$. A divergência do termo principal (proporcional a $L^{p-1}$) contra o termo de fonte limitado leva a uma contradição se a regularidade Lipschitz não for válida.

---

3. Contribuições Chave e Inovações

• Generalidade do Núcleo: O resultado vale para núcleos descontínuos e invariante por translação, alinhando-se com resultados elípticos recentes, mas sendo o primeiro para o caso parabólico nesse nível de generalidade.
• Caso Subquadrático ($1 < p < 2$): Resolve o caso $1 < p < 2$, que é tecnicamente mais difícil do que $p \ge 2$ devido à singularidade do operador em pontos onde o gradiente se anula. O método evita a necessidade de classes auxiliares de funções de teste (viscosidade) usadas em trabalhos anteriores.
• Hipótese de Cauda Mais Fraca: Remove a exigência de continuidade temporal da cauda ($u \in C_{loc}(I; L^{p-1}_{sp})$), exigindo apenas limitabilidade essencial ($u \in L^\infty_{loc}(I; L^{p-1}_{sp})$).
• Abordagem Alternativa ao Linear: No caso linear, a regularidade Lipschitz é frequentemente provada via estimativas de núcleo de calor e teoremas de Liouville. Este trabalho fornece uma rota diferente baseada puramente em métodos de comparação e penalização, evitando argumentos de "blow-up".
• Independência de Resultados Recentes: Embora independente de um trabalho recente de Jesus–Sobral–Urbano (2026) que trata o caso $p \ge 2$, este artigo cobre todo o intervalo $p > 1$ e núcleos descontínuos, oferecendo uma prova unificada.

---

4. Resultados Principais

Teorema 1.1 (Regularidade Espacial Lipschitz):
Seja $u$ uma solução fraca local da equação (1) com $sp > p - 1$. Então, $u(\cdot, t)$ é localmente Lipschitz no espaço, uniformemente no tempo.

As estimativas são dadas por:

• Para $p \ge 2$:
  $$\sup_t [u(\cdot, t)]_{C^{0,1}(B_{R/2})} \le C M_R R^{-1}$$
• Para $1 < p < 2$:
  $$\sup_t [u(\cdot, t)]_{C^{0,1}(B_{R/2})} \le C M_R^{1 + \frac{2-p}{sp}} R^{-1}$$

Onde $M_R$ depende da norma $L^\infty$ local e da cauda da solução, e $C$ depende apenas de $N, s, p, \lambda, \Lambda$.

Extensões (Seção 6):
O método é robusto e estendido para:

• Equações com termos fonte limitados ($L^\infty$).
• Operadores de ordem inferior (termos de gradiente com crescimento sublinear).
• Operadores mistos, como o $(p, q)$-Laplaciano fracionário e operadores de dupla fase não locais.

---

5. Significado e Impacto

Este trabalho representa um avanço significativo na teoria de regularidade de equações parabólicas não locais:

1. Completude Teórica: Fecha a lacuna sobre a regularidade Lipschitz para o p-Laplaciano fracionário parabólico em todo o intervalo $p > 1$, sob a condição ótima $sp > p - 1$.
2. Robustez Técnica: Demonstra que a regularidade de alta ordem (Lipschitz) pode ser obtida mesmo com núcleos descontínuos e sem assumir continuidade temporal na cauda da solução, o que é crucial para aplicações em modelos físicos onde dados podem ser apenas mensuráveis.
3. Ferramental Novo: A introdução de uma família parametrizada de funcionais de Ishii-Lions e o tratamento cuidadoso do caso subquadrático fornecem novas ferramentas para a análise de equações não lineares não locais, que podem ser aplicadas a outros problemas de regularidade (como $C^{1,\alpha}$).
4. Unificação: O trabalho unifica abordagens para casos elípticos e parabólicos, mostrando que a estrutura de "toque" e penalização é suficientemente poderosa para lidar com a dinâmica temporal sem recorrer a teoremas de Liouville complexos.

Em suma, o artigo estabelece um novo padrão de regularidade para soluções de equações de difusão não local não linear, superando limitações anteriores relacionadas à suavidade do núcleo e ao comportamento temporal dos dados.