3.5 微分及其运算

一、微分的定义


  引例
  如图,正方形金属薄片受热发生变化,其边长由变到,面积也发生了相应的变化,试给出此薄片的面积的改变量.
正方形的面积公式是边长.当边长由变化到时,正方形面积的增量(改变量)为

 
  分析 的构成,它由两部分构成:
  第一部分 是关于的线性函数,称为的线性部分,是与无关的常数.
  第二部分 是比高阶的无穷小(时),可记为
  当很小时,主要取决于第一部分,第二部分对的影响相对较小,可以忽略不计,即面积的增量:

  定义:设函数在某区间上有定义,在这区间内,若函数的增量可表示为
其中为不依赖于的常数,而是比高阶的无穷小,则称函数在点可微,称为在点处相应于自变量增量的微分,记为, 即

  注意:当自变量的改变量很微小,即很小时,函数在某点的微分是其增量的近似值,即

  接下来的问题是:(1)函数可微的条件是什么?(2)微分定义式中的是什么?
  可以证明:
  (1) 函数在某点可微的充分必要条件是在该点可导.
  (2) 若函数在某点可微,则在该点必然连续.
  (3) 函数在点的微分,其中的.更一般地,函数在点的微分,其中的,而自变量的增量就等于它的微分,即,于是微分的定义式为
  可见,函数的微分等于函数的导数与自变量的微分的乘积.
  如果在上式两端用去除,得,即函数的微分除以自变量的微分等于函数的导数,因此导数也称为“微商”,意即“微分之商”.

  典型例题
   3.5.1 求函数时的增量与微分
   所求的增量为
  ,注意到自变量的增量就等于它的微分,所以所求的微分
  可见,在此题中,

   3.5.2 设函数的某邻域内有
  则=(   ).
   当自变量从变到时,函数就相应地从变到,由此自变量的增量和函数的增量分别为
  从而可以写为
  对照微分的定义知在点处可微,且,故应填2.

二、基本初等函数的微分公式与微分运算法则


  由微分的定义可知,求函数之微分只要求得其导数,再乘以自变量的微分即可,因此有一个导数公式,相应地就有一个微分公式.
  1 、基本初等函数的导数公式和微分公式
  1、 (为常数);
  2、 (为任意常数);
  3、
  4、
  5、
  6、
  7、
  8、
  9、
  特别地,当时,,
  10、
  特别地,当时,,
  11、
  12、
  13、
  14、
  2 、微分的四则运算法则
  由函数的和、差、积、商的求导法则,可推得相应的微分法则.
  设均可微,则
  (1)
  (2)(为常数);
  (3)
  我们以乘积为例加以证明,其它法则都可以用类似的方法证明,请同学们自证.
  根据函数微分的定义式,有
  而 ,所以

  3 、复合函数的微分法则
  设,则复合函数的微分为
  而,所以
  可见,不论是自变量还是中间变量,微分形式的形式保持不变,这称为微分形式不变性

  典型例题
   3.5.3 设,求
   
    
    

   3.5.4 ,求
   
     
     

   3.5.5 设,求
   
    ∴
  或利用微分形式不变性,中间变量,得

   3.5.6   ,求
   
     

   3.5.7 设 ,求
   两边求微分得
  即
  解出

   3.5.8 设函数可导,求函数的微分.
   

三、微分在近似计算中的应用


  前面已经看到,当充分小时,有近似公式
  近似计算公式:当自变量从点 变到 时,若 充分小(可记为 ),则有
  (1)   ,即
  (2)  
  特别地,当 时, (2) 式为
  利用公式(1)可以估算函数的增量,利用公式(2)可以估算函数在某点的函数值.

  典型例题
   3.5.9 求的近似值.
  分析 这是估算函数在点处的函数值,所以考虑用公式(2).注意到非常接近1,且函数在1处的函数值容易求,所以取
   ,取,于是
  即 
  注意:近似计算中出现的三角函数的角度单位只能用弧度,不能用度.

   3.5.10 设有一个正方体物体,测得其棱长为2米,由此算得它的体积为立方米.已知测量棱长时有不超过0.01米的误差,问计算出的体积的误差大概是多少?
  分析 棱长的测量值为2,但其真值(实际值)为(),则问题归结为估算体积函数的增量,所以用公式(1).
   ,取,于是
  即 
  所以算出的体积存在的误差不超过立方米.

   3.5.11 利用公式 ),证明:当时,有下列公式
  ;   ;   
  ;     
  我们只推导其中的第一个近似计算公式.其余请同学们自证.
   取,则,于是,代入公式,并注意将写为便得到
  在计算函数的近似值时,只要充分小,就可以直接套用公式.例如:
  .         (
  .(
  .              (
  .                 (
  .              (