時變 Hamiltoian 的解，描述了狀態向量由時間 t0 到時間 t 的演進，

  t   Uˆ  t , t0    t0  ，

其中   t  為時間 t 的狀態向量；   t0  為時間 t0 的狀態向量，也提供了隨時間

變 化 之狀態向量   t  的 初始 條件(Initial condition) ； Uˆ  t , t0  是使狀態向量

  t0  演變成為狀態向量   t  的時演算符(Time evolution operator)，時演算符

Uˆ  t , t0  也是一個么正轉換。

時 演 算 符 Uˆ  t , t0  和 時 序 指 數 (Time-ordering exponential 或 Time-ordered

exponential)「 T exp 」有一定的關係「

，其中「 T 」為時序算符(Time-ordering operator)「
，

但是如果要定義地更仔細的話「，則為 T 或 T ，
「 其中 T 是時間順序在後面的排在的


最左邊「
；而 T 是時間順序在後面的排在的最右邊「
。一般而言「
，如果沒有特別指明，

則 T 表示 T 。即

 i t   i t 
Uˆ  t , t0   T exp    Hˆ  t   dt    exp    Hˆ  t   dt   ，
Non  commuting   Commuting  
 t0   t0 

 i t   i t 
其中 T exp   H  t  dt  稱為 Dyson 級數(Dyson series)「； exp   Hˆ  t   dt   稱為
ˆ  
 t   t 
 0   0 

t 
Taylor 級數(Taylor series)；而 T exp   Hˆ  t   dt   稱為 Neumann 級數(Neumann
t 
0 

series)。

[1] 試證如果算符 Ĥ  t  隨變數 t 的變化是不可交換的(Non-commuting)「，則時演算

符 Uˆ  t , t0  為 Dyson 級數(Dyson series)。

[2]「 試證如果算符 Ĥ  t  隨變數 t 的變化是可交換的(Commuting)，則時演算符

Uˆ  t , t0  會由 Dyson 級數簡化為 Taylor 級數(Taylor series)。

[3] 試證時序指數可藉由以下的關係式表示為 Neumann 級數，

t t1 tn1 t t t
1
 dt  dt
1 2  dt f t , t ,
n 1 2 , tn    dt1  dt2
n ! t0 t 0  dt f t , t ,
n 1 2 , tn  ，
「「「「「「「「「 t0 t0 t0 t0

其中 f  t1 , t2 , , tn  是一個置換函數(Symmetric function)。

[4] 試證 Feymann 解糾纏理論(Feymann’s disentanglement theorem)，

 t  t  t 
T exp   g  t   h  t  dt   T exp   g  t  dt  T exp   Hˆ  t   dt 
 ˆ  ˆ    ˆ  
 
t0   t0   t0 

t   t  t  t  
 T exp   gˆ  t   dt  T exp   T exp    gˆ  t   dt  hˆ  t   T exp   gˆ  t   dt  dt 
 t0  t0  t0   t0  

t 
 Uˆ  t  T exp   Uˆ †  t   hˆ  t  Uˆ  t   dt 
 t0 

t 
 U  t  T exp   Hˆ  t   dt 
ˆ
 t0 

 Uˆ  t Vˆ  t  ，

t  t 
其 中 Uˆ  t   T exp   gˆ  t   dt  ； Vˆ  t   T exp   Hˆ  t   dt  ；
 t0   t0 

 t  t 
H  t   T exp    g  t  dt  h  t  T exp   gˆ  t   dt   Uˆ †  t  hˆ t Uˆ t  。
ˆ ˆ   ˆ 
 t0   t0 

[解] 在量子力學的 Hilbert 空間中，狀態向量(State vector)隨著時間的演進，

也就是狀態向量隨著時間的變化，是由時變 Schrödinger 方程式(Time dependent

Schrödinger equation)所支配的，即
 d
i   t   Hˆ  t    t  ，
dt

其中   t  為隨著時間演進的狀態向量； Ĥ  t  為時變 Hamiltoian； 為 Planck

常數； t 為時間。

這個時變 Hamiltoian 的解，描述了狀態向量由時間 t0 到時間 t 的演進，

  t   Uˆ  t , t0    t0  ，

其中   t  為時間 t 的狀態向量；   t0  為時間 t0 的狀態向量，也提供了隨時間

變 化之狀態向量   t  的 初始 條件(Initial condition) ； Uˆ  t , t0  是使狀態向量

  t0  演變成為狀態向量   t  的時演算符(Time evolution operator)，時演算符

Uˆ  t , t0  也是一個么正轉換。

時 演 算 符 Uˆ  t , t0  和 時 序 指 數 (Time-ordering exponential 或 Time-ordered

exponential)「 T exp 」有一定的關係「

，其中「 T 」為時序算符(Time-ordering operator)「
，

但是如果要定義地更仔細的話「，則為 T 或 T ，
「 其中 T 是時間順序在後面的排在的


最左邊「
；而 T 是時間順序在後面的排在的最右邊「
。一般而言「
，如果沒有特別指明，

則 T 表示 T 。即

 i t   i t 
Uˆ  t , t0   T exp   Hˆ  t   dt    exp   Hˆ  t   dt   ，
Non  commuting  t  Commuting  t 
 0   0 

 i t   i t 
其中 T exp   H  t  dt  稱為 Dyson 級數(Dyson series)「； exp   Hˆ  t   dt   稱為
ˆ  
 t   t 
 0   0 

t 
Taylor 級數(Taylor series)；而 T exp   Hˆ  t   dt   稱為 Neumann 級數(Neumann
t 
0 

，如果算符 Ĥ  t  隨變數 t 的變化是不可交換的(Non-commuting)「，

。也就是說「
series)「
則時演算符 Uˆ  t , t0  為 Dyson 級數(Dyson series)；如果算符 Ĥ  t  隨變數 t 的變化

是可交換的(Commuting)「，則時演算符 Uˆ  t , t0  會由 Dyson 級數簡化為 Taylor 級數

(Taylor series)。

此外「，在時間 t0 的狀態向量   t0  也提供了狀態向量   t  隨時間演進的初

