24小时热门版块排行榜    

查看: 2057  |  回复: 6
本帖产生 1 个 信息EPI ,点击这里进行查看

放牛班毕业

铁虫 (初入文坛)

[交流] 吉布斯现象是否意味着高数中的狄利克雷定理有点问题?已有1人参与

高数中有关傅里叶级数的狄利克雷定理是这么说的,在间断点上收敛于(f(0-)+f(0+))/2;而在连续点上收敛于f(x)。另外,在高数中讲这个收敛的时候就是指的是原始意义的等值收敛,并不是后来所谓的均方收敛。


可吉布斯现象的文献告诉我们说,对于无限项和,吉布斯峰值也不消失,即在间断点的无限小邻域内仍然存在高出f(x)9%的吉布斯峰,也就是说,  除了间断点  x=0外,还有不收敛于f(x)的点存在,这和狄利克雷定理有一定矛盾。
回复此楼

» 猜你喜欢

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
回帖置顶 ( 共有1个 )

junefi

铁杆木虫 (正式写手)

★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
小木虫: 金币+0.5, 给个红包,谢谢回帖
conanwj: 金币+20, 信息EPI+1, 优秀解答 2018-06-27 18:33:11
引用回帖:
5楼: Originally posted by 放牛班毕业 at 2018-06-26 16:31:46
谢谢你再次耐心回复。也许我对数学上的收敛的理解还停留在表面上,没有真正理解。

你上面讲的,我大体上明白了,可总是和实际联系不起来。

可我总觉得, 对于信号总要有个直观的东西作为结论。对于信号 ...

画图在于你想要的精度是多少, 为了说明这个图应该怎样画, 我举个方波的例子.

下图中Fig. 1是方波的Fourier逼近, 其中三根曲线分别对应三个不同的N(不同的精度). 当N=10^6时, 已经有点像你给出的截图了. 注意横坐标.

但是当我们把横坐标放大看(只看Fig. 1中原点附近的1/10), 如图Fig. 2所示, 我们发现原来"挺好"的图变得"不那么好"了.

同理, 我们可以再增大N画出以为很好的图. 但是当我们再放大看时, 又会出现"奇怪的"现象了.

当N->∞时, Gibbs现象存在, 因此图变得不好画了: 既要表现Gibbs现象, 又要保持partial sum S(x)的连续性. 折中的方法如你给的截图给出一个大概的"现象图".

BTW, Fig. 1和Fig. 2也说明了Dirichlet定理和Gibbs现象并不矛盾(关键还是在于pointwise收敛). 如Fig. 1中, 横坐标x=0.2*10^{-3}对应的S(x), 在N=10^{4}并不接近f(x)的值(这里f的幅值是π/4), 原因是Gibbs的峰值就在这附近. 当我们增大N时, 峰值向左移动, 如其它线条所示.
吉布斯现象是否意味着高数中的狄利克雷定理有点问题?
Gibbs.jpg

理论改变世界!
6楼2018-06-26 18:12:45
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通回帖

junefi

铁杆木虫 (正式写手)


小木虫: 金币+0.5, 给个红包,谢谢回帖
这并没有矛盾, 也看不出任何矛盾. 首先, Dirichlet定理说的是逐点收敛(pointwise convergence), 不是uniform convergence, 更不是"均方收敛"(special case of convergence in L_p?); 就是指固定一点x (函数f的连续点), 那么必然存在足够多项的Fourier级数, 使得|S(x) - f(x)|要多小有多小 (partial sum在x收敛与f(x)).

而Gibbs现象的overshoot出现在哪里呢? 出现在不间断点x_0的邻域. 这个邻域多大? 可以足够小!!! 什么叫足够小? 想要多小就有多小, 只要Fourier级数的项足够多!

从这里可以依稀感觉到了, 不间断点的overshoot是会移动的. 在不间断点x_0的邻域会出现overshoot, 但是随着级数项的增多, 这个overshoot会向x_0移动, 想要移动多近就移动多近, 即我们所说的这个邻域想要多小就有多小, 小到里面几乎只剩x_0 (非严格意义的说法).

