Quantum Mechanics
Table of Contents
 Reading
 Progress
 Definitions
 Stuff
 Zero point energy
 Quantum Harmonic Oscillator
 Correspondance principle
 Operators
 Coherence
 Observables
 Momentum
 Angular momentum
 Angular momentum  reloaded
 Central potential
 Hydrogen atom
 Spin  intrinsic angular momentum
 Addition of angular momenta
 Identical Particles
 Fourier Transforms and Uncertainty Relations
 Bra, kets, and matrices
 Timeindependent Perturbation Theory
 Timedependent Perturbation Theory
 Radiation
 Quantum Scattering Theory
 Central Field Approximation
 Variational Method
 Hidden Variables, EPR Paradox, Bell's Inequality
 Quantum communication
 Quantum computing
 CohenTannoudji  Quantum Mechanics
 Principles of Quantum Mechanics  Dirac
 Quantum Theory for Mathematicians
 Notation
 2. A First Approach to Classical Mechanics
 3. A First Approach to Quantum Mechanics
 4. The Free Schrödinger Equation
 5. A Particle in a Square Well
 6. Perspectives on the Spectral Theorem
 7. Spectral Theorem for Bounded SelfAdjoint Operators
 8. Spectral Theorem for Bounded SelfAdjoint Operators: Proofs
 Practice problems
 Q & A
Reading
 Quantum Physics  Stephen Gasiorowicz
 "Quantum Physics", Messiah, p. 463 Appendix A: Distributions & Fourier Transform
Progress
 Note taken on
p. 115
Definitions
Words
 plane wave
 multidimensional wave
 wave packet
 superposition of plane waves
 hilbert space
 Banach space withe addition of an inner product
 banach space
 Space with metric, and is complete wrt. to the metric in a sense that each Cauchy sequence converges to a limit within the space.
 isotropic
 Independent of orientation.
Bound / unbound wave equations
Bound energy
Restricts us to positive energies
Unbound energy
Allows both positive and negative energies
Schrödinger equation
Operators
Position operator
RusselSanders notation
States that arise in coupling orbital angular momentum and spin to give total angular momentum are denoted:
where the is "optional" (not always included).
Further, remember that we often use the following notation to denote the different angular momentum :
Stuff
Zero point energy
Heisenbergs uncertainty principle tells us that a particle cannot sit motionless at the bottom of it's potential well, as this would imply that the uncertainty in momentum would be infinite. Therefore, the lowestenergy state of the system (called ground state ) must be a distribution for the position and momentum which at all times satisfy the uncertainty principle.
Near the bottom of a potential well, the Hamiltonian of a general system (the quantummechanical operator giving a system its energy) can be approximated as a quantum harmonic oscillator:
Quantum Harmonic Oscillator
Thus, the eigenvalue function of the Hamiltonian becomes
As it turns out, this differential equation has the eigenfunctions:
where denote the nth Hermite polynomial, with .
Further, using the raising and lowering operators discussed in Angular momentum  reloaded we can rewrite the solutions as
Annihiliation / lowering operator:
Creation / Raising operator:
Solution
There's two ways of going about this:
 Solving using the ladder operators, but you somehow need to obtain the ground levels
 Solving using straight up good ole' method of variation of parameters and SturmLiouville theory
Solving using ladderoperators
 Notation
 is the eigenfunction corresponding to the nth eigenvalue
 , which is dimensionless
 , which is dimensionless
 Stuff
The Hamiltonian in this case is given by
with the TISE
For convenience we rewrite the Hamiltonian
But and do not commute:
So we instead use the notation of and which have the property
Once again rewriting the Hamiltonian
Observe that
Conider the following operation:
where we in the last line used the fact that for a simple Harmonic Oscillator .
Thus,
I.e. applying to an eigenfunction gives us the eigenfunction of the eigenstate.
We call this operator the annhiliation or lowering operator.
We can do exactly the same of to observe that
which is why we call the creation or rising operator.
Buuut there's a problem: we can potential "annihilate" below to a state with energy below zero! To fix this we simply define the ground state such that
Thus,
And all other higher energy states can then be constructed from this, by successsive application of
 Normalizing the lowering and raisingoperator
Thus,
Doing the same for , we get
 Solving for the groundstate
We can find the proper solution for the groundstate by solving the differential equation
And substituting in for both the and , so that we get the differential equation. Solving this, we get
 Normalizing the lowering and raisingoperator
Solving the differential equation
We start of by rewriting the Schrödinger equation for the harmonic oscillator:
Letting , we have
We'll require our solution to be normalizable, i.e. squareintegrable, therefore we need the differential equation to be satisfied as , in which case we can drop the constant term:
Letting which is just a constant (apparently…), we have
I'm not sure I'm "cool" with this. There's clearly something weird going on here, since is a parameter of the potential, NOT a variable which we can just set.
Letting , we then have
Therefore we instead consider the simpler problem:
where we've dropped the , which we will include later on through the us of method of variation of parameters. This clearly has the solution
Now, using method of variation of parameters, we suppose there exists some particular solution of the form:
For which we have
Substituting into the diff. eqn. involving ,
Since satisfies the original equation, we have
Seeing this, we substitute in our solution for ,
Thus,
Which, if we let
gives us
which we recognize as Hermite differential equation! Hence, we have the solutions
Why the though? Well, if you attempt to solve the Hermite equation above using a series solution, i.e. assuming
you end up seeing that you'll have a recurrence relation which depends on the integer , and further that for this to be squareintegrable we require the series to terminate for some , hence you get that dough above.
Also, it shows us that we do indeed have a (countably) infinite number of solutions, as we'd expect from a SturmLiouville problem such as the Schrödinger equation :)
Correspondance principle
The correspondence principle states that the behavior of systems described by quantum mechanics reproduces the classical physics in the limit of large numbers.
Operators
Momentum
"Derivation"
Considering the wave equation of a free particle, we have
Taking the derivative of the above, and rearranging, we obtain:
and thus we have the momentum operator
Hamiltonian
"Derivation"
Where the Hamiltonian comes from the fact that for TISE we have the following:
which we can then write as:
and we have our operator !
In the above "derivation" of the Hamiltonian, we assume TISE for convenience. It works equally well with the timedependence, which is why we can write the TIDE expression using the Hamiltonian.
In fact, one can deduce it from writing the wavefunction as a function of and , and then note the operator defined for the momentum . This operator can then be substituted into the classical formula for the energy to provide use with a definition of the Hamiltonian operator.
Theorems
Conserved operators
A timeindependent operator is conserved if and only if , i.e. it commutes with the Hermitian operator.
Coherence
Stack excange answer
This guy provides a very nice explanation of quantum coherence and entanglement.
Basically what he's saying is that coherence refers to the case where the wavefunctions which are superimposed to create the wavefunction of the particle under consideration have a definite phase difference , i.e. the phasedifference between the "eigenstates" is does not change wrt. time and is not random .
Another answer to the same question says:
"It is better to think of there being one and only one wavefunction that describes all the particles in the universe."
Which is trying to make sense of entanglement, saying that we can look at the "joint probability" of e.g. two particles and based on measurement taken from one particle we can make a better judgement of the probabilitydistribution of the measurement of the other particle. At least this is how I interpret it.
Observables
Each dynamic variable is associated with a linear operator, say , and it's expectation can be computed:
when there is no ambiguity about the state in which the average is computed, we shall write
The possible outcomes of an observable is given by the eigenvalue of the corresponding operator , i.e. the solutions of the eigenvalue equation:
where is the eigenstate corresponding to the eigenvalue .
Observables as Hermitian operators
Observables are required to be Hermition operators, i.e. operators such that for the operator
where is called the Hermitian conjugate of .
We an operator corresponding to an Observable to be a Hermitian operator as this is the only way to ensure that all the eigenvalues of the corresponding operator are real, and we want our measurements to be real, of course.
Compatilibity Theorem
Given two observables and , represented by the Herimitian operators and , then the following statements are equivalent:
 and are compatible
 and have a common eigenbasis
 and commute, i.e.:
