くりこみ変換
編集
「くりこみ変換」とは、直感的に言うとスケール変換をして粗視化することである。量子論的場の理論の理解では素粒子は半径を持たないので任意のスケール変換に対し、元のスケールの粒子描像に新たに量子補正を取り入れた粒子を「変換後のスケールにおける粒子」と再定義することが可能である。つまりスケール変換に応じて質量や結合定数の異なる粒子描像に移行することになる。
理論のパラメータが1つである典型的な場合を考える。
パラメータ[1]が 
であるとして、スケール変換
を考える。この時、 に依存する量 
[2]が
のように変換されると仮定する。したがって、
の初期条件は
で与えられる。パラメータ と の対 
は空間 
の点と考えられるので、写像 
は
の中への写像だと見なせる。
今、変換
を
と書き、関係式
を満足しているものと仮定する[3]。このとき、単位元は 
であり、任意の 
に対して 
が分かるので[4]、集合 
は、可換半群をなすことが分かる[5]。この を「くりこみ変換」と呼ぶ。
くりこみ群方程式
編集
くりこみ群方程式とは、端的にいえば、理論のパラメータのスケール変換に対して物理量がどのように応答するかを記述する偏微分方程式のことである。
くりこみ変換の関係式を、
の言葉で書くと、
と表現できる[6]。これは、関数等式としての「くりこみ群方程式」である。このままでは扱いにくいので、普通は の微分可能性を仮定し、偏微分方程式の形に直す。そのためには、
とおいて、上式の両辺を 
で微分して 
とおけばよい。得られる式は
である。ただし、
は
で定義される。このような偏微分方程式を、「Gell-Mann=Low型のくりこみ群方程式」という。「Gell-Mann=Low型のくりこみ群方程式」とは異なり、非同次項を持つくりこみ群方程式が現れることもある。そのようなタイプの方程式は、「Callan-Symanzik型のくりこみ群方程式」と呼ばれる[7]。
得られた方程式は1階の線型偏微分方程式であるので、特性方程式
を解いて一般解を求めることができ[8]、それは
で与えられる。ただし、
は、
を満足する関数、
は 
の任意関数である。ここで、初期条件
-
により 
は 
であることが分かるので[9]、結局、
が解である。
関数 は、物理量のスケール変換の応答を決定する重要な量で、ベータ関数[10]と呼ばれる。ベータ関数をどうやって求めるかは重要な問題だが、摂動計算による以外、事実上、方法はない。
場の理論で を頂点関数などに選び、
をくりこみ点 
に選んだ場合、 の 依存性は、いくつかの関数 
[11]を通して現れる。よって、このときのくりこみ群方程式は、
ベータ関数は
となる。
参考文献
編集
- ^ 例えば、くりこみ点 や、カットオフ理論でのカットオフ
。
- ^ 例えば、グリーン関数や頂点関数など。
- ^ 物理量 がこの関係式を満足するかどうかは、モデルや の選び方によるので、問題ごとにチェックしなければならない。
- ^ なぜなら、
であるから。
- ^ ブロックスピンやウィルソン流のくりこみなどから分かるように、くりこみ変換は1種の粗子化、平均化であるので、1度くりこみ変換をしてしまうと逆変換を求めることは不可能である。これは数学的には逆元が存在しないことと等価であるので、群にはなりえず、半群どまりになる。
- ^ 左辺は、一気に
だけスケール変換したことに相当し、右辺は、先に だけスケール変換し、続けて 
分変換したことに相当する。
- ^ 厳密に言って「Callan-Symanzik型」はくりこみ群方程式では「ない」。しかし、くりこみと関係しているために、くりこみ群方程式と呼ばれることが多い。「Callan-Symanzik型」の場合は、理論の質量をスケール変換したときの応答を考えることで得られる。
- ^ ただし、関数 は既知だと仮定する。
- ^ 逆関数 の存在は仮定する
- ^ 特殊関数のベータ関数
とは無関係。
- ^ 波動関数のくりこみ
、質量のくりこみ 
、結合定数のくりこみ 
など。
