爱华网
fanhan jifen
泛函积分
functional integration
无限维分析学的一个新分支。它起源于量子物理学中的连续积分和概率论中的随机过程的样本空间的研究。目前，泛函积分方法已深入到分理化量子场论、基本粒子理论、随机力学、马尔可夫场、统计物理和湍流理论等领域。同时，泛函积分正在与群表示论、巴拿赫空间几何学、微分方程论、随机过程理论相互渗透。这一切都使它成为现代分析学中的一个令人瞩目的学科。泛函积分的内容目前主要包括连续积分、柱测度、正定函数、拟不变测度理论等。
连续积分 连续积分是指泛函沿着一类连续轨道的积分。1942年R.P.费因曼从最小作用量原理出发定义路径积分,它给出量子力学的另一种等价的表达形式,后人称为费因曼路径积分，目前它已在量子物理中被愈来愈多地引用。为简单起见，以有限个自由度的量子力学体系为例。通常这种体系的状态用满足薛定谔方程的复值的波函数描写。例如,质量为 的粒子在势能场()中的运动，这时满足方程
[181-1]如果用(,；,)表示粒子在0时刻处于0位置的波函数，那么[181-2]量子力学的一个基本问题是求出 (,)或(,；0,0)的表达式。
按照经典力学的观点,质量为的粒子在势能场()中运动的拉格朗日函数为[181-3]设 ()是一条连续路径，适合条件()=0，()=,那么沿着路径的作用量为
[181-4]
费因曼从最小作用量原理出发将波函数（,；0，0）表示成作用量沿着一切可能的连接(0,0)和(,)的连续轨道上的积分，即
[181-5]这里 是规范因子。
从数学的角度看，路径积分是没有经过严格定义的概念，最通常的理解是，先将[0,]进行等分,记[181-6][181-7]0≤ ≤作依次连接（,）的折线(),设[181-8]作重积分
[181-9]（这里是规范因子）,然后将费因曼积分设想成当→∞时上述积分的极限。但因为[181-10]是随着的增大而剧烈振荡的函数,故上述的极限实际上是不存在的。但费因曼积分非常富有启发性，许多物理学家运用这种路径积分及按他们的物理设想所提出的一些计算法则能很好地说明量子物理中的许多问题，例如从量子力学到经典力学的过渡等。同时，在量子场论中也出现了大量的类似的没有严格定义的连续积分。这就向数学家提出了建立路径积分的严格的数学基础的要求。它是泛函积分研究的重要课题之一。近40年中，人们利用解析开拓、广义函数、复值测度和振荡积分等各种手段去进行研究，但至今尚未解决。
泛函积分与微分方程 早在路径积分出现以前，N.维纳在研究作布朗运动的粒子的统计规律时已提出维纳测度。设>0，表示[0,]区间上连续并在0点取值为零的函数全体（C 中的每个元素可理解为作一维布朗运动的粒子的轨道）。又设(,)，1≤≤，是个区间，[181-11] 称集合A＝{|[kg2][kg2]C,()[kg2][kg2](，),1≤≤}是中的柱集。那么，轨道 落入A中的概率是
[181-12]
[181-16]，这样在柱集全体上定义了一个柱测度。维纳证明了它可以延拓成C上的可列可加的测度d，通常称为维纳测度，关于这个测度的积分称为维纳积分。
M.卡茨研究了一类泛函在作布朗运动的粒子所有轨道上的平均值的计算。设F是C上的连续泛函，这个平均值就是关于维纳测度的数学期望[181-13]。对连续轨道作依次连接[181-14]1≤≤的折线(),记[181-015][181-15] 1≤≤，则[181-017] [181-18][181-018]引用费因曼的记号,上式可改写为
[181-19]M.卡茨受到费因曼路径积分表示薛定谔方程的解的思想的启发，利用维纳积分去解微分方程。证明了 [181-20][181-21]在一定条件下满足方程[181-22]，(,0)=()。
这项工作开辟了用泛函积分研究微分方程的新方向，至今也还是泛函积分中的一个十分有意义的研究领域。
柱测度 柱测度是测度概念的推广，它也是研究具有无限多个参数的随机过程(广义随机过程)的重要工具之一。设是拓扑线性空间,(Ω,)是概率空
间，如果给定一族依赖于中的元素 的随机变量{(·,),[kg2][kg2] }，满足线性关系[182-1]（等式关于几乎处处成立）;则称它是上的线性过程。另外,如果对中任何一个收敛于0的定向序列{,[kg2][kg2]}，随机变量序列{(·,)，[kg2][kg2]}依概率收敛于0,则称{(·，),[kg2][kg2] }为广义 (线性)随机过程。根据柯尔莫哥洛夫概率测度存在性定理，在的代数对偶空间（上的线性泛函全体）上存在 代数和概率测度，使得上的由[xin]()=()([kg2][kg2]，[kg2][kg2])定义的函数[xin]关于可测，而且若[182-2]，则
[182-3]以上A表示中的波莱尔集。
这里的基本问题之一是研究 能否集中在一个比更小的线性子空间上，以便对广义随机过程{(·，)，[kg2][kg2]}的样本轨道(，·)作比较深入的研究寻找样本空间 的问题等价于研究柱测度的可列可加性。
设,是两个实的线性空间，〈,〉,[kg2][kg2]，[kg2][kg2]是×上的实的双线性泛函,并且对中的任何非零向量，必定存在[kg2][kg2]，使〈,〉≠0，对空间也有同样假定。在中任取个向量,,…，记 中使,·>,,·>,…,,·>可测的最小代数为(,,…,)。(,,…,)中的集称为中的柱集，柱集全体记为，它是上的代数。设是上的集函数, 限制在每一个(,,…,)上是一个概率测度，称为上的柱测度。当是拓扑线性空间时，如果对任何>0，存在中零的邻域，对任何[kg2][kg2]，成立｛||,>|>1｝，则称 关于 的拓扑是连续的。特别当{X (·，),[kg2][kg2] }是广义随机过程时，取中的线性子空间0，使得=0与对一切[kg2][kg2]0,()=0等价。设=，=0,，>=()，定义
[182-4]那么， 是0上关于 的拓扑连续的柱测度。从而0是否成为样本空间的问题等价于柱测度 在0∩上具有可列可加性。1959年，P.A.明洛斯证明了下面的基本定理：设是核空间，则的共轭空间(连续线性泛函全体)上的任何一个关于 的拓扑连续的柱测度都是可列可加的。所以 上的每一个广义随机过程都以为样本空间。1962年，夏道行证明，设是具有基底{,≥1}的巴拿赫空间，是由{,≥1}张成的线性子空间,{}是一列随机变量，并依概率1成立 [182-5]令[182-6]依概率收敛｝,则上关于的拓扑连续的柱测度是可列可加的。这个结果的重要性不但在于它是明洛斯定理的推广而且在于它指出了柱测度可列可加性与巴拿赫空间结构的本质联系。
L.施瓦尔茨研究了将柱测度变换成可列可加测度的线性映射-拉东映射，提出了巴拿赫空间型的概念,在此基础上建立了研究柱测度可列可加性的一般原理即施瓦尔茨对偶性定理。
正定函数表示 将是限维空间上深刻的调和分析理论推广到无限维空间(拓扑线性空间或更一般的拓扑群)是无限维分析的主要课题。正定函数的表示问题就是其中之一。设是拓扑群，是的单位元,()是上的函数,()=1。如果对中任意个元素,,…和任意个复数,,…，成立[182-7]，称是上的正定函数。
正定函数的表示问题和柱测度的可列可加性的关系极为密切。设 是拓扑线性空间， 按向量的加法成为交换的拓扑群。若是上的正定函数,是上的线性子空间,且[kg2][kg2],=0等价于（）=0，对任何[kg2][kg2]；那么在上有惟一的柱测度，使[182-8] ([kg2][kg2])。是 上的连续的正定函数的充要条件是柱测度关于 的拓扑是连续的。因此，经典调和分析中的有限维空间上的博赫纳定理在无限维空间上的推广问题与研究柱测度的可列可加性是等价的。当 是一般的交换的拓扑群时，可用的特征标群代替进行类似的讨论。根据关于柱测度可列可加性的明洛斯定理知道,核空间上的连续正定函数必是上的概率测度的傅里叶变换夏道行利用拟不变测度的理论对交换拓扑群上的正定函数的表示得到了很一般的结果，即对一类交换的拓扑群推广了博赫纳定理。
拟不变测度 设是拓扑空间，是中开集全体张成的 代数。如果 是 X 上的双射，并且对任何 A[kg2][kg2][kg2][182-
10]，则称是(，)上可测同构。令是(,)上可测同构全体所成的变换群。设是上正则测度（即是满足下列条件的测度：对任何 A[kg2][kg2]以及>0，必存在开集，闭紧集F,使得F，并且(-F)）对任何[kg2][kg2]，定义[182-11]，A[kg2][kg2]。如果对一切[kg2][kg2] ，与都等价，则称关于群是拟不变的测度。
和连续积分一样，拟不变测度的研究来源于量子物理。例如，量子场论中交换关系的表示问题实质上是和寻找某个拓扑线性空间上拟不变的概率测度问题等价的。又如相应于量子场论中真空态的测度就具有某个拟不变性质。这个事实推动了一般的拟不变测度理论的研究。夏道行利用测度论和算子代数的方法率先对它们作了系统的研究，建立了一整套理论，获得拟不变测度的许多基本性质，例如，证明了如下结果：设是拓扑群，是的子群，上有拓扑使(,)成为第二纲的拓扑群，且到中的嵌入是连续的。对每个，定义左乘变换，如果(,)上存在有限的正则测度,它关于{,[kg2][kg2] }是拟不变的，那么对中每一个正测度的紧子集,必然存在(,)中单位元的邻域,当[kg2][kg2]时，( ∩)>0。由此,立即可推出在无限维的巴拿赫空间E上不存在关于全空间平移拟不变的正则的概率测度。
另外,设()是(,)上的非负可测函数,当[kg2][kg2]时，定义[xin]()=本性下界(()+(())(本性下界指在中除去任意一个零集后在其上取下界,然后取这些下界的最大值）。
夏道行证明了下面的重要不等式：当(，)又满足第一可列公理时，对中任一正测度集A，必有(,)中单位元的邻域和正数,使得对上的任一非负可测函数，成立
[183-1]。
对[kg2][kg2]，可定义(,)上的酉算子，
[183-2]{,[kg2]}是群的酉表示,记是由{,[kg2][kg2]}张成的上的对称的弱闭算子代数，夏道行利用对称的弱闭算子代数的分解定理，研究了拟不变测度的分解，证明对偶空间的存在，在这个基础上建立了关于拟不变测度的傅里叶变换理论和相应的计算公式。看来，这个理论将为无限维空间上的微分方程、变分方程的研究提供工具。
张荫南
以上就是网友分享的关于"泛函积分"的相关资料，希望对您有所帮助，感谢您对爱华网的支持！