几乎只剩x_0的解释: 假设我们在x_0的邻域找到另一个点x_1, 这个overshoot刚好在x_1处. 那我们改怎么办? 增加Fourier级数的项, 此时overshoot就会向x_0移动而远离x_1. 那么x_1就不在overshoot所在的x_0的新邻域内了.
理论改变世界!
2楼2018-06-26 09:45:23
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

放牛班毕业

铁虫 (初入文坛)

引用回帖:
2楼: Originally posted by junefi at 2018-06-26 09:45:23
这并没有矛盾, 也看不出任何矛盾. 首先, Dirichlet定理说的是逐点收敛(pointwise convergence), 不是uniform convergence, 更不是"均方收敛"(special case of convergence in L_p?); 就是指固定一 ...

谢谢您的回复,我不是学数学出身,提的问题可能有点幼稚。

单位阶跃函数的定义是,若 x<0时,f(x)=1;若x>0时,f(x)=0; 若x=0时无定义,或定义为f(0)=1/2。那么按我的理解,再小的邻域也属于x<0或者x>0,  于是这个overshoot无论怎么靠近x=0,也只能属于x<0或者x>0。当n→∞时,在 x<0这个区间上肯定有一个overshoot。按狄利克雷定理的意思,x<0这个区间上都应该是点点收敛的吧,可是这个overshoot所在点,肯定就不收敛于原函数了,原函数只要x<0,函数值就是1,无限项合成之后却是overshoot。
3楼2018-06-26 11:22:29
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

junefi

铁杆木虫 (正式写手)


小木虫: 金币+0.5, 给个红包,谢谢回帖
引用回帖:
3楼: Originally posted by 放牛班毕业 at 2018-06-26 11:22:29
谢谢您的回复,我不是学数学出身,提的问题可能有点幼稚。

单位阶跃函数的定义是,若 x<0时,f(x)=1;若x>0时,f(x)=0; 若x=0时无定义,或定义为f(0)=1/2。那么按我的理解,再小的邻域也属于x<0或者 ...

你说的意思其实有点像uniform convergence, 也就是指先固定partial sum的项数N, 然后去check每一点是否都"收敛"(离f(x)函数值很近). 但事实上Dirichlet定理说的不是uniform convergence, 而是POINTWISE收敛. POINTWISE收敛指的是我每次都固定一点看, 如连续点x_0, 那么S(x_0)离函数f(x_0)多近呢? 这要看N多大, 如果这点的值S(x_0)离f(x_0)很远, 我就增大N. Dirichlet定理说我总能找到一个足够大的N使得S(x_0)离f(x_0)足够近. 所以这个N是和x_0有关的.

例如你说的step function, 在x=1处, 可能N=100就有S(1)和f(1)足够小了; 但是在x=0.01, 这个N可能要10000; 而在x=0.0001, 这个N可能就要更大. 无论你考虑的x有多么接近0, 因为它是连续点, 总能找到一个N(很大很大很大, 依赖于x的选择), 使得S(x)离f(x)足够近.

注意, 这里我们是只看一个点, 而选择使得在这个点下partial sum"能靠近"f函数值的N, 其它点在这个N下靠不靠近f我们不管. 如果我们需要观察其它点, 那么就要重新为所观察的点选择足够大的N. 这是POINTWISE收敛的"精髓".

现在回来看看overshoot在哪里. 上面的例子, 在x=1处, overshoot可能在0.01附近(假设的); 而在x=0.01, 在刚才说了N=100时overshoot刚好在这里, 那现在我们该怎么办? 选择N=10000, 此时overshoot向左移动了(可能移动到了0.0001附近), 使得在x=0.01处能收敛了... 因为这个overshoot的移动, 所以无论我们考虑哪个连续点(这个连续点如何接近x=0), 我们都能把overshoot再向原点处移动(这是因为实数是dense的, 一个大于0的数, 它的左边总是还有大于0的数, 所以overshoot还能往左移).

BTW, 我也不是数学出身的...

Remark: 我看了你发的帖子, 你似乎对收敛这个概念不是很清楚. 你可以先复习一下极限的(ε, δ)-definition.
理论改变世界!
4楼2018-06-26 12:17:11
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

放牛班毕业

铁虫 (初入文坛)

引用回帖:
4楼: Originally posted by junefi at 2018-06-26 12:17:11
你说的意思其实有点像uniform convergence, 也就是指先固定partial sum的项数N, 然后去check每一点是否都"收敛"(离f(x)函数值很近). 但事实上Dirichlet定理说的不是uniform convergence, 而 ...

