| Project/Area Number |
16540145
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Basic analysis
|
|---|
| Research Institution | Shinshu University |
|---|
Principal Investigator |
ICHINOSE Wataru Shinshu University, Math. Sci., Professor, 理学部, 教授 (80144690)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
MORIMOTO Yoshinori Kyoto University, Inte. Human Stud., Professor, 総合人間学部, 教授 (30115646)
HIROSHIMA Fumio Kyusyu University, Fac. Math., Associate Professor, 数理学研究院, 助教授 (00330358)
KUMANO-GO Naoto Kogakuin University, Math., Associate Professor, 工学部, 助教授 (40296778)
TANIUCHI Yasushi Shinshu University, Math. Sci., Associate Professor, 理学部, 助教授 (80332675)
OTOBE Yoshiki Shinshu University, Math. Sci., Lecturer, 理学部, 講師 (30334882)
|
|---|
| Project Period (FY) |
2004 – 2006
|
| Project Status |
Completed (Fiscal Year 2006)
|
| Budget Amount *help |
¥3,700,000 (Direct Cost: ¥3,700,000)
Fiscal Year 2006: ¥1,200,000 (Direct Cost: ¥1,200,000)
Fiscal Year 2005: ¥1,200,000 (Direct Cost: ¥1,200,000)
Fiscal Year 2004: ¥1,300,000 (Direct Cost: ¥1,300,000)
|
|---|
| Keywords | Feynman path integral / partition function / correlation function / path integral of the functional / spin / Pauli equation / quantum electrodynamics / creation and annihilation operators / 量子測定理論 / spin / 汎函数微分 / Pauli方程 / 重み付きFeynman経路積分 |
|---|
| Research Abstract |
The aim of our project was to study the Feynman path integrals, usually used in physics, which is defined by means of piecewise free motions, i.e. broken line paths. In detail, my research plan was as follows. (1) The theory of the asymptotic expansion. (2) The theory of quantum continuous measurements. (3) The theory of the quantum electrodynamics. Though we had to change a part of my plan from some reasons, we could get the research results below for these three years.
(1) We could give the mathematical proof of the formula deriving the correlation functions from the partition function, which is well known in physics. That is, for n dimensional real valued continuous function J the partition function Z(J)f can be defined by means of the Feynman path integral and is differentiable in the Frechet sense, and their derivatives give the correlation functions.
(2) We could prove the existence of the phase space Feynman path integral for the product of functionals z_j(q(t_j),p(t_j)) and gave
… More
its representation by means of operators. From this result we could give the mathematical definition and the mathematical proof for the formulas given in Feynman (1948) and Feynman-Hibbs (1965) heuristically.
(3) The problem to give the definition of the Feynman path integral for a particle with spin has been not solved for a long time (cf. p.355 in Feynman-Hibbs, Schulman(1981)). In my research we could give the definition of the Feynman path integral for some particles with spin, prove its existence and prove that the Feynman path integral satisfies the Pauli equation in the case of one particle.
(4) We studied the formalization of the quantum electrodynamics by means of the Feynman path integral. We succeeded in it under the assumption cutting off the part of photons with high frequency by means of the constraint condition, which is assumed usually in physics. We also succeeded in formalizing the quantum electrodynamics without the constraint condition by means of the phase space Feynman path integral. In addition, we succeed in giving the creation and annihilation operators of photos by means of differential operators concretely. Less
|
