首页 > 其他分享 >高等数学 5.4反常积分

高等数学 5.4反常积分

时间:2024-10-16 18:11:35浏览次数:6  
标签:infty 5.4 int 积分 displaystyle 高等数学 反常 mathrm

目录

一、无穷限的反常积分

设函数 \(f(x)\) 在区间 \([a, + \infty)\) 上连续,任取 \(t > a\) ,作定积分 \(\displaystyle \int_a^t f(x) \mathrm{d}x\) ,再求极限

\[\lim_{t \to + \infty} \int_a^t f(x) \mathrm{d}x, \tag{1} \]

这个对变上限定积分的算式 \((1)\) 称为函数 \(f(x)\) 在无穷区间 \([a, + \infty)\) 上的反常积分,记为 \(\displaystyle \int_a^{+\infty} f(x) \mathrm{d}x\) ,即

\[\int_a^{+\infty} f(x) \mathrm{d}x = \lim_{t \to + \infty} \int_a^t f(x) \mathrm{d}x, \tag{1'} \]

根据算式 \((1)\) 的结果是否存在,可引入反常积分 \(\displaystyle \int_a^{+\infty} f(x) \mathrm{d}x\) 收敛与发散的定义:

定义1 (1)设函数 \(f(x)\) 在区间 \([a, + \infty)\) 上连续,如果极限 \((1)\) 存在,那么称反常积分 \(\displaystyle \int_a^{+\infty} f(x) \mathrm{d}x\) 收敛,并称此极限为该反常积分的值;如果极限 \((1)\) 不存在,那么就称反常积分 \(\displaystyle \int_a^{+\infty} f(x) \mathrm{d}x\) 发散。

类似的设函数 \(f(x)\) 在区间 \((-\infty, b]\)上连续,任取 \(t < b\) ,算式

\[\lim_{t \to - \infty} \int_t^bf(x) \mathrm{d}x, \tag{2} \]

称为函数 \(f(x)\) 在无穷区间 \((-\infty, b]\) 上的反常积分,记作 \(\displaystyle \int_{-\infty}^b f(x) \mathrm{d}x\) ,即

\[\int_{-\infty}^b f(x) \mathrm{d}x = \lim_{t \to - \infty} \int_t^bf(x) \mathrm{d}x, \tag{2'} \]

于是有(2)设函数 \(f(x)\) 在区间 \((-\infty, b]\) 上连续,如果极限 \((2)\) 存在,那么称反常积分 \(\displaystyle \int_{-\infty}^b f(x) \mathrm{d}x\) 收敛,并称此极限为该反常积分的值;如果极限 \((2)\) 不存在,那么就称反常积分 \(\displaystyle \int_{-\infty}^b f(x) \mathrm{d}x\) 发散。

设函数 \(f(x)\) 在区间 \((-\infty, +\infty)\) 上连续,反常积分 \(\displaystyle \int_{-\infty}^0 f(x) \mathrm{d}x\) 与反常积分 \(\displaystyle \int_0^{+\infty} f(x) \mathrm{d}x\) 之和称为函数 \(f(x)\) 在无穷区间 \((-\infty, +\infty)\) 上的反常积分,记作 \(\displaystyle \int_{-\infty}^{+\infty} f(x) \mathrm{d}x\) ,即

\[\int_{-\infty}^{+\infty} f(x) \mathrm{d}x = \int_{-\infty}^0 f(x) \mathrm{d}x + \int_0^{+\infty} f(x) \mathrm{d}x \tag{3} \]

于是有(3)设函数 \(f(x)\) 在区间 \((-\infty, +\infty)\) 上连续,如果反常积分 \(\displaystyle \int_{-\infty}^0 f(x) \mathrm{d}x\) 与反常积分 \(\displaystyle \int_0^{+\infty} f(x) \mathrm{d}x\) 均收敛,那么称反常积分 \(\displaystyle \int_{-\infty}^{+\infty} f(x) \mathrm{d}x\) 收敛,并称反常积分 \(\displaystyle \int_{-\infty}^0 f(x) \mathrm{d}x\) 的值与反常积分 \(\displaystyle \int_0^{+\infty} f(x) \mathrm{d}x\) 的值之和称为反常积分 \(\displaystyle \int_{-\infty}^{+\infty} f(x) \mathrm{d}x\) 的值,否则就称反常积分 \(\displaystyle \int_{-\infty}^{+\infty} f(x) \mathrm{d}x\) 发散。

上述反常积分统称为无穷限的反常积分。

由上述定义及牛顿—莱布尼兹公式,可得如下结果:

设 \(F(x)\) 为 \(f(x)\) 在 \([a, +\infty)\) 上的一个原函数,若 \(\lim\limits_{x \to +\infty} F(x)\) 存在,则反常积分

\[\int_a^{+\infty} = \lim_{x \to +\infty} F(x) - F(a) ; \]

若 \(\lim\limits_{x \to +\infty} F(x)\) 不存在,则称反常积分 \(\displaystyle \int_a^{+\infty} f(x) \mathrm{d}x\) 发散。
若记 \(F(+\infty) = \lim\limits_{x \to +\infty} F(x), \left . F(x) \right|_a^{+\infty} = F(+\infty) - F(a)\) ,则当 \(F(+\infty)\) 存在时,

\[\int_a^{+\infty} f(x) \mathrm{d}x = \left . F(x) \right|_a^{+\infty} ; \]

当 \(F(+\infty)\) 不存在时,反常积分 \(\displaystyle \int_a^{+\infty} f(x) \mathrm{d}x\) 发散。

类似的,若在 \((-\infty, b]\) 上 \(F'(x) = f(x)\) ,则当 \(F(-\infty)\) 存在时,

\[\int_{-\infty}^b f(x) \mathrm{d}x = \left . F(x) \right|_{-\infty}^b ; \]

当 \(F(-\infty)\) 不存在时,反常积分 \(\displaystyle \int_{-\infty}^b f(x) \mathrm{d}x\) 发散。

若在 \((-\infty, +\infty)\) 内 \(F'(x) = f(x)\) ,则当 \(F(-\infty)\) 与 \(F(+\infty)\) 都存在时,

\[\int_{-\infty}^{+\infty} f(x) \mathrm{d}x = \left . F(x) \right|_{-\infty}^{+\infty} \]

当 \(F(-\infty)\) 与 \(F(+\infty)\) 有一个不存在时,反常积分 \(\displaystyle \int_{-\infty}^{+\infty} f(x) \mathrm{d}x\) 发散。

二、无界函数的反常积分

如果函数 \(f(x)\) 在点 \(a\) 的任一邻域内都无界,那点 \(a\) 称为函数 \(f(x)\) 的瑕点(也称为无界间断点)。无界函数的反常积分又称为瑕积分

设函数 \(f(x)\) 在区间 \((a, b]\) 上连续,点 \(a\) 为 \(f(x)\) 的瑕点。任取 \(t > a\) ,作定积分 \(\displaystyle \int_t^b f(x) \mathrm{d}x\) ,再求极限

\[\lim_{t \to a^+} \int_t^b f(x) \mathrm{d}x \tag{4} \]

这个对变下限的定积分求极限的算式 \((4)\) 称为函数 \(f(x)\) 在区间 \((a, b]\) 上的反常积分,仍然记为 \(\displaystyle \int_a^b f(x) \mathrm{d}x\) ,即

\[\int_a^b f(x) \mathrm{d}x = \lim_{t \to a^+} \int_t^b f(x) \mathrm{d}x \tag{4'} \]

根据算式 \((4)\) 的结果是否存在,可引入反常积分 \(\displaystyle \int_a^b f(x) \mathrm{d}x\) 收敛与发散的定义:

定义2 (1)函数 \(f(x)\) 在区间 \((a, b]\) 上连续,点 \(a\) 为 \(f(x)\) 的瑕点,如果极限 \((4)\) 存在,那么称反常积分 \(\displaystyle \int_a^b f(x) \mathrm{d}x\) 收敛,并称此极限为该反常积分的值;如果极限 \((4)\) 不存在,那么称反常积分 \(\displaystyle \int_a^b f(x) \mathrm{d}x\) 发散。

类似地,设函数 \(f(x)\) 在区间 \([a, b)\) 上连续,点 \(b\) 为 \(f(x)\) 的瑕点。任取 \(t < b\) ,算式

\[\lim_{t \to b^-} \int_a^t f(x) \mathrm{d}x \tag{5} \]

称为函数 \(f(x)\) 在区间 \([a, b)\) 上的反常积分,仍然记为 \(\displaystyle \int_a^b f(x) \mathrm{d}x\) ,即

\[\int_a^b f(x) \mathrm{d}x = \lim_{t \to b^-} \int_a^t f(x) \mathrm{d}x \tag{5'} \]

于是有(2)设函数 \(f(x)\) 在区间 \([a, b)\) 上连续,点 \(b\) 为 \(f(x)\) 的瑕点,如果极限 \((5)\) 存在,那么称反常积分 \(\displaystyle \int_a^b f(x) \mathrm{d}x\) 收敛,并称此极限为该反常积分的值;如果极限 \((5)\) 不存在,那么就称反常积分 \(\displaystyle \int_a^b f(x) \mathrm{d}x\) 发散。

设函数 \(f(x)\) 在区间 \([a, c)\) 及区间 \((c, b]\) 上连续,\(c\) 为 \(f(x)\) 的瑕点。反常积分 \(\displaystyle \int_a^c f(x) \mathrm{d}x\) 与反常积分 \(\displaystyle \int_c^b f(x) \mathrm{d}x\) 之和称为函数 \(f(x)\) 在区间 \([a, b]\) 上的反常积分,仍然记作 \(\displaystyle \int_a^b f(x) \mathrm{d}x\) ,即

\[\int_a^b f(x) \mathrm{d}x = \int_a^c f(x) \mathrm{d}x + \int_c^b f(x) \mathrm{d}x \tag{6} \]

(3)设函数 \(f(x)\) 在区间 \([a, c)\) 及区间 \((c, b]\) 上连续,点 \(c\) 为 \(f(x)\) 的瑕点。如果反常积分 \(\displaystyle \int_a^c f(x) \mathrm{d}x\) 与反常积分 \(\displaystyle \int_c^b f(x) \mathrm{d}x\) 均收敛,那么称反常积分 \(\displaystyle \int_a^b f(x) \mathrm{d}x\) 收敛,并称反常积分 \(\displaystyle \int_a^c f(x) \mathrm{d}x\) 的值与反常积分 \(\displaystyle \int_c^b f(x) \mathrm{d}x\) 的值之和为反常积分 \(\displaystyle \int_a^b f(x) \mathrm{d}x\) 的值;否则,就称反常积分 \(\displaystyle \int_a^b f(x) \mathrm{d}x\) 发散。

计算无界函数的反常积分,也可借助牛顿—莱布尼茨公式。
设 \(x = a\) 为 \(f(x)\) 的瑕点,在 \((a, b]\) 上 \(F'(x) = f(x)\) ,如果极限 \(\lim\limits_{x \to a^+} F(x)\) 存在,那么反常积分

\[\int_a^b f(x) \mathrm{d}x = F(b) - \lim_{x \to a^+} F(x) = F(b) - F(a^+) ; \]

如果 \(\lim\limits_{x \to a^+} F(x)\) 不存在,那么反常积分 \(\displaystyle \int_a^b f(x) \mathrm{d}x\) 发散。

我们仍用记号 \(\left . F(x) \right|_a^b\) 来表示 \(F(b) - F(a^+)\) ,从而形式上仍有

\[\int_a^b f(x) \mathrm{d}x = \left . F(x) \right|_a^b . \]

对于 \(f(x)\) 在 \([a, b)\) 上连续, \(b\) 为瑕点的反常积分也有类似的计算公式。

标签:infty,5.4,int,积分,displaystyle,高等数学,反常,mathrm
From: https://www.cnblogs.com/mowenpan1995/p/18470194/gdsx5-4fcjf

相关文章

  • 高等数学 5.3 定积分的换元法和分部积分法
    目录一、定积分的换元法二、定积分的分部积分法一、定积分的换元法定理设函数\(f(x)\)在区间\([a,b]\)上连续,函数\(x=\varphi(t)\)满足条件:(1)\(\varphi(\alpha)=a,\varphi(\beta)=b\);(2)\(\varphi(t)\)在\([\alpha,\beta]\)(或\([\beta,\alpha]\))上具......
  • Mybatis-plus 3.5.4 的AOP问题 java.lang.ClassCastException: class org.springfram
    报错,然后我把mapper上的@repository删掉就好了,为什么ChatGPT说:ChatGPT删除@Repository注解后问题解决,可能是与SpringAOP代理机制和MyBatisPlus结合时的一些细节有关。以下是原因分析:@Repository和SpringAOP代理的影响@Repository注解的主要作用是将类标记为持......
  • 5.4
    importnumpyasnpimportmathfromscipy.optimizeimportminimize,Boundsdeffunc(x):returnsum(math.sqrt(x[i])foriinrange(100))defcon(x):return1000-np.sum(x[i]*(101-i+1)foriinrange(100))con1={'type':'ineq',......
  • py5.4-5.5
    importnumpyasnpfromscipy.optimizeimportminimize,Boundsdeffunc(x):returnnp.sum(np.sqrt(x))defcon(x):return1000-np.sum(x*np.arange(1,101))con1={'type':'ineq','fun':lambdax:10-x[0]}con2={'t......
  • 数学建模习题5.4
    importnumpyasnpfromscipy.optimizeimportminimizedefobjective(x):return-np.sum(np.sqrt(x)*np.arange(1,101))defconstraint1(x):returnx[1]-10defconstraint2(x):return20-(x[1]+2*x[2])defconstraint3(x):return30-(x[1]+2x[2]+3x......
  • 解决 Maven 插件报错:The plugin org.codehaus.mojo:flatten-maven-plugin:1.5.0 requi
    检查Maven版本:首先,确认当前使用的Maven版本是否与插件要求的版本一致。可以通过在命令行中输入 mvn-v 来查看当前Maven的版本信息。升级或降级Maven版本:如果当前Maven版本过低,需要升级到插件要求的版本;如果过高,可能需要降级。升级或降级Maven可以参考Maven的官......
  • 高等数学 5.2 微积分基本公式
    目录一、积分上限的函数及其导数二、牛顿-莱布尼茨公式一、积分上限的函数及其导数定理1如果函数\(f(x)\)在区间\([a,b]\)上连续,那么积分上限的函数\[\Phi(x)=\int_a^xf(t)\mathrm{d}t\]在\([a,b]\)上可导,并且它的导数\[\Phi'(x)=\cfrac{\mathrm{d}}{\mathr......
  • 高等数学 5.1 定积分的概念与性质
    目录一、定积分的定义1.定义2.定积分的几何意义二、定积分的近似计算1.矩形法2.梯形法3.抛物线法三、定积分的性质一、定积分的定义1.定义定义设函数\(f(x)\)在\([a,b]\)上有界,在\([a,b]\)中任意插入若干个分点\[a=x_0<x_1<x_2<\cdots<x_{n-1}<x_n=......
  • 5.4
    fromscipy.optimizeimport*importnumpyasnpc=[-0.9,-0.45,0.05,-1.4,-0.95,-0.45,-1.9,-1.45,-0.95]A=[[-0.4,0,0,0.6,0,0,0.6,0,0],[0,-0.7,0,0,0.3,0,0,0.3,0],[-0.2,0,0,-0.2,0,0,0.8,0,0],[0,-0.5,0,0,-0.5,0,0,0.5,0],[0,0,-0.6,0,0,-0.6,0,0,0.4],[1,1,1,0,0,......
  • 5.4求解非凸非线性规划
    importnumpyasnpfromscipy.optimizeimportminimize#定义目标函数defobjective(x):return-np.sum(np.sqrt(x))#注意:scipy的minimize默认是最小化问题,所以这里取负号#定义约束条件constraints=[{'type':'ineq','fun':lambdax:10-x[0]}......