- #1

- 83

- 0

I really apreciates any clues.

Thanks

- Thread starter Magister
- Start date

- #1

- 83

- 0

I really apreciates any clues.

Thanks

- #2

- 9,976

- 1,153

Every one parameter group of isometries is associated with a Killing vector - the Killing vector is the infinitesimal "generator" of said one parameter group.

Now space translations are isometries (distance preserving isomorphisms) in Euclidiean space, therfore space translations generate a Killing vector field in Euclidean space.

This Killing vector field is just the generator of the translation group, i.e. a unit vector field pointing everywhere in the same direction.

Similarly, rotations are also isometries, so they also generate a Killing vector field. So they also generate Killing vectors. If you want the Killing vector field itself, you need to find the "generator" of the rotation group.

- #3

Chris Hillman

Science Advisor

- 2,345

- 8

I suspect you misunderstood something you read (if you disagree, can you cite your source and provide an exact quotation?), but more to the point, I think I know why you have been having a hard time finding answers: you should have phrased the question as "how can I compute the Lie algebra of Killing vector fields in euclidean three space [itex]E^3[/itex]?"I have read that the Killing vectors in a 3D euclidean space are the 3 components of the ordinary divergence plus the 3 components of the ordinary rotational. I have being trying to find a derivation of this but it isn´t being easy.

I really apreciates any clues.

The answer to

While in principle that provides the answer you seek, this is a good opportunity for me to experiment with providing a little Maple code. I'll assume you have Maple running with an X Windows interface; under unix this is called as xmaple), and I'll assume you have GrTensorII installed (with a working path to a directory holding your frame field definitions).

None of this is neccessary to perform the computation, of course! I am simply illustrating something which works to greater effect when finding the isometry group of more interesting manifolds, such as a vacuum gravitational plane wave solution with some extra symmetries.

Use your favorite text editor to create a file called E3_cart.mpl in the proper directory:

Code:

```
Ndim_ := 3:
x1_ := x:
x2_ := y:
x3_ := z:
eta11_ := 1:
eta22_ := 1:
eta33_ := 1:
bd11_ := 1:
bd22_ := 1:
bd33_ := 1:
Info_ := `Coordinate frame in Cartesian chart for E^3`:
# Chart covers -infty < x,y,z < infty
# Beltrami-Laplace equation
# *d*dh = h_(xx) + h_(yy) + h_(zz) = 0
```

[tex] \sigma^1 = dx, \; \; \sigma^2 = dy, \; \; \sigma^3 = dz[/tex]

which has the dual frame field

[tex] \vec{e}_1 = \partial_x, \; \; \vec{e}_2 = \partial_y, \; \; \vec{e}_3 = \partial_z[/tex]

The metric tensor is then given as

[tex] g = \sigma^1 \otimes \sigma^1 + \sigma^2 \otimes \sigma^2 + \sigma^3 \otimes \sigma^3[/tex]

which expresses the "orthonormal" nature of the coframe. Multiplying out, you immediately recover the usual line element

[tex] ds^2 = dx^2 + dy^2 + dz^2 [/tex]

(The hash marks give an example of how you can comment your GrTensorII files.)

Note that you can replace the three given covector fields [itex]\sigma^1, \, \sigma^2, \, \sigma^3[/tex] with more interesting ones, and then declaring these to form a coframe field will usually give some curved Riemannian three-manifold. Since vector and covector fields are coordinate-free notions, giving a coframe or frame field provides a coordinate-free description of any Riemannian (or Lorentzian) manifold.

As always, there are many alternative (local) representations of the same manifold; as I have been stressing elsewhere (e.g. in threads of computing the frequency shift observed for an ordered pair of possibly accelerating observers in some spacetime model given by a Lorentzian manifold, perhaps a solution of the EFE or some competing field equation), this multiplicity is often just what we need, but as always in mathematics, the problem of classifying coframe fields up to local equivalance (in this case, local isometry of the Riemannian or Lorentzian manifold they define) arises. I'll say a bit about that below.

