2
$\begingroup$

I am reading "Introduction to Quantum Mechanics" by David Griffiths and I am having trouble understanding part of a derivation of $\frac{d\langle x\rangle }{dt}$ in section 1.5 - Momentum - of the text.

The Author gives EQN 1.29 as

$$ \frac{d\langle x\rangle }{dt} = \frac{i \hbar}{2m} \int _{-\infty} ^{\infty} x \frac{\partial }{\partial x} \left[ \frac{\partial \Psi}{\partial x}\Psi^* - \frac{\partial \Psi^*}{\partial x}\Psi \right] dx $$

He then does integration by parts, saying as a foot note,

Under the integral sign, then, you can peel a derivative off one factor in a product, and slap it onto the other one - it'll cost you a minus sign, and you pick up boundary term.

and gets EQN 1.30: $$ \frac{d\langle x\rangle }{dt} = -\frac{i\hbar}{2m} \int _{-\infty} ^{\infty} \left( \Psi^* \frac{\partial \Psi}{\partial x} - \frac{\partial \Psi^* }{\partial x}\Psi \right) dx $$

He repeats an integration by parts to derive 1.31:

$$ \frac{d\langle x\rangle }{dt} = -\frac{i\hbar}{m} \int _{-\infty} ^{\infty} \Psi^* \frac{\partial \Psi}{\partial x} dx $$

I am not sure how this is integration by parts. In all the integration by parts I have ever done, two terms have been yielded. He mentions a second term saying:

I used the fact that $\frac{\partial x}{\partial x} = 1$, and threw away the boundary term, on the ground that $\Psi$ goes to zero at $\pm$ infinity.

I saw this equation posted on Stack Exchange for a similar question: $$ \int\left(\frac{\partial}{\partial x}f(x)\right)\ g(x)\ \text dx=\int\ f(x)\left(-\frac{\partial}{\partial x}g(x)\right)\ \text dx, $$

in How to prove dp/dt = -dV/dx? Quantum mechanics

Is this true generally? How is this integration by parts? Why can we throw away the other term? How does integration by parts lead to 1.31?

$\endgroup$
  • 1
    $\begingroup$ He tells you why he threw away the second term in your second quote! He is assuming that $\lim_{x\to\pm\infty}\psi(x) = 0$, so the boundary term evaluates to $0$. (Note that this assumption is an additional assumption, it does not follow from $\psi$ being square-integrable, which is often claimed) $\endgroup$ – ACuriousMind Jun 30 '15 at 16:56
  • $\begingroup$ @ACuriousMind What second term? The equation that gives the symbolic representation of "peeling a derivative off one factor ..." doesn't have a second term. Im not sure which term he dropped. $\endgroup$ – Apeiron Jun 30 '15 at 17:01
  • $\begingroup$ It is a requirement that $\lim_{x \rightarrow \pm\infty}\psi(x) = 0$, it must be in the book. This is a requirement because the wave function cannot diverge to be a valid probability density representing a particle that exists, so it has to be somewhere, with probability density $\psi(x)\psi^{*}(x)$ which must be a finite real number. $\endgroup$ – iharob Jun 30 '15 at 17:02
  • $\begingroup$ The part I am not understanding is not yet that whatever second term goes to zero, its how his integrations by parts worked. Whats u,v,du,dv and what the second term even is. I saw an equation that gives his relationship, but I dont understand what it is , where it came from, and if its true generally. $\endgroup$ – Apeiron Jun 30 '15 at 17:06
  • $\begingroup$ For ∫ u dv = uv - ∫ v du, your u = x and your v = ψ'ψ* - ψ*'ψ and the uv term vanishes. $\endgroup$ – Alan Jun 30 '15 at 17:56
6
$\begingroup$

Perhaps its a little clearer if you shorten the contents of the brackets (and lets drop the constants too):

$$\frac{d\langle x\rangle }{dt} \propto \int _{-\infty} ^{\infty} x \frac{\partial }{\partial x} \left[ \ldots\right] dx$$

$$ = \int _{-\infty} ^{\infty} \frac{\partial }{\partial x} \left(x \left[ \ldots\right] \right)dx - \int _{-\infty} ^{\infty} \frac{\partial x}{\partial x} \left[ \ldots\right] dx$$

The first term is the boundary term, which as you discussed with ACuriousMind, goes to zero. More importantly, the derivative on $[\ldots]$ has shifted to $x$ on the second term

Where of course $\frac{\partial x}{\partial x} = 1$

And hence the result:

$$\frac{d\langle x\rangle }{dt} = -\frac{i\hbar}{2m} \int _{-\infty} ^{\infty} \left( \Psi^* \frac{\partial \Psi}{\partial x} - \frac{\partial \Psi^* }{\partial x}\Psi \right) dx$$

Edit:

To the last question: No, that statement is not true in general. Only sometimes are we allowed to throw away the boundary term (it depends on the physical situation, not the maths).

Do you remember how integration by parts comes about? From the product rule:

$$ \frac{d(fg)}{dx} = \frac{df}{dx}g + f\frac{dg}{dx} $$

Then rearrange: $$\frac{df}{dx}g = \frac{dfg}{dx} - f\frac{dg}{dx}$$

Then integrate both sides:

$$\int_{x_0}^{x_1}\frac{df}{dx} g dx = \int_{x_0}^{x_1}\frac{d(fg)}{dx}dx - \int_{x_0}^{x_1} f\frac{dg}{dx}dx$$

Where the derivative and the integral on the first term of the RHS cancel to become

$$\int_{x_0}^{x_1}\frac{df}{dx} g dx = fg |_{x_0}^{x_1}- \int_{x_0}^{x_1} f\frac{dg}{dx}dx$$

What we're saying is that we know $fg$ at $x_0$ and $x_1$ (ie the boundaries) is zero, so we drop that term. Then the net result is we've switched the derivative from f to g, at the expense of a sign change.

$\endgroup$
  • $\begingroup$ Thank you. I understand alot better now. That relationship can be derived from the product rule. The equation in my question isn't generally valid, except when fg -> 0 in limits of integral. $\endgroup$ – Apeiron Jun 30 '15 at 18:12
  • $\begingroup$ @Apeiron Glad it helped :) (and yes, where I said chain rule I meant product rule). $\endgroup$ – Sam Jun 30 '15 at 18:15
1
$\begingroup$

The derivative of $x f(x)$ is $x f'(x) + f(x)$, and here you're integrating $k \int_{-\infty}^\infty dx ~ x ~ f'(x)$ for some constant $k$, and some complicated function $f$. When you integrate this by parts, you raise $f' dx$ and lower $x$ to find:$$k \int_{-\infty}^\infty dx ~ x ~ f'(x) = k \left[x ~f(x)\right]_{-\infty}^{~\infty} - k \int_{-\infty}^\infty dx ~ f(x).$$Griffiths is merely adding that he expects $f(x)$ to go to zero faster than $1/x$, since that would tend to make the system hard to normalize. So the first term tends to zero at both boundaries and you're just left with the second term.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.