Transcript for gr-l10

Welcome back to lecture 10.0:08

And this is a second last lecture,0:10

and we are remarkably enough on time,0:12

so we needn't scamper too much.0:16

Now, where we got your last time was a.0:20

They got this far as the I think0:23

I got as far as as as the.0:25

I was revisiting the equivalence principle0:27

and in in this specific form that.0:30

I find the right slide.0:36

All three following non rotating laboratory0:41

laboratories are fully equivalent to the0:43

performance for physical experiments,0:45

and the stronger version of that saying0:47

that any physical law that can be0:49

expressed in tensor notation in special0:52

activity has exactly the same form.0:54

In a current space-time.0:57

And this in a sense,0:59

is why we've been talking about why1:01

we've been missing about geometry.1:04

Because the aim is to is to articulate1:06

physical laws in geometrical form and1:09

what this this tells us is that once1:11

we've done that we can immediately1:14

import that into a curved space-time.1:16

So we know for example well Newton's1:19

laws tell us tells us that excuse me1:22

that the if you if you exert a force1:25

or something then the acceleration1:28

of that object is.1:31

In the same direction of the force,1:33

and proportional to it detail,1:34

the constant proportionality is the mass.1:37

But the geometrical aspect of1:40

that is the important thing.1:41

That's a geometrical law.1:43

That's that.1:44

That is true independently1:45

of the reference you pick.1:46

Independently of the coordinates you1:49

pick is as true in Cartesian coordinates1:50

as it is in polar coordinates and1:52

spherical coordinates and anything1:55

like it's a geometrical law.1:56

We could similarly do things and and and in.1:58

In special relativity we can see the2:02

full momentum is conserved in collisions,2:04

so the total P.2:07

Before and the total P afterwards are equal.2:08

That's a geometrical law.2:11

You know the the P before people2:12

are after are in the same direction2:14

and the same in the same length.2:16

And this is telling us there are2:18

no further complications.2:20

So if we pick our.2:21

An actual local and national2:25

frame of freefall frame.2:27

Then we can do our physics in Sr.2:30

And that still works.2:34

The key thing that this2:35

excludes is coverture coupling.2:38

There are no extra terms which2:40

appear in your geometrical law.2:42

Which are associated2:44

with the local curvature.2:45

It's not that F equals MA2:47

plus a bit depending on R.2:49

So this version of the governance2:50

specifically rules that out.2:52

It explicitly rules out any other2:54

additions to your your physical laws,2:56

and so that is by itself2:59

a physical statement.3:00

So I've,3:01

I've,3:02

I think I've repeatedly3:02

distinguished physical statements3:04

from mathematical statements.3:05

Mathematical statements are things3:07

that follow from other things.3:08

They cannot be false.3:09

Physical statements are3:11

things that might be false.3:12

You could imagine the universe3:13

where that wasn't true.3:15

But in this in this universe,3:16

the guess that that physical3:18

statement is true is a guess.3:20

Which turns out to be3:22

confirmed by experiment.3:23

But it has to be confirmed by experiment3:24

because it could be otherwise.3:25

But it's not so this is a physical statement.3:27

And since you could imagine a3:31

universe where that wasn't true,3:32

but it's it's importantly,3:34

it is true in our case, and that3:35

immediately tells us at least one thing.3:38

Because in.3:40

Special activity.3:43

We know how we we understand.3:45

How how we move if we just stand here?3:49

I just stand here in a reference3:53

frame in which I'm I'm stationary.3:55

That's sort of the simplest motion you3:56

can imagine me not doing anything at all.3:58

What is my movement through space-time?4:01

I'm moving along my own time axis.4:03

OK, I'm just standing here moving4:06

along my time axis, taking taking4:08

out the 2nd until they you know,4:09

so it's not complicated.4:12

And if I were to be,4:13

if someone would be moving past4:15

me and I'm in a reference frame,4:17

a national reference frame,4:19

specialistic reference frame4:21

moving with respect to them,4:22

then my motion, my my world line will4:23

be along my my my local time axis.4:26

In other words,4:29

it would be a time like a time4:29

like straight line or which is4:32

in Minkowski space A geodesic.4:34

So the geodesics of Minkowski4:37

space are time like are various.4:39

But there are some which are time like.4:42

Push and and our our physics,4:47

our understanding of physics4:51

special activity says we move4:51

along the timeline, the timeline,4:53

geodesics in another reference frame,4:54

and we do so in accurate time as well.4:56

Sue. This is telling us4:59

half of the famous slogan.5:00

Ohh.5:06

