時間尺度微分積分学

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

歴史

時間尺度微分積分学は、1988年にドイツの数学者テンプレート:Ill2が導入したものだが、同様のアイデアはそれ以前よりあり、少なくとも和と積分が統合されるリーマン–スティルチェス積分の導入にまで遡れる。

デルタ微分方程式

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

そのような時間尺度上のデルタ微分法の中で最も知られた三種の例として、微分法・差分法・量子解析を挙げることができる。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.

厳密な定義

時間尺度あるいは測度鎖 (measure chain) とは実数直線 テンプレート:Mathbf の任意の閉部分集合のこととする。一般の時間尺度を表すのに テンプレート:Math がよく用いられる。

時間尺度として最もよく遭遇するふたつが、実数全体 テンプレート:Mathbf や離散時間 テンプレート:Math である。

A single point in a time scale is defined as:

$t:t\in 𝕋$

時間尺度上の演算

The forward jump, backward jump, and graininess operators on a discrete time scale

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

• 前進シフト・前方跳躍: $\sigma (t):=\inf \{s\in 𝕋:s>t\}$
• 後退シフト・後方跳躍: $\rho (t):=\sup \{s\in 𝕋:s<t\}$

さらに、粒度 (graininess) テンプレート:Mvar が、右方の最近接点への距離 $$\mu (t):=\sigma (t)-t$$ として定義される。

時間尺度上の点の分類

Several points on a time scale with different classifications: * Point $t_1$ is dense * Point $t_2$ is left dense and right scattered * Point $t_3$ is isolated * Point $t_4$ is left scattered and right dense

任意の点 テンプレート:Math が、

• 左稠密 (left dense) であるとは テンプレート:Math なるときに言う;
• 右稠密 (right dense) であるとは テンプレート:Math なるときに言う;
• 左散在 (left scattered) であるとは テンプレート:Math なるときに言う;
• 右散在 (right scattered) であるとは テンプレート:Math なるときに言う;
• 稠密 (dense) であるとは左稠密かつ右稠密であるときに言う;
• 孤立 (isolated) しているとは左散在かつ右散在であるときに言う。

連続性

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

微分

時間尺度上の函数 $f:𝕋\to ℝ$ をとる（ここでは簡単のため終域を実数直線 テンプレート:Mathbf としたが、これは任意のバナッハ空間でよい）。

定義 (デルタ微分/ヒルゲル微分)

テンプレート:Mvar のデルタ微分が存在するとは、任意の テンプレート:Math に対し テンプレート:Mvar の適当な近傍 テンプレート:Mvar を選べば $$|f(\sigma (t))-f(s)-f^{\mathrm{\Delta }}(t)(\sigma (t)-s)|\le \epsilon |\sigma (t)-s|(\mathrm{\forall }s\in U)$$ とできるときに言う。

• テンプレート:Math と取れば、テンプレート:Math かつ テンプレート:Math であり、テンプレート:Math は通常の微分積分学で用いられる微分となる。
• テンプレート:Math（整数全体）と取れば、テンプレート:Math かつ テンプレート:Math であり、テンプレート:Math は和分差分学で用いられる前進差分となる。

積分

デルタ微分に関する反微分（不定積分）としてデルタ積分が定義される。函数 テンプレート:Math が連続な導函数 テンプレート:Math を持つときには $$\underset{r}{\overset{s}{\int }}f(t)\mathrm{\Delta }(t)=F(s)-F(r)$$ と置けばよい。

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

ラプラス変換・z-変換

時間尺度上で定義された函数に対して、任意の時間尺度に対して同じ変換表を用いて、ラプラス変換を定義することができる。時間尺度上のラプラス変換は時間尺度上のデルタ微分方程式を解くことに利用できる。時間尺度が非負整数全体であるとき、この変換は修正z変換 $${𝒵}^{\prime }\{x[z]\}=\frac{𝒵\{x[z+1]\}}{z+1}$$ に等しい。

偏微分法

偏微分方程式とテンプレート:Ill2は時間尺度上の偏デルタ微分方程式に統合される。

重積分

時間尺度上の重積分は テンプレート:Harvtxt で扱われている。

確率デルタ微分方程式

確率微分方程式と確率差分方程式は確率デルタ微分方程式に一般化される。

測度論

各時間尺度に対して自然な測度 $${\mu }^{\mathrm{\Delta }}(A):=\lambda ({\rho }^{-1}(A))$$ が付随する。ただし、テンプレート:Mvar はルベーグ測度で、テンプレート:Mvar は テンプレート:Mathbf 上定義された後方シフト作用素とする。デルタ積分は、この測度に関する通常のルベーグ–スティルチェス積分 $$\underset{r}{\overset{s}{\int }}f(t)\mathrm{\Delta }t=\underset{[r,s)}{\int }f(t)d{\mu }^{\mathrm{\Delta }}(t)$$ として理解でき、またデルタ微分はこの測度に関するラドン–ニコディム微分 $$f^{\mathrm{\Delta }}(t)=\frac{df}{d{\mu }^{\mathrm{\Delta }}}(t)$$ となる。

超函数

ディラックのデルタとクロネッカーのデルタは、時間尺度上のヒルゲルのデルタ $${\delta }_a^{ℍ}(t):=\{\begin{array}{cc}\frac{1}{\mu (a)},& t=a\\ 0,& t\ne a\end{array}$$ に統合される。

積分方程式

積分方程式とテンプレート:Ill2は、時間尺度上の積分方程式に統合される。

分数階微積分

時間尺度上の分数階微分積分学は テンプレート:Harvtxt が扱っている。

関連項目

• テンプレート:Ill2: カントール集合上のデルタ微分方程式

参考文献

• Dynamic equations on time scales: a survey, Ravi Agarwal, Martin Bohner, Donal O’Regan, Allan Peterson, Journal of Computational and Applied Mathematics 141 (2002) 1–26

関連文献

• The Baylor University Time Scales Group
• Dynamic Equations on Time Scales Special issue of Journal of Computational and Applied Mathematics (2002)
• Dynamic Equations And Applications Special Issue of Advances in Difference Equations (2006)
• Dynamic Equations on Time Scales: Qualitative Analysis and Applications Special issue of Nonlinear Dynamics And Systems Theory (2009)
• Timescalewiki.org