1 基本概念
誤差ノルムは、近似値と真値の隔たりを、ノルムという尺度で数値化した指標である。単なる差の符号や成分ごとのばらつきではなく、全体としてどれだけずれているかを一つの量にまとめるため、数値計算の精度評価に広く用いられる。ベクトルだけでなく、関数や離散化された解にも適用できる。
1.1 誤差の定義
誤差とは、近似解から真の解を引いた差であり、通常は「近似値 − 真値」または「真値 − 近似値」として定義される。符号の取り方は分野や文脈によって異なるが、誤差の大きさを評価する場合には符号そのものよりも絶対的な差異が重視される。数値解析では、解の各成分だけでなく、関数全体のずれも誤差として扱う。
1.2 ノルムの定義
ノルムは、ベクトルや関数の大きさを表す写像である。一般に、非負性、斉次性、三角不等式を満たし、零ベクトルでのみ値が0になる性質を持つ。これにより、要素の個数や構造が異なる対象でも、共通の尺度で比較しやすくなる。
1.3 誤差ノルムの意義
誤差ノルムは、近似の良し悪しを定量的に判断するための基礎指標である。異なる計算手法を比較したり、解法が反復ごとにどの程度改善しているかを調べたりする際に使われる。また、理論面では、収束の速さや安定性との関係を記述するうえでも重要である。
2 誤差の種類
誤差は、絶対的なずれと相対的なずれに分けて考えられるほか、計算過程に着目して局所誤差と大域誤差に分類される。これらは互いに排他的ではなく、同じ問題を異なる観点から捉える枠組みである。
2.1 絶対誤差
絶対誤差は、真値と近似値の差の大きさそのものを表す。値の単位を保ったまま評価できるため、解の物理的意味が重要な場合に扱いやすい。たとえば長さや温度の近似では、誤差がどれだけの量的ずれに相当するかを直接示す。
2.2 相対誤差
相対誤差は、絶対誤差を真値の大きさで割って正規化したものである。解の規模が大きく異なる場合でも比較しやすく、数値の桁に対する精度を把握するのに向いている。ただし、真値が0に近いときは定義や解釈に注意が必要である。
2.3 局所誤差と大域誤差
局所誤差は、計算のある一段階で生じるずれを指し、大域誤差は初期値から最終結果までの累積的なずれを表す。前者は一歩ごとの手法の性質を、後者は全体としての解の品質を示す。
2.3.1 局所誤差の考え方
局所誤差は、ある更新手順を一度だけ適用したときに生じる理想解との差として定義されることが多い。数値積分や時間発展方程式では、各ステップの近似がどれほど正確かを示す指標になる。局所的には小さな誤差でも、反復によって蓄積すると無視できなくなる。
2.3.2 大域誤差の考え方
大域誤差は、計算の最終結果と真の解との差全体を表す。局所誤差の積み重ね、丸め誤差、安定性の影響などが反映されるため、実際の計算性能を判断するうえで重要である。収束解析では、この誤差が格子幅や反復回数に対してどう変化するかが調べられる。
3 代表的な誤差ノルム
誤差ノルムには多様な形があり、対象が有限次元ベクトルか関数か、また何を強調したいかによって使い分けられる。代表例として、ユークリッドノルム、最大ノルム、一乗ノルム、さらに関数空間で用いられる積分型ノルムやソボレフノルムがある。
3.1 ユークリッドノルム
ユークリッドノルムは、成分の二乗和の平方根として定義される。幾何学的な距離に対応し、ベクトルの全体的なずれを滑らかに捉えられる。多くの数値計算で標準的な尺度として使われ、最小二乗法とも親和性が高い。
3.2 最大ノルム
最大ノルムは、各成分の絶対値のうち最大のものを取る。局所的な最悪値を重視するため、特定成分の大きな誤差を見逃しにくい。工学計算や格子点ごとの精度評価では、もっとも厳しいずれを確認する目的で使われる。
3.3 一乗ノルム
一乗ノルムは、成分の絶対値の総和で与えられる。全体の分量を単純に集計する形で、外れた成分よりも総和としての偏差を把握しやすい。スパースなデータや最適化の文脈でも重要な役割を持つ。
3.4 関数空間におけるノルム
関数を扱う場合、誤差は点ごとの差ではなく、区間や領域全体での違いとして評価される。関数空間のノルムは、関数の大きさや滑らかさを測るために導入され、偏微分方程式や近似理論で中心的な位置を占める。
3.4.1 積分型ノルム
積分型ノルムは、誤差の絶対値やその冪を領域全体で積分して求める。代表的なものに、二乗積分に基づくノルムや、絶対値の積分に基づくノルムがある。局所的な変動を平均的に評価できるため、関数近似の解析で広く利用される。
3.4.2 ソボレフノルム
ソボレフノルムは、関数そのものに加えて、その導関数の大きさも含めて評価する。解の値だけでなく、滑らかさや微分の整合性を重視する場面で有効である。偏微分方程式の弱解や有限要素法の理論では、重要な基準となる。
4 数値解析での利用
誤差ノルムは、数値解析の実務と理論の双方で中心的な役割を果たす。近似解の質を見積もるだけでなく、計算手法がどのように改善していくか、あるいはどの条件で不安定になるかを調べる手がかりにもなる。
4.1 近似解の評価
近似解の評価では、誤差ノルムが真値との差を直接示す。これにより、解法の精度を数値で比較でき、格子の細かさや近似次数の違いが結果にどう反映されるかを確認できる。実験的な性能評価にも、理論的な誤差見積もりにも用いられる。
4.2 収束判定
反復法では、誤差ノルムが一定のしきい値を下回ったかどうかを収束の条件として使うことが多い。真の解が未知でも、近似解同士の差や残差と組み合わせて停止判定が可能である。適切な指標を選ぶことで、過剰計算を避けつつ必要な精度を確保できる。
4.3 安定性との関係
安定性とは、入力の小さな変化が出力に過度な増幅を生まない性質を指す。誤差ノルムは、この性質が実際の計算結果にどう影響するかを示す尺度になる。安定な手法では、誤差が抑えられやすく、反対に不安定な手法では、微小な誤差が計算過程で拡大しやすい。
4.4 誤差解析への応用
誤差解析では、誤差ノルムを用いて誤差の発生源や伝播の仕方を分解し、理論的に見積もる。これにより、アルゴリズムの性能限界や改善余地を把握できる。手法設計の段階でも、誤差評価は指針となる。
4.4.1 打ち切り誤差
打ち切り誤差は、無限級数、微分、積分、反復などを有限回で打ち切ることによって生じる。離散化や近似式の導入に伴う誤差であり、刻み幅や近似次数に依存することが多い。誤差ノルムを使うと、理論式と近似解の差を体系的に評価できる。
4.4.2 丸め誤差
丸め誤差は、有限桁の浮動小数点表現によって生じる。各演算では小さな差だが、長い計算では蓄積し、結果に影響を与えることがある。誤差ノルムは、その累積効果を全体として把握するための手段となる。
5 応用分野
誤差ノルムは、純粋な数値解析だけでなく、工学、最適化、データ同定など多くの分野に現れる。特に、離散化によって連続問題を扱う場面では、解の精度を測る共通言語として機能する。
5.1 有限要素法
有限要素法では、領域を小区画に分けて近似解を構成するため、どの程度真の解に近いかをノルムで評価する。要素分割の細かさや基底関数の選び方によって誤差が変わるため、誤差ノルムはメッシュ設計や後処理に不可欠である。
5.2 差分法
差分法では、微分方程式を格子点上の差分式に置き換える。誤差ノルムは、離散解が連続解をどの程度再現しているかを測る指標になる。時間発展問題では、刻み幅の選定と誤差の増減を結びつけるためにも使われる。
5.3 最適化
最適化では、目的関数の最小化過程で得られる候補解の質を評価する際に誤差ノルムが活躍する。推定値と基準解の差を測ることで、反復の進行や停止条件を判断しやすくなる。特に制約付き問題や高次元問題では、距離尺度として重要である。
5.4 逆問題
逆問題では、観測データから未知の原因やパラメータを推定するため、解の誤差評価が難しくなることが多い。誤差ノルムは、再構成結果と基準とのずれを定量化し、推定の信頼性を確認するために用いられる。ノイズの影響を受けやすいため、正則化と併用されることが多い。