01 Prinzipien der Konvergenztheorie

Arno Fehringer

Dreiecksungleichung
Fr alle (1) (2) (3)

a ,b gilt:
a + b a+b , ab ab ab a + b

Beweis: (1) a a a ab a + b a+b (a+b) a + b a+b a + b a+b Beweis: (2) a = ab + b a b+b ab ab b = ba + a b a+a ba ba ba ab ab ab ab ab ab ab ab Beweis: (3) a = a + b +(b ) a+ b+b ab a + b b = b+ a +(a ) b + a+a ba b+ a ba a + b a + b ab a + b ab a + b ab a + b -1b b b

Konvergente Folgen

Definition Eine reelle Folge Zu jedem >

an konvergiert gegen
gibt es ein

, falls gilt:

n , so dass

an a < fr alle n n

"an s#hreibt au#h

lim an = a

, oder $ur%

an a

Eine Folge

an

mit

lim an =

hei&t Nullfolge!

Eine Folge, die ni#ht $on'ergiert, hei&t divergent!

Satz (ede $on'ergente Folge an ist bes#hr)n$t!

Beweis: *ei
n

lim an = a ! Zu

= 1 gibt es ein n , so dass fr alle n n

gilt:

an a < 1 1 an a 1

a 1 a n a + 1
*et%e s : = min {a1 , !!! , an 1 , a1 } , * : = ma+ { a1 , !!! , an 1 , a + 1 } !

,ann gilt:

s an * fr alle

n !

-2-

renzwerts!tze
*eien

an , bn $on'ergente folgen mit

lim an = a und

lim bn = b !

,ann gilt: (1)

n

lim an bn = ab

(2)

lim an bn = ab

(3)

lim # bn = b

fr

# !

(-)

lim

1 1 , = bn b an a = , bn b

falls

bn

fr fast alle

n und b

(.)

lim

falls

bn

fr fast alle

n und b

Beweis: (1) *ei > ! ,ann gibt es ein

n , so dass fr alle n n

gilt:

an a < und bn b < ! Es folgt: 2 2 an + bn( a + b ) = an a + bn b an + bn( a + b ) = an a+bnb an + bn( a + b ) < + = 2 2 Analog an bn ( a b) < + = 2 2

-3-

Beweis: (2) *ei > gegeben! ,a bn bes#hr)n$t ist gibt es ein / 0 a < / ! ,ann gibt es ein n , so dass fr alle n n und bn b < ! an a < 2/ 2/ Es folgt: an bn ab = an bn + abn + abn ab an bn ab = an bn abn + abn ab an bn ab = ( an a ) b n + a ( bn b ) an bn ab ( an a )bn+a( bn b ) an bn ab ( an a )/ + /( bn b) an + bn( a + b ) < / + / = 2/ 2/ mit gilt: bn < / und

Beweis: (3) (3) folgt aus (2) mit der $onstanten Folge an = # !

Beweis: (-)

b b n 1 1 = bn b bn b bbn 1 1 = bn b bnb 1egen

bnb bn b ist
gilt:

lim bn = b und %u

b 2

gibt es ein

n ,

so dass fr alle n n bnb < b ! 2

---

Es folgt dann b b < bnb < 2 2 b b +b < b n < +b 2 2 b < bn 2 1 2 < bn b

*ei

>

gegeben! Zu gilt: !

min

b b2 , 2 2

gibt es nun ein neues

n , so dass fr

alle n n bn b <

Fr die 2eitere Abs#h)t%ung folgt nun:

bbn 1 1 = bn b bnb 1 1 1 1 = b bn bn b bn b 1 1 2 1 2 1 b < = bn b b b b b 2

2

Beweis: (.) (.) folgt aus (2) und (-)

3!e!d!

-.-

Konvergente Folgen in der ko"ple#en $ahlene%ene

Definition Eine $om4le+e Folge Zu jedem >

% n = + n + i 5 n konvergiert gegen n , so dass

% = + + i 5

, falls gilt: !

gibt es ein

% n % < fr alle n n

,er Zusammenhang %2is#hen dem dem $om4le+en 6etrag einer Zahl folgender: + , 5 % + + + !

% = + + i 5 ist

,as bedeutet fr eine $om4le+e Folge

%n = +n + i 5n : +n + und 5n 5

%n = +n + i 5n

% = + + i 5

&eitreichende Konse'uenzen: 7st f : -------0 mit f () = #os () + i sin ( ) diejenige Fun$tion , 2el#he die Zahlengerade auf den $om4le+en Einheits$reis abbildet, dann gilt: f 8 () = sin () + i #os () f 8 () = i ( #os () + i sin ()) f 8 () = i f () ,ie Fun$tion f hat nun 2eitere folgende Eigens#haften: f( ) = 1 1egen f () = #os ( ) i sin () ist f () f () = #os 2 () + sin 2 () = 1 , also f () fr alle !

f 8 () = i f () !

-9-

,ie Fun$tion f hat nun folgende Eigens#haften: (i) (ii) (iii) f( ) = 1 f ( ) fr alle !

f 8 () = i f () !

Es gibt nur eine Fun$tion, mit diesen Eigens#haften: Angenommen es g)be eine 2eitere derartige Fun$tion g! ,ann folgt:

() () ()

f f 8 () g () f () g 8 () 8 () = 2 g ( g () ) f i f () g () f () i g () 8 () = 2 g ( g () ) f 8 () = g

,ann ist aber

()

f () = # g

$onstant, also

f () = #g () !

1egen f ( ) = g ( ) = 1 folgt # : 1 , also ist

f () = g () fr alle !

,a die E+4onentialfun$tion g = f , also ei

g () = e

ebenfalls die Eigens#haften (i), (ii), (iii) hat, ist

= #os () + i sin ()

,ie berhmte (ulersche For"el 'er2endet man beim 6e2eis des Funda"entalsatzes der )lge%ra ('gl! ,ifferentialre#hnung)!

-;-

)#io" der *ntervallschachtelung

<egeben sei eine 7nter'allfolge =a n > bn? mit rationalen 7nter'allgren%en, die folgende 6edingungen erfllt: (1) (2)

[ an+ 1 >bn+ 1 ] [ an >bn ]

n

fr alle

lim bn an =

,ann gibt es genau eine reelle $ahl % mit % [ an >bn ] fr alle n ! "an s4ri#ht au#h 'on der *ntervallschachtelung =an > bn? mit dem $entru" %! Eine ents4re#hende Aussage soll au#h fr 7nter'allfolgen =a n > bn? mit reellen 7nter'allgren%en gelten! Satz von Bolzano+&eierstra, (ede bes#hr)n$te Folge an Beweis: A an A

hat eine $on'ergente @eilfolge

an !
$

fr alle n ! *et%e

7 : = [ A >6

"an $onstruiert nun su$%essi'e eine 7nter'alls#ha#htelung 7 $ : Zun)#hst halbiert man das 7nter'all in

A1 >

A +6 2

und

A +6 2

> 6

Als 71 definiert man dasjenige 7nter'all, 2el#hes unendli#h 'iele a n enth)lt! Es sei 7$ : = [ A $ > 6$ ] s#hon definiert! ,ann definiert man 7 $A1 %u

[
7$ +1 : =

A$ >

A $ + 6$ 2

] ]

, falls darin unendli#h 'iele an liegen!

