INERTIA-REVEALING PRECONDITIONING FOR LARGE-SCALE NONCONVEX CONSTRAINED OPTIMIZATION

被引:32
作者
Schenk, Olaf [1 ]
Waechter, Andreas [2 ]
Weiser, Martin [3 ]
机构
[1] Univ Basel, Dept Comp Sci, CH-4056 Basel, Switzerland
[2] IBM Corp, TJ Watson Res Ctr, Yorktown Hts, NY 10598 USA
[3] ZIB, D-14195 Berlin, Germany
关键词
nonconvex constrained optimization; optimal control; interior point method; inertia; multilevel preconditioning; indefinite systems; biomedical cancer application;
D O I
10.1137/070707233
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Fast nonlinear programming methods following the all-at-once approach usually employ Newton's method for solving linearized Karush-Kuhn-Tucker (KKT) systems. In nonconvex problems, the Newton direction is guaranteed to be a descent direction only if the Hessian of the Lagrange function is positive definite on the nullspace of the active constraints; otherwise some modifications to Newton's method are necessary. This condition can be verified using the signs of the KKT eigenvalues (inertia), which are usually available from direct solvers for the arising linear saddle point problems. Iterative solvers are mandatory for very large-scale problems, but in general they do not provide the inertia. Here we present a preconditioner based on a multilevel incomplete LBLT factorization, from which an approximation of the inertia can be obtained. The suitability of the heuristics for application in optimization methods is verified on an interior point method applied to the CUTE and COPS test problems, on large-scale three-dimensional (3D) PDE-constrained optimal control problems, and on 3D PDE-constrained optimization in biomedical cancer hyperthermia treatment planning. The efficiency of the preconditioner is demonstrated on convex and nonconvex problems with 150(3) state variables and 150(2) control variables, both subject to bound constraints.
引用
收藏
页码:939 / 960
页数:22
相关论文
共 40 条
[1]  
Aliaga JI, 2008, ADV PARALLEL COMPUT, V15, P287
[2]   FITTING OF POWER-SERIES, MEANING POLYNOMIALS, ILLUSTRATED ON BAND-SPECTROSCOPIC DATA [J].
BEATON, AE ;
TUKEY, JW .
TECHNOMETRICS, 1974, 16 (02) :147-185
[3]  
BENSON HY, AMPL FORMULATION CUT
[4]  
Benzi M, 2005, ACTA NUMER, V14, P1, DOI 10.1017/S0962492904000212
[5]   Parallel Lagrange-Newton-Krylov-Schur methods for PDE-constrained optimization. Part I: The Krylov-Schur solver [J].
Biros, G ;
Ghattas, O .
SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2005, 27 (02) :687-713
[6]   Parallel Lagrange-Newton-Krylov-Schur methods for PDE-constrained optimization. Part II: The Lagrange-Newton solver and its application to optimal control of steady viscous flows [J].
Biros, G ;
Ghattas, O .
SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2005, 27 (02) :714-739
[7]   Multilevel preconditioners constructed from inverse-based ILUs [J].
Bollhöfer, M ;
Saad, Y .
SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2006, 27 (05) :1627-1650
[8]  
BONDARENKO AS, 1998, ANLMCSTM237
[9]   CUTE - CONSTRAINED AND UNCONSTRAINED TESTING ENVIRONMENT [J].
BONGARTZ, I ;
CONN, AR ;
GOULD, N ;
TOINT, PL .
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 1995, 21 (01) :123-160
[10]  
BUNCH JR, 1977, MATH COMPUT, V31, P163, DOI 10.1090/S0025-5718-1977-0428694-0