TATA42: Föreläsning 10 Serier ( generaliserade summor )

Storlek: px

Starta visningen från sidan:

Download "TATA42: Föreläsning 10 Serier ( generaliserade summor )"

Rolf Axelsson
för 8 år sedan
Visningar:

1 TATA42: Föreläsning 0 Serier ( generaliserade summor ) Johan Thim 5 maj 205 En funktion s: N R brukar kallas talföljd, och vi skriver ofta s n i stället för s(n). Detta innebär alltså att för varje heltal n 0 så är s n något reellt tal. Andra beteckningar finns, till exempel används ofta s[n] för att markera att det handlar om den diskret funktion (dvs en talföljd). Det är inget speciellt med N mer än att vi måste börja någonstans och fortsätta till oändligheten. Vi kan lika gärna tänka oss en talföljd s n där n = 4, 3, 2,.... Eller s n där n = 0, 2, 4, 6,... och så vidare. (i) s n = 3 n, n = 0,, 2,..., dvs s 0 =, s = 3, s 2 = 3 2 och så vidare. (ii) s n = 2 n, n = 4, 5, 6,..., dvs s 0 = /6, s = /32, s 2 = /64 och så vidare. Speciellt är vi intresserade av summor av talföljder. Om a k är en talföljd kan vi låta s n = a + a a n = a k, något vi stött på vid många tillfällen tidigare. vis som geometriska summor vis a k = 3 k ger s n = 3 k = 3 (n+) 3 = 3 2 ( ). 3 n+ Numeriska serier Det som är nytt nu är att vi tänker låta n. Frågan uppstår då hur vi ska tolka summan med oändligt många termer. Låt oss kalla gränsvärdet s så att s = lim s n i de n fall då detta gränsvärde existerar, vilket förefaller vara en naturlig definition (jämför med de generaliserade integralerna). I exemplet ovan ser vi att johan.thim@liu.se 3 s = lim s n = lim n n 2 ( 3 n+ ) = 3 2.

Andra beteckningar finns, till exempel används ofta s[n] för att markera att det handlar om den diskret funktion (dvs en talföljd).

2 Definition. Om a k, k = 0,, 2,... är en talföljd definierar vi serien s enligt s = a k = lim n a k i de fall då detta gränsvärde existerar. Vi kallar s n = Det kan gå åt skogen på två olika sätt i definition: a k för delsummor av a k. (i) Om gränsvärdet blir någon oändlighet, dvs s n eller s n då n. (ii) Om gränsvärdet inte existerar ens som någon oändlighet, till exempel s n = ( ) n. I det första fallet skriver vi ibland a k = respektive a k =, även om dessa inte är reella tal. Men det ger en smidigare notation (precis som för generaliserade integraler). Definition. Om en serie existerar som ett ändligt reellt tal kallar vi serien för konvergent. Annars säger vi att serien är divergent. Vi skriver ibland (formellt) a k även då serien inte existerar. Speciellt i formen av frågan Är serien konvergent? Avgör om ( + 2k) och är konvergenta. 2k Lösning. Den första serien är divergent eftersom delsummorna är aritmetiska så ( + 2k) = ( + 2n + )(n + ) 2 = (n + ) 2, då n. Den andra serien är konvergent eftersom delsummorna är geometriska med q <, ty 2 k = 2 (n+) 2 = 2 ( 2 (n+)) 2, då n. Sats. Om termerna a k 0 då k är Bevis. Låt oss skriva a k lite kreativt enligt Divergenstestet a k divergent. a k = (a + a a k ) (a + a a k ) = s k s k. 2

(ii) Om gränsvärdet inte existerar ens som någon oändlighet, till exempel s n = ( ) n. I det första fallet skriver vi ibland a k = respektive a k =, även om dessa inte är reella tal.

