Docsity
Inicia sesiónRegístrate
Docsity
Prepara tus exámenes
Prepara tus exámenes

Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity

Consigue puntos base para descargar
Consigue puntos base para descargar

Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium

Orientación Universidad
Orientación Universidad
Vende en Docsity
Vende en Docsity
Inicia sesiónRegístrate

Prepara tus exámenes

Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity

Busca documentos

Prepara tus exámenes con los documentos que comparten otros estudiantes como tú en Docsity

Busca documentos en el Store

Los mejores documentos en venta realizados por estudiantes que han terminado sus estudios

Video Cursos

Estudia con lecciones y exámenes resueltos basados en los programas académicos de las mejores universidades

Quiz

Responde a preguntas de exámenes reales y pon a prueba tu preparación

Busca entre todos los recursos para el estudio
Docsity AINEW

Resume tus documentos, hazles preguntas, conviértelos en quiz y mapas conceptuales

Ver preguntas

Despeja tus dudas leyendo las respuestas a las preguntas que realizaron otros estudiantes como tú

Consigue puntos base para descargar

Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium

Compartir documentos
download point icon20 Puntos

Por cada documento subido

Responde a las preguntas
download point icon5 Puntos

por cada respuesta dada (máx. 1 al día)

Todos los modos para conseguir puntos gratis
Consigue puntos de inmediato

Elige un plan Premium con todos los puntos que necesitas.

Oportunidades de estudio

Elige tu próximo programa de estudio

Ponte en contacto inmediatamente con las mejores universidades del mundo. Busca entre miles de universidades en todo el mundo. Busca entre miles de universidades partner oficiales

Comunidad

Pregúntale a la comunidad

Pide ayuda a la comunidad y resuelve tus dudas de estudio

Ranking de las universidades

Descubre las mejores universidades de tu país según los usuarios de Docsity

Ebooks gratuitos

¡Nuestros e-books salva-estudiantes!

Descarga nuestras guías gratuitas sobre técnicas de estudio, métodos para controlar la ansiedad y consejos para la tesis preparadas por los tutores de Docsity

Del blog

Actualidad
Becas y ayuda
Ve al blog

Covariant Geometry and Lorentz Transformations, Apuntes de Electromagnetismo

Instituto de Ciencias AvanzadasElectromagnetismo

Apuntes de teoría electromagnética

Tipo: Apuntes

2020/2021

Subido el 24/03/2021

bryan-garcia-miramontes
bryan-garcia-miramontes 🇲🇽

5 documentos

1 / 9

Toggle sidebar

Esta página no es visible en la vista previa

¡No te pierdas las partes importantes!

bg1
Lecture 13 Notes, Electromagnetic Theory II
Dr. Christopher S. Baird, faculty.uml.edu/cbaird
University of Massachusetts Lowell
1. Covariant Geometry
- We would like to develop a mathematical framework in which Special Relativity can be
applied more naturally.
- The Lorentz transformations were derived from Einstein's principle of relativity:
c2t'2− x'2y'2z'2=c2t2− x2y2z2
- This means that all the terms on the left always equal the same scalar no matter what frame of
reference we are in. This value is invariant under Lorentz transformations.
- In regular three-dimensional Galilean relativity, the dot product of two position vectors is
invariant under transformations.
Define the 4-vector (covariant) geometry as the set of rules that lead to the dot product of
any two 4-vectors being invariant under Lorentz transformations.
- If we designate the column 4-vector Aμ as a “covariant” vector (where covariant implies that
its dot product does not change under Lorentz transformations), then to form a dot product we
must multiply by a row vector. Let us write the row 4-vector as Aμ and call it a “contravariant”
vector to imply that it is dotted against the covariant vector.
- The label μ on the vector is an index that runs from 0 to 3, specifying the t, x, y, and z
components of the 4-vector. Note the convention that when we are indexing a four-vector, we
use Greek letters such as μ, ν, etc. , but when we are indexing a three-component vector, we use
Latin letters such as i, j, k.
- Using this notation, the dot product of two four-vectors looks like this:
∑
μ=0
3
AμAμ
- Note that if we recognize two 4-vectors with the same index as a dot product, the summation
symbol is unnecessary. We drop the summation symbol with the understanding that repeated
indices always means summation over all values of the index (this is called Einstein notation).
AμAμ=∑
μ=0
3
AμAμ
- Note that repeated indices only imply summation if they are on the same side of the equals
sign. If they are on opposite sides, then repeated indices represent the matching up of
components.
- Assume we know the contravariant vector. What does its corresponding covariant vector look
like?
- Let us look at the spacetime coordinate 4-vector xμ = (ct, x, y, z). We know what its dot product
pf3
pf4
pf5
pf8
pf9

