Remarks on the long time behaviour of the solutions of hamilton-jacobi equations (Q4247952)

The authors prove two theorems concerning the long time behaviour of the unique viscosity solution \(u\in C([0,\infty)\times M)\) of the Cauchy problem: \[ u_t(t,x) = H(x,u_x(t,x)) - f(x), \;x\in M, \quad u(0,\cdot)=u_0\in C(M),\tag{1} \] where \(M\) is a smooth compact connected \(N\)-dimensional manifold without boundary, \(H\) is Lipschitzean, \(H(x,\cdot)\) are convex, \(H(x,p) > H(x,0) =0\) for all \(x\in M\), \(p\in \mathbb{R}^n\setminus \{0\} \) and \(\lim_{| p| \to \infty} H(x,p)= \infty\) uniformly on \(M\) while \(f\in C(M)\), \(f(x) \geq 0\), \(Z:=\{x\in M; \;f(x)=0 \} \neq \emptyset\). In Theorem 1 it is proved that for any \(u_0\in C(M)\) there exists a (steady state) solution \(\phi\) of the equation: \[ f(x) - H(x,D\phi (x)) = 0, \quad x\in M \tag{2} \] such that the unique viscosity solution of (1) satisfies: \[ \lim_{t\to \infty} | | u(t,\cdot)-\phi| | _\infty = 0. \tag{3} \] In Theorem 2 the authors prove that if \({\mathcal C}\subset Z\) is an isolated connected component (of zeros of \(f)\) and \(u_0\in C(M)\) is such that \(u_0(x)<0=u_0(y)\) for all \(x\in M\setminus {\mathcal C}\), \(y\in {\mathcal C}\), then the solution \(\phi\) in (3) vanishes exactly on \({\mathcal C}\).