参考资料:《数学物理方程讲义》,姜礼尚。


pp212.15

设 $u\in C^3_0(\Omega)$ 且满足

$$-\Delta u=f(x),\quad x\in\Omega,$$

证明

$$\sum^n_{i,j=1}\int_\Omega u^2_{x_ix_j}\mathrm dx\leq n\int_\Omega f^2\mathrm dx.$$

解: 考虑到其紧支性,作分部积分,再由光滑性交换偏导次序

$$\begin{darray}{ll}\sum^n_{i,j=1}\int_\Omega u^2_{x_ix_j}\mathrm dx&=\sum^n_{i,j=1}\int_\Omega u_{x_ix_j}u_{x_ix_j}\mathrm dx\\[14pt]&=-\sum^n_{i,j=1}\int_\Omega u_{x_ix_jx_j}u_{x_i}\mathrm dx\\[14pt]&=\sum^n_{i,j=1}\int_\Omega u_{x_ix_i}u_{x_jx_j}\mathrm dx\\[14pt]&=\int_\Omega \Delta^2 u\mathrm dx\\[14pt]&=\int_\Omega f^2\mathrm dx.\end{darray}$$

这应更严格。

pp212.16

设 $\Omega=\{(x,y):0

  • 在 $Oy$ 轴上温度的值为 $v_0$,在 $\partial \Omega$ 的其他边上温度的值为 $0$;
  • 在 $x=a,y=b$ 上绝热,在 $x=0,y=0$ 上温度的值分别为 $0$ 和 $1$;
  • 在 $x=a,y=b$ 上温度的值为 $0$,而 $$u|_{x=0}=A\sin \dfrac {\pi y}{b},\quad u|_{y=0}=B\sin \dfrac{\pi x}{a},$$ 其中 $A,B$ 为常数。

解: 热传导方程为

$$u_t-a^2\Delta u=f(x,y,t),\quad (x,y)\in \Omega,\ t>0.$$

则稳定的温度场,在分离变量假设 $u(x,y)=X(x)Y(y)$ 下满足

$$\Delta u= u_{xx}+u_{yy}=0=\dfrac {X''(x)}{X(x)}+\dfrac {Y''(y)}{Y(y)}.$$

因此设

$$-\dfrac {X''(x)}{X(x)}=\dfrac {Y''(y)}{Y(y)}=\lambda.$$

对于第一个边界条件,考虑 $Y$ 的 ODE

$$Y(0)=Y(b)=0,\quad Y''(y)+\lambda Y(y)=0.$$

解得

$$\lambda_n=\dfrac {n^2\pi^2}{b^2},\quad Y_n(y)=\sin \dfrac {n\pi y}{b},\quad n=1,2,\cdots.$$

从而得到 $X$ 的 ODE

$$X''(x)-\dfrac {n^2\pi^2}{b^2}X(x)=0,\quad X(0)=v_0,\quad X(a)=0.$$

解得分量解

$$X_n(x)=C_n\sinh \dfrac {n\pi (a-x)}{b},\quad n=1,2,\cdots.$$

利用边界条件 $X(0)=v_0$,得到

$$C_n\sinh\dfrac {n\pi a}{b}=\dfrac {2}{b}\int^b_0v_0\sin \dfrac {n\pi y}{b}\mathrm dy=\dfrac {4v_0}{n\pi},\quad n=1,3,5,\cdots.$$

分离变量解为

$$u(x,y)=\dfrac {4v_0}{\pi}\sum^\infty_{k=1}\dfrac {\sinh \frac {(2k-1)\pi (a-x)}{b}}{(2k-1)\sinh \frac {(2k-1)\pi a}{b}}\sin \dfrac {(2k-1)\pi y}{b}.$$

对于第二个边界条件,翻译为

$$u_x(a,y)=u_y(x,b)=0,\quad u(0,y)=0,\quad u(x,0)=1.$$

以下都是非平凡情况。考虑 $X$ 的 ODE

$$X(0)=0,\quad X'(a)=0,\quad X''(x)+\lambda X(x)=0.$$

解得

$$\lambda_n=\dfrac {(2n-1)^2\pi^2}{4a^2},\quad X_n(x)=\sin \dfrac {(2n-1)\pi x}{2a},\quad n=1,2,\cdots.$$

代入 $Y$ 的 ODE

$$Y'(b)=0,\quad Y(0)=1,\quad Y''(y)-\lambda Y(y)=0.$$

解得分量解

$$Y_n(y)=C_n\cosh \dfrac {(2n-1)\pi (b-y)}{2a},\quad n=1,2,\cdots.$$

利用边界条件 $Y(0)=1$,得到

$$C_n=\dfrac {\frac {2}{a}\int^a_0\sin \frac {(2n-1)\pi x}{2a}\mathrm dx}{\cosh \frac {(2n-1)\pi b}{4a}}=\dfrac {4}{(2n-1)\pi \cosh \frac {(2n-1)\pi b}{4a}},\quad n=1,2,\cdots.$$

所以分离变量解为

$$u(x,y)=\dfrac {4}{\pi}\sum^\infty_{k=1}\dfrac {\cosh \frac {(2k-1)\pi (b-y)}{4a}}{(2k-1)\cosh \frac {(2k-1)\pi b}{4a}}\sin \dfrac {(2k-1)\pi x}{2a}.$$

对于第三个边界条件,由叠加原理,考虑两组边值问题:

$$\begin{dcases}u(a,y)=u(x,b)=0,\\[6pt] u(0,y)=A\sin \dfrac {\pi y}{b},\\[6pt] u(x,0)=0,\end{dcases}\quad \begin{dcases}u(a,y)=u(x,b)=0,\\[6pt] u(0,y)=0,\\[6pt] u(x,0)=B\sin \dfrac {\pi x}{a}.\end{dcases}$$

对于第一组边值问题,类似于第一个边值条件的解法,考虑 $Y$ 的 ODE

$$Y(0)=0,\quad Y(b)=0,\quad Y''(y)+\lambda Y(y)=0.$$

解得

$$\lambda_n=\dfrac {n^2\pi^2}{b^2},\quad Y_n(y)=\sin \dfrac {n\pi y}{b},\quad n=1,2,\cdots.$$

代入 $X$ 的 ODE

$$X(0)=A\sin \dfrac {\pi y}{b},\quad X(a)=0,\quad X''(x)-\lambda X(x)=0.$$

解得分量解

$$X_n(x)=C_n\sinh \dfrac {n\pi (a-x)}{b},\quad n=1,2,\cdots.$$

利用边界条件 $X(0)=A\sin \frac {\pi y}{b}$,得到

$$C_n\sinh \dfrac {n\pi a}{b}=\dfrac {2}{b}\int^b_0A\sin \dfrac {\pi y}{b}\sin \dfrac {n\pi y}{b}\mathrm dy=\begin{dcases}A,& n=1,\\[6pt] 0,& n=2,3,\cdots.\end{dcases}$$

所以第一组边值问题的分离变量解为

$$u_1(x,y)=\dfrac {A\sinh \frac {\pi (a-x)}{b}}{\sinh \frac {\pi a}{b}}\sin \dfrac {\pi y}{b}.$$

同理,第二组边值问题的分离变量解为

$$u_2(x,y)=\dfrac {B\sinh \frac {\pi (b-y)}{a}}{\sinh \frac {\pi b}{a}}\sin \dfrac {\pi x}{a}.$$

线性叠加,第三个边值问题的分离变量解为

$$u(x,y)=\dfrac {A\sinh \frac {\pi (a-x)}{b}}{\sinh \frac {\pi a}{b}}\sin \dfrac {\pi y}{b}+\dfrac {B\sinh \frac {\pi (b-y)}{a}}{\sinh \frac {\pi b}{a}}\sin \dfrac {\pi x}{a}.$$

Extra 1

求高维位势方程的基本解。

解: 位势方程为

$$-\Delta u=f(x),\quad x\in\Omega\subseteq \mathbb R^n.$$

其基本解 $E\in \mathcal D'(\mathbb R^n)$ 满足

$$-\Delta E=\delta(x),\quad x\in\mathbb R^n.$$

对等式两边进行 Fourier 变换,得到

$$|\xi|^2F[E](\xi)=F[-\Delta E](\xi)=F[\delta (x)](\xi)=\dfrac {1}{(2\pi)^{n/2}}\int_{\mathbb R^n}e^{-ix\cdot \xi}\delta(x)\mathrm dx=\dfrac {1}{(2\pi)^{n/2}},$$

再作逆变换,如果直接用球坐标系,计算会比较麻烦。下面给出两种方法。首先是考虑含参积分,显然二重积分关于 $x$ 是一致收敛的,所以交换次序,得到高维版本的 Gaussian 积分(分量是独立的):

$$\begin{darray}{lrl}&E(x)=&\dfrac {1}{(2\pi)^{n}}\int_{\mathbb R^n}\dfrac {e^{ix\cdot \xi}}{|\xi|^2}\mathrm d\xi\\[14pt]&=&\dfrac {1}{(2\pi)^{n}}\int_{\mathbb R^n} \int_0^{+\infty}e^{-t|\xi|^2+ix\cdot \xi}\mathrm dt\mathrm d\xi\\[14pt]& =&\dfrac {1}{(2\pi)^{n}}\int_0^{+\infty}\int_{\mathbb R^n}e^{-t|\xi|^2+ix\cdot \xi}\mathrm d\xi\mathrm dt\\[14pt]&=&\dfrac {1}{(2\pi)^{n}}\int_0^{+\infty}\left(\dfrac {\pi}{t}\right)^{n/2}e^{-\frac {|x|^2}{4t}}\mathrm dt\\[14pt]&\xlongequal{s:=|x|^2/4t}&\dfrac 1{4\pi^{\frac n2}|x|^{n-2}}\int_0^{+\infty}s^{\frac n2-2}e^{-s}\mathrm ds\\[14pt]&=&\dfrac {1}{4\pi^{\frac n2}|x|^{n-2}}\cdot \Gamma\left(\dfrac n2-1\right)\\[14pt]&=&\dfrac {1}{(n-2)\omega_n}\cdot \dfrac 1{|x|^{n-2}},\end{darray}$$

所以当 $n\geq 3$ 时(受到 Gamma 函数的约束),位势方程的基本解为

$$E(x)=\dfrac {1}{(n-2)\omega_n}\cdot \dfrac 1{|x|^{n-2}}.$$

另一种方法是考虑 ODE,在 $n$ 维球坐标下,基本解满足

$$-\Delta E=\delta(x)$$

而 $\delta$ 和 $\Delta$ 都是旋转不变的,所以 $E$ 也是旋转不变的,即 $E(x)=E(r)$,其中 $r=|x|$。因此

$$-\Delta E=-E''(r)-\dfrac {n-1}{r}E'(r)=\delta(x),\quad r\geq 0.$$

当 $r>0$ 时,即去掉原点,成立微分方程

$$rE''+(n-1)E'(r)=0.$$

设 $E'(r)=y(r)$,则

$$ry'+(n-1)y=0,$$

求解得到

$$E'(r)=y(r)=\dfrac C{r^{n-1}},$$

其中 $C$ 是常数。再积分得到

$$E(r)=\begin{dcases}\dfrac {C_1}{2-n}r^{2-n}+C_2,& n\geq 3,\\[6pt] C_1\ln r+C_2,&n=2.\end{dcases}$$

接下来求解待定系数,这里先考虑 $n\geq 3$ 的情形

$$1=\int_{B_\varepsilon}\delta(x)\mathrm dx=\int_{B_\varepsilon}-\Delta E\mathrm dx= -\int_{\partial B_\varepsilon}\nabla E\cdot \nu \mathrm dS=-\int_{\partial B_\varepsilon}C_1\varepsilon^{1-n}\mathrm dS=-C_1\omega_n$$

因为作用了 $\nabla$,所以 $n=2$ 中求解 $C_1=-(2\pi)^{-1}$ 方法一致。待定系数 $C_2$ 可以任取,一般取 $C_2=0$.

Extra 2

利用球坐标变换(不用 Fourier 变换),导出三维位势方程的基本解。

解: 这个证明参见 Extra 1 中的第二个方法,基本解为

$$E(x)=\dfrac {1}{(n-2)\omega_n |x|^{n-2}}+C_2$$