热传导方程弱极值原理和最大模估计的证明

选填

简答

大题

热传导方程弱极值原理的证明

区域 $Q=\{(x,t)|0<x<l,0<t\le T\}$，$\Gamma$是由图中3条绿色线段组成的$Q$的抛物边界

$Lu=u_t-a^2{u}_{xx}=f(x,t)$

$f(x,t)\ge 0:热源$

$f(x,t)\le 0:热汇$

弱极值原理的内容

设 $u\in C^{2,1}(Q)\cap C(\overline{Q})$ 且满足 $Lu=f\le 0$, 则 $u$ 在 $\overline{Q}$上的最大值必在 $Q$ 的抛物边界 $\Gamma$ 上达到，即
$$\underset{\overline{Q}}{\max }u(x,t)=\underset{\Gamma }{\max }u(x,t)$$

证明：

1. 先利用反证法证明 $f<0$ 时，结论成立
2. 取 $\forall ϵ>0$ 构造辅助函数 $v(x,t)$ 归结为 $1.$ 中已证的情况

具体证明过程如下：

设 $f<0$, 则可以断言 $u$ 必不能在 $Q$ 内达到最大值。

若不然，设某点 $P_0(x_0,t_0)\in Q,s.t.u(x_0,t_0)=\underset{\overline{Q}}{\max }u(x,t)$

则根据 $u$ 的二阶连续偏导数以及偏导数极值相关定理，可得

$$\frac{\partial u}{\partial x}{|}_{P_0}=0,\frac{{\partial }^{2}u}{\partial x^2}{|}_{P_0}\le 0$$

而对于 $t$ 的偏导数而言，要分情况讨论：

1. $t_0<T$ 时，$\frac{\partial u}{\partial t}{|}_{P_0}=0$
2. $t_0=T$ 时，$\frac{\partial u}{\partial t}{|}_{P_0}\ge 0$

$t_0=T$ 时，将$x_0$ 看作常数固定，则 $u(x_0,t)$ 是关于 $t$ 的一元函数，在点 $T$ 取得最大值，则一元导函数大于等于 0

$$\therefore f(x_0,t_0)=(\frac{\partial u}{\partial t}-a^2\frac{{\partial }^{2}u}{\partial x^2}){|}_{P_0}\ge 0$$

这与 $f<0$ 的假设矛盾，故 $u$ 必不能在 $Q$ 内达到最大值

再考虑一般情况，即 $f\le 0$，

$\forall ϵ>0$ 构造辅助函数
$$v(x,t)=u(x,t)-ϵt$$

则
$$Lv=Lu-L(ϵt)=f-ϵ<0$$

因为 $L$ 算子作用到 $u$ 上时，对 $t$ 求一阶偏导，故对 $ϵt$ 求一次偏导为 $ϵ$，

因为 $f\le 0,ϵ>0$，所以 $f-ϵ<0$，应用已证的断言，$v$ 一定不能在 $Q$ 内达到最大值

那么

$$\underset{\overline{Q}}{\max }v(x,t)=\underset{\Gamma }{\max }v(x,t)$$

再把 $u(x,t)=v(x,t)+ϵt$ 带入 $\underset{\overline{Q}}{\max }u(x,t)$ 展开得

$\underset{\overline{Q}}{\max }u(x,t)=\underset{\overline{Q}}{\max }(v(x,t)+ϵt)\le \underset{\overline{Q}}{\max }v(x,t)+\underset{\overline{Q}}{\max }ϵt=\underset{\overline{Q}}{\max }v(x,t)+ϵT$
$=\underset{\Gamma }{\max }v(x,t)+ϵT\le \underset{\Gamma }{\max }u(x,t)+ϵT$

令 $ϵ\to 0$，则结论得证

推论

设 $u\in C^{2,1}(Q)\cap C(\overline{Q})$ 且满足 $Lu=f\ge 0$, 则 $u$ 在 $\overline{Q}$上的最小值必在 $Q$ 的抛物边界 $\Gamma$ 上达到，即
$$\underset{\overline{Q}}{\min }u(x,t)=\underset{\Gamma }{\min }u(x,t)$$

如果$Lu=0$ 则 $u$ 在 $\overline{Q}$上的最大值与最小值都必在抛物边界 $\Gamma$ 上达到

证明过程：

