条件收敛是数学中无穷级数和广义积分的一种性质。收敛但不绝对收敛的无穷级数或广义积分称为条件收敛的。一个积分条件收敛的函数也称为条件可积函数。
详细定义[编辑]
条件收敛的级数[编辑]
给定一个实数项无穷级数
,如果它自身收敛于一个定值
:
![{\displaystyle \sum _{n=1}^{\infty }a_{n}=C,}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9CoAaPoDe0agwQo2i5aqnDoDCOnDoQyjC3zNzEajCOaNJDnjiQntCQ)
但由每一项的绝对值构成的正项级数:
不收敛:
![{\displaystyle \sum _{n=1}^{\infty }|a_{n}|=\infty ,}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO83oNa5oNiQzDC2ntFCngvFaNm3zqs2zAs5aNlAzto5nqe2atw0ajvE)
那么就称这个无穷级数
是一个条件收敛的无穷级数。[1]:149
条件收敛的广义积分[编辑]
给定一个在区间
上有定义的函数
,如果
在任意的闭区间
上都可积,并且广义积分:
![{\displaystyle \int _{a}^{+\infty }f(x)\mathrm {d} x=\lim _{b\to +\infty }\int _{a}^{b}f(x)\mathrm {d} x}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8QaqeQzDa4aNoOzDC3nAo5oDw5nAzBnge2nqrFaqwQzjnBzDJAytBB)
收敛,而函数绝对值的广义积分:
![{\displaystyle \int _{a}^{+\infty }|f(x)|\mathrm {d} x=\lim _{b\to +\infty }\int _{a}^{b}|f(x)|\mathrm {d} x}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9AoAa3ntsOagoOzgw0nAwNaDm4nDs5ygvCoNGNzDrAnAwOoDmQaqiO)
发散,那么就称广义积分
条件收敛。[2]:104
无穷级数[编辑]
常见的条件收敛的无穷级数包括交错调和级数:
![{\displaystyle A_{h}=1-{\frac {1}{2}}+{\frac {1}{3}}-{\frac {1}{4}}+\cdots =\sum _{n}{\frac {(-1)^{n+1}}{n}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8NzjKNaNKOz2rFnDG4agoNnDnDztFEoqa1z2oQaDaQntdDaAdEzqhE)
它收敛到定值:
,而对应的由每项的绝对值构成的正项函数:
叫做调和级数,是发散的。
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n}}=\infty .}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO83zji1aNa4yqi1oNhEnDKPoqnBaNlBoDJBnga0aDe3oAe1ygoOzAwQ)
广义积分[编辑]
条件收敛的广义积分的一个例子是函数:
在正实数轴上的积分:
![{\displaystyle I=\int _{1}^{+\infty }{\frac {\sin x}{x}}\mathrm {d} x}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9BaNC4njmNygiNnta0aAvAoDKQotzCngs4zNdCzDoQzAdFaAzBnts5)
任取实数
,运用分部积分法可以得到:
![{\displaystyle \int _{1}^{a}{\frac {\sin x}{x}}\mathrm {d} x=\cos 1-{\frac {\cos a}{a}}-\int _{1}^{a}{\frac {\cos x}{x^{2}}}\mathrm {d} x}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9Czga0aNzBatvDajdBo2vDaghBzNi1ztdAoNoNoqa5otnDaDJFatzE)
而对任意的正实数
:
![{\displaystyle {\Bigg |}\int _{A}^{B}{\frac {\cos x}{x^{2}}}\mathrm {d} x{\Bigg |}\leqslant \int _{A}^{B}{\frac {|\cos x|}{x^{2}}}\mathrm {d} x\leqslant \int _{A}^{B}{\frac {1}{x^{2}}}\mathrm {d} x\leqslant {\frac {1}{A}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO83njlBzAa3oqsOoqo0zAiNnAdDnqeNyja4nDhAntFCotBEzqwNyjC2)
由柯西收敛原理可知广义积分
收敛,所以
![{\displaystyle \int _{1}^{+\infty }{\frac {\sin x}{x}}\mathrm {d} x=\lim _{a\to +\infty }\int _{1}^{a}{\frac {\sin x}{x}}\mathrm {d} x=\cos 1-\lim _{a\to +\infty }{\frac {\cos a}{a}}-\lim _{a\to +\infty }\int _{1}^{a}{\frac {\cos x}{x^{2}}}\mathrm {d} x=\cos 1-\int _{1}^{+\infty }{\frac {\cos x}{x^{2}}}\mathrm {d} x}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9FnDeOaNdDygvAngnCa2hCyqe5atG5nta5nqhFotFAa2a1zNCOoDdC)
即积分:
收敛。但是,绝对值函数的积分:
不收敛。这是因为对任意自然数
,积分:
![{\displaystyle I_{k}=\int _{k\pi }^{(k+1)\pi }{\bigg |}{\frac {\sin x}{x}}{\bigg |}\mathrm {d} x\geqslant \int _{k\pi }^{(k+1)\pi }{\frac {|\sin x|}{(k+1)\pi }}\mathrm {d} x={\frac {2}{(k+1)\pi }}={\frac {2}{\pi }}\cdot {\frac {1}{k+1}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8PzNnEo2dEnDm5nthDnDvDyjoNaqaNoqw1yjiQntwOoNBCytK3a2a4)
所以
![{\displaystyle I_{s}=\int _{1}^{+\infty }{\bigg |}{\frac {\sin x}{x}}{\bigg |}\mathrm {d} x\geqslant \sum _{k=1}^{+\infty }I_{k}\geqslant {\frac {2}{\pi }}\cdot \sum _{k=1}^{+\infty }{\frac {1}{k+1}}=+\infty }](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8QntlEzgw2zNzDajiNo2vAzjs3zNK4zNi2ajK0nDFFnjo3zDvAnqe3)
因此,积分
是条件收敛的。[2]:104-106
相关定理[编辑]
- 黎曼级数定理:假设
是一个条件收敛的无穷级数。对任意的一个实数
,都存在一种从自然数集合到自然数集合的排列
,使得
![{\displaystyle \sum _{n=1}^{\infty }a_{\sigma (n)}=C.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8NyjwNoDrBnDrCzNzCz2o4nqnBoAo3nDa5oDnFzNJEyjFCztFFoqsO)
此外,也存在另一种排列
,使得
![{\displaystyle \sum _{n=1}^{\infty }a_{\sigma '(n)}=\infty .}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8QoDeOzDsOyjC5a2w0zgi4yqe2aga5ate4oqdEaNlBnAzCzDC2atwP)
类似地,也可以有办法使它的部分和趋于
,或没有任何极限。[3]:192
反之,如果级数是绝对收敛的,那么无论怎样重排,它仍然会收敛到同一个值,也就是级数的和。[3]:193
参考来源[编辑]