[
1egen

A$ + 6$ > 6$ 2

, falls darin unendli#h 'iele an liegen! 6 A $ 2

lim 6$ A $ = lim

ist 7$ eine 7nter'alls#ha#htelung mit dem

Zentrum % ! Aus jedem 7nter'all 7$ 2)hlt man nun ein Folgenglied an der Folge an aus, so dass an monoton steigend ist, und %eigt, dass lim an = % ist!
$ $

1ie ma#ht man das genauB "an nimmt an, dass aus den 7nter'allen 7 1, C , 7$-1 je2eils Folgenglieder mit der ge2ns#hten steigenden "onotonie ausge2)hlt 2urden! (et%t betra#htet man die beiden 7nter'allh)lften 'on 7 $-1 ! Falls nun das bereits ausge2)hlte an in der lin$en 7nter'allh)lfte 'on 7 $-1 liegt und das
$ 1

-D-

bereits ausge2)hlte 7nter'all 7 $ die re#hte 7nter'allh)lfte 'on 7 $-1 ist, 2)hlt man irgend ein Folgenglied aus 7$ und benennt es mit an ! ,ann ist an an !
$ $ 1 $

Falls das bereits ausge2)hlte in an der lin$en 7nter'allh)lfte 'on 7 $-1 liegt und das bereits ausge2)hlte 7nter'all 7$ ebenfalls die lin$e 7nter'allh)lfte ist, 2)hlt man no#h irgend ein anderes Folgenglied aus 7 $ , und benennt es mit an , falls an an ist! Falls an < an 2)re, l)gen alle an an !!! an 1 in 7$ ! ,ann 2rde man notfalls eine Embenennung der Folgenglieder an , an , !!! , a n , an 'ornehmen mssen, um dann an an !!! an a n %u erhalten! Eine ents4re#hende Fro%edur 2rde man 'ornehmen, falls alle oder einige der an , an , !!! , a n in der re#hten 7nter'allh)lfte l)gen und das bereits ausge2)hlte 7nter'all 7$ ebenfalls die re#hte 7nter'allh)lfte 2)re!
$ 1 $ $ 1 $ $ $ 1 1 $ 1 $ 1 $ 1 $ 1 $ 1 $ 1

,ie so $onstruierte @eilfolge ist also monoton steigend und es gilt an 7$ , also A$ an 6$ , und 2egen lim A$ = lim 6$ = % ist au#h lim an = %
$ $

3!e!d! Satz von Bolzano+&eierstra, f-r ko"ple#e Folgen (ede bes#hr)n$te Folge % n hat eine $on'ergente @eilfolge

%n !
$

Beweis: *ei sind die Folgen % n = an + i bn ! 1egen an , bn %n an + bn an , bn bes#hr)n$t, und haben $on'ergente @eilfolgen an , bn die gegen a, b $on'ergieren! 1egen % n ( a + ib ) = an a+ i ( bn b ) an a + bn b $on'ergiert % n gegen % = a + i b !
$ $ $ $ $ $ $ $

3!e!d! Satz (ede bes#hr)n$te monotone Folge

an

ist $on'ergent!

Beweis: *ei die Folge an monoton 2a#hsend! Ga#h dem Satz von Bolzano+&eierstra, gibt es eine @eilfolge an mit lim an = % !
$

Zu 'orgegebenen 0

gibt es ein
n$ > n$ !

n$ , so dass gilt:

an %
$

fr alle

1egen der "onotonie gilt dann :

an % H

fr alle n > n$ ! 3!e!d! -I-

Beschr!nkte .engen
Satz und Definition *ei A und A JK ! ,ann hei&t eine Zahl

s *

untere Schranke 'on A, falls fr alle o%ere Schranke 'on A, falls fr alle

a A gilt: s a ! a A gilt: a * !

,as *nfi"u" 'on A , inf A , ist die gr/,te untere Schranke ! ,as Supre"u" 'on A, su4 A, ist die kleinste o%ere Schranke ! <ehLren 7nfimum und *u4remum %ur "enge A hei&en sie .ini"u" b%2! .a#i"u"! (ede ni#ht leere bes#hr)n$te "enge Beweis: *ei + A und

A hat ein 7nfimum und ein *u4remum!

* eine obere *#hran$e 'on A! Gun halbiert man das 7nter'all + +* ! Es $Lnnen %2ei F)lle auftreten: 7 = [ + >* ] ! ,ie "itte ist m = 2

1! Fall: A ( m >* ? = ,ann ist m eine obere *#hran$e und 2ir definieren 71 = [ +1 >* ]

+ 1 := +

*1 : = m und

+1::+

m::*1

+1

*1

2! Fall: " (m >* ? ,ann gibt es einen Fun$t + 1 A mit 71 = [ +1 >*1 ]

+ 1 > m ! ,ann definieren 2ir

*1 : = *

und

+1

+1

*1

-1 -

,iese /onstru$tion $ann man fortset%en, so dass man eine 7nter'alls#ha#htelung 7n = [ +n >*n ] be$ommt , 2obei die *n obere *#hran$en 'om A , die + n A und * + *n + n n ! 2 ,ie Folge der oberen *#hran$en gegen eine Zahl *!

*n ist monoton fallend und des2egen $on'ergent

(et%t %eigt man, dass * die $leinste obere *#hran$e ist: Fr

+ A gilt

+ *n fr alle n , also + lim *n = * ! ,amit ist * eine

n

obere *#hran$e! Angenommen es g)be eine obere *#hran$e *M H *! n mit *n + n * + 2n < ** 8 *n *8 ! 1egen *-*M 0 gibt es ein

*n + n < *n * 8 + n < *8 +n > * 8

,ie let%te Englei#hung steht im 1iders4ru#h da%u, dass *M eine obere *#hran$e 'on A ist! ,as hei&t, dass * die $leinste obere *#hran$e , also das *u4remum 'on A ist! ,ie E+isten% des 7nfimums 'on A %eigt man analog! 3!e!d!

- 11 -

Satz und Definition ,ie Zahl a hei&t 0!ufungspunkt einer Folge Enendli#h 'iele an , 2enn fr alle > gilt:

an liegen in der -Emgebung 'on a,

E ( a) = { + :+ a< } !

(ede bes#hr)n$te Folge

an [ A >6 ] hat in [ A >6 ] einen

a = inf {a : a ist N)ufungs4un$t 'on an } a = su4 {a : a ist N)ufungs4un$t 'on an } ! und einen

kleinsten 0!ufungspunkt gr/,ten 0!ufungspunkt

"an s#hreibt und sagt au#h :

a = lim inf = lim an a = lim su4 = lim an

O 1i"es inferior 'on

an O

O 1i"es superior 'on an O

Beweis: Ga#h dem *at% 'on Bolzano+&eierstra, e+istiert eine lim an = h [ A >6] ! ,a dann h N)ufungs4un$t 'on
$
$

@eilfolge mit an , an ist, die "enge der

$

N)ufungs4un$te ,eshalb e+istieren 1ir %eigen, dass Zu jedem >

N: = {h : h ist N)ufungs4un$t 'on an } {} und bes#hr)n$t!

h = inf N und h = su4 N ! h eine N)ufungs4un$t ist:

gibt es ein

b N mit h h < h + !

Falls h = h ist, ist Falls h < h ist, ist

h N , und der 6e2eis ist fertig! h N , gibt es eine Emgebung

E (h ) mit

h < h < h < h+ < h + ! ,a h N)ufungs4un$t ist, liegen 7n E ( h ) unendli#h 'iele Folgenglieder an und damit aber au#h in E ( h ) ! Also ist h N)ufungs4un$t 'on an und h N ! Analog %eigt man, dass h N ist! ,ie Fun$te h , h sind also $leinster b%2! grL&ter N)ufungs4un$t 'on an ! 3!e!d! - 12 -

)%geschlossene2 %eschr!nkte2 ko"pakte .engen

