Stability of the Shape for Circular Vortex Filaments under Non-Symmetric Perturbations

1. Il Problema

Il lavoro si concentra sulla dinamica dei filamenti di vortice chiusi nello spazio tridimensionale $\mathbb{R}^3$, governati dall'Equazione di Induzione Localizzata (LIE - Localized Induction Equation):
$$x_t = x_s \times x_{ss}$$
dove $x(s, t)$ rappresenta la posizione del filamento parametrizzata dalla lunghezza d'arco $s$ al tempo $t$.

L'oggetto di studio è la stabilità del filamento vorticoso circolare (una soluzione stazionaria che si muove a velocità costante lungo l'asse $z$). Sebbene sia noto che i filamenti circolari sono instabili di Lyapunov a causa della crescita lineare del modo di traslazione (modo zero), gli autori si pongono l'obiettivo di dimostrare la stabilità orbitale non lineare della forma del filamento.

Il problema principale affrontato è la rimozione delle ipotesi di simmetria presenti nel lavoro precedente del primo autore [1]. In particolare, si vuole dimostrare che, anche sotto perturbazioni non simmetriche, la forma del filamento rimane stabile globalmente nel tempo, a meno di traslazioni spaziali e rotazioni attorno all'asse di simmetria.

2. Metodologia

La strategia di dimostrazione si basa su un'analisi armonica delle perturbazioni e sullo sfruttamento di leggi di conservazione geometriche.

• Decomposizione della Perturbazione:
  La soluzione $x(s,t)$ è decomposta come $x = x^R + \phi$, dove $x^R$ è il profilo circolare di riferimento e $\phi$ è la perturbazione. La perturbazione $\phi$ viene scomposta in modi di Fourier:

  • Modo zero ($g = P_0\phi$): Corrisponde alla traslazione media.
  • Modi $\pm 1$ ($\psi = P_{\pm 1}\phi$): Corrispondono alle rotazioni e alle variazioni di fase del cerchio.
  • Modi ad alta frequenza ($\tilde{\phi} = P_{|n|\ge 2}\phi$): Rappresentano le deformazioni della forma.

• Distanza Orbitale:
  Per gestire l'instabilità dovuta alle simmetrie (traslazioni e rotazioni), gli autori definiscono una distanza orbitale rispetto alla varietà $\Sigma$ generata dal profilo circolare e dalle sue simmetrie:
  $$\text{dist}(x(t), \Sigma) = \inf_{\alpha, \tau} \| x(t) - (Q^\alpha_z x^R_0 + \tau) \|_{H^2}$$
  L'obiettivo è mostrare che questa distanza rimane limitata da una costante moltiplicata per la grandezza della perturbazione iniziale.

• Strumenti Chiave:

  1. Conservazione dell'Energia Relativa: Utilizzata per controllare i modi ad alta frequenza ($|n| \ge 2$). Si dimostra che l'energia relativa è equivalente alla norma $H^2$ per questi modi, garantendo che le deformazioni ad alta frequenza rimangano piccole.
  2. Conservazione dell'Impulso Fluidodinamico ($P[x]$): Definito come $P[x] = \frac{1}{2} \int x \times x_s \, ds$. Questa quantità è conservata nel tempo per curve chiuse. È lo strumento cruciale per controllare i modi a bassa frequenza ($\pm 1$ e zero), che non sono controllati dall'energia relativa.
  3. Lemma di Stabilità Geometrica: Un risultato centrale (Lemma 2.6) che lega i coefficienti dei modi $\pm 1$ all'impulso fluido, dimostrando che le deviazioni dall'orbita circolare sono vincolate dall'impulso iniziale.
  4. Disuguaglianza Isoperimetrica: Nell'Appendice A, viene mostrata la connessione tra l'impulso fluido e una disuguaglianza isoperimetrica, che fornisce un vincolo geometrico per le curve chiuse.

3. Risultati Principali

Il teorema principale (Teorema 1.1) stabilisce quanto segue:

Sotto l'ipotesi che la perturbazione iniziale $x_0$ sia sufficientemente piccola in norma $H^2$ per i modi $|n| \ge 2$ e che l'impulso iniziale $P[x_0]$ sia vicino al valore di riferimento $\pi R^2 e_3$ (con un errore dell'ordine di $\delta^2$), allora:

1. Stabilità Orbitale Globale: Esistono costanti $C, \delta_0$ tali che per ogni $0 < \delta \le \delta_0$:
   $$\text{dist}(x(t), \Sigma) \le C\delta, \quad \forall t \ge 0$$
   Questo significa che la forma del filamento rimane vicina a quella di un cerchio, a meno di traslazioni e rotazioni.

2. Stima del Modo Zero (Deriva Lineare): La soluzione $x(t)$ rimane in un intorno di ordine $O(\delta^2 t)$ della soluzione di riferimento $x^R(t)$:
   $$|P_0(x(t) - x^R(t) - x_0)| \le C\delta^2 t$$
   Questo conferma che, sebbene la forma sia stabile, il centro di massa del filamento può subire una deriva lineare nel tempo a causa dell'instabilità del modo zero.

3. Ottimalità: Viene fornito un esempio concreto (rotazione attorno all'asse $y$) che mostra una deriva lineare nel tempo, confermando che la stima $O(\delta^2 t)$ è ottimale e non può essere migliorata a una stabilità asintotica forte senza ulteriori vincoli.

4. Contributi Chiave

Rispetto al lavoro precedente [1], questo paper introduce innovazioni significative:

• Rimozione delle ipotesi di simmetria: A differenza di lavori precedenti che richiedevano perturbazioni simmetriche, questo risultato vale per perturbazioni generali (non simmetriche).
• Introduzione della distanza orbitale: Formalizzazione rigorosa della stabilità della "forma" separando i gradi di libertà legati alle simmetrie del sistema.
• Uso dell'Impulso Fluido per i modi bassi: Sviluppo di un lemma geometrico che utilizza la conservazione dell'impulso fluido per controllare i modi $\pm 1$ (rotazioni e cambi di fase), che sono tipicamente problematici nelle analisi di stabilità lineare.
• Connessione Geometrica: Collegamento esplicito tra l'impulso fluido e una disuguaglianza isoperimetrica, fornendo una base geometrica solida per le condizioni iniziali.

5. Significato e Implicazioni

Questo lavoro è significativo per la teoria delle equazioni alle derivate parziali non lineari e la fluidodinamica matematica:

• Avanzamento nella Stabilità Non Lineare: Dimostra che la stabilità orbitale può essere ottenuta per sistemi integrabili come la LIE anche in assenza di simmetrie, un risultato non banale data l'instabilità di Lyapunov intrinseca.
• Controllo dei Modi Bassi: Offre una metodologia nuova per gestire i modi a bassa frequenza in sistemi conservativi, sfruttando quantità conservate (come l'impulso) che agiscono come vincoli geometrici, piuttosto che affidarsi solo all'energia.
• Rilevanza Fisica: I risultati hanno implicazioni per la comprensione della dinamica dei vortici in superfluidità e nella turbolenza, dove la stabilità della forma dei filamenti di vortice è cruciale. La distinzione tra la stabilità della forma e la deriva del centro di massa è fisicamente rilevante per la modellazione di tali sistemi.

In sintesi, Aiki e Higaki dimostrano che, nonostante la crescita lineare della traslazione, la forma geometrica di un filamento di vortice circolare è robusta e stabile globalmente nel tempo contro perturbazioni arbitrarie, purché l'impulso iniziale sia sufficientemente vicino a quello del cerchio ideale.