[논문 리뷰] Interpolation between H^p spaces and non-commutative generalizations, I

Gilles Pisier|ArXiv.org|1991. 06. 04.

Advanced Harmonic Analysis Research참고 문헌 9인용 수 25

한 줄 요약

이 논문은 해밀턴 변환의 유계성과 고전적 인수분해를 유일한 도구로 사용하여 단위 원판 위의 하르디 공간 $H^p$가 $H^1$과 $H^\infty$ 사이의 실보간공간임을 간단한 증명을 제시한다. 이 방법은 비가환 설정으로 확장되며, $H^p(C_p)$와 $T_p$가 각각 $H^1(C_1)$, $H^\infty(C_\infty)$와 $T_1$, $T_\infty$ 사이의 보간공간임을 보이며, 이는 $L_p$ 공간에서와 동일한 K-functional을 통해 노름이 동치임을 보여준다.

ABSTRACT

We give an elementary proof that the $H^p$ spaces over the unit disc (or the upper half plane) are the interpolation spaces for the real method of interpolation between $H^1$ and $H^\infty$. This was originally proved by Peter Jones. The proof uses only the boundedness of the Hilbert transform and the classical factorisation of a function in $H^p$ as a product of two functions in $H^q$ and $H^r$ with $1/q+1/r=1/p$. This proof extends without any real extra difficulty to the non-commutative setting and to several Banach space valued extensions of $H^p$ spaces. In particular, this proof easily extends to the couple $H^{p_0}(\ell_{q_0}),H^{p_1}(\ell_{q_1})$, with $1\leq p_0, p_1, q_0, q_1 \leq \infty$. In that situation, we prove that the real interpolation spaces and the K-functional are induced ( up to equivalence of norms ) by the same objects for the couple $L_{p_0}(\ell_{q_0}), L_{p_1}(\ell_{q_1})$. In another direction, let us denote by $C_p$ the space of all compact operators $x$ on Hilbert space such that $tr(|x|^p)

연구 동기 및 목표

• 피터 존슨의 정리에 대해 $H^p$가 $H^1$과 $H^\infty$ 사이의 실보간공간임을 복잡한 해석학적 도구 없이 간단한 증명을 제공하는 것.
• 보간 결과를 연산자 공간 $C_p$와 삼각행렬 $T_p$를 포함한 비가환 설정으로 확장하는 것.
• 실보간공간 $(H^p(C_p), T_p)$가 $L_p$ 공간에서와 동일한 K-functional로 특징지어짐을 보이는 것.
• 바나흐 공간을 값으로 갖는 $H^p$ 공간으로의 일반화를 통해 보간을 통한 노름 동치성을 확립하는 것.

제안 방법

• '제곱/쌍대/제곱' 추론: $(H^{2p}, H^{2q})$의 K-닫힘성에서 $(H^p, H^q)$의 K-닫힘성을 점근적 곱의 유계성에 의해 $(H^p, H^q)_{1/2,\infty}$로 이어지는 방식.
• 대칭성 적용: $(H^p, H^q)$가 K-닫혀짐과 동치인 조건은 $1/p + 1/p' = 1$일 때 $(H^{p'}, H^{q'})$가 K-닫혀짐임을 보여주는 것.
• 마르셀 리에스의 정리 활용: $1 < p < \infty$에서 해밀턴 변환이 $L_p$에서 일관되게 유계임을 이용하여 $(H^4, H^2)$의 K-닫힘성을 확립하고, 이후 제곱/쌍대/제곱 사슬을 통해 내림차순으로 적용하는 것.
• 고전적 인수분해 활용: 임의의 $f \in H^p$는 $g \in H^{2p}$, $h \in H^{2q}$로 분해되며, $1/p = 1/(2p) + 1/(2q)$를 만족함으로써 보간과 곱의 구조를 연결하는 것.
• 비가환 설정으로의 확장: 등장사상 $K_q: C_q(H) \to C_{q,\infty}(H \otimes \ell_2)$와 몫공간 $T_1/S_1$, $T_\infty/S_\infty$에서의 대칭성 원리에 기반한 증명 확장.
• 바나흐 공간을 값으로 갖는 $H^p(B)$에 동일한 프레임워크를 적용하여, 곱의 연산자 보간을 통해 $H^p(B) = (H^1(B), H^\infty(B))_\theta$임을 보이는 것.

실험 결과

연구 질문

• RQ1 복소해석학이나 고급 도구 없이도 $H^p$가 $H^1$과 $H^\infty$ 사이의 실보간공간임을 증명할 수 있는가? 이는 기본적인 조화해석학만으로 가능할까?
• RQ2 $H^p$ 공간의 실보간 구조는 $C_p$와 $T_p$와 같은 비가환 연산자 공간으로까지 확장 가능한가?
• RQ3 $H^p(C_p)$의 K-functional이 $L_p(C_p)$의 것과 동치이며, 기저가 되는 $L_p$ 쌍의 K-functional과 일치하는가?
• RQ4 바나흐 공간 $B$를 값으로 갖는 $H^p(B)$에 대해 인수분해와 유계 곱 연산자로 보간 결과를 확립할 수 있는가?
• RQ5 카프탈-라르슨- Weiss의 제안에 따라, $C_1$과 $C_\infty$에서 상삼각행렬 부분공간으로의 거리는 동시에 동일한 연산자로 실현될 수 있는가?

주요 결과

• $H^p$ 공간이 $0 < p < \infty$일 때, 노름의 동치성까지는 $(H^1, H^\infty)_\theta$의 실보간공간이며, $\theta = 1/p$이다.
• 이 증명은 $1 < p < \infty$에서 $L_p$에서 해밀턴 변환이 유계임과 $H^p$ 함수의 고전적 인수분해를 $H^{2p}$와 $H^{2q}$ 함수의 곱으로 표현하는 데에만 의존한다.
• $(H^1(C_1), H^\infty(C_\infty))_\theta$의 실보간공간은 $H^p(C_p)$와 등장사상이며, 이는 $L_p(C_p)$의 노름과 동치이다.
• $T_p$는 상삼각행렬의 공간으로, $(T_1, T_\infty)_\theta$의 실보간공간이며, $L_p$ 공간과 동일한 노름 동치성을 가진다.
• 임의의 분리가능한 힐베르트 공간 $H$에 대해 $H^p(C_p(H)) = (H^1(C_1(H)), H^\infty(B(H)))_\theta$이며, $\theta = 1 - 1/p$이다. 이는 $\widetilde{H}^p$-공간에도 동일하게 적용된다.
• $C_1$과 $C_\infty$에서 상삼각행렬 부분공간으로의 거리는 동시에 동일한 연산자로 실현될 수 있으며, 이는 카프탈-라르슨- Weiss의 결과를 전체 스케일 $p \in [1, \infty]$로 확장하는 것이다.