Definition Eine "enge
n

A hei&t a%geschlossen, 2enn fr jede Folge

% A !

% n A gilt:

lim % n = %

Eine "enge % A ! Eine "enge

A hei&t %eschr!nkt, 2enn es eine Zahl * gibt mit

% * fr alle

/ hei&t ko"pakt2 2enn gilt: % n A e+istiert eine $on'ergente @eilfolge

% n mit
$

Zu jeder Folge
$

lim %n = % A !

Satz Fr alle

A gilt:

A ist $om4a$t

A ist abges#hlossen und bes#hr)n$t !

Beweis:

P % n= + n+ i5 n A eine Folge!

*ei A abges#hlossen und bes#hr)n$t, und sei ,ann gilt

%n * !
Fr die reellen und imagin)ren Anteile gilt dann * + n * und * 5n * ! Ga#h dem Satz von Bolzano+&eierstra, gibt es $on'ergente @eilfolgen mit
$

+ n und
$

5n ,
$

lim + n = + und
$

lim 5 n = 5 !
$

,ann gilt fr die @eilfolge

% n , dass
$

lim %n = lim +n + i5n = + + i5 =: % ist!

$

1egen der Abges#hlossenheit 'on A ist

% A ! ,as hei&t, A ist $om4a$t! - 13 -

Beweis:

O P n ein

*ei A $om4a$t! Angenommen A sei unbes#hr)n$t! ,ann gibt es %u jedem

% n A mit %n > n ! Fr die reellen und imagin)ren Anteile gilt ents4re#hend

+ n > n und 5n > n !

,ann sind diese Folgen und s)mtli#he @eilfolgen di'ergent, im 1iders4ru#h %ur /om4a$theit! Also ist A bes#hr)n$t! *ei nun % n A mit
lim % n = % ! ,ann gibt es 2egen der /om4a$theit eine lim %n = lim %n = % A !
$

$on'ergente @eilfolge

% n mit
$

,eshalb ist A abges#hlossen! 3!e!d!

Be"erkung: (edes 7nter'all $om4a$t !

[ a>b ] und jede /reiss#heibe /r = J % 7 % , % r K ist

Satz 7st f : / -------0 stetig und / $om4a$t, so ist f ( / ) /ur%: ,as stetige 6ild einer $om4a$ten "enge ist 2ieder $om4a$t!

$om4a$t!

Beweis: *ei 5 n eine Folge in f ( %n ) = 5 n !

f ( / ) ! Zu jedem

n gibt es ein

% n / mit

,a / $om4a$t ist, gibt es eine $on'ergente @eilfolge 1egen der *tetig$eit 'on f folgt $om4a$t!

% n mit
$

lim %n = % / !
$

lim 5n = lim f ( % n ) = f ( % ) f ( / ) ! Also ist

$

f (/ )

3!e!d! - 1- -

Satz vo" .a#i"u" und .ini"u" f-r reellwertige stetige Funktionen

7st f : / "a+imum! -------0 7Q stetig und / $om4a$t, so hat f ein "inimum und ein

Beweis: Ga#h dem 'origen *at% ist f(/) $om4a$t, das hei&t abges#hlossen und bes#hr)n$t! Ga#h dem *at% 'om 7nfimum und *u4remum e+istieren diese! Es sei s :: su4 f(/) ! Ga#h dem 6e2eis gibt es eine monoton 2a#hsende lim 5n = s f ( / ) , da f(/) abges#hlossen ist!
n

Folge

5 n f ( / ) mit

Zu jedem n gibt es ein

% n / mit f ( %n ) = 5 n !
% n mit
$

,a / $om4a$t ist, gibt es eine $on'ergente @eilfolge 1egen der *tetig$eit 'on f folgt in % ein "a+imum hat!

lim %n = % / !
$

s = lim 5 n = lim f ( % n ) = f ( % ) ! ,as hei&t, dass f

$
$

,er 6e2eis fr die E+isten% des "inimums fun$tioniert analog! 3!e!d!

- 1. -

3auch4sches Konvergenzkriteriu" f-r Folgen

Fr eine Folge (1) (2)
n

an sind folgende Aussagen )3ui'alent:

lim an = a gibt es ein

Zu jedem > an an < !

, so dass fr alle

n n

gilt:

Beweis: (1) (2) Es gelte

n

lim an = a ! *ei

>

gegeben! ,ann gibt es ein Es folgt fr alle

, so dass fr alle

n n

gilt:

an a < ! 2

n n

an an = an a + a an an a + a an < + = ! 2 2

Beweis: (2) (1) ,ie Folge Zu

an erflle das /riterium 'on (2)! 1ir %eigen %uerst, dass

, so dass fr alle

an bes#hr)n$t ist:

= 1 gibt es ein n

n n

gilt:

an an < 1 !

,ann folgt:
1 < an an < 1 a n 1 < a n < an + 1 !

,ie Folge an , n n ist also bes#hr)n$t! ,a die restli#hen <lieder a , !!! , an 1 ebenfalls bes#hr)n$t sind, ist die gan%e Folge an bes#hr)n$t! Ga#h dem Satz von Bolzano+&eierstra, gibt es eine $on'ergente @eilfolge lim an = a !
$
$

an mit
$

- 19 -

1ir %eigen nun, dass

lim an = a ist:

*ei > gegeben! Ga#h Rorausset%ung gibt es ein ein n n gilt: an an < ! 2 1egen
$

, so dass fr alle

lim an = a gibt es ein

$

n$ n

mit an a < fr alle n$ n$ ! 2

$

Fr alle n n

folgt dann:
$ $ $ $

an a = an an + an a a an + an a < + = ! 2 2

3!e!d!

- 1; -

Konvergente 5eihen

Definition Eine reelle Folge

*n hei&t 5eihe mit den <liedern

ai , falls

*n =

! ai
i=

fr alle

n !
,ie Qeihe konvergiert gegen lim *n = lim

* , 2enn die Folge *n gegen * $on'ergiert:

! ai
i=

= * !

"an s#hreibt au#h

! ai
i=

= *

Notwendige Bedingung f-r die Konvergenz von lim *n = lim

*n :

! ai
i=

= *

lim an = lim *n *n1 = ** =

n

,ie Folge der <lieder

an muss also eine Gullfolge sein!

- 1D -

eo"etrische 5eihen
,ie geometris#he Qeihe *n =

! 3i
i=

ist $on'ergent, genau dann 2enn

3 < 1 !

Beweis: *n =

! 3i
i=

*n = 1 +

! 3i
i= 1 n i 1 i= 1 n 1 i=

*n = 1 + 3 ! 3

*n = 1 + 3 ! 3i *n = 1 + 3 ( *n 3n ) *n = 1 + 3 *n 3n +1 * n ( 1 3 ) = 1 3n + 1 1 3n + 1 *n = (1 3) Fr 3 < 1 ist
n

lim 3n =

und

1 3n + 1 1 lim *n = lim = , also $on'ergent! n n ( 1 3 ) ( 1 3) 7st umge$ehrt

