# Checking that the propagator for Harmonic Oscillator satisfies Schroedinger Equation [closed]

I have the propagator for the harmonic oscillator.

$$K(x_f,x_0,t)=\sqrt{\frac{m\omega}{2 \pi \hbar \sin{wt}}}\exp\left(\frac{i}{\hbar}\frac{m\omega}{2 \sin{\omega t}}((x_0^2+x_f^2)\cos\omega t-2x_0x_f)-\frac{i\pi}{4} \right)$$

and

$$K(x_f,x_0,t)=<x_f |e^{-\frac{i}{\hbar}\hat{H}t} |x_0 >$$

and the Schrodinger equation

$$\hat{H}\psi(\textbf{q},t)=i\hbar \frac{\partial}{\partial t}\psi(\textbf{q},t)$$

This may seem silly but I just cannot see from my notes how you can the propagator satisfies this Schrodinger equation. I think it may come from some lack of understanding as to what the propagator means.

## closed as off-topic by ACuriousMind♦, Brandon Enright, Kyle Kanos, JamalS, BMSFeb 5 '15 at 21:45

This question appears to be off-topic. The users who voted to close gave this specific reason:

• "Homework-like questions should ask about a specific physics concept and show some effort to work through the problem. We want our questions to be useful to the broader community, and to future users. See our meta site for more guidance on how to edit your question to make it better" – Brandon Enright, Kyle Kanos, JamalS, BMS
If this question can be reworded to fit the rules in the help center, please edit the question.

• How did you derive the propagator? – Ryan Unger Feb 4 '15 at 23:43
• Using the action of the Lagrangian, and a couple of clever tricks. This is stuff from lecture notes – Permian Feb 4 '15 at 23:48
• For a general proof that path integrals reproduce the Schroedinger equation, see physics.stackexchange.com/q/163075 – Ryan Unger Feb 4 '15 at 23:52
• @ACuriousMind: I think he means "satisfy" in the sense that the convolution of the propagator with an initial solution yields another solution. – Ryan Unger Feb 5 '15 at 0:50
• The propagator doesn't follow the Schroedinger equation, it obeys $\psi(x,t)=\int\psi(x',t')K(x,t;x't')dx'$. To check your propagator, you need to solve that integral. – Kyle Kanos Feb 8 '15 at 15:29

The propagator does satisfy the Schrodinger equation for most values of x and t...

The easiest way to show this is to let $\hbar=m=\omega=1$. Also, we can work with $\sqrt{2\pi}e^{i\pi/4}K\to K$ instead of $K$ to clean up the mess a little further. Further, let $x_f\to x$ and $x_0 \to 0$.

Then let: $K=fe^{ig}$ with

$f=\frac{1}{\sqrt{\sin(t)}}$

and

$g=\frac{x^2\cos(t)}{2\sin{t}}$

And, since $m=\omega=1$, we want to show that:

$i\dot K = -\frac{1}{2}K''+\frac{x^2}{2}K$

Okay...

$\dot K=\frac{K}{2}\left({\frac{-\cos(t)}{\sin(t)}-i\frac{x^2}{\sin^2(t)}}\right)$

And...

$K''=K\left({i\frac{\cos}{\sin}-x^2\frac{\cos^2}{\sin^2}}\right)$

And... I'll leave the rest up to you. But, I assure you, you will find that: $HK=i\dot K$

...of course, this is not actually, true since actually: $HK=i\dot K+i\delta(x_f-x_0)\delta(t)$

And... I'll leave it up to you to reconcile this issue...

• Sorry its not clear "for most values". I was expecting this to be some kind of "simple" substitution. Your step $\hbar=m=\omega=1$ is very useful. – Permian Feb 8 '15 at 14:40
• Ah, I said "for most values" because K only really satisfies the schrodinger equation if the delta functions (see the very last equation) are zero. For example, you have problems at "t=0". – hft Feb 9 '15 at 2:15