PhyslibSearch

Physlib.Electromagnetism.PointParticle.ThreeDimension

13 declarations

definition

4-current density of a stationary point particle in 3D

#threeDimPointParticleCurrentDensity

Given the speed of light cc, a charge qRq \in \mathbb{R}, and a position r0\mathbf{r}_0 in 3D space, the 4-current density JJ of a point particle stationary at r0\mathbf{r}_0 is defined as the distribution J=cqδ(rr0)e0J = cq \delta(\mathbf{r} - \mathbf{r}_0) \mathbf{e}_0 where e0\mathbf{e}_0 is the basis vector corresponding to the temporal component of the Lorentz vector space and δ(rr0)\delta(\mathbf{r} - \mathbf{r}_0) is the Dirac delta distribution centered at r0\mathbf{r}_0. In component form, this corresponds to a 4-vector field J(r)=(cqδ(rr0),0,0,0)J(\mathbf{r}) = (c q \delta(\mathbf{r} - \mathbf{r}_0), 0, 0, 0).

theorem

The 4-current density of a stationary point particle is the translation of a Dirac distribution

#threeDimPointParticleCurrentDensity_eq_distTranslate

For a point particle with charge qRq \in \mathbb{R} stationary at position r0\mathbf{r}_0 in 3D space, let cc be the speed of light. The 4-current density JJ of this particle is equal to the spatial translation by r0\mathbf{r}_0 of a distribution centered at the origin. Specifically, JJ is the translation of the distribution cqδ(r)e0cq \delta(\mathbf{r}) \mathbf{e}_0, where δ(r)\delta(\mathbf{r}) is the Dirac delta distribution in 3D space and e0\mathbf{e}_0 is the basis vector corresponding to the temporal component of the Lorentz 4-vector space.

theorem

The charge density of a stationary point particle is qδ(rr0)q \delta(\mathbf{r} - \mathbf{r}_0)

#threeDimPointParticleCurrentDensity_chargeDensity

For a point particle with charge qRq \in \mathbb{R} stationary at position r0\mathbf{r}_0 in 3D space, the distributional charge density ρ\rho (derived from the 4-current density JJ as ρ=1cJ0\rho = \frac{1}{c} J^0) is a time-independent distribution equal to qδ(rr0)q \delta(\mathbf{r} - \mathbf{r}_0), where δ\delta is the Dirac delta distribution centered at r0\mathbf{r}_0.

theorem

The 3-current density j\vec{j} of a stationary point particle is 00

#threeDimPointParticleCurrentDensity_currentDensity

Given the speed of light cc, a charge qRq \in \mathbb{R}, and a position r0\mathbf{r}_0 in 3D space, the spatial 3-current density j\vec{j} of a point particle stationary at r0\mathbf{r}_0 is equal to zero.

definition

Electromagnetic 4-potential AμA^\mu of a stationary point particle in R3\mathbb{R}^3

#threeDimPointParticle

Given the physical constants of free space F\mathcal{F} (including the permeability μ0\mu_0 and the speed of light cc), a charge qRq \in \mathbb{R}, and a position r0R3\vec{r}_0 \in \mathbb{R}^3, the electromagnetic 4-potential AA of a stationary point particle is a time-independent distribution. Its temporal component (the 0-th component in the Lorentz basis) is given by the function: A0(r)=qμ0c4πrr0A^0(\vec{r}) = \frac{q \mu_0 c}{4\pi |\vec{r} - \vec{r}_0|} while its spatial components A(r)\vec{A}(\vec{r}) are zero. Here, rr0|\vec{r} - \vec{r}_0| denotes the Euclidean distance from a point r\vec{r} to the particle's position r0\vec{r}_0.

theorem

The 4-potential AA of a point particle at r0\vec{r}_0 is the translation of the 1/r1/r potential at the origin

#threeDimPointParticle_eq_distTranslate

For a point particle with charge qq at position r0R3\vec{r}_0 \in \mathbb{R}^3 in a free space F\mathcal{F} (with permeability μ0\mu_0 and speed of light cc), its electromagnetic 4-potential AA is equal to the time-independent spacetime distribution obtained by translating the fundamental potential at the origin by r0\vec{r}_0. Specifically, it is the translation by r0\vec{r}_0 of the distribution defined by the function: xqμ0c4πxe0\vec{x} \mapsto \frac{q \mu_0 c}{4 \pi \|\vec{x}\|} \mathbf{e}_0 where e0\mathbf{e}_0 is the temporal basis vector (the 0-th component in the Lorentz basis) and x\|\vec{x}\| is the Euclidean norm in R3\mathbb{R}^3.

theorem

The scalar potential of a stationary point particle is the Coulomb potential V=q4πϵ0rV = \frac{q}{4 \pi \epsilon_0 r}

#threeDimPointParticle_scalarPotential

