Electromagnetic tensor

The electromagnetic tensor , or tensor of Maxwell is the name of the mathematical object (a Tenseur) describing the structure of the electromagnetic Champ in a given point.

Definition

This tensor is defined within the framework of the mathematical formalism of the restricted Relativité, where with three space dimensions is assistant a temporal dimension. The objects vectorial S thus have four components, one thus speaks about Quadrivecteur. The electromagnetic tensor can be seen like a matrix 4× 4, of which elements are determined by a Quadrivecteur called Potentiel vector, usually noted has . The tensor of Maxwell, usually noted F is given by the formula

F_ {ab} = \ partial_a A_b - \ partial_b A_a.
This tensor is antisymmetric and of null trace.

Expression of the components

The electromagnetic tensor makes it possible to reconsider the Force of Lorentz being exerted on a particle charged. This force, F has as an expression

{\ mathbf {F}} = Q {\ mathbf {E}} + Q {\ mathbf {v}} \ wedge {\ mathbf {B}} .
In restricted relativity, its expression becomes
f^a = Q F^a {} _b u^b,
where U is the Quadrivitesse of the particle considered. This makes it possible to reconstitute the components of the tensor of Maxwell in a system of Cartesian Coordonnées:
F^a {} _b = \ left (\ begin {array} {rrrr}
0 & \ frac {1} {c^2} E^x & \ frac {1} {c^2} E^y & \ frac {1} {c^2} E^z \ \ E^x & 0 & B^z & - B^y \ \ E^y & - B^z & 0 & B^x \ \ E^z & B^y & - B^x & 0 \ end {array} \ right) . The expression of the components F depends on the Convention of signature of metric the used. On the assumption that this one is of the type (+---), there is
F_ {ab} ^ {(+---)} = \ left (\ begin {array} {rrrr}
0 & E^x & E^y & E^z \ \ - E^x & 0 & - B^z & B^y \ \ - E^y & B^z & 0 & - B^x \ \ - E^z & - B^y & B^x & 0 \ end {array} \ right) . In the opposite case, with convention (- +++), there is
F_ {ab} ^ {(- +++)} = \ left (\ begin {array} {rrrr}
0 & - E^x & - E^y & - E^z \ \ E^x & 0 & B^z & - B^y \ \ E^y & - B^z & 0 & B^x \ \ E^z & B^y & - B^x & 0 \ end {array} \ right) . The difference between these two notations disappears if one expresses the fields electric E and magnetic B according to the potential vector. The expression of F corresponds to
F_ {xy} = \ partial_x A_y - \ partial_y A_x.
In convention (- +++), that also corresponds to
F^ {(- +++)}_ {xy} = \ partial_x A^y - \ partial_y A^x.
This expression corresponds to the component according to Z of rotational three-dimensional of has , which corresponds, according to the Maxwell's equations with B Z , in accordance with the expression of F in convention (- +++). In the same way, in convention (+---), there is
F^ {(+---)}_ {xy} = \ partial_y A^x - \ partial_x A^y,
who corresponds according to what precedes with - B Z . In a similar way, there is
F_ {xt} = \ partial_x A_t - \ partial_t A_x.
In convention (- +++), this is written
F^ {(- +++)}_ {xt} = - c^2 \ partial_x A^t - \ partial_t A^x,
and thus corresponds to the component of E according to X , if one compares the electric Potentiel V to C 2 has T , whereas in convention (+---), there is
F^ {(+---)}_ {xt} = c^2 \ partial_x A^t + \ partial_t A^x,
who corresponds well to - E X .

The components contravariantes are expressed in the same way:

F^ {ab} {} ^ {(+---)} = \ left (\ begin {array} {rrrr}
0 & - \ frac {1} {c^2} E^x & - \ frac {1} {c^2} E^y & - \ frac {1} {c^2} E^z \ \ \ frac {1} {c^2} E^x & 0 & - B^z & B^y \ \ \ frac {1} {c^2} E^y & B^z & 0 & - B^x \ \ \ frac {1} {c^2} E^z & - B^y & B^x & 0 \ end {array} \ right) , and
F^ {ab} {} ^ {(- +++)} = \ left (\ begin {array} {rrrr}
0 & \ frac {1} {c^2} E^x & \ frac {1} {c^2} E^y & \ frac {1} {c^2} E^z \ \ - \ frac {1} {c^2} E^x & 0 & B^z & - B^y \ \ - \ frac {1} {c^2} E^y & - B^z & 0 & B^x \ \ - \ frac {1} {c^2} E^z & B^y & - B^x & 0 \ end {array} \ right) .

Dual tensor

The electromagnetic tensor being antisymmetric, it is about a Bivecteur. It is possible to deduce its dual bivector from it, F

  • , by the formula
    F^*_ {ab} = \ frac {1} {2} \ epsilon_ {abcd} F^ {Cd} ,
    where ε is the Tenseur of Levi-Civita, which gives
    F_ {ab} ^ {* \; (+---)} = \ left (\ begin {array} {rrrr}
    0 & C B^x & C B^y & C B^z \ \ - C B^x & 0 & \ frac {1} {C} E^z & - \ frac {1} {C} E^y \ \ - C B^y & - \ frac {1} {C} E^z & 0 & \ frac {1} {C} E^x \ \ - C B^z & \ frac {1} {C} E^y & - \ frac {1} {C} E^x & 0 \ end {array} \ right) , and
    F_ {ab} ^ {* \; (- +++)} = \ left (\ begin {array} {rrrr}
    0 & - C B^x & - C B^y & - C B^z \ \ C B^x & 0 & - \ frac {1} {C} E^z & \ frac {1} {C} E^y \ \ C B^y & \ frac {1} {C} E^z & 0 & - \ frac {1} {C} E^x \ \ C B^z & - \ frac {1} {C} E^y & \ frac {1} {C} E^x & 0 \ end {array} \ right) .

    In both cases, the operation of dualisation makes it possible to transform the electric field E into C B and the magnetic field B in - E / C .

    Mathematical aspects

    Mathematically, the tensor of Maxwell can be seen as the Dérivée external of has , which one can note in the form compacts

    F = {\ rm D} A.
    So the tensor of Maxwell can be defined by another potential vector, A' , defined by
    A'_a = A_a + \ partial_a \ phi,
    or, more simply,
    A' = has + {\ rm D} \ phi,
    because the derivative external second of a quantity is null by definition. This property, the fact that the tensor of Maxwell is defined in a transformation close to the potential vector, is called Invariance of gauge.

    Maxwell's equations

    The two Maxwell's equations without source ( \ nabla \ cdot {\ mathbf {B}} = 0 and \ nabla \ wedge {\ mathbf {E}} = - \ partial {\ mathbf {B}}/\ partial t) can be combined in only one very simple equation, namely

    {\ rm D} F = 0,
    who rises itself owing to the fact that F is already an external derivative, that the derivative external of an external derivative is identically null.

    The two equations implying the presence of loads, {\ rm div} {\ mathbf {E}} = \ rho/\ epsilon_0 and {\ rm belch} {\ mathbf {B}} = \ mu_0 {\ mathbf {J}} + (1/c^2) \ partial {\ mathbf {E}}/\ partial t, can then be rewritten in the unified form

    {} ^* {\ rm D} F^* = \ frac {J} {\ epsilon_0} ,
    where J is the quadrivector of the electric current.

    See too

    Random links:Zygomycota | Equip with Chad of football | Plerneuf | List episodes of Alias | Stefan Dohr | Bagagiste_normand