On axisymmetric self-similar solutions to the MHD system

Resumen Técnico: Soluciones Auto-similares Axisimétricas al Sistema MHD

Título: Soluciones Auto-similares Axisimétricas al Sistema MHD (ON AXISYMMETRIC SELF-SIMILAR SOLUTIONS TO THE MHD SYSTEM)
Autor: Shaoheng Zhang

1. El Problema

El artículo investiga el sistema de Magnetohidrodinámica (MHD) estacionario e incompresible con difusión magnética en $\mathbb{R}^3$. El sistema se describe mediante las siguientes ecuaciones acopladas:
$$\begin{cases} -\Delta u + (u \cdot \nabla)u - (B \cdot \nabla)B + \nabla p = 0, \\ -\Delta B + (u \cdot \nabla)B - (B \cdot \nabla)u = 0, \\ \nabla \cdot u = \nabla \cdot B = 0, \end{cases}$$
donde $u$ es la velocidad del fluido, $B$ el campo magnético y $p$ la presión.

El objetivo principal es caracterizar las soluciones auto-similares en el caso axisimétrico. Una solución es auto-similar si es invariante bajo la escala $u(x) = \lambda u(\lambda x)$, $B(x) = \lambda B(\lambda x)$, lo que implica que las componentes de velocidad y campo magnético son funciones homogéneas de grado $-1$. El estudio se centra en dos dominios:

1. Todo el espacio menos el origen: $\mathbb{R}^3 \setminus \{0\}$.
2. El semiespacio: $\mathbb{R}^3_+$, bajo condiciones de frontera de "no-deslizamiento" (no-slip) o "deslizamiento de Navier" (Navier slip).

Se asume una estructura axisimétrica específica donde el campo magnético tiene solo componente de giro (swirl): $B = B_\theta(r, z)e_\theta$.

2. Metodología

La metodología se basa en el análisis de ecuaciones diferenciales parciales no lineales utilizando técnicas de integración por partes, identidades de energía y propiedades de homogeneidad.

• Reducción a Ecuación Escalar: El paso crucial es demostrar que la componente magnética $B_\theta$ debe ser idénticamente cero. Si $B \equiv 0$, el sistema MHD se reduce a las ecuaciones de Navier-Stokes, para las cuales ya existen resultados de clasificación (soluciones de Landau).
• Prueba de Anulación de $B_\theta$:
  • Se deriva una ecuación diferencial para $B_\theta$ a partir del sistema MHD.
  • Se multiplica esta ecuación por $r B_\theta$ y se integra sobre anillos esféricos (o su intersección con el semiespacio).
  • Se utilizan las propiedades de homogeneidad $(-1)$ de las soluciones auto-similares para simplificar los términos de frontera y los integrales de divergencia.
  • Se aplica el Teorema de la Coárea para relacionar la integral sobre el dominio con la integral sobre la esfera unidad $\partial B_1$.
• Condiciones de Frontera: En el caso del semiespacio, se analizan cuidadosamente los términos de frontera bajo las condiciones de no-deslizamiento ($u=0$) y deslizamiento de Navier, demostrando que las contribuciones de borde se anulan o son manejables gracias a las propiedades de simetría y las condiciones de contorno para el campo magnético ($\text{curl } B \times n = 0$).

3. Contribuciones Clave y Resultados Principales

El trabajo establece dos teoremas principales bajo la hipótesis de que la componente radial de la velocidad $u_r$ está acotada superiormente en la esfera unidad:

Teorema 1.2 (Dominio $\mathbb{R}^3 \setminus \{0\}$):
Si $(u, B)$ es una solución suave, axisimétrica y auto-similar en $\mathbb{R}^3 \setminus \{0\}$ tal que se cumple la desigualdad:
$$u_r(r, z) < \frac{1}{3r} + \frac{2r}{3} \quad \text{en } \partial B_1,$$
entonces:

1. El campo magnético es nulo: $B \equiv 0$.
2. El campo de velocidad $u$ es necesariamente una Solución de Landau (la única familia de soluciones auto-similares no triviales para Navier-Stokes en este dominio).

Corolario 1.1 (Mejora de la condición):
Se demuestra que la condición anterior puede simplificarse a una cota constante explícita. Si $u_r(x) \leq \alpha$ en $\partial B_1$ con $\alpha < \frac{2\sqrt{2}}{3}$, entonces $u$ es una solución de Landau y $B \equiv 0$.

• Significado: Esto mejora resultados previos (como [ZWW25]) que requerían que la magnitud total $|u|$ fuera "suficientemente pequeña" ($\varepsilon$). Aquí, controlar solo la componente radial $u_r$ con una constante explícita es suficiente.

Teorema 1.3 (Semiespacio $\mathbb{R}^3_+$):
Si $(u, B)$ es una solución suave, axisimétrica y auto-similar en el semiespacio $\mathbb{R}^3_+$, satisfaciendo condiciones de no-deslizamiento o deslizamiento de Navier, y si se cumple la misma condición de acotación en la intersección con la esfera unidad ($u_r < \frac{1}{3r} + \frac{2r}{3}$ en $\partial B_1 \cap \mathbb{R}^3_+$), entonces:

• La solución es trivial: $u \equiv 0$ y $B \equiv 0$.

4. Significado e Impacto

1. Rigidez de las Soluciones MHD: El artículo demuestra que, bajo condiciones de simetría axisimétrica y ciertas cotas de velocidad, la presencia de difusión magnética no permite soluciones auto-similares no triviales con campo magnético distinto de cero. El campo magnético se "apaga" ($B \equiv 0$), reduciendo el problema al caso clásico de Navier-Stokes.
2. Generalización de Resultados Previos:
   • Extiende el trabajo de Tian y Xin (1998) y Šverák (2011) sobre Navier-Stokes al sistema MHD completo.
   • Mejora significativamente las condiciones de pequeña perturbación conocidas anteriormente. En lugar de requerir que todo el vector velocidad sea pequeño, basta con controlar la componente radial $u_r$ con una constante numérica explícita.
3. Trivialidad en Semiespacios: Confirma que en dominios con frontera (semiespacio), las soluciones auto-similares axisimétricas no pueden existir (son triviales) bajo condiciones físicas estándar de frontera, lo cual es un resultado de no-existencia fuerte.
4. Herramientas Analíticas: La técnica de multiplicar por $r B_\theta$ y utilizar la homogeneidad para cancelar términos de frontera ofrece una herramienta robusta para futuros estudios sobre la rigidez de soluciones en sistemas de acoplamiento fluido-magnético.

En resumen, el artículo cierra una brecha importante en la teoría de soluciones auto-similares para MHD, estableciendo que, en configuraciones axisimétricas, la dinámica no lineal acoplada tiende a suprimir el campo magnético o a trivializar la solución, dependiendo del dominio, siempre que la velocidad radial no crezca demasiado rápido cerca del origen.