Regularity of perturbed Hamilton-Jacobi equations (Q697532)

The Hamilton-Jacobi equations \[ \begin{cases} u_t+ F(\nabla u)= 0,\quad & x\in\mathbb{R}^N,\;t\geq 0,\\ u(x,0)= u_0(x),\quad & x\in\mathbb{R}^N,\end{cases}\tag{1} \] where \(\nabla\) is the spatial gradient, \(F\in C^2(\mathbb{R}^N)\) is weakly convex and normalized to satisfy \(F(0)= 0\), and all functions are real valued, is considered. The operator \(A_0= -F\circ\nabla\) is densely defined and \(m\)-dissipative on \(X= B\cup C(\mathbb{R}^N)\). Hence problem (1) is governed by a strongly continuous nonexpansive (or contractive) nonlinear semigroup \(T_0= \{T_0(t): t\geq 0\}\) on \(X\). In particular \(u(t)= T_0(t) u_0\) is the unique mild solution of (1), for any initial data \(u_0\in X\). For \(K> 0\), the Burch class \(B(K)\) is defined. Functions in \(B(K)\) are semiconcave; they satisfy a Lipschitz condition and their second centered difference quotients are bounded. \(B(K)\) is compact and for the semigroup governing (1), \[ T_0(t)(B(K))\subset B(K)\tag{2} \] holds for all \(t, K> 0\). When one specializes to \(N= 1\), then \(v= u_t\) (when \(u\) solves (1)) satisfies a single conservation law, and (2) explains a form of the Lax-Oleinik entropy condition for such problem. The proof of this entropy condition follows from the weaker result \[ T_0(t)(H)\subset H\tag{3} \] for all \(t> 0\), where \(H= \bigcup\{B(K): K> 0\}\). A natural question is whether (3) holds for equations or semigroups more general than (1). The aim of this paper is to establish this for a class of perturbations of (1).