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

Resumen Técnico: Soluciones Autosemejantes de la Ecuación de Euler Incompresible Bidimensional a partir de Datos Iniciales Grandes

Planteamiento del Problema
El artículo aborda la construcción de soluciones autosemejantes hacia adelante en el tiempo para las ecuaciones de Euler incompresibles bidimensionales:
$$\partial_t u + u \cdot \nabla u + \nabla p = 0, \quad \text{div } u = 0$$
en $\mathbb{R}^2 \times (0, \infty)$. El estudio se centra en datos iniciales $u_0$ que son $C^1$, libres de divergencia y $(-a)$-homogéneos, donde el parámetro de escala satisface $1/3 < a < 1$. Específicamente, la velocidad inicial toma la forma $u_0(x) = |x|^{-a}u_0(x/|x|)$.

El desafío central es establecer la existencia de una solución débil global $u(t,x)$ que preserve esta estructura autoseimilar:
$$u(t, x) = t^{-\frac{a}{1+a}} U\left( \frac{x}{t^{\frac{1}{1+a}}} \right)$$
sin imponer condiciones de pequeñez sobre los datos iniciales ni restricciones de signo sobre la vorticidad. Este problema se sitúa en la intersección de la teoría de existencia, la formación de singularidades y la potencial no unicidad de las soluciones débiles. Mientras que las soluciones autosemejantes para las ecuaciones de Navier-Stokes (tanto 2D como 3D) han sido construidas para datos grandes, el caso de Euler (viscosidad cero) presenta dificultades distintas, particularmente debido a la falta de disipación para controlar la vorticidad y la naturaleza crítica de la escala.

Metodología
La construcción procede mediante un límite de disipación evanescente de perfiles hipodisipativos. Los autores introducen un término de disipación fraccional $\epsilon \Lambda^{1+a}$ (donde $\Lambda = (-\Delta)^{1/2}$) y consideran la ecuación 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$$
La estrategia involucra tres pasos principales:

1. Existencia de Perfiles Hipodisipativos: Para cualquier $\epsilon > 0$ fijo, se establece la existencia de un perfil suave $U_\epsilon$. Los autores proporcionan una prueba de existencia independiente (basándose en el trabajo de Hou y Song) utilizando un corte de campo lejano libre de divergencia y un esquema de Galerkin. Crucialmente, derivan estimaciones de decaimiento puntual para el perfil y sus derivadas directamente de las estimaciones del núcleo de Oseen, evitando los espacios de energía ponderados.
2. Estimación Uniforme de la Vorticidad Crítica: El núcleo del artículo es establecer una estimación para la vorticidad $\Omega_\epsilon = \text{curl } U_\epsilon$ que sea uniforme cuando $\epsilon \to 0$. Los autores definen el exponente crítico $p_c = 2/(1+a)$. Al probar la ecuación de la vorticidad contra la derivada de la función de truncamiento $(|\Omega_\epsilon| - k)_+$, derivan una desigualdad diferencial para la función de distribución de la vorticidad. Esto produce una cota uniforme en el espacio 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 estimación depende de la divergencia específica del campo de "pseudo-velocidad" $\tilde{U}_\epsilon = U_\epsilon - \frac{y}{1+a}$, la cual es igual a $-p_c$, permitiendo un control invariante de escala de la truncación de la vorticidad.
3. Compacidad y Paso al Límite: Utilizando las cotas uniformes de Lorentz para $U_\epsilon$ y $\nabla U_\epsilon$, los autores extraen una subsucesión que converge a un perfil límite $(U, P)$. La convergencia fuerte local de la velocidad y la convergencia débil-* de la vorticidad permiten el paso al límite en los términos no lineales. Para el rango $1/3 < a < 1/2$, se demuestra que el producto $U \Omega$ es localmente integrable, asegurando que la ecuación de la vorticidad se cumpla en el sentido de distribuciones.

Resultados Clave
El teorema principal (Teorema 1.2) establece que para cualquier dato inicial $(-a)$-homogéneo de clase $C^1$ y libre de divergencia con $1/3 < a < 1$, existe una solución débil autosemejante $u(t,x)$ con las siguientes propiedades:

• Regularidad: La velocidad $u$ es continua en el tiempo con valores en $L^2_{\text{loc}}(\mathbb{R}^2)$, y su gradiente $\nabla u$ pertenece a $L^\infty_t L^{p_c, \infty}_x$.
• Traza Inicial: La solución converge al dato inicial $u_0$ fuertemente en $L^2_{\text{loc}}$ cuando $t \to 0$. La vorticidad $\omega(t)$ converge débil-* a $\omega_0$ en $L^{p_c, \infty}$.
• Generalidad: La construcción no requiere supuestos de pequeñez sobre los datos iniciales ni supuestos de signo sobre la vorticidad. El perfil angular $u_0$ no necesita estar cerca de un vórtice radial ni satisfacer una condición de dominancia radial, lo que distingue este resultado de las construcciones previas de espirales.
• Comportamiento en el Límite: El resultado es subcrítico con respecto al punto final $a=1$. En $a=1$, el factor favorable en la identidad de truncación de la vorticidad desaparece, y el argumento no excluye medidas de concentración.

Significado y Reivindicaciones
El artículo posiciona su contribución dentro del contexto más amplio de la mecánica de fluidos, específicamente respecto a la no unicidad de las soluciones débiles y la formación de singularidades.

• Apoyo a la No Unicidad: Los autores afirman que la existencia de perfiles autosemejantes arbitrariamente grandes proporciona un "estado base" necesario para futuras investigaciones sobre escenarios de inestabilidad y bifurcación, los cuales son centrales para el programa de no unicidad (referenciando trabajos de Jia, Šverák y otros). Aunque este artículo no prueba la no unicidad por sí mismo, proporciona la clase de soluciones grandes requerida para tal análisis.
• Extensión de las Soluciones Espirales: A diferencia de otras construcciones de soluciones espirales algebraicas que dependían de simetrías de alta frecuencia o perturbaciones de vórtices radiales, este trabajo maneja datos angulares $C^1$ generales sin supuestos de simetría.
• Control Crítico: El resultado destaca que la existencia global débil puede lograrse con control en el espacio de Lorentz crítico $L^{p_c, \infty}$ en lugar de requerir vorticidad acotada ($L^\infty$) o vorticidad total finita. Esto extiende la teoría de existencia conocida para clases de datos rugosos en flujos ideales bidimensionales.

El artículo concluye señalando que para $a \geq 1/2$, la ecuación de la vorticidad se cumple en el sentido de distribuciones solo si $U\Omega \in L^1_{\text{loc}}$, lo cual no está garantizado por las estimaciones en ese rango, aunque la formulación de la velocidad sigue siendo válida. La construcción se describe explícitamente como un "límite de disipación evanescente", distinguiéndola de los métodos de construcción directa.