[論文レビュー] Holder's and Hardy's Two Dimensional Diamond-alpha Inequalities on Time Scales

Moulay Rchid Sidi Ammi, Delfim F. M. Torres|arXiv (Cornell University)|Oct 21, 2009

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

ひとこと要約

本稿では、デルタ積分とナブラ積分を統合する一般化された動的積分であるダイヤモンド-アルファ積分を用いて、時刻スケール上での2次元ホルダーの不等式およびハーディーの不等式を確立する。主な貢献は、パラメータ α ∈ [0,1] を変化させることで、古典的および時刻スケール固有の不等式を特別な場合として回復する統一的枠組みを提供することにある。

ABSTRACT

We prove a two dimensional Holder and reverse-Holder inequality on time scales via the diamond-alpha integral. Other integral inequalities are established as well, which have as corollaries some recent proved Hardy-type inequalities on time scales.

研究の動機と目的

• 時刻スケール上での2次元ホルダーの不等式および逆ホルダーの不等式を、より一般なダイヤモンド-アルファ積分の枠組みへと拡張すること。
• デルタ積分不等式の既存の結果を、デルタとナブラ微積分の間を補間するダイヤモンド-アルファ微分および積分を組み込むことにより統一的かつ一般化すること。
• 一般化されたホルダー型不等式を基に、時刻スケール上での新しいハーディー型不等式を従として導出すること。
• 特定の α ∈ [0,1] の値に対して既知の結果（例えば、古典的、デルタ、またはナブラ）に還元される包括的な不等式枠組みを提供すること。

提案手法

• デルタ積分とナブラ積分の凸結合として定義されるダイヤモンド-アルファ積分を用いる：∫ f(t)⋄αt = α∫ f(t)Δt + (1−α)∫ f(t)∇t。
• 共役指数 p と q を用い、1/p + 1/q = 1 を満たす条件下で、ダイヤモンド-アルファ積分の文脈における2次元ホルダー不等式を適用する。
• 核関数および重み付き被積分関数に一般化されたホルダー不等式を適用することで、逆ホルダー不等式およびハーディー型不等式を導出する。
• 関数 F(x), G(y), φ(x), ψ(y), K(x,y) を導入し、f(x) および g(y) を含む二重積分をダイヤモンド-アルファ測度によって評価する。
• ホルダーの不等式を逆方向に適用することで、不等式の2つの形（例えば、(3.11) と (3.12)）の同等性を確立し、定数 C を用いる。
• α = 1 の場合、結果が先行研究（例：[16]）におけるデルタ積分の場合に還元されることを示し、α = 0 の場合、ナブラ積分の場合に還元されることを検証する。

実験結果

リサーチクエスチョン

• RQ1 時刻スケール上での2次元ホルダーの不等式は、どのようにダイヤモンド-アルファ積分へと一般化できるか？
• RQ2 動的不等式の文脈において、ダイヤモンド-アルファ積分と古典的デルタおよびナブラ積分の関係は何か？
• RQ3 時刻スケール上でのハーディー型不等式は、ダイヤモンド-アルファ積分を用いた一般化されたホルダー不等式の系として導出可能か？
• RQ4 α ∈ [0,1] の異なる選択肢に対して、得られた不等式はどのように振る舞い、極限ケースは何か？
• RQ5 異なる形の一般化不等式（例えば、(3.11) と (3.12)）の同等性を保証する条件は何か？

主な発見

• 本稿では、パラメータ α ∈ [0,1] を許容することで、[16] のデルタ積分版を一般化したダイヤモンド-アルファ積分用の2次元ホルダー不等式を証明する。
• α = 1 の場合、結果はデルタ積分ホルダー不等式に還元される。α = 0 の場合、新しいナブラ積分版が得られる。
• 同じ枠組み内で逆ホルダー不等式が確立され、ダイヤモンド-アルファ積分下での関数積の上界評価が可能になる。
• 条件が与えられた下で、不等式 (3.9) と (3.10) が同等であることが示され、定数 C が境界を制御する。
• 定理 3.12 では、二重積分不等式と p 乗を含む単一積分不等式との同等性が確立され、定数 C がタイトさを保証する。
• 特別な場合として、結果は時刻スケール上での既知のハーディー型不等式を回復し、特に 𝕋 = ℝ のとき [7] に示された結果も含む。