Derivation of momentum expectancy

[A_B]

I'm trying to figure out why

\lim_{x \to +\infty} \left(x \Psi^* \frac{\partial \Psi}{\partial x} \right) = 0

This is what I've done so far:


Since \Psi must go to zero faster than x^{-1/2} as x \to +\infty we have

<br /> \begin{align*}<br /> \frac{\partial \Psi}{\partial x} &amp;&lt; \frac{d}{dx} (x^{-1/2}) \\<br /> &amp;= -\frac{1}{2} x^{-3/2}<br /> \end{align*}<br />

So

<br /> \lim_{x \to +\infty} \left(x \Psi^* \frac{\partial \Psi}{\partial x} \right) &lt; \lim_{x \to +\infty} \left(-\frac{1}{2} \Psi^* x^{-1/2} \right) = 0<br />

Since \Psi^* \to 0 as x \to \infty.


I think this proves that the limit must be smaller than zero, but here I'm stuck.


Help is much appreciated,
A_B

 

[diazona]

I think you're misunderstanding the meaning of a limit. The limit as x\to\infty of a function isn't an actual value that the function takes on. It only means that the value of the function gets closer and closer to the limiting value as x gets larger than larger. And when you have an expression involving a limit, it's "code" for thinking about what happens to the value of the expression as the limit is approached. You don't literally evaluate the limit and use it as a number.

In a sense,
\lim_{x\to\infty}x\Psi^* \frac{\partial\Psi}{\partial x} &lt; \lim_{x\to\infty}-\frac{1}{2}\Psi^* x^{-1/2}
should be treated as if it read
\lim_{x\to\infty}\biggl[x\Psi^* \frac{\partial\Psi}{\partial x} &lt; -\frac{1}{2}\Psi^* x^{-1/2}\biggr]
You can then use something akin to the limit comparison test.

 

[A_B]

I thought the limit comparison test was for checking convergence infinite series?


I'll write out my original question in it's context.

I'm studying from Griffiths Introduction to Quantum Mechanics. The problem arises in the derivation of the expectation value of momentum:

(All integrals are from -infinity to +infinity)
Starting from the expectation value of position
<br /> \left&lt;x\right&gt; = \int x\left|\Psi\right|^2 dx<br />

The expectation value for velocity is the time derivative of this
<br /> \begin{align*}<br /> \left&lt;v\right&gt;=\frac{d\left&lt;x\right&gt;}{dt} &amp;= \int x \frac{\partial}{\partial}\left|\Psi\right|^2 dx \\<br /> &amp;= \frac{i\hbar}{2m}\int x \frac{\partial}{\partial x}\left( \Psi^* \frac{\partial \Psi}{\partial x} - \frac{\partial \Psi^*}{\partial x} \Psi \right) dx<br /> \end{align*}<br />

Partial integration then gives
<br /> =-\frac{i \hbar}{2m} \left[ \int \left( \Psi^* \frac{\partial \Psi}{\partial x} - \frac{\partial \Psi^*}{\partial x} \Psi \right) dx - \left.\left(x\Psi^* \frac{\partial \Psi}{\partial x} - x\frac{\partial \Psi^*}{\partial x} \Psi \right)\right|_{-\infty}^{+\infty} \right]<br />


Griffiths says the boundary term equals zero so
<br /> =-\frac{i\hbar}{2m} \int \left( \Psi^* \frac{\partial \Psi}{\partial x} - \frac{\partial \Psi^*}{\partial x} \Psi \right) dx<br />


My question is why that boundary term is zero.


A_B

 

[kloptok]

The boundary term is zero because the assumption is that the wavefunction vanishes at x=∞. Otherwise it wouldn't be normalized correctly. I know that Griffiths mentions this in the beginning chapters.

 

[dextercioby]

Psi(x) is a test function, a Schwartz function so those limits are 0.

 

[A_B]

Hi,

I understand why ψ(x) vanishes as x→∞, the problem is that the boundary term is not only ψ(x), but it involves terms of the form xψ*(∂ψ/∂x). So, to me at least, it's not entirely obvious why these terms must vanish. I'm looking for a mathematical argument for why this is so.

dextercioby: Griffiths mentions that the wavefunction must go to zero faster than 1/√|x|. Which I understand follows from the requirement that the wavefunction is normalizable. Why should be a Schwartz function, which goes to zero faster than any inverse power of x?


Thanks
A_B

 

[dextercioby]

Because the momentum operator and all its powers can be rendered essentially self-adjoint on the real line, iff the domain of this operator is the Schwartz space.

 

[diazona]

I thought the limit comparison test was for checking convergence infinite series?

Yes, it is. That's why I mentioned doing something akin to the limit comparison test: you're working with a function, not a series. The limit comparison test tells you to compute the ratio of a_n/b_n as n\to\infty, so here you compute the limit of the ratio between the two functions,
\lim_{x\to\infty}\frac{x\Psi^* \frac{\partial\Psi}{\partial x}}{-\frac{1}{2}\Psi^* x^{-1/2}}
The point I'm trying to make is that your calculations in your original post were correct, but they did not show that the limit of the former function must be strictly less than zero. The limit could be equal to zero.

Sorry about the delayed response, by the way; I was on vacation for the week and there were some problems with internet access.