位勢論
正文
位勢的概念來源於物理學中的萬有引力理論。因為位勢在不分布質量的地方是調和的,所以關於狄利克雷問題的研究一直是位勢論中的一個重要內容。由於(G.F.)B.黎曼把位勢論和函式論統一處理,以及現代分析的基礎理論(如泛函分析、測度論、廣義函式、拓撲學等)在位勢論中的深入套用,位勢論成了數學領域內比較徹底地完成了現代化變革的一個分支。它同黎曼曲面論、偏微分方程、調和分析、機率論等數學分支也有著緊密的聯繫。基本概念和主要原理 設Ω是n維(n≥2)歐幾里得空間Rn中的一個區域,μ是拉東測度(以下簡稱測度,若μ是非負的,也用μ≥0表示),它的支柱S(μ)嶅Ω,K(x,y)是定義在Ω×Ω上的廣義實值函式,那么

用|·|表示Rn中的範數,當






對Rn里的兩個測度μ和v,把
把支柱包含在緊集K中且總質量等於1的非負測度全體記作






當Cα(E)=0(或婔α(E)=0)時,稱E為α內(或外)零容集。一個性質若除了一個α內零容集外處處成立,則說該性質近乎處處成立;若除了一個α 外零容集外處處成立,則說該性質似乎處處成立。對任意零容的緊集K都有v(K)=0的測度v稱為C絕對連續測度。
集合E稱為α極集,若存在測度μ≥0,其α位勢在且僅在E上等於+∞。E是α極集的充要條件是:E為α零容的GΛ集。
對緊集 K,







對任意集E,當Cα(E)<∞(或婔α(E)<∞)時有相應的內(外)平衡測度。當0<α≤2,α<n,若E可定容且Cα(E)<∞時,E的內、外平衡測度相等,稱之為E的平衡測度。此時v是滿足①支柱在唕,②v(1)=Cα(E),③在E上似乎處處有




由於測度的α能量非負,所以能量有限的測度全體在通常的線性組合的意義下,以Iα(μ,v)為內積構成一個實的準希爾伯特空間εα,其中非負測度全體ε








若不假定μ≥0的能量有限,則存在惟一的支柱含於K的測度βKμ使得方程

當0<α≤2,α<n時,對α容量有限的波萊爾集E及測度μ≥0,設A是E的緊子集全體以包含關係為序的有向集,則網{βKμ|K∈A}的渾極限βEμ存在,稱βEμ為μ到E的掃除測度,掃除測度βEμ是μ到E的掃除問題的解,且掃除位勢



設εx是在點x的狄喇克測度,則βEεC稱為E的α格林測度。對任意測度μ,




開集Ω的邊界記作дΩ,余集記作CΩ,稱



當2<α<n時,關於測度的掃除問題一般無解,但J.德尼利用廣義函式解決了這個問題。
用ε宎表示單位質量在以y為球心,r為半徑的球面的均勻分布。若函式ƒ在Ω里下半連續且滿足
①

② 對任何x∈Ω,存在正數ρ使對任意正數r<ρ有
當2≤α<n時,α位勢U

,

當0<α<2時,α位勢不是上調和函式。但當U

①

②


如果在x0的一個鄰域內連續的函式滿足條件①且對充分小的r恆有

對上調和函式的連續性的研究導致細拓撲概念的引入。為敘述方便,也稱上調和函式為2-上調和函式。用E┡表示集E的極限點全體,若x0媂E┡或x0∈E┡且存在α上調和函式u(x)使
若E的余集在x0為α瘦則說E在x0是α肥的。若E在E的每一點都是α肥的,則說E是一個α肥集。α肥集全體構成Rn里一個拓撲,稱為α細拓撲。2-瘦和2-細拓撲通常分別稱為瘦和細拓撲。開集必為α肥集,α細拓撲比通常拓撲細。此外,當α<α┡時,α細拓撲嚴格細於α┡細拓撲;α細拓撲是使所有α上調和函式(包括α位勢)都連續的最粗拓撲。在α細拓撲下的極限叫α細極限。對α細拓撲,α細極限與不相切極限的關係,J.L.杜布等人曾有深入的研究。
第一極大值原理 當0<α≤2,μ≥0時,若U

當2<α<n時,第一極大值原理不成立。
廣義極大值原理 當0<α<n時,若U


第二極大值原理 又稱控制原理。設μ≥0是能量有限的測度,λ≥0是任意測度,若

當0<α<2時,若U


惟一性原理 設0<α<n,μ1,μ2是絕對連續的非負測度,若

