A divided difference identity for a class of multiple integrals

Titre : Une identité de différence divisée pour une classe d'intégrales multiples

Auteur : Michael S. Floater (Département de Mathématiques, Université d'Oslo)
Date : 20 mars 2026 (selon la version arXiv fournie)

---

1. Problématique et Contexte

L'article s'attaque à la recherche d'une formule simple et élégante pour une classe spécifique d'intégrales multiples impliquant des polynômes de Vandermonde.

• Contexte : Ce travail est motivé par la nécessité d'établir des bornes pour le déterminant d'une matrice exponentielle (utilisé dans une publication ultérieure référencée comme [5]).
• Objectif : Établir un lien direct entre une intégrale multiple sur un domaine rectangulaire spécifique et une différence divisée (divided difference) d'une fonction.
• Originalité : La formule obtenue constitue une nouvelle représentation intégrale pour les différences divisées, distincte de la formule classique de Genocchi-Hermite et de l'intégrale des B-splines de Curry et Schoenberg.

2. Définitions et Cadre Mathématique

Soit $n \ge 1$ et $x = (x_1, x_2, \dots, x_{n+1})$ une suite réelle croissante.

• Domaine d'intégration : Un rectangle séquentiel $R(x) \subset \mathbb{R}^n$ défini par :
  $$R(x) := [x_1, x_2] \times [x_2, x_3] \times \dots \times [x_n, x_{n+1}]$$
• Polynôme de Vandermonde : Pour $t = (t_1, \dots, t_n)$, on définit :
  $$V(t) = \prod_{1 \le i < j \le n} (t_j - t_i)$$
• Points de différence divisée : On introduit une suite $y = (y_1, \dots, y_{n+1})$ où chaque $y_i$ est la somme de tous les $x_j$ sauf le terme $x_{n+2-i}$. Plus formellement :
  $$y_i = \left(\sum_{j=1}^{n+1} x_j\right) - x_{n+2-i}$$
  Il est démontré que $y_1 < y_2 < \dots < y_{n+1}$.

3. Résultats Principaux

Théorème 1 (Identité Centrale)

Pour toute fonction $f \in C^n[y_1, y_{n+1}]$, l'intégrale suivante est égale au produit du polynôme de Vandermonde en $x$ et de la différence divisée de $f$ aux points $y_i$ :

$$\int_{R(x)} V(t) f^{(n)}(t_1 + t_2 + \dots + t_n) \, dt = V(x) [y_1, y_2, \dots, y_{n+1}]f$$

Où $[y_1, \dots, y_{n+1}]f$ désigne la différence divisée d'ordre $n$ de $f$.

Corollaire 1 (Cas particulier)

En choisissant $f(\alpha) = \alpha^n / n!$, on obtient une identité purement algébrique pour l'intégrale du polynôme de Vandermonde :
$$\int_{R(x)} V(t) \, dt = \frac{1}{n!} V(x)$$

4. Méthodologie et Preuve

La preuve du Théorème 1 repose sur une décomposition en plusieurs étapes techniques ingénieuses :

A. Propriétés des Dérivées du Polynôme de Vandermonde

L'auteur démontre des propriétés cruciales concernant les dérivées partielles de $V(t)$ :

1. Dérivées pures : La somme des dérivées partielles pures d'ordre $k$ de $V(t)$ par rapport à chaque variable est nulle.
2. Dérivées mixtes : Plus important encore, la somme des dérivées partielles mixtes d'ordre $k$ (notée $E_k V(t)$) est également nulle pour tout $k = 1, \dots, n$.
   • Lemme 5 : $E_k V(t) = 0$.
   • Cette preuve utilise les identités de Newton reliant les sommes de puissances et les polynômes symétriques élémentaires, en exploitant le fait que les opérateurs différentiels correspondants s'annulent sur $V(t)$.

B. Application de la Règle de Leibniz Généralisée

En utilisant l'opérateur de dérivation mixte totale $E_n = \frac{\partial^n}{\partial t_1 \dots \partial t_n}$, l'auteur montre que pour une fonction composée $f(s(t))$ où $s(t) = \sum t_i$ :
$$\frac{\partial^n}{\partial t_1 \dots \partial t_n} \left( V(t) f(s(t)) \right) = V(t) f^{(n)}(s(t))$$
Cela est possible car tous les termes contenant des dérivées de $V(t)$ (sauf l'opérateur identité) s'annulent grâce au Lemme 5.

C. Intégration sur le Rectangle et Propriété de Zéro

L'intégrale est transformée en une somme aux bornes grâce au théorème fondamental de l'analyse itéré (Lemme 8).

• Le domaine $R(x)$ a $2^n$ sommets. Cependant, le polynôme $V(t)$ s'annule dès que deux variables sont égales ($t_i = t_j$).
• Sur le rectangle séquentiel $R(x)$, la plupart des sommets du cube unité (dans l'espace des paramètres $\epsilon$) contiennent des paires de coordonnées égales, rendant le terme nul.
• Seuls $n+1$ sommets survivent (ceux où la séquence d'indices est non décroissante). Ces sommets correspondent exactement aux points $v_i$ définis dans la preuve.

D. Reconstruction de la Différence Divisée

En évaluant la somme aux bornes restantes, l'auteur montre que le résultat s'écrit sous la forme :
$$\sum_{i=1}^{n+1} (-1)^{n+1-i} V(v_i) f(y_i)$$
En manipulant algébriquement les termes $V(v_i)$ et en utilisant la relation entre $x$ et $y$, cette somme est identifiée comme étant exactement $V(x)$ multiplié par la définition standard de la différence divisée $[y_1, \dots, y_{n+1}]f$.

5. Contributions Clés

1. Nouvelle Formule Intégrale : Établissement d'une identité reliant directement une intégrale multiple pondérée par un déterminant de Vandermonde à une différence divisée.
2. Propriétés de Nullité des Dérivées : La démonstration que les sommes de dérivées partielles (pures et mixtes) d'ordre fixe du polynôme de Vandermonde sont nulles (Lemmes 4 et 5). Ce résultat est présenté comme pouvant être d'intérêt indépendant.
3. Lien Géométrique : Mise en évidence de la relation géométrique entre le domaine d'intégration $R(x)$ et les points de la différence divisée $y_i$, via une transformation linéaire spécifique.

6. Signification et Impact

• Théorie de l'Interpolation : L'article enrichit la théorie des différences divisées en offrant une nouvelle représentation intégrale, alternative aux formules existantes (Genocchi-Hermite, Curry-Schoenberg).
• Analyse Numérique : Cette identité est conçue pour être utilisée dans l'analyse des erreurs et des bornes de déterminants de matrices exponentielles, un problème central en analyse numérique et en théorie du contrôle.
• Généralité : La méthode de preuve, combinant l'analyse des dérivées de polynômes symétriques et l'intégration sur des domaines complexes, offre une approche robuste qui pourrait être généralisée à d'autres classes de polynômes ou de domaines.

En résumé, cet article fournit un pont élégant entre l'analyse multivariée (intégrales multiples), l'algèbre (polynômes de Vandermonde) et la théorie de l'approximation (différences divisées), résolvant un problème technique spécifique avec une solution mathématiquement profonde et concise.