[論文レビュー] Diamond-alpha Integral Inequalities on Time Scales

Rui A. C. Ferreira, Moulay Rchid Sidi Ammi+1 more|ArXiv.org|May 2, 2008

Nonlinear Differential Equations Analysis参考文献 11被引用数 7

ひとこと要約

本稿は、時間スケール上の一般化されたダイヤモンド-アルファ積分不等式を確立し、Hölder、コーシー・シュワルツ、ミンコフスキー、およびジェンセンの不等式といった古典的不等式を統一的な動的枠組みへと拡張する。主な貢献は、時間スケールに適合する不等式理論を構築したことであり、これは端的にα=1（デルタ）およびα=0（ナブラ）の極限でデルタおよびナブラのバージョンに還元され、任意の時間スケール上での最適制御および動的システムへの応用を広く可能にする。

ABSTRACT

The theory of the calculus of variations was recently extended to the more general time scales setting, both for delta and nabla integrals. The primary purpose of this paper is to further extend the theory on time scales, by establishing some basic diamond-alpha dynamic integral inequalities. We prove generalized versions of Hölder, Cauchy-Schwarz, Minkowski, and Jensen's inequalities. For the particular case when alpha is equal to one or alpha is equal to zero one gets, respectively, correspondent delta and nabla inequalities. If we further restrict ourselves by fixing the time scale to the real or integer numbers, then we obtain the classical inequalities, whose role in optimal control is well known. By analogy, we trust that the diamond-alpha integral inequalities we prove here will be important in the study of control systems on times scales.

研究の動機と目的

• ダイヤモンド-アルファ微積分を用いて、古典的積分不等式をより一般的な時間スケール設定へと拡張すること。
• ダイヤモンド-アルファ微分および積分を通じて、デルタおよびナブラ積分不等式を統一的な枠組みで統合すること。
• よく知られた不等式の一般化を通じて、任意の時間スケール上での最適制御のための理論的基盤を提供すること。
• α=1（デルタ）、α=0（ナブラ）、または時間スケールがℝまたはℤである場合に、古典的不等式が特別な場合として回復されることを示すこと。
• 離散領域における算術-幾何平均不等式の応用を通じて、フレームワークの実用性を示すこと。

提案手法

• 時間スケール上でのダイヤモンド-アルファ動的微分を、デルタ微分とナブラ微分の凸結合として定義：$ f^{ riangleleft_{\alpha}}(t) = \alpha f^\Delta(t) + (1-\alpha) f^\nabla(t) $、$ \alpha \in [0,1] $。
• ダイヤモンド-アルファ積分 $ \int_a^b f(t) \Diamond_\alpha t $ を、デルタ積分とナブラ積分の重み付き平均として定義する。
• ダイヤモンド-アルファ積分へのホルダーの不等式の適用により、コーシー・シュワルツおよびミンコフスキーの不等式の一般化形を導出する。
• 凸関数の支持超平面性質を用いて、ダイヤモンド-アルファ積分に対するジェンセンの不等式を証明する。
• α=1（デルタ）、α=0（ナブラ）、または時間スケールがℝまたはℤである場合に古典的不等式が回復されることを示すことにより、フレームワークの妥当性を検証する。
• 時間スケール上での関数の連続性および可積分性の仮定を用いて、積分不等式の有効性を保証する。

実験結果

リサーチクエスチョン

• RQ1 古典的積分不等式は、統一的な動的微積分を用いて、どのように時間スケール設定へと一般化できるか？
• RQ2 ダイヤモンド-アルファ積分は、デルタおよびナブラ積分不等式を統合するために果たす役割は何か？
• RQ3 時間スケール上での一般化されたホルダー、コーシー・シュワルツ、ミンコフスキー、およびジェンセンの不等式が成立する条件は何か？
• RQ4 ダイヤモンド-アルファ不等式は、特殊な場合（例：実数直線、整数、α=1またはα=0）において、どのように古典的不等式に還元されるか？
• RQ5 このフレームワークを用いて、離散時間スケール上での既知の不等式（例：算術-幾何平均不等式）を導出できるか？

主な発見

• 本稿は、ダイヤモンド-アルファ積分に対する一般化されたホルダーの不等式を証明しており、時間スケールがℝまたはℤである場合に古典的ホルダーの不等式に還元される。
• コーシー・シュワルツの不等式は、ホルダーの不等式においてp=q=2とした特別な場合として得られ、時間スケール上の連続関数に対して有効である。
• ミンコフスキーの不等式は$ p>1 $に対して確立され、ダイヤモンド-アルファ積分下での$L^p$ノルムが三角不等式を満たすことが示された。
• 凸関数に対するジェンセンの不等式は、時間スケール上での関数のダイヤモンド-アルファ平均に対して成立することが証明された。
• 時間スケール$ \mathbb{T} = \mathbb{Z} $に適用した場合、フレームワークは離散区間上の和と積を含む重み付き算術-幾何平均不等式を導く。
• ダイヤモンド-アルファフレームワークは、デルタおよびナブラ微積分を統合しており、$ \alpha=1 $（デルタ）または$ \alpha=0 $（ナブラ）の極限で古典的不等式が回復される。