数学分析 · LWLAymh的备忘录

实数

首先我们拿到了有理数,然后我们按照以下步骤定义无理数:

首先我们注意到有理数是不连续的.问题在于我们要将其中不连续的部分给补上.首先我们应当去发现一下如何去发现有理数中的一个断点:

设是一个全序非空集合,我们找到它的两个非空子集,若满足:

.
.
中无最大元素.

则称这是的一个分划,记作.接下来我们先考虑的情况.

我们注意到一些事,比如说注意到中有可能没有最小元素.举个例子的话,我们令,显然中无最大元素,此时取,则显然中无最小元素(反证法),假设存在最小元素则可以调整到更小的元素,因为容易证明不存在一个有理数的平方为.

通过上面的铺垫我们知道,有理数并非连续的,因此如果中有最小元素,则称这是一个有理分划;如果中无最小元素,则称这是一个无理分划.容易发现有理分划与有理数一一对应.我们将无理分划也去对应到一些数上,这就产生了无理数的定义.只需比较集合的大小包含关系就可以比较两个实数的大小.

那我们还需要做的一件事是去证明无理数也有四则运算法则.不妨直接拿分划去验证四则运算法则:

加法:对于,我们取即可.
减法:只需定义加法逆元.如果是无理分划的话,直接把中的元素全部取反再交换即可;如果是有理分划的话,需要注意取反再交换后中出现了最大元素,只需要在这里把那个元素给提出来就行.
乘法:两个正数相乘可以直接模仿加法,如果有负数的话就把负号提出来再把绝对值作乘法即可.
除法:只需定义乘法逆元,这个有点麻烦需要判断和哪个集合是同号的,但总之这个是平凡的.

戴德金分割定理

对的任一分划,中必定有最小元素.

这个怎么证明呢?对于分划,我们直接取,不难发现一定是的一个分划,也就是说对应了一个实数.

既然如此就可以考虑应该属于哪个集合.我们注意到:如果,那么必定是中的最大元素;如果,那么必定是中的最小元素.

两部分是类似的,只考虑前一部分.考虑反证,如果,那么,那么就一定不是的子集.换言之,,.但我们有,这必然意味着,与假设不符.

确界存在定理

若有上(下)界,则必然有上(下)确界.

设有上界,由于它是一个实数,它应该可以写作的形式..

于是我们取,我们来说明是一个分划.

首先由于有上界,显然.

如果 ,这是不可能的,因为如果,那么.

因为所有的中都没有最大元素,反证即可说明中无最大元素.

那么就是的上确界.

Example1

证明对于单增函数,,则与一定有交点.

取,则.取.

此时我们断言,否则:

如果,取,注意到,因此,与是下确界矛盾.

如果,取.考虑由于是下确界,因此.那么,这与矛盾.

阿基米德性质

以下命题等价,任取其一均可作为阿基米德性质:

,.
,.
有聚点.
存在.
.
.

(1)(2)(3)(4)是显然的.又考虑是的子列,所以.而取一个即可(6)(1).

阿基米德性质可以由确界存在定理推来,简单来说考虑.反证,如果是无限集合,那么根据确界存在定理一定存在最小上确界有,这就说明是一个更小的上界,这就矛盾了.

实数集上的一元函数

性质

奇偶性

首先需要定义域关于原点对称.

然后注意到取,可将任意定义域关于原点对称的函数写作奇偶函数之和.

事实上,对于一个可以求任意次导数的偶函数,是否总存在一个可以求任意次导数的函数使得.

这个问题的难点肯定在于附近对吧.

这个证明要用到泰勒展开.

两边求导,应该有:

我们知道任意阶导数存在,所以在闭区间上任意阶导数有界.这就意味着,对于固定的.只要取足够大的满足,就可以让余项趋于.

现在来数学归纳,用多项式的特殊情况,假设,考虑:

一片混乱,考虑一下下面这项:

这个时候我们注意到,当是奇数的时候应该有,当是偶数并且的时候应该有,这意味着这个求和最后只会剩下,然而前半部分和后面的刚好消掉了,这就数学归纳成立了.

有界性

单调性

周期性

周期函数不一定有最小正周期,比如狄利克雷函数.

还有个思考题:

如果是定义域为的最小正周期分别为的周期函数,求问:

若,则是周期函数.
若,结论如何.
若均连续,结论如何.

(1)显然,(3)必定不是周期函数,原因是考虑反证:

如果是的话,必定有:

令,则以为周期,那么其以为周期,可逼近这个无理数使得其周期趋近于,用的连续性,于是为常函数,不符题意.

(2)怎么办呢?有没有一种构造方式使得它是周期函数呢?

构造.

取,容易见到的周期为,下面证明的最小正周期是,而的最小正周期是.

二者相似,只考虑证明前者,如若存在一个,使得,则有:

取得到:

这就意味着:

从而,其中.再取得到:

这就必然意味着,从而的最小正周期恰好就是.

基本初等函数

常值函数
指数函数
对数函数
幂函数
三角函数
反三角函数

其中有一些函数的定义其实有一些缺陷,我们将在讨论完连续性后给出.

初等函数

由基本初等函数经过有限次四则运算和复合得到的函数.

举个逆天例子:

注意到.

代数函数

存在多项式满足的函数称为代数函数.

数列极限

定义

设是一个给定的序列,若,,,.我们称是这个序列的极限,记作.

性质

若数列存在极限,则极限唯一.
有极限的数列有界.
数列的极限可以四则运算.
设序列有极限并且分别为,若,,则.
设序列有极限并且分别为,如果,则,.
夹逼定理:设是三个序列,且.那么如果,则.
对于原序列,若它有极限,取出它的无穷项子序列,那这个子序列的极限必然也是.(如果一个序列能取出两个无穷项子序列使得极限不相同,那么原序列必然无极限)

大部分的证明都很显然,只需要套用极限定义即可,这里举几个证明为例.

(3):

设序列有极限并且分别为,则要证,,若,.

先证明加减法,取然后合并起来就行.

乘法也类似,首先有:

于是自然有:

不妨令,尝试构造一组解使得,.限制一下,取即可.

接下来证明除法,实际上只需要证明若,.

考虑:,这意味着当,或者更强一点,.

不妨设

取此时自然有:

取即可得证.

(4):

反证,设,那么取,立刻有:

这是不可能的.

单调收敛准则

单调有界无穷数列有极限.

不妨设是一个单调有界无穷数列(不妨假设其单增,不然可以取反变成单增),且.

考虑集合,根据确界存在定理,其一定有上确界.令是它的上确界,我们来证明一定是数列的极限.

由于是上确界,这意味着不是上确界,所以,,,这就是极限的定义.

自然对数的底数

定义.如何证明它存在极限呢?考虑单调有界无穷序列必定存在极限,定义,于是先证明它有界:

接下来证明单调,只需证明:

由均值不等式显然.

如果我们考虑另一个极限,注意到:

发现单调递减且,并且,这就意味着二者必然同时趋向于一个常数的两侧,定义为.

这里还可以推出一些结论.因为我们知道:

用这个可以注意到定义,这个东西肯定且,而且注意到,所以单调有界,这个极限就是欧拉常数.

接下来证明是无理数.

考虑,取二项式定理,取.

而又注意到,取定一个确定的上界,则.由于有限,所以当时,的前项,此时再令,根据夹逼定理,立刻得到.换言之,增大引起的误差总可以被后面的的增大抹平.

考虑一下计算误差,设,则.

如果是有理数,设,考虑:

这立刻导出矛盾,因为一定是整数.

开区间与闭区间

定义一个集合的内部点:.我们将一个集合的所有内部点组成的集合记作.

这样就可以定义一个集合是内部为空的,就是其没有内部点.反之,如果每个点都是其内部点,那么称其为稠密的.

定义一个集合的边界点:.

一个集合称为开集合,当且仅当.

一个集合称为闭集合,当且仅当对于集合中的任何一个数列,数列极限也存在于这个集合中.

当然也可以用补集来用开集合定义闭集合(补集是开集合的集合是闭集合)或者反之.

由此我们知道开集的并是开集,有限个开集的交是开集;闭集的交是闭集,有限个闭集的并是闭集.

容易发现包含于的所有开集的并是.

我们类似定义的闭包是.

而且容易发现如果是连续函数,那么如果是开集,那么(也就是的原像)也是开集.

区间套定理

设,则存在且是一个非空闭区间.

怎么证明?考虑单增,单减并且,所以存在极限,不妨设为,同理也存在极限,设为.容易验证.

类似地,设,并且不会从某一项开始往后全都是常数(换言之其极限不等于其每一项,且不会上下波动),则存在且是一个非空闭区间.

特别地,当的时候,上述给出一个单点.

Example1

设,问是否存在.

可以设,讨论和的大小关系(二者显然不相等)可以知道满足区间套定理的条件,又注意到,所以区间长度趋近于,这样的话.

Example2

设,.求证极限都存在且相等.

还是区间套定理,容易验证满足区间套定理的条件,那么要注意到,所以,这就证明了二者存在且相等.

其实先用单调有界数列有极限,再对着递推式两边求下极限就可以了.

有限覆盖定理

覆盖:由一些开区间组成的集合.若,称被覆盖,当且仅当.

有限覆盖定理是说,如果是一个有界闭区间,且被覆盖,则一定存在一个的有限子集,使得能被覆盖.

换言之,有界闭区间若能被开区间覆盖,则一定能被有限个开区间覆盖.

反证:如果不能被有限覆盖,那么和至少有一个不能被有限覆盖(如果它俩都能那肯定也能).不妨取出二者中任意一个不能被有限覆盖的区间,设为,再进行上面的操作就可以得到,以此类推,如此我们得到了一个满足区间套定理的区间序列而且均不能被有限覆盖,根据区间套定理,可以取出它们交集的那个元素.由于,所以.因为是开区间,所以,而显然可以找到一个,,,这就矛盾了.

Example1

证明:有界闭区间上的局部有界(对于每一个点,它都存在一个开区间邻域是有界的)函数是整体有界函数.

设定义域为,考虑,在上有界,注意到设,那么一定被这个区间集合开覆盖,那么就能被有限开覆盖,取出那有限个区间对应的值域并起来就行.

Example2

证明:有界闭区间上的局部增(对于每一个点,它都存在一个开区间邻域是增的)函数是整体增函数.

证明和上面一样,合并两个开区间的时候找任意一个交集元素即可.

外测度与零测集

定义**外测度:**对于,定义为的外测度,,也就是找一列区间使得其并起来能包含.

定义零测集:外测度为的集合.容易发现.于是可数个零测集的并仍然是零测集.

如果一个集合的势可数,那它当然是零测集,原因是可以构造.由这个构造可以说明可数个零测集的并仍然是零测集.

反之,一个集合是零测集不一定代表其可数,例如康托三分集:先把上扣去,然后再对剩下的线段也做类似的操作,每次扣掉中间一段.算一下每次扣去的长度,发现长度恰好为,于是当然是零测集.但注意到这对应着一个三进制小数并且每一位只能是,那这当然势仍然是,于是不可数.

Vitali覆盖引理

当,称一族区间是的一个Vitali覆盖,若对,.也就是对于任何一个点都存在足够小的区间把它盖住.

Vitali覆盖引理是说,如果是一个有界集(或者推广到外测度有限的集合),是的一个Vitali覆盖,则,中可以拿出有限个两两不交的区间,满足.注意这里取区间的方式依赖于的选取.

取一个开集,不妨设中的每个区间都(原因在于Vitali覆盖保证了任意小的区间覆盖,而开集的性质使得总有区间在其中).在此基础上,由于上面的是任意一个Vitali覆盖,所以我们不妨假设中的每个区间都是闭区间(也就是把端点加进去,那当然仍然是Vitali覆盖而且更难满足限制,因为闭区间更难以两两不交),这当然仍是可以的.

现在我们归纳取区间,我们任取一个,开始不断往上添区间.设已经被我们拿到,而且两两不交.

如果此时,当然直接满足条件.

反之,令.容易发现.那我们取使得,这当然做得到.

如果一直做下去都没有使得,那我们就可以拿到一个区间列.接下来我们考虑,此时由于两两不交,当然有,那么根据单调收敛准则,趋于一个极限,于是当然趋近于,那么趋近于.在此基础上,我们当然可以取一个,.

此时.由于均为闭区间,所以必定是开区间,这也就是说存在一个小邻域并且.那当然有,也就是.由于有限且不为,而.一定,使得.发现此时.

此时会出个什么事呢?由于,所以我们把这个区间扩大五倍(中心不变,半径扩大到原本的五倍)就一定能盖住.

那会怎么样呢?那.于是证毕.

聚点原理

假设是一个实数集,称是的聚点,当且仅当,,或说,是一个无限集.可以理解为,不是一个孤点.

引理:为的聚点,当且仅当.充分性显然,必要性的话只需取然后从上面的交集拿点就行.

聚点原理:有界无穷集必有聚点.

我们可以找一个,我们找,其中至少有一个和的交集为无穷集,我们取其为,不断这么做又会得到一个闭区间套列,交起来得到的那个元素就是聚点,因为,那么,立刻证毕.

Baire纲定理

设是一列内部为空(没有除空集以外的开子集)的闭集,则内部为空.
设是一列稠密(补集内部为空)的开集,则稠密.

(1)(2)等价,下面只证明(1):

反证,假设内部不为空,也就是其存在一个内部开集.由于是一个闭集,因此当然是一个开集,于是其就存在一个子区间并且,同理可以找到一列闭区间使得.

容易见到我们可以任意调小的大小,调整使得总成立就得到了一列闭区间套,必然拿到了一个单独的点,那么,然而对于任意区间都有,因此,这就导出了矛盾.

Example1

证明:如果连续,并且,则.

对于一个,考虑构造内部为空的闭集(为什么这是闭集呢?因为当你设满足上述定义,那肯定是闭集,然后就是上述这些的交,当然也是闭集).容易发现的并是,那就一定至少有一个闭集内部不为空,我们就可以取出其中的一个区间设为,然后用这个区间在若干倍后覆盖后半部分数轴,原因是当足够大的时候,一定有存在.

致密性定理

有界无穷数列有收敛的子列.

考虑数列值域.

如果是有限集合,那,是无限集合,把这些数拿出来就是一个无限的常数列.

如果是无限集,那其存在聚点,设为其中一个聚点.则是个无限集.

那只需要取为中的某个满足即可,由于这是无限集,所以显然可以取出.拿出来的这个数列显然以为极限.

柯西收敛准则

称一个数列为柯西数列,当且仅当.

一个数列收敛的充要条件是他是一个柯西数列.

先证必要性:

再证充分性:

考虑取,则,于是,于是,于是这个数列有界,那么存在无穷子列有极限.

那么,其中以为极限,于是可以取足够远的.接下来就是简单说明的环节了.

柯西收敛准则的充分性还可以用上下极限证明:

取,那么上下极限之差.

于是引出了实数的第二种定义方式:我们定义两个柯西列等价,有.那么所有有理数组成的柯西列的等价类构成实数集合.不难证明这样定义出来的实数和戴德金分割等价.

这个定义方式只依赖于距离的定义.而且我们可以证明任何一次扩充后得到的空间一定是封闭的.用这个例子就是说你对于一个实数的柯西列,证明它一定收敛到一个实数.那么就可以把这个柯西列的每一个数(作为实数,实际上对应了一个柯西列)中抽出一个数来,然后证明这些数组成的新的柯西列与刚才那个柯西列等价,这样就证明了其封闭性.其实只要第个数把其代表的任意一个柯西列中选第个元素构造即可.

上下极限

我们推广广义极限,也就是一个数列可以以或者为极限.这个容易用语言写出来.这样的话我们立刻得到单调数列有极限.

那我们取任意一个数列从某一项往后的上确界和下确界,那么注意到单调不降,单调不增,所以二者都存在极限.由此可以定义上下极限,并且任意数列都一定存在上下极限.

注意到,于是.

那么存在极限当且仅当.

充分性很好证明,只需要使用夹逼定理即可.

必要性也很好说如果极限不是,,那么.自然得到两者极限相等.是也很好说.

上下极限同样有保序性,相反数有,但是不能简单的四则运算,而是有,我们这里先不讨论出现的情况.

证明的话只需注意到,因此对右边可以取下确界,然后两边一起取极限即可.

另外还有结论是.这个又如何证明呢?只需证明:

于是证毕.

乘法的话需要规定,然后和加法的不等式形式是类似的(同样先不考虑的情况).

如果其中一个存在极限,那么上面的不等式就可以取等了(当然仍然不讨论出现和的情况).如果的话上面的乘法不等式也可以取等,换言之的时候成立.

Example1

对于数列,满足,.

求证:

有界.
.
,.
对所有满足条件的数列,求.

对于(1),取,数学归纳可证明.

两边取一下上极限和下极限,立刻得到,于是.

后面不会了(乐).

Stolz定理

如果,并且单调递增且发散,那么.

这个怎么证明呢?先取,考虑,有:

两边求和,立刻有:

由于发散,对左边取极限就得到,也就证明了原结论.

如果将上述条件改为:

单调递减且.
.

上述定理也是成立的.

证明仍然是上面那个过程,只是做一些小修改:

两边取极限.

把Stolz定理推广到上下极限上.换言之,当:

单调上升且趋近于无穷.

或:

单调递减且.
.

此时应当有:

上述命题的一个平凡推论是:

实数的完备性基本定理

我们将以下定理称作实数的完备性的基本定理:

戴德金分割定理
确界存在定理
单调收敛准则
闭区间套定理(+阿基米德性质)
有限覆盖定理
聚点原理
致密性定理
柯西收敛准则(+阿基米德性质)

这七条定理(除了3和7,它们需要与阿基米德性质配合使用)全部与戴德金分割定理等价.

我们上面已经论证了其中的部分推导关系,我们在下面声称它们分为若干组推导链条,分别代表了实数的不同性质.

函数极限

定义

函数的极限类型比较多:

是从一点的右侧趋向于,这时记作.
是从一点的左侧趋向于,这时记作.
同时从一点的两侧趋向于,这时记作.
无限制增大,记作.
无限制减小,记作.
无限制增大,同时增大或减小,记作.

序列极限的定理在函数极限的条件下几乎也全都成立.

单侧极限

即和,这两种是对称的,我们只讨论前一种.

若.我们称是时的右极限,记作,同理可以定义左极限.

双侧极限

若左右极限都存在且相等,那么双侧极限也存在并且.

自变量趋于无穷时的极限

设函数在上有定义,若,,则记,同理定义,若二者均存在且相等,定义.

上下极限

定义去心邻域.

定义,下极限同理.

显然.

第一可数公理

函数极限当然满足四则运算法则,保序性,夹逼定理,单调收敛准则,柯西收敛准则.

事实上函数极限和数列极限满足关系:

,如果,那么,前提是这两个极限都存在.

证明是堆语言,不再赘述.

而它们之间关系的本质其实是:处的"任意小邻域"其实可以用某列邻域替代.

我们定义邻域基:一个由的邻域组成的集合,如果对于任意小邻域,中都存在一个邻域比这个邻域更小,那么就称是一个邻域基.的特殊之处在于任意一个点都有可数邻域基,这被称为第一可数公理(公理).

另外是可分的,也就是它存在可数稠密集().

无穷大量和无穷小量

如果时,有界,称.

如果的时候,,称.

如果,,那么称二者为等价无穷小;如果,则称二者为同阶无穷小(可记作);如果,则称为的高阶无穷小,可记作.

同阶无穷小在做乘除法的时候是可以替换的.

如果是有界的,那么可以写作.

Example1

因为其左右对称,考虑取我们有(用单位元的面积证明).

那么考虑,又注意到:

夹逼定理一下就行.

类似可以证明

Example2

下面有个三次方,考虑套用一下三倍角公式,我们知道:

看上去两边取上下极限就做完了对吧!但是还差一点,因为我们要证明上下极限都不是无穷,起码得说明它有界.

注意到,这样两边限定一下范围再取上极限可以说明原式上极限有界.

Example3

求.

考虑.

Example4

Example5

令,则原式等于.

Example6

令,那么原式等于.

连续函数

不妨设在上有定义,若对于,在处有双侧极限且,称其在处连续,称为连续点,若,在处连续,则称其在上连续.连续性相当于说:取极限和可以交换顺序,换言之.

我们也可以类似上面定义左连续和右连续,若在上有定义,且在上连续,在处右连续,在处左连续,称其在上连续.

