Solution

ID: past-exam-of-the-numerical-linear-algebra-and-continuous-optimisation-course-of-the-university-of-oxford/2007/b/8/v/solution

Along a fixed nonzero branch, and the radial Hessian eigenvalue grows like . The nonzero transverse eigenvalues stay fixed. If is simple, the ratio of the largest to smallest absolute eigenvalue therefore tends to infinity. If it repeats, the Hessian is already singular because of the zero transverse directions; there is no finite spectral condition number to begin with. These conclusions concern the nonzero branches: at the stationary origin , and the same blowup is not implied.
Ill-conditioning does not invalidate barrier minimizers as approximations to the constrained solution. Let . At radius , the smallest possible quadratic value is , so global barrier minimization reduces to minimizing for . For its unique minimizing radius satisfies
Thus every limiting unit vector in that eigenspace solves the original problem, with objective . For the barrier minimizer is the origin instead. The increasing condition number concerns the numerical difficulty of small-parameter subproblems, which can call for scaling or a primal-dual interior-point method; it does not prevent the mathematical convergence just established. This is the quadratic-ball barrier eigenvalue branch.
Figure 1.
The nonzero barrier minimizers approach the unit sphere while their Hessian condition number grows; the origin remains stationary
. Details.

New to topics? Read the docs here!