Article View: sci.physics
Article #4901Re: Covariant vs. Lie Derivative in Gen. Rel.?
From: Ric Peregrino
Date: Thu, 12 Nov 1992 19:20
Date: Thu, 12 Nov 1992 19:20
60 lines
2892 bytes
2892 bytes
I've been struggling with the concept of covariant derivative for some time.
I'd like to add my $0.02 and my $0.50 questions to this thread.
Here goes,
A covariant derivative need only be an operation that adds one covariant
index to any tensor. Consider a Reimmanian space.
For a scalar I this is simply
i
I = dI/dx , where the derivatives are partials.
;i
For a covariant tensor of 1st rank (order, whatever) A
j k
A = dA /dx - G A
i;j i ij k
as I'm sure you all know. G can be formed from any non-singular covariant
rank 2 tensor. The "connection" is an additional restraint that need not
be imposed to insure the tensor character of the resulting tensor.
Ok that was my $0.02 worth, now for the $0.50 questions,
John Baez writes:
>2) The covariant derivative only requires a tangent vector at one point
>of the manifold. The price you pay is this: to define it you need to
>choose a connection on the (tangent bundle of) the manifold. Of course,
>such a connection - the Levi-Civita connection - comes for free if your
>manifold has a Riemann metric on it.
Hmm.... If I look at the covariant derivative of the scalar I above, all
I need to know are the partial derivatives of I at the points that I want
the derivative. Let me just talk about one point. Then I need to know
I(x1,x2,,,) only, that is know the scalar as a function of the coordinates
at the point is question.
In the general case, I need to know G, which means I need to know the
tensor in question as a function of coordinates, and the covariant tensor
of rank 2 used for the derivative as a function of the coordinates, both
at the point in question.
One question is this, how does knowing a tangent vector at one point
give me enough information to compute a covariant derivative?
Another question is about the connection. As I stated above, I don't
see the need for a connection to establish a covariant derivative.
Is this just a matter of definition?
Enough for now.
--------------------------------------------------------------------
Ric Peregrino c/o Hewlett Packard Co. I represent only myself
ric@spd.hp.com 1501 Page Mill Rd Bldg 5M I may be wrong, maybe not
415-857-7526 Palo Alto, CA 94304 Do DC photons exist?
--------------------------------------------------------------------
Technical Details
Message-ID:
<12950097@hpspdla.spd.HP.COM>Path:
arc1-ca.pugleaf.net!sparky!uunet!europa.asd.contel.com!darwin.sura.net!spool.mu.edu!uwm.edu!cs.utexas.edu!sdd.hp.com!hpscit.sc.hp.com!scd.hp.com!hpscdm!hplextra!hpl-opus!hpspdla!ricReferences:
<1992Nov10.173224.6690@vision.ummed.edu>Show Full Headers
Complete Article Headers
From: ric@hpspdla.spd.HP.COM (Ric Peregrino) Date: Thu, 12 Nov 1992 19:20:56 GMT Subject: Re: Covariant vs. Lie Derivative in Gen. Rel.? Message-ID: <12950097@hpspdla.spd.HP.COM> Organization: HP Stanford Park - Palo Alto, CA Path: arc1-ca.pugleaf.net!sparky!uunet!europa.asd.contel.com!darwin.sura.net!spool.mu.edu!uwm.edu!cs.utexas.edu!sdd.hp.com!hpscit.sc.hp.com!scd.hp.com!hpscdm!hplextra!hpl-opus!hpspdla!ric Newsgroups: sci.physics References: <1992Nov10.173224.6690@vision.ummed.edu> Lines: 60