Vista previa parcial del texto

¡Descarga Covariant Geometry and Lorentz Transformations y más Apuntes en PDF de Electromagnetismo solo en Docsity!

Lecture 13 Notes, Electromagnetic Theory II

Dr. Christopher S. Baird, faculty.uml.edu/cbaird University of Massachusetts Lowell

1. Covariant Geometry - We would like to develop a mathematical framework in which Special Relativity can be applied more naturally. - The Lorentz transformations were derived from Einstein's principle of relativity: c 2 t ' 2 − x ' 2  y ' 2  z ' 2 = c 2 t 2 − x 2  y 2  z 2  - This means that all the terms on the left always equal the same scalar no matter what frame of reference we are in. This value is invariant under Lorentz transformations. - In regular three-dimensional Galilean relativity, the dot product of two position vectors is invariant under transformations. Define the 4-vector (covariant) geometry as the set of rules that lead to the dot product of any two 4-vectors being invariant under Lorentz transformations. - If we designate the column 4-vector Aμ as a “covariant” vector (where covariant implies that its dot product does not change under Lorentz transformations), then to form a dot product we must multiply by a row vector. Let us write the row 4-vector as Aμ^ and call it a “contravariant” vector to imply that it is dotted against the covariant vector. - The label μ on the vector is an index that runs from 0 to 3, specifying the t , x , y , and z components of the 4-vector. Note the convention that when we are indexing a four-vector, we use Greek letters such as μ , ν, etc. , but when we are indexing a three-component vector, we use Latin letters such as i , j , k. - Using this notation, the dot product of two four-vectors looks like this: ∑ μ= 0 3 A μ A μ - Note that if we recognize two 4-vectors with the same index as a dot product, the summation symbol is unnecessary. We drop the summation symbol with the understanding that repeated indices always means summation over all values of the index (this is called Einstein notation). A μ A μ =∑ μ= 0 3 A μ A μ - Note that repeated indices only imply summation if they are on the same side of the equals sign. If they are on opposite sides, then repeated indices represent the matching up of components. - Assume we know the contravariant vector. What does its corresponding covariant vector look like? - Let us look at the spacetime coordinate 4-vector xμ^ = ( ct , x , y , z ). We know what its dot product

should look like: xx = c 2 t 2 − x 2 − y 2 − z 2

  • The only way this is possible is if we define the covariant vector as xμ = ( ct , - x , - y , - z ).
  • In general then we define the dot product of any two 4-vectors as the product of one in covariant form and the other in contravariant form, where the two forms are related to each other by a sign change of the spatial components: A μ B μ = A 0 B 0 − A 1 B 1 − A 2 B 2 − A 3 B 3 and A μ^ A μ = A 02 − A 12 − A 22 − A 32
  • Can we mathematically express the relationship between a contravariant vector and its corresponding covariant vector? The metric tensor (similar to a matrix) gμν accomplishes this. -Notice that it has two Greek indices, so it is a two-dimensional tensor with 16 components total. x = g (^)  x  where g μ ν= [

]

  • Let us expand this to get a feel for what this notation means: x =∑ = 0 3 g   xx μ= g μ 0 x (^0 )+ g μ 1 x (^1 )+ g μ 2 x (^2 )+ g μ 3 x (^3 ) or x 0 = g 0 0 x ( 0 ) + g 0 1 x ( 1 ) + g (^) 0 2 x ( 2 ) + g 03 x ( 3 ) and x 1 = g (^) 10 x ( 0 ) + g 1 1 x ( 1 ) + g 1 2 x ( 2 ) + g 1 3 x ( 3 ) and x 2 = g 2 0 x ( 0 ) + g 2 1 x ( 1 ) + g 2 2 x ( 2 ) + g 2 3 x ( 3 ) and x 3 = g (^) 3 0 x ( 0 ) + g (^) 31 x ( 1 ) + g 3 2 x ( 2 ) + g 3 3 x ( 3 )
  • Plugging in the actual values for the various components of g , these four equations become: x 0 = x ( 0 ) and x 1 =− x ( 1 ) and x 2 =− x ( 2 ) and x 3 =− x ( 2 )