只需令 $v=-u$，则 $Lv=f\le 0$，由上面的定理得

$$\underset{\overline{Q}}{\max }v(x,t)=\underset{\Gamma }{\max }v(x,t)$$

也即

$$\underset{\overline{Q}}{\max }(-u)=\underset{\Gamma }{\max }(-u)$$

等式 $\underset{\overline{Q}}{\max }(-u)=\underset{\Gamma }{\max }(-u)$ 可以转换为 $u$ 的最小值的表达式。在数学上，函数 $-u$ 的最大值等价于 $u$ 的最小值，这是因为对于任意两个数 $a$ 和 $b$，如果 $a\le b$，那么 $-a\ge -b$。

所以，当 $-u$ 在某个集合上取得最大值，实际上就意味着 $u$ 在同一个集合上取得了最小值。

因此，我们可以将上述等式重新表达为关于 $u$ 的最小值：
$$\underset{\overline{Q}}{\min }u=\underset{\Gamma }{\min }u$$

热传导方程定解问题最大模能量模估计的证明

下面这两个题目在证明过程中对于等式/不等式左端含有 $u_x^2$ 的项都是不需要进行处理，因为待证结论中左端是有 $u_x^2$ 的，直接保留就行。

题目一

$Q=(0,l)\times (0,T]$，设$u(x,t)\in C^{1,0}(\overline{Q})\cap C^{2,1}(Q)$，且满足以下定解问题

$$\{\begin{array}{rl}& u_t-u_{xx}=f(x,t),x,t\in Q\\ & u(x,0)=\phi (x),0\le x\le l\\ & u_x(0,t)=0,u_x(l,t)+\beta u(l,t)=0,0\le t\le T\end{array}$$其中 $\beta \ge 0$，请证明 $$\underset{0\le t\le T}{\sup }{\int }_0^l{u}^2(x,t)dx+{\int }_0^T{\int }_0^l(u_x(x,t){)}^{2}dxdt\le M({\int }_0^l{\phi }^2(x)dx)+{\int }_0^T{\int }_0^l{f}^2(x,t)dxdt)$$其中 $M$ 仅依赖于 $T$

证明过程：

1. 方程 $u_t-u_{xx}=f$ 两端同乘 $u$ 并在区域 $Q_{\tau }=(0,l)\times (0,\tau )$ 上积分得

${\iint }_{Q_{\tau }}u{u}_{t}dxdt-{\iint }_{Q_{\tau }}u{u}_{xx}dxdt={\iint }_{Q_{\tau }}f\cdot udxdt$

利用替换技巧
$$u{u}_t=\frac{1}{2}\cdot 2u\cdot u_t=\frac{1}{2}(u^2{)}_t$$$$u{u}_{xx}=(u{u}_x{)}_x-u_x^2=u_x^2+u{u}_{xx}-u_x^2$$得等式左端为$${\int }_0^l{\int }_0^{\tau }\frac{1}{2}(u^2{)}_{t}dtdx-{\int }_0^{\tau }{\int }_0^l(u{u}_x{)}_{x}dxdt+{\iint }_{Q_{\tau }}{u}_x^{2}dxdt$$

2. 对不同项分别在 $t$ 和 $x$ 上积分
   \newline
   对${\int }_0^{\tau }{\int }_0^l\frac{1}{2}(u^2{)}_{t}dxdt$ 在 $t$ 上进行积分得到 ${\int }_0^l\frac{1}{2}{u}^2(x,\tau )-\frac{1}{2}{u}^2(x,0)dx$
   \newline
   用题目条件$u(x,0)=\phi (x)$ 替换得 ${\int }_0^l{\int }_0^{\tau }\frac{1}{2}(u^2{)}_{t}dtdx=\frac{1}{2}{\int }_0^l[u^2(x,\tau )-{\phi }^2(x)]dx$
   \newline
   对${\int }_0^{\tau }{\int }_0^l(u{u}_x{)}_{x}dxdt$ 在 $x$ 上进行积分得到 ${\int }_0^{\tau }{\int }_0^l(u{u}_x{)}_{x}dxdt$
   \newline
   $={\int }_0^{\tau }[u(l,t)u_x(l,t)-u(0,t)u_x(0,t)]dt$
   \newline
   由题目给的条件 $u_x(0,t)=0$ 所以
   \newline
   ${\int }_0^{\tau }{\int }_0^l(u{u}_x{)}_{x}dxdt$ $={\int }_0^{\tau }u(l,t)u_x(l,t)dt$

