The paper deals with the optimal control problem
where is a compact set in . It is supposed that . The authors examine the situation with the appearance of singular controllers and derive a second-order increment formula for the functional . They also prove a second-order optimality criterion and illustrate it by a number of model examples.