A unit tensor in continuum mechanics is the linear mapping of each vector onto itself. The unit tensor is a dimensionless one-field tensor because it maps the vectors from a Euclidean vector space into the same vector space. Furthermore, the unit tensor is symmetric , orthogonal and unimodular . The coefficients of the second order unit tensor are called metric coefficients.
Unit tensors occur frequently in continuum mechanics . The unit tensor of the second order occurs in the strain tensors and the unit tensor of the fourth order in many material models (e.g. in Hooke's law ). Because of its importance, this article therefore deals with the three-dimensional Euclidean vector space and the second order unit tensor. The fourth order unit tensor is only mentioned in the chapter of the same name. A generalization to spaces of any finite dimension is possible in a simple manner.
definition
A Euclidean vector space and the set of linear mappings from to are given . Then the unit tensor is defined as
![\ mathbb {V} ^ 3](https://wikimedia.org/api/rest_v1/media/math/render/svg/a458f6c9ca144bd96fc4b28948f0769bc9ca66ab)
![{\ displaystyle {\ mathcal {L}} (\ mathbb {V} ^ {3}, \ mathbb {V} ^ {3})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04ae7934dafadfd0f8fe83c4902794f2f4502656)
![\ mathbb {V} ^ 3](https://wikimedia.org/api/rest_v1/media/math/render/svg/a458f6c9ca144bd96fc4b28948f0769bc9ca66ab)
![\ mathbb {V} ^ 3](https://wikimedia.org/api/rest_v1/media/math/render/svg/a458f6c9ca144bd96fc4b28948f0769bc9ca66ab)
![\ mathbf {1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/235ffc0f1788b720aef5caa7b97246a84421fd0e)
-
.
Spellings
The characters “1”, “I” or “E” are used for the unit tensor . As typestyle is letter with double prime ( ), bold ( ), lower ( ) or scan ( ) is used. In index notation, this unit tensor agrees with the Kronecker delta .
![\ mathbb I](https://wikimedia.org/api/rest_v1/media/math/render/svg/8205f06e0d279689ed04a1ac04a3d9c249c637df)
![\ mathbf {1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/235ffc0f1788b720aef5caa7b97246a84421fd0e)
![{\ displaystyle {\ underline {\ underline {1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae7f7d45c6fa0ae4022d4e2fb80d187296770f0a)
![\ delta_ {ij}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa75d04c11480d976e1396951e02cbb3c4f71568)
Tensors fourth stage can be presented with the attached four, for example: .
![{\ displaystyle {\ stackrel {4} {\ mathbf {1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89f1c5f3099736d3010c30dfbc4716ff887c8f3d)
In this article, the second order unit tensor and the fourth order unit tensor are used.
![{\ displaystyle \ mathbf {1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/235ffc0f1788b720aef5caa7b97246a84421fd0e)
![{\ displaystyle {\ stackrel {4} {\ mathbf {1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89f1c5f3099736d3010c30dfbc4716ff887c8f3d)
properties
Because the identity of tensors can be proven via the bilinear form , every tensor is true for the
![\ mathbf {T}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9593e3b995a1b57c078873a5ea186c7012e1a5ee)
![{\ displaystyle {\ vec {u}}, {\ vec {v}} \ in \ mathbb {V} ^ {3} \ quad \ rightarrow \ quad {\ vec {u}} \ cdot \ mathbf {T} \ cdot {\ vec {v}} = {\ vec {u}} \ cdot {\ vec {v}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/091551f2cb5869f3d0f64e95d701faea8c670268)
identical to the unit tensor. Because of
![{\ displaystyle \ mathbf {1} \ cdot {\ vec {v}} = {\ vec {v}} \ quad \ rightarrow \ quad {\ vec {v}} = \ mathbf {1} ^ {- 1} \ cdot {\ vec {v}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac293caad8c480942b521136698a7a2bcaafbdee)
the unit tensor is equal to its inverse and because of
![{\ displaystyle {\ vec {u}} \ cdot \ mathbf {1} \ cdot {\ vec {v}} = (\ mathbf {1} ^ {\ top} \ cdot {\ vec {u}}) \ cdot {\ vec {v}} = {\ vec {u}} \ cdot {\ vec {v}} \ quad {\ text {for all}} \ quad {\ vec {u}}, {\ vec {v} } \ in \ mathbb {V} ^ {3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4c010340a4fff08129168f16c7f8e89d437233b)
the unit tensor is also symmetric. From the last two properties it follows that the unit tensor is also orthogonal . Because the unit tensor does not reflect a vector (converted into the negative vector), the unit tensor is actually orthogonal, which is why it represents the "rotation" by 0 °. So its determinant is equal to one
![{\ displaystyle \ mathrm {det} (\ mathbf {1}) = 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4e60e3f4692e328ce814572ee90f1c933b6a9e5)
therefore the unit tensor is unimodular. The unit tensor is the neutral element in the tensor product "·":
-
.
The Frobenius scalar product of two tensors A and B is formed using the trace A : B : = Sp ( A T · B ). The scalar product of the unit tensor with another tensor of the second order gives its trace:
-
.
Eigensystem
From the properties of the unit tensor it can immediately be deduced that every vector is eigenvector of the unit tensor with the associated eigenvalue one. Because every basis vector of any orthonormal basis of the underlying vector space is also the eigenvector of the unit tensor, the representations
![{\ hat {v}} _ {1,2,3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5c5dd05753622abc3bc2712967380636653a3c4)
![{\ displaystyle \ mathbf {1} = \ sum _ {i = 1} ^ {3} {\ hat {v}} _ {i} \ otimes {\ hat {v}} _ {i} = \ sum _ { i, j = 1} ^ {3} \ delta _ {ij} {\ hat {v}} _ {i} \ otimes {\ hat {v}} _ {j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab82a6e29694c2a388dcd6a3676bca98156dc668)
to be used. This is where the dyadic product forms .
![\ otimes](https://wikimedia.org/api/rest_v1/media/math/render/svg/de29098f5a34ee296a505681a0d5e875070f2aea)
Representation methods with basis vectors
With respect to the standard basis , the unit tensor is called
![{\ hat {e}} _ {1,2,3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91ec2fd7cc46b4427cfd09bab244026d27d81519)
![{\ displaystyle \ mathbf {1} = \ sum _ {i = 1} ^ {3} {\ hat {e}} _ {i} \ otimes {\ hat {e}} _ {i} = \ sum _ { i, j = 1} ^ {3} \ delta _ {ij} {\ hat {e}} _ {i} \ otimes {\ hat {e}} _ {j} = {\ begin {pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \ end {pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1782b472cf42bca0f74bf25ea52ff93f05a9633)
written so that it matches its matrix notation here . For another orthonormal basis with basis vectors it can be used as
![{\ hat {v}} _ {1,2,3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5c5dd05753622abc3bc2712967380636653a3c4)
![{\ displaystyle \ mathbf {1} = \ sum _ {i = 1} ^ {3} {\ hat {v}} _ {i} \ otimes {\ hat {v}} _ {i} = \ sum _ { i, j = 1} ^ {3} \ delta _ {ij} {\ hat {v}} _ {i} \ otimes {\ hat {v}} _ {j} = {\ begin {pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \ end {pmatrix}} _ {{\ hat {v}} _ {i} \ otimes {\ hat {v}} _ {j}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/129bb4a88a338d939396acf06f975b090d85d0c2)
be noted. Is an arbitrary basis in vector space and its dual basis , then is
![{\ vec {g}} _ {{1,2,3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54c4e62024b29bed4226a28284a74d6485307f95)
![{\ displaystyle {\ vec {g}} ^ {1,2,3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eaeb83bf0f071f985230f8875c7408fe7aa1572c)
-
.
If there is another arbitrary basis of the vector space and the dual basis for it, then the general representation applies:
![{\ displaystyle {\ vec {a}} _ {1,2,3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cd64d58cd15790e1e8ce6dd493f10b75b6e6795)
![{\ displaystyle {\ vec {a}} ^ {1,2,3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad20702078a708e8f8a12de16ff975c1820059e9)
-
.
Invariants
The three main invariants of the unit tensor are
![{\ displaystyle {\ begin {array} {lll} \ mathrm {I} _ {1} &: = \ operatorname {Sp} (\ mathbf {1}) & = 3 \;, \\\ mathrm {I} _ {2} &: = {\ frac {1} {2}} (\ operatorname {Sp} {(\ mathbf {1})} ^ {2} - \ operatorname {Sp} (\ mathbf {1} ^ {2 })) & = 3 \;, \\\ mathrm {I} _ {3} &: = \ mathrm {det} (\ mathbf {1}) & = 1 \;. \ End {array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6199f732c2bf0527487e76bfe2cc72959ab72f89)
Because of this, these are also the main invariants of the n-th powers of the unit tensor. The trace of the unit tensor is equal to the dimension of the underlying vector space.
![{\ displaystyle \ mathbf {1} = \ mathbf {1 \ cdot 1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/341bf3df0152f3e9dcc3de16a4ed90abed6db80e)
The absolute value of the unit tensor is the square root of the dimension of the vector space:
-
.
The eigenvalues (here all equal to one) are also invariant.
Metric coefficients
The distance between two points with the position vectors
![{\ displaystyle {\ vec {u}} = \ sum _ {i = 1} ^ {3} u ^ {i} {\ vec {g}} _ {i} \ quad {\ text {and}} \ quad {\ vec {v}} = \ sum _ {i = 1} ^ {3} v ^ {i} {\ vec {g}} _ {i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f58286fb2efa8712dd0045364c661f2778c5989)
with coordinates and with respect to any oblique basis system is calculated with the Skalarproduktnorm to
![u ^ {i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1794f924463f261d905efba7f417274435899f28)
![{\ vec {g}} _ {{1,2,3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54c4e62024b29bed4226a28284a74d6485307f95)
-
.
This means that the products of the coefficients of the coordinate vector of the distance vector in the scalar product are weighted with the coefficients . In the representation
![{\ displaystyle u ^ {i} -v ^ {i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54103d7feba331150810d96e005f502469053a06)
![{\ displaystyle {\ vec {u}} - {\ vec {v}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa5f94652d963e03f6ae8ec8e63b02c90dd79c28)
![{\ vec {g}} _ {i} \ cdot {\ vec {g}} _ {j}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6970b31f4a287fbd7ba6c5cd8b788ea4bbf91f75)
![{\ displaystyle \ mathbf {1} = \ sum _ {i, j = 1} ^ {3} ({\ vec {g}} _ {i} \ cdot {\ vec {g}} _ {j}) { \ vec {g}} ^ {i} \ otimes {\ vec {g}} ^ {j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91e1d68b697530113d20f1c1c04512d5e0634f32)
the coefficients are called metric coefficients because the metric of the vector space is specified with the scalar product norm . If the basis vectors are covariant (tangent vectors to the oblique coordinate system) then the scalar products are the covariant metric coefficients. Accordingly, the coefficients are then the contravariant metric coefficients.
![{\ vec {g}} _ {i} \ cdot {\ vec {g}} _ {j}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6970b31f4a287fbd7ba6c5cd8b788ea4bbf91f75)
![{\ vec {g}} _ {{1,2,3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54c4e62024b29bed4226a28284a74d6485307f95)
![{\ vec {g}} _ {i} \ cdot {\ vec {g}} _ {j}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6970b31f4a287fbd7ba6c5cd8b788ea4bbf91f75)
![{\ displaystyle {\ vec {g}} ^ {i} \ cdot {\ vec {g}} ^ {j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ec10e710c7021c08c19072ddcbba85723cbcb68)
Fourth order unit tensor
The fourth-order unit tensor maps second-order tensors onto itself. If the second order tensors are the standard basis of the space of second order tensors, then is
![{\ displaystyle \ lbrace \ mathbf {E} _ {m} \ rbrace _ {m = 1.9}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6112ab1a6db2a86d6c2576bfd4c666e3ad8cd803)
![{\ displaystyle {\ mathcal {L}} (\ mathbb {V} ^ {3}, \ mathbb {V} ^ {3})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04ae7934dafadfd0f8fe83c4902794f2f4502656)
![{\ displaystyle {\ stackrel {4} {\ mathbf {1}}}: = \ sum _ {m = 1} ^ {9} \ mathbf {E} _ {m} \ otimes \ mathbf {E} _ {m }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3733d02e0c31b4a93d9f7230c22f91642072104)
the unit tensor of the fourth order. Becomes
![{\ displaystyle \ mathbf {E} _ {m}: = {\ vec {e}} _ {i} \ otimes {\ vec {e}} _ {j}, \ quad i, j = 1,2,3 , \; m = 3 (i-1) + j}](https://wikimedia.org/api/rest_v1/media/math/render/svg/104631b1621330060202398afcde5c26d6ebc09d)
can be defined as usual
![{\ displaystyle {\ stackrel {4} {\ mathbf {1}}}: = \ sum _ {i, j = 1} ^ {3} {\ vec {e}} _ {i} \ otimes {\ vec { e}} _ {j} \ otimes {\ vec {e}} _ {i} \ otimes {\ vec {e}} _ {j} = \ sum _ {i, j, k, l = 1} ^ { 3} \ delta _ {ik} \ delta _ {jl} {\ vec {e}} _ {i} \ otimes {\ vec {e}} _ {j} \ otimes {\ vec {e}} _ {k } \ otimes {\ vec {e}} _ {l}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/788821d4f55e67c1d1867e9d580ee116a799b0e8)
to be written. If there is any basis of space and the dual basis for it, then applies
![{\ displaystyle \ lbrace \ mathbf {G} _ {m} \ rbrace _ {m = {1,9}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97052af7adc71b1a89bc63ed4832f9a7a6e7d67e)
![{\ displaystyle {\ mathcal {L}} (\ mathbb {V} ^ {3}, \ mathbb {V} ^ {3})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04ae7934dafadfd0f8fe83c4902794f2f4502656)
![{\ displaystyle \ lbrace \ mathbf {G} ^ {n} \ rbrace _ {n = {1,9}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b34127fff8412ce65511bbeeecd3a26c5e1714d)
![{\ displaystyle {\ stackrel {4} {\ mathbf {1}}} = \ sum _ {m = 1} ^ {9} \ mathbf {G} _ {m} \ otimes \ mathbf {G} ^ {m} = \ sum _ {m = 1} ^ {9} \ mathbf {G} ^ {m} \ otimes \ mathbf {G} _ {m} = \ sum _ {m, n = 1} ^ {9} (\ mathbf {G} ^ {m} \ cdot \ mathbf {G} ^ {n}) \ mathbf {G} _ {m} \ otimes \ mathbf {G} _ {n} = \ sum _ {m, n = 1 } ^ {9} (\ mathbf {G} _ {m} \ cdot \ mathbf {G} _ {n}) \ mathbf {G} ^ {m} \ otimes \ mathbf {G} ^ {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b58a85342a7ddb29554df0672347c081c2d82461)
or with
![{\ displaystyle \ mathbf {G} _ {m} = {\ vec {a}} _ {i} \ otimes {\ vec {g}} _ {j}, \ quad i, j = 1,2,3, \; m = 3 (i-1) + j}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e40f24258448674498138a25a7da2dcb29f7eaf6)
![{\ displaystyle \ mathbf {G} ^ {n} = {\ vec {a}} ^ {k} \ otimes {\ vec {g}} ^ {l}, \ quad k, l = 1,2,3, \; n = 3 (k-1) + l}](https://wikimedia.org/api/rest_v1/media/math/render/svg/793c71a4ef3e384b6f08b3b3219016282d9c283d)
in the usual notation:
-
.
example
The vectors
![{\ displaystyle {\ vec {a}} _ {1} = {\ begin {pmatrix} 2 \\ 3 \\ 1 \ end {pmatrix}}, \; {\ vec {a}} _ {2} = { \ begin {pmatrix} 3 \\ - 1 \\ 2 \ end {pmatrix}}, \; {\ vec {a}} _ {3} = {\ begin {pmatrix} -3 \\ 0 \\ - 2 \ end {pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53e67ad0719c68890f39d9d48ffddb21d62a07cf)
form a base in and its dual base is
![\ mathbb {V} ^ 3](https://wikimedia.org/api/rest_v1/media/math/render/svg/a458f6c9ca144bd96fc4b28948f0769bc9ca66ab)
-
.
So you get
-
.
See also
literature