Bendikson-Dulak teoremasi - Bendixson–Dulac theorem

Yilda matematika, Bendikson-Dulak teoremasi kuni dinamik tizimlar agar mavjud bo'lsa a ${ displaystyle C ^ {1}}$ funktsiya ${ displaystyle varphi (x, y)}$ (Dulak funktsiyasi deb ataladi) shunday ifoda

Dyulak teoremasiga ko'ra davriy orbitali har qanday 2D avtonom tizim shunday orbitada musbat va salbiy divergentsiyaga ega mintaqaga ega. Bu erda navbati bilan qizil va yashil hududlar ko'rsatilgan

${ displaystyle { frac { qismli ( varphi f)} { qismli x}} + { frac { qismli ( varphi g)} { qismli y}}}$

xuddi shu belgiga ega (${ displaystyle neq 0}$) deyarli hamma joyda a oddiygina ulangan samolyot mintaqasi, keyin samolyot avtonom tizimi

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

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

doimiy bo'lmagan davriy echimlar butunlay mintaqada yotadi.^[1] "Deyarli hamma joyda" degan ma'noni anglatadi, ehtimol hamma to'plamdan tashqari o'lchov 0, masalan, nuqta yoki chiziq.

Teorema birinchi bo'lib shved matematikasi tomonidan asos solingan Ivar Bendikson 1901 yilda va frantsuz matematikasi tomonidan yanada takomillashtirilgan Anri Dulak 1933 yilda foydalangan Yashil teorema.

Isbot

Umumiylikni yo'qotmasdan, funktsiya mavjud bo'lsin ${ displaystyle varphi (x, y)}$ shu kabi

${ displaystyle { frac { qismli ( varphi f)} { qismli x}} + { frac { qismli ( varphi g)} { qismli y}}> 0}$

oddiy bog'langan mintaqada ${ displaystyle R}$. Ruxsat bering ${ displaystyle C}$ da avtonom tizimning yopiq traektoriyasi bo'ling ${ displaystyle R}$. Ruxsat bering ${ displaystyle D}$ ning ichki qismi bo'lishi ${ displaystyle C}$. Keyin Yashil teorema,

${ displaystyle { begin {aligned} & iint _ {D} left ({ frac { kısmi ( varphi f)} { qismli x}} + { frac { qismli ( varphi g)} { qisman y}} o'ng) , dx , dy = oint _ {C} chap (- varphi g , dx + varphi f , dy o'ng) [6pt] = {} & oint _ {C} varphi chap (- { nuqta {y}} , dx + { nuqta {x}} , dy o'ng). end {hizalangan}}}$

Doimiy belgi tufayli oldingi qatorda chap tomonning integrali ijobiy songa baholanishi kerak. Ammo davom etmoqda ${ displaystyle C}$, ${ displaystyle dx = { nuqta {x}} , dt}$ va ${ displaystyle dy = { dot {y}} , dt}$, demak, pastki integral hamma joyda 0 ga teng va shu sababli o'ng integral 0 ga baho beradi, bu ziddiyat, shuning uchun bunday yopiq traektoriya bo'lishi mumkin emas ${ displaystyle C}$.

Adabiyotlar

Anri Dulak (1870-1955) frantsuz matematikasi edi Fayans