User:Jaycall/KillingVectorApproach
From VisTrailsWiki
 Tiled Menu  Tables of Content  Banner Video  Tohline Home Page  
Contents 
Characteristic Vector Approach to Integrals of Motion Problem
Motivated by our recent work in relativistic fluid dynamics, one insightful approach to the integrals of motion problem involves rewriting the equations of motion in terms of an arbitrary vector field, which we're currently calling a characteristic vector. The benefit here is that we can produce a mathematical condition that tells us what combintations of variables should be grouped together in order to produce conserved quantities. The details follow.
Newtonian Equations of Motion
Using index summation notation (wherein repeated indices are summed over), it is possible to write the Newtonian equations of motion for a test particle in a fixed, static potential in an arbitrary orthogonal coordinate system. The equation describing motion in the idimension is:
where m is the mass of the test particle, the λs are the chosen coordinates, and the s are the coordinate velocities (or the total timederivatives of the coordinates), the hs are the metric scale factors associated with each of the coordinates, Φ is the gravitational potential, and the Γs are the Christoffel symbols.
Metric Components, Orthogonality Condition, and Scale Factors
For any coordinate system it is possible to express the components of the metric in terms of the partial derivatives defining the transformation from any other coordinate system. Written in terms of the transformation from cylindrical coordinates, each metric component is
The orthogonality condition is that the metric be diagonal. That is, each offdiagonal component of the metric must equal zero.
If the coordinates should be orthogonal, then scale factors can also be defined in terms of the diagonal components of the metric such that . This results in the following definition of the scale factors if the orthogonality condition is met.
Christoffel Symbols
For an orthogonal coordinate system, the Christoffel symbols can be written (depending on which, if any, indices are repeated) as
Christoffel Symbols 



for 


for 


otherwise 


otherwise 
Identification of Conserved Quantity
If, through some miracle, the righthand side (RHS) of the equation of motion should equal zero, then the combination of variables inside the parentheses must by definition be a conserved quantity. But good luck guessing a coordinate system in which this miracle will occur!
Introduce Characteristic Vector
The trick is to introduce an arbitrary vector field, which will be used to build a locationdependent weighted linear combination of the equations of motion. Since the equations of motion associated with each of the coordinates collectively form a single vector equation, we will just form an inner product of our characteristic vector with each side of the vector equation of motion. The result is
CV.01 

Next, we bring C_{i} inside the total timederivative on the lefthand side (LHS). This produces an additional term, which we promptly move over to the RHS and include as part of what is commonly referred to as the source (since it's the source of any change in the quantity in parentheses).
By doing this, we have formed a new conservative quantity; that is, a new quantity in the parentheses which will be conserved if and only if the source is zero. The utility is in the fact that we should be able to force the source associated with this new conservative quantity to go to zero by choosing the right characteristic vector. Once we find the right characteristic vector, we'll be able to use it directly to build the conserved quantity .
Strategic Choice of Characteristic Vector
So we're looking for a vector such that
The good news is that this is a single scalar equation constraining the three independent components of , so several families of solutions should exist. Consequently, we can afford to be choosey!
In the problem we're exploring using T3 coordinates, we already know a conserved quantity associated with the azimuthal coordinate — angular momentum. We're looking for an additional (independent) conserved quantity associated with the two radial coordinates. So it makes sense to look for one of the solutions that has C_{3} = 0. Furthermore, we'd like to avoid dealing with the unknown potential function (which varies only with λ_{1}) as much as possible, so as long as we're being choosey, let's look for a solution that has C_{1} = 0. We now have three conditions on three components. The condition constraining C_{2} is
This can be rewritten more simply as
Perhaps the best approach to solving this condition is separation of variables.


= 


lnC_{2} 
= 


C_{2} 
= 

The final necessary step will be to write the quantity in parentheses as the exact derivative of some other quantity, call it Ξ. The longsought conserved quantity will then be , where
Question from Joel
Is the following logic correct?
Suppose we examine the term in which j = 2 and k = 1. The integral becomes,
Given that the scale factors and the Christoffel symbols are expressible entirely in terms of λ_{1} and λ_{2}, one could imagine a situation — for example in the quadratic case of q^{2} = 2 — in which this integral could be completed analytically. (I presume that wherever λ_{2} appears inside this integral, it can be treated as a constant because the two coordinates are independent of one another.)
Response from Jay
Yes, I believe you've worked this term out correctly, but as you can see in what follows, it cancels out with the other cross term. Writing out each of the terms in Ξ gives,
Plugging in values for the Christoffel symbols leads to the expression
And limiting our interest to motion within the meridional plane (setting ) and simplifying
CV.02 


= 


= 

NOTE: Sign error fixed on 15 July 2010. Specifically, changed to . 
Application to T3 Coordinates
On a separate page, we have applied this "characteristic vector" approach specifically to T3 coordinates.
© 2014  2019 by Joel E. Tohline 