仮定 (W)

定義 3.2（「時間の観測量」§3）

$m>0$ とし、 $E=\hbar^2k^2/2m$ （ $k>0$ ）で $E$ と $k$ を対応させる。 $U$ を $r\gt R$ で $0$ となる動径ポテンシャルとし、開区間 $J\subset(0,\infty)$ と $C^1$ 級関数 $S:J\to\mathbb{C}$ 、 $|S|=1$ があって、各 $E\in J$ について動径方程式 $-u''+U(r)u=k^2u$ の原点で正則な解 $u_E$ が

u_E(r)=e^{-ik r}-S(E)\,e^{ik r}\qquad(r\ge R)

と書けるとする。これを 仮定 (W) と呼ぶ。

本文で読む（前後の説明と例）→

閉包の状態

定義

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

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

これを使っている定理

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