Coarse-Grained Resolution and Pressure-Flux Work Depletion for Navier-Stokes CKN Badness

Sintesi Tecnica: Risoluzione a Grana Grossa e Deplezione del Lavoro Pressione–Flusso per la "Badness" di Navier–Stokes CKN

Enunciato del Problema
Il saggio affronta il problema della regolarità locale per le equazioni di Navier–Stokes incomprimibili tridimensionali, specificamente all'interno del quadro della teoria di Caffarelli–Kohn–Nirenberg (CKN). La sfida centrale consiste nel comprendere il comportamento delle scale "CKN-bad" (ovvero, regioni spazio-temporali in cui la quantità scale-critica $\Psi(r)$, che coinvolge le norme $L^3$ della velocità e $L^{3/2}$ della pressione, è elevata). L'autore mira a scomporre questo problema di regolarità locale in due componenti distinte: una risoluzione a grana grossa (ciò che è visibile a una scala filtrata) e un residuo sub-filtro (ciò che è nascosto dal filtro). Inoltre, il saggio investiga il bilancio energetico dei campi risolti, specificamente la distribuzione del "lavoro combinato pressione–flusso" con segno $G_\ell$, per determinare come l'energia venga trasferita, dissipata o riportata indietro (backscatter) attraverso una catena finita di scale.

Metodologia
Il saggio impiega un'analisi matematica rigorosa basata sulla grossolanità spaziale (mollificazione) e su identità energetiche esatte, evitando euristiche probabilistiche o numeriche.

1. Grossolanità Spaziale (Coarse Graining): L'autore definisce un filtro spaziale $S_\ell$ con lunghezza $\ell > 0$, che produce la velocità risolta $U_\ell$ e la pressione $P_\ell$, e un tensore dello stress di Reynolds $R_\ell = S_\ell(u \otimes u) - U_\ell \otimes U_\ell$.
2. Scomposizione delle Quantità CKN: La quantità CKN completa $\Psi(r)$ è scomposta in una parte risolta $\Psi_\ell(r)$ e una parte residua $\Omega_\ell(r)$ che rappresenta le oscillazioni sub-filtro.
3. Telescoping a Catena Finita: L'analisi è condotta su una catena geometrica fissa di lastre paraboliche adiacenti $Q_k$, con raggi $r_k = \theta^k r_0$. L'autore costruisce una somma "telescopica" di identità energetiche localizzate attraverso queste lastre.
4. Estrazione del Lavoro Attivo: Invece di assumere che la distribuzione del lavoro $G_\ell$ sia non negativa o abbia un segno fisso, il saggio utilizza una famiglia finita di profili di test per estrarre costruttivamente un peso non negativo. Ciò consente all'autore di identificare se il lavoro è "avanti" (dissipativo) o "indietro" (backscatter) su ogni lastra.
5. Scomposizione della Pressione: Il termine di pressione è suddiviso in una parte singolare locale (tramite trasformate di Riesz) e una coda armonica, permettendo un controllo preciso dell'invarianza di gauge e dei contributi armonici al lavoro.

Contributi Chiave e Risultati

1. Il Lemma di Risoluzione (Incondizionato)
Il primo risultato principale è una disuguaglianza algebrica che mette in relazione la "badness" CKN completa con le sue componenti a grana grossa e residue:
$$\Psi(r) \leq 4\Psi_\ell(r) + 4\Omega_\ell(r)$$

• Significato: Questo lemma è incondizionato; non dipende dalle equazioni di Navier–Stokes, dalle disuguaglianze di energia locale o da condizioni di piccolezza. Stabilisce che se una scala è "bad" (grande $\Psi$), essa deve essere o visibile nei campi risolti ($\Psi_\ell$) o trasportata da un grande residuo sub-filtro ($\Omega_\ell$).
• Implicazione: Un rilevatore basato esclusivamente sui campi risolti non può mancare una singolarità a meno che il residuo sub-filtro non sia quantitativamente grande. Ciò evita "falsi negativi" nella rilevazione della regolarità dovuti ad artefatti di filtraggio.

