有限差分

数学における有限差分は//f//   −   //f//}} なる形の式を総称して言うdate=April 2015}}。有限差分を //b//   −   //a//}} で割れば、差分商が得られる。微分を有限差分で近似することは、微分方程式の数値的解法である有限差分法において中心的な役割を果たす。

ある種の漸化式は多項間の関係式を有限差分で置き換えて差分方程式にすることができる。

今日では「有限差分」の語は、特に数値解法の文脈において、微分の有限差分近似の同義語としてもよく用いられる。有限差分近似は冒頭の用語法に則れば有限差分商のことである。

有限差分それ自体も、抽象的な数学的対象として研究の主題となり得るものである。例えばジョージ・ブール , ルイ・メイヴィル・ミルン゠トムソン , カロリー・ヨルダン  らの業績があり、それはアイザック・ニュートンにまで遡れる。そのような観点で言えば、有限差分に関する形式的な計算は無限小に関する計算の代替となるものである。

1. 前進・後退・中心差分
-------------

主に前進、後退、中心差分の三種類が広く用いられる。

前進差分 後退差分 中心差分}}中心差分 応用の場面に応じて、歩み h}} は変数と見ることも定数と見ることもある。添字の h}} を省略したときは、//h// =}} 1}} の意味である。

2. 微分の離散化としての差分
---------------

[[差分学 函数 f}} の点 x}} における微分は函数の極限

で定義される。ここで h}} を零に近づける代わりに非負の値に固定すれば、右辺は

と書けるから、これは h}} が小さいとき、歩み h}} の前進差分が微分を近似するものであることを意味する。この近似の誤差はテイラーの定理から評価することができる。実際、f}} が微分可能であると仮定すれば

であり、前進差分に関しても同じ式

が満足される。中心差分を用いればより精密な近似が可能で、f}} が二回微分可能ならば

が成り立つ。しかし中心差分法の主な問題は、振動する函数の微分が零ということになってしまう場合があることである。例えば、奇数の n}} に対して //f// =}} 1}} かつ偶数の n}} に対して //f// =}} 2}} とすれば、中心差分法で計算すると //f'}}// =}} 0}} となる。これは f}} の定義域が離散の場合に特に問題になる。

「有限差分」を有限差分近似の意味で用いる文献では、「前進・後退・中心差分」は本節で言う商として定義される。

3. 高階差分
-------

微分の有限差分近似と対応して、高階微分の有限差分近似が得られる。例えば、中心差分の式を //f'}}//}} と //f'}}//}} に対して考え、f'}}}} の微分の中心差分近似に適用すれば、f}} の二回微分の近似式として

二階中心差分 が得られる。同様にほかの差分公式を繰り返し適用すれば

二階前進差分 なども得られる。より一般にn}}-階前進、後退、中心差分はそれぞれ

n}}-階前進差分 n}}-階後退差分 n}}-階中心差分 で与えられる。上記において、(su は二項係数である。

中心差分においては n}} が奇数のとき h}} が非整数倍されることに留意すべきである。これは離散化の幅を変えることになるため、しばしば問題になる。この問題は δmsup と δmsup との平均をとることで除くことができる。

数列に前進差分を施すことを、その数列の二項変換と呼ぶことがあり、組合せ論的に興味深い様々な性質がある。前進差分をネールント–ライス積分を用いて評価することができる。このような種類の級数に対する積分表現は、積分が漸近展開や鞍点法で評価されることがしばしばあり、重要である。

これら高階差分と微分との関係はそれぞれ直接的に

となる。高階微分はより良い近似を構成するためにも利用できる。上で述べたように、一階差分近似は h}} のオーダーの項を除いて一階微分を近似するものであるが、高階微分を組み合わせた

は //f'}}//}} と //h//2}} のオーダーの項しか違わない。これを示すには、先述のようにテイラー級数展開してもよいし、後述のように有限差分の汎函数計算を用いてもよい。

必要ならば、前進・後退・中心差分を混合して任意の点を有限差分の中心にすることができる。

3.1. 性質
-------

任意の正整数 k, n}} に対して
ライプニッツ則:

4. 有限差分法
--------

有限差分の重要な応用として、数値解析、特に数値微分方程式論において、常微分および偏微分方程式の数値解を得る目的での利用が挙げられる。これは、微分方程式に現れる微分を、それを近似する有限差分で置き換えるという考え方である。これを有限差分法と呼ぶ。

有限差分法は、計算機科学や工学の熱工学や流体力学などといった分野においてよく応用される。

5. ニュートン級数
----------

