時間尺度微分積分学

数学における時間尺度微分積分学は、微分積分学と和分差分学とを統一するもので、微分方程式の理論と差分方程式の理論とを統合した力学系の研究の方法論を提供する。時間尺度微分積分学は、離散および連続データを同時にモデリングすることが要求される任意の分野において応用を持つ。この分野における新たな微分の定義は、実数全体を引数とする函数に作用したとき通常の意味での微分と同値になり、整数全体を引数とする函数に作用したとき前進差分と同値となるようなものとして与えられる。

1. 歴史
-----

時間尺度微分積分学は、1988年にドイツの数学者シュテファン・ヒルゲルが導入したものだが、同様のアイデアはそれ以前よりあり、少なくとも和と積分が統合されるリーマン&ndash;スティルチェス積分の導入にまで遡れる。

2. デルタ微分方程式
-----------

微分方程式に関する多くの結果は極めて容易に差分方程式の対応する結果に読み替えることができるが、それに当てはまらない差分方程式に関する結果はその連続版の対応物とは大きくかけ離れているように見える。時間尺度上のデルタ微分方程式  の研究は、そのような齟齬について明らかにし、微分方程式と差分方程式の間での二度手間を避ける手助けとなる。その一般的なアイデアは、未知函数の定義域がいわゆる「時間尺度」と呼ばれる実数直線の任意の閉部分集合である場合の、デルタ微分方程式に対する結果を証明することである。こうすることにより、得られた結果は実数全体 ℝ}} や整数全体 ℤ}} のみならず、より一般にカントール集合のような複雑な時間尺度に対しても適用できる。

そのような時間尺度上のデルタ微分法の中で最も知られた三種の例として、微分法・差分法・量子解析を挙げることができる。Dynamic equations on a time scale have a potential for applications, such as in population dynamics. For example, they can model insect populations that evolve continuously while in season, die out in winter while their eggs are incubating or dormant, and then hatch in a new season, giving rise to a non–overlapping population.

3. 厳密な定義
--------

時間尺度あるいは測度鎖  とは実数直線 ℝ}} の任意の閉部分集合のこととする。一般の時間尺度を表すのに unicode がよく用いられる。

時間尺度として最もよく遭遇するふたつが、実数全体 ℝ}} や離散時間 //h//ℤ}} である。

A single point in a time scale is defined as:

3.1. 時間尺度上の演算
-------------

与えられた点 t}} に対して右または左にある最も近い時間尺度上の点を表す演算として「前方シフト」および「後方シフト」が定義される。式で書けば

前進シフト・前方跳躍:
後退シフト・後方跳躍: さらに、粒度  μ}} が、右方の最近接点への距離 として定義される。

3.2. 時間尺度上の点の分類
---------------

任意の点 //t// ∈ unicode が、
左稠密  であるとは 1=//ρ// = //t//}} なるときに言う;
右稠密  であるとは 1=//σ// = //t//}} なるときに言う;
左散在  であるとは //ρ// < //t//}} なるときに言う;
右散在  であるとは //σ// > //t//}} なるときに言う;
稠密  であるとは左稠密かつ右稠密であるときに言う;
孤立  しているとは左散在かつ右散在であるときに言う。

3.3. 連続性
--------

時間尺度の連続性は稠密性の同意語として再定義される。すなわち、時間尺度が点 t}} において右連続であるとは、それが t}} において右稠密であることを言い、同様に左連続であるとは左稠密であることを言う。

4. 微分
-----

時間尺度上の函数 をとる。

定義 : f}} のデルタ微分が存在するとは、任意の //ε// > 0}} に対し t}} の適当な近傍 U}} を選べば とできるときに言う。
1=unicode と取れば、1=//σ// = //t//}} かつ 1=//μ// = 0}} であり、1=//f//sup は通常の微分積分学で用いられる微分となる。
1=unicodeと取れば、1=//σ// = //t// + 1}} かつ 1=//μ// = 1}} であり、1=//f//sup は和分差分学で用いられる前進差分となる。

5. 積分
-----

デルタ微分に関する反微分としてデルタ積分が定義される。函数 //F//}} が連続な導函数 1=//f// := //F//sup を持つときには と置けばよい。

6. 微分積分学における諸概念の時間尺度版
---------------------

ラプラス変換・z-変換: 時間尺度上で定義された函数に対して、任意の時間尺度に対して同じ変換表を用いて、ラプラス変換を定義することができる。時間尺度上のラプラス変換は時間尺度上のデルタ微分方程式を解くことに利用できる。時間尺度が非負整数全体であるとき、この変換は修正z変換 に等しい。 偏微分法: 偏微分方程式と偏差分方程式は時間尺度上の偏デルタ微分方程式に統合される。 重積分: 時間尺度上の重積分は Bohner で扱われている。 確率デルタ微分方程式: 確率微分方程式と確率差分方程式は確率デルタ微分方程式に一般化される。 測度論:各時間尺度に対して自然な測度 が付随する。ただし、λ}} はルベーグ測度で、ρ}} は ℝ}} 上定義された後方シフト作用素とする。デルタ積分は、この測度に関する通常のルベーグ&ndash;スティルチェス積分 として理解でき、またデルタ微分はこの測度に関するラドン&ndash;ニコディム微分 となる。 超函数: ディラックのデルタとクロネッカーのデルタは、時間尺度上のヒルゲルのデルタ に統合される。 積分方程式: 積分方程式と和分方程式は、時間尺度上の積分方程式に統合される。 分数階微積分: 時間尺度上の分数階微分積分学は Bastos が扱っている。

7. 関連項目
-------

フラクタル上の解析学: カントール集合上のデルタ微分方程式

8. 注
----

9. 参考文献
-------

[1], Ravi Agarwal, Martin Bohner, Donal O’Regan, Allan Peterson, Journal of Computational and Applied Mathematics 141  1–26

10. 関連文献
--------

[2]
[3] Special issue of //Journal of Computational and Applied Mathematics// 
[4] Special Issue of //Advances in Difference Equations// 
[5] Special issue of //Nonlinear Dynamics And Systems Theory// 
[6]