Kardar-Parisi-Zhang-Gleichung

Die Kardar-Parisi-Zhang-Gleichung (KPZ-Gleichung) ist eine nicht-lineare stochastische partielle Differentialgleichung (SPDGL), die u. a. in der statistischen Mechanik vorkommt. Die Gleichung dient zur Modellierung des stochastischen Grenzflächenwachstums. Sie ist die stochastische Raumzeitevolution der Fluktuation eines Höhenfeldes. Sie kann zum Beispiel zur Modellierung von auf eine Oberfläche fallende klebrige Partikel verwendet werden.

Die Gleichung wurde von den Physikern Mehran Kardar, Giorgio Parisi und Yi-Cheng Zhang im Jahr 1986 eingeführt.

Definition

Mit der Notation ${\mathrm{\Delta }}_x=\underset{x}{\overset{2}{\mathrm{\nabla }}}$ meinen wir den Laplace-Operator und mit ${\mathrm{\nabla }}_x$ den Nabla-Operator, welche beide nach $\overrightarrow{x}$ abgeleitet sind.

Die KPZ-Gleichung ist definiert als

${\partial }_{t}h(\overrightarrow{x},t)=\nu {\mathrm{\Delta }}_{x}h+\frac{\lambda }{2}({\mathrm{\nabla }}_{x}h{)}^2+\sqrt{D}\eta (\overrightarrow{x},t)$

wobei die Lösung $h(\overrightarrow{x},t)$ ein Höhenfeld der Oberfläche mit Raumkoordinate $\overrightarrow{x}$ und Zeitkoordinate $t$ ist.

Die Gleichung besteht aus drei Komponenten, einem Glättungsterm, einem Wachstumsterm und einem stochastischen Rauschen

• $\nu \underset{x}{\overset{2}{\mathrm{\nabla }}}h$ ein glättender Diffusionsterm, dieser dient zur Relaxation durch die Oberflächenspannung $\nu$.
• $\frac{\lambda }{2}({\mathrm{\nabla }}_{x}h{)}^2$ ein nicht-linear wachsender Ausdruck,
• $\eta (\overrightarrow{x},t)$ ein raumzeitliches weißes gaußsches Rauschen; d. h. es gilt $𝔼[\eta ]=0$ und $\mathrm{Var}[\eta ]=2\delta (t-t^{\prime }){\delta }^d(\overrightarrow{x}-{\overrightarrow{x}}^{\prime })$.

Die Gleichung trifft man auch in folgender Form an

${\partial }_{t}h=\nu {\mathrm{\Delta }}_{x}h+\frac{\lambda }{2}({\mathrm{\nabla }}_{x}h{)}^2+\tilde{\eta }$

wobei $𝔼[\tilde{\eta }]=0$ und $\mathrm{Var}[\tilde{\eta }]=2D\delta (t-t^{\prime }){\delta }^d(\overrightarrow{x}-{\overrightarrow{x}}^{\prime })$.

Parametrisierung

• $\nu ,\lambda ,D,d$ sind Parameter. $D$ bezeichnet die Amplitude des Rauschens und $d$ ist die Dimension des Modells. $\nu$ ist die Diffusivität und $\lambda$ die Stärke der Wachstumsgeschwindigkeit.

Die Standard-Parametrisierung für den eindimensionalen Fall $d=1$ ist $\nu =\frac{1}{2},\lambda =1,D=1$, somit

${\partial }_{t}h=\frac{1}{2}{\mathrm{\Delta }}_{x}h+\frac{1}{2}({\mathrm{\nabla }}_{x}h{)}^2+\eta .$

Eine Schwierigkeit der KPZ-Gleichung ist, dass alle invarianten Maße Verteilungen der brownschen Bewegungen der Form $B(x)+N$ sind, wobei $N$ eine gerade Linie (ein Shift) bezeichnet.

Lösung der Gleichung

Cole-Hopf-Transformation

Sei $h_t(x):=h(t,x)$ eine Lösung der KPZ-Gleichung

