查看“︁不定积分”︁的源代码

{{NoteTA |G1=Math}}

{{微積分學}}

'''不定積分'''（{{lang-en|Indefinite Integration}}），也可稱'''反導函數'''（{{lang|en|Antiderivative}}）或'''原函数'''。在[[微积分]]中，[[函数]] <math>f</math> 的'''不定积分'''是一个[[可微]]函數 <math>F</math>，其[[导数]]等于原來的函數 <math>f</math>，即 <math>F' = f </math>。

不定積分在原先的定義上並沒有設定[[區間]]，會與導函數間相差一[[常数]]<math>C</math>{{notetag|可由[[均值定理]]證明}}<ref> {{cite book | first=Ron Larson |last=Bruce Edward  | title=[[Essential Calculus: Early Transcendental Functions 4/e (Metric Version)]] | location=U.S |publisher=Cengage Learning |year=2018 | pages=209 | isbn=978-957-9282-07-9 | }} </ref>。若導函數的定義是有[[區間]]的，請參照[[定積分]]。

不定积分和[[定积分]]间的关系係由[[微积分基本定理]]聯繫起來，函数的[[定积分]]可以透過先求得不定積分再帶入數字来運算。

== 性质 ==
有一函數<math>K(x)</math>與其自變數<math>x</math>。當<math>K^\prime(x)=k(x)</math>並在[[區間]]<math>I</math>中滿足所有自變數<math>x</math>，這時我們稱<math>K</math>為<math>k</math>的'''反導函數'''。

== 例子 ==
函数 <math>K(x)=\tfrac{2^x}{\ln2} </math> 是函数 <math>k(x)=2^x\! </math> 的一个反導函數，但实际上 <math>k</math> 的反導函數有无穷多个。与<math>K</math> 相差一个常数的函数都是 <math>k</math> 的反導函數，這是因为常数函数的导数为零，例如：<math>\tfrac{2^x}{\ln2}+\ln2,\ \tfrac{2^x}{\ln2}-e^\sqrt{\pi} </math> 都為函數 <math>k(x)</math> 的反導函數。函数族 <math>\{\tfrac{2^x}{\ln2}+c\;| \;c\in\mathbb{R} \} </math> 是 <math>k(x)=2^x</math> 的所有可能的反導函數的[[集合 (數學)|集合]]，其中 <math>c </math> 叫做'''积分常数'''。从图像上来看，这是 <math>K(x)=\tfrac{2^x}{\ln2}</math> 向上或向下平移后得到的一组函数，由定義可知它们在 <math>x</math> 轴同一点的斜率都是一样的。

=== 微积分基本定理 ===

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

'''微积分基本定理'''：如果函數 <math>f </math>是闭区间 <math> [a,b] </math> 上的[[连续]]函数，<math> F </math> 是 <math>f</math> 在 <math>[a,b]</math> 上的一个反導函数，那么有
:<math>\int_{a}^{b} f(x)\,\mathrm{d}x = F(b) - F(a)</math>

证明：取区间<math>[a,b] </math>的一个分割：<math>a = x_0 < x_1 < x_2 < \cdots < x_n = b </math>，又设<math>\Delta x_{i} = x_{i+1} - x_{i} </math>，根据[[均值定理]]有 <math>\xi_i\in (a,b)</math>， 使得

: <math>F(x_{i+1}) - F(x_{i}) = F^\prime(\xi_{i}) \cdot \Delta x_{i}</math>
所以<br />
:<math>
\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}
</math>

<math>f</math> 在[[闭区间]] <math>[a,b] </math> 上连续，故可使用[[黎曼积分|黎曼可积]]，讓 <math>\sup_{0\le i\le n-1} \{\Delta x_i\} \le\lambda</math> 于是當 <math>\lambda\to 0</math>，也就是分割越來越細時有 <br>

: <math>\lim_{\lambda\to 0} \sum_{i=0}^{n-1} f(\xi_{i}) \cdot \Delta x_{i} = \int_a^b f(x)\,\mathrm{d}x</math>
于是有
:<math>\int_a^b f(x)\,\mathrm{d}x = F(b) - F(a)</math>。

<math>f </math> 的每个反導函数都可以叫做 <math>f</math> 的不定积分，简写作<math> \int f(x)\, \mathrm{d}x. </math>，因为在计算定积分时，积分常数在相减时消掉了。如果 <math> F </math> 定义在几个不同的[[区间]]上，那么每个区间上的积分常数可以互不相同。例如
:<math>F(x)=\begin{cases}-\frac{1}{x}+C_1\qquad x<0\\-\frac{1}{x}+C_2\qquad x>0\end{cases}</math>

就是函數 <math> f(x)=\tfrac{1}{x^2} </math> 的不定积分的一般形式。其定義域為 <math>(-\infty,0)\cup(0,\infty) </math>。

=== 由積分定義的函數 ===

什么样的函数具有反導函数是微积分基本定理中的基本问题。首先，每个[[连续]]函数都有反導函数，并且由上面可知，任一函數的反導函数如果存在的話會有无限多个。其次，由微分基本性質可知，对于一个有反導函数的函数，其反導函数在某点取某特定值的只有一个。要證明存在性，假設函數 <math>f</math> 的反導函數在 <math>a</math> 點为零，則它可以表示为如下的由积分定義的函数：
:<math>\Phi(x)=\int^x_af(t)\,\mathrm{d}t</math>
且<math>\,\Phi(a)=0</math>。

