Planar first integral criterion for a centre

ID: planar-first-integral-criterion-for-a-centre

Let be a continuously differentiable planar vector field with an isolated equilibrium point , and let the twice continuously differentiable first integral satisfy and . If the Hessian matrix is positive or negative definite, then is a centre equilibrium.
For a positive-definite matrix, sufficiently short rays from have strictly increasing with radial derivative bounded below by a positive constant times distance. Every sufficiently small positive level difference therefore meets each ray exactly once, and the implicit function theorem makes these intersections a simple closed curve. These regular level sets shrink to ; use in the negative-definite case. The vector field is tangent and nonzero on each such compact curve. Its speed is bounded away from zero, so a traversal takes finite time and each curve is a periodic orbit. An arbitrary strict local extremum without these regularity and nondegeneracy conditions does not by itself supply this argument.

New to topics? Read the docs here!