如果在附近有定义且不连续,则称是一个间断点,间断点有以下几种:

如果和都存在但不相等或者不等于,则称为第一类间断点.如果是后者情况,可以通过修改的定义来去掉这个间断点,因而一般被称为可去间断点.
反之,如果和至少有一个不存在,则称为第二类间断点.

使用单调收敛准则,可证明单调函数没有第二类间断点.并且单调函数的间断点只有可数个(几乎处处连续).

这个怎么证明呢?考虑设是函数的第一类间断点集,取,由于函数单调,所以这些两两不交.考虑映射,也就是考虑每一个中都有若干个有理数,且互不相交,那么显然这个映射是个单射,可数.

事实上有更强的结论:任意函数的第一类间断点集都是可数的.

设是函数的第一类间断点集,取.

注意到.

我们定义孤立点:如果,则称是中的一个孤立点.类似刚才证明可数性,我们每个孤立点都可以取一段邻域,领域中一定存在有理数,所以任意一个集合中的孤立点个数一定是可数的.

又发现所有的,都是孤立点,原因很显然因为在的两侧小区间都在趋近于一个极限,所以它们肯定不是第一类间断点.所以所有的都是可数集.

那怎么证明是可数集呢?考虑取,现在,而一定是孤立点集,所以可数.

综上就可以看出是一个可数集.

而第二类间断点则是可以有任意多个,例如对于迪利克雷函数,其处处都是第二类间断点.

由于连续性由极限定义,这意味着在上的连续函数的有定义的四则运算必定得到的还是在上的连续函数.那么,如果我们对于一个区间,定义为所有在上连续的函数组成的集合,就是一个线性空间.且不难发现,连续函数的复合仍然是连续函数.这其实对应着.

另外,如果一个连续函数有单值反函数,则反函数必连续.

不难证明,所有的初等函数在定义域上都是连续的.

另外:连续周期非常值函数一定有最小正周期.

考虑设正周期的集合是,取.

当的时候,取一个正周期的数列,然后,于是,而恒有于是这是一个常值函数.

反之,则取.

一致连续

假设,若,则称其一致连续.一致连续性是一个比连续性强得多的性质,例如就不是一致连续的.

李氏连续

假设,若,则称其李氏连续.李氏连续当然强于一致连续.

闭区间下的连续函数

介值定理(零点存在定理)

设在上有定义且连续,,则.这当然等价于.

考虑取,如果那就完事了.不然的话考虑和中必定有恰好一个小于,这当然给出一个闭区间套,不妨设最后套出了一个单点.此时取极限立刻有,于是.

也有一个存在性证明:反证,如果,.那么,在与同号.根据有限覆盖定理,我们可以拿出有限个开区间来覆盖整个区间.此时可以将这些开区间排序,相邻两个区间两两有交,自然导出矛盾.

介质定理还有两个推论:

介值定理的推论1:设在上有定义且连续,那么其值域.
介值定理的推论2:单调连续函数的反函数仍然是单调连续函数.

推论(1)显然,考虑推论(2)的证明:

考虑对于连续单增函数.先要证明其存在反函数.

这里有一点小问题是我们要用介值定理要把定义域控制在闭区间,但这当然是好做的,对于任何一个,你一定可以取一个使得,这样.

这样的话容易说明是的双射,于是反函数是存在的.反函数的单调性是好证的.

对于反函数的连续性,反证,假设其在某一点处不连续,必然意味着.此时容易说明,那只需要取,,这当然与我们上述结论不符.

Example1

对于连续函数,求证:单调递增.

先考虑把条件改成怎么做.

一个想法是反证,如果不单调的话,找一个点使得它的右上导数小于.最自然的想法是找最大值,但最大值有可能只能证明右上导数.所以有一个想法是拿一条稍微斜一点(也就是斜率为较小的负数)的直线去截整个曲线.

下面反证,如果其不单增,总能找到两个点,使得.此时任意取一个,然后取一个点.当然可以再取一个使得,然后取一个点,这样这条直线确定了一条斜率的一次函数,不妨设,容易发现,所以可以取一个变号零点.当取值不一样的时候当然可以取不同的而且是不可数个,此时可以取出一个无理数,那考虑,这就矛盾了.

有界定理

设在上有定义且连续,,.

可以用之前的有限覆盖定理所证明的闭区间上的局部有界函数是有界函数,然后还有另一个证明:

假设无界,则存在一个数列使得.由于是有界数列,其一定有收敛子列收敛于,当然,这当然产生了矛盾.

还有一个闭区间套的证明方式:你考虑每次区间分两半,一定有其中一半是无界的,然后做闭区间套.

最值定理

设在上有定义且连续,,.

考虑先用有界定理得知有界,然后就可以拿到其上下确界,只需证明其上下确界均能取到就行.

反证,考虑若取不到,那考虑定义,根据有界定理有上界,于是,矛盾.

或者我们知道是上确界则不是上界,取出使得,那么必然有收敛子列,设其收敛于,那么根据夹逼定理必然能得到.

康托尔定理

有界闭区间上的连续函数必然一致连续.

考虑反证,反命题是.

用致密性定理,取出的收敛子列,可以拿到与其对应的数列,二者必然同时收敛于一个值,那么,当然矛盾.

如果是开区间呢?如果,其在开区间上一致连续,这需要等价于,是柯西列(也就是极限存在),由此看出开区间上的一致连续函数必然能延拓称闭区间上的连续函数.

不动点和周期点

定义的不动点,周期点,其中表示将复合次.

压缩映照原理

设在上有定义并且,并且满足,那么上存在唯一的不动点.

任取一个点,考虑,然后尝试判断这个数列的极限,注意到:

所以是柯西列,其极限存在,取,容易发现:

两边取极限得知,于是是一个不动点.如果还存在一个不动点,那么:

不符.

李-约克定理

对于一个,如果,那么,.

引理一

设是实区间,是连续函数,,.

根据介值定理,当然存在一对点,.不妨设,那么即可.

换言之,我们可以拿到一个区间使得它的像正是我们想要的区间.感性理解的话我们可以对一个区间求原像并且原像当然也是一个区间.那我们自然可以对区间进行迭代.这样迭代的区间有什么性质么?

引理二

设是实区间,是连续函数,取一列闭区间,满足.不妨把这种区间列记作.

那么我们可以找到一列闭区间,,有.

考虑数学归纳,假设对于的都已经满足,现在有,令然后用引理一就可以.

这个引理的意义在于,当然不必是一条链,但是只要其满足一定的性质,我们就可以在它们中找到一条链,也就是每迭代一次都可能会将射出去的那个集合变小,或者是射出需要的集合所需要的初始集合变小.

这个当然也是给我们求原像的机会.我们尝试感性理解一下这个在干什么:

如果一个函数操作完一个区间后会把这个区间变小,那显然我如果想求,越大得到的原像就越大对吧.反之,如果会把这个区间变大,那越大得到的原像就越小对吧.

这个讨论显然是不好的,我们得想办法刻画一下这个东西.那当然要在这里蕴含一个本身.

于是用上面的定义会发现,即使会把这个区间扩张到奇怪的大小,只要我们能把它缩回去,那不断取原像的过程照样是可行的.

引理三

设是实区间,是连续函数,是闭区间,并且或者,都可以推出.

只需构造函数然后用介值定理即可.

李-约克定理

设,则,容易看出,这三个点中必然有一个点,使得这三个数单调递增或单调递减.不妨设.

下面证明对于任意,存在周期点.

我们接下来取,立刻由介值定理发现以及.

接下来我们开始构造一列满足引理二的闭区间,我们考虑:

当的时候,我们直接取.
当的时候,取

现在我们可以用引理二立刻拿到区间列,我们发现,根据引理三立刻得到.

那么这个有没有可能存在更小的周期呢?如果有的话,不妨取其中最小的那个,辗转相除一下自然有,那么当然要有.

此时我们发现,,于是.

这说明此时.

而当的时候,,这当然与矛盾.

仔细观察一下上面的过程,我们到底依赖于什么东西得到了这个?

首先找到使得这个其实反而并不是最主要的,因为只要那么显然,真正离谱的是竟然要让这个点在之前从未跳到过.这也是这个证明的最精髓的部分,那就是证明任何一个都不是周期.

那我们考虑取一个区间(也就是),在中取一个合法的,然后我们只要找到一个闭区间(也就是),使得它当且仅当复合次的时候才会打到上,在其它时候都得打在的外面(在这里是)上,那自然是可行的了对吧.而数字恰好完美地给出了这个构造.

如果我们再总结一下上面的过程,我们需要找到两个区间,找到一个,使得可以打到上但是对于,打到上.于是根据引理三其存在周期点,但是几乎不可能存在周期点(这里就需要简单判断一下的部分了)

这样的和怎么构造呢?如果我们构造打到上,打到上显然是吧不合理的,那就可以一个打到另一个,另一个打到全集上再用引理一缩一下,这个看上去合理多了.这当然就是以及.

Sharkovskii定理

定义如下的一种序关系(称为Sharkovskii序):

对于.那么如果.

(首先发现当然存在不动点)

这咋办呢?我们刚才用了的最重要的性质就是个点可以排成有序的一列,如果有类似的引理,那我们就可以尝试推广上面的结论.

引理

设是连续函数,有周期点但无更小非一奇数阶周期点,我们取出其一个周期轨,必有以下两者成立其一:

这个引理怎么证明呢?考虑把周期轨排一下序然后归纳,我们不妨假设排好序后的结果是.

如果引理成立,(第一种情况下)取,则.容易发现其实只有有这个性质,那我们不妨来看看满足的情况是什么样子的,尝试去满足.这个时候注意到我们可以把所有点分成两类:满足(称为类点,容易见到这里也就等价于)和(称为类点)的.那我们就是要找到一个使得是类点并且是类点.

由于,这两类点显然都有,那就一定存在交界的地方,这样我们就可以拿出这个分界的地方记作,其中是类点,是类点.

我们不妨定义一个集合的张成区间为,那我们现在取,设周期轨为,我们递归定义,容易根据上面对的构造发现,并且中因为取了一段极大的区间(但并没有包含所有周期点),所以一定能跳出这个区间(不然这个区间内部就可以自己射自己),所以.

那由此我们当然可以得到一条链:

按理来说应该有(这就会给出每次扩张只会多一个数),让我们先来证明这个结论:

反证,假设,尝试找到一个更小的奇数周期来推出矛盾,不妨尝试找到一个的周期(当然,如果的话,这个结论我们在李约克定理已经证明了,所以下面假设).

我不说你也知道我要干啥,我们考虑在末尾补个,并把最后一个缩成,当然有:

但这样并不太行,因为这些区间的交不是空的,我们起码得把其中的一个区间给挪出去,不妨考虑改掉最后一个,试图取一个使得.如果我们结合一下下面的主定理的证明部分,其实我们可以发现这里的也就是.

我们上面已经保证了,如果有,那当然可以取.也就是如果我们的这一列点类别中出现了这样的结构就完事了.如果找不到,那说明.我们继续往后找,如果可以遇到第一个,那自然是满足条件的.如果一直都找不到,说明始终有,那说明后面全是点.

同理如果出现了这样的结构也找到了.不然类似同理,如果一直找不到就说明前面全是点,前面的点始终满足.

这已经推导出了矛盾,因为我们发现前面的点射到后面,后面的点射到前面,问题在于前面有个点,后面有个点,于是,这导出了矛盾.

所以确实可以找到这样的,那我们用上面的区间列自然可以推导出存在一个周期点(或者其因子周期点,不过那也导出矛盾了).

于是,这表示我们拿到的这条链每次只增加一个元素.如果到是只增加了一个元素,当然说明或者.两者的证明是一样的,不妨设.

此时我们取,此时其实也可以发现.并且根据上面的说法,我们知道,那这个扩张一定是每次在边界上往外跑一个,也就是每次取一个新的迭代出来的结果扔到左边或者扔到右边.

网络上有关于这一点的证明往往是反证,假设不按规则走的话然后去尝试构造三周期点推到矛盾,但我们这里给出另一个证明方法:

考虑由于每次只增大一个数,那么如果我们能证明这一列形如的形式就做完了,这等价于的唯一性.

假设还有另一个区间也满足要求,对于这个新的区间,我们设其是,我们再拿一个周期点出来,假设这三个数按照顺序是,那么根据上面的结论一定有或者成立,这就说明被夹在了中间.而我们从一个扩张当然是逐步的,会将逐个加入,这必然意味着在加入之前,中已经有一个加进去了,但这是不可能的,只有加入后才能把给加进去.

sharkovskii定理

有了引理就可以开始类比了,不妨假设.

现在我们要取区间列了,显然有一些奇偶对跳的现象,事实上我们取显然就是满足条件的.而且这些区间除了端点外完全不相交(而且任意三个区间的交都是空集).这一列一共有个区间.我们事实上可以取放到整个区间的最后.

接下来我们用这些东西去对于多种情况来对跳.

Case1

(假设是最小的非空的非一奇数周期)首先证明.

在前面补个,在最后也补一个,构造区间列:

也就是在前面补直到整个区间列的数量为,此时当然存在使得,只需证明,即可.这当然好证,因为,因为你只需要把它卡在那一堆和的分界线上就行.

Case2

(假设是最小的非空的非一奇数周期)接下来我们来证明.

当的时候我们已经证完了,接下来考虑的情况.

由于,我们考虑取出个区间列,恰好有:

接下来就是简单说明的过程了.

Case3

接下来考虑证明:.

这个证明就比较无聊了,我们进行暴力讨论,不妨假设,那么:

此时,于是可证明有三周期点,当然有二周期点.

此时,当然有二周期点.

此时.于是有五周期点,于是有二周期点.

此时,当然有二周期点.

此时,于是有二周期点.

Case4

接下来考虑证明:.

考虑上面命题等价于有四周期点,则其有二周期点.

Case5

接下来考虑证明:,其中.

考虑有周期点,当然也就有周期点.

Case6

接下来考虑证明:,其中.

考虑有周期点,当然也就有周期点.

Case7

接下来考虑证明:,其中.

选取,则考虑有周期点,则其有周期点,.于是.

导数

设函数在一个区间上有定义,对于给定的,考虑增量,则称为关于的增量.若极限存在则称这个函数在处可导,并称这个值为这个函数在处的导数或者微商,记作或.同理可以定义出左导数和右导数.如果某个函数的导数构成一个函数,我们称这个函数为其对应的导函数.

显然右可导能推出右连续,左可导能推出左连续.换言之,可导一定连续.

但是连续不一定可导,相当漂亮的一个反例是,其在零点没有左右导数.

如果的次导数存在,记作,如果该函数可导则其导数称作.

如果在上连续,则称.如果其任意阶可导,则称.

特别地,如果称一个函数是次可导,即.其实就是Holder连续.

导数基本运算

导数也可以类似求出四则运算以及复合的法则:

.
.
.
(莱布尼茨公式):.
.
.

(1)(2)比较平凡.

(3)(4)的证明的话,考虑:

取一下极限就行.

(5)的话,其实求出就行了,我们来看:

对于(6),不妨设.

当的时候,我们有:

令,那么.

此时有:

带上极限,前者为.

另一种写法是,类似上面的讨论,我们这里有一些无穷小量,而且(除了以外)也不会出现无穷小量之间的除法,用一下当然有,.

考虑:

两边除一下两边求极限就行.

不难发现上面的过程等价于啥呢?等价于:

反函数的导数

我们首先声称:如果有反函数

然后我们声称:如果,并且其严格单调且连续.如果处其导数存在,则.

这个可以用极限证明,我们有:

现在我们证明了反函数有导数,立即有:

隐函数求导

这里我们不加证明地给出隐函数求导法则,也就是暂且把当成的函数.

Example1

举例的话,我们来看方程:

两边对求导:

参数方程的求导

如果,考虑求导.

这个做法就是反函数+链式法则.当然要保证下面需要的地方导数都不是.

不妨设,当然有,那么.

Example1

极坐标的求导:

当然.

而容易发现其实是切线和轴正半轴的夹角.

初等函数的导数

下面给出若干初等函数的导数.

常函数

常函数的连续性显然.

导数有:

证明显然.

三角函数

三角函数的连续性比较有意思,考虑只需证明连续即可,使用和差化积得到.

导数有:

只给出前者的证明,后者类似,或者换个元做诱导公式也行.

我们有和差化积:

自然有:

进一步,我们可以考虑高阶导数:

而考虑,我们有:

反三角函数

使用反函数的导数公式:

反三角函数的高阶导数比较困难,我们来看个例子:

考虑,,那么,事实上容易用归纳法证明.

不过还有一种办法,那就是我们考虑,用这个归纳立刻得到.

然而要麻烦得多.下面我们来看一下:

两边求次导,利用莱布尼茨公式,化简后得到:

指数函数

我们需要首先拿到指数为有理数的东西.

首先整数次方是有定义的,我们需要拿到形如的东西,这个考虑取一下反函数即可.然后二者嵌套一下得到形如的幂函数,取反一下得到形如的幂函数.

然后要定义无理数指数幂,类似戴德金分割,定义.

当然我们要验证那些指数的运算法则,还有一些单调性(两个无理数之间插入两个有理数就可以拆成单调的,这里还需要讨论一下和的大小关系),这些当然都是对的.

然后我们就可以拿出指数函数,用反函数定义对数函数.

指数函数的连续性:考虑对于,,,此时取,,这当然能做得到.考虑,于是.

先来看最特殊的指数函数:

事实上我们还有:

下面来看下为啥:

而高阶导数有:

对数函数

先看:

证明的话考虑:

再看:

考虑.

考虑对数函数的高阶导数:

幂函数

我们只需要定义即可.

导数有:

证明的话,考虑的时候根据定义显然,如果,那么:

容易发现其高阶导数是:

一般初等函数

定理:初等函数在其定义域上除了至多一个孤立点集外,可求导并且导函数也是初等函数.

单调函数的导数

定义右上导数,同理定义右下导数,左上导数,左下导数.那么存在的充要条件当然是并且有限.

下面证明单调(不妨设为单增)函数几乎处处有导数.

我们接下来尝试证明两个集合是零测集.此时就是零测集,而中的点都满足,于是它们都相等(可能等于).

二者类似,我们下面挑选前者进行证明:

考虑设,其中都是正有理数(因为是单调递增).这当然是可数个集合,所以只需要证明其中任意一个是零测集就可以.我们取,下面证明是零测集.

反证,先假设不是零测集,且有限(最大是).

首先删除中的孤立点集.由于孤立点集是零测集,这当然不会对答案有什么影响,也不会删成空集.这样下面可以直接假设是开集.

根据定义,存在任意小的使得,那么我们取出这些,并且满足.它们当然构成的一个Vitali覆盖.

根据Vitali覆盖引理我们有两两不交并且满足.而考虑,不妨令于是我们得到了.

这里我曾经以为可以直接写,但实际上是不行的,因为我们的构造依赖于.

同时由于所有的并且两两不交,我们还有.

而我们发现我们又有,两边求和就有.

而接下来考虑,当然仍然是一个开集.对于,当然应该存在一个任意小的使得.取出这些区间当然仍然构成的一个Vitali覆盖.类似上面,我们当然有结论.但考虑一定被包含在某个中,又根据函数的单调性,自然可以知道.于是,这当然导出,与条件不符!

接下来的修补工作是证明的集合是零测集.这意味着对于,取当然仍然是的一个Vitali覆盖.同样根据Vitali覆盖引理得知,如果,做Vitali覆盖后对左右两边分别求和,左边是有界,上界当然是,但右边无界.这就给出矛盾了.

理解一下上面的过程的话就是,由于该单调函数定义在一个闭区间上,那么这个单调函数应该有某种最值性.这必然会限制其大小,而如果哪里的大小崩坏了导致没有导数,这些地方的外测度一定要是,不然整体的最值性无法保证.

李氏连续函数的导数

注意到李氏连续的定义,注意到.

如果钦定,那李氏连续等价于,于是是单调降函数,当然几乎处处可导,而作为初等函数当然处处可导.

李氏连续几乎等价于导函数有界.

下面我们证明:如果在上可导,那么.

右推左是显然的,除一下然后取极限即可.

左推右也很显然,只需用一下拉格朗日中值定理即可.

微分

设在处有定义,假设有一个常数使得,称在处可微,并把称为在处的微分,由于后半部分是一个更高阶的无穷小量,我们说微分是函数改变量的线性主要部分.

