Przeskocz do treści

Delta mi!

Człapanie do nieskończoności

Tomasz Małolepszy

o artykule ...

  • Publikacja w Delcie: marzec 2014
  • Publikacja elektroniczna: 02-03-2014
  • Autor: Tomasz Małolepszy
    Afiliacja: Wydział Matematyki, Informatyki i Ekonometrii, Uniwersytet Zielonogórski

Matematyka, jak przystało na królową nauk, jest dyscypliną dość trudną i wymagającą umiejętności abstrakcyjnego myślenia. Jeżeli przyjąć za Galileuszem, że matematyka jest alfabetem, za pomocą którego Bóg opisał wszechświat, to trzeba przyznać, że jest to alfabet dość złożony i nie jest łatwo nauczyć się dobrze nim posługiwać. Jednym z jego ważniejszych elementów jest niewątpliwie nieskończoność.

obrazek

Próba zrozumienia nieskończoności dla człowieka, który w istocie rzeczy żyje otoczony wielkościami skończonymi (a przynajmniej takie mu się one na pierwszy rzut oka wydają), często opiera się na swoistym przeniesieniu doświadczeń czy intuicji znanych mu z jego „skończonego” świata, co zwykle kończy się niepowodzeniem. Dobrym tego przykładem są szeregi, czyli obiekty matematyczne, które (niezbyt precyzyjnie pisząc) uogólniają pojęcie sumy na przypadek nieskończenie wielu składników.

Już ze szkoły średniej wiadomo, że taka uogólniona suma nieskończonej ilości dodatnich składników może być skończona (przekonuje o tym chociażby wzór na sumę składników nieskończonego ciągu geometrycznego o ilorazie math w przypadku, gdy math). Gdy pojawia się zatem problem obliczenia sumy odwrotności wszystkich liczb naturalnych, czyli szeregu math intuicja podparta wyliczeniem kilku jego początkowych sum częściowych sugeruje, że wielkość ta jest skończona, a nawet niezbyt duża. To podejrzenie wzmacnia użycie dowolnego kalkulatora czy komputera – od pewnego momentu pojawiające się na ich ekranach sumy częściowe math nie ulegają zmianie. Czy zatem rzeczywiście szereg math zwany szeregiem harmonicznym, jest zbieżny? Otóż nie! Co więcej, nawet nietrudno to wykazać. Wystarczy w tym celu zauważyć, że pewne sumy częściowe szeregu harmonicznego łatwo oszacować z dołu w następujący sposób:

pict

a otrzymane dolne oszacowanie przy math  dąży przecież do nieskończoności.

Wiemy już, że szereg harmoniczny jest rozbieżny, w jaki sposób możemy jednak znaleźć liczbę składników math dla których math przekroczy zadaną z góry liczbę? Próba odpowiedzi na to pytanie poprzez zwyczajne dodawanie kolejnych składników naszego szeregu nie zaprowadzi nas daleko, nawet jeśli wspomożemy się komputerem. Z pomocą przyjdzie nam, oczywiście, matematyka, a konkretnie całki. Zauważmy bowiem, że dla dowolnego math oraz math mamy oczywistą nierówność math zachodzi więc również

display-math

a zatem

display-math

W analogiczny sposób, biorąc jako punkt wyjścia nierówność math prawdziwą dla każdego math możemy otrzymać

display-math

co ostatecznie prowadzi do następującego oszacowania sum częściowych math szeregu harmonicznego:

display-math(1)

Co więcej, można również wykazać, że przy math  istnieje skończona granica ciągu math Wynika to z faktu, że ciąg math jest ściśle malejący, o czym świadczy poniższy rachunek

display-math

oraz ograniczony, gdyż z (1) otrzymujemy

display-math

Oznaczając jego granicę przez math i ponownie wykorzystując monotoniczność ciągu math oraz (1), możemy zapisać

display-math(2)

Ostatnia nierówność mówi nam, że w praktyce math dość dokładnie można przybliżyć przez math Stała math pełni na tyle istotną rolę w matematyce, że otrzymała nawet swoją nazwę (nazywa się ją stałą Eulera bądź czasami stałą Eulera–Mascheroniego). W porównaniu z dwiema najsłynniejszymi stałymi, czyli math oraz math nadal niezbyt wiele o niej wiadomo (kwestią otwartą jest chociażby to, czy math jest liczbą algebraiczną; nie wiadomo nawet, czy jest ona liczbą wymierną).

