CAPITOLUL 2

SERII FOURIER

2.1. Serii trigonometrice. Serii Fourier

Fie funcia f :[ a, b] \ . Reamintim c punctul x0 [a, b] se numete punct de
discontinuitate de prima spe al funciei f dac limitele laterale f ( x0 0) i f ( x0 + 0)
exist i sunt finite.
Definiia 2.1.1. Funcia f :[ a, b] \ se numete
continu pe poriuni dac este continu pe [a, b] cu excepia unui
numr finit de puncte de discontinuitate de prima spe (fig. 1.1).
O astfel de funcie este integrabil.

Reamintim c funcia f : \ \ este periodic de perioad T

dac f ( x + T ) = f ( x) , x \ .

Fig. 1.1

Lema 2.1.1. Fie f : \ \ o funcie periodic de perioad 2 . Atunci

a + 2

f ( x ) dx .

f ( x ) dx =

Demonstraie. Pentru aceasta este suficient s observm c

a + 2

f ( x)dx = f ( x)dx +

f ( x ) dx +

f ( x)dx .

a+2

Cu schimbarea de variabil x = t 2 , obinem

f ( x ) dx =

a + 2

f (t )dt = f (t )dt ,

deci

f ( x ) dx +

f ( x ) dx = 0 ,

a + 2

de unde rezult lema.

n general, dac f are perioada T , atunci
a +T

f ( x)dx = f ( x)dx .
0

2. Serii Fourier

Definiia 2.1.2. Fie ( n ) n 0 , ( n ) n1 dou iruri de numere reale. Seria de funcii

0
(1)
+ ( n cos nx + n sin nx )
2 n =1
se numete serie trigonometric de coeficieni n , n 0 , n , n 0 . Sumele pariale ale unei
astfel de serii de funcii

+ ( k cos kx + k sin kx)

2 k =1
se numesc polinoame trigonometrice.

Definiia 2.1.3. Fie funcia f : \ \ , periodic de perioad 2 , continu pe poriuni

pe orice interval compact i fie

1
1
1
a 0 = f ( x)dx , a n = f ( x) cos nxdx , bn = f ( x) sin nxdx , n 1 .

Atunci seria trigonometric

a0
(2)
+ (a n cos nx + bn sin nx )
2 n =1
se numete seria Fourier ataat funciei f , iar coeficienii a n , bn se numesc coeficienii
Fourier ai funciei f .
Definiia 2.1.4. Funcia f :[ a, b] \ se numete continuu difereniabil pe poriuni
(sau neted pe poriuni) pe [a, b] dac este derivabil pe [a, b] cu excepia unui numr finit
de puncte i f este continu pe [a, b] cu excepia acestor puncte n care are limite laterale
finite.
Teorema 2.1.1. (Dirichlet). Fie f : \ \ o funcie periodic de perioad 2 ,
continuu difereniabil pe poriuni pe orice interval compact [ a, b] \ . Atunci seria Fourier
(2) este convergent pe \ i avem
a0
f ( x 0 ) + f ( x + 0)
, x \ ,
+ (a n cos nx + bn sin nx ) =
2 n =1
2
unde

1
1
a n = f ( x) cos nxdx , n ` , bn = f ( x) sin nxdx , n `* .

Observaia 2.1.1. Dac, n plus, f este continu pe \ , avem

a
f ( x) = 0 + (a n cos nx + bn sin nx ) , x \ .
2 n =1
( f se dezvolt n serie Fourier pe \ ).
Observaia 2.1.2. Dac funcia f este par, atunci bn = 0 , n `* . Dac funcia f
este impar, atunci a n = 0 , n ` .

ECUAII

Exemplu. S se dezvolte n serie Fourier pe intervalul [ , ] funcia f ( x) = x 2 .

Fie f * : \ \ , funcia obinut prin prelungirea prin periodicitate, cu perioada
T = 2 , a funciei f . Deoarece funcia este par, coeficienii bn sunt nuli. Vom calcula
coeficienii a n . Avem:

2
x dx =

2 3
,
3

sin nx
x cos nxdx = x n
2

2
x sin nxdx =
n

4 (1) n
2
cos nx
1
= x
+ cos nxdx =
, n 1.
2

n
n n
n

2
n
(1)
2
n consecin a 0 =
, a n = 4 2 , bn = 0 , n 1 , deci
3
n
2
n

(1)

