English

A quantative Sobolev regularity for absolute minimizers involving Hamiltonian $H(p)\in C^0 (\mathbb{R}^2)$ in plane

Analysis of PDEs 2019-01-29 v1

Abstract

Suppose that HC0(R2)H \in C^0 (\mathbb{R}^2) satisfies \begin{enumerate} \item[(H1)] HH is locally strongly convex and locally strongly concave in \rr2\rr^2, \item[(H2)] H(0)=minp\rr2H(p)=0H(0)=\min_{p\in\rr^2}H(p)=0. \end{enumerate} Let Ω\rr2\Omega\subset \rr^2 be any domain. For any uu absolute minimizer for HH in Ω\Omega, or if HC1(\rr2)H\in C^1(\rr^2) additionally, for any viscosity solution to the Aronsson equation \mathscr A_H[u]=\sum_{i,j=1}^2 H_{p_i}(Du) H_{p_j}(Du)u_{x_ix_j}=0 \quad \mbox{ in $\Omega$,} the following are proven in this paper: \begin{enumerate} \item[(i)] We have [H(Du)]αW\loc1,2(Ω)[H(Du)]^\alpha\in W^{1,2}_\loc(\Omega) whenever α>1/2τH(0)\alpha>1/2-\tau_H(0); some quantative upper bounds are also given. Here τH(0)=1/2\tau_H(0)=1/2 when HC2(\rr2)H\in C^2(\rr^2), and 0<τH(0)1/20< \tau_H(0)\le 1/2 in general. \item[(ii)] If HC1(\rr2)H\in C^1(\rr^2), then the distributional determinant detD2udx-{\rm det}D^2u\,dx is a nonnegative Radon measure in Ω\Omega and enjoys some quantative lower/upper bounds. \item[(iii)] If HC1(\rr2)H\in C^1(\rr^2), then for all α>12τH(0)\alpha>\frac12-\tau_H(0), we have \mbox{$\langle D [H(Du )]^\alpha ,D_p H(Du )\rangle=0 $ almost everywhere in $\Omega$}. \end{enumerate}

Cite

@article{arxiv.1901.09539,
  title  = {A quantative Sobolev regularity for absolute minimizers involving Hamiltonian $H(p)\in C^0 (\mathbb{R}^2)$ in plane},
  author = {Peng Fa and Qianyun Miao and Yuan Zhou},
  journal= {arXiv preprint arXiv:1901.09539},
  year   = {2019}
}

Comments

54 pages