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

0
votes
0answers
23 views

Matrix operation repeat matrix members

I am going to use C++ Armadillo library which handles matrices to generate matrix $B$ and $C$ from matrix $A$. $$ A=[M_0,M_1,\ldots,M_{n-1}]^T $$ $$ ...
5
votes
0answers
68 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 ...
2
votes
2answers
74 views

Raising and Lowering Through Differentiation

I'm calculating the Christoffel symbols of the second kind which is of course defined as multiplying the symbol of the first kind multiplied by the contravariant metric. I was thinking of how to make ...
1
vote
0answers
34 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 ...
3
votes
1answer
130 views

Riemannian curvature tensor of product manifolds

Let $(M_{1},g_{1})$ and $(M_{2},g_{2})$ be two Riemannian manifolds. Let $% R_{1}$ and $R_{2}$ be the (1,3)-type Riemannian curvature tensors of $M_{1}$ and $M_{2}$, respectively. Finally, let $R$ be ...
1
vote
1answer
71 views

Surface area of a 2-sphere in Abstract Index Notation

I believe the following completely specify a 2-sphere of radius 1 in AIN: $$ R_{ijkl}=\epsilon_{ij}\epsilon_{kl} \\ R_{ij}=g_{ij}\\ R_{ii}=g_{ii}=2 $$ It is easy enough to determine the area by ...
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 ...
1
vote
1answer
178 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 ...
1
vote
1answer
30 views

Notation in Srednicki's QFT

In the book Quantum Field Theory by Srednicki, equation 21 for the commutators of the generators of the Lorentz group is ...
2
votes
3answers
45 views

MATLAB: matrix multiplication with exponentiation

Normal matrix multiplication computes $C=A*B$, such that $C_{ij}=\sum_k{A_{ik}*B_{kj}}$ I want to compute D, such that $D_{ij}=\sum_k{e^{A_{ik}*B_{kj}}}$ Basically I want to exponentiate each ...
2
votes
1answer
125 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 ...
0
votes
0answers
24 views

Extensions to higher dimensions by tensorization. Unitary DFT in 2D?

I have problem understanding the underlying concept of tensoration (if there is such term). Fist of all the unitary DFT is NxN. Is it 1D ? How does it look when we increase the dimension let say to ...
5
votes
0answers
95 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 ...
2
votes
1answer
45 views

Components of Torsion Tensor

So I am trying to calculate the components $T^i\,_{j k}$ relative to a coordinate basis, of the torsion tensor defined as: $$ \bf{T(u,v)= \nabla_{u}v-\nabla_v u-[u,v]} $$ Or: $$ T= T^i\,_{j k} ...
1
vote
3answers
89 views

Prove: Gravitation operator is invertible.

Let $(M,g)$ be a Riemannian manifold and $\Gamma(S^2M)$ the space of symmetric 2-covariant tensors. Define the gravitation operator as the map \begin{align*} ...
0
votes
1answer
91 views

Tensors: Maxwell stress on an isotropic elastic material

The Maxwell stress is $\sigma_{ij} = -\varepsilon_r[E_iE_j - 0.5E_kE_k\delta_{ij}]$. Assume that in a dielectric solid under study, the electric field vector is aligned with the 1 axis. That is, ...
1
vote
1answer
112 views

Tensors: traction free planes

Given the following stress tensor matrix, determine the value of $\sigma_{22}$ such that there is a traction free plane and determine the unit normal to this plane. $$ \sigma_{ij} = ...
1
vote
0answers
64 views

Apparently meaningless computation with the Hodge star operator

In the last lecture we started speaking about hodge star operator. Let $E$ be a $n$ dimensional vector space with a non degenerate bilinear form $g$. $\mathcal{O}$ the orientation line of $E$, i.e. ...
1
vote
1answer
58 views

Tensors, basic notation and components of

I'm trying to understand he basic notation(s) used to write out tensors, namely \begin{equation} T = T^{\nu_1,...,\nu_m}_{\mu_1,...,\mu_n} \frac{\partial}{\partial x^{\nu_1}} \otimes...\otimes ...
1
vote
1answer
44 views