始條件，由

  t0   Uˆ  t0 , t0    t0  ，

所以 Uˆ  t , t   Iˆ ；

且初始條件為 Uˆ  t0 , t0   Iˆ ，

其中 Iˆ 為等同算符(Identity operator)。

因為在時間 t0 到 t 的範圍內，狀態向量隨時間的演變，由   t0  演變到

  t  的過程，可以表示為

  t   Uˆ  t , t0    t0  ，

且   t2   Uˆ  t2 , t1    t1  ，

 Uˆ  t2 , t1 Uˆ  t1 , t0    t0 

 Uˆ  t2 , t0    t0  ，

其中初始條件為 Uˆ  t0 , t0   Iˆ ；且 Uˆ  t2 , t0   Uˆ  t2 , t1 Uˆ  t1 , t0  。

當 我 們 把   t   Uˆ  t , t0    t0  ， 代 入 時 變 Schrödinger 方 程 式

d
i   t   Hˆ  t    t  ，會產生一個時演算符 Uˆ  t , t0  的方程式
dt
d d ˆ
i  t   i U  t , t0    t0    Hˆ  t  Uˆ  t , t0    t0   ，
dt dt 
  d ˆ  ˆ
則 i dt  H  t   U  t , t0    t0   0 。

因為   t0  是一個任意的狀態向量，所以時演算符 Uˆ  t , t0  ，必須滿足

 d ˆ  ˆ
i dt  H  t   U  t , t0   0 ，

所以時演算符 Uˆ  t , t0  的方程式為

d ˆ
i U  t , t0   Hˆ  t Uˆ  t , t0  。
dt

這個形式也就是初始條件為 Yˆ  t0 , t0   Iˆ 或 Yˆ  0   Iˆ 的算符一次微分方程式

d ˆ
Y  t , t0   Yˆ  t , t0   Aˆ  t , t0  Yˆ  t , t0  ，
dt
d ˆ
或 Y  t   Yˆ  t   Aˆ  t  Yˆ  t  。
dt

值得特別注意的是 Yˆ  t , t   Iˆ 。，

其中 Iˆ 為等同算符。

所 以 求 解 時 變 Schrödinger 方 程 式 ， 其 實 是 一 個 初 值 問 題 (Initial value

problem)，對於一個實數或複數函數(Real or complex function) y  t  的初值問題

(Initial value problem)，若

d
y t   y t   a t  y t  ；
dt

且 y  0  1 ，

其中 a  t  是一個給定的實數或複數函數，則可解得

t 
y  t   exp   a  t   dt  。
0 

然而「，如果把函數換成在 Hilbert 空間中的算符「，即換成 Hilbert 空間算符(Hilbert

space operator)，則算符的一次微分方程式
 d ˆ
Y  t   Yˆ  t   Aˆ  t  Yˆ  t  ；
dt

且初始條件為 Yˆ  0   Iˆ ，

其中 Iˆ 為等同算符。

如果定義一個算符 B̂  t  為，

t
Bˆ  t    Aˆ  t   dt  ，
0

t 
那麼這個算符一次微分方程式還有相似於 y  t   exp   a  t   dt  形式的解嗎?我
0 

們可以回答「「 如果算符 Â  t  隨變數 t 的變化是可交換的「，即  Aˆ  t  , Aˆ  t   0 ，

t 
「 則 exp  Bˆ  t    exp   Aˆ  t   dt  是 Yˆ  t   Aˆ  t  Yˆ  t  的解「；但是如果算
其中 t  t ，
0 

符 Â  t  隨變數 t 的變化是不可交換的，即  Aˆ  t  , Aˆ  t   0 ，其中 t  t ，則

t 
T exp  Bˆ  t    T exp   Aˆ  t   dt  才是 Yˆ  t   Aˆ  t  Yˆ  t  的解「，其中 T 是時序算符「。」
0 

以下我們將依序介紹[1]「 如果隨著時間的變化「，算符和本身是可交換的「，則

算符一次微分方程式的解「
；[2]「 如果隨著時間的變化「
，算符和本身是不可交換的，

則 算 符 一 次 微 分 方 程 式 的 解 ； [3] 時 序 指 數 (Time-ordering exponential 或

Time-ordered exponential) 的 特 性 ； [4] Feymann 解 糾 纏 理 論 (Feymann’s

disentanglement theorem)。

[1]「 如果隨著時間的變化，算符和本身是可交換的，則

d ˆ
[方法一] 這個算符一次微分方程式 Y  t   Aˆ  t  Yˆ  t  的解為
dt
 t 
Yˆ  t   exp  Bˆ  t    exp   Aˆ  t   dt  ，
 t0 

t
其中 Bˆ  t    Aˆ  t   dt  。
t0

這個結果很容易驗證，由

 Bˆ  t  
n

exp  Bˆ  t      
n 0 n !

 Bˆ  t   Bˆ  t   Bˆ  t   Bˆ  t 
0 1 2 3

           
0! 1! 2! 3!

 Bˆ  t   Bˆ  t 
   B  t  
1 2 3
ˆ 
 1    ，
1! 2! 3!

對時間微分，則

exp  Bˆ  t    Bˆ  t    Bˆ  t  Bˆ  t   Bˆ  t  Bˆ  t  
d ˆ d 1
Y t  
dt dt 2!  
1ˆ
 B  t  Bˆ  t  Bˆ  t 
3! 

 Bˆ  t  Bˆ  t  Bˆ  t   Bˆ  t  Bˆ  t  Bˆ  t  

1 ˆ 
t t
 A  t    A  t   A  t  dt   Aˆ  t   dt Aˆ t 
ˆ ˆ  
2!  t0 t0 

 2 2

1ˆ  ˆ  t t  
t t
  A  t    A  t   dt    A  t   dt A  t   A  t   dt     A  t   dt  A  t  
ˆ ˆ ˆ ˆ ˆ ，
3!  t0  0 t0  
 t0

因 為 在 時 間 t0 到 t 的 範 圍 內 ， 算 符 Â  t  隨 變 數 t 的 變 化 是 可 交 換 的 ， 即

 Aˆ  t  , Aˆ  t   0，其中
