Formula for Hermite multivariate interpolation and partial fraction decomposition

Sintesi Tecnica: Formula per l'Interpolazione Hermite Multivariata e la Decomposizione in Fratti Partiziali

Enunciato del Problema
Il saggio affronta due problemi interconnessi nella teoria dell'approssimazione e nell'algebra:

1. Interpolazione Hermite Multivariata: Trovare una formula esplicita per l'unico polinomio $p \in \Pi_k^n$ (polinomi di grado totale al massimo $n$ in $k$ variabili) che soddisfi le condizioni di interpolazione Hermite (valori e derivate parziali) in un insieme di punti definiti dalle intersezioni di una collezione di iperpiani.
2. Decomposizione in Fratti Partiziali: Fornire una soluzione diretta ed esplicita per decomporre funzioni razionali $p(x)/q(x)$ in fratti partiziali, gestendo specificamente i casi con radici multiple e coefficienti reali (inclusi i casi di coppie coniugate complesse), senza ricorrere alla risoluzione di grandi sistemi lineari.

Metodologia
L'autore, Hakop Hakopian, utilizza il quadro dell'interpolazione di Chung–Yao, che si basa sulla disposizione geometrica degli iperpiani.

• Configurazione Geometrica: Sia $L_{n+k} = \{L_1, \dots, L_{n+k}\}$ una collezione di iperpiani in $\mathbb{R}^k$. L'insieme è assunto essere "ammissibile", ovvero l'intersezione di $k$ iperpiani distinti è un singolo punto, e l'intersezione di $k+1$ è vuota.

• Definizione di Molteplicità: Per ogni punto di intersezione distinto $x^{(i)}$, viene definita una molteplicità $m_i$ basata sul numero di iperpiani che passano per esso. Le condizioni di interpolazione richiedono di far corrispondere la funzione e le sue derivate fino all'ordine $m_i - 1$ in ogni $x^{(i)}$.

• La Formula di Lagrange–Taylor: Il contributo metodologico centrale è la derivazione di una formula "Lagrange–Taylor". L'autore definisce un polinomio di annullamento globale $\phi(x) = \prod L_j(x)$ e polinomi di annullamento locali $\phi_i(x)$ che si annullano in tutti i punti di intersezione tranne che in $x^{(i)}$.
  L'interpolante $p_f$ è costruito come una somma di termini:
  $$p_f(x) = \sum_{i=1}^s \phi_i(x) \cdot T_{f/\phi_i, x^{(i)}, m_i-1}(x)$$
  dove $T_{g, c, m}$ denota il polinomio di Taylor di grado $m$ per una funzione $g$ nel punto $c$. La dimostrazione si basa sulla regola di Leibniz multivariata per dimostrare che questa costruzione soddisfa sia le condizioni di annullamento negli altri nodi, sia le condizioni di riproduzione delle derivate nel nodo target.

• Applicazione alla Decomposizione Univariata: Il saggio applica questo quadro multivariato al caso univariato ($k=1$). Trattando le radici del denominatore $q(x)$ come i punti di intersezione dei fattori lineari, l'autore deriva formule esplicite per i coefficienti della decomposizione in fratti partiziali.

  • Radici Complesse: La formula utilizza differenze divise e espansioni di Taylor per gestire le radici multiple.
  • Decomposizione Reale: Per polinomi reali dove compaiono radici non reali in coppie coniugate, l'autore raggruppa queste radici. La formula risultante esprime la decomposizione utilizzando fattori quadratici reali $(x^2 + u_\nu x + v_\nu)$ e coefficienti reali derivati dalle differenze divise delle componenti della funzione razionale.

Contributi Chiave e Risultati

1. Formula Hermite Esplicita: Il saggio presenta una nuova formula esplicita per l'interpolazione Hermite multivariata all'interno del contesto di Chung–Yao. A differenza degli approcci tradizionali che potrebbero richiedere la risoluzione di sistemi lineari, questa formula è diretta e si basa sulle espansioni di Taylor del quoziente $f/\phi_i$.
2. Decomposizione Diretta in Fratti Partiziali: L'autore deriva formule esplicite per i coefficienti nella decomposizione in fratti partiziali di funzioni razionali con radici multiple.
   • Per radici distinte, la formula recupera il risultato standard che coinvolge $q'(x_i)$.
   • Per radici multiple, i coefficienti sono dati esplicitamente tramite derivate (per radici reali) o differenze divise (per coppie coniugate complesse), evitando la necessità di risolvere un sistema di equazioni lineari.
3. Gestione del Caso Reale: Un contributo specifico è il trattamento esplicito di funzioni razionali reali con radici coniugate complesse. Il saggio fornisce formule per i coefficienti dei termini che coinvolgono fattori quadratici irriducibili, garantendo che la decomposizione rimanga all'interno del campo dei numeri reali.

Significatività e Rivendicazioni
Il saggio afferma di fornire una soluzione diretta ed esplicita al classico problema della decomposizione in fratti partiziali, incluso il caso reale. Sfruttando l'analogo univariato della appena derivata formula Lagrange–Taylor multivariata, l'autore dimostra che i coefficienti della decomposizione possono essere calcolati direttamente dalla funzione e dalle sue derivate (o differenze divise) nei nodi, piuttosto che attraverso manipolazioni algebriche indirette o algebra lineare.

Il lavoro unifica l'approccio geometrico dell'interpolazione di Chung–Yao con il problema algebrico della decomposizione di funzioni razionali, offrendo un quadro teorico che produce espressioni chiuse e computabili per i dati di interpolazione e i coefficienti di decomposizione. L'autore osserva che questo approccio semplifica la procedura per determinare le costanti nelle espansioni in fratti partiziali, particolarmente nei casi che coinvolgono radici multiple.