Skip to content

Notation and Conventions

Approximation formulas are unusually sensitive to local conventions. A reversed gap, a changed plane-wave normalization, an unstated state-normalization choice, or an opposite Fourier sign can make two correct derivations look inconsistent.

This page fixes the notation used across this volume. It is subordinate to the canonical Conventions Overview for sitewide policy and to the Scattering Convention Dictionary for detailed translation among scattering sources. For rapid lookup without the explanatory detail, use Common Symbols.

The rule is:

define the symbol, its units, its normalization, and its limiting prescription.\text{define the symbol, its units, its normalization, and its limiting prescription}.

Unless a page states otherwise:

  • ℏ\hbar is explicit.
  • cc is explicit outside declared relativistic or QFT natural-unit passages.
  • ⟨ϕ∣ψ⟩\langle\phi\vert\psi\rangle is conjugate-linear in ϕ\phi and linear in ψ\psi.
  • [A,B]=AB−BA[A,B]=AB-BA.
  • Hats are used when they prevent confusion between an operator and a value; HH, VV, and SS may be unhatted when context is unambiguous.
  • Bold symbols such as r\mathbf r, p\mathbf p, k\mathbf k, and q\mathbf q are three-vectors.
  • Complex conjugation is z∗z^*, the Hilbert-space adjoint is A†A^\dagger, and the transpose is ATA^{\mathsf T}.
  • No Einstein summation is implied in ordinary quantum-mechanics formulas unless a page explicitly declares indexed tensor notation.
  • Bound states are unit normalized; continuum and scattering states use an explicitly stated delta-function or flux normalization.

Use Units and Constants, Bra-Ket Notation, Inner Product Conventions, and Fourier Transform Conventions for canonical details.

SymbolDefault meaning in this volumeImportant qualification
H0H_0Solvable or reference HamiltonianNeed not be the free Hamiltonian
VVPerturbing interaction or scattering potentialMay depend on time
λ\lambdaPerturbative bookkeeping or physical coupling parameterSet to one only after order counting
ϵ\epsilonA locally defined dimensionless control parameterNever assumed universal
ϵreg\epsilon_{\mathrm{reg}}Positive resolvent regulatorSent to zero from above
∣n(0)⟩\lvert n^{(0)}\rangleZeroth-order eigenstate of H0H_0Degenerate labels may require an extra index
En(0)E_n^{(0)}Zeroth-order energySuperscript is perturbative order, not a power
Δnm\Delta_{nm}En(0)−Em(0)E_n^{(0)}-E_m^{(0)}Order of indices fixes the sign
PP, QQComplementary projectors, with Q=I−PQ=I-PPP can also mean probability when arguments make that clear
R[ψ]\mathcal R[\psi]Rayleigh quotientA functional, not a density operator
S(x,t)S(x,t)Hamilton principal function or action phaseDistinct from the scattering SS-matrix
W(x)W(x)Reduced action in a stationary problemUsually S=W−EtS=W-Et
p(x)p(x)Positive local momentum magnitude in an allowed regionPropagation direction is carried by a sign in the phase
κ(x)\kappa(x)Positive forbidden-region momentum magnitudeκ=2m(V−E)\kappa=\sqrt{2m(V-E)}
G0(±)(E)G_0^{(\pm)}(E)Free outgoing or incoming resolventSign is tied to the stated Fourier convention
SfiS_{fi}Scattering-matrix elementMay contain discrete and continuum delta functions
TfiT_{fi}Transition-operator matrix elementDefinition depends on the chosen SS convention
f(Ω)f(\Omega)Nonrelativistic scattering amplitudeHas dimensions of length in three dimensions
δℓ\delta_\ellPartial-wave phase shiftNot a delta distribution
Γ\GammaTransition or decay rateHas units of inverse time

The same letter can have other meanings outside this volume. Local definitions override the table only when the page says so explicitly.

The default split is

H(λ)=H0+λV.H(\lambda) = H_0+\lambda V.