3. 确定 $u(l,t)u_x(l,t)$
   \newline
   所以现在需要确定 $u(l,t)u_x(l,t)$，这时利用题目给的条件 $$u_x(l,t)+\beta u(l,t)=0$$对其平方得$$u_x^2(l,t)+{\beta }^2{u}^2(l,t)+2\beta u(l,t)u_x(l,t)=0$$移项得$$2\beta u(l,t)u_x(l,t)=-(u_x^2(l,t)+{\beta }^2{u}^2(l,t))$$两边同时除以 $2\beta$ 得$$u(l,t)u_x(l,t)=-\frac{1}{2}(\beta u^2(l,t)+\frac{1}{\beta }{u}_x^2(l,t))$$那么现在 $1.$ 最后得到的等式 $${\int }_0^{\tau }{\int }_0^l\frac{1}{2}(u^2{)}_{t}dxdt-{\int }_0^{\tau }{\int }_0^l(u{u}_x{)}_{x}dxdt+{\iint }_{Q_{\tau }}{u}_x^{2}dxdt={\iint }_{Q_{\tau }}ufdxdt$$将 $2.$ 和 $3.$ 中的等价替换带进等式左端，右端使用 $Cauchy$ 不等式 $ab\le \frac{1}{2}(a^2+b^2)$ 得到$$\frac{1}{2}{\int }_0^l[u^2(x,\tau )-{\phi }^2(x)]dx+\frac{1}{2}{\int }_0^{\tau }[\beta u^2(l,t)+\frac{1}{\beta }{u}_x^2(l,t)]dt+{\iint }_{Q_{\tau }}{u}_x^{2}dxdt\le \frac{1}{2}{\iint }_{Q_{\tau }}{u}^{2}dxdt+\frac{1}{2}{\iint }_{Q_{\tau }}{f}^{2}dxdt$$将上面不等式两边同乘 $2$ 并将 ${\phi }^2(x)$ 移项得到$${\int }_0^l{u}^2(x,\tau )dx+{\int }_0^{\tau }[\beta u^2(l,t)+\frac{1}{\beta }{u}_x^2(l,t)]dt+2{\iint }_{Q_{\tau }}{u}_x^{2}dxdt\le {\int }_0^l{\phi }^2(x)dx+{\iint }_{Q_{\tau }}{u}^{2}dxdt+{\iint }_{Q_{\tau }}{f}^{2}dxdt$$

