Bifurcation analysis of Stokes waves with piecewise smooth vorticity in deep water

Sintesi Tecnica: Analisi della Biforcazione di Onde di Stokes con Vorticità a Regolarità Pezzo per Pezzo in Acque Profonde

Enunciato del Problema
Questo articolo affronta l'esistenza rigorosa di onde d'acqua bidimensionali, periodiche e stazionarie (onde di Stokes) che si propagano in un dominio fluido di profondità infinita sotto l'effetto della gravità. Lo studio si concentra su flussi rotazionali in cui la distribuzione della vorticità è a regolarità pezzo per pezzo (piecewise smooth), permettendo specificamente un numero finito di discontinuità di salto all'interno del fluido. Questa impostazione modella gli effetti di stratificazione osservati nei fenomeni oceanografici reali, come i repentini cambiamenti nel taglio della corrente.

La formulazione matematica consiste in un problema al contorno libero dove il dominio del fluido è illimitato verso il basso ($y \to -\infty$) e la superficie libera ($y = \eta(x)$) è incognita. Le equazioni governanti sono le equazioni di Eulero stazionarie per un fluido inviscido e incomprimibile. Le principali sfide identificate sono:

1. La presenza di un interfaccia interna dovuta alle discontinuità della vorticità.
2. Il dominio spaziale illimitato, che impedisce all'operatore linearizzato di essere Fredholm (un requisito standard per la classica teoria della biforcazione).
3. La necessità di gestire soluzioni deboli a causa della discontinuità della vorticità, richiedendo una riformulazione che accolga le condizioni di trasmissione attraverso l'interfaccia.

Metodologia
Gli autori impiegano un approccio analitico multi-step combinando trasformazioni di hodograph, formulazioni della funzione di altezza e teoria della biforcazione singolare:

1. Riformulazione tramite Funzione di Altezza:
   Il problema viene trasformato da un dominio fisico $(x, y)$ a un dominio rettangolare fisso utilizzando la trasformazione di Dubreil-Jacotin (trasformazione di hodograph). Le variabili indipendenti diventano $(q, p)$, dove $q=x$ e $p=-\psi$ (pseudo-funzione di corrente). La variabile dipendente è la funzione di altezza $h(q, p) = y$. Questo converte il problema del contorno libero in un PDE quasilineare ellittico con condizioni al contorno oblique su un dominio fisso. La vorticità a regolarità pezzo per pezzo $\gamma(\psi)$ introduce un problema di trasmissione con specifiche condizioni di interfaccia alla profondità in cui avvengono i salti della vorticità.

2. Approssimazione e Regolarizzazione:
   A causa del dominio illimitato, l'operatore linearizzato non è Fredholm. Per superare questo, gli autori introducono una sequenza di problemi approssimanti (parametrizzati da $\epsilon$) in cui l'operatore viene modificato affinché sia Fredholm di indice zero. Questo segue la strategia utilizzata in precedenti lavori sulle onde in acque profonde, ma adattata per la struttura del problema di trasmissione.

3. Teoria della Biforcazione Globale:
   L'esistenza di soluzioni non triviali è stabilita utilizzando la teoria della biforcazione globale analitica (specificamente il framework di Buffoni e Toland):

   • Biforcazione Locale: Gli autori identificano un punto di biforcazione dal flusso laminare (triviale) analizzando il nucleo (kernel) dell'operatore linearizzato. Dimostrano l'esistenza di un autovettore semplice e verificano la condizione di trasversalità.
   • Proprietà Nodali: Un passaggio crucialo consiste nel preservare il "modello nodale" (monotonia del profilo dell'onda) lungo la branca di biforcazione. Gli autori definiscono un insieme di soluzioni che soddisfano specifiche condizioni di segno sulle derivate e dimostrano che la curva di biforcazione locale rimane all'interno di tale insieme, impedendo la formazione di cicli chiusi o il ritorno alla branca laminare.
   • Continuazione Globale: Utilizzando il lemma topologico di Whyburn, gli autori passano al limite per $\epsilon \to 0$ del parametro di approssimazione. Verificano che l'insieme delle soluzioni per i problemi approssimanti sia compatto e chiuso, permettendo la costruzione di un continuum globale di soluzioni per il problema originale.

4. Stime e Compatezza:
   Per gestire il dominio illimitato nel limite, gli autori stabiliscono stime di decadimento esponenziale uniforme per le derivate della funzione di altezza quando $p \to -\infty$. Queste stime, derivate da argomenti di tipo Phragmén-Lindelöf e stime di tipo Schauder (citando Ladyzhenskaya e Gilbarg-Trudinger), assicurano la compattezza relativa del insieme di soluzioni negli spazi di funzione appropriati.

Risultati Chiave
Il risultato principale è il Teorema 2.1, che stabilisce l'esistenza di una branca di biforcazione globale connessa $\mathcal{K}$ di soluzioni $(c, h)$ (velocità dell'onda e funzione di altezza) nello spazio $\mathbb{R} \times C^{0,\alpha}(\mathcal{D}) \cap C^{3,\alpha}$ (regolarità pezzo per pezzo).

Il continuum $\mathcal{K}$ ha origine da una soluzione di flusso laminare e si estende globalmente. Gli autori dimostrano che lungo questa branca deve verificarsi una delle seguenti due alternative:

• (a) Velocità dell'Onda Illimitata: La velocità dell'onda tende all'infinito ($\lim c_k = \infty$).
• (b) Stagnazione Orizzontale: Il profilo dell'onda si avvicina a uno stato di stagnazione orizzontale, dove la velocità orizzontale del fluido $u$ si avvicina alla velocità dell'onda $c$ ($\lim \sup \partial_p h_k = \infty$, implicando $u \to c$). Ciò corrisponde alla formazione di un punto di stagnazione sulla superficie libera o all'interno del flusso.

I risultati valgono per funzioni di vorticità $\gamma$ che sono $C^{1,\alpha}$ pezzo per pezzo con un numero finito di salti, a condizione che la vorticità decada sufficientemente velocemente all'infinito ($O(s^{-2-r})$) e soddisfi un limite specifico legato alla gravità ($-\Gamma_{inf} < g/2^{3/4}$).

Significato e Rivendicazioni
L'articolo sostiene di colmare una specifica lacuna nella teoria matematica delle onde d'acqua affrontando simultaneamente due aspetti difficili:

1. Acque Profonde: A differenza di molti risultati esistenti limitati alla profondità finita, questo lavoro gestisce il caso di profondità infinita dove il campo di velocità e la vorticità decadono sul fondo.
2. Vorticità Discontinua: Sebbene studi precedenti (es. Constantin, Hur) abbiano trattato la vorticità liscia o la vorticità discontinua in domini limitati, questo articolo fornisce un trattamento completo per la vorticità a regolarità pezzo per pezzo in acque profonde.

Gli autori sottolineano come il loro approccio superi la natura non-Fredholm dell'operatore linearizzato in domini illimitati e le sfide tecniche delle soluzioni deboli derivanti dai salti di vorticità. Combinando la formulazione della funzione di altezza con un argomento di biforcazione singolare e il lemma di Whyburn, costruiscono rigorosamente onde ad ampia ampiezza che esibiscono effetti di stratificazione, una caratteristica indicata da Constantin come una direzione promettente per la futura ricerca nella teoria delle onde d'acqua. Il lavoro estende l'applicabilità della teoria della biforcazione globale ai problemi di trasmissione in domini illimitati.