Theory of Globally Convergent Probability-One Homotopies for Nonlinear Programming
Author:
- Layne T. WatsonLWLayne T. Watson
- 1 January 2001
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Optimization
- Vol. 11 (3) , 761-780
Abstract
For many years globally convergent probability-one homotopy methods have been remarkably successful on difficult realistic engineering optimization problems, most of which were attacked by homotopy methods because other optimization algorithms failed or were ineffective. Convergence theory has been derived for a few particular problems, and considerable fixed point theory exists, but generally convergence theory for the homotopy maps used in practice for nonlinear constrained optimization has been lacking. This paper derives some probability-one homotopy convergence theorems for unconstrained and inequality constrained optimization, for linear and nonlinear inequality constraints, and with and without convexity. Some insight is provided into why the homotopies used in engineering practice are so successful, and why this success is more than dumb luck. By presenting the theory as variations on a prototype probability-one homotopy convergence theorem, the essence of such convergence theory is elucidated.Keywords
This publication has 25 references indexed in Scilit:
- Algorithm 777: HOMPACK90ACM Transactions on Mathematical Software, 1997
- A combined homotopy interior point method for convex nonlinear programmingApplied Mathematics and Computation, 1997
- A combined homotopy interior point method for general nonlinear programming problemsApplied Mathematics and Computation, 1996
- Modern homotopy methods in optimizationComputer Methods in Applied Mechanics and Engineering, 1989
- Solving spline-collocation approximations to nonlinear two-point boundary-value problems by a homotopy methodApplied Mathematics and Computation, 1987
- Computing all solutions to polynomial systems using homotopy continuationApplied Mathematics and Computation, 1987
- A homotopy for solving general polynomial systems that respects m-homogeneous structuresApplied Mathematics and Computation, 1987
- Algorithm 652ACM Transactions on Mathematical Software, 1987
- A globally convergent algorithm for computing fixed points of C2 mapsApplied Mathematics and Computation, 1979
- Finding zeroes of maps: homotopy methods that are constructive with probability oneMathematics of Computation, 1978