The entropy production is not always monotone in the space-homogeneous Boltzmann equation

Dit paper weerlegt een conjectuur van McKean uit 1966 door een tegenvoorbeeld te geven waarbij de entropieproductie in de ruimtelijk homogene Boltzmann-vergelijking niet monotoon is, zij het met een niet-fysisch gekozen botsingskern.

De kern

De Basis: Een Chaos van Billijkheid

Stel je een enorme zaal vol met biljartballen voor die overal tegenaan botsen. Dit is wat natuurkundigen de Boltzmann-vergelijking noemen. Het beschrijft hoe een gas zich gedraagt.

In deze zaal is er een belangrijke regel: Entropie. Je kunt dit zien als een maatstaf voor "chaos" of "wanorde".

• De H-theorema (een beroemde wet) zegt dat als je de ballen laat bewegen, de wanorde altijd toeneemt (of de orde afneemt). Het systeem wordt steeds chaotischer tot het evenwicht bereikt.
• De Entropieproductie is de snelheid waarmee deze wanorde toeneemt. Het is het tempo van het chaosproces.

Het oude mysterie: "Gaat het tempo altijd langzamer?"

In 1966 deed de wiskundige Henry McKean een durfvoorspelling (een conjecture). Hij dacht:

"Als de wanorde toeneemt, dan moet het tempo waarmee die wanorde toeneemt, ook steeds langzamer worden."

Stel je voor dat je een auto hebt die steeds langzamer remt. De snelheid (de wanorde) daalt, maar de remkracht (het tempo van de daling) wordt ook steeds zwakker. McKean dacht dat dit altijd zo zou zijn in de natuur.

Voor decennia hebben wetenschappers dit getest met computersimulaties en het leek altijd waar te zijn. Niemand heeft ooit een uitzondering gevonden.

De Doorbraak: Een trucs met een "vreemde" zaal

Luis Silvestre heeft nu bewezen dat McKean ongelijk heeft, maar met een belangrijke nuance. Hij heeft een speciaal, kunstmatig scenario bedacht waarin het tempo van de wanorde juist toeneemt in plaats van afneemt.

Hoe deed hij dit? Door de regels van de biljartzaal te veranderen.

