词条 | 泛函积分 |
释义 | fanhan jifen 泛函积分(卷名:数学) functional integration 无限维分析学的一个新分支。它起源于量子物理学中的连续积分和概率论中的随机过程的样本空间的研究。目前,泛函积分方法已深入到分理化量子场论、基本粒子理论、随机力学、马尔可夫场、统计物理和湍流理论等领域。同时,泛函积分正在与群表示论、巴拿赫空间几何学、微分方程论、随机过程理论相互渗透。这一切都使它成为现代分析学中的一个令人瞩目的学科。泛函积分的内容目前主要包括连续积分、柱测度、正定函数、拟不变测度理论等。 连续积分 连续积分是指泛函沿着一类连续轨道的积分。1942年R.P.费因曼从最小作用量原理出发定义路径积分,它给出量子力学的另一种等价的表达形式,后人称为费因曼路径积分,目前它已在量子物理中被愈来愈多地引用。为简单起见,以有限个自由度的量子力学体系为例。通常这种体系的状态用满足薛定谔方程的复值的波函数Ψ描写。例如,质量为m 的粒子在势能场V(x)中的运动,这时Ψ满足方程 ![]() ![]() 按照经典力学的观点,质量为m的粒子在势能场V(x)中运动的拉格朗日函数为 ![]() ![]() 费因曼从最小作用量原理出发将波函数Ψ(x,t;x0,t0)表示成作用量S沿着一切可能的连接(x0,t0)和(x,t)的连续轨道上的积分,即 ![]() 从数学的角度看,路径积分是没有经过严格定义的概念,最通常的理解是,先将[t0,t]进行n等分,记 ![]() ![]() ![]() ![]() ![]() 泛函积分与微分方程 早在路径积分出现以前,N.维纳在研究作布朗运动的粒子的统计规律时已提出维纳测度。设t>0,C表示[0,t]区间上连续并在0点取值为零的函数全体(C 中的每个元素可理解为作一维布朗运动的粒子的轨道)。又设(αi,bi),1≤i≤n,是n个区间, ![]() ![]() ![]() M.卡茨研究了一类泛函在作布朗运动的粒子所有轨道上的平均值的计算。设F是C上的连续泛函,这个平均值就是F关于维纳测度的数学期望 ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() 这项工作开辟了用泛函积分研究微分方程的新方向,至今也还是泛函积分中的一个十分有意义的研究领域。 柱测度 柱测度是测度概念的推广,它也是研究具有无限多个参数的随机过程(广义随机过程)的重要工具之一。设φ是拓扑线性空间,(Ω,P)是概率空间,如果给定一族依赖于φ中的元素φ 的随机变量{X(·,φ),φ∈φ },满足线性关系 ![]() ![]() ![]() ![]() ![]() 这里的基本问题之一是研究μ 能否集中在一个比φ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,…xn,记Y 中使<x1,·>,<x2,·>,…,<xn,·>可测的最小σ代数为F(x1,x2,…,xn)。F(x1,x2,…,xn)中的集称为Y中的柱集,柱集全体记为φ,它是Y上的代数。设μ是φ上的集函数,μ 限制在每一个F(x1,x2,…,xn)上是一个概率测度,称为Y上的柱测度。当X是拓扑线性空间时,如果对任何ε>0,存在X中零的邻域V,对任何x∈V,成立μ{y||<x,y>|>1}<ε,则称μ 关于X 的拓扑是连续的。特别当{X (·,φ),φ∈φ }是广义随机过程时,取φA中的线性子空间W0,使得φ=0与对一切ƒ∈W0,ƒ(φ)=0等价。设X=φ,Y=W0,<φ,ƒ>=ƒ(φ),定义 ![]() ![]() ![]() L.施瓦尔茨研究了将柱测度变换成可列可加测度的线性映射-拉东映射,提出了巴拿赫空间型的概念,在此基础上建立了研究柱测度可列可加性的一般原理即施瓦尔茨对偶性定理。 正定函数表示 将是限维空间上深刻的调和分析理论推广到无限维空间(拓扑线性空间或更一般的拓扑群)是无限维分析的主要课题。正定函数的表示问题就是其中之一。设G是拓扑群,e是G的单位元,ƒ(G)是G上的函数,ƒ(e)=1。如果对g中任意n个元素g1,g2,…gn和任意n个复数z1,z2,…zn,成立 ![]() 正定函数的表示问题和柱测度的可列可加性的关系极为密切。设φ 是拓扑线性空间,φ 按向量的加法成为交换的拓扑群。若ƒ是φ上的正定函数,W是φA上的线性子空间,且φ∈φ,φ=0等价于ƒ(φ)=0,对任何ƒ∈W;那么在W上有惟一的柱测度Λ,使 ![]() 拟不变测度 设X是拓扑空间,B是X中开集全体张成的σ 代数。如果 g 是 X 上的双射,并且对任何 A∈ ![]() ![]() 和连续积分一样,拟不变测度的研究来源于量子物理。例如,量子场论中交换关系的表示问题实质上是和寻找某个拓扑线性空间上拟不变的概率测度问题等价的。又如相应于量子场论中真空态的测度就具有某个拟不变性质。这个事实推动了一般的拟不变测度理论的研究。夏道行利用测度论和算子代数的方法率先对它们作了系统的研究,建立了一整套理论,获得拟不变测度的许多基本性质,例如,证明了如下结果:设X是拓扑群,G是X的子群,G上有拓扑τ使(g,τ)成为第二纲的拓扑群,且G到X中的嵌入是连续的。对每个g∈G,定义左乘变换τg,如果(X,B)上存在有限的正则测度μ,它关于{τg,g∈G }是拟不变的,那么对B中每一个正测度的紧子集K,必然存在(G,τ)中单位元的邻域V,当h∈V时,μ(K ∩τhK)>0。由此,立即可推出在无限维的巴拿赫空间E上不存在关于全空间平移拟不变的正则的概率测度。 另外,设P(x)是(X,B)上的非负可测函数,当g∈G时,定义p ![]() 夏道行证明了下面的重要不等式:当(G,τ)又满足第一可列公理时,对B中任一正测度集A,必有(G,τ)中单位元的邻域V和正数с,使得对X上的任一非负可测函数p,成立 ![]() 对g∈G,可定义L2(x,μ)上的酉算子UG, ![]() ![]() |
随便看 |
百科全书收录78206条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。