Gradient of a tensor? Del operator on tensor?

[hanson]

hi all,
do you know what is the gradient of a tensor looks like?
I mean the del operator on a second order tensor, not the divergence of the tensor.
And actually I need them in polar coordinates..
I have been searching so hard in web, but I can't find anything useful.
Please help.

 

[VKint]

I think what you're looking for is the covariant derivative, which is often written using the del notation. The covariant derivative is an operator acting on tensors in the tangent spaces of a differentiable manifold, defined by means of a construction called a connection. Given an arbitrary connection, there's no relation between the covariant derivative and the familiar del operator on Euclidean space. However, if the connection is the Levi-Civita connection (see <http://en.wikipedia.org/wiki/Levi-Civita_connection>), then the covariant derivative can be viewed as a generalization of the flat-space del operator.

If you're working in flat space, finding a usable expression for the covariant derivative of a (0,2) tensor is simple, even in spherical coordinates. If T_ab is a (0,2) tensor, then D(T), its covariant derivative, has three indices, and we denote D(T) by T_ab;c. Regular partial differentiation is denoted by T_ab,c (i.e., the partial derivative of the ab-component of T wrt the variable numbered c). Then
T_ab;c = T_ab,c - C^k_acT_kb - C^k_bcT_ak ,
where C^a_bc is a Christoffel symbol and the Einstein summation convention is being used. (This looks much more complicated than it really is.) In spherical coordinates (I'm using p = phi, t = theta, and r = r), the nonvanishing Christoffel symbols are
C^r_pp = -r
C^r_tt = -r sin²(t)
C^p_tt = -sin(p) cos(p)
C^t_rt = 1/r
C^t_pt = cot(p)
If T happens to be totally antisymmetric (i.e., a differential form), then there are other nice notions of "differentiation" for T. The most important of these is the exterior derivative, denoted dT. (A nice formula for the exterior derivative is dT = Alt(D(T)), where D(T) is the covariant derivative.) The exterior derivative can be combined with the Hodge dual operator to yield more del-like operators; in particular, the natural generalization of the Laplacian on flat space is the Laplace-Beltrami operator is given by (bd + db), where d is the exterior derivative and b is the codifferential, defined by b = *d* (* is the Hodge operator). The Laplace-Beltrami operator occurs in the curved-space version of the wave equation for electromagnetic fields. You can learn more about these operators here: <http://en.wikipedia.org/wiki/Codifferential#The_codifferential> (or in any good book on general relativity or differential geometry).

 

[hanson]

I think what you're looking for is the covariant derivative, which is often written using the del notation. The covariant derivative is an operator acting on tensors in the tangent spaces of a differentiable manifold, defined by means of a construction called a connection. Given an arbitrary connection, there's no relation between the covariant derivative and the familiar del operator on Euclidean space. However, if the connection is the Levi-Civita connection (see <http://en.wikipedia.org/wiki/Levi-Civita_connection>), then the covariant derivative can be viewed as a generalization of the flat-space del operator.

If you're working in flat space, finding a usable expression for the covariant derivative of a (0,2) tensor is simple, even in spherical coordinates. If T_ab is a (0,2) tensor, then D(T), its covariant derivative, has three indices, and we denote D(T) by T_ab;c. Regular partial differentiation is denoted by T_ab,c (i.e., the partial derivative of the ab-component of T wrt the variable numbered c). Then
T_ab;c = T_ab,c - C^k_acT_kb - C^k_bcT_ak ,
where C^a_bc is a Christoffel symbol and the Einstein summation convention is being used. (This looks much more complicated than it really is.) In spherical coordinates (I'm using p = phi, t = theta, and r = r), the nonvanishing Christoffel symbols are
C^r_pp = -r
C^r_tt = -r sin²(t)
C^p_tt = -sin(p) cos(p)
C^t_rt = 1/r
C^t_pt = cot(p)
If T happens to be totally antisymmetric (i.e., a differential form), then there are other nice notions of "differentiation" for T. The most important of these is the exterior derivative, denoted dT. (A nice formula for the exterior derivative is dT = Alt(D(T)), where D(T) is the covariant derivative.) The exterior derivative can be combined with the Hodge dual operator to yield more del-like operators; in particular, the natural generalization of the Laplacian on flat space is the Laplace-Beltrami operator is given by (bd + db), where d is the exterior derivative and b is the codifferential, defined by b = *d* (* is the Hodge operator). The Laplace-Beltrami operator occurs in the curved-space version of the wave equation for electromagnetic fields. You can learn more about these operators here: <http://en.wikipedia.org/wiki/Codifferential#The_codifferential> (or in any good book on general relativity or differential geometry).

Hello, can I just use the normal product rules to differentiate the tensor? I mean treat the tensor as a "dyandic product" of the two basis vectors and differentiate those vectors?

And I am working in a 2D polar coordinates...
I am wondering if you have the formula?

I have derived it but I am not sure if it is correct...

 

[BobbyBear]

<br /> \nabla \equiv \mathbf{e^j} \frac{\partial }{\partial u^j}
Hence

<br /> \nabla \mathbf{T} = \mathbf{e^j} \frac{\partial \mathbf{T}}{\partial u^j}

If T is a second order tensor, then

\nabla \mathbf{T} = \mathbf{e^j} \frac{\partial \mathbf{T}}{\partial u^j}=\mathbf{e^j} \frac{\partial ( T^m ,_n \mathbf{e_me^n} ) }{\partial u^j}

In Polar coordinates, being an orthogonal reference system, the covariant and contravariant bases coincide, and you don't have to worry about sub- or superindices, so you can just write:

\nabla \mathbf{T} = \mathbf{e_j} \frac{\partial \mathbf{T}}{\partial u_j}=\mathbf{e_j} \frac{\partial ( T_m _n \mathbf{e_me_n} ) }{\partial u_j}

By all means use the product rule to differentiate the term in brackets, just remember that for Polar coordinates, the basis vectors are themselves functions of the coordinates and so must be differentiated.

Also note that the result is a third order tensor.

Lol can you tell me what this is for, I'm curious . . . I've only ever had to consider gradients of scalars or vectors before:P

Hope this helps.

O: I don't even know what a manifold is :S I wish I could follow VKint's post, who seems to know so much more . . .

 

[BobbyBear]

NB I forgot to say, some authors define

<br /> \nabla <br />

as
<br /> <br /> \nabla \equiv \frac{\partial ( . ) }{\partial u^j}\mathbf{e^j}<br />

in which case you'd have

<br /> \nabla \mathbf{T} = \frac{\partial \mathbf{T}}{\partial u^j} \mathbf{e^j} <br />

which is not the same unless the tensor is symmetric.

Note that

<br /> \nabla <br />

is a symbolic notation, as is vector notation in general (vector product, etc), a sort of shorthand notation. Writing things out in indicial notation leaves no room for ambiguity :)

 

[mrentropy]

Knowing the gradient of a tensor in cylindrical or spherical coordinates is extremely useful. Are you still in need of the answer? I have had to work it in both systems, both using physical components and using covariant/contravariant index notation. I can search my notes to find it if anybody wants it.