[논문 리뷰] Analytic Campanato Spaces and Their Compositions

J. Xiao, Cheng Yuan|arXiv (Cornell University)|2013. 03. 20.

Advanced Harmonic Analysis Research참고 문헌 16인용 수 3

한 줄 요약

이 논문은 단위 원판에서의 해석적 Campanato 공간 $\Delta_{p,\eta}$를 모비우스 변환과 리틀우드-팔리 형 적분을 이용하여 기술하며, 이러한 공간과 블로흐 유형 공간 간에 작용하는 합성 연산자 $C_\varphi$의 유계성에 대해 정확한 조건을 설정한다. 주요 기여는 $C_\varphi$가 $\mathcal{AL}_{p,\eta}$에서 $\mathcal{B}_\alpha$로 유계일 때를 결정하는 데 있어, $|\varphi'(w)|$와 $|1 - \varphi(w)^2|^{-(p+1-\eta)/p}$를 포함하는 노름 부등식을 통한 완전한 특성화이다.

ABSTRACT

This paper is devoted to characterizing the analytic Campanato spaces $\mathcal{AL}_{p,η}$ (including the analytic Morrey spaces, the analytic John-Nirenberg space, and the analytic Lipschitz/Hölder spaces) on the complex unit disk $\mathbb D$ in terms of the Möbius mapping and the Littlewood-Paley form, and consequently their compositions with the analytic self-maps of $\mathbb D$.

연구 동기 및 목표

• 단위 원판 $\mathbb{D}$ 위에서의 해석적 카판료 공간 $\mathcal{AL}_{p,\eta}$를 모비우스 변환과 리틀우드-팔리 적분을 이용하여 기술하기.
• 연산자 $C_\varphi$가 $\mathcal{AL}_{p,\eta}$와 관련된 블로흐 유형 공간에 작용할 때의 유계성에 대한 필요 및 충분 조건을 설정하기.
• 카판료 프레임워크의 특수한 경우로 간주할 수 있는 해석적 모레이, 존-니레버그, 리프시츠 공간에 관한 기존 결과들을 통합하고 확장하기.
• 카를레손 측도 추정을 통해 기호 $\varphi$의 기하학적 성질과 연산자 노름 $C_\varphi$ 사이의 정확한 연결 고리를 제공하기.

제안 방법

• 단위 원판 내에서 이동과 스케일링을 통해 카판료 반노름을 재기본화하기 위해 자기 모비우스 사상 $\sigma_w(z) = (w - z)/(1 - \bar{w}z)$를 사용한다.
• 경계 호의 $L^p$-노름으로 표현되는 $\mathcal{AL}_{p,\eta}$를 특성화하기 위해 $|f'(r\zeta)|^2(1 - r)\,dr$를 포함하는 리틀우드-팔리 유형 적분을 적용한다.
• 일반화된 카를레손 측도 $\mathcal{CM}_\eta$를 사용하여 $\mathcal{B}_\alpha$ 내 함수와 $\mathcal{AL}_{p,\eta}$ 사이의 거리를 집합 $\Omega_\varepsilon(f)$ 를 통해 연결한다.
• 명시적인 함수들, 예를 들어 $f_w(z) = (1 - |\varphi(w)|^2)^{(p+\eta-1)/p}/(1 - \overline{\varphi(w)}z)$ 를 사용하여 $C_\varphi: \mathcal{AL}_{p,\eta} \to \mathcal{B}_\alpha$ 에 대한 필요 및 충분 조건을 도출한다.
• $(1 - |z|^2)^{2\alpha}(|f_1'(z)|^2 + |f_2'(z)|^2) \approx 1$ 을 만족하는 두 함수 $f_1, f_2 \in \mathcal{B}_\alpha$ 가 존재함을 이용하여 노름 부등식에서의 필요성 검증을 수행한다.
• 두 함수의 기여를 조합하기 위해 점근적 추정 $U^{p/2} + V^{p/2} \approx (U + V)^{p/2}$ 를 적용하여 적분형 카를레손 측도 조건을 유도한다.

실험 결과

연구 질문

• RQ1 합성 연산자 $C_\varphi$ 가 $\mathcal{AL}_{p,\eta}$ 에서 블로흐 유형 공간 $\mathcal{B}_\alpha$ 로 유계일 조건은 무엇인가?
• RQ2 $f'$ 의 도함수에 대한 정확한 리틀우드-팔리 유형 적분 특성화는 무엇인가?
• RQ3 모비우스 변환은 $\mathcal{AL}_{p,\eta}$ 내 카판료 반노름과 어떻게 관련이 있는가?
• RQ4 카를레손 측도를 통해 $\mathcal{B}_\alpha$ 내 함수에서 $\mathcal{AL}_{p,\eta}$ 까지의 거리는 어떻게 표현되는가?
• RQ5 $C_\varphi$ 가 $\mathcal{B}_\alpha$ 에서 $\mathcal{AL}_{p,\eta}$ 로 유계일 조건은 무엇인가?

주요 결과

• 공간 $\mathcal{AL}_{p,\eta}$ 는 $\|f\|_{\mathcal{AL}_{p,\eta,*}} = \sup_{w \in \mathbb{D}} (1 - |w|^2)^{(1-\eta)/p} \|f \circ \sigma_w - f(w)\|_p < \infty$ 의 유한성에 의해 특성화된다.
• 동치 특성화는 $\|f\|_{\mathcal{AL}_{p,\eta,*}} = \sup_{I \subseteq \mathbb{T}} \left( \frac{1}{|I|^\eta} \int_I \left( \int_{1-|I|}^1 |f'(r\zeta)|^2 (1 - r)\,dr \right)^{p/2} \frac{|d\zeta|}{2\pi} \right)^{1/p} < \infty$ 로 주어진다.
• $0 < \eta < 1 + p < \infty$ 일 때, $\mathcal{AL}_{p,\eta} \subset \mathcal{B}_\alpha$ 이며, $\alpha = (p + 1 - \eta)/p$ 이다. 이 경우 $f \in \mathcal{B}_\alpha$ 에서 $\mathcal{AL}_{p,\eta}$ 까지의 거리는 $\chi_{\Omega_\varepsilon(f)}(1 - |z|^2)^{\eta - 2}\,dA(z)$ 의 카를레손 측도에 의해 결정된다.
• 합성 연산자 $C_\varphi: \mathcal{AL}_{p,\eta} \to \mathcal{B}_\alpha$ 는 다음 조건이 유한할 때이고, 뿐만 아니라 그 때에만 유계이다: $\sup_{w \in \mathbb{D}} \frac{(1 - |w|^2)^\alpha |\varphi'(w)|}{(1 - \varphi(w)^2)^{(p+1-\eta)/p}} < \infty$.
• 연산자 $C_\varphi: \mathcal{B}_\alpha \to \mathcal{AL}_{p,\eta}$ 는 다음 조건이 유한할 때이고, 뿐만 아니라 그 때에만 유계이다: $\sup_{I \subseteq \mathbb{T}} \left( \frac{1}{|I|^\eta} \int_I \left( \int_{1-|I|}^1 |\varphi'(r\zeta)|^2 (1 - r)^{1 - 2\alpha}\,dr \right)^{p/2} \frac{|d\zeta|}{2\pi} \right)^{1/p} < \infty$.
• 필요 조건의 증명은 테스트 함수 $f_w(z) = (1 - |\varphi(w)|^2)^{(p+\eta-1)/p}/(1 - \overline{\varphi(w)}z)$ 와 $\alpha$-도함수 에너지가 균일하게 유계인 두 개의 $\mathcal{B}_\alpha$ 함수의 존재를 이용하여 수행된다.