くりこみ群のソースを表示

{{出典の明記|date=2017年8月}}
{{読み仮名|'''くりこみ群'''|くりこみぐん|{{lang-en-short|renormalization group}}}}とは、[[くりこみ]]変換により構成される[[半群]]である。名前では「群」とついているが、実際は「[[群 (数学)|群]]」ではなく「[[半群]]」である点は注意すべきことである。

== くりこみ変換 ==
「くりこみ変換」とは、直感的に言うとスケール変換をして[[粗視化]]することである。量子論的[[場の理論]]の理解では素粒子は半径を持たないので任意のスケール変換に対し、元のスケールの粒子描像に新たに量子補正を取り入れた粒子を「変換後のスケールにおける粒子」と再定義することが可能である。つまりスケール変換に応じて質量や結合定数の異なる粒子描像に移行することになる。

理論のパラメータが1つである典型的な場合を考える。
パラメータ<ref>例えば、[[くりこみ点]] <math>\mu^2</math> や、[[カットオフ理論]]での[[カットオフ]] <math>\Lambda</math>。</ref>が <math>x</math> であるとして、スケール変換
:<math>x\longrightarrow x/t\qquad t>0</math>
を考える。この時、<math>x</math> に依存する量 <math>g</math><ref>例えば、[[グリーン関数]]や[[頂点関数]]など。</ref>が
:<math>g\longrightarrow G(t,g)</math>
のように変換されると仮定する。したがって、<math>\;G(t,g)\;</math>の初期条件は
:<math>G(1,g)=g</math>
で与えられる。パラメータ <math>x</math> と <math>g</math> の対 <math>(x,g)</math> は空間 <math>M:=(0,\infty )\times \mathbb{R}</math> の点と考えられるので、写像 <math>(x,g)\longrightarrow (x/t, G(t,g))\;</math>は<math>\;M\;</math>の[[中への写像]]だと見なせる。

今、変換<math>\;(x,g)\longrightarrow(x/t,G(t,g))\;</math>を
{{Indent|<math>R_t\begin{pmatrix}x\\g\end{pmatrix}=\begin{pmatrix}x/t\\G(t,g)\end{pmatrix}</math>}}
と書き、関係式
:<math>R_s R_t =R_{ts}</math>
を満足しているものと仮定する<ref>物理量 <math>g</math> がこの関係式を満足するかどうかは、モデルや <math>g</math> の選び方によるので、問題ごとにチェックしなければならない。</ref>。このとき、[[単位元]]は <math>R_1</math> であり、任意の <math>R_s ,R_t</math> に対して <math>R_t R_s =R_s R_t</math> が分かるので<ref>なぜなら、<math>ts=st</math> であるから。</ref>、集合 <math>\{ R_t |t>0\}</math> は、[[可換]][[半群]]をなすことが分かる<ref>[[ブロックスピン]]やウィルソン流の[[くりこみ]]などから分かるように、くりこみ変換は1種の粗子化、平均化であるので、1度くりこみ変換をしてしまうと逆変換を求めることは不可能である。これは数学的には[[逆元]]が存在しないことと等価であるので、[[群 (数学)|群]]にはなりえず、[[半群]]どまりになる。</ref>。この <math>\{R_t |t>0\}</math> を「くりこみ変換」と呼ぶ。

== くりこみ群方程式 ==
くりこみ群方程式とは、端的にいえば、理論のパラメータのスケール変換に対して物理量がどのように応答するかを記述する偏微分方程式のことである。

