陶哲轩实分析-第10章 函数的微分

10.1 基本定义

这一章真简单啊，看起来真轻松，估计这本书也就这9,10,11章能看起来稍微轻松点。
习题
10.1.1
如果$\lim\limits_{x\to x_0;x\in X\setminus\{x_0\}}\frac{f(x)-f(x_0)}{x-x_0}=L$，由于$Y\subset X$，所以$\lim\limits_{x\to x_0;x\in Y\setminus\{x_0\}}\frac{f(x)-f(x_0)}{x-x_0}=L$
与注10.1.2不矛盾因为3不是X的极限点。

10.1.2
如果$x=x_0$，等号两边都等于0。
如果$x\ne x_0$，根据导数的定义，只要$|x-x_0|\le \delta$，就有$|\frac{f(x)-f(x_0)}{x-x_0}-L|\le \varepsilon$，证明完成。

10.1.3
根据命题10.1.7只要$|x-x_0|\le\delta$，就有$|f(x)-f(x_0)|\le(L+\varepsilon)(x-x_0)$，这样，对于选定的$\varepsilon$，只要$\delta\le \varepsilon/(L+\varepsilon)$即可。

10.1.4
(a)直接根据定义
(b)直接根据定义
(c)根据定义和命题9.3.14
(e)根据定义和命题9.3.14
(f)根据定义和命题9.3.14
(d)根据提示
(g)$|\frac{1/g(x)-1/g(x_0)}{x-x_0}=|\frac{g(x)-g(x_0)}{x-x_0}\frac 1{g(x)g(x_0)}$，证明完成。
(h)结合(d)和(g)可以得出。

10.1.5
归纳法
n=1成立
归纳假设$f'(x)=nx^{n-1}$，那么对于$g(x)=x^{n+1}$，根据10.1.13(d)，$g'=xf'(x)+f(x)=nx^n+x^n=(n+1)x^n$，证明完成。

10.1.6
$f(x)=x^n=1/x^{-n}$，-n为自然数除去0，只要对$g(x)=1/x^n，n\in N$证明即可，用归纳法容易证明。

10.1.7
如果理解了提示，证明就完成了，其它数里面证明方式大都是用第二种提示。
$\lim \frac {gf(x)-gf(x_0)}{x-x_0}=\lim \frac {gf(x)-gf(x_0)}{f(x)-f(x_0)}\frac{f(x)-f(x_0)}{x-x_0}$

10.2 局部最大、局部最小以及导数

习题
10.2.1
只考虑最大值的情况，最小值情况类似。
那么对于$x\in X\cap(x_0-\delta, x_0)$，有$\frac{f(x)-f(x_0)}{x-x_0}\ge0$，而对于$x\in X\cap(x_0, x_0+\delta)$，有$\frac{f(x)-f(x_0)}{x-x_0}\le 0$，由于$x_0$点可微，那么极限$\frac{f(x)-f(x_0)}{x-x_0}，(x_0-\delta,x_0+\delta)$必然存在，那么必须等于0.

10.2.2 f(x)=-|x|，在0点不可微，所以不矛盾。

10.2.3$f(x)=x^3$，10.2.6的逆命题不成立。

10.2.4
如果整个区间函数值都相等，那么$g'(a)=0$。
否则必然有某个点不等于g(a)，并且根据命题9.6.7，函数在ab外的某点达到最大值（或最小值，类似讨论），假设点c处$f(c)>f(a)=f(b)$，那么根据命题10.2.6，f’(c)=0。

10.2.5
考虑$g(x)=f(x)-\frac{f(b)-f(a)}{b-a}x$，那么g(a)=g(b)，再利用定理10.2.7，证明完成。

10.2.6根据推论10.2.9，对于任意x、y，存在a满足$|f(y)-f(x)|=|f'(a)||(y-x)|\le M|y-x|$。

10.2.7要证明一致连续，需要证明对于任意$\varepsilon$，存在$\delta$，满足只要$|x-y|\le\delta$，就有$|f(x)-f(y)|\le\varepsilon$，对于选定$\varepsilon$，根据习题10.2.6，只要满足$x-y\le \varepsilon/M$，就有$f(y)-f(x)|=|f'(a)||(y-x)|\le M\varepsilon/M=\varepsilon$，x任意选择，证明完成。

