For A sym. pos. def. and D pos. diagonal, when is AD pos. def?
If this is better placed in the general analysis forum, please tell me. I'm new here.
Expanding the Subject:
- real square symmetric positive definite.
- real square positive diagonal.
Under what conditions (sufficient nice; necessary excellent) is also positive definite?
It is easy to show AD has positive eigenvalues, so the "failure" case is when a negative one pops up in
I have not been able to get traction on this. All help appreciated.
Background: The need is to explore convergence of a very large, very nonlinear system of differential equations. My best shot at a Lyapunov function has derivative of the form
The system is bounded, so if AD is always positive definite, it will converge. Alas, it starts meandering in experiments exactly when AD becomes indefinite. I'm searching for a fix.
Many thanks for your thoughts.
Re: For A sym. pos. def. and D pos. diagonal, when is AD pos. def?