【泛函积分】的意思_什么是泛函积分

连续积分

定义

连续积分是指泛函沿着一类连续轨道的积分。1942年R.P.费因曼从最小作用量原理出发定义路径积分,它给出量子力学的另一种等价的表达形式,后人称为费因曼路径积分，目前它已在量子物理中被愈来愈多地引用。为简单起见，以有限个自由度的量子力学体系为例。通常这种体系的状态用满足薛定谔方程的复值的波函数 Ψ描写。

举例说明

例如,质量为m 的粒子在势能场 V( x)中的运动，这时 Ψ满足方程

如果用 Ψ( x, t； x0, t0)表示粒子在 t0时刻处于 x0位置的波函数，那么量子力学的一个基本问题是求出 Ψ ( x, t)或 Ψ( x, t； x0, t0)的表达式。

按照经典力学的观点,质量为m的粒子在势能场 V( x)中运动的拉格朗日函数为设 x( τ)是一条连续路径，适合条件 x( τ0)= x0， x( τ)= x,那么沿着路径的作用量为

费因曼从最小作用量原理出发将波函数 Ψ（ x, t； x0， t0）表示成作用量 S沿着一切可能的连接( x0, t0)和( x, t)的连续轨道上的积分，即这里 N 是规范因子。

从数学的角度看，路径积分是没有经过严格定义的概念，最通常的理解是，先将【 t0, t】进行 n等分,记0≤ j ≤ n。作依次连接（ x j, jΔ t）的折线 x n( τ),设作 n重积分

（这里 N n是规范因子）,然后将费因曼积分设想成当 n→∞时上述积分的极限。但因为是随着 n的增大而剧烈振荡的函数,故上述的极限实际上是不存在的。但费因曼积分非常富有启发性，许多物理学家运用这种路径积分及按他们的物理设想所提出的一些计算法则能很好地说明量子物理中的许多问题，例如从量子力学到经典力学的过渡等。同时，在量子场论中也出现了大量的类似的没有严格定义的连续积分。这就向数学家提出了建立路径积分的严格的数学基础的要求。它是泛函积分研究的重要课题之一。近40年中，人们利用解析开拓、广义函数、复值测度和振荡积分等各种手段去进行研究，但至今尚未解决。

泛函积分与微分方程

泛函积分

早在路径积分出现以前，N.维纳在研究作布朗运动的粒子的统计规律时已提出维纳测度。设 t>0， C表示9[0, t]区间上连续并在0点取值为零的函数全体（ C 中的每个元素可理解为作一维布朗运动的粒子的轨道）。又设(

)，1≤ i≤ n，是 n个区间，称集合 A={ x| x∈ C, x(

)∈(，

),1≤ i≤ n}是 C中的柱集。那么，轨道 x 落入 A中的概率是

这样在柱集全体上定义了一个柱测度。维纳证明了它可以延拓成 C上的可列可加的测度dω x，通常称为维纳测度，关于这个测度的积分称为维纳积分。

微分方程

M.卡茨研究了一类泛函在作布朗运动的粒子所有轨道上的平均值的计算。设 F是 C上的连续泛函，这个平均值就是 F关于维纳测度的数学期望。对连续轨道 x作依次连接1≤ j≤ n的折线 x n( t),记 1≤ i≤ n，则引用费因曼的记号,上式可改写为

M.卡茨受到费因曼路径积分表示薛定谔方程的解的思想的启发，利用维纳积分去解微分方程。证明了在一定条件下满足方程， Ψ( y,0)= ƒ( y)。

这项工作开辟了用泛函积分研究微分方程的新方向，至今也还是泛函积分中的一个十分有意义的研究领域。

柱测度