4. 对上面不等式构造 $Gronwall$ 不等式
   \newline
   令 $G(\tau )={\iint }_{Q_{\tau }}{u}^{2}dxdt,F(\tau )={\int }_0^l{\phi }^2(x)dx+{\iint }_{Q_{\tau }}{f}^{2}dxdt$，那么此时
   \newline
   $\frac{dG(\tau )}{d\tau }={\int }_0^l{u}^2(x,\tau )dx-{\int }_0^l{u}^2(x,0)dx$，
   \newline
   $={\int }_0^l{u}^2(x,\tau )dx-{\int }_0^l{\phi }^2(x)dx$，也就意味着 ${\int }_0^l{u}^2(x,\tau )dx=\frac{dG(\tau )}{d\tau }+{\int }_0^l{\phi }^2(x)dx$
   \newline
   即 $\frac{dG(\tau )}{d\tau }\le {\int }_0^l{u}^2(x,\tau )dx$
   \newline
   那么也就是说上面的不等式可以写成
   $$\frac{dG(\tau )}{d\tau }+{\int }_0^{\tau }[\beta u^2(l,t)+\frac{1}{\beta }{u}_x^2(l,t)]dt+2{\iint }_{Q_{\tau }}{u}_x^{2}dxdt\le {\int }_0^l{\phi }^2(x)dx+{\iint }_{Q_{\tau }}{u}^{2}dxdt+{\iint }_{Q_{\tau }}{f}^{2}dxdt$$而这个不等式左边除了 $\frac{dG(\tau )}{d\tau }$ 之外的另外 2 项都是非负项$(\beta >0）$，可放缩得：
   $$\frac{dG(\tau )}{d\tau }\le {\int }_0^l{\phi }^2(x)dx+{\iint }_{Q_{\tau }}{u}^{2}dxdt+{\iint }_{Q_{\tau }}{f}^{2}dxdt$$
   \newline
   那么此时满足 $$\frac{dG(\tau )}{d\tau }\le G(\tau )+F(\tau )$$由 $\text{Gronwall}$ 不等式可得，$\exists M_1>0,s.t.$ $$G(\tau )\le M_{1}F(\tau )$$ 取 $M=M_1+1$，那么上面这个不等式的右端可以写成$$\begin{gathered} {\int }_0^l{\phi }^2(x)dx+{\iint }_{Q_{\tau }}{u}^{2}dxdt+{\iint }_{Q_{\tau }}{f}^{2}dxdt=G(\tau )+F(\tau )\le M_{1}F(\tau )+F(\tau )=(M_1+1)F(\tau )=MF(\tau ) \\ =M({\int }_0^l{\phi }^2(x)dx+{\iint }_{Q_{\tau }}{f}^{2}dxdt) \end{gathered}$$回看 $3.$ 中得到的这个不等式：$${\int }_0^l{u}^2(x,\tau )dx+{\int }_0^{\tau }[\beta u^2(l,t)+\frac{1}{\beta }{u}_x^2(l,t)]dt+2{\iint }_{Q_{\tau }}{u}_x^{2}dxdt\le {\int }_0^l{\phi }^2(x)dx+{\iint }_{Q_{\tau }}{u}^{2}dxdt+{\iint }_{Q_{\tau }}{f}^{2}dxdt$$
   那么可以缩小左端(去除非负项)，同时放大右端，得到如下不等式：
   $${\int }_0^l{u}^2(x,\tau )dx+{\iint }_{Q_{\tau }}{u}_x^{2}dxdt\le M({\int }_0^l{\phi }^2(x)dx+{\iint }_{Q_{\tau }}{f}^{2}dxdt)$$那么这个不等式左端的两项都非负，所以各自都单独小于不等式右端，
   \newline
   也即：
   $${\int }_0^l{u}^2(x,\tau )dx\le M({\int }_0^l{\phi }^2(x)dx+{\iint }_{Q_{\tau }}{f}^{2}dxdt)$$$${\iint }_{Q_{\tau }}{u}_x^{2}dxdt\le M({\int }_0^l{\phi }^2(x)dx+{\iint }_{Q_{\tau }}{f}^{2}dxdt)$$这两个不等式两端分别关于 $\tau$ 取上确界，再相加，得到待证结论
   $$\underset{0\le t\le T}{\sup }{\int }_0^l{u}^2(x,t)dx+{\int }_0^T{\int }_0^l(u_x(x,t){)}^{2}dxdt\le M({\int }_0^l{\phi }^2(x)dx)+{\int }_0^T{\int }_0^l{f}^2(x,t)dxdt)$$

题目二

$Q=(0,l)\times (0,T]$，设$u(x,t)\in C^{1,0}(\overline{Q})\cap C^{2,1}(Q)$，且满足以下定解问题

$$\{\begin{array}{rl}& u_t-a^2{u}_{xx}=f(x,t),x,t\in Q\\ & u(x,0)=\phi (x),0\le x\le l\\ & -u_x+\alpha u{|}_{x=0}=0,u_x+\beta u{|}_{x=l}=0,0\le t\le T\end{array}$$其中 $\alpha \ge 0,\beta \ge 0$，请证明 $$\underset{0\le t\le T}{\sup }{\int }_0^l{u}^2(x,t)dx+{\int }_0^T{\int }_0^l(u_x(x,t){)}^{2}dxdt\le M({\int }_0^l{\phi }^2(x)dx)+{\int }_0^T{\int }_0^l{f}^2(x,t)dxdt)$$其中 $M$ 仅依赖于 $T,a$

证明过程：