Free falling particles move on timely duties,5:10

pics of the local space-time.5:13

The slogan being space tells5:15

matter how to move and this was5:16

a famous couplet of I think.5:19

If Wheeler, I think first enunciated,5:22

put it this way,5:24

space tells matter how to move.5:26

This is the point at which we have5:29

to some extent, got rid of gravity.5:30

This is it's saying that once5:33

you have a curved space-time.5:35

The move motion within5:37

it is simple geodesics.5:38

There's no need for gravitational field.5:40

You just followed geodesic in5:42

your field and you're sorted.5:44

Job done.5:46

So that's the second-half of the problem.5:47

Once you've set the problem5:50

up and got and got a a metric,5:52

a solution to answer this equation,5:54

and you've got a solution to.5:57

Start that sentence again once6:00

you have an answer to the to the6:02

question of what is the is the6:04

is the is the metric of of of6:06

the of the metric of space-time.6:08

You know what,6:10

you know what what happens next.6:11

So the first half of that question6:13

though is how do you work out what6:15

the metric is of a space-time6:17

in relevant circumstances.6:19

So what is the,6:21

what is the constraint that6:22

we have to put on that?6:23

And that's what we talk about now.6:25

Umm.6:29

So the relevance of this,6:34

but the point being made here,6:36

can I make that I think I can make that6:38

full screen in a second. A little bit.6:41

Get some distractions, are we?6:44

The relevance of this is that.6:48

Although I didn't spend much time on it,6:51

I I in passing earlier mentioned6:53

that it's well when you look6:56

at the energy momentum tensor,6:59

the the team you knew.7:01

There was a continuity7:03

condition which said that the.7:05

That the.7:11

The derivatives.7:17

Of the energy momentum tensor AT20.7:20

And that's just a consequence of you7:23

know what good what goes into a box.7:26

Plus what's in there is what,7:28

what is what you,7:30

what you end up with is a7:31

straightforward continue condition7:33

and that we worked out in a limited7:34

circumstance in a local inertial frame.7:37

But what the?7:40

The equivalence principle is telling us is.7:43

That. We can put a dot on that.7:47

If you like it, you can put a dot on it.7:50

And you're seeing that this law7:54

that was a special artistic law7:56

is no more complicated in GR.7:58

So that also becomes a truth in GR.8:00

That the covariant derivative8:04

of energy mental tensor is 0 is8:05

conserved in invariant terms.8:09

That's the remark about.8:14

Things moving along time right, georgics?8:17

And the summary of that,8:19

so just to recap that.8:22

From college Principal is a variant of8:25

the college principle we talked about.8:28

You know, in, in,8:30

in lecture one of the course basically.8:31

If you think about it, it's.8:33

There is more.8:37

There is more content to that than the,8:38

than the versions of of the coolest8:40

principle we talked about last time,8:42

but only because we have strengthened it8:43

a bit by talking out about specifically.8:46

Because these times and so on.8:49

But it's the same idea.8:51

And the and.8:52

The and and the the the the previous8:53

version that the immediately previous8:54

preceding version of the principle8:56

I mentioned is just equivalent8:57

to what you learned in lecture 1.8:59

And physical laws in flat space take9:02

the same formula local national frame,9:05

and that's also called the comma9:07

go semi colon rule for the failure9:09

of his reason that here we return9:11

this comma straight into semi colon.9:13

OK, so we hear that the common9:15

goal semi colon rule,9:17

that's what we're talking about.9:18

It's just a nice way of a nickname for it,9:19

if you like,9:21

or space tells matter how to move.9:22

Once you get your space then things will9:25

move along duties and problem solved.9:28

So we've solved the second-half9:33

of this problem. First, here we.9:34

And what this means is that we9:36

have to rethink the way that we9:38

think about gravity could.9:41

We are used to standing still,9:42

being the natural order of things,9:44

and falling out of trees being the odd thing.9:46

We're apes, you know that.9:50

You know, we spent millions of years,9:51

you're working out how to hold on9:54

to all the trees and not fall out.9:55

You know, it's a thing.9:57

We have a focus on that,9:58

but we're thinking about the wrong way.9:60

This set should be.10:03

Think of that if you imagine.10:05

I I saw shadow version of us.10:08

Drop dropping through the news as10:11

flushed suddenly disappeared and they10:13

dropped down to the center of the Earth.10:15

We would see that ghost version of us.10:17

Disappearing at an increasing speed,10:21

there would be quotes strictly in scare10:24

quotes, accelerating away from us.10:26

And we think, Oh my God, that's terrible.10:29

