Transformation of the Line-Element

  • Thread starter Thread starter Anamitra
  • Start date Start date
  • Tags Tags
    Transformation
Click For Summary
The discussion centers on the transformation of the line element in the context of General Relativity, emphasizing that the length of the line element remains invariant under specific transformations that preserve geometry. A projection transformation from a hemispherical surface to a flat plane results in differing line elements, indicating that such transformations can alter geometric properties. The conversation critiques the assumption that a simple projection maintains the same metric, highlighting the necessity of deriving the transformed metric correctly to ensure covariance. It is noted that while arbitrary transformations can be considered, they must adhere to established rules to maintain the integrity of the physical laws involved. Ultimately, the preservation of the line element is crucial for accurate calculations in curved spacetime.
  • #121
DaleSpam said:
This is not correct at all. The metric is used validly in many situations where there is no path. For example, it is used directly to compute the curvature tensors without the specification of any path.


I have referred to the quantity ds^2 --- a scalar product
This value is path dependent.

From a particular point one may take out different paths[infinitesimal ] in different directions their their length square would have different values.For finite paths path lengths would be different.

The issue of path dependence is central to the issue of integration referred to in posts #115 and #116
 
Physics news on Phys.org
  • #122
Points to Observe:

1.In the same space[manifold] I can draw millions of infinitesimal curves having different orientations and positions.

2.The nature of the space[manifold] is determined by the metric coefficients.

3.The value of ds^2 is given by the orientation and the position of the infinitesimal curve. The orientation and position of the curve selects the appropriate values of the metric coefficients, relevant to something called "path".
 
Last edited:
  • #123
Correction:

JDoolin said:
But to compare r and R as more global parameters, you need to do the integral

R=\int dR=\int ds|_{d\theta=d\phi=dt=0}= \int_{r_0} \sqrt{\frac{1}{1-\frac{G M}{r c^2}}}dr

And to do this integral, you need to define an arbitrary radius r_0>\frac{G M}{ c^2}

At work, I have access to mathematica, and I find that this integral is NOT behaving quite how I expected. I expected an integral that actually started at the schwarzschild radius in r would give an infinite R.

I'll give you a few examples of the calculation results:

\int_{1}^{1.1}\sqrt{1 -\frac{1}{r}} = .6428 n \Rightarrow \frac{\Delta R}{\Delta r} = 6.428

\int_{1}^{1.01}\sqrt{1 -\frac{1}{r}} = .2003 \Rightarrow \frac{\Delta R}{\Delta r} = 20.03

\int_{1}^{1.001}\sqrt{1 -\frac{1}{r}} = .0632 \Rightarrow \frac{\Delta R}{\Delta r} = 63.2

\int_{1}^{1.0001}\sqrt{1 -\frac{1}{r}} = .0200 \Rightarrow \frac{\Delta R}{\Delta r} = 200

\int_{1}^{1.00001}\sqrt{1 -\frac{1}{r}} = .00632 \Rightarrow \frac{\Delta R}{\Delta r} = 632

So I was wrong: You CAN start at the Schwarzschild radius and get a finite value for R. I thought that since

\left (\overset {\lim} {r \rightarrow 1^+} \left (\frac{\Delta R}{\Delta r} \right ) \right ) \to \infty

I thought the integral of that sort of thing would also give you infinity. But you don't, so you also don't have to define an arbitrary starting radius.
 
  • #124
Anamitra said:
I have referred to the quantity ds^2 --- a scalar product
This value is path dependent.
ds^2, a scalar product, is not the metric, a rank 2 tensor.

The metric is not path dependent, nor is a coordinate transform. The fact that the quantity you are referring to is path dependent should be a big hint to you that you are not doing a coordinate transform nor are you computing the metric.

Please explicitly write out the coordinate transform from t to T and r to R. If you cannot do that minimal step then none of the rest of what you are discussing has any relevance to anything. You have been asked to do this more than a half-dozen times now. Your inability to do this is a serious challenge to your method.
 
  • #125
JDoolin said:
But to compare r and R as more global parameters, you need to do the integral

R=\int dR=\int ds|_{d\theta=d\phi=dt=0}= \int_{r_0} \sqrt{\frac{1}{1-\frac{G M}{r c^2}}}dr

Incidentally, this line is wrong anyway, because

ds|_{d\theta = d\phi = dt = 0} = \Big( 1 + \frac{m}{2R} \Big)^2 dR \neq dR

As I told you earlier, the coordinate transformation between 'r' and 'R' is given by

r = R \Big( 1 + \frac{m}{2R} \Big)^2

One can transform to a radial coordinate that does represent distance from the horizon. This coordinate is given by

