BendixsonDulacKriterium

Bendixson-Dulac theorem is a fundamental result in the qualitative theory of ordinary differential equations, named after Ivar Bendixson and Pierre Dulac. It provides a criterion for the non-existence of closed orbits (limit cycles) in planar systems of differential equations.

The theorem states that if a planar system of differential equations is given by

dx/dt = P(x, y)

dy/dt = Q(x, y)

and if the divergence of the vector field (P, Q) is non-zero, i.e.,

∇·(P, Q) = ∂P/∂x + ∂Q/∂y ≠ 0

then the system cannot have any closed orbits. The divergence of the vector field represents the rate of expansion or contraction of the vector field, and its sign indicates whether the field is generally expanding or contracting.

The Bendixson-Dulac theorem is particularly useful in the study of dynamical systems, as it allows for the exclusion of certain types of behavior in a system based on the properties of its vector field. However, it is important to note that the theorem does not provide information about the existence of closed orbits when the divergence is zero, and additional methods are required to analyze such systems.

The theorem has been extended to higher dimensions and to more general types of differential equations, but the original formulation for planar systems remains a cornerstone in the study of dynamical systems.