w przedziale [−l, l]. Szeregiem (trygonometrycznym) Fouriera funkcji f nazywamy szereg funkcyjny postaci:

dr Krzysztof ›yjewski Analiza matematyczna 2; MatematykaS-I ⁰ .lic. 8 maja 2018

Szeregi Fouriera.

Denicja 1. Niech f : R → R b¦dzie funkcj¡ okresow¡ o okresie 2l, gdzie l ∈ R + i caªkowaln¡

w przedziale [−l, l]. Szeregiem (trygonometrycznym) Fouriera funkcji f nazywamy szereg funkcyjny postaci:

a ₀ 2 +

∞

X

n=1

h a n cos

 nπ l x



+ b n sin

 nπ l x

i

, (1)

gdzie

a n = 1 l

l

Z

−l

f (x) cos

 nπ l x



dx, n = 0, 1, 2, ... (2)

b _n = 1 l

l

Z

−l

f (x) sin  nπ l x 

dx, n = 1, 2, 3, ... (3)

Uwaga 2. W przypadku T = π wzory (1)-(3) maj¡ odpowiednio posta¢:

a ₀ 2 +

∞

X

n=1

[a _n cos (nx) + b _n sin (nx)] , (4)

a n = 1 π

π

Z

−π

f (x) cos (nx) dx, n = 0, 1, 2, ... (5)

b _n = 1 π

π

Z

−π

f (x) sin (nx) dx, n = 1, 2, 3, ... (6)

Twierdzenie 3. Szereg Fouriera funkcji

• parzystej ma wszystkie wspóªczynniki b n równe zero, zatem ma posta¢:

a 0

2 +

∞

X

n=1

a _n cos  nπ l x 

;

• nieparzystej ma wszystkie wspóªczynniki a n równe zero, zatem ma posta¢:

∞

X

n=1

b _n sin

 nπ l x

 .

Uwaga 4. Szereg Fouriera funkcji f nie musi by¢ zbie»ny w punkcie x 0 , a je»eli jest zbie»ny, to jego suma w tym punkcie nie musi by¢ równa f(x 0 ).

1

dr Krzysztof ›yjewski Analiza matematyczna 2; MatematykaS-I ⁰ .lic. 8 maja 2018

Twierdzenie 5. Szereg trygonometryczny ^a ₂

+

∞

P

n=1

a _n cos ^nπ _T x
+ b _n sin ^nπ _T x
 , zbie»ny jednostajnie w R jest szeregiem Fouriera swojej sumy tzn. wspóªczynniki a n , b _n s¡ dane wzorami (2)-(3). (mo»e by¢ równie» szeregiem Fouriera innej funkcji, ale nie mo»e ona by¢, tak jak suma, funkcj¡

ci¡gª¡)

Twierdzenie 6. (kryterium Dirichleta)

Niech funkcja f ma w przedziale [−l, l] co najwy»ej sko«czon¡ liczb¦ punktów nieci¡gªo±ci pierwszego rodzaju oraz co najwy»ej sko«czon¡ liczb¦ ekstremów. Wówczas:

a) w ka»dym punkcie ci¡gªo±ci funkcji f szereg Fouriera funkcji f jest zbie»ny do funkcji f(x);

b) w ka»dym punkcie nieci¡gªo±ci x 0 szereg Fouriera funkcji f jest zbie»ny do ±redniej arytmetycz- nej granic jednostronnych:

1 2

 lim

x→x

f (x) + lim

x→x

f (x)



;

c) na kra«cach przedziaªu [−l, l] szereg Fouriera funkcji f jest zbie»ny do ±redniej arytmetycznej granic jednostronnych na kra«cach:

1 2

 lim

x→−l

f (x) + lim

x→l

f (x)

 .

Zadania

1. Wyznacz szereg Fouriera funkcji f : R → R o okresie 2π, gdzie:

f (x) = ( π

2 dla x = 0;

x

4 dla x = (0, 2π].

Nast¦pnie wyznacz sum¦ szeregu P ^∞

n=1 1 n

. 2. Znajd¹ szereg Fouriera:

a) 2π-okresowej kwadratowej funkcji falowej f okre±lonej wzorem: f(x) =

( 0 dla − π ≤ x < 0;

1 dla 0 ≤ x < π;

b) trójk¡tnej funkcji falowej okre±lonej wzorem f(x) = |x| dla x ∈ [−1, 1], speªniaj¡cej dla ka»dego x ∈ R warunek f(x + 2) = f(x).

Uzasadnij jakich warto±ci x funkcje z podpunktów a), b) s¡ równe ich szeregom Fouriera.

3. Funkcj¦ f(x) = x ² rozwin¡¢ w szereg Fouriera:

a) w przedziale (−π, π) w szereg cosinusów;

b) w przedziale (0, π) w szereg sinusów;

c) w przedziale (0, 2π).

Ponadto oblicz sumy szeregów P ^∞

n=1 1 n

,

∞

P

n=1

(−1)

n

,

∞

P

n=1 1 (2n−1)

.

2