ERROR at 21:00, the 1st line, there should also be a (partial v1/partial u1)*e_1 term because of the summation over k. I neglected to add this term in. ERROR at 21:11, the 2nd line, 1st component, v2 should be multiplied by 1/2 sin(2u), not a subtraction. Minor error at 19:52; I wrote e_z instead of e_y in the last 2nd order derivative

@official_korea

2 жыл бұрын

For someone who is looking for the typo in 21:00, it is actually in 21:03

This is absolutely incredible. He explains so clearly and simply what many dozens of differential geometry fail to do.

@nahblue

6 ай бұрын

I'm hoping these videos are archived in the world's libraries, so valuable.

Hi Chris. You know, I was desperate to understand the whole thing about COVARIANT DERIVATIVE. I had to leave my readings about tensor and started to read only about Differential geometry. I got dizzy with all this mathematical verbiage and had to leave the issue. But now I see your video and believe me, it was like to uncover my eyes, I can see the light again and you did it only in half hour. Why the expositors do not take time to show the origin of their ideas? It is not difficult, and this video is one example of that. Maybe they only repeat like parrots the others dishonesty, maybe there are good books, but is very difficult to find them. The higher you go in math or physics the more complicated they make you the understanding. It is dishonest to do that. Thank you, thank you, very much for your job. Please do not stop, there are still a lot of concepts that need to be clarified and be able to understand Einstein's equation

@MrPetoria33

5 жыл бұрын

Gerardo Guevara Pavel Grinfeld’s book on the subject is an excellent introduction that isn’t bogged down by pedantic abstract math formalism. He also has a YT channel MathTheBeautiful with his lectures on the subject (he happens to be a fantastic lecturer as well as a good writer, so an excellent resource). I also recommend Bernard Schutz’s books on GR and mathematical physics as well as Frederic Schuller’s video lectures when you want to start diving into the more abstract side of things (highly recommend some primer on real analysis, topology, and abstract algebra first though).

@CuriousAldo

4 жыл бұрын

@@MrPetoria33 I stop watching MathTheBeautiful to watch eigenchris. No one explains Tensor Algebra and carries out the same notation, jargon, concepts, and tools to Tensor Calculus so well on the internet! Thanks eigenChris!!! Fantastic work! you changed my life too!

@rodas4yt137

4 жыл бұрын

You don't how much I feel you mate. It looks like the world's been invaded by zombies who repeat a meaningless rigmarole. Those who can explain the meaning and origin of ideas are gems in the desert. I don't even know how some people are convinced to be understanding when to my criteria they are actually not. It is still a truly mysterious subject to me.

Incredible, this is the clearest and most comprensible video I have ever seen on parallel transport. The series is getting really interesting and I am alway waiting for the new video. Thanks for your great effort.

@eigenchris

5 жыл бұрын

Thanks. It's a topic I've found very confusing. I'm glad the video has helped clear things up for you.

@jacobvandijk6525

4 жыл бұрын

You're right, Manolo. If HE can make ME understand this stuff, HE must be very good ;-)

Belíssima aula. Didática, simples e objetiva. Derivada covariante nunca será um conceito difícil, após estudar esta aula. Não vi, até hoje, explicações sequer parecidas com as que você disponibilizou para nós, simples mortais. Parabéns.

Thanks a lot for these very useful examples of the covariant derivative in action. I cannot wait to see more of these from you.

Your work is both greatly appreciated and greatly admired. Thank you for everything you have done.

Bravo! You're videos are the shortest distance between two points in the mind.

Thanks for you being exact, detailed, illustrative and simple at the same time !!

Outstanding intuition building! You seem to have the only videos on the subject that demonstrate understanding of the source material. ie: you can clearly explain things.

This is the clearest explanation of the covariant derivative (CVD) I have ever seen. You are especially clear on the connection to parallel transport and the CVD. Most textbooks use parallel transport to vaguely relate it to the CVD. You closed the loop very well.

Amazing video series! Thank you for all the effort and care into that! Please keep it up!

this is the most amazing learning material I've ever seen!

