在數學中,全純泛函演算是基於全純函數的一種泛函演算。也就是說其目標在於,對於給定的一個全純函數
和一個算子
,我們希望構造一個運算符
,從而這自然地將
的自變量從複數推廣到算子。更準確地說,泛函演算根據
來定義
的譜點的鄰域到有界算子的連續代數同態。
本文將討論
是某個巴拿赫空間上的有界線性算子的情況。特別地,
可以是具有復矩陣元的方陣,這種情況將用於闡述泛函演算並為一般性的構造所涉及的假設提供一些啟發性的見解。
動機
為何需要更一般的泛函演算?
在本節中,我們假定
是一個
的複數矩陣。
如果給定的函數
是一些特別的函數,那麼就有一些自然的方式來定義
。例如,如果
![{\displaystyle f(z)=\sum _{i=0}^{m}a_{i}z^{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc503d70dc019f0d6972120a324573cf95058dff)
是一個復多項式,那麼可以簡單地用
代替
並定義
![{\displaystyle f(T)=\sum _{i=0}^{m}a_{i}T^{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8988a0f32654722ba12fcc0e2aac91c3356e43a5)
其中
,即單位矩陣。這就是多項式泛函演算。它是從多項式環到
矩陣環的同態。
現在從多項式稍微延伸一些,考慮處處全純(整函數)的
,它具有麥克勞林級數
![{\displaystyle f(z)=\sum _{i=0}^{\infty }a_{i}z^{i},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1ffc4655cd5ccc815f693caf0502951106bfffc)
模仿多項式的情況即可給出如下定義:
![{\displaystyle f(T)=\sum _{i=0}^{\infty }a_{i}T^{i}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/843d325e636b13a60c705e4c194cdab052b21eef)
由於麥克勞林級數處處收斂,因此上述級數將在選定的算子範數中收斂。矩陣指數就是一個例子。將
的麥克勞林級數中的
替換為
得出
![{\displaystyle f(T)=e^{T}=I+T+{\frac {T^{2}}{2!}}+{\frac {T^{3}}{3!}}+\cdots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d37659fcdb3911c29d5648b0e0f1e085114256f5)
「
的麥克勞林級數處處收斂」這一要求是可以一定程度上放寬的。從上面可以明顯看出,實際上只需要麥克勞林級數的收斂半徑大於該算子的範數
。可如此定義算子版本的函數
因此會更多。然而,這還不太令人滿意。例如,矩陣理論中的一個事實是,每個非奇異的
都有一個對數
,也就是說
。我們希望有一種泛函演算,它允許人們為任意非奇異的
定義
,使其與我們所熟悉的
一致。冪級數做不到這一點,比如我們現在考慮如下的對數函數的級數
![{\displaystyle \ln(z+1)=z-{\frac {z^{2}}{2}}+{\frac {z^{3}}{3}}-\cdots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e4520e37076eec39ea23d2eb66b867cbb73f57b)
它僅收斂於開單位圓盤上。在級數中用
代替
無法為
可逆但
的情況定義出
。因此我們需要一種更通用的泛函演算。
泛函演算和譜
我們希望
有意義的必要條件是
被定義在
的譜上。例如,正規矩陣的譜定理指出正規矩陣都是可酉對角化的。從而當
是正規算子時,我們可以給出
的一個定義。如果對於
的某些特徵值
,
沒有定義,
的定義就會遇到困難。
其他跡象也強化了「只有當
在
的譜上有定義時,
才能被定義」這樣的判斷。如果
不可逆,則 0 將是其特徵值(別忘了在本節中
是方陣)。由於自然對數在 0 處未定義,因此
無法自然地定義也是意料之中的了。事實也確實如此不存在一種定義來做到這一點。
再舉個例子,對於
![{\displaystyle f(z)={\frac {1}{(z-2)(z-5)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e62cfd32164d28ed072ff5dbebda331715897cd9)
一種計算
的合理方法似乎是
![{\displaystyle f(T)=(T-2I)^{-1}(T-5I)^{-1}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b03ca10f309c1c71961782debea8a7dc5457dc77)
但是,如果右側的逆不存在,即 2 或 5 是
的特徵值時,此式則是未定義的。
對於給定的矩陣
,其特徵值決定了
可被定義的程度;即,對於
的所有特徵值
,
都須有定義。對於一般的有界算子,此條件轉化為「
須在
的譜上有定義」。可以證明這個條件使得泛函演算映射(指的是前文提及的代數同態)得以具有某些理想的屬性。
有界算子的泛函演算
譜 σ(T) 為淺藍色,路徑 γ 為紅色。
當譜有多個連通分量和對應的路徑 γ 時的情況。
當譜不是單連通時的情況。
設
為復巴拿赫空間,
是
上的有界算子族。
回憶一下複分析中的柯西積分公式。令
在某個開集
上全純,而
是
中的可求長的若爾當曲線,即有限長度的無自交的閉曲線。我們假定位於
內部的點(即,使得
關於
的卷繞數為 1 的點)的集合
滿足
。柯西積分公式即
![{\displaystyle \forall z\in U,\quad f(z)={\frac {1}{2\pi i}}\int \nolimits _{\Gamma }{\frac {f(\zeta )}{\zeta -z}}\,d\zeta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69aa3b345d0dd0ccb77ce908358b92593d02e54a)
現在試着將這個公式推廣到在
(這也是一個巴拿赫空間)中取值的函數。柯西積分公式暗示了以下定義(姑且只是形式上寫下這個式子,沒有嚴格定義):
![{\displaystyle f(T)={\frac {1}{2\pi i}}\int _{\Gamma }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3aed606092f34a066dbb96452e0731c51fb7624b)
其中
稱為是
在
處的預解式。
假設已適當定義了在巴拿赫空間內取值的積分,則如此給出的泛函演算蘊含了以下必要條件:
- 由於標量版本的柯西積分公式的適用對象是全純的
,我們料想巴拿赫空間情況也是如此:在巴拿赫空間
中取值的函數應該有一個對標於普通複變函數的全純性的概念。
- 由於預解式映射
在
的譜
的譜上無定義,因此若爾當曲線
應是與
不相交的。而預解式映射在
的補集上是全純的。那麼,為了得到一個非平凡的泛函演算
必須包圍着(至少一部分)的
。
- 泛函演算應在這種意義上是良定義的:
須獨立於
的選擇。
泛函演算的完整定義如下: 對於
,定義
![{\displaystyle f(T)={\frac {1}{2\pi i}}\int \nolimits _{\Gamma }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/498de9ea43f7856a130555bfcec8464b5d112529)
其中
是在開集
上定義的全純函數,且譜集
;
是
中這樣的一系列不相交若爾當曲線的集合,其是一個「內部」集合
的邊界,並且每個作為邊界
的都是定向了的(參見曲線的定向和可定向性)。
開集
可以隨
變化,也不必是連通或單連通的,如右圖所示。
接下來的小節將對定義中所涉及的一些概念進行更精確的說明,並展現
在給定假定下確實是良定義的。
巴拿赫空間值積分
預解式映射
第一預解式公式
解析性
諾伊曼級數
譜集的緊緻性
良定義性
性質