So far in my explanation of General Relativity, I’ve discussed the metric<\/a> $$g_{ab}$$, from which one can calculate the curvature tensor<\/a> $$R^{a}_{bcd}$$ by way of the connection<\/a> $$\\Gamma^{a}_{bc}$$.<\/p>\n In practical astrophysical contexts:<\/p>\n So far this is just the kinematics <\/em>of general relativity\u2014that is, what kind of entities are involved, and the basic outline of their behavior.\u00a0 For example, If I wanted to tell you the kinematics for basic Newtonian mechanics (what you learn in high school physics), I’d say that A) there are a bunch of objects which have masses and positions (and orientations if you want things to get complicated…), B) the position of an object can change with time, but its mass is “conserved” and therefore doesn’t, and C) if you want to work out the “force” of an object, you can do so using $$F = ma$$.<\/p>\n OK, so I’ve told you all about Newtonian Mechanics, and now you can go use it to solve problems, right?\u00a0 No, of course not!\u00a0 You can recite “the time-derivative of the position is the velocity, the time-derivative of the velocity is the acceleration, and the acceleration equals the force over the mass” over and over again, but it’s totally useless until I tell you what the forces actually are!\u00a0 Without that, you can’t make any predictions at all about what the objects are doing.<\/p>\n Unless you count boring predictions like “the object will be somewhere”, you need to know something else.\u00a0 This something else is called the dynamics<\/em>, which means the rules for how things actually change with time.\u00a0 (For example, if I told you that any two objects with mass $$m_1$$ and $$m_2$$ at a distance $$r$$ are gravitationally attracted towards each other’s positions, with a force that is proportional to $$F = Gm_1m_2\/r^2$$, and if you know the initial positions and velocities, then you can work out their orbits!\u00a0 At least, you can if you’re clever at math, like Newton was.)<\/p>\n So we need to write down an <\/em>equation which says how things can change with time.\u00a0 We call this the equations of motion<\/em>.\u00a0 Ever since Newton wrote down $$F = m{\\ddot x}$$ (each dot being a time derivative, so that his archnemesis Leibnitz would have written $$F = m (d^2x\/dt^2)$$ to say the same thing) we’ve realized that these equations typically involve <\/em>taking two derivatives.\u00a0 So we shouldn’t be surprised that the equation of motion for general relativity involves the curvature tensor $$R^{a}_{bcd}$$, since it’s a double derivative of the metric, which is the basic field of General Relativity.<\/p>\n To write down the equations of motion, we need to massage the curvature tensor a little bit.\u00a0 If you’ve forgotten the ground rules for tensors<\/a>, click on the link.\u00a0 We start with the the Riemann curvature tensor $$R^{a}_{bcd}$$.\u00a0 Since each of the letters is a spacetime vector index with four possible values, it looks like this has $$4 \\times 4 \\times 4 \\times 4 = 256$$ components.\u00a0 Fortunately there are a lot of symmetries and constraints, so there’s actually only 20 independent components per spacetime point.\u00a0 We can define the Ricci tensor $$R_{ab}$$ by contracting the top index with the middle index on the bottom, like so:$$!R_{ab} = R^c_{acb};$$Recall that the Einstein summation convention<\/a> says that if you ever see the same letter as both a subscript and as a superscript, you’ve got to add up all of the four possible ways for them to be the same (i.e. both 0, both 1, both 2, or both 3).\u00a0 Since the Ricci tensor is symmetric ($$R_{ab} = R_{ba}$$), it only represents 10 out of the 20 curvature components.\u00a0 If this is not enough simplification for you, we can go further by contracting again using the inverse metric<\/a>:$$!R = R_{ab} g^{ab}.$$$$R$$ is called the Ricci scalar, because it has just one component.<\/p>\n Whew!\u00a0 Without further ado, here’s the equation of motion for General Relativity, called “the Einstein equation” after you know who: $$!R_{ab} – \\tfrac{1}{2} g_{ab} R = 8\\pi G T_{ab}.$$Compact, beautiful<\/a>, and probably completely incomprehensible since I haven’t explained all of the symbols yet!<\/p>\n The 8 and the $$\\pi$$ are the same numbers which you learned about in school.\u00a0 $$G$$ is Newton’s constant, which I sneakily introduced earlier in this post.\u00a0 Note that the $$8\\pi$$ isn’t really just there for backwards compatibility with Newton’s force law.\u00a0 If Einstein’s equation had been discovered first, we would have left out the $$8\\pi$$ from it, and then we would have written the force law as $$F = G m_1 m_2\/ 8\\pi r^2$$.\u00a0 But as it is, Newton got his $$G$$ before Einstein did, so we’re stuck with it.<\/p>\n But the really important symbol here is $$T_{ab}$$.\u00a0 This is the energy-momentum tensor<\/em>, or (because why should anything have only one name!) the stress-energy<\/em> tensor.\u00a0 It’s a $$4 \\times 4$$ symmetric matrix which tells you how the energy and momentum of matter (stuff) are flowing through a given point.\u00a0 Now if you are a true Israelite in whom there is no guile, you should be asking: “What on earth (or in the heavens) are energy and momentum!\u00a0 You haven’t explained that yet!”\u00a0 No I haven’t.\u00a0 For now, let’s just say it’s a property of matter, but we will get to it in a later post.<\/p>\n The combination of curvatures $$R_{ab} – \\tfrac{1}{2} g_{ab} R$$ which appears on the left-hand-side is also known as the Einstein tensor<\/em>.\u00a0 It has the same 10 components as the Ricci tensor $$R_{ab}$$; they’re just repackaged a bit differently.\u00a0 So the Einstein equation is actually 10 equations.<\/p>\n So, if you know what the matter is doing, you can figure out something about the geometry of matter.\u00a0 At least, you can figure out the 10 of the components of the curvature which correspond to the Ricci tensor $$R_{ab}$$.\u00a0 Since the full Riemann tensor $$R_{abcd}$$ has 20 components, there are 10 components left which are undetermined.\u00a0 The remaining 10 components are called the Weyl tensor<\/em>, and can be nonzero even in regions in which there is no matter.\u00a0 That’s why there can be tidal forces outside of the surface of the sun or moon, even though there isn’t any solar or lunar matter there.\u00a0 It’s the Weyl tensor which does that.\u00a0 Also, as I wrote in Geometry is a Field<\/a>:<\/p>\n There can also be distortions of the spacetime geometry which exist independently of matter.\u00a0 These gravity waves <\/em>are to gravity what light <\/em>is to electromagnetism, ripples in the field which travel through empty space, and can be emitted and absorbed.\u00a0 The propagation of these waves is also determined by the Einstein equation.\u00a0 Since gravity comes from massive objects, gravity waves are emitted when extremely large masses oscillate, for example when two neutron stars orbit each other.\u00a0 We know gravity waves are there, but we haven’t detected them directly.\u00a0 However, we hope to detect them soon with the LIGO<\/a> experiment.<\/p><\/blockquote>\n It’s also the Weyl tensor which allows for gravity waves.<\/p>\n Clever readers may notice that I never wrote down what the Weyl tensor actually is.\u00a0 There’s a clever formula where you start with $$R^a_{bcd}$$, and then cleverly suck out all of the information about $$R_{ab}$$, and end up with the Weyl tensor $$C^a_{bcd}$$.\u00a0 But it’s a bit complicated, so don’t ask.\u00a0 The important thing is even when all of the components of $$R_{ab}$$ are zero, $$R^a_{bcd}$$ doesn’t have to be zero.<\/p>\n When we say that the Einstein equation is the “equation of motion” for General Relativity, we mean that you can use it to work out how the metric changes with time.\u00a0\u00a0 So, if you know the metric everywhere at some “time” which we will call $t = 0$ (think of this as being like the position<\/em> of the gravitational field<\/a>), and if you also know its first derivative $$\\dot{g}_{ab}$$ (think of this as being like the velocity<\/em>), and if you know what the matter is doing, then the Einstein equation (which is like the force<\/em> law) lets you work out the second derivative $$\\ddot{g}_{ab}$$.\u00a0 By continuing to apply the Einstein equation, you can work out the value of the metric for all time!<\/p>\n Well, not quite.\u00a0 Remember that coordinates don’t matter<\/a>!\u00a0 This means that we can’t actually hope to totally determine the metric, since if we start with a metric which obeys the Einstein equation, and distort it by changing the coordinate system, we get an equally good solution to Einstein’s equation.\u00a0 So what we should really say, is that if you know the metric and its first derivative at $$t=0$$ (and you know how matter behaves so you can figure out $$T_{ab}$$), then you can determine the fields at $$t > 0$$ or $$t < 0$$ up to coordinate transformations.<\/em><\/p>\n So we can actually only need to figure out $$\\ddot{g}_{ab}$$ up to coordinate transformations.\u00a0 There are 10 components of\u00a0 $$g_{ab}$$, but there are also 4 spacetime coordinates $$(t,\\,x,\\,y,\\,z)$$ whose values can be freely determined.\u00a0 As a result, we actually only need to use 10 – 4 = 6 of the Einstein equations in order to figure out how the metric changes with time.<\/p>\n The remaining 4 equations are called constraints<\/em>, because they don’t involve second derivatives of the metric.\u00a0 Instead, they restrict which values of $$(g_{ab}(x,y,z),\\,\\dot{g}_{ab}(x,y,z))$$ you are allowed to start with.\u00a0 These constraints are one of the most subtle features of General Relativity, because they ensure that the total energy and momentum of an object (like the sun) are encoded in the gravitational field coming out from it.\u00a0 However, since I haven’t yet explained what<\/em> energy and momentum are<\/em>, I should probably say something about that first, before going into this.<\/p>\n","protected":false},"excerpt":{"rendered":" So far in my explanation of General Relativity, I’ve discussed the metric $$g_{ab}$$, from which one can calculate the curvature tensor $$R^{a}_{bcd}$$ by way of the connection $$\\Gamma^{a}_{bc}$$. In practical astrophysical contexts: The metric is related to the gravitational potential … Continue reading \n