Use the constitutive relations and , where is the electric displacement field, the magnetic field strength, the permittivity, and the magnetic permeability. Let be the charge density of free charge and its current density. In this homogeneous medium, Gauss's law and the magnetostatic Ampère law are, respectively,
Here is a volume with closed boundary , and is an oriented spanning surface whose boundary orientation follows the right-hand rule. Thus the electric field form is and ; the magnetic field form is and .
The remaining static Maxwell equations are
These express Gauss's law for magnetism and the static limit of Faraday's law. The volume and circulation forms follow from the divergence theorem and Stokes theorem. The electric charge and electric current on the right of the macroscopic laws are free sources; material electric polarization and magnetization are already included in and .
With charge density , current density , and speed of light , the four Maxwell equations in vacuum are
The electric potential and magnetic vector potential determine the electric field and magnetic field by
These definitions satisfy Gauss's law for magnetism and Faraday's law identically. The Lorenz gauge condition is
Substituting into Gauss's law and using the Lorenz gauge condition gives
For the Ampère-Maxwell equation, the double-curl identity gives
The two gradient terms cancel by the Lorenz gauge condition. Defining the d'Alembert operator with the sign convention , the remaining equations are
Conversely, if the electric potential and magnetic vector potential satisfy these wave equations and the Lorenz gauge condition, the same substitutions in reverse give Gauss's law and the Ampère-Maxwell equation. The other two Maxwell equations follow identically from the definitions, proving equivalence within the Lorenz gauge.
The moving point charge has distributional charge density and current density
Let
The given retarded fundamental solution identity immediately implies that the retarded potentials
solve and in the sense of distributions. Integrating the spatial Dirac delta function first gives
and the analogous integral for has numerator .
Assume the physical trajectory has subluminal speed and the retarded time exists. At its root , with ,
The positive factor also proves uniqueness of retarded time for a subluminal source. The Dirac delta function substitution formula gives , so
These are the Lienard-Wiechert potentials. The denominator includes the time-substitution factor, rather than just the retarded distance. Away from the trajectory the electric potential and magnetic vector potential are ordinary smooth functions; on the trajectory their wave equations have the indicated distributional sources.
For completeness, the charge continuity equation also verifies the Lorenz gauge. Using and , integration by parts in the retarded integrals gives
with the retarded boundary prescription. Thus the construction also has the required Lorenz gauge condition.
Fix the electric potential to vanish at infinity and assume a localized, nonsingular charge density of finite electrostatic energy. Assemble the charge by scaling from to . Linearity gives , so the work is
The factor prevents double counting of pair interactions. Using Gauss law, , and integration by parts,
The boundary integral at infinity vanishes for a localized distribution since and . Singular point-charge self-energies require a separate regularization and are not finite instances of this identity.
For the uniform solid sphere, spherical symmetry and Gauss law give
Integrating inward from infinity and matching the continuous electric potential at gives
The value of the electric field at the centre is the zero vector.
Writing , the electrostatic energy of a uniformly charged solid sphere follows either from the charge-potential integral or from the field integral including the exterior:
For the nuclear scaling, while constant volume per proton gives . Therefore the electric contribution scales as in this uniform-density model.
The uniform charge density is . Spherical symmetry makes the electric field radial and constant in magnitude on each concentric sphere. A sphere of radius encloses charge . Gauss's law therefore gives , so
This also defines the zero electric field at the centre by continuity.
For the aligned magnetic dipole field,
Since ,
The corotation velocity is . The current density is therefore the advected charge density,
For a point charge, the charge density and current density are
Insert these into the retarded electromagnetic potential. The argument of the Dirac delta function depends on through
At its unique zero , the Jacobian determinant contributes the factor
Since the source is subluminal, this quantity is positive. Writing , , and evaluating at gives the Lienard-Wiechert potentials
The identity equivalently gives .
Vanishing net charge density does not require vanishing current. Positive and negative charge carriers can cancel in charge density while their oppositely directed motions add to a nonzero current. Charge conservation only requires
for magnetostatics this becomes .
Because , one may introduce a magnetic vector potential with
It is not unique: gives the same field for any scalar .
For the stated current,
so it is consistent with stationary charge conservation. Direct calculation gives
Thus is a Beltrami field. For , choose
Then and . A convenient Coulomb-gauge potential is
since and . Gradient gauge terms may of course be added.
If , the current is the constant field . The formulas involving do not apply; one valid choice is
For any bounded volume with piecewise smooth closed boundary and outward unit normal vector , Gauss's law in integral form is
Thus the outward electric flux equals the enclosed electric charge divided by the vacuum permittivity. To prove it, apply the divergence theorem to the electric field and use its given divergence:
The classical proof assumes the requisite differentiability of the electric field. For piecewise smooth charge densities, one may apply the divergence theorem piece by piece and cancel the internal fluxes.
For the thin spherical charge layer limit, smoothness of gives
Thus the shell's total electric charge tends to while its thickness tends to zero. At each fixed , the observation point eventually lies outside the shell, whereas at each fixed the interior electric field is unchanged. The limiting electric field away from the sphere is therefore
Its outward-minus-inward jump is
Physically, the limit is a uniformly charged ball of charge density , together with an infinitesimally thin spherical shell of uniform surface charge density
Indeed its electric charge is , and the standard normal electric field jump is . The surface charge density can have either sign, or vanish, according to .
The order of limits matters. For every finite , taking the two one-sided limits at first gives zero jump. The displayed nonzero jump is obtained by first taking at fixed points on either side, then approaching . The value at the surface itself need not coincide with either trace of the limiting electric field.
By the assumed spherical symmetry of the electric potential, the electric field is radial: for . On a sphere of radius , Gauss's law therefore reads
Put . For , the enclosed electric charge is . In the spherical shell, the factor in the volume element cancels in the charge density, so
It follows that
At the origin the first formula gives without needing a radial unit vector. At both shell interfaces the adjacent formulas agree: for every fixed , there is no surface charge concentrated on either sphere, and the electric field is continuous there. No sign restriction on has been assumed, so the shell charge density and the radial electric field can be negative.
In the first octant, spherical polar coordinates have and . The charge density is . Hence the total electric charge is
The three factors are , , and , respectively. For the middle integral, set to obtain . Thus
For a vacuum electric potential, put in Laplace's equation in spherical coordinates. Multiplication by separates the radial and angular terms. With separation constant and , the angular Legendre differential equation is
Regularity at both polar axes selects nonnegative integers and the Legendre polynomials. The radial equation is , whose independent solutions are and . Hence the angularly regular axisymmetric vacuum solution is
The radial domain and its boundary conditions determine which terms are admissible.
For the given charge density, only is forced. Write . The interior radial Poisson equation is . The identity for the Poisson equation with a spherical harmonic source gives the particular solution , since the radial operator takes to four. Finiteness at zero and decay at infinity therefore give
Continuity of the electric potential and its radial derivative at requires and . Solving gives , , so
All other angular modes have zero coefficients after imposing regularity, matching and decay. At the origin the interior expression is , which extends with a continuous gradient and value zero. The angular charge density has no unique value exactly at that point; Poisson's equation holds classically for and as a weak solution through the origin. There is no additional point charge.
A material segment of the line with rest length has laboratory length , while its charge is unchanged. Thus
Equivalently the line-integrated four-current transforms from to . Gauss's and Ampère's laws in now give and , exactly the fields found in part (a). Charge density is frame-dependent even though the charge of the same set of particles is invariant.
In , adding the stationary opposite line cancels charge density and electric field but contributes no current. Hence
The neutral current filament in a boosted frame is not neutral. Transform its line-integrated four-current:
The same result follows by adding the original resting line to the new negative line, whose primed density and current are . In particular because .
Transforming the total fields gives
For positive , points inward, explaining the electric-field sign. The primed Gauss and Ampère fields calculated from and reproduce these expressions. Both a moving charge distribution and a moving current must be transformed; boosting just one constituent would give an inconsistent total.
Let an object be at rest in , with proper charge density and no rest-frame current. In a frame moving at relative to it, the object moves with velocity . A simultaneous volume element is Lorentz-contracted along the motion, , while its charge is invariant. Therefore
The object's four-velocity in this frame is , so
A scalar proper density times a Lorentz four-vector transforms as a Lorentz four-vector, demonstrating the claim. With the alternative convention that denotes the object's velocity in the observer frame, the spatial component is instead. Summing the four-currents of different carrier species preserves this transformation law even when the combined current has no rest frame, as for a lab-neutral current-carrying wire.
The prescribed surface charge density is that of a uniformly polarized sphere and has zero total charge because . Its electric dipole moment at is
The transverse components cancel by axisymmetry, while the component is
Thus
The angular surface distribution is a pure degree-one spherical harmonic. Hence its static external electric potential is exactly that of this dipole, with no higher electric multipole moments; it is not an assertion that the potential inside the finite sphere equals a singular point-dipole potential.
For right-handed uniform rotation about , the rigidly attached dipole is
Consequently is constant. The electric dipole radiation formula gives
There is no extra factor of one-half: the squared sine and cosine contributions of the two perpendicular oscillating components sum to one. This is the leading electric-dipole approximation for radiation, requiring and observation in the radiation zone. The stated permanent surface distribution is interpreted as the actual charge producing the given external dipole; adding another dielectric screening factor would contradict the dipole moment the question asks to establish. The relative permittivity enters the induced-polarization problem in part (d), not this prescribed total dipole moment.
The information in the original question is insufficient to determine a unique spin-induced change of charge density. It specifies ideal dielectric filaments with a prescribed excess linear charge density, but not the charge carrier species, their spin state, charge carrier mobility, binding potential or relaxation mechanism. A classical line charge has no spin variable at all. The following conditional conclusions are supported by the fields already calculated.
For a carrier moving with its filament, the local magnetic field in its instantaneous rest frame is, for the transverse fields here,
where is that carrier's laboratory velocity. Exclude its filament's singular self-field and first retain only the prescribed straight convective motion.
In Case 1 there is a common rest frame in which both filaments and the excess charges are stationary and the interfilament magnetic field vanishes. Equivalently, in the laboratory , so B's co-moving charges have . Thus uniform common translation alone creates no extra mutual rest-field spin splitting. This does not exclude intrinsic spin-orbit coupling of electrons moving within their atomic binding potentials; that material physics was never specified.
In Case 2 there is relative motion and no frame in which both source distributions are stationary. Put as in part (c). At the respective filament axes, the external fields experienced in each carrier distribution's own rest frame are
For the first expression B is at rest in ; for the second A is at rest in and the field comes from B moving at . For a carrier with magnetic dipole moment , the interaction distinguishes opposite transverse spin orientations. A field gradient could exert a spin-dependent force on mobile carriers; spin relaxation could instead produce a spin polarization. These are possible responses, not consequences of charge density alone. In B's frame the displayed interaction is directly a magnetic-moment coupling to the moving source's field; treating the moving carrier's electrostatic orbital term in another frame also requires consistent binding and acceleration dynamics, including any applicable Thomas precession.
For example, if and mobile electron spins can relax, the lower magnetic-energy orientation has the electron's magnetic moment toward and its spin toward . Oppositely oriented moments would experience opposite gradient forces. The sign changes if the source charge changes sign. None of these statements fixes a net charge redistribution without a confinement and response model, and the stipulated zero transverse size supplies no resolved “sides” on which charge could accumulate.
Therefore Case 1 has no new mutual spin effect from common bulk motion alone; Case 2 permits motion-induced spin-dependent interactions, but neither case determines an additional charge-density profile from the supplied data. In particular, the factor relating proper and laboratory linear charge densities in part (b) follows from length contraction and is not an effect of spin-orbit coupling. If the charges remain pinned in an ideal dielectric, their imposed density remains the prescribed density in either case.
Gauss's law states that the outward electric flux through a closed surface is the enclosed electric charge divided by the vacuum permittivity:
In electrostatics, the electric field is the negative gradient of the electrostatic potential, . Substitution into the differential equation form of Gauss's law gives Poisson's equation . Consequently, in a region containing no charge density,
which is Laplace's equation. Charges on the bounding conductors enter through the boundary conditions; they need not vanish for Laplace's equation to hold inside the empty gap.
Take the divergence of the proposed Ampère's law. Since the divergence of a curl vanishes identically, it implies . However, local charge conservation requires the continuity equation
For example, electric current entering a charging capacitor accumulates electric charge on its plates, so the charge density is time dependent. The proposed equation cannot describe that process.
From Gauss's law, . Thus , which supplies precisely the missing divergence. Adding the displacement current density gives the Ampère-Maxwell equation:
Its divergence now yields the correct continuity equation. Through a fixed surface, the associated displacement current is , where is the electric flux. In a vacuum capacitor gap, this equals the conduction electric current charging the plates, even though no charges cross the gap. Charge conservation fixes the required divergence of the correction; by itself it does not exclude adding a further divergence-free vector field.