H0H_0 is the reference Hamiltonian and VV is the perturbing operator. The symbol λ\lambda may be:

  • a physical dimensionless coupling;
  • a bookkeeping parameter introduced to count orders;
  • part of a scaled physical coupling after units have been removed.

If λ\lambda is only bookkeeping, it is set to one after the dimensionless validity ratios have been identified.

For a discrete nondegenerate reference spectrum,

H0∣n(0)⟩=En(0)∣n(0)⟩.H_0\lvert n^{(0)}\rangle = E_n^{(0)} \lvert n^{(0)}\rangle.

Matrix elements of VV are

Vmn≡⟨m(0)∣V∣n(0)⟩.V_{mn} \equiv \langle m^{(0)}\rvert V \lvert n^{(0)}\rangle.

The signed gap convention is

Δnm≡En(0)−Em(0).\Delta_{nm} \equiv E_n^{(0)}-E_m^{(0)}.

Thus the first-order state correction in intermediate normalization is

∣n(1)⟩=∑m≠nVmnΔnm∣m(0)⟩.\lvert n^{(1)}\rangle = \sum_{m\ne n} \frac{V_{mn}}{\Delta_{nm}} \lvert m^{(0)}\rangle.

Some sources define Δmn=Em(0)−En(0)\Delta_{mn}=E_m^{(0)}-E_n^{(0)}. Their denominator and any explicit minus sign must be translated together.

The expansions are

En(λ)=∑r=0∞λrEn(r),∣n(λ)⟩=∑r=0∞λr∣n(r)⟩.\begin{aligned} E_n(\lambda) &= \sum_{r=0}^{\infty} \lambda^r E_n^{(r)}, \\ \lvert n(\lambda)\rangle &= \sum_{r=0}^{\infty} \lambda^r \lvert n^{(r)}\rangle. \end{aligned}

Parenthesized superscripts such as (0)(0) and (1)(1) label perturbative order. They are not exponentiation. A page that uses a different ordering parameter must name it.

Intermediate normalization means

⟨n(0)∣n(λ)⟩=1.\langle n^{(0)} \vert n(\lambda)\rangle = 1.

It makes every higher-order correction orthogonal to ∣n(0)⟩\lvert n^{(0)}\rangle, but the resulting perturbative state is not automatically unit normalized. A page reporting expectation values beyond first order should state whether it has converted to unit normalization.

For a degenerate or nearly degenerate sector D\mathcal D,

P=∑a∈D∣a⟩⟨a∣,Q=I−P.P = \sum_{a\in\mathcal D} \lvert a\rangle\langle a\rvert, \qquad Q=I-P.

The first-order operator inside the sector is PVPPVP. Adapted states within the sector may be labeled ∣α(0)⟩\lvert\alpha^{(0)}\rangle, while rr or qq labels states outside it. A page should distinguish the basis index aa from the eigenstate label α\alpha after diagonalization.

For a time-dependent problem,

H(t)=H0+V(t).H(t)=H_0+V(t).

When H0H_0 is time independent, the interaction-picture perturbation is

VI(t)=eiH0(t−t0)/ℏV(t)e−iH0(t−t0)/ℏ.V_I(t) = e^{iH_0(t-t_0)/\hbar} V(t) e^{-iH_0(t-t_0)/\hbar}.

The transition frequency is

ωfi≡Ef−Eiℏ.\omega_{fi} \equiv \frac{E_f-E_i}{\hbar}.

The interaction-picture matrix element is

(VI)fi(t)≡⟨f∣VI(t)∣i⟩.\bigl(V_I\bigr)_{fi}(t) \equiv \langle f\rvert V_I(t)\lvert i\rangle.

With these definitions,

cf(1)(t)=−iℏ∫t0tdt′ (VI)fi(t′).c_f^{(1)}(t) = -\frac{i}{\hbar} \int_{t_0}^{t} dt'\, \bigl(V_I\bigr)_{fi}(t').

If a source instead writes a Schrödinger-picture matrix element Vfi(t)V_{fi}(t), it may display the phase eiωfite^{i\omega_{fi}t} separately. Do not include that phase twice.

The leading transition probability is Pi→f(t)P_{i\to f}(t), while a rate is

Γi→f≡dPi→fdt\Gamma_{i\to f} \equiv \frac{dP_{i\to f}}{dt}

only in a regime where an approximately constant rate exists. ρ(E)\rho(E) denotes a density of final states per unit energy unless another measure is stated. Degeneracy, polarization, spin, and channel sums must be displayed or explicitly included in ρ\rho.

Time ordering is written T\mathcal T, not TT, to avoid collision with the scattering transition operator.

The Rayleigh quotient is

R[ψ]≡⟨ψ∣H∣ψ⟩⟨ψ∣ψ⟩.\mathcal R[\psi] \equiv \frac{ \langle\psi\rvert H\lvert\psi\rangle }{ \langle\psi\vert\psi\rangle }.

A parameterized trial family is ∣ψ(α)⟩\lvert\psi(\boldsymbol\alpha)\rangle, where α\boldsymbol\alpha can contain real or complex variational parameters. The optimized ground-state estimate is

Evar=inf⁡αR[ψ(α)].E_{\mathrm{var}} = \inf_{\boldsymbol\alpha} \mathcal R[\psi(\boldsymbol\alpha)].

For a finite basis {∣ϕi⟩}\{\lvert\phi_i\rangle\},

∣ψ⟩=∑ici∣ϕi⟩,\lvert\psi\rangle = \sum_i c_i\lvert\phi_i\rangle,

with matrices

Hij=⟨ϕi∣H∣ϕj⟩,Nij=⟨ϕi∣ϕj⟩.H_{ij} = \langle\phi_i\rvert H\lvert\phi_j\rangle, \qquad N_{ij} = \langle\phi_i\vert\phi_j\rangle.

The generalized eigenproblem is

Hc=ENc.\mathbf H\mathbf c = E\mathbf N\mathbf c.

Many sources call the overlap matrix S\mathbf S. This volume permits that notation on purely variational pages, but prefers N\mathbf N when a scattering SS-matrix appears nearby.

The residual of an approximate eigenpair is

∣r⟩≡(H−E)∣ψ⟩,\lvert r\rangle \equiv (H-E)\lvert\psi\rangle,

and the energy variance is

σH2≡⟨H2⟩−⟨H⟩2.\sigma_H^2 \equiv \langle H^2\rangle-\langle H\rangle^2.

These are diagnostics, not additional variational parameters.

SS denotes an action or Hamilton principal function when it carries trajectory, endpoint, or spacetime arguments. In one dimension,

∂S∂t+H ⁣(x,∂S∂x)=0.\frac{\partial S}{\partial t} + H\!\left( x, \frac{\partial S}{\partial x} \right) = 0.

For a stationary problem,

S(x,t)=W(x)−Et,S(x,t)=W(x)-Et,

where W(x)W(x) is the reduced action and

p(x)=dWdx.p(x)=\frac{dW}{dx}.

If a page also uses the scattering matrix, it writes SscattS_{\mathrm{scatt}} or S\mathsf S when context does not make the distinction immediate.

In an allowed region,

p(x)≡2m(E−V(x))>0.p(x) \equiv \sqrt{2m\bigl(E-V(x)\bigr)} \gt0.

The positive square root is the local momentum magnitude. Right- and left-moving branches are carried by the sign in