x2 =
+ 4 2 cos nx , x [ , ] .
3
n =1 n

n particular, pentru x = obinem o identitate cunoscut, datorat lui Euler:

1
2
=
.

2
6
n =1 n
Teorema 2.1.2. (Fejr). Fie f : \ \ o funcie continu, periodic de perioad

2 ,
n
a0
+ (a k cos kx + bk sin kx ) , n `
2 k =1
i sumele Fejr de ordinul n ,
s + s + ... + s n 1
n = 0 1
, n `* .
n
Atunci irul de funcii ( n ) n converge uniform la f pe \ .

sn =

Teorema 2.1.3. (Weierstrass). Fie f : \ \ o funcie continu, periodic de

perioad 2 . Atunci pentru orice > 0 exist un polinom trigonometric T astfel nct

f T < .
Demonstraie. Fie m ` * astfel nct p f < , pentru orice p m . Putem alege
T = m , unde m este dat de Teorema lui Fejr.

Teorema 2.1.4. (Weierstrass). Dac funcia f :[ a, b] \ este continu, atunci

pentru orice > 0 exist un polinom algebric P astfel nct f P < .

2. Serii Fourier

Demonstraie. Pentru nceput, fie f :[0, 2 ] \ o funcie continu care satisface

f (0) = f ( 2 ) i f * prelungirea prin periodicitate pe \ a funciei f . Conform Teoremei

2.1.3, pentru orice > 0 exist un polinom trigonometric T astfel nct f T < , cu
2

T =

+ ( k cos kx + k sin kx) .

2 k =1
Dezvoltnd n serie funciile cos i sin , rezult c exist un rang m astfel nct
m

k =1

T a k x k <

Notnd P ( x) = a k x k , rezult c
k =1

f P < .
S presupunem acum c funcia f nu mai satisface condiia f (0) = f ( 2 ) , deci
f (0) f ( 2 ) . Considerm funcia continu
f (0) f (2 )
g :[0, 2 ] \ , g ( x ) = f ( x ) +
x.
2
Atunci g (0) = f (0) , g ( 2 ) = f (0) , deci g (0) = g ( 2 ) . Conform celor de mai sus,
pentru orice > 0 exist un polinom P astfel nct g P < , adic
f (0) f (2 )
x P ( x) < , x [0,2 ] .
2
f (0) f (2 )
Notnd Q ( x ) = P ( x)
x , rezult c
2
f Q < .
f ( x) +

n sfrit, fie f :[ a, b] \ o funcie continu i

ba
h : [0,2 ] [ a, b] , h(t ) = a +
t.
2
Evident, h este un homeomorfism. Considerm funcia g :[0, 2 ] \ ,
g (t ) = f ( h(t )) , t [0,2 ] . innd seama de cele de mai sus, rezult c pentru orice > 0
exist un polinom P astfel nct g P < , adic

f (h(t )) P (t ) < , t [0,2 ] .

n consecin,
f ( x) P ( h 1 ( x)) < , x [ a, b] .
Notnd Q = P D h 1 , rezult c

f Q < .

ECUAII

2.2. Serii Fourier generalizate

Fie ( H , < , >) un spaiu prehilbertian real i fie {e1 , e2 ,..., en ,...} un sistem ortonormal de elemente din H . Aadar avem:
1, dac i = j
.
< ei , e j >= ij =
0, dac i j
Fie x H oarecare. Coeficienii Fourier (generalizai) ai lui x n raport cu sistemul
ortonormal {e1 , e2 ,..., en ,...} se definesc astfel:

n =< x, en > , n `* ,

(1)

iar seria

n =1

e ,

(2)

n n

se numete seria Fourier ataat lui x n raport cu sistemul ortonormal {e1 , e2 ,..., en ,...} .
n

i =1

i =1

x i ei x ci ei , ci \ , 1 i n .

Teorema 2.2.1.

Demonstraie. ntr-adevr:
n

x c i ei

i =1

=< x ci ei , x c j e j >=
i =1

j =1

i =1

i =1

i =1

i =1

= x 2 ci i + ci2 = x + (ci i ) 2 i2 .
2

Aadar, avem
n

x c i ei

i =1

i =1

i =1

= x + (ci i ) 2 i2 .

(3)

Evident aceast expresie este minim dac ci = i , 1 i n . Rezult c

n

i =1

i =1

