Existence and stability of Sadovskii vortices: from patch to smooth vortices

1. Il Problema

Il lavoro affronta la questione fondamentale dell'esistenza e della stabilità dei vortici di Sadovskii nelle equazioni di Eulero bidimensionali per fluidi incomprimibili.
Un vortice di Sadovskii è definito come una coppia di vortici contro-rotanti (un dipolo) che si muovono con velocità costante e sono in contatto completo lungo l'asse di simmetria.

• Contesto: Tali configurazioni emergono come punti finali (endpoint) di rami di soluzioni stazionarie per coppie di vortici quando la velocità di traslazione aumenta a impulso fisso. Sono stati osservati numericamente e sperimentalmente in scie aerodinamiche e collisioni di anelli vorticosi.
• Sfida Matematica: La costruzione analitica di tali vortici è stata storicamente difficile a causa della loro natura "tangente". Le costruzioni variazionali precedenti richiedevano vincoli di massa totale (circolazione totale) fissi, il che limitava la validità a casi specifici (es. $p=2$ per il dipolo di Chaplygin-Lamb o $p=\infty$ per patch vorticose) e imponeva restrizioni sul parametro $p$ (spesso $p > 4/3$). Inoltre, non era chiaro se esistessero vortici lisci (smooth) che toccano l'asse, oltre alle soluzioni a "patch" (discontinuità).

2. Metodologia

Gli autori sviluppano un nuovo quadro variazionale scalante-invariante che rimuove il vincolo sulla massa totale, basandosi invece sulla massimizzazione dell'energia cinetica soggetta a due vincoli conservati:

1. Impulso ($I$): $\int x_2 \omega \, dx$.
2. Norma $L^p$ della vorticità: $\|\omega\|_p$ (con $1 < p \le \infty$).

I pilastri metodologici includono:

• Disuguaglianza Energetica Sharp (Affilata): Gli autori dimostrano una disuguaglianza fondamentale che lega l'energia cinetica $E(\omega)$ all'impulso e alla norma $L^p$:
  $$E(\omega) \lesssim_p \|x_2 \omega\|_1^\alpha \|\omega\|_p^\beta$$
  dove gli esponenti $\alpha$ e $\beta$ sono univocamente determinati dalla richiesta di invarianza di scala sotto la trasformazione $\omega(x) \mapsto \varepsilon \omega(\lambda x)$. Questa disuguaglianza è "sharp", ovvero l'uguaglianza è raggiunta proprio dai vortici di Sadovskii.
• Principio di Concentrazione-Compattezza: Per dimostrare l'esistenza di massimizzatori, applicano il principio di Lions alla successione di massimizzanti. La struttura della disuguaglianza energetica (in particolare la condizione di super-additività stretta degli esponenti) permette di escludere i fenomeni di "vanishing" (svanimento) e "dichotomy" (separazione in due parti distanti), garantendo la compattezza delle successioni.
• Assenza di Vincolo di Massa: A differenza dei lavori precedenti, non si impone un limite superiore alla massa totale. Questo permette di ottenere soluzioni che saturano naturalmente la configurazione di contatto con l'asse di simmetria come conseguenza della struttura variazionale, piuttosto che come imposizione a priori.
• Equazione di Eulero-Lagrange: Si deriva l'equazione che caratterizza i massimizzatori, che assume la forma di un'equazione semilineare ellittica:
  $$\kappa \omega^{p-1} = (G[\omega] - W x_2)_+$$
  dove $G[\omega]$ è la funzione di corrente, $W$ è la velocità di traslazione e $(\cdot)_+$ indica la parte positiva.

3. Contributi Chiave e Risultati

A. Esistenza di una Famiglia Unificata

Il teorema principale (Teorema 1.2) stabilisce l'esistenza di una famiglia uniparametrica di vortici di Sadovskii per ogni $p \in (1, \infty]$.

• Transizione di Regolarità:
  • Per $p = \infty$, si ottengono i classici vortici a patch (la vorticità è costante all'interno di un dominio e zero fuori), che corrispondono alla configurazione di Sadovskii originale.
  • Per $p \in (1, \infty)$, si ottengono vortici lisci (di classe $C^m$). All'aumentare di $p$ verso 1, la regolarità della soluzione aumenta.
  • Il caso $p=2$ recupera il noto dipolo di Chaplygin-Lamb.
• Geometria di Contatto: È dimostrato che ogni massimizzatore ha un supporto compatto che tocca necessariamente l'asse di simmetria ($x_2=0$). Questo contatto è una proprietà intrinseca della soluzione del problema variazionale, non un'ipotesi.

B. Stabilità di Lyapunov

Gli autori dimostrano la stabilità delle soluzioni costruite:

• Per $1 < p < \infty$, l'insieme dei massimizzatori è stabile di Lyapunov rispetto alla norma $\|\cdot\|_{L^p} + \|x_2(\cdot)\|_{L^1}$.
• Per $p = \infty$ (patch), la stabilità è stabilita rispetto alla norma dell'impulso $\|x_2(\cdot)\|_{L^1}$, con una sottoclasse di massimizzatori a massa minima ($S'(\infty)$) necessaria per garantire la compattezza forte in $L^1$.

C. Stima Quantitativa dello Spostamento

Un risultato significativo è la stima quantitativa dello spostamento orizzontale del centro di massa di una soluzione perturbata.

• Si dimostra che una soluzione perturbata si propaga a una velocità molto vicina a quella del vortice di Sadovskii sottostante.
• Viene fornita una stima del tipo $|P(t) - W_\infty t| \lesssim \varepsilon |t|$, dove $P(t)$ è lo spostamento e $W_\infty$ la velocità del vortice. Questo conferma che la geometria di contatto e la dinamica di traslazione sono robuste rispetto a piccole perturbazioni.

4. Significato e Impatto

• Unificazione Teorica: Il lavoro risolve il problema dell'esistenza per l'intero spettro di regolarità ($p \in (1, \infty]$), colmando il divario tra le soluzioni a patch (discontinue) e quelle lisce, che in precedenza erano trattate con metodi separati e spesso con vincoli restrittivi.
• Superamento dei Limiti Precedenti: Rimuovendo il vincolo di massa totale, il metodo supera la barriera $p > 4/3$ presente nelle tecniche di energia penalizzata, permettendo la costruzione di vortici con regolarità arbitrariamente alta (avvicinandosi al caso $p=1$).
• Meccanismo Strutturale: Il risultato suggerisce che l'apparizione di vortici di Sadovskii in collisioni di anelli o dipoles viscosi è guidata da un principio di massimizzazione dell'energia che favorisce naturalmente la configurazione di contatto massimo tra i vortici.
• Stabilità Dinamica: La dimostrazione di stabilità fornisce una base matematica solida per l'osservazione sperimentale di queste strutture come stati finali stabili nell'evoluzione di flussi vorticosi.

In sintesi, il paper fornisce una teoria variazionale completa e robusta per i vortici di Sadovskii, dimostrando che la loro geometria "tangente" è una conseguenza necessaria della massimizzazione dell'energia in un quadro scalante-invariante, e ne garantisce la stabilità dinamica.