arXiv subjects

Adam Sky

Publications and source records attributed to Adam Sky.

At least 19 recordsLinked to original sources

arXiv2026

A structure-preserving discretisation of SO(3)-rotation fields for finite Cosserat micropolar elasticity

We introduce a new method, dubbed Geometric Structure-Preserving Interpolation ($\Gamma$-SPIN) to preserve physics-constraints inherent in the material parameter limits of the finite-strain Cosserat micropolar model. The method advocates to interpolate the Cosserat rotation tensor using geodesic elements, which maintain objectivity and correctly represent curvature measures. At the same time, it proposes relaxing the interaction between the rotation tensor and the deformation tensor to alleviate locking effects. This relaxation is achieved in two steps. First, the regularity of the Cosserat rotation tensor is reduced by interpolating it into the N\'ed\'elec space. Second, the resulting field is projected back onto the Lie-group of rotations. Together, these steps define a lower-regularity projection-based interpolation. The construction allows the discrete Cosserat rotation tensor to match the polar part of the discrete deformation tensor. This ensures stable behaviour in the asymptotic regime as the Cosserat couple modulus tends to infinity, which constrains the model towards its couple-stress limit. We establish the consistency, stability, and optimality of the proposed method through several benchmark problems. The study culminates in a demonstration of its efficacy on a more intricate curved domain, contrasted with outcomes obtained from conventional interpolation techniques.

math.NA↗

arXiv2025

Cosserat micropolar and couple-stress elasticity models of flexomagnetism at finite deformations

We propose geometrically nonlinear (finite) continuum models of flexomagnetism based on the Cosserat micropolar and its descendent couple-stress theory. These models introduce the magneto-mechanical interaction by coupling the micro-dislocation tensor of the micropolar model with the magnetisation vector using a Lifshitz invariant. In contrast to conventional formulations that couple strain-gradients to the magnetisation using fourth-order tensors, our approach relies on third-order tensor couplings by virtue of the micro-dislocation being a second-order tensor. Consequently, the models permit centrosymmetric materials with a single new flexomagnetic constant, and more generally allow cubic-symmetric materials with two such constants. We postulate the flexomagnetic action-functionals and derive the corresponding governing equations using both scalar and vectorial magnetic potential formulations, and present numerical results for a nano-beam geometry, confirming the physical plausibility and computational feasibility of the models.

cond-mat.mtrl-sci↗

arXiv2024

Hypo-elasticity, Cauchy-elasticity, corotational stability and monotonicity in the logarithmic strain

We combine the rate-formulation for the objective, corotational Zaremba-Jaumann rate \begin{align} \frac{{\rm D}^{\rm ZJ}}{{\rm D} t} [\sigma] = \mathbb{H}^{\rm ZJ}(\sigma).D, \qquad D = {\rm sym} {\rm D} v\,, \end{align} operating on the Cauchy stress $\sigma$, the Eulerian strain rate $D$ and the spatial velocity $v$ with the novel \enquote{corotational stability postulate} (CSP)\begin{equation} \Bigl\langle \frac{{\rm D}^{\rm ZJ}}{{\rm D} t}[\sigma], D \Bigr\rangle > 0 \qquad \forall \, D\in{\rm Sym}(3)\setminus\{0\} \end{equation} to show that for a given isotropic Cauchy-elastic constitutive law $B \mapsto \sigma(B)$ in terms of the left Cauchy-Green tensor $B = F F^T$, the induced fourth-order tangent stiffness tensor $\mathbb{H}^{\rm ZJ}(\sigma)$ is positive definite if and only if for $\widehat{\sigma}(\log B):=\sigma(B)$, the strong monotonicity condition (TSTS-M$^{++}$) in the logarithmic strain is satisfied. Thus (CSP) implies (TSTS-M^{++}) and vice-versa, and both imply the invertibility of the hypo-elastic material law between the stress and strain rates given by the tensor $\mathbb{H}^{\rm ZJ}(\sigma)$. The same characterization remains true for the corotational Green-Naghdi rate as well as the corotational logarithmic rate, conferring the corotational stability postulate (CSP) together with the monotonicity in the logarithmic strain tensor (TSTS-M^{++}) a far reaching generality. It is conjectured that this characterization of (CSP) holds for a large class of reasonable corotational rates. The result for the logarithmic rate is based on a novel chain rule for corotational derivatives of isotropic tensor functions.

math.AP↗

arXiv2024

