1 線形補間の概要
1.1 定義と基本概念
線形補間は、既知の観測点やサンプル点の集合のうち、入力（独立変数）がある値の範囲に収まるとき、その間の値を直線近似により推定する手法である。離散的に与えられたデータ系列を、区間ごとに線分でつなぎ合わせることで、連続的な近似関数を構成する。
基本の発想は、隣り合う2点の間では従属変数の変化が一次的（線形的）であるとみなすことにある。これにより、計算は重み付き平均と係数の一次式で完結し、実装も容易になる。
1.2 2点間の線形補間
1.2.1 区間内の重み付け平均としての表現
入力位置が2つの既知点の間にあるとき、補間値はその位置に応じた重み付き平均として表せる。一般に、区間の左端を基準にした相対位置（区間長に対する割合）を用いると、重みは端点からの距離に反比例する形になりやすい。
具体的には、区間の両端の値を \(y_0, y_1\)、入力変数を \(x_0, x_1\) とし、求めたい入力を \(x\) とする。補間値 \(\hat{y}\) は、\(x\) が左端に近いほど \(y_0\) の影響が強くなり、右端に近いほど \(y_1\) の影響が強くなるように配分される。
1.2.2 傾き（一次係数）による導出
2点 \((x_0, y_0)\) と \((x_1, y_1)\) を結ぶ直線の傾きは、従属変数の差を独立変数の差で割った値として求まる。この傾きを用いれば、左端から右端に向かうにつれて増減する割合が一次的に記述できる。
傾き \(m = \dfrac{y_1 - y_0}{x_1 - x_0}\) を導入すると、左端からの入力差 \((x - x_0)\) に比例して補間値が加算される。結果として、補間は一次式の評価に帰着するため、演算量が少なく、理解もしやすい。
1.3 多点への拡張（区分的線形補間）
1.3.1 セグメント選択の考え方
実データでは点が多数あるため、任意の入力値 \(x\) について、どの2点を結ぶ区間で補間するかを決める必要がある。通常は、\(x\) を挟むような隣接点のペアを選び、そのペア間でのみ線形補間を適用する。
この「区間の選択」は、連続近似の自然さに直結する。点列が単調増加に整列されていれば、探索の結果により適切なセグメントが一意に定まりやすい。一方、未整列であれば選択規則が曖昧になり、誤った組み合わせで評価されるおそれがある。
1.3.2 連続性と境界の扱い
区分的線形補間では、各区間で直線を定義し、それらを点でつなぐ。一般に、補間は端点の値をそのまま引き継ぐため、値の連続性（グラフが途切れない性質）は満たされる。
一方で、一次導関数に相当する傾きは区間ごとに異なりうる。そのため、切り替え点（節点）では傾きが跳ぶことがある。値は連続でも、傾きは連続でないという性質が、区分的線形としての特徴になる。
2 数式と計算手順
2.1 必要な入力（独立変数と従属変数）
2.1.1 入力点の順序条件
線形補間を多点に適用する場合、独立変数 \(x\) の順序が重要になる。一般的には \(x\) が単調増加（または単調減少）となるように並べられていることが前提である。これにより、ある入力 \(x\) がどの区間に入るかを一意に判定できる。
また、点の数が増えるほど、区間探索は効率の観点でも重要になる。整列条件が満たされれば、二分探索などの高速手法を適用しやすい。
2.1.1.1 重複点や未整列データへの対応方針
重複した独立変数値が存在すると、区間長がゼロになり、傾き計算が定義できない場合がある。対応方針としては、(1) 重複を解消するために統合（平均や代表値の採用）、(2) 重複区間を特別扱いして一定値とみなす、(3) 入力エラーとして拒否する、などがある。
未整列データは、基本的に並べ替えによって対処するのが一般的である。ただし並べ替えの際に、元データの意味（時系列の順序や対応関係）を損なわないことを確認する必要がある。
2.2 補間値の計算アルゴリズム
2.2.1 区間探索（どの2点を使うか）
補間対象の入力 \(x\) が与えられたら、既知点列から「\(x\) を挟む」隣接点のインデックスを特定する。たとえば単調増加の \(x\) 配列が \(x_0 < x_1 < \cdots < x_{n}\) のとき、条件 \(x_i \le x \le x_{i+1}\) を満たす \(i\) を見つける。
この探索は、線形探索（先頭から順に調べる）でも動作するが、大規模データでは二分探索や索引構造が有利である。区間が確定すれば、その2点のみで計算が行える。
2.2.2 係数計算と最終評価
区間 \([x_i, x_{i+1}]\) が確定したら、補間値はその区間で定義された一次式として計算する。傾き \(m = \dfrac{y_{i+1} - y_i}{x_{i+1} - x_i}\) を求め、\(\hat{y} = y_i + m(x - x_i)\) として評価する。
数値実装では、分母のゼロ（重複点）を事前に回避し、必要なら安全な例外処理や代替手順を用意する。評価の際は、入力が区間外に出ないことが望ましい。
2.3 境界付近での挙動
2.3.1 内挿と外挿の違い
内挿は既知点の範囲内で補間する行為であり、線形仮定が局所的に成り立つなら精度が比較的安定しやすい。外挿は範囲外で同じ直線の延長を用いるため、データが急に変化する可能性を考慮すると不確実性が増える。
一般には、外挿結果は保証の範囲外であると扱うことが多い。特に端点近くの傾きが、内部の平均的な傾向と一致しない場合に誤差が増えやすい。
2.3.2 外挿を用いる場合の注意
外挿を行う場合は、採用する直線の根拠を明確にする必要がある。典型的には端点に最も近い区間の傾きを延長するが、入力が大きく外れるほど誤差の増大が起こりやすい。
また、物理量や比率など、外挿によって不適切な値（負値や範囲逸脱）が出る可能性もある。そのため、実装上は外挿の許可範囲を制限したり、出力を妥当性条件でクリップしたりする設計が用いられる。
3 性質と精度
3.1 誤差の考え方（一般的な直感）
線形補間の誤差は、「実データの局所的な形状が直線でどれだけ近似できるか」に依存する。理想的には、対象の変化が区間内でほぼ一次であれば誤差は小さくなる。
一方で、曲率（非線形性）が強い領域では、直線近似が系統的にずれる可能性がある。ノイズがある場合には、線形補間はノイズそのものを平均化する側面と、誤って波形を作ってしまう側面の両方を持つ。
3.2 滑らかさに対する適用性
3.2.1 近似対象が線形に近い場合の良好さ
区間内で関数形が緩やかで、変化率が大きく変わらない場合、補間は観測点の間の中間値を適切に与えやすい。特にデータ点が十分密で、区間幅が小さいほど局所近似の仮定が崩れにくい。
この状況では、グラフ上の見た目も自然になりやすく、計算の単純さと精度のバランスが良くなる。
3.2.2 急激な変化がある場合の限界
急な変化、段差、強い屈曲が存在する場合、線形補間はその形状を直接表現しにくい。たとえば連続的に変化していても勾配が急に変わると、区間内で直線として表せないため、局所的な過大または過小評価が生じる。
さらに、データが離散的な飛びを含む場合、補間は飛びをまたぐ領域を直線で埋めるため、本来の現象から逸脱した見かけの値を作ることがある。
3.3 切り替え点での挙動
3.3.1 連続性（値）と不連続性（傾き）
区分的線形では、節点での関数値は一致するように作られるため、補間曲線は値として連続になるのが通常である。ただし、傾きは区間ごとに別の直線に由来するため、節点で微分可能性は保証されず、勾配が不連続になりうる。
この性質により、視覚的には折れ線として表現され、なめらかな曲線を期待する用途では別手法が選ばれることがある。
4 応用と実装上の論点
4.1 数値計算・データ処理での利用例
線形補間は、センサ計測のサンプリング間の整形、時刻の異なる系列の同期、グリッド上の値の推定、欠損データの埋め補いなどで頻繁に使われる。計算が軽く、実装が容易であるため、前処理の段階でまず導入されることが多い。
また、多次元への拡張では、軸ごとに区分線形を適用することで実用的な補間が構築できる。ただし多次元では計算手順とデータ量の増加に注意が必要になる。
4.2 可視化（グラフ作成）での使われ方
4.2.1 ステップ状データの滑らかな表示
折れ線グラフではデータの間隔が粗い場合に視覚的なギャップが目立つため、線形補間で描画用の細かい点を生成して滑らかに見せることがある。特に、表示目的では「自然な連結」を優先して密なサンプルを作り、元の離散点は目立つマーカーとして示す運用が行われる。
ただし、元データが段階的な変化を表している場合、補間により本来の段差が薄まって誤解を生む可能性もあるため、目的に応じた表現が求められる。
4.3 実装の最適化
4.3.1 計算量と区間探索の工夫
多くの評価点に対して補間を行う場合、支配的なコストは区間探索に偏りやすい。既知点が固定で評価点が多数ある状況では、二分探索により探索を高速化する、あるいは評価点が単調に増加するならポインタを前進させて線形探索に近い効率を得るなどの工夫が可能である。
さらに、区間長や傾きの事前計算を行えば、各評価では一次式の評価だけで済むため、全体の実行時間を削減できる。
4.3.2 浮動小数点誤差への配慮
実装では、差分計算や除算に伴う丸め誤差が生じる。特に、区間長が非常に小さい場合や、値のスケールが極端な場合に誤差が拡大することがある。
対策としては、事前に入力の整合性（重複や極端な値）を確認する、必要なら許容誤差を用いた比較を行う、計算順を見直して桁落ちを抑えるといった実装方針が有効である。出力の妥当性チェックも併用すると安定する。
4.4 関連手法との比較
4.4.1 多項式補間との違い
多項式補間は、複数点を一つの高次多項式で同時に通す手法である。点数が増えると自由度が増えるため、理論上は観測点を正確に再現できるが、区間外や境界付近で振動が目立つことがある。
線形補間は高次の自由度を使わないため、そのような振動のリスクが相対的に小さい。ただし、滑らかさや曲率の表現力は多項式に劣ることがある。
4.4.2 スプライン補間との違い
スプライン補間は、区間ごとに低次多項式を用いつつ、接続点でのなめらかさ（導関数の整合）を条件として設計する手法である。結果として、傾きの不連続を抑えた滑らかな曲線が得られやすい。
線形補間は折れ線になるため、曲線の自然さを重視する場面では不十分になることがある。その一方で、計算が単純で、実装と評価が軽いという利点がある。
4.4.3 最近傍補間との違い
最近傍補間は、各入力位置に最も近い既知点の値をそのまま採用する方式である。折れ線ではなく階段状の出力になりやすく、区間内の連続的な変化を表しにくい。
線形補間は両端を結ぶ情報を用いるため、段階の境界をまたいで値が滑らかに変わるように表現できる。代わりに、境界が本質的な段差である場合には、滑らかな変化が誤解を生むことがある。