How could you use the implicit function theorem to prove something like this?

[AxiomOfChoice]

Suppose you know that a function g(x,y,z) has a unique, non-degenerate minimum at some point (x_0,y_0,z_0). How could you go about using the implicit function theorem to prove that f(x,y,z) = g(x,y,z) + C h(x,y,z), where C is some constant, has a minimum at some point (x_c,y_c,z_c)? Could we further show that (x_c,y_c,z_c) would need to be close to (x_0,y_0,z_0)?

I realize that I've left so many things unspecified that a lot of details will have to be omitted. But could you walk me through the basic program for proving something like this (e.g., things I'd have to show about the function h or the constant C)?

 

[g_edgar]

I suppose "non-degenerate" means the Hessian is positive definite? Then you need to diagonalize Hessian matrix and take C related to its eigenvalues.

 

[AxiomOfChoice]

I suppose "non-degenerate" means the Hessian is positive definite? Then you need to diagonalize Hessian matrix and take C related to its eigenvalues.

Hehe...yeah, that's the thing...I'm not really sure what a "non-degenerate" minimum is. Is that kind of an accepted definition for non-degenerate minimum?