Invertibility of the characteristic flow in Hamilton-Jacobi equations We are in the context of Hamilton Jacobi equations, in particular I was reading the characteristic method. We want to solve the problem of the special form (Hamiltonian only depending on the "$p$" variables) $$
\begin{cases}
u_t(x,t)+H\big(D_xu(x,t)\big)= 0, \\
u(x,0)=g,
\end{cases}\quad(x,t) \in \mathbb{R}^n \times \mathbb{R}^+ .
$$ 
In this case it's easy to find that the characteristic line starting from $y$ at time $s$ is 
$$
X(y,s) = y+sDH\big(Dg(y)\big).
$$
Now set $$\overline{T} = \sup \Big\{ t : \, \det\big[I+tD^2H\big(Dg(y)\big)D^2g(y)\big] >0, \, \forall y \in \mathbb{R}^n \Big\}$$
The problem is that the textbook says that if $D^2H$ and $D^2g$ (Hessian matrices) are bounded, then for all $s < \overline{T}$  the function $y \mapsto X(y,s)$ is invertible (with $C^1$ inverse, but that's clear from the local inverse function theorem since the Jacobian is inverbile by hypothesis).
What I can't do is proving surjectivity and injectivity of this map. Of course we have local invertibility in each point, but I don't understand how this could imply the existence of a global inverse!
P.S. The textbook i'm referring to is P.L. Lions, Generalized solutions of Hamilton Jacobi equations, page 14.
 A: Here is an answer based on the following fact, known (at least in the French folklore) as the Hadamard-Lévy theorem: if a $C^1$ map $X:\mathbb R^n\to \mathbb R^n$ satisfies $\operatorname{det}(D X(y))\neq 0$ (local invertibility) and is proper (inverse images of compact sets are compact, equivalently $|X(y)|\to +\infty$ as $|y|\to+\infty$) then it is a global diffeomorphism. So the whole argument amounts to check that indeed $y\mapsto X(s,y)$ is proper for all $s<\bar T$.
To this end, two observations are crucial:


*

*the matrix $M(s,y):=I+s D^2H(Dg(y))D^2g(y)$ is symmetric

*for all $s<\bar T$ its smallest eigenvalue is bounded away from zero uniformly in $y$, hence $M(s,y)\geq \lambda(s) I >0$ for all $y\in \mathbb R^n$ in the sense of symmetric matrices, $\lambda(s)$ being the smallest eigenvalue.


1) is clear because Hessian matrices are symmetric, and 2) follows almost immediately from the boundedness of the two Hessians as in your hypotheses (This is not difficult to check so let me omit the details here).
As a consequence $X(s,.)$ grows at least linearly at infinity (with growth rate $\lambda(s)\to 0$ as $s\nearrow \bar T$), it is therefore a proper map and thus a global diffeomorphism.
Edit 1: after looking up English versions of the Hadamard-Lévy theorem, it seems that the latter is known more generally as the Hadamard's global inverse function theorem or sometimes Hadamard-Cacciopoli theorem, see this post on Math.SE (and in particular the first answer).
Edit 2: oooops, the product of two symmetric matrices is NOT symmetric in general, so the argument has a "tiny" gap. I'll leave my answer as is, since I suspect that the issue can be fixed relatively easily and that the line of thought should be correct somehow.
