Abstract
In this work, a linear Kirchhoff–Love shell formulation in the framework of scaled boundary isogeometric analysis is presented that aims to provide a simple approach to trimming for NURBS-based shell analysis. To obtain a global \(C^1\)-regular test function space for the shell discretization, an inter-patch coupling is applied with adjusted basis functions in the vicinity of the scaling center to ensure the approximation ability. Doing so, the scaled boundary geometries are related to the concept of analysis-suitable \(G^1\) parametrizations. This yields a coupling of patch boundaries in a strong sense that is restricted to \(G^1\)-smooth surfaces. The proposed approach is advantageous to trimmed geometries due to the incorporation of the trimming curve in the boundary representation that provides an exact representation in the planar domain. Since the coupling of star-shaped blocks is feasible, a mesh generation also for complex domains is implementable. The potential of the approach is demonstrated by several problems of untrimmed and trimmed geometries of Kirchhoff–Love shell analysis evaluated against error norms and displacements. Lastly, the applicability is highlighted in the analysis of a violin structure including arbitrarily shaped patches.
Similar content being viewed by others
Explore related subjects
Find the latest articles, discoveries, and news in related topics.Avoid common mistakes on your manuscript.
1 Introduction
In modern engineering applications such as automotive engineering and aerospace engineering, computer-aided design (CAD) is a key method to design structural components. The mathematical underlying of these drawings usually consists of B-splines and non-uniform rational B-splines (NURBS) and provides that by using isogeometric analysis (IGA) [1] for the numerical analysis, the model for the design and the analysis are the same. A major issue of numerical analyses is the treatment of trimmed geometries whereas parts of the initial geometry are cut out [2]. This implies, that a numerical analysis in common frameworks is not conductible anymore in a straightforward manner. Several approaches are presented in the literature for treating trimming such as [3,4,5] mostly considering an approximation of the trimming curve and a limitation to quadrilateral sections but do not incorporate the exact trimming curve in the domain.
Isogeometric analysis is especially suitable for Kirchhoff–Love shells [6] since the formulation is derived on the change of the normal vector which requires well-defined second order derivatives of the basis functions. This is naturally fulfilled within single patches of quadratic or higher order. However, across patch boundaries, IGA patches are not naturally \(C^{p-1}\) continuous. This implies that the Kirchhoff–Love shell formulation is not applicable for multi-patch structures in IGA. As complex shell structures often consist of multi-patch geometries, \(C^1\) continuity needs to be enforced at patch boundaries. Common approaches to ensure higher continuity on multiple patches are Nitsche methods [7, 8], mortar methods [9, 10], and penalty methods [11,12,13,14], among others [15, 16]. However, all of these methods are coupling techniques in a weak sense that can only represent the isogeometric discretization space approximately \(C^1\) smooth. To ensure exact \(C^1\) smooth multi-patch geometries, a special class of \(G^1\) continuous multi-patch surfaces, namely analysis-suitable \(G^1\) surfaces [17] can be utilized in the two-dimensional domain. An approach of analysis-suitable \(G^1\) spaces that will be utilized in this work, is presented in [18] for Kirchhoff–Love shells with restriction to quadrilateral patches.
A promising approach to take the exact boundary of geometries more into account is the scaled boundary isogeometric analysis (SB-IGA) [19, 20]. It combines the advantages of the scaled boundary finite element method [21, 22] and the isogeometric analysis providing patches of arbitrarily shaped boundaries. This yields that any domain can be discretized by segmentation into star-shaped blocks [23]. Since the discretization of an SB-IGA domain always consists of multiple patches even for a single star-shaped block, a coupling approach is inherently necessary to obtain \(C^1\)-continuity on the SB-IGA domain.
This contribution presents a Kirchhoff–Love shell in the framework of scaled boundary isogeometric analysis with analysis-suitable \(G^1\) surfaces that are especially suitable for complex, trimmed geometries by incorporating the trimming curve into the boundary representation of the geometry in a simple way and thus provides an exact discretization of the trimmed domain. Moreover, to preserve the approximation ability of the SB-IGA test functions, special scaling center test functions have to be introduced. A step that can also be observed if smooth polar splines are considered [24]. The proposed approach is tested on its general performance by untrimmed shell structures and the potential is later outlined by trimmed shell structures in the linear case. The advantages are summarized as follows.
-
A linear Kirchhoff–Love shell formulation is presented in isogeometric boundary representation.
-
A patch coupling of smooth patches across boundary edges is applied utilizing the analysis-suitable \(G^1\) concept including modifications in the vicinity of the scaling center.
-
Advantages of the approach to discretized star-shaped domains of an arbitrary number of boundaries are outlined.
-
Examples of discretizations for complex topologies including trimmed surfaces are presented and evaluated.
The work is structured as follows. In Sect. 2, the linear formulation of the Kirchhoff–Love theory is provided. Section 3 presents the fundamental concept of SB-IGA and the notation herein. Further, Sect. 4 discusses the choice of basis functions for \(C^1\) continuity in the planar domain and the application to Kirchhoff–Love shells with the incorporation of trimming. The proposed approach is tested in numerical examples in Sect. 5. Finally, the contribution is concluded in Sect. 6 including an outlook to further research.
2 Kirchhoff–Love shell formulation
The Kirchhoff–Love shell formulation is recalled in this section, based on the derivations presented in [6, 8, 25]. The formulation is derived considering a single patch but can be extended to scaled boundary multi-patch structures as outlined in the following sections. Neglecting cross-sectional shear stresses, the Kirchhoff–Love shell formulation states the assumption that the initial director vectors to the shell center surface remain perpendicular during deformation. The description of the shell is reduced from the domain of the shell body to the mid-surface \(\Omega \subset {\mathbb {R}}^3\) utilizing a convective covariant space \({\tilde{\Omega }} \subset {\mathbb {R}}^2\). Utilizing the unit normal vector on the mid-surface, the initial shell structure reduced on the mid-surface is described as
where \({\textbf{a}}\) is the position vector in the initial configuration, \({\textbf{a}}_3\) is the unit normal vector on each point on the surface, and \(\theta ^3\) the thickness coordinate ranging from \(-t/2\) to \(+t/2\). Further, we use the Greek indices \(\alpha ,\beta , \lambda , \mu \in \{1,2\}\) and Latin indices \(i,j \in \{ 1,2,3 \}\) and drop the dependence of \(\theta ^{\alpha }\). To obtain the normal vector on the surface, the partial derivatives on the mid-surface are utilized to construct the unit normal vectors with
In the following, we will indicate differentiation w.r.t. the corresponding coordinate \((\cdot )_{,\alpha }= \frac{\partial }{\partial \theta ^{\alpha }}\). Further, we define the \(L_2\)-norm of the normal vector \({\textbf{a}}_3\) as \({\bar{J}}\). Utilizing the partial derivatives, we introduce the covariant metric coefficients constructed by
Due to the orthogonality condition, we construct the contravariant basis system \({\textbf{a}}^{\alpha } \cdot {\textbf{a}}_{\beta } = \delta _{\beta }^{\alpha }\), that yields a relation of the covariant and the contravariant metric system by the inverse operator \(\{a^{\alpha \beta }\} = \{a_{\alpha \beta }\}^{-1},\) where \(\{ \cdot \}\) denotes the matrix components.
In the discrete setting of the boundary conditions of the boundary value problem, we denote the boundary of the body \(\Gamma = \partial \Omega\) with Dirichlet and Neumann boundary conditions \(\Gamma _D\) and \(\Gamma _N\) with the assumption that \(\Omega\) is a smooth surface with well-defined derivatives of the curvature. The boundary conditions of \(\Gamma _D\) and \(\Gamma _N\) are non-overlapping \(\Gamma = \overline{\Gamma _D \cup \Gamma _N}\). Further, we decompose the boundary conditions into \(\Gamma _D = \Gamma _u \cup \Gamma _{\beta }\) and \(\Gamma _N = \Gamma _Q \cup \Gamma _M\) with \(\Gamma _u \cap \Gamma _Q = \varnothing\) and \(\Gamma _{\beta } \cap \Gamma _M = \varnothing\) since the prescribed displacements \(\tilde{{\textbf{u}}}\) and traction forces \(\tilde{{\textbf{Q}}}\), as well as the prescribed rotations \(\tilde{\mathbf {\beta }}\) and traction moments \(\tilde{{\textbf{M}}}\) at the boundary are of energetically conjugate nature. A similar consideration is done at the corners \(\chi \subset \Gamma\) with a split into Neumann boundary conditions \(\chi _N \cap \Gamma _N\) and Dirichlet boundary conditions \(\chi _D \cap \Gamma _D\).
Having defined the boundary, we choose some suitable discrete space \({\textbf{V}}_h \in H^2(\Omega )\) in the sense of finite element methods and depending on the boundary conditions of the problem. Then, the discrete weak form seeks for \({\textbf{u}}_h \in {\textbf{V}}_h\) such that
where the bilinear form a and the linear form F are expanded as
where \({\textbf{g}}\) is an applied body force, \({\tilde{S}}\) a prescribed twisting moment at each corner of \(\chi _N\), and \(\beta _n\) the normal rotation [8]. In this work, only body forces and traction forces are considered. Additionally, for a complete weak form, the kinematics and the constitutive relation are pending. The quantities \(\varvec{\varepsilon }\), \(\varvec{\kappa }\), \({\textbf{n}}\) and \({\textbf{m}}\) denote the membrane strains and bending strains depending on the test function \({\textbf{v}}_h\) and the energetically conjugate membrane forces and bending moments depending on the discretized solution field \({\textbf{u}}_h\). According to the Kirchhoff kinematical assumptions, transverse shear strains vanish and membrane and bending strains remain. Consequently, the decomposition of the linearized Green-Lagrange strain tensor reads
For a rigorous derivation of the linearization, see [8]. According to [26] the linearized strain components are
and
Besides the kinematics, the stress resultants \({\textbf{n}}\) and \({\textbf{m}}\) are derived by applying a suitable constitutive relation. Thus, the Cauchy stress tensor is analytically integrated through the thickness and reads as a decomposition into the stress tensors’ components as [13]
and
with the materials fourth-order tensor \({\textbf{D}}\). We want to remark, that the analytical integration herein assumes a constant thickness of the shell. Applying Hooke’s law as a linear constitutive model, the tensor is given as [13]
and
Herein the parameters \(\nu\) and E are the specific material parameters of Poisson’s ratio and Young’s modulus, respectively. It is remarkable, that due to the occurrence of second order derivatives of the basis functions in the bending components, \(C^1\) continuity is required for the computation. This is fulfilled naturally for SB-IGA patches across the elements within each patch, however, at the patch boundaries, only \(C^0\) continuity is given. Thus, \(C^1\) continuity is enforced across patch boundaries in the manner of scaled boundary isogeometric analysis.
3 B-splines and SB-IGA
In this section, we introduce the notation herein and explain briefly some basic notions in the context of the SB-IGA ansatz. For more details regarding isogeometric analysis, we refer to [27, 28]. We start with the definition of B-spline functions and B-spline spaces, respectively.
An increasing sequence of real numbers \(\Xi {:}{=}\{ \xi _1 \le \xi _2 \le \dots \le \xi _{n+p+1} \}\) for some \(p \in {\mathbb {N}}\) is called knot vector, where we assume \(0=\xi _1=\dots =\xi _{p+1}, \ \xi _{n+1}=\dots =\xi _{n+p+1}=1\), and call such knot vectors p-open. Further, the multiplicity of the j-th knot is denoted by \(m(\xi _j)\). Then the univariate B-spline functions \({\widehat{B}}_{j,p}(\cdot )\) of degree p corresponding to a given knot vector \(\Xi\) is defined recursively by the Cox-DeBoor formula:
and if \(p \in {\mathbb {N}}_{\ge 1} \ we \, set\)
Note one sets \(0/0=0\) to obtain well-definedness. The knot vector \(\Xi\) without knot repetitions is denoted by \(\{ \psi _1, \dots , \psi _N \}\).
The extension of the last spline definition to the multivariate case is achieved by a tensor product construction. In other words, we set for a given tensor knot vector \(\varvec{\Xi } {:}{=}\Xi _1 \times \dots \times \Xi _d,\) where the \(\Xi _{l}=\{ \xi _1^{l}, \dots , \xi _{n_l+p_l+1}^{l} \}, \ l=1, \dots , d\) are \(p_l\)-open, and a given degree vector \(\varvec{p} {:}{=}(p_1, \dots , p_d)\) for the multivariate case
with d as the underlying dimension of the parametric domain \({\widehat{\Omega }}= (0,1)^d\) and \({\textbf{I}}\) the multi-index set \({\textbf{I}}{:}{=}\{ (i_1,\dots ,i_d) \ | \ 1\le i_l \le n_l, \ l=1,\dots ,d \}\).
B-splines fulfill several properties and for our purposes the most important ones are:
-
If for all internal knots, the multiplicity satisfies \(1 \le m(\xi _j) \le m \le p,\) then the B-spline basis functions \({\widehat{B}}_{i,p}\) are global \(C^{p-m}\)-continuous. Therefore we define in this case the regularity integer \(r {:}{=}p-m\). Obviously, by the product structure, we get splines \({\widehat{B}}_{\varvec{i},\varvec{p}}\) which are \(C^{r_l}\)-smooth w.r.t. the l-th coordinate direction if the internal multiplicities fulfill \(1 \le m(\xi _j^l) \le m_l \le p_l, \ r_l {:}{=}p_l-m_l, \ \forall l \in 1, \dots , d\) in the multivariate case. To emphasize later the regularity of the splines, we introduce an upper index r and write in the following \({\widehat{B}}_{{i},{p}}^{{r}}, \ {\widehat{B}}_{\varvec{i},\varvec{p}}^{\varvec{r}}\) respectively. Here \(\varvec{r} {:}{=}(r_1,\dots ,r_d)\).
-
For univariate splines \({\widehat{B}}_{i,p}^r, \ p \ge 1, \ r \ge 0\) we have
$$\begin{aligned} \partial _{\zeta } {\widehat{B}}_{i,p}^r(\zeta )&= \frac{p}{\xi _{i+p}-\xi _i}{\widehat{B}}_{i,p-1}^{r-1}(\zeta ) \nonumber \\&\quad + \frac{p}{\xi _{i+p+1}-\xi _i}{\widehat{B}}_{i+1,p-1}^{r-1}(\zeta ), \end{aligned}$$(11)with \({\widehat{B}}_{1,p-1}^{r-1}(\zeta ){:}{=}{\widehat{B}}_{n+1,p-1}^{r-1}(\zeta ) {:}{=}0\).
-
The support of the spline \({\widehat{B}}_{i,p}^r\) is part of the interval \([\xi _i,\xi _{i+p+1}]\).
The space spanned by all univariate splines \({\widehat{B}}_{i,p}^r\) corresponding to given knot vector and degree p and global regularity r is denoted by
Later, to have more flexibility it could be useful to introduce a strictly positive weight function \(W = \sum _{{i}} w_{{i}} {\widehat{B}}_{{i},{p}}^{{r}} \in S^{r}_{p}\) and use NURBS functions \({\widehat{N}}_{{i},{p}}^{{r}} {:}{=}\frac{w_i \, {\widehat{B}}_{{i},{p}}^{{r}}}{W}\), the NURBS spaces \({N}_{p}^{r} {:}{=}\frac{1}{W} S_{p}^{r},\) respectively. Such weighted spline functions are needed for conic section parametrizations. For the multivariate case we just define the needed spaces as product spaces, e.g.
provided proper univariate spaces.
To define discrete spaces in the computational domain \({\tilde{\Omega }}\) we require a parametrization mapping \({\textbf{F}} :{\widehat{\Omega }} {:}{=}(0,1)^d \rightarrow {\tilde{\Omega }} \subset {\mathbb {R}}^d\). The knots stored in the knot vector \(\varvec{\Xi }\), corresponding to the underlying splines, determine a mesh in the parametric domain \({\widehat{\Omega }}\), namely \({\widehat{M}} {:}{=}\{ K_{\varvec{j}}{:}{=}(\psi _{j_1}^1,\psi _{j_1+1}^1 ) \times \dots \times (\psi _{j_{d}}^{d},\psi _{j_{d}+1}^{d} ) \ | \ \varvec{j}=(j_1,\dots ,j_{d}), \ with \ 1 \le j_i <N_i\},\) and with \({\varvec{\Psi }}= \{\psi _1^1, \dots , \psi _{N_1}^1\} \times \dots \times \{\psi _1^{d}, \dots , \psi _{N_{d}}^{d}\}\) as the knot vector \({\varvec{\Xi }}\) without knot repetitions. The image of this mesh under the mapping \({\textbf{F}}\), i.e. \({\mathcal {M}} {:}{=}\{{{\textbf{F}}}(K) \ | \ K \in {\widehat{M}} \}\), gives us a mesh structure in the physical domain. Obviously, by inserting knots without changing the parametrization we can refine the mesh, which is known as h-refinement; see [1, 27]. For a mesh \({\mathcal {M}}\) we can define the global mesh size through \(h {:}{=}\max \{h_{{K}} \ | \ {K} \in {\widehat{M}} \},\) where for \({K} \in {\widehat{M}}\) we denote with \(h_{{K}} {:}{=}diam ({K})\) the element size and \({\widehat{M}}\) is the underlying parametric mesh.
The underlying concept of SB-IGA fits the fact that in CAD applications the computational domain is often described by means of its boundary. Furthermore, as discussed later the boundary representation is particularly suitable if trimming is considered.
As long as the region of interest is star-convex we can choose a scaling center \({\textbf{z}}_0 \in {\mathbb {R}}^d\) and the domain is then defined by a scaling of the boundary w.r.t. to \({\textbf{z}}_0\). In this article, we restrict ourselves to planar SB domains, and in view of isogeometric analysis we have some boundary NURBS curve \(\gamma (\zeta ) = \textstyle \sum _{i=1}{\textbf{C}}_i \ {\widehat{N}}_{i,p}^{r}(\zeta ), \ {\textbf{C}}_i \in {\mathbb {R}}^2\) and define the SB-parametrization of some \({\tilde{\Omega }}\) through
(compare Fig. 1).
Remark 1
In the considerations below it is allowed to replace the prefactor \(\xi\) by a general degree 1 polynomial \(c_1 \xi + c_2, \ c_1 >0, \ c_2\ge 0\), i.e. no difficulties arise. This might be useful in some situations.
By the linearity w.r.t. the second parameter \(\xi\) we can assume for \({\tilde{\Omega }} \subset {\mathbb {R}}^2\) that \({\textbf{F}} \in \big [ {N}_p^r \otimes S_{p}^r \big ]^2\). In particular, the weight function depends only on \(\zeta\).
We suppose that there are control points \({\textbf{C}}_{i,j} \in {\mathbb {R}}^2\) associated to the NURBS \((\zeta ,\xi ) \mapsto {\widehat{N}}_{i,p}^r(\zeta ) {\widehat{B}}_{j,p}^r(\xi ) \in N_p^r \otimes S_p^r\) which define \({\textbf{F}}\), namely
For simplification, we assume equal degree and regularity w.r.t. each coordinate direction. Due to the SB ansatz, we obtain in the physical domain \({\tilde{\Omega }}\) layers of control points and it is \({\textbf{C}}_{1,1}={\textbf{C}}_{2,1}= \dots = {\textbf{C}}_{n_1,1}\); cf. Figure 2. The isogeometric spaces utilized for discretization methods are defined as the push-forwards of the NURBS, namely
In particular, we suppose the existence of an inverse mapping on the interior of \({\tilde{\Omega }}\). If the domain boundary \(\partial \Omega\) is composed of different curves \(\gamma ^{(k)}\), one defines parametrizations for each curve as written above and we get a multi-patch geometry; see Fig. 3. To be more precise, for a n-patch geometry we have
and \({\textbf{F}}_m\) are SB parametrizations. IGA spaces in the multi-patch framework are straight-forwardly defined as
where \({\mathcal {V}}_h^{(m)}\) denotes the IGA space corresponding to the m-th patch, to \({\textbf{F}}_m\), respectively. If the boundary curves do not meet \(G^1\) but high global regularity is necessary, then the coupling is an issue. For all the patch coupling considerations we suppose the next assumption.
Assumption 1
(Regular patch coupling)
-
In each patch we use the NURBS and B-splines with the same degree p and regularity \(r>0\). Furthermore, the \(\varvec{F}_m\) are \(C^1\) in the interior of each patch with \(C^1\)-regular inverse.
-
The control points at interfaces match, i.e. the control points of the meeting patches coincide along the interface.
Thus, it is justified to write for the set of parametric basis functions in the m-patch
for proper \(n_1^{(m)}, \ n_2 \in {\mathbb {N}}_{>1}.\)
Below we look at the \(C^1\) coupling of such SB-IGA patches, i.e. face spaces of the form
where the singularity of the \({\textbf{F}}_m\) at \({\textbf{z}}_0\) requires a special attention.
4 From planar SB-IGA to KL shells
The appearance of second derivatives in the variational formulation (4b) for the Kirchhoff–Love shell model requires a proper choice of the test and ansatz spaces for the computation of the shell displacements. An important aspect is the representation of the shell via a middle surface which reduces the shell formulation to a 2D problem w.r.t. the parametric coordinates. We exploit this fact by using \(C^1\)-regular mappings in the parametric domain to express the shell configuration.
To be more precise, the basic idea for the KL-shell within SB-IGA framework is as follows. We express the initial shell configuration as well as the deformation of the shell utilizing the coupled test functions defined on the parametric domain \({\tilde{\Omega }},\) where we suppose \(\overline{{\tilde{\Omega }}}= \overline{\cup _m {\tilde{\Omega }}_m}\) to be given as a multi-patch SB-IGA geometry. On the patches \({\tilde{\Omega }}_m\) in turn we can introduce basis functions by means of the standard push-forwards. This means our shell middle-surface can be described by
with
for suitable control points \({\textbf{P}}^{(m)}_{i,j} \in {\mathbb {R}}^3\); see Fig. 4. The advantage of such an approach is clear, namely coupling in the planar domain \({\tilde{\Omega }}\) is easier than a strong \(C^1\) coupling of NURBS surface patches in 3D. And the restriction to the special class of SB domains \({\tilde{\Omega }}\) gets useful if trimmed shells are considered.
Assumption 2
The initial shell configuration is \(C^1\) smooth in a strong sense. Further, we assume that the shell deformations can be expressed with \(C^1\) mappings. In particular, we do not consider shells with kinks or deformations that lead to non-smooth shell configurations.
Summarising, it is enough to introduce globally \(C^1\) basis functions on \({\tilde{\Omega }}\) to obtain test and ansatz functions for the Kirchhoff–Love shell model.
The coupling of scalar SB-IGA spaces in planar domains is part of the next section. A component-wise generalization to compute shell displacements is clear and will not be addressed separately.
4.1 Planar SB-IGA with \(C^1\) coupling
We explain the procedure of how to get \(C^1\) basis functions in the two-patch situation as shown in Fig. 5 since a generalization to more patches is straightforward. According to the notation from the previous section and in view of isogeometric analysis we define the uncoupled basis functions on \(\overline{{\tilde{\Omega }}}= \overline{{\tilde{\Omega }}_1 \cup {\tilde{\Omega }}_2}\)
Above we extend the basis functions to the whole \({\tilde{\Omega }}\) by setting them to zero on the remaining patches. To obtain the necessary global \(C^1\) smoothness we change the basis \({\mathcal {B}}\) according to the subsequent steps.
4.1.1 Remove basis functions near the scaling center
First, we remove in each patch all parametric and thus physical basis functions which are associated to \({\widehat{N}}_{i,p}^r \cdot {\widehat{B}}_{j,p}^r\) with \(j<3\). This means we consider the modified basis
As a consequence, we see directly that the pull-backs of the remaining basis functions are elements of \(C^0(\overline{{\widehat{\Omega }}})\), i.e. we have a well-defined value 0 in the singular point \({\textbf{z}}_0\). Further, it can be easily verified that the pullbacks onto the parametric domain define mappings \(C^1(\overline{{\widehat{\Omega }}})\). Indeed, an application of the chain rule implies vanishing derivatives of the physical basis functions in the scaling center. For this purpose assume w.l.o.g. \({\textbf{z}}_0 = \varvec{0}, \ {\textbf{F}}(\zeta , \xi ) = \xi \ \gamma (\zeta ), \ \gamma = (\gamma _1,\gamma _2)^T\) and let
i.e. we have a \(C^1\) function with \({\hat{\phi }}= \partial _{\xi }{\hat{\phi }}= \partial _{\zeta }{\hat{\phi }} =0\) for \(\xi =0\).
Set \(\phi (\theta ^1,\theta ^2) {:}{=}{\hat{\phi }} \circ {\textbf{F}}^{-1}(\theta ^1,\theta ^2)\) then, with \((\theta ^1,\theta ^2)= {\textbf{F}}(\zeta ,\xi )\) it is
Below we use the abbreviation
and we have \(d(\zeta ) \ne 0\) due to the assumed invertibility of \({\textbf{F}}\). Hence, it is
By linearity and the definition of the B-spline basis functions and the assumption
\({{\hat{\phi }} = \partial _{\xi }{\hat{\phi }}= \partial _{\zeta }{\hat{\phi }} =0, \ for \ \xi =0 }\), we can w.l.o.g. suppose \({\hat{\phi }} (\zeta ,\xi ) = {\widehat{N}}(\zeta ) \ \xi ^2,\) for a suitable \({\widehat{N}}\). Note \({\widehat{B}}_{j,p}^r(\xi ) \in {\mathcal {O}}(\xi ^2)\) for \(\xi \rightarrow 0\) if \(j\ge 3\). For this case we study the derivatives when \(\xi \rightarrow 0\). With (16) one sees
But this implies directly that \(\phi (\theta ^1,\theta ^2)\) has a well-defined \(\theta ^1\)-derivative in the scaling center, namely \(\partial _{\theta ^1} \phi = 0\) in \({\textbf{z}}_0\). Analogously one gets the well-defined derivative \(\partial _{\theta ^2} \phi ({\textbf{z}}_0) = 0\).
With this first basis modification step we avoid the problematic part near the scaling center.
4.1.2 Add scaling center basis functions
To preserve the approximation ability of SB-IGA test functions, we certainly have to introduce new test functions in the physical domain that determine the function value and derivatives at the scaling center. In the planar case, three additional test functions are sufficient, where we exploit the iso-parametric paradigm to define preliminary test functions \(\phi _{i,sc} \in C^0(\Omega )\) with
Latter requirements can be easily satisfied if we use the entries of the geometry control points as coefficients for the parametric pendants \({\hat{\phi }}_{i,sc}\). To be more precise, if we have \({\textbf{F}}_m = \sum _{j=1}^{n_2} \sum _{i=1}^{n_1^{(m)}} {\textbf{C}}_{i,j}^{(m)} {\widehat{N}}_{i,p}^r \cdot {\widehat{B}}_{j,p}^r,\) then we set
And then the \(\phi _{i,sc}\) are determined on \({\tilde{\Omega }}\) via
By the properties of B-splines we see directly \({\phi }_{1,sc}^{(m)}=1, {\phi }_{2,sc}^{(m)}=\theta ^1, \ {\phi }_{3,sc}^{(m)}=\theta ^2\) in a neighborhood of \({\textbf{z}}_0\). In other words, we can choose the latter three functions for the determination of values and derivatives at \({\textbf{z}}_0\), i.e. we add them to the set of basis functions used for the coupling step. Hence now we have the new set of basis functions
The three new test functions are continuous since we assume that the patches match continuously. And we note that the \(\phi _{i,sc}\) are only defined once for a scaling center. For example, in Fig. 6, the scaling center test functions for a three-patch case are shown.
4.1.3 The coupling step
For the functions in \({\mathcal {B}}^{''}\), we now apply the needed coupling step to obtain the global \(C^1\) regularity. This coupling is in turn composed of two simple substeps which correspond to the procedure used in [17].
Namely, we first couple the basis functions from \({\mathcal {B}}^{''}\) in a \(C^0\) manner and observe that this is easily achieved due to the regular patch coupling Assumption 1. So we have again a new basis \({\mathcal {B}}^{'''} = {\mathcal {B}}^{''} \cap C^0(\overline{{\tilde{\Omega }}})\). Looking at the interface \(\Gamma\) between two patches, e.g. like in Fig. 5, we have for \(\phi \in {\mathcal {B}}^{'''}\) a well-defined directional derivative in the direction of the interface. Thus it is enough to find linear combinations \(\phi\) of basis functions in \({\mathcal {B}}^{'''}\) that have continuous directional derivatives \(\nabla \phi \cdot \varvec{n}_{\Gamma },\) where \(\varvec{n}_{\Gamma }\) is a fixed normal vector to the interface. Consequently, we get the \(C^1\) coupled basis functions by the null space of the derivative jump matrix \(M_{\Gamma },\) where
with [[g]] standing for the jump value of the g across the interface and above we assume \({\mathcal {B}}^{'''} {:}{=}\{\phi _1, \ \phi _2, \dots \}\). Straightforwardly this null space computation is adapted if several interfaces are involved.
Finally, we have with the basis of the null space of \(M_{\Gamma }\) our \(C^1\) smooth basis functions, i.e. our desired coupled basis \({\mathcal {B}}^1 {:}{=}{\mathcal {B}}^{'''} \cap C^1({\tilde{\Omega }})\). We denote the space spanned by the coupled basis functions as
Remark 2
The steps to get smooth basis functions above can be implemented directly. Even if the computation of the jump matrix for the different matrices seems problematic, we get well-defined integral values since the evaluations are only done in quadrature points away from the singular point. Besides, we note that all the steps from above reduce to a suitable transformation matrix \(T \in {\mathbb {R}}^{N \times N_1}\) expressing the coupled basis functions w.r.t. the original basis. In particular \(N_1 = \# {\mathcal {B}}^1, \ N = \# {\mathcal {B}}\).
After we showed the possibility to obtain \(C^1\) mappings in the planar SB context, an obvious question arises. Do the coupled functions yield a reasonable approximation behavior if we utilize them in numerical applications? It is well-known that a strong \(C^1\) coupling might lead to \(C^1\) locking, i.e. the loss or worsening of approximation abilities. Admittedly, we do not give here a strict proof, of whether the \(C^1\) coupling for planar SB domains ensures optimal convergence orders. However, we want to outline why we expect the latter. Numerical tests confirm this conjecture. Following the results from [17], we get optimal convergence orders in the planar multi-patch case, if we restrict ourselves to so-called analysis-suitable \(G^1\) (AS-\(G^1\))parametrizations and B-spline basis functions with \(p>r+1>1\). The mentioned parametrizations class is defined for the standard two-patch case, cf. Fig. 7, as follows.
Definition 1
In view of Fig. 7 we set \({\textbf{F}}^{(R)}={\textbf{F}}_2, \ {\textbf{F}}^{(L)} = {\textbf{F}}_1(\cdot +1,\cdot )\). The global parametrization \(\tilde{{\textbf{F}}},\) i.e. \(\tilde{{\textbf{F}}}_{|{\widehat{\Omega }}^{(S)}}={\textbf{F}}^{(S)}, \ S \in \{L,R\}\), is analysis-suitable \(G^1\) if there are polynomial functions \(\alpha ^{(S)}, \ \beta ^{(S)} :[0,1] \rightarrow {\mathbb {R}}\) of degree at most 1 s.t.
with \(\beta = \alpha ^{(L)} \, \beta ^{(R)} - \alpha ^{(R)} \, \beta ^{(L)}\). Further we require \(\tilde{{\textbf{F}}} \in C^0( \overline{{\widehat{\Omega }}^{(L)} \cup {\widehat{\Omega }}^{(R)}}; {\mathbb {R}}^2),\) and that \(\tilde{{\textbf{F}}}^{(S)} \in C^1(\overline{{\widehat{\Omega }}^{(S)}}; {\mathbb {R}}^2)\) is invertible.
We call then the complete multi-patch parametrization analysis-suitable \(G^1\), if the latter condition is fulfilled for each interface.
With the next lemma we relate the introduced AS-\(G^1\) geometries to the planar SB ansatz.
Lemma 1
(SB-IGA patch coupling as quasi AS-\(G^1\)) The planar SB parametrizations fulfill the condition in (21) for proper polynomials \(\alpha ^{(S)}, \ \beta ^{(S)}\) of degree \(\le 1\).
Proof
This can be shown by simple calculations. But it is also clear by the observation that the SB-parametrizations can be approximated in a neighbourhood of an interface by bilinear parametrizations. This can can be exemplified if w.l.o.g. \({\textbf{F}}(\zeta ,\xi ) = \xi \gamma (\zeta ),\) where the interface corresponds to the points with \(\zeta =0\). Then it is
But since bilinear parametrizations are AS-\(G^1\) as shown in [17], the assumption is clear. \(\square\)
Hence, if we are away from the singular point we get with the SB ansatz AS-\(G^1\) parametrizations. And for the approximation near the scaling center we added the scaling center basis functions \(\phi _{i,sc}\). This and Theorem 1 in [17] suggest the feasibility of SB-IGA for \(C^1\) coupling.
4.2 Generalization to non-star shaped and trimmed geometries
In this section, we shortly explain why the coupling from above can be generalized to more complicated geometries.
Up to now, the computational domain is considered to be star-shaped. However, assuming we can partition our domain into several star-shaped blocks, we can do the coupling as explained previously block-wise. The coupling between the different blocks can then be realized analogously and easily if the block interfaces are given by straight lines. Moreover, two patches from two blocks that meet at a straight interface meet w.l.o.g. as two bilinear parametrizations, see Fig. 8. But as already mentioned, the bilinear parametrizations are AS-\(G^1\) meaning we should not see \(C^1\) locking if \(p>r+1>1\).
A non-star-shaped domain which is divided into star-shaped subdomains that have non-curved interfaces. Such multi-patch structures are still suitable for a \(C^1\) coupling. If the interface between SB-param. with two different scaling centers is a straight line, then w.l.o.g. the patches meet as two bilinear patches and the param. is quasi AS-\(G^1\), i.e. AS-\(G^1\) except at the singular points
The mentioned natural approach to applying a preliminary partition step to handle more complicated geometries is convenient when considering trimmed planar domains. The trimming operation, i.e. the cut away of domain parts is a standard operation within the IGA community and standing to reason for the description of different geometries. Especially, when dealing with perforated domains trimming curves are adequate to determine the computational domain. The concept of trimming can be formally incorporated within planar SB-IGA. Namely, let us suppose an untrimmed domain \({\tilde{\Omega }}\) is defined as SB multi-patch domain. If a trimming curve \(\gamma _T\) defines which parts are omitted, we first compute the intersections between the trimming curve and the boundary curves of the untrimmed domain. First, we think of a non-interior curve, i.e. there are at least two intersections. After possible knot insertions, it is possible to represent all relevant boundary segments by new NURBS curves exactly. If the trimmed domain is not-star shaped we first partition the new domain into star-convex blocks and then choose suitable scaling centers. Otherwise, we choose directly a feasible scaling center.
If there is an interior trimming curve, we start with the partition step and then we detect the relevant boundary curves that are again inputs for the blocks-wise SB-parametrizations. Since the situation with an interior trimming curve is more interesting for us and the only one appearing in the numerics section later, we illustrate the proceeding for the latter case in the subsequent Fig. 9.
Before we come to numerical examples for the SB-IGA framework with \(C^1\) coupling, we briefly summarize the ideas for trimming in Algorithm 1.
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11012-023-01692-z/MediaObjects/11012_2023_1692_Figa_HTML.png)
After we discussed how we can obtain \(C^1\) basis functions on planar SB multi-patch domains, we exploit them below to compute approximations to the Kirchhoff–Love shell model.
5 Numerical examples
In the following, the presented formulation is checked on its consistency at first by a simple test as square flat shell. In the further, the example of the Scordelis–Lo roof, known from the so-called ’shell obstacle course’ is evaluated [29,30,31]. Moreover, the double curved hyperbolic paraboloid [32] is evaluated as it considers negative Gaussian curvature and is a highly challenging example. Besides, the example of the Scordelis–Lo roof and further examples are evaluated in terms of trimmed structures as they can be found in literature [3, 5, 33] and are especially suitable for the boundary representation. Conducting an h-refinement for all examples, the models are validated by error norms or the displacements at specific points on reference solutions obtained analytically or from the literature. We denote that we further use t as the thickness, E as the Young’s modulus, \(\nu\) as the Poisson’s ratio, and h as mesh size for the underlying mesh with 1/h equidistant subdivisions with respect to both parametric coordinate directions. The approach has been implemented using MATLAB 2022 [34] in combination with the open source package GeoPDEs [35]. It is specifically designed to solve partial differential equations in the context of isogeometric analysis. We use the model from above, namely basis function in the space \({\mathcal {V}}_h^{M,1}\) for each component. But we note that due to the specific boundary conditions we have to reduce the number of test functions at specific places.
5.1 Geometry approximation
The coupling of the basis functions for the Kirchhoff–Love shell is done in the parametric domain \({\tilde{\Omega }}\) and \({\textbf{R}}\) denotes the initial shell configuration parametrization. Sometimes the latter is not directly available in the form (14). Then, due to the special structure of SB-IGA, it is not clear how to choose in general the control points in order to represent the initial shell configuration in an exact manner, to obtain \({\textbf{R}}\) in the sense of (14), respectively. Thus we exploit the coupled \(C^1\)-smooth basis functions in the parametric domain to approximate the initial shell shape for the examples below. In this sense, we follow the isogeometric paradigm. To be more precise, if we state below the geometry mapping \({\textbf{R}}\), we use in the actual computations an approximated \({\textbf{R}}_{approx } \approx {\textbf{R}}\). Doing so, we use a \(L^2\)-projection onto the test function space to get \({\textbf{R}}_{approx }\). Although this is a naive geometry approximation, it gives us even for coarse meshes reasonable results. Furthermore, several geometries like the hyperbolic paraboloid shape can be still represented exactly, except of rounding errors; see Fig. 10 below.
Here we see the difference between the exact parametrization of the Scordelis–Lo roof with holes and the approximated parametrization mapping utilizing the coupled basis functions. To be more precise, the Euclidean norm difference \(|{\textbf{R}}_{approx }(\theta ^1,\theta ^2)- {\textbf{R}}(\theta ^1,\theta ^2)|\) is plotted, where the underlying meshes are displayed in Fig. 25 and Fig. 19. Even for relatively coarse meshes we see only small differences and the geometry errors can be assumed to be small
Furthermore, in principle, it is possible to use different NURBS for the initial geometry in order to have exact geometries. But, this requires more implementation effort due to the special form of the SB-IGA basis functions in view of quadrature rules. And on the other hand, we would leave in some sense the idea of iso-geometric analysis.
5.2 Smooth solution on a square shell
The first example considering the shell formulation is a flat shell of the square domain \(\Omega = [0,2]^2\) under a smoothly distributed load. It is dedicated to investigating the convergence rates of the approach. The parametric domain coincides with the physical domain in this example. The properties are \(E = 10^6\), \(\nu =0.1\) and correspondingly \(t = \left( 12(1-\nu ^2) /E\right) ^{1/3}\). The boundary \(\partial \Omega\) is fixed and a load g is applied as \(g_z = 4\pi ^4\sin (\pi x) \sin (\pi y)\), such that the analytical solution of the deformation is \(u_{z,ref}= \sin (\pi x) \sin (\pi y)\). The scaling center is placed in the middle of the structure and the mesh is evaluated for basis functions of degree \(p=3\), \(p=4\), and \(p=5\). An exemplary mesh for \(h=1/4\), \(p=3,r=1\) for each patch and a corresponding deformation plot is shown in Fig. 11.
The results of the computation are compared to the analytical solution in terms of the \(H^2\) seminorm and the \(L^2\) norm defined as
The convergence rates are shown in Fig. 12.
The convergence rates indicate for both error estimations optimal convergence rate \({\mathcal {O}}(h^{p-1})\) for the \(H^2\) seminorm and \({\mathcal {O}}(h^{p+1})\) for the \(L^2\) norm. The deviations for \(p=5\) might be caused by large condition numbers together with rounding errors.
5.3 Scordelis–Lo roof
The Scordelis–Lo roof is a well-known model described by [36]. It is a cylinder cutout of \(80^{\circ }\) with dimensions of radius \(R = 25\) and length \(L =50\). The thickness is \(t=0.25\) and the material parameters are \(E = 4.32\cdot 10^8\) and \(\nu = 0.0\). The structure is supported by rigid diaphragms at the curved edges and free at the straight edges. The Scordelis–Lo roof is investigated in three setups as they are the untrimmed structure, trimmed with an elliptic hole under gravity load, and trimmed with four holes under a single load. The untrimmed example is investigated to compare the boundary parametrization to standard IGA parametrizations. Further, the trimmed roofs are compared to numerical results obtained from the literature. The exact parametrization function is chosen to
with \(L_{{\tilde{\Omega }},\theta ^1}\) and \(L_{{\tilde{\Omega }},\theta ^2}\) being the corresponding side length of \({\tilde{\Omega }}\) in each parametric direction.
5.3.1 Untrimmed Scordelis–Lo roof
At first, the untrimmed roof under a gravity load of \(g_z = 90\) per unit area is investigated and the reference solution is given as the vertical displacement at the midpoint of the straight, free edge as \(u_{ref} = 0.3024\) [29, 30]. Since the reference considers shear deformation which is not represented in Kirchhoff–Love shells, the reference solution herein refers to [6] with \(u_{ref}=0.3006\) in terms of the vertical deflection at the same point of interest. The parametric mesh, defined on the domain \({\tilde{\Omega }} = [-0.5,0.5],[-1,1]\), and the corresponding initial shell configuration are shown in Fig. 13. The parametric mesh considers an offset of the scaling center with \(\theta ^1_{off} = 0.2\) and \(\theta ^2_{off} = 0.1\) to show the generality of the formulation.
The results of basis functions of degree \(p=3\), \(p=4\), and \(p=5\) are shown in Fig. 14 on the left side. Even though the scaling center is chosen in non-centered discretization, the results converge in a smooth way towards the reference solution. A comparison to a standard IGA computation of the Scordelis–Lo roof shows that the convergence of IGA-basis functions is at better results for fewer degrees of freedom. This is a natural consequence of the SB-IGA approach since four patches are coupled towards one scaling center in this example. This points out, that the SB-IGA formulation is not as computationally efficient as IGA for standard single-patch structures. However, the example shows a similar convergence rate for the IGA and the SB-IGA approach which validates the proposed method.
5.3.2 Scordelis–Lo roof with one hole under gravity load
For the incorporation of trimmed geometries, the previously defined Scordelis–Lo roof is subjected to trimming in the parametric domain of one hole of radius \(r = 1\). Same as in the untrimmed roof, the structure is subjected to a gravity load of \(g_z = 90\) per unit area. A comparative solution of the vertical displacement at the midpoint of the straight, free edge as \(u_{ref} = -0.361078869965661\) is obtained by overkill solution of the method for a Kirchhoff–Love shell proposed in [5] with degree \(p=5\) and 62.456 active elements. The parametric mesh of domain \({\tilde{\Omega }} = [-4,4]^2\) and the initial shell configuration is shown in Fig. 15. The point of interest is marked in red in the figure.
The results of the vertical deformation at the investigated point of the model with respect to the comparative solution in Fig. 16 show good agreement. Accurate solutions are obtained even from the initial mesh. A slight underestimation is visible for the converged results, however, the difference is less than \(0.5\%\) for \(n=6\) and \(p=5\). As the comparative solution is not an analytically obtained solution, but a numerically converged solution, we assume the slight deviation between the observed deformation values might come from the different trimming strategies. However, it shows the proper incorporation of trimming curves for the analysis. This is underlined by the deformation plot of \(u_z\) on the right side obtained with \(p=5\) and \(h=1/6\).
5.3.3 Scordelis–Lo roof with four holes under single load
Further, the Scordelis–Lo roof is subjected to trimming in the parametric domain of four equally spaced holes of radius \(r = 0.5\). The loading is changed to a point load in the vertical direction in the center of the structure of \(F_z= 10^{-5}\). The example is shown in Fig. 17 with the trimming curves shown in red and the point load applied in the center in green.
The results of the model can be compared to deformation plots presented in [5, Fig. 11(a)], which proposes an IGA shell with adaptive refinement. Figure 18 shows the deformed structure with the displacement in z-direction for the SB-IGA approach of \(p=3\), \(r = 1\) and \(h = 0.125\).
The results point out that the approach derived herein is capable of computing the deformation for trimmed domains of shells. The deformation plot has its maximum and minimum at \(u_{z,min} \approx -3.3 \cdot 10^{-1}\) and \(u_{z,max} \approx 3.7 \cdot 10^{-1}\), respectively. These results are also obtained in [5]. Good agreement is visible on the whole domain including the area of the load application and the free edges.
5.4 Hyperbolic paraboloid
The model of the hyperbolic paraboloid is a saddle structure described in [32]. Besides its complexity due to the double-curved structure and the negative curvature, the problem is compared to the ASG\(^1\) approach for standard IGA multi-patches. The structure is clamped one-sided and loaded by a uniformly distributed load of \(g_z = -8000 \cdot t\). The properties are length \(L = 1\), Young’s modulus \(E=2\cdot 10^{11}\), Poisson’s ratio \(\nu = 0.3\) and thickness of \(t=1/1000\) and \(t = 1/100\). The exact parametrization function of both hyperbolic paraboloid shells is chosen as
The reference solution is obtained from [32] as the vertical deflection at the middle of the free, curved edge with \(u_{z,t=1/1000} = -0.0063941\) and \(u_{z,t=1/100} = -0.93137\cdot 10^{-4}\). The partition of the parametric mesh of domain \({\tilde{\Omega }} = [-0.5,0.5]^2\) and the initial shell configuration is shown in Fig. 19 with the clamped boundary highlighted in blue and the point of interest highlighted in red. The scaling center is placed with an offset in \(\theta ^2\)-direction as \(\theta ^2_{off} = -0.1\). This yields the possibility to have a higher mesh density towards the Dirichlet boundary conditions naturally enforced by moving the scaling center.
Mesh and parametric representation of the hyperbolic paraboloid. On the left, the parametric mesh for \(h=1/4\) is shown. On the right, the corresponding initial shell configuration is plotted. The clamped boundary is marked with a blue line and the point of interest for the evaluation is marked with a red dot in both figures
The results of the convergence study of both thicknesses are shown in Fig. 20. The computed results converge smoothly towards the reference solution for all polynomial orders of the basis functions. For the thin shell, the computation is converging less rapidly than for the thick shell.
Comparison of the results from the proposed approach with the standard analysis-suitable \(G^1\) for Kirchhoff–Love shells proposed in [18] for a thickness of \(t= 1/100\) (left) and an exemplary deformation plot of the overall deformation u for \(p=3\) and \(h=1/24\) (right)
Further, the proposed approach is compared to the analysis-suitable \(G^1\) approach for standard IGA patches. Figure 21 shows a comparison of the results for the degree of \(p=3\) and \(p=4\). It is important to note, that the approach herein has a regularity of \(r=1\) for various degrees, while the compared approach has a regularity of \(r=p-2\). The comparison shows, that the Kirchhoff–Love shell in boundary representation seems to converge faster towards the reference solution than the approximate solutions from [18] utilizing non-degenerate IGA multi-patches.
5.5 Flat shell with multiple holes
To take the trimming more into account, a flat shell structure with an asymmetrical arrangement is evaluated following [33]. The model is presented in Fig. 22 with the parametric mesh and the corresponding deformation. The quadratic shell of side length \(L = 5\) and thickness \(t = 0.005\) is trimmed by 16 circular holes of radius \(r=0.025\) and clamped at all four sides. The material parameters are \(E = 8.736\cdot 10^{7}\) and \(\nu = 0.3\). The structure is loaded by a vertical load of \(g_z = \sin \left( \pi x \right) \cdot \sin \left( \pi y \right)\).
To compare the results to reference solutions from the literature [33], a normalization of the vertical deformation is done as
with \(u_z\) as the computed deflection in z-direction, D the flexural stiffness and L the side length of the shell. Figure 23 shows the results of the proposed approach for the deformation \(u_z\) and to compare the results to the reference solution from the literature, the results are evaluated in terms of a normalization. We refer to the reference solution of an SB-FEM plate formulation with scaling in the thickness direction and semi-analytic solution procedure presented in [33, Figure 29 (a)]. Good agreement is visible for the proposed approach considering maximal normalized deflection and the contour lines.
Left, the deformation \(u_z\) is shown for the flat shall with multiple holes. Right, the normalized vertical displacements \(u_z^*\) of the proposed method look similar to results by an SBFEM formulation using normal scaling presented in [33]
5.6 Violin
In the last example, we utilize the boundary representation in the most sophisticated extent by evaluating a sketch of a violin following the idea of [3] with modifications for the boundary conditions and the parametrization functions. The violin in this contribution is clamped at the whole outer boundary and trimmed by two so-called "F-holes". It is loaded by a constant vertical dead load of \(g_z = 0.05\) per unit area. The parameters are \(t=0.25\), \(E = 10^5\) and \(\nu = 0.1\). The underlying parametrization function of the violin is
The parametric mesh and the corresponding initial shell configuration are shown in Fig. 24. The advantages of the scaled boundary approach are especially visible due to the various shapes of the SB-patches including triangles, quadrilaterals, and pentagons. Further, the outer boundary curve of the violin contains vertices that are easily included in the computational domain. Note, that the trimming curves of the "F-holes" are considered as part of the boundary. Even though there is no reference solution, the results in Fig. 25 seem reasonable as the deformation is symmetric in the y-axis, and the boundary conditions are fulfilled.
6 Conclusions
In this contribution, a Kirchhoff–Love shell was derived in the framework of scaled boundary isogeometric analysis. To ensure \(C^1\)-continuity across patches, a coupling of the scaled boundary geometries was applied that fits the concept of analysis-suitable \(G^1\) parametrizations from [17] and a special treatment of the basis functions in the vicinity of the scaling center was implemented. The benefits of the boundary representation technique are pointed out by the incorporation of trimming curves as part of the geometry. The shell formulation is at first tested in general against optimal convergence rates of the \(H^2\) seminorm and the \(L^2\) norm. Further, a comparison to the Kirchhoff–Love shell proposed by [6] and in the terms of multi-patch structures [18] is done. The application of trimming is presented in several examples and good agreement with examples from the literature is obtained. The method is especially powerful when it comes to multi-patch geometries that cannot easily be described by a single IGA patch which is outlined by an example of a violin structure with trimmed F-holes.
In further work, an exact representation of the shells in the physical domain is pending. A procedure to adjust the planar domain and the corresponding parametrization according to the physical domain will improve the applicability of the approach. Besides, the formulation of the Kirchhoff–Love shell may be extended to geometric and material nonlinearity to show the formulations’ power not only for the linear case but to make it applicable to more advanced shell problems including buckling or plastic deformations.
Data availability
The NURBS boundary curve for the example of the violin is made available under https://doi.org/10.5281/zenodo.8168515.
References
Hughes TJR, Cottrell JA, Bazilevs Y (2005) Isogeometric analysis: CAD, finite elements, NURBS, exact geometry and mesh refinement. Comput Methods Appl Mech Eng 194(39–41):4135–4195
Marussig B, Hughes TJR (2018) A review of trimming in isogeometric analysis: challenges, data exchange and simulation aspects. Archiv Comput Methods Eng 25(4):1059–1127
Coradello L, D’Angella D, Carraturo M, Kiendl J, Kollmannsberger S, Rank E, Reali A (2020) Hierarchically refined isogeometric analysis of trimmed shells. Comput Mech 66(2):431–447
Leidinger L, Breitenberger AM, Bauer M, Hartmann S, Wüchner R, Bletzinger K-U, Duddeck F, Song L (2019) Explicit dynamic isogeometric B-Rep analysis of penalty-coupled trimmed NURBS shells. Comput Methods Appl Mech Eng 351:891–927
Coradello L, Antolin P, Vázquez R, Buffa A (2020) Adaptive isogeometric analysis on two-dimensional trimmed domains based on a hierarchical approach. Comput Methods Appl Mech Eng 364(112925):6
Kiendl J, Bletzinger K-U, Linhard J, Wüchner R (2009) Isogeometric shell analysis with Kirchhoff-Love elements. Comput Methods Appl Mech Eng 198:3902–3914
Guo Y, Ruess M (2015) Weak Dirichlet boundary conditions for trimmed thin isogeometric shells. Comput Math Appl 70(7):1425–1440
Benzaken J, Evans JA, McCormick SF, Tamstorf R (2021) Nitsche’s method for linear Kirchhoff–Love shells: formulation, error analysis, and verification. Comput Methods Appl Mech Eng 374:113544
Dornisch W, Vitucci G, Klinkel S (2015) The weak substitution method-an application of the mortar method for patch coupling in NURBS-based isogeometric analysis. Int J Numer Meth Eng 103(3):205–234
Chasapi M, Dornisch W, Klinkel S (2020) Patch coupling in isogeometric analysis of solids in boundary representation using a mortar approach. Int J Numer Meth Eng 121(14):3206–3226
Breitenberger M, Apostolatos A, Philipp B, Wüchner R, Bletzinger K-U (2015) Analysis in computer aided design: nonlinear isogeometric B-Rep analysis of shell structures. Comput Methods Appl Mech Eng 284:401–457
Herrema AJ, Johnson EL, Proserpio D, Wu MC, Kiendl J, Hsu M-C (2019) Penalty coupling of non-matching isogeometric Kirchhoff–Love shell patches with application to composite wind turbine blades. Comput Methods Appl Mech Eng 346:810–840
Coradello L, Kiendl J, Buffa A (2021) Coupling of non-conforming trimmed isogeometric Kirchhoff–Love shells via a projected super-penalty approach. Comput Methods Appl Mech Eng 387:114187
Proserpio D, Kiendl J (2022) Penalty coupling of trimmed isogeometric Kirchhoff-Love shell patches. J Mech 38:156–165
Kiendl J, Bazilevs Y, Hsu M-C, Wüchner R, Bletzinger K-U (2010) The bending strip method for isogeometric analysis of Kirchhoff–Love shell structures comprised of multiple patches. Comput Methods Appl Mech Eng 199(37–40):2403–2416
Schuß S, Dittmann M, Wohlmuth B, Klinkel S, Hesch C (2019) Multi-patch isogeometric analysis for Kirchhoff-Love shell elements. Comput Methods Appl Mech Eng 349:91–116
Collin A, Sangalli G, Takacs T (2016) Analysis-suitable G\(^1\) multi-patch parametrizations for C\(^1\) isogeometric spaces. Computer Aided Geometric Design 47:93–113
Farahat A, Verhelst HM, Kiendl J, Kapl M (2022) Isogeometric analysis for multi-patch structured Kirchhoff-Love shells. arXiv
Natarajan S, Wang J, Song C, Birk C (2015) Isogeometric analysis enhanced by the scaled boundary finite element method. Comput Methods Appl Mech Eng 283:733–762
Arioli C, Shamanskiy A, Klinkel S, Simeon B (2019) Scaled boundary parametrizations in isogeometric analysis. Comput Methods Appl Mech Eng 349:576–594
Song C, Wolf JP (1997) The scaled boundary finite-element method-alias consistent infinitesimal finite-element cell method-for elastodynamics. Comput Methods Appl Mech Eng 147(3–4):329–355
Wolf JP, Song C (2000) The scaled boundary finite-element method-a primer: derivations. Comput Struct 78(1–3):191–210
Bauer B, Arioli C, Simeon B (2021) Generating star-shaped blocks for scaled boundary multipatch IGA. Isogeometric analysis and applications 2018. Springer, Cham, pp 1–25
Toshniwal D, Speleers H, Hiemstra RR, Hughes TJR (2017) Multi-degree smooth polar splines: a framework for geometric modeling and isogeometric analysis. Comput Methods Appl Mech Eng 316:1005–1061
Krysl P, Belytschko T (1996) Analysis of thin shells by the element-free Galerkin method. Int J Solids Struct 33(20–22):3057–3080
Kaufmann P, Gischig SM, Botsch M, Gross MH (2009) Implementation of discontinuous Galerkin Kirchhoff–Love shells. Technical report, vol. 622
Buffa A, Sangalli, G (2016) IsoGeometric Analysis: A New Paradigm in the Numerical Approximation of PDEs: Cetraro, Italy 2012. Springer, vol. 2161
Bazilevs Y, Veiga L, Cottrell J, Hughes T, Sangalli G (2006) Isogeometric analysis: approximation, stability and error estimates for h-refined meshes. Math Models Methods Appl Sci 16(07):1031–1090
Belytschko T, Stolarski H, Liu WK, Carpenter N, Ong JS (1985) Stress projection for membrane and shear locking in shell finite elements. Comput Methods Appl Mech Eng 51:221–258
Macneal RH, Harder RL (1985) A proposed standard set of problems to test finite element accuracy. Finite Elements Anal Design, 1
Krysl P, Chen J-S (2022) Benchmarking computational shell models. Archiv Comput Methods Eng 1–15
Bathe K-J, Iosilevich A, Chapelle D (2000) An evaluation of the MITC shell elements. Comput Struct 75(1):1–30
Man H, Song C, Xiang T, Gao W, Tin-Loi F (2013) High-order plate bending analysis based on the scaled boundary finite element method. Int J Numer Meth Eng 95(4):331–360
MATLAB (2022) version 9.13.0.2049777 (R2022b). Natick, Massachusetts: The MathWorks Inc
Vázquez R (2016) A new design for the implementation of isogeometric analysis in Octave and Matlab: GeoPDEs 3.0. Comput Math Appl 72(3):523–554
Scordelis AC, Lo KS (1964) Computer analysis of cylindrical shells. ACI J Proc 61
Acknowledgments
We would like to thank Margarita Chasapi (École Polytechnique Fédérale de Lausanne) for providing a comparative solution of the Scordelis–Lo roof with one hole under gravity load.
Funding
Open Access funding enabled and organized by Projekt DEAL. This study was funded by the DFG (German Research Foundation) under Grant no. KL1345/10-2 (Project no. 667493) and Grant no. SI756/5-2 (Project no. 667494).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Reichle, M., Arf, J., Simeon, B. et al. Smooth multi-patch scaled boundary isogeometric analysis for Kirchhoff–Love shells. Meccanica 58, 1693–1716 (2023). https://doi.org/10.1007/s11012-023-01692-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11012-023-01692-z