You are on page 1of 6

‫تحويل فوريه والتحاكي‬

‫)‪ 𝑓𝜖 𝐿 1 (ℝ , ℂ‬و ‪ 𝑘 > 0‬نضع )𝑡𝑘(𝑓 = )𝑡( 𝑘𝑓‬


‫‪1‬‬ ‫𝛼‬
‫= ) 𝛼(])𝑡( 𝑘𝑓[ 𝐹‬ ‫) ( ])𝑡(𝑓[ 𝐹‬
‫𝑘‬ ‫𝑘‬
‫اإلثبات‪ :‬حسب التعريف‬
‫∞‪+‬‬
‫𝑡𝑑 𝑡𝛼𝑖‪[𝑓𝑘 (𝑡)](𝛼 ) = 𝐹 [𝑓(𝑘𝑡)](𝛼 ) = ∫−∞ 𝑓(𝑘𝑡) 𝑒 −‬‬

‫‪𝑥 1‬‬
‫= 𝑡 ⇒ 𝑡𝑘 = 𝑥‬ ‫𝑡𝑑 = 𝑥𝑑 ⇒‬
‫𝑘 𝑘‬
‫∞‪+‬‬
‫∞‪1 +‬‬ ‫𝛼‬
‫𝑒 )𝑡𝑘(𝑓 ∫ = ) 𝛼(])𝑡( 𝜏𝑓[ 𝐹‬ ‫𝑥𝑑 𝑥 𝑘 𝑖‪𝑑𝑡 = ∫ 𝑓(𝑥 ) 𝑒 −‬‬
‫𝑡𝛼𝑖‪−‬‬
‫∞‪−‬‬ ‫∞‪𝑘 −‬‬
‫∞‪1 +‬‬ ‫𝛼‬
‫) 𝑘 (𝑥𝑖‪−‬‬ ‫‪1‬‬ ‫𝛼‬
‫𝑒 𝑥 𝑓 ∫ =‬‫(‬ ‫)‬ ‫) ( ])𝑡(𝑓[ 𝐹 = 𝑥𝑑‬
‫∞‪𝑘 −‬‬ ‫𝑘‬ ‫𝑘‬

‫تحويل فوريه وجداء اللف‬

‫من أجل كل ) ‪ 𝐿 1 (ℝ‬و فإن‬


‫) 𝛼()𝑔( 𝐹 ‪𝐹 (𝑓 ∗ 𝑔)(𝛼 ) = 𝐹 (𝑓)(𝛼 ).‬‬
‫اإلثبات‪:‬‬
‫∞‪+‬‬ ‫∞‪+‬‬
‫𝑡𝛼𝑖‪−‬‬
‫∫ = ) 𝛼()𝑔( 𝐹 ‪𝐹 (𝑓)(𝛼 ).‬‬ ‫𝑒 )𝑡(𝑓‬ ‫∫ 𝑡𝑑‬ ‫𝑦𝑑 𝑦𝛼𝑖‪𝑔(𝑦) 𝑒 −‬‬
‫∞‪−‬‬ ‫∞‪−‬‬
‫∞‪+‬‬ ‫∞‪+‬‬
‫∫=‬ ‫∫‬ ‫𝑦𝑑𝑡𝑑 )𝑦‪𝑓(𝑡)𝑔(𝑦)𝑒 −𝑖𝛼(𝑡+‬‬
‫∞‪−‬‬ ‫∞‪−‬‬

‫نضع‬
‫𝑦‪𝑥 =𝑡+‬‬
‫∞‪+‬‬ ‫∞‪+‬‬
‫∫ = ) 𝛼()𝑔( 𝐹 ‪𝐹 (𝑓)(𝛼 ).‬‬ ‫∫[ 𝑥𝛼𝑖‪𝑒 −‬‬ ‫𝑥𝑑 ]𝑦𝑑)𝑦(𝑔)𝑦 ‪𝑓(𝑥 −‬‬
‫∞‪−‬‬ ‫∞‪−‬‬
‫∞‪+‬‬
‫∫=‬ ‫) 𝛼(]𝑔 ∗ 𝑓[ 𝐹 = 𝑥𝑑 𝑥𝛼𝑖‪(𝑓 ∗ 𝑔)(𝑥 )𝑒 −‬‬
‫∞‪−‬‬

‫ومنه‬
‫) 𝛼()𝑔 ∗ 𝑓( 𝐹 = ) 𝛼()𝑔( 𝐹 ‪𝐹 (𝑓)(𝛼 ).‬‬
‫قضية‪ :‬من أجل كل ) ‪ 𝐿 1 (ℝ‬و 𝑔 فإن‬
‫∞‪+‬‬ ‫∞‪+‬‬
‫∫‬ ‫∫ = 𝑡𝑑)𝑡( ̂𝑔 )𝑡(𝑓‬ ‫𝑡𝑑)𝑡( 𝑔 )𝑡( ̂𝑓‬
‫∞‪−‬‬ ‫∞‪−‬‬

‫اإلثبات‬
‫∞‪+‬‬ ‫∞‪+‬‬ ‫∞‪+‬‬
‫∫‬ ‫∫ = 𝑡𝑑)𝑡( ̂𝑔 )𝑡(𝑓‬ ‫∫ )𝑡( 𝑓‬ ‫𝑡𝑑 𝑦𝑑 𝑡𝑦𝑖‪𝑔(𝑦) 𝑒 −‬‬
‫∞‪−‬‬ ‫∞‪−‬‬ ‫∞‪−‬‬
‫∞‪+‬‬ ‫∞‪+‬‬ ‫∞‪+‬‬
‫∫=‬ ‫∫ )𝑦(𝑔‬ ‫𝑒 )𝑡(𝑓‬ ‫𝑡𝑦𝑖‪−‬‬
‫∫ = 𝑦𝑑 𝑡𝑑‬ ‫𝑦𝑑 )𝑦( ̂𝑓)𝑦(𝑔‬
‫∞‪−‬‬ ‫∞‪−‬‬ ‫∞‪−‬‬

‫تحويل فوريه لمشتق تابع‬

‫نظرية‪ :‬اذا كان ) ‪ 𝑓 ∈ 𝐶 1 (ℝ) 𝑓, 𝑓 ′ 𝜖 𝐿 1 (ℝ‬فإن‬


‫) 𝛼(])𝑡(𝑓[ 𝐹 𝛼𝑖 = ) 𝛼(])𝑡( ‪𝐹 [𝑓 ′‬‬
‫∞‪+‬‬
‫اإلثبات‪ :‬لدينا 𝑡𝑑 𝑡𝛼𝑖‪ 𝐹 [𝑓 ′ (𝑡)](𝛼 ) = ∫−∞ 𝑓 ′ (𝑡) 𝑒 −‬باستخدام التكامل بالتجزئة‬

‫𝑡𝛼𝑖‪ 𝑈 = 𝑒 −𝑖𝛼𝑡 ⇒ 𝑈 ′ = −𝑖𝛼𝑒 −‬و )𝑡(𝑓 = 𝑉 ⇒ )𝑡( ‪𝑉 ′ = 𝑓 ′‬‬


‫∞‪+‬‬ ‫∞‪+‬‬ ‫∞‪+‬‬
‫) 𝛼(])𝑡(𝑓[ 𝐹𝛼𝑖 = 𝑡𝑑 𝑡𝛼𝑖‪∫−∞ 𝑓 ′ (𝑡) 𝑒 −𝑖𝛼𝑡 𝑑𝑡 = [𝑓 (𝑡)𝑒 −𝑖𝛼𝑡 ]−∞ + 𝑖𝛼 ∫−∞ 𝑓 (𝑡) 𝑒 −‬‬

‫مبرهنة من أجل كل ) ‪ 𝑓 ∈ 𝐶 𝑛 (ℝ) 𝑓, 𝑓 ′ , … 𝑓 (𝑛) 𝜖 𝐿 1 (ℝ‬فإن‬

‫) 𝛼(])𝑡(𝑓[ 𝐹 𝑛) 𝛼𝑖( = ) 𝛼(])𝑡( )𝑛( 𝑓[𝐹‬

‫اإلثبات ‪:‬باستخدام االستدالل بالتراجع‬

‫) 𝛼(])𝑡(𝑓[ 𝐹 = ) 𝛼(])𝑡(𝑓[ 𝐹 ‪𝐹 [𝑓(𝑡)](𝛼 ) = 𝐹[𝑓 (0) (𝑡)](𝛼 ) = (𝑖𝛼 )0‬‬ ‫‪:𝑛=0‬‬

‫نفرض ان الخاصية صحيحة من اجل 𝑛 ونبرهن صحتها من اجل ‪𝑛 + 1‬‬


‫‪′‬‬ ‫∞‪+‬‬ ‫‪′‬‬
‫𝑡𝑑 𝑡𝛼𝑖‪𝐹[𝑓 (𝑛+1) (𝑡)](𝛼 ) = 𝐹 [(𝑓 (𝑛) ) (𝑡)] (𝛼 ) = ∫−∞ (𝑓 (𝑛) ) (𝑡) 𝑒 −‬‬
‫∞‪+‬‬ ‫∞‪+‬‬
‫) 𝛼(])𝑡(𝑓[ 𝐹 ‪= [𝑓 (𝑛) (𝑡)𝑒 −𝑖𝛼𝑡 ]−∞ + 𝑖𝛼 ∫−∞ 𝑓 (𝑛) (𝑡) 𝑒 −𝑖𝛼𝑡 𝑑𝑡 = (𝑖𝛼 )𝑛+1‬‬

‫تحويل فوريه للتابع ‪𝑡 → 𝑡𝑓 (𝑡) , 𝑡 ∈ ℝ‬‬

‫مبرهنة‪ :‬لتكن ) ‪ 𝑓𝜖 𝐿 1 (ℝ‬و ) ‪ 𝑡 ∈ ℝ → 𝑡𝑓 (𝑡)𝜖 𝐿1 (ℝ‬عندئذ يكون ) 𝛼(]𝑓[ 𝐹‬


‫قابل لالشتقاق ويحقق‬
‫) 𝛼(])𝑡(𝑓[ ‪𝐹 [𝑡𝑓(𝑡)](𝛼 ) = 𝑖. 𝐹 ′‬‬
‫اإلثبات‬
‫𝜕‬ ‫∞‪𝜕 +‬‬ ‫∞‪+‬‬
‫𝜕‬
‫= ) 𝛼(])𝑡(𝑓[ 𝐹‬ ‫∫ = 𝑡𝑑 𝑡𝛼𝑖‪∫ 𝑓(𝑡) 𝑒 −‬‬ ‫𝑡𝑑) 𝑡𝛼𝑖‪(𝑓 (𝑡) 𝑒 −‬‬
‫𝛼𝜕‬ ‫∞‪𝜕𝛼 −‬‬ ‫𝛼𝜕 ∞‪−‬‬
‫∞‪+‬‬ ‫∞‪+‬‬
‫𝑡𝛼𝑖‪−‬‬
‫∫=‬ ‫𝑒 )𝑡( 𝑓𝑡𝑖‪−‬‬ ‫∫ 𝑖‪𝑑𝑡 = −‬‬ ‫𝑡𝑑 𝑡𝛼𝑖‪𝑡𝑓 (𝑡) 𝑒 −‬‬
‫∞‪−‬‬ ‫∞‪−‬‬

‫ومنه‬
‫∞‪+‬‬
‫𝜕‬
‫∫‬ ‫𝑖 = 𝑡𝑑 𝑡𝛼𝑖‪𝑡𝑓 (𝑡) 𝑒 −‬‬ ‫) 𝛼(])𝑡( 𝑓[ ‪𝐹 [𝑓(𝑡)](𝛼 ) = 𝑖𝐹 ′‬‬
‫∞‪−‬‬ ‫𝛼𝜕‬

‫مبرهنة‬

‫ليكن ) ‪ 𝑓𝜖 𝐿 1 (ℝ‬و ) ‪ 𝑡 → 𝑡 𝑘 𝑓(𝑡)𝜖 𝐿 1 (ℝ‬من اجل ‪ 𝒕 ∈ ℝ‬عندئذ )‪𝐹 [𝑓 ](𝛼 ) ∈ 𝐶 (𝑘) (ℝ‬‬
‫)𝑘(‬
‫𝑘‬ ‫[ )𝑘( 𝑘‬ ‫𝜕𝑘‬
‫𝐹 𝑖 = ) 𝛼(])𝑡(𝑓 𝑡[ 𝐹‬ ‫= ) 𝛼(])𝑡(𝑓‬ ‫)) 𝛼(])𝑡(𝑓[ 𝐹( 𝑘 𝑖‬ ‫ويكون لدينا‬
‫𝛼 𝜕‬

‫اإلثبات‬
‫باستخدام االستدالل بالتراجع‪ .‬من اجل ‪𝑘 = 0‬‬
‫)‪𝜕(0‬‬
‫‪𝐹 [𝑡 0 𝑓(𝑡)](𝛼 ) = 𝑖 0 𝐹 (0) [𝑓(𝑡)](𝛼 ) = 𝑖 0‬‬ ‫)) 𝛼(])𝑡(𝑓[ 𝐹(‬
‫𝛼 ‪𝜕0‬‬

‫نفرض ان الخاصية صحيحة من اجل 𝑘 ونبرهن صحتها من اجل ‪𝑘 + 1‬‬


‫)𝑘( 𝜕‬ ‫𝜕 ‪1‬‬
‫= ) 𝛼(])𝑡(𝑓[ )‪𝐹 (𝑘+1‬‬ ‫𝑘 = ) 𝛼(])𝑡(𝑓[ 𝐹‬ ‫) 𝛼(])𝑡(𝑓 𝑘 𝑡[ 𝐹‬
‫𝛼𝜕‬ ‫𝛼𝜕 𝑖‬
‫‪1‬‬
‫=‬ ‫) 𝛼(])𝑡(𝑓 ‪𝐹 [𝑡 𝑘+1‬‬
‫‪𝑖𝑘+1‬‬
‫[𝐹‬ ‫‪𝑘+1‬‬
‫ومنه ) 𝛼(])𝑡(𝑓[ )‪𝑓(𝑡)](𝛼 ) = 𝑖𝑘+1 𝐹 (𝑘+1‬‬
‫عبارة بول ونشار ويرسل فال‬

‫ليكن ) ‪ 𝑓𝜖 𝐿 1 (ℝ‬و𝑔 عندئذ يكون لدينا‬


‫∞‪+‬‬ ‫∞‪+‬‬
‫‪1‬‬
‫∫‬ ‫̅̅̅̅̅̅ )𝑡(𝑓‬
‫= 𝑡𝑑)𝑡(𝑔‬ ‫)‪∫ 𝐹 [𝑓(𝑡)](𝛼 ) . 𝐹̅ [𝑔(𝑡)](𝛼 )𝑑𝛼 (1‬‬
‫∞‪−‬‬ ‫∞‪2𝜋 −‬‬
‫∞‪+‬‬
‫∞‪1 +‬‬
‫∫‬ ‫𝑡( 𝑓|‬ ‫‪)|2‬‬ ‫= 𝑡𝑑‬ ‫)‪∫ |𝐹 [𝑓(𝑡)](𝛼 )|2 𝑑𝛼 (2‬‬
‫∞‪−‬‬ ‫∞‪2𝜋 −‬‬

‫اإلثبات‬
‫∞‪+‬‬ ‫∞‪+‬‬
‫∞‪1 +‬‬
‫∫‬ ‫̅̅̅̅̅̅ )𝑡(𝑓‬
‫∫ = 𝑡𝑑)𝑡(𝑔‬ ‫)𝑡(𝑓‬ ‫)‪∫ 𝐹̅ [𝑔(𝑡)](𝛼 )𝑒 −𝑖𝛼𝑡 𝑑𝛼 𝑑𝑡 (1‬‬
‫∞‪−‬‬ ‫∞‪−‬‬ ‫∞‪2𝜋 −‬‬
‫∞‪+‬‬ ‫∞‪+‬‬
‫‪1‬‬
‫=‬ ‫̅‬
‫𝛼𝑑 𝑡𝑑 𝑡𝛼𝑖‪∫ 𝐹 [𝑔(𝑡)](𝛼 ) ∫ 𝑓(𝑡)𝑒 −‬‬
‫∞‪2𝜋 −‬‬ ‫∞‪−‬‬
‫∞‪+‬‬
‫‪1‬‬
‫=‬ ‫𝛼𝑑) 𝛼(])𝑡(𝑔[ ̅𝐹 ) 𝛼(])𝑡(𝑓[ 𝐹 ∫‬
‫∞‪2𝜋 −‬‬
‫∞‪+‬‬ ‫∞‪+‬‬
‫∫‬ ‫𝑡( 𝑓|‬ ‫‪)|2‬‬ ‫∫ = = 𝑡𝑑‬ ‫̅̅̅̅̅̅ )𝑡(𝑓‬
‫𝑡𝑑)𝑡(𝑓‬
‫∞‪−‬‬ ‫∞‪−‬‬
‫∞‪+‬‬
‫‪1‬‬
‫=‬ ‫𝛼𝑑) 𝛼(])𝑡(𝑔[ ̅𝐹 ) 𝛼(])𝑡(𝑓[ 𝐹 ∫‬ ‫)‪(2‬‬
‫∞‪2𝜋 −‬‬
‫∞‪1 +‬‬
‫=‬ ‫𝛼𝑑 ‪∫ |𝐹 [𝑓(𝑡)](𝛼 )|2‬‬
‫∞‪2𝜋 −‬‬

‫حل معادالت تفاضلية باستخدام تحويل فوريه‬


‫‪ )1‬معادالت تفاضلية من الشكل ‪ 𝒂𝒙′ + 𝒃𝒙 = 𝒇 :‬حيث 𝑏 ‪ 𝑎,‬ثوابت حقيقية و 𝑓 دالة معلومة‪:‬‬
‫نطبق على الطرفين تحويل فوريي مع األخذ بعين االعتبار خواص هذا األخير فنجد‬
‫) 𝛼(]𝑓[ 𝐹 = ) 𝛼(] 𝑥𝑏 ‪𝐹 [𝑎𝑥 ′ +‬‬
‫) 𝛼(]𝑓[ 𝐹 = ) 𝛼()𝒙( 𝐹𝑏 ‪𝑎𝐹 (𝒙′ )(𝛼 ) +‬‬
‫) 𝛼(]𝑓[ 𝐹 = ) 𝛼(] 𝑥[ 𝐹𝑏 ‪𝑎𝑖. 𝛼𝐹 [𝑥 ](𝛼 ) +‬‬
‫) 𝛼(]𝑓[ 𝐹 = ) 𝛼(] 𝑥[ 𝐹)𝑏 ‪(𝑎𝑖. 𝛼 +‬‬
‫) 𝛼(]𝑓[ 𝐹‬
‫= ) 𝛼(] 𝑥[ 𝐹‬
‫)𝑏 ‪(𝑎𝑖. 𝛼 +‬‬
‫معادالت تفاضلية من الشكل 𝑓 = 𝑥𝑐 ‪𝑎𝑥 ′′ + 𝑏𝑥 ′ +‬‬
‫) 𝛼(]𝑓[ 𝐹 = ) 𝛼(] 𝑥𝑐 ‪𝐹 [𝑎𝑥 ′′ + 𝑏𝑥 ′ +‬‬
‫) 𝛼(] 𝑓[ 𝐹 = ) 𝛼(] 𝑥[ 𝐹𝑐 ‪𝑎𝐹 [𝒙′′ ](𝛼 ) + 𝑏𝐹 [𝒙′ ](𝛼 ) +‬‬
‫) 𝛼(]𝑓[ 𝐹 = ) 𝛼(] 𝑥[ 𝐹𝑐 ‪𝑎(𝑖𝛼 )2 𝐹[𝑥 ](𝛼 ) + 𝑏𝑖𝛼𝐹 [𝑥 ](𝛼 ) +‬‬
‫) 𝛼(]𝑓[ 𝐹 = ) 𝛼(] 𝑥[ 𝐹)𝑐 ‪(𝑎 (𝑖𝛼 )2 + 𝑏𝑖𝛼 +‬‬
‫) 𝛼(]𝑓[ 𝐹‬
‫= ) 𝛼(] 𝑥[ 𝐹‬
‫)𝑐 ‪(−𝑎(𝛼 )2 + 𝑏𝑖𝛼 +‬‬
‫مثال‬
‫اوجد حل المعادلة التفاضلية التالية‬
‫)𝑡(𝑓 = )𝑡( 𝑥 ‪−𝑥 ′′ (𝑡) +‬‬
‫الحل‬
‫) 𝛼(])𝑡(𝑓[ 𝐹 = ) 𝛼(])𝑡( 𝑥 ‪F[−𝑥 ′′ (𝑡) +‬‬

‫) 𝛼(])𝑡(𝑓[ 𝐹 = ) 𝛼(])𝑡(𝑥[ 𝐹 ‪−𝐹 [𝑥 ′′ (𝑡)](𝛼 ) +‬‬


‫) 𝛼(])𝑡(𝑓[ 𝐹 = ) 𝛼(])𝑡( 𝑥[ 𝐹 ‪𝛼 2 𝐹[𝑥 (𝑡)](𝛼 ) +‬‬
‫) 𝛼(])𝑡(𝑓[ 𝐹 = ) 𝛼(])𝑡( 𝑥[ 𝐹 ) ‪(1 + 𝛼 2‬‬
‫) 𝛼(])𝑡(𝑓[ 𝐹‬
‫= ) 𝛼(])𝑡( 𝑥[ 𝐹‬ ‫‪2‬‬
‫|𝑡|‪= 𝐹 [𝑓(𝑡)](𝛼 ). 𝐹 [𝑔(𝑡)](𝛼 ) ∕ 𝑔(𝑡) = 𝑒 −‬‬
‫𝛼‪1+‬‬
‫) 𝛼(])𝑡()𝑔 ∗ 𝑓([ 𝐹 =‬
‫∞‪+‬‬
‫∫ = )𝑡()𝑔 ∗ 𝑓( = )𝑡( 𝑥‬ ‫𝑥𝑑 |𝑡‪𝑓 (𝑥 ) 𝑒 |𝑥−‬‬
‫∞‪−‬‬

‫حل معادالت تكاملية باستخدام تحويل فوريه‬


‫متال اوجد حل المعادلة التكاملية التالية‬
‫∞‪+‬‬
‫‪1‬‬
‫∫‬ ‫= 𝑡𝑑)𝑡(𝑓 )𝑡 ‪𝑓(𝑥 −‬‬
‫∞‪−‬‬ ‫‪𝑥2 + 1‬‬
‫الحل‬
‫∞‪+‬‬
‫‪1‬‬ ‫‪1‬‬
‫∫‬ ‫= 𝑡𝑑)𝑡(𝑓 )𝑡 ‪𝑓 (𝑥 −‬‬ ‫⇒‬ ‫(‬‫𝑓‬ ‫∗‬ ‫𝑓‬ ‫()‬‫𝑥‬ ‫)‬ ‫=‬
‫∞‪−‬‬ ‫‪𝑥2 + 1‬‬ ‫‪𝑥2 + 1‬‬
‫‪1‬‬
‫‪⇒ 𝐹 [(𝑓 ∗ 𝑓)(𝑥 )](𝛼 ) = 𝐹 [ 2‬‬ ‫) 𝛼( ]‬
‫‪𝑥 +1‬‬
⇒ [𝐹 [𝑓(𝑥 )](𝛼 )]2 = 𝜋𝑒 −|𝛼|
|𝛼|
−2 √𝜋 −|𝛼|
⇒ 𝐹 [𝑓(𝑥 )](𝛼 ) = √𝜋𝑒 = 2𝑒 2
2
√𝜋 1 √𝜋 1
= 𝐹[ 2 ] (𝛼 ) = 𝐹 [ ( 2 )] (𝛼 )
2 4𝑥 + 1 2 4𝑥 + 1

√𝜋 1
⇒ 𝑓 (𝑥 ) = ( 2 )
2 4𝑥 + 1

You might also like