10.3 单调函数及其导数

习题
10.3.1
对于$x>x_0$，$\frac{f(x)-f(x_0)}{x-x_0}\ge 0$
对于$x<x_0$，$\frac{f(x)-f(x_0)}{x-x_0}\ge 0$
联合起来结论得证。
注意，就算严格增，上面的等号也是有可能成立的，如下面习题10.3.3，因为大于0的序列的极限可能是0，虽然不可能是负数。

10.3.2
$f(x)=x, x\in(-1,0]$
$f(x)=2x, x\in(0,1)$
在0点不可微，所以不矛盾。

10.3.3$f(x)=x^3$

10.3.4对于任意$c,d\in [a,b]$，存在$x\in(c,d)$，满足$f(c)-f(d)=f'(x)(c-d)$。
那么如果$f'(x)>0则f(c)>f(d)$
如果$f'(x)<0则f(c)<f(d)$
如果$f'(x)=0则f(c)=f(d)$

10.3.5
$f(x)=x, x\in[0,1]$
$f(x)=x-2, x\in[2,3]$

10.4 反函数及其导数
定理10.4.2真命中为什么$y_n$收敛能断定$x_n$收敛？提示f为双射
事实上，$f^{-1}$连续，根据9.4.1连续函数的定义，$y_n$收敛则必然$x_n$收敛，并且收敛到$f^{-1}(y_0)=x_0$。

习题
10.4.1
(a)命题9.8.3说连续严格单调增的函数的反函数也是连续严格单调增的
(b)$y=x^{\frac 1n}，g'(x)=1/f'(y)=1/ny^{n-1}=\frac 1n x^{\frac 1n-1}$

10.4.2 q=a/b
(a) $f'(x)=(x^{\frac 1b})^a=a(x^{\frac 1b})^{a-1}*\frac 1b x^{\frac 1b -1}=\frac ab x^{\frac ab -1}=qx^{q-1}$
(b) $f(x)=x^q$在1点的导数的定义就是左边的式子，而根据(a)，应该等于q

10.4.3
(a) 根据极限定义，需要证明对于任意$\varepsilon$，找到$\delta$，可以找到比例数$\varepsilon_1$满足$0<\varepsilon_1<\varepsilon$，并且当比例数$\delta_1$满足$|x-1|\le\delta$，就有$|\frac {f(x)-f(1)}{x-1}-\alpha|\le\varepsilon_1$，只要$\delta<\delta_1$就可以满足条件。

(b)这个证明感觉可能不如上面那些简单，需要严格用微分定义。需要证明$lim{\frac{x^\alpha-x_0^\alpha}{x-x_0}}=\alpha x_0^{\alpha-1}$。
根据实数定义，可以取任意逼近$\alpha$的序列$a_n$根据习题10.4.2，$\lim\limits{\frac{x^a_n-x_0^{a_n}}{x-x_0}}=a_n x_0^{a_n-1}$。
上面的等式右边根据计算算律，容易得到极限等于$\alpha x_0^{\alpha-1}$，而等式左边对n取极限就是$x^\alpha$的定义，证明完成。

10.5 L’Hopital法则

习题
10.5.1
首先证明在这个区域内$g(x)\ne 0$，根据Newton逼近，命题10.1.7，可以取$\varepsilon=0.1\times g'(x_0)$，那么存在$\delta$，使得如果$x\in(x_0-\delta, x_0+\delta)$，则$|f(x)-g'(x_0)(x-x_0)|\le 0.1\times g'(x_0)|x-x_0|$，这样容易得到不论在$x_0$左边还是右边，$g'(x_0)$大于0还是小于0，g(x)都不等于0。
极限相等的证明
$\frac {f'(x_0)}{g'(x_0)}=\lim\frac{f(x)-f(x_0)}{x-x_0}/\frac{g(x)-g(x_0)}{x-x_0}=\lim\frac{f(x)}{g(x)}$

10.5.2
f’(x)在0点不存在，不满足使用L’Hopital法则的条件。