《实变函数简明教程》,P115,第14题(利用Lebesgue控制收敛定理求函数列Lebesgue积分的极限)
P97,定理4.15(Lebesgue控制收敛定理)
设 { f k } \left\{ {
{f}_{k}} \right\} {
fk}是 E ⊂ R n E\subset {
{\mathbb{R}}^{n}} E⊂Rn上几乎处处收敛的可测函数列, lim k → ∞ f k ( x ) = f ( x ) \underset{k\to \infty }{\mathop{\lim }}\,{
{f}_{k}}\left( x \right)=f\left( x \right) k→∞limfk(x)=f(x),若存在非负函数 F F F,使得 F ∈ L ( E ) F\in L\left( E \right) F∈L(E)并且
∣ f k ( x ) ∣ ≤ F ( x ) ( x ∈ E , k = 1 , 2 , ⋯ ) , \left| {
{f}_{k}}\left( x \right) \right|\le F\left( x \right)\text{ }\left( x\in E,\text{ }k=1,2,\cdots \right), ∣fk(x)∣≤F(x) (x∈E, k=1,2,⋯),
则函数 f f f及所有的 f k {
{f}_{k}} fk都在 E E E上可积,且 lim k → ∞ ∫ E f k ( x ) d x \underset{k\to \infty }{\mathop{\lim }}\,\int_{E}{f_k\left( x \right)dx} k→∞lim∫Efk(x)dx存在并等于 ∫ E f ( x ) d x \int_{E}{f\left( x \right)dx} ∫Ef(x)dx。
待解决问题
求极限
- lim k → ∞ ∫ 0 1 ln ( k + x ) k e − x cos x d x . \underset{k\to \infty }{\mathop{\lim }}\,\int_{0}^{1}{\frac{\ln \left( k+x \right)}{k}{ {e}^{-x}}\cos xdx}. k→∞lim∫01kln(k+x)e−xcosxdx.
- lim k → ∞ ∫ 0 1 k x 1 + k 2 x 2 sin 5 k x d x . \underset{k\to \infty }{\mathop{\lim }}\,\int_{0}^{1}{\frac{k\sqrt{x}}{1+{ {k}^{2}}{ {x}^{2}}}{ {\sin }^{5}}kxdx}. k→∞lim∫011+k2x2kxsin5kxdx.
求解过程
第1小问
令 f k ( x ) = ln ( k + x ) k e − x cos x , k ≥ 1. {
{f}_{k}}\left( x \right)=\frac{\ln \left( k+x \right)}{k}{
{e}^{-x}}\cos x,k\ge 1. fk(x)=kln(k+x)e−xcosx,k≥1.
下面对函数列 { f k } \left\{ {
{f}_{k}} \right\} {
fk}的性态逐一分析。
-
显然地, ln ( k + x ) \ln \left( k+x \right) ln(k+x), e − x { {e}^{-x}} e−x, cos x \cos x cosx都是可测集 [ 0 , 1 ] \left[ 0,1 \right] [0,1]上的连续函数。根据博文《实变函数简明教程》(邓东皋,常心怡编),第三章:可测函数,P63,关于 可测集上的连续函数一定可测 的说明,我们有
ln ( k + x ) , e − x , cos x 都 是 [ 0 , 1 ] 上 的 可 测 函 数 。 \ln \left( k+x \right),\text{ }{ {e}^{-x}},\text{ }\cos x都是\left[ 0,1 \right]上的可测函数。 ln(k+x), e−x, cosx都是[0,1]上的可测函数。
再由课本P60的定理3.2(可测函数的四则运算封闭性),得到
f k 是 [ 0 , 1 ] 上 的 可 测 函 数 , ∀ k =