I'm a chemical engineer watching your video series just for fun - what amazing, crystal-clear explanations you give. Thank you!

Your videos are simply amazing! Please make more videos about this theme, would be great! Every student should see this. Sério, muito bom.

Studying for a relativity exam, these are incredibly helpful. My deepest thanks to you for the amazing explanation.

Beautiful! Looking forward to intrinsic case.

Great to see a updated video!

Wow! I have been reading multiple resources about parallel transport. This is the most intuitive and the best version, especially at 32:00 when you show the cone. This is crazy!! I love it!! Thank you for making all these great videos.

@eigenchris

5 жыл бұрын

Thanks. Parallel transport is a topic that has confused me for a while. Making this video helped me understand it better. I'm glad it helped you too.

The guy with the blue vector at 3:39 looks like he is flipping off the universe. Jajaja. This is the greatest content, man! Tight as hell!

keep making videos please. i have seen no one explains that simple like you.

非常棒的视频，解决了我长久的疑惑

Thank you for making all these great videos.

Really great video, very nice insight into parallel transport and covariant derivative. Great :)

absolutely incredible video, thank you!

Dear Chris I can not express how much grateful I am to you. I am an amateur physicist and electrical engineer. I have been cherishing the dream of learning Non-Euclidean geometry and GTR since I am a kid. But I was unable to grasp the concept of Tensor analysis until the final year of BSc.Since last one and a half year I have taken various initiatives to learn Tensor but failed every time. I found your video series just 2 days ago and watched almost all videos. It has been so useful that I gave me the thrust that no one could not give me ever before. Thank you Sir. I wish you all the best ♥

@eigenchris

5 жыл бұрын

Thanks. I'm happy this series has made your life easier. I've tried and failed to learn tensor calculus and GTR several times. That is why I started making this series--hopefully it smooths out the journey for others.

you are a legend my bro. seriously. keep up

Beautiful work. Thanks.

Excellent description

Hi Chris: The Schild's ladder construction (p. 248 of Misner, Thorne, and Wheeler and en.wikipedia.org/wiki/Schild%27s_ladder) so far makes the most sense to me to define parallel transport. It applies to parallel transport along any curve (not necessarily a geodesic). It works for your example of the curve being a circle in flat space (thanks for the example).

at 22:58 you say correctly u1 but write u2 - thanks for all the hard work

Thanks a lot for this well explained video

Great video bro. I have GR exam tomorrow and I hope this will be useful

I can’t wait for the next video! Is a Riemann/Ricci tensor video planned after the last one on the covariant derivative?

@eigenchris

5 жыл бұрын

Yes, those will probably be the last two things I cover. I don't fully understand the Ricci tensor yet so I still have some learning to do.

What a nice work, thanks a lot !

@eigenchris

5 жыл бұрын

Thanks.

I love you!!! Amazing!

@chymoney1

5 жыл бұрын

Stop copying me

If more textbooks followed the style presented here (smart use of colored text, good illustrations, lots of examples), math would be way more accessible.

Brilliant !! Thank you!

Awesome! Thanks :D

You are Great!

one extra question: according to your definition of the covariant derivative (which is the ordinary vector derivative in R^3 space subtract the normal component),it seems the graph in 3:40 fits the definition as well since there is no rate of change of the vector in R^3 space,then if we use x-y-z coordinate to calculate the rate of change of the vector,then it should be zero. The normal component should be zero as well(since the normal component of the rate of change of this vector is zero),therefore the final value will be zero. because you use extrinsic perspective in the graph,therefore you can use normal xyz coordinate to treat the vector as normal,if every point on the sphere assigned with a vector that is pointed into x direction,then the "ordinary part" whould be zero(there is no normal part as well),therefore this fits the definition as well. However this cannot be true since in 3:40 you said that the vector will be pointed into the sky geometrically ,but algebraically we can get zero which fits the definition. there is contradiction between your explanation and the definition?

@eigenchris

4 жыл бұрын

