有限差分

数学における有限差分（ゆうげんさぶん、）は なる形の式を総称して言う。有限差分を で割れば、差分商が得られる。微分を有限差分で近似することは、微分方程式（特に境界値問題）の数値的解法である有限差分法において中心的な役割を果たす。
ある種の漸化式は多項間の関係式を有限差分で置き換えて差分方程式にすることができる。
今日では「有限差分」の語は、特に数値解法の文脈において、微分の有限差分近似の同義語としてもよく用いられる。有限差分近似は冒頭の用語法に則れば有限差分商のことである。
有限差分それ自体も、抽象的な数学的対象として研究の主題となり得るものである。例えばジョージ・ブール (1860), (1933), (1939) らの業績があり、それはアイザック・ニュートンにまで遡れる。そのような観点で言えば、有限差分に関する形式的な計算は無限小に関する計算の代替となるものである。
前進・後退・中心差分.
主に前進、後退、中心差分の三種類が広く用いられる。
応用の場面に応じて、歩み は変数と見ることも定数と見ることもある。添字の を省略したときは、 の意味（など）である。
微分の離散化としての差分.
函数 の点 における微分は函数の極限
で定義される。ここで を零に近づける代わりに非負の値に固定すれば、右辺は
と書けるから、これは が小さいとき、歩み の前進差分が微分を近似するものであることを意味する。この近似の誤差はテイラーの定理から評価することができる。実際、 が微分可能であると仮定すれば
であり、前進差分に関しても同じ式
が満足される。中心差分を用いればより精密な近似が可能で、 が二回微分可能ならば
が成り立つ。しかし中心差分法の主な問題は、振動する函数の微分が零ということになってしまう場合があることである。例えば、奇数の に対して かつ偶数の に対して とすれば、中心差分法で計算すると となる。これは の定義域が離散の場合に特に問題になる。
「有限差分」を有限差分近似の意味で用いる文献では、「前進・後退・中心差分」は（前節の意味ではなく）本節で言う商として定義される。
高階差分.
微分の有限差分近似と対応して、高階微分の有限差分近似が得られる。例えば、中心差分の式を と に対して考え、 の微分の中心差分近似に適用すれば、 の二回微分の近似式として
が得られる。同様にほかの差分公式を繰り返し適用すれば
なども得られる。より一般に-階前進、後退、中心差分はそれぞれ
で与えられる。上記において、 は二項係数である（各 に対する係数はパスカルの三角形の各行で与えられる）。
中心差分においては が奇数のとき が非整数倍されることに留意すべきである。これは離散化の幅を変えることになるため、しばしば問題になる。この問題は と との平均をとることで除くことができる。
数列に前進差分を施すことを、その数列のと呼ぶことがあり、組合せ論的に興味深い様々な性質がある。前進差分をネールント–ライス積分を用いて評価することができる。このような種類の級数に対する積分表現は、積分が漸近展開や鞍点法で評価されることがしばしばあり、重要である（対照的に前進差分級数は、大きな に対しては二項係数が急速に増大するため、数値的に評価することが極めて難しい）。
これら高階差分と微分との関係はそれぞれ直接的に
となる。高階微分はより良い近似を構成するためにも利用できる。上で述べたように、一階差分近似は のオーダーの項を除いて一階微分を近似するものであるが、高階微分を組み合わせた
は と のオーダーの項しか違わない。これを示すには、先述のようにテイラー級数展開してもよいし、後述のように有限差分の汎函数計算を用いてもよい。
必要ならば、前進・後退・中心差分を混合して任意の点を有限差分の中心にすることができる。
有限差分法.
有限差分の重要な応用として、数値解析、特に数値微分方程式論において、常微分および偏微分方程式の数値解を得る目的での利用が挙げられる。これは、微分方程式に現れる微分を、それを近似する有限差分で置き換えるという考え方である。これを有限差分法と呼ぶ。
有限差分法は、計算機科学や工学の熱工学や流体力学などといった分野においてよく応用される。
ニュートン級数.
ニュートン級数はニュートンの前進差分方程式の項からなる。これは本質的にニュートン補間公式であり、1687年に著書『プリンキピア・マスマティカ』において最初に公表された。具体的には、連続的なテイラー展開の離散版
が任意の多項式函数 に対して成立する。これはさらに多くの（全てではない）解析函数でも成立する。ここで
は二項係数であり、
は下降階乗（下方階乗）である（空積 は とする）。これは後述する一般化において、 の変化の歩み (step) が であると仮定した特別の場合である。
この結果とテイラーの定理との形式的な対応に注意せよ。歴史的には、これと 
（二項定理に対応する）は、陰計算の体系に至る観察に含まれる。
有限差分に関する演算子法.
前進差分を、函数 を へ写す差分作用素と考えることができる。この作用素は、歩み のシフト作用素 を用いて
という和に書くことができる。ここに、 および は恒等作用素である。
高階の有限差分は再帰的に ) と定義することができるが、これと同値な別定義として とすることもできる。
差分作用素 は線型作用素であり、上で述べた特別なライプニッツ則
 を満足する。後退および中心差分に関しても同様のことが成立する。
 に関するテイラー級数を形式的に適用することで、等式
が得られる。ここで は函数 をその導函数 へ写す連続的な微分作用素である。十分小さな に対して、この展開は両辺が解析函数に作用するとき有効である。従って であり、逆に冪指数に関して解いて
が得られる。この式は両辺が多項式に作用して同じ結果を与えるという意味において正しい。
解析函数に作用する場合でも、右辺の級数の収束は保証されず、漸近級数となり得る。しかし、微分に対するより精密な近似を得ることには利用できる。例えば、例えばこの級数の最初の二項だけを取り出せば、#高階差分の節の最後に述べた の二階近似が導かれる。
後退および中心差分に対する同様の公式は
となる。
有限差分作用素の計算法則.
と対応して、
この二つの法則は他の差分作用素でも成り立つ。
See Refs 
一般化.
一般化された有限差分は を係数列として
と定義されるのが普通である。さらに右辺の和を無限級数に取り換えた一般化として無限差分 ("infinite difference") が定義される。別な一般化としては、係数 が に依存することを許して とすることで、重み付き有限差分 ("weighted finite difference") が考えられる。あるいはまた、歩み が に依存する () とすることも考えられる。そのような一般化は別種のを構成するのに有用である。
多変数の有限差分.
多変数の場合にも有限差分は考えることができる。それらは多変数の偏微分に対応するものである。
中心差分による偏微分近似をいくつか挙げれば
のようになる。
外部リンク.
[[Category:差分法]]
[[Category:解析学]]
[[Category:線型作用素]]
[[Category:数学に関する記事]]