Documente Academic
Documente Profesional
Documente Cultură
Serii Fourier
Serii Fourier
SERII FOURIER
∫
a
f ( x ) dx = ∫ f ( x ) dx .
−π
−
∫π f ( x)dx = ∫π f ( x)dx + ∫
− a
f ( x ) dx + ∫ πf ( x)dx .
a+2
∫
a + 2π
f ( x ) dx = ∫
a
f (t )dt = − ∫ f (t )dt ,
−π
deci
a π
∫
−π
f ( x ) dx + ∫ f ( x ) dx = 0 ,
a + 2π
∫
a
f ( x)dx = ∫ f ( x)dx .
0
2. Serii Fourier 3
Definiţia 2.1.2. Fie (α n ) n≥ 0 , ( β n ) n≥1 două şiruri de numere reale. Seria de funcţii
α0 ∞
+ ∑ (α n cos nx + β n sin nx ) (1)
2 n =1
se numeşte serie trigonometrică de coeficienţi α n , n ≥ 0 , β n , n ≥ 0 . Sumele parţiale ale unei
astfel de serii de funcţii
α0 n
+ ∑ (α k cos kx + β k sin kx)
2 k =1
se numesc polinoame trigonometrice.
−π
π
2⎛ ⎞ 4π (−1) n
π
cos nx 1
= − ⎜− x + ∫ cos nxdx ⎟ = , n ≥ 1.
n ⎜⎝ n −π n −π ⎟
⎠ n 2
2π 2
(−1) n
În consecinţă a 0 = , a n = 4 ⋅ 2 , bn = 0 , n ≥ 1 , deci
3 n
π 2 ∞
(−1) n
x2 = + 4 ⋅ ∑ 2 ⋅ cos nx , ∀x ∈ [ −π , π ] .
3 n =1 n
f − Pε < ε .
Să presupunem acum că funcţia f nu mai satisface condiţia f (0) = f ( 2π ) , deci
f (0) ≠ f ( 2π ) . Considerăm funcţia 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 încât g − Pε < ε , adică
f (0) − f (2π )
f ( x) + x − Pε ( x) < ε , ∀x ∈ [0,2π ] .
2π
f (0) − f (2π )
Notând Qε ( x ) = Pε ( x) − x , rezultă că
2π
f − Qε < ε .
În sfârşit, fie f :[ a, b] → \ o funcţie continuă şi
b−a
h : [0,2π ] → [ a, b] , h(t ) = a + t.
2π
Evident, h este un homeomorfism. Considerăm funcţia g :[0, 2π ] → \ ,
g (t ) = f ( h(t )) , ∀t ∈ [0,2π ] . Ţinând seama de cele de mai sus, rezultă că pentru orice ε > 0
există un polinom Pε astfel încât g − Pε < ε , adică
f (h(t )) − Pε (t ) < ε , ∀t ∈ [0,2π ] .
În consecinţă,
f ( x) − Pε ( h −1 ( x)) < ε , ∀x ∈ [ a, b] .
Notând Qε = Pε D h −1 , rezultă că
f − Qε < ε . ■
6 ECUAŢII
Fie ( H , < ⋅,⋅ >) un spaţiu prehilbertian real şi fie {e1 , e2 ,..., en ,...} un sistem ortonor-
mal de elemente din H . Aşadar avem:
⎧1, dacă i = j
< ei , e j >= δ ij = ⎨ .
⎩0, dacă i ≠ j
Fie x ∈ H oarecare. Coeficienţii Fourier (generalizaţi) ai lui x în raport cu sistemul
ortonormal {e1 , e2 ,..., en ,...} se definesc astfel:
ξ n =< x, en > , n ∈ `* , (1)
iar seria
∞
∑ξ
n =1
e ,
n n (2)
se numeşte seria Fourier ataşată lui x în raport cu sistemul ortonormal {e1 , e2 ,..., en ,...} .
n n
Teorema 2.2.1. x − ∑ ξ i ei ≤ x − ∑ ci ei , ∀ci ∈ \ , 1 ≤ i ≤ n .
i =1 i =1
Demonstraţie. Într-adevăr:
n 2 n n
x − ∑ c i ei =< x − ∑ ci ei , x − ∑ c j e j >=
i =1 i =1 j =1
n n n n
= x − 2∑ ciξ i + ∑ ci2 = x + ∑ (ci − ξ i ) 2 − ∑ ξ i2 .
2 2
i =1 i =1 i =1 i =1
Aşadar, avem
n 2 n n
x − ∑ c i ei = x + ∑ (ci − ξ i ) 2 − ∑ ξ i2 .
2
(3)
i =1 i =1 i =1
∑ξ
2
i
2
≤ x . (4)
i =1
i =1 i =1
deci
2. Serii Fourier 7
n
∑ξ
2
i
2
≤ x .
i =1
Făcând n → ∞ , se obţine (4). ■
Definiţia 2.2.1. Sistemul ortonormal {en }n≥1 se numeşte închis dacă Sp ({en }n≥1 ) este
dens în H , deci dacă pentru orice x ∈ H şi orice ε > 0 există c1 , c2 ,..., cn ∈ \ astfel încât
n
x − ∑ c i ei < ε .
i =1
Teorema 2.2.2. Dacă sistemul ortonormal {en }n≥1 este închis atunci are loc
identitatea lui Parseval:
∞
= ∑ ξ i2 .
2
x (5)
i =1
i =1 i =1 i =1 i =1
Aşadar
n
∑ξ
2
i
2
+ε2 > x .
i =1
Cum ε este arbitrar, făcând n → ∞ , rezultă (6). ■
Definiţia 2.2.2. Un sistem ortonormal {en }n≥1 se numeşte 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 .
∫f ( x)dx = 0 .
2
Fie Δ : a = x0 < x1 < ... < xi −1 < xi < ... < x n = b o diviziune a intervalului [a, b] , astfel
încât funcţia f este continuă pe intervalul ( xi −1 , xi ) . Considerăm funcţiile
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 ),
⎪
⎪
⎩⎪ f ( xi − 0), dacă x = xi .
xi xi
xi −1 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 spaţiu prehilbertian.
~
Fie acum spaţiul prehilbertian H = C ([ −π , π ]) Să considerăm în acest spaţiu şirul de
funcţii trigonometrice
1, cos x, sin x, cos 2 x, sin 2 x,..., cos nx, sin nx,... . (7)
Se deduc cu uşurinţă următoarele formule importante:
π
∫ 1 ⋅ dx = 2π ,
−π
(8)
2. Serii Fourier 9
π
∫π cos mx dx = 0 , m ∈ ` ,
*
(9)
−
π
∫π sin mx dx = 0 , m ∈ ` ,
*
(10)
−
π
⎧ 0, dacă m ≠ n
∫π cos mx ⋅ cos nx dx = ⎨⎩π ,
−
dacă m = n
, m, n ∈ ` * , (11)
π
⎧ 0, dacă m ≠ n
∫−π sin mx ⋅ sin nx dx = ⎨
⎩π , dacă m = n
, m, n ∈ ` * , (12)
∫π sin mx ⋅ cos nx dx = 0 , m, n ∈ `
*
. (13)
−
De asemenea
π π π
1 1 1
∫−π cos mx dx = 2 ⋅ −∫π (1 + cos 2mx)dx = 2 ⋅ ( x + 2m ⋅ sin 2mx) −π = π .
2
Din egalităţile (8)-(13), rezultă că şirul (7) este un sistem ortogonal. Pe de altă parte,
cum f = < f , f > , din aceste egalităţi rezultă că
1 = 2π , cos nx = sin nx = π , n ∈ `* .
În consecinţă, sistemul de funcţii
1 1 1 1 1 1 1
, cos x, sin x, cos 2 x, sin 2 x,..., cos nx, sin nx,... . (14)
2π π π π π π π
este un sistem ortonormal de funcţii.
Fie a n , bn , coeficienţii Fourier din Teorema lui Dirichlet. Notăm cu
c0 , c1 , d1 , c 2 , d 2 ,..., c n , d n ,... ,
coeficienţii Fourier generalizaţi în raport cu sistemul ortonormal (14). Atunci:
π
1 1 π
c0 =< f ,
2π
>=
2π −π
∫ f ( x)dx =
2
⋅ a0 ,
π
1 1
c n =< f ,
π
cos nx >=
π ∫π f ( x) cos nxdx =
−
π ⋅ a n , n ∈ `* ,
π
1 1
d n =< f ,
π
sin nx >=
π ∫π f ( x) sin nxdx =
−
π ⋅ bn , n ∈ `* .
π
Exemplu. În cazul funcţiei f : [ −π , π ] → R , f ( x) = ⋅ e x , coeficienţii Fourier
2 shπ
sunt
(−1) n n
a0 = 1 , an = , bn = ( −1) n +1 ⋅ , n ∈ `* .
1+ n 2
1+ n 2
Pe de altă parte
π
chπ
∫π f ( x)dx =
2
.
−
2shπ
Din egalitatea lui Parseval obţinem
1 ∞ 1 π chπ
+∑ = ,
2 n =1 1 + n 2
2 shπ
de unde rezultă că
∞
1 π chπ − shπ
∑
n =1 1 + n
2
=
2 shπ
.
π
Cum t = x , obţinem
l
a0 ∞
nπ nπ
f ( x) = + ∑ (a n cos x + bn sin x) , ∀x ∈ \ ,
2 n =1 l l
unde
nπ nπ
l l
1 1
a n = ⋅ ∫ f ( x) cos x dx , n ∈ ` , bn = ⋅ ∫ f ( x) sin x dx , n ∈ `* .
l −l l l −l l