[论文解读] Boundary Values Properties of Functions in Weighted Hardy Spaces

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

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

一句话总结

本文证明了在单位圆盘上，通过负次调和 exhausting 函数 $ u $ 定义的加权 Hardy 空间 $ H^p_u(\mathbb{D}) $ 具有类似于经典 Hardy 空间的边界行为。关键结果是：通过乘以 $ A^{1/p} $，$ H^p_u(\mathbb{D}) $ 与 $ H^p(\mathbb{D}) $ 等距同构，其中 $ A $ 是一个满足 $ |A^*| = \alpha $ 的全纯函数，而 $ \alpha $ 是边界测度 $ \mu_u $ 关于 Lebesgue 测度的 Radon-Nikodym 导数。

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.

研究动机与目标

• 研究单位圆盘上加权 Hardy 空间 $ H^p_u(\mathbb{D}) $ 中全纯函数与调和函数的边界值行为。
• 确定 $ H^p_u(\mathbb{D}) $ 中的边界值理论是否与经典 $ H^p(\mathbb{D}) $ 的理论一致。
• 刻画单位圆周上的极限测度 $ \mu_u $，并将其与经典 Lebesgue 测度关联。
• 证明 $ 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 $ 关于 Lebesgue 测度 $ \lambda $ 绝对连续，Radon-Nikodym 导数 $ \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 $。
• 定义等距同构映射 $ \Phi: H^p_u(\mathbb{D}) \to H^p(\mathbb{D}) $ 为 $ \Phi(f) = A^{1/p} f $，并通过恒等式 $ \|f\|_{H^p_u} = \|A^{1/p}f\|_{H^p} $ 验证其范数保持性。

实验结果

研究问题

• RQ1 单位圆盘上加权 Hardy 空间 $ H^p_u(\mathbb{D}) $ 的边界值理论是否与经典 $ H^p(\mathbb{D}) $ 的理论相似？
• RQ2 单位圆周上的极限测度 $ \mu_u $ 的性质是什么？它与 Lebesgue 测度有何关系？
• RQ3 空间 $ H^p_u(\mathbb{D}) $ 是否能等距嵌入经典 Hardy 空间 $ 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 $ 关于 Lebesgue 测度 $ \lambda $ 绝对连续，且满足 $ d\mu_u = \alpha \, d\lambda $，其中 $ \alpha \in L^1(\lambda) $ 且 $ \alpha \geq c > 0 $。
• 在 $ H^p_u(\mathbb{D}) $ 中，闭球是 $ 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 的有界函数。