Kryterium Kummera
Kryterium Kummera (albo kryterium Diniego-KummeraSzablon:Odn) – kryterium zbieżności szeregów liczbowych o wyrazach dodatnich opublikowane w 1835[1] przez Ernsta Kummera. W 1867 Ulisse Dini opuścił założenie (zob. wypowiedź kryterium niżej), którego używał Kummer w swojej pracySzablon:Odn. Inny dowód kryterium Kummera podał w 1994 Jingcheng Tong[2].
Kryterium
Niech dany będzie szereg
o wyrazach dodatnich oraz niech będzie takim ciągiem o wyrazach dodatnich, że
Niech ponadto
- Jeżeli dla dostatecznie dużych oraz pewnego spełniona jest nierówność
- to szereg Szablon:LinkWzór jest zbieżny.
- Jeżeli zaś dla dostatecznie dużych spełniona jest nierówność
- to szereg Szablon:LinkWzór jest rozbieżnySzablon:Odn.
Wersja graniczna kryterium
Kryterium Kummera można spotkać również w nieco słabszej, następującej wersji. Jeżeli ciąg jest zbieżny do pewnego to
- szereg Szablon:LinkWzór jest zbieżny, gdy oraz
- szereg Szablon:LinkWzór jest rozbieżny, gdy Szablon:Odn.
W przypadku, gdy kryterium nie rozstrzyga.
Wyprowadzanie innych kryteriów z kryterium Kummera
Niech dla wszelkich Wówczas
Jeżeli ciąg
jest zbieżny do pewnego to również ciąg jest zbieżny oraz Jeżeli to a więc szereg Szablon:LinkWzór jest zbieżny. Jeżeli to a wówczas szereg Szablon:LinkWzór jest rozbieżny. Wynika stąd zatem kryterium d’AlembertaSzablon:Odn.
Z rozbieżności szeregu harmonicznego
wynika, że ciąg spełnia założenia kryterium Kummera. Wówczas
gdzie jest takie jak w wypowiedzi kryterium Raabego. Wynika stąd zatem kryterium RaabegoSzablon:OdnSzablon:Odn.
Dowód
W przypadku, gdy dla prawie wszystkich spełniona jest nierówność dla tych samych zachodzi także
Stąd
a zatem
Ciąg maleje monotonicznie, a więc (będąc ograniczonym z dołu) jest zbieżny do pewnej liczby. Oznacza to, że szereg
jest zbieżny, bo jego -ta suma częściowa wynosi a ciąg ten ma skończoną granicę. Z kryterium porównawczego wynika zbieżność szeregu
a więc i także samego szeregu Szablon:LinkWzórSzablon:Odn.
W przypadku, gdy dla prawie wszystkich dla tych zachodzi nierówność
Z rozbieżności szeregu Szablon:LinkWzór wynika wówczas rozbieżność szeregu Szablon:LinkWzórSzablon:OdnSzablon:Odn.
Przypisy
Bibliografia
- ↑ E. E. Kummer, Über die Convergenz und Divergenz der unendlichen Reihen, Journal für die reine und angewandte Mathematik 13, 171–184.
- ↑ J. Tong, Kummer’s test gives characterizations for convergence or divergence of all positive series, The American Mathematical Monthly, '101 (5) (1994), 450–452.