3
$\begingroup$

I am wondering if there is a more straightforward way to understand $\frac{\partial\mathcal L}{\partial(\partial_\mu \phi)} = \partial^\mu \phi$ for a real scalar field $\mathcal{L} = \frac{1}{2} (\partial^\mu\phi)(\partial_\mu\phi) - V(\phi) $.

Here's what I did by expanding the indices:

\begin{align} \frac{\partial \mathcal{L}}{\partial (\partial_\mu\phi)} &= \frac{\partial}{\partial (\partial_\mu\phi)} \left[ \frac{1}{2} (\partial^\nu\phi)(\partial_\nu\phi) \right] \\ &= \frac{1}{2} \left[ \frac{\partial (\partial^\nu\phi)}{\partial (\partial_\mu\phi)} (\partial_\nu\phi) + (\partial^\nu\phi) \frac{\partial (\partial_\nu\phi)}{\partial (\partial_\mu\phi)} \right]\\ &= \frac{1}{2} \left[ \delta^\nu_\mu (\partial_\nu\phi) + (\partial^\nu\phi) \delta^\nu_\mu \right] \\ &= \partial^\mu \phi. \end{align}

Does this seem correct? Is there a more straightforward way to see why there is a raise in index from $\partial_\mu$ to $\partial^\mu$ when we take the derivative?

$\endgroup$
11
  • 2
    $\begingroup$ You are mostly right with the following corrections: $\frac{\partial(\partial^\nu \phi)}{\partial(\partial_\mu \phi)} = \eta^{\mu\nu}$ and $\frac{\partial(\partial_\nu \phi)}{\partial(\partial_\mu \phi)} = \delta^\mu_\nu$ $\endgroup$
    – Prahar
    Commented Oct 8, 2023 at 15:47
  • 1
    $\begingroup$ It's just a generalization of $\frac{\partial}{\partial\dot{q}}(\frac12\dot{q}^2-V(q))=\dot{q}$. $\endgroup$
    – J.G.
    Commented Oct 8, 2023 at 16:12
  • $\begingroup$ @Electra - I'm incredibly confused about what you are saying. I am using the statement $\frac{ \partial ( \partial_\mu \phi ) }{ \partial ( \partial_\nu \phi ) } = \delta^\nu_\mu$. This is an honest derivative -- absolutely nothing is being treated as a fraction. Let me start by asking if you understand this statement. $\endgroup$
    – Prahar
    Commented May 5 at 14:06
  • 2
    $\begingroup$ Alternatively, we can do it this way, $\frac{ \partial ( \partial^\nu \phi ) }{ \partial (\partial_\mu \phi ) } = \frac{ \partial ( \eta^{\nu\alpha} \partial_\alpha \phi ) }{ \partial (\partial_\mu \phi ) } = \eta^{\nu\alpha} \ \frac{ \partial ( \partial_\alpha \phi ) }{ \partial (\partial_\mu \phi ) } = \eta^{\nu\alpha} \delta^\mu_\alpha = \eta^{\nu\mu} = \eta^{\mu\nu} $. $\endgroup$
    – Prahar
    Commented May 6 at 23:12
  • 1
    $\begingroup$ @SiriusBlack - I don't know why you are saying that. I START with the definition $\partial^\mu \phi \equiv \eta^{\mu\alpha} \partial_\alpha \phi$. Then I differentiate both sides w.r.t. $\partial_\nu \phi$. That is ALL I am doing, nothing more. We are NOT attempting to prove $\partial^\mu \phi = \eta^{\mu\alpha} \partial_\alpha \phi$. $\endgroup$
    – Prahar
    Commented May 7 at 10:34

1 Answer 1

1
$\begingroup$

I've always found things like $\frac{\partial\mathcal L}{\partial(\partial_\mu \phi)}$ to cause confusion are errors when calculating functional derivatives--- especially with up and down indices. It's much easier to always go back to the basic definition of the functional derivative $$ \delta S= \int d^dx \left(\frac{\delta S}{\delta \phi} \right)\delta \phi. $$ For your case $$ \delta S = \delta \int d^dx \frac 12 g^{\mu\nu}\partial_\mu \phi \partial_\nu \phi\\ = \int d^dx \frac 12 g^{\mu\nu}(\partial_\mu \delta \phi) \partial_\nu \phi+ \int d^dx \frac 12 g^{\mu\nu}\partial_\mu \phi (\partial_\nu \delta \phi)\\= -\int d^dx \frac 12 g^{\mu\nu}(\delta \phi) \partial^2_{\nu\mu} \phi- \int d^dx \frac 12 g^{\mu\nu}\partial^2_{\nu\mu} \phi (\delta \phi)\\= \int d^dx (- g^{\mu\nu}\partial^2_{\mu\nu}\phi) (\delta \phi)\\ = \int d^dx(-\partial^\mu\partial_\mu \phi) \delta \phi. $$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.