Self-Similar Solutions of the Two-Dimensional Incompressible Euler Equation from Large Initial Data

Resumo Técnico: Soluções Autossimilares da Equação de Euler Incompressível Bidimensional a partir de Dados Iniciais Grandes

Enunciado do Problema
O artigo aborda a construção de soluções autossimilares para o futuro para as equações de Euler incompressível bidimensional:
$$\partial_t u + u \cdot \nabla u + \nabla p = 0, \quad \text{div } u = 0$$
em $\mathbb{R}^2 \times (0, \infty)$. O estudo foca em dados iniciais $u_0$ que são $C^1$, livre de divergência e $(-a)$-homogêneos, onde o parâmetro de escala satisfaz $1/3 < a < 1$. Especificamente, a velocidade inicial assume a forma $u_0(x) = |x|^{-a}u_0(x/|x|)$.

O desafio central é estabelecer a existência de uma solução fraca global $u(t,x)$ que preserve esta estrutura autossimilar:
$$u(t, x) = t^{-\frac{a}{1+a}} U\left( \frac{x}{t^{\frac{1}{1+a}}} \right)$$
sem impor condições de pequenez aos dados iniciais ou restrições de sinal na vorticidade. Este problema situa-se na interseção da teoria de existência, formação de singularidades e o potencial de não-unicidade de soluções fracas. Embora soluções autossimilares para as equações de Navier-Stokes (tanto 2D quanto 3D) tenham sido construídas para dados grandes, o caso de Euler (viscosidade zero) apresenta dificuldades distintas, particularmente devido à falta de dissipação para controlar a vorticidade e à natureza crítica da escala.

Metodologia
A construção procede via um limite de dissipação evanescente de perfis hipodissipativos. Os autores introduzem um termo de dissipação fracionária $\epsilon \Lambda^{1+a}$ (onde $\Lambda = (-\Delta)^{1/2}$) e consideram a equação regularizada:
$$\epsilon \Lambda^{1+a} U_\epsilon - \frac{1}{1+a}(a U_\epsilon + y \cdot \nabla U_\epsilon) + U_\epsilon \cdot \nabla U_\epsilon + \nabla P_\epsilon = 0$$
A estratégia envolve três etapas principais:

1. Existência de Perfis Hipodissipativos: Para qualquer $\epsilon > 0$ fixo, a existência de um perfil suave $U_\epsilon$ é estabelecida. Os autores fornecem uma prova de existência independente (baseada no trabalho de Hou e Song) utilizando um corte de campo distante livre de divergência e um esquema de Galerkin. Crucialmente, eles derivam estimativas de decaimento pontual para o perfil e suas derivadas diretamente de estimativas do núcleo de Oseen, evitando espaços de energia ponderados.
2. Estimativa de Vorticidade Crítica Uniforme: O cerne do artigo é estabelecer uma estimativa para a vorticidade $\Omega_\epsilon = \text{curl } U_\epsilon$ que seja uniforme quando $\epsilon \to 0$. Os autores definem o expoente crítico $p_c = 2/(1+a)$. Ao testar a equação da vorticidade contra a derivada da função de truncamento $(|\Omega_\epsilon| - k)_+$, eles derivam uma desigualdade diferencial para a função de distribuição da vorticidade. Isso resulta em um limite uniforme no espaço de Lorentz crítico $L^{p_c, \infty}(\mathbb{R}^2)$:
   $$\|\Omega_\epsilon\|_{L^{p_c, \infty}} \leq C(a) \|\omega_0\|_{L^{p_c}(S^1)}$$
   Esta estimativa baseia-se na divergência específica do campo de "pseudo-velocidade" $\tilde{U}_\epsilon = U_\epsilon - \frac{y}{1+a}$, que é igual a $-p_c$, permitindo um controle invariante de escala da truncagem da vorticidade.
3. Compactação e Passagem ao Limite: Utilizando os limites uniformes de Lorentz para $U_\epsilon$ e $\nabla U_\epsilon$, os autores extraem uma subsequência convergindo para um limite de perfil $(U, P)$. A convergência local forte da velocidade e a convergência fraca-* da vorticidade permitem passar ao limite nos termos não lineares. Para o intervalo $1/3 < a < 1/2$, mostra-se que o produto $U \Omega$ é localmente integrável, garantindo que a equação da vorticidade seja satisfeita no sentido das distribuições.

Resultados Principais
O teorema principal (Teorema 1.2) estabelece que, para qualquer dado inicial $(-a)$-homogêneo $C^1$ livre de divergência com $1/3 < a < 1$, existe uma solução fraca autossimilar $u(t,x)$ com as seguintes propriedades:

• Regularidade: A velocidade $u$ é contínua no tempo com valores em $L^2_{\text{loc}}(\mathbb{R}^2)$, e o gradiente $\nabla u$ pertence a $L^\infty_t L^{p_c, \infty}_x$.
• Traço Inicial: A solução converge para o dado inicial $u_0$ fortemente em $L^2_{\text{loc}}$ quando $t \to 0$. A vorticidade $\omega(t)$ converge fraca-* para $\omega_0$ em $L^{p_c, \infty}$.
• Generalidade: A construção não requer suposição de pequenez para os dados iniciais nem suposição de sinal para a vorticidade. O perfil angular $u_0$ não precisa estar próximo de um vórtice radial ou satisfazer uma condição de dominância radial, distinguindo este resultado de construções anteriores de espirais.
• Comportamento de Extremidade: O resultado é subcrítico em relação ao ponto de extremidade $a=1$. Em $a=1$, o fator favorável na identidade de truncagem da vorticidade desaparece, e o argumento não exclui medidas de concentração.

Significância e Alegações
O artigo posiciona sua contribuição dentro do contexto mais amplo da mecânica dos fluidos, especificamente em relação à não-unicidade de soluções fracas e à formação de singularidades.

• Suporte para Não-Unicidade: Os autores afirmam que a existência de perfis autossimilares arbitrariamente grandes fornece um "estado base" necessário para investigações futuras sobre cenários de instabilidade e bifurcação, que são centrais para o programa de não-unicidade (referenciando trabalhos de Jia, Šverák e outros). Embora este artigo não prove a não-unicidade em si, ele fornece a classe de soluções grandes necessária para tal análise.
• Extensão de Soluções Espirais: Diferente de construções anteriores de soluções espirais algébricas que dependiam de simetria de alta frequência ou perturbações de vórtices radiais, este trabalho lida com dados angulares $C^1$ gerais sem suposições de simetria.
• Controle Crítico: O resultado destaca que a existência global fraca pode ser alcançada com controle no espaço de Lorentz crítico $L^{p_c, \infty}$ em vez de exigir vorticidade limitada ($L^\infty$) ou vorticidade total finita. Isso estende a teoria de existência conhecida para classes de dados brutos em fluxo ideal bidimensional.

O artigo conclui observando que para $a \geq 1/2$, a equação da vorticidade é satisfeita no sentido das distribuições apenas se $U\Omega \in L^1_{\text{loc}}$, o que não é garantido pelas estimativas nesse intervalo, embora a formulação da velocidade permaneça válida. A construção é explicitamente descrita como um "limite de dissipação evanescente", distinguindo-se de métodos de construção direta.