微分与导数(微商)

结合导数极限的定义,就可以得到,.这就是我们将导数称作微商的原因.换言之,一阶可微一定一阶可导,反之亦然.但容易发现,可微的定义要比可导好得多,可微可以往外拓展到平面等拓扑结构,但可导不行.

一阶微分具有形式不变性.换言之就是,我们在求导的时候是需要选定一个自变量的,当选定的自变量是的时候,根据上面自然会有.

但是当选定的自变量不是的时候,上面的形式是同样成立的.我们下面证明这个结论,令:

必须提出高阶微分不存在形式不变性,换句话说,的二阶微分的形式不等价于的二阶微分,你不能乱换元.

一般将高阶微分记作.

导函数的性质

费马定理

如果在邻域上有定义,是其的一个极值点,在处存在导数,那么.

不妨考虑最大值情况,,前者,后者,此时当然.

罗尔中值定理

如果且可导,并且.则,.

即:可导函数两个零点间一定有导数的零点.

设为上的最大值,是最小值,当二者相等即常值函数的时候,当然成立.

当的时候,则和至少有一个成立.不妨设.

根据费马定理,这个极值点的导数为.

由此可以推论:函数的零点数量.

这当然可以推出次多项式至多个实根.

事实上可以证明更强的结论,当不全为的时候,取个不同实数,至多有个正根.

归纳法,的时候显然成立.时成立的话,考虑,而后者有一项是常数项,求导后少一项.

拉格朗日中值定理

,并且在上可导，.

考虑先把函数放平,设,容易发现,根据罗尔中值定理,.

Example1

证明:如果.

考虑,.

Example2

证明:如果,那么.

考虑.

Example3

考虑对抛物线用拉格朗日中值定理,设,则.

反过来,如果恒有,事实上也可以推出是抛物线.

此时我们有,取,知道,于是可以两边对求两次导数,得到,取,这当然意味着是常函数.

柯西中值定理

,并且均在上可导,其中.则,.

此时注意到,原因是根据拉格朗日中值定理,如果,这与矛盾.

令.

接下来注意到上述命题等价于.

而注意到,根据罗尔中值定理立刻得到答案.

然而这个东西竟然还能推广,我们有:

如果并且在上可导,有:

证明的话考虑构造:

注意到.

广义微分中值定理

广义罗尔中值定理

如果且均存在,并且.则,.

证明和罗尔中值定理没区别,仍然是找最值.

广义拉格朗日中值定理

如果且均存在,,则,.

证明差不多,仍然是把函数放平然后用广义罗尔中值定理就行.

导函数与间断点

导函数不存在第一类间断点.

证明的话,考虑证明当在处可导的时候,,使得,并且满足.

原因根据拉格朗日中值定理,,,直接这么取当然就是可行的.

函数的升降性

并且在上可导,单调不减f'(x)\geq 0

左推右当然是导数定义,右推左可以用拉格朗日微分中值定理.

另外由于保号性,,但反之不成立.

函数的极值

若在上次可导,.而且在处存在阶导数并有.我们有以下结论:

是奇数的时候,不是极值点.
是偶数且时,是极大值点.
是偶数且时,是极小值点.

证明考虑泰勒公式:

于是取极小邻域并且是偶数的时候和同号,上述命题立见.

达布定理

也即:导函数拥有介值性.

如果在上可导,,那么.

不妨设,那么在处附近递增,在处附近递减.那我们取一下,那么,于是,.

那我们加个常数就可以把这个推广到导函数的介值性.

然而这个介值性比连续性弱得多,例如下面这个函数的导函数就在闭区间上有界但没有最值:

其构造思路是让其在附近的导数在上下波动,这样上确界为,但处跳出去,所以取不到.

下面这个函数更极端,其导函数在闭区间上无界:

其构造思路应当是让其在处相当厉害地波动.

函数的凹凸性

定义一个函数是下凸的,若对.

如果一个函数是下凸的,那么其充要条件是满足,.只需设然后简单变形即可.

不妨设也就是这里的割线斜率.还可以证明如果一个函数是下凸的,那么其充要条件是,斜率有,即所谓三弦引理.这个性质容易证明,而且该性质立刻说明开区间上的有界下凸函数一定是李氏连续函数.这意味着其应当几乎处处可导.另外三弦引理还可以改为,原因是中间项一定是两项的带权平均.

另外显然的是:

如果可导,那么下凸f'
如果可二阶导,那么下凸f''\geq 0

如果在附近连续并且在左右小邻域内凸性相反,称其为的一个拐点.

容易说明是拐点的必要条件,原因是拐点处的增减性相反,必定是的极值点.由此还可以套用之前的极值点结论:

若在上次可导,.并且我们有以下结论:

是奇数的时候,是严格单增函数.
是偶数的时候,是严格下凸函数.

但上述条件疑似有点过强,能不能放弱一点呢?

可以发现一个在开区间上的函数是下凸的充要条件应当是以下条件同时成立:

,均存在,并且.
,.

必要性几乎是显然的,只需用三弦引理然后在每个点都卡一下极限就行.

充分性略有麻烦.考虑反证,只需反推三弦引理即可.设其不是凸的,那就.不妨设那么根据广义拉格朗日中值定理,,使得.

立刻得到,由于,所以,但,这就出现了矛盾.

还可以证明下凸函数除了可数个点以外都可导,并且几乎处处有二阶导数.

这个怎么证明呢?考虑由(1)(2),可以发现和都是单调函数,那么除了可数个点以外它们均连续,而它们在连续处必定可导,原因是,夹逼一下就可以了.而这样的话其导数单调,于是处处二阶可导.

由此还可以发现:在开区间上,是下凸的等价于:

存在.
.

必要性:

考虑已知凸函数,只需证明.不妨假设(另一方向同理),于是只需证明,用广义拉格朗日微分中值定理立刻得见此成立.

充分性:

任取两点,有,那么左边那个东西取极限得到,这样就说明了任何一个点都有.

接下来仍然容易得到:

由上述式子立刻得到.这样就证明了充分性.

经典不等式

琴生不等式

如果在区间上是下凸的,则,那么.从几何角度来看,这意味着在处作的切线位于原函数下方.所以函数如果是上凸的话不等号要反向.

当所有均相等的时候显然成立.

不然考虑直接取,此时发现一定在区间内部.于是我们知道,求和得到,这样就证毕了.

容易将琴生不等式推广到积分形式,当是下凸连续函数的时候,当然有,证明只需对黎曼和求极限.

Example1

证明:圆内接边形以正边形面积和周长最大.

不妨设其为单位元,用圆心向顶点连边,会得到一圈圆心角,它们之和应当是并且范围均在里(原因是圆心肯定得包含在正边形里,不然肯定不算大),此范围内是下凸函数,那么,.

同理还可以证明圆外接边形以正边形面积和周长最小,证明可以考虑取切线然后用的凸性.

均值不等式

当时:

取,是上凸的,于是,右边得证,取倒数得到左边.

柯西-赫尔德不等式

当并且时,有.其特例给出柯西不等式.

套用琴生不等式,取,容易发现上凸.

这样就会得到:

化简一下就可以了.

在这里也可以将此形式拓展到积分形式,注意到当时,,原因是琴生不等式.

此时令,再令,根据上面的不等式立刻得到,此时做两边积分,注意到,立刻得到.

闵可夫斯基(Minkovski)不等式

,则.这其实揭示了某种度量下的三角形不等式.

套用琴生不等式,取.求导得到,再来一次化简得到.于是下凸.

取,.这样得到:

化简一下就做完了.

洛必达法则

来看几个抽象的问题:

(1)可以写成,这样就转化成了(4)和(2).

(2)可以写成,就转化成了(3).

(5)可以写成,就转化成了(2).

(6)可以写成,就转化成了(2).

(7)可以写成,就转化成了(2).

这样的话我们只需要解决俩问题就行了,也就是和.

0/0型

如果在上可导,,.那么若.

这个只需要定义,这样这俩函数就连续了.然后直接跑柯西中值定理就可以对.

这里可以看出洛必达法则是单向的,因为我们取得并不是连续变化的,只是取了一个的的子列.

而如果,那就考虑取,然后把换成,做复合函数求导即可,结论无差异.

/型

如果在上可导,,.那么若.

这个证明麻烦一点,先来讨论的情况.

考虑,,应当有,那么,取当然有:

两边取极限就做完了.

当的时候容易发现上面那个还能用.

泰勒公式

设在处有阶导数,则泰勒公式声称时,其中称作皮亚诺余项.特别地,当的时候,称其为麦克劳林公式.

要证明这个式子只需证明.对上下分别用次洛必达法则后,那么只需要证明.而这当然就是导数的定义,于是就证毕了.

拉格朗日余项

设在上有阶导数,并且,泰勒公式有,其中.一般将称作拉格朗日余项.

证明的话,考虑对于一个固定的,构造,.这里之所以固定而移动的原因是,如果反过来固定则求导就不能实现下面的错项相消.不难发现,此时考虑必定有一个满足.

这个时候研究一下他们的导数,注意到,.

于是,.

下面给出一些常见的泰勒展开公式(其中):

解析函数

不妨设.我们称在处解析,若,,也即泰勒展式在一个邻域上可以逼近原函数.

如果其在上任何一点都解析,那么称其在上解析,记作.

解析函数应当有如下性质:

在处解析,那么的四则运算在处也解析.
均解析,并且有意义,那么也解析.
在处解析,那么在处解析.
初等函数基本是解析函数.

对于(1):

当然是平凡的,至于和如何证明解析性,我们回头再说.

对于(2):

回头再说.

拉格朗日插值

构造多项式.显然当时,该多项式的答案为.

用这个在一个次可导的函数上打个点并且取出这个多项式,考虑它们的误差.取,事实上有:.

取,考虑对于一个固定的,取.注意到,所以有个零点,所以一定有一个零点,记为.

那么我们就有.上述命题就得证了.

那么怎么样能让这个东西的最大值尽可能小呢?

我们定义所谓次切比雪夫多项式,使得对于任何一个首项为的多项式,.

事实上上的切比雪夫多项式可以用递推关系描述:

还可以写成.

函数的作图

渐近线

如果对于一个函数,存在一条直线使得函数上一点距离原点距离的时候,与的距离.

大概可以有以下几类渐近线:

水平渐近线:或.
垂直渐近线:或.
斜渐近线:,那么.

作图

确定定义域和值域.
研究其奇偶性,周期性.
研究的根以确定极值点和升降区间.
研究的根找出拐点.
求出渐近线.

牛顿迭代

目的是找到一个函数的零点,尝试取上面任何一点并作切线,找到切线与轴的交点.或者说任取,取.

我们需要证明这个做法的正确性,事实上:

如果在上非零,,那我们取满足,那么取的数列.事实上:

当,单调下降趋近于.
当,单调上升趋近于.

并且.

上述讨论情况有点多,我们下面只讨论其中一种进行证明:

当的时候,是一个单调上升的下凸函数.容易发现这个数列单调下降并且应当大于,那它就有极限,两边取极限得知.

接下来看一下逼近速度,泰勒公式展开一下知道.从上面的结果容易看出的时候,.前面那个系数是有界的,可以看作一个常数.于是这一次的误差应当是上一次误差的平方级别.

积分

不定积分

如果存在可导函数满足,则称一个函数是可积的,是的原函数,或称其为的不定积分.

我们之前已经证明过导数相等的两个函数最多只差一个常数,因此一个函数的原函数是有唯一的的形式的.

不定积分的运算

只给出以下两个运算法则:

积分表

换元法

第一换元法:设,可导,则.证明只需对右边求导即可.

第二换元法:设可导,且有反函数,那么如果,则.

Example1

求.

注意到:

边界条件的话.

分部积分

我们应当有,两边积分得到,变形得到.

Example1

求.

注意到:

整理得到.

边界条件当然是.

Example2

求.

注意到:

整理得到.

Example3

求,其中.

注意到:

然后观察到:

观察到:

往回倒腾倒腾,边界条件是:

Example4

求.

注意到:

边界是.

Example5

求.

考虑:

也就是.

有理分式的不定积分

考虑真分式,其中.至于其他分式可以做长除法变成真分式.

定义最简真分式形如.

先证明一个引理:实数域上,任何一个多项式可以分解为若干不可约的一次多项式和二次多项式的乘积.

原因是复根一定成对出现,如果是复根,那么一定也是复根,原因是,对一个多项式两边逐项取共轭就可以发现上述结论.那只需要把成对的复根扔到一个二次多项式里就行.

再证明一个引理:实数上,任何一个真分式都可以转化为若干最简真分式的线性组合.

先拆一次项,如上将,其中,那我们考虑:

此时取,立刻见到,于是上下至少少一次,这样就可以继续分解了.

再拆二次项,如上将,其中,那:

令,类似上面应当要确定使得上面那部分是的倍数就可以.直接取的某个复根,则只需即可,这是两个方程(实部虚部),而我们有两个未知数,理应可以解出答案.具体解得过程其实也可以直接把和直接先用多项式长除法杀一杀然后剩的部分判一下方程.

这样最后就只需要对拆出来的东西逐项积分就行.意味着有理函数的原函数是初等函数.

有理三角函数的不定积分

即经过有限步四则运算得到的函数.

我们定义二元有理函数,那么有理三角函数实际上是.

下面给出以下命题:

如果其对于是奇函数,也即,那么,其中是另一个二元有理函数.如果对于是奇函数则同理.
当时,那么.

证明只需要拆做,其中是两个多项式,然后只需简单书写即可证明.

对于(1)形式的有理三角函数,注意到:

对于(2)形式的有理三角函数,我们有:

有了这两种形式后呢?我们注意到任意的有理三角函数都可以表示为以上两种函数之和,原因是:

或者,令,那么.

无理函数的不定积分

我们考虑以下几类无理函数:

第一类是的形式.只需做换元,立刻得到原式其实就是,并且也可以转化到.

第二类是形如,其中.

令,上式就变成了.令.我们只需要做.事实上,下面三种情况可以积出来:

其它的都无初等形式.

第三类是形如,不妨假设.

,则有两个实根,此时提一下实根就可以知道原式等于,这就能做了.
,则无实根,不妨假设.则做并两边平方就可以反解出,原本的积分就变成了关于的有理函数的积分.

双曲换元

引入双曲三角函数以及.留意到.以及:

应当发现:

另外其反函数应当是:

应当发现:

Example1

求,其中.

于是.

Example2

求.

考虑三角换元,应当小心符号,这里注意到,因此直接取,,此时恒成立,则有:

Example3

求.

使用双曲换元,先考虑的情况,此时换,,根号是平凡开出的,应当有:

另一个同理,仍然使用双曲换元,结果是

椭圆积分

以下是几个常见的无初等形式的积分:

另外还有一类椭圆积分也无初等形式:设是二元有理函数,其中或,也即根号下放了个三次或者四次多项式,那么可能很难有初等形式.这样的积分可以被归结为三类椭圆积分.

首先说明可以转化,原因是一定有至少一个实数解,任意取出一个设为,则,令,带入可以转化为.这就意味着其实根号下四次多项式是更本质一些的.

而四次多项式可以分解为.不妨假设其无重根(如果有重根的话,那么根号下就可以开出去一部分,那就可积了),设其四个根(可能有复根)分别为,并且是上述分解中前半部分的根,特别地,如果这是四个实根,则不妨调整它们的顺序使得.那么根据韦达定理总有:,后半部分同理.

我们尝试把这两个式子的一次项都去掉,当的时候可以直接一起配方令.当的时候,尝试换元用代替,不妨设,那么.为了让其没有一次项应当解以下方程:

此时可以解出来,为了解出是两个实数,应当检验是否成立.带入韦达定理发现左边等于.原因是如果是四个实根,则根据假设立刻得到.如果存在复根则配对一下复根也可以立刻得到.

总之,在上面的一系列操作后,我们要研究的形式统一成了,其中都是的有理函数.前者可以直接积分拆出去,那我们关心的就只剩下后面的的部分.

我们之前已经提过可以将一个函数拆为偶函数和奇函数之和,事实上:

那么后者立刻可以换元积分,只剩下前者做不动.剩下的形式是:,其中可以先扔出去一些,使得.而且由于被积函数是偶函数,所以还可以不妨设.由于根号下不能变成二次函数(不然就直接做完了),还不妨设.下面开始讨论:

此时令带入化简变形再扔出去点常数得到原式变化为,其中.

此时令.扔出去一些常数仍然可以化简成(1)的形式,只是.

令.扔出去一些常数仍然是(1)的形式,只是.

令,还是(1)的形式,只是.

令,还是(1),只是.

这样就全都转化为了的形式了.然后把给拆开,那么这个式子就应该是和的线性组合,注意这里系数有可能是复数.

此时注意到

两边积分得到:

上述只要是整数就行,甚至不需要是正的.所以所有的,包括负整数,都可以被表示.

接下来看,当的时候无非是,

接下来注意到:

令,,那么.上式化简为:

接下来是繁复的化简,然后两边积分得到:

而注意到.

综上,所有的椭圆积分都可以由表示.也就是椭圆积分可以转化为以下三种积分:

.
.
,其中可以是复数.

有意思的是如果令,,这样形式就好看了很多.椭圆积分可以用以下的优美形式表示:

.
.
,其中可以是复数.

其中:

黎曼积分

设是定义在上的函数,对于区间插入分点,且有,我们称之为对区间的一种分割,并记为.又记,,并定义黎曼和.

若存在实数,对,对于任意分划,只要,都有,则称在上黎曼可积,这个为在上的定积分,记作.容易见到定积分唯一,证明无非也是拿去卡.

对于上的连续函数,定积分实际上就是其与围成面积的代数和.

由此可以顺便定义达布上下和,即令,并定义振幅,特别地定义.定义.

并在此基础上定义上下积分,上积分.上下积分显然都是存在的,我们会在后面证明黎曼可积等价于上下积分相等.

为了方便,我们约定:

下列性质应当是成立的:

(必要条件)如果一个函数黎曼可积,则它在该闭区间上有界.
对于任意分划任取,都有.
,,使得,.

再定义所谓加细:如果,那么称是的加细.此时应当有.另外容易注意到如果,那么,原因是考虑把这些新的断点一个一个加上去,每次加一个会新断开原本的断点,此时最多造成的差.注意到此时这些东西似乎全都可以被限制住.

这同样给出了原因:为什么我们会定义上下积分呢?因为随着分点的加多,也就是随着划分的加细,达布上下和会分别单调递减或递增,这样就应当存在一个极限,然而问题在于我们难以在划分上定义序,这样就少了某种极限的方式.然而,我们试图绕开来找到一种确定的能探到极限的方式.

另外的结论是对于任意两个分划,总有.原因是,立刻见到.这意味着.

接下来证明定积分中的达布定理,也就是,的时候,.换言之,当然下积分也是同理的.

这个的证明考虑先用上积分的定义,应当存在一个,满足.不妨设,接下来取,那么接下来对于的时候,取,根据上面我们证明的步骤,这里最多会多个断点,自然得知.

这样的话就可以注意到:

这里可以证明原函数可积的充分必要条件是上下积分相等.

首先证明充分性:当上下积分相等的时候,设其为,取足够小的,由上知道,使得,夹逼一下立刻知道其满足.

然后证明必要性:当原函数可积分的时候,只要分点足够密,应当有.

而由于我们可以见到上和与下和应当是错开来的,而如果它们中间能接上自然意味着上下积分相等.因此推论为:如果在闭区间上有界并且使得,则可积.我们最初拿到的那个定义也可以这么改:只需要存在一个分划而不需要使得任意分划都这么满足.方式就是用我们已经找到的这个去并我们想要限制的那个,然后把限制延后一点使得这些全被限制住.

由上述可以证明闭区间上的连续函数一定是闭区间上的可积函数.原因是闭区间上的连续函数一定是一致连续函数,那么对于一个,可以找到一个控制住区间长度,使得极差.此时直接找一个,注意到,只需取就可以搞定.

还可以证明如果在闭区间上有界并且只有有限个间断点,那么可积.原因也很简单,只需要拿足够小的区间把这有限个间断点盖住,然后外面继续如上操作,间断点处尽可能缩小区间长度来取出其影响.

还可以证明单调函数一定可积,原因是.

可积性与连续性的关系(勒贝格定理)

我们还可以进一步探索黎曼可积和连续性的关系,例如,我们可以证明:.