Definition of Linear independence of algebraic $1$-forms

"Suppose that $a,b,c,d$ are linearly independent algebraic $1$-forms on $\mathbb{R}^n$". What does it mean for algebraic $1$-forms to be linearly independent? I have looked through my notes and ...
1
vote
0answers
37 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) ...
2
votes
0answers
54 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
101 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
54 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 ...
1
vote
0answers
28 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
1answer
58 views

algebra of polynomials of non-commuting variables

In Hatcher's book algebraic topology page 496-497: the Steenrod algebra $\mathcal{A}_2$ is the algebra over $\mathbb{Z}_2$ formed by polynomials of non-commuting variables $Sq^1,Sq^2,\cdots$ modulo ...
3
votes
1answer
36 views

Levi-Civita help

$\epsilon_{ijk}$ is the Levi-Civita tensor which is totally anti-symmetric. Let $A^{ijk}$ be a totally symmetric matrix. Is it true that $$\epsilon_{ijk}A^{ijk}=0?$$ I know this is the case for ...
1
vote
1answer
73 views

Determinant of a 2nd rank tensor help and inverse!

I have the following 3x3 matrix $$U_{ij} = g_{ij} + \epsilon_{ijk}u_k$$ and I want to find its inverse using the fact that it can be written as the linear combination of its symmetric part and its ...
1
vote
2answers
127 views

Levi Civita Symbol: from 4 to 3 indices.

In Four-dimensional space, the Levi-Civita symbol is defined as: $$ \varepsilon_{ijkl } =$$ \begin{cases} +1 & \text{if }(i,j,k,l) \text{ is an even permutation of } (1,2,3,4) \\ -1 & ...
3
votes
1answer
68 views

Formal adjoint of divergence

We define the so-called conformal Killing operator $K$ mapping (1,0) vectors to (0,2) tensors by $$K(X)_{ab} = \frac{1}{2}\nabla_aX_b+ \nabla_bX_a -\frac{2}{3}(\text{div}X) g_{ab}.$$ Here $g$ is the ...
2
votes
0answers
115 views

Converse of Euler Homogeneous Thm. How to show that $\lambda \mathbf{x}\cdot \frac{d}{d\lambda}(\nabla{f(\mathbf{\lambda x})})=\mathbf{0}$?

So basically I read someone else's answer to a question regarding Euler Homogeneous function theorem source: http://quant.stackexchange.com/questions/8911/what-is-exactly-eulers-decomposition Also ...
0
votes
1answer
31 views

Symmetric/Antisymmetric Co and Contravariant Tensors

Show that if the contravariant tensor $A^{ab}$ is symmetric and the covariant tensor $B_{ab}$ is antisymmetric, then $A^{ab}B_{ab}$ $= 0$ I have tried plugging in and expanding definitions ...
6
votes
1answer
82 views

Is it possible to build a tensor with the following properties?

I am searching for a tensor in 4-dimensional space-time with two indices that satisfy: \begin{eqnarray} M_{;\mu }^{\mu \nu } &=&0, \\ M^{\mu \nu } + M^{\nu\mu}&=&0, \nonumber \\ ...
1
vote
1answer
35 views

evaluation of $\nabla \cdot ( \boldsymbol{B}(\boldsymbol{x}) \cdot \boldsymbol{B}^{T}(\boldsymbol{x}) )$

i have a symmetric positive matrix $\boldsymbol{D}(\boldsymbol{x})$ which can be decomposed as: $\boldsymbol{D}(\boldsymbol{x})$ = $\boldsymbol{B}(\boldsymbol{x}) ...
1
vote
1answer
60 views

Showing $\det(I_E+f)=\sum_{p=0}^{n}\mathrm{tr}(f^p)$ where $f^p:Λ^{p}(E) \to Λ^{p}(E)$ and $f:E\to E$

$E$ is a vector space with dimension $n$ and $f:E\to E$ is a linear map and for every $p=1,2,3,...$ we have $f^p:Λ^{p}(E) \to Λ^{p}(E)$ which is defined as below ...
0
votes
0answers
31 views

