25.10.2014 Views

Signaler og Line_re Systemer

Signaler og Line_re Systemer

Signaler og Line_re Systemer

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Signaler</strong> <strong>og</strong> <strong>Line</strong>æ<strong>re</strong> <strong>Systemer</strong><br />

P<strong>re</strong>ben Alsholm<br />

23. oktober 2006<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 1 / 12


5.3 Gene<strong>re</strong>lle uendelige funktionsrækker<br />

Eksempel 5.21. Rækken<br />

∞<br />

∑ x 1<br />

n=0<br />

x 2 n<br />

kan betragtes som en kvotientrække med kvotient 1 x 2 . Sum<br />

1<br />

x <br />

1 (1 x 2 ) = 1 x gældende for 1 x<br />

2 < 1, dvs. for 0 < jxj < p 2.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 2 / 12


5.3 Gene<strong>re</strong>lle uendelige funktionsrækker<br />

Eksempel 5.21. Rækken<br />

∞<br />

∑ x 1<br />

n=0<br />

x 2 n<br />

kan betragtes som en kvotientrække med kvotient 1 x 2 . Sum<br />

1<br />

x <br />

1 (1 x 2 ) = 1 x gældende for 1 x<br />

2 < 1, dvs. for 0 < jxj < p 2.<br />

Eksempel 5.24. Rækken<br />

∞<br />

∑ B n cos (A n x)<br />

n=1<br />

er absolut konvergent, når blot jBj < 1. Desuden er sumfunktionen<br />

kontinuert.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 2 / 12


5.3 Gene<strong>re</strong>lle uendelige funktionsrækker<br />

Eksempel 5.21. Rækken<br />

∞<br />

∑ x 1<br />

n=0<br />

x 2 n<br />

kan betragtes som en kvotientrække med kvotient 1 x 2 . Sum<br />

1<br />

x <br />

1 (1 x 2 ) = 1 x gældende for 1 x<br />

2 < 1, dvs. for 0 < jxj < p 2.<br />

Eksempel 5.24. Rækken<br />

∞<br />

∑ B n cos (A n x)<br />

n=1<br />

er absolut konvergent, når blot jBj < 1. Desuden er sumfunktionen<br />

kontinuert.<br />

Når AB 1 er sumfunktionen ikke di¤e<strong>re</strong>ntiabel i n<strong>og</strong>et punkt!<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 2 / 12


5.3 Gene<strong>re</strong>lle uendelige funktionsrækker<br />

Eksempel 5.21. Rækken<br />

∞<br />

∑ x 1<br />

n=0<br />

x 2 n<br />

kan betragtes som en kvotientrække med kvotient 1 x 2 . Sum<br />

1<br />

x <br />

1 (1 x 2 ) = 1 x gældende for 1 x<br />

2 < 1, dvs. for 0 < jxj < p 2.<br />

Eksempel 5.24. Rækken<br />

∞<br />

∑ B n cos (A n x)<br />

n=1<br />

er absolut konvergent, når blot jBj < 1. Desuden er sumfunktionen<br />

kontinuert.<br />

Når AB 1 er sumfunktionen ikke di¤e<strong>re</strong>ntiabel i n<strong>og</strong>et punkt!<br />

Begge eksempler i Maple.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 2 / 12


5.4 Uniform konvergens<br />

Rækken ∑n=1 ∞ f n (x) siges at væ<strong>re</strong> uniformt konvergent på intervallet<br />

I , hvis der …ndes en funktion f de…ne<strong>re</strong>t på I , så afsnitsfølgen<br />

(S n (x)) ∞ n=1<br />

konverge<strong>re</strong>r uniformt mod f (x) for x 2 I , dvs. at der for<br />

ethvert ε > 0 eksiste<strong>re</strong>r et N 0 , så<br />

jf (x) S N (x)j < ε<br />

for alle x 2 I <strong>og</strong> alle N N 0 .<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 3 / 12


5.4 Uniform konvergens<br />

Rækken ∑n=1 ∞ f n (x) siges at væ<strong>re</strong> uniformt konvergent på intervallet<br />

I , hvis der …ndes en funktion f de…ne<strong>re</strong>t på I , så afsnitsfølgen<br />

(S n (x)) ∞ n=1<br />

konverge<strong>re</strong>r uniformt mod f (x) for x 2 I , dvs. at der for<br />

ethvert ε > 0 eksiste<strong>re</strong>r et N 0 , så<br />

jf (x)<br />

S N (x)j < ε<br />

for alle x 2 I <strong>og</strong> alle N N 0 .<br />

Det bemærkelsesværdige her er, at N 0 forlanges at kunne bestemmes,<br />

så det er fælles for alle x 2 I .<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 3 / 12


5.4 Uniform konvergens<br />

Rækken ∑n=1 ∞ f n (x) siges at væ<strong>re</strong> uniformt konvergent på intervallet<br />

I , hvis der …ndes en funktion f de…ne<strong>re</strong>t på I , så afsnitsfølgen<br />

(S n (x)) ∞ n=1<br />

konverge<strong>re</strong>r uniformt mod f (x) for x 2 I , dvs. at der for<br />

ethvert ε > 0 eksiste<strong>re</strong>r et N 0 , så<br />

jf (x)<br />

S N (x)j < ε<br />

for alle x 2 I <strong>og</strong> alle N N 0 .<br />

Det bemærkelsesværdige her er, at N 0 forlanges at kunne bestemmes,<br />

så det er fælles for alle x 2 I .<br />

Sætning (Næsten 5.29). En potensrække ∑n=0 ∞ c n x n er uniformt<br />

