General relativity
Geodesics: takes vectors that are tangent to themselves and keeps them tangent while they are parallel transported
Table of Contents
- TODO [B] resource recommendations gr
- TODO [A] baez tutorial gr
- STRT sean carroll lecture notes on general relativity gr
- STRT ANN [Carroll][2014] Spacetime and Geometry. An Introduction to General Relativity.pdf gr
- p.6 synchronised clocks: from point a to b and back to a, then tb = (ta + ta') / 2 gr
- p.8 coordinates are superscripts, metric tensor is subscripts gr
- p.9 timelike particles is travelling slower than light gr
- p.11 nonstraight path has a shorter proper time gr
- p. 13 Lorentz transformations, lorentz group gr
- p.15 once the space is curved, we can't move vectors freely anymore. tangent space Tp gr
- p. 19 gr
- p.24 gr
- p. 30 – covariant form of equations means tensorial – has nothing to do with 'covariant' as oppposed to 'contravariant' gr
- p 31 – the fact that spacetime is flat allows a unique choice of straight line between the points gr
- p 32 gr
- p 33 gr
- p 34 gr
- TODO ok, do exercises, p. 45 gr
- STRT some pdf at work.. calculating levi-civita symbols for cylinder gr
- STRT play with metric tensor a bit gr
- TODO physicspages stuff – it's actually very decent! gr
- [Takeuchi][2010] An Illustrated Guide to Relativity gr
- [D] some old notes gr
- related grphysicsrelativity
- TODO [C] The Meaning of Einstein's Equation grbaez
- STRT [C] make up some crazy metric (e.g. g = Diag[x2y2z2, 1, 1]) can we do something cool about it? grthink
- TODO [C] susskind lectures grstudytowatch
- [C] MITGameLab/OpenRelativity: An open source framework to add the effects of traveling at relativistic speeds to visualizations or games grgame
- grgamevr OpenRelativity: An Open-Source Toolkit for Unity3D by MIT Game Lab - YouTube
- TODO [D] https://flannelhead.github.io/posts/2016-03-11-blackstar.html gr
- [C] general relativity - Why is the covariant derivative of the metric tensor zero? - Physics Stack Exchange gr
- [C] differential geometry - Is there a good way to compute Christoffel Symbols - Mathematics Stack Exchange gr
- [C] differential geometry - Why may geodesic not be the shortest path on a surface? - Mathematics Stack Exchange gr
- gr gravitational waves - So Black Holes Actually Merge! In 1/5th of a Second - How? - Physics Stack Exchange
- gr event horizon - What is exactly the density of a black hole and how can it be calculated? - Physics Stack Exchange
- gr general relativity - Is a black hole's mass uniformly distributed? - Physics Stack Exchange
- gr Why does gas form a star instead of a black hole? - Astronomy Stack Exchange
- gr Ask Ethan: Does A Time-Stopping Paradox Prevent Black Holes From Growing?
- gr The Best Tower Fans To Cool Down Your Home
- TODO hmm, how would forces work inside the black hole event horizon if the force carriers can't go backwards? grquantum
- [D] Ask HN: Without Einstein, would General Relativity be discovered by now? | Hacker News gr
¶TODO [B] resource recommendations gr
¶TODO [A] baez tutorial gr
¶http://math.ucr.edu/home/baez/einstein/node3.html gr
We promised to state Einstein's equation in plain English, but have not done so yet. Here it is
Given a small ball of freely falling test particles initially at rest with respect to each other, the rate at which it begins to shrink is proportional to its volume times: the energy density at the center of the ball, plus the pressure in the \(x\) direction at that point, plus the pressure in the \(y\) direction, plus the pressure in the \(z\) direction.
huh!
¶http://math.ucr.edu/home/baez/einstein/node6a.html newthon's law derivation – go through gr
¶STRT sean carroll lecture notes on general relativity gr
many people recommend it (e.g. on Reddit)
http://www.preposterousuniverse.com/grnotes/
¶parallel transport depends on path. actually that's why relative velocity doesn't make sense. gr
¶equation of paralllel transport. in a sense, it's a IVP gr
parallel propagator
ok, we get geodesic equatiion from the parellel transport equation
¶STRT ANN [Carroll][2014] Spacetime and Geometry. An Introduction to General Relativity.pdf gr
¶p.6 synchronised clocks: from point a to b and back to a, then tb = (ta + ta') / 2 gr
natural generalisation of cartesian coordinates in space
if we construct coordinates that way, it's called inertial frame
¶p.8 coordinates are superscripts, metric tensor is subscripts gr
¶p.9 timelike particles is travelling slower than light gr
proper time is ds (where -ds2 < 0)
¶p.11 nonstraight path has a shorter proper time gr
interval – integral of sqrt(nuv du/dlam dv/dlam dlam)
¶p. 13 Lorentz transformations, lorentz group gr
boost - rotations between space and time
Poincare group
spacetime transformations: axes are orthogonal in the lorenzian sense
¶p.15 once the space is curved, we can't move vectors freely anymore. tangent space Tp gr
¶p. 19 gr
Tp – contravariant vectors
T*p – covariant vectors
gradient – dual vector
levi-civita symbol: epsuvpo = +1/-1/0 – if even/odd permutation/otherwise
¶p.24 gr
metric, inverse metric, kronecker delta and the levi-civita symbol – their components are unchanged in any inertial coordinate frame in flat spacetime (and these are the only tensors with suck property)
kronecker – identity map from vectors to vectors, so should have same components regardless
¶hmm, must have something to do with determinant? https://physics.stackexchange.com/a/281185/40624 gr
if we are referring to the same Levi-Civita symbol, i.e. the completely antisymmetric symbol, then this is not a tensor. It is a tensor density of weight −1, which means that under a general coordinate transformation it gets multiplied by the inverse Jacobian of the transformation.
hmm
¶magnetic and electric fields – are only vectors under rotations in space. in facet – components of EM (0, 2) tensor gr
¶p. 30 – covariant form of equations means tensorial – has nothing to do with 'covariant' as oppposed to 'contravariant' gr
¶p 31 – the fact that spacetime is flat allows a unique choice of straight line between the points gr
timelike particles – useful to parameterise them by proper time (sometimes you can experess tau(lambda) and then transform to x(tau)). 4-velocity is the tangent vector in this parameterisation
4-velocity is always normalised – makes sense since it's velocity through spacetime
¶p 32 gr
mass is a fixed quantity independent of inertial frame, 'rest mass'
hmmm, unclear…
wiki says that by definition the invariant mass is ratio of 4-momentum to 4-velocity
The invariant mass, rest mass, intrinsic mass, proper mass, or in the case of bound systems simply mass, is the portion of the total mass of an object or system of objects that is independent of the overall motion of the system.
that actually makes more sense
¶eq 1.106 – wonder if it's the 'type directed' inference that guy mentioned gr
¶p 33 gr
energy-momentum tensor – flux of momentum pu throught a surface of constant xv
¶p 34 gr
derivation of energy-momentum tensor for dust
¶TODO ok, do exercises, p. 45 gr
¶STRT some pdf at work.. calculating levi-civita symbols for cylinder gr
¶STRT play with metric tensor a bit gr
¶DONE suppose metric is dS = x2 dx + dy2. What does that mean? gr
first, analyse the dS. The further away we are from origin, the longer is line element.
TODO what does that mean?
TODO dS = d(x2/2) + dy2 – wonder if that transformation is useful?
- So, our metric tensor is Diag[x2, 1]?
TODO is the metric being positive definite important? – ok, if it's not, that's non Riemannian geometry, apparently some crazy shit.
Geodesic equation: https://en.wikipedia.org/wiki/Solving_the_geodesic_equations#The_geodesic_equation
TODO t is arbitrary parameter?
d2 xa/dt2 + Gabc dxb/dt dxc/dt = 0
so we need Christoffel symbols. for diagonal metric, we can cheat https://math.stackexchange.com/a/799027/15108
since gxx = x2 and gyy = 1, we can see only Giii are non zero and Gxx = 1/x, Gyy = 0.
hence, substituting into the equation above, get system
d2 x/dt2 + 1/x (dx/dt)2 = 0
d2 y/dt2 = 0
https://www.wolframalpha.com/input/?i=d%5E2y%2Fdt%5E2+%3D+0,+d%5E2x%2Fdt%5E2+%2B+1%2Fx+(dx%2Fdt)%5E2+%3D+0
so,
y = yt + C – right, that means geodesic in flat space got constant velocity and direction. makes sense
x = A sqrt(B + 2 t)
Solve the IVP next. Assume x0 = 0, y0 =0; we get
y = y'0 t (duh)
x = x'0 sqrt(2 t)
Right, so what all of that means?
In a sense, it's just moving slower through X axis in comparison to as if it was moving in 'normal' metric?
but basically, it's just a coordinate transformation right?
I guess the difference is: we have figured out via experiment that our world has got 'uniform' coordinates.
in the world with the metric above:
wait… we haven't introduced time there. so doesn't make much sense to reason about it.
ok suppose we do introduce time. assuming they dependency of parameter on time is linear (is it??), then suggest the following experiment:
Alice: goes for 1 minute in one direction, then turns back and walks for one minute.
Bob: goes for 1 minute in the orthogonal direction, then turns back and walks for one minute.
hmm, how do they measure distance? ah doesn't even matter, what matters is that they don't meet at the same point?
oh.. wait
ah it's fine. one observer travels 1 minute up, 1 minute right, 1 minute down, 1 minute left. nope.. wouldn't work.
so it is undetectable after all??
this is actually quite similar to universe expansion?
ok, so take two observers. one is at 0, another is at 100.
right… so curves don't have intrinsic curvature! therefore, curvature is undetectable by the inhabitants of that world
¶ok, let's do something more funny… suppose dS = y2dx2 + x2dy2 gr
metric tensor
Diag [y2, x2]
christoffel symbols
Giii = 0
Giji = deltaj ln sqrt(xj2)
Gxyx = deltay ln sqrt y2 = 1/y – ok, same for the other one, Gyxy = 1/x
Gxyy = -1/2 1/gxx deltax gyy = -1/2 1/y2 d(x2) = -x/y2. Same for Gyxx = -y/x2
right… so what?, substitute!
x''2 = (-x/y2 y'2 + 1/y x' y') = 0, symmetric for y
¶ok, another attempt… ds = dr2 + r2 dq2 gr
Diag[1, R2]
christoffel:
GRqq = -R
GqRq = 1/R
https://www.wolframalpha.com/input/?i=solve+x%27%27+-+x+y%27%27+%3D+0,+y%27%27+%2B+1%2Fx+x%27+y%27++%3D+0
ugh… pretty bad too.
huh it's actually in Caroll lecture notes, page 60
¶leftovers during me doing the exercise gr
in general its too hard to do geodesics in full generality. sooften we justchoose a path and see if its a geodesic! and a natural one to choose is a pathdefined by only one of the parameters - its called a parameter curve
http://astro.dur.ac.uk/~done/gr/l6.pdf
ex5.pdf in downloads – direct solution
https://en.wikipedia.org/wiki/Deriving_the_Schwarzschild_solution – might be useful
https://en.wikipedia.org/wiki/Schwarzschild_metric#Alternative_coordinates
https://en.wikipedia.org/wiki/Line_element
line element is g(dq, dq)
right, so I'm gonna need spherical or cylindrical geometry
The easiest way to find the metric of the 2-sphere (or the sphere in any dimen-sion) is to picture it as embedded in one higher dimension of Euclidean space,then restrict to constant radius – hmm..
So Christoffel symbols are like the metric - they do tell us about curvature(what we are interested in) but they also tell us about what coordinate systemwe have chosen (which isn’t at all fundamental).
¶TODO physicspages stuff – it's actually very decent! gr
¶TODO 2D exponential metric http://physicspages.com/pdf/Moore/Moore%20Problems%2008.06.pdf gr
¶TODO geodesics on a sphere http://www.physicspages.com/Index%20-%20Relativity.html gr
¶[Takeuchi][2010] An Illustrated Guide to Relativity gr
- Your Bookmark on Page 43 | Added on Sunday, August 4, 2013 12:00:22 AM
illustration how a unit cell in c-t space shifts to a parallelogram, not very interesting - Your Bookmark on Page 96 | Added on Sunday, August 4, 2013 12:15:55 AM
same… - Your Bookmark on page 110 | Added on Sunday, September 27, 2015 4:13:18 PM
addition of velocities? not interesting…
¶[D] some old notes gr
Parallel transport: TODO Riemann tensor: describes how vector is changed during the parallel transport along a loop. Describes curvature. R(u, v, w) = R^a_bcd u^b v^c w^d Ricci tensor: R_bd = R^c_bcd R^a_d = g^ab R_bd Ricci scalar: R^a_a Geometrically, the Ricci curvature is the mathematical object that controls the growth rate of the volume of metric balls in a manifold. Paralllel transport on the Earth surface might change the direction For fun, notice that if we think of the earth as a unit sphere, it's area is 4 pi, and our Roman has just travelled around a region of land having area one eighth of that, hence pi/2. His javelin has rotated by an angle of pi/2! This is no coincidence: on the unit sphere, whenever you go around a simple closed curve enclosing an area A, parallel translation gives a rotation of angle A. Again, all this is easier to visualize in 2d space rather than 4d spacetime. A person walking on a sphere `following their nose' will trace out a geodesic -- that is, a great circle. Suppose two people stand side-by-side on the equator and start walking north, both following geodesics. Though they start out walking parallel to each other, the distance between them will gradually start to shrink, until finally they bump into each other at the north pole. If they didn't understand the curved geometry of the sphere, they might think a `force' was pulling them together. Similarly, in general relativity gravity is not really a `force', but just a manifestation of the curvature of spacetime. Note: not the curvature of space, but of spacetime. The distinction is crucial. If you toss a ball, it follows a parabolic path. This is far from being a geodesic in space: space is curved by the Earth's gravitational field, but it is certainly not so curved as all that! The point is that while the ball moves a short distance in space, it moves an enormous distance in time, since one second equals about 300,000 kilometers in units where $c = 1$. This allows a slight amount of spacetime curvature to have a noticeable effect. Problem Book in Relativity and Gravitation, A. Lightman and R. H. Price (Princeton University Press, Princeton, 1975). http://math.ucr.edu/home/baez/einstein/node15.html Contravariant vectors describe those quantities where the distance units comes at the numerator (like velocity), whereas covariant are those where the distance unit is at the denominator (like temperature gradient). Covariant vectors are linear funcitonals. Spherical coordinates: ds = dr^2 + r^2 dtheta^2 + r^2 sin^2 theta d phi^2 g_11 = 1 g_22 = r^2 g_33 = r^2 sin^2 theta Non constant metric tensor! g^u_v = delta^u_v g^v_u = delta^v_u Riemann tensor symmetries and identities https://en.wikibooks.org/wiki/General_Relativity/Riemann_tensor Парадокс альфы центавры TODO: https://en.wikipedia.org/wiki/Four-vector I don't like the word "norm" in the article. Twin paradox in closed spaces (for instance, toroidal space): * Compact space case http://arxiv.org/abs/gr-qc/0101014 * http://arxiv.org/abs/astro-ph/0606559 * http://arxiv.org/abs/gr-qc/0503070 Global preferred inertial frame * Jeffrey R. Weeks: The Twin Paradox in a Closed Universe TODO: okay, what about curved? 'Compactification' breaks the Lorentz invariance. * Poincare symmetry http://van.physics.illinois.edu/qa/listing.php?id=15308 In a closed loop with circumference R, there is a preferred rest frame. Special relativity predicts that someone moving with respect to the loop will measure its circumference as being smaller than R, so the preferred rest frame is one that views the closed loop with its maximum circumference. https://www.physicsforums.com/threads/twin-paradox-in-a-closed-universe.375432/ gamma m (1, v, 0, 0) photons: E (1, 1, 0, 0) For massive particles: P^\mu = m U^\mu; m is the rest mass Four-momentum is conserved Lorentz factor: gamma = 1 / sqrt{1 - v^2} Scalar curvature: an invariant of a Riemannian manifold Dark energy: cosmological constant?? https://en.wikipedia.org/wiki/Four-vector
¶related grphysicsrelativity
¶TODO [C] The Meaning of Einstein's Equation grbaez
¶STRT [C] make up some crazy metric (e.g. g = Diag[x2y2z2, 1, 1]) can we do something cool about it? grthink
¶TODO [C] susskind lectures grstudytowatch
General Relativity by Leonard Susskind. Особенно хороши серии 6 и 9. В 9-й type-directed вывод уравнения Эйнштейна, невероятно красиво.
¶[C] MITGameLab/OpenRelativity: An open source framework to add the effects of traveling at relativistic speeds to visualizations or games grgame
¶ OpenRelativity: An Open-Source Toolkit for Unity3D by MIT Game Lab - YouTube grgamevr
https://www.youtube.com/watch?v=qol-zP9W5J4
OpenRelativity: An Open-Source Toolkit for Unity3D by MIT Game Lab
nice VR visulaisations of lorenz contraction and redshift
¶TODO [D] https://flannelhead.github.io/posts/2016-03-11-blackstar.html gr
raytracer on haskell
¶[C] general relativity - Why is the covariant derivative of the metric tensor zero? - Physics Stack Exchange gr
¶[C] differential geometry - Is there a good way to compute Christoffel Symbols - Mathematics Stack Exchange gr
¶[C] differential geometry - Why may geodesic not be the shortest path on a surface? - Mathematics Stack Exchange gr
¶ gravitational waves - So Black Holes Actually Merge! In 1/5th of a Second - How? - Physics Stack Exchange gr
The same principle applies to the merging black holes. We have two objects that can't actually be real black holes because in any finite universe we know real black holes cannot exist. However they are experimentally indistinguishable from real black holes.
¶ event horizon - What is exactly the density of a black hole and how can it be calculated? - Physics Stack Exchange gr
Alternatively, a super supermassive black hole with the mass of 4.3 billion Suns would have a density equal to one i.e. the same density as water.
¶ general relativity - Is a black hole's mass uniformly distributed? - Physics Stack Exchange gr
For some reason it is popular to ignore the part where you have to wait a long time and you only get approximately the simple solution. Really it is just that there are only a small number of rather simple back holes that things can approach over time. There are many ways it can be as it approaches the final state. It's like if you leave some hot metal out in a room, there is just one final temperature it approaches, an equilibrium temperature, but it takes forever to reach it, so it is always a bit hotter than the room but starts to get really really really close.
¶ Why does gas form a star instead of a black hole? - Astronomy Stack Exchange gr
n the present day universe, this does not happen for two reasons. First, the gas is unstable to fragmentation as it collapses. The reason for this is that the Jeans mass, the smallest mass that is likely to collapse, scales as T3/2/ρ1/2, where T is the temperature and ρ the density. If the gas can cool as it collapses, then the temperature remains roughly constant, the Jeans mass falls and the cloud breaks up into smaller cores. These cores are usually much smaller than the (at least) several solar masses required to form a black hole (see below).
¶ Ask Ethan: Does A Time-Stopping Paradox Prevent Black Holes From Growing? gr
The thing is, with an extra solar mass of material at just a little more than 3 kilometers away from the predicted central singularity, we now have two solar masses of material in this particular region of space. The event horizon of a two solar mass object is 6 kilometers in radius, meaning that all of this material is now inside the event horizon, after all!
¶ The Best Tower Fans To Cool Down Your Home gr
Black holes really do grow over time, and all observers can agree exactly when and by how much.
I guess basically, different observers may disagree how big are the black holes.
For an observer falling into the black hole with a lot of mass, the black hole would be smaller. Whereas for an observer outside the black hole, they might already be inside the 'new' even horizon
¶TODO hmm, how would forces work inside the black hole event horizon if the force carriers can't go backwards? grquantum
¶[D] Ask HN: Without Einstein, would General Relativity be discovered by now? | Hacker News gr
DavidSJ 36 days ago [–] David Hilbert discovered general relativity at practically the same moment as Einstein. gnramires 26 days ago [–] I believe there was a race at that time, physicists knew there was a need to generalize SR to non-inertial frames, and that perhaps that it involved metric spaces (following the lorentz transformations). Hilbert was working on it, but apparently did not make much progress at deriving the GR equations (I don't have a source, sorry -- scattered articles on GR). You're right that eventually he or someone else would have made it, but how long would it take is speculation. Edit: More information here https://en.wikipedia.org/wiki/Relativity_priority_dispute I think the main takeaway is that Hilbert and Einstein ended in amicable terms, and it seems both contributed greatly to eachother's result.