Torsdagsøvelser - Matematik - Rasmus Sylvester Bryder
Torsdagsøvelser - Matematik - Rasmus Sylvester Bryder
Torsdagsøvelser - Matematik - Rasmus Sylvester Bryder
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Analyse 1<br />
Øvelser<br />
<strong>Rasmus</strong> <strong>Sylvester</strong> <strong>Bryder</strong><br />
21. maj 2013<br />
JPS 7.18<br />
Lad f : R → R være den 2π-periodiske funktion defineret ved<br />
Vis, at<br />
Udled heraf, at<br />
f(t) = 4π2<br />
3<br />
f(t) =<br />
∞<br />
n=1<br />
+ 4<br />
t 2 for 0 < t < 2π<br />
2π 2 for t = 0.<br />
∞<br />
<br />
cos nt<br />
n2 <br />
sin nt<br />
− π , t ∈ R.<br />
n<br />
n=1<br />
1 π2<br />
=<br />
n2 6 ,<br />
∞ (−1) n+1<br />
n=1<br />
n 2<br />
= π2<br />
12 .<br />
Vi har først og fremmest, at f er stykvis differentiabel, normaliseret og 2π-periodisk, s˚a jf. JPS<br />
Sætning 3.5 vil Fourier-rækken for f konvergere med sumfunktion f. Det handler derfor om at finde<br />
Fourier-koefficienterne for f. Vi vil gerne benytte formlerne i (13). Bemærk, at vi kan ændre grænserne<br />
−π og π i integralerne til 0 og 2π jf. JPS Lemma 2.8. For n ∈ N vil<br />
og<br />
Dermed vil<br />
Endvidere vil<br />
2π<br />
<br />
1<br />
f(t) cos(nt)dt =<br />
0<br />
n t2 2π sin(nt)<br />
0 0<br />
= − 2<br />
−<br />
n<br />
t<br />
n cos(nt)<br />
2π 2π<br />
f(t) sin(nt)dt =<br />
0<br />
1<br />
2 a0(f) = 1<br />
2π<br />
n=1<br />
an(f) = 1<br />
π<br />
2π<br />
0<br />
= 2 2π<br />
n n<br />
<br />
− 1<br />
= − 4π2<br />
n<br />
= − 4π2<br />
n<br />
2π<br />
−<br />
0<br />
2<br />
t sin(nt)dt<br />
n<br />
+ 1<br />
n<br />
2<br />
4π<br />
− [sin(nt)]2π<br />
n2 0 =<br />
n2 n t2 2π cos(nt)<br />
+ 2<br />
n<br />
2π<br />
+<br />
<br />
2π<br />
cos(nt)dt<br />
2<br />
t cos(nt)dt<br />
0 0 n<br />
t<br />
n sin(nt)<br />
2π − 1<br />
<br />
2π<br />
sin(nt)dt<br />
n<br />
2<br />
− [− cos(nt)]2π<br />
n2 0 = −4π2<br />
n .<br />
4π 4<br />
=<br />
n2 n2 , bn(f) = − 1<br />
t 2 cos(0t)dt = 1<br />
2π<br />
2π<br />
0<br />
0<br />
π 4π2n = − 4π<br />
, n ∈ N.<br />
n<br />
t 2 dt = 1<br />
2π<br />
n=1<br />
t 3<br />
3<br />
0<br />
2π<br />
0<br />
0<br />
= 1 8π<br />
2π<br />
3 4π2<br />
=<br />
3 3 .<br />
Alts˚a er Fourier-rækken for f givet ved<br />
4π2 3 +<br />
∞<br />
<br />
4 4π<br />
cos(nt) −<br />
n2 n sin(nt)<br />
<br />
= 4π2<br />
∞<br />
<br />
cos(nt)<br />
+ 4<br />
3 n2 <br />
π sin(nt)<br />
− ,<br />
n<br />
1
og som sagt vil ovenst˚aende række konvergere med sumfunktion f; dermed det ønskede. Vi mangler<br />
kun at redegøre for formlerne. Undersøger vi f(0), har vi<br />
hvormed<br />
Undersøger vi derp˚a f(π), vil<br />
π 2 = f(π) = 4π2<br />
3<br />
Da cos(πn) = (−1) n for n ∈ N, vil<br />
JPS 7.19<br />
n=1<br />
2π 2 = f(0) = 4π2<br />
3<br />
∞<br />
n=1<br />
n=1<br />
+ 4<br />
∞<br />
n=1<br />
1<br />
,<br />
n2 <br />
1 1<br />
= 2π<br />
n2 4<br />
2 − 4π2<br />
<br />
=<br />
3<br />
π2<br />
6 .<br />
∞<br />
<br />
cos(πn)<br />
+ 4<br />
n2 <br />
π sin(πn)<br />
− =<br />
n<br />
4π2<br />
∞<br />
+ 4<br />
3<br />
∞ (−1) n+1<br />
n2 ∞<br />
= −<br />
n=1<br />
cos(πn)<br />
n 2<br />
n=1<br />
= − 1<br />
<br />
π<br />
4<br />
2 − 4π2<br />
<br />
=<br />
3<br />
π2<br />
12 .<br />
cos(πn)<br />
n2 .<br />
Vis ved brug af resultatet i JPS 7.18, at funktionen i Eksempel 3.6 opfylder Parsevals identitet.<br />
Hvorfor følger dette ikke af Sætning 2.9?<br />
f : R → R er den 2π-periodiske funktion givet p˚a [−π, π) givet ved<br />
<br />
1 for 0 ≤ x < π<br />
f(x) =<br />
0 for − π ≤ x < 0.<br />
|f| 2 = f er da stykvis kontinuert. Vi har nu, at<br />
M2π(f) = 1<br />
π<br />
f(x)dx =<br />
2π<br />
1<br />
π<br />
2π<br />
Fourier-koefficienterne for f for n ∈ Z \ {0} er givet ved<br />
cn(f) = 1<br />
π<br />
f(x)e<br />
2π −π<br />
−inx dx = 1<br />
π<br />
e<br />
2π 0<br />
−inx dx = 1<br />
2π<br />
= i<br />
2πn ((−1)n <br />
0 for n lige<br />
− 1) =<br />
for n ulige<br />
Endvidere vil<br />
Da cn(f) = 0 for alle lige n = 0, vil<br />
∞<br />
n=−∞<br />
|cn| 2 = 1<br />
4 +<br />
= 1<br />
4 +<br />
∞<br />
n=1<br />
∞<br />
(<br />
n=1<br />
− i<br />
πn<br />
−π<br />
c0(f) = 1<br />
2π<br />
π<br />
0<br />
0<br />
1dx = 1<br />
2 .<br />
(|c2n−1(f)| 2 + |c1−2n(f)| 2 )<br />
1<br />
1dx = 1<br />
2 .<br />
π2 1<br />
+<br />
(2n − 1) 2 π2 1<br />
) =<br />
(1 − 2n) 2<br />
<br />
i<br />
n einx<br />
π =<br />
0<br />
1<br />
<br />
i<br />
2π n (eiπn − e 0 <br />
)<br />
4 +<br />
∞<br />
n=1<br />
2<br />
π2 .<br />
(2n − 1) 2<br />
Vi ved ikke helt hvad sumudtrykket er lig, men vi kan hurtigt bikse noget sammen. Bemærk at for<br />
N ∈ N vil<br />
2N N<br />
N<br />
N N<br />
1 1<br />
1 1 1<br />
1<br />
= +<br />
= +<br />
,<br />
n2 (2n) 2 (2n − 1) 2 4 n2 (2n − 1) 2<br />
hvormed<br />
n=1<br />
N<br />
n=1<br />
n=1<br />
1<br />
=<br />
(2n − 1) 2<br />
n=1<br />
2N<br />
n=1<br />
1 1<br />
−<br />
n2 4<br />
2<br />
N<br />
n=1<br />
n=1<br />
n=1<br />
1 π2 π2 π2<br />
→ − =<br />
n2 6 24 8 .
Alts˚a vil ∞<br />
n=1<br />
∞<br />
n=−∞<br />
1<br />
(2n−1) 2 = π2<br />
8<br />
|cn| 2 = 1<br />
4 +<br />
∞<br />
n=1<br />
. Alts˚a vil<br />
Alts˚a er Parsevals identitet opfyldt.<br />
2<br />
π2 1 2<br />
= +<br />
(2n − 1) 2 4 π2 ∞<br />
n=1<br />
1 1 2<br />
= +<br />
(2n − 1) 2 4 π2 π2 1 1 1<br />
= + =<br />
8 4 4 2 .<br />
For at indse, hvorfor Sætning 2.9 kan ikke bruges, bemærker vi, at vi i Eksempel 3.6 f˚ar vist, at sumfunktionen<br />
for Fourier-rækken ikke er kontinuert, hvormed Fourier-rækken ikke konvergerer uniformt.<br />
JPS 7.20<br />
(Denne opgave er grundlæggende blevet TEX’et af Andreas Midjord, med egne omskrivninger. Tusind<br />
tak.)<br />
Lad ˜ f : [0, 2π) → R være givet ved<br />
˜f(t) =<br />
t 4 , t ∈ (0, 2π)<br />
8π 4 , t = 2π<br />
og lad f være den 2π-periodiske udvidelse af ˜ f. Vis, at<br />
f(t) = 16π4<br />
5<br />
og benyt dette til at vise<br />
∞<br />
n=1<br />
+ 16<br />
∞<br />
2 2π<br />
n=1<br />
1 π4<br />
=<br />
n4 90 ,<br />
3<br />
−<br />
n2 n4 ∞ (−1) n+1<br />
n=1<br />
n 4<br />
<br />
<br />
3 π2<br />
cos(nt) + π − sin(nt) ,<br />
n3 n<br />
= 7π4 <br />
, og<br />
720<br />
n ulige<br />
1 π4<br />
=<br />
n4 96<br />
Som i Opgave 7.18 bemærker vi at f er en stykvis differentiabel, normaliseret og 2π-periodisk funktion,<br />
s˚a fra JPS Sætning 3.5 har vi at f er sumfunktionen for sin egen Fourier-række, alts˚a:<br />
f(t) = 1<br />
2 a0(f) +<br />
∞<br />
(an(f) cos(nt) + bn(f) sin(nt)).<br />
n=1<br />
Vi beregner alts˚a nu ved hjælp af JPS Lemma 2.8 disse koefficienter (vi kan dermed rykke grænserne<br />
til vores fordel som i Opgave 7.18). For n ∈ N haves<br />
an(f) = 1<br />
π<br />
f(t) cos(nt)dt<br />
π<br />
= 1<br />
π<br />
= 1<br />
π<br />
= − 1<br />
π<br />
−π<br />
2π<br />
t 4 cos(nt)dt<br />
0<br />
<br />
4 1<br />
t<br />
n sin(nt)<br />
2π −<br />
0<br />
1<br />
2π<br />
3 1<br />
4t<br />
π 0 n sin(nt)dt<br />
<br />
2π 3 −1<br />
4t cos(nt) +<br />
n2 0<br />
1<br />
2π<br />
2 −1<br />
12t cos(nt)dt<br />
π 0 n2 2π<br />
t 2 cos(nt)dt<br />
= 4<br />
πn 2 (2π)3 cos(2πn) − 12<br />
πn 2<br />
= 32π2 12<br />
−<br />
n2 πn2 4π<br />
n2 = 32π2<br />
n<br />
48<br />
− ,<br />
2 n4 3<br />
0
samt<br />
Endelig vil<br />
bn(f) = 1<br />
π<br />
f(t) sin(nt)dt<br />
π −π<br />
= 1<br />
2π<br />
t<br />
π 0<br />
4 sin(nt)dt<br />
= 1<br />
<br />
4 1<br />
−t<br />
π n cos(nt)<br />
2π +<br />
0<br />
1<br />
2π<br />
3 1<br />
4t<br />
π 0 n cos(nt)dt<br />
= − 1<br />
<br />
4 1<br />
t<br />
π n cos(nt)<br />
2π +<br />
0<br />
1<br />
2π <br />
2π<br />
3 1<br />
2 1<br />
4t sin(nt) − 12t sin(nt)dt<br />
π n2 0 0 n2 = − 1 4 2π 12<br />
t cos(nt) −<br />
πn<br />
0 πn2 2π<br />
t<br />
0<br />
2 sin(nt)dt<br />
= 1<br />
πn (2π)4 cos(2πn) − 12<br />
πn2 <br />
− 4π2<br />
<br />
n<br />
= 16π3<br />
n<br />
48π<br />
+ .<br />
n3 1<br />
2 a0(f) = 1<br />
π<br />
f(t)dt =<br />
2π −π<br />
1<br />
2π<br />
Indsætter vi dette i Fourierrækken, f˚ar vi da<br />
f(t) = 1<br />
2 a0(f) +<br />
= 16π4<br />
5 +<br />
= 16π4<br />
5<br />
2π<br />
∞<br />
(an(f) cos(nt) + bn(f) sin(nt))<br />
n=1<br />
n=1<br />
0<br />
t 4 dt = 1<br />
<br />
1<br />
2π 5 t5<br />
2π =<br />
0<br />
16π4<br />
5 .<br />
∞<br />
2 32π 48<br />
−<br />
n2 n<br />
n=1<br />
4<br />
3 16π 48π<br />
cos(nt) + +<br />
n n3 <br />
sin(nt)<br />
∞<br />
2 2π 3<br />
+ 16<br />
−<br />
n2 n4 <br />
<br />
3 π2<br />
cos(nt) + π − sin(nt) ,<br />
n3 n<br />
som ønsket. For at vise den første af de givne identiteter bruger vi igen t = 2π og ser<br />
og alts˚a er<br />
8π 4 = f(2π)<br />
= 16π4<br />
∞<br />
2 2π 3<br />
+ 16 −<br />
5 n2 n<br />
n=1<br />
4<br />
<br />
= 16π4<br />
∞<br />
∞ 1 1<br />
+ 32π2 − 48<br />
5 n2 n<br />
n=1<br />
n=1<br />
4<br />
= 16π4<br />
∞<br />
32π4 1<br />
+ − 48<br />
5 6 n4 ∞<br />
n=1<br />
4<br />
1 1 16π<br />
=<br />
n4 48 5<br />
n=1<br />
<br />
32π4<br />
+ − 8π4<br />
6<br />
= 1<br />
<br />
4 90 16π 32π4<br />
· + − 8π4<br />
90 48 5 6<br />
= 1<br />
90<br />
6π 4 + 10π 4 − 15π 4 = π4<br />
90<br />
4
I den anden identitet indsætter vi t = π og f˚ar dermed<br />
og alts˚a er<br />
Til sidst har vi nu<br />
π 4 = f(π)<br />
= 16π4<br />
5<br />
= 16π4<br />
5<br />
= 16π4<br />
5<br />
= 16π4<br />
5<br />
∞<br />
n 2π2<br />
3<br />
+ 16 (−1) + (−1)n+1<br />
n2 n<br />
n=1<br />
4<br />
∞<br />
∞<br />
n+1 2π2<br />
n+1 3<br />
− 16 (−1) + 16 (−1)<br />
n2 n<br />
n=1<br />
n=1<br />
4<br />
∞ (−1)<br />
− 162π4 + 48<br />
12<br />
n=1<br />
n+1<br />
n4 ∞<br />
8π4 (−1)<br />
− + 48<br />
3 n+1<br />
n4 n=1<br />
∞ (−1)<br />
n=1<br />
n+1<br />
n4 = 1<br />
<br />
π<br />
48<br />
4 + 8π4<br />
<br />
16π4<br />
−<br />
3 5<br />
= 1<br />
<br />
4 π (15 + 40 − 48<br />
=<br />
48 15<br />
7π4<br />
720 .<br />
<br />
n ulige<br />
1<br />
=<br />
n4 =<br />
∞<br />
n=1<br />
∞<br />
n=1<br />
1 <br />
−<br />
n4 n lige<br />
1 1<br />
−<br />
n4 16<br />
1<br />
=<br />
n4 ∞<br />
n=1<br />
∞<br />
n=1<br />
= 15π4 π4 π4<br />
= =<br />
90 · 16 6 · 16 96 ,<br />
hvorp˚a vi er færdige. Jesus. (Tak igen, Midjord.)<br />
JPS 7.24<br />
1<br />
−<br />
n4 ∞<br />
n=1<br />
1 π4 π4<br />
= −<br />
n4 90 90 · 16<br />
1<br />
(2n) 4<br />
Bestem Fourier-rækken for funktionen f(x) = x, x ∈ [−π, π). Vis, at den konvergerer punktvist, men<br />
ikke uniformt p˚a [−π, π), og find dens sum.<br />
P˚a den igen: vi bestemmer Fourier-koefficienterne, da f er stykvist kontinuert og 2π-periodisk (n˚ar<br />
vi udvider til R). For n ∈ Z \ {0} vil<br />
cn(f) = 1<br />
π<br />
f(x)e<br />
2π −π<br />
−inx dx<br />
= 1<br />
π<br />
xe<br />
2π −π<br />
−inx dx<br />
= 1<br />
<br />
i<br />
2π n xe−inx<br />
π − i<br />
π<br />
e<br />
2πn<br />
−inx dx<br />
= i<br />
2πn<br />
−π<br />
−inπ inπ<br />
πe + πe <br />
= i<br />
2n ((−1)n + (−1) n )<br />
= (−1)ni ,<br />
n<br />
idet π<br />
−π e−inx dx = 0 for n = 0 og e iπ = e −iπ = −1. Endvidere vil<br />
c0(f) = 1<br />
2π<br />
π<br />
−π<br />
f(x)dx = 1<br />
2π<br />
5<br />
x 2<br />
2<br />
−π<br />
π<br />
−π<br />
= 0.
Alts˚a er Fourier-rækken givet ved<br />
∞<br />
n (−1) i<br />
n=1<br />
n<br />
e inx + (−1)−ni e<br />
−n<br />
−inx<br />
<br />
.<br />
Eftersom f er stykvis differentiabel, 2π-periodisk, vil Fourier-rækken konvergere imod f’s normaliserede<br />
punktvist jf. JPS Sætning 3.5. Sumfunktionen m˚a derfor være denne. Hvis Fourier-rækken<br />
konvergerede uniformt imod f, ville den normaliserede være kontinuert, men det er den ikke (den er<br />
lig 0 i −π og tæt p˚a −π for x tæt p˚a −π).<br />
Ekstraopgave 2<br />
(a)<br />
Vis, at den trigonometriske række ∞<br />
n=0 3−n sin(nx) er uniformt konvergent p˚a R og at sumfunktionen<br />
f er en ulige, 2π-periodisk, kontinuert funktion.<br />
Eftersom |3 −n sin(nx)| ≤ 3 −n for alle n ∈ N0 og ∞<br />
n=0 3−n konvergerer da |3 −1 | < 1, følger uniform<br />
konvergens af JPS Sætning 2.4, hvormed vi har jf. JPS Sætning 2.9, at sumfunktionen f er 2πperiodisk<br />
og kontinuert. Eftersom sin(−nx) = − sin(nx) for alle n ∈ N0 og x ∈ R da sin er ulige,<br />
vil<br />
∞<br />
f(−x) = 3 −n ∞<br />
sin(−nx) = (−3 −n ∞<br />
sin(nx)) = − 3 −n sin(nx) = −f(x)<br />
n=0<br />
n=0<br />
n=0<br />
for alle x ∈ R, idet rækken er konvergent p˚a hele R. Alts˚a er f ulige.<br />
(b)<br />
Vis, at sumfunktionen fra (a) er givet ved<br />
ved at benytte Eulers formel.<br />
f(x) =<br />
3 sin x<br />
10 − 6 cos x<br />
Bemærk først, at sin(nx) = 1<br />
2i (einx − e −inx ) for alle n ∈ N0 og x ∈ R. Dermed vil<br />
f(x) =<br />
∞ 3−n n=0<br />
= 1<br />
2i<br />
= 1<br />
2i<br />
= 1<br />
2i<br />
= 1<br />
2i<br />
2i (einx − e −inx )<br />
∞<br />
n=0<br />
∞<br />
<br />
= 1<br />
2i ·<br />
= 3 · 1<br />
=<br />
n=0<br />
3 −n e inx −<br />
<br />
1<br />
3 eix<br />
n −<br />
∞<br />
n=0<br />
3 −n e −inx<br />
<br />
∞<br />
<br />
1<br />
3 e−ix<br />
<br />
n<br />
<br />
n=0<br />
1<br />
1 − 1<br />
1<br />
−<br />
3eix 1 − 1<br />
3e−ix · (1 − 1<br />
3 e−ix ) − (1 − 1<br />
3 eix )<br />
(1 − 1<br />
3eix )(1 − 1<br />
3e−ix )<br />
1<br />
3eix − 1<br />
3e−ix 1 − 1<br />
3eix − 1<br />
3e−ix + 1<br />
9<br />
2i (eix − e −ix )<br />
10 − 6 · 1<br />
2 (eix + e −ix )<br />
3 sin x<br />
10 − 6 cos x ,<br />
hvor vi undervejs benytter at alle rækkerne her er konvergente.<br />
6
(c)<br />
Vis, at hvis f er sumfunktionen fra (a), da er<br />
π<br />
1<br />
|f(x)|<br />
2π −π<br />
2 dx = 1<br />
16 .<br />
Jf. a) kan vi benytte Parsevals identitet fra JPS Sætning 2.9. Bemærk først at den oprindelige række<br />
kunne skrives<br />
∞<br />
∞<br />
n=0<br />
3 −n<br />
2i (einx − e −inx ) = c0 +<br />
hvor c0 = 0, samt cn = 3−n<br />
2i for alle n > 0 og cn = − 3n<br />
2i<br />
∞<br />
n=−∞<br />
hvorp˚a det ønskede følger af Parsevals identitet. Da<br />
∞<br />
n=−∞<br />
|cn| 2 = |c0| 2 +<br />
=<br />
=<br />
=<br />
n=0<br />
|cn| 2 = 1<br />
16 ,<br />
∞<br />
n=1<br />
∞<br />
−2n 3<br />
n=1<br />
∞<br />
n=1<br />
1<br />
2<br />
1 − 1<br />
9<br />
hvor rækkerne undervejs igen alle er konvergente.<br />
(d)<br />
4<br />
(3 −2 ) n<br />
2<br />
(cne inx + c−ne −inx ),<br />
for n < 0. Vi skal alts˚a vise, at<br />
(|cn| 2 + |c−n| 2 )<br />
<br />
3−2n<br />
+<br />
4<br />
− 1 9 8 1<br />
= − =<br />
2 16 16 16 ,<br />
Lad igen f være sumfunktionen fra (a). Argumentér for, at f er kontinuert differentiabel og bestem<br />
for alle n ∈ Z tallet<br />
π<br />
1<br />
f<br />
2π<br />
′ (x)e −inx dx.<br />
−π<br />
Vi kan se, at f er kontinuert differentiabel ved enten at se p˚a den som skrevet i b), eller ved at<br />
bemærke at ∞<br />
n=0 n3−n er konvergent, hvormed vi kan bruge Sætning 2 fra Øvelsesnoten fra uge 4.<br />
f ′ er kontinuert og 2π-periodisk, s˚a f er specielt stykvis C 1 , hvormed JPS Lemma 4.2 giver os, at<br />
for alle n ∈ Z.<br />
π<br />
1<br />
f<br />
2π −π<br />
′ (x)e −inx dx = cn(f ′ ) = incn(f) =<br />
7<br />
⎧<br />
⎨<br />
⎩<br />
n3 −n<br />
2<br />
−n3 n<br />
2<br />
for n > 0<br />
for n < 0<br />
0 for n = 0.<br />
= |n|<br />
2 3−|n|