Finite-Chain CKN-Bad Scale Counting for Navier-Stokes: Standard PDE Closure and Canonical Detector Realization

Sintesi Tecnica: Conteggio delle Scale CKN-Bad a Catena Finita per Navier–Stokes

Problema e Motivazione
Questo articolo affronta il problema del "bookkeeping" (contabilità) a catena finita all'interno della teoria della regolarità parziale delle equazioni di Navier–Stokes incomprimibili tridimensionali. Nello specifico, investiga il inverso del criterio di $\epsilon$-regolarità di Caffarelli–Kohn–Nirenberg (CKN): se una catena finita di scale normalizzate rimane "CKN-bad" (ovvero, la quantità velocità-pressione critica per la scala $\Phi$ eccede una soglia $\varepsilon_{CKN}$), quali canali di PDE standard devono concentrarsi per sostenere tale "badness"?

La motivazione primaria è evitare la "tautologia". Un teorema di conteggio è considerato vuoto se il suo lato destro (il costo) contiene implicitamente la stessa quantità di CKN-badness stessa. L'articolo cerca di limitare la dimensione pesata di un insieme di scale cattive utilizzando "costi dei canali" non negativi derivati da standard quantità di PDE — come la concentrazione della componente verticale, la fuga anulare, le code di pressione e i residui di pressione-flusso-energia — senza ricostruire la norma CKN completa sul lato destro.

Metodologia e Framework
L'analisi è condotta all'interno del framework delle soluzioni deboli adeguate, utilizzando una catena geometrica finita di scale $r_k = \lambda^k r_0$. La metodologia è divisa in due tracce parallele: un Approccio PDE Standard e una Realizzazione del Rilevatore Canonico.

1. Approccio PDE Standard:

   • Input: La dimostrazione si basa su due input classici importati: (1) la compattezza delle soluzioni deboli adeguate sotto un pieno limite critico locale $\Psi(1) \le M$ (inclusa la convergenza della decomposizione della pressione) e (2) la regolarità dei limiti di compattezza dove la componente verticale della velocità $v_3 = 0$.
   • Meccanismo di Chiusura: L'articolo stabilisce un teorema di "compattezza qualitativa a una componente". Dimostra che se la concentrazione della componente verticale ($\int |u_3|^3$) è sufficientemente piccola, e il pieno limite critico $\Psi(1)$ è controllato, allora la quantità CKN $\Phi$ diventa piccola a un raggio specifico $\rho_M$.
   • Definizione di Costo: Il "costo standard" $C_{std}$ è definito come la somma di termini non tautologici:
     • $C_{3,k}$: Concentrazione della componente verticale ($\int |u_3|^3$).
     • $L_{ann, k}$: Fuga anulare (energia e dissipazione nell'anello).
     • $P_{tail, k}$: Costi delle code di pressione (errori di commutatore, code armoniche ed errori di troncamento), escludendo esplicitamente la piena oscillazione della pressione a media nulla.
     • $R_{PFE, k}$: Residui di Pressione-Flusso-Energia (discrepanze, difetti o residui di confronto del rilevatore), anche questi escludendo le norme CKN centrali.

2. Realizzazione del Rilevatore Canonico:

   • L'articolo definisce un nuovo "rilevatore canonico emendato" per realizzare la filosofia del conteggio a finestra finita in modo basato sulle coordinate.
   • A differenza dei rilevatori astratti, questo modello costruisce esplicitamente le coordinate utilizzando componenti standard di PDE: pressione attiva, pressione armonica, flusso, energia e residui a dimensione finita.
   • Crucialmente, si dimostra che il rilevatore "non emendato" è insufficiente per estrarre la CKN-badness perché manca di controlli su $L^\infty_t L^2_x$ per la velocità e sui modi di bassa pressione trattenuti.
   • Il rilevatore emendato aggiunge l'energia centrale ($A_{core}$), la dissipazione centrale ($E_{core}$) e i modi di bassa pressione trattenuti ($P_{low}$) alla struttura dei costi. Questa emendazione permette l'estrazione della piccolezza CKN tramite interpolazione della velocità e decomposizione della pressione.

Risultati Chiave

1. Compattezza Qualitativa a Una Componente (Teorema 4.3):
   Sotto il pieno limite critico $\Psi(1) \le M$, se la concentrazione della componente verticale $\int_{Q_1} |u_3|^3$ è sufficientemente piccola, la quantità CKN $\Phi(\rho_M)$ è piccola. Questo risultato è condizionato dai classici input di compattezza e regolarità della componente nulla.

2. Chiusura Locale Non-Tautologica (Teorema 5.1):
   Se il costo standard totale $C_{std}$ (dominato dal canale della componente verticale nella dimostrazione) è piccolo, allora la soluzione è CKN-piccola al raggio $\rho_M$. Il contrapposto afferma che la CKN-badness forza la concentrazione di almeno un canale standard.

3. Teorema di Conteggio a Catena Finita (Teorema 6.3):
   Per una catena di scale finita $k=0, \dots, K$, la somma pesata delle scale cattive è limitata dalla somma pesata dei costi dei canali standard:
   $$\sum_{k \in B} w_k \le \frac{1}{\varepsilon_{close}(M)} \sum_{k=0}^K w_k \left( C_{3,k} + L_{ann, k} + P_{tail, k} + R_{PFE, k} \right)$$
   dove $B$ è l'insieme degli indici dove $\Phi_k(\rho_M) \ge \varepsilon_{CKN}$.

4. Teorema di Conteggio del Rilevatore (Teorema 8.15):
   Un teorema di conteggio parallelo è dimostrato per il rilevatore canonico emendato. Stabilisce che la somma pesata delle scale cattive è limitata dalla somma pesata della distanza del rilevatore emendato (coinvolgendo $L_{AEF}$, $P_{tail,+}$ e $R_{PFE,+}$). Questo teorema dimostra la "realizzazione superiore" (rilevatore limitato dai costi), l'"audit inferiore" (costi limitati dal rilevatore) e l'"estrazione CKN" (la piccola distanza del rilevatore implica la piccolezza CKN).

Rivendicazioni e Significato
L'articolo si posiziona esplicitamente come un contributo tecnico conservativo piuttosto che una svolta nella regolarità globale.

• Ambito: I risultati sono a "finestra finita" e "catena finita". L'articolo non rivendica un teorema di regolarità a scala uniforme o una prova della regolarità globale per Navier–Stokes.
• Modestia sui Meccanismi: Il principale meccanismo di chiusura dimostrato è il canale della componente verticale. Sebbene il registro includa la fuga anulare, le code di pressione e i residui PFE, l'articolo ammette di non aver ancora dimostrato che questi canali aggiuntivi forzino indipendentemente la piccolezza CKN. Un lemma di chiusura "pressione-flusso-energia" più forte rimane un problema aperto.
• Distinzione del Rilevatore: L'articolo chiarisce che il rilevatore canonico emendato è un nuovo modello, non una ricostruzione di precedenti rilevatori astratti. Dimostra che questo specifico rilevatore emendato realizza con successo la filosofia del conteggio senza tautologia.
• Significato: Il lavoro fornisce un rigoroso framework di "bookkeeping" che isola i canali specifici di PDE responsabili del sostenere il comportamento singolare (CKN-badness) all'interno di un intervallo di scala finito, assicurando che le stime di conteggio non assumano implicitamente la regolarità che intendono testare. Formalizza la relazione tra la compattezza a una componente e la distribuzione delle scale cattive.