Formula for Hermite multivariate interpolation and partial fraction decomposition

Résumé Technique : Formule pour l'Interpolation de Hermite Multivariée et la Décomposition en Fractions Partielles

Énoncé du Problème
L'article traite de deux problèmes interconnectés en théorie de l'approximation et en algèbre :

1. Interpolation de Hermite Multivariée : Trouver une formule explicite pour l'unique polynôme $p \in \Pi_k^n$ (polynômes de degré total au plus $n$ dans $k$ variables) qui satisfait les conditions d'interpolation de Hermite (valeurs et dérivées partielles) en un ensemble de points définis par les intersections d'une collection d'hyperplans.
2. Décomposition en Fractions Partielles : Fournir une solution directe et explicite pour décomposer des fonctions rationnelles $p(x)/q(x)$ en fractions partielles, en traitant spécifiquement les cas avec des racines multiples et des coefficients réels (incluant les paires conjuguées complexes), sans avoir recours à la résolution de grands systèmes linéaires.

Méthodologie
L'auteur, Hakop Hakikian, utilise le cadre de l'interpolation de Chung–Yao, qui repose sur la disposition géométrique des hyperplans.

• Configuration Géométrique : Soit $L_{n+k} = \{L_1, \dots, L_{n+k}\}$ une collection d'hyperplans dans $\mathbb{R}^k$. L'ensemble est supposé être « admissible », ce qui signifie que l'intersection de $k$ hyperplans distincts est un point unique, et que l'intersection de $k+1$ est vide.

• Définition de la Multiplicité : Pour chaque point d'intersection distinct $x^{(i)}$, une multiplicité $m_i$ est définie en fonction du nombre d'hyperplans passant par lui. Les conditions d'interpolation exigent de correspondre à la fonction et à ses dérivées jusqu'à l'ordre $m_i - 1$ en chaque $x^{(i)}$.

• La Formule de Lagrange–Taylor : La contribution méthodologique centrale est la dérivation d'une formule « Lagrange–Taylor ». L'auteur définit un polynôme d'annulation global $\phi(x) = \prod L_j(x)$ et des polynômes d'annulation locaux $\phi_i(x)$ qui s'annulent en tous les points d'intersection sauf $x^{(i)}$.
  L'interpolant $p_f$ est construit comme une somme de termes :
  $$p_f(x) = \sum_{i=1}^s \phi_i(x) \cdot T_{f/\phi_i, x^{(i)}, m_i-1}(x)$$
  où $T_{g, c, m}$ désigne le polynôme de Taylor de degré $m$ pour une fonction $g$ au point $c$. La preuve repose sur la règle de Leibniz multivariée pour montrer que cette construction satisfait à la fois les conditions d'annulation aux autres nœuds et les conditions de reproduction de dérivées au nœud cible.

• Application à la Décomposition Univariée : L'article applique ce cadre multivarié au cas univarié ($k=1$). En traitant les racines du dénominateur $q(x)$ comme les points d'intersection de facteurs linéaires, l'auteur dérive des formules explicites pour les coefficients de la décomposition en fractions partielles.

  • Racines Complexes : La formule utilise les différences divisées et les développements de Taylor pour gérer les racines multiples.
  • Décomposition Réelle : Pour les polynômes réels où des racines non réelles apparaissent sous forme de paires conjuguées, l'auteur regroupe ces racines. La formule résultante exprime la décomposition en utilisant des facteurs quadratiques réels $(x^2 + u_\nu x + v_\nu)$ et des coefficients réels dérivés des différences divisées des composantes de la fonction rationnelle.

Contributions Clés et Résultats

1. Formule de Hermite Explicite : L'article présente une nouvelle formule explicite pour l'interpolation de Hermite multivariée dans le cadre de Chung–Yao. Contrairement aux approches traditionnelles qui pourraient nécessiter la résolution de systèmes linéaires, cette formule est directe et repose sur les développements de Taylor du quotient $f/\phi_i$.
2. Décomposition en Fractions Partielles Directe : L'auteur dérive des formules explicites pour les coefficients de la décomposition en fractions partielles des fonctions rationnelles avec des racines multiples.
   • Pour les racines distinctes, la formule retrouve le résultat standard impliquant $q'(x_i)$.
   • Pour les racines multiples, les coefficients sont donnés explicitement via les dérivées (pour les racines réelles) ou les différences divisées (pour les paires conjuguées complexes), évitant ainsi de résoudre un système d'équations linéaires.
3. Gestion du Cas Réel : Une contribution spécifique est le traitement explicite des fonctions rationnelles réelles possédant des racines conjuguées complexes. L'article fournit des formules pour les coefficients des termes impliquant des facteurs quadratiques irréductibles, garantissant que la décomposition reste dans le corps des nombres réels.

Signification et Revendications
L'article affirme fournir une solution directe et explicite au problème classique de la décomposition en fractions partielles, incluant le cas réel. En exploitant l'analogue univarié de la formule Lagrange–Taylor multivariée nouvellement dérivée, l'auteur démontre que les coefficients de la décomposition peuvent être calculés directement à partir de la fonction et de ses dérivées (ou différences divisées) aux racines, plutôt que par une manipulation algébrique indirecte ou de l'algèbre linéaire.

Ce travail unifie l'approche géométrique de l'interpolation de Chung–Yao avec le problème algébrique de la décomposition de fonctions rationnelles, offrant un cadre théorique qui produit des expressions calculables sous forme de solutions closes pour les données d'interpolation et les coefficients de décomposition. L'auteur note que cette approche simplifie la procédure de détermination des constantes dans les expansions en fractions partielles, particulièrement dans les cas impliquant des racines multiples.