[논문 리뷰] Dilation of Ritt operators on L^{p}-spaces

Cédric Arhancet, Christian Le Merdy|arXiv (Cornell University)|2011. 06. 08.

Advanced Harmonic Analysis Research참고 문헌 50인용 수 7

한 줄 요약

이 논문은 유클리드 공간에서의 $L^p$-공간 위의 Ritt 연산자에 대해 균일한 제곱 함수 추정을 만족하는 조건을 확대 이론을 통해 특성화한다. 이는 이러한 연산자가 정확히 $R$-Ritt 이면서 보조 $L^p$-공간 위의 유계 이중 연산자로 확대될 수 있음을 증명하며, 고전적 전달 원리의 일반화이자 비가환 $L^p$-공간으로의 확장으로, 유사한 함수해석학적 계산 성질을 가짐을 보여준다.

ABSTRACT

For any Ritt operator T:L^{p}(\\Omega) --> L^{p}(\\Omega), for any positive real number \\alpha, and for any x in L^{p}, we consider the square functions |x |_{T,\\alpha} = \\Bigl| \\Bigl(\\sum_{k=1}^{\\infty} k^{2\\alpha -1}\\bigl |T^{k-1}(I-T)^\\alpha x \\bigr|^2 \\Bigr)^{1/2}_{L^{p}}. We show that if T is actually an R-Ritt operator, then these square functions are pairwise equivalent. Then we show that T and its adjoint T* acting on L^{p'} both satisfy uniform estimates |x|_{T,1} \\lesssim |x|_{L^{p}} and |y|_{T*,1} \\lesssim |y|_{L^{p'}} for x in L^{p} and y in L^{p'} if and only if T is R-Ritt and admits a dilation in the following sense: there exist a measure space \\widetilde{\\Omega}, an isomorphism U of L^{p}(\\widetilde{\\Omega}) such that the sequence of all U^{n} for n varying in Z is bounded, as well as two bounded maps J : L^{p}(\\Omega) --> L^{p}(\\widetilde{\\Omega}) and Q : L^{p}(\\widetilde{\\Omega}) --> L^p(\\Omega) such that T^{n}=QU^{n}J for any nonnegative integer n. We also investigate functional calculus properties of Ritt operators and analogs of the above results on noncommutative L^{p}-spaces.

연구 동기 및 목표

• 균일한 제곱 함수 추정 $\|x\|_{T,1} \lesssim \|x\|_{L^p}$ 와 $\|y\|_{T^*,1} \lesssim \|y\|_{L^{p'}}$ 를 만족하는 $L^p(\Omega)$ 위의 Ritt 연산자 $T$를 확대 이론을 통해 특성화하기.
• $R$-Ritt 연산자에 대해 모든 $\alpha > 0$ 에 대해 제곱 함수 $\|\cdot\|_{T,\alpha}$ 가 서로 동치임을 보이며, 특정한 $\alpha$ 에 의존하지 않는 성질을 입증하기.
• 비가환 $L^p$-공간, 특히 $1 < p < \infty$ 에 대해 확대 특성화를 확장하고, Stolz 도메인에서의 유계 $H^\infty$-계산과의 관계를 규명하기.
• 특히 $p$-완전 유계 사상과 그 쌍대성에 대한 행동을 포함해 Ritt 연산자의 함수해석학적 계산 성질을 조사하기.

제안 방법

• $R$-Ritt 연산자 $T$에 대해 제곱 함수 $\|x\|_{T,\alpha} = \left\| \left( \sum_{k=1}^\infty k^{2\alpha-1} |T^{k-1}(I-T)^\alpha x|^2 \right)^{1/2} \right\|_{L^p}$ 를 정의하기.
• 마팅갈 이론과 제곱 함수 이론의 기법을 사용하여 $R$-Ritt 연산자에 대해 모든 $\alpha > 0$ 에 대해 제곱 함수 $\|\cdot\|_{T,\alpha}$ 가 상호 동치임을 증명하기.
• 확대 결과를 수립: $T$가 균일 추정 $\|x\|_{T,1} \lesssim \|x\|_{L^p}$ 과 $\|y\|_{T^*,1} \lesssim \|y\|_{L^{p'}}$ 을 만족함과 동시에 $T$가 $R$-Ritt 이고, $U$ 가 $L^p(\widetilde{\Omega})$ 에서 유계이며 $\{U^n\}_{n \in \mathbb{Z}}$ 가 유계인 확대 $T^n = Q U^n J$ 를 갖는 것과 동치임을 증명하기.
• 전달 원리와 벡터값 $L^p$-이론을 활용하여 제곱 함수 추정이 1에서 Stolz 도메인에서의 유계 $H^\infty$-계산 존재성과 관련됨을 규명하기.
• 쌍대성과 등장관계 $\text{Rad}(L^p(M))^* \approx \text{Rad}(L^{p'}(M))$ 를 이용해 결과를 비가환 $L^p$-공간으로 확장하기.
• $p$-완전 유계 사상 이론과 $K$-볼록성 이론을 적용하여 제곱 함수와 확대 구조의 비가환 해석을 다루기.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $L^p(\Omega)$ 위의 Ritt 연산자 $T$ 가 모든 $x \in L^p(\Omega)$ 에 대해 균일한 제곱 함수 추정 $\|x\|_{T,1} \lesssim \|x\|_{L^p}$ 을 만족하는가?
• RQ2 제곱 함수 추정과 $T$ 의 수반 연산자 $T^*$ 사이의 정확한 관계는 무엇이며, 이는 확대의 존재성과 어떻게 연결되는가?
• RQ3 $T$ 가 $R$-Ritt 이면, 다양한 $\alpha > 0$ 에 대해 제곱 함수 $\|\cdot\|_{T,\alpha}$ 는 어떻게 행동하는가?
• RQ4 확대 특성화는 비가환 $L^p$-공간으로까지 확장될 수 있는가? 이 경우 $K$-볼록성은 어떤 역할을 하는가?
• RQ5 균일한 제곱 함수 추정과 $I-T$ 가 Stolz 도메인에서 유계 $H^\infty$-계산을 갖는 것 사이의 연결 고리는 무엇인가?

주요 결과

• 모든 $R$-Ritt 연산자 $T$ 에 대해, 모든 $\alpha > 0$ 에 대해 제곱 함수 $\|\cdot\|_{T,\alpha}$ 가 상호 동치임이 입증되었으며, 이는 척도 불변 성질을 갖는 강력한 성질이다.
• 균일 추정 $\|x\|_{T,1} \lesssim \|x\|_{L^p}$ 과 $\|y\|_{T^*,1} \lesssim \|y\|_{L^{p'}}$ 이 성립하는 것은 $T$ 가 $R$-Ritt 이며, $U$ 가 $L^p(\widetilde{\Omega})$ 에서 유계이면서 $\{U^n\}_{n \in \mathbb{Z}}$ 가 유계인 확대 $T^n = Q U^n J$ 를 갖는 것과 동치이다.
• $R$-Ritt 조건은 제곱 함수 $\|\cdot\|_{T,\alpha}$ 간의 동치성에 필수적이고 충분하며, 이 동치성은 확대 특성화의 핵심 단계이다.
• 결과는 비가환 $L^p$-공간으로까지 확장된다: $T$ 가 비가환 이완 확대를 갖는 것은 $T$ 와 $T^*$ 에 대해 균일 추정을 만족함과 동치이며, 이는 $I-T$ 가 1에서 Stolz 도메인에서 유계 $H^\infty$-계산을 갖는 것과 동치이다.
• 특히 $p \geq 2$ 일 경우, 균일 추정은 제곱 함수와 그 수반 형태가 모두 $C\|x\|_{L^p}$ 에 의해 일관되게 유계임을 보장하는 상수 $C$ 가 존재하는 것과 동치이다.
• 쌍대성 구조 $\text{Rad}(L^p(M))^* \approx \text{Rad}(L^{p'}(M))$ 는 확대 이론을 비가환 $L^p$-공간으로 확장하는 데 기여하며, 핵심 추정을 유지한다.