「 t  t ，所以我們可以把算符
「 Â  t  提出來「，移到最左邊，
 

即
 d ˆ 
 1
t t 
Y  t   Aˆ  t  1    Aˆ  t   dt    Aˆ  t   dt 
dt  2! t0 
 t0

 t 2
t  
2
1  ˆ  t ˆ 
t
    A  t   dt    A  t   dt  Aˆ  t   dt     Aˆ  t   dt   
3!   0  t0 t0  
 t0

2

 1 t 1  
t
 Aˆ  t  1   Aˆ  t   dt     Aˆ  t   dt   
 1! t0 2!  t0  

t 
 A  t  exp   Aˆ  t   dt 
ˆ
 t0 

 Aˆ  t  Yˆ  t  。得證。

t 
[方法二] 現在我們的目標是 Yˆ  t , t0   exp   Aˆ  t   dt  。
 t0 

如前所述「，因為在時間 t0 到 t 的範圍內「，算符 Yˆ  t , t0  隨時間的演變「，如圖所

示，

可以表示為

Yˆ  t , t0   Yˆ  t , t2  Yˆ t2 , t1  Yˆ t1 , t0 

 Yˆ  t , t3  Yˆ  t3 , t2  Yˆ  t2 , t1  Yˆ  t1 , t0   。

很明顯的「，算符 Yˆ  t , t0  是對應於一段時間「 一段時間的一個一個算符乘起來的，

t 
如果我們的目標是 Y  t , t0   exp   Aˆ  t   dt  ，則將藉由
ˆ
 t0 
   N 1  t 
Yˆ  t , t0   lim exp   Aˆ  t0  k    exp   Aˆ  t   dt 
 0
  k 0   N
0  t0 

的近似而得「。一般而言「，指數算符(Exponential operator)相乘「，指數算符的運算必

須要採用 Baker–Campbell–Hausdorff 關係式「

，當然現在我們討論的算符是可交換

的「，所以指數的算符可以直接相加「；或者也可以反過來說「，由算符的指數可直接

N 1 t
相加就知道算符是可交換的「。再者「，如果要使   Aˆ  t0  k    Aˆ  t  dt  成立，
N 
k 0   0 t0

就必須把時間切割成一小段一小段之後，再把一個一個的算符 exp  Aˆ  t0  k 

乘起來。

此外「，要額外提出說明的是「，我們所習慣的幾何作圖和代數表示式的運算方

向恰好相反「，因為時間數線的右側是正向的「，所以「 在幾何圖中「，狀態向量   t 

是 隨 著 時 間 向 右 演 進 的 」； 而 在   t2   Uˆ  t2 , t1 Uˆ  t1 , t0    t0  中 ， 左 側 的

Uˆ  t2 , t1  承接了右側的 Uˆ  t1 , t0  操作結果，也就是，「 在代數式中，時間是向左演

進的」。。

但是「，算符 Yˆ  t  t , t  的表示式如何近似於指數算符的形式呢？現在我們要

推導算符 Yˆ  t  t , t  的表示式「，要注意由時間 t 到 t  t 只經過了 t ，在

「 t  0 的

極限條件下，相鄰的算符 Yˆ  t  t , t  就可被視為是連續的。

以 Taylor 展開式表示算符 Yˆ  t  t , t0 

Yˆ  t , t0 
Yˆ  t  t , t0   Yˆ  t , t0   t  H .O.T .
t
 Yˆ  t , t0   tAˆ  t  Yˆ  t , t0   H .O.T . ，
 d ˆ
其中代入了 Y  t , t0   Aˆ  t  Yˆ  t , t0  ，且 H .OT
. . 表示高階次項(High order terms)。
dt

令 t0  t ，則由 Yˆ  t , t   Iˆ ，所以

Yˆ  t  t , t   Yˆ  t , t   tAˆ  t  Yˆ t , t   H .O.T .

 Iˆ  tAˆ  t   H .O.T .

 exp  tAˆ  t   。

這個結果顯示時演算符和算符指數的關係。

接下來「，我們把時間 t0 到 t 的時間軸「，劃分為 N 個等分「，則每一個時間等分

t  t0
的長度為  ，
N

則算符 Yˆ  t , t0  隨時間的演變，可以表示為

Yˆ  t , t0   Yˆ  t0  N  , t0   N  1   Yˆ  t0  3 , t0  2  Yˆ  t0  2 , t0    Yˆ  t0   , t0 

 Yˆ  t0  t  t0 , t0  t  t0    Yˆ t0  3 , t0  2  Yˆ t0  2 , t0    Yˆ t0   , t0 

 Yˆ  t , t    Yˆ  t   , t  2  Yˆ t0  3 , t0  2  Yˆ t0  2 , t0    Yˆ t0   , t0 

  Yˆ  t0  k , t0   k  1   ，
N

k 1

其中 t  t0  N  或 t  N   t0 。

又，如前所述， Yˆ  t  t , t   exp tAˆ  t  ，算符 Yˆ  t , t0  隨時間的演變是

N
Yˆ  t , t0    Yˆ t0  k , t0   k  1  
k 1

N
  Yˆ  t0  k      ,  t0  k   
k 1

   exp  Aˆ  t0   k  1    。
N

k 1

t  t0
因為   「 所以當 N   且 t0   N  1   t0  N    t0  N  t ，
， 「 或同義
N N 
 N 1 t
於   0 ，則由   Aˆ  t0  k    Aˆ  t  dt 可得
N 
k 0   0 t0

  N 1 ˆ  t 
Y  t , t0   lim exp   A  t0  k    exp   Aˆ  t  dt  ，
ˆ
 0
  k 0   N
0  t0 

t 
即 Yˆ  t , t0   exp   Aˆ  t  dt  ，
 t0 

所以如果算符 Â  t  隨變數 t 的變化是可交換的「，即  Aˆ  t  , Aˆ  t   0，其中

「 t  t  ，

則時演算符 Yˆ  t , t0  為 Taylor 級數(Taylor series)，即

