Lyapunov Unstable Motion Bifurcating from a Circular Vortex Filament

1. Il Problema e il Contesto

Il lavoro si inserisce nello studio della dinamica e della stabilità dei filamenti di vortice chiusi nello spazio tridimensionale ($\mathbb{R}^3$), governati dall'Equazione di Induzione Localizzata (Localized Induction Equation - LIE):
$$\mathbf{x}_t = \mathbf{x}_s \times \mathbf{x}_{ss}$$
dove $\mathbf{x}(s,t)$ è il vettore posizione del filamento parametrizzato per lunghezza d'arco $s$.

L'oggetto di studio specifico è la stabilità del filamento vorticoso circolare (un anello di vortice ideale). In un precedente lavoro ([2]), gli stessi autori avevano dimostrato la stabilità orbitale del filamento circolare rispetto a perturbazioni asimmetriche. La stabilità orbitale implica che la soluzione perturbata rimane vicina alla varietà delle simmetrie del sistema (rotazioni attorno all'asse di simmetria e traslazioni), ma non garantisce che rimanga vicina alla traiettoria specifica del riferimento temporale.

Il problema centrale di questo articolo è colmare il divario tra stabilità orbitale e stabilità di Lyapunov. La stabilità di Lyapunov richiederebbe che la soluzione perturbata rimanga vicina alla soluzione di riferimento $\mathbf{x}^R(t)$ per ogni $t \geq 0$ senza considerare le simmetrie. Gli autori vogliono dimostrare l'esistenza di perturbazioni che soddisfano la stabilità orbitale (rimangono vicine alla forma circolare) ma falliscono la stabilità di Lyapunov a causa di una deriva secolare (accumulo di errore nel tempo).

2. Metodologia

Per affrontare il problema, gli autori adottano un approccio basato sulla teoria della biforcazione locale (teorema di Crandall-Rabinowitz).

A. Definizione del Moto a Vite Assiale (Axial Screw Motion)

Vengono introdotte soluzioni speciali chiamate "moti a vite assiale", definite come:
$$\mathbf{x}(s, t) = Q_{\Omega t}^z \mathbf{y}(s + ct) + V t \mathbf{e}_3$$
dove:

• $Q_{\Omega t}^z$ è una rotazione attorno all'asse $z$ con velocità angolare $\Omega$.
• $\mathbf{y}$ è il profilo spaziale (curva chiusa) che ruota e si trasla.
• $c$ è una velocità di scorrimento tangenziale (che cambia solo la parametrizzazione).
• $V$ è la velocità di traslazione lungo l'asse di simmetria.

Queste soluzioni mantengono la forma invariata nel tempo ma possono avere velocità di traslazione $V$ diverse da quella del filamento circolare di riferimento.

B. Formulazione del Sistema di Perturbazione

Sostituendo l'ansatz del moto a vite nell'equazione LIE, il problema si riduce a un'equazione stazionaria per il profilo $\mathbf{y}$:
$$\mathbf{y}_s \times \mathbf{y}_{ss} = c\mathbf{y}_s + \Omega \mathbf{e}_3 \times \mathbf{y} + V \mathbf{e}_3$$
Gli autori linearizzano questo sistema attorno al profilo circolare $\mathbf{x}^R_0$ introducendo una perturbazione $\mathbf{z}$ e decomponendola lungo il triedro di Frenet-Serret (tangente, normale, binormale).

C. Riduzione del Sistema e Teorema di Biforcazione

Il sistema viene ridotto eliminando le variabili ausiliarie (come la componente tangenziale e le costanti di traslazione) tramite il Teorema della Funzione Implicita, lasciando un'equazione per le componenti essenziali del profilo (normale e binormale).
Viene studiato l'operatore linearizzato $L$ attorno alla soluzione banale (il cerchio). Gli autori identificano i valori critici della velocità angolare $\Omega_k$ per cui l'operatore linearizzato ha un nucleo non banale (autovalore zero):
$$\Omega_k = \frac{\sqrt{k^2 - 1}}{R^2}, \quad k \in \mathbb{N}, k \geq 2$$
Per questi valori critici, viene applicato il teorema di biforcazione di Crandall-Rabinowitz per dimostrare l'esistenza di una famiglia di soluzioni non banali che si diramano dal cerchio.

