Random divergence-free drifts and the Onsager-Richardson threshold

Dit artikel bewijst dat er geen anomalie dissipatie optreedt voor passieve scalairen die worden aangedreven door willekeurige divergentievrije autonome vectorvelden in Hölder-classes met exponent $\alpha > \frac{1}{3}$, waarbij het bewijs steunt op dimension-theoretische argumenten in plaats van commutator-schattingen.

De kern

Stel je voor dat je een bak koffie hebt met een scheutje melk erin. Als je de koffie niet roert, blijft de melk een witte vlek. Maar als je een lepel erin doet en roert, verspreidt de melk zich en wordt de koffie uniform bruin. Dit proces heet menging.

In de natuurkunde en wiskunde is er een groot mysterie over hoe dit werkt als de vloeistof heel erg turbulent is (zoals in een storm of een snel stromende rivier) en als we de "stroperigheid" (viscositeit) van de vloeistof bijna tot nul laten zakken.

Dit artikel van Boutros, De Lellis en Mayboroda lost een deel van dit mysterie op, maar dan voor een heel specifiek type stroming. Hier is de uitleg in simpele taal:

1. Het Grote Mysterie: De "Onsager-Grens"

In de jaren 40 bedacht de beroemde natuurkundige Lars Onsager een idee over hoe snel een vloeistof moet bewegen om energie te "verliezen" (dissipatie). Hij dacht dat er een drempelwaarde is.

• Als de stroming "glad" genoeg is (wiskundig gezien: als hij niet te ruw is), blijft de energie behouden.
• Als de stroming "ruw" genoeg is, verdwijnt de energie op een mysterieuze manier, zelfs als er geen wrijving is.

Deze drempel ligt op een specifieke "ruwheidswaarde" van 1/3. Alles ruwer dan 1/3 zou energie moeten verspillen; alles gladder dan 1/3 zou energie moeten bewaren.

2. Het Experiment: De "Passieve Scalar"

De auteurs kijken niet naar de vloeistof zelf, maar naar iets dat in de stroming meedrijft, zoals een druppel verf of een stukje rook. In de wiskunde noemen ze dit een passieve scalar.

• De vraag: Als we deze druppel in een willekeurige, chaotische stroming doen, en we maken de vloeistof steeds "gladder" (minder diffusie), verspreidt de druppel zich dan oneindig snel en verdwijnt hij als een wolk? Of blijft hij een duidelijke vorm behouden?
• Veel natuurkundigen dachten: "Als de stroming turbulent is, zal de druppel zich altijd verspreiden, ongeacht hoe glad de stroming is." Dit noemen ze anomalie dissimatie (een abnormaal verdwijnen van de druppel).

3. De Ontdekking: De "Veiligheidszone"

De auteurs zeggen: "Nee, dat klopt niet altijd."

Ze bewijzen dat als je de stroming kiest uit een willekeurige verzameling (een "random drift"), maar die stroming gladder is dan de drempel van 1/3, dan gebeurt er iets verrassends:

• De druppel verspreidt zich niet op die mysterieuze manier.
• De druppel blijft zijn vorm behouden (of verspreidt zich alleen door de normale, saaie wrijving).
• Er is dus geen "anomalie".

De analogie:
Stel je voor dat je een groep mensen (de druppel) in een groot, willekeurig bewegend menigte (de stroming) zet.

• Als de menigte heel chaotisch en ruw beweegt (ruwer dan 1/3), denken we dat de mensen zich direct door de hele stad verspreiden, alsof ze onzichtbaar zijn.
• Maar de auteurs zeggen: "Als de beweging van de menigte net iets geordender is (gladder dan 1/3), dan blijven de mensen bij elkaar. Ze worden niet 'opgelost' door de chaos."

4. Hoe hebben ze dit bewezen? (De "Morse-Sard" Sleutel)

Hoe weten ze dit? Ze gebruiken geen ingewikkelde berekeningen over krachten, maar kijken naar de vorm van de stroming.

• Ze kijken naar een wiskundig concept dat ze de Morse-Sard-eigenschap noemen. Klinkt ingewikkeld, maar het is simpel: het gaat erom of de "toppen en dalen" van de stroming (de kritieke punten) genoeg ruimte innemen om de druppel te verspreiden.
• Ze bewijzen dat bij een willekeurige stroming die gladder is dan 1/3, deze "toppen en dalen" te klein zijn (te weinig ruimte) om de druppel effectief te verspreiden.
• Het is alsof je probeert een grote bal door een heel klein gat te duwen; als het gat te klein is, komt de bal er niet doorheen. In dit geval is het "gat" te klein om de energie te laten verdwijnen.

5. Waarom is dit belangrijk?

