Home | Contact Us | FAQ | Search & Site Map | Link to Us
Sign In | Join | Other 45 Sites in Network
Home
Discussion Groups
Biology
BiologyBotanyMicrobiologyEntomologyEvolutionPaleontology
Chemistry
General ChemistryAnalytical ChemistryElectrochemistryOrganic Synthesis
Earth Science
GeologyMineralogyOceanographyMeteorologyEarthquakes
Physics
General PhysicsResearchRelativityParticle PhysicsElectromagnetismFusionOpticsAcousticsNew Theories

Natural Science Forum / Physics / Relativity / June 2005



Tip: Looking for answers? Try searching our database.

GR for Roberts, Carlip, Daryl, Bilge/ Tucker

Thread view: 
Enable EMail Alerts  Start New Thread
Thread rating: 
Ken S. Tucker - 16 Jun 2005 19:13 GMT
RE: Discussion of Roberts, Carlip, Daryl, Bilge
& Tucker.

This refs to Weinberg's "Grav&Cosmo", pg 148,
"Geodesic Deviation"...

I would like to comment on the equation of motion,
given in ascii by,

0 = d^2x^u/ds^2 + GAMMA^u_vw(x) U^v U^w.   (1)

Without doubt, the x^u requires a relation involving
TWO particles to define x^u.

Using GR it is *by choice* we set either particle
to be at rest to calculate the d^2x^u/ds^2, in order
to compute relative coordinate acceleraction.

OTOH, each of those particles is in classical
geodesical motion, (classical meaning there is
no exchange of photons to create inertial forces
and reactions).

Shifting to Eq.(6.10.1), we'll find those same TWO
particles separated into distinct geodesics whose
finite range I'll re-denote from the finite
delta x^u used in the (6.10.1) to the finite
x^u used in the geodesic (1).

We have two expressions to describe a field, Eq(1)
is one single *absolute* geodisic that presumes an
FoR, but (6.10.1) requires relative geodesics.

It appears, from point of view of GR, Eq.(6.10.1)
needs no presumption of either geodesic being at
rest in the computation, but instead only the
relativity of two arbituary geodesics.

Let's do an example. Consider the orbit of Mercury.

Using Eq.(6.10.1) both the Sun and Mercury are on
geodesics, and we should find the *precession*
accountable by,

R^a_bcd =/=0,

without any specific centalization of a ref that
Eq.(1) appears to require, in the spirit of GR.

Regards
Ken S. Tucker
Daryl McCullough - 16 Jun 2005 21:18 GMT
Ken S. Tucker says...

>I would like to comment on the equation of motion,
>given in ascii by,
[quoted text clipped - 3 lines]
>Without doubt, the x^u requires a relation involving
>TWO particles to define x^u.

>Using GR it is *by choice* we set either particle
>to be at rest to calculate the d^2x^u/ds^2, in order
>to compute relative coordinate acceleraction.

I don't understand what you mean by that. Equation (1)
is the equation of motion for a test particle described
in curvilinear coordinates. What second particle are
you referring to?

It is true that the R_ijkl can be computed in terms of
the deviation of two nearby geodesics, but equation (1)
is only the equation for a single geodesic.

--
Daryl McCullough
Ithaca, NY
Ken S. Tucker - 16 Jun 2005 21:55 GMT
> Ken S. Tucker says...
>
[quoted text clipped - 9 lines]
> >to be at rest to calculate the d^2x^u/ds^2, in order
> >to compute relative coordinate acceleraction.

Hi Daryl,

> I don't understand what you mean by that. Equation (1)
> is the equation of motion for a test particle described
> in curvilinear coordinates. What second particle are
> you referring to?

That 2nd particle maybe regarded as the gravitator
producing the curvilinear coordinates, if you choose
that particle as a ref, then Eq(1) becomes relevant.

> It is true that the R_ijkl can be computed in terms of
> the deviation of two nearby geodesics, but equation (1)
> is only the equation for a single geodesic.

That's right, in GR you can use the R_ijkl (6.10.1)
should you select two gravational particles that are
relatively geodesical, and that's my point.

Any field is defined by the relative relation of
particles, independent of any preferred reference.

> Daryl McCullough

Thanks Daryl
Regards
Ken S. Tucker
member - 16 Jun 2005 22:05 GMT
i cant see the idea in putting moron bilge together in the subject line
member - 16 Jun 2005 22:15 GMT
lets take the moron away from the subject line

> RE: Discussion of Roberts, Carlip, Daryl, Bilge
> & Tucker.
[quoted text clipped - 47 lines]
> Regards
> Ken S. Tucker
Tom Roberts - 19 Jun 2005 20:09 GMT
> This refs to Weinberg's "Grav&Cosmo", pg 148,
> "Geodesic Deviation"...
[quoted text clipped - 3 lines]
> Without doubt, the x^u requires a relation involving
> TWO particles to define x^u.

Merely quoting an equation out of a book is NOT sufficient to understand
what is going on -- you also need to understand what the symbols in the
equation actually mean.

Please read the text in that section. Quite clearly the x^u(\tau)
describe the trajectory of ONE of the two particles under discussion,
where the x^u(\tau) are determined by referring to some specific (but
unspecified) coordinate system. These 4 values are functions of the
particle's proper time \tau, as indicated by Weinberg's notation.

The second particle has a trajectory x^u(\tau)+dx^u(\tau) [my ASCII d is
Weinberg's \delta], referred to THE SAME coordinate system.

> Using GR it is *by choice* we set either particle
> to be at rest to calculate the d^2x^u/ds^2, in order
> to compute relative coordinate acceleraction.

You have fallen completely of the rails, and are wandering around in
fantasy land here. The x^u are referenced to a specific (but
unspecified) coordinate system. EXPLICITLY neither particle is "at
rest", because they follow trajectories x^u(\tau) and
x^u(\tau)+dx^u(\tau) -- neither of those is zero (they are _arbitrary_
functions of \tau; i.e. specific but unspecified functions of \tau).

And Weinberg is most definitely NOT computing "relative coordinate
acceleraction". He is, as the title of the section says, computing
geodesic deviation. That is, his (6.10.1) relates the behavior of nearby
geodesics to the curvature tensor.

> OTOH, each of those particles is in classical
> geodesical motion,

Yes. You got something right. But the adjective form of the word is
"geodesic". And "classical" is redundant, as Weinberg's entire book
discusses non-quantum gravitation and cosmology.

> (classical meaning there is
> no exchange of photons to create inertial forces
> and reactions).

This is nonsense -- no "photons" are required to "create inertial forces
and reactions". The presence of "photons" would explicitly indicate the
presence of electromagnetic interactions, implying explicitly
NON-inertial (non-geodesic) motion. And, of course, photons are quantum
objects and Weinberg's book discusses only classical (non-quantum)
gravitation and cosmology.

> Shifting to Eq.(6.10.1), we'll find those same TWO
> particles separated into distinct geodesics

Please actually _READ_ what Weinberg wrote -- these two particles were
always on separate geodesic paths, as that is the context of this entire
section.

> That 2nd particle maybe regarded as the gravitator
> producing the curvilinear coordinates,

No. Both particles are following geodesic paths in an arbitrary
Lorentzian manifold characterized by a metric and its associated
connection and curvature tensor. _NEITHER_ particle is a "gravitator",
as in order for them to follow geodesic paths they must be of negligible
mass. No "gravitator" is mentioned in this section, but the influence of
any and all "gravitators" are contained in the metric, connection, and
curvature tensor.

> Any field is defined by the relative relation of
> particles, independent of any preferred reference.

Nonsense. A field is a function on the manifold. It is utterly unrelated
to any "particles" or any "preferred reference".

> [... further fantasies utterly unrelated to Weinberg's book]

Tom Roberts    tjroberts@lucent.com
Ken S. Tucker - 19 Jun 2005 23:43 GMT
Roberts and Bilge and to some extent Carlip, tend to
retain the late 60's idea of GR, aka classical GR, as
I did as a student. In the intervening 35 years there
has been a progession, called a 2nd look.
In doing that Tucker predicts the LIGO experiment to
be null, and in the period 1999-2005 (6 years) no
g-wave has been detected as Tucker predicted in 1996.

Nevertheless Roberts is almost polite in this post
so I suppose we should reply.

> > This refs to Weinberg's "Grav&Cosmo", pg 148,
> > "Geodesic Deviation"...
[quoted text clipped - 10 lines]
> Please read the text in that section. Quite clearly the x^u(\tau)
> describe the trajectory of ONE of the two particles under discussion,

motion is relative, there is no reason in GR to choose
either particle as the coordinate origin, that was the
point of my post. Get a handle on GR.

> where the x^u(\tau) are determined by referring to some specific (but
> unspecified) coordinate system. These 4 values are functions of the
[quoted text clipped - 9 lines]
> You have fallen completely of the rails, and are wandering around in
> fantasy land here.

Stupid Roberts comment.

> The x^u are referenced to a specific (but
> unspecified) coordinate system. EXPLICITLY neither particle is "at
[quoted text clipped - 6 lines]
> geodesic deviation. That is, his (6.10.1) relates the behavior of nearby
> geodesics to the curvature tensor.

Back to square one <sigh> which of those "nearby"
geodesics does the R^a_bcd in (6.10.1) apply to?
((don't that question again!!!!))

> > OTOH, each of those particles is in classical
> > geodesical motion,
>
> Yes. You got something right. But the adjective form of the word is
> "geodesic". And "classical" is redundant, as Weinberg's entire book
> discusses non-quantum gravitation and cosmology.

You have formed an unsupported opinion, evidentally
without consideration of the advanced concepts.

> > (classical meaning there is
> > no exchange of photons to create inertial forces
[quoted text clipped - 6 lines]
> objects and Weinberg's book discusses only classical (non-quantum)
> gravitation and cosmology.

Provide an inertial force.

> > Shifting to Eq.(6.10.1), we'll find those same TWO
> > particles separated into distinct geodesics
[quoted text clipped - 13 lines]
> any and all "gravitators" are contained in the metric, connection, and
> curvature tensor.

Wrong, both particles are gravitators, thus

Guv = Tuv

is required, Guv=0 does not apply physically.

> > Any field is defined by the relative relation of
> > particles, independent of any preferred reference.
>
> Nonsense. A field is a function on the manifold. It is utterly unrelated
> to any "particles" or any "preferred reference".

Wrong again, you have no idea of what relativity
is do you. It is a relation, that's all. That's why
I stressed the importance for you to learn (6.10.1)
prior to puking on GR, two particles, two geodesics
and one R^a_bcd. If you intend to advance, you'll
need to understand that and deal with the question
I posed above, or resign.

>  > [... further fantasies utterly unrelated to Weinberg's book]

One of us knows why g-waves can't be detected,
and it it ain't Roberts!

> Tom Roberts    tjroberts@lucent.com

Yes of course, bye
Ken
Daryl McCullough - 20 Jun 2005 02:15 GMT
Ken S. Tucker says...

>> No. Both particles are following geodesic paths in an arbitrary
>> Lorentzian manifold characterized by a metric and its associated
[quoted text clipped - 5 lines]
>
>Wrong, both particles are gravitators,

No, that's not true. A geodesic is the path that a *test* particle
takes, where a test particle is one whose mass is so small as to not
affect the spacetime metric. So geodesic deviation is definitely
*not* about the relative motion of two gravitators. Actual particles
with sizable mass *don't* follow geodesics.

>thus
>
>Guv = Tuv
>
>is required, Guv=0 does not apply physically.

Well, yes. T_uv is never perfectly equal to zero, because
there is always stray energy in the form of photons and
cosmic rays. But the approximation of T_uv = 0 is a very
good approximation for motion in the vacuum of space.

>> Nonsense. A field is a function on the manifold. It
>> is utterly unrelated to any "particles" or any "preferred
>> reference".
>
>Wrong again, you have no idea of what relativity
>is do you.

Of course he does. Tom understands it about as well
as anyone who posts to this newsgroup other than maybe
Steve Carlip.

--
Daryl McCullough
Ithaca, NY
FrediFizzx - 20 Jun 2005 06:43 GMT
| Ken S. Tucker says...
|
[quoted text clipped - 13 lines]
| *not* about the relative motion of two gravitators. Actual particles
| with sizable mass *don't* follow geodesics.

Hmm... I think the only "test" particle we know that could possibly fit
that bill is a photon.

http://en.wikipedia.org/wiki/Geodesic_%28general_relativity%29

"Thus, for example, the orbital path of a planet around a star is the
projection of a geodesic of the curved 4-D spacetime geometry around the
star onto 3-D space."

FrediFizzx

http://www.vacuum-physics.com/QVC/quantum_vacuum_charge.pdf
or postscript
http://www.vacuum-physics.com/QVC/quantum_vacuum_charge.ps
Daryl McCullough - 20 Jun 2005 12:05 GMT
FrediFizzx says...

>| No, that's not true. A geodesic is the path that a *test* particle
>| takes, where a test particle is one whose mass is so small as to not
[quoted text clipped - 4 lines]
>Hmm... I think the only "test" particle we know that could possibly fit
>that bill is a photon.

Well, it's a matter of scale. If you are calculating the path of a space
probe around the sun, then the mass of the probe is completely negligible
compared with the mass of the sun, so a geodesic gives a very good
approximation to the path.

--
Daryl McCullough
Ithaca, NY
Ken S. Tucker - 20 Jun 2005 15:01 GMT
> | Ken S. Tucker says...
> |
[quoted text clipped - 27 lines]
> star onto 3-D space."
> FrediFizzx

Agreed, (My recent comments to Daryl, about relativity
of geodesics notwithstanding). One important reason I'm
interested in your (Freddi's) work on photon's (in the
links below) regards a possible finite structure of a
photon. If that's possible Weinberg's *tidal* equation
(6.10.1) is more accurate than a simple geodesic.
 Of course that's nil in outer space, but when GR is
considered in particle physics, like the way gamma rays
interact, that tidal mechanism may be at the basis of
pair production (gamma => e+ e-), the hypothetical
concept being tidal force (the Roche limit is an analog),
tear apart a photon.
 But if the photon is a structureless point, tidal
forces (W (6.10.1)) will NOT apply.
 An additional test of that hypothesis is the relation
of photons near the surface (but exterior to) of a
neutron star.

It would be a major achievement to determine if a
photon has structure.

Regards
Ken S. Tucker

> http://www.vacuum-physics.com/QVC/quantum_vacuum_charge.pdf
> or postscript
> http://www.vacuum-physics.com/QVC/quantum_vacuum_charge.ps
Tom Roberts - 20 Jun 2005 16:35 GMT
> | A geodesic is the path that a *test* particle
> | takes, where a test particle is one whose mass is so small as to not
> | affect the spacetime metric.
>
> Hmm... I think the only "test" particle we know that could possibly fit
> that bill is a photon.

Not true. For example, when studying the precession of the perihelion of
Mercury, the planet Mercury is itself small enough to be considered a
test particle when compared to the mass of the sun. The error in doing
this is far less than the measurement resolution of its trajectory.
Note, however, that in this case Jupiter cannot be considered to be a
test particle; but the influences of the planets can be handled
perturbatively (i.e. without a complete computation of their effects on
the metric).

Physics is a QUANTITATIVE science. When actually computing something one
_MUST_ make approximations, so one must understand how good they are.
For example, using a digital computer with a floating-point accuracy of
64 bits is good enough for most BUT NOT ALL computations, and some
computations in GR are in that latter category.

Tom Roberts    tjroberts@lucent.com
FrediFizzx - 21 Jun 2005 05:21 GMT
| > | A geodesic is the path that a *test* particle
| > | takes, where a test particle is one whose mass is so small as to not
[quoted text clipped - 17 lines]
| 64 bits is good enough for most BUT NOT ALL computations, and some
| computations in GR are in that latter category.

Sure, however nature does not care about such things.  Mercury is *not*
a test particle to nature and you are merely speaking of our *present*
limitations.  Consider a system where you have two objects that are
equal in mass (which is what I believe Ken was talking about), no matter
how small, you have to consider that they are gravitators to each other.
Does gravity shut off below the Planck mass like someone over in
s.p.research was talking about?  I don't think so.

FrediFizzx

http://www.vacuum-physics.com/QVC/quantum_vacuum_charge.pdf
or postscript
http://www.vacuum-physics.com/QVC/quantum_vacuum_charge.ps
Ken S. Tucker - 21 Jun 2005 07:07 GMT
Hi all...

> | > | A geodesic is the path that a *test* particle
> | > | takes, where a test particle is one whose mass is so small as to
[quoted text clipped - 23 lines]
> | 64 bits is good enough for most BUT NOT ALL computations, and some
> | computations in GR are in that latter category.

" Sure, however nature does not care about such things. "

That's exactly the principle of covariance in
words, that AE tried to explain.

> Mercury is *not*
> a test particle to nature and you are merely speaking of our *present*
> limitations.  Consider a system where you have two objects that are
> equal in mass (which is what I believe Ken was talking about), no matter
> how small, you have to consider that they are gravitators to each other.

I have the right to use the test particle as the
center of my CS. The Sun moves relatively to Mercury,
by just reversing the geodesic used to make Mercury
move on a geodesic relatively to the Sun.

As Fredi says, "nature does not care".

If I were to interpret that statement it would go
like, "The laws of Nature are Generally Covariant".

Kids, GC is a very powerful principle to discipline
our thinking, and the math of tensors is the language,
of GC and we're learning that new language.

In view of Weinberg's (6.10.1), he used R^a_bcd
to define a pair of geodisics...(aka tidal force)
to define R^a_bcd.

I understand what W is doing there, the text is
an introduction.

That equation requires the metric tensor "g_uv"
to be defined by a finite length and NOT at a
point but instead across the delta x^u.

Classical GRist's fall back on Riemann Geometry
as some sort of fuckin god, without understanding
it's initial limits, especially where AE used it.

I think (6.10.1) challenges the differential
field, and produces a conceptual field derived
using finite relations.

Regards
Ken S. Tucker
Daryl McCullough - 21 Jun 2005 11:50 GMT
Ken S. Tucker says...

>> Mercury is *not*
>> a test particle to nature and you are merely speaking of our *present*
[quoted text clipped - 4 lines]
>I have the right to use the test particle as the
>center of my CS.

This discussion has *nothing* to do with the choice of
the origin of your coordinate system. The geodesic
equation is *covariant*, you can use any coordinates
you like. That isn't the issue. The issue is whether
an object follows geodesics. In general, a massive,
extended object does *not* follow a geodesic.

The primary equations of motion for GR is not
the geodesic equation, but the *Einstein* equations

   G_uv = T_uv

To figure out the motion of a massive object, you
have to solve those equations, subject to boundary
conditions.

--
Daryl McCullough
Ithaca, NY
Daryl McCullough - 21 Jun 2005 11:45 GMT
FrediFizzx says...

>Sure, however nature does not care about such things.  Mercury is *not*
>a test particle to nature and you are merely speaking of our *present*
>limitations.  Consider a system where you have two objects that are
>equal in mass (which is what I believe Ken was talking about), no matter
>how small, you have to consider that they are gravitators to each other.

That's true. But in that case, the geodesic equation

  (d/ds)^2 x^u = Gamma^u_vw U^v U^w

is *not* the correct way to compute the trajectories of the two objects.
Real objects don't move on geodesics except as an approximation, and
that approximation is only valid if one object's mass is very small
compared with the dominant masses affecting the spacetime metric.

--
Daryl McCullough
Ithaca, NY
Ken S. Tucker - 20 Jun 2005 14:37 GMT
> Ken S. Tucker says...
>
[quoted text clipped - 11 lines]
> takes, where a test particle is one whose mass is so small as to not
> affect the spacetime metric.

That's a good definition. But a zero mass/momentum
test particle does NOT exist. (I added the stipulation,
about momentum in view of Freddi's recent post about
photons).

How far will you simplify the theortical context of
a problem for "all practical purposes", shall we wind
back 3 century's to Newton?

OTOH, going forward, and studying the sublties of GR
may yield unexpected results when new questions are
allowed.

> So geodesic deviation is definitely
> *not* about the relative motion of two gravitators.
> Actual particles
> with sizable mass *don't* follow geodesics.

And how will you define the x^i in the geodesic,

D(dx^i/ds) = 0   (absolute derivative of U^i).

Why would you choose for example Mercury to follow
a (approximate) geodesic relative to the Sun,
but not the Sun following a geodesic relative to
Mercury?

The whole point of GR is to express physical laws
without choosing arbituary origins or states of
motion. Therefore the Sun follows a geodesical
path *relative* to Mercury, and thus the size
of the test mass is immaterial.

It is the relation that matters. In practical
applications young GRist's think in terms of
using the Sun as the center to calculate orbits,
then somehow move that to something important
in the theory, and they're back to Newtonianism.
((I like that term Newtonianism)).

> >thus
> >
[quoted text clipped - 6 lines]
> cosmic rays. But the approximation of T_uv = 0 is a very
> good approximation for motion in the vacuum of space.

The motion of Sun is not a very good vacuum.

[snip gossip]

> --
> Daryl McCullough
> Ithaca, NY
Daryl McCullough - 20 Jun 2005 15:36 GMT
Ken S. Tucker says...

>> ...A geodesic is the path that a *test* particle
>> takes, where a test particle is one whose mass is so small as to not
>> affect the spacetime metric.
>
>That's a good definition. But a zero mass/momentum
>test particle does NOT exist.

Yes, that's true. Real particles do not obey the equation

   (d/ds)^2 x^u = Gamma^u_vw U^v U^w

That equation is only an approximation that is
valid to the extent that the mass of the particle
is small compared with the masses of nearby sources
of gravitation.

>How far will you simplify the theortical context of
>a problem for "all practical purposes", shall we wind
>back 3 century's to Newton?

I'm only arguing that your interpretation of the geodesic
equation is incorrect. It isn't the path of a "gravitator",
except as an approximation. And that approximation is only valid to
the extent that you can *ignore* the gravitational effects
of the test particle.

>> So geodesic deviation is definitely
>> *not* about the relative motion of two gravitators.
[quoted text clipped - 9 lines]
>but not the Sun following a geodesic relative to
>Mercury?

Neither the Sun nor Mercury follows a geodesic, exactly,
but since the mass of Mercury is very small compared with
that of the Sun, the path of Mercury is approximately
described by a geodesic. But the mass of the Sun is not
small compared with the mass of Mercury, so approximating
the path of the sun by a geodesic around Mercury would make
no sense.

The sun probably does follow an approximate geodesic
through the Milky Way.

>The whole point of GR is to express physical laws
>without choosing arbituary origins or states of
>motion. Therefore the Sun follows a geodesical
>path *relative* to Mercury, and thus the size
>of the test mass is immaterial.

No, it doesn't. And a geodesic isn't *relative*
to another particle or object. A geodesic is
a path through spacetime. It can be *described*
using coordinates, and that's what the geodesic
equation does.

>It is the relation that matters.

I think you are mixing up GR with some other, purely
relational theory. In GR, spacetime is a physical
entity in its own right. Objects don't directly
interact with each other gravitationally; instead,
they interact via spacetime. Objects distorts spacetime,
and their motion is affected by these distortions.
But the motion of one particle makes no reference
to the location of any other particle; the only
relevant quantity is the metric.

>In practical applications young GRist's think in
>terms of using the Sun as the center to calculate
>orbits, then somehow move that to something important
>in the theory, and they're back to Newtonianism.
>((I like that term Newtonianism)).

Using the geodesic equation to calculate the motion
of Mercury has nothing to do with whether your coordinate
system puts the Sun in the center. You can use any
coordinates you like to compute the geodesic, it doesn't
have to be centered on the Sun.

>> Well, yes. T_uv is never perfectly equal to zero, because
>> there is always stray energy in the form of photons and
>> cosmic rays. But the approximation of T_uv = 0 is a very
>> good approximation for motion in the vacuum of space.
>
>The motion of Sun is not a very good vacuum.

I don't understand what that sentence means. The space
between the Sun and Mercury is a vacuum to a very good
approximation. The Einstein tensor G_uv is equal to zero
in this region, to a good approximation.

>[snip gossip]

How is it gossip to say that Tom Roberts and Steve Carlip
understand General Relativity better than most posters?

--
Daryl McCullough
Ithaca, NY
Ken S. Tucker - 20 Jun 2005 16:33 GMT
> Ken S. Tucker says...
>
[quoted text clipped - 8 lines]
>
>     (d/ds)^2 x^u = Gamma^u_vw U^v U^w

Again I'll differ. That equation simply reiterates

DU^u =0    (absolute derivative),

meaning there is no absolute acceleration.

> That equation is only an approximation that is
> valid to the extent that the mass of the particle
> is small compared with the masses of nearby sources
> of gravitation.

As I explained the mass of the particle is immaterial
in GR.

> >How far will you simplify the theortical context of
> >a problem for "all practical purposes", shall we wind
[quoted text clipped - 5 lines]
> the extent that you can *ignore* the gravitational effects
> of the test particle.

Careful, what you're doing is setting G_uv=0 to some sort
of law, well it isn't cause G_uv isn't invariant.
You need to unlearn the GR introduction.

> >> So geodesic deviation is definitely
> >> *not* about the relative motion of two gravitators.
[quoted text clipped - 11 lines]
>
> Neither the Sun nor Mercury follows a geodesic,

Now that's contradictory. The geodesic specifies
absolute acceleration vanishes, (DU^=0), what you
attempt to do is reverse that and claim the Sun
or Mercury follow some course specified by absolute
acceleration.

>exactly,
> but since the mass of Mercury is very small compared with
[quoted text clipped - 3 lines]
> the path of the sun by a geodesic around Mercury would make
> no sense.

That's reversing the application onto the theory.

> The sun probably does follow an approximate geodesic
> through the Milky Way.

Let's confine ourselves to the Sun and Mercury.

> >The whole point of GR is to express physical laws
> >without choosing arbituary origins or states of
[quoted text clipped - 4 lines]
> No, it doesn't. And a geodesic isn't *relative*
> to another particle or object.

So what you're doing is essentially producing an
absolute FoR like an aether. Your attempting to
regard geodesics as something absolute instead of
relative.

> A geodesic is
> a path through spacetime. It can be *described*
> using coordinates, and that's what the geodesic
> equation does.

> >It is the relation that matters.
>
> I think you are mixing up GR with some other, purely
> relational theory.

GR is a "purely relational theory" that's why we
call it "General Theory of Relativity".

> In GR, spacetime is a physical entity in its own right.
> Objects don't directly
[quoted text clipped - 4 lines]
> to the location of any other particle; the only
> relevant quantity is the metric.

What you've written in that last paragraph is a good
explanation of G_uv=0 which is an easy linear approx.

But GR is really about G_uv =T_uv, an in the example
of a binary star system, using G_uv =0 is out of the ?.

> >In practical applications young GRist's think in
> >terms of using the Sun as the center to calculate
[quoted text clipped - 19 lines]
> approximation. The Einstein tensor G_uv is equal to zero
> in this region, to a good approximation.

That doesn't make it right. This entire post has
argued for G_uv=0 as ok.
Why is there so much resistance to Einstien's Law
expressed by the generic Guv=Tuv, I find that's easier.

> >[snip gossip]
>
> How is it gossip to say that Tom Roberts and Steve Carlip
> understand General Relativity better than most posters?

Evaluate the post.
Ken


> --
> Daryl McCullough
> Ithaca, NY
Daryl McCullough - 20 Jun 2005 17:22 GMT
Ken S. Tucker says...

>> Yes, that's true. Real particles do not obey the equation
>>
[quoted text clipped - 5 lines]
>
>meaning there is no absolute acceleration.

Yes, and that's not literally true for a real, massive,
extended object.

>> That equation is only an approximation that is
>> valid to the extent that the mass of the particle
[quoted text clipped - 3 lines]
>As I explained the mass of the particle is immaterial
>in GR.

That's not true. The mass of the particle modifies the
metric. The greater the mass, the greater the modification.
The geodesic equation describes the path of a particle in
a *external* metric (one that doesn't include modifications
due to the test particle).

>> I'm only arguing that your interpretation of the geodesic
>> equation is incorrect. It isn't the path of a "gravitator",
[quoted text clipped - 4 lines]
>Careful, what you're doing is setting G_uv=0 to some sort
>of law, well it isn't cause G_uv isn't invariant.

No, the discussion of geodesics has nothing to do with G_uv.

>> >Why would you choose for example Mercury to follow
>> >a (approximate) geodesic relative to the Sun,
[quoted text clipped - 4 lines]
>
>Now that's contradictory.

No, it's not. The geodesic is the path that would
be taken by a particle of negligible mass. The sun
and Mercury do not have zero mass, and they don't
follow geodesics.

>The geodesic specifies absolute acceleration vanishes,
>(DU^=0), what you attempt to do is reverse that and
>claim the Sun or Mercury follow some course specified
>by absolute acceleration.

There was a discussion about this a few months ago. The
correct way to figure out the motion of Mercury (or the
Sun) is to solve the Einstein equations of motion. Those
equations don't reduce to the geodesic equation except
in the limiting case of the motion of a test particle
of negligible mass.

>> exactly,
>> but since the mass of Mercury is very small compared with
[quoted text clipped - 5 lines]
>
>That's reversing the application onto the theory.

I don't know what that sentence means. The correct
way to compute the motion of Mercury or the sun
is to solve Einstein's equations of motion. Those
equations are much more complicated than the geodesic
equation. However, you can get an approximate solution
to the Sun/Mercury system by using the following
approach:

  1. Compute the metric for the sun in the absence of
  any planets.

  2. Compute the paths of the planets under the assumption
  that they move along geodesics of the metric found in 1.

>> No, it doesn't. And a geodesic isn't *relative*
>> to another particle or object.
>
>So what you're doing is essentially producing an
>absolute FoR like an aether.

No, I'm not. I don't know why you got that impression.

>Your attempting to regard geodesics as something absolute
>instead of relative.

The path itself is a geometrical object, independent of
any coordinate system. The coordinate description of the
path is, of course, relative to a coordinate system (*not*
relative to another object).

>> I think you are mixing up GR with some other, purely
>> relational theory.
>
>GR is a "purely relational theory" that's why we
>call it "General Theory of Relativity".

No, it's not.

>> In GR, spacetime is a physical entity in its own right.
>> Objects don't directly
[quoted text clipped - 10 lines]
>But GR is really about G_uv =T_uv, an in the example
>of a binary star system, using G_uv =0 is out of the ?.

When people write that G_uv = 0, they aren't denying
that G_uv = T_uv. They are, instead, saying that T_uv = 0
(to a good approximation).

>> I don't understand what that sentence means. The space
>> between the Sun and Mercury is a vacuum to a very good
[quoted text clipped - 3 lines]
>That doesn't make it right. This entire post has
>argued for G_uv=0 as ok.

Yes, and in the region between the Sun and Mercury,
G_uv = 0, to a good approximation.

> Why is there so much resistance to Einstien's Law
>expressed by the generic Guv=Tuv, I find that's easier.

Nobody's denying that. We're talking about the case in which
T_uv = 0 (to a good approximation).

>> How is it gossip to say that Tom Roberts and Steve Carlip
>> understand General Relativity better than most posters?

>Evaluate the post.

Which post? Anyway, it is still true---Tom Roberts and Steve
Carlip understand GR better than most posters, and frankly,
that includes both you and I.

--
Daryl McCullough
Ithaca, NY
Ken S. Tucker - 20 Jun 2005 19:39 GMT
> Ken S. Tucker says...
>
[quoted text clipped - 154 lines]
> Carlip understand GR better than most posters, and frankly,
> that includes both you and I.

Speak for yourself, you are less than informed.

> --
> Daryl McCullough
> Ithaca, NY
Daryl McCullough - 20 Jun 2005 19:56 GMT
Ken S. Tucker says...

>> Which post? Anyway, it is still true---Tom Roberts and Steve
>> Carlip understand GR better than most posters, and frankly,
>> that includes both you and I.
>
>Speak for yourself, you are less than informed.

I know enough to know that you know less about
GR than Tom or Steve --- by a large margin.

--
Daryl McCullough
Ithaca, NY
Ken S. Tucker - 20 Jun 2005 21:25 GMT
> Ken S. Tucker says...
>
[quoted text clipped - 6 lines]
> I know enough to know that you know less about
> GR than Tom or Steve --- by a large margin.

That's gossip, can you sustain a point, otherwise
I need not waste time with you.

Daryl, get OFF THE POT and consider (6.10.1).
I know your brain, and your friends...boring.
Ken

> --
> Daryl McCullough
> Ithaca, NY
Daryl McCullough - 21 Jun 2005 11:53 GMT
Ken S. Tucker says...

>> I know enough to know that you know less about
>> GR than Tom or Steve --- by a large margin.
>
>That's gossip

No, it's not. Gossip is rumor or talk of a personal,
sensational, or intimate nature. Making a judgement about
a person's competence based on *public* behavior isn't gossip.

--
Daryl McCullough
Ithaca, NY
Tom Roberts - 21 Jun 2005 18:54 GMT
> How far will you simplify the theortical context of
> a problem for "all practical purposes", shall we wind
> back 3 century's to Newton?

Physicists simplify problems in order to be able to obtain solutions to
the equations that describe them. And to do so requires knowing the
validity of the simplification involved. For instance, in considering
Mercury to be of negligible mass compared to the sun involves an
approximation more accurate than the resolution for measuring Mercury's
orbit, so such an approximation is clearly warranted.

> OTOH, going forward, and studying the sublties of GR
> may yield unexpected results when new questions are
> allowed.

Making such an approximation as above does not "disallow" any "questions".

> And how will you define the x^i in the geodesic,
> D(dx^i/ds) = 0   (absolute derivative of U^i).

Using _ANY_ valid coordinate system you like. I repeat: you _REALLY_
need to learn the basics -- you keep quoting formulas without having the
slightest notion of what they mean or what the symbols in them
represent. That is not physics, that is not math, that is just plain stupid.

> Why would you choose for example Mercury to follow
> a (approximate) geodesic relative to the Sun,
> but not the Sun following a geodesic relative to
> Mercury?

Because Mercury is of negligible mass compared to the sun, but the sun
is not of negligible mass compared to Mercury. Sheesh!

> The whole point of GR is to express physical laws
> without choosing arbituary origins or states of
> motion.

No. The point is to describe physics without having to choose any
particular coordinate system. It often happens that the PHYSICAL
SITUATION includes some specific "origin or state of motion" -- when
that happens the theory must obviously conform to the PHYSICAL SITUATION.

    For instance, the sun is much larger than any planet.
    This imposes a constraint on any model of the solar system
    thgat expects to be valid.

> Therefore the Sun follows a geodesical
> path *relative* to Mercury, and thus the size
> of the test mass is immaterial.

Not true. In GR only TEST PARTICLES follow geodesic paths through
spacetime, and this is really only approximate (but an excellent
approximation to the extent that one can neglect the influence of the
test particle on the geometry).

BTW geodesic paths are not "relative" to any object, they are determined
completely by the _GEOMETRY_. In GR, of course, the geometry is
determined by all matter and energy EXCEPT test particles.

> It is the relation that matters. In practical
> applications young GRist's think in terms of
> using the Sun as the center to calculate orbits,
> then somehow move that to something important
> in the theory, and they're back to Newtonianism.
> ((I like that term Newtonianism)).

Only "young GRist's" that don't understand basic physics, and how one
properly performs approximations. Such as yourself.

>>Well, yes. T_uv is never perfectly equal to zero, because
>>there is always stray energy in the form of photons and
>>cosmic rays. But the approximation of T_uv = 0 is a very
>>good approximation for motion in the vacuum of space.
>
> The motion of Sun is not a very good vacuum.

"Motion" cannot possibly be "vacuum" -- they are completely
incommensurate concepts.

The sun itself is definitely not vacuum, and nobody ever said it is.
What is vacuum to excellent approximation is the region of the solar
system outside the sun and the planets. And in the approximation that
Mercury is of negligible mass compared to the sun, then Mercury follows
a geodesic path through a vacuum region of the solar system. If one
neglects the rotation and oblateness of the sun, and all the other
planets, then one can compute Mercury's orbit in the Schwarzschild
manifold with M corresponding to the mass of the sun; doing so gives
excellent agreement with the observed orbit of Mercury (after
subtracting away those influences omitted in the model) -- in particular
the precession of its perihelion is well matched.

    I grow weary of trying to get you to see you own shortcomings.
    Good bye.

Tom Roberts    tjroberts@lucent.com
Ken S. Tucker - 22 Jun 2005 00:12 GMT
> > How far will you simplify the theortical context of
> > a problem for "all practical purposes", shall we wind
[quoted text clipped - 89 lines]
>     I grow weary of trying to get you to see you own shortcomings.
>     Good bye.

Tucker will classify new GR data.
Ken
Ken S. Tucker - 22 Jun 2005 08:16 GMT
On the meaning of senility,

[...]
>     For instance, the sun is much larger than any planet.
>     This imposes a constraint on any model of the solar system
>     thgat expects to be valid.
> Tom Roberts...

Wow, Roberts has decided General Relativity is now
superseded by the Copernicus model, what is that the
Roberts theory of FAT planets?
 If Roberts is a *state of the art* GRist as some
think, he makes Jim Jones look like an amateur.

The stupidity of Robert's statement is the apitamy
of the morass of logic. If any other professional
GRist agrees with him what the f.ck does "constraint"
mean????

His post gets a FUF grade, f.cked UP and Failed,
that's the lowest I know, but Roberts might invent
lower grades, to his credit.

Regards
Ken S. Tucker
Daryl McCullough - 22 Jun 2005 11:44 GMT
Ken S. Tucker says...

>On the meaning of senility,
>
[quoted text clipped - 7 lines]
>superseded by the Copernicus model, what is that the
>Roberts theory of FAT planets?

Ken, you say things that don't make any sense, with
no purpose other than being insulting.

--
Daryl McCullough
Ithaca, NY
Daryl McCullough - 22 Jun 2005 12:07 GMT
Ken S. Tucker says...

>On the meaning of senility,
>
[quoted text clipped - 3 lines]
>>     thgat expects to be valid.
>> Tom Roberts...

>The stupidity of Robert's statement is the apitamy
>of the morass of logic.

You disagree that the sun is much larger than any planet?
You disagree that the sun has a disproportionate effect
on the spacetime metric of the solar system? What in the
world are you disagreeing with? It seems to me that you
were just in a mood to lash out, and it didn't really
matter what Tom wrote.

This is in contrast with Tom's criticism of your posts.
He criticized *specific* claims and assumptions that
you made, and he explained why you were wrong.

>If any other professional
>GRist agrees with him what the f.ck does "constraint"
>mean????

If you didn't know what Tom meant, why didn't you ask
*before* you conclude that it is stupid? A constraint
means the same thing as a condition: a constraint on
a model is something that must be true in order for
the model to be acceptable.

In GR, mass distorts the spacetime metric. An object with
higher mass has a larger effect than an object with smaller
mass. So the metric of the solar system is mostly determined
by the largest mass around, the sun. The effects of the
planets are minor corrections. That's what Tom was saying,
and I don't see how you can disagree with it, much less
consider it the "apitamy of the morass of logic".

--
Daryl McCullough
Ithaca, NY
Ken S. Tucker - 22 Jun 2005 23:52 GMT
> Ken S. Tucker says...
> >
[quoted text clipped - 15 lines]
> were just in a mood to lash out, and it didn't really
> matter what Tom wrote.

Bull, Roberts earned that lash, and so will you
if you insist GR has anything to with the FAT
planet theory Roberts f.cked your brain with.
 He and now you puke on GR by suggesting there
is any preferred ref because one mass is FATTER
than another. That's the idiocy this thread is
taking.
[snip a load of gossip]

> In GR, mass distorts the spacetime metric. An object with
> higher mass has a larger effect than an object with smaller
[quoted text clipped - 3 lines]
> and I don't see how you can disagree with it, much less
> consider it the "apitamy of the morass of logic".

Daryl, what happened to your brain?

We are in the GENERAL THEORY OF RELATIVITY,
not some pussy assed flower crap you and Roberts
are pushing in some ding-bat application called
solar system. GTR is true in the whole universe,
no exception. Mass does NOT make a preferred ref.

You guys are forming a weird cult.

THE GENERAL THEORY OF RELATIVITY will survive U.

Ken S. Tucker


> --
> Daryl McCullough
> Ithaca, NY
Ken S. Tucker - 24 Jun 2005 09:29 GMT
This post concerns invariants.

The Kronecker delta has two values, 0 and 1,
and to offset that 1 to something like .999
is like offsetting 0 to .001, doesn't make
sense, so the (0,1) is logical.

Commonly, authors use c=1, q=1 and h=1, as
speed of light, fundamental charge and Plancks,
and those are recognized invariants.

In view of the above, we will consider the GR
invariant,

ds^2 = g_uv dx^u dx^v

and the integral of that,

$ds = s.

Because "s" is an invariant, we either obtain
s=0 or s=1.

Using ds=0 means we have an integration constant.

Suppose hypothetically, by calculus, we obtained,

s^2=g^uv x_u x_v

as the finite invariant "s".

IMO that would not make good sense.
Instead I would need

s^2 = g^uv a_u b_v

where the finite interval "s" spans from
location "a" to "b". And it follows the
g_uv is defined by the relativity of
"a" and "b".

So, in view of the integral, GR demands

ds^2 = g_uv da^u db^v,

to produce,

s^2 = g^uv a_u b_v

wherein g_uv is defined by the relation
of points "a" and "b".

I think the last definition of ds^2 is
necessary in order to realize GR is a
theory of relations.

Historically, the Reimann Geometry was developed
in the mind frame of absolute motion and the fields
that provide that, such as analysing a point on a
curved surface.

The General Theory of Relativity applied by AE that
definition as an introduction, but we can clearly
see that as definition of a continuum at a point
disrepects the meaning of relativity of relation.

Ken S. Tucker
Daryl McCullough - 24 Jun 2005 13:50 GMT
Ken S. Tucker says...

>This post concerns invariants.
>
[quoted text clipped - 18 lines]
>Because "s" is an invariant, we either obtain
>s=0 or s=1.

No, you don't. s is proper time. It can be any real number.

--
Daryl McCullough
Ithaca, NY
Ken S. Tucker - 24 Jun 2005 19:58 GMT
> Ken S. Tucker says...
> >
[quoted text clipped - 22 lines]
>
> No, you don't. s is proper time. It can be any real number.

Of course and so can "c, q or h". I presume one
could set those to any non zero scalar, but my
point is, it's arbituary in relativity, so
effectively s=0 or 1. The only reality occurs
when a measurement is made w.r.t a basis, that
basis defines the g_uv.

Check this out, let me set c=q=h=1 to

c=g_uv c^uv = q=g_uv q^uv = h=g_uv h^uv

QUESTION: Does it follow

c^uv = q^uv = h^uv ?

Well IMHO it does not.
As an example, in a very simple universe
g_00=1 , g_11=1 , g_01 =0.

Use c^00=1 , c^11=0 and q^00=0 , q^11=1,

(c^01=q^01=0 , and everything is symmetric).

Clearly c^uv =/= q^uv , but some measure
like c^uv and q^uv produces the SAME
invariant "1".

Any difference of an invariant from "1"
is only a scale factor that is arbitrary.

A unified field theory in a covariant form
would relate the tensors,

c^uv , q^uv , h^uv
GR   ,  EM  ,  QT

which may help to see the problem and the
solution.

Regards
Ken S. Tucker


> --
> Daryl McCullough
> Ithaca, NY
Daryl McCullough - 24 Jun 2005 21:30 GMT
Ken S. Tucker says...

>> >Because "s" is an invariant, we either obtain
>> >s=0 or s=1.
>>
>> No, you don't. s is proper time. It can be any real number.
>
>Of course and so can "c, q or h".

No, they can't. Once you've chosen a system of units, c
q and h are *fixed* by that choice. That isn't true of s.
s is invariant, but it isn't a *constant*.

s is proper time. If an ideal clock moves from point A to point B,
then s along the path will be the elapsed time (the time at B
minus the time at A). You can certainly choose a time scale so
that the elapsed time at B is exactly 1, but then there will be
points between A and B at which s is a number different from 0 or 1.

>Check this out, let me set c=q=h=1 to
>
[quoted text clipped - 3 lines]
>
>c^uv = q^uv = h^uv ?

No, of course not. What does that have to do with s?

Daryl McCullough
Ithaca, NY
Ken S. Tucker - 24 Jun 2005 23:54 GMT
> Ken S. Tucker says...
>
[quoted text clipped - 6 lines]
>
> No, they can't. Once you've chosen a system of units

See, thats where you're misconcieving GR/GC (General
Covariance) and the purpose of tensors. The point of
of GC is it applies to all systems of units, it's NOT
pre-chosen!

>c q and h are *fixed* by that choice. That isn't true of s.
> s is invariant, but it isn't a *constant*.

Well, if light-rays are the basis of our survey of
spacetime and ds=0 for light-rays it follows "s"
is a constant.

> s is proper time. If an ideal clock moves from point A to point B,
> then s along the path will be the elapsed time (the time at B
> minus the time at A). You can certainly choose a time scale so
> that the elapsed time at B is exactly 1, but then there will be
> points between A and B at which s is a number different from 0 or 1.

Look, that's queer, you're setting an invariant
to have different scalar quantities because of
a transformation. There is no such thing as
proper time measured in seconds!

> >Check this out, let me set c=q=h=1 to
> >
[quoted text clipped - 5 lines]
>
> No, of course not. What does that have to do with s?

Tensor technology allows two choices,

s^2 = g_uv x^u x^v

or

s^2 = g_uv a^u b^v.

How do you choose? And I want you guys to render
an opinion on the question you're prepared to
support, and if not don't snip it, that sucks.
((Roberts, Carlip, Bilge haved snipped the hard
stuff, and went fluffy, then complain they don't
understand unified field theory...duh)).

Now go back to Weinberg's Eq.(6.9.1) and (6.10.1)
for some background, that's tough stuff, physics
isn't for fluzzy's.

In view of Eq.(6.9.1), (6.10.1) describes a
relative relation between geodesics, but uses
a single metric tensor for both. Hence that
tensor spans the geodesics alluded too in
(6.9.1), where "a" and "b" are *introduced*,
but formalized in (6.10.1).

So now we need to choose a solution to those
equations, which in my view, use separate
geodesics (tidal), but in consequence, the
invariant,

s^2 = g_uv a^u b^v.

where "a" and "b" are distinct. By distinct
I mean "a" and "b" have differing spacetime
coordinates. In juxtaposition, consider our
usual,

s^2 = g_uv x^u x^v

and find x=x, and the "x" are NOT distinct.

Enough
Ken S. Tucker

re




> Daryl McCullough
> Ithaca, NY
russell@mdli.com - 25 Jun 2005 03:33 GMT
> > Ken S. Tucker says...
> >
[quoted text clipped - 11 lines]
> of GC is it applies to all systems of units, it's NOT
> pre-chosen!

Ken fans the air, wildly, on a slow pitch.  Well,
if the ball had been where Ken thought it was, that
might have been a hit.

> >c q and h are *fixed* by that choice. That isn't true of s.
> > s is invariant, but it isn't a *constant*.
>
> Well, if light-rays are the basis of our survey of
> spacetime and ds=0 for light-rays it follows "s"
> is a constant.

Ah, the mluttgens school of physics.  Nothing but
lightlike intervals allowed.

> > s is proper time. If an ideal clock moves from point A to point B,
> > then s along the path will be the elapsed time (the time at B
[quoted text clipped - 6 lines]
> a transformation. There is no such thing as
> proper time measured in seconds!

Look, indeed.  :-)

I'm guessing that Daryl hasn't responded yet because
he hasn't picked himself up from the floor.  And he's
too polite to say ROFL himself.  I can't resist filling
the vacuum, so, at risk of a spate of invective from
you know who, here goes:

Ken has no clue.

Oh sure, he can throw tensor notation and associated
buzzwords around like Zeus throwing thunderbolts, and
that's an admirable talent of sorts, one I can't hold
a candle to.  But what's the good of all that if he
can't grasp a simple statement about s, but instead,
comes up with a gem like the above?

[I snip the rest because I am so fluzzy, I don't even
own a copy of Weinberg.  Yeah, yeah, I know.]
Ken S. Tucker - 25 Jun 2005 18:42 GMT
Please see my post to Daryl it covers the snip.
[...]
(enjoyed the ha-ha's:-).

> [I snip the rest because I am so fluzzy, I don't even
> own a copy of Weinberg.  Yeah, yeah, I know.]

If you would like to recommend a secure on-line
on GR, where the tidal forces are described, we
could analyze that with a common ref. Some of
those equations are tough to display in ascii.
Ken
PS: Oh-no another fluzzyist, then comes fluzzyism
and then of course, anti-fluzzyism.
Daryl McCullough - 25 Jun 2005 14:41 GMT
Ken S. Tucker says...

>> s is proper time. If an ideal clock moves from point A to point B,
>> then s along the path will be the elapsed time (the time at B
[quoted text clipped - 5 lines]
>to have different scalar quantities because of
>a transformation.

No, that's not what I'm doing. I thought that was what *you*
were doing when you said that s is either 0 or 1.

>There is no such thing as proper time measured in seconds!

I don't know what in the world you are talking about. Of *course*
proper time can be measured in seconds! As I said, proper time
is the time that shows on an ideal clock. You can just look at
your watch to find out the proper time for your particular path
through spacetime. At the beginning of your "trip", you note
the time on your wristwatch, say 12:00 am. At that point, s=0
seconds. Later, you look at your watch, and it says 12:30. That
means that at that point, s = 1800 seconds. Even later, you look
at your watch and it says 1:15. That means that at that point,
s = 4500 seconds. s changes continuously from 0 to however long
your trip lasts.

Saying s = 0 or 1 makes as much sense as saying that you have
a watch that only shows two possible times: 12:00 and 1:00. That's
not a very good watch.

--
Daryl McCullough
Ithaca, NY
Ken S. Tucker - 25 Jun 2005 18:02 GMT
> Ken S. Tucker says...
>
[quoted text clipped - 15 lines]
> I don't know what in the world you are talking about. Of *course*
> proper time can be measured in seconds!

Seconds is as arbituary as minutes or hours or
meters or cubits, all those are *relative* to
a specific CS and are *components*, but "s" is
a scalar with no units. It's the same number in
all CS's.

> As I said, proper time
> is the time that shows on an ideal clock. You can just look at
[quoted text clipped - 6 lines]
> s = 4500 seconds. s changes continuously from 0 to however long
> your trip lasts.

Good example let's use it...

What you're actually doing is recording the time in
seconds between events in your CS by using components
"x^0", such that x^0 = 1800 seconds.
I happen to use minutes, so the time between events
is different from yours, (I'm sitting in your back-
seat on the trip), I read x'^0 = 30 minutes on my
ideal clock.

Add a bit more misery, when we get home, your
brother who stayed home(twin paradox) figures the
the trip took 2:00 hours to your 4500 seconds.

Now you need to define "s" (say the trip duration
from home to home which defines two events) to be
the same for all CS's.

> Saying s = 0 or 1 makes as much sense as saying that you have
> a watch that only shows two possible times: 12:00 and 1:00. That's
> not a very good watch.

Ha, study above. From the PoV of events, the invariant
spacetime difference when s=0 happens when the
events occurs at same place and time otherwise s=1,
or any arbituary non-zero scalar.

It's really seems simple to me if you're careful.
Perhaps review the meaning of the Kronecker Delta
and scalars in relativity.

Regards
Ken S. Tucker
Daryl McCullough - 25 Jun 2005 21:00 GMT
Ken S. Tucker says...

>> I don't know what in the world you are talking about. Of *course*
>> proper time can be measured in seconds!
[quoted text clipped - 4 lines]
>a scalar with no units. It's the same number in
>all CS's.

No, that's not correct. The only number that is
the same in all coordinate systems is a *dimensionless*
number. s is not dimensionless, it has the dimensions
of seconds (or hours, or whatever units of time you are
using).

>What you're actually doing is recording the time in
>seconds between events in your CS by using components
[quoted text clipped - 8 lines]
>brother who stayed home(twin paradox) figures the
>the trip took 2:00 hours to your 4500 seconds.

>Now you need to define "s" (say the trip duration
>from home to home which defines two events) to be
>the same for all CS's.

Sure. It's this:

  s = Integral of square-root(g_ij dx^i dx^j)

where dx^i is the 4-vector displacement of the clock
in question. The answer for the particular trip will be
4500 seconds.

>It's really seems simple to me if you're careful.

The concept of proper time is simple enough, but what
you said about it is completely wrong.

--
Daryl McCullough
Ithaca, NY
Ken S. Tucker - 26 Jun 2005 07:23 GMT
> Ken S. Tucker says...
>
[quoted text clipped - 10 lines]
> the same in all coordinate systems is a *dimensionless*
> number.

Well then how would define that?

>s is not dimensionless, it has the dimensions
> of seconds (or hours, or whatever units of time you are
[quoted text clipped - 24 lines]
> in question. The answer for the particular trip will be
> 4500 seconds.

I'm sorry, your stay at home brother obtained 7200 seconds
for the events interval...you leaving and returning, which
I asked you to account for, you refused to do that.

> >It's really seems simple to me if you're careful.

Ken
Daryl McCullough - 26 Jun 2005 15:19 GMT
Ken S. Tucker says...

>> Sure. It's this:
>>
[quoted text clipped - 6 lines]
>I'm sorry, your stay at home brother obtained 7200 seconds
>for the events interval

Then he made a mistake. His answer should be 4500, also. That's
what it means to be an *invariant*.

From my point of view, for me to calculate the proper time for my
path is simple: it's just the elapsed time on my clock, which is 4500
seconds. So I compute s = 4500.

From the point of view of my stay-at-home brother, things are more
complicated. There are three important events to take into account:
Event A: I leave. Event B: I turn around. Event C: I return.

In my brother's coordinate system, I'm travelling at .7806c (to
make gamma = 7200/4500 = 1.6). The coordinates of A are:

    t_A = 0
    x_A = 0

Event B takes place at coordinates

    t_B = 3600 seconds
    x_B = 3600 * .7806 = 2810 light-seconds

Event C takes place at coordinates

    t_C = 7200 seconds
    x_C = 0

To compute s for the entire trip, my brother breaks the
trip up into two constant-velocity segments:

   segment 1: Start = (0,0), End = (3600,2810)
              delta-x = 2810
              delta-t = 3600
              ds = square-root(delta-t^2 - 1/c^2 delta-x^2)
                 = square-root(12960000 - 7896100)
                 = 2250 seconds

  segment 2: Start = (3600,2810), End = (7200,0)
             delta-x = -2810
             delta-t = 3600
             ds = square-root(delta-t^2 - 1/c^2 delta-x^2)
                = 2250 seconds

  s (entire trip) = 2250 + 2250 = 4500 seconds

So my stay-at-home brother calculates the same value for
s.

Proper time along a given path is an invariant, but it
isn't constant, and it isn't dimensionless.

--
Daryl McCullough
Ithaca, NY
Ken S. Tucker - 26 Jun 2005 18:41 GMT
> Ken S. Tucker says...
>
[quoted text clipped - 11 lines]
> Then he made a mistake. His answer should be 4500, also. That's
> what it means to be an *invariant*.

No, KISS, he's measured the TIME between two events
you leaving and you return. He gets x'^0 = 7200.

> From my point of view, for me to calculate the proper time for my
> path is simple: it's just the elapsed time on my clock, which is 4500
[quoted text clipped - 14 lines]
>      t_B = 3600 seconds
>      x_B = 3600 * .7806 = 2810 light-seconds

> Event C takes place at coordinates
>
[quoted text clipped - 21 lines]
> So my stay-at-home brother calculates the same value for
> s.

That approach to the problem will not be a solution
because it's ambiguous where the basis vectors
transform and thus the components are ill defined.

We need to agree on things far more basic.

Let S be an arbitrary vector. I'll use capitals
to designate a vector. In an arbitrary CS the basis
vectors are, E^u or E_u then

S = E_u x^u  and  S.E^u = x^u (dot product).

The Kronecker delta = E_u . E^v  = 0 or 1,
without units, you all know that I hope!

In Tucker's *specialized* CS, he uses,

E_0 = 1/(1 minute) and E^0 =1 minute

in accord with Kronecker, and

x^0 = number of minutes (between events).

where g_00 = E_0.E_0 = 1/minutes^2 .

Then the invariant s^2 = S.S is,

s^2 = g_00 x^0 x^0 = unitless scalar,

(when Tucker is at rest, as usual :-).

> Proper time along a given path is an invariant, but it
> isn't constant, and it isn't dimensionless.

Let's stop calling it "proper time" which is
an SR hang-over and embrace GR and call it an
invariant or scalar that has no units.

Suppose Daryl uses seconds and he and I are at
rest then the transformation to Tucker time is,

x'^0 = (&x'^0/&x^0)*x^0 .

Using x'^0 = 60*x^0 yields

x'^0 = 60*x^0  because 60 seconds = 1 minute.

Whatever you do, keep an eye on that Kronecker I
prefaced about invariants.

Regards
Ken S. Tucker
Daryl McCullough - 27 Jun 2005 14:41 GMT
Ken S. Tucker says...
>> Ken S. Tucker says...
>>
[quoted text clipped - 14 lines]
>No, KISS, he's measured the TIME between two events
>you leaving and you return. He gets x'^0 = 7200.

But that's not the definition of s. s is defined to be

    s = Integral of square-root(g_ij dx^i dx^j)

which is an invariant, the same value in every coordinates
system.

>> From my point of view, for me to calculate the proper time for my
>> path is simple: it's just the elapsed time on my clock, which is 4500
>> seconds. So I compute s = 4500.

[Computation deleted]

>> So my stay-at-home brother calculates the same value for
>> s.
>
>That approach to the problem will not be a solution
>because it's ambiguous where the basis vectors
>transform and thus the components are ill defined.

What in the world are you talking about?

>We need to agree on things far more basic.
>
[quoted text clipped - 10 lines]
>
>E_0 = 1/(1 minute) and E^0 =1 minute

That's not the way things are usually done. The
*basis* vectors don't carry any units. It's the
coefficients x^u that carry the units.

It's a little strange to give units to the basis
vectors, because the same basis vectors must be
used for quantities with different units. For
example, 4-velocity U is dimensionless (in
units with c=1), but if we write

    U = E_j U^j

with your choice of units, it will turn out that U^j
has dimensions of minutes, which is very strange.

>in accord with Kronecker, and
>
[quoted text clipped - 5 lines]
>
>s^2 = g_00 x^0 x^0 = unitless scalar,

You are saying that x^0 has units minutes. That
means that the vector S = E_j x^j is dimensionless.
In that case, of course s^2 is dimensionless. In
general, if S has units d, then s^2 has units d^2.
So for instance, if S is the momentum 4-vector, then
s^2 will have units of kg^2 (in units where c=1, and
where kg is the unit for mass).
If S is the displacement 4-vector, then s^2 will
have units of meter^2.

>(when Tucker is at rest, as usual :-).
>
[quoted text clipped - 4 lines]
>an SR hang-over and embrace GR and call it an
>invariant or scalar that has no units.

But it is proper time, and it *does* have units.
Where did you get the idea that scalars in GR are
unitless? That's not true.

--
Daryl McCullough
Ithaca, NY
Ken S. Tucker - 27 Jun 2005 20:02 GMT
> Ken S. Tucker says...
> >> Ken S. Tucker says...
[quoted text clipped - 17 lines]
>
> But that's not the definition of s.

That should have been x'^0 = 7200 seconds.

> s is defined to be
>
>      s = Integral of square-root(g_ij dx^i dx^j)
>
> which is an invariant, the same value in every coordinates
> system.

True, but to start, for simplicity let's approximate
to constant g_uv over a small section, then consider
the case where g_uv vary.

> >> From my point of view, for me to calculate the proper time for my
> >> path is simple: it's just the elapsed time on my clock, which is 4500
[quoted text clipped - 10 lines]
>
> What in the world are you talking about?

Did you read my post prior to typing that?
I thought I included an example.

> >We need to agree on things far more basic.
> >
[quoted text clipped - 13 lines]
> That's not the way things are usually done. The
> *basis* vectors don't carry any units.

What!? Draw a line on a blank piece of paper,
Trace it onto 1 cm graph paper or one inch
graph paper. All 3 of those lines are the same,
and so that line is invariant.

The *basis* vectors on the graph paper have
direction AND magnitude, the magnitude being
the unit, cm or inch.

> It's the
> coefficients x^u that carry the units.

Yes, that too.

> It's a little strange to give units to the basis
> vectors, because the same basis vectors must be
[quoted text clipped - 6 lines]
> with your choice of units, it will turn out that U^j
> has dimensions of minutes, which is very strange.

No, U^j = dx^j/ds

Both sides have the same unit as they should.

> >in accord with Kronecker, and
> >
[quoted text clipped - 9 lines]
> means that the vector S = E_j x^j is dimensionless.
> In that case, of course s^2 is dimensionless.

Yup.

> In
> general, if S has units d, then s^2 has units d^2.

No S can't have units without a specialized CS, as
I explained above using a line on a blank paper.

> So for instance, if S is the momentum 4-vector, then
> s^2 will have units of kg^2 (in units where c=1, and
> where kg is the unit for mass).
> If S is the displacement 4-vector, then s^2 will
> have units of meter^2.

Here's where you'll get into trouble. A invariant
is a tensor of rank 0. But the units like meter^2
are relative and are not invariant, it's that simple.

> >(when Tucker is at rest, as usual :-).
> >
[quoted text clipped - 8 lines]
> Where did you get the idea that scalars in GR are
> unitless? That's not true.

For the 3rd time learn to use the Kronecker Delta
prior to using the metric tensor, for example solve,

ds^2 = Delta{^u_v} dx_u dx^v = dx_u dx^u

and explain the units you use.

Regards
Ken S. Tucker
Daryl McCullough - 27 Jun 2005 23:03 GMT
Ken S. Tucker says...

>> That's not the way things are usually done. The
>> *basis* vectors don't carry any units.
[quoted text clipped - 7 lines]
>direction AND magnitude, the magnitude being
>the unit, cm or inch.

That's not the way it's usually done. As I said,
the basis vectors are usually unitless.

>> In general, if S has units d, then s^2 has units d^2.
>
>No S can't have units without a specialized CS, as
>I explained above using a line on a blank paper.

Where did you get the idea that invariants must be
unitless?

>> So for instance, if S is the momentum 4-vector, then
>> s^2 will have units of kg^2 (in units where c=1, and
[quoted text clipped - 5 lines]
>is a tensor of rank 0. But the units like meter^2
>are relative and are not invariant, it's that simple.

No, that's not correct. A scalar can have any units
whatsoever. The fact that it is invariant has *nothing*
to do with what its units are.

As I said, rest mass is the invariant associated with the
4-momentum. Rest mass has dimensions of mass.

The quantity E^2 - B^2 (where E = the electric field,
and B = the magnetic field) is an invariant. It has dimensions
"energy per unit volume".

>> But it is proper time, and it *does* have units.
>> Where did you get the idea that scalars in GR are
[quoted text clipped - 6 lines]
>
>and explain the units you use.

The Kronecker Delta has nothing to do with it.
The Kronecker Delta is unitless, but that doesn't
imply anything about whether ds^2 is unitless.
It implies that the units for ds^2 is the product
of the units for dx_u and the units for dx^u. Typically,
both dx_u and dx^u have dimensions of length (or time,
depending on whether you include a factor of c or not)
so ds^2 has dimensions length^2.

Try actually *calculating* ds^2 for some simple example. In
flat spacetime, it becomes (in Minkowsky coordinates)

   ds^2 = c^2 dt^2 - (dx^2 + dy^2 + dz^2)

which clearly has dimensions length^2. In Schwarzschild
geometry, it has this form:

   ds^2 = (1 - r_s/r) c^2 dt^2 - 1/(1 - r_s/r) dr^2 + angular part

where r_s = the Schwarzschild radius. Again, it's clear that
ds^2 has dimensions of length^2.

Where did you get the idea that scalars in GR
are dimensionless? That's not true. Rest mass is a scalar,
and it has dimensions "mass". Proper time is a scalar,
and it has dimensions "time". Proper length is a scalar,
and it has dimensions "length". Total charge is a scalar,
and it has dimensions "charge".

--
Daryl McCullough
Ithaca, NY
Ken S. Tucker - 27 Jun 2005 23:46 GMT
> Ken S. Tucker says...
>
[quoted text clipped - 12 lines]
> That's not the way it's usually done. As I said,
> the basis vectors are usually unitless.

Ah there is little I can add. If you decide
cm = inches, I'm leaving, in a hurry!
Ken

> >> In general, if S has units d, then s^2 has units d^2.
> >
[quoted text clipped - 68 lines]
> Daryl McCullough
> Ithaca, NY
Daryl McCullough - 28 Jun 2005 14:36 GMT
Ken S. Tucker says...

>> That's not the way it's usually done. As I said,
>> the basis vectors are usually unitless.
>
>Ah there is little I can add. If you decide
>cm = inches, I'm leaving, in a hurry!

That response doesn't make any sense. I didn't
say cm = inches. I said that basis vectors are
usually unitless. That means that they are not
measured in cm, and they are not measured in
inches.

--
Daryl McCullough
Ithaca, NY
Ken S. Tucker - 28 Jun 2005 17:11 GMT
> Ken S. Tucker says...
>
[quoted text clipped - 6 lines]
> That response doesn't make any sense. I didn't
> say cm = inches.

Using graph paper I created both a cm and inch basis
with unit vectors that have "unit magnitude". What
part of the word "unit" is unclear?
 How do you define "unit" vector?

> I said that basis vectors are usually unitless.

What does "usually" mean?

>That means that they are not
> measured in cm, and they are not measured in
> inches.

Then tell us what you measure with, i.e what's
that unit magnitude all them kooky mathematicians
talk about?
Ken
Daryl McCullough - 28 Jun 2005 17:58 GMT
Ken S. Tucker says...

>Using graph paper I created both a cm and inch basis
>with unit vectors that have "unit magnitude".

A general vector can be written as a linear
combination of basis vectors as follows: V = V^i e_i.
In the case of a vector of length 1 inch that points
in the x-direction, I would say that

     V^1 = 1 inch

The *coefficients* V^j carry the units, not the basis vectors.
Putting the units into the basis vectors is a very strange
thing to do. The same basis vectors are used for displacement
vectors (which have dimensions of length) and momentum vectors
(which have dimensions of mass * length / time) and current
(which has dimensions of charge/(length^2 * time)). It seems
to me that it makes a lot more sense to let the basis vectors
be dimensionless, and to put the dimensions into the coefficents.

Anyway, getting back to the subject: You claimed that an invariant
must be dimensionless. That is completely wrong. Here are some examples
of invariants:

  Proper time : has dimensions of "time"
  Rest mass : (defined to be square-root(E^2/c^4 - p^2/c^2))
              has dimensions of "mass"

  Proper length : (the proper length of an object is its length
                  as measured in a frame in which the object is at rest)
                 has dimensions of "length"

  Total charge : has dimensions of "charge"

  Electromagnetic energy density (defined by F^ij F_ij or E^2 - B^2)
               : has dimensions of "energy per unit volume"

*All* these examples have dimensions. It's actually hard to think of
an example from physics of an invariant that *doesn't* have units.
Being a scalar has *nothing* to do with being dimensionless.

--
Daryl McCullough
Ithaca, NY
Ken S. Tucker - 28 Jun 2005 21:41 GMT
> Ken S. Tucker says...
>
[quoted text clipped - 11 lines]
> Putting the units into the basis vectors is a very strange
> thing to do.

Quote Daryl...

"The same basis vectors are used for displacement
vectors (which have dimensions of length)"

> and momentum vectors
> (which have dimensions of mass * length / time) and current
> (which has dimensions of charge/(length^2 * time)). It seems
> to me that it makes a lot more sense

Quote Daryl again,

"more sense to let the basis vectors be dimensionless,"

I'd like to bail, and let's take a break.

Ken
Daryl McCullough - 28 Jun 2005 22:04 GMT
Ken S. Tucker says...

>I'd like to bail, and let's take a break.

Okay, but the following examples will be waiting for you:

    Invariant = proper time
    Dimensions = time

    Invariant = proper length
    Dimensions = length

    Invariant = total charge
    Dimensions = charge

    Invariant = E&M energy density
    Dimensions = energy per unit volume

The claim that an invariant must be dimensionless is just
incorrect. The dimensions of an invariant can be anything.

--
Daryl McCullough
Ithaca, NY
Tom Roberts - 29 Jun 2005 02:25 GMT
> The claim that an invariant must be dimensionless is just
> incorrect. The dimensions of an invariant can be anything.

You guys are arguing over a PUN on "invariant"

Once you select a unit for length, and 4 linearly-independent unit
vectors you have determined all components of the metric tensor for the
coordinate system that uses them as coordinate axes. From this point on,
things like proper time, proper length, the metric tensor, etc. are all
invariant UNDER COORDINATE TRANSFORMATIONS.

But none of them are invariant UNDER A CHANGE IN UNITS.

Daryl has been discussing invariance under coordinate transforms, and
Ken has been discussing changes of units.

Tom Roberts    tjroberts@lucent.com
Ken S. Tucker - 29 Jun 2005 07:47 GMT
> > The claim that an invariant must be dimensionless is just
> > incorrect. The dimensions of an invariant can be anything.
>
> You guys are arguing over a PUN on "invariant"

No. It's NOT a PUN, it's important.
(Tom read your post).

Let's discuss the simple 3D cartesian {i,j,k}
unit vectors we all know and love, I hope.

When a CS is selected, the magnitude of the unit
of those vectors is calibrated by physics, cm,
foot, cubit, etc, as the definition of length
evolved. However none of those definitions affect
the distance between two points.

We can fart to eternity about units but in fact
two physically distinct stationary points remain
invariant, like 100 million years ago a Bronto-
saurus said I pooped from "a" to "b" and that
is invariant, i.e. 1 = a Bronto poop, because
Bronto pooped once.

Then comes Daryl using meters, and claims it's
a 4 meter poop, and then Tom using inches it's
a 160 inch poop. ((bilge would say it took 5
minutes for Bronto to poop, given bilges
interest in things of that nature))

Tucker says it's one poop.

Tucker's right, the Bronto pooped once and that's
an invariant, poop=1.

You guys can divide up the Bronto poop anyway you
want, into meters, pounds, seconds, hours, cubits,
but, it's only ONE BRONTO POOP!

((Knowing Carlip, he's likely to note the poop
is steaming and hence it's mass is NOT invariant,
and blow my argument))

Regards
Ken
PS: This is not shitty argument.

> Once you select a unit for length, and 4 linearly-independent unit
> vectors you have determined all components of the metric tensor for the
[quoted text clipped - 8 lines]
>
> Tom Roberts    tjroberts@lucent.com
Daryl McCullough - 29 Jun 2005 14:21 GMT
Ken S. Tucker says...

>Let's discuss the simple 3D cartesian {i,j,k}
>unit vectors we all know and love, I hope.
[quoted text clipped - 3 lines]
>foot, cubit, etc, as the definition of length
>evolved.

I wouldn't characterize it that way at all. If
you set up a coordinate system in which the i-direction
points from Buffalo, NY to New York City, then the
displacement vector V from Buffalo to New York can be
characterized variously as

    1: (289 miles) e_i
    2: (570 kilometers) e_i
    3: (1.53 million feet) e_i
    4: (18.31 million inches) e_i

The *coefficient* V^i is equal to 289 miles in one system
of units, and 570 kilometers in a different system of units.
But e_i doesn't change.

I suppose that if you are only interested in *displacement*
vectors, then you could just as well put the units onto e_i,
and consider the coefficient V^i to be dimensionless:

   1: V^i = 289, e_i is a vector with magnitude 1 mile
   2: V^i = 570, e_i is a vector with magnitude 1 kilometer
   3: V^i = 1.53 million, e_i is a vector with magnitude 1 foot
   4: V^i = 18.31, e_i is a vector with magnitude 1 inch

However, that convention only works for *displacement* vectors.
Would you have a different unit vector for momentum, and yet
another unit vector for angular momentum? Letting the coefficient
carry the units is much simpler, since you can use the *same*
unit vector e_i for displacement, momentum, angular momentum,
electric field, etc. The units would then be in the coefficients
V^i.

--
Daryl McCullough
Ithaca, NY
Tom Roberts - 29 Jun 2005 14:51 GMT
> When a CS is selected, the magnitude of the unit
> of those vectors is calibrated by physics, cm,
> foot, cubit, etc, as the definition of length
> evolved. However none of those definitions affect
> the distance between two points.

Physics is a quantitative science. When we