不定積分的一個重要應用是計算定積分,微積分基本定理建立了兩者間的關係。
微積分基本定理:如果函數
是閉區間
上的連續函數,
是
在
上的一個反導函數,那麼有
![{\displaystyle \int _{a}^{b}f(x)\,\mathrm {d} x=F(b)-F(a)}](//wikimedia.org/api/rest_v1/media/math/render/svg/e272c5ec268675124f4f31b6c551aebe450fa6ab)
證明:取區間
的一個分割:
,又設
,根據均值定理有
, 使得
![{\displaystyle F(x_{i+1})-F(x_{i})=F^{\prime }(\xi _{i})\cdot \Delta x_{i}}](//wikimedia.org/api/rest_v1/media/math/render/svg/73e60e423724232f5a9b8b8c973bc246b17ae8d8)
所以
![{\displaystyle {\begin{aligned}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{aligned}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/b2ee956138faa5da04e51a4c7c5fc36fb0bb38fb)
在閉區間
上連續,故可使用黎曼可積,讓
於是當
,也就是分割越來越細時有
![{\displaystyle \lim _{\lambda \to 0}\sum _{i=0}^{n-1}f(\xi _{i})\cdot \Delta x_{i}=\int _{a}^{b}f(x)\,\mathrm {d} x}](//wikimedia.org/api/rest_v1/media/math/render/svg/c70b4c61d43f9ab382b16734e48263b8f0336d71)
於是有
。
的每個反導函數都可以叫做
的不定積分,簡寫作
,因為在計算定積分時,積分常數在相減時消掉了。如果
定義在幾個不同的區間上,那麼每個區間上的積分常數可以互不相同。例如
![{\displaystyle F(x)={\begin{cases}-{\frac {1}{x}}+C_{1}\qquad x<0\\-{\frac {1}{x}}+C_{2}\qquad x>0\end{cases}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/8f38278bac5102eec3f0cf1df6601e78e9f40552)
就是函數
的不定積分的一般形式。其定義域為
。
什麼樣的函數具有反導函數是微積分基本定理中的基本問題。首先,每個連續函數都有反導函數,並且由上面可知,任一函數的反導函數如果存在的話會有無限多個。其次,由微分基本性質可知,對於一個有反導函數的函數,其反導函數在某點取某特定值的只有一個。要證明存在性,假設函數
的反導函數在
點為零,則它可以表示為如下的由積分定義的函數:
![{\displaystyle \Phi (x)=\int _{a}^{x}f(t)\,\mathrm {d} t}](//wikimedia.org/api/rest_v1/media/math/render/svg/dbd8ed36552dac4f2d3098173999773da5cb3f80)
且
。
下面給出這函數是
的反導函數的證明:
證明:
![{\displaystyle \Phi (x+\Delta x)-\Phi (x)=\int _{a}^{x+\Delta x}f(t)\,\mathrm {d} t-\int _{a}^{x}f(t)\,\mathrm {d} t}](//wikimedia.org/api/rest_v1/media/math/render/svg/65a97c335b0b72c27a7d2b657d0cf05547204bbe)
![{\displaystyle =\int _{x}^{x+\Delta x}f(t)\,\mathrm {d} t}](//wikimedia.org/api/rest_v1/media/math/render/svg/d496766c2fa0cba30e9276c4564a6e3c574534db)
,其中
,當
時,
趨向於
。
- 所以有
。
進一步可知:
的反導函數中在點
上取值為
的只有一個,就是
。
這也可以看作是微積分基本定理另一個表達形式。
不連續的函數也可以有反導函數,例如考慮函數
:
- 當
時
,![{\displaystyle \displaystyle f(0)=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/41a3057c2811223d08022bcd947f1db57b0d51f5)
這個函數在0上不連續,但可以驗證函數:
(
時),
是
的反導函數。
許多看似很「簡單」的函數的反導函數是無法用初等函數[註 2]來表達,比如說如下幾個不定積分:
。
它們的積分同樣存在,定義為:
![{\displaystyle \int e^{-x^{2}}\,\mathrm {d} x={\frac {\sqrt {\pi }}{2}}\operatorname {erf} (x)+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/c700523c44d0f1954f4d23ecd55431f446db63d0)
![{\displaystyle \int {\frac {\sin(x)}{x}}\,\mathrm {d} x=\operatorname {Si} (x)+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/bb6f9e8af5a9959f0b434964da7fc6ca81056c64)
![{\displaystyle \int {\frac {1}{\ln x}}\,\mathrm {d} x=\operatorname {Li} (x)+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/06b8ba0636b04840358b01598b7567885ea2e58c)
其中erf函數為誤差函數,Si函數為三角積分,Li函數為對數積分。
關於什麼時候反導函數可以用初等函數表達,可參見萊歐維爾定理。
求初等函數的不定積分比求它們的導數要困難得多。如上面所看到的,有些初等函數的反導函數無法用初等函數來表達。以下是求不定積分的一些技巧。
- 積分的線性性質使得我們可以把較為複雜的函數分成幾個較為簡單的函數的和來計算
- 換元積分法可以把被積函數轉換成比較容易積分的形式,但對換元函數有一定要求。
- 分部積分法,用於函數乘積的積分。
- 對於實值分式函數的積分,可以先將函數展開成若干一次分式函數以及二次分式函數的冪的和,再進行積分。
- Risch算法。
- 對於常見的不定積分,可以查看積分表
- 當函數的不定積分不能用初等函數表達時,可以採用其他辦法計算函數的定積分,比如數值積分。
微積分基本定理要求
為連續函數,但是,對於不連續的函數,我們仍然可以考慮求不定積分。對於什麼函數有反導函數,現在仍存在著未解決的問題。如今已知的結論有:
- 一些很不「規則」的函數,儘管在「非常多」的點上並不連續,但仍有原函數。
- 在某些情況下,一些不「規則」的函數的不定積分可以通過黎曼積分求得。當然更多的不「規則」的函數不是黎曼可積的。
在以下公式中,
為任意常數。
![{\displaystyle \int a\,\mathrm {d} x=ax+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/706e86fb3a7da72390e6834ce3550c6968257f09)
,其
是常數![{\displaystyle a\neq -1}](//wikimedia.org/api/rest_v1/media/math/render/svg/711cc92c0fdad33ceefe70c0284ab1ccddef6e74)
![{\displaystyle \int {\frac {1}{x}}\,\mathrm {d} x=\ln \left|x\right|+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/be86e176dd8858b26f6bf70e6435a3e3a7006058)
,其
,![{\displaystyle a\neq 1}](//wikimedia.org/api/rest_v1/media/math/render/svg/b2f695917fb11ae0ee8cd0bf647ba8557133a783)
![{\displaystyle \int \sin x\,\mathrm {d} x=-\cos x+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/c06113dfb524765ebcb9e4d98b419c4b68096b34)
![{\displaystyle \int \cos x\,\mathrm {d} x=\sin x+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/e661b7bf984634e6231301fcc41bd05c99152f32)
![{\displaystyle \int \tan x\,\mathrm {d} x=-\ln \left|\cos x\right|+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/9ec11d8f26396a5b99edaade1fe5519109d6b89e)
![{\displaystyle \int \cot x\,\mathrm {d} x=\ln \left|\sin x\right|+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/65960c285a56567a52cb0931ab9f9b967a7cc8a0)
![{\displaystyle \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}](//wikimedia.org/api/rest_v1/media/math/render/svg/a4516a3e61f0aca5859bab3afc310dee4280b440)
![{\displaystyle \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}](//wikimedia.org/api/rest_v1/media/math/render/svg/f3db79c09a17562a95f2881332d77790ffc99b93)
![{\displaystyle \int \sec ^{2}x\,\mathrm {d} x=\tan x+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/7b6936984852e5398ca7e0f87261af4037f67a3c)
![{\displaystyle \int \csc ^{2}x\,\mathrm {d} x=-\cot x+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/8330cbc9510df941ed3bc6d582859036a4686a2e)
![{\displaystyle \int {\frac {1}{\sqrt {1-x^{2}}}}\,\mathrm {d} x=\arcsin x+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/151db005e39846ccba1c93107590639bb425c6e4)
![{\displaystyle \int {\frac {1}{\sqrt {a^{2}-x^{2}}}}\,\mathrm {d} x=\arcsin {\frac {x}{a}}+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/d7451e1c553b4bf888e106edb4b402084f427a12)
![{\displaystyle \int {\frac {1}{1+x^{2}}}\,\mathrm {d} x=\arctan x+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/3efa69ff4e27e464b4b0f53edc5b2bea150d4d4d)
![{\displaystyle \int {\frac {1}{a^{2}+x^{2}}}\,\mathrm {d} x={\frac {1}{a}}\arctan {\frac {x}{a}}+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/a619faec27434ce0a3d5227226de84777775726b)
![{\displaystyle \int \operatorname {sinh} \,x\,\mathrm {d} x=\operatorname {cosh} \,x\,+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/513a9828a4f4722c6955aadadcef46f1edb8ae7d)
![{\displaystyle \int \operatorname {cosh} \,x\,\mathrm {d} x=\operatorname {sinh} \,x\,+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/23a85331c9778146d1135f7c6f6cec5eee1ae483)
![{\displaystyle \int {\frac {1}{\sqrt {x^{2}+a^{2}}}}\mathrm {d} x=\operatorname {ln} (x+{\sqrt {x^{2}+a^{2}}})+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/593471f2e1f7d9626296d82e5ff101c666fb1e1d)
![{\displaystyle \int {\frac {1}{\sqrt {x^{2}-a^{2}}}}\mathrm {d} x=\operatorname {ln} |x+{\sqrt {x^{2}-a^{2}}}|+C}](//wikimedia.org/api/rest_v1/media/math/render/svg/680af88201f7f8a3942afcb22dcd613631edb5b8)
Bruce Edward, Ron Larson. Essential Calculus: Early Transcendental Functions 4/e (Metric Version). U.S: Cengage Learning. 2018: 209. ISBN 978-957-9282-07-9.