A bound state is a composite of two or more fundamental building blocks, such as particles, atoms, or bodies, that behaves as a single object and in which energy is required to split them.

In quantum physics, a bound state is a quantum state of a particle subject to a potential such that the particle has a tendency to remain localized in one or more regions of space. The potential may be external or it may be the result of the presence of another particle; in the latter case, one can equivalently define a bound state as a state representing two or more particles whose interaction energy exceeds the total energy of each separate particle. One consequence is that, given a potential vanishing at infinity, negative-energy states must be bound. The energy spectrum of the set of bound states are most commonly discrete, unlike scattering states of free particles, which have a continuous spectrum.

Although not bound states in the strict sense, metastable states with a net positive interaction energy, but long decay time, are often considered unstable bound states as well and are called "quasi-bound states". Examples include radionuclides and Rydberg atoms.

In relativistic quantum field theory, a stable bound state of particles with masses <math>\{m_k\}_{k=1}^n</math> corresponds to a pole in the S-matrix with a center-of-mass energy less than <math>\textstyle\sum_k m_k</math>. An unstable bound state shows up as a pole with a complex center-of-mass energy.

Examples

thumb|400px|An overview of the various families of elementary and composite particles, and the theories describing their interactions

  • A proton and an electron can move separately; when they do, the total center-of-mass energy is positive, and such a pair of particles can be described as an ionized atom. Once the electron starts to "orbit" the proton, the energy becomes negative, and a bound state&nbsp;– namely the hydrogen atom&nbsp;– is formed. Only the lowest-energy bound state, the ground state, is stable. Other excited states are unstable and will decay into stable (but not other unstable) bound states with less energy by emitting a photon.
  • A positronium "atom" is an unstable bound state of an electron and a positron. It decays into photons.
  • Any state in the quantum harmonic oscillator is bound, but has positive energy. Note that <math>\lim_{x\to\pm\infty}{V_{\text{QHO(x)} = \infty</math> , so the below <!-- Dead link --> does not apply.
  • A nucleus is a bound state of protons and neutrons (nucleons).
  • The proton itself is a bound state of three quarks (two up and one down; one red, one green and one blue). However, unlike the case of the hydrogen atom, the individual quarks can never be isolated. See confinement.
  • The Hubbard and Jaynes–Cummings–Hubbard (JCH) models support similar bound states. In the Hubbard model, two repulsive bosonic atoms can form a bound pair in an optical lattice. The JCH Hamiltonian also supports two-polariton bound states when the photon-atom interaction is sufficiently strong.

Definition

Let -finite measure space <math>(X, \mathcal A, \mu)</math> be a probability space associated with separable complex Hilbert space <math>H</math>. Define a one-parameter group of unitary operators <math> (U_t)_{t\in \mathbb{R </math>, a density operator <math>\rho = \rho(t_0) </math> and an observable <math>T</math> on <math>H</math>. Let <math>\mu(T,\rho)</math> be the induced probability distribution of <math>T</math> with respect to <math>\rho</math>. Then the evolution

:<math>\rho(t_0)\mapsto [U_t(\rho)](t_0) = \rho(t_0 +t)</math>

is bound with respect to <math>T</math> if

:<math>\lim_{R \rightarrow \infty}{\sup_{t \geq t_0}{\mu(T,\rho(t))(\mathbb{R}_{> R}) = 0 </math>,

where <math>\mathbb{R}_{>R} = \lbrace x \in \mathbb{R} \mid x > R \rbrace </math>.

A quantum particle is in a bound state if at no point in time it is found "too far away" from any finite region <math>R\subset X</math>. Using a wave function representation, for example, this means

:<math>\begin{align}

0 &= \lim_{R\to\infty}{\mathbb{P}(\text{particle measured inside }X\setminus R)} \\

&= \lim_{R\to\infty}{\int_{X\setminus R}|\psi(x)|^2\,d\mu(x)},

\end{align}</math>

such that

:<math>\int_X{|\psi(x)|^{2}\,d\mu(x)} < \infty.</math>

In general, a quantum state is a bound state if and only if it is finitely normalizable for all times <math>t\in\mathbb{R}</math> and remains spatially localized. Furthermore, a bound state lies within the pure point part of the spectrum of <math>T</math> if and only if it is an eigenvector of <math>T</math>.

More informally, "boundedness" results foremost from the choice of domain of definition and characteristics of the state rather than the observable. For a concrete example: let <math>H := L^2(\mathbb{R}) </math> and let <math>T</math> be the position operator. Given compactly supported <math>\rho = \rho(0) \in H</math> and <math>[-1,1] \subseteq \mathrm{Supp}(\rho)</math>.

  • If the state evolution of <math>\rho</math> "moves this wave package to the right", e.g., if <math>[t-1,t+1] \in \mathrm{Supp}(\rho(t)) </math> for all <math>t \geq 0</math>, then <math>\rho</math> is not bound state with respect to position.
  • If <math>\rho</math> does not change in time, i.e., <math>\rho(t) = \rho</math> for all <math>t \geq 0</math>, then <math>\rho</math> is bound with respect to position.
  • More generally: If the state evolution of <math>\rho</math> "just moves <math>\rho</math> inside a bounded domain", then <math>\rho</math> is bound with respect to position.

Properties

As finitely normalizable states must lie within the pure point part of the spectrum, bound states must lie within the pure point part. However, as Neumann and Wigner pointed out, it is possible for the energy of a bound state to be located in the continuous part of the spectrum. This phenomenon is referred to as bound state in the continuum.

Position-bound states

Consider the one-particle Schrödinger equation. If a state has energy <math display="inline"> E < \max{\left(\lim_{x\to\infty}{V(x)}, \lim_{x\to-\infty}{V(x)}\right)}</math>, then the wavefunction satisfies, for some <math>X > 0</math>

:<math>\frac{\psi^{\prime\prime{\psi}=\frac{2m}{\hbar^2}(V(x)-E) > 0\text{ for }x > X</math>

so that is exponentially suppressed at large . This behaviour is well-studied for smoothly varying potentials in the WKB approximation for wavefunction, where an oscillatory behaviour is observed if the right hand side of the equation is negative and growing/decaying behaviour if it is positive. Hence, negative energy-states are bound if <math>V(x)</math> vanishes at infinity.

Non-degeneracy in one-dimensional bound states

One-dimensional bound states can be shown to be non-degenerate in energy for well-behaved wavefunctions that decay to zero at infinities. This need not hold true for wavefunctions in higher dimensions. Due to the property of non-degenerate states, one-dimensional bound states can always be expressed as real wavefunctions.

{| class="toccolours collapsible collapsed" width="80%" style="text-align:left"

!Proof

|-

|

Consider two energy eigenstates states <math display="inline"> \Psi_1</math> and <math display="inline"> \Psi_2</math> with same energy eigenvalue.

Then since, the Schrodinger equation, which is expressed as:<math display="block">E = - \frac 1 {\Psi_i(x,t)} \frac{\hbar^2}{2m}\frac{\partial^2\Psi_i(x,t) }{\partial x^2} + V(x,t) </math>is satisfied for i = 1 and 2, subtracting the two equations gives:<math display="block">\frac 1 {\Psi_1(x,t)} \frac{\partial^2\Psi_1(x,t) }{\partial x^2} - \frac 1 {\Psi_2(x,t)} \frac{\partial^2\Psi_2(x,t) }{\partial x^2} = 0 </math>which can be rearranged to give the condition:<math display="block">

\frac{\partial }{\partial x} \left(\frac{\partial \Psi_1}{\partial x}\Psi_2\right)-\frac{\partial }{\partial x} \left(\frac{\partial \Psi_2}{\partial x}\Psi_1\right)=0 </math>Since <math display="inline">

\frac{\partial \Psi_1}{\partial x}(x)\Psi_2(x)-

\frac{\partial \Psi_2}{\partial x}(x)\Psi_1(x)= C </math>, taking limit of x going to infinity on both sides, the wavefunctions vanish and gives <math display="inline">

C = 0 </math>.

Solving for <math display="inline">

\frac{\partial \Psi_1}{\partial x}(x)\Psi_2(x) =

\frac{\partial \Psi_2}{\partial x}(x)\Psi_1(x) </math>, we get: <math display="inline">

\Psi_1(x) = k \Psi_2(x) </math> which proves that the energy eigenfunction of a 1D bound state is unique.

Furthermore it can be shown that these wavefunctions can always be represented by a completely real wavefunction. Define real functions <math display="inline">

\rho_1(x) </math> and <math display="inline">

\rho_2(x) </math> such that <math display="inline">

\Psi(x) = \rho_1(x) + i \rho_2(x) </math>. Then, from Schrodinger's equation:<math display="block">\Psi = - \frac{2m(E-V(x))}{\hbar^2}\Psi </math> we get that, since the terms in the equation are all real values:<math display="block">\rho_i = - \frac{2m(E-V(x))}{\hbar^2}\rho_i </math>applies for i = 1 and 2. Thus every 1D bound state can be represented by completely real eigenfunctions. Note that real function representation of wavefunctions from this proof applies for all non-degenerate states in general.

|}

Node theorem

Node theorem states that <math>n\text{th}</math> bound wavefunction ordered according to increasing energy has exactly <math>n-1</math> nodes, i.e., points <math>x=a</math> where <math>\psi(a)=0 \neq \psi'(a)</math>. Due to the form of Schrödinger's time independent equations, it is not possible for a physical wavefunction to have <math>\psi(a) = 0 = \psi'(a)</math> since it corresponds to <math>\psi(x)=0</math> solution.

Requirements

A boson with mass mediating a weakly coupled interaction produces an Yukawa-like interaction potential,

:<math>V(r) = \pm\frac{\alpha_\chi}{r} e^{- \frac{r}{\lambda\!\!\!\frac{}{\ }_\chi</math>,<!--\bar\lambda is an overbar, \sout\lambda is missing-->

where <math>\alpha_\chi=g^2/4\pi</math>, is the gauge coupling constant, and is the reduced Compton wavelength. A scalar boson produces a universally attractive potential, whereas a vector attracts particles to antiparticles but repels like pairs. For two particles of mass and , the Bohr radius of the system becomes

:<math>a_0=\frac