n 3 1 , folgt 3 1

und daher 3n ist $eine Gullfolge!

3!e!d!

- 1I -

3auch4sches Konvergenzkriteriu" f-r 5eihen

Fr eine Qeihe (1) (2) *n =

! ai
i= n i=

sind folgende Aussagen )3ui'alent: = *

lim *n = lim

! ai

Zu jedem > *n *n =

gibt es ein

n
=

, so dass fr alle
n

n n

gilt:

!
n i=

ai

! ai
i=

!
i= n + 1

ai < !

Beweis: "an erset%e beim 6e2eis des 3auch4schen Konvergenzkriteriu"s f-r Folgen einfa#h f n dur#h *n !

-2 -

&eitere Konvergenzkriteriu" f-r 5eihen

Definition *ind

! ai
i=

und

! bi
i=

%2ei unendli#he Qeihen mit nichtnegativen

liedern

a i , bi

und gilt fr fast alle

i die Englei#hung ai bi , so hei&t

! ai
i=

eine .inorante 'on

! bi
i=

und

! bi
i=

eine .a6orante 'on

! ai
i=

Satz 7 .a6oranten 8 .inorantenkriteriu"9

(ede "inorante einer $on'ergenten Qeihe $on'ergiert, jede "ajorante einer di'ergenten Qeihe di'ergiert!

Beweis: *ei

! ai eine Qeihe, die eine $on'ergente "ajorante

i=

! bi mit
i=

! bi
i=

= * hat!

Ab einen ge2issen 7nde+ i gilt dann

ai bi fr alle

n i

und

! ai
i =i i

! bi * =
i=i n n

! bi
i= i

! ai
i= n

! ai
i= i n

! bi
i =i

* +
i

! bi
i=

! ai
i=

! bi
i= i n

* +

! bi
i=

,ie monoton 2a#hsende Folge *ei nun dann

! ai
i=

ist also bes#hr)n$t und damit $on'ergent!

! ai
i=

eine di'ergent "inorante 'on

n

! bi
i= n i= i

! Ab einem ge2issen 7nde+ i gilt

bi ai fr alle

n i

und

! bi
i =i

! ai ! 1)re nun
, also 2)re

! bi
i= n

$on'ergent,

2)re sie eine $on'ergente "ajorante 'on

! ai
i=

! ai
i=

na#h dem Rorigen

ebenfalls $on'ergent, 2as jedo#h im 1iders4ru#h %ur %ur ,i'ergen% 'on

! ai
i=

stnde! 3!e!d!

- 21 -

Satz 7 :uotientenkriteriu"9
*ei

! ai
i=

eine Qeihe mit nur positiven

liedern ai >

1enn es eine Zahl 3 , ai + 1 3 ai

< 3 < 1

gibt, so dass fr fast alle

i der Suotient

ist , dann ist die Qeihe $on'ergent! i der Suotient ai + 1 1 , so di'ergiert die Qeihe! ai

7st aber fr fast alle

Beweis: ai + 1 3 fr fast alle i , das hei&t, es gibt ein ai ai + 1 3 , also ai +1 ai 3 ! alle i i gilt: ai Es gelte ,ann gilt fr alle

i , so dass fr

2 3 j ai + j ai + j1 3 ai + j2 3 ai + j3 3 !!! ai 3 ! n n

,ie Qeihe

! ai + j hat also die geometris#he Qeihe

j=

! a i 3j
j=

als konvergente !

.a6orante und $on'ergiert daher! ,arum ist $on'ergiert au#h

! ai
j=

7st fr alle

i i

der Suotient

ai + 1 1 , sind die ai

ai

monoton 2a#hsend und

bilden daher keine Nullfolge! ,ie Qeihe

! ai
j=

di'ergiert deshalb!

3!e!d!

- 22 -

Satz 7 &urzelkriteriu"9
*ei

! ai
i=

eine Qeihe mit nichtnegativen

liedern

ai

1enn es eine Zahl 3 ,

i ai "

< 3 < 1

gibt, so dass fr fast alle

i gilt

, dann ist die Qeihe $on'ergent!

1enn aber fr fast alle

i gilt

i ai "

, so di'ergiert die Qeihe!

Beweis: 1enn es eine Zahl 3 , folgt ai 3i fr diese i

< 3 < 1

gibt, und

i ai "

3 ist fr fast alle

n

i ,

, und daher ist die geometris#he

Qeihe

! 3i
i=

eine

konvergente .a6orante fr
i 7st " ai 1 fr fr fast alle also!

! ai
i=

i , so gilt

ai 1 fr diese i , die Qeihe di'ergiert

3!e!d!

Definition und Satz 7 a%solute Konvergenz9

Eine Qeihe

! ai
i=

hei&t a%solut konvergent, 2enn die Qeihe

!ai
i=

$on'ergent ist!

(ede absolut $on'ergente Qeihe $on'ergiert in ge2Lhnli#hen *inn!

Beweis: *ei *n =

!a i
i=

$on'ergent! Zu jedem n
n i=

>

gibt es na#h dem 3auch4schen n n gilt:

Konvergenzkriteriu" ein *n *n =
n

, so dass fr alle

!ai
i=

!ai =

!
n i= n + 1

n i =n + 1

ai

ai < !
n

1egen

i= n + 1

ai

i =n + 1

a i < folgt die /on'ergen% der Qeihe

! ai
i=

na#h dem

3auch4kriteriu" f-r 5eihen ! 3!e!d! - 23 -

Folgen und 5eihen von Funktionen

Zun)#hst soll an den 6egriff der stetigen Fun$tion erinnert 2erden: Definition Eine Fun$tion

f : =a> b? ----------0 7Q hei&t stetig in

n n

# [ a > b ] , 2enn gilt:

Fr alle Folgen +n mit lim + n = + folgt lim f ( +n ) = f ( + ) ! "an s#hreibt au#h $ur% lim f (# + ) = f ( + ) ! ,ie Fun$tion hei&t stetig, 2enn sie in jedem
+ + #

+ [ a >b ] stetig ist!

Satz <egeben sei eine Fun$tion )3ui'alent: (1) (2) f ist stetig in +! Zu jedem 0

f : =a> b? ----------0

7Q !

,ann sind folgende Aussagen

gibt es ein 0

, so dass gilt:

5 + H

f ( 5 ) f ( + ) H

Beweis: (2) (1) *ei +n eine Folge mit lim + n = + ! Zu jedem 0

n

gibt es ein 0

, so dass gilt:

5 + H ,ann gibt es ein

f ( 5 ) f ( + ) H !

n , so dass
fr alle

+n + H fr alle
, und
n

n n

! ,araus folgt:

f ( + n ) f ( + ) H

n n

lim f ( +n ) = f ( + ) !

Beweis: (1) (2) Angenommen es g)be ein 0 7 +() - + 7 H , aber

, so dass %u jedem 0

ein +() e+istiert mit lim + n = + ist, gibt es ein

n

7 f(+( )) - f(+) 7 fr alle

! Falls nun n n

mit

+n + H
n

, aber 7 f(+n) - f(+) 7

,as hei&t aber,

lim f ( +n ) f ( + ) , im 1iders4ru#h %ur *tetig$eit 'on f! 3!e!d! - 2- -

Satz *ei f : =a> b? ----------0 7Q stetig! ,ann ist f sogar gleich"!,ig stetig! ,as hei&t: Zu jedem 0 gibt es ein 0 , so dass fr alle
+ ,5 [ a>b ] gilt:

