General Relativity: An Introduction for Physicists · Problem 2.11

Manifolds and coordinates — Hobson, Efstathiou & Lasenby

Physics · independent-components-metric-derivatives

Problem

Prove the following results used in Section 2.11: ((a)) (∂xa/∂x′b)P(\partial x^a/\partial x'^b)_P has N2N^2 independent values; ((b)) (∂2xa/∂x′b∂x′c)P(\partial^2 x^a/\partial x'^b \partial x'^c)_P has 12N2(N+1)\frac{1}{2}N^2(N+1) independent values; ((c)) (∂3xa/∂x′b∂x′c∂x′d)P(\partial^3 x^a/\partial x'^b \partial x'^c \partial x'^d)_P has 16N2(N+1)(N+2)\frac{1}{6}N^2(N+1)(N+2) independent values; ((d)) gab′(P)g'_{ab}(P) has 12N(N+1)\frac{1}{2}N(N+1) independent values; ((e)) (∂gab′/∂x′c)P(\partial g'_{ab}/\partial x'^c)_P has 12N2(N+1)\frac{1}{2}N^2(N+1) independent values; ((f)) (∂2gab′/∂x′c∂x′d)P\left(\partial^2 g'_{ab}/\partial x'^c \partial x'^d\right)_P has 14N2(N+1)2\frac{1}{4}N^2(N+1)^2 independent values. Hence show that, in a general Riemannian manifold, at least N2(N2−1)/12N^2(N^2-1)/12 of the second derivatives (∂2gab′/∂x′c∂x′d)P\left(\partial^2 g'_{ab}/\partial x'^c \partial x'^d\right)_P will not vanish in any coordinate system.

Browse the problem library