数学の、特に実解析の分野におけるディニ微分(でぃにびぶん、英: Dini derivative)とは、微分の概念を一般化したある一類の総称である。
定義
連続関数 f: R → R の上側ディニ微分(しばしば右上微分とも呼ばれる[1])は、
![{\displaystyle f'_{+}(t){\stackrel {\text{def}}{{}={}}}\limsup _{h\to {0+}}{\frac {f(t+h)-f(t)}{h}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1867098e6ed83f8e81535fbbb4154bcd347e24ef)
により定義される。ここで limsup
は上極限を表す。同様に、下側ディニ微分は
![{\displaystyle f'_{-}(t){\stackrel {\text{def}}{{}={}}}\liminf _{h\to {0+}}{\frac {f(t+h)-f(t)}{h}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34955c132ee62f41e89924496ded3b780c6f60da)
により定義される。ここで liminf
は下極限を表す。
f がベクトル空間上で定義される汎函数のときは、t における、方向 d への上側ディニ微分が
![{\displaystyle f'_{+}(t,d){\stackrel {\text{def}}{{}={}}}\limsup _{h\to {0+}}{\frac {f(t+hd)-f(t)}{h}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0921a2033e2e9dee9ebb3f179e9259a136e70589)
により定義される。
- 注意
-
- 補完数直線上では、各ディニ微分は常に存在する。しかし、それらの値は有限とは限らず、+∞ や −∞ となることもある(すなわち、ディニ微分は「拡張実数値」の意味において、常に存在する)。
- f が局所リプシッツ連続ならば、ディニ微分
は有限である。もし f が t において微分可能ならば、その t における各ディニ微分は通常の意味での微分に等しい。
D 記法と追加の定義
しばしば
の代わりに
,
の代わりに
が記号として用いられ[1]、また
![{\displaystyle D^{-}f(t){\stackrel {\text{def}}{{}={}}}\limsup _{h\to {0-}}{\frac {f(t+h)-f(t)}{h}},\quad D_{-}f(t){\stackrel {\text{def}}{{}={}}}\liminf _{h\to {0-}}{\frac {f(t+h)-f(t)}{h}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1cdb5dd20f9a774e67bc96aa0866f30d3f1a75b)
が定義される。つまり、ディニ微分の「D 記法」は、プラスかマイナスかの符号によってそれぞれ左側、右側からの微分を表し、その符号の位置が上か下かによってそれぞれ上極限、下極限を表すのである。
関連項目
- ダンジョワ・ヤング・ザックスの定理(英語版)
- 微分法の一般化(英語版)
参考文献
この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Dini derivativeの本文を含む
- 個別出典
- ^ a b Khalil, H.K. (2002). Nonlinear Systems (3rd ed.). Upper Saddle River, NJ: Prentice Hall. ISBN 0-13-067389-7. http://www.egr.msu.edu/~khalil/NonlinearSystems/
- 全般参照
- Lukashenko, T.P. (2001), “Dini derivative”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Dini_derivative .
- Royden, H.L. (1968). Real analysis (2nd ed.). MacMillan. ISBN 0-02-404150-5 .