A divided difference identity for a class of multiple integrals

Titel: Een identiteit voor verdeelde verschillen voor een klasse meervoudige integralen

Auteur: Michael S. Floater (Universiteit van Oslo)
Datum: 20 maart 2026 (voorgesteld in de header)

1. Probleemstelling en Context

Het artikel adresseert een specifiek probleem binnen de numerieke analyse en interpolatietheorie: het vinden van een gesloten vorm voor een bepaalde klasse van meervoudige integralen die de Vandermonde-polynomen bevatten.

• De Context: De formule ontstond uit onderzoek naar bovengrenzen voor de determinant van een exponentiële matrix.
• Het Onderwerp: De auteur onderzoekt integralen over een rechthoek $R(x)$ in $\mathbb{R}^n$, gedefinieerd door een stijgende rij reële getallen $x = (x_1, \dots, x_{n+1})$. De integrand bevat het Vandermonde-polynoom $V(t)$ en de $n$-de afgeleide van een functie $f$ die afhankelijk is van de som van de integratievariabelen.
• Het Doel: Het bewijzen dat deze complexe meervoudige integraal exact gelijk is aan het product van het Vandermonde-polynoom in de hoekpunten en het verdeelde verschil (divided difference) van de functie $f$.

2. Methodologie

De bewijsvoering is opgebouwd uit een reeks wiskundige lemmata die de relatie tussen partiële afgeleiden van het Vandermonde-polynoom en de integratie over een gespecialiseerd domein onthullen. De aanpak verloopt als volgt:

1. Definitie van het Domein en Variabelen:

   • Het integratiedomein is de sequentiële rechthoek $R(x) = [x_1, x_2] \times \dots \times [x_n, x_{n+1}]$.
   • Er wordt een nieuwe rij $y_i$ gedefinieerd als de som van alle $x_j$ behalve de $(n+2-i)$-de term. Dit creëert een relatie tussen de variabelen $x$ en $y$ via een lineaire transformatie.

2. Analyse van Afgeleiden van het Vandermonde-polynoom:

   • Een cruciaal inzicht is het gedrag van de sommen van partiële afgeleiden van het Vandermonde-polynoom $V(t)$.
   • Lemma 3 & 4: De auteur toont aan dat de som van de "pure" partiële afgeleiden (waarbij slechts één variabele wordt gedifferentieerd) van $V(t)$ gelijk is aan nul.
   • Lemma 5: Dit resultaat wordt uitgebreid naar "gemengde" partiële afgeleiden. De auteur bewijst dat voor elke orde $k$, de som van alle gemengde partiële afgeleiden van orde $k$ van $V(t)$ ook nul is. Dit wordt bewezen door een analogie te leggen met Newton's identiteiten tussen machtsommen en elementaire symmetrische polynomen.

3. Toepassing van de Kettingregel en Leibniz-regel:

   • Lemma 6: Er wordt een formule afgeleid voor de $n$-de gemengde partiële afgeleide van een product $\psi(t)f(s(t))$, waarbij $s(t)$ de som van de variabelen is.
   • Door de eigenschap uit Lemma 5 te combineren met deze formule, wordt aangetoond dat de $n$-de afgeleide van het product $V(t)f(s(t))$ vereenvoudigt tot $V(t)f^{(n)}(s(t))$, omdat alle termen met afgeleiden van $V(t)$ verdwijnen.

4. Integratie over de Rechthoek:

   • Lemma 8 & 9: De auteur gebruikt de fundamentele stelling van de calculus voor meervoudige integralen. Voor een functie met de "nul-eigenschap" (waarbij de functie nul is als twee opeenvolgende variabelen gelijk zijn), reduceert de som over de $2^n$ hoekpunten van de rechthoek tot slechts $n+1$ termen.
   • Deze overgebleven termen corresponderen met specifieke hoekpunten $v_i$ die direct gerelateerd zijn aan de gedefinieerde rij $y_i$.

3. Belangrijkste Resultaten

Het hoofdstuk van het artikel is Stelling 1 (Theorem 1):

Voor een functie $f \in C^n[y_1, y_{n+1}]$ geldt:
$$\int_{R(x)} V(t) f^{(n)}(t_1 + \dots + t_n) \, dt = V(x) [y_1, y_2, \dots, y_{n+1}]f$$

Waarbij:

• $V(t) = \prod_{1 \le i < j \le n} (t_j - t_i)$ het Vandermonde-polynoom is.
• $[y_1, \dots, y_{n+1}]f$ het verdeelde verschil van orde $n$ van $f$ is in de punten $y_1, \dots, y_{n+1}$.
• De punten $y_i$ zijn gedefinieerd als $y_i = \sum_{j=1}^{n+1} x_j - x_{n+2-i}$.

Corollarium 1:
Door $f(\alpha) = \alpha^n/n!$ te kiezen, verkrijgt men een elegante formule voor de integraal van het Vandermonde-polynoom zelf:
$$\int_{R(x)} V(t) \, dt = \frac{1}{n!} V(x)$$

4. Significatie en Bijdrage

• Nieuwe Integral Formule voor Verdeelde Verschillen: Het artikel biedt een alternatieve integraalvoorstelling voor verdeelde verschillen. Dit is fundamenteel verschillend van de bekende Genocchi-Hermite formule en de B-spline integraalformule van Curry en Schoenberg.
• Onafhankelijke Wiskundige Inzichten: De bewijzen dat de sommen van pure en gemengde partiële afgeleiden van het Vandermonde-polynoom nul zijn (Lemma 4 en 5), worden beschouwd als resultaten van onafhankelijk belang binnen de theorie van polynomen en differentiaaloperatoren.
• Toepassingsgebied: De formule is niet alleen theoretisch van belang, maar wordt in een vervolgstudie (referentie [5]) gebruikt om nauwkeurige bovengrenzen te bepalen voor determinanten van exponentiële matrices, wat relevant is voor numerieke lineaire algebra.
• Vereenvoudiging: De identiteit transformeert een complexe meervoudige integraal in een algebraïsche uitdrukking (verdeeld verschil), wat berekeningen aanzienlijk kan vereenvoudigen in numerieke toepassingen.

Conclusie

Floater presenteert een elegante en verrassend eenvoudige identiteit die meervoudige integralen met Vandermonde-polynomen linkt aan verdeelde verschillen. De kern van het bewijs ligt in de opmerkelijke eigenschap dat bepaalde sommen van afgeleiden van het Vandermonde-polynoom verdwijnen, wat de integratie via de fundamentele stelling van de calculus mogelijk maakt tot een discrete som over de hoekpunten van het domein.