$L^p$ Stability of Vortex Patches in Two Dimensional Domains

Sintesi Tecnica: Stabilità $L^p$ di Patch di Vortici in Domini Bidimensionali

Enunciato del Problema
Questo articolo investiga la stabilità orbitale di patch di vortici governati dalle equazioni di Euler incomprimibili bidimensionali su domini fissi $\Omega \subseteq \mathbb{R}^2_+$. La vorticità $\omega$ evolve secondo $\partial_t \omega + u \cdot \nabla \omega = 0$ con condizioni al contorno di scivolamento (slip boundary conditions). Sebbene le soluzioni generali delle equazioni di Euler 2D possano esibire instabilità (ad esempio, crescita doppio-esponenziale dei gradienti di vorticità), la stabilità può essere stabilita per classi specifiche di dati iniziali utilizzando metodi variazionali.

La sfida specifica affrontata è la mancanza di una teoria unificata di stabilità $L^p$ per i patch di vortici su domini bidimensionali generali che operi senza vincoli a priori sulle norme $L^1$ o $L^p$ della vorticità. I lavori precedenti sono stati limitati da vincoli specifici:

• Abe e Choi [1] hanno stabilito la stabilità per i dipoli di Lamb nel semipiano, ma richiedevano un limite $L^1$.
• Abe, Choi e Jeong [2] hanno rimosso il vincolo $L^1$, ma erano limitati all'ambito $L^2$.
• Dong e Luo [9] hanno esteso i risultati a strisce (strips) e domini a volume finito debole, ma hanno mantenuto il vincolo $L^1$ ed erano limitati alla stabilità $L^2$.

Metodologia
L'autore impiega un quadro variazionale di energia penalizzata. Definisce il funzionale di energia penalizzata:
$$E_{p,\lambda}[\omega] = E[\omega] - \frac{1}{p}\lambda \|\omega\|_p^p$$
dove $E[\omega]$ è l'energia cinetica e $\lambda > 0$ è un parametro. Lo studio si concentra sul problema di minimizzazione:
$$I_{\mu,\lambda}(p) = \inf_{\omega \in K_\mu} \{-E_{p,\lambda}[\omega]\}$$
dove lo spazio ammissibile $K_\mu$ consiste di vorticità non negative con un primo momento (impulso) fisso $\int_\Omega x_2 \omega \, dx = \mu$, ma crucialmente, senza un limite superiore $L^1$ o $L^p$ imposto.

La metodologia centrale comprende tre componenti tecniche principali:

1. Stime di Energia e Intervalli di Parametri: Stabilire limiti $L^p$ uniformi per le sequenze minimizzanti utilizzando la disuguaglianza di Hölder e la disuguaglianza di Young, identificando le soglie critiche per $p$ (specificamente $p > 4/3$) e le condizioni su $\lambda$ per garantire che l'infimo sia negativo.
2. Esistenza di Minimizzatori: Dimostrare l'esistenza dei minimizzatori e la loro compattezza. Ciò richiede di superare la perdita di invarianza per scala spaziale e traslazione nei domini generali.
   • Per il Semipiano ($\mathbb{R}^2_+$): Vengono utilizzati argomenti di scala per ridurre il problema a una forma standard.
   • Per le Strisce ($S$): Viene sviluppato un argomento di compattezza-concentrazione raffinato. Utilizzano la simmetrizzazione di Steiner per dimostrare la subadditività stretta del funzionale di energia, escludendo il caso di "dicotomia" nel principio di compattezza di Lions.
   • Per i Domini a Volume Finito Debole ($D$): Aggirano la necessità di subadditività stretta sfruttando il tasso di decadimento intrinseco $q$ della geometria del dominio (specificamente la condizione di volume $\int_{D_l} x_2^q dx < \infty$) per imporre direttamente la compattezza.
3. Stabilità Orbitale: Dimostrare che l'insieme dei minimizzatori è orbitalmente stabile sotto la dinamica Euleriana. Ciò si basa sulla conservazione delle norme $L^p$ e del primo momento lungo le traiettorie delle particelle, combinata con il teorema generale di convergenza per le sequenze minimizzanti.

