From linear to nonlinear instabilities with application to plasma columns

Planteamiento del Problema
El artículo aborda una dificultad fundamental en el análisis de estabilidad de las ecuaciones en derivadas parciales (EDP): demostrar que la inestabilidad lineal implica la inestabilidad no lineal cuando no se dispone de una teoría de existencia local para las ecuaciones correspondientes. Esta situación surge a menudo cuando las inestabilidades lineales son tan fuertes que impiden la existencia local de soluciones, o cuando la teoría de existencia simplemente aún no se ha establecido. Los autores se centran en el problema clásico de la estabilidad de columnas de plasma en magnetohidrodinámica (MHD), específicamente en las configuraciones de pinch-$\theta$ y pinch-$z$, donde los métodos estándar de estimación de energía (que dependen de la construcción de soluciones aproximadas y soluciones genuinas) fallan debido a la falta de estimaciones de energía adecuadas o resultados de existencia.

Metodología
Para superar la ausencia de una teoría de existencia y la pérdida de regularidad inherente a los términos no lineales, los autores desarrollan un método general basado en el uso de funciones analíticas y funciones generadoras. La estrategia central consiste en:

1. Espacios Analíticos y Funciones Generadoras: En lugar de trabajar en espacios de Sobolev, los autores definen espacios específicos de funciones analíticas utilizando funciones generadoras $G[u](\rho)$, que controlan el radio de analiticidad. Este marco permite controlar con precisión la evolución del radio de analiticidad a medida que transcurre el tiempo, superando la pérdida de derivadas causada por las no linealidades.
2. Construcción Directa de Soluciones: En lugar de construir una solución aproximada y estimar el error (una estrategia que falla sin una teoría de existencia), los autores construyen una solución genuina al sistema no lineal como una serie infinita. La convergencia de esta serie está garantizada por el marco analítico.
3. Análisis del Resolvente y de la Función de Green: Un componente técnico clave es el estudio detallado del resolvente del operador linealizado en espacios analíticos. Los autores utilizan la construcción de funciones de Green para derivar cotas sobre el resolvente. Esto incluye el manejo de casos donde las funciones de Green son singulares cerca de las fronteras (por ejemplo, en $r=0$ o $r=r_{ext}$ en coordenadas cilíndricas).
4. Teoremas Generales de Inestabilidad:
   • Teorema 2.1 (Inestabilidad Lineal a No Lineal): Bajo supuestos relativos al radio espectral del operador lineal (específicamente la existencia de un autovalor con una parte real mayor a la mitad del radio espectral) y la invertibilidad del resolvente en espacios analíticos, el artículo demuestra que la inestabilidad lineal implica la inestabilidad no lineal.
   • Teorema 2.2 (Mal planteamiento/Ill-posedness): Si las inestabilidades lineales son demasiado fuertes (es decir, el radio espectral es infinito), los autores demuestran que el sistema no lineal completo es mal planteado en espacios de Sobolev en el sentido de Hadamard. Esto significa que, incluso si existen soluciones, estas no pueden ser continuas respecto a los datos iniciales.

Contribuciones Clave y Resultados
El artículo aplica estos teoremas generales a las ecuaciones de MHD ideal que gobiernan las columnas de plasma:

• Soluciones Estacionarias: Los autores analizan soluciones estacionarias para configuraciones de pinch-$\theta$ (donde el campo magnético azimutal $B_\theta = 0$) y pinch-$z$ (donde el campo magnético axial $B_z = 0$). Establecen las propiedades analíticas de estas soluciones, señalando que, si bien la presión y los campos magnéticos pueden elegirse como analíticos, la densidad $\rho$ puede presentar singularidades en la frontera $r_{ext}$, requiriendo el uso de funciones generadoras con peso ($G_{sing}$).
• Sistema Linealizado: Las ecuaciones de MHD linealizadas se reducen a la ecuación de Hain-Lüst, una ecuación diferencial de segundo orden singular. Los autores realizan un análisis riguroso de las funciones de Green asociadas a esta ecuación, estableciendo cotas para sus derivadas cerca de los puntos singulares ($r=0$ y $r=r_{ext}$).
• Aplicación al pinch-$\theta$ (Teorema 3.3): Para configuraciones de pinch-$\theta$ que son linealmente inestables con un radio espectral finito, el artículo demuestra que también son no linealmente inestables.
• Aplicación al pinch-$z$ (Teorema 3.4): Para configuraciones de pinch-$z$:
  • Si el radio espectral $\sigma$ es finito y positivo, el sistema es no linealmente inestable.
  • Si $\sigma = +\infty$ (lo cual ocurre bajo condiciones específicas sobre el gradiente de presión cerca de la frontera) y los radios espectrales de los modos de Fourier satisfacen $\sigma_k/k \to 0$, se demuestra que el sistema es mal planteado en espacios de Sobolev.

Significación y Reivindicaciones
El artículo afirma proporcionar un método específico para abordar el problema de demostrar la inestabilidad no lineal en ausencia de una teoría de existencia. Al utilizar funciones generadoras y estimaciones de funciones de Green, los autores evitan la necesidad de estimaciones de energía sobre la diferencia entre las soluciones genuinas y las aproximadas.

La significación del trabajo radica en su aplicación al problema clásico de la columna de plasma MHD, un sistema donde los resultados de bien planteamiento suelen ser inexistentes o difíciles de establecer. Los autores demuestran que la inestabilidad lineal es suficiente para garantizar la inestabilidad no lineal (o el mal planteamiento) para estos sistemas, incluso cuando las soluciones se construyen como series infinitas en espacios analíticos. El uso de funciones de Green para probar cotas del resolvente y resultados de mal planteamiento se destaca como un aspecto novedoso de su enfoque en comparación con metodologías previas (como las de Grenier). Los resultados confirman que, para ciertas configuraciones de plasma, el sistema no solo es linealmente inestable, sino fundamentalmente mal planteado en el sentido de Hadamard, lo que implica una falta de dependencia continua respecto a los datos iniciales.