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

Technische Zusammenfassung: Finite-Window Singularity Audits und Local-to-Clean Defect Transfer für Navier–Stokes

1. Problemstellung
Die Arbeit befasst sich mit dem lokalen Regularitätsproblem der dreidimensionalen inkompressiblen Navier–Stokes-Gleichungen. Insbesondere untersucht sie die strukturellen Anforderungen für einen „Nicht-CKN-Zweig“ – eine Sequenz von Skalen, bei der eine geeignete schwache Lösung nicht in das Caffarelli–Kohn–Nirenberg (CKN)-Kleinskalenregime eintritt, welches andernfalls lokale Regularität garantieren würde. Die zentrale Frage lautet: Wenn eine Singularität über Skalen hinweg persistiert, welche präzisen Mechanismen ermöglichen es ihr, in Beobachtungen mit endlichem Fenster zu überleben, vor Standard-Observablen verborgen zu bleiben und von Skala zu Skala zu reproduzieren, während sie gleichzeitig durch die Navier–Stokes-Gleichung realisierbar bleibt?

Die Arbeit behauptet nicht, die Regularität von Navier–Stokes-Lösungen zu beweisen oder eine singuläre Lösung zu konstruieren. Stziel ist es vielmehr, das Problem potenzieller Singularitäten auf einen spezifischen, hochstrukturierten algebraischen und analytischen Hindernis zu reduzieren.

2. Methodik
Die Arbeit verwendet ein zweiteiliges Framework: ein Finite-Window Singularity Audit und einen Local-to-Clean Defect Transfer.

• Das Audit (Zahlung und Verbergen): Die Autoren modellieren die Persistenz von „Schlechtheit“ (kritische Skalen-Größen) als ein Finanzbuchhaltungssystem. Sie zeigen, dass ein Nicht-CKN-Zweig, um zu persistieren, entweder „unversteuerte kritische Versorgung“ (Energie oder Fluss, die nicht dissipiert werden) oder „akkumuliertes Leckage“ (Verluste durch Cutoffs und Lokalisierung) generieren muss. Dies wird durch eine endliche Skalen-kritische Buchhaltungsungleichheit formalisiert, die aus der lokalen Energieungleichkeit und Standard-Interpolationsabschätzungen abgeleitet ist.
• Der Transfer (Local-to-Clean): Die Arbeit konstruiert eine Abbildung zwischen „lokalisierten“ Defekt-Paketen (die Artefakte wie Cutoffs, harmonische Druckschwänze und die der endlichen Fenster-Analyse inhärenten Truncation-Fehler enthalten) und „sauberen“ Defekt-Paketen (endliche Modelle, in denen diese Artefakte entfernt oder explizit berücksichtigt werden). Das zentrale technische Werkzeug ist ein algebraischer Transfer-Theorem, das ein „sauberes Anti-Phantom-Gap“ (eine koersive Abschätzung im sauberen Modell) unter der Voraussetzung spezifischer struktureller Inputs zurück in den lokalisierten Kontext hebt.

3. Zentrale Beiträge und Innovationen
Die Arbeit führt vier primäre Innovationen ein:

1. Finite-Scale Payment Ledger: Eine quantitative Alternative, die zeigt, dass persistente kritische Schlechtheit kumulative unversteuerte Versorgung oder Leckage erzwingt. Dies wandelt die qualitative Frage „Existiert eine Singularität?“ in ein quantitatives Buchhaltungsproblem um.
2. NS-Realizable Defect Audit: Ein strenger Filter, der „formale Phantome“ (algebraische Kernervektoren von Beobachtungskarten) von „NS-Hindernissen“ unterscheidet. Ein gefährliches Hindernis muss grobe Impulsgleichungen, Druckkompatibilität, Reynolds-Positivität und die aus geeigneten schwachen Lösungen abgeleitete Energiefluss-Identität erfüllen.
3. Local-to-Clean Transfer Theorem: Ein algebraisches Resultat, das besagt: Wenn ein sauberes Detektionsmodell eine koersive Gap-Bedingung ($c_{cl}^\Lambda$) erfüllt und wenn Quotient-Lifting, komponentenweise Detektionsvergleich und Residuen-Normalisierung gelten, dann werden lokalisierte Nicht-Gauge-Defekte quantitativ detektiert.
4. Residual-Budget Closure Map: Eine systematische Zerlegung aller potenziellen Fehler, die den Transfer behindern (Druckschwänze, Cutoff-Leckage, Truncation-Verlust, Nichtlinearitäts-Mismatch, Reproduktions-Drift, Gauge-Mismatch und Profit-Diskrepanz) in explizite endliche Fenster-Buchhaltungseinträge.

4. Zentrale Ergebnisse

