[论文解读] Fock-Sobolev spaces and their Carleson measures

Hongrae Cho, Kehe Zhu|arXiv (Cornell University)|Dec 4, 2012

Holomorphic and Operator Theory参考文献 8被引用 9

一句话总结

本文引入了Fock-Sobolev空间 $F^{p,m}$，定义为满足其 $m$-阶导数属于Fock空间 $F^p$ 的整函数的集合，并证明了 $f \in F^{p,m}$ 当且仅当 $z^m f(z) \in F^p$。主要贡献在于对 $F^{p,m}$ 的Carleson测度的完整刻画，以及加权Fock投影的有界性、对偶性与复插值结果，所有这些结果均通过以 $|z|^{2m}e^{-|z|^2}$ 为权的积分配对，统一于 $F^{p,m}$ 与 $F^{q,m}$ 之间的核心对偶关系之中。

ABSTRACT

We consider the Fock-Sobolev space $F^{p,m}$ consisting of entire functions $f$ such that $f^{(m)}$, the $m$-th order derivative of $f$, is in the Fock space $F^p$. We show that an entire function $f$ is in $F^{p,m}$ if and only if the function $z^mf(z)$ is in $F^p$. We also characterize the Carleson measures for the spaces $F^{p,m}$, establish the boundedness of the weighted Fock projection on appropriate $L^p$ spaces, identify the Banach dual of $F^{p,m}$, and compute the complex interpolation space between two $F^{p,m}$ spaces.

研究动机与目标

• 定义并研究Fock-Sobolev空间 $F^{p,m}$，即其 $m$-阶导数属于Fock空间 $F^p$ 的整函数的集合。
• 通过欧氏圆盘测度的增长条件，刻画 $F^{p,m}$ 的Carleson测度。
• 证明加权Fock投影 $Q_m$ 在 $L^p_m$ 空间上关于 $1 \leq p \leq \infty$ 的有界性。
• 通过特定的积分配对，将 $F^{p,m}$ 的Banach对偶空间识别为：当 $1 \leq p < \infty$ 时为 $F^{q,m}$，当 $0 < p < 1$ 时为 $F^{\infty,m}$。
• 计算两个 $F^{p,m}$ 空间之间的复插值空间，证明 $[F^{p_0,m}, F^{p_1,m}]_\theta = F^{p,m}$，其中 $1/p = (1-\theta)/p_0 + \theta/p_1$。

提出的方法

• 将 $F^{p,m}$ 定义为满足 $f^{(m)} \in F^p$ 的整函数 $f$ 的空间，并利用整函数与微分算子的性质，证明 $f \in F^{p,m}$ 当且仅当 $z^m f(z) \in F^p$。
• 通过证明正Borel测度 $\mu$ 是Carleson测度当且仅当对所有 $z \in \mathbb{C}$ 和固定的 $r > 0$，有 $\mu(B(z,r)) \leq C(1+|z|)^{mp}$，从而以函数空间范数关联测度增长的方式，刻画 $F^{p,m}$ 的Carleson测度。
• 利用插值与对偶性技术，证明加权Fock投影 $Q_m$ 从 $L^p_m$ 有界映射到 $F^{p,m}$，其中 $1 \leq p \leq \infty$。
• 通过积分配对 $\langle f,g \rangle = \int_{\mathbb{C}} f(z) \overline{g(z)} e^{-|z|^2} |z|^{2m} dA(z)$，利用Hahn-Banach定理与 $L^p_m$ 空间中的对偶性，将 $F^{p,m}$ 的对偶空间识别为：当 $1 \leq p < \infty$ 时为 $F^{q,m}$，当 $0 < p < 1$ 时为 $F^{\infty,m}$。
• 应用复插值理论，利用 $[L^{p_0}_m, L^{p_1}_m]_\theta = L^p_m$ 与 $Q_m$ 的有界性，证明复插值空间 $[F^{p_0,m}, F^{p_1,m}]_\theta$ 等于 $F^{p,m}$，其中 $1/p = (1-\theta)/p_0 + \theta/p_1$。

实验结果

研究问题

• RQ1 Fock-Sobolev空间 $F^{p,m}$ 的Carleson测度的精确刻画是什么？
• RQ2 条件 $f \in F^{p,m}$ 与 $z^m f(z)$ 属于 $F^p$ 的可积性之间有何关系？
• RQ3 当 $1 \leq p < \infty$ 与 $0 < p < 1$ 时，$F^{p,m}$ 的对偶空间是什么？它如何通过积分配对被识别？
• RQ4 加权Fock投影 $Q_m$ 在所有 $1 \leq p \leq \infty$ 下是否在 $L^p_m$ 上有界？这与 $F^{p,m}$ 的结构有何关联？
• RQ5 两个Fock-Sobolev空间 $F^{p_0,m}$ 与 $F^{p_1,m}$ 之间的复插值空间是什么？它与 $F^{p,m}$ 有何关系？

主要发现

• 整函数 $f$ 属于 $F^{p,m}$ 当且仅当 $z^m f(z) \in F^p$，这一基本等价关系将Sobolev型范数与加权 $F^p$ 范数联系起来。
• 正Borel测度 $\mu$ 是 $F^{p,m}$ 的Carleson测度当且仅当对所有 $z \in \mathbb{C}$ 和固定的 $r > 0$，有 $\mu(B(z,r)) \leq C(1+|z|)^{mp}$，给出了测度衰减的精确增长条件。
• $Q_m$ 加权Fock投影从 $L^p_m$ 有界映射到 $F^{p,m}$，对所有 $1 \leq p \leq \infty$ 成立，确保了 $F^{p,m}$ 是 $L^p_m$ 的补子空间。
• $F^{p,m}$ 的Banach对偶空间在 $1 \leq p < \infty$ 时通过配对 $\langle f,g \rangle = \int_{\mathbb{C}} f(z) \overline{g(z)} e^{-|z|^2} |z|^{2m} dA(z)$ 等距同构于 $F^{q,m}$，在 $0 < p < 1$ 时同构于 $F^{\infty,m}$，从而在所有情况下建立了对偶性。
• 两个Fock-Sobolev空间 $F^{p_0,m}$ 与 $F^{p_1,m}$ 的复插值空间为 $F^{p,m}$，其中 $1/p = (1-\theta)/p_0 + \theta/p_1$，表明族 $\{F^{p,m}\}$ 在复插值下表现良好。