PhyslibSearch

Physlib.Electromagnetism.Vacuum.Constant

9 declarations

definition

Electromagnetic potential for constant fields E0E_0 and B0B_0

#constantEB

Given a spatial dimension dd, a speed of light cc, a constant electric field vector E0RdE_0 \in \mathbb{R}^d, and an antisymmetric constant magnetic field matrix B0Rd×dB_0 \in \mathbb{R}^{d \times d}, the electromagnetic potential AA is defined as a function that assigns a Lorentz vector to each spacetime point xx. For a spacetime point xx with spatial components x=(x1,,xd)\mathbf{x} = (x_1, \dots, x_d), the components of the potential A(x)A(x) are given by: - The temporal component A0(x)=1cE0,xA^0(x) = -\frac{1}{c} \langle E_0, \mathbf{x} \rangle, where ,\langle \cdot, \cdot \rangle denotes the standard Euclidean inner product. - The spatial components Ai(x)=12j=1d(B0)ijxjA^i(x) = \frac{1}{2} \sum_{j=1}^d (B_0)_{ij} x_j for each i{1,,d}i \in \{1, \dots, d\}.

theorem

The Electromagnetic Potential for Constant Electric and Magnetic Fields is CC^\infty

#constantEB_smooth

Given a spatial dimension dd, a speed of light cc, a constant electric field vector E0RdE_0 \in \mathbb{R}^d, and an antisymmetric constant magnetic field matrix B0Rd×dB_0 \in \mathbb{R}^{d \times d}, the electromagnetic potential AA associated with these constant fields is infinitely continuously differentiable (CC^\infty). The potential A(x)A(x) is defined at each spacetime point xx by its temporal component A0(x)=1cE0,xA^0(x) = -\frac{1}{c} \langle E_0, \mathbf{x} \rangle and its spatial components Ai(x)=12j=1d(B0)ijxjA^i(x) = \frac{1}{2} \sum_{j=1}^d (B_0)_{ij} x_j, where x\mathbf{x} is the spatial part of xx.

theorem

The scalar potential for constant fields is ϕ(x)=E0,x\phi(\mathbf{x}) = -\langle E_0, \mathbf{x} \rangle

#constantEB_scalarPotential

For a given spatial dimension dd, speed of light cc, constant electric field vector E0RdE_0 \in \mathbb{R}^d, and antisymmetric constant magnetic field matrix B0Rd×dB_0 \in \mathbb{R}^{d \times d}, let AA be the corresponding constant electromagnetic potential. Then the scalar potential ϕ\phi associated with AA is given by the function ϕ(t,x)=E0,x\phi(t, \mathbf{x}) = -\langle E_0, \mathbf{x} \rangle, where x\mathbf{x} is the spatial position vector and ,\langle \cdot, \cdot \rangle denotes the standard Euclidean inner product.

theorem

The Vector Potential of Constant Fields is 12j(B0)ijxj\frac{1}{2} \sum_j (B_0)_{ij} x_j

#constantEB_vectorPotential

Given a spatial dimension dd, a speed of light cc, a constant electric field vector E0RdE_0 \in \mathbb{R}^d, and an antisymmetric constant magnetic field matrix B0Rd×dB_0 \in \mathbb{R}^{d \times d} (where (B0)ij=(B0)ji(B_0)_{ij} = -(B_0)_{ji}), the vector potential component A\mathbf{A} of the electromagnetic potential defined for these constant fields at any time tt and spatial position x=(x1,,xd)\mathbf{x} = (x_1, \dots, x_d) is given by: Ai(t,x)=12j=1d(B0)ijxj\mathbf{A}_i(t, \mathbf{x}) = \frac{1}{2} \sum_{j=1}^d (B_0)_{ij} x_j for each i{1,,d}i \in \{1, \dots, d\}.

theorem

The time derivative of the vector potential for constant fields is zero

#constantEB_vectorPotential_time_deriv

For a given speed of light cc, a constant electric field vector E0RdE_0 \in \mathbb{R}^d, and an antisymmetric constant magnetic field matrix B0Rd×dB_0 \in \mathbb{R}^{d \times d}, let A\mathbf{A} be the vector potential component of the electromagnetic potential defined for these constant fields. For any time tt and spatial position x\mathbf{x}, the partial derivative of the vector potential with respect to time is zero: At(t,x)=0\frac{\partial \mathbf{A}}{\partial t}(t, \mathbf{x}) = 0

theorem

The partial derivative Ajxi\frac{\partial A_j}{\partial x_i} for constant fields is 12(B0)ji\frac{1}{2} (B_0)_{ji}

#constantEB_vectorPotential_space_deriv

Consider a spatial dimension dd, a speed of light cc, a constant electric field vector E0RdE_0 \in \mathbb{R}^d, and an antisymmetric constant magnetic field matrix B0Rd×dB_0 \in \mathbb{R}^{d \times d} such that (B0)ij=(B0)ji(B_0)_{ij} = -(B_0)_{ji} for all i,j{1,,d}i, j \in \{1, \dots, d\}. Let A\mathbf{A} be the vector potential associated with the electromagnetic potential defined for these constant fields. For any time tt, spatial position x=(x1,,xd)\mathbf{x} = (x_1, \dots, x_d), and coordinate indices i,ji, j, the partial derivative of the jj-th component of the vector potential AjA_j with respect to the ii-th spatial coordinate xix_i is given by: Ajxi=12(B0)ji\frac{\partial A_j}{\partial x_i} = \frac{1}{2} (B_0)_{ji}

theorem

The electric field of the constant electromagnetic potential is E0E_0

#constantEB_electricField

For a given spatial dimension dd, speed of light cc, constant electric field vector E0RdE_0 \in \mathbb{R}^d, and antisymmetric constant magnetic field matrix B0Rd×dB_0 \in \mathbb{R}^{d \times d}, let AA be the corresponding constant electromagnetic potential. The electric field E\mathbf{E} derived from this potential AA is constant in both time and space, and is equal to E0E_0. That is, for any time tt and spatial position x\mathbf{x}, E(t,x)=E0\mathbf{E}(t, \mathbf{x}) = E_0

theorem

The Magnetic Field Matrix for the Constant E0E_0 and B0B_0 Potential is B0B_0

#constantEB_magneticFieldMatrix

Given a spatial dimension dd, a speed of light cc, a constant electric field vector E0RdE_0 \in \mathbb{R}^d, and an antisymmetric constant magnetic field matrix B0Rd×dB_0 \in \mathbb{R}^{d \times d} (where (B0)ij=(B0)ji(B_0)_{ij} = -(B_0)_{ji} for all i,j{1,,d}i, j \in \{1, \dots, d\}), let AA be the electromagnetic potential defined for these constant fields. Then, the magnetic field matrix derived from this potential AA is constant and equal to B0B_0 for all time tt and spatial position x\mathbf{x}.

theorem

The electromagnetic potential for constant E0E_0 and B0B_0 is an extremum of the vacuum action

#constantEB_isExtrema

In a dd-dimensional free space F\mathcal{F} with speed of light cc, consider a constant electric field vector E0RdE_0 \in \mathbb{R}^d and an antisymmetric constant magnetic field matrix B0Rd×dB_0 \in \mathbb{R}^{d \times d}. Let AA be the electromagnetic potential defined by these fields, where its components are given by the temporal part A0(x)=1cE0,xA^0(x) = -\frac{1}{c} \langle E_0, \mathbf{x} \rangle and the spatial parts Ai(x)=12j=1d(B0)ijxjA^i(x) = \frac{1}{2} \sum_{j=1}^d (B_0)_{ij} x_j. Then AA is an extremum of the free-space electromagnetic action for a zero Lorentz current density (J=0J = 0).