1. 方程 $u_t-a^2{u}_{xx}=f$ 两端同乘 $u$ 并在区域 $Q_{\tau }=(0,l)\times (0,\tau )$ 上积分得$${\iint }_{Q_{\tau }}u{u}_{t}dxdt-{\iint }_{Q_{\tau }}{a}^{2}u{u}_{xx}dxdt={\iint }_{Q_{\tau }}f\cdot udxdt$$利用替换技巧$$u{u}_t=\frac{1}{2}\cdot 2u\cdot u_t=\frac{1}{2}(u^2{)}_t$$$$u{u}_{xx}=(u{u}_x{)}_x-u_x^2=u_x^2+u{u}_{xx}-u_x^2$$得等式左端为$${\int }_0^{\tau }{\int }_0^l\frac{1}{2}(u^2{)}_{t}dxdt-a^2{\int }_0^{\tau }{\int }_0^l(u{u}_x{)}_{x}dxdt+a^2{\iint }_{Q_{\tau }}{u}_x^{2}dxdt$$

2. 对不同项分别在 $t$ 和 $x$ 上积分
   \newline
   对${\int }_0^{\tau }{\int }_0^l\frac{1}{2}(u^2{)}_{t}dxdt$ 在 $t$ 上进行积分得到 ${\int }_0^l\frac{1}{2}{u}^2(x,\tau )-\frac{1}{2}{u}^2(x,0)dx$
   \newline
   用题目条件 $u(x,0)=\phi (x)$ 替换得$${\int }_0^{\tau }{\int }_0^l\frac{1}{2}(u^2{)}_{t}dxdt=\frac{1}{2}{\int }_0^l[u^2(x,\tau )-{\phi }^2(x)]dx$$
   对 $a^2{\int }_0^{\tau }{\int }_0^l(u{u}_x{)}_{x}dxdt$ 在 $x$ 上进行积分得到 $a^2{\int }_0^{\tau }{\int }_0^l(u{u}_x{)}_{x}dxdt$
   \newline
   $=a^2{\int }_0^{\tau }[u(l,t)u_x(l,t)-u(0,t)u_x(0,t)]dt$
   \newline
   那么此时 $1.$ 中最后的等式可替换为:
   $$\frac{1}{2}{\int }_0^l[u^2(x,\tau )-{\phi }^2(x)]dx-a^2{\int }_0^{\tau }[u(l,t)u_x(l,t)-u(0,t)u_x(0,t)]dt+a^2{\int }_0^{\tau }{\int }_0^l(u_x{)}^{2}dxdt={\int }_0^{\tau }{\int }_0^{l}f\cdot udxdt$$

