Loading [MathJax]/jax/output/CommonHTML/jax.js

11/16/2010

[數學分析] Fourier Series 的 L^2 收斂 與 Parseval's Theorem

首先回憶一些 Fourier Series 重要的結果

FACT: 任意週期為 2π 之連續函數 f 必存在一組 trigonometric polynomial P:=NNcneinx 使得 對任意 xR 而言,
|P(x)f(x)|<ε

但是上述定理無法告訴我們何時週期函數可以被表示成 Fourier Series,故下面的定理尤為重要,通常用此定理判斷某週期函數是否可以表示成 Fourier Series (Pointwise sense)。

================
Theorem 0: Pointwise Convergence of Fourier Series
若 對某些 x[π,π] 而言, 存在 δ>0M>0 使得 對任意 t(δ,δ)
|t|<δ|f(x+t)f(x)|<M|t|limNSN(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
limN12πππ|f(x)SN(f;x)|2dx=limNfSN22=0其中 SN(f;x):=NNcneinx
================
Proof:
ε>0,目標要證明 ||fSN(f)||2<ε。由於 f 為週期 2π 之 週期連續函數,由 FACT 可知必存在一組 trigonometric polynomial P 使得 對任意 xR 而言,
|P(x)f(x)|<ε||Pf||2<εP 有階數為 N0 階,則由於 SN(f) 為最佳近似 f (請參閱先前BLOG文章 或者 Rudin Theorem8.11) ,對 NN0
||fSN(f)||2||fP||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πππNNcneinxg(x)dx=12πNNcnππeinxg(x)dx=γn2π=NNcnγ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)120N。注意到上式收斂成立是因為我們 |g|2 有界 且 |fSN|0N (由前面的 Theorem 1)

Comment:
一般而言,Parseval's Thoerem 泛指下式:令 前述 Parseval's Theorem g(x):=f(x),則
12πππf(x)f(x)dx=n=cncn12πππ|f(x)|2dx=n=|cn|2


現在我們看個例子 說明 Parseval Theorem 怎麼使用。

Example:Application of the Parseval Theorem/ Pointwise Convergence Theorem
假設 0<δ<π
f(x):={1,|x|<δ0,δ<|x|π且對任意 xRf(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)|=|11|=0M|t|故我們知道其滿足 Theorem 0,亦即 f 有 Fourier Series 且 f(x)=cneinx 現在我們可以開始解題:
(a) 首先針對 c0 可知
c0:=12πππf(x)dx=12πδδ1dx=δπ
另外對 n0
cn:=12πππf(x)einxdx=12πδδ1einxdx=1nπeinδeinδ2i=1nπsin(nδ)注意到上述結果暗示了
f(x)=δπ+2n=1sin(nδ)nπeinx
(b) 我們要證明  n=1sin2(nδ)n2δ=πδ2 注意到 part (a) 求出的 Fourier Series coefficient 的平方 出現在等號左方,暗示了我們可使用 Parserval's Theorem 亦即
n=cn2=12πππ|f(x)|2dxc02+2n=1cn2=12πδδ1dx(δπ)2+2n=1(sin(nδ)nπ)2=δπn=1(sin2(nδ)n2δ)=πδ2

沒有留言:

張貼留言

[人工智慧] 本地端 DeepSeek R1 快速安裝:以 Macbook Pro M4 Chip為例

最近火熱的 DeepSeek R1 模型由於採用了 distill 技術,可以大幅降低計算成本,使得一般人有機會在自家筆電上跑性能逼近 Open AI ChatGPT o1的大語言模型。本文簡單介紹一步安裝在 Macbook Pro 的方法以及使用方法,以下測試採用 Macboo...