zoukankan      html  css  js  c++  java
  • 变限积分求导公式证明及其推论

    变限积分求导公式证明及其推论

    1.变上限积分

    • 若函数 (f (x))在$[a, b] (上连续 , 对任意) x∈[a, b]$, 定义变上限定积分 :

    [Φ(x) = int_a^xf (t) dt ,x∈[a, b] ]

    2.引理

    • 若函数 (f (x)) 在 $[a, b] $上连续,则变上限定积分 (Φ(x) = int_a^xf (t) dt ,x∈[a, b]) 在$ [a, b] $上可导 , 且 (Φ' (x) = f (x)).

    证明:

    任取(x∈[a, b]),改变量( riangle x)满足(x+ riangle xin[a,b]),对应的改变量( rianglePhi=Phi(x+ riangle x)-Phi(x))满足:

    [egin{align} rianglePhi=&Phi(x+ riangle x)-Phi(x)\ =&int_a^{x+ riangle x}f(t)dt-int_a^{x}f(t)dt\ =&int_x^{x+ riangle x}f(t)dt end{align} ]

    由积分中值定理:

    [egin{align} &existxiin[x,x+ riangle x]sub[a,b]\ s.t.& oint_x^{x+ riangle x}f(t)dt=f(xi)cdot riangle x\ herefore f(xi)&=frac{int_x^{x+ riangle x}f(t)dt}{ riangle x} end{align} ]

    因为(f(x))([a,b])上连续,所以:

    [lim_{ riangle x o0}f(xi)=f(x) ]

    即:

    [f(x)=lim_{ riangle x o0}frac{int_x^{x+ riangle x}f(t)dt}{ riangle x}=frac{d}{dx}(int_a^{x}f(t)dt) ]

    3.重要推论

    若函数(f(x))([a,b])上连续,(phi(x),varphi(x))([a,b])上可微,则

    [frac{d}{dx}(int_{varphi(x)}^{phi(x)}f(t)dt)=f(phi(x))phi'(x)-f(varphi(x))varphi'(x) ]

    证明:

    这里只给出积分上限为复合函数的情况下的证明,下限同理。

    (F(x))(f(x))的一个原函数,设:

    [egin{cases} u=phi(x)\ v=varphi(x) end{cases},xin[a,b] ]

    则原式为:

    [egin{align} frac{d}{dx}(int_{a}^{phi(x)}f(t)dt)=& frac{d}{dx}(int_{a}^{u}f(t)dt)\ (由链式求导法则)=&frac{du}{dx}cdotfrac{d}{du}(int_{a}^{u}f(t)dt)\ (由引理)=&frac{du}{dx}cdot f(u)\ =&frac{d}{dx}phi(x)cdot f(u)\ =&f(phi(x))cdotphi'(x) end{align} ]

    下限同理可证,于是可以得出:

    [frac{d}{dx}(int_{varphi(x)}^{phi(x)}f(t)dt)=f(phi(x))phi'(x)-f(varphi(x))varphi'(x) ]

  • 相关阅读:
    成为明星程序员的10个提示
    每天写出好代码的5个建议
    收集开发相关网站
    Class.getDeclaredFields()和Class.getFields()的区别。 Class.getMethods()和Class.getDeclaredMethods()的区别。
    Oracle数据库插入过程中特殊符号
    @JsonIgnore注解|@JsonProperty
    基本linux命令
    linux基本概述
    php.ini模块
    一个购物车类(session实现的且为单例模式)
  • 原文地址:https://www.cnblogs.com/rrrrraulista/p/12321232.html
Copyright © 2011-2022 走看看