教案 函数项级数的一致收敛性 1.教学内容 通过讨论关于函数项级数(函数序列)的无限求和运算(极限运算)是否能 与极限运算,求导运算或积分运算交换次序的问题,提出函数项级数(函数 序列)的一致收敛概念与一致收敛的两个充分必要条件 2.指导思想 (1)数学分析与初等函数的根本区别在于引入了极限运算(微分与积分的实质 也是极限运算),极限运算应用到求和运算上就是级数的概念。由于有限求 和运算可以与极限运算,求导运算或积分运算交换次序,所以讨论级数与 极限运算,求导运算或积分运算的交换次序问题就成为级数理论的一个基 本问题。 (2)函数项级数的一致收敛性是数学分析课程教学中的一个难点,也是学生最 难掌握的内容之一。以往的教材往往直接引进函数项级数的一致收敛概念, 然后再讲解一致收敛的函数项级数可以与极限运算,求导运算或积分运算 交换次序,学生往往只能死记硬背概念,不能真正理解它的实质意义,过 后很快容易忘记。我们则在教学中反其道而行之,先讨论一系列具体的函 数项级数例子,指出在点态收敛的情况下,函数项级数不一定可以与极限 运算,求导运算或积分运算交换次序,从而理解为了保证运算的交换,有 必要引进更强的收敛概念,然后再讲解函数项级数的一致收敛概念。 (3)在数学分析课程中,一致收敛概念不仅出现于函数项级数部分,还出现于 含参变量积分部分(它保证了积分运算与其他运算的可交换性),可以说, 致收敛性是数学分析,乃至整个分析学中最重要的概念之一,是学好如 泛函分析,偏微分方程等后继课程的必备基础。因此在函数项级数部分第 次出现一致收敛概念时,必须将问题的背景,引人一致收敛概念的意义 讲清楚,使学生从本质上理解它,做到终身不忘。 3.教学安排 (1)函数项级数与函数序列收敛性的等价性 给定函数项级数∑t1(x)(收敛域为集合D),设它的部分和函数序列为Sx) Sx)=∑u4(x),x∈E, k=1 则函数序列{S(x)的收敛域也是集合D,且极限函数就是∑un(x)的和函数S(x) S(x)=limS(x),x∈D。 反过来,给定一个函数序列{S(x)},只要令u(x)=S1(x),lm+1(x)=Sm+(x) Sx)(n=1,2,…),就可得到函数项级数∑un(x),它的部分和函数序列就
教案 函数项级数的一致收敛性 1. 教学内容 通过讨论关于函数项级数(函数序列)的无限求和运算(极限运算)是否能 与极限运算,求导运算或积分运算交换次序的问题,提出函数项级数(函数 序列)的一致收敛概念与一致收敛的两个充分必要条件。 2. 指导思想 (1)数学分析与初等函数的根本区别在于引入了极限运算(微分与积分的实质 也是极限运算),极限运算应用到求和运算上就是级数的概念。由于有限求 和运算可以与极限运算,求导运算或积分运算交换次序,所以讨论级数与 极限运算,求导运算或积分运算的交换次序问题就成为级数理论的一个基 本问题。 (2)函数项级数的一致收敛性是数学分析课程教学中的一个难点,也是学生最 难掌握的内容之一。以往的教材往往直接引进函数项级数的一致收敛概念, 然后再讲解一致收敛的函数项级数可以与极限运算,求导运算或积分运算 交换次序,学生往往只能死记硬背概念,不能真正理解它的实质意义,过 后很快容易忘记。我们则在教学中反其道而行之,先讨论一系列具体的函 数项级数例子,指出在点态收敛的情况下,函数项级数不一定可以与极限 运算,求导运算或积分运算交换次序,从而理解为了保证运算的交换,有 必要引进更强的收敛概念,然后再讲解函数项级数的一致收敛概念。 (3)在数学分析课程中,一致收敛概念不仅出现于函数项级数部分,还出现于 含参变量积分部分(它保证了积分运算与其他运算的可交换性),可以说, 一致收敛性是数学分析,乃至整个分析学中最重要的概念之一,是学好如 泛函分析,偏微分方程等后继课程的必备基础。因此在函数项级数部分第 一次出现一致收敛概念时,必须将问题的背景,引人一致收敛概念的意义 讲清楚,使学生从本质上理解它,做到终身不忘。 3. 教学安排 (1)函数项级数与函数序列收敛性的等价性: 给定函数项级数∑ (收敛域为集合D),设它的部分和函数序列为S ∞ =1 )( n n xu n(x): Sn(x) = ∑ , x∈E, = n k k xu 1 )( 则函数序列{Sn(x)}的收敛域也是集合D,且极限函数就是 的和函数 ∑ S(x): ∞ =1 )( n n xu S(x) = S n ∞→ lim n(x), x∈D 。 反过来,给定一个函数序列 {Sn(x)},只要令 u1(x) = S1(x), un + 1(x) = Sn+ 1(x) - Sn(x) (n = 1,2,...),就可得到函数项级数∑ ,它的部分和函数序列就 ∞ =1 )( n n xu
是给定的{S(x)},而它的收敛性与{S(x)}的收敛性是相同的 由于上述函数项级数∑un(x)与函数序列{Sx)的收敛性在本质上是完全相 同的,在研究函数项级数的性质时,可以先讨论函数序列的性质,而所得到的结 论对相应的函数项级数也是自然成立的。 (2)函数项级数(或函数序列)的基本问题 如果函数ln(x)或S(x)具有某种分析性质(例如连续性,可导性或 Riemann 可积性),那末其和函数(或极限函数是否也保持同样的分析性质?具体地说,对 于有限个连续,可导或可积函数之和,和函数仍然连续,可导或可积,并且和函 数的极限,导数或积分,可以通过每个函数求极限,导数或积分后再求和来得到 但是若将这有限个函数之和换成函数项级数,是否仍然可以如上面所述的那样对 和函数进行求极限,求导数或求积分的运算? (a)设n(x)(或S(x)在D连续,∑un(x)=Sx)(或imSx)=S(x),我们希望 和函数(或极限函数S(x)也在D连续,即对于任意x0∈D,成立 lim S(x)=S(xo)。这 x→x0 一性质对于函数项级数而言,就是极限运算与无限求和运算能够交换次序: ln(x)=∑mun(x) 对于部分和函数序列而言,就是两种极限运算能交换序列 lim lim S,(x)= lim lim Sn(x) 下面例题说明上述两等式在点态收敛的情况下不一定成立。 例1设S(x)=x,则{S(x)在区间(-1,1收敛,极限函数为 0,-1<x<1 S(x)=lim Sn(x)= 虽然对一切n,S(x)在(-1,1连续(也是可导的),但极限函数Sx)在x=1不连续( 然更谈不上x=1可导)。 (b)设n(x)或SAx)在D可导,∑un(x)=S(x)或lmS(x)=(x),我们希望和 函数(或极限函数)Sx)也在D可导,且导函数S(x)可以通过先对ln(x)(或S(x) 求导,再求和(或求极限)得到。这一性质对于函数项级数而言,就是求导运算与 无限求和运算能够交换次序 l2(x) l2(x); 对于部分和函数序列而言,就是求导运算与极限运算交换次序
是给定的{Sn(x)},而它的收敛性与 {Sn(x)}的收敛性是相同的。 由于上述函数项级数∑ 与函数序列{S ∞ =1 )( n n xu n(x)}的收敛性在本质上是完全相 同的,在研究函数项级数的性质时,可以先讨论函数序列的性质,而所得到的结 论对相应的函数项级数也是自然成立的。 (2) 函数项级数(或函数序列)的基本问题: 如果函数un (x)(或Sn(x))具有某种分析性质(例如连续性,可导性或Riemann 可积性),那末其和函数(或极限函数)是否也保持同样的分析性质?具体地说,对 于有限个连续,可导或可积函数之和,和函数仍然连续,可导或可积,并且和函 数的极限,导数或积分,可以通过每个函数求极限,导数或积分后再求和来得到。 但是若将这有限个函数之和换成函数项级数,是否仍然可以如上面所述的那样对 和函数进行求极限,求导数或求积分的运算? (a)设un (x)(或Sn(x))在D连续,∑ = S(x) (或 S ∞ =1 )( n n xu n ∞→ lim n(x) = S(x)),我们希望 和函数(或极限函数)S(x)也在D连续,即对于任意x0∈D,成立 S(x) = S(x 0 lim →xx 0)。这 一性质对于函数项级数而言,就是极限运算与无限求和运算能够交换次序: = ; 0 lim →xx ∑ ∞ =1 )( n n xu ∑ ∞ = → 1 )(lim0 n n xx xu 对于部分和函数序列而言,就是两种极限运算能交换序列: 0 lim →xx n ∞→ lim Sn(x) = S n ∞→ lim 0 lim →xx n(x). 下面例题说明上述两等式在点态收敛的情况下不一定成立。 例 1 设Sn(x) = x n ,则{Sn(x)}在区间(-1,1]收敛,极限函数为 S(x) = S n ∞→ lim n(x) = . ⎩ ⎨ ⎧ = <<− .1,1 ,11,0 x x 虽然对一切n,Sn(x)在(-1,1]连续(也是可导的),但极限函数S(x)在x = 1 不连续 (当 然更谈不上x = 1 可导)。 (b)设un (x)(或Sn(x)在D可导,∑ = S(x)(或 S ∞ =1 )( n n xu n ∞→ lim n(x) = S(x)),我们希望和 函数(或极限函数)S(x)也在D可导,且导函数 d x d S(x)可以通过先对un (x)(或Sn(x)) 求导,再求和(或求极限)得到。这一性质对于函数项级数而言,就是求导运算与 无限求和运算能够交换次序: d x d ∑ ∞ =1 )( n n xu = ∑ ∞ =1 )( d d n n xu x ; 对于部分和函数序列而言,就是求导运算与极限运算交换次序
lim Sn(x)=lim.Sm(x) d 例1说明在点态收敛情况下,和函数(或极限函数)可能不可导,下面例题将 说明,即使和函数(或极限函数)可导,上述两等式也不一定成立 例2设S(x)=当m,则{SAx)}在(∞°,+∞)收敛,极限函数为x)=0 虽然极限函数Sx)处处可导,且导函数S(x)=0,但导函数序列{S(x)},S(x) n cos nx,并不收敛于S(x)(例如当x=0,SmO0)=√n→0)。 (c)设mn(x)或S(x)在闭区间[a,b]cD上 Riemann可积,∑un(x) Sx)(或 lim sn(x)=Sx),我们希望和函数(或极限函数)S(x)也在a,b]上 Riemann 可积,且积分值S(x)dx可以通过先对an(x)或Sx)求积分,再求和(再求极限) 得到。这一性质对函数项级数而言,就是求积分运算与无限求和运算可以交换次 序 C2u,(x)dx=2u,(x)dx 对于部分和函数序列而言,就是求积分运算与极限运算能够交换次序: lim Sm(x)dx limS,(x)dx 下面例题将说明在点态收敛情况下,和函数(或极限函数)可能 Riemann不可 积,且即使 Riemann可积,上述两等式也不一定成立 例3设 S=.当x为整数 当x为其 当x是无理数时,对一切n,SA(x)=0,因此S(x)= lim Sno(x)=0;当x是有理数9, P P∈N,q∈Z时,对于n≥p,SA(x)=1,因此S(x)=IimS(x)=1。于是{SA(x)}的极 限函数Sx)就是我们所熟知的 Dirichlet函数。显然,SA(x)在任何有限区间上都是 Riemann可积的,但极限函数S(x)却 Riemann不可积 例4设S(x)=nx(1-x)y,则{SA(x)在区间[0,1上收敛于极限函数Sx)= 显然对任意n,S(x)与Sx)都在[0,1上 Riemann可积,但是 「S.(xdx=mx-xydx=-2烏-xyd-x) 一/-→s(x)dx( 2(n+1)
d x d n ∞→ lim Sn(x) = n ∞→ lim d x d Sn(x). 例 1 说明在点态收敛情况下,和函数(或极限函数)可能不可导,下面例题将 说明,即使和函数(或极限函数)可导,上述两等式也不一定成立。 例 2 设Sn(x) = n sin nx ,则{Sn(x)}在(-∞,+∞)收敛,极限函数为S(x) = 0。 虽然极限函数S(x)处处可导,且导函数S'(x) = 0,但导函数序列{S'(x)},S'(x) = n cos nx,并不收敛于S'(x) (例如当x = 0,S'n(0) = n →0)。 (c)设un (x)(或Sn(x))在闭区间 [a,b] ⊂ D 上Riemann 可积,∑ = S(x)(或 S ∞ =1 )( n n xu n ∞→ lim n(x) = S(x)),我们希望和函数(或极限函数)S(x)也在[a,b]上Riemann 可积,且积分值 可以通过先对u ∫ b a d)( xxS n (x)(或Sn(x))求积分,再求和(再求极限) 得到。这一性质对函数项级数而言,就是求积分运算与无限求和运算可以交换次 序: ∫ ∑ = ∞ = b a n n d)( xxu 1 ∑∫ ∞ =1 d)( n b a n xxu 对于部分和函数序列而言,就是求积分运算与极限运算能够交换次序: ∫ ∞→ b a n lim Sn(x) dx = dx n ∞→ lim ∫ b a n xS )( 下面例题将说明在点态收敛情况下,和函数(或极限函数)可能 Riemann 不可 积,且即使 Riemann 可积,上述两等式也不一定成立。 例 3 设 Sn(x) = ⎩ ⎨ ⎧ ⋅ ,0 . ,!,1 当 为其他值 当 为整数 x nx 当x是无理数时,对一切n,Sn(x) = 0,因此S(x) = S n ∞→ lim n(x) = 0;当x是有理数 p q , p∈N,q∈Z时,对于n≥p,Sn(x) = 1,因此S(x) = S n ∞→ lim n(x) = 1。于是{Sn(x)}的极 限函数S(x)就是我们所熟知的Dirichlet函数。显然,Sn(x)在任何有限区间上都是 Riemann 可积的,但极限函数S(x)却Riemann 不可积。 例 4 设Sn(x) = nx(1 - x 2 ) n ,则{Sn(x)}在区间[0,1]上收敛于极限函数S(x) = 0。 显然对任意n,Sn(x)与S(x)都在[0,1]上Riemann 可积,但是 ∫ 1 0 d)( xxSn = = - ∫ − 1 0 2 d)1( xxnx n 2 n ∫ −− 1 0 2 2 xx )1d()1( n = n + )1(2 n ─/─→ ∫ (n→∞)。 1 0 d)( xxS
上述例子说明了“点态收敛”不可能对所提出的函数项级数的基本问题给以 肯定的回答,为此我们需要引进一种比“点态收敛”要求更强的收敛概念 (3)函数项级数(或函数序列)的一致收敛性 所谓“函数序列{Sx)在集合D上(点态)收敛于S(x)”是指:对于任意x∈D, 数列{S(x)}收敛于S(xo),用“ε-N”语言来表示的话,就是:对任意给定的e >0,可以找到自然数N=N(x0,e),当n>N时,成立 其中N(x,e)不仅与E有关,而且与xo∈D有关。一般来说,Nx,e)随着xo的变化 而变化,这反映了S(x)在集合D的不同点上收敛于S(x)的速度不同。现在的问题 是:能否找到与x0无关,而仅与D有关的N=M(e),使得当n>N时, S(x)-Sx)|< 对一切x∈D成立?如果这样的N(ε)能够找到,则反映了{SAx)}不仅在D上点态收 敛于S(x),而且收敛速度在D上具有某种整体一致性。这种收敛,我们称之为一 致收敛。 定义设{S(x)},x∈D,是一函数序列,若对任意给定的ε>0,存在仅与D 有关的自然数N(E),当n>Ne)时, lS(x)-S(x)|<ε 对一切x∈D成立,则称{SAx)}在D上一致收敛于S(x),记为S(x)→S(x)。 符号表述:SA(x)→S(x)台VE>0,彐N,Vn>N,x∈D: SA(x)-S(x)|<ε. 定义若函数项级数∑un(x),x∈D,的部分和函数序列{Sx)},Sx)= ∑u4(x),在D一致收敛于x),则称∑u1(x)在D上一致收敛于S(x) 符号表述:∑un(x)在D上一致收敛于Sx)分e>0,彐N,Vn>N,x∈D ∑u2(x)-Sx)|=|S(x)-Sx)|<e。 一致收敛性的几何描述:对任意给定的e>0,存在N=N(e),当n>N(e) 时,函数y=S(x),x∈D,的图象都落在带状区域 (x,y)|x∈D,S(x)-e 之中(图象演示)。 例5设Sn1+3,则Sx)在(e,+∞)收敛于极限函数S(x)=0。 I S(x)-S(x)I=
上述例子说明了“点态收敛”不可能对所提出的函数项级数的基本问题给以 肯定的回答,为此我们需要引进一种比“点态收敛”要求更强的收敛概念。 (3) 函数项级数(或函数序列)的一致收敛性 所谓“函数序列{Sn(x)}在集合D上(点态)收敛于S(x)”是指:对于任意x0∈D , 数列{Sn(x)}收敛于S(x0),用“ε-N”语言来表示的话,就是:对任意给定的ε >0,可以找到自然数N = N (x0,ε),当n>N时,成立: │Sn(x0) - S(x0)│<ε, 其中N(x0,ε)不仅与ε有关,而且与x0∈D有关。一般来说,N(x0,ε)随着x0的变化 而变化,这反映了Sn(x)在集合D 的不同点上收敛于S(x)的速度不同。现在的问题 是:能否找到与x0无关,而仅与D有关的N = N(ε),使得当n>N时, │Sn(x) - S(x)│<ε 对一切x∈D成立?如果这样的N(ε)能够找到,则反映了{Sn(x)}不仅在D上点态收 敛于S(x),而且收敛速度在D上具有某种整体一致性。这种收敛,我们称之为一 致收敛。 定义 设{Sn(x)},x∈D,是一函数序列,若对任意给定的ε>0,存在仅与D 有关的自然数N(ε),当n>N(ε)时, │Sn(x) - S(x)│<ε 对一切x∈D成立,则称{Sn(x)}在D上一致收敛于S(x),记为Sn(x) S(x)。 D ⇒ 符号表述:Sn(x) S(x) ⇔ ∀ε>0,∃ N, ∀n>N,∀x∈D : D ⇒ │Sn(x) - S(x)│<ε. 定义 若函数项级数 ∑ ,x∈D,的部分和函数序列{S ∞ =1 )( n n xu n(x)},Sn(x) = ∑ ,在D一致收敛于S(x),则称∑ 在D上一致收敛于S(x)。 = n k k xu 1 )( ∞ =1 )( n n xu 符号表述:∑ 在 D 上一致收敛于 S(x) ⇔ ∀ε>0,∃ N, ∀n>N,∀x∈D : ∞ =1 )( n n xu │∑ - S(x)│ = │S = n k k xu 1 )( n(x) - S(x)│<ε。 一致收敛性的几何描述:对任意给定的ε>0,存在N=N(ε),当n>N(ε) 时,函数y = Sn(x),x∈D,的图象都落在带状区域 {(x,y)│x∈D,S(x) -ε < y < S(x) +ε= 之中(图象演示)。 例 5 设Sn = 22 1 n x x + ,则{Sn(x)}在(-∞,+∞)收敛于极限函数S(x) = 0。 │Sn(x) - S(x)│ = 22 1 || n x x + ≤ 2n 1
所以对任意的ε>0,只要取N=[],当n>N时, lSA(x)-S(x)|≤ 对一切x∈(-∞,+∞)成立,因此{S(x)}在(-∞,+∞)上一致收敛于S(x)=0。 从几何上看,对任意给定的E>0,只要取N=[],当n>N时,函数y= S(x),x∈(-∞,+∞),的图象都落在带状区域{(x,y)||y|<ε}中,这正是 致收敛的几何描述。 例6设S(x)=x(见例10.1.2),我们考察{SAx)}在区间[0,1)上的一致收 敛性。对任意给定的0<ε<1,要使 I Sm(x)-S(x) 必需 In 因此N=Nx,E)至少须取[;]。由于当x→1-时 na 因此不可能 In 找到对一切x∈[0,1都适用的N=N(e),换言之,{SAx)}在[0,1]上不是一致 收敛的(图像演示) 从几何上看,对每个n,函数y=x的取值范围(即值域)都是[0,1),因此 它们的图象不可能落在带状区域{(x,y)|x∈[0,1,0<y<ε=中。 注如果我们将上例中考察的区间[0,1)缩小为[0,p],其中0<p<1是 任意的,则由 I S(x)-S(x)I 我们只要取N=N(E)=[],当n>N时, In o lS(x)-Sx)|<p"<ε 对一切x∈[0,p]成立。换言之,{S(x)}在[0,p](p<1=上是一致收敛的 从图示可以看出,随着n的增大,函数y=xn在区间[0,p]上的图象越 来越接近x轴,从而全部落在带状区域{(x,y)10≥x≥p,0≤y≤e}中。 (5)关于一致收敛的两个充分必要条件 定理1设函数序列{S(x)}在集合D上点态收敛于S(x),定义 d(S,, S)=sup I Sn(x)-S(x) 则{S(x)}在D上一致收敛于S(x)的充分必要条件是 limd(Sn,S)=0。 证设{S(x)在D上一致收敛于S(x),则对任意给定的e>0,存在N=
所以对任意的ε>0,只要取 N =[ 2ε 1 ],当 n>N 时, │Sn(x) - S(x)│≤ 2n 1 <ε 对一切x∈(-∞,+∞)成立,因此{Sn(x)}在(-∞,+∞)上一致收敛于S(x) = 0。 从几何上看,对任意给定的ε>0,只要取N=[ 2ε 1 ],当n>N时,函数y = Sn(x),x∈(-∞,+∞),的图象都落在带状区域{(x,y)││y│<ε}中,这正是一 致收敛的几何描述。 例 6 设Sn(x) = x n (见例 10.1.2),我们考察{Sn(x)}在区间[0,1)上的一致收 敛性。对任意给定的 0 <ε< 1,要使 │Sn(x) - S(x)│ = x n <ε, 必需 n > ln x ln ε 因此N = N(x,ε)至少须取[ ln x ln ε ]。由于当x→1-时, ln x ln ε → +∞,因此不可能 找到对一切x∈[0,1]都适用的N = N(ε),换言之,{Sn(x)}在[0,1]上不是一致 收敛的(图像演示)。 从几何上看,对每个n,函数 y = x n 的取值范围(即值域)都是[0,1),因此 它们的图象不可能落在带状区域{(x,y)│x∈[0,1],0<y<ε=中。 注 如果我们将上例中考察的区间[0,1)缩小为[0,ρ],其中 0<ρ<1 是 任意的,则由 │Sn(x) - S(x)│ = x n <ρn , 我们只要取 N = N(ε) = [ ρ ε ln ln ],当 n>N 时, │Sn(x) - S(x)│<ρn <ε 对一切x∈[0,ρ]成立。换言之,{Sn(x)}在[0,ρ](ρ<1=上是一致收敛的。 从图示可以看出,随着 n 的增大,函数y = xn 在区间[0,ρ]上的图象越 来越接近 x 轴,从而全部落在带状区域{(x,y)│0≥x≥ρ,0≤y≤ε}中。 (5)关于一致收敛的两个充分必要条件 定理 1 设函数序列{Sn(x)}在集合D上点态收敛于S(x),定义 d (Sn,S) = │S x∈D sup n(x) - S(x)│, 则{Sn(x)}在D上一致收敛于S(x)的充分必要条件是: n ∞→ lim d (Sn,S) = 0。 证 设{Sn(x)}在D上一致收敛于S(x),则对任意给定的ε>0,存在N=