分数階微積分学

分数階微分積分学は解析学の一分野で、微分作用素 D}} および積分作用素 J}} が実数冪あるいは複素数冪をとる可能性について研究する学問である。

この文脈における「冪」の語は作用素の合成を繰り返し行うという意味で用いており、それに従えばたとえば f}}2 = f}}) ということになる。さてたとえば、微分作用素 D}} の平方根という意味での式

に何か意味のある解釈をつけられるかということを考える。この式は、つまりある作用素を「二度」作用させて、微分作用素 D}} と同じ効果を得られるということを意味しているのであり、あるいはもっと一般に、実数 s}} に対して微分作用素の冪

にあたるものを決定できるかという問をも考えることができるだろう。このとき、s}} が整数 n}} を値にとるならば、n}} > 0 のときこの冪は通常の意味での n}}-階微分作用素となり、n}} < 0 のときは積分作用素 J}} の -乗となるように定義されるものでなければならない。

このようなことを考える理由はいくつかある。ひとつはそれによって「離散」的な変数 n}} で添字付けられる微分作用素の族 D}}n}} 全体が作る半群を実数 s}} を径数とする「連続」的な半群のなかにあるとして考えられるようになることである。連続的半群というものは数学のさまざまなところに現われ、豊かな理論を備えている。分数階微分積分学では、冪として必ずしも有理数冪に限らず実数冪や複素数冪を一般に扱うため「分数階」という名称で呼ぶのは少々紛らわしいが、慣習的に「分数階微分積分学」の名称が使われている。

1. 分数階微分作用素
-----------

このような理論の存在については、1832年からのリウヴィルの論文にその素地を見ることができる。函数の階数 a}} の分数階微分は今日ではしばしばフーリエ変換あるいはメリン変換といった積分変換の意味で定義される。重要なことは、点 x}} における分数階微分というものが「局所的」な概念であるのは、a}} が整数値をとる場合に限られるという点である。つまり、非整数階の場合には、函数 f}} の点 x}} における分数階微分が x}} の極近くでの f}} のグラフのみに依存して決まるということができない。然るに、分数階微分作用素の理論においてはある種の境界条件や函数についてのさらなる情報が関わってくることが想定される。喩えるならば、分数階微分はある種の周辺視野を要求するのである。

2. 経験則
------

まず相応に自然な疑問は、半微分  と呼ばれるべき、作用素 H}} で

を満たすものは存在するかということであろう。そのような作用素は存在する。実際には任意の実数値 a}} > 0 に対して

を満たす作用素 P}} が存在することがいえる。言い方を変えれば、n}}-階微分 mvar の n}} を任意の実数値に拡張することができるのである。

もう少し詳しく述べるに、階乗の非整数値への拡張としてのガンマ関数 Γ から始める。ガンマ関数は

を満たしていることを利用する。さて函数 f}} は x}} > 0 で矛盾なく定義され、0 から x}} までの定積分

.ができるものと仮定する。これを繰り返して

や任意の自然数冪 J}}n}}f}} に拡張することができるが、反復積分に関するコーシーの公式によれば

である。また、階乗函数を用いる代わりにガンマ関数に置き換えれば、

　　

とも表せる。これを用いれば直接に n}} が実数だけでなく複素数である場合にまで一般化することができる。すなわち、ガンマ関数を複素数の範囲まで広げることにより、積分作用素を「分数階適用する」作用素の自然な候補として

を与えることができる。これは実際に作用素として矛盾なく定まる。

作用素 J}} は可換かつ加法的である。つまり、

{| class="toccolours mw-collapsible mw-collapsed" width="60%" style="text-align:left"!証明 |- |

ここで、最後のステップで積分の順序を入れ替え、 をくくりだした。変数 を = + と定義し、置換すると、

内側の積分はベータ関数と呼ばれ、次の性質を満たす。

これを代入して、

従って、作用素 は//α// と //β// の入れ替えに無関係であり、証明が完了した。 |}

が成立する。この性質は、分数階微積分作用素の半群性と呼ばれる。残念ながら微分作用素 D}} に関しての同様の議論はこれよりももっと著しく複雑なものになってしまうが、それでも D}} が一般には可換にも加法的にもならないことは示すことができる。

3. 簡単な函数の二分の一階導関数
-----------------

ここで関数 f}} としてという形の単項式を考える。この一階導函数は周知の如く

で与えられる。また、この二階導函数は

で与えられる。微分を繰り返せば一般に

を得る。ここで、階乗をガンマ関数に置き換えることにより

が成り立つものと考えることができる。そのため、たとえば x}} の半微分は

で与えられる。これをもう一回行うと、

が得られる。これはすなわち、そもそも成り立って欲しかった性質である

がきちんと満たされていることを意味している。ここで、上述のような微分作用素の拡張は、なにも実数冪のみに縛られるものではない。例えば -階導函数の -階導函数は二階微分を与えるものである。もちろん a}} が負の整数以外の負の値をとるならば適当な積分が与えられるの定義域はx>0)。

4. ラプラス変換
---------

ラプラス変換に関する話として分数階微積分の問題を考えることもできる。