下包絡原理 設0<α≤2,則對任意兩個非負測度μ,v存在測度λ,使

連續性原理 若把U


能量原理 對任意測度μ,

掃除原理 當0<α≤2時,對任意α容量有限的波萊爾集E和具有限位勢的測度μ≥0,掃除問題有解,即存在支柱在唕的測度βEμ使在E上似乎處處有

狄利克雷問題 廣義形式可敘述為:若Rn的區域Ω的邊界дΩ是緊的,對дΩ上的函式ƒ,是否存在惟一的函式u在Ω里調和且對每一個正則邊界點y滿足:

下面採用的佩隆方法是解這個問題的最有效工具,它是歷史上有名的施瓦茲交錯法及龐加萊掃除法的發展與精密化。
令





在一定條件下,也可以考慮關於α調和函式的狄利克雷問題。
當0<α≤2,α<n時,y∈дΩ為α正則邊界點若且唯若Ω的余集在y是α不瘦的。維納判別法指出,若0<q<1,令


狄利克雷原理 設D0是Rn的有界區域Ω上的連續可微且梯度平方可積的函式全體。在 D0定義內積<





德尼用廣義函式證明,D的完備化是由下述BLD函式ƒ組成的:ƒ似乎處處有限且D0中有子列似乎處處收斂於ƒ。若ƒ是有界區域Ω1(叾捙)上的BLD函式,則在Ω上,Hƒ存在且除了一個附加常數外是惟一的使 ‖u-ƒ‖達到極小的BLD函式,也是惟一的在Ω里調和並且可由ƒ開拓成Ω1上的BLD函式的函式。
上述結果都可以推廣到ε空間的相對緊的子區域上去。
格林空間與格林函式 連通的豪斯多夫空間Ω若滿足下麵條件則稱之為ε空間:Ω的每一點x有一個開鄰域Vx連同一個把Vx變Rn上的一個開子集的同胚y

若ε空間Ω上存在正的非常數的上調和函式,則稱Ω為格林空間。例如Rn(n≥3)及Rn的任何有界子區域都是格林空間,R2是ε空間而不是格林空間。格林空間Ω上必存在滿足下列條件的函式Gx(y),稱之為以x∈Ω為極的格林函式:①Gx(y)>0;②在Ω\{x}上,Gx(y)調和;③存在x的鄰域V(嶅Vx)使得對每個y∈V,若記y┡=Mx(y),則


由於Gx(y)=Gy(x),故記作G(x,y)=G(y,x)。
稱

最一般的抽象邊界與CC緊緻化 在非空集合Ω上賦予拓撲τ,設I是任一非空號標集,若凬i∈I,Ω的開子集族Bi為Ω的濾基,則I可成為Ω的鑲上去的抽象邊界,因為在Ω∪I上存在滿足下述條件的拓撲τ1:①Ω∈τ1;②τ1在Ω的誘導(相對)拓撲正好是τ;③每個i∈I的鄰域系與Ω 的交構成由Bi生成的濾子。這樣的拓撲中最細者在I上誘導出離散拓撲;而最粗者當I是Ω上抽象調和函式凸錐的極端母線全體時就稱為極小細拓撲。
在實用中,常據在Ω上所考慮的函式族的性質來引入邊界且保證Ω鑲邊後是緊的。康斯坦丁斯庫-科尼緊緻化定理即若Ω是非緊的局部緊的豪斯多夫空間,φ是一族從Ω到【-∞,+∞】的連續函式,則存在惟一(至多相差一個同胚)的緊空間惂滿足:①Ω在惂中是開的且在惂中稠密;②φ中每個函式ƒ能開拓成惂上的連續函式弮;③弮全體能辨別理想邊界Δ=惂\Ω。
惂也可看成關於 Ω上的這樣的一致結構的完備化空間:它是使得φ中每個函式都一致連續且相應的一致拓撲與Ω原有拓撲相容的最粗的一致結構。
作為套用,適當選取φ 可以得到如下位勢論中常用的緊緻化。
亞歷山德羅夫單點緊緻化 這時φ為空集。
斯通-切赫緊緻化 這時φ 是Ω上的所有廣義實值連續函式。
凱雷克亞托-斯托伊洛夫緊緻化 這時φ 由這樣的實值連續函式ƒ組成:在Ω中有緊子集Kƒ使得Ω\Kƒ是一些區域之並集且在每個區域上ƒ取常數值。
羅伊登緊緻化 這時Ω是ε空間,φ 是所有實連續的BLD函式。
倉特善緊緻化 這時Ω是ε空間,φ 是滿足下述條件的實連續BLD函式ƒ全體:Ω有閉子集Fƒ使得ƒ在Ω\Fƒ里調和且在那些於Fƒ上取值等於ƒ的BLD函式中,ƒ的狄利克雷積分(即‖ƒ‖D)達到最小。
馬丁緊緻化 是位勢論中重要的一種緊緻化。
馬丁空間與馬丁邊界 為紀念R.S.馬丁,將格林空間Ω相對於函式族
調和函式u>0稱為極小調和函式,指的是任何不大於u的正調和函式必與u成比例。若u極小調和,必存在x∈Δ使得u(y)=u(y0)·K(x,y)。稱這樣的X 為Δ的極小點。極小點全體Δ1是 GΛ集。對任一非負調和函式u必存在唯一的分布在Δ1上的拉東測度μ使得凬y∈Ω,
對馬丁邊界同樣可考慮狄利克雷問題,可討論一個集在X ∈Δ1的瘦與肥並進而把Ω上的細拓撲開拓到Ω∪Δ1。對任意上調和函式u>0及調和函式h>0,u/h在Δ1上至多除去一個h零測集外處處有細極限,這是杜布對著名的法圖定理即球內的正調和函式在邊界上幾乎處處有不相切極限的重大推廣。
馬丁緊緻化有許多推廣的形式。例如,當考慮的函式族是由某一橢圓型方程(特別是Δu=pu)在Ω上的格林函式G┡(x,y)的商
馬丁邊界可翻譯成機率的語言並在隨機過程論中得到套用與推廣。
局部緊阿貝爾群上位勢論 由於拓撲學和代數學,特別是群上傅立葉分析的發展,使這種群上的位勢論取得了豐富的成果。
設G是局部緊阿貝爾群,若對G上一個測度網(μα)α∈A,存在一測度μ,使對任意ƒ∈Cc。(支柱緊的連續函式全體),均有

