Christoffel symbols

Let M be a manifold. To specify locally a covariant derivative operator it suffices to fix a local chart {xi} and provide the functions Γijk such that

xixj=Γijkxk

which are called the Christoffel symbols (of second kind) when the covariant derivative is coming from the Levi-Civita connection of a Riemannian metric! They correspond to the vector bundle connection#Connection form.

The formula to compute the Christoffel symbols from the Riemannian metric can be deduced from the defining conditions 1. and 2. of the Levi-Civita connection (see, for example, wikipedia or this video) giving rise to

Γijk=12gkl(igjl+jgillgij)

In 2 dimensions:
For k=1:

  1. Γ111=l=1212g1l(1g1l+1g1llg11)=12g111g11+12g12(21g212g11)

  2. Γ121=l=1212g1l(1g2l+2g1llg12)=12g112g11+12g121g22

  3. Γ211=l=1212g1l(2g1l+1g2llg21)=12g112g11+12g121g22

  4. Γ221=l=1212g1l(2g2l+2g2llg22)=12g11(22g211g22)+12g122g22

For k=2:

  1. Γ112=12g211g11+12g22(21g212g11)

  2. Γ122=12g212g11+12g221g22

  3. Γ212=12g212g11+12g221g22

  4. Γ222=12g21(22g211g22)+12g222g22

Since the metric tensor gij is symmetric (i.e., gij=gji), it follows that the Christoffel symbols are symmetric in their lower indices, i.e., Γijk=Γjik.

Intuition

See this vide for the meaning of Christoffel symbols. See this video and in particular this part to see how geodesics can be obtained from them.
relation of Lie derivative, covariant derivative and torsion

In practice

Given the vector field V=Vixi, the covariant derivative xjV is computed using the following formula:

(xjV)k=jVk+ΓijkVi

See also linear connection#Extension to tensor fields for using the covariant derivatives on tensors with components.

Change of chart

Γ(y)jki:=dyi:(yjyk)=yixqdxq:(xpyjxpxsykxs)=yixqdxq:(xpyj[xp(xsyk)xs+xsyk(xpxs)])=yixqdxq:(xpyj[xp(xsyk)xs+xsykΓ(x)spmxm])=yixqxpyj(xp(xsyk)δsq+xsykΓ(x)spmδmq)=yixqxpyjxp(xqyk)+yixqxpyjxsykΓ(x)spq=yixqyj(xqyk)+yixqxpyjxsykΓ(x)spq=yixq2xqyjyk+yixqxsyjxpykΓ(x)spq,

See Schuller.

Generalization?

I think that for other local frame {ei} of TM, the functions Γijk such that

eiej=Γijkek,

playing the same role of Christoffel symbols.

This idea works also for a vector bundle connection on a vector bundle E, not only the particular case of TM. This case is explained here: it is called the connection form, not to be confused with the connection 1-form of a connection on a general bundle, although there is a relation explained here.

We can say that in terms of the connection form Θik, we have

xjΘik=Γijk.