2025-11-17T11:16:13.346827

Various form closures associated with a fixed non-semibounded self-adjoint operator

Fleige

If $T$ is a semibounded self-adjoint operator in a Hilbert space $(H, \, (\cdot , \cdot))$ then the closure of the sesquilinear form $(T \cdot , \cdot)$ is a unique Hilbert space completion. In the non-semibounded case a closure is a Kre\uÄ±n space completion and generally, it is not unique. Here, all such closures are studied. A one-to-one correspondence between all closed symmetric forms (with ``gap point'' $0$) and all J-non-negative, J-self-adjoint and boundedly invertible Kre\uÄ±n space operators is observed. Their eigenspectral functions are investigated, in particular near the critical point infinity. An example for infinitely many closures of a fixed form $(T \cdot , \cdot)$ is discussed in detail using a non-semibounded self-adjoint multiplication operator $T$ in a model Hilbert space. These observations indicate that closed symmetric forms may carry more information than self-adjoint Hilbert space operators.

academic

固定された非半有界自伴作用素の様々な形式閉包

基本情報

論文ID: 2502.09551
タイトル: 固定された非半有界自伴作用素に関連する様々な形式閉包
著者: Andreas Fleige
分類: math.FA（関数解析学）、math.SP（スペクトル理論）
発表時期: arXiv プレプリント（2025年2月）
論文リンク: https://arxiv.org/abs/2502.09551v2

要約

本論文は非半有界自伴作用素のセサクイリニア形式閉包問題を研究する。半有界の場合、自伴作用素 $T$ のセサクイリニア形式 $(T \cdot, \cdot)$ の閉包はヒルベルト空間完備化において一意である。一方、非半有界の場合、閉包はクレイン空間完備化であり、通常は一意ではない。著者は「ギャップ点」0を持つすべての閉対称形式と、J-非負、J-自伴かつ有界可逆なクレイン空間作用素の間の一一対応を確立し、それらの特性スペクトル関数を研究し、特に無限遠点での臨界点での挙動を調べ、モデルヒルベルト空間における非半有界自伴乗法作用素を通じて無限個の閉包の詳細な例を提供する。

研究背景と動機

問題背景

古典理論の限界: 古典的な半有界の場合、自伴作用素と閉対称セサクイリニア形式の間に一一対応が存在し、これはカトーの表現定理の核心である。しかし、作用素が半有界でなくなると、この一意性は消失する。
非半有界の場合の複雑性: 非半有界自伴作用素 $T$ に対して、そのセサクイリニア形式 $(T \cdot, \cdot)$ は複数の異なる閉包を持つ可能性があり、各閉包は異なるクレイン空間完備化に対応する。
理論的空白: 以前の研究は主に「正則」閉形式（ $|T|^{1/2}$ で表現可能な形式）に焦点を当てていたが、非正則の場合の完全な特性付けはまだ不足している。

研究動機

理論的枠組みの完成: 非半有界の場合における形式閉包の完全な分類理論の確立
情報容量の探索: 閉対称形式が自伴ヒルベルト空間作用素よりも多くの情報を含むかどうかの研究
具体例の構成: 明示的な構成を通じた理論の非自明性の実証

核心的貢献

一一対応関係の確立: ギャップ点0を持つすべての閉対称形式と、J-非負、J-自伴かつ有界可逆なクレイン空間作用素の間に全単射関係が存在することを証明（定理4.1）
正則化の特性付け: 固定された非半有界自伴作用素に対して、一意の正則閉包を正確に識別し、これを他のすべての閉包の「正則化」として位置付け（定理5.4）
特性スペクトル関数の分析: すべての閉包の特性スペクトル関数が元の作用素のスペクトル測度を形式定義域上に制限したものであることを証明（定理5.6）
一意性の特性付け: 形式閉包が一意であることと、元の作用素が半有界であることが同値であることを証明（定理5.9）
明示的構成: モデル空間における乗法作用素を通じて、無限個の異なる閉包の明示的な族を構成（定理6.9）

方法の詳細

問題設定

ヒルベルト空間 $(H, (\cdot, \cdot))$ における自伴有界可逆作用素 $T$ が与えられたとき、 $\text{dom}T$ 上のセサクイリニア形式 $(T \cdot, \cdot)$ のすべての可能な閉包を研究する。

