I'm reading an article (http://arxiv.org/abs/gr-qc/0403075) which proves that a certain spacetime is geodesically complete. It does this by proving that the first derivatives fo all coordinates have finite bounds. My question is why this is enough.(adsbygoogle = window.adsbygoogle || []).push({});

Is it just a simple ODE result? We know that the geodesic equation locally has a solution given an initial "position" and "velocity", by the basic existence result in ODEs. Hence if we show that this "velocity" is bounded everywhere then then the geodesic can extend indefinitely, because the geodesic equation can be solved everywhere. Is this right?

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Geodesic completeness proofs

Loading...

Similar Threads - Geodesic completeness proofs | Date |
---|---|

A Commutator of covariant derivative and D/ds on vector fields | Mar 15, 2018 |

A Showing E-L geodesic def and covariant geodesic def are same | Mar 6, 2018 |

A Constant along a geodesic vs covariantly constant | Feb 27, 2018 |

A Lense-Thirring effect - General Relativity | Feb 27, 2018 |

**Physics Forums - The Fusion of Science and Community**