to’plamda berilgan bo’lib, o’zgaruvchining E to’plamdan olingan har bir tayin qiymatida o’zgaruvchining funksiyasi sifatida [a,b] oraliqda integrallanuvchi bo’lsin. Ya’ni y ni o’zgarmas deb hisoblanganda
integral mavjud bo’lsin. Ravshanki bu integralning qiymati olingan y ga (parametrga) bog’liq bo’ladi:
(1)
Misol: Ushbu funksiyaning x o’zgaruvchisi bo’yicha [a,b] dagi integrali (bu yerda y=0)
bo’lib, to’plamda berilgan
funksiyadan iboratdir.
Ushbu paragrafda parametrga bog’liq (1) integralning ( funksiyaning ) funksional xossalarini o’rganamiz.
1. Integral belgisi ostida limitga o’tish. funksiya
to’plamda berilgan bo’lib, nuqta E to’plamning limit nuqtasi bo’lsin.
1-Teorema: f(x,y) funksiya y ning E to’plamdan olingan har bir tayin qiymatida x ning funksiyasi sifatida [a,b] oraliqda uzluksiz bo’lsin. Agar f(x,y) funksiya da limit funksiyaga ega bo’lsa va unga tekis yaqinlashsa, u holda (2)
bo’ladi. Isbot: Shartga ko’ra funksiya da limit funksiyaga ega va unga tekis yaqinlashadi. Demak olinganda ham, shunday topiladiki, | | ni qanoatlantiruvchi va uchun
| |
bo’ladi.
Ikkinchi tomondan funksiyaning uzluksizligi to’g’risidagi teoremaga asosan funksiya [a,b] oraliqda uzluksiz bo’ladi. Demak bu funksiyaning integrali mavjud.
Natijada
| | | | bo’lib, undan
ekanligi kelib chiqadi. Teorema isbot bo’ldi.
munosabatni quyidagicha
ham yozish mumkin. Bu esa integral belgisi ostida limitga o’tish mumkinligini ko’rsatadi.
Misol: Biz to’plamda berilgan
funksiyaning da limit funksiyaga tekis yaqinlashishini ko’rgan edik:
Berilgan funksiya y o’zgaruvchining har bir tayin qiymatida x o’zgaruvchining [0,1] oraliqdagi uzluksiz funksiyasi ekanligi ravshan. Demak (1) teoremaga ko’ra
bo’ladi.
2. Integralning parametr bo’yicha uzluksizligi. 2-Teorema: Agar f (x,y) funksiya
to’plamda uzluksiz bo’lsa, u holda
funksiya [c,d] oraliqda uzluksiz bo’ladi. Isbot: Ihtiyoriy nuqtani olaylik. Shartga ko’ra funksiya M to’plamda (to’g’ri to’rtburchakda) uzluksiz. Kantor teoremasiga ko’ra bu funksiya M to’plamda tekis uzluksiz bo’ladi. Unda olinganda ham, shunday topiladiki,
| |
tengsizlikni qanoatlantiruvchi uchun
| |
bo’ladi. Bu esa funksiyaning da limit funksiyag tekis yaqinlashishini bildiradi. U holda (1) teoremaga asosan
bo’ladi. Demak, funksiya nuqtada uzluksiz. Teorema isbot bo’ldi.
3.Intefralni parametr bo’yicha differensiallash. 3-Teorema: funksiya
to’plamda berilgan va y o’zgaruvchining [c,d] oraliqdan olingan har bir tayin qiymatida x o’zgaruvchining funksiyasi sifatida [a,b] oraliqda uzluksiz bo’lsin. Agar funksiya M to’plamda hususiy hosilaga ega bo’lib, y uzluksiz bo’lsa, u holda funksiya ham [c,d] oraliqda hosilaga ega va ushbu
(3)
munosabat o’rinlidir.
Isbot: Shartga ko’ra funksiya x o’zgaruvchisi bo’yicha [a,b] oraliqda uzluksiz. Binobarin
integral mavjud.
Endi nuqtani olib, unga shunday orttirma beraylikki, bo’lsin. funksiyani nuqtadagi orttirmasini topib, ushbu
tenglikni hosil qilamiz. Lagranj teoremasi ga ko’ra (uni qo’llay olishimiz teorema shartlari bilan ta’minlangan)
bo’ladi, bunda
Natijada
bo’lib, undan esa
| | | |
(4)
bo’lishini topamiz, bunda funksiyaning uzluksizlik moduli.
Modomiki funksiya M to’plamda uzluksiz ekan, unda Kantor teoremasiga ko’ra bu funksiya shu to’plamda tekis uzluksiz bo’ladi. U holda yuqorida keltirilgan teoremaga asosan
bo’ladi.
(4) munosabotdan
bo’lishi kelib chiqadi.Demak,
nuqta [c,d] oraliqda ixtiyoriy. Teorema isbot bo’ldi.
(3) munosabatni quyidagicha ham yozish mumkin:
Bu esa differensiallash amalini integral belgisi ostiga o’tkazish mumkinligini ko’rsatadi.
4.Integralni parametr bo’yicha integrallash. funksiya to’plamda berilgan va shu to’plamda uzluksiz bo’lsin.U holda 2-teoremaga ko’ra
funksiya [c,d] oraliqda uzluksiz bo’ladi.Bu funksiya [c,d] oraliq bo’yicha integrali mavjud.
Demak, funksiya M to’plamda uzluksiz bo’lsa, uholda parametrga bog’liq integralni parametr bo’yicha [c,d] oraliqda integrallash mumkin:
Bu tenglikning o’ng tomoni funksiyani avval o’zgaruvchi bo’yicha [a,b] oraliqda integrallab ,so’ng natijani [c,d] oraliqda integrallanadi
Ba’zan funksiya M to’plamda uzluksiz bo’lgan halda bu fuksiyiyani avval o’zgaruvchi bo’yicha [c,d] oraliqda integrallab,so’ng hosil o’zgaruvchining funksiyasini [a,b] oraliqda integrallash qulay bo’ladi natijada ushbu
integrallar hosil bo’ladi.
4-Teorema: Agar f(x,y) funksiyato’plamda uzluksiz bo’lsa, uholda
funksiyani [c,d] oraliqda uzluksiz bo’lganligi sababli quyidagicha bo’ladi:
(5)
bo’ladi.
funksiya M to’plamda uzluksizligidan
bo’ladi.Demak, funksiyaning to’plamdagi t bo’yicha xususiy hosilasi ga teng va demak ,uzluksiz.U holda 5-teoremaga muofiq
(6)
bo’ladi.
(5) va (6) munosabatdan
bo’lishi kelib chiqadi.Demak,
(c-cont)
Biroq bo’lganda bo’lib, Undan bo’lishini topamiz Demak, bo’ladi. Xususan, bo’lganda bo’lib, u teoremani isbotlaydi.