[論文レビュー] Characterization of a generalized triangle inequality in normed spaces

Farzad Dadipour, Mohammad Sal Moslehian+2 more|arXiv (Cornell University)|Sep 8, 2011

Mathematical Inequalities and Applications参考文献 11被引用数 3

ひとこと要約

本稿は、ノルム空間 $ X $ のすべての $ x_i $ に対して成り立つ第2種一般化三角不等式 $ \|x_1 + \cdots + x_n\|^p \leq \sum_{i=1}^n \frac{\|x_i}\|^p}{\mu_i} $ を満たすすべての $ n $-重組 $ (\mu_1, \dots, \mu_n) \in \mathbb{R}^n $ を特徴づけ、逆不等式が成り立つ場合も特定する。主な結果は、$ p $-ノルムに類似した不等式とエンvelope理論を用いて、$ \mu_i $ に対する明示的な必要十分条件を提示し、$ p > 1 $ と $ 0 < p \leq 1 $ の場合にそれぞれ異なるケースを区別する。

ABSTRACT

For a normed linear space $(X,|\cdot|)$ and $p&gt;0$ we characterize all $n$-tuples $(μ_1,...,μ_n)\in\mathbb{R}^{n}$ for which the generalized triangle inequality of the second type $$\|x_1+...+x_n\|^p\leq\frac{|x_1|^p}{μ_1}+...+\frac{|x_n|^p}{μ_n}$$ holds for any $x_1,...,x_n\in X$. We also characterize $(μ_1,...,μ_n)\in\mathbb{R}^{n}$ for which the reverse of the inequality above holds.

研究の動機と目的

• ノルム空間 $ (X, \|\cdot\|) $ のすべての $ x_1, \dots, x_n \in X $ に対して第2種一般化三角不等式が成り立つようなすべての $ n $-重組 $ (\mu_1, \dots, \mu_n) \in \mathbb{R}^n $ を特徴づける。
• 逆不等式が成り立つための $ \mu_i $ に対する必要十分条件を確立する。
• $ p > 0 $ の異なる範囲について $ \mu $-重組の構造を調査し、特に $ p > 1 $ と $ 0 < p \leq 1 $ の場合を区別する。
• ヒルバート空間およびノルム空間における三角不等式の既知の結果を、$ n $ 変数・$ p $ 乗一般化形に拡張する。
• エンvelope理論およびレベル集合の幾何的解析を用いて、実行可能 $ \mu $-領域の正確な特徴づけを導出する。

提案手法

• 本稿は、$ s_i \geq 0 $、$ \sum s_i = 1 $ を満たす $ a_1 s_1^p + \cdots + a_n s_n^p = 1 $ で定義される曲面族のエンvelope理論を用い、$ \mu $-重組の実行可能領域の境界を特徴づける。
• 重要な補題は、他の $ \mu_i $ に依存する $ \mu_n $ の臨界閾値を決定するエンvelope関数 $ h_p(a_1, \dots, a_{n-1}) = \left(1 - \sum_{i=1}^{n-1} a_i^{1/(1-p)} \right)^{1-p} $ を定義する。
• 超レベル集合 $ \Delta_p(s_1, \dots, s_n) $ の交点を分析することで、$ a_n \geq h_p(a_1, \dots, a_{n-1}) $ という条件が得られ、これが $ \mu_i $ に対する制約に翻訳される。
• 代入と正規化を用いた証明により、パラメータ $ \lambda = \mu a^2 + \nu b^2 $ がスケーリングによって吸収され、既知のオイラー＝ラグランジュ型恒等式の一般化が得られる。
• 集合 $ \Omega $ の正規化されたノルム比に対して幾何学的・解析的技法を適用し、実行可能性が特定のスケーリングされたベクトルが双対集合 $ D_p(\Omega) $ に属するかどうかに依存することを示す。
• 代入を用いて臨界不等式を導出する：$ p > 1 $ の場合、$ \mu_j^{1/(p-1)} \geq 1 + \sum_{i \neq j} |\mu_i|^{1/(p-1)} $、$ 0 < p \leq 1 $ の場合、$ \mu_j \geq \max_{i \neq j} \{1, |\mu_i|\} $、ただし $ \mu_j > 0 $、他の $ \mu_i $ は負。

実験結果

リサーチクエスチョン

• RQ1 ノルム空間 $ X $ のすべての $ x_i \in X $ およびすべての $ p > 0 $ に対して、$ \|x_1 + \cdots + x_n\|^p \leq \sum_{i=1}^n \frac{\|x_i\|^p}{\mu_i} $ が成り立つような $ (\mu_1, \dots, \mu_n) \in \mathbb{R}^n $ に対する必要十分条件は何か？
• RQ2 どの $ n $-重組 $ (\mu_1, \dots, \mu_n) $ に対して、ノルム空間内で普遍的に逆不等式 $ \|x_1 + \cdots + x_n\|^p \geq \sum_{i=1}^n \frac{\|x_i\|^p}{\mu_i} $ が成り立つか？
• RQ3 $ p > 1 $ と $ 0 < p \leq 1 $ の場合における実行可能 $ \mu $-領域の違いは何か？ これらの領域を特徴づける構造的制約は何か？
• RQ4 $ a_1 s_1^p + \cdots + a_n s_n^p = 1 $ で定義される曲面族のエンvelope が、実行可能 $ \mu $-集合の境界を特徴づける際に果たす役割は何か？
• RQ5 特別な場合、例えば $ n = 2 $ またはヒルバート空間において、第2種一般化三角不等式が既知の恒等式や不等式に簡略化できるか？

主な発見

• $ p > 1 $ の場合、一般化三角不等式を満たす $ \mu $-重組の集合は $ F(p) \cap (-F(p)) $ である。ここで $ F(p) $ はすべての $ \mu_i > 0 $ で $ \sum_{i=1}^n |\mu_i|^{1/(p-1)} \leq 1 $ を満たす $ \mu $-重組の集合である。
• $ p > 1 $ の場合、逆不等式が成り立つのは、すべての $ \mu_i < 0 $ かつ $ \sum_{i=1}^n |\mu_i|^{1/(p-1)} \leq 1 $ のときであり、この集合は $ -F(p) $ である。
• $ 0 < p \leq 1 $ の場合、前方不等式の実行可能 $ \mu $-重組はすべての $ \mu_i \in (0,1] $ であることが正確に特定され、逆不等式の場合はすべての $ \mu_i \in [-1,0) $ である。この集合は $ (0,1]^n \cup [-1,0)^n $ である。
• $ p > 1 $ の臨界条件は $ \mu_j^{1/(p-1)} \geq 1 + \sum_{i \neq j} |\mu_i|^{1/(p-1)} $ であり、これは一つの $ \mu_j > 0 $ で他の $ \mu_i $ が負のときのエンvelope 条件から生じる。
• $ 0 < p \leq 1 $ の場合、$ \mu_j > 0 $ で他のすべての $ \mu_i < 0 $ のとき、$ \mu_j \geq \max_{i \neq j} \{1, |\mu_i|\} $ が $ \mu_j $ の実行可能集合を特徴づけるために必要十分である。この集合は $ G(p; n-1) $ と表される。
• 絶対値形の不等式を満たす $ \mu $-重組の全集合 $ H(p) $ は $ H(p) = (F(p) \cap -G(p)) \cup (-F(p) \cap G(p)) $ であり、$ p > 1 $ および $ 0 < p \leq 1 $ の場合にそれぞれ提示された和集合に簡略化される。