[論文レビュー] An extension of Mercer's theorem to unbounded operators

Igor M. Novitskii, M. A. Romanov|ArXiv.org|Mar 13, 2003

Spectral Theory in Mathematical Physics参考文献 11被引用数 4

ひとこと要約

この論文は、連続な $K^0$-カーネルを備えた非有界積分作用素へメルサールの定理を拡張し、そのようなカーネルが関連する非有界正規作用素の固有関数および固有値を用いた絶対的かつ一様収束する双線形展開をもつことを証明する。主な結果は、$ℝ_+^2$ 上で一様収束する級数によるカーネルのスペクトル表現を確立し、古典的なメルサール理論を有界作用素を超えて一般化する。

ABSTRACT

We give some extensions of Mercer's theorem to continuous Carleman kernels inducing unbounded integral operators.

研究の動機と目的

• 有界正の積分作用素に限定されていたメルサールの定理を、非有界正規作用素の状況に一般化すること。
• 非有界積分作用素を誘導する連続カーネルのスペクトル表現を調査すること。
• このようなカーネルが固有関数および固有値を用いた絶対的かつ一様収束する双線形展開をもつための条件を確立すること。
• カールマンカーネル理論およびスペクトル測度を用いて、非有界設定における積分作用素の古典的スペクトル理論を拡張すること。
• カーネルが連続的であり、かつ $K^0$-条件を満たす場合に、非有界積分作用素をそのスペクトル分解によって表現するための厳密な枠組みを提供すること。

提案手法

• 著者らは、$ℝ_+^2$ 上の連続関数として $K^0$-カーネルを定義し、関連するカールマン関数が $C(\mathbb{R}_+, L_2)$ に属することを保証することで、スペクトル解析に適した正則性を確保する。
• 非有界正規作用素のスペクトル定理を用いて、単位分解 $E(\cdot)$ を定義し、射影 $E(\omega)$ からスペクトル関数 $E(s,t;\omega)$ を構成する。
• 差分 $K_m(s,t) = K(s,t) - \sum_{n=1}^m x_n \varphi_n(s)\overline{\varphi_n(t)}$ を分析し、関連する二次形式の非負性を示して点ごとの評価を得る。
• リース＝フィッシャーの定理およびバゼルの不等式を固有関数展開に適用することで、$L_2$ 収束および級数 $\sum x_n \varphi_n(s)\overline{\varphi_n(t)}$ の一様収束を証明する。
• コーシー＝シュワルツの不等式およびカーネルと固有関数の連続性を用いて、$ℝ_+^2$ 上での一様収束を確立し、コンパクト化された定義域上でディニの定理を適用する。
• 最後に、部分和の極限が $ℝ_+^2$ 全体でほとんど everywhere に元のカーネル $K(s,t)$ に一致し、連続性により全領域で一致することを示し、完全なスペクトル展開を証明する。

実験結果

リサーチクエスチョン

• RQ1 連続カーネルを備えた非有界積分作用素に対して、メルサールの定理を拡張できるか？
• RQ2 連続な $K^0$-カーネルが一様収束する双線形スペクトル展開をもつための条件は何か？
• RQ3 非有界正規作用素のスペクトル分解は、その積分カーネルの点ごとの表現とどのように関係するか？
• RQ4 カールマン関数およびスペクトル測度は、非有界積分カーネルの表現において果たす役割は何か？
• RQ5 作用素が非有界である場合に、$K^0$-カーネルの固有関数展開は $ℝ_+^2$ 上で一様収束するか？

主な発見

• 非有界正規積分作用素のカーネル $K(s,t)$ は、$ℝ_+^2$ 上で一様収束する双線形展開 $\sum_{n=1}^\infty x_n \varphi_n(s)\overline{\varphi_n(t)}$ をもつ。ここで $x_n$ は固有値、$\varphi_n$ は正規直交固有関数である。
• 級数は絶対的かつ一様収束し、コンパクト化 $[0,\infty]$ においても収束が保たれ、拡張された定義域上でディニの定理を適用可能となる。
• 固有関数級数の点ごとの和は、連続性および稠密性の議論により、すべての $(s,t) \in \mathbb{R}_+^2$ に対して元のカーネル $K(s,t)$ に一致する。
• 固有関数展開は $K(s,s) = \sum_{n=1}^\infty x_n |\varphi_n(s)|^2$ を満たし、この級数は $ℝ_+$ 上で一様収束する。
• 収束はコーシー＝シュワルツの不等式およびカールマン関数 $k(s)$ の $L_2$ ノルムの有界性により保証され、$t$ および $s$ に関して一様性が保たれる。
• この結果は、古典的メルサールの定理を非有界作用素へ一般化し、有界の場合を超えるより広いクラスの積分作用素へのスペクトル表現を拡張する。