如何证明呢?感觉上只需要用分段线性函数去逼近一下就可以了对吧.所以我们考虑对于划分,直接把所有的连起来形成一个分段线性函数.然后观察此时的,不妨分段考虑,对于,而后者求和之后实际上就是,当可积的时候这个当然会趋近于.

我们还可以证明的连续点在上稠密,只需要证明,这个区间内存在连续点即可.考虑定义一点处的振幅,这个随着缩小当然应当是单调不增的,因此一定有非负极限(但可能是无穷大).我们注意到在处连续的充要条件是在处的振幅为.必要性和充分性都容易证明.

我们考虑用区间套来找到这个连续点,考虑对于,取分划使得,并且加细使得,注意这里的两个其实用处不同,前者是为了让足够小,后者是为了让区间长度足够小.此时考虑由于,所以一定存在一个,拿出这个区间作为,则区间长度至少折半,并且只需在上述对时取就可以使得也趋近于,这样就能用区间套找到一个点使得它是连续点.

事实上可以证明一个函数黎曼可积的充分必要条件是其有界并且几乎处处连续.

为了方便不妨把延拓到整个实轴,令.

下面定义.我们考虑证明其是闭集,也就是证明其补集是开集.如果,注意到此时,那么这必然意味着邻域中的点的振幅也会,这当然意味着其是开集.

令是的间断点集,容易见到,下面只需要证明每个都是零测集即可.

先证明必要性:当时,则有界,现在对于固定的,尝试证明是零测的,由达布定理,,,使得.

观察前者,注意到:

因此,由于一开始就固定,可以尽量小,所以这意味着是零测集.必要性得证.

再证明充分性:当每一个都是零测集的时候,,取.此时见到是开集,那它可以写成若干两两不交开区间的并,不妨记作.由于此时是零测集,这意味着.接下来可以取足够大的使得,接下来取的闭子区间,使得.这里为什么要把开区间再进一步缩成闭区间呢?原因是你这里如果直接用开区间构造分划可能会把端点处给包进去,因此我们不得不设其端点处的一部分值拿到闭区间,这样那些振幅较大的就被舍弃了.

接下来考虑由于每个点的,必定有其一个小邻域满足整个邻域的振幅,用有限覆盖定理拿出一个开覆盖,然后缩掉这些开覆盖的区间就能拿到一个的分划(或者干脆将这些开区间的端点和的端点直接当作一个分划),把这些分划全都并起来就得到了一个划分.

此时观察这个划分,应当有:

这样就可以使其任意小.

上述证明同样声明了:黎曼可积的充要条件是震荡区间超过某个值的区间长度之和随着细分的增加应当尽可能小.

上述结论立刻能见到比如黎曼函数是黎曼可积的,因为其间断点集就是有理点集,就是零测集.

可积函数的简单性质

不妨设,则:

.
则.
.
.
(保序性)则.事实上只要在一个稠密子集上成立即可.
如果,那么此时,并且.
如果是连续函数,那么.
,并且.
如果除了一个有限的点集以外,,则并且.
如果,那么在其连续点集合上恒等于.

(1)(2)是显然的,(3)(4)(5)只需将积分看作黎曼和的极限,(6)的话考虑在上间断点集都是零测的了,那么其子集上的间断点集当然也是零测集.

(7)的话考虑一个几乎处处连续的函数在外面套一层连续函数当然也是几乎处处连续的.

(8)的话考虑绝对值函数是连续函数,然后注意到使用保序性就可以了.

(9)的证明是简单的.但是为什么是有限点集而不是零测集呢?因为如果是无限个点,那么它们不仅会影响自己的连续性,还会影响旁边点的连续性,例如迪利克雷函数.这里可以看出来黎曼函数是有其限制性的,推广到勒贝格积分后会消除这个问题.

(10)的话只需考虑反证法,对于一个连续点,如果,那么周围应当有一个小邻域也大于,或者干脆用一致连续性取的一个小邻域,这样就反证完了.

广义原函数

对于,称为其广义原函数,若满足.容易见到原函数一定是广义原函数,原因是拉格朗日中值定理.

应当容易注意到以下命题:

局部有界函数的广义原函数是局部李氏连续的,故几乎处处有导数.
在处连续,是的广义原函数,则存在并且恰好等于.

(1)是显然的.

(2)的证明的话,考虑,由于连续,那么此时其振幅在时应当趋近于,使用夹逼定理,于是证毕.

牛顿-莱布尼茨公式(微积分基本定理)

先证明一个引理:如果,是其广义原函数,那么.

证明的话,只需证明对于任意分划都有.而注意到.而根据广义原函数的定义,,立刻证毕.

由此显然证明了牛顿-莱布尼茨公式(NL公式):设,并且能找到其一个广义原函数,则.

接下来声明一个定理:如果一个函数,它就存在广义原函数,而且不同的广义原函数最多相差一个常数.

先证明存在性,我们注意到变限积分显然是的广义原函数,而且它是处处连续的,只需套用定义就可以证明.

再证唯一性,设都是的广义原函数.根据LN公式,有,立刻有.

此时回忆到在处连续可以推出可导,那么反过来是否成立呢?考虑以下经典反例:

但总之可以看到连续函数一定有原函数.

此时回忆到我们曾经定义过左右上下导数和.设,是的广义原函数,不妨直接设,那么我们声明.

四个证明类似,只考虑其中之一如何证明.取,下面令.当时,容易发现单增.既然如此,其任意左右上下导数当然都,也就是.同理如果取的话还可以证明.

那么就有,我们知道是黎曼可积的,也就是,此时就可以证明其可积性.

而注意到几乎处处连续,几乎处处可导,并且在的连续点处,这个连续点集当然是稠密集,因此它们的积分相等,这样就做完了.

Example1

求.

注意到的广义原函数是,所以.

Example2(黎曼引理)

设并且在上以为周期.求证:

首先注意到:

因此可以用代替,这样就能满足.

接下来只需证明,不妨设.

考虑对分划,满足:

接下来设,由于的周期性,而且其在任何一个长度为的区间上积分为,所以,那么.

那么上式就,这里虽然有个无穷大的,但由于可以尽可能大且在之后决定取值,因此这个影响可以被消除.

这个命题的一个平凡推论是:

Example3

求,其中.

注意到的时候,上面就等于.

Example4(Dirichlet核)

求.

注意到根据积化和差有:

Example5

考虑,,都有,已知,求证.

首先注意到变限积分是李氏连续的,因此当然就是局部李氏连续的,因此自然看出在上都是连续的.既然如此,那就在上处处可导并且,同理还可以看出实际上任意阶可导.理应见到应当和有关,凑,则,这立刻得到.

然而,于是,所以.

换元法

不妨设,,,并且可导,而且,则:

证明的话,考虑考虑NL公式,应当有:

然而回忆到有原函数和是否黎曼可积之间是有区别的,适当调整条件可以得到另一个策略的换元法:不妨设,并且单增,,可导并且,则且上述积分仍然成立.

策略是对两边做黎曼和,利用的单调性和一致连续性,可以取,利用中值定理可以写作.

而另一边的黎曼和.

只需证明二者之差趋近于,令做差得到:

而可积,上述趋近于.

这些定理都有点诡异,它们会在RS积分处再详细讨论.

Example1

求.

注意到:

其实就是找个点对折.

Example2

求,其中.

令,应当有:

移项得到:

Example3

如果,并且恒成立,求证.

固定,对从积分,得到:

而变限积分是局部李氏连续的,所以局部连续,所以整体连续,立刻得到可导,立刻得到其是的.

那就可以两边对求导,得到,因此.

分部积分

设并且均可导,而且,则:

从这里能看出也是黎曼可积的,那就可以用牛顿莱布尼茨公式两边积分得到:

这个版本当然是简单的,那能不能上点难度呢?

不妨考虑,那它们的广义原函数可以取为.

则.

先证明一个引理:

证明无非是用黎曼和,设,直接考虑:

这个当然趋向于.

使用abel求和法则,得到:

使用引理就完事了.

Example1

求证:

令,就可以直接套用分部积分公式得到:

这样就做完了.

或者设,将上式记作:

Example2

求,其中.

有:

Example3(Wallis公式)

求.

换元后直接分部积分:

于是.

注意到,所以.

然而注意到随着增大而减小,于是应该有,展开得到:

而,因此.

泰勒公式的积分余项

回忆到泰勒公式的余项:

设在处有阶导数,则.

设在上有阶导数,则.

事实上还可以写积分余项,若,则.

首先能写出,考虑不断展开后面那一项,用分部积分注意到:

Example1

函数在上各阶导数存在且非负,求证:

其实这个题应该放到幂级数那里,不过确实和积分余项关系更大.分析的话首先会发现要证两边相等一定要搞定余项对吧,但是拉格朗日余项要求对所有的点的任意阶导数都存在一个控制,但这是做不到的,原函数对导函数的控制只能是在一段连续区间上的控制(用NL公式),而做不到对所有单点的控制.因此使用积分余项,一个自然的想法是除了端点以外的误差应该都比处的误差要小,注意到:

所以:

接下来如果能控制就万事大吉,发现:

这就搞定了,当的时候,由于而自然完事.而单调函数的端点是随便延拓的,写下来的话,如果端点处不满足则必然端点处不收敛,意味着:

但这不可能,因为左边的恰好是原本收敛的那个函数处的表现.

积分第一中值定理

设并且不变号.不妨设的连续点集为,称它的本性上界为,同理定义本性下界.则使得:

来证明这个事,不妨设.

当的时候,此时由于,因此一定几乎处处为零(否则,存在一个的连续点处不为,在这个点邻域附近卡一下就能卡掉),那左右两边都等于.

当的时候,由于对于的连续点集成立,而这是个稠密集,立刻见到.于是.

作为更加常见的版本,当的时候,使得:

该版本与之前的区别在于要断言.使用反证法,在的时候,不妨假设,此时前面中不能有和相同的,又因为其是连续函数,因此不妨设中均比要小,用极限把端点用保号性卡出来就知道中.

由于此时,于是一定存在一个,并且是一个连续点.此时就存在其一个小邻域都,并且这个邻域上的.在这个邻域上立刻可以发现:

这就有了矛盾.

Example1

,存在,则:

不妨设,因为改变有限个点的取值是不会改变其积分的.

此时:

而考虑:

而后者:

这样就做完了.这里拆成两部分可能是难以想到的,事实上这么做的意义是使得而放缩,其中这个的变化量很大,因此可以稍微匀一下变化.

Example2

设二阶可导,并且一,二阶导可积,则,使得.

考虑:

前半部分已经完事了,接下来看后半部分,继续分部积分:

接下来看,,由导函数介值性,意味着必然使得.再用一次的介值性得到.

积分第二中值定理

设,并且单调,则:

单调递减时,,.
单调递增时,,.
,.
在上述基础上,如果不是几乎常值函数,那么上述的.

(1)(2)相似,下面只对(1)进行证明:

不妨设是的广义原函数,其满足,不妨设,回忆到:

在最后一步放缩进行修改就可以改为,而我们已经得知的连续性,因此用介值性就可以解决上述问题.

难点在于(4)如何证明.

当其不是几乎常值函数的时候,应该满足.

当的时候,如果迫不得已必须取端点就应当有,都有,由于其连续导出的介值性那就当然拿到了的保号性.我们上面已经用Abel变换得到了:

此时考虑取使得,并且满足,由于并不是几乎常值函数,这当然可以做到,上式每一项都是的,那就可以把区间从重新控制到中.于是此时上式立刻:

然而我们假设中,这样就导出了矛盾.

接下来考虑的情况,如果其迫不得已必须取在端点的话当然要取到右端点此时应该有.

仍然看上面的Abel变换后的结果,同时按照上面同样的办法取出一个子区间.回忆到为了保证前面都没有能和相同的,因此必然是前面的最大值.再回忆到,立刻能得到,设后者为,应当有:

这里这个很烦,但是当的时候当然会使得,上式变更为:

这就导出了矛盾.

最后来看(3),不妨设单减,设且单减,用(1)的结论得到使得.变形后就可以得到原本的式子.单增是同理的.总之,(3)是(1)(2)的一个更为优美的推论.

Example1

设,并且满足单调递减,且.求证:.

注意到:

这就完事了.

有界变差函数

对于一个的函数,做分划,定义其变差为,定义其全变差为.当全变差为有限的时候,称是有界变差函数.容易见到由介值定理,如果可导而且可积,则.

应当容易见到,闭区间上的单调函数是有界变差的,且.

接下来我们来证明:是有界变差函数,当且仅当是两个单调(不一定严格)函数的差.或者更严格一点,可以写成两个单调不减函数的差.另外,作为这个命题的平凡推论,我们知道有界变差函数几乎处处可导,并且有至多可数个间断点,且只有第一类间断点.

充分性显然,下面来看必要性.假设是有界变差的,此时类似积分可以定义一个变上限函数,其显然是单调不降的.

接下来定义,我们来说明它一定也是单调不减的.

那考虑当时,观察.

既然全变差的定义依赖于分划,我们当然可以加分点,自然有.

自然得证.

可应当意识到连续函数不一定是有界变差函数,原因仍然考虑.在闭区间上取,这样的取值正负交替,容易见到出现了调和级数.

然而,稍微加点条件,我们可以证明李氏连续是有界变差的.可以直接套用定义,也可以回忆到.因此导函数有界就一定有界变差.并且此时,可以让其拆出两个不降的可导函数.

定积分的应用

Example1(图形证明不等式)

回忆到我们证明积分形式的柯西不等式的时候,证明了当时,.

下面可以用类似的策略理解这个式子,首先等价于证明.原因是考虑设,设,留意到的积分表示出了,而恰好表示出了.

Example2(参数方程曲线面积)

回忆到换元法,取参数方程,此时不妨假设,且单调递增且连续,除有限点外都存在且黎曼可积.那当然应当有:

注意到如果反之条件使得,则需要补一个.

由此可见,对于不自交的任意参数方程表示的曲线,直接积分的正负号一抵消,仍然可以求出曲线下方的面积.如果自交,就是要把自交部分的面积减去.顺便而言,简单封闭曲线(例如圆或者椭圆)当然是上述我们所说的特殊情况.

不过对于封闭曲线,由于转一圈会回到同一个点处,使用分部积分得到:

兼顾一下对称性,可以写作.由此立刻得到椭圆面积为.

Example3(极坐标的面积)

设.

此时考虑对做划分,取,并取,立刻得到,这样加密后得到.

Example4(参数方程曲线的弧长)

取参数方程,并且假设均连续.首先我们应当定义其"弧长"的含义.

可以使用折线逼近的策略定义弧长.具体而言,直接取分划.定义一个点,这样我们当然就得到了若干个点,在这些点上就可以将相邻两个点求出折线,设折线长为.

接下来,称曲线是可求长的,当且仅当取出的折线的上确界是有限的,并将此上确界定义为曲线长.

我们接下来证明,其可求长当且仅当和都是有界变差的.

先看必要性,任取分划.立刻得到,当然是有界的,对于同理.

另外,斜边小于两条直角边的和(三角形不等式),于是充分性也显然.

然而真要实际应用需要稍加条件,即:可导且导函数黎曼可积(说明其导函数有界,为李氏连续函数,那自然是有界变差函数).则弧长为.

证明比较容易,考虑勾股定理,.使用微分中值定理,得到其等于.这里强行换成一个东西,于是就会得到的形式,其中恰为两项之差.然后换黎曼和,只需证明后者随着加密而趋向于.而这个根号差可以做分子有理化.具体而言:

最后会得到,立刻得到其趋向于.顺便还要证明这个是上确界,只需要证明加点后答案增加即可,然后用黎曼积分那一部分的对划分取并的技巧即可.

由此应当能推出直角坐标系下弧长公式,即.

Example5(极坐标下的弧长公式)

此时应当有,注意到,于是极坐标下的公式当然是.

Example6(等周不等式)

求给定长度的闭合曲线能围出的最大面积.

设是一个周长为的简单可求长闭曲线,其面积为,我们下面证明.

先考虑比较光滑的情况,也就是其有导函数且导函数可积.参数方程给出而.注意这里假设曲线是逆时针方向旋转的.

接下来,考虑在原基础上画个圆,这个圆的参数方程横坐标继承自上述而纵坐标由圆定义为,这里的.也就是横着的最长距离.为了使得这个圆转起来是合理的,实际上应该找到上述曲线的左右端点然后分段函数定义,我们这里略去此细节.

然后呢,此时观察到应当有,发挥注意力得到:

于是证毕.

那么不光滑怎么办呢?可以用分段光滑函数(比如折线)逼近,这样就行了.

Example7(求多面体体积)

体积的定义无非类似面积,用夹逼定理定义任意形状的体积.

考虑对于每个,在那里做截面,设得到的截面面积是,那么体积感觉上应当是.

然而这个结论的准确证明可能需要一些重积分知识.我们尝试越级打怪,加一个很神秘的条件:就是两个截面之间一定存在包含关系以及是关于连续变化的.然后看看能不能把这个结论证出来.

考虑的范围是,接下来对其作分划.接下来取满足.此时回忆到包含关系,那么我们拿出来的和当然就是包含别人以及被包含的两个截面,以它们为底面积做柱体,留意到此时当然有:

回忆到假设是连续变化的因此黎曼可积,于是这个东西两边其实就是达布上下和,立刻得到积分的结论.

旋转体当然满足以上条件,易见旋转体的体积为,参数方程同理.

Example8(旋转体的侧面积公式)

曲面的面积难以定义,所以我们现在暂时成为物理系学生.下面只考虑旋转体.

对于旋转体来说,先用折线逼近原曲线,然后旋转后得到若干圆台,用圆台的侧面积之和去逼近旋转体的侧面积.

对于,我们先做一个分划,.圆台侧面积给出,利用微分中值定理,就有:

加密后第二项可以用振幅控制住,所以答案就是.

对于参数方程当然也是平凡的,答案应当是,注意这里是按照轴翻转.应当看到由此一段球面上的环的面积就是.

Example9(的无理性证明)

假设并且.

考虑设,留意到,有.

接下来考察,此时留意到和都应当是整数并且是的倍数(是也是的倍数).

考虑积分.对其狂暴使用分部积分:

不断做分部积分,前面扔出来的项也就是或者然后再乘上在之类取值的问题.总之,这个东西算出来一定是的倍数,前面乘了个,他就一定是整数.又因为其大于,他就一定.

那么矛盾在哪呢?留意到,所以.

Example10(古鲁金第一定理)

躲开微元法,要证明一些东西可以扔进去的话(比如密度函数),应当可以通过"平均密度"的概念用之前那个引理(分部积分那里,步骤是先积分,乘系数,后求和),总之都是平凡的.

考虑一个旋转体,反正用上面那套东西,搞出来质心应当有.移项得到.也就是:旋转线转一圈,质心周长乘以曲线的弧长等于侧面积.

Example11(古鲁金第二定理)

考虑两条曲线夹起来的部分,也就是设上有,那这两条线就会围出一块二维出来.这一块的质心能不能求呢?当然也可以,只不过略有区别,,而.移项得到,也就是旋转面转一圈,质心周长乘以面积等于体积.

Example12(转动惯量)

定义为.

考虑以轴为旋转轴,先考虑线的情况,无非是分成小段每一段分别处理,对于每一段用长度和密度的乘积来逼质量,关于轴的转动惯量.

Example13

设是所有满足,单调不降的函数组成的集合,记为绕轴转一圈得到的侧面积,求和.

先猜下确界是,上确界是.

先证明下界是对的,考虑:

怎么逼近呢?这个当然是直接平的是最优秀的对吧,考虑,发现:

上界怎么搞定呢?考虑肯定是是最好的,我们下面证明任意一段曲线,如果把曲线拉直就更优秀.

也就是考虑和的连线,容易见到:

只要我们证明:

即可.注意到它们在零点的取值相同,因此直接算导数之差,要证:

敢算就敢赢,两边平方得到:

注意到下凸函数满足,上述结论刚刚好得证,出这个题的lwg老师真是高人了.

定积分近似计算

考虑对做数值近似,将等分,取,其中,而,.

那么用黎曼和逼积分,那么无非三种方式:要么算左端点的函数值,要么算右端点的函数值,要么算中间点的函数值.

问题在于计算误差,我们下面证明,如果一阶可导,则:

两个是类似的,只证第一个,考虑:

最后一步是因为求均值也可以用介值定理.

那么在中点估计会怎么样呢?考虑给更好的条件,让二阶可导,则:

