Necessary and sufficient conditions for optimal control of stochastic systems associated with Lévy processes · Study