柱测度是测度概念的推广，它也是研究具有无限多个参数的随机过程(广义随机过程)的重要工具之一。设 φ是拓扑线性空间,( Ω, P)是概率空间，如果给定一族依赖于 φ中的元素 φ 的随机变量{ X(·, φ), φ∈ φ }，满足线性关系（等式关于 P几乎处处成立）;则称它是 φ上的线性过程。另外,如果对 φ中任何一个收敛于0的定向序列{ φλ, λ∈Λ}，随机变量序列{ x(·, φλ)， λ∈Λ}依概率收敛于0,则称{ x(·， φ), φ∈ φ }为广义 (线性)随机过程。根据柯尔莫哥洛夫概率测度存在性定理，在 φ的代数对偶空间 φ A（ φ上的线性泛函全体）上存在 σ 代数 B和概率测度 μ，使得 φ A上的由 φ( ƒ)= ƒ( φ)( φ∈ φ， ƒ∈ φ A)定义的函数 φ关于 B可测，而且若，则

以上 A表示 R中的波莱尔集。

这里的基本问题之一是研究 μ 能否集中在一个比 φ A更小的线性子空间 W上，以便对广义随机过程{ x(·， φ)， φ∈ φ}的样本轨道 X(ω，·)作比较深入的研究。寻找样本空间 W 的问题等价于研究柱测度的可列可加性。

设 X, Y是两个实的线性空间，〈 x, y〉, x∈ X， y∈ Y是 X× Y上的实的双线性泛函,并且对 X中的任何非零向量 x，必定存在 y∈ Y，使〈 x, y〉≠0，对 Y空间也有同样假定。在 X中任取 n个向量 x1, x2,… x n，记 Y 中使< x1,·>,< x2,·>,…,< x n,·>可测的最小 σ代数为 F( x1, x2,…, x n)。 F( x1, x2,…, x n)中的集称为 Y中的柱集，柱集全体记为 φ，它是 Y上的代数。设 μ是 φ上的集函数, μ 限制在每一个 F( x1, x2,…, x n)上是一个概率测度，称为 Y上的柱测度。当 X是拓扑线性空间时，如果对任何ε>0，存在 X中零的邻域 V，对任何 x∈ V，成立 μ{ y||< x, y>|>1}<ε，则称 μ 关于 X 的拓扑是连续的。特别当{ X (·， φ), φ∈ φ }是广义随机过程时，取 φ A中的线性子空间 W0，使得 φ=0与对一切 ƒ∈ W0, ƒ( φ)=0等价。设 X= φ， Y= W0,< φ， ƒ>= ƒ( φ)，定义

那么， μ 是 W0上关于 φ 的拓扑连续的柱测度。从而 W0是否成为样本空间的问题等价于柱测度 μ 在 W0∩ φ上具有可列可加性。1959年，P.A.明洛斯证明了下面的基本定理：设 φ是核空间，则 φ的共轭空间(连续线性泛函全体) φ┡上的任何一个关于 φ 的拓扑连续的柱测度都是可列可加的。所以 φ 上的每一个广义随机过程都以 φ┡为样本空间。1962年，夏道行证明，设 B是具有基底{ e n, n≥1}的巴拿赫空间， φ是由{ e n, n≥1}张成的线性子空间,{ e n}是一列随机变量，并依概率1成立令依概率收敛},则 W上关于 B的拓扑连续的柱测度是可列可加的。这个结果的重要性不但在于它是明洛斯定理的推广而且在于它指出了柱测度可列可加性与巴拿赫空间结构的本质联系。

L.施瓦尔茨研究了将柱测度变换成可列可加测度的线性映射-拉东映射，提出了巴拿赫空间型的概念,在此基础上建立了研究柱测度可列可加性的一般原理即施瓦尔茨对偶性定理。

正定函数表示

将是限维空间上深刻的调和分析理论推广到无限维空间(拓扑线性空间或更一般的拓扑群)是无限维分析的主要课题。正定函数的表示问题就是其中之一。设 G是拓扑群， e是 G的单位元, ƒ( G)是 G上的函数, ƒ( e)=1。如果对 g中任意 n个元素 g1, g2,… g n和任意 n个复数 z1, z2,… z n，成立，称 ƒ是 g上的正定函数。

