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

12
votes
0answers
183 views

Vector valued 2-forms which satisfy Jacobi Identity

Motivated by this MO question we ask the following two questions: 1)What is an example of a compact manifold $M$ which does not admit any smooth (1,2) tensor $\omega$ which restriction to each ...
8
votes
0answers
872 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 $\det(A)=\epsilon^{...
6
votes
0answers
230 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
399 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
191 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
152 views

Examples of geometric structures on real manifold that lead to almost complex structure

I have a $M^{2n}$ real manifold. I am interested, if there are any well known geometric structures on manifold that lead in some natural manner to almost complex structure on $M.$ I read on wiki ...
5
votes
0answers
91 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
114 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 co/...
5
votes
0answers
183 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
94 views

Eigendecomposition and eigenvalue scaling for tensor networks

I've recently been interested in studying tensors and networks of tensors. Consider the following quantity: $$Tr(A^N)$$ Where $A$ is a square matrix and $N$ is large. This is extremely easy - all we ...
4
votes
0answers
92 views

Einstein notation

I'm confused about a specific issue that I have with the Einstein notation (for tensor fields on manifolds). I want to write the following thing: Let $X$ be a smooth manifold. Choosing local ...
4
votes
0answers
91 views

Matrix Calculus

My school offers Matrix Calculus class next semester. I have never heard about this subject before and got intrigued. After a short chat with professor I found myself unable to get rid of suspicion ...
4
votes
0answers
85 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
171 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 ...
4
votes
0answers
218 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
286 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 ...
4
votes
0answers
455 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
176 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
44 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
290 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 ...
4
votes
0answers
268 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
63 views

Meaning of / intuition for contraction of tensors (in the Riemannian setting)

I'm currently taking a course in differential geometry, and we are, I'm guessing, finally going to start working with the Riemannian curvature tensor after having covered a lot of smooth manifold ...
3
votes
0answers
31 views

Derivative of product tensor (or matrix product )

if I define a "product tensor" of two second-order tensors as the second-order tensor: $\boldsymbol{C}=\boldsymbol{AB}$ such that $C_{ij}=A_{ik}B_{kj}$ does the product rule applies to $\dfrac{\...
3
votes
0answers
39 views

Proving a vector identity using Einstein summation

I need to prove $$\nabla \times [(u\cdot \nabla)u]=(u\cdot \nabla)(\nabla \times u)-[(\nabla \times u)\cdot \nabla]u+(\nabla\cdot u)(\nabla \times u)$$ So the ith component of each side using ...
3
votes
0answers
26 views

Rotation of eigenvectors of a time-dependent tensor

I have a symmetric, real tensor in ${\mathbb R}^3 $ where the components are continuous functions of time: $${\mathbf D} = \left( \begin{matrix} d_{1,1}(t) & d_{1,2}(t) & d_{1,3}(t) \\ d_{1,...
3
votes
0answers
93 views

Tensor notation generally

I'm pretty new to tensors in differential geometry and I have a basic question about the notation used. In general a vector field $X$ can be expressed as $$X=\sum_{i=1}^n X^i \partial_i,$$ where $X^...
3
votes
0answers
74 views

Understanding tensors

Locally in a chart, a tensor field looks like $$T= T^{i_1,...i_n}_{j_1,...,j_m} dx^{j_1} \otimes...\otimes dx^{j_m} \otimes \partial_{i_1} \otimes ... \otimes \partial_{i_n},$$ where $T^{i_1,...i_n}...
3
votes
0answers
90 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
111 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
156 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 ...
3
votes
0answers
91 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 $\boldsymbol\nabla=(\...
3
votes
0answers
94 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 \...
3
votes
0answers
51 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
409 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
232 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", ...
2
votes
0answers
44 views

Should I add $\frac {4 \pi}{3}\delta^3(\vec x) \mathbf{I}$ or $4 \pi \delta^3(\vec x) \hat x \hat x$ to the gradient of $\frac{\vec x}{x^3}$?

I know that divergence of $\frac{\vec x}{x^3}$ is $4 \pi\delta^3(\vec x)$ and also that trace of gradient of a vector is its divergence. When I take the gradient of $\frac{\vec x}{x^3}$ I get: $$\...
2
votes
0answers
38 views

How do I compute the gradient of a tensor?

From this paper, we have three matrices $U\in \mathbb{R}^{n\times d_U}$, $M\in \mathbb{R}^{m\times d_m}$, $C\in \mathbb{R}^{c\times d_C}$ and a tensor $S\in \mathbb{R}^{d_U \times d_M \times d_C}$, ...
2
votes
0answers
38 views

Self-commuting of the covariant derivative: Menzel's Mathematical Physics

Menzel defines covariant differentiation as equivalent to partial differentiation with respect to the general coordinates. “To indicate the covariant nature of the differential operator, set $$\frac{\...
2
votes
0answers
28 views

Tensor Eigenstates

I have the following equation: $$f_i^´(t+1)=\sum_{jk}R_{i|jk}\tilde{f_j}(t)\tilde{f_k}(t)$$ It is about evolution of a population. I use this equation in my python program in the following way: <...
2
votes
0answers
23 views

Raising index on covariant derivative

So suppose $X$ is some vector field and $t$ is a tangent vector to some curve on some smooth manifold. Then $t^a\nabla_a X$ gives the directional derivative of the vector field in the direction of $t$....
2
votes
0answers
34 views

Derivative of an eigenvalue with respect to tensor itself

I have a rank-2 tensor $\mathbf{C}=C_{\alpha\beta} \mathbf{A}^\alpha \otimes \mathbf{A}^\beta$ defined in a curvilinear coordinate system. I want to compute the derivative of an eigenvalue $\Lambda_i$ ...
2
votes
0answers
69 views

What are the non-vanishing directions of $A_{a(b} B_{cd)} - B_{a(b} A_{cd)}$? ($A$ and $B$ symmetric tensors)

Question Consider two symmetric tensors $A_{ab}=A_{ba},\, B_{ab}=B_{ba}$ which are generally of full rank (non-degenerate, all eigenvalues non-zero but of general sign) and their tensor product under ...
2
votes
0answers
48 views

Why is the transformation law for tangent space coordinate basis vectors “easily seen” using the chain rule?

In Spacetime & Geometry, Carrol immediately posits that, given that you have some tangent space vector (in the coordinate basis representation): $\frac{d}{d\lambda}=\frac{dx^{\mu}}{d\lambda}\...
2
votes
0answers
33 views

Tensor formula in SU(3) representations

I am trying to understand the Georgi chapter of tensor methods in $SU(3)$ representations, and I don't know how to resolve the tensor product of 2 matrices in a 2 heavy quark + 2 light antiquark ...
2
votes
0answers
116 views

Are quaternions used in tensor analysis?

At the moment I am learning tensor analysis. In the books I study (civil engineering/mechanical books on tensors) there is a lot written about rotation matrices/tensors, however quaternions are not ...
2
votes
0answers
55 views

Connecting physical tensors to mathematical tensors

I feel like I (maybe) understand the mathematical /algebraic perspective on tensors, for example as described in Wikipedia/Monoidal Category. You need a (simultaneously left & right) unit and an ...
2
votes
0answers
44 views

Tensor varieties?

I read somewhere that the space of rank-one tensors, known as the Segre variety, defined by $$ Seg: \mathbb{P}V_1 \times \cdots \times \mathbb{P}V_n \rightarrow \mathbb{P}(V_1 \otimes \cdots \otimes ...
2
votes
0answers
65 views

Integration is only possible for forms and not for general tensors?

Integration is only possible for forms and not for general tensors? What is the true reason for this? Or can integration of $k$-forms be extended in some natural way to arbitrary $(k,l)$ tensors;if so ...
2
votes
0answers
83 views

Identities involving covariant derivatives

Is there an identity that says for a tensor of rank $4$, if we cycle the indices, including the index with respect to which its covariant derivative is taken, will the sum of all those quantities ...
2
votes
0answers
39 views

Border rank of tensors

Can anyone help me find the rank and border rank of the following tensor: \begin{align} T=a_{11}\otimes b_{11}\otimes c_{11}+a_{12}\otimes b_{21}\otimes c_{11}+a_{11}\otimes b_{12}\otimes c_{12}\\ ...