[論文レビュー] Dilations on locally Hilbert spaces

Dumitru Gaşpar, Păstorel Gaşpar+1 more|arXiv (Cornell University)|Apr 29, 2015

Spectral Theory in Mathematical Physics被引用数 2

ひとこと要約

この論文は、局所ヒルベルト空間へのSz.-Nagyの拡張定理を、局所正定値核を導入し、作用素値関数に対する一般化された拡張定理を証明することによって拡張する。主な貢献は、局所的収縮作用素、局所的ρ収縮作用素、および局所的半スペクトル測度に対して、最小の拡張がより大きな局所ヒルベルト空間枠組み内でユニタリまたは等長的拡張をもつことを確立することにある。

ABSTRACT

The principal theorem of Sz.-Nagy on dilation of a positive definite Hilbert space operator valued function has played a central role in the development of the non-self-adjoint operator theory. In this paper we introduce the positive definiteness for locally Hilbert space operator valued kernels, we prove an analogue of the Sz.-Nagy dilation theorem and, as application, we obtain dilation results for locally contractions and locally $ ho$ - contractions as well as for locally semi-spectral measures.

研究の動機と目的

• ヒルベルト空間から局所ヒルベルト空間へのSz.-Nagyの拡張定理の一般化を図ること。
• 非自己共役作用素理論における拡張理論の基盤をなす、局所ヒルベルト空間値有界作用素の局所正定値作用素値核の定義と研究。
• 局所ヒルベルト空間枠組み内での局所的収縮作用素、局所的ρ収縮作用素、および局所的半スペクトル測度に対する拡張結果の確立。
• ネウマークの定理やブラムの基準といった古典的結果を、局所ヒルベルト空間設定へ拡張すること。
• 再生核ヒルベルト空間を用いて、局所ヒルベルト空間上の∗-半群表現に対する最小の拡張構成を提供すること。

提案手法

• 局所ヒルベルト空間 H 上の有界作用素代数に値をとる∗-半群 S 上の局所正定値核（LPDK）の概念を導入する。
• 前ヒルベルト空間として有限台付き H-値関数の族を用いたボッハナー型構成により、LPDK Γϕ(s,t) = ϕ(t*s) に対応する再生核局所ヒルベルト空間（RKLHS）KΓϕ を構成する。
• 単位元 e に集中する H-値関数の包含写像として J: H → K を定義し、K 上の表現 π(s) を左平行移動により定義する：π(s)∑Γϕ_s h_s = ∑Γϕ_{s t} h_t。
• 局所有界性条件（LBC）の下で、すべての s ∈ S に対して ϕ(s) = J*π(s)J が成り立つことを証明し、拡張が適切に定義され連続であることを保証する。
• 一般拡張定理を特定の状況に適用する：局所的半スペクトル測度（ネウマークの定理を介して）、局所的収縮作用素（n ≥ 0 に対して T(n) = T^n）、およびスケーリングされた関数を用いたρ収縮作用素。
• LC∗-代数の逆極限構造と関連するC∗-セミノルムのキャリブレーションを用いて、帰納的極限全体にわたる有界性と連続性を保証する。

実験結果

リサーチクエスチョン

• RQ1 Sz.-Nagyの拡張定理は、局所ヒルベルト空間および局所C∗-代数の設定へ拡張可能か？
• RQ2 局所ヒルベルト空間上での局所的収縮作用素または局所的ρ収縮作用素に対して、最小ユニタリ拡張が存在するための条件は何か？
• RQ3 局所正定値核はどのように定義され、拡張理論のための再生核ヒルベルト空間を構成するために使用されるか？
• RQ4 σ代数上の局所的半スペクトル測度が、より大きな局所ヒルベルト空間における射影値測度に拡張可能となる条件は何か？
• RQ5 局所有界性条件（LBC）は、拡張の存在性および最小性を保証するために果たす役割は何か？

主な発見

• 一般拡張定理が確立された：任意の∗-半群 S 上の局所正定値核は、より大きな局所ヒルベルト空間 K 上で最小ユニタリ拡張をもつ。ここで ϕ(s) = J*π(s)J が成り立つ。
• H 上の局所的収縮作用素 T に対して、すなわち I − T*T ≥ 0 である場合、すべての n ∈ Z⁺ に対して T^n = J*U^nJ を満たす、より大きな局所ヒルベルト空間 K 上の最小局所ユニタリ拡張 U が存在する。
• ρ収縮作用素に対して、すべての多項式 p に対して ‖p(Tλ)‖_λ ≤ sup_{|z|≤1} |ρp(z) + (1−ρ)p(0)| を満たす場合、定理5.2によりρ拡張が存在し、T^n = ρJ*U^nJ が成り立つ。
• ネウマークの定理が拡張された：L(H)-値測度 E(ω) が 0 ≤ E(ω) ≤ I_H を満たすとき、より大きな局所ヒルベルト空間 K 上の射影値測度 F(ω) に拡張可能であり、F(ω) = J*E(ω)J が成り立つ。
• 局所ヒルベルト空間上での準正規作用素の正規拡張の存在が、ヒルベルト空間の場合と同様にブラム基準によって特徴づけられる。
• L(H)-値関数 ψ が∗-半群 S 上に定義されている場合、ρ拡張が存在するための必要十分条件は (ρLPD) および (ρLBC) であり、拡張は定理5.1の仮定を満たすように ψ をスケーリングすることにより構成される。