SIAM Digital Library
 
 
 

You are not logged in Logged Out Log In

SIAM. J. Matrix Anal. & Appl. 31, pp. 1303-1328 (26 pages)

Why Lagrange Multipliers with Extreme Magnitudes Give Extrema of Definite Hermitian Forms on Quadric Surfaces

Yves Nievergelt

Full Text: Download PDF | Buy PDF (US$25) | View Cart
This work explains the geometry of analytic theorems by Forsythe and Golub, Gander, and Moré to the effect that the constrained minimum (respectively, maximum) of a positive definite Hermitian form on a level set of any nonnecessarily definite Hermitian polynomial corresponds to the Lagrange multiplier with the smallest (respectively, largest) absolute value. Locally, the law of sines for the triangle with vertices at the center and at two stationary points reveals that the objective values are in the same order as the magnitudes of the Lagrange multipiers. Global geometry explains the same results for global minima and global maxima by showing that the constraining quadric surface and the Lagrange multiplier form a set of geodetic coordinates for the entire ambient space. Duality and the symmetry of the constraining quadratic hypersurface also explain why the difference between two stationary points with the same objective value is a generalized eigenvector.

© 2009 Society for Industrial and Applied Mathematics

RELATED DATABASES

To view database links for this article, you need to log in.

KEYWORDS

PUBLICATION DATA

ISSN

0895-4798 (print)  
1095-7162 (online)

ARTICLE DATA

History
Received December 09, 2008
Accepted July 20, 2009
Published online November 13, 2009

For access to fully linked references, you need to log in.

Close

close