Using 4-derivative

Click For Summary
SUMMARY

The discussion centers on the mathematical definition and application of the four-derivative operator ##\partial^\mu## in the context of tensor calculus. The operator is defined as ##\partial^\mu = \eta^{\mu\nu}\partial_\nu##, where ##\eta## represents the Minkowski metric. The user successfully demonstrates that applying ##\partial^\mu## to the covariant vector ##x_\nu## results in the identity operator, confirming that ##\partial^\mu x_\nu = \delta_\nu^\mu##. The discussion highlights the importance of understanding index manipulation and the role of the metric in tensor operations.

PREREQUISITES
  • Understanding of tensor calculus and index notation
  • Familiarity with the Minkowski metric ##\eta^{\mu\nu}##
  • Knowledge of partial derivatives in a multi-dimensional context
  • Basic linear algebra concepts, including matrix multiplication
NEXT STEPS
  • Study the properties of the Minkowski metric and its applications in physics
  • Learn about covariant and contravariant vectors in tensor analysis
  • Explore the implications of the identity operator in tensor calculus
  • Investigate the role of derivatives in general relativity and field theory
USEFUL FOR

Mathematicians, physicists, and students of theoretical physics who are working with tensor calculus, particularly in the context of relativity and field theories.

deuteron
Messages
64
Reaction score
14
Hi! I am trying to understand the object ##\partial^\mu##, and wanted to check if the result I am getting below is true.

The definition of ##\partial_\mu## is:

$$\partial_\mu = ( \frac \partial {\partial x^0} , \frac \partial {\partial x^1}, \frac \partial {\partial x^2},\frac \partial {\partial x^3})$$

We define ##\partial^\mu## as:

$$\partial^\mu = \eta^{\mu\nu}\partial_\nu = (\frac \partial {\partial x^0} , -\frac\partial {\partial x^1} , -\frac \partial {\partial x^2}, -\frac \partial {\partial x^3})$$

In this case, if we were to apply ##\partial^\mu## to ##x_\nu##, we would get:

$$\partial^\mu x_\nu = (\eta^{\mu\rho}\partial_\rho)x_\nu=\eta^{\mu\rho} \partial_\rho (\eta_{\nu\sigma} x^\sigma)$$

Since ##\eta##'s are just number, I rearrange the equation to be:

$$=\eta^{\mu\rho} \eta_{\nu\sigma} \partial_\rho x^\sigma$$

Here, my knowledge of indices and contraction ends and I try to think of the objects like matrices, in which case I write:

$$= \begin{bmatrix} 1&0&0&0\\ 0&-1&0&0\\0&0&-1&0\\0&0&0&-1\end{bmatrix}\begin{bmatrix} 1&0&0&0\\ 0&-1&0&0\\0&0&-1&0\\0&0&0&-1\end{bmatrix} \begin{bmatrix} \frac {\partial x^0}{\partial x^0} & \frac {\partial x^1}{\partial x^0} & \frac {\partial x^2}{\partial x^0} & \frac {\partial x^3}{\partial x^0} \\ \frac {\partial x^0}{\partial x^1} & \frac {\partial x^1}{\partial x^1} & \frac {\partial x^2}{\partial x^1} & \frac {\partial x^3}{\partial x^1}\\ \frac {\partial x^0}{\partial x^2} & \frac {\partial x^1}{\partial x^2} & \frac {\partial x^2}{\partial x^2} & \frac {\partial x^3}{\partial x^2} \\ \frac {\partial x^0}{\partial x^3} & \frac {\partial x^1}{\partial x^3} & \frac {\partial x^2}{\partial x^3} & \frac {\partial x^3}{\partial x^3}\end{bmatrix} $$

Here, one can observe the last matrix reduces to the identity matrix, and the multiplication of two ##\eta##'s also reduces to the identity matrix, thus I get:

$$=\mathbb I$$

Are these steps correct?
 
Physics news on Phys.org
It seems OK.
\partial^\mu x_\nu = \delta_\nu^\mu
 
  • Like
Likes   Reactions: deuteron
It looks ok. I would only comment that both ##\partial^\mu## and ##x_\mu## are somewhat artificial objects compared to the more natural ##\partial_\mu## and ##x^\mu##.

I much prefer actually writing out the metric.
 
  • Like
Likes   Reactions: SiennaTheGr8, deuteron and dextercioby

Similar threads

  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 3 ·
Replies
3
Views
482
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
953
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 53 ·
2
Replies
53
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
731
  • · Replies 2 ·
Replies
2
Views
2K