Self-similar solutions of the three-dimensional Muskat problem with surface tension

Resumo Técnico: Soluções Autossimilares do Problema de Muskat Tridimensional com Tensão Superficial

Formulação do Problema
O artigo aborda o problema de Muskat de uma fase em três dimensões para um fluido incompressível em um meio poroso com uma fronteira superior livre sujeita à tensão superficial. A interface $\Sigma_t$ é modelada como o gráfico de uma função $\eta(t, x)$ sobre $\mathbb{R}^2$. As equações governantes combinam a lei de Darcy, incompressibilidade e uma condição de contorno dinâmica onde o salto de pressão é equilibrado pela tensão superficial $\sigma \kappa(\eta)$. Este sistema reduz-se a uma equação parabólica quasilinear de terceira ordem para a altura da interface:
$$\partial_t \eta = -\frac{\sigma}{\mu} G(\eta)\kappa(\eta),$$
onde $G(\eta)$ é o operador de Dirichlet–Neumann e $\kappa(\eta)$ é a curvatura média.

Os autores buscam soluções autossimilares emanando de dados iniciais cônicos não limitados, $\eta(0, x) = \varepsilon|x|$. Tais soluções assumem a forma $\eta_\varepsilon(t, x) = t^{1/3}U_\varepsilon(t^{-1/3}x)$, onde o perfil $U_\varepsilon$ satisfaz uma equação estacionária envolvendo um termo de dilatação não invariante por translação $x \cdot \nabla$. O desafio central é a construção dessas soluções para $\varepsilon$ pequeno quando os dados iniciais são não limitados e possuem uma singularidade na origem, situando-se fora do escopo das teorias de Cauchy de dados pequenos em espaços de Sobolev limitados ou críticos.

Metodologia e Estratégia
A prova emprega uma abordagem perturbativa, decompondo o perfil $U_\varepsilon$ em um termo linear líder e uma correção:
$$U_\varepsilon = \varepsilon u_* + v_\varepsilon,$$
onde $u_*$ é o "cone linear regularizado" definido como $u_* = e^{-\frac{\sigma}{\mu}|D|^3}|x|$. A correção $v_\varepsilon$ é buscada em um espaço de funções específico $X_r = \dot{H}^r(\mathbb{R}^2) \cap \dot{H}^{r+3}(\mathbb{R}^2)$ com $3/2 < r < 2$.

A metodologia baseia-se em três pilares técnicos primários:

1. Análise Linear do Operador de Similaridade:
   O operador linear $L = \frac{3\sigma}{\mu}|D|^3 - x \cdot \nabla + 1$ é analisado via sua transformada de Fourier ao longo de raios. Os autores constroem um inverso por raio $L^{-1}$ usando uma estimativa de Hardy ponderada. Este inverso ganha três derivadas em altas frequências enquanto preserva a estrutura de baixa frequência cônica, permitindo a inversão da equação do perfil módulo constantes.

2. Cancelamento Quadrático Favorável:
   Uma dificuldade crítica no tratamento da não linearidade $G(\eta)\kappa(\eta)$ com dados não limitados é o comportamento do termo quadrático. Os autores identificam um cancelamento algébrico específico no símbolo da forma bilinear $B(f, g) = \frac{1}{2}(D_\eta G(0)[f]\Delta g + D_\eta G(0)[g]\Delta f)$. Na região de interação de frequências "alta–alta-para-baixa" (onde as frequências de entrada são grandes, mas a frequência de saída é pequena), o símbolo satisfaz a estimativa $|b(\alpha, \beta)| \lesssim |\alpha+\beta||\beta|^3$. Este ganho extra na frequência de saída garante a convergência da soma de baixa frequência homogênea, que de outra forma divergiria para dados cônicos.

3. Estimativas de Dirichlet–Neumann Adaptadas ao Cone de Ordem Finita:
   As estimativas padrão de Dirichlet–Neumann falham para gráficos não limitados porque normas de Sobolev elevadas não controlam a energia de baixa frequência. Os autores introduzem normas de meio espaço mistas ($X_r$ e $Y_r$) que impõem pesos de Sobolev elevados apenas em frequências horizontais positivas. Eles estabelecem estimativas tênues para o operador de Dirichlet–Neumann e suas derivadas de forma e para seus espaços, provando que o operador é $C^3$ em uma vizinhança do perfil cônico. Isso permite o controle dos termos residuais cúbicos na expansão não linear.

Principais Resultados
O artigo estabelece o seguinte teorema principal (Teorema 1.3):

• Existência: Para $\varepsilon$ suficientemente pequeno, existe uma solução autossimilar $\eta_\varepsilon(t, x) = t^{1/3}U_\varepsilon(t^{-1/3}x)$ para o problema de Muskat com tensão superficial.
• Estrutura do Perfil: O perfil $U_\varepsilon$ é uma perturbação do cone regularizado: $U_\varepsilon = \varepsilon u_* + v_\varepsilon$, onde a correção $v_\varepsilon$ satisfaz $\|v_\varepsilon\|_{X_r} \leq C \varepsilon^2$.
• Expansão de Segunda Ordem: Os autores identificam a correção quadrática líder $v^{(2)} = \frac{3\sigma}{\mu} L^{-1} B(u_*, u_*)$. A solução admite a expansão $U_\varepsilon = \varepsilon u_* + \varepsilon^2 v^{(2)} + O_{X_r}(|\varepsilon|^3)$ conforme $\varepsilon \to 0$.
• Traço Inicial e Regularização: A solução atinge o traço inicial $\eta_\varepsilon(0, x) = \varepsilon|x|$ uniformemente de forma local. Apesar da singularidade cônica em $t=0$, a solução é instantaneamente suavizada para qualquer $t > 0$; o perfil $U_\varepsilon$ é $C^1$, e a singularidade é "arredondada" em uma escala espacial de $O(t^{1/3})$.

Significância e Alegações
O artigo afirma fornecer a primeira construção de soluções autossimilares para o problema de Muskat tridimensional com tensão superficial emanando de dados iniciais cônicos exatos. A significância reside em superar as limitações da teoria de Cauchy padrão, que tipicamente requer dados iniciais limitados ou de Sobolev críticos. Ao separar o componente cônico não limitado e utilizar um espaço de funções especializado adaptado à geometria do problema, os autores demonstram que o cone singular é instantaneamente regularizado pela tensão superficial.

O trabalho estende resultados anteriores para problemas de Muskat movidos pela gravidade (onde o operador principal é de primeira ordem) para o caso da tensão superficial (operador de terceira ordem). Os autores observam que, embora o cancelamento algébrico utilizado seja independente da dimensão, a escolha específica das normas de Sobolev e o intervalo do parâmetro $r$ dependem da dimensão espacial. O artigo conclui que a singularidade cônica não é uma barreira para a bem-postura no regime autossimilar, desde que o cone inicial seja suficientemente pequeno.