Generalised Uncertainty Relation
If and denote the uncertainties in observables and respectively in the state , then the generalised uncertainty relation states that
Momentum
Then
And we have commutability, and thus the we can interchange the order of derivation
and
Hence,
where
Separation of variables
Here we consider the TISE for a isotropic harmonic oscillator in 3 dimensions, for which the potential is
We can then factorize the Hamiltonian in the following way
Using this in the Schrödinger equation, we get
And we then assume that we can express as
which gives us
Which gives us
And since is a constant, we can write , which gives us a system of equations
where denotes the eigenfunction in the kth dimension for the nth quantised energylevel (remember we're working with a harmonic osicallator). Which gives
where denotes the factors of the Hermite polynomials.
Angular momentum
Commutation
The interesting thing about the angular momentum operators, is that unlike the position and momentumoperators in different dimensions does not commute!
This implies that the angular momentum in different dimensions are not compatible observables, i.e. we cannot observe one without affecting the distribution of measurements for the other!
Square of the angular momentum
or in spherical coordinates,
We then observe that is compatible with any of the Cartesian components of the angular momentum:
which also tells us that they have a common eigenbasis / simultaneous eigenfunctions .
Angular momentum operators in spherical coordinates
Eigenfunctions
where and
with known as the associated Legendre polynomials.
with known as the associated Legendre polynomials.
Quantisation of angular momentum
The eigenvalue function for the magnitude of the angular momentum tells us that the angular momentum is quantised. The square of the magnitude of the angular momentum can only assume one of the discrete set of values
and the zcomponent of the angular momentum can only assume one of the discrete set of values
for a given value of .
Laplacian operator
Angular momentum  reloaded
We move away from the notation of using for angular momentum because what follows is true for any operator satisfying these properties.
To generalize what the raising and lowering operators we found for the angular momentum we let denote an (Hermitian) operator which satisfies the following commutation relations:
And since and are compatible, we know that these have a common eigenbasis, which we denote , and we write the eigenvalues in the following form:
Further, we introduce the raising and lowering operators defined by:
for which we can compute the following properties:
I.e. we're working with a raising operator for .
Considering the action of the commutator on an eigenstate , we obtain the following:
which tells us that both are also eigenstates of the but with eigenvalues , unless .
Thus and act as raising and lowering operators for the zcomponent of .
Further, notice that since we have
Hence, the eigenstates generated by the action of are still eigenstates of belonging to the same eigenvalue . Thus, we can write
where are proportionality constants.
The notation used for the eigenstates is simply saying that we know that the eigenvalue for does not change under the operator , and thus only the eigenvalue corresponding to changes with the factor (or rather another term of ) and so we denote this new eigenstate as .
To generalize the raising and lowering operators we found for the angular momentum we let denote an (Hermitian) operator which satisfies the following commutation relations:
And since and are compatible, we know that these have a common eigenbasis, which we denote , and we write the eigenvalues in the following form:
with
The set of states is called a multiplet.
We introduce the raising and lowering operators defined by:
for which we can compute the following properties:
And we have the relations:
with
or, if we're assuming , we have
There was originally also the relation
which I somehow picked up from the lecture. But I'm not entirely sure what this actually means…
Some proofs
Lowering operator on an eigenstate is another eigenstate
Where the RHS is due to the commutation relation we deduced earlier. This gives us the equation
which tells us that is also an eigenstate of but with the eigenvalue .
Just to make it completely obvious what we're saying, we can write the relation above as:
Eigenvalues are bounded
The eigenvalues of are bounded above and below, or more specifically
Further, we have the following properties:
Eigenvalues of are , where is one of the allowed values
thus we label the eigenstates of and by rather than by , so that
 For an eigenstate , there are possible eigenvalues of
The set of states is called a multiplet
We start by observing the following:
Taking the scalar product with yields
so that
Hence the spectrum of is bounded above and below, for a given . We can deduce that
Using the following relations:
and applying the to and in turn, we can obtain the following relations:
Using the notation and using the equality above, we get the equation
and we see that, since by definition, the only acceptable root to the above quadratic is
Now, since and differ by some integer, , we can write
Or equivalently,
Hence, the allowed values are
for any given value of , we see that ranges over the values
which is a total of values.
Concluding the following:
Eigenvalues of are , where is one of the allowed values
Since we can equally well label the simultaneous eigenstates of and by rather than by , so that
 For a eigenvalue of , there are possible eigenvalues of , denoted by , where runs from to
 The set of states is called a multiplet
 Which step makes it so that the j in the case of "normal" angular momentum only takes on integer values?
In the case where we're working with "normal" angular momentum, the spherical harmonics are also eigenfunctions . Since we require that the wave function must be singlevalued, the spherical coordinates must be periodic in with period :
this implies that is an integer, hence must also be an integer.
Properties of J
implies
I.e. , thus is positive definite
such that
This is :
and
:
 , implies that
Normalization constant
Computing the matrix elements
The matrix is
And for the raising and lowering operators
Q & A
DONE Which step makes it so that the j in the case of "normal" angular momentum only takes on integer values?
In the case where we're working with "normal" angular momentum, the spherical harmonics are also eigenfunctions . Since we require that the wave function must be singlevalued(?), the spherical coordinates must be periodic in with period :
this implies that is an integer, hence must also be an integer.
I'm not sure what they mean by "singlevalued". From the notes they do this:
of which I'm not entirely sure what they mean.
From looking at looking at the spherical harmonics from a perpespective of a SturmLiouville problem the eigenvalue for some nonnegative integer , is due to regularity on the poles .
Central potential
Notation
 is the angle vertical to the xyplane
 is the angle in the xyplane
 is the mass (avoids confusion with the magnetic quantum number )
 is the position vector
 denotes the magnitude of the position vector
Stuff
In spherical coordinates we write the Laplacian as
we can then rewrite this in terms of the angular momentum operator:
and thus the TISE becomes
where , then any pair of commutes, so there exists a set of simultaneous eigenstates .
Hydrogen atom
Notation
 effective mass of system
 is the Bohr radius
Stuff
Superposition of eigenstates of proton and electron
(Coloumb) potential:
where the effective mass is
The TISE is:
We make the ansatz:
Thus,
Thus, we end up with
and we let
We now introduce some "scales" for length and energy:
where is the Bohr radius. Further, we let
Substituting these scales into the TISE deduced earlier:
We tehn introduce another function of instead of :
which gives us
with boundary conditions: .
We then consider the boundary condition where :
But since we need it to be bounded:
Another ansatz: , which is simply the familiar method of variation of parameters, where we tack on another function of , the independent variable, to obtain another solution which is independent of .
If we then plug our into the [tisewrturho], which ends up being
where due to the behaviour of we have
Ansatz:
Spin  intrinsic angular momentum
Notation
 denotes the eigenstate of a system with spin (eigenvalue of ) in the zdirection, and being the eigenvalue of
 since the first number () is provided in the second anyways
 and
 etc. we use to represent the coefficient of the function in some basis
 when we say a system has spin , we're talking about a system with eigenvalue of to be
Stuff
Now that we know
 eigenvalues:
 eigenvalues:
From the orbital angular momentum, we have
In the case of orbital angular momentum , we have the requirement that , which implies , rather than which we found in the Angular momentum  Reloaded.
are diff. operators, which implies diff. operators
For a given value of , since is the maximum for a spherical harmonic.
Now using the properties derived for the more general operator we can deduce the all the other spherical harmonics by the usage of raising and lowering operators.
And it satisfies the commutation relation
and
Thus, we can construct a basis using the eigenstates of , i.e. they form a C.S.O.C..
And as we've seen earlier, if an operator satisfies the above properties, we have:
 eigenvalues of : ,
 eigenvalues of :
For a given value of , has elements
And the eigenfunctions have the relations:
Example: system of spin 1 / 2
Since , we have:
 eigenvalue of is
 eigenvalue of are
The basis of the space of the physical states is then
where we use the notation
Thus, any eigenstate we can expand in this basis:
and then
 is the prob. of finding the system in measuring
 is the prob. of finding the system in measuring
TODO Pauli matrices
Since we can write
Addition of angular momenta
Notation
 , without integer subscripts refers to the total angular momentum , and thus refers to the zcomponent of this total angular momentum
 refers to the zcomponent of the angular momentum indexed by, well, 1
 refers to the square of the angular momentum indexed by 1
Stuff
This excerpt from some book might be a really good way of getting a better feel of all of this
In this section we deal with the case of having two angular momenta!
For example, we might wish to consider an electron which has both an intrinsic spin and some orbital angular momentum, as in a real hydrogen atom.
Total angular momentum operator
where we assume and are independent angular momenta, meaning each satisfies the usual angular momentum commutation relations
where
 labels the individual angular momenta
 stands for cyclic permutations.
Furthermore, any component of commutes with any component of :
so that the two angular momenta are compatible.
It follows that the four operators are mutually commuting and thus must posses a common eigenbasis!
This common eigenbasis is known as the uncoupled basis and is denoted .
It has the following properties:
The allowed values of the total angular momentum quantum number , given two angular momenta corresponding to the quantum numbers and are:
and for each of these values of , we have take on the values
The zcomponent of the total angular momentum operator commutes with and , thus the set of four operators are also a mutually commuting set of operators with a common basis known as the coupled basis, denoted and satisfying
these are states of definite total angular momentum and definite zcomponent of total angular momentum but not in general states with definite or .
In fact, these states are expressible as linear combinations of the states of the uncoupled basis, with coefficients known as ClebschGordan coefficients.
I think what they mean by "states of definite angular momentum…" are the states which are coupled in a way that one eigenvalue decides the other?
TODO Example: two halfspin particles
Suppose we have two halfspin particles (e.g. electrons) with spin quantum numbers and .
According to the Addition theorem, the total spin quantum number takes on the values and we require .
Thus, two electroncs can only have a total spin:
 called the triplet states, for which there are three possible values of the spin magnetic quantum number
 called the singlet states, for which there are only a single possible value
Let's denote the elements of the uncoupled basis as
where the subscripts 1 and 2 refer to electron 1 and 2, respectively. The operators and act only on the parts labelled 1, and so on.
If we let be the state which has and then it must have , i.e. total zcomponent of spin , and can therefore only be and not .
The eigenstates ends up being:
Identical Particles
Stuff
Systems of identical particles with integer spin known as bosons , have wave functions which are symmertic under interchange of any pair of particle labels (i.e. swapping the states of say two particles).
The wave function is said to obey BoseEinstein statistics .
Systems of identical particles with halfoddinteger spins known as fermions , have wave functions which are antisymmetric under interchange of any pair of particle labels.
The wave function is said to obey FermiDirac statistics .
In the simplest model of the helium atom, the Hamiltonian is
where
This is symmetric under permutation of the indices 1 and 2 which label the two electrons. Thus it must be the case if the two electrons are identical or industinguishable : it cannot matter which particle we label 1 and we which we label 2.
Due to symmerty condition, we have
Suppose that
so we conclude that and are both eigenfunctions belonging to the same eigenvalue . Further, any linear combination of the two is!
In particular, the normalised symmertic and antisymmertic combinations
are eigenfunctions belonging to the eigenvalue .
If we introduce the particle interchange operator, , with the property that
then the symmertic and antisymmertic combinations are eigenfunctions of with eigenvalues respectively:
Since are simultaneous eigenfunctions of and it follows that:
Fourier Transforms and Uncertainty Relations
This is heavily inspired by a post from mathpages.
Notation
 is such that , i.e. the ket corresponding to the eigenvalue
Stuff
Gaussian integral
 Basic
Taking the square of the integral we get
Reparametrizing in polar coordinates
which gives us the Jacobian transformation
so the incremental area element is
Hence the doubleintegral above becomes
and we since
we get
Finally giving us
 More general
If we let , i.e. we consider some arbitrary quadratic, then
in terms of which we can write
Fourier transform of a normal probability density
For any function we have the relation
Now, if is a normal probability density, we have
which has the Fourier transform
Where we can write the exponent in the integral of the form with
hence the Fourier transform of the normal density function is
If we then choose our scales so that the mena of is zero, i.e. so that the expression reduces to
which means that the Fourier transform of a normal distribution with mean and variance is a normal distribution with mean and variance .
Which tells us that the variances of the distributions and satisfy the uncertainty relation:
This is the limiting case of the general inequality on the product of variances of Fourier transform pairs. In general, if is an arbitrary probability density and is its Fourier Transform, then
For any probability density function and it's the Fourier Transform we have
and are two different ways of characterizing the same distribution, one in the amplitude domain and one in the frequency domain. Given either of these, the other is completely determined.
Remember, due to the Central Limit Theorem, i.i.d. the sample mean of any random variable with finite variance follows a Normal distribution
Hence, the equality above is saying that if we have an infinte number of realizations of some random variable then the variance of this will be bounded below by the inverse of the variance of the Fourier Transform.
Hmm, I'm not 100% sure about all this. How can we for sure know that the Fourier Transform of the probability density will have a sample variance which decreases quicker than the actual density function ?
Why can we guarantee that the variance of the Fourier transform does not decrease faster than the variance of the density ?
We're saying that variance of random variable whos sample average converges to has a variance of , which is fiiine. Then we're saying that some the variance of some random variable whos sample average converges to has a variance of , which is also fine. Then, we're saying that the variance of this random variable is always going to be greater than the limiting variances for these random variables, whiiiich you really can't say.
Application to Quantum mechanics
The canonical commutation relation is the fundamental relation between canonical conjugate quantities, i.e. quantities which are related by definition such that one is the Fourier transform of the other, which for two operators which are canonical conjugates, we have
Equivalently, if we have the above commutation relation between two Hermitian operators, then they form a Fourier Transform pair.
Where, if we take the commutationrelation the other way around the the sign of changes, i.e. it's "symmetric" in a sense.
Now, if we then take some state and compute the probability amplitudes that the measurements corresponding to the operators and will return the eigenvalues and respectively, then we find
where is the bra corresponding to the eigenstate with the eigenvalue of the operator .
That is; the probability amplitude distributions of two conjugate variables are simply the (suitably scaled) Fourier transforms of each other.
We saw earlier that the variances of two density distributions that comprise a Fourier transform pair satisfy the variance inequality:
Heisenberg Uncertainty Principle
How is this interesting? Well, as it turns out, the position operator and the momentum operator have the commutation relation
which then tells us that they are conjugate varianbles, i.e. the probability amplitude distributions of the two are scaled Fourier transforms of each other! Which means they satisfy the following inequality
which is just the Heisenberg uncertainty principle!
Bra, kets, and matrices
Timeindependent Perturbation Theory
Notation
 is the Hamiltonian corresponding to the unperturbed / exactly solvable system
 and represent the nth eigenvalue and eigenfunction of the unperturbed Hamiltonian
 and is the energy and ket of the ith perturbation term
 and is the corrected (perturbed with all the terms) eigenvalue and eigenfunction, i.e.
 denote the total angular momentum (rather than a general ang. mom. as we've used it for earlier)
Overview
 Few problems in Quantum Theory can be solved exactly
 Helium atom: interelectron electrostatic repulsion term in changes the problem into one which cannot be solved analytically
Perturbation Theory provides a method for finding approx. energy eigenvalues and eigenstates for a system whose Hamiltonian is of the form
where is the Hamiltonian of an exactly solvable system, for which we know the eigenvalues, , and eigenstates, , and is small, timeindependent perturbation.
Does not converge
Perturbation does not actually guarantee convergence, i.e. that each term is smaller than the previous.
But, it is something called Borel summable, which is a method for summing up divergent series.
Short and sweet
Let
where:
 is a real parameter used for convenience
 is some small perturbation to the Hamiltonian, e.g.
Then, the corrected eigenvalues and eigenfunctions are going to be given by:
"My" version (first order mainly)
It is convenient to consider the related problem of a system with Hamiltonian
where:
 is a real parameter used for convenience
 is some small perturbation to the Hamiltonian, e.g.
Then the eigenvalue problem we're trying to solve is then:
Assume and posses discrete, nondegenerate eigenvalues only, and we write:
where are orthonormal.
The effect of the perturbation on the eigenstates and eigenvalues is defined by the following maps:
where
Thus, we solve the full eigenvalue problem by assuming we can exapnd and in a series as follows:
were the correction terms and are of succesively higher order of "smallness": the power of keeps track of this for us.
The correction terms are not normalized (by defualt)!
Substitute these into the equation for the full Hamiltonian (can be seen above):
and equating the terms of the same degree of , giving:
Now let's, for the heck of it, take the inner product of the coefficients of with some arbitrary nonperturbed state :
which (due to being Hermitian), becomes
Let's first consider the correction (of first order) to the energy (then we'll to the eigenstate afterwards) by letting (since is arbitrary):
LHS vanishes, and we're left with
which is the expression for the energy correction (of first order)!
To obtain the correction to the eigenfunction itself, we explore the following: ,
where when , thus
Hence, we can simply expand in the basis of all :
Aaaand we have our expression for the eigenstate correction (of first order)!
Preservation of orthogonality
Let's consider the inner product
where we've picked out the terms which will be nonzero in . Observe that the nonzero terms are of different sign, thus
Thus orthogonality is preserved (for first order approximation).
Notes
Corrected needs to be normalized, thus we better have
 We require that the level shift be small compared to the level spacing in the unperturbed system:
Example: Potential well
with
where ,
Thus, the first order perturbation correction is
And the second order perturbation correction is
Letting , we have
Degeneracy in Perturbation Theory
Notation
 States are ordered s.t. first states are degenerate
Stuff
Remember, this is the case where has degenerate eigenstates, and we're assuming that the "real" Hamiltonian never is degenerate (which is sort of what you'd expect in nature, I guess).
Consider the eigenstate with degeneracy :
Then
We're just saying that we've ordered the states in such a way that we have state of degeneracy occuring in the first indices.
Since we have a gdimensional subspace to work with for the degenerate eigenstate, now, instead of just finding the coefficients as in nondegenerate perturbation theory, we're looking for the "best" linear combination of the eigenbasis for the degenerate case!
and want to find the "optimal" coefficients / projection.
Proceeding as for the nondegenerate case, we assume that
where we assume we can write the following
Substituting the expansions into the eigenvalue equation and equating terms of the same degree , we find:
Once again, taking the scalar product with some arbitrary kth unperturbed eigenstate , we get
substituting in
we get
Now we consider the different cases of .
 degenerate states
