Maxime Zavidovique

Anne Bouillard, Erwan Faou, Maxime Zavidovique

We consider a numerical scheme for Hamilton-Jacobi equations based on a direct discretization of the Lax-Oleinik semi-group. We prove that this method is convergent with respect to the time and space stepsizes provided the solution is Lipschitz, and give an error estimate. Moreover, we prove that the numerical scheme is a geometric integrator satisfying a discrete weak-KAM theorem which allows to control its long time behavior. Taking advantage of a fast algorithm for computing min-plus convolutions based on the decomposition of the function into concave and convex parts, we show that the numerical scheme can be implemented in a very efficient way.

Andrea Davini, Maxime Zavidovique

In this paper we consider the notion of commutation for a pair of continuous and convex Hamiltonians, given in terms of commutation of their Lax- Oleinik semigroups. This is equivalent to the solvability of an associated multi- time Hamilton-Jacobi equation. We examine the weak KAM theoretic aspects of the commutation property and show that the two Hamiltonians have the same weak KAM solutions and the same Aubry set, thus generalizing a result recently obtained by the second author for Tonelli Hamiltonians. We make a further step by proving that the Hamiltonians admit a common critical subsolution, strict outside their Aubry set. This subsolution can be taken of class C^{1,1} in the Tonelli case. To prove our main results in full generality, it is crucial to establish suitable differentiability properties of the critical subsolutions on the Aubry set. These latter results are new in the purely continuous case and of independent interest.