Transcript for gr-l06

Books. Hello again and welcome0:11

to lecture six of the GRE course,0:15

and before we get going,0:18

a couple of things about notes and things.0:20

One is that thank you for those who filled0:25

in things about the the emphasis things,0:28

some very useful feedback there.0:31

One of the things that was mentioned0:32

was which I think it's very easy0:34

to just think about audibility.0:37

And I think the rumours against us there0:39

because there's quite a low ceiling here0:43

of soft material fabric at the back,0:46

so there's not A and also there's0:49

think because a shelf there a0:51

bit of a poor impedance match.0:53

So I think it is quite possible0:55

that I'm yelling down there.0:57

You can't necessarily be very well here,0:58

so I should aim to project.1:00

But if I'm failing.1:03

At the back,1:06

just shout out volume or something.1:07

Just yell.1:08

And I think we're going to handle that.1:10

No, another thing that was mentioned was1:14

the issue of just the volume of stuff.1:16

And I have a sleep and and and how1:20

how one navigates around those and so1:22

I'll recap a bit and and remind you.1:26

They believe each chapters aims and1:29

objectives aims at the high level things.1:32

The you know the point.1:35

The objectives are the things which1:37

are also useful but are less exciting,1:39

but are accessible in the sense that1:41

there are things which you can I1:44

can ask you to do and in an exam,1:46

and those structure the you should have1:48

those in mind when reading through1:52

reprocessing the notes after the lecture.1:55

If you look at the exercises1:59

at the back of the chapters,2:00

a lot of those are keyed to2:02

fairly specific objectives.2:05

So you you,2:06

you,2:07

you can see all this exercise is in2:07

the service of that objective and look2:10

through things with that in mind.2:12

Another issue is that it's2:14

sometimes difficult to.2:17

It is. It is a defect of the2:22

notes that there are a lot of it.2:23

It's something a little hard to2:25

see what the the key thing is.2:26

So what I've spent some time last2:28

weekend doing is adding to the notes2:31

some sort of key points in selective2:33

sections and in the slides that2:35

you'll see now at the end of these2:38

sections that are point, point,2:40

point of just the highlights of that.2:41

Now having said that,2:44

I'd encourage you not to look at2:45

those because I encourage you.2:48

You go and look at and and and and2:49

do the same exercise for yourself2:51

because picking a section and going2:53

what am I supposed to be getting out2:54

of this and writing that down is by2:56

itself a very useful exercise because2:59

seeing standing back a bit and seeing3:01

what was what was the point of that,3:04

I get it is a useful exercise3:06

but you see my version there as3:08

well in in the in the slides.3:10

I've also decided to put the slides3:13

up ahead of time rather behind.3:15

There's barely,3:17

there's there's essentially nothing.3:18

The slides that are.3:20

That isn't in the notes.3:23

But it might be, depending how you3:24

want to do what you would scribble on.3:26

You may want to use that.3:28

And I've also put up the as3:29

I said in the model posting.3:31

I've also put up the compendium3:34

of all the exercises.3:36

Usual thing is not useful to do these3:38

to look at the answers too quickly.3:39

But your Honor, students know.3:41

You know that and you can do3:43

what you like with those.3:45

You can undermine yourself if you want,3:46

and I'm sure you won't.3:49

And so that I I put that up just to3:51

remind me that those things are there.3:55

Not entirely obvious.3:59

You have to click on that4:00

tiny little arrow to see the.4:02

The contents are rearranged a bit4:05

just to make it look less huge.4:07

There, there, there are still there.4:09

They're just basically three-part4:10

three sets of of things in there,4:11

but in a couple of different formats.4:13

Any questions?4:17

OK, there there were other useful4:21

points in the the feedback.4:24

Which I will. Moreover,4:28

and I think of at various points,4:31

so that's not the only feedback.4:35

Other things you can think of to4:37

see mail me or it's all good. OK,4:40

where we got your last time was the end of.4:43

Section of of three one and4:49

we're just encroaching on.4:52

The differentiation we basically4:55

ran out of time, so if I can find.4:57

Five slides few. You moved.5:01

And we got.5:08

But so far there so there's a you5:14

know one of those key point things5:15

that that that that I thought the5:17

the key point from that section.5:19