下面给出這函数是 <math>f</math> 的反導函数的证明：

证明：
:<math>\Phi(x+\Delta x)-\Phi(x)=\int_a^{x+ \Delta x}f(t)\,\mathrm{d}t-\int_a^{x} f(t)\,\mathrm{d}t </math>
:<math>=\int_x^{x+\Delta x}f(t)\,\mathrm{d}t</math>
:<math>=f(\xi)\cdot\Delta x</math>，其中<math>x<\xi<x+\Delta x\ </math>，当<math>\Delta x\to0</math>时，<math>\xi</math>趋向于<math>x</math>。
:所以有<math>\Phi^\prime(x)=\lim_{\Delta x\to 0}\frac{\Phi(x+\Delta x)-\Phi(x)}{\Delta x}=\lim_{\Delta x\to 0}f(\xi)=f(x)</math>。

進一步可知：<math>f</math> 的反導函数中在点 <math>a</math >上取值为 <math>A</math> 的只有一个，就是<math>\int_a^x f(t)\,\mathrm{d}t + A</math>。

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

不连续的函数也可以有反導函數，例如考虑函数<math>f\ </math>：
:当<math>x\ne0</math>时<math>f(x) = 2x\sin\frac{1}{x}-\cos\frac{1}{x}</math>，<math>\displaystyle f(0)=0</math>

这个函数在0上不连续，但可以验证函数：<math>F(x)=x^2\sin\tfrac{1}{x}</math>（<math>x\ne0</math>时），<math>\displaystyle F(0)=0</math> 是 <math> f</math> 的反導函數。

许多看似很“简单”的函数的反導函數是无法用[[初等函数]]{{notetag|[[指数函数]]、[[对数函数]]、[[代数函数]]、[[三角函数]]、[[反三角函数]]以及它们的有限次加減乘除開根號组合}}来表达，比如说如下几个不定积分：
:<math>\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</math>。
它们的积分同样存在，定义为：

:<math>\int e^{-x^2}\,\mathrm{d}x = \frac{\sqrt{\pi}}{2} \operatorname{erf}(x) + C </math>
:<math>\int \frac{\sin (x)}{x}\,\mathrm{d}x = \operatorname{Si}(x) + C </math>
:<math>\int\frac{1}{\ln x}\,\mathrm{d}x = \operatorname{Li}(x) + C </math>
其中erf函数为[[误差函数]]，Si函数为[[三角积分]]，Li函数为[[对数积分]]。

关于什么时候反導函數可以用初等函数表达，可参见[[刘维尔定理 (微分代数)|刘维尔定理]]。

== 积分技巧 ==

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

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

== 不连续函数的积分 ==

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

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

== 不定积分公式表 ==
{{main|积分表}}
在以下公式中，<math>C </math>為任意常數。
# <math>\int a\,\mathrm{d}x = ax + C </math>
# <math>\int x^{a}\,\mathrm{d}x = \frac{1}{a+1}x^{a+1} + C </math>，其<math>a\,</math>是常数<math>a \ne -1</math>
# <math>\int \frac{1}{x}\,\mathrm{d}x = \ln \left|x\right| + C </math>
# <math>\int a^{x}\,\mathrm{d}x = \frac{a^{x}}{\ln a} + C </math>，其<math> a > 0 \,</math>，<math>a \ne 1</math>
# <math>\int \sin x\,\mathrm{d}x = -\cos x + C</math>
# <math>\int \cos x\,\mathrm{d}x = \sin x + C </math>
# <math>\int \tan x\,\mathrm{d}x = -\ln \left|\cos x\right| + C </math>
# <math>\int \cot x\,\mathrm{d}x = \ln \left|\sin x\right| + C </math>
# <math>\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 </math>
# <math>\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 </math>
# <math>\int \sec^{2}x\,\mathrm{d}x = \tan x + C </math>
# <math>\int \csc^{2}x\,\mathrm{d}x = -\cot x + C </math>
# <math>\int \frac{1}{\sqrt{1-x^2}}\,\mathrm{d}x = \arcsin x + C </math>
# <math>\int \frac{1}{\sqrt{a^2-x^2}}\,\mathrm{d}x = \arcsin \frac{x}{a} + C </math>
# <math>\int \frac{1}{1+x^2}\,\mathrm{d}x = \arctan x + C </math>
#<math>\int \frac{1}{a^2+x^2}\,\mathrm{d}x = \frac{1}{a}\arctan\frac{x}{a} + C </math>
# <math>\int \operatorname{sinh}\,x\,\mathrm{d}x = \operatorname{cosh}\,x\,+ C </math>
# <math>\int \operatorname{cosh}\,x\,\mathrm{d}x = \operatorname{sinh}\,x\,+ C </math>
# <math>\int \frac 1{\sqrt{x^2+a^2}}\mathrm{d}x = \operatorname{ln}(x+\sqrt{x^2+a^2}) + C </math>
# <math>\int \frac 1{\sqrt{x^2-a^2}}\mathrm{d}x = \operatorname{ln}|x+\sqrt{x^2-a^2}| + C </math>

==注释==
{{notefoot}}

== 参见 ==

* [[微积分基本定理]]
* [[定积分]]
* [[積分符號]]
* [[积分表]]

== 參考資料 ==
{{Reflist|2}}



[[Category:积分学]]