Bendixson–Dulac theorem

In mathematics, the Bendixson–Dulac theorem on dynamical systems states that if there exists a $C^{1}$ function $\varphi (x,y)$ (called the Dulac function) such that the expression

According to Dulac theorem any 2D autonomous system with a periodic orbit has a region with positive and a region with negative divergence inside such orbit. Here represented by red and green regions respectively

{\frac {\partial (\varphi f)}{\partial x}}+{\frac {\partial (\varphi g)}{\partial y}}

has the same sign ( $\neq 0$ ) almost everywhere in a simply connected region of the plane, then the plane autonomous system

{\frac {dx}{dt}}=f(x,y),

{\frac {dy}{dt}}=g(x,y)

has no nonconstant periodic solutions lying entirely within the region.[1] "Almost everywhere" means everywhere except possibly in a set of measure 0, such as a point or line.

The theorem was first established by Swedish mathematician Ivar Bendixson in 1901 and further refined by French mathematician Henri Dulac in 1933 using Green's theorem.

Proof

Without loss of generality, let there exist a function $\varphi (x,y)$ such that

{\frac {\partial (\varphi f)}{\partial x}}+{\frac {\partial (\varphi g)}{\partial y}}>0

in simply connected region $R$ . Let $C$ be a closed trajectory of the plane autonomous system in $R$ . Let $D$ be the interior of $C$ . Then by Green's theorem,

{\begin{aligned}&\iint _{D}\left({\frac {\partial (\varphi f)}{\partial x}}+{\frac {\partial (\varphi g)}{\partial y}}\right)\,dx\,dy=\oint _{C}\left(-\varphi g\,dx+\varphi f\,dy\right)\\[6pt]={}&\oint _{C}\varphi \left(-{\dot {y}}\,dx+{\dot {x}}\,dy\right).\end{aligned}}

Because of the constant sign, the left-hand integral in the previous line must evaluate to a positive number. But on $C$ , $dx={\dot {x}}\,dt$ and $dy={\dot {y}}\,dt$ , so the bottom integrand is in fact 0 everywhere and for this reason the right-hand integral evaluates to 0. This is a contradiction, so there can be no such closed trajectory $C$ .

gollark: Try just passing it entirely buffers?

gollark: Seems like the programmers of the library were silly dodecahedra then.

gollark: We need to combine both computer science *and* actual practical stuff, to avoid Electron and also avoid ridiculous weird type insanity.

gollark: Just use a different library for some incredibly obscure archive format nobody can use.

gollark: Ghosts?

References

Henri Dulac (1870-1955) was a French mathematician from Fayence

Burton, Theodore Allen (2005). Volterra Integral and Differential Equations. Elsevier. p. 318. ISBN 9780444517869.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[Burton2005-1] Burton, Theodore Allen (2005). Volterra Integral and Differential Equations. Elsevier. p. 318. ISBN 9780444517869.