So what I'm going to do this time is talk5:21

about how you do how do differentiation.5:24

In our of bases, in a case where the5:28

basis vectors that that were using5:34

to create our coordinates where5:37

they are changing over the space,5:39

we're first going to do that in flat space.5:41

And then we're going to do5:45

it in curved space.5:46

And the surprising thing is5:47

that that second step turns out5:49

to be the easier of the two.5:51

You think it was the other way around.5:53

So you have done this.5:57

This is to some extent another5:60

case where you've done this before,6:02

but not in this notation.6:04

So there's a slight notational issue.6:06

And there's also slight stepping back6:07

and seeing what it was you did before,6:09

because what you did before was6:10

things like you've seen the Laplacian6:13

in spherical porous bit of a mess.6:15

But it's a bit of a mess because R,6:18

Theta and Phi basis vectors are6:21

changing as you move over the6:23

the space and so the when you6:25

differentiate the components of a6:28

vector in those coordinates you have6:30

to do all sorts of stuff to get the.6:33

The the coordinate independent6:37

change in this vector as you move6:38

as it moves around the space.6:41

So, so, so this is about6:42

differentiating a vector field.6:44

You've got a vector field of6:46

for example the electric field.6:47

Are you asking how does that6:49

change as I move around the space?6:51

And that and and the Laplacian6:54

is part of the.6:55

It's part of the answer.6:56

It was simplified set of things6:59

a bit and talk instead just7:00

of plain polar coordinates.7:02

Let's start off simple and work up7:03

so the plane polar coordinates.7:06

Are um.7:09

Near Project source camera.7:14

Not that far. Not that far.7:23

Playing public coordinates are.7:27

ER. And E Theta. And we want7:33

to ask and and those are.7:39

Derived from the.7:44

The basis vectors?7:48

The Cartesian basis vectors.7:49

ER. Is. Costita. Having this7:54

done just to get the signs right.7:58

Ex plus. Sine Theta EY&E,7:59

Theta is equal to minus R.8:05

Sign. Theta EX plus.8:08

Are Cos Theta EY? No. Uh-huh.8:12

But you may say I don't remember8:17

that being there. And you don't.8:20

That's because the basis vectors of8:23

the the the plane polar basis vector8:25

you're used to are orthonormal vectors,8:28

where specifically the R is removed8:32

in order that these both be squared.8:34

However, this is in some sense the more8:37

natural one without that correction.8:40

And we can go into what?8:42

Into why that, why there is,8:44

but that are as they're8:45

deliberately and inconsequentially.8:48

It doesn't really matter how I define my,8:49

my, my, my, my, my basis vectors,8:52

just in this case,8:54

these ones are orthogonal but8:55

not orthonormal. For reasons.8:57

Which we can talk about.8:59

If need be.9:01

Now we want to ask how do9:02

these change as they go,9:05

as we move around the space?9:07

And that's not hard.9:09

We do things we we can say D by DROFER is.9:10

Well.9:18

Yard doesn't vary.9:21

It doesn't depend on our at all.9:21

D Theta is this honest with me?9:25

Either. You know, funny echo,9:29

I'm not sure it's just.9:32

Whose speech anyway D by D Theta.9:34

Of, ER, it's going to be.9:37

Yeah, it's going to be. A minus costs.9:48

Theta EX plus sine Theta E. Why?9:54

The other way. You have school.10:03

Thank you my sine Theta EX plus Cos10:09

Theta EY which is just 1 / r E.10:14

Teacher. And so on.10:21

So we we we can just just walk10:24

through those four possibilities,10:27

differentiating the the radial and10:30

tangential basis vectors with respect to R10:33

and Theta and get expressions which are.10:36

The remaining two are D by Dre. Theta.10:39

Equals 1 / r, E Theta and D by D Theta.10:44

E Theta is equal to.10:50

Made our ER and and and one of the10:53

reasons why orthonormal coordinates10:55

are good is because you your your void10:57

these extra factors of factors of R.10:60

So no surprises there.11:05

Now what happens if we pick?11:08

You pick a vector V and ask how does that?11:10

Change as we move around,11:15

as we move radially.11:18

So as you move away from the origin,11:19

how does how does the vector V change?11:21