t 
Yˆ  t , t0   exp   Aˆ  t  dt  。
 Aˆ  t , Aˆ  t   0

t t
 t0 

在量子力學 量子光學或量子場論中，經常遇到的么正轉換算符 Uˆ  t , t0  表

示則為

 i t 
Uˆ  t , t0   exp    Hˆ  t  dt  ，
 Hˆ  t , Hˆ  t   0

t  t
  t0 

其中 Ĥ  t  為 Hamiltonian。

有一種特別的情況是當算符 Ĥ  t  是與時間無關的「，即 Hˆ  t   Hˆ ，
「 則么正轉

換算符 Uˆ  t , t0  為

 i t   i t  i
 Hˆ  t t0 
U  t , t0   exp    H  t  dt   exp    Hdt   exp
ˆ ˆ ˆ 。
 t0   t0 

[2]「 如果隨著時間的變化「，算符和本身是不可交換的「，則算符的先後次序就必須

考慮，也就是說，算符的先後次序不同，結果就可能不同。

若有一個操作算符 Â  t  隨著時間的變化，由 t n tn 1 漸次演進到 t1 ，如圖所

示，其中為了方便，所以我們習慣把最後的那一個時間點定為 t1 。

再重申一次，「 在幾何圖中，算符是隨著時間向右演進的；在代數式中，算符是

隨著時間是向左演進的」。

所以我們定義兩個時序算符 T 和 T ，分別為

  
T Aˆ  t1  Aˆ  t3  Aˆ  t2  Aˆ  t5  Aˆ  t4   T Aˆ  t5  Aˆ  t3  Aˆ t1  Aˆ  t2  Aˆ t4  

「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「  T Aˆ  t4  Aˆ  t1  Aˆ  t2  Aˆ  t5  Aˆ t3  
「「「「「「「「「「「「「「「「「「「「「「「「「「「「「「「「「

「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「  Aˆ  t1  Aˆ  t2  Aˆ  t3  Aˆ  t4  Aˆ t5  ；

  
T Aˆ  t1  Aˆ  t3  Aˆ  t2  Aˆ  t5  Aˆ  t4   T Aˆ  t1  Aˆ  t3  Aˆ  t2  Aˆ t5  Aˆ t4  
 
「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「  T Aˆ  t1  Aˆ  t3  Aˆ  t2  Aˆ  t5  Aˆ t4 

「「「「「「「「「「「「「「「「「「「「「「「「「「「「「「「「「「

「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「  Aˆ  t5  Aˆ  t4  Aˆ  t3  Aˆ  t2  Aˆ t1  ，

其中時序算符 T 是時間順序在後面的排在的最左邊「，所以在括號內的算符無論如

何排列「，經過時序算符 T 操作之後的結果一定是 Aˆ  t1  Aˆ  t2  Aˆ  t3  Aˆ  t4  Aˆ  t5  ；
「 而

時序算符 T 是時間順序在後面的排在的最右邊「，所以在括號內的算符無論如何排

列，經過時序算符 T 操作之後的結果一定是 Aˆ  t5  Aˆ  t4  Aˆ  t3  Aˆ  t2  Aˆ  t1  。

根據時序算符的定義，所以就會有以下的結果，

「 「 「 「 「 「 「 「 「 「 「 「 T  Aˆ  t1  , Aˆ  t2   TAˆ  t1  Aˆ  t2   TAˆ  t2  Aˆ  t1 

「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「 「  Aˆ  t1  Aˆ  t2   Aˆ t1  Aˆ t2   0 ；

T  Aˆ  t1  , Aˆ  t2   TAˆ  t1  Aˆ  t2   TAˆ  t2  Aˆ  t1 

 Aˆ  t2  Aˆ  t1   Aˆ  t2  Aˆ t1   0 。

[方法一] 如果算符和本身隨著時間的變化是不可交換的，則我們令這個算符一

d ˆ
次微分方程式 Y  t   Aˆ  t  Yˆ  t  的解為
dt

t 
Yˆ  t   T exp   Aˆ  t   dt  。
 t0 

只要先確定初始條件，即當 t  t0 ，則

 t0 
Y  t0   T exp   Aˆ  t   dt   Iˆ ，
ˆ
 t0 

其中 Iˆ 為等同算符。

t 
再 將 Yˆ  t   T exp   Aˆ  t   dt  對 時 間 微 分 ， 就 可 以 驗 證 這 個 解 是 否 滿 足
 t0 

d ˆ t 
Y  t   A  t  T exp   Aˆ  t   dt  ，則
ˆ
dt  t0 

d ˆ  1
t t 
Y  t   T  Aˆ  t    Aˆ  t   Aˆ  t   dt    Aˆ  t   dt Aˆ  t 
dt  2!  t0 t0 

 2 2
 
1ˆ  ˆ  t t   
t t
  A  t    A  t   dt    Aˆ  t   dt Aˆ  t   Aˆ  t   dt     Aˆ  t   dt   Aˆ  t    
3!   t0  0  t0 
 t0
 

1  
t t
 TAˆ  t   T  Aˆ  t   Aˆ  t   dt    Aˆ  t   dt Aˆ  t  
2!  t0 t0 

 2 2

1 ˆ  ˆ  t t  
t t
 T  A  t    A  t  dt    A  t  dt A  t   A  t  dt    A  t  dt  A  t  
  ˆ   ˆ ˆ   ˆ   ˆ
3!  t0  0 t0  
 t0
 1  
t t
 TAˆ  t   T  Aˆ  t   Aˆ  t   dt   Aˆ  t   Aˆ  t   dt 
2!  t0 t0 

 2
 
2
1 ˆ  ˆ  t
t t t
 T  A  t    A  t   dt   Aˆ  t   Aˆ  t   dt  Aˆ t   dt   Aˆ t    Aˆ t   dt   
3!  t0  t0  
 0 t0


1  
t t
 Aˆ  t   Aˆ  t  T   Aˆ  t   dt    Aˆ  t   dt 
2!  t0 t0 

 t 2
 t
2
 t  
