Liii STEM

Appearance

二年级之梦 ​

原题: 013_uniform_covergence ​

背景 ​

“二年级之梦”（Sophomore's Dream）是数学分析中一个非常经典也非常优美的恒等式。它由 Johann Bernoulli 在 1697 年提出，形式简洁，却把看似复杂的积分问题和整齐的无穷级数联系在了一起。最著名的两个结论是

∫01x−x dx=∑n=1∞1nn,\int_0^1 x^{-x}\,\mathrm{d}x=\sum_{n=1}^{\infty}\frac{1}{n^n},

以及

∫01xx dx=∑n=1∞(−1)n+11nn.\int_0^1 x^x\,\mathrm{d}x=\sum_{n=1}^{\infty}(-1)^{n+1}\frac{1}{n^n}.

这类恒等式之所以迷人，在于它展示了指数函数、对数函数、幂级数展开和定积分之间的深刻联系。比如把

xx=exln⁡xx^x=\mathrm{e}^{x\ln x}

视作指数函数的复合形式后，就会自然想到对它作幂级数展开；而展开后的每一项都含有 (ln⁡x)n(\ln x)^n，这些项在区间 (0,1](0,1] 上又恰好可以通过积分与 1/nn1/n^n 建立联系。于是，一个原本并不容易直接计算的积分问题，被转化成了一个结构清晰、规律鲜明的级数问题。

从分析学的角度看，这道题的核心并不只是“把积分算出来”，更在于理解为什么可以把函数展开后逐项积分，以及这样做需要什么条件。这里，一致收敛就是关键桥梁。它保证我们能够把极限过程和积分过程安全地交换，从而为严格证明提供基础。

相关知识点 ​

在得出二年级之梦之前，你需要理解一致收敛的概念和相关性质。

设函数列 {fn}\{f_n\} 是定义在集合 EE 上的函数列，若存在函数 ff，使得对任意 ε>0\varepsilon>0，都存在正整数 NN，当 n≥Nn\ge N 时，对一切 x∈Ex\in E 都有

∣fn(x)−f(x)∣<ε,|f_n(x)-f(x)|<\varepsilon,

则称函数列 {fn}\{f_n\} 在 EE 上一致收敛于 ff。

从几何上看，函数序列 {fn}\{f_n\} 一致收敛于 ff 是指：对于任意小的 ε\varepsilon，存在一个下标 NN，使得当 n≥Nn\ge N 时，fnf_n 的图像都位于 ff 的 ε\varepsilon-带状邻域内。

一致收敛与逐点收敛的区别在于：逐点收敛中，给定 ε>0\varepsilon>0 后，所需的正整数 NN 可以依赖于点 xx；而一致收敛要求存在一个与 xx 无关的统一的 NN，使得对集合 EE 上所有点同时成立。因此，一致收敛比逐点收敛更强，它能够对整个定义域上的误差作统一控制。

下面这个结论是本题的重要工具。设函数列 {fn}\{f_n\} 在闭区间 [a,b][a,b] 上可积，且

fn(x)→f(x),n→∞,f_n(x)\to f(x), \qquad n\to\infty,

在 [a,b][a,b] 上一致收敛。则函数 ff 也可积，并且

lim⁡n→∞∫abfn(x) dx=∫ablim⁡n→∞fn(x) dx=∫abf(x) dx.\lim_{n\to\infty}\int_a^b f_n(x)\,\mathrm{d}x =\int_a^b \lim_{n\to\infty}f_n(x)\,\mathrm{d}x =\int_a^b f(x)\,\mathrm{d}x.

这就是说，在一致收敛条件下，可以交换极限与积分的次序。

证明如下。由于 fn→ff_n\to f 在 [a,b][a,b] 上一致收敛，所以对任意 ε>0\varepsilon>0，存在正整数 NN，使得当 n≥Nn\ge N 时，对一切 x∈[a,b]x\in[a,b] 都有

∣fn(x)−f(x)∣<ε.|f_n(x)-f(x)|<\varepsilon.

于是，当 n≥Nn\ge N 时，

∣∫abfn(x) dx−∫abf(x) dx∣=∣∫ab(fn(x)−f(x)) dx∣.\left|\int_a^b f_n(x)\,\mathrm{d}x-\int_a^b f(x)\,\mathrm{d}x\right| =\left|\int_a^b \bigl(f_n(x)-f(x)\bigr)\,\mathrm{d}x\right|.

由积分的不等式估计，

∣∫ab(fn(x)−f(x)) dx∣≤∫ab∣fn(x)−f(x)∣ dx.\left|\int_a^b \bigl(f_n(x)-f(x)\bigr)\,\mathrm{d}x\right| \le \int_a^b |f_n(x)-f(x)|\,\mathrm{d}x.

再利用一致收敛给出的统一估计，

∣fn(x)−f(x)∣<ε,∀x∈[a,b],|f_n(x)-f(x)|<\varepsilon, \qquad \forall x\in[a,b],

便得到

∫ab∣fn(x)−f(x)∣ dx≤∫abε dx=ε(b−a).\int_a^b |f_n(x)-f(x)|\,\mathrm{d}x \le \int_a^b \varepsilon\,\mathrm{d}x =\varepsilon(b-a).

因此，

∣∫abfn(x) dx−∫abf(x) dx∣≤ε(b−a).\left|\int_a^b f_n(x)\,\mathrm{d}x-\int_a^b f(x)\,\mathrm{d}x\right| \le \varepsilon(b-a).

由于 ε>0\varepsilon>0 任意，故有

lim⁡n→∞∫abfn(x) dx=∫abf(x) dx.\lim_{n\to\infty}\int_a^b f_n(x)\,\mathrm{d}x=\int_a^b f(x)\,\mathrm{d}x.

定理得证。

题目 ​

证明

∫01xx dx=∑n=1∞(−1)n+11nn,\int_0^1 x^x\,\mathrm{d}x=\sum_{n=1}^{\infty}(-1)^{n+1}\frac{1}{n^n},

以及

∫01x−x dx=∑n=1∞1nn.\int_0^1 x^{-x}\,\mathrm{d}x=\sum_{n=1}^{\infty}\frac{1}{n^n}.

这道题的重点不只是最后写出结论，而是给出清晰、严谨的证明过程：如何展开 xxx^x 与 x−xx^{-x}，为什么可以逐项积分，以及每一项积分为什么恰好会出现 1/nn1/n^n 这样的结构。

下载题目文件 ​

📥 下载《013_uniform_covergence.tmu》题目文件

提交要求：

  1. 将答案写在《013_uniform_covergence.tmu》文件末尾
  2. 重命名为：013_你的姓名_学校.tmu
  3. 发送至：jiadong@liii.pro
  4. 截止时间：本周日 23:59

奖品： 《钱学森传》叶永烈（首位答对者将获得特别奖品，所有答对者获得一个月 Liii STEM 会员）

参与方式： 见主页

← 返回每周一题活动主页

Last updated: