Formula for Hermite multivariate interpolation and partial fraction decomposition

Resumen Técnico: Fórmula para la Interpolación de Hermite Multivariante y la Descomposición en Fracciones Parciales

Planteamiento del Problema
El artículo aborda dos problemas interconectados en la teoría de la aproximación y el álgebra:

1. Interpolación de Hermite Multivariante: Encontrar una fórmula explícita para el polinomio único $p \in \Pi_k^n$ (polinomios de grado total máximo $n$ en $k$ variables) que satisfaga las condiciones de interpolación de Hermite (valores y derivadas parciales) en un conjunto de puntos definidos por las intersecciones de una colección de hiperplanos.
2. Descomposición en Fracciones Parciales: Proporcionar una solución directa y explícita para descomponer funciones racionales $p(x)/q(x)$, específicamente tratando casos con raíces múltiples y coeficientes reales (incluyendo pares conjugados complejos), sin recurrir a la resolución de grandes sistemas lineales.

Metodología
El autor, Hakop Hakopian, utiliza el marco de la interpolación de Chung–Yao, la cual se basa en la disposición geométrica de los hiperplanos.

• Configuración Geométrica: Sea $L_{n+k} = \{L_1, \dots, L_{n+k}\}$ una colección de hiperplanos en $\mathbb{R}^k$. Se asume que el conjunto es "admisible", lo que significa que la intersección de cualquier conjunto de $k$ hiperplanos distintos es un único punto, y la intersección de cualquier conjunto de $k+1$ es vacía.

• Definición de Multiplicidad: Para cada punto de intersección distinto $x^{(i)}$, se define una multiplicidad $m_i$ basada en el número de hiperplanos que pasan por él. Las condiciones de interpolación requieren igualar la función y sus derivadas hasta el orden $m_i - 1$ en cada $x^{(i)}$.

• La Fórmula de Lagrange–Taylor: La contribución metodológica central es la derivación de una fórmula "Lagrange–Taylor". El autor define un polinomio de anulación global $\phi(x) = \prod L_j(x)$ y polinomios de anulación locales $\phi_i(x)$ que se anulan en todos los puntos de intersección excepto en $x^{(i)}$.
  El interpolante $p_f$ se construye como una suma de términos:
  $$p_f(x) = \sum_{i=1}^s \phi_i(x) \cdot T_{f/\phi_i, x^{(i)}, m_i-1}(x)$$
  donde $T_{g, c, m}$ denota el polinomio de Taylor de grado $m$ para una función $g$ en el punto $c$. La demostración se basa en la regla de Leibniz multivariante para demostrar que esta construcción satisface tanto las condiciones de anulación en otros nodos como las condiciones de reproducción de derivadas en el nodo objetivo.

• Aplicación a la Descomposición Univariante: El artículo aplica este marco multivariante al caso univariante ($k=1$). Al tratar las raíces del denominador $q(x)$ como los puntos de intersección de los factores lineales, el autor deriva fórmulas explícitas para los coeficientes de la descomposición en fracciones parciales.

  • Raíces Complejas: La fórmula utiliza diferencias divididas y expansiones de Taylor para manejar raíces múltiples.
  • Descomposición Real: Para polinomios reales donde aparecen raíces no reales en pares conjugados, el autor agrupa estas raíces. La fórmula resultante expresa la descomposición utilizando factores cuadráticos reales $(x^2 + u_\nu x + v_\nu)$ y coeficientes reales derivados de las diferencias divididas de los componentes de la función racional.

Contribuciones Clave y Resultados

1. Fórmula de Hermite Explícita: El artículo presenta una nueva fórmula explícita para la interpolación de Hermite multivariante dentro del entorno de Chung–Yos. A diferencia de los enfoques tradicionales que podrían requerir la resolución de sistemas lineales, esta fórmula es directa y se basa en las expansiones de Taylor del cociente $f/\phi_i$.
2. Descomposición Directa en Fracciones Parciales: El autor deriva fórmulas explícitas para los coeficientes en la descomposición en fracciones parciales de funciones racionales con raíces múltiples.
   • Para raíces distintas, la fórmula recupera el resultado estándar que involucra a $q'(x_i)$.
   • Para raíces múltiples, los coeficientes se dan explícitamente mediante derivadas (para raíces reales) o diferencias divididas (para pares conjugados complejos), evitando la necesidad de resolver un sistema de ecuaciones lineales.
3. Tratamiento del Caso Real: Una contribución específica es el tratamiento explícito de funciones racionales reales con raíces conjugadas complejas. El artículo proporciona fórmulas para los coeficientes de los términos que involucran factores cuadráticos irreducibles, asegurando que la descomposición permanezca dentro del cuerpo de los números reales.

Significancia y Reivindicaciones
El artículo afirma proporcionar una solución directa y explícita al problema clásico de la descomposición en fracciones parciales, incluyendo el caso real. Al aprovechar el análogo univariante de la recién derivada fórmula Lagrange–Taylor multivariante, el autor demuestra que los coeficientes de la descomposición pueden calcularse directamente a partir de la función y sus derivadas (o diferencias divididas) en las raíces, en lugar de mediante la manipulación algebraica indirecta o el álgebra lineal.

Este trabajo unifica el enfoque geométrico de la interpolación de Chung–Yao con el problema algebraico de la descomposición de funciones racionales, ofreciendo un marco teórico que produce expresiones cerradas y computables para los datos de interpolación y los coeficientes de descomposición. El autor señala que este enfoque simplifica el procedimiento para determinar las constantes en las expansiones de fracciones parciales, particularmente en casos que involucran raíces múltiples.