1
$\begingroup$

I was reading this article and I'm trying to follow this author's proof. The author jumps from

$\psi_1(x)\frac{\partial^2\psi_2(x)}{\partial x^2}-\psi_2(x)\frac{\partial^2\psi_1(x)}{\partial x^2}=0$ to

$\psi_1(x)\frac{\partial\psi_2(x)}{\partial x}-\psi_2(x)\frac{\partial\psi_1(x)}{\partial x}=Constant$

I've tried integrating by parts but it just seems to get mucky fast. Can anyone help me clarify how this is such a simple procedure?

  • 0
    You may get further by looking up the term "first integral of motion", which is what the second line is.2012-10-21

1 Answers 1

2

For clarity, let $\partial$ stand for $\frac{\partial}{\partial x}$ and $\partial^2$ for the iterated $\partial$. Now by the product rule run slightly in reverse

$\psi_1 \partial^2 \psi_2 = \partial(\psi_1 \partial\psi_2) - \partial\psi_1\partial\psi_2$

and

$\psi_2 \partial^2 \psi_1 = \partial(\psi_2 \partial\psi_1) - \partial\psi_2\partial\psi_1$

Finally, we have

$\psi_1 \partial^2 \psi_2 - \psi_2 \partial^2 \psi_1 = \partial(\psi_1 \partial\psi_2) - \partial\psi_1\partial\psi_2 - (\partial(\psi_2 \partial\psi_1) - \partial\psi_2\partial\psi_1)$

which equals

$\partial(\psi_1 \partial\psi_2) - \partial(\psi_2\partial\psi_1) = \partial(\psi_1 \partial\psi_2-\psi_2\partial\psi_1) $

which means that

$\psi_1 \partial\psi_2-\psi_2\partial\psi_1 = \text{constant}$

  • 0
    Thanks so much Aleks. That's a neat trick.2012-10-21