关于Sequence of functions, Lebesgue and Fatou的问题求解与工具推荐请求

Hi there! Let's break down this problem step by step, and I'll also share my go-to picks for integral calculators at the end.

积分工具推荐 #

• 免费工具首选: Symbolab的积分计算器能给出详细的分步求解过程，不管是定积分、不定积分，还是和勒贝格积分相关的计算都能搞定。大部分基础到中等难度的问题都是免费的，如果需要进阶功能，付费版的价格也很合理。
• 另一个靠谱免费选项: Wolfram Alpha的积分求解也很细致，虽然部分步骤需要付费解锁，但核心结果和关键推理都是免费的，特别适合验证这类函数序列的积分极限问题。
• 开源工具: 如果你不介意学习成本，可以试试带Symbolic包的Octave，它能计算积分并展示步骤，不过上手难度稍高一些。

问题详细解答 #

a) 证明对所有$n \in \mathbb{N}$，$f_n$可积 #

回忆一下：一个函数在$[0,\pi]$上勒贝格可积的条件是可测且绝对值的积分有限。

1. 可测性: $f_n$是分段函数：在$[0,\pi/n]$上是连续函数$n\sin(nx)$（连续函数必然可测），在$(\pi/n, \pi]$上是0（显然可测）。分段可测的函数整体是可测的。
2. 绝对值积分有限:
   $$\int_{[0,\pi]} |f_n| d\mu = \int_{0}^{\pi/n} |n\sin(nx)| dx$$
   因为$x \in [0,\pi/n]$时，$nx \in [0,\pi]$，$\sin(nx) \geq 0$，所以可以去掉绝对值：
   $$= n \int_{0}^{\pi/n} \sin(nx) dx$$
   做变量替换$u = nx$，则$du = n dx$，$dx = du/n$，代入得：
   $$= n \cdot \frac{1}{n} \int_{0}^{\pi} \sin(u) du = \int_{0}^{\pi} \sin(u) du = 2$$
   这个值是有限的，因此$f_n$对每个$n$都勒贝格可积。

b) 证明$f_n(x)$在$[0,\pi]$上逐点收敛 #

我们需要对每个固定的$x \in [0,\pi]$求序列的极限：

• 当$x=0$时: $f_n(0) = n\sin(0) = 0$对所有$n$成立，所以$\lim_{n\to\infty} f_n(0) = 0$。
• 当$x \in (0, \pi]$时: 当$n$足够大时，$\pi/n < x$（因为$\pi/n$随着$n$增大趋近于0）。也就是说，只要$n > \pi/x$，$f_n(x) = 0$。序列最终恒为0，因此$\lim_{n\to\infty} f_n(x) = 0$。
• 综上：对所有$x \in [0,\pi]$，$\lim_{n\to\infty} f_n(x) = 0$，即序列逐点收敛到0函数。

c) Fatou引理与控制收敛定理(DCT)的适用性 #

Fatou引理

Fatou引理的适用条件是非负可测函数序列，这里$f_n(x) \geq 0$对所有$x,n$都成立，且我们已经证明了$f_n$可测，因此Fatou引理可以适用。

控制收敛定理(DCT)

DCT要求存在一个可积的控制函数$g: [0,\pi] \to \mathbb{R}$，使得对所有$n$和几乎所有$x \in [0,\pi]$，$|f_n(x)| \leq g(x)$。但这里不存在这样的$g$：
假设存在这样的$g$，取$x_n = \pi/(2n)$，则$f_n(x_n) = n\sin(n \cdot \pi/(2n)) = n\sin(\pi/2) = n$，所以$g(x_n) \geq n$对所有$n$成立。而$x_n$趋近于0，这意味着$g$在0附近可以取到任意大的值，那么$\int_{[0,\pi]} g d\mu$必然是无穷大（不满足可积的条件）。因此控制收敛定理不适用。

d) 积分极限与极限积分是否相等 #

分别计算两边的值：

• 右边（极限的积分）: $\int_{[0,\pi]} \lim_{n\to\infty} f_n d\mu = \int_{[0,\pi]} 0 d\mu = 0$。
• 左边（积分的极限）: 从(a)部分我们已经算出，对每个$n$，$\int_{[0,\pi]} f_n d\mu = 2$，所以$\lim_{n\to\infty} \int_{[0,\pi]} f_n d\mu = 2$。
  因为$2 \neq 0$，所以这个等式不成立。

备注：内容来源于stack exchange，提问作者Decisions38