Formula for Hermite multivariate interpolation and partial fraction decomposition

Technische Samenvatting: Formule voor Hermite Multivariate Interpolatie en Partiële Breukontwikkeling

Probleemstelling
Het artikel behandelt twee onderling verbonden problemen in de benaderingstheorie en de algebra:

1. Multivariate Hermite-interpolatie: Het vinden van een expliciete formule voor het unieke polynoom $p \in \Pi_k^n$ (polynomen van totale graad ten hoogste $n$ in $k$ variabelen) dat voldoet aan de Hermite-interpolatievoorwaarden (waarden en partiële afgeleiden) in een verzameling punten gedefinieerd door de snijpunten van een collectie hypervlakken.
2. Partiële Breukontwikkeling: Het bieden van een directe, expliciete oplossing voor het ontbinden van rationale functies $p(x)/q(x)$ in partiële breuken, specifels het afhandelen van gevallen met meervoudige wortels en reële coëfficiënten (inclusclusief complexe geconjugeerde paren), zonder terug te vallen op het oplossen van grote lineaire stelsels.

Methodologie
De auteur, Hakop Hakopian, maakt gebruik van het kader van de Chung–Yao-interpolatie, die steunt op de geometrische ordening van hypervlakken.

• Geometische Opzet: Laat $L_{n+k} = \{L_1, \dots, L_{n+k}\}$ een collectie hypervlakken zijn in $\mathbb{R}^k$. De verzameling wordt als "toelaatbaar" beschouwd, wat betekent dat de snijdoorsnede van elke $k$ verschillende hypervlakken een enkel punt is, en de snijdoorsnede van elke $k+1$ leeg is.

• Multipliciteitsdefinitie: Voor elk verschillend snijpunt $x^{(i)}$ wordt een multipliciteit $m_i$ gedefinieerd op basis van het aantal hypervlakken dat door het punt gaat. De interpolatievoorwaarden vereisen het matchen van de functie en de afgeleiden tot orde $m_i - 1$ bij elk $x^{(i)}$.

• De Lagrange–Taylor-formule: De kern van de methodologische bijdrage is de afleiding van een "Lagrange–Taylor"-formule. De auteur definieert een globale verdwijnende polynoom $\phi(x) = \prod L_j(x)$ en lokale verdwijnende polynomen $\phi_i(x)$ die verdwijnen bij alle snijpunten behalve $x^{(i)}$.
  De interpolant $p_f$ wordt geconstrueerd als een som van termen:
  $$p_f(x) = \sum_{i=1}^s \phi_i(x) \cdot T_{f/\phi_i, x^{(i)}, m_i-1}(x)$$
  waarbij $T_{g, c, m}$ de Taylor-polynoom van graad $m$ voor een functie $g$ in punt $c$ is. Het bewijs berust op de multivariate Leibniz-regel om aan te tonen dat deze constructie zowel voldoet aan de verdwijningsvoorwaarden bij andere knopen als aan de afgeleidingsreproductievoorwaarden bij de doelknoop.

• Toepassing op Univariate Decompositie: Het artikel past dit multivariate kader toe op de univariate casus ($k=1$). Door de wortels van de noemer $q(x)$ te behandelen als de snijpunten van lineaire factoren, leidt de auteur expliciete formules af voor de coëfficiënten van de partiële breukontwikkeling.

  • Complexe Wortels: De formule maakt gebruik van verdeelde verschillen (divided differences) en Taylor-expansies om meervoudige wortels te behandelen.
  • Reële Decompositie: Voor reële polynomen waarbij niet-reële wortels voorkomen als geconjugeerde paren, groepeert de auteur deze wortels. De resulterende formule drukt de decompositie uit met behulp van reële kwadratische factoren $(x^2 + u_\nu x + v_\nu)$ en reële coëfficiënten afgeleid van de verdeelde verschillen van de rationale functiecomponenten.

Belangrijkste Bijdragen en Resultaten

1. Expliciete Hermite-formule: Het artikel presenteert een nieuwe, expliciete formule voor multivariate Hermite-interpolatie binnen de Chung–Yao-setting. In tegenstelling tot traditionele benaderingen die mogelijk het oplossen van lineaire stelsels vereisen, is deze formule direct en rust deze op Taylor-expansies van de quoët $f/\phi_i$.
2. Directe Partiële Breukontwikkeling: De auteur leidt expliciete formules af voor de coëfficiënten in de partiële breukontwikkeling van rationale functies met meervoudige wortels.
   • Voor verschillende wortels herstelt de formule het standaardresultaat met betrekking tot $q'(x_i)$.
   • Voor meervoudige wortels worden de coëfficiënten expliciet gegeven via afgeleiden (voor reële wortels) of verdeelde verschillen (voor complexe geconjugeerde paren), waardoor het oplossen van een lineair stelsel van vergelijkingen wordt vermeden.
3. Afhandeling van het Reële Geval: Een specifieke bijdrage is de expliciete behandeling van reële rationale functies met complexe geconjugeerde wortels. Het artikel biedt formules voor de coëfficiënten van de termen die betrokken zijn bij irreducibele kwadratische factoren, waardoor de decompositie binnen het lichaam van de reële getallen blijft.

Betekenis en Claims
Het artikel claimt een directe en expliciete oplossing te bieden voor het klassieke probleem van de partiële breukontwikkeling, inclusief het reële geval. Door gebruik te maken van de univariate analogie van de nieuw afgeleide multivariate Lagrange–Taylor-formule, demonstreert de auteur dat de coëfficiënten van de decompositie direct berekend kunnen worden uit de functie en haar afgeleiden (of verdeelde verschillen) bij de wortels, in plaats van via indirecte algebraïsche manipulatie of lineaire algebra.

Het werk verenigt de geometrische benadering van Chung–Yao-interpolatie met het algebraïsche probleem van rationale functiedecompositie, wat een theoretisch kader biedt dat berekenbare, gesloten vorm-expressies oplevert voor interpolatiedata en decompositiecoëfficiënten. De auteur merkt op dat deze benadering de procedure voor het bepalen van constanten in partiële breukexpansies vereenvoudigt, met name in gevallen met meervoudige wortels.