On covariant non-constancy of distortion and inversed distortion tensors
- Authors: Radayev Y.N.1, Murashkin E.V.1, Nesterov T.K.1
-
Affiliations:
- Ishlinsky Institite for Problems in Mechanics, Russian Academy of Sciences
- Issue: Vol 26, No 1 (2022)
- Pages: 37-47
- Section: Mechanics of Solids
- Submitted: 21.02.2022
- Accepted: 21.02.2022
- Published: 31.03.2022
- URL: https://journals.eco-vector.com/1991-8615/article/view/101395
- DOI: https://doi.org/10.14498/vsgtu1891
- ID: 101395
Cite item
Full Text
Abstract
The paper deals with covariant constancy problem for tensors and pseudotensors of an arbitrary rank and weight in an Euclidean space. Requisite preliminaries from pseudotensor algebra and analysis are given. The covariant constancy of pseudotensors are separately considered. Important for multidimensional geometry examples of covariant constant tensors and pseudotensors are demonstrated. In particular, integer powers of the fundamental orienting pseudoscalar satisfied the condition of covariant constancy are introduced and discussed. The paper shows that the distortion and inversed distortion tensors are not actually covariant constant, contrary to the statements of those covariant constancy which can be found in literature on continuum mechanics.
Full Text
Preliminary remarks. Variational and dynamic equations describing the mechanical behavior of solids require in general the formalism of pseudotensor analysis [1-4]. In this case, the covariant constant tensor and relative tensor fields play an important role[1]. In the present paper the notions and requisite equations from algebra and analysis of pseudotensors are discussed. An in-depth and complete presentation of the pseudotensor formalism can be found in the books on tensor analysis and continuum mechanics [2-6]. The pseudotensor formalism is inevitable for developing isotropic and hemitropic micropolar elastic continua models (see [7-10]).
In this study, the concept of covariant constancy of absolute tensor and pseudotensor fields is introduced and discussed. Examples of fundamental objects of pseudotensor analysis possessing the properties of covariant constancy are given. An algorithm for obtaining covariant constant tensors and pseudotensors proposed in the monograph [2] is considered.
The paper is due to the fact that a number of authors (see, for example, [11, p.65]) do state that the distortion and inversed distortion tensors are covariant constants. The latter statement is not generally true and should be considered as erroneous, which can be elucidated by the rational mechanics technique [12, 13]. The paper presents the correct equations being the most similar to the covariant constancy of distortion and inversed distortion.
Before all it should be noted that the paper is aimed at determination of the covariant derivative of pseudotensors, which are widely employed in the mechanics of micropolar elastic solids [7-9].
After the Preliminary remarks in Sec. 1 the definitions of fundamental orienting pseudoscalar, generalized Kronecker deltas, permutation symbols (alternating pseudotensors), and alternating tensors are recalled for N–dimensional space. The covariant differentiation of an arbitrary relative tensor is considered and a number of particular cases are given.
Then in Sec. 2 the definitions of covariant constant tensor and pseudotensor fields are proposed. It will be shown that relative and absolute tensors with constant components are covariant constants. A number of covariant constant tensors (e.g. introduced in Sec. 1 fundamental orienting pseudoscalar and its integer powers, generalized Kronecker deltas, permutation symbols, alternating tensors) is collected in the Table for convenience and further references. A general algorithm for obtaining tensors and pseudotensors with constant components which are simultaneously covariant constant is recalled and discussed following the monograph by B. G. Gurevich [2].
Table. Covariant constant tensors and pseudotensors in N-dimensional space
Standard terminology | Root notation | Weight | Transformation to absolute tensor |
fundamental orienting pseudoscalar | e | +1 | |
fundamental orienting pseudoscalar | -1 | ||
sign of fundamental orienting pseudoscalar | sgn e | - |
|
metric tensor | 0 |
| |
fundamental tensor | 0 |
| |
metric tensor determinant | g | +2 | |
sign of metric tensor determinant | sgn g | 0 |
|
generalized Kronocker deltas | 0 |
| |
alternating pseudotensors | +1 | ||
alternating pseudotensors | -1 | ||
alternating tensor | 0 | ||
alternating tensor | 0 | ||
parallel covariant vector field | 0 |
|
Finally, in Sec. 3 the definitions of distortion (deformation gradient) and inversed distortion tensors are considered according to the rational mechanics scheme. The positive absolute scalar J known from rational mechanics is recalled and calculated in terms of the fundamental orienting pseudoscalars related to referential and actual states. The tensor reformulations of Euler–Piola–Jacobi equations are proposed. Equations being the most similar to the covariant constancy of distortion and inversed distortion are obtained.
As a whole, the present paper should be considered as a contemporary framework for problems of covariant differentiation of tensors and pseudotensors fields that is important for nonlinear continuum mechanics.
1. Notions and requisite equations from algebra and analysis of pseudotensors in Euclidean space. Consider an N-dimensional Euclidean space supplied by the coordinates . The fundamental orienting pseudoscalar e [7-10] and its integer powers play an important role in the geometry of multidimensional spaces. In an N-dimensional space, it is defined as the skew product [1, p.63-65] of absolute covariant basis vectors
(1)
It is easy to demonstrate that in an Euclidean space the following relation holds true
where g is the determinant of the metric tensor .
In a three-dimensional space (N=3) the equation (1) is reformulated as
We proceed to discussion of other fundamental objects of N-dimensional geometry which are the absolute tensors , usually called as generalized Kronecker deltas. Objects are defined for each according to
By the aid of deltas the permutation symbols (alternating pseudotensors) can be immediately introduced as:
It should be noted that pseudotensors can be transformed into absolute tensors by using the fundamental orienting pseudoscalar e (see [7-10]). For an arbitrary pseudotensor of integer weight W we have
For example, the alternating tensors can be obtained from permutation symbols multiplied by the corresponding power (+1 or -1) of fundamental orienting pseudoscalar
The weight index in an upper position will be omitted for fundamental symbols such as the fundamental orienting scalar, permutation symbols, and it is also applicable to zero weight absolute tensors.
The covariant derivative of the pseudotensor of a given valency and weight is determined by the following equation corresponding to an analogous operation for absolute tensors [6]:
(2)
where
The tensor gradient of an arbitrary valency and weight W tensor is defined by the following direct equation[2]:
(3)
Expanding the equation (3) and taking account of
it can be seen that (2) follows from (3). It is clear that (for the sake of compactness, the lengths of polyads are not explicitly indicated)
Then the similar polyads can be discriminated and after a number of rearrangements we come to the equation:
Thus, the equation (2) can be derived on the ground of the definition (3).
The equation (2) in particular cases furnishes:
- covariant derivative of a pseudoscalar of weight W:
- the covariant derivative of a contravariant pseudovector of weight :
- covariant derivative of -contravariant pseudotensor of weight :
- covariant derivative of 1-contravariant and 1-covariant pseudotensor of weight W:
2. Definition and important examples of covariant constant tensor and pseudotensor fields. A given pseudotensor field of valency N and weight W is called as covariant constant if it satisfies the pseudotensor equation
(4)
Examples of covariant constant tensors and pseudotensors (see [5, 6]) are presented in Table. Among them, the fundamental orienting pseudoscalar e having been often employed in micropolar theories of continuum mechanics.
Note that the tensor equation (4), involving a pseudotensor, being valid in a given coordinate net remains valid in any other coordinate net [5, 6]. In the right-handed Cartesian coordinates, all of the tensors from Table have constant components equalled to 0 or 1. In this case, their covariant derivatives are the usual partial derivatives. Thus, each covariant derivative will be equalled to zero, that proves the covariant constancy of the absolute tensors and pseudotensors from Table in any curvilinear coordinate net.
In the monograph [2, p.164-176] a general algorithm for constructing tensors and pseudotensors with constant components is proposed. Those are clearly covariant constant ones, since the differentiation rules for sums and products lead to a zero result.
The algorithm permits obtaining an arbitrary absolute tensor with constant components by using the standard two-index Kronecker deltas in the form of a linear combination (of terms) with arbitrary constant coefficients, while each term consists of products of r delta symbols permutated in superscripts. Note that all do not constitute the complete set of covariant constant absolute tensors. An evident example is a parallel vector field, which is a covariant constant vector, but not representable as a vector with constant components.
A pseudotensor (r-covariant, s-contravariant, , N — space dimension, W — weight) having constant components is also easily constructed by reducing it to an absolute tensor. In particular, if , then the absolute tensor should be formed according to
The corresponding pseudotensor representations can be found in the monograph [2, p.175].
3. Distortion and inversed distortion tensors. We denote as (i=1,2,3) the spatial (Euler) coordinates and by the referential (Lagrangian) coordinates. Hereafter, the Latin indices are associated to the Euler coordinates, whereas the Greek ones to the Lagrangian[3]. The deformation gradient[4](or distortion tensor) is defined by the following components, called as distortions:
The inversed deformation gradient (or inversed distortion)[5] is determined according to the equation
The following equations are clearly valid
Following the rational mechanics scheme, distortion and inversed distortion are equivalently redefined by the relations
where the differential operators and denote the total covariant derivatives as of rational mechanics script found in [12, p.810].
In the book by V. L. Berdichevsky [11, p.65] it is stated that the distortion and inversed distortion are covariant constant tensors. This statement is not generally true. Following the rational mechanics scenario [12, p.244, equation (16.5)], we introduce the positive absolute scalar J:
(5)
wherein the fundamental orienting pseudoscalar e is equalled to the triple product of the convected basis vectors, is equalled to the triple products of the referential basis vectors. Basis vectors in the referential state are . Following the deformation they are transformed into . Therefore the fundamental orienting pseudoscalars in eq. (5) are determined as:
Obviously, in the case when the referential basis is right-handed Cartesian, and if the referential basis is left-handed.
The Jacobian defined by deformation will satisfy the Jacobi identity [12, p.246, equation (17.8)]
By using the latter equation, one can obtain the Euler–Piola–Jacobi equations [12, p.246, equation (17.9)]:
(6)
The tensor reformulation of equations (6) read
(7)
The equations (7) are valid in any coordinate system, including the case when the Euler and Lagrangian coordinates are Cartesian. In this case, the following relation holds:
(8)
Taking account of (8) equation (7) can be derived from (6), as in Cartesian coordinates, we have
and by applying equations (6) we can obtain the following equations:
Besides the equations (7) no other statements regarding the covariant constancy of distortion and inversed distortion tensors are known in nonlinear continuum mechanics.
Results and conclusions. Covariant constancy of absolute tensors and pseudotensors of arbitrary valence and weight has been discussed to correct erroneous statements found in the literature on nonlinear continuum mechanics.
- The notions and requisite equations from algebra and analysis of pseudotensors have been presented for clear understanding and reference framework.
- The concept of covariant constancy of tensors and pseudotensors has been proposed and discussed.
- Examples of covariant constant tensors and pseudotensors interesting for micropolar elasticity have been given in Table for convenience. In particular, the notion of fundamental orienting pseudoscalar that satisfies the condition of covariant constancy has been introduced and applied to the problems of concern.
- A general algorithm for constructing tensors and pseudotensors with constant components which simultaneously are covariant constant has been recalled and discussed.
- The distortion and inversed distortion tensors, which are fundamental for nonlinear mechanics of solids, have been shown not actually covariant constant, contrary to the erroneous statements of the covariant constancy of distortion and inversed distortion discovered after a literary search.
Competing interests. We declare that we have no competing interests.
Author’s Responsibilities. Each author has participated in the article concept development and in the manuscript writing. We take full responsibility for submit the final manuscript to print. We approved the final version of the manuscript.
Funding. The work was carried out within the framework of a state assignment (state registration no. AAAA–A20–120011690132–4) and with the support of the Russian Foundation for Basic Research (project no. 20–01–00666).
Acknowledgments. The authors are grateful to the reviewers for careful reading of the paper and valuable improvements, suggestions and comments.
[1] For example, following I. S. Sokolnikoff [6], covariant constant (parallel) Euler vector fields can be used in order to formulate the principle of virtual displacements.
[2] The Hamilton nabla is conventionally defined according to: .
[3] In the early papers on rational mechanics (see, for example, [12]) the Latin capital letters K, L, M have been used in place of Greek. However, in the later work [13] the letters of the Greek alphabet had been imployed.
[4] More precisely, the transposed deformation gradient .
[5] In contemporary continuum mechanics, along with the direct description , the “inversed motion description” [14] is also searchable in literature. It seems that the “inversed description” was introduced into mechanics by G. Piola.
About the authors
Yuri N. Radayev
Ishlinsky Institite for Problems in Mechanics, Russian Academy of Sciences
Email: y.radayev@gmail.com
ORCID iD: 0000-0002-0866-2151
SPIN-code: 5886-9203
Scopus Author ID: 6602740688
ResearcherId: J-8505-2019
http://www.mathnet.ru/person39479
D.Sc. (Phys. & Math. Sci.), Ph.D., M.Sc., Professor; Leading Researcher; Lab. of Modeling in Solid Mechanics
Russian Federation, 101–1, pr. Vernadskogo, Moscow, 119526Evgenii V. Murashkin
Ishlinsky Institite for Problems in Mechanics, Russian Academy of Sciences
Email: evmurashkin@gmail.com
ORCID iD: 0000-0002-3267-4742
SPIN-code: 4022-4305
Scopus Author ID: 12760003400
ResearcherId: F-4192-2014
http://www.mathnet.ru/person53045
Cand. Phys. & Math. Sci., PhD, MD; Senior Researcher; Lab. of Modeling in Solid Mechanics
Russian Federation, 101–1, pr. Vernadskogo, Moscow, 119526Timofey K. Nesterov
Ishlinsky Institite for Problems in Mechanics, Russian Academy of Sciences
Author for correspondence.
Email: nesterovtim4@gmail.com
ORCID iD: 0000-0003-0844-0484
http://www.mathnet.ru/person180992
M.Sc. (Applied Mathematics); Postgraduate Student; Lab. of Modeling in Solid Mechanics
Russian Federation, 101–1, pr. Vernadskogo, Moscow, 119526References
- Rozenfel’d B. A. Mnogomernye prostranstva [ Multidimensional Spaces]. Moscow, Nauka, 1966, 648 pp. (In Rissian)
- Gurevich G. B. Foundations of the theory of algebraic invariants. Groningen, P. Noordhoff, 1964, viii+429 pp.
- Synge J. L., Schild A. Tensor Calculus, Dover Books on Advanced Mathematics, vol. 5. New York, Courier Corporation, 1978, ix+324 pp.
- Schouten J. A. Tensor Analysis for Physicist. Oxford, Clarendon Press, 1951, xii+277 pp.
- McConnell A. J. Application of Tensor Analysis. New York, Dover Publ., 1957, xii+318 pp.
- Sokolnikoff I. S. Tensor Analysis: Theory and Applications to Geometry and Mechanics of Continua, Applied Mathematics Series. New York, John Wiley & Sons, 1964, xii+361 pp.
- Radayev Yu. N. The Lagrange multipliers method in covariant formulations of micropolar continuum mechanics theories, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2018, vol. 22, no. 3, pp. 504–517. https://doi.org/10.14498/vsgtu1635.
- Radayev Yu. N., Murashkin E. V. Pseudotensor formulation of the mechanics of hemitropic micropolar media, Problems of Strength and Plasticity, 2020, vol. 82, no. 4, pp. 399–412 (In Russian). https://doi.org/10.32326/1814-9146-2020-82-4-399-412.
- Murashkin E. V., Radayev Yu. N. On a micropolar theory of growing solids, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2020, vol. 24, no. 3, pp. 424–444. https://doi.org/10.14498/vsgtu1792.
- Kovalev V. A., Murashkin E. V., Radayev Yu. N. On the Neuber theory of micropolar elasticity. A pseudotensor formulation, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2020, vol. 24, no. 4, pp. 752–761. https://doi.org/10.14498/vsgtu1799.
- Berdichevsky V. L. Variational Principles of Continuum Mechanics. Moscow, Nauka, 1983, 448 pp. (In Russian)
- Truesdell C., Toupin R. The Classical Field Theories, In: Principles of Classical Mechanics and Field Theory, Encyclopedia of Physics, III/1; eds. S. Flügge. Berlin, Heidelberg, Springer, 1960, pp. 226–858. https://doi.org/10.1007/978-3-642-45943-6_2.
- Truesdell C., Noll W. The Nonlinear Field Theories of Mechanics. Berlin, Springer, 2004, xxix+602 pp.
- Maugin G. A. Material Inhomogeneities in Elasticity, Applied Mathematics and Mathematical Computation, vol. 3. London, Chapman & Hall, 1993, xii+276 pp.