Given the physical constants of free space F\mathcal{F} (including the vacuum permittivity ϵ0\epsilon_0), a charge qRq \in \mathbb{R}, and a position r0R3\vec{r}_0 \in \mathbb{R}^3, the scalar potential VV of the electromagnetic 4-potential for a stationary point particle is a time-independent distribution. Its value at a point r\vec{r} is given by: V(r)=q4πϵ0rr0V(\vec{r}) = \frac{q}{4 \pi \epsilon_0 |\vec{r} - \vec{r}_0|} where rr0|\vec{r} - \vec{r}_0| denotes the Euclidean distance between r\vec{r} and the particle's position r0\vec{r}_0.

theorem

The vector potential A\vec{A} of a stationary point particle is zero

#threeDimPointParticle_vectorPotential

Consider a stationary point particle in 3D space with electric charge qq located at position r0\vec{r}_0. Given the physical constants of free space F\mathcal{F} (including the speed of light cc), the vector potential A\vec{A} associated with the electromagnetic 4-potential of this particle is zero.

theorem

The electric field of a stationary point particle is the Coulomb field E=q4πϵ0rr0rr03\vec{E} = \frac{q}{4 \pi \epsilon_0} \frac{\vec{r} - \vec{r}_0}{|\vec{r} - \vec{r}_0|^3}

#threeDimPointParticle_electricField

Given the physical constants of free space F\mathcal{F} (including the vacuum permittivity ϵ0\epsilon_0), a charge qRq \in \mathbb{R}, and a position r0R3\vec{r}_0 \in \mathbb{R}^3, the electric field E\vec{E} associated with the electromagnetic potential of a stationary point particle is a time-independent distribution. Its value at a point r\vec{r} is given by the expression: E(r)=q4πϵ0rr0rr03\vec{E}(\vec{r}) = \frac{q}{4 \pi \epsilon_0} \frac{\vec{r} - \vec{r}_0}{|\vec{r} - \vec{r}_0|^3} where rr0|\vec{r} - \vec{r}_0| denotes the Euclidean distance between the observation point r\vec{r} and the particle's position r0\vec{r}_0.

theorem

The time derivative of the electric field of a stationary point particle is zero (Et=0\frac{\partial \vec{E}}{\partial t} = 0)

#threeDimPointParticle_electricField_timeDeriv

Given the physical constants of free space F\mathcal{F} (including the speed of light cc), a charge qRq \in \mathbb{R}, and a position r0R3\vec{r}_0 \in \mathbb{R}^3, the electric field distribution E\vec{E} produced by a stationary point particle is time-independent. Specifically, the partial derivative of the electric field with respect to time is zero: Et=0\frac{\partial \vec{E}}{\partial t} = 0

theorem

The Magnetic Field of a Stationary Point Particle is Zero

#threeDimPointParticle_magneticFieldMatrix

Consider a stationary point particle with electric charge qRq \in \mathbb{R} located at position r0R3\vec{r}_0 \in \mathbb{R}^3. Given the physical constants of free space F\mathcal{F} (including the speed of light cc), the magnetic field distribution, represented by the magnetic field matrix associated with the electromagnetic 4-potential of this particle, is zero.

theorem

The divergence of the electric field of a stationary point particle is E=qϵ0δ(rr0)\nabla \cdot \vec{E} = \frac{q}{\epsilon_0} \delta(\vec{r} - \vec{r}_0)

#threeDimPointParticle_div_electricField

Given the physical constants of free space F\mathcal{F} (including the vacuum permittivity ϵ0\epsilon_0), a charge qRq \in \mathbb{R}, and a position r0R3\vec{r}_0 \in \mathbb{R}^3, the divergence of the electric field E\vec{E} produced by a stationary point particle, interpreted as a distribution, is given by: E=1ϵ0qδ(rr0)\nabla \cdot \vec{E} = \frac{1}{\epsilon_0} q \delta(\vec{r} - \vec{r}_0) where δ(rr0)\delta(\vec{r} - \vec{r}_0) is the Dirac delta distribution centered at r0\vec{r}_0. Both the electric field and the charge density are treated as time-independent distributions.

theorem

The Electromagnetic Potential of a Stationary Point Particle satisfies Maxwell's Equations

#threeDimPointParticle_isExterma

Given a free space environment F\mathcal{F} (defined by constants such as the speed of light cc and the magnetic permeability μ0\mu_0), consider a point particle with charge qRq \in \mathbb{R} stationary at position r0R3\vec{r}_0 \in \mathbb{R}^3. Let AA be the distributional electromagnetic 4-potential of this stationary point particle and JJ be its distributional 4-current density. Then AA is an extremum of the electromagnetic action with respect to JJ, which means it satisfies the source-dependent Maxwell equations. This is expressed by the vanishing of the variational gradient of the Lagrangian density L\mathcal{L} with respect to AA: \[ \frac{\delta \mathcal{L}}{\delta A} = 0 \] where δLδA\frac{\delta \mathcal{L}}{\delta A} is the distribution whose temporal component corresponds to Gauss's Law (E=ρ/ϵ0\nabla \cdot \mathbf{E} = \rho/\epsilon_0) and whose spatial components correspond to the Ampère-Maxwell Law (×B1c2Et=μ0j\nabla \times \mathbf{B} - \frac{1}{c^2}\frac{\partial \mathbf{E}}{\partial t} = \mu_0 \mathbf{j}).