繰り込み群の方法っていうのは小さいスケールの運動を全体から「つまみ出す」ことらしい。
運動を規定するための変数がλだとして、それから小さいスケールの運動δλをつまみ出したものをλ'として、そのλ'からさらにδλ'をつまみだしたのをλ''として無限回これを繰り返す。で、λからλ'への写像をDとすると、λ'=Dλになって、これをn回繰り返すとその演算子Dnは半群*1で、そのような群を繰り込み群と呼ぶらしい。
で、そのような繰り込み変換を状態和Zなり、運動方程式に適用するとスケール不変な何かが絞り粕として出てくるらしい。
まあ巷間の本には統計力学の問題での繰り込みは良く出てて、状態和Z=exp(-βH)の繰り込みは良く出て来るんだが、運動方程式の繰り込みは出てこない。
でも運動方程式はある流れだとかなんだとかの運動の状態を規定するもので、運動方程式を与える写像の核が流れの状態である。
ということはその写像が決まれば流れの状態も決まる訳で、それとは別にエネルギー状態から空間内での粒子なりの分布の状態を導き出す状態和も同じ「状態」を表す手段としては同じな訳で、恒等式y=f(x)によって表される状態が写像Fの核で表されようが像で表されようが物理的なイメージは同じなので、結局のところ繰り込み変換は写像に対して施されるのである。
で、運動方程式をFourier変換して、初期境界条件の変わりに入れるランダム力(Gaussianらしい。)を入れたやつは
になる。ここでλは摂動変数である。
で、長波長の運動に注目するときには逆変換である波数までの積分で逆変換を与えればいいので、その切り落とすべき波長をΛとすると、この運動の解は
となる。ここでdは運動の次元性を表すパラメータである。
またランダム力は相関関数の核で与えられて、相関関数はyというのをパラメータにして
である。次に切り落とす波長をkdとして、それによって分けられる流速を
 
とする。そして、これをFourier変換した運動方程式に代入すると
という風にして微小なスケールの運動を除去するらしい。
*1:逆元が特定できないので