‫متسلسلة فوريير ‪Fourier Series‬‬

‫‪Periodic Functions:‬‬ ‫الدوال الدورية‪:‬‬

‫الدالة )‪ f(x‬يقال أن لها دورة ‪ T‬اذا كانت لجميع قيم ‪ x‬فان )‪ f(x+Tn) = f(x‬حيث ‪ T‬مقدار ثابت موجب‬
‫(‪ .)T>0‬مثالً جميع الدوال المثلثية لها دورة 𝜋‪ 𝑇 = 2‬لذلك فإن‪:‬‬
‫𝑥 ‪1. sin(𝑥 + 2𝑛𝜋) = sin‬‬
‫… ‪cos(𝑥 + 2𝑛𝜋) = cos 𝑥 , 𝑛 = 0,1,2,3,‬‬

‫‪ .2‬الدورة للدالة 𝑥 ‪ tan‬هي ‪.‬‬

‫‪ .3‬الثابت له أي عدد موجب كدورة‪.‬‬
‫األشكال أدنها توضح بعض الدوال الدورية‪:‬‬

‫‪Fourier Series:‬‬ ‫متسلسلة فوريير‪:‬‬

‫لتكن الدالة )‪ f(x‬معرفة على الفترة )‪ (-L,L‬وخارج هذه الفترة بالعالقة‪ 𝑓(𝑥 + 2𝐿) = 𝑓(𝑥) :‬أي أن‬
‫الدالة )‪ f(x‬لها دورة ‪ .T=2L‬فأن متسلسلة فوريير المناظرة للدالة )‪ f(x‬تعطى بالعالقة‪:‬‬
‫∞‬
‫‪𝑎0‬‬ ‫𝑥𝜋𝑛‬ ‫𝑥𝜋𝑛‬
‫≈ )𝑥(𝑓‬ ‫‪+ ∑ (𝑎𝑛 cos‬‬ ‫‪+ 𝑏𝑛 sin‬‬ ‫)‬ ‫)‪(1‬‬
‫‪2‬‬ ‫𝐿‬ ‫𝐿‬
‫‪𝑛=1‬‬
‫حيث أن ‪ an,bn‬تعرف بمعامالت فوريير ‪ Fourier Coefficients‬وتعطى بالعالقة‪:‬‬

‫‪1‬‬ ‫‪Fourier Series‬‬

 ‫𝐿‬
‫‪1‬‬ ‫𝑥𝜋𝑛‬
‫‪𝑎𝑛 = ∫ 𝑓(𝑥) cos‬‬ ‫𝑥𝑑‬
‫𝐿‬ ‫𝐿‬
‫𝐿‪−‬‬
‫𝐿‬ ‫… ‪𝑛 = 1,2,3,‬‬ ‫)‪(2‬‬
‫‪1‬‬ ‫𝑥𝜋𝑛‬
‫= 𝑛𝑏‬ ‫‪∫ 𝑓(𝑥) sin‬‬ ‫𝑥𝑑‬
‫𝐿‬ ‫𝐿‬
‫𝐿‪−‬‬ ‫}‬
‫إذا كانت )‪ f(x‬لها دورة ‪ 2L‬فإن المعامالت ‪ an, bn‬يمكن تحديدها بتكافؤ من العالقتين‪:‬‬
‫𝐿‪𝑐+2‬‬
‫‪1‬‬ ‫𝑥𝜋𝑛‬
‫‪𝑎𝑛 = ∫ 𝑓(𝑥) cos‬‬ ‫𝑥𝑑‬
‫𝐿‬ ‫𝐿‬
‫𝑐‬
‫𝐿‪𝑐+2‬‬ ‫… ‪𝑛 = 1,2,3,‬‬ ‫)‪(3‬‬
‫‪1‬‬ ‫𝑥𝜋𝑛‬
‫= 𝑛𝑏‬ ‫‪∫ 𝑓(𝑥) sin‬‬ ‫𝑥𝑑‬
‫𝐿‬ ‫𝐿‬
‫𝑐‬ ‫}‬
‫حيث ‪ c‬عدد حقيقي‪ .‬وفي الحالة الخاصة عندما ‪ c=-L‬فأن (‪ )3‬تصير (‪ .)2‬ولتحديد ‪ a0‬في (‪ )1‬نستخدم (‪ )2‬أو‬
‫(‪ )3‬حيث تكون ‪ n=0‬وعليه فإن (‪ )2‬تعطي‪:‬‬
‫𝐿‬
‫‪1‬‬
‫𝑥𝑑)𝑥(𝑓 ∫ = ‪𝑎0‬‬
‫𝐿‬
‫𝐿‪−‬‬
‫مع مالحظة أن هذا الحدّ الثابت في (‪ )1‬يكون مساويا ً للمقدار‬
‫𝐿‬
‫‪𝑎0‬‬ ‫‪1‬‬
‫=‬ ‫𝑥𝑑)𝑥(𝑓 ∫‬
‫‪2‬‬ ‫𝐿‪2‬‬
‫𝐿‪−‬‬
‫والذي هو متوسط الدالة )‪ f(x‬على الدورة‪.‬‬
‫مالحظة‪:‬‬
‫إذا كانت 𝜋 = 𝐿 فان المتسلسة (‪ )1‬والمعامالت في (‪ )3( ،)2‬تكون بسيطة‪ .‬ودورة الدالة في هذه الحالة‬
‫هي 𝜋‪. 2‬‬
‫‪Dirichlet Conditions:‬‬ ‫شروط ديريشلت‪:‬‬
‫إذا تحققت الشروط التالية‪:‬‬
‫(‪ f(x) )i‬معرفة ووحيدة القيمة في الفترة )‪.(-L,L‬‬
‫(‪ f(x) )ii‬تكون دورية خارج الفترة )‪ (-L,L‬بدورة ‪.2L‬‬
‫(‪ f(x),f ́(x) )iii‬تكونان مستمرتان مقطعيا ً ‪ piecewise continuous‬في الفترة )‪.(-L,L‬‬
‫حينئ ٍذ فإن المتسلسلة (‪ )1‬تتقارب إلي‪:‬‬
‫‪ )1‬الدالة )‪ f(x‬إذا كانت ‪ x‬هي نقطة اإلستمرار‪.‬‬
‫)‪𝑓(𝑥+0)+𝑓(𝑥−0‬‬
‫إذا كانت ‪ x‬هي نقطة عدم اإلستمرار‪.‬‬ ‫‪)2‬‬
‫‪2‬‬
‫الشروط )‪ (i), (ii), (iii‬تسمي شروط ديريشلت المفروضة على الدالة )‪ f(x‬وهي شروط كافية ولكن ليست‬
‫ضرورية‪ .‬ويعني هذا أن االستمرار للدالة ليست وحدها تضمن تقارب متسلسلة فوريير‪.‬‬
‫نتيجة‪:‬‬
‫𝐿‬ ‫𝐿‬
‫𝑥𝜋𝑚‬ ‫𝑥𝜋𝑛‬ ‫𝑥𝜋𝑚‬ ‫𝑥𝜋𝑛‬ ‫𝑛≠𝑚 ‪0 ,‬‬
‫‪(𝑖) ∫ cos‬‬ ‫𝑠𝑜𝑐‬ ‫‪𝑑𝑥 = ∫ sin‬‬ ‫‪sin‬‬ ‫{ = 𝑥𝑑‬
‫𝐿‬ ‫𝐿‬ ‫𝐿‬ ‫𝐿‬ ‫𝑛=𝑚 ‪𝐿 ,‬‬
‫𝐿‪−‬‬ ‫𝐿‪−‬‬
‫𝐿‬
‫𝑥𝜋𝑚‬ ‫𝑥𝜋𝑛‬
‫𝑛𝑖𝑠 ∫ )𝑖𝑖(‬ ‫𝑠𝑜𝑐‬ ‫‪𝑑𝑥 = 0‬‬
‫𝐿‬ ‫𝐿‬
‫𝐿‪−‬‬
‫مثال(‪:)1‬‬
‫جد متسلسلة فوريير للدالة‪:‬‬
‫‪0,‬‬ ‫‪−5<𝑥 <0‬‬
‫{ = )𝑥(𝑓‬
‫‪3,‬‬ ‫‪0<𝑥<5‬‬
‫الحل‪:‬‬

‫‪2‬‬ ‫‪Fourier Series‬‬

T=10=2L, L=5
𝐿 5
1 𝑛𝜋𝑥 1 𝑛𝜋𝑥
𝑎𝑛 = ∫ 𝑓(𝑥) cos 𝑑𝑥 = ∫ 𝑓(𝑥) cos 𝑑𝑥
𝐿 𝐿 5 5
−𝐿 −5
0 5
1 𝑛𝜋𝑥 𝑛𝜋𝑥 3 5 𝑛𝜋𝑥 5
= [ ∫(0) cos 𝑑𝑥 + ∫(3) cos 𝑑𝑥] = [ sin ] = 0, 𝑖𝑓 𝑛 ≠ 0
5 5 5 5 𝑛𝜋 5 𝑥=0
−5 0
5 5
3 (0)𝜋𝑥 3
𝑎0 = ∫ cos 𝑑𝑥 = ∫ 𝑑𝑥 = 3, 𝑖𝑓 𝑛 = 0
5 5 5
0 0
𝐿 5
1 𝑛𝜋𝑥 1 𝑛𝜋𝑥
𝑏𝑛 = ∫ 𝑓(𝑥) sin 𝑑𝑥 = ∫ 𝑓(𝑥) sin 𝑑𝑥
𝐿 𝐿 5 𝐿
−𝐿 −5
0 5
1 𝑛𝜋𝑥 𝑛𝜋𝑥 3 −5 𝑛𝜋𝑥 5 3(1 − cos 𝑛𝜋)
= [ ∫(0) sin 𝑑𝑥 + ∫(3) sin 𝑑𝑥] = [ cos ] =
5 𝐿 𝐿 5 𝑛𝜋 5 0 𝑛𝜋
−5 0
∞ ∞
𝑎0 𝑛𝜋𝑥 𝑛𝜋𝑥 3 3(1 − cos 𝑛𝜋) 𝑛𝜋𝑥
∴ 𝑓(𝑥) ≈ + ∑ (𝑎𝑛 cos + 𝑏𝑛 sin )= +∑ sin
2 𝐿 𝐿 2 𝑛𝜋 5
𝑛=1 𝑛=1
3 6 𝜋𝑥 1 3𝜋𝑥 1 5𝜋𝑥
= + (sin + sin + sin +⋯)
2 𝜋 5 3 5 5 5
:)2(‫مثال‬
2
.‫ 𝑥 = )𝑥(𝑓 بمتسلسلة فوريير‬, 0 < 𝑥 < 2𝜋 ‫جد مفكوك‬
:‫الحل‬

T=2L=2, L=, let c=0

𝑐+2𝐿 2𝜋
1 𝑛𝜋𝑥 1
𝑎𝑛 = ∫ 𝑓(𝑥) cos 𝑑𝑥 = ∫ 𝑥 2 cos 𝑛𝑥 𝑑𝑥
𝐿 𝐿 𝜋
𝑐 0
1 2 sin 𝑛𝑥 cos 𝑛𝑥 sin 𝑛𝑥 2𝜋 4
= [𝑥 + 2𝑥 − 2 ] = ,𝑛 ≠ 0
𝜋 𝑛 𝑛2 𝑛3 𝑥=0 𝑛2
2𝜋
1 8𝜋 2
If 𝑛 = 0, ∫ 𝑥 2 𝑑𝑥 =
𝜋 3
0

3 Fourier Series
 ‫𝐿‪𝑐+2‬‬ ‫𝜋‪2‬‬
‫‪1‬‬ ‫𝑥𝜋𝑛‬ ‫‪1‬‬
‫‪𝑏𝑛 = ∫ 𝑓(𝑥) sin‬‬ ‫𝑥𝑑 𝑥𝑛 ‪𝑑𝑥 = ∫ 𝑥 2 sin‬‬
‫𝐿‬ ‫𝐿‬ ‫𝜋‬
‫𝑐‬ ‫‪0‬‬
‫‪1‬‬ ‫‪2‬‬
‫𝑥𝑛 ‪cos‬‬ ‫𝑥𝑛 ‪sin‬‬ ‫𝜋‪cos 𝑛𝑥 2𝜋 −4‬‬
‫𝑥‪= [−‬‬ ‫𝑥‪+ 2‬‬ ‫‪+2‬‬ ‫= ]‬
‫𝜋‬ ‫𝑛‬ ‫‪𝑛2‬‬ ‫‪𝑛3 0‬‬ ‫𝑛‬
‫∞‬
‫‪4𝜋 2‬‬
‫‪2‬‬
‫‪4‬‬ ‫𝜋‪4‬‬
‫≈ 𝑥 = )𝑥(𝑓‬ ‫‪+ ∑ ( 2 cos 𝑛𝑥 −‬‬ ‫)𝑥𝑛 ‪sin‬‬ ‫)𝑖(‬
‫‪3‬‬ ‫𝑛‬ ‫𝑛‬
‫‪𝑛=1‬‬
‫هذه المتسلسلة صحيحة عندما 𝜋‪ 0 < 𝑥 < 2‬وعند ‪ x=0‬و ‪ x=2‬فان المتسلسلة تتقارب الي 𝜋‪.2‬‬
‫‪2‬‬

‫مثال(‪:)3‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪𝜋2‬‬
‫= ⋯ ‪.12 + 22 + 32 +‬‬ ‫مستخدما ً المثال السابق أثبت أن‪:‬‬
‫‪6‬‬
‫الحل‪:‬‬
‫‪Substitute x=0 in (i) then ‬‬
‫∞‬
‫‪4𝜋 2‬‬ ‫‪4‬‬
‫‪+∑ 2‬‬
‫‪3‬‬ ‫𝑛‬
‫‪𝑛=1‬‬
‫‪1‬‬ ‫‪2‬‬
‫من شروط ديريشلت فان المتسلسلة تتقارب عند ‪ x=0‬الي المقدار ) ‪ 2 (0 + 4π‬وعليه فإن‪:‬‬
‫∞‬ ‫∞‬
‫‪4𝜋 2‬‬ ‫‪4‬‬ ‫‪2‬‬
‫‪1‬‬ ‫‪π2‬‬
‫= ‪+ ∑ 2 = 2π ⟹ ∑ 2‬‬
‫‪3‬‬ ‫𝑛‬ ‫𝑛‬ ‫‪6‬‬
‫‪𝑛=1‬‬ ‫‪𝑛=1‬‬
‫مالحظة‪:‬‬

‫إن متسلسلة ماكلورين ‪ Maclaurin Series‬لتقريب الدالة )‪ f(x‬تعطى بالعالقة‪:‬‬

‫∞‬
‫𝑛 )𝑥( )𝑛( 𝑓‬ ‫)‪𝑓́(0‬‬ ‫‪𝑓́ (0) 2‬‬
‫∑ = )𝑥(𝑓‬ ‫‪𝑥 = 𝑓(0) +‬‬ ‫‪𝑥+‬‬ ‫⋯‪𝑥 +‬‬
‫!𝑛‬ ‫!‪1‬‬ ‫!‪2‬‬
‫‪𝑛=0‬‬

‫وعليه فإن متسلسلتي الجيب وجيب التمام تعطى بداللة متسلسلة ماكلورين ‪ Maclaurin Series‬كاآلتي‪:‬‬

‫‪Sine and Cosine Fourier Series:‬‬ ‫متسلسلة نصف المدي (جا) و (جتا) فوريير‪:‬‬
‫نصف مدى متسلسلة جا أو جتا فوريير هي متسلسلة فيها فقط حدود جا أو فقط حدود جتا موجودة على‬
‫الترتيب‪ .‬إذا كان المطلوب متسلسلة نصف المدى المناظرة لدالة معطاه‪ ،‬فإن الدالة غالبا ً تعرف في الفترة )‪(0,L‬‬
‫وحينئ ٍذ تكون الدالة قد وصفت كفردية أو زوجية بحيث أن تكون معرفة بوضوح في النصف الثاني من الفترة‪ ،‬أي‬
‫)‪ (-L,0‬في مثل هذه الحالة يكون لدينا‪:‬‬
‫عندما تكون متسلسلة نصف المدى (جا)‪:‬‬ ‫(‪)i‬‬
‫𝐿‬
‫‪2‬‬ ‫𝑥𝜋𝑛‬
‫‪𝑎𝑛 = 0,‬‬ ‫𝑛𝑖𝑠 )𝑥(𝑓 ∫ = 𝑛𝑏‬ ‫𝑥𝑑‬ ‫)‪(4‬‬
‫𝐿‬ ‫𝐿‬
‫‪0‬‬
‫عندم تكون متسلسلة نصف المدى (جتا)‪:‬‬ ‫(‪)ii‬‬
‫𝐿‬
‫‪2‬‬ ‫𝑥𝜋𝑛‬
‫‪𝑏𝑛 = 0,‬‬ ‫= 𝑛𝑎‬ ‫‪∫ 𝑓(𝑥) cos‬‬ ‫𝑥𝑑‬ ‫)‪(5‬‬
‫𝐿‬ ‫𝐿‬
‫‪0‬‬
‫مثال(‪:)1‬‬
‫جد مفكوك 𝜋 < 𝑥 < ‪ 𝑓(𝑥) = sin 𝑥 , 0‬في صورة متسلسلة جتا فوريير‪.‬‬
‫‪4‬‬ ‫‪Fourier Series‬‬
 ‫الحل‪:‬‬
‫‪L=, bn=0‬‬ ‫‪‬‬

‫𝐿‬ ‫𝜋‬
‫‪2‬‬ ‫𝑥𝜋𝑛‬ ‫‪2‬‬
‫‪𝑎𝑛 = ∫ 𝑓(𝑥) cos‬‬ ‫𝑥𝑑 𝑥𝑛 ‪𝑑𝑥 = ∫ sin 𝑥 cos‬‬
‫𝐿‬ ‫𝐿‬ ‫𝜋‬
‫‪0‬‬ ‫‪0‬‬
‫𝜋‬
‫‪1‬‬
‫=‬ ‫𝑥𝑑 𝑥)𝑛 ‪∫ sin(𝑛 + 1)𝑥 + sin(1 −‬‬
‫𝜋‬
‫‪0‬‬
‫𝜋‬
‫𝑥)‪1 cos(𝑛 + 1)𝑥 cos(𝑛 − 1‬‬
‫‪= [−‬‬ ‫‪+‬‬ ‫]‬
‫𝜋‬ ‫‪𝑛+1‬‬ ‫‪𝑛−1‬‬ ‫‪0‬‬
‫‪1 1 − cos(𝑛 + 1)𝜋 cos(𝑛 − 1)𝜋 − 1‬‬
‫=‬ ‫[‬ ‫‪+‬‬ ‫]‬
‫𝜋‬ ‫‪𝑛+1‬‬ ‫‪𝑛−1‬‬
‫𝜋𝑛 ‪1 1 + cos 𝑛𝜋 1 + cos‬‬ ‫)𝜋𝑛 ‪−2(1 + cos‬‬
‫[ =‬ ‫‪−‬‬ ‫=]‬ ‫‪,𝑛 ≠ 1‬‬
‫𝜋‬ ‫‪𝑛+1‬‬ ‫‪𝑛−1‬‬ ‫)‪𝜋(𝑛2 − 1‬‬
‫‪If n=1‬‬
‫𝜋‬ ‫𝜋‬
‫‪2‬‬ ‫𝑥 ‪2 sin2‬‬
‫[ = 𝑥𝑑 𝑥 ‪𝑎1 = ∫ sin 𝑥 cos‬‬ ‫‪] =0‬‬
‫𝜋‬ ‫𝜋‬ ‫‪2 0‬‬
‫‪0‬‬
‫‪If n=0‬‬
‫𝜋‬
‫‪2‬‬ ‫‪2‬‬ ‫‪4‬‬
‫= ‪𝑎0 = ∫ sin 𝑥 𝑑𝑥 = [− cos 𝑥]𝜋0‬‬
‫𝜋‬ ‫𝜋‬ ‫𝜋‬
‫‪0‬‬
‫∞‬
‫‪2 2‬‬ ‫)𝜋𝑛 ‪(1 + cos‬‬ ‫𝑥‪2 4 cos 2𝑥 cos 4𝑥 cos 6‬‬
‫≈ )𝑥(𝑓 ∴‬ ‫∑ ‪−‬‬ ‫‪2‬‬
‫‪cos 𝑛𝑥 = − ( 2‬‬ ‫‪+‬‬ ‫‪+‬‬ ‫)⋯‪+‬‬
‫𝜋 𝜋‬ ‫‪𝑛 −1‬‬ ‫‪𝜋 𝜋 2 − 1 42 − 1 62 − 1‬‬
‫‪𝑛=2‬‬
‫مثال(‪:)2‬‬
‫أوجد مفكوك ‪ 𝑓(𝑥) = 𝑥 , 0 < 𝑥 < 2‬في نصف مدى ‪:‬‬
‫(‪ )ii‬متسلسلة جتا فوريير‬ ‫(‪ )i‬متسلسلة جا فوريير‬
‫الحل‪:‬‬
‫بتوسع التعريف للدالة المعطاه لتلك الدالة الفردية التي دورتها ‪ 4‬يسمى هذا أحيانا ً التمديد الفردي‬ ‫(‪)i‬‬
‫‪ odd extension‬للدالة )‪ f(x‬حين ٍذ فإن ‪ 2L=4‬وعليه فإن ‪L=2‬‬

‫⇒ ‪∵ 𝑎𝑛 = 0‬‬
‫𝐿‬ ‫‪2‬‬
‫‪2‬‬ ‫𝑥𝜋𝑛‬ ‫‪2‬‬ ‫𝑥𝜋𝑛‬
‫‪𝑏𝑛 = ∫ 𝑓(𝑥) sin‬‬ ‫‪𝑑𝑥 = ∫ 𝑥 sin‬‬ ‫𝑥𝑑‬
‫𝐿‬ ‫𝐿‬ ‫‪2‬‬ ‫‪2‬‬
‫‪0‬‬ ‫‪0‬‬

‫‪5‬‬ ‫‪Fourier Series‬‬

 ‫‪−2‬‬ ‫𝑥𝜋𝑛‬ ‫‪−4‬‬ ‫‪𝑛𝜋𝑥 2 −4‬‬
‫‪= [𝑥 ( cos‬‬ ‫‪) − (1) ( 2 2 sin‬‬ ‫= ])‬ ‫𝜋𝑛 ‪cos‬‬
‫𝜋𝑛‬ ‫‪2‬‬ ‫𝜋 𝑛‬ ‫𝜋𝑛 ‪2 0‬‬
‫∞‬
‫‪−4‬‬ ‫𝑥𝜋𝑛‬
‫∑ ≈ )𝑥(𝑓‬ ‫‪cos 𝑛𝜋 sin‬‬
‫𝜋𝑛‬ ‫‪2‬‬
‫‪𝑛=1‬‬
‫بتوسيع التعريف للدالة )‪ f(x‬للدالة الزوجية التي دورتها ‪ 4‬وهذا هو التمديد الزوجي للدالة )‪.f(x‬‬ ‫(‪)ii‬‬
‫إذن فإن ‪ 2L=4‬وعليه فإن ‪L=2‬‬

‫⇒ ‪∵ 𝑏𝑛 = 0‬‬
‫𝐿‬ ‫‪2‬‬
‫‪2‬‬ ‫𝑥𝜋𝑛‬ ‫‪2‬‬ ‫𝑥𝜋𝑛‬
‫‪𝑎𝑛 = ∫ 𝑓(𝑥) cos‬‬ ‫‪𝑑𝑥 = ∫ 𝑥 cos‬‬ ‫𝑥𝑑‬
‫𝐿‬ ‫𝐿‬ ‫‪2‬‬ ‫‪2‬‬
‫‪0‬‬ ‫‪0‬‬
‫‪2‬‬ ‫𝑥𝜋𝑛‬ ‫‪−4‬‬ ‫‪𝑛𝜋𝑥 2‬‬ ‫‪4‬‬
‫( 𝑥[ =‬ ‫‪sin‬‬ ‫‪) − (1) ( 2 2 cos‬‬ ‫‪)] = 2 2 (cos 𝑛𝜋 − 1),‬‬ ‫‪𝑛≠0‬‬
‫𝜋𝑛‬ ‫‪2‬‬ ‫𝜋 𝑛‬ ‫𝜋 𝑛 ‪2 0‬‬
‫‪If n=0 then‬‬
‫𝐿‬ ‫‪2‬‬
‫‪2‬‬ ‫‪2‬‬
‫‪𝑎0 = ∫ 𝑓(𝑥)𝑑𝑥 = ∫ 𝑥𝑑𝑥 = 2‬‬
‫𝐿‬ ‫‪2‬‬
‫‪0‬‬ ‫‪0‬‬
‫∞‬
‫‪4‬‬ ‫𝑥𝜋𝑛‬
‫∑ ‪𝑓(𝑥) ≈ 1 +‬‬ ‫‪(cos‬‬ ‫𝜋𝑛‬ ‫‪−‬‬ ‫)‪1‬‬ ‫‪cos‬‬
‫‪𝑛2 𝜋 2‬‬ ‫‪2‬‬
‫‪𝑛=1‬‬
‫‪Parseval's Identity:‬‬ ‫متطابقة بارسيفال‪:‬‬
‫إذا كانت )‪ f(x‬دالة تحقق شروط ديريشلت فإن‪:‬‬
‫𝐿‬ ‫∞‬
‫‪1‬‬ ‫‪𝑎0 2‬‬
‫= 𝑥𝑑 ‪∫[𝑓(𝑥)]2‬‬ ‫) ‪+ ∑(𝑎𝑛2 + 𝑏𝑛2‬‬ ‫)‪(6‬‬
‫𝐿‬ ‫‪2‬‬
‫𝐿‪−‬‬ ‫‪𝑛=1‬‬
‫تسمى العالقة (‪ )6‬بمتطابقة بارسفال‪ .‬حيث أن ‪ an,bn‬هي معامالت فوريير المناظرة للدالة )‪.f(x‬‬
‫اإلثبات‪:‬‬
‫إلثبات العالقة (‪:)6‬‬
‫∞‬
‫‪𝑎0‬‬ ‫𝑥𝜋𝑛‬ ‫𝑥𝜋𝑛‬
‫≈ )𝑥(𝑓 ∵‬ ‫‪+ ∑ (𝑎𝑛 cos‬‬ ‫‪+ 𝑏𝑛 sin‬‬ ‫)‬
‫‪2‬‬ ‫𝐿‬ ‫𝐿‬
‫‪𝑛=1‬‬
‫بالضرب في )‪ f(x‬والتكامل حدا ً حدا ً من ‪ –L‬الي ‪ L‬نجد أن‪:‬‬
‫𝐿‬ ‫𝐿‬
‫‪𝑎0‬‬
‫= 𝑥𝑑 ‪∫[𝑓(𝑥)]2‬‬ ‫𝑥𝑑)𝑥(𝑓 ∫‬
‫‪2‬‬
‫𝐿‪−‬‬ ‫𝐿‪−‬‬
‫∞‬ ‫𝐿‬ ‫𝐿‬
‫𝑥𝜋𝑛‬ ‫𝑥𝜋𝑛‬
‫‪+ ∑ [𝑎𝑛 ∫ 𝑓(𝑥) cos‬‬ ‫‪𝑑𝑥 + 𝑏𝑛 ∫ 𝑓(𝑥) sin‬‬ ‫]𝑥𝑑‬
‫𝐿‬ ‫𝐿‬
‫‪𝑛=1‬‬ ‫𝐿‪−‬‬ ‫𝐿‪−‬‬
‫∞‬
‫‪𝑎0 2‬‬
‫=‬ ‫) ‪𝐿 + 𝐿 ∑(𝑎𝑛2 + 𝑏𝑛2‬‬
‫‪2‬‬
‫‪𝑛=1‬‬

‫‪6‬‬ ‫‪Fourier Series‬‬

 ‫𝐿‬ ‫∞‬
‫‪1‬‬ ‫‪𝑎0 2‬‬
‫= 𝑥𝑑 ‪∴ ∫[𝑓(𝑥)]2‬‬ ‫) ‪+ ∑(𝑎𝑛2 + 𝑏𝑛2‬‬
‫𝐿‬ ‫‪2‬‬
‫𝐿‪−‬‬ ‫‪𝑛=1‬‬

‫مثال‪:‬‬
‫أكتب متطابقة بارسفال لمتسلسلة فوريير من المثال السابق )‪ (ii‬ومن ثم أوجد مجموع‪:‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫⋯‪𝑆 = 4 + 4 + 4 +⋯+ 4 +‬‬
‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫𝑛‬
‫الحل‪:‬‬
‫‪4‬‬
‫‪∵ 𝐿 = 2,‬‬ ‫‪𝑎0 = 2, 𝑎𝑛 = 2 2 (cos 𝑛𝜋 − 1), 𝑛 ≠ 0 ,‬‬ ‫‪𝑏𝑛 = 0‬‬
‫𝜋 𝑛‬
‫‪2‬‬ ‫‪2‬‬ ‫∞‬
‫‪1‬‬ ‫‪2‬‬
‫‪1‬‬ ‫‪2‬‬
‫‪22‬‬ ‫‪16‬‬
‫= 𝑥𝑑 𝑥 ∫ = 𝑥𝑑 ])𝑥(𝑓[∫ ∴‬ ‫‪+ ∑ 4 4 (cos 𝑛𝜋 − 1)2‬‬
‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬ ‫𝜋 𝑛‬
‫‪−2‬‬ ‫‪−2‬‬ ‫‪𝑛=1‬‬
‫‪8‬‬ ‫‪64 1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪𝜋4‬‬
‫= ⋯ ‪𝑂𝑟 = 2 + 4 ( 4 + 4 + 4 + ⋯ ) ⇒ 4 + 4 + 4 +‬‬
‫‪3‬‬ ‫‪𝜋 1‬‬ ‫‪3‬‬ ‫‪5‬‬ ‫‪1‬‬ ‫‪3‬‬ ‫‪5‬‬ ‫‪96‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫)⋯‪𝑆 = 4 + 4 + 4 +⋯ = ( 4 + 4 + 4 +⋯)+( 4 + 4 + 4 +‬‬
‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪1‬‬ ‫‪3‬‬ ‫‪5‬‬ ‫‪2‬‬ ‫‪4‬‬ ‫‪6‬‬
‫‪𝜋4 1 1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪𝜋4‬‬ ‫𝑆‬
‫=‬ ‫= )⋯‪+ ( + + +‬‬ ‫‪+‬‬
‫‪96 24 14 24 34‬‬ ‫‪96 16‬‬

‫‪Exponential Series:‬‬ ‫المتسلسلة األسية‪:‬‬

‫بإستخدام صيغة أويلر للعدد المركب‪:‬‬
‫𝜃𝑗‬ ‫𝜃𝑗‪−‬‬
‫‪𝑒 = cos 𝜃 + 𝑗𝑠𝑖𝑛 𝜃 ,‬‬ ‫𝑒‬ ‫𝜃 𝑛𝑖𝑠𝑗 ‪= cos 𝜃 −‬‬
‫‪1‬‬ ‫‪1‬‬
‫‪⇒ cos 𝜃 = (𝑒 𝑗𝜃 + 𝑒 −𝑗𝜃 ),‬‬ ‫) 𝜃𝑗‪sin 𝜃 = (𝑒 𝑗𝜃 − 𝑒 −‬‬
‫‪2‬‬ ‫‪2‬‬
‫فإن متسلسلة فوريير يمكن أن تكتب على الصورة‪:‬‬
‫∞‬
‫‪𝑗𝑛𝜋𝑥⁄‬‬
‫𝑒 𝑛𝑐 ∑ = )𝑥(𝑓‬ ‫𝐿‬ ‫)‪(7‬‬
‫∞‪𝑛=−‬‬
‫حيث أن‪:‬‬
‫𝐿‬
‫‪1‬‬ ‫‪−𝑗𝑛𝜋𝑥⁄‬‬
‫= 𝑛𝑐‬ ‫𝑒)𝑥(𝑓 ∫‬ ‫𝑥𝑑 𝐿‬
‫𝐿‪2‬‬
‫𝐿‪−‬‬
‫عند كتابة (‪ )7‬نكون مفترضين أن شروط ديريشلت متحققة وكذلك تكون الدالة )‪ f(x‬مستمرة عند ‪ .x‬اما‬
‫)‪𝑓(𝑥+0)+𝑓(𝑥−0‬‬
‫‪.‬‬ ‫إذا كانت الدالة )‪ f(x‬غير مستمرة عند ‪ x‬فان الطرف األيسر من (‪ )7‬يجب أن يستبدل بالمقدار‬
‫‪2‬‬

‫مسائل‬
‫‪ .1‬أرسم بيان كل من الدوال األتية‪:‬‬
‫;‪3‬‬ ‫‪0<𝑥<5‬‬
‫{ = )𝑥(𝑓 )‪(i‬‬ ‫‪& 𝑝𝑒𝑟𝑖𝑜𝑑 = 10‬‬
‫‪−3 ; −5 < 𝑥 < 0‬‬
‫𝜋 ≤ 𝑥 ≤ ‪sin 𝑥 ; 0‬‬
‫{ = )𝑥(𝑓 )‪(ii‬‬ ‫𝜋‪& 𝑝𝑒𝑟𝑖𝑜𝑑 = 2‬‬
‫𝜋‪0 ; 𝜋 ≤ 𝑥 ≤ 2‬‬
‫‪0; 0≤𝑥 < 2‬‬
‫‪(iii) 𝑓(𝑥) = {1 ; 2 ≤ 𝑥 < 4‬‬ ‫‪& 𝑝𝑒𝑟𝑖𝑜𝑑 = 6‬‬
‫‪0; 4≤𝑥 < 6‬‬
‫‪ .2‬جد مفكوك متسلسلة فوريير للدوال اآلتية‪:‬‬
‫;𝑥‪2−‬‬ ‫‪0<𝑥<4‬‬
‫)‪(i‬‬ ‫{ = )𝑥(𝑓‬ ‫‪&𝑇 =8‬‬
‫;‪𝑥−6‬‬ ‫‪4<𝑥<8‬‬

‫‪7‬‬ ‫‪Fourier Series‬‬

 ‫;‪𝑥+2‬‬ ‫‪−2 < 𝑥 < 0‬‬
‫)‪(ii‬‬ ‫{ = )𝑥(𝑓‬ ‫‪&𝑇 =4‬‬
‫‪1‬‬ ‫;‬ ‫‪0<𝑥<2‬‬
‫; 𝑘‪−‬‬ ‫‪−𝜋 < 𝑥 < 0‬‬
‫)‪(iii‬‬ ‫{ = )𝑥(𝑓‬ ‫𝜋‪& 𝑇 = 2‬‬
‫; 𝑘‬ ‫𝜋<𝑥<‪0‬‬
‫;‪𝑥+1‬‬ ‫‪−1 ≤ 𝑥 < 0‬‬
‫)‪(iv‬‬ ‫{ = )𝑥(𝑓‬ ‫‪&𝑇 =2‬‬
‫;𝑥‪1−‬‬ ‫‪0≤𝑥≤1‬‬
‫)‪(v‬‬ ‫‪𝑓(𝑥) = 1 − 𝑥 2 ; −1 ≤ 𝑥 ≤ 1‬‬
‫‪ .3‬جد مفكوك جا فوريير للدالة‪.𝑓(𝑥) = cos 𝑥 ; 0 < 𝑥 < 𝜋 :‬‬
‫‪ .4‬جد مفكوك جا فوريير وجتا فوريير لآلتي‪:‬‬
‫𝑥‬ ‫;‬ ‫‪0<𝑥<4‬‬
‫)‪(i‬‬ ‫{ = )𝑥(𝑓‬
‫;𝑥‪8−‬‬ ‫‪4<𝑥<8‬‬
‫)‪(ii‬‬ ‫‪𝑓(𝑥) = 2 − 𝑥 ; 0 < 𝑥 ≤ 2‬‬
‫)‪(iii‬‬ ‫‪𝑓(𝑥) = 𝑒 𝑥 ; 0 < 𝑥 < 2‬‬
‫)‪(iv‬‬ ‫‪𝑓(𝑥) = 𝑥 2 ; 0 ≤ 𝑥 < 1‬‬

‫‪where:‬‬

‫‪8‬‬ ‫‪Fourier Series‬‬