5 + H

f ( 5 ) f ( + ) H .

Beweis: Angenommen, f 2)re ni#ht glei#hm)&ig stetig! ,ann g)be ein 0 0 1erte +() , 5() e+istierten , mit 7 +() - 5() 7 H , *4e%iell 2rden fr aber : 1 n 7 f(+()) - f(5()) 7 ! Folgen +n , 5n e+istieren mit

, so dass %u jedem

5 n + n <

f ( 5 n ) f ( + n ) !

1 , aber n

Ga#h dem Satz von Bolzano ; &eierstra, g)be es eine $on'ergente @eilfolge 1 gilt au#h lim 5n = + und lim + n = + ! 1egen 5 n +n < n $ $
$ $ $ $

+ n mit
$

f ( 5 n ) f ( + n ) !
$ $

1egen der *tetig$eit 'on f ist aber lim f ( + n ) = lim f ( 5 n ) = f ( + ) ,

$
$

also

lim f ( 5 n ) f ( + n ) =
$
$ $

im 1iders4ru#h %u

f ( 5 n ) f ( + n ) !
$ $

3!e!d! Satz *ei f : =a> b? --------0 7Q stetig und f ( + ) > a ! ,ann gibt es eine Emgebung E(+ ) , so dass fr alle f ( +) > a ! Ents4re#hendes gilt im Fall f (+ ) < a !

+ E( + ) [ a >b ] gilt

6e2eis: 1)re ein sol#hes E(+ ) ni#ht 'orhanden, g)be es es %u jedem E 1Tn (+ ) ein +n mit f ( + n ) a ! ,ann 2)re lim + n = + , aber lim f ( +n ) = f ( + ) a im
+n + +n +

1iders4ru#h %ur Rorausset%ung! 3!e!d! - 2. -

Folgen von Funktionen

Definition Eine Fun$tionenfolge f n : =a>b? ------0 7Q hei&t punktweise konvergent , 2enn fr jedes + [ a >b ] die Folge f n ( + ) $on'ergiert! ,ie renzfunktion f = lim f n ist die dur#h
n

f ( + ) = lim f n ( + ) definierte Fun$tion!

n

Eine Fun$tionenfolge f n : =a>b? ------0 7Q konvergiert gleich"!,ig gegen eine <ren%fun$tion f , 2enn es %u jedem > ein n gibt, so dass fr alle n n und alle + [ a >b ] gilt: f f n ( + ) f ( + ) < ! f
n

2 Satz Konvergiert die Folge f n : =a>b? ------0 7Q gleich"!,ig gegen eine <ren%fun$tion f : =a>b? ------0 7Q und sind alle f n stetig , so ist au#h f stetig! Beweis: Es sei > gegeben! Ga#h Rorausset%ung gibt es ein n n und alle + [ a >b ] gilt: f n ( + ) f ( + ) < ! 3 ,a f n stetig ist, gibt es ein 5 + < Es folgt dann fr > , so dass gilt :

, so dass fr alle

f n ( 5 ) f n ( + ) < 3

5 + < :

f ( 5 ) f ( + ) = f ( 5 ) f n ( 5 ) + f n ( 5 ) f n ( + ) + f n ( + ) f ( + ) f ( 5 ) f ( + ) = f ( 5 ) f n ( 5 ) + f n ( 5 ) f n ( + ) + f n ( + ) f ( + ) f ( 5 ) f ( + ) < + + = ! Also ist f stetig ! 3 3 3 3!e!d! - 29 -

3auch4sches Kriteriu" f-r gleich"!,ige Konvergenz von Folgen von Funktionen

Fr eine Folge )3ui'alent: (1) (2) f n 'on Fun$tionen fn : =a>b? ------0 7Q sind folgende Aussagen

f n $on'ergiert glei#hm)&ig gegen f ! Zu jedem > gibt es ein + [ a >b ] gilt:

f n ( + ) f n ( + ) < !

, so dass fr alle

n n

und fr alle

Beweis: (1) (2) *ei f n glei#hm)&ig $on'ergent gegen f ! *ei > gegeben! ,ann e+istiert ein so dass fr alle n n und fr alle + [ a >b ] gilt: f ( + ) f n ( + ) < ! 2 ,ann folgt: f n ( + ) f n ( + ) = f n ( + ) f ( + ) + f ( + ) f n ( + ) f n ( + ) f n ( + ) f n ( + ) f ( + ) + f ( + ) f n ( + ) f n ( + ) f n ( + ) < + 2 2 f n ( + ) f n ( + ) < , das hei&t, das /riterium (2) ist erfllt! Beweis: (2) (1) (et%t sei umge$ehrt das /riterium (2) erfllt! ,ie Qeihe $on'ergiert dann 4un$t2eise gegen eine Fun$tion f , da die Folge f n ( + ) das 3auch4sche Konvergenzkriteriu" f-r Folgen erfllen: lim f n = f mit f ( + ) = lim f n ( + )
n n

"an muss jet%t nur no#h die glei#hm)&ige /on'ergen% gegen f na#h2eisen: Zu > gibt es na#h Rorausset%ung ein + [ a >b ] gilt: f n ( + ) f n ( + ) < ! 3 - 2; -

, so dass fr alle

n n

und fr alle

Fr alle n + m n

und fr alle

+ [ a >b ] folgt dann:

f n +m ( + ) f n ( + ) = f n +m ( + ) f n ( + ) + f n ( + ) f n ( + ) f n +m ( + ) f n ( + ) f n +m ( + ) f n ( + ) + f n ( + ) f n ( + ) f n +m ( + ) f n ( + ) < + 3 3 f n +m ( + ) f n ( + ) < 2 ! 3

,as hei&t aber: 2 2 < f n +m ( + ) f n ( + ) < 3 3 2 2 f n ( + ) < f n +m ( + ) < f n ( + ) + 3 3 2 2 f n ( + ) lim f n +m ( + ) f n ( + ) + 3 3 m 2 2 f n ( + ) f ( + ) f n ( + ) + 3 3 2 2 f ( + ) fn ( + ) 3 3 f ( + ) f n ( + ) 2 3 und fr alle + [ a >b ] !

f ( + ) f n ( + ) < , fr alle n n Also ist die Fun$tionenfolge

f n glei#hm)&ig $on'ergent gegen f ! 3!e!d!

- 2D -

5eihen von Funktionen

Definition Eine Qeihe konvergent, $on'ergiert! ,ie dur#h * ( + ) = lim *n (+ ) = lim
n n

*n =

! fi
i=

'on Fun$tionen fr

f i : =a>b? ------0 7Q

hei&t punktweise

2enn

jedes + [ a >b ] die

n

*ummenfolge *n ( + ) =

! f i( +)
i=

! fi( + )
i=

! f i( + )
i=

definierte Fun$tion ist die

renzfunktion Eine Qeihe

* = lim *n =
n

! fi
i=

<

*n =

! fi
i=

'on Fun$tionen * =

fn :

=a>b?

------0

7Q

konvergiert

gleich"!,ig gegen eine <ren%fun$tion

! fi
i= n

, 2enn es %u jedem

>

ein

gibt, so dass fr alle

n n
n

und alle

+ [ a >b ] gilt:

* (+ )*n ( + ) = * (+ )! f i ( + ) =
i=

! f i ( + )! f i ( + )
i= i=

