Non-Smooth Solutions of the Navier-Stokes Equation and their Means

Technische Samenvatting: Niet-gladde oplossingen van de Navier-Stokes-vergelijking en hun gemiddelden

Probleemstelling
Dit artikel behandelt de regulariteit van oplossingen van de incompressibele Navier-Stokes-vergelijkingen in een periodieke ruimtelijke domein $T^3$. Specifiek onderzoekt het de existentie van niet-gladde (finite-time blowup) Leray-Hopf (LH) zwakke oplossingen en karakteriseert het de relatie tussen deze singuliere oplossingen en hun "gemiddelde" waarden. Het werk positioneert zich als een reactie op het Millennium Prize-probleem van het Clay Mathematics Institute met betrekking tot de existentie en gladheid van oplossingen in drie dimensies. De auteurs beweren het probleem negatief op te lossen door initiële data te construeren die leidt tot finite-time blowup, terwijl ze tegelijkertijd aantonen dat het gemiddelde van elke zwakke oplossing voor alle tijd glad blijft.

Methodologie
De analyse wordt uitgevoerd binnen het kader van zwakke oplossingen, waarbij specifieke functieruimten en entropieprincipes worden gebruikt:

• Functieruimten: De auteurs werken primair in de duale ruimte $V^*$ (waar $V=H^1$) in plaats van de standaard energieruimte $H=L^2$. Deze keuze vereenvoudigt bewijzen over analyticiteit en blowup. De oplossingen worden geanalyseerd in de ruimte $W = L^p(0, T; V^*)$ met specifieke afkappuncties (cutoff functions) $\phi \in L^1(0, T; V)$.
• Entropieprincipe: Een centraal methodologisch instrument is het "Entropieprincipe", dat de existentie van zwakke oplossingen postuleert die de entropieproductie maximaliseren. Het artikel maakt onderscheid tussen "entropieproductie maximaliserende" oplossingen (geassocieerd met turbulente fluctuaties) en "entropieproductie minimaliserende" oplossingen (geassocieerd met het gemiddelde).
• Decay Rate Analyse: Het bewijs van blowup berust op het vergelijken van de decay rates van verschillende componenten van de oplossing. De auteurs analyseren de decay van de oplossing $u$ versus de decay van turbulente fluctuatie-integranden $\nu_t^{int}$.
  • De oplossing $u$ (in de context van de SRI, of de Summation over Repeated Indices subspace) vertoont een trage viskeuze decay rate van $O(e^{-\nu t/2})$.
  • De turbulente fluctuaties $\nu_t^{int}$ (in de NSRI, of de Non-Summed Repeated Indices subspace) blijken een snellere decay rate te hebben, namelijk $O(e^{-4\nu t/3})$ (of $O(t^{-4/3})$ in polynomiale termen).
• Afkappingen en Limieten: De constructie maakt gebruik van ruimtelijke en temporele afkappingen (finite-dimensional subspaces van gladde basis-elementen) om zwakke oplossingen te definiëren. De resultaten worden vastgesteld als limieten waarbij deze afkappingen worden verwijderd.
• Feynman-diagrammen: Het blowup-mechanisme wordt beschreven in termen van verbonden Feynman-diagrammen, waarbij een discontinuïteit optreedt in specifieke niet-SRI expansiecoëfficiënten (specifiek die gerelateerd aan turbulente dissipatie) wanneer zij overgaan van turbulente naar viskeuze modi.

Kernbijdragen en Resultaten

1. Constructie van Finite-Time Blowup:
   Het artikel construeert niet-gladde Leray-Hopf zwakke oplossingen die een finite-time blowup ervaren.

   • Initiële Data: De blowup wordt getriggerd door "turbulente" initiële data, gekenmerkt door niet-nul turbulente fluctuaties in de energie-analyse ruimte (specifiek, niet-nul NSRI energie-modi).
   • Mechanisme: De blowup ontstaat uit een logische contradictie in de decay rates voor entropie-maximaliserende oplossingen. De turbulente fluctuatie $\nu_t^{int}$ vervalt sneller dan de oplossing $u$ zelf. Uiteindelijk, op een eindige tijd $T^*$, valt de decay-curve van de fluctuatie onder de ondergrens van de viskeuze decay die toegestaan is voor de gladde oplossing. Om deze contradictie op te lossen, moet de oplossing zijn gladheid verliezen, wat resulteert in een discontinuïteit in de turbulente dissipatietermen.
   • Resultaat: Stelling 5.1 stelt vast dat een entropie-maximaliserende oplossing met turbulente initiële condities slechts een eindig interval van regulariteit heeft en niet globaal glad is.

