3.2 - §. masala yechimining yagonaligi
Endi masala yechimining yagonaligini isbotlashga o‘tamiz.
Quyidagi lemmani keltiramiz:
3.1-lemma. Agar (3.1.2), (3.1.3) shartlar bajarilsa, u holda sohada masala bittadan ortiq yechimga ega bo‘lmaydi.
3.1-lemmaning isboti. Aytaylik, bo‘lsin, unda masala masala yechimining yagonaligi masala yechishning yagonaligidan kelib chiqadi.
(II-bob, 2.3 paragrafda) quyidagi tenglik isbotlangan
, . (3.2.1)
Bu yerdan va buzilishga ega bo‘lgan parabolik va giperbolik tenglamalar uchun ekstremum prinsiplaridan [22], [23], [24] masala yechishning yagonaligi kelib chiqadi.
(3.1.26), (3.1.13j) ga ko‘ra (3.1.15j) dan topamiz
, (3.2.2)
(3.2.1) va (3.2.2) ga ko‘ra sohada parabolik turdagi buziladigan (3.1.140) tenglama uchun ekstremum printsipi [21], [22] ni hisobga olgan holda nol chegara shartlariga ega bo‘lgan birinchi chegaraviy masala nolga teng bo‘lmagan yechimga ega emas degan xulosaga kelamiz, ya‘ni
. (3.2.3)
sohada (3.1.15j) tenglama uchun berilganlar nol bo‘lgan (ya‘ni, ) Koshi-Gursa masalasining yechimi
. (3.2.4j)
ekanligi kelib chiqadi.
(3.2.3), (3.2.41), (3.2.42) ga asosan (3.1.12j) dan
. (3.2.5)
bo‘ladi. Bu (3.1.21) tenglama uchun masala yechishning yagonaligini isbotlaydi.
(3.2.2), (3.2.5) ni e‘tiborga olib (3.1.11) dan .
Bu (3.1.1) tenglama uchun masala yechimining yagonaligini anglatadi.
3.1-lemma isbotlandi.
3.3 - §. masala yechimining mavjudligi
3.2-lemma. Agar (3.1.2), (3.1.3), (3.1.7), (3.1.81), va (3.1.82) shartlar bajarilsa, u holda sohada masala yechimi mavjud.
Do'stlaringiz bilan baham: |