[論文レビュー] Boundary Values Properties of Functions in Weighted Hardy Spaces

Khim R. Shrestha|arXiv (Cornell University)|Sep 25, 2013

Holomorphic and Operator Theory参考文献 1被引用数 5

ひとこと要約

この論文は、単位円板上の重み付きハーディー空間 $ H^p_u(\mathbb{D}) $ が、負のサブハーモニックな消耗関数 $ u $ を用いて定義されるが、古典的ハーディー空間と類似した境界挙動を示すことを確立している。主な結果は、$ H^p_u(\mathbb{D}) $ が $ A^{1/p} $ による乗算により $ H^p(\mathbb{D}) $ に等長同型であるということである。ここで $ A $ は $ |A^*| = \alpha $ を満たす正則関数であり、$ \alpha $ は境界測度 $ \mu_u $ とルベーグ測度との間のラドン＝ニコディム導関数である。

ABSTRACT

In this paper we study the boundary values of harmonic and holo- morphic functions in the weighted Hardy spaces on the unit disk $\mathbb{D}$. These spaces were introduced by Poletsky and Stessin in [6] for plurisubharmonic functions on hyperconvex domains $D \subset \mathbb{C}^n$ as generalizations of classical Hardy spaces. We show that in the case when $D$ is the unit disk $\mathbb{D}$ the theory of boundary values for functions in these spaces is analogous to the classical one.

研究の動機と目的

• 単位円板上の重み付きハーディー空間 $ H^p_u(\mathbb{D}) $ における正則関数および調和関数の境界値挙動を調査すること。
• 重み付き空間 $ H^p_u(\mathbb{D}) $ における境界値理論が、古典的空間 $ H^p(\mathbb{D}) $ の理論と類似しているかどうかを特定すること。
• 単位円周上での極限測度 $ \mu_u $ を特徴付け、それが古典的ルベーグ測度とどのように関係するかを明らかにすること。
• 重み付き空間 $ H^p_u(\mathbb{D}) $ が古典的ハーディー空間 $ H^p(\mathbb{D}) $ に等長同型であることを証明すること。これは古典的結果を重み付き設定に拡張するものである。

提案手法

• 論文は、切り詰められたサブハーモニック関数 $ u_r = \max\{u, r\} $ のラプラシアンを用いて定義される測度 $ \mu_{u,r} $ を用い、$ H^p_u(\mathbb{D}) $ のノルムを定義している。
• Lelong–Jensenの公式を適用することで、$ r \to 0^- $ のとき $ \mu_{u,r} $ が単位円周 $ \mathbb{T} $ 上に台を持つ正の測度 $ \mu_u $ に弱-*収束することを示している。
• $ p > 1 $ の場合、調和関数 $ h \in h^p_u(\mathbb{D}) $ のノルムが、その境界関数 $ h^* $ の $ L^p(\mu_u) $-ノルムに等しいことが示されている。
• 論文は、$ \mu_u $ がルベーグ測度 $ \lambda $ に対して絶対連続であり、ラドン＝ニコディム導関数 $ \alpha \in L^1(\lambda) $ を持つことを証明し、$ \alpha $ の公式も提示している。
• 重要な構成として、$ A(z) = \exp\left( \int_{\mathbb{T}} \frac{e^{i\theta} + z}{e^{i\theta} - z} \log \alpha(e^{i\theta}) \, d\lambda(\theta) \right) $ を定義しており、その境界値は $ |A^*| = \alpha $ を満たす。
• ノルムの保存が恒等式 $ \|f\|_{H^p_u} = \|A^{1/p}f\|_{H^p} $ を用いて確認される、等長同型写像 $ \Phi: H^p_u(\mathbb{D}) \to H^p(\mathbb{D}) $ が $ \Phi(f) = A^{1/p} f $ で定義されている。

実験結果

リサーチクエスチョン

• RQ1 単位円板上の重み付きハーディー空間 $ H^p_u(\mathbb{D}) $ における境界値理論は、古典的空間 $ H^p(\mathbb{D}) $ の理論と類似しているか？
• RQ2 極限測度 $ \mu_u $ は単位円周上でどのような性質を持ち、ルベーグ測度とどのように関係するか？
• RQ3 $ H^p_u(\mathbb{D}) $ は古典的ハーディー空間 $ H^p(\mathbb{D}) $ に等長埋め込み可能か？
• RQ4 $ H^p_u(\mathbb{D}) = H^p(\mathbb{D}) $ となる条件は何か？ また、包含関係が真に小さい場合の条件は？

主な発見

• 関数 $ f \in H^p_u(\mathbb{D}) $ のノルムは、その境界関数 $ f^* $ の $ L^p(\mu_u) $-ノルムに等しく、すなわち $ \|f\|_{H^p_u} = \|f^*\|_{L^p(\mu_u)} $ が成り立つ。
• 境界測度 $ \mu_u $ はルベーグ測度 $ \lambda $ に対して絶対連続であり、$ d\mu_u = \alpha \, d\lambda $ と表され、ここで $ \alpha \in L^1(\lambda) $ かつ $ \alpha \geq c > 0 $ である。
• 閉単位球 $ B_{u,p}(1) $ は $ H^p(\mathbb{D}) $ においても閉であるため、$ H^p_u(\mathbb{D}) $ は $ H^p(\mathbb{D}) $ の閉部分空間である。
• 写像 $ \Phi(f) = A^{1/p} f $ を用いて、$ H^p_u(\mathbb{D}) $ は $ H^p(\mathbb{D}) $ に等長同型である。ここで $ A $ は $ |A^*| = \alpha $ を満たす正則関数である。
• すべての $ u \in \tilde{\mathcal{E}}_1 $ に対して、$ H^p_u(\mathbb{D}) $ の閉単位球の共通部分は、$ H^\infty(\mathbb{D}) $ の閉単位球に一致する。
• $ f \in H^\infty(\mathbb{D}) \setminus B_\infty(1) $ に対して、ある $ u \in \tilde{\mathcal{E}}_1 $ が存在して $ f \notin B_{u,p}(1) $ となることが示され、共通部分がノルムが1以下の有界関数を特徴づけることを示している。