Ye(t)= SC1 ePt (6)
S1-sistemaga qo’yilgan boshlang’ich shartlar bo’yicha aniqlangan ixtiyoriy o’zgarmas son.
Shunday qilib, chiziqli sistemaning turg’unligini xarakteristik tenglamaning ildizlari aniqlar ekan.
Ildizlar esa haqiqiy, kompleks va mavhum bo’lishi mumkin.
Chiziqli sistema uzatish funksiyasi W(P) ning hamma qutblari haqiqiy qismning manfiy ishoraga ega bo’lishi uning turg’un bo’lishining zarur va etarli sharti hisoblanadi.
Uzatish funksiyasining maxrajidagi polinom ildizlarini uzatish funksiyasining qutblari, suratidagi polinom ildizlari uzatish funksiyasining nollari deyiladi.
W(P)=P(P)/Q(P) (7)
Ochiq sistema uzatish funksiyasining xarakteristik tenglamasi Q(P)=0 ning ildizlari haqiqiy qismining manfiy bo’lishi ochiq sistemaning turg’un bo’lishining etarli va zarur shartidir.
Berk sistema uchun
F(P)=W(P)/J+W(P)=(P(P)/Q(P))/J+P(P)/Q(P)=P(P)/Q(P)+P(P)=B(P)/A(P) (8)
A(P)=1+W(P)=0- berk sistemaning xarakteristik tenglamasi.
Berk sistema xarakteristik tenglamasi A(P)=0 ildizlari haqiqiy qismining manfiy bo’lishi uning turg’un bo’lishining etarli va zarur shartidir.
Turg’unlikning bu shartlari A.M.Lyapunov tomonidan nochiziqli sistemalarining chiziqlantirilgan tenglamalari uchun isbotlandi va qo’llandi. Quyida biz bu teoremalarni isbotsiz keltiramiz.
1-teorema: Agar chiziqlantirilgan sistema xarakteristik tenglamasi hamma ildizlarining haqiqiy qismi manfiy bo’lsa, unda real sistema ham turg’un bo’ladi,ya’ni juda kichik nochiziqli hadlari sistemaning turg’unlik holatiga ta’sir ko’rsata olmaydi.
2-teorema: Agar chiziqlantirilgan sistema xarakteristik tenglamasining birorta ildizi musbat haqiqiy qismga ega bo’lsa, unda real sistema noturg’un bo’ladi, ya’ni juda kichik nochiziqli hadlari sistemani turg’un qila olmaydi.
3-teorema: Agar chiziqlantirilgan sistema xarakteristik tenglamasining ildizlari mavhum yoki nolga teng bo’lsa, unda real sistema turg’unlik chegarasi bo’ladi. Ya’ni bunda juda kichik nochiziqlar hadlar o’tkinchi jarayon ko’rinishini tubdan o’zgartirib yuborishi, hamda real sistemani turg’un yoki noturg’un holatga keltirish mumkin.
Shunday qilib, sistema turg’unligini tadqiq etish uning xarakteristik tenglamasi ildizlarining ishorasini aniqlashdan, ya’ni xarakteristik tenglama ildizlarini kompleks tekisligida mavhum o’qqa nisbatan qanday joylashganligini aniqlashdan iborat.
7. Daraxt va unga ekvivalent tushunchalar. Siklga ega bo'lmagan oriyentirlanmagan bog'lamli graf daraxt deb ataladi. Ta'rifga ko'ra, daraxt sirtmoqlar va karrali qirralarga ega emas. Siklga ega bo'lmagan oriyentirlanmagan graf о'rmon (asiklik graf) deb ataladi.
1-misol.1-shaklda bog'lamli komponentali soni beshga teng bo'lgan graf tasvirlangan bo'lib, u o'rmondir. Bu grafdagi bog'lamli komponentalarning har bin daraxtdir.
2-misol 2-shaklda to'rtta uchga ega bir-biriga izomorf bo'lmagan barcha (ular bor-yog'i ikkita) daraxtlarning geometrik ifodalanishi tasvirlangan.Beshta uchga ega birbiriga izomorf bo'lmagan barcha daraxtlar uchta, oltita uchga ega bunday barcha daraxtlar esa oltita ekanligini ko'rsatish qiyin emas.
Daraxt tushunchasiga boshqacha ham ta'rif berish mumkin. Umuman olganda, G(m,n)-gvaf uchun daraxtlar haqidagi asosiy teorema, deb ataluvchi quyidagi teorema o'rinlidir.
1-teorema. Uchlari soni m va qirralari soni n bo 'Igan G graf uchun quyidagi tasdiqlar ekvivalentdir:
G daraxtdir;
G asiklikdir va n=m—l;
G bog'lamlidir va n=m—\;
Induksion o'tish: G daraxt uchun k>2 vam=k bo'lganda, 2) tasdiq o'rinli bo'lsin deb faraz qilamiz. Endi uchlari soni m=k+l va qirralari soni n bo'lgan daraxtni qaraymiz. Bu daraxtning ixtiyoriy qirrasini (vp v2) bilan belgilab, undan bu qirrani olib tashlasak, Vj uchdan v2 uchgacha marshruti (aniqrog'i, zanjiri) mavjud bo'lmagan grafni hosil qilamiz, chunki agar hosil bo'lgan grafda bunday zanjir bor bo'lsa edi, u holda G daraxtda sikl topilar edi. Bunday bo'lishi esa mumkin emas.
Hosil bo'lgan graf ikkita Gl va G2 bog'lamli komponentalardan iborat bo'lib, bu komponentalarning har biri daraxtdir. Yana shuni ham e'tiborga olish kerakki, Gl va G2 daraxtlarning har biridagi uchlar soni к dan oshmaydi.
Matematik induksiya usuliga ko'ra, bu daraxtlarning har birida qirralar soni uning uchlari sonidan bitta kam bo'lishini ta'kidlaymiz, ya'ni Gxgraf (m, «)-graf bo'lsa, quyidagi tengliklar o'rinlidir:
Do'stlaringiz bilan baham: |