Grandis seriyasining xulosasi - Summation of Grandis series - Wikipedia

Umumiy fikrlar

Barqarorlik va chiziqlilik

1 - 1 + 1 - 1 + · · · ga olib keladigan rasmiy manipulyatsiyalarga qiymat beriladi 12 quyidagilarni o'z ichiga oladi:

  • Ikkala ketma-ket qo'shish yoki olib tashlash,
  • Skaler muddat bilan ko'paytirib,
  • Yig’indagi o’zgarishlarsiz qatorni «siljitish» va
  • Serial boshiga yangi atama qo'shib, summani oshirish.

Bularning barchasi konvergent qatorlari yig'indisi uchun qonuniy manipulyatsiyalar, ammo 1 - 1 + 1 - 1 + · · · konvergent qator emas.

Shunga qaramay, ushbu manipulyatsiyani hurmat qiladigan va Grandi seriyasiga "yig'indisini" belgilaydigan ko'plab yig'ish usullari mavjud. Eng oddiy usullardan ikkitasi Cesàro yig'indisi va Abel summasi.[1]

Cesàro sum

Turli xil seriyalarni yig'ishning birinchi qat'iy usuli tomonidan nashr etilgan Ernesto Sesaro 1890 yilda. Asosiy g'oya Leybnitsning ehtimoliy yondashuviga o'xshaydi: mohiyatan, ketma-ket Sezaro yig'indisi uning barcha qisman yig'indilarining o'rtacha qiymatidir. Rasmiy ravishda bittasi, har biri uchun hisoblab chiqadi n, o'rtacha σn birinchisi n qisman yig'indilar va bu Sezaroning chegarasini quyidagicha anglatadi n cheksizlikka boradi.

Grandi seriyasi uchun arifmetik vositalarning ketma-ketligi quyidagicha

1, 12, 23, 24, 35, 36, 47, 48, …

yoki aniqroq,

(12+12), 12, (12+16), 12, (12+110), 12, (12+114), 12, …

qayerda

hatto uchun n va g'alati uchun n.

Ushbu arifmetik vositalar ketma-ketligi yaqinlashadi 12, shuning uchun Σ ning Cesàro yig'indisiak bu 12. Bunga teng ravishda, 1, 0, 1, 0,… ketma-ketlikning Sezaro chegarasi deyiladi 12.[2]

1 + 0 - 1 + 1 + 0 - 1 + · · · ning Cesàro yig'indisi 23. Shunday qilib, ketma-ket Cesàro yig'indisi cheksiz 0 va cheksiz ko'p qavslarni kiritish orqali o'zgartirilishi mumkin.[3]

Ketma-ket umumiy qismli (C, a) usullar bilan ham xulosa qilish mumkin.[4]

Abel summasi

Abel yig'indisi Eylerning divergent qatorlar yig'indisini aniqlashga urinishiga o'xshaydi, ammo u Kallet va N. Bernullining e'tirozlaridan qochish uchun foydalanadigan funktsiyani aniq tuzdi. Aslida, Eyler o'z ta'rifini kuchlar seriyasiga cheklashni nazarda tutgan bo'lsa kerak,[5] va amalda u deyarli faqat undan foydalangan[6] hozirda Abel usuli sifatida tanilgan shaklda.

Bir qator berilgan a0 + a1 + a2 + · · ·, Biri yangi seriyani hosil qiladi a0 + a1x + a2x2 + · · ·. Agar oxirgi qator 0 x Sifatida cheklangan funksiyaga <1 x 1 ga intiladi, keyin bu chegara asl qatorning Abel yig'indisi deb nomlanadi Hobil teoremasi bu protsedura oddiy yig'indiga mos kelishini kafolatlaydi. Grandi seriyasida bitta

[7]

Tegishli seriyalar

1 + 0 - 1 + 1 + 0 - 1 + · · · ning Abel yig'indisi bo'lgan tegishli hisoblash 23 funktsiyani o'z ichiga oladi (1 +x)/(1 + x + x2).

Har doim bir qator Cesàro yig'indisi bo'lsa, u ham Hobilning yig'indisi va bir xil yig'indiga ega. Boshqa tomondan, Koshi mahsuloti Grandi seriyasining o'zi Abelni jamlashi mumkin bo'lgan, ammo Sezaroning yig'indisi bo'lmagan seriyani beradi:

1 − 2 + 3 − 4 + · · ·

Hobilning summasi bor 14.[8]

Suyultirish

O'zgaruvchan oraliq

Oddiy Abel yig'indisi 1 + 0 - 1 + 1 + 0 - 1 + · · · ga teng 23 shuningdek, 1 - 1 + 1 - 1 + · · · asl seriyasining yig'indisi (A, λ) sifatida ifodalanishi mumkin · qaerda (λn) = (0, 2, 3, 5, 6,…). Xuddi shunday (A, λ) yig'indisi 1 - 1 + 1 - 1 + · · · qaerda (λn) = (0, 1, 3, 4, 6,…) bo'ladi 13.[9]

Quvvat qonunlari oralig'i

Ko'rsatkichlar oralig'i

1 - 1 + 1 - 1 + · · · ning yig'indiligini uning shartlarini eksponent ravishda uzoqroq va uzunroq nol guruhlari bilan ajratish orqali xafa qilish mumkin. Ta'riflash uchun eng oddiy misol bu (-1)n 2-o'rinda paydo bo'ladin:

0 + 1 − 1 + 0 + 1 + 0 + 0 + 0 − 1 + 0 + 0 + 0 + 0 + 0 + 0 + 0 + 1 + 0 + · · ·.

Ushbu seriya Cesaro emas. Nolga teng bo'lmagan har bir davrdan so'ng, qisman yig'indilar 0 yoki 1 da uzoq vaqt sarflaydilar, o'rtacha qisman yig'indini avvalgi qiymatidan shu nuqtaga qadar olib kelishadi. Vaqt oralig'ida 22m−1n ≤ 22m − 1 (- 1) muddatdan keyin, narifmetik vositalar oralig'ida farq qiladi

yoki haqida 23 ga 13.[10]

Darhaqiqat, eksponentli intervalli qator ham Hobilning yig'indisi emas. Uning Abel summasi chegara hisoblanadi x funktsiyaning 1-ga yaqinlashadi

F(x) = 0 + xx2 + 0 + x4 + 0 + 0 + 0 − x8 + 0 + 0 + 0 + 0 + 0 + 0 + 0 + x16 + 0 + · · ·.

Ushbu funktsiya funktsional tenglamani qondiradi:

Ushbu funktsional tenglama shuni anglatadi F(x) atrofida tebranadi 12 kabi x yondashuvlar 1. Tebranish amplitudasi nolga teng ekanligini isbotlash uchun u ajralib chiqishga yordam beradi F aniq davriy va aperiodik qismga:

qayerda

bilan bir xil funktsional tenglamani qondiradi F. Bu endi shuni anglatadi Ψ (x) = −Ψ (x2) = Ψ (x4), shuning uchun Ψ loglogning davriy funktsiyasi (1 /x). Dy (p.77) "boshqa echim" va "aniq doimiy emas" degani sababli, texnik jihatdan u buni isbotlamaydi F va Φ har xil. chunki Φ qismining chegarasi bor 12, F ham tebranadi.

Tarozilarni ajratish

D (0) = 1, va φ ning hosilasi (0, + ∞) bo'yicha integrallanadigan har qanday φ (x) funktsiya berilgan bo'lsa, u holda Grandi seriyasining umumlashtirilgan φ-yig'indisi mavjud va unga teng 12:

Sezaroning yoki Abelning yig'indisi φ navbati bilan uchburchak yoki eksponent funktsiya bo'lishiga yo'l qo'yib olinadi. Agar φ qo'shimcha ravishda qabul qilingan bo'lsa doimiy ravishda farqlanadigan, keyin da'voni qo'llash orqali isbotlash mumkin o'rtacha qiymat teoremasi va yig'indini integralga aylantirish. Qisqacha:

[11]

Eyler konvertatsiyasi va analitik davomi

Borel summasi

The Borel summasi Grandi seriyasining yana biri 12, beri

va

[12]

Ketma-ket umumlashtirilgan (B, r) usullar bilan ham xulosa qilish mumkin.[13]

Spektral assimetriya

Grandi seriyasidagi yozuvlarni quyidagi bilan birlashtirish mumkin o'zgacha qiymatlar cheksiz o'lchovli operator kuni Hilbert maydoni. Serialga ushbu talqinni berish g'oyani keltirib chiqaradi spektral assimetriya, bu fizikada keng tarqalgan. Ketma-ket yig'iladigan qiymat operatorning o'ziga xos qiymatlarining asimptotik harakatiga bog'liq. Shunday qilib, masalan, ruxsat bering ham ijobiy, ham salbiy o'ziga xos qiymatlarning ketma-ketligi bo'ling. Grandi seriyasi rasmiy yig'indiga to'g'ri keladi

qayerda o'ziga xos qiymatning belgisidir. Turli xil chegaralarni hisobga olgan holda seriyaga aniq qiymatlarni berish mumkin. Masalan, issiqlik yadrosi regulyatori yig'indiga olib keladi

bu ko'plab qiziqarli holatlar uchun nolga teng bo'lmagan sonli hisoblanadi t, va chegaradagi cheklangan qiymatga yaqinlashadi.

Muvaffaqiyatsiz bo'lgan usullar

The integral funktsiya usuli bilan pn = exp (-cn2) va v > 0.[14]

The moment doimiy usuli bilan

va k > 0.[15]

Geometrik qatorlar

The geometrik qatorlar yilda ,

uchun yaqinlashuvchi . Rasmiy ravishda almashtirish beraman

Biroq, yaqinlashish radiusidan tashqarida, , shuning uchun bu xulosa qilish mumkin emas.

Izohlar

  1. ^ Devis pp. 152, 153, 157
  2. ^ Devis pp.135, 163
  3. ^ Devis pp.162-163, masalan.1-5
  4. ^ Smail p.131
  5. ^ Kline 1983 p.313
  6. ^ Bromvich p.322
  7. ^ Devis p.159
  8. ^ Devis p.165
  9. ^ Hardy p.73
  10. ^ Hardy p.60
  11. ^ Saichev pp.260-262
  12. ^ Weidlich p.20
  13. ^ Smail p.128
  14. ^ Hardy pp.79-81, 85
  15. ^ Hardy pp.81-86

Adabiyotlar

  • Bromvich, T.J. (1926) [1908]. Cheksiz seriyalar nazariyasiga kirish (2-nashr).
  • Devis, Garri F. (may 1989). Fourier seriyasi va ortogonal funktsiyalari. Dover. ISBN  978-0-486-65973-2.
  • Xardi, G.H. (1949). Turli xil seriyalar. Clarendon Press. LCC  QA295 .H29 1967 yil.
  • Kline, Morris (1983 yil noyabr). "Eyler va cheksiz seriyalar". Matematika jurnali. 56 (5): 307–314. CiteSeerX  10.1.1.639.6923. doi:10.2307/2690371. JSTOR  2690371.
  • Saichev, A.I. & W.A.Woyczyński (1996). Fizika va muhandislik fanlari bo'yicha tarqatmalar, 1-jild. Birxauser. ISBN  978-0-8176-3924-2. LCC  QA324.W69 1996 yil.
  • Smail, Lloyd (1925). Summable cheksiz jarayonlar nazariyasi tarixi va mazmuni. Oregon universiteti matbuoti. LCC  QA295 .S64.
  • Vaydlich, Jon E. (1950 yil iyun). Divergent qatorlar uchun yig'indilik usullari. Stenford M.S. tezislar.