在数学中,全纯泛函演算是基于全纯函数的一种泛函演算。也就是说其目标在于,对于给定的一个全纯函数
和一个算子
,我们希望构造一个运算符
,从而这自然地将
的自变量从复数推广到算子。更准确地说,泛函演算根据
来定义
的谱点的邻域到有界算子的连续代数同态。
本文将讨论
是某个巴拿赫空间上的有界线性算子的情况。特别地,
可以是具有复矩阵元的方阵,这种情况将用于阐述泛函演算并为一般性的构造所涉及的假设提供一些启发性的见解。
动机
为何需要更一般的泛函演算?
在本节中,我们假定
是一个
的复数矩阵。
如果给定的函数
是一些特别的函数,那么就有一些自然的方式来定义
。例如,如果
![{\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)
其中
是在开集
上定义的全纯函数,且谱集
;
是
中这样的一系列不相交若尔当曲线的集合,其是一个“内部”集合
的边界,并且每个作为边界
的都是定向了的(参见曲线的定向和可定向性)。
开集
可以随
变化,也不必是连通或单连通的,如右图所示。
接下来的小节将对定义中所涉及的一些概念进行更精确的说明,并展现
在给定假定下确实是良定义的。
巴拿赫空间值积分
预解式映射
第一预解式公式
解析性
诺伊曼级数
谱集的紧致性
良定义性
性质