F

α β

[

F

00 F 01 F 02 F 03 F 10 F 11 F 12 F 13 F 20 F (^) 21 F 22 F 23 F 30 F (^) 31 F 32 F

33 ]^

and F (^) αβ=

[

F

00 − F 01 − F 02 − F 03 − F 10 F (^) 11 F 12 F 13 − F 20 F (^) 21 F 22 F 23 − F 30 F (^) 31 F 32 F

33 ]

2. Covariant Lorentz Transformation - With our geometry now defined, we can write the Lorentz transformation in covariant notation as: x '  =  x  - The Lorentz transformation tensor Λ transforms the spacetime coordinates x in frame K to the corresponding coordinates x ' in frame K '. - This can be represented in matrix notation as:

[

c t ' x ' y ' z '

]

[

][

c t x y z

]

  • For a frame traveling in the x direction, this becomes:

[

c t ' x ' y ' z '

]

[

γ −β γ 0 0 −β γ γ 0 0 0 0 1 0 0 0 0 1

][

c t x y z

]

where γ=^

√^1 − v 2 / c 2 and^ β= v^ /^ c

  • The time-like,time-like component of the Lorentz transformation accounts for pure time dilation.
  • The space-like,space-like component accounts for pure length contraction.
  • The space-like,time-like and the time-like,space-like components account for temporal and spatial origin shifting, which includes time dilation and length contraction effects.
  • Einstein's principle of relativity can now be written: xx = x '  x '
  • Apply the Lorentz transformation to both vectors on the right side: x μ x μ=Λν μ x ν Λμ λ x λ
  • The power of this notation is that the indices preserve the order of operation, which is necessary in matrix algebra, even if we switch the order of the symbols:

Λν μ x ν = x ν Λν μ which both mean [

][ c t x y z ]

  • Using this property, we change the dot product of the coordinate 4-vectors to: x μ x μ= x ν Λν μ Λμ λ x λ
  • When first deriving Einstein's relativity, we required all inertial frames to be physically equivalent and that lead to the law of reciprocity. The mathematical statement of reciprocity in 4-vector notation is:    (^)   = 
  • You can check this for yourself by writing out the Lorentz transformation in matrix form, multiplying it by itself (being careful to use the covariant geometry notation rules) and you end up with the identity matrix.
  • Using this relation, we finally have x ^ x  = x ^ x
  • We have arrived at a tautology, indicating that our notation is self-consistent and that the dot product of two 4-vectors is indeed the same in all frames.
  • In the language of covariant geometry, we can have covariant/contravariant tensors of different rank, but each transforms from frame to frame according to the Lorentz transformation applied to each dimension.
  • The Lorentz operator is applied the number of times equal to the tensor's rank (number of dimensions).
  • A rank-zero contravariant tensor is just a scalar and the Lorentz operator is applied zero times, thus a scalar is the same in all frames.
  • A rank-one contravariant tensor is a 4-vector with four elements and the Lorentz operator is applied once in the same way it is applied to the coordinate 4-vector: A '  =  A
  • A rank-two contravariant tensor is a tensor with 16 elements and the Lorentz operator is applied twice to transform to a new frame: F ' αβ =Λμ α Λν β F μ ν 3. Covariant Differentiation
  • We wish to organize physical properties and mathematical operations into covariant tensors. Once that is accomplished we will know how any other variable transforms simply by constructing it from covariant tensors and applying the rules above.
  • Let us start with the partial derivative.

