数学中重要的一类函数——调和函数.pdfVIP

数学中重要的一类函数——调和函数

函数是数学的核心概念之一，围绕函数发展起来了许多重要的数学理论，而调和函数

就是这样一类常见而重要的函数，它出现在数学的方方面面，在物理中也有重要应用，可

以说，调和函数既是重要的研究对象，更是强大的数学工具。今天我们就简单地介绍一下

调和函数，以此窥探数学的奥妙。

我们很难追溯调和函数的具体起源，但起码在19世纪，调和函数已经是重要且被广

泛应用的数学概念。那么何谓调和函数呢？首我们要定义拉普拉斯算子：

拉普拉斯算子的作用就是对不同的自变量求二阶偏导数，然后相加得到一个关于偏导

数的函数，而调和函数就是那些经过拉普拉斯算子作用后等于零的函数，也就是满足下列

条件的函数：

值得注意的是，定义调和函数前，我们要求这个函数起码是在R^n中某区域(也可以

是实数空间R^n本身)上存在二阶偏导数的，而且往往也要要求n大于等于2。

那么我们为什么要研究调和函数？简而言之是因为它的性质实在是太好了，可以拿来

做很多事。

调和函数的第一个惊人性质是它的解析性，也就是说，调和函数在定义域内每一点是

可以进行无穷次泰勒展开的，这就意味着调和函数是光滑的，或者说无穷次可导的。为什

么说这个性质好呢？注意到，定义调和函数时我们仅仅要求它存在二阶偏导数，但实际上

这样的定义只用极少的要求就保证了函数的光滑性，可谓化腐朽为神奇。

但解析性并非调和函数的本质特征，实际上，调和函数的最本质的性质是满足所谓的

平均值原理。而且为了获得调和函数更好的性质，一般我们会在有界区域中考虑这些问题，

还会要求函数具有连续或可导的边值。那么，什么是平均值原理呢？简单来说，就是函数

u在一点x的值等于函数在以x为中心的球区域中体积积分或面积积分的平均值(通过简单

的积分计算可以证明，这两种积分平均值是等价的)：

为什么说平均值原理是调和函数最本质的特征呢，这是因为调和函数几乎所有的重要

性质都可以从平均值原理推导出来，例如上面说过的解析性。而且更重要的是，平均值性

质完全刻画了调和函数，这就是如下的结论：

调和函数的另一个重要性质是极值原理：

调和函数如果不是常数，那么它不能在内部到极大值或极

小值。

由极值原理，我们立即可以获知，调和函数由其边值唯完全决定：

如果我们从更高的角度来看调和函数，也就是将定义△u=0看成是一个偏微分方程(准

确来说是一个拉普拉斯方程)，那么调和函数就是这个方程的解，而极值原理就告诉我们，

在给定边值的情况下，解是唯一的。实际上，如果区域足够特殊(一般来说是球)的话，我

们是可以通过边值条件直接得到这个解的，而这又要涉及到泊松积分，泊松积分又要联系

着格林函数。

格林函数起源于物理中的场论，具体定义我们就不多说了，但它的作用就是拿来表示

这种带有边值的方程的解。实际上，利用格林函数和拉普拉斯方程的基本解，我们得到调

和函数的格林表示：

由于被积函数是光滑的，从格林表示我们再次获得了调和函数的光滑性。当区域是一

个球时，由于区域特殊，我们可以利用几何中反演的方法得到相应格林函数的表达式，因

而直接通过边值求解调和函数成为可能，这也就有了带有边值的调和函数的泊松积分表达

式：

除此之外，调和函数还有一个非常好的性质，这就是调和函数序列良好的收敛性质。

在学习数学分析的时，级数和函数序列的收敛性是我们非常关注的概念，因为良好的收

敛性可以保证极限函数也具有一些好的性质。而从之前我们所说过的平均值原理可以发现，

调和函数序列恰恰拥有某些良好的收敛性：

一致收敛的调和函数序列的极限函数也是调和的。

进一步还可以证明：

从上面我们所讲述的东西我们可以看见，调和函数的确拥有众多其他函数所不具备的

良好性质，因而调和函数成为了许多数学学科中常用的工具，例如我们说过的偏微分方程

理论，数学物理方法等。不仅如此，“调和”这个概念也早已不再局限于实数空间上的函

数，它可以轻松被推广到微分流形上，用来定义和研究流形上的调和函数。不仅如此，

“调和”还可以用到更一般的微分形式上，由此与著名的“霍奇理论”产生了深刻地关联。

当然，调和函数及其推广的应用完全不止说过的这些，但可以肯定是，它的确在数学中扮

演着十分重