[論文レビュー] Reverses of the Triangle Inequality in Banach Spaces

Sever S Dragomir|arXiv (Cornell University)|May 25, 2005

Mathematics and Applications参考文献 14被引用数 21

ひとこと要約

本稿では、バナッハ空間およびヒルバート空間における三角不等式の新しい乗法的および加法的逆不等式を提示する。デイアズ＝メトカルフおよびペトロビッチによる古典的結果を拡張したものであり、ベクトルまたは関数のなす角の制約を用いて鋭い境界を確立する。主な貢献は、複素数、ヒルバート空間、ボホーチェル可積分関数の分野に及び、等号成立の明示的条件と多項式の根の局在化への応用を含む。

ABSTRACT

Recent reverses for the discrete generalised triangle inequality and its continuous version for vector-valued integrals in Banach spaces are surveyed. New results are also obtained. Particular instances of interest in Hilbert spaces and for complex numbers and functions are pointed out as well.

研究の動機と目的

• バナッハ空間における三角不等式の逆不等式に関する最近の結果を調査・拡張すること。特に乗法的および加法的形態に焦点を当てる。
• 関数解析学および応用分野において重要であるにもかかわらず、逆不等式の既知の結果が不足しているという点に応えること。
• ヒルバート空間における離散的および連続的ケースについて、新しい鋭い逆不等式を提供すること。
• これらの逆不等式における等号成立条件を確立し、その応用可能性を高めること。
• マーデンおよびウィルフが提起したように、複素多項式の根の位置特定の問題への応用を示すこと。

提案手法

• デイアズ＝メトカルフの枠組みを用い、内積の実部に下界をもつ単位ベクトルまたは線形汎関数を導入する。
• 角制約を適用する：複素数および関数に対して、引数が角度 2θ の分野内にあると仮定し、逆不等式にコサイン係数を導入する。
• ノルムおよび内積の推定を用いて乗法的逆不等式を導出する。例えば、r∑‖xᵢ‖ ≤ ‖∑xᵢ‖ であり、r はベクトルの角度に関連する。
• 和のノルムとノルムの和の差を上界で抑え、非負関数 k(t) をスラック項として用いることで加法的逆不等式を導出する。
• ヒルバート空間値のボホーチェル可積分関数にこの手法を適用し、ベクトル値積分推定を用いる。
• 実部および虚部における ℓᵖ 型ノルムを用い、適切な係数の正規化を施すことにより、複素数値関数における Lᵖ ノルムへの拡張を行う。

実験結果

リサーチクエスチョン

• RQ1 バナッハ空間における三角不等式の鋭い乗法的および加法的逆不等式は何か。また、それらが成り立つ条件は何か。
• RQ2 古典的な複素数における三角不等式の逆不等式（ペトロビッチ＝デイアズ＝メトカルフ）は、どのようにベクトル値および関数値の設定に一般化できるか。
• RQ3 これらの逆不等式における等号成立の必要十分条件は何か。
• RQ4 これらの逆不等式は、複素多項式の根の位置を推定するためにどのように応用できるか。
• RQ5 複素数値関数における Lᵖ ノルムに対する逆不等式の最適定数は何か。

主な発見

• 引数が [a−θ, a+θ] 内にある複素数 zₖ に対して、不等式 cosθ∑|zₖ| ≤ |∑zₖ| が成り立ち、すべての zₖ が e^{ia} の方向に平行である場合に等号成立。
• ヒルバート空間において、ベクトル xᵢ が単位ベクトル a に対して Re⟨xᵢ,a⟩/‖xᵢ‖ ≥ r > 0 を満たすとき、r∑‖xᵢ‖ ≤ ‖∑xᵢ‖ が成り立ち、等号成立は ∑xᵢ = r(∑‖xᵢ‖)a のときに限る。
• ヒルバート空間値のボホーチェル可積分関数 f に対して、単位ベクトル e について a.e. で ‖f(t)‖ ≤ K Re⟨f(t),e⟩ が成り立つとき、∫‖f(t)‖dt ≤ K‖∫f(t)dt‖ が成り立ち、等号成立は ∫f(t)dt = (1/K)(∫‖f(t)‖dt)e のときに限る。
• 複素数値関数に対して、a.e. で |f(t)| ≤ φRe f(t) − ψIm f(t) + k(t) が成り立ち、φ² + ψ² = 1 ならば、∫|f(t)|dt − |∫f(t)dt| ≤ ∫k(t)dt が成り立ち、これは加法的逆不等式を提供する。
• ℓᵖ ノルムに対して、a.e. で [ |Re f(t)|²ᵖ + |Im f(t)|²ᵖ ]^{1/2p} ≤ φRe f(t) − ψIm f(t) + k(t) が成り立ち、φ² + ψ² = 2^{1/2p − 1/2} ならば、∫[⋅]^{1/2p}dt − [ |∫Re f|²ᵖ + |∫Im f|²ᵖ ]^{1/2p} ≤ ∫k(t)dt が成り立つ。
• これらの結果は既知の不等式を一般化し、複素数、ヒルバート空間、ベクトル値積分のさまざまな設定における逆三角不等式の統一的枠組みを提供する。