They're accelerating.10:30

But the government tells us we're10:31

looking at the wrong way around.10:33

That if you like,10:35

that that version of us plummeting10:36

toward the center of the center of the,10:37

of the gravitational,10:39

local gravitational concentration10:40

is the real, is the natural motion.10:41

That's the real thing.10:43

And we are the ones being accelerated10:44

away from that motion by the10:46

presence of the floor.10:48

To what the floor is doing in this10:50

picture is stopping us joining that10:52

ghost version of us in the in in10:54

free fall and accelerating away.10:57

So as our our feeling,10:59

the pressure on our feet or on other11:00

legs of our chair is not that isn't11:03

just a bit like a force or acceleration.11:05

The force of gravity isn't just11:08

like a force of acceleration,11:10

it is an acceleration.11:11

And the and and so that that this that11:12

this seems slightly equivalent equivocated.11:15

But in a sense if you think about11:17

the right way then it's clear what11:19

that is accelerating away from.11:21

And so this picture of the observer in11:23

freefall and the observer not in freefall.11:26

And you could either view this as being11:30

out in space and this person and the11:33

both out in space but this person is11:35

on a a platform which is accelerating11:37

or else you can rather a standing11:39

on earth and this person is on a.11:41

Platform this person is falling11:43

down and they are equivalent and11:45

in a sense that the, the, the, the,11:47

the physical statement I want to11:48

really get over to you by but it's11:50

just just repetition is is, is that.11:53

Any questions about that that that11:56

I I think I've done that today.11:58

It's just so nice to be able to make a12:02

physical statement in this course rather12:04

than just here's here's more maths,12:05

I think rather indulge,12:07

indulge you OK?12:08

So the question then becomes,12:14

how do we work out? How?12:16

What do we, how, how do we?12:18

Constrain what that?12:21

Metric or space-time should be.12:24

And again this will involve12:26

actually a physical statement,12:28

a statement about the universe12:29

which could be false.12:30

So we have to to guess or we don't12:31

have to guess because Einstein12:32

did the guessing on our behalf.12:34

So that that guessing I think happened12:35

more or less over the summer of 1915.12:38

So you've done a lot of the12:40

work to to to sort out the maths12:41

of this to learn the maths of12:43

different geometry over 10 years.12:45

You think you had a tough over 10 lectures.12:47

He took 10 years from 1905 to 1915 to to12:48

to sort that that math out in his head.12:52

He claimed he never understood it really.12:54

But it's only at the end,12:57

in a sense,12:58

that he did the guesswork to to to12:59

work out what the the constraints13:02

were on the the the space-time.13:05

And when we start is by going back to13:08

Newton and this is Poisson's equations.13:11

This is the.13:15

It's actually the the.13:17

The Laplacian of the13:22

gravitational field is that.13:25

The coverage of that gravitational field.13:27

Essentially this is just the Newtonian13:30

gravitational field it's governed by.13:32

The density of mass.13:35

The local density of mass. And.13:37

Big new gravity should constant.13:40

So that's a statement of Newton's13:43

law of gravity, if you like.13:46

Not in a way that Newton would recognize,13:48

but it's due.13:50

That's Newton's law of gravity.13:51

From that you can deduce F13:52

equals GM or are squared.13:55

And we can take and and the the the13:58

vacuum version of that is similar14:00

except obviously with with no mass,14:02

so, so the, the, the.14:04

Meet with the graphical field14:07

when there's no mass is well,14:09

it's not complicated.14:11

It's it's just flat.14:12

There's no gravitational field.14:15

And we could take that as inspiration.14:17

For what to do next.14:19

Because. And.14:23

OK, just a quick question and just to at14:28

least give us we probably brief pause,14:32

we thought what does this Phi14:34

comma I comma I represent?14:37

The diagonal of a tensor there.14:39

To this contraction or this? A14:41

construction here. Who is it?14:49

Was the first one?14:50

Who is it with the second one?14:54

Who was it? Was the third one?14:57

Well, I thought. Who was there?14:59

About her brief chat just to.15:01

This isn't saying you're wrong.15:04

You have reached.15:06

Thank you. OK,15:27

let's you know chatting is always brief,15:30

but so so the diagonal of a tensor.15:32

This contraction here.15:37

The third ring. I see a lot,15:39

a lot, a lot of indecisions.15:43

They're there, they're still,15:44

but it's not a big deal.15:46

But it's the.15:48

Is it just this contraction,15:49

it has to be the contraction15:51

because in the case of.15:53

The third one.15:55

We'd end up with.15:58

