Uji kekonvergenan

**Uji kekonvergenan** () 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

* **Limit dari jinumlah**: Jika limit dari *jinumlah* (atau limit dari *yang dijumlahkan*) tidak dapat didefinisikan atau bukan nol, yaitu \lim_{n \to \infty}a_n \ne 0, 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 r sedemikian rupa sehingga\lim_{n \to \infty} \left|\frac{a_{n+1}}{a_n}\right| = r.Jika r , maka deret tersebut konvergen. Jika r > 1, maka deret tersebut divergen. Jika r = 1, 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*)*.* Misalkanr = \limsup_{n \to \infty}\sqrt[n],dengan \lim \sup melambangkan limit atas (kemungkinannya ∞; jika ada limit, maka itulah nilainya). Jika r , maka deret tersebut konvergen. Jika r > 1, maka deret tersebut divergen. Jika r = 1, 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 f:[1,\infty)\to\R_+ adalah suatu fungsi positif dan menurun secara monoton sedemikian rupa sehingga f(n) = a_n. Jika\int_{1}^{\infty} f(x)\, dx = \lim_{t \to \infty} \int_{1}^{t} f(x)\, dx maka deret tersebut konvergen. Akan tetapi, jika integralnya divergen, maka deret tersebut juga divergen. Dengan kata lain, deret {a_n} konvergen jika dan hanya jika integralnya konvergen.
** Korolari dari uji integral yang umum dipakai adalah **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>.
* *'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.
* **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.
* **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>.
* **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.
***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>.
***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>.
* **Uji Raabe–Duhamel''': Misalkan \{a_n\} adalah barisan bilangan positif. Misalkan terdapat barisan yang didefinisikan dengan  b_n = n \left( \frac{ a_n }{ a_{ n + 1 } } - 1 \right). Jika  L = \lim_{ n \to \infty } b_n  ada, maka akan ada tiga kemungkinan: Jika L > 1, maka deret itu konvergen; jika L , maka deret itu divergen; dan jika L = 1, maka uji tersebut tidak dapat disimpulkan. Perumusan uji lainnya adalah sebagai berikut: Misalkan \{a_n\} adalah suatu deret bilangan real. Jika terdapat b>1 dan K (adalah suatu bilangan asli) sehingga \left|\frac{ a_{ n + 1 } }{ a_n }\right| \le 1 - \frac{ b }{ n } untuk semua n > K, maka deret \{a_n\} konvergen.

### Catatan

* Untuk sejumlah jenis deret tertentu ada tes konvergensi yang lebih khusus, misalnya untuk deret Fourier digunakan uji Dini

## Contoh
Misalkan, diberikan suatu deretUji kondensasi Cauchy menyiratkan bahwa deret di () adalah konvergen terhingga jikakonvergen terhingga. Karena\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}, maka deret di () adalah deret geometri dengan rasio  2^{(1-\alpha)} . Deret di () adalah konvergen terhingga jika rasionya lebih kecil dari 1, ditulis  Dengan demikian, dapat disimpulkan bahwa deret di () adalah konvergen terhingga jika dan hanya jika 

## Kekonvergenan hasil kali
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 \left \{ a_n \right \}_{n=1}^\infty adalah barisan bilangan positif, maka hasil kali tak terhingga \prod_{n=1}^\infty (1 + a_n) konvergen jika dan hanya jika deret \sum_{n=1}^\infty a_n konvergen. Dengan cara yang serupa, jika berlaku pertidaksamaan 0 , maka \prod_{n=1}^\infty (1 - a_n) mendekati suatu limit tak nol jika dan hanya jika deret \sum_{n=1}^\infty a_n konvergen.

Teorema tersebut dapat dibuktikan dengan mengambil logaritma dari hasil kali dan menggunakan uji perbandingan limit.

## Lihat pula
* Kaidah L'Hôpital
* Kaidah geser

## Referensi


## Pranala luar
* Flowchart for choosing convergence test