Abstract
The present paper aims to develop geometrical approach for finite incompatible deformations arising in growing solids. The phenomena of incompatibility is modeled by specific affine connection on material manifold, referred to as material connection. It provides complete description of local incompatible deformations for simple materials. Meanwhile, the differential-geometric representation of such connection is not unique. It means that one can choose different ways for analytical definition of connection for single given physical problem. This shows that, in general, affine connection formalism provides greater potential than is required to the theory of simple materials (first gradient theory). For better understanding of this inconsistence it is advisable to study different ways for material connection formalization in details. It is the subject of present paper. Affine connection endows manifolds with geometric properties, in particular, with parallel transport on them. For simple materials the parallel transport is elegant mathematical formalization of the concept of a materially uniform (in particular, a stress-free) non-Euclidean reference shape. In fact, one can obtain a connection of physical space by determining the parallel transport as a transformation of the tangent vector, which corresponds to the structure of the physical space containing shapes of the body. One can alternatively construct affine connection of material manifold by defining parallel transport as the transformation of the tangent vector, in which its inverse image with respect to locally uniform embeddings does not change. Utilizing of the conception of material connections and the corresponding methods of non-Euclidean geometry may significantly simplify formulation of the initial-boundary value problems of the theory of incompatible deformations. Connection on the physical manifold is compatible with metric and Levi-Civita relations holds for it. Connection on the material manifold is considered in three alternative variants. The first leads to Weitzenböck space (the space of absolute parallelism or teleparallelism, i.e., space with zero curvature and nonmetricity, but with non-zero torsion) and gives a clear interpretation of the material connection in terms of the local linear transformations which transform an elementary volume of simple material into uniform state. The second one allows to choose the Riemannian space structure (with zero torsion and nonmetricity, but nonzero curvature) in material manifold and it is the most convenient way for deriving of field equations. The third variant is based on Weyl manifold with specified volume form and non-vanishing nonmetricity.
Similar content being viewed by others
Notes
Strictly speaking, we can refer to it only if physical space is Euclidean.
This operation is needed for defining the geometry on \(B\).
Here \(\varkappa_{0}\) is fixed configuration which image is the shape \(\mathcal{S}\), while \(\varkappa\) is some configuration. In these reasonings the deformation is considered with extension of codomain of diffeomorphism between shapes to the whole \(\mathcal{P}\).
In the case when growing solid is obtained by some additive manufacturing process, the initial body is the substrate on which the material is deposited.
One can regard this moving as some kind of generalized motion on material manifold [35].
The nonholonomity means that there doesn’t exist local coordinates \((\mathfrak{p}^{i})_{i=1}^{3}\), for which \({e}_{i}=\partial_{\mathfrak{p}^{i}}\), \(i=1,2,3\).
Here and in what follows the designation \({\mathfrak{X}}\,(M)\) is used for the algebra of smooth vector fields on manifold \(M\) and notation \(C^{\infty}(M;N)\) stands for the set of all smooth mappings between manifolds \(M\) and \(N\).
REFERENCES
I. Kolar, P. W. Michor, and J. Slovak, Natural Operations in Differential Geometry (Springer, Berlin, Heidelberg, 1993). https://doi.org/10.1007/978-3-662-02950-3
S. Chern, W. Chen, and K. Lam, Lectures on Differential Geometry (World Scientific, Singapore, 1999).
G. Rudolph and M. Schmidt, Differential Geometry and Mathematical Physics. Part II. Fibre Bundles, Topology and Gauge Fields (Springer Science, Dordrecht, 2017). https://doi.org/10.1007/978-94-024-0959-8
L. Mangiarotti and G. Sardanashvili, Connections in Classical and Quantum Field Theory (World Scientific, Singapore, 2000).
E. Poisson, A Relativist’s Toolkit: The Mathematics of Black-Hole Mechanics (Cambridge Univ. Press, Cambridge, 2004). https://doi.org/10.1017/CBO9780511606601
T. Frankel, The Geometry of Physics: An Introduction (Cambridge Univ. Press, Cambridge, 2011).
R. Aldrovandi and J. G. Pereira, Teleparallel Gravity. An Introduction (Springer, Netherlands, 2013).
S. Lychev and K. Koifman, Geometry of Incompatible Deformations: Differential Geometry in Continuum Mechanics (De Gruyter, New York, 2018).
F. Sozio and A. Yavari, ‘‘Riemannian and Euclidean material structures in anelasticty,’’ Math. Mech. Solids (2020). https://doi.org/10.1177/1081286519884719
K. Kondo, ‘‘On the analytical and physical foundations of the theory of dislocations and yielding by the differential geometry of continua,’’ Int. J. Eng. Sci. 2, 219–251 (1964).
A. Grachev, A. Nesterov, and S. Ovchinnikov, ‘‘The gauge theory of point defects,’’ Phys. Status Solidi B 156, 403–410 (1989). https://doi.org/10.1002/pssb.2221560203
M. Miri and N. Rivier, ‘‘Continuum elasticity with topological defects, including dislocations and extra-matter,’’ J. Phys. A 35, 1727–1739 (2002). https://doi.org/10.1088/0305-4470/35/7/317
S. Lurie and A. Kalamkarov, ‘‘General theory of defects in continuous media,’’ Int. J. Solids Struct. 43, 91–111 (2006). https://doi.org/10.1016/j.ijsolstr.2005.05.011
A. Yavari and A. Goriely, ‘‘Riemann–Cartan geometry of nonlinear dislocation mechanics,’’ Arch. Ration. Mech. Anal. 205, 59–118 (2012). https://doi.org/10.1007/s00205-012-0500-0
A. Yavari and A. Goriely, ‘‘Weyl geometry and the nonlinear mechanics of distributed point defects,’’ Proc. R. Soc. A 468, 3902–3922 (2012). https://doi.org/10.1098/rspa.2012.0342
S. Lychev and A. Manzhirov, ‘‘The mathematical theory of growing bodies. Finite deformations,’’ J. Appl. Math. Mech. 77, 421–432 (2013). https://doi.org/10.1016/j.jappmathmech.2013.11.011
F. Sozio and A. Yavari, ‘‘Nonlinear mechanics of surface growth for cylindrical and spherical elastic bodies,’’ J. Mech. Phys. Solids 98, 12–48 (2017). https://doi.org/10.1016/j.jmps.2016.08.012
S. A. Lychev, G. V. Kostin, T. N. Lycheva, and K. G. Koifman, ‘‘Non-Euclidean geometry and defected structure for bodies with variable material composition,’’ J. Phys.: Conf. Ser. 1250, 012035 (2019). https://doi.org/10.1088/1742-6596/1250/1/012035
S. Lychev and K. Koifman, ‘‘Nonlinear evolutionary problem for a laminated inhomogeneous spherical shell,’’ Acta Mech. 230, 3989–4020 (2019). https://doi.org/10.1007/s00707-019-02399-7
F. Sozio and A. Yavari, ‘‘Nonlinear mechanics of accretion,’’ J. Nonlin. Sci. 29, 1813–1863 (2019). https://doi.org/10.1007/s00332-019-09531-w
K. Kondo, ‘‘Geometry of elastic deformation and incompatibility,’’ in Memoirs of the Unifying Study of the Basic Problems in Engineering Science by Means of Geometry (Gakujutsu Bunken Fukyo-Kai, Tokyo, 1955), Vol. 1, pp. 5–17.
K. Kondo, ‘‘Non-Riemannian geometry of imperfect crystals from a macroscopic viewpoint,’’ in Memoirs of the Unifying Study of the Basic Problems in Engineering Science by Means of Geometry (Gakujutsu Bunken Fukyo-Kai, Tokyo, 1955), Vol. 1, pp. 6–17.
K. Kondo, ‘‘Non-Riemannian and Finslerian approaches to the theory of yielding,’’ Int. J. Eng. Sci. 1, 71–88 (1963).
W. Noll, ‘‘Materially uniform simple bodies with inhomogeneities,’’ Arch. Ration. Mech. Anal. 27, 1–32 (1967).
J. T. Wheeler, ‘‘Weyl gravity as general relativity,’’ Phys. Rev. D 90, 025027 (2014). https://doi.org/10.1103/physrevd.90.025027
G. A. Maugin, Material Inhomogeneities in Elasticity (CRC, Boca Raton, FL, 1993).
M. Epstein and M. Elzanowski, Material Inhomogeneities and their Evolution: A Geometric Approach (Springer Science, New York, 2007).
C. A. Truesdell, A First Course in Rational Continuum Mechanics, Vol. 1: General Concepts (Academic, New York, 1977).
R. Abraham, J. E. Marsden, and T. Ratiu, Manifolds, Tensor Analysis, and Applications (Springer Science, New York, 2012).
C. Truesdell and W. Noll, The Non-Linear Field Theories of Mechanics/Die Nicht-Linearen Feldtheorien der Mechanik (Springer Science, New York, 2013).
S. Lychev and K. Koifman, ‘‘Geometric aspects of the theory of incompatible deformations. Part I. Uniform configurations,’’ Nanomech. Sci. Technol. Int. J. 7, 177–233 (2016). https://doi.org/10.1615/NanomechanicsSciTechnolIntJ.v7.i3.10
S. A. Lychev, G. V. Kostin, K. G. Koifman, and T. N. Lycheva, ‘‘Modeling and optimization of layer-by-layer structures,’’ J. Phys.: Conf. Ser. 1009, 012014 (2018). https://doi.org/10.1088/1742-6596/1009/1/012014
D. Husemoller, Fibre Bundles (Springer, New York, 1994). https://doi.org/10.1007/978-1-4757-2261-1
J. M. Lee, Introduction to Topological Manifolds (Springer, New York, 2011). https://doi.org/10.1007/978-1-4419-7940-7
A. Yavari, J. E. Marsden, and M. Ortiz, ‘‘On spatial and material covariant balance laws in elasticity,’’ J. Math. Phys. 47, 042903 (2006). https://doi.org/10.1063/1.2190827
V. Goldberg and S.-S. Chern, Riemannian Geometry in an Orthogonal Frame (World Scientific, Singapore, 2001).
O. E. Fernandez and A. M. Bloch, ‘‘The Weitzenböck connection and time reparameterization in nonholonomic mechanics,’’ J. Math. Phys. 52, 012901 (2011). https://doi.org/10.1063/1.3525798
B. Dhas, A. Srinivasa, and D. Roy, ‘‘A Weyl geometric model for thermo-mechanics of solids with metrical defects,’’ arXiv: 1904.06956v1 (2019).
A. Saa, ‘‘Volume-forms and minimal action principles in affine manifolds,’’ J. Geom. Phys. 15, 102–108 (1995).
E. J. Cartan, ‘‘Sur les variétés á connexion affine et la théorie de la relativité généralisée,’’ Ann. Sci. Ecole Norm. Supér. 40, 325–412 (1923).
E. Kröner, ‘‘Allgemeine Kontinuumstheorie der Versetzungen und Eigenspannungen,’’ Arch. Ration. Mech. Anal. 4, 18–334 (1959).
D. G. Edelen, ‘‘A four-dimensional formulation of defect dynamics and some of its consequences,’’ Int. J. Eng. Sci. 18, 1095–1116 (1980). https://doi.org/10.1016/0020-7225(80)90112-3
Funding
The study was partially supported by the Government program (contract no. AAAA-A20-120011690132-4) and partially supported by RFBR (grant nos. 19-01-00173 and 18-29-03228).
Author information
Authors and Affiliations
Corresponding authors
Additional information
(Submitted by A. M. Elizarov)
Appendices
Appendix. 1. Material Connection
36\({}^{\mathbf{\circ}}\) Conventional definitions of operators like gradient, divergence and curl are based on Euclidean parallel transport rule. If u is a vector field in Euclidean space and o is a fixed point then we can transport all values \(\textbf{u}(\text{x})\) to o along arbitrary curves, conserving lengths and directions of these vectors. Thus, we can define derivative at o as the relative increment.
In the case of the body manifold if \({u}\) is a vector field on it, then for distinct points \(\mathfrak{p}\) and \(\mathfrak{q}\) the ‘‘sum’’ \({u}_{\mathfrak{p}}+{u}_{\mathfrak{q}}\) has no sense since values \({u}_{\mathfrak{p}}\) and \({u}_{\mathfrak{q}}\) belong to different fibers of tangent bundle. This implies the difficulty of defining the derivative as a limit of relative increment. We need an extra rule to connect spaces \(T_{\mathfrak{p}}\mathfrak{B}\) and \(T_{\mathfrak{q}}\mathfrak{B}\). Such the rule is called as parallel transport rule and is defined by an affine connection on \(\mathfrak{B}\), which is the mapping
that satisfies the following axioms [2, 3]:
-
(\(\nabla_{1}\)) \(\forall{u},{v},{w}\in{\mathfrak{X}}\,(\mathfrak{B}):\;\nabla^{B}_{{u}+{v}}{w}=\nabla^{B}_{{u}}{w}+\nabla_{{v}}{w}\);
-
(\(\nabla_{2}\)) \(\forall{u},{v}\in{\mathfrak{X}}\,(\mathfrak{B})\;\forall f\in C^{\infty}(\mathfrak{B};\mathbb{R}):\;\nabla^{B}_{f{u}}{v}=f\nabla^{B}_{{u}}{v}\);
-
(\(\nabla_{3}\)) \(\forall{u},{v},{w}\in{\mathfrak{X}}\,(\mathfrak{B}):\;\nabla^{B}_{{u}}({v}+{w})=\nabla^{B}_{{u}}{v}+\nabla^{B}_{{u}}{w}\);
-
(\(\nabla_{4}\)) \(\forall{u},{v}\in{\mathfrak{X}}\,(\mathfrak{B})\;\forall f\in C^{\infty}(\mathfrak{B};\mathbb{R}):\;\nabla^{B}_{{u}}(f{v})=f\nabla^{B}_{{u}}{v}+({u}f){v}\).
Axioms (\(\nabla_{1}\)) and (\(\nabla_{2}\)) declare that \(\nabla^{B}\) is linear with respect to the lower argument, while axioms (\(\nabla_{3}\)) and (\(\nabla_{4}\)) state that \(\nabla^{B}\) is additive with respect to the second argument, but not homogeneous. The homogeneity condition is replaced with Leibniz rule. We refer to the value \(\nabla^{B}_{{u}}{v}\) as covariant derivative.
In some chart \((U,\varphi)\) on the body the restriction of the connection \(\nabla^{B}\) on \(U\) can be represented in coordinatewise form. There exist \(27\) functions \(\Gamma_{jk}^{i}\in C^{\infty}(U;\mathbb{R})\) such that \(\nabla^{B}_{\partial_{j}}\partial_{k}=\Gamma_{jk}^{i}\partial_{i}\). Thus, for vector fields \({u}=u^{i}\partial_{i}\) and \({v}=v^{i}\partial_{i}\) on \(U\) one gets equality \(\nabla^{B}_{{u}}{v}=u^{i}(\partial_{i}v^{k}+v^{j}\Gamma_{ij}^{k})\partial_{k}\). We refer to functions \(\Gamma_{jk}^{i}\) as connection symbols.
2. Parallel Transport and Autoparallelism
37\({}^{\mathbf{\circ}}\) Material connection \(\nabla^{B}\) allows one to introduce linear operators that act between tangent fibers of the body \(\mathfrak{B}\) in intrinsic way. Each such operator depends on curve with ends at base points of two fibers and defines the transport of tangent vector along this curve from one fiber to another. With a view to define such operators we consider a vector field \({u}\in{\mathfrak{X}}\,(\mathfrak{B})\) and a smooth curve \(\chi:\mathbb{I}\rightarrow\mathfrak{B}\). If \(\nabla_{\chi^{\prime}}{u}=0\) then we say that \({u}\) is parallel transported along \(\chi\). In a chart on \(\mathfrak{B}\), we have first order differential equation \(\dot{u}^{b}+u^{c}\dot{\chi}^{a}\Gamma_{ca}^{b}=0\), \(b=1,2,3\), If \(\mathfrak{p}=\chi(t_{0})\), then one has the following initial condition: \({u}_{\mathfrak{p}}={u}_{0}\). Thus, locally, there exists a unique solution for the Cauchy problem
This allows us to define parallel transport map \(P_{t_{0}}^{t}:T_{\chi(t_{0})}\mathfrak{B}\rightarrow T_{\chi(t)}\mathfrak{B}\) as follows: it transforms each element \({u}_{0}\in T_{\chi(t_{0})}\mathfrak{B}\) to the value \({u}(t)\) of the solution \({u}\) for the Cauchy problem (A1); \(P_{t_{0}}^{t}:{u}_{0}\mapsto{u}(t)\).
Parallel transport map allows us to represent covariant derivative as limit of relative increment. If \(\mathfrak{p}\) is material point and \(\chi\) is a smooth curve on \(\mathfrak{B}\) passing through \(\mathfrak{p}\), i.e., \(\chi(0)=\mathfrak{p}\), then we get
Here \(P_{t}^{0}{v}_{\chi(t)}\) is an element of \(T_{\chi(0)}\mathfrak{B}\) and the difference \(P_{t}^{0}{v}_{\chi(t)}-{v}_{\chi(0)}\) is well-defined since it belongs to \(T_{\chi(0)}\mathfrak{B}\).
38\({}^{\mathbf{\circ}}\) It may happen that field of infinitesimal generators of curve \(\chi:\mathbb{I}\rightarrow\mathfrak{B}\) can be parallel transported along this curve, i.e., the equation \(\nabla^{B}_{\chi^{\prime}}\chi^{\prime}=0\) is satisfied identically. In this case we say that the curve \(\chi\) isautoparallel. In a smooth chart one gets the system
3. Torsion, Curvature, and Nonmetricity
39\({}^{\mathbf{\circ}}\) Connection symbols may differ from zero in Euclidean space with respect to curvilinear coordinates as well as in the space \(\mathfrak{B}\) with arbitrary material connection. It means that connection symbols \(\Gamma_{jk}^{i}\) cannot characterize the geometry, and, therefore, structural inhomogeneity of the body. The deviation of geometry from the Euclidean one is described by tensor fields of torsion \(\mathfrak{T}:{\mathfrak{X}}\,(\mathfrak{B})\times{\mathfrak{X}}\,(\mathfrak{B})\rightarrow{\mathfrak{X}}\,(\mathfrak{B})\), Riemann curvature \(\mathfrak{R}:{\mathfrak{X}}\,(\mathfrak{B})\times{\mathfrak{X}}\,(\mathfrak{B})\times{\mathfrak{X}}\,(\mathfrak{B})\rightarrow{\mathfrak{X}}\,(\mathfrak{B})\), and nonmetricity \(\mathfrak{Q}:{\mathfrak{X}}\,(\mathfrak{B})\times{\mathfrak{X}}\,(\mathfrak{B}\times{\mathfrak{X}}\,(\mathfrak{B})\rightarrow C^{\infty}(\mathfrak{B};\mathbb{R})\), which completely characterize the connection on \(\mathfrak{B}\). These fields are defined as follows:
where \([\cdot,\cdot]:{\mathfrak{X}}\,(\mathfrak{B})\times{\mathfrak{X}}\,(\mathfrak{B})\rightarrow{\mathfrak{X}}\,(\mathfrak{B})\) are Lie brackets, \([{u},{v}]f:={u}({v}(f))-{v}({u}(f))\).
In a coordinate frame fields of torsion \(\mathfrak{T}\) (A2), curvature \(\mathfrak{R}\) (A3) and nonmetricity \(\mathfrak{Q}\) (A4) are represented by components
where \(i,j,k,t=1,2,3\). Formulae (A5) and (A6) imply relations between connection coefficients, torsion and nonmetricity components in coordinate frame [8]:
where \(\mathfrak{T}_{kij}=(\mathfrak{g}^{B})_{km}\mathfrak{T}_{ij}^{m}\). We have the following interpretation of (A7): it is sufficient to define Riemannian metric and independent tensors \(\mathfrak{Q}\) and \(\mathfrak{T}\) for introducing an affine connection on the manifold \(\mathfrak{B}\).
4. Geodesics
40\({}^{\mathbf{\circ}}\) Material metric \(\text{g}^{B}\) allows to define lengths of curves on \(\mathfrak{B}\) which can be regarded as reference lengths of material fibers. If \(\chi:{]a,b[}\rightarrow\mathfrak{B}\) is a curve then its length is defined intrinsically as
In a chart we have \(\mathfrak{g}^{B}=(\mathfrak{g}^{B})_{ij}d\mathfrak{p}^{i}\otimes d\mathfrak{p}^{j}\), \(\chi(t)=(\chi^{1}(t),\chi^{2}(t),\chi^{3}(t))\) and \(\chi^{\prime}(t)=\dot{\chi}^{i}(t)\partial_{i}|_{\chi(t)}\). Then one arrives at the coordinate expression for \(l_{\mathfrak{g}^{B}}(\chi)\):
where \(L(\chi^{i},\dot{\chi}^{i})=\sqrt{(\mathfrak{g}^{B})_{ij}(\chi^{1},\chi^{2},\chi^{3})\dot{\chi}^{i}\dot{\chi}^{j}}\) is the Lagrangian density. Consider extremals of the functional \(l_{\mathfrak{g}^{B}}(\chi)\): \(\delta l_{\mathfrak{g}^{B}}(\chi)=0\). We refer to them as geodesics. The system of the Euler–Lagrange equations has the form
and derivation gives the equation of geodesics:
where \([(\mathfrak{g}^{B})^{ij}]=[(\mathfrak{g}^{B})_{ij}]^{-1}\).
Rights and permissions
About this article
Cite this article
Lychev, S.A., Koifman, K.G. Material Affine Connections for Growing Solids. Lobachevskii J Math 41, 2034–2052 (2020). https://doi.org/10.1134/S1995080220100121
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1995080220100121