- #1

- 93

- 0

- Thread starter unchained1978
- Start date

- #1

- 93

- 0

- #2

quasar987

Science Advisor

Homework Helper

Gold Member

- 4,778

- 11

There is also the notion of the Lie derivative.. which differentiates a tensor with respect to some vector field. For instance, the flow of some vector field X is a 1-parameter family of isometries iff L_Xg=0. In this case, X is called a Killing vector field.

Or, if your metric depends on a real parameter t, you can just differentiate it in the usual manner wrt t and you get a new symmetric tensor.

- #3

- 93

- 0

- #4

quasar987

Science Advisor

Homework Helper

Gold Member

- 4,778

- 11

Oh! Then I don't know. I've read a bit on wikipedia but don't really get it.

- #5

- 32

- 0

Hi there. These [itex]\delta[/itex] quantities are commonly used in Physics literature to be "small" changes in calculus of variations. It is indeed not so easy to define them in a mathematically rigorous way, because they can sometimes be treated like ordinary differentials in calculus, but they are something different.

I think they appear in context of the variation of the Einstein-Hilbert action in General Relativity. The action is a functional, i.e. a map depending on the metric [itex]g_{ab}[/itex] and its first and second partial derivatives [itex]g_{ab,c}[/itex], [itex]g_{ab,cd}[/itex] with values in [itex]\mathbb{R}[/itex]. Now if one calculates the functional derivative of such an object one looks how the functional changes if one changes the metric by "small" amounts. These small amounts are then called [itex]\delta g_{ab}[/itex].

This can be defined mathematically by using the Gateaux-derivative: http://en.wikipedia.org/wiki/G%C3%A2teaux_derivative" [Broken]. In this Wikipedia article the [itex]\delta g_{ab}[/itex] correspond to the [itex]\psi[/itex] used in the definition of the Gateaux-derivative.

I think they appear in context of the variation of the Einstein-Hilbert action in General Relativity. The action is a functional, i.e. a map depending on the metric [itex]g_{ab}[/itex] and its first and second partial derivatives [itex]g_{ab,c}[/itex], [itex]g_{ab,cd}[/itex] with values in [itex]\mathbb{R}[/itex]. Now if one calculates the functional derivative of such an object one looks how the functional changes if one changes the metric by "small" amounts. These small amounts are then called [itex]\delta g_{ab}[/itex].

This can be defined mathematically by using the Gateaux-derivative: http://en.wikipedia.org/wiki/G%C3%A2teaux_derivative" [Broken]. In this Wikipedia article the [itex]\delta g_{ab}[/itex] correspond to the [itex]\psi[/itex] used in the definition of the Gateaux-derivative.

Last edited by a moderator:

- #6

- 93

- 0

Thanks a lot, that helped very much.

- #7

samalkhaiat

Science Advisor

- 1,712

- 980

In the calculus of variation, we subject the relevant function (or in your case the metric) to a small change and write

[tex]g(x) \rightarrow \bar{g}(x) = g(x) + \delta g(x)[/tex]

Now, if this small change is brought about by infinitesimal coordinate transformation

[tex]x \rightarrow \bar{x} = x + f(x),[/tex]

then one can define two type of variations :

[tex]\delta g(x) = \bar{g}(\bar{x}) - g(x)[/tex]

This compares the transformed metric with original one at the same geometrical point P which has two different coordinate values [itex]x[/itex] and [itex]\bar{x}[/itex]. Some people call this type of variation “local variation” other call it “total variation”.

The other, more important, variation is defined by

[tex]\bar{\delta}g(x) = \bar{g}(x) - g(x)[/tex]

Here, we compare the transformed metric [itex]\bar{g}[/itex] at point [itex]\bar{P}[/itex] (with coordinate value equal to [itex]x[/itex]) with the original metric [itex]g[/itex] at point [itex]P[/itex] with coordinate value [itex]x[/itex]. This means that [itex]\bar{\delta}[/itex] refers to two different points having the same coordinate values, i.e., it is the Lie derivative along the vector field [itex]f(x)[/itex] which generates the coordinate transformation. Notice that the two variations are related by

[tex]\bar{\delta}g = \delta g - f(x)\partial_{x}g[/tex]

regards

sam

- Last Post

- Replies
- 1

- Views
- 742

- Last Post

- Replies
- 1

- Views
- 7K

- Last Post

- Replies
- 1

- Views
- 3K

- Last Post

- Replies
- 12

- Views
- 2K

- Last Post

- Replies
- 3

- Views
- 4K

- Last Post

- Replies
- 3

- Views
- 11K

- Last Post

- Replies
- 3

- Views
- 3K

- Replies
- 37

- Views
- 4K

- Replies
- 12

- Views
- 5K

- Replies
- 3

- Views
- 16K