4.2 Conservative Systems

First Integral

We have a dynamical system x˙=F(x) defined on the phase space URn and ϕt(x0) is the flow.

If G:RnR is a differentiable function such that:

  1. x0U,tR,G(ϕt(x0))=G(x0)
  2. H is non-constant on any open set

Mechanical System With Potential

A mechanical system can be described by the differential equation:

x¨=V(x).

Here, x is the position vector, and V:RnR is the potential function.

Dynamical System Formulation

By introducing the velocity y=x˙, the system is converted into a first-order dynamical system in 2n-dimensions:

x˙=y,y˙=V(x).

Total Energy (First Integral)

The function H(x,y) is the total energy or Hamiltonian of the system:

H(x,y)=|y|22+V(x).

This function is a first integral of the system, which means it is conserved over time.

Conservation Principle: Since H is a first integral, a mechanical system with a potential (a conservative system) preserves its total energy along its motion. That is, H(x(t),y(t)) is constant for all time t.

Hamiltonian System

If we have the dynamical system:

there exists and H such that:

x˙i=H(x,y)yi,y˙i=H(x,y)xi

Then H(x,y) is a first integral.

Conservative System

A system that has a first integral

Periodic Orbits in Conservative Systems

If x˙=F(x) is conservative with a first integral H:R2R. If H1{c} is a non-empty connected component of a regular compact set and there is no fixed point on H1({c}), then H1({c}) contains a periodic orbit.

To find fixed points we should look for F(x)=0, however if we have a Hamiltonian then F(x,y)=0 iff H(x,y)=0

No Attracting Fixed Points

Suppose that x˙=F(x) is a conservative system with first integral H:R2R. Let x be a fixed point. Then x cannot be ωattracting.

For contradiction assume that x is indeed ω-attracting. By definition, it means that

δ>0 s.t. x0Bδ(x),limtϕt(x0)=x

Now if H is the first integral, one sees that along the flow (ϕt) for any point x0 in the neighborhood Bδ(x), it holds that

tR+,H(x0)=H(ϕt(x0))=limtH(ϕt(x0))=H(x)

As a result, H(x0) is a constant in Bδ(x), which contradicts the definition of a first integral