AM@变限积分求导公式
abstract
- 利用微积分第一基本定理(变上限积分函数的导数性质)以及复合函数求导准则,定积分的分段积分性质,可以得到变限积分求导公式
- 公式的应用规则
变限积分求导公式
-
由变上限积分函数的导数性质: ( ∫ a x f ( t ) d t ) x ′ (\int_{a}^{x}f(t)\mathrm{d}t)_{x}' (∫axf(t)dt)x′= f ( x ) f(x) f(x)
(1)
-
根据复合函数求导公式: ( ∫ a ϕ ( x ) f ( t ) d t ) x ′ (\int_{a}^{\phi(x)}f(t)\mathrm{d}t)_{x}' (∫aϕ(x)f(t)dt)x′= ( ∫ a ϕ ( x ) f ( t ) d t ) ϕ ( x ) ′ ⋅ ( ϕ ( x ) ) x ′ (\int_{a}^{\phi(x)}f(t)\mathrm{d}t)_{\phi(x)}'\cdot(\phi(x))_{x}' (∫aϕ(x)f(t)dt)ϕ(x)′⋅(ϕ(x))x′
-
再由公式(1),得 ( ∫ a ϕ ( x ) f ( t ) d t ) x ′ (\int_{a}^{\phi(x)}f(t)\mathrm{d}t)_{x}' (∫aϕ(x)f(t)dt)x′= f ( ϕ ( x ) ) ϕ ′ ( x ) f(\phi(x))\phi'(x) f(ϕ(x))ϕ′(x)
(2)
,也可以写作 d d x ∫ a ϕ ( x ) f ( t ) d t \frac{\mathrm{d}}{\mathrm{d}x}\int_{a}^{\phi(x)}f(t)\mathrm{d}t dxd∫aϕ(x)f(t)dt= f ( ϕ ( x ) ) ϕ ′ ( x ) f(\phi(x))\phi'(x) f(ϕ(x))ϕ′(x)(2-1)
-
-
设 F ( x ) = ∫ ϕ 1 ( x ) ϕ 2 ( x ) f ( t ) d t F(x)=\int_{\phi_1(x)}^{\phi_2{(x)}}f(t)\mathrm{d}t F(x)=∫ϕ1(x)ϕ2(x)f(t)dt
(3)
- 其中 f ( x ) 在 [ a , b ] f(x)在[a,b] f(x)在[a,b]上连续
- 可导函数 ϕ 1 ( x ) 和 ϕ 2 ( x ) \phi_1(x)和\phi_2(x) ϕ1(x)和ϕ2(x)的值域在 [ a , b ] [a,b] [a,b]上
-
则函数 ϕ 1 ( x ) \phi_1(x) ϕ1(x)和 ϕ 2 ( x ) \phi_2(x) ϕ2(x)的公共定义域上,式(1)的导数为:
-
F ′ ( x ) F'(x) F′(x)= d d x [ ∫ ϕ 1 ( x ) ϕ 2 ( x ) f ( t ) d t ] \frac{\mathrm{d}}{\mathrm{d}x} [\int_{\phi_1(x)}^{\phi_2(x)}f(t)\mathrm{d}t] dxd[∫ϕ1(x)ϕ2(x)f(t)dt]= f ( ϕ 2 ( x ) ) ϕ 2 ′ ( x ) − f ( ϕ 1 ( x ) ) ϕ 1 ′ ( x ) f(\phi_2(x))\phi'_2(x)-f(\phi_1(x))\phi'_1(x) f(ϕ2(x))ϕ2′(x)−f(ϕ1(x))ϕ1′(x)
(4)
- = ∑ i = 1 2 ( − 1 ) i f ( ϕ i ( x ) ) ϕ i ′ ( x ) \sum_{i=1}^{2}(-1)^{i}f(\phi_i(x))\phi_i'(x) ∑i=12(−1)if(ϕi(x))ϕi′(x)
-
称 x x x求导变量
-
称 t t t为积分变量
-
f ( t ) f(t) f(t)为被积函数
-
公式(4)要求被积函数是仅包含 t t t而不含 x x x,否则应当将 x x x提出积分号之外( x x x相对于 f ( t ) f(t) f(t)是常数)
-
-
推导:由定积分分段积分性质: ∫ ϕ 1 ( x ) ϕ 2 ( x ) f ( t ) d t \int_{\phi_1(x)}^{\phi_2(x)}f(t)\mathrm{d}t ∫ϕ1(x)ϕ2(x)f(t)dt= ∫ ϕ 1 ( x ) ξ f ( t ) d t + ∫ ξ ϕ 2 ( x ) f ( t ) d t \int_{\phi_1(x)}^{\xi}f(t)\mathrm{d}t+\int_{\xi}^{\phi_2(x)}f(t)\mathrm{d}t ∫ϕ1(x)ξf(t)dt+∫ξϕ2(x)f(t)dt= − ∫ ξ ϕ 1 ( x ) f ( t ) d t -\int^{\phi_1(x)}_{\xi}f(t)\mathrm{d}t −∫ξϕ1(x)f(t)dt+ ∫ ξ ϕ 2 ( x ) f ( t ) d t \int_{\xi}^{\phi_2(x)}f(t)\mathrm{d}t ∫ξϕ2(x)f(t)dt, ( ξ ∈ [ a , b ] ) (\xi\in[a,b]) (ξ∈[a,b])
- 由公式(2),得 ∫ ϕ 1 ( x ) ϕ 2 ( x ) f ( t ) d t \int_{\phi_1(x)}^{\phi_2(x)}f(t)\mathrm{d}t ∫ϕ1(x)ϕ2(x)f(t)dt= − ( f ( ϕ 1 ( x ) ) ) ϕ 1 ′ ( x ) + f ( ϕ 2 ( x ) ) ϕ 2 ′ ( x ) -(f(\phi_1(x)))\phi_1'(x)+f(\phi_2(x))\phi_2'(x) −(f(ϕ1(x)))ϕ1′(x)+f(ϕ2(x))ϕ2′(x),即得公式(4)
例
-
设 f ( x ) f(x) f(x)具有连续导数,求 S = d d x ∫ a x ( x − t ) f ′ ( t ) d t S=\frac{\mathrm{d}}{\mathrm{d}x}\int_{a}^{x}(x-t)f'(t)\mathrm{d}t S=dxd∫ax(x−t)f′(t)dt
-
首先将求导变量 x x x移出被积函数 G ( t ) G(t) G(t)= ( x − t ) f ′ ( t ) (x-t)f'(t) (x−t)f′(t)= x f ′ ( t ) − t f ′ ( t ) xf'(t)-tf'(t) xf′(t)−tf′(t),对于式 G ( t ) G(t) G(t), x x x是一个常数,因此 ∫ a x x f ′ ( t ) d t \int_{a}^{x}xf'(t)\mathrm{d}t ∫axxf′(t)dt= x ∫ a x f ′ ( t ) d t x\int_{a}^{x}f'(t)\mathrm{d}t x∫axf′(t)dt
-
∫ a x ( x − t ) f ′ ( t ) d t \int_{a}^{x}(x-t)f'(t)\mathrm{d}t ∫ax(x−t)f′(t)dt= ∫ a x x f ′ ( t ) d t \int_{a}^{x}xf'(t)\mathrm{d}t ∫axxf′(t)dt- ∫ a x t f ′ ( t ) d t \int_{a}^{x}tf'(t)\mathrm{d}t ∫axtf′(t)dt= x ∫ a x f ′ ( t ) d t x\int_{a}^{x}f'(t)\mathrm{d}t x∫axf′(t)dt- ∫ a x t f ′ ( t ) d t \int_{a}^{x}tf'(t)\mathrm{d}t ∫axtf′(t)dt
- 注意到,我们将 ∫ a x x f ′ ( t ) d t = x ∫ a x f ′ ( t ) d t \int_{a}^{x}xf'(t)\mathrm{d}t=x\int_{a}^{x}f'(t)\mathrm{d}t ∫axxf′(t)dt=x∫axf′(t)dt
- 因为求导变量对于积分变量t可以视为常数,因此利用定积分的性质,将其提取到积分号之外
-
对两边求导得到 S = ∫ a x f ′ ( t ) d t + x f ′ ( x ) − x f ′ ( x ) S=\int_{a}^{x}f'(t)\mathrm{d}t+xf'(x)-xf'(x) S=∫axf′(t)dt+xf′(x)−xf′(x)= f ( x ) ∣ a x f(x)|_{a}^{x} f(x)∣ax= f ( x ) − f ( a ) f(x)-f(a) f(x)−f(a)
-
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 分享4款.NET开源、免费、实用的商城系统
· 全程不用写代码,我用AI程序员写了一个飞机大战
· MongoDB 8.0这个新功能碉堡了,比商业数据库还牛
· 记一次.NET内存居高不下排查解决与启示
· 白话解读 Dapr 1.15:你的「微服务管家」又秀新绝活了
2022-11-03 PT_参数估计/点估计_矩估计法
2022-11-03 PT_参数估计_最大似然法
2021-11-03 powershell@posh主题设置和自定义@动态补全配置
2021-11-03 vscode_neovim(vim enhanced)配置与使用@通过变量$MYVIMRC来修改vim配置文件