x i ei x ci ei , ci \ , 1 i n .
Corolarul 1. Dac n , n `* , sunt coeficienii Fourier ai lui x n raport cu sistemul
ortonormal {e1 , e2 ,..., en ,...} , atunci are loc inegalitatea lui Bessel:

i =1

2
i

x .

(4)

Demonstraie. Din (3) rezult c

n

0 x i ei
i =1

deci

x i2 ,
2

i =1

2. Serii Fourier
n

i =1

2
i

x .

Fcnd n , se obine (4).

Definiia 2.2.1. Sistemul ortonormal {en }n1 se numete nchis dac Sp ({en }n1 ) este
dens n H , deci dac pentru orice x H i orice > 0 exist c1 , c2 ,..., cn \ astfel nct
n

x c i ei < .
i =1

Teorema 2.2.2. Dac sistemul ortonormal {en }n1 este nchis atunci are loc
identitatea lui Parseval:
x

= i2 .

(5)

i =1

Demonstraie. Este suficient s artm c

x

i2 .

(6)

i =1

Fie > 0 . Atunci exist c1 , c2 ,..., cn \ astfel nct

n

x c i ei < .
i =1

Din (3) obinem

2

> x ci ei
2

i =1

i =1

i =1

= x + (ci i ) 2 i2 x i2 .
2

i =1

Aadar
n

i =1

2
i

+2 > x .

Cum este arbitrar, fcnd n , rezult (6).

Definiia 2.2.2. Un sistem ortonormal {en }n1 se numete complet (total) dac orice

x H care satisface i =< x, ei >= 0 , pentru orice i `* , coincide cu elementul nul din H ,
deci x = 0 H .
Teorema 2.2.3. Orice sistem ortonormal nchis este complet.
Demonstraie. Deoarece i = 0 , i `* , din egalitatea lui Parseval rezult c x = 0 H .

Afirmaia reciproc nu este adevrat n general. Se poate arta c ntr-un spaiu

Hilbert cele dou noiuni coincid.

ECUAII

~
Fie [ a, b] \ . Vom nota cu C ([a, b]) spaiul vectorial al funciilor continue pe
poriuni pe [a, b] care satisfac
1
f ( x ) = [ f ( x 0) + f ( x + 0)] , x [ a, b] .
2
~
~
Evident C ([ a, b]) C ([ a, b]) . Pe C ([a, b]) definim urmtorul produs scalar
b

< f , g >=

f ( x) g ( x)dx , f , g C ([a, b]) .

a

~
ntr-adevr, se verific uor c dac f , g , f 1 , f 2 C ([a, b]) , atunci:
< f1 + f 2 , g >=< f1 , g > + < f 2 , g > ,
< f , g >= < f , g > , \ ,
< f , g >=< g , f > ,
< f , f > 0 .
Vom arta acum c din < f , f >= 0 , rezult c f 0 . S presupunem c
b

( x)dx = 0 .

Fie : a = x0 < x1 < ... < xi 1 < xi < ... < x n = b o diviziune a intervalului [a, b] , astfel
nct funcia f este continu pe intervalul ( xi 1 , xi ) . Considerm funciile
gi :[ xi 1 , xi ] \ , 1 i n ,

f ( xi 1 + 0), dac x = xi 1 ,

g i ( x) = f ( x),
dac x ( xi 1 , xi ),

dac x = xi .
f ( xi 0),
Funcia g i este continu pe [ xi 1 , xi ] i 0 =

xi

xi 1

xi

( x)dx = g i2 ( x)dx . n consecin

xi 1

g i ( x) = 0 , x [ xi 1 , xi ] , deci f ( x ) = 0 , x ( xi 1 , xi ) , f ( xi 1 + 0) = 0 , f ( xi 0) = 0 .
Atunci pentru orice i, 1 i n 1 ,
1
f ( xi ) = [ f ( xi 0) + f ( xi + 0)] = 0 .
2
Prin urmare f ( x ) = 0 , x [ a, b] .
~
n concluzie, C ([a, b]) este un spaiu prehilbertian.
~
Fie acum spaiul prehilbertian H = C ([ , ]) S considerm n acest spaiu irul de
funcii trigonometrice
(7)
1, cos x, sin x, cos 2 x, sin 2 x,..., cos nx, sin nx,... .
Se deduc cu uurin urmtoarele formule importante:

1 dx = 2 ,

(8)

2. Serii Fourier

cos mx dx = 0 , m ` ,
*

(9)

sin mx dx = 0 , m ` ,
*

(10)

0, dac m n
, m, n ` * ,
dac m = n

(11)

0, dac m n

=
sin
mx
sin
nx
d
x
, m, n ` * ,

, dac m = n

(12)

cos mx cos nx dx = ,

sin mx cos nx dx = 0 , m, n `

(13)

S dovedim, de exemplu, (11). Dac m n , atunci din egalitatea

1
cos mx cos nx = [cos( m + n) x + cos( m n) x] ,
2
rezult c

1 1
1
cos
mx
cos
nx
d
x
sin(
m
n
)
x
sin(
m
n
)
x

= 0.

2 m + n
mn

De asemenea

1
1
1
cos mx dx = 2 (1 + cos 2mx)dx = 2 ( x + 2m sin 2mx) = .
2

Din egalitile (8)-(13), rezult c irul (7) este un sistem ortogonal. Pe de alt parte,
cum f = < f , f > , din aceste egaliti rezult c
1 = 2 , cos nx = sin nx = , n `* .
n consecin, sistemul de funcii
1
1
1
1
1
1
1
,
cos x,
sin x,
cos 2 x,
sin 2 x,...,
cos nx,
sin nx,... .
2

este un sistem ortonormal de funcii.

Fie a n , bn , coeficienii Fourier din Teorema lui Dirichlet. Notm cu
c0 , c1 , d1 , c 2 , d 2 ,..., c n , d n ,... ,
coeficienii Fourier generalizai n raport cu sistemul ortonormal (14). Atunci:

1
1

c0 =< f ,
>=
f ( x)dx =
a0 ,

2
2
2

c n =< f ,
d n =< f ,

cos nx >=
sin nx >=

Inegalitatea lui Bessel devine

f ( x) cos nxdx =

a n , n `* ,

f ( x) sin nxdx =

bn , n `* .

(14)

10

ECUAII

a + (a + b )
2
0

n =1

2
n

2
n

( x)dx

sau

1 2 2
1
a 0 + (a n + bn2 ) f 2 ( x)dx .
(15)
2

n =1
Se poate arta c sistemul trigonometric (14) este nchis. Rezult c are loc egalitatea
lui Parseval, adic

1 2 2
1
a 0 + (a n + bn2 ) = f 2 ( x)dx .
(16)
2

n =1
Exemplu. n cazul funciei f : [ , ] R , f ( x) =

2 sh

e x , coeficienii Fourier

sunt
a0 = 1 , an =

(1) n
n
, bn = ( 1) n +1
, n `* .
2
2
1+ n
1+ n

Pe de alt parte

ch
.
2sh

Din egalitatea lui Parseval obinem

ch
1 1
,
+
=
2
2 n =1 1 + n
2 sh
de unde rezult c

ch sh
1
.
=

2
2 sh
n =1 1 + n

( x)dx =

2.3. Serii Fourier pentru funcii periodice de perioad T = 2l

Fie f : \ \ o funcie periodic de perioad 2l , continu pe poriuni, h : \ \ ,
l
h(t ) = t i g : \ \ , g = f D h . Funcia g este periodic de perioad 2 .

ntr-adevr
l
l

g (t + 2 ) = f (h(t + 2 ) ) = f t + 2l = f ( t ) = g (t ) , t \ .

Dac f este continuu difereniabil pe poriuni pe orice interval compact din \ ,

atunci i g are aceast proprietate. Dac, n plus, f este continu, din Teorema lui Dirichlet
rezult c

a
g (t ) = 0 + (a n cos nt + bn sin nt ) , t \ ,
2 n =1
unde

11

2. Serii Fourier

an =
Cum t =

g (t ) cos nt dt , n ` ,

bn =

g (t ) sin nt dt , n `

x , obinem

a0
n
n
x + bn sin
f ( x) =
+ (a n cos
x) , x \ ,
l
l
2 n =1

unde

1
n
1
n
a n = f ( x) cos
x dx , n ` , bn = f ( x) sin
x dx , n `* .
l l
l l
l
l
l

Exemplu. S se dezvolte n serie Fourier pe intervalul (l , l ) funcia f ( x ) = x .

Funcia fiind impar, rezult c a n = 0 , n ` . Prin calcul obinem

2l
bn =
( 1) n +1 .
n
Atunci
n
2l (1) n +1
x =
sin
x , x ( l , l ) .
l
n =1 n