若G上一正測度集合 ( μt)t>0, 滿足以下條件:① μt(G)≤1,t>0;②




,
一個正測度ξ稱為關於(μt)t>0是過度的,若對所有t>0,ξ是μt上調和,即μt*ξ ≤ξ;一個正測度ξ 稱為關於(μt)t>0是不變的,若對所有t>0,ξ是μt調和的,也就是μt*ξ=ξ。每一個K位勢必為過度測度;反之,每一個過度測度必是單調增加K位勢網的渾極限。對過度測度ξ,里斯分解定理成立,也就是ξ=K*σ+η,σ∈D+(K);η是不變測度。
若

若ω是開集,ξ是過度測度,測度




。
如果把上述遷移測度卷積半群 (μt)t>0所滿足的條件①、③放寬為


設x為局部緊豪斯多夫空間,ξ 為x上一個處處稠密正拉東測度(對任意非空開集ω,ξ(ω)>0),由x上一族局部ξ可積的複函數u(x)組成的希爾伯特空間D=D(x,ξ),若滿足下列三條公理:①對任一緊集K,存在一數A(K)>0,使得



公理化位勢論 由於位勢論的大部分結果都可由其狄利克雷問題、極值原理和收斂性質三個基本原理導出,且為了適應偏微分方程和隨機過程的需要,公理化位勢論,即調和空間理論迅速地發展起來,它提供了統一處理問題的方法。從50年代起,G.L.陶茨、杜布和M.布雷洛特等在這方面做了開創性的工作,C.康斯坦丁斯庫和A.科尼在70年代初期建立了一般調和空間理論。
一般公理系統 又稱康斯坦丁斯庫-科尼公理系統。在一個局部緊、第二可數的豪斯多夫空間X 的每一開集U上,給出一個由一族不取值-∞的下半連續函式組成的凸錐U(U),所有這些函式的全體構成x上的一個函式簇U。拓撲空間x上的函式簇是指定義在x的開集上滿足下列條件的一個映射U:①對於x的任意開集U,U(U)是U上的函式集;②對於X 的任意開集U,V,U吇V,若ƒ∈U(V),則ƒ|U∈U(U);③對於x的任意開集族(Uα)α∈A,一個



在一個開集上,一個函式u稱為亞調和函式,如果-u是超調和的,若一個函式h既是超調和亦是亞調和,則說h是調和函式。
一個開集U稱為可解集,如果在U上超調和函式的極小值原理成立,並且每一ƒ∈Cc(дU)在U內的廣義狄利克雷問題是可解的。ƒ的解H




