Counterexamples to maximal regularity for operators in divergence form

Resumo Técnico: Contraexemplos para Regularidade Máxima para Operadores em Forma de Divergência

Enunciado do Problema
Este artigo aborda duas questões fundamentais relativas à regularidade de soluções de equações diferenciais parciais (EDPs) parabólicas em forma de divergência com coeficientes dependentes do tempo. Os autores consideram o problema de Cauchy abstrato (CP):
\begin(cases} u' - Au = f, & \text{em } (0, 1), \\ u(0) = 0, \end{cases}
onde $A(t)$ é uma família mensurável fortemente de operadores mapeando um espaço de Hilbert $V$ para seu dual $V^*$, satisfazendo condições de coercividade e limitação. Especificamente, os autores focam no cenário concreto onde $H = L^2(\mathbb{R}^d)$, $V = H^1(\mathbb{R}^d)$, e $A(t)v = -\text{div}(B(t)\nabla v)$, sendo $B$ um campo de matriz uniformemente elíptico.

O estudo investiga dois problemas específicos de regularidade:

1. Problema 1 (Regularidade Máxima $L^p$ em $V$): Para $p \in (1, \infty) \setminus \{2\}$, a condição $f \in L^p(0, 1; V^*)$ implica que a solução fraca única $u$ pertence a $L^p(0, 1; V)$?
2. Problema 2 (Regularidade Máxima $L^2$ em $H$): A condição $f \in L^2(0, 1; H)$ implica que a derivada temporal da solução satisfaz $u' \in L^2(0, 1; H)$?

Embora a teoria de Lions garanta uma solução fraca única em $L^2(0, 1; V) \cap H^1(0, 1; V^*)$ sob apenas coercividade, e resultados positivos existam para operadores autônomos ou operadores com regularidade temporal suficiente (por exemplo, continuidade ou continuidade de Hölder), o comportamento para coeficientes gerais dependentes do tempo sem tais suposições de regularidade permanece em aberto. Contraexemplos anteriores de Dier e Fackler foram abstratos e não operadores diferenciais. Este artigo visa construir contraexemplos que sejam operadores diferenciais genuínos.

Metodologia
A abordagem dos autores baseia-se em uma construção específica de soluções para EDPs lineares, uniformemente parabólicas com coeficientes complexos, originalmente desenvolvida pelo segundo autor nomeado em [19]. A metodologia procede da seguinte forma:

1. Construção por Simetria de Escalonamento: Os autores utilizam um ansatz autossimilar para a solução $\zeta(t, x)$ e a matriz de coeficientes $B(t, x)$:
   $$\zeta(t, x) = (1-t)^{-\mu/2} e^{-i \log(1-t)/2} w\left(\frac{x}{(1-t)^{1/2}}\right), \quad B(t, x) = a\left(\frac{x}{(1-t)^{1/2}}\right).$$
   Isso reduz a EDP parabólica a uma EDP elíptica para a função de perfil $w$ e o campo de coeficientes $a$ em $\mathbb{R}^d$.

2. Existência de Perfis Singulares: Citando [19], os autores observam que, para qualquer parâmetro $\mu \in [0, d/2)$, existem coeficientes $a$ uniformemente elípticos suaves (longe da origem) e soluções $w$ tais que $w$ é localmente Lipschitz, mas exibe taxas de decaimento específicas no infinito ($|x|^{-\mu}$). Crucialmente, a parte imaginária de $B$ é escolhida para ser simétrica, permitindo um forte acoplamento entre as partes real e imaginária da equação sem violar a condição de elipticidade.

3. Localização e Geração de Contraexemplos: Para adaptar essas soluções globais ao intervalo de tempo limitado $(0, 1)$ e ao cenário específico, os autores introduzem uma função de corte suave $\eta$. Eles definem um novo candidato a solução $u(t, x) = t \zeta(t, x) \eta(x)$ e derivam o termo de forçamento correspondente $f$.

4. Análise de Regularidade: O núcleo da prova envolve a estimativa da integrabilidade de $u$ e $f$. Ao selecionar cuidadosamente os parâmetros $\mu$, $r$ e $s$, os autores demonstram que, embora $f$ possua alta regularidade (por exemplo, $f \in L^\infty(0, 1; L^2)$), a solução $u$ falha em pertencer a espaços de norma mista $L^r(0, 1; L^s(\mathbb{R}^d))$.