i= n+ 1

fi (+ ) < !

Aufgrund der Uberlegungen fr die glei#hm)&ige /on'ergen% 'on Folgen 'on Fun$tionen ergeben si#h sofort die folgenden *)t%e: Satz Konvergiert die Qeihe *n = und sind alle

! fi
i=

'on Fun$tionen

f i : =a>b? ------0 7Q

gleich"!,ig

f i stetig , so ist au#h die <ren%fun$tion * =

! fi
i=

stetig!

3auch4sches Kriteriu" f-r gleich"!,ige Konvergenz von 5eihen von Funktionen

Fr eine Qeihe *n = )3ui'alent: (1) (2) *n =

! fi
i=

'on Fun$tionen

fi

: =a>b? ------0 7Q sind folgende Aussagen

! fi
i=

$on'ergiert glei#hm)&ig gegen

* =

! fi
i=

! und fr alle

Zu jedem > gibt es ein + [ a >b ] gilt: *n ( + ) *n ( + ) =

, so dass fr alle

n n

!
n i=

f i( + )

! f i( +)
i=

!
n

i =n + 1

f i (+ ) < !

- 2I -

Definition und Satz 7 a%solute 8 a%solute und gleich"!,ige Konvergenz von 5eihen von Funktionen9
Eine Qeihe *n =
n

! fi
i=

'on Fun$tionen $on'ergent ist!

fi

: =a>b? ------0 7Q hei&t a%solut konvergent,

2enn die Qeihe

!f i
i= n

Eine

Qeihe *n =

! fi
i=

'on Fun$tionen
n

fi

: =a>b? ------0 7Q hei&t a%solut und glei#hm)&ig $on'ergent ist!

gleich"!,ig konvergent, 2enn die Qeihe

!f i
i=

(ede absolut (b%2! absolut und glei#hm)&ig) $on'ergente Qeihe $on'ergiert (b%2! $on'ergiert glei#hm)&ig)!

Beweis: ,as folgt sofort aus der Englei#hung

!
n i= n + 1

f i( +)

i= n + 1

! f i ( + )

und dem 3auch4+

Kriteriu" f-r f-r die gleich"!,ige Konvergenz von 5eihen von Funktionen ! 3!e!d!

Satz 7.a6orantenkriteriu" f-r gleich"!,ige Konvergenz von 5eihen von Funktionen9

*ei

! ai
i=

eine $on'ergente Qeihe mit nichtnegativen

liedern

ai

, und sei

! fi
i=

eine Qeihe 'on Fun$tionen

fi

: =a>b? ------0 7Q !

1enn

f i ( + ) ai fr alle

+ [ a >b ] und fast alle i ist, dann $on'ergiert die Qeihe

! fi
i=

a%solut und gleich"!,ig!

-3 -

Beweis: Zu jedem > gibt es na#h dem 3auch4schen Konvergenzkriteriu" f-r 5eihen ein n , so dass fr alle n n gilt:

i= n +1

ai <

! n n und alle
+ [ a >b ] :

Au&erdem gilt fr alle ,ann folgt fr alle

f n ( + ) an

n n

und alle

+ [ a >b ] :

i= n +1

! f i ( + ) !
n

i= n + 1

ai < !
n n

1egen

!
i= n + 1 n

f i( +)

i= n + 1

! f i ( + ) !

ai < ist das

i =n +1

3auch4+Kriteriu" f-r gleich"!,ige Konvergenz fr die Qeihen

! f i (+ )
i=

und

!f i ( + )
i=

fr alle + [ a >b ] erfllt , das hei&t

! f i (+ )
i=

$on'ergiert

absolut und glei#hm)&ig! 3!e!d!

- 31 -

Potenzreihen

Definition Eine Foten%reihe ist einen Fun$tion F : F (% ) = 2obei die

/ ------0

der Form

! ai (% % )i
i=

, der (ntwicklungspunkt ist!

ai die Koeffizienten und %

Satz ,ie Foten%reihe (1) (2) F (% ) =

! ai (% % )i
i=

$on'ergiere in einem Fun$t

%1 % ! i !
/%
,% 1 %

,ann gibt es ein

i " = > ) mit ai%1 % " fr alle

F(%) konvergiert a%solut in jedem Fun$t % der offenen /reiss#heibe und es gilt fr alle n die Abs#h)t%ung

% % F (% )Fn ( % ) = ! ai ( % % ) ! ai%1 % " % % %1 % i= n + 1 i= n+ 1 1 %1 %

n +1

%1 %
/%
,% 1 %

= {% : % % < % 1 % }

- 32 -

Beweis: 1eil F(%) in %1 $on'ergiert ist ai ( %1 % )i = ai% 1 % i eine Gullfolge, und damit bes#hr)n$t, das hei&t es gibt eine Zahl " = > ) mit ai%1 % i " fr alle i !

*ei % / % ,% % = {% : % % < %1 % } !
1

Aus % % < % 1 % folgt %un)#hst :

% % < % 1 % 3 := % % < 1 %1 % % % i %1 % i < 1 fr alle i !

3 :=

,ann folgt 2eiter fr die Abs#h)t%ung der Qeihenglieder:

ai ( % % ) = ai% %
i

% % ai%1 % i %1 %
i

" 3i

fr alle

i !

,as bedeutet aber, dass die geometris#he Qeihe 'on

! "3i
i=

eine $on'ergente "ajorante

! ai (% % )i
i=

b%2!

!ai (% % )i
i=

ist!

,ie Qeihe

! ai ( % %
i=

)i konvergiert also a%solut und es e+istiert der <ren%2ert

! ai (% % )i
i=

= F (% ) !

- 33 -

7nsgesamt erh)lt man die behau4tete Abs#h)t%ung: F (% )Fn ( % )

i= n +1

ai% 1 % i

i= n + 1

"3i = "

1 1 3 " 1 3 1 3

n +1

= "

1 ( 1(13n +1 )) 1 3 1 3n + 1 1 3 1

= "

% % = " % % %1 % 1 %1 %

n+ 1

3!e!d! Satz vo" Konvergenzradius Zu jeder Foten%reihe F (% ) =

! ai (% % )i
i=

gibt es genau ein

$ = > ) , der

Konvergenzradius, mit folgender Eigens#haft: absolut $on'ergent fr % mit F(%) ist di'ergent fr ,ie offene /reiss#heibe /%
$

% % < $ ! % % > $ !

% mit

hei&t Konvergenzkreis !

Beweis: ,ie Eindeutig$eit ist $lar: *ei $1 ein anderer /on'ergen%radius, et2a $1 < $ ! ,ann ist F(%) absolut $on'ergent und di'ergent fr alle % mit $1 < % % < $ , 2as einen 1iders4ru#h darstellt! Zur E+isten%: ,ie "enge *ei nun

$ : = su4 { % % : F( % ) $on'ergiert } { % % : F ( % ) $on'ergiert } J K , da F(%) in % $on'ergiert!

mit

% % < $ !
F(%) in %1

,ann gibt es ein % 1 mit % % < %1 % < $ , so dass $on'ergiert! Ga#h dem 'origen *at% $on'ergiert F(%) absolut in % ! *ei nun

% % > $ , dann di'ergiert die Qeihe na#h Rorausset%ung !

3!e!d! - 3- -

Satz von 0ada"ard Es sei F (% ) =

! ai (% % )i
i= i ai "

