$L^p$ Stability of Vortex Patches in Two Dimensional Domains

Resumen Técnico: Estabilidad $L^p$ de parches de vórtices en dominios bidimensionales

Planteamiento del Problema
Este artículo investiga la estabilidad orbital de parches de vórtices gobernados por las ecuaciones de Euler incomprimibles en dos dimensiones en dominios fijos $\Omega \subseteq \mathbb{R}^2_+$. La vorticidad $\omega$ evoluciona según $\partial_t \omega + u \cdot \nabla \omega = 0$ con condiciones de contorno de deslizamiento (slip boundary conditions). Si bien las soluciones generales a las ecuaciones de Euler 2D pueden exhibir inestabilidad (por ejemplo, crecimiento doble exponencial de los gradientes de vorticidad), la estabilidad puede establecerse para clases específicas de datos iniciales utilizando métodos variacionales.

El desafío específico abordado es la falta de una teoría unificada de estabilidad $L^p$ para parches de vórtices en dominios bidimensionales generales que opere sin límites a priori de $L^1$ o $L^p$ sobre la vorticidad. Los trabajos previos se han visto limitados por restricciones específicas:

• Abe y Choi [1] establecieron la estabilidad para dipolos de Lamb en el semiplano pero requirieron un límite $L^1$.
• Abe, Choi y Jeong [2] eliminaron la restricción $L^1$ pero estuvieron restringidos al entorno $L^2$.
• Dong y Luo [9] extendieron los resultados a franjas (strips) y dominios de volumen finito débil, pero mantuvieron la restricción $L^1$ y se limitaron a la estabilidad $L^2$.

Metodología
El autor emplea un marco de variación de energía penalizada. Define el funcional de energía penalizada:
$$E_{p,\lambda}[\omega] = E[\omega] - \frac{1}{p}\lambda \|\omega\|_p^p$$
donde $E[\omega]$ es la energía cinética y $\lambda > 0$ es un parámetro. El estudio se centra en el problema de minimización:
$$I_{\mu,\lambda}(p) = \inf_{\omega \in K_\mu} \{-E_{p,\lambda}[\omega]\}$$
donde el espacio admisible $K_\mu$ consiste en vorticidades no negativas con un primer momento fijo (impulso) $\int_\Omega x_2 \omega \, dx = \mu$, pero crucialmente, sin un límite superior impuesto de $L^1$ o $L^p$.

La metodología central consta de tres componentes técnicos principales:

1. Estimaciones de Energía y Rangos de Parámetros: Establecimiento de límites $L^p$ uniformes para las secuencias minimizantes mediante las desigualdades de Hölder y Young, identificando umbrales críticos para $p$ (específicamente $p > 4/3$) y condiciones sobre $\lambda$ para asegurar que el ínfimo sea negativo.
2. Existencia de Minimizadores: Demostración de la existencia de minimizadores y su compacidad. Esto requiere superar la pérdida de escalamiento espacial y de invariancia de traslación en dominios generales.
   • Para el Semiplano ($\mathbb{R}^2_+$): Se utilizan argumentos de escalamiento para reducir el problema a una forma estándar.
   • Para Franjas ($S$): Se desarrolla un argumento de compacidad-concentración refinado. Utilizan la simetrización de Steiner para demostrar la subaditividad estricta del funcional de energía, lo que excluye el caso de "dicotomía" en el principio de compacidad de Lions.
   • Para Dominios de Volumen Finito Débil ($D$): Evitan la necesidad de subaditividad estricta explotando la tasa de decaimiento $q$ inherente de la geometría del dominio (específicamente la condición de volumen $\int_{D_l} x_2^q dx < \infty$) para forzar la compacidad directamente.
3. Estabilidad Orbital: Demostración de que el conjunto de minimizadores es orbitalmente estable bajo la dinámica de Euler. Esto se basa en la conservación de las normas $L^p$ y el primer momento a lo largo de las trayectorias de las partículas, combinado con el teorema general de convergencia para secuencias minimizantes.

Contribuciones Clave y Resultados
El artículo establece una teoría unificada de estabilidad $L^p$ para tres tipos específicos de dominios: el semiplano, franjas de cualquier anchura y dominios que satisfacen una condición de volumen finito débil.

• Existencia y Compacidad (Teorema 1.4): El autor demuestra que, para parámetros adecuados de $p, \mu, \lambda$, el funcional de energía penalizada admite un minimizador. Toda secuencia minimizante posee una subsucesión que converge fuertemente en $L^p$ y $L^1$ (para el momento pesado) a un minimizador $\omega$.
  • Para $\mathbb{R}^2_+$: Válido para $p > 4/3$.
  • Para Franjas: Válido para $p > 2$ con cualquier $\lambda > 0$, o para $p = 2$ siempre que $\lambda > 2\pi^4/L^2$.
  • Para Dominios de Volumen Finito Débil: Válido para $p > 4/3$ si la tasa de decaimiento $q \in [0, 2]$, y para $4/3 < p \le q/(q-1)$ si $q \in (2, 4)$.
• Propiedades Estructurales: Los minimizadores satisfacen la ecuación elíptica $\omega^{p-1} = \lambda(\psi - Wx_2)_+$, donde $\psi$ es la función de corriente y $W$ es una constante estrictamente positiva. Se demuestra que los minimizadores tienen soporte compacto y poseen una regularidad específica ($C^{m,\alpha}$).
• Estabilidad Orbital (Teorema 1.5): El conjunto de minimizadores $S_{\mu,\lambda}$ es orbitalmente estable. Para cualquier $\epsilon > 0$, existe un $\delta > 0$ tal que si los datos iniciales están dentro de $\delta$ del conjunto de minimizadores (en términos de distancia $L^p$ y distancia $L^1$ pesada), la solución permanece dentro de $\epsilon$ del conjunto para todo el tiempo.
• Extensión con Restricción $L^1$ (Teorema 1.7): Como complemento, el artículo proporciona resultados de estabilidad para el dominio de volumen finito débil $D$ para todo $q \ge 0$ y $p > 1$, siempre que se imponga un límite superior $L^1$ en el espacio admisible.

Significado
El artículo pretende sintetizar y extender los enfoques de Abe y Choi [1], Abe et al. [2] y Dong y Luo [9] en un marco integral. Su principal significación radica en:

1. Eliminación de Restricciones: Logra eliminar el requisito de límite $L^1$ a priori para la estabilidad en los casos de semiplano y franja, y extiende los resultados $L^2$ a $L^p$ general ($p > 4/3$) sin tales límites.
2. Marco Unificado: Proporciona una teoría unificada que cubre tres entornos geométricos distintos (semiplano, franja y dominios de volumen finito débil generales) que anteriormente eran tratados por separado o con limitaciones.
3. Estrategias Novedosas: El trabajo introduce estrategias novedosas para manejar la pérdida de escalamiento e invariancia de traslación. Específicamente, el uso de las tasas de decaimiento del dominio para forzar la compacidad en dominios de volumen finito débil y los argumentos refinados de simetrización de Steiner para las franjas representan avances metodológicos significativos sobre las aplicaciones previas de compacidad-concentración.

El autor señala que, si bien los resultados expanden significativamente el alcance de las estructuras de vórtices demostrablemente estables, persisten limitaciones, particularmente respecto al umbral crítico $p=4/3$ y la necesidad de límites $L^1$ para ciertos rangos de parámetros en dominios generales. El artículo concluye identificando preguntas abiertas relacionadas con las condiciones geométricas óptimas, los problemas de frontera libre, y la unicidad y estructura fina de los minimizadores.