The equation of motion for a scalar field in curved spacetime in terms of the covariant derivativeScalar field lagrangian in curved spacetimeScalar field lagrangian in curved spacetimeMaxwell's equation in curved spacetime - how come? And experimental evidence?What are the equations of motion for the scalar field in the tetrad formalism?A question about covariant derivative on spinor field (Vierbein formalism)Scalar field in curved spacesEoM for scalar field in Brans-Dicke TheoryQuestion on energy conservation from the stress tensor of a classical scalar field
Bitcoin successfully deducted on sender wallet but did not reach receiver wallet
Multirow in tabularx?
Why is transplanting a specific intact brain impossible if it is generally possible?
Identification of vintage sloping window
How can you evade tax by getting employment income just in equity, then using this equity as collateral to take out loan?
What is my malfunctioning AI harvesting from humans?
How does "Te vas a cansar" mean "You're going to get tired"?
Is refreshing multiple times a test case for web applications?
Opposite for desideratum to mean "something not wished for"
How can I iterate this process?
Tikzpicture - finish drawing a curved line for a cake slice
How quickly could a country build a tall concrete wall around a city?
Why did the RAAF procure the F/A-18 despite being purpose-built for carriers?
Team goes to lunch frequently, I do intermittent fasting but still want to socialize
Generate Brainfuck for the numbers 1–255
Three legged NOT gate? What is this symbol?
What is the difference between 型 and 形?
Write an interpreter for *
Author changing name
Who are these characters/superheroes in the posters from Chris's room in Family Guy?
During the Space Shuttle Columbia Disaster of 2003, Why Did The Flight Director Say, "Lock the doors."?
Does this Foo machine halt?
Should you play baroque pieces a semitone lower?
Is Texas Instrument wrong with their pin number on TO-92 package?
The equation of motion for a scalar field in curved spacetime in terms of the covariant derivative
Scalar field lagrangian in curved spacetimeScalar field lagrangian in curved spacetimeMaxwell's equation in curved spacetime - how come? And experimental evidence?What are the equations of motion for the scalar field in the tetrad formalism?A question about covariant derivative on spinor field (Vierbein formalism)Scalar field in curved spacesEoM for scalar field in Brans-Dicke TheoryQuestion on energy conservation from the stress tensor of a classical scalar field
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty margin-bottom:0;
$begingroup$
The equation of motion for a scalar field in curved spacetime $$fracpartialmathcalLpartialphi=frac1sqrt-gpartial_muleft[sqrt-gfracpartialmathcalLpartialleft(partial_muphiright)right]tag1$$ can be written in terms of the covariant derivative as $$fracpartialmathcalLpartialphi=nabla_muleft[fracpartialmathcalLpartialleft(partial_muphiright)right].tag2$$
Here $mathcalL$ is a Lagrangian scalar function.
How is Eq.$(2)$ obtained from Eq.$(1)$? The action of a covariant on a vector field $A_mu$ is given by $$nabla_mu A_nu=partial_mu A_nu-Gamma_munu^rhoA_rho.$$
general-relativity lagrangian-formalism differential-geometry field-theory differentiation
$endgroup$
add a comment |
$begingroup$
The equation of motion for a scalar field in curved spacetime $$fracpartialmathcalLpartialphi=frac1sqrt-gpartial_muleft[sqrt-gfracpartialmathcalLpartialleft(partial_muphiright)right]tag1$$ can be written in terms of the covariant derivative as $$fracpartialmathcalLpartialphi=nabla_muleft[fracpartialmathcalLpartialleft(partial_muphiright)right].tag2$$
Here $mathcalL$ is a Lagrangian scalar function.
How is Eq.$(2)$ obtained from Eq.$(1)$? The action of a covariant on a vector field $A_mu$ is given by $$nabla_mu A_nu=partial_mu A_nu-Gamma_munu^rhoA_rho.$$
general-relativity lagrangian-formalism differential-geometry field-theory differentiation
$endgroup$
$begingroup$
source? where did you read that those two expressions are equivalent? have you done any research before posting this here? Thanks.
$endgroup$
– AccidentalFourierTransform
8 hours ago
$begingroup$
@AccidentalFourierTransform Source: Answer here: physics.stackexchange.com/q/74779 and yes, I tried to derive 2 from 1.
$endgroup$
– mithusengupta123
7 hours ago
add a comment |
$begingroup$
The equation of motion for a scalar field in curved spacetime $$fracpartialmathcalLpartialphi=frac1sqrt-gpartial_muleft[sqrt-gfracpartialmathcalLpartialleft(partial_muphiright)right]tag1$$ can be written in terms of the covariant derivative as $$fracpartialmathcalLpartialphi=nabla_muleft[fracpartialmathcalLpartialleft(partial_muphiright)right].tag2$$
Here $mathcalL$ is a Lagrangian scalar function.
How is Eq.$(2)$ obtained from Eq.$(1)$? The action of a covariant on a vector field $A_mu$ is given by $$nabla_mu A_nu=partial_mu A_nu-Gamma_munu^rhoA_rho.$$
general-relativity lagrangian-formalism differential-geometry field-theory differentiation
$endgroup$
The equation of motion for a scalar field in curved spacetime $$fracpartialmathcalLpartialphi=frac1sqrt-gpartial_muleft[sqrt-gfracpartialmathcalLpartialleft(partial_muphiright)right]tag1$$ can be written in terms of the covariant derivative as $$fracpartialmathcalLpartialphi=nabla_muleft[fracpartialmathcalLpartialleft(partial_muphiright)right].tag2$$
Here $mathcalL$ is a Lagrangian scalar function.
How is Eq.$(2)$ obtained from Eq.$(1)$? The action of a covariant on a vector field $A_mu$ is given by $$nabla_mu A_nu=partial_mu A_nu-Gamma_munu^rhoA_rho.$$
general-relativity lagrangian-formalism differential-geometry field-theory differentiation
general-relativity lagrangian-formalism differential-geometry field-theory differentiation
edited 5 hours ago
Qmechanic♦
112k13 gold badges216 silver badges1326 bronze badges
112k13 gold badges216 silver badges1326 bronze badges
asked 8 hours ago
mithusengupta123mithusengupta123
1,0551 gold badge18 silver badges42 bronze badges
1,0551 gold badge18 silver badges42 bronze badges
$begingroup$
source? where did you read that those two expressions are equivalent? have you done any research before posting this here? Thanks.
$endgroup$
– AccidentalFourierTransform
8 hours ago
$begingroup$
@AccidentalFourierTransform Source: Answer here: physics.stackexchange.com/q/74779 and yes, I tried to derive 2 from 1.
$endgroup$
– mithusengupta123
7 hours ago
add a comment |
$begingroup$
source? where did you read that those two expressions are equivalent? have you done any research before posting this here? Thanks.
$endgroup$
– AccidentalFourierTransform
8 hours ago
$begingroup$
@AccidentalFourierTransform Source: Answer here: physics.stackexchange.com/q/74779 and yes, I tried to derive 2 from 1.
$endgroup$
– mithusengupta123
7 hours ago
$begingroup$
source? where did you read that those two expressions are equivalent? have you done any research before posting this here? Thanks.
$endgroup$
– AccidentalFourierTransform
8 hours ago
$begingroup$
source? where did you read that those two expressions are equivalent? have you done any research before posting this here? Thanks.
$endgroup$
– AccidentalFourierTransform
8 hours ago
$begingroup$
@AccidentalFourierTransform Source: Answer here: physics.stackexchange.com/q/74779 and yes, I tried to derive 2 from 1.
$endgroup$
– mithusengupta123
7 hours ago
$begingroup$
@AccidentalFourierTransform Source: Answer here: physics.stackexchange.com/q/74779 and yes, I tried to derive 2 from 1.
$endgroup$
– mithusengupta123
7 hours ago
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I'll give hints instead of a complete solution, in case this ends up being categorized as homework.
I'll write $|g|$ instead of $-g$, because the former works for either sign convention (mostly-plus or mostly-minus). The quantity
$$
V^mu := fracpartial cal Lpartial(partial_muphi)
tag1
$$
is a vector (I mean, the components of a vector), so the question is how to derive
$$
frac1sqrtpartial_muleft(sqrt V^muright)
=nabla_mu V^mu
tag2
$$
for a vector $V$. Use the definition of $nabla_mu$ to see that (2) can also be written
$$
frac1sqrt V^mupartial_musqrt
= Gamma^alpha_alphamuV^mu.
tag3
$$
The left-hand side of (3) involves the quantity
$$
frac1sqrtpartial_musqrt
=
frac12partial_mulog|g|.
tag4
$$
We can think of $g$ as a square matrix, and $|g|$ is its determinant. The matrix is invertible, so $|g|$ is the product of its eigenvalues $lambda_n$. Rewrite the right-hand side of (4) in terms of $lambda_n$, and recall that if $A,B$ are diagonalizable square matrices, then the trace of their product is equal to the sum of the products of their eigenvalues. Use this write the right-hand side of (4) in terms of the matrices $g^-1$ and $partial_mu g$. Written in terms of indices, this becomes
$$
frac1sqrtpartial_musqrt
=frac12g^alphabetapartial_mu g_alphabeta.
tag5
$$
We can use this to rewrite the left-hand side of (3). Now write the $Gamma^alpha_alphamu$ on the right-hand side of (3) in terms of the metric and its derivatives to see that the identity (3) is indeed true.
Reference: Chapter 3 in Ward (1984), General Relativity, University of Chicago Press. Equation (3.4.10) in that book is equation (3) above.
$endgroup$
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "151"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: false,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: null,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fphysics.stackexchange.com%2fquestions%2f496251%2fthe-equation-of-motion-for-a-scalar-field-in-curved-spacetime-in-terms-of-the-co%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I'll give hints instead of a complete solution, in case this ends up being categorized as homework.
I'll write $|g|$ instead of $-g$, because the former works for either sign convention (mostly-plus or mostly-minus). The quantity
$$
V^mu := fracpartial cal Lpartial(partial_muphi)
tag1
$$
is a vector (I mean, the components of a vector), so the question is how to derive
$$
frac1sqrtpartial_muleft(sqrt V^muright)
=nabla_mu V^mu
tag2
$$
for a vector $V$. Use the definition of $nabla_mu$ to see that (2) can also be written
$$
frac1sqrt V^mupartial_musqrt
= Gamma^alpha_alphamuV^mu.
tag3
$$
The left-hand side of (3) involves the quantity
$$
frac1sqrtpartial_musqrt
=
frac12partial_mulog|g|.
tag4
$$
We can think of $g$ as a square matrix, and $|g|$ is its determinant. The matrix is invertible, so $|g|$ is the product of its eigenvalues $lambda_n$. Rewrite the right-hand side of (4) in terms of $lambda_n$, and recall that if $A,B$ are diagonalizable square matrices, then the trace of their product is equal to the sum of the products of their eigenvalues. Use this write the right-hand side of (4) in terms of the matrices $g^-1$ and $partial_mu g$. Written in terms of indices, this becomes
$$
frac1sqrtpartial_musqrt
=frac12g^alphabetapartial_mu g_alphabeta.
tag5
$$
We can use this to rewrite the left-hand side of (3). Now write the $Gamma^alpha_alphamu$ on the right-hand side of (3) in terms of the metric and its derivatives to see that the identity (3) is indeed true.
Reference: Chapter 3 in Ward (1984), General Relativity, University of Chicago Press. Equation (3.4.10) in that book is equation (3) above.
$endgroup$
add a comment |
$begingroup$
I'll give hints instead of a complete solution, in case this ends up being categorized as homework.
I'll write $|g|$ instead of $-g$, because the former works for either sign convention (mostly-plus or mostly-minus). The quantity
$$
V^mu := fracpartial cal Lpartial(partial_muphi)
tag1
$$
is a vector (I mean, the components of a vector), so the question is how to derive
$$
frac1sqrtpartial_muleft(sqrt V^muright)
=nabla_mu V^mu
tag2
$$
for a vector $V$. Use the definition of $nabla_mu$ to see that (2) can also be written
$$
frac1sqrt V^mupartial_musqrt
= Gamma^alpha_alphamuV^mu.
tag3
$$
The left-hand side of (3) involves the quantity
$$
frac1sqrtpartial_musqrt
=
frac12partial_mulog|g|.
tag4
$$
We can think of $g$ as a square matrix, and $|g|$ is its determinant. The matrix is invertible, so $|g|$ is the product of its eigenvalues $lambda_n$. Rewrite the right-hand side of (4) in terms of $lambda_n$, and recall that if $A,B$ are diagonalizable square matrices, then the trace of their product is equal to the sum of the products of their eigenvalues. Use this write the right-hand side of (4) in terms of the matrices $g^-1$ and $partial_mu g$. Written in terms of indices, this becomes
$$
frac1sqrtpartial_musqrt
=frac12g^alphabetapartial_mu g_alphabeta.
tag5
$$
We can use this to rewrite the left-hand side of (3). Now write the $Gamma^alpha_alphamu$ on the right-hand side of (3) in terms of the metric and its derivatives to see that the identity (3) is indeed true.
Reference: Chapter 3 in Ward (1984), General Relativity, University of Chicago Press. Equation (3.4.10) in that book is equation (3) above.
$endgroup$
add a comment |
$begingroup$
I'll give hints instead of a complete solution, in case this ends up being categorized as homework.
I'll write $|g|$ instead of $-g$, because the former works for either sign convention (mostly-plus or mostly-minus). The quantity
$$
V^mu := fracpartial cal Lpartial(partial_muphi)
tag1
$$
is a vector (I mean, the components of a vector), so the question is how to derive
$$
frac1sqrtpartial_muleft(sqrt V^muright)
=nabla_mu V^mu
tag2
$$
for a vector $V$. Use the definition of $nabla_mu$ to see that (2) can also be written
$$
frac1sqrt V^mupartial_musqrt
= Gamma^alpha_alphamuV^mu.
tag3
$$
The left-hand side of (3) involves the quantity
$$
frac1sqrtpartial_musqrt
=
frac12partial_mulog|g|.
tag4
$$
We can think of $g$ as a square matrix, and $|g|$ is its determinant. The matrix is invertible, so $|g|$ is the product of its eigenvalues $lambda_n$. Rewrite the right-hand side of (4) in terms of $lambda_n$, and recall that if $A,B$ are diagonalizable square matrices, then the trace of their product is equal to the sum of the products of their eigenvalues. Use this write the right-hand side of (4) in terms of the matrices $g^-1$ and $partial_mu g$. Written in terms of indices, this becomes
$$
frac1sqrtpartial_musqrt
=frac12g^alphabetapartial_mu g_alphabeta.
tag5
$$
We can use this to rewrite the left-hand side of (3). Now write the $Gamma^alpha_alphamu$ on the right-hand side of (3) in terms of the metric and its derivatives to see that the identity (3) is indeed true.
Reference: Chapter 3 in Ward (1984), General Relativity, University of Chicago Press. Equation (3.4.10) in that book is equation (3) above.
$endgroup$
I'll give hints instead of a complete solution, in case this ends up being categorized as homework.
I'll write $|g|$ instead of $-g$, because the former works for either sign convention (mostly-plus or mostly-minus). The quantity
$$
V^mu := fracpartial cal Lpartial(partial_muphi)
tag1
$$
is a vector (I mean, the components of a vector), so the question is how to derive
$$
frac1sqrtpartial_muleft(sqrt V^muright)
=nabla_mu V^mu
tag2
$$
for a vector $V$. Use the definition of $nabla_mu$ to see that (2) can also be written
$$
frac1sqrt V^mupartial_musqrt
= Gamma^alpha_alphamuV^mu.
tag3
$$
The left-hand side of (3) involves the quantity
$$
frac1sqrtpartial_musqrt
=
frac12partial_mulog|g|.
tag4
$$
We can think of $g$ as a square matrix, and $|g|$ is its determinant. The matrix is invertible, so $|g|$ is the product of its eigenvalues $lambda_n$. Rewrite the right-hand side of (4) in terms of $lambda_n$, and recall that if $A,B$ are diagonalizable square matrices, then the trace of their product is equal to the sum of the products of their eigenvalues. Use this write the right-hand side of (4) in terms of the matrices $g^-1$ and $partial_mu g$. Written in terms of indices, this becomes
$$
frac1sqrtpartial_musqrt
=frac12g^alphabetapartial_mu g_alphabeta.
tag5
$$
We can use this to rewrite the left-hand side of (3). Now write the $Gamma^alpha_alphamu$ on the right-hand side of (3) in terms of the metric and its derivatives to see that the identity (3) is indeed true.
Reference: Chapter 3 in Ward (1984), General Relativity, University of Chicago Press. Equation (3.4.10) in that book is equation (3) above.
answered 6 hours ago
Chiral AnomalyChiral Anomaly
18.4k3 gold badges26 silver badges58 bronze badges
18.4k3 gold badges26 silver badges58 bronze badges
add a comment |
add a comment |
Thanks for contributing an answer to Physics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fphysics.stackexchange.com%2fquestions%2f496251%2fthe-equation-of-motion-for-a-scalar-field-in-curved-spacetime-in-terms-of-the-co%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
source? where did you read that those two expressions are equivalent? have you done any research before posting this here? Thanks.
$endgroup$
– AccidentalFourierTransform
8 hours ago
$begingroup$
@AccidentalFourierTransform Source: Answer here: physics.stackexchange.com/q/74779 and yes, I tried to derive 2 from 1.
$endgroup$
– mithusengupta123
7 hours ago