調和函數
滿足拉普拉斯方程的函數
調和函數是在某區域中滿足拉普拉斯方程的函數。通常對函數本身還附加一些光滑性條件,例如有連續的一階和二階偏導數。當自變數為n個(從而區域是n維的)時,則稱它為n維調和函數。
對於高維的調和函數,也有與上述類似的最大、最小值原理,平均值公式以及相應的狄利克雷問題解的存在和惟一性定理。
在數學、數學物理學以及隨機過程理論中,都有調和函數的概念。一個調和函數是一個二階連續可導的函數f:U→R(其中U是R里的一個開子集),其滿足拉普拉斯方程,即在U上滿足方程:
調和函數
二元的調和函數的例子有:
● 任意全純函數的實數部分和虛數部分。
● 函數:
這個函數定義在R\ {0}上(實際上是一個均勻線電荷所產生的電勢或一個細長的均勻無限長圓柱形物體產生的引力勢所對應的數學模型)
● 函數:。
● n元的調和函數的例子有:
(1)R所有的常數函數、線性函數和仿射函數(比如說兩塊均勻帶電無限大平板之間的電勢)。
(2)定義在R\ {0}上的函數,其中。
在三元的調和函數的例子前,先定義以簡化形式。下面表格中的函數在經過數乘(乘以一個常數)、旋轉和相加后仍然會是調和函數。調和函數是由其奇點決定的。調和函數的奇點可以在電磁學中解釋為電荷所在的點,因此相應的調和函數可以看作是某種電荷分佈下的電勢場。
在給定的開集U上所有的調和函數的集合是其上的拉普拉斯運算元Δ的核,因此是一個R的向量空間:調和函數的和與差以及數乘,結果依然是調和函數。
如果f是U上的一個調和函數,那麼f的所有偏導數也仍然是U上的調和函數,在調和函數類上,拉普拉斯運算元和偏導數運算元是交換的。
在某些意義上,調和函數是全純函數在實值函數上的對應物。所有的調和函數都是解析的,也就是說它們可以局部地展開成冪級數。這是關於橢圓運算元的一個性質,而拉普拉斯運算元是一個常見的例子。
收斂的調和函數列的一致極限仍會是調和的。這是因為所有滿足介值性質的連續函數都是調和函數。
一個全純函數的實數和虛數部分都是R上的調和函數。反過來說,對於一個調和函數u,總可以找到一個調和函數v,使得函數是全純函數。這個函數v被稱為調和函數u的調和共軛。這裡的函數v在差一個常數的意義上是唯一定義的。這個結果在希爾伯特變換中有應用,也是數學分析中一個與奇異積分運算元有關的基本例子。在幾何意義上,u和v可以被看作具有正交的關係。如果畫出兩者的等值線,那麼兩條線在交點處正交(兩條切線成直角)。在這種視角下,函數可以被看作一種“複位勢場”,其中u是一個位勢函數,而v是流函數。
規則性的理論
調和函數總是無窮次可導(光滑)的。事實上,調和函數是實解析函數的一種。
極大值定理
調和函數滿足以下的極大值定理:如果K是U的一個緊子集,那麼f在K上誘導的函數只能在邊界上達到其最大值和最小值。如果U是連通的,那麼這個定理意味著f不能達到最大值和最小值,除非它是常數函數。對於次調和函數也有同樣的定理。
介值性質
設B(x,r)是一個以x為中心,以r為半徑的完全在U中的球,那麼調和函數f(x)球的邊界上取值的平均值和f在球的內部的取值的平均值相同。也就是說:
其中表示n維的單位球面。
劉維爾定理
如果f在整個R都有定義的調和函數,並且在其上有最大值或最小值,那麼函數f是常數函數(參見複平面上函數的劉維爾定理)。
調和函數研究的一個推廣是黎曼流形上的調和形的研究,後者與上同調的研究有關。此外,可以定義調和的向量值函數,或者兩個黎曼流形間的調和映射。這些調和映射出現在最小表面理論中。比如說,一個從R上區間 射到一個黎曼流形的映射是調和的當且僅當它是一條短程線。
若u(x,y)滿足“重調和”方程
則稱u是重調和函數,它是數學物理方程理論中的一個重要函數類。調和函數和重調和函數,在力學和物理學中都有重要的應用。類似地也有高維的重調和函數。由於拉普拉斯方程是橢圓型方程的一個特殊情況,故後者的解的一般性質也是調和函數的性質。