On a Ginzburg–Landau type equation with applications to ...canevari/content/poster...On a...

On a Ginzburg–Landau type equationwith applications to liquid crystals

Giacomo CANEVARIUPMC – Paris 6, Laboratoire J.L. Lions, 75005 Paris, France

Under the supervision of Fabrice BETHUEL

We consider a generalization of the classical Ginzburg–Landau equation, and perform theasymptotic analysis in the vanishing elastic constant limit. Our discussion applies, in par-ticular, to the Landau–de Gennes model for nematic liquid crystals.

The general problemFormulation and assumptions

Let Ω ⊆ R2 be a smooth, bounded domain, let g : ∂Ω −→ Rd be a boundary datum, anddefine the Sobolev space H1

g(Ω; Rd) as the set of maps in H1(Ω; Rd) which agree with g onthe boundary. We are interested in the problem

minu∈H1

g (Ω;Rd)Eε(u) (1)

whereEε(u) := Eε(u, Ω) =

∫Ω

1

2|∇u|2 +

1

ε2f (u)

and f : Rd −→ R is a non negative, smooth function, satisfying these assumptions.

(H1) The set N := f−1(0) is a non empty, smooth, compact and connected submani-fold of Rd without boundary, called the vacuum manifold.

(H2) There exists k > 0 so that, for all p ∈ N and all normal vector ν ∈ Rd to N at thepoint p,

ν ·D2f (p)ν ≥ k |ν|2 .

(H3) For all v ∈ Rd with |p| > 1, we have

f (p) > f

(p

|p|

).

(H4) Every conjugacy class in the fundamental group π1(N ) is finite.(H5) g : ∂Ω −→ Rd is smooth, and g(x) ∈ N for all x ∈ ∂Ω.

The existence of a minimizer uε for Problem (1) follows from the Direct Method in Calculusof Variations. Every minimizer is smooth and solves the Euler–Lagrange equation

−∆uε +1

ε2Df (uε) = 0 in Ω .

Question. What happens in the limit as ε 0?

Main results

Theorem 1. Assume that (H1)–(H5) hold. There exist λ0, δ0 > 0 (independent of ε) and, for eachδ ∈ (0, δ0), a finite set Xε = Xε(δ) ⊂ Ω, whose cardinality is bounded independently of ε, so that

dist(uε(x), N ) ≤ δ if dist(x, Xε) ≥ λ0ε .

Theorem 2. Under the assumptions (H1)–(H5), there exist a subsequence of εn 0, a finite setX ⊂ Ω and a function u0 ∈ C∞(Ω \X ; N ) so that

uεn −→ u0 strongly in H1loc ∩ C

0(Ω \X ; Rd) .

On every ball B ⊂⊂ Ω \X , the function u0 is minimizing harmonic, which means

1

2

∫B|∇u0|2 = min

1

2

∫B|∇v|2 : v ∈ H1(B; Rd), v = u0 on ∂B

.

In particular, u0 solves the harmonic map equation

∆u0(x) ⊥ Tu0(x)N for all x ∈ Ω \X .

Remarks on the proof of Theorem 1

• The structure of the proof is classical, and based on the analysis of the Ginzburg–Landau model (see [1]).•One needs to find a constant κ∗ = κ∗(g), so that the estimate

Eε(uε) ≤ κ∗ |log ε| + C (2)

holds. (For the Ginzburg–Landau model, κ∗ = π |d|, where d is the degree of g).•We proceed as in [2]. Assume, for simplicity, that Ω is simply connected and the

fundamental group π1(N ) is abelian. To each α ∈ π1(N ) we associate its length

λ(α) := inf

(2π

∫S1

∣∣c′(θ)∣∣2 dθ)1/2

: c ∈ α ∩H1(S1, N )

.

•Denote by γ the homotopy class of the boundary datum g : ∂Ω ' S1 −→ N . Thenγ belongs to the fundamental group π1(N ), and it may be decomposed as a productγ = γ1γ2 . . . γk, where γi 6= 1. Then, we define