A constitutive condition for idealized isotropic Cauchy elasticity involving the logarithmic strain

Following Hill and Leblond, the aim of our work is to show, for isotropic nonlinear elasticity, a relation between the corotational Zaremba-Jaumann objective derivative of the Cauchy stress $\sigma$, i.e. \begin{equation} \frac{{\rm D}^{\rm ZJ}}{{\rm D} t}[\sigma] = \frac{{\rm d}}{{\rm d}{t}}[\sigma] - W \, \sigma + \sigma \, W, \qquad W = {\rm skew}(\dot F \, F^{-1}) \end{equation} and a constitutive requirement involving the logarithmic strain tensor. Given the deformation tensor $F ={\rm D} \varphi$, the left Cauchy-Green tensor $B = F \, F^T$, and the strain-rate tensor $D = {\rm sym}(\dot F \, F^{-1})$, we show that \begin{equation} \label{eqCPSdef} \begin{alignedat}{2} \forall \,D\in{\rm Sym}(3) \! \setminus \! \{0\}: ~ \langle{\frac{{\rm D}^{\rm ZJ}}{{\rm D} t}[\sigma]},{D}\rangle > 0 \quad &\iff \quad \log B \longmapsto \widehat\sigma(\log B) \;\textrm{is strongly Hilbert-monotone} &\iff \quad {\rm sym} {\rm D}_{\log B} \widehat \sigma(\log B) \in{\rm Sym}^{++}_4(6) \quad \text{(TSTS-M$^{++}$)}, \end{alignedat} \tag{1} \end{equation} where ${\rm Sym}^{++}_4(6)$ denotes the set of positive definite, (minor and major) symmetric fourth order tensors. We call the first inequality ``corotational stability postulate'' (CSP), a novel concept, which implies the \textbf{T}rue-\textbf{S}tress \textbf{T}rue-\textbf{S}train strict Hilbert-\textbf{M}onotonicity (TSTS-M$^+$) for $B \mapsto \sigma(B) = \widehat \sigma(\log B)$, i.e. \begin{equation} \langle \widehat\sigma(\log B_1)-\widehat\sigma(\log B_2),{\log B_1-\log B_2} \rangle> 0 \qquad \forall \, B_1\neq B_2\in{\rm Sym}^{++}(3) \, . \end{equation} In this paper we expand on the ideas of Hill and Leblond, extending Leblonds calculus to the Cauchy elastic case.

math.AP↗

arXiv2024

Intrinsic mixed-dimensional beam-shell-solid couplings in linear Cosserat continua via tangential differential calculus

We present an approach to the coupling of mixed-dimensional continua by employing the mathematically enriched linear Cosserat micropolar model. The kinematical reduction of the model to lower dimensional domains leaves its fundamental degrees of freedom intact. Consequently, the degrees of freedom intrinsically agree even at the interface with a domain of a different dimensionality. Thus, this approach circumvents the need for intermediate finite elements or mortar methods. We introduce the derivations of all models of various dimensions using tangential differential calculus. The coupling itself is then achieved by defining a mixed-dimensional action functional with consistent Sobolev trace operators. Finally, we present numerical examples involving a three-dimensional silicone-rubber block reinforced with a curved graphite shell on its lower surface, a three-dimensional silver block reinforced with a graphite plate and beams, and lastly, intersecting silver shells reinforced with graphite beams.

math.NA↗

arXiv2024

Yet another best approximation isotropic elasticity tensor in plane strain

For plane strain linear elasticity, given any anisotropic elasticity tensor $\mathbb{C}_{\rm aniso}$, we determine a best approximating isotropic counterpart $\mathbb{C}_{\rm iso}$. This is not done by using a distance measure on the space of positive definite elasticity tensors (Euclidean or logarithmic distance) but by considering two simple isotropic analytic solutions (center of dilatation and concentrated couple) and best fitting these radial solutions to the numerical anisotropic solution based on $\mathbb{C}_{\rm aniso}$. The numerical solution is done via a finite element calculation, and the fitting via a subsequent quadratic error minimization. Thus, we obtain the two Lam\'e-moduli $\mu$, $\lambda$ (or $\mu$ and the bulk-modulus $\kappa$) of $\mathbb{C}_{\rm aniso}$. We observe that our so-determined isotropic tensor $\mathbb{C}_{\rm iso}$ coincides with neither the best logarithmic fit of Norris nor the best Euclidean fit. Our result calls into question the very notion of a best-fit isotropic elasticity tensor to a given anisotropic material.

