Monoid (category theory): Difference between revisions
en>Quilbert Undid revision 501427437 by 129.67.148.210 (talk). That is exactly what it says, just with α taken in the other direction. |
en>Yobot m →Examples: WP:CHECKWIKI error fixes using AWB (9075) |
||
Line 1: | Line 1: | ||
The | {{Expert-subject|Mathematics|date=November 2008}} | ||
{{How to|date=October 2009}} | |||
'''Solving the geodesic equations''' is a procedure used in [[mathematics]], particularly [[Riemannian geometry]], and in [[physics]], particularly in [[general relativity]], that results in obtaining [[geodesic]]s. Physically, these represent the paths of (usually ideal) particles with no [[four-acceleration|proper acceleration]], their motion satisfying the geodesic equations. Because the particles are subject to no four-acceleration, the geodesics generally represent the straightest path between two points in a curved [[spacetime]]. | |||
==The geodesic equation== | |||
{{Main|Geodesic}} | |||
On an n-dimensional [[Riemannian manifold]] <math>M</math>, the geodesic equation written in a [[coordinate chart]] with coordinates <math>x^a</math> is: | |||
:<math>\frac{d^2x^a}{ds^2} + \Gamma^{a}_{bc}\frac{dx^b}{ds}\frac{dx^c}{ds} = 0</math> | |||
where the coordinates ''x''<sup>''a''</sup>(''s'') are regarded as the coordinates of a [[curve]] γ(''s'') in <math>M</math> and <math>\Gamma^{a}_{bc}</math> are the [[Christoffel symbol]]s. The Christoffel symbols are functions of the [[Metric (mathematics)|metric]] and are given by: | |||
:<math> \Gamma^a_{bc} = \frac{1}{2} g^{ad} \left( g_{cd,b} + g_{bd,c} - g_{bc,d} \right) </math> | |||
where the comma indicates a [[partial derivative]] with respect to the coordinates: | |||
:<math> g_{ab,c} = \frac{\partial {g_{ab}}}{\partial {x^c}} </math> | |||
As the manifold has dimension <math>n</math>, the geodesic equations are a system of <math>n</math> [[ordinary differential equation]]s for the <math>n</math> coordinate variables. Thus, allied with [[initial conditions]], the system can, according to the [[Picard–Lindelöf theorem]], be solved. One can also use a Lagrangian approach to the problem: defining | |||
:<math> L = g_{\mu \nu} \frac{d x^{\mu}}{d s} \frac{d x^{\nu}}{d s} </math> | |||
and applying the [[Euler-Lagrange equation]]. | |||
==Heuristics== | |||
As the [[Physical law|laws of physics]] can be written in any [[coordinate system]], it is convenient to choose one that simplifies the geodesic equations. Mathematically, this means, a [[coordinate chart]] is chosen in which the geodesic equations have a particularly tractable form. | |||
==Effective potentials== | |||
When the geodesic equations can be separated into terms containing only an undifferentiated variable and terms containing only its [[derivative]], the former may be consolidated into an effective potential dependent only on position. In this case, many of the [[heuristic]] methods of analysing [[energy diagram]]s apply, in particular the location of turning points. | |||
==Solution techniques== | |||
Solving the geodesic equations means obtaining an exact solution, possibly even the [[Ordinary differential equation#Definitions|general solution]], of the geodesic equations. Most attacks secretly employ the point symmetry group of the system of geodesic equations. This often yields a result giving a family of solutions implicitly, but in many examples does yield the general solution in explicit form. | |||
In general relativity, to obtain [[timelike]] geodesics it is often simplest to start from the spacetime [[Metric tensor (general relativity)|metric]], after dividing by <math>ds^2</math> to obtain the form | |||
:<math>1 = g_{\mu\nu}\dot{x^\mu}\dot{x^\nu} </math> | |||
where the dot represents differentiation with respect to <math>s</math>. Because timelike geodesics are [[maximal element|maximal]], one may apply the [[Euler-Lagrange equation]] directly, and thus obtain a set of equations equivalent to the geodesic equations. This method has the advantage of bypassing a tedious calculation of [[Christoffel symbols]]. | |||
==See also== | |||
*[[Geodesics of the Schwarzschild vacuum]] | |||
*[[Mathematics of general relativity]] | |||
*[[Transition from special relativity to general relativity]] | |||
==References== | |||
{{refbegin}} | |||
* {{cite book | author=Einstein, A. | title=Relativity: The Special and General Theory | location= New York | publisher=Crown| year=1961 | isbn=0-517-02961-8}} | |||
* {{cite book | author=Misner, Charles; Thorne, Kip S. & Wheeler, John Archibald | title=Gravitation | location=San Francisco | publisher=W. H. Freeman | year=1973 | isbn=0-7167-0344-0}} | |||
* {{cite book | author=Landau, L. D. and Lifshitz, E. M.| title=Classical Theory of Fields (Fourth Revised English Edition) | location=Oxford | publisher=Pergamon | year=1975 | isbn=0-08-018176-7}} | |||
{{refend}} | |||
{{Physics-footer}} | |||
<!-- WIKIPEDIA POLICY NOTE: This is the main article for Category:General_relativity. Additional categorizations should be done for the category, not this article. See Wikipedia:Categorization for current guidelines (not WP:CSL, which is only a proposal). --> | |||
{{DEFAULTSORT:Solving The Geodesic Equations}} | |||
[[Category:General relativity]] | |||
[[Category:Mathematical methods in general relativity]] |
Revision as of 16:36, 11 April 2013
Template:Expert-subject Template:How to Solving the geodesic equations is a procedure used in mathematics, particularly Riemannian geometry, and in physics, particularly in general relativity, that results in obtaining geodesics. Physically, these represent the paths of (usually ideal) particles with no proper acceleration, their motion satisfying the geodesic equations. Because the particles are subject to no four-acceleration, the geodesics generally represent the straightest path between two points in a curved spacetime.
The geodesic equation
Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church.
On an n-dimensional Riemannian manifold , the geodesic equation written in a coordinate chart with coordinates is:
where the coordinates xa(s) are regarded as the coordinates of a curve γ(s) in and are the Christoffel symbols. The Christoffel symbols are functions of the metric and are given by:
where the comma indicates a partial derivative with respect to the coordinates:
As the manifold has dimension , the geodesic equations are a system of ordinary differential equations for the coordinate variables. Thus, allied with initial conditions, the system can, according to the Picard–Lindelöf theorem, be solved. One can also use a Lagrangian approach to the problem: defining
and applying the Euler-Lagrange equation.
Heuristics
As the laws of physics can be written in any coordinate system, it is convenient to choose one that simplifies the geodesic equations. Mathematically, this means, a coordinate chart is chosen in which the geodesic equations have a particularly tractable form.
Effective potentials
When the geodesic equations can be separated into terms containing only an undifferentiated variable and terms containing only its derivative, the former may be consolidated into an effective potential dependent only on position. In this case, many of the heuristic methods of analysing energy diagrams apply, in particular the location of turning points.
Solution techniques
Solving the geodesic equations means obtaining an exact solution, possibly even the general solution, of the geodesic equations. Most attacks secretly employ the point symmetry group of the system of geodesic equations. This often yields a result giving a family of solutions implicitly, but in many examples does yield the general solution in explicit form.
In general relativity, to obtain timelike geodesics it is often simplest to start from the spacetime metric, after dividing by to obtain the form
where the dot represents differentiation with respect to . Because timelike geodesics are maximal, one may apply the Euler-Lagrange equation directly, and thus obtain a set of equations equivalent to the geodesic equations. This method has the advantage of bypassing a tedious calculation of Christoffel symbols.
See also
References
- 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 - 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 - 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534