などが成立することに注意して、ここでは

が成り立つものと考える。例えば、

となることが期待される。実際に、畳み込み公式

が与えられれば

となることが示される。これは上述のコーシーの公式に他ならない。

ラプラス変換が上手く計算できる函数は比較的少ないが、しかし分数階微分方程式を解くにあたってはしばしば有用である。

5. 分数階微分方程式
-----------

6. 分数階積分
--------

6.1. リーマン-リウヴィル分数階積分
--------------------

古典的な形での分数階微分積分学は、リーマン-リウヴィル積分によって与えられるもので、これは本質的には上で述べたような内容のものである。また、一定周期ごとに繰り返すという「境界条件」を課せば、周期関数に対する理論であるワイル微積分が考えられる。これはフーリエ級数に対して定義され、一定のフーリエ係数が消えていることを要請する。

対して、グリュンバルト-レトニコフ微分 は積分の代わりに微分から始める理論である。

6.2. アダマール分数階積分
---------------

//アダマール分数階積分//は J. Hadamard によって導入され、次の式で与えられる。

7. 函数解析
-------

関数解析学の文脈では、冪のみならずもっと一般に函数 f}} に対する作用素 //f// についてスペクトル論の汎函数計算における研究がなされる。擬微分作用素の理論においても D}} の冪について考えることができる。この作用素は特異積分作用素 の例として得られる。また、古典理論の高次元への一般化はリースポテンシャルの理論と呼ばれる。したがって「分数階微分積分学」について論じるのに、いくつもの現代的理論を利用することができる。

特殊函数論で重要なErdélyi-Kober operatorも参照。

8. 分数階偏微分
---------

9. 脚注
-----

10. 参考文献
--------

//Fractional Integrals and Derivatives: Theory and Applications//, by Samko, S.; Kilbas, A.A.; and Marichev, O. Hardcover: 1006 pages. Publisher: Taylor & Francis Books. ISBN 2-88124-864-0
//Theory and Applications of Fractional Differential Equations//, by Kilbas, A. A.; Srivastava, H. M.; and Trujillo, J. J. Amsterdam, Netherlands, Elsevier, February 2006. ISBN 0-444-51832-0 
//An Introduction to the Fractional Calculus and Fractional Differential Equations//, by Kenneth S. Miller, Bertram Ross . Hardcover: 384 pages. Publisher: John Wiley & Sons; 1 edition . ISBN 0-471-58884-9
//The Fractional Calculus; Theory and Applications of Differentiation and Integration to Arbitrary Order //, by Keith B. Oldham, Jerome Spanier. Hardcover. Publisher: Academic Press; . ISBN 0-12-525550-0
//Fractional Differential Equations. An Introduction to Fractional Derivatives, Fractional Differential Equations, Some Methods of Their Solution and Some of Their Applications.//, , by Igor Podlubny. Hardcover. Publisher: Academic Press;  ISBN 0-12-558840-2
[1] by R. Herrmann, World Scientific, Singapore 2014. 500 pages.
//Fractals and quantum mechanics//, by N. Laskin. Chaos Vol.10, pp.780-790 . 
//Fractals and Fractional Calculus in Continuum Mechanics//, by A. Carpinteri , F. Mainardi . Paperback: 348 pages. Publisher: Springer-Verlag Telos; . ISBN 3-211-82913-X
//Physics of Fractal Operators//, by Bruce J. West, Mauro Bologna, Paolo Grigolini. Hardcover: 368 pages. Publisher: Springer Verlag; . ISBN 0-387-95554-2
[2] by F. Mainardi, Imperial College Press, 2010. 368 pages.
[3] by V.E. Tarasov, Springer, 2010. 450 pages.
[4] by V.V. Uchaikin, Springer, Higher Education Press, 2012, 385 pages.
//Fractional Calculus and the Taylor-Riemann Series//, Rose-Hulman Undergrad. J. Math. Vol.6 .
//Operator of fractional derivative in the complex plane//, by Petr Zavada, Commun.Math.Phys.192, pp. 261-285,1998. 10.1007/s002200050299}} 
//Relativistic wave equations with fractional derivatives and pseudodifferential operators//, by Petr Zavada, Journal of Applied Mathematics, vol. 2, no. 4, pp. 163-197, 2002. 10.1155/S1110757X02110102}} 
//Fractional differentiation by neocortical pyramidal neurons//, by Brian N Lundstrom, Matthew H Higgs, William J Spain & Adrienne L Fairhall, Nature Neuroscience, vol. 11 , pp. 1335 - 1342, 2008. 10.1038/nn.2212}} 
//Equilibrium points, stability and numerical solutions of fractional-order predator-prey and rabies models//, by Ahmed E., A.M.A. El-Sayed, H.A.A. El-Saka. 2007. Jour. Math. Anal. Appl. 325,452.

11. 関連項目
--------

微分積分学
分数階微分方程式
函数的平方根

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

[10]
[11] at MathPages
Specialized journal: [12]
[13]
[14]
[15]
[16]
[17]}}, by Adam Loverro, University of Notre Dame
[18]
[19]
[20]