Rigorous time slicing approach to Feynman path integrals
著者
書誌事項
Rigorous time slicing approach to Feynman path integrals
(Mathematical physics studies)
Springer, c2017
大学図書館所蔵 全9件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references (p. 327-329) and index
内容説明・目次
内容説明
This book proves that Feynman's original definition of the path integral actually converges to the fundamental solution of the Schroedinger equation at least in the short term if the potential is differentiable sufficiently many times and its derivatives of order equal to or higher than two are bounded. The semi-classical asymptotic formula up to the second term of the fundamental solution is also proved by a method different from that of Birkhoff. A bound of the remainder term is also proved.The Feynman path integral is a method of quantization using the Lagrangian function, whereas Schroedinger's quantization uses the Hamiltonian function. These two methods are believed to be equivalent. But equivalence is not fully proved mathematically, because, compared with Schroedinger's method, there is still much to be done concerning rigorous mathematical treatment of Feynman's method. Feynman himself defined a path integral as the limit of a sequence of integrals over finite-dimensional spaces which is obtained by dividing the time interval into small pieces. This method is called the time slicing approximation method or the time slicing method.This book consists of two parts. Part I is the main part. The time slicing method is performed step by step in detail in Part I. The time interval is divided into small pieces. Corresponding to each division a finite-dimensional integral is constructed following Feynman's famous paper. This finite-dimensional integral is not absolutely convergent. Owing to the assumption of the potential, it is an oscillatory integral. The oscillatory integral techniques developed in the theory of partial differential equations are applied to it. It turns out that the finite-dimensional integral gives a finite definite value. The stationary phase method is applied to it. Basic properties of oscillatory integrals and the stationary phase method are explained in the book in detail.Those finite-dimensional integrals form a sequence of approximation of the Feynman path integral when the division goes finer and finer. A careful discussion is required to prove the convergence of the approximate sequence as the length of each of the small subintervals tends to 0. For that purpose the book uses the stationary phase method of oscillatory integrals over a space of large dimension, of which the detailed proof is given in Part II of the book. By virtue of this method, the approximate sequence converges to the limit. This proves that the Feynman path integral converges. It turns out that the convergence occurs in a very strong topology. The fact that the limit is the fundamental solution of the Schroedinger equation is proved also by the stationary phase method. The semi-classical asymptotic formula naturally follows from the above discussion.A prerequisite for readers of this book is standard knowledge of functional analysis. Mathematical techniques required here are explained and proved from scratch in Part II, which occupies a large part of the book, because they are considerably different from techniques usually used in treating the Schroedinger equation.
目次
Part I Convergence of Time Slicing Approximation of Feynman Path Integrals.- 1 Feynman's idea.- 2 Assumption on Potentials.- 3 Path Integrals and Oscillatory Integrals.- 4 Statement of Main Results.- 5 Convergence of Feynman Path Integrals.- 6 Feynman Path Integral and Schrodinger Equation.- Part II Supplement-Some Results of Real Analysis.- 7 Kumano-go-Taniguchi Theorem.- 8 Stationary Phase Method for Oscillatory Integrals over a Space of Large Dimension.- 9 L2-boundedness of Oscillatory Integral Operators.- Bibliography.- Index.
「Nielsen BookData」 より