We give a verification theorem by employing Arrow's generalization of the Mangasarian sufficient condition to a general jump diffusion setting, and show the adjoint processes' connections to dynamic programming. The result is applied to financial optimization problems.
展开▼