武汉大学2009年数学分析试题解答

武汉大学2009年数学分析试题解答

一．1.解$\underset{n\to \infty }{\mathop{\lim }}\,\left( \frac{1}{1+2}+\frac{1}{1+2+3}+\cdots +\frac{1}{1+2+\cdots +n} \right)$

$=\underset{n\to \infty }{\mathop{\lim }}\,\sum\limits_{k=2}^{n}{\frac{2}{k\left( k+1 \right)}}$$=2\underset{n\to \infty }{\mathop{\lim }}\,\left( \frac{1}{2}-\frac{1}{n+1} \right)=1$；

2.解 $\underset{x\to 0}{\mathop{\lim }}\,\frac{\int_{0}^{x}{\left( x-t \right)\sin {{t}^{2}}dt}}{x\int_{0}^{x}{\sin {{t}^{2}}dt}}$

$=\underset{x\to 0}{\mathop{\lim }}\,\frac{x\int_{0}^{x}{\sin {{t}^{2}}dt}-\int_{0}^{x}{t\sin {{t}^{2}}dt}}{x\int_{0}^{x}{\sin {{t}^{2}}dt}}$

$=\underset{x\to 0}{\mathop{\lim }}\,\frac{\int_{0}^{x}{\sin {{t}^{2}}dt}}{\int_{0}^{x}{\sin {{t}^{2}}dt}+x\sin {{x}^{2}}}$

$=\underset{x\to 0}{\mathop{\lim }}\,\frac{\sin {{x}^{2}}}{\sin {{x}^{2}}+\sin {{x}^{2}}+2{{x}^{2}}\cos {{x}^{2}}}$

$=\underset{x\to 0}{\mathop{\lim }}\,\frac{\frac{\sin {{x}^{2}}}{{{x}^{2}}}}{\frac{2\sin {{x}^{2}}}{{{x}^{2}}}+2\cos {{x}^{2}}}=\frac{1}{4}$；

3.解 因为$\sin t=\sum\limits_{n=0}^{\infty }{\frac{{{\left( -1 \right)}^{n}}}{\left( 2n+1 \right)!}{{t}^{2n+1}}}$，

$F\left( x \right)=\frac{1}{x}\int_{0}^{x}{\frac{\sin t}{t}dt}$$=\frac{1}{x}\int_{0}^{x}{\sum\limits_{n=0}^{\infty }{\frac{{{\left( -1 \right)}^{n}}}{\left( 2n+1 \right)!}{{t}^{2n}}}dt}$

   $=\frac{1}{x}\sum\limits_{n=0}^{\infty }{\frac{{{\left( -1 \right)}^{n}}}{\left( 2n+1 \right)!}\frac{1}{\left( 2n+1 \right)}{{x}^{2n+1}}}$

   $=\sum\limits_{n=0}^{\infty }{\frac{{{\left( -1 \right)}^{n}}}{{{\left( 2n+1 \right)}^{2}}\left( 2n \right)!}{{x}^{2n}}}$，

于是${{F}^{\left( 2n \right)}}\left( 0 \right)=\frac{{{\left( -1 \right)}^{n}}}{{{\left( 2n+1 \right)}^{2}}}$，${{F}^{\left( 2n-1 \right)}}\left( 0 \right)=0$，

所以${{F}^{\left( 4 \right)}}\left( 0 \right)=\frac{1}{25}$，${{F}^{\left( 9 \right)}}\left( 0 \right)=0$.

4. $\frac{\partial z}{\partial x}=-\frac{\left( yz+xyz \right){{e}^{x+y+z}}}{\left( xy+xyz \right){{e}^{x+y+z}}}=-\frac{z\left( 1+x \right)}{x\left( 1+z \right)}=-\frac{1+\frac{1}{x}}{1+\frac{1}{z}}$，$\frac{\partial z}{\partial y}=-\frac{1+\frac{1}{y}}{1+\frac{1}{z}}$；

$\frac{{{\partial }^{2}}z}{\partial {{x}^{2}}}=\frac{\frac{1}{{{x}^{2}}}\left( 1+\frac{1}{z} \right)-\frac{{{z}_{x}}}{{{z}^{2}}}\left( 1+\frac{1}{x} \right)}{{{\left( 1+\frac{1}{z} \right)}^{2}}}$$=\frac{z\left[ {{\left( 1+z \right)}^{2}}+{{\left( 1+x \right)}^{2}} \right]}{{{x}^{2}}{{\left( 1+z \right)}^{3}}}$；

