複製鏈接
請複製以下鏈接發送給好友

羣上調和分析

鎖定
羣上調和分析又稱羣上傅里葉分析、抽象調和分析。它是古典調和分析(即傅里葉級數與傅里葉積分理論)的統一與推廣。它的研究對象是拓撲羣上的函數或測度以及由它們構成的空間或代數。羣上調和分析可以説是一門既具應用價值(正如它對概率論、數論與微分方程等所起的作用所説明的)又具理論意義的綜合性學科。
中文名
羣上調和分析
外文名
Group up-harmonic analysis
背    景
工業處理金屬需要
領    域
數學

羣上調和分析基本簡介

法國科學家J.-B.-J.傅里葉由於當時工業上處理金屬的需要,從事熱流動的研究。他在題為《熱的解析理論》一文中,發展了熱流動方程,並指出了任意週期函數都可以用三角基來表示的想法。他的這種思想,雖然缺乏嚴格的論證,但對近代數學以及物理、工程技術卻都產生了深遠的影響,成為傅里葉分析的起源。
由三角函數系{cos nx,sin nx} (n=0,1,2,…)組成的無窮級數 稱為三角級數,其中αn,bn為係數,與x無關。若級數(1)對於一切x收斂,它的和記為ƒ(x):
ƒ(x)是一個具有周期2π的週期函數。上式兩邊分別乘以cos nx或sin nx,並且在(0,2π)上同時積分,就得到公式 上面的運算是形式的,因為符號Σ與積分的交換缺乏根據。為了保證上述運算的正確性,應當對級數(1)的收斂性加以必要的限制,例如一致收斂性等。但是,上面提供的純形式運算,卻提出了一個很有意義的問題:如果ƒ(x)是一個給定的以2π為週期的週期函數,通過(3)可以得到一列係數αn,bn,從而可構造出相應的三角級數(1)。這樣得到的三角級數(1)是否表示ƒ(x)?正是傅里葉,他首先認為這樣得到的級數(1)可以表示ƒ(x)。
給定ƒ(x),利用(3)得到的三角級數(1),稱為ƒ的傅里葉級數,而稱(3)為ƒ傅里葉係數。這種思想可以推廣到任意區間上的正交函數系。特別,(n=0,±1,±2,…)是[0,2π]上的規範正交函數系,函數ƒ關於它的傅里葉級數為稱為ƒ的傅里葉級數的復形式。

羣上調和分析發展概況

傅里葉分析從誕生之日起,就圍繞着“ƒ的傅里葉級數究竟是否收斂於 ƒ自身”這樣一箇中心問題進行研究。當傅里葉提出函數可用級數表示時,他的想法還沒有得到嚴格的數學論證,實際的情形人們並不清楚。P.G.L.狄利克雷是歷史上第一個給出函數ƒ(x)的傅里葉級數收斂於它自身的充分條件的數學家。他的收斂判別法,後稱為狄利克雷-若爾當判別法。他證明了在一個週期上分段單調的週期函數ƒ的傅里葉級數,在它的連續點上必收斂於ƒ(x);如果ƒx點不連續,則級數的和是(ƒ(x+0)+ƒ(x-0))/2。順便指出,狄利克雷正是在研究傅里葉級數收斂問題的過程中,才提出了函數的正確概念。因為在他的判別法中,函數在一個週期內的分段單調性,可能導致該函數在不同區間上的不同解析表示,這自然應當把它們看做同一個函數的不同組成部分,而不是像當時人們所理解的那樣,認為一個解析表達式就是一個函數。
(G.F.)B.黎曼對傅里葉級數的研究也作出了貢獻。上面説過,確定ƒ傅里葉係數,要用到積分式(3)。但是人們當時對積分的理解還不深入。黎曼在題為《用三角級數來表示函數》(1854)的論文中,為了使得更廣一類函數可以用傅里葉級數來表示,第一次明確地引進並研究了現在稱之為黎曼積分的概念及其性質,使得積分這個分析學中的重要概念,有了堅實的理論基礎。他證明了如果週期函數ƒ(x)在[0,2π]上有界且可積,則當n趨於無窮時ƒ的傅里葉係數趨於0。此外,黎曼還指出,有界可積函數ƒ的傅里葉級數在一點處的收斂性,僅僅依賴於ƒ(x)在該點近旁的性質。這個非常基本而重要的結果稱之為局部性原理
G.G.斯托克斯和 P.L.von賽德爾引進了函數項級數一致收斂性的概念以後,傅里葉級數的收斂問題進一步受到了人們的注意。H.E.海涅在1870年的一篇論文中指出,有界函數ƒ(x)可以唯一地表示為三角級數這一結論,通常採用的論證方法是不完備的,因為傅里葉級數未必一致收斂,從而無法確保逐項積分的合理性。這樣,就可能存在不一致收斂的三角級數,而它確實表示一個函數。這就促使G.(F.P.)康托爾研究函數用三角級數表示是否唯一的問題。這種唯一性問題的研究,又促進了對各種點集結構的探討。G.康托爾第一次引進了點集的極限點以及導集等概念,為近代點集論的誕生奠定了基礎。
K.(T.W.)外爾斯特拉斯在1861年首次利用三角級數構造了處處不可求導的連續函數。他的這一發現震動了當時的數學界,因為長期的直觀感覺使人們誤認為,連續函數只有在少數一些點上才不可求導。

