Finite-Window Singularity Audits and Local-to-Clean Defect Transfer for Navier-Stokes

Sintesi Tecnica: Audit di Singolarità a Finestra Finita e Trasferimento di Difetti da Locale-a-Pulito per Navier–Stokes

1. Enunciato del Problema
Il documento affronta il problema della regolarità locale per le equazioni di Navier–Stokes incomprimibili tridimensionali. Nello specifico, investiga i requisiti strutturali per un "ramo non-CKN" — una sequenza di scale in cui una soluzione debole adeguata non entra nella regione di piccolezza di Caffarelli–Kohn–Nirenberg (CKN), che altrimenti garantirebbe la regolarità locale. La questione centrale è: se una singolarità persiste attraverso le scale, quali sono i meccanismi precisi che le permettono di sopravvivere alle osservazioni a finestra finita, di nascondersi agli osservabili standard e di riprodursi da scala a scala rimanendo realizzabile dalle equazioni di Navier–Stokes?

Il documento non sostiene di aver dimostrato la regolarità delle soluzioni di Navier–Stokes né di aver costruito una soluzione singolare. Mira invece a ridurre il problema delle potenziali singolarità a un'ostruzione algebrica e analitica altamente strutturata.

2. Metodologia
Il documento impiega un quadro in due parti: un Audit di Singolarità a Finestra Finita e un Trasferimento di Difetti da Locale-a-Pulito.

