反常積分

The name of the pictureThe name of the pictureThe name of the pictureClash 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)f(x) 在 [a,+∞) 上任何闭区间都是可积的,积分


∫a∞f(x)dx=limu→+∞∫auf(x)dxdisplaystyle int _a^infty f(x)dx=lim _uto +infty int _a^uf(x)dxint _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)dxint _a^infty f(x)dx=lim _uto +infty int _a^uf(x)dx收敛,当上述极限不存在时,称该广义积分发散。
类似的,设函数f(x)displaystyle f(x)f(x) 在(-∞,a]上任何闭区间都是可积的,积分:∫−∞af(x)dx=limu→−∞∫uaf(x)dxdisplaystyle int _-infty ^af(x)dx=lim _uto -infty int _u^af(x)dxint _-infty ^af(x)dx=lim _uto -infty int _u^af(x)dx亦称为无穷限广义积分



定义的推广


f(x)displaystyle f(x)f(x)在(-∞,+∞)的任何闭区间上可积,且对于∀displaystyle forall forall a∈displaystyle in in(-∞,+∞),广义积分∫−∞af(x)dxdisplaystyle int _-infty ^af(x)dxint _-infty ^af(x)dx∫a+∞f(x)dxdisplaystyle int _a^+infty f(x)dxint _a^+infty f(x)dx都收敛,则广义积分∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dxint _-infty ^+infty f(x)dx收敛,且∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dxint _-infty ^+infty f(x)dx∫−∞af(x)dxdisplaystyle int _-infty ^af(x)dxint _-infty ^af(x)dx∫a+∞f(x)dxdisplaystyle int _a^+infty f(x)dxint _a^+infty f(x)dx,当∫−∞af(x)dxdisplaystyle int _-infty ^af(x)dxint _-infty ^af(x)dx∫a+∞f(x)dxdisplaystyle int _a^+infty f(x)dxint _a^+infty f(x)dx中至少有一个发散,则称∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dxint _-infty ^+infty f(x)dx发散。



与柯西主值的联系


从极限的角度考察上述广义积分有如下等式;∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dxint _-infty ^+infty f(x)dxlimu→+∞∫auf(x)dxdisplaystyle lim _uto +infty int _a^uf(x)dxlim _uto +infty int _a^uf(x)dx+limv→−∞∫vaf(x)dxdisplaystyle lim _vto -infty int _v^af(x)dxlim _vto -infty int _v^af(x)dx,值得注意的是等式右边的两个极限的收敛速度可能不同,若 limu→+∞∫auf(x)dxdisplaystyle lim _uto +infty int _a^uf(x)dxlim _uto +infty int _a^uf(x)dxlimv→−∞∫vaf(x)dxdisplaystyle lim _vto -infty int _v^af(x)dxlim _vto -infty int _v^af(x)dx都收敛,则limu→+∞∫auf(x)dxdisplaystyle lim _uto +infty int _a^uf(x)dxlim _uto +infty int _a^uf(x)dx+limv→−∞∫vaf(x)dxdisplaystyle lim _vto -infty int _v^af(x)dxlim _vto -infty int _v^af(x)dx=limu→+∞∫−uuf(x)dxdisplaystyle lim _uto +infty int _-u^uf(x)dxlim _uto +infty int _-u^uf(x)dx,这时若limu→+∞∫−uuf(x)dxdisplaystyle lim _uto +infty int _-u^uf(x)dxlim _uto +infty int _-u^uf(x)dx收敛,则称该极限为广义积分∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dxint _-infty ^+infty f(x)dx的柯西主值;记为p.v∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dxint _-infty ^+infty f(x)dx。根据定义,可有如下性质:
∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dxint _-infty ^+infty f(x)dx 收敛,则其柯西主值p.v∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dxint _-infty ^+infty f(x)dx∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dxint _-infty ^+infty f(x)dx。但是若柯西主值p.v∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dxint _-infty ^+infty f(x)dx 收敛,未必有limu→+∞∫auf(x)dxdisplaystyle lim _uto +infty int _a^uf(x)dxlim _uto +infty int _a^uf(x)dx 以及limu→−∞∫uaf(x)dxdisplaystyle lim _uto -infty int _u^af(x)dxlim _uto -infty int _u^af(x)dx都收敛,即p.v∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dxint _-infty ^+infty f(x)dx 收敛,未必有∫−∞+∞f(x)dxdisplaystyle int _-infty ^+infty f(x)dxint _-infty ^+infty f(x)dx收敛。



无穷限广义积分的性质


(i)对于∀displaystyle forall forall b>adisplaystyle b>ab>a 无穷限广义积分∫a+∞f(x)dxdisplaystyle int _a^+infty f(x)dxint _a^+infty f(x)dx∫b+∞f(x)dxdisplaystyle int _b^+infty f(x)dxint _b^+infty f(x)dx 有相同的敛散性,且收敛时,有∫a+∞f(x)dxdisplaystyle int _a^+infty f(x)dxint _a^+infty f(x)dx=∫abf(x)dxdisplaystyle int _a^bf(x)dxint _a^bf(x)dx+∫b+∞f(x)dxdisplaystyle int _b^+infty f(x)dxint _b^+infty f(x)dx
由此可知,∫a+∞f(x)dxdisplaystyle int _a^+infty f(x)dxint _a^+infty f(x)dx收敛的充分必要条件是对∀displaystyle forall forall b>a,∫b+∞f(x)dxdisplaystyle int _b^+infty f(x)dxint _b^+infty f(x)dx 收敛,并且 limb→+∞∫b+∞f(x)dx=0displaystyle lim _bto +infty int _b^+infty f(x)dx=0displaystyle lim _bto +infty int _b^+infty f(x)dx=0
(ii)对于任意常数k≠0displaystyle kneq 0displaystyle kneq 0, ∫a+∞f(x)dxdisplaystyle int _a^+infty f(x)dxint _a^+infty f(x)dx∫a+∞kf(x)dxdisplaystyle int _a^+infty kf(x)dxint _a^+infty kf(x)dx 有相同的敛散性,并且收敛时,有∫a+∞kf(x)dxdisplaystyle int _a^+infty kf(x)dxint _a^+infty kf(x)dxk∫a+∞f(x)dxdisplaystyle kint _a^+infty f(x)dxkint _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)dxlim _tto a^+int _t^bf(x)dx

存在,则称此极限为函数f(x)在(a,b]上的反常积分。


瑕积分仍然记作∫abf(x)dxdisplaystyle int _a^bf(x)dxint _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)dxlim _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)dxint _a^cf(x)dx∫cbf(x)dxdisplaystyle int _c^bf(x)dxint _c^bf(x)dx

都收敛,则定义


∫abf(x)=∫acf(x)+∫cbf(x)displaystyle int _a^bf(x)=int _a^cf(x)+int _c^bf(x)int _a^bf(x)=int _a^cf(x)+int _c^bf(x)


参考文献


  1. 《数学分析》 第三版 下册 欧阳光中 朱学炎 陈传璋 高等教育出版社 ISBN 978-7-04-020743-9


参见


  • 积分

  • 积分学

  • 定积分

  • 瑕积分

Popular posts from this blog

倭马亚王朝

Gabbro

托萊多 (西班牙)