数理解析研究所講究録
第 1774 巻 2012 年 18-2018

結晶格子上の排他過程に対する流体力学的極限
田中 亮吉
京都 大学

Ryokichi Tanaka 1
Department of Mathematics, Kyoto Univeisity1

序

結晶格子とは，有限グラフの被覆グラフであり，その被覆変換群が有限階数の自由アーベル群である無限グラフのことである．例として， の標準的な格子 $(d\geq 1)$ , 三角格子，六角格子，籠目格子と呼ばれているものがある．ここでの目的は，こうしたグラフの上で，相互作用をする粒子系を考え，そのスケール極限を考察することである．具体的には，排$Z^{d}$

他的な相互作用を持っミクロな離散モデルを考え，そのスケール極限として現れる系のマクロな挙動 (粒子の密度の時間発展) が，ある準線形偏微分方程式によって支配されることを見る．こうした問題は，流体力学的極限の問題と呼ばれ，種々のモデルに対して多くの研究がある．(例えば，[KOV]). ここでの問題意識の一つは，下の空間がミクロに何かある幾何構造を持っていたときに，それが系のマクロな挙動にどのように影響を与えるか，ということである．現段階で扱うのは結晶格子であり，この問題は， の場合の研究の拡張$Z^{d}$として得られるものである．

2結晶格子の標準実現$X=(V, E)$ を連結な有向グラフとする．また，ある辺 $e\in E$ について，その向きも入れ替えた辺E も $E$ に入っているとする．ある $Z^{d}(d\geq 1)$ が $X$ に自由に作用していると

-e

$\in$

$X_{0}=(V_{0}, E_{0})$は有限グラフであるとする．このとき， を結晶格子と呼結晶格子は “物理的” には，の中で周期的に実現されていて，それが “平衡状態” にあし，その商グラフ$X$ぶことにする．
$\mathbb{R}^{d}$$X$ からへの-同変な調和写像により埋め込まれていると考えられる．数学的には，ると考える．こうした結晶格子の調和写像による埋め込みの中で “標準的” なものを与えるのが，小谷砂田による標準実現である．([KS]). この標準実現 :は，次の様として，にして与えられる．まず有限グラフの平坦トーラスへの埋め込み:$\mathbb{R}^{d}$$Z^{d}$$\Phi$$Xarrow \mathbb{R}^{d}$$\Phi_{0}$$\Phi_{0*}:\pi_{1}(X_{0})arrow Z^{d}$$X_{0}arrow T^{d}$が全射であるものを考える．この写像についてエネルギー汎関数の離散類似を考え，そのホモトピー類の中で最小値を与える写像を取る．(そのような写像は存在する．またこれは，各頂点の配置が離散の意味で調和であるという条件を与える). この離散版エネルギー汎関数は平坦トーラスの平坦計量に依存するが，トーラスの体積を一定$1_{e}$-mail:rtanaka[AT]math.kyoto-u.ac.jp

19に保ったまま平坦計量をも動かすことを許した上で，ホモトピー類の中でエネルギー最小となる写像を取る．この持ち上げとして標準実現 は定義される．(標準実現 は存在してユークリッド運動変換を除いて一意的に定まる). また，標準実現 は離散版 Albanese$\Phi$$\Phi$$\Phi$写像の持ち上げとして構成できるものである．
この標準実現は結晶格子の上の組み合わせ論的ラプラシアンの収束に関して良い性質を持っている．また，標準実現と結晶格子上のランダムウォークの中心極限定理との関係が調べられている．

以下，標準実現

今，正の整数$X_{N}=(V_{N}, V_{N})$$N$:を一つ固定して話を進める．
を取ると， の部分群 $NZ^{d}$ も $X$ に作用する．その商グラフを $NZ^{d}\backslash X=$$\Phi$$Xarrow \mathbb{R}^{d}$$Z^{d}$

とおく．

$X_{N}$は有限グラフである．また，$|V_{N}|=|V_{0}|N^{d}arrow\infty,$$Narrow\infty$である．この有限グラフが適当なスケール極限を取ることで平坦トーラスに収束することを見る．

