Part 2 · Tensors
2.1 Tensors as linear maps
Source: Favata’s notes, appendix A.2, p. 11–12 (second-order tensors, tensor product, components); projections are added here
A second-order tensor is a machine that takes a vector and returns a vector, linearly. This part asks three questions of it, the same three that kinematics will ask of the deformation gradient: where does it send a vector (this section and the next), what does it do to lengths, areas and volumes (§2.4 Trace and the scalar product of tensors, §2.5 Inverse and determinant, §2.6 Orthogonal tensors), and what is it made of (§2.3 Symmetric and skew parts, §2.7 Eigenvalues and the spectral theorem).
Objectives
- Think of a tensor as a map first, and of its matrix as one way of writing it down.
- Build tensors from dyads, and read a dyad as a projection followed by a stretch.
- Recipe: write the matrix of a tensor by asking where it sends each basis vector.
- Pictures: a tensor applied to a whole figure; a dyad flattening the plane onto a line.
- Vocabulary: , zero tensor, identity, components, projection.
- Essential vocabulary: second-order tensor, dyad (tensor product).
Second-order tensors
A second-order tensor is a linear map : The set of all of them is .
Tensors are bold uppercase. Linearity is a strong constraint: a linear map sends lines to lines, the origin to itself, parallel lines to parallel lines, and the midpoint of a segment to the midpoint of its image. So it is fixed by what it does to a few vectors.
Tensors are added and scaled pointwise: for all , , , With these, is itself a vector space, of dimension 9 (below). Two tensors have names: the zero tensor, , and the identity, .
Loading the demo…
Columns: where the basis goes
Write . By linearity, So is known as soon as are known, and is the combination of them with the components of as coefficients.
- For each , find , the image of the -th basis vector.
- Write its components as column of a array: .
- Then : the usual matrix–vector product.
Loading the demo…
The rotation by of the plane sends and , so its columns are and : No computation of angles was needed: only the images of the basis.
A tensor is the map itself, not a matrix. A matrix only represents it once a basis is fixed, and it changes when the basis does (§2.8 Change of basis). Transpose, trace and determinant will be defined without a basis; that is what makes statements about them hold in every frame.
The tensor product
The simplest tensors are built from two vectors.
The dyadic (tensor) product of is the tensor
Read it right to left: reads the input (how much of lies along ), and is the output direction. Every vector lands on the line of .
- It is linear, since . So any combination of dyads is a tensor too.
- is linear in each factor, but not symmetric: in general.
- Every vector orthogonal to is sent to . A dyad flattens space onto a line: it has rank one.
Loading the demo…
A basis for Lin
For the dyad :
so, since is arbitrary,
In general has a single , in row , column . So the nine dyads build every matrix: .
To show they are an orthonormal basis, give dyads a scalar product:
extended to combinations of dyads by bilinearity. For and a dyad, .
The two rules agree: for , . (Notation: binds tighter than .) Then
each dyad has unit norm and is orthogonal to the other eight. Orthonormal vectors are independent, so the nine dyads are a basis and .
Components of a tensor
Every is The are its components in the dyad basis, and the entries of its matrix in .
Proofbeyond the notes
Write in components: . Then for any :
Read off from this:
- Column of holds the components of (Recipe 2.1.2).
- Action in components: .
- Components of a dyad: . Its matrix is the column times the row ; every column is a multiple of .
- Identity: , . Check: .
Projections
The projections of Recipe 1.2.6 are dyads.
For a versor :
- gives , the projection on the line of ;
- gives , the projection on the plane normal to .
Both are symmetric and idempotent, : projecting twice changes nothing. Every splits as .
Loading the demo…
A first equation to solve
Loading the demo…
Exercises
Write the matrix of the tensor of the plane that reflects across the line , from where it sends and . Then write it with dyads.
Solution
and , so and .
For , , write , apply it to both ways, and find every with .
Solution
. Matrix times : . From the definition, , the same. The kernel is , a plane.
Show that is idempotent using the matrix .
Solution
, since .