Tag Info

Hot answers tagged

5

To understand the trace, it is good to spell out the isomorphism between $End(V)$ and $V\otimes V^*$: $$V\otimes V^*\to End(V): v\otimes\omega \mapsto (x\mapsto \omega(x)v).$$ Under this isomorphism, composition of endomorphisms becomes $$(V\otimes V^*) \times (V\otimes V^*) \to V\otimes V^*: (v_2\otimes\omega_2, v_1\otimes \omega_1)\mapsto ...


3

$\newcommand{\d}[1]{\;\mathrm{d} #1} \newcommand{\c}[3]{\Gamma^#3_{#1 #2}}\newcommand{\riem}[4]{\mathcal R^{#4}_{\; #1 #2 #3}}$As it turns out setting $r=0$ and calculating the Riemann tensor as an attempt to cut some corners, which is what I did earlierĀ¹, doesn't do the job. I'll start by taking the original metric $$\d s^2 = ...


1

$M$ looks like this: $M(u) = (F_{12}(u),\dots,F_{1n}(u),F_{23}(u),\dots F_{2n}(u)),\dots ,F_{nn}(u))$ $M(u) = (F_{12}(u),F_{21}(u),\dots) = (F_{12}(u),-F_{12}(u),\dots)$ doesn't make much sense. then the first variation: $\delta M(u) = \frac{d}{d\epsilon} M(F_{12}(u+\epsilon v),\dots,F_{nn}(u+\epsilon v))\big|_{\epsilon = 0}$ using the chain rule: ...


1

The equation you wish to prove is linear in each of the vectors $u_j$ and $v_j$. Therefore it suffices to show the identity when these vectors are basis vectors. There are $n$ basis vectors from which we now want to choose the $n$ vectors $u_1,\dots,u_n$. If we choose any two to be the same, then both sides of the identity vanish (and the identity is true), ...


1

Hint : (1) Let $$ U=[u_1\cdots u_n],\ V=[v_1\cdots v_n]$$ Then $$ (U^TV)_{ij} = u_i\cdot v_j =g(u_i,v_j) $$ (2) ${\rm det} (U^TV)={\rm det}\ U {\rm det}\ V$


1

Given a $p$-form $\theta \in \bigwedge^p E^*$, we can define an alternating multilinear map $h \colon E^{n-p} \to \bigwedge^n E$ by $$h(u_1, \ldots, u_{n-p}) = \theta \wedge \tilde{u}_1 \wedge \ldots \wedge \tilde{u}_{n-p}.$$ Let $b \colon \mathbb{R} \to \bigwedge^n E$ be the linear map $$b(t) = t \omega.$$ Because $\bigwedge^n E$ is one-dimensional and ...


1

As by the question linked by Michael, it is generally proved in a course about differential forms that $\alpha\wedge\beta = (-1)^{pq} \beta\wedge\alpha$ where $p$ and $q$ are the degrees of $\alpha$, $\beta$. Using this the result is immediate. But you could try and prove it, at least in your specific case. Hint: it should not be difficult to prove it for ...


1

Try to formalize what internal stress state should actually mean. What science has come up with is the notion of sectional forces and moments, together with a way to relate them to internal stress state. You need to do a Gedankenexperiment: Imagine a smooth cut passing through the material, including the point $p$. Remove the material on one side of the cut ...


1

To remove notational confusion, let $\lambda^1,\ldots,\lambda^n$ be the dual basis of $\frac{\partial}{\partial x^1},\ldots,\frac{\partial}{\partial x^n}$. Then, your goal is to show that $$d(x^i)=\lambda^i.$$ i.e. $d(x^i)=dx^i$, where the later is the formal symbol usually used for $\lambda^i$. Note that this justifies the notation $dx^i$. Now, compute: ...


1

Let's start from the top. If you have any programming background, then the following might make some more sense to you: A tensor is merely a function that is linear on each of its arguments and produces a number. For instance, let $f: \mathbb R^n \to \mathbb R$. That is, for any vector $v \in \mathbb R^n$, $f(v)$ is some real number. If $f$ is ...


1

Take a look at Couple stress theory for solids


1

The oriented volume spanned by three vectors is a multilinear alternating map of the vectors themselves. That's the starting point. See, e.g., the book by S.Winitzki.



Only top voted, non community-wiki answers of a minimum length are eligible