Table of Contents
- Postulates and Principles
- Operators and Pictures
- Quantum Harmonic Oscillator
- Angular Momentum and Spin
- Identical Particles
- 3D Mechanics
- Approximation Methods
- Scattering
- Particles in EM Fields
Postulates and Principles
the underlying assumptions are
- Physically realizable states live in projective hilbert space
- Observables $\iff$ hermitian operators on this HS
- Possible observations given by eigvals of these ops
- $P(a_n) = |\braket{a_n}{\psi}|^2$, after measurement $\ket{\psi}\to\hat{P}_{a_n}\ket{\psi} = \ket{a_n}$ where the last equality holds if the eigval is nondegenerate. $\ev{f(A)} = |\braket{a_i}{\psi}|^2f(a_i)$
- $i\hbar\partial_t\ket{\psi}=\hat{H}\ket{\psi}$, where eigenfunctions $\ket{\psi_n}$ satisfy $\psi_{n}(x,\,t) = \psi_n(x)\exp(-iE_nt/\hbar)$ and an arbitrary vector can be written as a linear combination of these steady states.
- $n$ identical particles are always in states which are eigenfunctions of all exchange operators – eigval of $\pm1$ depending on statistics.
kernel of fourier transform used to move between \(x\) and \(p\) representations:
important distinction:
- expected location: $\ev*{\hat{r}}$
- most probable location: maximum of $|\psi|^2$
- most probable radius: $r$ that maximizes $\int\dd{\Omega}r^2|\psi|^2$
probability current:
Operators and Pictures
Eherenfest derivable from just performing the derivative (being sure to hit the \(\ket{\psi}\)s) and the uncertainty relation derivable from the schwartz inequality on \(\hat{O}-\ev*{\hat{O}}\)
Heisenberg | Dirac | Schrodinger | |
---|---|---|---|
States | constant | evolve with $V$ | evolve with $H$ |
Operators | evolve with $H$ | evolve with $H_0$ | constant |
and states evolve as $i\hbar\partial_t\ket{\psi} = \bullet\ket{\psi}$
Quantum Harmonic Oscillator
after adimensionalizing the operators:
check: \(\hbar\omega\) is an energy, \([mE] = [m]^2[c]^2 = [p]^2\), similarly for the \(\hat{x}\) prefactor
Ladder operators
Nice in terms of adim ops:
working in the dimensionless spatial coordinates \(X\) and \(-i\partial_X\), it’s not too bad to work out wavefunctions starting from
Coherent states
indexed by \(\alpha\in\mathbb{C}\) – this is their eigenvalue under \(\hat{a}\); set initial position and velocity with the two dof:
as time goes on, they stay coherent but \(\alpha\) evolves (see eherenfest)
can use BCH to split the exp into two; recall
Angular Momentum and Spin
Take some operators \(\hat{J}_i\) that satisfy \(SU(2)\) commutation \([\hat{J}_i,\,\hat{J}_k]=i\hbar\epsilon_{ijk}\hat{J}_k\)
we pick a basis \(\ket{jm}\) that simultaneously diagonalizes \(\hat{J}^2\) and \(\hat{J}_z\):
these imply \(j\) is (nonnegative) integer or half-integer and \(m\in[-j,j]\)
ladder between the \(m\)s with
for normalized \(\ket{jm}\) states,
remember signs: we kill the extreme \(m\) states
spherical harmonics, eigs of the orbital angmom \(\hat{L}^2\), only get integer \(j\)s (\(\ell\)s)
for spin (internal dof) half integer \(j\) is okay.
for a fixed \(j\) the \(m\)s give us \(2j+1\) states to work with
Addition: Clebsh-Gordon coefficients
say we have two particles with \(\ket{j_1m_1,\,j_2m_2}\) in which \(J_1^2,\,J_{1z},\,J_2^2,\,J_{2z}\) are diagonalized. we can also consider \(\ket{jmj_1j_2}\) in which \(J^2,\,J_z,\,J_1^2,\,J_2^2\) diagonalized. the obstruction comes about because \(J^2\) and \(J_{iz}\) arent simultaneously diagonalizable.
Example: \(j_1 = \ell = 1\) and \(j_2 = s= 1/2\).
these are written in CG tables, which give \(j,\,m\) on each column and \(m_1,\,m_2\) on each row. the coefficients are given squared, so you need to take the square root before using them.
Identical Particles
this is pretty straightforward: if the particles are indistinguishable, we have statistics effects (fermion or boson). keep in mind that if the particles have a spin and a spatial wavefunction then one part of it might already take care of the (anti)symmetry that you need!
3D Mechanics
gives us solutions of the form
Angular part: the spherical harmonics are eigens of both \(\hat{L}^2\) and \(\hat{L}_z\) with
up to normalization, they look like
with the \(\ell = 0\) and \(\ell = 1\) ones given explicitly as:
it might be handy to know
which helps explain the extra \(\sqrt{2}\) on the \(1\pm1\)s.
Radial part: with the \(\ell\) fixed on the sphharm side, our equation reads
where the trick is to swap to \(u = rR\) where the equation reads
which is like TISE with hard well at \(x=0\) (\(u\) must be zero when \(r= 0\))
Hydrogen
Take \(V\) to be Coulomb:
then the bound states are ordered by an \(n=1,\,2,\dots\) and \(\ell = 0, \dots, n-1\).
Energy independent of \(\ell\) (and goes like \(\alpha^2\)):
A few wavefuntions:
Relativistic corrections a fine structure correction (energy goes like \(\alpha^4\)): take next term in relativistic kinetic energy expansion and perturb hydrogen’s degenerate states (\(L^2,\,L_z\) commute with \(p^2\) and thus with the \(p^4\) terms we get), we have a nice basis to perturb with. end up needing some \(\ev{r^{-n}}\)s; the \(n=1\) you can get with virial theorem, and the \(n=2\) with feynman-hellmann theorem. end up getting a perturbation that depends on \(n\) and \(\ell\).
Sporbit coupling fine structure: if \(\ell \neq 0\) then the orbital angular momentum couples to the spin of the electron and affects the energy depending on aligned/antialigned. kramer’s relation gives further \(n\)s from above.
Lamb shift (energy goes like \(\alpha^5\)) QED vacuum perturbs the atom
Spin-spin coupling hyperfine structure (energy goes like \(\alpha^8m_e/m_p\): coupling between the spin of the electron and the proton
Approximation Methods
TIPT
Use: we have a hammy that looks like \(H = H_0 + \lambda V\) for some small parameter \(\lambda\) where we know how to solve \(H_0\)
No degeneracy:
Degeneracy: pick a basis for the degenerate subspace of \(H_0\) such that \(V\) is diagonalized (e.g. if we know eigenstates of \(V\) already that \(H_0\) doesnt care about); these diagonal elements are the first-order corrections to the energy. in this basis, the second-order corrections are given by the same sum, just with a restriction on the sum so that it doesnt blow up.
TDPT
Idea: invert the schrodinger equation and write
(note: the bounds on the inner integrals eat the \(1/n!\) from the expansion and preserve the time-ordering)
we typically do this in the interaction picture, so \(\psi\) evolves with just the perturbation \(V\), and we’re also typically interested in transitions between eigenstates of \(H_0\). these assumptions give us the matrix element
and probability of transition \(|\mathcal{M}|^2\)
Fermi’s golden rule
comments:
- often take a $\bra{f}$ continuum with density of states $\rho(E_f)$, i.e. $\rho(E_f)\dd{E}$ is the number of accessible states with energy $\in [E_f,\,E_f+\dd{E_f}]$. We basically then just swap delta for this rho:
\begin{equation} \Gamma_\text{tot} = \frac{2\pi}{\hbar}\rho(E_i+\hbar\omega)\left|\mel{f_{(E_i+\hbar\omega)}}{F}{i}\right|^2 + \frac{2\pi}{\hbar}\rho(E_i-\hbar\omega)\left|\mel{f_{(E_i-\hbar\omega)}}{F^{\dagger}}{i}\right|^2 \end{equation}
- if $\omega = 0$, we must take
\begin{equation} \Gamma = \frac{2\pi}{\hbar}\left|\mel{f}{V}{i}\right|^2\delta(E_i-E_f) \end{equation}
assumptions:
- $V(t) = Fe^{-i\omega t} + F^{\dagger}e^{i\omega t}$
- "$t$ large" in that $\rho(E_f)|\ev{F}|^2$ shouldnt change very much for the energy range $\hbar/t$; we need the time to be large relative to [$\hbar$ over the characteristic energy scale for $\rho(E_f)$ to vary]
- "$t$ not too large" in that there must be many states available within the energy scale; we need the time to be small relative to [$\hbar$ over the characteristic energy spacing] for the delta function to make sense
Variational principle
Use: finding ground state energy
It is a fact that
for any wavefunction \(\psi\). thus, we create a family of \(\psi_\sigma(x)\) parameterized by some \(\sigma\) (e.g. width of a gaussian or something) and minimize over \(\sigma\) to get a best estimate for \(E_0\)
WKB approximation
Use: this is a semiclassical \(\hbar\left|\dv{p}{x}\right|^2 \ll |p(x)|^2\) approximation.
for a slowly-varying \(V(x)\), we extract \(p(x)\) as if it were classical:
this works best in the cases where:
- $p(x)$ real $\iff E > V$ — "classical region" of oscillatory $\phi$
- $p(x)$ imag $\iff E < V$ — "forbidden region" exp growth/decay
to patch together in the intermediate regions, try to match typical boundary conditions and the continuity of the phase.
Scattering
Note: we also use TDPT in 3D scattering but i put it in the approximation methods section. FGR holds for weak scattering potentials
1D Scattering
Let \(V_I = \min[V(-\infty),\,V(+\infty)]\) and \(V_{II}\) be the max. Bound states are discrete and require \(\inf V(x) <E< V_I\). We have one scattering state for each \(E\in [V_{I},\,V_{II}]\) and two scattering states for each \(E > V_{II}\)
Take \(\psi\) as wave from \(-\infty\) being reflected and transmitted:
we have coefficients
we typically use boundary conditions
- continuity of $\psi$
- continuity of $\psi'$
however, if we have an infinite potential, e.g. \(V = \lambda\delta(x)\), we dont have the latter (which is the condition for differentiability). Instead, we integrate both sides of the SE to get
Born Approximation
Easiest derivation: start with FGR, scattering in a periodic box
where \(\vb{k}\) is quantized as \(2\pi\vb{n}/\hbar\). Replacing the delta in FGR with the dos
allows us to calculate
and thus
which is formula obtained via the born approximation.
the actual approximation itself is a bit more complex. we turn the TISE into the helmholtz equation and find a greens function solution that matches our BCs of outgoing waves. we get that the final wavefunction depends on an integral over the final wavefunction, so we plug back in to itself and get an interated integral that we truncate to first order in \(V\) and then compare to the asymptotic free-plus-scattered expected form
if \(V\) is spherically symmetric, we can go ahead and do these integrals:
let \(\vb*{\kappa} = \vb{k}_i-\vb{k}_f\) so that \(\kappa = 2k\sin\theta/2\) and
Partial wave expansion
recall the 3D spherical SE
In the far field, we’ve been ignoring angular momentum since it perturbs the effective potential as \(r^{-2}\). What if we stop ignoring it? then \(\psi \sim j_\ell(kr)Y_{\ell m}\) or \(\sim n_\ell(kr)Y_{\ell m}\) (bessels and von neumans), which go like sincs and cosincs respectively; nice for bound states but not for scatterings. We instead look at hankels \(h_\ell^{(1)}=j_\ell + in_\ell\) which asymptotically look like out- and in-going spherical waves
the strategy is to write the incoming plane wave in terms of hankels, which corresponds to different angular momenta. we match these to the large-\(r\) boundary conditions to solve for \(u_\ell\). Taking \(r\) to infinity then puts it back into a form where we can recognize \(f(\theta)\)
this is nice because in the low-energy (\(kr_\ast \ll 1\)) limit, we can just take the first \(\ell\), called \(S\)-wave scattering:
- for $r>r_\ast$, we take the far field and write $\psi = Ae^{ikz} + B \frac{e^{ikr}}{r}$
- for $r\gtrsim r_\ast$, we use the approximation: $\psi \sim A + \frac{B}{r}$
- for $r < r_\ast$, we can no longer ignore $V$: solve $(-\frac{\hbar^2}{2m}\nabla^2 + V)\psi \approx 0$ with the boundary condition at $r_\ast$
Particles in EM Fields
common situations:
- uniform, time-independent $B$: usually want to choose a rotationally symmetric $A=\frac{1}{2}B\times r$, eg $A = B/2(-y,\,x,\,0)$ or $A=B(0,\,x,\,0)$
- time independent $E$: just say $E=-\nabla \phi$ as usual and work with the hammy
keep in mind \(\phi\) is not gauge invariant:
the current density also changes:
Zeeman effect
put the Hydrogen atom in a \(B\) field; take \(A = \frac{1}{2}B\times r\) and the hammy becomes
we usually take the \(B\) to be small so we can ignore \(A^2\) and just perturb the angular momentum coupling
Landau levels
take a \(B\) field in the \(z\) direction and let \(\vb{A} = Bx\vu{y}\). we can coax this into having plane waves in \(y\) and harmonic oscillator in \(x\)
Other situations
Aharanov Bohm effect: phase shift due to \(A\)
particle on ring with B field through it
spin in \(B\) field; \(H\sim B\cdot m\)
stark effect, which is like zeeman with \(E\) and antisemitism