不定积分

维基百科,自由的百科全书
跳转至: 导航搜索
微积分学
\int_M \mathrm{d}\omega = \oint_{\partial M} \omega
函数 · 导数 · 微分 · 积分

微积分中,一个函数 \begin{smallmatrix} f \end{smallmatrix}
不定积分,也称为原函数反导数,是一个导数等于 \begin{smallmatrix} f \end{smallmatrix}
的函数 \begin{smallmatrix} F \end{smallmatrix}
,即 \begin{smallmatrix} F' = f \end{smallmatrix}
不定积分和定积分间的关系由微积分基本定理确定。

\begin{matrix} \int f(x)dx = F(x)+c\end{matrix}

其中 \begin{smallmatrix} F \end{smallmatrix}
\begin{smallmatrix} f \end{smallmatrix}
的不定积分。这样,许多函数的定积分的计算就可以简便地通过求不定积分来进行。

例子[编辑]

函数 \begin{smallmatrix} K(x)=\frac{2^x}{\ln2} \end{smallmatrix}
是函数 \begin{smallmatrix} k(x)=2^x\! \end{smallmatrix}
的一个原函数,但实际上 \begin{smallmatrix} k\! \end{smallmatrix}
的原函数有无穷多个。与 \begin{smallmatrix} K\! \end{smallmatrix}
相差一个常数的函数都是 \begin{smallmatrix} k\! \end{smallmatrix}
的原函数,因为常数函数的导数为零,例如: \begin{smallmatrix} \frac{2^x}{\ln2}+\ln2,\ \frac{2^x}{\ln2}-e^\sqrt{\pi} \end{smallmatrix}
。函数族 \begin{smallmatrix} \left\{\frac{2^x}{\ln2}+C\;| \;C\in\mathbb{R} \right\} \end{smallmatrix}
称为函数 \begin{smallmatrix} k\! \end{smallmatrix}
原函数族,也就是 \begin{smallmatrix} k(x)=2^x\! \end{smallmatrix}
的所有可能的原函数的集合,其中 \begin{smallmatrix} C\! \end{smallmatrix}
叫做积分常数。从图像上来看,这是 \begin{smallmatrix} K(x)=\frac{2^x}{\ln2}\! \end{smallmatrix}
垂直平移后得到的一组函数,几何上的解释就是它们在 \begin{smallmatrix} x\! \end{smallmatrix}
轴同一点上的斜率都是一样的。

性质[编辑]

微积分基本定理[编辑]

不定积分的一个重要应用是计算定积分,微积分基本定理建立了两者间的关系。

微积分基本定理:如果 \begin{smallmatrix} f \end{smallmatrix}
是闭区间 \begin{smallmatrix} [a,b] \end{smallmatrix}
上的连续函数, \begin{smallmatrix} F \end{smallmatrix}
\begin{smallmatrix} f \end{smallmatrix}
\begin{smallmatrix} [a,b] \end{smallmatrix}
上的一个原函数,那么

\int_{a}^{b} f(x)\,\mathrm{d}x = F(x)|_{a}^{b} = F(b) - F(a)

证明:取区间 \begin{smallmatrix} [a,b] \end{smallmatrix}
的一个分割: \begin{smallmatrix} a = x_0 < x_1 < x_2 < \cdots < x_n = b \end{smallmatrix}
,又设 \begin{smallmatrix} \Delta x_{i} = x_{i+1} - x_{i} \end{smallmatrix}
,根据拉格朗日中值定理

\begin{matrix}F(x_{i+1}) - F(x_{i}) = F^\prime(\xi_{i}) \cdot \Delta x_{i}\end{matrix}

所以


\begin{align}
F(b)-F(a) & = \sum_{i=0}^{n-1} (F(x_{i+1}) - F(x_{i})) \\
 & = \sum_{i=0}^{n-1} F^\prime(\xi_{i}) \cdot \Delta x_{i} \\
 & = \sum_{i=0}^{n-1} f(\xi_{i}) \cdot \Delta x_{i} \\
\end{align}

\begin{smallmatrix} f \end{smallmatrix}
在闭区间 \begin{smallmatrix} [a,b] \end{smallmatrix}
上连续,故黎曼可积,于是

\lim_{n \to \infty} \sum_{i=0}^{n-1} f(\xi_{i}) \cdot \Delta x_{i} = \int_a^b f(x)\,\mathrm{d}x

