[論文レビュー] The Dirichlet space: A Survey

Nicola Arcozzi, Richard Rochberg+2 more|arXiv (Cornell University)|Aug 31, 2010

Holomorphic and Operator Theory参考文献 39被引用数 18

ひとこと要約

このサーベイは、単位円板上の解析関数の古典的ディリクレ空間について、カルレソン測度、補間列、乗数空間、零点集合といった関数論的性質に焦点を当てた包括的な概説を提供する。これはよく理解されたハーディー空間 $ H^2 $ と類似点を示し、潜在的理論および木モデルと接続し、ディリクレ空間理論におけるコンformal不変性、重み付き空間、および主要対象の幾何的特徴付けに関する未解決問題を特定する。

ABSTRACT

In this paper we survey many results on the Dirichlet space of analytic functions. Our focus is more on the classical Dirichlet space on the disc and not the potential generalizations to other domains or several variables. Additionally, we focus mainly on certain function theoretic properties of the Dirichlet space and omit covering the interesting connections between this space and operator theory. The results discussed in this survey show what is known about the Dirichlet space and compares it with the related results for the Hardy space.

研究の動機と目的

• 単位円板上の古典的ディリクレ空間について、関数論的性質に重点を置いた詳細かつアクセス可能なサーベイを提供すること。
• ディリクレ空間とハーディー空間 $ H^2 $ を比較し、構造的および埋め込み的性質における類似点と相違点を強調すること。
• 潜在的理論、特に容量的条件および木モデルを通じて、ディリクレ空間と潜在的理論との関係を明らかにすること。
• 未解決問題を特定し、フレームする。これには、コンformal不変性、重み付きディリクレ空間、補間および零点集合の幾何的特徴付けが含まれる。

提案手法

• ディリクレ半ノルム $ \|f\|_{{\mathcal{D}},*}^2 = \int_{\mathbb{D}} |f'(z)|^2 \, dA(z) $ を中心的定義とし、関数の $ L^2 $-ノルムを含む完全なノルムを用いる。
• 再生核構造と、境界値および積分平均を用いたボエのディリクレノルムの特徴付けを適用する。
• 離散的潜在的理論に翻訳するため、木モデルを用い、離散的容量およびテスト条件を用いる。
• $ \overline{\partial} $-方程式およびネヴァンリンナ＝ピック理論を用いて、乗数空間およびコーラナの定理を研究する。
• カルレソン測度および補間列を特徴付けるために、木における離散的容量条件を導入する。
• 既知の双対性および埋め込み定理を基準として、結果をハーディー空間 $ H^2 $ と比較する。

実験結果

リサーチクエスチョン

• RQ1 ディリクレ空間のカルレソン測度の正確な幾何的および解析的特徴付けは何か？ また、$ H^2 $ におけるそれらとどのように比較できるか？
• RQ2 ディリクレ空間の補間列は、特に「全射的補間」設定において、どのように幾何的に特徴付けられるか？
• RQ3 ディリクレノルムと解析関数の像の面積の関係は何か？ そして、これは平面領域へ一般化可能か？
• RQ4 ディリクレ空間に対して、コンフォーマル不変なカルレソン測度ノルムを定義し、幾何的に特徴付けられるか？
• RQ5 ディリクレ空間に属する関数の零点集合の完全な特徴付けは何か？ また、$ \sum_n \frac{1}{\log \frac{1}{1-|z_n|}} < \infty $ という条件とどのように関係するか？

主な発見

• ディリクレ空間のカルレソン測度は、二分木の区間および木モデル上の離散的容量を用いたテスト条件によって特徴付けられる。
• 木における離散的容量条件、$ \|\varphi_{s_0}\|_{\ell^2}^2 \leq C d(s_0)^{-1} $ は、列が全射的補間可能であるための必要十分条件である。
• $ \sum_n \frac{1}{\log \frac{1}{1-|z_n|}} < \infty $ という条件は、$ |z_n| $ のみに依存する条件の中で鋭く、ディリクレ空間の零点集合を特徴付ける。
• ディリクレ空間の再生核は $ K(z,w) = \frac{1}{1 - z\overline{w}} + \log \frac{1}{1 - z\overline{w}} $ で与えられ、ヒルベルト空間としての構造を反映している。
• ディリクレ空間の乗数空間はブロッホ空間に含まれ、弱く因数分解可能な空間 $ \mathcal{D} \odot \mathcal{D} $ の双対空間は有界平均振動関数の空間に同型である。
• コンフォーマル不変カルレソンノルム $ [\mu]_{CM_{\text{inv}}({\mathcal{D}})} $ が有限であることは、標準的カルレソンノルム $ [\mu]_{CM({\mathcal{D}})} $ が有限であることと同値であるが、一般にはそれらは同値ではない。