“…If L is a non-local operator corresponding to a Lévy jump diffusions, which have become popular in the recent development in financial modeling, see [10,13,24], the discontinuity of the random path X ∼ L brings extra difficulty in studying the boundary behavior (see [5,17,29,34]). To the best of our knowledge, the verification for a Feynman-Kac functionals to be a solution, or even a generalized viscosity solution (as discussed in this paper) of the Dirichlet PDE, has not been thoroughly studied for jump diffusion in the extant literature.…”