求证积分平均不等式∑ₙ=1^m h‖fₙ‖_{L²(Ω)} ≤ T^{1/2}‖f‖_{L²(0,T;L²(Ω))}

嘿，我来帮你搞定这个不等式的证明！你已经走对了第一步，剩下的就是用柯西-施瓦茨不等式把单个时间片的估计串起来就行，具体步骤如下：

问题回顾 #

先明确问题中的定义和你已经得到的结论：

设$f \in L^\infty(0,T;L2(\Omega))$为非负函数（$\Omega$为有界区域），定义时间平均
$$f_n = \frac 1h \int_{t_{n-1}}^{t_n} f(t) dt$$
其中${t_n}$将$[0,T]$划分为长度$h$的子区间（即$t_n = nh$，$m=T/h$，$t_m=T$）。需要证明：
$$\sum_{n=1}^m h\lVert f_n \rVert_{L^2(\Omega)} \leq T^{1/2}\lVert f \rVert_{L^2(0,T;L2(\Omega))}$$
你已经推导出单个时间片的关键估计：
$$\lVert{f_n}\rVert_{L^2(\Omega)}2 \leq \frac 1h \lVert{f}\rVert_{L^{2(t_{n-1},t_n;L}2(\Omega))}^2$$

完整证明过程 #

你得到的单个时间片估计是核心基础，接下来通过柯西-施瓦茨不等式完成全局估计：

1. 改写求和式：
   把左边的求和记为$S = \sum_{n=1}^m h \lVert f_n \rVert_{L^2(\Omega)}$，将其拆分为两个序列的内积形式：
   $$S = \sum_{n=1}^m \sqrt{h} \cdot \left( \sqrt{h} \lVert f_n \rVert_{L^2(\Omega)} \right)$$

2. 应用柯西-施瓦茨不等式：
   对任意实数序列${a_n}, {b_n}$，有
   $$\sum_{n=1}^m a_n b_n \leq \left( \sum_{n=1}^m a_n^2 \right)^{1/2} \cdot \left( \sum_{n=1}^m b_n^2 \right)^{1/2}$$
   这里取$a_n = \sqrt{h}$，$b_n = \sqrt{h} \lVert f_n \rVert_{L^2(\Omega)}$，代入后得到：
   $$S \leq \left( \sum_{n=1}^m (\sqrt{h})^2 \right)^{1/2} \cdot \left( \sum_{n=1}^m \left( \sqrt{h} \lVert f_n \rVert_{L^2(\Omega)} \right)^2 \right)^{1/2}$$

3. 计算第一个平方和：
   由于子区间总长度为$T$，因此：
   $$\sum_{n=1}^m (\sqrt{h})^2 = \sum_{n=1}^m h = mh = T$$

4. 结合单个时间片估计计算第二个平方和：
   展开第二个平方和：
   $$\sum_{n=1}^m \left( \sqrt{h} \lVert f_n \rVert_{L^2(\Omega)} \right)^2 = \sum_{n=1}^m h \lVert f_n \rVert_{L^2(\Omega)}2$$
   用你推导的估计式$\lVert{f_n}\rVert_{L^2(\Omega)}2 \leq \frac 1h \lVert{f}\rVert_{L^{2(t_{n-1},t_n;L}2(\Omega))}^2$，两边乘$h$后求和：
   $$\sum_{n=1}^m h \lVert f_n \rVert_{L^2(\Omega)}2 \leq \sum_{n=1}^m \lVert{f}\rVert_{L^{2(t_{n-1},t_n;L}2(\Omega))}^2$$
   因为子区间互不相交且覆盖$[0,T]$，所以右边的和就是全局的$L^2$范数平方：
   $$\sum_{n=1}^m \lVert{f}\rVert_{L^{2(t_{n-1},t_n;L}2(\Omega))}^2 = \lVert f \rVert_{L^2(0,T;L2(\Omega))}^2$$

5. 合并结果：
   将步骤3和步骤4的结果代入步骤2的不等式，最终得到：
   $$S \leq T^{1/2} \cdot \left( \lVert f \rVert_{L^2(0,T;L2(\Omega))}^2 \right)^{1/2} = T^{1/2} \lVert f \rVert_{L^2(0,T;L2(\Omega))}$$

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