Physlib.Electromagnetism.Kinematics.MagneticField
30 declarations
For an electromagnetic potential and a given speed of light , the magnetic field is equal to the curl of the vector potential . That is, for any time and spatial position , the field is given by:
For an electromagnetic potential and a speed of light , let be the magnetic field at time and spatial position , and let be the field strength matrix (Faraday tensor). If is differentiable, then the first component (the -component) of the magnetic field is equal to the negative of the spatial component of the field strength matrix: Here, the index of the magnetic field corresponds to the -direction, and the indices and of the spatial part of the field strength matrix correspond to the and directions, respectively.
The second component of the magnetic field equals the field strength matrix component
#magneticField_snd_eq_fieldStrengthMatrixFor an electromagnetic potential and a given speed of light , let be the associated magnetic field and be the field strength matrix (Faraday tensor). If is differentiable, then the second component of the magnetic field at time and spatial position is equal to the entry of the field strength matrix corresponding to the first and third spatial indices. Mathematically, this is expressed as: where is the coordinate in spacetime, and indices represent the spatial dimensions.
Let be the speed of light and be a differentiable electromagnetic potential. For any time and spatial position , the third component of the magnetic field is equal to the negative of the component of the field strength matrix corresponding to the first and second spatial indices. That is, where the indices and on the right-hand side refer to the first two spatial dimensions in the spacetime index set.
The divergence of the magnetic field is zero ()
#magneticField_div_eq_zeroLet be an electromagnetic potential that is twice continuously differentiable () with respect to the real numbers. For any given time , the spatial divergence of the magnetic field at that time is zero. That is: where is the magnetic field defined by the curl of the vector potential associated with .
Components of the Field Strength Matrix in terms of and
#fieldStrengthMatrix_eq_electric_magneticLet be the speed of light and be a differentiable electromagnetic potential. For any time and spatial position , the field strength matrix (Faraday tensor) at the spacetime point is expressed in terms of the components of the electric field and the magnetic field as follows: 1. The time-time component is zero: . 2. The time-space and space-time components are given by the electric field: and for . 3. The spatial components for are given by: Specifically: - - - -
Components of the Faraday tensor at spacetime point in terms of and
#fieldStrengthMatrix_eq_electric_magnetic_of_spaceTimeLet be the speed of light and be a differentiable electromagnetic potential. For any point in spacetime, let be the corresponding time and spatial coordinates. The components of the field strength matrix (Faraday tensor) at the point are determined by the electric field and the magnetic field according to the following relations: 1. The temporal component is zero: . 2. The mixed temporal-spatial components are given by the electric field: and for . 3. The spatial components for form the following antisymmetric matrix: Specifically, , , , and the diagonal elements are zero.
The magnetic field matrix consists of the spatial components of the field strength matrix
#magneticFieldMatrix_eqFor a speed of light and an electromagnetic potential in spatial dimensions, the magnetic field matrix at time and spatial position is defined by the spatial components of the field strength matrix . Specifically, for any spatial indices , the entry is equal to the component of the field strength matrix evaluated at the spacetime point corresponding to with the indices corresponding to the -th and -th spatial components:
The spatial components of the field strength matrix equal the magnetic field matrix
#fieldStrengthMatrix_inr_inr_eq_magneticFieldMatrixFor a given speed of light and an electromagnetic potential in spatial dimensions, the spatial-spatial components of the field strength matrix at a spacetime point are equal to the components of the magnetic field matrix at the corresponding time and spatial position . Specifically, for any spatial indices , it holds that: where and .
The magnetic field matrix is antisymmetric ()
#magneticFieldMatrix_antisymmFor an electromagnetic potential in spatial dimensions and a speed of light , the magnetic field matrix evaluated at time and spatial position is antisymmetric. Specifically, for any spatial indices , the entries of the matrix satisfy:
Diagonal elements of the magnetic field matrix are zero
#magneticFieldMatrix_diag_eq_zeroFor an electromagnetic potential in spatial dimensions and a speed of light , the diagonal entries of the magnetic field matrix are zero for any time and spatial position . Specifically, for any spatial index , the entry satisfies:
Magnetic field vector in terms of the magnetic field matrix
#magneticField_eq_magneticFieldMatrixFor an electromagnetic potential in 3 spatial dimensions and a given speed of light , if is differentiable, then the magnetic field vector at time and spatial position is determined by the entries of the magnetic field matrix as follows: where the indices correspond to the three spatial dimensions.
The -th component of the curl of the magnetic field satisfies
#magneticField_curl_eq_magneticFieldMatrixFor an electromagnetic potential in 3-dimensional space that is twice continuously differentiable (), and given a speed of light , the -th component of the curl of the magnetic field at time and spatial position is equal to the sum of the partial derivatives of the entries of the magnetic field matrix with respect to the -th spatial coordinate: where is the magnetic field vector and denotes the components of the magnetic field matrix.
For an electromagnetic potential in spatial dimensions that is differentiable, and given a speed of light , the components of the magnetic field matrix at time and spatial position are given by the difference of the partial derivatives of the vector potential components: where is the -th component of the vector potential at time and position , and denotes the partial derivative with respect to the -th spatial coordinate for indices .
The Magnetic Field Matrix is if the Potential is
#magneticFieldMatrix_contDiffLet be the spatial dimension and be the speed of light. For an electromagnetic potential , if is smooth, then for any indices and , the -th component of the magnetic field matrix, , is smooth as a function of time and spatial position .
The Magnetic Field Matrix is in Space if the Potential is
#magneticFieldMatrix_space_contDiffLet be the spatial dimension and be the speed of light. For an electromagnetic potential , if is smooth, then for any fixed time and any indices and , the -th component of the magnetic field matrix, , is smooth as a function of the spatial position .
The Magnetic Field Matrix is in Time if the Potential is
#magneticFieldMatrix_time_contDiffLet be the spatial dimension and be the speed of light. For an electromagnetic potential , if is smooth, then for any fixed spatial position and any indices and , the -th component of the magnetic field matrix is smooth as a function of time .
The Magnetic Field Matrix is Differentiable for Potentials
#magneticFieldMatrix_differentiableFor a given spatial dimension and speed of light , let be an electromagnetic potential that is twice continuously differentiable () over the space-time manifold. Then, for any indices and , the -th component of the magnetic field matrix is differentiable with respect to the pair , where denotes time and denotes the spatial position.
The Magnetic Field Matrix is Spatially Differentiable for Potentials
#magneticFieldMatrix_differentiable_spaceFor a given spatial dimension and speed of light , let be an electromagnetic potential that is twice continuously differentiable (). For any fixed time and indices and , the -th component of the magnetic field matrix is differentiable with respect to the spatial position .
The Magnetic Field Matrix is Differentiable with respect to Time for Potentials
#magneticFieldMatrix_differentiable_timeFor a given spatial dimension and speed of light , let be an electromagnetic potential that is twice continuously differentiable (). Then, for any fixed spatial position and any indices and , the -th component of the magnetic field matrix is differentiable with respect to time .
Spatial derivative identity for the magnetic field matrix
#magneticFieldMatrix_space_deriv_eqFor an electromagnetic potential in spatial dimensions that is twice continuously differentiable (), let denote the components of the magnetic field matrix at time and spatial position . For any spatial indices , the following identity holds: where denotes the partial derivative with respect to the -th spatial coordinate.
Faraday's Law for the Magnetic Field Matrix:
#time_deriv_magneticFieldMatrixFor a given spatial dimension and speed of light , let be an electromagnetic potential that is twice continuously differentiable (). For any time , spatial position , and spatial indices , the time derivative of the -th component of the magnetic field matrix is given by the difference of the spatial derivatives of the electric field components: where is the -th component of the electric field at time and position , and denotes the partial derivative with respect to the -th spatial coordinate.
Second Time Derivative of the Magnetic Field Matrix:
#time_deriv_time_deriv_magneticFieldMatrixFor an electromagnetic potential in spatial dimensions that is thrice continuously differentiable (), let be the components of the magnetic field matrix and be the components of the electric field at time and spatial position . For any spatial indices , the second partial derivative of the magnetic field matrix components with respect to time is given by: where denotes the partial derivative with respect to the -th spatial coordinate and denotes the partial derivative with respect to time.
Given a spatial dimension and speed of light , let be an electromagnetic potential that is twice continuously differentiable (). For any time , spatial position , and spatial index , the divergence-like sum of the magnetic field matrix satisfies the following identity: where are the components of the magnetic field matrix, is the -th component of the electric field, and are the components of the field strength matrix. The index ranges over the spatial dimensions, while ranges over both time (index 0) and space.
Magnetic field matrix of a distributional electromagnetic potential
#magneticFieldMatrixFor a given spatial dimension and speed of light , the magnetic field matrix is a linear map that associates a distributional electromagnetic potential with a distribution mapping test functions on spacetime (Time Space ) to the tensor product space . This map is defined by extracting the spatial-spatial components of the field strength distribution . For a test function , the -th component of the resulting matrix corresponds to the distributional derivative , where and are the spatial components of the vector potential.
The Magnetic Field Matrix for Distributional Potentials
#magneticFieldMatrix_eq_vectorPotentialFor a given spatial dimension and speed of light , let be a distributional electromagnetic potential and be a test function in the Schwartz space . The magnetic field matrix distribution evaluated at is given by the sum over spatial indices : where is the -th component of the distributional vector potential, denotes the distributional partial derivative with respect to the -th spatial coordinate, and are the basis elements of the tensor product space .
for distributional potentials
#magneticFieldMatrix_basis_repr_eq_vector_potentialFor a given spatial dimension and speed of light , let be a distributional electromagnetic potential and be a test function in the Schwartz space. Let denote the magnetic field matrix distribution evaluated at . Then, for any spatial indices , the -th component of the magnetic field matrix in the standard tensor basis is given by: where is the -th component of the distributional vector potential and denotes the distributional partial derivative with respect to the -th spatial coordinate.
for distributional potentials
#magneticFieldMatrix_distSpaceDeriv_basis_repr_eq_vector_potentialFor a given spatial dimension and speed of light , let be a distributional electromagnetic potential and be a test function in the Schwartz space. Let denote the magnetic field matrix distribution associated with . For any spatial indices , the -th component of the -th distributional spatial partial derivative of the magnetic field matrix evaluated at is given by: where is the -th component of the distributional vector potential and denotes the distributional partial derivative with respect to the -th spatial coordinate.
The magnetic field matrix equals the spatial-spatial components of the field strength
#magneticFieldMatrix_basis_repr_eq_fieldStrengthFor a given spatial dimension and speed of light , let be a distributional electromagnetic potential and be a test function in the Schwartz space. For any spatial indices , the -th component of the magnetic field matrix distribution evaluated at is equal to the spatial-spatial -th component of the field strength tensor distribution evaluated at . This is expressed as: where and denote the indices in the spacetime manifold corresponding to the spatial dimensions.
The magnetic field matrix is zero in one spatial dimension ()
#magneticFieldMatrix_one_dim_eq_zeroFor a distributional electromagnetic potential in one spatial dimension () and a given speed of light , the magnetic field matrix is zero ().
