This note characterizes the set of Fréchet-differentiable points of the projection operator on a polyhedral set and the B-subdifferential of this projection operator at any point.
Based on the differential properties of the smoothing metric projector onto the second-order cone,we prove that,for a locally optimal solution to a nonlinear second-order cone programming problem,the nonsingularity of...Based on the differential properties of the smoothing metric projector onto the second-order cone,we prove that,for a locally optimal solution to a nonlinear second-order cone programming problem,the nonsingularity of the Clarke's generalized Jacobian of the smoothing Karush-Kuhn-Tucker system,constructed by the smoothing metric projector,is equivalent to the strong second-order sufficient condition and constraint nondegeneracy,which is in turn equivalent to the strong regularity of the Karush-Kuhn-Tucker point.Moreover,this nonsingularity property guarantees the quadratic convergence of the corresponding smoothing Newton method for solving a Karush-Kuhn-Tucker point.Interestingly,the analysis does not need the strict complementarity condition.展开更多
基金supported by the National Natural Science Foundation of China(Nos.12071055,11971089 and 11731013).
文摘This note characterizes the set of Fréchet-differentiable points of the projection operator on a polyhedral set and the B-subdifferential of this projection operator at any point.
基金supported by National Natural Science Foundation of China (Grant Nos.10771026,10901094)the Scientific Research Foundation for the Returned Overseas Chinese Scholars,State Education Ministry of China
文摘Based on the differential properties of the smoothing metric projector onto the second-order cone,we prove that,for a locally optimal solution to a nonlinear second-order cone programming problem,the nonsingularity of the Clarke's generalized Jacobian of the smoothing Karush-Kuhn-Tucker system,constructed by the smoothing metric projector,is equivalent to the strong second-order sufficient condition and constraint nondegeneracy,which is in turn equivalent to the strong regularity of the Karush-Kuhn-Tucker point.Moreover,this nonsingularity property guarantees the quadratic convergence of the corresponding smoothing Newton method for solving a Karush-Kuhn-Tucker point.Interestingly,the analysis does not need the strict complementarity condition.
