3.2.2可积的函数类
excel 函数乘法
excel 函数乘法
Excel中有多个函数与乘法有关,这些函数可用于在电子表格中执行不同类型的乘法运算。
以下是一些常见的Excel函数:
1. 乘法运算符(*):在Excel中,使用星号(*)表示乘法运算符,它可用于将两个或多个数相乘。
例如,=2*3将返回6。
2. SUMPRODUCT函数:该函数可用于将两个或多个数列相乘并返回它们的总和。
例如,=SUMPRODUCT(A1:A5,B1:B5)将返回A1*B1 + A2*B2 + A3*B3 + A4*B4 + A5*B5的总和。
3. PRODUCT函数:该函数可用于将一系列数字相乘并返回它们的乘积。
例如,=PRODUCT(A1:A5)将返回A1*A2*A3*A4*A5的乘积。
4. MMULT函数:该函数可用于将两个矩阵相乘并返回结果矩阵。
例如,=MMULT(A1:C3,D1:F3)将返回一个3x3的矩阵,其值为两个矩阵相乘的结果。
5. VLOOKUP函数:该函数可用于在一个表格中查找一个值,并返回与该值相关的数据。
例如,=VLOOKUP(A1,B1:C5,2,FALSE)将在B1:C5中查找A1的值,并返回该行的第2列。
这些函数都可以在Excel中用于乘法运算,它们可以帮助用户在电子表格中快速准确地执行各种乘法计算。
- 1 -。
函数表示列数
函数表示列数函数表示列数 1函数表示列数 1函数列指的是 { S n ( x ) } \{S_n(x)\} {Sn(x)} 这样的序列,等价于数列,而函数项级数指的是将函数列 { u n ( x ) } \{u_n(x)\} {un(x)}进行累加得到的∑ u n ( x ) \sum u_n(x) ∑un(x) ,等价于数项级数。
虽然我们一般都有等式S n ( x ) = ∑ n u k ( x ) S_n(x)=\sum^n u_k(x) Sn(x)=∑nuk(x),讨论收敛性,或者是收敛后的分析性质时,描述的东西本质上是一样的,但是在处理方法上大有区别。
比如说对于函数列的一致收敛,我们一般用β \beta β上界判别法,或者用柯西收敛原理。
对于函数项级数的一致收敛,我们一般用Dirichlet判别法或者Abel判别法或者柯西收敛原理进行判定,如果判定不了,还可以对函数项级数进行求和转化成函数列(这点尤为重要)。
所以区分函数列和函数项级数是很有必要的。
1.2 逐点收敛应该意识到最重要的事情:逐点收敛是数的收敛,一致收敛是函数的收敛。
但是即使这么说也要强调,收敛、绝对收敛、条件收敛描述的都是数项级数,也就是说描述的是逐点收敛,而不是一致收敛。
再详细的说,收敛就是逐点收敛,千万不能产生概念辨析上的困难。
要想学好这一章,最重要的就是区分这些概念的辖域。
在逐点收敛中,自变量x不再是一个自变量,而是数项级数中一个参量,就像 1 n p \frac{1}{n^p} np1 中的p一样。
对于逐点收敛的处理,其实就是对数项级数的处理,方法也是沿用数项级数的处理方法。
在逐项收敛中,有一个重要的概念就是和函数,对应的还有和函数的收敛域。
注意这两个概念都是逐点性质。
所谓的逐点,就是在一开始就给出了自变量x的值,比如求S n ( x ) = n α x e − n x S_n(x)=n^\alpha x e^{-nx} Sn(x)=nαxe−nx若要求 S ( x ) S(x) S(x) ,不能令 x = 1 n x=\frac{1}{n} x=n1 ,因为 x x x 在n之前取值,所以不能写作n的函数。
可积函数类并举例
可积函数类并举例概述可积函数类是指在某个测度空间上定义的一类函数,它们满足某种积分可定义且具有某种意义。
可积函数类广泛用于实际问题和数学理论中,是函数分析领域的一个重要研究方向。
可积函数类的定义可积函数类可以用不同的方式定义,这里介绍两种常见的定义方式。
Lp空间:Lp空间是指在某个测度空间上定义的可测函数集合,满足某种范数下的Lp范数有限。
设f为某个测度空间上的可测函数,则它的Lp范数表示为:∥f∥p=(∫|f(x)|p dx)1/p其中1≤p<∞,若p=∞则需要对极限情况单独考虑。
当f的Lp范数有限时,称f属于Lp空间,记为f∈Lp。
几乎处处有限:另一种可积函数类的定义方式是几乎处处有限的函数集合,该集合中的每个函数几乎处处有限。
在这种情况下,可积函数类可以表示为全体几乎处处有限的可测函数集合,记为L∞。
可积函数类的性质可积函数类具有一些重要的性质,下面列举其中的一些。
1. 可积函数类是线性空间。
2. 可积函数类中元素的范数满足某些三角不等式。
3. 可积函数类中元素的积分满足某些基本积分性质,如线性性、可加性、单调性等。
4. 某些可积函数类是完备的空间,即某些基本性质都可以得到证明。
可积函数类的举例以下是一些常见的可积函数类和它们的定义方式。
1. L1空间:L1空间是指在某个测度空间上定义的可测函数集合,满足L1范数有限。
在实际问题中,L1空间常用于表示可积的函数,这些函数的绝对值可积。
2. L2空间:L2空间是指在某个测度空间上定义的可测函数集合,满足L2范数有限。
由于L2空间是内积空间,因此它可以理解为带权二维欧几里得空间。
L2空间在信号处理和概率论中有广泛的应用。
3. L∞空间:L∞空间是指在某个测度空间上定义的几乎处处有界的可测函数集合。
L∞范数被定义为极本质上确界的L∞范数。
L∞空间常常用于表示有限范围的函数。
总结可积函数类是函数分析中的重要研究方向之一,它们可以用不同的方式定义。
e^(-x^2)在0到正无穷的定积分的推导过程
e^(-x^2)在0到正无穷的定积分的推导过程1. 引言1.1 概述:本文旨在推导和探讨函数e^(-x^2)在区间[0,∞)上的定积分。
e^(-x^2)函数是一种非常重要且广泛应用于数学、物理和统计学等领域的特殊函数,它具有许多独特的性质和应用。
通过详细深入地研究该函数在指定区间上的定积分求解步骤,我们将能够更好地理解和应用这个函数。
1.2 文章结构:本文将按照以下顺序组织:引言部分将提供概述、目的和文章结构;接下来的部分将介绍e^(-x^2)函数及其性质,包括函数定义与表达式、函数图像与特点以及函数的奇偶性与周期性;然后,我们将介绍定积分的基本概念与性质,包括定义与推导过程、几何意义以及性质与运算法则;随后, 我们将详细讲解e^(-x^2)在0到正无穷区间上的定积分求解步骤, 包括分析定积分区间、选取适当的变量替换以及原式转化;最后, 我们将给出结论和总结, 对结果进行总结以及探讨推广应用和展望未来的研究方向。
1.3 目的:本文的主要目的是通过推导过程,阐述e^(-x^2)在0到正无穷定积分的求解步骤。
该定积分是代数与微积分中重要的例子之一,通过研究此例我们可以深入理解定积分的概念、性质以及运算法则,并能够更准确地应用这些知识解决实际问题。
此外,通过对e^(-x^2)函数在指定区间上的定积分求解过程的详细讲解,读者们也能够更好地掌握如何选择适当的方法与技巧来求解其他类型的定积分。
以上为"1. 引言"部分内容。
2. e^(-x^2)函数及其性质:2.1 函数定义与表达式:e^(-x^2)是一个常见的数学函数,定义域为所有实数。
它的表达式可以写作f(x) = e^(-x^2),其中e表示自然对数的底数,x表示自变量。
2.2 函数图像与特点:我们可以通过将不同的x值代入函数来绘制其图像。
由于e^(-x^2)中指数部分是-x^2,这意味着随着x增大,指数部分会变得越来越小,并趋近于零。
可积函数类并举例
可积函数类并举例
可积函数是数学中的一个重要概念,它在数学分析、微积分、概率论等领域都有广泛应用。
可积函数具有许多重要的性质,例如Lebesgue可积性、Riemann可积性等。
Lebesgue可积函数是指在Lebesgue测度下可积的函数,它是一类比较广泛的可积函数。
而Riemann可积函数则是指在Riemann积分下可积的函数,它是一类比较特殊的可积函数。
在实际应用中,Lebesgue可积函数更加常见。
下面给出一些常见的Lebesgue可积函数:
1.连续函数:对于一个定义在闭区间[a,b]上的连续函数f(x),它在[a,b]上一定是可积的。
2.分段连续函数:对于一个在[a,b]上具有有限个第一类间断点的函数f(x),它在[a,b]上一定是可积的。
3.绝对可积函数:对于一个在[a,b]上绝对可积的函数f(x),它在[a,b]上一定是可积的。
4.Lp函数:对于一个在[a,b]上的Lp函数f(x),它在[a,b]上一定是可积的。
其中p>1。
总之,可积函数是数学中一个十分重要的概念,我们需要熟练掌握它的定义和性质,并且能够灵活应用于实际问题中。
- 1 -。
函数类型细分辨,一目了然方法现——高中常见函数的分类
函数类型细分辨,一目了然方法现——高中常见函数的分类
高中阶段,学生们开始研究函数。
因为函数的概念难以理解,种类繁多,课本又没有系统地讲解,许多老师也只是泛泛而谈,所以很多学生更是稀里糊涂,无所适从。
因函数类型的不同,处理方式也大不一样,所以函数类型是题目的一个重要标志,找到了标志,方法、步骤大致确定。
其实,只要能分辨清楚函数的类型,则对应的方法、技巧是一目了然的。
这里就给出分类标准,以供参考:
基本初等函数:包括6种
其它的函数,基本上都是由以上基本初等函数进行有限次组合或有限次复合而成的。
组合函数:
复合函数:将基本初等函数的自变量x换成另外一个基本初等函数(自身也行)就得到一个复合函数。
通俗地说,复合函数就是函数套函数,是把几个简单的函数复合为一个较为复杂的函数。
例如:
具体函数:给出了具体的解析式的函数叫具体函数。
抽象函数:没给出具体解析式的函数就是抽象函数。
抽象函数不是没有解析式,只是说题目没有给出来,仅以一个符号y=f(x)或f(x)来体现。
我们可以理解为“有这么一个函数存在,具体的解析式是什么样子的暂时还不知道”
至于其它的一些函数类型,因为高一新生接触不到,这里先不讲了!
函数的种类不同,使用到的方法、步骤大不相同(在以后的发文中我会一一讲解),所以要仔细区分函数的类型,必须达到一眼就能识别的程度。
第三章 复变函数的积分
第三章 复变函数的积分复变函数的积分(简称复积分)是研究解析函数的有力工具,解析函数许多重要的性质都需要利用复积分来证明.本章主要介绍复变函数积分的定义、性质与基本计算方法,解析函数积分的基本定理——柯西-古萨定理及其推广,柯西积分公式及其推论以及解析函数与调和函数的关系.柯西-古萨定理和柯西积分公式是复变函数的理论基础,以后各章都直接地或间接地用到它们.§3.1 复变函数积分的概念1.复变函数积分的定义在介绍复变函数积分的定义之前,首先介绍有向曲线的概念.设平面上光滑或分段光滑曲线C 的两个端点为A 和B .对曲线C 而言,有两个可能方向:从点A 到点B 和从点B 到点A .若规定其中一个方向(例如从点A 到点B 的方向)为正方向,则称C 为 有向曲线.此时称点A 为曲线C 的起点,点B 为曲线C 的终点.若正方向指从起点到终点的方向,那么从终点B 到起点A 的方向则称为曲线C 的负方向,记作C -.定义3.1 设C 为一条光滑或分段光滑的有向曲线,其中A 为起点,B 为终点.函数f (z )在曲线C 上有定义.现沿着C 按从点A 到点B 的方向在C 上依次任取分点:A =z 0,z 1,…,z n -1,z n =B ,图3.1将曲线C 划分成 n 个小弧段.在每个小弧段1k k z z -(k =1,2,…,n )上任取一点,k ξ,并作和式1().nn k k k S f z ξ==∆∑其中1k k k z z z -∆=-.记λ为n 个小弧段长度中的最大值.当λ趋向于零时,若不论对曲线C 的分法及点k ξ的取法如何,n S 极限存在,则称函数f (z )沿曲线C 可积,并称这个极限值为函数f (z )沿曲线C 的积分.记作1()d lim (),nkkk Cf z z f z λξ→==∆∑⎰f (z )称为被积函数,f (z )d z 称为被积表达式.若C 为闭曲线,则函数f (z )沿曲线C 的积分记作()d Cf z z ⎰.2.复变函数积分的性质性质3.1(方向性)若函数f (z )沿曲线C 可积,则()d ()d .CC f z z f z z -=-⎰⎰ (3.1)性质3.2(线性性)若函数f (z )和g (z )沿曲线C 可积,则(()())d ()d ()d ,CCCf zg z z f z z g z z αβαβ+=+⎰⎰⎰ (3.2)其中αβ,为任意常数.性质3.3(对积分路径的可加性)若函数f (z )沿曲线C 可积,曲线C 由曲线段12,,,n C C C ,依次首尾相接而成,则12()d ()d ()d ()d .nCC C C f z z f z z f z z f z z =+++⎰⎰⎰⎰(3.3)性质3.4(积分不等式)若函数f (z )沿曲线C 可积,且对z C ∀∈,满足()f z M ≤, 曲线C 的长度为L ,则()d ()d ,CCf z z f z s ML ≤≤⎰⎰(3.4)其中d d s z ==, 为曲线C 的弧微分.事实上,记k s ∆为z k -1与z k 之间的弧长,有111()()().nn nkkk k k k k k k f zf z f s ξξξ===∆≤∆≤∆∑∑∑令0λ→,两端取极限,得到()d ()d .CCf z z f z s ≤⎰⎰又由于11(),nnk k k k k f s M s ML ξ==∆≤∆=∑∑所以有()d ()d .CCf z z f z s ML ≤≤⎰⎰3.复变函数积分的基本计算方法定理3.1 若函数f (z )=u (x,y )+iv (x,y )沿曲线C 连续,则f (z )沿C 可积,且()d d d d d .CCCf z z u x v y i v x v y =-++⎰⎰⎰ (3.5)证明:设11,,,,k k k k k k k k k k k k z x iy i x x x y y y ξζη--=+=+∆=-∆=-则11111()()()().k k k k k k k k k k k k k z z z x iy x iy x x i y y x i y -----∆=-=+-+=-+-=∆∆从而1111()((,)(,))()((,)(,))((,)(,)).nnkk k k k k k k k k nk k k k k k k nk k k k k k k f z u iv x i y u x v y i v x u y ξζηζηζηζηζηζη====∆=+∆+∆=∆-∆+∆+∆∑∑∑∑上式右端的两个和数是两个实函数的第二类曲线积分的积分和.已知f (z ) 沿C 连续,所以必有u 、v 都沿C 连续,于是这两个第二类曲线积分都存在.因此积分存在()d Cf z z ⎰,且()d d d d d .CCCf z z u x v y i v x u y =-++⎰⎰⎰注(3.5)式可以看作是f (z )=u +iv 与d z =d x +i d y 相乘后得到:()d ()(d d )d d d d d d d d d .CCCCCf z z u iv x i y u x iv x iu y v yu x v y i v x u x u y =++=++-=-+++⎰⎰⎰⎰⎰定理3.1给出的条件仅仅是积分()d Cf z z ⎰存在的充分条件.该定理告诉我们,复变函数积分的计算问题可以化为其实部和虚部两个二元实函数第二类曲线积分的计算问题.下面介绍另一种计算方法--- 参数方程法.设C 为一光滑或为分段光滑曲线,其参数方程为()()()(),z z t x t iy t a t b ==+≤≤参数t =a 时对应曲线C 的起点,t =b 时对应曲线C 的终点.设f (z )沿曲线C 连续,则(())((),())((),())()().f z t u x t y t iv x t y t u t iv t =+=+由定理3.1有()d d d d d (()()()())d (()()()())d ,CCCb baaf z z u x v y i v x u yu t x t v t y t t i u t y t v t x t t =-++''''=-++⎰⎰⎰⎰⎰容易验证Re((())())()()()(),Im((())())()()()().f z t z t u t x t v t y t f z t z t u t y t v t x t '''=-'''=+所以()d (())()d .baCf z z f z t z t t '=⎰⎰(3.6)例3.1 分别沿下列路径计算积分2d Cz z ⎰和Im()d Cz z ⎰.(1) C 为从原点(0,0)到(1,1)的直线段;(2) C 为从原点(0,0)到(1,0)再到(1,1)的直线段. 解: (1) C 的参数方程为:z =(1+i )t, t 从0到1 .11222033310d ((1))d((1))(1)((1))d (1)(1).33Cz z i t i t i i t t t i i =++=++⎛⎫+=+⋅= ⎪⎝⎭⎰⎰⎰(2) 这两直线段分别记为C 1和C 2,C 1的参数方程为:y =0, x 从0到1; C 2的参数方程为:x =1, y 从0到1.1122203312103d d (1)d(1)33122(1)1.3333Cz z x x iy iy x y i y iy i i i i =+++⎛⎫=+-+ ⎪⎝⎭-+=+--==⎰⎰⎰ ()111000Im()d 0d d 1i d .2Ciz z x y y i y y =++==⎰⎰⎰⎰ 例3.2 计算积分d Czz z⎰,其中C 为图3.2所示半圆环区域的正向边界.图3.2解:积分路径可分为四段,方程分别是:C 1:z =t (-2≤ t ≤ -1); C 2:z =,i e θθ从π到0; C 3:z =t (1≤ t ≤ 2);C 4:z =2,i e θθe 从0到π.于是有123412π2π10d d d d d e 2e d e d d 2d e 2e24411.333CC C C C i i i i i i z z z z z z z z z z z z z z zt t t i t ie t t θθθθθθθθ----=+++=+++=++-=⎰⎰⎰⎰⎰⎰⎰⎰⎰例3.3 计算积分101d ()n Cz z z +-⎰,其中C 为以z 0为中心,r 为半径的正向圆周,n 为整数.解:曲线C 的方程为:0(02π)i z z re θθ=+≤≤.从而有2π11(1)002π2πd e ()e d ed .e i n n i n Cin n in nzir I z z r i i r r θθθθθθ+++-==-==⎰⎰⎰⎰图3.3当n =0时,2πd 2πI i i θ==⎰当n ≠0时,2π(cos sin )d 0niI n i n rθθθ=-=⎰.所以有0102π,0;d 0,0.()n z z ri n zn z z +-==⎧=⎨≠-⎩⎰ (3.7) 由此可见,该积分与积分路线圆周的中心和半径无关,在后面还要多次用到这个结果,需记住.§3.2 柯西-古萨定理(C auchy-Gour s at)及其推广1.柯西-古萨定理首先我们来看看上一节所举的例题,例3.1中被积函数f (z )=z 2在z 平面上处处解析,它沿连接起点与终点的任何路径的积分值相同,也就是说,该积分与路径无关.即沿z 平面上任何闭曲线的积分为零.而例3.1中另一被积函数()Im()f z z =在z 平面上处处不解析,其积分值依赖于连接起点与终点的路径.由例3.3得积分1d 2π0Cz i z z =≠-⎰,曲线C 表示圆周:|z -z 0|=r >0.其中被积函数01()f z z z =-在z 平面上除去点z 0外处处解析,但这个区域是复连通区域.由此可见,积分值与路径是否无关,可能与被积函数的解析性及区域的单连通性有关.其实,在实函数的第二类曲线积分中就有积分值与路径无关的问题.由于复变函数的积分可以用相应的两个实函数的第二类曲线积分表示,因此对于复积分与路径无关的问题,我们很自然地会想到将其转化为实函数积分与路径无关的问题来讨论.假设函数f (z )=u +iv 在单连通域D 内处处解析,f '(z )在D 内连续,由第二章2.3节中的(2.9)式知u,v 对x,y 的偏导数在D 内连续.设z =x +iy ,C 为D 内任一条简单闭曲线.则由(3.5)式,有()d d d d d .CCCf z z u x v y i v x u y =-++⎰⎰⎰记G 为C 所围区域,由格林(Green)公式有d d d d ,G Cv u u x v y x y x y ⎛⎫∂∂-=-- ⎪∂∂⎝⎭⎰⎰⎰ 由于f (z )=u +iv 在D 内解析,所以u 、v 在D 内处处都满足柯西-黎曼方程,即,.u v v ux y x y∂∂∂∂==-∂∂∂∂ 因此d d d d 0.CCu x v y v x u y -=-=⎰⎰从而()d 0.Cf z z =⎰下面的定理告诉我们去掉条件“f '(z )在D 内连续”条件,这个结论也成立.这是复变函数中最基本的定理之一.定理3.2(柯西-古萨定理) 若函数f (z )是单连通域D 内的解析函数,则f (z )沿D 内任一条闭曲线C 的积分为零,即()d 0.Cf z z =⎰注:其中曲线C 不一定要求是简单曲线.事实上,对于任意一条闭曲线,它都可以看成是由有限多条简单闭曲线衔接而成的,如图3.4.图3.4这个定理是由柯西提出来的,后来由古萨给出证明.由于证明过程较复杂,我们略去其证明.由柯西-古萨定理可以得到如下两个推论:推论3.1 设C 为z 平面上的一条闭曲线,它围成单连通域D ,若函数f (z )在D D C=上解析,则()d 0.Cf z z =⎰推论3.2 设函数f (z )在单连通域D 解析,则f (z )在D 内积分与路径无关.即积分()d Cf z z⎰不依赖于连接起点z 0与终点z 1的曲线C ,而只与z 0、z 1的位置有关.证明:图3.5设C 1和C 2为D 内连接z 0 与z 1的任意两条曲线.显然C 1和2C -连接成D 内一条闭曲线C .于是由柯西-古萨定理,有12()d ()d ()d 0.CC C f z z f z z f z z -=+=⎰⎰⎰即12()d ()d .C C f z z f z z =⎰⎰2.原函数由推论\re f {cor2可知,解析函数在单连通域D 内的积分只与起点z 0 和终点z 1有关,而与积分路径无关.因此,函数f (z )沿曲线C 1和C 2的积分又可以表示为1212()d ()d ()d .z z C C f z z f z z f z z ==⎰⎰⎰固定下限z 0,让上限z 1在区域D 内变动,并令z 1=z ,则确定了一个关于上限z 的单值函数()()d .zz F z f ξξ=⎰ (3.8)并称F (z )为定义在区域D 内的积分上限函数或变上限函数.定理3.3 若函数f (z )在单连通域D 内解析,则函数F (z )必在D 内解析,且有F '(z )=f (z ). 证明:若D 内任取一点z ,以z 为中心作一个含于D 内的小圆B ,在B 内取点(0)z z z +∆∆≠,则由(3.8)式有()()()d ()d .z zzz z F z z F z f f ξξξξ+∆+∆-=-⎰⎰因为积分与路径无关,所以()d z zz f ξξ+∆⎰的积分路径可取从z 0到z 再从z 到z z +∆,其中从z 0到z 取与()d zz f ξξ⎰的积分路径相同.于是有()()()d .z zzF z z F z f ξξ+∆+∆-=⎰由于f (z )是与积分变量ξ无关的值,故()d ()d ().z zz zzzf z f z f z z ξξ+∆+∆==∆⎰⎰从而()()1()()d()1(()())d .z zz z zzF z z F z f z f f z z zf f z zξξξξ+∆+∆+∆--=-∆∆=-∆⎰⎰又f (z )在D 内解析,显然f (z )在D 内连续.所以对于任给的0ε>,必存在0δ>,使得当z ξδ-<(且ξ落在圆B 内),即当z δ∆<时,总有()()<f f z ξε-.图3.6由复积分的性质\re f {ji f e n xi n g z hi4,有()()1()(()())d 1()()d 1.z zzz zzF z z F z f z f f z z zf f z z z zξξξξεε+∆+∆+∆--=-∆∆≤-∆≤∆=∆⎰⎰即0()()lim()z F z z F z f z z ∆→+∆-=∆,也就是()()F z f z '=.与实函数相似,复变函数也有原函数的概念及类似于牛顿-莱布尼兹(Newton-Leibniz)公式的积分计算公式.定义3.2 若在区域D 内,()z ϕ的导数等于f (z ),则称()z ϕ为f (z )在D 内的原函数. 由定理定理3.3可知,变上限函数0()()d zz F z f ξξ=⎰为f (z )的一个原函数.那么函数f (z )的全体原函数可以表示为()()z F z C ϕ=+,其中C 为任意常数.事实上,因为(()())()()()()0z F z z F z f z f z ϕϕ'''-=-=-=,所以()()z F z C ϕ-=,即()()z F z C ϕ=+.这说明了f (z )的任何两个原函数仅相差一个常数.利用这一性质我们可以得到解析函数的积分计算公式.定理3.4 若函数f (z )在单连通域D 内处处解析,()z ϕ为f (z )的一个原函数, 则11010()d ()()()z zz z f z z z z z ϕϕϕ=-=⎰, (3.9)其中z 0、z 1为D 内的点.证明:由于0()()d zz F z f ξξ=⎰为f (z )的一个原函数.所以()()d ().zz F z f z C ξξϕ==+⎰当z =z 0时,根据柯西-古萨定理可知0()C z ϕ=-,于是()d ()()zz f z z ξξϕϕ=-⎰.需要特别注意的是这个公式仅适用于定义在单连通域内的解析函数.例3.4 求积分π2sin 2d i z z ⎰的值.解:因为sin2z 在复平面上解析,所以积分与路径无关.可利用(3.9)式来计算.容易验证1cos 22z -是sin2z 的一个原函数, ππ2200ππππ11sin 2d (cos πcos 0)cos 22211e e .12242i iz z i z e e --=-=--+⎛⎫+=-=-- ⎪⎝⎭⎰例3.5 求积分0(1)e d iz z z --⎰的值.解:因为(z -1)e -z 在复平面上解析,所以积分与路径无关.可利用(3.9)式来计算.(1)e d e d e d iiizzzz z z z z ----=-⎰⎰⎰, 上式右边第一个积分的计算可采用分部积分法,第二个积分可用凑微分法,得(1)e d e d e d esin1cos1.iiiizzz z i z z z zz ie i ------=+--=-=--⎰⎰⎰例3.6 设D 为直线3,2z t t ⎛=+-∞<<∞+ ⎝ 和直线4,55z t t i ⎛=+-∞<<∞-+ ⎝⎭所围成的区域. 求积分23d 2izz z +-⎰的值. 解: 尽管212z z +-在复平面上存在两个奇点1和-2,但是单连通域D 包含点3和i ,又不含奇点1和-2,因此212z z+-在区域D内解析,这样就可以用(3.9)式来计算.233311d dd2312i i iz zzz z z z⎛⎫=-⎪+--+⎝⎭⎰⎰⎰函数ln(z-1)和ln(z+2)在单连通域D内可以分解为单值的解析分支,ln(z-1)的各分支导数都为11z-,ln(z+2)的各个分支的导数都为12z+.我们可以应用任何一个分支来计算积分值,在这里我们都取主支. 所以()23311d ln(1)ln(2)231153π1ln arctan3224215π1ln arctan.62432iiz z zz zii i=--++-⎛⎫⎛⎫=++⎪⎪⎝⎭⎝⎭=++⎰3.复合闭路定理柯西-古萨定理定理可推广到多连通域.设有n+1条简单闭曲线C0、C1、C2、…、C n,其中C1、C2、…、C n互不相交也互不包含,并且都含于C0的内部.这n+1条曲线围成了一个多连通区域D, D的边界C称作复闭路,它的正向为C0取逆时针方向,其它曲线都取顺时针方向.因此复闭路记作012nC C C C C---=++++.沿复闭路的积分通常取的是沿它的正向.定理 3.5若f(z)在复闭路012nC C C C C---=++++及其所围成的多连通区域内解析,则012()d()d()d()dnC C C Cf z z f z z f z z f z z=+++⎰⎰⎰⎰, (3.10) 也就是()d0Cf z z=⎰.为了叙述的简便,我们仅对n=2的情形进行说明.图3.7在图3.7中,做辅助线l1、l2和l3将C0、C1及C2连接起来,从而把多连通区域D划分为两个单连通区域D1及D2,并分别用1Γ及2Γ表示这两个区域的边界,由柯西-古萨定理有12()d 0, ()d 0.f z z f z z ΓΓ==⎰⎰于是12()d ()d 0.f z z f z z ΓΓ+=⎰⎰上式左端,沿辅助线l 1、l 2和l 3的积分,恰好沿相反方向各取了一次,从而相互抵消.因此上式左端为沿曲线C 0、1C -及2C -上的积分,即有:12()d ()d ()d 0.C C C f z z f z z f z z --=⎰⎰⎰也就是12()d ()d ()d .C C C f z z f z z f z z =+⎰⎰⎰例3.7 计算2d2Czz +⎰的值,C 为包含圆周|z |=1在内的 任何正向简单闭曲线. 解:显然z =0和z =-1是函数21z z+的两个奇点,由于C 为包含圆周|z |=1在内的任何正向简单闭曲线,因此也包含了这两个奇点.在C 的内部作两个互不包含互不相交的正向圆周C 1和C 2,其中C 1的内部只包含奇点z =-1,C 2的内部只包含奇点z =0.图3.8因为21z z+在由C 、C 2、C 2所围成的复连通域内解析,所以由定理3.5、定理3.2及(3.7)式,得1211222222d d d d d d d 1102π2π00.CCC C C C C z z zz z z z z z z z z zz z z z i i =++++=-+-++=-+-=⎰⎰⎰⎰⎰⎰⎰ §3.3 柯西(C auchy)积分公式及其推论1.柯西积分公式利用复合闭路定理我们可以导出解析函数的积分表达式,即柯西积分公式.定理3.6 若f (z )是区域D 内的解析函数,C 为D 内的简单闭曲线,C 所围内部全含于D 内,z 为C 内部任一点,则1()()d 2πCf f z iz ξξξ=-⎰, (3.11) 其中积分沿曲线C 的正向.证明:取定C 内部一点z .因为f (z )在D 内解析,所以f (z )在点z 连续.即对任给的0ε∀>,必存在0δ>,当|z δξ<-时,有()()f f z εξ<-.令()()f F zξξξ=-,则()F ξ在D 内除去点z 外处处解析.现以z 为中心,r 为半径作圆周:B r z ξ=-(见图3.9),使圆B 的内部及边界全含于C 的内部.图3.9根据复合闭路定理有()()d d .C Bf f z z ξξξξξξ=--⎰⎰ 上式右端积分与圆B 的半径r 无关.令0r →,只需证明()d 2π()Bf if z z ξξξ→-⎰ 即可.由例3.3可知,1d 2πBi z ξξ=-⎰,而f (z )与ξ无关.于是 ()()()()()d 2π()d d d ()()d 2πd BB BBBBf f f z f f z if z z z z zf f z si rzξξξξξξξξξξξξξξ---==-----≤≤=-⎰⎰⎰⎰⎰⎰从而定理得证.公式(3.11)称为 柯西积分公式.在柯西积分公式中,等式左端表示函数f (z )在C 内部任一点处的函数值,而等式右端积分号内的()f ξ表示f (z )在C 上的函数值.所以,柯西积分公式反映了解析函数在其解析区域边界上的值与区域内部各点处值之间的关系:函数f (z )在曲线C 内部任一点的值可用它在边界上的值来表示,或者说f (z )在边界曲线C 上的值一旦确定,则它在C 内部任一点处的值也随之确定.这是解析函数的重要特征.例如,若函数f (z )在曲线C 上恒为常数K ,z 0为C 内部任一点,则根据柯西积分公式有0001()1()d d 2π.2π2π2πC Cf KKf z i K iz i z i ξξξξξ===⋅=--⎰⎰ 即f (z )在曲线C 的内部也恒为常数K .又如,若C 为圆周:0z R ξ-=,即0Re i z θξ=+(02π)θ≤≤,则d Re d i i θξθ=,从而2π00002π00(Re )Re 1()1()d d 2π2πRe 1(Re )d .2πi i i Ci f z i f f z iz i f z θθθθξξθξθ+⋅==-=+⎰⎰⎰即解析函数在圆心z 0处的值等于它在圆周上的平均值,这就是解析函数的平均值定理.若f (z )在简单闭曲线C 所围成的区域内解析,且在C 上连续,则柯西积分公式仍然成立. 柯西积分公式可以改写成()d 2π()Cf if z z ξξξ=-⎰. (3.12) 此公式可以用来计算某些复变函数沿闭路积分.例3.8 计算积分221d z z z z =+⎰的值. 解:因为{z ^2+1在|z |=2内解析,由柯西积分公式(3.12)有22021d 2π2π.(1)z zz z i i z z ==+=⋅=+⎰ 例3.9 计算积分2πsin6d 1Czz z -⎰的值,其中C 为: 33(1)1;(2)1;(3) 3.22z z z ===-+ 解: (1) 被积函数πsin61zz +在312z =-的内部解析,由(3.12)式有, 21ππsinsinπ11πsin 66d d 2π2π.6111421CCz zzz i z z i i z z z z =⎛⎫ ⎪=⋅==⋅=-+- ⎪⎝+⎭⎰⎰(2) 被积函数πsin61zz -在312z =+的内部解析,由(3.12)式有 21ππsinsinπ11πsin 66d d 2π2π.6111421CCz zzz i z z i i z z z z =-⎛⎫ ⎪=⋅==⋅=--+ ⎪⎝-⎭⎰⎰(3) 被积函数2πsin61zz -在|z |=3的内部有两个奇点1z =±.在C 的内部作两个互不包含互不相交的正向圆周C 1和C 2,其中C 1的内部只包含奇点z =1,C 2的内部只包含奇点z =-1.由定理3.5的(3.10)式及(3.12)式,有12222πππsinsin sinππ666d d d π.11122CC C z z zi i z z z i z z z =+=+=---⎰⎰⎰例3.10 求积分42d 1z zz =-⎰的值, 其中C 为:|z |=2为正向. 解:因为z 4-1=0之解为z 1=1, z 2=i, z 3=-1, z 4=-i,分别作简单正向闭路C j 包围z j ,使C j (j =1, 2, 3, 4)互不包含,互不相交,均位于|z |=2内,则由复合闭路定理有4441d d 11jj CCz zz z ==--∑⎰⎰ 又由Cauchy 积分公式得()()()()()()()()()1141213121121312d 1d 112121i 111i πi πiπi2C Cz zz z z z z z z z z z z z z z z =⋅-----=---==-++⎰⎰同理可得234444d d d ,,1212π2π1πi C CC z z z z z z =-=-=---⎰⎰⎰. 所以 44412d d 011j j z C z zz z ====--∑⎰⎰.2.高阶导数公式 我们知道,一个实函数在某一区间上可导,并不能保证该函数在这个区间上二阶导数存在.但在复变函数中,如果一个函数在某一区域内解析,那么根据3.3节中的柯西积分公式推知,该解析函数是无穷次可微的.定理3.7 定义在区域D 的解析函数f (z )有各阶导数,且有()1!()()d (1,2,),2π()n n Cn f f z n iz ξξξ+==-⎰(3.13)其中C 为区域D 内围绕z 的任何一条简单闭曲线,积分沿曲线C 的正向.证明:用数学归纳法证明. 当n =1时,即证明21()()d .2π()Cf f z iz ξξξ'=-⎰也就是要证明2()1()limd .2π()z Cf z z f z iz ξξξ∆→+∆=∆-⎰由柯西积分公式(3.11)有1()()d ,2π1()()d .2πCCf f z i z f f z z iz z ξξξξξξ=-+∆=--∆⎰⎰于是22222()()1()d 2π()()()11()d d d 2π2π()1()1()d d 2π()()2π()()()()1d d ()()()()2πCC C CCCCC f z z f z f z iz f f f z z z i z i z f f i z z z z iz zf f f z z z z z ξξξξξξξξξξξξξξξξξξξξξξξξξξξξ+∆--∆-⎛⎫--= ⎪--∆-∆-⎝⎭-=∆--∆--∆+-=--∆---⎰⎰⎰⎰⎰⎰⎰⎰2d .Cξ⎰令上式为Q,显然2()1d .()()2πCzf Q z z z ξξξξ∆=--∆-⎰根据积分不等式(3. 4)有2()1d .2πCf z Q z z zξξξξ∆≤--∆-⎰因为f (z )在区域D 内解析,所以在闭曲线C 上解析并连续,从而在C 上是有界的. 即对于z C ∀∈,一定存在一个正数M ,使得|f (z )|≤M .设d 为从z 到C 上各点的最短距离,取z ∆充分小,满足2dz <∆.那么 ,.2d d z z z z z ξξξ≥≥->---∆-∆因此33212d ,d 2π2πd πd d 2CM M ML z z Q s L z ∆∆<=⋅=∆⋅⎰这里L 为C 的长度. 令0z ∆→,则0Q →,于是有()()1()()lim.2π()z Cf z z f z f f z d z iz ξξξ∆→+∆-'==∆-⎰假设n =k 时的情形成立,证明n =k +1时的情形成立.证明方法与n =1时的情形相似,但证明过程稍微复杂,这里就不证明了.这个定理实际上说明了解析函数具有无穷可微性.即 定理3.8 若f (z )为定义在区域D 内的解析函数,则在D 内其各阶导数都存在并且解析.换句话说,解析函数的导数也是解析函数.由解析函数的无穷可微性,我们可以得到判断函数在区域内解析的又一个充要条件.定理3.9 函数f (z )=u (x ,y )+iv (x ,y )在区域D 内解析的充要条件是(1),,,x y x y u u v v 在D 内连续;(2)(,),(,)u x y v x y 在D 内满足柯西-黎曼方程.证明:充分性即是定理2.8.下面证明必要性. 条件(2)的必要性由定理2.7给出.再来看条件(1),由于解析函数的导数仍然是解析函数,所以f '(z )在D 内解析,从而在D 内连续.而()x x y y f z u iv v iu '=+=-,所以,,,x y x y u u v v 在D 内连续.下面我们来看高阶导数公式的应用.高阶导数公式(3.13)可改写为()1()2πd ().()!n n Cf i f z z n ξξξ+=-⎰(3.14)可通过此式计算某些复变函数的积分.例3.11 求积分的1e d ()zn Cz ξξ+-⎰值, 其中C 为: 226x y y +=. 解:226x y y +=可化为22(3)9x y +-=,即|z -3i|=3. 被积函数2e π2z i z ⎛⎫- ⎪⎝⎭在C 的内部有一个奇点π2iz =,由(3.14)式有 π/22π/2e 2πe 2π2π.2π(e )π2zi z z i Ci i i i i z ====⋅=-'⎛⎫- ⎪⎝⎭⎰例3.12 求积分32cos πd (1)Czz z z -⎰的值,其中C 为: |z |=2.解 被积函数32cos π(1)zz z -在C 的内部有两个奇点z =0和z =1,作两条闭曲线C 1和C 2互不相交且互不包含,分别包围奇点z =0和z =1,且两曲线所围区域全含于C 的内部,则根据复合闭路定理3.5和高阶导数公式(3.14),有1212323232233223022cos πcos πcos πd d d (1)(1)(1)cos π1cos π1d d (1)(1)2πcos πcos π2π2π32!(1)(6π)π6π(12π)π.CC C C C z z z z zz z z z z z z z z z z z z z z z z i z z i i z z i i i ===+---=⋅+⋅--'''⎛⎫⎛⎫=++⋅ ⎪⎪-⎝⎭⎝⎭=-+=-⎰⎰⎰⎰⎰§3.4 解析函数与调和函数的关系根据解析函数的导数仍是解析函数这个结论,我们来讨论解析函数与调和函数的关系. 定义3.3 在区域D 内具有二阶连续偏导数并且满足拉普拉斯方程22220x yϕϕ∂∂+=∂∂ 的二元实函数(,)x y ϕ称为在D 内的调和函数.调和函数是流体力学、电磁学和传热学中经常遇到的一类重要函数.定理3.10 任何在区域D 内解析的函数f (z )=u (x ,y )+iv (x ,y ),它的实部u (x ,y )和虚部v (x ,y )都是D 内的调和函数.证明 由柯西-黎曼方程有,.v u v x y y xϕ∂∂∂∂==-∂∂∂∂ 于是222222,.u v u v x y x y x y∂∂∂∂==-∂∂∂∂∂∂ 由定理3.8可知,u (x ,y )与v (x ,y )具有任意阶连续偏导,所以22.v vy x x y∂∂=∂∂∂∂ 从而22220.u vx y ∂∂+=∂∂ 同理可证22220.v vx y∂∂+=∂∂ 即u (x ,y )与v (x ,y )都是调和函数.使u (x ,y )+iv (x ,y )在区域D 内构成解析函数的调和函数v (x ,y )称为u (x ,y )的共轭调和函数.或者说,在区域D 内满足柯西-黎曼方程u x =v y ,v x =-u y 的两个调和函数u 和v 中,v 称为u 的共轭调和函数.注意:u 与v 的关系不能颠倒,任意两个调和函数u 与v 所构成的函数u +iv 不一定就是解析函数.例如,f (z )=z 2=x 2-y 2+2xyi ,其中实部u =x 2-y 2,虚部v =2xy .由于f (z )=z 2解析,显然v =2xy 是u =x 2-y 2的共轭调和函数.但是v x =2y ,u y =-2y .因此以v 作为实部、u 作为虚部的函数g (z )=v +iu 不解析.下面介绍已知单连通域D 内的解析函数f (z )=u +iv 的实部或虚部,求f (z )的方法. 这里仅对已知实部的情形进行说明,关于已知虚部求f (z )的方法可以类似得到. (1) 偏积分法利用柯西-黎曼方程(2.5)先求得v 对y 的偏导v y =u x ,此式关于y 积分得d ()uv y g x x ∂=+∂⎰,然后两边对x 求偏导,由v x =-u y ,于是有d ().y uu y g x x x∂∂'-=+∂∂⎰ 从而()d .-d u u g x x C y x x x ∂∂∂⎛⎫=+- ⎪∂∂∂⎝⎭⎰⎰故d d .-d u u u v y x C y x x x x ∂∂∂∂⎛⎫=++- ⎪∂∂∂∂⎝⎭⎰⎰⎰ 例3.13 已知u (x ,y )=2(x -1)y , f (2)=-i ,求其共轭调和函数,并写出f (z )的形式.解 由柯西-黎曼方程(2.5),有v y =u x =2y ,此式两边关于y 积分:2d ()().uv y g x y g x x∂=+=+∂⎰而(),x v g x '=又2(1),x y v u x =-=-所以2()2(1)d 2,g x x x x x C =-=-+⎰其中C 为实常数. 于是222.v y x x C =-++从而22()2(1)(2).f z x y i y x x C =-+-++由条件 f (2)=-i ,得C =-1,故22222()2(1)(21)(22()1)(1).f z x y i y x x i x y ixy x iy i z =-+-+-=--+-++=-- (2) 线积分法利用柯西-黎曼方程(2.5)有d d d d d x y y x v v x v y u x u y =+=-+,故00(,)(,)d d .x y y x x y v u x u y C =-++⎰由于该积分与积分路径无关,因此可选取简单路径(如折线)进行计算.其中(x 0,y 0)为区域D 中的点.以例3.13进行说明,u x =2y , u y =2x -2 .取(x 0,y 0)=(0,0),路径为从(0,0)到(x ,0)的直线段再从(x ,0)到(x ,y )的直线段.于是(,)(0,0)22(22)d 2d (22)d 2d 2.x y yxv x x y y Cx x y x C x x y C =-++=-++=-++⎰⎰⎰以下同前.(3) 不定积分法根据柯西-黎曼方程(2.5)及解析函数的导数公式(2.9)有().x x x y f z u iv u iu '=+=-.将x y u iu -表示成z 的函数h (z ),于是()()d .f z h z z C =+⎰还是以例3.13进行说明,2,2 2.x y u y u x ==-()2(22)2(1)2(1).f z y i x i x iy i z '=--=-+-=--从而2()2(1)d 2.f z i z z C iz iz C =--+=-++⎰由条件 f (2)=-i ,得C =-i ,故2()(1).f z i z =--小 结复变函数的积分定义与微积分中定积分的定义在形式上十分相似,只是被积函数由后者的一元实函数换成了前者的复变函数,积分区间[a ,b ]换成了平面区域内的一条光滑有向曲线.复变函数的积分值不仅与积分曲线的起点和终点有关,而且一般也与积分路径有关.这些特点与微积分中第二类曲线积分相似,因而具有与第二类曲线积分类似的性质.计算复变函数的积分有两个基本方法:(1) 若被积函数为f (z )=u (x ,y )+iv (x ,y ),积分曲线为C ,则()d d d d d .C C Cf z z u x v y i v x v y =-++⎰⎰⎰ (2) 参数方程法. 设积分曲线C 的参数方程为()()z z t a t b =≤≤,则()d (())()d .bC af z z f z t z t t '=⎰⎰ 解析函数积分的基本定理主要包括柯西-古萨定理、柯西积分公式、高阶导数公式及它们的一些推论.柯西-古萨定理指在单连通域D 内解析的函数f (z )沿该区域内任一条闭曲线C 的积分为零,即()d 0C f z z =⎰.由此定理可以得到一个重要推论:在单连通域D 内解析的函数f (z )沿该区域内任一条曲线积分与路径无关.复变函数与实函数一样也有原函数的概念,并且任何两个原函数之间仅相差一个常数.基于此,对于单连通域内的解析函数有类似于实函数的牛顿-莱布尼兹公式.即1010()d ()()z z f z z z z ϕϕ=-⎰,其中f (z )为单连通域D 内的解析函数,()z ϕ为f (z )的一个原函数,01,z z D ∈分别为积分曲线的起点和终点.复合闭路定理是柯西-古萨定理的推广,即若函数f (z )在复闭路C =C 0+C 1-+C 2-+…+C n-及其所围成的多连通区域内解析,则 01()d ()d ,k nk C C f z z f z z ==∑⎰⎰ 也就是0()d 0C f z z =⎰.柯西积分公式1()()d 2πf f z i z ξξξ=-⎰ 与高阶导数公式1!()()d , 1,2,2π()n n n f z f z n i z ξξ+==-⎰是复变函数两个十分重要的公式,它们都是计算积分的重要工具.柯西积分公式反映了解析函数在其解析区域边界上的值与区域内部各点处之间的密切关系,而高阶导数公式表明解析函数的导数仍是解析函数,即解析函数具有无穷可微性.这是解析函数与实函数的本质区别.下面归纳复变函数积分的计算方法.(1)如果被积函数不是解析函数,那么不论积分路径是否封闭,只能运用上面提到的两种基本计算方法,即化为二元实函数的线积分和参数方程法.(2)如果被积函数是解析函数(包括含有有限个奇点的情形),并且积分路径封闭,那么可以考虑柯西积分公式、高阶导数公式,并常常需要联合运用柯西-古萨定理、复合闭路定理,有时还需将被积函数作变形化为公式中的相应形式.若积分路径不封闭,那么只要被积函数在单连通域内解析,就可用定理3.4进行计算.(3)若被积函数是解析函数(含有有限个或无限个奇点),积分路径封闭,而被积函数不能表示为柯西积分公式和高阶导数公式中所要求的形式,那么就只能用到第五章中的留数方法.解析函数f (z )=u +iv 的虚部v 为实部u 的共轭调和函数,u 与v 的关系不能颠倒,任意两个调和函数u 与v 所构成的函数u+iv 不一定是解析函数.已知单连通域D 内的解析函数f (z )的实部或虚部求f (z )的方法要求掌握,前面已经详细介绍了三种方法,这里不再赘述.重要术语及主题复积分 柯西-古萨定理 复合闭路定理 原函数柯西积分公式 高阶导数公式 调和函数习题三1. 计算积分2()d C x y ix z -+⎰,其中C 为从原点到点1+i 的直线段.2. 计算积分(1)d C z z -⎰,其中积分路径C 为(1) 从点0到点1+i 的直线段;(2) 沿抛物线y =x 2,从点0到点1+i 的弧段.3. 计算积分d C z z ⎰,其中积分路径C 为(1) 从点-i 到点i 的直线段;(2) 沿单位圆周|z |=1的左半圆周,从点-i 到点i ;(3) 沿单位圆周|z |=1的右半圆周,从点-i 到点i .4. 计算积分23d Cz z z -⎰,其中积分路径C 为 (1) 从z =-2到z =2沿圆周|z |=2的上半圆周;(2) 从z =-2到z =2沿圆周|z |=2的下半圆周;(3) 沿圆周|z |=2的正向.5. 计算积分1d (31)C z z z +⎰,其中C 为16z =. 6. 计算积分(e sin )d z C z z z -⎰,其中C 为0a z =>. 7. 计算积分,其中积分路径C 为:12341(1):;23(2):;21(3):;23(4):.2C z C z C z i C z i ===+=-8.利用1d 0,:12C z C z z ==+⎰,证明: π12cos d 0.54cos θθθ+=+⎰ 9. 计算积分1d (1)2C z i z z ⎛⎫+- ⎪⎝⎭⎰,其中C 为|z |=2. 10. 利用牛顿-莱布尼兹公式计算下列积分. π200π211(1)cos d ;(2)e d ;2ln(1)(3)(2)d ;(4)d ;1iz i ii z z z z iz z z z +--+++⎰⎰⎰⎰ 12011tan (5)sin d ;(6)d cos i z z z z z z +⎰⎰ (沿1到i 的直线段) . 11. 求积分2e d 1z C z z +⎰,其中C 为: 12. 计算积分221d 1C z z z z -+-⎰,其中C 为|z |=2. 13. 计算积分41d 1Cz z +⎰,其中C 为222x y x +=.14. 求积分2sin d 9r zz z z =+⎰,其中C 为|z -2i |=2. 15. 求积分()33d d (1)1C z z z z +-⎰,其中r ≠1. 16. 求下列积分的值,其中积分路径C 均为|z |=1. 53020e cos (1)d ;(2)d ;tan /21(3)d ,.()2z C CC z z z z z z z z z z <-⎰⎰⎰17. 计算积分33d d (1)(1)C z z z z -+⎰,其中C 为: (1) 中心位于点z =1,半径为R <2的正向圆周;(2) 中心位于点z =-1,半径为R <2的正向圆周;(3) 中心位于点z =1,半径为R >2的正向圆周;(4) 中心位于点z =-1,半径为R >2的正向圆周.18. 设函数3223()d f z ax bx y cxy y =+++是调和函数,其中a,b,c 为常数.问a,b,c 之间应满足什么关系?19. 验证下列函数为调和函数.3223(1)632;(2)e cos 1(e sin 1).x x x x y xy y y i y ωω=--+=+++ 20. 证明:函数2222,x u x y v x y =-=+都是调和函数,但f (z )=u +iv 不是解析函数. 21. 设u 是调和函数,且不恒为常数,问:(1) u 2是否是调和函数?(2) 对怎样的f ,函数f (u )为调和函数?22. 由下列各已知调和函数,求解析函数f (z )=u +iv :2222(1);(2),(1)0;(3)e (cos sin ),(0)2;(4)arctan ,0.x u x y xy y u f x y v y y x y x y f y v x x=-+==+=+++==> 23.设12()()()()n p z z a z a z a =---,其中(1,2,,)i a i n =各不相同,闭路C 不通过12,,,n a a a ,证明积分1()d 2π()C p z z i p z '⎰ 等于位于C 内的p(z )的零点的个数.24.试证明下述定理(无界区域的柯西积分公式):设f (z )在闭路C 及其外部区域D 内解析,且lim ()z f z A →∞=≠∞,则 (),,1()d ,.2πC f z A z D f A z G i zξξξ-+∈⎧=⎨∈-⎩⎰ 其中G 为C 所围内部区域.。
数学分析 零测集与可求面积集
数学分析(二):多元微积分梅加强副教授南京大学数学系内容提要:内容提要: 零测集;内容提要:零测集;Lebesgue定理;内容提要:零测集;Lebesgue定理; 可求面积集;内容提要:零测集;Lebesgue定理;可求面积集;可求面积集上的积分.设A⊂R2为平面点集.如果任给ε>0,存在至多可数个闭矩形{I i},使得A⊂i≥1I i,且i≥1σ(I i)<ε,则称A为零测集.设A⊂R2为平面点集.如果任给ε>0,存在至多可数个闭矩形{I i},使得A⊂i≥1I i,且i≥1σ(I i)<ε,则称A为零测集.有限点集为零测集;零测集的子集仍为零测集;可数个零测集之并仍为零测集;设A⊂R2为平面点集.如果任给ε>0,存在至多可数个闭矩形{I i},使得A⊂i≥1I i,且i≥1σ(I i)<ε,则称A为零测集.有限点集为零测集;零测集的子集仍为零测集;可数个零测集之并仍为零测集; 平面上的直线是零测集;设A⊂R2为平面点集.如果任给ε>0,存在至多可数个闭矩形{I i},使得A⊂i≥1I i,且i≥1σ(I i)<ε,则称A为零测集.有限点集为零测集;零测集的子集仍为零测集;可数个零测集之并仍为零测集; 平面上的直线是零测集;设φ为[a,b]中的一元可积函数,则其图像graph(φ)={(x,φ(x))∈R2|x∈[a,b]}为零测集.设f:A→R为有界函数,x∈A.f在x处的振幅定义为ω(f,x)=limsup{|f(x1)−f(x2)|:x1,x2∈B r(x)∩A}.r→0+易见,f在x处连续当且仅当ω(f,x)=0.设f:A→R为有界函数,x∈A.f在x处的振幅定义为ω(f,x)=limr→0+sup{|f(x1)−f(x2)|:x1,x2∈B r(x)∩A}.易见,f在x处连续当且仅当ω(f,x)=0.设δ>0,记Dδ={x∈A|ω(f,x)≥δ},则f的间断点(不连续点)全体为D f=∞n=1D1n.设f:A→R为有界函数,x∈A.f在x处的振幅定义为ω(f,x)=limr→0+sup{|f(x1)−f(x2)|:x1,x2∈B r(x)∩A}.易见,f在x处连续当且仅当ω(f,x)=0.设δ>0,记Dδ={x∈A|ω(f,x)≥δ},则f的间断点(不连续点)全体为D f=∞n=1D1n.有了这些铺垫,我们就有一元函数相对应的Lebesgue定理:设f:A→R为有界函数,x∈A.f在x处的振幅定义为ω(f,x)=limr→0+sup{|f(x1)−f(x2)|:x1,x2∈B r(x)∩A}.易见,f在x处连续当且仅当ω(f,x)=0.设δ>0,记Dδ={x∈A|ω(f,x)≥δ},则f的间断点(不连续点)全体为D f=∞n=1D1n.有了这些铺垫,我们就有一元函数相对应的Lebesgue定理:设f为矩形I中定义的有界函数.则f可积当且仅当f的间断点集D f为零测集.为了研究函数在一般集合(不必为矩形)中的可积性问题,我们先引进可求面积集的概念.为了研究函数在一般集合(不必为矩形)中的可积性问题,我们先引进可求面积集的概念.设A⊂R2为平面点集,特征函数χA:R2→R定义为χA(x)=1,x∈A, 0,x/∈A.为了研究函数在一般集合(不必为矩形)中的可积性问题,我们先引进可求面积集的概念.设A⊂R2为平面点集,特征函数χA:R2→R定义为χA(x)=1,x∈A, 0,x/∈A.设A为有界集合,I为包含A的矩形.如果A的特征函数χA在I中可积,则称A 为可求面积集,其面积σ(A)定义为χA在I中的积分.为了研究函数在一般集合(不必为矩形)中的可积性问题,我们先引进可求面积集的概念.设A⊂R2为平面点集,特征函数χA:R2→R定义为χA(x)=1,x∈A, 0,x/∈A.设A为有界集合,I为包含A的矩形.如果A的特征函数χA在I中可积,则称A 为可求面积集,其面积σ(A)定义为χA在I中的积分.有界集合A是否可求面积以及面积的大小与定义中矩形I的选取无关.如果A 本身就是一个矩形,则按此定义给出的面积和矩形的面积公式给出的面积相同.为了研究一个有界集合是否可求面积,我们用Lebesgue定理时需要研究特征函数的间断点.为了研究一个有界集合是否可求面积,我们用Lebesgue定理时需要研究特征函数的间断点.为此我们引进集合的内点、外点、边界点等概念.为了研究一个有界集合是否可求面积,我们用Lebesgue定理时需要研究特征函数的间断点.为此我们引进集合的内点、外点、边界点等概念.设A⊂R n,x0∈R n.如果存在开球B r(x0)⊂A,则称x0为A的内点,内点的全体记为int A或˚A,称为A的内部;为了研究一个有界集合是否可求面积,我们用Lebesgue定理时需要研究特征函数的间断点.为此我们引进集合的内点、外点、边界点等概念.设A⊂R n,x0∈R n.如果存在开球B r(x0)⊂A,则称x0为A的内点,内点的全体记为int A或˚A,称为A的内部;如果存在开球B r(x0)⊂A c,则称x0为A的外点;为了研究一个有界集合是否可求面积,我们用Lebesgue定理时需要研究特征函数的间断点.为此我们引进集合的内点、外点、边界点等概念.设A⊂R n,x0∈R n.如果存在开球B r(x0)⊂A,则称x0为A的内点,内点的全体记为int A或˚A,称为A的内部;如果存在开球B r(x0)⊂A c,则称x0为A的外点;如果每一个开球B r(x0)中都既有A中的点,也有不属于A中的点,则称x0为A 的边界点,边界点的全体记为∂A,称为A的边界.为了研究一个有界集合是否可求面积,我们用Lebesgue定理时需要研究特征函数的间断点.为此我们引进集合的内点、外点、边界点等概念.设A⊂R n,x0∈R n.如果存在开球B r(x0)⊂A,则称x0为A的内点,内点的全体记为int A或˚A,称为A的内部;如果存在开球B r(x0)⊂A c,则称x0为A的外点;如果每一个开球B r(x0)中都既有A中的点,也有不属于A中的点,则称x0为A 的边界点,边界点的全体记为∂A,称为A的边界.int A∪∂A是闭集,记为¯A,称为A的闭包.设A⊂R2,容易看到特征函数χA的间断点集就是A的边界∂A.设A⊂R2,容易看到特征函数χA的间断点集就是A的边界∂A.因此,设A有界集合,则A可求面积当且仅当其边界∂A为零测集.特别地,当A 可求面积时,其闭包¯A也可求面积.设A⊂R2,容易看到特征函数χA的间断点集就是A的边界∂A.因此,设A有界集合,则A可求面积当且仅当其边界∂A为零测集.特别地,当A 可求面积时,其闭包¯A也可求面积.设A是可求面积的有界集合,f:A→R为A中定义的有界函数,将f零延拓为R2中的函数f A,如果f A在包含A的I中可积,则称f在A中可积,其积分定义为f A在I中的积分,即A f=If A.设A⊂R2,容易看到特征函数χA的间断点集就是A的边界∂A.因此,设A有界集合,则A可求面积当且仅当其边界∂A为零测集.特别地,当A 可求面积时,其闭包¯A也可求面积.设A是可求面积的有界集合,f:A→R为A中定义的有界函数,将f零延拓为R2中的函数f A,如果f A在包含A的I中可积,则称f在A中可积,其积分定义为f A在I中的积分,即A f=If A.这个定义也和矩形I的选取无关.当A本身就是矩形时,这个定义和矩形中积分的定义是一致的.设A⊂R2,容易看到特征函数χA的间断点集就是A的边界∂A.因此,设A有界集合,则A可求面积当且仅当其边界∂A为零测集.特别地,当A 可求面积时,其闭包¯A也可求面积.设A是可求面积的有界集合,f:A→R为A中定义的有界函数,将f零延拓为R2中的函数f A,如果f A在包含A的I中可积,则称f在A中可积,其积分定义为f A在I中的积分,即A f=If A.这个定义也和矩形I的选取无关.当A本身就是矩形时,这个定义和矩形中积分的定义是一致的.f可积当且仅当f在A中的间断点集为零测集.。
数学各种函数名称
数学各种函数名称
数学中的各种函数名称有很多,以下是一些常见的函数类型及其名称:
1.常函数:y=c
2.幂函数:y=x^n
3.指数函数:y=a^x
4.对数函数:y=log_a|x|
5.三角函数:
1.正弦函数:y=sinx
2.余弦函数:y=cosx
3.正切函数:y=tanx
4.余切函数:y=cotx
5.正割函数:y=secx
6.余割函数:y=cscx
6.反三角函数:
1.反正弦函数:y=arcsinx
2.反余弦函数:y=arccosx
3.反正切函数:y=arctanx
4.反余切函数:y=arccotx
7.其他函数:
1.abs:绝对值函数
2.sqrt:平方根函数
3.ceiling:向上取整函数
4.floor:向下取整函数
5.trunc:截断函数
6.round:四舍五入函数
7.signif:符号函数
8.sinh:双曲正弦函数
9.cosh:双曲余弦函数
10.tanh:双曲正切函数
11.coth:双曲余切函数
12.asinh:双曲反正弦函数
13.acosh:双曲反余弦函数
14.atanh:双曲反正切函数
15.acoth:双曲反余切函数
以上只是部分数学函数的名称,实际上数学中的函数种类繁多,每一种都有其特定的定义和性质。
初高中所有函数的公式及图像大全,八年级函数公式大全及图解
初高中所有函数的公式及图像大全,八年级函数公式大全及图解初高中所有函数的公式及图像大全?初中生学习数学应该熟练掌握基本公式,下面总结了初中数学公式,希望能够帮助大家学习数学。
初中数学所有公式总结1一元二次方程求解公式二次函数表达式ax²+bx+c=0;(a≠0),一元二次方程可以参考二次函数进行变形。
求解一元二次方程,我们可以先做出抛物线,然后看与x轴交点。
△=b²-4ac;求解公式:x=(-b±v△)/2a;2因式分解常用公式1、平方差公式:a²-b²=(a+b)(a-b)。
2、完全平方公式:a²+2ab+b²=(a+b)²。
3、立方和公式:a³+b³=(a+b)(a²-ab+b²)。
4、立方差公式:a³-b³=(a-b)(a²+ab+b²)。
5、完全立方和公式:a³+3a²b+3ab²+b³=(a+b)³。
6、完全立方差公式:a³-3a²b+3ab²-b³=(a-b)³。
7、三项完全平方公式:a²+b²+c²+2ab+2bc+2ac=(a+b+c)²。
8、三项立方和公式:a³+b³+c³-3abc=(a+b+c)(a²+b²+c²-ab-bc-ac)。
3三角函数公式两角和公式sin(a+b)=sinacosb+cosasinbsin(a-b)=sinacosb-sinbcosacos(a+b)=cosacosb-sinasinbcos(a-b)=cosacosb+sinasinbtan(a+b)=(tana+tanb)/(1-tanatanb) tan(a-b)=(tana-tanb)/(1+tanatanb) ctg(a+b)=(ctgactgb-1)/(ctgb+ctga) ctg(a-b)=(ctgactgb+1)/(ctgb-ctga)倍角公式tan2a=2tana/(1-tan2a)ctg2a=(ctg2a-1)/2ctgacos2a=cos2a-sin2a=2cos2a-1=1-2sin2a 半角公式sin(a/2)=√((1-cosa)/2)sin(a/2)=-√((1-cosa)/2)cos(a/2)=√((1+cosa)/2)cos(a/2)=-√((1+cosa)/2)tan(a/2)=√((1-cosa)/((1+cosa))tan(a/2)=-√((1-cosa)/((1+cosa))ctg觉得有用点个赞吧觉得有用点个赞吧八年级函数公式大全?三角函数公式两角和公式sin(a+b)=sinacosb+cosasinbsin(a-b)=sinacosb-sinbcosacos(a+b)=cosacosb-sinasinbcos(a-b)=cosacosb+sinasinbtan(a+b)=(tana+tanb)/(1-tanatanb) tan(a-b)=(tana-tanb)/(1+tanatanb)ctg(a+b)=(ctgactgb-1)/(ctgb+ctga) ctg(a-b)=(ctgactgb+1)/(ctgb-ctga)倍角公式tan2a=2tana/(1-tan2a) ctg2a=(ctg2a-1)/2ctgacos2a=cos2a-sin2a=2cos2a-1=1-2sin2a半角公式sin(a/2)=√((1-cosa)/2)sin(a/2)=-√((1-cosa)/2)cos(a/2)=√((1+cosa)/2)cos(a/2)=-√((1+cosa)/2)tan(a/2)=√((1-cosa)/((1+cosa)) tan(a/2)=-√((1-cosa)/((1+cosa))ctg(a/2)=√((1+cosa)/((1-cosa)) ctg(a/2)=-√((1+cosa)/((1-cosa))和差化积2sinacosb=sin(a+b)+sin(a-b) 2cosasinb=sin(a+b)-sin(a-b)2cosacosb=cos(a+b)-sin(a-b) -2sinasinb=cos(a+b)-cos(a-b)sina+sinb=2sin((a+b)/2)cos((a-b)/2cosa+cosb=2cos((a+b)/2)sin((a-b)/2)tana+tanb=sin(a+b)/cosacosbtana-tanb=sin(a-b)/cosacosbctga+ctgbsin(a+b)/sinasinb -ctga+ctgbsin(a+b)/sinasinb 函数的种类及公式?一次函数 (1)当k0时,y随x的增大而增大;(2)当k0时,y随x的增大而减小.正比例函数与x、y轴交点是原点(0,0)。
数学函数公式大全
数学函数公式大全一、代数函数1. 线性函数:y = ax + b,其中a和b是常数,x是自变量。
2. 二次函数:y = ax^2 + bx + c,其中a、b和c是常数,x是自变量。
3. 三次函数:y = ax^3 + bx^2 + cx + d,其中a、b、c和d是常数,x是自变量。
4. 指数函数:y = a^x,其中a是常数,x是自变量。
5. 对数函数:y = log_a(x),其中a是常数,x是自变量。
二、三角函数1. 正弦函数:y = sin(x),其中x是自变量。
2. 余弦函数:y = cos(x),其中x是自变量。
3. 正切函数:y = tan(x),其中x是自变量。
4. 余切函数:y = cot(x),其中x是自变量。
5. 正割函数:y = sec(x),其中x是自变量。
6. 余割函数:y = csc(x),其中x是自变量。
三、反三角函数1. 反正弦函数:y = arcsin(x),其中x是自变量。
2. 反余弦函数:y = arccos(x),其中x是自变量。
3. 反正切函数:y = arctan(x),其中x是自变量。
4. 反余切函数:y = arccot(x),其中x是自变量。
5. 反正割函数:y = arcsec(x),其中x是自变量。
6. 反余割函数:y = arccsc(x),其中x是自变量。
四、双曲函数1. 双曲正弦函数:y = sinh(x),其中x是自变量。
2. 双曲余弦函数:y = cosh(x),其中x是自变量。
3. 双曲正切函数:y = tanh(x),其中x是自变量。
4. 双曲余切函数:y = coth(x),其中x是自变量。
5. 双曲正割函数:y = sech(x),其中x是自变量。
6. 双曲余割函数:y = csch(x),其中x是自变量。
数学函数公式大全五、积分函数1. 不定积分:∫f(x)dx,其中f(x)是函数,x是自变量。
2. 定积分:∫a^bf(x)dx,其中f(x)是函数,a和b是积分区间。
§3.1.4-3.2.2_牛-莱公式
n[1 ( n )2 ]
n
n
n
i
=
lim
n
i
n =1
[1
n (i
)2
]
1 n
n
上式右端和式的极限可以看作函数f (x) =
x
在
1 x2
[0, 1] 上的定积分。将区间[0, 1] 等分为n 个小区间
[i -1, n
i ] (i = 1, n
2, ,
n
),x i
=
1 n
并取i
=
i n
。
∵f (x) = x 在[0, 1] 上连续,从而在[0, 1] 上可积。 1 x2
导数(或微分)的基本公式,即可得相应的积分基本公式:
(1)d (C) = 0,
(2)d ( x1 ) = xdx, 1
(3)d (ln x ) = 1 dx, x
(4)d
(arctan
x)
=
1 1 x
2
dx,
(5)d(arcsinx)= 1 dx, 1- x2
(6)d ( a x ) = a xdx, ln a
i
=
F(b) -
F(a)
。
注:定理的条件可减弱为f (x) 在[a, b] 上可积且 存在[a, b] 上的函数F(x) ,使得
① F(x) 在[a, b] 上连续;
② F(x) 在 (a, b) 内可导且 F(x) = f (x) 。
定义 设f (x) 是定义在区间 I 上的函数, 若x I ,存在函数F(x) ,使得 F(x) = f (x) (或dF(x) = f (x)dx ),
f (x) 的全体原函数可表示为F(x) C (C 为任意常数),即
可积和积分存在的区别_概述说明以及解释
可积和积分存在的区别概述说明以及解释1. 引言1.1 概述在数学领域中,可积和积分是两个重要的概念,它们在函数论、实变函数和测度论等领域中具有广泛的应用。
虽然可积和积分看似相似,但它们之间存在着一些重要的区别。
1.2 文章结构本文将对可积和积分的区别进行探讨,并解释两个概念的内涵。
文章结构如下所示:引言部分主要介绍本文的研究目的以及文章结构。
第二部分将详细阐述可积和积分的区别。
第三部分将解释可积函数与积分存在的含义。
第四部分将提供一些示例和应用案例来说明可积和积分在数学和物理学领域中的应用情况。
最后,结论部分将总结可积和积分存在之间的区别与联系,并对未来研究方向和发展趋势进行展望。
1.3 目的本文旨在深入探讨可积和积分这两个概念之间的差异,并准确解释它们各自所代表的意义。
通过对这些概念进行比较与对比,我们可以更好地理解它们在数学和物理学中的应用,并为未来研究提供一定的指导。
这将有助于澄清人们对可积和积分的认识,为相关领域的进一步探索奠定基础。
2. 可积和积分的区别2.1 可积的定义和特点在数学中,可积是指某个函数在给定区间上具有定积分的性质。
一个函数在区间[a, b]上可积,意味着该函数在该区间上存在一个确定的实数值,该实数值被称为该函数在该区间上的定积分。
可积函数具有以下特点:- 连续性:可积函数在其定义域内应是连续的。
- 有界性:可积函数应在给定区间内有界。
- 无穷小偏差:当划分区间趋近于零时,可积函数与所用矩形面积之差应趋近于零。
2.2 积分存在的概念和属性对于一个函数f(x),当存在一个确定的实数A使得对于任意给定ε> 0,存在正实数δ> 0,使得对任何划分x1, x2, ..., xn,只要其中最大的子段长度小于δ,则计算出来的Riemann和满足|R(f) - A| < ε(其中R(f)代表用Riemann和逼近定积分)时,我们称A为f(x)在[a,b]上的定积分,并记作∫[a,b] f(x)dx = A。
积分不等式的证明方法
积分不等式的证明方法摘要在高等数学的学习中,积分不等式的证明一直是一个无论在难度还是技巧性方面都很复杂的内容.对积分不等式的证明方法进行研究不但能够系统的总结其证明方法,还可以更好的将初等数学的知识和高等数学的结合起来.并且可以拓宽我们的视野、发散我们的思维、提高我们的创新能力,因此可以提高我们解决问题的效率.本文主要通过查阅有关的文献和资料的方法,对其中的内容进行对比和分析,并加以推广和补充,提出自己的观点.本文首先介绍了两个重要的积分不等式并给出了证明,然后分类讨论了证明积分不等式的八种方法,即利用函数的凹凸性、辅助函数法、利用重要积分不等式、利用积分中值定理、利用积分的性质、利用泰勒公式、利用重积分、利用微分中值定理,最后对全文进行了总结.关键词:积分不等式,定积分,中值定理,柯西-施瓦兹不等式,单调性ABSTRACTWhen we study mathematics,the proof of integer inequality has always been seen as a complex content both in difficulty and skill.In this paper the proof methods of integral inequality are organized systematically to combine the knowledge of elementary mathematics and higher mathematics better. Also our horizons can be broadened,thinking can be divergencied and innovation ability can be improved,so as to improve our efficiency of problem solving.The paper is completed by referring to relevant literature,comparing and analysing related content, complementing and promoting related content.In this paper ,two important integral inequalities along with their proof methods are given first,and then eight approaches to proof integral inequalities are introduced,such as concavity and convexity of function,method of auxiliary function,important integral inequality,integral mean value theorem, integral property, Taylor formula,double integral and differential mean value theorem.Finally,the full paper is summarized.Key words: Integral Inequality, Definite Integral,Mean Value Theorem,Cauchy-Schwarz Inequality, Monotonicty1.引言不等式在数学中有着重要的作用,在数量关系上,尽管不等关系要比相等关系更加普遍的存在于人们的现实世界里,然而人们对于不等式的认识要比方程迟的多.直到17世纪之后,不等式的理论才逐渐的成长起来,成为数学基础理论的一个重要组成部分.众所周知,不等式理论在数学理论中有着重要的地位,它渗透到了数学的各个领域中,因而它是数学领域中的一个重要的内容.其中积分不等式更是高等数学中的一个重要的内容.实际上关于定积分的概念起源于求平面图形的面积和一些其他的实际问题.有关定积分的思想在古代就有了萌芽,比如在公元前240年左右的古希腊时期,阿基米德就曾经用求和的方法计算过抛物线弓形和其他图形的面积.在历史上,积分观念的形成要比微分早.然而直到17世纪后半期,较为完整的定积分理论还没有能够形成,一直到Newton-Leibniz公式建立之后,有关计算的问题得以解决后,定积分才迅速的建立并成长起来.本论文研究的积分不等式结合了定积分以及不等式.关于它的证明向来是高等数学中的一个重点及难点.对积分不等式的证明方法进行研究,并使其系统化,在很大程度上为不同的数学分支之间架起了桥梁.深刻的理解及掌握积分不等式的证明方法可以提升我们对其理论知识的理解,同时可以提高我们的创造思维和逻辑思维.在论文的第三部分中对积分不等式的证明方法进行了详细的阐述.分别从利用函数的凹凸性、辅助函数法、利用重要积分不等式、利用积分中值定理、利用泰勒公式、利用重积分、利用微分中值定理、利用定积分的性质这八个方面给出了例题及证明方法.这样通过几道常见的积分不等式的证明题,从不同的角度,用不同的方法研究、分析了积分不等式的特点,归纳总结出了其证明方法.同时论文中也对有的题目给出了多种证明方法,这启示我们对于同一道积分不等式而言它的证明方法往往不止一种,我们需要根据实际情况采用合适的方法去证明,从而达到将问题化繁为简的目的.2.几个重要的积分不等式在高等数学的学习中我们遇到过许多重要的积分不等式,如Cauchy-Schwarz 不等式,Young 不等式等.它们的形式及证明方法都有很多种,在这一小结中我们将给出这两种积分不等式的证明方法.2.1 Cauchy-Schwarz 不等式无论是在代数还是在几何中Cauchy-Schwarz 不等式的应用都很广泛,它是不同于均值不等式的另一个重要不等式.其形式有在实数域中的、微积分中的、概率空间()P F ,,Ω中的以及n 维欧氏空间中的4种形式.接下来在这一部分中我们将对其在微积分中的形式进行研究.定理2.1[1] 设()f x , ()g x 在[,]a b 上连续,则有[()()b af xg x dx ⎰]2≤{2[()]b af x dx ⎰}⋅ {2[()]bag x dx ⎰}.证明:要证明原不等式成立,我们只需要证()()()()2220bbbaaa fx dx g x dx f x g x dx ⎡⎤⋅-≥⎢⎥⎣⎦⎰⎰⎰ 成立. 设()()()()()222tttaa a F t f x dx g x dx f x g x dx ⎡⎤=⋅-⎢⎥⎣⎦⎰⎰⎰,则只要证()()F b F a ≥成立,由()F t 在[,]a b 上连续,在(),a b 内可导,得()()()()()()()()()22222t t taaaF t f t g x dx g t f x dx f t g t f x g x dx'=+-⎰⎰⎰()()()()()()()()22222ta f t g x f t g t f x g x g t f x dx ⎡⎤=-+⎣⎦⎰()()()()20ta f t g x g t f x dx =-≥⎡⎤⎣⎦⎰.(2.1)由(2.1)式可知()F t 在[,]a b 上递增,由b a >,知()()F b F a >,故原不等式成立. 证毕实际上关于Cauchy-Schwarz 不等式的证明方法有很多,这里我们采用的证明方法是较为普遍的辅助函数法,它将要证明的原积分不等式通过移项转变为了判断函数在两个端点处函数值大小的问题.通过观察我们可以进一步发现原Cauchy-Schwarz 不等式能够改写成以下行列式的形式()()()()()()()()0b baabbaaf x f x dxg x f x dx f x g x dxg x g x dx≥⎰⎰⎰⎰,由此我们可以联想到是否可以将它进行推广?答案是肯定的.下面我们将给出Cauchy Schwarz -不等式的推广形式.定理2.2[2] 设()f x ,()g x ,()h x 在[],a b 上可积,则()()()()()()()()()()()()()()()()()()0bbbaaabbbaaabbbaaaf x f x dxg x f x dxh x f x dxf xg x dx g x g x dxh x g x dx f x h x dxg x h x dxh x h x dx≥⎰⎰⎰⎰⎰⎰⎰⎰⎰.证明:对任意的实数1t ,2t ,3t ,有()()()()2123bat f x t g x t h x dx ++⎰()()()222222123bbbaaat f x dx t g x dx t h x dx=++⎰⎰⎰()()()()()()1213232220bbb aaat t f x g x dx t t f x h x dx t t g x h x dx +++≥⎰⎰⎰.注意到关于1t ,2t ,3t 的二次型实际上为半正定二次型, 从而其系数矩阵行列式为()()()()()()()()()()()()()()()2220bbbaaab bba aabbbaaaf x dxg x f x dxh x f x dxf xg x dxgx dxh x g x dx f x h x dx g x h x dxh x dx≥⎰⎰⎰⎰⎰⎰⎰⎰⎰. 证毕以上的推广是将Cauchy-Schwarz 不等式的行列式由二阶推广到了三阶的形式,事实上Cauchy-Schwarz 不等式是一个在很多方面都很重要的不等式,例如在证明不等式,求函数最值等方面.若能灵活的运用它则可以使一些较困难的问题得到解决.下面我们会在第三部分给出Cauchy-Schwarz 不等式及其推广形式在积分不等式证明中的应用.除了Cauchy-Schwarz 不等式之外还有很多重要的积分不等式,例如Young 不等式,相较于Cauchy-Schwarz 不等式我们对Young 不等式的了解比较少,实际上它也具有不同的形式且在现代分析数学中有着广泛的应用.接着我们将对Young 不等式进行一些研究.2.2 Young 不等式Young 不等式,以及和它相关的Minkowski 不等式,HÖlder 不等式,这些都是在现代分析数学中应用十分广泛的不等式,在调和函数、数学分析、泛函分析以及偏微分方程中这三个不等式的身影随处可见,是使用得最为普遍,最为平凡的知识工具.下面我们将给出积分形式的Young 不等式的证明.定理 2.3[3] 设()f x 在[0,]c (0c >)上连续且严格递增,若(0)0f =,[0,]a c ∈且[0,()]b f c ∈,则100()()abf x dx f x dx ab -+≥⎰⎰,其中1f -是f 的反函数,当且仅当()b f a =时等号成立.证明:引辅助函数0()()ag a ab f x dx =-⎰, (2.2)把0b >看作参变量,由于()()g a b f a '=-,且f 严格递增,于是当 10()a f b -<<时,()0g a '>;当 1()a f b -=时,()0g a '=;当 1()a f b ->时,()0g a '<. 因此 当1()a f b -=时,()g a 取到g 的最大值,即()()()()b f g x g a g 1m ax -=≤ (2.3)由分部积分得11()()11(())()()()f b f b g f b bf b f x dx xdf x ----=-=⎰⎰,作代换()y f x =,上面积分变为110(())()bg f b f y dy --=⎰, (2.4)将(2.2)式和(2.4)式代入(2.3)式得110()()()a bbab f x dx f y dy f x dx ---≤=⎰⎰⎰,即10()()a bf x dx f x dx ab -+≥⎰⎰. 证毕3.定积分不等式常见的证明方法关于积分不等式的证明方法较为繁多,难度及技巧性也较大,因此对其进行系统的归纳总结是很有必要的.在这一部分中我们将归纳出利用辅助函数、微分中值定理、重要积分不等式及积分中值定理等证明积分不等式的方法.3.1 利用函数的凹凸性在数学分析以及高等数学中,我们常常会遇到一类特殊的函数—凸函数.凸函数具有重要的理论研究价值和广泛的实际应用,在有些不等式的证明中,若能灵活地利用凸函数的性质往往能够简洁巧妙的解决问题.下面给出一个例子加以说明.定理3.1 若()t ϕ定义在间隔(),m M 内,且()0t ϕ''>,则()t ϕ必为下凸函数.定理3.2 设()f x 在[,]a b 上为可积分函数,而()m f x M ≤≤.又设()t ϕ在间隔m t M ≤≤内为连续的下凸函数,则有不等式()()()11b b a af x dx f x dx b a b aϕϕ⎛⎫≤⎪--⎝⎭⎰⎰.例3.1[4] 设()f x 在[],a b 上连续,且()0f x >,求证:()()()21bba a f x dx dxb a f x ≥-⎰⎰. 证明: 取()u u 1=ϕ, 因为()210u u ϕ'=-<,()320u uϕ''=>,()0>u 即在0u >时,()y u ϕ=为凸函数,故有()()()11b b a a f x dx f x dx b a b a ϕϕ⎛⎫≤ ⎪--⎝⎭⎰⎰, 即()()1babadxf x b ab a f x dx-≤-⎰⎰,故()()()21b b a a f x dx dx b a f x ≥-⎰⎰. 证毕 在上述的题目中我们可以发现在证明中常常先利用导数来判断函数的凹凸性,然后再利用凹(凸)函数的性质来证明不等式.然而对于实际给出的题目,我们往往需要先构造一个凹(凸)函数,然后才能利用其性质来证明我们所要证明的问题.3.2 辅助函数法辅助函数法是积分不等式证明中的一种非常重要的方法,往往我们会根据不等式的特点,构造与问题相关的辅助函数,考虑在相同的区间上函数所满足的条件,从而得出欲证明的结论.在第二部分中我们用辅助函数法对Cauchy-Schwarz 不等式进行了证明,下面将对用辅助函数法证明积分不等式进行进一步的探讨.[5]设函数()f x 在区间[]0,1上连续且单调递减,证明:对)1,0(∈∀a 时,有: ()10()af x dx a f x dx ≥⎰⎰.证明:令()01()xF x f t dt x =⎰ ()01x <≤,由()x f 连续,得()x F 可导 则()()()02xf x x f t dtF x x ⋅-'=⎰ ()()2f x x f x xξ⋅-⋅=()()f x f x ξ-=, (0)x ξ<<. 因为()f x 在[0,1]上单调减少,而0x ξ<<,有()()f x f ξ<,从而()0F t '<,()F x 在(0,1]上单调减少,则对任意(0,1)a ∈,有()(1)F a F ≥. 即()1001()af x dx f x dx a≥⎰⎰,两边同乘a ,即得()100()a f x dx a f x dx ≥⎰⎰. 证毕 本题根据积分不等式两边上下限的特点,在区间)1,0(上构造了一个辅助函数,进一步我们可以思考对于一般的情形,该题的结论是否依然成立呢?答案是肯定的.设函数()f x 在区间[]0,1上连续且单调递减非负,证明:对)1,0(,∈∀b a ,且10<≤<b a 时,有: ()0()aba a f x dx f x dx b≥⎰⎰. 证明:令()01()xF x f t dt x=⎰,()01x <≤,由()x f 连续,得()x F 可导, 则 ()()()02x f x x f t dtF x x⋅-'=⎰ ()()2f x x f xx ξ⋅-⋅=()()f x f xξ-=,(0)x ξ<<.因为()f x 在[0,1]上单调减少,而0x ξ<<,有()()f x f ξ<,从而()0F t '<,()F x 在(0,1]上单调减少,则对任意10<≤<b a ,有()()F a F b ≥,即()()0011a bf t dt f t dt a b≥⎰⎰. (3.1)由f 非负,可得()()dx x f dx x f bab ⎰⎰≥0. (3.2)结合(3.1)式和(3.2)式可得()()011a ba f x dx f x dx a b≥⎰⎰.即()()0aba a f x dx f x dx b≥⎰⎰. 证毕 [6] 函数()f x 在[,]a b 上连续,且()0>x f 试证:21()()()bbaaf x dx dx b a f x ≥-⎰⎰. 在例3.1中我们给出了本题利用函数的凹凸性证明的过程,在这里我们将给出其利用辅助函数法证明的过程.证明: 构造辅助函数()()()()2xxa adt x f t dt x a f t φ=--⎰⎰, 则 ()()()()()()12xx aa dt x f x f t dt x a f t f x φ'=+⋅--⎰⎰()()()()2xx x aa a f x f t dt dt dt f t f x =+-⎰⎰⎰()()()()20xaf x f t dt f t f x ⎡⎤=+-≥⎢⎥⎣⎦⎰, 所以()x φ是单调递增的,即()()0b a φφ≥=,故()()()21bbaaf x dx dx b a f x ≥-⎰⎰. 证毕 [7]设()x f 在[]b a ,上连续且单调增加,证明:()()⎰⎰+≥babadx x f b a dx x xf 2. 证明: 原不等式即为()()02≥+-⎰⎰baba dx x fb a dx x xf ,构造辅助函数()()()2t ta a a t F t xf x dx f x dx +=-⎰⎰ ,[],t ab ∈, 则()()()()122t a a t F t tf t f x dx f t +'=--⎰ ()()()12t a t a f t f x dx ⎡⎤=--⎢⎥⎣⎦⎰ ()()()()12t a f t f ζ=-- , (),a t ζ∈.因为a t ζ≤≤,()f x 单调增加,所以()0F t '≥.故()F t 在[],a b 上单调递增,且()0F a =, 所以对(,]x a b ∀∈,有()()0F x F a ≥=.当x b =时,()0F b ≥.即()()02bbaaa b xf x dx f x dx +-≥⎰⎰,故原不等式成立, 证毕通过以上几道题目的观察我们可以发现:1.当已知被积函数连续时,我们可以把积分的上限或者是下限作为变量,从而构造一个变限积分,然后利用辅助函数的单调性加以证明.2.辅助函数法实际上是一种将复杂的问题转化为容易解决的问题的方法.在解题时通常表现为不对问题本身求解而是对与问题相关的辅助函数进行求解,从而得出原不等式的结论.3.3 利用重要积分不等式在第2部分中我们给出了Cauchy-Schwarz 不等式以及它的推广形式的证明过程,实际上Cauchy-Schwarz 不等式的应用也很广泛,利用它可以解决一些复杂不等式的证明.在这一小节中我们将通过具体的例子来加以说明它在证明积分不等式中的应用.[8]函数()f x 在[]0,1上一阶可导,()()100f f ==,试证明:()()112214f x dx f x dx '≤⎰⎰.证明:由()()()00xf x f t dt f '=+⎰和()()()11x f x f t dt f '=-+⎰可得()()()()()21222201xx xfx f t dtdt f t dt x f x dx '''=≤≤⎰⎰⎰⎰, 1(0,)2x ⎡⎤∈⎢⎥⎣⎦,()()()()()21111222201(1)x x x fx f t dtdt f t dt x f x dx '''=≤≤-⎰⎰⎰⎰, 1(,1)2x ⎡⎤∈⎢⎥⎣⎦. 因此()()112220018f x dx f x dx '≤⎰⎰,(3.3)()()112210218f x dx f x dx '≤⎰⎰. (3.4) 将(3.3)式和(3.4)式相加即可以得到()()112214f x dx f x dx '≤⎰⎰. 证毕[2]设()f x ,()g x 在[],a b 上可积且满足:()0m f x M <≤≤,()0ba g x dx =⎰,则以下两个积分不等式()()()()()()()22222bb b baaaaf xg x dxf x dxg x dx m b a g x dx ≤--⎰⎰⎰⎰及()()()()()2222bbbaaaM m f x g x dxf x dxg x dx M m -⎛⎫≤ ⎪+⎝⎭⎰⎰⎰成立.证明:取()1h x =,由()0b ag x dx =⎰及定理2.2知()()()()()()()()2200bbbaaab baabaf x dxg x f x dxf x dxf xg x dxg x dx f x dxb a-⎰⎰⎰⎰⎰⎰()()()()()()()()()()222220bbbbbaa a a ab a fx dx g x dx f x dx g x dx b a f x g x dx=-⋅---≥⎰⎰⎰⎰⎰.因此()()()()()()()()222221bbbbbaaaaaf xg x dxfx dx g x dx f x dxg x dx b a≤--⎰⎰⎰⎰⎰. (3.5)由()m f x ≤可知()()()222baf x dxm b a ≥-⎰,因而()()()()()()()22222bbbbaaa a f x g x dxfx dx g x dx m b a g x dx ≤--⎰⎰⎰⎰.由于()0m f x M <≤≤,因此()2222M m M m f x +-⎛⎫⎛⎫-≤ ⎪ ⎪⎝⎭⎝⎭.化简得()()()2f x Mm M m f x +≤+,两边同时积分得 ()()()()2bbaaf x dx Mm b a M m f x dx +-≤+⎰⎰,由算数-几何平均值不等式可知 ()()()()222bbaaf x dx Mm b a f x dx Mm b a ⋅-≤+-⎰⎰,于是()()()()()2224babab a f x dxM m Mmf x dx-+≤⎰⎰.则()()()221bbaaf x dxg x dx b a -⎰⎰()()()()()()2222bbbabaa af x dxfx dx g x dxb a f x dx=-⎰⎰⎰⎰()()()2224bbaaMmf x dxg x dx M m ≥+⎰⎰.(3.6)由式(3.5)和式(3.6)可知()()()()()2222bbbaaaM m f x g x dxf x dxg x dx M m -⎛⎫≤ ⎪+⎝⎭⎰⎰⎰. 证毕以上两道题分别利用了Cauchy-Schwarz 不等式及其推广形式.我们在证明含有乘积及平方项的积分不等式时应用Cauchy-Schwarz 不等式颇为有用,但要注意选取适当的()x f 与()x g ,有时还需对积分进行适当的变形.3.4 利用积分中值定理积分中值定理展现了将积分转化为函数值,或者是将复杂函数积分转变为简单函数积分的方法.其在应用中最重要的作用就是将积分号去掉或者是将复杂的被积函数转化为相比较而言较为简单的被积函数,从而使得问题能够简化.因此合理的利用积分中值定理能够有效的简化问题.下面将通过两道例题来说明.定理 3.3(积分第一中值定理) 若()f x 在[,]a b 上可积且()m f x M ≤≤,则存在[,]u m M ∈使()()ba f x dx ub a =-⎰成立.特别地,当()f x 在[,]a b 上连续,则存在[,]c a b ∈,使()()()baf x dx f c b a =-⎰成立.定理 3.4(积分第一中值定理的推广) 若函数()x f ,()x g 在区间[]b a ,上可积,()x f 连续,()x g 在[]b a ,上不变号,则在积分区间[]b a ,上至少存在一个点ε,使得下式成立()()()()⎰⎰=babadx x g f dx x g x f ε.定理3.5(积分第二中值定理的推广) 若函数()x f ,()x g 在区间[]b a ,上可积,且()x f 为单调函数,则在积分区间[]b a ,上至少存在一个点ε,使得下式成立 ()()()()()()⎰⎰⎰+=εεabbadx x g b f dx x g a f dx x g x f .设函数()f x 在区间[]0,1上连续单调递减,证明:对)1,0(,∈∀b a ,且10<≤<b a 时,有()0()aba a f x dx f x dx b≥⎰⎰,其中()0≥x f . 用辅助函数法证明的过程,实际上这道题目还可以用积分第一中值定理来证明,下面我们将给出证明过程.证明:由积分中值定理知 ()()10af x dx f a ξ=⋅⎰, []10,a ξ∈; ()()()2baf x dx f b a ξ=⋅-⎰,[]2,a b ξ∈;因为12ξξ≤,且()f x 递减,所以有()()12f f ξξ≥,即 ()()()0111a b ba a f x dx f x dx f x dx ab a b ≥≥-⎰⎰⎰, 故 ()()0a baa f x dx f x dxb ≥⎰⎰. 证毕设()x f 在[]b a ,上连续且单调增加,证明:()()⎰⎰+≥babadx x f b a dx x xf 2. 同样地,在之前的证明中我们给出了此题利用辅助函数法证明的过程,仔细分析观察这道题目我们还可以发现它可以用积分第一、第二中值定理的推广形式来证明,接着我们将给出此题在这两种方法下的证明过程.证法一证明: ()2ba ab x f x dx +⎛⎫- ⎪⎝⎭⎰()()2222a bb a b a a b a b x f x dx x f x dx ++++⎛⎫⎛⎫=-+- ⎪ ⎪⎝⎭⎝⎭⎰⎰. 由定理3.4可知,分别存在1,2a b a ξ+⎛⎫∈ ⎪⎝⎭,2,2a b b ξ+⎛⎫∈⎪⎝⎭, 使得 ()()22122a ba baa ab a b x f x dx f x dx ξ++++⎛⎫⎛⎫-=- ⎪ ⎪⎝⎭⎝⎭⎰⎰,()()22222b b a b a b a b a b x f x dx f x dx ξ++++⎛⎫⎛⎫-=- ⎪ ⎪⎝⎭⎝⎭⎰⎰, 因此()()()()()22128ba ab a b x f x dx f f ξξ-+⎛⎫-=- ⎪⎝⎭⎰,由于()x f 在[]1,0单调增加的,且1201ξξ<<<,所以有 ()()210f f ξξ-≥.从而()02ba ab x f x dx +⎛⎫-≥ ⎪⎝⎭⎰,故原不等式成立, 证毕 证法二证明:由定理3.5可知:存在(),a b ξ∈,使得 ()2ba ab x f x dx +⎛⎫- ⎪⎝⎭⎰()()22b a a b a b f a x dx f b x dx ξξ++⎛⎫⎛⎫=-+- ⎪ ⎪⎝⎭⎝⎭⎰⎰ ()()()()f a f b a b ξξ=---⎡⎤⎡⎤⎣⎦⎣⎦.由()x f 单调增加及(),a b ξ∈知()()0f a f b -<,0a ξ->,0b ξ-<.可得()02ba ab x f x dx +⎛⎫-≥ ⎪⎝⎭⎰,故原不等式成立, 证毕 通过上述两道题目我们可以了解到积分中值定理在实际应用中起到的重要作用就是能够使积分号去掉,或者是将复杂的被积函数转化为相对而言较简单的被积函数,从而使问题得到简化.因此,对于证明有关结论中包含有某个函数积分的不等式,或者是要证明的结论中含有定积分的,可以考虑采用积分中值定理,从而去掉积分号,或者化简被积函数.3.5 利用积分的性质关于积分的性质在高等数学的学习中我们已经学到了很多,我们可以利用它来证明许多问题.在这里我们主要利用定积分的比较定理和绝对值不等式等性质对问题进行分析处理.[9]设()f x 在[]0,1上导数连续,试证:[]0,1x ∀∈,有()()()10f x f x f x dx ⎡⎤'≤+⎣⎦⎰. 证明:由条件知()f x 在[]0,1上连续,则必有最小值,即存在[]00,1x ∈,()()0f x f x ≤,由()()()00xx f t dt f x f x '=-⎰⇔()()()00xx f x f x f t dt '=+⎰,()()()00x x f x f x f t dt '=+⎰≤()()00x x f x f t dt '+⎰≤()()100f x f t dt '+⎰()()11000f x dt f t dt '=+⎰⎰≤()()1100f t dt f t dt '+⎰⎰()()10f t f t dt ⎡⎤'=+⎣⎦⎰()()10f x f x dx ⎡⎤'=+⎣⎦⎰.故原不等式成立, 证毕3.6 利用泰勒公式在现代数学中泰勒公式有着重要的地位,它在不等式的证明、求极限以及求高阶导数在某些点的数值等方面有着重要的作用.关于泰勒公式的应用已经有很多专家学者对其进行了深入的研究,下面我们将举例说明利用泰勒公式也是证明积分不等式的一种重要方法.定理 3.6(带有拉格朗日型余项的Taylor 公式) 设函数()f x 在点0x 处的某邻域内具有1n +阶连续导数,则对该邻域内异于0x 的任意点x ,在0x 与x 之间至少存在一点ξ,使得:20000000()()()()()()()()()2!!n n n f x f x f x f x f x x x x x x x R x n '''=+-+-++-+ (1)其中(1)10()()()(1)!n n n f R x x x n ξ++=-+(ξ在x 与0x 之间)称为拉格朗日型余项,(1)式称为泰勒公式.[10] 设()f x 在[],a b 上有二阶连续导数,()()0f a f b ==,[](),max x a b M f x ∈''=,试证明:()()312bab a f x dx M -≤⎰.证明:对(),x a b ∀∈,由泰勒公式得()()()()()()212f a f x f x a x f a x ξ'''=+-+- , (),a x ξ∈,()()()()()()212f b f x f x b x f b x η'''=+-+-, (),x b η∈, 两式相加得 ()()()()()()22124a b f x f x x f a x f b x ξη+⎛⎫⎡⎤'''''=---+- ⎪⎣⎦⎝⎭, 两边积分得 ()()()()()()22124b bb aaa ab f x dx f x x dx f a x f b x dx ξη+⎛⎫⎡⎤'''''=---+- ⎪⎣⎦⎝⎭⎰⎰⎰, 其中 ()()()22b b b a a a a b a b f x x dx x df x f x dx ++⎛⎫⎛⎫'-=-=- ⎪ ⎪⎝⎭⎝⎭⎰⎰⎰, 于是有 ()()()()()2218bb a a f x dx f a x f b x dx ξη⎡⎤''''=-+-⎣⎦⎰⎰, 故()()()()223812bb aa M M f x dx a xb x dx b a ⎡⎤≤-+-=-⎣⎦⎰⎰. 证毕 [6]设()f x 在[],a b 上有二阶导数,且()0f x ''>,求证 ()()2b aa b f x dx b a f +⎛⎫≥- ⎪⎝⎭⎰. 证明:将()f x 在02a bx +=处作泰勒展开得到()()2122222a b a b a b a b f x f f x f x ξ++++⎛⎫⎛⎫⎛⎫⎛⎫'''=+-+- ⎪ ⎪⎪ ⎪⎝⎭⎝⎭⎝⎭⎝⎭, ,2a b x ξ+⎛⎫∈ ⎪⎝⎭.因为()0f x ''>,所以可以得到 ()222a b a b a b f x f f x +++⎛⎫⎛⎫⎛⎫'≥+- ⎪ ⎪⎪⎝⎭⎝⎭⎝⎭, 对不等式两边同时积分得到 ()()222b b a a a b a b a b f x dx f b a f x dx +++⎛⎫⎛⎫⎛⎫'≥-+- ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎰⎰. 因为02b a a b x dx +⎛⎫-= ⎪⎝⎭⎰, 所以有()()2b a a b f x dx b a f +⎛⎫≥- ⎪⎝⎭⎰. 证毕通过这两道题目我们大致可以了解到当题目中出现被积函数在积分区间上有意义且有二阶及二阶以上连续导数时,是提示我们用泰勒公式证明的最明显的特征.一般情况下我们选定一个点o x ,并写出()x f 在这个点o x 处的展开公式,然后进行适当的放缩或与介值定理相结合来解决问题.3.7 利用重积分在一些积分不等式的证明中,由于被积函数的不确定,从而我们不能求出其具体的数值,这时我们可以将定积分转换为二重积分再利用其性质来求解.以下列举了3种利用重积分来证明积分不等式的方法,这种技巧在高等数学中虽然不常见,但却是很重要的,下面我们将通过3道例题来进一步说明.命题一[11]:若在区间[,]a b 上()()f x g x ≥,则()()bba a f x dx g x dx ≥⎰⎰.[11] 设()f x ,()g x 在[,]a b 上连续,且满足:()()xxaaf t dtg t dt ≥⎰⎰,[,]x a b ∈,()()b b a a f t dt g t dt =⎰⎰,证明:()()b ba axf x dx xg x dx ≤⎰⎰.证明:由题得()()x xaaf t dtg t dt ≥⎰⎰,从而可以得到()()b x b x aaaadx f t dt dx g t dt ≥⎰⎰⎰⎰,即[()()]0b xa adx f t g t dt -≥⎰⎰.左式[()()]b xaadx f t g t dt =-⎰⎰ [()()]Df tg t dxdt =-⎰⎰ (其中{(,)|,}D x t a x b a t x =≤≤≤≤)[()()]b b atdt f t g t dx =-⎰⎰ ()[()()]bab t f t g t dt =--⎰[()()][()()]b b b b aaaab f t dt g t dt tf t dt tg t dt =---⎰⎰⎰⎰[()()]0b baatf t dt tg t dt =--≥⎰⎰.则 ()()0b b aatf t dt tg t dt -≤⎰⎰ , 即()()b baaxf x dx xg x dx ≤⎰⎰. 证毕在本题中我们将一元积分不等式()()x xaaf x dxg x dx ≥⎰⎰的两边同时增加一个积分变量badx ⎰,使得一元积分不等式化为二元积分不等式,然后巧妙的运用转换积分变量顺序的方法达到证明一元积分不等式的方法.在利用重积分来证明积分不等式的时候,我们不但可以采用直接增元法,还可以采用转换法.关于转换法又分为将累次积分转换为重积分,以及将常数转换为重积分这两种形式.下面我们将依次来介绍这两种方法.1.将累次积分转为重积分命题二[11] 若()f x 在[,]a b 上可积,()g y 在[,]c d 上可积,则二元函数()()f x g y 在平面区域{(,)|,}D x y a x b c y d =≤≤≤≤上可积,且()()()()()()bd b dacacDf xg y dxdy f x dx g y dy f x dx g x dx ==⎰⎰⎰⎰⎰⎰.其中{(,)|,}D x y a x b c y d =≤≤≤≤[11] 设()p x ,()f x ,()g x 是[,]a b 上的连续函数,在[,]a b 上,()0p x >,()f x ,()g x 为单调递增函数,试证:()()()()()()()()bb b baaaap x f x dx p x g x dx p x dx p x f x g x dx ≤⎰⎰⎰⎰.证明:由()()()()()()()()b bbbaaaap x f x dx p x g x dx p x dx p x f x g x dx ≤⎰⎰⎰⎰可知:()()()()()()()()0bb b baaaap x dx p x f x g x dx p x f x dx p x g x dx -≥⎰⎰⎰⎰,令()()()()()()()()b bbbaaaaI p x dx p x f x g x dx p x f x dx p x g x dx =-⎰⎰⎰⎰,下证0I ≥;()()()()()()()()b b b baaaaI p x dx p x f x g x dx p x f x dx p x g x dx =-⎰⎰⎰⎰()()()()()()()()b b b baaaap x dx p y f y g y dy p x f x dx p y g y dy =-⎰⎰⎰⎰()()()()()()()()bbbba a aap x p y f y g y dxdy p x f x p y g y dxdy =-⎰⎰⎰⎰()()()[()()]bba ap x p y g y f y f x dxdy =-⎰⎰. (3.7)同理()()()()()()()()bbbbaaaaI p x dx p x f x g x dx p x f x dx p x g x dx =-⎰⎰⎰⎰()()()()()()()()b b b baaaap y dy p x f x g x dx p y f y dy p x g x dx =-⎰⎰⎰⎰()()()[()()]b baap y p x g x f x f y dxdy =-⎰⎰. (3.8)(3.7)+(3.8) 得2()()[()()][()()]bbaaI p x p y g y g x f y f x dxdy =--⎰⎰,因为()f x ,()g x 同为单调增函数,所以[()()][()()]0g y g x f y f x --≥ 又因为()0p x >,()0p y >,故2()()[()()][()()]0bbaaI p x p y g y g x f y f x dxdy =--≥⎰⎰,即0I ≥. 证毕2.将常数转换为重积分的形式在例中我们介绍了将累次积分转换为重积分,在下面的例中我们将对常数转换为重积分来进行说明.我们可以发现有这样一个命题,若在二重积分中被积函数(,)f x y k =,则可得到2()Dkd k b a σ=-⎰⎰,其中{(,)|,}D x y a x b a y b =≤≤≤≤.函数()f x 在[,]a b 上连续,且()0>x f 试证:21()()()b baaf x dx dx b a f x ≥-⎰⎰.本题与前面的例3.1以及例题目,在这里我们将利用重积分证明此题. 证明:原题即为 1()()bba aDf x dx dy d f y σ≥⎰⎰⎰⎰, 移项可得()(1)0()Df x d f y σ-≥⎰⎰,()()()2(1)(1)(1)0()()()DD Df x f x f y d d d f y f y f x σσσ-=-+-≥⎰⎰⎰⎰⎰⎰, 所以即为证()()(2)0()()Df x f y d f y f x σ+-≥⎰⎰,因为()0f x ≥,()0f y ≥,所以()()20()()f x f y f y f x +-≥. 故 ()()(2)0()()Df x f y d f y f x σ+-≥⎰⎰ 恒成立,即21()()()b b a a f x dx dx b a f x ≥-⎰⎰成立, 证毕通过以上三道例题我们可以大致了解到,在这一类定积分不等式的证明过程中我们一般先将所要证明的不等式转化为二次积分的形式,进一步再转换为二重积分,最后利用二重积分的性质或其计算方法得出结论.这种方法克服了数学解题过程中的高维数转化为低维数的思维定势,丰富了将二重积分与定积分之间互化的数学思想方法.3.8 利用微分中值定理微分中值定理是数学分析中的重要的一个基本定理,它是指罗尔中值定理、拉格朗日中值定理、柯西中值定理以及泰勒中值定理这四种定理.关于微分中值定理的应用也是很广泛的,证明不等式是微分中值定理最基本的应用之一.在这里我们将对利用柯西中值定理及拉格朗日中值定理证明积分不等式进行研究.下面将通过两个例子来具体说明这两个定理在证明积分不等式中的应用,以及不同的微分中值定理在证明不等式时的区别.[12] 设()0f a =,()f x 在区间[],a b 上的导数连续,证明:()()[]()2,11max 2bax a b f x dx f x b a ∈'≤-⎰. 证明:应用Lagrange 中值定理,(),a x ξ∃∈,其中a x b <<,使得 ()()()()f x f a f x a ξ'-=-, 因为()0f a =, 所以()f x M x a ≤-, [](),max x a b M f x ∈'=,从a 到b 积分得 ()bb aaf x dx M x a dx ≤-⎰⎰()()222bab M M x a dx x a =-=-⎰()()()221max 22M b a f x b a '=-=-.即()()[]()2,11max 2bax a b f x dx f x b a ∈'≤-⎰. 证毕 [13] 设函数()f x 在[]0,1上可微,且当()0,1x ∈时,()01f x '<<,()00f =试证:()()()21130f x dxf x dx >⎰⎰.证明:令()()()2xF x f t dt =⎰,()()30xG x f t dt =⎰,()(),F x G x 在[]0,1上满足柯西中值定理,则()()()()()()()()()211301010f x dxF F FG G G f x dxξξ'-=='-⎰⎰()()()()()003222f f t dt f t dt f f ξξξξξ==⎰⎰()01ξ<< ()()()()02220f t dt f t dtf fξξ-=-⎰⎰()()()22f f f ηηη='()11f η=>' , ()01ηξ<<<.所以()()()21120f x dxf x dx >⎰⎰. 证毕通过以上两道题目可以发现:1.在应用Lagrange 中值定理时先要找出符合条件的函数()f x ,并确定()x f 在使用该定理的区间[]b a ,,对()x f 在区间[]b a ,上使用该定理.若遇到不能用该定理直接证明的,则从结论出发,观察并分析其特征,构造符合条件的辅助函数之后再应用Lagrange 中值定理.2.在研究两个函数的变量关系时可以应用Cauchy 中值定理,在应用该定理证明不等式时关键是要对结果进行分析,找出满足Cauchy 中值定理的两个函数()x f ,()x g ,并确定它们应用柯西中值定理的区间[]b a ,,然后在对()x f ,()x g 在区间[]b a ,上运用Cauchy 中值定理.无论是Cauchy 中值定理还是Lagrange 中值定理在积分不等式的证明中都各具特色,都为解题提供了有力的工具.总之在证明不等式时需要对结论认真的观察有时还需要进行适当的变形,才能构造能够应用中值定理证明的辅助函数,进而利用微分中值定理证明不等式.4.总结我们通过查阅有关积分不等式的文献和资料,并对其中的相关内容进行对比和分析后,将有关的内容加以整理并扩充形成了本文.在论文中给出了两个重要的积分不等式的证明以及总结了八种积分不等式的证明方法.然而由于自己的参考资料面不够广,参考的大多数文献都是仅给出了例题及其证明方法,而并没有给出进一步的分析,同时自己的知识面较窄,能力有限,导致还有很多难度较大的问题尚未解决.例如,在实际的问题中,还有一些证明方法是我们所不知道的,并且还有一些不等式并不能用本文所给出的八种方法来证明,这就需要我们进一步的思考与研究.今后我们应该更多的参考其他资料,充分拓展思路,以便于提出新的观点.参考文献[1]王宇,代翠玲,江宜华.一个重要积分不等式的证明、推广及应用[J].荆州师范学院学报(自然科学版),2000,23(5):106[2] 张盈.Cauchy-Schwarz不等式的证明、推广及应用[J].高师理科学刊,2014,34(3):34-37[3] 黄群宾.积分不等式的证明[J].川北教育学院学报,1996,6(4):22-27[4] 李志飞.积分不等式的证明[J].高等数学研究,2014,17(6):50-51[5]郝涌,王娜,王霞,郭淑利.数学分析选讲[M].北京:国防工业出版社,2014[6]张瑞,蒋珍.定积分不等式证明方法的研究[J].河南教育学院学报(自然科学版),2011,20(2):18[7]林忠.一个积分不等式的几种证明方法[J].成都教育学院学报,2006,20(12):66[8]刘法贵.证明积分不等式的几种方法[J].高等数学研究,2008,11(1):122[9] 苏德矿,李铮,铁军.数学强化复习全书[M].北京:中国证法大学出版社,2015[10] 李小平,赵旭波.定积分不等式几种典型证法[J].高等数学研究,2009,12(6):13-17[11] 黄云美.重积分在积分不等式证明中的应用[J].杨凌职业技术学院学报,2014,13(3):27-33[12] 葛亚平.积分不等式证明的再认识[J].河南教育学院学报(自然科学版),2015,24(3):18-20[13] 王丽颖,张芳,吴树良.积分不等式的证法[J].白城师范学院学报,2007,21(3): 19-22。
专升本高等数学二教材目录
专升本高等数学二教材目录高等数学二教材目录1. 极限与连续1.1 数列极限1.2 函数极限1.3 极限存在准则1.4 极限运算法则1.5 无穷小的概念1.6 极限存在性判定方法1.7 函数的连续性1.8 连续函数的性质1.9 闭区间上连续函数的性质2. 导数与微分2.1 函数的导数2.2 导数与函数图像的性质2.3 高阶导数2.4 隐函数及由参数方程表示的函数的导数2.5 反函数的导数与复合函数的导数 2.6 高阶导数的应用2.7 微分中值定理及其应用2.8 洛必达法则与函数的单调性3. 不定积分3.1 不定积分的概念3.2 基本积分公式3.3 分部积分法3.4 有理函数积分3.5 三角函数积分3.6 积分换元法3.7 不定积分的应用3.8 牛顿-莱布尼茨公式4. 定积分与定积分的应用4.1 定积分的概念4.2 定积分的性质与计算方法4.3 可积函数的性质4.4 定积分中值定理与平均值定理 4.5 定积分的应用4.6 反常积分5. 微分方程5.1 微分方程的概念与基本概念5.2 可分离变量的微分方程5.3 齐次线性微分方程5.4 一阶线性微分方程5.5 高阶线性常系数齐次微分方程 5.6 高阶线性常系数非齐次微分方程5.7 变参数线性微分方程6. 多元函数微分学6.1 多元函数的极限与连续性6.2 偏导数6.3 隐函数与反函数的求导6.4 多元复合函数的求导6.5 微分6.6 多元函数的极值与条件极值6.7 二重积分的概念与性质6.8 三重积分的概念与性质7. 无穷级数7.1 正项级数收敛的判定7.2 一般级数7.3 函数项级数的一致收敛性7.4 幂级数与傅里叶级数8. 曲线积分与曲面积分8.1 曲线积分的概念8.2 第一类曲线积分8.3 第二类曲线积分8.4 曲线积分的换元与应用8.5 曲面积分的概念与性质8.6 曲面积分的计算方法8.7 曲面积分的应用这是《高等数学二》教材的目录,按照章节对内容进行了逐一梳理。
非线性Volterra积分方程---精品管理资料
一类第二种非线性Volterra 积分方程积分数值解方法1前言微分方程和积分方程都是描述物理问题的重要数学工具,各有优点。
相对于某种情况来说,对于某种物理数学问题,积分方程对于问题的解决比微分方程更加有优势,使对问题的研究更加趋于简单化,在数学上,利用积分形式讨论存在性、唯一性往往比较方便,结果也比较完美,所以研究积分方程便得越来越有用,日益受到重视.积分方程的发展,始终是与数学物理问题的研究息息相关。
一般认为,从积分发展的源头可以追溯到国外的数学家克莱茵的著作《古今数学思想》,该书是被认为第一个清醒的认为应用积分方程求解的是Abel.Abel 分别于1833年和1826年发表了两篇有关积分方程的文章,但其正式的名称却是由数学家du Bois-Raymond 首次提出的,把该问题的研究正式命名为积分方程.所以最早研究积分方程的是Abel,他在1823年从力学问题时首先引出了积分方程,并用两种方法求出了它的解,第一的积分方程便是以Abel 命名的方程。
该方程的形式为:⎰=-baax f dt t x t )()()(ϕ,该方程称为广义Abel 方程,式中a 的值在(0,1)之间.当a=21时,该式子便成为)()(x f dt tx x x a =-⎰ϕ。
在此之前,Laplace 于1782年所提出的求Laplace 反变换问题,当时这个问题就要求解一个积分方程。
但是Fourier其实已经求出了一类积分方程的反变换,这就说明在早些时候积分方程就已经在专业性很针对的情况下得到了研究,实际上也说明了Fourier 在研究反变换问题是就相当于解出了一类积分方程。
积分方程的形成基础是有两位数学家Fredholm 和V olterra 奠定的,积分方程主要是研究两类相关的方程,由于这两位数学家的突出贡献,所以这两个方程被命名为Fredholm 方程和V olterra 方程。
后来又有德国数学家D 。
Hilbert 进行了重要的研究,并作出了突出的贡献,由于D.Hilbert 领头科学家的研究,所以掀起了一阵研究积分方程的热潮,并出现了很多重要的成果,后来该理论又推广到非线性部分.我国在60年代前,积分方程这部分的理论介绍和相关书本主要靠翻译苏联的相关书籍,那时研究的积分方程基本是一种模式,即用古典的方法来研究相关的积分方程问题,这样使得问题的研究变得繁琐、复杂,在内容方面比较单一、狭隘,甚至有些理论故意把积分方程的研究趋向于复杂化。
傅里叶变换
file://C:\DOCUME~1\ADMINI~1\LOCALS~1\Temp\34SK788U.htm
2009-5-11
页码,10/13
18 19 20 21
a>0 变换本身就是一个公式 J0(t) 是0阶第一类贝塞尔函数。 上一个变换的推广形式; Tn (t) 是第一类切比雪夫多项式。
22
变换8的频域对应。
file://C:\DOCUME~1\ADMINI~1\LOCALS~1\Temp\34SK788U.htm
2009-5-11
页码,9/13
角频率表 时域信 示的 号 傅里叶变 换
弧频率表 示的 傅里叶变 换
注释
10 11 12 13 14 15 16 17
矩形脉冲和归一化的sinc函数 变换10的频域对应。矩形函数是理想的低通滤波器,sinc函数是这类滤波 器对反因果冲击的响应。 tri 是三角形函数 变换12的频域对应 高斯函数 exp( − αt2) 的傅里叶变换是他本身. 只有当 Re(α) > 0时,这是可 积的。 光学领域应用较多
傅里叶变换族 拉普拉斯轉換 Z轉換 傅里叶级数 傅里叶变换 连续傅里叶变换 離散傅立葉級數 离散时间傅里叶变换 离散傅里叶变换 快速傅里叶变换 分數傅立葉轉換 短時距傅立葉轉換 小波分析 離散小波轉換
file://C:\DOCUME~1\ADMINI~1\LOCALS~1\Temp\34SK788U.htm
2009-5-11
页码,8/13
号
傅里叶变 换
傅里叶变 换
1 2 3 4 5 6 7 8 9
平方可积函数
线性 时域平移 频域平移, 变换2的频域对应 如果 值较大,则 会收缩到原点附近,而 会扩散并变得扁 得到.
[整理]函数黎曼可积性
函数黎曼可积性深究
罗俊逸
以下的“可积”皆指“黎曼可积”。
定义1:称有界函数f 为[a,b]上的次级离散函数(简称次离散函数),
若:1、f 仅有有限个间断点;
或:2、f 有无限个间断点,所有这些间断点仅有有限个聚点。
定义2:在闭区间[a,b]上,连续函数与次离散函数统称次级函数。
定义3:称有界函数f 为[a,b]上的超级离散函数(简称超离散函数),若f 有无限个间断点且它们有无限个聚点。
性质:[a,b]上的任何有界离散函数,要么是次离散函数,要么是超离散函数。
(这是显然的)
根据定义和性质,[a,b]上的所有有界函数的集合关系如下:
定理1:所有次级函数可积。
推论1:若f 为[a,b]上的连续函数,则f 在[a,b]上可积。
推论2:若f 是[a,b]上只有有限个间断点的有界函数,则f 在[a,b]上可积。
定义4:设f 为[a,b]上的超离散函数,若存在[a,b]上的次级函数g ,任取I ∈
[a,b],g 在I 上有f 上的无穷个点,则称f 在[a,b]上可聚,g 称为f 的聚集函数(简称聚函数)。
定理2(可聚性定理):任何超离散函数f 可聚,即f 至少有一个聚函数。
定理3:超离散函数f 可积的充要条件是:f 唯一可聚,即f 仅有唯一的聚函数。
连续函数 次级离散函数
超级离散函数 次级函数 离散函数
定理4:设f是定义在[a,b]上的可积超离散函数,其聚函数是g,则:=
补充:
为方便叙述,笔者自做了些定义,若有冒犯前辈的文献,请谅解。
求积的函数
求积的函数
求积的函数是指能够计算多个数的乘积的函数。
在数学中,求积的函数被广泛应用于各种领域,如组合数学、代数学、微积分等。
一些常见的求积函数包括乘积符号、阶乘函数、Gamma函数等。
乘积符号用来表示一组数的乘积,通常写成∏(i=1,n) ai,表示a1*a2*...*an。
这个符号在组合数学、数论、微积分、概率论等领域广泛应用。
阶乘函数是求正整数n的阶乘的函数,通常写成n!,表示
n*(n-1)*...*2*1。
阶乘函数在组合数学、概率论、微积分等领域有广泛应用,如排列组合、二项式分布、泰勒展开等。
Gamma函数是复变函数中的一种特殊函数,可以表示阶乘函数的扩展,通常写成Γ(z),其中z为复数。
Gamma函数在概率论、统计学、物理学、数论等领域有广泛应用,如伽马分布、贝塔分布、欧拉-马斯刻罗尼常数等。
总体来说,求积的函数是数学中非常重要的一类函数,具有广泛的应用价值。
- 1 -。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
3.2.2 可积函数类
数学分析
在证明可积性问题时,
n
有多种方法可使 ixi . i 1
常见的有三种方法,下面分别作出介绍.
第一种方法: 每个
i
ba
,
从而
n
i Δxi
i 1
b
a
n
i 1
Δxi
.
例如, 在 [a, b] 上一致连续的 f ,便属于这种情形.
定理10.4(连续必可积) 若 f 在 [a, b] 上 连续,则 f 在 [a , b] 上 可积.
若f 在 [a, b] 上有界,且只有有限多个间断点,则 f 在 [a, b] 上可积.
证 不妨设 f 在 [a, b] 上 只有一个间断点, 且为 b. 0, 取 满足 0 ( b a). 2( M m)
其中 M 与 m 分别为 f 在 [a ,b ] 上的上确界与下确界.
数学分析
22
.
由可积准则, f 在 [a,b] 上可积.
数学分析
例1 证明黎曼函数
R(
x)
1 q
,
x
p q
( p, q 互素 ),
0 , x 0, 1 及 (0, 1) 中的无理数
在 [0, 1] 上可积,且
1
R(x) dx
0.
0
证
0,
在[0,1]中满足 1 q2
的有理数 r
p q
只有有限多个, 设它们为 r1 ,r2 ,,rk .
对[0,1]作分割 T : 0 x0 x1 x n 1,
使
T
2k
.
T 中含 {r1,
r2 ,,rk}
的小区间至多有
2k 个,记为 i.
数学分析
因此这些小区间长度之和为
Δ xi
2k
2k
.
T 中不含 { r1, r2,,r k } 的区间记为{ i}.
由于在
i
上
0
R( x)
, 2
于是
i
n
n
于是 i f (xi ) f (xi 1) f (b) f (a).
i 1
i 1
因此, 若
T
f (b)
,则 f (a)
n
n
iΔ xi T i
i 1
i 1
f (b)
f (b)
f (a)
f (a)
.
数学分析
第三种方法:若 iΔxi iΔxi iΔxi,
在 iΔxi 中 ,
i
2(b a)
,
而在 iΔxi中,
xi
2( M
m)
,
其中 M m 是 f 在 [a ,b ] 上的振幅.
从而 i M m , i 1, 2,,n.
于是
i xi ixi ixi
(b
2(b a)
a)
2( M m)
(M
m)
.
数学分析
若 f 在 [a, b] 上 有界,且只有有限多个不连续点, 此时可用第三种方法证明 f 可积. 定理10.6(有限个间断点的有界函数必可积)
设 f 在[b ,b]上的振幅为, 则
(
M
m
)
2(
M
m)
2
.
由于 f 在 [a , b ] 上连续, 则存在分割
T : a x0 x1 ... x n1 b ,
使
T
i xi
. 2
令 T : a x0 x1 ... x n b, 则
ixi
T
T
i xi
2
.
从而
数学分析
ixi
i
x
i
i
x
i
1 2
明了 R( x) 的可积性.
由于已证得 R( x) 可积, 而且无理数具有稠密性, 因此可取 i [ xi 1, xi ] (i 1, 2, , n) 皆为无理数, 从而
1
R( x ) d x
0
lim
T 0
n
R( i) Δx i
i 1
0.
数学分析
,
ba
从而
n
i Δxi
i 1
ba
n i 1
Δxi
.
数学分析
n
第二种方法:若 i 有界,即M , 对任意分割,
i 1
n
i M,
i 1
则当 || T || 时,
M
n
i xi T
i 1
n
i
i 1
M
M
.
n
例如, f 在 [a, b] 上单调时,有 i f (b) f (a) , i 1
数学分析
证 f 在 [a, b] 上连续, 从而在[a, b]上一致连续.
于是 0, 0, x, x[a, b],
若 x x , 则
f ( x) f ( x) .
ba
因此当 [a ,b] 上的分割 T 满足 T 时,
i Mi mi
sup{
f ( x) f ( x) ,x, x[ x i1, x i] }
从而可证 f 在 [a, b] 上可积.
定理10.5(单调必可积)
若 f 是 [a, b] 上的单调函数,则 f 在[a, b] 上可积.
数学分析
证 不妨设 f 是非常值的增函数,则对任意分割
T : a x0 x1 ... x n b,
i f ( xi ) f ( xi 1), i 1, 2, , n,