Isboti. Qulaylik uchun (1.21) ayirmali tenglamalar sistemasidagi -Kurant sonlarini orqali belgilasak (1.21) ayirmali tenglamalar sistemasi
shaklda yoziladi.
(1.21) ayirmali tenglamalar sistemasini yuqoridagi ko‘rinishda yozish orqali uchun
ifodaga kelamiz.
(1.50) KFL shartiga ko‘ra tengsizlik bajariladi. Shunga ko‘ra tengsizlik o‘rinlidir. algebraik tengsizlikdan foydalanib quyidagi
tengsizlikka kelamiz.
Tengsizlikni ikkala tomonini ga ko‘paytiramiz.
hosil bo‘ladi.
ifoda uchun yuqoridagi tengsizlikni qo‘llash orqali quyidagi tengsizlikni olamiz
1.1-lemma isbotlandi.
1.1-lemma isbotlandi.
1.1-tasdiq. Agar (1.50) KFL sharti bajarilsa, u holda quyidagi tengsizlik o‘rinlidir
1.2-tasdiq. Agar (1.22) chegaraviy shartlar uchun dissipativlik sharti bajarilsa, u holda quyidagi tengsizlik o‘rinli bo‘ladi:
va shunga ko‘ra bo‘ladi.
Do'stlaringiz bilan baham: |