Tensor Calculus 18: Covariant Derivative (extrinsic) and Parallel Transport

Поділитися
Вставка
  • Опубліковано 15 жов 2018
  • First video on Covariant Derivative in flat space: • Tensor Calculus 17: Th...
    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.

КОМЕНТАРІ • 239

  • @eigenchris
    @eigenchris  4 роки тому +25

    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
      @official_korea 2 роки тому +1

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

  • @rajanalexander4949
    @rajanalexander4949 Рік тому +25

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

    • @nahblue
      @nahblue 7 місяців тому +4

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

  • @manologodino941
    @manologodino941 5 років тому +70

    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
      @eigenchris  5 років тому +12

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

    • @jacobvandijk6525
      @jacobvandijk6525 4 роки тому +1

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

  • @gguevaramu
    @gguevaramu 5 років тому +75

    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
      @MrPetoria33 5 років тому +14

      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
      @CuriousAldo 4 роки тому +6

      @@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
      @rodas4yt137 4 роки тому +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.

  • @stanmilora4691
    @stanmilora4691 4 роки тому +12

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

  • @MrFischvogel
    @MrFischvogel 2 роки тому +1

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

  • @josevictorvictorneto48
    @josevictorvictorneto48 4 роки тому +5

    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.

  • @alphabeta7275
    @alphabeta7275 5 років тому +3

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

  • @lucassilva6492
    @lucassilva6492 Рік тому +2

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

  • @gunlovingliberal1706
    @gunlovingliberal1706 4 роки тому +5

    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.

  • @eamon_concannon
    @eamon_concannon 5 років тому +2

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

  • @shannonsteinmetz7711
    @shannonsteinmetz7711 4 роки тому +1

    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.

  • @jacquesbagraim2516
    @jacquesbagraim2516 4 роки тому +1

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

  • @cyrobarros.m
    @cyrobarros.m 5 років тому +6

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

  • @hsueh-tiderekliu8957
    @hsueh-tiderekliu8957 5 років тому +8

    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
      @eigenchris  5 років тому +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.

  • @allanrocha4647
    @allanrocha4647 3 роки тому +1

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

  • @shakibmustavee9357
    @shakibmustavee9357 5 років тому +4

    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
      @eigenchris  5 років тому +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.

  • @brilinos
    @brilinos 5 років тому +7

    Beautiful! Looking forward to intrinsic case.

  • @ericpeng6128
    @ericpeng6128 Рік тому +1

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

  • @likaspokas5481
    @likaspokas5481 5 років тому +2

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

  • @xiangfeiwang755
    @xiangfeiwang755 5 років тому +2

    Great to see a updated video!

  • @andrewzerwekh6855
    @andrewzerwekh6855 3 роки тому +1

    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!

  • @shikisakurai3255
    @shikisakurai3255 3 роки тому +1

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

  • @m_bm_a7884
    @m_bm_a7884 4 роки тому +1

    Thank you for making all these great videos.

  • @karimshariff7379
    @karimshariff7379 Рік тому +4

    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).

  • @dhimanbhowmick9558
    @dhimanbhowmick9558 4 роки тому +1

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

  • @meduzoman
    @meduzoman 7 місяців тому +1

    absolutely incredible video, thank you!

  • @ericbischoff9444
    @ericbischoff9444 5 років тому +2

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

  • @fxckmotivation4403
    @fxckmotivation4403 Рік тому

    you are a legend my bro. seriously. keep up

  • @AlexandreBourrachot
    @AlexandreBourrachot 5 років тому +1

    Beautiful work. Thanks.

  • @davidprice1875
    @davidprice1875 5 років тому +1

    Excellent description

  • @pratyushprakashpatra7062
    @pratyushprakashpatra7062 3 роки тому +1

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

  • @azeouayhamada
    @azeouayhamada 5 років тому +1

    Thanks a lot for this well explained video

  • @Cosmalano
    @Cosmalano 5 років тому +1

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

    • @eigenchris
      @eigenchris  5 років тому +1

      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.

  • @ccosm4587
    @ccosm4587 4 роки тому +2

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

  • @arnaudlechevin7567
    @arnaudlechevin7567 5 років тому

    What a nice work, thanks a lot !

  • @keyyyla
    @keyyyla 5 років тому +2

    I love you!!! Amazing!

  • @garytzehaylau9432
    @garytzehaylau9432 4 роки тому

    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
      @eigenchris  4 роки тому +1

      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.

  • @D-Bar
    @D-Bar 4 роки тому

    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?

  • @lumafe1975
    @lumafe1975 Рік тому

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

  • @drlangattx3dotnet
    @drlangattx3dotnet 4 роки тому

    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 ????

  • @maxrivolo6121
    @maxrivolo6121 9 місяців тому

    You are Great!

  • @IntegralMoon
    @IntegralMoon 5 років тому +2

    Awesome! Thanks :D

  • @sameeraramasinghe693
    @sameeraramasinghe693 4 роки тому

    Brilliant !! Thank you!

  • @jianqiuwu
    @jianqiuwu 2 роки тому

    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?

  • @TheLazyEngineer
    @TheLazyEngineer 2 роки тому

    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
      @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
      @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
      @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
      @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!

  • @armannikraftar1977
    @armannikraftar1977 5 років тому

    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
      @eigenchris  5 років тому

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

  • @sambaargentina2392
    @sambaargentina2392 6 місяців тому

    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?

  • @twistedsector
    @twistedsector 4 роки тому +1

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

    • @mrsbrdvd6955
      @mrsbrdvd6955 4 роки тому

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

  • @vitorsousa4877
    @vitorsousa4877 Рік тому

    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.

  • @warrenchu6319
    @warrenchu6319 3 роки тому

    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.

  • @fsaldan1
    @fsaldan1 3 роки тому

    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
      @eigenchris  3 роки тому +1

      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.

  • @siddharthjain3078
    @siddharthjain3078 Рік тому

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

  • @stodent-mg8bp
    @stodent-mg8bp 11 днів тому

    Hi @eigenchris, really enjoying this series. I know this question is very late now, but is there an explanation for why at 15:04 the normal components v^j L_ij nhat - n go to zero? My suspicion is that the vector produced from v^j L_ij nhat is normalised by the definition of L_ij the 2nd fundamental form? Or is there something about the way the covariant derivative is defined?

  • @AndreaPancia1
    @AndreaPancia1 Місяць тому

    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?

  • @omarmedellin8244
    @omarmedellin8244 5 років тому

    Thank you so much.

  • @abnereliberganzahernandez6337

    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
      @taraspokalchuk7256 6 місяців тому

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

  • @deepbayes6808
    @deepbayes6808 4 роки тому

    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
      @deepbayes6808 4 роки тому

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

  • @manta567
    @manta567 2 роки тому

    Much appreciated.
    6:00 Only intrinsicially curved?

  • @deepbayes6808
    @deepbayes6808 4 роки тому +1

    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

  • @gguevaramu
    @gguevaramu 5 років тому

    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
      @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.

  • @stevenhawkins9962
    @stevenhawkins9962 4 роки тому

    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
      @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.

  • @loganwright3227
    @loganwright3227 10 місяців тому

    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...

  • @runcheng475
    @runcheng475 3 роки тому +1

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

  • @waynechau9884
    @waynechau9884 Рік тому

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

    • @eigenchris
      @eigenchris  Рік тому

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

  • @kimchi_taco
    @kimchi_taco 3 місяці тому +1

    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
      @eigenchris  3 місяці тому

      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.

  • @jrashad
    @jrashad 5 років тому +2

    thank u dad

  • @gguevaramu
    @gguevaramu 5 років тому +1

    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
      @bahtree2385 4 місяці тому

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

  • @JgM-ie5jy
    @JgM-ie5jy 5 років тому

    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
      @eigenchris  5 років тому

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

    • @JgM-ie5jy
      @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
      @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.

  • @AndreaPancia1
    @AndreaPancia1 Місяць тому

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

  • @kingadam4819
    @kingadam4819 5 років тому

    Quite helpful

  • @abdelhamidalbaid5276
    @abdelhamidalbaid5276 5 років тому

    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
      @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
      @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
      @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.

  • @amirrezaa3808
    @amirrezaa3808 3 роки тому +1

    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
      @eigenchris  3 роки тому +1

      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
      @amirrezaa3808 3 роки тому +1

      Many thanks!

  • @reinerwilhelms-tricarico344
    @reinerwilhelms-tricarico344 5 років тому +8

    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
      @eigenchris  5 років тому +7

      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
      @reinerwilhelms-tricarico344 5 років тому +2

      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
      @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
      @eigenchris  3 роки тому +1

      @@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
      @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)

  • @damienthorne861
    @damienthorne861 Рік тому

    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 🤓

  • @PrezCannadyJr
    @PrezCannadyJr 5 років тому

    Curious. What do you use to generate the plots?

    • @eigenchris
      @eigenchris  5 років тому +1

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

  • @steffenleo5997
    @steffenleo5997 2 роки тому

    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
      @eigenchris  2 роки тому

      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.

  • @nellvincervantes6233
    @nellvincervantes6233 3 роки тому

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

    • @eigenchris
      @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.

  • @HenriNioto
    @HenriNioto 3 роки тому

    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
      @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
      @HenriNioto 3 роки тому

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

    • @eigenchris
      @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
      @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.

  • @awaishassan9142
    @awaishassan9142 3 роки тому

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

    • @eigenchris
      @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
      @awaishassan9142 3 роки тому

      @@eigenchris thank you so much sir.

  • @ericpeng6128
    @ericpeng6128 Рік тому

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

    • @ericpeng6128
      @ericpeng6128 Рік тому

      nvm, they are equivalent to each other..

  • @lumafe1975
    @lumafe1975 Рік тому

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

  • @ilredeldeserto
    @ilredeldeserto 4 роки тому

    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?

  • @darovan4398
    @darovan4398 4 роки тому

    Wonderful lecture. Thank you very much!

  • @user-rg5qr6zn9m
    @user-rg5qr6zn9m 5 років тому

    Thanks for you

  • @nellvincervantes3223
    @nellvincervantes3223 4 роки тому

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

  • @adamcassidy2112
    @adamcassidy2112 5 років тому

    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
      @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
      @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
      @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....

  • @thevegg3275
    @thevegg3275 Рік тому

    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
      @eigenchris  Рік тому +1

      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).

  • @frankreashore
    @frankreashore Рік тому

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

  • @scollyer.tuition
    @scollyer.tuition 4 роки тому

    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
      @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.

  • @Vercongent
    @Vercongent 5 років тому

    @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
      @Vercongent 5 років тому

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

    • @eigenchris
      @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
      @Vercongent 5 років тому

      eigenchris thanks

  • @alancosta1988
    @alancosta1988 2 роки тому

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

    • @eigenchris
      @eigenchris  2 роки тому +1

      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
      @alancosta1988 2 роки тому

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

    • @eigenchris
      @eigenchris  2 роки тому +2

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

    • @alancosta1988
      @alancosta1988 2 роки тому

      @@eigenchris thank you very much for the help.

  • @hugocampos7894
    @hugocampos7894 2 роки тому +1

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

    • @eigenchris
      @eigenchris  2 роки тому +1

      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.

  • @depressedguy9467
    @depressedguy9467 3 роки тому +1

    What if we parallel transport along equator

    • @eigenchris
      @eigenchris  3 роки тому

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

  • @JgM-ie5jy
    @JgM-ie5jy 5 років тому

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

    • @eigenchris
      @eigenchris  5 років тому

      Yeah, that's correct. Whoops.

  • @drlangattx3dotnet
    @drlangattx3dotnet 4 роки тому

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

    • @eigenchris
      @eigenchris  4 роки тому

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

    • @drlangattx3dotnet
      @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

  • @yizhang7027
    @yizhang7027 2 роки тому

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

    • @eigenchris
      @eigenchris  2 роки тому

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

  • @eugenemars
    @eugenemars Рік тому +1

    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 (ua-cam.com/video/Af9JUiQtV1k/v-deo.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?

  • @garytzehaylau9432
    @garytzehaylau9432 4 роки тому

    need help in this video
    after watching video 18,i think his is quiet different as there is no second partial derivative term in this video where d^2R/dui duj = C symbol k ij ek + .....(in video 16)
    in this video there is only first derivative and i think both videos dont define the C symbol in the same way
    what is the actual reason behind this?
    thank

    • @eigenchris
      @eigenchris  4 роки тому +1

      Recall that the basis vector e_i is the same thing as the partial derivative operator dR / d ui. So d^2R/dui duj is really the same thing as d e_i / duj. I hope this is not difficult to see.

    • @garytzehaylau9432
      @garytzehaylau9432 4 роки тому

      @@eigenchris thankkkyou
      i see,
      i have one extra question:
      what do you mean by "keeping vector as straight as possible" in the video
      in the final example,it seems the vectors is bent toward to the left as it moves forward
      it seems it is not "straight as possible" as i think....
      because the vectors in the earth frame will "twist" towards left as it moves forward...
      i think the vector should be kept in the same direction in every point on the path??
      could you explain more to me(i get stuck in this part and the explanation in 31:32 is not clear enough)
      thannnk for your help

    • @garytzehaylau9432
      @garytzehaylau9432 4 роки тому

      @@eigenchris thank for your help
      your explanation is clear in explaining d^2R/duiduj
      i can see why

    • @eigenchris
      @eigenchris  4 роки тому

      As I said in the video, on that last path, the walker is leaning to the left. If they lean to the left, the angle between their feet and the vector will change if they hold it as straight as possible. You can try walking in a big circle yourself by leaning to the left, while holding a stick as straight as you can. You will get the same effect.

    • @garytzehaylau9432
      @garytzehaylau9432 4 роки тому

      @@eigenchris thannnk
      one little question: what do you mean by "as straight as possible"
      do you mean the vector will have zero change for each step from the frame of observer
      thank
      very clear explanation

  • @HotPepperLala
    @HotPepperLala 4 роки тому +1

    15:00 how the heck does that "cancel out"??

    • @twistedsector
      @twistedsector 4 роки тому +1

      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? - [Copied from an eigenchris comment]

    • @HotPepperLala
      @HotPepperLala 4 роки тому

      ​@@twistedsector No because this sounds like circular logic. You assumed n(arrow) = v^j * L_ij * n(hat) from the start I don't see what information gives us that assumption

    • @twistedsector
      @twistedsector 4 роки тому +1

      @@HotPepperLala We don't assume it from the beginning. n(arrow) is defined as the normal component of the vector, and when we compute the expansion of d(e_j)/d(u_i), we find that [v^j • L_ij] n(hat) is the *entire* normal component, so they have to be equal. It's a bit like equating coefficients