[論文レビュー] Beurling-Malliavin theory for Toeplitz kernels

Nikolai Makarov, Alexei Poltoratski|ArXiv.org|Feb 16, 2007

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

ひとこと要約

この論文は、上半平面上の Hardy 空間 $ H^2 $ における Toeplitz 箇筒 $ T_{J\bar{S}^a} $ の核が非自明になるための臨界指数 $ c(J,S) $ を計算することによって、Beurling-Malliavin 理論を Toeplitz 核へと拡張する。臨界値 $ c(J,S) $ は、$ S $ の偏角の漸近的挙動と内挙動関数 $ J $ に依存し、指数系の完全性の半径に関する古典的 Beurling-Malliavin 公式を一般化する。本研究は、モデル空間における完全性問題のための新たな枠組みを提供する。

ABSTRACT

We consider the family of Toeplitz operators $T_{J\bar S^{a}}$ acting in the Hardy space $H^2$ in the upper halfplane; $J$ and $S$ are given meromorphic inner functions, and $a$ is a real parameter. In the case where the argument of $S$ has a power law type behavior on the real line, we compute the critical value $$ c(J,S)=\inf\left\{a: \ker T_{J\bar S^{a}} e0 ight\}.$$ The formula for $ c(J,S)$ generalizes the Beurling-Malliavin theorem on the radius of completeness for a system of exponentials.

研究の動機と目的

• 指数系の完全性に関する Beurling-Malliavin 理論を、Toeplitz 演算子を用いてより広い特殊関数のクラスへと拡張すること。
• 核 $ \ker T_{J\bar{S}^a} \neq 0 $ となるような臨界値 $ c(J,S) $ を特徴づけること。これは、$ a > c(J,S) $ であるときにかつそのときに限り核が非自明になるように一般化された古典的完全性半径を表す。
• Paley-Wiener 空間における完全性問題と、有理型内関数を含む記号を持つ Toeplitz 演算子の核構造との間の関係を確立すること。
• $ a > c(J,S) $ のとき、$ S $ に適切な成長条件が課された下で、$ J\bar{S}^a $ の $ N^p $-核が無限次元であることを示すこと。

提案手法

• 著者たちは、上半平面上の Hardy 空間 $ H^2 $ に作用する Toeplitz 演算子 $ T_{J\bar{S}^a} $ を分析する。ここで $ J $ と $ S $ は有理型内関数であり、$ a \in \mathbb{R} $ である。
• モデル空間理論を用い、指数関数の完全性問題を、記号 $ U = B_\Lambda e^{-2aiz} $ を持つ Toeplitz 演算子の核が非自明であるという条件に帰着させる。ここで $ B_\Lambda $ は $ \Lambda $ に関連する Blaschke 積である。
• 臨界指数 $ c(J,S) $ は双対性の議論と外挙動関数の使用により導出され、特に $ \arg S $ の調和上限の成長を分析することで得られる。
• 証明は、内-外因子分解を用いた記号の分解と、核の非自明性を保つように制御された偏角を持つ有界関数 $ X, Y $ の構成に依存し、Hölder 型の推定式を用いる。
• 主要な技術的道具は、Carleson 型埋め込み定理であり、これは $ N^p $-核内の関数の成長を制御し、$ a > c(J,S) $ のとき無限次元性を保証する。
• 著者たちは、$ \epsilon $-正則化と Blaschke 積を用いた摂動論法を適用し、記号の小さな摂動に対しても非自明核が存続することを示し、臨界閾値に到達する。

実験結果

リサーチクエスチョン

• RQ1 記号 $ T_{J\bar{S}^a} $ の核が非自明になるのは $ a > c(J,S) $ のときに限るという臨界値 $ c(J,S) $ は何か？
• RQ2 指数系の Beurling-Malliavin 理論は、有理型内関数を含む Toeplitz 核へどのように拡張されるか？
• RQ3 $ S $ が $ \sigma'(x) \asymp |x|^\kappa $ を満たすとき、特に $ a > c(J,S) $ のとき、核 $ \ker T_{J\bar{S}^a} $ が非自明のままである条件は何か？
• RQ4 $ S $ に多項式的成長の仮定が課された下で、$ a > c(J,S) $ のとき $ N^p[J\bar{S}^a] $ の無限次元性を確立できるか？
• RQ5 $ p < \infty $ のとき $ N^p $-核が無限次元であるならば、$ S $ が適切な条件下にあるとき、$ N^\infty $-核も無限次元であるか？

主な発見

• 臨界指数 $ c(J,S) $ は $ \inf\{a : \ker T_{J\bar{S}^a} \neq 0\} $ として定義され、指数系の完全性半径に関する古典的 Beurling-Malliavin 公式を一般化する。
• $ S = e^{i\sigma} $ で $ \sigma'(x) \asymp |x|^\kappa $ のとき、臨界値 $ c(J,S) $ は $ \sigma $ の漸近的挙動によって明示的に決定され、古典的公式 $ R(\Lambda) = \pi D_{\text{eff}}(\Lambda) $ を拡張する。
• $ a > c(J,S) $ のとき、すべての $ p > 0 $ に対して核 $ N^p[J\bar{S}^a] $ は無限次元であり、特に $ S $ が温度関数（tempered）である場合には $ N^\infty[J\bar{S}^a] $ も無限次元である。
• 証明は、記号を内関数と外関数に分解し、得られた核に対して Hölder 型の推定を適用することで、$ a > c(J,S) $ のとき $ N^p[J\bar{S}^a] \neq 0 $ であることを確立する。
• この結果は、$ S $ が温度関数である、すなわち $ x \to \infty $ のとき $ S' \in O(|x|^n) $ であるという仮定の下で成り立つ。これにより、関連する外関数の成長が制御される。
• 本論文は、$ p < \infty $ のとき $ N^p $-核が無限次元であるならば、$ S $ が温度関数であるとき、$ N^\infty $-核も無限次元であることを確認する。これは、有界な調和上限と外関数を用いた構成により得られる。