A proof of Vishik's nonuniqueness Theorem for the forced 2D Euler equation

Aquí presento un resumen técnico detallado del artículo "A Proof of Vishik's Nonuniqueness Theorem for the Forced 2D Euler Equation" de Ángel Castro, Daniel Faraco, Francisco Mengual y Marcos Solera.

1. Planteamiento del Problema

El trabajo aborda la no unicidad de soluciones para la ecuación de Euler bidimensional (2D) forzada en la clase de vorticidad $L^1 \cap L^p$ con $2 < p < \infty$.

• Contexto: La ecuación de Euler describe el flujo de un fluido ideal incompresible. El teorema de unicidad de Yudovich garantiza la existencia y unicidad de soluciones globales si la vorticidad inicial está en $L^\infty$. Sin embargo, para $p < \infty$, la unicidad es un problema abierto.
• Objetivo: Demostrar que, incluso con datos iniciales nulos ($\omega_0 = 0$) y una fuerza externa suave, existen múltiples soluciones en la clase $L^\infty_t(L^1 \cap L^p)$.
• Antecedentes: Vishik (2019) demostró previamente este resultado, pero su prueba era extremadamente compleja, basándose en la modificación intrincada de vórtices con ley de potencia ($\omega \sim |x|^{-\alpha}$). Este artículo busca simplificar dicha demostración utilizando una estructura de vórtice más manejable.

2. Metodología y Estructura de la Prueba

La prueba sigue la estrategia general de Vishik, dividida en tres pasos principales, pero introduce una simplificación fundamental en el primer paso:

Paso 1: Construcción de un Vórtice Inestable (Euleriano)

Este es el núcleo de la simplificación propuesta por los autores. En lugar de usar vórtices con singularidades algebraicas, construyen un vórtice inestable mediante dos sub-pasos:

1. Vórtice Constante a Trozos (Piecewise Constant):

   • Se construye un perfil de vorticidad $\bar{\omega}$ que es constante en anillos concéntricos (específicamente, positivo en un disco interior y negativo en un anillo exterior, con soporte compacto).
   • Se analiza la estabilidad lineal mediante la ecuación de estabilidad de Rayleigh. Para vórtices radiales, esto se reduce a un problema de autovalores en coordenadas polares.
   • Al ser la vorticidad constante a trozos, la ecuación de Rayleigh se reduce a un sistema lineal algebraico de dimensión finita ($2 \times 2$) para los valores de la perturbación en las discontinuidades.
   • Los autores demuestran que, eligiendo adecuadamente los radios de los anillos y la magnitud de la vorticidad, la matriz del sistema tiene autovalores complejos con parte imaginaria positiva, lo que implica inestabilidad exponencial.

2. Regularización (Argumento de Punto Fijo):

   • El vórtice constante a trozos no es suficientemente suave (su derivada es una medida). Para aplicar la teoría de ecuaciones diferenciales estándar, se necesita un vórtice suave ($C^\infty_c$).
   • Se utiliza un argumento de punto fijo en variables reescaladas alrededor de las discontinuidades. Se demuestra que, para un parámetro de regularización $\epsilon$ suficientemente pequeño, existe una perturbación suave del vórtice constante a trozos que mantiene la propiedad de inestabilidad (es decir, sigue teniendo un autovalor inestable).

Paso 2: Inestabilidad Auto-Similar

• Se transforma la ecuación de Euler a coordenadas auto-similares $(\tau, X)$, donde el tiempo físico $t \to 0$ corresponde a $\tau \to -\infty$.
• Se demuestra que la inestabilidad lineal encontrada en el Paso 1 (en coordenadas eulerianas) persiste en el límite cuando el parámetro de escala $b \to 0$ en las coordenadas auto-similares.
• Utilizando teoría espectral de operadores (descomposición en transporte y operador compacto), se prueba que el espectro del operador linealizado en coordenadas auto-similares contiene un autovalor con parte real positiva, garantizando el crecimiento exponencial de la perturbación hacia el pasado ($t \to 0$).

