1
$\begingroup$

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.

$\endgroup$
2
  • 1
    $\begingroup$ Shouldn't the definition of the maximal time rather read $$\overline{T} = \sup \Big\{ t : \, \det\big[I+s D^2H\big(Dg(y)\big)D^2g(y)\big] >0, \, \forall y \in \mathbb{R}^n,s\in[0,t] \Big\}$$ ?? $\endgroup$ Apr 10, 2020 at 15:00
  • $\begingroup$ Actually, I just checked in the book and the definition that I gave in the first place was right. But I see the problem, maybe it's a mistake. Thanks for the remark though $\endgroup$ Apr 12, 2020 at 17:35

1 Answer 1

1
$\begingroup$

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:

  1. the matrix $M(s,y):=I+s D^2H(Dg(y))D^2g(y)$ is symmetric
  2. 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.

$\endgroup$
2
  • $\begingroup$ Thanks a lot for the answer! Now I have something to start with, although I think it will require some work $\endgroup$ Apr 12, 2020 at 17:27
  • 1
    $\begingroup$ Sure thing. Let us know if you figure it out, I'd be curious to see the exact argument. One last comment: my "proof" does not really require the symmetry+positive-definiteness of $M(s,y)$ uniformly in $y$, just the "ellipticity" $xM(s,y)x\geq \lambda(s)|y|^2$. This made me realize I know absolutely nothing about non-symmetric elliptic matrices! Perhaps there's a useful criterion out there, e.g. like "if $M$ is controlled in the $\infty$ operator norm and all the eigenvalues are bounded away from zero then it's elliptic"? (though I doubt this precise statement can hold as is) $\endgroup$ Apr 12, 2020 at 20:05

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.