PhyslibSearch

Physlib.Electromagnetism.PointParticle.OneDimension

13 declarations

definition

Distributional current density of a stationary point particle in 1D at r0r_0

#oneDimPointParticleCurrentDensity

Given the speed of light cc, a charge qRq \in \mathbb{R}, and a position r0r_0 in 1D space, the distributional Lorentz current density JJ for a stationary point particle is defined as the time-independent distribution: \[ J = (cq \delta_{r_0}) \mathbf{e}_0 \] where δr0\delta_{r_0} is the Dirac delta distribution centered at r0r_0 and e0\mathbf{e}_0 is the basis vector corresponding to the temporal component of the Lorentz vector. This represents the current density of a point particle fixed at r0r_0 in one spatial dimension.

theorem

Current Density at r0r_0 equals Translated Current Density at the Origin

#oneDimPointParticleCurrentDensity_eq_distTranslate

For a speed of light cc, a point charge qq at position r0r_0 in one-dimensional space, the distributional Lorentz current density JJ is equal to the spatial translation by r0r_0 of the stationary distribution cqδ0e0cq \delta_0 \mathbf{e}_0. Here, δ0\delta_0 is the Dirac delta distribution centered at the origin, e0\mathbf{e}_0 is the basis vector corresponding to the temporal component of the Lorentz vector, and the result is treated as a time-independent (stationary) distribution in space-time.

theorem

The spatial current density of a 1D stationary point particle is 00

#oneDimPointParticleCurrentDensity_currentDensity

For any speed of light cc, charge qRq \in \mathbb{R}, and position r0r_0 in 1D space, the spatial current density distribution j\vec{j} associated with the distributional Lorentz current density of a stationary point particle at r0r_0 is zero.

theorem

The charge density of a 1D stationary point particle is ρ=qδr0\rho = q \delta_{r_0}

#oneDimPointParticleCurrentDensity_chargeDensity

For a point particle with charge qq stationary at position r0r_0 in 1D space, the distributional charge density ρ\rho is the time-independent distribution given by ρ=qδr0\rho = q \delta_{r_0} where δr0\delta_{r_0} is the Dirac delta distribution centered at r0r_0. This charge density is derived from the distributional Lorentz current density JJ by taking its temporal component and scaling by the reciprocal of the speed of light cc, i.e., ρ=1cJ0\rho = \frac{1}{c} J^0.

definition

Electromagnetic 4-potential of a 1D stationary point particle

#oneDimPointParticle

In a free space F\mathcal{F} with magnetic permeability μ0\mu_0 and speed of light cc, the electromagnetic 4-potential AA of a stationary point particle with charge qq at position r0r_0 in 1D space is the time-independent distribution defined by the function: x(qμ0c2xr0)e0x \mapsto \left( -\frac{q \mu_0 c}{2} \|x - r_0\| \right) \mathbf{e}_0 where e0\mathbf{e}_0 denotes the basis vector for the temporal component of the Lorentz vector.

theorem

The 4-potential of a 1D point particle is a translation of a centered distribution

#oneDimPointParticle_eq_distTranslate

In a free space F\mathcal{F} with magnetic permeability μ0\mu_0 and speed of light cc, the electromagnetic 4-potential of a stationary point particle with charge qq at position r0r_0 in 1D space is equal to the time-independent distribution obtained by translating the distribution defined by the function x(qμ0c2x)e0x \mapsto \left( -\frac{q \mu_0 c}{2} \|x\| \right) \mathbf{e}_0 by the position vector r0r_0, where e0\mathbf{e}_0 denotes the temporal basis vector of the Lorentz vector space.

theorem

The vector potential of a 1D stationary point particle is zero

#oneDimPointParticle_vectorPotential

In a free space F\mathcal{F} with speed of light cc, the vector potential A\mathbf{A} of the electromagnetic 4-potential associated with a stationary point particle of charge qq at position r0r_0 in 1D space is zero.

theorem

The scalar potential of a 1D stationary point particle is qμ0c22xr0-\frac{q \mu_0 c^2}{2} \|x - r_0\|

#oneDimPointParticle_scalarPotential

In a free space F\mathcal{F} with magnetic permeability μ0\mu_0 and speed of light cc, the scalar potential ϕ\phi of a stationary point particle with charge qq located at position r0r_0 in 1D space is the time-independent distribution defined by the function: xqμ0c22xr0x \mapsto -\frac{q \mu_0 c^2}{2} \|x - r_0\| where xx is the spatial coordinate and xr0\|x - r_0\| denotes the distance from the particle.

theorem

The electric field of a 1D stationary point particle is qμ0c22xr0xr0\frac{q \mu_0 c^2}{2} \frac{x - r_0}{\|x - r_0\|}

#oneDimPointParticle_electricField

In a free space F\mathcal{F} with magnetic permeability μ0\mu_0 and speed of light cc, the electric field E\mathbf{E} of a stationary point particle with charge qq located at position r0r_0 in 1D space is the time-independent distribution defined by the function: xqμ0c22xr0xr0x \mapsto \frac{q \mu_0 c^2}{2} \frac{x - r_0}{\|x - r_0\|} where xx is the spatial coordinate and xr0xr0\frac{x - r_0}{\|x - r_0\|} represents the unit vector (or sign) in the direction from the particle to the point xx.

theorem

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

#oneDimPointParticle_electricField_timeDeriv

In a free space F\mathcal{F} with speed of light cc, the electric field E\mathbf{E} of a stationary point particle with charge qq located at position r0r_0 in 1D space is time-independent, meaning its time derivative as a distribution is zero: Et=0\frac{\partial \mathbf{E}}{\partial t} = 0 where E\mathbf{E} is the electric field distribution derived from the electromagnetic 4-potential of the particle.

theorem

The magnetic field matrix of a 1D stationary point particle is zero

#oneDimPointParticle_magneticFieldMatrix

For a stationary point particle with charge qq at position r0r_0 in 1D space within a free space F\mathcal{F} with speed of light cc, the magnetic field matrix associated with its electromagnetic 4-potential is zero.

theorem

E=qμ0c2δ(xr0)\nabla \cdot \mathbf{E} = q \mu_0 c^2 \delta(x - r_0) for a 1D Stationary Point Particle

#oneDimPointParticle_div_electricField

In a free space F\mathcal{F} with magnetic permeability μ0\mu_0 and speed of light cc, let E\mathbf{E} be the electric field distribution of a stationary point particle with charge qq located at position r0r_0 in 1D space. The spatial divergence of E\mathbf{E} in the distributional sense is given by: E=qμ0c2δ(xr0)\nabla \cdot \mathbf{E} = q \mu_0 c^2 \delta(x - r_0) where δ(xr0)\delta(x - r_0) denotes the time-independent Dirac delta distribution centered at r0r_0.

theorem

The electromagnetic potential of a 1D point particle is an extremum of the action

#oneDimPointParticle_isExterma

In a one-dimensional free space F\mathcal{F} with magnetic permeability μ0\mu_0 and speed of light cc, let AA be the distributional electromagnetic 4-potential of a stationary point particle with charge qq at position r0r_0, and let JJ be the corresponding distributional Lorentz current density defined by J=(cqδr0)e0J = (cq \delta_{r_0}) \mathbf{e}_0. This theorem states that AA is an extremum of the electromagnetic action for the source JJ, which is equivalent to saying that the variational gradient of the electromagnetic Lagrangian density L\mathcal{L} vanishes: δLδA=0\frac{\delta \mathcal{L}}{\delta A} = 0 In physical terms, this confirms that the electromagnetic potential of the 1D stationary point particle satisfies the distributional Maxwell equations.