No Arabic abstract
The non-exponential Schilder-type theorem in Backhoff-Veraguas, Lacker and Tangpi [Ann. Appl. Probab., 30 (2020), pp. 1321-1367] is expressed as a convergence result for path-dependent partial differential equations with appropriate notions of generalized solutions. This entails a non-Markovian counterpart to the vanishing viscosity method. We show uniqueness of maximal subsolutions for path-dependent viscous Hamilton-Jacobi equations related to convex super-quadratic backward stochastic differential equations. We establish well-posedness for the Hamilton-Jacobi-Bellman equation associated to a Bolza problem of the calculus of variations with path-dependent terminal cost. In particular, uniqueness among lower semi-continuous solutions holds and state constraints are admitted.
We prove existence and uniqueness of Crandall-Lions viscosity solutions of Hamilton-Jacobi-Bellman equations in the space of continuous paths, associated to the optimal control of path-dependent SDEs. This seems the first uniqueness result in such a context. More precisely, similarly to the seminal paper of P.L. Lions, the proof of our core result, that is the comparison theorem, is based on the fact that the value function is bigger than any viscosity subsolution and smaller than any viscosity supersolution. Such a result, coupled with the proof that the value function is a viscosity solution (based on the dynamic programming principle, which we prove), implies that the value function is the unique viscosity solution to the Hamilton-Jacobi-Bellman equation. The proof of the comparison theorem in P.L. Lions paper, relies on regularity results which are missing in the present infinite-dimensional context, as well as on the local compactness of the finite-dimensional underlying space. We overcome such non-trivial technical difficulties introducing a suitable approximating procedure and a smooth gauge-type function, which allows to generate maxima and minima through an appropriate version of the Borwein-Preiss generalization of Ekelands variational principle on the space of continuous paths.
Sharp temporal decay estimates are established for the gradient and time derivative of solutions to a viscous Hamilton-Jacobi equation as well the associated Hamilton-Jacobi equation. Special care is given to the dependence of the estimates on the viscosity. The initial condition being only continuous and either bounded or non-negative. The main requirement on the Hamiltonians is that it grows superlinearly or sublinearly at infinity, including in particular H(r) = r^p for r non-negatif and p positif and different from 1.
We investigate the convergence rate in the vanishing viscosity process of the solutions to the subquadratic state-constraint Hamilton-Jacobi equations. We give two different proofs of the fact that, for nonnegative Lipschitz data that vanish on the boundary, the rate of convergence is $mathcal{O}(sqrt{varepsilon})$ in the interior. Moreover, the one-sided rate can be improved to $mathcal{O}(varepsilon)$ for nonnegative compactly supported data and $mathcal{O}(varepsilon^{1/p})$ (where $1<p<2$ is the exponent of the gradient term) for nonnegative data $fin mathrm{C}^2(overline{Omega})$ such that $f = 0$ and $Df = 0$ on the boundary. Our approach relies on deep understanding of the blow-up behavior near the boundary and semiconcavity of the solutions.
For the discounted Hamilton-Jacobi equation,$$lambda u+H(x,d_x u)=0, x in M, $$we construct $C^{1,1}$ subsolutions which are indeed solutions on the projected Aubry set. The smoothness of such subsolutions can be improved under additional hyperbolicity assumptions. As applications, we can use such subsolutions to identify the maximal global attractor of the associated conformally symplectic flow and to control the convergent speed of the Lax-Oleinik semigroups
We prove that if a sequence of pairs of smooth commuting Hamiltonians converge in the $C^0$ topology to a pair of smooth Hamiltonians, these commute. This allows us define the notion of commuting continuous Hamiltonians. As an application we extend some results of Barles and Tourin on multi-time Hamilton-Jacobi equations to a more general setting.