2. Il Teorema di Deplezione del Lavoro a Catena Finita
Il secondo risultato principale è un'identità esatta per il lavoro combinato pressione–flusso $G_\ell = \Pi_\ell + \nabla \cdot (P_\ell U_\ell)$ su una catena finita di lastre.

• Estrazione Costruttiva: Per ogni catena finita, l'autore dimostra l'esistenza di un peso di test specifico $\phi_k$ su ogni lastra tale che l'ampiezza del lavoro $|W_k|$ sia limitata inferiormente da una norma coefficiente della distribuzione del lavoro.
• Disuguaglianza Telescopica: Sommando le identità energetiche locali si ottiene una disuguaglianza pesata:
  $$\sum_{k} w_k (W_k^+ + D_k) \leq E_0^- + \sum_{k} w_k |L_k| + \sum_{k} w_k W_k^-$$
  dove $W_k^+$ è il lavoro in avanti, $W_k^-$ è il backscatter (lavoro negativo), $D_k$ è la dissipazione risolta e $L_k$ rappresenta la perdita di localizzazione (leakage).
• Significato: Questo teorema tiene conto rigorosamente del "backscatter" (trasferimento di energia dalle piccole alle grandi scale) e della "perdita" (energia persa ai bordi delle funzioni di test). Dimostra che il lavoro in avanti e la dissipazione sono "pagati" dall'energia cinetica iniziale, dalla perdita e dal lavoro negativo.

3. L'Interfaccia del Rilevatore Condizionale
Il saggio sintetizza questi risultati in un'implicazione condizionale. Se esiste una stima indipendente di "osservabilità a grana grossa" (ovvero, se una grande badness risolta $\Psi_\ell$ implica un grande coefficiente di lavoro attivo $A_k(G_\ell)$), allora il teorema di deplezione si applica al lavoro rilevato.

• Il Gap: Il saggio dichiara esplicitamente che l'implicazione $\Psi_\ell \geq \epsilon \implies A_k(G_\ell) \geq c$ non è provata qui. Essa è identificata come un problema separato e difficile di compattezza-rigidità che può fallire a causa di cancellazioni pressione–flusso, code di pressione armoniche o profili coerenti a bassa frequenza.

4. Esempi Diagnostici e Limitazioni
L'autore fornisce esempi che dimostrano come:

• La pressione armonica (che è un gauge in senso globale) compie un lavoro locale reale e non può essere ignorata.
• Il trasferimento in avanti e il backscatter sono entrambi algebricamente possibili per i campi a grana grossa.
• La cancellazione pressione–flusso può nascondere grandi componenti individuali all'interno di un piccolo lavoro combinato $G_\ell$.

Significato e Rivendicazioni
Il saggio sostiene di fornire un calcolo di ostacolo a grana grossa a scala finita per il problema della regolarità di Navier–Stokes. Il suo contributo primario è strutturale e algebrico:

1. Separazione delle Competenze: Separa chiaramente il problema del "rilevamento" di una singolarità (che richiede di provare che la badness risolta implichi un grande lavoro) dal problema del "rendiconto" dell'energia (che è gestito dall'esatta deplezione del lavoro).
2. Risoluzione Incondizionata: Rimuove l'ambiguità delle scale sub-filtro dal criterio CKN tramite il lemma di risoluzione.
3. Rendiconto Esatto: Fornisce un registro esatto per il flusso di energia, la dissipazione e il backscatter su catene finite, tracciando esplicitamente la perdita (leakage) e le code armoniche.

L'autore inquadra modestamente il lavoro come l'isolamento della "risoluzione incondizionata e delle identità del lavoro a catena fissa" necessarie per un'interfaccia di rilevamento. Il saggio non pretende di risolvere il problema della regolarità di Navier–Stokes o di dimostrare che le singolarità non possano esistere. Al contrario, stabilisce le precise condizioni matematiche sotto le quali un rilevatore basato sul lavoro risolto avrebbe successo o fallirebbe, evidenziando che la difficoltà rimanente risiede nel passo di "osservabilità a grana grossa" (ovvero, escludere profili silenziosi come le code armoniche o le cancellazioni).