Higher integrability for parabolic double phase equations with an improved gap bound

Resumo Técnico: Integrabilidade Superior para Equações Parabólicas de Dupla Fase com um Limite de Gap Melhorado

Enunciado do Problema
O artigo investiga a integrabilidade superior local do gradiente para soluções fracas de Hölder contínuas para a equação parabólica de dupla fase:
$$\partial_t u - \text{div}\left(|Du|^{p-2}Du + a(z)|Du|^{q-2}Du\right) = 0$$
em um cilindro espaço-temporal $\Omega_T = \Omega \times (0, T]$, onde $1 < p \le q$. O coeficiente modulador $a(z)$ é uma função não negativa que governa a transição entre o crescimento $p$ (onde $a=0$) e o crescimento $(p,q)$.

O desafio central abordado é a relação entre o gap entre os expoentes $q-p$ e a regularidade do coeficiente $a$. No cenário elíptico, sabe-se que a regularidade das soluções depende criticamente de se o gap satisfaz uma condição relacionada ao fenômeno de Lavrentiev. Os autores visam estabelecer um resultado de integrabilidade superior semelhante para o caso parabólico sob suposições relaxadas sobre o coeficiente $a$ e um limite de gap melhorado.

Metodologia
Os autores empregam um arcabouço baseado em geometria intrínseca e desigualdades de Hölder reversas, adaptado ao cenário parabólico com condições de crescimento não padrão. Os principais componentes metodológicos incluem:

1. Classe de Coeficiente Relaxada ($Z_\kappa$): Em vez de assumir $a \in C^{\alpha, \alpha/2}$, os autores trabalham com a classe $Z_\kappa(\Omega_T)$. Uma função $a$ pertence a esta classe se satisfizer uma cota pontual de um lado:
   $$a(z_1) \le c_a \left( a(z_2) + d_p(z_1, z_2)^\kappa \right)$$
   onde $d_p$ é a métrica parabólica. Esta classe acomoda coeficientes que podem desaparecer e crescer a uma taxa determinada por $\kappa$, incluindo funções não Hölder contínuas como $|x|^\kappa$.

2. Média de Steklov Inclinada (Slanted Steklov Average): Para lidar com a regularidade temporal do coeficiente $a$ sem exigir continuidade de Hölder no tempo (o que não é garantido em $Z_\kappa$ para $\kappa > 1$), os autores introduzem uma nova técnica de suavização chamada "média de Steklov inclinada". Definida como:
   $$[u]_h^R(z) = \frac{1}{h} \int_t^{t+h} u(x + (s-t)\zeta, s) \, ds$$
   Esta técnica, combinada com uma condição de quase-crescimento suave em $a$ (seja para frente ou para trás no tempo), permite a derivação de estimativas de energia e desigualdades de Caccioppoli sem as dependências circulares que surgem de métodos de truncamento Lipschitz padrão neste cenário.

3. Geometria Intrínseca e Tempo de Parada: A prova utiliza cilindros intrínsecos ($Q_{\rho, \lambda}$ para a fase $p$ e $G_{\rho, \lambda}$ para a fase $(p,q)$), onde o parâmetro de escala $\lambda$ é determinado pelo gradiente da solução. Um argumento de tempo de parada é usado para selecionar raios apropriados para estes cilindros baseados nos conjuntos de nível do integrando $H(z, |Du|) = |Du|^p + a(z)|Du|^q$.

4. Desigualdades de Hölder Reversas: O núcleo da prova envolve o estabelecimento de desigualdades de Hölder reversas tanto para a fase $p$ (onde $a$ é pequeno) quanto para a fase $(p,q)$ (onde $a$ é significativo). Estas desigualdades dependem de desigualdades de Sobolev-Poincaré parabólicas e estimativas de Gagliardo-Nirenberg adaptadas à escala intrínseca.

Principais Contribuições e Resultados

• Limite de Gap Melhorado: O principal resultado (Teorema 1.3) estabelece a integrabilidade superior para o gradiente sob a condição de gap:
  $$2 \le p \le q \le p + \frac{q\kappa}{q - 2\gamma}$$
  onde $\gamma \in [0, 1)$ é o expoente de Hölder da solução $u$ no espaço e $\gamma/q$ no tempo.

  • Os autores observam que esta condição é puramente parabólica. Ela difere do limite de gap elíptico ótimo ($q-p \le \kappa/(1-\gamma)$) e é estritamente mais rigorosa no sentido de que o gap permitido é menor quando $p \ge 2$.
  • O limite reflete a regularidade temporal da solução; os autores observam que, se a regularidade temporal pudesse ser melhorada de $\gamma/q$ para $\gamma/2$, a condição de gap elíptica seria recuperada.

• Extensão para Coeficientes $Z_\kappa$: O artigo é o primeiro a aplicar a classe $Z_\kappa$ (previamente utilizada em problemas de dupla fase elípticos) ao contexto parabólico. Isso permite o tratamento de coeficientes que não são necessariamente Hölder contínuos no tempo, desde que satisfaçam a cota de um lado e a condição de monotonicidade suave.

• Nova Técnica de Suavização: A introdução da média de Steklov inclinada fornece um mecanismo para derivar estimativas de energia sem assumir que $a$ é Hölder contínuo no tempo, superando as limitações da suavização espaço-temporal padrão quando $\kappa > 1$.

• Teorema Principal: Para uma solução fraca $u$ que é localmente $\gamma$-Hölder contínua no espaço e $\gamma/q$-Hölder contínua no tempo, existe um $\epsilon_0 > 0$ tal que para qualquer $\epsilon \in (0, \epsilon_0)$:
  $$\fint_{Q_r(z_0)} H(z, |Du|)^{1+\epsilon} \, dz \le c \left( \frac{2 + \|a\|_\infty}{r^{q-2\gamma}} \right)^{1 + \frac{\epsilon q}{2}}$$
  Isso confirma a integrabilidade superior local do gradiente no espaço Orlicz-Sobolev associado ao funcional de dupla fase.

Significância e Alegações
O artigo afirma avançar a teoria da regularidade de problemas parabólicos de elipticidade não uniforme ao:

1. Relaxar as Suposições de Regularidade: Ir além da suposição padrão $C^{\alpha, \alpha/2}$ sobre o coeficiente $a$ para a classe mais ampla $Z_\kappa$, que melhor modela materiais com variabilidade de elasticidade.
2. Refinar o Limite de Gap: Fornecer um limite de gap que é intrínseco à natureza parabólica da equação, ligando explicitamente o gap permitido entre $p$ e $q$ à regularidade de Hölder temporal da solução.
3. Inovação Metodológica: Demonstrar que a média de Steklov inclinada é uma alternativa viável ao truncamento Lipschitz para derivar estimativas de energia em cenários onde a regularidade do coeficiente é insuficiente para os métodos padrão.

Os autores declaram explicitamente que sua abordagem se estende a sistemas e ao regime singular ($p < 2$), embora o presente trabalho se restrinja a equações homogêneas escalares, pois a regularidade de Hölder para sistemas e para o caso singular ainda não foi totalmente estabelecida na literatura. Eles também observam que o limite de gap derivado pode não ser o mais agudo, uma vez que o fenômeno é governado inteiramente pela regularidade temporal no cenário parabólico.