[論文レビュー] Factorizations and singular value estimates of operators with Gelfand-Shilov and Pilipović kernels

Yuanyuan Chen, Mikael Signahl+1 more|arXiv (Cornell University)|Nov 19, 2015

Spectral Theory in Mathematical Physics参考文献 8被引用数 5

ひとこと要約

本稿では、ピリポビッチ空間またはゲルファンド＝シロフ空間に属するカーネルを持つ線形作用素が、同じクラスに属する2つの作用素への因数分解を許容することを確立している。これにより、特異値の鋭い推定が可能となり、$ \sigma_j(T) \lesssim e^{-c j^{1/(2ds)}}$ が $ \mathcal{H}_s$-カーネルに対して成り立ち、$ \sigma_j(T) \lesssim \langle j \rangle^{-N}$ がシュワーツカーネルに対して成り立つ。これは、トレースクラスおよびモジュレーション空間の技法を用いて、シュッテン＝フォン・ノイマン性を確認するものである。

ABSTRACT

We prove that any linear operator with kernel in a Pilipović or Gelfand-Shilov space can be factorized by two operators in the same class. We also give links on numerical approximations for such compositions. We apply these composition rules to deduce estimates of singular values and establish Schatten-von Neumann properties for such operators.

研究の動機と目的

• ピリポビッチ空間またはゲルファンド＝シロフ空間に属するカーネルを持つ作用素が、同じクラスに属する2つの作用素への因数分解を許容することを証明すること。
• ピリポビッチおよびシュワーツ型関数空間、およびそれらの双対空間の間で作用する場合の、そのような作用素に対する精密な特異値推定を導出すること。
• カーネルの減衰とトレースクラス埋め込みを用いて、これらの作用素のシュッテン＝フォン・ノイマン性を確立すること。
• 特異値の減衰が、ヘルミート係数の指数的減衰およびモジュレーション空間ノルムとどのように関連しているかを明らかにすること。

提案手法

• 著者らは、作用素の極分解を用いて、カーネルを固有関数の和として表現し、特異値とヘルミート関数を結びつける。
• バーグマン変換およびモジュレーション空間ノルムを用いて、$ \mathcal{H}_s$ および $ \mathcal{H}_{0,s}$ 空間におけるカーネルの減衰を特徴付ける。
• トレースクラスノルムを $M^{1,1}$ 空間に適用し、ヘルミート係数の成長を制限することで、特異値推定に至る。
• パラメータシフトにおけるモジュレーション空間ノルムの不変性と、$p,q \in [1,\infty]$ における埋め込みを用い、すべての $p,q \in (0,\infty]$ にわたる一般化を補間により行う。
• 重要なステップとして、$ \|H_1^N H_2^N K\|_{M^{1,1}}$ が $h^N (N!)^{4s}$ で有界であることを示し、これが特異値の減衰を示唆する。
• 任意のこのような作用素が、同じピリポビッチ空間に属するカーネルをもつ2つの作用素の合成として書けることにより、因数分解代数的構造を確立する。

実験結果

リサーチクエスチョン

• RQ1 ピリポビッチ空間またはゲルファンド＝シロフ空間に属するカーネルを持つ任意の作用素は、同じクラスに属する2つの作用素への因数分解が可能か？
• RQ2 ピリポビッチおよびシュワーツ型空間の間で作用する場合、そのような作用素の特異値の正確な減衰率は何か？
• RQ3 カーネルが $ \mathcal{H}_s$ と $ \mathcal{H}_{0,s}$ に属する場合、特異値はどのように振る舞うか？
• RQ4 特異値推定は、関数空間および双対ペアの選択にどの程度依存するか？
• RQ5 ヘルミート係数の減衰と作用素のシュッテン＝フォン・ノイマン性との間にはどのような関係があるか？

主な発見

• カーネルが $ \mathcal{H}_s(\mathbf{R}^{2d})$ に属する作用素は、ある $c>0$ に対して $\sigma_j(T) \lesssim e^{-c j^{1/(2ds)}}$ を満たし、超指数的減衰を示す。
• $ \mathcal{H}_{0,s}(\mathbf{R}^{2d})$ に属するカーネルに対しては、任意の $c>0$ に対して $\sigma_j(T) \lesssim e^{-c j^{1/(2ds)}}$ が成り立ち、ルーミエの場合よりも強い減衰を示す。
• カーネルがシュワーツ空間に属する場合、特異値は任意の多項式よりも速く減衰する：任意の $N \geq 0$ に対して $\sigma_j(T) \lesssim \langle j \rangle^{-N}$ が成り立ち、ヒルベルト＝シュミットおよびシュッテン＝フォン・ノイマン空間への属する性質を確認する。
• すべてのピリポビッチ空間に対して因数分解性が成り立つ：$ \mathcal{H}_s$ に属するカーネルを持つ任意の作用素は、同じ $ \mathcal{H}_s$ 空間に属するカーネルをもつ2つの作用素の合成として書ける。
• 特異値の減衰は、トレースクラスノルムを用いたモジュレーション空間上で、ヘルミート係数の減衰と関連している。$ \|H_1^N H_2^N K\|_{M^{1,1}} \lesssim h^N (N!)^{4s}$ が成り立つ。
• 推定は、$N_{0,1}, N_{0,2}, \omega, p, q$ の変更に対して不変であり、$M^{p,q}$ ノルムと $L^2$ の等価性を用いて、すべての $p,q \in (0,\infty]$ に一般化される。