Friday, October 23, 2015

"weiner積分被积函数" Weiner(定义了函数空间上的Weiner测度),Kac(Feymann-Kac公式,相当于量子力学里面用路径积分解Schrodinger方程),Ito(伊藤清,随机微分方程),Gross(抽象Weiner空间),郭辉熊(伊藤清的学生,Hilbert空间上的势论和PDE)。他们的许多发现同物理中的路径积分有相当大的平行性。

积分- 维基百科,自由的百科全书

https://zh.wikipedia.org/zh-hk/积分 轉為繁體網頁
的定积分函数与x轴围成的曲边梯形的有向面积:在x轴上方(蓝色)的面积为正, .... 一般来说,被积函数不一定只有一个变量,积分域也可以是不同维度的空间,甚至 ...
缺少字詞: weiner

不定积分_百度百科

baike.baidu.com/view/335446.htm 轉為繁體網頁
根据牛顿——莱布尼兹公式,许多函数的定积分的计算就可以简便地通过求不定积分来 ... 2、求不定积分时,被积函数中的常数因子可以提到积分号外面来。即:设函数.
缺少字詞: weiner

积分公式_百度百科

baike.baidu.com/view/1211925.htm 轉為繁體網頁
被积函数中含有√(|a|x^2+bx+c) (a≠0)的积分有. 含有三角函数积分. 被积函数中含有三角函数积分公式有:. 含有反三角函数积分. 被积函数当中含有反三角 ...
缺少字詞: weiner

相似文献 - 文章搜索——中国科学院科技期刊开放获取平台

www.cqujs.com/relate_search.aspx?pcid...cid...aid... 轉為繁體網頁
本文讨论了在Wiener空间下的最优求积公式在r-重积分Wiener空间下的平均误差, ... 因此,对于计算具有不同光滑性的函数积分而言,此积分公式不是普适算法。 ... 变换积分公式中,运用留数定理将公式中的两个积分式子化简成一个被积函数衰减较快 ...

数值积分若干问题的研究--《华北电力大学》2013年硕士论文

cdmd.cnki.com.cn/Article/CDMD-10079-1013328458.htm 轉為繁體網頁
由 王少英 著作 - ‎2013
梯形求积公式抛物线型求积公式带导数的求积公式Wiener空间积分Wiener空间. ... 数值积分则是利用被积函数积分区间中的若干离散点处的函数值构造定积分的 ...

[PDF]有界变差过程不确定分析 - 中国运筹学会

orsc.edu.cn/online/110404.pdf 轉為繁體網頁
本文研究的不确定积分是指不确定过程对有界变差过程定义的. 积分, 该不 ...... Wiener 最早定义了对Brown运动的积分,但是他选取的被积函数是非随机的普. 通函数.

医学图像信号变换与压缩 - 第 xi 頁 - Google 圖書結果

https://books.google.com.hk/books?isbn=7302082510 - 轉為繁體網頁
康晓东 - 2004 - ‎Diagnostic imaging
可见平均功率由被积函数 S.r ( o )在频率区间(一 co , co )的积分确定,称 S.r ( o )为样本 ... 维纳-欣钦( Wiener - Khinchine )定理设功率随机信号 X ( t )的每一个样本函数 ...

[PDF]Lebesgue 积分的产生及其影响* - 数学进展

advmath.pku.edu.cn/CN/.../downloadArticleFile.do?...id... - 轉為繁體網頁
Riesz_Fisher 定理和20 世纪20-30 年代Nobeft Wiener 所建立的BTown 运动理论我还 .... 的确, 他也证明了这一定理, 条件是积分区间有限而被积函数an 一致有界.

广义Wiener随机积分,generalized Wiener integral,音标,读音 ...

www.dictall.com › 词典 - 轉為繁體網頁
无穷区间(-∞,+∞)上奇、偶函数的广义积分的简便计算. 3. ... 值得注意的是,在达布和的构造中,被积过程在[tk-1,tk]上的取值点不是随意一点,而只能是它的左端点tk-1。

数值积分若干问题的研究- 中国优秀硕士学位论文全文数据库

cnki.scstl.org/KCMS/detail/detail.aspx?filename... 轉為繁體網頁
数值积分则是利用被积函数积分区间中的若干离散点处的函数值构造定积分的近似 ... 本文主要讨论了常见的梯形求积公式、抛物线型求积公式在Wiener测度空间的 ...




@Lifschitz
希望本篇的读者了解测度论(实分析/概率论)的一些基本知识:常见的sigma代数(Borel代数),测度拓张定理,Borel测度,Lebesgue积分,作为Banach空间的L^p空间等等。
历史上,函数空间上的积分跟物理中的路径积分差不多是同一时期发展起来的,而前者又受了后者很多影响。数学家的路径积分大体上来源于下面几个人的工作:Weiner(定义了函数空间上的Weiner测度),Kac(Feymann-Kac公式,相当于量子力学里面用路径积分解Schrodinger方程),Ito(伊藤清,随机微分方程),Gross(抽象Weiner空间),郭辉熊(伊藤清的学生,Hilbert空间上的势论和PDE)。他们的许多发现同物理中的路径积分有相当大的平行性。
作为科普,首先来回顾一下量子力学里面用路径积分解Schrodinger方程的做法:


但是这个定义中有一点微妙的问题如果我们认为函数空间(路径空间)跟普通的有限维实数空间没有区别的话,自然就会把上面的积分测度Dx当成某种“无穷维的Lebesgue测度”——换句话说,具有平移和旋转不变性的Borel测度的拓张。然而仔细想想就会发现这种Borel测度在无穷维空间中根本不可能存在。理由很简单:如果有这样的一个测度,那么我们就必须要求每一个球都具有正的测度。这样根据平移不变性,势必导出每个球的测度都是无穷大的结论。这显然是不能接受的。另一方面,出现在指数上的虚数单位可能会导致收敛性的问题。
为了暂时避开第二个问题,可以使用一下Wick rotation,变成所谓的Eclidean路径积分。但是第一个问题还是没有解决。
如何才能在函数空间上定义一个良好的测度?Weiner给出了一个比较令人满意的解答。这就是Weiner测度。
考虑函数空间C[0,1],加上一个一致收敛模。在这个模之下它自然是可分的Banach空间。仿照路径积分的做法,可以在区间[0,1]上取一系列的“窗口”来“测量”函数的值。记B_n为n维Euclidean空间的Borel代数。下面在区间[0,1]上面取n个“观察点”,观察某个函数族E的函数值。如果这些函数值在n维Euclidean空间中构成一个Borel集,那么就称E是C[0,1]中的一个Cylinder. 很容易看出Cylinder的全体是一个代数,而又容易证明这个代数生成的sigma代数就是C[0,1]的Borel代数。
下面可以仿照路径积分的做法在Cylinder代数上定义一个测度W。假若取了“窗口”t1,..., tn, 观察的函数族为E,它们在经过“观察”之后形成n维空间里面的一个Borel集I,则定义E的Weiner测度W(E)如下:


不难证明这个测度在Cylunder的代数上具有可数可加性。这样就可以把它拓张成为C[0,1]上的Borel测度。这个拓张就是C[0,1]上的Weiner测度。显然它是个概率测度。对这个测度的Lebesgue积分就称作Weiner积分。将区间的右端点换成一个可变的t之后,所有的讨论都可以照搬到C[0,t]. 下面都以C[0,t]作为所考虑的函数空间。
这个定义跟路径积分的联系是什么?如果在上面的式子中形式地令n无限增大,而观察的“窗口”取得无限密集,则积分号下指数部分的求和正好就是自由粒子的Euclidean作用量。所以直观上,Weiner积分是将自由粒子作用量“吸收”进积分测度的一种积分。
Kac受到Feymann启发证明了下面的Feymann- Kac公式:

