跳至內容

博雷爾函數演算

維基百科,自由的百科全書

數學的一個分支——泛函分析中, 博雷爾函數演算是一種函數演算 [1] [2]。例如,將平方函數 作用到算子 上會得到算子 。而適用於更大範圍的函數的函數演算使得我們可以(作為一個例子)嚴格地定義(負的)拉普拉斯算子 −Δ 的「平方根」或指數

這裏的「範圍」是指允許的函數類型。博雷爾函數演算比連續函數演算更通用,其側重點也不同於全純函數演算

更準確地說,博雷爾函數演算允許將任意博雷爾函數作用於一個自伴算子,同時對於多項式函數有與多項式函數演算一樣的行為。

動機

[編輯]

是有限維內積空間 上的自伴算子,則 具有由 本徵向量組成的正交基 ,即

因此,對於任意正整數

如果只考慮 的多項式,則得到全純函數演算。實際上還可以得到 的更一般的函數。給定一個博雷爾函數 ,可以通過確定算子在基上的行為來定義一個算子

一般來說,任何自伴算子 酉等價英語Self-adjoint_operator#Statement_of_the_spectral_theorem於一個乘法算子(這是譜定理的一種表述)。也就是說,對於許多目的而言, 可以被視為一個作用於某個測度空間的平方可積函數上的運算符:

這時有

對於許多技術目的來說,這種表述已經足夠好了。然而,有時也會希望能有對函數演算的一種表述,其不依賴於作為乘法運算符的 的特定表示。這就是下一節要做的事情。

有界函數演算

[編輯]

現在正式地定義希爾伯特空間 上的自伴算子 的有界博雷爾函數演算 πT 。設 是在實軸上的有界復值博雷爾函數所構成的空間, πT 是其上的一個映射 滿足

  • 看作一個環, πT 是其上的同態,且保對合、保單位元。
  • 設有 ,博雷爾集 ,那麼構成一個測度。其中 指示函數。該測度稱為是 譜測度
  • 對於複數上的恆等映射 ,有

定理 — 任意自伴算子都有一個唯一的博雷爾函數演算。

這定義了有界函數的函數演算,而這也或可適用於無界自伴算子。使用有界函數演算,可以證明單參數酉群的斯通定理的一部分:

定理 — 若算子 是自伴的,那麼 是一個以生成元 (么正算子群)的單參數強連續酉群。

作為一個應用,我們考慮薛定諤方程,或者說量子力學系統的動力學。在非相對論量子力學中,哈密頓算子 描述了量子力學系統的總能量 生成的酉群對應於系統的時間演化。

我們還可以使用博雷爾函數演算來抽象地解決一些線性初值問題,例如熱方程或麥克斯韋方程組。

函數演算的存在性

[編輯]

具有上述函數演算性質的映射的存在性需要證明。對於有界自伴算子 ,博雷爾函數演算的存在性可以用初等的方式敘述如下:

首先利用魏爾施特拉斯逼近定理來從多項式過渡到連續函數演算。這裏的關鍵事實是,對於有界自伴算子 和多項式 ,有


因此,映射 構成多項式環上的保距映射稠定的同態。藉助連續性可以進一步推廣,對 譜上的連續函數 定義 。然後,里斯-馬爾可夫-角谷表示定理允許我們從連續函數的積分過渡到譜測度,於是就得到了博雷爾函數演算。

或者,在交換巴拿赫代數的背景下,連續函數演算可以通過蓋爾范德變換獲得。然後同上面的一樣利用里斯-馬爾可夫-角谷定理來推廣到可測函數。在這一表述中, 只需是正規算子

給定一個算子 ,連續函數演算 的值域是 生成的(阿貝爾)C*-代數 。博雷爾函數演算的值域則更大,即 弱算子拓撲下的閉包——一個(同樣是阿貝爾的)馮諾依曼代數

一般函數演算

[編輯]

我們還可以為未必有界的博雷爾函數 定義函數演算,所得結果是一個算子,而這個算子也可能不是有界的。用自伴算子譜定理所提供的乘法算子那套表述的話,它就是 的乘法算子。

定理 —  上的一個自伴算子, 上的一個實值博雷爾函數。存在一個唯一的算子 滿足


更一般地,對於(有界)正規算子也存在博雷爾函數演算。

單位分解

[編輯]

設有自伴算子 的 博雷爾子集,而 指示函數,則 上的正交投影。那麼映射是一個投影值測度,其被稱為 的單位分解(resolution of the identity)。 上的測度相對於 上的恆等算子。換句話說,恆等算子可以表示為譜積分 。有時,術語「單位分解」也用於上式這樣的將恆等算子描述為譜積分的過程。

在離散測度的情況下(特別是當 維度有限時), 可以用狄拉克記號寫成 的歸一化本徵向量。集合 構成 的一組標準正交基。

物理文獻通常是啟發式地把上面的式子延伸到譜測度不再離散的情況,將單位分解寫成並討論所謂「連續基」或「基態矢的連續統」 。 從數學上講,除非給出嚴格的論證,否則這種表達式純粹是一種形式記號。

參考資料

[編輯]
  1. ^ Kadison, Richard V.; Ringrose, John R. Fundamentals of the Theory of Operator Algebras: Vol 1. Amer Mathematical Society. 1997. ISBN 0-8218-0819-2. 
  2. ^ Reed, Michael; Simon, Barry. Methods of Modern Mathematical Physics. Academic Press. 1981. ISBN 0-12-585050-6.