In this case we simply have and thus the first term vanishes
which is simply a "linear algebra eigenvalue problem" (when including for all )!
We'll denote the "linear algebra eigenvalues" as roots, to distinguish from the eigenvalues from the Schrödinger equation.
where
We get the roots then have the different cases:
 distinct roots => we've broken the degeneracy of , yey!
 one or more repeating roots => there's still some degeneracy left from , aaargh!
 all equal roots => move on to 2nd order expansion, cuz 1st order didn't help mate!
If we have distinct roots, we end up with
Which is great; it's the same as the nondegenerate case! Therefore, we'd like to arrange for this to always be the case.
Suppose we can find some observable represented by an operator such that
Then there are simultaneous eigenstates of and :
If and only if the eigenvalues are distinct, then we have a C.S.O.C., and we can write
Thus,
which is
Therefore,
Hence, if for all , then is diagonal, as wanted.
Now, what if are not distinct?! We then look for another operator , such that
i.e. is a C.S.O.C., and letting we can repeat the about argument.
We're saying that if we can find some operator which commutes with both and , we can make diagonalizable, i.e. making our lives supereasy above.
 nondegenerate states
We simply take our expansion for and do exactly what we did for the nondegenerate case!
Example
Central potential, spin(1/2), spinorbit interaction:
We know that
so if we use the coupled basis , we can use the nondegeneracy theory to compute the 1st order energy shifts!
but
because of the term in .
Example: Hydrogen fine structure
Notation
 denotes the spinorbit term, whose physical origin is the interaction between the intrinstic magnetic dipole moment of the electron and the magnetic field due to the electron's orbital motion in the electric field of the nuclues