$\frac{{{\partial }^{2}}z}{\partial x\partial y}=\frac{\frac{{{z}_{y}}}{{{z}^{2}}}\left( 1+\frac{1}{x} \right)}{{{\left( 1+\frac{1}{z} \right)}^{2}}}=\frac{z\left( 1+x \right)\left( 1+y \right)}{xy{{\left( 1+z \right)}^{3}}}$.

5.解 $\iint\limits_{D}{\ln \frac{{{x}^{3}}}{y}dxdy}$$=\int_{1}^{2}{dx\int_{1}^{x}{3\ln xdy}}-\int_{1}^{2}{dy\int_{y}^{2}{\ln ydx}}$

$=3\int_{1}^{2}{\left( x-1 \right)\ln xdx}-\int_{1}^{2}{\left( 2-y \right)\ln ydy}$

$=\int_{1}^{2}{\left( 4x-5 \right)\ln xdx}$

$=\int_{1}^{2}{{{\left( 2{{x}^{2}}-5x \right)}^{\prime }}\ln xdx}$

$=\left. \left[ \left( 2{{x}^{2}}-5x \right)\ln x-\left( {{x}^{2}}-5x \right) \right] \right|_{1}^{2}$

$=-2\ln 2+2$.

二．证明：对于每一个$x\in \left[ 0,1 \right]$，由于$\left\{ {{I}_{u}} \right\}$覆盖了$\left[ 0,1 \right]$，

存在${{I}_{{{u}_{x}}}}\in \left\{ {{I}_{u}} \right\}$，使得$x\in {{I}_{{{u}_{x}}}}$，

又由${{I}_{{{u}_{x}}}}$是开区间，存在${{\delta }_{x}}>0$，

使得$x\in U\left( x,{{\delta }_{x}} \right)\subset U\left( x,2{{\delta }_{x}} \right)\subset {{I}_{{{u}_{x}}}}$，

显然开集族$\left\{ U\left( x,{{\delta }_{x}} \right):x\in \left[ 0,1 \right] \right\}$亦覆盖了区间$\left[ 0,1 \right]$，

根据有限覆盖定理，

存在有限个${{x}_{1}},{{x}_{2}},\cdots ,{{x}_{N}}$，使得

$U\left( {{x}_{1}},{{\delta }_{{{x}_{1}}}} \right),U\left( {{x}_{2}},{{\delta }_{{{x}_{2}}}} \right),\cdots ,U\left( {{x}_{N}},{{\delta }_{{{x}_{N}}}} \right)$就能覆盖了$\left[ 0,1 \right]$，

取$\delta =\min \left\{ {{\delta }_{{{x}_{1}}}},{{\delta }_{{{x}_{2}}}},\cdots ,{{\delta }_{{{x}_{N}}}} \right\}$，

对任意${{y}_{1}},{{y}_{2}}\in \left[ 0,1 \right]$，

当$\left| {{y}_{1}}-{{y}_{2}} \right|<\delta$时，

存在$U\left( {{x}_{k}},{{\delta }_{{{x}_{k}}}} \right)$，有${{y}_{1}}\in U\left( {{x}_{k}},{{\delta }_{{{x}_{k}}}} \right)$，

$\left| {{y}_{2}}-{{x}_{k}} \right|\le \left| {{y}_{1}}-{{y}_{2}} \right|+\left| {{y}_{1}}-{{x}_{k}} \right|<\delta +{{\delta }_{{{x}_{k}}}}\le 2{{\delta }_{{{x}_{k}}}}$，

于是${{y}_{1}},{{y}_{2}}\in U\left( {{x}_{k}},2{{\delta }_{{{x}_{k}}}} \right)\subset {{I}_{{{u}_{{{x}_{k}}}}}}$，

结论得证.

（2）例如$\left\{ \left( \frac{1}{n+1},\frac{1}{n} \right) \right\}$是$\left( 0,1 \right)$的一个开覆盖，就没有这个性质.

三.证明 用反证法，假设结果不真，

存在$M>0$，使得${f}'\left( x \right)\le M$，$x\in \left( a-\delta ,a \right)$.

对任意$a-\delta <x<y<a$，

由Lagrange中值定理，

$f\left( y \right)=f\left( x \right)+{f}'\left( \xi  \right)\left( y-x \right)$

    $\le f\left( x \right)+M\left( y-x \right)\le f\left( x \right)+Ma$，