くりこみ変換の関係式を、<math>G(t,g)</math> の言葉で書くと、
:<math>G(ts,g)=G(s,G(t,g)),</math>
と表現できる<ref>左辺は、一気に <math>ts</math> だけスケール変換したことに相当し、右辺は、先に <math>t</math> だけスケール変換し、続けて <math>s</math> 分変換したことに相当する。</ref>。これは、[[関数等式]]としての「くりこみ群方程式」である。このままでは扱いにくいので、普通は <math>G(t,g)</math> の微分可能性を仮定し、偏微分方程式の形に直す。そのためには、<math>x=st</math> とおいて、上式の両辺を <math>t</math> で微分して <math>t=1</math> とおけばよい。得られる式は
:<math>x\frac{\partial}{\partial x} G(x,g)-\beta (g)\frac{\partial}{\partial g}G(x,g)=0,</math>
である。ただし、<math>\beta (g)</math> は
:<math>\beta (g)=\left. \frac{\partial}{\partial t} G(t,g) \right|_{t=1},</math>
で定義される。このような[[偏微分方程式]]を、「Gell-Mann=Low型のくりこみ群方程式」という。「Gell-Mann=Low型のくりこみ群方程式」とは異なり、非同次項を持つくりこみ群方程式が現れることもある。そのようなタイプの方程式は、「Callan-Symanzik型のくりこみ群方程式」と呼ばれる<ref>厳密に言って「Callan-Symanzik型」はくりこみ群方程式では「ない」。しかし、[[くりこみ]]と関係しているために、くりこみ群方程式と呼ばれることが多い。「Callan-Symanzik型」の場合は、理論の[[質量]]をスケール変換したときの応答を考えることで得られる。</ref>。

得られた方程式は1階の[[線型性|線型]][[偏微分方程式]]であるので、[[特性方程式]]
:<math>\frac{dx}{x} =-\frac{dg}{\beta (g)} </math>
を解いて[[一般解]]を求めることができ<ref>ただし、関数 <math>\beta (g)</math> は既知だと仮定する。</ref>、それは
:<math>\phi (F(g)+\ln x)</math>
で与えられる。ただし、<math>F(g)</math> は、
:<math>\frac{dF(g)}{dg} =\frac{1}{\beta (g)}</math>
を満足する関数、<math>\phi (z)</math> は <math>z</math> の任意関数である。ここで、初期条件
:<math>G(1,g)=g</math>
により <math>\phi (x)</math> は <math>F^{-1} (x)</math> であることが分かるので<ref>[[逆関数]] <math>F^{-1}(x)</math> の存在は仮定する</ref>、結局、
:<math>G(x,g)=F^{-1} (F(g)+\ln x)</math>
が解である。

関数 <math>\beta (g)</math> は、物理量のスケール変換の応答を決定する重要な量で、[[ベータ関数 (物理学)|ベータ関数]]<ref>[[特殊関数]]の[[ベータ関数]] <math>B(p,q)</math> とは無関係。</ref>と呼ばれる。ベータ関数をどうやって求めるかは重要な問題だが、[[摂動]]計算による以外、事実上、方法はない。

場の理論で <math>g</math> を[[頂点関数]]などに選び、
<math>x</math>をくりこみ点 <math>\mu^2</math> に選んだ場合、<math>g</math> の <math>x</math> 依存性は、いくつかの関数 <math>f_i</math><ref>波動関数の[[くりこみ]] <math>Z</math>、質量のくりこみ <math>\delta m</math>、結合定数のくりこみ <math>Z_3</math> など。</ref>を通して現れる。よって、このときのくりこみ群方程式は、
:<math>x\frac{\partial}{\partial x} G(x,f_1 ,\dots ,f_n )
-\sum^n_{i=1} \beta_i \frac{\partial}{\partial f_i} G(x,f_1 ,\dots ,f_n )=0,</math>
ベータ関数は
:<math>\beta_i (f_1 ,\dots ,f_n ):=\left. \frac{\partial}{\partial t} f_i \right|_{t=1},</math>
となる。

== 応用例 ==
#[[統計力学]]
#[[場の量子論]]

== 参考文献 ==
*数学セミナー増刊 数学・物理100の方程式、[[日本評論社]]、1989年,ISBN 4-535-70409-0
*S. Coleman, "Dilatation" in Aspect of Symmetry, [[Cambridge University Press]], 1985, ISBN 0 521 31827 0
*九後汰一郎、ゲージ場の量子論Ⅱ、[[培風館]]、1989年、ISBN 4-563-02424-4

== 脚注 ==
{{Reflist}}

{{sci-stub}}
{{DEFAULTSORT:くりこみくん}}

[[Category:統計力学]]
[[Category:場の量子論]]
[[Category:数理物理学]]
[[Category:数学に関する記事]]