Pointwise explicit bound for derivative of solutions to linear parabolic PDEs with Neumann boundary conditions

We derive explicit pointwise bounds for the spatial derivative |∂V∂x| of solutions to linear parabolic PDEs with Neumann boundary conditions. The bound is fully explicit in the sense that it depends only on the coefficients of the PDE and the domain, including closed-form expression for all constants. The proof is purely probabilistic. We first extend to time inhomogeneous diffusions a result concerning the derivative of the solution of a reflected SDE. Then, we combine it with the spectral expansion of the law of the first hitting time to a boundary for a reflected diffusion. The main motivation comes from optimal control where, in order to apply verification theorems, precise gradient estimates are often required when closed-form solutions of the Hamilton–Jacobi–Bellman equation are unavailable. This result will be used in a forthcoming work to rigorously prove that the conjectured optimal strategy for the sailboat trajectory optimization problem is indeed optimal far from the buoy. We also state a sufficient condition for limsupt→∞|∂V∂x(t,x)| to be bounded, which only involves the coefficients of the problem and the first eigenvalue of the spectral expansion.