[논문 리뷰] Complex interpolation of weighted noncommutative $L_p$-spaces

Éric Ricard, Quanhua Xu|arXiv (Cornell University)|2009. 06. 29.

Advanced Operator Algebra Research참고 문헌 8인용 수 6

한 줄 요약

이 논문은 유한한 von Neumann 대수에서 양의 가역 연산자 $d$에 의한 좌측 및 우측 곱셈의 합을 통해 정의된 가중치가 부여된 비환류 $L_p$-공간에 대한 복소 보간 정리를 수립한다. 슈어 곱수와 피지에르의 삼각 부분공간에 대한 보간 정리를 이용하여, $L_{p_0}(d^{eta_0})$와 $L_{p_1}(d^{eta_1})$의 복소 보간이 $L_p(d^\alpha)$로 이어지며, 이는 $
\frac{1}{p} = \frac{1-\theta}{p_0} + \frac{\theta}{p_1}$ 및 $\alpha = (1-\theta)\alpha_0 + \theta\alpha_1$ 조건 하에서 동치 노름을 가짐을 증명한다. 이때 조건은 $\alpha_0, \alpha_1 \geq 0$ 이다. 이 결과는 기존의 한쪽 방향 가중치 보간 항등식을 양쪽 방향 가중치 경우로 확장한다.

ABSTRACT

Let $\mathcal{M}$ be a semifinite von Neumann algebra equipped with a semifinite normal faithful trace $ au$. Let $d$ be an injective positive measurable operator with respect to $(\mathcal{M}, au)$ such that $d^{-1}$ is also measurable. Define $$L_p(d)={x\in L_0(\mathcal{M}) : dx+xd\in L_p(\mathcal{M})}\quad{and}\quad \|x\|_{L_p(d)}=\|dx+xd\|_p .$$ We show that for $1\le p_0<p_1\le\8$, $0< heta<1$ and $\alpha_0\ge0, \alpha_1\ge0$ the interpolation equality $$(L_{p_0}(d^{\alpha_0}), L_{p_1}(d^{\alpha_1}))_ heta =L_{p}(d^{\alpha})$$ holds with equivalent norms, where $\frac1p=\frac{1- heta}{p_0}+\frac{ heta}{p_1}$ and $\alpha=(1- heta)\alpha_0+ heta\alpha_1$.

연구 동기 및 목표

• 양의 가역 연산자 $d$에 의한 좌측 및 우측 곱셈의 합을 통해 정의된 가중치가 부여된 비환류 $L_p$-공간에 대한 복소 보간 항등식을 수립하는 것.
• 기존의 오른쪽 및 왼쪽 가중치 보간 결과를 좌측 및 우측 곱셈이 모두 포함된 양방향 경우로 확장하는 것.
• 조건 $\alpha_0, \alpha_1 \geq 0$ 하에서 보간 공간 $(L_{p_0}(d^{\alpha_0}), L_{p_1}(d^{\alpha_1})){_\theta}$ 가 $L_p(d^\alpha)$ 와 동치 노름을 가짐을 증명하는 것.
• Junge와 Parcet의 정리와의 쌍대성에 의존하지 않고, Schur 곱수와 연산자 공간 기법을 이용하여 양방향 보간 결과에 대한 직접적인 증명을 제공하는 것.

제안 방법