Um, that's uh. Ebitdar.11:26

Of VR plus. Breathe easy.11:31

Peter. And which is? The DVR by11:37

Dre R + V RDERBYDR plus and and so on.11:48

And notice, by the way,11:52

that I'm I'm slipping in a11:53

notation here that. I'll use.11:58

Occasionally I'm indexing the basis vector.12:01

And the component with the symbol12:05

R rather than an index 123.12:07

So that's sort of a slightly12:10

slangy way of of indexing the arc,12:12

the arc component and the Theta12:15

component of of the basis vector of12:17

put that on on that slide as well.12:19

OK. And?12:26

Or we can just write that12:31

in in index notation as a12:33

DDIBYDREI plus.12:39

The IDE I by Dr. And. Ohh question.12:43

With respect to our like in this case,12:53

because it could be. Or or or or Theta.12:56

So what we can do is maybe more12:60

generic and exactly I think13:03

you suggest and say DV by D XI.13:05

Is going to be the VP of13:08

called JD VI by DXJE I + V.13:12

ITE.13:19

Uh. You know.13:22

Right. Aye, aye. By DXG.13:28

Yeah. So is that what you meant?13:35

Yeah. And we could have written13:38

that down from the outset.13:41

I'm just sort of easing us into13:43

into that expression from me13:45

because I just written that down.13:46

OK, but notice. That's a victor.13:51

But asking how does that vector13:56

change as you move around and and if13:58

the vector starts off here in this14:00

position and here in this position,14:02

then there's there's there's14:04

a change in that vector.14:05

So that change in the vector is a vector.14:07

Which is a number. Times a vector.14:11

A number times a vector.14:15

In other words, this DEIBYDXJ is,14:17

not entirely surprisingly,14:20

also a vector.14:21

Which vector is it? It's a vector.14:24

Then we can express that vector14:27

in terms of the basis vectors.14:29

So if you're right, DE.14:33

I by DX J. It's some some.14:36

Components.14:42

In multiplying the basis vectors and14:46

we write the components. Gamma K. GI.14:50

I think I've written IG. Sorry IG.14:57

And gamma here is called the Christoffel15:02

symbol or christophel symbols.15:04

No one seems to be quite clear15:06

whether a symbol or symbols,15:08

the crystal symbols are nothing more than.15:09

The one second, nothing more than the15:13

components of that vector in that basis.15:15

Basis the same as. Yes it is.15:21

So. So we're just,15:25

there's just we're picking a15:27

different, a different index.15:29

Yeah, so it's it's, it seems,15:32

a bit of vectors. This, this,15:33

this is a vector in that space.15:35

And so we're seeing if it's15:37

a vector in that space,15:39

then it's expressible in terms of15:40

the basis vectors in that space.15:42

And we could also have just written15:46

that down from scratch with the there.15:47

There's nothing was stopping us doing that.15:49

But this is a this is a motivating.15:52

This is mogamma. 50%.15:59

So good. It's. It's a, yes.16:04

So this is a number. Exactly.16:08

It's a set of N by N by N numbers. OK.16:10

Is that number, and yeah,16:18

yeah, so this isn't a tensor.16:22

It's it's not the components16:25

of a geometrical thing,16:27

it's just a set of N by N16:28

by N numbers. Thank you.16:31

So we can write so, so if we.16:36

If we go back a bit and and ask.16:42

DERBYD. Theta I wrote. Will make that16:47

EDEDEE 1 by DX. Two calling RX1 and Theta.16:54

And Theta equals X2. That will be. Um.17:02

Gamma one. 12 E 1 plus. Gamma 212 E 2.17:11

I'm just illustrating what the17:22

what what that some looks like.17:24

And from above and and and we could17:27

look back a page discovered that.17:30

The the the the ER by the Theta is 0 * E.17:33

1ER plus 1 / R.17:40

He 2IN other words, gamma 1/2.17:44

Is equal to 0 gamma 212 is equal17:48

to 1 / R and that's how you you17:52

you we we calculate what the these17:55

Christoffel symbols are for a17:58

particular set of basis vectors.18:00

It's a turning the handle thing.18:02

A bit tedious, but it's the sort of18:06

thing it's very easy to test, like,18:09

very easy to do, and several of the the the,18:11