Two eyes in at the bottom if you're like,16:01

so it has to do in order for16:05

the there to be a this be a16:07

correct term with a sum over it.16:09

It has to be this contraction here.16:11

So the contraction over those hard16:13

to hard to pick out G's there.16:14

So I I mentioned that just because16:17

it's new it's about time for quick16:18

question but also because it's16:20

it looks a bit strange that you16:22

haven't previously seen commas.16:24

Upstairs if you like.16:27

So that's.16:30

That notation looks slightly strange.16:31

OK, so come back to that mode. And.16:36

So we have. Possible equation?16:42

I comma I comma I = 4 Pi G. Rule.16:46

And. Fine comma I comma I = 0.16:53

In the vacuum. Now we can look back.17:01

A bit. And again,17:06

lecture one who knew lecture one17:07

was going to be it was significant.17:09

We can find a thing in lecture17:11

one which described the you know,17:14

you remember this.17:17

Idea of the of of the17:25

objects falling toward um.17:28

Earth.17:32

And getting closer without experiencing17:36

any acceleration and we found an17:38

expression for that. Which were the.17:41

I think I I think I I think I I I17:48

mentioned this and so showed the result17:50

without so walking through through it17:52

step by step because because the the17:54

details are sort of fairly obvious,17:56

you walk through but it wasn't17:58

worth delaying which was GM over R.17:60

And. Uh, sorry.18:04

Which? Also jumping a few18:10

steps here is also. And.18:14

Not very unique side. That's better.18:23

OK. And that is the that was18:29

the 2nd derivative of the.18:32

This looks like I'm sort of missing a18:35

couple of steps in the middle here,18:38

but the point is,18:39

the point is the details of that18:40

then that we can get an expression18:43

for something that that makes18:45

sense in our identitarian picture.18:48

Which reminds us of the.18:52

The expression we got last at the18:58

end of the last chapter. Which had.19:02

You know, what was it?19:10

Which was the expression for geodesic19:24

deviation which involved the.19:28

Rementer. And the point of this?19:32

One can go through this19:35

argument in in in more steps,19:37

but the point of this is that it's19:38

that this is suggesting hinting to us.19:42

That the thing that corresponds to this.19:45

Derivative here is something to do. With the.19:52

With contractions of the Riemann tensor.19:57

And in particular. It's possible20:02

to do with the Richie tensor.20:06

Which is that that particular contraction20:15

of the Riemann tensor, and so one can guess.20:18

Is the analogue of this vacuum equation.20:22

Something nice and straight20:28

forward like our. Mute, mute.20:30

Alpha beta equals zero.20:34

Does that count as our?20:37

An analogue in GR of20:40

this vacuum equation. At.20:43

And the answer is yes, it does20:49

sort of so that that that is.20:51

Only the halfway at each year,20:55

but that that is that is true in the sense20:57

that that does boil down to the the.21:00

Those are the vacuum field equations21:02

for for GR so that the shape of the.21:05

If in a universe with no21:11

energy momentum in it,21:13

the possible shapes of the metric are21:14

ones where the curvature they're tensor.21:19

Sort of curvature is 0,21:22

which sort of makes sense.21:24

No, no mass, no curvature,21:26

because that's that's not21:28

surprising therefore.21:30

But we're still not there.21:31

And one thing we can do is we can21:34

add to it since it's also true.21:36

That if our if our alpha beta is zero21:41

that would imply also that G. Alpha UR.21:45

You. Beta would be equal to 0 trivially,21:52

so that that that implies also that G.21:56

MU equals to R MU nu plus minus 1/2.22:03

Or, Gee, you knew equals 0,22:09

so I haven't added this is equivalent22:13

to that, because if that's true,22:15

then this must be true.22:16

But the point is, I I'm,22:18

I'm you know, knowing what,22:19

I'm knowing what's coming here.22:20

And I I've I've just switched22:21

from our to the I sentence22:23

G for reasons which are,22:25

at this precise point, obscure.22:27

So that's the vacuum field equations.22:32

What are the you're not interested in that22:35

we're interested in is the field equations22:37

in the presence of energy momentum.22:39

So you've got a star, you know what's the,22:41

what's the field around that question?22:44

Or equal to zero. Yeah, we can.22:49

Can we immediately assume that22:52

the G will be the Euclidean G?22:53

No, because I think that.22:56

I think we cannot know because22:59

I'm not 100% opposed to this,23:02

but I think there would be23:04

non Euclidean G's which would23:06

have that have that property.23:07

I'm not sure what they would23:09

look like offhand, but I.23:10

