By using the Malliavin calculus and solving a control problem, Bismut type
derivative formulae are established for a class of degenerate diffusion
semigroups with non-linear drifts. As applications, explicit gradient estimates
and Harnack inequalities are derived.Comment: 18 page