I should have said that the definition only applies for tangent vector fields. The example at 3:40 involves a vector that is not tangent to the surface.

thank u dad

Thank you so much.

Quite helpful

One question for the cone illustration at the end: Are you saying that covariant derivative only depends on the first-order (tangent) property, and that's why you can just replace the space by another one that has the same tangent space along the curve and get the same covariant derivative?

Hi Chris at the end of the video min 31: 48 suppose I want to go through the same curve Lambda and parallel transport a vector in the direction e2, to get a covariant derivative equal to zero the vector field should rotate slightly clockwise correct?

Dear Chris. Please forgive me with my observations. I just want to confirm one thing. IN minute 21:03 I think you left aside one term in the covariant derivative of (v) respect to e(1) , and it is the partial derivative of v(1) respect to u(1) times e(1). Am I correct? Or that term is also null?

@bahtree2385

3 ай бұрын

Yep you’re right, he’s mentioned that mistake in the description as of now. There should be an extra term there :)

I think that you should say the covariant derivative is the rate of change of a vector field with respect to the coordinates that describe the surface. In this particular case the two angles of the constant radius sphere.

Just to be clear, is the superscript on partial of v^j with respect to partial p^i @0:59 seconds supposed to be partial of v^k with respect to p^i (inside of the parentheses) when the covariant derivative in polar coordinates is expanded? It is written this same way in video #17 on covariant derivatives in a flat space. Just wanted to be sure that the index j is swapped for k so that we can factor out e_k from both terms in the sum...

Hi,Chris, at 15:00, is it okay that the n-component is zero?

Much appreciated. 6:00 Only intrinsicially curved?

31:35 What is the geometric interpretation of the tangent plane and the Normal vector in this case?

regarding mistake at 21:00, doesw the e_1 term have any gamma part? Or is it partial v1/partial u1*e_1 + [partial v2/partial u1 + v2*Gamma 221]*e_2 ????

Thanks for you

Regarding your note of the error at 21:00 : I don't see the (partial v1/partial u1)*e_1 term in the final form of the equation at 21:14 either.

Hi, Chris, I have returned to read about GR and after seeing this video I wonder in 4-Dim how you can decide which is the normal component? Or in the general case of the covariant derivative of a general tensor what is that part that you must eliminate?. I guess it has relation with the way you parameterize the phat because of many books define the covariant derivative in terms of components of the tensor doing the dot product with the tangent vector. MAybe you will treat these issues in the next videos. I hope not to bother you with my questions

@eigenchris

5 жыл бұрын

I will cover this in my next video. Spacetime is intrinsically curved, and nor embedded in a higher-dimensional space, so there is no normal component.

Wouldn't the formula for covariant derivative be d v/ du^i - (n.(d v/ du^i))n=d v/ du^i - v^j L_ij n, in other words you need to scale n according to how much dv/du^i projects on it? See 14:45

Wonderful lecture. Thank you very much!

Covariant derivative notation looks like gradient of v by direction w. But they are different, right? Especially, gradient must include inverse metric tensor, but covariant derivative doesn’t care.

@eigenchris

2 ай бұрын

The gradient takes a scalar field and produces a vector field. The directional derivative (dot product of gradient and vector direction) takes a scalar field and a direction, and produces a new scalar field. The covariant derivative is more like a generalization of the directional derivative. The covsriant derivative takes a tensor field and a vector direction amd produces another tensor field.

6:50 Wouldn’t the problem be resolved if you could only transport vectors along geodesics? Not closed loops or not going along an indirect path?

I found interesting that unifrom circular movement in physics is actually parallel transporting a vector, in this case the tangent vector, the velocity vector always tangent and in order to get the movement circular there is always an aceleration pointing towards the center. in this case we always get the same vector or the tangent field vector space.

@taraspokalchuk7256

5 ай бұрын

as well as any movement on any stationary surface. the velocity is tangent to the surface and the acceleration is perpendicular to the surface

