[论文解读] 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

一句话总结

本文刻画了所有满足广义三角不等式第二类的 $ n $-元组 $ (\mu_1, \dots, \mu_n) \in \mathbb{R}^n $，即对任意赋范空间 $ X $ 中的 $ x_i $，有 $ \|x_1 + \cdots + x_n\|^p \leq \sum_{i=1}^n \frac{\|x_i}\|^p}{\mu_i} $ 成立的条件，并确定了反向不等式成立的情形。关键结果通过 $ p $-范数类不等式与包络理论，给出了 $ \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.

研究动机与目标

• 刻画所有 $ n $-元组 $ (\mu_1, \dots, \mu_n) \in \mathbb{R}^n $，使得在赋范空间 $ (X, \|\cdot\|) $ 中对所有 $ x_1, \dots, x_n \in X $，广义三角不等式第二类成立。
• 建立 $ \mu_i $ 的必要充分条件，使反向不等式成立。
• 研究不同 $ p > 0 $ 范围下 $ \mu $-元组集合的结构，尤其区分 $ p > 1 $ 与 $ 0 < p \leq 1 $ 两种情形。
• 将希尔伯特空间与赋范空间中三角不等式已知结果推广至 $ n $ 个变量、$ p $ 次幂的广义形式。
• 利用包络理论与等值集的几何分析，推导出可行 $ \mu $-区域的精确刻画。

提出的方法

• 本文采用包络理论，分析由 $ a_1 s_1^p + \cdots + a_n s_n^p = 1 $ 定义的曲面族，其中 $ s_i \geq 0 $，$ \sum s_i = 1 $，以刻画 $ \mu $-元组可行区域的边界。
• 关键引理定义了包络函数 $ h_p(a_1, \dots, a_{n-1}) = \left(1 - \sum_{i=1}^{n-1} a_i^{1/(1-p)} \right)^{1-p} $，该函数确定了以其他 $ \mu_i $ 表示的 $ \mu_n $ 的临界阈值。
• 通过分析超水平集 $ \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 对于所有 $ p > 0 $，满足 $ \|x_1 + \cdots + x_n\|^p \leq \sum_{i=1}^n \frac{\|x_i\|^p}{\mu_i} $ 对所有 $ x_i \in X $ 在赋范空间 $ X $ 中成立的 $ (\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 可行 $ \mu $-区域在 $ p > 1 $ 与 $ 0 < p \leq 1 $ 两种情形下有何不同？这些区域的结构约束是什么？
• RQ4 由 $ a_1 s_1^p + \cdots + a_n s_n^p = 1 $ 定义的曲面族的包络，在刻画可行 $ \mu $-集边界时起什么作用？
• RQ5 广义三角不等式第二类在特殊情形（如 $ n = 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 $-元组恰好为所有 $ \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 $ 而其余为负数时的包络条件。
• 对于 $ 0 < p \leq 1 $，当 $ \mu_j > 0 $ 且所有其他 $ \mu_i < 0 $ 时，条件 $ \mu_j \geq \max_{i \neq j} \{1, |\mu_i|\} $ 是必要且充分的，该条件刻画了可行集 $ 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 $ 情形下分别简化为前述并集形式。