多項式補間

多項式補間は、与えられたn+1個のデータ点を通る、最大次数nの一意な多項式を構築するものであり、関数の微分、積分、近似の基礎を提供する。

Definition

多項式補間とは、補間ノードと呼ばれる与えられた点の集合において、所定の値（および場合によっては導関数）と一致する最小次数の多項式を決定することである。

Scope

このトピックでは、補間多項式の存在と一意性、ラグランジュ形式とニュートン差分形式、安定した評価に用いられる重心形式、補間誤差の公式、およびチェビシェフ点分布を動機づけるルンゲ現象について扱う。

Core questions

• n+1個の異なる点を通る補間多項式はなぜ一意であり、どのように表現されるのか？
• ラグランジュ形式とニュートン形式はどのように比較され、重心形式が評価に好まれるのはなぜか？
• 補間誤差公式は精度について何を述べており、ノードの配置はそれにどのように影響するか？
• 等間隔点での補間が高次で失敗するのはなぜか、そしてチェビシェフノードはそれをどのように解決するか？

Key theories

存在と一意性

n+1個の異なるノードに対して、所定の値に一致する最大次数nの多項式はただ1つ存在する。これはヴァンデルモンドシステムの非特異性の結果であり、ラグランジュ形式とニュートン形式は、この同じ多項式の2つの構成的表現を与える。

補間誤差とノード選択

補間誤差は、n+1次の差分とノード多項式の積である。ノード多項式の最大値を最小化することがチェビシェフノードの選択を促し、これによりルンゲ現象が抑制され、ほぼ最適な精度が得られる。

Mechanisms

ニュートン形式は、差分を用いて補間関数を段階的に構築するため、ノードを追加する際には1つの追加項のみが必要となる。重心形式は、ラグランジュ補間関数を事前に計算された重みで書き換え、各点において線形時間で補間関数を評価でき、優れた数値的安定性を持つ。誤差公式は、関数と補間関数の差を高階導関数とノードまでの距離の積で表現する。これは、等間隔ノードの場合、内部では小さく、端点付近では大きくなる（ルンゲ現象の原因）が、チェビシェフノードでは一様に有界である。

Clinical relevance

多項式補間は、数値微分・積分公式、求積法や有限差分ステンシルの構築、スペクトル法、および表形式関数の評価の構成要素である。その誤差解析は、正確な再構築のためにデータをどの程度密に、どこでサンプリングすべきかを示す。

History

補間公式はニュートンやラグランジュに遡るが、現代的な理解は、等間隔点での発散を示すルンゲの1901年の例と、チェビシェフノードと安定した重心公式が高次補間を正確かつ実用的にするという20世紀の認識によって深められた。

Key figures

• Joseph-Louis Lagrange
• Isaac Newton
• Carl Runge
• Pafnuty Chebyshev

Seminal works

• trefethen2013
• powell1981

Frequently asked questions

高次の補間多項式は常に精度が高いのか？

必ずしもそうではない。等間隔ノードの場合、次数を上げると区間端付近で大きな振動（ルンゲ現象）が生じ、精度が低下することがある。チェビシェフ分布ノードや区分的（スプライン）補間を用いることで、信頼性の高い収束が回復する。

実用上、補間関数のどの表現を用いるべきか？

一般的に重心形式が好まれる。その重みが一度計算されれば、補間関数を迅速に評価でき、数値的に安定している。これは、悪条件であるヴァンデルモンドシステムを直接解く場合とは異なる。