時間尺度微分積分学

数学における時間尺度微分積分学（じかんしゃくどびぶんせきぶんがく、）は、微分積分学と和分差分学とを統一するもので、微分方程式の理論と差分方程式の理論とを統合した（連続と離散の入り混じった）力学系の研究の方法論を提供する。時間尺度微分積分学は、離散および連続データを同時にモデリングすることが要求される任意の分野において応用を持つ。この分野における新たな微分の定義は、実数全体を引数とする函数に作用したとき通常の意味での微分と同値になり、整数全体を引数とする函数に作用したとき前進差分と同値となるようなものとして与えられる。
歴史.
時間尺度微分積分学は、1988年にドイツの数学者が導入したものだが、同様のアイデアはそれ以前よりあり、少なくとも和と積分が統合されるリーマン–スティルチェス積分の導入にまで遡れる。
デルタ微分方程式.
（連続的な）微分方程式に関する多くの結果は極めて容易に（離散的な）差分方程式の対応する結果に読み替えることができるが、それに当てはまらない差分方程式の関する結果はその連続版の対応物とは大きくかけ離れているように見える。時間尺度上のデルタ微分方程式 (dynamic equation; 動力学方程式、動態方程式) の研究は、そのような齟齬について明らかにし、微分方程式と差分方程式の間での二度手間を避ける手助けとなる。その一般的なアイデアは、未知函数の定義域がいわゆる「時間尺度」（あるいは「時間集合」）と呼ばれる実数直線の任意の閉部分集合である場合の、デルタ微分方程式に対する結果を証明することである。こうすることにより、得られた結果は（通常の連続的な結果を示す）実数全体 や（通常の離散的な結果を示す）整数全体 のみならず、より一般にカントール集合のような複雑な時間尺度に対しても適用できる。
そのような時間尺度上のデルタ微分法の中で最も知られた三種の例として、微分法・差分法・量子解析を挙げることができる。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") とは実数直線 の任意の閉部分集合のこととする。一般の時間尺度を表すのに がよく用いられる。
時間尺度として最もよく遭遇するふたつが、実数全体 や離散時間 である。
A single point in a time scale is defined as:
時間尺度上の演算.
与えられた点 に対して右または左にある最も近い時間尺度上の点を表す演算として「前方（前進）シフト」および「後方（後退）シフト」が定義される。式で書けば
さらに、粒度 ("graininess") が、右方の最近接点への距離 formula_4 として定義される。
時間尺度上の点の分類.
任意の点 が、
連続性.
時間尺度の連続性は稠密性の同意語として再定義される。すなわち、時間尺度が点 において右連続であるとは、それが において右稠密であることを言い、同様に左連続であるとは左稠密であることを言う。
微分.
時間尺度上の函数 formula_5 をとる（ここでは簡単のため終域を実数直線 としたが、これは任意のバナッハ空間でよい）。
積分.
デルタ微分に関する反微分（不定積分）としてデルタ積分が定義される。函数 が連続な導函数 を持つときには formula_7 と置けばよい。