Pure-swirl loss of boundedness under $L^1_tL^2_x$ forcing: exact mixed-norm ranges

Sintesi Tecnica: Perdita di Limitatezza del Pure-Swirl sotto Forzante $L^1_t L^2_x$

Enunciato del Problema
Il documento affronta le proprietà di regolarità e limitatezza delle soluzioni alle equazioni di Navier–Stokes incomprimibili forzate in un cilindro circolare tridimensionale $D = B_2(0, 1) \times (0, 1)$. Nello specifico, investiga se una soluzione classica possa perdere la limitatezza in $L^\infty$ (esplodere) in un tempo finito $T$ mentre la forza esterna $f$ rimane all'interno di spazi a norma mista specifici, in particolare lo spazio della classe dell'energia $L^1(0, T; L^2(D))$. Questa costruzione mira a isolare l'effetto della forzante esterna sui meccanismi di esplosione senza fare affidamento sull'amplificazione non lineare, poiché il termine convettivo è assorbito dalla pressione nell'ansatz specifico utilizzato.

Metodologia
Gli autori costruiscono una soluzione esplicita di "pure-swirl" (vorticità pura), dove il campo di velocità è puramente azimutale: $v(x, t) = W(r, t)e_\theta$. In questa configurazione, il termine di convezione non lineare $(v \cdot \nabla)v$ non ha componente azimutale, e la sua componente radiale è esattamente bilanciata dal gradiente di pressione. Di conseguenza, la componente azimutale $W(r, t)$ soddisfa un'equazione parabolica scalare guidata dalla componente azimutale della forza $F(r, t)$:
$$\partial_t W - \left(\partial_r^2 + \frac{1}{r}\partial_r - \frac{1}{r^2}\right)W = F.$$
La costruzione perfeziona un profilo precedente di Zhang [23] introducendo una cancellazione anulare. Gli autori definiscono un profilo $\phi_0(\rho)$ basato su una funzione $A(\rho)$ regolare a supporto compatto su un anello $(a, b)$. Questa specifica scelta assicura che il profilo svanisca vicino all'asse di simmetria ($r=0$) e si comporti come $1/r$ al bordo esterno del supporto. Questa cancellazione è cruciale per mantenere la regolarità all'asse di simmetria quando la soluzione viene moltiplicata per una potenza non intera $r^\alpha$.

La soluzione è definita come $W(r, t) = r^\alpha \phi(r, t) + \beta r$, dove $\phi(r, t)$ è una riscalatura autosimilare di $\phi_0$ con una scala dipendente dal tempo $R(t) = \sqrt{2(T-t)}$. La forza $f$ è derivata direttamente da questo ansatz.

Contributi Chiave e Risultati

1. Intervalli Esatti delle Norme Miste:
   Il documento stabilisce le condizioni precise di norma mista sia per la forza $f$ che per la velocità $v$.

   • Forza: La forza appartiene a $L^q(0, T; L^p(D))$ se e solo se $\alpha > 3 - \frac{2}{p} - \frac{2}{q}$.
   • Velocità: La velocità appartiene a $L^\sigma(0, T; L^m(D))$ se e solo se $\alpha > 1 - \frac{2}{m} - \frac{2}{\sigma}$.
   • Raggiungimento del Caso Limite (Endpoint): Scegliendo i parametri tali che $1/p + 1/q > 1$, la costruzione produce una forza in $L^1(0, T; L^2(D))$. Questo è un significativo perfezionamento rispetto ai risultati precedenti, poiché raggiunge la soglia della forzante della classe dell'energia.

2. Tassi di Esplosione (Blow-up Rates):
   Mentre $t \uparrow T$, la soluzione esibisce i seguenti comportamenti asintotici:

   • Supremo della Velocità: $\|v(t)\|_{L^\infty(D)} \asymp (T-t)^{-(1+\alpha)/2} \to \infty$.
   • Enstrofia: $\|\nabla v(t)\|_{L^2(D)}^2 \asymp (T-t)^{\alpha-1}$.
   • Norma della Forza: $\|f(t)\|_{L^p(D)} \asymp (T-t)^{-(3-\alpha)/2 + 1/p}$.

3. Regolarità e Unicità:

   • La soluzione è classica su $[0, T)$ e regolare per $t < T$.
   • La soluzione si estende fortemente in $L^2(D)$ come una soluzione unica di tipo Leray–Hopf al tempo $T$.
   • La soluzione soddisfa l'uguaglianza dell'energia su $[0, T]$.
   • La perdita di limitatezza avviene strettamente al tempo $t=T$, mentre la forza diventa illimitata solo a questo tempo terminale.

4. Applicabilità al Sistema di Stokes:
   A causa della cancellazione del termine convettivo da parte della pressione, lo stesso esempio si applica al sistema di Stokes forzato, dimostrando che il meccanismo di esplosione è guidato interamente dal termine di forzante piuttosto che dalle interazioni non lineari.

Significato e Rivendicazioni
Il documento sostiene di fornire un "perfezionamento diretto e autosufficiente" del caso $k=1$ della precedente costruzione pesata degli autori [2]. Il suo significato primario risiede nel:

• Perfezionamento del Caso Limite: Corregge la condizione di norma mista per il caso $k=1$, raggiungendo con successo il regime di forzante $L^1_t L^2_x$, che non era stato pienamente catturato nel precedente argomento gerarchico generale.
• Isolamento degli Effetti della Forzante: Utilizzando l'ansatz di pure-swirl, la costruzione isola il meccanismo di perdita di limitatezza alla forza esterna, provando che anche con una forzante della classe dell'energia ($L^1_t L^2_x$) e una soluzione che soddisfa l'uguaglianza dell'energia e l'unicità nella classe Leray–Hopf, la limitatezza in $L^\infty$ può fallire.
• Regolarità all'Asse: L'introduzione della cancellazione anulare permette l'uso di esponenti $\alpha$ non interi pur preservando la regolarità all'asse di simmetria, un ostacolo tecnico nelle precedenti costruzioni di profili.

Gli autori notano esplicitamente che questo risultato non affronta il problema del Millennium Prize riguardante la regolarità globale delle equazioni di Navier–Stokes non forzate con dati regolari, poiché l'esplosione è guidata da un termine di forzante singolare. Tuttavia, fornisce un controesempio rigoroso all'intuizione secondo cui la forzante della classe dell'energia garantisca soluzioni limitate.