The Nonlocal-to-Local Limit for the Inviscid Leray-α Equations

Sintesi Tecnica: Il Limite Nonlocale-Locale per le Equazioni di Leray-$\alpha$ Inviscide

Enunciato del Problema
Questo articolo investiga le equazioni di Leray-$\alpha$ inviscide, una regolarizzazione nonlocale delle equazioni di Euler incomprimibili. Il sistema è definito su un dominio $\Omega \subseteq \mathbb{R}^d$ ($d=2,3$) con un parametro di scala di lunghezza $\alpha > 0$. Le equazioni mettono in relazione la velocità filtrata $u_\alpha$ con la velocità fisica $v_\alpha$ tramite la relazione dell'operatore di Helmholtz $v_\alpha = u_\alpha - \alpha^2 \Delta u_\alpha$ (o più generalmente $u_\alpha = K_\alpha * v_\alpha$), mentre l'equazione del momento è $\partial_t v_\alpha + (u_\alpha \cdot \nabla)v_\alpha + \nabla p_\alpha = 0$.

L'obiettivo primario è stabilire la convergenza delle soluzioni delle equazioni di Leray-$\alpha$ alle soluzioni delle equazioni di Euler quando il parametro di regolarizzazione $\alpha \to 0$. Gli autori affrontano due regimi distinti:

1. Soluzioni Forti: Convergenza in spazi di Sobolev ad alta regolarità ($H^s$ con $s > d/2 + 1$) su tutto lo spazio $\mathbb{R}^d$.
2. Soluzioni Deboli: Convergenza in $L^2$ su domini limitati, assumendo dati iniziali in $L^2$ e una specifica proprietà di scaling locale legata alla teoria della turbolenza, senza assumere una regolarità superiore.

Metodologia

Parte 1: Soluzioni Forti e Kernel Generali
Gli autori adattano le tecniche del lavoro di Masmoudi sul limite inviscido delle equazioni di Navier-Stokes e del lavoro di Linshiz e Titi sul modello Euler-$\alpha$. Una distinzione metodologica chiave è che la prova per il modello Leray-$\alpha$ viene condotta senza utilizzare la struttura della vorticità del sistema, a differenza delle prove per l'Euler-$\alpha$ che si basano pesantemente sull'equazione della vorticità.

La strategia di prova prevede una decomposizione in tre parti per stimare la differenza tra la soluzione di Leray-$\alpha$ $v_\alpha$ e la soluzione di Euler $v$:

1. Regolarizzazione dei Dati Iniziali: I dati iniziali $v_0$ e $v_\alpha^0$ vengono regolarizzati tramite un cutoff nello spazio di Fourier (parametro $\delta$) per creare $v_0^\delta$ e $v_\alpha^{0,\delta}$.
2. Disuguaglianza Triangolare: L'errore $\|v_\alpha - v\|$ viene diviso in tre termini:
   • $\|v_\alpha - v_\alpha^\delta\|$: La differenza tra la soluzione di Leray-$\alpha$ con i dati originali e la soluzione di Leray-$\alpha$ con i dati regolarizzati.
   • $\|v_\alpha^\delta - v^\delta\|$: La differenza tra la soluzione di Leray-$\alpha$ regolarizzata e la soluzione di Euler regolarizzata.
   • $\|v^\delta - v\|$: La differenza tra la soluzione di Euler regolarizzata e la soluzione di Euler originale.
