Differentiability and Convexity of the Solution Maps for Fully Non-linear Parabolic HJB Equations
Abstract
We study the dependence on the terminal condition of solutions to a fully nonlinear parabolic Hamilton--Jacobi--Bellman (HJB) equation, when the terminal condition varies along a finite-dimensional family. This problem is motivated by a dual formulation of semimartingale optimal transport. The equation is posed as a terminal-value Cauchy problem on an unbounded spatial domain. Under structural ellipticity and regularity assumptions on the nonlinear operator, we recall local parabolic Hölder estimates and stability results for bounded uniformly continuous terminal data. We then establish continuous directional differentiability of the solution map with respect to the finite-dimensional parameter, and identify its derivative through the corresponding linearized Cauchy problem. Under an additional convexity assumption on the Hamiltonian and a non-degeneracy condition on the terminal data, we prove local strong convexity of the point-evaluated solution map. The analysis relies on Evans--Krylov theory for fully nonlinear parabolic equations and combines PDE arguments with probabilistic representations. Finally, we extend the differentiability and convexity results to cascades of Cauchy problems in which successive equations are coupled through terminal conditions at several prescribed times. This structure is motivated, for instance, by optimal transport problems with marginal constraints imposed at several maturities.
Related
- Directional differentiability for the solution map of the bilateral parabolic obstacle problem
- Degenerate parabolic equations in divergence form: fundamental solution and Gaussian bounds
- The fundamental solution of a family of anisotropic fourth-order parabolic equations: small-time asymptotics and related Gaussian estimates
- Quantitative linear approximation for controllability of quasi-linear parabolic equations
- A weighted semigroup approach to exponential stability in linear parabolic equations
BibTeX
@misc{chassagneux2026differentiability,
title = {{Differentiability and Convexity of the Solution Maps for Fully Non-linear Parabolic HJB Equations}},
author = {Jean-François Chassagneux and Stéphane Crépey and Grégoire Loeper and Justin Ruelland},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.35476},
eprint = {2610.35476},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.35476},
}
RIS
TY - UNPB
TI - Differentiability and Convexity of the Solution Maps for Fully Non-linear Parabolic HJB Equations
AU - Jean-François Chassagneux
AU - Stéphane Crépey
AU - Grégoire Loeper
AU - Justin Ruelland
PY - 2026
DA - 2026/10/26
PB - arXiv
DO - 10.48550/arxiv.2610.35476
UR - https://arxiv.org/abs/2610.35476
AB - We study the dependence on the terminal condition of solutions to a fully nonlinear parabolic Hamilton--Jacobi--Bellman (HJB) equation, when the terminal condition varies along a finite-dimensional family. This problem is motivated by a dual formulation of semimartingale optimal transport. The equation is posed as a terminal-value Cauchy problem on an unbounded spatial domain. Under structural ellipticity and regularity assumptions on the nonlinear operator, we recall local parabolic Hölder estimates and stability results for bounded uniformly continuous terminal data. We then establish continuous directional differentiability of the solution map with respect to the finite-dimensional parameter, and identify its derivative through the corresponding linearized Cauchy problem. Under an additional convexity assumption on the Hamiltonian and a non-degeneracy condition on the terminal data, we prove local strong convexity of the point-evaluated solution map. The analysis relies on Evans--Krylov theory for fully nonlinear parabolic equations and combines PDE arguments with probabilistic representations. Finally, we extend the differentiability and convexity results to cascades of Cauchy problems in which successive equations are coupled through terminal conditions at several prescribed times. This structure is motivated, for instance, by optimal transport problems with marginal constraints imposed at several maturities.
ER -