[论文解读] On the boundary behaviour of the Hardy spaces of Dirichlet series and a frame bound estimate

Jan‐Fredrik Olsen, Eero Saksman|ArXiv.org|Jul 15, 2009

Advanced Harmonic Analysis Research被引用 5

一句话总结

本文研究了 Dirichlet-Hardy 空间 $\mathscr{H}^p$ 在 $p \geq 1$ 情况下的边界行为，证明了 $\mathscr{H}^2$ 中的函数可通过经典 Hardy 空间 $H^2(\mathbb{C}_{1/2})$ 中的函数逼近，且其差函数可在任意边界区间上解析延拓。关键结果表明，对于任意 $H^2(\mathbb{C}_{1/2})$ 中的函数，存在 $\mathscr{H}^2$ 中的函数，使得二者之差可沿给定边界区间解析延拓，从而揭示了两空间在 $\sigma = 1/2$ 附近的深层结构相似性。该结论通过框架理论、Carleson 测度以及无穷维环面上的函数空间嵌入得以实现。

ABSTRACT

A range of Hardy-like spaces of ordinary Dirichlet series, called the Dirichlet-Hardy spaces $\Hp^p$, $p \geq 1$, have been the focus of increasing interest among researchers following a paper of Hedenmalm, Lindqvist and Seip in Duke Math. J 86 (1997), 1-37. The Dirichlet series in these spaces converge on a certain half-plane, where one may also define the classical Hardy spaces $H^p$. In this paper, we compare the boundary behaviour of elements in $\Hp^p$ and $H^p$. Moreover, Carleson measures of the spaces $\Hp^p$ are studied. Our main result shows that for certain cases the following statement holds true. Given an interval on the boundary of the half-plane of definition and a function in the classical Hardy space, it possible to find a function in the corresponding Dirichlet-Hardy space such that their difference has an analytic continuation across this interval.

研究动机与目标

• 比较 Dirichlet-Hardy 空间 $\mathscr{H}^p$ 与经典 Hardy 空间 $H^p(\mathbb{C}_{1/2})$ 在半平面 $\sigma > 1/2$ 上的边界行为。
• 研究 $\mathscr{H}^p$ 空间的 Carleson 测度及其在理解边界行为中的作用。
• 建立 $H^2(\mathbb{C}_{1/2})$ 中函数可被 $\mathscr{H}^2$ 中函数逼近的条件，使得二者之差可在边界区间上解析延拓。
• 通过嵌入论证与 $F/s \in H^2$ 技巧，证明 $\mathscr{H}^2$ 中函数的非切向边界极限为局部 $L^2$-可积。

提出的方法

• 利用无穷维环面模型，将 $\mathscr{H}^p$ 定义为在 $\mathbb{R}$ 上按 $L^p$-范数闭包的有限 Dirichlet 多项式。
• 应用框架理论与算子理论分析函数空间及其边界行为。
• 采用 Carleson 测度控制函数在边界 $\sigma = 1/2$ 附近的增长。
• 利用嵌入关系 $F \in \mathscr{H}^2 \Rightarrow F/s \in H^2(\mathbb{C}_{1/2})$ 推导局部 $L^2$ 边界可积性。
• 通过共形映射与分布的边界值理论，构造解析延拓。
• 利用加权 Sobolev 空间 $W^\alpha_0(I)$ 及其对偶空间控制边界极限处的正则性与范数等价性。

实验结果

研究问题

• RQ1 能否在 $\mathscr{H}^2$ 中找到 $H^2(\mathbb{C}_{1/2})$ 中函数的逼近函数，使得其差函数可在边界区间上解析延拓？
• RQ2 在 $\sigma = 1/2$ 附近，$\mathscr{H}^p$ 与 $H^p(\mathbb{C}_{1/2})$ 函数的边界行为之间存在何种精确关系？
• RQ3 $\mathscr{H}^p$ 空间的 Carleson 测度如何关联其函数的非切向边界极限？
• RQ4 $\mathscr{H}^2$ 函数在边界上与 $H^2(\mathbb{C}_{1/2})$ 函数在局部正则性方面有多大的相似性？
• RQ5 在 $W^{\alpha/2}(2I)$ 中的边界分布的实部能否表示为 $\mathscr{H}^2_\alpha$ 中函数的边界值？

主要发现

• 对任意有界区间 $I \subset \mathbb{R}$ 及任意函数 $f \in H^2(\mathbb{C}_{1/2})$，存在函数 $F \in \mathscr{H}^2$，使得 $F - f$ 可沿 $I$ 解析延拓。
• 差函数 $F - f$ 在 $\mathbb{C}_I$（即从复平面中移除 $\sigma = 1/2$ 上两条射线后的区域）上解析，表明其在边界之外具有局部解析性。
• $\mathscr{H}^2$ 中函数具有非切向边界极限，且该极限为局部 $L^2$-可积，此结论源于 $F/s \in H^2(\mathbb{C}_{1/2})$。
• $f \in D_\alpha(\mathbb{C}_{1/2})$ 的边界分布的实部可表示为 $\mathscr{H}^2_\alpha$ 中函数 $F$ 的边界值，从而确保 $F - f$ 的解析延拓。
• $\mathscr{H}^2$ 中边界值属于 $W^{\alpha/2}(2I)$ 的函数空间，在解析延拓意义下在对应 $H^2(\mathbb{C}_{1/2})$ 函数空间中稠密。
• 存在一个范数常数，使得陪集 $f + \mathscr{H}^2$ 中最小元素的范数受控，从而保证逼近的稳定性。