18.09.2013 Views

Torsdagsøvelser - Matematik - Rasmus Sylvester Bryder

Torsdagsøvelser - Matematik - Rasmus Sylvester Bryder

Torsdagsøvelser - Matematik - Rasmus Sylvester Bryder

SHOW MORE
SHOW LESS

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|

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

Saved successfully!

Ooh no, something went wrong!