1 スプライン補間の基本概念
1.1 補間と近似の違い
補間は、与えられた節点で関数値が一致するように曲線や関数を構成する手法である。近似は、節点での一致を必須とせず、全体として誤差を小さくする方向で設計される。スプライン補間は原則として補間の性格を持ちつつ、局所的な多項式を組み合わせることで、近似としての安定性や見た目の自然さも得やすい。
1.2 スプラインの定義（区分多項式）
スプラインは、定義域を複数の区間に分け、各区間で低次多項式（ある次数に属する多項式）を用意し、区間境界で所定の滑らかさを満たすようにつなぐ区分多項式である。全体の関数は区間をまたいで連続であり、次数が上がるほど連続性の条件を課しやすくなる。
1.2.1 区間分割と節点
節点（ノット）とは区間の境界であり、分割点として機能する。節点の列を \(\{x_0,x_1,\dots,x_n\}\) とし、区間 \( [x_i,x_{i+1}] \) ごとに異なる多項式を割り当てる。節点間隔の取り方（等間隔か不等間隔か）は、曲線の形状や計算の条件に影響を与える。
1.2.2 連続条件（関数・導関数）
区間境界 \(x_{i}\) で、関数値と導関数の連続性を要求する。具体的には、スプライン次数が \(p\) のとき、通常は少なくとも \(C^{p-1}\) 級、すなわち \((p-1)\) 階導関数まで連続とする設計が多い。これにより、曲線はなめらかな接続を持ち、折れや不自然な角の発生を抑える。
1.3 典型的なスプライン次数
実務では三次（次数3）やそれに準ずる次数が特に多い。理由は、滑らかさ（少なくとも一次導関数の連続）を確保しつつ、多項式係数の数と連立方程式の大きさが扱いやすいからである。次数を上げれば理論上はより高い滑らかさも可能だが、節点配置や境界条件に敏感になり、計算の負荷や数値的なふるまいが複雑になることがある。
2 三次スプライン補間
2.1 三次多項式による区分表現
三次スプラインでは、各区間 \( [x_i,x_{i+1}] \) 上で \[ S_i(x)=a_i(x-x_i)^3+b_i(x-x_i)^2+c_i(x-x_i)+d_i \] の形の三次多項式を用意する。全体のスプライン \(S(x)\) は、区間ごとに対応する \(S_i(x)\) を採用することで定義される。節点での一致条件と連続条件により、係数の総体が一意に定まるよう設計される。
2.2 連続性条件の具体化
節点 \(x_i\)（内部節点）では、左右の区分多項式が
- 関数として同じ値を取る（連続性）
- 一階導関数が同じ傾きを持つ
- 二階導関数が同じ曲率の傾向を示す
という条件を満たす。三次の場合、二階導関数まで連続にすることで、見た目の曲率変化が不連続になりにくい。これらの条件が、区分多項式の切り替え点での破綻を防ぐ役割を担う。
2.3 境界条件の種類
境界条件は、端点付近の形状を決めるための追加情報である。同じ節点列と値列でも、境界条件の選択により端部の曲がり方が変わる。内部節点での連続性だけでは自由度が残るため、端部に適切な条件を課すことが必要になる。
2.3.1 自然スプライン（端点で二階導関数をゼロ）
自然スプラインは、端点で二階導関数をゼロとする条件を課すものである。幾何学的には、端部で曲率が最小限になるよう振る舞うことが多く、特別な情報がない場合の標準的な選択として扱われる。端部の過度な湾曲を抑えたい用途に適する。
2.3.2 クランプド（端点で一階導関数を指定）
クランプド（clamped）では、端点での一階導関数（傾き）を指定する。これにより、端部での接線方向が制御でき、物理的意味（速度や勾配）を持つデータに対して整合的な形状が得られやすい。傾きの指定値が妥当であるほど、曲線は期待どおりの案内に沿って伸びる。
2.3.3 点対称な境界条件の考え方
点対称な境界条件は、端点の挙動に対して対称性を仮定する発想に基づく選択肢である。例えばデータの配置や対象現象が左右（あるいは始点終点）で同様の反応を示す場合、端部に同種の制約を与えることで形状の一貫性を確保しやすい。厳密な「点対称」が常に適用できるとは限らないため、データの性質に応じて採用を判断する。
3 計算手順と数値実装
3.1 連立一次方程式への帰着
三次スプライン補間は、未知数として係数または導関数関連量を導入し、節点の値一致と連続性条件を書き下すことで連立一次方程式に帰着する。代表的には、区間の三次係数を直接解く方法よりも、二階導関数や区間ごとの差分に対応する量を未知としてまとめる方法が実装上有利になることが多い。これにより係数構造が整い、計算が効率化される。
3.2 三重対角行列と効率的解法
適切な未知量の選び方を行うと、連立方程式の係数行列が三重対角（隣接する係数のみが結びつく）になる場合がある。三重対角行列は、前進消去と後退代入のいわゆるトーマス法などで高速に解ける。計算量は節点数に対して線形に近くなり、大規模データでも実用性を保ちやすい。
3.3 制御点・係数への変換
得られた未知量から、区間ごとの多項式係数 \(a_i,b_i,c_i,d_i\) または同等の表現（係数、導関数値、区間ごとの補間パラメータ）を計算する。実装では、曲線評価に必要な形に整理することが重要であり、時間や誤差の観点から中間量を持ちすぎない設計が望ましい。特に大量評価（描画、シミュレーション、制御）を行う場合、評価式を簡潔に保つ変換が有用となる。
3.4 実装上の注意（丸め誤差・安定性）
数値実装では、浮動小数点誤差や条件数の増大に注意する必要がある。節点間隔が極端に小さい、あるいは大きい混在があると、連立方程式の係数が不均衡になりやすい。対策としては、節点のスケーリング、境界条件の整合性確認、計算順の工夫が挙げられる。さらに、評価時には区間探索（どの \(i\) を使うか）のコストも無視できないため、事前の構造化やバイナリサーチ等の実装が検討される。
4 性質と評価
4.1 近似精度と滑らかさ
三次スプラインの滑らかさは、関数と一次・二次導関数の連続性として保証される。これにより曲率の変化が過度に急になりにくく、節点近傍以外でも自然な形状が得られることが多い。精度は、元の関数の滑らかさや節点密度に依存し、適切な節点配置では高次多項式より安定に誤差を抑えられる傾向がある。
4.2 スプラインと誤差評価
誤差評価は、補間対象の滑らかさと節点配置に強く関係する。一般にスプラインは、区間ごとの局所性により、大域的に急激な振動を起こしにくい。評価では、最大誤差、平均誤差、導関数の誤差など、目的に応じた指標を設定することが重要である。導関数や曲率を用いる応用では、値の一致だけでなく微分量の整合性を重視する。
4.3 高次多項式補間との比較
高次多項式補間は節点全体に対する一つの多項式で表すため、節点数が増えると係数の挙動が不安定になりやすい。いわゆる振動（オーバーシュート）や数値誤差の増大が問題になり得る。一方スプラインは区間分割により局所的に構成されるため、曲線の形が節点の影響を段階的に受ける。結果として、実用上の安定性が良好になりやすい。
4.4 応用上の利点と限界
利点として、局所的な編集（ある区間のデータ変更が全体に与える影響を抑えやすい）、微分量の扱いやすさ、計算の効率などがある。限界として、補間である以上はノイズをそのまま曲線に反映しやすい点、また高密度節点や極端な間隔では計算誤差や評価コストが増える点が挙げられる。ノイズが多い場合は平滑化スプラインや別の推定手法を併用することが多い。
5 関連手法と発展
5.1 Bスプラインとベージェス表現
Bスプラインはスプラインを基底関数の線形結合として表す枠組みである。制御点に相当する係数と、節点列により定義される基底関数を組み合わせて曲線を生成する。これにより、複雑な形状でも管理しやすく、局所性（ある係数が影響する区間が限定される）を活かした編集が行える。ベージェス表現（ベジェ曲線）は別系統の表現だが、スプライン理論との関係を通じて設計思想の共通点が理解されることがある。
5.2 有理スプライン（NURBS）の位置づけ
有理スプラインは、分子と分母に異なる重み付けを用いて曲線を表す。特にNURBSは、重みパラメータにより円弧や円錐曲線などを正確に表せる点で、CAD/CAM領域で広く用いられる。三次スプライン補間と比べて、重みの導入により表現力と設計自由度が増し、形状モデリングの要件に適合しやすくなる。
5.3 平滑化スプラインとの関係
平滑化スプラインは、節点の一致を完全には要求せず、曲線のなめらかさとデータへの追従を両立する。ノイズを含む観測に対して過剰な追従を抑える目的で使われる。スプライン補間が「一致」を優先するのに対し、平滑化は「滑らかさ」や「総合的な誤差最小化」を重視する。結果として、推定された曲線はより頑健になる場合がある。
5.4 データ補間以外の用途（微分・積分の扱い）
スプラインは補間曲線としてだけでなく、微分や積分の計算にも利用される。区間ごとの多項式表現により、解析的に導関数や定積分を求めやすい。例えば速度や勾配の推定、曲率評価、区間積分による面積・エネルギー計算などで利点がある。数値的には、微分の離散化よりも滑らかな評価が得られることがあり、推定の安定性向上につながる。