Integraaltest

De integraaltest is een onderscheidend kenmerk dat bruikbaar is bij reeksen met niet-negatieve, niet-stijgende termen. Hierbij wordt de reeks vervangen door een oneigenlijke integraal die zo gekozen is dat hij evenals de reeks convergeert of divergeert. De evaluatie van de oneigenlijke integraal − convergent of divergent − zegt dus of de reeks zelf convergeert of divergeert. Indien de reeks een eindig aantal negatieve termen bevat, kan het deel van de reeks vanaf de eerste tot en met de laatste negatieve term weggelaten worden. Dit verandert niets aan het feit of de reeks convergeert of divergeert. In de rest van dit artikel wordt daarom aangenomen dat de volledige reeks uit niet-negatieve, niet-stijgende termen bestaat.

Beschouw een reeks met niet-negatieve, niet-stijgende termen . Niet-stijgend betekent dat elke term van de reeks gevolgd wordt door een term die ofwel gelijk is, ofwel kleiner. Stel dat de functie ontstaat door de gehele variabele in de algemene reeksterm te vervangen door de reële variabele . Indien de functie bestaat en continu is op het interval en eveneens niet-stijgend is zijn de reeks

en de daaruit ontstane oneigenlijke integraal

samen convergent of samen divergent. Wel is het zo dat bij convergentie de totale reekssom en de waarde van de integraal in het algemeen verschillend zullen zijn.

Deze figuur toont dat, op het interval x = 0 tot x = N+1, de oppervlakte onder de functie u(x) (blauw) kleiner is dan de som van de termen van de reeks (rood) maar groter dan de som van de termen van de reeks behalve de eerste term (groen).

Men beschouwt op bijgaande figuur het interval [0 , N+1], dat bestaat uit N+1 kleinere intervallen [n , n+1] met lengte 1. Voor elk van die afzonderlijke intervallen geldt

waarbij

Omdat dit geldt voor de N+1 intervallen afzonderlijk, geldt dit ook voor hun som zodat

Deze ongelijkheid geldt voor elke N, en dus ook als de limiet van N gaande naar oneindig wordt genomen:

Dit leidt tot twee besluiten:

  • Stel nu dat de oneigenlijke integraal in het middelste lid van de ongelijkheid convergeert, en dus een eindige waarde heeft. Dan is de limiet aan de linkerkant naar boven begrensd, en gezien deze ook stijgend is (want de termen van de reeks zijn positief of nul), bestaat die limiet ook en is hij eindig. De reeks links heeft dus een eindige totale reekssom en is dus convergent. Bijgevolg is ook de originele reeks die rechts staat convergent want deze telt slechts één term meer, namelijk . Besluit: convergentie van de oneigenlijke integraal impliceert convergentie van de reeks.
  • Stel nu dat de oneigenlijke integraal divergeert, wat hier betekent dat limiet ervan naar oneindig gaat, want de functie is nergens negatief en de integraal kan dus alleen maar groter worden als zijn bovengrens naar oneindig gaat. Dan is ook de limiet aan de rechterkant oneindig, want hij is minstens zo groot als de limiet van de oneigenlijke integraal. De reeks rechts heeft dus een oneindige reekssom en is dus divergent. Besluit: divergentie van de oneigenlijke integraal impliceert divergentie van de reeks.

Door toepassing van de regel betreffende de logische implicatie

volgt uit deze twee besluiten respectievelijk

  • Als de reeks divergeert, divergeert de oneigenlijke integraal ook.
  • Als de reeks convergeert, convergeert de oneigenlijke integraal ook.

De reeks vertoont dus steeds hetzelfde convergentie- of divergentiegedrag als de bijhorende oneigenlijke integraal of anders gezegd, de reeks en de bijhorende oneigenlijke integraal zijn beide convergent of beide divergent.

waarvan de convergentie of divergentie kan worden nagegaan aan de hand van de oneigenlijke integraal die ontstaat door de index te vervangen door de reële variabele :
Deze oneigenlijke integraal is divergent. En de reeks waaruit hij ontstaan is, de harmonische reeks, is dat dus ook.
  • De reeks
heeft als bijhorende oneigenlijke integraal:
De integrand (de functie waarvan de integraal moet worden berekend) heeft als primitieve functie, verkregen met partiële integratie
Na evaluatie van de integraal blijkt deze te convergeren met waarde . Bijgevolg is de reeks waaruit hij ontstaan is, ook convergent. De reekssom is, afgerond op acht decimalen, gelijk aan . Dit is een waarde van de eerste afgeleide functie van de Riemann-zèta-functie.[1]
De convergentie van deze reeks kan ook worden nagegaan met de condensatietest van Cauchy.
  1. Zie rij (en) A073002 van OEIS, decimal expansion of -zeta'(2), the first derivative of the zeta function at 2. Gearchiveerd op 15 april 2023.