PhyslibSearch

Physlib.Electromagnetism.Current.InfiniteWire

15 declarations

definition

4-current density JJ of an infinite wire along the xx-axis carrying current II

#wireCurrentDensity

For a given speed of light cc, this linear map associates a current IRI \in \mathbb{R} with the 4-current density distribution JJ of an infinite wire positioned along the xx-axis. The wire is located at y=0y=0 and z=0z=0 in three-dimensional space. The resulting distribution JJ is steady (independent of time tt) and has a vanishing charge density component. The spatial current density is concentrated on the xx-axis, represented by a Dirac delta distribution δ(y,z)\delta(y, z) in the transverse plane. In components, the 4-current density is given by J=(0,Iδ(y,z),0,0)J = (0, I \delta(y, z), 0, 0).

theorem

The charge density ρ\rho of an infinite wire is zero

#wireCurrentDensity_chargeDesnity

For an infinite wire carrying a steady current II along the xx-axis, the associated distributional charge density ρ\rho (defined as the temporal component of the 4-current density JJ) is zero.

theorem

The xx-component of the spatial current density of an infinite wire is Iδ(y,z)I \delta(y, z)

#wireCurrentDensity_currentDensity_fst

For a given speed of light cc and current II, let JJ be the distributional 4-current density of an infinite wire aligned with the xx-axis (y=0,z=0y=0, z=0). Let j=(jx,jy,jz)\vec{j} = (j_x, j_y, j_z) be the spatial current density distribution extracted from JJ. For any Schwartz test function ηS(R×R3,R)\eta \in \mathcal{S}(\mathbb{R} \times \mathbb{R}^3, \mathbb{R}), the xx-component jxj_x evaluated at η\eta is given by: (jx,η)=Iη(t,x,0,0)dtdx(j_x, \eta) = \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} I \eta(t, x, 0, 0) \, dt \, dx This represents a steady current density jx(t,x,y,z)=Iδ(y,z)j_x(t, x, y, z) = I \delta(y, z) that is constant in time and along the direction of the wire.

theorem

The yy-component of the spatial current density of an infinite wire is zero

#wireCurrentDensity_currentDensity_snd

For a given speed of light cc, a current IRI \in \mathbb{R}, and a test function ε\varepsilon in the Schwartz space S(Time×Space3,R)\mathcal{S}(\text{Time} \times \text{Space}_3, \mathbb{R}), the yy-component (corresponding to index 1) of the distributional spatial current density j\vec{j} of an infinite wire carrying current II along the xx-axis is zero. That is, jy(ε)=0\vec{j}_y(\varepsilon) = 0.

theorem

The zz-component of the spatial current density of an infinite wire is zero (index 2)

#wireCurrentDensity_currentDensity_thrd

For a given speed of light cc, a current IRI \in \mathbb{R}, and a Schwartz test function ε\varepsilon defined on spacetime Time×Space3\text{Time} \times \text{Space}_3, the zz-component (the third spatial component, indexed by 2) of the spatial current density distribution j\vec{j} associated with an infinite wire carrying current II along the xx-axis is zero.

definition

Electromagnetic 4-potential AA of an infinite wire along the xx-axis

#infiniteWire

Given a free space F\mathcal{F} with magnetic permeability μ0\mu_0 and a current IRI \in \mathbb{R}, the electromagnetic 4-potential AA of an infinite wire carrying a steady current II along the xx-axis is defined as the distribution corresponding to the function: A(t,x,y,z)=(0,μ0I2πlog(y2+z2),0,0)A(t, x, y, z) = \left(0, -\frac{\mu_0 I}{2\pi} \log(\sqrt{y^2 + z^2}), 0, 0\right) Here, the first component represents the scalar potential VV, and the remaining three components represent the vector potential A\vec{A} in the x,y,zx, y, z directions respectively. The potential is independent of time tt and the xx-coordinate, reflecting the translational symmetry of the infinite wire.

theorem

The scalar potential of an infinite wire is zero

#infiniteWire_scalarPotential

For any free space F\mathcal{F} and any steady current IRI \in \mathbb{R}, the scalar potential VV of the electromagnetic 4-potential associated with an infinite wire carrying the current II along the xx-axis is zero.

theorem

Vector Potential A\vec{A} of an Infinite Wire along the xx-axis

#infiniteWire_vectorPotential

