[论文解读] Wandering subspaces of the Bergman space and the Dirichlet space over polydisc

A. Chattopadhyay, B. Krishna Das+2 more|arXiv (Cornell University)|Jun 4, 2013

Holomorphic and Operator Theory参考文献 11被引用 4

一句话总结

本文研究了单位多圆柱 $퐐^n$ ($n \geq 2$) 上的 Bergman 空间与 Dirichlet 空间中的双重可交换不变子空间。研究结果表明，对于任意非空坐标子集，交集 $\bigcap_{i=1}^{k}(\mathcal{S} \ominus z_{\alpha_i}\mathcal{S})$ 构成限制乘法算子族的循环子空间，从而在双重可交换条件下将 Beurling 型定理推广至高维空间。

ABSTRACT

Doubly commutativity of invariant subspaces of the Bergman space and the Dirichlet space over the unit polydisc $\mathbb{D}^n$ (with $ n \geq 2$) is investigated. We show that for any non-empty subset $α=\{α_1,\dots,α_k\}$ of $\{1,\dots,n\}$ and doubly commuting invariant subspace $\s$ of the Bergman space or the Dirichlet space over $\D^n$, the tuple consists of restrictions of co-ordinate multiplication operators $M_α|_\s:=(M_{z_{α_1}}|_\s,\dots, M_{z_{α_k}}|_\s)$ always possesses wandering subspace of the form \[\bigcap_{i=1}^k(\s\ominus z_{α_i}\s). \]

研究动机与目标

• 研究单位多圆柱 $\mathbb{D}^n$ ($n \geq 2$) 上 Bergman 空间与 Dirichlet 空间中双重可交换不变子空间的循环子空间的存在性与结构。
• 将 Hardy 空间中不变子空间的 Beurling 定理推广至高维的 Bergman 空间与 Dirichlet 空间。
• 确定在双重可交换条件下，联合 $M_{z_i}$-不变子空间是否满足循环子空间性质。
• 刻画循环子空间为任意坐标子集 $\alpha = \{\alpha_1, \dots, \alpha_k\}$ 对应的交集 $\bigcap_{i=1}^{k}(\mathcal{S} \ominus z_{\alpha_i}\mathcal{S})$。
• 建立这些空间上乘法算子满足必要的算子理论条件（如凹性），以保证此类子空间的存在性。

提出的方法

• 利用双重可交换算子族的概念，定义为对所有 $i < j$ 满足 $T_i T_j^* = T_j^* T_i$，以分析 Bergman 空间与 Dirichlet 空间的不变子空间。
• 应用 $n$ 重交换算子族的循环子空间 $\mathcal{W}$ 的概念，定义为满足对所有非零多指标 $\alpha \neq 0$ 有 $\mathcal{W} \perp T^\alpha \mathcal{W}$，且 $\mathcal{H} = \overline{\text{span}}\{T^\alpha h : h \in \mathcal{W}, \alpha \in \mathbb{N}^n\}$ 的子空间。
• 对 $A^2(\mathbb{D}^n)$ 与 $\mathcal{D}(\mathbb{D}^n)$ 中的函数使用关于单个变量 $z_i$ 的 Taylor 展开，将函数分解为级数 $f = \sum_{k=0}^\infty \mathbf{a}_k z_i^k$，其中 $\mathbf{a}_k \in A^2(\mathbb{D}^{n-1})$ 或 $\mathcal{D}(\mathbb{D}^{n-1})$。
• 利用 Bergman 空间与 Dirichlet 空间的范数估计：Bergman 空间中 $\|f\|^2 = \sum_{k=0}^\infty \frac{\|\mathbf{a}_k\|^2}{k+1}$，Dirichlet 空间中 $\|f\|^2 = \sum_{k=0}^\infty (k+1)\|\mathbf{a}_k\|^2_{\mathcal{D}(\mathbb{D}^{n-1})}$，以验证 $M_{z_i}$ 的有界性与凹性。
• 应用先前结果中的推论 2.4 与定理 2.5，证明若 $M_{z_i}$ 为凹算子且算子族双重可交换，则交集 $\bigcap_{i=1}^k (\mathcal{S} \ominus z_{\alpha_i}\mathcal{S})$ 为循环子空间。
• 通过恒等式 $\|M_{z_i}^2 f\|^2 + \|f\|^2 = 2\|M_{z_i} f\|^2$ 证明 $M_{z_i}$ 在 $\mathcal{D}(\mathbb{D}^n)$ 上为凹算子，从而满足所需的算子理论条件。

实验结果

研究问题

• RQ1 每个 $\mathbb{D}^n$ ($n \geq 2$) 上 Bergman 或 Dirichlet 空间的双重可交换不变子空间是否都具有循环子空间？
• RQ2 在双重可交换条件下，能否将单变量情形下不变子空间的 Beurling 型刻画推广至多圆柱情形？
• RQ3 子空间 $\bigcap_{i=1}^k (\mathcal{S} \ominus z_{\alpha_i}\mathcal{S})$ 是否为 Bergman 与 Dirichlet 空间中限制算子族 $(M_{z_{\alpha_1}}|_{\mathcal{S}}, \dots, M_{z_{\alpha_k}}|_{\mathcal{S}})$ 的循环子空间？
• RQ4 哪些算子理论性质（如凹性、双重可交换性）可确保高维函数空间中循环子空间的存在性？
• RQ5 Bergman 与 Dirichlet 空间在多圆柱上的范数结构如何影响循环子空间的存在性与形式？

主要发现

• 对任意非空坐标子集 $\alpha = \{\alpha_1, \dots, \alpha_k\} \subseteq \{1, \dots, n\}$，子空间 $\mathcal{W}^\mathcal{S}_\alpha = \bigcap_{i=1}^k (\mathcal{S} \ominus z_{\alpha_i}\mathcal{S})$ 是 $\mathbb{D}^n$ 上 Bergman 空间与 Dirichlet 空间中算子族 $(M_{z_{\alpha_1}}|_{\mathcal{S}}, \dots, M_{z_{\alpha_k}}|_{\mathcal{S}})$ 的循环子空间。
• Dirichlet 空间 $\mathcal{D}(\mathbb{D}^n)$ 上的乘法算子 $M_{z_i}$ 为凹算子，其性质由恒等式 $\|M_{z_i}^2 f\|^2 + \|f\|^2 = 2\|M_{z_i} f\|^2$ 对所有 $f \in \mathcal{D}(\mathbb{D}^n)$ 成立所证明。
• 由于 Bergman 空间与 Dirichlet 空间在结构与算子理论性质上具有相似性，双重可交换条件下，Bergman 空间中不变子空间的循环子空间存在性结论同样成立。
• 该结果将 Beurling 定理推广至高维空间中双重可交换不变子空间，提供了循环子空间作为正交补交集的构造性描述。
• 本文确认推论 2.4 与定理 2.5 的假设适用于 Bergman 与 Dirichlet 空间，从而在双重可交换条件下保证了循环子空间的存在性。
• 分析表明，尽管 $\mathbb{D}^n$ 上的 Hardy 空间在 $n \geq 2$ 时不再满足 Beurling 型定理，但在双重可交换假设下，Bergman 与 Dirichlet 空间仍保持此类结构。