理論的枠組み

1. クレイン空間法

クレイン空間理論を用いて非半有界形式を処理
基本対称性 $J$ を通じてクレイン空間とヒルベルト空間を関連付け
J-自伴、J-非負などの概念を使用

2. 空間三つ組の構成

クレイン空間におけるJ-非負、J-自伴有界可逆作用素 $A$ に対して、空間三つ組を構成： $K_+ \subset K \subset K_-$ ここで：

$K_+ = \text{dom}(JA)^{1/2}$ は内積 $\{f,g\}_+ = \{(JA)^{1/2}f, (JA)^{1/2}g\}$ を備える
$K_-$ は $(K_+, \{\cdot,\cdot\}_+)$ の双対空間
各包含は稠密で連続

3. 全単射対応関係

写像 $\Phi$ を確立：

閉対称形式の集合からクレイン空間作用素の集合へ
公式 $K := \text{dom}t$ 、 $[\cdot,\cdot] := t[\cdot,\cdot]$ 、 $A := A_t$ を通じて
逆写像は空間三つ組の構成を通じて与えられる

技術的革新点

統一的処理: 正則形式に限定されず、すべての可能な閉包を処理
幾何学的洞察: 空間三つ組を通じた閉包の幾何学的理解を提供
明示的構成: モデル空間 $L^2_{r_-}(\mathbb{R})$ におけるパラメータ化された閉包族： $\text{dom}t_\alpha = \{f \in L^2_{r_-}(\mathbb{R}) : f_e \in L^2_{\eta_\alpha}(\mathbb{R}), f_o \in L^2_{\omega_\alpha}(\mathbb{R})\}$ ここで $\alpha \in [0,2]$ 、 $f_e$ 、 $f_o$ はそれぞれ $f$ の偶部と奇部

実験設定

モデル空間の構成

重み関数 $r \in L^1_{\text{loc}}(\mathbb{R})$ を考察し、以下を満たす：

$r(x) = 0$ a.e. on $[-\varepsilon, \varepsilon]$
$xr(x) > 0$ a.e. on $(-\infty,-\varepsilon) \cup (\varepsilon,\infty)$
$r(-x) = -r(x)$ a.e.（奇関数）

定義：

$r_+(x) = xr(x)$ 、 $r_-(x) = \frac{1}{x}r(x)$
空間 $L^2_{r_\pm}(\mathbb{R})$ は対応する内積を備える

パラメータ族の構成

$\alpha \in [0,2]$ に対して、定義： $\eta_\alpha(x) = (\sqrt{|x|^\alpha + 1} - \sqrt{|x|^\alpha})|r(x)|$ $\omega_\alpha(x) = \sqrt{|x|^\alpha}|r(x)|$

閉包を構成： $t_\alpha[f,g] = \lim_{k \to \infty} \int_{-k}^k fg \, r \, dx$

実験結果

主要な結果

閉包の存在性: すべての $\alpha \in [0,2]$ に対して、 $t_\alpha[\cdot,\cdot]$ は $(T \cdot, \cdot)$ の閉包である
正則性の特性付け:
- $\alpha = 0$ のとき、一意の正則閉包に対応
- $\alpha \in (0,2]$ のとき、非正則閉包に対応
定義域の関係: $0 \leq \alpha < \beta \leq 2$ $0 \leq α < β \leq 2$ に対して：
- $L^2_{\omega_\beta} \subset L^2_{\omega_\alpha} \subset L^2_r$
- $L^2_r \subset L^2_{\eta_\alpha} \subset L^2_{\eta_\beta}$
- $\text{dom}t_\alpha \neq \text{dom}t_\beta$

特性スペクトル関数の分析

特性スペクトル関数 $E_\alpha$ に対して：

正則の場合（ $\alpha = 0$ ）： $\lim_{\lambda \to \infty} E_0([\varepsilon,\lambda])f$ が存在
非正則の場合（ $\alpha > 0$ ）：ある関数の極限が存在せず、作用素ノルムが無界： $\|E_\alpha((\varepsilon,k])\|_\alpha \geq \frac{2(\sqrt{k^\alpha} - \sqrt{\varepsilon^\alpha})}{\alpha(g_0,g_0)_{\eta_\alpha}}$