[論文レビュー] On the Hadamard's type inequalities for L-Lipschitzian mapping

Mehmet Zeki Sarıkaya, Haticeyaldiz|arXiv (Cornell University)|May 22, 2010

Mathematical Inequalities and Applications参考文献 8被引用数 13

ひとこと要約

本稿は、2変数におけるL-Lipschitz関数に対して、新しいハダマール型の不等式を確立し、古典的なエルミート＝ハダマール不等式を2変数L-Lipschitz関数へと拡張する。パラメータ化された積分写像H(t,s)を導入することで、Lipschitz定数L₁とL₂を含む鋭い誤差項が得られ、平均積分と中点値との乖離が、Lipschitz半ノルムの観点からO((b−a) + (d−c))で有界であることが証明される。

ABSTRACT

In this paper, we establish some new inequalities of Hadamard's type for L-Lipschitzian mapping in two variables.

研究の動機と目的

• 古典的なエルミート＝ハダマール不等式を2変数L-Lipschitz関数へと拡張すること。
• L-Lipschitz関数の二重積分の近似値としての中点値による誤差推定を明確にすること。
• R²内の長方形上に定義されたパラメータ化された積分作用素H(t,s)のLipschitz連続性を分析すること。
• 関数の定義域の中心における関数値から積分平均がどれほど離れるかの定量的評価を導出すること。

提案手法

• 長方形[a,b]×[c,d]上での関数の中央値と境界値の間を補間するパラメータ化された積分写像H(t,s)を定義する。
• fのL-Lipschitz性と三角不等式を用いて、H(t,s)が[0,1]×[0,1]上でL-Lipschitz連続であることを証明する。
• 2つの主要な誤差項を導出する：1つはH(t,s)と中点値f((a+b)/2, (c+d)/2)との差、もう1つはH(t,s)と完全な二重積分との差。
• 変数変換とt,s ∈ [0,1]における積分を用いて、パラメータ化された写像を元の積分平均に関連付ける。
• Lipschitz条件を適用し、関数値の差を|t₂−t₁|および|s₂−s₁|の重み付き和で上界で抑え込む。
• 長方形の角における関数値の重み付き平均と二重積分との比較において、1/12(M₁|n₂−n₁| + M₂|m₂−m₁|)の余剰項が有界であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 R²内の長方形上での2変数L-Lipschitz関数に対して、古典的なエルミート＝ハダマール不等式をどのように一般化できるか？
• RQ2 写像(t,s) ∈ [0,1]×[0,1]が、中心が中点である縮小する長方形上でのfの平均値へ写像するパラメータ化された積分作用素H(t,s)のLipschitz性はいかなるものか？
• RQ3 fがL-Lipschitzである場合、二重積分とその中点近似との間の鋭い誤差項は何か？
• RQ4 Lipschitz定数L₁とL₂は、積分平均が中点値へ収束する速度にどのように影響するか？
• RQ5 部分長方形の角における関数値の重み付き平均を、完全な積分の観点から明示的な定数を用いて評価できるか？

主な発見

• 写像H(t,s)は[0,1]×[0,1]上でL-Lipschitz連続であり、|H(t₂,s₂)−H(t₁,s₁)| ≤ (L₁(b−a)/4)|t₂−t₁| + (L₂(d−c)/4)|s₂−s₁| が成り立つことが示された。
• H(t,s)と中点値f((a+b)/2, (c+d)/2)との差は、(L₁t(b−a)/4) + (L₂s(d−c)/4) で有界である。
• H(t,s)と完全な二重積分との差は、(L₁(1−t)(b−a)/4) + (L₂(1−s)(d−c)/4) で有界である。
• 角の値による近似は、(1/12)(M₁|n₂−n₁| + M₂|m₂−m₁|)の余剰項で有界であり、ここでM₁とM₂は関数の偏導関数におけるLipschitz定数の和である。
• 結果として得られた不等式は、古典的なエルミート＝ハダマール不等式を2変数L-Lipschitz関数へと一般化し、領域のサイズとLipschitz定数を用いた明示的な誤差推定を提供する。
• 証明における定理1の等号成立ケースによって、不等式が鋭いことが示され、これが主結果の基盤となっている。