在处做泰勒展开,应当有:

不妨设,则:

用介值定理就可以求和,原命题自然得证.

而上面的做法是矩形逼近,能不能用梯形逼近呢?用梯形逼近的话其实无非是,然而,对于,我们声明:

证明当然还是分部积分,考虑:

同理,在上面换而非,就可以得到:

此时用NL公式,应当能见到把上面两式子相加可以得到:

这样就完事了,接下来对求个和就能得到之前的公式.

接下来是二次曲线逼近.考虑用三个点确定一条二次曲线.不妨设这条二次曲线为.然而,此时观察到:

这也很合理,观察一下就可以知道这个恰好是在尝试把梯形逼近和中点逼近两种方式尝试约掉后面的误差项系数.

定理是,如果,误差项为.这就是所谓辛普森积分法.

广义积分

考虑函数,如果其,,我们称其内闭可积.那我们就定义其广义积分为,当后者极限存在时.同理当然可以定义区间上的广义积分.而如果和都收敛,则定义它们的和为.

称一个函数的瑕点为其局部无界的点,则考虑,其中是的瑕点,且内闭可积,则,若后者极限存在.瑕积分和上述广义积分并无明显区别,下述也不再区分.

在进一步讨论前,我们应当再仔细研究一下广义积分的收敛性,也就是当什么时候其极限存在呢?我们有以下命题:

时,单增.那么此时存在当且仅当有界.
比较原理:,若收敛,则收敛.该结论可以移植到瑕积分上.
比较原理的推论:,则收敛性相同.进一步地,如果,在趋近于某个瑕点的时候,趋近于某个非零常数,那它们在这一点的收敛性相同.

(1)是根据单调收敛准则,而(2)则是(1)的推论,只是给出了一个界.

定义函数是绝对收敛,当时.而考虑,而,所以绝对收敛可以推出收敛,但反之不可.因此,我们将收敛但不绝对收敛的函数称为条件收敛.该结论也可以移植到瑕积分上.

接下来,我们有柯西收敛原理:收敛的充要条件是对于使得,都有.

证明当然无非是函数部分柯西收敛准则的重复应用.

柯西收敛原理推到瑕积分上的话,考虑,则瑕积分存在当且仅当,,当的时候,有.

接下来还有Dirichlet-Abel判别法,设内闭可积,单调,那有:

Dirichlet判别法:如果,有界,则收敛.
Abel判别法:如果有界,收敛,则收敛.

用第二积分中值定理,就有.用柯西收敛原理则上述两条均为显然.结论当然可以推广到瑕积分上.

Example1

设在上内闭可积,且,对于,求证收敛并求其值.

注意到:

另一侧同理为:

于是答案是.

Example2

求证:

显然.

Example3

求证:收敛.

原因是由比较原理,所以,立刻知其收敛性.

Example4

判断的收敛性.

考虑取,接下来考虑,其中.

考虑:

这就证完了,必然发散.

Example5

且内闭可积,,并且,求证收敛.

既然,那么一定存在一个足够大的,使得足够小,不妨取足够大的使得.

事实上考虑,那么,取,则:

同理,另一侧也可以放掉.现在的问题在于中间这一段.

考虑用一个线性函数逼近,做分划,取线性函数逼近,策略为的时候.接下来考虑对于每一段,设,则每一段可以被控制为.我们早在之前就提过黎曼可积的函数可被线性函数逼近,然而疑问是这种逼近能否在次方意义下满足,于是取足够小的划分使得.

接下来常规分治,取而.见到.不妨设立刻有:

这样这里就被限制住了,而考虑:

前后两项都能被上述控制住,只剩中间的是的,只需调整就能控制住.

Example6

求证:是条件收敛的.

用DA判别法,取当然趋近于,而,于是收敛.

那接下来就要证明它并非绝对收敛.只需考虑:

当然并不绝对收敛.

事实上还可以直接求出来这个积分的值.

接下来考虑.只需泰勒展开就知道它是解析的.回忆到黎曼引理:

Example7

给定,,取,求证:以证明前者存在.

当然是分部积分,用洛必达法则知道,考虑:

整理一下就做完了.

Example8(欧拉积分)

求的收敛性和值.

考虑在的时候趋近于,而在的时候趋近于,因此绝对收敛.

难点在于把这个东西求出来.接下来将采取一些不严谨的说法.

考虑的时候,有:

暂时抛开多余的思量,两边做积分:

另一边,其实只需换元,可以发现:

结合起来,答案当然就是.

我们暂且断言上面那个无穷级数等于,原因是我们权且承认下述级数是正确的:

Example9(Frullani积分)

当,且收敛,求证.

考虑:

前者当的时候当然转化为,而后者用柯西判准知道趋近于,立刻完事.

Example10

求.

考虑的时候,,而,因此是绝对收敛的.

那怎么求这个积分呢?考虑一些对称技巧,立刻有:

那么:

所以.

Example11

讨论的收敛性.

考虑的时候,,因此其收敛性当然等价于绝对收敛性.取的部分,而考虑:

当,任取一个足够小的使得,都可以取足够逼近的使得.于是此时绝对收敛.反之,当的时候,,此时发散.

Example12

讨论,的收敛性.

当的时候,显然,因此当然绝对收敛.

当的时候,同Example11,只需放掉就行,因此是发散的.

当的时候,估计出了点问题,此时做换元,则原式变为:

所以当的时候收敛,当的时候发散.

Example13

讨论的收敛性.

设,容易见到在上是单调递减的,那就应当有:

因此其收敛性等价于的收敛性,当时收敛.

Example14

设,若,求证.

此时考虑做分部积分,当然有:

此时回忆到柯西不等式:

因此这一项被控制住了,于是我们知道和收敛性相同.

接下来反证原结论,假设后者并不收敛而是趋近.那,对其做积分,则:

因此,这当然与相违背.

Example15

判断的收敛性.

考虑当然是收敛的,而对做泰勒展开应该和同阶,于是:

前半部分当然收敛,后半部分取绝对值放缩后是的,当然也收敛.

Example16

讨论的收敛性.

收敛,而单调有界,立刻知道收敛.

Example17

讨论的收敛性.

当然先做换元,那么原式变成:

的时候当然绝对收敛,而的时候用DA判准知道收敛,的时候当然发散.

Example18(磨光核函数)

构造一个的函数,满足当的时候,;而当的时候,.也就是你要造一个函数把两段直线焊接起来.

考虑.这个容易检验是的,只需看点处的可导性即可.

取.容易见到这函数在处和处都无穷阶可导.稍微乘下常数就可以搞定.

Example19

收敛,单调,求证:.

首先容易证明单调递减趋于.那么:

令用柯西准则证毕.

Example20

求证:当的时候,黎曼引理仍然成立.

回忆到黎曼引理要求,但这里的确可以推广,原因是瑕积分肯定只有有限个瑕点(有无限个瑕点能立刻证明发散),只需要用足够小的区间把这有限个瑕点盖住,用柯西准则就可以证明这部分很小,而外面的部分当然是正常的黎曼引理.

RS积分

设是一个单调不减的函数,对于有界函数,考虑一个分划,定义,并定义.在此基础上定义上和,同理定义下和.定义上积分,同理定义下积分.那么如果有以下,称在上关于RS可积,记作,而将此值称作关于的RS积分,记作.

类比黎曼积分那套理论,应当有以下显而易见的性质:

分划如果是的加密,那么.
.
.
,其充要条件是,存在分划使得.

接下来考虑证明一些性质:

,则,并且.
,则,并且.
,则.
,那么,且.
,则.
并且,则,并且.
.则,并且.
.则.
,则,且.
,则.
如果极限存在,则并且其RS积分就是上述极限.然而,逆命题未必成立.

对于(1),考虑对于分划而言:

对此式子两边同取上下确界可以证明,即可得证(1).

对于(2),显然,下和同理,于是立即得证.

对于(3),由(1),显然时,,于是.

对于(4),考虑既然,那么,都应该使得,而令,也就是将强行作为一个分点,上式仍然成立,而可以将拆分为两个部分,不妨记作,应该有:

此二项均为正,因此分别,那也就说明了且,并且仍然是钦定为分点就可以见到.

对于(5),由(3)可以得知:

而由定义立刻见到.

对于(6),考虑,因此.因此证明与(4)无异.

对于(7),只需考虑,于是,于是证明与(2)无异.

考虑(8)的证明,由于是闭区间上的连续函数,立刻知道其一致连续.也就是,使得时一定有.接下来考虑由于,应当可以取一组划分,使得.考虑将划分分为两类:和.这个思路就会和根号分治很像.那接下来考虑定义.

那这就会使得当的时候,由于的一致连续性,立刻可以知道.而当的时候,考虑:

于是.如此一来:

这样就证毕了.

考虑(9)的证明,首先由(8)知道.而我们可以说存在,使得.而,由(3)的保序性得证.

考虑(10)的证明,嵌套函数并利用(9),则我们可以知道如果,那么.此时观察到,立即得证.

(11)的证明比较显然.(11)直接的逆命题的话有个反例是考虑.此时会发现这个点取不取在分划里是重要的,只要不取在分划里,怎么加密也没有用.

接下来当然应当研究一下连续性对RS可积的意义.我们声明:

如果,则且对,并且只要,那么,其中.
(1)中的条件如果改成,结论仍然成立.
如果单调,但是连续,则我们也能证明.
作为(3)的推论,如果是有界变差函数,连续,也能证明.
如果上的有界函数只有有限个间断点,并且和的间断点集交集为空,则.同时,(1)中的性质仍然成立.

(1)的证明,考虑,取,使得.此时,是闭区间上的连续函数,那它就一定是一致连续的函数.那么,当的时候,有.此时只需考虑就做完了.

(2)的证明,考虑既然,因此一定存在一组分划使得.

那么接下来对于任意一组分划,将其分为两组:一组是,.也即中的每个区间都被包含在的分划中.既然如此,在上的和的部分当然就要.只要我们能证明能被控制住即可.

而由于连续,其在上绝对连续,可以取足够小的分划使得足够小.既然如此,,其中是在上的上界,这个立刻可以被控制住.

(3)的证明,不妨设单调不降,此时考虑取足够大的使得.那么由于连续,所以其有介值性,可以通过选取划分使得,那还是考虑即可.

(5)的证明相当平凡,只需用闭区间上的连续函数是一致连续处理间断点即可,在此略过.

于上述基础上进一步拓展,可以拓展到是有界变差的情况.原因是有界变差函数可以表示为两个不降函数的差,不妨设,则我们定义.

这个还要证明是良定的,原因是如果一个有界变差函数能表示成两种情形,有,那么,这两边都是不降函数,那根据部分可以加减的性质就完事了.

既然如此,对拓展的版本进一步寻找性质,不妨设.

且是有界变差,或都是有界变差且连续时,
作为(1)的推论,上述条件时,
(分部积分):当都是有界变差,并且它们有一个是连续的时候,.应当见到其实该定理只需要有一个是连续就行.
(第一积分中值定理):且不降,则.
(第二积分中值定理):在上单调,是连续有界变差.则.
(变量替换公式):如果并且严格增,取,,那么.
(和黎曼可积的关系):,可导并且,则,且

考虑(1)的证明,由于此时已经可以使用求和来逼近,那不妨考虑:

于是证毕.(2)自是(1)的推论.

(3)的话,当然是Abel求和,考虑:

容易见到会导致,便是显然.

考虑(4),由于是连续的,直接取的上下界并介值定理一下即是显然.

考虑(5),用分部积分公式,立刻有:

整理一下即可.

考虑(6),由于连续性,因此对做的划分同样通过一个成为了新的一组划分,而且由于闭区间上的连续函数是一致连续的,这个划分当然也趋近于,立即见到成立.

对于(7),首先用介值定理得到,那当然有:

而后面那一项绝对值不超过,当然趋近于.

级数

对于数列,定义.如果存在,则称级数收敛,记作,否则如若上述极限不存在,称其发散.

容易见到以下性质显然成立,然而逆命题并不总是成立:

,则.
,则.
结合律:,若是递增正整数序列且,设,则.

(1)(2)显然,(3)当然是因为原数列收敛立刻能推出其子列收敛.

如果,则称此级数绝对收敛.考虑,前后两者都是正项数列而且,所以绝对收敛当然能推出收敛,而反之不可.将收敛但不绝对收敛的级数称作条件收敛.绝对收敛的两个级数之和当然也绝对收敛,乘一个系数后也绝对收敛.

我们有柯西收敛原理:收敛的充要条件是,,.用柯西准则立刻见到如若收敛则必有.但反命题当然不成立.这是相当重要的,正是因为,所以我们才总能使用泰勒展开等手段进行估计和放缩.

再还有Abel-Dirichlet判别法,设单调,,有界,:

引理:.
Dirichlet判别法:若,有界,则收敛.
Abel判别法:若收敛,有界,则收敛.

(1)的话当然只需使用Abel变换,有:

则:

(2)(3)的话用柯西判准,考虑任意一段求和,于是:

则属显然.

DA判别法的一个推论是,对于和来说,如果单调有界且不趋于,那么它们敛散性相同.

Example1

求的收敛性.

首先当的时候当然收敛,否则使用DA判别法,考虑证明有界.

用积化和差,考虑:

这就完事.

能不能进一步把上面的这个级数求出来呢?考虑欧拉公式,令,知道,所以的虚部就是所求.

而:

这就顺便解决了的情况.

Example2

判断的收敛性.

观察到:

前半部分当然收敛,于是的时候发散,的时候条件收敛.

Example3

求的敛散性.

考虑:

见到应该是发散,的时候条件收敛,的时候绝对收敛.

正项级数

当的时候,有界S_n
当,若,则.
若,则若,则.
若,则若,则.
若单调递减趋近于.则.
,当的时候发散,而当的时候收敛.
,当的时候发散,而当的时候收敛.
设单调递减连续正函数满足,则.
比值判别法:对于,如果,则.
比值判别法:对于,如果,则.
根值判别法:对于,设,如果,则;若,则.
对于,如果,则.
对于,如果,则.
拉贝判别法:对于,若,则.
拉贝判别法:对于,若,则.

(1)当然是单调收敛准则.(2)只是(1)的推论.

(3)(4)只需套用定义即可.

(5)的话,不妨设而考虑当的时候,有:

当的时候,则有:

(6)的话,首先的时候于是显然,而当的时候,考虑用(5),观察,当然收敛.

(7)的话亦然考虑(5),等价于,等价于(6)了.这个结论还可以推广到,总之都是类似的做法,结论也类似.

(8)的证明只需考虑:

立刻证毕.

而且这个估计还可以更精细,事实上我们可以证明下列极限总是存在:

而且还满足.

考虑固定,设,用单调收敛准则,我们先证明它单调递减且有下界,注意到:

这就证明了其单调递减,而又有:

因此有下界.同时注意到,因此总有成立.

不仅如此,如果还满足,我们还可以把这个极限收敛的速度求出来.我们有:

干脆令,考虑LHS应该是:

而上式换个方向放缩就可以知道,这就搞定.

(9)(10)类似(3)(4),用等比数列控制住即可.

(11)的话,如若.

当的时候,取使得,则,,,意味着,立刻见到其收敛.

当的时候,取使得,则存在原数列的一个无穷子列,使得,当然发散.

而注意到根据Stolz定理:

这就意味着根值判别法理论上严格强于比值判别法.

(12)(13)的证明,考虑当的时候,取,那么就有,都有:

取,由上见到,这就控制住了.(13)同理.控制的时候改用不等式即可.

(14)(15)仍然类似,设.

当的时候,取,,则,.而:

这就做完了.(15)同理.

Example1

斐波那契数列,求的收敛性.

考虑,所以.这就做完了.

Example2

假设单调递增且有界,求证:.

考虑:

Example3

求的收敛性.

直接考虑,所以的时候发散,的时候收敛.

Example4

求的收敛性.

直接考虑,所以收敛.

Example5

,讨论的敛散性.

考虑:

所以和同敛散.

Example6

求的敛散性.

考虑:

所以收敛.

Example7

求的级数和收敛性.

注意到:

所以收敛.

Example8

设,求和.

取,设考虑:

取和得到,于是.

而同理,见到:

而:

用上述不等式:

两边对取极限,见到:

两边对取极限得到.

Example9

,证明:若则收敛.若则发散.

只证前者,则存在使得,两边取就做完了.

Example10

,证明:若则收敛.若则发散.

只证前者,考虑前者等价于,转化为Example9.

Example11

数列恒正,数列的部分和有界,求证发散.

考虑:

这就搞定.

交错级数

考虑,其中.

Leibniz定理:如果单调下降趋近于,则交错级数收敛.

考虑而,所以见到单调上升,单调下降.并且显然.而且,所以二者均收敛且极限相同极限相同.

当然,这也只是DA判别法的一个特例.

Leibniz定理还可以如此理解:由于后面的项正负抵消,我们发现:

也就是后面的交错都可以被首项控制住.

Example1

考虑的收敛性.

取,则,显然当足够大的时候且,所以原式收敛.

Example2

设,求证:若,则收敛.

考虑足够大的时候,使得,也就是,这就能证明单调递减.下面只需要证明即可.

而考虑取定,对于,有,是定死的,下面只需要证明后面那个乘积趋近于.

注意到:

然而注意到:

这就完事.

Example3

取,求和.

首先显然能搞出,原因是能证明其和其若干阶导数都内闭一致收敛(用DA判法).

首先交错级数的绝对值要首项,所以先猜.考虑:

容易见到只要让那就逐项趋近于.

还有一个问题是.考虑:

这里注意到我们积分的那几段都是,我们可以把奇数段补上,因为,所以补的那一段更大,自然有:

而,所以.

接下来来证明其能取到,考虑:

原因是,这个结论我们之前搞定过.

积分判别法

取.我们声称若,则与收敛性相同.

考虑:

考虑证明右式绝对收敛,有:

这就证毕.

问题又来到如何搞定的条件,其实只要有界变差就行了对吧,我们断言:如果可导,可积且则.

对于,不妨的上界在处取到,下界在处取到,于是:

于是.

Example1

求的收敛性,其中.

用积分判别法,考虑取,考虑:

逐项观察,都是级别,这样就收敛了.

那就只需要看积分的收敛性,取考察:

后者用DA判法知道收敛.

级数的交换顺序

定义的一个重排,当且仅当这个数列中,每个正整数都恰好出现一次.

我们声称正项级数满足:.

如何证明呢?

当的时候,考虑设.考虑取,那就有:

于是当然是收敛的,并且,而如果是的重排,那么反之,是的重排,于是,这就证明了二者相同.

既如此,如果发散的时候,就可以反证法证明不可能收敛.这样就完成了证明.

下面我们证明,如果绝对收敛,换言之,那么仍有.

考虑取.那考虑,所以它们当然都绝对收敛,那当然有:

而后者当然可以随意重排.

那么对于条件收敛呢?我们有黎曼重排定理:如果条件收敛,则,其中,则存在重排,令,有:

为证明此,考虑设,类似设出.

容易见到首先,并且.

考虑先从里取数,然后不断加加加加加直到超过,由于正的部分相加是正无穷,这当然能做到,然后就继续从里取数开始回退,退退退退到之下,再重复上述过程.由于,这玩意当然会满足条件.

那么如果是正无穷呢?那没关系,我就每次加数的时候变化,第一次个循环令,第二次令,以此类推.由此见上述命题的合理性.而且具体的论证过程只需要对这上面写抽象语言就行.

可是,难道一般的级数就真的不能交换顺序了嘛?事实上使用柯西准则,我们可以证明如果重排是局部的,或者说,换言之交换的距离有上界,那交换后敛散性不变.

这个怎么证明呢?首先如果原级数收敛的话,用柯西准则,因为通项趋于,所以往外扩张适当有界长度(实际上就是)应当无影响.如果原级数发散的话,如果通项还是不趋于那当然还是完蛋,否则的话还可以用上面的证明.这就证毕了.

Example

,当的时候,求证.

首先考虑单增的情况,如果不单增的话,可以直接对其进行排序.

考虑,同理,于是证毕.

级数的乘法

考虑,首要的问题在于如何指定后者的求和顺序.

柯西策略是,考虑取,然后取原式顺序为.此好处是可以求解生成函数乘积,.

矩形策略是,考虑取,然后取原式顺序为.此好处是它的求和天然是的极限.所以此方法天然有如果,则.