从而$f\left( x \right)$在$a$的某个左邻域内有上界，这与$f\left( {{a}^{-}} \right)=+\infty$矛盾，

所以命题成立.

四.解 $D=\left\{ \left( x,y \right):{{x}^{2}}+{{y}^{2}}\le y,x\ge 0 \right\}$，

$D=\left\{ \left( x,y \right):{{x}^{2}}+{{\left( y-\frac{1}{2} \right)}^{2}}\le {{\left( \frac{1}{2} \right)}^{2}},x\ge 0 \right\}$，

$\sigma \left( D \right)=\frac{1}{2}\pi {{\left( \frac{1}{2} \right)}^{2}}=\frac{\pi }{8}$，

$z=\iint\limits_{D}{\sqrt{1-{{x}^{2}}-{{y}^{2}}}dxdy}$$=\int_{0}^{\frac{\pi }{2}}{d\theta \int_{0}^{\sin \theta }{\sqrt{1-{{r}^{2}}}rdr}}$

 $=\int_{0}^{\frac{\pi }{2}}{\left. \left[ -\frac{1}{3}{{\left( 1-{{r}^{2}} \right)}^{\frac{3}{2}}} \right] \right|_{0}^{\sin \theta }d\theta }$$=\frac{1}{3}\int_{0}^{\frac{\pi }{2}}{\left( 1-{{\cos }^{3}}\theta  \right)d\theta }$

 $=\frac{\pi }{6}-\frac{1}{3}\int_{0}^{\frac{\pi }{2}}{\left( 1-{{\sin }^{2}}\theta  \right)d\sin \theta }=\frac{\pi }{6}-\frac{2}{9}$,

由$\iint\limits_{D}{f\left( x,y \right)dxdy}=\iint\limits_{D}{\sqrt{1-{{x}^{2}}-{{y}^{2}}}dxdy}-\frac{8}{\pi }\iint\limits_{D}{f\left( x,y \right)dxdy}\cdot \iint\limits_{D}{dxdy}$

             $=\frac{\pi }{6}-\frac{2}{9}-\iint\limits_{D}{f\left( x,y \right)dxdy}$，

所以$\iint\limits_{D}{f\left( x,y \right)dxdy}=\frac{\pi }{12}-\frac{1}{9}$，

所以$f\left( x,y \right)=\sqrt{1-{{x}^{2}}-{{y}^{2}}}-\frac{8}{\pi }\left( \frac{\pi }{12}-\frac{1}{9} \right)$.

五．解 利用极坐标和$Gauss$公式，$I=\iint\limits_{D}{\left( \frac{x}{\sqrt{{{x}^{2}}+{{y}^{2}}}}\frac{\partial f}{\partial x}+\frac{y}{\sqrt{{{x}^{2}}+{{y}^{2}}}}\frac{\partial f}{\partial y} \right)dxdy}$

$=\int_{0}^{1}{dr\int_{0}^{2\pi }{\left( \cos \theta {{f}_{x}}+\sin \theta {{f}_{y}} \right)rd\theta }}$$=\int_{0}^{1}{dr\int\limits_{{{x}^{2}}+{{y}^{2}}={{r}^{2}}}{{{f}_{x}}dy-{{f}_{y}}dx}}$

$=\int_{0}^{1}{dr\iint\limits_{{{x}^{2}}+{{y}^{2}}={{r}^{2}}}{\left( {{f}_{xx}}+{{f}_{yy}} \right)dxdy}}$$=\int_{0}^{1}{dr\iint\limits_{{{x}^{2}}+{{y}^{2}}={{r}^{2}}}{{{\left( {{x}^{2}}+{{y}^{2}} \right)}^{2}}dxdy}}$

$=\int_{0}^{1}{dr\int_{0}^{2\pi }{d\theta \int_{0}^{r}{{{\rho }^{4}}\rho d\rho }}}$$=2\pi \cdot \frac{1}{6}\int_{0}^{1}{{{r}^{6}}dr}$$=2\pi \cdot \frac{1}{6}\cdot \frac{1}{7}=\frac{\pi }{21}$.

六．  证明  因为$\underset{n\to \infty }{\mathop{\lim }}\,{{a}_{n}}=+\infty$，对任给的$A>0$，存在${{N}_{1}}\in {{N}^{*}}$，使得凡是$n>{{N}_{1}}$时有${{a}_{n}}>3A$；设$n>{{N}_{1}}$，这时