3. Generalizzazione del Kernel: Gli autori mantengono un kernel generale $K_\alpha$ durante tutta la derivazione, specificando solo le proprietà richieste per la convergenza (limitatezza in $H^l$ e convergenza all'identità). Il particolare kernel di Helmholtz viene applicato solo nel passaggio finale per derivare tassi di convergenza espliciti.

Parte 2: Soluzioni Deboli e Scaling Locale
Per il regime delle soluzioni deboli, gli autori assumono dati iniziali in $L^2$ e impongono una proprietà di scaling locale (Equazione 12) lontano dal bordo. Questa condizione limita la funzione di struttura del secondo ordine:
$$\sup_{\alpha>0} \int_0^T \int_K |v_\alpha(x+y, t) - v_\alpha(x, t)|^2 dx dt \leq E_K |y|^{2\gamma}$$
per $|y| \geq \eta(\alpha)$. Tale assunzione è motivata dalla teoria della turbolenza di Kolmogorov del 1941 e dal range inerziale, ma crucialmente, non implica una regolarità classica.

La prova di convergenza segue l'approccio di [19] e [20] per il limite di viscosità evanescente. Utilizza una tecnica di mollificazione con una funzione di test $j(z)$ per decomporre il termine nonlineare $(u_\alpha \otimes v_\alpha)$. La prova dimostra che la differenza tra i termini nonlineari delle equazioni di Ler-$\alpha$ ed Euler svanisce dividendo l'errore in tre componenti (A, B, C) che coinvolgono i campi mollificati e utilizzando la convergenza debole di $v_\alpha$ verso $v_\infty$ e la convergenza forte dei campi mollificati.

Contributi Chiave e Risultati

1. Convergenza delle Soluzioni Forti (Teorema 1):

   • Gli autori dimostrano che per dati iniziali in $H^s(\mathbb{R}^d)$ ($s > d/2 + 1$), le soluzioni forti delle equazioni di Leray-$\alpha$ convergono alla soluzione forte delle equazioni di Euler in $L^\infty(0, T; H^s)$ al tendere di $\alpha \to 0$.
   • Tassi Espliciti: Derivano i tassi di convergenza per norme inferiori $H^{s'}$ ($0 \leq s' \leq s-1$). Il tasso dipende dall'errore dei dati iniziali e da un termine proporzionale a $\alpha^\iota t$, dove $\iota$ dipende dal divario tra $s$ e $s'$.
   • Kernel Generali (Corollario 1): I risultati sono estesi a una vasta classe di kernel regolarizzanti $K_\alpha$, a condizione che soddisfino specifiche proprietà di limitatezza e approssimazione.

2. Convergenza delle Soluzioni Deboli (Teorema 2):

   • Su un dominio limitato, se una sequenza di soluzioni deboli soddisfa la proprietà di scaling locale (12) e converge debolmente in $L^2$, il limite è una soluzione debole delle equazioni di Euler.
   • La soluzione limite $v_\infty$ eredita la proprietà di scaling.
   • Questo risultato accoglie soluzioni deboli "selvagge" (wild) che possono esibire una dissipazione anomala dell'energia (coerente con la Legge Zero di Kolmogorov), distinguendole dalle soluzioni forti che conservano l'energia.

3. Distinzione Metodologica:

   • Il documento nota esplicitamente che la prova per Leray-$\alpha$ non si basa sulla formulazione della vorticità, il che rappresenta un significativo distacco dalla letteratura sui modelli Euler-$\alpha$. Ciò consente l'indagine della convergenza per una classe più generale di kernel.

Significato e Rivendicazioni

Gli autori posizionano questo lavoro come un intervento volto ad affrontare questioni fondamentali riguardanti il modello inviscido di Leray-$\alpha$, che ha ricevuto comparativamente meno attenzione nella letteratura rispetto al modello Euler-$\alpha$ o ai modelli di Leray-$\alpha$ viscosi.

• Limite Nonlocale-Locale: Il lavoro stabilisce il rigoroso legame matematico tra la regolarizzazione nonlocale di Leray-$\alpha$ e le equazioni locali di Euler, confermando la validità del modello come schema di regolarizzazione.
• Confronto con Altri Limiti: Gli autori osservano che i tassi di convergenza riguardo all'ordine di $\alpha$ sono comparabili a quelli trovati nel limite inviscido di Navier-Stokes (Masmoudi [40]) e nel limite Euler-$\alpha$ (Linshiz e Titi [34]).
• Connessione con la Turbolenza: Utilizzando la proprietà di scaling locale nell'analisi delle soluzioni deboli, il lavoro collega la convergenza matematica alle teorie fisiche della turbolenza (funzioni di struttura di Kolmogorov), permettendo la convergenza di soluzioni che possono non essere regolari.
• Condizioni al Contorno: Il lavoro chiarisce la gestione delle condizioni al contorno, notando che l'assunzione di scaling è applicata lontano dal bordo per evitare complicazioni con gli strati limite, una difficoltà nota nei limiti inviscidi.

Il documento conclude che le equazioni di Leray-$\alpha$ inviscide forniscono una robusta regolarizzazione nonlocale delle equazioni di Euler, con proprietà di convergenza che valgono sia per i regimi regolari che per quelli turbolenti (deboli) sotto appropriate assunzioni.