近似法

近似法（きんじほう）とは関数の厳密値や方程式の厳密解を求めるときに、それが不可能または困難であるか、簡便のために近似値あるいは近似解を得る方法である。

無理数の近似[編集]

実数（特に無理数）を有理数により近似することはディオファントス近似として知られている^[1]。例えば円周率 $\pi =3.14159...$ の有理数による近似値として、古代エジプトでは 256/81 = 3.16049... が、古代バビロニアでは 25/8 = 3.125 が知られていた^[2]。アルキメデスは

${\frac {223}{71}}<\pi <{\frac {22}{7}}$

を証明した^[3]（詳細は円周率の歴史を見よ）。ディオファントス近似は連分数と密接な関係がある^[1]。

詳細は「近似値」を参照

テイラー展開[編集]

テイラー展開を用いる。

関数f (x ) のx = a の近傍における近似値を考える。f (x )をx = a においてテイラー展開すれば

f(x)=\sum _{n=0}^{\infty }{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}

となる。x -a の値が十分小さければ、高次の項は無視することができる。とくに2次以上を無視すれば

f(x)\simeq f(a)+f^{\prime }(a)(x-a)

となる。また、n 次の項まで考えたものをn 次近似と呼ぶ。すなわち上の例は1次近似である。

具体例

主要な関数の $x\simeq 0$ における2次近似を挙げておく。

$e^{x}\simeq 1+x+{\frac {x^{2}}{2}}$
$\ln(1+x)\simeq x-{\frac {x^{2}}{2}}$
$(1+x)^{n}\simeq 1+nx+{\frac {n(n-1)}{2}}x^{2}$
$\sin x\simeq x$
$\cos x\simeq 1-{\frac {x^{2}}{2}}$

漸近展開[編集]

特殊関数などの関数の振る舞いはしばしば漸近展開によって記述される。関数列 $\{\varphi _{n}\}_{n=0}^{\infty }$ が点 $x_{0}$ における漸近関数列であるとは、すべての $n$ で

$\varphi _{n+1}(x)=o(\varphi _{n}(x))\ \ x\to x_{0}$

が成り立つことをいう（点 $x_{0}$ としては無限遠 $x_{0}=\infty$ でもよい）^[4]。そのうえで、ある関数 $f$ の点 $x_{0}$ における (広義の) 漸近級数とは、形式級数 $\sum _{n=0}^{\infty }a_{n}\varphi _{n}(x)$ ですべての $k$ に対して

$f(x)-\sum _{n=0}^{k}a_{n}\varphi _{n}(x)=o\left(\varphi _{k}(x)\right)$

を満足するもののことを言う^[4]。このとき

$f(x)\sim \sum _{n=0}^{\infty }a_{n}\varphi _{n}(x)$

と表記する^[4]。

漸近級数は一般には発散級数であってもよく、しかししばしばその有限項の和がもとの関数 $f(x)$ をよく近似する^[5]。例えば関数

$f(x)=x\int _{0}^{\infty }{\frac {e^{-t}}{x+t}}dt$

は $x\to \infty$ でスティルチェス級数を漸近展開として持つ^[6]。

$f(x)\sim \sum _{n=0}^{\infty }(-1)^{n}n!x^{n}$

$f(10)$ の値はスティルチェス級数の第9項までの和により誤差 $3.6\times 10^{-4}$ で評価できる^[7]。ただしスティルチェス級数は発散級数であり、さらに多くの和を計算すると逆に誤差が増大する^[7]。

詳細は「漸近展開」を参照

多項式近似[編集]

区間 $[-1,1]$ で定義された連続関数 $f$ を多項式により近似することを考える。このような近似が可能であることはストーン＝ワイエルシュトラスの定理によって保証されている。なお一般の区間 $[a,b]$ の場合、変数変換

$x={\frac {a+b}{2}}+{\frac {b-a}{2}}t$

により区間 $[-1,1]$ の問題に帰着できる^[8]。

ある多項式 $p$ が問題の関数 $f$ をどの程度「良く」近似できているのかは、区間 $[-1,1]$ における一様ノルム

$\|p-f\|=\max _{x\in [-1,1]}\left|p(x)-f(x)\right|$

によって表現される^[9]。例えば区間 $[a,b]$ を等間隔の $n$ 区間 $[x_{i},x_{i+1}]$ ( $x_{i}=a+(b-a)i/n$ ) に分割し、各小区間の端点 $x_{i}$ での関数値 $f_{i}(x_{i})$ のラグランジュ補間を近似多項式として採用することを考える。しばしばこの方式では区間 $[-1,1]$ の端付近で補間多項式の値が補間点以外ではもとの関数値から大きく外れるルンゲ現象が起き、その結果一様ノルムが大きな値を取るため好ましくない^[10]。

一様ノルムの観点で最良の近似多項式がミニマックス近似多項式である^[9]。 $\mathbb {P} _{n}$ を高々 $n$ 次の実係数多項式の全体とする。区間 $[-1,1]$ で定義された連続関数 $f$ について、そのミニマックス近似多項式（英語版） $\phi _{n}\in P_{n}$ とは、任意の $p\in P_{n}$ に対して

$\|f-\phi _{n}\|\leq \|f-p\|$