$\frac{{{a}_{1}}+{{a}_{2}}+\cdots +{{a}_{n}}}{n}$$=\frac{({{a}_{1}}+\cdots +{{a}_{{{N}_{1}}}})+{{a}_{{{N}_{1}}+1}}+\cdots +{{a}_{n}}}{n}$

$>\frac{{{a}_{1}}+\cdots +{{a}_{{{N}_{1}}}}}{n}+3A\frac{n-{{N}_{1}}}{n}$，又因$\frac{{{a}_{1}}+\cdots +{{a}_{{{N}_{1}}}}}{n}\to 0$，$\frac{n-{{N}_{1}}}{n}=1-\frac{{{N}_{1}}}{n}\to 1$，（$n\to \infty$），

故可取正整数$N>{{N}_{1}}$，使当$n>N$时，恒有$|\frac{{{a}_{1}}+\cdots +{{a}_{{{N}_{1}}}}}{n}|<\frac{A}{2}$，$\frac{n-{{N}_{1}}}{n}=1-\frac{{{N}_{1}}}{n}>\frac{1}{2}$

于是，当$n>N$时，恒有$\frac{{{a}_{1}}+{{a}_{2}}+\cdots +{{a}_{n}}}{n}>A$，由此可知$\underset{n\to \infty }{\mathop{\lim }}\,\frac{{{a}_{1}}+{{a}_{2}}+\cdots +{{a}_{n}}}{n}=+\infty$ 。

显然，$\underset{n\to \infty }{\mathop{\lim }}\,{{a}_{n}}=-\infty$等价于$\underset{n\to \infty }{\mathop{\lim }}\,(-{{a}_{n}})=+\infty$ 。

定理  如果$\underset{n\to \infty }{\mathop{\lim }}\,{{a}_{n}}=-\infty$，则$\underset{n\to \infty }{\mathop{\lim }}\,\frac{{{a}_{1}}+{{a}_{2}}+\cdots +{{a}_{n}}}{n}=-\infty$。

七、解 （1）$\sum\limits_{n=1}^{\infty }{{{u}_{n}}\left( x \right)}$，$\left[ 0,b \right]$，

所以${{\beta }_{n}}=\underset{x\in \left[ 0,+\infty  \right)}{\mathop{\sup }}\,\left| {{u}_{n}}\left( x \right) \right|$，$\ge {{u}_{n}}\left( {{e}^{{{n}^{3}}}} \right)=\frac{1}{{{n}^{3}}}\ln \left( 1+{{n}^{3}}{{e}^{{{n}^{3}}}} \right)$，

（2）当$\ge \frac{1}{{{n}^{3}}}\ln {{e}^{{{n}^{3}}}}=1$时，$\left\{ {{u}_{n}}\left( x \right) \right\}$，

$\left[ 0,+\infty  \right)$，

当$0$不存在，$\sum\limits_{n=1}^{\infty }{{{u}_{n}}\left( x \right)}$在$\left[ 0,+\infty  \right)$处不连续，

