Linear Stability of the Lamb-Chaplygin Dipole

Resumen Técnico: Estabilidad Lineal del Dipolo de Lamb-Chaplygin

Planteamiento del Problema
Este artículo investiga la estabilidad lineal del dipolo de Lamb-Chaplygin, una solución de onda viajera clásica de las ecuaciones de Euler incompresibles en dos dimensiones. El estudio se centra en la evolución de perturbaciones $w_0$ pertenecientes a la clase $L^1(\mathbb{R}^2) \cap L^p(\mathbb{R}^2)$ con $p > 2$. La cuestión central es si el dipolo permanece estable bajo perturbaciones arbitrarias en este entorno funcional, abordando específicamente la tasa de crecimiento de la norma $L^2$ de la perturbación a lo largo del tiempo. Si bien la estabilidad orbital ha sido establecida bajo supuestos específicos de simetría y signo en la literatura previa, el comportamiento bajo perturbaciones generales sigue siendo un problema abierto.

Metodología
Los autores emplean una combinación de teoría de sistemas dinámicos, análisis espectral y mecánica hamiltoniana. Su enfoque difiere de los métodos puramente espectrales al tratar el operador linealizado como el generador de un semigrupo fuertemente continuo que actúa sobre la clase de vorticidad $L^1 \cap L^p$.

1. Análisis de Simetría: Los autores identifican primero una familia de cinco parámetros de soluciones viajeras generadas por las simetrías de las ecuaciones de Euler (traslaciones, rotaciones, amplificaciones y dilataciones). Al diferenciar estas simetrías, construyen autoestados generalizados asociados con el autovalor 0 para el operador linealizado $L_{eq}$. Esto revela que el dipolo existe dentro de un continuo de equilibrios, y que las perturbaciones a lo largo de estas direcciones corresponden a cambios infinitesimales en la posición, orientación o amplitud del dipolo.
2. Reducción de Dominio: Explotando el soporte compacto de la vorticidad del dipolo (confinada al disco unitario $D$), los autores descomponen la evolución lineal en una parte externa (transportada por el flujo fuera de $D$) y una parte interna. La dinámica interna se reduce a un operador cerrado $L$ que actúa sobre el espacio de Hilbert $L^2_0(D)$ (funciones con promedio cero de clase integrable cuadrada).
3. Estructura Hamiltoniana: El operador reducido $L$ se analiza como un sistema hamiltoniano $L = JH$, donde $J$ es un operador de transporte sesquicontraído y $H$ es un operador autoadjunto que involucra el inverso del Laplaciano con condiciones de contorno de Robin específicas. Los autores utilizan las propiedades de esta estructura para clasificar el espectro y las cadenas de Jordan.
4. Estimaciones Espectrales y Dinámicas: Los autores computan explícitamente el espectro de $L$, identificando el núcleo generalizado y verificando la ausencia de autovalores con partes reales positivas. Luego, utilizan argumentos de energía en subespacios invariantes específicos para derivar estimaciones de crecimiento cuantitativas para el semigrupo $e^{tL}$.

Contribuciones Clave y Resultados

• Clasificación Espectral Completa: El artículo proporciona una descripción completa del espectro y las cadenas de Jordan del operador linealizado. Se demuestra que el operador es espectralmente estable (el espectro reside en el eje imaginario) pero linealmente inestable debido a la presencia de cadenas de Jordan no triviales.
• Identificación de Mecanismos de Inestabilidad: Los autores identifican exactamente dos mecanismos explícitos responsables del crecimiento lineal en perturbaciones generales:
  1. Circulación No Nula: Un promedio no nulo de la perturbación inicial en el disco unitario ($\mu \neq 0$) desencadena un crecimiento cuadrático respecto al tiempo ($t^2$). Esto corresponde a una rototranslación del dipolo en el sistema no lineal completo.
  2. Autoestados Generalizados: Un componente no trivial de los datos iniciales a lo largo de los autoestados generalizados asociados con el autovalor 0 (específicamente aquellos relacionados con rotaciones e amplificaciones infinitesimales) desencadena un crecimiento lineal respecto al tiempo ($t$).
• Estimaciones de Crecimiento Agudas: El resultado principal (Teorema 1) establece que para cualquier dato inicial $w_0$, la solución $w(t)$ satisface la estimación:
  $$c|\mu|t^2 - C\|w_0\|_{L^2}t \leq \|w(t)\|_{L^2} \leq C(\|w_0\|_{L^2} + \|w_0\|_{L^2}t + |\mu|t^2)$$
  donde $\mu$ es el promedio de $w_0$ en el disco. Si $\mu = 0$ y la proyección sobre el núcleo generalizado se anula, la evolución permanece acotada.
• Estructura de la Cadena de Jordan: El Teorema 2 confirma que existen exactamente dos (hasta combinaciones lineales) cadenas de Jordan de longitud 2 asociadas con el autovalor 0. Estas cadenas corresponden a las simetrías del sistema. El artículo demuestra que no existen cadenas de Jordan más largas ni autovalores inestables.

Significado
Los autores afirman que sus estimaciones precisas de crecimiento polinómico son notables porque van más allá de los límites subexponenciales estándar, proporcionando una caracterización aguda de las fuentes de inestabilidad. El trabajo clarifica los mecanismos lineales subyacentes a los resultados previos de estabilidad orbital, mostrando que dichos resultados dependían de supuestos (como la simetría impar) que efectivamente eliminaban las obstrucciones específicas (promedio no nulo y direcciones inestables generalizadas) identificadas aquí.

Además, los autores enfatizan que el crecimiento lineal y cuadrático observado no implica un "estallido" (blow-up) o un alejamiento de la familia física de dipolos viajeros. En cambio, el crecimiento refleja que la solución se desplaza a lo largo de la variedad de soluciones viajeras generadas por las simetrías del sistema. Se espera que la dinámica no lineal mantenga este comportamiento, moviéndose a lo largo de la familia de dipolos sin necesariamente alejarse de la variedad misma. Este análisis cierra la brecha entre la información espectral y el crecimiento del semigrupo en un entorno no hibertiano ($L^1 \cap L^p$), demostrando que la separación entre la estabilidad espectral y la estabilidad dinámica puede cuantificarse con precisión en este contexto.