FACT: 任意週期為 2π 之連續函數 f 必存在一組 trigonometric polynomial P:=N∑−Ncneinx 使得 對任意 x∈R 而言,
|P(x)−f(x)|<ε
但是上述定理無法告訴我們何時週期函數可以被表示成 Fourier Series,故下面的定理尤為重要,通常用此定理判斷某週期函數是否可以表示成 Fourier Series (Pointwise sense)。
================
Theorem 0: Pointwise Convergence of Fourier Series
若 對某些 x∈[−π,π] 而言, 存在 δ>0 與 M>0 使得 對任意 t∈(−δ,δ)
|t|<δ⇒|f(x+t)−f(x)|<M|t|則 limN→∞SN(f;x)=f(x)
===============
接著我們介紹另一個相對於 逐點收斂的重要的結果,稱作 L^2 收斂,亦即 Fourier Series 在 convergence in L^2。
================
Theorem 1: Fourier Series Converges in L^2
假設 f,g 為 週期 2π 之 週期連續函數,且
f(x)∼∞∑−∞cneinx;g(x)∼∞∑−∞γneinx 則
limN→∞12π∫π−π|f(x)−SN(f;x)|2dx=limN→∞‖f−SN‖22=0其中 SN(f;x):=N∑−Ncneinx
================
Proof:
令 ε>0,目標要證明 ||f−SN(f)||2<ε。由於 f 為週期 2π 之 週期連續函數,由 FACT 可知必存在一組 trigonometric polynomial P 使得 對任意 x∈R 而言,
|P(x)−f(x)|<ε⇒||P−f||2<ε若 P 有階數為 N0 階,則由於 SN(f) 為最佳近似 f (請參閱先前BLOG文章 或者 Rudin Theorem8.11) ,對 N≥N0,
||f−SN(f)||2≤||f−P||2<ε ◻
我們有以下的 Parseval's identity:
=================
Theorem 2: Parseval's Theorem
假設 f,g 為 週期 2π 之 週期連續函數,且
f(x)∼∞∑−∞cneinx;g(x)∼∞∑−∞γneinx 則
12π∫π−πf(x)g∗(x)dx=∞∑−∞cnγ∗n=================
Proof:
首先觀察
12π∫π−πSN(f)g∗(x)dx=12π∫π−πN∑−Ncneinxg∗(x)dx=12πN∑−Ncn∫π−πeinxg∗(x)dx⏟=γ∗n2π=N∑−Ncnγ∗n接著我們檢驗
|∫π−πf(x)g∗(x)dx−∫π−πSN(f)g∗(x)dx|=|∫π−π[f(x)−SN(f)]g∗(x)dx|≤∫π−π|[f(x)−SN(f)]g∗(x)|dxbySchwarzinequality≤(∫π−π|f(x)−SN(f)|2dx⋅∫π−π|g∗(x)|2dx)12→0當 N→∞。注意到上式收斂成立是因為我們 ∫|g|2 有界 且 ∫|f−SN|→0 當 N→∞ (由前面的 Theorem 1) ◻
Comment:
一般而言,Parseval's Thoerem 泛指下式:令 前述 Parseval's Theorem g(x):=f(x),則
12π∫π−πf(x)f∗(x)dx=∞∑n=−∞cnc∗n⇒12π∫π−π|f(x)|2dx=∞∑n=−∞|cn|2
現在我們看個例子 說明 Parseval Theorem 怎麼使用。
Example:Application of the Parseval Theorem/ Pointwise Convergence Theorem
假設 0<δ<π,
f(x):={1,|x|<δ0,δ<|x|≤π且對任意 x∈R, f(x+2π)=f(x)
(a) 試求 Fourier Series Coefficient
(b) 試證 ∞∑n=1sin2(nδ)n2δ=π−δ2
Solution
在求解之前我們先確認 f(x) 具有 Fourier Series,首先注意到 f 為週期函數 (週期為 2π) 接著我們檢驗其是否滿足我們的 逐點收斂 (Theorem 0) 條件:
給定 x=0 ,我們取題目中給定的 δ>0 檢驗對任意 t∈(−δ,δ) ,觀察
|f(x+t)−f(x)|=|f(t)−f(0)|=|1−1|=0≤M|t|故我們知道其滿足 Theorem 0,亦即 f 有 Fourier Series 且 f(x)=∑∞−∞cneinx 現在我們可以開始解題:
(a) 首先針對 c0 可知
c0:=12π∫π−πf(x)dx=12π∫δ−δ1dx=δπ
另外對 n≠0
cn:=12π∫π−πf(x)einxdx=12π∫δ−δ1einxdx=1nπeinδ−e−inδ2i=1nπsin(nδ)注意到上述結果暗示了
f(x)=δπ+2∞∑n=1sin(nδ)nπeinx
(b) 我們要證明 ∞∑n=1sin2(nδ)n2δ=π−δ2 注意到 part (a) 求出的 Fourier Series coefficient 的平方 出現在等號左方,暗示了我們可使用 Parserval's Theorem 亦即
∞∑n=−∞cn2=12π∫π−π|f(x)|2dx⇒c02+2∞∑n=1cn2=12π∫δ−δ1dx⇒(δπ)2+2∞∑n=1(sin(nδ)nπ)2=δπ⇒∞∑n=1(sin2(nδ)n2δ)=π−δ2
12π∫π−πSN(f)g∗(x)dx=12π∫π−πN∑−Ncneinxg∗(x)dx=12πN∑−Ncn∫π−πeinxg∗(x)dx⏟=γ∗n2π=N∑−Ncnγ∗n接著我們檢驗
|∫π−πf(x)g∗(x)dx−∫π−πSN(f)g∗(x)dx|=|∫π−π[f(x)−SN(f)]g∗(x)dx|≤∫π−π|[f(x)−SN(f)]g∗(x)|dxbySchwarzinequality≤(∫π−π|f(x)−SN(f)|2dx⋅∫π−π|g∗(x)|2dx)12→0當 N→∞。注意到上式收斂成立是因為我們 ∫|g|2 有界 且 ∫|f−SN|→0 當 N→∞ (由前面的 Theorem 1) ◻
Comment:
一般而言,Parseval's Thoerem 泛指下式:令 前述 Parseval's Theorem g(x):=f(x),則
12π∫π−πf(x)f∗(x)dx=∞∑n=−∞cnc∗n⇒12π∫π−π|f(x)|2dx=∞∑n=−∞|cn|2
現在我們看個例子 說明 Parseval Theorem 怎麼使用。
Example:Application of the Parseval Theorem/ Pointwise Convergence Theorem
假設 0<δ<π,
f(x):={1,|x|<δ0,δ<|x|≤π且對任意 x∈R, f(x+2π)=f(x)
(a) 試求 Fourier Series Coefficient
(b) 試證 ∞∑n=1sin2(nδ)n2δ=π−δ2
Solution
在求解之前我們先確認 f(x) 具有 Fourier Series,首先注意到 f 為週期函數 (週期為 2π) 接著我們檢驗其是否滿足我們的 逐點收斂 (Theorem 0) 條件:
給定 x=0 ,我們取題目中給定的 δ>0 檢驗對任意 t∈(−δ,δ) ,觀察
|f(x+t)−f(x)|=|f(t)−f(0)|=|1−1|=0≤M|t|故我們知道其滿足 Theorem 0,亦即 f 有 Fourier Series 且 f(x)=∑∞−∞cneinx 現在我們可以開始解題:
(a) 首先針對 c0 可知
c0:=12π∫π−πf(x)dx=12π∫δ−δ1dx=δπ
另外對 n≠0
cn:=12π∫π−πf(x)einxdx=12π∫δ−δ1einxdx=1nπeinδ−e−inδ2i=1nπsin(nδ)注意到上述結果暗示了
f(x)=δπ+2∞∑n=1sin(nδ)nπeinx
(b) 我們要證明 ∞∑n=1sin2(nδ)n2δ=π−δ2 注意到 part (a) 求出的 Fourier Series coefficient 的平方 出現在等號左方,暗示了我們可使用 Parserval's Theorem 亦即
∞∑n=−∞cn2=12π∫π−π|f(x)|2dx⇒c02+2∞∑n=1cn2=12π∫δ−δ1dx⇒(δπ)2+2∞∑n=1(sin(nδ)nπ)2=δπ⇒∞∑n=1(sin2(nδ)n2δ)=π−δ2
沒有留言:
張貼留言