Chris, this is a fine series. Someone should give you a medal. However, there's one point which is troubling me in this video - you are relying on the dot product in your calculations, which means you need a metric tensor. AFAICS, to use the dot product with the n normal vector, you need a metric tensor that works in the 3d extrinsic space, rather than just the 2d intrinsic space of the sphere - where are you getting the components of that metric tensor from? Or have I confused myself?

@eigenchris

4 жыл бұрын

This video is about extrinsic space (as it says in the title). The next 2 videos deal with intrinsic space and will hopefully answer your questions.

Truly an excellent video. I am reading The Geometry of Physics. See page 238

Chris, big fan here, but how do the Christoffel symbols tell us how much of the tangent plane vectors we need to produce the vector in the tangent plane corresponding to the three dimensional vector in purple as illustrated here. The Christoffel symbols are partial derivatives of the metric and as such tell us how far the basis vectors deviate from the coordinates. How does this tell us as normal components how much of each basic vector we need. answer this and I'll buy you more coffee. thank you 🤓

Ciao Chris ref.min 24:42 I would get the same Cov.der.=0 along Lambda even with vector field v=e1 right?

amazing video. I'm having trouble demostrating how the covariant formula you derived simplify when lambda is a geodesic. I read only the first term is still there, and the one with christoff symbols is zero. Why it sort of makes sense i cant understand mathematically why it vanishes. Can anyone help?