正定函数的表示问题和柱测度的可列可加性的关系极为密切。设 φ 是拓扑线性空间， φ 按向量的加法成为交换的拓扑群。若 ƒ是 φ上的正定函数, W是 φ A上的线性子空间,且 φ∈ φ, φ=0等价于 ƒ（ φ）=0，对任何 ƒ∈ W；那么在 W上有惟一的柱测度Λ，使 ( g∈ φ)。 ƒ是 φ上的连续的正定函数的充要条件是柱测度Λ关于 φ 的拓扑是连续的。因此，经典调和分析中的有限维空间上的博赫纳定理在无限维空间上的推广问题与研究柱测度的可列可加性是等价的。当 G是一般的交换的拓扑群时，可用 G的特征标群 G代替 φ进行类似的讨论。根据关于柱测度可列可加性的明洛斯定理知道,核空间 φ上的连续正定函数必是 φ ┡上的概率测度的傅里叶变换。夏道行利用拟不变测度的理论对交换拓扑群上的正定函数的表示得到了很一般的结果，即对一类交换的拓扑群推广了博赫纳定理。

拟不变测度

设 X是拓扑空间， B是 X中开集全体张成的 σ 代数。如果 g 是 X 上的双射，并且对任何 A∈，则称 g是( X， B)上可测同构。令 G是( X, B)上可测同构全体所成的变换群。设 μ是 B上正则测度（即 μ是满足下列条件的测度：对任何 A∈ B以及ε>0，必存在开集 O，闭紧集 F,使得 O叾 A叾 F，并且 μ( O- F)<ε）对任何 G∈ G，定义， A∈ B。如果对一切 g∈ g ， g· μ与 μ都等价，则称 μ关于群 g是拟不变的测度。

和连续积分一样，拟不变测度的研究来源于量子物理。例如，量子场论中交换关系的表示问题实质上是和寻找某个拓扑线性空间上拟不变的概率测度问题等价的。又如相应于量子场论中真空态的测度就具有某个拟不变性质。这个事实推动了一般的拟不变测度理论的研究。夏道行利用测度论和算子代数的方法率先对它们作了系统的研究，建立了一整套理论，获得拟不变测度的许多基本性质，例如，证明了如下结果：设 X是拓扑群， G是 X的子群， G上有拓扑 τ使( g, τ)成为第二纲的拓扑群，且 G到 X中的嵌入是连续的。对每个 g∈ G，定义左乘变换 τ g，如果( X, B)上存在有限的正则测度 μ,它关于{ τ g, g∈ G }是拟不变的，那么对 B中每一个正测度的紧子集 K,必然存在( G, τ)中单位元的邻域 V,当 h∈ V时， μ( K ∩τ h K)>0。由此,立即可推出在无限维的巴拿赫空间 E上不存在关于全空间平移拟不变的正则的概率测度。

另外,设 P( x)是( X, B)上的非负可测函数,当 g∈ G时，定义 p( g)=本性下界(p( x)+p(τ g x))(本性下界指在 X中除去任意一个 μ零集后在其上取下界,然后取这些下界的最大值）。

夏道行证明了下面的重要不等式：当( G， τ)又满足第一可列公理时，对 B中任一正测度集 A，必有( G, τ)中单位元的邻域 V和正数с,使得对 X上的任一非负可测函数p，成立。

对 g∈ G，可定义 L( x, μ)上的酉算子 U G，

{ U g, g∈ g}是群 g的酉表示,记 u是由{ U g, g∈ g}张成的 L上的对称的弱闭算子代数，夏道行利用对称的弱闭算子代数的分解定理，研究了拟不变测度的分解，证明对偶空间的存在，在这个基础上建立了关于拟不变测度的 L傅里叶变换理论和相应的计算公式。看来，这个理论将为无限维空间上的微分方程、变分方程的研究提供工具。

泛函积分百科内容来自于：

连续积分

定义