Studijní text - MATEMATIKA online

4. Fourierovy řady
Studijní text
4. Fourierovy řady
A. Základní pojmy
Při řešení technických úloh se často setkáváme s periodickými funkcemi. Nejjednodušším netriviálním příkladem periodických funkcí jsou základní goniometrické funkce sinus a kosinus. Lze proto očekávat, že periodická
funkce se dá aproximovat buď lineární kombinací konečného počtu goniometrických funkcí, nebo přímo nekonečnou funkční řadou, jejíž členy jsou goniometrické funkce.
V dalších úvahách se omezíme na periodické funkce s periodou 2π (zobecnění na případ funkcí s libovolnou
periodou je snadné, a bude naznačeno v závěru kapitoly). Protože základními goniometrickými funkcemi s
touto periodou jsou funkce cos kx, sin kx, kde k je přirozené číslo, uvedeme nejprve následující pojmy.
Definice 4.1. (Trigonometrická řada a polynom) Trigonometrickou řadou rozumíme nekonečnou
funkční řadu
∞
a0 X
a0
+
+ a1 cos x + b1 sin x + a2 cos 2x + b2 sin 2x + . . . ,
(ak cos kx + bk sin kx) =
2
2
(4.1)
k=1
kde ak , bk jsou konstanty. Přitom n-tý částečný součet řady (4.1)
n
Sn (x) =
a0
a0 X
+
(ak cos kx + bk sin kx) =
+ a1 cos x + b1 sin x + · · · + an cos nx + bn sin nx
2
2
k=1
se nazývá trigonometrický polynom stupně n.
Poznamenejme, že „nultýÿ člen této řady a0 cos 0x + b0 sin 0x = a0 je zaveden v obvyklejším tvaru a0 /2
(početní důvod této formální změny bude uveden později).
Definice 4.2. Dá-li se nějaká funkce f (x) vyjádřit trigonometrickou řadou (4.1), takže platí
∞
f (x) =
a0 X
+
(ak cos kx + bk sin kx),
2
(4.2)
k=1
kde ak , bk jsou vhodné konstanty, říkáme, že jsme funkci f (x) rozvinuli v trigonometrickou řadu.
Poznámka 4.3. Neperiodické funkce lze rozvinout v trigonometrickou řadu (4.1) pouze v nějakém intervalu
délky 2π. Mimo tento interval nabývá totiž funkce definovaná řadou (4.1) hodnot periodicky se opakujících,
což u neperiodické funkce není.
Předmětem této kapitoly bude zejména posouzení některých základních otázek, které s aproximací pomocí
trigonometrických řad souvisejí (např. výpočet koeficientů ak , bk , problém konvergence výše uvedené řady k
dané funkci f (x) apod.)
Ortogonalita trigonometrického systému. Ukazuje se, že při výpočtu koeficientů ak , bk a obecně v
úvahách o aproximaci trigonometrickými řadami je zásadní vlastností tzv. ortogonalita (kolmost) systému
funkcí {cos kx, sin kx}. Zaveďme proto následující pojmy.
Definice 4.4. Řekneme, že funkce f (x) je v intervalu a, b integrovatelná s kvadrátem (s druhou mocninnou), jestliže integrál
Z b
f 2 (x) dx
a
existuje a má konečnou hodnotu.
Snadno prověříme, že tuto vlastnost má např. každá funkce spojitá nebo
alespoň po částech spojitá v a, b .
ÚM FSI VUT v Brně
22
4. Fourierovy řady
Studijní text
Definice 4.5. Nechť f (x), g(x) jsou funkce integrovatelné s kvadrátem v a, b . Pak výraz
Z
b
f (x)g(x) dx,
a
nazýváme skalárním součinem funkcí f (x), g(x) v intervalu a, b . Je-li uvedená hodnota skalárního součinu
nulová, tj.
Z b
f (x)g(x) dx = 0,
a
pak funkce f (x), g(x) nazveme ortogonální v a, b .
Poznámka 4.6. a) Platí: jestliže funkce f je integrovatelná s kvadrátem v intervalu ha, bi, potom je také
Rb
Rb
absolutně integrovatelná, tj. a |f (x)| dx < ∞ a integrovatelná,
tj. a f (x) dx < ∞.
b) Jsou-li funkce f a g integrovatelné s kvadrátem v a, b , potom součin těchto funkcí je integrovatelný
v témže intervalu, tj. skalární součin je konečný.
Definice 4.7. Nechť funkce f je integrovatelná s kvadrátem. Nezáporné číslo
s
Z b
kf k =
f 2 (x) dx
a
nazýváme normou funkce f na intervalu a, b .
Definice 4.8. Nechť
je dán (konečný nebo nekonečný) systém funkcí ϕ1 (x), ϕ2 (x), . . . ,
ϕn (x),
. . . , které
jsou v intervalu a, b integrovatelné s kvadrátem. Říkáme, že tyto funkce tvoří v intervalu a, b ortogonální
systém, jsou-li každé dvě různé funkce tohoto systému ortogonální, tj. platí
Z
b
ϕi (x)ϕj (x) dx = 0 ,
i 6= j,
a
Obvykle přitom předpokládáme
kϕi k2 =
Z
b
[ϕi (x)]2 dx 6= 0,
i = 1, 2, . . . ,
a
tj. do ortogonálního systému nezahrnujeme funkce nulové nebo skoro všude nulové.
Věta 4.9. (Nekonečný) trigonometrický systém funkcí
{1, sin x, cos x, sin 2x, cos 2x, . . . , sin nx, cos nx, . . . }
je ortogonální v libovolném intervalu délky 2π, tj. v intervalu c, c + 2π .
Ortogonalita tohoto systému se dokáže počtářským ověřením příslušných vzorců (pro každé dvě různé funkce
R c+2π
f (x), g(x) z tohoto systému musí platit c
f (x)g(x) dx = 0, kde c je libovolné reálné číslo). Snadno lze
spočítat, že
√
√
√
k1k = 2π , k cos kxk = π , k sin kxk = π .
Dvojnásobek (a tedy určitá asymetrie) u funkce ϕ0 (x) = 1 je důvodem, proč ve vztahu (4.1) vystupuje nultý
člen ve tvaru a0 /2.
Poznamenejme, že v množině všech integrovatelných funkcí s kvadrátem existují i jiné (nekonečné) ortogonální systémy než systém trigonometrický!
ÚM FSI VUT v Brně
23
4. Fourierovy řady
Studijní text
Poznámka 4.10. Princip rozvoje funkcí do Fourierových řad je následovný: předpokládejme, že funkci f
lze vyjádřitPjako lineární kombinaci (nekonečného) ortogonálního systému {ϕk } na nějakém intervalu ha; bi,
∞
tj. f (x) = k=1 ck ϕk (x). Násobme nyní rovnost funkcí ϕm a integrujme na intervalu ha; bi, tj.
!
Z b
Z b X
∞
f (x)ϕm (x) dx =
ck ϕk (x)ϕm (x) dx .
a
a
k=1
P∞
Předpokládejme dále, že řada
k=1 ck ϕk (x) konverguje stejnoměrně k f (x) na ha; bi. Potom je možné
zaměnit znak sumace a integrace, tj.
Z
b
f (x)ϕm (x) dx =
a
∞ Z
X
k=1
b
ck ϕk (x)ϕm (x) dx .
a
Protože funkce ϕk jsou ortogonální, dostáváme
Z
b
f (x)ϕk (x) dx = ck
a
b
Z
ϕ2k (x) dx ⇒ ck =
a
1
kϕk k2
Z
b
f (x)ϕk (x) dx .
a
Koeficienty ck se nazývají Fourierovy koeficienty.
Na základě ortogonality trigonometrického systému funkcí v libovolném intervalu délky 2π a této poznámky lze odvodit následující větu, podle které se určí hodnoty koeficientů ak , bk ve vyjádření (4.2).
Věta 4.11. (Určení koeficientů
ak , bk) Konverguje-li trigonometrická řada (4.1) stejnoměrně k integrovatelné funkci f (x) v intervalu c, c + 2π , potom platí
1
a0 =
π
c+2π
Z
f (x) dx ,
c
1
ak =
π
c+2π
Z
f (x) cos kx dx ,
c
1
bk =
π
c+2π
Z
f (x) sin kx dx ,
k = 1, 2, . . . .
(4.3)
c
Definice 4.12. (Fourierova řada) Nechť funkce f (x) je integrovatelná v intervalu c, c + 2π . Pak
trigonometrickou řadu
∞
a0 X
(ak cos kx + bk sin kx),
(4.4)
+
2
k=1
kde
ak , bk jsou vyjádřeny vztahy (4.3), nazýváme Fourierovou řadou funkce f (x) v intervalu
koeficienty
c, c + 2π a značíme ji symbolem Φf . Píšeme přitom
f ∼ Φf .
(4.5)
Zápis (4.5) označuje, že funkční řada Φf patří k funkci f (x). Pokud řada Φf konverguje k funkci f (x),
potom píšeme f (x) = Φf (x)
Poznámka 4.13. Přiřazení Fourierovy řady Φf k dané funkci f (x) vyjádřené vztahem (4.5) je prozatím
formální. Připomeňme, že vzorce pro koeficienty ak , bk byly odvozeny za předpokladu stejnoměrné konvergence této řady. Dosud však nevíme, zda uvedená řada vůbec konverguje (příp. jaký je její součet). Lze
nicméně ukázat, že mezi všemi trigonometrickými polynomy (4.2) danou funkci aproximuje v jistém smyslu
nejlépe ten polynom, jehož koeficienty jsou dány právě vztahy (4.3); tento „nejlepšíÿ polynom je tedy právě
částečný součet Fourierovy řady.
ÚM FSI VUT v Brně
24
4. Fourierovy řady
Studijní text
B. Bodová a stejnoměrná konvergence Fourierovy řady
V tomto oddíle uvedeme podmínky, při jejichž splnění je součet Fourierovy řady funkce f (x) roven f (x), příp.
podmínky zaručující stejnoměrnou konvergenci této řady.
Funkci f (x) nazveme po částech spojitou na intervalu a, b , má-li na tomto intervalu konečný počet bodů
nespojitosti, přičemž všechny tyto body jsou body nespojitosti prvního druhu (tj. existují zde konečné a
různé jednostranné limity).
Věta 4.14. (Dirichletova) Nechť f (x) je periodická
funkce s periodou 2π, tj. f (x + 2π) = f (x) pro
všechna x ∈ (−∞, ∞), a nechť f (x) je v intervalu − π, π po částech spojitá a má zde po částech spojitou
derivaci. Pak její Fourierova řada Φf konverguje v každém bodě x ∈ (−∞, ∞) k aritmetickému průměru
limity zprava a limity zleva funkce f (x), takže platí:
(1) Φf (x) = f (x) v každém bodě x ∈ (−∞, ∞), v němž je f (x) spojitá;
(2) Φf (x) = 12 [limx→x0 − f (x) + limx→x0 + f (x)] v každém bodě x0 ∈ (−∞, ∞), v němž je f (x) nespojitá.
Poznámka 4.15. (O konvergenci
rozvoje neperiodické funkce) Předpokládejme, že f (x) je po
částech spojitá na intervalu − π, π a má zde po částech spojitou derivaci (nepožadujeme tedy, aby f (x)
byla periodická s periodou 2π; nemusí tedy ani platit f (−π) = f (π)). Pak se tvrzení Dirichletovy věty
změní takto:
(1) Φf (x) = f (x) v každém bodě x ∈ (−π, π), v němž je f (x) spojitá;
(2) Φf (x) = 21 [limx→x0 − f (x) + limx→x0 + f (x)] v každém bodě x ∈ (−π, π), v němž je f (x) nespojitá;
(3) Φf (−π) = Φf (π) = 12 [limx→−π+ f (x) + limx→π− f (x)] .
Vlastnosti (1) – (3) tedy udávají, k jaké funkci konverguje Fourierova řada Φf na uzavřeném intervalu −π, π .
Na intervalu (−∞, ∞) pak zřejmě Φf konverguje k tzv. 2π-periodickému rozšíření této funkce.
Příklad 4.16. Stanovme Fourierovu řadu funkce f (x) = x v intervalu (−π, π) a ukažme, k jaké funkci tato
řada konverguje na (−∞, ∞).
Řešení. Podle vzorců (4.3) je:
π
1 x2
x dx =
= 0 ⇒ a0 = 0 ,
π 2 −π
−π
π
Z
Z
1 π
1 x sin kx
1 π sin kx
ak =
x cos kx dx =
−
dx = 0 ⇒ ak = 0 ,
π −π
π
k
π −π k
−π
π
Z
Z
1 π
x cos kx
1
1 π cos kx
bk =
x sin kx dx =
−
+
dx =
π −π
π
k
π −π k
−π
2π cos kπ
2π
2
=−
= (−1)k+1
⇒ bk = (−1)k+1 .
kπ
kπ
k
1
a0 =
π
Z
π
Tedy
1
1
x ∼ 2 sin x − sin 2x + sin 3x − . . . ≡ Φf .
(4.6)
2
3
Stanovili jsme tedy hodnotu součtu Fourierovy řady Φf funkce f (x) = x v intervalu (−π, π). K určení hodnoty
součtu dané řady v krajních bodech x = ±π lze postupovat buďto podle vztahu (3) uvedeného v poznámce
za Jordanovou větou, nebo přímým dosazením těchto krajních bodů do vyjádření (4.6). V obou případech
ihned dostáváme, že hodnota součtu řady je pro x = ±π nulová.
K posouzení konvergence řady (4.6) k funkci f (x) = x stačí ověřit platnost předpokladů poznámky za
Dirichletovou větou (neboť f (x) = x není periodická). Vzhledem ke spojitosti funkce f (x) platí
x=2
∞
X
(−1)k+1
k=1
ÚM FSI VUT v Brně
k
1
1
sin kx = 2 sin x − sin 2x + sin 3x − . . . ,
2
3
(4.7)
25
4. Fourierovy řady
Studijní text
kde x ∈ (−π, π), a pro tato x tedy konverguje daná řada k funkci f (x) = x.
Součet této řady na (−∞, ∞) je pak určen 2π-periodickým rozšířením z intervalu − π, π . Graf tohoto
rozšíření (a tedy i graf součtu příslušné Fourierovy řady Φf ) na intervalu (−∞, ∞) je zachycen na obr. 4.1.
y
π
π
−π
−3π
3π x
−π
Obr. 4.1: Součtová funkce
Na závěr tohoto příkladu ještě graficky ilustrujme konvergenci Fourierovy řady ke svému součtu. Místo
dané nekonečné řady uvažujme pouze její n-tý částečný součet sn (x) (uvažujeme tedy prvních n členů této
řady představujících trigonometrický polynom stupně n). Pro různé hodnoty n (n = 1, 2, 3, 4, 50) pak dostáváme následující grafická vyjádření:
y
π
s1
−3π
−2π
s3
s2
s4
π
−π
2π
3π x
2π
3π x
−π
y
π
s50
−3π
−2π
π
−π
−π
Obr. 4.2: Graf vybraných částečných součtů
Z obr. 4.2 je dobře vidět, že je-li částečný součet této řady vyššího stupně, začínají se příslušné funkce v
bodech x = (2k + 1)π „trhatÿ a grafy těchto částečných součtů se vskutku blíží k nespojité součtové funkci
znázorněné na obr. 1.
Nyní se budeme zabývat otázkou, kdy Fourierova řada funkce f (x) konverguje stejnoměrně na − π, π .
Především zdůrazněme, že stejnoměrnou konvergenci lze očekávat pouze u Fourierových řad spojitých funkcí
(členy této řady jsou totiž spojité funkce sin kx, cos kx, jejichž součtem musí být v případě stejnoměrné
konvergence opět spojitá funkce).
Věta 4.17. (Jordanovo kritérium
stejnoměrné
konvergence) Nechť f (x) je periodická funkce s pe
riodou 2π, která je na intervalu − π, π spojitá a má po částech spojitou derivaci. Potom Fourierova řada
Φf konverguje k funkci f (x) stejnoměrně pro všechna x ∈ (−∞, ∞).
Poznámka 4.18. (O stejnoměrné konvergenci rozvoje neperiodické funkce) Není-li f (x) periodická, avšak splňuje oba zbývající předpoklady předcházející
věty,
pak lze dokázat stejnoměrnou konvergenci
Fourierovy řady Φf k funkci f (x) na libovolném intervalu a,
b ⊂ (−π,
π). Je-li navíc f (−π) = f (π), pak
stejnoměrná konvergence Φf k f (x) platí přímo na intervalu − π, π .
ÚM FSI VUT v Brně
26
4. Fourierovy řady
Studijní text
Poznámka 4.19. (O sudé a liché funkci) Vraťme se ještě jednou k výpočtu Fourierových koeficientů
ak , bk ve výše uvedeném příkladu. Skutečnost, že hodnoty koeficientů ak jsou pro všechna přirozená k
nulové, totiž není náhodná. Lze snadno zjistit, že se jedná o důsledek lichosti funkce f (x) na intervalu
(−π, π). Tento poznatek nyní zobecníme do následujícího tvrzení:
Nechť funkce f (x) je na (−π, π) integrovatelná. Je-li zde f (x) sudá, tj.
f (−x) = f (x)
pro všechna x ∈ (−π, π),
potom příslušná Fourierova řada je kosinová, takže
bk = 0
(k = 1, 2, . . . ),
Z
Z
2 π
1 π
f (x) cos kx dx =
f (x) cos kx dx
ak =
π −π
π 0
(k = 0, 1, 2, . . . ).
Je-li f (x) na tomto intervalu lichá, tj.
f (−x) = −f (x)
pro všechna x ∈ (−π, π),
potom příslušná Fourierova řada je sinová, takže
ak = 0
(k = 0, 1, 2, . . . ),
Z
1 π
2 π
bk =
f (x) sin kx dx =
f (x) sin kx dx (k = 1, 2, . . . ).
π −π
π 0
Z
Sinová a kosinová řada. Nechť funkce f (x) je definována na intervalu (0, π). V některých úlohách
požadujeme, aby příslušná Fourierova řada byla pouze sinová řada, resp. pouze kosinová řada. Z předcházející poznámky plyne, že k tomuto účelu je třeba dodefinovat funkci f (x) na interval (−π, 0) jako funkci lichou,
resp. sudou, a poté sestrojit příslušnou Fourierovu řadu.
Příklad 4.20. Vyjádřeme funkci f (x) = cos x, x ∈ (0, π) jako součet sinové a kosinové Fourierovy řady.
Řešení. a) Uvažujme nejprve řadu kosinovou. Danou funkci dodefinujeme jako funkci sudou, tj. pro x ∈ (−π, 0)
klademe f (x) = f (−x) = cos(−x) = cos x. Potom dostáváme bk = 0 pro k = 1, 2, . . . a
Z
2 π
a0 =
cos x dx = 0 ,
π 0
Z π
Z
2
1 π
ak =
cos x cos kx dx =
(cos(k + 1)x + cos(k − 1)x) dx =
π 0
π 0
π
1 sin(k + 1)x sin(k − 1)x
=
+
= 0,
k 6= 1 ,
π
k+1
k−1
0
Z π
Z π
2
1
a1 =
cos2 x dx =
(1 + cos 2x) dx = 1.
π 0
π 0
Odtud dostáváme vyjádření
cos x = cos x,
x ∈ (0, π).
Fourierova řada tedy má jediný nenulový člen shodný s původní funkcí.
b) Nyní uvažujme řadu sinovou. Funkci f (x) dodefinujeme jako funkci lichou, tj. pro x ∈ (−π, 0) platí
f (x) = −f (−x) = − cos(−x) = − cos x. Pak dostáváme ak = 0 pro k = 0, 1, 2, . . . a
2
bk =
π
π
Z
1 π
1
cos(k + 1)x cos(k − 1)x
cos x sin kx dx =
(sin(k + 1)x + sin(k − 1)x) dx =
−
−
=
π 0
π
k+1
k−1
0
0
(
π
0,
pro k lichá, k 6= 1 ,
1 (−1)k + 1 (−1)k + 1
2k[(−1)k + 1]
=
+
=
=
4k
2 − 1)
π
k+1
k−1
π(k
,
pro
k sudá ;
0
π(k2 −1)
Z
π
ÚM FSI VUT v Brně
27
4. Fourierovy řady
Studijní text
2
b1 =
π
π
Z
0
Platí tedy
cos x =
Z
1
cos x sin x dx =
π
∞
X
k=1
π
sin 2x dx = 0.
0
8k
sin 2kx,
π(4k 2 − 1)
x ∈ (0, π).
Poznámka 4.21. (Fourierova řada v obecném případě) Na závěr této kapitoly si ukážeme, jak lze
výše odvozené výsledky snadno využít k nalezení Fourierových řad funkcí s obecnou periodou 2l. Budeme
tedy dále uvažovat periodické
funkce
f (x) s periodou 2l, případně funkce definované na obecném intervalu
délky 2l, tj. na intervalu c, c + 2l . Pak obecněji platí, že nekonečný systém funkcí
πx
2πx
2πx
nπx
nπx
πx
, cos
, sin
, cos
, . . . , sin
, cos
, ...
l
l
l
l
l
l
je ortogonální v libovolném intervalu c, c + 2l délky 2l. Příslušná Fourierova řada pak má tvar
1, sin
f (x) ∼
∞ a0 X
kπx
kπx
+
+ bk sin
,
ak cos
2
l
l
k=1
kde funkce f (x) je integrovatelná na c, c + 2l . Pro Fourierovy koeficienty přitom platí
a0 =
1
l
c+2l
Z
f (x) dx ,
c
ak =
1
l
c+2l
Z
f (x) cos
c
kπx
dx ,
l
bk =
1
l
c+2l
Z
f (x) sin
c
kπx
dx ,
l
k = 1, 2, . . . .
Poznamenejme,
že výsledky uvedené v této kapitole pro interval − π, π lze nyní snadno přeformulovat
pro interval c, c + 2l .
Příklad 4.22. Určeme
Fourierovu řadu Φf , která je periodickým prodloužením funkce f (x) = x2 na
intervalu − 1, 1 .
Řešení. Pomocí předcházejících vzorců (kde c = −1, l = 1) a vzhledem k sudosti dané funkce dostáváme
bk = 0 a
)
(
1 Z 1
Z 1
Z 1
sin
kπx
2
sin
kπx
−
dx =
x2 cos kπx dx = 2 x2
2x
a0 = 2
x2 dx = , ak = 2
3
kπ
kπ
0
0
0
0
(
)
1
Z 1
− cos kπx
cos kπx
4(−1)k
= −2
2x
+2
dx = 2 2 .
2
2
2
2
k π
k π
k π
0
0
Odtud dosazením do vztahu (4.4) dostáváme
∞
x2 =
1 X 4(−1)k
+
cos kπx,
3
k2 π2
x ∈ − 1, 1 ,
(4.8)
k=1
přičemž konvergence řady je na daném intervalu stejnoměrná. Vně tohoto intervalu pak nalezená Fourierova
řada stejnoměrně konverguje k funkci, která je periodickým prodloužením funkce f (x) = x2 , x ∈ − 1, 1 , a
která je znázorněna na obr. 4.3.
y
1
1
−1
Obr. 4.3: Periodické prodloužení paraboly
ÚM FSI VUT v Brně
x
28
4. Fourierovy řady
Studijní text
Užití Fourierových řad. Kromě řady významných uplatnění v teorii obyčejných a parciálních diferenciálních rovnic, která budou uvedena později, lze Fourierovy řady využít také ke stanovení součtu některých
číselných řad. Jestliže např. do vztahu (4.8) dosadíme x = 0, dostáváme vyjádření
0=
∞
∞
k=1
k=1
X (−1)k+1
π2
1 X 4(−1)k
⇒
=
+
.
3
k2 π2
k2
12
Zvolíme-li x = 1, pak dostáváme
1=
∞
∞
k=1
k=1
X 1
1 X 4(−1)2k
π2
⇒
=
+
.
3
k2 π2
k2
6
Shrnutí poznatků o Fourierových řadách
Fourierovy řady jsou limitou posloupnosti trigonometrických polynomů, které mají část složenou z kosinů
a část ze sinů. Používají se především při studiu jevů s periodickým charakterem. Výhodou těchto řad je
skutečnost, že požadavky kladené na jejich konvergenci k rozvíjené funkci jsou slabší než v případě rozvojů
do Taylorových řad (nepožadujeme např. existenci derivací všech řádů dané funkce v daném bodě; nepožadujeme dokonce ani spojitost rozvíjené funkce). Rovněž výpočet koeficientů může být (zejména při použití
numerických metod) jednodušší záležitostí než u řad Taylorových.
Rozvojů funkcí do Fourierových řad se s úspěchem používá především k hledání (periodických) řešení
obyčejných a parciálních diferenciálních rovnic.
ÚM FSI VUT v Brně
29