最后更新: 2025-04-30 07:57 查看: 18 次反馈同步训练

Green函数性质

2．2 Green 函数的几个重要性质
性质 7.5 在区域 $\Omega$ 内的 Green 函数 $G\left(x ; x^0\right)$ ，除去点 $x^0$ 外处处都是调和的，当 $x \rightarrow x^0$ 时，$G\left(x ; x^0\right)$ 趋于无穷大，且与 $\frac{1}{r^{n-2}}$ 同阶．

证明留给读者完成．
性质 7.6 在区域 $\Omega$ 的边界 $\Gamma$ 上，$G\left(x ; x^0\right) \equiv 0$ ．
性质 $7.7 \int_{\Gamma} \frac{\partial G\left(x ; x^0\right)}{\partial \nu} d S(x)=-1$ 。
证 容易验证 $u \equiv 1$ 是边值问题

$$
\left\{\begin{array}{l}
\Delta_n u=0, \quad x \in \Omega, \\
\left.u\right|_{\Gamma} \equiv 1
\end{array}\right.
$$

的解，在（2．8）式中取 $\varphi(x) \equiv 1$ 即可得证．
性质 7.8 在区域 $\Omega$ 内的任一点 $x \neq x^0$ 处，都有

$$
0<G\left(x ; x^0\right)<\frac{1}{(n-2) \omega_n r^{n-2}}
$$

证 任意固定 $x^1 \in \Omega, x^1 \neq x^0$ ，以 $x^0$ 为中心 $\varepsilon_1(>0)$ 为半径作一球 $K_{\varepsilon_1}$ ，使得 $x^1 \in \Omega \backslash K_{\varepsilon_1}$ ．因为 $G\left(x ; x^0\right)$ 在边界 $\Gamma$ 上等于零，由于当 $x \rightarrow x^0$ 时， $G\left(x ; x^0\right) \rightarrow+\infty$ ，故存在 $0<\varepsilon_2<\varepsilon_1$ ，使得 $G\left(x ; x^0\right)$ 在以 $x^0$ 为中心 $\varepsilon_2$ 为半径的球面上取正值．在区域 $\Omega_0=\Omega \backslash K_{\varepsilon_2}$（ $K_{\varepsilon_2}$ 表示以 $x^0$ 为中心 $\varepsilon_2$ 为半径的球）上考虑 $G\left(x ; x^0\right)$ ，根据调和函数的强极值原理，在区域 $\Omega_0$ 内的任一点，都有

$$
G\left(x ; x^0\right)>0
$$

特别地，$x^1 \in \Omega \backslash K_{\varepsilon_1} \subset \Omega_0$ ，因此

$$
G\left(x^1 ; x^0\right)>0
$$

由 $x^1$ 的任意性即知对区域 $\Omega$ 内的任一点 $x \neq x^0$ ，有

$$
G\left(x ; x^0\right)>0
$$

又因为函数 $g\left(x ; x^0\right)$ 在区域 $\Omega$ 内调和，在边界 $\Gamma$ 上取正值 $\frac{1}{(n-2) \omega_n r^{n-2}}$ ，由强极值原理，在 $\bar{\Omega}$ 上有 $g>0$ ，从而推得

$$
G\left(x ; x^0\right)<\frac{1}{(n-2) \omega_n r^{n-2}}
$$

综上所述，在区域 $\Omega$ 内，成立不等式

$$
0<G\left(x ; x^0\right)<\frac{1}{(n-2) \omega_n r^{n-2}}, \quad x \neq x^0 .
$$

性质 7.9 （对称性）设 $P_1(x)$ 和 $P_2(y)$ 是区域 $\Omega$ 内的任意两点，则有

$$
G(x ; y)=G(y ; x) .
$$

证 分别以 $P_1, P_2$ 为心，以充分小的正数 $\delta$ 为半径作球 $K_1, K_2$ ，使得它们彼此不相交，且都包含在 $\Omega$ 内，球的表面分别为 $\Gamma_1, \Gamma_2$（如图 7－2）．
 ![图片](/uploads/2025-04/3e1031.jpg)
 记 $\Omega^{\prime}$ 为 $\Omega$ 中挖去球 $K_1, K_2$ 后剩下的部分，它的边界为 $\Gamma^{\prime}=\Gamma+\Gamma_1+\Gamma_2$ ，其中 $\Gamma$ 是 $\Omega$ 的边界．在区域 $\Omega^{\prime}$ 上对函数 $G(z ; x)$ 和 $G(z ; y)$ 应用第二 Green 公式并注意到 $\left.G(z ; x)\right|_{\Gamma}=\left.G(z ; y)\right|_{\Gamma}=0$ ，于是得到

$$
\int_{\Gamma_1+\Gamma_2}\left[G(z ; x) \frac{\partial G(z ; y)}{\partial \nu}-G(z ; y) \frac{\partial G(z ; x)}{\partial \nu}\right] d S(z)=0
$$

即

$$
\begin{aligned}
& \int_{\Gamma_1}\left[G(z ; x) \frac{\partial G(z ; y)}{\partial \nu}-G(z ; y) \frac{\partial G(z ; x)}{\partial \nu}\right] d S(z)+ \\
& \int_{\Gamma_2}\left[G(z ; x) \frac{\partial G(z ; y)}{\partial \nu}-G(z ; y) \frac{\partial G(z ; x)}{\partial \nu}\right] d S(z)=0
\end{aligned}
$$

对（2．10）式取 $\delta \rightarrow 0^{+}$时的极限，左端第一项积分的极限为 $-G(x ; y)$ ，第二项积分的极限为 $G(y ; x)$ ．事实上，曲面 $\Gamma_1$ 上的积分

$$
\begin{aligned}
I_1= & \int_{\Gamma_1}\left[G(z ; x) \frac{\partial G(z ; y)}{\partial \nu}-G(z ; y) \frac{\partial G(z ; x)}{\partial \nu}\right] d S(z) \\
= & \int_{\Gamma_1}\left[\frac{1}{(n-2) \omega_n|z-x|^{n-2}} \frac{\partial G(z ; y)}{\partial \nu}-G(z ; y) \frac{\partial}{\partial \nu}\left(\frac{1}{(n-2) \omega_n|z-x|^{n-2}}\right)\right] d S(z)+ \\
& \int_{\Gamma_1}\left[-g(z ; x) \frac{\partial G(z ; y)}{\partial \nu}+G(z ; y) \frac{\partial g(z ; x)}{\partial \nu}\right] d S(z) .
\end{aligned}
$$

由于在球 $K_1$ 内，$g(z ; x)$ 和 $G(z ; y)$ 关于 $z$ 都是调和函数，且在 $\Gamma_1$ 上具有连续的一阶偏导数，故由第二 Green 公式知，上式第二项积分为零．于是

$$
I_1=\int_{\Gamma_1}\left[\frac{1}{(n-2) \omega_n|z-x|^{n-2}} \frac{\partial G(z ; y)}{\partial \nu}-G(z ; y) \f

免费注册看余下 50%

非VIP会员每天15篇文章，开通VIP 无限制查看

上一篇： Green 函数

下一篇：球与半空间上的 Dirichlet 问题

本文对您是否有用？有用 (0) 无用 (0)