I think the answer is probably yes,23:13

but I I I don't think that completely23:16

constrains that because the thing that.23:19

Yes, yes this is.23:23

If you start with two lines,23:24

they will never meet the basic.23:25

Yes, I think actually it might I mean I,23:30

I I'm, I'm hedging here because I'm23:32

not 100% sure but I'm fairly I think,23:36

I think I'm fairly confident you're23:38

right that that, that, that,23:39

that that it's probably the only23:40

solution of that is the Euclidean one.23:42

So I think I think that that would23:45

be the case and point for that for23:46

that extra auxiliary reason. Yeah.23:48

So.23:52

I guess for this for Winston in the vacuum,23:55

in the field equations in23:59

the presence of matter.24:00

So I guess if this is sort of right24:01

is to say, well how about seeing24:04

you you equals TU where T is you24:08

remember the energy momentum tensor.24:11

OK, that's plausible.24:14

That as a first step, that's so plausible.24:15

Or some. Proportional to that Kappa.24:19

And. No, but the conservation law.24:24

That we saw here.24:29

Well then tell us that so T.24:31

MU new semi colon.24:36

Neu equals zero would then imply that24:39

R MU nu semi colon U was equal to 0.24:42

Um, OK, that might be the case,24:48

but that would also imply24:51

that when we contracted it?24:53

That the curvature scalar.24:59

Would also had a 0 derivative.25:02

And that tells us that there's no25:07

coverage at all, basically. And why?25:08

The third one? The third one or25:14

the the second one? The answer25:16

is the second one second, yeah.25:18

Yeah. Yeah, which is? So um. If the.25:23

And. So if the coverage scaler is.25:39

Has zero. Derivative then that is25:44

essentially saying that the that, that,25:47

that that the universe is flat and since the.25:49

The. That would in turn mean that the.25:56

Contraction of.26:03

Gu Alpha T alpha. You.26:09

And going you would go to zero.26:15

That would in turn tell us that26:17

the universe had constant density.26:20

So this, this. This.26:23

Possibility can't be right.26:27

Because the the conservation law of.26:30

The argumentum tensor ends up leading26:35

us to conclude that the universe26:37

has constant density, which is.26:38

Not the case. Universe is lumpy,26:42

so this can't be right.26:44

It's clearly not far wrong.26:47

We're on the right track,26:48

but this can't be right.26:49

But we have been hinting26:52

at the right answer here.26:54

Because I picked this as the. As.26:55

Apparently trivial deduction from the.27:05

Richard James from the plausible27:09

vacuum through the equations.27:11

So what we can the next guess,27:13

the next the next step up is to guess that.27:15

But that is upload applicable27:24

applicable version. So note the27:26

Richie tensor being proportional27:28

to the argumentum tensor but this.27:30

Construction. Thanks. Attention27:36

this constructed from the Richie27:37

tensor being proportional to the.27:39

The incremental tensor,27:43

and that is plausible because we know.27:44

From when one of the correct27:47

contracted Bianchi identities that.27:50

Gu.27:56

The new new semi colon new is equal27:59

to 0 as a mathematical identity.28:01

Based on the properties of the tensor,28:04

so the conservation,28:06

this conservation law is satisfied.28:07

Mathematically, by this.28:10

So that's plausible, and it's right.28:14

It turns out turns out to28:17

be matched by reality,28:19

and this equation here is I sense equation.28:20

And. What I've given you is not a28:25

mathematical deduction, deduction of it.28:28

I'm seeing what I've said I said earlier on28:30

it's not a mathematical reduction of it,28:33

it's I guess it's a plausible guess that28:35

we have motivated by analogy with patterns.28:37

Equation is against the Einstein made,28:40

eventually offered several28:43

goals in the summer of 1915.28:45

And published in the famous paper often 15.28:47

And it's that that is the physical28:50

statement on which all of the.28:54

Solutions that follow have been28:57

based and all and which all the28:59

tests of GR have been based.29:01

So the the the tests of29:02

GR GPS has satellites.29:06

Black, you know, refugees from,29:08

from, from,29:11

from slowing down neutron stars and so on.29:12

Our tests of that guess.29:14

And it's passed every single one so far.29:16

So that. Through there we can just look29:22

at that from for that's the sort of thing,29:24

and that is the thing we can all look29:28

at and admire and put on T-shirts.29:30

Now that is. Attention equation.29:35

So it's a geometrical thing.29:40

But we've quoted it with.29:42

It in component form.29:46

T is our symmetric tensor.29:50

And we as we discovered as we as29:53

