Signaler og Line_re Systemer
Signaler og Line_re Systemer
Signaler og Line_re Systemer
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