谢谢你再次耐心回复。也许我对数学上的收敛的理解还停留在表面上,没有真正理解。

你上面讲的,我大体上明白了,可总是和实际联系不起来。

可我总觉得, 对于信号总要有个直观的东西作为结论。对于信号来说,波形是最直观的,当n→∞时,即用无限项合成的时候,最终的波形上应该能看到overshoot,也就是画波形图,总要把overshoot那一点画出来,到底画在哪呢?前两天我才从一本书上看到这个最终波形的画法。可是看到画出的这个波形的时候,我反而在数学上糊涂了。。。
吉布斯现象是否意味着高数中的狄利克雷定理有点问题?-1
Gibbs现象的解释2----系统与信号入门.png
5楼2018-06-26 16:31:46
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

放牛班毕业

铁虫 (初入文坛)

引用回帖:
4楼: Originally posted by junefi at 2018-06-26 12:17:11
你说的意思其实有点像uniform convergence, 也就是指先固定partial sum的项数N, 然后去check每一点是否都"收敛"(离f(x)函数值很近). 但事实上Dirichlet定理说的不是uniform convergence, 而 ...

我已经搞明白了。谢谢你的帮助指导。
7楼2018-06-30 16:17:25
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 放牛班毕业 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 化学工程与技术(学硕)297求调剂 5+4 @z张同学 2024-03-24 12/600 2024-03-28 23:29 by ftig
[考研] 调剂 +7 材料化工@ 2024-03-26 9/450 2024-03-28 22:26 by 星空星月
[教师之家] 冷漠的大学 +13 otani 2024-03-27 13/650 2024-03-28 21:33 by xiaoyucau
[考研] 294求调剂 +6 S时光S 2024-03-25 6/300 2024-03-28 20:09 by 麦田里的守望者
[考研] 本科双非一本,一志愿中南大学085600材料与化工309分,求南方学校调剂 +10 来秋_ 2024-03-23 10/500 2024-03-28 17:47 by LLLOOOLLLPPP
[考研] 311求调剂 +6 嗯嗯amc 2024-03-22 6/300 2024-03-28 17:02 by 快乐星球123
[考研] 291求调剂 +5 飞羽最棒 2024-03-27 10/500 2024-03-28 15:16 by qlm5820
[考研] 302求调剂 +6 范智乔ε 2024-03-26 6/300 2024-03-28 14:55 by qlm5820
[考研] 305求调剂 +3 菠萝菠萝汁 2024-03-28 3/150 2024-03-28 10:11 by 随风而动咦
[考研] 309求调剂 +8 小笨熊12138 2024-03-23 8/400 2024-03-27 16:26 by tkdmxl
[考研] 321分材料类 本科高分子求调剂 +16 Tumi1218 2024-03-22 19/950 2024-03-27 16:18 by tkdmxl
[考研] 化学工程与技术320求调剂 +3 Wjrjxmt 2024-03-25 3/150 2024-03-27 15:01 by 随风而动咦
[考研] 275求调剂 +7 小lllljk? 2024-03-26 7/350 2024-03-27 14:58 by siwuhen
[论文投稿] 一个月了,还没proof,需要催一下吗? +3 214356 2024-03-26 4/200 2024-03-27 11:52 by 214356
[考研] 工科学硕296调剂 +3 Altasa 2024-03-23 3/150 2024-03-27 09:50 by 3电子信息
[考研] 294求调剂 +7 迎秋87 2024-03-23 8/400 2024-03-26 11:29 by 201531180024
[考研] 313求调剂 +5 一战上岸者 2024-03-23 5/250 2024-03-26 10:41 by 环境功能材料-QU
[考研] 一志愿北京工业大学,材料工程,总分301求调剂 +9 hss0418 2024-03-24 14/700 2024-03-25 20:28 by EBSD
[考研] 中国原子能科学研究院接收调剂 +3 左霄● 2024-03-22 6/300 2024-03-25 20:23 by upc2580
[考研] 313求调剂 +3 azuse 2024-03-23 3/150 2024-03-24 13:41 by 旋风马
信息提示
请填处理意见