the question of of the exercises are18:14

encourage you to just turn that handle and.18:17

There are no thrills in turning that handle.18:20

It's just a matter of of practicing18:22

doing so and not getting lost.18:25

OK.18:27

And and.18:31

Uh. So that.18:34

That means that in, for,18:41

for, for plane pollers.18:42

Gamma One woman two is 0 Gamma 2 and two.18:46

Is it same as gamma 2 to one and gamma?18:51

122 If you could monitor and we'll18:55

also write that sometimes as gamma.18:59

Are. R Theta equals 0 gamma Theta19:02

R Theta equals gamma Theta Theta19:07

r = 1 / R and gamma R Theta Theta19:10

equals minus R and again this is19:14

a slightly slangy notation which I19:17

hope is is clear but by our I mean.19:20

These would match up.19:25

So I'll, I'll just.19:30

So does that mean so any questions on that?19:35

That's mostly notational.19:40

Another notational section19:41

telling you something you.19:43

Again, the idea is this is19:44

telling something you do know,19:46

but in different notation.19:47

But it allows us to define19:51

the covariant derivative.19:53

Because what we have,19:54

if we if we go back a bit we we have the.19:56

V by DX J is equal to D20:02

VI by DX JEI plus. The.20:07

IDEI by DX J but we know20:16

that that is equal to gamma20:19

KIJK.20:25

And so if then we decide to20:27

renew, relabel that as. Uh.20:30

DVI by DXJ. He. Aye. And.20:38

And instead of eyes right keys instead20:47

of keys right eyes so VK. Gamma. I.20:50

KGEI. No, all I've done there.20:59

Is that these?21:03

Dummy these repeated indexes are21:07

dummy indexes, the eye and the key,21:09

so there can be anything.21:12

So I've decided to rewrite them21:14

simply with different letters.21:16

There's no that that's exactly21:18

equivalent expression,21:20

but what it means is I can take21:20

this EI out of there and get21:23

DVIBYDXJ. Plus Ek gamma21:28

IKJEI. And discover. That.21:34

Right, right. So.21:42

So what we have there is this is a.21:43

A vector. With components. That.21:46

And I'm going to write those21:52

components in a particular way.21:54

Would write those components as VI,21:55

semi colon, J. EI.21:58

And equal to VI comma J.22:03

Plus VK Gamma I KKJJ.22:08

EI where this notation VI semi22:15

colon subscript semi colon G refers22:17

specifically to that expression.22:20

And the the the notation of22:23

just introduced the VI comma.22:25

J refers to the the plane.22:27

Usual derivative of DVI by the exchange,22:31

so that's DVI by DX J.22:34

And like that.22:37

That's the last notational bad surprise.22:40

OK, punctuation in subscripts.22:43

I'm sorry,22:46

I didn't make it up.22:47

And. G is a little tricky to write neatly.22:50

I I I agree. My handwriting improved22:55

massively when I started doing this.22:58

No.23:03

Umm.23:07

Uh, you know, I have a quick question here.23:12

This illustration of that as that.23:19

And. So the the key point of the of23:23

of previous section were that the23:26

basis vectors vary over the space.23:27

We knew that. And that variation can23:29

be characterised using this notation23:32

using the Christoffel symbols.23:34

Um, so. A quick question.23:38

What sort of thing is23:41

determined brackets in the23:44

expression and that expression?23:46

Who's he with scaler?23:48

Who said it was a vector?23:51

Who said it was a one form?23:54

Tensure. A matrix.23:56

Have a brief chat about.24:01

OK. With that reflection in mind.24:46

Who would say that was a scalar?24:55

OK, a vector. One form. Tensor. Amatrix.24:57

Two of those answers sort of are correct.25:07

In one sense, yes.25:11

This this this is a scalar because there25:12

is the for pick and I pick an IG and key.25:15

Pick an iron key, and yes,25:19

there's a number which corresponds to this,25:20

so yes. But at the same time.25:22

For a reason which I'm about to elaborate on,25:26

this turns out to be a tensor as well,25:28

because or the components of a tensor.25:31

Because.25:35

What we have here is our. Thing25:39

which linearly depends on the. Um.25:43

Right.25:49

I'm going to go through the, the, the.25:52