3. Risultati Principali (Teorema 1.5)

Il teorema principale stabilisce che per ogni intero $k \geq 2$, esiste una famiglia di moti a vite assiali $\{\mathbf{x}(\lambda)\}$ che biforcano dal filamento circolare. Queste soluzioni possiedono le seguenti proprietà fondamentali:

1. Stabilità Orbitale: Esiste una costante $C$ tale che la distanza tra la soluzione perturbata e la varietà delle simmetrie del cerchio ($\Sigma$) è limitata uniformemente nel tempo:
   $$\text{dist}(\mathbf{x}(\lambda)(t), \Sigma) \leq C|\lambda|$$
   Questo significa che la forma della soluzione rimane sempre vicina a quella di un cerchio (a meno di rotazioni e traslazioni).

2. Instabilità di Lyapunov (Deriva Secolare): Per $\lambda \neq 0$, la distanza tra la soluzione perturbata e la specifica traiettoria di riferimento $\mathbf{x}^R(t)$ cresce linearmente nel tempo:
   $$|\mathbf{x}(\lambda)(s, t) - \mathbf{x}^R(s, t)| \geq \gamma t \quad \text{per } t \to \infty$$
   Questa deriva è causata da una differenza nella velocità di traslazione lungo l'asse di simmetria. L'analisi asintotica mostra che la velocità $V_\lambda$ delle nuove soluzioni è:
   $$V_\lambda = \frac{1}{R} - \left( \frac{k^2(k^2-1)}{2R^3} \right)\lambda^2 + o(\lambda^2)$$
   Poiché $V_\lambda \neq 1/R$ per $\lambda \neq 0$, le due soluzioni si separano indefinitamente nel tempo, violando la stabilità di Lyapunov.

4. Contributi Chiave e Significato

• Dimostrazione del Divario Stabilità Orbitale/Lyapunov: Il lavoro fornisce un esempio esplicito e non banale in cui un sistema dinamico è stabile in senso orbitale ma instabile in senso di Lyapunov. Questo chiarisce la natura delle perturbazioni che possono essere "piccole" in termini di forma geometrica ma "grandi" in termini di posizione assoluta nel tempo.
• Costruzione di Soluzioni Chiuse: A differenza di lavori precedenti (come Kida [29] o Garcia e Vega [19]) che hanno trovato soluzioni non banali, questo paper si concentra specificamente su filamenti chiusi con la stessa lunghezza e parametrizzazione per arco del cerchio di riferimento. Le soluzioni di Kida, ad esempio, non sono necessariamente chiuse o non rispettano la stessa lunghezza.
• Metodologia Rigorosa: L'uso della teoria della biforcazione su spazi di Sobolev ($H^4$) garantisce l'esistenza globale nel tempo di queste soluzioni per l'equazione LIE, collegando la dinamica geometrica alla teoria delle equazioni alle derivate parziali.
• Implicazioni Fisiche: I risultati suggeriscono che, anche per un anello di vortice apparentemente stabile, piccole perturbazioni asimmetriche possono portare a una deriva irreversibile della posizione dell'anello lungo il suo asse, pur mantenendo la sua forma circolare. Questo è rilevante per la comprensione della dinamica dei vortici in fluidi ideali (Euler).

In sintesi, il paper dimostra matematicamente che la stabilità orbitale del filamento circolare non implica la stabilità di Lyapunov, costruendo esplicitamente una famiglia di soluzioni che "scivolano" via dalla traiettoria di riferimento a causa di una differenza nella velocità di traslazione assiale.