1: \begin{abstract}

2:  Second-order optimality conditions of the

3: bilevel programming problems are  dependent on the second-order

4: directional derivatives of the value functions or the solution

5: mappings of the lower level problems under some regular conditions,

6: which can not be calculated or evaluated. 

7: To overcome this difficulty, we propose the notion of the bi-local solution.

8: %due to the implicit structure.

9: %   There have been many results about optimality conditions for

10: %bilevel programming problem. And many works involve value function of

11: %the lower level problem, which is nonsmooth and nonconvex in general.

12: %Such difficulty restricts the applications of second-order   optimality conditions.

13: %, thus we shall extend the definition of local optimality for bilevel

14: %programs called bi-local minimum.

15:  Under the Jacobian uniqueness conditions for the lower level

16:  problem, we prove that the bi-local solution is a local minimizer of certain one-level minimization problems. Basing on this property, the first-order necessary optimality conditions

17:  and second-order necessary and sufficient optimality conditions for the

18: bi-local optimal solution of a given bilevel program are established.

19:  %which we introduced in

20: %this paper. The bi-local solution coincides with

21: %which reduce to the usual local solutions under the convexity of the lower level problem.

22:  The second-order optimality conditions proposed here

23: only involve second-order derivatives of the defining functions of the bilevel problem. 

24: The second-order sufficient optimality conditions are used to derive the   Q-linear convergence rate of the classical augmented

25: Lagrangian method.

26: \end{abstract}

27: