Use this tag for questions about specific tensors (curvature tensor, stress tensor), or questions regarding tensor computations as they appear in multivariable calculus and differential/Riemannian geometry (specifically, when it is amenable to be treated as objects with multiple indices that ...

learn more… | top users | synonyms

7
votes
0answers
60 views

Determinant of a tensor

Is there such a thing as the determinant of a tensor of rank $\gt 2$? I'm tried to think how it might be defined -- potentially like, the determinant of the tensor $A=a_{ijk}$ is ...
6
votes
0answers
130 views

Physical components of a third-order tensor

Aris' book Vectors, Tensors, and the Basic Equations of Fluid Mechanics describes how to convert between covariant, contravariant, and physical components of vectors and tensors. For example, in ...
6
votes
0answers
114 views

What is the difference between tensor calculus and exterior derivative type concepts?

I am trying to clarify terms in order to help me figure out what I'd like to study. I understand that $p$-forms and $p$-vectors are used with things like wedge products, exterior algebras, and a ...
6
votes
0answers
159 views

Mnemonic device for relationships between Hom and Tensor

Probably this is a stupid question, but nevertheless... Let $A$, $B$, $C$ and $D$ be rings, and $M$, $N$ and $K$ be appropriate bimodules between them. There are extremely well-known canonical ...
5
votes
0answers
74 views

Decomposition of order-$n$ tensors

If $V$ is a finite-dimensional vector space, then $V\otimes V\cong\mathbf{S}^2(V)\oplus\bigwedge^2(V)$. The first summand on the right is the symmetric part of $V\otimes V$ and the second summand is ...
5
votes
0answers
87 views

Elastic wave equation in curvilinear coordinates: how do you perform a coordinate change?

The essence of this question is that I don't know how to convert an equation from Cartesian coordinates into curvilinear coordinates, and would like to know how, preferably using the language of ...
5
votes
0answers
179 views

Number of isotropic tensors of rank N

Could someone please help me out with this problem? I would like to know what the number of distinct isotropic tensors of rank N is. I am new to the field and got confused by apparently contradictory ...
5
votes
0answers
177 views

What are spinor fields?

For example, a tensor field $T=T_{a,b}^{\ \ \ \ c}$ on a manifold $M$ should be thought as $$ T_{a,b}^{\ \ \ \ c}dx^{a}\otimes dx^{b}\otimes \frac{\partial}{\partial x^{c}} $$ with local coordinate ...
4
votes
0answers
72 views

Is there a method of knowing which of the Christoffel symbols of second kind survive and vanish for a given metric?

I'm trying to solve a problem and the given $g_{ij}$ metric is $$\left[\begin{array}{cc}1&0&0\\0&(x^1)^2&0\\0&0&(x^1 \sin x^2)^2\end{array}\right]$$ The non-zero Christoffel ...
4
votes
0answers
56 views

The metric and Kronecker's delta

I am reading some lecture notes for GR and it is currently showing how we are going to derive the field equations using a metric for a massive free particle with a metric ...
4
votes
0answers
169 views

What is tensor, really?

How can one understands the definition of tensor from the purely formal point of view? To what abstract structure this concept can be generalized?
4
votes
0answers
374 views

Tensors as mutlilinear maps

I am aware that many books on differential geometry define tensors as multilinear maps. Namely $$ V\otimes W := L_2(V^*\times W^*,\Bbb F) $$ I am also aware that this space is isomorphic to the tensor ...
4
votes
0answers
160 views

Use of graph theory to determine tensor contraction ordering

I am considering using a computer program to execute tensor contractions like the following: $\displaystyle \sum_{ij}^{o} \sum_{ab}^{v} \sum_{KL}^{X} B_{ia}^{K} B_{ia}^{L} B_{jb}^{K} B_{jb}^{L} $ ...
4
votes
0answers
38 views

Is $H^{\alpha}_{ij,k}=H^{\alpha}_{ik,j}$ for submanifolds in $R^n$?

Consider $\Sigma^n\subset {\bf R}^{n+p}$ a submanifold and $\{e_i, e_\alpha\}$ an orthonormal frame where the Greek indexes stand for the normal vectors. Then define $H^{\alpha}_{ij,k}=e_k\langle ...
4
votes
0answers
238 views

Better Tensor Notation

I am in a General Relativity class, and I am finding the usual tensor notation very difficult to think about -- it seems like there are too many names to express something simple. E.g., I think of ...
3
votes
0answers
73 views

Computing volume element in spherical coordinates

Suppose $y = (r, \theta^1, \theta^2)$ are spherical coordinates in $(\mathbb{R}^3,g)$. What is the $d\text{vol}$ in these coordinates? I solved it but I don't know if it's right. My solution: We ...
3
votes
0answers
94 views

Is the identification between symmetric tensors and homogeneous polynomials useful?

The general question: Given an $n$-dimensional vector space $V$ over a field $k$, there exists an identification $$\mathrm{Sym}^d(V) \sim k[x_1, \dots, x_n]_d$$ between the space of symmetric order ...
3
votes
0answers
107 views

Intuition about the Riemann and Ricci tensors

I have started an attempt to self-study Riemannian Geometry. I well understand all the algebraic properties of the Riemann tensor (With a symmetric connection), and how it gradually becomes less and ...
3
votes
0answers
73 views

dot product between vector and matrix

In my book on fluid mechanics there is an expression $$ \boldsymbol{\nabla}\cdot \boldsymbol{\tau}_{ij} $$ where $\boldsymbol{\tau}_{ij}$ is a rank-2 tensor (=matrix). Given that ...
3
votes
0answers
154 views

Multilinear or Tensor Regression?

Given input data $x_t\in \mathbb{R}^n$ and output data $y_t\in\mathbb{R}^m$, the closed form solution to $\min_A \sum_t \|y_t - Ax_t\|^2_2$ is given by $A = (XX^T)^{-1}XY^T$ where $x_t$ form the ...
3
votes
0answers
47 views

Equivalent definitions of tensors on finite dimensional spaces.

I have recently been studying various texts on differential geometry, and I am quite puzzled that various authors define the notion of a tensor quite differently. I have come across the following ...
3
votes
0answers
276 views

Gradient and Einstein summation

Suppose I have a vector in the covariant basis $\bar e_i$ and a metric $g$ and I want to obtain a unit vector $\bar u_i$ parallel to $\bar e_i$. I would write: $$\bar e_i = \hat u_i ||\bar e_i|| = ...
2
votes
0answers
15 views

An extension of change of variables in double (and $n$-?) integrals - second-order Jacobian?

I'm aware that there are many, many questions regarding changing variables in double and triple integrals. The equation that typically pops up in textbooks is \begin{align} ...
2
votes
0answers
32 views

Difference of two connections is a tensor

I am currently reading through Jost's Riemannian Geometry and Geometric Analysis and am seeking clarification of the statement in the title. Jost abstractly defines a connection on a vector bundle ...
2
votes
0answers
23 views

Tensor notation in vectors

I have the following expression $\partial_{x_a}(\partial_{x_b} \rho \partial_{x_b}\rho) - \partial_{x_b}(\partial_{x_a}\rho\partial_{x_b}\rho)$ How do I write this in vector notation? At least the ...
2
votes
0answers
39 views

Natural Isomorphism between $V^*\otimes W^*$ and $\mathcal L^2(V,W; F)$.

I am trying to prove the following. Let $V_1, \ldots, V_k$ be finite dimensional vector spaces over a field $F$. There is a natural isomorphism between $V_1^*\otimes\cdots\otimes V_k^*$ and ...
2
votes
0answers
114 views

Geometric meaning of $\nabla_{[i}(x^i \nabla_{j]}x^j)$ and $(\nabla_{[i}x^i )\nabla_{j]}x^j$

While teaching myself tensor calculus I have come up with [this] http://mathematica.stackexchange.com/a/71613/12306 {The proof of the 2-D hairy ball theorem). When trying to generalize this proof ...
2
votes
0answers
77 views

Tensor Calculus Second Order Derivatives

I'm learning tensor calculus by myself through lectures and texts, and I'm presented with the problem of finding the first and second order derivatives of a scalar function of three variables that ...
2
votes
0answers
31 views

Objects corresponding to Higher forms

If $Q$ is a quadratic form, then we know there exists matrix $A$ such that $Q=xAx'$ and $Q$ can be expressed as weighted sum of eigenvalues of $A$. If $H$ is a higher order form, then is there an ...
2
votes
0answers
43 views

Bivector into orthogonal components

Suppose I have a metric $g$ and a bivector $ F $ on a four-dimensional vector space. It seems I can always decompose $ F $ into four mutually orthogonal vectors $a,b,c,d$ $$ F = a\wedge b + c\wedge d ...
2
votes
0answers
77 views

Calculating Hydrodynamic Interaction Tensor

I'm a bit of a newbie when it comes to Tensor calculus. Please excuse me as I learn... Given the Oseen tensor, $\mathbf{T}(\mathbf{R}) = (8\pi \eta R)^{-1} \left[ \mathbf{I} + ...
2
votes
0answers
34 views

Objectivity or frame invariant

I am not sure it is maths or physics question. A stress tensor of a nematic liquid crystal is given as follows $$ T_{ij}=-P\delta_{ij}-n_{k,i}n_{k,j}+\widetilde{T_{ij}} $$ where ...
2
votes
0answers
68 views

Unnecessary Elements in the Tensor Product?

For vector spaces $U, V$ there exits a unique (up to isomorphism) vector space, denoted by $U \otimes V$, and a bilinear map $\eta : U \times V \to U \otimes V$ such that for every bilinear map $\xi : ...
2
votes
0answers
132 views

Tensor derivatives of a second order tensor function with respect to itself

In a continuum mechanical context, let $\mathbf{A}$ be a second order tensor function. We consider our operations in an orthonormal context $$\mathbf{A} = A_{ij}\, ...
2
votes
0answers
32 views

Index notation interpretation

I'm having some confusion with index notation and how it works with contravariance/covariance. $(v_{new})^i=\frac{\partial (x_{new})^i}{\partial (x_{old})^j}(v_{old})^j$ $(v_{new})^i=J^i_{\ ...
2
votes
0answers
40 views

Hessian matrix of $g\circ f$

Say, $f:\mathbb R^n\to\mathbb R^k$ and $g:\mathbb R^k\to\mathbb R$ are both $C^2$. I'd like to express the Hessian matrix of $g\circ f$ $$\left( \frac{\partial^2(g\circ f)}{\partial x_i \partial ...
2
votes
0answers
81 views

Covariant vectors and Dual spaces

There are contravariant vectors and their duals called covariant vectors. But the duals are defined only once the contravectors are set up because they are the maps from the space of contravariant ...
2
votes
0answers
126 views

Prove the Curvature Tensor is a Tensor

For an affine connection $\nabla$, prove the curvature R $R(X,Y,Z,\alpha)=\alpha(\nabla_X \nabla_Y Z - \nabla_Y \nabla_X Z -\nabla_{[X,Y]}Z)$ with $X,Y,Z$ vector fields and $\alpha$ a co-vector, is ...
2
votes
0answers
107 views

Stress Tensor and the ubiquitous cube: a misrepresentation?

So I'm just learning about Stress Tensors and have had an on going confusion and I'm wondering if the cube diagrams may to be blame. Usually when a stress tensor is introduced they show a cube and ...
2
votes
0answers
68 views

Factoring tensors by linear transformation

Let $T_n$ be tensors $\left( V^n \rightarrow \mathbb{R}\right)$ of order $n$. Now let $\sim$ be equivalence on $T_n$ that $A\sim B$ iff there is regular matrix $M$ that $A\circ M = B$. By $A\circ M$ ...
2
votes
0answers
80 views

Tensors: summing over indices

Would anybody mind teaching me how to work these indices? Definitions: Throughout the following, repeated indices are to be summed over. Hodge dual of a p-form $X$: $$(*X)_{a_1...a_{n-p}}\equiv ...
2
votes
0answers
198 views

Constant tensors and covariant derivatives

I seem to have trouble with an elementary computation, and figure it may help others if faced with a similar situation. The basic question is as follows: if I have a tensor field $T$ on some ...
2
votes
0answers
90 views

Relationship between Tensors of Different Rank

Simple question. Can one write every second rank tensor $T^{ab}$ as some finite sum $\sum U^aV^b$ with $U^a$, $V^b$ tensors? Apologies if this is an incredibly standard result - I don't own a textbook ...
2
votes
0answers
188 views

Extending Tensor Fields defined on Manifolds to Ambient Space

I am currently reading about tensor fields on manifolds, and I came across two comments that sound contradictory to me. The first comment is made in the book by James Munkres "Analysis on Manifolds", ...
1
vote
0answers
13 views

Normalize tensors ($3$-by-$3$ matrix) so that the largest eigenvalue is 1?

I am trying to "normalize" a tensor $T$ (a $3$-by-$3$ matrix). The paper says ... the normalization of a tensor scales all eigenvalues so that the largest one equals to $1$. I am confused. ...
1
vote
0answers
31 views

Why the following is not a tensor?

Say we have an arbitrary coordinate system, in which a position vector is represented by: $$\vec V=Z^i\vec Z_i$$ Where $\vec Z_i$ is a covariant basis. Now $\partial {\vec Z_i}/\partial Z^j$ term has ...
1
vote
0answers
28 views

Showing two tensors are equal

Let $T_{ijkl}$ be a 3-d tensor satisfying $T_{ijkl}=-T_{jikl}=-T_{ijlk}$, and $T_{ijij}=0$. Let $S_{pq}=-T_{rprq}$. I'm trying to show that $$T_{ijkl}=\varepsilon_{ijp}\varepsilon_{klq}S_{pq}$$ Now, ...
1
vote
0answers
16 views

Why is the border rank and rank different for order 3 tensors and above?

Recall the definition of border-rank of a tensor T: border-rank(T) = the minimum r such that $\forall \epsilon > 0$ there exists an approximate tensor $T' = \sum^r_{i=1} u_i \otimes v_i \otimes ...
1
vote
0answers
35 views

What is this notation $\odot$ for?

(Note that symmetric algebra and symmetric tensor do not coincide when the characteristic is not $0$.) I'm reading this aricle:http://en.m.wikipedia.org/wiki/Symmetric_tensor And here it defines ...
1
vote
0answers
40 views

Connections and Ricci identity

Given $\nabla$ a torsionless connection, the Ricci identity for co-vectors is $$\nabla_a \nabla_b \lambda_c - \nabla_b \nabla_a \lambda_c = -R^d_{\,\,cab}\lambda_d.$$ Prove $R^a_{[bcd]} = 0$ by ...