1 定義
打切り誤差は、無限に続く表現や、本来は細部まで含む計算を、有限の回数や項数で止めたときに残る差をいう。理論上の厳密値と、実際に得られる近似値の隔たりを表す基本概念であり、数値解析の多くの分野で共通して扱われる。
1.1 打切り誤差の意味
ある級数、反復計算、微分方程式の解法などを途中で止めた場合、そこで捨てられた残りの寄与が打切り誤差である。これは「まだ計算していない部分」に由来するため、計算規則や近似の途中経過と密接に結びつく。
1.2 丸め誤差との違い
打切り誤差は、近似をどこで止めるかによって生じる。一方、丸め誤差は、有限桁で数を表す際の表現上のずれである。前者は近似の構成そのものに関わり、後者は数値の表現精度に起因する。
1.3 近似誤差全体における位置づけ
実際の計算では、打切り誤差、丸め誤差、さらには入力値の不確かさなどが重なって全体の誤差を形づくる。その中で打切り誤差は、理論的近似の限界を示す中心的な要素として位置づけられる。
2 発生する場面
打切り誤差は、解析式を有限化する多くの手法で現れる。特に、無限和を有限和に置き換える場合や、連続的な問題を離散化して解く場合に目立つ。
2.1 級数の途中打切り
級数を有限項で止めると、残りの項が誤差となる。テイラー級数やフーリエ級数では、少数の項で近似するほど計算は軽くなるが、打切りによるずれは大きくなりやすい。
2.2 数値積分
数値積分では、積分区間を小区間に分けたり、近似式で被積分関数を置き換えたりする。これにより、理想的な積分値との差として打切り誤差が生じる。
2.3 微分方程式の数値解法
微分方程式を差分式や反復式で解くとき、時間発展や空間変化を有限段階で表現するため、近似の切れ目が誤差を生む。解法の刻み幅や反復回数が、その大きさを左右する。
2.4 有限差分法と有限要素法
有限差分法や有限要素法では、連続な対象を格子や要素で表すため、理論的には無限に滑らかな変化を有限個の区分へ写し取ることになる。ここでも、近似空間の制約が打切り誤差として現れる。
3 誤差の評価
打切り誤差の扱いでは、誤差がどの程度まで小さいかを見積もることが重要である。評価ができれば、近似の妥当性を判断し、必要な計算量を見通せる。
3.1 残差による評価
残差は、近似解が元の式や方程式をどれだけ満たしていないかを示す量である。残差が小さいほど誤差も小さいとは限らないが、多くの問題では有力な手がかりになる。
3.2 上界と下界
誤差評価では、真の誤差そのものを求める代わりに、上からの抑えや下からの見積もりを与えることが多い。特に上界は実用上重要で、近似の安全側の保証として働く。
3.3 収束速度との関係
打切り誤差は、近似法が真値へどの速さで近づくかと深く関係する。収束が速い方法では、少ない項数でも誤差が急速に減る。
3.3.1 収束の次数
収束の次数は、刻み幅や項数を変えたときに誤差がどのような割合で減少するかを示す。次数が高いほど、条件が整ったときに少ない計算で高精度を得やすい。
3.3.2 誤差項の漸近的扱い
誤差項を漸近的に扱うと、近似式の主要項と、そこから先に続く小さな寄与を分けて考えられる。これにより、どの項で打ち切ると望ましい精度が得られるかを判断しやすくなる。
4 具体例
打切り誤差は抽象的な概念だが、標準的な近似法を通じて具体的に理解できる。以下の例は、代表的な場面を示している。
4.1 テイラー展開における打切り誤差
テイラー展開では、関数を多項式で近似し、ある次数で止めるとその先の剰余項が誤差となる。近似点の近くでは高い精度が得られやすいが、点から離れるほど誤差は増えやすい。
4.2 台形則における打切り誤差
台形則は、曲線下の面積を台形の和で近似する方法である。区間分割を細かくすると誤差は小さくなるが、有限分割では曲率の影響が残り、それが打切り誤差として表れる。
4.3 オイラー法における打切り誤差
オイラー法は、微分方程式の解を刻み幅ごとに直線的に進める単純な方法である。各ステップでの局所的な近似のずれが積み重なり、全体として打切り誤差を形成する。
4.4 フーリエ級数の打切り
フーリエ級数は周期関数を正弦波の和で表すが、実際には有限個の項だけを使うことが多い。その結果、高周波成分の一部が残り、滑らかさや波形再現に影響する。
5 対策と制御
打切り誤差を抑えるには、近似の段階で誤差を見積もり、必要に応じて計算設定を調整することが求められる。精度と資源の両面を見ながら制御する姿勢が重要である。
5.1 項数や分割数の増加
級数なら項数を増やし、積分や離散化なら分割数を増やすことで、一般に誤差は小さくなる。ただし、改善の度合いは問題ごとに異なる。
5.2 誤差推定式の利用
理論的な誤差推定式を用いると、現在の近似がどの程度信頼できるかを事前に把握しやすい。これにより、必要以上の計算を避けつつ、所望の精度に近づけられる。
5.3 自動的な停止判定
反復法や逐次近似では、追加項の寄与が十分小さくなった時点で自動停止させることがある。停止条件を適切に設計すれば、過剰計算を抑えながら誤差を一定範囲に保てる。
5.4 精度と計算量のトレードオフ
打切りを遅らせれば精度は上がるが、計算時間や記憶量の負担も増える。実用上は、必要精度と計算コストの釣り合いを取ることが重要になる。
6 関連概念
打切り誤差は単独で現れることもあるが、他の誤差概念と合わせて理解すると全体像が明確になる。
6.1 丸め誤差
有限桁表示や演算途中の四捨五入によって生じる誤差である。打切り誤差が近似の切れ目に関係するのに対し、丸め誤差は数の表現と演算機構に由来する。
6.2 離散化誤差
連続量を離散的な点や区分で表すことで生じる誤差である。微分方程式や積分の数値解法では、打切り誤差とほぼ同じ文脈で現れることが多い。
6.3 モデル誤差
現実の対象を数理モデルで表す際、モデル自体が完全ではないために生じるずれをいう。これは計算手法の近似とは別の層にあるが、実際の精度評価では区別して考える必要がある。
6.4 数値安定性
数値安定性は、わずかな誤差が計算の進行で増幅されにくい性質を指す。打切り誤差が小さくても、安定性が悪ければ結果は不正確になりうる。