# The Multipole Expansion

A multipole expansion is a mathematical series representing a function that depends on angles—usually the two angles on a sphere. These series are useful because they can often be truncated, meaning that only the first few terms need to be retained for a good approximation to the original function. Multipole expansions are very frequently used in the study of electromagnetic and gravitational fields, where the fields at distant points are given in terms of sources in a small region. The multipole expansion with angles is often combined with an expansion in radius. Such a combination gives an expansion describing a function throughout three-dimensional space.

The multipole expansion is expressed as a sum of terms with progressively finer angular features. For example, the initial term—called the zeroth, or monopole, moment—is a constant, independent of angle. The following term—the first, or dipole, moment—varies once from positive to negative around the sphere. Higher-order terms (like the quadrupole and octupole) vary more quickly with angles. A multipole moment usually involves powers (or inverse powers) of the distance to the origin, as well as some angular dependence.

### Setting up the System

Consider an arbitrary charge distribution \( \rho (\mathbf {r} ')\). We wish to find the electrostatic potential due to this charge distribution at a given point \( \mathbf {r} \). We assume that this point is at a large distance from the charge distribution, that is if \( \mathbf {r} '\) varies over the charge distribution, then \( \mathbf {r} \gg \mathbf {r} '\).

Now, the coulomb potential for a charge distribution is given by

\[ V(\mathbf {r} ) ={\dfrac {1}{4\pi \epsilon _{0}}}\int _{V'}{\dfrac {\rho (\mathbf {r} ')}{|\mathbf {r} -\mathbf {r'} |}}dV' \label{eq2} \]

Here,

\[ \begin{align} | \mathbf {r} -\mathbf {r'} |&= \sqrt{ |r^{2}-2\mathbf {r} \cdot \mathbf {r} '+r'^{2}|} \\[5pt] &=r \sqrt{ \left|1-2 \dfrac {\hat {\mathbf {r}} \cdot \mathbf {r} '}{r} +\left( \dfrac {r'}{r} \right)^2 \right|} \end{align}\]

where \[ \hat {\mathbf {r} } = \mathbf {r} /r \]

Thus, using the fact that \({ \mathbf {r} }\) is much larger than \( \mathbf {r} '\), we can write

\[ \dfrac {1}{|\mathbf {r} -\mathbf {r'} |} = \dfrac {1}{r} \dfrac {1}{ \sqrt{\left|1-2 \dfrac {\hat {\mathbf {r} }\cdot \mathbf {r} '}{r} +\left(\dfrac {r'}{r}\right)^2 \right|}} \label{eq6}\]

and using the binomial expansion (see below),

\[ \dfrac {1} {\sqrt{ \left|1-2 \dfrac {\hat {\mathbf {r}} \cdot \mathbf {r} '}{r} + \left( \dfrac {r'}{r} \right)^{2} \right|} } =1-{\dfrac {\hat {\mathbf {r} }\cdot \mathbf {r} '}{r}}+{\dfrac {1}{2r^{2}}}\left(3({\hat {\mathbf {r} }}\cdot \mathbf {r} '\right)^{2}-r'^{2})+O\left({\dfrac {r'}{r}}\right)^{3} \label{eq10}\]

(we neglect the third and higher order terms).

Binomial Theorem

The binomial theory can be used to expand specific functions into an infinite series:

\[\begin{align} (1+ x )^s &= \sum_{n=0}^{\infty} \dfrac{s!}{n! (s-n)!} x^n \\[5pt] &= 1 + \dfrac{s}{1!} x + \dfrac{s(s-1)}{2!} x^2 + \dfrac{s(s-1)(s-2)}{3!} x^3 + \ldots \end{align}\]

Equation \ref{eq6} can be rewritten as

\[ \dfrac {1}{|\mathbf {r} -\mathbf {r'} |} = \dfrac {1}{r} \dfrac {1}{ \sqrt{1 + \epsilon } } \label{eq6B}\]

where

\[\epsilon = -2 \dfrac {\hat {\mathbf {r} }\cdot \mathbf {r} '}{r} +\left(\dfrac {r'}{r}\right)^2\]

Applying the Binomial Theorem to Equation \ref{eq6B} results in

\[ \dfrac {1}{|\mathbf {r} -\mathbf {r'} |} = \dfrac {1}{r} \left( 1 + \dfrac{1}{2} \epsilon - \dfrac{3}{8} \epsilon^2 - \dfrac{5}{16} \epsilon^3 + \ldots \right)\]

which is where Equation \ref{eq10} originates from.

## The Expansion

Inserting Equation \ref{eq10} into Equation \ref{eq2} shows that the potential can be written as

\[ V(\mathbf {r} )={\dfrac {1}{4\pi \epsilon _{0}r}}\int _{V'}\rho (\mathbf {r} ')\left(1-{\dfrac {\hat {\mathbf {r} }\cdot \mathbf {r} '}{r}}+{\dfrac {1}{2r^{2}}}\left(3({\hat {\mathbf {r} }}\cdot \mathbf {r} '\right)^{2}-r'^{2})+O\left({\dfrac {r'}{r}}\right)^{3}\right)dV' \]

We write this as

\[ V(\mathbf {r} )=V_{\text{mon}}(\mathbf {r} )+V_{\text{dip}}(\mathbf {r} )+V_{\text{quad}}(\mathbf {r} )+\ldots \label{expand}\]

The first (the zeroth-order) term in the expansion is called the monopole moment, the second (the first-order) term is called the dipole moment, the third (the second-order) is called the quadrupole moment, the fourth (third-order) term is called the octupole moment, and the fifth (fourth-order) term is called the hexadecapole moment. Given the limitation of Greek numeral prefixes, terms of higher order are conventionally named by adding "-pole" to the number of poles—e.g., 32-pole (i.e., dotriacontapole) and 64-pole (hexacontatetrapole).

These moments can be expanded thusly

\[ \begin{align} V_{\text{mon}}(\mathbf {r} ) &={\dfrac {1}{4\pi \epsilon _{0}r}}\int _{V'}\rho (\mathbf {r} ')dV' \\[5pt] V_{\text{dip}}(\mathbf {r} ) &=-{\dfrac {1}{4\pi \epsilon _{0}r^{2}}}\int _{V'}\rho (\mathbf {r} ')\left({\hat {\mathbf {r} }}\cdot \mathbf {r} '\right)dV' \\[5pt] V_{\text{quad}}(\mathbf {r} ) &={\dfrac {1}{8\pi \epsilon _{0}r^{3}}}\int _{V'}\rho (\mathbf {r} ')\left(3\left({\hat {\mathbf {r} }}\cdot \mathbf {r} '\right)^{2}-r'^{2}\right)dV' \end{align}\]

and so on.

In principle, a multipole expansion provides an exact description of the potential and generally converges under two conditions:

- if the sources (e.g. charges) are localized close to the origin and the point at which the potential is observed is far from the origin; or
- the reverse, i.e., if the sources are located far from the origin and the potential is observed close to the origin.

In the first (more common) case, the coefficients of the series expansion are called exterior multipole moments or simply multipole moments whereas, in the second case, they are called interior multipole moments.

### The Monopole Scalar

Observe that

\[ V_{mon}(\mathbf {r}) =\dfrac {1}{4\pi \epsilon _0r}\int _{V'}\rho (\mathbf {r} ')dV' = \dfrac{q}{ 4\pi \epsilon _0 r}\]

is a scalar, (actually the total charge in the distribution) and is called the *electric monopole*. This term indicates point charge electrical potential with charge \(q\).

### The Dipole Vector

If a charge distribution has a net total charge, it will tend to look like a monopole (point charge) from large distances. We can write

\[ V_{\text{dip}}(\mathbf {r} )=-{\dfrac {\hat {\mathbf {r} }}{4\pi \epsilon _{0}r^{2}}}\cdot \int _{V'}\rho (\mathbf {r} ')\mathbf {r} 'dV' \]

The vector

\[ \mathbf {p} =\int _{V'}\rho (\mathbf {r} ')\mathbf {r} 'dV' \]

is called the electric dipole. And its magnitude is called the dipole moment of the charge distribution. This terms indicates the linear charge distribution geometry of a dipole electrical potential.

### The Quadrupole Tensor

Let \( \hat {\mathbf {r} }\) and \( \mathbf {r} '\) be expressed in Cartesian coordinates as \( (r_{1},r_{2},r_{3})\) and \( (x_{1},x_{2},x_{3})\). Then, \( ({\hat {\mathbf {r} }}\cdot \mathbf {r} ')^{2}=(r_{i}x_{i})^{2}=r_{i}r_{j}x_{i}x_{j}\).

We define a dyad to be the tensor \( {\hat {\mathbf {r} }}{\hat {\mathbf {r} }}\) given by

\[ \left({\hat {\mathbf {r} }}{\hat {\mathbf {r} }}\right)_{ij}=r_{i}r_{j} \]

Define the *Quadrupole tensor* as

\[ T=\int _{V'} \rho (\mathbf {r} ') \left(3 (\mathbf {r} '\mathbf {r} ')-\mathbf {I} r'^{2}\right)dV' \]

Then, we can write \( V_{\text{qua}}\) as the tensor contraction

\[ V_{\text{qua}}(\mathbf {r} )=- \dfrac {\hat {\mathbf {r}} \hat {\mathbf {r}}} {4\pi \epsilon _{0}r^{3}} ::T\]

this term indicates the three dimensional distribution of a quadruple electrical potential.