4. Covariant Electrodynamics - The 4-divergence equation above looks like the charge-current continuity equation: ∂ ∂ t

∇⋅ J = 0

  • If we make the identification A 0 = cρ and A = J , then we end up with the 4-divergence equation. These components thus form a 4-vector which we call the charge-current 4-vector: J μ =( c ρ , J ) and the continuity equation becomes: ∂ μ J (^) μ = 0
  • The wave equation in the Lorenz gauge for the electromagnetic vector potential A and scalar potential ϕ are, in Gaussian units: [

c 2

2 ∂ t

2 −∇^

2 ]

A =

c

J

[

c 2

2 ∂ t

2 −∇^

2 ] = 4   (^) where

c

∂ t

∇⋅ A = 0

  • We already formed the charge and current density into a 4-vector and the wave operator into the dot product of two derivative 4-vectors. The remaining pieces should thus form another four-vector. The Lorenz condition on the right reduces to ∂  A  = 0 if we form the electromagnetic potential 4-vector: A μ =(Φ , A ) The wave equations then reduce to: ∂ μ ∂μ A α = 4 π c

J

α Wave Equations in Terms of Potentials

  • The fields are expressed in terms of the potentials as: E =−

c

∂ A

∂ t

B =∇ × A

  • Let us expand these into components and try to use the covariant notation:

E (^) x =− ∂ Ax c ∂ t

∂ x , E (^) y =− ∂ Ay c ∂ t

∂ y , E (^) z =− ∂ Az c ∂ t

∂ z E (^) x =−

∂ A

1 ∂ x 0

∂ A

0 ∂ x 1 , E^ y =−^

∂ A

2 ∂ x 0

∂ A

0 ∂ x 2 , E^ z =−^

∂ A

3 ∂ x 0

∂ A

0 ∂ x 3 E (^) x =−∂ 0 A 1 −∂ 1 A 0  , E (^) y =−∂ 0 A 2 −∂ 2 A 0  , E (^) z =−(∂ 0 A 3 −∂ 3 A 0 ) and Bx = ∂ Az ∂ y

∂ Ay ∂ z , By = ∂ Ax ∂ z

∂ Az ∂ x , Bz = ∂ Ay ∂ x

∂ Ax ∂ y Bx =−

∂ A

3 ∂ x 2

∂ A

2 ∂ x 3 , By =−

∂ A

1 ∂ x 3

∂ A

3 ∂ x 1 , Bz =−

∂ A

2 ∂ x 1

∂ A

1 ∂ x 2 Bx =− ∂ 2 A 3 −∂ 3 A 2  ,^ By =− ∂ 3 A 1 −∂ 1 A 3  ,^ Bz =− ∂ 1 A 2 −∂ 2 A 1 

  • We may be tempted at this point to try to form 4-vectors out of the electric and magnetic field components. But it should be obvious from the forms above that the electric and magnetic field are connected and must be part of the same object. The six components will not fit in a 4-vector, so we must put them in a second-rank covariant tensor. Let us call it the field-strength tensor F.
  • The six equations above for the six components of the electromagnetic field can each be set to one component of the field-strength tensor. F 01 =∂ 0 A 1 −∂ 1 A

F

02 =∂ 0 A 2 −∂ 2 A

F

03 =∂ 0 A 3 −∂ 2 A 0 F 23 =∂ 2 A 3 −∂ 3 A

F

13 = ∂ 1 A 3 −∂ 3 A

F

12 = ∂ 1 A 2 −∂ 2 A 1 where F^01 = - Ex , F^02 = - Ey , F^03 = - Ez , F^23 = - Bx , F^13 = By , and F^12 = - Bz

  • We can now write each component in compact form as: F α β =∂ α A β −∂ β A α
  • This approach has told us the six meaningful components of the field strength tensor. But what are the other components?
  • First note that switching the order of the indices on F just switches the sign of the right hand side, so that Fαβ^ = - Fβα. This tells us that the tensor is antisymmetric, and we therefore now know six more of its elements. The final four elements are the diagonal elements. Its easy to show: F   =∂  A  −∂  AF   = 0
  • We now know all components of the field strength tensor: