(Quantum Mechanics) Prove that <p> = m (d<x>/dt)

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
11 replies · 12K views
emol1414
Messages
18
Reaction score
0

Homework Statement


Prove that [itex]<p> = m \frac{d<x>}{dt}[/itex]

Homework Equations


Schrödinger Equation: [itex]i\hbar[/itex] [itex]\frac{\partial \Psi} {\partial x}[/itex] = -[itex]\frac{\hbar^2}{2m}[/itex] [itex]\frac{\partial^2 \Psi}{\partial x^2}[/itex] + [itex]V{} \Psi[/itex]

Respective complex conjugate from equation above

Expectation Position: <x> = [itex]\int_{-\infty}^{+\infty} x\Psi {\Psi}^*[/itex] dx

The Attempt at a Solution


Derive <x> with respect to t... with V real, we know that V = V*, and after some basic steps we get:

[itex]\frac {d<x>}{dt}[/itex] = [itex]\frac{i \hbar}{2m}[/itex] [itex]\int[/itex] [itex]dx[/itex] [itex]x[/itex][[itex]\Psi^*[/itex][itex](\frac{\partial^2 \Psi}{\partial x^2}[/itex]) - [itex]\Psi[/itex] [itex](\frac{\partial^2 \Psi^*}{\partial x^2})[/itex]]

Then my problem is with the integration by parts... for
[itex]\int_{a}^{b}[/itex] [itex]f \frac{dg}{dx} dx[/itex] = [itex]fg[/itex] [itex]{|}^{b}_{a}[/itex] - [itex]\int_{a}^{b}[/itex] [itex]g \frac{df}{dx} dx[/itex]

I'm choosing [itex]f = x\Psi^*[/itex] and [itex]g = \frac{\partial \Psi}{\partial x}[/itex], but I think I'm not getting right these limits considerations... any sugestions or enlightenments?_______________________________________________________
EDIT ([itex]\frac{\partial \Psi}{\partial}[/itex] with respect to time, not position)
Schrödinger Equation: [itex]i\hbar[/itex] [itex]\frac{\partial \Psi} {\partial t}[/itex] = -[itex]\frac{\hbar^2}{2m}[/itex] [itex]\frac{\partial^2 \Psi}{\partial x^2}[/itex] + [itex]V{} \Psi[/itex]
 
Last edited:
Physics news on Phys.org
vela said:
What happened to the dx/dt term when you took the time derivative of [itex]x\Psi\Psi^*[/itex]?

In QM x don't depend on t, right?
 
*Fixed a typo in the equation
 
So, we have, for the product rule, that
[itex]\int_{a}^{b}[/itex] [itex]f \frac{dg}{dx} dx[/itex] = [itex]fg[/itex] [itex]{|}^{b}_{a}[/itex] - [itex]\int_{a}^{b}[/itex] [itex]g \frac{df}{dx} dx[/itex]

And choosing [itex]f = x\Psi^*[/itex] and [itex]g = \frac{\partial \Psi}{\partial x}[/itex]

[itex]\frac {d<x>}{dt}[/itex] = [itex]\frac{i \hbar}{2m}[/itex] {[itex]x \Psi^* \frac{\partial \Psi}{\partial x} |^{\infty}_{-\infty} - \int_{-\infty}^{\infty} \frac{\partial \Psi}{\partial x}(\Psi^* + x \frac{\partial \Psi^*}{\partial x})dx - x \Psi \frac{\partial \Psi^*}{\partial x} |^{\infty}_{-\infty} + \int_{-\infty}^{\infty} \frac{\partial \Psi^*}{\partial x}(\Psi + x \frac{\partial \Psi}{\partial x})dx[/itex]}

I guess up to this point it's ok... now I don't know how to work with these limits, which considerations should I do?
 
vela said:
Assume the wave function and its derivative go to 0 as x goes to ±∞.

Right... I'm not really sure why this is true (??), but doing so... we perform integration by parts 2 times and then

[itex]\frac {d<x>}{dt}[/itex] = -[itex]\frac{i \hbar}{2m}[/itex] {[itex]\int_{-\infty}^{\infty} \Psi^*(\frac{\partial \Psi}{\partial x}) - \Psi (\frac{\partial \Psi^*}{\partial x} )dx[/itex]}

That's it?
 
You're almost done. Remember that[tex]\langle p \rangle = \int dx\,\Psi^* \hat{p} \Psi = \int dx\,\Psi^*\left(-i\hbar\frac{\partial}{\partial x}\right) \Psi[/tex]
You want to get the righthand side to look like that. One term already looks like that, but you still need to take care of the other one.
 
Got it! Integration by parts only in one of the two terms left and then add to the other, so the factor 1/2 is gone... but... there's a m missing in the denominator, right?

Thank you! =)

One more thing... why is that [itex]\Psi[/itex] goes to 0 when x [itex]\rightarrow[/itex] [itex]\pm[/itex] [itex]\infty[/itex]? Is it a "single-case" fact, or is it always true?
 
The wave function needs to vanish at infinity to be normalizable. You have to assume the function goes to 0 fast enough so that the boundary terms go to 0. There's probably a rigorous justification for it, but I don't recall it offhand.
 
emol1414 said:
[...]

One more thing... why is that [itex]\Psi[/itex] goes to 0 when x [itex]\rightarrow[/itex] [itex]\pm[/itex] [itex]\infty[/itex]? Is it a "single-case" fact, or is it always true?

It's not mandatory, but usually one picks up from L^2 functions only the Schwartz test functions and that for a good reason.