Stuff
with
We start with the kinetic energy
Where
Therefore
Which appearantly give us
And for the spinorbit interaction we have
which gives us
Applying this to some ket
Thus,
where
thus, if
Which gives us
implying
And finally for the Darwincorrection
Observe that as for , then
where
Which gives us the final Darwin correction
Giving the total correction
Example: Helium atom
Notation
 represents the spindown state
 represents the spinup state
 is the states for the coupled basis, where is the total spin quantum number and is the total magnetic quantum number
Neglecting mutual Coulomb repulsion between the electrons
Neglecting the mututal Coulomb repulsion between the electrons we end up with the Hamiltonian
It turns out that this yields the groundstate energy just
but experimentally we find
For the Helium atom we use the convention of denoting the ground state with rather than as for the Hydrogen atom.
Stuff
In the simplest model of the helium atom, the Hamiltonian is
where
The term added to represents the repulsion of the two electrons, and in the we have the negative term which represents the attraction.
Also, observe that this is symmertic under permutation of the indices which label the two electrons. Thus, the electrons are indistinguishable, as one would want.
The states of the coupled representation for the two spinhalf electrons are the three triplet states:
and the singlet state:
 triplet states are symmetric under permutation
 singlet state is antisymmetric under permutation
The overall 2electron wavefunction is a product of a spatial wavefunction and a spin function:
The tensor product between the spatial wavefunction, , and the spin function, , represents some function such that
where is as defined above.
Thus, the total 2electron wavefunction has the following symmetries:
symmetry of  symmetry of  symmerty of  