2
1  
 Aˆ  t  T   Aˆ  t   dt     Aˆ  t   dt     Aˆ  t   dt   
3! t0  t0  t0  
 
2
2   3  
t t
 Aˆ  t   Aˆ  t  T   Aˆ  t   dt   Aˆ  t  T   Aˆ  t   dt  
2!  t0  3!  t0 

 t  1 t 
2

 1 
 Aˆ  t  1  T   Aˆ  t   dt   T   Aˆ  t   dt   
 1! t0  2!  t0  

 t  1 t 
2

 1 
 Aˆ  t  T 1    Aˆ  t   dt     Aˆ  t   dt   
 1! t0  2!  t0  

t 
 A  t  T exp   Aˆ  t   dt 
ˆ
 t0 

 Aˆ  t  Yˆ  t  ，

d t  t 
即 T exp   Aˆ  t   dt   Aˆ  t  T exp   Aˆ  t   dt  ，成立。
dt  t0   t0 

其中因為在時間 t0 到 t 的範圍內，在時序算符 T 操作下，算符 Â  t  是時間順序最

後面的操作，所以每一項的算符 Â  t  ，都會被排在最左邊。

很明顯的，對於和時間相依的 Hamiltonian 的問題，時演算符 Â  t  或時序指

t 
數 T exp   Aˆ  t   dt  支配著 Schrödinger 方程式的解。
 t0 
 我們也可以藉相似的步驟，驗證

d t  t 
T exp   Aˆ  t   dt   T exp   Aˆ  t   dt  Aˆ  t  。
dt  t0   t0 

[方法二] 當算符和本身隨著時間的變化是不可交換的，則我們可以把算符一次

d ˆ
微分方程式 Y  t   Aˆ  t  Yˆ  t  改寫為算符積分方程式(Integral equation)
dt
t
Yˆ  t , t0   Iˆ   Aˆ  t   Yˆ  t , t0  dt  ，
t0

t0

其中初始條件為 Yˆ  t0 , t0   Iˆ   Aˆ  t   Yˆ  t , t0  dt   Iˆ  0  Iˆ 。
t0

我們可以很簡單的驗證這個算符積分方程式和算符微分方程式是相同的「，即算符

積分方程式對 t 微分，

d ˆ 
t
d ˆ
Y  t , t0    I   Aˆ  t   Yˆ  t , t0  dt   0  Aˆ  t  Yˆ  t , t0   Aˆ  t  Yˆ  t , t0  。
dt dt  t0 

因為 Yˆ  t , t0  出現在算符積分方程式等號兩側，所以無法立即提供方程式的解，

以下我們將基於微擾理論的觀念「
，以一個「 簿記參數」(Bookkeeping parameter) a ，

其中 a 是一個正數，藉由遞迴的過程(Iterative procedure)，求出算符 Yˆ  t  ，最後

再使 a  1 ，推導出 Dyson 級數。

由於算符 Yˆ  t  是隨時間演進算符 Â  t  而演進的，所以最後我們要找出以算

符 Â  t  對算符 Yˆ  t  微擾展開的形式。

ˆ  t , t  算符為
定義一個算符函數  0


ˆ  t , t    a mYˆ  t , t  且 Aˆ  t   aAˆ  t  ，
 0 m 0
m 0
其中 Yˆm  t , t0  和算符 Â  t  的 m 階運算有關；而 Yˆ  t , t0   lim Yˆn  t , t0  。
n 

d ˆ
代入 Y  t , t0   Aˆ  t  Yˆ  t , t0  ，則
dt

d ˆ d
  t , t0    a m Yˆm  t , t0 
dt m 0 dt
d ˆ d d d
 a0 Y0  t , t0   a1 Yˆ1  t , t0   a 2 Yˆ2  t , t0   a 3 Yˆ3  t , t0  
dt dt dt dt

 Aˆ  t  
ˆ t, t 
0

 aAˆ  t   a 0Yˆ0  t , t0   a1Yˆ1  t , t0   a 2Yˆ2 t , t0   a 3Yˆ3 t , t0   



 a0  0  a1 Aˆ  t  Yˆ0  t , t0   a 2 Aˆ  t  Yˆ1 t , t0 

a3 Aˆ  t  Yˆ2  t , t0   a 4 Aˆ t  Yˆ3 t , t0   。

而相同冪次的簿記參數 a 是相同的，即

d ˆ
對於 a 0 ， Y0  t , t0   0 ，則 Yˆ0  t , t0   Iˆ ；
dt
d ˆ
對於 a1 ， Y1  t , t0   Aˆ  t  Yˆ0  t , t0  ；
dt
d ˆ
對於 a 2 ， Y2  t , t0   Aˆ  t  Yˆ1  t , t0  ；
dt
d ˆ
對於 a 3 ， Y3  t , t0   Aˆ  t  Yˆ2  t , t0  ；
dt

「「「「「「「「「「「「「「「「 ；

d ˆ
對於 a n ， Yn  t , t0   Aˆ  t  Yˆn 1  t , t0  。
dt
t
把這個遞迴的微分關係代入 Yˆ  t , t0   Iˆ   Aˆ  t   Yˆ  t , t0  dt  ，則可得積分關係式為
t0

Yˆ0  t , t0   Iˆ ；

t
Yˆ1  t , t0   Yˆ0  t , t0    Aˆ  t   Yˆ0  t , t0  dt 
t0
 t
 Iˆ   Aˆ  t   dt  ；
t0

t
Yˆ2  t , t0   Iˆ   Aˆ  t   Yˆ1  t , t0  dt  ；
t0

t  t 
「 「 「 「 「 「 「 「 「 「 「 「 「 「 「  I   A  t    Iˆ   Aˆ  t   dt  dt 
ˆ ˆ
t0  t0 

t t t
「 「 「 「 「 「 「 「 「 「 「 「 「 「 「  Iˆ   dt Aˆ  t     dt Aˆ  t    dt Aˆ  t  
t0 t0 t0

t t t
「 「 「 「 「 「 「 「 「 「 「 「 「 「 「  Iˆ   dt Aˆ  t     dt  dt Aˆ  t   Aˆ  t   ；
t0 t0 t0