konvergent på ethvert lukket <strong>og</strong> begrænset delinterval af ] ρ, ρ[.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 3 / 12


5.4 Uniform konvergens<br />

Rækken ∑n=1 ∞ f n (x) siges at væ<strong>re</strong> uniformt konvergent på intervallet<br />

I , hvis der …ndes en funktion f de…ne<strong>re</strong>t på I , så afsnitsfølgen<br />

(S n (x)) ∞ n=1<br />

konverge<strong>re</strong>r uniformt mod f (x) for x 2 I , dvs. at der for<br />

ethvert ε > 0 eksiste<strong>re</strong>r et N 0 , så<br />

jf (x)<br />

S N (x)j < ε<br />

for alle x 2 I <strong>og</strong> alle N N 0 .<br />

Det bemærkelsesværdige her er, at N 0 forlanges at kunne bestemmes,<br />

så det er fælles for alle x 2 I .<br />

Sætning (Næsten 5.29). En potensrække ∑n=0 ∞ c n x n er uniformt<br />

konvergent på ethvert lukket <strong>og</strong> begrænset delinterval af ] ρ, ρ[.<br />

Me<strong>re</strong> gene<strong>re</strong>l sætning. En potensrække ∑n=0 ∞ c n x n er uniformt<br />

konvergent på ethvert lukket <strong>og</strong> begrænset delinterval af<br />

konvergensintervallet, som jo kan væ<strong>re</strong> ] ρ, ρ[ , ] ρ, ρ] , [ ρ, ρ[ eller<br />

[ ρ, ρ].<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 3 / 12


5.4 Uniform konvergens<br />

Rækken ∑n=1 ∞ f n (x) siges at væ<strong>re</strong> uniformt konvergent på intervallet<br />

I , hvis der …ndes en funktion f de…ne<strong>re</strong>t på I , så afsnitsfølgen<br />

(S n (x)) ∞ n=1<br />

konverge<strong>re</strong>r uniformt mod f (x) for x 2 I , dvs. at der for<br />

ethvert ε > 0 eksiste<strong>re</strong>r et N 0 , så<br />

jf (x)<br />

S N (x)j < ε<br />

for alle x 2 I <strong>og</strong> alle N N 0 .<br />

Det bemærkelsesværdige her er, at N 0 forlanges at kunne bestemmes,<br />

så det er fælles for alle x 2 I .<br />

Sætning (Næsten 5.29). En potensrække ∑n=0 ∞ c n x n er uniformt<br />

konvergent på ethvert lukket <strong>og</strong> begrænset delinterval af ] ρ, ρ[.<br />

Me<strong>re</strong> gene<strong>re</strong>l sætning. En potensrække ∑n=0 ∞ c n x n er uniformt<br />

konvergent på ethvert lukket <strong>og</strong> begrænset delinterval af<br />

konvergensintervallet, som jo kan væ<strong>re</strong> ] ρ, ρ[ , ] ρ, ρ] , [ ρ, ρ[ eller<br />

[ ρ, ρ].<br />

Eksempel 5.26 <strong>og</strong> 01-02 i Maple.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 3 / 12


5.4 Majorantrække<br />

∑ ∞ n=1 k n kaldes en majorantrække for ∑ ∞ n=1 f n (x) på intervallet I , hvis<br />

jf n (x)j k n for alle x 2 I <strong>og</strong> alle n 1<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 4 / 12


5.4 Majorantrække<br />

∑ ∞ n=1 k n kaldes en majorantrække for ∑ ∞ n=1 f n (x) på intervallet I , hvis<br />

jf n (x)j k n for alle x 2 I <strong>og</strong> alle n 1<br />

Sætning (5.32 I). Hvis ∑ ∞ n=1 f n (x) har en konvergent majorantrække<br />

på intervallet I , så er den uniformt konvergent på I .<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 4 / 12


5.4 Majorantrække<br />

∑ ∞ n=1 k n kaldes en majorantrække for ∑ ∞ n=1 f n (x) på intervallet I , hvis<br />

jf n (x)j k n for alle x 2 I <strong>og</strong> alle n 1<br />

Sætning (5.32 I). Hvis ∑ ∞ n=1 f n (x) har en konvergent majorantrække<br />

på intervallet I , så er den uniformt konvergent på I .<br />

Sætning (5.32 II). Hvis ∑ ∞ n=1 f n (x) er uniformt konvergent på<br />

intervallet I , så er sumfunktionen kontinuert på I .<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 4 / 12


5.4 Majorantrække<br />

∑ ∞ n=1 k n kaldes en majorantrække for ∑ ∞ n=1 f n (x) på intervallet I , hvis<br />

jf n (x)j k n for alle x 2 I <strong>og</strong> alle n 1<br />

Sætning (5.32 I). Hvis ∑ ∞ n=1 f n (x) har en konvergent majorantrække<br />

på intervallet I , så er den uniformt konvergent på I .<br />

Sætning (5.32 II). Hvis ∑ ∞ n=1 f n (x) er uniformt konvergent på<br />

intervallet I , så er sumfunktionen kontinuert på I .<br />

Eksempel. ∑ ∞ n=0 2 n cos (nx) er uniformt konvergent på R,<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 4 / 12


5.4 Majorantrække<br />

∑ ∞ n=1 k n kaldes en majorantrække for ∑ ∞ n=1 f n (x) på intervallet I , hvis<br />

jf n (x)j k n for alle x 2 I <strong>og</strong> alle n 1<br />

Sætning (5.32 I). Hvis ∑ ∞ n=1 f n (x) har en konvergent majorantrække<br />

på intervallet I , så er den uniformt konvergent på I .<br />

Sætning (5.32 II). Hvis ∑ ∞ n=1 f n (x) er uniformt konvergent på<br />

intervallet I , så er sumfunktionen kontinuert på I .<br />

Eksempel. ∑ ∞ n=0 2 n cos (nx) er uniformt konvergent på R,<br />

da den har ∑ ∞ n=0 2 n som majorantrække:<br />

<br />

2 n cos (nx) 2 n for alle x 2 R <strong>og</strong> n 0<br />

<strong>og</strong> da majorantrækken er konvergent.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 4 / 12


5.4 Majorantrække<br />

∑ ∞ n=1 k n kaldes en majorantrække for ∑ ∞ n=1 f n (x) på intervallet I , hvis<br />

jf n (x)j k n for alle x 2 I <strong>og</strong> alle n 1<br />

Sætning (5.32 I). Hvis ∑ ∞ n=1 f n (x) har en konvergent majorantrække<br />

på intervallet I , så er den uniformt konvergent på I .<br />

Sætning (5.32 II). Hvis ∑ ∞ n=1 f n (x) er uniformt konvergent på<br />

intervallet I , så er sumfunktionen kontinuert på I .<br />

Eksempel. ∑ ∞ n=0 2 n cos (nx) er uniformt konvergent på R,<br />

da den har ∑ ∞ n=0 2 n som majorantrække:<br />

<br />

2 n cos (nx) 2 n for alle x 2 R <strong>og</strong> n 0<br />

<strong>og</strong> da majorantrækken er konvergent.<br />

Som summen af en uniform konvergent række er<br />

f (x) = ∑ ∞ n=0 2 n cos (nx) dermed kontinuert.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 4 / 12


5.4 Majorantrække<br />

∑ ∞ n=1 k n kaldes en majorantrække for ∑ ∞ n=1 f n (x) på intervallet I , hvis<br />

jf n (x)j k n for alle x 2 I <strong>og</strong> alle n 1<br />

Sætning (5.32 I). Hvis ∑ ∞ n=1 f n (x) har en konvergent majorantrække<br />

på intervallet I , så er den uniformt konvergent på I .<br />

Sætning (5.32 II). Hvis ∑ ∞ n=1 f n (x) er uniformt konvergent på<br />

intervallet I , så er sumfunktionen kontinuert på I .<br />

Eksempel. ∑ ∞ n=0 2 n cos (nx) er uniformt konvergent på R,<br />

da den har ∑ ∞ n=0 2 n som majorantrække:<br />

<br />

2 n cos (nx) 2 n for alle x 2 R <strong>og</strong> n 0<br />

<strong>og</strong> da majorantrækken er konvergent.<br />

Som summen af en uniform konvergent række er<br />

f (x) = ∑n=0 ∞ 2 n cos (nx) dermed kontinuert.<br />

Summen f (x) er i øvrigt 4 2 cos x . Maple Eksempel 03 <strong>og</strong> 5.31.<br />

5 4 cos x<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 4 / 12


5.4 Uniform konvergens uden majorantrække<br />

Eksempel. Betragt rækken ∑n=1 ∞ f n (x), hvor f (x)<br />

f (x) for 2<br />

f n (x) =<br />

n < x 2 n+1<br />

0 ellers<br />

<strong>og</strong> hvor<br />

f (x) =<br />

ln 2<br />

ln 2 ln x<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 5 / 12


5.4 Uniform konvergens uden majorantrække<br />

Eksempel. Betragt rækken ∑n=1 ∞ f n (x), hvor f (x)<br />

f (x) for 2<br />

f n (x) =<br />

n < x 2 n+1<br />

0 ellers<br />

<strong>og</strong> hvor<br />

f (x) =<br />

ln 2<br />

ln 2 ln x<br />

Rækken ∑ ∞ n=1 f n (x) er konvergent på intervallet [0, 1] med sum f (x).<br />

Rækken består for ethvert x højst af ét led forskellig fra nul.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 5 / 12


5.4 Uniform konvergens uden majorantrække<br />

Eksempel. Betragt rækken ∑n=1 ∞ f n (x), hvor f (x)<br />

f (x) for 2<br />

f n (x) =<br />

n < x 2 n+1<br />

0 ellers<br />

<strong>og</strong> hvor<br />

f (x) =<br />

ln 2<br />

ln 2 ln x<br />

Rækken ∑ ∞ n=1 f n (x) er konvergent på intervallet [0, 1] med sum f (x).<br />

Rækken består for ethvert x højst af ét led forskellig fra nul.<br />

Rækken ∑ ∞ n=1 f n (x) har ikke n<strong>og</strong>en konvergent majorantrække på<br />

[0, 1]. Den bedste majorantrække er den harmoniske.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 5 / 12


5.4 Uniform konvergens uden majorantrække<br />

Eksempel. Betragt rækken ∑n=1 ∞ f n (x), hvor f (x)<br />

f (x) for 2<br />

f n (x) =<br />

n < x 2 n+1<br />

0 ellers<br />

<strong>og</strong> hvor<br />

f (x) =<br />

ln 2<br />

ln 2 ln x<br />

Rækken ∑ ∞ n=1 f n (x) er konvergent på intervallet [0, 1] med sum f (x).<br />

Rækken består for ethvert x højst af ét led forskellig fra nul.<br />

Rækken ∑ ∞ n=1 f n (x) har ikke n<strong>og</strong>en konvergent majorantrække på<br />

[0, 1]. Den bedste majorantrække er den harmoniske.<br />

Rækken ∑ ∞ n=1 f n (x) er alligevel uniformt konvergent på [0, 1].<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 5 / 12


5.4 Uniform konvergens uden majorantrække<br />

Eksempel. Betragt rækken ∑n=1 ∞ f n (x), hvor f (x)<br />

f (x) for 2<br />

f n (x) =<br />

n < x 2 n+1<br />

0 ellers<br />

<strong>og</strong> hvor<br />

f (x) =<br />

ln 2<br />

ln 2 ln x<br />

Rækken ∑ ∞ n=1 f n (x) er konvergent på intervallet [0, 1] med sum f (x).<br />

Rækken består for ethvert x højst af ét led forskellig fra nul.<br />

Rækken ∑ ∞ n=1 f n (x) har ikke n<strong>og</strong>en konvergent majorantrække på<br />

[0, 1]. Den bedste majorantrække er den harmoniske.<br />

Rækken ∑ ∞ n=1 f n (x) er alligevel uniformt konvergent på [0, 1].<br />

Se illustration i Maple.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 5 / 12


5.4 Integration <strong>og</strong> di¤e<strong>re</strong>ntiation<br />

Sætning (Næsten 5.33). Lad f n væ<strong>re</strong> kontinuert på intervallet<br />

I = [a, b] for alle n. Hvis rækken ∑ ∞ n=1 f n (x) er uniformt konvergent<br />

på I , så gælder, at<br />

Z b<br />

a<br />

∞<br />

∞ Z b<br />

∑ f n (x) dx = ∑ f n (x) dx<br />

n=1<br />

n=1 a<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 6 / 12


5.4 Integration <strong>og</strong> di¤e<strong>re</strong>ntiation<br />

Sætning (Næsten 5.33). Lad f n væ<strong>re</strong> kontinuert på intervallet<br />

I = [a, b] for alle n. Hvis rækken ∑ ∞ n=1 f n (x) er uniformt konvergent<br />

på I , så gælder, at<br />

Z b<br />

a<br />

∞<br />

∞ Z b<br />

∑ f n (x) dx = ∑ f n (x) dx<br />

n=1<br />

n=1 a<br />

Sætning (Næsten 5.34). Lad f n væ<strong>re</strong> di¤e<strong>re</strong>ntiabel på intervallet<br />

I = [a, b] for alle n. Antag, at rækken ∑n=1 ∞ fn 0 (x) er uniformt<br />

konvergent på I , <strong>og</strong> at rækken ∑n=1 ∞ f n (x) er konvergent for et eller<br />

andet x 2 I . så gælder, at rækken ∑n=1 ∞ f n (x) er uniformt konvergent<br />

<strong>og</strong> at summen er di¤e<strong>re</strong>ntiabel med<br />

d<br />

dx<br />

∞<br />

∑ f n (x) =<br />

n=1<br />

∞<br />

∑ fn 0 (x)<br />

n=1<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 6 / 12


5.4 Eksempel: Riemanns zeta-funktion I<br />

Rækken<br />

∞<br />

∑<br />

n=1<br />

er konvergent for x > 1. Summen betegnes med ζ (x) <strong>og</strong> kaldes<br />

Riemanns zeta-funktion.<br />

1<br />

n x<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 7 / 12


5.4 Eksempel: Riemanns zeta-funktion I<br />

Rækken<br />

∞<br />

∑<br />

n=1<br />

er konvergent for x > 1. Summen betegnes med ζ (x) <strong>og</strong> kaldes<br />

Riemanns zeta-funktion.<br />

Lad δ > 0. For x 1 + δ <strong>og</strong> n 1 gælder<br />

1<br />

n x<br />

1<br />

n x 1<br />

n 1+δ<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 7 / 12


5.4 Eksempel: Riemanns zeta-funktion I<br />

Rækken<br />

∞<br />

∑<br />

n=1<br />

er konvergent for x > 1. Summen betegnes med ζ (x) <strong>og</strong> kaldes<br />

Riemanns zeta-funktion.<br />

Lad δ > 0. For x 1 + δ <strong>og</strong> n 1 gælder<br />

1<br />

n x<br />

1<br />

n x 1<br />

n 1+δ<br />

Rækken har dermed på intervallet [1 + δ, ∞[ den konvergente<br />

majorantrække<br />

1<br />

n 1+δ<br />

∞<br />

∑<br />

n=1<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 7 / 12


5.4 Eksempel: Riemanns zeta-funktion I<br />

Rækken<br />

∞<br />

∑<br />

n=1<br />

er konvergent for x > 1. Summen betegnes med ζ (x) <strong>og</strong> kaldes<br />

Riemanns zeta-funktion.<br />

Lad δ > 0. For x 1 + δ <strong>og</strong> n 1 gælder<br />

1<br />

n x<br />

1<br />

n x 1<br />

n 1+δ<br />

Rækken har dermed på intervallet [1 + δ, ∞[ den konvergente<br />

majorantrække<br />

1<br />

n 1+δ<br />

∞<br />

∑<br />

n=1<br />

Rækken er altså uniformt konvergent på ethvert interval [1 + δ, ∞[<br />

med δ > 0.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 7 / 12


5.4 Eksempel: Riemanns zeta-funktion I<br />

Rækken<br />

∞<br />

∑<br />

n=1<br />

er konvergent for x > 1. Summen betegnes med ζ (x) <strong>og</strong> kaldes<br />

Riemanns zeta-funktion.<br />

Lad δ > 0. For x 1 + δ <strong>og</strong> n 1 gælder<br />

1<br />

n x<br />

1<br />

n x 1<br />

n 1+δ<br />

Rækken har dermed på intervallet [1 + δ, ∞[ den konvergente<br />

majorantrække<br />

1<br />

n 1+δ<br />

∞<br />

∑<br />

n=1<br />

Rækken er altså uniformt konvergent på ethvert interval [1 + δ, ∞[<br />

med δ > 0.<br />

Derfor er ζ kontinuert på intervallet ]1, ∞[.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 7 / 12


5.4 Eksempel: Riemanns zeta-funktion II<br />

Riemanns zetafunktion<br />

ζ (x) =<br />

∞<br />

∑<br />

n=1<br />

1<br />

n x<br />

er altså de…ne<strong>re</strong>t <strong>og</strong> kontinuert for x > 1.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 8 / 12


5.4 Eksempel: Riemanns zeta-funktion II<br />

Riemanns zetafunktion<br />

ζ (x) =<br />

∞<br />

∑<br />

n=1<br />

∞<br />

∑<br />

n=1<br />

1<br />

n x<br />

er altså de…ne<strong>re</strong>t <strong>og</strong> kontinuert for x > 1.<br />

Den ledvist di¤e<strong>re</strong>ntie<strong>re</strong>de række<br />

ln n<br />

n x<br />

har <strong>og</strong>så en konvergent majorantrække.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 8 / 12


5.4 Eksempel: Riemanns zeta-funktion II<br />

Riemanns zetafunktion<br />

ζ (x) =<br />

∞<br />

∑<br />

n=1<br />

∞<br />

∑<br />

n=1<br />

1<br />

n x<br />

er altså de…ne<strong>re</strong>t <strong>og</strong> kontinuert for x > 1.<br />

Den ledvist di¤e<strong>re</strong>ntie<strong>re</strong>de række<br />

ln n<br />

n x<br />

har <strong>og</strong>så en konvergent majorantrække.<br />

Vi har nemlig med δ > 0, x 1 + 2δ <strong>og</strong> n 1:<br />

ln n<br />

n x ln n ln n<br />

=<br />

n1+2δ n δ 1<br />

n 1+δ = 1 ln n δ 1<br />

δ n δ <br />

n 1+δ 1<br />

δe 1<br />

n 1+δ<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 8 / 12


5.4 Eksempel: Riemanns zeta-funktion II<br />

Riemanns zetafunktion<br />

ζ (x) =<br />

∞<br />

∑<br />

n=1<br />

∞<br />

∑<br />

n=1<br />

1<br />

n x<br />

er altså de…ne<strong>re</strong>t <strong>og</strong> kontinuert for x > 1.<br />

Den ledvist di¤e<strong>re</strong>ntie<strong>re</strong>de række<br />

ln n<br />

n x<br />

har <strong>og</strong>så en konvergent majorantrække.<br />

Vi har nemlig med δ > 0, x 1 + 2δ <strong>og</strong> n 1:<br />

ln n<br />

n x ln n ln n<br />

=<br />

n1+2δ n δ 1<br />

n 1+δ = 1 ln n δ 1<br />

δ n δ <br />

n 1+δ 1<br />

δe 1<br />

n 1+δ<br />

Altså er<br />

n<br />

uniformt konvergent på ethvert interval<br />

x<br />

[1 + 2δ, ∞[ med δ > 0.<br />

∑ ∞ n=1 ln n<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 8 / 12


5.4 Eksempel: Riemanns zeta-funktion II<br />

Riemanns zetafunktion<br />

ζ (x) =<br />

∞<br />

∑<br />

n=1<br />

∞<br />

∑<br />

n=1<br />

1<br />

n x<br />

er altså de…ne<strong>re</strong>t <strong>og</strong> kontinuert for x > 1.<br />

Den ledvist di¤e<strong>re</strong>ntie<strong>re</strong>de række<br />

ln n<br />

n x<br />

har <strong>og</strong>så en konvergent majorantrække.<br />

Vi har nemlig med δ > 0, x 1 + 2δ <strong>og</strong> n 1:<br />

ln n<br />

n x ln n ln n<br />

=<br />

n1+2δ n δ 1<br />

n 1+δ = 1 ln n δ 1<br />

δ n δ <br />

n 1+δ 1<br />

δe 1<br />

n 1+δ<br />

Altså er<br />

n<br />

uniformt konvergent på ethvert interval<br />

x<br />

[1 + 2δ, ∞[ med δ > 0.<br />

Derfor er ζ di¤e<strong>re</strong>ntiabel på intervallet ]1, ∞[ <strong>og</strong> ζ 0 (x) er givet ved<br />

ledvis di¤e<strong>re</strong>ntiation.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 8 / 12<br />

∑ ∞ n=1 ln n


5.4 Eksempel: Riemanns zeta-funktion III<br />

Riemanns zetafunktion ζ (z) er altså de…ne<strong>re</strong>t <strong>og</strong> kontinuert for<br />

z > 1. De…nitionen kan umiddelbart udvides til Re z > 1.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 9 / 12


5.4 Eksempel: Riemanns zeta-funktion III<br />

Riemanns zetafunktion ζ (z) er altså de…ne<strong>re</strong>t <strong>og</strong> kontinuert for<br />

z > 1. De…nitionen kan umiddelbart udvides til Re z > 1.<br />

Ved analytisk fortsættelse kan ζ de…ne<strong>re</strong>s i hele den komplekse plan<br />

bortset fra i 1. Herved bliver 2, 4, 6, . . . trivielt til nulpunkter for<br />

ζ.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 9 / 12


5.4 Eksempel: Riemanns zeta-funktion III<br />

Riemanns zetafunktion ζ (z) er altså de…ne<strong>re</strong>t <strong>og</strong> kontinuert for<br />

z > 1. De…nitionen kan umiddelbart udvides til Re z > 1.<br />

Ved analytisk fortsættelse kan ζ de…ne<strong>re</strong>s i hele den komplekse plan<br />

bortset fra i 1. Herved bliver 2, 4, 6, . . . trivielt til nulpunkter for<br />

ζ.<br />

Riemann-hypotesen (1859): De eneste ikke-trivielle nulpunkter for ζ<br />

ligger på den lod<strong>re</strong>tte linie Re z = 1 2 .<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 9 / 12


5.4 Eksempel: Riemanns zeta-funktion III<br />

Riemanns zetafunktion ζ (z) er altså de…ne<strong>re</strong>t <strong>og</strong> kontinuert for<br />

z > 1. De…nitionen kan umiddelbart udvides til Re z > 1.<br />

Ved analytisk fortsættelse kan ζ de…ne<strong>re</strong>s i hele den komplekse plan<br />

bortset fra i 1. Herved bliver 2, 4, 6, . . . trivielt til nulpunkter for<br />

ζ.<br />

Riemann-hypotesen (1859): De eneste ikke-trivielle nulpunkter for ζ<br />

ligger på den lod<strong>re</strong>tte linie Re z = 1 2 .<br />

De første 29 nulpunkter med Im (z) > 0 er i‡g. Maple<br />

0.5 + 14.1i, 0.5 + 21.0i, 0.5 + 25.0i, 0.5 + 30.4i, 0.5 + 32.9i,<br />

0.5 + 37.6i, 0.5 + 40.9i, 0.5 + 43.3i, 0.5 + 48.0i, 0.5 + 49.8i,<br />

0.5 + 53.0i, 0.5 + 56.4i, 0.5 + 59.3i, 0.5 + 60.8i, 0.5 + 65.1i,<br />

0.5 + 67.1i, 0.5 + 69.5i, 0.5 + 72.1i, 0.5 + 75.7i, 0.5 + 77.1i,<br />

0.5 + 79.3i, 0.5 + 82.9i, 0.5 + 84.7i, 0.5 + 87.4i, 0.5 + 88.8i,<br />

0.5 + 92.5i, 0.5 + 94.7i, 0.5 + 95.9i, 0.5 + 98.8i<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 9 / 12


5.4 Eksempel: Riemanns zeta-funktion III<br />

Riemanns zetafunktion ζ (z) er altså de…ne<strong>re</strong>t <strong>og</strong> kontinuert for<br />

z > 1. De…nitionen kan umiddelbart udvides til Re z > 1.<br />

Ved analytisk fortsættelse kan ζ de…ne<strong>re</strong>s i hele den komplekse plan<br />

bortset fra i 1. Herved bliver 2, 4, 6, . . . trivielt til nulpunkter for<br />

ζ.<br />

Riemann-hypotesen (1859): De eneste ikke-trivielle nulpunkter for ζ<br />

ligger på den lod<strong>re</strong>tte linie Re z = 1 2 .<br />

De første 29 nulpunkter med Im (z) > 0 er i‡g. Maple<br />

0.5 + 14.1i, 0.5 + 21.0i, 0.5 + 25.0i, 0.5 + 30.4i, 0.5 + 32.9i,<br />

0.5 + 37.6i, 0.5 + 40.9i, 0.5 + 43.3i, 0.5 + 48.0i, 0.5 + 49.8i,<br />

0.5 + 53.0i, 0.5 + 56.4i, 0.5 + 59.3i, 0.5 + 60.8i, 0.5 + 65.1i,<br />

0.5 + 67.1i, 0.5 + 69.5i, 0.5 + 72.1i, 0.5 + 75.7i, 0.5 + 77.1i,<br />

0.5 + 79.3i, 0.5 + 82.9i, 0.5 + 84.7i, 0.5 + 87.4i, 0.5 + 88.8i,<br />

0.5 + 92.5i, 0.5 + 94.7i, 0.5 + 95.9i, 0.5 + 98.8i<br />

Formodningen passer i hvertfald for de første 10 13 nulpunkter (med<br />

imaginærdel > 0).<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 9 / 12


5.4 Eksempel: Fourierrække<br />

Rækken<br />

∞<br />

cos (nx)<br />

∑<br />

n=1<br />

n 2<br />

er uniformt konvergent på R, da den har ∑n=1 ∞ 1 n 2<br />

majorantrække.<br />

som konvergent<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 10 / 12


5.4 Eksempel: Fourierrække<br />

Rækken<br />

∞<br />

cos (nx)<br />

∑<br />

n=1<br />

n 2<br />

er uniformt konvergent på R, da den har ∑n=1 ∞ 1 som konvergent<br />

n 2<br />

majorantrække.<br />

Vi skal sene<strong>re</strong> se, at summen er 1 4 x 2 π 2 x + π2<br />

6<br />

for x 2 [0, 2π].<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 10 / 12


5.4 Eksempel: Fourierrække<br />

Rækken<br />

∞<br />

cos (nx)<br />

∑<br />

n=1<br />

n 2<br />

er uniformt konvergent på R, da den har ∑n=1 ∞ 1 som konvergent<br />

n 2<br />

majorantrække.<br />

Vi skal sene<strong>re</strong> se, at summen er 1 4 x 2 π 2 x + π2<br />

6<br />

for x 2 [0, 2π].<br />

Den ledvist di¤e<strong>re</strong>ntie<strong>re</strong>de række<br />

∞<br />

sin (nx)<br />

∑<br />

n=1<br />

n<br />

har ikke n<strong>og</strong>en konvergent majorantrække på n<strong>og</strong>et interval.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 10 / 12


5.4 Eksempel: Fourierrække<br />

Rækken<br />

∞<br />

cos (nx)<br />

∑<br />

n=1<br />

n 2<br />

er uniformt konvergent på R, da den har ∑n=1 ∞ 1 som konvergent<br />

n 2<br />

majorantrække.<br />

Vi skal sene<strong>re</strong> se, at summen er 1 4 x 2 π 2 x + π2<br />

6<br />

for x 2 [0, 2π].<br />

Den ledvist di¤e<strong>re</strong>ntie<strong>re</strong>de række<br />

∞<br />

sin (nx)<br />

∑<br />

n=1<br />

n<br />

har ikke n<strong>og</strong>en konvergent majorantrække på n<strong>og</strong>et interval.<br />

Men det kan vises (ved Dirichlets kriterium), at rækken er uniformt<br />

konvergent på ethvert interval af formen [δ, 2π δ], hvor δ > 0.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 10 / 12


5.4 Eksempel: Fourierrække<br />

Rækken<br />

∞<br />

cos (nx)<br />

∑<br />

n=1<br />

n 2<br />

er uniformt konvergent på R, da den har ∑n=1 ∞ 1 som konvergent<br />

n 2<br />

majorantrække.<br />

Vi skal sene<strong>re</strong> se, at summen er 1 4 x 2 π 2 x + π2<br />

6<br />

for x 2 [0, 2π].<br />

Den ledvist di¤e<strong>re</strong>ntie<strong>re</strong>de række<br />

∞<br />

sin (nx)<br />

∑<br />

n=1<br />

n<br />

har ikke n<strong>og</strong>en konvergent majorantrække på n<strong>og</strong>et interval.<br />

Men det kan vises (ved Dirichlets kriterium), at rækken er uniformt<br />

konvergent på ethvert interval af formen [δ, 2π δ], hvor δ > 0.<br />

Derfor fås, at for x 2 ]0, 2π[ gælder<br />

∞<br />

sin (nx)<br />

∑ = d 1<br />

n=1<br />

n dx 4 x 2<br />

<br />

π<br />

2 x + π2<br />

= π 6 2<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 10 / 12<br />

1<br />

2 x


Bemærkning om cos(nx) <strong>og</strong> sin(nx)<br />

Der gælder, at talfølgen (cos nx) ∞ n=1<br />

kun er konvergent for x = p2π<br />

(p 2 Z), <strong>og</strong> at (sin nx) ∞ n=1<br />

kun er konvergent for x = pπ (p 2 Z).<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 11 / 12


Bemærkning om cos(nx) <strong>og</strong> sin(nx)<br />

Der gælder, at talfølgen (cos nx) ∞ n=1<br />

kun er konvergent for x = p2π<br />

(p 2 Z), <strong>og</strong> at (sin nx) ∞ n=1<br />

kun er konvergent for x = pπ (p 2 Z).<br />

Bevis. Vi kan antage, at x 2 ]0, π[. Antag først, at cos nx ! 0 for<br />

n ! ∞.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 11 / 12


Bemærkning om cos(nx) <strong>og</strong> sin(nx)<br />

Der gælder, at talfølgen (cos nx) ∞ n=1<br />

kun er konvergent for x = p2π<br />

(p 2 Z), <strong>og</strong> at (sin nx) ∞ n=1<br />

kun er konvergent for x = pπ (p 2 Z).<br />

Bevis. Vi kan antage, at x 2 ]0, π[. Antag først, at cos nx ! 0 for<br />

n ! ∞.<br />

Lad ε > 0. Så eksiste<strong>re</strong>r et n 1 så n n 1 medfø<strong>re</strong>r jcos nxj < ε.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 11 / 12


Bemærkning om cos(nx) <strong>og</strong> sin(nx)<br />

Der gælder, at talfølgen (cos nx) ∞ n=1<br />

kun er konvergent for x = p2π<br />

(p 2 Z), <strong>og</strong> at (sin nx) ∞ n=1<br />

kun er konvergent for x = pπ (p 2 Z).<br />

Bevis. Vi kan antage, at x 2 ]0, π[. Antag først, at cos nx ! 0 for<br />

n ! ∞.<br />

Lad ε > 0. Så eksiste<strong>re</strong>r et n 1 så n n 1 medfø<strong>re</strong>r jcos nxj < ε.<br />

Til n 1 sva<strong>re</strong>r da et p 2 Z så π n1 x<br />

2 + pπ < 2ε, når ε er lille.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 11 / 12


Bemærkning om cos(nx) <strong>og</strong> sin(nx)<br />

Der gælder, at talfølgen (cos nx) ∞ n=1<br />

kun er konvergent for x = p2π<br />

(p 2 Z), <strong>og</strong> at (sin nx) ∞ n=1<br />

kun er konvergent for x = pπ (p 2 Z).<br />

Bevis. Vi kan antage, at x 2 ]0, π[. Antag først, at cos nx ! 0 for<br />

n ! ∞.<br />

Lad ε > 0. Så eksiste<strong>re</strong>r et n 1 så n n 1 medfø<strong>re</strong>r jcos nxj < ε.<br />

Til n 1 sva<strong>re</strong>r da et p 2 Z så π n1 x<br />

2 + pπ < 2ε, når ε er lille.<br />

Så fås j2n 1 x (2p + 1) πj < 4ε.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 11 / 12


Bemærkning om cos(nx) <strong>og</strong> sin(nx)<br />

Der gælder, at talfølgen (cos nx) ∞ n=1<br />

kun er konvergent for x = p2π<br />

(p 2 Z), <strong>og</strong> at (sin nx) ∞ n=1<br />

kun er konvergent for x = pπ (p 2 Z).<br />

Bevis. Vi kan antage, at x 2 ]0, π[. Antag først, at cos nx ! 0 for<br />

n ! ∞.<br />

Lad ε > 0. Så eksiste<strong>re</strong>r et n 1 så n n 1 medfø<strong>re</strong>r jcos nxj < ε.<br />

Til n 1 sva<strong>re</strong>r da et p 2 Z så π n1 x<br />

2 + pπ < 2ε, når ε er lille.<br />

Så fås j2n 1 x (2p + 1) πj < 4ε.<br />

Men så cos (2n 1 x) <br />

n n 1 (når ε er lille).<br />

1 + 4ε i modstrid med at jcos nxj < ε for alle<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 11 / 12


Bemærkning om cos(nx) <strong>og</strong> sin(nx)<br />

Der gælder, at talfølgen (cos nx) ∞ n=1<br />

kun er konvergent for x = p2π<br />

(p 2 Z), <strong>og</strong> at (sin nx) ∞ n=1<br />

kun er konvergent for x = pπ (p 2 Z).<br />

Bevis. Vi kan antage, at x 2 ]0, π[. Antag først, at cos nx ! 0 for<br />

n ! ∞.<br />

Lad ε > 0. Så eksiste<strong>re</strong>r et n 1 så n n 1 medfø<strong>re</strong>r jcos nxj < ε.<br />

Til n 1 sva<strong>re</strong>r da et p 2 Z så π n1 x<br />

2 + pπ < 2ε, når ε er lille.<br />

Så fås j2n 1 x (2p + 1) πj < 4ε.<br />

Men så cos (2n 1 x) <br />

n n 1 (når ε er lille).<br />

1 + 4ε i modstrid med at jcos nxj < ε for alle<br />

Vi konklude<strong>re</strong>r, at cos nx ! 0 for n ! ∞ er umuligt.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 11 / 12


Bemærkning om cos(nx) <strong>og</strong> sin(nx)<br />

Der gælder, at talfølgen (cos nx) ∞ n=1<br />

kun er konvergent for x = p2π<br />

(p 2 Z), <strong>og</strong> at (sin nx) ∞ n=1<br />

kun er konvergent for x = pπ (p 2 Z).<br />

Bevis. Vi kan antage, at x 2 ]0, π[. Antag først, at cos nx ! 0 for<br />

n ! ∞.<br />

Lad ε > 0. Så eksiste<strong>re</strong>r et n 1 så n n 1 medfø<strong>re</strong>r jcos nxj < ε.<br />

Til n 1 sva<strong>re</strong>r da et p 2 Z så π n1 x<br />

2 + pπ < 2ε, når ε er lille.<br />

Så fås j2n 1 x (2p + 1) πj < 4ε.<br />

Men så cos (2n 1 x) <br />

n n 1 (når ε er lille).<br />

1 + 4ε i modstrid med at jcos nxj < ε for alle<br />

Vi konklude<strong>re</strong>r, at cos nx ! 0 for n ! ∞ er umuligt.<br />

En umiddelbar konsekvens er, at rækken ∑ ∞ n=0 cos nx er divergent for<br />

ethvert x.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 11 / 12


Bemærkning om cos(nx) <strong>og</strong> sin(nx)<br />

Antag dernæst, at sin nx ! y for n ! ∞.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 12 / 12


Bemærkning om cos(nx) <strong>og</strong> sin(nx)<br />

Antag dernæst, at sin nx ! y for n ! ∞.<br />

Men så fås sin ((n + 1) x) sin ((n 1) x) = 2 sin x cos nx ! 0 for<br />

n ! ∞.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 12 / 12


Bemærkning om cos(nx) <strong>og</strong> sin(nx)<br />

Antag dernæst, at sin nx ! y for n ! ∞.<br />

Men så fås sin ((n + 1) x) sin ((n 1) x) = 2 sin x cos nx ! 0 for<br />

n ! ∞.<br />

Heraf følger, at sin x = 0.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 12 / 12


Bemærkning om cos(nx) <strong>og</strong> sin(nx)<br />

Antag dernæst, at sin nx ! y for n ! ∞.<br />

Men så fås sin ((n + 1) x) sin ((n 1) x) = 2 sin x cos nx ! 0 for<br />

n ! ∞.<br />

Heraf følger, at sin x = 0.<br />

Vi konklude<strong>re</strong>r, at (sin nx) ∞ n=1<br />

kun kan konverge<strong>re</strong> for x = pπ<br />

(p 2 Z) (<strong>og</strong> så trivielt mod 0).<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 12 / 12


Bemærkning om cos(nx) <strong>og</strong> sin(nx)<br />

Antag dernæst, at sin nx ! y for n ! ∞.<br />

Men så fås sin ((n + 1) x) sin ((n 1) x) = 2 sin x cos nx ! 0 for<br />

n ! ∞.<br />

Heraf følger, at sin x = 0.<br />

Vi konklude<strong>re</strong>r, at (sin nx) ∞ n=1<br />

kun kan konverge<strong>re</strong> for x = pπ<br />

(p 2 Z) (<strong>og</strong> så trivielt mod 0).<br />

En umiddelbar konsekvens er, at rækken ∑n=0 ∞ sin nx kun er<br />

konvergent for x = pπ, p 2 Z.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 12 / 12


Bemærkning om cos(nx) <strong>og</strong> sin(nx)<br />

Antag dernæst, at sin nx ! y for n ! ∞.<br />

Men så fås sin ((n + 1) x) sin ((n 1) x) = 2 sin x cos nx ! 0 for<br />

n ! ∞.<br />

Heraf følger, at sin x = 0.<br />

Vi konklude<strong>re</strong>r, at (sin nx) ∞ n=1<br />

kun kan konverge<strong>re</strong> for x = pπ<br />

(p 2 Z) (<strong>og</strong> så trivielt mod 0).<br />

En umiddelbar konsekvens er, at rækken ∑n=0 ∞ sin nx kun er<br />

konvergent for x = pπ, p 2 Z.<br />

Antag nu, at cos nx ! y for n ! ∞.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 12 / 12


Bemærkning om cos(nx) <strong>og</strong> sin(nx)<br />

Antag dernæst, at sin nx ! y for n ! ∞.<br />

Men så fås sin ((n + 1) x) sin ((n 1) x) = 2 sin x cos nx ! 0 for<br />

n ! ∞.<br />

Heraf følger, at sin x = 0.<br />

Vi konklude<strong>re</strong>r, at (sin nx) ∞ n=1<br />

kun kan konverge<strong>re</strong> for x = pπ<br />

(p 2 Z) (<strong>og</strong> så trivielt mod 0).<br />

En umiddelbar konsekvens er, at rækken ∑n=0 ∞ sin nx kun er<br />

konvergent for x = pπ, p 2 Z.<br />

Antag nu, at cos nx ! y for n ! ∞.<br />

Så fås cos ((n 1) x) cos ((n + 1) x) = 2 sin x sin nx ! 0 for<br />

n ! ∞.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 12 / 12


Bemærkning om cos(nx) <strong>og</strong> sin(nx)<br />

Antag dernæst, at sin nx ! y for n ! ∞.<br />

Men så fås sin ((n + 1) x) sin ((n 1) x) = 2 sin x cos nx ! 0 for<br />

n ! ∞.<br />

Heraf følger, at sin x = 0.<br />

Vi konklude<strong>re</strong>r, at (sin nx) ∞ n=1<br />

kun kan konverge<strong>re</strong> for x = pπ<br />

(p 2 Z) (<strong>og</strong> så trivielt mod 0).<br />

En umiddelbar konsekvens er, at rækken ∑n=0 ∞ sin nx kun er<br />

konvergent for x = pπ, p 2 Z.<br />

Antag nu, at cos nx ! y for n ! ∞.<br />

Så fås cos ((n 1) x) cos ((n + 1) x) = 2 sin x sin nx ! 0 for<br />

n ! ∞.<br />

Men så følger først, at x = pπ (p 2 Z) <strong>og</strong> dernæst, at p må væ<strong>re</strong><br />

lige.<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 12 / 12


Bemærkning om cos(nx) <strong>og</strong> sin(nx)<br />

Antag dernæst, at sin nx ! y for n ! ∞.<br />

Men så fås sin ((n + 1) x) sin ((n 1) x) = 2 sin x cos nx ! 0 for<br />

n ! ∞.<br />

Heraf følger, at sin x = 0.<br />

Vi konklude<strong>re</strong>r, at (sin nx) ∞ n=1<br />

kun kan konverge<strong>re</strong> for x = pπ<br />

(p 2 Z) (<strong>og</strong> så trivielt mod 0).<br />

En umiddelbar konsekvens er, at rækken ∑n=0 ∞ sin nx kun er<br />

konvergent for x = pπ, p 2 Z.<br />

Antag nu, at cos nx ! y for n ! ∞.<br />

Så fås cos ((n 1) x) cos ((n + 1) x) = 2 sin x sin nx ! 0 for<br />

n ! ∞.<br />

Men så følger først, at x = pπ (p 2 Z) <strong>og</strong> dernæst, at p må væ<strong>re</strong><br />

lige.<br />

Vi konklude<strong>re</strong>r, at (cos nx) ∞ n=1<br />

kun kan konverge<strong>re</strong> for x = p2π<br />

(p 2 Z) (<strong>og</strong> så trivielt mod 1).<br />

P<strong>re</strong>ben Alsholm () 01037 23. oktober 2006 12 / 12

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!