3 Om summan är konvergent så gäller att både s k s och s k s då k. Men detta innebär enligt likheten ovan att a k = s k s k s s = 0 då k. Med andra ord, om serien är konvergent så måste a k 0 då k. Negationen av detta är påståendet i satsen ovan. Observera att omvändningen inte gäller. Det räcker alltså inte att a k 0 för att en serie ska konvergera. Det klassiska motexemplet är den s.k. harmoniska serien k som divergerar. Den geometriska serien då till q k = q. Geometriska serier q k konvergerar om och endast om q < och konvergerar Detta följer från formeln för geometriska summor: q k = qn+ q q såvida q <. Om q ser vi att a k = q k 0 då k, så serien är inte konvergent i detta fall. Vart börjar serien? Det är inget speciellt med att vi betraktar summor av talföljder a k där k = 0,, 2,.... Vi kan lika gärna undersöka summor där k = m, m +, m + 2,..., dvs a k. Alla satser stämmer ändå. Om en summa konvergerar eller inte har bara att göra med hur termerna a k beter sig för stora k. Om vi börjar med k = 0, k = 2 30 eller k = 74 kvittar. Vi kan även dela upp summor i delar i de fall då dessa delar beter sig bra. k=m Sats. Om c 0 är en konstant gäller att Vidare gäller ca k = c a k. (a k + b k ) = a k + med undantaget då vi får fallen + eller, eller att gränsvärden inte existerar ens med oändligheterna tillåtna. Dessa fall måste analyseras noggrannare. Bevisskiss. Beviset följer återigen direkt från att betrakta delsummor. För sådana får vi 3 b k

Den geometriska serien då till q k = q. Geometriska serier q k konvergerar om och endast om q < och konvergerar Detta följer från formeln för geometriska summor: q k = qn+ q q såvida q <.

4 alltid dela upp och bryta ut konstanter. Vad händer sen när antalet termer går mot oändligheten? Om allt konvergerar är det frid och fröjd. ( Som exempel på ett urartat fall kan man betrakta ( ) k + ( ) k+). Alla termerna i serien är noll, men slår vi sönder i två delar uppstår två serier som båda divergerar ordentligt. 2 Positiva serier Om a k 0 för alla k kallar vi serien a k för positiv. Om en sådan serie divergerar går det mot oändligheten och vi skriver som bekant a k = i det fallet. Om inte detta händer är serien konvergent (och lika med ett tal s 0). Med andra ord gäller följande. Sats. Om a k 0 för alla k så gäller att a k < om och endast om serien är konvergent. Positiva serier har många trevliga egenskaper. Bland annat gäller följande: Sats. Om 0 a k b k för alla k så är a k b k. Bevis. Beviset följer av att olikheten gäller för alla delsummor eftersom 0 a k b k. Visa att är konvergent. + 2k Lösning. Eftersom + 2 k 2 k erhåller vi att + 2 k 2 = 2 k eftersom detta är en geometrisk serie. Inte nog med att vi nu vet att serien konvergerar, vi vet också att den konvergerar mot något som inte är större än 2. Cauchys integralkriterium Sats. Om f(x) 0 är en avtagande funktion för x så gäller att f(k) < ˆ f(x) dx <. Beviset följer i princip från en enkel skiss. Vi ritar in en avtagande icke-negativ funktion f och 4

2 Positiva serier Om a k 0 för alla k kallar vi serien a k för positiv. Om en sådan serie divergerar går det mot oändligheten och vi skriver som bekant a k = i det fallet.

5 markerar en övertrappa (de rosa rektanglarna) och en undertrappa (de blåa rektanglarna) med heltalssteg. y y = f(x) x Vi ser då direkt att summan av arean hos de n första rosa rektanglarna blir f(k) och n+ att summan av arean hos de n första blåa rektanglarna blir f(k). Vidare ser vi att arean mellan y = f(x) och x-axeln då x n ligger mellan dessa rektangelareor. Således gäller k=2 f(k) ˆ n n f(x) dx f(k). k=2 Vi låter n och satsen följer. Om f är strängt avtagande blir olikheterna strikta. Visa att < om och endast om α >. kα Lösning. Detta följer av Cauchys jämförelseprincip eftersom är avtagande för x > 0 och xα ˆ att vi vet att dx < precis då x > (se förra föreläsningen). xα 5

blir f(k). Vidare ser vi att arean mellan y = f(x) och x-axeln då x n ligger mellan dessa rektangelareor. Således gäller k=2 f(k) ˆ n n f(x) dx f(k).

