偏微分方程/热方程

本章讨论的是热方程，其形式如下

$\forall (t,x)\in \mathbb {R} \times \mathbb {R} ^{d}:\partial _{t}u(t,x)-\Delta _{x}u(t,x)=f(t,x)$

对于某个$f:\mathbb {R} \times \mathbb {R} ^{d}\to \mathbb {R}$。利用分布理论，我们将证明一个显式解公式（如果$f$具有足够的可微性），并且我们甚至证明了初值问题的解公式。

格林核与解

引理 6.1:

$\int _{\mathbb {R} }e^{-x^{2}}dx={\sqrt {\pi }}$

证明:

${\begin{aligned}\left(\int _{\mathbb {R} }e^{-x^{2}}\right)^{2}&=\left(\int _{\mathbb {R} }e^{-x^{2}}\right)\cdot \left(\int _{\mathbb {R} }e^{-y^{2}}\right)&\\&=\int _{\mathbb {R} }\int _{\mathbb {R} }e^{-(x^{2}+y^{2})}dxdy&\\&=\int _{\mathbb {R} ^{2}}e^{-\|(x,y)\|^{2}}d(x,y)&{\text{Fubini}}\\&=\int _{0}^{\infty }\int _{0}^{2\pi }re^{-r^{2}}d\varphi dr&{\text{ integration by substitution using spherical coordinates}}\\&=2\pi \int _{0}^{\infty }re^{-r^{2}}dr&\\&=2\pi \int _{0}^{\infty }{\frac {1}{2{\sqrt {r}}}}{\sqrt {r}}e^{-r}dr&{\text{integration by substitution using }}r\mapsto {\sqrt {r}}\\&=\pi &\end{aligned}}$

在两边取平方根即可完成证明。$\Box$

引理 6.2:

$\int _{\mathbb {R} ^{d}}e^{-\|x\|^{2}/2}dx={\sqrt {2\pi }}^{d}$

证明:

