Gradient higher integrability for degenerate parabolic double phase systems with two modulating coefficients

1. Formulação do Problema

O artigo investiga a regularidade de soluções fracas para sistemas parabólicos degenerados de fase dupla envolvendo dois coeficientes moduladores. O sistema é dado por:
$$u_t - \text{div} \left( a(z)|Du|^{p-2}Du + b(z)|Du|^{q-2}Du \right) = -\text{div} \left( a(z)|F|^{p-2}F + b(z)|F|^{q-2}F \right)$$
em um cilindro espaço-temporal $\Omega_T = \Omega \times (0, T)$, onde:

• $2 \le p \le q < \infty$.
• $a(z)$ e $b(z)$ são coeficientes moduladores não negativos.
• Hipóteses Principais:
  • $a(z)$ é uniformemente contínua.
  • $b(z)$ é Hölder contínua ($C^{\alpha, \alpha/2}$).
  • A soma dos coeficientes é limitada inferiormente: $a(z) + b(z) \ge \delta > 0$ (impedindo o desaparecimento simultâneo).
  • Os expoentes satisfazem a condição de crescimento padrão para problemas de fase dupla: $q \le p + \frac{2\alpha}{n+2}$.

O objetivo principal é estabelecer a integrabilidade superior local do gradiente espacial $Du$. Especificamente, os autores visam provar que, se o termo fonte $F$ e o gradiente $Du$ possuem integrabilidade relacionada à densidade de energia $H(z, \xi) = a(z)|\xi|^p + b(z)|\xi|^q$, então $Du$ possui, na verdade, integrabilidade superior (isto é, $H(z, |Du|) \in L^{1+\varepsilon}_{loc}$).

2. Metodologia

Os autores empregam uma abordagem sofisticada de geometria intrínseca combinada com uma estratégia de separação de fases. Esta é uma significativa divergência em relação a trabalhos anteriores sobre sistemas com um único coeficiente modulador.

A. Geometria Intrínseca

O sistema exibe comportamentos de crescimento diferentes dependendo da magnitude relativa dos coeficientes $a(z)$ e $b(z)$. Para lidar com isso, os autores definem três tipos de cilindros intrínsecos escalonados por um parâmetro $\lambda \ge 1$:

1. Cilindros $p$-intrínsecos ($Q_{\rho, \lambda}$): Onde o termo de crescimento $p$ domina ($a(z)\lambda^p \gtrsim b(z)\lambda^q$). O escalonamento temporal é $\sim \lambda^{2-p}$.
2. Cilindros $q$-intrínsecos ($J_{\rho, \lambda}$): Onde o termo de crescimento $q$ domina ($b(z)\lambda^q \gtrsim a(z)\lambda^p$). O escalonamento temporal é $\sim \lambda^{2-q}$.
3. Cilindros $(p, q)$-intrínsecos ($G_{\rho, \lambda}$): Onde ambos os termos são comparáveis. O escalonamento temporal é determinado pela soma $\Lambda = a(z)\lambda^p + b(z)\lambda^q$.

B. Separação de Fases e Esquema de Comparação

A novidade central reside no delicado esquema de comparação utilizado para separar as fases. Diferentemente de estudos elípticos anteriores ou parabólicos de coeficiente único, a presença de dois coeficientes e a natureza parabólica criam nove casos distintos baseados no tamanho de $a(z)$ e $b(z)$ dentro dos cilindros intrínsecos:

• Fase $p$: $a(z)$ é grande, $b(z)$ é pequena.
• Fase $q$: $b(z)$ é grande, $a(z)$ é pequena.
• Fase $(p, q)$: Ambos os coeficientes são significativos.

Os autores devem lidar cuidadosamente com a transição entre essas fases, garantindo que os parâmetros de escalonamento intrínseco ($\lambda$) e os raios dos cilindros sejam escolhidos consistentemente para satisfazer as necessárias desigualdades de Hölder reversas.

C. Passos Técnicos Chave