ニュートン級数はニュートンの前進差分方程式の項からなる。これは本質的にニュートン補間公式であり、1687年に著書『プリンキピア・マスマティカ』において最初に公表された。具体的には、連続的なテイラー展開の離散版

が任意の多項式函数 f}} に対して成立する。これはさらに多くの解析函数でも成立する。ここで

は二項係数であり、

は下降階乗である。これは後述する一般化において、x}} の変化の歩み  が //h// =}} 1}} であると仮定した特別の場合である。

この結果とテイラーの定理との形式的な対応に注意せよ。歴史的には、これとファンデルモンド恒等式

は、陰計算の体系に至る観察に含まれる。

p}}-進解析学において、マーラーの定理は f}} が多項式函数であるという仮定は単に連続であるという仮定に緩めることができることを述べる。
カールソンの定理はニュートン級数が一意であるための必要十分条件を与える。しかし一般にはニュートン級数の存在は保証されない。
ニュートン級数、スターリング補間多項式、セルバーグ多項式は、一般の差分多項式の特別の場合である。これらは全て適当にスケールされた前進差分の言葉で定義される。
In a compressed and slightly more general form and equidistant nodes the formula reads

6. 有限差分に関する演算子法
---------------

前進差分を、函数 f}} を Δ//h//[//f//]}} へ写す差分作用素と考えることができる。この作用素は、歩み h}} のシフト作用素 //T////h//}} を用いて

という和に書くことができる。ここに、//T////h//[//f// ] =}} //f//}} および //I//}} は恒等作用素である。

高階の有限差分は再帰的に Δ//h////n// ≡ Δ//h//  と定義することができるが、これと同値な別定義として Δ//h////n// =}} [//T////h// −//I//]//n//}} とすることもできる。

差分作用素 Δ//h//}} は線型作用素であり、上で述べた特別なライプニッツ則 Δ//h////g//) =}} ) //g// + //f// )}} を満足する。後退および中心差分に関しても同様のことが成立する。

h}} に関するテイラー級数を形式的に適用することで、等式

が得られる。ここで D}} は函数 f}} をその導函数 f'}}}} へ写す連続的な微分作用素である。十分小さな h}} に対して、この展開は両辺が解析函数に作用するとき有効である。従って //T////h// =}} //e////hD//}} であり、逆に冪指数に関して解いて

が得られる。この式は両辺が多項式に作用して同じ結果を与えるという意味において正しい。

解析函数に作用する場合でも、右辺の級数の収束は保証されず、漸近級数となり得る。しかし、微分に対するより精密な近似を得ることには利用できる。例えば、例えばこの級数の最初の二項だけを取り出せば、#高階差分の節の最後に述べた //f'//}}}} の二階近似が導かれる。

後退および中心差分に対する同様の公式は

となる。

7. 有限差分作用素の計算法則
---------------

微分法則と対応して、

定数律: c}} が定数ならば が成り立つ。
線型性: 定数 a, b}} に対して が成り立つ。この二つの法則は他の差分作用素でも成り立つ。

積の差分:
商の差分: あるいは
和分:
See Refs

8. 一般化
------

一般化された有限差分は μ =}} (μmsub を係数列として

と定義されるのが普通である。さらに右辺の和を無限級数に取り換えた一般化として無限差分  が定義される。別な一般化としては、係数 μmsub が x}} に依存することを許して μmsub とすることで、重み付き有限差分  が考えられる。あるいはまた、歩み h}} が x}} に依存する }}) とすることも考えられる。そのような一般化は別種の連続度を構成するのに有用である。

一般化有限差分の全体は多項式環 //R//[//T//msub と見ることができる。ここから差分環が考えられる。
差分作用素は半順序集合上のメビウス反転作用素に一般化される。
畳み込み表現: 接合環の方法論を通じて差分作用素やほかのメビウス反転作用素はメビウス函数と呼ばれる半順序集合上の函数 μ との畳み込みとして表される。差分作用素に対するメビウス函数 μ}} は数列 }} である。

9. 多変数の有限差分
-----------

多変数の場合にも有限差分は考えることができる。それらは多変数の偏微分に対応するものである。

中心差分による偏微分近似をいくつか挙げれば

のようになる。

10. 関連項目
--------

11. 参考文献
--------

Richardson, C. H. : //An Introduction to the Calculus of Finite Differences// // [1]//
Mickens, R. E. : //Difference Equations: Theory and Applications//  ISBN 978-0442001360

12. 外部リンク
---------

[2]Mathematica <WtXmlEndTag />
D. Gleich , [3]
[4]