1.讨论下列广义积分的一致收敛性:
（1）
$\displaystyle \int_0^{ + \infty } {{e^{ - \left( {1 + {a^2}} \right)t}}\sin t\rd
t} ,\quad a \in \left( { - \infty , + \infty } \right)$;
（2）
$\displaystyle \int_0^{ + \infty } {\frac{{\cos xy}}{{\sqrt {x + y} }}\rd x}
,\quad y \in \left[ {{y_0}, + \infty } \right)$,其中$y_0>0$;
（3）
$\displaystyle \int_0^{ + \infty } {{e^{ - t{x^2}}}\rd x} ,\quad t \in \left(
{0, + \infty } \right)$;
（4）
$\displaystyle \int_1^{ + \infty } {{e^{ - \alpha x}}\frac{{\cos x}}{{\sqrt x
}}\rd x} ,\quad \alpha \in \left[ {0, + \infty } \right)$;
（5）
$\displaystyle \int_0^{ + \infty } {{e^{ - {{\left( {x - y} \right)}^2}}}\rd x}
,\quad y \in \left( { - \infty , + \infty } \right)$;
（6）
$\displaystyle \int_0^{ + \infty } {x\ln x{e^{ - t\sqrt x }}\rd x}$,$\quad$ (1)
$t\in [t_0,+\infty)$,其中$t_0>0$,$\quad$ (2)
$t\in (0,+\infty)$;
（7）
$\displaystyle \int_1^{ + \infty } {\frac{{1 - {e^{ - ut}}}}{t}\cos t\rd t}
,\quad u \in \left[ {0,1} \right]$;
（8）
$\displaystyle \int_0^{ + \infty } {\frac{{\alpha t}}{{1 + {\alpha ^2} +
{t^2}}} \cdot {e^{ - {\alpha ^2}{t^2}}}\cos {\alpha ^2}{t^2}\rd t} ,\quad
\alpha \in \left( {0, + \infty } \right)$;
（9）
$\displaystyle \int_0^{ + \infty } {{e^{ - {x^2}\left( {1 + {y^2}}
\right)}}\sin y\rd y} ,\quad x \in \left( {0, + \infty } \right)$;
（10）
$\displaystyle \int_0^{ + \infty } {\frac{{\alpha \rd x}}{{1 + {\alpha
^2}{x^2}}}} ,\quad \alpha \in \left( {0,1} \right)$;
（11）
$\displaystyle \int_0^2 {\frac{{{x^t}}}{{\sqrt[3]{{\left( {x - 1} \right)\left(
{x - 2} \right)}}}}\rd x} ,\quad \left| t \right| < \frac{1}{2}$;
（12）
$\displaystyle \int_0^1 {{{\left( {1 - x} \right)}^{u - 1}}\rd x}$,$\quad$ (1)
$u\in [a,+\infty)$,其中$a>0$,$\quad$ (2)
$u\in (0,+\infty)$.
解.
（1） 一致收敛.由于
\[\left|
{{e^{ - \left( {1 + {a^2}} \right)t}}\sin t} \right| \le {e^{ - t}},\quad 0 \le
t < + \infty , - \infty < a < + \infty ,\]
而$\int_0^{ + \infty } {{e^{ - t}}\rd t} = 1$收敛,由Weierstrass判别法知, $\int_0^{ + \infty } {{e^{ - \left( {1 +
{a^2}} \right)t}}\sin t\rd t}$在$\left( { - \infty , +
\infty } \right)$上一致收敛.
（2） 一致收敛.由于
\[\left|
{\int_0^A {\cos xy\rd x} } \right| = \left| {\frac{{\sin Ay}}{y}} \right| \le
\frac{1}{y} \le \frac{1}{{{y_0}}}, \quad A \ge 0,y \ge {y_0},\]
因此它在$[y_0,+\infty)$一致有界.而$1/\sqrt{x+y}$是$x$的单调减少函数且$0<1/\sqrt{x+y}\leq 1/\sqrt{x+y_0}$,而$\lim_{x\to +\infty}
\frac{1}{\sqrt{x+y_0}}=0$, 故这个极限关于$y$在$[y_0,+\infty)$上是一致的.于是由Dirichlet判别法知$\int_0^{ +
\infty } {\frac{{\cos xy}}{{\sqrt {x + y} }}\rd x} $在$\left[ {{y_0}, + \infty } \right)$上一致收敛.
（3） 非一致收敛.对于正整数$n$,取$t_n=\frac1{n^2}$,这时
\begin{align*}\left|
{\int_n^{2n} {{e^{ - {t_n}{x^2}}}\rd x} } \right| &= \int_n^{2n} {{e^{ -
\frac{1}{{{n^2}}}{x^2}}}\rd x} > \int_n^{2n} {{e^{ -
\frac{1}{{{n^2}}}{{\left( {2n} \right)}^2}}}\rd x} \\&= \int_n^{2n} {{e^{ -
4}}\rd x} = {e^{ - 4}}n \ge {e^{ - 4}}.\end{align*}
因此,只要取$\varepsilon_0=e^{-4}$,则对于任意大的正数$A_0$,总存在正整数$n$满足$n>A_0$,及$t_n=1/n^2\in
(0,+\infty)$,使得$\left| {\int_n^{2n}
{{e^{ - {t_n}{x^2}}}\rd x} } \right| > {e^{ - 4}} = {\varepsilon _0}$.由Cauchy收敛原理的推论可知$\int_0^{ +
\infty } {{e^{ - t{x^2}}}\rd x} $关于$t$在$\left( {0, + \infty } \right)$上非一致收敛.
（4） $\int_1^A
{\cos x\rd x}$显然有界, $1/\sqrt{x}$在$[1,+\infty)$上单调且$\lim_{x\to
+\infty}\frac{1}{\sqrt{x}}=0$,由Dirichlet判别法, $\int_1^{+\infty}\frac{\cos x}{\sqrt{x}}$收敛,它当然关于$\alpha$一致收敛.显然$e^{-\alpha
x}$关于$x$单调,且\[0\leq
e^{-\alpha x}\leq 1,\quad 0\leq \alpha<+\infty,1\leq x<+\infty,\]即$e^{-\alpha x}$一致有界.由Abel判别法, $\int_1^{
+ \infty } {{e^{ - \alpha x}}\frac{{\cos x}}{{\sqrt x }}\rd x}$在$\left[ {0, + \infty } \right)$上一致收敛.
（5） 不一致收敛.注意到$\displaystyle
J\left( A \right) = \int_A^{2A} {{e^{ - {{\left( {x - y} \right)}^2}}}\rd x} =
\int_{A - y}^{2A - y} {{e^{ - {u^2}}}du}$,并让$y$取$A$值,则得$\displaystyle J\left( A \right) = \int_0^A
{{e^{ - {u^2}}}du} \to \int_0^{ + \infty } {{e^{ - {u^2}}}du} \left( {A \to +
\infty } \right)$,即$J(A)$在$A\to +\infty$时不趋于$0$.
（6） 先证明$\int_0^{ + \infty } {x\ln x{e^{ - t\sqrt x }}\rd
x}$在$[t_0,+\infty)(t_0>0)$上一致收敛.由于
\[\left|
{x\ln x{e^{ - t\sqrt x }}} \right| \le \left| {x\ln x} \right|{e^{ - {t_0}\sqrt
x }},\quad 0\leq x<+\infty,t_0\leq t<+\infty,\]
而$\int_0^1 {x\ln \frac{1}{x}{e^{ - {t_0}\sqrt x
}}\rd x}$与$\int_1^{ + \infty }
{x\ln x{e^{ - {t_0}\sqrt x }}\rd x}$均收敛,由Weierstrass判别法知,
$\int_0^{
+ \infty } {x\ln x{e^{ - t\sqrt x }}\rd x}$在$[t_0,+\infty)$上一致收敛.
再证明$\int_0^{ + \infty } {x\ln x{e^{ - t\sqrt x }}\rd
x}$在$(0,+\infty)$上非一致收敛.对于正整数$n$,取$t_n=\frac{1}{\sqrt{n}}$,这时
\begin{align*}&\left|
{\int_n^{2n} {x\ln x{e^{ - {t_n}\sqrt x }}\rd x} } \right| = \left|
{\int_n^{2n} {x\ln x{e^{ - \frac{1}{{\sqrt n }}\sqrt x }}\rd x} }
\right|\\>& n\ln n\int_n^{2n} {{e^{ - \frac{1}{{\sqrt n }}\sqrt x }}\rd
x} > n\ln n\int_n^{2n} {{e^{ - \frac{1}{{\sqrt n }}\sqrt {2n} }}\rd x}
\\=& {n^2}\ln n \cdot {e^{ - \sqrt 2 }} \ge 4\ln 2 \cdot {e^{ - \sqrt 2
}}.\end{align*}
因此,只要取${\varepsilon
_0} = 4\ln 2 \cdot {e^{ - \sqrt 2 }}$,则对于任意大的正数$A_0$,总存在正整数$n$满足$n>A_0$,及$y_n=\frac1{\sqrt n}\in (0,+\infty)$,使得$\left| {\int_n^{2n} {x\ln x{e^{ - {t_n}\sqrt
x }}\rd x} } \right| > 4\ln 2 \cdot {e^{ - \sqrt 2 }}=\varepsilon_0$.由Cauchy收敛原理的推论知$\int_0^{ +
\infty } {x\ln x{e^{ - t\sqrt x }}\rd x}$关于$t$在$(0,+\infty)$上非一致收敛.
（7） 一致收敛.由于$\int_1^{ +
\infty } {\frac{{\cos t}}{t}\rd t}$收敛,它当然关于$u$一致收敛.显然$1-e^{-ut}$关于$t$单调,且
\[0\leq
1-e^{-ut}\leq 1,\quad 0\leq u\leq1,1\leq t<+\infty,\]即$1-e^{-ut}$一致有界.由Abel判别法, $\int_1^{
+ \infty } {\frac{{1 - {e^{ - ut}}}}{t}\cos t\rd t}$在$\left[ {0,1} \right]$上一致收敛.
（8） 一致收敛.由于\[\left|
{\int_0^A {\alpha t \cdot {e^{ - {\alpha ^2}{t^2}}}\cos {\alpha ^2}{t^2}\rd t}
} \right| \le \int_0^A {\alpha t \cdot {e^{ - {\alpha ^2}{t^2}}}\rd t} =
\frac{{1 - {e^{ - {\alpha ^2}{A^2}}}}}{{2\alpha }},\]且\[\mathop {\lim }\limits_{\alpha \to 0} \frac{{1
- {e^{ - {\alpha ^2}{A^2}}}}}{{2\alpha }} = 0,\mathop {\lim }\limits_{\alpha
\to + \infty } \frac{{1 - {e^{ - {\alpha ^2}{A^2}}}}}{{2\alpha }} = 0,\]
因此它在$(0,+\infty)$一致有界,而$\frac{1}{{1 + {\alpha ^2} + {t^2}}}$是$x$的单调减少函数且$\frac{1}{{1
+ {\alpha ^2} + {t^2}}} \le \frac{1}{{1 + {t^2}}},\lim_{t\to
\infty}\frac1{1+t^2}=0$,因此$\lim_{t\to
+\infty}\frac{1}{{1 + {\alpha ^2} + {t^2}}}=0$关于$\alpha$在$(0,+\infty)$上是一致的,于是由Dirichlet判别法知$\int_0^{ +
\infty } {\frac{{\alpha t}}{{1 + {\alpha ^2} + {t^2}}} \cdot {e^{ - {\alpha
^2}{t^2}}}\cos {\alpha ^2}{t^2}\rd t}$在$\left( {0,
+ \infty } \right)$上一致收敛.
（9） 非一致收敛.对于正整数$n$,取${x_n} = \frac{1}{{\sqrt {1 + {{\left( {2n +
1} \right)}^2}{\pi ^2}} }}$,这时
\begin{align*}\left|
{\int_{2n\pi }^{\left( {2n + 1} \right)\pi } {{e^{ - x_n^2\left( {1 + {y^2}}
\right)}}\sin y\rd y} } \right| &= \left| {\int_{2n\pi }^{\left( {2n + 1}
\right)\pi } {{e^{ - \frac{1}{{1 + {{\left( {2n + 1} \right)}^2}{\pi
^2}}}\left( {1 + {y^2}} \right)}}\sin y\rd y} } \right|\\&>
\frac{1}{e}\int_{2n\pi }^{\left( {2n + 1} \right)\pi } {\sin y\rd y} =
\frac{2}{e}.\end{align*}
因此,只要取$\varepsilon_0=2/e$,则对于任意大的正数$A_0$,总存在正整数$n$满足$2n\pi>A_0$,及$y_n=\frac{1}{{\sqrt
{1 + {{\left( {2n + 1} \right)}^2}{\pi ^2}} }} \in (0,+\infty)$,使得$\left| {\int_{2n\pi }^{\left( {2n + 1}
\right)\pi } {{e^{ - x_n^2\left( {1 + {y^2}} \right)}}\sin y\rd y} } \right|
> \frac{2}{e}=\varepsilon_0$.由Cauchy收敛原理的推论知$\int_0^{ + \infty } {{e^{ - {x^2}\left( {1 +
{y^2}} \right)}}\sin y\rd y} $关于$x$在$\left( {0, + \infty } \right)$上非一致收敛.
（10） 非一致收敛.对于任意取定的正数$A$,由于\[\int_A^{ + \infty } {\frac{{\alpha \rd x}}{{1
+ {\alpha ^2}{x^2}}}} = \frac{\pi }{2} - \arctan \left( {\alpha A} \right),\]取$\alpha=1/A$,则有\[\int_A^{
+ \infty } {\frac{{\alpha \rd x}}{{1 + {\alpha ^2}{x^2}}}} = \int_A^{ + \infty
} {\frac{{1/A}}{{1 + {x^2}/{A^2}}}\rd x} = \frac{\pi }{4} .\]因此$\int_0^{ + \infty } {\frac{{\alpha \rd x}}{{1
+ {\alpha ^2}{x^2}}}}$在$\left( {0,1} \right)$上不一致收敛.
（11） 一致收敛.见周民强207页.利用
当$0<x<1$时,我们有
\[0
\le \left| {\frac{{{x^t}}}{{\sqrt[3]{{\left( {x - 1} \right)\left( {x - 2}
\right)}}}}} \right| < \frac{1}{{\sqrt x \sqrt[3]{{\left( {x - 1}
\right)\left( {x - 2} \right)}}}}.\]
当$1<x<2$时,有
\[0
\le \left| {\frac{{{x^t}}}{{\sqrt[3]{{\left( {x - 1} \right)\left( {x - 2}
\right)}}}}} \right| < \frac{{\sqrt x }}{{\sqrt[3]{{\left( {x - 1}
\right)\left( {2 - x} \right)}}}}.\]
因此有
\[\int_0^2
{\frac{{{x^t}}}{{\sqrt[3]{{\left( {x - 1} \right)\left( {x - 2} \right)}}}}\rd
x} < \int_0^1 {\frac{1}{{\sqrt x \sqrt[3]{{\left( {1 - x} \right)\left( {2 -
x} \right)}}}}\rd x} + \int_1^2 {\frac{{\sqrt x }}{{\sqrt[3]{{\left( {x - 1}
\right)\left( {2 - x} \right)}}}}\rd x} .\]
注意到下列渐近估计
\begin{align*}{\frac{1}{{\sqrt
x \sqrt[3]{{\left( {1 - x} \right)\left( {2 - x} \right)}}}}} &= O\left(
{\frac{1}{{\sqrt x }}} \right),x \to {0^ + },\\{\frac{1}{{\sqrt x
\sqrt[3]{{\left( {1 - x} \right)\left( {2 - x} \right)}}}}} &= O\left(
{\frac{1}{{\sqrt[3]{{x - 1}}}}} \right),x \to 1,\\\frac{{\sqrt x
}}{{\sqrt[3]{{\left( {x - 1} \right)\left( {2 - x} \right)}}}} &= O\left(
{\frac{1}{{\sqrt[3]{{x - 1}}}}} \right),x \to 1,\\\frac{{\sqrt x
}}{{\sqrt[3]{{\left( {x - 1} \right)\left( {2 - x} \right)}}}} &= O\left(
{\frac{1}{{\sqrt[3]{{2 - x}}}}} \right),x \to 2,\end{align*}
可知右端积分均收敛.由Weierstrass判别法可知,原积分关于$|t|<1/2$一致收敛.
（12） 先证明$\int_0^1 {{{\left( {1 - x} \right)}^{u - 1}}\rd
x}$在$[a,+\infty)(a>0)$上一致收敛.由于\[{\left(
{1 - x} \right)^{u - 1}} \le {\left( {1 - x} \right)^{a - 1}},\quad 0 \le x \le
1,a \le u < + \infty,\]而$\int_0^1 {{{\left( {1
- x} \right)}^{a - 1}}\rd x} = \frac{1}{a}$收敛,由Weierstrass判别法知, $\int_0^1
{{{\left( {1 - x} \right)}^{u - 1}}\rd x}$在$[a,+\infty)$上一致收敛.
再证明$\int_0^1 {{{\left( {1 - x} \right)}^{u - 1}}\rd
x}$在$(0,+\infty)$上非一致收敛.对于任意取定的正数$A$且$A\to 0$,由于\[\int_A^1
{{{\left( {1 - x} \right)}^{u - 1}}\rd x} = \frac{1}{A},\]
取$u=A\in (0,+\infty )$,当$A$足够小时,我们有\[\int_A^1 {{{\left( {1 - x} \right)}^{u - 1}}\rd
x} = \frac{{{{\left( {1 - A} \right)}^u}}}{u} = \frac{{{{\left( {1 - A}
\right)}^A}}}{A} > 1.\]因此$\int_0^1 {{{\left( {1
- x} \right)}^{u - 1}}\rd x}$在$(0,+\infty)$上非一致收敛.
2.设$\displaystyle \int_0^{ + \infty } {{x^\lambda
}f\left( x \right)\rd x}$当$\lambda=a,\lambda=b$时收敛$(a<b)$.证明$\displaystyle
\int_0^{ + \infty } {{x^\lambda }f\left( x \right)\rd x}$当$\lambda=a,\lambda=b$关于$\lambda\in [a,b]$一致收敛.
证.这题来自菲哥第二册P577.积分$\int_0^1 {{x^a}f\left( x \right)\rd x}$是收敛的,而$x^{\lambda-a}$对于$\lambda\geq a$的值是$x$的单调函数,并以$1$为界.因此积分
\[\int_0^1
{{x^\lambda }f\left( x \right)\rd x} = \int_0^1 {{x^{\lambda - a}} \cdot
{x^a}f\left( x \right)\rd x} \]关于$\lambda$一致收敛.类似地可以看出以下积分
\[\int_1^{
+ \infty } {{x^\lambda }f\left( x \right)\rd x} = \int_1^{ + \infty }
{{x^{\lambda - b}} \cdot {x^b}f\left( x \right)\rd x} ,\]
关于$\lambda\leq b$一致收敛.因此原积分一致收敛.
3.证明积分$\int_0^{ + \infty } {x{e^{ - xy}}\rd y}$在$(0,+\infty)$上不一致收敛.
证.对于任意取定的正数$A$,由于
\[\int_A^{
+ \infty } {x{e^{ - xy}}\rd y} = {e^{ - Ax}},\]
取$x=1/A\in (0,+\infty)$,则有
\[\int_A^{
+ \infty } {x{e^{ - xy}}\rd y} = \frac{1}{e}.\]因此$\int_0^{ +
\infty } {x{e^{ - xy}}\rd y}$在$(0,+\infty)$上不一致收敛.
源自: http://www.math.org.cn/forum.php?mod=viewthread&tid=35406 [未验证其正确性, 仅供参考]