Bendixson-Dulac teoremi - Bendixson–Dulac theorem

İçinde matematik, Bendixson-Dulac teoremi açık dinamik sistemler eğer varsa bir ${ displaystyle C ^ {1}}$ işlevi ${ displaystyle varphi (x, y)}$ (Dulac işlevi denir) öyle ki ifade

Dulac teoremine göre, periyodik bir yörüngeye sahip herhangi bir 2D otonom sistem, bu yörünge içinde pozitif bir bölgeye ve negatif ıraksama olan bir bölgeye sahiptir. Burada sırasıyla kırmızı ve yeşil bölgelerle temsil edilir

${ displaystyle { frac { kısmi ( varphi f)} { kısmi x}} + { frac { kısmi ( varphi g)} { kısmi y}}}$

aynı işarete sahip (${ displaystyle neq 0}$) neredeyse heryerde içinde basitçe bağlı düzlemin bölgesi, ardından uçak otonom sistemi

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

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

sabit olmayan periyodik çözümler tamamen bölgenin içinde yatıyor.^[1] "Hemen hemen her yerde", muhtemelen bir dizi ölçü 0, nokta veya çizgi gibi.

Teorem ilk olarak İsveçli matematikçi tarafından kuruldu Ivar Bendixson 1901'de ve Fransız matematikçi tarafından daha da geliştirildi Henri Dulac 1933'te kullanarak Green teoremi.

Kanıt

Genelliği kaybetmeden, bir işlev var olsun ${ displaystyle varphi (x, y)}$ öyle ki

${ displaystyle { frac { kısmi ( varphi f)} { kısmi x}} + { frac { kısmi ( varphi g)} { kısmi y}}> 0}$

basitçe bağlantılı bölgede ${ displaystyle R}$. İzin Vermek ${ displaystyle C}$ uçak otonom sisteminin kapalı bir yörüngesi olmak ${ displaystyle R}$. İzin Vermek ${ displaystyle D}$ içi olmak ${ displaystyle C}$. Sonra Green teoremi,

${ displaystyle { begin {align} & iint _ {D} left ({ frac { kısmi ( varphi f)} { kısmi x}} + { frac { kısmi ( varphi g)} { kısmi y}} sağ) , 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 {hizalı}}}$

Sabit işaret nedeniyle, önceki satırdaki sol taraftaki integral pozitif bir sayı olarak değerlendirilmelidir. Ama ${ displaystyle C}$, ${ displaystyle dx = { nokta {x}} , dt}$ ve ${ displaystyle dy = { nokta {y}} , dt}$, yani alt integrand aslında her yerde 0'dır ve bu nedenle sağ taraftaki integral 0 olarak değerlendirilir. Bu bir çelişkidir, dolayısıyla böyle bir kapalı yörünge olamaz. ${ displaystyle C}$.

Referanslar

Henri Dulac (1870-1955) Fransız bir matematikçiydi Fayence