数学 › 関数解析と作用素論 › 1 径数ユニタリ群と強連続半群

強連続 1 径数ユニタリ群と生成子

定義 2.1(「1 径数ユニタリ群と強連続半群」§2)

写像 U:R→B(H)U:\mathbb{R}\to\mathcal{B}(\mathcal{H}) が次を満たすとき、強連続 1 径数ユニタリ群という。

  1. 各 U(t)U(t) はユニタリ作用素で、U(0)=1U(0)=1、U(t+s)=U(t)U(s)U(t+s)=U(t)U(s)(s,t∈Rs,t\in\mathbb{R})。
  2. 各 ψ∈H\psi\in\mathcal{H} について t↦U(t)ψt\mapsto U(t)\psi は連続。

その生成子 AA を

D(A)={ψ∈H:lim⁡t→0U(t)ψ−ψt が存在する},iAψ=lim⁡t→0U(t)ψ−ψtD(A) = \Bigl\{\psi\in\mathcal{H} : \lim_{t\to 0}\frac{U(t)\psi-\psi}{t}\ \text{が存在する}\Bigr\},\qquad iA\psi = \lim_{t\to 0}\frac{U(t)\psi-\psi}{t}

で定める。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 2 問