ヒマ

A:「回転行列R(θ)の場合には、(cosθ)I-(sinθ)iσ2=exp(−iσ2θ)
 と書ける。」
G:「θをiθに置き換えると、exp(σ2θ)になる。」
A:「cos(iθ)=coshθで、sin(iθ)=isinhθとなるから(*1)。」
G:「これもローレンツ変換の形ね。」
A:「どうやって判るの?」
G:「例えば、ケット|x>を列ベクトル(ix0,x1)~t として、こう計算すればいいのよ(*2)。」
A:「なるほど。まとめると、exp(σ2(θ1−iθ2))と書けるわけだ。
   <x|の場合には、exp(σ2(θ1+iθ2))となる。」
G:「大分要領が掴めてきたようね。」
A:「今日はこの辺にして、お花見にでも行こうか。」
G:「そんなヒマはないわ。」
A:「こんな得体の知れない計算に付き合う時間があるってのに?」
G:「それとこれとは別よ。」

(*1)
  cos(iθ) =Σ(-1)^m・(iθ)^2m/(2m)!    =Σθ^2m/(2m)!
  sin (iθ) =Σ(-1)^m・(iθ)^(2m+1)/(2m+1)! =Σθ^(2m+1)/(2m+1)!]

(*2)
|x’> = exp(σ2θ)|x>

exp(σ2θ)=((coshθ,-isinhθ),  
(isinhθ,coshθ))
 
ix0’=i(x0・coshθ-x1・isinhθ)
x1’ = -x0・sinhθ+x1・coshθ