• Voor de wetenschap: Het bevestigt dat de drempel van 1/3 (die Onsager bedacht voor vloeistoffen) ook geldt voor passieve objecten die in die stroming meedrijven. Het is een mooie verbinding tussen twee verschillende gebieden van de wiskunde.
• Voor de realiteit: Het betekent dat in bepaalde soorten willekeurige stromingen (zoals in de atmosfeer of oceanen, mits ze niet te ruw zijn), je kunt vertrouwen op de oude, simpele wiskunde. Je hoeft niet bang te zijn voor die mysterieuze, extra verspreiding die sommige natuurkundigen dachten te zien.

Samenvatting in één zin

Als je een willekeurige stroming hebt die niet te ruw is (gladder dan de 1/3-grens), dan zal een druppel verf in die stroming niet mysterieus verdwijnen; hij zal zich gedragen zoals een normaal, voorspelbaar object. De chaos is niet sterk genoeg om de "anomalie" te veroorzaken.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Random Divergence-Free Drifts and the Onsager-Richardson Threshold" van Boutros, De Lellis en Mayboroda, geschreven in het Nederlands.

Titel: Random Divergence-Free Drifts and the Onsager-Richardson Threshold

Auteurs: Daniel W. Boutros, Camillo De Lellis, Svitlana Mayboroda

---

1. Probleemstelling en Context

Het artikel behandelt het fenomeen van anomalische dissipatie voor passieve scalairen in turbulente vloeistoffen. Anomalische dissipatie verwijst naar het verschijnsel waarbij de viskeuze energie-dissipatie niet naar nul gaat in de limiet van verdwijnende viscositeit ($\varepsilon \to 0$). Dit staat bekend als de "nulde wet van turbulentie".

• De vergelijking: De auteurs bestuderen de advektie-diffusievergelijking voor een passieve scalair $\theta$:
  $$\partial_t \theta_\varepsilon + (v \cdot \nabla) \theta_\varepsilon = \varepsilon \Delta \theta_\varepsilon$$
  waarbij $v$ een divergentievrij, autonoom vectorveld is op de torus $T^d$.
• De verwachting: Fysici en numerieke studies suggereren dat in turbulente velden de scalarvariatie dissipeert met een niet-verdwijnende snelheid, zelfs als $\varepsilon \to 0$. Dit wordt vaak geassocieerd met de Obukhov-Corrsin-Yaglom (OCY) wet, die een relatie voorspelt tussen de Hölder-regulariteit $\alpha$ van het snelheidsveld en de effectieve regulariteit $\beta$ van de scalair: $\alpha + 2\beta = 1$. Dit zou impliceren dat turbulentie een "anomalische regularisatie" veroorzaakt (effectieve gladmaking).
• De vraag: Is deze anomalische dissipatie en regularisatie mogelijk voor willekeurige, autonome vectorvelden met een Hölder-regulariteit $\alpha > 1/3$? De drempel $1/3$is beroemd in de fluidynamica vanwege **Onsagers conjectie** voor de Euler-vergelijkingen, waarbij energiebehoud geldt voor$\alpha > 1/3$en faalt voor$\alpha < 1/3$.

2. Methodologie

De auteurs gebruiken een probabilistische benadering in plaats van de traditionele commutator-schattingen die vaak worden gebruikt in deterministische analyses.

• Probabilistische Aannames: Ze beschouwen een kansmaat $P$ op de ruimte van continue, divergentievrije, autonome vectorvelden.
  • Regulariteit: Het veld $v$ behoort bijna zeker tot de Hölder-klasse $C^\alpha$ met $\alpha > 1/3$.
  • Niet-degeneratie: Een zeer milde voorwaarde die garandeert dat de puntsgewijze verdeling van het veld een begrensde dichtheid heeft (geen "gaten" in de verdeling).
• Geometrische Reductie: Het bewijs leunt zwaar op een diepgaand resultaat van Alberti, Bianchini en Crippa [2]. Zij toonden aan dat de DiPerna-Lions renormalisatie-eigenschap (die uniekheid en behoud van $L^p$-normen garandeert) volgt uit een puur geometrische voorwaarde: de Morse-Sard-eigenschap van de stroomfunctie (of Hamiltoniaan).
  • Als de verzameling van kritieke waarden van de stroomfunctie een Lebesgue-maat nul heeft, dan is er geen anomalische dissipatie.
• Dimensionale Analyse: De kern van het bewijs bestaat uit het aantonen dat, onder de gegeven probabilistische aannames en met $\alpha > 1/3$, de Hausdorff-dimensie van de kritieke verzameling van de stroomfunctie klein genoeg is om de Morse-Sard-eigenschap te garanderen via een deterministische overdekkingsargumentatie.

3. Belangrijkste Resultaten

Hoofdstelling (2D en 3D)

De auteurs bewijzen dat voor een breed scala aan willekeurige, autonome, divergentievrije vectorvelden met regulariteit $\alpha > 1/3$:

