Existence and stability of Sadovskii vortices: from patch to smooth vortices

Resumen Técnico: Existencia y Estabilidad de los Vórtices de Sadovskii

1. Planteamiento del Problema

El trabajo aborda la existencia y estabilidad de vórtices de Sadovskii, una configuración específica en las ecuaciones de Euler bidimensionales incompresibles. Un vórtice de Sadovskii se define como un dipolo de vórtices contra-rotatorios que se mueven con velocidad constante y mantienen un contacto completo a lo largo del eje de simetría (el eje $x_1$).

• Contexto Físico: Estas estructuras emergen como el punto final de ramas de soluciones de dipolos estables cuando la velocidad de traslación aumenta para un impulso fijo. Son relevantes en estelas de aviones, colisiones de anillos de vórtice y la evolución de dipolos viscosos.
• Desafío Matemático: La construcción matemática de tales soluciones ha sido un problema abierto, excepto para casos muy específicos (como el dipolo de Chaplygin-Lamb o el parche de Sadovskii). La dificultad principal radica en la naturaleza "tocante" de los vórtices, lo que intensifica las interacciones no locales y rompe la regularidad geométrica estándar.
• Limitaciones de Métodos Previos: Las construcciones variacionales anteriores requerían una restricción de masa total (norma $L^1$) además del impulso y la norma $L^p$. Esta restricción de masa limitaba la validez de los métodos a ciertos rangos de $p$ (típicamente $p > 4/3$) y no permitía una transición natural hacia vórtices suaves de alta regularidad o el caso límite $p=1$.

2. Metodología: Marco Variacional Invariante de Escala

Los autores desarrollan un nuevo marco variacional que elimina la restricción de masa total, basándose únicamente en la maximización de la energía cinética sujeta a dos restricciones conservadas:

1. Impulso: $\mu(\omega) = \int x_2 \omega \, dx$ (fijo).
2. Norma $L^p$: $\|\omega\|_p$ (fijo), con $1 < p \le \infty$.

Herramientas Clave:

• Desigualdad de Energía Aguda (Sharp Energy Inequality): El núcleo del análisis es una nueva desigualdad que acota la energía cinética $E(\omega)$ exclusivamente en términos del impulso y la norma $L^p$:
  $$E(\omega) \lesssim_p \|x_2 \omega\|_{L^1}^\alpha \|\omega\|_{L^p}^\beta$$
  donde los exponentes $\alpha$ y $\beta$ están determinados de manera única por la invariancia de escala de las ecuaciones de Euler bajo la transformación $\omega(x) \mapsto \varepsilon \omega(\lambda x)$. Esta desigualdad es aguda (el límite se alcanza) precisamente para los vórtices de Sadovskii.
• Principio de Concentración-Compacidad (Lions): Se aplica al principio de concentración-compactness a la secuencia de maximizadores. Gracias a la estructura de la desigualdad aguda y la convexidad de los exponentes ($\alpha + \beta/p > 1$), se demuestra que la secuencia no puede "desvanecerse" (vanishing) ni "dividirse" (dichotomy), garantizando la compacidad y la existencia de un maximizador.
• Reducción al Semiplano: Debido a la simetría impar en $x_2$, el problema se reduce al semiplano superior $\mathbb{R}^2_+$, utilizando la función de corriente $G[\omega]$ asociada al Laplaciano con condiciones de frontera de Dirichlet.

3. Contribuciones Clave y Resultados Principales

A. Existencia de una Familia Unificada (Teorema 1.2)
Se demuestra la existencia de una familia de soluciones de onda viajera parametrizada por $p \in (1, \infty]$:

• Transición de Regularidad:
  • Para $p = \infty$, se recupera el parche de Sadovskii (vórtice con soporte compacto y densidad constante, $\omega = \mathbf{1}_A$).
  • Para $p \in (1, \infty)$, se obtienen vórtices suaves ($C^{m,\alpha}$) donde la regularidad aumenta a medida que $p \to 1$.
  • El caso $p=2$ corresponde exactamente al dipolo de Chaplygin-Lamb.
• Geometría de Contacto: Se prueba que cualquier maximizador de este principio variacional necesariamente toca el eje de simetría ($x_2=0$). Esto no se impone a priori, sino que emerge como una consecuencia geométrica necesaria de la estructura de maximización de energía sin restricción de masa.
• Ecuación de Euler-Lagrange: Se deriva la relación entre la vorticidad y la función de corriente:
  $$\kappa \omega^{p-1} = (G[\omega] - W x_2)_+$$
  donde $W$ es la velocidad de traslación y $\kappa$ un multiplicador de Lagrange. Esta ecuación confirma la estructura de contacto y la compacidad del soporte.

B. Estabilidad de Lyapunov (Teorema 1.2 y 6.3)

• Para $1 < p < \infty$, el conjunto de maximizadores es estable en el sentido de Lyapunov bajo perturbaciones en la norma $\|\cdot\|_{L^p} + \|x_2(\cdot)\|_{L^1}$.
• Para $p = \infty$ (parches), la estabilidad se establece para un subconjunto de maximizadores de masa mínima ($S'(\infty)$), garantizando la estabilidad en la norma $L^1$ y el impulso. Esto resuelve la debilidad de la compacidad en el caso $L^\infty$.

C. Estimaciones Cuantitativas de Desplazamiento (Teorema 1.3 y Apéndice A)

• Se deriva un límite cuantitativo sobre el desplazamiento del centro de masa horizontal $P(t)$ de una solución perturbada.
• Se demuestra que la velocidad de propagación de la solución perturbada permanece cercana a la velocidad $W_\infty$ del vórtice de Sadovskii no perturbado:
  $$|P(t) - W_\infty t| \lesssim \varepsilon |t|$$
• Esto implica que la geometría de contacto y la velocidad de propagación son robustas frente a pequeñas perturbaciones.

4. Significado e Impacto

1. Unificación Teórica: Este trabajo unifica la comprensión de los vórtices de Sadovskii, conectando casos clásicos (parches, dipolo de Chaplygin-Lamb) con una familia continua de soluciones suaves de alta regularidad, algo que no era posible con los métodos variacionales anteriores restringidos por la masa.
2. Mecanismo Estructural: Identifica la "máxima circulación" (o masa) bajo restricciones de impulso y norma $L^p$ como el mecanismo estructural subyacente que fuerza a los vórtices a tocar el eje de simetría. Esto explica por qué estas configuraciones aparecen en diversos contextos físicos (colisiones, evolución viscosa).
3. Superación de Límites Técnicos: Al eliminar la restricción de masa, el método supera la barrera $p > 4/3$ presente en enfoques de energía penalizada, permitiendo la construcción de vórtices con regularidad arbitrariamente alta (cercanos a $p=1$).
4. Estabilidad Robusta: Proporciona la primera demostración rigurosa de estabilidad de Lyapunov para la familia completa de vórtices de Sadovskii, incluyendo el caso de parches, lo cual es crucial para entender la dinámica a largo plazo de estructuras coherentes en flujos ideales.

En conclusión, el artículo establece un marco variacional invariante de escala que no solo prueba la existencia de una amplia gama de vórtices de Sadovskii, sino que también caracteriza su geometría de contacto y garantiza su estabilidad dinámica, cerrando brechas significativas en la teoría de flujos de Euler bidimensionales.