[논문 리뷰] Real and complex operator norms

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

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$-에서 $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 $ 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 $-에서 $ 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 $ 조건이 느슨하게 만들 수 없음을 보였다.