we reassured ourself last week,29:56

which means G is also symmetric tensor.29:60

Which means it has 4 + 3 + 230:06

+ 1 independent components.30:08

That's 10 because if it's symmetric tensor,30:10

then as a matrix it's a symmetric matrix.30:13

I am not antisymmetric so that there30:16

are 10 independent components in that.30:18

The. And we try to Bianchi identities.30:23

Add 4 code. The MU equals 1230123.30:28

Add 4 constraints to that.30:32

Bring this down to six30:34

independent constraints. And.30:37

And the remaining degrees of freedom?30:41

Are based on the fact that we can rescale30:47

the coordinate functions as we wish.30:50

We could measure in feet rather than30:53

rather metres, or rotate or our axes.30:55

So this ends up constraining our30:58

the solutions as much as we need.31:01

Because remember, think back, unpack this.31:05

That GI Sentencer is composed31:08

of the Ritchie Center.31:11

The Richard Center.31:13

It depends on the Riemann tensor.31:14

The Riemann tensor depends at least31:16

the local natural frame on derivatives31:18

of the metric and particularly31:21

second derivatives of the metric.31:22

So this is a collection of of 2nd31:24

order of 10. Plus constraints 10.31:29

2nd order.31:34

Differential equations in31:35

the components of the metric.31:37

The metric has it also auto metric tensor,31:40

so it also has ten.31:43

Yeah, sorry this is a said that31:44

I said that in the wrong order.31:46

This has 10 has 10 constraints,31:47

four of which are taking up going31:49

forward these if we want to.31:52

So it's a differential equation31:54

for the components of the metric,31:56

a second order differential equation31:58

for the component of the metric.31:60

It adds 6 constraints.32:02

So there are four degrees of32:04

freedom left unconstrained,32:07

they are taken up by the freedom we32:08

have to change our our our coordinates32:11

in length and and orientation.32:13

So this is what this does is it constrains.32:15

The metric.32:19

So the metrics that are allowed around32:21

our source of energy momentum are32:24

those which satisfy that equation.32:26

And those are the codes of all32:29

solutions to generate to generativity.32:31

Doing so is not trivial because you32:34

have 10 simultaneous differential32:36

equations to solve.32:37

But if you symmetrize the problem enough,32:38

then you can solve that problem.32:41

And the first. Predictions of um.32:46

Which come up come ohgr, where?32:52

I Einsteins in sort of 19 fourteen32:55

913 I I believe but they were based32:59

on the gravitational redshift that33:03

we talked briefly last in lecture33:06

one again the idea that a photon33:09

claims through gravitational field33:11

it changes frequency and to the33:13

extent that frequency is the type33:15

of clock that means that that that33:17

time moves differently at higher33:20

and the shield photon argument said33:21

that time moved differently at a33:23

higher gravitational potential.33:25

From at a lower one.33:26

And you can deduce from that33:28

version of the metric of.33:31

Of a weak field space-time.33:34

Which is what you and from that you33:37

can deduce things like that there33:40

will be some deflection of Starlight33:43

as it goes past a large mass.33:45

But I distract myself because33:47

that is not that.33:49

That although it's significant33:50

and certainly significant,33:51

and was one of the things that the famous33:52

Eddington Dyson measurement of of of33:55

the Solar Eclipse aimed to rule out,33:57

it's not by itself a solution33:59

of intense equations.34:02

So what are the solutions of34:03

intense equations? Can I think?34:06

And.34:10

Yeah,34:12

I think we actually we're actually34:13

going ahead of time here.34:14

So I think we can we we'll we'll move on.34:15

There may even finish early next next week,34:19

but.34:21

Before you do I do move on to the34:24

first simple solution of this.34:27

Other questions on what we've done so far?34:29

Are you happy or perplexed or a question?34:32

There were two questions here so.34:35

Right, so here this implies34:40

that the density is constant.34:42

But why does it notify?34:45

And so the question was.34:48

How does this imply that density is constant?34:52

But this doesn't?34:57

And I think the answer to34:58

that is that if you if you.35:01

Stick to just that.35:03

Then that's.35:06

Our function of second35:11

derivatives of the metric.35:12

So that's a constraint on 2nd35:14

derivative of the metric. But the.35:16

The the mathematical remark35:20

that the argumentum tensor that35:22

the Andrew Mentum is conserved.35:24

If this is true,35:27

forces the Ritchie Dancer.35:29

To be have have A to be35:31

conserved as well if you like.35:34

Which in turn implies that the35:36

curvature scalar is conserved and.35:39

