On axisymmetric self-similar solutions to the MHD system

Titolo: Soluzioni Auto-Simili Assialsimmetriche al Sistema MHD

Autore: Shaoheng Zhang

---

1. Il Problema

Il lavoro si concentra sullo studio delle soluzioni stazionarie, auto-simili e assialsimmetriche del sistema di Magnetoidrodinamica (MHD) con diffusione magnetica in $\mathbb{R}^3$. Il sistema è descritto dalle seguenti equazioni:
$$\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}$$
dove $u$ è la velocità del fluido, $B$ il campo magnetico e $p$ la pressione.

Le soluzioni sono considerate auto-simili, il che significa che sono invarianti sotto la scalatura:
$$u_\lambda(x) = \lambda u(\lambda x), \quad B_\lambda(x) = \lambda B(\lambda x), \quad p_\lambda(x) = \lambda^2 p(\lambda x).$$
In coordinate cilindriche $(r, \theta, z)$, le soluzioni sono assialsimmetriche e assumono la forma:
$$u = u_r(r, z)e_r + u_\theta(r, z)e_\theta + u_z(r, z)e_z, \quad B = B_\theta(r, z)e_\theta.$$
L'obiettivo principale è caratterizzare tali soluzioni in due domini:

1. Lo spazio intero privato dell'origine: $\mathbb{R}^3 \setminus \{0\}$.
2. Il semispazio: $\mathbb{R}^3_+$, soggetto a condizioni al contorno di tipo "no-slip" (aderenza) o "Navier slip" (scorrimento).

2. Metodologia

L'approccio metodologico si basa su tecniche di analisi variazionale e stime integrali, sfruttando le proprietà di omogeneità delle soluzioni auto-simili.

• Riduzione a un'equazione scalare per il campo magnetico: Il passo cruciale è dimostrare che la componente toroidale del campo magnetico, $B_\theta$, deve essere identicamente nulla. Se $B \equiv 0$, il sistema MHD si riduce alle equazioni di Navier-Stokes stazionarie, per le quali esistono già risultati di classificazione noti (soluzioni di Landau).
• Moltiplicazione e Integrazione: Si moltiplica l'equazione differenziale soddisfatta da $B_\theta$ per il termine $r B_\theta$ e si integra su domini anulari (o intersezioni di anelli con il semispazio).
• Integrazione per parti e Proprietà di Omogeneità: Si utilizzano le proprietà di omogeneità $(-1)$ di $B_\theta$ e $(-1)$ di $u$ per semplificare i termini di bordo e i termini di divergenza. In particolare, si sfrutta il fatto che $x \cdot \nabla B_\theta = -B_\theta$ per le soluzioni auto-simili.
• Stima Energetica e Disuguaglianza Chiave: Si ottiene un'identità integrale della forma:
  $$\int_{\Omega} r |\nabla B_\theta|^2 + |B_\theta|^2 \left( \frac{1}{2r} - \frac{3}{2}u_r \right) = 0.$$
  La dimostrazione si basa sull'analisi del segno del termine tra parentesi. Utilizzando la disuguaglianza $|\nabla B_\theta| \geq \frac{1}{|x|}|B_\theta|$ (derivata dall'omogeneità), si mostra che se il termine tra parentesi è positivo, l'unico modo per soddisfare l'uguaglianza è che $B_\theta \equiv 0$.
• Condizione al Contorno: La dimostrazione richiede una condizione di limitazione sulla componente radiale della velocità $u_r$ sulla sfera unità $\partial B_1$.

3. Contributi Chiave e Risultati Principali

Teorema 1.2 (Dominio $\mathbb{R}^3 \setminus \{0\}$)

Se $(u, B)$ è una soluzione liscia, auto-simile e assialsimmetrica nel dominio $\mathbb{R}^3 \setminus \{0\}$ che soddisfa la disuguaglianza:
$$u_r(r, z) < \frac{1}{3r} + \frac{2r}{3} \quad \text{sulla sfera unità } \partial B_1,$$
allora:

1. Il campo magnetico è nullo ovunque: $B \equiv 0$.
2. Il campo di velocità $u$ è necessariamente una soluzione di Landau (le uniche soluzioni auto-simili non banali per Navier-Stokes in questo dominio).

Corollario 1.1 (Miglioramento del limite)

Il teorema precedente implica che se $u_r(x) \leq \alpha$ sulla sfera unità con $\alpha < \frac{2\sqrt{2}}{3}$, allora $u$ è una soluzione di Landau e $B \equiv 0$.

• Significato: Questo risultato migliora lavori precedenti (es. [ZWW25]) che richiedevano una condizione di picco globale $|u(x)| \leq \varepsilon$ con $\varepsilon$ sufficientemente piccolo. Qui, il controllo è richiesto solo sulla componente radiale $u_r$ e con una costante esplicita e più grande, rendendo la condizione più debole e più generale.

Teorema 1.3 (Semispazio $\mathbb{R}^3_+$)

Nel semispazio $\mathbb{R}^3_+$, sotto le condizioni al contorno di no-slip ($u=0$) o Navier slip ($u \cdot n = 0$, ecc.), e assumendo la stessa condizione di limitazione su $u_r$ sull'intersezione della sfera unità con il semispazio ($\partial B_1 \cap \mathbb{R}^3_+$):

• L'unica soluzione possibile è la soluzione banale: $u \equiv 0$ e $B \equiv 0$.
• Questo estende i risultati noti per Navier-Stokes (Kang, Miura, Tsai, 2018) al sistema MHD completo, dimostrando che la presenza del campo magnetico non genera nuove soluzioni auto-simili non banali in presenza di queste condizioni al contorno.

4. Significato e Impatto

1. Classificazione Completa: Il lavoro fornisce una classificazione rigorosa delle soluzioni auto-simili assialsimmetriche per il sistema MHD stazionario. Dimostra che, in assenza di swirl magnetico e sotto condizioni di crescita controllata della velocità radiale, il campo magnetico non può sostenersi da solo in configurazioni auto-simili non banali; il sistema collassa nelle soluzioni di Landau per i fluidi puri.
2. Raffinamento delle Ipotesi: Il risultato del Corollario 1.1 è significativo perché sostituisce l'ipotesi di "piccola norma" globale ($|u| \leq \varepsilon$) con una condizione esplicita e più debole sulla sola componente radiale ($u_r \leq \alpha$). Questo suggerisce che la dinamica della componente radiale è il fattore determinante per la stabilità o l'esistenza di tali soluzioni.
3. Trivialità nel Semispazio: La dimostrazione che tutte le soluzioni nel semispazio sono banali (zero) è un risultato di non-esistenza forte. Ciò conferma che i fenomeni di singolarità auto-simili (come le soluzioni di Landau) non possono verificarsi in un semispazio con condizioni al contorno fisiche standard, nemmeno in presenza di accoppiamento magnetico.
4. Metodologia Robusta: La tecnica di integrazione per parti con pesi specifici ($r B_\theta$) e l'uso delle proprietà di omogeneità offrono un modello metodologico che potrebbe essere applicato ad altri problemi di fluidodinamica con simmetrie specifiche.

In sintesi, il paper di Zhang risolve un problema aperto nella teoria della MHD, dimostrando che le soluzioni auto-simili non banali sono estremamente rare (o inesistenti nel caso di semispazio) e che il campo magnetico, in queste configurazioni, tende a estinguersi, lasciando dominare la dinamica fluidodinamica classica descritta dalle soluzioni di Landau.