Prove that Operators are Hermitian

In summary, the student is trying to integrate a function involving the i operator, but gets stuck. The solution provided is that the i operator is Hermitian, and that the student needs to integrate by parts and use the limits of integration.
  • #1
chris_avfc
85
0

Homework Statement



Prove that i d/dx and d^2/dx^2 are Hermitian operators


Homework Equations



I have been using page three of this document http://www.phys.spbu.ru/content/File/Library/studentlectures/schlippe/qm07-03.pdf and the formula there.


The Attempt at a Solution



I have taken a photo and attached it as I'm not good with Latex and it will just look messy, hope that isn't a problem.
I get stuck as I have done the integration for both sides of the equation, I get answers very similar, apart from the complex conjugates.
I'm confused as to what do with them or if I've even done it right.

Thank You
 

Attachments

  • 1.jpg
    1.jpg
    17.3 KB · Views: 2,356
  • 2.jpg
    2.jpg
    17.6 KB · Views: 2,537
  • 3.jpg
    3.jpg
    16.5 KB · Views: 2,086
Physics news on Phys.org
  • #2
chris_avfc said:

Homework Statement



Prove that i d/dx and d^2/dx^2 are Hermitian operators

Homework Equations



I have been using page three of this document http://www.phys.spbu.ru/content/File/Library/studentlectures/schlippe/qm07-03.pdf and the formula there.

The Attempt at a Solution



I have taken a photo and attached it as I'm not good with Latex and it will just look messy, hope that isn't a problem.
I get stuck as I have done the integration for both sides of the equation, I get answers very similar, apart from the complex conjugates.
I'm confused as to what do with them or if I've even done it right.

Thank You
Sorry, but I wasn't able to follow your work all the way through. It sort of looked to me though that you might have accidentally dropped a [itex] d \psi [/itex] or [itex] dx [/itex] maybe, in addition to maybe some other stuff that doesn't look quite right.

Since this is a two part problem, I'll start with the first part, proving that i d/dx is Hermitian.

First the goal. Your goal is to start with:

[tex] \int \left( i \frac{d}{dx} \psi \right)^* \psi \ dx, [/tex]

and finagle that until you can show that it equals

[tex] \int \psi^* \left( i \frac{d}{dx} \right) \psi \ dx [/tex]

And you are correct that you want to use integration by parts to do this. Example (ii) on page 3 of your attachment pretty much does it for you. However, this example takes a few shortcuts. I'll try to give you some hints about how to do the math without taking the shortcuts.

Hint 1:

If A and B are complex variables, then (AB)* = A*B*.

Hint 2:

[tex] \left( \frac{d}{dx} U \right) V \ dx = \left( d U \right) V = V \ dU [/tex]
The important part of that hint is to note that the "dx"s cancel.

The example (ii) in your attachment doesn't follow through with this cancellation, but it could have. The reason it doesn't follow through with the cancellation is so that it doesn't have to add the "dx"s back in at the end of the calculations (or concern itself with the limits of integration, although those wouldn't change anyway for this particular problem). That's one of the shortcuts the example is doing.

Hint 3:

You don't really have to make the substitutions using U's, V's dU's and dV's if you don't want to. The equation you start with is so close to the integration by parts definition to begin with, it might just be easier to stick with [itex] \psi [/itex]'s, [itex] \psi^* [/itex]'s, [itex] d \psi [/itex]'s and [itex] d \psi^* [/itex]'s.

