Uji kekonvergenan: Perbedaan antara revisi
Dedhert.Jr (bicara | kontrib) Memperbaiki kata atau kalimat yang terjemahannya kurang tepat |
Dedhert.Jr (bicara | kontrib) →Daftar uji kekonvergenan: display block |
||
(13 revisi perantara oleh 4 pengguna tidak ditampilkan) | |||
Baris 3: | Baris 3: | ||
'''Uji kekonvergenan''' ({{lang-en|convergence tests}}) dalam [[matematika]] adalah kumpulan metode untuk melakukan uji yang berkenaan dengan [[deret konvergen]], [[kekonvergenan bersyarat]], [[kekonvergenan mutlak]], [[kekonvergenan selang]] atau divergensi suatu [[deret (matematika)|deret tak terhingga]]. |
'''Uji kekonvergenan''' ({{lang-en|convergence tests}}) dalam [[matematika]] adalah kumpulan metode untuk melakukan uji yang berkenaan dengan [[deret konvergen]], [[kekonvergenan bersyarat]], [[kekonvergenan mutlak]], [[kekonvergenan selang]] atau divergensi suatu [[deret (matematika)|deret tak terhingga]]. |
||
== Daftar |
== Daftar uji kekonvergenan == |
||
* {{anchor|Limit dari jinumlah}}'''Limit dari jinumlah''': Jika limit dari ''jinumlah'' (atau limit dari ''yang dijumlahkan'') tidak dapat didefinisikan atau bukan nol, yaitu <math>\lim_{n \to \infty}a_n \ne 0</math>, maka deret tersebut pasti divergen. Dalam hal ini, jumlah parsial merupakan [[barisan Cauchy]] [[Jika dan hanya jika|hanya jika]] limit ini ada dan sama dengan nol. Uji ini tidak mempunyai kesimpulan jika limit jumlah semua elemen sama dengan nol. |
|||
=== [[Limit dari jinumlah]] === |
|||
* '''[[Uji rasio]]:''' Uji ini juga dikenal sebagai '''kriteria d'Alembert''' (''d'Alembert's criterion''). Uji ini mengatakan: Misalkan terdapat <math>r</math> sedemikian rupa sehingga<math display="block">\lim_{n \to \infty} \left|\frac{a_{n+1}}{a_n}\right| = r.</math>Jika <math>r < 1</math>, maka deret tersebut konvergen. Jika <math>r > 1</math>, maka deret tersebut divergen. Jika <math>r = 1</math>, maka uji rasio tidak meyakinkan, dan deret itu bisa saja konvergen atau divergen. |
|||
Jika limit dari ''jinumlah'' (atau limit dari ''yang dijumlahkan'') tidak dapat didefinisikan atau bukan nol, yaitu <math>\lim_{n \to \infty}a_n \ne 0</math>, maka deret tersebut pasti divergen. Dalam hal ini, jumlah parsial merupakan [[barisan Cauchy]] [[Jika dan hanya jika|hanya jika]] limit ini ada dan sama dengan nol. Uji ini tidak mempunyai kesimpulan jika limit jumlah semua elemen sama dengan nol. |
|||
* '''[[Uji akar]]''': Uji ini juga dikenal sebagai "'''Uji akar ke-n'''" (''n''-th root test)atau '''kriteria Cauchy''' (''Cauchy's criterion'')''.'' Misalkan<math display="block">r = \limsup_{n \to \infty}\sqrt[n]{|a_n|},</math>dengan <math>\lim \sup</math> melambangkan [[limit atas]] (kemungkinannya ∞; jika ada limit, maka itulah nilainya). Jika <math>r < 1</math>, maka deret tersebut konvergen. Jika <math>r > 1</math>, maka deret tersebut divergen. Jika <math>r = 1</math>, maka uji akarnya tidak meyakinkan, dan deret itu bisa saja konvergen atau divergen. |
|||
* '''[[Uji integral]]''': Suatu deret dapat dibandingkan dengan suatu integral untuk menguji apakah deret tersebut konvergen atau divergen. Misalkan <math>f:[1,\infty)\to\R_+</math> adalah suatu fungsi positif dan [[Fungsi monoton|menurun secara monoton]] sedemikian rupa sehingga <math>f(n) = a_n</math>. Jika<math display="block">\int_{1}^{\infty} f(x)\, dx = \lim_{t \to \infty} \int_{1}^{t} f(x)\, dx < \infty,</math>maka deret tersebut konvergen. Akan tetapi, jika integralnya divergen, maka deret tersebut juga divergen. Dengan kata lain, deret <math>{a_n}</math> konvergen [[jika dan hanya jika]] integralnya konvergen. |
|||
=== [[Uji rasio]] === |
|||
** Korolari dari uji integral yang umum dipakai adalah {{anchor|uji deret-p}}'''uji deret-''p''''': Misalkan <math>k > 0</math>, maka <math display="inline">\sum_{n=k}^{\infty} \frac{1}{n^p}</math> konvergen jika <math>p > 1</math>. Kasus <math>p = 1, k = 1</math> untuk uji ini akan menghasilkan deret harmonik yang hasilnya divergen. Kasus <math>p = 2, k = 1</math> adalah [[masalah Basel]] dan deret tersebut konvergen menuju <math display="inline">\frac{\pi^2}{6}</math>. Secara umum, untuk <math>p > 1, k = 1</math>, maka deret tersebut sama dengan [[fungsi zeta Riemann]] dari <math>p</math>, yaitu <math>\zeta(p)</math>. |
|||
Ini juga dikenal sebagai "'''Kriteria D'Alembert'''" (''D'Alembert's criterion''). Andaikan terdapat <math>r</math> sedemikian rupa sehingga |
|||
* '''[[Uji perbandingan langsung]]''': Jika deret <math display="inline">\sum_{n=1}^\infty b_n</math> merupakan suatu deret [[Kekonvergenan mutlak|konvergen mutlak]] dan <math>|a_n|\le |b_n|</math> untuk <math>n</math> yang cukup besar, maka deret <math display="inline">\sum_{n=1}^\infty a_n</math> konvergen mutlak. |
|||
:<math>\lim_{n \to \infty} \left|\frac{a_{n+1}}{a_n}\right| = r.</math> |
|||
* '''[[Uji perbandingan limit]]''': Jika <math>\left \{ a_n \right \}, \left \{ b_n \right \} > 0</math>, dan limit <math display="inline">\lim_{n \to \infty} \frac{a_n}{b_n}</math> ada, merupakan terhingga dan bukan nol, maka <math display="inline">\sum_{n=1}^\infty a_n</math> konvergen [[jika dan hanya jika]] <math display="inline">\sum_{n=1}^\infty b_n</math> konvergen. |
|||
:Jika ''r'' < 1, maka deret tersebut konvergen. |
|||
* '''[[Uji kondensasi Cauchy]]''': Misalkan <math>\left \{ a_n \right \}</math> adalah barisan positif yang tidak menaik, maka jumlah <math display="inline">A = \sum_{n=1}^\infty a_n</math> adalah konvergen [[jika dan hanya jika]] jumlah <math display="inline">A^* = \sum_{n=0}^\infty 2^n a_{2^n}</math> konvergen. Terlebih lagi, jika jumlah tersebut konvergen, maka berlaku pertidaksamaan <math>A \leq A^* \leq 2A</math>. |
|||
:Jika ''r'' > 1, maka deret tersebut divergen. |
|||
* '''[[Uji Abel]]''': Misalnya pernyataan-pernyataan berikut ini benar: <math display="inline">\sum a_n </math> adalah suatu deret konvergen; <math>\{b_n\}</math> adalah suatu urutan monoton; dan <math>\{b_n\}</math> mempunyai batasan (''bounded''). Maka <math display="inline">\sum a_nb_n </math> juga konvergen. |
|||
:Jika ''r'' = 1, uji rasio tidak meyakinkan, dan deret itu bisa saja konvergen atau divergen. |
|||
*'''[[Uji Dirichlet]]''': Jika <math>\{a_n\}</math> adalah barisan [[bilangan real]] dan <math>\{b_n\}</math> adalah barisan [[bilangan kompleks]] yang memenuhi syarat bahwa: <math>a_n \geq a_{n+1}</math>, <math display="inline">\lim_{n \rightarrow \infty}a_n = 0</math>, dan <math display="inline">\left|\sum^{N}_{n=1}b_n\right|\leq M</math> untuk setiap bilangan bulat positif <math>N</math> dengan menyatakan suatu konstan, maka deret <math display="inline">\sum^{\infty}_{n=1}a_n b_n</math> konvergen. |
|||
*'''[[Uji kekonvergenan Cauchy]]''': Suatu deret <math display="inline">\sum_{i=0}^\infty a_i</math> adalah konvergen jika dan hanya jika untuk setiap <math>\varepsilon>0</math>, terdapat suatu bilangan asli <math>N</math> sehingga<math display="block">|a_{n+1}+a_{n+2}+\cdots+a_{n+p}|<\varepsilon</math> berlaku untuk semua <math>n > N</math> dan untuk semua <math>p \ge 1</math>. |
|||
=== [[Uji akar]] === |
|||
*'''[[Teorema Stolz–Cesàro]]''': Misalkan <math>(a_n)_{n \geq 1}</math> dan <math>(b_n)_{n \geq 1}</math> adalah dua barisan bilangan real. Asumsi bahwa <math>(b_n)_{n \geq 1}</math> adalah barisan yang [[Fungsi monoton|monoton sempurna]] dan divergen, serta mempunyai nilai limit berikut:<math display="block"> \lim_{n \to \infty} \frac{a_{n+1}-a_n}{b_{n+1}-b_n}=l.\ </math>Maka, limit<math display="block"> \lim_{n \to \infty} \frac{a_n}{b_n}=l.\ </math> |
|||
*'''[[Uji-M Weierstrass]]''': Misalkan <math>(f_n)</math> adalah suatu barisan dari fungsi bilangan real atau kompleks yang terdefinisi pada suatu himpunan <math>A</math>, dan misalkan terdapat barisan bilangan non-negatif <math>(M_n)</math> yang memenuhi syarat-syarat: <math>|f_n(x)|\leq M_n</math> untuk semua <math>n \geq 1</math> dan semua <math>x \in A</math>, serta <math display="inline">\sum_{n=1}^{\infty} M_n </math> konvergen. Maka deret <math display="inline">\sum_{n=1}^{\infty} f_n (x)</math> konvergen mutlak dan [[Konvergensi seragam|seragam]] di <math>A</math>. |
|||
Ini juga dikenal sebagai "'''Uji akar ke-n'''" (''n''th root test'' atau "'''Kriteria Cauchy'''", ''Cauchy's criterion)''.'' Misalkan |
|||
* '''[[Uji Raabe–Duhamel]]''': Misalkan <math>\{a_n\}</math> adalah barisan bilangan positif. Misalkan terdapat barisan yang didefinisikan dengan <math display="block"> b_n = n \left( \frac{ a_n }{ a_{ n + 1 } } - 1 \right). </math>Jika <math> L = \lim_{ n \to \infty } b_n </math> ada, maka akan ada tiga kemungkinan: Jika <math>L > 1</math>, maka deret itu konvergen; jika <math>L < 1</math>, maka deret itu divergen; dan jika <math>L = 1</math>, maka uji tersebut tidak dapat disimpulkan. Perumusan uji lainnya adalah sebagai berikut: Misalkan <math>\{a_n\}</math> adalah suatu deret bilangan real. Jika terdapat <math>b>1</math> dan <math>K</math> (adalah suatu bilangan asli) sehingga<math display="block"> \left|\frac{ a_{ n + 1 } }{ a_n }\right| \le 1 - \frac{ b }{ n } </math>untuk semua <math>n > K</math>, maka deret <math>\{a_n\}</math> konvergen. |
|||
:<math>r = \limsup_{n \to \infty}\sqrt[n]{|a_n|},</math> |
|||
:di mana <math>\lim \sup</math> melambangkan [[limit atas]] (kemungkinannya ∞; jika ada limit, maka itulah nilainya). |
|||
:Jika ''r'' < 1, maka deret tersebut konvergen. |
|||
:Jika ''r'' > 1, maka deret tersebut divergen. |
|||
:Jika ''r'' = 1, uji akarnya tidak meyakinkan, dan deret itu bisa saja konvergen atau divergen. |
|||
=== [[Uji integral]] === |
|||
Deret itu dapat dibandingkan dengan suatu integral untuk menguji apakah konvergen atau divergen. Misalnya <math>f:[1,\infty)\to\R_+</math> adalah suatu fungsi positif dan [[Fungsi monoton|monoton menurun]] sedemikian rupa sehingga <math>f(n) = a_n</math>. |
|||
:Jika <math>\int_{1}^{\infty} f(x)\, dx = \lim_{t \to \infty} \int_{1}^{t} f(x)\, dx < \infty,</math> maka deret tersebut konvergen |
|||
:Jika integralnya divergen, maka deret tersebut juga divergen. |
|||
Dengan kata lain, deret <math>{a_n}</math> konvergen [[jika dan hanya jika]] integralnya konvergen. |
|||
=== [[Uji perbandingan langsung]] === |
|||
Jika deret <math>\sum_{n=1}^\infty b_n</math> merupakan suatu deret [[Kekonvergenan mutlak|konvergen mutlak]] dan <math>|a_n|\le |b_n|</math> untuk ''n'' yang cukup besar, maka deret <math>\sum_{n=1}^\infty a_n</math> konvergen mutlak. |
|||
=== [[Uji perbandingan limit]] === |
|||
Jika <math>\left \{ a_n \right \}, \left \{ b_n \right \} > 0</math>, dan limit <math>\lim_{n \to \infty} \frac{a_n}{b_n}</math> ada, merupakan terhingga dan bukan nol, maka <math>\sum_{n=1}^\infty a_n</math> konvergen [[jika dan hanya jika]] <math>\sum_{n=1}^\infty b_n</math> konvergen. |
|||
=== [[Uji kondensasi Cauchy]] === |
|||
Misalkan <math>\left \{ a_n \right \}</math> adalah urutan positif yang tidak meningkat. Maka jumlah <math>A = \sum_{n=1}^\infty a_n</math> adalah konvergen [[jika dan hanya jika]] jumlah <math>A^* = \sum_{n=0}^\infty 2^n a_{2^n}</math> konvergen. Lagi pula, jika konvergen, maka <math>A \leq A^* \leq 2A</math> berlaku. |
|||
=== [[Uji Abel]] === |
|||
Misalnya pernyataan-pernyataan berikut ini benar: |
|||
# <math>\sum a_n </math> adalah suatu deret konvergen, |
|||
# {''b''<sub>''n''</sub>} adalah suatu urutan monoton, dan |
|||
# {''b''<sub>''n''</sub>} mempunyai batasan (''bounded''). |
|||
Maka <math>\sum a_nb_n </math> juga konvergen. |
|||
=== [[Uji Raabe–Duhamel]] === |
|||
Misalkan { ''a''<sub>n</sub> } > 0. |
|||
Definisikan |
|||
<math> b_n = n \left( \frac{ a_n }{ a_{ n + 1 } } - 1 \right ) </math>. |
|||
Jika <math> L = \lim_{ n \to \infty } b_n </math> ada, maka ada tiga kemungkinan: |
|||
* Jika ''L'' > 1 deret itu konvergen |
|||
* Jika ''L'' < 1 deret itu divergen |
|||
* Jika ''L'' = 1 tes itu tidak konklusif. |
|||
Suatu rumus selang-seling dari uji ini adalah sebagai berikut. Misalkan {''a''<sub>n</sub>} adalah suatu deret bilangan real. Maka jika ''b'' > 1 dan K (sebuah bilangan asli) ada sedemikian sehingga |
|||
<math> \left|\frac{ a_{ n + 1 } }{ a_n }\right| \le 1 - \frac{ b }{ n } </math> |
|||
untuk semua ''n'' > ''K'' maka deret { ''a''<sub>n</sub> } itu konvergen. |
|||
=== Catatan === |
=== Catatan === |
||
* Untuk sejumlah jenis deret tertentu ada tes konvergensi yang lebih khusus, misalnya untuk [[deret Fourier]] digunakan uji Dini |
* Untuk sejumlah jenis deret tertentu ada tes konvergensi yang lebih khusus, misalnya untuk [[deret Fourier]] digunakan uji Dini |
||
== Perbandingan == |
|||
Uji akar lebih kuat dari uji rasio (lebih kuat karena syarat yang dibutuhkan lebih lemah): bilamana uji rasio menentukan suatu deret tak terhingga itu konvergen atau divergen, maka hasil yang sama didapat dari uji akar, tetapi sebaliknya tidak selalu demikian.<ref>[http://www.mathcs.org/analysis/reals/numser/t_ratio.html Tes Rasio]</ref> |
|||
Contohnya, untuk deret |
|||
:1 + 1 + 0.5 + 0.5 + 0.25 + 0.25 + 0.125 + 0.125 + ... = 4 |
|||
konvergen menurut tes akar tetapi tidak konvergen menurut tes rasio. |
|||
== Contoh == |
== Contoh == |
||
Misalkan, diberikan suatu deret{{NumBlk|:|<math>\sum_{n=1}^{\infty} \frac{1}{n^\alpha}.</math>|{{EquationRef|i}}}}[[Uji kondensasi Cauchy]] menyiratkan bahwa deret di ({{EquationNote|i}}) adalah konvergen terhingga jika{{NumBlk|:|<math> \sum_{n=1}^\infty 2^n \left( \frac 1 {2^n}\right)^\alpha </math>|{{EquationRef|ii}}}}konvergen terhingga. Karena<math display="block">\sum_{n=1}^\infty 2^n \left( \frac 1 {2^n} \right)^\alpha = \sum_{n=1}^\infty 2^{n-n\alpha} = \sum_{n=1}^\infty 2^{(1-\alpha) n}, </math>maka deret di ({{EquationNote|ii}}) adalah deret geometri dengan rasio <math> 2^{(1-\alpha)} </math>. Deret di ({{EquationNote|ii}}) adalah konvergen terhingga jika rasionya lebih kecil dari 1, ditulis {{nowrap|<math>\alpha > 1</math>.}} Dengan demikian, dapat disimpulkan bahwa deret di ({{EquationNote|i}}) adalah konvergen terhingga jika dan hanya jika {{nowrap|<math>\alpha > 1</math>.}} |
|||
Pertimbangkan deret |
|||
== Kekonvergenan hasil kali == |
|||
<math>(*) \;\;\; \sum_{n=1}^{\infty} \frac{1}{n^\alpha}</math>. |
|||
Walaupun kebanyakan uji-uji tersebut berkenaan dengan kekonvergenan dari deret tak terhingga, uji-uji tersebut juga dapat dipakai untuk memperlihatkan kekonvergenan atau kedivergenan dari [[Darab takhingga|hasil kali tak terhingga]]. Hal ini dapat diperoleh dengan menggunakan teorema berikut: |
|||
: Misalkan <math>\left \{ a_n \right \}_{n=1}^\infty</math> adalah barisan bilangan positif, maka hasil kali tak terhingga <math display="inline">\prod_{n=1}^\infty (1 + a_n)</math> konvergen jika dan hanya jika deret <math display="inline">\sum_{n=1}^\infty a_n</math> konvergen. Dengan cara yang serupa, jika berlaku pertidaksamaan <math>0 < a_n < 1</math>, maka <math display="inline">\prod_{n=1}^\infty (1 - a_n)</math> mendekati suatu limit tak nol jika dan hanya jika deret <math display="inline">\sum_{n=1}^\infty a_n</math> konvergen. |
|||
[[Uji kondensasi Cauchy]] menyiratkan bahwa (*) konvergen hingga jika |
|||
Teorema tersebut dapat dibuktikan dengan mengambil logaritma dari hasil kali dan menggunakan uji perbandingan limit.<ref>{{cite web|last=Belk|first=Jim|date=26 January 2008|title=Convergence of Infinite Products|url=https://cornellmath.wordpress.com/2008/01/26/convergence-of-infinite-products/}}</ref> |
|||
<math> (**) \;\;\; \sum_{n=1}^{\infty} 2^n \left ( \frac{1}{2^n}\right )^\alpha </math> |
|||
secara finit konvergen. Karena |
|||
<math>\sum_{n=1}^{\infty} 2^n \left ( \frac{1}{2^n}\right )^\alpha = |
|||
\sum_{n=1}^{\infty} 2^{n-n\alpha} = |
|||
\sum_{n=1}^{\infty} 2^{(1-\alpha) n} </math> |
|||
(**) merupakan deret geometrik dengan rasio <math> 2^{(1-\alpha)} </math>. (**) merupakan konvergen hingga jika rasionya kurang dari satu (yaitu <math>\alpha > 1</math>). Jadi, (*) merupakan konvergen hingga [[jika dan hanya jika]] <math> \alpha > 1 </math>. |
|||
<!-- |
|||
== Konvergensi hasil perkalian == |
|||
While most of the tests deal with the convergence of infinite series, they can also be used to show the convergence or divergence of infinite products. This can be achieved using following theorem: Let <math>\left \{ a_n \right \}_{n=1}^\infty</math> be a sequence of positive numbers. Then the infinite product <math>\prod_{n=1}^\infty (1 + a_n)</math> converges [[jika dan hanya jika]] the series <math>\sum_{n=1}^\infty a_n</math> converges. Also similarly, if <math>0 < a_n < 1</math> holds, then <math>\prod_{n=1}^\infty (1 - a_n)</math> approaches a non-zero limit jika dan hanya jika the series <math>\sum_{n=1}^\infty a_n</math> converges . |
|||
Ini dapat dibuktikan dengan mengambil logaritma hasil kali dan menggunakan tes perbandingan limit.<ref>[http://cornellmath.wordpress.com/2008/01/26/convergence-of-infinite-products/ Convergence of Infinite Products]</ref> |
|||
--> |
|||
== Lihat pula == |
== Lihat pula == |
||
* [[Kaidah L'Hôpital]] |
* [[Kaidah L'Hôpital]] |
||
Baris 119: | Baris 42: | ||
== Pranala luar == |
== Pranala luar == |
||
* [http://www.math.tamu.edu/~austin/serieschart.pdf Flowchart for choosing convergence test] |
* [http://www.math.tamu.edu/~austin/serieschart.pdf Flowchart for choosing convergence test] {{Webarchive|url=https://web.archive.org/web/20100808034427/http://www.math.tamu.edu/~austin/serieschart.pdf |date=2010-08-08 }} |
||
{{Authority control}} |
|||
[[Kategori:Tes konvergensi| ]] |
[[Kategori:Tes konvergensi| ]] |
Revisi terkini sejak 5 Desember 2022 03.21
Kalkulus |
---|
Uji kekonvergenan (bahasa Inggris: convergence tests) dalam matematika adalah kumpulan metode untuk melakukan uji yang berkenaan dengan deret konvergen, kekonvergenan bersyarat, kekonvergenan mutlak, kekonvergenan selang atau divergensi suatu deret tak terhingga.
Daftar uji kekonvergenan
[sunting | sunting sumber]- Limit dari jinumlah: Jika limit dari jinumlah (atau limit dari yang dijumlahkan) tidak dapat didefinisikan atau bukan nol, yaitu , maka deret tersebut pasti divergen. Dalam hal ini, jumlah parsial merupakan barisan Cauchy hanya jika limit ini ada dan sama dengan nol. Uji ini tidak mempunyai kesimpulan jika limit jumlah semua elemen sama dengan nol.
- Uji rasio: Uji ini juga dikenal sebagai kriteria d'Alembert (d'Alembert's criterion). Uji ini mengatakan: Misalkan terdapat sedemikian rupa sehinggaJika , maka deret tersebut konvergen. Jika , maka deret tersebut divergen. Jika , maka uji rasio tidak meyakinkan, dan deret itu bisa saja konvergen atau divergen.
- Uji akar: Uji ini juga dikenal sebagai "Uji akar ke-n" (n-th root test)atau kriteria Cauchy (Cauchy's criterion). Misalkandengan melambangkan limit atas (kemungkinannya ∞; jika ada limit, maka itulah nilainya). Jika , maka deret tersebut konvergen. Jika , maka deret tersebut divergen. Jika , maka uji akarnya tidak meyakinkan, dan deret itu bisa saja konvergen atau divergen.
- Uji integral: Suatu deret dapat dibandingkan dengan suatu integral untuk menguji apakah deret tersebut konvergen atau divergen. Misalkan adalah suatu fungsi positif dan menurun secara monoton sedemikian rupa sehingga . Jikamaka deret tersebut konvergen. Akan tetapi, jika integralnya divergen, maka deret tersebut juga divergen. Dengan kata lain, deret konvergen jika dan hanya jika integralnya konvergen.
- Korolari dari uji integral yang umum dipakai adalah uji deret-p: Misalkan , maka konvergen jika . Kasus untuk uji ini akan menghasilkan deret harmonik yang hasilnya divergen. Kasus adalah masalah Basel dan deret tersebut konvergen menuju . Secara umum, untuk , maka deret tersebut sama dengan fungsi zeta Riemann dari , yaitu .
- Uji perbandingan langsung: Jika deret merupakan suatu deret konvergen mutlak dan untuk yang cukup besar, maka deret konvergen mutlak.
- Uji perbandingan limit: Jika , dan limit ada, merupakan terhingga dan bukan nol, maka konvergen jika dan hanya jika konvergen.
- Uji kondensasi Cauchy: Misalkan adalah barisan positif yang tidak menaik, maka jumlah adalah konvergen jika dan hanya jika jumlah konvergen. Terlebih lagi, jika jumlah tersebut konvergen, maka berlaku pertidaksamaan .
- Uji Abel: Misalnya pernyataan-pernyataan berikut ini benar: adalah suatu deret konvergen; adalah suatu urutan monoton; dan mempunyai batasan (bounded). Maka juga konvergen.
- Uji Dirichlet: Jika adalah barisan bilangan real dan adalah barisan bilangan kompleks yang memenuhi syarat bahwa: , , dan untuk setiap bilangan bulat positif dengan menyatakan suatu konstan, maka deret konvergen.
- Uji kekonvergenan Cauchy: Suatu deret adalah konvergen jika dan hanya jika untuk setiap , terdapat suatu bilangan asli sehingga berlaku untuk semua dan untuk semua .
- Teorema Stolz–Cesàro: Misalkan dan adalah dua barisan bilangan real. Asumsi bahwa adalah barisan yang monoton sempurna dan divergen, serta mempunyai nilai limit berikut:Maka, limit
- Uji-M Weierstrass: Misalkan adalah suatu barisan dari fungsi bilangan real atau kompleks yang terdefinisi pada suatu himpunan , dan misalkan terdapat barisan bilangan non-negatif yang memenuhi syarat-syarat: untuk semua dan semua , serta konvergen. Maka deret konvergen mutlak dan seragam di .
- Uji Raabe–Duhamel: Misalkan adalah barisan bilangan positif. Misalkan terdapat barisan yang didefinisikan dengan Jika ada, maka akan ada tiga kemungkinan: Jika , maka deret itu konvergen; jika , maka deret itu divergen; dan jika , maka uji tersebut tidak dapat disimpulkan. Perumusan uji lainnya adalah sebagai berikut: Misalkan adalah suatu deret bilangan real. Jika terdapat dan (adalah suatu bilangan asli) sehinggauntuk semua , maka deret konvergen.
Catatan
[sunting | sunting sumber]- Untuk sejumlah jenis deret tertentu ada tes konvergensi yang lebih khusus, misalnya untuk deret Fourier digunakan uji Dini
Contoh
[sunting | sunting sumber]Misalkan, diberikan suatu deret
-
(i)
Uji kondensasi Cauchy menyiratkan bahwa deret di (i) adalah konvergen terhingga jika
-
(ii)
konvergen terhingga. Karenamaka deret di (ii) adalah deret geometri dengan rasio . Deret di (ii) adalah konvergen terhingga jika rasionya lebih kecil dari 1, ditulis . Dengan demikian, dapat disimpulkan bahwa deret di (i) adalah konvergen terhingga jika dan hanya jika .
Kekonvergenan hasil kali
[sunting | sunting sumber]Walaupun kebanyakan uji-uji tersebut berkenaan dengan kekonvergenan dari deret tak terhingga, uji-uji tersebut juga dapat dipakai untuk memperlihatkan kekonvergenan atau kedivergenan dari hasil kali tak terhingga. Hal ini dapat diperoleh dengan menggunakan teorema berikut:
- Misalkan adalah barisan bilangan positif, maka hasil kali tak terhingga konvergen jika dan hanya jika deret konvergen. Dengan cara yang serupa, jika berlaku pertidaksamaan , maka mendekati suatu limit tak nol jika dan hanya jika deret konvergen.
Teorema tersebut dapat dibuktikan dengan mengambil logaritma dari hasil kali dan menggunakan uji perbandingan limit.[1]
Lihat pula
[sunting | sunting sumber]Referensi
[sunting | sunting sumber]- ^ Belk, Jim (26 January 2008). "Convergence of Infinite Products".
Pranala luar
[sunting | sunting sumber]- Flowchart for choosing convergence test Diarsipkan 2010-08-08 di Wayback Machine.