狄利克雷定理的证明.docxVIP

为证明定理本身，我先证明几个引理。 引理 1(Bessel 不等式 )：若函数 f (x) 在 [ , ] 上可积，则有 a0 2 (an 2 bn 2 ) 1 f 2 ( x)dx 2 n 1 2 m 证明：设 Sm (x) a0 (an cosnx bn sin nx) 2 n 1 显然： [ f (x) Sm (x)] 2 dx f 2 ( x)dx 2 f ( x)Sm ( x)dx Sm 2 ( x)dx (*) a0 m 其中， f (x)Sm ( x)dx f ( x)dx (an f (x)cos nxdx bn f ( x)sin nxdx) 2 n 1 2 m 2 2 由傅立叶级数系数公式可以知道： f (x)Sm (x)dx 2 a0 ( an bn ) n 1 2 m 2 m Sm 2 (x)dx [ a0 (an cosnx bn sin nx)] dx 2 a0 2 ( an 2 bn 2 ) 2 n 1 n 1 以上各式代入 (*)式，可以得到： Sm ( x)] 2 dx f 2 ( x)dx 2 m 2 2 ) 0 [ f ( x) a0 (an bn 2 n 1 2 m 2 2 2 另 (an bn ) f (x)dx 2 a0 n 1 这个结果对于 m N 均成立，而右端是一定积分可以理解为有限常数，据 2 m 2 2 1 成立。 此可知“ a0 ) ”这个级数的部分和有界，则引理 2 n 1 (an bn 引理 2：若函数 f ( x) 是 T 2 的周期函数，且在上可积，则它的傅立叶级数部分和 1 sin(m 1)u Sm (x) 可改写为： Sm ( x) f ( x u) 2 du 2sin u 2 2 m 证明：设 Sm (x) a0 (an cosnx bn sin nx) 2 n 1 1 1 m f ( x)cos nxdx)cos nx ( f (x)sin nxdx)sin nx] 2 f ( x)dx [( n 1 1 1 m 1 x 1 m 1 sin(m 1 )u f (u)[ cosn(u x)]du f (x t)[ cosnt]dt f ( x u) 2 du 2 2 u n 1 x n 1 2sin 2 我在下边给出一个比楼主强的结论！ 收敛定理：设 f ( x) 是 [a, b] 的按段光滑函数 ,如果它满足 : 在 [a, b] 只有有限个第一类间断点 , 在补充定义后它可积（应当指出：补充定 义后，它已不是原来的函数） 。 ( 2 ) 在 [a,b] 每一 点都 有 f ( x 0) ， 且 定义 补充 定义 后 的函数为 f1 ( x) 有： lim f (x u) f ( x 0) f1( x 0) ， lim f ( x u) f (x 0) f1 ( x 0) u 0 u u 0 u f (x 0) f ( x 0) ，若 则 f (x) 的傅立叶级数在点 x 收敛于这一点的算术平均值 2 在 x 连续，则收敛于 f ( x) 。 为方便，我仅证明 f ( x) 是 T 2 的在[ , ] 上的按段光滑函数 (上述命题在 此基础上稍加变换即可 )，则当 x [ , ] 时有 (其中 an , bn 是傅立叶级数系数 ) f ( x 0) f (x 0) a0 (an cosnx bn sin nx) 2 2 n 1 证明：由引理 1 容易可知： lim f ( x)sin( n 1 ) xdx 0 (**) n 2 0 f (x 0) f ( x 0) 0 成立，则命题得证，而 若 lim[ 2 Sm ( x)] n f (x 0) f ( x 0) f (x 0) f ( x 0) 1 sin(m 1 )u lim[ Sm ( x)] lim[ f ( x u) 2 du] n 2 n 2 2 2sin u 2 1 )u 另外， 1 sin(m 2 du 1，注意这个式子是偶函数，则 2sin u 2 f ( x 0) sin(m 1)u f ( x 0) sin(m 1)u 2 2 du 2 du 2sin u 0 u 2 2sin 2 若 lim 1 sin(m 1 )u [ f (x 0) f ( x u)] 2 du =0，则命题得证。 n 0 2sin u u 2 f ( x 0) f (x u) 记 g(u) 2 u u sin 2 u 有微积分知识 lim g(u) f ( x 0) f ( x u) 2 f1 (x 0) ，若 g (0) f1 (x 0) u u u 0 sin 2 则它在 0 连续，由于第一类间断点只有有限个，则它在 [0