问题

这里的调和函数是定义在欧氏空间中某个开子集上的. 记 $\Omega$ 是欧氏空间 $\mathbb{R}^n$ 中的开集.  $n\in\mathbb{N}$. ($\mathbb{N}$ 是自然数集, 不包括 0.)

定义 1. ($\Omega$ 上的调和函数).  设 $u$ 是 $\Omega$ 上定义的二次连续可微复值函数. 若满足 $\Delta u\equiv 0$, 则称 $u$ 在 $\Omega$ 上是调和的. 这里

\[\Delta=D_1^2+D_2^2+\cdots+D_n^2.\]

$D_j^2$ 指对第 $j$ 个坐标分量求二阶偏导数. 算子 $\Delta$ 称为 Laplacian, 方程 $\Delta u\equiv 0$ 称为 Laplace 方程.

定义 2.  称定义于某个集合 $E\subset\mathbb{R}^n$ (不必是开集)上的函数 $u$ 在 $E$ 上是调和的, 若 $u$ 可以延拓为包含 $E$ 的某个开集上的调和函数.

记 $x=(x_1,\ldots,x_n)$ 是 $\mathbb{R}^n$ 中的点, 令 $|x|=(x_1^2+\cdots+x_n^2)^{1/2}$ 为 $x$ 的欧氏范数.

最简单的非常值调和函数的例子是坐标函数 $x_j$. 例如 $u(x)=x_1$. 稍微复杂一点的例子如 $\mathbb{R}^3$ 上定义的

\[u(x)=x_1^2+x_2^2-2x_3^2+ix_2.\]

例.  令 $u(x)=|x|^{2-n}$, $(n > 2)$, 证明 $u(x)$ 在 $\Omega=\mathbb{R}^n\subset\{0\}$ 上是调和的.

通过微分可以获得更多调和函数的例子. 注意到对于光滑函数, $\Delta$ 算子与任何偏导运算均可交换. 特别地, 对于 $u(x)=|x|^{2-n}$, 求 $\partial_{1}=\dfrac{\partial}{\partial x_1}$, 有

\[
\partial_1 u(x)=\dfrac{\partial}{\partial x_1}u(x)=(2-n)x_1(x_1^2+x_2^2+\cdots+x_n^2)^{-\frac{n}{2}}=(2-n)x_1|x|^{-n}
\]

因此, $x_1|x|^{-n}$ ($n > 2$)也是 $\mathbb{R}^n\setminus\{0\}$ 上的调和函数.

我们将证明每个调和函数都是无穷次可微的, 于是, 调和函数的任意偏导函数仍是调和函数.

事实上, 

Claim 1. $x_1|x|^{-n}$ 对于 $n = 2$ 也是 $\mathbb{R}^n\setminus\{0\}$ 上的调和函数.

Claim 2. $\log |x|$ 是 $\mathbb{R}^2\setminus\{0\}$ 上的调和函数.

注意 Claim 1 可以作为 Claim 2 的推论, 因为 $\frac{\partial}{\partial x_1}\log |x|=x_1|x|^{-2}$.

函数 $\log |x|$ 在 $n=2$ 时扮演的角色与 $|x|^{2-n}$ 在 $n>2$ 时扮演的角色是一样的. 注意到 $\lim\limits_{x\rightarrow\infty}\log|x|=\infty$, 但是 $\lim\limits_{x\rightarrow\infty}|x|^{2-n}=0$. $\log|x|$ 既无上界也无下界, 而 $|x|^{2-n}$ 总是正的.

这暗示了在平面上的调和函数理论与高维时的调和函数理论有重大差别.

另一个主要的区别来自于平面上全纯函数与调和函数的联系:

$\Omega\subset\mathbb{R}^2$ 上的一个实值函数是调和的当且仅当局部上它是某个全纯函数的实部.

而在高维时没有相应的结果.

翻译自[1] [GTM137] Chapter 1  Basic Properties of Harmonic Functions.

Section 1. Definitions and Examples.

References.

[1]  Sheldon Axler, Paul Bourdon, Wade Ramey,  Harmonic Function Theory.  (Second Edition)