Global Calderon-Zygmund estimates for irregular double-phase evolution problem with non-divergence data

Resumo Técnico: Estimativas Globais de Calderón-Zygmund para Problemas de Evolução de Fase Dupla Irregular com Dados em Forma Não Divergente

Formulação do Problema
Este trabalho investiga a existência e a regularidade global de soluções fortes para uma classe de equações parabólicas de fase dupla irregular com dados não divergentes. O problema é definido em um domínio limitado $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) sobre um intervalo de tempo $(0, T)$, denotado por $Q_T = \Omega \times (0, T)$:

$$\begin{cases} u_t - \text{div} \left( F(z, \nabla u) \nabla u \right) = f(z), & z = (x, t) \in Q_T, \\ u = 0, & \text{em } \partial\Omega \times (0, T), \\ u(x, 0) = u_0(x), & \text{em } \Omega, \end{cases}$$

onde a função de fluxo é dada por $F(z, \xi) = a(z)|\xi|^{p(z)-2} + b(z)|\xi|^{q(z)-2}$. Os expoentes $p(z)$ e $q(z)$ são variáveis e Lipschitz contínuos, enquanto os coeficientes moduladores não negativos $a(z)$ e $b(z)$ satisfazem a condição $a(z) + b(z) > 0$. O problema é caracterizado por uma estrutura de crescimento heterogênea: em regiões onde ambos os coeficientes são positivos, o fluxo exibe crescimento misto governado por ambos os expoentes, enquanto em regiões onde um deles se anula, o modelo reduz-se a uma fase única. Assume-se que o dado $f$ esteja em $L^\sigma(Q_T)$ com $\sigma > 2$, representando um termo de forçamento em forma não divergente.

Metodologia
Os autores empregam uma abordagem de regularização combinada com estimativas globais de integrabilidade superior e análise de regularidade de segunda ordem. A metodologia procede em várias etapas:

1. Regularização: O problema original é aproximado por uma família de problemas regularizados com dados suaves e um fluxo regularizado $F_\epsilon(z, \nabla u)$, onde a singularidade em $\nabla u = 0$ é tratada pela introdução de um parâmetro $\epsilon \in (0, 1)$. Soluções clássicas para esses problemas regularizados são estabelecidas.
2. Estimativas A Priori: O núcleo da análise envolve a derivação de estimativas uniformes independentes do parâmetro de regularização $\epsilon$. Isso é alcançado através de:
   • Multiplicação da equação regularizada por funções de teste específicas envolvendo a derivada temporal e derivadas espaciais de segunda ordem.
   • Utilização da fórmula de Green para lidar com integrais de contorno, as quais são estimadas usando a geometria do domínio e a regularidade dos coeficientes.
   • Estabelecimento de desigualdades de interpolação e estimativas pontuais para a matriz Hessiana da solução.
   • Aplicação das desigualdades de Hölder e Young para gerenciar os expoentes variáveis e o termo não divergente $f$.
3. Tratamento de Dados Não Divergentes: Um desafio técnico significativo abordado é a presença de dados não divergentes ($f$ não está em forma divergente). Ao contrário do caso elíptico, equações parabólicas não permitem a redução à forma divergente via regularidade do tipo Bogovskiĭ. Os autores desenvolvem estimativas específicas para transferir a integrabilidade de $f$ diretamente para os termos de gradiente e fluxo.
4. Passagem ao Limite: Utilizando as estimativas uniformes, argumentos de compacidade (incluindo o teorema de convergência de Vitali e propriedades de espaços de Musielak-Orlicz-Sobolev), bem como a convergência pontual dos gradientes, os autores passam ao limite quando $\epsilon \to 0$ e conforme as sequências de dados aproximantes convergem para os dados originais.

Principais Contribuições e Resultados
O artigo estende resultados anteriores sobre problemas de fase dupla (especificamente aqueles em [1]) para todo o intervalo de parâmetros de integrabilidade $r \ge 0$ e fortalece as conclusões de regularidade. Os principais resultados são resumidos como:

• Existência e Unicidade: Sob condições adequadas de lacuna (gap) nos expoentes variáveis $p(z)$ e $q(z)$ e suposições de regularidade nos coeficientes $a(z)$ e $b(z)$, o problema admite uma solução forte única $u$.
• Transferência Global de Integrabilidade (Teoria de Calderón-Zygmund): A solução herda a integrabilidade dos dados iniciais e do termo de forçamento. Especificamente, se os dados iniciais satisfazem uma condição de integrabilidade ponderada envolvendo $r$, e $f \in L^\sigma(Q_T)$, então o fluxo de fase dupla mantém essa integrabilidade globalmente no tempo.
• Integrabilidade Superior do Gradiente: O gradiente da solução exibe propriedades de auto-melhoria. Para qualquer $s \in (0, \frac{4}{N+2})$, o gradiente satisfaz:
  $$|\nabla u|^{2(\min\{p(z), q(z)\}-1)+r+s} \in L^1(Q_T).$$
  Isso indica que o gradiente possui uma integrabilidade superior à sugerida pelo espaço de energia natural.
• Regularidade de Segunda Ordem: A solução possui regularidade espacial de segunda ordem aprimorada. Os autores provam que:
  $$F((\cdot, t), \nabla u(\cdot, t))|\nabla u(\cdot, t)|^{r+2} \in L^1(\Omega) \quad \text{para quase todo } t \in (0, T),$$
  e
  $$F(z, \nabla u)|\nabla u|^{\frac{r+2}{2}} \in L^2(0, T; W^{1,2}(\Omega)).$$
  Isso implica que o fluxo ponderado pertence a um espaço de Sobolev em relação às variáveis espaciais.

Significância e Escopo
O artigo afirma abordar uma lacuna na literatura referente a equações de fase dupla parabólicas com dados não divergentes. Embora estimativas do tipo Calderón-Zygmund para tais equações com dados em forma divergente ou no cenário elíptico estejam estabelecidas (citando trabalhos de Kim, Acerbi, Mingione, etc.), resultados análogos para o caso não divergente com expoentes variáveis eram anteriormente indisponíveis.

A significância do trabalho reside em:

1. Generalização: Estender o intervalo do parâmetro de integrabilidade $r$ de $r \ge \max\{2, p_+, q_+\}$ (como em trabalhos anteriores) para o intervalo completo $r \ge 0$.
2. Dados Não Divergentes: Lidar com sucesso com a forma não divergente do termo de fonte $f$, o que requer técnicas distintas comparadas ao caso divergente.
3. Coeficientes Irregulares: Acomodar coeficientes moduladores $a(z)$ e $b(z)$ que não são necessariamente suaves, mas satisfazem condições específicas de integrabilidade $L^d$ de suas derivadas, dependendo do parâmetro de lacuna $\beta$ entre os expoentes.

Os resultados são apresentados como melhorias e complementos à teoria existente, fornecendo um arcabouço robusto para a regularidade de soluções de problemas de evolução de expoente variável e heterogêneos, que surgem na elasticidade não linear e áreas relacionadas. Os autores não propõem novas aplicações experimentais, mas forne bem a base teórica (existência e estimativas de regularidade) necessária para a análise de tais modelos.