3. 运用题目给的边界条件想办法将 $u(l,t)u_x(l,t)$ 和 $u(0,t)u_x(0,t)$ 进行替换
   $$-u_x+\alpha u{|}_{x=0}=0$$$$u_x+\beta u{|}_{x=l}=0$$两边乘 $u$ 得$$-u(0,t)u_x(0,t)+\alpha u^2(0,t)=0$$$$u(l,t)u_x(l,t)+\beta u^2(l,t)=0$$也即$$u(l,t)u_x(l,t)=-\beta u^2(l,t)$$$$-u(0,t)u_x(0,t)=-\alpha u^2(0,t)$$那么这一项$$-a^2{\int }_0^{\tau }[u(l,t)u_x(l,t)-u(0,t)u_x(0,t)]dt=a^2{\int }_0^{\tau }\beta u^2(l,t)+\alpha u^2(0,t)dt$$那么 $2.$ 中最后的等式可替换为$$\frac{1}{2}{\int }_0^l[u^2(x,\tau )-{\phi }^2(x)]dx+a^2{\int }_0^{\tau }\beta u^2(l,t)+\alpha u^2(0,t)dt+a^2{\int }_0^{\tau }{\int }_0^l(u_x{)}^{2}dxdt={\int }_0^{\tau }{\int }_0^{l}f\cdot udxdt$$
   舍去这个等式左端的非负项 $a^2{\int }_0^{\tau }\beta u^2(l,t)+\alpha u^2(0,t)dt$ 并同乘 $2$ 将 $\phi (x)$ 移项可得到不等式$${\int }_0^l{u}^2(x,\tau )dx+2a^2{\int }_0^{\tau }{\int }_0^l(u_x{)}^{2}dxdt\le {\int }_0^l{\phi }^2(x)dx+2{\int }_0^{\tau }{\int }_0^{l}f\cdot udxdt$$对上面这个不等式右端的 $2{\int }_0^{\tau }{\int }_0^{l}f\cdot udxdt$ 应用 $Cauchy$ 不等式得$${\int }_0^l{u}^2(x,\tau )dx+2a^2{\int }_0^{\tau }{\int }_0^l(u_x{)}^{2}dxdt\le {\int }_0^l{\phi }^2(x)dx+{\int }_0^{\tau }{\int }_0^l{f}^{2}dxdt+{\int }_0^{\tau }{\int }_0^l{u}^{2}dxdt$$
   将上面这个不等式记为 ($\ast$)
   \newline
   ($\ast$)左端舍去非负的第一项并除以 $2a^2$ 得$${\int }_0^{\tau }{\int }_0^l(u_x{)}^{2}dxdt\le \frac{1}{2a^2}({\int }_0^l{\phi }^2(x)dx+{\int }_0^{\tau }{\int }_0^l{f}^{2}dxdt+{\int }_0^{\tau }{\int }_0^l{u}^{2}dxdt)(1)$$($\ast$)左端舍去非负的第二项得$${\int }_0^l{u}^2(x,\tau )dx\le {\int }_0^l{\phi }^2(x)dx+{\int }_0^{\tau }{\int }_0^l{f}^{2}dxdt+{\int }_0^{\tau }{\int }_0^l{u}^{2}dxdt(2)$$
   令 $G(\tau )={\int }_0^{\tau }{\int }_0^l{u}^{2}dxdt$， $F(\tau )={\int }_0^l{\phi }^2(x)dx+{\int }_0^{\tau }{\int }_0^l{f}^{2}dxdt$，
   \newline
   那么此时，$\frac{dG(\tau )}{d\tau }={\int }_0^l{u}^2(x,\tau )dx$ 可验证 $(2)$ 满足(此时 $C=1$) $$\frac{dG(\tau )}{d\tau }\le G(\tau )+F(\tau )$$由 $\text{Gronwall}$ 不等式可得到：$${\int }_0^{\tau }{\int }_0^l{u}^{2}dxdt\le (e^{\tau }-1)({\int }_0^l{\phi }^2(x)dx+{\int }_0^{\tau }{\int }_0^l{f}^{2}dxdt)(3)$$$${\int }_0^l{u}^2(x,\tau )dx\le e^{\tau }({\int }_0^l{\phi }^2(x)dx+{\int }_0^{\tau }{\int }_0^l{f}^{2}dxdt)(4)$$这里 $C=1,\frac{dG(\tau )}{d\tau }={\int }_0^l{u}^2(x,\tau )dx$
   \newline
   对 $(4)$ 式两边取上确界得到：$$\underset{0\le \tau \le T}{\sup }{\int }_0^l{u}^2(x,\tau )dx\le e^T({\int }_0^l{\phi }^2(x)dx+{\int }_0^T{\int }_0^l{f}^{2}dxdt)(5)$$注意 $(4)$ 式右端的 $\tau$ 变成 $T$
   \newline
   对 $(1)$ 式右边的 ${\int }_0^{\tau }{\int }_0^l{u}^{2}dxdt$ 利用 $(3)$ 式进行放大得$${\int }_0^{\tau }{\int }_0^l{u}_x^{2}dxdt\le \frac{1}{2a^2}({\int }_0^l{\phi }^2(x)dx+{\int }_0^{\tau }{\int }_0^l{f}^{2}dxdt+{\int }_0^{\tau }{\int }_0^l{u}^{2}dxdt)\le \frac{1}{2a^2}[{\int }_0^l{\phi }^2(x)dx+{\int }_0^{\tau }{\int }_0^l{f}^{2}dxdt+(e^{\tau }-1)({\int }_0^l{\phi }^2(x)dx+{\int }_0^{\tau }{\int }_0^l{f}^{2}dxdt)]$$$$=\frac{e^{\tau }}{2a^2}({\int }_0^l{\phi }^2(x)dx+{\int }_0^{\tau }{\int }_0^l{f}^{2}dxdt)$$也即 $${\int }_0^{\tau }{\int }_0^l{u}_x^{2}dxdt\le \frac{e^{\tau }}{2a^2}({\int }_0^l{\phi }^2(x)dx+{\int }_0^{\tau }{\int }_0^l{f}^{2}dxdt)$$两边取上确界得$${\int }_0^T{\int }_0^l{u}_x^{2}dxdt\le \frac{e^T}{2a^2}({\int }_0^l{\phi }^2(x)dx+{\int }_0^T{\int }_0^l{f}^{2}dxdt)(6)$$将 $(5)$ $(6)$ 两个不等式相加得证