Modifying Euler-Lagrange equation to multivariable function

Click For Summary
SUMMARY

The discussion focuses on deriving the multidimensional generalization of the Euler-Lagrange equation for multivariable functions in field theory. The key equation presented is $$\frac{\delta S}{\delta \phi} = \frac{\partial \mathcal{L}}{\partial \phi} - \partial_{\mu} \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)}$$, which is derived through integration by parts and the application of the Einstein summation convention. The action is defined as $$S[\phi]=\int \mathrm{d}^4 x \mathcal{L}(\phi,\partial_{\mu} \phi)$$, emphasizing the importance of the Lagrangian density in four-dimensional spacetime. The discussion clarifies the use of multivariable calculus and boundary conditions in obtaining the Euler-Lagrange equations.

PREREQUISITES
  • Understanding of the Euler-Lagrange equation in classical mechanics
  • Familiarity with multivariable calculus and the chain rule
  • Knowledge of field theory concepts, particularly Lagrangian density
  • Proficiency in applying the Einstein summation convention
NEXT STEPS
  • Study the derivation of the Euler-Lagrange equation in classical mechanics
  • Learn about the implications of the Einstein summation convention in field theory
  • Explore the role of boundary conditions in variational principles
  • Investigate the applications of Lagrangian density in different dimensions
USEFUL FOR

Physicists, mathematicians, and students studying field theory, particularly those interested in the application of the Euler-Lagrange equation to multivariable functions and multidimensional spacetime.

offscene
Messages
7
Reaction score
2
Homework Statement
Not exactly homework but I was reading through the book "QFT for the gifted amateur by Lancaster and Blundell" and I was confused about how the line just above equation 1.33 is derived (Image attached below).
Relevant Equations
Euler Lagrange equation, the principle of least action.
Screen Shot 2023-06-06 at 5.15.42 PM.png


I'm confused on how to derive the multidimensional generalization for a multivariable function. Everything makes sense here except the line,

$$
\frac{\delta S}{\delta \psi} = \frac{\partial L}{\partial \psi} - \frac{d}{dx} \frac{\partial L}{\partial(\frac{\partial \psi}{\partial x})} - \frac{d}{dt} \frac{\partial L}{\partial(\frac{\partial \psi}{\partial t})}
$$ and I'm confused about which rule I can use to derive this form of the Euler-Lagrange equation.
 
Physics news on Phys.org
In field theory your Lagrangian is given by the spaticial integral of the Lagrange density ##\mathcal{L}(\phi,\partial_{\mu} \phi)## and thus the action as an integral over spacetime
$$S[\phi]=\int \mathrm{d}^4 x \mathcal{L}(\phi,\partial_{\mu} \phi).$$
In the above example oviously the author considers a field theory in (1+1)-dimensional spacetime, but that doesn't change much. So for clarity I assume here the full case of a (1+3)-dimensional spacetime.

Now note that the gradient of the field, ##\partial_{\mu} \phi=\frac{\partial \phi}{\partial x^{\mu}}## has four components. Now you take the variation of the action wrt. the field,
$$\delta S[\phi]=S[\phi+\delta \phi]-S[\phi]=\int \mathrm{d}^4 x \left [\delta \phi \frac{\partial \mathcal{L}}{\partial \phi} + \partial_{\mu} \delta \phi \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} \right ].$$
Note that here the Einstein summation convention has been used, i.e., in the second term in the bracket you sum over ##\mu## from ##0## to ##3##. That's because the Lagrange density depends on all four components of the field gradient, ##\partial_{\mu} \phi##, and it's just the chain rule of multivariable calculus used here. It's pretty much the same as in point-particle mechanics, only that in this case the independent variables ##q(t)## are functions only of ##t##.

To get the Euler-Lagrange equations you just have to do an integration by parts in this 2nd term, using the assumption that ##\delta \phi## vanishes at the boundaries of the integration domain. Then you get
$$\delta S=\int \mathrm{d}^4 x \delta \phi \left [\frac{\partial \mathcal{L}}{\partial \phi} - \partial_{\mu} \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} \right ],$$
i.e.,
$$\frac{\delta S}{\delta \phi} = \frac{\partial \mathcal{L}}{\partial \phi} - \partial_{\mu} \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)}.$$
If you write this out and restricting yourself to (1+1)D spacetime you get the result given in the book.
 
  • Like
Likes   Reactions: jbergman and offscene

Similar threads

  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
Replies
7
Views
3K
Replies
10
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 10 ·
Replies
10
Views
6K
  • · Replies 1 ·
Replies
1
Views
3K