PDE分离变量法

分离变量法

推论

在傅里叶级数理论中，如果在区间 $[0,L]$ 上，一个函数 $f(x)$ 可以展开为一系列余弦函数的和：$$f(x)=\sum _{n=1}^{\infty }{c}_n\cos (n\pi x),$$那么系数 $c_n$ 可以通过什么公式计算：$$c_n=\frac{2}{L}{\int }_0^{L}f(x)\cos \left(\frac{n\pi x}{L}\right)dx,n=1,2,3,\dots$$

利用分离变量法求解偏微分方程时，会用到的三角函数积分正交性质

分离变量法求解偏微分方程时常常涉及到三角函数的正交性质，这个性质是在一定区间上三角函数乘积的积分为零。具体来说，对于三角函数的积分正交性，我们通常关注正弦函数和余弦函数在闭区间 $[0,L]$ 上的正交性。

正弦函数的正交性

对于 $m,n$ 为正整数，正弦函数的正交性表述为：

${\int }_0^L\sin \left(\frac{m\pi x}{L}\right)\sin \left(\frac{n\pi x}{L}\right)dx=\{\begin{array}{ll}0& \text{if }m\ne n\\ \frac{L}{2}& \text{if }m=n\end{array}$

这意味着，如果 $m\ne n$，两个不同频率的正弦波的乘积在区间 $[0,L]$ 上的积分为零。如果 $m=n$，这个积分则等于区间长度 $L$ 的一半。

余弦函数的正交性

对于 $m,n$ 为非负整数，余弦函数的正交性表述为：

${\int }_0^L\cos \left(\frac{m\pi x}{L}\right)\cos \left(\frac{n\pi x}{L}\right)dx=\{\begin{array}{ll}0& \text{if }m\ne n\\ \frac{L}{2}& \text{if }m=n\text{ and }n\ne 0\\ L& \text{if }m=n=0\end{array}$

这意味着，类似于正弦函数，不同频率的余弦波的乘积在区间 $[0,L]$ 上的积分为零。如果频率相同且不为零，则积分为区间长度的一半；如果两个波都是常数项（即 $m=n=0$），积分等于区间长度。

正弦和余弦函数间的正交性

对于任意正整数 $m$ 和 $n$，正弦函数和余弦函数之间的正交性为：

${\int }_0^L\sin \left(\frac{m\pi x}{L}\right)\cos \left(\frac{n\pi x}{L}\right)dx=0$

这表示正弦函数和余弦函数在同一区间上相互正交，即它们的乘积的积分始终为零。

这些正交性质在求解涉及正弦和余弦函数的偏微分方程时非常重要，尤其是在处理初始条件或者边界条件引入的系列展开时，利用正交性可以帮助我们简化问题和计算系数。

题目零

$$\{\begin{array}{rl}& u_t-u_{xx}=0,x,t\in (0,1),\\ & u(x,0)=\sin (\pi x),x\in [0,1],\\ & u(0,t)=0,u(1,t)=0,t\in [0,1]\end{array}$$

要使用分离变量法求解这个偏微分方程，我们可以假设解 $u(x,t)$ 可以表示为 $X(x)T(t)$ 的形式。这里 $X$ 是仅与 $x$ 有关的函数，$T$ 是仅与 $t$ 有关的函数。

步骤 1: 分离变量

将 $u(x,t)=X(x)T(t)$ 代入方程 $u_t-u_{xx}=0$，得到：
$T^{\prime }(t)X(x)-X^{\prime \prime }(x)T(t)=0$

将上式两边同时除以 $X(x)T(t)$，得到：
$\frac{T^{\prime }(t)}{T(t)}=\frac{X^{\prime \prime }(x)}{X(x)}$

由于左边只是时间的函数，右边只是空间的函数，两边必须等于一个常数。我们设这个常数为 $-\lambda$，因此可以得到两个常微分方程：
$T^{\prime }(t)+\lambda T(t)=0$
$X^{\prime \prime }(x)+\lambda X(x)=0$

步骤 2: 边界条件与本征值问题

由于边界条件 $u(0,t)=0$ 和 $u(1,t)=0$，我们有：
$X(0)=0,X(1)=0$

对于 $X^{\prime \prime }(x)+\lambda X(x)=0$ 来说，考虑满足上述边界条件的解。假设 $\lambda >0$，则本征函数 $X(x)$ 可以表示为：
$X(x)=A\sin (\sqrt{\lambda }x)+B\cos (\sqrt{\lambda }x)$

因为 $X(0)=0$ 必须成立，所以 $B=0$。剩余的条件 $X(1)=0$ 要求：
$A\sin (\sqrt{\lambda })=0$

除非 $A=0$（这会导致平凡解），我们需要：
$\sqrt{\lambda }=n\pi ,n=1,2,3,\dots$

所以，$\lambda =n^2{\pi }^2$，对应的 $X_n(x)=\sin (n\pi x)$。

步骤 3: 时间部分

对 $T^{\prime }(t)+\lambda T(t)=0$，使用 $\lambda =n^2{\pi }^2$，我们得到：
$T^{\prime }(t)+n^2{\pi }^{2}T(t)=0$

解这个方程，得到：
$T_n(t)=C_n{e}^{-n^2{\pi }^{2}t}$

步骤 4: 构造解

因此，对于每个 $n$，解的形式为：
$u_n(x,t)=\sin (n\pi x)e^{-n^2{\pi }^{2}t}$

给定初始条件 $u(x,0)=\sin (\pi x)$，只有 $n=1$ 时符合条件。所以：
$u(x,t)=\sin (\pi x)e^{-{\pi }^{2}t}$

这是这个偏微分方程的解。

附注：为什么 $X_n(x)$ 的常数系数 $A$ 被省略了？

在使用分离变量法求解偏微分方程时，省略常数系数 $A$ 的原因是在最终解的形式中，这些常数可以通过初始条件或边界条件来确定，或者可以在解的线性组合中重新调整。

解的线性性

解 $u(x,t)$ 是线性偏微分方程的解，可以表达为多个特解的线性组合。每个特解形式为 $u_n(x,t)=X_n(x)T_n(t)$，其中 $X_n(x)$ 是本征函数，$T_n(t)$ 是时间部分的解。因为方程是线性的，我们可以任意缩放 $X_n$ 和 $T_n$ 而不改变方程的有效性。

本征函数的正规化

在分离变量法中，通常将本征函数 $X_n(x)$ 正规化，使其满足一定的正交性和单位范数条件。在实际操作中，这意味着我们通常将 $X_n(x)$ 的范数调整为1，或者调整为方便计算的其他值。例如，对于方程：
$X^{\prime \prime }(x)+\lambda X(x)=0$
带有边界条件 $X(0)=0$ 和 $X(1)=0$，我们可以选择 $X_n(x)=\sin (n\pi x)$ 作为本征函数，而忽略任何乘法常数，因为我们可以通过其他方式（如初始条件）来调整这些系数。

初始条件的调整

最终解通常需要满足特定的初始或边界条件。在您的例子中，初始条件是 $u(x,0)=\sin (\pi x)$，这直接指出了在 $t=0$ 时解的形式必须精确地是 $\sin (\pi x)$ 的倍数。由于方程的线性组合特性，最终解可以简单表示为 $\sin (\pi x)e^{-{\pi }^{2}t}$，其中 $e^{-{\pi }^{2}t}$ 精确地给出了时间衰减，而无需任何额外的缩放系数。

因此，省略常数 $A$ 是为了简化问题，因为这个系数在将解应用于具体初始条件或通过正交性求解时自然地得到调整。这样的处理使得问题表述更为直接和清晰。

题目一

$$\{\begin{array}{rl}& u_{xx}+u_{yy}=0,x,y\in (0,1),\\ & u(x,0)=0,u(x,1)=\sin (\pi x),x\in [0,1],\\ & u(0,y)=0,u(1,y)=0,y\in [0,1]\end{array}$$

首先要知道这个推论：

在傅里叶级数理论中，如果在区间 $[0,L]$ 上，一个函数 $f(x)$ 可以展开为一系列正弦函数的和：$$f(x)=\sum _{n=1}^{\infty }{c}_n\sin (n\pi x),$$那么系数 $c_n$ 可以通过下面的公式计算：$$c_n=\frac{2}{L}{\int }_0^{L}f(x)\sin \left(\frac{n\pi x}{L}\right)dx,$$使用分离变量法求解这个二维泊松方程。首先，假设解 $u(x,y)$ 可以表示为两个单变量函数的乘积，

即 $u(x,y)=X(x)Y(y)$。将这个假设代入原方程中，得到：$$X^{\prime \prime }(x)Y(y)+X(x)Y^{\prime \prime }(y)=0.$$两边同时除以$X(x)Y(y)$，得到：$$\frac{X^{\prime \prime }(x)}{X(x)}+\frac{Y^{\prime \prime }(y)}{Y(y)}=0.$$由于等式左边的第一项只依赖于 $x$，第二项只依赖于 $y$，为了使等式对于任意的 $x$ 和 $y$ 都成立，这两项必须分别等于一个常数，且这两个常数之和为零。

我们设 $\frac{X^{\prime \prime }(x)}{X(x)}=-\lambda$，则 $\frac{Y^{\prime \prime }(y)}{Y(y)}=\lambda$，其中 $\lambda$ 是一个待定的常数。

因此，得到了两个常微分方程：$$\begin{array}{rl}{X}^{\prime \prime }(x)+\lambda X(x)& =0,\\ Y^{\prime \prime }(y)-\lambda Y(y)& =0.\end{array}$$接下来，我们需要考虑边界条件。根据题目给定的边界条件，我们有：$$\begin{array}{rl}& X(0)=0,X(1)=0,\\ & Y(0)=0,Y(1)=\sin (\pi x).\end{array}$$对于 $X(x)$ 的方程，边界条件为 $X(0)=0$ 和 $X(1)=0$ 。

这是一个 $\text{Sturm-Liouville}$ 问题，其特征值 $\lambda$ 和相应的特征函数 $X(x)$ 可以通过求解这个常微分方程得到。

可求出特征值 ${\lambda }_n=n^2{\pi }^2$

对应的特征函数 $X_n(x)=\sin (n\pi x)$ ，其中 $n$ 为正整数。

对于 $Y(y)$ 的方程，由于边界条件 $Y(0)=0$ 和 $Y(1)=\sin (\pi x)$ 不是齐次的，

需要先求解齐次方程 $Y^{\prime \prime }(y)-\lambda Y(y)=0$ 的通解，然后通过特定的边界条件确定特解。

齐次方程的通解为$$Y(y)=A\cosh (\sqrt{\lambda }y)+B\sinh (\sqrt{\lambda }y)$$由于 $Y(0)=0$，得到 $A=0$ 。因此，$Y(y)=B\sinh (\sqrt{\lambda }y)$。

最后，需要使用 $Y(1)=\sin (\pi x)$ 这个边界条件来确定 $B$ 的值，

但这里存在一个问题，即 $Y(y)$ 的表达式中不包含 $x$，而边界条件中却有 $x$ 的项。

这意味着我们无法直接从这个边界条件中得到 $B$ 的值。

综上所述，可以得到一系列的解 $$u_n(x,y)=\sin (n\pi x)B_n\sinh (n\pi y)$$其中 $B_n$ 是待定常数。由于偏微分方程是线性的，可以将这些解线性叠加起来，得到最终解：$$u(x,y)=\sum _{n=1}^{\infty }\sin (n\pi x)B_n\sinh (n\pi y).$$最后，需要使用边界条件 $u(x,1)=\sin (\pi x)$ 来确定系数 $B_n$ ，

将 $y=1$ 代入上式得到：$$\sin (\pi x)=\sum _{n=1}^{\infty }\sin (n\pi x)B_n\sinh (n\pi ).$$这是一个关于 $\sin (n\pi x)$ 的傅里叶级数展开。通过比较两边的系数，可以得到 $B_n$ 的值 (此时$L=1$)：$$B_n\sinh (n\pi )=2{\int }_0^1\sin (\pi x)\sin (n\pi x)dx$$$$B_n=\frac{2}{\sinh (n\pi )}{\int }_0^1\sin (\pi x)\sin (n\pi x)dx=\{\begin{array}{rl}& \frac{2}{e^{\pi }-e^{-\pi }},n=1,\\ & 0n\ne 1\end{array}$$

既然求出了 $B_n$，此时将 $B_n$ 带入最终解$$u(x,y)=\sum _{n=1}^{\infty }\sin (n\pi x)B_n\sinh (n\pi y).$$得到$$u(x,y)=\sin (\pi x)\cdot \frac{2}{e^{\pi }-e^{-\pi }}\cdot \sinh (\pi y)$$$$=\sin (\pi x)\cdot \frac{2}{e^{\pi }-e^{-\pi }}\cdot \frac{e^{\pi y}-e^{-\pi y}}{2}$$$$=\sin (\pi x)\cdot \frac{e^{\pi y}-e^{-\pi y}}{e^{\pi }-e^{-\pi }}$$
$B_n$ 是怎么来的？

在求解偏微分方程的过程中，我们已经得到了一个包含未知系数 $B_n$ 的级数解：

$$u(x,y)=\sum _{n=1}^{\infty }{B}_n\sin (n\pi x)\sinh (n\pi y).$$

为了确定系数 $B_n$，我们需要使用边界条件 $u(x,1)=\sin (\pi x)$。将 $y=1$ 代入上述级数解中，我们得到：

$$\sin (\pi x)=\sum _{n=1}^{\infty }{B}_n\sin (n\pi x)\sinh (n\pi ).$$

这是一个关于函数 $\sin (\pi x)$ 的傅里叶级数展开。在傅里叶级数理论中，如果一个函数 $f(x)$ 可以展开为一系列正弦函数的和：

$$f(x)=\sum _{n=1}^{\infty }{c}_n\sin (n\pi x),$$

那么系数 $c_n$ 可以通过下面的公式计算：

$$c_n=\frac{2}{L}{\int }_0^{L}f(x)\sin \left(\frac{n\pi x}{L}\right)dx,$$

其中 $L$ 是区间的长度。在我们的例子中，$L=1$，所以我们有：

$$B_n\sinh (n\pi )=\frac{2}{1}{\int }_0^1\sin (\pi x)\sin (n\pi x)dx.$$

因此，系数 $B_n$ 可以通过以下公式计算：

$$B_n=\frac{2}{\sinh (n\pi )}{\int }_0^1\sin (\pi x)\sin (n\pi x)dx.$$

这就是我们如何得出 $B_n$ 的表达式的详细过程。通过计算这个积分，我们可以得到所有的 $B_n$ 的值，从而完全确定解 $u(x,y)$。

那么定积分
$${\int }_0^1\sin (\pi x)\sin (n\pi x)dx.$$在 $n=1$ 和 $n\ge 2$ 时的取值分别是多少？

为了计算这个积分，我们需要考虑两种情况：$n=1$ 和 $n\ge 2$。

当 $n=1$ 时：

积分变为
$${\int }_0^1\sin (\pi x)\sin (\pi x)dx={\int }_0^1{\sin }^2(\pi x)dx.$$

使用三角恒等式 ${\sin }^2(\pi x)=\frac{1}{2}-\frac{1}{2}\cos (2\pi x)$，我们可以将积分简化为

$${\int }_0^1{\sin }^2(\pi x)dx={\int }_0^1\left(\frac{1}{2}-\frac{1}{2}\cos (2\pi x)\right)dx=\frac{1}{2}x-\frac{1}{4\pi }\sin (2\pi x){|}_0^1=\frac{1}{2}.$$

因此，当 $n=1$ 时，积分的值为 $\frac{1}{2}$。

当 $n\ge 2$ 时：

使用三角恒等式 $\sin (a)\sin (b)=\frac{1}{2}[\cos (a-b)-\cos (a+b)]$，我们可以将积分重写为

$${\int }_0^1\sin (\pi x)\sin (n\pi x)dx=\frac{1}{2}{\int }_0^1[\cos ((n-1)\pi x)-\cos ((n+1)\pi x)]dx.$$

由于 ${\int }_0^1\cos (m\pi x)dx=\frac{1}{m\pi }\sin (m\pi x){|}_0^1=0$ 对于任何非零整数 $m$ 都成立，我们得到

$${\int }_0^1\sin (\pi x)\sin (n\pi x)dx=\frac{1}{2}[0-0]=0.$$

因此，当 $n\ge 2$ 时，积分的值为 $0$。

题目二

$$\{\begin{array}{rl}& u_t-u_{xx}+u=0,x\in (0,1),t>0\\ & u(x,0)=x,x\in [0,1],\\ & u(0,t)=0,u_x(1,t)=0,t\ge 0\end{array}$$

首先，假设解可以写成空间部分和时间部分的乘积，即 $u(x,t)=X(x)T(t)$。

代入原方程，得到
$$X(x)T^{\prime }(t)-X^{\prime \prime }(x)T(t)+X(x)T(t)=0.$$

接下来，我们可以将方程两边同时除以 $X(x)T(t)$（假设$X(x)$和$T(t)$都不为零），得到

$$\frac{T^{\prime }(t)}{T(t)}-\frac{X^{\prime \prime }(x)}{X(x)}+1=0.$$

由于左边的第一项只依赖于 $t$，第二项只依赖于 $x$，因此它们都必须等于同一个常数，设为 $-\lambda$。

因此，我们得到了两个常微分方程：
$$\frac{X^{\prime \prime }(x)}{X(x)}=-\lambda ,\frac{T^{\prime }(t)}{T(t)}=-(\lambda +1).$$

对于空间方程 $$\frac{X^{\prime \prime }(x)}{X(x)}=-\lambda$$考虑边界条件 $u(0,t)=0$ 和 $u_x(1,t)=0$，

这意味着 $X(0)=0$ 和 $X^{\prime }(1)=0$。

假设解的形式为 $$X(x)=A\sin (\sqrt{\lambda }x)+B\cos (\sqrt{\lambda }x)$$

由于$X(0)=0$，我们得到 $B=0$。因此，$X(x)=A\sin (\sqrt{\lambda }x)$。

由于$X^{\prime }(1)=0$，我们得到 $\sqrt{\lambda }\cos (\sqrt{\lambda })=0$。

由于 $\cos (\sqrt{\lambda })=0$，我们可以取 $\sqrt{\lambda }=\frac{(2n+1)\pi }{2}$，其中 $n$ 是非负整数。

因此，$\lambda =\frac{(2n+1{)}^2{\pi }^2}{4}$。

对于时间方程 $$\frac{T^{\prime }(t)}{T(t)}=-(\lambda +1)$$，

我们可以直接求解得到 $T(t)=C{e}^{-(\lambda +1)t}$，其中 $C$ 是常数。

综合起来，解的形式为
$u(x,t)=\sum _{n=0}^{\infty }{A}_n\sin \left(\frac{(2n+1)\pi x}{2}\right)e^{-\left(\frac{(2n+1{)}^2{\pi }^2}{4}+1\right)t}.$

最后，我们需要使用初始条件 $u(x,0)=x$ 来确定系数 $A_n$。

把 $t=0$ 代入到 $u(x,t)=\sum _{n=0}^{\infty }{A}_n\sin \left(\frac{(2n+1)\pi x}{2}\right)e^{-\left(\frac{(2n+1{)}^2{\pi }^2}{4}+1\right)t}.$ 得到:$$u(x,0)=\sum _{n=0}^{\infty }{A}_n\sin \left(\frac{(2n+1)\pi x}{2}\right)=x=u(x,0)$$

系数 $A_n$ 可以通过傅里叶正弦级数展开来实现。对于$x\in [0,1]$，我们有

$$x=\sum _{n=0}^{\infty }{A}_n\sin \left(\frac{(2n+1)\pi x}{2}\right),$$
其中
$$A_n=2{\int }_0^{1}x\sin \left(\frac{(2n+1)\pi x}{2}\right)dx.$$
这个积分可以通过分部积分来计算

要解释为什么
$$A_n=2{\int }_0^{1}x\sin \left(\frac{(2n+1)\pi x}{2}\right)dx,$$
我们需要理解傅里叶级数的基本概念。

对于一个定义在区间 $[0,1]$ 上的函数$f(x)$，如果它满足一定的条件（比如是分段连续的），那么它可以用傅里叶级数表示为：
$$f(x)=\sum _{n=0}^{\infty }{b}_n\sin \left(\frac{(2n+1)\pi x}{2}\right),$$
其中系数 $b_n$ 由下式给出：
$$b_n=2{\int }_0^{1}f(x)\sin \left(\frac{(2n+1)\pi x}{2}\right)dx.$$

这是因为正弦函数 $\sin \left(\frac{(2n+1)\pi x}{2}\right)$ 在区间 $[0,1]$ 上形成了一组正交基。这意味着不同的正弦函数在该区间上的积分为零：
$${\int }_0^1\sin \left(\frac{(2m+1)\pi x}{2}\right)\sin \left(\frac{(2n+1)\pi x}{2}\right)dx=0,\text{ 如果 }m\ne n.$$

正交性使得我们可以通过乘以 $\sin \left(\frac{(2n+1)\pi x}{2}\right)$ 并在区间 $[0,1]$ 上积分

来提取出$f(x)$的傅里叶系数$b_n$。

在我们的情况下，我们有 $f(x)=x$，因此
$$b_n=2{\int }_0^{1}x\sin \left(\frac{(2n+1)\pi x}{2}\right)dx.$$

这就是为什么我们有

$A_n=2{\int }_0^{1}x\sin \left(\frac{(2n+1)\pi x}{2}\right)dx.$

因此，我们可以得到系数 $A_n$ 的表达式，并最终确定解$u(x,t)$

要求解 $A_n=2{\int }_0^{1}x\sin \left(\frac{(2n+1)\pi x}{2}\right)dx$ 积分，我们可以使用分部积分法。设

$$u=x,dv=\sin \left(\frac{(2n+1)\pi }{2}x\right)dx$$

那么

$$du=dx,v=-\frac{2}{(2n+1)\pi }\cos \left(\frac{(2n+1)\pi }{2}x\right)$$

因此，根据分部积分公式$\int udv=uv-\int vdu$，我们有

$A_n=2{\int }_0^{1}x\sin \left(\frac{(2n+1)\pi }{2}x\right)dx$

$=2{\left[-\frac{2}{(2n+1)\pi }x\cos \left(\frac{(2n+1)\pi }{2}x\right)\right]}_0^1+\frac{4}{(2n+1)\pi }{\int }_0^1\cos \left(\frac{(2n+1)\pi }{2}x\right)dx$

$=-\frac{4}{(2n+1)\pi }\cos \left(\frac{(2n+1)\pi }{2}\right)+\frac{4}{(2n+1)\pi }{\left[\frac{2}{(2n+1)\pi }\sin \left(\frac{(2n+1)\pi }{2}x\right)\right]}_0^1$

$=-\frac{4}{(2n+1)\pi }\cos \left(\frac{(2n+1)\pi }{2}\right)+\frac{8}{((2n+1)\pi {)}^2}\left(\sin \left(\frac{(2n+1)\pi }{2}\right)-0\right)$

$=-\frac{4}{(2n+1)\pi }\cos \left(\frac{(2n+1)\pi }{2}\right)+\frac{8}{((2n+1)\pi {)}^2}\sin \left(\frac{(2n+1)\pi }{2}\right)$

由于$\cos \left(\frac{(2n+1)\pi }{2}\right)=0$，我们得到

$$A_n=\frac{8}{((2n+1)\pi {)}^2}\sin \left(\frac{(2n+1)\pi }{2}\right)$$

注意到 $\sin \left(\frac{(2n+1)\pi }{2}\right)$的值会在 $1$ 和 $-1$ 之间交替，因此

$$A_n=\frac{8(-1{)}^n}{((2n+1)\pi {)}^2}$$

这就是系数$A_n$的解。

所以最终的解是$$u(x,t)=\sum _{n=0}^{\infty }\frac{8(-1{)}^n}{((2n+1)\pi {)}^2}\sin \left(\frac{(2n+1)\pi x}{2}\right)e^{-\left(\frac{(2n+1{)}^2{\pi }^2}{4}+1\right)t}.$$

题目三

$$\{\begin{array}{rl}& u_t-a^2{u}_{xx}=0,x\in (0,2),t>0\\ & u(x,0)=f(x),x\in [0,2],\\ & -u_x(0,t)=0,u_x(2,t)=0,t\ge 0\end{array}$$

要使用分离变量法求解这个偏微分方程，我们首先假设解$u(x,t)$可以写成两个函数的乘积形式，即$u(x,t)=X(x)T(t)$。将这个形式代入原方程中，我们得到：

$$X(x)T^{\prime }(t)-a^2{X}^{\prime \prime }(x)T(t)=0$$

为了将变量分离，我们可以两边同时除以$a^{2}X(x)T(t)$，得到：

$$\frac{T^{\prime }(t)}{a^{2}T(t)}=\frac{X^{\prime \prime }(x)}{X(x)}=-\lambda$$

这里，$\lambda$是一个常数，这样我们就将原方程分离成了两个常微分方程：

1. 时间部分：$\frac{T^{\prime }(t)}{a^{2}T(t)}=-\lambda$，可以重写为$T^{\prime }(t)+a^2\lambda T(t)=0$。
2. 空间部分：$\frac{X^{\prime \prime }(x)}{X(x)}=-\lambda$，可以重写为$X^{\prime \prime }(x)+\lambda X(x)=0$。

接下来，我们需要解这两个常微分方程，并且满足边界条件和初始条件。

空间部分：

对于空间部分的方程$X^{\prime \prime }(x)+\lambda X(x)=0$，我们需要考虑边界条件$-X^{\prime }(0)=0$和$X^{\prime }(2)=0$。这个常微分方程是一个二阶常系数线性微分方程，其通解依赖于$\lambda$的值：

• 如果$\lambda >0$，那么方程的解是指数函数，这不满足边界条件。
• 如果$\lambda =0$，那么方程的解是$X(x)=C_{1}x+C_2$。由边界条件$-X^{\prime }(0)=0$和$X^{\prime }(2)=0$，我们得到$C_1=0$，所以$X(x)=C_2$，这是一个常数解，对应于热传导方程的稳态解。
• 如果$\lambda <0$，设$\lambda =-{\mu }^2$，那么方程的解是三角函数$X(x)=A\cos (\mu x)+B\sin (\mu x)$。由边界条件$-X^{\prime }(0)=0$，我们得到$B=0$；由$X^{\prime }(2)=0$，我们得到$\mu \sin (2\mu )=0$，所以${\mu }_n=\frac{n\pi }{2}$，其中$n$是非负整数。因此，空间部分的解为$X_n(x)=A_n\cos \left(\frac{n\pi x}{2}\right)$。

时间部分：

对于时间部分的方程$T^{\prime }(t)+a^2\lambda T(t)=0$，由于我们已经设$\lambda =-{\mu }^2$，所以方程可以写为$T^{\prime }(t)-a^2{\mu }^{2}T(t)=0$。这是一个一阶线性常微分方程，其通解为$T(t)=C{e}^{-a^2{\mu }^{2}t}$。将${\mu }_n=\frac{n\pi }{2}$代入，我们得到时间部分的解为$T_n(t)=C_n{e}^{-\frac{a^2{n}^2{\pi }^2}{4}t}$。

总解：

因此，原偏微分方程的解可以表示为这些分离变量解的线性组合：

$$u(x,t)=\sum _{n=0}^{\infty }{A}_n\cos \left(\frac{n\pi x}{2}\right)e^{-\frac{a^2{n}^2{\pi }^2}{4}t}$$

其中，系数$A_n$可以通过初始条件$u(x,0)=f(x)$确定。具体地，我们需要求解傅里叶级数：

$$f(x)=\sum _{n=0}^{\infty }{A}_n\cos \left(\frac{n\pi x}{2}\right)$$

通过对$f(x)$进行适当的傅里叶展开，我们可以求出每个$A_n$的值。这样，我们就得到了原偏微分方程的解。

为了通过初始条件$u(x,0)=f(x)$确定系数$A_n$，我们可以利用傅里叶级数的正交性。

具体地，我们将解 $u(x,t)$ 在 $t=0$ 时的表达式与 $\cos \left(\frac{m\pi x}{2}\right)$ 相乘，

并在区间 $[0,2]$ 上对 $x$ 进行积分。这样，我们可以得到 $A_n$ 的积分表达式。

首先，我们有：

$$u(x,0)=\sum _{n=0}^{\infty }{A}_n\cos \left(\frac{n\pi x}{2}\right)=f(x)$$

然后，我们将上式两边同时乘以 $\cos \left(\frac{m\pi x}{2}\right)$，并在区间 $[0,2]$ 上对 $x$ 进行积分：

$${\int }_0^{2}f(x)\cos \left(\frac{m\pi x}{2}\right)dx={\int }_0^2\sum _{n=0}^{\infty }{A}_n\cos \left(\frac{n\pi x}{2}\right)\cos \left(\frac{m\pi x}{2}\right)dx$$

利用三角函数的正交性质，我们知道当 $m\ne n$ 时，积分

$${\int }_0^2\cos \left(\frac{n\pi x}{2}\right)\cos \left(\frac{m\pi x}{2}\right)dx=0$$

而当 $m=n$ 时，积分

$${\int }_0^2{\cos }^2\left(\frac{n\pi x}{2}\right)dx=1$$

因此，我们可以得到 $A_n$ 的积分表达式：

$$A_n=\frac{1}{2}{\int }_0^{2}f(x)\cos \left(\frac{n\pi x}{2}\right)dx$$

这就是系数$A_n$的积分表达式，可以通过这个表达式计算出每个$A_n$的具体值。

将系数 $A_n$ 的积分表达式代入 $u(x,t)$ 的级数解表达式中，我们得到：

$$u(x,t)=\sum _{n=0}^{\infty }\left[\frac{1}{2}{\int }_0^{2}f(x)\cos \left(\frac{n\pi x}{2}\right)dx\right]\cos \left(\frac{n\pi x}{2}\right)e^{-\frac{a^2{n}^2{\pi }^2}{4}t}$$
这个表达式给出了原偏微分方程在给定初始条件$u(x,0)=f(x)$下的级数解。这个解是由一系列余弦函数的乘积组成的，每个项都包含一个指数衰减因子，这反映了热传导过程中随时间的衰减。

当$f(x)=u_0$（$u_0$是常数）时，我们可以分别计算$n=0$和$n>0$的情况下的$A_n$。

对于$n=0$的情况：

$$A_0=\frac{1}{2}{\int }_0^2{u}_0\cos \left(\frac{0\pi x}{2}\right)dx=\frac{1}{2}{\int }_0^2{u}_{0}dx=\frac{1}{2}\cdot 2u_0=u_0$$

对于$n>0$的情况：

由于$\cos \left(\frac{n\pi x}{2}\right)$在区间$[0,2]$上的积分为零，我们有：

$$A_n=\frac{1}{2}{\int }_0^2{u}_0\cos \left(\frac{n\pi x}{2}\right)dx=\frac{u_0}{2}\cdot 0=0$$

因此，对于$f(x)=u_0$的情况，我们得到$A_0=u_0$，而$A_n=0$对于所有的$n>0$。

将这些系数代入级数解表达式中，我们得到偏微分方程的解：

$$u(x,t)=\sum _{n=0}^{\infty }{A}_n\cos \left(\frac{n\pi x}{2}\right)e^{-\frac{a^2{n}^2{\pi }^2}{4}t}=u_0\cos (0)e^{-\frac{a^2\cdot 0^2{\pi }^2}{4}t}+\sum _{n=1}^{\infty }0\cdot \cos \left(\frac{n\pi x}{2}\right)e^{-\frac{a^2{n}^2{\pi }^2}{4}t}=u_0$$

所以，对于初始条件$f(x)=u_0$，偏微分方程的解为$u(x,t)=u_0$，即解是一个常数，与时间和空间无关。这反映了热传导方程在均匀初始条件下的稳态解。

$$u_{tt}-u(u_{xx}+2u_{xy}+u_{yy})=e^u$$