Matematikada taqqoslash alomati (testi), ba'zan u o'xshash testlardan (ayniqsa, limitni taqqoslash testi) ajratish uchun to'g'ridan- to'g'ri taqqoslash alomati deb ataladi, cheksiz qator yoki xosmas integralning yaqinlashuvchiligi yoki uzoqlashuvchiligini aniqlash usulini ta'minlaydi. Ikkala holatda ham alomat berilgan qator yoki integralni yaqinlashish xossalari ma'lum bo'lgan qatorga solishtirish orqali ishlaydi. Taqqoslash insonning ijtimoyi faoliyatida bilimlarining o'zlashtirishda voqelikni to'laroq aks ettirishda bir-birga o'xshash jihatlar tafovutning talqinidir.

Qatorlar uchun

Differensial hisobda qatorlar uchun taqqoslash alomati odatda nomanfiy (haqiqiy qiymatli) hadli cheksiz qatorlar uchun quyidagi shartlar majmuasidan iborat:[1]

  • Agar ∑bn{\displaystyle \sum b_n} cheksiz qator yaqinlashuvchi bo'lib, 0≤an≤bn{\displaystyle 0 \le a_n \le b_n} munosabat barcha yetarlicha katta n (ya'ni, barcha n>N{\displaystyle n>N} uchun, bunda N qandaydir fiksrlangan son) lar uchun o'rinli bo'lsa, u holda ∑an{\displaystyle \sum a_n} cheksiz qator ham yaqinlashuvchi bo'ladi.
  • Agar ∑bn{\displaystyle \sum b_n} cheksiz qator uzoqlashuvchi bo'lib, 0≤bn≤an{\displaystyle 0 \le b_n \le a_n} munosabat barcha yetarlicha katta n lar uchun o'rinli bo'lsa, u holda ∑an{\displaystyle \sum a_n} cheksiz qator ham uzoqlashuvchi bo'ladi.


Shu bilan bir qatorda, alomat absolyut yaqinlashish nuqtai nazaridan ifodalanishi mumkin, bu holda u kompleks hadli qatorlarga ham tegishli bo'ladi:[2]

  • Agar ∑bn{\displaystyle \sum b_n} cheksiz qator absolyut yaqinlashuvchi bo'lib, |an|≤|bn|{\displaystyle |a_n| \le |b_n|} munosabat barcha yetarlicha katta n lar uchun o'rinli bo'lsa, u holda ∑an{\displaystyle \sum a_n} cheksiz qator ham absolyut yaqinlashuvchi bo'ladi.
  • Agar ∑bn{\displaystyle \sum b_n} cheksiz qator absolyut yaqinlashuvchi bo'lmasa va |bn|≤|an|{\displaystyle |b_n| \le |a_n|} munosabat barcha yetarlicha katta n lar uchun o'rinli bo'lsa, u holda ∑an{\displaystyle \sum a_n} cheksiz qator ham absolyut yaqinlashuvchi bo'lmaydi.

E'tibor bering, ushbu so'nggi jumlada ∑an{\displaystyle \sum a_n} qator shartli yaqinlashuvchi bo'lishi mumkin; haqiqiy qiymatli qatorlar uchun, agar an ning hadlarining hammasi ham nomanfiy bo'lmasa, bu sodir bo'lishi mumkin.

Haqiqiy qiymatli qatorlar holida, ikkinchi juft shartlar birinchisiga teng kuchli. Chunki ∑cn{\displaystyle \sum c_n} qator absolyut yaqinlashadi faqat va faqat ∑|cn|{\displaystyle \sum |c_n|} (nomanfiy hadli qator) yaqinlashuvchi bo'lsa.

Isbot

Yuqorida keltirilgan barcha jumlalarning isbotlari o'xshashdir. Quyida uchinchi jumlaning isboti.

∑an{\displaystyle \sum a_n} va ∑bn{\displaystyle \sum b_n} lar shunday cheksiz qatorlar bo'lsinki, bunda ∑bn{\displaystyle \sum b_n} absolyut yaqinlashuvchi (shuning uchun ∑|bn|{\displaystyle \sum |b_n|} yaqinlashadi) bo'lsin. Umumiylikka zarar yetkazmasdan faraz qilamizki, |an|≤|bn|{\displaystyle |a_n| \le |b_n|} munosabat barcha musbat butun n lar uchun o'rinli bo'ladi. Quyidagi qismiy yig'indilarni qaraylik,

Sn=|a1|+|a2|+…+|an|,Tn=|b1|+|b2|+…+|bn|.{\displaystyle S_n = |a_1| + |a_2| + \ldots + |a_n|,\ T_n = |b_1| + |b_2| + \ldots + |b_n|.}