標準実現のスケールを取ったもの $(1/N)\Phi$ :を考える．これは定義域の $NZ^{d}$ の作用と値域のの格子群としての作用 ( の標準的な作用とは限らない) で割ることに:より，写像を誘導する． は標準実現を定義したときに選んだ平坦計量
はに $Narrow\infty$ で “収束する”. (こが入っている). このとき，この写像による像れは厳密には Gromov-Hausdorff 位相により正当化されるが，今はこのことは用いない).
$Xarrow \mathbb{R}^{d}$$Z^{d}$$\Phi_{N}$$Z^{d}$$X_{N}arrow \mathbb{T}^{d}$$(T^{d}$$\Phi_{N}(X_{N})$3$\mathbb{T}^{d}$

モデル
有限グラフ

$X_{N}$の上で対称単純排他過程，弱非対称排他過程を考える．

配置空間として $Z_{N}:=\{0,1\}^{V_{N}}$ と定義する．また，一つの配置をを導入する．と表すことにする．配置空間に (1/2)-Bernoulli 測度の積測度
ここで対称単純排他過程の生成作用素: $L^{2}(Z_{N}, \nu_{N})arrow L^{2}(Z_{N}, \nu_{N})$ は以下で定義され$\eta\in Z_{N},$$\eta=\{\eta_{x}\}_{x\in V_{N}}$$\nu_{N}:=\prod_{V_{N}}t\ovalbox{\tt\small REJECT}_{1/2}$$L_{N}$

るものである:$L_{N}F( \eta):=\frac{1}{2}\sum_{e\in E_{N}}(1-\eta_{oe})\eta_{te}\{F(\eta^{e})-F(\eta)\},$

ここで $oe,$ $te$ はそれぞれ辺$F\in L^{2}(Z_{N}, \nu_{N})$.

でのとの始点，終点を与える頂点であり， は配置 の状態を入れ替えて得られる配置である．また，弱非対称排他過程は対称単純排他過程の摂$e$$\eta^{e}$動として与えられる．具体的には，トーラス上の “外場” (drift) としてここで弱非対称排他過程の生成作用素$L_{N}^{H}$:$\eta$$H\in C^{\infty}(\mathbb{T}^{d})$$L^{2}(Z_{N}, \nu_{N})arrow L^{2}(Z_{N}, \nu_{N})$$te$$oe$を取る．

は以下で定義されるものである:$L_{N}^{H}F( \eta):=\frac{1}{2}\sum_{e\in E_{N}}(1-\eta_{oe})\eta_{te}\exp[H(\Phi_{N}(te))-H(\Phi_{N}(oe))]\{F(\eta^{e})-F(\eta)\}$.

関数 $H$ が定数関数のとき，特別な場合として対称単純排他過程が与えられることがわかる．この生成作用素により生成される連続時間マルコフ連鎖 $\eta(t)=\{\eta_{x}(t)\}_{x\in V_{N}}$ を考える．粒子の密度を次のように定義する:$L_{N}^{H}$$\xi_{N}(t):=\frac{1}{|V_{N}|}\sum_{x\in V_{N}}\eta_{x}(N^{2}t)\delta_{\Phi_{N}(x)}(d\mu)$.

20
ここで， は$\mu$$T^{d}$

上の Lebesgue 測度であり，. は Dirac 測度である．また，連続時間マルコ$\delta$により時間スケールを取っている．
このとき，次が成り立っ:

フ連鎖は$N^{2}$のと$\xi_{N}(0)arrow\rho_{0}d\mu,$ $Narrow\infty$ in prob.
定理 1. 可測関数 $\rho_{0}:T^{d}arrow[0,1]$ を一つ固定する．
$\xi_{N}(t)arrow\rho_{t}d\mu,$ $Narrow\infty$ in prob.
き，各時間 $t\geq 0$ において，であり， は次の準線形偏微$\rho_{t}$分方程式の一意の弱解である:$\frac{\partial}{\partial t}\rho=\frac{1}{2|V_{0}|}\triangle\rho-\frac{1}{2|V_{0}|}\sum_{e\in E_{0}}\nabla_{v(e)}(\rho(1-\rho)\nabla_{v(e)}H)$,$\rho(0, \cdot)=\rho_{0}(\cdot)$.

$v(e);=\Phi(te)-\Phi(oe)$ for $e\in E_{0}$ .
ここで，測度の収束は弱収束である．この定理の証明は局所エルゴート定理を定式化し証明することで得られる．結晶格子の場合の局所エルゴート定理の定式化とその証明の詳細については [T] を参照されたい．

4

謝辞
本原稿は研究集会「幾何学的力学系の新展開」における講演の内容をまとめたものである．講演の機会をくだり，有益な助言をくださった，研究代表者である岩井敏洋先生と千葉逸人さんに感謝いたします。

参考文献[KOV] Kipnis, C., Olla, S., Varadhan, S. R. S.: Hydrodynamics and large deviation forsimple exclusion processes. Comm. Pure Appl. Math., Vol. XLII, 115-137 (1989)[KS]

Kotani, M., Sunada, T.: Standard realizations of crystal lattices via harmonicmaps. Trans. Amer. Math. Soc. 353, 1-20 (2001)[T]

Tanaka, R.: Hydrodynamic limit for weakly asymmetric exclusion processes incrystal lattices. arXiv: 1105. $6220v1$