# Variation of metric

Mathematics Asked by MSDG on November 2, 2020

I am looking at the derivation of the Einstein field equations as the Euler-Lagrange equations of the Hilbert functional.
To do this one starts with a variation
$$g(t) = g+th$$
of the metric, where $$h$$ is a symmetric 2-covariant tensor.
For small $$t$$, $$g(t)$$ will be invertible (if we interpret it as a matrix), so it makes sense to consider the components $$g(t)^{ij}$$ of the inverse. We have
$$0 = frac{d}{dt}Big|_0 (g(t)_{ij} , g(t)^{jk}) = h_{ij} g^{jk} + g_{ij}h^{jk} quadRightarrow quad h^{lk} = – g^{il} g^{jk} h_{ij}.$$
My question: What exactly do the coefficients $$h^{lk}$$ represent?

I always thought that if one has a, say, 1-covariant tensor $$A = A_i dx^i$$, then $$A^i$$ denote the components of the 1-contravariant tensor $$A^#$$ (cf. musical isomorphisms), given by $$A^i = g^{ij}A_j$$. But in the formula for $$h^{lk}$$ above we also have a minus sign in front, so as far as I can see the coefficients $$h^{lk}$$ are not obtained by raising the indices of $$h_{lk}$$. That being said, the metric is not really fixed in this case so the musical isomorphisms aren’t either, which may be the source of confusion for me.

Your mistake is that $$h^{jk} neq frac{d}{dt}bigg|_{t=0} g(t)^{jk}.$$In fact, $$h^{jk}$$ is obtained from raising both indices of $$h_{jk}$$. What you have shown is that $$frac{d}{dt}bigg|_{t=0} g(t)^{ell k} = -g^{iell}g^{jk}h_{ij} = - h^{ell k}.$$The philosophy behind it is: you know that the initial velocity of the curve $$tmapsto g(t)$$ is $$h$$, and you want to compute the initial velocity of other geometric objects associated to $$g(t)$$ in terms of $$h$$. The initial velocity of the curve of inverse coefficients is $$-h$$ (up to musical isomorphisms).

Dealing with coefficients, you're doing computations on matrix Lie groups. There, the formula for the derivative of the inversion $$iota(A)=A^{-1}$$ is given by $$diota_A(H) = - A^{-1}HA^{-1}$$, so everything is fine (compare with $$(1/x)'=-1/x^2$$ and make it non-commutative; each $$A^{-1}$$ corresponds to raising one index).

Correct answer by Ivo Terek on November 2, 2020

## Related Questions

### Is a surface curve made of planar points necessarily a line?

1  Asked on January 29, 2021 by mk7

### How to solve $sqrt{x!y!}=xy$ for $(x,y)inmathbb{Z}_{geq0}timesmathbb{Z}_{geq0}$?

3  Asked on January 29, 2021 by ramez-hindi

### Intuition for fractions of the localization of a non integral domain

1  Asked on January 29, 2021 by siddharth-bhat

### Proving origin to be removable singularity(Proof verification)

2  Asked on January 29, 2021

### Relationship between constants so that the center of curvature of the helix is contained in the cylinder

1  Asked on January 28, 2021

### An identity between integral

1  Asked on January 28, 2021 by inoc

### How to find the least in $E^{circ}=frac{5S^g}{162}+frac{C^circ}{50}+frac{2pi^2}{360}textrm{rad}$?

1  Asked on January 28, 2021 by chris-steinbeck-bell

### In what sense do we say two functions are equal?

0  Asked on January 28, 2021 by ziqi-fan

### $P (| X |> 1) = P (| X | <1)$

1  Asked on January 28, 2021

### Sequentially open sets but not open

1  Asked on January 28, 2021 by t-i

### Simplify $logleft(1+frac{x_i^2}{nu}right)$ with a $log(1+x)$ rule?

2  Asked on January 28, 2021

### Finding an Extremal for a function.

1  Asked on January 28, 2021 by zeroflank

### Isomorphism between group of homeomorphisms where $X nsim Y$

2  Asked on January 28, 2021

### Basis of the field $E$=$mathbb{Q}(sqrt{6}i-sqrt{5})$.

3  Asked on January 27, 2021 by questmath

### Limit points of the set ${frac {varphi(n) }n : nin mathbb{N}}$

1  Asked on January 27, 2021 by user-492177

### $forall epsilon >0,exists A in mathcal{A}$ such that $E subset A$ and $mu(A setminus E) < epsilon$

1  Asked on January 27, 2021 by user21

### Generalized Collatz: divide out by $2$’s and $3$’s, otherwise $5n+1?$

0  Asked on January 27, 2021 by rivers-mcforge

### How is the Rodrigues formula $L_n^k(x)=frac{e^x x^{-k}}{n!}frac{d^n}{dx^n}(e^{-x}x^{n+k})$ derived?

1  Asked on January 27, 2021 by almhz

### Absolute values of a closed set’s elements

2  Asked on January 27, 2021 by sicmath