这跟虚时Schrodinger方程在形式上完全一样。但是这里的定义完全是严格的(不是物理学家“泛函积分可以严格积出来”的严格,而是真正的严格)。这个公式还有高维推广。微扰论也可以在这里很好地展开(我原来试过一个最简单的情形,见http://tieba.baidu.com/p/2923817158;当然只是很平凡的讨论)。
当然,这些讨论中跳过了Wick rotation的问题。Wick rotation的定义基于方程的解对于时间t的解析性。如果这个不能保证,那么Wick rotation的数学基础依旧是一个问题。
Gross还定义过所谓抽象Weiner空间,并且考虑了上面的势论。这也许可以为量子场论的泛函积分提供一个严格的数学表述。


收起回复
  • 3楼
  • 2014-06-20 18:47
    • DTSIo@Maxwell太小
      2014-6-20 03:50回复
    • Lifschitz有更一般的定义嘛?对场而言的。只是QM的pi和qft的pi还是很不同的
      2014-6-20 08:22回复
    • DTSIo回复 Lifschitz :对于场,我还没有查到有人给出肯定的答案,但是我觉得应该是后面的抽象Weiner测度。从物理学家的定义上感觉似乎这条路是可以的。
      2014-6-20 08:44回复
    • Lifschitz回复 DTSIo :我并不是很清楚。对于qm,因为自由度是有限的,在定义测度时可以引入类似于归一化的系数来得到有限值,但是qft处理的体系自由度是无限的,于是乎我就不清楚了。。。。
      2014-6-20 09:01回复
    • DTSIo回复 Lifschitz :这个要是不走Gross的抽象Weiner空间的构造的话,应该也还是可以通过跟QM类似的测度拓张的办法来完成的呀。Gross的方法当然是更具有一般性的了。
      2014-6-20 09:03回复
      • Lifschitz回复 DTSIo :感觉好像是拼错了。算了不讨论了,我对数学家的那一套也不了解,希望有一个数学基础。另外wiener这套东西是什么时候提出来的
        2014-6-20 09:13回复
      • DTSIo回复 Lifschitz :啊还真是拼错了......
        2014-6-20 09:15回复
      • DTSIo回复 Lifschitz :这套东西提出来怎么说也有六七十年了吧,所以不算很新了.......
        2014-6-20 09:16回复
      • DTSIo回复 Lifschitz :总之这几个随机数学的重量级元老都是研究过这个问题的,毕竟物理是随机数学问题的一个来源
        2014-6-20 09:17回复
    • 我也说一句
      还有4条回复,点击查看
    无耻伸手求科普物理上的路径积分

    收起回复
    • 4楼
    • 2014-06-20 18:58

      mark~ 圈个搞数学的~ @tyj518

      收起回复
      • 5楼
      • 2014-06-20 19:10
        要让数学家弄明白QFT是很困难的,Weiner测度能处理的情形太有限了

        收起回复
        • 6楼
        • 2014-06-20 19:52
          马克

          回复
          • 7楼
          • 2014-06-20 21:45

            Mark~

            这么快师傅就科普啦,虽然只看懂了历史,那些符号对我来说好陌生的。
            先收藏,假期自习研究研究。嗯

            以马~

            回复
            • 10楼
            • 2014-06-20 23:50
              对field的情形遇到的问题就是renormalization

              收起回复
              • 11楼
              • 2014-06-21 06:13
                先mark下~

                mark

                回复
                • 15楼
                • 2014-06-22 20:44
                  科普贴要顶~~

                  严格不严格似乎只有数学家才在意……

                  回复
                  • 17楼
                  • 2014-06-24 02:04
                    熟悉测度论的不多,比较艰深。

                    回复
                    • 18楼
                    • 2014-06-24 12:44
                      这种“科普”没“普”,理论欠严谨的东西楼主也好意思放上来- -
                      上次看到楼主把 矩阵运算 说成 可除代数的一种 时就知道楼主差不多是什么水平了。


                      对于把这种东西置顶的吧务,我仍然无语。


                      无限维上有关路径积分的严谨的理论可见如下链接:
                      http://pan.baidu.com/share/link?shareid=1365575599&uk=184799136
                      上面的论著可算是比较完整的体系。(比较高级的泛函分析,要看懂需要一定数学基础。)


                      楼主对自己的一些判断完全不加引证,一些明显是楼主自己猜想的东西却被以“这是既定事实”的方式描述。完全是在误导大众!

                      收起回复
                      • 20楼
                      • 2014-06-25 22:32
                        • 雷天使_ramiel摆事实,讲道理,不要引战
                          2014-6-25 08:56回复
                        • 雷天使_ramiel你觉得有私货,那就指出来,不用在这里话里带刺扔个链接就完了,更有本事的话,你也来“科普”
                          2014-6-25 09:03回复
                        • DTSIo回复 雷天使_ramiel :不用跟他辩论的,他的表现我想所有人都清楚,就是一个高级喷子而已。这个链接倒是可以保留,看着挺有参考价值。
                          2014-6-25 09:18回复
                        • 我也说一句 
                        @雷天使_ramiel 帮个小忙,把20楼的号封了。

                        回复
                        • 21楼
                        • 2014-06-25 23:09
                          可以转吗?

                          收起回复
                          • 22楼
                          • 2014-06-27 00:45
                            我个人觉得这种东西做科普意义不大,而且这个科普也还是很专业,很多专业名称必须去查才知道…而且楼主写的嘛…就我个人而言,从物理上讲,路径积分只能微扰用一用,可以证明有限个Feynman 图做微扰,扔掉的高阶总会有贡献大的,这个证明早就有了,所以人们考虑强耦合场论才会开发格点的办法。从数学上来说,关注这个的数学家也很少,他们早就证明了路径积分的不严谨性,对于发散的出现也是他们没法严格处理的。路径积分量子化或者重整化这套量子场论技术最大的意义在于告诉你怎么做有效场论,肯定会有不严格的地方


                            伊藤積分- Wikiwand

                            www.wikiwand.com/zh-hant/伊藤积分
                            其結果是,無法用普通的方法定義積分(參考Riemann–Stieltjes integral)。主要的創新是只要調配被積函數,就可以定義一個積分,不嚴格的講,即t時刻它的值僅僅依靠 ...

                            "关键词=积分WIENER空间"_智立方 - 平台首页

                            lstc.ss.cqvip.com/.../articlesearch.aspx?...c%3A%5C%22... - 轉為繁體網頁
                            24条记录 - 带导数的求积公式在一重积分Wiener空间下的平均误差 ... 在一定条件下构造函数的近似表示或者叫逼近,确定逼近的误差是函数逼近领域的基本问题,这些 ...

                            Presentation "第九章Monte Carlo 积分. Monte Carlo 法的 ...

                            slideplayer.com/slide/7430189/ 轉為繁體網頁
                            被积函数积分边界复杂,难以用解析方法或一般的数值方法求解; 2. 被积函数的具体形式未知,只知道由模拟返回的函数值。 本章内容: 用Monte Carlo 法求定积分的 ...

                            [PDF]Lebesgue积分的产生及其影响 - 浙江师范大学网络课程

                            course.zjnu.cn/hnc/shibian/Lebesgue.pdf 轉為繁體網頁
                            Riesz_Fisher 定理和20 世纪2030 Nobert Wiener Brown 运动理论历史的角度出发 ..... 是Dirichlet 积分和Riemann 积分g 刻画了Dirichlet 可积函数和Riemann 可积 ...

                            音乐快递:phymath01 “ L2 是完备的” 意味着可以将L2 作为欧 ...

                            bbs.wenxuecity.com › 论坛 › 音乐快递 轉為繁體網頁
                            2011年11月16日 - Riesz-Fisher 定理和20 世纪20-30 Nobert Wiener Brown 运动理论. .... 的确, 他也证明了这一定理, 条件是积分区间有限而被积函数fn 一致有界.

                            No comments:

                            Post a Comment