Ngô Quốc Anh

January 18, 2010

R-G: Gauss and Codazzi equations in general relativity

Filed under: Riemannian geometry — Tags: — Ngô Quốc Anh @ 0:01

For physical reasons, a spacetime continuum is mathematically defined as a four-dimensional, smooth, connected Lorentzian manifold (V,g). This means the smooth Lorentz metric g has signature (3,1). We are interested in the Cauchy problem for the Einstein equations. For that reason, we will consider the initial data on a hypersurface \Sigma, a 3-dimensional manifold which is a space-like.

The Einstein equations are just equations for a metric g defined throughout V such that the induced matric \overline g onto \Sigma and the second fundamental form k of \Sigma are identical to the initial data. Since \Sigma has 1-dimention less than that of V, the initial data can not chosen arbitrary, they must satisfy the Gauss and Codazzi equations.

The purpose of this entry is to derive the constraint equations for the Einstein equations. For simplicity, we consider the case when n=3, then the Gauss and Codazzi equations can be rewritten as the following

\displaystyle ^{(4)}{R_{abcd}} = {R_{abcd}} + {k_{ac}}{k_{bd}} - {k_{ad}}{k_{bc}}

and

\displaystyle ^{(4)}{R_{\sigma bcd}}{n^\sigma } =- {\nabla _c}{k_{ab}}+{\nabla _b}{k_{ac}}

where n^\alpha the normal vector to the space-like \Sigma.

Further equations can be obtained from these by contraction. Indeed, from the Gauss equation, one has

\displaystyle ^{(4)}{R_{ab}} = {R_{ab}} + {\rm trace } k{k_{ab}} - {k_{ac}}k_b^c{ - ^{(4)}}{R_{\sigma a\tau b}}{n^\sigma }{n^\tau }

and contracting again gives

\displaystyle ^{(4)}R + {2^{(4)}}{R_{\alpha \beta }}{n^\alpha }{n^\beta } = R - {\left( {\rm trace }k \right)^2} - {k_{ab}}{k^{ab}}.

Similarly, contracting the Codazzi equation gives

\displaystyle ^{(4)}{R_{\sigma a}}{n^\sigma } =- {\nabla ^a}{k_{ab}} + {\nabla _b}{\rm trace } k.

Combining all equations with the Einstein equations gives the constrain equations

\displaystyle\begin{gathered}R - {\left( {\rm trace }k \right)^2} - {k_{ab}}{k^{ab}} =\cdots\hfill \\{\nabla ^a}{k_{ab}} - {\nabla _b}{\rm trace } k =\cdots\hfill \\\end{gathered}

Leave a Comment »

No comments yet.

RSS feed for comments on this post. TrackBack URI

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Create a free website or blog at WordPress.com.

%d bloggers like this: