Nontrivial integrable weak stationary solutions to active scalar equations with non-odd drift

Sintesi Tecnica: Soluzioni Stazionarie Deboli Non Triviali e Integrabili per Equazioni Scalari Attive con Drift Non Dispari

Enunciato del Problema
Questo articolo affronta l'esistenza di soluzioni deboli non triviali per l'equazione scalare attiva stazionaria sulla toro $\mathbb{T}^d$ ($d \geq 2$):
$$\begin{cases} \nabla \cdot (\theta u) + \Lambda^\gamma \theta = 0 \\ u = T\theta \end{cases}$$
dove $\theta$ è un campo scalare, $u$ è un campo di velocità privo di divergenza, $\Lambda^\gamma = (-\Delta)^{\gamma/2}$ è il Laplaciano frazionario con $0 < \gamma \leq 2$, e $T$ è un operatore di tipo Calderón-Zygmund di convoluzione. Il vincolo strutturale centrale di questo lavoro è che il moltiplicatore di Fourier $m(\xi)$ dell'operatore $T$ non è dispari.

Gli autori si concentrano sulla costruzione di soluzioni che siano funzioni integrabili (specificamente appartenenti a $L^{2-\epsilon}(\mathbb{T}^d)$ e $\dot{B}^{-\epsilon}_{\infty,\infty}(\mathbb{T}^d)$ per $0 < \epsilon < 1$) piuttosto che meriamente distribuzioni. Una sfida significativa sorge poiché per i moltiplicatori dispari, l'operatore $T$ è auto-aggiunto antisimmetrico su $L^2$, forzando la media del termine non lineare $\int_{\mathbb{T}^d} w T w$ a essere nulla per perturbazioni regolari $w$. Questo annullamento impedisce la cancellazione degli errori di ordine superiore nei classici schemi di integrazione convessa. Il lavoro restringe il proprio ambito ai moltiplicatori non dispari per aggirare questo ostacolo, osservando che gli operatori generalmente auto-aggiunti antisimmetrici rimangono fuori portata per gli attuali metodi.

Metodologia
La costruzione impiega il metodo dell'integrazione convessa, introdotto originariamente da De Lellis e Székelyhidi. L'approccio prevede una procedura iterativa in cui viene costruita una sequenza di approssimazioni regolari $(\theta_q, u_q, R_q)$ che soddisfano un'equazione rilassata con un campo di stress errore $R_q$. L'obiettivo è far tendere $\|R_q\|_{\dot{H}^{-s}} \to 0$ per $q \to \infty$.

Componenti tecnici chiave includono:

1. Sfruttamento del Moltiplicatore Non Dispari: La natura non dispari di $m(\xi)$ permette alla media del termine non lineare di essere non nulla. Nello specifico, la costruzione utilizza il fatto che l'immagine di $m(\xi) + m(-\xi)$ contiene una base per $\mathbb{R}^d$ (stabilito tramite i Lemmi 2.9 e 2.10). Ciò consente la cancellazione dell'errore di stress di ordine superiore utilizzando la media della perturbazione.
2. Blocchi Costruttivi Intermittenti: Le perturbazioni $w_{q+1}$ sono costruite utilizzando "lastre intermittenti" (Lemma 2.12). Queste sono funzioni altamente oscillanti con un grado di intermittenza variabile che decresce verso lo zero nelle fasi superiori dell'iterazione. Questa specifica struttura permette agli autori di controllare le norme $L^p$ della soluzione mantenendo la necessaria regolarità.
3. Stime di Regolarità Negativa: A differenza di precedenti schemi di integrazione convessa per le equazioni dei fluidi che spesso stimano gli errori in norme $L^p$ o $C^0$, questo lavoro stima il campo di stress in norme di Sobolev negative ($\dot{H}^{-s}$). Questa scelta è cruciale poiché evita di richiedere che le derivate agiscano direttamente sui blocchi costruttivi ad alta frequenza, ammorbidendo così il requisito che i blocchi costruttivi siano soluzioni stazionarie di qualsiasi PDE.
4. Definizione di Soluzione Debole: Poiché le soluzioni costruite risiedono in spazi con regolarità negativa dove il prodotto $\theta u$ non è classicamente definito, gli autori adottano una definizione di soluzioni deboli basata sui paraprodotti. Definiscono il prodotto tramite la convergenza assoluta dell'espansione del paraprodotto in $\dot{H}^{-s}$, seguendo il framework di [1] e [21].

Contributi Principali e Risultati
Il risultato principale (Teorema 1.3) stabilisce che per ogni $0 < \gamma \leq 2$, esistono soluzioni deboli non triviali $(\theta, u)$ per l'equazione scalare attiva stazionaria tali che:

• $\theta, u \in \bigcap_{0<\epsilon<1} (\dot{B}^{-\epsilon}_{\infty,\infty}(\mathbb{T}^d) \cap L^{2-\epsilon}(\mathbb{T}^d))$.
• Il prodotto $\theta u$ è ben definito come paraprodotto in $\dot{H}^{-s}(\mathbb{T}^d)$ per un $s$ sufficientemente grande.
• La coppia soddisfa l'equazione nel senso della definizione debole del paraprodotto.

Il documento fornisce una prova induttiva dettagliata (Proposizione 4.1) dimostrando che gli errori di oscillazione, Nash e dissipazione possono essere resi arbitrariamente piccoli nella norma $\dot{H}^{-s}$ scegliendo parametri di frequenza $\lambda_q$ sufficientemente grandi.

Significatività e Ambito
Gli autori affermano che questo lavoro fornisce la prima costruzione di soluzioni deboli per l'equazione scalare attiva stazionaria sul toro che sono funzioni integrabili piuttosto che semplici distribuzioni. Ciò è evidenziato nella Remark 1.4.

Il lavoro è modesto riguardo ai propri limiti:

• Le soluzioni non appartengono a $L^2(\mathbb{T}^d)$, il che rimane un problema aperto difficile.
• I risultati sono limitati a moltiplicatori che non sono dispari. Gli autori dichiarano esplicitamente che il loro risultato non si applica all'equazione del Quasi-Geostrofico di Superficie (SQG), poiché il suo moltiplicatore è dispari.
• Il metodo si basa sul fatto che il moltiplicatore sia un operatore di tipo Calderón-Zygmund. Il testo nota che l'equazione Magneto-Geostrofica (MG) coinvolge un moltiplicatore illimitato, ponendola al di fuori dell'ambito dell'attuale metodo, pur suggerendo che questo sia un interessante problema aperto.
• La costruzione utilizza una classe specifica di moltiplicatori non dispari; gli autori non pretendono di risolvere l'esistenza di soluzioni per moltiplicatori generalmente auto-aggiunti antisimmetrici.

In sintesi, il saggio estende la tecnica dell'integrazione convessa a una specifica classe di equazioni scalari attive stazionarie sfruttando la simmetria non dispari del drift per cancellare gli errori di ordine superiore, utilizzando blocchi costruttivi intermittenti per ottenere l'integrabilità e impiegando norme di Sobolev negative per definire la soluzione debole.