That's actually in the way I expressed on25:54

in my notes because rather than busk are25:57

possibly confusing answer, but it is. And.25:59

So um.26:06

The key thing is.26:15

That this this vector, this vector here.26:18

Is. Proportional to the.26:22

Basis vector. Each egg.26:26

If you made EG twice as big,26:30

you make all the components half the size,26:33

and that vector would would would change26:36

inside inside the cornely accordingly.26:38

So there's a a proportional26:40

relationship between those things.26:41

So this is a a thing which26:43

depends on the variation of.26:46

V around the plane and the size of the26:48

depends on the size of the vector,26:53

which corresponds to D by the XJ.26:56

Which is the basis vector.26:60

So what we can do?27:03

Is we can define.27:05

Are A11 tinger.27:08

Nabla V.27:15

And we'll define that by saying that27:18

the action of that on the vector.27:21

East. How do I call it EG so the27:24

11 tensor so it takes a vector27:30

argument and A1 form argument?27:34

And the action of it on on there. Yeah.27:36

Right.27:43

I'm, I'm, I'm, I'm, I'm, I'm gonna27:47

write it in a way other way around,27:49

in a way to just make sure27:50

it's consistent with my notes.27:51

Just just the the the27:53

distinction is important but.27:55

The action of that one one27:56

tensor when we give it when we27:58

give it 1 vector as argument.27:60

One basis vector as argument is DV by DX J.28:01

As a victor. So.28:09

We're seeing let there be a tensor.28:12

Which is related to V which we're going28:16

to call the covariant derivative tensor.28:19

And our definition of that tensor is through28:22

is through the slightly indirect way.28:25

Remember that the tensors A11 tensor28:29

takes A1 form and a vector as argument.28:31

And if we give the vector argument to28:35

that covariant tensor, I'll get a moment.28:37

If we give a as the vector28:39

argument to that tensor,28:42

one of the basis vectors,28:43

then by Fiat we say the value of28:45

that tensor is this vector here,28:48

and being a vector is something28:50

which takes A1 form of argument.28:52

So there is a missing one form28:53

argument in both in both places.28:55

Yep.29:04

The acoustics in this room are not good.29:07

Right. And I it's we could29:13

pick any basis vector here,29:17

So what we've said. And and.29:20

If you remember the basis vectors. Are.29:26

EI equal to D by DX I.29:32

And so we'll just pick a random29:36

basis vector in this case,29:39

EG and we're seeing if we apply29:41

EG could be anyone picked, EG,29:43

then we get the derivative of29:45

that vector V with respect to29:48

the corresponding coordinate.29:51

Coordinate function. OK, right. And so.29:53

What we have here then?30:01

That's as I've said this this notation30:05

with the dots and and and and missing30:08

arguments is that your conventional,30:11

the there isn't really a completely30:13

conventional way of writing of writing these.30:14

But one Commissioner,30:16

we are writing these is to30:17

write that as nabla, EG. V.30:19

Where we're rate the.30:24

This this vector argument30:26

as a subscript there.30:28

And. We that we write this visually often,30:33

that of course we want to abbreviate30:38

it so we end up writing we now blog.30:40

V. And that is it. It tends to be a30:44

short version of that, and that is.30:48

Just means that it means that this tensor30:51

nabla V with one argument filled in.30:55

In a in a slightly funny place.30:58

Written down is like money. Please. So.31:01

So if we add so we have a tensor nabla V.31:08

Want to ask what other?31:12

So stepping back a bit, what other31:14

components IG of that tensor?31:16

And. What we do is we now31:21

have a V and fill in Omega.31:25

I egg. But we know that that is31:28

also written as nabla, EG um.31:34

V and the ith component of31:46

that by filling in the. And.31:48

So so by by filling in this Omega I we're31:54

extracting the ith component of this.31:58

Vector here of this vector here.32:01

So again the ith component of the of this.32:04

Napa V EEG, which we also32:07

write as an Apple ID. P.32:11

So G. Aye, I'm and that and in32:17

particular by comparing it with32:21

on the previous sheet that is.32:24

VI. G. So it's important to look32:26

at to to to be clear what we're32:31

looking at the very stages here.32:33

So Navisa is a tensor.32:35