ψ±(x)≈C±p(x)exp⁡[±iℏ∫xp(x′) dx′].\psi_\pm(x) \approx \frac{C_\pm}{\sqrt{p(x)}} \exp\left[ \pm \frac{i}{\hbar} \int^x p(x')\,dx' \right].

In a forbidden region,

κ(x)≡2m(V(x)−E)>0.\kappa(x) \equiv \sqrt{2m\bigl(V(x)-E\bigr)} \gt0.

Growing and decaying branches use exp⁡(±∫κ dx/ℏ)\exp(\pm\int\kappa\,dx/\hbar). The symbols pp and κ\kappa are not analytically continued into one another unless a page explicitly adopts that convention.

A turning point xtx_t satisfies

E=V(xt).E=V(x_t).

x1x_1 and x2x_2 usually denote ordered turning points with x1<x2x_1\lt x_2. A closed action integral is

∮p dq.\oint p\,dq.

For one integrable degree of freedom, the EBK convention used here is

∮p dq=2πℏ(n+μM4),\oint p\,dq = 2\pi\hbar \left( n+\frac{\mu_{\mathrm M}}{4} \right),

where μM\mu_{\mathrm M} is the Maslov index. The subscript distinguishes it from a reduced mass μ\mu.

Euclidean action is SES_E and contributes weights such as e−SE/ℏe^{-S_E/\hbar}. A prime on a determinant, det⁡′\det', means that specified zero modes have been removed and treated separately.

mm is a one-particle mass. For a two-body relative-coordinate problem, μ\mu is the reduced mass. On shell,

E=ℏ2k22μ,k=∣k∣.E = \frac{\hbar^2k^2}{2\mu}, \qquad k=\lvert\mathbf k\rvert.

When the problem is explicitly one-body, replace μ\mu by mm.

Wave-number states use

⟨r∣k⟩=1(2π)3/2eik⋅r,\langle\mathbf r\vert\mathbf k\rangle = \frac{1}{(2\pi)^{3/2}} e^{i\mathbf k\cdot\mathbf r},

so that

⟨k∣k′⟩=δ(3)(k−k′).\langle\mathbf k\vert\mathbf k'\rangle = \delta^{(3)}(\mathbf k-\mathbf k').

Momentum-normalized states instead use

⟨r∣p⟩=1(2πℏ)3/2eip⋅r/ℏ.\langle\mathbf r\vert\mathbf p\rangle = \frac{1}{(2\pi\hbar)^{3/2}} e^{i\mathbf p\cdot\mathbf r/\hbar}.

Because p=ℏk\mathbf p=\hbar\mathbf k, matrix elements and delta functions acquire powers of ℏ\hbar when translating between the two.

For elastic scattering,

q≡k′−k.\mathbf q \equiv \mathbf k'-\mathbf k.

The Fourier phase in the Born amplitude is therefore e−iq⋅re^{-i\mathbf q\cdot\mathbf r}. Sources using q=k−k′\mathbf q=\mathbf k-\mathbf k' reverse this phase. For a real central potential, the transform depends only on q=∣q∣q=\lvert\mathbf q\rvert, so the sign can be hidden.

For a short-range potential,

ψk(+)(r)∼r→∞eik⋅r+f(θ,ϕ)eikrr.\psi_{\mathbf k}^{(+)}(\mathbf r) \underset{r\to\infty}{\sim} e^{i\mathbf k\cdot\mathbf r} + f(\theta,\phi) \frac{e^{ikr}}{r}.

With unit incident plane-wave amplitude,

dσdΩ=∣f(θ,ϕ)∣2.\frac{d\sigma}{d\Omega} = \lvert f(\theta,\phi)\rvert^2.

ff has dimensions of length. It is not the relativistic invariant amplitude M\mathcal M.

T-Matrix is the canonical derivation of the transition operator and its normalization factors. The local notation is summarized here for comparison.

For energy-normalized channels, the default relation is

Sfi=δfi−2πi δ(Ef−Ei)Tfi.S_{fi} = \delta_{fi} - 2\pi i\, \delta(E_f-E_i) T_{fi}.

Here δfi\delta_{fi} represents the identity in the chosen mixture of discrete and continuous channel labels. The transition operator satisfies

T(E)=V+VG0(+)(E)T(E).T(E) = V + V G_0^{(+)}(E)T(E).

Some sources write S=I+iTS=I+i\mathcal T. Their T\mathcal T includes different signs, normalization factors, and delta distributions. Do not transplant an optical-theorem formula between conventions without translating the complete definition.

For one-channel elastic central scattering,

Sℓ=e2iδℓ.S_\ell=e^{2i\delta_\ell}.

