[論文レビュー] On an extremal problem in analytic function spaces in tube domains over symmetric cones

Romi F. Shamoyan|arXiv (Cornell University)|May 15, 2012

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

ひとこと要約

本稿は、対称錐上へのチューブ領域上の解析関数のベルグマン型空間における新たな鋭い距離推定を、ベルグマン再生成公式および一般化されたべき関数を用いて確立する。主な貢献は、重み付きハーディー空間およびベルグマン空間における距離ノルムの同値性を証明し、一次元の既存結果を、正確な作用素論的バインディングを伴う高ランクの対称錐設定へと拡張することにある。

ABSTRACT

New sharp estimates concerning distance function in Bergman - type analytic function spaces on tube domains over symmetric cones are obtained. These are first results of this type in tube domains over symmetric cones.

研究の動機と目的

• 一次元チューブ領域からの鋭い距離推定を、高ランクの対称錐設定へと拡張すること。
• 対称錐上へのチューブ領域における解析関数空間の新たなノルム同値性結果を確立すること。
• ベルグマン空間およびハーディー空間における距離問題の既存結果を、混合ノルムおよび重み付き設定へと一般化すること。
• $A^{\nu}_{p,q}$ および $H^p_\alpha$ 空間の関数から部分空間への距離の鋭い推定を、ベルグマン核および行列式関数を含む積分ノルムを介して証明すること。

提案手法

• 対称錐上へのチューブ領域におけるベルグマン再生成公式を、基礎的な解析的道具として用いる。
• 一般化されたべき関数 $\Delta^\nu(y)$ および行列式関数 $\Delta(y)$ を用いて、ベルグマン空間およびハーディー空間における重み付きノルムを定義する。
• ベルグマン核 $B_\nu(z,w)$ を含む積分表現を適用し、関数ノルムと $T_\Omega$ 上の積分推定との関係を確立する。
• 多重指数記法 $t^\star$, $t < k$ および $\nu > \frac{n}{r} - 1$ のようなパラメータ条件を用いて、可積分性および埋め込みを制御する。
• 積分収束基準を用いて距離関数 $l_1(f)$ と $l_2(f)$ の比較により、ノルム同値性を確立する。
• 既知の $A^{p,q}_\nu$, $B^{p,q}_\nu$, $H^p_\alpha$, および $A^\infty_\tau$ 空間間の埋め込み関係を用いて、鋭い推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 対称錐上へのチューブ領域における解析関数とその射影との間の鋭い距離推定は何か？
• RQ2 混合ノルムベルグマン空間 $A^{p,q}_\nu$ における距離関数 $l_1(f)$ と $l_2(f)$ のノルムの関係は何か？
• RQ3 $H^1_\nu$ に属する関数から $A^1_\nu$ への距離は、レベル集合 $L_{\epsilon,t}(f)$ における積分条件によって特徴付けられるか？
• RQ4 パラメータ $\nu$, $p$, $q$, $\beta$, および $\alpha$ にどのような条件を課すと、この設定におけるベルグマン表現および埋め込み定理が成立するか？
• RQ5 一次元の上半平面における既存の距離推定は、高ランクの対称錐領域へとどのように一般化されるか？

主な発見

• $\nu > \frac{n}{r} - 1$ のとき、距離 $l_1(f) = \text{dist}_{A^\infty_{\frac{n}{rp} + \frac{\nu}{p}}}(f, A^p_\nu)$ は、ベルグマン核および一般化されたべき関数を含む積分によって定義される $l_2(f)$ によって上から有界である。
• $H^1_\nu$ における $f$ から $A^1_\nu$ への距離は、$l_2(f)$ と同値であり、$l_2(f)$ は $\epsilon > 0$ の下界として定義され、$\int_\Omega \tau_{L_{\epsilon,t}(f)}(y) \Delta^{-n/r}(y) dy < \infty$ を満たすものである。このとき $C$ はパラメータに依存する。
• $0 < p < 1$ において、埋め込み $A^p_\nu \subset A^\infty_t$ および有効なベルグマン表現が成り立つとき、$\beta > \beta_0$ に対して $l_1(f) \leq C l_2(f)$ が成り立つ。ここで $\beta_0$ は $p$, $\nu$, および $n/r$ に依存する。
• 埋め込み $A^{p,q}_\nu \subset H^s_\beta$ は $\beta = \frac{\nu}{q} + \frac{n}{rp} - \frac{n}{rs}$ に対して $q \leq s$ のとき成立し、ハーディー空間における距離問題の解法を可能にする。
• 本結果は、ベルグマン核および行列式関数の推定に基づく同一のコア技術を用いて、[15]における一次元の距離推定を高ランクの対称錐チューブ領域へと一般化している。
• $H^1_\nu$ の場合に $l_1(f) \asymp l_2(f)$ の同値性を示すことにより、推定の鋭さが確認され、単位球および上半平面における既知の結果が、より広範な領域クラスへと拡張されている。