近似法

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

無理数の近似

実数（特に無理数）を有理数により近似することはディオファントス近似として知られている。例えば円周率 $\pi =3.14159...$ の有理数による近似値として、古代エジプトでは 256/81 = 3.16049... が、古代バビロニアでは 25/8 = 3.125 が知られていた。アルキメデスは テンプレート:Indent を証明した（詳細は円周率の歴史を見よ）。ディオファントス近似は連分数と密接な関係がある。

テイラー展開

テイラー展開を用いる。

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

$f(x)=\sum _{n=0}^{\mathrm{\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}$

漸近展開

特殊関数などの関数の振る舞いはしばしば漸近展開によって記述される。関数列 $\{{\phi }_n{\}}_{n=0}^{\mathrm{\infty }}$ が点 $x_0$ における漸近関数列であるとは、すべての $n$ で テンプレート:Indent が成り立つことをいう（点 $x_0$ としては無限遠 $x_0=\mathrm{\infty }$ でもよい）。そのうえで、ある関数 $f$ の点 $x_0$ における (広義の) 漸近級数とは、形式級数 $\sum _{n=0}^{\mathrm{\infty }}{a}_n{\phi }_n(x)$ ですべての $k$ に対して テンプレート:Indent を満足するもののことを言う。このとき テンプレート:Indent と表記する。

漸近級数は一般には発散級数であってもよく、しかししばしばその有限項の和がもとの関数 $f(x)$ をよく近似する。例えば関数 テンプレート:Indent は $x\to \mathrm{\infty }$ でスティルチェス級数を漸近展開として持つ。 テンプレート:Indent $f(10)$ の値はスティルチェス級数の第9項までの和により誤差 $3.6\times 10^{-4}$ で評価できる。ただしスティルチェス級数は発散級数であり、さらに多くの和を計算すると逆に誤差が増大する。

多項式近似

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

ある多項式 $p$ が問題の関数 $f$ をどの程度「良く」近似できているのかは、区間 $[-1,1]$ における一様ノルム テンプレート:Indent によって表現される。例えば区間 $[a,b]$ を等間隔の $n$ 区間 $[x_i,x_{i+1}]$ ($x_i=a+(b-a)i/n$) に分割し、各小区間の端点 $x_i$ での関数値 $f_i(x_i)$ のラグランジュ補間を近似多項式として採用することを考える。しばしばこの方式では区間 $[-1,1]$ の端付近で補間多項式の値が補間点以外ではもとの関数値から大きく外れるルンゲ現象が起き、その結果一様ノルムが大きな値を取るため好ましくない。

一様ノルムの観点で最良の近似多項式がミニマックス近似多項式である。${\mathbb{P}}_n$ を高々 $n$ 次の実係数多項式の全体とする。区間 $[-1,1]$ で定義された連続関数 $f$ について、そのテンプレート:仮リンク ${\varphi }_n\in P_n$ とは、任意の $p\in P_n$ に対して テンプレート:Indent が成立するもののことを言う。連続関数のミニマックス近似多項式は常に存在し一意であることが保証されている。チェビシェフの等振動定理によると、ミニマックス多項式はもとの関数のある $n+1$ 点でのラグランジュ補間に一致する。ただし、どの点で補間を行えばよいのかは関数 $f$ に依存する。ミニマックス近似多項式を求めるRemezのアルゴリズムが知られている。しかし、実際にそれを構成することはあまり容易ではない。

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

$n\ge 1$ とする. 任意の実係数 $n$ 次モニック多項式 $p(x)$ は テンプレート:Indent を満足する。等号成立は $p(x)=2^{1-n}{T}_n(x)$ のときである.

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

常微分方程式

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

境界層理論

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

WKB近似

$ϵ$ を微小パラメータとする2階常微分方程式 テンプレート:Indent は、$A$ の変化がゆっくりとみなせるならば、指数関数型の解 テンプレート:Indent により近似できる。この考察に基づく常微分方程式の漸近級数解の理論はWKB近似として知られる。これはもともとジョゼフ・リウヴィルらによって19世紀から用いられていたが、量子力学においてシュレディンガー方程式の近似解法としてWentzelらによって用いられたことからWKB近似として知られるようになった。また光学（幾何光学、物理光学）における幾何光学近似あるいは物理光学近似とも対応している。

複スケール解析

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

参考文献

和書

• テンプレート:Cite book
• テンプレート:Cite book
• 山内二郎、森口繁一、一松信 (編)：「電子計算機のための数値計算法 II」、培風館（1967年3月5日）の第I編 "関数計算" の中の第1章、第2章、第3章。
• 竹ノ内脩、西白保敏彦：「近似理論：関数の近似」、培風館（現代数学レクチャーズB-11）、ISBN 4-563-00431-6 (1986年6月10日).
• 浜田穂積：「近似式のプログラミング」、培風館、ISBN 4-563-01382-X (1995年9月30日).
• テンプレート:Cite book
• テンプレート:Cite book
• E. W. Cheney：「近似理論入門」、共立出版（1977年10月20日). ※ 原著は Introduction to Approximation Theory, McGraw-Hill (1966).
• Theodore J. Rivlin: An Introductoion to the Approximation of Functions, Dover pub., ISBN 0-486-64069-8 (1981).　※初版は Blaisdel publishing (1969年）
• 有本卓：「数値解析(1)」、コロナ社、ISBN 4-339-00124-4 (1981年4月30日)。 第5章「関数近似と補間法」。

洋書

• E. W. Cheney: Multivariate Approximation Theory: Selected Topics, SIAM (CBMS 51), ISBN 0-89871-207-6 (1986).
• Charles K. Chui: Multivariate Splines, SIAM (CBMS 54), ISBN 0-89871-226-2 (1988).

関連項目

• 変分法
• 摂動論
• 差分法
• 近似
  • 近似値
  • 近似アルゴリズム
  • パデ近似