近似法

近似法（きんじほう）とは関数の厳密値や方程式の厳密解を求めるときに、それが不可能または困難であるか、簡便のために近似値あるいは近似解を得る方法である。
無理数の近似.
実数（特に無理数）を有理数により近似することはディオファントス近似として知られている。例えば円周率 formula_1 の有理数による近似値として、古代エジプトでは 256/81 = 3.16049... が、古代バビロニアでは 25/8 = 3.125 が知られていた。アルキメデスは
を証明した（詳細は円周率の歴史を見よ）。ディオファントス近似は連分数と密接な関係がある。
テイラー展開.
テイラー展開を用いる。
関数"f" ("x" ) の"x" = "a" の近傍における近似値を考える。"f" ("x" )を"x" = "a" においてテイラー展開すれば
となる。"x" -"a" の値が十分小さければ、高次の項は無視することができる。とくに2次以上を無視すれば
となる。また、"n" 次の項まで考えたものを"n" 次近似と呼ぶ。すなわち上の例は1次近似である。
主要な関数のformula_4における2次近似を挙げておく。
漸近展開.
特殊関数などの関数の振る舞いはしばしば漸近展開によって記述される。関数列 formula_10 が点 formula_11 における漸近関数列であるとは、すべての formula_12 で
が成り立つことをいう（点 formula_11 としては無限遠 formula_14 でもよい）。そのうえで、ある関数 formula_15 の点 formula_11 における (広義の) 漸近級数とは、形式級数 formula_17 ですべての formula_18 に対して
を満足するもののことを言う。このとき
と表記する。
漸近級数は一般には発散級数であってもよく、しかししばしばその有限項の和がもとの関数 formula_19 をよく近似する。例えば関数
は formula_20 でスティルチェス級数を漸近展開として持つ。
formula_21 の値はスティルチェス級数の第9項までの和により誤差 formula_22 で評価できる。ただしスティルチェス級数は発散級数であり、さらに多くの和を計算すると逆に誤差が増大する。
多項式近似.
区間 formula_23 で定義された連続関数 formula_15 を多項式により近似することを考える。このような近似が可能であることはストーン＝ワイエルシュトラスの定理によって保証されている。なお一般の区間 formula_25 の場合、変数変換
により区間 formula_23 の問題に帰着できる。
ある多項式 formula_27 が問題の関数 formula_15 をどの程度「良く」近似できているのかは、区間 formula_23 における一様ノルム
によって表現される。例えば区間 formula_25 を等間隔の formula_12 区間 formula_32 (formula_33) に分割し、各小区間の端点 formula_34 での関数値 formula_35 のラグランジュ補間を近似多項式として採用することを考える。しばしばこの方式では区間 formula_23 の端付近で補間多項式の値が補間点以外ではもとの関数値から大きく外れるルンゲ現象が起き、その結果一様ノルムが大きな値を取るため好ましくない。
一様ノルムの観点で最良の近似多項式がミニマックス近似多項式である。formula_37 を高々 formula_12 次の実係数多項式の全体とする。区間 formula_23 で定義された連続関数 formula_15 について、その formula_41 とは、任意の formula_42 に対して
が成立するもののことを言う。連続関数のミニマックス近似多項式は常に存在し一意であることが保証されている。チェビシェフの等振動定理によると、ミニマックス多項式はもとの関数のある formula_43 点でのラグランジュ補間に一致する。ただし、どの点で補間を行えばよいのかは関数 formula_15 に依存する。ミニマックス近似多項式を求めるRemezのアルゴリズムが知られているものの、実際にそれを構成することは容易ではない。
実用的には関数の多項式近似にはチェビシェフ補間を用いることが多い。formula_12 次のチェビシェフ補間とは、formula_46 の formula_43 個の零点における関数値をラグランジュ補間するものである。多項式近似におけるチェビシェフ多項式の有用性は次の定理によって示される。
formula_48 とする. 任意の実係数 formula_12 次モニック多項式 formula_50 は
を満足する。等号成立は formula_51 のときである.
従って formula_12 次のモニック多項式のうち 0 を近似する最良のものがチェビシェフ補間であると言える。この性質のため、チェビシェフ補間ではルンゲ現象は発生しない。一般にはチェビシェフ補間がミニマックス近似多項式を与えるとは限らないものの、その良い近似を与えることが期待できる。
常微分方程式.
本節では常微分方程式の近似解法について述べる。摂動論によって近似解を得ることができる状況がしばしばあるが、最高階微分項の係数が微小パラメータ formula_53 であるような方程式の場合、formula_54 とした方程式ともとの方程式が質的に異なる特異摂動問題であり、通常の摂動論によって解くことができない。
境界層理論.
流体力学（ナビエ–ストークス方程式）における境界層のように、解析対象となる領域のうち、異なる領域によって有効な近似方程式が異なる場合がある。このような場合、各領域で境界条件を満足する適切な近似解を構成し、それを漸近接続することによって大域的な解を構成することができる。この手法は境界層理論として知られている。
WKB近似.
formula_53 を微小パラメータとする2階常微分方程式
は、formula_56 の変化がゆっくりとみなせるならば、指数関数型の解
により近似できる。この考察に基づく常微分方程式の漸近級数解の理論はWKB近似として知られる。これはもともとジョゼフ・リウヴィルらによって19世紀から用いられていたが、量子力学においてシュレディンガー方程式の近似解法としてWentzelらによって用いられたことからWKB近似として知られるようになった。また光学（幾何光学、物理光学）における幾何光学近似あるいは物理光学近似とも対応している。
複スケール解析.
複数の「時間」スケール（ここでは常微分方程式の独立変数を時間とみなす）を持つ問題の場合、独立変数として各時間スケールに対応する変数を導入することによって特異摂動問題を解く複スケール解析が知られている。この手法は例えば擬調和振動子の摂動における永年項問題に適用できるだけでなく、境界層問題等の他の特異摂動問題にも適用できる。