1. De bijbehorende transportvergelijking bezit de DiPerna-Lions renormalisatie-eigenschap bijna zeker.
2. Er is geen anomalische dissipatie:
   $$\lim_{\varepsilon \downarrow 0} \varepsilon \int_0^T \int_{T^d} |\nabla \theta_\varepsilon|^2 \, dx \, dt = 0$$
3. De oplossingen $\theta_\varepsilon$ convergeren sterk in $C([0, T], L^2)$ naar de unieke inviscide transportoplossing $\theta$.
4. Er treedt geen anomalische regularisatie op; de scalair behoudt zijn oorspronkelijke regulariteit en discontinuïteiten (als de beginwaarde dit heeft).

Specifieke Stellingen

• Stelling 1.2 (2D): Voor willekeurige velden op de 2D-torus met $\alpha > 1/3$ en een milde niet-degeneratievoorwaarde.
• Stelling 1.3 (3D): Voor velden die een speciale geometrische structuur hebben (uitgedrukt via "Clebsch-variabelen" $\phi_1, \phi_2$ waarbij $v = \nabla \phi_1 \times \nabla \phi_2$), met $\phi \in C^{1,\alpha}$ en $\alpha > 1/3$.

De Drempel $\alpha = 1/3$

De auteurs tonen aan dat de drempel $\alpha = 1/3$ scherp is voor hun methode. Dit volgt uit de ongelijkheid die de concurrentie tussen de Hölder-regulariteit en de Hausdorff-dimensie van de kritieke verzameling regelt:
$$1 + \alpha > 2 - 2\alpha \implies 3\alpha > 1 \implies \alpha > 1/3$$
Boven deze drempel is de kritieke verzameling "te klein" om de Morse-Sard-eigenschap te schenden.

4. Technische Kernpunten

• Morse-Sard Eigenschap: Het bewijs toont aan dat de verzameling van kritieke waarden $\{v(x) : \text{rank}(Dv(x)) \leq d-2\}$ een Lebesgue-maat nul heeft. Dit wordt gedaan door eerst een bovengrens te vinden voor de Hausdorff-dimensie van de kritieke verzameling ($d - 2\alpha$) en vervolgens te laten zien dat de afbeelding van deze verzameling onder $\phi$ een nul-maat heeft als $\alpha > 1/3$.
• Contrast met Deterministische Voorbeelden: Er bestaan deterministische voorbeelden van velden met $\alpha < 1$ (en soms zelfs $\alpha < 1/3$) die anomalische dissipatie vertonen. De auteurs benadrukken echter dat hun resultaat geldt voor willekeurige velden (almost surely) en dat de drempel $1/3$ hier puur geometrisch/dimensionaal is, in tegenstelling tot de dynamische mechanismen in deterministische voorbeelden.
• Onafhankelijkheid van Beginwaarde: Een cruciaal punt is dat er geen regulariteitsaannames worden gedaan op de passieve scalair $\theta$ zelf, behalve dat de beginwaarde begrensd is ($L^\infty$). De resultaten zijn dus "Onsager-supercritisch" voor de scalair.

5. Betekenis en Implicaties

• Onsager-Richardson Drempel: Het artikel vestigt dat de drempel $1/3$, die oorspronkelijk werd geïdentificeerd voor energiebehoud in de Euler-vergelijkingen (Onsager), ook verschijnt als een kritieke drempel voor passieve scalartransport in willekeurige velden. Dit is verrassend omdat de onderliggende mechanismen verschillend zijn (energieflux vs. dimensionale meetkunde).
• Weerspreking van OCY-wet in dit regime: De resultaten tonen aan dat de Obukhov-Corrsin-Yaglom relatie ($\alpha + 2\beta = 1$) en het concept van "anomalische regularisatie" niet kunnen optreden voor autonome velden met $\alpha > 1/3$. Als $\alpha > 1/3$, blijft de scalair "ruw" en wordt niet gladgemaakt door de turbulentie.
• Probabilistische Benadering: Het werk biedt een nieuw perspectief door probabilistische methoden te combineren met meetkundige analyse (Hausdorff-dimensie) om problemen in de niet-lineaire vloeistofmechanica op te lossen, zonder afhankelijk te zijn van specifieke statistische homogeniteit of tijdsafhankelijkheid (zoals in het Kraichnan-model).
• Toekomstige Richtingen: De auteurs merken op dat het niet duidelijk is of de overeenkomst van de drempel $1/3$met de turbulente stroming een toeval is of een diepere fysieke waarheid. Ze suggereren dat voor$\alpha < 1/3$ anomalische dissipatie wel mogelijk is, maar dat hun bewijsmethode dan faalt.

Samenvattend bewijzen Boutros, De Lellis en Mayboroda dat voor een grote klasse van willekeurige, autonome vloeistofstromen met voldoende regulariteit ($\alpha > 1/3$), de fysica van passieve scalairen "rigide" blijft: er is geen anomalische dissipatie en geen effectieve gladmaking door turbulentie.