「「「「「「「「「「「「「「「「 ，

「 如前所述「，算符 Â  t  隨著時間的
如果我們把積分變量換成 t n 「 tn 1 「 …「 t 2 「 t1 ，

變化是由 t0 開始演進，從 t n tn 1 漸次到 t1 ，如圖所示，

其中為了方便，所以我們習慣把最後的那一個時間點定為 t1 ，則

t t t1 t t1 t2

「 「 「 Yˆn  t , t0   Iˆ   dt1 Aˆ  t1    dt1 Aˆ  t1   dt2 Aˆ  t2    dt1 Aˆ  t1   dt2 Aˆ  t2   dt3 Aˆ  t3 

t0 t0 t0 t0 t0 t0

t t1 tn1

  dt1 Aˆ t1   dt2 Aˆ t2 

t0 t0
 dt
t0
n Aˆ  tn 

t t t1 t t1 t2

「 「 「 「 「 「 「 「 「  Iˆ   dt1 Aˆ  t1    dt1  dt2 Aˆ  t1  Aˆ  t2    dt1  dt2  dt3 Aˆ  t1  Aˆ  t2  Aˆ  t3 

t0 t0 t0 t0 t0 t0

t t1 tn1

  dt  dt
t0
1
t0
2  dt Aˆ t  Aˆ t 
t0
n 1 2 Aˆ  tn 
 n t t1 tm1

 Iˆ    dt1  dt2  dt Aˆ t  Aˆ t 
m 1 2 Aˆ  tm  。
m  0 t0 t0 t0

這個就是 Neumann 級數。

d ˆ
又 Yˆ  t , t0   lim Yˆn  t , t0  ，可得算符微分方程式 Y  t   Aˆ  t  Yˆ  t  的解為
n  dt
 t t1 tm1

Yˆ  t , t0   Iˆ    dt1  dt2  dt Aˆ t  Aˆ t 
m 1 2 Aˆ  tm  。
m  0 t0 t0 t0

如果以時序算符 T 表示「，而且把積分上限「，即 t n 「 tn 1 「 …「 t 2 「 t1 ，
「 全部延

長到 t ，則解為

  
1 
t t t
Yˆ  t , t0   Iˆ     dt1  dt2  dtmT  Aˆ t1  Aˆ t2  Aˆ  tm    ，
m 0 
 m ! t0 t0 t0 


t 
 T exp   Aˆ  t   dt  ，
 t0 

當中的轉換關係，稍後會介紹。

[方法三] 當算符和本身隨著時間的變化是不可交換的，則我們可以把算符一次

d ˆ
微分方程式 Y  t   Aˆ  t  Yˆ  t  改寫為算符積分方程式(Integral equation)
dt
t
Yˆ  t , t0   Iˆ   Aˆ  t   Yˆ  t , t0  dt  ，
t0

t0

其中初始條件為 Yˆ  t0 , t0   Iˆ   Aˆ  t   Yˆ  t , t0  dt   Iˆ  0  Iˆ 。
t0

如果我們令 t  t  ，則

t
Yˆ  t , t0   Iˆ   Aˆ  t   Yˆ  t , t0  dt  。
t0

把 Yˆ  t , t0  代入 Yˆ  t , t0  ，得
 t
Yˆ  t , t0   Iˆ   Aˆ  t   Yˆ  t , t0  dt 
t0

t  t 
「 「 「 「 「 「 「 「 「 「 「 「 「 「 「  I   A  t   Iˆ   Aˆ  t   Yˆ  t , t0  dt  dt 
ˆ ˆ 
t0  t0 

t t t
「 「 「 「 「 「 「 「 「 「 「 「 「 「 「  Iˆ   dt Aˆ  t     dt Aˆ  t    dt Aˆ  t   Yˆ  t , t0 
t0 t0 t0

t t

   
「 「 「 「 「 「 「 「 「 「 「 「 「 「 「  O ˆ V 0 O ˆ V 1   dt Aˆ  t    dt Aˆ  t   Yˆ  t , t0  ，
t0 t0

   
其中O ˆ V 0  Iˆ 且O ˆ V 1   dt Aˆ  t   。
t0

由以上的表示法可以定出

t t1 tn1

 
O ˆ V n   dt1  dt2  dt Aˆ t  Aˆ t 
n 1 2 Aˆ  tn  ，
t0 t0 t0

因為 Â  t  其實是一個干擾項，如果放在 Schrödinger 方程式中，相對於未受干擾

的 Hamiltonian Ĥ 0  t  是很小的，所以O ˆ V n  會衰減收斂得很快。

「 如前所述「，算符 Â  t  隨著時
如果我們把積分變量換成 t n 「 tn 1 「 …「 t 2 「 t1 ，

間的變化是由 t0 開始演進，從 t n tn 1 漸次到 t1 ，如圖所示，

其中為了方便，我們習慣把最後的那一個時間點定為 t1 。

再經由一次一次的迭代之後，可得

t t t1 t t1 t2

「 「 「 Yˆ  t , t0   Iˆ   dt1 Aˆ  t1    dt1 Aˆ  t1   dt2 Aˆ  t2    dt1 Aˆ  t1   dt2 Aˆ  t2   dt3 Aˆ  t3 

t0 t0 t0 t0 t0 t0
 t t1 tn1

  dt1 Aˆ t1   dt2 Aˆ t2 

t0 t0
 dt
t0
n Aˆ  tn 

「 「 「 「 「 「 「 「 「 「  O ˆ V 0  O ˆ V 1  O ˆ V 2    
O ˆ V n  ，

t t t1

   
其 中 O ˆ V 0   Iˆ ； O ˆ V 1   dt1 Aˆ  t1  ； O ˆ V 2   dt1  dt2 Aˆ  t1  Aˆ  t2  ；
t0 t0 t0

t t1 tn1

 
O ˆ V n   dt1  dt2  dt Aˆ t  Aˆ t 
n 1 2 Aˆ  tn  。
t0 t0 t0

d ˆ
所以算符微分方程式 Y  t   Aˆ  t  Yˆ  t  的解為
dt

