0
$\begingroup$

I am currently learning about the Christoffel symbole.

Given is the following equation:

$\Gamma_{nm}^{l} = e^l \cdot \Gamma_{nm}^{k} e_k$

with $e$ being an arbitrary co-/contravariant basis vector in $\mathbb{R}^3$.

My approach to getting this equation would be:

$e^l \cdot \Gamma^{k}_{nm} e_k = e^l \cdot \partial_m e_n = e^l \cdot \Gamma^{l}_{nm} e_l = \Gamma_{nm}^{l}\delta_l^l \stackrel{?}{=} \Gamma_{nm}^{l}$

My question is: Can i just use $e^l \cdot e_l = \delta_l^l = 1$? In my opinion $\delta_l^l=1$ shouldn't be correct because the basis vector is part of $\mathbb{R}^3$ which would suggest:

$\delta_l^l = \sum{}_{l=1}^3 \delta_l^l =3 $

but i can't see another way of getting the result give above.

$\endgroup$
11
  • $\begingroup$ Try to start from scratch from here: basics.altervista.org/test/Math/tensor_calculus/all.html $\endgroup$
    – basics
    Commented Sep 19, 2023 at 20:35
  • $\begingroup$ Could you clarify what you are asking? I also don't know what the primes are referring to here. $\endgroup$ Commented Sep 19, 2023 at 20:51
  • $\begingroup$ @Relativisticcucumber The primes are just an indicator that I'm referring to curvelinear coordinates. I removed the dots (multiplication) from the christoffel symbol. The first equation is given in my lecture notes. To give some context: It is the beginning of a proof that the christoffel symbol is symmetric. When writing it down my prof said something along the lines of: its the same because we get $e^l * e_k = \delta_k^l$. My queqtion is, how do i get from $\Gamma_{nm}^{'l}$ to $e'^l \cdot \Gamma_{nm}^{'k} e'_k$. $\endgroup$
    – oodani
    Commented Sep 19, 2023 at 22:26
  • $\begingroup$ @basics Thank you. I dont quite understand how the proof in section "Derivates of Vectors in the Natural Basis - Christoffel symbol" works. How does the kronecker delta act on the christoffel symbol / vice versa? $\endgroup$
    – oodani
    Commented Sep 19, 2023 at 22:31
  • 1
    $\begingroup$ In your second line of math, you have expressions where the index $l$ appears three times. This is not allowed. A contraction is between one upper index and one lower index. $\endgroup$
    – Ghoster
    Commented Sep 19, 2023 at 23:52

1 Answer 1

2
$\begingroup$

I am going to summarize what @ghoster and @basics have said in the comments. As Ghoster points out, $$e^l\cdot \Gamma ^k_{nm}e_k = \Gamma ^k_{nm} (e^l \cdot e_k)$$ We know that, by construction, of basis vectors, this term is nonzero only when $k = l$, thus we have $$(e^l \cdot e_k) = \delta^l_k$$ giving us $$\Gamma ^k_{nm} (e^l \cdot e_k) = \Gamma ^k_{nm}\delta^l_k$$ By contraction of indices, we then have $$\Gamma ^k_{nm}\delta^l_k = \Gamma ^l_{nm}$$

I would encourage you to take @basics advice and think carefully about what each entity is (vector, scalar, tensor, etc.) when you do these manipulations. :)

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.