が成立するもののことを言う^[9]。連続関数のミニマックス近似多項式は常に存在し一意であることが保証されている^[9]。チェビシェフの等振動定理によると、ミニマックス多項式はもとの関数のある $n+1$ 点でのラグランジュ補間に一致する^[11]。ただし、どの点で補間を行えばよいのかは関数 $f$ に依存する^[11]。ミニマックス近似多項式を求めるRemezのアルゴリズムが知られている^[12]ものの、実際にそれを構成することは容易ではない^[9]。

実用的には関数の多項式近似にはチェビシェフ補間を用いることが多い。 $n$ 次のチェビシェフ補間とは、 $T_{n+1}(x)$ の $n+1$ 個の零点における関数値をラグランジュ補間するものである。多項式近似におけるチェビシェフ多項式の有用性は次の定理によって示される^[8]。

$n\geq 1$ とする. 任意の実係数 $n$ 次モニック多項式 $p(x)$ は

$\|p\|\geq 2^{1-n}$

を満足する。等号成立は $p(x)=2^{1-n}T_{n}(x)$ のときである.

従って $n$ 次のモニック多項式のうち 0 を近似する最良のものがチェビシェフ補間であると言える^[13]。この性質のため、チェビシェフ補間ではルンゲ現象は発生しない^[11]。一般にはチェビシェフ補間がミニマックス近似多項式を与えるとは限らないものの、その良い近似を与えることが期待できる^[14]。

常微分方程式[編集]

本節では常微分方程式の近似解法について述べる。摂動論によって近似解を得ることができる状況がしばしばあるが、最高階微分項の係数が微小パラメータ $\epsilon$ であるような方程式の場合、 $\epsilon =0$ とした方程式ともとの方程式が質的に異なる特異摂動問題であり、通常の摂動論によって解くことができない^[15]。

境界層理論[編集]

流体力学（ナビエ–ストークス方程式）における境界層のように、解析対象となる領域のうち、異なる領域によって有効な近似方程式が異なる場合がある。このような場合、各領域で境界条件を満足する適切な近似解を構成し、それを漸近接続することによって大域的な解を構成することができる^[16]。この手法は境界層理論として知られている^[17]。

WKB近似[編集]

$\epsilon$ を微小パラメータとする2階常微分方程式

$\epsilon ^{2}{\frac {d^{2}y}{dx^{2}}}=A(x)y(x)$

は、 $A$ の変化がゆっくりとみなせるならば、指数関数型の解

$y(x)\sim \exp \left(\pm {\frac {1}{\epsilon }}{\sqrt {A(x)}}\right)$

により近似できる^[18]。この考察に基づく常微分方程式の漸近級数解の理論はWKB近似として知られる^[19]。これはもともとジョゼフ・リウヴィルらによって19世紀から用いられていた^[18]が、量子力学においてシュレディンガー方程式の近似解法としてWentzelらによって用いられたことからWKB近似として知られるようになった^[20]。また光学（幾何光学、物理光学）における幾何光学近似あるいは物理光学近似とも対応している^[21]。

複スケール解析[編集]

複数の「時間」スケール（ここでは常微分方程式の独立変数を時間とみなす）を持つ問題の場合、独立変数として各時間スケールに対応する変数を導入することによって特異摂動問題を解く複スケール解析が知られている^[22]。この手法は例えば擬調和振動子の摂動における永年項問題に適用できる^[23]だけでなく、境界層問題等の他の特異摂動問題にも適用できる^[24]。

脚注[編集]

^ ^a ^b Hensley, p. 13.
^ 中村, pp. 51-52.
^ 中村, pp. 53-54.
^ ^a ^b ^c 柴田, p. 33.
^ 柴田, p. 22.
^ 柴田, p. 23.
^ ^a ^b 柴田, pp. 24-25.
^ ^a ^b Gil, Segura & Temme, p. 55.
^ ^a ^b ^c ^d ^e Gil, Segura & Temme, p. 51.
^ Gil, Segura & Temme, p. 54.
^ ^a ^b ^c Gil, Segura & Temme, p. 63.
^ Abiy Tasissa. “FUNCTION APPROXIMATION AND THE REMEZ ALGORITHM”. 2021年1月22日閲覧。
^ Gil, Segura & Temme, p. 62.
^ Press, William H.; Teukolsky, Saul A.; Vetterling, William T.; Flannery, Brian P. (1992). Numerical Recipes in C: The Art of Scientific Computing (2nd ed.). Cambridge University Press. p. 192. doi:10.2277/0521431085. ISBN 978-0-521-43108-8
^ 柴田, p. 86.
^ 柴田, p. 89.
^ 柴田, p. 90.
^ ^a ^b 柴田, p. 125.
^ 柴田, pp. 124-125.
^ 柴田, p. 120.
^ 柴田, p. 126.
^ 柴田, p. 151.
^ 柴田, pp. 154-158.
^ 柴田, pp. 151, 167-174.

参考文献[編集]

中村滋『円周率: 歴史と数理 (数学のかんどころ 22)』共立出版、2013年11月。ISBN 9784320110625。
柴田正和『漸近級数と特異摂動法』森北出版、2009年。ISBN 978-4-627-07631-0。
Hensley, Doug (2006). Continued Fractions. World Scientific. doi:10.1142/5931. ISBN 981-256-477-2
Gil, Amparo; Segura, Javier; Temme (2007). Numerical Methods for Special Functions. Society for Industrial and Applied Mathematics. doi:10.1137/1.9780898717822. ISBN 978-0-89871-634-4