The amplitude is

f(θ)=12ik∑ℓ=0∞(2ℓ+1)(Sℓ−1)Pℓ(cos⁡θ).f(\theta) = \frac{1}{2ik} \sum_{\ell=0}^{\infty} (2\ell+1) \bigl(S_\ell-1\bigr) P_\ell(\cos\theta).

PℓP_\ell is a Legendre polynomial; it is not the projector PP. The equivalent phase-shift form is

f(θ)=1k∑ℓ=0∞(2ℓ+1)eiδℓsin⁡δℓPℓ(cos⁡θ).f(\theta) = \frac{1}{k} \sum_{\ell=0}^{\infty} (2\ell+1) e^{i\delta_\ell} \sin\delta_\ell P_\ell(\cos\theta).

If inelastic channels are open, an elastic element may be written

Sℓ=ηℓinele2iδℓ,0≤ηℓinel≤1.S_\ell = \eta_\ell^{\mathrm{inel}} e^{2i\delta_\ell}, \qquad 0\le\eta_\ell^{\mathrm{inel}}\le1.

The superscript prevents confusion with the Coulomb Sommerfeld parameter, also commonly called η\eta.

dσ/dΩd\sigma/d\Omega is a differential cross section, σel\sigma_{\mathrm{el}} is an elastic cross section, and σtot\sigma_{\mathrm{tot}} includes all open final channels represented by the SS-matrix. With the amplitude convention above,

σtot=4πkIm⁡f(0).\sigma_{\mathrm{tot}} = \frac{4\pi}{k} \operatorname{Im}f(0).

Identical-particle symmetrization, spin averages, target densities, and relative-velocity factors are not implicit unless stated.

The free resolvents are

G0(+)(E)≡lim⁡ϵreg→0+1E−H0+iϵreg,G0(−)(E)≡lim⁡ϵreg→0+1E−H0−iϵreg.\begin{aligned} G_0^{(+)}(E) &\equiv \lim_{\epsilon_{\mathrm{reg}}\to0^+} \frac{1} {E-H_0+i\epsilon_{\mathrm{reg}}}, \\ G_0^{(-)}(E) &\equiv \lim_{\epsilon_{\mathrm{reg}}\to0^+} \frac{1} {E-H_0-i\epsilon_{\mathrm{reg}}}. \end{aligned}

The shorthand is

G0(±)(E)=1E−H0±i0.G_0^{(\pm)}(E) = \frac{1}{E-H_0\pm i0}.

With the time and Fourier conventions used here, +i0+i0 imposes outgoing scattering behavior and −i0-i0 imposes incoming behavior. The sign is a boundary condition, not an infinitesimal energy correction that may be discarded before the distributional limit is taken.

The scalar identity is

1x±i0=PV⁡1x∓iπδ(x).\frac{1}{x\pm i0} = \operatorname{PV}\frac{1}{x} \mp i\pi\delta(x).

Therefore

G0(+)(E)−G0(−)(E)=−2πi δ(E−H0).G_0^{(+)}(E) - G_0^{(-)}(E) = -2\pi i\, \delta(E-H_0).

The regulator ϵreg\epsilon_{\mathrm{reg}} is positive and dimensional. It is distinct from a dimensionless approximation parameter ϵ\epsilon. For the operator-theoretic and dynamical meanings, see Resolvent Operator and Retarded and Advanced Green Functions.

PP projects onto the retained sector and Q=I−PQ=I-P onto the eliminated sector. The exact energy-dependent Feshbach operator is

Heff(E)=PHP+PHQ1E−QHQQHP,H_{\mathrm{eff}}(E) = PHP + PHQ \frac{1}{E-QHQ} QHP,

where the inverse carries the boundary prescription required by the problem.

Δ\Delta without two state indices usually denotes a positive characteristic separation between retained and eliminated sectors. This differs from the signed perturbative gap Δnm\Delta_{nm}.

A block-diagonalizing unitary transformation may be written