Yˆ  t , t0   Iˆ  O ˆ V n 。  
n 0

如果以時序算符 T 表示「，而且把積分上限「，即 t n 「 tn 1 「 …「 t 2 「 t1 ，
「 全部延

長到 t ，則解為

 t 
ˆ ˆ n
 
Y  t , t0   I  O V  T exp   Aˆ  t   dt  。
ˆ
n 0  t0 

這個結果就是前面所提的「，因為算符 Yˆ  t  是隨時間演進算符 Â  t  而演進的「，

所以算符 Yˆ  t  就可以算符 Â  t  來作微擾展開。

在量子力學 量子光學或量子場論中，經常遇到的么正轉換算符 Uˆ  t , t0  表

示則為

  n t

1  i  
t t
U  t , t0   I        dt1  dt2
ˆ ˆ
 dtnT  Hˆ t1  Hˆ t2  Hˆ  tn   
 n! 
n 0   t0 t0 t0 


 i t 
 T exp    Hˆ  t   dt  ，
 t0 

其中 Ĥ  t  為 Hamiltonian，且這是 Dyson 級數。

[3] 時序指數(Time-ordering exponential 或 Time-ordered exponential)

時序指數可藉由以下的關係式表示為 Neumann 級數，

t t1 tn1 t t t
1
 dt  dt
1 2  dt f t , t ,
n 1 2 , tn    dt1  dt2
n ! t0 t 0  dt f t , t ,
n 1 2 , tn  ，
「「「「「「「「「 t0 t0 t0 t0

其中 f  t1 , t2 , , tn  是一個置換函數(Symmetric function)。值得特別提出來的是，

在科學文獻敘述中「
，我們經常會看到兩個英文單字「 symmetric」和「 symmetrical」
，

在字義上都可以翻譯為 對稱的」，但是數學的意義卻有所差異，間單的說明就

是「「 symmetrical」通稱 一般的對稱」；但是 symmetric」在幾何上是對稱的

圖形「，例如「「一個拋物線「 一個橢圓球「，「 symmetric」在代數上是「，當函數的自

變數被置換或對調之後「，函數是沒有改變的「，例如「「若 f  x, y   x2  y 2 ，
「 在x和

y 互換之後，則 f  y, x   y 2  x2 ，即 f  x, y   f  y, x  。因為要彰顯 自變數置

換的操作」
，「 所以我們稱 f  x, y  是一個「 置換函數」
，「 而不稱為「 對稱函數」
，尤

其在群論(Group theory)或近代代數(Modern algebra)中，更常遇到這類的描述。

而得，簡單舉例說明如下「

若 f  t1 , t2   t1t2 ，則

t t1 t t1

 dt1  dt2  t1t2    dt1 t1   dt2 t2 

t0 t0 t0 t0

t1
1 
t
  dt1  t1   t22 
t0  2  t0

t

1

2 t0

dt1  t1  t12  t02 
 t
1

  dt1 t13  t02t1
2 t0

t
11 1 
  t14  t02t12 
24 2  t0

1 1 4 4 1 2 2 2 

2  4

t  t0  t0 t  t0 
2 
  
1
 
  t 4  t04  2t02 t 2  t02 
8
 

8

1 4 4
t  t0  2t02t 2  2t04 

8

1 4
t  2t02t 2  t04 

8

1 2 2 2
t  t0 ； 
t t t t
1 1
而  dt1  dt2  t1t2    dt1t1  dt2  t2 
2! t0 t0 2! t0 t0

1
t  1 2t 
  dt1  at1  t2  
2! t0   2  t0 

t
「「「「「「「「「「「「「「「「 
1 1 2 2
2 2!
t  t0    t dt 1 1
t0

11 1 2 2 2
  
t
 t  t0 t1
2 2 2! t0


11 1 2 2 2 2
2 2 2!

t  t0 t  t0  

1 2 2

2
 t  t0 ，
8
t t1 t t
1
所以可得  dt1  dt2  t1t2  
t0 t0
dt1 dt2  t1t2  。
2! t0 t0

我們可以用幾何的方式來理解這個關係。

在時間 t0 到 t 的範圍內，如果時演算符 Yˆ  t , t0  隨時間的演變，只被分成了 2

段，就是在二維空間中進行積分，即一個三角形的面積；如果時間被分成了 3

段「，就是在三維空間中進行積分「，即一個四面體(Tetrahedron)的體積「，如圖所示。

如 果 時 演 算 符 Yˆ  t , t0  隨 時 間 的 演 變 ， 被 分 成 了 n 段 ， 則 積 分 運 算

t t1 tn1

 dt  dt
t0
1
t0
2  dt Aˆ t  Aˆ t 
t0
n 1 2 Aˆ  tn  的幾何意義就是在 n 維空間中，求 n 多面體

(n-faced polyhedron)的體積。

如果積分範圍的上限都延長到 t ，則在二維空間中，積分運算結果是一個正

1
方形的面積「，所以最後要再乘以 ，「 才能得到正確的結果「，也就是一個三角形的
2

面積「；在三維空間中「，積分運算結果是一個立方體(Cube)或正四面體的體積「，所

1 1 1
以最後要先乘以 ，再乘以 ，整體而言就是乘上 ，才能得到正確的結果，
2 3 3!

也就是一個四面體的體積，如圖所示。依前所述，在 n 維空間中，

t t t
1
 dt  dt
t0
1
t0
2  dt Aˆ t  Aˆ t 
t0
n 1 2 Aˆ  tn  的結果「
，隨著時間軸的增加「
，所以漸次乘以 ，
2

t t t
1 1
再乘以 ，
3
「 …「，再乘以 ，
n
「 所以最後的積分運算  dt1  dt2
t0 t0
 dt Aˆ t  Aˆ t 
t0
n 1 2 Aˆ  tn 
 1 t t tn1
1
要乘上 ，就會等於
n!
「  1 t dt2
t0
dt  dt Aˆ t  Aˆ t 
t0
n 1 2 Aˆ  tn  ，幾何意義是一個抽象的
「
0

