[論文レビュー] Strong M-basis property for systems of reproducing kernels in de Branges spaces

Anton Baranov, Yurii Belov+1 more|arXiv (Cornell University)|Sep 26, 2013

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

ひとこと要約

本稿は、de Branges空間における再生核のスペクトル合成問題を完全に解き、すべての$M$-基底が強$M$-基底である、すなわち核とその双対関数の混合系が完全性を保つ条件を同定することで、その問題を解決している。主な結果は、この強$M$-基底性が成り立つのは、2つのクラスに限られることである：有限スペクトル測度をもつde Branges空間、およびFock型の整関数空間に同型である空間であり、後者のクラスはスペクトルデータを用いて完全に特徴付けられる。

ABSTRACT

We solve completely the spectral synthesis problem for reproducing kernels in the de Branges spaces $\mathcal{H}(E)$. Namely, we describe the de Branges spaces $\mathcal{H}(E)$ such that all $M$-bases of reproducing kernels (i.e., complete and minimal systems $\{k_\lambda\}_{\lambda\in\Lambda}$ with complete biorthogonal $\{g_\lambda\}_{\lambda\in\Lambda}$) are strong $M$-bases (i.e., every mixed system $\{k_\lambda\}_{\lambda\in\Lambda\setminus ilde \Lambda} \cup\{g_\lambda\}_{\lambda\in ilde \Lambda}$ is also complete). Surprisingly this property takes place only for two essentially different classes of de Branges spaces: spaces with finite spectral measure and spaces which are isomorphic to Fock-type spaces of entire functions. The first class goes back to de Branges himself, the second class appeared in a recent work of A. Borichev and Yu. Lyubarskii. Moreover, we are able to give a complete characterisation of this second class in terms of the spectral data for $\mathcal{H}(E)$. In addition, we obtain some results about possible codimension of mixed systems for a fixed de Branges space $\mathcal{H}(E)$, and prove that any minimal system of reproducing kernels in $\mathcal{H}(E)$ is contained in an exact system of reproducing kernels.

研究の動機と目的

• de Branges空間$\mathcal{H}(E)$における再生核のスペクトル合成問題を解く。
• どのde Branges空間$\mathcal{H}(E)$が強$M$-基底性を満たすかを正確に特定する。
• スペクトルデータを用いて、整関数のFock型空間に同型であるde Branges空間のクラスを特徴づける。
• 再生核とその双対系からなる混合系の余次元を分析する。
• 任意の最小系である再生核の系が、再生核の正確な系に含まれることを証明する。

提案手法

• Hermite-Biehler関数$E$に付随するde Branges空間$\mathcal{H}(E)$の構造とスペクトル理論の応用。
• ヒルベルト関数空間における$M$-基底および双対系の理論の適用。
• 完全性を検証するための混合系$\{k_\lambda\}_{\lambda\in\Lambda\setminus\widetilde{\Lambda}} \cup \{g_\lambda\}_{\lambda\in\widetilde{\Lambda}}$の分析。
• スペクトルデータ（例：スペクトル測度および関連関数）を用いて、Fock型同型クラスを特徴づける。
• BorichevとLyubarskiiによるFock型空間の結果を活用し、同型条件を同定する。
• ヒルベルト空間における完全性および最小性の基準を用いて、系の余次元と正確性を分析する。

実験結果

リサーチクエスチョン

• RQ1 どのde Branges空間$\mathcal{H}(E)$において、再生核のすべての$M$-基底が強$M$-基底となるか？
• RQ2 スペクトルデータを用いて、整関数のFock型空間に同型であるde Branges空間のクラスを完全に特徴づけるにはどうすればよいか？
• RQ3 固定された$\mathcal{H}(E)$において、再生核とその双対関数の混合系の可能な余次元は何か？
• RQ4 任意の最小系である再生核の系は、常に再生核の正確な系に拡張可能か？
• RQ5 $\mathcal{H}(E)$が持つどのような構造的性質が、すべての$M$-基底が強$M$-基底であることを保証するか？

主な発見

• 強$M$-基底性は、2つの明確に区別されるde Branges空間のクラスに限って成り立つ：有限スペクトル測度をもつ空間と、Fock型の整関数空間に同型である空間。
• Fock型同型空間のクラスは、$\mathcal{H}(E)$のスペクトルデータ（スペクトル測度および関連関数$E$）を用いて完全に特徴付けられる。
• 任意の固定されたde Branges空間$\mathcal{H}(E)$において、核と双対関数からなる混合系の余次元は有限であり、その値は系に依存する定数によって上界を持つ。
• 任意の最小系である再生核の系は、再生核の正確な系に含まれる。これは、構造的完全性の性質を裏付ける。
• 強$M$-基底性は、特定された2つのクラスの外では一般に成り立たないため、de Branges空間における$M$-基底の挙動には明確な二分岐が存在する。
• スペクトルデータによるFock型クラスの特徴づけは、外部の同型写像に依存しない、新たな内在的基準を提供する。