(singlet)  anti  sym  anti 
(triplet)  sym  anti  anti 
Consider the case of the Helium atom, where (if we're neglecting the interelectron interactions) we would have the spatial solutions
since we can just use separation of variables and solve the Schrödinger eqn. for each electron separately, both having identical solutions.
Now, suppose further that , and thus and , then
Now consider the case where they would swap places, i.e. we were to interchange them (we're assuming they're completely opposite to each other, since i 2electron orbit, they're almost always opposite of each other), then
Now, we know that
Therefore, , as we have above, is symmetric:
Thus,
BUT we know that two fermions cannot occupy the same state at the same time, hence the above is not sufficient! We need the wavefunctions to be different, further, for the wavefunction of the entire Helium to stay the same we require the wavefunctions to be antisymmetric under interchanging of electrons (for , that is). And this is why we introduce the described earlier
Ground state
Compute the first order correction to , we compute the expectation of the perturbation , wrt. wavefunction:
which gives us a correction of
giving us the first order estimate of the groundstate energy
which is pretty close to the experimentally observed value of .
Stuff
Define a new operator
With
Then we want to expand wrt.
Setting up the Schrödinger equation, we have
Now, collecting terms involving the different factors of , we have:
For we find:
and therefore has to be one of the unperturbed eigenfunctions and , i.e. the corresponding unperturbed eigenvalue.
For we have:
Which we can take the scalar product of with :
Since , we have
Hence, the eigenvalue of the Hamitonian in this case becomes:
This is the correction to the nth energy level! So to obtain the complete correction due to the perturbation, we have to do this for each of the eigenfunctions which make up the wavefunction of the entire system we're looking at.
He atom
Timedependent Perturbation Theory
Notation
 is the Hamiltonian corresponding to the unperturbed / exactly solvable system
 and represent the nth eigenvalue and eigenfunction of the unperturbed Hamiltonian
 and is the energy and ket of the ith perturbation term
 and is the corrected (perturbed with all the terms) eigenvalue and eigenfunction, i.e.
 is the density of final states
Expression for
Solution to the TIDE can be written
Generalize to the perturbed Hamiltonian
the coefficients become timedependent:
Observe that lack of here!!!
We're not yet using the perturbation here, which would be
This is comes in the next section.
Probability of finding the system in the state at time is then
where we have used the orthonormality of .
Substituting into TDSE:
which gives:
Taking scalar product with arbitrary unperturbed state :
which gives:
Perturbation
Now consider the Hamiltonian related to the perturbed one above:
Assume we can expand in power series:
Substitute in the equation for derived above (factor of on RHS is from now instead of ):
Equate terms of same degree in :
 Zeroth order is timeindependent; since to this order the Hamiltonian is timeindependent => recover unperturbed result
Integrating firstorder correction gives:
Suppose initially system is eigenstate of , say , then for , /probability of finding system in different state at time
Thus, transition probability of finding the system at a later time, , in the state where , is given by
TODO Timeindependent pertubations for timedependent wave equation
 Suppose is actually independent of time
Fermi's Golden Rule
Interested in transitions not to single state, but to a group of final states, , in some range:
e.g. transitions to continuous part of energyspectrum.
Total transition probability:
Assume to be small, s.t. can treat constant wrt. on this interval:
Change of variables , we get
where we've used
Number of transitions per time, the transition rate, , is then just
Harmonic Perturbations
Notation
 is the timeindependent Hermitian operator
Stuff
 Transition probability amplitude is a sinusoidal function of itme which is turned on at time
Suppose that
where is the timeindependent Hermitian operator, which we write
Radiation
Notation
 is the dipole operator
Electromagnetic radiation
is the dipole operator where
 is unit charge
Einstein AB coefficients
Notation
 is the absorption rate
 is the emission rate
 Einstein coeff. for spontanous emission
 Einstein coef. for stimulated emission
 dipole matrix elements
Spontanoues emission (thermodynamic argument)
We have
For absorption we have
Now, suppose we have emission , with transition :
Note that this is , NOT as introduced earlier.
The distribution between the number of particles in the different states is then given by the Boltzmann distribution
Plank's law tells us that Black body radiation follows
Which we can rewrite as
Substituting back into the epxression for spontaneous emission
One obtains the same result in QED.
Selection rules
Goal is to evaluate .
Hydrogenic atom
 electric dipole operator is spinindependent
 work in uncoupled basis and ignore spin
Which implies
Which implies either of the following is true
This is called a selection rule.
Doing the same for , we get
Considering the matrix elements, we get
which becomes
so we deduce that
giving the selection rule .
We then conclude that the electric dipole transitions are only possible if
Which is due to
hence would be zero unless .
Parity Selection Rule
 Under parity operator , electric dipole operator is odd multielectron atoms
 See notes :)
Quantum Scattering Theory
Notation
 is the scattering angle
 is the incident angle
 is the incident momentum
 is the scattering momentum (i.e. momentum after being scattered)
 , thus when we talk about the direction and so on of (wavenumber), it's equivalent to the angle of the momentum
 is the solid angle
Rate of transitions from initial to final planewave states
 is the density of the final states: is the number of final states with energy in the range
 denotes fixed potential (i.e. we say the "potential source" is fixed at some point and is then the position of the incident particle, and we treat the potential from the fixed scatteringparticle as a regular "external" field)
Setup
 Beam of particles
 Each of momentum
The incident flux is the number of incident particles crossing unit area perpendicular to the beam direcion per unit time.
The scattered flux is the number of scattered particles scattered into the element of solid angle about the direction , perunit time per unit solid angle.
The differential crosssection is usually denoted and is defined to be the ratio of the scattered flux to the incident flux:
The differential crosssection thus has dimensions of area:
Total crosssection is then
Born approximation
 Can use timedependent perturbation teory theto approximate the crosssection
 Assume interaction between particle and scattering centre is localized to the region around
Hamiltonian
and treat as perturbation
 Wavefunctions are nonnormalizable, therefore we restrict to "potentialwell" scenario, as we can take the width of the well as large as we "want"
 Since we're working in 3D: boxnormalization
Density of final states
 Finalstate vector is a point in kspace
 All form a cubic lattice with lattice spacing (because of the potential well approx. discretizing the energy)
 Volume of k'sphere per lattice point is
# of states in volume element is
using spherical coordinates
Energy is
thus, the , the density of states per unit energy, is the enrgy corresponding to wavevector . Therefore,
is the # of states with energy in the desried interval and with pointing into the solid angle about the direction .
Final result for density of states
Incident flux
Box normalization corresponds to one particle per volume
Scattered flux

 Is # of particles scattered into per unit time
 Scattered flux therefore obtained by dividing by to get # of unit time per unit solid angle
Differential Crosssection for Elastic Scattering
Can compute the crosssection using scattered flux and incident flux found earlier
If potential is real, energy conservation implies elastic scattering, i.e.
The Born approximation to the differential crosssection then becomes
with
where is called the wavevector transfer.
(this is just the 3dimensional Fourier transform of the potential energy function.)
Scattering by Central potentials
 Can simplify further
Work in polar coordinates , which refer to the wavevector transfer so that
Then
Born approximation then becomes
which is independent of but depends on the scattering angle, , through .
Trigonometry gives
Quantum Rotator
 Two particles of mass and separated by fixed distance
 Effective description of the rotational degrees of freedom of a diatomic molecule
 Choose centreofmass as origin: system is completely specified by angles and (since is fixed)
 Neglecting vibrational degrees of freedom, both and are constant, and
Since origin is frame of CM:
(Classically) Moment of intertia of the system is:
where
Classical mechanics:
where is the angular velocity of the system. The energy can be expressed as
Correspondance principle:
Since we're neglecting vibration, is fixed, hence the wave function is independent of :
Twobody scattering
 So far assumed beam of particle scattered by fixed scattering centre; interaction described by
 Useful for electronatom scattering due to regarding the atom as infinitively heavy
 Consider twoparticle system; turns out it's the same!
Hamiltonian with relative separation
Centre of mass and relative position vectors
Then
Rewrite gradient operators and by
where
and so on.
To see this just apply the differential operator wrt. to some function :
Then
where
with called the reduced mass
Can be viewed as
 describes free motation (kinetic energy) of centre of mass
In CM frame the CM is at rest, hence
which is identical to the form of Hamiltonian of a single particle moving in the fixed potential
 Implies CM crosssection for twobody scattering obtained from solution to single particle of mass scattering from fixed potential
Ion and Bonding
Notation
 is the mass of a proton
 is the mass of an electron
reduced mass of the electron/twoproton system
is the reduced mass of the twoproton system
 eigenfunction is called gerade if parity is even, and ungerade if the parity is odd
Stuff
Schrödinger equation is
 Nuclei massive compared to electrons, thus motion of nuclei much slower than electron
 Therefore, treat nuclear and electronic motions independently, further treat the nuclei as fixed, i.e. we only care about
Central Field Approximation
Notation
 is angular momentum quantum number
 is magnetic quantum number
 is mass
Stuff
Starting with the TISE, we have:
Rewriting in spherical coordinates, using the Laplacian in spherical coordinates and assuming
we have
which becomes:
Suppose
then the above equation becomes
Thus,
Substituting back into the equation we just arrived at, we obtain
Multiplying by
Which we can rewrite as
Therefore we consider this is a effective potential:
Example: charged nucleus
Consider the problem of an atom or ion containing a nucleus withcharge and elecrons.
We assume nucleus to be infinitively heavy and we assume only the following interactions are present:
 Coulomb interaction between each electron and the nucleus
 Mutual electronic repulsion
Then the Hamiltonian is
Presence of electronelectron interaction terms (2nd sum) means that the Schödinger equation is not separable.
Therefore we introduce the Central Field Approximation, which is an example of a independent particle model , in which we assume that each electron moves in an effective potential , which incorporates the nuclear attraction and the average effect of the repuslive interaction with the other electrons.
We expect this effective potential to have the following properties:
 means the nucleus dominates
 means that we can treat (nuclues) + (the rest of the electrons) as a pointcharge
Variational Method
 Especially useful for estimating the groundstate energy of a system
 This is closesly (if not "exactly") related to the Rayleigh quotient from Linear algebra
Main problem is guessing a trial function :
 Recognize properties of the system and observe that ought to have the same properties (e.g. symmetry, etc.)
Useful identity:
Consider a system described by a Hamiltonian , with a complete orthonormal set of eigenstates and corresponding energy eigenvalues ordered in increasing value
We observe that
since for all . Thus we have the inequality
Thus, we can estimate as follows:
 We chose a trial state which depends on one or more paramters .
Calculate
Minimize wrt. the variational parameters , by solving
The resulting minimum value of is then our best estimate for the groundstate energy of the given trial function.
Hidden Variables, EPR Paradox, Bell's Inequality
 Hidden variable theories suppose that there exist parameters which fully determine the values of the observables, and that QM is an incomplete theory where the wavefunction simply reflects the probability distribution wrt. to these parameters
EPR though experiment
 Two measuring devices (Alice and Bob)
 Electron sent from the middle where due to conservation of momentum (total spin needs to be conserved) we need:
 Alice to receive or
 Bob receives the state which Alice does not
 Distance between measuring devices is too large to exchange any information between the the two measuring devices (even at speed of light)
Consider the following cases:
 Both measures spinstate in zdirection: measuring Alice's completely determines what we measures at Bob, due to spin being conserved
 Alice measures along zdirection, Bob measures along xdirection: measuring Alice's does not completely determine Bob's measure, rather, both spinhalf states will be equally likely for Bob
The state of the "electron" measured by Bob will be correlated to the direction in which Alice makes the measurement!
Bell's Inequality
Notation
 spin component in direction of the particle travelling to , e.g. refers to taking on a specific configuration (remember we can only measure one of these directions)
 spin component in direction of the particle travelling to
 is the fraction of particlepairs belong to the group
 denotes the probability of measuring and together
Stuff
Since we're assuming that the spinhalf pair is produced in a singlet state, this tells us immediately that
Suppose then that we're measuring and , we marginalize out all the other possible states to obtain the distribution:
Observe that
Thus,
Doing the same for the pairs and we observe that
The Bell's Inequality is for measurements made of two spinhalf particles in directions :
which defines a requirement which needs to be satisfied for a theory to be a realistic local theory.
Components possessing objective properties which exist independently of any mesaurements by observers and that the result of a measurement of a property at point cannot depend on an event at point sufficiently far from that information about the event at , even travelling at the speed of light, could not reach until after the measurement has taken place.
Theories meeting these requiremenets are called realistic local theories.
Quantum communication
Notation
 , i.e. these all denote the same thing
Convention to represent these two states
which is often parametrized in polar angles
with and .
Bell's states:
Secure communication
An entangled state between systems and implies the wavefunction of the combined and systems cannot be written as a tensorproduct of independent wavefunctions for each system, i.e.
The Bloch sphere is just the parametrization of a twoqubit system in polar angles in 3d:
with and .
A frequently used complete set of twoqubit states in which both qubits are entangled, are the Bell states,
Nocloning theorem
It is impossible to create an identical copy of an arbitrary unknown quantum state.
Formally, let where denotes a Hilbert space.
Suppose we're in some initial state , then initially we have
Then the question is: can we turn into a duplicate state of ?
 Observing will collapse the state, thus corrupting the state we want to copy
 Can control of the system and evolve with unitary time evolution operator , where by unitary operator we mean that it preserves the norm and coherence.
Answer is no.
Suppose on such that
where and are two arbitrary states in .
is the angle which in general can be a function of the states on which is acting. Then we have
This equation leads to the condition
I.e. states are either orthogonal or the same.
Quantum teleportation of a qubit
Two spinhalf particles are prepared in the Bell state
 Establish a quantum channel by giving one of the electrons to Alice () and one to Bob (); due to the EPRstuffs we know that if Alice makes a measurement, she can use a classicial channel to tell Bob which state she measured, which tells Bob that his electron is in the opposite state.
New particle given to Alice (Bob also knows that also takes this form)
Combine with the EPR states (referring to the ones Alice and Bob received beforehand)
which we can rewrite in terms of the Bellbasis:
 Alice makes measurement of the twostate system consisting of and (this can in fact be performed physically)
 Collapses to one of the or
 Alice now knows which of the states or her system is in
Breaks entanglement with and forces to take on the "remainder" of the system, i.e. one of the
 Alice sends back to Bob which state collapsed to
 Since Bob knew the expression for , by learning which state is in, he can fully determine what state his own particle is in, i.e. the coefficient of and
 This tells Bob which transformation he needs to perform to get his own particle into the state which was originally in!
Superdense coding
Superdense coding is a procedure that utilises an entangled state between two participants in a way that one participant can transmit two bits of information through the act of sending over just one qubit.
Q & A
DONE Is there a correspondance between "unitary transformation / operator" and unitary matrices (when representing the operator as a matrix)?
Check out the definition of a
TODO Not quite sure about how representations used in the Superdense coding stepbystep procedure in the notes
Quantum computing
A quantum register is simply the entire state vector.
Usually we write it in the following form:
where:
 are called control or input register (does not necessarily make sense, it's just a term)
 are called the target or output register (does not necessarily make sense, it's just a term)
 and are states labelled by and bits
Example: is a control ket specified by a binary number of length 2, i.e. a linear combination of the states , , , and .
Algorithms
Notation
 is called the oracle
Quantum register :
Deutch's algorithm
And we're wondering
is working in , thus
where
and
Applying the operator above, we get
Thus, for this leads to
and for , we have
i.e. just by looking at the control gate , we get the answer!
Grover's algorithm
 Search algorithm
 Reduces timecomplexity to wrt. number of items
CohenTannoudji  Quantum Mechanics
1. Waves and particles
Equations
PlanckEinstein relations
where is the wave vector s.t. .
de Broglie
Eigenstates
With each eigenvalu is associated an eigenstate, i.e. an eigenfunction s.t. where is the time the measurement is performed, i.e. the measurement will always yield the same .
Scröding equation
where is the Laplacian operator .
 Free particle
No force acting on the particle →
which has the solution
on the condition that and satisty the relation:
According to de Broglie we have:
which is the same as in the classical case (no potential → only kinetic → get the above).
A plane wave of this type represents a particle whose probability of presence is uniform throughout all space :
 Form of the superposition
Principle of superposition tells us that every lin. comb. of plane waves satistfying the relation for specified above, will also be a solution of the freeparticle Schrödinger equation.
This superposition can be written:
where represents the coefficients, and we integrate over all possible ().
 Form of the superposition
 Timeindependent potential
In the case of a timeindependent potential, we have:
where is the Laplacian operator .
 Separation of variables. Stationary states
 Separation of variables
By making the assumption that can be separated as follows:
We can rearrange the Schrödinger equation as follows:
Where LHS only depends on while RHS only depends on , which is only true if both sides are equal to a constant.
Setting LHS to (just treating as some arbitrary constant at this point), we obtain a solution for LHS:
Figure why we can set it to .
Now do the same for RHS we get the final solution for the full plane wave function:
where we've let (which is fine as long as we incorporate the constant into ).
The time and space variables are said to be separated .
 Stationary States
The timeindependent wave function makes it so that the Schrödinger Equation only involves a single angular frequency . Thus, according to the PlanckEinstein relation, a stationary state is a state with a welldefined energy (energy eigenstate).
We can therefore write the timeindependent Schrödinger Equation as:
or:
where is the differential operator :
Which is a linear operator.
Thus tells us that applied to the "eigenfunction" (analogous to eigenvector) yields the same function, but multiplied by a constant "eigenvalue" .
The allowed energies are therefore the eigenvalues of the operator .
I'm not sure about the remark by about the eigenvalues being the only allowed energies..
 Superposition of stationary states
We can then distinguish between the various possible values of the energy (and the corresponding eigenfunctions ), by labeling them with an index :
and the stationary states of the particle have as wave functions:
And since is a linear operator , we have a have series of other solutions of the form:
 Separation of variables
 Separation of variables. Stationary states
 Requirements
A system composed of only one particle → total probability of finding the particle anywhere in space, at time , is equal to :
We therefore require that the wavefunction must be squareintegrable :
This is NOT true for the simplest solution to the Scröding equation:
Where we have
And thus,
Hence it's NOT squareintegrable.
They then say: "Therefore, rigorously, it cannot represent a physical state of the particle. On the other hand, a superposition of plane waves like [this one] can be squareintegrable."
Heisenberg
 Deduction
Here we only consider the 1D case, allowing us to write the wave function as as superposition of over all possible :
Suppose that has the following shape:
Now let be a function of s.t. :
Further, we assume that varies sufficently smoothly within the interval . Then, when is sufficiently small, we can approx. using it's tangent / linear approximation about the point :
which enables us to write the wavefunction as:
where
I belive this note turned out to be that it was in fact integrating from to .
I presume that when they write they mean "integrate from to ..right? Since the "width" "contains" most of the integral.
This gives us a useful way of studying the variations of in terms of .
 If is large, i.e. is far from , will oscillate a very large number of times within the interval . Due to the high frequency the osciallations will cancel eachother out, thus
 If is small, i.e. is close to , will barely oscillate, and so we will end up with being a maximum.
 Relating to momentum
As seen previously, appears as a linear superposition of the momentum eigenfunctions in which the coefficient of is . We are thus led to interpret (to within a constant factor) as the probability of finding if one measures, at , the momentum of a particle whose state is described by .
The possible values of , like those of , form a continuous set, and is proportional to a probability density : the probability of obtaining a value of between and is, to within a constant factor . More precisely, we can rewrite the formula as:
we know that and satisfy the BesselParseval relation:
We then have
which is the probability that the measurement of the momentum will yield a result included between and .
Then, writing the relation
Honestly, I'm not seeing this.
This is based on the argument that for the to be significant, which I don't get.
 Q & A
 DONE We're assuming a certain "family" of distribution for k; does this affect our deduction?
This represents the coefficients for each of the different wavefunctions ("different" meaning parametrized with different , and thus different wavelength / frequency), allowing us to write some arbitrary wavefunction as a superposition of an infinite number of plane waves.
Why should it follow the "distribution" shown above? Why can't have an arbitrary "distribution", e.g. multiple peaks?
 DONE What's up with the alphas on the boundary of the integrals?
 DONE Why is it the complex conjugate of the wave equation when writing it as a function of the momentum?
 DONE We're assuming a certain "family" of distribution for k; does this affect our deduction?
Wave equation for free particle
Separable solution in as a function of and
or
Complements
H: Stationary States of particle in onedimensional square potential "well"
 Setup
Here we consider the timeindependent Schrödinger Equation with a stepwise constant potential .
Thus, the timeindependent Schrödinger Equation becomes:
 Stationary wavefunction in different potentials
We can solve the TISE with constant potential using integrating factors:
which we can be solved as a regular quadratic:
then whether or not we have a complex solution depends on whether or not is nonnegative or not.
 E > V  energy of particle is GREATER than potential barrier
We write ( being defined by the the following equation)
Then the stationary solution to the TISE with constant potential can be written
where and are complex constants.
 E < V  energy of particle is LOWER than potential barrier
Let be defined by the following equation
with solution to TISE with constant potential can be written:
where and are complex constants
Different order of and on LHS.
Also notice the fact that using the "integrating factor" to solve the ODE, our exponentials aren't positive in this case.
 E = V  energy of particle is equivalent to the potential barrier
In this case we simply end up with the differential equation
Which we can simply integrate twice and obtain a linear function expression for .
 E > V  energy of particle is GREATER than potential barrier
 Stationary wavefunction at potential energy discontinuity
 Computation outline
 Solve the TISE with constant potential using integrating factors, leaving you with a quadratic.
 Let be such that , for convenience
 Obtain a general solution for both wavefunctions depending on the in the different regions.
 Assume the wavefunction to be continues across the boundaries (discontinuities of the potential), i.e. we require
 Solve for the coefficients of the general solutions obtained.
In some cases, solving for all coefficients of the different wavefunctions is not possible due to not having enough constraints.
In this case it might make sense to set some constant to zero, and instead solve for the ratios , not the coefficients themselves. Solving for ratios reduces the order of the system of equations by 1, and setting one of them to zero reduces it further by 1. In the case were we have a simple potential barrier in 1D, using the above methods to reduce the order then allows us to compute solve equations for the ratios, providing us with a reflection coefficient (which also implies a transmission coefficient ) and thus the probability of reflecting of the barrier.
 Potential well
We would follow the same as described above, but now we would have three wave functions, with boundary conditions:
for the left side of the potentialwell at , and for the right side at :
i.e. we simply use the exact same method, but now we have an additional boundary to consider.
The solution ends up looking as:
where we note that if we have a particle coming from the left, we set the coefficient of the lefttraveling before the barrier to 0:
i.e. we can
We can "think" of each of these terms in the wavefunction to be a superposition of eigenstates. Viewing it in that way, it makes a bit more sense I suppose.
 Infinite potential well
Same procedure as regular potential well, but now the wavefunctions and (i.e. wavefunctions outside of the potential well) are equal to zero for all ! That is,
This leads us to the quantization of energies , where we have multiple solutions satisfying the boundary conditions specified above. If the potential well is of "width" , we end up with the solution
Which falls out of the fact that the boundary conditions above corresponds to the inverse wavelength being a integer multiple of the width of the potential well.
Each of these energy levels have their own eigenfunction .
 Computation outline
2. The mathematical tools of quantum mechanics
Notation
 is the set of all squareintegrable functions which are everywhere defined, continuous and infinitively differentiable. Together with the inner product this defines a Hilbert space
 denotes a wave function
 is a ket or ket vector, which is an element or vector of space, e.g.
 is the state space of a particle, and is a subspace of a Hilbert space. It's defined such that we associate each squareintegrable function with a ket vector, i.e.
 is the state space of a (spinless) particle in only one dimension
 is associated with a complex number, which is the scalar product, satisfying the properties of an inner product.
 denotes the set of linear functionals defined on the kets , which constitutes a vector space, called the dual space of .
 is a bra or bra vector of the space , which represents a linear functional
 , i.e. the linear function acting on the ket
 denotes a discrete basis
 denotes a continuous basis
 () denote a projection operator for a discrete (continuous) basis
 denotes the degeneracy of the eigenvalue
 denotes the ith (degenerate) eigenvector corresponding to the eigenvalue , if this eigenvalue is nondegenerate then the in the superscript can be dropped
 denotes the eigensubspace of the eigenvalue of
Dirac notation
Overview
The quantum state of any physical system is characterized by a state vector, belonging to a space which is the state space of the system.
"Ket" vectors and "bra" vectors
 Dual space
A linear function is a linear operation which associates an complex number with every ket :
Linear functional and linear operator must NOT be confused. In both cases we're dealing with linear operations, but the former associates each ket with a complex number, while the latter associates another ket.
 Generalized kets
"Generalized kets" are functions which are not necessarily squareintegrable, but whose scalar product with every function of exists.
These cannot, strictly speaking, represent physical states. They are merely intermediaries.
The counterexamples to the "normal" definition of a ket are in the form of limiting cases, where the result of applying the bra to the ket is welldefined, but it's not squareintegrable (it diverges when taking the limit) and thus not in .
See the book at p.115 for more information about this.
But in short, in general, the dual space and the state space are NOT isomorphic, except if is finitedimensional.^{1} I.e. the following is true:
But the otherway around is NOT true.
Linear operators
 Overview
Consider the operations defined by:
Choose an arbitrary ket and consider:
We already know that ; consequently, the equation above is a ket, obtained by multiplying by the scalar . Therefore the applied to some arbitrary ket gives another ket, i.e. it's an operator.
If :
 Projections
Let be a ket which is normalized to one:
Consider the operator defined by:
and apply it to an arbitrary ket :
Which is simply the projection of onto : first take the inner product, not needing to normalize wrt. due , and then multiply by to get the component.
We can also project onto a basis by taking the um over , and using this as an operator (applying each of them to the target ket as above). Thus we get the linear superposition .
Representations in state space
 Choosing a representation amounts to choosing an orthonormal basis, either discrete or continuous, in the state space
For a discrete basis
For a continuous basis
Representation of operators
Given a linear operator , we can, in a or basis, associate with it a series of numbers defined by
or for a continuous basis
We can then use the closure relation to compute the matrix which represents the operator in the basis:
And equivalently for the continuous basis
Matrix representation of a ket
Problem: we know the components of and the matrix elements of the operator in some representation. How can we compute the components of ?
In the basis, the "coordinate" of are given by:
Inserting the closure relation between and , we obtain:
Or for a continuous basis we have:
Eigenvalue equations for observables
is said to be an eigenvector (or eigenket ) of the linear operator if :
where . We call the equation above the eigenvalue equation of the linear operator .
We say the eigenvalue is nondegenerate if and only if the corresponding eigenvector is unique within a constant factor, i.e. when all associated eigenkets are collinear.
If there exists as least two linearly independent kets which are eigenvectors of with the same eigenvalue, this eigenvalue is said to be degenerate.
To be completely rigorous, one should solve the eigenvalue equation in the space , i.e. we ought to only consider those eigenvectors which have a finite norm.
Unfortunately, we will be obliged to use operatores for which eigenkets do not satisfy this condition. Therefore, we shall grant that vectors which are solutions of the eigenvalue equation can be
Two eigenvectors of a Herimition operator corresponding to two different eigenvalues are orthogonal.
Consider two eigenvectors and of the Hermitian operator .
Since is Herimition, we can write the above using the corresponding bras:
Multiplying the above on the left with on the right:
Which implies
Hence, if we have orthogonality, i.e. .
The Hermitian operator is an observable if the orthonormal system of eigenvectors of , described by
form a basis in the state space. That is,
Sets of commuting observables
Consider an observable and a basis of composed of eigenvectors of .
If none of the eigenvalues of is degenerate, then the various basis vectors of can be labelled by the eigenvalue , and all the eigensubspaces are then onedimensional. That is, there exists a unique basis of formed by the eigenvectors of . We then say that the observable constitutes, by itself, a C.S.C.O.
If, on the other hand, one or several eigenvalues of are degenerate, then the basis of eigenvectors of is not unqiue. We then choose another observable which commutes with , and construct an orthonormal basis of eigenvectors common to and . By definition, and form a C.S.C.O. if this basis is unique (to within a phase factor for each of the basis vectors), that is, if, to each of the possible pairs of eigenvalues , there corresponds only one basis vector.
If we still don't have a C.S.C.O., we can introduce another Hermitian operator which commutes with and , and then try to construct unique triples, and so on. This can be performed an arbitrary number of times in an attempt to obtain a C.S.C.O.
A set of observables is called a complete set of commuting observables if
 All the observables commute by pairs
 Specifying the eigenvalues of all the operators determines aa unique (to within a multiplicative factor) common eigenvector
If is a C.S.C.O., the specification of the eigenvalues determines a ket of the corresponding basis (to within a constant factor), which we sometimes denote by
Principles of Quantum Mechanics  Dirac
Notation
 denotes an eigenket belonging to the eigenvalue of the dynamical variable or a real linear operator
 If is an eigenvalue with multiple corresponding eigenkets, then denotes the ith corresponding eigenket
Definitions
Words
 conjugate complex
 refers to the complex conjugate of a number
 conjugate imaginary
 the bra corresponding to the ket
 commutative operators
Linear Operators
Notation
 defines applying an operator to a bra
Theorems
Orthogonality theorem
Two eigenvectors of a real dynamical variable belonging to different eigenvalues are orthogonal .
Existence of eigenvectors / eigenvalues
 Simple case
Assume that the real linear operator satisfies the algebraic equation:
which means that the linear operator produces the result zero when applied to any ket vector or to any bra vector.
Further, let the equation above be the simplest algebraic equation that satisfies. Then
 The number of eigenvalues of is
 There are so many eigenkets of that any ket can be expressed as a sum of such eigenkets.
Observables
Assumptions
If the dynamical system is in an eigenstate of a rea dynamical variable , belonging to the eigenvalue , then a measurement of will certainly give as result the number . Conversely, if the system is in a state such that a measurement of a real dynamical variable is certain to give on particular result (instead of giving one or other of several possible results according to a probability law, as in the general case) then the state is an eigenstate of and the result of the measurement isthe eigenvalue of to which this eigenstate belongs.
I.e. we assume eigenstates to be the the case when a measurement of a real dynamical variable is certain to give one particular result.
Equations
Quantum Theory for Mathematicians
Notation
 represents the Hilbert space over
 Linear operator , with being the adjoint of
 denotes smooth functiosn on with compact support
2. A First Approach to Classical Mechanics
2.5 Poisson Brackets and Hamiltonian Mechanics
Let and be two smooth functions on , where an element of is thought of as a pair , with
 representing position of a particle representing the momentum of a particle
Then the Poisson bracket of and , denoted is the function on given by
For all smooth functions , and on we have the following:
 for all
Jacobi identity:
The position and momentum functions satisfy the following Poisson bracket relations:
If a particle in has the usual sort of energy function (kinetic energy plus potential energy), we have
With the Hamiltonian, and as usual, having , we can write Netwon's laws as:
These equations we refer to has Hamilton's equations.
If is a solution of the Hamilton's equation, then for any function on , we have
Call a smooth function on a conserved quantity if is independent of for each solution of Hamilton's equations.
Then is a conserved quantity if and only if
In particular, the Hamiltonian is a conserved quantity.
Solving Hamilton's equatons on gives rise to a flow on , that is, a family of diffeomorphisms of , where is equal to the solution at time of Hamilton's equations with initial conditions .
Since it is possible (depending on the choice of potential function ) that a particle can escape to infinity in finite time, the maps are not necessarily defined on all of , but only on some subset therof.
If is defined on all of we say it's complete.
The flow associated with Hamilton's equations, for an arbitrary Hamitonian function , preserves the (2n)dimensional volume measure
What this means, more precisely, is that if a measurable set is contained in the domain of for some , then the volume of is equal to the volume of .
3. A First Approach to Quantum Mechanics
3.2 A Few Words About Operators and Their Adjoints
Linear operator is bounded if
For any bounded operator , there is a unique bounded operator , called the adjoint of , such that
 Existence of follows from the Riesz Theorem
For any bounded linear operator there is a unique bounded operator , called the adjoint of , such that
The existence of follows from Riesz Theorem.
We say is selfadjoint if .
Further, if is a linear operator defined on all of and having the property that
then is automatically bounded.
This means that an unbounded operator cannot be defined on the entire !
An unbounded operator on is a linear map from a dense subspace into .
Then is "not necessarily bounded", since nothing in the definition prevents us from having and having be bounded.
For an unbounded operator on , the adjoint of is defined as follows:
A vector belongs to the domain of if the linear functional
defined on , is bounded.
For , let be the unique vector such that
Since is bounded and is, by definition of a unbounded operator, dense, the BLT theorem tells us that has a unique bounded extension to all of .
Further, Riesz theorem then guarantees the existence and uniqueness of , the corresponding vector such that
Thus, the adjoint of a unbounded operator is a linear operator on .
An unbounded operator on is symmetric if
The operator is selfadjoint if
Finally, is essentially selfadjoint if the closure in of the graph of is the graph of a selfadjoint operator.
3.6 Axioms of Quantum Mechanics: Operators and Measurements
The state of the system is represent by a unit vector in an appropriate Hilbert space .
If and are two unit vectors in with for some constant , then and represent the same physical state.
There is a more general notion of a "mixed state", which we will consider later.
To each realvalued function on the classical phase space there is associated a selfadjoint operator on the quantum Hilbert space.
"Quantum Hilbert space" simply means "the Hilbert space associated with a given quantum system".
If a quantum system is in a state described by a unit vector , the probability distribution for the measurement of some observable satisfies
In particular, the expectation value for a measurement of is given by
Suppose a quantum system is initially in a state and that a measurement of an observable is performed.
If the result of the measurement is the number , then immediately after the measurement, the system will be in a state that satisfies
The passage from to is called the collapse of the wave function. Here is the selfadjoint operator associated with by Axiom 2.
The timeevolution of the wave function in a quantum system is given by the Schödinger equtaion,
Here is the operator corresponding to the classical Hamiltonian by means of Axiom 2.
3.8 The Heisenberg Picture
In the Heisenberg picture, each selfadjoint operator evolves in time according to the operatorvalued differential equation
where is the Hamiltonian operator of the system, where is the commutation, given by
4. The Free Schrödinger Equation
Notation
4.2 Solution as a convolution
"Free" means that there is no force acting on the particle, so that we may take the potential to be identically zero.
Thus, the free Scrhödinger equation is
subject to an initial condition of the form
Suppose that is a "nice" function, for example, a Schwartz function.
Let denote the Fourier transform of and define by
where is defined by
Then solves the free Schödinger equation with initial condition .
5. A Particle in a Square Well
6. Perspectives on the Spectral Theorem
Notation
denotes the position operator given by
acting on
 is a selfadjoint operator
 Borel set of
 denotes the closed span of all eigenvectors of with eigenvalues in
 In cases where does not have true orthonormal basis, is called spectral subspace
 is the orthogonal projection onto
For any unit vector , we have
Indicator function
Goals of Spectral Theory
Recall that if the eigenvalues are distinct and decomposes as
the probability of observing the value will be ., since is just the projection onto .
 In cases where does not have a true orthonormal basis of eigenvectors, we would like the spectral theorem to provide a family of projection operators
 One for each Borel subset
 Will allow us to define probabilities as in "standard" case above
 Call these projection operators spectral projects and the associated subspaces spectral subspaces.
 Intuitively, may be thought of as the closed span of all the generalized eigenvectors with eigenvalues in .
Position operator
 Has no true eigenvectors, i.e. no eigenvecors that are actually in
If we think that "generalized eigenvectors" for are the distributions given by
then one might guess that spectral subspace should consist of those functions that are "supported" on , i.e. a superposition of the "funtions" with should define a function supported on .
Spectral projection is then orthogonal projection onto :
then
 The functional calculus of
 If then we should have
7. Spectral Theorem for Bounded SelfAdjoint Operators
Notation
 is the separable complex Hilbert space
Operator norm of on is
is finite.
 Banach space of bounded operators on , wrt. operator norm is denoted .
 denotes the resolvent set of
 denotes the spectrum of
 denotes the projectionvalued measure associated with the operator selfadjoint
For any projectionvauled measure and , we have an ordinary (positive) realvalued measure given by
is a map defined by
Spectral subspace for each Borel set
of
 defines a simultanouesly orthonormal basis for a family of separable Hilbert spaces
Properties of Bounded Operators
Linear operator on is said to be bounded if the operator norm of
is finite.
Space of bounded operators on forms a Banach space under the operator norm, and we have the inequality
for all bounded operators on and .
For , the resolvent set of , denoted is the set of all such that the operator has a bounded inverse.
The spectrum of , denoted by , is the complement in of the resolvent set.
For in the resolvent set of , the operator is called the resolvent of at .
Alternatively, the resolvent set of can be described as the set of for which is onetoone and onto.
For all , the following results hold.
 The spectrum of is closed, bounded and nonempty subset of .
 If , then is in the resolvent set of
Point 2 in proposition:hall13quant7.5 establishes that is bounded if is bounded.
Suppose satisfies .
Then the operator is invertible, with the inverse given by the following convergent series in :
For all , we have
Spectral Theorem for Bounded SelfAdjoint Operators
Given a bounded selfadjoint operator , we hope to associate with each Borel set a closed subspace of , where we think intuitively that is the closed span of the generalized eigenvectors for with eigenvalues in .
We would expect the following properties of these subspaces:
 and
 Captures idea that generalized eigenvectors should span
 If and are disjoint, then
 Generalized eigenvectors ought to have some sort of orthogonality for distinct eigenvalues (even if not actually in )
 For any and ,
If are disjoint and , then
 For any , is invariant under .
If and , then
ProjectionValued measures
For any closed subspace , there exists a unique bounded operator such that
where is the orthogonal complement.
This operator is called the orthogonal projection onto and it satisfies
i.e. it's selfadjoint.
One also has the properties
or equivalently,
Conversely, if is any bounded operator on satisfying and , then is the orthogonal projection onto a closed subspace , where
 Convenient ot describe closed subspaces of in terms of associated orthogonal projection operators
 Projection operator expresses the first four properties of the spectral subspaces; those properties are similar to those of a measures, so we use the term projectionvalued measure
Let be a set and an in .
A map is called a projectionvalued measure if the following properties are satisfied:
 For each , is an orthogonal projection
 and
If are disjoint, then for all , we have
where the convergence of the sum is in the normtopology on .
 For all , we have
Properties 2 and 4 in of a projectionvalued measure tells us that if and are disjoint, then
from which it follows that the range of and the range of are perpendicular.
Let be a in a set and let be a projectionvalued measure.
Then there exists a unique linear map, denoted
from the space of bounded, measurable, complexvalued functions on into with the property that
for all and all .
This integral has the following properties:
For all , we have
In particular, the integral of the constant function is .
For all , we have
Integration is multiplicative: For all and , we have
For all , we have
In particular, if is realvalued, then is selfadjoint.
By Property 1 and linearity, integration wrt. has the expected behavior on simple functions. It then follows from Property 2 that the integral of an arbitrary bounded measurable function can be comptued as follows:
 Take sequence of simple functions converging uniformly to
 The integral of is then the limit, in the normtopology, of the integral of the .
A quadratic form on a Hilbert space is a map with the following properties:
 for all and
the map defined by
is a sesquilinear form.
A quadratic form is bounded if there eixsts a constant such that
The smallest such constant is the norm of .
If is a bounded quadratic form on , there is a unique such that
If belongs to for all , then the operator is selfadjoint.
Spectral Theorem for Bounded SelfAdjoint Operators: direct integral approach
Notation
 is a measure on a of sets in
 For each we have a separable Hilbert space with inner product
 Elements of the direct integral are called sections
Stuff
There are several benefits to this approach compared to the simpler "multiplication operator" approach.
 The set and the function become canonical:
 The direct integral carries with it a notion of generalized eigenvectors / kets, since the space can be thought of as the space of generalized eigenvectors with eigenvalue .
 A simple way to classify selfadjoint operators up to unitary equivalence: two selfadjoint operators are unitarily equivalent if and only if their direct integral representations are equivalent in a natural sense.
Elements of the direct integral are called sections , which are functions on with values in the union of the , with property
We define the norm of a section by the formula
provided that the integral on the RHS is finite.
The inner product between two sections and (with finite norm) should then be given by the formula
Seems very much like the differential geometry section we know of.
 is the fibre at each point in the mfd.
 is the mfd.
First we slightly alter the concept of an orthonormal basis. We say a family of vectors is an orthonormal basis for a Hilbert space if
and
This just menas that we allow some of the vectors in our basis to be zero.
We define a simultanouesly orthonormal basis for a family of separable Hilbert spaces to be a collection of sections with the property that
Provided that the function is a measurable function from into , it is possible to choose a /simultaneous orthonormal basis such that
is measurable for all and .
Choosing a simultaneous orthonormal basis with the property that the function
is a measurable function from into , we can define a section to be measurable if the function
is a measurable complexvalued function for each . This aslo means that the are also measurable sections.
We refer to such a choice of simultaneous orthonormal basis as a measurability structure on the collection .
Given two measurable sections and , the function
is also measurable.
Suppose the following structures are given:
 a measure space
 a collection of separable Hilbert spaces for which the dimension function is measurable
 a measurability structure on
Then the direct integral of wrt. , denoted
is the space of equivalence classes of almosteverywhereequal measurable sections for which
The inner product of two sections and is given by the formula
8. Spectral Theorem for Bounded SelfAdjoint Operators: Proofs
Notation
with spectral radius
Stage 1: Continuous Functional Calculus
Stage 2: An OperatorValued Riesz Representation Theorem
Let be a compact metric space and let denote the space of continuous, realvalued functions on .
Suppose is a linear functioanl with the property that is nonnegative if is nonnegative.
Then there exists a unique (realvalued, positive) measure on the Borel sigmaalgebra in for which
Observe that is a finite measure, with
where is the constant function.
Practice problems
"Pointpotential"
We have a potential of the form
which gives us the TISE:
Then we impose the following conditions on the solution :
 continuity at , i.e. require
The continuity restriction does NOT necessarily mean that the derivative itself is continuous!
If we then integrate both sides of the TISE above over the interval taking the limit :
which gives us
And since , we get:
Then we compute the derivaties and take the limits, giving us something better to work with!
Harmonic Oscillator
Consider a potential energy of the form . The classical energy is then:
Using the Hamiltonian operator and the momentum . We can then write the Schödinger equation, letting and for convenience, as:
or equivalently,
Goal is the to find solutions that are physical and suitable for all .
One approach is to perform the following:
 Obtain solution for limiting behavior
 Perform power series expansion
Our requirements for the solution:
 single valued over the region (wellbehaved)
First consider when is large and dominates with being negible by design . Then
which we can guess ourselves to a solution of
to which we then note that is not satisfactory given that it diverges (due to restricting out attention to squareintegrable functions only). Hence,
Why does it make sense to consider the limit behavior?
Due to the continuity imposed on the solution / wave function we now that the solution to the limiting behavior is related to the solution across the entire domain of .
From this solution we can then derive more solutions using reduction of order, i.e. we multiply our previous solution with some arbitrary function , which gives use
Taking the derivatives and substituting into the original differential equation we get:
To make the connection with a "special" function in a few steps, let's make the substituion and replace the function with to get the following equation:
We can now represent as a power series:
where we've made the assumption that this series converges for all and that the function is well defined.
Physically, we know the above has to be case for the solutions to make sense and satisfy our overall constraint that the integral of the probability density must be finite:
Differentiating and substituting back into the differential equation we (eventually) obtain the recursion formula:
And thus we have a solution! BUT we have a serious problem :
 We assumed the series of to be convergent for all which is not generally true in the recursion relation for all values (the energy values) and (potential well curvature)
 The function is square integrable if is truncated and does not contain an infininte number of terms in its series expansion
Thus, when we then require the
it can be seen from the recursion relation that the series expansion is finite (and hence converges ) if
or the energy values have the folloiwgn discrete spectra,
Whiiiich we can finally write as:
Short problems
Eigenvalue expansion of in angular momentum basis
The wavefunction of a particle at is known to have the form
where is an unknown function of .
What can be predicted about the results of measuring:
 the zcomponent of angular momentum?
 the square of the angular momentum?
Hint: expand in eigenfunctions of , which are of the form , where .
Answer
Observe that
Thus,
Thus, when measuring , we can obtain either or with equal probability.
We can't really say anything about , without knowing more about , other than observing that since .
Constructing matrix for angular component of a system with
Construct the matrix which represent the Cartesian component in the zdirection of the angular momentum for a system with .
Answer
For , , and the matrixelements of are given by
Thus, we have
where we use instead of to indicate that only corresponds to this matrix in this specific representation / space (Cartesian coordinates in this case).
Q & A
Simplification of potential well problem due to direction of travel
See rmk:potentialwellsimplificationduetotravellingdirection for what I'm talking about.
Footnotes:
Is is true that the Hilbert space and its dual space are isomorphic; however, we have taken for the wave function space is a subspace of , which explains why is "larger" than .