[論文レビュー] Analytic Campanato Spaces and Their Compositions

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

Advanced Harmonic Analysis Research参考文献 16被引用数 3

ひとこと要約

本稿は、単位円板上での解析的Campanato空間 $\Delta_{p,\eta}$ をMöbius変換とLittlewood-Paley型積分を用いて特徴づけ、これらの空間とBloch型空間の間で作用する合成作用素 $C_\varphi$ の有界性について鋭い条件を確立する。主な貢献は、$|\varphi'(w)|$ と $|1 - \varphi(w)^2|^{-(p+1-\eta)/p}$ を含むノルム不等式を用いて、$C_\varphi$ が $\mathcal{AL}_{p,\eta}$ から $\mathcal{B}_\alpha$ への有界性を完全に特徴づけることにある。

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}$ 上の解析的Campanato空間 $\mathcal{AL}_{p,\eta}$ をMöbius変換とLittlewood-Paley積分を用いて特徴づける。
• 作用する合成作用素 $C_\varphi$ の有界性について、必要十分条件を確立する。$\mathcal{AL}_{p,\eta}$ および関連するBloch型空間に対して。
• Campanato枠組みの特殊な場合として扱える、解析的Morrey空間、John-Nirenberg空間、Lipschitz空間に関する既知の結果を統一的かつ拡張する。
• Carleson測度の推定を用いて、符号 $\varphi$ の幾何学的性質と作用素ノルム $C_\varphi$ の間の明確な関係を提供する。

提案手法

• Möbius自己写像 $\sigma_w(z) = (w - z)/(1 - \bar{w}z)$ を用いて、単位円板内での平行移動とスケーリングを介してCampanato半ノルムを再表現する。
• 導関数 $|f'(r\zeta)|^2(1 - r)\,dr$ を含むLittlewood-Paley型積分を適用し、境界弧上の $L^p$ ノルムを用いて $\mathcal{AL}_{p,\eta}$ を特徴づける。
• 一般化されたCarleson測度 $\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$ を満たす $\mathcal{B}_\alpha$ 内の2つの関数 $f_1, f_2$ の存在を用いて、ノルム不等式における必要性を検証する。
• 点ごとの推定 $U^{p/2} + V^{p/2} \approx (U + V)^{p/2}$ を適用し、2つの関数からの寄与を統合して、積分的Carleson測度条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 合成作用素 $C_\varphi$ が $\mathcal{AL}_{p,\eta}$ からBloch型空間 $\mathcal{B}_\alpha$ への有界性を満たすのはいつか？
• RQ2 導関数 $f'$ を用いた $\mathcal{AL}_{p,\eta}$ の正確なLittlewood-Paley型積分的特徴づけは何か？
• RQ3 Möbius変換は $\mathcal{AL}_{p,\eta}$ 内のCampanato半ノルムとどのように関係するか？
• RQ4 Carleson測度を用いて、$\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)$ のCarleson測度によって定まる。
• 合成作用素 $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$-導関数エネルギーが一様に有界である2つの $\mathcal{B}_\alpha$ 関数の存在を用いて証明されている。