羣上調和分析以來的發展

勒貝格積分理論
20世紀初,H.L.勒貝格引入了新的積分與點集測度的概念,對傅里葉分析的研究產生了深遠的影響。這種積分與測度,現在稱為勒貝格積分與勒貝格測度,已成為數學各分支中不可缺少的重要概念和工具。勒貝格用他的積分理論,把上面提到的黎曼的工作又推進了一步。例如,根據勒貝格積分的性質,任何勒貝格可積函數的傅里葉級數,不論收斂與否,都可以逐項積分。又例如,對於[0,2π]上勒貝格平方可積的函數,帕舍伐爾等式成立;
傅里葉級數,特別是連續函數的傅里葉級數,是否必處處收斂?1876年P.D.G.杜布瓦-雷蒙首先發現,存在連續函數,它的傅里葉級數在某些點上發散;後又證明,連續函數的傅里葉級數可以在一個無窮點集上處處發散。這反面結果的發現提醒人們對傅里葉級數的收斂性應持審慎態度。
費耶爾求和法
正是基於上述原因,1904年,匈牙利數學家L.費耶爾首次考慮用部分和的算術平均代替級數的部分和,證明了傅里葉級數部分和序列的算術平均,在函數的連續點上,必收斂於函數自身。這樣,通過新的求和法,又能成功地用傅里葉級數表達連續函數。這無疑是傅里葉級數理論的一個重要進展。費耶爾之後,各種求和法相繼產生。一門新的學科分支,發散級數的求和理論,就此應運而生。
盧津猜想
與此同時,傅里葉級數幾乎處處收斂的問題,特別是所謂的盧津猜想,受到人們的重視(見盧津問題)。瑞典數學家L.卡爾森用十分精巧的方法,才證實了這一猜想的正確性。
複變函數論方法
傅里葉級數與單位圓內解析函數的理論有着非常密切的聯繫。假設(1)是可積函數ƒ的傅里葉級數,簡單的計算表明,它是復變量z的冪級數
(5)
的實部。另一方面,級數(5)是單位圓內的解析函數,記為F(z)。這樣,傅里葉級數(1)可以通過單位圓內解析函數的理論來研究。這就是傅里葉分析中的複變函數論方法,它是20世紀前半葉研究傅里葉級數的一個重要工具。
經典的H 空間概念
進一步的研究導致G.H.哈代以及F.(F.)里斯兄弟建立單位圓上H空間的理論。他們研究了單位圓內使有界的解析函數F(z),這裏0<r<1,而p>0。這類函數的全體,稱為H空間,它是近代H空間理論的先驅。
通過傅里葉級數刻畫函數類是傅里葉分析中的重要課題,著名的帕舍伐爾公式以及里斯-費希爾定理反映了函數類l(0,2π)的特徵。如果P≠2,則有以下的豪斯多夫-楊定理。
豪斯多夫-楊定理
設1<p≤2,p┡=p/(p-1),如果ƒl(0,2π),Cnƒ的復傅里葉係數,那麼;
反之,如果{сn}(-∞<n<∞)是滿足的複數列,那麼{сn}必為中某函數ƒ的傅里葉係數,且 。
李特爾伍德-佩利理論
上述豪斯多夫-楊定理的實質,是用傅里葉係數的大小來反映函數所屬的空間,但它並沒有給出空間L(0,2π)的傅里葉級數特徵。因此,不可能象帕舍伐爾公式那樣,用傅里葉係數的大小來刻畫l(0,2π)中函數的特徵。考慮函數,1<p<2,但。這樣的函數是存在的。假設ƒ0的傅里葉級數的復形式是,那麼可以證明,級數(±號隨機地取)不是傅里葉級數,更不可能是L(0, 2π)中函數的傅里葉級數。這説明,不能簡單地期望以傅里葉係數的大小來刻畫lp≠2)中函數的特徵。由J.E.李特爾伍德、 R.E.A.C.佩利首創, 後由A.贊格蒙以及J.馬欽凱維奇等發展起來的理論,就給出了l(0,2π)空間中函數的傅里葉級數的特徵性質。方法是:把級數進行“二進”分割成如下的序列: ;。 那麼當1<p<∞時,存在絕對常數с1、с2,使得 (6)!!。
極大函數
20世紀50年代以前的重要工作中,還應當提到哈代與李特爾伍德的其他許多貢獻。特別是30年代,他們用極大函數研究傅里葉級數,取得了很深刻的結果。極大函數是一種算子,它的定義是極大函數M (ƒ)(x)比函數自身要大,用它來控制傅里葉分析中某些算子,可以達到估計其他算子的目的。
50年代以前,傅里葉分析的研究領域基本上限於一維的具體空間,50年代以後的研究,逐漸向多維和抽象空間推廣。
考爾德倫-贊格蒙奇異積分理論
由於偏微分方程等許多數學分支發展的需要,50年代出現的考爾德倫-贊格蒙奇異積分理論,標誌了調和分析進入了一個新的歷史時期。例如,當ƒl(Rn),泊松方程Δu=ƒ的基本解u(x)的二階導函數,在一定條件下(例如ƒ具有Lip α連續性),可以表成如下的奇異積分
сn為某常數,僅與維數n有關。積分 (8)作為勒貝格積分一般是發散的;注意到Ωj(y)在R的單位球面S上的積分為0,可以證明,積分(8)在柯西主值意義下存在,並且作為x的函數是連續的,從而u(x)是泊松方程的解。
考爾德倫、贊格蒙研究了一類相當廣泛的奇異積分算子(9)的性質,這裏Ω(y) 是具有一定光滑性的零階齊次函數,且滿足條件。他們證明了這種積分算子具有l有界性(p>1);利用這些性質,可以得到某類微分方程中解的“先驗估計”。
h空間理論的近代發展 E.M.施坦、G.韋斯於20世紀60年代,引進了上半空間上的h空間,它們是n=1的推廣。當n=1時,h(p>0)空間中的函數在R=(-∞,∞)上的邊值函數幾乎處處以及在l範數下都存在,施坦、韋斯定義的多維 空間, 顯然是一維 h(R崹)空間的推廣。人們自然要問,經典的 h(R崹)空間中最基本的性質,例如邊值函數的存在性等,在多維空間中是否還被保留?施坦、韋斯首先發現,p>(n-1)/n時,答案是肯定的;例如他們證明,若F∈,p>(n-1)/n,那麼幾乎處處以及在L範數意義下都存在。1964年,考爾德倫、贊格蒙利用高階梯度概念,原則上把h空間的上述限制p>(n-1)/n放寬為p>0,但他們的方法比較複雜,隨着指標p的不同,h空間定義的一致性,當時並不清楚。
70年代初,h空間的近代理論經歷了引人注目的發展。D.L.伯克霍爾德、R.F.岡迪、M.L.西爾費斯坦於1971年,首先就一維的情形,證明的充分且必要的條件是,F(x+iy)的實部 u(x,y)的角形極大函數,
稍後,C.費弗曼、施坦又把上述特徵推廣到多維中去,並且進一步指出,當0<p<∞時,ƒ(x)作為中某函數的邊值函數的充分且必要的條件是:存在充分光滑的函數φ(x),,使得ƒ關於φ的角形極大函數 ,這樣,作為h(R)函數的實變函數論特徵,它完全可以脱離泊松核, 也無需藉助於解析函數或調和函數的概念,而純粹是實變函數論的一種內在特性的反映,這是出乎人們的想象的。
羣上的傅里葉分析
對於R=(-∞,∞)上定義的非週期可積函數ƒ(x),傅里葉積分
代替了傅里葉級數(1),而稱為ƒ的傅里葉變換。
傅里葉級數(1) 和傅里葉積分(10)的具體形式不同,但都反映了一個重要的事實,即它們都把函數ƒ分解為許多個分量e(-∞<z<∞)或e(n=0,±1,±2,…)之和。例如對於傅里葉級數(1),ƒ(x)分解為сne(n=0,±1,±2,…)之和;而傅里葉積分(10)則表明,ƒ(x)可以分解為無窮個 弮(z)e(-∞<z<∞)之“和”。分量的係數сn(n=0,±1,±2,…)以及弮(z)(-∞<z<∞)的確定,也有類似之處。事實上,它們都可以用下面的形式來表達:
。 (11)
ƒ為具有2π週期的週期函數時,G=(0,2π),
,測度 是G=[0,2π]上的勒貝格測度,此時 ,即傅里葉係數(4);當 ƒ為定義在 (-∞,∞) 上的非週期函數時,x(t)=(-∞<x<∞), 而是(-∞,∞)上的勒貝格測度,公式(11)即為傅里葉變換。
把函數ƒ分解為許多個“特殊”函數{e}之和的思想,啓發人們考慮更為深刻的問題。事實上,從羣的觀點看,無論是週期函數還是非週期函數,它們的定義域都是拓撲羣G,就是説,G有一個代數運算,稱為羣運算,以及與之相協調的極限運算,稱為G的拓撲。傅里葉級數或傅里葉積分的任務,正是研究G上定義的函數ƒ(x)分解為羣上許多“特殊”函數(例如e或e)之和的可能性,以及通過傅里葉係數或傅里葉變換來研究ƒ自身的性質。對於一般的拓撲羣G,相當於{e}或{e}的“特殊”函數是哪種函數;把這種“特殊”函數x(t)代入公式(11),又必須確定G上的測度μ,以求出 ƒ的傅里葉變換,這是在羣上建立傅里葉分析理論所必須解決的兩個基本問題。對於直線羣 R=(-∞,∞),它的 “特殊”函數x(t)=e(-∞<x<∞)的特殊性,就在於它們滿足以下的三個條件:①x(t+s)=x(t)x(s),②|x(t)|=1,③x(t)是t的連續函數。用羣表示論的術語來説,條件①、②、③合起來,正好説明 x(t)是羣R的一個酉表示,而且進一步可以證明,滿足①、②、③的不可約的酉表示的全體就是 {e}(-∞<x<∞)。對圓周羣T而言,T的“特殊”函數全體xn(t)=e(n=0,±1,±2,…)除滿足①~③以外,還滿足條件④xn(2π)=1。從羣表示論的觀點看,條件①~④合起來,説明T的“特殊”函數正好是羣T的酉表示;進一步則可證明,T的一切不可約酉表示正好就是{e|n=0,±1,±2,…}。這樣,尋找一般抽象羣G上合適的“特殊”函數的問題,就轉化為研究和尋找羣G上一切不可約酉表示的問題。對於緊羣或局部緊的交換羣,羣表示論的結果已經相當豐富,相應的“特殊”函數的研究也比較成熟。至於既非交換又非緊的拓撲羣,尋找相應的“特殊”函數,尚是一個值得探索的難題。
研究拓撲羣上的測度是建立羣上傅里葉分析的另一個基本課題,因為羣上的積分(11)離不開相應的測度。以可加的局部緊拓撲羣R=(-∞,∞)為例,經典的勒貝格測度的主要特點是:①R中任一緊集的勒貝格測度必為有限;②R中任何可測集的勒貝格測度關於右(或左)平移是不變的。人們自然要問,一般的拓撲羣上,具有①、②兩條件的測度(現在稱為哈爾測度)是否存在?存在的話,是否唯一?這個問題,自1930年以來,經A.哈爾,A.韋伊以及И.М.蓋爾範德等人的努力,已經證明,在局部緊的拓撲羣上,滿足條件①、②的哈爾測度是一定存在的,並且相互間僅差常數倍。例如,以乘法為羣運算的全體正實數構成一拓撲羣R,它的拓撲就是歐氏空間的拓撲, 那麼測度dμ=xdx就是R上的哈爾測度。這是因為,對於任意的,
這説明測度dμ=xdx關於位移是不變的。如果進一步求出羣R的一切不可約酉表示,則經過計算,可以證明R的一切不可約酉表示就是{x|- ∞<t<∞}。這樣,由公式(11),對於羣R上的可積函數ƒ(x),ƒ的傅里葉變換。
上式表達的 弮(t)正好又是經典的所謂梅林變換M ƒ(x),是R.H.梅林19世紀末為研究狄利克雷級數的有關性質時引進的。這個特例説明,羣上的傅里葉分析,不僅把梅林變換統一到傅里葉變換中來,更重要的是,羣論觀點的引入,使得隱藏在某些現象背後的內在聯繫,被揭示得更清楚更深刻了。

羣上調和分析參考書目

A.Zygmund,Trigonometric Series,2nd ed., Cam-bridge Univ.Press,Cambridge,1959.
E.M.Stein,Singular Integrals and Differen-tiability Properties of Functions,Princeton Univ. Press,Princeton,1970.
G.M.Stein and G.Weiss,Introduction to Fourier Analysis on Euclidean Spaces,Princeton Univ.Press,Princeton,1971.
E.Hewitt and K.A.Ross,Abstract harmonicAnalysisVol.1~2, Springer-Verlag. Berlin,1963.1970.