We're asking what are the IG32:38

components of that tensor?32:40

How do we do that?32:42

We plug in Omega and and and and egg.32:43

You know the two are the two one form32:47

and vector arguments of that thing.32:50

But we know what that is.32:52

We can we just notationally change.32:54

That and there. To this.32:57

The Omega I is extracting the32:60

ith component of the result,33:02

so it's the ith component of this33:04

vector because so this is by now.33:07

This by now is a vector.33:09

We rewrite that as.33:11

For convenience, not nabla EG,33:15

but just nabla G.33:18

And we know from from this.33:20

That the other way we write that33:24

is with this VI semi colon J.33:27

Which expands. To this.33:30

So there's quite a lot33:34

packed into that line.33:35

It's we'll we'll take a33:38

couple of goals through it,33:40

but I think it's important that you33:41

understand what different thing,33:43

what different things are happening33:44

in each of those equal signs.33:46

So make sure that you're that33:48

you have a story in your mind for33:50

what that equals sign is doing.33:52

That equal sign is doing,33:53

that's equal sign is doing,33:54

and that equal sign is.33:56

Question.33:59

It's it's a semi colon at the end, yes.34:02

Yeah. What the meaning of34:05

ohh that that semi colon is.34:07

Have this. Yeah. So this.34:10

the I semi colon G.34:17

Is this expression here?34:19

So is VI comma G where we've34:21

introduced the rotation?34:24

Iconology is just that, it's the derivative34:26

of the ith component of the vector.34:30

With respect to the XJ, nothing, nothing.34:34

Covariant just goes straight forward.34:37

That's real four thing plus the other term.34:40

So that's and and that is the.34:42

The the components of the34:46

11 tensor which is nabla V.34:47

How is it the one one?34:53

If you vote, you buy the vector space,34:54

the vector position, so so.34:56

With both of those empty.35:01

But there's a on one format and and35:03

a vector thing. If we fill one in,35:06

then that thing there becomes a vector.35:09

Because that thing had it has35:13

a single one form argument,35:14

so shouldn't it be a 0?35:16

So, so so that is a 01 tenger.35:18

That is a. But.35:23

It's a it's A10 tensor.35:28

It takes a single one form of argument,35:31

so that takes up one form of35:34

argument that takes A1 form35:36

and a vector as argument.35:38

So, so, so the nabla.35:41

The the tension. Is it?35:44

That thing is 11. It won't.35:47

Whole thing is 10 once we35:49

fill in one of its arguments.35:51

Then what we what we're left35:55

with is 1 unfilled argument.35:58

And therefore it's a vector.35:60

So remember that if you have a, a.36:04

A11 tensor. It's a move.36:11

Takes 1 vector one, one form36:14

and one vector as argument.36:16

So sitting there with two holes at the top,36:20

ready to have things dropped in36:22

handle turned a number come out.36:24

If we put me into one of those holes.36:26

There's only one hole left over.36:28

In this case this this thing here. Nabavi.36:31

Is the thing with two holes at the top.36:35

Had one form and a vector hole one,36:38

but we have filled one of those holes.36:41

So what we're left overall?36:44

Is a thing with one form whole on.36:47

Open as it were.36:52

In other words, a vector.36:53

Which vector? We're seeing it's this, victor.36:57

And I'm carefully writing here37:00

the argument of this vector.37:02

It being a vector,37:05

it has a single one form hole. OK.37:06

So. This is, it's like we've sort of37:10

reversed into this definition of what?37:14

Of what the tensor is.37:16

We've said there shall be a tensor. And with.37:17

Attention with attention with two slots,37:23

yes, one form and and and and and a vector.37:24

It is empty, yes.37:30

In other words, this thing here is a vector.37:31

This thing here is a vector,37:34

which we've illustrated by showing37:36

that there's a single one form shape37:38

slot which which we filled in.37:40

And we know what that is.37:43

And so this whole business here is.37:45

It is doing a bit of a notational dance to37:48

to discover what the components of this.37:52

Tensor.37:55

There's one tensor.37:56

It corresponds to this thing that37:57

we've just that we worked out earlier.37:59

OK. That might need going back38:04

back through again, but a bit of38:07

digestion you will have a little bit.38:09

