[論文レビュー] 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$) 上のバーグマン空間およびディレクレ空間における二重可換不変部分空間を調査する。任意の座標の非空部分集合に対して、交差 $\bigcap_{i=1}^{k}(\mathcal{S} \ominus z_{\alpha_i}\mathcal{S})$ が制限された乗法作用素の $k$-重(tuple)に対する壊れやすい部分空間をなすことが確立され、二重可換条件の下で高次元へのベルリング型定理の拡張がなされる。

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$) 上の二重可換不変部分空間における壊れやすい部分空間の存在および構造を調査すること。
• ハーディ空間における不変部分空間に関するベルリングの定理を、高次元におけるバーグマン空間およびディレクレ空間へ拡張すること。
• 二重可換条件の下で、連続的 $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$ を満たす）の概念を用い、バーグマン空間およびディレクレ空間の不変部分空間を分析する。
• $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$ に関して適用し、$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})$ である。
• バーグマン空間およびディレクレ空間におけるノルム推定：バーグマン空間では $\|f\|^2 = \sum_{k=0}^\infty \frac{\|\mathbf{a}_k\|^2}{k+1}$、ディレクレ空間では $\|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}$ が $\mathcal{D}(\mathbb{D}^n)$ 上で凹的であることを、恒等式 $\|M_{z_i}^2 f\|^2 + \|f\|^2 = 2\|M_{z_i} f\|^2$ を用いて示し、必要な作用素論的条件を満たすことを確認する。

実験結果

リサーチクエスチョン

• RQ1 バーグマン空間またはディレクレ空間の単位多円板 $\mathbb{D}^n$ ($n \geq 2$) 上の任意の二重可換不変部分空間は、壊れやすい部分空間をもつのか？
• RQ2 二重可換条件の下で、1変数における不変部分空間のベルリング型特徴づけを多円板設定に拡張できるか？
• RQ3 部分空間 $\bigcap_{i=1}^k (\mathcal{S} \ominus z_{\alpha_i}\mathcal{S})$ は、バーグマン空間およびディレクレ空間における制限タプル $(M_{z_{\alpha_1}}|_{\mathcal{S}}, \dots, M_{z_{\alpha_k}}|_{\mathcal{S}})$ に対して壊れやすい部分空間であるか？
• RQ4 凹性、二重可換性などの作用素論的性質は、高次元関数空間における壊れやすい部分空間の存在を保証するか？
• RQ5 バーグマン空間およびディレクレ空間の多円板上でのノルム構造は、壊れやすい部分空間の存在および形にどのように影響するか？

主な発見

• 任意の非空部分集合 $\alpha = \{\alpha_1, \dots, \alpha_k\}$ に対して、部分空間 $\mathcal{W}^\mathcal{S}_\alpha = \bigcap_{i=1}^k (\mathcal{S} \ominus z_{\alpha_i}\mathcal{S})$ は、$\mathbb{D}^n$ 上のバーグマン空間およびディレクレ空間におけるタプル $(M_{z_{\alpha_1}}|_{\mathcal{S}}, \dots, M_{z_{\alpha_k}}|_{\mathcal{S}})$ に対して壊れやすい部分空間である。
• $\mathcal{D}(\mathbb{D}^n)$ 上の乗法作用素 $M_{z_i}$ は、すべての $f \in \mathcal{D}(\mathbb{D}^n)$ に対して恒等式 $\|M_{z_i}^2 f\|^2 + \|f\|^2 = 2\|M_{z_i} f\|^2$ を満たすため、凹的であることが示された。
• バーグマン空間の不変部分空間に対しても、二重可換条件の下で壊れやすい部分空間の存在が同様に成り立つ。これは、バーグマン空間とディレクレ空間との間の構造的および作用素論的性質の類似性に起因する。
• 本結果は、二重可換不変部分空間に対して、ベルリングの定理を高次元へ一般化するものであり、壊れやすい部分空間を直交補空間の交差として構成的に記述する。
• 補題 2.4 および定理 2.5 の仮定がバーグマン空間およびディレクレ空間の両方において満たされることを確認し、二重可換条件の下で壊れやすい部分空間の存在が保証される。
• 解析により、$n \geq 2$ のとき、$\mathbb{D}^n$ 上のハーディ空間はベルリング型定理を満たさないが、バーグマン空間およびディレクレ空間は二重可換仮定の下でそのような構造を保持することが判明した。