5. Dualidade e Interpolação:

   • Para o Problema 1 com $p > 2$, a falha da integrabilidade $L^r(L^s)$ implica diretamente a falha da regularidade $L^p(0, 1; H^1)$ via imersão de Sobolev.
   • Para o Problema 1 com $p < 2$, um argumento de dualidade é empregado. Assumir que a regularidade máxima ocorre para $p$ levaria a uma contradição com a falha conhecida para o expoente dual $p'$.
   • Para o Problema 2, interpolação complexa e teoremas de imersão de Sobolev são usados para mostrar que, se $u$ possuísse a regularidade temporal necessária ($H^\nu$), ela necessariamente pertenceria ao espaço $L^r(L^s)$, o qual já foi provado falso.

Principais Contribuições e Resultados

• Teorema 2.4 (Falha de Maior Integrabilidade): Para dimensões $d \ge 2$ e expoentes $r, s \in (1, \infty)$ satisfazendo $\frac{2}{r} + \frac{d}{s} < \frac{d}{2}$, existe uma matriz elíptica $B$ e um termo de forçamento $f \in L^\infty(0, 1; L^2)$ tal que a solução única $u$ da equação em forma de divergência não está em $L^r(0, 1; L^s)$.
• Teorema 2.5 (Falha da Regularidade Máxima $L^p$ para o Problema 1): Para todo $p \in (1, \infty) \setminus \{2\}$, existe um operador elíptico em forma de divergência e um termo de forçamento $f \in L^p(0, 1; H^{-1})$ tal que a solução $u$ não pertence a $L^p(0, 1; H^1)$. Isso demonstra que o resultado positivo do Teorema 2.2 (que garante regularidade para $p$ em uma pequena vizinhança de 2) é nítido e não pode ser estendido para todo o intervalo $(1, \infty)$ sem suposições adicionais sobre a regularidade temporal dos coeficientes.
• Teorema 2.7 (Falha da Regularidade Máxima $L^2$ para o Problema 2): Para todo $\nu \in (1/2, 1]$, existe um operador elíptico e um forçamento $f \in L^\infty(0, 1; L^2)$ tal que a solução $u$ não está no espaço de Sobolev fracionário $H^\nu(0, 1; L^2)$. Isso fornece uma resposta negativa ao problema de Lions para operadores elípticos gerais em forma de divergência, mostrando que a solução pode falhar em ter até mesmo regularidade temporal de ordem $1/2$ em $L^2$.

Significância e Alegações
O artigo afirma resolver a questão de se a regularidade máxima ocorre para operadores gerais dependentes do tempo em forma de divergência, fornecendo contraexemplos explícitos que são operadores diferenciais, em vez de operadores abstratos.

• Nitidez da Teoria Existente: Os resultados confirmam que o pequeno intervalo de $p$ para o qual a regularidade máxima $L^p$ ocorre (Teorema 2.2) é ótimo e não pode ser estendido para todo o intervalo $(1, \infty)$ sem suposições adicionais sobre a regularidade temporal dos coeficientes.
• Limitações da Estrutura em Forma de Divergência: Diferente do problema da raiz quadrada de Kato, onde a estrutura diferencial forneceu resultados positivos, este trabalho mostra que a estrutura de forma de divergência sozinha é insuficiente para garantir a regularidade máxima quando os coeficientes carecem de continuidade temporal.
• Regularidade dos Coeficientes: Os autores observam que seus contraexemplos dependem de coeficientes $B$ que não são contínuos no tempo (especificamente, não são contínuos como mapas para $L^\infty$). Eles afirmam explicitamente que encontrar um contraexemplo para o Problema 2 com coeficientes de Hölder contínuos (especificamente para $\nu=1$) permanece um problema aberto e interessante, já que resultados positivos existem para coeficientes com um pouco mais de regularidade (por exemplo, $C^{1/2+\epsilon}$).

O artigo conclui reconhecendo questões em aberto, incluindo o caso de operadores simétricos/hermitianos e o cenário unidimensional ($d=1$), onde o comportamento pode diferir.