在数学的一个分支——泛函分析中, 博雷尔函数演算是一种函数演算 [1] [2]。例如,将平方函数
作用到算子
上会得到算子
。而适用于更大范围的函数的函数演算使得我们可以(作为一个例子)严格地定义(负的)拉普拉斯算子 −Δ 的“平方根”或指数
。
这里的「范围」是指允许的函数类型。博雷尔函数演算比连续函数演算更通用,其侧重点也不同于全纯函数演算。
更准确地说,博雷尔函数演算允许将任意博雷尔函数作用于一个自伴算子,同时对于多项式函数有与多项式函数演算一样的行为。
设
是有限维内积空间
上的自伴算子,则
具有由
的本征向量组成的正交基
,即
因此,对于任意正整数
,
=f(x)\psi (x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6109edb6f3c6f1eb082cd51af6653c6bc846a1b)
如果只考虑
的多项式,则得到全纯函数演算。实际上还可以得到
的更一般的函数。给定一个博雷尔函数
,可以通过确定算子在基上的行为来定义一个算子
:
一般来说,任何自伴算子
都酉等价于一个乘法算子(这是谱定理的一种表述)。也就是说,对于许多目的而言,
可以被视为一个作用于某个测度空间的平方可积函数上的运算符:
这时有
对于许多技术目的来说,这种表述已经足够好了。然而,有时也会希望能有对函数演算的一种表述,其不依赖于作为乘法运算符的
的特定表示。这就是下一节要做的事情。
现在正式地定义希尔伯特空间
上的自伴算子
的有界博雷尔函数演算 πT 。设
是在实轴上的有界复值博雷尔函数所构成的空间, πT 是其上的一个映射
满足
- 将
看作一个环, πT 是其上的同态,且保对合、保单位元。 - 设有
,博雷尔集
,那么
构成一个测度。其中
是
的指示函数。该测度称为是
的谱测度。 - 对于复数上的恒等映射
,有![{\displaystyle \pi _{T}\left([\mathrm {id} +i]^{-1}\right)=[T+i]^{-1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85227509aa309f6c63ac8bfd647643e41d3e3825)
定理 — 任意自伴算子都有一个唯一的博雷尔函数演算。
这定义了有界函数的函数演算,而这也或可适用于无界自伴算子。使用有界函数演算,可以证明单参数酉群的斯通定理的一部分:
作为一个应用,我们考虑薛定谔方程,或者说量子力学系统的动力学。在非相对论量子力学中,哈密顿算子
描述了量子力学系统的总能量。
生成的酉群对应于系统的时间演化。
我们还可以使用博雷尔函数演算来抽象地解决一些线性初值问题,例如热方程或麦克斯韦方程组。
具有上述函数演算性质的映射的存在性需要证明。对于有界自伴算子
,博雷尔函数演算的存在性可以用初等的方式叙述如下:
首先利用魏尔施特拉斯逼近定理来从多项式过渡到连续函数演算。这里的关键事实是,对于有界自伴算子
和多项式
,有
因此,映射
构成多项式环上的保距映射和稠定的同态。借助连续性可以进一步推广,对
谱上的连续函数
定义
。然后,里斯-马尔可夫-角谷表示定理允许我们从连续函数的积分过渡到谱测度,于是就得到了博雷尔函数演算。
或者,在交换巴拿赫代数的背景下,连续函数演算可以通过盖尔范德变换获得。然后同上面的一样利用里斯-马尔可夫-角谷定理来推广到可测函数。在这一表述中,
只需是正规算子。
给定一个算子
,连续函数演算
的值域是
生成的(阿贝尔)C*-代数
。博雷尔函数演算的值域则更大,即
在弱算子拓扑下的闭包——一个(同样是阿贝尔的)冯诺依曼代数。
我们还可以为未必有界的博雷尔函数
定义函数演算,所得结果是一个算子,而这个算子也可能不是有界的。用自伴算子谱定理所提供的乘法算子那套表述的话,它就是
的乘法算子。
更一般地,对于(有界)正规算子也存在博雷尔函数演算。
设有自伴算子
,
是
的 博雷尔子集,而
是
的指示函数,则
是
上的正交投影。那么映射
是一个投影值测度,其被称为
的单位分解(resolution of the identity)。
上的测度相对于
是
上的恒等算子。换句话说,恒等算子可以表示为谱积分
。有时,术语「单位分解」也用于上式这样的将恒等算子描述为谱积分的过程。
在离散测度的情况下(特别是当
维度有限时),
可以用狄拉克记号写成
各
是
的归一化本征向量。集合
构成
的一组标准正交基。
物理文献通常是启发式地把上面的式子延伸到谱测度不再离散的情况,将单位分解写成
并讨论所谓「连续基」或「基态矢的连续统」
。 从数学上讲,除非给出严格的论证,否则这种表达式纯粹是一种形式记号。
- ^ Kadison, Richard V.; Ringrose, John R. Fundamentals of the Theory of Operator Algebras: Vol 1. Amer Mathematical Society. 1997. ISBN 0-8218-0819-2.
- ^ Reed, Michael; Simon, Barry. Methods of Modern Mathematical Physics. Academic Press. 1981. ISBN 0-12-585050-6.