\rho = \int_{2m}^r \Big( 1 - \frac{2m}{r'} \Big)^{-1/2} dr' = \sqrt{r ( r - 2m)} + 2m \; \cosh^{-1} \sqrt{\frac{r}{2m}}

However, in order to carry out the transformation, you would have to invert this to get r(\rho). Good luck.
 
  • #126
The integration s requested in posting # 124

DaleSpam said:
Please explicitly write out the coordinate transform from t to T and r to R...
Let us consider a path:
Theta=const ,phi =const; r=kt where k is a constant
[An arbitrary path may not correspond to a geodesic]

{dR}=\frac{dr}{\sqrt{{1}{-}\frac{2m}{r}}}
\int{dR}{=}\int\frac{dr}{\sqrt{{1}{-}\frac{2m}{r}}}
\int\frac{r}{\sqrt{{r}{(}{r}{-}{2m}{)}}}{dr}
{=}\int\frac{1}{2}\frac{2r-2m}{\sqrt{{r}^{2}{-}{2mr}}}{dr}{+}{m }\int\frac{1}{\sqrt{{r}^{2}{-}{2mr}}}{dr}
{R}{=}{\sqrt{{r}^{2}{-}{2mr}}}{+}{2m}{ln}{[}\sqrt{r}{+}\sqrt{(}{r}{-}{2m}{)}{]}{+}{C}

Again,
{dT}{=}\sqrt{(}{1}{-}\frac{2m}{r}{)}{dt}
{=}\sqrt{\frac{{r}{-}{2m}}{r}}{dt}
{=}\sqrt{\frac{{kt}{-}{2m}}{kt}}{dt}
{=}\frac{{kt}{-}{2m}}{\sqrt{{kt}{(}{kt}{-}{2m}{)}}}{dt}
{=}\frac{1}{2k}\frac{{2k}^{2}{t}{-}{2km}}{\sqrt{{k}^{2}{t}^{2}{-}{2ktm}}}{dt}{-}{m}\frac{1}{\sqrt{{kt}{(}{kt}{-}{2m}{)}}}{dt}
{Integral}{=}{T}{=}\frac{1}{k}{\sqrt{{kt}{(}{kt}{-}{2m}{)}}}{-}\frac{2m}{k}{ln}{[}\sqrt{t}{+}\sqrt{(}{t}{-}{2m}{/}{k}{)}{]}{+}{C’}

The constants will be removed from initial conditions or by calculating definite integrals.

[In Post #111 the square root sign was inadvertently missed out in the expressions for dR and dT . I would request the audience to consider it.]
 
Last edited:
  • #127
DaleSpam said:
ds^2, a scalar product, is not the metric, a rank 2 tensor.

The metric is not path dependent, nor is a coordinate transform....
I would stress on the fact that the value of the line element in any manifold is a path dependent quantity.

Wherever I have used the term --the metric is path dependent---it should be interpreted in the sense that the value of the line element[represented by the scalar product ds^2] is path dependent. It is the path that selects out the appropriate values of the metric coefficients in the evaluation of the line element.
 
  • #128
Ben Niehoff said:
Incidentally, this line is wrong anyway, because

ds|_{d\theta = d\phi = dt = 0} = \Big( 1 + \frac{m}{2R} \Big)^2 dR \neq dR

As I told you earlier, the coordinate transformation between 'r' and 'R' is given by

r = R \Big( 1 + \frac{m}{2R} \Big)^2

I see now where you're getting that... From the "Alternative (isotropic) formulations of the Schwarzschild metric" on Wikipedia.

You do at least have to acknowledge that this is an alternative formulation. I am fairly sure the integration I did is correct, as is. If you want to add the complication suggested by Eddington, that is okay, but I don't think it represents the (t,x,y,z) variables that I was talking about.

It is also an extra level of encoding that I really don't want to deal with.
 
Last edited:
  • #129
Anamitra said:
Wherever I have used the term --the metric is path dependent---it should be interpreted ...
You should stop using the term. It is factually incorrect. The metric is not path dependent.

You should say what you mean, that the line element depends on the path. I.e. The length of a line depends on the line being measured.
 
  • #130
JDoolin said:
I see now where you're getting that... From the "Alternative (isotropic) formulations of the Schwarzschild metric" on Wikipedia.

You do at least have to acknowledge that this is an alternative formulation.

It's another equally valid set of coordinates to describe the same geometry. In some situations, isotropic coordinates are actually the most convenient. In particular, it's very easy to find new solutions to Einstein's equations using isotropic coordinates.

I am fairly sure the integration I did is correct, as is. If you want to add the complication suggested by Eddington, that is okay, but I don't think it represents the (t,x,y,z) variables that I was talking about.

Then do tell us, what (t,x,y,z) variables are you talking about? Define them mathematically.

It is also an extra level of encoding that I really don't want to deal with.

There is no "extra level" of encoding. Every coordinate system is equally valid, so long as the metric still describes the same geometry. You seem to be clinging to Schwarzschild coordinates as though they are special; but I tell you, they are not special in any way. The following are all metrics that represent the Schwarzschild geometry:

ds^2 = - \Big( \frac{2r - m}{2r + m} \Big)^2 \; dt^2 + \Big(1 + \frac{m}{2r} \Big)^4 \; (dr^2 + r^2 \; d\theta^2 + r^2 \sin^2 \theta \; d\phi^2)

ds^2 = -dt^2 + \Big( \frac{4m}{3 (r - t)} \Big)^{2/3} \; dr^2 + m^{2/3} \Big( \frac{3}{\sqrt{2}} (r-t) \Big)^{4/3} \; (d\theta^2 + \sin^2 \theta \; d\phi^2)

ds^2 = \frac{16m^2}{u^2 - v^2} \left( \frac{\mathcal{W}(\tfrac{u^2 - v^2}{e})}{1 + \mathcal{W}(\tfrac{u^2 - v^2}{e})} \right) \; (du^2 - dv^2) + 4m^2 \Big(1 + \mathcal{W}(\tfrac{u^2 - v^2}{e}) \Big)^2 \; (d\theta^2 + \sin^2 \theta \; d\phi^2)

where \mathcal{W}(x) is the Lambert W function and e is the base of the natural logarithm.
 
  • #131
Anamitra said:
{R}{=}{\sqrt{{r}^{2}{-}{2mr}}}{+}{2m}{ln}{[}\sqrt{r}{+}\sqrt{(}{r}{-}{2m}{)}{]}{+}{C}{T}{=}\frac{1}{k}{\sqrt{{kt}{(}{kt}{-}{2m}{)}}}{-}\frac{2m}{k}{ln}{[}\sqrt{t}{+}\sqrt{(}{t}{-}{2m}{/}{k}{)}{]}{+}{C’}
Excellent, thanks for that.

Now, the next step is to use these coordinate transformation equations to determine the metric (rank 2 tensor) in the new coordinates, and then to compute the curvature tensor (rank 4 tensor) in the new coordinates. Unfortunately, the given formulas are not analytically solvable for r, so you will have to do it numerically. Only then will you have demonstrated that your process generates a coordinate transform which flattens the metric.
 
  • #132
DaleSpam said:
Excellent, thanks for that.

Now, the next step is to use these coordinate transformation equations to determine the metric (rank 2 tensor) in the new coordinates, and then to compute the curvature tensor (rank 4 tensor) in the new coordinates. Unfortunately, the given formulas are not analytically solvable for r, so you will have to do it numerically. Only then will you have demonstrated that your process generates a coordinate transform which flattens the metric.

We can always do it in this way:

We have our definitions:
{dT}{=}\sqrt{{g}_{tt}}{dt}
{dR}{=}\sqrt{{g}_{rr}}{dr}
{dP}{=}\sqrt{{g}_{\theta\theta}}{d}{\theta}
{dQ}{=}\sqrt{{g}_{\phi\phi}}{d}{\phi}
Take any point A(t,r,theta,phi) in the manifold[it may be Schwarzschild's Geometry]
From this point take four distinct paths:
Path 1: r=const, theta=constant,phi=constant.
Path 2: t=const,theta=const, phi=const
Path 3: t=const,r=const,phi=const
Path 4: t=const,r=const,theta=const For Path 1.

{dT}{=}\frac{{\partial}{T}}{{\partial}{t}}{dt}{+}\frac{{\partial}{T}}{{\partial}{r}}{dr}{+}\frac{{\partial}{T}}{{\partial}{\theta}}{{d}{\theta}}{+}\frac{{\partial}{T}}{{\partial}{\phi}}{d}{\phi}

For our path dr=0;d(theta)=0 ;d(phi)=0

Therefore,so far our path is concerned,we have

\frac{dT}{dt}{=}\frac{{\partial}{T}}{{\partial}{t}}{=}\sqrt{{g}_{tt}}

[How T changes along other paths is not our concern so far as the evaluation of g(tt) is our goal/objective]

For Path 2.

{dR}{=}\frac{{\partial}{R}}{{\partial}{t}}{dt}{+}\frac{{\partial}{R}}{{\partial}{r}}{dr}{+}\frac{{\partial}{R}}{{\partial}{\theta}}{d}{\theta}{+}\frac{{\partial}{R}}{{\partial}{\phi}}{d}{\phi}

For our path dt=0;d(theta)=0 ;d(phi)=0

Therefore,so far our path is concerned,we have

\frac{dR}{dr}{=}\frac{{\partial}{R}}{{\partial}{r}}{=}\sqrt{{g}_{rr}}

[How R changes along other paths is not our concern so far as the evaluation of g(rr) at A is our goal/objective]

For Path 3.

{dP}{=}\frac{{\partial}{P}}{{\partial}{t}}{dt}{+}\frac{{\partial}{P}}{{\partial}{r}}{dr}{+}\frac{{\partial}{P}}{{\partial}{\theta}}{{d}{\theta}}{+}\frac{{\partial}{P}}{{\partial}{\phi}}{d}{\phi}

For our path dt=0; dr=0;d(phi)=0

Therefore,so far our path is concerned,we have

\frac{dP}{{d}{\theta}}{=}\frac{{\partial}{P}}{{\partial}{\theta}}{=}\sqrt{{g}_{\theta\theta}}

[How P changes along other paths is not our concern so far as the evaluation of g(theta,theta) is our goal/objective]

For Path 4.

{dQ}{=}\frac{{\partial}{Q}}{{\partial}{t}}{dt}{+}\frac{{\partial}{Q}}{{\partial}{r}}{dr}{+}\frac{{\partial}{ Q}}{{\partial}{\theta}}{d }{\theta}{+}\frac{{\partial}{Q}}{{\partial} {\phi}}{d}{\phi}

For our path dt=0;dr=0;d(theta)=0

Therefore,so far our path is concerned,we have

\frac{dQ}{{d}{\phi}}{=}\frac{{\partial}{Q}}{{\partial}{\phi}}{=}\sqrt{{g}_{\phi\phi}}

[How Q changes along other paths is not our concern so far as the evaluation of g(phi,phi) is our goal/objective]

Once we have the values of the metric coefficients at each point of the manifold we can always evaluate the Christoffel Symbols and the components of the Riemannian curvature tensor
 
Last edited:
  • #133
Ben Niehoff said:
You seem to be clinging to Schwarzschild coordinates as though they are special; but I tell you, they are not special in any way. The following are all metrics that represent the Schwarzschild geometry:

Oh, certainly I think that Schwarzschild coordinates are special, because I've seen a common-sense argumenthttp://www.mathpages.com/rr/s8-09/8-09.htm" showing that

\left (\frac{\partial \tau}{\partial r} \right )^2\approx 1-\frac{G M}{r c^2}

The fact is, I have worked through this on my own time, and I know exactly what the variables are referring to. So when you make the claim that these variables are meaningless, you're telling me something I know is not true; at least for the g00 component.

On the other hand, I've not worked through any common-sense argument for the g11 component of the Schwarzschild metric:
\left (\frac{\partial s}{\partial r} \right )^2\approx \frac{1}{1-\frac{G M}{r c^2}}

I can see there is a derivation in the http://www.blatword.co.uk/space-time/Carrol_GR_lectures.pdf" on pages 168-172. That remains a goal for me, to work through that derivation as well, but for now, I'm not comfortable with most of the concepts involved there. For instance, why does he start with the assumption that g00 is the negative reciprocal of g11?

But the point is, I didn't see the g00 component by
  • assuming g_{11}=-1/g_{00}
  • finding the connection coefficients
  • finding the nonvanishing components of the Reimann tensor
  • taking the contraction (as usual?) to find the Ricci tensor
  • setting all the components of the Ricci tensor to zero
  • discovering that the g00 and g11 had to be functions of r, only,
  • Setting R00=R11=0
  • Doing some fancy differential equations with boundary conditions, and deriving the metric

Now, I am willing and (I think) able to go through all this; that's just a matter of time. But here's the point I want to make: If someone went through these steps, without going through the other derivation, they might be left with the impression that the coordinates involved were somehow, arbitrary, i.e. nonphysical. They might think that the physical interpretation of those variables were ambiguous, or even nonexistant. And that seems to be where you are coming from, Ben.

But where I'm coming from, you see, is the other derivation; where at all times, we're talking about clocks and rulers and measurements; figuring out how to modify the Rindler coordinates into the Schwarzschild coordinates. Even though I only figured out how to get the result for the time-time component, I trust the derivation to represent something meaningful.



Ben Niehoff said:
There is no overlaying cartesian coordinate system! Such a thing is impossible.

I wish I could find some way to argue this point with you. Let me try a few things.

(1) If you could imagine yourself in a space-ship; reasonably far from a gravitational mass, could you go around it? In that asymptotic region, far from the system, where the schwarzschild metric approaches the flat space-time. Can't you go around the planet? Don't you have a fairly firm concept of how far you went? Don't base it on your path, but take someone further away, who can see both your starting position, and your ending position. He can see that you've moved from one side of the planet to the other side of the planet. And even with the planet there, he can describe your current and final position according to known distances, and known angles, effectively figured in an "overlying cartesion coordinate system."

(2) As the space-ship operator, do you feel that you just now went around a spatial anomoly. You may feel that since distances are changed inside that anomoly that you have gone an "unmeasurable" distance. However, couldn't you also take another approach? That spatial anomoly is CONTAINED in a region from your perspective. It is an unusual feature in an otherwise cartesian space. In that space, the volume where the black-hole, large planet, star, etc is a finite region; even a small and insignificant region if you're far enough away.

If you can localize a spatial anomoly to a given region; and if you can go AROUND a planet or star, I would say, you are operating with an overlying cartesian coordinate system. And the coordinates of that coordinate system run explicitly RIGHT THROUGH that spatial anomoly. They don't somehow take a break near the star and go all ambiguous on you. Every event that happens outside the schwarzchild radius, at least, is going to happen at a specific point in space and time in the overlying coordinate system.

I'm otherwise at a loss for how to explain this to you, but maybe you can identify what you think is in error.

Ben Niehoff said:
Then do tell us, what (t,x,y,z) variables are you talking about? Define them mathematically.

If you're completely convinced that an overlying cartesian coordinate system is impossible then there's hardly a point to explain this to you, because that's my exact definition.

That being said, (t,x,y,z) represent the coordinates of events in the overlying cartesian coordinate system (plus time). Naturally, unless you've been at least somewhat swayed by the arguments above, that definition won't help. But it's all I've got.

Contrast that with your own explanation:
Ben Niehoff said:
Coordinates do not carry any geometrical information at all! They are just labels. The metric carries the geometrical information. You must compute its Riemann curvature tensor to determine if it describes a curved manifold or a flat one.

(P.S. What criteria of the Riemann curvature determines whether a manifold is flat?)

In any case, it is my impression that coordinates DO carry geometrical information, and I'm rather at a loss for how you could argue otherwise.

Ben Niehoff said:
There is no ground or table. There is a black hole and we're floating in space. Can you give a more precise definition?

Mathematically, the Schwarzschild metric identifies the transformation:

c^2 {d \tau}^{2} = \left(1 - \frac{2 G M}{r c^2} \right) c^2 dt^2 - \left(1-\frac{2 G M}{r c^2}\right)^{-1} dr^2 - r^2 \left(d\theta^2 + \sin^2\theta \, d\varphi^2\right)

It's a differential equation, so you'll need some boundary values to define things explicitly.

But this isn't just a mapping of (dt,dr,d\theta,d\phi) \to ds

It is a mapping of (dt,dr,d\theta,d\phi) \to (d\tau,dR, d\theta',d\phi')

http://en.wikipedia.org/wiki/Coordinate_system In geometry, a coordinate system is a system which uses one or more numbers, or coordinates, to uniquely determine the position of a point or other geometric element.


My claim is that after applying boundary conditions, (\tau, R, \theta', \phi'), (t,r,\theta,\phi), \, \mathrm{and}\, (t,x,y,z) all represent coordinates, in that they all uniquely determine the position of events.

It should be obvious already that (t,r,\theta,\phi) represent coordinates. If not, please explain why.

These spherical coordinates can be mapped to cartesian coordinates in the standard way

\begin{matrix} t=t\\ z=r \cos(\theta)\\ x=r \sin(\theta)\cos(\phi)\\ y=r \sin(\theta)\sin(\phi) \end{matrix}

Which is also a unique mapping, except at r=0, there are several different values of phi all mapping to the same point.

The hard part is showing that (\tau, R, \theta', \phi') are coordinates.

First, a definition of their differentials:

\begin{matrix} dR \equiv ds|_{d\theta=d\phi=dt=0}=\left ( \frac{1}{\sqrt{1-\frac{G M}{r c^2}}} \right )dr\\ d\tau \equiv ds|_{d\theta=d\phi=dr=0}=\left ( \sqrt{1-\frac{G M}{r c^2}} \right )dr\\ r d\theta' \equiv ds|_{dt=d\phi=dr=0} =r d\theta\\ r sin(\theta)d\phi' \equiv ds|_{d\theta=dt=dr=0} =r sin(\theta)d\phi \\ \end{matrix}

Since d\phi'=d\phi\; \mathrm{and}\; d\theta'=d\theta, I use them interchangably.

Using boundary conditions of \begin{matrix} R(r=\frac{G M}{ c^2})=0\\ \tau(t=0)=0 \end{matrix}

We can calculate the definite integrals:

\begin{matrix} R(r)=\int_{G M/c^2}^{r}\frac{1}{\sqrt{1-\frac{G M}{\rho c^2}}}d\rho\\ \tau(t,r)=\int_{0}^{t}\sqrt{1-\frac{G M}{r c^2}}dt = \left (\sqrt{1-\frac{G M}{r c^2}} \right )t \\ \theta'(\theta)=\int_{0}^{\theta} d\theta=\theta\\ \phi'(\phi)=\int_{0}^{\phi} d\phi=\phi \end{matrix}



Ben Niehoff said:
There is no ground or table. There is a black hole and we're floating in space. Can you give a more precise definition?

If I am setting dr=0, I am saying, essentially there is no "drop" between the events. In a black hole, this might not be available; you'd have to be in a rocketship thrusting away from the center in order to maintain dr=0. But if you are on a solid planet, there is no problem. You just set your clock on a floor or table.


I can tell when you've used the letter tau, no problem with fonts. What I'm telling you is that you haven't used it as a coordinate. The quantity tau that you define here is not a coordinate. Do you see why?

No. I don't. Again, the definition I see says: "a coordinate system is a system which uses one or more numbers, or coordinates, to uniquely determine the position of a point or other geometric element."

It appears to me that tau is one of four coordinates that can uniquely determine the space-time location of an event.
 
Last edited by a moderator:
  • #134
Anamitra said:
We can always do it in this way:

We have our definitions:
{dT}{=}\sqrt{{g}_{tt}}{dt}
{dR}{=}\sqrt{{g}_{rr}}{dr}
{dP}{=}\sqrt{{g}_{\theta\theta}}{d}{\theta}
{dQ}{=}\sqrt{{g}_{\phi\phi}}{d}{\phi}
Unfortunately you get stuck even there. For the transforms you posted you do not get these expressions back. For example differentiating the R to r coordinate transform equation gives

{R}{=}{\sqrt{{r}^{2}{-}{2mr}}}{+}{2m}{ln}{[}\sqrt{r}{+}\sqrt{(}{r}{-}{2m}{)}{]}{+}{C}
dR=\frac{2 m \left(\frac{dr}{2 \sqrt{r-2 m}}+\frac{dr}{2<br /> \sqrt{r}}\right)}{\sqrt{r-2 m}+\sqrt{r}}-\frac{2 r \, dr -2 m\, dr}{8<br /> \left(r^2-2 m r\right)^{3/2}}
dR=\frac{m (4 r (r-2 m)+1)-r}{4 (r (r-2 m))^{3/2}}dr \ne \sqrt{{g}_{rr}}{dr}

That is the problem with trying to solve equations that don't have a solution. If you try and get some result then when you plug it back into the original equations you don't get what you thought you would. Please go ahead and do the differentiation yourself to confirm that I have done it correctly.
 
  • #135
DaleSpam said:
Unfortunately you get stuck even there. For the transforms you posted you do not get these expressions back. For example differentiating the R to r coordinate transform equation gives

{R}{=}{\sqrt{{r}^{2}{-}{2mr}}}{+}{2m}{ln}{[}\sqrt{r}{+}\sqrt{(}{r}{-}{2m}{)}{]}{+}{C}
dR=\frac{2 m \left(\frac{dr}{2 \sqrt{r-2 m}}+\frac{dr}{2<br /> \sqrt{r}}\right)}{\sqrt{r-2 m}+\sqrt{r}}-\frac{2 r /, dr -2 m/, dr}{8<br /> \left(r^2-2 m r\right)^{3/2}}
dR=\frac{m (4 r (r-2 m)+1)-r}{4 (r (r-2 m))^{3/2}}dr \ne \sqrt{{g}_{rr}}{dr}

That is the problem with trying to solve equations that don't have a solution. If you try and get some result then when you plug it back into the original equations you don't get what you thought you would. Please go ahead and do the differentiation yourself to confirm that I have done it correctly.
For the purpose of evaluating the metric coefficients we have to take convenient paths.
Paths have to be chosen with an aim to get the metric coefficients.I have stated such paths[Path 1,Path 2, Path 3and Path 4] in Posting #132.

The path r=kt, theta=cost and phi=const
[k=const] will not be convenient for such a purpose. We may need such a path for a specific problem--- but it will not be useful for the purpose of evaluating the values of g(mu,nu) at each point.
You must remember that our aim in posting 132 was to get the metric coefficients[so that we may evaluate the christoffel symbols and the curvature tensor ]at different points of the manifold and we are definitely at liberty to choose convenient paths for our work.
 
Last edited:
  • #136
Anamitra said:
For the purpose of evaluating the metric coefficients we have to take convenient paths.
This is a lie as we have discussed over and over and over and over. See posts 117, 120, 124, and 129.

I use the word lie deliberately. A lie is something that you say which is false and which you know to be false. You have been corrected sufficiently in this thread that you are no longer mistakenly stating a falsehood. This is now deliberate, so it is a lie.
 
Last edited:
  • #137
It appears that at least in some sense, Anamitra and I are in agreement:

Anamitra said:
Take any point A(t,r,theta,phi) in the manifold[it may be Schwarzschild's Geometry]
From this point take four distinct paths:
Path 1: r=const, theta=constant,phi=constant.
Path 2: t=const,theta=const, phi=const
Path 3: t=const,r=const,phi=const
Path 4: t=const,r=const,theta=const

That's essentially what I did here:

JDoolin said:
First, a definition of their differentials:

\begin{matrix} dR \equiv ds|_{d\theta=d\phi=dt=0}=\left ( \frac{1}{\sqrt{1-\frac{G M}{r c^2}}} \right )dr\\ d\tau \equiv ds|_{d\theta=d\phi=dr=0}=\left ( \sqrt{1-\frac{G M}{r c^2}} \right )dr\\ r d\theta&#039; \equiv ds|_{dt=d\phi=dr=0} =r d\theta\\ r sin(\theta)d\phi&#039; \equiv ds|_{d\theta=dt=dr=0} =r sin(\theta)d\phi \\ \end{matrix}

Since d\phi&#039;=d\phi\; \mathrm{and}\; d\theta&#039;=d\theta, I use them interchangably.

DaleSpam said:
The metric is not path dependent. Please re-read my rebuttal that you quoted.

Hmmm. I can't imagine what you mean here, DaleSpam. Doesn't the metric essentially define a path integral along a path in spacetime?

s=\int ds=\int \sqrt{g_{00}dx_0^2 + g_{11}dx_1^2 + g_{22}dx_2^2+g_{33}dx_3^2}

How can a path integral not be path dependent?
 
Last edited:
  • #138
DaleSpam said:
This is a lie as we have discussed over and over and over and over. See posts 117, 120, 124, and 129.

I use the word lie deliberately. A lie is something that you say which is false and which you know to be false. You have been corrected sufficiently in this thread that you are no longer mistakenly stating a falsehood. This is now deliberate, so it is a lie.

The metric coefficients are point functions[ functions of the space-time points]. Suppose we choose two points A and B[close to each other].We may always access B from A along different paths and integrate ds.This will simply give different lengths along different routes and these lengths in general will involve all the metric coefficients.

But when you move along a particular axis only one metric coefficient get involved in the evaluation of ds---thats an advantage

The metric coefficients are definitely point functions. That does not contradict my method.
I have no reason to tell you a lie.
 
  • #139
JDoolin said:
Hmmm. I can't imagine what you mean here, DaleSpam. Doesn't the metric essentially define a path integral along a path in spacetime?

s=\int ds=\int \sqrt{g_{00}dx_0^2 + g_{11}dx_1^2 + g_{22}dx_2^2+g_{33}dx_3^2}

How can a path integral not be path dependent?
The metric is a rank 2 tensor, a path integral is a scalar. Please see posts 117, 120, 124, and 129. I am not about to rehash it all with you too.
 
  • #140
Anamitra said:
The metric coefficients are point functions[ functions of the space-time points].
And therefore do not depend on any path.

There is nothing ambiguous or confusing here. You can use the metric to calculate the length along a certain path, but you can also use it for many other things. The length along a path is clearly path dependent, but the metric is not. You and JDoolin are confusing two separate things, and I don't understand how either of you can continue to make such obvious mistakes when they have been pointed out clearly and repeatedly.

A path dependent scalar (a path integral) cannot possibly be the same as a path independent rank two tensor (the metric). Stop equating the two and saying lies.
 
Last edited:
  • #141
Just to reinforce what DaleSpam is saying.

When you've chosen a coordinate system, the metric is a rank-2 tensor whose components (relative to that coordinate system) are<br /> g_{ab} = \left[\begin{array}{cccc}<br /> g_{00} &amp; g_{01} &amp; g_{02} &amp; g_{03}\\<br /> g_{10} &amp; g_{11} &amp; g_{12} &amp; g_{13}\\<br /> g_{20} &amp; g_{21} &amp; g_{22} &amp; g_{23}\\<br /> g_{30} &amp; g_{31} &amp; g_{32} &amp; g_{33}<br /> \end{array}\right]<br />When people write the equation<br /> ds^2 = g_{ab}\,dx^a\,dx^b<br />that is just a convenient way of specifying what the components of the metric tensor are, without all the hassle of typesetting a 4×4 matrix. ds is the line element. gab is the metric tensor. They are not the same thing. One can be calculated from the other.

And its no use trying to define a 4D-coordinate system along a one-dimensional curve. For coordinate system to be valid (and to determine the components of the metric tensor relative to this coordinate system) it needs to be defined consistently over a 4-dimensional region of spacetime. (Or in general over an N-dimensional subset of an N-dimensional manifold.)
 
  • #142
JDoolin said:
Oh, certainly I think that Schwarzschild coordinates are special, because I've seen a common-sense argumenthttp://www.mathpages.com/rr/s8-09/8-09.htm" showing that

\left (\frac{\partial \tau}{\partial r} \right )^2\approx 1-\frac{G M}{r c^2}

The fact is, I have worked through this on my own time, and I know exactly what the variables are referring to. So when you make the claim that these variables are meaningless, you're telling me something I know is not true; at least for the g00 component.

I disagree with your contention that you know what the variables are referring to. The weak-field limit calculation certainly does lead to the expression above for gravitational time dilation. But in the weak-field calculation, the variable 'r' is assumed to represent radial distance from the source.

In the full Schwarzschild metric, the coordinate 'r' no longer represents radial distance from the source, as clearly evidenced by the fact that g_{rr} \neq 1. However, it is still true that the gravitational time dilation, expressed in the coordinate 'r', takes the expression you have above.

If you were to express gravitational time dilation as a function of radial distance from the source, you would get a much more complicated expression! Only in the weak-field limit (i.e., very far from the source) would the expressions coincide.

Second, what I said originally (and I think I have continued to say) is that coordinates (in general) are not intrinsically meaningful. You have consistently ignored the qualifier "intrinsically".

I do agree that in specific coordinate systems we can often find meanings for the coordinates. But in order to do so, there is mathematical work to be done -- the meanings of the coordinates are not inherent or automatic. In fact, this work can be quite tough if we are given some unfamiliar metric, and it requires clear thinking rather than just making assumptions about what we think things mean. We have to look at geodesics, Killing vectors, integrate, measure, etc. Only then can we discover "This coordinate relates to this quantity".

For example, the Schwarzschild coordinate 'r' can be related to the circumferences of circles centered on the source point:

r = \frac{1}{2\pi} \oint_\mathcal{C} ds
But don't be fooled into thinking this implies that 'r' is a 'radius'! We are not in Euclidean space, so the usual circumference law of circles does not apply.

(P.S. What criteria of the Riemann curvature determines whether a manifold is flat?)

A manifold is flat if and only if the Riemann curvature tensor vanishes. Remember that if a tensor vanishes in one coordinate system, it vanishes in all coordinate systems.

Mathematically, the Schwarzschild metric identifies the transformation:

c^2 {d \tau}^{2} = \left(1 - \frac{2 G M}{r c^2} \right) c^2 dt^2 - \left(1-\frac{2 G M}{r c^2}\right)^{-1} dr^2 - r^2 \left(d\theta^2 + \sin^2\theta \, d\varphi^2\right)

It's a differential equation, so you'll need some boundary values to define things explicitly.

But this isn't just a mapping of (dt,dr,d\theta,d\phi) \to ds

It is a mapping of (dt,dr,d\theta,d\phi) \to (d\tau,dR, d\theta&#039;,d\phi&#039;)

This is complete nonsense. A metric tensor is not a coordinate transformation. You seem to be extremely confused.

http://en.wikipedia.org/wiki/Coordinate_system In geometry, a coordinate system is a system which uses one or more numbers, or coordinates, to uniquely determine the position of a point or other geometric element.

The key word here is uniquely. We'll come back to that...


These spherical coordinates can be mapped to cartesian coordinates in the standard way

\begin{matrix} t=t\\ z=r \cos(\theta)\\ x=r \sin(\theta)\cos(\phi)\\ y=r \sin(\theta)\sin(\phi) \end{matrix}

Which is also a unique mapping, except at r=0, there are several different values of phi all mapping to the same point.

It would be instructive if you compute, and then post for us, the Schwarzschild metric after applying the above coordinate transformation. What does it look like? How should the (x,y,z) coordinate be interpreted? Is this the interpretation you thought they would have?

\begin{matrix} dR \equiv ds|_{d\theta=d\phi=dt=0}=\left ( \frac{1}{\sqrt{1-\frac{2G M}{r c^2}}} \right )dr\\ d\tau \equiv ds|_{d\theta=d\phi=dr=0}=\left ( \sqrt{1-\frac{2G M}{r c^2}} \right )dt \end{matrix}

(Note: I've corrected dr to dt in the second line, which is clearly what you meant. I've also put in some missing 2's.)

Look carefully here. As I tried to explain to Anamitra a long time ago, the second line is a lie. You have called a quantity d\tau when it is not, in fact, an exact differential! This is not allowed.

In particular, the integral

\tau \; \; \overset{?}{=} \; \int_{t_0} \sqrt{1-\frac{2G M}{r c^2}} \; dt
does not give a unique answer, because the value of the integral depends on the path. This is because the quantity being integrated is not an exact differential. This is why I said earlier that \tau is not a good coordinate.

Using boundary conditions of \begin{matrix} R(r=\frac{2G M}{ c^2})=0\\ \tau(t=0)=0 \end{matrix}

We can calculate the definite integrals:

\begin{matrix} R(r)=\int_{2G M/c^2}^{r}\frac{1}{\sqrt{1-\frac{2G M}{\rho c^2}}}d\rho\\ \tau(t,r)=\int_{0}^{t}\sqrt{1-\frac{2G M}{r c^2}}dt = \left (\sqrt{1-\frac{2G M}{r c^2}} \right )t \end{matrix}

Ah, now this is different. Here you have specified a path along which to do the previous integral. You have chosen the path r = \mathrm{const}. That's fine, I just want you to realize that you had to make that choice, and you could have made it another way.

Again, it would be instructive for you to compute, and post here, the Schwarzschild metric in these new coordinates. I gave the solution to your first integral in my previous post, if you want to use it:

\int_{2m}^r \Big( 1 - \frac{2m}{r&#039;} \Big)^{-1/2} dr&#039; = \sqrt{r ( r - 2m)} + 2m \; \cosh^{-1} \sqrt{\frac{r}{2m}}

If I am setting dr=0, I am saying, essentially there is no "drop" between the events. In a black hole, this might not be available; you'd have to be in a rocketship thrusting away from the center in order to maintain dr=0. But if you are on a solid planet, there is no problem. You just set your clock on a floor or table.

The correct term for this is a stationary observer. Note that not every spacetime has stationary observers! It turns out that the existence of a stationary observer is intimately connected to the existence of a timelike Killing vector (this is a fancy way of saying the spacetime has time translation symmetry). When there is a timelike Killing vector, we can call an observer stationary if his worldline is everywhere tangent to the timelike Killing vector.
 
Last edited by a moderator:
  • #143
DrGreg said:
Just to reinforce what DaleSpam is saying.

When you've chosen a coordinate system, the metric is a rank-2 tensor whose components (relative to that coordinate system) are <br /> g_{ab} = \left[\begin{array}{cccc}<br /> g_{00} &amp; g_{01} &amp; g_{02} &amp; g_{03}\\<br /> g_{10} &amp; g_{11} &amp; g_{12} &amp; g_{13}\\<br /> g_{20} &amp; g_{21} &amp; g_{22} &amp; g_{23}\\<br /> g_{30} &amp; g_{31} &amp; g_{32} &amp; g_{33}<br /> \end{array}\right]<br /> When people write the equation <br /> ds^2 = g_{ab}\,dx^a\,dx^b<br /> that is just a convenient way of specifying what the components of the metric tensor are, without all the hassle of typesetting a 4×4 matrix. ds is the line element. gab is the metric tensor. They are not the same thing. One can be calculated from the other.

And its no use trying to define a 4D-coordinate system along a one-dimensional curve. For coordinate system to be valid (and to determine the components of the metric tensor relative to this coordinate system) it needs to be defined consistently over a 4-dimensional region of spacetime. (Or in general over an N-dimensional subset of an N-dimensional manifold.)

I'm still confused. Can you explicitly state what it is that I got confused, or what I got wrong, or what I'm "lying" about?

My impression is that
<br /> g_{ab} = \left[\begin{array}{cccc}<br /> g_{00} &amp; g_{01} &amp; g_{02} &amp; g_{03}\\<br /> g_{10} &amp; g_{11} &amp; g_{12} &amp; g_{13}\\<br /> g_{20} &amp; g_{21} &amp; g_{22} &amp; g_{23}\\<br /> g_{30} &amp; g_{31} &amp; g_{32} &amp; g_{33}<br /> \end{array}\right]<br />

is a rank 2 tensor, while ds^2 = g_{ab}\,dx^a\,dx^b defines a scalar from a rank 2 tensor.

Is this wrong?
 
  • #144
DrGreg said:
And its no use trying to define a 4D-coordinate system along a one-dimensional curve. For coordinate system to be valid (and to determine the components of the metric tensor relative to this coordinate system) it needs to be defined consistently over a 4-dimensional region of spacetime. (Or in general over an N-dimensional subset of an N-dimensional manifold.)
Yes, otherwise it is a mapping from the manifold to R1 instead of a mapping from the manifold to R4.
 
  • #145
JDoolin said:
is a rank 2 tensor, while ds^2 = g_{ab}\,dx^a\,dx^b defines a scalar from a rank 2 tensor.
Yes, this is correct. So how can you possibly conclude that therefore g is path-dependent?
 
  • #146
JDoolin said:
I'm still confused. Can you explicitly state what it is that I got confused, or what I got wrong, or what I'm "lying" about?

My impression is that
<br /> g_{ab} = \left[\begin{array}{cccc}<br /> g_{00} &amp; g_{01} &amp; g_{02} &amp; g_{03}\\<br /> g_{10} &amp; g_{11} &amp; g_{12} &amp; g_{13}\\<br /> g_{20} &amp; g_{21} &amp; g_{22} &amp; g_{23}\\<br /> g_{30} &amp; g_{31} &amp; g_{32} &amp; g_{33}<br /> \end{array}\right]<br />

is a rank 2 tensor, while ds^2 = g_{ab}\,dx^a\,dx^b defines a scalar from a rank 2 tensor.

Is this wrong?
I don't think there's anything wrong with your specific words above. The problem when you try to define a new coordinate by integrating a differential along a 1-D curve. That gives you a 1-D parameterisation of a 1-D curve, but in general there's no guarantee that this will extend to give you a self-consistent 4-D coord system over a 4-D region. I'll draw your attention to what I said earlier in another thread:
DrGreg said:
Anamitra said:
{dq}{=}{R}{Sin}{(}{\theta}{)}{d}{\phi}
Because we must havedq = \frac{\partial q}{\partial \theta} d\theta + \frac{\partial q}{\partial \phi} d\phiyour equation implies not only\frac{\partial q}{\partial \phi} = R \, \sin \, \thetabut also\frac{\partial q}{\partial \theta} = 0As others have pointed out in different ways, there is no simultaneous solution to both those equations.
 
  • #147
The Two-Sphere Problem:

We consider a Schwarzschild sphere with r=k [k: Consant]

Physically the radius of the sphere is given by:
{R}{=}\int{(}{1}{-}\frac{2m}{r}{)}^{-1/2}{dr}{+}{C} ------------ (1)
The integral extends forn r>2m to r=k, C is a constant
for any theta,phi direction. [Of course t=constant here ]Now in flat spacetime we take a sphere of radius=r=k

We use the transformation:
(R,theta,phi)------->(r,theta,phi) ------------- (2)
[The transformation is from Schwarzschild's space to flat space for t= some constant]
[The R on the LHS of (2) may be called the Physical radius of the Schwarzschild Sphere corresponding to the coordinate value of r=k]
The value of ds^2 is not changing on the surface of the two spheres.
Now what happens if we consider different spheres in each system for different values of k and use the same transformation[given by (2)] for each time slice?
 
Last edited:
  • #148
Anamitra said:
The Two-Sphere Problem:

We consider a Schwarzschild sphere with r=k [k: Consant]

Physically the radius of the sphere is given by:
{R}{=}\int{(}{1}{-}\frac{2m}{r}{)}{dr} ------------ (1)
for any theta,phi direction. [Of course t=constant here ]
OK, so now we are doing a different transformation? So evaluating the integral we get:
R=r-2 m \log (r)
or solving for r we get
r=-2 m W\left(-\frac{e^{-\frac{R}{2 m}}}{2 m}\right)
where W is the product log function.

OK, so far so good. Are you hoping that this coordinate transform will allow you to flatten the metric?
 
  • #149
I have done an editing on post 147
 
  • #150
OK, so now we are back to post 126? If so, please see my previous response.
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 43 ·
2
Replies
43
Views
3K
Replies
14
Views
1K
Replies
1
Views
1K
  • · Replies 20 ·
Replies
20
Views
1K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 18 ·
Replies
18
Views
4K
  • · Replies 15 ·
Replies
15
Views
2K