Proof of convergence theory in optimization

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 1K views
ianchenmu
Messages
7
Reaction score
0

Homework Statement



The question is:


Suppose that lim [itex]x_k=x_*[/itex], where [itex]x_*[/itex] is a local minimizer of the nonlinear function [itex]f[/itex]. Assume that [itex]\triangledown^2 f(x_*)[/itex] is symmetric positive definite. Prove that the sequence [itex]\left \{ f(x_k)-f(x_*) \right \}[/itex] converges linearly if and only if [itex]\left \{ ||x_k-x_*|| \right \}[/itex] converges linearly. Prove that the two sequences converge at the same rate, regardless of what the rate is. What is the relationship between the rate constant for the two sequences?







Homework Equations



n/a

The Attempt at a Solution


I guess we may use the orthogonal diagonalization of a symmetric matrix and [itex]f(x_k)-f(x_*)=\triangledown f(x_*)+\frac{1}{2}(x_k-x_*)^T\cdot\triangledown^2 f(\xi)(x_k-x_*)[/itex] and [itex]\triangledown f(x_*)=0[/itex]... But I got stuck here. So what's your answer?
 
Physics news on Phys.org
ianchenmu said:

Homework Statement



The question is:


Suppose that lim [itex]x_k=x_*[/itex], where [itex]x_*[/itex] is a local minimizer of the nonlinear function [itex]f[/itex]. Assume that [itex]\triangledown^2 f(x_*)[/itex] is symmetric positive definite. Prove that the sequence [itex]\left \{ f(x_k)-f(x_*) \right \}[/itex] converges linearly if and only if [itex]\left \{ ||x_k-x_*|| \right \}[/itex] converges linearly. Prove that the two sequences converge at the same rate, regardless of what the rate is. What is the relationship between the rate constant for the two sequences?





Homework Equations



n/a

The Attempt at a Solution


I guess we may use the orthogonal diagonalization of a symmetric matrix and [itex]f(x_k)-f(x_*)=\triangledown f(x_*)+\frac{1}{2}(x_k-x_*)^T\cdot\triangledown^2 f(\xi)(x_k-x_*)[/itex] and [itex]\triangledown f(x_*)=0[/itex]... But I got stuck here. So what's your answer?

My answer is that the result you are being asked to prove is wrong.