[論文レビュー] The diamond-alpha Riemann integral and mean value theorems on time scales

Agnieszka B. Malinowska, Delfim F. M. Torres|ArXiv.org|Apr 28, 2008

Nonlinear Differential Equations Analysis参考文献 8被引用数 39

ひとこと要約

本稿では、ダーボウ的アプローチに基づくリーマン型のダイヤモンド-アルファ積分を時刻スケール上に導入し、積分の基本定理を確立するとともに、ダイヤモンド-アルファ微分を用いて新たな平均値定理を証明する。主な貢献は、局所的極値点におけるダイヤモンド-アルファのフェルマーの定理および、デルタおよびナブラ微分を統合するダイヤモンド-アルファのロルの定理、ラグランジュの平均値定理、コーシーの平均値定理の一般化である。

ABSTRACT

We study diamond-alpha integrals on time scales. A diamond-alpha version of Fermat's theorem for stationary points is also proved, as well as Rolle's, Lagrange's, and Cauchy's mean value theorems on time scales.

研究の動機と目的

• ダーボウ的構成に基づく上・下のダイヤモンド-アルファ和を用いた、時刻スケール上におけるリーマン型のダイヤモンド-アルファ積分を定義する。
• 時刻スケール上におけるダイヤモンド-アルファ積分の微積分学の基本定理を確立する。
• 古典的平均値定理（ロル、ラグランジュ、コーシー）をダイヤモンド-アルファフレームワークに一般化する。
• 古典的微積分学により密接に一致するように、時刻スケール上における新たな局所的極値の概念を導入する。
• デルタ-ナブラ微分の組み合わせを用いて、局所的極値点におけるダイヤモンド-アルファのフェルマーの定理を証明する。

提案手法

• 上界および下界のダイヤモンド-アルファ和に基づくダーボウ型構成を用いて、時刻スケール上でのダイヤモンド-アルファ積分を定義する。
• デルタ積分とナブラ積分の線形結合を用いてダイヤモンド-アルファ積分を定義し、既存の時刻スケール微積分学と整合性を持つようにする。
• 極値点においてダイヤモンド-アルファ微分がゼロとなることを許容する、時刻スケール上における新たな局所的極値の定義を導入する。
• 関数が点で局所的極値をとるならば、ある α ∈ [0,1] が存在して、その点におけるダイヤモンド-アルファ微分が消えることを示すことにより、ダイヤモンド-アルファのフェルマーの定理を証明する。
• 補助関数を構築し、ダイヤモンド-アルファ微分を用いて等号条件を導出することで、一般化された平均値定理を適用する。
• 補助関数と連続性の議論を用いて、ダイヤモンド-アルファのロルの定理、ラグランジュの定理、コーシーの定理を、ダイヤモンド-アルファのフェルマーの定理に還元して確立する。

実験結果

リサーチクエスチョン

• RQ1 ダーボウ的アプローチを用いて、時刻スケール上にリーマン型のダイヤモンド-アルファ積分を厳密に定義することは可能か？
• RQ2 局所的極値点におけるダイヤモンド-アルファ版フェルマーの定理は時刻スケール上で成り立つのか？また、デルタ・ナブラ版とはどのように異なるか？
• RQ3 ロルの定理、ラグランジュの定理、コーシーの定理は、時刻スケール上におけるダイヤモンド-アルファ微分法に一般化可能か？
• RQ4 時刻スケール上における新しい局所的極値の概念は、実解析における古典的定義とどのように関係するか？
• RQ5 どのような条件下でダイヤモンド-アルファ微分は局所的極値点で消えるのか？また、α はこの現象にどのような役割を果たすか？

主な発見

• ダーボウ的アプローチに基づくリーマン型のダイヤモンド-アルファ積分が、時刻スケール上に厳密に定義され、その存在および基本的性質が確立された。
• 局所的極値点におけるダイヤモンド-アルファのフェルマーの定理が証明された：関数が点で局所的極値をとるならば、ある α ∈ [0,1] が存在して、その点におけるダイヤモンド-アルファ微分が消える。
• ダイヤモンド-アルファのロルの平均値定理が確立された：f が [a,b] 上で連続で、(a,b) 上でデルタおよびナブラ微分可能であり、f(a) = f(b) ならば、ある α ∈ [0,1] と c ∈ (a,b) が存在して、f^{owtie_α}(c) = 0 となる。
• ダイヤモンド-アルファのラグランジュの平均値定理が証明された：f が [a,b] 上で連続で、(a,b) 上でデルタおよびナブラ微分可能であるならば、ある α ∈ [0,1] と c ∈ (a,b) が存在して、f^{owtie_α}(c) = (f(b) - f(a))/(b - a) となる。
• ダイヤモンド-アルファのコーシーの平均値定理が確立された：f と g が [a,b] 上で連続で、(a,b) 上でデルタおよびナブラ微分可能であり、任意の t ∈ (a,b) および α ∈ [0,1] に対して g^{owtie_α}(t) ≠ 0 ならば、ある ᾱ ∈ [0,1] と c ∈ (a,b) が存在して、(f(b) - f(a))/(g(b) - g(a)) = f^{owtie_{ᾱ}}(c)/g^{owtie_{ᾱ}}(c) が成り立つ。
• 具体例により、ダイヤモンド-アルファ微分がすべての局所的極値点（例：離散的時刻スケール上での t=0, t=1, t=3）で消える一方、非極値点（例：t=2）では非ゼロのままであることが示され、理論的結果が裏付けられた。