Help with variation of the 3-dimensional ##\sigma##-model action

Click For Summary
SUMMARY

The forum discussion focuses on deriving the equations of motion from the 3-dimensional sigma model action defined as $$S=\int\mathrm{d}^3x\sqrt{h}\left[R^{(3)}-\frac{1}{4}\mathrm{Tr}\left(\chi^{-1}\chi_{,i}\chi^{-1}\chi^{,i}\right)\right]$$. The equations of motion are established as $$\left(\chi^{-1}\chi^{,i}\right)_{;i}=0$$ and $$R_{ij}=\frac{1}{4}\mathrm{Tr}\left(\chi^{-1}\chi_{,i}\chi^{-1}\chi_{,j}\right)$$. The discussion emphasizes the importance of specific identities for performing variations on the trace, particularly in the context of non-linear sigma models (NLSMs) and the manipulation of the trace operator.

PREREQUISITES
  • Understanding of 3-dimensional metric tensors and their determinants
  • Familiarity with Ricci scalars and their role in geometry
  • Knowledge of non-linear sigma models (NLSMs) and their actions
  • Proficiency in tensor calculus and variations
NEXT STEPS
  • Study the derivation of variations in tensor calculus, focusing on the trace operator
  • Learn about the implications of the equations of motion in non-linear sigma models
  • Explore the application of the identities related to trace variations in higher dimensions
  • Investigate the role of the Ricci scalar in different geometrical contexts
USEFUL FOR

The discussion is beneficial for theoretical physicists, mathematicians specializing in differential geometry, and researchers working on non-linear sigma models and their applications in quantum field theory.

user1139
Messages
71
Reaction score
8
Homework Statement
See below.
Relevant Equations
See below.
Consider the following action

$$S=\int\mathrm{d}^3x\sqrt{h}\left[R^{(3)}-\frac{1}{4}\mathrm{Tr}\left(\chi^{-1}\chi_{,i}\chi^{-1}\chi^{,i}\right)\right]$$

where ##h## is the determinant of the 3-dimensional metric tensor ##h_{ij}## and ##R## is the Ricci scalar.

I want to get the equations of motion

\begin{align*}
\left(\chi^{-1}\chi^{,i}\right)_{;i}&=0,\\
R_{ij}&=\frac{1}{4}\mathrm{Tr}\left(\chi^{-1}\chi_{,i}\chi^{-1}\chi_{,j}\right).
\end{align*}

However, how do I perform the variation on the trace?
 
Physics news on Phys.org
Thomas1 said:
Homework Statement:: See below.
Relevant Equations:: See below.

Consider the following action

$$S=\int\mathrm{d}^3x\sqrt{h}\left[R^{(3)}-\frac{1}{4}\mathrm{Tr}\left(\chi^{-1}\chi_{,i}\chi^{-1}\chi^{,i}\right)\right]$$

where ##h## is the determinant of the 3-dimensional metric tensor ##h_{ij}## and ##R## is the Ricci scalar.

I want to get the equations of motion

\begin{align*}
\left(\chi^{-1}\chi^{,i}\right)_{;i}&=0,\\
R_{ij}&=\frac{1}{4}\mathrm{Tr}\left(\chi^{-1}\chi_{,i}\chi^{-1}\chi_{,j}\right).
\end{align*}

However, how do I perform the variation on the trace?
If your concern is only about the variation of the trace, you better ignore the coupling to gravity. Also, the manipulations hold in any number of dimensions. The relevant identities are \delta \mbox{Tr}(\cdot) = \mbox{Tr}(\delta \cdot), \delta \partial = \partial \delta, \mbox{Tr}(AB) = \mbox{Tr}(BA), and the following important two \delta u^{-1} = - u^{-1} (\delta u) u^{-1}, \ \ \ \ (1)\partial u^{-1} = - u^{-1}(\partial u) u^{-1}. \ \ \ \ (2) To make your life easy, define the vector A^{\mu} = u^{-1} \partial^{\mu} u. So, the NLSM action becomes S = - \frac{1}{4} \int d^{n}x \ \mbox{Tr}(A^{\mu}A_{\mu}). Thus \delta S = - \frac{1}{2} \int d^{n}x \ \mbox{Tr}(A^{\mu} \ \delta A_{\mu}) . Now, use (1) to obtain \delta A_{\mu} = u^{-1} \ \partial_{\mu}\delta u - u^{-1} \ \delta u \ A_{\mu} . Substitute in \delta S, you get \delta S = \frac{1}{2} \int \ \mbox{Tr}\left( u^{-1}\delta u \ A_{\mu}A^{\mu} - A^{\mu} u^{-1} \ \partial_{\mu}\delta u \right). Integrate the 2nd term by part and ignore the surface term to obtain \delta S = \frac{1}{2} \int \ \mbox{Tr}\left( u^{-1}\delta u \ A^{\mu}A_{\mu} + \partial_{\mu}(A^{\mu}u^{-1}) \ \delta u \right). Finally, expand the differentiation in the second term and use (2) to get \delta S = \frac{1}{2} \int \ \mbox{Tr} \left( u^{-1}\delta u \ A^{\mu}A_{\mu} + \partial_{\mu}A^{\mu} \ u^{-1}\delta u - A^{\mu}A_{\mu} \ u^{-1}\delta u \right). The first and the third terms add up to zero (because \mbox{Tr}(ab)= \mbox{Tr} (ba)), and you end up with \delta S = \frac{1}{2} \int \ \mbox{Tr}\left( (\partial_{\mu}A^{\mu}) u^{-1} \ \delta u \right). This gives you the equation of motion \partial_{\mu}A^{\mu} \equiv \partial_{\mu} \left(u^{-1} \ \partial^{\mu}u \right) = 0.
 
  • Like
Likes   Reactions: ergospherical

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 12 ·
Replies
12
Views
966
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K