Time independent wave function (prove theorem)

Click For Summary
SUMMARY

The theorem states that the time-independent wave function ## \psi(x) ## can always be expressed as a real function, even if the initial solution is complex. This is achieved by utilizing the complex conjugate of the wave function and forming linear combinations of solutions with the same energy. Specifically, if ## \psi(x) ## satisfies the time-independent Schrödinger equation (Equation [1.0]), then both its complex conjugate and the combinations ##( \psi + \psi^*)## and ##i( \psi - \psi^*)## also satisfy the equation. Thus, it is valid to work exclusively with real wave functions.

PREREQUISITES
  • Understanding of the time-independent Schrödinger equation (Equation [1.0])
  • Familiarity with complex functions and their conjugates
  • Knowledge of linear combinations in the context of quantum mechanics
  • Basic principles of quantum mechanics and wave functions
NEXT STEPS
  • Study the properties of complex conjugates in quantum mechanics
  • Learn about the linear combination of eigenfunctions in quantum mechanics
  • Explore the implications of real-valued wave functions in quantum systems
  • Investigate the role of eigenvalues and eigenfunctions in quantum mechanics
USEFUL FOR

Students and researchers in quantum mechanics, particularly those focusing on wave functions and the Schrödinger equation, will benefit from this discussion.

Cogswell
Messages
54
Reaction score
0

Homework Statement


Prove the following theorum:
The time-independent wave function ## \psi (x) ## can always be taken to be real (unlike ##\Psi (x,t) ##, which is necessarily complex). This doesn't mean that every solution to the time independent Schrödinger equation is real; what it says is that if you've got one that is not, it can always be expressed as a linear combination of solutions (with the same energy) that are. So you might as well stick to ## \psi## 's that are real.
Hint: If ## \psi(x)## satisfies equation [1.0], for a give E, so too does its complex conjugate, and hence also the real linear combinations ##( \psi + \psi ^*)## and ##i( \psi - \psi ^*)##


Homework Equations


Equation [1.0]:

[tex]E \psi = -\dfrac{\hbar ^2}{2m} \dfrac{d^2 \psi}{dx^2} + V \psi[/tex]


The Attempt at a Solution



I don't fully get what it. So it's saying that if I have a ## \psi (x) ## that is a complex function of x, then that can somehow be expressed in the form:

## \psi_{complex} (x) = \psi_1 (x) + \psi_2 (x) + \psi_3 (x) ...##

How does that work? I also don't know how to incorporate the hint into it.

(Sorry quantum mechanics isn't my strong point so it would help if you explained it to me in simple terms)
 
Physics news on Phys.org
Cogswell said:

Homework Statement


Prove the following theorum:
The time-independent wave function ## \psi (x) ## can always be taken to be real (unlike ##\Psi (x,t) ##, which is necessarily complex). This doesn't mean that every solution to the time independent Schrödinger equation is real; what it says is that if you've got one that is not, it can always be expressed as a linear combination of solutions (with the same energy) that are. So you might as well stick to ## \psi## 's that are real.
Hint: If ## \psi(x)## satisfies equation [1.0], for a give E, so too does its complex conjugate, and hence also the real linear combinations ##( \psi + \psi ^*)## and ##i( \psi - \psi ^*)##

Homework Equations


Equation [1.0]:

[tex]E \psi = -\dfrac{\hbar ^2}{2m} \dfrac{d^2 \psi}{dx^2} + V \psi[/tex]

The Attempt at a Solution



I don't fully get what it. So it's saying that if I have a ## \psi (x) ## that is a complex function of x, then that can somehow be expressed in the form:

## \psi_{complex} (x) = \psi_1 (x) + \psi_2 (x) + \psi_3 (x) ...##

How does that work? I also don't know how to incorporate the hint into it.

(Sorry quantum mechanics isn't my strong point so it would help if you explained it to me in simple terms)
Do you know how to express the real and imaginary parts of a complex number z in terms of z and z*? (If not, write down the definition of z* and figure it out).

Note that the eigenfunctions of H are supposed to span the entire space of functions that we're dealing with. If ##f_1,f_2,\dots## are eigenfunctions of H with eigenvalues ##E_1,E_2,\dots##, then the set ##\{f_n\}_{n=1}^\infty## is a basis for that space. Your job is to take an arbitrary basis like that and find a way to replace it with one that consists only of real-valued functions.
 
Last edited:

Similar threads

Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
1
Views
2K