于是:

\begin{matrix} \int_a^b f(x)\,\mathrm{d}x = F(b) - F(a).\end{matrix}

因此, \begin{smallmatrix} f \end{smallmatrix}
原函数族中的每个函数都可以叫做 \begin{smallmatrix} f \end{smallmatrix}
的不定积分,简写作 \begin{smallmatrix} \int f(x)\, \mathrm{d}x. \end{smallmatrix}
,因为在计算定积分时,积分常数在相减时消掉了。如果 \begin{smallmatrix} F \end{smallmatrix}
定义在几个不同的区间上,那么每个区间上的积分常数可以互不相同。例如

\begin{matrix}F(x)=\begin{cases}-\frac{1}{x}+C_1\qquad x<0\\-\frac{1}{x}+C_2\qquad x>0\end{cases}\end{matrix}

就是 \begin{smallmatrix} f(x)=\frac{1}{x^2} \end{smallmatrix}
的不定积分的一般形式。它的定义区间是 \begin{smallmatrix} (-\infty,0)\cup(0,\infty) \end{smallmatrix}

积分上限函数[编辑]

什么样的函数具有原函数是微积分理论中的基本问题。首先,每个连续函数都有原函数,并且由上面可知,原函数的个数是无限个。其次,对于一个有原函数的函数,它的原函数族中在某点取某个特殊值的只有一个。特别来说,对某个点af恰有一个在a上取值为零的原函数,它可以表示为如下的积分上限函数

F(x)=\int^x_af(t)\,\mathrm{d}t

下面给出积分上限函数是原函数的证明:

设函数\Phi(x)=\int^x_af(t)\,\mathrm{d}t,下证:

\Phi^\prime(x)=\cfrac{\mathrm{d}\int^x_af(t)\mathrm{d}t}{\mathrm{d}x}=f(x)

证明:

\Phi(x+\Delta x)-\Phi(x)=\int_a^{x+ \Delta x}f(t)\,\mathrm{d}t-\int_a^{x} f(t)\,\mathrm{d}t
=\int_x^{x+\Delta x}f(t)\,\mathrm{d}t
=f(\xi)\cdot\Delta x,其中x<\xi<x+\Delta x\ ,当\Delta x\to0时,\xi趋向于x
所以有\Phi^\prime(x)=\lim_{\Delta x\to0}\frac{\Phi(x+\Delta x)-\Phi(x)}{\Delta x}=\lim_{\Delta x\to0}f(\xi)=f(x)

由此可以推出前面的结论:f的原函数中在点a上取值为A的只有一个,就是x \mapsto \int_a^x f(t)\,\mathrm{d}t + A

这也可以看作是微积分基本定理另一个表达形式。

不连续的函数也可以有原函数,例如考虑函数f\

x\ne0f(x) = 2x\sin\frac{1}{x}-\cos\frac{1}{x}\displaystyle f(0)=0

这个函数在0上不连续,但可以验证函数:F(x)=x^2\sin\frac{1}{x}x\ne0时),\displaystyle F(0)=0 f的原函数。

许多看似很“简单”的函数的原函数是无法用初等函数指数函数对数函数代数函数三角函数反三角函数以及它们的有限次加減乘除開根號组合)来表达的(但它们一样存在!),比如说如下几个不定积分:

\begin{matrix}\int e^{-x^2}\,\mathrm{d}x,\qquad \int \frac{\sin (x)}{x}\,\mathrm{d}x,\qquad \int\frac{1}{\ln x}\,\mathrm{d}x\end{matrix}

它们的积分分别为:

\int e^{-x^2}\,\mathrm{d}x = \frac{\sqrt{\pi}}{2} \operatorname{erf}(x) + C
\int \frac{\sin (x)}{x}\,\mathrm{d}x = \operatorname{Si}(x) + C
\int\frac{1}{\ln x}\,\mathrm{d}x = \operatorname{Li}(x) + C

其中erf函数为误差函数

Si函数为三角积分

Li函数为对数积分

积分技巧[编辑]

求初等函数的不定积分比求它们的导数要困难得多。如上面所看到的,有些初等函数的原函数无法用初等函数来表达。以下是求不定积分的一些技巧。

  • 积分的线性性质使得我们可以把较为复杂的函数分成几个较为简单的函数的和来计算
  • 换元积分法可以把被积函数转换成比较容易积分的形式,但对换元函数有一定要求。
  • 分部积分法,用于函数乘积的积分。
  • 对于实值分式函数的积分,可以先将函数展开成若干一次分式函数以及二次分式函数的幂的和,再进行积分。
  • Risch算法
  • 对于常见的不定积分,可以查看积分表
  • 当函数的不定积分不能用初等函数表达时,可以采用其他办法计算函数的定积分,比如数值积分

不连续函数的积分[编辑]

微积分基本定理要求f为连续函数,但是,对于不连续的函数,我们仍然可以考虑求不定积分。对于什么函数有原函数,现在仍存在着未解决的问题。如今已知的结论有:

  • 一些很不“规则”的函数,尽管在“非常多”的点上并不连续,但仍有原函数。
  • 在某些情况下,一些不“规则”的函数的不定积分可以通过黎曼积分求得。当然更多的不“规则”的函数不是黎曼可积的。

不定积分公式表[编辑]

  1. \begin{matrix} \int a\,\mathrm{d}x = ax + C\end{matrix} ,其 C\, 为常数;
  2. \begin{matrix} \int x^{a}\,\mathrm{d}x = \frac{1}{a+1}x^{a+1} + C\end{matrix} ,其 a\,是常数 a \ne -1;
  3. \begin{matrix} \int \frac{1}{x}\,\mathrm{d}x = \ln \left|x\right| + C\end{matrix} ;
  4. \begin{matrix} \int a^{x}\,\mathrm{d}x = \frac{a^{x}}{\ln a} + C\end{matrix} ,其  a > 0 \,a \ne 1;
  5. \begin{matrix} \int \sin x\,\mathrm{d}x = -\cos x + C\end{matrix};
  6. \begin{matrix} \int \cos x\,\mathrm{d}x = \sin x + C\end{matrix} ;
  7. \begin{matrix} \int \tan x\,\mathrm{d}x = -\ln \left|\cos x\right| + C\end{matrix}
  8. \begin{matrix} \int \cot x\,\mathrm{d}x = \ln \left|\sin x\right| + C\end{matrix}
  9. \begin{matrix} \int \sec x\,\mathrm{d}x = {\rm Re} {\rm{Arth}} \tan \frac{x}{2} + C = \ln \left|\sec x + \tan x\right| + C = \frac{1}{2} \ln \left|\frac{1+\sin x}{1-\sin x} \right| + C \end{matrix}
  10. \begin{matrix} \int \csc x\,\mathrm{d}x = {\rm Re} {\rm{Ln}}\tan \frac{x}{2} + C = \ln \left|\csc x - \cot x\right| + C = \frac{1}{2} \ln \left|\frac{1-\cos x}{1+\cos x} \right| + C \end{matrix}
  11. \begin{matrix} \int \sec^{2}x\,\mathrm{d}x = \tan x + C\end{matrix} ;
  12. \begin{matrix} \int \csc^{2}x\,\mathrm{d}x = -\cot x + C\end{matrix} ;
  13. \begin{matrix} \int \frac{1}{\sqrt{1-x^2}}\,\mathrm{d}x = \arcsin x + C\end{matrix} ;
  14. \begin{matrix} \int \frac{1}{\sqrt{a^2-x^2}}\,\mathrm{d}x = \arcsin \frac{x}{a} + C\end{matrix} ;
  15. \begin{matrix} \int \frac{1}{1+x^2}\,\mathrm{d}x = \arctan x + C\end{matrix} ;
  16. \begin{matrix} \int \frac{1}{a^2+x^2}\,\mathrm{d}x = \frac{1}{a}\arctan\frac{x}{a} + C\end{matrix} ;
  17. \begin{matrix} \int \operatorname{sinh}\,x\,\mathrm{d}x = \operatorname{cosh}\,x\,+ C\end{matrix} ;
  18. \begin{matrix} \int \operatorname{cosh}\,x\,\mathrm{d}x = \operatorname{sinh}\,x\,+ C\end{matrix} ;
  19. \begin{matrix} \int \frac 1{\sqrt{x^2+a^2}}\mathrm{d}x = \operatorname{ln}(x+\sqrt{x^2+a^2}) + C\end{matrix} ;
  20. \begin{matrix} \int \frac 1{\sqrt{x^2-a^2}}\mathrm{d}x = \operatorname{ln}|x+\sqrt{x^2-a^2}| + C\end{matrix} ;

参见[编辑]