n 多面體(Polyhedron)的體積。

t 
綜 合 以 上 的 討 論 ， 藉 由 關 係 式 可 把 時 序 指 數 T exp   Aˆ  t   dt  和
 t0 

t 
T exp   Aˆ  t   dt  分別表示為 Neumann 級數，
 t0 

t   
1
t t t 
T exp   A  t  dt   I     dt1  dt2
ˆ   ˆ
 dtmT  Aˆ t1  Aˆ t2  Aˆ  tm  
 t0   n ! t0 t0
m 0  t0 

t t t1

 1   dt1 Aˆ  t1    dt1  dt2 Aˆ  t1  Aˆ  t2 

「「「「「「「「「「「「「「「「「 t0 t0 t0

t t1 t2

  dt1  dt2  dt3 Aˆ  t1  Aˆ  t2  Aˆ  t3   ；

「「「「「「「「「「「「「「「「「「「「「「「「「「「「「「「「 t0 t0 t0

t   
1
t t t 

T exp   Aˆ  t   dt   Iˆ     dt1  dt2  dtmT  Aˆ t1  Aˆ t2  Aˆ  tm   
 t0  m 0 
 n ! t0 t0 t0 


t t t1

 1   dt1 Aˆ  t1    dt1  dt2 Aˆ  t2  Aˆ  t1 

t0 t0 t0

t t1 t2

  dt1  dt2  dt3 Aˆ  t3  Aˆ  t2  Aˆ  t1   。

「「「「「「「「「「「「「「「「「「「「「「「「「「「「「「「 t0 t0 t0

[4] 最 後 ， 我 們 介 紹 一 下 Feymann 解 糾 纏 理 論 (Feymann’s disentanglement

theorem)，

 t  t  t 
T exp   g  t   h  t  dt   T exp   g  t  dt  T exp   Hˆ  t   dt 
 ˆ  ˆ    ˆ  
 
t0   t0   t0 
 t   t  t  t  
 T exp   gˆ  t   dt  T exp   T exp    gˆ  t   dt  hˆ  t   T exp   gˆ  t   dt  dt 
 t0  t0  t0   t0  

t 
 Uˆ  t  T exp   Uˆ †  t   hˆ  t  Uˆ  t   dt 
 t0 

t 
 U  t  T exp   Hˆ  t   dt 
ˆ
 t0 

 Uˆ  t Vˆ  t  ，

t  t 
其 中 Uˆ  t   T exp   gˆ  t   dt  ； Vˆ  t   T exp   Hˆ  t   dt  ；
 t0   t0 

 t  t 
H  t   T exp    g  t  dt  h  t  T exp   gˆ  t   dt   Uˆ †  t  hˆ t Uˆ t  。
ˆ ˆ   ˆ 
 t0   t0 

以下我們將基於「 若兩個函數或多項式滿足同一個一次微分方程式「，且其初

始條件也相同「，則這兩個函數或多項式相等」
，「 得到 Feymann 解糾纏理論「。簡單

說明如下「



t 

令   t   T exp    gˆ  t    hˆ  t    dt  ，則等號左側對時間 t 微分得
 

t0 


d d 
 
t 

「 「 「 「 「 「   t   T exp   gˆ  t    hˆ  t    dt  ，
 
dt dt 
t0 




t 

「 「 「 「 「 「 「 「 「 「 「 「   gˆ  t    hˆ  t   T exp    gˆ  t    hˆ  t   dt 
   

t0 


「 「 「 「 「 「 「 「 「 「 「 「 「   ĝ  t    hˆ  t     t  ，
 

t  t 
令  t   T exp   g  t  dt  T exp   Hˆ  t   dt  ，等號右側對時間 t 微分得
ˆ  
 t0   t0 
d d  t  t  
  t   T exp   gˆ  t   dt  T exp   Hˆ  t   dt   ，
dt dt 
 t0   t0  


 d t   t 
  T exp   g  t  dt   T exp   Hˆ  t   dt 
ˆ  
 dt t0    t0 

t  d t  
T exp   gˆ  t   dt   T exp   Hˆ  t   dt  
t0  

dt t0  


 t   t 
  g  t  T exp   g  t  dt  T exp   Hˆ  t   dt 
ˆ  ˆ  
 t0   t0 

t   t  
T exp   gˆ  t   dt   Hˆ  t   T exp   Hˆ  t   dt  
t0   t0  

t  t 
 g  t  T exp   g  t  dt  T exp   Hˆ  t   dt 
ˆ  ˆ  
 t0   t0 

t  t 
T exp   gˆ  t   dt  Hˆ  t   T exp   Hˆ  t   dt 
 t0   t0 

t  t 
 g  t  T exp   g  t  dt  T exp   Hˆ  t   dt 
ˆ  ˆ  
 t0   t0 

t   t  t  t 
T exp   gˆ  t   dt  T exp    gˆ  t   dt  hˆ  t   T exp   gˆ  t   dt  T exp   Hˆ  t   dt 
 t0   t0   t0   t0 

t  t 
 g  t  T exp   g  t  dt  T exp   Hˆ  t   dt 
ˆ  ˆ  
 t0   t0 

t  t 
 hˆ  t   T exp   gˆ  t   dt  T exp   Hˆ  t   dt 
 t0   t0 

t  t 
 g  t   h  t  T exp   g  t  dt  T exp   Hˆ  t   dt  ，
 ˆ  ˆ   ˆ  
 
 t0   t0 

  ĝ  t    hˆ  t    t  ，
 
 d
即，兩者對時間 t 微分的方程式都是   t   a  t    t  的形式，
dt

且初始條件為，

 t
0 

  t0   T exp    gˆ  t    hˆ  t   dt   Iˆ ；

t0 


 t0   t0 
  t0   T exp   g  t  dt  T exp   Hˆ  t   dt   Iˆ ，
ˆ  
 t0   t0 

t t  t  t 
所以 T exp   gˆ  t   dt    hˆ  t   dt   T exp   gˆ  t   dt  T exp   Hˆ  t   dt  。得證。
 t0 t0   t0   t0 