Integrallarning differentsiatsiyasi - Differentiation of integrals

Ushbu maqolada a foydalanilgan adabiyotlar ro'yxati, tegishli o'qish yoki tashqi havolalar, ammo uning manbalari noma'lum bo'lib qolmoqda, chunki u etishmayapti satrda keltirilgan. Iltimos yordam bering takomillashtirish tomonidan ushbu maqola tanishtirish aniqroq iqtiboslar. (Iyun 2020) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

Yilda matematika, muammo integrallarning differentsiatsiyasi bu qanday sharoitda ekanligini aniqlashdir o'rtacha qiymat ajralmas mos keladigan funktsiya kichkinagina Turar joy dahasi nuqta funktsiyaning shu nuqtadagi qiymatiga yaqinlashadi. Rasmiy ravishda bo'sh joy berilgan X bilan o'lchov m va a metrik d, kim qanday funktsiyalarni bajarishini so'raydi f : X → R qiladi

${displaystyle lim _ {r o 0} {frac {1} {mu {ig (} B_ {r} (x) {ig)}}} int _ {B_ {r} (x)} f (y), mathrm {d} mu (y) = f (x)}$

hamma uchun (yoki hech bo'lmaganda) m-deyarli barchasi ) x ∈ X? (Maqolaning qolgan qismida bo'lgani kabi, bu erda ham B_r(x) belgisini bildiradi ochiq to'p yilda X bilan d-radius r va markaz x.) Bu tabiiy savol, ayniqsa, evristik konstruktsiyani hisobga olgan holda Riemann integrali, bu deyarli yashirin f(x) qiymatlari uchun "yaxshi vakil" dir f yaqin x.

Integrallarning differentsiatsiyasi haqidagi teoremalar

Lebesg o'lchovi

Integrallarning differentsiatsiyasi bo'yicha bitta natija Lebesg differentsiatsiyasi teoremasi, isbotlanganidek Anri Lebesgue 1910 yilda. o'ylab ko'ring n-o'lchovli Lebesg o'lchovi λⁿ kuni n- o'lchovli Evklid fazosi Rⁿ. Keyin, har qanday kishi uchun mahalliy darajada integral funktsiya f : Rⁿ → R, bittasi bor

${displaystyle lim _ {r o 0} {frac {1} {lambda ^ {n} {ig (} B_ {r} (x) {ig)}}} int _ {B_ {r} (x)} f ( y), mathrm {d} lambda ^ {n} (y) = f (x)}$

uchun λⁿ- deyarli barcha fikrlar x ∈ Rⁿ. Shuni ta'kidlash kerakki, "yomon" nuqtalarning nol to'plami funktsiyaga bog'liq f.

R bo'yicha Borel o'lchovlariⁿ

Lebesg o'lchovining natijasi quyidagi natijaning maxsus holiga aylanadi, bu quyidagicha Besicovich teoremasini qamrab olgan: agar m har qanday mahalliy cheklangan Borel o'lchovi kuni Rⁿ va f : Rⁿ → R nisbatan mahalliy darajada birlashtirilishi mumkin m, keyin

${displaystyle lim _ {r o 0} {frac {1} {mu {ig (} B_ {r} (x) {ig)}}} int _ {B_ {r} (x)} f (y), mathrm {d} mu (y) = f (x)}$

uchun m- deyarli barcha fikrlar x ∈ Rⁿ.

Gauss choralari

Integrallarni differentsiatsiyasi masalasi cheksiz o'lchovli sharoitda ancha qiyinroq. A ni ko'rib chiqing ajratiladigan Hilbert maydoni (H, 〈,〉) Bilan jihozlangan Gauss o'lchovi γ. Maqolasida aytilganidek Vitali qoplovchi teorema, Vitali qamrab oluvchi teorema Gaussning cheksiz o'lchovli Hilbert bo'shliqlarida o'lchovlari uchun muvaffaqiyatsiz tugadi. Devid Preissning ikkita natijasi (1981 va 1983) ushbu sharoitda qanday qiyinchiliklarga duch kelishi mumkinligini ko'rsatadi:

• Gauss o'lchovi mavjud γ ajratiladigan Hilbert fazosida H va Borel to'plami M ⊆ H shuning uchun, uchun γ- deyarli barchasi x ∈ H,

${displaystyle lim _ {r o 0} {frac {gamma {ig (} Mcap B_ {r} (x) {ig)}} {gamma {ig (} B_ {r} (x) {ig)}}} = 1.}$

• Gauss o'lchovi mavjud γ ajratiladigan Hilbert fazosida H va funktsiya f ∈ L¹(H, γ; R) shu kabi

${displaystyle lim _ {r o 0} inf chap {chap. {frac {1} {gamma {ig (} B_ {s} (x) {ig)}}} int _ {B_ {s} (x)} f (y), mathrm {d} gamma (y) ight | xin H, 0$

Ammo, agar kimdir uni yaxshi nazorat qilsa, ba'zi umidlar mavjud kovaryans ning γ. Ning kovaryans operatori bo'lsin γ bo'lishi S : H → H tomonidan berilgan

${displaystyle langle Sx, yangle = int _ {H} langle x, zangle langle y, zangle, mathrm {d} gamma (z),}$

yoki kimdir uchun hisoblanadigan ortonormal asos (e_men)_men∈N ning H,

${displaystyle Sx = sum _ {iin mathbf {N}} sigma _ {i} ^ {2} x x, e_ {i} burchak e_ {i}.}$

1981 yilda Preiss va Jaroslav Tisherlar agar doimiy 0 q <1 shunday

${displaystyle sigma _ {i + 1} ^ {2} leq qsigma _ {i} ^ {2},}$

keyin, hamma uchun f ∈ L¹(H, γ; R),

${displaystyle {frac {1} {mu {ig (} B_ {r} (x) {ig)}}} int _ {B_ {r} (x)} f (y), mathrm {d} mu (y) " {xrightarrow [{r o 0}] {gamma}} f (x),}$

yaqinlashuv qaerda o'lchovdagi yaqinlik munosabat bilan γ. 1988 yilda Tiser buni ko'rsatdi

${displaystyle sigma _ {i + 1} ^ {2} leq {frac {sigma _ {i} ^ {2}} {i ^ {alfa}}}}$

kimdir uchun a > 5 ⁄ 2, keyin

${displaystyle {frac {1} {mu {ig (} B_ {r} (x) {ig)}}} int _ {B_ {r} (x)} f (y), mathrm {d} mu (y) " {xrightarrow [{r o 0}] {}} f (x),}$

uchun γ- deyarli barchasi x va barchasi f ∈ L^p(H, γ; R), p > 1.

2007 yildan boshlab, cheksiz o'lchovli Gauss o'lchovi mavjudmi yoki yo'qmi, hali ham ochiq savol γ ajratiladigan Hilbert fazosida H Shunday qilib, hamma uchun f ∈ L¹(H, γ; R),

${displaystyle lim _ {r o 0} {frac {1} {gamma {ig (} B_ {r} (x) {ig)}}} int _ {B_ {r} (x)} f (y), mathrm {d} gamma (y) = f (x)}$

uchun γ- deyarli barchasi x ∈ H. Ammo, bunday chora mavjud emas deb taxmin qilmoqda, chunki σ_men juda tez parchalanishi kerak edi.

Shuningdek qarang