Skip to content

Contact Scattering and Renormalization in Quantum Mechanics

The previous page introduced effective actions as local long-distance descriptions. This page studies the smallest possible laboratory for that idea: a nonrelativistic particle scattering from a pointlike potential,

V(r)=g0δ(d)(r).V(\boldsymbol r)=g_0\delta^{(d)}(\boldsymbol r).

This model is deliberately crude. A literal delta-function potential tries to replace all short-distance structure by one number. That replacement is harmless in one spatial dimension, logarithmically delicate in two, and power-divergent in three. The lesson is exactly the one QFT needs: a local interaction is not specified by its bare coefficient alone; it is specified by a prescription for how that coefficient is matched to physical observables as the cutoff is changed.

The calculation is also a perfect preview of loop diagrams. Repeated scattering from the fixed contact potential gives a geometric resolvent series. The divergent object is the free Green function evaluated at coincident points. In a nonrelativistic field theory the same algebra becomes a bubble sum after the loop energy is integrated out. Renormalization means replacing the singular bare strength g0g_0 by a measurable low-energy parameter such as a scattering length or a binding energy. The derivation keeps three objects distinct: the cutoff-dependent bare coupling g0(Λ)g_0(\Lambda), the coincident-point Green function Id(E,Λ)I_d(E,\Lambda), and cutoff-independent observables such as pole positions, the three-dimensional scattering length aa, or the two-dimensional binding energy B2B_2.

The contact potential as a resolvent problem

Section titled “The contact potential as a resolvent problem”

Resolvent and scattering normalization. We use dd for the number of spatial dimensions. The nonrelativistic Hamiltonian is

H=H0+V,H0=p22m,H=H_0+V, \qquad H_0={\boldsymbol p^2\over 2m},

and momentum states obey

kk=(2π)dδ(d)(kk).\langle \boldsymbol k|\boldsymbol k'\rangle=(2\pi)^d\delta^{(d)}(\boldsymbol k-\boldsymbol k').

For positive energy,

E=p22m,p>0,E={p^2\over 2m}, \qquad p>0,

we define the outgoing free resolvent by

G0(E;k)=1Ek2/(2m)+i0.G_0(E;\boldsymbol k)={1\over E-\boldsymbol k^2/(2m)+i0}.

The TT matrix is defined by the Lippmann–Schwinger equation T=V+VG0TT=V+VG_0T. Overall signs in the scattering amplitude differ across books because some define ff with an extra minus sign relative to TT. The pole locations, cutoff dependence, and low-energy denominators below are convention-independent.

The exact scattering state with incoming momentum p\boldsymbol p satisfies

ψp(+)=p+G0(E+i0)Vψp(+).|\psi_{\boldsymbol p}^{(+)}\rangle =|\boldsymbol p\rangle+G_0(E+i0)V|\psi_{\boldsymbol p}^{(+)}\rangle.

Equivalently, the TT matrix obeys

T(E)=V+VG0(E)T(E).T(E)=V+VG_0(E)T(E).

In momentum space this reads

T(p,p;E)=V(p,p)+Λddk(2π)dV(p,k)1Ek2/(2m)+i0T(k,p;E),T(\boldsymbol p',\boldsymbol p;E) = V(\boldsymbol p',\boldsymbol p) + \int^\Lambda {d^dk\over(2\pi)^d}\, V(\boldsymbol p',\boldsymbol k) {1\over E-\boldsymbol k^2/(2m)+i0} T(\boldsymbol k,\boldsymbol p;E),

where a cutoff Λ\Lambda has been inserted to make the short-distance question explicit.

For the contact potential,

V(p,p)=g0,V(\boldsymbol p',\boldsymbol p)=g_0,

so the solution is independent of the external momenta. We can write

T(p,p;E)=T(E).T(\boldsymbol p',\boldsymbol p;E)=T(E).

The Lippmann–Schwinger equation collapses to the scalar equation

T(E)=g0+g0Id(E,Λ)T(E),T(E)=g_0+g_0 I_d(E,\Lambda)T(E),

where

Id(E,Λ)=Λddk(2π)d1Ek2/(2m)+i0.I_d(E,\Lambda) = \int^\Lambda {d^dk\over(2\pi)^d}\,{1\over E-\boldsymbol k^2/(2m)+i0}.

Thus

T(E)=g01g0Id(E,Λ)=1g01Id(E,Λ).\boxed{ T(E)=\frac{g_0}{1-g_0I_d(E,\Lambda)} =\frac{1}{g_0^{-1}-I_d(E,\Lambda)}. }

The perturbation series is

T(E)=g0+g0Id(E,Λ)g0+g0Id(E,Λ)g0Id(E,Λ)g0+.T(E)=g_0+g_0I_d(E,\Lambda)g_0+g_0I_d(E,\Lambda)g_0I_d(E,\Lambda)g_0+\cdots.

Geometric resolvent series for contact scattering

Repeated scattering from a contact interaction gives a geometric series. The whole ultraviolet problem is contained in the coincident Green function Id(E)=G0(E;r=0)I_d(E)=G_0(E;\boldsymbol r=0).

In coordinate space the same object is even more transparent. Since

V(r)=g0δ(d)(r),V(\boldsymbol r)=g_0\delta^{(d)}(\boldsymbol r),

the scattering wavefunction has the form

ψp(+)(r)=eipr+g0G0(E;r)ψp(+)(0),\psi^{(+)}_{\boldsymbol p}(\boldsymbol r) =e^{i\boldsymbol p\cdot\boldsymbol r} +g_0G_0(E;\boldsymbol r)\psi^{(+)}_{\boldsymbol p}(0),

where

G0(E;r)=Λddk(2π)deikrEk2/(2m)+i0.G_0(E;\boldsymbol r) = \int^\Lambda {d^dk\over(2\pi)^d}\, {e^{i\boldsymbol k\cdot\boldsymbol r}\over E-\boldsymbol k^2/(2m)+i0}.

Setting r=0\boldsymbol r=0 gives

ψp(+)(0)=1+g0G0(E;0)ψp(+)(0),\psi^{(+)}_{\boldsymbol p}(0) =1+g_0G_0(E;0)\psi^{(+)}_{\boldsymbol p}(0),

so the same denominator appears. The singularity of the zero-range potential is the singularity of the free Green function at coincident points.

Write

E=p22m.E={p^2\over2m}.

Then

Id(E,Λ)=2mk<Λddk(2π)d1p2k2+i0.I_d(E,\Lambda) =2m\int_{|\boldsymbol k|<\Lambda}{d^dk\over(2\pi)^d}\,{1\over p^2-\boldsymbol k^2+i0}.

At large kk, the integrand behaves as

1Ek2/(2m)+i02mk2.{1\over E-k^2/(2m)+i0}\sim -{2m\over k^2}.

The measure contributes kd1dkk^{d-1}dk, so the high-momentum behavior is

Id2mΛdkkd3.I_d\sim -2m\int^\Lambda dk\,k^{d-3}.

Therefore:

spatial dimensionUV behavior of Idmeaningd=1finitea delta potential is a genuine potentiald=2logΛa scale is generated by renormalizationd=3Λthe bare coupling must be tunedd>3Λd2more short-distance data are needed\begin{array}{c|c|c} \text{spatial dimension} & \text{UV behavior of }I_d & \text{meaning} \\ \hline d=1 & \text{finite} & \text{a delta potential is a genuine potential} \\ d=2 & \log\Lambda & \text{a scale is generated by renormalization} \\ d=3 & \Lambda & \text{the bare coupling must be tuned} \\ d>3 & \Lambda^{d-2} & \text{more short-distance data are needed} \end{array}

This is the quantum-mechanical version of power counting. The contact interaction is more singular in higher dimension because the wavefunction has more angular phase space available near the origin.

There is also a useful relation to the relativistic propagator. A scalar Feynman propagator is

Grel(p)=ip02p2m2+i0.G_{\mathrm{rel}}(p)={i\over p_0^2-\boldsymbol p^2-m^2+i0}.

Near the positive-energy mass shell, write p0=m+Ep^0=m+E with EmE\ll m. Then

p02p2m2=(m+E)2p2m22m(Ep22m),p_0^2-\boldsymbol p^2-m^2 =(m+E)^2-\boldsymbol p^2-m^2 \simeq 2m\left(E-{\boldsymbol p^2\over2m}\right),

so

Grel(p)i2m1Ep2/(2m)+i0.G_{\mathrm{rel}}(p) \simeq {i\over 2m}\,{1\over E-\boldsymbol p^2/(2m)+i0}.

The nonrelativistic resolvent is the positive-energy, low-velocity limit of the relativistic propagator, up to the conventional normalization factor 2m2m.

One spatial dimension: finite point scattering

Section titled “One spatial dimension: finite point scattering”

In one dimension the integral can be evaluated with no UV cutoff:

I1(E)=2mdk2π1p2k2+i0.I_1(E) =2m\int_{-\infty}^{\infty}{dk\over2\pi}\,{1\over p^2-k^2+i0}.

Using

1p2k2+i0=PV1p2k2iπδ(p2k2),{1\over p^2-k^2+i0} =\operatorname{PV}{1\over p^2-k^2}-i\pi\delta(p^2-k^2),

the symmetric principal-value limit is zero, and

δ(p2k2)=12p[δ(kp)+δ(k+p)].\delta(p^2-k^2)={1\over2p}\left[\delta(k-p)+\delta(k+p)\right].

Hence

I1(E)=imp.I_1(E)=-{im\over p}.

The exact contact TT matrix is therefore

T1(p)=1g01+im/p=g01+img0/p.\boxed{ T_1(p)=\frac{1}{g_0^{-1}+im/p} =\frac{g_0}{1+img_0/p}. }

No cutoff dependence appears. The delta-function potential is a well-defined self-adjoint interaction in one dimension.

The pole structure is also simple. A bound state has energy

Ebound=κ22m,κ>0,E_{\mathrm{bound}}=-{\kappa^2\over2m}, \qquad \kappa>0,

which corresponds to p=iκp=i\kappa. The pole condition is

g01+mκ=0,g_0^{-1}+{m\over\kappa}=0,

so

κ=mg0.\kappa=-mg_0.

Thus a bound state exists for attractive coupling g0<0g_0<0. Its binding-energy magnitude and energy are

B1=κ22m=mg022,Ebound=B1.B_1={\kappa^2\over2m}={mg_0^2\over2}, \qquad E_{\mathrm{bound}}=-B_1.

This is the only dimension in which the naive contact coupling is already physical without any renormalization.

Two spatial dimensions: logarithmic contact scattering

Section titled “Two spatial dimensions: logarithmic contact scattering”

In two dimensions,

I2(E,Λ)=2mk<Λd2k(2π)21p2k2+i0.I_2(E,\Lambda) =2m\int_{|\boldsymbol k|<\Lambda}{d^2k\over(2\pi)^2}\,{1\over p^2-k^2+i0}.

Using polar coordinates,

I2(E,Λ)=mπ0Λdkkp2k2+i0.I_2(E,\Lambda) ={m\over\pi}\int_0^\Lambda dk\,{k\over p^2-k^2+i0}.

The radial integral gives

0Λdkkp2k2+i0=12[logΛ2p2+iπ]+O(p2Λ2),\int_0^\Lambda dk\,{k\over p^2-k^2+i0} =-{1\over2}\left[\log{\Lambda^2\over p^2}+i\pi\right]+O\left({p^2\over\Lambda^2}\right),

so

I2(E,Λ)=m2π[logΛ2p2+iπ]+O(p2Λ2).\boxed{ I_2(E,\Lambda) =-{m\over2\pi}\left[\log{\Lambda^2\over p^2}+i\pi\right] +O\left({p^2\over\Lambda^2}\right). }

The TT matrix becomes

1T2(p)=1g0+m2π[logΛ2p2+iπ]+O(p2Λ2).{1\over T_2(p)} ={1\over g_0} +{m\over2\pi}\left[\log{\Lambda^2\over p^2}+i\pi\right] +O\left({p^2\over\Lambda^2}\right).

A finite bare coupling cannot survive the limit Λ\Lambda\to\infty. Instead define a renormalized coupling at a subtraction scale μ\mu by

1gR(μ)=1g0(Λ)+m2πlogΛ2μ2.\boxed{ {1\over g_R(\mu)} ={1\over g_0(\Lambda)}+{m\over2\pi}\log{\Lambda^2\over\mu^2}. }

Then

1T2(p)=1gR(μ)+m2π[logμ2p2+iπ].{1\over T_2(p)} ={1\over g_R(\mu)} +{m\over2\pi}\left[\log{\mu^2\over p^2}+i\pi\right].

The physical amplitude cannot depend on the arbitrary scale μ\mu. Therefore gR(μ)g_R(\mu) must run. Differentiating the definition at fixed bare coupling gives

μddμ1gR(μ)=mπ.\mu{d\over d\mu}{1\over g_R(\mu)}=-{m\over\pi}.

Equivalently,

μdgRdμ=mπgR2.\boxed{ \mu{d g_R\over d\mu}={m\over\pi}g_R^2. }

This is the first beta function in the course. It is not yet a relativistic QFT beta function, but the mechanism is the same: logarithmic UV sensitivity is traded for scale dependence of a coupling.

A more physical parametrization uses the positive binding-energy magnitude. For an attractive interaction, the pole condition at p=iκp=i\kappa defines

B2=κ22m>0,Ebound=B2.B_2={\kappa^2\over2m}>0, \qquad E_{\mathrm{bound}}=-B_2.

Analytic continuation gives

1gR(μ)+m2πlogμ2κ2=0.{1\over g_R(\mu)}+{m\over2\pi}\log{\mu^2\over\kappa^2}=0.

Eliminating gR(μ)g_R(\mu) yields

T2(E)=2π/mlog(B2/E)+iπ\boxed{ T_2(E)= {2\pi/m\over \log(B_2/E)+i\pi} }

for E>0E>0. More generally, away from the positive-energy cut the denominator is log[B2/(E)]\log[B_2/(-E)]; its upper-edge value is log(B2/E)+iπ\log(B_2/E)+i\pi. Every attractive two-dimensional zero-range interaction therefore carries one bound-state scale. The essential fact is that a dimensionless bare contact interaction has produced the dimensionful scale B2B_2: dimensional transmutation in its simplest nonrelativistic form.

Three spatial dimensions: scattering length and resonance

Section titled “Three spatial dimensions: scattering length and resonance”

In three dimensions,

I3(E,Λ)=2mk<Λd3k(2π)31p2k2+i0.I_3(E,\Lambda) =2m\int_{|\boldsymbol k|<\Lambda}{d^3k\over(2\pi)^3}\,{1\over p^2-k^2+i0}.

The angular integral gives

I3(E,Λ)=mπ20Λdkk2p2k2+i0.I_3(E,\Lambda) ={m\over\pi^2}\int_0^\Lambda dk\,{k^2\over p^2-k^2+i0}.

For pΛp\ll\Lambda,

I3(E,Λ)=mΛπ2imp2π+O(mp2Λ).\boxed{ I_3(E,\Lambda) =-{m\Lambda\over\pi^2}-{imp\over2\pi}+O\left({mp^2\over\Lambda}\right). }

Thus

1T3(p)=1g0(Λ)+mΛπ2+imp2π+O(mp2Λ).{1\over T_3(p)} ={1\over g_0(\Lambda)}+{m\Lambda\over\pi^2}+{imp\over2\pi}+O\left({mp^2\over\Lambda}\right).

The linear divergence is absorbed by defining the physical scattering length aa through

1g0(Λ)+mΛπ2=m2πa.\boxed{ {1\over g_0(\Lambda)}+{m\Lambda\over\pi^2}={m\over2\pi a}. }

The low-energy TT matrix is then

T3(p)=2π/ma1+ip+O(p2Λ).\boxed{ T_3(p)=\frac{2\pi/m}{a^{-1}+ip} +O\left({p^2\over\Lambda}\right). }

The corresponding ss-wave scattering amplitude is

f0(p)=m2πT3(p)=1a1+ip=1a1ip,f_0(p)=-{m\over2\pi}T_3(p) =-{1\over a^{-1}+ip} ={1\over -a^{-1}-ip},

and the total low-energy cross-section is

σ(p)=4πf0(p)2=4πa2+p2.\sigma(p)=4\pi |f_0(p)|^2 ={4\pi\over a^{-2}+p^2}.

The special point a1=0a^{-1}=0 is a zero-energy resonance, often called the unitary limit. At that point

f0(p)=ip,σ(p)=4πp2,f_0(p)={i\over p}, \qquad \sigma(p)={4\pi\over p^2},

which saturates the ss-wave unitarity bound.

Pole structure of the three-dimensional contact scattering amplitude

The three-dimensional contact amplitude is governed by the denominator a1+ipa^{-1}+ip. For a>0a>0 the pole at p=i/ap=i/a is a bound state; for a<0a<0 it is a virtual state. The resonance limit a|a|\to\infty places the pole at threshold.

Keeping aa finite while Λ\Lambda changes requires a cutoff-dependent bare coupling,

g0(Λ)=1mΛ/π2+m/(2πa).g_0(\Lambda) ={1\over -m\Lambda/\pi^2+m/(2\pi a)}.

For large Λ\Lambda,

g0(Λ)=π2mΛ[1+π2aΛ+O(1Λ2)].g_0(\Lambda) =-{\pi^2\over m\Lambda} \left[1+{\pi\over2a\Lambda}+O\left({1\over\Lambda^2}\right)\right].

The bare coupling goes to zero, but it goes to zero in a very specific way. A finite physical scattering length is obtained only by tuning g0(Λ)g_0(\Lambda) close to the cutoff-dependent critical curve.

Cutoff-dependent bare coupling for fixed scattering length

In three dimensions, fixed physical scattering length means g01(Λ)+mΛ/π2=m/(2πa)g_0^{-1}(\Lambda)+m\Lambda/\pi^2=m/(2\pi a). Changing the cutoff changes the bare parameter; the matched low-energy amplitude remains fixed.

This is the key renormalization lesson. A divergent bare expression can still define finite physics if the bare parameters are regarded as cutoff-dependent coordinates on a space of effective theories.

The tuning becomes especially transparent at the resonance a1=0a^{-1}=0:

g0,c(Λ)=π2mΛ.g_{0,c}(\Lambda)=-{\pi^2\over m\Lambda}.

A large but finite scattering length means that g0(Λ)g_0(\Lambda) is close to this cutoff-dependent critical curve. In other words, the low-energy resonance is not produced by a large bare coupling; it is produced by a precise cancellation in g01I3(0,Λ)g_0^{-1}-I_3(0,\Lambda).

From a singular potential to an effective field theory

Section titled “From a singular potential to an effective field theory”

A point interaction in three dimensions is not a normal function-valued potential. It is better understood as a boundary condition or as the leading term of a low-energy effective theory.

A finite-range potential of range RR has an ss-wave amplitude that can be expanded at low momentum as

f0(p)=1a1+12rep2ip+O(p4R3),f_0(p)={1\over -a^{-1}+{1\over2}r_ep^2-ip+O(p^4R^3)},

where aa is the scattering length and rer_e is the effective range. The pure contact interaction captures aa but sets range corrections to zero at leading order. A more accurate effective interaction includes derivative terms,

Veff(p,p)=C0(Λ)+C2(Λ)(p2+p2)+C4(Λ)(p4+)+.V_{\mathrm{eff}}(\boldsymbol p',\boldsymbol p) =C_0(\Lambda) +C_2(\Lambda)(\boldsymbol p^2+\boldsymbol p'^2) +C_4(\Lambda)(\boldsymbol p^4+\cdots)+\cdots.

The coefficients C0,C2,C_0,C_2,\ldots are not determined by the zero-range idealization. They must be matched to physical low-energy data: scattering length, effective range, and higher threshold parameters. This is the nonrelativistic version of the Wilsonian operator expansion.

The same structure appears in a nonrelativistic field theory with Lagrangian

L=ψ(it+22m)ψC02(ψψ)2+C22[(ψψ)]2+.\mathcal L =\psi^\dagger\left(i\partial_t+{\nabla^2\over2m}\right)\psi -{C_0\over2}(\psi^\dagger\psi)^2 +{C_2\over2}\left[\nabla(\psi^\dagger\psi)\right]^2+\cdots.

The quartic vertex C0C_0 generates the same bubble series as the potential problem. After doing the loop energy integral, the bubble reduces to the spatial integral Id(E,Λ)I_d(E,\Lambda). Thus the contact potential is not an unrelated quantum-mechanics curiosity; it is the simplest exact example of a local interaction whose repeated short-distance fluctuations require renormalization.

In three dimensions, elastic unitarity for a single ss-wave channel implies

Im1f0(p)=p(p>0).\operatorname{Im}{1\over f_0(p)}=-p \qquad (p>0).

The contact result gives

f0(p)=1a1ip,f_0(p)={1\over -a^{-1}-ip},

so

1f0(p)=a1ip.{1\over f_0(p)}=-a^{-1}-ip.

Therefore

Im1f0(p)=p,\operatorname{Im}{1\over f_0(p)}=-p,

exactly as required. The real part a1-a^{-1} is dynamical data. The imaginary part p-p is fixed by open phase space and probability conservation. This is why the low-energy denominator a1+ipa^{-1}+ip is more robust than any particular cutoff calculation.

Relativistic preview: a small coupling and a large logarithm

Section titled “Relativistic preview: a small coupling and a large logarithm”

The manuscript next applies the same lesson to four-dimensional ϕ4\phi^4 theory. A one-loop correction to the four-point vertex contains the schematic Euclidean integral

δΓ(4)(q)λ02Λd4k(2π)41k2(k+q)2λ0216π2logΛ2q2,\delta\Gamma^{(4)}(q) \sim \lambda_0^2 \int^\Lambda {d^4k\over(2\pi)^4} {1\over k^2(k+q)^2} \sim {\lambda_0^2\over16\pi^2} \log{\Lambda^2\over q^2},

up to channel-dependent combinatorial coefficients and local terms. The perturbative parameter is therefore not just λ0\lambda_0, but

λ016π2logΛ2q2.{\lambda_0\over16\pi^2}\log{\Lambda^2\over q^2}.

When this combination becomes order one, terms with the highest power of the logarithm at each loop order must be resummed even if λ0\lambda_0 is small. The next lessons develop the scalar loop integral, the one-loop four-point function, leading logarithms, and the renormalization-group equation in detail.

A contact interaction is the smallest model in which renormalization is unavoidable but completely explicit.

In one spatial dimension, G0(E;0)G_0(E;0) is finite and the delta-function potential is an ordinary exactly solvable interaction. In two dimensions, the coincident Green function diverges logarithmically, producing a running coupling and a dynamically generated scale. In three dimensions, the divergence is linear; the bare coupling must be tuned with the cutoff so that the physical scattering length remains fixed.

The exact contact amplitude is a geometric series,

T(E)=1g01Id(E,Λ).T(E)={1\over g_0^{-1}-I_d(E,\Lambda)}.

The integral IdI_d is the coincident nonrelativistic resolvent; in the field-theory formulation it is the spatial integral left after the bubble energy integral. The renormalized answer is not obtained by pretending the divergence was never there. It is obtained by replacing the unobservable bare coefficient g0(Λ)g_0(\Lambda) by physical low-energy data such as aa or B2B_2.

The three-dimensional result

T3(p)=2π/ma1+ipT_3(p)=\frac{2\pi/m}{a^{-1}+ip}

is the prototype for much of what follows: a short-distance singularity is absorbed into a local parameter, while the remaining energy dependence is fixed by long-distance propagation and unitarity.

Treating g0g_0 as an observable. The bare strength of a point interaction depends on the cutoff and regulator. The observable is the scattering amplitude, or equivalently low-energy parameters such as aa and rer_e.

Confusing the cutoff with the physical range. A cutoff Λ\Lambda is a calculation device. A real finite-range potential has a physical range RR. A sensible EFT calculation takes pΛp\ll\Lambda while matching coefficients to physics at scales of order R1R^{-1}.

Dropping the i0i0. The imaginary part of IdI_d is not a detail. It fixes outgoing boundary conditions and enforces elastic unitarity.

Expecting the same behavior in all dimensions. The contact interaction is finite in d=1d=1, logarithmic in d=2d=2, and linearly divergent in d=3d=3. Dimensionality changes the physics.

Calling every divergence a failure. The divergence tells us that the zero-range interaction needs a matching condition. Once matched, it makes finite low-energy predictions.

Derive the geometric formula

T(E)=1g01Id(E,Λ)T(E)={1\over g_0^{-1}-I_d(E,\Lambda)}

from the Lippmann–Schwinger equation for V(r)=g0δ(d)(r)V(\boldsymbol r)=g_0\delta^{(d)}(\boldsymbol r).

Solution

The momentum-space Lippmann–Schwinger equation is

T(p,p;E)=V(p,p)+Λddk(2π)dV(p,k)1Ek2/(2m)+i0T(k,p;E).T(\boldsymbol p',\boldsymbol p;E) = V(\boldsymbol p',\boldsymbol p) + \int^\Lambda {d^dk\over(2\pi)^d} V(\boldsymbol p',\boldsymbol k) {1\over E-k^2/(2m)+i0} T(\boldsymbol k,\boldsymbol p;E).

For the contact potential,

V(p,p)=g0.V(\boldsymbol p',\boldsymbol p)=g_0.

Because the kernel is independent of the external momenta, the solution is also independent of them:

T(p,p;E)=T(E).T(\boldsymbol p',\boldsymbol p;E)=T(E).

Substituting gives

T(E)=g0+g0T(E)Λddk(2π)d1Ek2/(2m)+i0.T(E)=g_0+g_0T(E)\int^\Lambda {d^dk\over(2\pi)^d}{1\over E-k^2/(2m)+i0}.

Define

Id(E,Λ)=Λddk(2π)d1Ek2/(2m)+i0.I_d(E,\Lambda)=\int^\Lambda {d^dk\over(2\pi)^d}{1\over E-k^2/(2m)+i0}.

Then

T(E)=g0+g0Id(E,Λ)T(E),T(E)=g_0+g_0I_d(E,\Lambda)T(E),

so

[1g0Id(E,Λ)]T(E)=g0.\left[1-g_0I_d(E,\Lambda)\right]T(E)=g_0.

Therefore

T(E)=g01g0Id(E,Λ)=1g01Id(E,Λ).T(E)={g_0\over1-g_0I_d(E,\Lambda)}={1\over g_0^{-1}-I_d(E,\Lambda)}.

Compute the one-dimensional integral

I1(E)=2mdk2π1p2k2+i0,E=p22m,p>0,I_1(E)=2m\int_{-\infty}^{\infty}{dk\over2\pi}\,{1\over p^2-k^2+i0}, \qquad E={p^2\over2m},\quad p>0,

and find the binding-energy magnitude for an attractive delta-function potential.

Solution

Use the distribution identity

1x+i0=PV1xiπδ(x).{1\over x+i0}=\operatorname{PV}{1\over x}-i\pi\delta(x).

Then

1p2k2+i0=PV1p2k2iπδ(p2k2).{1\over p^2-k^2+i0} =\operatorname{PV}{1\over p^2-k^2}-i\pi\delta(p^2-k^2).

The symmetric principal-value integral over the real line is zero. Also,

δ(p2k2)=12p[δ(kp)+δ(k+p)].\delta(p^2-k^2)={1\over2p}\left[\delta(k-p)+\delta(k+p)\right].

Hence

dk2πδ(p2k2)=12πp,\int_{-\infty}^{\infty}{dk\over2\pi}\delta(p^2-k^2) ={1\over2\pi p},

and

I1(E)=2m(iπ)12πp=imp.I_1(E)=2m\left(-i\pi\right){1\over2\pi p} =-{im\over p}.

Thus

T1(p)=1g01+im/p.T_1(p)={1\over g_0^{-1}+im/p}.

A bound state has p=iκp=i\kappa with κ>0\kappa>0. The pole condition is

g01+mκ=0,g_0^{-1}+{m\over\kappa}=0,

so

κ=mg0.\kappa=-mg_0.

This requires g0<0g_0<0. The binding-energy magnitude and energy are

B1=κ22m=mg022,Ebound=B1.B_1={\kappa^2\over2m}={mg_0^2\over2}, \qquad E_{\mathrm{bound}}=-B_1.

Show that in three dimensions

I3(E,Λ)=mΛπ2imp2π+O(mp2Λ).I_3(E,\Lambda) =-{m\Lambda\over\pi^2}-{imp\over2\pi}+O\left({mp^2\over\Lambda}\right).

Then derive

T3(p)=2π/ma1+ipT_3(p)=\frac{2\pi/m}{a^{-1}+ip}

from the matching condition

1g0(Λ)+mΛπ2=m2πa.{1\over g_0(\Lambda)}+{m\Lambda\over\pi^2}={m\over2\pi a}.
Solution

Start with

I3(E,Λ)=2mk<Λd3k(2π)31p2k2+i0.I_3(E,\Lambda)=2m\int_{|\boldsymbol k|<\Lambda}{d^3k\over(2\pi)^3}{1\over p^2-k^2+i0}.

The angular integral gives

I3(E,Λ)=mπ20Λdkk2p2k2+i0.I_3(E,\Lambda)={m\over\pi^2}\int_0^\Lambda dk\,{k^2\over p^2-k^2+i0}.

Write

k2p2k2+i0=1+p2p2k2+i0.{k^2\over p^2-k^2+i0}=-1+{p^2\over p^2-k^2+i0}.

The first term gives

mΛπ2.-{m\Lambda\over\pi^2}.

For the imaginary part, use

Im1p2k2+i0=πδ(p2k2).\operatorname{Im}{1\over p^2-k^2+i0}=-\pi\delta(p^2-k^2).

Thus

ImI3=mπ20Λdkk2[πδ(p2k2)]=mπp2=mp2π.\operatorname{Im} I_3 ={m\over\pi^2}\int_0^\Lambda dk\,k^2\left[-\pi\delta(p^2-k^2)\right] =-{m\over\pi}\,{p\over2} =-{mp\over2\pi}.

The remaining real momentum-dependent part is O(mp2/Λ)O(mp^2/\Lambda) for pΛp\ll\Lambda. Therefore

I3(E,Λ)=mΛπ2imp2π+O(mp2Λ).I_3(E,\Lambda)=-{m\Lambda\over\pi^2}-{imp\over2\pi}+O\left({mp^2\over\Lambda}\right).

Now

1T3(p)=1g0(Λ)I3(E,Λ)=1g0(Λ)+mΛπ2+imp2π+O(mp2Λ).{1\over T_3(p)}={1\over g_0(\Lambda)}-I_3(E,\Lambda) ={1\over g_0(\Lambda)}+{m\Lambda\over\pi^2}+{imp\over2\pi}+O\left({mp^2\over\Lambda}\right).

Using the matching condition gives

1T3(p)=m2πa+imp2π+O(mp2Λ)=m2π(a1+ip)+O(mp2Λ).{1\over T_3(p)}={m\over2\pi a}+{imp\over2\pi}+O\left({mp^2\over\Lambda}\right) ={m\over2\pi}(a^{-1}+ip)+O\left({mp^2\over\Lambda}\right).

Therefore

T3(p)=2π/ma1+ip+O(p2Λ).T_3(p)=\frac{2\pi/m}{a^{-1}+ip} +O\left({p^2\over\Lambda}\right).

In two dimensions, define gR(μ)g_R(\mu) by

1gR(μ)=1g0(Λ)+m2πlogΛ2μ2.{1\over g_R(\mu)}={1\over g_0(\Lambda)}+{m\over2\pi}\log{\Lambda^2\over\mu^2}.

Derive the beta function for gR(μ)g_R(\mu) at fixed bare coupling.

Solution

Differentiate at fixed g0g_0 and Λ\Lambda:

μddμ1gR(μ)=m2πμddμlogΛ2μ2=mπ.\mu{d\over d\mu}{1\over g_R(\mu)} ={m\over2\pi}\mu{d\over d\mu}\log{\Lambda^2\over\mu^2} =-{m\over\pi}.

But

μddμ1gR=1gR2μdgRdμ.\mu{d\over d\mu}{1\over g_R} =-{1\over g_R^2}\mu{dg_R\over d\mu}.

Therefore

1gR2μdgRdμ=mπ,-{1\over g_R^2}\mu{dg_R\over d\mu}=-{m\over\pi},

so

μdgRdμ=mπgR2.\boxed{\mu{dg_R\over d\mu}={m\over\pi}g_R^2.}

If one defines the dimensionless coupling λ=mgR/π\lambda=mg_R/\pi, then

μdλdμ=λ2.\mu{d\lambda\over d\mu}=\lambda^2.

For the three-dimensional contact amplitude, show that a>0a>0 gives a bound-state pole and find its energy.

Solution

The amplitude has denominator

a1+ip.a^{-1}+ip.

A bound state corresponds to imaginary momentum

p=iκ,κ>0,p=i\kappa, \qquad \kappa>0,

and bound-state energy

Ebound=κ22m.E_{\mathrm{bound}}=-{\kappa^2\over2m}.

The pole condition is

a1+i(iκ)=a1κ=0.a^{-1}+i(i\kappa)=a^{-1}-\kappa=0.

Thus

κ=1a.\kappa={1\over a}.

This is positive only when a>0a>0. The binding-energy magnitude and bound-state energy are

B3=12ma2,Ebound=B3.B_3={1\over2ma^2}, \qquad E_{\mathrm{bound}}=-B_3.

As aa\to\infty, the pole approaches threshold and the scattering becomes resonant.

At fixed cutoff Λ\Lambda, define the critical bare coupling in three dimensions by the unitary-limit condition a1=0a^{-1}=0:

g0,c(Λ)=π2mΛ.g_{0,c}(\Lambda)=-{\pi^2\over m\Lambda}.

Write g0=g0,c(1+ϵ)g_0=g_{0,c}(1+\epsilon) with ϵ1|\epsilon|\ll1. Find the scattering length aa to leading order in ϵ\epsilon.

Solution

The matching condition is

1g0+mΛπ2=m2πa.{1\over g_0}+{m\Lambda\over\pi^2}={m\over2\pi a}.

Since

g0=g0,c(1+ϵ),1g0,c=mΛπ2,g_0=g_{0,c}(1+\epsilon), \qquad {1\over g_{0,c}}=-{m\Lambda\over\pi^2},

we have, to first order in ϵ\epsilon,

1g0=1g0,c11+ϵ=mΛπ2(1ϵ+O(ϵ2)).{1\over g_0} ={1\over g_{0,c}}{1\over1+\epsilon} =-{m\Lambda\over\pi^2}(1-\epsilon+O(\epsilon^2)).

Therefore

1g0+mΛπ2=mΛπ2ϵ+O(ϵ2).{1\over g_0}+{m\Lambda\over\pi^2} ={m\Lambda\over\pi^2}\epsilon+O(\epsilon^2).

Matching gives

m2πa=mΛπ2ϵ,{m\over2\pi a}={m\Lambda\over\pi^2}\epsilon,

so

a=π2Λϵ+O(ϵ0).\boxed{ a={\pi\over2\Lambda\epsilon}+O(\epsilon^0). }

A large scattering length is therefore a near-critical tuning: aΛ1|a|\Lambda\gg1 requires ϵ1|\epsilon|\ll1.

  • Hammer, Hans-Werner, and Richard J. Furnstahl. “Effective Field Theory for Dilute Fermi Systems.” Nuclear Physics A 678, nos. 3–4 (2000): 277–294.
  • Kaplan, David B., Martin J. Savage, and Mark B. Wise. “A New Expansion for Nucleon–Nucleon Interactions.” Physics Letters B 424, nos. 3–4 (1998): 390–396.
  • Schwartz, Matthew D. Quantum Field Theory and the Standard Model. Cambridge: Cambridge University Press, 2014, Chapters 22–23.
  • Srednicki, Mark. Quantum Field Theory. Cambridge: Cambridge University Press, 2007, Sections 27–29.
  • Weinberg, Steven. The Quantum Theory of Fields. Volume I: Foundations. Cambridge: Cambridge University Press, 1995, Chapter 3.
  • Zee, A. Quantum Field Theory in a Nutshell. 2nd ed. Princeton: Princeton University Press, 2010.