math.AP↗

arXiv2024

Novel $H^\mathrm{dev}(\mathrm{Curl})$-conforming elements on regular triangulations and Clough--Tocher splits for the planar relaxed micromorphic model

In this work we present a consistent reduction of the relaxed micromorphic model to its corresponding two-dimensional planar model, such that its capacity to capture discontinuous dilatation fields is preserved. As a direct consequence of our approach, new conforming finite elements for $H^\mathrm{dev}(\mathrm{Curl},A)$ become necessary. We present two novel $H^\mathrm{dev}(\mathrm{Curl},A)$-conforming finite element spaces, of which one is a macro element based on Clough--Tocher splits, as well as primal and mixed variational formulations of the planar relaxed micromorphic model. Finally, we demonstrate the effectiveness of our approach with two numerical examples.

math.NA↗

arXiv2024

Formulae and transformations for simplicial tensorial finite elements via polytopal templates

We introduce a unified method for constructing the basis functions of a wide variety of partially continuous tensor-valued finite elements on simplices using polytopal templates. These finite element spaces are essential for achieving well-posed discretisations of mixed formulations of partial differential equations that involve tensor-valued functions, such as the Hellinger-Reissner formulation of linear elasticity. In our proposed polytopal template method, the basis functions are constructed from template tensors associated with the geometric polytopes (vertices, edges, faces etc.) of the reference simplex and any scalar-valued $H^1$-conforming finite element space. From this starting point we can construct the Regge, Hellan-Herrmann-Johnson, Pechstein-Sch\"oberl, Hu-Zhang, Hu-Ma-Sun and Gopalakrishnan-Lederer-Sch\"oberl elements. Because the Hu-Zhang element and the Hu-Ma-Sun element cannot be mapped from the reference simplex to a physical simplex via standard double Piola mappings, we also demonstrate that the polytopal template tensors can be used to define a consistent mapping from a reference simplex even to a non-affine simplex in the physical mesh. Finally, we discuss the implications of element regularity with two numerical examples for the Reissner-Mindlin plate problem.

math.NA↗

arXiv2024

Symmetric unisolvent equations for linear elasticity purely in stresses

In this work we introduce novel stress-only formulations of linear elasticity with special attention to their approximate solution using weighted residual methods. We present four sets of boundary value problems for a pure stress formulation of three-dimensional solids, and in two dimensions for plane stress and plane strain. The associated governing equations are derived by modifications and combinations of the Beltrami-Michell equations and the Navier-Cauchy equations. The corresponding variational forms of dimension $d \in \{2,3\}$ allow to approximate the stress tensor directly, without any presupposed potential stress functions, and are shown to be well-posed in $H^1 \otimes \mathrm{Sym}(d)$ in the framework of functional analysis via the Lax-Milgram theorem, making their finite element implementation using $C^0$-continuous elements straightforward. Further, in the finite element setting we provide a treatment for constant and piece-wise constant body forces via distributions. The operators and differential identities in this work are provided in modern tensor notation and rely on exact sequences, making the resulting equations and differential relations directly comprehensible. Finally, numerical benchmarks for convergence as well as spectral analysis are used to test the limits and identify viable use-cases of the equations.

math.NA↗

arXiv2023

An essay on deformation measures in isotropic thin shell theories. Bending versus curvature

It has become commonplace for the stored energy function of any realistic shell model to align ``within first order" with the classical Koiter membrane-bending (flexural) shell model. In this paper, we assess whether certain extended Cosserat shell models are consistent with the classical linear Koiter model. In doing this, we observe that there are numerous reasons why a modified version of the classical Koiter model should be considered, a consensus reached not only by Koiter himself but also by Sanders and Budiansky, who independently developed the same theory during the same period. To provide a comprehensive overview of the strain measures employed in our Cosserat shell models, this paper presents them in a unified manner and compares them with the strain measures previously utilized in the literature. We show that all our new strain tensors either generalize (in the case of nonlinear constrained or unconstrained models) or coincide (in the case of the linear constrained model) with the strain tensors recognized as the ``best" or those possessing a well-defined geometric interpretation connected to bending or curvature.

math-ph↗

arXiv2023

Green's functions for the isotropic planar relaxed micromorphic model -- concentrated force and concentrated couple

