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;








1












$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.$$










share|cite|improve this question











$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


















1












$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.$$










share|cite|improve this question











$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














1












1








1





$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.$$










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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

















  • $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











1 Answer
1






active

oldest

votes


















2












$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.






share|cite|improve this answer









$endgroup$

















    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
    );



    );













    draft saved

    draft discarded


















    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









    2












    $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.






    share|cite|improve this answer









    $endgroup$



















      2












      $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.






      share|cite|improve this answer









      $endgroup$

















        2












        2








        2





        $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.






        share|cite|improve this answer









        $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.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 6 hours ago









        Chiral AnomalyChiral Anomaly

        18.4k3 gold badges26 silver badges58 bronze badges




        18.4k3 gold badges26 silver badges58 bronze badges






























            draft saved

            draft discarded
















































            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.




            draft saved


            draft discarded














            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





















































            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







            Popular posts from this blog

            Canceling a color specificationRandomly assigning color to Graphics3D objects?Default color for Filling in Mathematica 9Coloring specific elements of sets with a prime modified order in an array plotHow to pick a color differing significantly from the colors already in a given color list?Detection of the text colorColor numbers based on their valueCan color schemes for use with ColorData include opacity specification?My dynamic color schemes

            Invision Community Contents History See also References External links Navigation menuProprietaryinvisioncommunity.comIPS Community ForumsIPS Community Forumsthis blog entry"License Changes, IP.Board 3.4, and the Future""Interview -- Matt Mecham of Ibforums""CEO Invision Power Board, Matt Mecham Is a Liar, Thief!"IPB License Explanation 1.3, 1.3.1, 2.0, and 2.1ArchivedSecurity Fixes, Updates And Enhancements For IPB 1.3.1Archived"New Demo Accounts - Invision Power Services"the original"New Default Skin"the original"Invision Power Board 3.0.0 and Applications Released"the original"Archived copy"the original"Perpetual licenses being done away with""Release Notes - Invision Power Services""Introducing: IPS Community Suite 4!"Invision Community Release Notes

            François Viète Contents Biography Work and thought Bibliography See also Notes Further reading External links Navigation menup. 21Google Bookspp. 75–77Google BooksDe thou (from University of Saint Andrews)ArchivedGoogle BooksGoogle BooksGoogle BooksGoogle booksGoogle Bookscc-parthenay.frL'histoire universelle (fr)Universal History (en)ArchivedAdsabs.harvard.eduPagesperso-orange.frArchive.orgChikara Sasaki. Descartes' mathematical thought p.259Google BooksGoogle BooksGoogle Bookspp. 152 and onwardGoogle BooksGoogle BooksScribd.comGoogle Books1257-7979Google BooksGoogle BooksGoogle BooksGoogle BooksGoogle BooksGoogle BooksGallica.bnf.frGoogle BooksGoogle Books"François Viète"Francois Viète: Father of Modern Algebraic NotationThe Lawyer and the GamblerAbout TarporleySite de Jean-Paul GuichardL'algèbre nouvelle"About the Harmonicon"cb120511976(data)1188044800000 0001 0913 5903n82164680ola2013766880073431702w6vt1sb70287374827140948071409480