The exterior derivative and the mean value equality in $\mathbb{R}^n$

Titel: De uitwendige afgeleide en de gemiddelde-waardegelijkheid in $\mathbb{R}^n$

Auteurs: Daniel Fadel, Henrique N. Sá Earp, Tom´as S. R. Silva.

---

1. Probleemstelling

Het artikel adresseert een fundamentele beperking in de klassieke vectoranalyse en differentiaalmeetkunde: de Gemiddelde-Waardestelling (MVT) wordt in hogere dimensies doorgaans alleen bewezen als een ongelijkheid, in tegenstelling tot de één-dimensionale versie die een gelijkheid oplevert.

Bovendien vereist de klassieke Stokes-stelling (de veralgemening van de Fundamentele Stelling van de Calculus naar hogere dimensies) doorgaans dat het differentiaalvorm $\omega$ van klasse $C^1$ is (continu differentieerbaar). Dit is een strenge voorwaarde die de toepasbaarheid beperkt bij functies die wel integreerbaar of "afgeleidbaar" zijn in een zwakker zin, maar niet noodzakelijk continu differentieerbaar. De auteurs zoeken naar een formulering die de hypotheses van de Fundamentele Stelling van de Calculus (continuïteit op het domein, differentieerbaarheid op het inwendige) direct naar $\mathbb{R}^n$ kan vertalen, zonder de $C^1$-eis.

2. Methodologie

De kern van de methode ligt in een herinterpretatie van de uitwendige afgeleide als een infinitesimale flux, in plaats van puur via partiële afgeleiden van componenten.

• Het Drievoudingslemma (Trisection Lemma): De auteurs beginnen met een alternatief bewijs van de één-dimensionale MVT gebaseerd op een lemma dat stelt dat binnen een interval $[a, b]$ een deelinterval $[a', b']$ bestaat met lengte $1/3$ van het origineel, waarbij het gemiddelde van de verandering over het deelinterval gelijk is aan dat over het hele interval.
• Generalisatie naar Hogere Dimensies: Ze bewijzen dat dit lemma generaliseert naar $k$-blokken in $\mathbb{R}^n$. Door een keten van blokken te construeren die naar een punt convergeert, kunnen ze een punt vinden waar de gemiddelde flux over de rand gelijk is aan de waarde van de afgeleide in dat punt.
• Definitie van Flux-continuïteit: In plaats van de gebruikelijke continuïteit van de componentfuncties, introduceren ze het concept van flux-continuïteit. Een vorm is flux-continu als de integraal over de rand van een blok continu afhangt van de positie van dat blok. Dit is een zwakker criterium dat toelaat dat de vorm discontinu is op een verzameling met maat nul (of zelfs dichte verzamelingen), zolang de flux over de rand goed gedefinieerd blijft.
• Definitie van de Uitwendige Afgeleide ($D\omega$): De uitwendige afgeleide wordt gedefinieerd als de limiet van de genormaliseerde flux van $\omega$ over de rand van blokken die naar een punt $x$ krimpen:
  $$D\omega_x(v_1, \dots, v_k) = \lim_{B \to x} \frac{1}{\text{vol}(B)} \int_{\partial B} \omega$$
  Deze definitie vereist niet dat $\omega$ differentieerbaar is in de klassieke zin, maar alleen dat deze "afgeleidbaar" is in de zin van deze flux-limiet.

3. Belangrijkste Bijdragen en Resultaten

A. De Gemiddelde-Waardegelijkheid voor Differentiaalvormen

De auteurs bewijzen een veralgemeende MVT als een gelijkheid (Theorema 5):
Voor een flux-continue $(k-1)$-vorm $\omega$ op een $k$-blok $B$, die afgeleidbaar is in het inwendige, bestaat er een punt $\xi$ in het inwendige van $B$ zodanig dat:
$$D\omega_\xi(e_1, \dots, e_k) = \frac{1}{\text{vol}(B)} \int_{\partial B} \omega$$
Dit is een krachtig resultaat omdat het de gelijkheid behoudt in plaats van een ongelijkheid, zelfs voor vormen die niet klassiek differentieerbaar zijn.

B. Stokes' Stelling zonder $C^1$-aanname

Door de bovenstaande gelijkheid te combineren met de integratietechniek, leiden ze een nieuwe versie van Stokes' stelling af (Theorema 2 en 6):
$$\int_{\partial c} \omega = \int_c d\omega$$
Hypotheses:

1. $\omega$ is continu op het beeld van de keten $c(B)$.
2. $\omega$ is differentieerbaar (in de zin van de flux-definitie) op het inwendige $c(\mathring{B})$.
3. De uitwendige afgeleide $d\omega$ is Riemann-integreerbaar.

Dit is een directe analogie met de één-dimensionale Fundamentele Stelling van de Calculus, waarbij de eis van $C^1$-gladheid wordt vervangen door continuïteit en differentieerbaarheid in het inwendige.

C. Consistentie en Generalisatie

• Theorema 8: Bewijst dat als $\omega$ klassiek differentieerbaar is, de nieuwe flux-afgeleide $D\omega$ identiek is aan de klassieke uitwendige afgeleide $d\omega$.
• Generalisatie: De operator $D$ is gedefinieerd voor een bredere klasse van vormen, inclusief bepaalde discontinuïteiten (bijvoorbeeld vormen met sprongen die op een verzameling met maat nul liggen, of vormen die discontinu zijn in één variabele maar continu in een andere, zolang de flux-integraal goed blijft).
• $D^2 = 0$: Ze tonen aan dat de operator $D$ voldoet aan $D(D\omega) = 0$, wat een cohomologietheorie mogelijk maakt die uitbreidt op de standaard de Rham-cohomologie.

D. Numerieke Toepassing

De flux-interpretatie leidt tot een nieuw numeriek algoritme (Sectie 5) voor het berekenen van de uitwendige afgeleide:

• Zwartkist-benadering: Het algoritme vereist geen analytische uitdrukkingen van de vorm en geen mesh-discretisatie (in tegenstelling tot Discrete Exterior Calculus of FEEC).
• Werking: Het berekent de componenten van $D\omega$ door de flux over de randen van kleine hyperkubussen rond een punt $x$ te meten en te normaliseren.
• Implementatie: Een demo-implementatie in SageMath is beschikbaar, die werkt puur op basis van numerieke samples van de vorm.

4. Significatie

1. Conceptuele Verduidelijking: Het artikel biedt een intuïtieve, fysiek onderbouwde interpretatie van de uitwendige afgeleide als "fluxdichtheid", wat de link met de divergentie van vectorvelden versterkt.
2. Wiskundige Generalisatie: Het opent de deur voor het analyseren van differentiaalvormen met zwakkere regulariteitseisen (discontinuïteiten) binnen de context van Stokes' stelling, wat relevant is voor problemen in de natuurkunde waar gladheid niet gegarandeerd is.
3. Didactische Waarde: De benadering maakt het mogelijk om Stokes' stelling te presenteren met hypotheses die direct overeenkomen met de één-dimensionale Fundamentele Stelling, wat het conceptueel toegankelijker maakt voor studenten.
4. Numerieke Innovatie: De voorgestelde numerieke methode biedt een alternatief voor mesh-gebaseerde methoden, wat nuttig kan zijn voor berekeningen op oppervlakken of in situaties waar een mesh moeilijk te genereren is, of wanneer alleen "black-box" data beschikbaar is.

Samenvattend herformuleren de auteurs de theorie van uitwendige afgeleiden rondom het concept van flux, wat leidt tot sterkere wiskundige resultaten (gelijkheid in plaats van ongelijkheid) en praktische numerieke tools.