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
93 views

Invariant tensors in adjoint representation

Suppose we have a simple Lie group $G$ with algebra $\mathfrak{g}=\{X_a\}$, where the generators $X_a$ are in some matrix representation. Is it true that the only invariant rank $n$ tensor in the ...
6
votes
0answers
152 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
68 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
139 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
173 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
38 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
350 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
155 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 ...
3
votes
0answers
60 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
86 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
91 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
69 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
159 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?
3
votes
0answers
134 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
46 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
239 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|| = ...
3
votes
0answers
229 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 ...
2
votes
0answers
28 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
52 views

Covariant derivative for a covector field

In the lecture we had the immersion $f: U \subset \mathbb{R}^2 \rightarrow \mathbb{R}^3$. Now we said that a map $\lambda : U \rightarrow T^*f$ is a covector field. Okay, that's fine. Also, we ...
2
votes
0answers
74 views

Showing a property of a curvature tensor in $S^2$

Consider $S^2 \subset \mathbb{R}^3$. I need to show that if $$R_{ijkl} = -g(R(\partial_i,\partial_j)\partial_k,\partial_l)$$ is a curvature tensor in $S^2$ and $g$ is a metric also in $S^2$, then ...
2
votes
0answers
30 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
25 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
49 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
29 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
33 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
76 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
111 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
103 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
63 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
181 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
86 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
178 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
17 views

Extrinsic curvature tensors

I risk of sounding too vague, but I am interested if there are other tensors reflecting the extrinsic geometry of a submanifold other than the second fundamental form? The first fundamental form ...
1
vote
0answers
33 views

Show that $f:V\to W$ is a $(1,1)$-tensor

I'm currently reading Nakahara's Geometry, topology and physics (about tensors), and came across with the following proposition (exercise 2.12, p.99): Show that a linear map $f:V \to W$ is a (1,1) ...
1
vote
0answers
46 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} + ...
1
vote
0answers
20 views

Tensor operator

I have come across the following expression: H:E where, H = e(levi-cita symbol)*a constant which means a 3rd order tensor with 27 components E = 2nd order tensor, now, what does H:E mean? I know ...
1
vote
0answers
56 views

double Hodge star operator

$*$ is the Hodge star operator acting on differential $k$-forms on $\mathbb{R}^{n}$ as below: $$*:Λ^k(\mathbb{R}^{n}) \to Λ^{n-k}(\mathbb{R}^{n})$$ $$\alpha \wedge (\star \beta) = \langle ...
1
vote
0answers
16 views

Questions about a special tensor transformation

Suppose tensor $U_{i\alpha\beta}$ with dimension $M*N*N$ satisfy following condition: $$U_{i\beta\alpha}=W^1_{\alpha\alpha'}W^2_{\beta\beta'}U_{i\alpha'\beta'}$$ where $W^1$ and $W^2$ are $N*N$ ...
1
vote
0answers
35 views

Curl of Deviatoric Stress Tensor In Index Notation

I'm taking the curl of the deviatoric stress tensor in index notation, and I've ran across something that I can't seem to be able to simplify. The issue is shown in the following portion of the curl ...
1
vote
0answers
41 views

Superscripts and subscripts in tensors - interpretation as a matrix operation?

Consider the equation $$u_k = t_i U_i^k$$ I am told that subscripts represent covectors (row vectors) and superscripts represent column vectors. My intuitive interpretation of the above equation as a ...
1
vote
0answers
49 views

Is Hodge star operation can be understood as contraction after tensor product of a $p$-form with the volume element?

By defintion, the Hodge star of a $p$-form $\omega_{a_1\cdots a_p}$ on a $n$-dimensional manifold is given by $*\omega_{b_1\cdots b_{n-p}}=\frac{1}{p!}\omega^{a_1\cdots a_p}\epsilon_{a_1\cdots ...
1
vote
0answers
21 views

How can I compute the Lebesgue measure

Let $\mathcal{X}$ be a tensor whose frontal slices are defined by $X_1=\begin{bmatrix}{1}&{0}\\{0}&{1}\end{bmatrix}$ and $X_2=\begin{bmatrix}{0}&{1}\\{-1}&{0}\end{bmatrix}$. This is a ...
1
vote
0answers
57 views

Why abstract index notation should not be confused with the Ricci calculus?

Considering this answer, it is mentioned that the range of indices $a, b, c,\dots$ are seen as abstract and coordinate-free and linear operations can be represented with them; and the range of indices ...
1
vote
0answers
43 views

Time Evolution of Deformation Gradient Tensor in Lagrangian Frame

I found the following proof in a paper: $\frac{D\mathbf{F}}{Dt} = \frac{D\frac{\delta\mathbf{x}}{\delta\mathbf{X}}}{Dt} = \frac{\delta\frac{D\mathbf{x}}{Dt}}{\delta\mathbf{X}}=\frac{\delta ...
1
vote
0answers
41 views

Dimension of the space of tensors obtained by making partial symmetrizations and skew-symmetrizations.

Let $A=(a_{i_1\dots i_k})_{i_1,\dots,i_k=1}^n$ be a higher order cubic tensor or hypermatrix. The following two facts are well-known and are easy to prove: ${(\bf 1) }$ The dimension of the ...
1
vote
0answers
67 views

Planetary motion integral

I was reading Planetary Motion (page 117) in Barry Spain's Tensor calculus, and stupidly enough, I didn't understand this. The equations are: $$\frac{d^2\psi}{d\sigma^2} + ...
1
vote
0answers
24 views

Characterization of the derivative as a tensor field

I was thinking about the derivative, and I wanted to make sure I’m thinking about it the right way. Suppose we have a $C^{\infty}$ function $f: {V}\to \mathbb{R}$, where $V$ is a finite-dimensional ...
1
vote
0answers
21 views

Does the definition of the rank of a tensor change in the component-free treatment of tensors?

I was looking for the definition of the rank of a tensor. I found 2 different definitions depending on whether we use the component-free approach of tensors: http://en.wikipedia.org/wiki/Tensor: ...