We derive the Green's functions (concentrated force and couple in an infinite space) for the isotropic planar relaxed micromorphic model. Since the relaxed micromorphic model particularises into the microstretch, Cosserat (micropolar), couple-stress, and linear elasticity model for certain choices of material parameters, we recover the fundamental solutions in all these cases.

math.AP↗

arXiv2023

Novel $H(\mathrm{sym} \mathrm{Curl})$-conforming finite elements for the relaxed micromorphic sequence

In this work we construct novel $H(\mathrm{sym} \mathrm{Curl})$-conforming finite elements for the recently introduced relaxed micromorphic sequence, which can be considered as the completion of the $\mathrm{div} \mathrm{Div}$-sequence with respect to the $H(\mathrm{sym} \mathrm{Curl})$-space. The elements respect $H(\mathrm{Curl})$-regularity and their lowest order versions converge optimally for $[H(\mathrm{sym} \mathrm{Curl}) \setminus H(\mathrm{Curl})]$-fields. This work introduces a detailed construction, proofs of linear independence and conformity of the basis, and numerical examples. Further, we demonstrate an application to the computation of metamaterials with the relaxed micromorphic model.

math.NA↗

arXiv2023

A Reissner-Mindlin plate formulation using symmetric Hu-Zhang elements via polytopal transformations

In this work we develop new finite element discretisations of the shear-deformable Reissner--Mindlin plate problem based on the Hellinger-Reissner principle of symmetric stresses. Specifically, we use conforming Hu-Zhang elements to discretise the bending moments in the space of symmetric square integrable fields with a square integrable divergence $\boldsymbol{M} \in \mathcal{HZ} \subset H^{\mathrm{sym}}(\mathrm{Div})$. The latter results in highly accurate approximations of the bending moments $\boldsymbol{M}$ and in the rotation field being in the discontinuous Lebesgue space $\boldsymbol{\phi} \in [L]^2$, such that the Kirchhoff-Love constraint can be satisfied for $t \to 0$. In order to preserve optimal convergence rates across all variables for the case $t \to 0$, we present an extension of the formulation using Raviart-Thomas elements for the shear stress $\mathbf{q} \in \mathcal{RT} \subset H(\mathrm{div})$. We prove existence and uniqueness in the continuous setting and rely on exact complexes for inheritance of well-posedness in the discrete setting. This work introduces an efficient construction of the Hu-Zhang base functions on the reference element via the polytopal template methodology and Legendre polynomials, making it applicable to hp-FEM. The base functions on the reference element are then mapped to the physical element using novel polytopal transformations, which are suitable also for curved geometries. The robustness of the formulations and the construction of the Hu-Zhang element are tested for shear-locking, curved geometries and an L-shaped domain with a singularity in the bending moments $\boldsymbol{M}$. Further, we compare the performance of the novel formulations with the primal-, MITC- and recently introduced TDNNS methods.

math.NA↗

arXiv2023

Higher order Bernstein-B\'ezier and N\'ed\'elec finite elements for the relaxed micromorphic model

The relaxed micromorphic model is a generalized continuum model that is well-posed in the space $X = [H^1]^3 \times [H(\textrm{curl})]^3$. Consequently, finite element formulations of the model rely on $H^1$-conforming subspaces and N\'ed\'elec elements for discrete solutions of the corresponding variational problem. This work applies the recently introduced polytopal template methodology for the construction of N\'ed\'elec elements. This is done in conjunction with Bernstein-B\'ezier polynomials and dual numbers in order to compute hp-FEM solutions of the model. Bernstein-B\'ezier polynomials allow for optimal complexity in the assembly procedure due to their natural factorization into univariate Bernstein base functions. In this work, this characteristic is further augmented by the use of dual numbers in order to compute their values and their derivatives simultaneously. The application of the polytopal template methodology for the construction of the N\'ed\'elec base functions allows them to directly inherit the optimal complexity of the underlying Bernstein-B\'ezier basis. We introduce the Bernstein-B\'ezier basis along with its factorization to univariate Bernstein base functions, the principle of automatic differentiation via dual numbers and a detailed construction of N\'ed\'elec elements based on Bernstein-B\'ezier polynomials with the polytopal template methodology. This is complemented with a corresponding technique to embed Dirichlet boundary conditions, with emphasis on the consistent coupling condition. The performance of the elements is shown in examples of the relaxed micromorphic model.

math.NA↗

arXiv2022

Polytopal templates for the formulation of semi-continuous vectorial finite elements of arbitrary order

