Uniqueness of absolute minimizers for $L^\fz$-functionals involving Hamiltonians H(x,p)
For a bounded domain $U\subset\rn$, consider the $L^\fz$-functional involving a nonnegative Hamilton function $H:\overline U\times\rn\to [0,\fz)$. In this paper, we will establish the uniqueness of absolute minimizers $u\in W^{1,\fz}_\loc(U)\cap C(\overline U)$ for H, under the Dirichlet boundary value g∈C(∂U), provided \noindent (A1) H is lower semicontinuous in $\overline U\times\rn$, and H(x,⋅) is convex for any x∈U. \noindent (A2) $\displaystyle H(x,0)=\min_{p\in \rn}H(x,p)=0$ for any x∈U, and x∈U⋃{p:H(x,p)=0} is contained in a hyperplane of $\rn$. \noindent (A3) For any $\lz>0$, there exist $\displaystyle 0<r_\lz\le R_\lz<\fz$, with $\displaystyle\lim_{\lz\to\fz}r_\lz=\fz$,such that $$B(0,r_\lz)\subset \Big\{p\in\rn\ |\ H(x,p)< \lz\Big\}\subset B(0,R_\lz)\ \forall\ \lz> 0\ \mbox{and}\ x\in \overline U.$$ This generalizes the uniqueness theorem by \cite{j93, jwy, acjs} and \cite{ksz} to a large class of Hamiltonian functions H(x,p) with x-dependence. As a corollary, we confirm an open question on the uniqueness of absolute minimizers posed by {\cite{jwy}}. The proofs rely on geometric structure of the action function Lt(x,y) induced by H, and the identification of the absolute subminimality of u with convexity of the Hamilton-Jacobi flow t↦Ttu(x)