${\partial }_t{h}_t=\frac{1}{2}{\mathrm{\Delta }}_x{h}_t-\frac{1}{2}({\mathrm{\nabla }}_x{h}_t{)}^2+{\dot{W}}_t$

und betrachte den stochastischen Prozess ${\theta }_t:=\exp (-h_t)$, dann ist ${\theta }_t$ die Lösung der stochastischen Wärmeleitungsgleichung

$\mathrm{d}{\theta }_t=\frac{1}{2}\mathrm{\Delta }{\theta }_t\mathrm{d}t-{\theta }_t\mathrm{d}{W}_t.$

Hier ist ${\dot{W}}_t$ eine andere Notation für $\tilde{\eta }$ und bezeichnet das raumzeitliche weiße gaußsche Rauschen ($W_t$ ist ein zylindrischer Wiener-Prozess und das Zeitintegral von $\tilde{\eta }$).

Geschichte

2012 veröffentlichte der österreichische Mathematiker Martin Hairer eine Lösung, die die bestehende Cole-Hopf-Lösung erweitert. 2014 bekam er unter anderem dafür die Fields-Medaille.

Skalierung und der KPZ-Fixpunkt

Vorlage:Hauptartikel Wir betrachten die eindimensionale $(1+1)$ KPZ-Gleichung. Betrachtet man die skalierte KPZ-Lösung

$h_{\epsilon ;b,z}(t,x)={\epsilon }^{b}h({\epsilon }^{-z}t,{\epsilon }^{-1}x),$

dann existieren zwei schwache Skalierungen, unter der die KPZ-Gleichung invariant ist. Eine weitere interessante Skalierung erhält man mit den Parametern $b=1/2$ und $z=3/2$, welche 1:2:3-Skalierung genannt wird. Zentriert man den Prozess unter dieser Skalierung

${\bar{h}}_{\epsilon }=h_{\epsilon ;1/2,3/2}-C_{\epsilon }t$

gemäß den Initialbedingungen, dann konvergiert ${\bar{h}}_{\epsilon }$ für $\epsilon \to 0$ in Verteilung zu einem universellen Prozess, dem sogenannten KPZ-Fixpunkt. Der Prozess wird mit $(𝔥(t,x){)}_{t\ge 0,x\in ℝ}$ notiert.

Die eindimensionale KPZ-Gleichung gehört zu einer großen Klasse von stochastischen Modellen, welche KPZ-Universalitätsklasse genannt wird. Die KPZ-Universalitätsvermutung behauptet nun, dass jedes in der KPZ-Universalitätsklasse liegende Modell unter der 1:2:3-Skalierung in Verteilung zum KPZ-Fixpunkt konvergiert

$\lim {\mathrm{\backslash limits}}_{\epsilon \to 0}{\epsilon }^{1/2}(h(c_1{\epsilon }^{-3/2}t,c_2{\epsilon }^{-1}x)-c_3{\epsilon }^{-3/2}t)\stackrel{(d)}{=}𝔥(t,x)$

(wobei die Konstanten variieren) und nur von der Initialbedingung abhängt

$𝔥(0,x):=\lim {\mathrm{\backslash limits}}_{\epsilon \to 0}{\epsilon }^{1/2}h(0,c_2{\epsilon }^{-1}x).$

Der KPZ-Fixpunkt ist invariant unter der 1:2:3-Skalierung, die KPZ-Gleichung ist es nicht.

Edwards-Wilkinson-Fixpunkt

Setzt man $\lambda =0$ (man entfernt damit den Wachstumsausdruck) und benützt die 1:2:4-Skalierung gegeben durch $b=1/2$ und $z=2$, so konvergiert

${\bar{h}}_{\epsilon }=h_{\epsilon ;1/2,2}-C_{\epsilon }t$

zu dem trivialen gaußschen Edwards-Wilkinson-Fixpunkt. Der Name der Skalierung folgt aus $(1/2)/(1/2)=1$, $1/(1/2)=2$ und $2/(1/2)=4$.