Math 2.0

Partial differential equations Example

Ginzburg–Landau functional

Builds on Sobolev spaceGinzburg–Landau equation

Example

Let Ω⊆ℝ2\Omega \subseteq \R^2 be a bounded open set and let ε>0\varepsilon > 0. The simplified Ginzburg–Landau functional acts on maps u ⁣:Ω→ℂu \colon \Omega \to \C in the Sobolev space H1(Ω;ℂ)H^1(\Omega; \C) by Eε(u)=∫Ω(12∣∇u∣2+14ε2(1−∣u∣2)2) dx.E_\varepsilon(u) = \int_\Omega \Big( \frac12 \abs{\nabla u}^2 + \frac{1}{4 \varepsilon^2} \big(1 - \abs{u}^2\big)^2 \Big) \, dx. The first term penalizes variation of uu, and the second term pushes ∣u∣\abs{u} towards 11.

Check of the zero set: Eε(u)=0E_\varepsilon(u) = 0 holds exactly when ∇u=0\nabla u = 0 and ∣u∣=1\abs{u} = 1 almost everywhere. When Ω\Omega is connected, this means that uu is a constant of modulus 11.

Euler–Lagrange equation: the derivative of EεE_\varepsilon at uu in a direction vv is ∫Ω(Re⁡(∇u⋅∇v‾)−1ε2(1−∣u∣2)Re⁡(u v‾)) dx.\int_\Omega \Big( \operatorname{Re}\big(\nabla u \cdot \overline{\nabla v}\big) - \frac{1}{\varepsilon^2} \big(1 - \abs{u}^2\big) \operatorname{Re}\big(u \, \overline{v}\big) \Big) \, dx. So critical points solve −Δu=ε−2u(1−∣u∣2)-\Delta u = \varepsilon^{-2} u \big(1 - \abs{u}^2\big) weakly, an equation of Ginzburg–Landau type without magnetic field.

Remarks

Let Ω\Omega be smooth and simply connected. Impose a boundary condition u=gu = g on ∂Ω\partial \Omega, where g ⁣:∂Ω→S1g \colon \partial \Omega \to S^1 is smooth with winding number d≠0d \ne 0. No map in H1H^1 with these boundary values has ∣u∣=1\abs{u} = 1 everywhere, so minimizers must have zeros, called vortices. The minimal energy grows like π∣d∣log⁡(1/ε)\pi \abs{d} \log(1/\varepsilon) as ε→0\varepsilon \to 0. The study of the limit ε→0\varepsilon \to 0, by direct estimates and by Γ-convergence of Eε/log⁡(1/ε)E_\varepsilon / \log(1/\varepsilon), locates the vortices. The full functional of Ginzburg–Landau theory also contains a magnetic vector potential.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Ginzburg–Landau equation concept
  2. Sobolev space concept
  3. Ginzburg–Landau functional example

Further reading

  1. Web https://en.wikipedia.org/wiki/Ginzburg–Landau_theory
About this page
TagECHTH3P9RE
URIm2://ECHTH3P9RE
Kindexample
WritingW0 stub
MSC35Q56, 49J45, 82D55
IllustratesΓ-convergence
UsesSobolev space, Ginzburg–Landau equation

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.