The other but if if that's true,35:43

then the this contraction if35:46

that's true and that's true.35:48

Then this.35:51

This could be written as35:53

this contraction of the.35:57

Andrew Mentum,35:59

tensor having with you interactive36:01

since G is.36:03

And.36:05

I think I'm saying missing a step here.36:12

Umm. If you could see me going36:15

on struggles at this point.36:17

OK. I I think I may have.36:25

I have a comment misplaced the36:30

careful description of this of this36:32

step in the notes, but the the the36:34

to the question of why does this up?36:36

It's gonna be like, why? Why does this?36:39

Make.36:44

Give the got the argument rate,36:47

why does this make predict that the universe36:48

is constant density and this one doesn't?36:51

I think it's basically because there's36:54

this extra freedom in here. So the. Umm.36:56

If if that's zero in a in a vacuum.37:02

Then you have the extra freedom37:07

of of changing G if you're like.37:10

Without changing the Richie changer this is,37:13

this is rather handwaving argument, but37:15

presumably that's a more complicated object.37:16

I think is is a slightly37:18

more complicated object.37:20

This, this argument that that, that,37:21

that, that that the potential ends up37:23

being being constant doesn't work out.37:25

OK, I'm going I'm annoyed that I'm37:27

going to have to go to reassure myself37:30

that's rather hand waving argument,37:32

but I think I think the key,37:35

the key point there is this is37:36

simply a slightly richer object37:38

so it has slightly more freedom.37:39

You ask questions.37:43

Yeah. You write. On the north you're37:49

right that is divided over RI was37:52

wondering if because I I was looking37:55

back at the nodes like set first37:56

set of notes and it was divided by37:58

zero Q and I was wondering it. Ohh.38:00

And that maybe just my mistake.38:03

Yeah. Yeah. And in fact, yeah, yes.38:06

When I was writing that up,38:09

I thought, is this right?38:10

But I think our cubed bread make a lot38:12

more sense because I think that's right.38:14

I think that should be.38:16

That, that, that, that probably38:21

should be an an arc cubed there.38:23

All right to him.38:27

But. OK.38:31

Thank you for that because that's that38:36

could have been a distraction. And the.38:38

In the beginning of this section,38:43

we can approximate the perfect38:46

fluid with a delta function, yes.38:48

Chronic delta, yeah.38:53

Is that what gives us?38:54

Is that the only case where we38:57

can have one solution to those38:59

10 differential equations?39:01

Perfect fluids or can you39:05

parameterize it first?39:09

I think in that case we're jumping39:10

back a bit and alright so,39:12

so I I think the question39:14

if we go back to. And.39:17

Basically here.39:22

Yeah. And so. And this is the energy metric39:27

tensor or the components of the metric39:32

tensor for the perfect fluid which we have,39:34

and we persuaded itself of that because.39:37

The answer we we, we,39:43

we guessed there has to be independent39:44

of what direction we're facing,39:46

what what, what, what we're picking on.39:47

So that isn't a solution to anything.39:50

That's. That's our input to the to to39:52

to to the to to to to to Einstein's39:54

equation we're seeing this is how.39:57

This is what the arguments must be.39:59

Must look like this.40:01

So the only parameter there is40:03

is the pressure so that the.40:05

I think this will be.40:14

Well, that, that,40:18

that I I think in in local natural40:19

from that would also be a diagonal.40:21

That, yeah, that would be a diagonal40:24

matrix of coordinates in the local frame.40:27

Is that what I'm saying?40:29

I said what you're asking.40:31

Be part of the left hand side40:34

of the equation of this yes then40:36

financial equation yes means.40:39

It doesn't mean that they40:40

are have one solution, yes,40:42

but at least in a perfect fluid.40:44

Since we have that,40:46

we know that there has to be40:47

only one solution to those 10.40:48

And yes. Yes, and and and and40:53

and and we won't cover this,40:57

but in the case of a,40:59

because they're recovered next in in G2,41:02

so G2 is picking up where this leaves off.41:05

I will mention a solution of incense41:08

equations just because I show you one,41:10

but G2 is essentially solutions,41:12

plural, of Einstein's equation.41:14

And solution number one that you'll teach,41:16

you'll learn.41:19

Is this the Schwarzschild metric?41:20

And the structural metric is the solution41:22

to the case where you have a central,41:25

a single isolated source of mass,41:28

so just a lump of mass in the alone in41:30

the universe and the and and and that.41:33

So that's a very specific distribution41:35

or argumentum is a lump there.41:38

And the the solution to that41:41

is a particular metric which is41:42

