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

Infinitesimal Strain Tensor in a Cubic Crystal

I'm currently working through Vectors and Tensor in Engineering and Physics, and there's a problem regarding the strain tensor that I'm having a bit of trouble with. Given a cubic crystal with zero ...
0
votes
0answers
26 views

Series Relation

$\{A_n\}$ is a sequence of 4th order tensors. $lim_{n\rightarrow\infty}A_n = O_4$, where $O_4$ is the null 4th order tensor. The series $\sum_{n=1}^{\infty}A_n$ converge to a known tensor $B$. I ...
1
vote
0answers
25 views

Element-wise derivative of matrix logarithm

$E = ln(C) = -\sum_{a=1}^{\infty}\frac{1}{a}(I-C)^a$ I want to find a simple formula for $\frac{\partial E_{ij}}{\partial C_{pq}}$ $\frac{\partial C_{ij}}{\partial C_{pq}} = \delta_{ip}\delta_{...
4
votes
1answer
58 views

Geometric Significance of some features of the Exterior Algebra

I've been tinkering with differential forms for a while now, and I've had a few questions all rolled into one trying to understand them. The exterior derivative is quite natural to me - it looks just ...
0
votes
0answers
27 views

Linearize Matrix Equation

I want to find a linearized formula for G in terms of A. $G = B^TC^{-1}T(I+BA)$ $G$ is 4x2 $B$ is a constant matrix 2x4 $A$ is a variable matrix 4x2 $C = I + A^TB^T + BA + BAA^TB^T$, so $C$ is ...
1
vote
0answers
33 views

Symbol of differential operator and change of coordinates

Some time ago I posted the question about the change of coordinates in differential operator. Here is the relevant discussion Symbol of differential operator transforms like a cotangent vector The ...
0
votes
0answers
14 views

$Hom(E\times\stackrel{(r)}{\ldots}\times E,E)$ isomorphic to $\bigotimes_r^1 E$?

Let $E$ be a $n$-dimensional $\mathbb{R}$-vector space. Prove that: $$\begin{array}{ccll} \Phi:&Hom(E\times \stackrel{(r)}{\ldots} \times E,E)&\longrightarrow&\bigotimes_r^1 E\\ &\psi &...
2
votes
0answers
25 views

addition of tensors

The tensor algebra over a $n$-dimensional vector space $E$ is defined as the direct sum: $$\bigotimes E:=\bigoplus_{r,s>0}\Big(\bigotimes\nolimits_r^sE\Big)$$ An element of $\bigotimes E$ is ...
1
vote
0answers
29 views

surface gradient of the unit normal vector

I am reading a book that defines a curvature tensor as $\boldsymbol{K} = -\nabla_\pi \boldsymbol{\hat{n}}$ where $\boldsymbol{\hat{n}}$ is the unit normal vector of a surface and \begin{align*} \...
1
vote
1answer
30 views

Let $V$ and $W$ be vector spaces over $\mathbb{C}$. Show that $0\otimes w = v\otimes 0 = 0 \in V \otimes W$.

Algebraically, the vector space $V \otimes W$ is spanned by elements of the form $v \otimes w$, and the following rules are satisfied, for any scalar $c$. The definition is the same no matter which ...
0
votes
0answers
26 views

Does this calculus argument involving rank-4 tensors make sense?

Edit: Completely rewritten to be shorter and easier to digest. Background and the Actual Question: I'm trying to derive a gradient formula (back propagation) for a machine learning application. The ...
0
votes
0answers
16 views

Is the norm of tensor fields just Hilbert-Schmidt norm/ generalized $L^p$-norm?

As I am rather comfortable with functional analysis language and was new to Riemannian geometry, I am curious when inspecting the norm of Ricci tensor, which is: $$|\mathrm{Ric}|^2=g^{ij}g^{kl}R_{ik}...
2
votes
2answers
34 views

Vector as directional derivate? [duplicate]

The Poor Man’s Introduction to Tensors - by Justin C. Feng. https://web2.ph.utexas.edu/~jcfeng/notes/Tensors_Poor_Man.pdf On page 3, "Before I can tell you what a tensor is, I must tell you what a ...
7
votes
1answer
145 views

Why use geometric algebra and not differential forms?

This is somewhat similar to Are Clifford algebras and differential forms equivalent frameworks for differential geometry?, but I want to restrict discussion to $\mathbb{R}^n$, not arbitrary manifolds. ...
2
votes
1answer
81 views

$\hat{e_\mu } \cdot \hat{e^\nu } \neq \delta _{\mu} ^{\nu}$? Tensor algebra question.

Let $\hat{e_{\mu }}$ and $\hat{e^{\mu }}$ be the co- and contravariant basis vectors, respectively, for an arbitrary coordinate system Is it true that sometimes, $\hat{e_\mu } \cdot \hat{e^\nu } \neq \...
1
vote
1answer
30 views

Understanding metric tensor notation

I am trying to understand if there is a conventional way to read super- and subscript notation of metric tensors. Is there a canonical way of doing this? For instance, what is the difference between ...
0
votes
1answer
58 views

Einstein notation difficulties

I'm just learning the Einstein index notation, and came across this derivation in a textbook. I couldn't follow the steps. Can someone please help me out? The first order differential equation: $$\...
1
vote
1answer
22 views

Trace reverse tensor/matrix operation “carrying through” an operator

For some second rank tensor $h_{\mu\nu}$ on a Riemannian manifold with metric $g_{\mu\nu}$, one can write the trace-reverse of it as: $\bar{h}_{\mu\nu}=h_{\mu\nu}-\frac{1}{2}g_{\mu\nu}h$, where $h=h_{\...
4
votes
1answer
48 views

How to represent matrix multiplication in tensor algebra?

How can we represent matrix multiplication in tensor algebra? Even if we assume all matrices represent contravariant tensors only, clearly matrix multiplication does not correspond to the ...
0
votes
1answer
28 views

How many arguments does the product $v\otimes f$ have?

Let $V$ be a vector space. I've learnt that the tensor $v\otimes f$, where $v\in V$ and $f\in V^*$, is given by $ v\otimes f: V^*\times V\to\mathbb{R}\\ \quad\quad\quad\quad\, (g,\omega)\mapsto v(g)f(...
3
votes
2answers
74 views

Defining a Riemannian metric

Let $M$ be a smooth manifold. I have seen a Riemannian metric be defined in many ways: A smooth choice of an inner product $g_p:T_pM\times T_pM\to\mathbb{R}$ which is symmetric and positive-definite,...
0
votes
1answer
36 views

Why is the Christoffel symbol of the 2nd kind symmetric in lower indices?

I have consulted multiple books on tensors for physicists, but they all take for granted this relation: $\Gamma_{ij}^k = \Gamma_{ji}^k$ However, no proof is provided and I cannot find a single one ...
2
votes
1answer
49 views

Dual basis vectors and Basis one-forms

I'm studying Tensor Calculus on some MIT's notes (page 16) and I'm stuck at the point where it defines dual basis vectors. I have already studied basis one forms and I can't understand why we need to ...
1
vote
2answers
210 views

Which concepts in Differential Geometry can NOT be represented using Geometric Algebra?

1. It is not clear to me that linear duals, and not just Hodge duals, can be represented in geometric algebra at all. See, for example, here. Can linear duals (i.e. linear functionals) be ...
0
votes
1answer
54 views

What exactly are operations involving tensors… In terms of their indices

So I have heard that tensor operations involve the faces of the rectangular prism. These are matrices right, and different properties of those matrices say things about the tensor? Could someone ...
0
votes
2answers
179 views

What is the “taxonomy” or “hierarchy” (partial ordering) of algebraic objects used to attempt to capture geometric intuition? [closed]

What follows is a list of terms all of whose relationships to one another I have never fully succeeded in establishing, despite having spent much of 6-8 years trying to so. Feel no need to give ...
6
votes
2answers
126 views

What's an infinite dimensional or function version of a tensor?

A function $f$ is like an infinite dimensional vector with the norm $|f| = \int^b_a f(t)^2 \, \mathrm{d} t $ and dot product $f \cdot g = \int^b_a f(t) g(t) \, \mathrm{d} t $ where appropriate ...
2
votes
0answers
46 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
1answer
41 views

How to handle the tensor $T^i_{ljk}$, given that $T^i_{jkl}=3T^i_{ljk}$?

$T^i_{~~jkl}$ is a tensor such that $T^i_{~~jkl}=3T^i_{~~ljk}$ is some coordinate system. Prove that $T^i_{~~jkl}=3T^i_{~~ljk}$ in all coordinate systems. The given answer says: \begin{align} \bar T^...
1
vote
0answers
19 views

Contracting a symmetric tensor product with a covector

What I actually want to ask is about a problem of specific form, which I could not put in the title as I'm not certain on any short name for such problems. For given a rank-2 tensor $K^{\mu\nu}$ and ...
1
vote
0answers
26 views

Translation by tensors

According to this question, quaternions would not be the right choice to handle both rotation and translation. In the case of tensors, one might assert that the rotation would be possible by tensors, ...
0
votes
1answer
38 views

Given the parallel and perpendicular component of a vector in terms of another vector, how do you determine the tensor that connects both?

Sorry for the awkwardly phrased title, I wasn't sure how to properly word it. I want to do the following: I have a vector $\vec J$ and a vector $\vec E$ with the following relation (with the ...
1
vote
0answers
54 views

How can we visualize a tensor?

I would greatly appreciate it if someone could explain to me how to visualize a tensor in the analogous way that we visualize a vector. Thanks!
1
vote
0answers
41 views

How do I get from the universal product of the tensor product to other definitions.

I was wondering how you can "derive" the common (or "classical") definition of the tensor product before the universal property was established (I think there is no need to repeat it here), i.e. a ...
2
votes
1answer
54 views

Solve for third rank linear tensor equation $C_{[ij]k}U^jU^k=A_i$

Is there a way to solve a general tensor equation of the form, written in an arbitrary frame \begin{equation} C_{[ij]k}U^jU^k=A_i, \end{equation} for a tensor field $C$ of type $(0,3)$ (the square ...
1
vote
1answer
53 views

Calculus of rank three tensor

Let $A(\alpha)$ be a matrix that depends to vector parameter $\alpha$. I want to approximate $A(\alpha+\Delta\alpha)$ using Taylor expansion. My work: $$ A(\alpha+\Delta\alpha) \approx A(\alpha)+\...
1
vote
1answer
75 views

Why is $T$ in $\mathcal T_2^1(M)$?

Let $M$ be smooth manifold and $\nabla$ an affine connection on $M$. Then the torsion tensor of $\nabla$ is the map $T:\mathcal T(M)\times\mathcal T(M)\to\mathcal T(M)$ and $$T(X,Y)=\nabla_XY-\...
0
votes
1answer
13 views

benefit of trifocal geometry vs bifocal geometry?

I am at the moment trying to understand what kind of benefit I would have by using three cameras for stereo vision rather than two cameras? I mean, i would only have more constraints related to the ...
1
vote
1answer
25 views

Transformation of fourth rank tensor and its matrix form

I would like to calculate transformation of fourth rank tensor, $$ C_{ijkl}=\Sigma_{m=1}^{3}\Sigma_{n=1}^{3}\Sigma_{p=1}^{3}\Sigma_{q=1}^{3}a_{im}a_{jn}a_{kp}a_{lq}C_{mnpq} $$ where $a_{xy}$ is ...
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}$, ...
0
votes
2answers
52 views

“All scalars are invariant”: meaning in the context of changing basis

I'm interested in understanding a comment by Chapter 0 of McCullaugh (1987). To keep the question self-contained, I'll provide some context below. Thank you. Suppose I have vector space $V$ with $\{...
0
votes
0answers
25 views

Tensors as mathematical objects

Continuing my journey to understand Tensors, Maxwell's equations. Here is my current understanding. Is it correct? Tensors are mathematical objects, i.e., an entity in mathematical reality or a ...
1
vote
1answer
33 views

Induced metric on a one-sheet hyperboloid

I am trying to find the induced metric on a one-sheet hyperboloid. Suppose we use cylindrical coordinates $(r, \theta, z)$ for the ambient space in which the hyperboloid is embedded. The hyperboloid ...
0
votes
0answers
13 views

Compute directly in coordinates that $\sum a_i^v v^i_v = \sum a^U_jv^j_U$

I am working my way through Frankel's The Geometry of Physics: An Introduction and am a bit confused by the wording of problem 2.1.1 in the revised edition. The problem is stated as below if v is a ...
1
vote
1answer
36 views

(Geometric) Intuition behind Different Types of Rank 2 Tensor (Specifically Quadratic Forms)

This is essentially a follow-up to this question: Differences between a matrix and a tensor I think I have a good intuition/idea for the change of basis for a rank-(1,1) tensor ($A\vec{v} = \vec{w}$) ...
0
votes
0answers
14 views

Text introducing $T^{i,j}$-tensor algebra

I'm reading a lecture note here : http://www.cis.upenn.edu/~cis610/diffgeom7.pdf It introduces $T^{•,•}(M)$ the tensor algebra and says that this is a necessary tool in differential geometry. Well, ...
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{\...
0
votes
0answers
37 views

Parallel transport for infinitesimal displacement

I have a question about the following calculation about the parallel transport of an infinitesimal vector. I read the following text but I do not understand where the expression for the components of ...
0
votes
0answers
37 views

Levi-Civita symbol (permutation tensor)

I was going over a past exam and the following two questions came up: Show that the Levi-Civita symbol $\varepsilon_{ijk}$ is a tensor. Evauluate the following: $\varepsilon_{ijk}\varepsilon_{ipq}\...
5
votes
1answer
119 views

Coordinate-free notation for tensor contraction?

I am not sure if I can prevent this question from being too vague or with too large an overlap with other similar math.SE questions, but I will do my best... A standard linear operation in tensor ...