∑bn{\displaystyle \sum b_n} absolyut yaqinlashuvchi bo'lganligi uchun, limn→∞⁡Tn=T{\displaystyle \lim_{n\to\infty} T_n = T} munosabat qandaydir haqiqiy son T uchun o'rinli bo'ladi. Barcha n lar uchun,

0≤Sn=|a1|+|a2|+…+|an|≤|a1|+…+|an|+|bn+1|+…=Sn+(T−Tn)≤T.{\displaystyle 0 \le S_n = |a_1| + |a_2| + \ldots + |a_n| \le |a_1| + \ldots + |a_n| + |b_{n+1}| + \ldots = S_n + (T-T_n) \le T.}

Sn{\displaystyle S_n} kamaymaydigan va Sn+(T−Tn){\displaystyle S_n + (T - T_n)} o'smaydigan ketma-ketliklardir. Berilgan m,n>N{\displaystyle m,n > N} lar uchun Sn,Sm{\displaystyle S_n, S_m} larning ikkalasi ham [SN,SN+(T−TN)]{\displaystyle [S_N, S_N + (T - T_N)]} intervalga tegishli, bunda T−TN{\displaystyle T - T_N} ning uzunligi N{\displaystyle N} cheksizlikka intilganda nolga intiladi. Bu (Sn)n=1,2,…{\displaystyle (S_n)_{n=1,2,\ldots}} ning Koshi ketma-ketligi ekanligini va shuning uchun ham limitga yaqinlashishi kerakligini ko'rsatadi. Shuning uchun, ∑an{\displaystyle \sum a_n} absolyut yaqinlashuvchi hisoblanadi.

Integrallar uchun

Quyida integrallar uchun taqqoslash alomati (testi) ni keltiramiz.

f va g haqiqiy qiymatli uzluksiz funksiyalar [a,b){\displaystyle [a,b)} da aniqlangan va b ning qiymati +∞{\displaystyle +\infty} ga yoki f va g larning har biri vertikal asimptotaga ega bo'ladigan haqiqiy songa teng:[3]

  • Agar ∫abg(x)dx{\displaystyle \int_a^b g(x)\,dx} xosmas integral yaqinlashuvchi bo'lsa va 0≤f(x)≤g(x){\displaystyle 0 \le f(x) \le g(x)} munosabat a≤x<b{\displaystyle a \le x < b} da o'rinli bo'lsa, u holda ∫abf(x)dx{\displaystyle \int_a^b f(x)\,dx} xosmas integral yaqinlashadi va ∫abf(x)dx≤∫abg(x)dx.{\displaystyle \int_a^b f(x)\,dx \le \int_a^b g(x)\,dx.}
  • Agar ∫abg(x)dx{\displaystyle \int_a^b g(x)\,dx} xosmas integral uzoqlashuvchi bo'lsa va 0≤g(x)≤f(x){\displaystyle 0 \le g(x) \le f(x)} munosabat a≤x<b{\displaystyle a \le x < b} da o'rinli bo'lsa, u holda ∫abf(x)dx{\displaystyle \int_a^b f(x)\,dx} xosmas integral ham uzoqlashadi.

Nisbatlarni taqqoslash alomati (testi)

Yuqoridagi to'g'ridan-to'g'ri taqqoslash testi va nisbatlar testiga o'xshash haqiqiy qiymatli qatorlarning yaqinlashuvi uchun boshqa test nisbatlarni taqqoslash testi deb ataladi:[4]

  • Agar ∑bn{\displaystyle \sum b_n} cheksiz qator yaqinlashsa va an>0{\displaystyle a_n>0}, bn>0{\displaystyle b_n>0} hamda an+1an≤bn+1bn{\displaystyle \frac{a_{n+1}}{a_n} \le \frac{b_{n+1}}{b_n}} munosabatlar barcha yetarlicha katta n lar uchun o'rinli bo'lsa, u holda ∑an{\displaystyle \sum a_n} cheksiz qator ham yaqinlashadi.
  • Agar ∑bn{\displaystyle \sum b_n} cheksiz qator uzoqlashsa va an>0{\displaystyle a_n>0}, bn>0{\displaystyle b_n>0} hamda an+1an≥bn+1bn{\displaystyle \frac{a_{n+1}}{a_n} \ge \frac{b_{n+1}}{b_n}} munosabatlar barcha yetarlicha katta n lar uchun o'rinli bo'lsa, u holda ∑an{\displaystyle \sum a_n} cheksiz qator ham uzoqlashadi.

Eslatmalar

  1. ↑ Ayres & Mendelson (1999), p. 401.
  2. ↑ Silverman (1975), p. 119.
  3. ↑ Buck (1965), p. 140.
  4. ↑ Buck (1965), p. 161.

Manbalar