English

Regularity of the Eikonal equation with two vanishing entropies

Analysis of PDEs 2016-10-04 v1

Abstract

The Aviles-Giga functional Iϵ(u)=Ω1u22ϵ+ϵ2u2dxI_{\epsilon}(u)=\int_{\Omega} \frac{\left|1-\left|\nabla u\right|^2\right|^2}{\epsilon}+\epsilon \left|\nabla^2 u\right|^2 \, dx is a well known second order functional that models phenomena from blistering to liquid crystals. The zero energy states of the Aviles-Giga functional have been characterized by Jabin, Otto, Perthame. Among other results they showed that if limnIϵn(un)=0\lim_{n\rightarrow \infty} I_{\epsilon_n}(u_n)=0 for some sequence unW02,2(Ω)u_n\in W^{2,2}_0(\Omega) and u=limnunu=\lim_{n\rightarrow \infty} u_n then u\nabla u is Lipschitz continuous outside a locally finite set. This is essentially a corollary to their theorem that if uu is a solution to the Eikonal equation u=1\left|\nabla u\right|=1 a.e. and if for every "entropy" Φ\Phi function uu satisfies [Φ(u)]=0\nabla\cdot\left[\Phi(\nabla u^{\perp})\right]=0 distributionally in Ω\Omega then u\nabla u is locally Lipschitz continuous outside a locally finite set. In this paper we generalize this result by showing that if Ω\Omega is bounded and simply connected, uu satisfies the Eikonal equation and if \begin{equation} \label{eqi88} \nabla\cdot\left(\Sigma_{e_1 e_2}(\nabla u^{\perp})\right)=0\text{and}\nabla\cdot\left(\Sigma_{\epsilon_1 \epsilon_2}(\nabla u^{\perp})\right)=0\text{distributionally in}\Omega, \end{equation} where Σe1e2\Sigma_{e_1 e_2} and Σϵ1ϵ2\Sigma_{\epsilon_1 \epsilon_2} are the entropies introduced by Ambrosio, DeLellis, Mantegazza, Jin, Kohn, then u\nabla u is locally Lipschitz continuous outside a locally finite set.

Keywords

Cite

@article{arxiv.1610.00237,
  title  = {Regularity of the Eikonal equation with two vanishing entropies},
  author = {Andrew Lorent and Guanying Peng},
  journal= {arXiv preprint arXiv:1610.00237},
  year   = {2016}
}