The basis of this particular tensor product

I'm studying Fulton's Algebraic Curves book and he defines the module of differentials $\Omega$ in the following manner (R is a ring containing an algebraically closed field $k$): Let's define the ...
1
vote
2answers
57 views

$(n-1)$-alternative tensor on E are decomposable

$E$ is a real vector space with dimension $n$ and $E^*$ is dual space of $E$. Assume $\alpha \in Λ^{n-1}(E)$ Show that there exists $\alpha_1,\alpha_2,...,\alpha_{n-1} \in E^*$ such that ...
0
votes
1answer
67 views

Metric and Convariant Tensor

$g_{ij}$ is the metric tensor. Show that $g^{ij}$ which satsifies $g_{ij}g^{jk}=\delta_i^k$ is a covariant tensor of rank $2$. I am not sure how to show this? Does it instead mean to show that ...
1
vote
0answers
94 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 ...
0
votes
1answer
107 views

For which k,n the k-covector is decomposable (14-2 from Lee)

This is homework so no answers please The problem is: Find for which k, n, a k-alternating map $\omega$ can be written as $\omega=\omega_{1}\wedge...\wedge \omega_{k}$ were $\omega_{i}$ are ...
0
votes
1answer
42 views

Basis of a tensor

I'm new to tensors, and I need to understand what a certain basis actually is, how to visualise it. Say we have the $r$-dimensional vector space $T_p M$ and $n$-dimensional dual space $T^{*}_p M$. ...
1
vote
1answer
39 views

Differentiating a rank-2 tensor to some power in index notation.

If I have some rank-2 tensor $g_{ab}$ with components dependent on some coordinate system $x^a$, how do I do the following differentiation in index notation (assuming the $\dot x^d$ are independent of ...
0
votes
2answers
33 views

Inner product on the k-tensor space

This is homework so no answers please. The problem is "Given inner product vector space V, define an inner product on $T^{k}(V)$ by declaring the standard basis $\{e^{*}_{i_{1}}\otimes...\otimes ...
1
vote
1answer
97 views

Tensor notation of a triple scalar product

I want to write the tensor notation for $$[a\dot\ (b\times c)]a=(a\times b)\times (a\times c).$$ What I got so far is: $$a \dot\ (b\times c)=a_i(\epsilon_{ijk}b_jc_k)=\epsilon_{ijk}a_ib_jc_k.$$ ...
1
vote
1answer
94 views

Tensors and rotation matrix

$a_{ij}$ is a rotation matrix that satisfies $\hat{e}'_i=a_{ij}\hat{e}_j$. Show that $\epsilon_{lmn}a_{mi}a_{nj}=\epsilon_{ijk}a_{lk}.$ Using the result from above, how can I show that ...
3
votes
1answer
97 views

Integrating tensors on manifolds

When/how can you integrate tensors on manifolds and what does it mean? I imagine that line integrals of tensors make sense when you have a connection, since you can uniquely parallel transport all ...
0
votes
1answer
74 views

What is the relation between Kruskal tensor and CP decomposition?

In Matlab Tensor Toolbox there is a tensor type called "Kruskal tensors", I found its form is similar to the CP decomposition. Wikipedia mentioned "As such, many of the methods have been ...
1
vote
1answer
436 views

Cauchy Momentum Equation - Stress Tensor

I've been trying to understand the derivation for the Cauchy Momentum Equation for so long now, and there is one part that every derivation glides over very quickly with practically no explanation ...
2
votes
2answers
107 views

How does the representation of co-vectors change if we change the basis of a vector space $V$?

I'm trying to understand how vectors, differential forms and multi-linear maps in general transform under change of coordinates. So I start with the simplest case of vectors. Here's my own attempt, ...
1
vote
1answer
49 views

Manipulation of Tensors

I have an expression: $\eta^{\mu \nu} F_{\alpha \beta, \nu} F^{\alpha \beta}$ Where $\eta^{\mu \nu}$ is the Minkowski metric, F is an antisymmetric tensor, and the comma on the middle tensor denotes ...