Project/Area Number 
13640161

Research Category 
GrantinAid for Scientific Research (C)

Allocation Type  Singleyear Grants 
Section  一般 
Research Field 
Basic analysis

Research Institution  Shinshu University 
Principal Investigator 
ICHINOSE Wataru Shinshu University, Math. Sci., Professor, 理学部, 教授 (80144690)

CoInvestigator(Kenkyūbuntansha) 
TANIUCHI Yasushi Shinshu University, Math. Sci., Assistant, 理学部, 助手 (80332675)
HIROKAWA Masao Okayama University, Math. Sci., Associate Professor, 理学部, 助教授 (70282788)
MORIMOTO Yoshinori Kyoto University, Fac. Integrated Human Studies, Professor, 総合人間学部, 教授 (30115646)

Project Period (FY) 
2001 – 2003

Project Status 
Completed (Fiscal Year 2003)

Budget Amount *help 
¥3,400,000 (Direct Cost: ¥3,400,000)
Fiscal Year 2003: ¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 2002: ¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 2001: ¥1,200,000 (Direct Cost: ¥1,200,000)

Keywords  path integral / Schroedinger equation / generating function / functional derivative / pseudo differential operators / 量子観測理論 
Research Abstract 
The aim of our project was to give the rigorous meaning to the Feynman path integral usually used in physics, which is defined by the method of the timeslicing approximation determined through broken line paths. In detail, we study : (1)We show the convergence of the phase space Feynman path integral of the functional as the discretization parameter tends to zero and give its expression in terms of the operator notation. (2)We show the existence of the generating functional Z(J) of the source J in quantum mechanics and also quantum free field theory. Next we show the functional differentiability of Z(J) in J and that its derivative gives the correlation function. (3)We give the mathematical proof to the perturbation theory of the path integral. Our aim has been completed except for the study of Z(J) of quantum free field theory and (3). First, we studied the convergence of the phase space Feynman path integral that is usually used in physics. We proved that its path integral converges
… More
to the solution of the corresponding Schrodinger equation in L^2 space. Next, we proved the convergence of the phase space path integral not only in L^2 space but also in the generalized Sobolev spaces B^a. By means of this result we studied the convergence of the phase space path integral of the functional II^N_<j=1> q(t_j)p(t_j). We gave their expressions in terms of the operator notation and showed that these path integrals give correlation functions, the canonical commutator relation and etc. In addition, we generalized this result to the phase space path integral of the functional II^N_<J=1> z_j(q(t_j),p(t_j)). We gave the necessary and sufficient condition on z_j(x, p) (j=1,2,【triple bond】,N) for this phase space path integral to be convergent. We also gave the expression in terms of the operator notation when the path integral was convergent. From this result we could give the rigorous proofs of the heuristic results in Feynman's celebrated paper 1948. Next, we showed the existence of the generating functional Z(J)f (f∈B^a) for any J∈X, where X is the set of all R^nvalued continuous functions on [O, T]. We also proved that the functional Z(J)f : X→B^a is Frechet differentiable in J and its Frechet derivatives give correlation functions. The paper on this result is in preparation. In relation to our project each investigator studied the integral operator of the oscillatory type, the ground state transition of Bose field, and BMO space and Besov space and its applications to the differential equations Less