H~=eAHe−A,A†=−A.\widetilde H = e^{A}He^{-A}, \qquad A^\dagger=-A.

Some sources use SS for the anti-Hermitian Schrieffer–Wolff generator. This volume prefers AA when a scattering SS-matrix is present. The effective Hamiltonian at retained order rr may be labeled Heff[r]H_{\mathrm{eff}}^{[r]}; square brackets distinguish truncation labels from ordinary powers when ambiguity matters.

For periodic driving, Ω\Omega is the drive angular frequency and Td=2π/ΩT_{\mathrm d}=2\pi/\Omega is the drive period. Time ordering remains T\mathcal T.

The following symbols carry different claims:

SymbolMeaning
==Equality within the stated model and definitions
≡\equivDefinition
≈\approxApproximate numerical or functional equality; the regime should be stated
f∼gf\sim gUsually f/g→1f/g\to1 in a declared limit
f∼∑nanϵnf\sim\sum_n a_n\epsilon^nAn asymptotic expansion, defined through finite remainders
O(ϵn)O(\epsilon^n)Bounded in magnitude by a constant times ∣ϵ∣n\lvert\epsilon\rvert^n in the stated limit
o(ϵn)o(\epsilon^n)Smaller than ϵn\epsilon^n in ratio in the stated limit
∝\proptoEqual up to a factor not being displayed

In a scattering boundary condition, ∼\sim means equality of the displayed leading asymptotic form up to subleading terms; it need not be interpreted as the ratio of the full oscillatory expressions tending pointwise to one.

A truncation should be written with its remainder, for example

Q(λ)=Q(0)+λQ(1)+O(λ2),Q(\lambda) = Q^{(0)} + \lambda Q^{(1)} + O(\lambda^2),

and the limit behind the OO symbol should be clear from context or stated explicitly.

LabelsTypical use
n,mn,mDiscrete reference eigenstates
i,fi,fInitial and final states or channels
a,ba,bBasis states inside a degenerate or variational subspace
α,β\alpha,\betaAdapted states, channels, or continuous parameters
r,qr,qStates outside a retained subspace; qq is not used this way when it already denotes momentum transfer
ℓ,m\ell,mOrbital angular-momentum quantum numbers
s,mss,m_sSpin and spin projection
k,k′\mathbf k,\mathbf k'Incoming and outgoing wave vectors
q\mathbf qMomentum-transfer wave vector

When one page uses the same label in two roles, it should rename one of them. Compact notation is not worth an ambiguous sum.

SymbolMeanings encountered herePreferred disambiguation
SSAction; scattering matrix; overlap matrix in some variational textsUse S(x,t)S(x,t), SfiS_{fi}, and NijN_{ij}
TTTransition operator; transmission probability; time orderingUse T(E)T(E), TtransT_{\mathrm{trans}}, and T\mathcal T, respectively
PPProjector; probability; Legendre polynomialUse operator context, Pi→fP_{i\to f}, and Pℓ(x)P_\ell(x)
δ\deltaDirac delta; Kronecker delta; phase shiftShow arguments or use δℓ\delta_\ell
ϵ\epsilonDimensionless control; regulator; energy toleranceUse ϵreg\epsilon_{\mathrm{reg}} or a descriptive subscript
η\etaInelasticity; Sommerfeld parameter; adiabaticity indicatorUse ηℓinel\eta_\ell^{\mathrm{inel}}, ηC\eta_{\mathrm C}, or ηad\eta_{\mathrm{ad}}
ρ\rhoDensity of states; density operator; spatial densityUse ρ(E)\rho(E), ρ^\hat\rho, or ρ(r)\rho(\mathbf r)
Γ\GammaRate; gamma function with uppercase argument notationUse Γi→f\Gamma_{i\to f} or Γ(z)\Gamma(z)
WWReduced action; matrix inside a degenerate subspace in some textsUse W(x)W(x) and PVPPVP
μ\muReduced mass; Maslov index in some sourcesUse μ\mu and μM\mu_{\mathrm M}

The broader canonical inventory is Notation Collisions.