Korzystając z (1), łatwo oszacować sumę kolejnych składników szeregu harmonicznego. I tak, na przykład, math znajduje się między math a  math zaś math między math a  math Podobnie łatwo oszacować, ile trzeba dodać kolejnych składników tego szeregu, aby przekroczyć ustaloną wartość. Jak Czytelnik sądzi, kiedy math przekroczy math Stanie się to, gdy dodamy mniej więcej math pierwszych składników szeregu harmonicznego. To naprawdę ogromna liczba. Nawet najszybszy polski superkomputer, Zeus, o mocy obliczeniowej równej mniej więcej math operacji zmiennoprzecinkowych wykonywanych na sekundę, musiałby obliczać tę sumę (przy założeniu, że dodanie dwóch kolejnych składników to jedna operacja) bez przerwy przez... około math lat (wiek Wszechświata szacuje się raptem na math lat)! Ta bardzo wolna rozbieżność szeregu harmonicznego jest jedną z jego wielu interesujących własności.

Nasuwa się naturalne pytanie: czy w klasie szeregów o dodatnich wyrazach math istnieją może jeszcze wolniej rozbieżne szeregi? Nim odpowiemy na to pytanie, musimy sprecyzować, co będziemy rozumieli pod pojęciem wolniejszej rozbieżności. Niech zatem dane będą dwa szeregi rozbieżne math math o wyrazach dodatnich. Powiemy, że szereg math jest wolniej rozbieżny niż szereg math  jeżeli

display-math

(czyli od pewnego indeksu wyrazy pierwszego szeregu będą „znacząco” mniejsze od wyrazów drugiego). Okazuje się, że w rozważanej przez nas klasie możemy konstruować szeregi tak wolno zmierzające ku nieskończoności, jak tylko chcemy. Swoistą „maszynką” do ich tworzenia jest bowiem następujące twierdzenie, pochodzące od Abela i Diniego:


Twierdzenie 1. Jeżeli szereg math o wyrazach dodatnich jest rozbieżny, to szereg math gdzie math  również jest rozbieżny i to wolniej.

Powyższe twierdzenie orzeka w szczególności, że nie istnieje szereg „najwolniej” rozbieżny.

Zapewne najbardziej znaną rodzinę coraz wolniej rozbieżnych szeregów tworzą

display-math

czyli, po przenumerowaniu składników, szeregi

pict

Aby uwidocznić, jak wolno ich sumy częściowe zbiegają do nieskończoności, wystarczy ponownie przeprowadzić rozumowanie, które pozwoliło nam uzyskać wzór (2) dla szeregu harmonicznego (zauważmy, że w każdym z przypadków funkcje pod znakiem szeregu są ściśle malejące). Otrzymamy wówczas następujące oszacowania sum częściowych math pierwszych trzech szeregów tej rodziny, prawdziwe dla math:

  • dla szeregu (S1)
    display-math

  • dla szeregu (S2)
    display-math

  • dla szeregu (S3)
    pict

Co z nich wynika? Przede wszystkim to, że pojęcie wolnej rozbieżności jest bardzo względne. Szereg harmoniczny, który dąży do nieskończoności w niesamowicie wolnym, wydawałoby się, tempie, przy szeregach (S1)–(S3) zdaje się do niej pędzić wręcz z zawrotną prędkością. Przykładowo, wartość math szereg (S1) przekroczy dopiero po dodaniu około math początkowych swoich wyrazów, zaś szereg (S2) – po zsumowaniu aż math początkowych wyrazów. Dla porównania szereg harmoniczny potrzebuje na to zaledwie math składników. Co ciekawe, to „człapanie” do nieskończoności szeregów (S1)–(S3), a także pozostałych członków tej rodziny, jest tak wolne, że gdy tylko odpowiednio zmniejszymy ich składniki, czyli utworzymy nową rodzinę szeregów postaci

pict

dla dowolnego math to w końcu zatrzymają się one w swym powolnym marszu ku nieskończoności i staną się zbieżne. Z jednej strony jest to na pewno zaskakujący rezultat, gdyż, na przykład, szeregi

display-math

nie wydają się zbytnio różnić na pierwszy rzut oka. Jednakże z drugiej strony, jak już wspomnieliśmy, nasze intuicje w zderzeniu z pojęciem nieskończoności często okazują się błędne. Jest to jednak zrozumiałe, w końcu nawet sam Abel, który był genialnym matematykiem i jak niewielu rozumiał ten „boski alfabet”, powiedział przecież, że „rozbieżne szeregi są diabelskim wynalazkiem”.