一般公理系統包括如下四個公理:
正(P)公理 x上的每一點都存在有該點的一個開鄰域上的一個調和函式,使它在該點取正值。
可解(R)公理 可解集全體構成拓撲空間x的一個拓撲基。
完備(C)公理 在一個開集U上,任一不取-∞的下半連續函式u若滿足在U的每一相對緊的可解子集V(堸嶅U)上,

鮑厄收斂(BC)性質 單調增加、局部一致有界的調和函式列的極限仍是調和函式。
滿足上述公理的有序偶(x,U)叫做調和空間(或叫CC調和空間)。
布雷洛特公理系統 在一局部緊、第二可數的豪斯多夫空間x上一個調和函式簇H滿足如下公理。
① 每一開集U 上的調和函式全體H(U)是C(U)的一個線性子空間。
② 正則區域構成x的一個拓撲基。
所謂正則區域即一個相對緊的區域V,其邊界дV上的每一連續函式都可惟一地開拓成為V上的調和函式H抦,並且當ƒ≥0時H抦≥0。
③ 區域上的單調增加的調和函式列的極限是調和函式或恆等於+∞。
有序偶(x,H)叫做布雷洛特調和空間,它是第一個完善的公理系統。布雷洛特調和空間上的位勢論與經典位勢論最為接近。
此外,比較典型的還有鮑厄-博博克-康斯坦丁斯庫-科尼公理系統(簡稱BBCC公理系統)。二階橢圓型偏微分方程滿足布雷洛特公理系統,但熱傳導方程卻不滿足布雷洛特公理系統,而滿足BBCC公理系統。一個布雷洛特調和空間是一個BBCC調和空間,而BBCC調和空間是一般的CC調和空間。布雷洛特公理系統嚴格強於BBCC公理系統,而BBCC公理系統又嚴格強於一般公理系統。設U是調和空間(x,U)的開子集,u是U上超調和函式,若在U的每一相對緊的可解子集V(堸嶅U)上,

對於布雷洛特調和空間,R.M.埃爾韋證明了,在滿足一定條件下,若區域上存在正位勢,則格林函式也存在。一個布雷洛特調和空間若存在一個相容的對稱格林函式系,稱為自共軛調和空間,其原型來自偏微分方程Δu=сu。F.Y.馬埃達通過引入梯度測度的概念,在自共軛調和空間上建立了廣義格林公式。
位勢論與機率論的聯繫 角谷靜夫、卡茨、杜布等人首先發現了布朗運動與古典位勢論有密切的聯繫;亨特則發現通過一大類非常返馬爾可夫過程可以深入研究位勢論;後來,F.L.斯皮策用隨機遊動,J.G.凱梅尼和J.L.斯內爾用馬爾可夫鏈首先研究了常返的位勢理論。
位勢論與機率論的密切聯繫,最明顯的是,決定一個馬爾可夫過程的轉移函式可以用來定義位勢論中的格林函式。位勢論中的許多概念和原理都有明確的機率意義,特別體現在上鞅理論中,比如上調和函式相應於上鞅。位勢論中的法圖型邊界極限理論相應於上鞅收斂理論;單調上調和函式列的極限性質與單調上鞅的極限過程性質頗為相似;某些上調和函式、上鞅稱為位勢,它們在各自的理論中都有與之關聯的測度,都遵從只涉及這些測度支柱的控制原理,以及在機率論與位勢論中,都存在一個性質相同的簡化測度,它導出與位勢相關聯的測度的掃除等等。
以布朗運動為例,設x(t),t≥0為Rn上的標準布朗運動,{px},x∈Rn為相應的機率測度族,px以





,
設區域





在馬丁空間也可以構造布朗運動。此外,利用隨機積分方程的方法可以構造一般C∞級流形上的擴散過程,因此可以用機率方法研究馬丁空間和C∞黎曼流形上的位勢論。由於位勢論與機率論存在密切的聯繫,使得位勢論有了明顯的機率意義而位勢論也為機率論的研究提供了一種新的有力的分析工具。
參考書目
N. S. Landkof,Foundations of Modern Potential Theory, Springer-Verlag, Berlin, 1972.
M.Brelot,On Topologies and Boundaries in Potential Theory, Springer-Verlag, Berlin, 1971.
C.Constantinescu and A.Cornea,Potential Theory on harmonic Space,Springer-Verlag, Berlin,1972.
C.Berg and G.Forst,Potential Theory on locally Compact Abelian Groups,Springer-Verlag, Berlin, 1975.
J.L.Doob,Classical Potential Theory and Its Probabilitic Counterpart, Springer-Verlag, New York, 1984.
M.Tsuji,Potential Theory in Modern Function Theory, Maruzen, Tokyo, 1959.