接下来我们证明,如果和都绝对收敛,那它们的乘积任意排列都是相等的.换言之只要双重指标集合那就都收敛于同一值.

证明策略类似,取,那么当然有:

那当然就绝对收敛,再类似之前的可以证明其与顺序无关,这个时候用矩形策略就可以知道最终就收敛于.

如果是条件收敛,矩形和当然没问题,仍然收敛,难点当然在于柯西和何时收敛?我们声称:如果收敛,,也就是一个收敛一个绝对收敛,我们就能推出柯西和是收敛的而且就等于矩形和.

考虑设矩形法的,柯西法的,考虑求:

接下来用柯西收敛原理,先取,只要足够大,由于当然是有界的,因为收敛,只要足够大,不管如何,用柯西收敛原理就足够小.这样后半项就解决了.

前半项同理,在取定的时候就取定有界了.而只要在此基础上使得尽可能大,用柯西收敛原理就控制住了,于是整体就很小.那就证明了此时柯西和恰好就是矩形和.

一般的柯西和没有这么好的结论,但其实证明可以类似上面,具体地,我们取并且都存在,取柯西和,我们断言收敛当且仅当极限存在.

原因是:

这就证毕,而且当然见到只有上述极限为的时候,柯西和才会有.

无穷乘积

对于数列,设,若存在且非零,则称收敛.为什么这里要求非零呢?因为我们希望类似无穷和,这里去掉前有限项后,敛散性不变.这就要求我们最好判掉零的情况.如若其极限为,则仍称其发散,但有的时候发散到零也会有一些性质,到时我们会单独讨论.

既然如此,不妨设.有以下性质:

若收敛,则.既然如此,从某一项开始就满足.之后不妨干脆设.
有非极限当且仅当有极限.
柯西收敛准则:有非零极限的必要条件是,.特别地,如果,则上式为充要条件.

(1)(2)显然.

(3)的话也比较显然.

总之,既然,不妨干脆设其为,其中,从而原本要研究的可以转为研究.

当定号的时候,和的敛散性相同.
当不定号的时候,若,则和的敛散性相同.同理如若发散,则上述两个级数至少一个发散.
和的敛散性相同.

(1)是因为.

(2)是因为可以被控制住,原因是,换言之存在使得,只需要对附近做个简单放缩.既然它们的差收敛,那它们当然敛散性相同.

(3)还是因为.

Example1

当的时候,求的极限.

容易见到,这样自然就收敛了.

Example2

求.

当的时候,考虑.虽然这里当的时候会有若干项分母为,但由于我们可以干脆去掉这前几项,而只看后几项分母均不为,当然收敛于.

而的时候每一项都是,乘起来仍然收敛.

Example3

考虑敛散性,其中.

直接泰勒展开,见到:

这就绝对收敛了.

而我们观察,有:

于是见到:

所以,而且,所以,这实际上是阶乘函数的一个推广.

而此时有.

而观察这个级数:

其中是欧拉常数,误差项.

从而观察到:

从而.

在此基础上,如若设.容易见到,而观察到:

而且如若,并且取足够大,则上式大于,反之上式小于.因此当足够大的时候单调有界(原因是其极限存在).

因此还可以得到结论:和敛散性相同,其中.原因只是因为这俩的比值恰好是单调有界,根据DA判别法知道二者同敛散.

Example4

求的收敛性.

考虑:

根据比值判法,当的时候绝对收敛,而当的时候发散,问题只在于的时候如何.

当的时候,使用拉贝判法:

所以发散.

当的时候,使用DA判法:应当见到,此时单调递减且趋于,用DA判法知道其收敛.

所以条件收敛.

Example5

求证对,其都有相同的敛散性.就是对于一个确定的,对所有的,要么都收敛,要么都发散.

考虑设,观察到:

这当然是个无穷乘积,观察到,所以存在且非零.

而且,当足够大的时候,或者更进一步说的时候当然就定号了,而且,其与比较只取决于,这就意味着在足够大的时候是单调有界非零的,于是DA判法知道同敛散.

Example6

求证.

先看的根,假设其根为,考虑:

所以其只有实根,用多项式理论知道如若的根只有,应该有:

容易见到这个无穷乘积的确收敛,而的时候,所以.

那么考虑的泰勒展开,有:

这就能知道.

然而上述的多项式理论还是太过粗糙,下面提供一种更加严谨的证明:

我们有欧拉公式:

然而左侧可以使用二项式定理展开,有:

容易见到为了贡献虚部,必须是偶数,那此时,总之,我们发现应该存在一个次多项式,使得:

这个多项式的根应该怎么取呢?考虑当的时候,左侧为,而右侧不该为,更进一步地,两两不同,这就知道它们确实是的个根.同时见到,从而我们已经能唯一确定这个有限项多项式.

接下来,将原本上式中的换成,我们就能得到:

这里已经十分接近我们想要的答案了,但是这个项数和一起增大,策略当然是大小步极限,考虑取:

取定,当然总能取足够大的使得.

而用柯西准则,当足够大的时候,如果能证明就完事了.我们考虑:

而回忆到当恒成立,在的时候,也成立,所以:

此时回忆到是收敛的,所以由柯西准则,当足够大的时候,趋近于,这就证毕了.

函数项数列

也就是每一项都是一个函数的数列,假设定义域在上,写作.此时对于一个固定的,则就是一个普通的数列.当然不一定中的每一个都收敛,我们将收敛点的集合称为函数项级数的收敛域,其它的点称为发散点,发散点组成的集合称为发散域.

对于收敛域,直接记,我们将这里的就是这个函数列的极限函数.既然有了极限就可以定义级数,也就是可以定义,然后取其极限拿到.

我们要解决的问题大概有以下三个:

如果均是连续的,那么要求什么条件,可以满足连续.也就是两层极限什么时候可以交换顺序.
如果均是黎曼可积的,那么要求什么条件,可以满足黎曼可积并且,也就是极限和积分什么时候可以交换顺序.
如果均可导,那么什么时候也可导,并且,也就是极限和导数什么时候可以交换顺序.

如果不加条件,上述三条全都是不满足的,下述Example会给出若干例子.

Example1

取,求其极限函数.

显然,由此可以见到,连续函数的极限函数不一定连续.

Example2

取,求其极限函数.

显然是迪利克雷函数.

则只有有限个间断点,容易见到其黎曼可积,然而迪利克雷函数并不黎曼可积.可积函数的极限函数不一定可积.

Example3

取,求其极限函数.

容易见到,也就是这个函数处处收敛到.

然而,对其求积分:

由此见到,极限函数的积分不一定等于积分的极限.极限和积分不一定可交换.

Example4

考虑,也就是这个函数在处高度为,底长为的一个小三角形.求其极限函数.

对于每一个点,这个函数当然逐点收敛于.然而也可以见到,这个函数的积分对于每一个来说都是.

再次说明了极限函数的积分不一定等于积分的极限.极限和积分不一定可交换.

Example5

考虑,求其极限函数.

当然逐点收敛于,然而观察到,.因此,光滑函数列的导数的极限又不一定等于极限的导数.

一致收敛

我们称一列函数是一致收敛到,当且仅当,,使得当的时候,.注意这里的不取决于的选取,这就是和极限不同的地方,一致收敛要求整个函数都在逐步地贴向最终的函数.此时,记.还可以定义内闭一致收敛的概念,也就是对于一个的任意的子紧集(在上表现为有界闭集)都一致收敛.

一致收敛的等价定义当然是,取,那么一致收敛等价于.

一致收敛强大的地方在于,对于收敛来说,是取定了再挪动,因此可以控制.然而,一致收敛要求先取定再挪动.这种天然的交换能力赋予了一致收敛的强大.另外还容易见到,当的点集是有限的时候,一定一致收敛.

我们还可以定义一致有界的概念,当存在一个上界,使得恒成立.显然,如果一个函数列一致有界,则极限函数肯定有界.

另外,我们可以见到,如果,那么如果有界,则一致有界.反之,如果有界,则一致有界.

考虑前者,是因为:

这俩当然是有界的.

对于后者,考虑反证,假设无界(因为如果有界则前者即可推出),那么:

由于必然需要有界,因此前者无界,后者无论对于哪个来说,必然也得无界.

我们有以下性质:

,则.
,而且有界,则.
如果的时候,的时候也,则当的时候也有.

对于(1),考虑令,则:

立刻证毕.

对于(2),经典的做法:

而一致有界,一致有界得到有界,所以上式就被控制住了.

对于(3),只需要把两部分的分开算就可以见到仍能被控制住.

这里也有柯西准则:对于一列函数,其一致收敛的充要条件是,.

必要性显然,只证充分性,对于此时固定一个确定的,那么就是一个柯西列且存在极限.逐点取极限就可以拿到.而中只需要让就拿到了,这恰好是一致收敛的定义.

Example1

求证:一致收敛.

当然处处收敛于了,考虑用均值不等式,有,这就搞定.

Example2

求证:并不一致收敛.

当然处处收敛到,但是,所以并不一致收敛.

Example3

取,容易见到.而且当然一致有界.然而,.

Example4

当,求证:.

由于在闭区间上连续,则其必然在闭区间上一致连续.因此,取,使得的时候,,而取,那么,注意这里的不取决于的选取这就搞定.

Example5

设,判断其收敛性.

容易发现,因此其收敛.问题在于判断其是否一致收敛.

观察到:

一个策略是直接对此式子求导,但也可以采取另一种分析策略,考虑:

所以当足够小的时候可能会出问题,直接取,误差为:

这就证明了并非一致收敛.

Example6

上的满足.并且.求证:.也就是:一致李氏连续的收敛函数列一定一致收敛.

李氏连续意味着我们可以用控制自变量的方式控制因变量.回忆到定义在有限集上的收敛函数列一定是一致收敛的.因此我们选择在数轴上打足够密的点来控制.

具体地,,我们将拆为长度不超过的小区间.假设分点是.这当然对于一个来说是有限个点,我们可以让它们同时趋近于一致收敛,用柯西准则,也就是拿到一个,使得,.

现在.于是:

这就搞定.

函数项级数

函数项级数上也有柯西准则,也就是函数项级数的一致收敛性等价于.

还可以在这里定义绝对收敛:也就是收敛.当然仍有绝对收敛推收敛.如果还一致收敛,则称原级数绝对一致收敛.注意,这里的绝对一致收敛是定义在的基础上.也就是说,一个函数既绝对收敛,又一致收敛,但它可能并不绝对一致收敛.然而反之是成立的,如果一个函数绝对一致收敛,可以推出它一致收敛,原因是,用柯西准则就可以得知.

另外,用柯西准则可以见到如果,那么.

Example1

考虑函数项级数.

直接考虑其余项,.此时考虑:

所以该级数一致收敛.

那么是否绝对收敛呢?考虑:

所以当然也绝对收敛到.

可是,它并不是绝对一致收敛的.考虑.

Example2

求的收敛域.

不妨设,考虑:

所以最后模拟成了一个等比数列,那收敛域就是.

M判别法

若,如果,则绝对一致收敛.

证明的话,考虑用一般级数可以拿到,但又有,这就知道其绝对一致收敛.

DA判别法

假设是两个函数列.对于任意固定的,是一个单调数列.注意这里其实不要求大家都递增或递减,只要对于每一个点都是单调的.而取.则当:

Dirichlet判别法:当,一致有界时,则一致收敛.
Able判别法:当一致有界,一致收敛时,则一致收敛.

证明和级数部分完全一样,只需要对于任意的都这么搞即可:

其中.

Example1

当单调下降趋近于的时候,求证:一致收敛的充要条件是.

先证必要性,设.由柯西原理,.此时取,此时当的时候,,立刻有:

这就搞定了,又因为是单调下降的,那当然搞定了.

再证充分性,只要证明在上一致收敛,由于是奇函数,那么在上当然也一致收敛,那就搞定了.

设,注意到单调下降趋近于.下面开始讨论:

当的时候,此时中的每一项都同号.自然有:

这就完事.

当的时候,和差化积公式给出:

原因是当的时候,.

回忆到Abel变换给出.这就搞定.

当的时候,取.那我们就有:.

当的时候,,那就成立,那么和上面一样:

当的时候,此时,因此:

则:

这就搞定.

连续性

我们还可以定义等度连续的概念:我们说等度连续,当,使得,若,则.其实就是某种一致(函数列)的一致(定义域上)连续.

我们可以证明:如果,而且其等度连续,则如果,则.

证明与前述Example6证明一致李氏连续类似,事实上Example6是这个的一个推论.我们取定,使得时一定有,此时再令,就有,再取一个分划并要求.

自然有:

原因仍是有限点集上的收敛一定是一致收敛.

下面要探索的就是一致连续是否保持了原函数项级数的作用.

先看一个引理:当的时候,如若当,,已知存在.则存在而且.换言之,.

证明的话,首先要证明存在,考虑,有,取极限知道,这说明是柯西列,当然收敛.不妨设.

此时有:

两边一取极限使得,立刻见到.这已经能看出一致连续的强大了.正是因为一致连续可以先固定,我们才可以在这里对取极限.所以这里有一个天然的可交换性.

这个引理的一个推论是:如果,则对于,如果在处连续,则也在处连续.原因是既然连续,则,所以.这就说明在处连续.更有推论:如果,则.从而还可以见到,如果一串连续函数收敛到一个不连续函数,那这肯定也不是一致收敛的.

那么反过来,如果连续函数列收敛到连续函数,能不能推出一致收敛呢?我们事实上有迪尼定理:如果,当的时候,,此时如若,而且,则.也就是只要有一定的单调性,我们就可以说一致连续是连续函数列收敛到连续函数的充要条件.

取,注意到而且连续且逐点随单调递减,则必有.如果我们能证明,那就万事大吉.不妨设,那么只要证明就可以搞定一致收敛.然而本身是单调下降的.反证,如果,此时观察,既然如此,必定有收敛子列,任取一个收敛子列并假设其收敛到,接下来看:

可这就出事了.于是矛盾,反证成立.

迪尼定理的一个推论是如果,那么此时就是逐点单调的了.因此我们可以看到此时一致收敛性也就等价于其连续性.

Example1

考虑,而且单增的时候,如若.求证此时.

设,取定,此时,.令,自然有.直接令,这个极限存在,原因是是单调的.从而取极限得到.

接下来另一个方向,考虑:

这就搞定.

Example2

在上可微而且,若,在上收敛.求证其在上一致收敛.

容易观察到一致李氏连续,用之前等度连续的结论就可以做掉.

可积性

如果,则我们声明且.

考虑证明,首先是有界的,又因为一致收敛,所以能推出也是有界的.

一个想法是使用勒贝格定理.直接取是的间断点集,立刻得到是零测集.接下来令,那还是零测集(可数个零测集的并),此时对于,都在处连续,那肯定也在处连续,所以的间断点集就一定被包含于零测集,所以黎曼可积.

接下来的问题是是否积分相等,取,注意到:

这就搞定.然而注意到这里需要依赖于的有界性.

另一个策略是直接用分划达布和证明.不妨设.则,.由于,可以取定分划,使得.

于此,我们取同理.观察到,所以一定有.对于同理.此时:

这就搞定.

事实上这个结论可以更强,可以放弃一致收敛的条件.我们有控制收敛定理:假设,而且它们一致有界,.并且,则.

为证明此,先引入一些相关的定义:

定义阶梯函数为分段常值函数,假设,则我们可以用阶梯函数逼近,具体而言,假设是阶梯函数,并且,那么我们可以将类似达布下和而分划够细,以使得.

定义初等集:有限个不交区间的并,可以见到其测度就是所有不交区间的长度之和.

定义闭初等集:有限个不交闭区间的并.

定义有界闭初等集列:是闭初等集.容易见到,如果,而且,则,证明的话只需类似区间套定理,每个内取一个点,这个点列是有界的,那它就一定有收敛子列,收敛到的那个点一定被含在每一个中.这就搞定.

不妨设是有界非空集列,满足.此时定义.我们下面证明.

首先显然单调递减.如若其不以为极限,则一定有正下界.我们可以取的闭初等子集满足.

接下来定义,这当然是初等集,此时见到.接下来对的任意初等子集,显然:

而,所以和都是的初等子集.所以:

所以.如果,那么,这就不符.所以,所以,所以.矛盾,这就证明了原本的结论.

接下来考虑,当没有一致连续的条件时,可能出现问题的地方在于有的地方两者不一定靠的足够近,想办法让这种地方所占的长度尽可能小就行.

对于.容易见到,由于,所以.引理告诉我们.既然如此,存在,使得,的任意初等子集都有.取.这其实更像是取的一个分划,因此如果我们在上面取阶梯函数的话,完全可以让阶梯函数所需的那个分划和这个分划并起来,从而完全由上述结果取到阶梯函数,此外我们的的部分由于落在里而需要被控制.

此时取阶梯函数满足.这个时候看的积分:

这个对任意都成立,由于我们之前说的阶梯函数的上界可以逼近原函数,所以这就意味着:

这就搞定.不过细心的读者也许会注意到一些问题,首先是这里用内测度逼近疑似有点神秘,然而如果用勒贝格测度的定义直接跑其实一眼就能看出来上面的结论.

还有另一个结论:假设,已知存在(注意这里并不要求),我们就可以证明存在.

考虑有界,所以其可以取上下极限操作.令.既然如此,就一定存在两列和,使得.然而:

这你就可以见到,我们其实可以把这个极限干脆定义成的积分.这实际上就是勒贝格积分.

Example1

求证:.

展开:

容易证明这个函数项级数是一致收敛的,那我们就可以逐项积分,而且积分内可以做多少次分部积分都无所谓(反正是有限逼近无限).

那么:

令,换元:

而考虑:

和上面结合一下就证毕.

Example2

设函数列任意内闭可积,并且在上一致收敛到,再设存在函数满足:

并且.求证下列积分收敛而且:

首先要证明收敛.只需观察到两遍取极限就可以拿到,所以绝对收敛.

接下来考虑如何证明相等,这里的问题在于虽然,但是由于区间长度无限长,因此这个控制会被放大.于此我们的策略是考虑将区间分成三段:,对于中间的部分用一致收敛控制住,对于前后的部分用柯西准则控制住.

具体而言,取足够大的使得以及,接下来考虑取足够大的使得在上,:

这就搞定了.

可微性

先看一个平凡的命题:假设,已知收敛,而且.则,其中,并且恰好满足.

考虑当然能得到是连续函数.

接下来考虑NL公式给出:

这就见到而且.现在的问题是能否推出一致收敛.有:

这就完事.

上述结果能不能加强呢?事实上有一个更一般的结果:假设对于一串连续函数,已知,存在.若对于,,函数的李氏常数.则我们可以推出一致收敛,设,若对于某个,如果恒存在,而且存在,则存在而且.

这个结论的正确性比较直观,就是用李氏连续的性质限制整个函数的波动.这个结论当然要严格强于原本的结论,因为闭区间上的可导函数自然是李氏连续函数,如若一致连续,当然能推出上述的李氏连续性质,立刻得到原本结论.

下面考虑证明:,都有,并且的李氏常数.注意到此时:

这就证明了一致收敛,不妨设.

接下来对于某个,定义,并补定义.显然

首先注意到:

于是一致收敛,而且容易见到.从而:

这就搞定了.

容易发现上述的推论是可导函数列的收敛性质(并不需要).而且我们还可以推出一个推论:那就是导函数一致收敛到的函数也是导函数.

Example1

假设是中的全体有理数排成的数列.定义.

首先用大M判别法,注意到,而每一项都是连续的,所以总的是连续函数,而且这个定义也是收敛的.而且对于,当然都是存在的,而且见到,并且这个导数还足够小.因此立刻见到当足够大的时候,立刻见到的李氏常数可以尽可能小.

于是套用上面的结论可以知道在处可导.那么其在上可导么?如若,不妨设,则考虑,前半部分在处不可导可后半部分在处可导,于是总和当然不可导.

Example2

设,求其导函数.

观察到,所以其导函数也绝对一致收敛.立刻能推出,而且导函数就是逐项求导的.

部分应用

Borel引理

对任何一个实数列,都存在一个函数,满足.

考虑造一个,其中中间少了一段用磨光核连起来.考虑造一个单调递增无界正数列,并取:

这个的好处是什么呢?我们发现当,的时候,又因为单调递增趋近于无穷,所以除了以外的所有点上都是有限和,因此全都收敛而且全都可导,所以.

