16-§. Differensial tenglama yechimining parametrlarga va boshlang’ich shartlarga bog’liqligi

(18)

Bu yerda da yechimning boshlangich shartga uzluksiz bog’liqligidan

bo’lishi, bundan esa o’z navbatida

kelib chiqadi. Oxirgi (18) munosabatga Gronuolla tengsizligini qo’llasak quyidagi baho kelib chiqadi:

Bu bahodan da

bo’lishi kelib chiqadi. Bu esa, o’z navbatida

ekanligini bildiradi. Bundan, ushbu xususiy hosilaning mavjudligi va

tenglik kelib chiqadi. Teoremaning qolgan bandlari ham xuddi shunday isbotlanadi.