On uniqueness of solutions to viscous HJB equations with a subquadratic nonlinearity in the gradient. Issue 12 (2nd December 2019)

• Record Type: Journal Article
• Authors: Arapostathis, Ari; Biswas, Anup; Caffarelli, Luis
• Is Part Of: Communications in partial differential equations. Volume 44:Issue 12(2019)
• Page Start: 1466
• Page End: 1480
• Publication Date: 2019-12-02
• Subjects: Convex duality -- ergodic control -- infinitesimally invariant measures -- viscous Hamilton–Jacobi equations; 35J60 -- 35P30 -- 35B40 -- 35B50; Differential equations, Partial -- Periodicals; 515.353
• DOI: 10.1080/03605302.2019.1645697
• Languages: English
• ISSNs: 0360-5302

Abstract

Abstract: Uniqueness of positive solutions to viscous Hamilton–Jacobi–Bellman (HJB) equations of the form − Δ u ( x ) + 1 γ | Du ( x ) | γ = f ( x ) − λ, with f a coercive function and λ a constant, in the subquadratic case, that is, γ ∈ ( 1, 2 ), appears to be an open problem. Barles and Meireles [ Comm. Partial Differential Equations 41 (2016)] show uniqueness in the case that f ( x ) ≈ | x | β and | Df ( x ) | ≲ | x | ( β − 1 ) + for some β > 0, essentially matching earlier results of Ichihara, who considered more general Hamiltonians but with better regularity for f . Without enforcing this assumption, to our knowledge, there are no results on uniqueness in the literature. In this short article, we show that the equation has a unique positive solution for any locally Lipschitz continuous, coercive f which satisfies | Df ( x ) | ≤ κ ( 1 + | f ( x ) | 2 − 1 / γ ) for some positive constant κ . Since 2 − 1 γ > 1, this assumption imposes very mild restrictions on the growth of the potential f . We also show that this solution fully characterizes optimality for the associated ergodic problem. Our method involves the study of an infinite dimensional linear program for elliptic equations for measures, and is very different from earlier approaches. It also applies to the larger class of Hamiltonians studied by Ichihara, and we show that it is well suited to provide optimality results for the associated ergodic control problem, even in a pathwise sense, and without resorting to the parabolic problem.