Ik ben bezig met het afleiden van de Schrödingervergelijking uit het padformalisme van Feynman. Ik heb het boek Quantum Transport Theory van J. Rammer voor me liggen. Hij stelt hierin het volgende:
\(\psi(x,t) = \int \mathrm{d}x' K(x,t;x',t') \psi(x',t')\)
,
waarbij K de conditional probability amplitude is. Merk op dat x hier een drie-dimensionale vector is. Voor een Lagrangiaan
\(L(x,\dot{x},t) = \frac{1}{2}m\dot{x}^2 - V(x,t)\)
, geldig voor een deeltje met massa m in een potentiaal V, vindt hij een uitdrukking voor K voor een infinitesimale tijd
\(\Delta t\)
:
\(K(x,t+\Delta t;x',t) = \frac{1}{\Bigl(\frac{2 \pi \hbar i \Delta t}{m}\Bigr)^{3/2}} e^{\frac{i}{\hbar} \frac{m (x-x')^2}{2 \Delta t} - \frac{i}{\hbar} \Delta t V(\frac{x+x'}{2},t)}\)
.
Dit is niet direct triviaal, maar de afleiding staat in het boek, maar die zal ik hier maar besparen. Deze twee vergelijkingen kun je nu combineren tot:
\(\psi(x,t+\Delta t) = \int \mathrm{d}x' \frac{1}{\Bigl(\frac{2 \pi \hbar i \Delta t}{m}\Bigr)^{3/2}} e^{\frac{i}{\hbar} \frac{m (x-x')^2}{2 \Delta t} - \frac{i}{\hbar} \Delta t V(\frac{x+x'}{2},t)} \psi(x',t')\)
.
Nu introduceert hij de variabele
\( \bar{x} = x - x'\)
en doet een Taylor expansie aan beide kanten voor de laagste orde termen in
\(\Delta t\)
:
\(\psi(x,t) + \Delta t \frac{\partial \psi(x,t)}{\partial t} = \Bigl( \frac{m}{2 \pi i \hbar \Delta t}\Bigr)^{3/2} \int \mathrm{d}\bar{x} e^{\frac{i}{\hbar} \frac{m \bar{x}^2}{2 \Delta t}} \Bigl[ 1 - \frac{i}{\hbar} \Delta t V(x,t) + \hdots \Bigr] \cdot \Bigl[\psi(x,t) - \bar{x} \cdot \frac{\partial \psi(x,t)}{\partial x} + \frac{1}{2} \bar{x}_{\alpha} \frac{\partial^2 \psi(x,t)}{\partial x_{\alpha} \partial x_{\beta}} \bar{x}_{\beta} + \hdots \Bigr]\)
.
Tot hier snap ik het, maar nu staat er letterlijk: performing the Gaussian integrals we obtain the Schrödinger equation for a particle in a potential
\(i \hbar \frac{\partial \psi(x,t)}{\partial t} = \Bigl( -\frac{\hbar^2}{2 m} \frac{\partial^2}{\partial x^2} + V(x,t) \Bigr) \psi(x,t)\)
.
Weet iemand hoe hij hierbij komt? Ik heb al gezocht op Gaussian integral op Wikipedia, maar daarmee heb ik dit probleem niet kunnen oplossen. Enig idee hoe je van de een na laatste formule naar de laatste formule komt?
p.s. Ik hoop trouwens dat de TeX code te lezen is voor iedereen. Zo niet, dan moet je het even zeggen, dan probeer ik het te verbeteren of een plaatje te posten met de formules.