2. Regulariteit van het Gemiddelde:
   Het artikel identificeert het "gemiddelde" van een zwakke oplossing als een entiteit met afwijkende regulariteitseigenschappen.

   • Definitie: Het gemiddelde $M(u)$ wordt gedefinieerd in de vector-Fourierruimte als een som van gemiddelden over configuratieruimte, faseruimte en vaste tijd.
   • Entropie Minimalisatie: Het gemiddelde komt overeen met een entropieproductie minimaliserende oplossing. Voor deze klasse van oplossingen is de turbulente dissipatiesnelheid $\nu_t$ nul.
   • Gladheid: Stelling 7.1 bewijst dat het gemiddelde van elke zwakke oplossing voor alle positieve tijden een gladde oplossing is.
   • Reductie van de Vergelijking: Voor het gemiddelde verdwijnen de niet-lineaire termen en turbulente fluctuaties ($M(\nu_t^{NL}) = 0$ en $M(\nu_t^{temp}) = 0$). Bijgevolg reduceert de evolutievergelijking voor het gemiddelde tot de warmtevergelijking: $\partial_t M(u) = \nu \Delta M(u)$. Aangezien oplossingen van de warmtevergelijking met $H$ initiële data voor $t > 0$ glad zijn, is het gemiddelde glad.

3. Resolutie van het Millennium Prize Probleem:
   De auteurs beweren het Millennium Prize-probleem in de negatieve zin op te lossen.

   • Zij demonstreren dat voor bepaalde turbulente initiële condities (die geldig zijn binnen de beperkingen van het probleem van gladde, divergentievrije, periodieke data), de oplossing in eindige tijd explodeert (blowup).
   • Zij verduidelijken dat hoewel het gemiddelde van een oplossing altijd glad is, het gemiddelde niet beschikt over "algemene" initiële data (het is een specifieke subset afgeleid van de zwakke oplossing). Daarom vormt de gladheid van het gemiddelde geen positieve oplossing voor het prize-probleem, dat gladheid vereist voor alle gladde initiële data.

Betekenis en Claims
Het artikel beweert een constructief bewijs te leveren voor de existentie van niet-gladde oplossingen van de 3D incompressibele Navier-Stokes-vergelijkingen, en daarmee de conjectuur dat gladde oplossingen globaal bestaan voor alle gladde initiële data te weerleggen.

• Negatieve Oplossing: Door aan te tonen dat turbulente initiële data leidt tot finite-time blowup, stelt het artikel dat het het Millennium Prize-probleem in de negatieve zin heeft opgelost.
• Onderscheid tussen Turbulentie en Gemiddelde: Een belangrijke conceptuele bijdrage is de rigoureuze scheiding van het "turbulente" component (dat explodeert) van het "gemiddelde" component (dat glad blijft en een warmtevergelijking voldoet). Het artikel betoogt dat de gemiddelde waarde van een zwakke oplossing altijd een gladde oplossing is, maar dat dit de onderliggende zwakke oplossing niet verhindert om singular te worden.
• Rol van Entropie: Het werk benadrukt de rol van entropieproductie maximalisatie bij het drijven van de blowup van turbulente fluctuaties, in contrast met entropie minimalisatie, wat de gladde gemiddelde waarde oplevert.

De auteurs merken op dat hun analyse beperkt is tot incompressibele, isotherme, enkelvoudige vloeistoffen in een periodiek domein. Zij vertrouwen op de existentie van entropieproductie maximaliserende oplossingen (vastgesteld in eerdere literatuur) en breiden deze resultaten uit om de specifieke decay rate contradicties aan te tonen die de blowup noodzakelijk maken. Zij stellen geen experimentele verificatie of toekomstige toepassingen voor, maar kaderen hun bijdrage als een theoretische resolutie van de regulariteitsvraag.