(I should add that in this example, the ON coframe just happens to be the coordinate coframe. This is

Next, in your maple server window,

Code:

```
qload(E3_cart);
grcalcalter(LieD[kv0,g(dn,dn)],1):grdisplay(_);
[grcalc>X(x,y,z);
[grcalc>Y(x,y,z);
[grcalc>Z(x,y,z);
keqs := [seq(seq(grcomponent(LieD[kv0,g(dn,dn)], [grcomponent(x(up),[j]),
grcomponent(x(up),[k])]),j=1..3),k=1..3)]:
for guy in keqs do value(guy); od;
casesplit(keqs);
op(%)[1]: pdsolve(%): subs(%,[X,Y,Z](x,y,z)):
sol := subs(_C1=c[1],_C2=c[2],_C3=c[3],_C4=c[4],_C5=c[5],_C6=c[6],%);
subs(c[1]=1,c[2]=0,c[3]=0,c[4]=0,c[5]=0,c[6]=0,sol);
subs(c[1]=0,c[2]=1,c[3]=0,c[4]=0,c[5]=0,c[6]=0,sol);
subs(c[1]=0,c[2]=0,c[3]=1,c[4]=0,c[5]=0,c[6]=0,sol);
subs(c[1]=0,c[2]=0,c[3]=0,c[4]=1,c[5]=0,c[6]=0,sol);
subs(c[1]=0,c[2]=0,c[3]=0,c[4]=0,c[5]=1,c[6]=0,sol);
subs(c[1]=0,c[2]=0,c[3]=0,c[4]=0,c[5]=0,c[6]=1,sol);
```

[tex]X_x = Y_y = Z_z = 0[/tex]

[tex]Y_x + X_y = Z_x + X_z = Y_x + X_y = 0[/tex]

[tex]Z_y + Y_z = Z_x + X_z = Z_y + Y_z = 0[/tex]

where I am using the useful notational convention, common to much of the literature dealing with PDEs, in which partials are denoted by subscripts. Here, the undetermined Killing vector field is written

[tex]\vec{W} = X \, \partial_x + Y \, \partial_y + Z \, \partial_z[/tex]

where [itex]X, \, Y, \, Z[/itex] are three undetermined functions of the three coordinates, namely the components with respect to our frame field of the undetermined Killing vector field. As you can see, the Killing equation

You can probably see how to solve this linear system of first order PDEs "by hand"; the utility "casesplit" simply automates the "triangularization" you would probably pursue. It

works by applying Groebner basis methods to differential rings, and draws upon landmark work by Lie, Cartan and Buchberger (see below for some citations), among others. The Buchberger algorithm computes a Groebner basis, and is a kind of common generalization of Gaussian reduction of a system of linear equations, the division algorithm for polynomials (you learned that in grade school, in the disguised form of "long division"), and of Euclid's algorithm in elementary number theory.

From the final result we can read off the six generators

[tex] \partial_x, \; \partial_y, \; \partial_z [/tex]

[tex] y \, \partial_x - x \, \partial_y, \; \; z \, \partial_x - x \, \partial_z, \; \; z \, \partial_y - y \, \partial_z [/tex]

I suspect that you saw this result somewhere (correct) and misread it as the "divergence operator plus the curl operator" (incorrect).

As pervect mentioned in his reply, these six generators "exponentiate" to give six unidimensional subgroups of the Lie group of isometries. The rotations generate the (proper)

For some insight into why it is so advantageous to think about vector fields as linear first order partial differential operators, particularly in the context of Lie theory, see (in order):

Roger Howe, "Very basic Lie theory",

Roger Carter, Graeme Segal, and Ian MacDonald,

Peter J. Olver,

Peter J. Olver,

The second book by Olver listed above is devoted to explaining Cartan's formulation and solution of a huge class of "equivalence problems", including a very important one for readers of this newsgroup, the problem of

By the way, the best way to understand the interaction here of ideas from the theory of homogeneous spaces (Kleinian geometries, if you like) and more general Lorentzian or Riemannian manifolds is probably the theory of Cartanian manifolds; see the recent paper by John Baez's student Derek Wise (see http://math.ucr.edu/home/baez/this.week.html and then http://www.arxiv.org/abs/gr-qc/0611154) [Broken].

Last but not least, for a superb introduction to Groebner bases in algebraic geometry (which ultimately is concerned with systems of polynomial equations, the simplest generalization of the systems of linear equations solved algorithmically by Gauss), see

David Cox, John Little, Donal O'Shea,

This undergraduate textbook, known as IVA, is to computational algebraic geometry what MTW is to gravitation. It is a much more important, readable, and useful book than others which are unfortunately more widely read, such as popular physics books.

If what I said above didn't sufficiently whet the appetites of PF members to run out and purchase their own copy (trust me, you should own your own copy!), I might mention that in additition to applications in algebraic geometry, invariant theory, robotic motion, and automated proof verification (all discussed in the book), this stuff has important and practical applications in differential equations (as hinted above), enumerative combinatorics, game theory (want to find a Nash equalibrium?), statistics (want to analyze a graphical model of statistical independence relations, in the sense of Lauritzen?), and so on; see for example

Bern Sturmfels,

Last edited by a moderator:

- #4

- 83

- 0

Thanks a lot for your answers. Chris Hillman, you are totaly rigth, I misunderstood the solution I saw. But I still don t know how to " compute the Lie algebra of Killing vector fields in euclidean three space" by hand. I have searched in some books of GR, from Ray D'Inverno (where I have saw the solution) to the Misner, Thorne and Wheeler, and didnt found anything which could lead me to the result. I belive that I am missing some basic stuff which dont permit me to go further.

Thanks to any replies.

- #5

- 4

- 0

I dont understand really well how you can you do it just from the fact rot(W)=0 e div(W)=0

Regards

- #6

- 23

- 0

My guess is that this is because, axis inversion is a discrete symmetry, and Killing vector fields are always associated with a Lie group which is by definition a continuous one.

Could someone please explain better the link between: Continuous/discrete transformation metric preserving transformations; Killing vectors; Lie group.

Thanks

- Last Post

- Replies
- 6

- Views
- 8K

- Last Post

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 3

- Views
- 1K

- Last Post

- Replies
- 12

- Views
- 822

- Replies
- 1

- Views
- 5K

- Last Post

- Replies
- 1

- Views
- 943

- Last Post

- Replies
- 6

- Views
- 2K

- Last Post

- Replies
- 11

- Views
- 6K

- Replies
- 21

- Views
- 5K

- Replies
- 4

- Views
- 676