6 Sats. Om a k 0 och b k 0 samt a k 0 < lim < k b k så gäller att a k < b k <. Med andra ord, om gränsvärdet existerar och ligger strikt mellan 0 och så konvergerar endera båda serierna eller så divergerar båda två. Avgör om sin(/k) k är konvergent. Lösning. Om k är stor är /k liten och sin(/k) = /k + O(/k 3 ). Vi får alltså en extra /k från täljaren och jämför därför med /k 2 : sin(/k)/k /k 2 = /k2 + O(/k 4 ) /k 2 = + O(/k 2 ), då k. Alltså är serien i fråga konvergent om och endast om är konvergent eftersom termerna k2 är positiva (för stora k är sin /k > 0). Den sista serien är välkänd som konvergent (se exemplet ovan) och därmed är den efterfrågade serien också konvergent. 3 Absolutkonvergens Definition. Om Absolutkonvergens a k är konvergent kallar vi a k för absolutkonvergent. Det följer direkt att en absolutkonvergent serie är konvergent med a k Visa att cos k 2 k (2 + sin k) är konvergent och att den inte är större än 2. Lösning. Vi visar att serien är absolutkonvergent. Vi har nämligen cos k 2 k (2 + sin k) 2 k 6 a k.

Om k är stor är /k liten och sin(/k) = /k + O(/k 3 ). Vi får alltså en extra /k från täljaren och jämför därför med /k 2 : sin(/k)/k /k 2 = /k2 + O(/k 4 ) /k 2 = + O(/k 2 ), då k.

7 = 2 är serien absolut- eftersom cos k och 2 + sin k. Eftersom 2 k = cos k konvergent och 2 k (2 + sin k) 2. 4 Alternerande serier /2 Vi kallar serier där termer växlar tecken, varannan positiv och varannan negativ, för alternerande. För sådana serier finns, om vi kräver att a k avtar mot noll, ett kraftfullt resultat. Sats. Om Leibniz sats a k är en alternerande serie sådan att a a 2 a 3 är en avtagande följd och a k 0 då k så är serien konvergent. Bevis. Antag att a 0 (annars kan vi lika gärna betrakta minus serien). Kravet att a k är avtagande innebär då att a + a 2 0, a 3 + a 4 0, etc, samt att a 2 + a 3 0, a 4 + a 5 0 och så vidare. y a a 3 a 4 a 5 a 6 a 7 a 8 a 9 x a 2 Tanken är nu att betrakta två olika delsummor s 2n och s 2n+. Vi ser då att s 2n = (a + a 2 ) + (a 3 + a 4 ) + + (a 2n + a 2n ) a, där a möjligen är +, eftersom alla parenteser är 0. Alltså en följd av icke-negativa tal och s 2n är växande (gränsvärde finns alltid om vi tillåter ). Vidare är s 2n+ = a + (a 2 + a 3 ) + (a 4 + a 5 ) + + (a 2n + a 2n+ ) b, där b möjligen är, eftersom alla parenteser är 0. Alltså en följd av icke-positiva tal och s 2n är avtagande (gränsvärde finns alltid om vi tillåter ). Dessutom har vi s 2n+ s 2n = a 2n+ 0, 7

För sådana serier finns, om vi kräver att a k avtar mot noll, ett kraftfullt resultat. Sats.

8 vilket innebär att b a 0 b a. Detta innebär att båda a och b måste vara ändliga. Men vi vet också att a k 0 vilket i sin tur visar att a = b. Således konvergerar serien. Visa att serien ( ) k är konvergent men inte absolutkonvergent. k Lösning. Med a k = ( ) k /k ser vi att a k = /k är en avtagande följd och att a k 0. Eftersom serien är alternerande visar nu Leibniz sats att den är konvergent. Mot vad? Bra fråga, faktiskt till ln 2 (gå tillbaka till Maclaurinavsnittet och studera ln(+x) och fundera över hur detta kan komma sig). Däremot är serien inte absolutkonvergent eftersom a k = k =. Detta är som bekant den harmoniska serien. 8

Med a k = ( ) k /k ser vi att a k = /k är en avtagande följd och att a k 0. Eftersom serien är alternerande visar nu Leibniz sats att den är konvergent. Mot vad?

Relevanta dokument

TATA42: Föreläsning 5 Serier ( generaliserade summor )

TATA42: Föreläsning 5 Serier ( generaliserade summor ) Johan Thim 0 januari 207 En funktion s: N R brukar kallas talföljd, och vi skriver ofta s n i stället för s(n). Detta innebär alltså att för varje