因此,对任意给定的函数a(x),有 2n+1 SIn Sn(x)-o(x)=。Df(x+)+f(x-1)-20(x) 2 sin 这样,若记 q0(l2x)=f(x+)+f(x-)-20(x), 则∫(x)的 Fourier级数是否收敛于某个σ(x)就等价于极限 2m+1 sIn imn。gon(u,x) da u 是否存在且等于0
因此，对任意给定的函数 (x) ，有 S (x) (x) m − π 0 2 1 sin 1 2 [ ( ) ( ) 2 ( )] d π 2sin 2 m u f x u f x u x u u + = + + − − 。 这样，若记 (u, x) f (x u) f (x u) 2(x) = + + − − ， 则 f (x)的 Fourier 级数是否收敛于某个 (x) 就等价于极限 π 0 2 1 sin 2 lim ( , ) d 2sin 2 m m u u x u u → + 是否存在且等于 0
Riemann引理及其推论 定理16.2.1( Riemann引理)设函数v(x)在[a,b上可积或绝 对可积,则成立 lim y(x)sin px dx= lim /6 y(x)cos px dx=0 p→+∞Ja
Riemann 引理及其推论 定 理 16.2.1（Riemann 引理） 设函数 (x)在[a, b]上可积或绝 对可积，则成立lim ( )sin d b p a x px x →+ = lim ( )cos d 0 b p a x px x →+ =
Riemann引理及其推论 定理16.2.1( Riemann引理)设函数v(x)在[a,b上可积或绝 对可积,则成立 lim y(x)sin px dx= lim /6 y(x)cos px dx=0 p→+∞Ja 证先考虑v(x)有界的情况,这时v(x) Rieman可积。 对于任意给定的ε>0,由定理7.1.3,存在着一种划分 a=x <x, <x <...<x 满足 E 这里Ax1=x,-x1,,是v(x)在[x,x中的振幅
证 先考虑 (x) 有界的情况，这时 (x) Riemann 可积。 对于任意给定的 0，由定理 7.1.3，存在着一种划分 a = x0 x1 x2 xn = b， 满足 1 2 = n i i i x ， 这里 x x x i = i − i−1，i 是 (x)在[x , x ] i−1 i 中的振幅。 Riemann 引理及其推论 定 理 16.2.1（Riemann 引理） 设函数 (x)在[a, b]上可积或绝 对可积，则成立lim ( )sin d b p a x px x →+ = lim ( )cos d 0 b p a x px x →+ =
对于这种固定的划分,记m是y(x)在[x,x中的下确界,并取实 数P=∑m0,则当p>P时,有 ∑m E 于是,对于任意给定的E>0,存在实数P>0,当p>P时,有 b y(x)sin px d y(x)sin pxdx ∑(0(0)-m) sin pxdx+2n∫snpd isi+ Iy(x)-m sin px dx+ <8
对于这种固定的划分，记mi是 (x)在[x , x ] i−1 i 中的下确界，并取实 数 | | 0 4 1 = = n i P mi ，则当 p P时，有 2 | | 2 1 = n i mi p 。 于是，对于任意给定的 0，存在实数 P 0，当 p P时，有 ( )sin d b a x px x 1 1 ( )sin d i i n x x i x px x − = = 1 1 ( ( ) )sin d i i n x i x i x m px x − = = − 1 1 sin d i i n x i x i m px x − = + 1 1 | ( ) | | sin | d i i n x i x i x m px x − = − 1 1 | | sin d i i n x i x i m px x − = + 1 1 | ( ) | d i i n x i x i x m x − = − + = n i mi p 1 | | 2 = n i i i x 1 + = n i mi p 1 | | 2
再考虑v(x)无界的情况,这时v(x)绝对可积 不妨假设b是v(x)的唯一奇点。由无界函数反常积分绝对收敛 的定义,对于任意给定的E>0,存在δ>0,当n<δ时, ly(x)dx<e, 固定n,则v(x)在[a,b-n]上 Riemann可积,应用上面的结论,存在实 数P>0,当p>P时, y(x)sin px dx<
再考虑 (x) 无界的情况，这时 (x) 绝对可积。 不妨假设b 是 (x)的唯一奇点。由无界函数反常积分绝对收敛 的定义，对于任意给定的 0，存在 0，当 时， | ( ) |d 2 b b x x − ， 固定 ，则 (x)在[a,b −]上 Riemann 可积，应用上面的结论，存在实 数 P 0，当 p P时， ( )sin d 2 b a x px x −