Zahiriddin muhammad bobur nomidagi andijon davlat universiteti matematika fakulteti matematik analiz yo

III.Asosiy teorema
Kerakli shartlarni tuzamiz (2.1.1),(2.1.2) tenglama yechimining terminalga kafolatlangan qisqarishi bir guruh boshlang’ich pozitsiyasidan
Teorema.O’yin parametrlari (2.1.1),(2.1.2) bo’yicha (2.1.3) shart qanoatlangan deb faraz qilamiz. Aytaylik, moment borki yoki va barcha ruxsat etilgan boshqaruv elementlari uchun , tengsizlik.
(2.1.6)
Shunda differensial o’yin vaqtida tugashi mumkun.
Teoremaning isboti.Teoremaning farazlarini qanoatlantiradigan momentini tuzamiz.Avval ishni tahlil qilaylik.
3-lemmaga ko’ra, hal qiluvchi funktsiya ga nisbatan o’lchanadi Borel va hamma uchun yoqilgan:

Bu Borel bilan o’lchanadigan tarzda ga bog’liq va ga uzluksizdir
Kuratovski va Ryl-Nardzewski [24,25] o’lchanadigan selector teoremasi bo’yicha, bundan kelib chiqadiki, bu Borel o’lchanadigan selektorga ega, ya’ni Borel o’lchanadi akslantirish shunday
(2.1.7)
uchun. Xuddi shu teoremadan biz mavjud degan xulosaga kelishimiz mumkun a Borel o;lchanadigan akslantirish uchun

barcha uchun.
Faraz qilaylik, qochib ketayotgan o’yinchi integral cheklovni qanoatlantiradigan oralig’ida ixtiyoriy Lebeg o’lchanadigan boshqaruvidan foydalanadi

Teoremaning (2.6) faraziga ko’ra, shunday holat mavjud
(2.1.8)
Ta’qibchining nazorati oralig’ida
(2.1.9)
Ta’qib qiluvchining nazorati uchun bunday tanlov qonuni(aslida) qarshi nazoratdir.Borel va Lebeg o’lchanadigan funktsiyalarning superpozitsiyasi o’lchanadigan bo’ladi Lebeg funksiyasiga muvofiq [23]. Shuning uchun (2.1.9) shu tarzda tuzilgan nazorati o’lchanadi Lebesgga ko’ra, o’zboshimchalik bilan o’lchanadigan nazorat uchun.
Ta’qibchi boshqaruvining bunday tanlovi bilan yechim (2.1.1) to’g’ri keladi terminal to’plam vaqtida o’rnatilgan:






Bu tenglik yechimning terminallar to’plamiga qisqarishini isbotlaydi:
Shun tarzda tuzilgan boshqaruv elementi (2.1.9) (2.1.2) integral cheklovni qanoatlantirishini tekshirib ko’ramiz.


ishi ham xuddi shunday ko’rib chiqiladi, bu holda ta’qibchining nozarati oralig’ida
(2.1.10)
Avvalgidek, shuni ko’rsatish mumkinki, bu holda boshqaruv (2.1.10) keltirish (2.1.1) terminal to’plamiga vaqtida( har qanday ruxsat etilgan uchun) qisqarishini kafolatlaydi. va boshqaruv elementlari (2.1.2)integral cheklovni qondiradi. Teorema isbotlandi.