1. Estimativas de Energia: Derivação de desigualdades do tipo Caccioppoli adaptadas à estrutura de fase dupla.
2. Desigualdades de Hölder Reversas: Prova dessas desigualdades separadamente para cada uma das três fases ($p$, $q$ e mista). Isso envolve estimativas intrincadas usando a continuidade de $a(z)$ e a continuidade Hölder de $b(z)$ para controlar os "termos cruzados" onde um coeficiente é pequeno, mas não nulo.
3. Argumento de Tempo de Parada: Um argumento refinado é utilizado para selecionar o raio intrínseco apropriado para qualquer ponto no conjunto de superníveis do gradiente. Isso garante que o ponto caia em uma das três fases definidas.
4. Lema de Cobertura de Vitali: Um lema de cobertura generalizado é construído para lidar com as nove combinações possíveis de cilindros intrínsecos (por exemplo, um cilindro $p$ cobrindo um cilindro $q$, etc.). Os autores provam que os fatores de escalonamento $\lambda$ são comparáveis entre cilindros que se intersectam, permitindo um argumento de cobertura unificado.
5. Lema de Gehring: O passo final combina as desigualdades de Hölder reversas com o lema de cobertura e o teorema de Fubini para elevar a integrabilidade de $L^1$ para $L^{1+\varepsilon}$.

3. Contribuições Principais

• Primeiro Resultado Parabólico para Dois Coeficientes: Este é o primeiro resultado de regularidade para sistemas parabólicos de fase dupla com dois coeficientes moduladores. Resultados anteriores limitavam-se ao caso elíptico ou a casos parabólicos com apenas um coeficiente (por exemplo, $a(z) \equiv 1$).
• Geometria Intrínseca Unificada: O artigo estende com sucesso o método de geometria intrínseca a um sistema onde a fase dominante pode alternar entre $p$ e $q$ (ou ser mista) dependendo dos valores locais de dois coeficientes distintos.
• Tratamento da Continuidade Uniforme: Os autores relaxam o requisito de regularidade em $a(z)$ para continuidade uniforme (em vez de continuidade Hölder), o que é uma hipótese mais geral e tecnicamente desafiadora no contexto de problemas de fase dupla.
• Análise de Nove Casos: O tratamento rigoroso dos nove casos geométricos distintos decorrentes da interação dos dois coeficientes e das três fases intrínsecas representa um avanço técnico significativo sobre a literatura existente.

4. Resultados Principais

O teorema principal (Teorema 1.1) estabelece a integrabilidade superior local do gradiente. Especificamente, para uma solução fraca $u$, existem constantes $\varepsilon_0 > 0$ e $c \ge 1$ tais que, para qualquer cilindro $Q_{2r}(z_0) \subset \Omega_T$:

$$\iint_{Q_r(z_0)} H_1(z, |Du|)^{1+\varepsilon} \, dz \le c \left( \iint_{Q_{2r}(z_0)} H_1(z, |Du|) \, dz \right)^{1 + \frac{\varepsilon q}{2}} + c \left( \iint_{Q_{2r}(z_0)} H_1(z, |F|)^{1+\varepsilon} \, dz \right)^{\frac{q}{2}}$$

onde $H_1(z, \kappa) = a(z)\kappa^p + b(z)\kappa^q + 1$ e $\varepsilon \in (0, \varepsilon_0)$.

Este resultado implica que o gradiente $Du$ pertence a um espaço de Lebesgue superior ao inicialmente assumido, o que é um passo crucial para provar propriedades de regularidade adicionais, como continuidade Hölder ou estimativas de Calderón-Zygmund.

5. Significado

• Modelagem de Materiais Anisotrópicos: Sistemas de fase dupla modelam materiais com propriedades fortemente anisotrópicas (por exemplo, compósitos com diferentes comportamentos de endurecimento). A inclusão de dois coeficientes moduladores fornece um quadro mais realista para tais materiais do que modelos de coeficiente único.
• Fundação Teórica: Ao estabelecer a integrabilidade superior, este trabalho estabelece a base necessária para pesquisas futuras sobre regularidade parcial (continuidade Hölder) e estimativas de Calderón-Zygmund para sistemas parabólicos de fase dupla com dois coeficientes.
• Avance Metodológico: As técnicas desenvolvidas, particularmente o tratamento da fase "mista" e a cobertura de Vitali de nove casos, fornecem um conjunto de ferramentas robusto para analisar outros sistemas parabólicos degenerados com condições de crescimento não padrão.

Em resumo, este artigo resolve um problema aberto importante na teoria da regularidade de EDPs parabólicas ao adaptar com sucesso métodos de escalonamento intrínseco ao ambiente complexo e multifásico criado por dois coeficientes moduladores.