考虑,这个当然是的.并且当然有.现在如果我们能搞定这个导数级数的收敛性就搞定了处的可导性了对吧.取,当的时候考虑:

注意这里的一定很小,的时候上式才有意义,开始放缩:

显然只需取足够小的就用大M判别法控制住了.

维尔斯特拉斯函数

考虑造一个处处连续处处不可导的函数,首先它应该在任何一个区间上都没有单调性(因为单调函数几乎处处可导).

首先造一个连续的周期函数.或者我们干脆定义,这样这个函数更光滑一点,但对论证几乎没有区别.

考虑造,注意到:

根据大M判别法,所以这个函数的确绝对一致收敛.那这个函数就确实继承了连续性.

首先有引理:如果存在,而且,则.取,容易见到,见到:

容易见到趋近于.不过要简单判断一下的情况.

既然如此,,考虑定义,容易见到.并且当的时候，上不存在整数.

见到:

于是:

把的地方往负了放,自然有:

所以:

然而如若这点导数存在,那么这里的导数就是,这就矛盾了.因此这个函数处处不可导.

连续曲线充满平面

存在充满的连续曲线.连续曲线在这里定义为满足,任意,都存在使得.

搞一个连续函数满足:

并且满足,也就是一个周期梯形函数.

接下来定义:

容易发现,所以的确绝对一致收敛,继承了连续性而且确实在中.

接下来,我们尝试找到一个使得.考虑取二者的二进制表示,其中.取一个新的数列.取,下面我们证明.

考虑.其中前半部分是个偶整数,因此在带入函数后会消失,观察后半部分,容易见到:如果,则后半部分;如果,则后半部分,因此.带入原式定义就看到.

甚至说,这里的其实就在康托尔三分集中,所以事实上这个曲线上的零测集就足以覆盖整个平面.

幂级数

我们把形如的函数项级数称作幂级数,由于可以做自变量平移,不妨假设而.

一个最先遇到的问题当然是幂级数的收敛范围,首先肯定收敛.其次我们可以发现如果收敛,那么都有收敛,原因是:

由于收敛,所以其通项,那至少是有界的,而又是个无穷递降等比数列,那就肯定收敛.既然如此,取.由上面的结论我们知道都有收敛,另外都有发散.既然如此,我们将称作幂级数的收敛区间,容易见到收敛域和收敛区间最多只可能差两个点,换言之设收敛域为,则自然有.

取,则(这里要做一些约定:不妨设和).原因是,用根值判别法就显然了.

这里还有一个更弱的比值判别法的版本:如若,存在,则.原因是Stolz定理给出:

下面我们证明,在收敛区间的内部内,是内闭绝对一致收敛的.而如果其在端点处也收敛,例如在时收敛的话,则其在上一致收敛.

前者的话,只需用大M判别法即可,任取然后看.

而对于后者的话,考虑,而是单调一致有界,而收敛,用DA判法则搞定.

上述结论的一个显然推论是幂级数是收敛域上的连续函数(因为在收敛域上都是一致连续的).

Example1

假设,既然有一致连续性,若收敛,则极限存在有.然而这个结论反过来不成立,例如,容易见到极限为可是并不收敛.

上述结论能不能加点条件使得反之成立呢?我们下面证明若,若存在,则.

考虑取,由Stolz定理知道.取,我们要证明的就是当的时候尽可能小.当的时候,注意到:

,取足够大的使得而且使得总成立,那么:

取,即可得证.

如果加点单调性也可以.设,如果满足存在,则.

这个结论与之前的一致收敛那里的单调性质完全相似.首先由得到这个级数收敛,然后又可以放到,让左边趋近一下得到.

柯西和

设,设,我们下面证明若收敛,则.

考虑设,则其收敛半径肯定,既然如此在任何内闭区间,都在上绝对一致收敛,既然如此我们就可以把这个乘积随便打乱顺序,得到.而我们又有收敛,既然如此,则搞定.

其中收敛这个条件是必须的,如果去掉后结论不成立,有如下反例:

设考虑对做泰勒展开,得到此时都收敛,原因是,用DA判法知道其收敛.然而,,因此不收敛,这就完蛋了.

逐项微积分

既然幂级数在收敛域上一致收敛,那当然可以逐项积分.而且注意到,原因是,因此收敛半径不变,然而积分后,端点处有可能被包含入收敛域,原因是DA判法,原本的之和如果有界,配了一个多的下降就会收敛,例如.

同理,对于逐项求导也可以发现收敛半径不变.所以幂级数可以在收敛域上逐项积分任意多次,也可以在收敛区间内逐项求导任意多次.

Example1

求.

考虑:

我们想让这里的求和和积分交换顺序对吧!那首先得规定而取不到,有:

后面那个可以积出来,而且在上取值就是如此.而发现在处收敛,因此拿这个积出来的结果极限逼近一下就行.

泰勒级数

对于一个,考虑泰勒展开有:

其中依照拉格朗日余项,,若存在,当的时候,,则称该函数在处解析,也就是可以用泰勒级数逼近它.

我们有一个命题:如果在处解析,则其在附近的一个小邻域上解析(证明可以参考Example15).因此解析的概念以拓宽到区间上,如果其在一个开区间上解析,则称其.

而且我们还可以见到,如果一致有界(或者至少与无关),则由于会被控制住,所以其在上都是解析的.所以都是解析的,另外的导数大小与无关,所以也解析.

当在处解析的时候,应当有都是解析的.而且如果在处解析,则也在处解析.这个太难算了,我们承认这个事实好了,反正就是硬算.

Example1(广义二项式定理)

求在处的解析性.

也就是要证明.

用比值法,观察到:

所以右端收敛半径为.既然如此先搞定右端那个幂级数,设.观察到:

此时见到:

所以是一常数,演算的部分就可以知道当的时候它俩相等.

最后再补一下端点,

当的时候,下面直接证明它绝对收敛,也就是证明.,考虑拉贝判法:

所以此时收敛域是.

当的时候,估一下发现:

而且此时本身是个交错级数,所以在处不收敛而在处收敛.同理当的时候,并不趋向于所以两端都不收敛.

Example2(反三角函数)

考虑由Example1,当的时候:

两遍逐项积分,有:

继续用拉贝判别法,注意到:

所以收敛.而且还可以发现这一下积分使得端点处也搞定了,所以上式对都成立.

Example3(平方倒数和)

还可再整点活,令带入上式,得到:

两遍在上积分,得到:

所以奇数的平方和是,那么:

Example4

当的时候,求证存在多项式列.

考虑:

由于,只需要对此用广义二项式定理即可.

Example5

求.

对着上面那个做泰勒级数,自然有:

而回忆到在是奇数的时候当然为,偶数的时候转化为,答案是.

所以原式变成:

Example6

求.

见到:

取,则:

则:

这就搞定.

Example7

求.

取,设:

此时应当有:

而,这就求出了原式.

Example8

考虑,有定理说:

其中后半部分是整个复平面上的解析函数,并有:

Example9

求,其中.

容易见到其收敛半径是,考虑:

Example10

当,求.

容易见到收敛半径为,令,有:

所以.

Example11

求.

注意到:

而注意到带入的时候收敛,这就搞定了,带入就行.

Example12

求.

设,显然收敛,直接逐项积分.

这就搞定了.

Example13

求.

注意到:

其中中间的交换积分号和求和号是源于所有的部分和都可以小于等于,并且收敛.

Example14

求.

直接展开对吧,注意到:

Example15

设是开区间,,求证当且仅当,使得.就是说对于区间内任何一个点,在它的小邻域处,任意阶导数都可以被和有关的一个速率控制住.

充分性比较简单,考虑取对其取,所以总之收敛半径不为.那就总能取一个足够小的.此时用泰勒展开的拉格朗日余项:

这就搞定.

接下来是必要性.考虑,那就可以取,存在一个,使得都有.

接下来想要把这个性质挪到周围小邻域上对吧.于此我们考虑先逼近后逐项求导:

这就搞定了.

Example16

若非常数在的每一点都解析,则其零点集在内无聚点.

考虑如果一个点是的聚点的话,那么一定是的任意阶导数的聚点.由于任意阶导数都是连续的,因此处的任意阶导数都是.又因为解析,所以周围的一个小邻域必然全部为.既如此取最长的小邻域为,下面我们证明,不妨假设,由于连续性得知在上取值为,然而这意味着必然也是零点集的聚点,因此它还可以继续往左延申一个小邻域,这就与是最靠左的矛盾了.

不过这个做法不能推广到复平面上,原因是平面上的介值定理难搞一点啊.

提供另一种证明方法,考虑在上的零点的聚点,如果的任意阶导数都是的话,那还是按照上面一样往外面扩就行了对吧.反之,设,此时考虑,不妨设,容易发现,既然如此,肯定在的一个小邻域(要与解析的那个邻域取交)上非,设为上非零,可这样在上必然非零,这与是零点聚点矛盾了.

多项式逼近

如果对于函数,存在一个多项式列可以一致收敛到,则称其可以被多项式一致逼近.容易见到一个必要条件是.

事实上我们有维尔斯特拉斯定理:有界闭区间上的连续函数可由多项式一致连续逼近.首先不妨假设.下面给出两种证明:

其一是构造性证明,我们有Bernstein多项式:

这个多项式有很多性质,首先随便放缩一下就知道这个多项式在上有界,更具体地有,原因是:

另一边同理.

其次有.以及这个甚至是的线性映射,或言.

取,注意到:

前四条类似,以(3)为例,证明的话考虑对两边对求两次导数:

带入即可.

(5)的话也只需要计算,观察到:

我们见到:

既然闭区间上连续则有一致连续,,取,使得只要,那有:

倒数第二步是由于当,所以.

最后一步是因为当确定的时候,就已经确定了,然而可以足够大,这就控制住了.

再给另一个存在性证明.回忆到上的连续函数组成的集合是一个完备线性空间.称是一个代数当且仅当,,.容易见到如果是一个有限项多项式,,则.

在此基础上定义为的闭包,定义为:

容易见到.而且容易见到肯定也是一个代数.而见到,原因是柯西列导出的已经是闭的了,无法再往外拓展.

回忆到绝对值函数可以由多项式函数逼近,所以如果,则.更进一步,如果,由于,所以,同理.

我们有一个定理说:设是一个代数,并且.并且则.容易见到这个定理强于维尔斯特拉斯定理.这个定理叫Stone-Weierstrass定理.

下面我们来证明这个结论.

先搞一个引理:,则.

证明的话,考虑由已知.此时把这个函数给挪一下,取.(其实这个应该是双传递性,但是我目前没看出如何用双传递性来解释证明过程.)

接下来考虑证明原定理,来证明,由于我们刚才的引理,.这个函数由所确定.

固定不动,对,,由于一致连续性,当的时候,.而这里的构成了一个开覆盖(边界上可能需要挪一下,但反正能做到),用有限覆盖定理拿到有限个区间覆盖了.此时取,见到.而且.

既然,考虑使得.对此再做有限覆盖得到,取.显然:

搞定了.

那么,这个多项式能不能再来点限制呢?比如说我不许在多项式里出现项可以吗?也可以.考虑,则,所以存在一个多项式,意味着.而当然没有项.

也就是说这些多项式很多都是浪费的.那么有没有一个非常厉害的结论能告诉我什么样的多项式可以呢?考虑在上,张成的多项式,其中,其中.注意这里不要求是整数,如果其闭包能张成,当且仅当.这被称为Muntz定理,(其一个更强的推广是去掉的结论,取而代之的是需要满足)

这个定理的必要性我们目前难以证明,先证明其充分性.

考虑,都可以定义一个函数列,其中.我们先证明一定长成的形式.

数学归纳证明此结论,设,来看:

后面那部分直接积出来就是了,然后前面有一个,这样就搞定了.

下面定义一个函数的模长,此时:

然而回忆到发散.所以后面那个连乘积必然发散,但是容易见到取死后,其从的时候就是单调递减的,那又发散必然知道其趋近于.所以.那又回忆到,这已经说明可以被一致逼近,原命题充分性搞定.

现在来看固定在的情形,能否给出一个充要条件呢?我们下面证明对于互异的,的充要条件是:

如果,当.
如果,要求.

先证这个命题的充分性,对于,不妨设,容易发现此时的确满足而且,这就搞定了.

对于,我们只要证明在上的函数都可以被一致逼近即可对吧.考虑是其偶函数部分,自然可以被偶次的部分逼近(原因是只需要逼近上就可以延拓).反之亦然同理,也可以被奇数次的部分逼近并且延拓,这也就搞定.

回忆到如果一个函数如果在一个无穷区间上可以被有限次多项式一致逼近,用柯西准则做那个函数列就可以证明这个函数一定是一个多项式.下面我们来推广这个结论.

设是一个内积空间,其中是其中的个向量,设,回忆到到的距离定义为:

其中.

而考虑取两列数列,回忆到李文威考试题给出过:

又回忆到也是一个内积空间,可以定义.容易见到.现在我们就可以用上面的行列式硬算了.考虑取,取,容易见到:

下面我们引进一个引理:

对于数列且单增,如果,如果,则.

这个定理的详细证明较为麻烦,而且与主线无关,将在下述Example3处讲解.

考虑取,由于子空间只有有限项非零,所以使得,此时观察到:

由上述引理,我们知道最后那一项取后是一个的东西,不妨将后面那一项记作,其中.

为了简化说明引进,

再来一个引理:对,,满足,不妨设,我们有.

注意到:

而当充分大的时候,当然有,这就证毕了.

万事俱备,下面我们来证明必要性:办法是使用反证法,假设,当时,并且.则当然也有,那就有界了,既然如此,,也就是说所有的都是有界的.

我们想要求出一个子列,使得收敛于某个数,方法是对角线法则,对于第一行其肯定存在收敛子列,取其第一个数为,对于第二行,在第一行对应下来的元素中肯定也有收敛子列,取其第一个元素作为,依次类推.这样我们就得到了一个新的函数列.此时考虑,因此收敛半径.然而,,因此.然而的收敛半径,因此一般的函数当然不能被一致逼近.

另一个问题是如果该怎么办,接下来假设.放缩一下边界,我们下面来证明此时不能逼近上的偶函数.

假设并且是偶函数,对于一列函数列,可以拆成偶函数和奇函数部分,前者只包含偶数次后者只包含奇数次.此时有,由于是偶函数,换号得到,这就必然得到,但并不能逼近所有的,这就矛盾了.

Example1

若在无穷区间上可以用多项式一致逼近,求证为多项式.

考虑多项式列上有柯西准则,所以当足够大的时候,,足够小,然而由于无穷区间,如果就完蛋了,所以从某一项开始,这个多项式列的两两之间一定之差一个常数.不妨干脆设的形式,既然收敛,那么肯定收敛,设其收敛于,则.

Example2

若,,并且为次数一致有界的多项式列,求证为多项式.

设次数上界为,一个想法是说我这些多项式是有限多个的,你直接拿切比雪夫多项式作为基,既然现在都是有限和的情况了,那在线性空间上收敛当然是在每一个基对应的系数都收敛,这就意味着肯定是多项式.

Example3(Lemma)

对于数列且单增,如果,如果,则.

考虑证明,由于每一项都是正的,因此我们分别证明后面的无穷和部分在和上均为.

思路呼之欲出,将按照与的比例分为两段:任意取定常数,下面开始分析.

设当的时候有成立,考虑:

然而注意到单调递减,用柯西准则得到:

所以得到.

然后考虑设时有,设,则留神到:

由柯西准则就可以知道其趋近于.

由上面的分析见到如果预先取定,再移动,开头结尾两端都可以尽可能小对吧.最后我们要做的就是中间很靠近的两段了,考虑:

不妨设,上式变为:

而

然而,于是后面的主要项仍是形状,而考虑,接下来只要证明:

就做完了对吧,发现:

由于在之前决定,因此的时候可以让后者趋近于,此时再让可以让前者为,这就搞定了.

Example4(黎曼引理)

求证:,.

当的时候,由于:

两边取绝对值然后让就搞定.

既然如此,考虑当的时候,用多项式逼近,有,当然:

Example5

当,如果,,求证.

也就是任意多项式都有.取使得,于是:

所以所以.

傅里叶级数

定义三角系为形如的集合,它们张成的线性空间中,也就是有限的线性组合称为阶三角多项式.当的时候则称其为三角级数.容易见到.

下面我们来证明三角系两两正交,只需检查:

当的时候,.
当的时候,.
,.
.

不妨设,假如的确一致收敛到某个函数,我们实际上可以用去反推系数,两边乘一些东西再积分应该见到:

应该是显然见到的.

当在上绝对可积,也就是,那我们就可以按照上述方法拿到一个三角级数的系数,这个三角级数被称为的傅里叶级数或者傅里叶展开.注意我们这里其实还并没有说这个三角级数的确收敛到,而只能说我们可以如此由构造出一个傅里叶级数.我们有时也将这样的函数记作,不妨干脆将依照的条件延拓定义(或者干脆要求是以为周期的函数),应当见到以下结论:

.
.
.
如果是奇函数,则.
如果是偶函数,则.
记,则.
记,则.
如果,则.
对,若,则.
若可导,绝对可积,则.
若可导,绝对可积,则.
若可导,绝对可积,则.
若可以导次,而且绝对可积,则.
若,则,则存在一列三角多项式一致逼近.
若,若,则.

(1)是由于黎曼引理,我们前面已经用若干种方法反复证过了.

(2)(3)是积分线性的显然结果,(4)(5)只需带入定义即可发现.

(6)(7)的话当然是因为和差角公式.(8)的话根据(6)和(7)由于,这就搞定.

(9)的话,考虑:

这就搞定.

至于(10)的话,当然只是(9)的推论.那怎么证明是的呢?考虑:

上述过程也自然拿到了(11)和(12).

(13)的话也只需要由(11)和(12)拿到:

其实还有一个推论是如果是周期的解析函数,则.而且甚至说这个条件是充要的,如果趋向于零的速度确实为此,则也的确是解析函数.可惜的是这个结论需要用到复分析的结果,不得不在此略过.

(14)的话,乍一看像是Stone-Weierstrass定理的另一则应用,直接观察Stone-Weierstrass定理的证明发现的确可以照搬到三角多项式上(因为难点只在,但原证明中分离的性质只用于贴合函数上的两个点),然而如果想要直接封装原定理拿过来的话的确难以处理的性质(其实可以从复平面绕过去).下面提供另一则证明:

先看当是偶函数的时候,观察,取,见到.此时存在一个多项式一致逼近,而当然是三角多项式.

考虑取,则如上知道,存在三角多项式使得.

再取当然也是偶函数,存在三角多项式使得.

既然如此,考虑取,由上见到,也就是说对于任何都能找到如此一个满足条件.

既然如此,考虑对做上述操作,也就是存在三角多项式满足:

既然如此,得到:,这就搞定了.

对于(15),考虑找一列三角多项式一致逼近,由于的傅里叶级数总是,所以对于三角多项式来说一定有,既然如此考虑:

因此.这意味着连续函数的傅里叶展开是唯一的.

(15)的一则类似结果是,你可以从中看出三角系是缺一不可的,而不像多项式那样可以去掉很多.例如如果我们在其中去掉的话,那么本身就无法逼近,原因是反证法,如果能逼近,考虑一列三角多项式并且其中不含,然而,由于三角系中两两正交,因此都有,因此从(15)的证明过程就可以见到必然有,这当然就出事了.

Example1

设,考虑一列单调下降趋近于,那么根据DA判法当然有是逐点收敛的,假设收敛于.如果的确是上的绝对可积函数.求证:此时上述的确是的傅里叶级数.

容易见到是奇函数,其傅里叶级数中的.此时不妨只看上的结果.

难点当然在于并不一定是一致逼近,但应该观察到的是:

所以这个一致有界,前面的单调趋近于,DA判法告诉我们一致收敛,那逐项积分就证完了.

Example2

求的傅里叶级数.

考虑在复数上做此操作,留神到:

所以,然而:

所以.

与原函数的收敛关系

做完以上操作后,我们来考虑这个傅里叶级数到底是否逼近于本身,设.此时考虑:

不妨令迪利克雷核,应当见到,则:

问题在于最后如何判断这个积分的收敛性,事实上可以找到若干个逼近的充分条件:

分段可导时候的情况

下面我们来证明:当是Holder连续的时候,.

我们有如下黎曼局部化引理:对,都有.

如何证明此呢?考虑:

留神到极限存在,因此其的确有界,对后面两项用黎曼引理就知道趋近于.

