Calculating Varying an Action: \delta I

  • Thread starter latentcorpse
  • Start date
Well, we can treat \delta g_{\mu\nu} as a function of the metric components, g_{\rho\sigma}, and use the chain rule to write \delta g_{\mu\nu} = \frac{\delta g_{\mu\nu}}{\delta g_{\rho\sigma}} \delta g_{\rho\sigma} = \frac{\delta g_{\mu\nu}}{\delta g_{\rho\sigma}} g_{\rho\sigma} \delta x^\lambda \partial_\lambda g_{\rho\sigma}.To get the desired expression, we need to invert the metric, so that g^{\mu\nu} = \frac{\delta
  • #1
latentcorpse
1,444
0
So we have an action
[itex]I[x,p;e]=\int d \lambda \left( \dot{x}^\mu p_\mu - e (p^2+m^2) \right)[/itex]
where e is the einbein and [itex]p^2=g^{\mu \nu} p_\mu p_\nu[/itex]

We're asked to find [itex]\delta I[/itex] given the variations
[itex]\delta x^\mu=\epsilon(\lambda) \xi^\mu(x)[/itex] and [itex]\delta p_\mu = - \epsilon(\lambda) \partial_\mu \epsilon^\nu p_\nu[/itex]

So I find that [itex]\delta \dot{x}^\mu = \dot{\epsilon}(\lambda) \xi^\mu(x)[/itex]

and we have that

[itex]\delta I = \int d \lambda \left( \delta ( \dot{x}^\mu p_\mu ) - \delta ( ep^2+em^2) \right)[/itex]
[itex]=\int d \lambda \left( \delta \dot{x}^\mu p_\mu + \dot{x}^\mu \delta p_\mu -2e g^{\mu \nu} p_\mu \delta p_\nu \right)[/itex] since [itex]\delta m=0[/itex]

Then, this gives by substitution

[itex]= \int d \lambda \left( \dot{\epsilon} \xi^\mu p_\mu - \epsilon \dot{x}^\mu \partial_\mu \xi^\nu p_\nu + 2eg^{\mu \nu} p_\mu \epsilon \partial_\nu \xi^\rho p_\rho \right)[/itex]

But this appears to be going "off course" so I reckon I've messed up but I can't see anything wrong with it!
 
Physics news on Phys.org
  • #2
latentcorpse said:
So I find that [itex]\delta \dot{x}^\mu = \dot{\epsilon}(\lambda) \xi^\mu(x)[/itex]

Isn't

[itex]\delta \dot{x}^\mu = \dot{\epsilon}(\lambda) \xi^\mu(x) + \epsilon(\lambda) \partial_\nu\xi^\mu \dot{x}^\nu? [/itex]
 
  • #3
fzero said:
Isn't

[itex]\delta \dot{x}^\mu = \dot{\epsilon}(\lambda) \xi^\mu(x) + \epsilon(\lambda) \partial_\nu\xi^\mu \dot{x}^\nu? [/itex]

oh yeah.

since [itex]\delta \dot{x}^\mu = \frac{d}{d \lambda} \delta x^\mu = \dot{\epsilon}(\lambda) \xi^\mu(x) + \epsilon \frac{d}{d \lambda} \xi^\mu(x) = \dot{\epsilon}(\lambda) \xi^\mu(x) + \epsilon(\lambda) \partial_\nu\xi^\mu \dot{x}^\nu [/itex] by chain rule on 2nd term, right?

However, that does leave us with

[itex]\delta I = \int d \lambda \left( \dot{\epsilon} \xi^\mu p_\mu + 2 \epsilon e p^\nu ( \partial_\nu \xi^\rho) p_\rho \right)= \int d \lambda \left( \dot{\epsilon} \xi^\mu p_\mu + 2 \epsilon e p^\nu p^\rho( \partial_\nu \xi_\rho) \right)[/itex]
so we need to fix that 2nd term

I should mention that we are trying to show the result

[itex]\delta I = \int d \lambda \left( \epsilon e p^\mu p^\nu D_\mu \xi_\nu + \dot{\epsilon} \xi^\mu p_\mu \right)[/itex]
 
Last edited:
  • #5
latentcorpse said:
[itex]\delta I = \int d \lambda \left( \dot{\epsilon} \xi^\mu p_\mu + 2 \epsilon e p^\nu ( \partial_\nu \xi^\rho) p_\rho \right)= \int d \lambda \left( \dot{\epsilon} \xi^\mu p_\mu + 2 \epsilon e p^\nu p^\rho( \partial_\nu \xi_\rho) \right)[/itex]
so we need to fix that 2nd term

But

[tex] p^\nu ( \partial_\nu \xi^\rho) p_\rho \neq p^\nu p^\rho( \partial_\nu \xi_\rho) .[/tex]

You can't just raise and lower indices under a derivative. In fact, carefully treating the action of the derivative on the metric should give you the expression with the covariant derivative.
 
  • #6
fzero said:
But

[tex] p^\nu ( \partial_\nu \xi^\rho) p_\rho \neq p^\nu p^\rho( \partial_\nu \xi_\rho) .[/tex]

You can't just raise and lower indices under a derivative. In fact, carefully treating the action of the derivative on the metric should give you the expression with the covariant derivative.

Ah, ok, so it's the covariant derivative probably wrt the Levi-Civita connection. Then he must first write all the terms correctly and then try to shift indices so that he gets eventually derivatives acting on the metric tensor he could then use for the covariant derivative.
 
  • #7
fzero said:
But

[tex] p^\nu ( \partial_\nu \xi^\rho) p_\rho \neq p^\nu p^\rho( \partial_\nu \xi_\rho) .[/tex]

You can't just raise and lower indices under a derivative. In fact, carefully treating the action of the derivative on the metric should give you the expression with the covariant derivative.

ok. so if we look at the 2nd term

[itex]-2eg^{\mu \nu}p_\mu \delta p_\nu[/itex]
[itex]=2eg^{\mu \nu}p_\mu \epsilon \partial_\nu (\xi^\rho) p_\rho[/itex]
[itex]=2 \epsilon e g^{\mu \nu} p_\mu p_\rho \partial_\nu \xi^\rho[/itex]
[itex]=2 e \epsilon p^\nu p_\rho \partial_\nu ( \xi_\lambda g^{\rho \lambda})[/itex]
[itex]=2 e \epsilon p^\nu p_\rho ( \partial_\nu \xi_\lambda ) g^{\rho \lambda} + 2 e \epsilon p^\nu p_\rho \xi_\lambda \partial_\nu g^{\rho \lambda}[/itex]
[itex]=2 e \epsilon p^\nu p^\lambda ( \partial_\nu \xi_\lambda ) + 2 e \epsilon p^\nu p_\rho \xi_\lambda \partial_\nu g^{\rho \lambda}[/itex]
So if I can justify getting rid of the 2nd term then I think I am done. Why would it vanish though? We don't know that [itex]\partial_\nu g^{\rho \lambda}=0[/itex], do we?
 
Last edited:
  • #8
No, [tex]\partial_\nu g^{\rho \lambda}\neq 0[/tex]. There's another term in the variation of the action that you're missing. This comes from varying the metric in

[tex] \delta(p^2) = p^\mu p^\nu \delta g_{\mu\nu} + 2 p^\mu \delta p_\mu .[/tex]

If you add this term, you should get an expression that you can relate to the covariant derivative of the Killing vector.

As an aside, I can't reconcile the result we have for [tex]\delta \dot{x}^\mu[/tex] with [tex]\delta p_\mu[/tex]. They're supposed to be related by

[tex] p_\mu = \frac{1}{2e} g_{\mu\nu} \dot{x}^\nu.~~(*) [/tex]

However, I don't exactly see this posing a problem in deriving the result here, but you might keep this in mind if you're still having trouble. You could also derive the answer by using (*) to rewrite the action in terms of [tex]\dot{x}^\mu[/tex] only.
 
  • #9
fzero said:
No, [tex]\partial_\nu g^{\rho \lambda}\neq 0[/tex]. There's another term in the variation of the action that you're missing. This comes from varying the metric in

[tex] \delta(p^2) = p^\mu p^\nu \delta g_{\mu\nu} + 2 p^\mu \delta p_\mu .[/tex]

If you add this term, you should get an expression that you can relate to the covariant derivative of the Killing vector.

As an aside, I can't reconcile the result we have for [tex]\delta \dot{x}^\mu[/tex] with [tex]\delta p_\mu[/tex]. They're supposed to be related by

[tex] p_\mu = \frac{1}{2e} g_{\mu\nu} \dot{x}^\nu.~~(*) [/tex]

However, I don't exactly see this posing a problem in deriving the result here, but you might keep this in mind if you're still having trouble. You could also derive the answer by using (*) to rewrite the action in terms of [tex]\dot{x}^\mu[/tex] only.

well the metric is a function of the coordinates [itex]g_{\mu \nu}(x)[/itex]

so [itex]\delta g_{\mu \nu} = \frac{\delta g_{\mu \nu}}{\delta x^\lambda} \delta x^\lambda[/itex] right?

but how do we compute [itex]\frac{\delta g_{\mu \nu}}{\delta x^\lambda}[/itex]?
 
  • #10
latentcorpse said:
well the metric is a function of the coordinates [itex]g_{\mu \nu}(x)[/itex]

so [itex]\delta g_{\mu \nu} = \frac{\delta g_{\mu \nu}}{\delta x^\lambda} \delta x^\lambda[/itex] right?

but how do we compute [itex]\frac{\delta g_{\mu \nu}}{\delta x^\lambda}[/itex]?

That's normal calculus.
 
  • #11
fzero said:
That's normal calculus.

But we don't know what [itex]g_{\mu \nu}[/itex] is so how can we take its derivative?
I'm not sure if [itex]\frac{\partial g_{\mu \nu}}{\partial x^\lambda} = \frac{\delta g_{\mu \nu}}{\delta x^\lambda}[/itex] and even if it does, just leaving my answer as [itex]g_{\mu \nu , \lambda}[/itex] isn't going to help.
You were saying I should be able to write it in terms of covariant derivatives somehow?
 
  • #12
latentcorpse said:
But we don't know what [itex]g_{\mu \nu}[/itex] is so how can we take its derivative?
I'm not sure if [itex]\frac{\partial g_{\mu \nu}}{\partial x^\lambda} = \frac{\delta g_{\mu \nu}}{\delta x^\lambda}[/itex] and even if it does, just leaving my answer as [itex]g_{\mu \nu , \lambda}[/itex] isn't going to help.

Yes it will.

You were saying I should be able to write it in terms of covariant derivatives somehow?


Actually you were the one that said that back in post #3.
 
  • #13
fzero said:
Yes it will.

Actually you were the one that said that back in post #3.

well plugging all this is i now get

[itex]\delta I = \int d \lambda \dot{\epsilon} \xi^\mu p_\mu + 2 e \epsilon p^\mu \partial_\mu \xi^\nu p_\nu - e p^\mu p^\nu g_{\mu \nu , \lambda} \delta x^\lambda[/itex]

[itex] = \int d \lambda \dot{\epsilon} \xi^\mu p_\mu + 2 e \epsilon p^\mu \partial_\mu \xi^\nu p_\nu - e \epsilon p^\mu p^\nu g_{\mu \nu , \lambda} \xi^\lambda[/itex]

Now in that second term, is the derivative acting only on the [itex]\xi^\nu[/itex] or is it acting on [itex]\xi^\nu p_\nu[/itex]? How can we tell? If it was just acting on [itex]\xi^\nu[/itex] then I would suggest we take the [itex]p_\nu[/itex] to the front of that term?

I can't see how to connect this to covariant derivatives? The derivative of the metric suggests I might be able to get a Christoffel symbol somehow but I can't see it...and there's also that factor of 2...
 
Last edited:
  • #14
latentcorpse said:
well plugging all this is i now get

[itex]\delta I = \int d \lambda \dot{\epsilon} \xi^\mu p_\mu + 2 e \epsilon p^\mu \partial_\mu \xi^\nu p_\nu - e p^\mu p^\nu g_{\mu \nu , \lambda} \delta x^\lambda[/itex]

[itex] = \int d \lambda \dot{\epsilon} \xi^\mu p_\mu + 2 e \epsilon p^\mu \partial_\mu \xi^\nu p_\nu - e \epsilon p^\mu p^\nu g_{\mu \nu , \lambda} \xi^\lambda[/itex]

Now in that second term, is the derivative acting only on the [itex]\xi^\nu[/itex] or is it acting on [itex]\xi^\nu p_\nu[/itex]? How can we tell? If it was just acting on [itex]\xi^\nu[/itex] then I would suggest we take the [itex]p_\nu[/itex] to the front of that term?

You should go over your calculation and put in parentheses wherever you have a derivative so that you don't get confused. You've had this type of problem before.

I can't see how to connect this to covariant derivatives? The derivative of the metric suggests I might be able to get a Christoffel symbol somehow but I can't see it...

There's a number of ways that you can introduce a covariant derivative. You could write

[tex]\partial_\mu \xi^\nu = g^{\nu \sigma} D_\mu \xi_\sigma + \cdots[/tex]

and try to simplify the resulting expressions.
 
  • #15
fzero said:
You should go over your calculation and put in parentheses wherever you have a derivative so that you don't get confused. You've had this type of problem before.



There's a number of ways that you can introduce a covariant derivative. You could write

[tex]\partial_\mu \xi^\nu = g^{\nu \sigma} D_\mu \xi_\sigma + \cdots[/tex]

and try to simplify the resulting expressions.

The problem kind of stemmed from the fact that i was given the definition

[itex]\delta p_\mu = - \epsilon \partial_\mu \xi^\nu p_\nu[/itex]
which wasn't clear about where the derivative acted on.

However, I think I'll assum it's just hitting the [itex]\xi^\nu[/itex] since otherwise he would probably have written [itex]\partial_\mu ( \xi^\nu p_\nu)[/itex]

So that sorts that out (hopefully!)

Anyway if we focus on the two terms that aren't "right" yet we get

[itex]2e \epsilon p^\mu p_\nu \partial_\mu \xi^\nu - e \epsilon p^\mu p^\nu g_{\mu \nu , \lambda} \xi^\lambda [/itex]

and we have [itex]\partial_\mu \xi^\sigma = g^{\nu \sigma} D_\mu \xi_\nu - \Gamma^\sigma{}_{\mu \nu} \xi^\nu[/itex]

which can be used to give

[itex]=2e \epsilon p^\mu p_\nu g^{\nu \sigma} D_\mu \xi_\sigma - 2 e \epsilon p^\mu p_\nu \Gamma^\nu{}_{\mu \sigma} \xi^\sigma - e \epsilon p^\mu p^\nu g_{\mu \nu , \lambda} \xi^\lambda[/itex]
[itex]=2e \epsilon p^\mu p_\nu g^{\nu \sigma} D_\mu \xi_\sigma - 2 e \epsilon p^\mu p^\lambda g_{\nu \lambda} \frac{1}{2} g^{\nu \kappa} ( g_{\mu \kappa , \sigma} + g_{\sigma \kappa , \mu} - g_{\mu \sigma , \kappa} ) \xi^\sigma - e \epsilon p^\mu p^\nu g_{\mu \nu , \lambda } \xi^\lambda[/itex]
[itex]=2e \epsilon p^\mu p_\nu g^{\nu \sigma} D_\mu \xi_\sigma - e \epsilon p^\mu p^\lambda \delta_\lambda{}^\kappa ( g_{\mu \kappa , \sigma} + g_{\sigma \kappa , \mu} - g_{\mu \sigma , \kappa} ) \xi^\sigma - e \epsilon p^\mu p^\nu g_{\mu \nu , \lambda } \xi^\lambda[/itex]
[itex]=2e \epsilon p^\mu p_\nu g^{\nu \sigma} D_\mu \xi_\sigma - e \epsilon p^\mu p^\kappa ( g_{\mu \kappa , \sigma} + g_{\sigma \kappa , \mu} - g_{\mu \sigma , \kappa} ) \xi^\sigma - e \epsilon p^\mu p^\kappa g_{\mu \kappa , \lambda } \xi^\lambda[/itex]
[itex]=2e \epsilon p^\mu p_\nu g^{\nu \sigma} D_\mu \xi_\sigma - e \epsilon p^\mu p^\kappa ( 2g_{\mu \kappa , \sigma} + g_{\sigma \kappa , \mu} - g_{\mu \sigma , \kappa} ) \xi^\sigma [/itex]

Then I'm stuck again!
 
  • #16
latentcorpse said:
Anyway if we focus on the two terms that aren't "right" yet we get

[itex]2e \epsilon p^\mu p_\nu \partial_\mu \xi^\nu - e \epsilon p^\mu p^\nu g_{\mu \nu , \lambda} \xi^\lambda [/itex]

The sign of the second term is wrong. I think you have to vary the metric in the [tex]\dot{x}^\mu p_\mu[/tex] term, which should contribute a similar term with a [tex]+2[/tex] factor. It's weird that you'd have to do this, but as I said before, it's also strange to vary both [tex]\dot{x}^\mu[/tex] and [tex]p_\mu[/tex] in an action.
 
  • #17
fzero said:
The sign of the second term is wrong. I think you have to vary the metric in the [tex]\dot{x}^\mu p_\mu[/tex] term, which should contribute a similar term with a [tex]+2[/tex] factor. It's weird that you'd have to do this, but as I said before, it's also strange to vary both [tex]\dot{x}^\mu[/tex] and [tex]p_\mu[/tex] in an action.

I don't see why there's a sign wrong?

[itex]D_\mu \xi^\nu = \partial_\mu \xi^\nu + \Gamma^\nu{}_{\mu \rho} \xi^\rho[/itex]
[itex]\Rightarrow \partial_\mu \xi^\nu=D_\mu \xi^\nu -\Gamma^\nu{}_{\mu \rho} \xi^\rho[/itex]
[itex]\Rightarrow \partial_\mu \xi^\nu=g^{\nu \lambda} D_\mu \xi_\lambda -\Gamma^\nu{}_{\mu \rho} \xi^\rho[/itex]

so i should be ok with a minus right?
 
  • #18
The sign doesn't come from that part of the calculation. As I said back in post 8, the variation rule for [tex]p_\mu[/tex] is strange when compared to [tex]\delta\dot{x}^\mu[/tex]. So I did the calculation from the equivalent action

[tex] I = \int d\lambda\left( \frac{1}{4e} (\dot{x})^2 - e m^2 \right) [/tex]

and found that

[tex]\delta I = \int d\lambda \frac{1}{4e} \left[ 2 \dot{\epsilon} \dot{x}^\mu \xi_\mu + \epsilon \dot{x}^\mu \dot{x}^\nu \left( g_{\mu\nu,\sigma} \xi^\sigma + 2 g_{\mu\sigma} {\xi^\sigma}_{,\nu} \right) \right].[/tex]

This disagrees with your result (which I confirmed modulo the other variation of the metric that I mentioned). It does however give the expected answer.
 

What is "Calculating Varying an Action: \delta I"?

"Calculating Varying an Action: \delta I" refers to a mathematical process used in physics to determine the change in a physical system's action when subjected to a small perturbation.

Why is "Calculating Varying an Action: \delta I" important?

Calculating \delta I allows scientists to understand how a physical system responds to small changes, which is crucial in predicting and explaining the behavior of complex systems.

How is "Calculating Varying an Action: \delta I" done?

The process involves taking the derivative of the action with respect to the perturbation, and then integrating over the entire system.

What are some applications of "Calculating Varying an Action: \delta I"?

This process is used in various fields of physics, such as quantum mechanics, classical mechanics, and field theory, to study the behavior of particles and systems under varying conditions.

Are there any limitations to "Calculating Varying an Action: \delta I"?

Yes, this process assumes that the perturbations are small and that the system is in a state of equilibrium. It may not accurately predict the behavior of highly nonlinear or chaotic systems.

Similar threads

  • Advanced Physics Homework Help
Replies
1
Views
973
  • Advanced Physics Homework Help
Replies
5
Views
2K
  • Advanced Physics Homework Help
Replies
2
Views
1K
  • Advanced Physics Homework Help
Replies
2
Views
1K
  • Advanced Physics Homework Help
Replies
1
Views
1K
  • Advanced Physics Homework Help
Replies
22
Views
3K
  • Advanced Physics Homework Help
Replies
0
Views
162
  • Advanced Physics Homework Help
Replies
11
Views
2K
  • Advanced Physics Homework Help
Replies
1
Views
1K
  • Advanced Physics Homework Help
Replies
3
Views
891
Back
Top