Arxiv:1912.11851V3 [Gr-Qc] 25 Apr 2021 Relativity
Total Page:16
File Type:pdf, Size:1020Kb
1 Electromagnetism in Curved Spacetimes: Coupling of the Doppler and Gravitational Redshifts Cameron R. D. Bunney, Gabriele Gradoni, Member, IEEE Abstract—We present the basic prerequisites of electromag- tensor, we are able to simplify Einstein’s field equations to netism in flat spacetime and provide the description of elec- the Maxwell-Einstein field equations. We then discuss the tromagnetism in terms of the Faraday tensor. We generalise Lorenz gauge and the canonical wave equation in this theory, electromagnetic theory to a general relativistic setting, introduc- ing the Einstein field equations to describe the propagation of yielding the de Rham wave equation. We provide a solution to electromagnetic radiation in curved space-time. We investigate this, as in [14], through the geometrical optics approximation. gravitational redshift and derive formulae for the combined The discussion again moves to discuss electrodynamics in effect of gravitational redshift and the Doppler shift in curved curved spacetimes. Key concepts such as the four-velocity spacetime. and proper time are explained, leading to the key dynamical Index Terms—Dipole Antennas, Doppler Effect, Electromag- equation of motion. Changing from Euclidean space to a curved netic Propagation, Formal Concept Analysis, Lorentz Covariance spacetime, the geodesic equation is found in an approximated form. We investigate the dipole radiation in [7] as motivation to study the propagation of radiation in curved spacetimes, I. INTRODUCTION giving an analysis of the geodesics that light and therefore The general relativistic treatment of electromagnetism is electromagnetic waves travels along in a general, spherically typically developed by promoting Minkowski spacetime to a symmetric spacetime. We further the study of null ray solutions general, possibly curved, spacetime, which is more physically to the calculation for non-radial null rays. This investigation relevant since matter curves spacetime in the universe. allows us to delve into gravitational redshift, re-deriving a well- The current pedagogical works on relativistic electrodynam- known approximation [3], the redshift of light sent between two ics come from two points of view: the first is for those with a stationary observers. We then derive results for the redshift of background in electromagnetism and deals with introductory light experiencing both gravitational redshift and the Doppler special relativity; the second is for those with a background in shift, sent between two observers which may be in 1) radial gravity, which studies curved spacetimes and general relativity, motion, or 2) a combination of both radial and azimuthal with examples involving electromagnetism. The aim of this motion. article is to review these two areas as a joint theory for the applied electromagnetism audience. II. ELECTROMAGNETISM IN FLAT SPACETIME We begin by briefly recalling Maxwell’s equations with We begin by introducing index notation; the language p of relativity relies on this to condense equations. Without c = 1= "0µ0 = 1 and with metric convention (−; +; +; +) this notation, the Einstein field equations would instead be in flat spacetime, meaning that all line elements/metrics will 2 2 2 written as 10 separate partial differential equations, as opposed be of the form ds = −F (x)dt + dsspace, where F (x) is to a single equation. We then present the reformulation of some function of potentially all coordinates. We use c = 1, electrodynamics in terms of the Faraday tensor, an object key natural units, to drop prefactors of c, which can be restored to all relativistic electrodynamics. After a small exposition via dimensional analysis. In particular for electromagnetism in of electromagnetism in flat spacetime, we begin with general flat spacetime, we consider Minkowski space in coordinates with line element ds2 = −dt2 + dx2 + dy2 + dz2. This leads arXiv:1912.11851v3 [gr-qc] 25 Apr 2021 relativity. Generalisations of the derivative to the covariant derivative and the process of minimal coupling are introduced, to ρ bringing Maxwell’s equations in terms of the Faraday tensor to r · E = ; r · B = 0; general relativistic form. Curvature is introduced and motivated "0 by comparison of Schwarz’s theorem for second partial @B @E r × E = − ; r × B = µ J + : derivatives to its covariant form, which doesn’t hold in general. @t 0 @t We present the energy-momentum tensor, an object at the heart of general relativity, coupling matter to electrodynamics. This A. Index Notation tensor, when specialised to electromagnetism, includes the By defining a so-called four-current, J µ = (ρ, J)µ, introduc- Poynting vector and the Maxwell stress tensor, among other ing the derivative notation @µ = (@t; r)µ and the Levi-Civita physical quantities that are relevant in the Einstein equations. symbol, one reformulates Maxwell’s equations into a compact Due to properties of the electromagnetic energy-momentum form. The Levi-Civita symbol, also known as the alternating tensor is defined to be Cameron R. D. Bunney is with the School of Mathematical Sciences, 8 University of Nottingham (e-mail: [email protected]). >1 if ijk an even permutation of 123; Gabriele Gradoni is with the School of Mathematical Sciences, University ijk < of Nottingham and George Green Institute for Electromagnetics Research, " = −1 if ijk an odd permutation of 123; University of Nottingham (e-mail: [email protected]). :>0 otherwise. 2 ρ An even permutation is where cyclic permutations of (123) where δµ is the Kronecker delta, serving as the index equivalent are performed, whereas odd permutations involve flipping two of the identity matrix. One can intuitively think of this in elements, then followed by cyclic permutation, (132). Index, or terms of matrices. Consider matrices A and B, then (AB)ij = P suffix notation, is a way of writing equations without writing k AikBkj. The use of Einstein summation follows exactly out sums explicitly. The general rule is that if an index is in what we would expect. both the upper and lower positions, one goes ahead ans sums In relativity, keeping track of indices is important such as over it. Usually, Roman indices run from 1 to 3, and Greek whether an index is up or down. The act of moving an index run from 0 to 3. The cross product between two vectors can from down to up is called raising and vice versa is called µ be written as lowering. Consider A and Bµ, we raise and lower as follows: i ijk (a × b) = " ajbk: µ ν µν Aν := gµν A ;B := g Bµ: This can be verified using the definition of the Levi-Civita symbol above. One may then write the differential operations The power of writing the potentials in one four-potential is in of curl and divergence using this convention. These can be an object defined as applied to rewrite out the Maxwell equations in index form µν µ ν ν µ 0 F = @ A − @ A : (3) i J i @iE = ;@iB = 0; "0 ijk i ijk i i This (2; 0)-antisymmetric tensor is called the Faraday tensor " @jEk = −@0B ;" @jBk = µ0J + @0E : and has components i Remark. Partial derivatives are denoted @ = @=@x . µν i 0 0 E1 E2 E3 1 1 3 2 µν B−E 0 B −B C νµ F = B C = −F ; B. Faraday Tensor @−E2 −B3 0 B1 A 3 2 1 Since the divergence of the magnetic field is always zero, −E B −B 0 one may write this in terms of a vector potential, and Maxwell’s equations may be reduced down to two using B = r × A: (1) the Faraday tensor, νµ ν Similarly, one may write @µF = µ0J ; (4) @ @ F = 0: (5) E = −rφ − A: (2) [σ µν] @t Both fields are fully described by using only a vector and a Here, the square brackets represent the anti-symmetrisation of scalar potential. One may consider combining both potentials the tensor. On a (0; n)-tensor, this is defined as to make a four-potential to be a possible tool to describing 1 electromagnetism in a relativistic notation: A[α α ...α ] = (Aα1α2...αn + Aα2...αnα1 1 2 n n! µ µ + ::: All even permutations A = (φ, A) ;Aµ = (−φ, A)µ: − Aα α ...α − Aα ...α α Minkowski space, as before, has the line element (in coordinates 2 1 n 1 n 2 (t; x; y; z)) ds2 = −dt2 + dx2 + dy2 + dz2, which can be − ::: All odd permutations): compactly written as ds2 = η dxµdxν with η a diagonal µν µν The symmetrisation can be similarly defined by writing matrix, ηµν = diag(−1; 1; 1; 1)µν . One often calls ηµν the 2 A(α1α2...αn) and changing the signs on the odd permutations metric as ds and ηµν can be derived from each other. 2 µ ν to "+" signs. In particular, in the equation above, we have For general spacetimes, one writes ds = gµν dx dx as a convention. Here, gµν when considered as a matrix is a 1 @ F = (@ F + @ F + @ F symmetric matrix. Objects with two indices can be written [σ µν] 3! σ µν µ νσ ν σµ as matrices and objects with one index can be written as −@ν Fµσ − @µFσν − @σFνµ): row or column vectors. An object with indices is a tensor if it obeys a certain transformation law which can be found Remark. It is very common to use ηµν = in any introductory general relativity textbook, including [5]. diag(1; −1; −1; −1)µν instead as a metric. In this case Whether a tensor has indices up, down, or both, determines this would have its own Faraday tensor. The relationship µ the nomenclature surround it. For example an example C between the Faraday tensor used here and the other convention µ is a (1; 0)-tensor, whereas Cµ is a (0; 1)-tensor and Cν is a is (1; 1)-tensor, if these three objects obey the right transformation µν µν µν F = −F ; rules.