Formula for Hermite multivariate interpolation and partial fraction decomposition

Technische Zusammenfassung: Formel für die multivariate Hermite-Interpolation und Partialbruchzerlegung

Problemstellung
Die Arbeit behandelt zwei miteinander verbundene Probleme der Approximationstheorie und Algebra:

1. Multivariate Hermite-Interpolation: Das Finden einer expliziten Formel für das eindeutige Polynom $p \in \Pi_k^n$ (Polynome des maximalen Gesamtdarstellungsgrades $n$ in $k$ Variablen), das die Hermite-Interpolationsbedingungen (Werte und partielle Ableitungen) an einer Menge von Punkten erfüllt, die durch die Schnittpunkte einer Kollektion von Hyperebenen definiert sind.
2. Partialbruchzerlegung: Bereitstellung einer direkten, expliziten Lösung für die Zerlegung rationaler Funktionen $p(x)/q(x)$ in Partialbrüche, insbesondere unter Berücksichtigung von Fällen mit mehrfachen Nullstellen und reellen Koeffizienten (einschließlich komplex konjugierter Paare), ohne auf das Lösen großer linearen Gleichungssysteme zurückzugreifen.

Methodik
Der Autor, Hakop Hakopian, nutzt den Rahmen der Chung–Yao-Interpolation, die auf der geometrischen Anordnung von Hyperebenen basiert.

• Geometrischer Aufbau: Sei $L_{n+k} = \{L_1, \dots, L_{n+k}\}$ eine Kollektion von Hyperebenen in $\mathbb{R}^k$. Die Menge wird als „zulässig“ vorausgesetzt, was bedeutet, dass der Schnittpunkt von jeweils $k$ unterschiedlichen Hyperebenen ein einzelner Punkt ist und der Schnittpunkt von $k+1$ Hyperebenen leer ist.

• Definition der Multiplizität: Für jeden unterschiedlichen Schnittpunkt $x^{(i)}$ wird eine Multiplizität $m_i$ definiert, die auf der Anzahl der durch diesen Punkt verlaufenden Hyperebenen basiert. Die Interpolationsbedingungen erfordern das Abgleichen der Funktion und ihrer Ableitungen bis zur Ordnung $m_i - 1$ an jedem $x^{(i)}$.

• Die Lagrange–Taylor-Formel: Der zentrale methodische Beitrag ist die Herleitung einer „Lagrange–Taylor-Formel“. Der Autor definiert ein globales verschwindendes Polynom $\phi(x) = \prod L_j(x)$ und lokale verschwindende Polynome $\phi_i(x)$, die an allen Schnittpunkten außer $x^{(i)}$ verschwinden.
  Das Interpolant $p_f$ wird als Summe von Termen konstruiert:
  $$p_f(x) = \sum_{i=1}^s \phi_i(x) \cdot T_{f/\phi_i, x^{(i)}, m_i-1}(x)$$
  wobei $T_{g, c, m}$ das Taylor-Polynom vom Grad $m$ für eine Funktion $g$ am Punkt $c$ bezeichnet. Der Beweis stützt sich auf die multivariate Leibniz-Regel, um zu zeigen, dass diese Konstruktion sowohl die Verschwindungsbedingungen an anderen Knoten als auch die Reproduktionsbedingungen der Ableitungen am Zielknoten erfüllt.

• Anwendung auf die univariate Zerlegung: Die Arbeit wendet diesen multivariaten Rahmen auf den univariaten Fall ($k=1$) an. Indem der Autor die Nullstellen des Nenners $q(x)$ als Schnittpunkte linearer Faktoren behandelt, leitet er explizite Formeln für die Koeffizienten der Partialbruchzerlegung ab.

  • Komplexe Nullstellen: Die Formel nutzt Differenzenquotienten und Taylor-Entwicklungen, um mehrfache Nullstellen zu behandeln.
  • Reelle Zerlegung: Für reelle Polynome, bei denen nicht-reelle Nullstellen in konjugierten Paaren auftreten, gruppiert der Autor diese Nullstellen. Die resultierende Formel drückt die Zerlegung unter Verwendung reeller quadratischer Faktoren $(x^2 + u_\nu x + v_\nu)$ und reeller Koeffizienten aus, die aus den Differenzenquotienten der rationalen Funktionsteile abgeleitet werden.

Zentrale Beiträge und Ergebnisse

1. Explizite Hermite-Formel: Die Arbeit präsentiert eine neue, explizite Formel für die multivariate Hermite-Interpolation innerhalb des Chung–Yao-Settings. Im Gegensatz zu traditionellen Ansätzen, die das Lösen linearer Gleichungssysteme erfordern könnten, ist diese Formel direkt und basiert auf Taylor-Entwicklungen des Quotienten $f/\phi_i$.
2. Direkte Partialbruchzerlegung: Der Autor leitet explizite Formeln für die Koeffizienten in der Partialbruchzerlegung rationaler Funktionen mit mehrfachen Nullstellen her.
   • Für einfache Nullstellen stellt die Formel das Standardergebnis unter Verwendung von $q'(x_i)$ wieder her.
   • Für mehrfache Nullstellen werden die Koeffizienten explizit über Ableitungen (für reelle Nullstellen) oder Differenzenquotienten (für komplexe konjugierte Paare) angegeben, wodurch das Lösen eines linearen Gleichungssystems vermieden wird.
3. Behandlung des reellen Falls: Ein spezifischer Beitrag ist die explizite Behandlung reeller rationaler Funktionen mit komplex konjugierten Nullstellen. Die Arbeit liefert Formeln für die Koeffizienten der Terme, die irreduzible quadratische Faktoren beinhalten, um sicherzustellen, dass die Zerlegung innerhalb des Körper der reellen Zahlen bleibt.

Bedeutung und Behauptungen
Die Arbeit behauptet, eine direkte und explizite Lösung für das klassische Problem der Partialbruchzerlegung, einschließlich des reellen Falls, bereitzustellen. Durch die Nutzung des univariaten Analogons der neu hergeleiteten multivariaten Lagrange–Taylor-Formel zeigt der Autor auf, dass die Koeffizienten der Zerlegung direkt aus der Funktion und ihren Ableitungen (oder Differenzenquotienten) an den Nullstellen berechnet werden können, anstatt durch indirekte algebraische Manipulation oder lineare Algebra.

Die Arbeit vereinigt den geometrischen Ansatz der Chung–Yao-Interpolation mit dem algebraischen Problem der Zerlegung rationaler Funktionen und bietet einen theoretischen Rahmen, der berechenbare, geschlossene Ausdrücke für Interpolationsdaten und Zerlegungskoeffizienten liefert. Der Autor stellt fest, dass dieser Ansatz das Verfahren zur Bestimmung von Konstanten in Partialbruchentwicklungen vereinfacht, insbesondere in Fällen mit mehrfachen Nullstellen.