[论文解读] On an extremal problem in analytic function spaces in tube domains over symmetric cones

Romi F. Shamoyan|arXiv (Cornell University)|May 15, 2012

Holomorphic and Operator Theory参考文献 2被引用 3

一句话总结

本文在对称锥上管域的 Bergman 型全纯函数空间中建立了新的精确距离估计，利用 Bergman 重现公式和广义幂函数。主要贡献在于证明了加权 Hardy 空间与 Bergman 空间中距离范数的等价性，将先前的一维结果推广至高秩对称锥情形，并给出了精确的算子理论界。

ABSTRACT

New sharp estimates concerning distance function in Bergman - type analytic function spaces on tube domains over symmetric cones are obtained. These are first results of this type in tube domains over symmetric cones.

研究动机与目标

• 将一维管域中的精确距离估计推广至高秩对称锥情形。
• 在对称锥上管域的全纯函数空间中建立新的范数等价性结果。
• 将先前关于 Bergman 空间与 Hardy 空间中距离问题的研究推广至混合范数与加权情形。
• 通过涉及 Bergman 核与行列式函数的积分范数，证明 $A^\nu_{p,q}$ 和 $H^p_\alpha$ 空间中函数到子空间距离的精确估计。

提出的方法

• 以对称锥上管域中的 Bergman 重现公式作为基础分析工具。
• 利用广义幂函数 $\Delta^\nu(y)$ 和行列式函数 $\Delta(y)$ 定义 Bergman 空间与 Hardy 空间中的加权范数。
• 应用涉及 Bergman 核 $B_\nu(z,w)$ 的积分表示，将函数范数与 $T_\Omega$ 上的积分估计联系起来。
• 使用多指标记号 $t^\star$、$t < k$ 及参数条件如 $\nu > \frac{n}{r} - 1$ 控制可积性与嵌入关系。
• 通过比较距离泛函 $l_1(f)$ 与 $l_2(f)$ 的积分收敛性准则，建立范数等价性。
• 依赖于 $A^{p,q}_\nu$、$B^{p,q}_\nu$、$H^p_\alpha$ 与 $A^\infty_\tau$ 空间之间已知的嵌入关系，推导出精确估计。

实验结果

研究问题

• RQ1 在对称锥上管域的 Bergman 型空间中，全纯函数与其投影之间的精确距离估计是什么？
• RQ2 在混合范数 Bergman 空间 $A^{p,q}_\nu$ 中，距离泛函 $l_1(f)$ 与 $l_2(f)$ 的范数关系如何？
• RQ3 能否通过水平集 $L_{\epsilon,t}(f)$ 上的积分条件刻画 $H^1_\nu$ 中函数到 $A^1_\nu$ 的距离？
• RQ4 参数 $\nu$、$p$、$q$、$\beta$ 与 $\alpha$ 需满足何种条件，才能保证在此设定下 Bergman 表示与嵌入定理的有效性？
• RQ5 本研究结果如何将先前在上半平面中的一维距离估计推广至高秩对称锥域？

主要发现

• 当 $\nu > \frac{n}{r} - 1$ 时，距离 $l_1(f) = \text{dist}_{A^\infty_{\frac{n}{rp} + \frac{\nu}{p}}}(f, A^p_\nu)$ 有上界 $C l_2(f)$，其中 $l_2(f)$ 由涉及 Bergman 核与广义幂函数的积分定义。
• $H^1_\nu$ 中到 $A^1_\nu$ 的距离 $l_1(f)$ 与 $l_2(f)$ 等价，其中 $l_2(f)$ 定义为满足 $\int_\Omega \tau_{L_{\epsilon,t}(f)}(y) \Delta^{-n/r}(y) dy < \infty$ 的 $\epsilon > 0$ 的下确界，且 $C$ 依赖于参数。
• 当 $0 < p < 1$ 时，在嵌入 $A^p_\nu \subset A^\infty_t$ 成立且 Bergman 表示有效的前提下，对 $\beta > \beta_0$ 有 $l_1(f) \leq C l_2(f)$，其中 $\beta_0$ 依赖于 $p$、$\nu$ 与 $n/r$。
• 嵌入 $A^{p,q}_\nu \subset H^s_\beta$ 在 $\beta = \frac{\nu}{q} + \frac{n}{rp} - \frac{n}{rs}$ 且 $q \leq s$ 时成立，从而支持 Hardy 空间中的距离问题。
• 本研究结果通过基于 Bergman 核与行列式函数估计的相同核心技术，将 [15] 中的一维距离估计推广至高秩对称锥管域。
• 通过证明在 $H^1_\nu$ 情形下 $l_1(f) \asymp l_2(f)$ 的等价性，验证了估计的精确性，将单位球与上半平面中的已知结果推广至更广泛的这类域。