κ∗ := inf

1

4π

k∑i=1

λ(γi)2 : k ∈ N, γi ∈ π1(N ), γ =

k∏i=1

γi

.

•With this choice of κ∗, Equation (2) follows easily from a comparison argument.Moreover, κ∗ is optimal, since minimizers uε satisfy∫

Ω|∇uε|2 ≥ κ∗ |log ε| − C .

• Thanks to (H2), we argue a clearing–out property: For δ > 0 small enough, thereexist λ0, µ0 > 0 so that∫

B(x0, 2λ0ε)f (uε) ≤ µ0 implies dist(uε(x), N ) ≤ δ for x ∈ B(x0, λ0ε) .

This property, combined with local Pohozeav identities and covering arguments,leads to Theorem 1.

The Landau–de Gennes modelBiaxiality and uniaxiality

We consider now a special case: The target space Rd is replaced by the matrix set

S0 :=Q ∈M3(R) : QT = Q , trQ = 0

and the potential is given by

f (Q) =a

2trQ2 − b

3trQ3 +

c

4

(trQ2

)2. (3)

The potential (3) is proved to satisfy (H1)–(H4), hence the previous discussion applies.Moreover, in this case N ' P2 (R) (the real projective plane).

Define the biaxiality parameter by

β(Q) := 1− 6

(trQ3

)2(trQ2

)3for Q ∈ S0 \ 0 .

It can be checked that 0 ≤ β(Q) ≤ 1, and that β(Q) ∈ 0, 1 iff two eigenvalues of Qcoincide. In this case Q is said to be uniaxial, and biaxial otherwise. It holds that

Q ∈ N implies β(Q) = 0 .

Question. Assume that the boundary datum satisfies β(g(x)) = 0 for all x ∈ ∂Ω. Do mini-mizers Qε of (1)–(3) are uniaxial?

Theorem 3. Assume that the boundary datum satisfy (H5) (in particular, β(g) ≡ 0) and is nothomotopically trivial. There exist t0 > 0 with the following property: If

ac

b2≥ t0 ,

then there is a constant ε0 = ε0(a, b, c) > 0 so that for ε ≤ ε0 any minimizer Qε of (1)–(3) satisfies

maxΩ

β(Qε) = 1 .

Under the assumptions of the theorem, minimizers are not uniaxial. Biaxial configurationshave been investigated numerically (and there are experimental evidences for them).

A biaxial configuration, known as “biaxial torus”, as it appears in numerical simulations of the core of defects (thesefigures are taken from [3]).

• On the left, a schematic representation of a section with a plane through the symmetry axis of the core. The shape ofthe ellipses represents the degree of biaxiality.

• On the right, logarithmic plot of the biaxiality parameter β.

Idea of the proof of Theorem 3

• The potential given by (3), up to rescaling, behaves approximately as

f (Q) ' µ (1− |Q|)2 + σβ(Q) |Q|3 ,

where |Q|2 =∑ij Q

2ij and, setting t := ac/b2,

µ

a(t) = O(1) ,

σ

a(t) = O(t−1/2) as t −→ +∞ . (4)

•With the help of the coarea formula, we show that any functionQwith max β(Q) < 1fulfills

Eε(Q) ≥ κ∗ |log ε| + κ∗2

log µ− C1 . (5)

•We construct explicitly a comparison function Pε so that

Eε(Pε) ≤ κ∗ |log ε| + κ∗2

log σ + C2 . (6)

• The conclusion follows from (5) and (6), with the help of (4).

References[1] F. Bethuel, H. Brezis and F. Hélein, Ginzburg–Landau vortexes, Birkhäuser, Basel and Boston, 1994.

[2] D. Chiron, Étude mathématique de modèles issus de la physique de la matière condensée, PhD thesis, UniversitéPierre et Marie Curie, Paris, 2004.

[3] S. Kralj and E. G. Virga, Universal fine structure of nematic hedgehogs, J. Phys. A 34 (2001), no. 4, pp. 829–838.