全纯函数演算

在数学中，全纯函数演算（holomorphic functional calculus）是全纯函数的一种函数演算。也就是说其目标在于，对于给定的一个全纯函数 formula_1 和一个算子 formula_2 ，希望构造一个对应的算子 formula_3 ，使得 formula_1 的定义域从复数推广到算子。更准确地说，函数演算根据 formula_1 来定义 formula_2 的谱的邻域到有界算子的连续代数同态。
本文将讨论 formula_2 是某个巴拿赫空间上的有界线性算子的情况。特别地， formula_2 可以是复数所构成的方阵，这类例子有助于解释定义函数演算的一般性构造时所涉及的假设，提供一些启发性的见解。
动机.
为何需要更一般的函数演算.
在本节中，假定 formula_2 是一个 formula_10 的复数矩阵。
如果给定的函数 formula_1 是一些特别的函数，那么就有一些自然的方式来定义 formula_3 。例如，如果
是一个复多项式，那么可以简单地用 formula_2 代替 formula_15 并定义
其中 formula_17 ，即单位矩阵。这就是多项式函数演算。它是从多项式环到 formula_10 矩阵环的同态 formula_19。
现在把函数演算的定义域从多项式稍微扩大一点，考虑处处全纯的函数（整函数） formula_20 ，它具有麦克劳林级数
模仿多项式的情况即可给出如下定义：
由于麦克劳林级数处处收敛，因此上述级数将在选定的算子范数中收敛。矩阵指数就是一个例子。将 formula_23 的麦克劳林级数中的 formula_15 替换为 formula_2 得出
「 formula_1 的麦克劳林级数处处收敛」这一要求是可以一定程度上放宽的。从上面可以明显看出，实际上只需要麦克劳林级数的收敛半径大于该算子的范数 formula_28 。可如此定义算子版本的函数 formula_1 因此会更多。然而，这还不太令人满意。例如，矩阵理论中的一个事实是，每个非奇异的 formula_2 都有一个对数 formula_31 ——也就是说能找到矩阵 formula_31 使得 formula_33 。希望有一种函数演算，它允许人们为任意非奇异的 formula_2 定义 formula_35 ，使其与熟悉的 formula_31 一致。幂级数做不到这一点，比如现在考虑如下的对数函数的幂级数展开
它仅收敛于开单位圆盘上。如果在级数中用 formula_2 代替 formula_15 ，在 formula_40 可逆但 formula_41 的情况下 formula_42 仍无法被该级数定义。因此需要一种更通用的函数演算。
函数演算和谱.
希望 formula_3 有意义的必要条件是 formula_1 被定义在 formula_2 的谱上。例如，正规矩阵的谱定理指出正规矩阵都是可酉对角化的。从而当 formula_2 是正规算子时，可以给出 formula_3 的一个定义。如果对于 formula_2 的某些本征值 formula_49 ，formula_50 没有定义， formula_3 的定义就会遇到困难。
其他迹象也强化了「只有当 formula_1 在 formula_2 的谱上有定义时， formula_3 才能被定义」这样的判断。如果 formula_2 不可逆，则 0 将是其本征值（别忘了在本节中 formula_2 是方阵）。由于自然对数在 0 处未定义，那么 formula_35 无法自然地定义也是意料之中的了。事实也确实如此不存在一种定义来做到这一点。
再举个例子，对于
一种计算 formula_3 的合理方法似乎是
但是，如果右侧的逆不存在，即 2 或 5 是 formula_2 的本征值时，此式则是未定义的。
对于给定的矩阵 formula_2 ，其本征值决定了 formula_3 可被定义的程度；即，对于 formula_2 的所有本征值 formula_49 ， formula_50 都须有定义。对于一般的有界算子，此条件转化为「 formula_1 须在 formula_2 的谱上有定义」。可以证明这个条件使得函数演算映射（指的是前文提及的代数同态）得以具有某些理想的属性。
有界算子的函数演算.
设 formula_69 为复巴拿赫空间， formula_70 是 formula_69 上的有界算子族（这些算子也构成一个巴拿赫空间）。
回忆一下复分析中的柯西积分公式。令 formula_72 在某个开集 formula_73 上全纯，而 formula_74 是 formula_75 中的可求长的若尔当曲线，即有限长度的无自交的闭曲线。假定位于 formula_74 "内部"的点（即，使得 formula_74 关于 formula_15 的卷绕数为 1 的点）的集合 formula_79 满足 formula_80 。柯西积分公式即
现在试着将这个公式推广到在 formula_70 中取值的函数。柯西积分公式暗示了以下定义（姑且只是形式上写下这个式子，没有严格定义）：
其中 formula_84 称为是 formula_2 在 formula_86 处的预解算子。
假设已适当定义了在巴拿赫空间内取值的积分，则如此给出的函数演算蕴含了以下必要条件：
函数演算的完整定义如下： 对于formula_98 ，定义
其中 formula_1 是在开集 formula_73 上定义的全纯函数，且谱集 formula_102 ；formula_103 是 formula_75 中这样的一系列不相交若尔当曲线的集合，其是一个“内部”集合 formula_105 的边界，并且每个作为边界 formula_106 的都是定向了的（参见和可定向性）。
开集 formula_75 可以随 formula_1 变化，也不必是连通或单连通的，如右图所示。
接下来的小节将对定义中所涉及的一些概念进行更精确的说明，并展现 formula_3 在给定假定下确实是良定义的。
巴拿赫空间值积分.
对于定义于 formula_74 的开邻域上并在以 formula_70 为到达域的连续函数 formula_112 ，围道积分 formula_113 的定义方式与标量值函数情况相同。可以用一个实数的区间 formula_114 ，并且积分是从 formula_115 的越来越精细的划分中所获得的黎曼和的极限，而黎曼和在一致算子拓扑中收敛。从而可以定义
在函数演算的定义中，假定了 formula_1 在 formula_74 的开邻域内全纯。下面将证明解析映射在所谓"预解集"上是全纯的，而使得积分
有意义。
预解映射.
映射 formula_89 称为 formula_2 的预解映射。它定义在谱 formula_91 的补集上，称为 formula_2 的预解集，记作 formula_124 ，其中的元素称为常点（regular point）。
经典函数理论的许多结论都依赖于积分
的性质。
全纯函数演算在这方面也有些相似：对于一个好的函数演算的性质而言，预解映射是至关重要的。本小节概述为讨论此话题所必需的一些预解映射的性质。
第一预解方程.
直接计算可知，对于 formula_126 ，有
于是，
这个方程称为第一预解方程。该公式显示 formula_129 和 formula_130 是对易的，这暗示了一个算子 formula_2 所给出的全纯函数演算映射的到达域将是一个交换代数。考虑 formula_132 的极限，可以看出预解映射在任意 formula_133 处是（复）可微的；因此全纯函数演算表达式中的积分收敛于 formula_70 。
解析性.
关于预解映射，还能有比可微性更强的论断：预解集 formula_124 实际上是这样一个开集，其上的预解映射都解析。为验证这一说法，考虑预解集中一点 formula_133 ，并观察下面这个式子
将 formula_15 替换为 formula_2 时，更合适的做法是将右边的因子改为这样一个级数：
它在formula_70 中收敛的条件是
这就是其收敛半径。而它的收敛意味着 formula_130 的存在性，进而意味着 formula_144 。
由此可知预解集 formula_124 是开集，预解映射在 formula_124 上解析。
诺伊曼级数.
formula_147 的另一个表达式也很有用。下面形式的表达式
可以注意到级数
即，它收敛于 formula_147 的条件是
谱集的紧致性.
从预解算子的上面的两个性质，可以推断出一个有界算子 formula_2 的谱 formula_91 是 formula_154 的紧子集。因此，对于任何满足 formula_155 的开集 formula_75 ，存在一个正定向且光滑的若尔当曲线系 formula_103 使得 formula_91 在 formula_74 的内部且 formula_75 的补集在 formula_74 的外部。因此，要定义一个函数演算，总能为每个在 formula_75 上全纯的 formula_1 找到合适的一族若尔当曲线。
积分围道的选取.
前面的讨论已经表明该积分式是有意义的，即对于每个 formula_1 确实存在一族合适的若尔当曲线 formula_74 且积分确实在适当的意义上收敛。眼下尚未示明的是，函数演算是无歧义的，也就是说不依赖于 formula_74 的选取。现在尝试解决这个问题。
一个先导的结论.
对于若尔当曲线的集合 formula_103 和点 formula_168 ， formula_74 相对于 formula_170 的卷绕数是其成员各自的卷绕数之和。如果定义：
就有柯西给出的以下定理：定理 设 formula_172 为开集且 formula_173 ，此外有一全纯函数 formula_174 ，且对于补集中的 formula_175 有 formula_176 ，那么 formula_112 在 formula_74 上的围道积分为零。当 formula_112 在 formula_70 中取值时，会需要这个结论的向量值版本。为此须考察全纯的 formula_181 ，而对 formula_74 的要求则和前文保持相同。推广的思路是使用 formula_70 的对偶空间 formula_184 ，从而得到标量并应用标量版本的柯西定理。
考虑积分
如果可以证明任一 formula_186 作用在这个积分上都得到零，那么积分本身就必须为零。由于 formula_187 有界且积分依范数收敛，可得：
但 formula_112 是全纯的，因此复合 formula_190 是全纯的，因此可以应用柯西定理：
回到主论题.
令 formula_75 为包含 formula_91 的开集。假设有个符合前文要求的若尔当曲线系 formula_194 ，所要证明的是
设反转 formula_196 中每个 formula_197的定向所得到曲线系是 formula_198 ，则
考虑两个曲线系的并集 formula_200 。 formula_200 和 formula_202 都是紧的。因此存在某个开集 formula_203 满足 formula_204 且 formula_205 ，其中 formula_206 是 formula_203 的补集。 formula_206 中的任意formula_209 的卷绕数为 formula_210，并且函数
"在" formula_203 上全纯。因此柯西定理的向量值版本给出
也就是说
于是证明了全纯函数演算所给出的算子与积分围道的选取无关。
因此，如果 formula_215 和 formula_216 是在 formula_202 的邻域 formula_218 和 formula_219 上定义的两个全纯函数，并且它们在一个包含 formula_202 的开集上相等，则 formula_221 。此外，即使 formula_218 可能不同于 formula_218 ，算子 formula_224 也是良定义的，formula_225 也是如此。
关于在谱集上全纯的假定.
到目前为止，这一假设的全部强度尚未得到充分利用。要使积分收敛，仅需要连续性。要使积分良定义，只需要 formula_226 在包含围道 formula_200 的开集 formula_203 上是全纯的，而不必也要求在 formula_202 上全纯。在展现函数演算的同态性质时，才会完整地用到该假定。
性质.
多项式情况.
映射 formula_230 的线性源自积分的收敛性以及巴拿赫空间上线性运算的连续性。
当 formula_231 是多项式时，便回到多项式函数演算的情况。为证明这一点，只需证明，当 formula_232 时，有 formula_233 成立——也就是说等式
对于任何包含 formula_202 的适当的 formula_236 成立。若选择 formula_236 作为半径大于 formula_238 的圆，前文已阐明此时可以将预解映射表示为一个幂级数
将其代入要证的等式就得到
而这就是
其中的 formula_242 是克罗内克函数。
同态性质.
对于任何满足适当假设的 formula_215 和 formula_216 ，同态性质表明
将勾勒出一个论证，这会用到第一预解方程和对 formula_226 的假设。首先，选择若尔当曲线使得 formula_247 位于 formula_248 的内部，这样做的用意之后就会揭晓。先直接计算得到：
第三个等号用到了第一预解方程；最后一个等号是因为： formula_250 在 formula_248 的外部，且 formula_215 在 formula_202 的某个开邻域上是全纯的，因此第二项为零。因此，可得：
其中第二个等号用到柯西积分公式。
设有开集 formula_255 满足 formula_256 ， formula_255 上的全纯函数序列 formula_258 在 formula_255 的每个紧子集上都一致收敛（也就是说，紧致收敛）。那么 formula_260 在 formula_70 中收敛，接下来说明这一点：
为简单起见，假设 formula_74 仅由一条若尔当曲线组成。可作如下估计
通过结合一致收敛假设和各种连续性上的考量，可以看到当 formula_264 时，上式趋于 0 。所以 formula_260 是柯西序列，从而是收敛的。
唯一性.
至此已证明了全纯函数演算 formula_230 具有以下性质：
可以证明满足上述性质的函数演算是唯一的。
值得注意的是，如果把有界算子族 formula_268 换成巴拿赫代数，那么至此的所有讨论都原封不动地保持成立。对于其中的元素，可以采用完全相同的方式定义函数演算。
谱理论的考量.
谱映射定理.
已知谱映射定理（spectral mapping theorem）对于多项式函数演算成立：对于任何多项式 formula_270 ，都有 formula_271 。这可以推广到全纯函数演算，也就是说 formula_272 。
为证明此式，考虑某一复数 formula_273 。先考虑 formula_274 的情况，这情况意味着 formula_275 。
由复分析的结果，存在 formula_202 的邻域上的全纯函数 formula_112 使得
formula_278
根据同态性质，有
formula_279
由于 formula_280 ， formula_281 是不可逆的，那么整个算子 formula_282 不可能有逆，也就是说 formula_283 。于是目前证明了 formula_284 。
现在考虑 formula_285 的情况，那么函数
在 formula_202 的邻域上全纯，于是根据同态性质可知
formula_288
也就是说 formula_289 或者说 formula_290 。于是证明了 formula_291 ，进而证明了谱映射定理。
谱投影.
谱投影的基本思想如下。设有 formula_292 ，而 formula_293 分别是 formula_294 的邻域且它们不相交。定义函数
formula_295
即 formula_296 中子集 formula_79 的指示函数。它是一个满足 formula_298 （幂等）的全纯函数。于是，对于 formula_296 中的一个包含 formula_91 的适当的围道 formula_74 ，下面的线性算子
将是一个与 formula_2 对易的有界投影算子，且还将提供大量有用的信息。
实际上，当且仅当 formula_304 在 formula_91 上的子空间拓扑中既开又闭时，这种情况才得以可能。此外，可以安全地忽略集合 formula_306 ，因为 formula_307 在其上的值为零从而对积分没有贡献。投影 formula_308 称为 formula_2 在 formula_304 处的谱投影，记为 formula_311 。因此，对于 formula_91 的每个在子空间拓扑中既开又闭的子集 formula_304 ，都有一个相应的谱投影由下式给出
其中 formula_74 是包围 formula_304 但不包围 formula_91 的其他点的围道。
由于 formula_318 有界并与 formula_2 对易，因此 formula_2 可以按此投影来直和分解为 formula_321 的形式，其中 formula_322 。 formula_323是 formula_2 的不变子空间，且 formula_325 和 formula_326 。一个关键性质在于其相互正交性。如果 formula_327 是另一个（按 formula_91 上子的空间拓扑的）既开又闭集，则
formula_329
而这在 formula_304 和 formula_327 不相交时为零。
谱投影有许多应用。 formula_91 的任何孤立点在子空间拓扑中都是既开又闭的，因此具有相应的谱投影。当 formula_69 的维度有限时， formula_91 将由孤立点构成，于是所得的谱投影会给出若尔当块的一个变体，各不同的本征值会逐一对应到各若尔当块。下一节将更详细地讨论这种分解。
有时算子的谱投影会继承这个算子本身的一些性质。例如，如果 formula_2 是谱半径为 formula_336 的，则断言 formula_337 。相关的谱投影 formula_338 也是正的，并且由相互正交性可知其他的谱投影都不可能具有正的行或列。事实上 formula_339 ，且随着 formula_340 有 formula_341 。也就是说，随着 formula_342 的增加，此投影 formula_343 （称为佩龙投影）逼近于 formula_344 ，且其每一列都是 formula_2 的本征向量"。"
更一般地，如果 formula_2 是紧算子，则 formula_91 中的所有非零点都是孤立的，从而它们的任何有限子集都可以用于分解 formula_2 ，而相应的谱投影始终是有限秩的。 formula_70 中具有相似谱特性的算子是所谓里斯算子。里斯算子中的许多类（包括紧算子）都是 formula_70 中的理想，并创造了一个丰饶的研究领域。然而，如果 formula_69 是一个希尔伯特空间，则 里斯算子和有限秩算子之间恰好夹有一个闭的理想。
前面的大部分讨论都可以在复巴拿赫代数这一更为一般的背景下进行。这时谱投影被称为谱幂等元，因为可能不再有空间可供它们投影。
不变子空间分解.
如果谱 formula_91 不是连通的，则可以使用函数演算将 formula_69 分解为 formula_2 的不变子空间。设 formula_91 是如下连通分量的不交并
设 formula_357 是连通分量 formula_358 的某个邻域的指示函数。根据同态性质，各个 formula_359 都是投影算子。事实上它就是上文说过的谱投影 formula_360 。 formula_361 这一关系表明值域 formula_362 是 formula_2 的不变子空间。
由于
formula_69 可以用这些互补的子空间来表示：
类似地，如果 formula_367 是限制于 formula_368 上的 formula_2 ，则有
为直和空间
配备范数
于是 formula_373 就成为一个巴拿赫空间。其上的一个映射 
是一个巴拿赫空间同构，并且可以看到
这可以看作是 formula_2 的分块对角化。
当 formula_69 维度有限时， formula_378 是复平面的有限子集。令 formula_357 是仅包含一个谱点（记作 formula_380 ）的一个开圆盘的指示函数，那么对应的分块对角矩阵 formula_381 即 formula_2 的若尔当标准型。
相关结果.
借助更强的假设，如 formula_2 是希尔伯特空间上的正规算子时，函数演算的定义域可以得到推广。要比较两个结果，可以粗略地类比于正规矩阵的谱定理和若尔当标准型之间的关系。当 formula_2 是正规算子时，可以得到连续函数演算，即可以基于定义在 formula_91 上的连续函数 formula_1 来计算 formula_3 。基于测度论，函数演算的定义域可以推广到可测函数，即博雷尔函数演算。这种情况下，设 formula_388 是博雷尔集而 formula_389 是其指示函数，那么投影算子 formula_390 就对应于上面所讨论的 formula_359 。
博雷尔函数演算可推广到希尔伯特空间上的无界自伴算子。
用稍微抽象一点的语言来说，全纯函数演算可以用与上文基本相同的论述来扩展到巴拿赫代数的任何元素。类似地，连续函数演算适用于任何C* 代数中的，而可测函数演算适用于任何冯诺依曼代数中的正规元。
无界算子.
对于具有非空预解集的无界闭算子，可以以类似的方式定义全纯函数演算。