Bethe–Salpeter equation
The Bethe–Salpeter equation (named after Hans Bethe and Edwin Salpeter) describes the bound states of a two-body (particles) quantum field theoretical system in a relativistically covariant formalism. The equation was first published in 1950 at the end of a paper by Yoichiro Nambu, but without derivation. Due to its generality and its application in many branches of theoretical physics, the Bethe–Salpeter equation appears in many different forms. One form, that is quite often used in high energy physics is

where Γ is the Bethe–Salpeter amplitude, K the interaction and S the propagators of the two participating particles. In quantum theory, bound states are objects with lifetimes that are much longer than the time-scale of the interaction ruling their structure (otherwise they are called resonances). Thus the constituents interact essentially infinitely many times. By summing up, infinitely many times, all possible interactions that can occur between the two constituents, the Bethe–Salpeter equation is a tool to calculate properties of bound states. Its solution, the Bethe–Salpeter amplitude, is a description of the bound state under consideration. As it can be derived via identifying bound-states with poles in the S-matrix, it can be connected to the quantum theoretical description of scattering processes and Green's functions. The Bethe–Salpeter equation is a general quantum field theoretical tool, thus applications for it can be found in any quantum field theory. Some examples are positronium (bound state of an electron–positron pair), excitons (bound states of an electron–hole pairs), and mesons (as quark-antiquark bound states). Even for simple systems such as the positronium, the equation cannot be solved exactly, although in principle it can be formulated exactly. A classification of the states can be achieved without the need for an exact solution. If one of the particles is significantly more massive than the other, the problem is considerably simplified as one solves the Dirac equation for the lighter particle under the external potential of the heavier particle. Derivation 

The starting point for the derivation of the Bethe–Salpeter equation is the two-particle (or four point) Dyson equation

in momentum space, where "G" is the two-particle Green function , "S" are the free propagators and "K" is an interaction kernel, which contains all possible interactions between the two particles. The crucial step is now, to assume that bound states appear as poles in the Green function. One assumes, that two particles come together and form a bound state with mass "M", this bound state propagates freely, and then the bound state splits in its two constituents again. Therefore, one introduces the Bethe–Salpeter wave function  , which is a transition amplitude of two constituents  into a bound state , and then makes an ansatz for the Green function in the vicinity of the pole as

where P is the total momentum of the system. One sees, that if for this momentum the equation  holds, which is exactly the Einstein energy-momentum relation (with the Four-momentum  and  ), the four-point Green function contains a pole. If one plugs that ansatz into the Dyson equation above, and sets the total momentum "P" such that the energy-momentum relation holds, on both sides of the term a pole appears. Comparing the residues yields

This is already the Bethe–Salpeter equation, written in terms of the Bethe–Salpeter wave functions. To obtain the above form one introduces the Bethe–Salpeter amplitudes "Γ"

and gets finally

which is written down above, with the explicit momentum dependence. Rainbow-ladder approximation

In principle the interaction kernel K contains all possible two-particle-irreducible interactions that can occur between the two constituents. Thus, in practical calculations one has to model it and only choose a subset of the interactions. As in quantum field theories, interaction is described via the exchange of particles (e.g. photons in quantum electrodynamics, or gluons in quantum chromodynamics), the most simple interaction is the exchange of only one of these force-particles. As the Bethe–Salpeter equation sums up the interaction infinitely many times, the resulting Feynman graph has the form of a ladder (or rainbow). While in quantum electrodynamics the ladder approximation caused problems with crossing symmetry and gauge invariance and thus crossed ladder terms had to be included, in quantum chromodynamics this approximation is used phenomenologically quite a lot to calculate hadron masses, since it respects chiral symmetry breaking and therefore is an important part of the generation of these masses. Normalization 
As for any homogeneous equation, the solution of the Bethe–Salpeter equation is determined only up to a numerical factor. This factor has to be specified by a certain normalization condition. For the Bethe–Salpeter amplitudes this is usually done by demanding probability conservation (similar to the normalization of the quantum mechanical wave function), which corresponds to the equation 

Normalizations to the charge and energy-momentum tensor of the bound state lead to the same equation. In ladder approximation the Interaction kernel does not depend on the total momentum of the Bethe–Salpeter amplitude, thus, for this case, the second term of the normalization condition vanishes. See also 
ABINIT
Araki–Sucher correction
Breit equation
Lippmann–Schwinger equation
Schwinger–Dyson equation
Two-body Dirac equations
YAMBO code

References

Bibliography 
Many modern quantum field theory textbooks and a few articles provide pedagogical accounts for the Bethe–Salpeter equation's context and uses. See:

Still a good introduction is given by the review article of Nakanishi

For historical aspects, see

External links to codes where the Bethe-Salpeter equation is coded 
 Yambo - plane-wave pseudopotential
 BerkeleyGW – plane-wave pseudopotential
 ExC - plane-wave pseudopotential
 Fiesta - Gaussian all-electron
 Abinit - plane-wave pseudopotential
 VASP - plane-wave pseudopotential

For a more comprehensive list of first principles codes see here: List_of_quantum_chemistry_and_solid-state_physics_software

Eponymous equations of physics
Quantum field theory
Quantum mechanics