博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
《陶哲轩实分析》定理10.1.15:导数的链法则
阅读量:5824 次
发布时间:2019-06-18

本文共 2526 字,大约阅读时间需要 8 分钟。

设$X,Y$是$\mathbf{R}$的子集合,$x_0\in X$是$X$的极限点,并设$y_0\in Y$是$Y$的极限点.设$f:X\to Y$是函数,使得$f(x_0)=y_0$并且$f$在$x_0$处可微.假设$g:Y\to\mathbf{R}$是在$y_0$处可微的函数,那么函数$g\circ f:X\to\mathbf{R}$在$x_0$处可微,且

  \begin{equation}
    \label{eq:15.14.40}
    (g\circ f)'(x_0)=g'(y_0)f'(x_0)
  \end{equation}

证明:

  \begin{equation}
    \label{eq:15.14.41}
    g(f(x_0))'=\lim_{\Delta x\to 0;\Delta x\neq 0}\frac{g(f(x_0+\Delta x))-g(f(x_0))}{\Delta x}
  \end{equation}
令$f(x_0+\Delta x)=f(x_0)+\varepsilon(\Delta x)$.其中$\Delta x\to 0$时,$\varepsilon(\Delta x)\to 0$.则\ref{eq:15.14.41}变成
  \begin{equation}
    \label{eq:15.14.54}
    \lim_{\Delta x\to 0;\Delta x\neq 0}\frac{g(f(x_0)+\varepsilon(\Delta x))-g(f(x_0))}{\Delta x}
  \end{equation}

\ref{eq:15.14.54}可以变成

  \begin{equation}
    \label{eq:15.14.57}
    \lim_{\Delta x\to 0;\Delta x\neq 0}\frac{g(f(x_0)+\varepsilon(\Delta x))-g(f(x_0))}{\varepsilon(\Delta x)}\frac{\varepsilon (\Delta x)}{\Delta x}
  \end{equation}
但是\ref{eq:15.14.57}要成立,首先得保证$\varepsilon(\Delta x)$不为0(否则分母没意义).
当$f'(x_0)\neq 0$时,我们取足够小的$|\Delta x|>0$后,总可以使$\varepsilon(\Delta x)$保持非负(根据)(为什么?).因此在$f'(x_0)\neq 0$时,我们不必担心当$\Delta x\to 0$时,$\varepsilon(\Delta x)$可能会等于零这个问题.
当$f'(x_0)=0$时,在$\Delta x\to 0$的过程中,$\varepsilon(\Delta x)$可能会等于零.这时,\ref{eq:15.14.57}不再成立.虽然\ref{eq:15.14.57}不再成立,但是\ref{eq:15.14.54}仍成立.当$\varepsilon(\Delta x)=0$时,
  \begin{equation}
    \label{eq:15.18.32}
    \lim_{\Delta x\to 0;\Delta x\neq 0;\varepsilon(\Delta x)=0}\frac{f(f(x_0)+\varepsilon(\Delta x))-g(f(x_0))}{\Delta x}=0
  \end{equation}
而且$g'(x_0)f'(x_0)=0$.而且
  \begin{equation}
    \lim_{\Delta x\to 0;\Delta x\neq 0;\varepsilon(\Delta x)\neq 0}\frac{g(f(x_0)+\varepsilon(\Delta x))-g(f(x_0))}{\varepsilon(\Delta x)}\frac{\varepsilon(\Delta x)}{\Delta x}=0
  \end{equation}
综上,链法则得证.

 

 

注1:另一种证明方法如下:我先给出函数 $g\circ f$ 在 $y_0$ 处可微,且导数为 $L$ 的充要条件:(Newton 逼近)$f(x)-(f(x_0)+L(x-x_0)=o(|x-x_0|)$.其中 $\lim_{x\to x_0;x\neq x_0}\frac{o(|x-x_0|)}{x-x_0}=0$.

下面我们来证明
\begin{align*}
  (g\circ f)(x)-(g\circ f(x_0)+g'(y_0)f'(x_0)(x-x_0)=o(|x-x_0|).
\end{align*}
由于 $f$ 在点 $x_0$ 处可微,因此
\begin{align*}
  f'(x_0)(x-x_0)=f(x_0)-f(x)+o_1(|x-x_0|).
\end{align*}
于是我们只用证明
\begin{align*}
  (g\circ f)(x)-(g\circ f(x_0)+g'(y_0)(f(x_0)-f(x)+o_1(|x-x_0|))=o(|x-x_0|).
\end{align*}
由于 $g$ 在 $y_0$ 处可微,因此易得
\begin{align*}
  g'(y_0)(f(x_0)-f(x)+o_1(|x-x_0|))=g\circ f(x_{0})-g\circ f(x)+o_2(|x-x_0|).
\end{align*}
(为什么?)于是我们只用证明
\begin{align*}
  2(g\circ f)(x)-2(g\circ f)(x_{0})=o_2(|x-x_0|)+o(|x-x_0|)=o_3(|x-x_0|).
\end{align*}
命题得证(为何?).

 

注2:利用以上这个另一种方法可以证明多元微积分中的复合函数求导法则.

转载于:https://www.cnblogs.com/yeluqing/archive/2012/10/15/3827902.html

你可能感兴趣的文章
Golang 使用 Beego 与 Mgo 开发的示例程序
查看>>
ntpdate时间同步
查看>>
+++++++子域授权与编译安装(一)
查看>>
asp.net怎样在URL中使用中文、空格、特殊字符
查看>>
路由器发布服务器
查看>>
实现跨交换机VLAN间的通信
查看>>
jquery中的data-icon和data-role
查看>>
python例子
查看>>
环境变量(总结)
查看>>
ios之UILabel
查看>>
Java基础之String,StringBuilder,StringBuffer
查看>>
1月9日学习内容整理:爬虫基本原理
查看>>
安卓中数据库的搭建与使用
查看>>
AT3908 Two Integers
查看>>
渐变色文字
查看>>
C++ 0X 新特性实例(比较常用的) (转)
查看>>
node生成自定义命令(yargs/commander)
查看>>
各种非算法模板
查看>>
node-express项目的搭建并通过mongoose操作MongoDB实现增删改查分页排序(四)
查看>>
如何创建Servlet
查看>>