[論文レビュー] 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 $-to-$ L_q $ 射影におけるノルム比の挙動を分析する。

実験結果

リサーチクエスチョン

• RQ1 複素化空間上の線形作用素の実ノルムと複素ノルムが一致する条件は何か？
• RQ2 複素ノルムと実ノルムの比として最大で得られる値は何か？また、その値はいつ有界であるか？
• RQ3 $ L_p(\mu_1) \to L_q(\mu_2) $ 作用素において、$ p $ と $ q $ の関係は実ノルムと複素ノルムの等価性にどのように影響するか？
• 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 $-to-$ 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 $ 条件を緩めることはできないことを示す。