In a free space F\mathcal{F} with magnetic permeability μ0\mu_0, let an infinite wire carry a steady current II along the xx-axis. The vector potential A\vec{A} of the corresponding electromagnetic 4-potential distribution is constant in time and independent of the xx-coordinate. It is given by the distribution corresponding to the function: A(t,x,y,z)=(μ0I2πlog(y2+z2),0,0)\vec{A}(t, x, y, z) = \left( -\frac{\mu_0 I}{2\pi} \log(\sqrt{y^2 + z^2}), 0, 0 \right) where the vector points in the direction of the current (the xx-axis) and its magnitude depends on the distance from the wire in the yy-zz plane.

theorem

The xx-component of the vector potential A\vec{A} for an infinite wire along the xx-axis.

#infiniteWire_vectorPotential_fst

Consider a free space F\mathcal{F} with magnetic permeability μ0\mu_0 and an infinite wire carrying a steady current II along the xx-axis. Let A\vec{A} be the vector potential of the electromagnetic 4-potential distribution associated with this wire. The xx-component (the component with index 00) of this vector potential distribution, acting on a test function ηS(Time×Space3,R)\eta \in \mathcal{S}(\text{Time} \times \text{Space}^3, \mathbb{R}), is given by: Ax(η)=(constantTime(constantSliceDist0(μ0I2πlog(y2+z2))))(η) \vec{A}_x(\eta) = \left( \text{constantTime} \left( \text{constantSliceDist}_0 \left( -\frac{\mu_0 I}{2\pi} \log(\sqrt{y^2 + z^2}) \right) \right) \right) (\eta) This indicates that the xx-component of the vector potential is constant in time and along the xx-axis, and its value at any point (y,z)(y, z) in the transverse plane is proportional to log(y2+z2)\log(\sqrt{y^2 + z^2}).

theorem

The yy-component of the vector potential A\vec{A} of an infinite wire is zero

#infiniteWire_vectorPotential_snd

In a free space F\mathcal{F}, for an infinite wire carrying a steady current II along the xx-axis, the yy-component (index 1) of the vector potential distribution A\vec{A} is zero.

theorem

The zz-component of the vector potential A\vec{A} for an infinite wire along the xx-axis is 00

#infiniteWire_vectorPotential_thrd

For an infinite wire in a free space F\mathcal{F} carrying a steady current II along the xx-axis, let A\vec{A} be the magnetic vector potential distribution. The zz-component (the third component) of this vector potential is zero, i.e., Az=0A_z = 0.

theorem

The Time Derivative of the Vector Potential of an Infinite Wire is Zero

#infiniteWire_vectorPotential_distTimeDeriv

In a free space F\mathcal{F}, for an infinite wire carrying a steady current II along the xx-axis, let A\vec{A} be the associated vector potential distribution. The distributional time derivative of this vector potential is zero: At=0\frac{\partial \vec{A}}{\partial t} = 0 This reflects the fact that the electromagnetic field of a wire carrying a steady current is static.

theorem

The spatial derivative Ax\frac{\partial \vec{A}}{\partial x} of the vector potential of an infinite wire is zero

#infiniteWire_vectorPotential_distSpaceDeriv_0

In free space F\mathcal{F}, consider an infinite wire carrying a steady current II along the xx-axis. The spatial derivative of the resulting vector potential A\vec{A} with respect to the xx-coordinate is zero: Ax=0\frac{\partial \vec{A}}{\partial x} = 0 This result reflects the translational symmetry of the system along the direction of the wire.

theorem

The Electric Field of an Infinite Wire is Zero (E=0\vec{E} = 0)

#infiniteWire_electricField

For any free space F\mathcal{F} and any steady current IRI \in \mathbb{R}, the electric field E\vec{E} produced by an infinite wire carrying the current II along the xx-axis is zero: E=0\vec{E} = 0 This result is consistent with the fact that for a steady current, the scalar potential is zero and the vector potential is time-independent, leading to a vanishing electric field.

theorem

The electromagnetic 4-potential of an infinite wire is an extremum of the Lagrangian density L\mathcal{L}

#infiniteWire_isExterma

In a free space environment F\mathcal{F}, for an infinite wire carrying a steady current II along the xx-axis, the associated distributional electromagnetic 4-potential AA is an extremum of the electromagnetic Lagrangian density L\mathcal{L} with respect to the distributional 4-current density JJ. This condition, δLδA=0\frac{\delta \mathcal{L}}{\delta A} = 0, signifies that the potential AA satisfies Maxwell's equations for the source JJ.