Paso 3: Inestabilidad No Lineal

• Se construye una solución completa $\omega_\epsilon = \omega_0 + \epsilon \omega_{lin} + \epsilon^2 \omega_{cor}$, donde $\omega_{lin}$ es la solución lineal inestable y $\omega_{cor}$ es un término corrector.
• Se utiliza la fórmula de Duhamel para controlar el término no lineal. Gracias al soporte compacto del vórtice y a estimaciones de energía en espacios de Sobolev ponderados, se demuestra que el término corrector crece más lentamente que la solución lineal.
• Esto permite concluir que, para diferentes valores de $\epsilon$, se obtienen soluciones distintas que coinciden en $t=0$ (ambas son cero), pero divergen para $t > 0$.

3. Contribuciones Clave

1. Simplificación de la Construcción del Vórtice: La mayor contribución es la sustitución de los vórtices de ley de potencia complejos de Vishik por vórtices constantes a trozos. Esto reduce el análisis de estabilidad lineal a un cálculo matricial elemental, haciendo la prueba mucho más accesible y transparente.
2. Regularización Robusta: El desarrollo de un argumento de punto fijo para suavizar el vórtice constante a trozos sin perder la inestabilidad es una técnica técnica nueva y potente que podría ser aplicable en otros contextos.
3. Estructura Autocontenida: El artículo proporciona una prueba completa y autocontenida, simplificando los pasos 2 y 3 de la prueba original de Vishik gracias a la estructura simple del nuevo vórtice.
4. Generalidad Potencial: Los autores sugieren que su método de construcción de vórtices constantes a trozos es lo suficientemente flexible para aplicarse a problemas más generales, como la ecuación SQG (Surface Quasi-Geostrophic) generalizada, donde la ley de Biot-Savart es no local y más singular.

4. Resultados Principales

• Teorema 1.1: Se demuestra la existencia de una fuerza externa $f \in L^1_t(L^1 \cap L^p)$ tal que la ecuación de Euler forzada con datos iniciales nulos tiene al menos dos soluciones distintas en la clase $L^\infty_t(L^1 \cap L^p)$.
• Optimalidad: El resultado muestra que el teorema de unicidad de Yudovich es agudo (sharp); si se relaja la condición de $L^\infty$ a $L^p$ ($p < \infty$), la unicidad falla incluso con fuerzas suaves.
• Regulardad: Las soluciones construidas son suaves ($C^\infty$) para tiempos positivos $t > 0$, aunque la regularidad se deteriora a medida que $t \to 0$.

5. Significado e Impacto

• Resolución de un Problema Abierto: Confirma que la no unicidad es un fenómeno intrínseco a la ecuación de Euler forzada en dimensiones bajas, incluso para datos iniciales regulares (cero) y fuerzas suaves.
• Herramienta para Navier-Stokes: La construcción de vórtices inestables es un paso intermedio crucial. De hecho, el artículo menciona que este tipo de vórtices ha sido adaptado recientemente por Albritton, Brue y Colombo para probar la no unicidad de soluciones de Leray para la ecuación de Navier-Stokes 3D forzada.
• Nuevas Direcciones: La simplicidad de la construcción abre la puerta a atacar problemas más difíciles, como la no unicidad en la ecuación SQG (un modelo de turbulencia atmosférica y oceánica), donde la no localidad es más fuerte.
• Pedagogía y Accesibilidad: Al reducir la complejidad algebraica y analítica de la prueba original, este trabajo facilita la comprensión de los mecanismos de inestabilidad auto-similar en fluidos, permitiendo que más investigadores puedan trabajar en este campo.

En resumen, este artículo no solo reafirma un resultado profundo sobre la falta de unicidad en la dinámica de fluidos, sino que ofrece una ruta más clara y elegante para demostrarlo, reemplazando cálculos analíticos pesados por una estructura geométrica y algebraica más intuitiva.