Quantum field theory lecture by Tobias Osborne (2017) / Lecture 4 Updated +Created
Schrödinger picture Updated +Created
To better understand the discussion below, the best thing to do is to read it in parallel with the simplest possible example: Schrödinger picture example: quantum harmonic oscillator.
The state of a quantum system is a unit vector in a Hilbert space.
"Making a measurement" for an observable means applying a self-adjoint operator to the state, and after a measurement is done:
Those last two rules are also known as the Born rule.
Self adjoint operators are chosen because they have the following key properties:
Perhaps the easiest case to understand this for is that of spin, which has only a finite number of eigenvalues. Although it is a shame that fully understanding that requires a relativistic quantum theory such as the Dirac equation.
The next steps are to look at simple 1D bound states such as particle in a box and quantum harmonic oscillator.
The solution to the Schrödinger equation for a free one dimensional particle is a bit harder since the possible energies do not make up a countable set.
This formulation was apparently called more precisely Dirac-von Neumann axioms, but it because so dominant we just call it "the" formulation.
Quantum Field Theory lecture notes by David Tong (2007) mentions that:
if you were to write the wavefunction in quantum field theory, it would be a functional, that is a function of every possible configuration of the field .
Schrödinger picture example: quantum harmonic oscillator Updated +Created
TODO: use the results from the quantum harmonic oscillator solution to precisely illustrate the discussion at Schrödinger picture with a concrete example.
Solving the Schrodinger equation with the time-independent Schrödinger equation Updated +Created
Once that example is clear, we see that the exact same separation of variables can be done to the Schrödinger equation. If we name the constant of the separation of variables for energy, we get:
Because the time part of the equation is always the same and always trivial to solve, all we have to do to actually solve the Schrodinger equation is to solve the time independent one, and then we can construct the full solution trivially.
Once we've solved the time-independent part for each possible , we can construct a solution exactly as we did in heat equation solution with Fourier series: we make a weighted sum over all possible to match the initial condition, which is analogous to the Fourier series in the case of the heat equation to reach a final full solution:
The fact that this approximation of the initial condition is always possible from is mathematically proven by some version of the spectral theorem based on the fact that The Schrodinger equation Hamiltonian has to be Hermitian and therefore behaves nicely.
It is interesting to note that solving the time-independent Schrodinger equation can also be seen exactly as an eigenvalue equation where:
The only difference from usual matrix eigenvectors is that we are now dealing with an infinite dimensional vector space.
Furthermore:
Time-independent Schrödinger equation Updated +Created
The time-independent Schrödinger equation is a variant of the Schrödinger equation defined as:
Equation 1.
Time-independent Schrodinger equation
.
So we see that for any Schrödinger equation, which is fully defined by the Hamiltonian , there is a corresponding time-independent Schrödinger equation, which is also uniquely defined by the same Hamiltonian.
The cool thing about the Time-independent Schrödinger equation is that we can always reduce solving the full Schrödinger equation to solving this slightly simpler time-independent version, as described at: Section "Solving the Schrodinger equation with the time-independent Schrödinger equation".
Because this method is fully general, and it simplifies the initial time-dependent problem to a time independent one, it is the approach that we will always take when solving the Schrodinger equation, see e.g. quantum harmonic oscillator.