关于利用Wirtinger不等式证明含ε的积分不等式的求助

待证问题 #

需要证明：对于所有 $f \in C^1[a,b]$，任意 $\epsilon > 0$，有
$$
\int_{a}^{b} \lvert f^2 \rvert ,dx \ \leq (1+ \epsilon) \left(\frac{b-a}{\pi}\right)^2\int_{a}{b} \lvert f' \rvert^2 ,dx \ + \left(1+ \epsilon^{-1}\right)(b-a)\left(\lvert f(a) \rvert ^2 +\lvert f(b) \rvert ^2\right)
$$

可用工具：Wirtinger不等式 #

若 $g \in C^1[a,b]$ 且 $g(a)=g(b)=0$，则
$$
\int_{a}^{b} \lvert g^2 \rvert ,dx \ \leq \left(\frac{b-a}{\pi}\right)^2\int_{a}{b} \lvert g' \rvert^2 ,dx
$$

用户的困惑 #

我卡在这个问题上了，甚至不知道怎么开始。我不太明白这个ε的来源，也不知道怎么推导这个不等式。

我猜如果要用到Wirtinger不等式，肯定得构造一个在$a,b$处取值为0的新函数，但我想不出合适的函数。

非常感谢！

思路与解答 #

别担心，这题的核心确实是构造满足Wirtinger条件的辅助函数，再结合Young不等式（带ε的乘积拆分工具）来引入ε项，一步步拆解就能解决。

步骤1：构造辅助函数，拆分原函数 #

我们把$f(x)$拆成两部分：一部分是在端点$a,b$处取值为0的函数$g(x)$，另一部分是连接$(a,f(a))$和$(b,f(b))$的线性插值函数$L(x)$，具体：
$$
g(x) = f(x) - L(x), \quad L(x) = f(a) + \frac{f(b)-f(a)}{b-a}(x-a)
$$
显然$g(a)=g(b)=0$，满足Wirtinger不等式的条件，且$f(x)=g(x)+L(x)$。将$f^2(x)$展开后积分：
$$
\int_a^b |f^2(x)|dx = \int_a^b |g^2(x)|dx + 2\int_a^b |g(x)L(x)|dx + \int_a^b |L^2(x)|dx
$$

步骤2：用Young不等式处理交叉项 #

ε的来源就在这里！Young不等式告诉我们：对任意$\epsilon>0$和实数$p,q$，有$2|pq| \leq \epsilon p^2 + \epsilon^{-1} q^2$。把$p=g(x), q=L(x)$代入交叉项，可得：
$$
2\int_a^b |g(x)L(x)|dx \leq \epsilon \int_a^b |g(x)|^2dx + \epsilon^{-1}\int_ab |L(x)|^2dx
$$

步骤3：分别估计各项积分 #

1. 估计$\int_a^b |g^2(x)|dx$：直接套用Wirtinger不等式，因为$g(a)=g(b)=0$，所以
   $$
   \int_a^b |g^2(x)|dx \leq \left(\frac{b-a}{\pi}\right)^2\int_ab |g'(x)|^2dx
   $$
   注意到$g'(x)=f'(x)-L'(x)$，而$\int_a^b |g'(x)|^2dx = \int_a^b |f'(x)-\frac{f(b)-f(a)}{b-a}|^{2dx$，进一步化简可得$\int_a}b |g'(x)|^2dx \leq \int_a^b |f'(x)|^2dx$（因为减去的是非负项）。

2. 估计$\int_a^b |L^2(x)|dx$：直接计算线性函数的平方积分，再用不等式放缩：
   $$
   \int_a^b L^2(x)dx = (b-a)\cdot\frac{|f(a)|^2 + |f(a)f(b)| + |f(b)|^2}{3} \leq (b-a)(|f(a)|^2 + |f(b)|^2)
   $$
   这里用到了$|f(a)f(b)| \leq \frac{|f(a)|^2 + |f(b)|^2}{2}$的基本不等式，保证放缩成立。

步骤4：合并整理，得到最终结果 #

把所有估计代入原积分式，合并同类项：
$$
\begin{align*}
\int_a^b |f^2(x)|dx &\leq \int_a^b |g^2(x)|dx + \epsilon \int_a^b |g^2(x)|dx + \epsilon^{-1}\int_ab |L^2(x)|dx + \int_a^b |L^2(x)|dx \
&= (1+\epsilon)\int_a^b |g^2(x)|dx + (1+\epsilon^{-1})\int_ab |L^2(x)|dx \
&\leq (1+\epsilon)\left(\frac{b-a}{\pi}\right)^2\int_ab |f'(x)|^2dx + (1+\epsilon^{{-1})(b-a)(|f(a)|}2 + |f(b)|^2)
\end{align*}
$$
这就完全匹配了题目要证明的不等式！

关键总结 #

• ε是通过Young不等式引入的调节参数，用来平衡交叉项转化后的两个平方项系数；
• 构造零端点辅助函数$g(x)$是为了贴合Wirtinger不等式的使用条件，把原函数拆分成“可应用Wirtinger的部分”和“易估计的线性部分”是核心技巧。

是不是一下子就清晰了？

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