接下来我们还有一个引理:当的时候,如果存在,并且,则.

于此证明,根据黎曼引理:

既然如此,当是霍尔德连续,也就是,使得,此时见到,用上述引理知道此时.

上述结论还可以得到一个更神秘的结论,我们上述引理只用到了在附近的结果,那如果在附近不连续呢?

假设均存在,我们可以定义广义导数,定义右广义导数为,同理定义左广义导数.

当存在的时候,考虑此时没有瑕点,那上述结论当然也就满足.

如果我们定义分段可导为除了若干个断点处的左右广义导数不相同,其余所有点的左右广义导数都存在.那上述结论也就满足.

分段单调时候的情况

我们有Jordan引理:设在上单调,则.

对Jordan引理的证明,不妨设单调递增,对,使得.

不妨设,考虑根据积分第二中值定理:

而在上可以直接用黎曼引理这就搞定了.

如果是有限个单调函数的和,上述结论当然也成立了.所以该结论对有界变差函数是成立的.

因此,当上逐段单调的时候,逐段是两个单调函数的差,那此时当然也有.

Example1

设.

见到这的确是一个奇函数,直接求它的傅里叶级数,见到是:

我们竟然得到了一个一个神秘级数,很牛.

而且这个三角级数在上处处收敛到,这个性质在幂级数的时候是无法想象的,我们之前证明过了开区间上的非常值幂级数的零点集一定没有聚点.

Example2

设,也就是一个锯齿状的小函数,当然分段单调了.由于是一个偶函数,积分得到.

这当然是个连续函数,那此时有:

两边带入就知道.

还没完,用大M判别法容易检验这个式子两边是绝对一致收敛的,那我们两边逐项积分得到:

把左边的积出来,设其为.那它的傅里叶展开就等于右边的东西(因为一致收敛).带入,可以得到.

那接下来还可以两边再积分对吧!过程我也懒得写了,总之能推出,可以得到.

所以总之,我们可以用上面的策略得到所有的.

Example3

考虑对在截取出来并延拓,然后对其作傅里叶展开,得到:

令,得到:

Example4

假设,且存在,存在,使得以下二者其一成立:

在上是有界变差的.
积分.

则:

只需要证明:

首先上,对于只需要正常做就行了.可是在上未必可积,这就有点难绷.开动脑筋,想起来既然这里有一个上的绝对可积,那当然得用一用我们的柯西准则,考虑将后面拆成和.如果我们能把后面的搞定,那中间那一段用黎曼引理就搞定了.

后面怎么做呢,简单放缩:

这就搞定了.

一致收敛到原函数的情形

那此时该函数肯定连续,然而连续函数未必总能一致逼近,Example1给出了一个反例.

那么应该加如何条件呢?先证明一个加强版的黎曼引理:

设是上的绝对可积函数,取,我们要证明.这个还并不显然,因为是可以在之后决定的.实际上这里就是为了拿到一个一致控制性,我们想让我们的黎曼引理是能一致控制住整个区间的,这样我们才能得到一致收敛的条件.

首先考虑,当的时候,可以先用连续函数逼近,再将连续函数变为多项式逼近.而当有瑕点的时候,可以将瑕点逼掉.所以总能找到一个多项式满足.然后考虑:

由此还可以再推出一个引理,.原因是换元后用和差角公式拆开就行.

进一步推广,考虑是上的有界变差函数,我们证明:.

不妨设单调递增,然后用积分第二中值定理就可以发现:

接下来设,假设是上的绝对可积函数,而且限制在子区间上是连续的.我们有迪尼定理:若,则其傅里叶级数在区间上一致逼近.

考虑:

考虑前者:

至于后者,只需上述引理就搞定.

于是最后我们可以得到,如果是Holder连续的时候,那对于任意的,都一定有.

而如果当是有界变差的时候,此时考虑几乎处处可导,而在其可导的地方当然由上面的结果就一致收敛了,所以可以知道这个函数列几乎处处一致收敛到.

然而容易检验如果一个连续函数列几乎处处一致收敛到一个连续函数,那当然它们就是一致收敛的关系.考虑反证,,设可导点集为,则.

假设不一致收敛,此时使得.然而由于已经定死,所以现在和都是一致连续的,往旁边区间绕一下就行了.不管这个区间多小,由于是零测的,所以总有与的交.

从上面也可以看到,只要一个连续函数几乎处处可导,那它的傅里叶级数就可以一致逼近它.

Example1

设:

容易检查这个函数是有界的,只需:

这样用黎曼引理立刻见到其有界,存在常数使得,那也有界.

定义,取函数,既然有界,根据大M判别法,这个东西当然一致收敛而且周期连续.

既然如此,考察是奇函数,它的傅里叶展开的确就是上述形式(原因是连续函数有唯一傅里叶展开).

接下来考虑其波动考虑由于我们的,所以其实这里很稀疏的,留神到:

接下来带入,见到:

因此见到不一致收敛,很厉害!

Cesaro收敛

接下来我们引入Cesaro收敛的概念,回忆到Stolz定理给出若取定,回忆到如果,则,然而反之未必成立.因此,如果收敛的话,这是一个比收敛弱的条件.

在傅里叶级数这里也引入这个概念,我们不再研究的收敛性,而考虑的收敛性.考虑:

设费叶核.容易见到,,而且,原因是原本是个三角多项式,因此这里的积分只和其常数项有关,而常数项为.

现在我们说,当,在上绝对可积,并且极限存在,则.进一步,如果,则.

考虑设,有:

此时考虑存在意味着,使得当的时候,总有,于是我们上面的就可以拆成两部分.

对于前者:

对于后者只要能控制就行,而这是显然的,因为当的时候,分母就有下界了,让的时候当然趋近于.所以.

接下来的疑问是当连续时为何一致收敛,这当然是因为是一致连续的,那我上述唯一涉及的地方,也就是当的部分就可以被控制住,这就搞定了.

Cesaro收敛的另一个好处在于,当和存在的时候,由于如果逐点收敛一定就能导出Cesaro收敛,因此,如果傅里叶级数在某一点处收敛,则它必然也在这一点处Cesaro收敛且收敛于同一个,换言之如果收敛则一定收敛于此.

平均收敛

考虑如果一列函数,如果则我们称这列函数平均收敛到.一个平均收敛的函数列可以处处点不收敛,一个逐点收敛的函数也可能并不平均收敛(因为积分不一定收敛).

考虑定义平方可积函数为几乎处处连续而且只有有限个瑕点的并且满足.容易见到闭区间上的平方可积要强于绝对可积,原因正是柯西不等式:

从而看到如果则当然有,因此我们往往计算前者.

假设是平方绝对可积的,考虑定义为阶三角多项式组成的集合,设是的傅里叶展开的前项,我们有:

.
Bessel不等式:.
Parseval等式:.
广义Parseval等式:设都平方可积,则.

先看(1)和(2),假设,考虑:

等号成立当且仅当,这样上述两者就都证毕.

再看(3),由(1)和(2),只需要证明对于平方可积函数总存在一列三角多项式使得即可.

当是黎曼可积的时候这里较为平凡,只需要先用连续函数逼近,再用三角多项式逼近即可.最终因为有就行.顺便一提这个不等式还可以证明平方可积的函数的和差也一定是平方可积.

接下来要把瑕点给处理掉,由于平方可积,所以瑕点那里的积分会足够小,直接把那一段抹平成就行.抹平了后的函数可以被逼近,而抹平带来的影响又很小,这就搞定了.

再看(4),对和分别做Parseval等式,然后用它们一作差就能证明此结论.

关于Bessel不等式和Parseval等式,一个更好的理解是它体现了正交基上的操作,Bessel不等式说对于一组正交基我们总有成立.

Example1

求证:函数在上黎曼可积,则它们的傅里叶级数相同的充分必要条件是.

先证明充分性,比较显然:

再证必要性,也很显然,考虑如果傅里叶级数相同,则Parseval等式必有,这说明,立刻推出.

Example2

求证:当单调递减趋近于的时候,如果,则在上绝对可积.

不妨设,首先考虑:

此时考虑设,取,用Abel变换立刻有:

这里已经和没有关系了,既然如此考虑取,自然有:

此时只需检验收敛就行了对吧.这个比较平凡:

这就搞定了.

逐项积分

设绝对可积,其傅里叶级数为,考虑取,容易检查是有界变差的,原因是.

既然如此,它就会被它的傅里叶级数一致逼近,不妨记作.

接下来考虑把这些系数都求出来,先令求出,当的时候,留神到:

注意这里用的分部积分是广义分部积分,我们曾经搞过.

同理,补一个的傅里叶级数进去,于是我们见到:

也就是一个函数和傅里叶级数逐项积分后总相等.

逐项微分

设可导而且是周期的,并且,那由逐项积分那里的结论,自然有,也就是当:,则.

收敛速度的估计

最后来分析一下它的收敛能力,不妨假设是周期逐段可导函数,并且,则,原因是由Parseval等式,有:

也就是后面这个级数收敛对吧,那柯西准则给出:

现在来看误差项:

复数形式

考虑:

此时有.

三角级数的唯一性问题

接下来来解决点看上去很平凡的问题,如果:

而且左右两端都收敛到某个函数.能否导出.注意这里并不能两遍乘个然后积分,因为未必可积.

我们下面可以证明,如果上面这种相等除了至多可数个点以外都成立,那就是同一个三角级数.当然只需要证明当:

至多除了一个可数集合以外成立的时候有即可.

先来证明一个引理:此时.这还并不显然,因为这个三角级数并不一定是傅里叶级数.

首先级数收敛,通项趋近于,首先设,则.现在只需要证明.

反证,如果没有上述结论,则总存在一个无穷子列大于某一个正常数,设其指标集合为.

现在考虑上,找一个区间使得其不含有,由于通项肯定趋近无穷大,总能找到一个,使得.既然它的区间长度足够大,那其中总有一个子区间,使得在上成立.那我当然可以再找一个子区间使得中不含有,重复以上操作,这就是一个闭区间套.最后套出来了一个点,此时,自然有,这立刻导出矛盾.

再来一个引理:假设,可数集合.定义其二阶差分为.已知其广义二阶导数,而.则结论是是一个下凸函数.

这个结论的自然之处在于如果存在,那并且,所以上面那个,那如果它非负当然是下凸函数.

那如果不存在呢?反证,假设不凸,则一定存在一个子区间,使得在这个区间上,函数在这条弦之上(因为连续性,至少有三个点是违背三弦定理的,作一条弦后,函数有一些部分在上面有一些部分在下面,取某个恒在上面的子区间即可).

总之,我们找到了一个子区间使得:

接下来要推矛盾,分成两种情况:

第一种情况是的情形,考虑辅助函数,其中,也就是比原本那条弦的斜率稍微大了一点点,那只要落在某个足够小的区间内,仍然有大于零的部分.直接取,此时观察到和只差一个一次函数,它们作二阶差分后就相等了,然而,由于取的是最大值,当取足够小的时候,它的二阶差分一定小于等于,因此能导出,并且同理能导出.从而导出:

欸,你怎么变一阶差分了,那我的一次函数不就有用了么,必定有:

所以为单射,这与矛盾.

那么等于的情况呼之欲出了对吧,此时任意的都可以做到是凸的,随便搞个反证法就可以知道必定是凸的.

最后来设,由于,所以这玩意用大M判别法知道绝对一致收敛,那就是一个连续函数.

此时计算:

而此时对后面的部分用和差化积,留神到:

于是:

乍一看已经要完事了对吧!很可惜并没有,因为这个了,我们还需要证明下面这个引理:当收敛的时候,那么.

最难过的是这里的不定号,我们可能第一反应是前部分可以让而后半部分可以直接抛掉,可在不定号的时候这一切都难以实现了.对于不定号项的求和,我们也许唯一的武器只有Abel变换.设.立刻得到:

既然收敛,不妨设,下面来估计:

盯着这个积分,发现其在附近极限存在(泰勒展开就能看到),而在无穷处其实就是,所以这个积分存在,当然有,其实上面的过程就是在证明这个函数是有界变差的对吧!准备工作业已就绪,不妨设,请看:

只要取定足够大的就可以使得,而在此时只要让就可以让前半部分定死的,于是就搞定了.

从而我们可以看到上述引理的确成立了,进一步地两个上极限都等于,所以的确是下凸函数,然而正是因为等于,所以也是下凸函数,所以既是上凸,又是下凸,那它必然是一个一次函数.那就是必然的了.既然,就是一个周期函数,所以它必然是常值函数.然而一个三角级数一致收敛到一个常值函数,这个三角级数本身必然是常值函数,所以,这就搞定了.

傅里叶级数的最佳逼近性

下面我们想证明:傅里叶级数是最佳逼近,如果一个三角级数处处收敛到了一个黎曼可积函数,则这个三角级数就是这个函数的傅里叶级数.(事实上这个结论在绝对可积时也是对的,甚至可以有有限个点不收敛到它)

不妨设,有界.三角级数逐点逼近于它本身.我们上面引入的也就是.

来引入一个引理:如果,则不加极限的情况,.

我想这应该是平凡的,方向呼之欲出:使用介值定理.不过这里是二次函数,那我们就取定三个点,过这三个点做一个二次函数.事实上这个二次函数就是.取,则会在取值为,并且其在上肯定有一个最大值和一个最小值,在前者的广义二阶导数而后者,得到:

现在我们就知道如何做了,回忆到:

当我不取的时候这个两边可是一致收敛的.那右边肯定是前边的傅里叶级数,立刻有:

那我们自然有:

然而此时,后面积分那个东西有界.欸,取可以拿到一个一致有界的函数列,这不是我们控制收敛定理么,交换顺序!

这就证毕了.

傅里叶级数不逐点收敛到自身的连续周期函数

定义为周期连续函数组成的线性空间.此时定义,其实也就是Banach空间对吧.有了范数定义距离,有了距离就可以有开闭集的概念.Baire纲定理告诉我们此时可数个开稠集的交集仍然是稠密集(不过未必是开集).

现在考虑的傅里叶级数,取,迪利克雷核的结论告诉我们,其中.

接下来定义,取.下面我们来证明:是的开稠子集.

是开集应该是自然的结论,因为当定死的时候,从定义看是连续地依赖于.如果,则,那它周围当然有一个小邻域,使得其中的都满足了,所以这肯定是开集.

接下来得证明它是稠集,定义.此时发现:

原因是的部分二者相等,而不同的部分在有限区间上积分不会太大.

然而:

接下来考虑取,则.此时设,回忆到三角多项式可以一致逼近任何连续周期函数,所以存在三角多项式(有限项).

取,由于,所以当足够大的时候.此时,但是是有限项三角多项式,所以.这就搞定了,那此时而且在的邻域里.所以这个集合是稠密的.

接下来取,容易发现中的所有函数在这一点的傅里叶级数竟然都无界,我可以干脆取,则这里面存在一个函数,这个函数的傅里叶级数在任意有理点处发散.

其实还可以更牛,取,这显然是个开集.取,这就是可数个开集的交.而且从上面的论证可以发现,可是这里的是稠密的,所以必然也是稠密的,那它就是可数个开稠集的交,有结论说可数个开稠集的交一定是不可数集合.

然而,还有结论说一个周期连续函数的傅里叶级数其实几乎处处收敛于本身.

Example1

设是周期连续函数,设,求证:.

不妨设,考虑,而后者是个死数,除以后当然趋近于.

现在只需要看前者,然而:

而回忆到,由一致连续性前半部分显然可以决定一个是前者,这就搞定了.

高维欧式空间

考虑线性空间,上面的标准内积自然引出了距离的概念,也即.这就组成了一个欧式空间.

现在来看邻域的概念,我们称点的邻域为,定义去心邻域为.此外还有方形邻域为.

接下来引入收敛的概念,对于,称一列收敛于,若.显然该收敛的充要条件是逐分量收敛.

接下来,定义一列有界,当且仅当其模长有界.显然其有界的充要条件是每一个分量单看都有界.

显然有以下性质:

收敛点列有界.
收敛点列的极限唯一.
若,则,此外还有内积.

对于(3)的后半段可以用配极化,不再赘述.

接下来对于,称是的聚点,当且仅当,.

显然,时,其存在聚点,当且仅当存在一列,使得.将中不是聚点的点称为孤立点.不难看出孤立点集一定是可数的.

对于一个点,如果,使得,则称这个点为内点,我们记内点集合为,反之如果使得,则称为外点,也可以记作,既不是内点也不是外点的点称为的边界点,显然其任意邻域与和的交都不是空集,我们用表示其边界点集.如果,则称为开集.而如果是开集,则称是闭集.

下面我们记为的全体聚点组成的集合,我们下面来证明:是闭集.为此只需要证明,都使得.

如果不成立,则,都,知道中有一列点收敛于,至少可以找到一个使得,也就是,这当然意味着也是聚点.

接下来我们记为的闭包,容易见到必然也是闭集.考虑,由于是闭集,所以,.此外它也不可能和恒有交集,不然它自己就是聚点.这就证毕.

由于开集的并显然仍是开集,因此闭集的交必然也是闭集,所以我们下面证明是所有包含的闭集之交.这个事好像挺显然的,因为只要一个聚点没有被加入,它就不能说是个闭集.

最后我们要证明的结论是集合是闭集当且仅当.根据上面的闭包的最小性立刻就搞定了.

另一个结论是是闭集.这个比较显然,因为的内点和外点集合显然都是开集.

此外,有限个开集的交仍然是开集,有限个闭集的并也是闭集.

接下来到柯西列的概念了.称一列点为柯西列,当且仅当.显然在中的柯西列是收敛列的充要条件.如果一个空间中的柯西列均是收敛的,而且极限值属于,我们就称这个空间是完备的.

接下来定义连续函数,称一个是连续的,当且仅当每一维分量都是连续的.称一个区域是道路连续的,当且仅当,都存在一个连续函数,使得.而对于,称其为可达边界点,当且仅当存在连续函数,使得且.

我们还要证致密性原理:有界无穷点列有收敛子列.证明办法是先考虑第一个分量一定存在收敛子列,再在这个收敛子列的基础上找第二个分量的收敛子列,以此类推.它的一个推论是有界无穷集有聚点.

闭集套定理也可以直接拿过来,设为一列有界闭集,并且,则.特别地,当的时候,为单点集.

先来证明非空,任取一列,其显然有界,则其有收敛子列收敛于一个值.现在,取这个收敛子列大于的部分,它们实际上全在里,由于闭集的性质导出,从而.

最后,,容易见到,因此此时是单点集.

接下来是有限覆盖定理.设为有界闭集,若存在开集族使得,则存在有限个开集使得.证明方法和一维情况没区别,反证如果当前不能有限覆盖,往下递归二分拆每一维,总有至少一半不能有限覆盖,这样下去可以递归到一个点上,但这个点肯定能有限覆盖,这就矛盾.

如果一个集合的任意开覆盖都有有限覆盖,我们就称是紧的.于是有界闭集一定是紧集,下面证明紧集也一定是有界闭集.

显然紧集一定有界,不然外面那一溜点当然没办法有限覆盖.接下来证明它是闭的,就只需要证明即可.

反证,假设存在点,考虑搞一列集合,显然,但是这不可能有有限覆盖,因为中有一列点成立.

函数极限

大部分和一元时没有区别,但容易见到很多函数极限并不存在(见例子),因此有的时候我们也会让步于一种更弱的函数极限.

如果在点的小邻域内有定义,而且总存在,并且也存在,则称为先后的累次极限,记作.

极限的定义引出连续点的定义,也就引出函数在定义域上连续的定义.按理来说,我们还应该拿到:

有界闭集上连续函数有界
有界闭集上连续函数有最大最小值.
有界闭集上连续函数一致连续.

(1)的证明与一维无区别,直接找一列点满足,然后找这一列中的收敛子列收敛于,连续性给出这是不可能的.

(2)在(1)的基础上,如果,则可以找到一列点满足,这个时候找其收敛子列收敛于给出.

(3)如果不一致连续,则,存在两列和,使得但.然而取出这两个数列的收敛子列,它们必然收敛于同一个值,这就矛盾了.

Example1

求.

不妨设,则上时等于,显然取何值会得到不同结果,因此极限不存在.

Example2

求.

考虑取则上述极限为,但取则上述极限为,因此极限不存在.

Example3

求.

仍取,上述极限为,因此极限不存在.

但是它的累次极限是存在的,显然,.