Before importing a formula from another source:

  1. Identify whether states are normalized in k\mathbf k, p\mathbf p, energy, volume, or relativistic phase space.
  2. Record the Fourier sign and all 2π2\pi and ℏ\hbar factors.
  3. Translate signed energy gaps and the order of their indices.
  4. Check whether SS, TT, ff, and M\mathcal M have been defined before comparing them.
  5. Determine what +i0+i0 produces under the source’s time-Fourier convention.
  6. Match amplitude-level quantities before squaring and adding phase-space or flux factors.
  7. Compare a complete observable, dimensionality, and limiting case.

Two formulas that look different can encode the same physics. Two formulas that look identical can refer to differently normalized objects.

Suppose a source defines

Δ~mn=Em(0)−En(0)=−Δnm.\widetilde\Delta_{mn} = E_m^{(0)}-E_n^{(0)} = -\Delta_{nm}.

Then

VmnΔnm=−VmnΔ~mn.\frac{V_{mn}}{\Delta_{nm}} = -\frac{V_{mn}}{\widetilde\Delta_{mn}}.

The state correction is unchanged only if the denominator definition and explicit sign are translated together.

In one dimension,

p=ℏk,δ(p−p′)=1ℏδ(k−k′).p=\hbar k, \qquad \delta(p-p') = \frac{1}{\hbar} \delta(k-k').

If both bases are delta normalized, then

∣k⟩=ℏ ∣p=ℏk⟩.\lvert k\rangle = \sqrt{\hbar}\, \lvert p=\hbar k\rangle.

In three dimensions the factor is ℏ3/2\hbar^{3/2}. This Jacobian is why powers of ℏ\hbar move between plane-wave states, matrix elements, and densities of states.

The pair

1E−H0+i0,1E−H0−i0\frac{1}{E-H_0+i0}, \qquad \frac{1}{E-H_0-i0}

uses the same differential operator but different boundary values across the continuous spectrum. They cannot be made equivalent by dropping the infinitesimal before solving the boundary-value problem.

  • Setting λ=1\lambda=1 before identifying the physical dimensionless expansion parameter.
  • Reversing Δnm\Delta_{nm} without reversing the corresponding sign.
  • Reading the superscript in En(2)E_n^{(2)} as a square.
  • Treating intermediate normalization as unit normalization.
  • Including the interaction-picture phase twice.
  • Calling a stationary variational estimate an upper bound without checking the theorem used.
  • Letting p(x)p(x) carry both a signed direction and a positive WKB magnitude on the same page.
  • Confusing the action SS with the scattering matrix SS.
  • Mixing k\mathbf k- and p\mathbf p-normalized continuum states.
  • Dropping i0i0 before it has imposed a boundary condition.
  • Identifying the nonrelativistic ff with a relativistic invariant amplitude M\mathcal M.
  • Comparing optical-theorem formulas from incompatible SS- and TT-matrix conventions.

A source writes

∣n(1)⟩=−∑m≠nVmnΔmnsrc∣m(0)⟩,\lvert n^{(1)}\rangle = -\sum_{m\ne n} \frac{V_{mn}}{\Delta_{mn}^{\mathrm{src}}} \lvert m^{(0)}\rangle,

with Δmnsrc=Em(0)−En(0)\Delta_{mn}^{\mathrm{src}}=E_m^{(0)}-E_n^{(0)}. Show that this matches the convention used here.

Solution

Here

Δnm=En(0)−Em(0)=−Δmnsrc.\Delta_{nm} = E_n^{(0)}-E_m^{(0)} = -\Delta_{mn}^{\mathrm{src}}.

Therefore

−1Δmnsrc=1Δnm,-\frac{1}{\Delta_{mn}^{\mathrm{src}}} = \frac{1}{\Delta_{nm}},

and the two state-correction formulas are identical.

In three dimensions, derive the relation between ∣k⟩\lvert\mathbf k\rangle and ∣p⟩\lvert\mathbf p\rangle when both are delta normalized and p=ℏk\mathbf p=\hbar\mathbf k.

