From linear to nonlinear instabilities with application to plasma columns

Problematica
Il documento affronta una difficoltà fondamentale nella stabilità delle equazioni alle derivate parziali (PDE): dimostrare che l'instabilità lineare implica l'instabilità non lineare in assenza di una teoria di esistenza locale per le equazioni corrispondenti. Questa situazione si verifica spesso quando le instabilità lineari sono così forti da impedire l'esistenza locale delle soluzioni, o quando la teoria dell'esistenza non è ancora stata stabilita. Gli autori si concentrano sul classico problema della stabilità delle colonne di plasma nell'idrodinamica magnetica (MHD), specificamente nelle configurazioni $\theta$-pinch e $z$-pinch, dove i metodi standard di stima dell'energia (basati sulla costruzione di soluzioni approssimate e soluzioni genuine) falliscono a causa della mancanza di adeguate stime dell'energia o risultati di esistenza.

Metodologia
Per superare l'assenza di una teoria dell'esistenza e la perdita di regolarità inerente ai termini non lineari, gli autori sviluppano un metodo generale basato sull'uso di funzioni analitiche e funzioni generatrici. La strategia centrale prevede:

1. Spazi Analitici e Funzioni Generatrici: Invece di lavorare in spazi di Sobolev, gli autori definiscono spazi specifici di funzioni analitiche utilizzando funzioni generatrici $G[u](\rho)$, che controllano il raggio di analiticità. Questo framework permette di controllare accuratamente l'evoluzione del raggio di analiticità con il progredire del tempo, superando la perdita di derivate causata dalle non linearità.
2. Costruzione Diretta delle Soluzioni: Piuttosto che costruire una soluzione approssimata e stimare l'errore (una strategia che fallisce senza una teoria dell'esistenza), gli autori costruiscono una soluzione genuina del sistema non lineare come una serie infinita. La convergenza di questa serie è garantita dal framework analitico.
3. Analisi del Risolvente e della Funzione Green: Un componente tecnico chiave è lo studio dettagliato del risolvente dell'operatore linearizzato negli spazi analitici. Gli autori utilizzano la costruzione di funzioni Green per derivare i limiti sul risolvente. Ciò include la gestione dei casi in cui le funzioni Green sono singolari vicino ai confini (ad esempio, a $r=0$ o $r=r_{ext}$ in coordinate cilindriche).
4. Teoremi Generali di Instabilità:
   • Teorema 2.1 (Instabilità da Lineare a Non Lineare): Sotto ipotesi riguardanti il raggio spettrale dell'operatore lineare (specificamente l'esistenza di un autovalore con parte reale maggiore della metà del raggio spettrale) e l'invertibilità del risolvente negli spazi analitici, il documento dimostra che l'instabilità lineare implica l'instabilità non lineare.
   • Teorema 2.2 (Mal-posedness/Ill-posedness): Se le instabilità lineari sono troppo forti (ovvero il raggio spettrale è infinito), gli autori dimostrano che il sistema non lineare completo è mal posto negli spazi di Sobolev nel senso di Hadamard. Ciò significa che, anche se le soluzioni esistono, esse non possono essere continue rispetto ai dati iniziali.

Contributi Chiave e Risultati
Il documento applica questi teoremi generali alle equazioni MHD ideali che governano le colonne di plasma:

• Soluzioni Stazionarie: Gli autori analizzano le soluzioni stazionarie per le configurazioni $\theta$-pinch (dove il campo magnetico azimutale $B_\theta = 0$) e $z$-pinch (dove il campo magnetico assiale $B_z = 0$). Stabiliscono le proprietà analitiche di queste soluzioni, notando che, sebbene la pressione e i campi magnetici possano essere scelti come analitici, la densità $\rho$ può presentare singolarità al confine $r_{ext}$, richiedendo l'uso di funzioni generatrici pesate ($G_{sing}$).
• Sistema Linearizzato: Le equazioni MHD linearizzate sono ridotte all'equazione di Hain-Lüst, un'equazione differenziale del secondo ordine singolare. Gli autori eseguono un'analisi rigorosa delle funzioni Green associate a questa equazione, stabilendo i limiti sulle loro derivate vicino ai punti singolari ($r=0$ e $r=r_{ext}$).
• Applicazione a $\theta$-pinch (Teorema 3.3): Per le configurazioni $\theta$-pinch che sono linearmente instabili con un raggio spettrale finito, il documento dimostra che esse sono anche non linearmente instabili.
• Applicazione a $z$-pinch (Teorema 3.4): Per le configurazioni $z$-pinch:
  • Se il raggio spettrale $\sigma$ è finito e positivo, il sistema è non linearmente instabile.
  • Se $\sigma = +\infty$ (il che avviene sotto specifiche condizioni sul gradiente di pressione vicino al confine) e i raggi spettrali dei modi di Fourier soddisfano $\sigma_k/k \to 0$, il sistema è dimostrato essere mal posto negli spazi di Sobolev.

Significatività e Rivendicazioni
Il documento sostiene di fornire un metodo specifico per affrontare il problema di dimostrare l'instabilità non lineare in assenza di una teoria dell'esistenza. Utilizzando funzioni generatrici e stime delle funzioni Green, gli autori aggirano la necessità di stime dell'energia sulla differenza tra la soluzione genuina e quella approssimata.

La significatività del lavoro risiede nella sua applicazione al classico problema della colonna di plasma MHD, un sistema in cui i risultati di ben-posedness standard sono spesso mancanti o difficili da stabilire. Gli autori dimostrano che l'instabilità lineare è sufficiente a garantire l'instabilità non lineare (o la mal-posedness) per questi sistemi, anche quando le soluzioni sono costruite come serie infinite in spazi analitici. L'uso delle funzioni Green per dimostrare i limiti del risolvente e i risultati di mal-posedness è evidenziato come un aspetto innovativo del loro approccio rispetto alle metodologie precedenti (come quelle di Grenier). I risultati confermano che, per certe configurazioni di plasma, il sistema non è solo linearmente instabile, ma fondamentalmente mal posto nel senso di Hadamard, implicando una mancanza di dipendenza continua dai dati iniziali.