在數學中,全純函數演算(holomorphic functional calculus)是全純函數的一種函數演算。也就是說其目標在於,對於給定的一個全純函數
和一個算子
,希望構造一個對應的算子
,從而自然地將
的自變量從複數推廣到算子。更準確地說,函數演算根據
來定義
的譜的鄰域到有界算子的連續代數同態。
本文將討論
是某個巴拿赫空間上的有界線性算子的情況。特別地,
可以是具有復矩陣元的方陣,這類例子有助於解釋定義函數演算的一般性構造時所涉及的假設,提供一些啟發性的見解。
為何需要更一般的函數演算[編輯]
在本節中,假定
是一個
的複數矩陣。
如果給定的函數
是一些特別的函數,那麼就有一些自然的方式來定義
。例如,如果
![{\displaystyle p(z)=\sum _{i=0}^{m}a_{i}z^{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aeafb6d90d0e1bacb250df4402f599df45b01398)
是一個復多項式,那麼可以簡單地用
代替
並定義
![{\displaystyle p(T)=\sum _{i=0}^{m}a_{i}T^{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39452eb1559091bb16dad9d9347d05050d5762ad)
其中
,即單位矩陣。這就是多項式函數演算。它是從多項式環到
矩陣環的同態
。
現在把函數演算的定義域從多項式稍微擴大一點,考慮處處全純的函數(整函數)
,它具有麥克勞林級數
![{\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)
其中
是在開集
上定義的全純函數,且譜集
;
是
中這樣的一系列不相交若爾當曲線的集合,其是一個「內部」集合
的邊界,並且每個作為邊界
的都是定向了的(參見曲線的定向和可定向性)。
開集
可以隨
變化,也不必是連通或單連通的,如右圖所示。
接下來的小節將對定義中所涉及的一些概念進行更精確的說明,並展現
在給定假定下確實是良定義的。
巴拿赫空間值積分[編輯]
對於定義於
的開鄰域上並在以
為到達域的連續函數
,圍道積分
的定義方式與純量值函數情況相同。可以用一個實數的區間
來參數化每個
,並且積分是從
的越來越精細的劃分中所獲得的黎曼和的極限,而黎曼和在一致算子拓撲中收斂。從而可以定義
![{\displaystyle \int _{\Gamma }g=\sum \nolimits _{i}\int _{\gamma _{i}}g.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3e248ac4ab8833b1dc67405ff98feed2128881a)
在函數演算的定義中,假定了
在
的開鄰域內全純。下面將證明解析映射在所謂預解集上是全純的,而使得積分
![{\displaystyle {\frac {1}{2\pi i}}\int _{\Gamma }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/edfd77cc757f934dc42d408e3170aba414023e1c)
有意義。
預解映射[編輯]
映射
稱為
的預解映射。它定義在譜
的補集上,稱為
的預解集,記作
,其中的元素稱為常點(regular point)。
經典函數理論的許多結論都依賴於積分
![{\displaystyle {\frac {1}{2\pi i}}\int _{\Gamma }{\frac {d\zeta }{\zeta -z}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/368b920beaa3615a14ad29790a63119b57310193)
的性質。
全純函數演算在這方面也有些相似:對於一個好的函數演算的性質而言,預解映射是至關重要的。本小節概述為討論此話題所必需的一些預解映射的性質。
第一預解方程[編輯]
直接計算可知,對於
,有
![{\displaystyle (z_{1}-T)^{-1}-(z_{2}-T)^{-1}=(z_{1}-T)^{-1}(z_{2}-z_{1})(z_{2}-T)^{-1}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68fe643e6b71f18707e04a4220d4bbc0b1e94cf6)
於是,
![{\displaystyle (z_{1}-T)^{-1}(z_{2}-T)^{-1}={\frac {(z_{1}-T)^{-1}-(z_{2}-T)^{-1}}{(z_{2}-z_{1})}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e890df28dbd0979a502cd1fc0b44597bb8d6ac4a)
這個方程稱為第一預解方程。該公式顯示
和
是對易的,這暗示了一個算子
所給出的全純函數演算映射的到達域將是一個交換代數。考慮
的極限,可以看出預解映射在任意
處是(復)可微的;因此全純函數演算表達式中的積分收斂於
。
解析性[編輯]
關於預解映射,還能有比可微性更強的論斷:預解集
實際上是這樣一個開集,其上的預解映射都解析。為驗證這一說法,考慮預解集中一點
,並觀察下面這個式子
![{\displaystyle {\frac {1}{z_{2}-z}}={\frac {1}{z_{1}-z}}\cdot {\frac {1}{1-{\frac {z_{1}-z_{2}}{z_{1}-z}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f1830b461dd2e61904283d73bcd4719c845a659)
將
替換為
時,更合適的做法是將右邊的因子改為這樣一個級數:
![{\displaystyle (z_{1}-T)^{-1}\sum _{n\geq 0}\left((z_{1}-z_{2})(z_{1}-T)^{-1}\right)^{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/885225d84dd1de9eb59879489de551a6d228c72d)
它在
中收斂的條件是
![{\displaystyle |z_{1}-z_{2}|<{\frac {1}{\left\|(z_{1}-T)^{-1}\right\|}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53790e07b55c675c297041f945988c69fc2bda0b)
這就是其收斂半徑。而它的收斂意味著
的存在性,進而意味著
。
由此可知預解集
是開集,預解映射在
上解析。
諾伊曼級數[編輯]
的另一個表達式也很有用。下面形式的表達式
![{\displaystyle {\frac {1}{z-T}}={\frac {1}{z}}\cdot {\frac {1}{1-{\frac {T}{z}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d3d74832c8be3d537605f53a3a556d9aecbbc4c)
可以注意到級數
![{\displaystyle {\frac {1}{z}}\sum _{n\geq 0}\left({\frac {T}{z}}\right)^{n},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97ccaba12bb288ee890c6ad62bb9299b717db073)
即諾依曼級數,它收斂於
的條件是
![{\displaystyle \left\|{\frac {T}{z}}\right\|<1,\;{\text{i.e.}}\;|z|>\|T\|.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a64b7a234c73796820ef0490ac6b4cb32b792081)
譜集的緊緻性[編輯]
從預解算子的上面的兩個性質,可以推斷出一個有界算子
的譜
是
的緊子集。因此,對於任何滿足
的開集
,存在一個正定向且光滑的若爾當曲線系
使得
在
的內部且
的補集在
的外部。因此,要定義一個函數演算,總能為每個在
上全純的
找到合適的一族若爾當曲線。
積分圍道的選取[編輯]
前面的討論已經表明該積分式是有意義的,即對於每個
確實存在一族合適的若爾當曲線
且積分確實在適當的意義上收斂。眼下尚未示明的是,函數演算是無歧義的,也就是說不依賴於
的選取。現在嘗試解決這個問題。
一個先導的結論[編輯]
對於若爾當曲線的集合
和點
,
相對於
的卷繞數是其成員各自的卷繞數之和。如果定義:
![{\displaystyle n(\Gamma ,a)=\sum \nolimits _{i}n(\gamma _{i},a),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdf1f2721cba6ddc7ec7aa3240f8601462a31eda)
就有柯西給出的以下定理:
定理 設
為開集且
,此外有一全純函數
,且對於補集中的
有
,那麼
在
上的圍道積分為零。
當
在
中取值時,會需要這個結論的向量值版本。為此須考察全純的
,而對
的要求則和前文保持相同。推廣的思路是使用
的對偶空間
,從而得到純量並應用純量版本的柯西定理。
考慮積分
![{\displaystyle \int _{\Gamma }g\in L(X),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3002fea80c80bb1332a4ba7a56ae8ffefeed547)
如果可以證明任一
作用在這個積分上都得到零,那麼積分本身就必須為零。由於
有界且積分依範數收斂,可得:
![{\displaystyle \phi \left(\int _{\Gamma }g\right)=\int _{\Gamma }\phi \circ g.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa5f023c548b9afd924165ad82df28aa309b1419)
但
是全純的,因此複合
是全純的,因此可以應用柯西定理:
![{\displaystyle \int _{\Gamma }\phi \circ g=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c990efef2b237480f0ecb68a837734b02477c29a)
回到主論題[編輯]
令
為包含
的開集。假設有個符合前文要求的若爾當曲線系
,所要證明的是
![{\displaystyle \int _{\Gamma }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta =\int _{\Omega }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de5455503c956eb75e883424d95885741e1b9401)
設反轉
中每個
的定向所得到曲線系是
,則
![{\displaystyle \int _{\Omega }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta =-\int _{\Omega '}{\frac {f(\zeta )}{\zeta -T}}\,d\zeta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9d23153ae6c259eae07ee98c2fad887ef6070e8)
考慮兩個曲線系的併集
。
和
都是緊的。因此存在某個開集
滿足
且
,其中
是
的補集。
中的任意
的卷繞數為
[需要解釋],並且函數
![{\displaystyle \zeta \rightarrow {\frac {f(\zeta )}{\zeta -T}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69bbd2af9efd2dc8ee41816303e4713bbbd4b788)
在
上全純。因此柯西定理的向量值版本給出
![{\displaystyle \int _{\Gamma \cup \Omega '}{\frac {f(\zeta )}{\zeta -T}}\,d\zeta =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b764be1890431d412f00c6d734867d0906232055)
也就是說
![{\displaystyle \int _{\Gamma }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta +\int _{\Omega '}{\frac {f(\zeta )}{\zeta -T}}\,d\zeta =\int _{\Gamma }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta -\int _{\Omega }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f38275f1af1978d7a924d8839017bd9977dec3ed)
於是證明了全純函數演算所給出的算子與積分圍道的選取無關。
因此,如果
和
是在
的鄰域
和
上定義的兩個全純函數,並且它們在一個包含
的開集上相等,則
。此外,即使
可能不同於
,算子
也是良定義的,
也是如此。
關於在譜集上全純的假定[編輯]
到目前為止,這一假設的全部強度尚未得到充分利用。要使積分收斂,僅需要連續性。要使積分良定義,只需要
在包含圍道
的開集
上是全純的,而不必也要求在
上全純。在展現函數演算的同態性質時,才會完整地用到該假定。
多項式情況[編輯]
映射
的線性源自積分的收斂性以及巴拿赫空間上線性運算的連續性。
當
是多項式時,便回到多項式函數演算的情況。為證明這一點,只需證明,當
時,有
成立——也就是說等式
![{\displaystyle {\frac {1}{2\pi i}}\int _{\Gamma }{\frac {\zeta ^{k}}{\zeta -T}}\,d\zeta =T^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72247a9bb00e1d38e4956b4a6c3edabb51f8edfb)
對於任何包含
的適當的
成立。若選擇
作為半徑大於
的圓,前文已闡明此時可以將預解映射表示為一個冪級數
![{\displaystyle (z-T)^{-1}={\frac {1}{z}}\sum _{n\geq 0}\left({\frac {T}{z}}\right)^{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e44148e182d24dafbfbb2d79a7fb15f579c03cd)
將其代入要證的等式就得到
![{\displaystyle f(T)={\frac {1}{2\pi i}}\int _{\Gamma }\left(\sum _{n\geq 0}{\frac {T^{n}}{\zeta ^{n+1-k}}}\right)\,d\zeta ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61943bb0930a595078352538435efcbc0eac229b)
而這就是
![{\displaystyle \sum _{n\geq 0}T^{n}\cdot {\frac {1}{2\pi i}}\left(\int _{\Gamma }{\frac {d\zeta }{\zeta ^{n+1-k}}}\right)=\sum _{n\geq 0}T^{n}\cdot \delta _{nk}=T^{k}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b540a5b8ca20cbffc8f67350dfc014b76941d469)
其中的
是克羅內克函數。
同態性質[編輯]
對於任何滿足適當假設的
和
,同態性質表明
![{\displaystyle f_{1}(T)f_{2}(T)=(f_{1}\cdot f_{2})(T).\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01e6bd3472aca7692b8a61a258c374a1f9b459ca)
將勾勒出一個論證,這會用到第一預解方程和對
的假設。首先,選擇若爾當曲線使得
位於
的內部,這樣做的用意之後就會揭曉。先直接計算得到:
![{\displaystyle {\begin{aligned}f_{1}(T)f_{2}(T)&=\left({\frac {1}{2\pi i}}\int _{\Gamma _{1}}{\frac {f_{1}(\zeta )}{\zeta -T}}d\zeta \right)\left({\frac {1}{2\pi i}}\int _{\Gamma _{2}}{\frac {f_{2}(\omega )}{\omega -T}}\,d\omega \right)\\&={\frac {1}{(2\pi i)^{2}}}\int _{\Gamma _{1}}\int _{\Gamma _{2}}{\frac {f_{1}(\zeta )f_{2}(\omega )}{(\zeta -T)(\omega -T)}}\;d\omega \,d\zeta \\&={\frac {1}{(2\pi i)^{2}}}\int _{\Gamma _{1}}\int _{\Gamma _{2}}f_{1}(\zeta )f_{2}(\omega )\left({\frac {(\zeta -T)^{-1}-(\omega -T)^{-1}}{\omega -\zeta }}\right)d\omega \,d\zeta \\&={\frac {1}{(2\pi i)^{2}}}\left\{\left(\int _{\Gamma _{1}}{\frac {f_{1}(\zeta )}{\zeta -T}}\left[\int _{\Gamma _{2}}{\frac {f_{2}(\omega )}{\omega -\zeta }}d\omega \right]d\zeta \right)-\left(\int _{\Gamma _{2}}{\frac {f_{2}(\omega )}{\omega -T}}\left[\int _{\Gamma _{1}}{\frac {f_{1}(\zeta )}{\omega -\zeta }}d\zeta \right]d\omega \right)\right\}\\&={\frac {1}{(2\pi i)^{2}}}\int _{\Gamma _{1}}{\frac {f_{1}(\zeta )}{\zeta -T}}\left[\int _{\Gamma _{2}}{\frac {f_{2}(\omega )}{\omega -\zeta }}d\omega \right]d\zeta \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1881db80e04ad8aae0efdb24a5908595e4032fd)
第三個等號用到了第一預解方程;最後一個等號是因為:
在
的外部,且
在
的某個開鄰域上是全純的,因此第二項為零。因此,可得:
![{\displaystyle {\begin{aligned}f_{1}(T)f_{2}(T)&={\frac {1}{2\pi i}}\int _{\Gamma _{1}}{\frac {f_{1}(\zeta )}{\zeta -T}}\left[{\frac {1}{2\pi i}}\int _{\Gamma _{2}}{\frac {f_{2}(\omega )}{\omega -\zeta }}d\omega \right]d\zeta \\&={\frac {1}{2\pi i}}\int _{\Gamma _{1}}{\frac {f_{1}(\zeta )}{\zeta -T}}\left[f_{2}(\zeta )\right]d\zeta \\&={\frac {1}{2\pi i}}\int _{\Gamma _{1}}{\frac {f_{1}(\zeta )f_{2}(\zeta )}{\zeta -T}}d\zeta \\&=(f_{1}\cdot f_{2})(T)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f73bed797fe11f7977339754666083c2e3d64781)
其中第二個等號用到柯西積分公式。
設有開集
滿足
,
上的全純函數序列
在
的每個緊子集上都一致收斂(也就是說,緊緻收斂)。那麼
在
中收斂,接下來說明這一點:
為簡單起見,假設
僅由一條若爾當曲線組成。可作如下估計
![{\displaystyle {\begin{aligned}\left\|f_{k}(T)-f_{l}(T)\right\|&={\frac {1}{2\pi }}\left\|\int _{\Gamma }{\frac {(f_{k}-f_{l})(\zeta )}{\zeta -T}}d\zeta \right\|\\&\leq {\frac {1}{2\pi }}\int _{\Gamma }\left|(f_{k}-f_{l})(\zeta )\right|\cdot \left\|(\zeta -T)^{-1}\right\|d\zeta \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bae5bb2a7dd00c48f8d7edb08f2e007829094a17)
通過結合一致收斂假設和各種連續性上的考量,可以看到當
時,上式趨於 0 。所以
是柯西序列,從而是收斂的。
唯一性[編輯]
至此已證明了全純函數演算
具有以下性質:
- 它延伸了多項式函數演算。
- 它是從
的一個鄰域上的全純函數代數到
的代數同態
- 它保持緊集上的一致收斂。
可以證明滿足上述性質的函數演算是唯一的。
值得注意的是,如果把有界算子族
換成巴拿赫代數,那麼至此的所有討論都原封不動地保持成立。對於其中的元素,可以採用完全相同的方式定義函數演算。
譜理論的考量[編輯]
譜映射定理[編輯]
已知譜映射定理(spectral mapping theorem)對於多項式函數演算成立:對於任何多項式
,都有
。這可以推廣到全純函數演算,也就是說
。
為證明此式,考慮某一複數
。先考慮
的情況,這情況意味著
。
由複分析的結果,存在
的鄰域上的全純函數
使得
根據同態性質,有
由於
,
是不可逆的,那麼整個算子
不可能有逆,也就是說
。於是目前證明了
。
現在考慮
的情況,那麼函數
![{\displaystyle h(z)={\frac {1}{f(z)-\mu }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a2046936e89907b0f3c8a6f3c632cdd1a44cf03)
在
的鄰域上全純,於是根據同態性質可知
也就是說
或者說
。於是證明了
,進而證明了譜映射定理。[1]
譜投影[編輯]
譜投影的基本思想如下。設有
,而
分別是
的鄰域且它們不相交。定義函數
即
中子集
的指示函數。它是一個滿足
(冪等)的全純函數。於是,對於
中的一個包含
的適當的圍道
,下面的線性算子
![{\displaystyle e(T)={\frac {1}{2\pi i}}\int _{\Gamma }{\frac {e(z)}{z-T}}\,dz}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d9cb3352093ac36d1bb59db926bd2b11ad3c74c)
將是一個與
對易的有界投影算子,且還將提供大量有用的信息。
實際上,若且唯若
在
上的子空間拓撲中既開又閉時,這種情況才得以可能。此外,可以安全地忽略集合
,因為
在其上的值為零從而對積分沒有貢獻。投影
稱為
在
處的譜投影,記為
。因此,對於
的每個在子空間拓撲中既開又閉的子集
,都有一個相應的譜投影由下式給出
![{\displaystyle P(K;T)={\frac {1}{2\pi i}}\int \nolimits _{\Gamma }{\frac {dz}{z-T}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f825ab435fde6afc333c1c2d1423d44370e8e665)
其中
是包圍
但不包圍
的其他點的圍道。
由於
有界並與
對易,因此
可以按此投影來直和分解為
的形式,其中
。
是
的不變子空間,且
和
。一個關鍵性質在於其相互正交性。如果
是另一個(按
上子的空間拓撲的)既開又閉集,則
而這在
和
不相交時為零。
譜投影有許多應用。
的任何孤立點在子空間拓撲中都是既開又閉的,因此具有相應的譜投影。當
的維度有限時,
將由孤立點構成,於是所得的譜投影會給出若爾當塊的一個變體,各不同的本徵值會逐一對應到各若爾當塊。下一節將更詳細地討論這種分解。
有時算子的譜投影會繼承這個算子本身的一些性質。例如,如果
是譜半徑為
的正矩陣,則佩龍—弗羅賓尼斯定理斷言
。相關的譜投影
也是正的,並且由相互正交性可知其他的譜投影都不可能具有正的行或列。事實上
,且隨著
有
。也就是說,隨著
的增加,此投影
(稱為佩龍投影)逼近於
,且其每一列都是
的本徵向量。
更一般地,如果
是緊算子,則
中的所有非零點都是孤立的,從而它們的任何有限子集都可以用於分解
,而相應的譜投影始終是有限秩的。
中具有相似譜特性的算子是所謂里斯算子。里斯算子中的許多類(包括緊算子)都是
中的理想,並創造了一個豐饒的研究領域。然而,如果
是一個希爾伯特空間,則 里斯算子和有限秩算子之間恰好夾有一個閉的理想。
前面的大部分討論都可以在復巴拿赫代數這一更為一般的背景下進行。這時譜投影被稱為譜冪等元,因為可能不再有空間可供它們投影。
不變子空間分解[編輯]
如果譜
不是連通的,則可以使用函數演算將
分解為
的不變子空間。設
是如下連通分量的不交並
![{\displaystyle \sigma (T)=\bigcup _{i=1}^{m}F_{i}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6abf26b25bc93be64264ad0f975d7b3302bf9082)
設
是連通分量
的某個鄰域的指示函數。根據同態性質,各個
都是投影算子。事實上它就是上文說過的譜投影
。
這一關係表明值域
是
的不變子空間。
由於
![{\displaystyle \sum _{i}e_{i}(T)=I,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36338e2d6befbfaa8e0f552bcf1b18b2fbe4f292)
可以用這些互補的子空間來表示:
![{\displaystyle X=\sum _{i}X_{i}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a785261d2b003500d289c59892d4e333faaf5d7)
類似地,如果
是限制於
上的
,則有
![{\displaystyle T=\sum _{i}T_{i}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e6fa280d1dfe04810a6b62853296f68aef492cb)
為直和空間
![{\displaystyle X'=\bigoplus _{i}X_{i}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/606635cc8e9ca0ecbe362445d1b9480daf9f656c)
配備範數
![{\displaystyle \left\|\bigoplus _{i}x_{i}\right\|=\sum _{i}\|x_{i}\|,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9670ac6bfde0ba5e25d98da612821193b847fb98)
於是
就成為一個巴拿赫空間。其上的一個映射
![{\displaystyle R:X'\to X:\bigoplus _{i}x_{i}\mapsto \sum _{i}x_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9ff4afa8e27a13db8ecfcadee34c392f21e93b5)
是一個巴拿赫空間同構,並且可以看到
![{\displaystyle RTR^{-1}=\bigoplus _{i}T_{i}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b96a2cc37b74481bdd98a60552c92db2045817a)
這可以看作是
的分塊對角化。
當
維度有限時,
是複平面的有限子集。令
是僅包含一個譜點(記作
)的一個開圓盤的指示函數,那麼對應的分塊對角矩陣
即
的若爾當標準型。
相關結果[編輯]
藉助更強的假設,如
是希爾伯特空間上的正規算子時,函數演算的定義域可以得到推廣。要比較兩個結果,可以粗略地類比於正規矩陣的譜定理和若爾當標準型之間的關係。當
是正規算子時,可以得到連續函數演算,即可以基於定義在
上的連續函數
來計算
。基於測度論,函數演算的定義域可以推廣到可測函數,即博雷爾函數演算。這種情況下,設
是博雷爾集而
是其指示函數,那麼投影算子
就對應於上面所討論的
。
博雷爾函數演算可推廣到希爾伯特空間上的無界自伴算子。
用稍微抽象一點的語言來說,全純函數演算可以用與上文基本相同的論述來擴展到巴拿赫代數的任何元素。類似地,連續函數演算適用於任何C* 代數中的正規元,而可測函數演算適用於任何馮諾依曼代數中的正規元。
無界算子[編輯]
對於具有非空預解集的無界閉算子,可以以類似的方式定義全純函數演算。
參考資料[編輯]
- N. Dunford and J.T. Schwartz, Linear Operators, Part I: General Theory, Interscience, 1958.
- Steven G Krantz. Dictionary of Algebra, Arithmetic, and Trigonometry. CRC Press, 2000. ISBN 1-58488-052-X.
- Israel Gohberg, Seymour Goldberg and Marinus A. Kaashoek, Classes of Linear Operators: Volume 1. Birkhauser, 1991. ISBN 978-0817625313.