${\begin{aligned}\int _{\mathbb {R} ^{d}}e^{-{\frac {\|x\|^{2}}{2}}}dx&=\overbrace {\int _{-\infty }^{\infty }\cdots \int _{-\infty }^{\infty }} ^{d{\text{ times}}}e^{-{\frac {x_{1}^{2}+\cdots +x_{d}^{2}}{2}}}dx_{1}\cdots dx_{d}&{\text{Fubini's theorem}}\\&=\int _{-\infty }^{\infty }e^{-{\frac {x_{d}^{2}}{2}}}\cdots \int _{-\infty }^{\infty }e^{-{\frac {x_{1}^{2}}{2}}}dx_{1}\,\cdots dx_{d}&{\text{pulling the constants out of the integrals}}\end{aligned}}$

根据引理 6.1，

$\int _{\mathbb {R} }e^{-x^{2}}dx={\sqrt {\pi }}$.

如果我们将替换积分（定理 5.5）应用于此，使用微分同胚$x\mapsto {\frac {x}{\sqrt {2}}}$，我们将得到

${\sqrt {\pi }}=\int _{\mathbb {R} }{\frac {1}{\sqrt {2}}}e^{-{\frac {x^{2}}{2}}}dx$

并乘以${\sqrt {2}}$

${\sqrt {2\pi }}=\int _{\mathbb {R} }e^{-{\frac {x^{2}}{2}}}dx$

因此，首先计算最内层的积分，然后提取结果常数，

$\overbrace {\int _{-\infty }^{\infty }e^{-{\frac {x_{d}^{2}}{2}}}\cdots \int _{-\infty }^{\infty }e^{-{\frac {x_{1}^{2}}{2}}}} ^{d{\text{ times}}}dx_{1}\cdots dx_{d}={\sqrt {2\pi }}^{d}$$\Box$

定理 6.3:

函数

$E:\mathbb {R} \times \mathbb {R} ^{d}\to \mathbb {R} ,E(t,x)={\begin{cases}{\sqrt {4\pi t}}^{-d}e^{-{\frac {\|x\|^{2}}{4t}}}&t>0\\0&t\leq 0\end{cases}}$

是热方程的格林函数。

证明:

1.

我们证明$E$是局部可积的。

设$K\subset \mathbb {R} \times \mathbb {R} ^{d}$是一个紧集，并设$T>0$使得$K\subset (-T,T)\times \mathbb {R} ^{d}$。我们首先证明积分

$\int _{(-T,T)\times \mathbb {R} ^{d}}E(s,y)d(s,y)$

存在

${\begin{aligned}\int _{(-T,T)\times \mathbb {R} ^{d}}E(s,y)d(s,y)&=\int _{(0,T)\times \mathbb {R} ^{d}}E(s,y)d(s,y)&\forall s\leq 0:E(s,y)=0\\&=\int _{0}^{T}\int _{\mathbb {R} ^{d}}{\frac {1}{{\sqrt {4\pi s}}^{d}}}e^{-{\frac {\|y\|^{2}}{4s}}}dyds&{\text{Fubini's theorem}}\end{aligned}}$

通过使用微分同胚$y\mapsto {\sqrt {2s}}y$在内部积分中进行变量变换，以及引理 6.2，我们得到

$=\int _{0}^{T}\int _{\mathbb {R} ^{d}}{\frac {{\sqrt {2s}}^{d}}{{\sqrt {4\pi s}}^{d}}}e^{-{\frac {\|y\|^{2}}{2}}}dyds=\int _{0}^{T}1ds=T$

因此，积分

$\int _{(-T,T)\times \mathbb {R} ^{d}}E(s,y)d(s,y)$

存在。但是，由于

$\forall (s,y)\in \mathbb {R} \times \mathbb {R} ^{d}:|\chi _{K}(s,y)E(s,y)|\leq |E(s,y)|$

，其中$\chi _{K}$是$K$的特征函数，积分

$\int _{(-T,T)\times \mathbb {R} ^{d}}\chi _{K}(s,y)E(s,y)d(s,y)=\int _{K}E(s,y)d(s,y)$

存在。由于$K$是一个任意的紧集，因此我们具有局部可积性。

2.

我们计算$\partial _{t}E$和$\Delta _{x}E$（参见练习 1）。

$\partial _{t}E(t,x)=\left({\frac {\|x\|^{2}}{4t^{2}}}-{\frac {d}{4t}}\right)E(t,x)$

$\Delta _{x}E(t,x)=\left({\frac {\|x\|^{2}}{4t^{2}}}-{\frac {d}{4t}}\right)E(t,x)$

3.

我们证明

$\forall \varphi \in {\mathcal {D}}(\mathbb {R} \times \mathbb {R} ^{d}),(t,x)\in \mathbb {R} \times \mathbb {R} ^{d}:(\partial _{t}-\Delta _{x})T_{E(\cdot -(t,x))}(\varphi )=\delta _{(t,x)}(\varphi )$

令 $\varphi \in {\mathcal {D}}(\mathbb {R} \times \mathbb {R} ^{d}),(t,x)\in \mathbb {R} \times \mathbb {R} ^{d}$ 为任意函数。

在证明的最后一步中，我们只处理项 $(\partial _{t}-\Delta _{x})T_{E(\cdot -(t,x))}(\varphi )$。

${\begin{aligned}(\partial _{t}-\Delta _{x})T_{E(\cdot -(t,x))}(\varphi )&=T_{E(\cdot -(t,x))}((-\partial _{t}-\Delta _{x})\varphi )&{\text{by definition of distribution derivation}}\\&=\int _{\mathbb {R} \times \mathbb {R} ^{d}}(-\partial _{t}-\Delta _{x})\varphi (s,y)E(s-t,y-x)d(s,y)&\\&=\int _{(t,\infty )\times \mathbb {R} ^{d}}(-\partial _{t}-\Delta _{x})\varphi (s,y)E(s-t,y-x)d(s,y)&\forall t\leq 0:E(t,x)=0\\\end{aligned}}$

如果我们选择 $R>0$ 和 $T>0$ 使得

${\text{supp }}\varphi \subset (-\infty ,t+T)\times B_{R}(x)$

，我们甚至有

$(\partial _{t}-\Delta _{x})T_{E(\cdot -(t,x))}(\varphi )=\int _{(t,t+T)\times B_{R}(x)}(-\partial _{t}-\Delta _{x})\varphi (s,y)E(s-t,y-x)d(s,y)$

利用控制收敛定理（定理 5.1），我们可以再次改写该项。

${\begin{aligned}(\partial _{t}-\Delta _{x})T_{E(\cdot -(t,x))}(\varphi )&=\int _{(t,t+T)\times B_{R}(x)}(-\partial _{t}-\Delta _{x})\varphi (s,y)E(s-t,y-x)d(s,y)\\&=\lim _{\epsilon \downarrow 0}\int _{(t,t+T)\times B_{R}(x)}(-\partial _{t}-\Delta _{x})\varphi (s,y)E(s-t,y-x)(1-\chi _{[t,t+\epsilon ]}(s))d(s,y)\\&=\lim _{\epsilon \downarrow 0}\int _{(t+\epsilon ,t+T)\times B_{R}(x)}(-\partial _{t}-\Delta _{x})\varphi (s,y)E(s-t,y-x)d(s,y)\end{aligned}}$

其中，$\chi _{[t,t+\epsilon ]}$ 是 $[t,t+\epsilon ]$ 的特征函数。

我们将极限项分成两部分，分别对每一项进行操作。

${\begin{aligned}\int _{(t+\epsilon ,t+T)\times B_{R}(x)}(-\partial _{t}-\Delta _{x})\varphi (s,y)E(s-t,y-x)d(s,y)\\=-\int _{(t+\epsilon ,t+T)\times B_{R}(x)}\Delta _{x}\varphi (s,y)E(s-t,y-x)d(s,y)\\-\int _{(t+\epsilon ,t+T)\times B_{R}(x)}\partial _{t}\varphi (s,y)E(s-t,y-x)d(s,y)\\\end{aligned}}$

最后的积分是在 $(t+\epsilon ,t+T)\times B_{R}(x)$ 上进行的，其中 $\epsilon >0$。在这个区域及其边界上，$E(s-t,y-x)$ 是可微的。因此，我们允许进行分部积分。

${\begin{aligned}\int _{(t+\epsilon ,t+T)\times B_{R}(x)}\Delta _{x}\varphi (s,y)E(s-t,y-x)d(s,y)&=\int _{t+\epsilon }^{t+T}\int _{B_{R}(x)}\Delta _{x}\varphi (s,y)E(s-t,y-x)dyds&{\text{Fubini}}\\=\int _{t+\epsilon }^{t+T}\int _{\partial B_{R}(x)}E(s,y)n(y)\cdot \underbrace {\nabla _{x}\varphi (s,y)} _{=0}dyds&-\int _{t+\epsilon }^{t+T}\int _{B_{R}(x)}\nabla _{x}\varphi (s,y)\cdot \nabla _{x}E(s-t,y-x)dyds&{\text{integration by parts in }}y\\=\int _{t+\epsilon }^{t+T}\int _{B_{R}(x)}\varphi (s,y)\Delta _{x}E(s-t,y-x)dyds&-\int _{t+\epsilon }^{t+T}\int _{\partial B_{R}(x)}\underbrace {\varphi (s,y)} _{=0}n(y)\cdot \nabla _{x}E(s-t,y-x)dyds&{\text{integration by parts in }}y\end{aligned}}$

在最后两次操作中，我们使用了分部积分，其中$\varphi$和$f$交换了定理 5.4 中函数的角色，以及$\nabla _{x}f$和$\nabla _{x}\varphi$交换了向量场的角色。在后一种操作中，我们没有直接应用定理 5.4，而是对等式两边减去了边界项。

让我们也对另一个积分进行分部积分。

${\begin{aligned}\int _{(t+\epsilon ,t+T)\times B_{R}(x)}\partial _{t}\varphi (s,y)E(s-t,y-x)d(s,y)&=\int _{B_{R}(x)}\int _{t+\epsilon }^{t+T}\partial _{t}\varphi (s,y)E(s-t,y-x)dsdy&{\text{Fubini}}\\=\int _{B_{R}(x)}\underbrace {\varphi (s,y)E(s-t,y-x){\big |}_{s=t+\epsilon }^{s=t+T}} _{=-\varphi (t+\epsilon ,y)E(\epsilon ,y-x)}dy&-\int _{B_{R}(x)}\int _{t+\epsilon }^{t+T}\varphi (s,y)\partial _{t}E(s-t,y-x)dsdy&{\text{integration by parts in }}s\end{aligned}}$

现在我们将这两个项加起来，可以发现

${\begin{aligned}(\partial _{t}-\Delta _{x})T_{E(\cdot -(t,x))}(\varphi )&=\lim _{\epsilon \downarrow 0}-\int _{B_{R}(x)}-\varphi (t+\epsilon ,y)E(\epsilon ,y-x)dy\\+\int _{B_{R}(x)}\int _{t+\epsilon }^{t+T}\varphi (s,y)\partial _{t}E(s-t,y-x)dsdy&-\int _{t+\epsilon }^{t+T}\int _{B_{R}(x)}\varphi (s,y)\Delta _{x}E(s-t,y-x)dyds\end{aligned}}$

以上导数计算表明$\partial _{t}E=\Delta _{x}E$，这就是为什么最后两个积分相互抵消，因此

$(\partial _{t}-\Delta _{x})T_{E(\cdot -(t,x))}(\varphi )=\lim _{\epsilon \downarrow 0}\int _{B_{R}(x)}\varphi (t+\epsilon ,y)E(\epsilon ,y-x)dy$

利用 ${\text{supp }}\varphi (t+\epsilon ,\cdot )\subset B_{R}(x)$，并使用微分同胚 $y\mapsto x+{\sqrt {2\epsilon }}y$ 进行多维积分替换，我们得到

$\int _{B_{R}(x)}\varphi (t+\epsilon ,y)E(\epsilon ,y-x)dy=\int _{\mathbb {R} ^{d}}\varphi (t+\epsilon ,y)E(\epsilon ,y-x)dy$ $=\int _{\mathbb {R} ^{d}}\varphi (t+\epsilon ,y){\frac {1}{{\sqrt {4\pi \epsilon }}^{d}}}e^{-{\frac {\|y-x\|^{2}}{4\epsilon }}}dy$ $=\int _{\mathbb {R} ^{d}}\varphi (t+\epsilon ,x+{\sqrt {2\epsilon }}y){\frac {{\sqrt {2\epsilon }}^{d}}{{\sqrt {4\pi \epsilon }}^{d}}}e^{-{\frac {\|y\|^{2}}{2}}}dy={\frac {1}{{\sqrt {2\pi }}^{d}}}\int _{\mathbb {R} ^{d}}\varphi (t+\epsilon ,x+{\sqrt {2\epsilon }}y)e^{-{\frac {\|y\|^{2}}{2}}}dy$

由于 $\varphi$ 是连续的（甚至光滑的），我们有

$\forall x\in \mathbb {R} ^{d}:\lim _{\epsilon \to 0}\varphi (t+\epsilon ,x+{\sqrt {2\epsilon }}y)=\varphi (t,x)$

因此

${\begin{aligned}(\partial _{t}-\Delta _{x})T_{E(\cdot -(t,x))}(\varphi )&=\lim _{\epsilon \downarrow 0}{\frac {1}{{\sqrt {2\pi }}^{d}}}\int _{\mathbb {R} ^{d}}\varphi (t+\epsilon ,x+{\sqrt {2\epsilon }}y)e^{-{\frac {\|y\|^{2}}{2}}}dy&\\&={\frac {1}{{\sqrt {2\pi }}^{d}}}\int _{\mathbb {R} ^{d}}\varphi (t,x)e^{-{\frac {\|y\|^{2}}{2}}}dy&{\text{dominated convergence}}\\&=\varphi (t,x)&{\text{lemma 6.2}}\\&=\delta _{(t,x)}(\varphi )&\end{aligned}}$$\Box$

定理 6.4：如果$f:\mathbb {R} \times \mathbb {R} ^{d}$是有界的，在$t$变量上连续可微一次，在$x$变量上连续可微二次，则

$u(t,x):=(E*f)(t,x)$

是热传导方程的解。

$\forall (t,x)\in \mathbb {R} \times \mathbb {R} ^{d}:\partial _{t}u(t,x)-\Delta _{x}u(t,x)=f(t,x)$

证明:

1.

我们证明$(E*f)(t,x)$具有足够的可微性，以满足方程。

2.

我们引用定理 5.?，该定理明确指出，如果卷积具有足够的可微性（我们在证明的第一部分中已经证明），则与格林核的卷积是解。$\Box$

初值问题

定义 6.5：设 $\mu :\mathbb {R} \times \mathbb {R} ^{d}\to \mathbb {R}$ 和 $f:\mathbb {R} ^{d}\to \mathbb {R}$ 为两个函数。$\mu$ 和 $f$ 的空间卷积 由下式给出

$(\mu *_{x}f)(t,x):=\int _{\mathbb {R} ^{d}}\mu (t,y-x)f(y)dy$

定理及定义 6.6：设 $f:[0,\infty )\times \mathbb {R} ^{d}\to \mathbb {R}$ 为有界函数，在 $t$ 变量上具有一阶连续导数，在 $x$ 变量上具有二阶连续导数，并设 $E:\mathbb {R} ^{d}\to \mathbb {R}$ 为连续且有界的函数。如果我们定义

${\tilde {f}}:\mathbb {R} \times \mathbb {R} ^{d}\to \mathbb {R} ,{\tilde {f}}(t,x)={\begin{cases}f(t,x)&t\geq 0\\0&t<0\end{cases}}$

，则函数

$u:[0,\infty )\times \mathbb {R} ^{d}\to \mathbb {R} ,u(t,x)={\begin{cases}(E*_{x}g)(t,x)+({\tilde {f}}*E)(t,x)&t>0\\g(x)&t=0\end{cases}}$

是热方程初值问题的连续解，即

${\begin{cases}\forall (t,x)\in (0,\infty )\times \mathbb {R} ^{d}:&\partial _{t}u(t,x)-\Delta _{x}u(t,x)=f(t,x)\\\forall x\in \mathbb {R} ^{d}:&u(0,x)=g(x)\end{cases}}$

注意，如果我们不要求解是连续的，我们可以取任意一个解，并将其在$t=0$处设置为$g$。

证明:

1.

我们证明

$\forall (t,x)\in (0,\infty )\times \mathbb {R} ^{d}:\partial _{t}u(t,x)-\Delta _{x}u(t,x)=f(t,x)~~~~~(*)$

根据定理7.4，我们已经知道${\tilde {f}}*E$是以下方程的解：

$\forall (t,x)\in (0,\infty )\times \mathbb {R} ^{d}:\partial _{t}({\tilde {f}}*E)(t,x)-\Delta _{x}({\tilde {f}}*E)(t,x)={\tilde {f}}(t,x){\overset {t>0}{=}}f(t,x)$

因此，对于$\forall (t,x)\in (0,\infty )\times \mathbb {R} ^{d}$，我们有

${\begin{aligned}\partial _{t}u(t,x)-\Delta _{x}u(t,x)=&\partial _{t}(E*_{x}g)(t,x)+\partial _{t}({\tilde {f}}*E)(t,x)\\&-\Delta _{x}(E*_{x}g)(t,x)-\Delta _{x}({\tilde {f}}*E)(t,x)\\=&f(t,x)+\partial _{t}(E*_{x}g)(t,x)-\Delta _{x}(E*_{x}g)(t,x)\end{aligned}}$

这就是为什么如果满足以下条件，则$(*)$ 将成立。

对于$\forall (t,x)\in (0,\infty )\times \mathbb {R} ^{d}:\partial _{t}(E*_{x}g)(t,x)-\Delta _{x}(E*_{x}g)(t,x)=0$

我们现在来验证这一点。

根据空间卷积的定义，我们有

$\partial _{t}(E*_{x}g)(t,x)=\partial _{t}\int _{\mathbb {R} ^{d}}E(t,x-y)g(y)dy$

以及

$\Delta _{x}(E*_{x}g)(t,x)=\Delta _{x}\int _{\mathbb {R} ^{d}}E(t,x-y)g(y)dy$

通过应用莱布尼兹积分法则（参见练习 2），我们发现

${\begin{aligned}\partial _{t}(E*_{x}g)(t,x)-\Delta _{x}(E*_{x}g)(t,x)&=\partial _{t}\int _{\mathbb {R} ^{d}}E(t,x-y)g(y)dy-\Delta _{x}\int _{\mathbb {R} ^{d}}E(t,x-y)g(y)dy&\\&=\int _{\mathbb {R} ^{d}}\partial _{t}E(t,x-y)g(y)dy-\int _{\mathbb {R} ^{d}}\Delta _{x}E(t,x-y)g(y)dy&{\text{ Leibniz' integral rule}}\\&=\int _{\mathbb {R} ^{d}}\left(\partial _{t}E(t,x-y)-\Delta _{x}E(t,x-y)\right)g(y)dy&{\text{ linearity of the integral}}\\&=0&{\text{ exercise 1}}\end{aligned}}$

对所有 $(t,x)\in (0,\infty )\times \mathbb {R} ^{d}$。

2.

我们证明 $u$ 是连续的。

很明显，$u$ 在 $(0,\infty )\times \mathbb {R} ^{d}$ 上是连续的，因为所有一阶偏导数都存在且连续（参见练习 2）。剩下的需要证明的是 $u$ 在 $\{0\}\times \mathbb {R} ^{d}$ 上是连续的。

为此，我们首先注意到，对所有 $(t,x)\in (0,\infty )\times \mathbb {R} ^{d}$

${\begin{aligned}\int _{\mathbb {R} ^{d}}E(t,x-y)dy&=\int _{\mathbb {R} ^{d}}E(t,y)dy&{\text{ 利用 }}y\mapsto x-y{\text{ 的替换积分}}\\&=\int _{\mathbb {R} ^{d}}{\sqrt {4\pi t}}^{-d}e^{\frac {\|y\|^{2}}{4t}}dy&\\&=\int _{\mathbb {R} ^{d}}{\sqrt {2\pi }}^{-d}e^{\frac {\|y\|^{2}}{2}}dy&{\text{ 利用 }}y\mapsto {\sqrt {2t}}y{\text{ 的替换积分}}\\&=1&{\text{ 引理 6.2}}\end{aligned}}$

此外，由于$g$ 的连续性，对于任意给定的$\epsilon >0$ 和任意$x\in \mathbb {R} ^{d}$，我们都可以找到一个$\delta >0$，使得

$\forall y\in B_{\delta }(x):|g(y)-g(x)|<\epsilon$.

根据以上两点观察，我们可以得出结论

${\begin{aligned}|g(x)-(E*_{x}g)(t,x)|&=\left|1\cdot g(x)-\int _{\mathbb {R} ^{d}}E(t,x-y)g(x)dy\right|&\\&=\left|\int _{\mathbb {R} ^{d}}E(t,x-y)g(x)dy-\int _{\mathbb {R} ^{d}}E(t,x-y)g(x)dy\right|\\&=\left|\int _{B_{\delta }(x)}E(t,x-y)(g(y)-g(x))dy+\int _{\mathbb {R} ^{d}\setminus B_{\delta }(x)}E(t,x-y)(g(y)-g(x))dy\right|&\\&\leq \left|\int _{B_{\delta }(x)}E(t,x-y)(g(y)-g(x))dy\right|+\left|\int _{\mathbb {R} ^{d}\setminus B_{\delta }(x)}E(t,x-y)(g(y)-g(x))dy\right|&{\text{三角不等式在 }}\mathbb {R} \\&\leq \int _{B_{\delta }(x)}|E(t,x-y)|\underbrace {|g(y)-g(x)|} _{<\epsilon }dy+\int _{\mathbb {R} ^{d}\setminus B_{\delta }(x)}|E(t,x-y)(g(y)-g(x))|dy&{\text{积分的三角不等式 }}\\&<\int _{\mathbb {R} ^{d}}|E(t,x-y)|\epsilon dy+\int _{\mathbb {R} ^{d}\setminus B_{\delta }(x)}|E(t,x-y)|\underbrace {(|g(y)|+|g(x)|)} _{\leq 2\|g\|_{\infty }}dy&{\text{积分的单调性 }}\\&=\epsilon +2\|g\|_{\infty }\left|\int _{\mathbb {R} ^{d}\setminus B_{\delta }(x)}E(t,x-y)dy\right|\end{aligned}}$

但是由于使用微分同胚$x\mapsto {\sqrt {2t}}x$进行换元积分，我们得到

$\int _{\mathbb {R} ^{d}\setminus B_{\delta }(x)}E(t,x-y)dy=\int _{\mathbb {R} ^{d}\setminus B_{\delta }(0)}E(t,x)dy=\int _{\mathbb {R} ^{d}\setminus B_{\frac {\delta }{\sqrt {2t}}}(0)}{\frac {1}{{\sqrt {2\pi }}^{d}}}e^{-{\frac {\|x\|^{2}}{2}}}dy\to 0,t\to 0$

这就是为什么

$\lim _{t\to 0}|g(x)-(E*_{x}g)(t,x)|<\epsilon$

由于$\epsilon >0$是任意的，因此连续性得证。$\Box$