Contributi Chiave e Risultati
L'articolo stabilisce una teoria unificata di stabilità $L^p$ per tre tipi specifici di domini: il semipiano, le strisce di qualsiasi larghezza e i domini che soddisfano una condizione di volume finito debole.

• Esistenza e Compattezza (Teorema 1.4): L'autore dimostra che, per parametri adeguati $p, \mu, \lambda$, il funzionale di energia penalizzata ammette un minimizzatore. Ogni sequenza minimizzante possiede una sottosequenza che converge fortemente in $L^p$ e $L^1$ (per il momento pesato) a un minimizzatore $\omega$.
  • Per $\mathbb{R}^2_+$: Valido per $p > 4/3$.
  • Per le Strisce: Valido per $p > 2$ con qualsiasi $\lambda > 0$, o per $p = 2$ a condizione che $\lambda > 2\pi^4/L^2$.
  • Per i Domini a Volume Finito Debole: Valido per $p > 4/3$ se il tasso di decadimento $q \in [0, 2]$, e per $4/3 < p \le q/(q-1)$ se $q \in (2, 4)$.
• Proprietà Strutturali: I minimizzatori soddisfano l'equazione ellittica $\omega^{p-1} = \lambda(\psi - Wx_2)_+$, dove $\psi$ è la funzione di corrente e $W$ è una costante strettamente positiva. Si dimostra che i minimizzatori hanno supporto compatto e possiedono una regolarità specifica ($C^{m,\alpha}$).
• Stabilità Orbitale (Teorema 1.5): L'insieme dei minimizzatori $S_{\mu,\lambda}$ è orbitalmente stabile. Per ogni $\epsilon > 0$, esiste un $\delta > 0$ tale che se i dati iniziali sono entro $\delta$ dall'insieme dei minimizzatori (in termini di distanza $L^p$ e distanza $L^1$ pesata), la soluzione rimane entro $\epsilon$ dell'insieme per tutto il tempo.
• Estensione con Vincolo $L^1$ (Teorema 1.7): Come supplemento, l'articolo fornisce risultati di stabilità per il dominio a volume finito debole $D$ per tutti i $q \ge 0$ e $p > 1$, a condizione che venga imposto un limite superiore $L^1$ nello spazio ammissibile.

Significatività
L'articolo sostiene di sintetizzare ed estendere gli approcci di Abe e Choi [1], Abe et al. [2] e Dong e Luo [9] in un quadro completo. La sua principale significatività risiede nel:

1. Rimozione dei Vincoli: Rimuove con successo il requisito del limite a priori $L^1$ per la stabilità nei casi del semipiano e della striscia, ed estende i risultati $L^2$ a $L^p$ generali ($p > 4/3$) senza tali limiti.
2. Quadro Unificato: Fornisce una teoria unificata che copre tre distinti setting geometrici (semipiano, striscia e domini generali a volume finito debole) che precedentemente venivano trattati separatamente o con limitazioni.
3. Strategie Innovative: Il lavoro introduce strategie nuove per gestire la perdita di invarianza per scala e traslazione. Nello specifico, l'uso dei tassi di decadimento del dominio per imporre la compattezza nei domini a volume finito debole e gli argomenti di simmetrizzazione di Steiner raffinati per le strisce rappresentano avanzamenti metodologici significativi rispetto alle precedenti applicazioni della compattezza-concentrazione.

L'autore osserva che, sebbene i risultati espandano significativamente l'ambito delle strutture di vortici provabilmente stabili, rimangono delle limitazioni, in particolare riguardo alla soglia critica $p=4/3$ e alla necessità di limiti $L^1$ per determinati intervalli di parametri in domini generali. L'articolo conclude identificando questioni aperte riguardanti le condizioni geometriche ottimali, i problemi a bordo libero (free-boundary problems), e l'unicità e la struttura fine dei minimizzatori.