数分习题的若干问题说明（持续扩展补充）

数分习题的若干问题说明

原函数可导，导函数未必连续

$\begin{array}{l}\text{ 证 明 函数 }\end{array}$
$$f(x)=\{\begin{array}{ll}{\mathrm{e}}^{-\frac{1}{x^2}},& x\ne 0\\ 0,& x=0\end{array}$$
在 $x=0$ 处 $n$ 阶可导且 $f^{(n)}(0)=0,$ 其中$n$ 为任意正整数.

证明：
根据可导的定义，我们只要证明，
$$f^{(k+1)}(0)=\underset{x\to 0}{\lim }\frac{f^{(k)}(x)-f^{(k)}(0)}{x-0}=0$$
这里的$k$为大等于 0 的整数。下面用数学归纳法来证明这个事情。
当 $k=0$ 时，
$$f^{\prime }(0)=\underset{x\to 0}{\lim }\frac{f(x)-f(0)}{x-0}=\underset{x\to 0}{\lim }\frac{{\mathrm{e}}^{-\frac{1}{x^2}}}{x}=\underset{t\to \infty }{\lim }\frac{t}{{\mathrm{e}}^{t^2}}=0$$
这里进行了换元，即令 $t=1/x$。
假设当 $k=n$ 的时候成立，
$$f^{(n+1)}(0)=\underset{x\to 0}{\lim }\frac{f^{(n)}(x)-f^{(n)}(0)}{x-0}=0$$
那么，当$k=n+1$时，我们想要证明，
$$f^{(n+2)}(0)=\underset{x\to 0}{\lim }\frac{f^{(n+1)}(x)-f^{(n+1)}(0)}{x-0}=\underset{x\to 0}{\lim }\frac{f^{(n+1)}(x)}{x}=0$$

若我们可以证明，当$x\ne 0$ 时，具有表达，
$$f^{(n)}(x)=p\left(\frac{1}{x}\right){\mathrm{e}}^{-\frac{1}{x^2}},(n=1,2,\cdots )\text{\hspace{1em}(*)}$$

这里的 $p$ 表示多项式。则有，
$$\underset{x\to 0}{\lim }\frac{f^{(n+1)}(x)}{x}=\underset{x\to 0}{\lim }\frac{1}{x}p\left(\frac{1}{x}\right)e^{-\frac{1}{x^2}}=0$$

下面我们同样用归纳法来证明 (*) 式，

当 $n$ 取 1 时，
$$f^{\prime }(x)=\frac{2}{x^3}{\mathrm{e}}^{-\frac{1}{x^2}}$$
假设 $n$ 的情况下成立，那么，当取 $n+1$ 时，

$$f^{(n+1)}(x)=(p\left(\frac{1}{x}\right){\mathrm{e}}^{-\frac{1}{x^2}})\prime =-\frac{1}{x^2}{p}^{\prime }(\frac{1}{x}){\mathrm{e}}^{-\frac{1}{x^2}}+p(\frac{1}{x}){\mathrm{e}}^{-\frac{1}{x^2}}(2x^{-3})=q(\frac{1}{x}){\mathrm{e}}^{-\frac{1}{x^2}}$$

这里的 $q$ 表示一个多项式。 证毕。

事实上，可以把两个归纳过程，合成一个归纳过程来写，注意逻辑关系。

参量方程问题

对于利用参量方程求斜率，
$$\frac{\mathrm{d}y}{\mathrm{d}x}=\frac{\mathrm{d}y}{\mathrm{d}t}\cdot \frac{\mathrm{d}t}{\mathrm{d}x}=\frac{\mathrm{d}y}{\mathrm{d}t}/\frac{\mathrm{d}x}{\mathrm{d}t}$$
和利用参量方程求向径和切线夹角的正切公式，
$$\tan \phi =\frac{r(\theta )}{r^{\prime }(\theta )}$$

如果分母为 0 的情况是否需要单独考虑？

答：严格来说，需要分类讨论，$r^{\prime }(\theta )=0$，那么夹角就是 90 度。$\mathrm{d}x/\mathrm{d}\mathrm{t}=0$，说明 $x$ 等于常数。那么曲线的参量方程就变成了垂直于 $x$ 轴的直线，斜率为无穷大。

关于向径和切线的夹角

计算向径和切线夹角的时候，考虑射线和直线的夹角，计算的是钝角还是锐角，还是都可以？
一般就不超过 $\pi$，用公式算就可以。算出来的结果，不需要用 $\pi /2$ 再减掉它。

一致连续和Cauchy列到Cauchy列的充要性

设 $I$ 为有限区间 $,f(x)$ 在 $I$ 上有定义,试证: $f(x)$ 在 $I$ 上一致连续充要条件是 $f$ 把 Cauchy 序列映射为 Cauchy 序列 。
证明：
必要性 ：
已 知 $\forall \epsilon >0,\exists \delta >0,$ 当 $x^{\prime },x^{\prime \prime }\in I,\left|x^{\prime }-x^{\prime \prime }\right|<\delta$ 时，有
$$\left|f\left(x^{\prime }\right)-f\left(x^{\prime \prime }\right)\right|<\epsilon$$
设 { x n } \{x_{n}\} {xn​} 为 Cauchy 序列，则对此 $\delta >0,\exists N>0,$ 当 $n,m>N$ 时，有
$\left|x_n-x_m\right|<\delta ,$ 从而，
$$\left|f\left(x_n\right)-f\left(x_m\right)\right|<\epsilon$$
所以 { f ( x n ) } \left\{ f\left(x_{n}\right)\right\} {f(xn​)} 亦为 Cauchy 序列.

充分性：
反证，
若 $f(x)$ 在 $I$ 上非一致连续，则 $\exists {\epsilon }_n>0,\forall {\delta }_n=\frac{1}{n}>0,\exists x_n,x_n^{\prime }\in I:$ 虽 $\left|x_n-x_n^{\prime }\right|<\frac{1}{n}$，但
$$\left|f\left(x_n\right)-f\left(x_n^{\prime }\right)\right|⩾{\epsilon }_n(n=1,2,\cdots )$$
注意到 $I$ 为有限区间 ，$x_n\in I(n=1,2,\cdots )$， 由致密性定理，因此 { x n } \left.\{x_{n}\right\} {xn​} 中存在收敛的子序列 { x n k } \left\{x_{n_{k}}\right\} {xnk​​} ，因 $\underset{n\to \infty }{\lim }\left|x_n-x_n^{\prime }\right|=0$ ， 故 $\left|x_n^{\prime }\right|$ 中相应的子序列 $\left\{x_{n_k}^{\prime }\right\}$ 也收敛于相同的极限。而穿插之后，序列
$$x_{n_1},x_{n_1}^{\prime },x_{n_2},x_{n_2}^{\prime },\cdots ,x_{n_k},x_{n_k}^{\prime },\cdots$$
亦收敛,为 Cauchy 序列。但其像序列
$$f\left(x_{n_1}\right),f\left(x_{x_1}^{\prime }\right),f\left(x_{n_2}\right),f\left(x_{n_2}^{\prime }\right),\cdots ,f\left(x_{n_4}\right),f\left(x_{n_1}^{\prime }\right)\cdots$$
恒有$\left|f\left(x_{n_i}\right)-f\left(x_{n_k}^{\prime }\right)\right|⩾{\epsilon }_0$，不是 Cauchy 列，与已知条件矛盾。

注 $I$ 的有限性只在充分性用到。 对无穷区问，必要性仍成立。

和多项式系正交的连续函数的零点估计

证明:
若 $f$ 在 $[a,b]$ 上连续, 且 ${\int }_a^{b}f(x)\mathrm{d}x={\int }_a^{b}xf(x)\mathrm{d}x=0,$ 则在 $(a,b)$ 内至少存在两点 $x_1,x_2,$
使 $f\left(x_1\right)=f\left(x_2\right)=0,$ 又若 ${\int }_a^b{x}^{2}f(x)\mathrm{d}x=0,$ 这时 $f$ 在 $[a,b]$ 内是否至少有三个零点?

证：
(1) 假设$f$没零点，则${\int }_a^{b}f(x)\mathrm{d}x\ne 0$，矛盾，故至少有一个零点$x_1$。
(2)假设$f$只有一个零点$x_1$，则$f(x)$在$x_1$两边异号，否则，${\int }_a^{b}f(x)\mathrm{d}x\ne 0$，矛盾。那么，$f_1(x)=(x-x_1)f(x)$在$[a,b]$上同号，这和${\int }_a^b{f}_1(x)\mathrm{d}x=0$矛盾，所以，$f(x)$至少有两个零点$x_1,x_2$。
(3)假设$f$只有两个零点$x_1,x_2$（不妨设$x_1<x_2$），只要证得$f(x)$在$x_1,x_2$两边的区间段异号，那么，就有$f_2(x)=(x-x_1)(x-x_2)f(x)$在$[a,b]$上同号，这和${\int }_a^b{f}_2(x)\mathrm{d}x=0$矛盾，所以，$f(x)$至少有三个零点$x_1,x_2,x_3$。下不妨证，$f(x)$在$(a,x_1)$和$(x_1,x_2)$上异号（利用 ${\int }_a^{b}f(x)\mathrm{d}x={\int }_a^{b}xf(x)\mathrm{d}x=0$）。
利用中值定理，
由
$${\int }_a^{b}f(x)\mathrm{d}x={\int }_a^{x_1}f(x)\mathrm{d}x+{\int }_{x_1}^{x_2}f(x)\mathrm{d}x+{\int }_{x_2}^{b}f(x)\mathrm{d}x=0$$
有
$${\int }_{x^2}^{b}f(x)\mathrm{d}x=-{\int }_a^{x_1}f(x)\mathrm{d}x-{\int }_{x_1}^{x_2}f(x)\mathrm{d}x$$
再根据积分中值定理，
$$\begin{array}{rl}& {\int }_a^{b}xf(x)\mathrm{d}x={\int }_a^{x_1}xf(x)\mathrm{d}x+{\int }_{x_1}^{x_2}xf(x)\mathrm{d}x+{\int }_{x_2}^{b}xf(x)\mathrm{d}x\\ & ={\xi }_1{\int }_a^{x_1}f(x)\mathrm{d}x+{\xi }_2{\int }_{x_1}^{x_2}f(x)\mathrm{d}x+{\xi }_3\left[-{\int }_a^{x_1}f(x)\mathrm{d}x-{\int }_{x_1}^{x_2}f(x)\mathrm{d}x\right]\\ & =\left({\xi }_1-{\xi }_3\right){\int }_a^{x_1}f(x)\mathrm{d}x+\left({\xi }_2-{\xi }_3\right){\int }_{x_1}^{x_2}f(x)\mathrm{d}x=0\end{array}$$
其中，$a<{\xi }_1<x_1<{\xi }_2<x_2<{\xi }_3<b$。立得${\int }_a^{x_1}f(x)\mathrm{d}x$ 与 ${\int }_{x_1}^{x_2}f(x)\mathrm{d}x$ 异号。从而$f(x)$在$(a,x_1)$和$(x_1,x_2)$上异号。

此题可以类推到更一般的情况，即${\int }_a^b{x}^{k}f(x)\mathrm{d}x=0,k=0,1,2,...,m$，则$f(x)$有至少$m+1$个零点。证明方式同上，假设只有$x_1<x_2<...<x_m$个零点，那么利用${\int }_a^b{x}^{k}f(x)\mathrm{d}x=0,k=0,1,2,...,m-1$，我们可以证明$f$在$x_i$两边异号，则$(x-x_1)(x-x_2)...(x-x_m)f(x)$在$[a,b]$上不变号，这与其在$[a,b]$上的积分为0，矛盾，故至少有$m$个零点。