反常積分
Clash Royale CLAN TAG#URR8PPP
系列條目 | ||||
微积分学 | ||||
---|---|---|---|---|
| ||||
基础概念(含极限论和级数论)
| ||||
一元微分
| ||||
一元积分
| ||||
多元微积分
| ||||
微分方程
| ||||
相关数学家 牛顿 · 莱布尼兹 · 柯西 · 魏尔斯特拉斯 · 黎曼 · 拉格朗日 · 欧拉 · 帕斯卡 · 海涅 · 巴罗 · 波尔查诺 · 狄利克雷 · 格林 · 斯托克斯 · 若尔当 · 达布 · 傅里叶 · 拉普拉斯 · 雅各布·伯努利 · 约翰·伯努利 · 阿达马 · 麦克劳林 · 迪尼 · 沃利斯 · 费马 · 达朗贝尔 · 黑维塞 · 吉布斯 · 奥斯特罗格拉德斯基 · 刘维尔 · 棣莫弗 · 格雷果里 · 玛达瓦 · 婆什迦罗第二 · 阿涅西 · 阿基米德 | ||||
历史名作 从无穷小量分析来理解曲线 · 分析学教程 · 无穷小分析引论 · 用无穷级数做数学分析 · 流形上的微积分 · 微积分学教程 · 纯数学教程 · 机械原理方法论 | ||||
分支学科
| ||||
反常积分又叫广义积分(“广义积分”为较早教科书的称呼,现在中国大陆已弃用),是对普通定积分的推广,指含有无穷上限/下限,或者被积函数含有瑕点的积分,前者称为无穷限广义积分,后者称为瑕积分(又叫无界函数的反常积分)。
目录
1 无穷限广义积分
1.1 定义
1.2 定义的推广
1.2.1 与柯西主值的联系
1.3 无穷限广义积分的性质
2 瑕积分
2.1 定义1
2.2 定义2
2.3 定义3
3 参考文献
4 参见
无穷限广义积分
定义
无穷限广义积分指积分上限下限中含有无穷大(∞)的积分,严格的数学定义如下:
设函数 f(x)displaystyle f(x) 在 [a,+∞) 上任何闭区间都是可积的,积分
- ∫a∞f(x)dx=limu→+∞∫auf(x)dxdisplaystyle int _a^infty f(x)dx=lim _uto +infty int _a^uf(x)dx
称为无穷限广义积分。当上述极限存在时,称广义积分∫a∞f(x)dx=limu→+∞∫auf(x)dxdisplaystyle int _a^infty f(x)dx=lim _uto +infty int _a^uf(x)dx收敛,当上述极限不存在时,称该广义积分发散。
类似的,设函数f(x)displaystyle f(x) 在(-∞,a]上任何闭区间都是可积的,积分:∫−∞af(x)dx=limu→−∞∫uaf(x)dxdisplaystyle int _-infty ^af(x)dx=lim _uto -infty int _u^af(x)dx亦称为无穷限广义积分。
定义的推广
设f(x)displaystyle f(x)在(-∞,+∞)的任何闭区间上可积,且对于∀displaystyle forall a∈displaystyle in (-∞,+∞),广义积分∫−∞af(x)dxdisplaystyle int _-infty ^af(x)dx与∫a+∞f(x)dxdisplaystyle int _a^+infty f(x)dx都收敛,则广义积分∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dx收敛,且∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dx=∫−∞af(x)dxdisplaystyle int _-infty ^af(x)dx+∫a+∞f(x)dxdisplaystyle int _a^+infty f(x)dx,当∫−∞af(x)dxdisplaystyle int _-infty ^af(x)dx与∫a+∞f(x)dxdisplaystyle int _a^+infty f(x)dx中至少有一个发散,则称∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dx发散。
与柯西主值的联系
从极限的角度考察上述广义积分有如下等式;∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dx=limu→+∞∫auf(x)dxdisplaystyle lim _uto +infty int _a^uf(x)dx+limv→−∞∫vaf(x)dxdisplaystyle lim _vto -infty int _v^af(x)dx,值得注意的是等式右边的两个极限的收敛速度可能不同,若 limu→+∞∫auf(x)dxdisplaystyle lim _uto +infty int _a^uf(x)dx与limv→−∞∫vaf(x)dxdisplaystyle lim _vto -infty int _v^af(x)dx都收敛,则limu→+∞∫auf(x)dxdisplaystyle lim _uto +infty int _a^uf(x)dx+limv→−∞∫vaf(x)dxdisplaystyle lim _vto -infty int _v^af(x)dx=limu→+∞∫−uuf(x)dxdisplaystyle lim _uto +infty int _-u^uf(x)dx,这时若limu→+∞∫−uuf(x)dxdisplaystyle lim _uto +infty int _-u^uf(x)dx收敛,则称该极限为广义积分∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dx的柯西主值;记为p.v∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dx。根据定义,可有如下性质:
若∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dx 收敛,则其柯西主值p.v∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dx=∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dx。但是若柯西主值p.v∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dx 收敛,未必有limu→+∞∫auf(x)dxdisplaystyle lim _uto +infty int _a^uf(x)dx 以及limu→−∞∫uaf(x)dxdisplaystyle lim _uto -infty int _u^af(x)dx都收敛,即p.v∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dx 收敛,未必有∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dx收敛。
无穷限广义积分的性质
(i)对于∀displaystyle forall b>adisplaystyle b>a 无穷限广义积分∫a+∞f(x)dxdisplaystyle int _a^+infty f(x)dx与∫b+∞f(x)dxdisplaystyle int _b^+infty f(x)dx 有相同的敛散性,且收敛时,有∫a+∞f(x)dxdisplaystyle int _a^+infty f(x)dx=∫abf(x)dxdisplaystyle int _a^bf(x)dx+∫b+∞f(x)dxdisplaystyle int _b^+infty f(x)dx
由此可知,∫a+∞f(x)dxdisplaystyle int _a^+infty f(x)dx收敛的充分必要条件是对∀displaystyle forall b>a,∫b+∞f(x)dxdisplaystyle int _b^+infty f(x)dx 收敛,并且 limb→+∞∫b+∞f(x)dx=0displaystyle lim _bto +infty int _b^+infty f(x)dx=0。
(ii)对于任意常数k≠0displaystyle kneq 0, ∫a+∞f(x)dxdisplaystyle int _a^+infty f(x)dx与∫a+∞kf(x)dxdisplaystyle int _a^+infty kf(x)dx 有相同的敛散性,并且收敛时,有∫a+∞kf(x)dxdisplaystyle int _a^+infty kf(x)dx=k∫a+∞f(x)dxdisplaystyle kint _a^+infty f(x)dx
瑕积分
瑕积分是被积函数带有瑕点的广义积分,参见如下定义:
定义1
设函数f(x)在(a,b]上连续,点a为f(x)的瑕点.取t>a,如果极限
- limt→a+∫tbf(x)dxdisplaystyle lim _tto a^+int _t^bf(x)dx
存在,则称此极限为函数f(x)在(a,b]上的反常积分。
瑕积分仍然记作∫abf(x)dxdisplaystyle int _a^bf(x)dx。
定义2
设函数f(x)在[a,b)上连续,点b为f(x)的瑕点。取t<b,如果极限
- limt→b−∫atf(x)dxdisplaystyle lim _tto b^-int _a^tf(x)dx
存在,则称此极限为函数f(x)在[a,b)上的反常积分。
定义3
设函数f(x)在[a,b]上除点c(a < c < b)外上连续,点c为f(x)的瑕点。如果两个瑕积分
∫acf(x)dxdisplaystyle int _a^cf(x)dx与∫cbf(x)dxdisplaystyle int _c^bf(x)dx
都收敛,则定义
- ∫abf(x)=∫acf(x)+∫cbf(x)displaystyle int _a^bf(x)=int _a^cf(x)+int _c^bf(x)
参考文献
- 《数学分析》 第三版 下册 欧阳光中 朱学炎 陈传璋 高等教育出版社 ISBN 978-7-04-020743-9
参见
- 积分
- 积分学
- 定积分
- 瑕积分