eine Foten%reihe mit /on'ergen%radius 1 lim

$ ! ,ann gilt:

(1) (2) (3)

1enn lim 1enn lim 1enn lim

e+istiert und 4ositi' ist, dann ist $ = ist, ist $ = ! $ = !

i ai "

i ai = " i ai "

ni#ht e+istiert, ist

Beweis: (1) *ei % % < ,ann folgt: lim lim lim

i ai) ("

1 lim

i ai "

% % < 1 < 1 < 1

i ai % % ) ("

( "a % % )
i i i

Es gibt ein ,ann folgt

3 < 1 mit

( "a % % )
i i i

< 3 fr fast alle

i !

ai % % i < 3i fr fast alle

i ! ,as hei&t, die Qeihe

! ai ( % % )i
i=

hat eine $on'ergente geometris#he Qeihe als "ajorante und $on'ergiert in % % < $ ! 7st umge$ehrt % ein Fun$t mit lim lim lim und
i ai) ("

% , also ist

% % >

1 lim

i ai "

folgt:

% % > 1 > 1 > 1

1 fr unendli#h 'iele

i ai % % ) ("

( "a % % )
i i i

( "a % % )
i i i

i !

- 3. -

,ie Qeihe

! ai (% % )i
i=

di'ergiert also, da ihre <lieder $eine Gullfolge bilden!

Beweis: (2)
i 1enn lim " ist, strebt fr jedes % die Folge ( "ai % % i) gegen Gull! ai = i i 7st dann < 3 < 1 , so folgt ai % % < 3 fr fast alle i , und die Qeihe i

F (% ) =

! ai (% % )i
i=

ist $on'ergent in

% !

Beweis: (3) lim

i ai "

e+istiert genau dann ni#ht, 2enn die Folge

i ai " i

ni#ht bes#hr)n$t ist! Fr ,ie Qeihe

%%
i=

ist dann au#h

( "a % % )
i i i

und

ai % % ni#ht bes#hr)n$t!

! ai (% % )i

muss also di'ergieren! 3!e!d!

- 39 -

Satz (ede Foten%reihe F (% ) =

! ai ( % % )i
i=

mit /on'ergen%radius
$

$ >

$on'ergiert auf

jeder ko"pakten Kreisschei%e

/%

/%

a%solut und gleich"!,ig !

Beweis: 1egen r < $ gibt es ein % 1 % = r 1 ! Fr alle % / % r ist folgende Abs#h)t%ung: r 1 mit r < r 1 < $ , und es gibt ein % 1 mit

% % r < r 1 = % % , und na#h dem 'orlet%ten *at% gilt

i

ai ( % % ) = a i% %
i

% % ai%1 % i %1 %
i

"

()
r r1

fr alle

i !

,ie geometris#he Qeihe

!"
i=

()
r r1
m

ist 2egen

r < 1 $on'ergent und eine r1

"ajorante 'on

! ai (% % )i
i=

Es e+istiert also

F ( % ) = lim

! ai ( % %
i=

)i =

! ai ( % % )i
i=

Zu gegebenem > i < ! !"r r1 i= n+ 1

gibt es nun ein

, so dass fr alle

n n

gilt:

()

,ann folgt fr alle F (% )Fn ( % ) =

% /%

und alle
i n

n n

! ai ( % % ) ! ai (% % )i
i= i=

i= n+ 1

ai ( % % )i

i= n+ 1

! ai ( % % )i
!

Also ist F(%) auf

i= n + 1

"

()
r r1

<

/%

absolut glei#hm)&ig $on'ergent! 3!e!d! - 3; -

Satz (ede Foten%reihe F (% ) =

! ai ( % % )i
i=

mit /on'ergen%radius

$ >

ist auf dem

/on'ergen%$reis stetig!

Beweis: *ei
% /%
n i=
$

gegeben! ,ann gibt es ein r auf

/%
r

mit

r < $ mit

% /%

,a alle

Fn ( % ) =

! ai ( % % )i

stetig sind und F (% ) =

Fn ( % ) absolut und glei#hm)&ig stetig in % !

$on'ergiert, ist die <ren%fun$tion

! ai (% % )i
i=

3!e!d!

- 3D -

=ertauschung von

renzprozessen

,ifferentiation 'on <ren%fun$tionen Satz Konvergiert die Folge f n : =a>b? ------0 7Q gleich"!,ig gegen eine <ren%fun$tion f : =a>b? ------0 7Q und sind alle f n stetig , so ist au#h f stetig! Beweis: Es sei > gegeben! Ga#h Rorausset%ung gibt es ein n n und alle + [ a >b ] gilt: f n ( + ) f ( + ) < ! 3 ,a f n stetig ist, gibt es ein 5 + < Es folgt dann fr > , so dass gilt :

, so dass fr alle

f n ( 5 ) f n ( + ) < 3

5 + < :

f ( 5 ) f ( + ) = f ( 5 ) f n ( 5 ) + f n ( 5 ) f n ( + ) + f n ( + ) f ( + ) f ( 5 ) f ( + ) = f ( 5 ) f n ( 5 ) + f n ( 5 ) f n ( + ) + f n ( + ) f ( + ) f ( 5 ) f ( + ) < + + = ! Also ist f stetig ! 3 3 3 3!e!d! Satz ,ie Fun$tionenfolge f n : =a>b? ------0 7Q sei stetig in # + [ a >b ] und konvergiere gleich"!,ig gegen eine <ren%fun$tion f! ,ann gibt es %u jedem eine > Emgebung E (# und ein , so dass fr alle und alle + ) [ a >b ] n + E (# +) n n und alle + [ a >b ] gilt:

f n ( + ) f ( # + ) < !

Beweis: 1egen der glei#hm)&igen /on'ergen% der f n in der *tetig$eit in <ren%fun$tion f stetig in # + ! Es gibt daher %u jedem > E (# + ) [ a >b ] , so dass fr alle + E (# + ) gilt: - 3I -

# ist au#h die + eine Emgebung

f ( + ) f (# + ) < 2

1egen der glei#hm)&igen /on'ergen% der + [ a >b ] und alle n n gilt: f n ( + ) f ( + ) < ! 2 ,ann folgt fr alle alle + E (# + ) und alle

f n gibt es ein

, so dass fr alle

n n

f n ( + ) f (# + ) = f n ( + ) f ( + ) + f ( + ) f (# + ) f n ( + ) f ( + # ) f n ( + ) f ( + ) + f ( + ) f ( + # ) f n ( + ) f (# + ) < + 2 2 f n ( + ) f ( # + ) < 3!e!d!

Satz ,ie Fun$tionenfolge f n : =a>b? ------0 7Q sei differen%ierbar und die Folge der Ableitungen f n 8 : =a>b? ------0 7Q sei stetig! 1enn dann die Folgen f n und f n 8 gleich"!,ig gegen f und f V konvergieren , ist au#h f differen%ierbar und es gilt V f8 = f ! Andere *#hreib2eise:

(lim
n

f n ( + ) 8 = lim f n 8 !
n

Beweis: *ei # + [ a >b ] ! 1ir mssen %eigen, dass lim

n

f ( + ) f (# +) = f V( + # ) ist! + + #

Fr

+ # + ist

lim
n

f n ( + ) f n (# +) f ( + ) f (# +) = ! + # + + # + n ein

Ga#h dem "ittel2ertsat% der ,ifferentialre#hnung gibt es %u jedem %n (# + > + ) oder %n ( + > # + ) mit f ( +) f ( # +) = f 8 (%n ) ! + # + *ei nun > 'orgegeben! ,a die Folge f n 8 glei#hm)&ig gegen -- -

f V $on'ergiert ,

gibt es na#h dem 'origen *at% gibt es eine Emgebung so dass fr alle + E (# + ) und alle n n gilt: f n 8 ( + ) f V ( # + ) < ! 2 Zu festem + E (# +) , + # + gibt es ein n1 n

E ( # + ) [ a >b ] und ein

, so dass fr alle

n n1 gilt:

f n( + ) f n( # +) f(+) f (# +) < ! + # + + # + 2

,ann folgt:

f ( + ) f n( # +) f ( + ) f n( # +) f(+) f (# +) f ( + ) f (# +) f V( # +) = n + n fV(# +) + # + + # + + # + + # +

f ( + ) f n (# +) f ( + ) f n( # +) f ( + ) f (# +) n + n f V (# +) + # + + # + + # + f ( + ) f n (# +) f ( + ) f (# +) n + f 8 ( %n ) f V ( # + ) + # + + # +

< + = 2 2

Also ist dass lim

n

f ( + ) f (# +) = f V( # +) ! + + #

3!e!d!

- -1 -

Satz *ei F (+ ) =

! ai ( + + )i
i=

eine reelle Potenzreihe mit /oeffi%ienten ! ,ann ist F im 7nter'all

ai und dem

/on'ergen%radius gilt F8 ( + ) =

$ >

( + $ > + +$) differen%ierbar und es

!i
i= 1

ai ( + + )i 1 ! F8 ( + ) =

Andere *#hreib2eise:

! ai ( + + )i 8 =
i=

! (ai (+ + )i ) 8 =
i=

!i
i =1

ai (+ + )i1

Beweis: 1ir betra#hten die Qeihe FV ( + ) = $

V

!i
i= 1

ai ( + + )i 1 !

Ga#h

dem

Satz

vo"

Konvergenzradius hat sie einen

!
V F ( + ) hL#hstens auf dem 7nter'all

Es ist $lar, dass $V $ ist, da die Foten%reihe ( + $ > + +$) er$l)rt ist! $V = $ ist:

1ir %eigen nun, dass *ei

+ + < $ , das hei&t

F (+ ) =

Foten%reihe Es gibt ein

! ai ( + + )i
i=

+ ( + $ > + +$) , und sei

gilt folgendes:

+ +

! Fr die

+ 1 mit

+ + < + 1 + < $ , so dass die Qeihe

F (+ ) =

! ai ( + + )i
i=

in + 1 $on'ergiert und die be$annte Abs#h)t%ung

ai ( + + ) =
i

+ + ai+ + = ai+1 + i + 1 +
i i

" 3i

fr alle
i

i !
i

gilt,

2obei " eine *#hran$e der Gullfolge + + 3 := < 1 ist ! + 1 +

V

ai ( + 1 + ) = ai+ 1 +

und

Zur Abs#h)t%ung der Folgenglieder der Qeihe 2eiter: - -2 -

F (+ ) =

!i
i= 1

ai ( + + )

i 1

folgt nun

ai ( + + ai ( + + ai ( + + i i

)i 1 = ai+ +

i 1

" 3i + +

i 1

= ai+ + = ai+ +

i 1

+ + " + + + 1 + " + 1 +
i 1

i 1

i 1

+ + +1 +

i 1

ai ( + + )

i 1

= i ai+ +

i" + 1 + i" + 1 +

+ + +1 +

i 1

ai ( + + )i1 = i ai+ +

i 1

3i1

fr alle

i !

,ie Qeihe

! i" + +
i =1

3i1 $on'ergiert na#h dem :uotientenkriteriu" , denn es ist

( i + 1) " i +11 3 +1 + i+1 1 = 3 = 1 + 3 3V < 1 i" i i 3i1 +1 +

( )

fr fast alle

i !

,emna#h $on'ergiert au#h die Qeihe

FV ( + ) =

!i
i= 1

ai ( + + )i 1 fr

+ + < $ na#h

dem .a6orantenkriteriu" ! 1ir haben damit ge%eigt, dass Ga#h dem 'origen *at% erfllen die Qeihen F (+ ) =

V $ = $ ist!

! ai ( + + )i und FV (+ ) =
i=

!i
i= 1

ai ( + + )i 1

b%2! die Folgen der Fartialsummen Fn ( + ) =

! ai (+ + )i
i=

und FV n( + ) =

!i
i =1

ai ( + + )i 1

die (absolute und) gleich"!,ige Konvergenz auf jedem abges#hlossenen 7nter'all [ + r > + + r ] ( + $ >+ +$) ! ,arum gilt
V +) = F8 (# + ) = F (# + ) , also F8 ( #

+ + ! ai ( #
i=

) 8 =

!i
i =1

ai ( # + + )

i 1

3!e!d! - -3 -

=ertauschung von

renzprozessen

7ntegration 'on <ren%fun$tionen

Satz ,ie Fun$tionenfolge f n : =a>b? ------0 7Q sei stetig und damit integrierbar! 1enn dann die Folge f n gleich"!,ig gegen f konvergiert , ist au#h f integrierbar und es
b b

gilt

& f (+ )
a

d+ = lim

& f n( + )
a b

d+

!
b

Andere *#hreib2eise:

& lim n
a

f n ( + ) d+ = lim

& f n( + )
a

d+ !

Beweis: 1egen der glei#hm)&igen /on'ergen% und der *tetig$eit der <ren%fun$tion f stetig und damit integrierbar! *ei > gegeben! + [ a >b ] gilt: ! f ( + )f n ( + ) < b a ,ann folgt: ,ann gibt es ein

f n ist au#h die n n

und alle

, so dass fr alle

& f ( + ) d+
a

& f n (+ ) d+ =
a

&
b a b

f ( + ) f n ( + ) d+

&f ( + )
a

f n ( + ) d+

<

& b a
a

d+

= ( b a ) = b a
b b

,as hei&t aber

lim
n

& f n( + ) d+ =
a

& f ( +)
a

d+ !

3!e!d! - -- -

Satz *ei F (+ ) =

! ai ( + + )i
i=

eine reelle Potenzreihe mit /oeffi%ienten

ai und dem

/on'ergen%radius ! ,ann ist F im in jedem abges#hlossenen 7nter'all $ > [ a>b ] ( + $ > + +$) integrierbar, und es gilt :
b b

& F( +)
a

d+ = lim
n

& ! ai ( + + )i
a i=

d+ !

Beweis: Es gibt ein mit r > [ a>b ] [ + r > + + r ] ( + $ > + +$) ! ,ann ist die Foten%reihe F ( + ) auf dem abges#hlossenen 7nter'all [ + r > + + r ] absolut und glei#hm)&ig $on'ergent! ,a die Fartialsummen Fn ( + ) =

! ai (+ + )i
i=

stetig auf

[ + r > + + r ] sind, und die

F (+ ) =

Fn glei#hm)&ig gegen
ebenfalls stetig!

F $on'ergieren, ist die <ren%fun$tion

! ai ( + + )i
i=

Ga#h dem 'origen *at% gilt dann:

b b b

& F( +)
a

d+ = lim
n

& Fn ( + )
a

d+ = lim
n

& ! ai ( + +
a i=

)i d+ !

3!e!d

- -. -