The Hilbert spaces $H(\mathrm{curl})$ and $H(\mathrm{div})$ are needed for variational problems formulated in the context of the de Rham complex in order to guarantee well-posedness. Consequently, the construction of conforming subspaces is a crucial step in the formulation of viable numerical solutions. Alternatively to the standard definition of a finite element as per Ciarlet, given by the triplet of a domain, a polynomial space and degrees of freedom, this work aims to introduce a novel, simple method of directly constructing semi-continuous vectorial base functions on the reference element via polytopal templates and an underlying $H^1$-conforming polynomial subspace. The base functions are then mapped from the reference element to the element in the physical domain via consistent Piola transformations. The method is defined in such a way, that the underlying $H^1$-conforming subspace can be chosen independently, thus allowing for constructions of arbitrary polynomial order. The base functions arise by multiplication of the basis with template vectors defined for each polytope of the reference element. We prove a unisolvent construction of N\'ed\'elec elements of the first and second type, Brezzi-Douglas-Marini elements, and Raviart-Thomas elements. An application for the method is demonstrated with two examples in the relaxed micromorphic model

math.NA↗

arXiv2022

On H1, H(curl) and H(sym Curl) finite elements for matrix-valued Curl problems

In this work we test the numerical behaviour of matrix-valued fields approximated by finite element subspaces of $[\mathit{H}^1]^{3\times 3}$, $[\mathit{H}(\mathrm{curl})]^3$ and $\mathit{H}(\mathrm{sym}\mathrm{Curl})$ for a linear abstract variational problem connected to the relaxed micromorphic model. The formulation of the corresponding finite elements is introduced, followed by numerical benchmarks and our conclusions. The relaxed micromorphic continuum model reduces the continuity assumptions of the classical micromorphic model by replacing the full gradient of the microdistortion in the free energy functional with the Curl. This results in a larger solution space for the microdistortion, namely $[\mathit{H}(\mathrm{curl})]^3$ in place of the classical $[\mathit{H}^1]^{3\times 3}$. The continuity conditions on the microdistortion can be further weakened by taking only the symmetric part of the Curl. As shown in recent works, the new appropriate space for the microdistortion is then $\mathit{H}(\mathrm{sym}\mathrm{Curl})$. The newly introduced space gives rise to a new differential complex for the relaxed micromorphic continuum theory.

math.NA↗

arXiv2022

Primal and mixed finite element formulations for the relaxed micromorphic model

The classical Cauchy continuum theory is suitable to model highly homogeneous materials. However, many materials, such as porous media or metamaterials, exhibit a pronounced microstructure. As a result, the classical continuum theory cannot capture their mechanical behaviour without fully resolving the underlying microstructure. In terms of finite element computations, this can be done by modelling the entire body, including every interior cell. The relaxed micromorphic continuum offers an alternative method by instead enriching the kinematics of the mathematical model. The theory introduces a microdistortion field, encompassing nine extra degrees of freedom for each material point. The corresponding elastic energy functional contains the gradient of the displacement field, the microdistortion field and its Curl (the micro-dislocation). Therefore, the natural spaces of the fields are $[\mathit{H}^1]^3$ for the displacement and $[\mathit{H}(\mathrm{curl})]^3$ for the microdistortion, leading to unusual finite element formulations. In this work we describe the construction of appropriate finite elements using N\'ed\'elec and Raviart-Thomas subspaces, encompassing solutions to the orientation problem and the discrete consistent coupling condition. Further, we explore the numerical behaviour of the relaxed micromorphic model for both a primal and a mixed formulation. The focus of our benchmarks lies in the influence of the characteristic length $L_\mathrm{c}$ and the correlation to the classical Cauchy continuum theory.

math.NA↗

arXiv2020

A flexible sparse matrix data format and parallel algorithms for the assembly of sparse matrices in general finite element applications using atomic synchronisation primitives

Finite element methods require the composition of the global stiffness matrix from local finite element contributions. The composition process combines the computation of element stiffness matrices and their assembly into the global stiffness matrix, which is commonly sparse. In this paper we focus on the assembly process of the global stiffness matrix and explore different algorithms and their efficiency on shared memory systems using C++. A key aspect of our investigation is the use of atomic synchronization primitives for the derivation of data-race free algorithms and data structures. Furthermore, we propose a new flexible storage format for sparse matrices and compare its performance with the compressed row storage format using abstract benchmarks based on common characteristics of finite element problems.

math.NA↗