当$S\left( x \right)$不存在，$\left[ 0,+\infty  \right)$在${{{u}'}_{n}}\left( x \right)=\frac{{{n}^{3}}}{{{n}^{3}}\left( 1+{{n}^{3}}x \right)}$处不连续，

（3）当$\sum\limits_{n=1}^{\infty }{{{{{u}'}}_{n}}\left( 0 \right)}$时，

$\frac{f\left( \Delta x,\Delta y \right)-\left[ f(0,0)+{{f}_{x}}\left( 0,0 \right)\Delta x+{{f}_{y}}\left( 0,0 \right)\Delta y \right]}{\sqrt{{{\left( \Delta x \right)}^{2}}+{{\left( \Delta y \right)}^{2}}}}$

$0<{{{u}'}_{n}}\left( x \right)\le \frac{1}{{{n}^{3}}x}=\frac{1}{x}\frac{1}{{{n}^{3}}}$，

所以$\sum\limits_{n=1}^{\infty }{{{{{u}'}}_{n}}\left( x \right)}$在点$\left( 0,+\infty  \right)$处可微，且$df\left( 0,0 \right)=0$ 。

八．（1）解 $\left( \frac{\partial }{\partial x}+\frac{\partial }{\partial y} \right)z=\left( x+y \right)\frac{\partial z}{\partial u}$，

${{\left( \frac{\partial }{\partial x}+\frac{\partial }{\partial y} \right)}^{2}}z=\left( \frac{\partial }{\partial x}+\frac{\partial }{\partial y} \right)\left( \left( x+y \right)\frac{\partial z}{\partial u} \right)$

          $=2\frac{\partial z}{\partial u}+{{\left( x+y \right)}^{2}}\frac{{{\partial }^{2}}z}{\partial {{u}^{2}}}$，

由$x=\frac{v\pm \sqrt{{{v}^{2}}+4u}}{2}$，$y=\frac{-v\pm \sqrt{{{v}^{2}}+4u}}{2}$，

可知$x+y=\sqrt{{{v}^{2}}+4u}$，$\frac{{{\partial }^{2}}z}{\partial {{u}^{2}}}+\frac{1}{{{v}^{2}}+4u}\frac{\partial z}{\partial u}=0$.

（2）由$\frac{\partial \left( u,v \right)}{\partial \left( x,y \right)}=-\left( x+y \right)$，变量在$x+y=0$上失效，因为在此雅克比行列式为$0$.

九.（1）证明 对任意$b>0$，当$x\in \left[ 0,b \right]$时，

$0\le {{u}_{n}}\left( x \right)=\frac{1}{{{n}^{3}}}\ln \left( 1+{{n}^{3}}x \right)$

       $\le \frac{1}{{{n}^{3}}}\ln \left( 1+{{n}^{3}}b \right)$

        $\le \frac{1}{{{n}^{2}}}\frac{1}{n}\ln \left( 2{{n}^{3}}b \right)=\frac{1}{{{n}^{2}}}\frac{\ln \left( 2b \right)+3\ln n}{n}$      $\left( {{n}^{3}}\ge \frac{1}{6} \right)$

        $\le \frac{1}{{{n}^{2}}}$ ， （$n$充分大）

而$\sum\limits_{n=1}^{\infty }{\frac{1}{{{n}^{2}}}}$收敛，所以$\sum\limits_{n=1}^{\infty }{{{u}_{n}}\left( x \right)}$在$\left[ 0,b \right]$上是一致收敛的.

因为${{\beta }_{n}}=\underset{x\in \left[ 0,+\infty  \right)}{\mathop{\sup }}\,\left| {{u}_{n}}\left( x \right) \right|\ge {{u}_{n}}\left( {{e}^{{{n}^{3}}}} \right)=\frac{1}{{{n}^{3}}}\ln \left( 1+{{n}^{3}}{{e}^{{{n}^{3}}}} \right)$

                  $\ge \frac{1}{{{n}^{3}}}\ln {{e}^{{{n}^{3}}}}=1$，

所以$\left\{ {{u}_{n}}\left( x \right) \right\}$在$\left[ 0,+\infty  \right)$上不一致收敛于$0$，

从而$\sum\limits_{n=1}^{\infty }{{{u}_{n}}\left( x \right)}$在$\left[ 0,+\infty  \right)$上不一致收敛.

（2）显然$S\left( x \right)$在$\left[ 0,+\infty  \right)$上连续，${{{u}'}_{n}}\left( x \right)=\frac{{{n}^{3}}}{{{n}^{3}}\left( 1+{{n}^{3}}x \right)}$，

显然$\sum\limits_{n=1}^{\infty }{{{{{u}'}}_{n}}\left( 0 \right)}$发散，对于$x>0$，$0<{{{u}'}_{n}}\left( x \right)\le \frac{1}{{{n}^{3}}x}=\frac{1}{x}\frac{1}{{{n}^{3}}}$，

可见$\sum\limits_{n=1}^{\infty }{{{{{u}'}}_{n}}\left( x \right)}$在$\left( 0,+\infty  \right)$上收敛，

对任意$\delta >0$，当$x\in \left[ \delta ,+\infty  \right)$时，$0<{{{u}'}_{n}}\left( x \right)\le \frac{1}{{{n}^{3}}x}\le \frac{1}{\delta }\frac{1}{{{n}^{3}}}$，

由此知，$\sum\limits_{n=1}^{\infty }{{{{{u}'}}_{n}}\left( x \right)}$在$\left[ \delta ,+\infty  \right)$上一致收敛，且有${S}'\left( x \right)=\sum\limits_{n=1}^{\infty }{{{{{u}'}}_{n}}\left( x \right)}$，

所以$S\left( x \right)$在$\left[ \delta ,+\infty  \right)$上连续可微，

由$\delta >0$的任意性，可知，$S\left( x \right)$在$\left( 0,+\infty  \right)$上可微