(However if you'd like to make the substitutions to U's, V's dU's and dV's, you are certainly free to do so.)

Hint 4:

The example in your attachment leaves out the limits of integration so as not to clutter up the equations. But they are still there. The limits of integration are x = -∞ to ∞. You can't forget about those for this problem.

Restating the general formula for integration by parts, without forgetting limits, we have

[tex] \int_a^b U \ dV = UV |_a^b - \int_a^b V \ dU [/tex].
I think you missed part of that in your attempted solution. You need to evaluate the UV term using the limits (the actual limits in this case are at x = -∞ to ∞). Evaluating that term is the crux of solving this part of the problem.

After all that, refer to example (iii) for the d2/dx2 operator. That example uses some shortcuts (and substitutions) too, but they are no less straightforward than the previous example.
 
  • #3
collinsmark said:
Hint 1:

Hint 2:

Hint 3:

Hint 4:
.

Thank you very much for that mate, I see I have made a whole number of stupid mistakes, especially forgetting all about limits.

I still can't get it right though, I'm taking the constant [itex] i [/itex] or [itex] i^* [/itex] out of the differential, cancelling the [itex] dx [/itex], then doing integration by parts with what is left which is:

[tex] i \int \psi^* d\psi [/tex] on the right hand side,

and

[tex] i^* \int \psi d\psi^* [/tex] on the left hand side.

I'm ending up with:

[tex]i(\psi \psi^* - \infty^2)[/tex] on the right hand side.

and

[tex]i^*(\psi \psi^* - \infty^2)[/tex] on the left hand side.

The whole infinite thing makes me think I have done it wrong again.
 
Last edited:
  • #4
chris_avfc said:
Thank you very much for that mate, I see I have made a whole number of stupid mistakes, especially forgetting all about limits.

I still can't get it right though, I'm taking the constant [itex] i [/itex] or [itex] i^* [/itex] out of the differential, cancelling the [itex] dx [/itex], then doing integration by parts with what is left which is:

[tex] i \int \psi^* d\psi [/tex] on the right hand side,
Okay, that's fine, but there's really no need to simplify anything on the right side of the equation. The right side of the equation is your end goal. The task at hand is to manipulate the left side of the equation until it looks like
[tex] \int \psi^* \left( i \frac{d}{dx} \right) \psi \ dx. [/tex]
Once it looks like that you're finished. :smile:

Of course there's nothing wrong with simplifying it
[tex] \int \psi^* \left( i \frac{d}{dx} \right) \psi \ dx = i \int \psi^* d \psi [/tex]
and then "meeting in the middle." I'm just sayin', I think your instructor probably wants you to start with
[tex] \int \left(i \frac{d}{dx} \psi \right)^* \psi \ dx [/tex]
and end with
[tex] \int \psi^* \left( i \frac{d}{dx} \right) \psi \ dx. [/tex]

(Note, I left the limits of integration off too, to avoid clutter. You can add them in if you wish.)

But what you did is fine, so let's just continue.

and

[tex] i^* \int \psi d\psi^* [/tex] on the left hand side.
Okay, so far so good. :approve:

Hint 5:

The complex conjugate of [itex] i [/itex] is [itex] -i [/itex].
[tex] i^* = -i [/tex]
I'm ending up with:

[tex]i(\psi \psi^* - \infty^2)[/tex] on the right hand side.

and

[tex]i^*(\psi \psi^* - \infty^2)[/tex] on the left hand side.

The whole infinite thing makes me think I have done it wrong again.
Now you kind of lost me. Although we are doing integration by parts, there's no way to fully evaluate the integral. There's no way to evaluate [itex] \int \psi^* d \psi [/itex] without knowing more about the function [itex] \psi(x) [/itex]. So you'll just need to leave that in integral form.

Let me help out a little more, setting up the integration by parts.

[tex] -i \left[ \int \psi d \psi^* \right] = -i \left[ \psi \psi^* |_{x=-\infty}^{\infty} - \int \psi^* d \psi \right] [/tex]

I mentioned before, you can't evaluate [itex] \int \psi^* d \psi [/itex]. But you can evaluate [itex] \psi \psi^* |_{x=-\infty}^{\infty} [/itex]. In order for [itex] \psi (x) [/itex] to be a valid wavefunction, it must be square integrable. And in order for it to be square integrable, [itex] | \psi (x) |^2 = \psi \psi^*(x) [/itex] must taper off to zero as x approaches infinity or negative infinity.

I think you were assuming that [itex] \psi [/itex] approaches infinity as x approaches infinity. That's not true. (If it was, [itex] \psi [/itex] would not be a valid wavefunction.)
 
Last edited:
  • #5
collinsmark said:
Okay, so far so good. :approve:

Hint 5:

The complex conjugate of [itex] i [/itex] is [itex] -i [/itex].
[tex] i^* = -i [/tex]

And in order for it to be square integrable, [itex] | \psi (x) |^2 = \psi \psi^*(x) [/itex] must taper off to zero as x approaches infinity or negative infinity.

I think you were assuming that [itex] \psi [/itex] approaches infinity as x approaches infinity. That's not true. (If it was, [itex] \psi [/itex] would not be a valid wavefunction.)

Ah I see, I didn't realize you couldn't evaluate the integral and I was assuming that it went to infinite as well.
But how do you get the [itex] dx [/itex] back in at the end, do you just insert them back?

God knows how I am going to manage the rest of this sheet now, thank you though.

By the way the link in your sig is such a great help, I've bookmarked it.
 
  • #6
chris_avfc said:
But how do you get the [itex] dx [/itex] back in at the end, do you just insert them back?
You could note that [itex] d \psi = \left( \frac{d}{dx}\psi \right) dx [/itex] and substitute.
 
  • #7
collinsmark said:
You could note that [itex] d \psi = \left( \frac{d}{dx}\psi \right) dx [/itex] and substitute.

Ah of course!

So looking at example iii on the sheet I linked, how do they manage to move the [itex] p [/itex] out of the conjugate like that?
 
  • #8
chris_avfc said:
Ah of course!

So looking at example iii on the sheet I linked, how do they manage to move the [itex] p [/itex] out of the conjugate like that?
Again, the example skipped a lot of steps. To solve that example without skipping steps, you'll need to integrate by parts again, but this time you'll be doing it twice. Note that
[tex] \hat p = -i \hbar \frac{d}{dx} [/tex]
The example didn't explicitly show that. Instead example (iii) builds off of the previous example (which is almost the same as what we just did above). Building off of the previous example, you can use
[tex] \left[ \left( \frac{d}{dx} \right) g(x) \right]^* =g^*(x) \left(\frac{d}{dx} \right) [/tex]
twice.

If you don't want to build off of the previous example, you can do example (iii) by noting that
[tex] \hat T = \frac{\hat p ^2}{2m} = -\frac{\hbar^2}{2m} \frac{d^2}{dx^2} [/tex]
and do integration by parts twice, the long way.
 
  • #9
'Just to avoid any possible misinterpretation, when I claimed,
collinsmark said:
[tex] \left[ \left( \frac{d}{dx} \right) g(x) \right]^* =g^*(x) \left(\frac{d}{dx} \right) [/tex]
I should have made a note that that only applies if [itex] g(x) [/itex] is square integrable. Of course, we're assuming that it is here. :smile: Good luck!
 
  • #10
collinsmark said:
'Just to avoid any possible misinterpretation, when I claimed,

I should have made a note that that only applies if [itex] g(x) [/itex] is square integrable. Of course, we're assuming that it is here. :smile: Good luck!

So if I were to apply that to the second part of my question, I could take the [itex] d^2/dx^2 [/itex] out of the conjugate?
 
  • #11
I'm sorry, but I made a big mistake. The last thing I intended to do was confuse you, but I think I might have done so. :blushing:

In my two most recent posts, I mistakenly wrote,
[tex] \left[ \left( \frac{d}{dx} \right) g(x) \right]^* =g^*(x) \left(\frac{d}{dx} \right) \mathrm{\ \ \ \ \ [sic]}[/tex]
That's wrong! I forgot an [itex] i [/itex] in a couple places. What I should have wrote was
[tex] \left[ \left(i \frac{d}{dx} \right) g(x) \right]^* =g^*(x) \left(i \frac{d}{dx} \right)[/tex]
It turns out that [itex] i [/itex] is important. Why? because [itex] \frac{d}{dx} [/itex] by itself is not a Hermitian operator. That [itex] i [/itex] in front of it is needed to make it Hermitian. The reason it is allowed to pull the [itex] \left( i \frac{d}{dx} \right) [/itex] operator out from under the conjugate, and to the right (instead of to the left), is because it is Hermitian. If the operator was not Hermitian, we wouldn't be allowed to do that.
chris_avfc said:
So if I were to apply that to the second part of my question, I could take the [itex] d^2/dx^2 [/itex] out of the conjugate?
Yes and no. 'Yes' because [itex] \frac{d^2}{dx^2} [/itex] is Hermitian. 'No' because you haven't proven that yet. The whole point of the second part of the problem statement is to prove that [itex] \frac{d^2}{dx^2} [/itex] is Hermitian. Until you do that, you're not allowed to pull it out (to the right) directly.

Since I confused you once (by forgetting the [itex] i [/itex]), let me try to make up for it by helping out a little more.

As I mentioned before, there are a couple ways to approach the second part of the problem statement. You could prove it by integrating by parts, twice. Or alternately, you could prove it by building off the first part of the problem statement. Following the path taken by page 3, (iii) if your attachment, I'll help you with the latter approach.

Although you're not allowed to pull out a [itex] \frac{d^2}{dx^2} [/itex] from underneath the conjugate, and to the right, in this particular problem (until you prove it is Hermitian), you can pull out a [itex] \left( i \frac{d}{dx} \right) [/itex], because you've already proven that that operator is Hermitian.

Let's start with
[tex] \int \left( \frac{d^2}{dx^2} \psi \right)^* \psi \ dx. [/tex]
The first thing we can do is split up the [itex] \frac{d^2}{dx^2} [/itex] into two [itex] \frac{d}{dx} [/itex] operations.
[tex] \int \left[ \frac{d}{dx} \left( \frac{d}{dx} \psi \right) \right]^* \psi \ dx. [/tex]
Next we note that [itex] -i^2 = 1 [/itex], and multiply everything in the square brackets by [itex] -i^2 [/itex]. It should be obvious now that that doesn't change anything, because we're just multiplying everything within the brackets by 1.
[tex] \int \left[ -i^2 \frac{d}{dx} \left( \frac{d}{dx} \psi \right) \right]^* \psi \ dx. [/tex]
Let's redistribute the [itex] i [/itex]'s.
[tex] \int - \left[ i \frac{d}{dx} \left(i \frac{d}{dx} \psi \right) \right]^* \psi \ dx. [/tex]
Now we can start pulling out [itex] \left( i \frac{d}{dx} \right) [/itex] terms, and to the right. I can't do the whole problem for you but I'll show you how to do the first one (you'll have to do it twice, total).
[tex] \int - \left[ \color{red}{i \frac{d}{dx}} \left(i \frac{d}{dx} \psi \right) \right]^* \psi \ dx
= \int - \left[ \left( i \frac{d}{dx} \psi \right)^* \color{red}{\left(i \frac{d}{dx} \right)} \right] \psi \ dx.[/tex]
Now let me just get rid of a set of brackets.
[tex] \int - \left( i \frac{d}{dx} \psi \right)^* \left(i \frac{d}{dx} \right) \psi \ dx.[/tex]
Now you take it from here. Start by pulling out a [itex] \left( i \frac{d}{dx} \right) [/itex] term from under the conjugate, and to the right, which is now in red:
[tex] \int - \left( \color{red}{i \frac{d}{dx}} \psi \right)^* \left(i \frac{d}{dx} \right) \psi \ dx.[/tex]
Simplify after that.

Once you get the answer, I suggest doing the problem again from the beginning, without using this thread as a guide, just so you know you can do it on your own. Good luck! :smile:
 
Last edited:

What is the definition of a Hermitian operator?

A Hermitian operator is a linear operator in a complex vector space that is equal to its own conjugate transpose. In other words, it satisfies the equation A = A, where A is the conjugate transpose of A.

How do you prove that an operator is Hermitian?

To prove that an operator is Hermitian, we need to show that it satisfies the equation A = A. This can be done by taking the conjugate transpose of the operator and comparing it to the original operator. If they are equal, then the operator is Hermitian.

Why is it important for an operator to be Hermitian?

Hermitian operators have many important properties, including the fact that their eigenvalues are real and that they can be diagonalized by a unitary matrix. This makes them useful in quantum mechanics and other areas of physics.

Can a non-square operator be Hermitian?

No, a non-square operator cannot be Hermitian. This is because the conjugate transpose of a non-square matrix will have different dimensions, making it impossible for the two to be equal. Hermitian operators must be square matrices in order for the equation A = A to hold true.

What is the relationship between Hermitian operators and observables in quantum mechanics?

In quantum mechanics, physical observables are represented by Hermitian operators. This is because the eigenvalues of a Hermitian operator represent the possible outcomes of a measurement, and the eigenvectors represent the corresponding states of the system. Therefore, Hermitian operators are essential in understanding the behavior of quantum systems.

Similar threads

  • Introductory Physics Homework Help
Replies
7
Views
3K
  • Advanced Physics Homework Help
Replies
17
Views
1K
  • Quantum Physics
Replies
7
Views
971
  • Introductory Physics Homework Help
Replies
1
Views
2K
  • Introductory Physics Homework Help
Replies
4
Views
6K
  • Introductory Physics Homework Help
Replies
4
Views
12K
  • Advanced Physics Homework Help
Replies
11
Views
1K
  • Linear and Abstract Algebra
Replies
7
Views
1K
  • Advanced Physics Homework Help
Replies
4
Views
3K
  • Advanced Physics Homework Help
Replies
11
Views
3K
Back
Top