Thankyou for your marvellous lectures. I have just a minor quibble regards your diagram of the tangent vectors diagram (Tensor calculus 18: (23.31min). I thought lambda proceeds 0 -> pi/2 and therefore should the tangent vectors therefore begin at lambda=0 with a vector 1e2 and rise in the northern hemisphere until lambda=pi/2 and a vector -1e1

@eigenchris

4 жыл бұрын

It's been a while since I looked at this video. Are you confusing the formula for the vector field v with thr formula for the covariant derivative of v? I think the diagram is correct.

Question on 08:00 : The magnitude of the rate of change is 1 -- is it similar to the situation where you demonstrated that the partial derivative of a vector against a coordinate is the unit vector in the direction of the coordinate, i.e. taking the limit as the parameter difference approaches 0 ?

@eigenchris

5 жыл бұрын

What are you referring to when you say the magnitude of the rate of change is 1?

@JgM-ie5jy

5 жыл бұрын

@@eigenchris The derivative is set equal to unit normal vector n^, whitout any scaling factor. So the magnitude of the derivative would be 1 always. Where am I wrong with this ?

@eigenchris

5 жыл бұрын

That normal vector is not actually a unit vector. You can see around 14:45 that I cancel it with v^j*L_ij*n_hat where n_hat is a unit vector.

Hey Chris, why did you not need to change all the j indexes to k at 14:27 ?

@eigenchris

2 жыл бұрын

Each term is its own separate j-summations that are independent. We can relabel each pair independently. The fact that both sums had j-indices was just a coincidence.

if flat space is 3d or higher rather than 2d, then also does the normal component in covariant derivative vanish?

Great video. I cant really thank you enough for these. But I have a question. This definition really reminds me of the Lie derivative, they say lie derivative is independent of metric,but how? How is the covariant one depends on metric,but the lie derivative doesn't, when both are defined on a "direction" defined by some parameter?

@eigenchris

3 жыл бұрын

I think video 21 is on the Lie bracket (which is the Lie derivative for vectors). I recommend looking at it, but unfortunately I think I botched the explanation of this exact question somewhat and I will probably need to redo the video eventually. The Lie derivative is defined as L_X(Y) = X(Y) - Y(X). This basically means taking "how Y changes along X" and comparing the result to "how X changes along Y". Because there's a "subtraction" involved, the 2nd derivatives in each term cancel out and you don't actually need to define connection coefficients in order for this quantity to make sense: L_X(Y) = X(Y) - Y(X) = (X^j ∂_j(Y^i) - Y^j ∂_j(X_i))∂_i. In a certain sense, the "comparison of two things" eliminates the need for a connection. The covariant derivative shown in this video is about seeing how a vector changes along a specific path, and this requires a definition of how a vector moves from one place to another. The "connection" defines this for us and so it is needed for the covariant derivative.

@amirrezaa3808

3 жыл бұрын

Many thanks!

Congratulations for the videos , they are excellent. I have a doubt . Why the covariant derivative subtracts the nornal component?

@eigenchris

2 жыл бұрын

We want a derivative that can measure the rate of change of vectors that live on the sphere's surface only. You can imagine trying to measure how a river on the earth changes. Is the river straight? Or does the river zig-zag back and forth? If the river is "straight", there will still be some slight curvature due to the curvature of the earth. We want to ignore this, so we substract the normal component of the derivative. So when the covariant derivative is exactly zero, this tells us that a river on a curved surface is "as straight as possible" on that surface.

@alancosta1988

2 жыл бұрын

@@eigenchris if we didn't subtract the normal component, the path could get out of sphete, is it?

@eigenchris

2 жыл бұрын

@@alancosta1988 The ordinary derivative being zero would give us a "straight line" that leaves the surface of the sphere, yes.

@alancosta1988

2 жыл бұрын

@@eigenchris thank you very much for the help.

which book will you recommend for gaining this type of concept?these are really fantastic

@eigenchris

3 жыл бұрын

I don't have a book, but the best lecture notes I found on "classic" differential geometry (before Riemann manifolds were invented) are these notes by Lia Vas: liavas.net/courses/math430/

@awaishassan9142

3 жыл бұрын

@@eigenchris thank you so much sir.

What about a special vector field that points radially outward everywhere? Isn't this a constant vector field for the spherical surface?

@eigenchris

Жыл бұрын

I guess you'd be right, but I'm specifically considering the case of vector fields tangent to the sphere here.

At 32'24'' wouldn't the same picture with the cone apply if the curve was on the equator like in the previous example? And if that's the case wouldn't the covariant derivative on the equator curve also have nonzero covariant derivative?

@eigenchris

3 жыл бұрын

A cone that sits tangent on the equator would be "infinitely tall"... in other words it would be a cylinder, and parallel transport on a cylinder is the exact same as parallel transport on a flat plane, so there's no "twisting" of the vectors.

Good Day Chris, in your Video 23:22 stated covarient derivative along equator is non Zero..... I do not really understand it because normally equator is great circle and covariant derivative should be Zero or i miss understand here something?Could you explained it if i Was wrong here.... Thank you..

@eigenchris

Жыл бұрын

The covariant derivative requires two things: (1) a path, and (2) a vector field. The equator is just a path. You also need a vector field. Some vector fields along the equator will have non-zero covariant derivative (meaning they are not parallel transported) and other vector fields along the equator will have zero covariant derivative (meaning they ARE parallel transported). The example at 23:47 gives a vector field along the equator with zero covariant derivative.

is e_j effectively a vector field of basis vectors then? How can I find a basis vector at a point?

@mrsbrdvd6955

3 жыл бұрын

I would suggest considering the Frenet basis. Look them up, but they depend on every specific point you choose on the surface/manifold.

Dear Sir. Thank you for your videos from which I benefited. I am little confused about definition of parallel transmitted and its relation with covariant derivative . In the example for a vector directed down word ( e1) along the equator, the rate of change of the vector is zero since it does not change along the curve but the covariant derivative= rate of change - normal = - normal . So how the covariant derivative in this case is not zero contradicting with the definition of parallel transported which requires covariant derivative= rate of change - normal = 0 ?

@eigenchris

5 жыл бұрын

If you take the vector e1 at the equator, and then move it slightly along the curve, you should see that it has changed. If you align the vector "tails", you should see that there is a gap between the vector "tips". This difference between the tips points in the normal direction, and so this is what gets subtracted off, so that final result should be zero.

@abdelhamidalbaid5276

5 жыл бұрын

Thank you for your reply. I think the vector e1 does not change along the equator. it always points down word so the difference should be always zero. In this case the normal is zero which is subtracted from rate of change of vector e1 which is zero as well. This leads to zero covariant derivative. That makes sense to me now

@eigenchris

5 жыл бұрын

Sorry... you are correct. I had my basis vectors mixed up... But as you say, since the rate of change is zero amyway, the normal component of the rate of change is zero anyway, so the subtraction of the normal component doesn't change the answer.

Very nice but I stumbled a little at 14:30 to 15:00 when you say “and since we subtracted the normal component all these just cancel out. “ or something like it. Isn’t it the case that you first computed what would be the normal component, namely vj L_ij times the normalised normal vector - and then declare that it is thrown out because that’s how you defined the covariant derivative, as total directional derivative with the normal component ignored. It seems to me that you compute what amounts to the normal component as the term with the 2nd fundamental form and then say that you want to set that to zero. I just find it weird that you first write minus n all the time and then suddenly have two components that are supposed to cancel out, while not showing why they cancel out (?). I found that spot a bit confusing. Later it seems to make sense again, sort of: basically you have to choose the christoffel symbols such that the whole formula holds. It seems that you just compute the full derivative by using chain rule and what else, and then project the result back in the tangent space.

@eigenchris

5 жыл бұрын

The "n" with the arrow on top is supposed to represent the generic normal component of the derivative. We have no idea how big it is, we just know that we want to subtract it off. I then do the work of splitting up the derivative into its tangential parts (with the christoffel symbols/gammas) and its normal part (with the second fundamental for/L_ij). This normal part with the second fundamental form is the normal part we wanted to eliminate in the first place. In other words n(arrow) = v^j * L_ij * n(hat). So we just cancel them. The "subracting n(vector)" and "declaring we need to throw the normal part out" are the same. Does that make sense?

@reinerwilhelms-tricarico344

5 жыл бұрын

eigenchris Thanks a lot for this additional explanation. It became clearer to me now. Actually I began to get it from your next piece where you give the explanation based on intrinsic geometry and then also reproduce the form shown here. I feel like I finally make some progress in understanding differential geometry following your videos.

@ronlaspisa450

3 жыл бұрын

@@eigenchris Trying to understand better -- This section starts off by finding the covariant derivative of a "tangent vector field". Doesn't that mean that there is no normal component at all? Which would imply that there is no normal component to subtract off? And if this is correct, then IF you happen to have a vector field that is NOT tangent to the surface, THEN you would subtract off any normal part?

@eigenchris

3 жыл бұрын

@@ronlaspisa450 The tangent vectors themselves don't have a normal component, but the rate of change of the tangent vectors (their derivative) can possibly have a tangential component. This is what we're subtracting off.

@ericpeng6128

Жыл бұрын

@@eigenchris Thanks for making this amazing series of videos! I was also having some difficulty trying to understand this part. But I just figured out the normal vector n(arrow) is the normal part of dv/d(u^j), not v itself. So, the covariant derivative is the projection of the regular derivative onto the tangent plane. (this might seem obvious but I was really stuck on that part, lol)

Can someone please explain me why, at 20:02 , the fact that so many of the christoffel symbols are 0, leads to a term which is a pure multiple of e_2 on the expansion of grad_e1(v). there is a summation over k as well. aren't we supposed to have (partial v1/partial u1)*e_1 terms in the expansion as well?

@eigenchris

5 жыл бұрын

You're correct. I'll add that error to the description.

I can't understand the transformation (u,v) --> (X=cosvsinu, Y=sinvsinu, Z=cosu) because u and v in X,Y,Z are angles, as you have shown in the example of the sphere in 3D space, instead u and v in 2D space (plane) are the "x" and "y" cartesian axes, not angles....Why?

The subscript of the Christoffel symbol at 13:30 should be ji instead of ij right?

@ericpeng6128

Жыл бұрын

nvm, they are equivalent to each other..

22:55 the top right handwriting is u1 = π/2 right 😊

Hello Eigenchris. First of all, I would like to congratulate you for the quality of your explanations and the work you have done on the tensors. I am interested in the geometric interpretation of the parallel transport of a vector along a meridian which is a geodesic. I find the image of the man carrying a javelin excellent. But I have a problem with the explanation you give in step 7m10s (kzread.info/dash/bejne/c5ptrLeigde8Yc4.html ) . The difference of the 2 vectors which gives the green vector dv, does not point exactly to the center of the earth from the geometrical point of view (the green vector is neither perpendicular to the first vector, nor to the second). So the dv is not normal to the surface of the earth, and this contradicts a zero covariant derivative. On the other hand it is clear that the norm of the vector (distance of the javelin) is preserved. Could you give me an explanation please?

Time is similar to that vector. Time lives on a hypersphere.

because this part of the expression is zero in 15:00 ?

You said it’s impossible to define a constant vector field on a curve surface. I’m assuming that you meant by parallel transporting. But what if you parallel transport a normal vector? Would that not be a constant all over the entire surface?

@eigenchris

Жыл бұрын

Parallel transport depends on the path you take, so you will end up with multiple possible "constant" vector fields that have the same starting vector. Also, none of these fields will be continuous. They will all involve a constant "jump" at some point on the sphere (usually at the north or south pole).

Curious. What do you use to generate the plots?

@eigenchris

5 жыл бұрын

I usually use the online version of Wolfram: develop.wolframcloud.com/app/

How do you parallel transport a vector normal to the sphere? Obviously you have to keep it normal, but I cannot derive that from the formula.

@deepbayes6808

4 жыл бұрын

@Jay S yes. I got that after some more thinking.

If I have a vector field T and a vector field V, where V is projection of T onto the surface tangent plane, is the covariant derivative of T equal to the covariant derivative of V?

@eigenchris

2 жыл бұрын

Yes, they should be. Although most of the time, the vector field T you're talking about is already tangent to the surface.

@TheLazyEngineer

2 жыл бұрын

@@eigenchris Thanks! I’m interested in computing principal directions / eigenvalue of a rank 2 tensor (the gradient of a tangent vector field). Any chance you can give me some insight into this / point me in the right direction for learning more about this?

@eigenchris

2 жыл бұрын

@@TheLazyEngineer I'm a bit confused by your question. I'm not totally sure what the "gradient of a vector field" is. I normally think of the gradient as an operation applied to a scalar field. Also, would the procedure for getting eigenvalues be different than the standard method taught in a first year linear algebra class? Maybe I need more context on what you're doing.

@TheLazyEngineer

2 жыл бұрын

@@eigenchris Sorry, I dont have the differential geometry language down yet! Let me try to be more precise. If I take the covariant derivative of a tangent vector field, that gives me a rank 2 tensor right? The basis of this tensor is e_i (X) e^j where (X) denotes the tensor product, e_k is the covariant basis vectors and e^k are the contravariant basis vectors, right? I am interested in the eigenvectors and eigenvalues of this tensor. I think you are correct that it shouldnt differ from the standard method. We can express the tensor as T_ij e_i (X) e^j. And the eigen-guys would satisfy: A_ij e_i (X) e^j * x^k e_k = lambda * x^k e_k. So i'm pretty sure I can just work directly with the components T_ij and apply the standard method. But I want to be sure my understanding is correct hah!

Question sir eigenchris. If in flat space, will the normal vector term be zero?

@eigenchris

3 жыл бұрын

The normal vector for the moving object will be zero: if you only move in a flat 2D plane, it means your velocity vector can be written completely in terms of tangent vectors and you won't need a normal vector.

Slight error at 19:52 the cross term ∂e2 / ∂u1 its second term should replace ∂R / ∂y with ey, not ez.

@eigenchris

5 жыл бұрын

Yeah, that's correct. Whoops.

These videos are truly incredible and I'm amazed that I can follow as much as I can, but there's one small problem nagging me and I'd be very grateful if somebody could help. I’m probably missing something obvious but at 21:00 I’m struggling to follow the covariant derivative formula for i=1. I can’t understand why there isn’t an e1 component? If you set k=1 then of course all of the Christoffel symbols equal zero but shouldn’t you still be left with a (∂v^1)/(∂u^1 ) term in the e1 basis?

@eigenchris

5 жыл бұрын

There are 4 Chrstioffel symbols that have i=1 (the lower-left index). 3 of these are zero, as seen at 20:43. The only non-zero Christoffel symbol with i=1 is (i=1,j=2,k=2). Since this symbol has k=2, there's only a term with the e2 basis vector. There are no terms with the k=1 basis vector.

@adamcassidy2112

5 жыл бұрын

@@eigenchris Thank you for replying so quickly. I can follow that but the thing that I don’t understand is why isn’t the term (∂v1/∂u1 + 0)e1 included in the expression? I get that all the k=1 Christoffel symbols equal zero but there’s still the partial derivative on the left of the expression in the brackets that doesn’t have to equal zero and this seems to be being multiplied by the basis vector as well.

@eigenchris

5 жыл бұрын

Oh, sorry. I was reading quickly on my phone and I misunderstood your point... you might be right about that. That's a frustrating mistake for me to have made... I'll have to think about whether I need to re-upload the video or just put a note about the error in the description. It's not really a minor error....

Sir please upload more and more video lecture

Is partial d/du^i an operator sir with the same direction as u^i ?

@eigenchris

3 жыл бұрын

Yes.

@19:08 why don't you apply the d/du^i to the the dR/dX, dR/dY, and dR/dZ? You only apply it to their coefficients, I thought the second order partials had components normal to the tangent space as well.

@Vercongent

5 жыл бұрын

They are each constant vector fields and do not change in any direction?

@eigenchris

5 жыл бұрын

Yup, you answered it yourself. To be precise, we should use product rule and differentiate the dR/dX and other basis vectors, but they are all constants so their derivatives go to zero.

@Vercongent

5 жыл бұрын

eigenchris thanks

9:50 You are subtracting a unit normal vector here, but what you mean is the normal component of the covariant derivative, right?

@eigenchris

2 жыл бұрын

Yes. That wasn't intended to be a unit normal vector. Just whatever the normal vector component is.

There's something I don't get with the metric tensor double matrix product. When I try to do the product of the row vector with the metric tensor first, then the product of the result with the column vector I don't get cos²(lambda/sqrt(2)) + sin²(lambda/sqrt(2)). Is this something wrong in my computing ? I ask you that question, because I fear I might have missed something about this metric tensor double product in previous videos.

@eigenchris

3 жыл бұрын

Can you point to the timestamp in this video you are talking about? It's been a while since I made it.

@HenriNioto

3 жыл бұрын

@@eigenchris Yeah of course, I understand ^^ It's at 32:50.

@eigenchris

3 жыл бұрын

@@HenriNioto What answer do you get? Could you type out some of your steps? Matrix multiplication is "associative" so (AB)C = A(BC). The order of multiplication shouldn't matter.

@HenriNioto

3 жыл бұрын

@@eigenchris Sorry, I just realized my mistake : I forgot that g22 was sin²(u1) and not sin(u1) (so I computed the product with sqrt(2)/2 instead of 1/2). I think you have forgotten the minus sign in the v expression, though, but in the end, it was probably a deliberate choice on your part because the minus signs cancel out in the product.

What if we parallel transport along equator

@eigenchris

3 жыл бұрын

The equator is a geodesic, so parallel transport along that always results in a covariant derivative equal to zero.

I may have figured this out. The missing e_1 term does not have a gamma because gamma 111 = 0. Is that right?

@eigenchris

4 жыл бұрын

There is no gamma term, but I think there should still be a partial derivative with respect to u1.

@drlangattx3dotnet

4 жыл бұрын

@@eigenchris the index juggling is tricky. Is it possible, in the e_2 formula, that the j indexes in the e_1 and e_2 , in the Gamma terms should be interchanged? (This is hard to describe in words) With i = 2 we are summing over j and k. The Gamma indexes are 22 in first term and 21 in second term. Shouldn't the j = 1 be in the first term? This would alter the final formula. Yes? Appreciate your patience with me. Maybe I am not sure how we are supposed to handle summing over the two indexes j and k simultaneously. I will ponder while I await your response