• L'Audit (Pagamento e Occultamento): Gli autori modellano la persistenza della "cattiveria" (quantità a scala critica) come un registro contabile finanziario. Dimostrano che, affinché un ramo non-CKN persista, esso debba generare o "fornitura critica non tassata" (energia o flusso non dissipato) o "accumulo di perdite" (perdite dovute a cutoff e localizzazione). Ciò è formalizzato attraverso una disuguaglianza di registro critico a scala finita derivata dalla disuguaglianza dell'energia locale e dalle stime di interpolazione standard.
• Il Trasferimento (Locale-a-Pulito): Il documento costruisce una mappatura tra pacchetti di difetti "localizzati" (che contengono artefatti come cutoff, code di pressione armonica ed errori di troncamento inerenti all'analisi a finestra finita) e pacchetti di difetti "puliti" (modelli a dimensione finita in cui tali artefatti sono rimossi o esplicitamente contabilizzati). Lo strumento tecnico centrale è un teorema di trasferimento algebrico che solleva un "gap anti-fantasma pulito" (una stima coercitiva nel modello pulito) verso l'ambiente localizzato, a condizione che specifiche ipotesi strutturali siano soddisfatte.

3. Contributi Chiave e Innovazioni
Il documento introduce quattro innovazioni primarie:

1. Registro di Pagamento a Scala Finita: Un'alternativa quantitativa che mostra come la persistenza di cattiveria critica forzi una fornitura non tassata o una perdita accumulata. Questo converte la domanda qualitativa "esiste una singolarità?" in un problema di contabilità quantitativa.
2. Audit dei Difetti Realizzabili da NS: Un filtro rigoroso che distingue i "fantasmi formali" (vettori del nucleo algebrico delle mappe di osservazione) dagli "ostruzioni NS". Un'ostruzione pericolosa deve soddisfare equazioni di quantità di moto grossolane, compatibilità di pressione, positività di Reynolds e l'identità del flusso di energia ereditata dalle soluzioni deboli adeguate.
3. Teorema di Trasferimento Locale-a-Pulito: Un risultato algebrico che afferma che se un modello pulito possiede un gap anti-fantasma di quoziente, e se il sollevamento di quoziente, il confronto di rilevamento componente per componente e la normalizzazione dei residui sono soddisfatti, allora i difetti non-gauge localizzati sono quantitativamente rilevati.
4. Mappa di Chiusura del Budget dei Residui: Una decomposizione sistematica di tutti i potenziali errori che ostacolano il trasferimento (code di pressione, perdite di cutoff, perdita di troncamento, mismatch non lineare, deriva di riproduzione, mismatch di gauge e discrepanza di profitto) in esplicite voci del registro a finestra finita.

4. Risultati Chiave

• Teorema 3.3 (Alternativa di Sopravvivenza a Scala Finita): Lungo qualsiasi catena di finestre di scala ammissibile, se la cattiveria del serbatoio rimane limitata inferiormente, la somma cumulativa della fornitura non tassata meno le tasse deve essere positiva, oppure l'accumulo di perdite deve essere non trascurabile.
• Teorema 9.5 (Alternativa di Audit della Singolarità Condizionale): Sotto le assunzioni di estrazione del difetto diacodica, esaurimento dell'osservabile e controllo della crescita della finestra mobile, un ramo non-CKN persistente implica una delle cinque alternative:
  • (a) Perdita accumulata non trascurabile.
  • (b) Fornitura critica non tassata media positiva.
  • (c) Osservabilità della finestra mobile inefficace (le costanti crescono troppo velocemente).
  • (d) Esistenza di una cascata di difetti NS-realizzabile, pulita, combinata-invisibile, profittevole e riproducibile.
  • (e) Un fallimento della dualità verticale o della chiusura anti-fantasma in regimi di degenerazione a componente singola.
• Teoreore 17.4 (Trasferimento Algebrico Anti-Fantasma Locale-a-Pulito): Se la mappa di rilevamento pulita soddisfa una condizione di gap coercitivo ($c_{cl}^\Lambda$), e se il budget dei residui soddisfa un limite normalizzato ($\eta_\Lambda < c_{cl}^\Lambda(1-\epsilon_G)$), allora la mappa di rilevamento localizzata soddisfa una stima coercitiva con una costante positiva $c_{loc}^\Lambda$. Questo teorema è puramente algebrico; la sua applicazione a Navier–Stokes dipende dalla verifica degli input strutturali.
• Corollario 18.1 (Alternativa Unificata): Sintetizza i risultati dell'audit e del trasferimento. Conclude che se la perdita è trascurabile, la fornitura è tassata/esaurita, le costanti sono controllate e le cascate PRV (Profittevoli, Riproducibili, Verificate) NS-realizzabili sono escluse, allora il ramo deve entrare in una scala CKN, implicando regolarità.

5. Significato e Rivendicazioni
Il documento si inquadra esplicitamente come una riduzione condizionale. Il suo significato risiede nell'isolare la natura esatta dell'ostruzione rimanente alla regolarità di Navier–Stokes.

• Cosa viene Dimostrato: Il documento dimostra la stima del registro a scala finita (un input PDE incondizionato) e il teorema di trasferimento algebrico (un risultato strutturale sotto ipotesi esplicite). Fornisce inoltre un dettaglio della contabilità di tutti i termini di residuo che devono essere controllati.
• Cosa Rimane Aperto: Il documento identifica l'problema dell'assorbimento normalizzato come il "bloccante genuino rimanente". Nello specifico, occorre dimostrare stime di compatibilità tra componenti della forma:
  $$\text{Err}_\bullet(D) \leq \eta_\bullet \text{dist}_{loc}(D, \text{Im } G_{loc}^\Lambda) + \Delta_\bullet$$
  dove la somma dei coefficienti $\eta_\bullet$ è strettamente minore del margine di gap pulito.
• L'Ostacolo Finale: Se la regolarità non può essere dimostrata, il documento sostiene che qualsiasi controesempio debba essere un oggetto altamente organizzato: una cascata di difetti NS-realizzabile, pulita, combinata-invisibile, profittevole e riproducibile. Viceversa, se tale cascata può essere costruita soddisfacendo tutti i vincoli di compatibilità, positività ed energia, essa costituirebbe una singolarità.

In sintesi, il lavoro trasforma la vasta questione della regolarità di Navier–Stokes in una sfida strutturale precisa: o si dimostra che i budget dei residui specifici possono essere assorbiti nella distanza del quoziente localizzato con sufficiente piccolezza, o si costruisce un tipo specifico di cascata di difetti che eluda tutte le osservabilità a finestra finita e i vincoli algebrici. Il lavoro non pretende di aver risolto il problema della regolarità, ma fornisce un quadro rigoroso per definire esattamente cosa debba essere una soluzione (o un controesempio).