Published online by Cambridge University Press: 13 April 2011
The Aviles Giga functional is a well known second order functional that forms a model for
blistering and in a certain regime liquid crystals, a related functional models thin
magnetized films. Given Lipschitz domain Ω ⊂ ℝ2 the functional
is
\hbox{$I_{\ep}(u)=\frac{1}{2}\int_{\Omega}
\ep^{-1}\lt|1-\lt|Du\rt|^2\rt|^2+\ep\lt|D^2 u\rt|^2 {\rm d}z$}Iϵ(u)=12∫Ωϵ-11−Du22+ϵD2u2dz where
u belongs to the subset of functions in
\hbox{$W^{2,2}_{0}(\Omega)$}
W02,2(Ω) whose gradient (in the
sense of trace) satisfies
Du(x)·ηx = 1
where ηx is the inward pointing unit normal
to ∂Ω at x. In [Ann. Sc. Norm. Super. Pisa Cl.
Sci. 1 (2002) 187–202] Jabin et al. characterized
a class of functions which includes all limits of sequences
\hbox{$u_n\in W^{2,2}_0(\Omega)$}
un∈W02,2(Ω) with
Iϵn(un) → 0
as ϵn → 0. A corollary to their work is that
if there exists such a sequence (un) for a
bounded domain Ω, then Ω must be a ball and (up to
change of sign)
u: = limn → ∞un = dist(·,∂Ω).
Recently [Lorent, Ann. Sc. Norm. Super. Pisa Cl. Sci. (submitted),
http://arxiv.org/abs/0902.0154v1] we provided a quantitative generalization
of this corollary over the space of convex domains using ‘compensated compactness’
inspired calculations of DeSimone et al. [Proc. Soc. Edinb. Sect.
A 131 (2001) 833–844]. In this note we use methods of regularity
theory and ODE to provide a sharper estimate and a much simpler proof for the case where
Ω = B1(0) without the requiring the trace
condition on Du.