1. De Normale Zaal (Fysiek): In de echte wereld botsen ballen op een natuurlijke manier. Ze kunnen van elke hoek komen en met elke snelheid. Hier lijkt McKean gelijk te hebben.
2. De Speciale Zaal (Silvestre's experiment): Silvestre bedacht een zaal met een heel rare regel. Hij zorgde ervoor dat ballen alleen op een heel specifieke manier konden botsen:
   • Ze moesten precies op een hoek van 90 graden botsen.
   • Ze moesten precies een specifieke snelheid hebben.
   • Het was alsof de ballen in een danspas werden gedwongen die alleen op één specifieke plek in de zaal werkte.

De Analogie: De Dansvloer

Stel je een dansvloer voor waar mensen (de deeltjes) rondlopen.

• Normaal: Mensen lopen willekeurig, botsen zachtjes en de sfeer wordt steeds rommeliger. Het tempo van de rommeligheid neemt langzaam af naarmate iedereen moe wordt.
• Silvestre's Dans: Hij regelt het licht en de muziek zo dat mensen alleen kunnen dansen als ze precies op een vierkant patroon staan.
  • Hij plakt een kleine, super-energetische groep mensen in het midden (de "ballen" met hoge snelheid).
  • Hij plaatst een ring van mensen eromheen.
  • Door de rare regels van de botsingen, zorgt hij ervoor dat op een bepaald moment de energie van de botsingen explosief toeneemt in plaats van af te nemen.

Het resultaat? Op dat ene moment gaat de "chaos-snelheid" omhoog. Het tempo van het rommelig worden versnelt plotseling.

Wat betekent dit voor de wetenschap?

• McKean had gelijk in de praktijk, maar niet in theorie: In de echte wereld (met de natuurkundige regels zoals we die kennen) lijkt het tempo van de entropieproductie inderdaad altijd af te nemen. Computersimulaties hebben dit nooit gezien omdat ze de "echte" natuur gebruiken.
• De wiskunde is slimmer dan de intuïtie: Silvestre toont aan dat als je de regels van de natuur (de botsingskern) verandert naar iets onnatuurlijks, de wiskunde een uitweg vindt. Het bewijst dat de regel "het tempo neemt altijd af" geen universele wet is, maar afhankelijk is van de specifieke regels van de botsingen.
• Geen paniek voor de natuurkunde: Dit betekent niet dat de natuurkunde fout zit. Het betekent alleen dat we moeten oppassen met het generaliseren van wiskundige regels. De regel geldt voor natuurlijke materialen, maar niet voor elk denkbaar wiskundig systeem.

Conclusie

Luis Silvestre heeft een wiskundig "tovertrucje" bedacht. Hij heeft een systeem ontworpen waarin de snelheid van het chaosproces plotseling versnelt, waardoor het idee van McKean uit 1966 wordt ontkracht. Het is een herinnering aan het feit dat in de wiskunde, als je de regels net anders zet dan in de echte wereld, de meest voor de hand liggende patronen plotseling kunnen breken.

Technische samenvatting

Titel: De entropieproductie is niet altijd monotoon in de ruimtelijk homogene Boltzmann-vergelijking

Auteur: Luis Silvestre
Datum: 7 april 2026 (gepubliceerd op arXiv: 6 april 2026)

---

1. Het Probleem en de Achtergrond

De kern van dit paper betreft een fundamentele vraag binnen de kinetische theorie van gassen, specifiek gericht op de ruimtelijk homogene Boltzmann-vergelijking.

• Entropie en H-theorema: Het is een bekend resultaat (H-theorema) dat de entropie $H(f) = -\int f \log f \, dv$ monotoon afneemt in de tijd voor oplossingen van de Boltzmann-vergelijking. De afgeleide hiervan, de entropieproductie $D(f) = \frac{d}{dt}H(f)$, is dus altijd niet-negatief.
• McKean's Conjecture (1966): In 1966 stelde H.P. McKean de conjectuur dat de entropieproductie $D(f)$ zelf ook monotoon afneemt in de tijd (d.w.z. $\frac{d}{dt}D(f) \leq 0$).
• Huidige Stand van Zaken: Hoewel deze monotonie numeriek is geverifieerd voor fysisch relevante botsingskernen (zoals harde bollen en inverse machtswetten), is er geen wiskundig bewijs voor de algemene geldigheid ervan. In ruimtelijk inhomogene situaties zijn oscillaties waargenomen, maar in de homogene setting was dit nooit geobserveerd.
• De Vraag: Geldt de monotonie van de entropieproductie voor elke botsingskern, of is dit een eigenschap die alleen geldt voor specifieke, fysisch gemotiveerde kernen?

2. Methodologie en Constructie

Silvestre construeert een tegenvoorbeeld om McKean's conjectuur te weerleggen. De aanpak is puur wiskundig en maakt gebruik van een zeer specifieke, singuliere botsingskern die niet fysisch gemotiveerd is.

A. De Botsingskern (Collision Kernel)

De auteur kiest een kern $B(|v-v_*|, \cos \theta)$ van de vorm $\Phi(|v-v_*|)b(\cos \theta)$ met de volgende eigenschappen:

• Winkelafhankelijkheid ($b$): Een Dirac-massa geconcentreerd op $\theta = \pm \pi/2$. Dit betekent dat botsingen alleen plaatsvinden waarbij de afbuighoek 90 graden is.
• Snelheidsafhankelijkheid ($\Phi$): Een Dirac-massa geconcentreerd op de relatieve snelheid $r = \sqrt{2}$.
• Geometrische Interpretatie: Deze keuze beperkt de integratie in de Boltzmann-operator $Q(f,f)$ tot configuraties waarbij de snelheidsvectoren $v, v_*, v', v'_*$ de hoekpunten vormen van een vierkant met zijde 1. Dit vereenvoudigt de operator aanzienlijk tot een integraal over een cirkel.

B. De Functie $f$

Er wordt een specifieke initiële verdelingsfunctie $f(v)$ geconstrueerd in twee dimensies ($\mathbb{R}^2$):

• Binnen een kleine bol ($|v| < \rho$): $f(v) = c a^2$ (waarbij $c$ klein en $a$ groot is).
• In een ring ($\sqrt{5}-\rho < |v| < \sqrt{5}+\rho$): $f(v) = a$.
• In de rest van de bol ($B_{\sqrt{5}}$): $f(v) = 1$.
• Buiten de bol: $f(v) = 0$.

De parameters $a$ (groot) en $c$ (klein) worden zo gekozen dat de dynamiek van de vergelijking een specifiek gedrag vertoont.

C. Analyse van de Afgeleide

De auteur analyseert de tijdsafgeleide van de entropieproductie, $\partial_t D(f)$, gebruikmakend van de uitdrukking:
$$\partial_t D(f) = -\int \frac{Q^2}{f} dv + \int Q L dv$$
waarbij $Q$ de Boltzmann-operator is en $L$ een term die afhangt van de logaritmische verhoudingen van $f$.

De analyse toont aan dat:

1. De negatieve term $-\int \frac{Q^2}{f}$ van orde $O(a^4)$ is.
2. De positieve term $\int Q L$ van orde $O(a^4 \log a)$ is in een specifieke ring (waar $|v| \approx \sqrt{2}$).
3. Door de keuze van de functie $f$ en de kern, overlappen de gebieden waar $Q$ en $L$ groot zijn zodanig dat de positieve term de negatieve term domineert voor voldoende grote $a$.

3. Belangrijkste Resultaten

• Tegenvoorbeeld: Er bestaat een niet-negatieve, compacte functie $f$ en een botsingskern (zoals hierboven beschreven) waarvoor de entropieproductie $D(f(t))$ toeneemt in de tijd.
• Weerlegging van McKean: Dit resultaat weerlegt McKean's conjectuur uit 1966 dat de entropieproductie altijd monotoon afneemt. Het toont aan dat de tweede afgeleide van de entropie ($H''(t)$) van teken kan veranderen.
• Afhankelijkheid van de Kern: Het resultaat is specifiek voor de gekozen singuliere kern. De auteur benadrukt dat de monotonie mogelijk wel geldt voor fysisch relevante kernen (zoals harde bollen of Maxwell-moleculen), maar dat het geen universele eigenschap is van de Boltzmann-vergelijking voor elke willekeurige kern.

4. Significance en Implicaties

• Fundamenteel Begrip: Het paper toont aan dat de "Super H-theorema" (monotonie van hogere afgeleiden van entropie) niet universeel geldt, zelfs niet voor de laagste orde (de afgeleide van de productie).
• Numerieke Observaties vs. Wiskundige Realiteit: Het verklaart waarom numerieke simulaties (die vaak fysische kernen gebruiken) geen oscillaties hebben gezien; deze oscillaties vereisen een zeer specifieke, niet-fysische structuur in de botsingskern.
• Open Vragen: Het laat een belangrijke open vraag over: Geldt de monotonie van de entropieproductie voor de Boltzmann-vergelijking met fysisch gemotiveerde kernen? De auteur suggereert dat dit mogelijk nog waar kan zijn onder extra aannames, vergelijkbaar met recente resultaten voor de Fisher-informatie.
• Technische Innovatie: De constructie maakt gebruik van een slimme afstemming van de geometrie van de botsingen (vierkanten) en de verdelingsfunctie om de positieve en negatieve termen in de afgeleide van de entropieproductie te manipuleren.

Conclusie: Luis Silvestre bewijst dat de monotonie van de entropieproductie in de ruimtelijk homogene Boltzmann-vergelijking geen universele wet is, maar afhangt van de aard van de botsingskern. Hoewel het tegenvoorbeeld een pathologische (niet-fysische) kern gebruikt, ondermijnt het de generaliteit van McKean's conjectuur en benadrukt het de complexiteit van de dynamiek van de Boltzmann-vergelijking.