called the structural solution,41:44

which has properties which41:45

are are of interest.41:46

But that is the solution to the case where41:48

there's only one dot in your universe.41:51

So the and and and jumping ahead41:54

of myself because we have a whole41:56

5 minutes of time jumping myself.41:59

Or do you have Twitch? The. That was.42:03

I seen the the 1915 people42:11

was in November 1915.42:13

And Schwarzschild, who was,42:14

I think in the German army at that point42:18

in the middle of the First World War,42:20

you know, piles Louise time42:22

under shell fire, you know,42:24

solving Einstein's equations as you do.42:26

And he did it remarkably quickly.42:28

And I think in early 1916 he wrote Einstein42:30

saying this appears to be a solution.42:34

And I said went ohh, I didn't think42:36

I thought take longer than that.42:38

And said, well,42:40

it's quite clearly classically right.42:41

So um.42:44

That so that's that's an example42:47

of the case where although you42:48

have ten couple differential42:50

equations if you make the problem42:52

symmetric symmetrical enough.42:54

And you're you're move.42:55

Complications by saying we42:59

only have one bit of mass,43:00

then you can then half of these equations.43:03

You know the large chunks of the different43:05

equations of instructions fall away,43:08

and you're left with much less to solve43:11

than you would start off with more43:13

complicated things like other solutions of.43:15

And.43:19

And wrong what I said before. Because the.43:22

The the free space.43:28

The the the the vacuum43:31

form of instantiations,43:34

which is what that really is.43:36

Or or that has another solution which43:38

isn't a constant flat universe.43:42

That solution is gravitational waves.43:46

The gravitational waves are43:49

a solution to that equation.43:50

In the presence of no matter at all.43:54

So graph you could have graphical waves in43:57

a universe with no matter at all, because43:59

what graphical waves are is a dynamic.44:01

Perturbation in the metric.44:07

This metric is perturbed,44:10

perturbed the next bit and and that44:12

and that propagates. So that's all.44:14

Gravitational waves are one44:16

another solution to up to I said44:18

equations in this particular case44:20

of a 0 right hand side. Question.44:22

So again, how would there be a44:29

perturbation if there isn't any master?44:30

And well, the question of how you how44:32

that is started is a different question.44:34

But so, so that solution says that44:36

if given that it was perturbed,44:40

then the perturbation, it's like Maxwell44:43

equations support a perturbation of44:46

the electric and magnetic fields.44:49

They don't sort of care how44:52

that perturbation was started,44:53

that's what. That that's.44:54

Another another question if you like,44:58

but they support a perturbation, yeah.44:59

Thank you.45:04

Good. So that's a. That's a fine thing.45:08

So and and that gives the45:11

other half of the slogan.45:12

So space tells matter,45:13

how to curve, how to move.45:15

Think we're lunatics, Mattel speed,45:17

how to curve instance field equations.45:19

So you have doubtless seen that slogan45:21

in various popular accounts of of general45:24

activity or possibly or or whatever.45:27

Or you may have heard of this,45:29

but that's that's where those two,45:31

those 222 parts of that slogan45:34

are both deep physical statements.45:37

Expression or jocular form,45:40

but they are both physical statements.45:41

Push, you know no the underlying.45:44

Underlying and that's just45:47

a nice picture really.45:48

The point being that once45:50

you have a curved space-time,45:52

then doing going in a straight line45:55

in that course space-time can end up.45:57

Producing port. As it were of youth,46:01

most eight would be a a closed loop.46:04

Key points. Now I I, I, I, I.46:10

OK. Have you been ahead of time?46:14

I have. Look up the last of46:17

the stuff before section 4.3.46:21

But second 4.3 is fairly self-contained46:22

and so next time what we'll do is46:25

we'll go through section 4.3 which46:28

is about doing most of the solution46:30

of Einsteins equations minus chunk46:34

of boring algebra in the very46:37

simple case of attaining mass,46:40

attaining central mass and and we46:42

discover a nice thing at that point.46:44

And time is the last.46:46

Let the last lecture,46:49

I think it's the Friday of next week46:50

that we have the next supervision.46:53

What? Sorry, this week is OK, right?46:55

In that case I will.46:59

And I haven't yet,47:03

but I will put up a a a little47:04

heading on on on the on the pilot for47:06

Supervision 2 and I exhort you to add47:09

questions or puzzles or things there.47:11

Comment on what someone puts up47:14

something which is almost what you want.47:16

Then add comments like things you know.47:17

I will use that as the as the47:21

skeleton of the supervision this week.47:23