Koshi masalasi yechimining mavjudligi va yagonaligi

Teorema-1 (Koshi). Agar (1.1) differensial tenglamadagi funksiya

to’g’ri to’rtburchakda aniqlangan va uzluksiz bo’lib, o’zgaruvchi bo’yicha Lipshits shartini, ya’ni nuqtalar uchun shunday soni topilib
(1.3)
tengsizlikni qanoatlantirsa, u holda (1.1)-(1.2) Koshi masalasining
oraliqda aniqlangan va (1.2) boshlang’ich shartni qanoatlantiruvchi yagona yechimi mavjud. Bu yerda
. (1.4)
Izoh-1. Agar funksiya sohaning har bir nuqtasida xususiy hosilaga ega bo’lib,

shartni qanoatlantirsa, u holda funksiya to’g’ri to’rtburchakda o’zgaruvchi bo’yicha Lipshits shartini qanoatlantiradi.
Haqiqatan ham ixtiyoriy ikki nuqtalar uchun Lagranj teoremasiga asosan quyidagi

munosabat bajariladi. Bu yerda
Oxirgi munosabatdan va xususiy hosilaning chegaralanganligidan (1.3) tengsizlik kelib chiqadi.
Ammo, ba’zi hollarda hosilaga ega bo’lmagan funksiyalar ham (1.3) Lipshits shartini qanoatlantiradi.
Masalan. Ushbu funksiya nuqtada hosilaga ega emas, lekin

o’rinli. Bunda Lipshits o’zgarmasi bo’ladi.
Teoremani isbotlashdan oldin quyidagi misollarni qaraylik.