Kirish. Asosiy qism. Ikkinchi tartibli differenstil tenglmalar nazariyasi taqqoslash teoremasi

Taqqoslash teoremasi

tenglamalari berilgan bo’lsin. Bunda p₁(x) va p₂(x) funksiyalar (a,b) oraliqda uzluksiz va bu oraliqda

sharti bajarilsin.U xolda birinchi tenglamaning ixtiyoriy yechimining ikkita ketma-ket x₀,x₁ nollari orasida, ikkinchi tenglamaning ixtiyoriy yechimining xech bo’lmaganda bitta noli yetadi.
Isbot. Faraz etaylik x₀vax₁ yechimning ikkita ketma-ket noli bo’lsin. Isbot etamizkim, shunday x*nuqta mavjudkim, uning uchun (x₀₁) bo’ladi. Teskarisini faraz etamiz (x₀,x₁) oraliqda ning birorta xam noli bo’lmasin, ya’ni . Aniqlik uchun (x₀,x₁) oraliqda bo’lsin.
U xolda , x₀ ning o’ng tomonida o’suvchi va x₁ ning chap tomonida kamayuvchi bo’ladi.
Demak

va yechimlarni (1) va (2) tenglamaga olib borib qo’ysak
(3)
Bularning birinchisini ga, ikkinchisini ga ko’paytirib, birinchisidan ikkinchisini hadlab ayirsak

Bu keyingi tenglikni x₀ dan x₁ oralig’ida integrallasak
(4)
ga ega bo’lamiz.
Lekin bo’lgani uchun (4)ning chap tomini manfiy bo’lib, o’ng tomoni esa musbatdir.
Bu qarama qarshilik ko’rsatadikim, (x₀,x₁) oraliqda shunday x* nuqta topiladikim, bu nuqtada .
Shuning bilan birga quyidagi teoremani isbot etdik.
Agar x₀ (1) va (2) tenglamaning va yechimlarining umumiy noli bo’lib, x₀ dan keyingi yechimning x₁ noli orasida shartini qanoatlantiruvchi nuqtalar mavjud bo’lsa, bundan tashqari p₂(x)-p₁(x) manfiy bo’lmasa u holda yechimning x₀ dan keyingi noli x₁ ning chap tomonida yotadi.
Natija. Faraz etaylik y''+p(x)y=0 tenglama berilgan bo’lsin.bunda p(x)>0 bo’lib, da
bo’lsin.
U xolda trivial bo’lmagan tenglamaning ixtiyoriy yechimining ikkita ketma-ket nollari orasidagi masofa ρ

tengsizlikni kanoatlantiradi.
Buning isboti uchun

Teorema 1 ni taqqoslash teoremasidan foydalanib isbotlash mumkin.