A divided difference identity for a class of multiple integrals

A continuación presento un resumen técnico detallado del artículo "A divided difference identity for a class of multiple integrals" (Una identidad de diferencias divididas para una clase de integrales múltiples) de Michael S. Floater.

1. Problema y Contexto

El artículo aborda la búsqueda de una fórmula simple y cerrada para una clase específica de integrales múltiples que involucran polinomios de Vandermonde.

• Contexto: La motivación original surge del trabajo en cotas para el determinante de una matriz exponencial (referenciado en [5] del artículo).
• Objetivo: Establecer una relación directa entre una integral múltiple sobre un rectángulo secuencial $R(x)$ y las diferencias divididas de una función $f$.
• Diferenciación: El autor señala que esta fórmula es distinta a la fórmula de Genocchi-Hermite y a la fórmula integral de B-splines de Curry y Schoenberg, ofreciendo una perspectiva alternativa para calcular diferencias divididas mediante integración.

2. Metodología y Definiciones Clave

El autor define el problema en el espacio $\mathbb{R}^n$ utilizando las siguientes construcciones:

• Rectángulo Secuencial: Dada una secuencia real creciente $x = (x_1, \dots, x_{n+1})$, se define el dominio de integración como:
  $$R(x) := [x_1, x_2] \times [x_2, x_3] \times \cdots \times [x_n, x_{n+1}]$$
• Polinomio de Vandermonde: $V(t) = \prod_{1 \le i < j \le n} (t_j - t_i)$.
• Puntos de Diferencia Dividida: Se definen puntos $y_i$ como la suma de todos los $x_j$ excepto el término $x_{n+2-i}$:
  $$y_i = \left(\sum_{j=1}^{n+1} x_j\right) - x_{n+2-i}$$
  Esto genera una secuencia creciente $y_1 < y_2 < \dots < y_{n+1}$.
• Función Suma: $s(t) = t_1 + \dots + t_n$.

El objetivo es probar la Teorema 1:
$$\int_{R(x)} V(t) f^{(n)}(t_1 + \dots + t_n) \, dt = V(x) [y_1, y_2, \dots, y_{n+1}]f$$
Donde $[y_1, \dots, y_{n+1}]f$ denota la diferencia dividida de orden $n$ de la función $f$ en los puntos $y_i$.

3. Desarrollo Teórico y Herramientas

La demostración se basa en una serie de lemas que exploran las propiedades de los polinomios de Vandermonde y sus derivadas:

A. Propiedades de las Derivadas de Vandermonde

El autor demuestra dos resultados fundamentales sobre las derivadas parciales de $V(t)$ que son de interés independiente:

1. Sumas de Derivadas Puras (Lema 4): La suma de las derivadas parciales de orden $k$ (donde $1 \le k \le n$) respecto a cada variable $t_i$ es cero:
   $$\sum_{i=1}^n \frac{\partial^k}{\partial t_i^k} V(t) = 0$$
2. Sumas de Derivadas Mixtas (Lema 5): Se define un operador diferencial $E_k$ que suma todas las derivadas mixtas de orden $k$. Se demuestra que:
   $$E_k V(t) = 0 \quad \text{para todo } k = 1, \dots, n$$
   Esto se logra relacionando los operadores de derivación con las identidades de Newton entre polinomios simétricos elementales y sumas de potencias.

B. Derivada de un Producto (Lema 7)

Utilizando la regla de la cadena y los resultados anteriores, el autor establece que para una función $f$ compuesta con la suma $s(t)$:
$$V(t) f^{(n)}(s(t)) = \frac{\partial^n}{\partial t_1 \dots \partial t_n} \left( V(t) f(s(t)) \right)$$
Este paso es crucial porque transforma el integrando (que contiene una derivada de orden $n$ de $f$ multiplicada por $V$) en una derivada mixta de orden máximo de un producto.

C. Integración sobre el Rectángulo (Lema 9)

El autor aplica el teorema fundamental del cálculo iterado (generalización de la integración por partes) sobre el rectángulo $R(x)$.

• Se utiliza la propiedad de que $V(t)$ se anula cuando $t_i = t_{i+1}$.
• Esto reduce la suma de los valores en los $2^n$ vértices del rectángulo (típico en integrales de derivadas mixtas) a solo $n+1$ términos no nulos, correspondientes a los vértices donde la secuencia de índices es no decreciente.

4. Resultados Principales

Teorema 1 (Identidad Principal)

Se demuestra la identidad:
$$\int_{R(x)} V(t) f^{(n)}(s(t)) \, dt = V(x) [y_1, \dots, y_{n+1}]f$$
Esta fórmula proporciona un método integral para calcular diferencias divididas y, recíprocamente, una fórmula de diferencias divididas para ciertas integrales múltiples.

Corolario 1 (Caso Especial)

Si se elige $f(\alpha) = \alpha^n / n!$, entonces $f^{(n)}(\alpha) = 1$. La identidad se simplifica a una fórmula para la integral del polinomio de Vandermonde mismo:
$$\int_{R(x)} V(t) \, dt = \frac{1}{n!} V(x)$$
Esto generaliza resultados conocidos para $n=1$ y $n=2$.

Perspectiva de Diferencia Dividida

El artículo también invierte la relación para expresar la diferencia dividida $[y_1, \dots, y_{n+1}]f$ como una integral, donde los límites de integración $x_i$ se recuperan de los $y_i$ mediante la inversa de una matriz específica $M$ (relacionada con la suma de los puntos).

5. Significado e Impacto

• Nueva Identidad Analítica: Proporciona una conexión sorprendente y simple entre integrales múltiples de polinomios de Vandermonde y el cálculo de diferencias divididas, un concepto central en la teoría de interpolación.
• Herramienta para Análisis Numérico: Dado que las diferencias divididas son fundamentales en interpolación polinómica y splines, esta fórmula integral podría ofrecer nuevas vías para el análisis de errores o la estimación de cotas en métodos numéricos.
• Aplicación en Matrices: La motivación del autor indica que esta identidad es una pieza clave para derivar cotas precisas del determinante de matrices exponenciales, un problema relevante en ecuaciones diferenciales y dinámica de sistemas.
• Propiedades Independientes: Los lemas que demuestran que las sumas de derivadas puras y mixtas de $V(t)$ son cero (Lemas 4 y 5) son resultados algebraicos por sí mismos que podrían tener aplicaciones en la teoría de polinomios simétricos y determinantes.

En resumen, el artículo ofrece una demostración elegante que une el análisis multivariable (integrales sobre dominios complejos) con el álgebra lineal y la teoría de interpolación, resolviendo un problema de integración específico mediante la explotación de las simetrías y propiedades de anulación del polinomio de Vandermonde.