Well, it's another sort of thing that38:11

you can sit back in the bathroom,38:12

think, think, think your way through.38:14

I think you have to stare at it for a38:15

while and get some illumination that way.38:18

Just to clarify implementation,38:21

so if you ever give us a nobler, yeah,38:23

then something after the Nova and then you38:26

either superscript or subscript something,38:29

that means that it's you have added38:32

a basis something onto the and the38:35

thing that comes after the number.38:37

If that makes sense.38:41

I know where you're going,38:42

but I think that in this case.38:44

You should think of that.38:49

I think here Nabila isn't38:51

really being an operator.38:53

I mean, it's not with an operator and isn't,38:54

but in this case there isn't a38:56

nabla operator that acts on things.38:59

We we ask what is the39:02

covariant derivative of of V?39:06

How can we talk about how V changes39:08

as we move around the space?39:11

Then. There's a tension there.39:13

We've said there's a tensor which gives39:16

that which which gives that, that,39:18

that, that, that, that, that answer.39:20

We could call it Q, we could call it Omega.39:21

We call it anything we're like,39:24

but the way we the the name we give it.39:26

It's a 2 character name if you like.39:29

There's a number of.39:31

OK, so I can have like A1 form,39:33

that's nabla A1 form,39:35

and then I have an I substitute39:36

because I have added the one form.39:39

We're going to complete the command39:43

derivatives of 1 forms and momently.39:45

But I think right now the useful39:48

thing to think about is is is is39:49

not to think of this as an operator.39:51

This is A2 symbol name for the tensor.39:53

Which corresponds to V.39:58

Which is the,40:00

which describes how that tensor varies.40:02

How how how that vector varies.40:04

That vector field varies as40:05

you move around the space.40:07

So I think the next bit may40:09

answer your question, I I think.40:11

Keep this is moving less quickly40:17

than I'd rather had hoped, but.40:19

Another thing that you might see is no40:24

might about it you will see is if you ask.40:28

Specifically annotation like. And.40:38

Nabla X number subscript X or V?40:43

And what does that mean?40:47

It. It means as we can see here.40:51

This tensor nabla V.40:55

With this X argument.41:00

X is a vector is important X41:03

i.e I so that is going to be.41:07

Excuse me? XI, Tableau V.41:12

Till the E. Aye. Which is. XI.41:16

VI semi colon GE.41:26

G. To.41:31

And is X IVG semi colon IE.41:35

Gee. I would have done there.41:43

So here this this tensor what41:46

character is is it's. It's.41:48

It's vector argument is written41:51

conventionally subscript.41:53

In other words,41:54

it's the it's the vector argument41:55

we supplied to this one one tensor.41:56

Then you need your argument so we can41:58

take the XXI out and and have this,42:01

but we know what to do with that.42:03

You're turning the handle here42:04

and we get X IVJ semi colon I42:06

e.g so this is is the.42:09

So this is the comment derivative of.42:11

Of of of V with with argument X42:16

rather than one of the basis of42:20

vectors is asking. How does the?42:23

The house how what this is doing42:29

is is is essentially asking how42:31

does the the vector field V vary42:34

as you move in the EEG direction.42:38

This is asking how does the vector feel42:40

very as you move in a more general,42:42

more general, different direction.42:44

So we started off talking42:46

about the support terms.42:47

That's just a slightly more42:48

general remark based on that.42:50

I want to get into this section um.42:54

So.42:59

What we've done it remains to define43:02

a tensor field associated with the V.43:05

So V is a as a vector field,43:08

it takes a different value at43:10

at each point in the space.43:12

We've managed to find a tensor field,43:14

and there was a 11 tensor which takes a43:16

different value at different points of space.43:17

We've called that tends to field43:19

the covariant derivative and would43:21

define it in such a way that the43:23

answer gives us when we put in its43:26

two arguments is the amount that the43:28

speed at which the vector field V43:30

varies at that point in the space.43:32

Remember vectors you put in43:34

a vector about tensors,43:35

you put in a vector in one43:37

form and you get a number out.43:38

In this case,43:39

the answer to the question when you43:40

put these two things in is how fast43:42

is what's the ith component of the43:45

variation of V as you change X.43:48

G.43:52

