[论文解读] Real and complex operator norms

Olga Holtz, Michael Karow|ArXiv.org|Dec 27, 2005

Approximation Theory and Sequence Spaces参考文献 7被引用 6

一句话总结

本文研究复化向量空间上实算子范数与复算子范数之间的关系，确立了二者相等的条件。证明了对于从 $ L_p(\mu_1) $ 到 $ L_q(\mu_2) $ 空间的实线性算子，当 $ 1 \leq p \leq q \leq \infty $ 时，实范数与复范数相等，并在 $ p \leq q $ 条件不成立时给出了该范数比值的精确上界。

ABSTRACT

Real and complex norms of a linear operator acting on a normed complexified space are considered. Bounds on the ratio of these norms are given. The real and complex norms are shown to coincide for four classes of operators: 1) real linear operators from $L_p(μ_1)$ to $L_q(μ_2)$, $1\leq p\leq q\leq \infty$; 2) real linear operators between inner product spaces; 3) nonnegative linear operators acting between complexified function spaces with absolute and monotonic norms; 4) real linear operators from a complexified function space with a norm satisfying $\|\Re x \|\leq \|x\|$ to $L_\infty(μ)$. The inequality $p\leq q$ in Case 1 is shown to be sharp. A class of norm extensions from a real vector space to its complexification is constructed that preserve operator norms.

研究动机与目标

• 分析复化向量空间上复算子范数与实算子范数的比值。
• 识别复算子范数等于实算子范数的条件。
• 在等式不成立时，建立该范数比值的精确上界，尤其关注 $ L_p $ 空间。
• 构造从实空间到复化空间的范数扩张，以保持算子范数不变。
• 证明 $ L_p \to L_q $ 算子范数等式中 $ p \leq q $ 条件的精确性。

提出的方法

• 在复化赋范空间中，分别定义实算子范数与复算子范数为实向量与复向量上的上确界。
• 引入比值 $ \|A\|_{X,Y}^{\mathbb{C}} / \|A\|_{X,Y}^{\mathbb{R}} $，并利用性质 $ \|\Re x\|_X \leq \|x\|_X $ 推导其一般上界。
• 利用对偶性与特定矩阵构造，证明当 $ p > q $ 时该比值可超过 1，尤其在 $ \ell_p $ 与 $ L_p $ 空间中成立。
• 通过连续函数上单调且平移不变的范数，构造一类从实空间到复化空间的范数扩张。
• 证明对于此类扩张，所有实线性映射的复范数与实范数相等。
• 应用积分不等式与 $ L_p $-范数的性质，分析 $ L_p $-到-$ L_q $ 映射中范数比值的行为。

实验结果

研究问题

• RQ1 在复化空间上，线性算子的实范数与复范数在何种条件下相等？
• RQ2 复范数与实范数比值的最大可能值是多少？该比值在何时有界？
• RQ3 $ p $ 与 $ q $ 之间的关系如何影响 $ L_p(\mu_1) \to L_q(\mu_2) $ 算子范数中实范数与复范数的相等性？
• RQ4 从实空间到复化空间的范数扩张能否保持算子范数？若能，其条件为何？
• RQ5 $ L_p \to L_q $ 算子范数等式中的条件 $ p \leq q $ 是否精确？当该条件被违反时，是否存在反例？

主要发现

• 当 $ 1 \leq p \leq q \leq \infty $ 时，所有从 $ L_p(\mu_1) $ 到 $ L_q(\mu_2) $ 的实线性算子，其实范数与复范数相等，且该条件是精确的。
• 在内积空间中，复范数与实范数的比值有上界 $ \sqrt{2} $，且在某些情况下可取等。
• 在 $ L_p $-到-$ L_q $ 映射中，当 $ p > q $ 时，复范数可超过实范数；例如在 $ \ell_\infty \to \ell_1 $ 中，该比值可达 $ 2\sqrt{2} $。
• 当 $ \|\Re x\|_X \leq \|x\|_X $ 时，比值 $ \|A\|_{X,Y}^{\mathbb{C}} / \|A\|_{X,Y}^{\mathbb{R}} $ 的上界为 2，且该上界是紧的。
• 通过在 $ C([0,2\pi]) $ 上使用单调且平移不变的范数，构造了一类从实空间到复化空间的范数扩张，确保算子范数被保持。
• 利用对偶性将 $ p \leq q $ 情况下的反例扩展至 $ p > q $ 情况，表明 $ p \leq q $ 条件无法被放宽。