I would answer this question this way:
First, without any further assumptions about the Riemannian metric on $M$, you don't even have a lower bound on the time $t_f$ for which the geodesic exists and does not intersect itself. The geodesic may fail to exist either simply because the metric is incomplete.
Second, if for some reason you know that the geodesic exists for time $t_f$ and does not hit any boundary or singular set of $M$, then you can definitely find Fermi co-ordinates on a neighborhood of the geodesic, but you have no control over the "thickness" of the neighborhood along the geodesic, so it may approach zero.
Third, the answers above hold regardless of whether you know anything about the metric at a single point $p$. That is far too little information, and you can make the metric do anything you want at a point arbitrarily close to the point $p$. As others have indicated, you must assume some information on an neighborhood of $p$, and the conclusion holds only for that neighborhood.
ADDED: Your question is analogous to the following one: Suppose I have a real-valued function $f$ on an interval, and for some (large) value of $k$, I know the $k$-th order Taylor polynomial of $f$ at a point $p$ in the interval. Is there a bound on the first derivative of $f$ on an open interval containing $p$, where the bound and the size of the interval depend only on the coefficients of the Taylor polynomial?
It is easy to show that the answer is no, and essentially the same proof can be used to show that the answer to your question is also no.
RESPONSE TO REVISED VERSION:
1) Yes, if your manifold is open, and you start with a geodesic segment, then there exist Fermi co-ordinates in a neighborhood of the geodesic. But you have no control over the thickness of the neighborhood around the geodesic on which the Fermi co-ordinates exist. It will vary and may approach zero as you approach one of the endpoints of the geodesic segment.
2) I'm a little baffled by why you would want to do everything relative to a background flat metric. Is this metric a natural part of what you need this for? This makes the question a bit contrived for me.
No comments:
Post a Comment