Chapter 3 - Electric and Magnetic Scalar Potentials
Section 3.1 - Work and Energy in Electrostatics and Magnetostatics
The force on charge \(q\) is given by \(\mathbf{F}(\mathbf{r}) = q_e \mathbf{E}(\mathbf{r})\) or \(\mathbf{F}(\mathbf{r}) = q_m \mathbf{H}(\mathbf{r})\). If this charge is moved \(d{\mathbf{l}} = d x \hat{\mathbf{x}} + d y \hat{\mathbf{y}} + d z \hat{\mathbf{z}}\), the change in internal energy (work) this produces can be written as
Rewriting this, \(\mathbf{F} = -\nabla{U}\), with \(U\) as potential energy. Now, we can denote this change in internal energy in terms of \(q\) as follows:
The units of electrostatic potential is Joule/Coulomb, also known as a Volt. Thus, the units of the electric field should be expressed in Volts/meter. Similarly,
The units of magnetostatic potential is Joule/Weber, also known as an Ampere. Thus, the units of the magnetic field can be written as Amperes/meter.
With this, we can calculate work. Moving a charge \(q\) from \(A\) to \(B\), we see that
Strictly speaking, this is a potential difference. To find the absolute potential, assume a point charge \(Q\) at the origin, and a charge \(q\). We take the work as \(q\) moves from \(\mathbf{r'} = \mathbf{\infty}\) to \(\mathbf{r'} = \mathbf{r}\). Thus,
Letting the potential as \(\mathbf{r} \rightarrow \infty\) equal \(0\) be our reference and dividing out \(q\), we find that the voltage for arrangement is the following:
Now, if we let the stationary charge \(Q\) be located at \(\mathbf{r'}\), we see that
If we allow multiple charges, this becomes
Taking this to its natural limit,
Section 3.2 - Energy of a Charge Distribution
Given two point charges \(Q_{e1}, Q_{e2}\) we know the work to bring them together is
Superposition applies here. The energy to create \(N\) charges is
For the sake of symmetry, sum overall charges and divide by 2.
Rearranging, we see the following:
We can rewrite this as a Riemann sum and convert to an integral.
We can also express this as
Note the \(\frac{1}{2}\) is the same anti-double-counting factor introduced previously. If we were to determine the potential based on a different set of charges, the factor would be absent.
We can now write an expression for energy of a charge density in terms of the field that it produces.
Simplifying, we see that
Section 3.3 - The Poisson and Laplace Equations
We know that \(\mathbf{E}(\mathbf{r}) = -\nabla \cdot V_e(\mathbf{r})\) and \(\mathbf{H}(\mathbf{r}) = -\nabla \cdot V_m(\mathbf{r})\)
Combined this, as well as the first of the Maxwell equations, we see that
The last inequality is called the Poisson Equation, or the inhomogeneous Laplace equation.
To solve this equation, we define a Green function as follows:
Now, we can construct a potential function in terms of said green function that satisfies the Laplace equation.
This is the specific solution. Let \(\psi(\mathbf{r})\) be a solution to the homogenous equation. We can state the following:
We will consider the potential of a point charge. THat is, the limit of potential is zero as distance approaches infinity.
Recall the potential of a point charge:
We know that \(- \nabla^2{V(\mathbf{r})} = \nabla \cdot \mathbf{E}(\mathbf{r})\). Thus, recall the electric field of a point charge.
Taking the divergence, we find that
Thus, we see that
Finally,
Section 3.4 - The Laplace and Poisson Equations with Boundary Conditions
Theorem. The Mean Value Theorem states that if a function satisfies the laplace equation for every point within a region, then the value of the function at the center of the applicable region is equal to the average of the function along the boundary of said region.
This can be extended to the Method of Relaxations, in which each point in a mesh is defined by the average of its neighboring points. This is only useful in computer graphics.
An interesting consequence of this states that there are no local minima or maxima within said region. The global maximum and minimum must be located at the boundary.
Theorem. This leads to Earnshaw's Theorem. To make an electric trap to hold charges, more than zero forces must be applied to the charge, so that if the charge leaves its dedicated position it is forced back. Depending on the sign, at said point, potential must increase or decrease in all directions. However, this would force a local extrema. This cannot be possible.
Theorem. The solution to a Laplace or Poisson equation is unique.
Section 3.5 - Multipole Expansion of the Electrostatic or Magnetostatic Field
We want a simple way to write the Green function.
Let us assume all charge is contained in a sphere with radius \(R\) centered at the origin. Then, for points \(r\) far from the origin, the Green function can be written as
This inverse square root term \((1 - 2 \hat{\mathbf{r}} \cdot \hat{\mathbf{r'}} + \frac{r'}{r} + \frac{r'^2}{r^2})^{-\frac{1}{2}}\) can be expanded as a power series in \(\frac{r'}{r}\).
The first two terms of this power series are simple enough.
Applying this to the equation for voltage, we see that
Definition. The first and second terms of this equation are the monopole and dipole terms respectively.
Definition. We define \(\mathbf{p}\) as the electric dipole moment, and in the magnetic version, \(\mathbf{m}\) as the magnetic dipole moment as follows:
Notably, the moments only depend on the charge density, not the point at which the field is being examined. That is, this integral only needs to be computed once.
To compute higher-order terms, let \(\varepsilon = 2\frac{r'}{r}\hat{\mathbf{r}}\cdot\hat{\mathbf{r'}}-(\frac{r'}{r})^2\). Now we can expand \((1-\varepsilon)^{-\frac{1}{2}}\).
However, we want an expansion in terms of \(t = \frac{r'}{r}\). To do this, we write the expansion as
Here, \(P_n(\hat{\mathbf{r}} \cdot \hat{\mathbf{r'}})\) is a polynomial. Because \(|\mathbf{r}-\mathbf{r'}|\) is symmetric, we can say that if \(r' > r\) instead, simply switch the two. Thus the equation becomes
Where \(r_>\) is the greater of \(r, r'\), and \(r_<\) the lesser.
Definition. The polynomials \(P_n(x)\) are Legendre Polynomials. We define them as follows:
Note that as a quirk of the function, \(P_n(1) = 1\) for all \(n\).
We can apply these quadrupole and beyond terms to the violate or other equations, however, this becomes very messy.