Initial Value Equations out of ADM formalism

  • Thread starter Thread starter TerryW
  • Start date Start date
  • Tags Tags
    Initial Value
Click For Summary
SUMMARY

The forum discussion centers on deriving MTW's Equation (21.115) from the ADM formalism, specifically using the integral formulation presented in MTW (21.95). The user, Terry W, has successfully derived most of the equation but struggles with specific terms, particularly the transition from ##(π^{ij}N^m)_{|m}## to ##(N^iπ^{jk})_{|k}##. Terry references the original ADM paper, noting that it employs the complete form of (21.90) without omitting divergences, which may provide insights into resolving the missing terms.

PREREQUISITES
  • Familiarity with the ADM formalism in general relativity
  • Understanding of the mathematical notation used in differential geometry
  • Knowledge of the MTW textbook, particularly equations 21.90 and 21.95
  • Experience with tensor calculus and variational principles
NEXT STEPS
  • Review the derivation of MTW's Equation (21.90) for insights on handling divergences
  • Study the ADM formalism's application in general relativity
  • Examine the implications of the bonus term ##-(-g)^{\frac{1}{2}}\frac{1}{N^2}N^{|i}N_{|i}## in the context of the derivation
  • Explore advanced tensor calculus techniques relevant to deriving complex equations in general relativity
USEFUL FOR

This discussion is beneficial for theoretical physicists, graduate students in general relativity, and researchers focusing on the ADM formalism and its applications in gravitational theories.

TerryW
Gold Member
Messages
234
Reaction score
22
Homework Statement
Use the ADM formalism to derive dynamic and initial value equations
Relevant Equations
MTW (21.115) - See attachment
In my earlier post, I demonstrated a way to derive MTW's Equation (21.90),

##16π\mathfrak{L}_{geom} = - \dot π^{ij} γ_{ij} - N\mathcal{H} -N_i\mathcal{H^i}-2(π^{ij}N_j-½N^iTrπ+γ^½N^{|i})_{,i}## MTW (21.90)

I received my first two 'likes' for this which made me really happy - Thanks guys!

I've moved on a bit now and have reached page 525, (four whole pages - wow!) and I am now trying to produce MTW (21.115) - see attachment.

MTW suggests that this can be derived from:

##I = \frac{1}{16π}\int[ \dot π^{ij} γ_{ij} - N\mathcal{H} -N_i\mathcal{H^i}]d^4x + \int\mathfrak{L}_{Field}d^4x ## MTW (21.95)

I've managed to produce nearly all of (21.115) but I cannot find a way to produce the terms I've underlined.

Instead of the term ##(π^{ij}N^m)_{|m}## I have ##(N^iπ^{jk})_{|k}##

I can't see any way to produce terms with ##N^{|ij}## or ##N^{|m}{}_{|m}## from any of the terms in 21.95, but if I go back to (21.90), I can use the term ##[N^{|i}(\gamma)^{\frac{1}{2}}]_{,i}##, which nearly gets me home, but I end up with

##(\gamma)^{\frac{1}{2}}N^{|ij} - \frac{1}{2}(\gamma)^{\frac{1}{2}}g^{ij}N^{|m}{}_{|m}##

and a bonus term## -(-g)^{\frac{1}{2}}\frac{1}{N^2}N^{|i}N_{|i}##

(I have a copy of the original ADM paper and interestingly, they do use the full (21.90) to derive (21.115), ie without dropping the divergence!)

Is there something I have missed that would enable me to show that the bonus term somehow resolves my problems, or is there another route altogether?
Regards

Terry W

Attachment:

MTW 21.115.png
 
Physics news on Phys.org
MTW (21.115): ##16π\mathfrak{L}_{geom} = - \dot π^{ij} γ_{ij} - N\mathcal{H} -N_i\mathcal{H^i}-2(π^{ij}N_j-½N^iTrπ+γ^½N^{|i})_{,i} + (π^{ij}N^m)_{|m} - \frac{1}{2}N^{|ij} - \frac{1}{2}N^{|m}{}_{|m}##
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
3
Views
2K