View source for Ginzburg-Landau equation

<!--This article has been texified automatically. Since there was no Nroff source code for this article, 
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
was used.
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.

Out of 58 formulas, 58 were replaced by TEX code.-->

{{TEX|semi-auto}}{{TEX|done}}
A modulation (or amplitude/envelope equation) that describes the evolution of small perturbations of a marginally unstable basic state of a system of non-linear partial differential equations on an unbounded domain (cf. also [[Perturbation theory|Perturbation theory]]; [[Perturbation of a linear system|Perturbation of a linear system]]; [[Linear partial differential equation|Linear partial differential equation]]). The stationary problem associated to the Ginzburg–Landau equation with real coefficients also has a different background as the [[Euler–Lagrange equation|Euler–Lagrange equation]] associated to the Ginzburg–Landau functional (see below). To obtain the Ginzburg–Landau equation as modulation equation, one lets

\begin{equation} \tag{a1} \frac { \partial \psi } { \partial t } = \mathcal{L}  _ { R } \psi + \mathcal{N} ( \psi ), \end{equation}

\begin{equation*} \psi ( x , y , t ) : \mathbf{R} ^ { n } \times \Omega \times \mathbf{R} ^ { + } \rightarrow \mathbf{R} ^ { N }, \end{equation*}

describe an underlying problem (with certain boundary conditions), where $\mathcal{L} _ { R }$ is an elliptic linear operator, $\mathcal{N}$ a non-linear operator of order less than $\mathcal{L} _ { R }$, $R \in \mathbf{R}$ a (bifurcation) parameter and $\Omega$ a bounded domain $\subset \mathbf{R} ^ { m }$. The linearized stability of the basic solution $\psi ( x , y , t ) = \psi _ { 0 } ( y )$ of (a1) is determined by setting $\psi = \psi _ { 0 } + f ( y ) e ^ { i \langle k , x \rangle + \mu t }$ and solving an eigenvalue problem for $f ( y )$ on $\Omega$ for any pair $( k , R )$ ($k \in \mathbf{R} ^ { n }$). Under certain conditions on the eigenvalue problem, one can define $\mu _ { 0 } ( k , R ) \in \mathbf{C}$ as the critical eigenvalue (i.e. $\operatorname { Re } \mu _ { j } ( k , R ) < \operatorname { Re } \mu _ { 0 } ( k , R )$ for all $k$, $R$ and $j \geq 1$) and $R_c$ as the critical value of $R$ ($\operatorname { Re } \mu _ { 0 } ( k , R ) < 0$ for all $k$ and $R < R _ { c }$, i.e. the neutral manifold $\operatorname { Re } \mu _ { 0 } ( k , R ) = 0$ has a minimum at $( k _ { c } , R _ { c } )$ in $( k , R )$-space: $\psi_0$ is linearly stable for $R < R _ { c }$). Introduce $k_c$, $\mu _ { c }$ by $\mu _ { 0 } (  k  _ { c } , R _ { c } ) = i \mu _ { c }$ and $f _ { c } ( y )$ as the critical eigenfunction at $k = k _ { c }$, $R = R _ { c }$. For $R = R _ { c } + \varepsilon ^ { 2 }$, $0 < \varepsilon \ll 1$, $\psi$ can be expanded both as an [[Asymptotic series|asymptotic series]] and as a [[Fourier series|Fourier series]]:

\begin{equation*} \psi - \psi _ { 0 } = \varepsilon A ( \xi , \tau )\, f _ { c } ( y ) e ^ { i ( ( k _ { c } , x ) + \mu _ { c } t ) } + \text { c.c. } + \text{h.o.t.} \ . \end{equation*}

Here, $A ( \xi , \tau ) : \mathbf{R} ^ { n } \times \mathbf{R} ^ { + } \rightarrow \mathbf{C}$ is an unknown amplitude and $\xi $ and $\tau$ are rescaled variables:

\begin{equation*} \xi _ { j } = \varepsilon \left( x _ { j } + \frac { 1 } { i } \frac { \partial \mu _ { 0 } } { \partial  { k } _ { i } } ( k _ { c } , R _ { c } ) t  \right) , j = 1 , \ldots , n, \end{equation*}

\begin{equation*} \tau = \varepsilon ^ { 2 } t. \end{equation*}

The Ginzburg–Landau equation describes the evolution of $A$:

\begin{equation} \tag{a2} \frac { \partial A } { \partial \tau } = \frac { \partial \mu _ { 0 } } { \partial R } ( k _ { c } , R _ { c } ) A + \end{equation}

\begin{equation*} - \frac { 1 } { 2 } \sum _ { i , j = 1 } ^ { n } \frac { \partial ^ { 2 } \mu _ { 0 } } { \partial k _ { i } \partial \dot { k } _ { j } } ( k _ { c } , R _ { c } ) \frac { \partial ^ { 2 } A } { \partial \xi _ { i } \partial \xi _ { j } } + l A | A | ^ { 2 } \end{equation*}

(at leading order). The equation is obtained (formally) by inserting the above expansion into (a1) and applying an orthogonality condition. The second-order differential operator is elliptic when $( k _ { c } , R _ { c } )$ is an isolated non-degenerate minimum of the neutral manifold. The Landau constant $\bf  l \in  C$ can be expressed in terms of information obtained from the linear eigenvalue problem and its adjoint. In most cases studied in the literature, $n = 1$ and $\operatorname { Re } \text{l} < 0$; (a2) can then be rescaled into

\begin{equation} \tag{a3} \frac { \partial A } { \partial \tau } = A + ( 1 + i a ) \frac { \partial ^ { 2 } A } { \partial \xi ^ { 2 } } - ( 1 + i b ) A | A | ^ { 2 }, \end{equation}

with $a , b \in \bf R$. Historically, the Ginzburg–Landau equation was first derived as a modulation equation for two classical hydrodynamic stability problems: Rayleigh–Bénard convection [[#References|[a4]]] and [[Poiseuille flow|Poiseuille flow]] [[#References|[a5]]]. Several aspects of the mathematical validity of this formal approximation scheme have been studied in [[#References|[a2]]], [[#References|[a7]]], [[#References|[a6]]].

By its nature, the Ginzburg–Landau equation appears as leading-order approximation in many systems. Therefore, there is much literature on the behaviour of its solutions. Its most simple solutions are periodic: $A ( \xi , \tau ) = \rho e ^ { i \langle \langle K , \xi \rangle + W \tau \rangle }$. Under certain conditions on the coefficients there is a subfamily of stable periodic solutions; it is called the Eckhaus band in (a3). The existence and stability of more complicated  "localized"  (homoclinic, heteroclinic) solutions to (a3) (also with more general non-linear terms) is considered in [[#References|[a8]]] (with mostly formal results). Up to now (1998), there is no mathematical text (book or survey paper) that gives an overview of what is known about the behaviour of solutions of the Ginzburg–Landau equation as evolution equation on ${\bf R} ^ { n }$ or even on $\mathbf{R}$.

However, much is known about the solutions of the stationary (elliptic) Ginzburg–Landau equation with real coefficients on bounded domains $G \subset {\bf R} ^ { n }$ [[#References|[a1]]]. The Ginzburg–Landau equation with real coefficients has a variational structure: the Ginzburg–Landau functional

\begin{equation*} E ( A ) = \frac { 1 } { 2 } \int _ { G } | \nabla A | ^ { 2 } d x + \frac { 1 } { 4 } \int _ { G } ( | A | ^ { 2 } - 1 ) ^ { 2 } d x. \end{equation*}

The Ginzburg–Landau functional appears in various parts of science; in general, it is not related to the above sketched modulation equation interpretation of the Ginzburg–Landau equation [[#References|[a1]]]. The name  "Ginzburg–Landau" , both of the equation and of the functional, comes from a paper on superconductivity [[#References|[a3]]]. However, in this context the (real, stationary) equation and/or the functional is part of a larger system of equations/functionals.

====References====
<table>
<tr><td valign="top">[a1]</td> <td valign="top">  F. Bethuel,   H. Brezis, F. Hélein,   "Ginzburg–Landau vortices" , Birkhäuser  (1994)</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  P. Collet,   J.P. Eckmann,   "The time-dependent amplitude equation for the Swift–Hohenberg problem"  ''Comm. Math. Phys.'' , '''132'''  (1990)  pp. 139–153</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  V.L. Ginzburg,   L.D. Landau,   "On the theory of superconductivity"  ''Zh. Eksper. Teor. Fiz.'' , '''20'''  (1950)  pp. 1064–1082  (In Russian)  (English transl.: Men of Physics: L.D. Landau (D. ter Haar, ed.), Pergamon, 1965,138-167)</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  A.C. Newell,   J.A. Whitehead,   "Finite bandwidth, finite amplitude convection"  ''J. Fluid Mech.'' , '''38'''  (1969)  pp. 279–303</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  K. Stewartson,   J.T. Stuart,   "A non-linear instability theory for a wave system in plane Poiseuille flow"  ''J. Fluid Mech.'' , '''48'''  (1971)  pp. 529–545</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  G. Schneider,   "Global existence via Ginzburg–Landau formalism and pseudo-orbits of the Ginzburg–Landau approximations"  ''Comm. Math. Phys.'' , '''164'''  (1994)  pp. 159–179</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  A. van Harten,   "On the validity of the Ginzburg–Landau's equation"  ''J. Nonlinear Sci.'' , '''1'''  (1991)  pp. 397–422</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  W. van Saarloos,   P.C. Hohenberg,   "Fronts, pulses, sources and sinks in generalised complex Ginzburg–Landau equations"  ''Physica D'' , '''56'''  (1992)  pp. 303–367</td></tr>
</table>