^ 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.
二月 17, 2024
不定积分, 不定積分, 英語, indefinite, integration, 也可稱反導函數, antiderivative, 或原函数, 在微积分中, 函数, displaystyle, 是一个可微函數, displaystyle, 且其导数等于原來的函數, displaystyle, displaystyle, 不定積分在原先的定義上並沒有設定區間, 會與導函數間相差一常数c, displaystyle, 若導函數的定義是有區間的, 請參照定積分, 和定积分间的关系係由微积分基本定理聯繫起來, 函数的定积分. 不定積分 英語 Indefinite Integration 也可稱反導函數 Antiderivative 或原函数 在微积分中 函数 f displaystyle f 的不定积分 是一个可微函數 F displaystyle F 且其导数等于原來的函數 f displaystyle f 即 F f displaystyle F f 不定積分在原先的定義上並沒有設定區間 會與導函數間相差一常数C displaystyle C 註 1 1 若導函數的定義是有區間的 請參照定積分 不定积分和定积分间的关系係由微积分基本定理聯繫起來 函数的定积分可以透過先求得不定積分再帶入數字来運算 目录 1 性质 2 例子 2 1 微积分基本定理 2 2 由積分定義的函數 3 积分技巧 4 不连续函数的积分 5 不定积分公式表 6 注释 7 参见 8 參考資料性质 编辑有一函數K x displaystyle K x nbsp 與其自變數x displaystyle x nbsp 當K x k x displaystyle K prime x k x nbsp 並在區間I displaystyle I nbsp 中滿足所有自變數x displaystyle x nbsp 這時我們稱K displaystyle K nbsp 為k displaystyle k nbsp 的反導函數 例子 编辑函数 K x 2 x ln 2 displaystyle K x tfrac 2 x ln 2 nbsp 是函数 k x 2 x displaystyle k x 2 x nbsp 的一个反導函數 但实际上 k displaystyle k nbsp 的反導函數有无穷多个 与K displaystyle K nbsp 相差一个常数的函数都是 k displaystyle k nbsp 的反導函數 這是因为常数函数的导数为零 例如 2 x ln 2 ln 2 2 x ln 2 e p displaystyle tfrac 2 x ln 2 ln 2 tfrac 2 x ln 2 e sqrt pi nbsp 都為函數 k x displaystyle k x nbsp 的反導函數 函数族 2 x ln 2 c c R displaystyle tfrac 2 x ln 2 c c in mathbb R nbsp 是 k x 2 x displaystyle k x 2 x nbsp 的所有可能的反導函數的集合 其中 c displaystyle c nbsp 叫做积分常数 从图像上来看 这是 K x 2 x ln 2 displaystyle K x tfrac 2 x ln 2 nbsp 向上或向下平移后得到的一组函数 由定義可知它们在 x displaystyle x nbsp 轴同一点的斜率都是一样的 微积分基本定理 编辑 不定积分的一个重要应用是计算定积分 微积分基本定理建立了两者间的关系 微积分基本定理 如果函數 f displaystyle f nbsp 是闭区间 a b displaystyle a b nbsp 上的连续函数 F displaystyle F nbsp 是 f displaystyle f nbsp 在 a b displaystyle a b nbsp 上的一个反導函数 那么有 a b f x d x F b F a displaystyle int a b f x mathrm d x F b F a nbsp 证明 取区间 a b displaystyle a b nbsp 的一个分割 a x 0 lt x 1 lt x 2 lt lt x n b displaystyle a x 0 lt x 1 lt x 2 lt cdots lt x n b nbsp 又设D x i x i 1 x i displaystyle Delta x i x i 1 x i nbsp 根据均值定理有 3 i a b displaystyle xi i in a b nbsp 使得 F x i 1 F x i F 3 i D x i displaystyle F x i 1 F x i F prime xi i cdot Delta x i nbsp 所以 F b F a i 0 n 1 F x i 1 F x i i 0 n 1 F 3 i D x i i 0 n 1 f 3 i D x i displaystyle begin aligned F b F a amp sum i 0 n 1 F x i 1 F x i amp sum i 0 n 1 F prime xi i cdot Delta x i amp sum i 0 n 1 f xi i cdot Delta x i end aligned nbsp f displaystyle f nbsp 在闭区间 a b displaystyle a b nbsp 上连续 故可使用黎曼可积 讓 sup 0 i n 1 D x i l displaystyle sup 0 leq i leq n 1 Delta x i leq lambda nbsp 于是當 l 0 displaystyle lambda to 0 nbsp 也就是分割越來越細時有 lim l 0 i 0 n 1 f 3 i D x i a b f x d x 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 nbsp 于是有 a b f x d x F b F a displaystyle int a b f x mathrm d x F b F a nbsp f displaystyle f nbsp 的每个反導函数都可以叫做 f displaystyle f nbsp 的不定积分 简写作 f x d x displaystyle int f x mathrm d x nbsp 因为在计算定积分时 积分常数在相减时消掉了 如果 F displaystyle F nbsp 定义在几个不同的区间上 那么每个区间上的积分常数可以互不相同 例如 F x 1 x C 1 x lt 0 1 x C 2 x gt 0 displaystyle F x begin cases frac 1 x C 1 qquad x lt 0 frac 1 x C 2 qquad x gt 0 end cases nbsp 就是函數 f x 1 x 2 displaystyle f x tfrac 1 x 2 nbsp 的不定积分的一般形式 其定義域為 0 0 displaystyle infty 0 cup 0 infty nbsp 由積分定義的函數 编辑 什么样的函数具有反導函数是微积分基本定理中的基本问题 首先 每个连续函数都有反導函数 并且由上面可知 任一函數的反導函数如果存在的話會有无限多个 其次 由微分基本性質可知 对于一个有反導函数的函数 其反導函数在某点取某特定值的只有一个 要證明存在性 假設函數 f displaystyle f nbsp 的反導函數在 a displaystyle a nbsp 點为零 則它可以表示为如下的由积分定義的函数 F x a x f t d t displaystyle Phi x int a x f t mathrm d t nbsp 且F a 0 displaystyle Phi a 0 nbsp 下面给出這函数是 f displaystyle f nbsp 的反導函数的证明 证明 F x D x F x a x D x f t d t a x f t d t 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 nbsp x x D x f t d t displaystyle int x x Delta x f t mathrm d t nbsp f 3 D x displaystyle f xi cdot Delta x nbsp 其中x lt 3 lt x D x displaystyle x lt xi lt x Delta x nbsp 当D x 0 displaystyle Delta x to 0 nbsp 时 3 displaystyle xi nbsp 趋向于x displaystyle x nbsp 所以有F x lim D x 0 F x D x F x D x lim D x 0 f 3 f x displaystyle 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 nbsp 進一步可知 f displaystyle f nbsp 的反導函数中在点 a displaystyle a nbsp 上取值为 A displaystyle A nbsp 的只有一个 就是 a x f t d t A displaystyle int a x f t mathrm d t A nbsp 这也可以看作是微积分基本定理另一个表达形式 不连续的函数也可以有反導函數 例如考虑函数f displaystyle f nbsp 当x 0 displaystyle x neq 0 nbsp 时f x 2 x sin 1 x cos 1 x displaystyle f x 2x sin frac 1 x cos frac 1 x nbsp f 0 0 displaystyle displaystyle f 0 0 nbsp 这个函数在0上不连续 但可以验证函数 F x x 2 sin 1 x displaystyle F x x 2 sin tfrac 1 x nbsp x 0 displaystyle x neq 0 nbsp 时 F 0 0 displaystyle displaystyle F 0 0 nbsp 是 f displaystyle f nbsp 的反導函數 许多看似很 简单 的函数的反導函數是无法用初等函数 註 2 来表达 比如说如下几个不定积分 e x 2 d x sin x x d x 1 ln x d x displaystyle 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 nbsp 它们的积分同样存在 定义为 e x 2 d x p 2 erf x C displaystyle int e x 2 mathrm d x frac sqrt pi 2 operatorname erf x C nbsp sin x x d x Si x C displaystyle int frac sin x x mathrm d x operatorname Si x C nbsp 1 ln x d x Li x C displaystyle int frac 1 ln x mathrm d x operatorname Li x C nbsp 其中erf函数为误差函数 Si函数为三角积分 Li函数为对数积分 关于什么时候反導函數可以用初等函数表达 可参见刘维尔定理 积分技巧 编辑求初等函数的不定积分比求它们的导数要困难得多 如上面所看到的 有些初等函数的反導函數无法用初等函数来表达 以下是求不定积分的一些技巧 积分的线性性质使得我们可以把较为复杂的函数分成几个较为简单的函数的和来计算 换元积分法可以把被积函数转换成比较容易积分的形式 但对换元函数有一定要求 分部積分法 用于函数乘积的积分 对于实值分式函数的积分 可以先将函数展开成若干一次分式函数以及二次分式函数的幂的和 再进行积分 Risch算法 对于常见的不定积分 可以查看积分表 当函数的不定积分不能用初等函数表达时 可以采用其他办法计算函数的定积分 比如数值积分 不连续函数的积分 编辑微积分基本定理要求 f displaystyle f nbsp 为连续函数 但是 对于不连续的函数 我们仍然可以考虑求不定积分 对于什么函数有反導函數 现在仍存在着未解决的问题 如今已知的结论有 一些很不 规则 的函数 尽管在 非常多 的点上并不连续 但仍有原函数 在某些情况下 一些不 规则 的函数的不定积分可以通过黎曼积分求得 当然更多的不 规则 的函数不是黎曼可积的 不定积分公式表 编辑主条目 积分表 在以下公式中 C displaystyle C nbsp 為任意常數 a d x a x C displaystyle int a mathrm d x ax C nbsp x a d x 1 a 1 x a 1 C displaystyle int x a mathrm d x frac 1 a 1 x a 1 C nbsp 其a displaystyle a nbsp 是常数a 1 displaystyle a neq 1 nbsp 1 x d x ln x C displaystyle int frac 1 x mathrm d x ln left x right C nbsp a x d x a x ln a C displaystyle int a x mathrm d x frac a x ln a C nbsp 其a gt 0 displaystyle a gt 0 nbsp a 1 displaystyle a neq 1 nbsp sin x d x cos x C displaystyle int sin x mathrm d x cos x C nbsp cos x d x sin x C displaystyle int cos x mathrm d x sin x C nbsp tan x d x ln cos x C displaystyle int tan x mathrm d x ln left cos x right C nbsp cot x d x ln sin x C displaystyle int cot x mathrm d x ln left sin x right C nbsp sec x d x R e A r t h tan x 2 C ln sec x tan x C 1 2 ln 1 sin x 1 sin x C 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 nbsp csc x d x R e L n tan x 2 C ln csc x cot x C 1 2 ln 1 cos x 1 cos x C 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 nbsp sec 2 x d x tan x C displaystyle int sec 2 x mathrm d x tan x C nbsp csc 2 x d x cot x C displaystyle int csc 2 x mathrm d x cot x C nbsp 1 1 x 2 d x arcsin x C displaystyle int frac 1 sqrt 1 x 2 mathrm d x arcsin x C nbsp 1 a 2 x 2 d x arcsin x a C displaystyle int frac 1 sqrt a 2 x 2 mathrm d x arcsin frac x a C nbsp 1 1 x 2 d x arctan x C displaystyle int frac 1 1 x 2 mathrm d x arctan x C nbsp 1 a 2 x 2 d x 1 a arctan x a C displaystyle int frac 1 a 2 x 2 mathrm d x frac 1 a arctan frac x a C nbsp sinh x d x cosh x C displaystyle int operatorname sinh x mathrm d x operatorname cosh x C nbsp cosh x d x sinh x C displaystyle int operatorname cosh x mathrm d x operatorname sinh x C nbsp 1 x 2 a 2 d x ln x x 2 a 2 C displaystyle int frac 1 sqrt x 2 a 2 mathrm d x operatorname ln x sqrt x 2 a 2 C nbsp 1 x 2 a 2 d x ln x x 2 a 2 C displaystyle int frac 1 sqrt x 2 a 2 mathrm d x operatorname ln x sqrt x 2 a 2 C nbsp 注释 编辑 可由均值定理證明 指数函数 对数函数 代数函数 三角函数 反三角函数以及它们的有限次加減乘除開根號组合参见 编辑定积分參考資料 编辑 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 取自 https zh wikipedia org w index php title 不定积分 amp oldid 75652327, 维基百科,wiki,书籍,书籍,图书馆,