ウィック回転のソースを表示

'''ウィック回転'''（ウィックかいてん、{{lang-en-short|Wick rotation}}）とは、[[理論物理学]]において[[ミンコフスキー空間]]上の数学問題を[[ユークリッド空間]]上の問題に置き換えて解くための操作であり、実変数を[[虚数]]に置き換えることによるミンコフスキー空間とユークリッド空間との間での相互変換である。この変換は[[量子力学]]などの物理学諸分野で用いられる。この変換が回転（rotation）と呼ばれるのは、[[複素平面]]上で実軸から虚軸へ位相&pi;/2回転させることを意味する。1954年にイタリアの物理学者、{{ill|ジャンカルロ・ウィック|en|Gian Carlo Wick}}によって初めて導入された<ref>{{cite journal|last=Wick | first= G. C.|title = Properties of Bethe-Salpeter Wave Functions| year=1954|journal = [[Physical Review]]| volume = 96 |issue=4|page = 1124–1134|doi =10.1103/PhysRev.96.1124}}</ref>。

==概要==

[[ミンコフスキー空間]]（4次元時空）の計量は、[[計量テンソル]]をdiag(-1,+1,+1,+1)とすると、

:<math>\mathrm{d}s^2 = -(\mathrm{d}t^2) + \mathrm{d}x^2 + \mathrm{d}y^2 + \mathrm{d}z^2</math>

となる。一方、4次元[[ユークリッド空間]]の計量は

:<math>\mathrm{d}s^2 = \mathrm{d}\tau^2 + \mathrm{d}x^2 + \mathrm{d}y^2 + \mathrm{d}z^2</math>

である。ここで、ミンコフスキー空間の時間座標 ''t'' を[[虚数]]としたとき、すなわち、時間 ''t'' を虚軸上の値と制限したとき、ミンコフスキー計量はユークリッド計量となる。逆に、ユークリッド空間上の座標&tau;を虚数としたとき、ユークリッド計量はミンコフスキー計量となる。

[[物理学]]では、座標(''x'', ''y'', ''z'', ''t'') で表現されるミンコフスキー空間上での問題を扱う際、''t'' →-i&tau;と置き換えることで、座標 (''x'', ''y'', ''z'', &tau;)で表現されるユークリッド空間上での問題へと変換すると、より簡単に問題が扱える場合がある。このようにして得られたユークリッド空間上での解は、（必要であれば）再びウィック回転され、本来の問題の解が導出される。

==統計力学と量子力学の対応==
ウィック回転は[[統計力学]]を[[量子力学]]と対応付ける際にも用いられる。このとき、統計力学における[[逆温度]]1/''k''<sub>B</sub> ''T'' は量子力学における[[虚時間]] <math>it/\hbar</math> と置き換えられる。

まず、[[温度]] ''T'' における[[調和振動子]]の集団を考える。エネルギー ''E'' を持つ調和振動子が実現する相対的確率は、[[カノニカル分布]]における[[ボルツマン因子]]の形式でexp(-''E'' /''k''<sub>B</sub> ''T'' ) と書くことができる。ここで、''k''<sub>B</sub> は[[ボルツマン定数]]である。これより、[[可観測量]] ''Q'' の期待値は、規格化定数を省略すると、
:<math>\sum_j Q_j e^{-E_j / (k_B T)}\,</math>
と表せる。

次に、[[ハミルトニアン]] ''H'' のもとで時間 ''t'' について発展する[[基底状態]]の[[重ね合わせ]]において、量子的な調和振動子1つを考える。エネルギー ''E'' を持つ基底状態の相対的な位相変化は<math>\exp(-E it/ \hbar)</math>となる。ここで、<math>\hbar</math>は[[換算プランク定数]]である。この状態の均一な重ね合わせ

:<math>|\psi\rangle = \sum_j |j\rangle\,</math>

が、任意の重ね合わせ

:<math>|Q\rangle = \sum_j Q_j |j\rangle\,</math>

へと遷移するような遷移確率振幅は、規格化定数を省略すると、

:<math> \langle Q|e^{-iHt/\hbar}|\psi\rangle = \sum_j Q_j e^{-E_j it/ \hbar}\langle j|j\rangle = \sum_j Q_j e^{-E_j it/ \hbar} </math>
となる。

==経路積分と分配関数==
上述の例は、統計力学の[[分配関数]]と量子力学の[[経路積分]]がどのように対応しているのかを示している。

統計力学では、温度 ''T'' の集団中にある調和振動子の状態は、熱ゆらぎによって最小エネルギー状態からずれた状態となっている。さらに、特定のエネルギー状態にある振動子が実現する確率は、最小エネルギーからの差が大きくなるにつれて[[指数関数的減衰|指数関数的に減少]]する。

同様に、量子力学では、ポテンシャル中で動く量子的な粒子は、位相 exp(i''S'' ) を用いて経路の重ね合せによって記述される。

このように、統計集団中での熱ゆらぎは、量子的な粒子が運動する経路の不確定性と対応している。

==静力学と動力学の対応==

ウィック回転によって、''n'' 次元の[[静力学]]問題と ''n'' -1次元の[[動力学]]問題を対応付けることができる。このとき、静力学における空間1次元と動力学における時間1次元が置き換えられる。

単純な例として ''n'' = 2の場合を考える。端点が固定された[[ばね]]を重力場中に置く。このとき、ばねの形状は曲線 ''y''(''x'' ) によって表される。曲線に関わる全エネルギーが停留点にあるとき、このばねは釣り合いの位置にある。通常、この停留点がエネルギーの最小値となる。エネルギーを計算するためにはエネルギー密度を位置座標 ''x'' で積分すればよい。

:<math>E = \int_x \left[ k \left(\frac{\mathrm{d}y(x)}{\mathrm{d}x}\right)^2 + V(x) \right] \mathrm{d}x</math>

ここで、''k'' は[[ばね定数]]、''V'' (''x'' )は重力ポテンシャルである。

この静力学問題と対応する空間1次元の動力学問題は鉛直投げ上げ運動である。このとき、投げ上げられた物体は作用が停留点をとるような経路上を運動する。これが[[最小作用の原理]]である。作用 ''S'' は[[ラグランジアン]]の時間積分として以下のように表される。

:<math>S = \int_t \left[ m \left(\frac{\mathrm{d}y(t)}{\mathrm{d}t}\right)^2 - V(t) \right] \mathrm{d}t</math>

以上から、ウィック回転を用いて静力学問題を動力学問題へ帰着させるためには、''x'' →''t'' 、d''x'' →id''t'' 、''k'' →''m'' と置き換えればよい。
:<math>\begin{align}
E   &\to \int_t \left[ m \left(\frac{\mathrm{d}y(t)}{i \mathrm{d}t}\right)^2 + V(t) \right] (i \mathrm{d}t)\\
    &= -i \int_t \left[ m \left(\frac{\mathrm{d}y(t)}{\mathrm{d}t}\right)^2 - V(t) \right] \mathrm{d}t = -iS
\end{align}</math>

==参照==
<references/>

==関連項目==
* [[虚時間]]
* [[格子ゲージ理論]]
* [[次元正則化]]

{{DEFAULTSORT:ういつくかいてん}}
[[Category:場の量子論]]
[[Category:量子力学]]
[[Category:統計力学]]
[[Category:物理学のエポニム]]