So so when I when I talk to the beginning43:56

about this idea that Victor was our43:59

attention was a a real valued function44:02

of vectors in one and one forms.44:04

This sort of thing is the thing I'm44:07

saying attention is the put vector.44:09

Wonderful. Then turn the hand it44:11

comes in a number and answer.44:12

In this case that's what the answer is.44:14

Now we can also in the last five minutes. Uh.44:16

Umm.44:24

The point of a covariant um.44:27

A covariant derivative is that44:31

its coordinate independent.44:33

We've described this.44:35

Using arbitrary coordinates.44:38

But the answer is not a44:40

coordinate dependent thing.44:42

That's the point of what's44:44

the point of all this?44:44

We're we're we're able to44:45

answer question how do vary in44:47

a coordinate independent way.44:50

But if you remember.44:51

If we had a function.44:54

That's a scalar field. Then when we.44:58

Obtaining the gradient of45:03

that scalar field. We got.45:05

A1 form answer which was was also45:09

because a scaler is coordinate45:12

independent which is also the the thing.45:14

Also here is coordinate independent45:17

so for functions. The coordinate?45:19

The covariant derivative.45:22

Of a function is just that,45:23

it has it been just that. Great.45:26

Operator, we we've seen before.45:29

And um.45:33

I'm not going to go through.45:40

I invite you to look at. Equation.45:42

The discussion just don't really45:46

have time to go through in detail.45:47

Equation 3242526 where we discover that45:49

the covariant derivative of one form.45:53

Is Pi semi? G is equal to Pi comma G minus.46:01

Gamma. And. Key IGP.46:12

OK, which looks just like the46:20

expression for the derivative46:24

of the derivative of a vector,46:26

except there's a A minus sign.46:28

Here where there's a plus sign for46:32

the for the vector and there's a46:34

quick derivation of that there which46:36

I'm not going to explain effort46:38

on and and similarly with with.46:39

With the sensitive higher rank you you46:41

end up with one plus and 1 minus sign46:43

for each of the one form and vector.46:46

Are they? Are they measuring46:51

on the on on the next page?46:53

And the last thing to to remark is46:55

that the Leibnitz rule. Does apply?46:58

Well, the key to make use of this PK, PK.47:02

That's that's the commander47:06

of a vector of a scalar,47:08

which is a contraction of those things,47:10

and it does end up being indeed P.47:12

He semi colon GVK. Plus PKV.47:17

The key thing called G.47:25

Actually the library's rule in that47:28

case and I I mentioned that just to47:30

reassure that still is is the case,47:32

it would be a strange and disturbing47:34

derivative operator which47:37

didn't where that wasn't true.47:39

So the key thing here I think.47:41

Blah blah blah.47:45

Not over that.47:47

Measuring why the work47:51

very is used is useful.47:53

Which will put over this and47:55

ohh yeah that's the point.47:57

When we take the derivative47:59

of a higher rank tensor,48:00

we get one plus and 1 minus for each of the.48:02

Of the indexes,48:07

I think it is useful to to just quickly48:08

go through these key points because48:11

we've covered a lot in this section.48:13

It all, it is a bit of a hair dryer48:16

lecture this one which is disturbing,48:18

but there are.48:21

All the time the question being48:25

answered had been had been48:27

afraid of straight forward one.48:28

Given a vector field, how does it vary?48:30

How can you talk about how it48:33

varies as you move around the space48:35

in a coordinate independent way?48:37

And we'll talk about those defined48:39

what the components of that,48:41

we'll talk how that and there is48:43

a tensor A11 tensor which gives48:46

you the answer to that question.48:48

The question then comes how do we48:51

find the components of that tensor,48:53

the IJ components of that tensor?48:54

We discovered by slightly reversing48:57

into it that we could do that48:59

by simply considering the, the,49:01

the, the, the,49:03

the steps involved in differentiating49:04

the components and then the basis.49:06

Picture of our vector.49:09

And we had this interesting rather49:12

strange notation with semicolons,49:14

discovered the covariant derivatives of49:15

vectors of scalars and one forms to be49:17

something we had sort of seen before.49:20

And although I had rather hoped to49:22

get on to the to the next section,49:23

I have managed to get through this49:26

section without rebellion on your part.49:29