時間尺度微分積分学のソースを表示

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

== 歴史 ==
時間尺度微分積分学は、1988年にドイツの数学者{{ill2|シュテファン・ヒルゲル|en|Stefan Hilger}}が導入した<ref name=hilger>{{cite journal| last = Hilger | first = Stefan | authorlink = Stefan Hilger |title = Ein Maßkettenkalkül mit Anwendung auf Zentrumsmannigfaltigkeiten |publisher = Universität Würzburg | year = 1998}}</ref>ものだが、同様のアイデアはそれ以前よりあり、少なくとも和と積分が統合される[[リーマン&ndash;スティルチェス積分]]の導入にまで遡れる。

== デルタ微分方程式 ==
（連続的な）微分方程式に関する多くの結果は極めて容易に（離散的な）差分方程式の対応する結果に読み替えることができるが、それに当てはまらない差分方程式に関する結果はその連続版の対応物とは大きくかけ離れているように見える<ref name=bp>{{cite book | author=Martin Bohner & Allan Peterson | title=Dynamic Equations on Time Scales | publisher=Birkhäuser | year=2001 | isbn=978-0-8176-4225-9 | url = https://www.springer.com/west/home/birkhauser?SGWID=4-40290-22-2117582-0 }}</ref>。時間尺度上のデルタ微分方程式 (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|{{unicode|𝕋}}}} がよく用いられる。

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

A single point in a time scale is defined as:
:<math>t:t\in\mathbb{T}</math>

=== 時間尺度上の演算 ===
[[File:Timescales jump operators.png|thumb|upright=2.0|The forward jump, backward jump, and graininess operators on a discrete time scale]]
与えられた点 {{mvar|t}} に対して右または左にある最も近い時間尺度上の点を表す演算として「前方（前進）シフト」および「後方（後退）シフト」が定義される。式で書けば
* 前進シフト・前方跳躍: <math display="inline">\sigma(t) := \inf\{s \in \mathbb{T} : s>t\}</math>
* 後退シフト・後方跳躍: <math display="inline">\rho(t) := \sup\{s \in \mathbb{T} : s<t\}</math>
さらに、'''粒度''' (''graininess'') {{mvar|μ}} が、右方の最近接点への距離 <math display="block">\mu(t) := \sigma(t) -t</math> として定義される。

=== 時間尺度上の点の分類 ===
[[File:Timescales point classifications.png|thumb|upright=2.0|Several points on a time scale with different classifications: 
* Point <math>t_1</math> is ''dense''
* Point <math>t_2</math> is ''left dense'' and ''right scattered''
* Point <math>t_3</math> is ''isolated''
* Point <math>t_4</math> is ''left scattered'' and ''right dense''
]]
任意の点 {{math|''t'' ∈ {{unicode|𝕋}}}} が、
* '''左稠密''' (''left dense'') であるとは {{math|1=''ρ''(''t'') = ''t''}} なるときに言う;
* '''右稠密''' (''right dense'') であるとは {{math|1=''σ''(''t'') = ''t''}} なるときに言う;
* '''左散在''' (''left scattered'') であるとは {{math|''ρ''(''t'') < ''t''}} なるときに言う;
* '''右散在''' (''right scattered'') であるとは {{math|''σ''(''t'') > ''t''}} なるときに言う;
* '''稠密''' (''dense'') であるとは左稠密かつ右稠密であるときに言う;
* '''孤立''' (''isolated'') しているとは左散在かつ右散在であるときに言う。

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

== 微分 ==
時間尺度上の函数 <math display="inline">f\colon \mathbb{T} \to \mathbb{R}</math> をとる（ここでは簡単のため終域を実数直線 {{mathbf|ℝ}} としたが、これは任意の[[バナッハ空間]]でよい）。

; 定義 (デルタ微分/ヒルゲル微分): {{mvar|f}} の'''デルタ微分'''が存在するとは、任意の {{math|''ε'' > 0}} に対し {{mvar|t}} の適当な近傍 {{mvar|U}} を選べば <math display="block">|f(\sigma(t))-f(s)- f^{\Delta}(t)(\sigma(t)-s)|\le \varepsilon|\sigma(t)-s| \qquad(\forall s\in U)</math> とできるときに言う。

* {{math|1={{unicode|𝕋}} = '''ℝ'''}} と取れば、{{math|1=''σ''(''t'') = ''t''}} かつ {{math|1=''μ''(''t'') = 0}} であり、{{math|1=''f''{{sup|Δ}} = ''f&prime;''}} は通常の[[微分積分学]]で用いられる微分となる。
* {{math|1={{unicode|𝕋}} = '''ℤ'''}}（[[整数]]全体）と取れば、{{math|1=''σ''(''t'')  = ''t'' + 1}} かつ {{math|1=''μ''(''t'') = 1}} であり、{{math|1=''f''{{sup|Δ}} = Δ''f''}} は[[和分差分学]]で用いられる[[前進差分作用素|前進差分]]となる。

== 積分 ==
デルタ微分に関する反微分（不定積分）として'''デルタ積分'''が定義される。函数 {{math|''F''(''t'')}} が連続な導函数 {{math|1=''f''(''t'') := ''F''{{sup|Δ}}(''t'')}} を持つときには <math display="block">\int_r^s f(t) \Delta(t) = F(s) - F(r)</math> と置けばよい。

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

; ラプラス変換・z-変換: 時間尺度上で定義された函数に対して、任意の時間尺度に対して同じ変換表を用いて、[[ラプラス変換]]を定義することができる。時間尺度上のラプラス変換は時間尺度上のデルタ微分方程式を解くことに利用できる。時間尺度が非負整数全体であるとき、この変換は修正[[z変換]] <math display="block">\mathcal{Z}'\{x[z]\}=\frac{\mathcal{Z}\{x[z+1]\}}{z+1}</math> に等しい<ref name=bp/>。
; 偏微分法: [[偏微分方程式]]と{{ill2|偏差分方程式|en|partial difference equation}}は時間尺度上の偏デルタ微分方程式に統合される<ref>{{cite journal | doi = 10.1016/S0377-0427(01)00434-4 | volume=141 | title=Partial differential equations on time scales | year=2002 | journal=Journal of Computational and Applied Mathematics | pages=35–55 | last1 = Ahlbrandt | first1 = Calvin D. | last2 = Morian | first2 = Christina| bibcode=2002JCoAM.141...35A }}</ref><ref>[http://marksmannet.com/TimeScales/Papers/partial.pdf Partial dynamic equations on time scales], B Jackson – Journal of Computational and Applied Mathematics, 2006</ref><ref>[http://web.mst.edu/~bohner/papers/pdots.pdf Partial differentiation on time scales], M Bohner, GS Guseinov, Dynamic Systems and Applications 13 (2004) 351–379</ref>。
; 重積分: 時間尺度上の[[重積分]]は {{harvtxt|Bohner|2005}} で扱われている<ref>{{cite journal | citeseerx = 10.1.1.79.8824 | title = Multiple integration on time scales | first = M | last1 = Bohner | first2 = GS | last2 = Guseinov | journal = Dynamic Systems and Applications | year = 2005 | ref= harv}}</ref>。
; 確率デルタ微分方程式: [[確率微分方程式]]と確率差分方程式は確率デルタ微分方程式に一般化される<ref>[http://scholarsmine.mst.edu/cgi/viewcontent.cgi?article=3278&context=doctoral_dissertations STOCHASTIC DYNAMIC EQUATIONS], SUMAN SANYAL, 2008</ref>。
; 測度論:各時間尺度に対して自然な[[測度]] <math display="block">\mu^\Delta(A) := \lambda(\rho^{-1}(A))</math> が付随する<ref>{{cite journal | doi = 10.1016/S0022-247X(03)00361-5 | title = Integration on time scales | first = GS | last = Guseinov | journal = J. Math. Anal. Appl. | volume = 285 | year = 2003 | pages = 107–127 }}</ref><ref>{{cite web|url=http://library.iyte.edu.tr/tezler/master/matematik/T000568.pdf|title=Measure theory on time scales|accessdate=2018-11-15|last=Deniz|first=A|year=2007|format=PDF|archiveurl=https://web.archive.org/web/20110820012043/http://library.iyte.edu.tr/tezler/master/matematik/T000568.pdf|archivedate=2011-08-20}}</ref>。ただし、{{mvar|λ}} は[[ルベーグ測度]]で、{{mvar|ρ}} は {{mathbf|ℝ}} 上定義された後方シフト作用素とする。デルタ積分は、この測度に関する通常の[[ルベーグ&ndash;スティルチェス積分]] <math display="block">\int_r^s f(t) \Delta t = \int_{[r,s)} f(t) d\mu^\Delta(t)</math> として理解でき、またデルタ微分はこの測度に関する[[ラドン&ndash;ニコディム微分]] <math display="block">f^\Delta(t) = \frac{df}{d\mu^\Delta}(t)</math> となる<ref>{{cite journal | arxiv = 1102.2511 | title = On the connection between the Hilger and Radon–Nikodym derivatives | first1 = J | last1 =Eckhardt  | authorlink2 = Gerald Teschl | first2 = G | last2 = Teschl | journal = J. Math. Anal. Appl. | volume = 385 | year = 2012 | pages = 1184–1189 | doi=10.1016/j.jmaa.2011.07.041}}</ref>。
; 超函数: [[ディラックのデルタ]]と[[クロネッカーのデルタ]]は、時間尺度上の'''ヒルゲルのデルタ'''  <math display="block">\delta_{a}^{\mathbb{H}}(t) := \begin{cases} \frac{1}{\mu(a)}, & t = a \\ 0, & t \neq a \end{cases}</math> に統合される<ref>[http://www.marksmannet.com/RobertMarks/REPRINTS/2007_TheLaplaceTransformOnTimeScales.pdf The Laplace transform on time scales revisited], John M. Davis, Ian A. Gravagne , Billy J. Jackson ,
Robert J. Marks II , Alice A. Ramos, J. Math. Anal. Appl. 332 (2007) 1291–1307</ref><ref>[http://marksmannet.com/RobertMarks/REPRINTS/short/BLaplaceOct2009.pdf Bilateral Laplace Transforms on Time Scales: Convergence, Convolution, and the Characterization of Stationary Stochastic Time Series] {{webarchive|url=https://web.archive.org/web/20110714042809/http://marksmannet.com/RobertMarks/REPRINTS/short/BLaplaceOct2009.pdf |date=2011-07-14 }}, John M. Davis, Ian A. Gravagne and Robert J. Marks II</ref>。
; 積分方程式: [[積分方程式]]と{{ill2|和分方程式|en|summation equation}}は、時間尺度上の積分方程式に統合される<ref>[http://web.maths.unsw.edu.au/~cct/tis-tomasia-IJDE-rev.pdf Volterra integral equations on time scales: Basic qualitative and quantitative results with applications to initial value problems on unbounded domains] {{Webarchive|url=https://web.archive.org/web/20090913133302/http://web.maths.unsw.edu.au/~cct/tis-tomasia-IJDE-rev.pdf |date=2009-09-13 }}, Tomasia Kulik and Christopher C. Tisdell, 2007</ref>。
; 分数階微積分: 時間尺度上の[[分数階微分積分学]]は {{harvtxt|Bastos|Mozyrska|Torres|2010}} が扱っている<ref>{{cite paper | arxiv = 1012.1555 | title = Fractional Derivatives and Integrals on Time Scales via the Inverse Generalized Laplace Transform | first1 = Nuno R. O. | last1 = Bastos | first2 = Dorota | last2 = Mozyrska | first3 = Delfim F. M. | last3 = Torres | bibcode = 2010arXiv1012.1555B }}</ref>。

== 脚注 ==
{{脚注ヘルプ}}
=== 出典 ===
{{Reflist|2}}

== 関連項目 ==
* {{ill2|フラクタル上の解析学|en|Analysis on fractals}}: [[カントール集合]]上のデルタ微分方程式

== 参考文献 ==
*[http://web.mst.edu/~bohner/papers/deotsas.pdf 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

== 関連文献 ==
* [http://www.timescales.org The Baylor University Time Scales Group]
* [http://web.mst.edu/~bohner/tisc.html Dynamic Equations on Time Scales] Special issue of ''Journal of Computational and Applied Mathematics'' (2002)
* [http://www.hindawi.com/journals/ade/volume-2006/si.1.html Dynamic Equations And Applications] Special Issue of ''Advances in Difference Equations'' (2006)
* [http://www.e-ndst.kiev.ua/v9n1.htm Dynamic Equations on Time Scales: Qualitative Analysis and Applications] Special issue of ''Nonlinear Dynamics And Systems Theory'' (2009)
* [http://timescalewiki.org/index.php/Main_Page Timescalewiki.org]

{{DEFAULTSORT:しかんしやくとひふんせきふんかく}}
[[Category:力学系]]
[[Category:微分積分学]]
[[Category:数学に関する記事]]