Solution

The delta functions obey

δ(3)(p−p′)=1ℏ3δ(3)(k−k′).\delta^{(3)}(\mathbf p-\mathbf p') = \frac{1}{\hbar^3} \delta^{(3)}(\mathbf k-\mathbf k').

Writing ∣k⟩=C∣p=ℏk⟩\lvert\mathbf k\rangle=C\lvert\mathbf p=\hbar\mathbf k\rangle gives

⟨k∣k′⟩=∣C∣2ℏ3δ(3)(k−k′).\langle\mathbf k\vert\mathbf k'\rangle = \frac{\lvert C\rvert^2}{\hbar^3} \delta^{(3)}(\mathbf k-\mathbf k').

Thus one may choose

∣k⟩=ℏ3/2∣p=ℏk⟩.\lvert\mathbf k\rangle = \hbar^{3/2} \lvert\mathbf p=\hbar\mathbf k\rangle.

The phase of CC is conventional.

Using

1x+i0=PV⁡1x−iπδ(x),\frac{1}{x+i0} = \operatorname{PV}\frac{1}{x} - i\pi\delta(x),

compute G0(+)(E)−G0(−)(E)G_0^{(+)}(E)-G_0^{(-)}(E).

Solution

The principal-value parts cancel:

G0(+)(E)−G0(−)(E)=(PV⁡1E−H0−iπδ(E−H0))−(PV⁡1E−H0+iπδ(E−H0))=−2πi δ(E−H0).\begin{aligned} G_0^{(+)}(E)-G_0^{(-)}(E) &= \left( \operatorname{PV}\frac{1}{E-H_0} - i\pi\delta(E-H_0) \right) \\ &\quad- \left( \operatorname{PV}\frac{1}{E-H_0} + i\pi\delta(E-H_0) \right) \\ &= -2\pi i\,\delta(E-H_0). \end{aligned}

Starting from Sℓ=e2iδℓS_\ell=e^{2i\delta_\ell}, show that

Sℓ−12i=eiδℓsin⁡δℓ.\frac{S_\ell-1}{2i} = e^{i\delta_\ell}\sin\delta_\ell.
Solution

Factor the difference:

e2iδℓ−1=eiδℓ(eiδℓ−e−iδℓ)=2ieiδℓsin⁡δℓ.\begin{aligned} e^{2i\delta_\ell}-1 &= e^{i\delta_\ell} \left( e^{i\delta_\ell} - e^{-i\delta_\ell} \right) \\ &= 2i e^{i\delta_\ell} \sin\delta_\ell. \end{aligned}

Dividing by 2i2i gives the stated identity and the equivalent partial-wave amplitude.

A draft uses SS for the classical action, the scattering matrix, and the variational overlap matrix in one section. Rewrite the three symbols using this page’s collision policy.

Solution

Write the action with arguments, such as S(x,t)S(x,t) or S[γ]S[\gamma]. Write the scattering object as SfiS_{fi}, SℓS_\ell, or SscattS_{\mathrm{scatt}}. Write the overlap matrix as

Nij=⟨ϕi∣ϕj⟩.N_{ij} = \langle\phi_i\vert\phi_j\rangle.

The meanings are then visible from typography and indices rather than inferred from surrounding prose.

  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
  • C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, Vols. 1–2, Wiley, 1977.
  • L. D. Landau and E. M. Lifshitz, Quantum Mechanics: Non-Relativistic Theory, 3rd ed., Butterworth-Heinemann, 1981.
  • J. R. Taylor, Scattering Theory: The Quantum Theory of Nonrelativistic Collisions, Dover, 2006.
  • R. G. Newton, Scattering Theory of Waves and Particles, 2nd ed., Dover, 2002.
  • M. V. Berry and K. E. Mount, “Semiclassical approximations in wave mechanics”, Reports on Progress in Physics 35, 315–397, 1972.
  • T. Kato, Perturbation Theory for Linear Operators, corrected printing of the 2nd ed., Springer, 1995.