如何修正连续函数序列示例以满足积分∫₀¹fₙ(x)dx=2的要求？

嘿，这个问题其实很好解决，核心就是在原尖峰序列的基础上，调整出能满足积分要求的结构，同时保留逐点收敛、连续性这些关键条件。咱们一步步来：

首先得明确原候选序列的问题：它是个分段常数的"尖峰"，但其实不连续（在$x=\frac{1}{n}$处跳变），而且逐点收敛到0（积分0），但你需要的是收敛到积分1的连续函数$f$。不过没关系，咱们先把它改成连续版本，再调整积分：

方案1：尖峰+固定连续函数（最简单的思路） #

1. 先构造一个连续的"消失尖峰"序列，积分是1，逐点收敛到0：

   f_n^\text{peak}(x) = 
   \begin{cases}
   n^2 x & 0 \leq x \leq \frac{1}{n} \\
   n^2 \left(\frac{2}{n} - x\right) & \frac{1}{n} < x \leq \frac{2}{n} \\
   0 & \frac{2}{n} < x \leq 1
   \end{cases}
   

   这个函数是连续的（三角形尖峰），积分计算下来是1（底$\frac{2}{n}$，高$n$，面积$\frac{1}{2} \times \frac{2}{n} \times n = 1$），而且随着$n$增大，尖峰越来越窄，逐点收敛到0。
2. 选一个任意的连续函数$g(x)$，满足$\int_0^1 g(x)dx = 1$——比如最直观的$g(x)=1$，它连续，积分正好是1。
3. 定义修正后的序列：$f_n(x) = f_n^\text{peak}(x) + g(x)$

咱们来验证所有条件：

• 连续性：两个连续函数相加，结果肯定连续；
• 逐点收敛：当$n→∞$时，对任意固定的$x \in [0,1]$，只要$n$足够大，$x > \frac{2}{n}$，此时$f_n^\text{peak}(x)=0$，所以$f_n(x)$逐点收敛到$g(x)$，而$g(x)$是连续函数；
• 积分条件：$\int_0^1 f_n(x)dx = \int_0^1 f_n^\text{peak}(x)dx + \int_0^1 g(x)dx = 1 + 1 = 2$，而$\int_0^1 g(x)dx = 1$，完全符合要求。

方案2：直接基于目标函数叠加尖峰 #

如果你不想引入固定函数，也可以让$f_n$在大部分区间上直接等于你选定的目标连续函数$f(x)$（满足$\int_0^1 f(x)dx=1$），只在$x=0$附近叠加一个积分1的尖峰：
假设$f(x)$是你选好的连续函数（比如$f(x)=1$），定义：

f_n(x) = 
\begin{cases}
f(x) + n^2 x & 0 \leq x \leq \frac{1}{n} \\
f(x) + n^2 \left(\frac{2}{n} - x\right) & \frac{1}{n} < x \leq \frac{2}{n} \\
f(x) & \frac{2}{n} < x \leq 1
\end{cases}

这个序列的验证同样简单：

• 连续性：$f(x)$连续，尖峰部分连续，且在$x=\frac{1}{n}$和$x=\frac{2}{n}$处和$f(x)$平滑衔接（比如$x=\frac{2}{n}$时，尖峰部分值为0，和$f(x)$无缝衔接）；
• 逐点收敛：对任意固定$x \in [0,1]$，$n$足够大时$x > \frac{2}{n}$，此时$f_n(x)=f(x)$，自然逐点收敛到$f(x)$；
• 积分条件：$\int_0^1 f_n(x)dx = \int_0^1 f(x)dx + \int_0^{\frac{2}{n}} [f_n^\text{peak}(x)]dx = 1 + 1 = 2$，完美达标。

为啥单纯翻倍原尖峰高度不行？ #

如果你直接把原候选序列的$n$改成$2n$，得到积分是$2n \times \frac{1}{n}=2$，但这个序列逐点收敛到0，而$\int_0^1 0 dx=0 \neq 1$，不符合你对目标函数$f$的积分要求。所以必须结合一个收敛到积分1的连续函数部分，这才是关键。

内容的提问来源于stack exchange，提问作者Dom