• Theorem 3.3 (Finite-Scale Survival Alternative): Entlang jeder zulässigen Skalen-Fenster-Kette muss, falls die Reservoir-Schlechtheit unterhalb einer Grenze bleibt, die kumulative Summe aus unversteuerter Versorgung minus Steuern positiv sein oder die akkumulierte Leckage nicht vernachlagbar sein.
• Theorem 9.5 (Conditional Singularity-Audit Alternative): Unter Annahme von dyadischer Defekt-Extraktion, Observabilität-Depletion und Moving-Window-Wachstumskontrolle impliziert ein persistenter Nicht-CKN-Zweig eine der fünf Alternativen:
  • (a) Nicht vernachlagbare akkumulierte Leckage.
  • (b) Positive durchschnittliche unversteuerte kritische Versorgung.
  • (c) Ineffektive Moving-Window-Observabilität (Konstanten wachsen zu schnell).
  • (d) Existenz eines NS-realisierbaren, gereinigten, skalen-kritischen, kombinierten-unsichtbaren, profitablen und reproduzierbaren Defekt-Kaskaden-Objekts.
  • (e) Ein Versagen der vertikalen Dualität oder der Anti-Phantom-Closure in Regimes mit Ein-Komponenten-Degeneration.
• Theorem 17.4 (Algebraic Local-to-Clean Anti-Phantom Transfer): Wenn die saubere Detektionskarte eine koersive Gap-Bedingung ($c_{cl}^\Lambda$) erfüllt und das Residuen-Budget eine normalisierte Schranke ($\eta_\Lambda < c_{cl}^\Lambda(1-\epsilon_G)$) besitzt, dann erfüllt die lokalisierte Detektionskarte eine koersive Abschätzung mit einer positiven Konstante $c_{loc}^\Lambda$. Dieses Theorem ist rein algebraisch; seine Anwendung auf Navier–Stokes hängt von der Verifizierung der strukturellen Inputs ab.
• Korollar 18.1 (Unified Alternative): Synthetisiert die Audit- und Transfer-Resultate. Es schließt, dass wenn die Leckage vernachlagbar ist, die Versorgung versteuert/depletiert ist, die Konstanten kontrolliert sind und NS-realisierbare PRV-Kaskaden (Profitable, Reproducible, Verified) ausgeschlossen sind, der Zweig in eine CKN-Skala eintreten muss, was Regularität impliziert.

5. Bedeutung und Ansprüche
Die Arbeit rahmt sich explizit als eine bedingte Reduktion ein. Ihre Bedeutung liegt in der Isolierung der exakten Natur des verbleibenden Hindernisses für die Navier–Stokes-Regularität.

• Was bewiesen wurde: Die Arbeit beweist die endliche Skalen-Ledger-Abschätzung (ein unbedingtes PDE-Input) und das algebraische Transfer-Theorem (ein strukturelles Resultat unter expliziten Hypothesen). Zudem liefert sie eine detaillierte Buchhaltung aller Residuen-Terme, die kontrolliert werden müssen.
• Was offen bleibt: Die Arbeit identifiziert das „echte verbleibende Hindernis“ als das normalisierte Absorptionsproblem. Speziell muss bewiesen werden, dass Kompatibilitätsabschätzungen der Form vorliegen:
  $$\text{Err}_\bullet(D) \leq \eta_\bullet \text{dist}_{loc}(D, \text{Im } G_{loc}^\Lambda) + \Delta_\bullet$$
  wobei die Summe der Koeffizienten $\eta_\bullet$ strikt kleiner als die saubere Gap-Marge ist.
• Das finale Hindernis: Sollte die Regularität nicht beweisbar sein, argumentiert die Arbeit, dass jedes Gegenbeispiel ein hoch organisiertes Objekt sein muss: eine NS-realisierbare, gereinigte, kombinierte-unsichtbare, profitable und reproduzierbare Defekt-Kaskade. Umgekehrt, falls eine solche Kaskade konstruiert werden kann, während sie alle Kompatibilitäts-, Positivitäts- und Energie-Constraints erfüllt, würde dies eine Singularität darstellen.

Zusammenfassend transformiert die Arbeit die breite Frage der Navier–Stokes-Regularität in eine präzise strukturelle Herausforderung: Entweder beweist man, dass die spezifischen Residuen-Budgets mit ausreichender Kleinschaligkeit in die lokalisierte Quotient-Distanz absorbiert werden können, oder man konstruiert eine spezifische Art von Defekt-Kaskade, die allen endlichen Fenster-Observabilitäten und algebraischen Constraints entgeht. Die Arbeit beansprucht nicht, das Regularitätsproblem gelöst zu haben, bietet aber einen rigorosen Rahmen, um genau zu definieren, wie eine Lösung (oder ein Gegenbeispiel) aussehen muss.