• 저자들은 $L_p(d)$를 $L_0(M)$의 원소 $x$ 중에서 $dx + xd \in L_p(M)$ 를 만족하는 집합으로 정의하며, 노름을 $\|x\|_{L_p(d)} = \|dx + xd\|_p$ 으로 부여한다.
• 함수 $f \in L^1(\mathbb{R})$ 이며 $\hat{f} \in L^1(\mathbb{R})$ 인 경우에 관련된 특정 슈어 곱수의 유계성을 사용하여, 행렬 $(f(s_i - s_j))$ 가 $B(\ell^2)$ 위에서 완전히 유계인 슈어 곱수를 정의함을 보인다.
• 증명은 $\Sigma_d: x \mapsto dx + xd$ 를 통한 왜곡된 식별법에 의존하며, 이는 $L_p(d)$ 에서 $L_p(M)$ 으로의等距사상이므로 표준 보간 이론을 적용할 수 있게 한다.
• 보간 공간 $(L_{p_0}(d^{\alpha_0}), L_{p_1}(d^{\alpha_1})){_\theta}$ 는 등거리를 $\Sigma_d$ 와 보간 사상의 조합을 통해 분석하여, $L_p(d^\alpha)$ 로의 유계 확장을 이끌어낸다.
• 근사 기법을 사용하여 $d$ 와 $d^{-1}$ 이 유계인 경우로 문제를 축소시키며, 스펙트럼 프로젝션과 이산 스펙트럼을 가진 수열 $d_n$ 을 고려한다.
• 쌍대성 논증을 적용하여 증명을 완성하며, 점근 수렴성과 도미네이팅 수렴 정리에 의해 쌍대 노름에서 수렴함을 확인함으로써 노름 동치성이 성립함을 보인다.

실험 결과

연구 질문

• RQ1 양의 연산자에 의한 좌측 및 우측 곱셈을 포함하는 두 방향 가중치를 고려할 때, 가중치가 부여된 비환류 $L_p$-공간의 복소 보간이 한쪽 방향에서 양쪽 방향으로 확장될 수 있는가?
• RQ2 보간 항등식 $(L_{p_0}(d^{\alpha_0}), L_{p_1}(d^{\alpha_1})){_\theta} = L_p(d^\alpha)$ 가 동치 노름을 가질 수 있는 조건은 무엇인가? 이때 $\alpha_0, \alpha_1$ 에 대한 조건은 무엇인가?
• RQ3 Schur 곱수 기법을 이용하여, Junge와 Parcet의 정리와의 쌍대성에 의존하지 않고도 양방향 보간 결과를 독립적으로 증명할 수 있는가?
• RQ4 비록 비음수 가중치에서는 성립하지만, $\alpha_0$ 와 $\alpha_1$ 가 반대 부호를 가질 경우 보간 항등식이 실패하는 이유는 무엇인가?

주요 결과

• 조건 $\alpha_0, \alpha_1 \geq 0$ 하에서 복소 보간 공간 $(L_{p_0}(d^{\alpha_0}), L_{p_1}(d^{\alpha_1})){_\theta}$ 는 $L_p(d^\alpha)$ 와 동치 노름을 가지며, 이때 $\frac{1}{p} = \frac{1-\theta}{p_0} + \frac{\theta}{p_1}$ 및 $\alpha = (1-\theta)\alpha_0 + \theta\alpha_1$ 이다.
• 증명는 $L^1$-푸리에 변환과 관련된 특정 슈어 곱수의 유계성에 의존하며, 이는 보간 사상을 제어하는 데 사용된다.
• 저자들은 Junge와 Parcet의 정리와의 쌍대성에 의존하지 않고도 보간 결과에 대한 직접적인 증명을 수립하였지만, 이 결과가 쌍대성에 의해 복구될 수 있음을 언급한다.
• 보간 공간 $(L_{p_0}(d^{\alpha_0}), L_{p_1}(d^{\alpha_1})){_\theta}$ 는 등거리를 $\Sigma_d$ 와 보간 사상의 조합을 통해 $L_p(d^\alpha)$ 에 등거리 임bedding 되며, 이는 유계 확장을 이끌어낸다.
• 반대 부호의 $\alpha_0$ 와 $\alpha_1$ 인 경우 결과가 실패함을 보여주는 반례가 있으며, 이는 특정 슈어 곱수 행렬의 무한성에 기인한다.
• 이산 스펙트럼을 가진 연산자에 의한 근사화를 통해 $d$ 와 $d^{-1}$ 이 유계인 경우로 문제를 축소시킬 수 있으며, 이는 표준 보간 및 노름 수렴을 통한 쌍대성 논증을 가능하게 한다.