Four gradient operator, covariance/contravariance

You have been very patient with me and I really appreciate it.In summary, the conversation discusses a problem in relativistic electrodynamics concerning problem 12.55 in Griffiths introduction to electrodynamics. The problem involves showing that the four gradient functions as a covariant four-vector using a scalar function and the chain rule. The participants in the conversation provide hints and explanations to help the person solve the problem, discussing the concepts of covariant and contravariant vectors and their transformations under Lorentz transformations. The final solution involves using the chain rule and the metric to show that the four gradient of the scalar function transforms like a covariant four-vector, even though it appears contravariant when written explicitly.
  • #1
student111
16
0
I'm doing a selfstudy on relativistic electrodynamics and stumbled over a problem (which i find rather important) i can't solve. It's concerning problem 12.55 in Griffiths introduction to electrodynamics.
One needs show that the four gradient:
\frac{\partial}{\partial x ^\mu} functions as a covariant fourvector, using a scalar function (call it \phi) and the chain rule.

Any help would be much appreciated!
 
Physics news on Phys.org
  • #2
What have you tried so far? What are the differences between covariant and contravariant vectors?

~Lyuokdea
 
  • #3
Hint:
The differential of the scalar function is a four-vector, because the differentials are over time, x, y and z, but in contravariant notation. Try understanding how the covariant position compares to the contravariant position (it's pretty simple). Then use the chain-rule to rewrite the contravariant four-vector into a four-vector with a covariant form, to show it's contravariant.
 
Last edited:
  • #4
The connection is fairly obvious if you write the transformation matrix as

[tex]\frac{\partial \bar x^i}{\partial x^j}[/tex]

and its inverse as

[tex]\frac{\partial x^i}{\partial \bar x^j}[/tex]

These are just Jacobian matrices.
 
  • #5
Thanks for your replies. Now, here is what I've tried:

I consider the Lorentz transformation:

\bar{x}^{\mu} = \Lambda ^{\mu} _{\nu} x^{\nu}.
Differentiating i obtain:
\Lambda ^{\mu} _{\nu} = \frac{\partial \bar{x} ^{\mu}}{\partial x^{\nu}}.
Acting upon the transformation with the inverse transformation i obtain:
{\Lambda ^{\mu} _{\nu}}^{-1} \bar{x} ^{\mu} = x ^{\nu}.
Differentiating this i obtain:
{\Lambda ^{\mu} _{\nu} }^{-1} = \frac{\partial x^{\nu}}{\partial \bar{x}^{\mu}}.
The four-gradient of the scalar function \phi is:
\frac{\partial \phi}{\partial x^{\mu}}.

In a boosted frame this must be:
\frac {\partial \bar{\phi}}{ \partial \bar{x} ^{\mu}} = \frac{\partial \phi}{\partial \bar{x} ^{\mu}}
, since \phi is a scalar function.

Using the chain rule i obtain for the four-gradient in the boosted frame:
\frac{\partial \phi}{\partial \bar{x} ^{\mu}} = \frac{\partial \phi}{\partial x^{\nu}} \frac{\partial x ^{\nu}}{\partial \bar{x} ^{\mu}}.

And inserting the inverse transformation i get:
\frac{\partial \bar{\phi}}{\partial \bar{x}^{\mu}} = {\Lambda ^{\mu} _{\nu} }^{-1} \frac{\partial \phi}{\partial x ^{\nu}}.

This tells how the four-gradient of the scalar function transform under lorentz transformation. But I am not sure how this tells us that the four-gradient transforms like a covariant four vector. I guess I'm not confident with the whole covariant/contravariant concept.
As far as i know a contravariant four vector transforms the same way as:
x^ \mu = (ct, x, y, z)
And a covariant four vector transforms the same way as:
x_ \mu = (ct,-x,-y,-z)
(For the metric i use..).
 
  • #6
You're overdoing it. I suggest you look at Ben's reply, which gives you the chain term you get from applying the chain rule as a result of changing the variables (this terms will turn out to be the metric for co- to contravariant and back (since it is its own inverse)). Also, the question only asks whether taking the contravariant gradient of a scalar function results in a contravariant 4-vector. It doesn't ask you anything about transforming from one inertia system to another.
 
  • #7
It seems your course is covering this only in the context of Lorentz transformations, rather than the wider context of general coordinate transformations, which is unfortunate. The wider context is applicable in many areas, including ordinary Euclidean 3-space (when changing between spherical & Cartesian systems, for example).

A general coordinate transformation of a vector (or vector field) can always be represented by a Jacobian matrix. Lorentz transformations are a special case.

"Covariance" and "contravariance" are meant to hold in the case of general coordinate transformations; not just Lorentz transformations.
 
  • #8
"Also, the question only asks whether taking the contravariant gradient of a scalar function results in a contravariant 4-vector. It doesn't ask you anything about transforming from one inertia system to another."

Hmm.. I think I'm getting confused. The contravariant gradient is:
\frac{\partial \phi}{\partial x ^{\mu}} = ( \frac{ \partial \phi}{ c\partial t } ; \frac{ \partial \phi}{ \partial x }; \frac{ \partial \phi}{ \partial y }; \frac{ \partial \phi}{ \partial z }).
This does not look like the covariant form: x_{\mu} = (ct, -x, -y, -z).
So it must be a matter of how it transforms.
As far as i know what matters is that the inner product of a contravariant and a covariant four vector is invariant under Lorentz transformations. It so happens that the inner product of \frac{\partial \phi}{\partial x^{\mu}} and a contravariant fourvector is a Lorentz invariant, which means that frac{\partial \phi}{\partial x^{\mu}} must transform like a covariant, although its explicit form looks rather contravariant.
Am i completely wrong?
 
  • #9
Oh i think i found my error. What Ben wrote must be transformation between covariants and contravariants? i thought it was Lorentz transformations. Well, if I'm right here is what i get. In my notation: x^{\mu} = contravariant x_{\mu} = covariant g_{\mu \nu} = metric.

Connection between covariant and contravariant:
x_{\nu} = g_{\nu \mu} x ^{\mu}

Differentiating:
g_{\nu \mu} = \frac{\partial x _{\nu}}{\partial x^{\mu}}

For the four gradient, using the chain rule i get:
\frac{\partial \phi}{\partial x^{\mu}} = \frac{\partial \phi}{\partial x_{\nu}} \frac{\partial x_{\nu}}{\partial x^{\mu}}

ie.

\frac{\partial \phi}{\partial x^{\mu}} = g_{\nu \mu} \frac{\partial \phi}{\partial x_{\nu}}.

From this i see that the connection between \frac{\partial \phi}{\partial x^{\mu}} and \frac{\partial \phi}{\partial x_{\nu}}, is the same as between x^{\mu} and x_{\mu}.
Therefore \frac{\partial \phi}{\partial x_{\nu}} must be a covariant fourvector, although it appers contravariant when written out explicitly. And \frac{\partial \phi}{\partial x_{\nu}} must be a contravariant fourvector.

Is this the right way to do it?
 
  • #10
Yep, that's the correct way.
 
  • #11
Ok. Thanks a lot for your help and inspiration.
 

1. What is a four gradient operator?

A four gradient operator is a mathematical operator that represents the change in a function in four-dimensional space. It is often used in vector calculus to calculate the directional derivative of a scalar field or the gradient of a vector field.

2. How is covariance/contravariance related to four gradient operator?

Covariance and contravariance are mathematical concepts that describe how a vector's components change when the coordinate system is transformed. In the context of four gradient operator, covariance/contravariance refers to the transformation of the operator's components when the coordinate system is changed.

3. What is the difference between covariance and contravariance?

Covariance and contravariance are two different ways of transforming the components of a vector when changing the coordinate system. In covariance, the components of the vector change in the same way as the coordinate system, while in contravariance, the components change in the opposite way.

4. How is four gradient operator used in physics?

In physics, four gradient operator is used to calculate the rate of change of a physical quantity, such as temperature or electric field, in four-dimensional space. This allows for the analysis of complex systems and phenomena, such as fluid flow or electromagnetic fields.

5. What are the applications of four gradient operator?

Four gradient operator has many applications in mathematics, physics, and engineering. It is used in vector calculus, differential geometry, and tensor analysis to solve problems involving four-dimensional space. It is also used in fields such as fluid mechanics, electromagnetism, and general relativity to analyze and model complex systems.

Similar threads

  • High Energy, Nuclear, Particle Physics
Replies
3
Views
831
Replies
14
Views
1K
  • Calculus
Replies
1
Views
3K
  • Quantum Physics
Replies
5
Views
2K
  • Advanced Physics Homework Help
Replies
2
Views
2K
  • Differential Geometry
Replies
7
Views
3K
  • Special and General Relativity
Replies
2
Views
1K
  • High Energy, Nuclear, Particle Physics
Replies
3
Views
1K
  • Calculus
Replies
3
Views
2K
  • STEM Academic Advising
Replies
2
Views
957
Back
Top