24小时热门版块排行榜    

查看: 2116  |  回复: 6
本帖产生 1 个 信息EPI ,点击这里进行查看
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

放牛班毕业

铁虫 (初入文坛)

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

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


可吉布斯现象的文献告诉我们说,对于无限项和,吉布斯峰值也不消失,即在间断点的无限小邻域内仍然存在高出f(x)9%的吉布斯峰,也就是说,  除了间断点  x=0外,还有不收敛于f(x)的点存在,这和狄利克雷定理有一定矛盾。
回复此楼
已阅   回复此楼   关注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的回帖
查看全部 7 个回答

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的回帖

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那一点画出来,到底画在哪呢?前两天我才从一本书上看到这个最终波形的画法。可是看到画出的这个波形的时候,我反而在数学上糊涂了。。。
吉布斯现象是否意味着高数中的狄利克雷定理有点问题?
Gibbs现象的解释2----系统与信号入门.png
5楼2018-06-26 16:31:46
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考博] 24年博士招生 +5 abinit432 2024-05-27 6/300 2024-05-28 20:34 by 中国银河
[基金申请] 信息学部函评结束了吗? +5 ducan21 2024-05-28 6/300 2024-05-28 20:12 by nending2
[基金申请] E10开始送了,希望有好运 +5 sail 2024-05-27 5/250 2024-05-28 18:36 by 芝小芝
[找工作] 找工作如此之难 +5 探123 2024-05-25 5/250 2024-05-28 16:50 by auvauv
[论文投稿] EI学报,一审返修后,为啥不再送审,直接终审中? 10+3 qweasd12345 2024-05-27 5/250 2024-05-28 14:55 by topedit
[论文投稿] EI期刊审稿人邮箱问题 5+3 shier妈妈 2024-05-27 4/200 2024-05-28 14:53 by topedit
[找工作] 生物医药科研助理 +3 贴贴rr 2024-05-22 5/250 2024-05-28 14:08 by yyliao
[硕博家园] 要不要读博 +13 王乔木 2024-05-24 14/700 2024-05-28 13:31 by 905452934
[基金申请] E05现在涵评快结束了吧 +7 shrz98 2024-05-24 8/400 2024-05-28 10:35 by xuel2011
[硕博家园] 答辩 +15 暮色恋伊人 2024-05-22 15/750 2024-05-28 09:38 by 打工艺术家
[硕博家园] 每天学术时间不能保证,能保证的只有: +5 hahamyid 2024-05-27 5/250 2024-05-27 18:18 by 沉默如昔
[基金申请] 科研之友阅读量近一周增加了200多。 +13 hdzw9071 2024-05-24 14/700 2024-05-27 17:29 by leeeru
[硕博家园] 课题做到一半担心做不出来怎么办 +4 mkpooooo 2024-05-27 7/350 2024-05-27 11:56 by kanmiaolucky
[硕博家园] 周日 +6 1加油哦棒 2024-05-26 9/450 2024-05-27 10:30 by hahamyid
[硕博家园] 好奇博士每天学习的有效时间 +7 hahamyid 2024-05-25 7/350 2024-05-27 10:26 by mkpooooo
[基金申请] 转发,”朋友说招呼都定点打到他那里了" +25 babu2015 2024-05-23 30/1500 2024-05-27 05:38 by wangzhenyft
[硕博家园] 2024博士招生 +3 big 混子 2024-05-26 3/150 2024-05-26 20:47 by 宁多缺毋滥
[论文投稿] 真是奇怪的编辑部? +5 jjdg 2024-05-23 5/250 2024-05-25 21:57 by cqu_zzh
[论文投稿] wiely投稿状态 10+3 甄小鱼 2024-05-23 3/150 2024-05-23 15:42 by 莱茵润色
[考博] 邀请申请深圳大学计算机与软件学院专业学位博士研究生(具身智能机器人方向) +3 Qiang_Li 2024-05-22 5/250 2024-05-23 14:28 by Qiang_Li
信息提示
请填处理意见