Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Enhanced parametric shape descriptions in PGD-based space separated representations

Enhanced parametric shape descriptions in PGD-based space separated representations mohammadjavad.kazemzadehparsi@ensam.eu; kazemzadeh@iaushiraz.ac.ir Space separation within the Proper Generalized Decomposition—PGD—rationale Department of Mechanical allows solving high dimensional problems as a sequence of lower dimensional ones. In Engineering, Shiraz Branch, Islamic Azad University, Shiraz, our former works, different geometrical transformations were proposed for addressing Iran complex shapes and spatially non-separable domains. Efficient implementation of Full list of author information is separated representations needs expressing the domain as a product of characteristic available at the end of the article functions involving the different space coordinates. In the case of complex shapes, more sophisticated geometrical transformations are needed to map the complex physical domain into a regular one where computations are performed. This paper aims at proposing a very efficient route for accomplishing such space separation. A NURBS-based geometry representation, usual in computer aided design—CAD—, is retained and combined with a fully separated representation for allying efficiency (ensured by the fully separated representations) and generality (by addressing complex geometries). Some numerical examples are considered to prove the potential of the proposed methodology. Keywords: Space separated representation, Complex geometries, PGD, NURBS Introduction A generic problem in physics consists of a differential operator acting on the so-called unknown field. In what follows for the sake of clarity we will assume a scalar unknown field depending on space x and time t, as well as on a series of parameters, grouped in vector μ, related to the considered physics, the loading or the domain in which the problem is defined. Thus, the problem reads L(u(x,t; μ)) = f (x,t; μ), (1) 3 P where x ∈  (μ) ⊂ R , t ∈  ⊂ R and the parameteres μ ∈  ⊂ R . x t μ For approximating the unknown function, and in absence of a priori knowledge, any multi-purpose polynomial approximation basis can be used. The Finite Element Method— FEM—uses simple approximation bases with interpolative properties and compact sup- port. To approximate very general functions the approximation basis must be rich enough, with the computational efficiency impact, in particular when addressing nonlinear tran- © The Author(s) 2021. 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/. 0123456789().,–: volV Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 2 of 28 sient models, where the computational complexity scales with the space and time mesh resolution. For alleviating such complexity, the first route consists in reducing the number of degrees of freedom. Thus, the so-called Proper Orthogonal Decomposition—POD—[10], extract from some offline computations the most significant modes φ (x) for representing those solutions. A generalization consists of expressing u(x,t) from the finite sum u(x,t) ≈ T (t)X (x), (2) i i i=1 with both functions T (t)and X (x) assumed unknown and calculated on the fly by using i i an appropriate linearization [25]. The interested reader can refer to [3,9,26,29,32,33]and the references therein for additional references. Equation (2) expresses that the solution of M problems in space for calculating functions X (x) and the same number of one-dimensional problems defined in time for computing function T (t) suffices for computing it, in fact few more because of the nonlinearity of the solution procedure. PGD has also been used with the attempt of alleviating the complexity of the problems involving the space coordinates. For that purpose, when the spatial domain  can be fully or partially decomposed, i.e.  =  ×  ×  or  =  ×  respectively, x x y z x xy z the separated representation based approximations read respectively u(x, y, z) ≈ X (x)Y (y)Z (z), (3) i i i i=1 that allows calculating the 3D solution from a sequence of 1D problems, and u(x, y, z) ≈ X (x, y)Z (z). (4) i i i=1 The former is specially suitable when the problem is defined in hexahedral domains, whereas the later applies in degenerated domains like plates [5], shells [6] or extruded domains (e.g. beams) [7,27]. In both cases the computing time savings could be impressive, with a complexity scaling with standard 1D discretization for the former and 2D for the last, while computing a fully 3D solution [9]. The same approach was extensively considered in structural plate and shell models in [31,36–38], squeeze flows [13]and electromagnetism problems [35] defined in laminates. When the domain is not intrinsically separable, fully separated representations can be performed by immersing of the non-separable domain onto a fully separable one and use penalty formulations [15,18]. Another valuable route consists in using appropriate geometrical mappings [2,15–17]. A step forward in the use of separated representations consisted in assuming model parameters as extra-coordinates M P u(x,t, μ , ... , μ ) ≈ X (x)T (t) M (μ ), (5) 1 P i i j i=1 j=1 leading to the definition of multi-parametric solutions of parametrized models, that once calculated offline, enable simulation, optimization, inverse analysis, uncertainty propaga- tion and simulation-based control, all them under the real-time constraint [8,10]. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 3 of 28 An appealing use of those separated representations concern their use in shape opti- mization as reported in [1]. However, several difficulties were noticed, among them the necessity of easily parametrizing complex geometries in a simple and compact form when addressing CAD geometries. There are techniques in CAD enabling accurate geometry descriptions based on the employ of NURBS. Recently such geometrical descriptors were combined with a discretization operating on the same framework, leading to the so-called Isogeometric Analysis (IGA) [12,19]. Thus, the IGA unifies the NURBS-based geometry description and a NURBS-based field approximation. Some advantages of the IGA are [19]: elimination of mesh generation process, exact (or very accurate) geometric representation, easy formulation of high order element and superior numerical accuracy than standard FEM. Several works have shown superior accuracy and robustness of IGA and excellent behavior has been proven in a number of publications [4,11,14,19–22,28]. The NURBS can be also used in conjunction with usual discretization. Thus, they were also applied for enhancing standard finite element discretization [34]. Beside the above-mentioned methods, hyper reduction [24] and reduced basis isogeometric analysis [23]werealso considered for geometry parametrization within the model order reduction setting. The present paper aims at exploring the use of NURBS-based geometrical descrip- tions combined with the PGD-based fully 3D space separation. Moreover, considering the control points as model extra-coordinates within the PGD rationale we will address parametric geometries, that could be enriched by considering other parameters as extra- coordinates, like material parameters. All these points will be addressed in the next sections, before illustrating the solution capabilities from the solution and analysis of few selected problems. For the sake of sim- plicity, and without loss of accuracy, the different capabilities will be illustrated on the heat equation. Geometrical description enabling fully separated representations Problem statement As stated before, the main goal of the present work is to develop a procedure for solving boundary value problems (BVP) in non-separable geometries using the PGD. Therefore, to describe the proposed method and also to evaluate it, we are considering the nonlinear heat equation with temperature dependent thermal conductivity. The heat equation defined in the domain  reads ∂ ∂T ∂ ∂T ∂ ∂T K (T) + K (T) + K (T) + f = 0, (6) ∂x ∂x ∂y ∂y ∂z ∂z where T is the temperature field, K (T) is the thermal conductivity assumed depending on the temperature and here assumed isotropic, and f is the volumetric heat source. Appropriate boundary conditions must be enforced on the domain boundary  ≡ ∂ T = T on Γ (7) and q = q on Γ (8) with the heat flux q =−K ∇T · n (with ∇ the gradient operator and n the unit outwards vector defined on the domain boundary), and T and q the prescribed temperature and heat flux on the Dirichlet  and Neumann  boundaries respectively. D N Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 4 of 28 The Galerkin weak formulation of the heat equation reads ∗ ∗ ∗ ∂T ∂T ∂T ∂T ∂T ∂T K + K + K dx ∂x ∂x ∂y ∂y ∂z ∂z ∗ ∗ = T fdx + T qdx, (9) Ω Γ where T represents the test function, assumed regular enough and vanishing in  . NURBS-based geometrical approximation Using the NURBS basis functions (introduced in Appendix A), a single variate curve C,a bivariate surface S and a trivariate volume V can be described according to x = R ξ P , x ∈ C, (10) ( ) i=1 n m pq x = R ξ P , x ∈ S, (11) ( ) ij ij i=1 j=1 and n m l pqr x = R (ξ) P , x ∈ V, (12) ijk ijk i=1 j=1 k=1 respectively, where, P refers to the control points (the vertices of the so-called control net) in the physical domain (curve, surface or volume). Equations (10)–(12) represent the application that maps any point ξ into the computa- 2 3 tional domain  ([0, 1] in 1D, [0, 1] in 2D and [0, 1] in 3D) into a point x in physical domain  . The form of the NURBS-based approximation functions involved in these expressions is given in Appendix A. These expressions allow computing the different partial derivatives involved in the differential operators as well as in the transformation Jacobian. The main drawback of such a mapping is that those derivatives have not an affine structure. For that purpose we apply a separated approximate representation —SAR— described in the next section. Separated approximate representation (SAR) Consider the generic function g(x) defined in the physical domain  and g(ξ), its coun- terpart in the computational domain  . A separated approximate representation of g(ξ) in the computational domain reads NG ND g(ξ) ≈ M (ξ )G , (13) j ji i=1 j=1 where M (ξ ) is the vector of approximation functions (such as usual piecewise linear j j function like the ones employed in FEM) in term of j-th coordinate direction (ξ , ξ , ξ ≡ 1 2 3 ξ, η, ζ)and G is the vector of coefficients. ND is the number of coordinates (2 in 2D and 3in3D) and NG is the number of modes used to express function g(ξ). The procedure for calculating the unknown coefficients G was addressed in [9], here ji revisited in Appendix B. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 5 of 28 The SAR is used for performing the affine decomposition of the terms involved in the geometrical mapping NX ND x(ξ) = M X , (14) ji i=1 j=1 NY ND y(ξ) = M Y (15) ji i=1 j=1 and NZ ND z(ξ) = M Z (16) ji i=1 j=1 where, NX, NY and NZ are the number of modes required to reach the desired level of accuracy in the SAR of x(ξ), y(ξ)and z (ξ) respectively. The associated Jacobian expression is derived in Appendix . Proper generalized decomposition constructor The separated representation of the temperature field T (ξ) in the computational domain is constructed by progressive enrichment. Thus, with (n-1) modes already calculated, the n term approximate reads n−1 ND ND T T T ξ ≈ M T + M T . (17) ( ) ji jn j j i=1 j=1 j=1 Finding the coefficient vectors T , consists of using a fixed-point iteration [9]. At each jn iteration of the fixed-point algorithm, one vector among the ND unknown vectors T ,is jn considered unknown and the others are considered known. Therefore, the test field involved in the weighted residual formulation, reads ND ∗d T ∗d T T (ξ) = M T M T (18) jn j = 1 j = d where d represents the considered direction, for calculating T . dn The other source of nonlinearity is the thermal conductivity that is assumed depending on the temperature. The simplest approach to overcome this issue, among many other alternatives, consists in evaluating it at the previous temperature approximate, and then apply the SAR according to NK ND K (T (ξ)) = K (ξ) = M K . (19) ji i=1 j=1 When considering three dimensions, i.e. ND = 3, the problem weak form reads ∗d ∗d ∗d ∂T ∂T ∂T ∂T ∂T ∂T Kdx + Kdx + Kdx ∂x ∂x ∂y ∂y ∂z ∂z Ω Ω Ω x x x ∗d ∗d = T fdx + T qdx. (20) Ω Γ x N The weak form is then mapped into the computational domain  where the separated representation of the temperature field will apply, as well as the one of the conductivity. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 6 of 28 For this purpose we will use the SAR of the transformation derivatives and the Jacobian determinant. Thus, for example the first term in Eq. (20)leads to ∗d ∗d ∗d ∂T ∂T ∂T h + h + h 11 12 13 ∂ξ ∂η ∂ζ ∂T ∂T ∂T h + h + h K (ξ) |J | dξ, (21) 11 12 13 ∂ξ ∂η ∂ζ with K (ξ) given by the SAR (19), and where h , h and h are the coefficients relating 11 12 13 the derivatives in the physical and computational domains, with |J | the determinant of the Jacobian of the transformation (the expression of all them are given in Appendix ). Equation (21) results at its turn in nine terms, where the first reads ∗d ∂T ∂T h h K (ξ) |J | dξ. (22) 11 11 ∂ξ ∂ξ The 27 resulting terms involved in the left-hand side of Eq. (20) have the same structure, expressed by ∗d ∂T ∂T h h K (ξ) |J | dξ, (23) ca cb ∂ξ ∂ξ a b where indices a, b, c take values in the set {1, 2, 3}. The solution procedure is detailed in Appendix D. Numerical results In this section, to evaluate the applicability of the proposed method, some numerical examples are solved and the results are compared with exact solutions or the ones obtained by using the FEM that will be considered as reference. To evaluate the accuracy the following relative error norm is used 1/2 ref PGD 2 (T − T ) dx e = , (24) ref 2 (T ) dx ref PGD where T refers the reference solution and T to the approximate numerical solution obtained using the proposed method. 2D geometry The domain geometry and control net associated to a NURBS surface are shown in Fig. 1. The order of the B-splines considered is p = 2in ξ and q = 1in η, associated to the knots (the interested reader can find the main concepts and notation related to the NURBS in Appendix A) κ = [0, 0, 0, 0.5, 0.5, 1, 1, 1] . (25) κ = [0, 0, 1, 1] A repeated knot is added in the knot vector κ to enforce the sharp corner at the control point 8 in Fig. 1b. To exactly represent the circular part of the boundary we consider the weighting coefficients [30] w = [1,cos(π/8), 1,cos(π/8), 1, 1, 1, 1, 1, 1] . (26) Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 7 of 28 Fig. 1 Domain geometry (a) and control net for the construction of the NURBS representation (b) T T T Fig. 2 Four-modes (i = 1, 2, 3, 4) SAR of the NURBS-based mapping: a M (ξ)X ; b M (η)X ; c M (ξ)Y ; 1i 2i 1i 1 2 1 and d M (η)Y 2i A four-modes SAR of the domain geometry is shown in Fig. 2. Then, by considering the boundary conditions on the different boundary segments reported in Fig. 1a 0on AB (4 − 2x)(x − 1) on BC T(x, y) = , (27) 0on CDE (4 − 2y)(y − 1) on AE Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 8 of 28 Fig. 3 Six-modes separated representation of the temperature field: Modes in ξ (a)and in η (b) Fig. 4 Temperature field in the computational domain (a) and in the physical domain (b) and the temperature dependency of the thermal conductivity expressed by K (T) = 1 + T, (28) the exact solution reads 2 2 T x, y = x − 2 y − 2 (x + y − 1). (29) ( ) ( )( ) The forcing function f (x, y) can be obtained by substitution of the exact solution given by Eq. (29) into the problem model expressed by Eq. (6). The problem is then solved by using the proposed methodology whose first 6 modes are shown in Fig. 3. The temperature distribution in the computational and physical domains is shown in Fig. 4. To evaluate the accuracy of the method and the effect the number of modes the problem is solved for different number of nodes and in each case the error norm with respect to the exact solution is computed using Eq. (24) and it is reported in Fig. 5. The results show that the method converges very rapidly and the solution only requires few modes. As expected the solution accuracy increases by considering finer meshes, with no impact on the computational performances because of the use of separated represen- tation that only solves one-dimensional problems. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 9 of 28 Fig. 5 Relative error norm versus the number of modes involved in the temperature separated representation for different meshes Fig. 6 NURBS surface in 2D and its control net (a), single mode SAR (b); and two modes SAR (c) Fig. 7 Modes involved in the solution: Modes in ξ (a)and modesin η (b) Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 10 of 28 Fig. 8 Temperature field: In the computational domain (a); In physical domain (b); and reference solution obtained by using a commercial FEM solver Fig. 9 Domain geometry: Dimensions of the generative surface (a); the resulting volume (b); and the control net for the NURBS representation (c) 2D complex geometry In the second example, we consider the geometry given in Fig. 6, whose left image repre- sents a 2D NURBS surface and its control net. When considering second order B-splines along the direction ξ (p = 2) and one along direction η (q = 1), and using the knots κ = [0, 0, 0, 0.25, 0.4, 0.5, 0.6, 0.75, 1, 1, 1] , (30) and κ = [0, 0, 1, 1] . (31) the SAR of coordinate x(ξ)and y(ξ) related to a single mode, i.e. NX = NY = 1, results in the reconstructed geometry depicted in Fig. 6(centre). As it can be noticed in Fig. 6(right) two SAR modes, NX = NY = 2, suffice for generating an almost perfect representation of the mapping. The nonlinear thermal problem is solved in the domain shown in Fig. 6 for proving the ability to perform separated representations in geometrically complex domains. Homo- geneous Dirichlet boundary conditions are enforced on the domain boundary and the temperature dependent conductivity is taken the same that in the previous numerical test. A volumetric thermal source applies in the domain, f = 300. A mesh containing 61 nodes in ξ and 31 in η where considered. Even if a standard mesh-based discretization Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 11 of 28 T T T T T Fig. 10 SAR of the NURBS-based mapping: a M (ξ)X ; b M (η)X ; c M (ζ )X ; d M (ξ)Y ; e M (η)Y ; f 1i 2i 3i 1i 2i 1 2 3 1 2 T T T T M (ζ )Y ; g M (ξ)Z ; h M (η)Z ; i M (ζ )Z 3i 1i 2i 3i 3 1 2 3 Fig. 11 Six modes involved in the solution: a Modes in ξ; b modes in η;and c modes in ζ Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 12 of 28 Fig. 12 Temperature field: a Computational domain; b Physical domain Fig. 13 Relative error norm versus the number of modes for different meshes would imply 61 × 31 nodes (even more if operating directly in the physical domain for accurately adapting to the domain geometry), the separated representation only needs solving a sequence of 1D problems with 61 degrees of freedom or 31 depending on the direction considered, ξ and η respectively. Again 6 modes (depicted in Fig. 7) were enough for representing accurately the solution, when compared with a standard FEM solution on a mesh consisting of quadratic elements and involving 4767 nodes. The converged temperature field is shown in Fig. 8 in the computational and physical domains, with the FEM reference solution. The maximum relative error concerning the maximum temperature is of 0.24% that can be considered excellent, and it could be reduced even more by considering either finer meshes or richer separated approximations. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 13 of 28 Fig. 14 Modes involved in the separated representation: a modes involving the coordinate ξ; b Modes involving the coordinate η;and c Modes involving the thermal conductivity K 3D geometry In the present case, the thermal problem is solved in the 3D domain generated by rotating the 2D surface depicted in Fig. 9a around the z axis. The generated 3D volume is shown in Fig. 9b. That volume can be easily represented by using NURBS with 12 control points. The control net is shown in Fig. 9c. The order of the B-splines are p = 2in ξ, q = 1in η and r = 1in ζ with the knot vectors given by ⎪ κ = [0, 0, 0, 1, 1, 1] κ = [0, 0, 1, 1] . (32) κ = [0, 0, 1, 1] The weighting coefficients corresponding to control points 2, 5, 8 and 11 are cos( )and the weighting coefficients of the rest of control points are unit values. This selection of weights ensures the exact representation of the conic surface [30]. The modes of the separated representation of the physical coordinates x, y and z in terms of the computational coordinates ξ, η and ζ are shown in Fig. 10. To represent the domain geometry, only two modes for x and y and one mode for z suffice. Homogeneous Dirichlet boundary conditions are applied on the domain boundary. The thermal conductivity is again the same than the one considered in the previous examples. The exact temperature distribution was enforced to be 1 1 2 2 2 2 T (x, y, z) = xyz(z − 2)(x + y − 1) x + y − 3 − z , (33) 50 2 needing for a volumetric thermal source that results from introducing the temperature field (33) into the problem strong form (6). Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 14 of 28 Fig. 15 Temperature distribution for different conductivities in the computational domain The solution involves the six modes shown in Fig. 11. The solution is depicted on some domain cross-sections of the computational domain in Fig. 12a whereas the corresponding solution in the physical domain is shown in Fig. 12b. The problem is solved for different number of modes and nodes, with the relative error norm, obtained by using Eq. (24), reported in Fig. 13. Parametric solutions The present section addresses the case in which the PGD operates first, as previously discussed, for separating the space coordinates in the computational domain, and then for including the material conductivity as an extra-coordinate. For that purpose we consider the problem considered in Section with now the conductivity as extra-coordinate. Thus, we are interested in computing the temperature field at each point and for any value of the thermal conductivity (linear, isotropic and uniformly distributed in the physical domain), taking values in the interval K ∈ [1, 3]. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 15 of 28 Fig. 16 Temperature distribution for different conductivities in the physical domain Fig. 17 Domain and function contours (a) and 3D representation of the considered function (b) Figure 14 represents the different modes involved in the solution separated represen- tation, whereas Figs. 15 and 16 show the solution in both, the computational and the physical domains respectively. Describing a solution exhibiting a steep gradient To emphasize the performances of the proposed approach for describing at very low cost complex geometries in a very accurate way, in this section we consider the domain depicted in Fig. 17a, where the solution in each point is described by function f (x, y) 2 2 f (x, y) = atan 3(x + y − 4) , (34) π Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 16 of 28 Fig. 18 Different control nets to represent the same geometry but with different stretching to capture accurately steep gradients (a, c, e)and (b, d, f) corresponding NURBS geometry Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 17 of 28 Fig. 19 Convergence analysis Fig. 20 Function distribution along the coordinate η depicted in Fig. 17b. As it can be noticed the solution exhibits a high gradient when the radius approaches r = 2. Figure 18 depicts different geometrical descriptions enabling finer meshes in the region where the solution exhibits higher gradients (r = 2). Figure 19 depicts the convergence in the solution representation when decreasing the mesh size in the three considered control nets. Finally Figs. 20 and 21 compare the solutions along the η coordinate (in the computational domain) and the radial one respectively, proving an excellent accuracy. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 18 of 28 Fig. 21 Solution f (r), with r the radius Fig. 22 Geometry parameterization of a complex Y shaped domain: extreme positions of the moving control point Parametrized shapes In this section instead of using as extra-coordinate a parameter related to the physics itself (the conductivity in Section ), here we consider the control point positions as parameters, and then, within the PGD rationale, as extra-coordinates, for in this manner computing from one shot the solution for any possible geometry (shape) according to the considered parameterization. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 19 of 28 Fig. 23 Temperature field in the computational domains particularized for different positions S of the control point indicated in Fig. 22, that is, for different shapes of the physical domain Fig. 24 Solutions in the physical domain related to those shown in Fig. 23 Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 20 of 28 Fig. 25 Modes involved in the separated representation: a modes involving the coordinate ξ; b Modes involving the coordinate η;and c Modes involving the control point position S For that purpose, we consider the Y-shaped domain already introduced in section , where the location of one control point is considered as a parameter, that is, as a model extra- coordinate within the PGD rationale. The extreme positions of that control point and the corresponding geometries, are shown in Fig. 22. The temperature distribution in the computational and physical domains are given respectively in Figs. 23 and 24 on different slices corresponding to different values of the coordinate S (representing the control point position). Finally, the first 5 modes of the separated representation, concerning the different coordinates, are depicted in Fig. 25. Conclusions PGD makes possible advanced parametric analyses, by considering parameters as model extra-coordinates, while circumventing the resulting curse of dimensionality by using separated representations. When applying separated representation to the space coordi- nates, the solution of 3D problems becomes a sequence of one-dimensional problems as soon as the 3D domain can be expressed in a separated form (hexahedra). This fact limits significantly the domain of applicability of space separated representations. The present work enlarges the applicability of the PGD rationale to general non-regular geometries, expressed by using NURBS-based representations, very usual in CAD tech- nologies. A separated representation is then proposed for the geometrical transformation, enabling the transformation of a 3D problem in a complex geometry into a sequence of one-dimensional problems solution. Many examples served to prove the capabilities and potential of the proposed methodology. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 21 of 28 More complex geometries need multiple NURBS for approximating them. In particular, these complex geometries can be decomposed in simpler subdomains, each one approx- imated as described in the present paper, with some constraints applied on the NURBS, for taking into account the different transmission conditions on the interfaces. This topic is addressed in the second part of the present paper, that is being finalized. Acknowledgements Authors acknowledge the support of the ESI Group through its research chair at ENSAM ParisTech. Authors’ contributions All the authors participated in the definition of techniques and algorithms. All authors read and approved the final manuscript. Availability of data and materials Interested reader can contact authors. Declarations Competing interests The authors declare that they have no competing interests. Author details 1 2 Department of Mechanical Engineering, Shiraz Branch, Islamic Azad University, Shiraz, Iran, LAMPA, Arts et Metiers 3 4 Institute of Technology, Angers, France, Innovation Department, ESI Group, Rungis, France, PIMM Lab & ESI Chair, Arts et Metiers Institute of Technology, Paris, France. Appendix A: NURBS fundamentals NURBS enable exactly representing the geometry of most curves, surfaces and volumes encountered in engineering applications, being nowadays a usual technology employed in CAD. For the sake of completeness this section revisits the main concepts involved in the NURBS construction. For additional details the interested reader can refer to [30]. NURBS result from weighted combinations of B-spline functions. To define a set of n B-spline functions of order p in a univariate parametric space ξ ∈ [0, 1], the knot vector κ is defined as follows κ = [ξ , ξ , ... , ξ ] . (35) ξ 1 2 n+p+1 Denote N (ξ) as the B-spline basis function of order p in the a-th knot span ξ ∈ ap [ ξ , ξ ). The following recursive equations can be used to compute the univariate B- a a+1 spline basis function N (ξ)[30] ap 1 ξ ≤ ξ< ξ a a+1 N (ξ) = , (36) a0 0 otherwise for p = 0, and for p > 0 ξ − ξ ξ − ξ a a+p+1 N (ξ) = N + N (37) ap a(p−1) (a+1) p−1 ( ) ξ − ξ ξ − ξ a+p a a+p+1 a+1 For illustrative purposes a set of basis functions of order 2 using a non-uniform knot vector κ =[0, 0, 0, 0.3, 0.4, 0.5, 0.6, 0.7, 0.7, 1, 1, 1] is showninFig. 26. A proper choice of the knot vectors allows obtaining rich behavior of the basis functions and enough flexibility to describe complex geometries. For example, the basis functions given in Fig. 26 define an interpolation at the ends of the interval [0, 1] and also at the position of ξ = 0.7 due to the repeated knot at these locations. The NURBS basis functions can be obtained using a rational weighted sum of the B- splines basis functions. With w the weight, the univariate NURBS basis function, R (ξ) i Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 22 of 28 Fig. 26 The B-spline basis functions of order 2 for non-uniform knot vector κ = [0, 0, 0, 0.3, 0.4, 0.5, 0.6, 0.7, 0.7, 1, 1, 1] reads [30] N (ξ) w ip i R (ξ) =  . (38) N (ξ) w αp α α=1 pq The bivariate NURBS basis functions R (ξ, η) in 2D domains and trivariate NURBS ij pqr basis functions R (ξ, η, ζ ) in 3D domains can be obtained using tensor product of uni- ijk variate basis functions N (ξ) N (η) w ip jq ij pq R (ξ) = , (39) n m ij N (ξ) N (η) w αp βq αβ α=1 β=1 and N (ξ) N (η) N (ζ ) w ip jq pqr kr ijk R (ξ) = , (40) ijk n m l N (ξ) N (η) N (ζ ) w αp βq γ r αβγ α=1 β=1 γ =1 respectively. In the previous equations p, q,and r are the order of B-splines in directions ξ, η,and ζ , respectively and ξ = (ξ, η, ζ ) is the coordinates vector in the computational domain, and w denote the weighting parameters. All the univariate basis functions are defined ijk based on the B-splines defined in their respective coordinates. The knot vector κ and κ η ζ applying in the coordinates η and ζ read κ = [η , η , ... , η ] η ∈ [0, 1], (41) η 1 2 m+q+1 and κ = [ζ , ζ , ... , ζ ] ζ ∈ [0, 1], (42) ζ 1 2 l+r+1 respectively, being n, m and l the number of basis functions in directions ξ, η and ζ respectively. Using the NURBS basis functions just described, the single variate curve C, bivariate surface S and trivariate volume V can be described from x = R ξ P x ∈ C, (43) ( ) i=1 n m pq x = R ξ P x ∈ S, (44) ( ) ij ij i=1 j=1 Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 23 of 28 Fig. 27 The control net for generating a NURBS volume (a), NURBS-based description of the physical domain (b) and computational domain (c) and n m l pqr x = R (ξ) P x ∈ V, (45) ijk ijk i=1 j=1 k=1 respective, where, P refers to the control points (the vertices of the so-called control net) in the physical domain. Equations (43)–(45) represent the application that maps any point ξ in the computa- tional domain  to a point x in physical domain  . ξ x Figure 27 illustrates the just described construction, where the control net and control points are shown in the left, the physical domain  described using the NURBS-based mapping (45), in the central image, and the corresponding computational domain  ,the unit cube shown in the right image. T T Now, using the notation x = (x, y, z) ≡ (x ,x ,x )and ξ = (ξ, η, ζ ) ≡ (ξ , ξ , ξ ), for 1 2 3 1 2 3 facilitating the mapping description compactness, the terms involved in the transforma- tion of the differential operator from  to  read x ξ pqr n m l ∂ R ξ ( ) ∂x a ijk = P ,a,b = 1, 2, 3, (46) ijk ∂ξ ∂ξ b b i=1 j=1 k=1 where P refers to the a-component of P . ijk ijk The previous equation involves the NURBS derivatives. Thus, for example the derivative of R (ξ)reads N (ξ)W (ξ) − N (ξ)W (ξ) ip p ip R (ξ) = w (47) dξ W (ξ) where, W (ξ) is the denominator of Eq. (38). The derivatives of bivariate and trivariate basis functions can also be obtained following the same rationale, and can be found in [30]. As it can be noticed, the main drawback of the proposed mapping is that expressions like (47) have not a separate structure, compromising the effectiveness of the PGD solver. For that purpose we apply a separated approximate representation described in B. Appendix B: SAR constructor Consider function g(ξ). It might be given analytically or it may be possible to numerically evaluate it at any point ξ. We are interested in obtaining a SAR of g(ξ) in terms of a set of approximation functions in different directions and a set of coefficients as given in Eq. (13). Any approximation basis could be considered in M to find the coefficients in G related to a finite sum involving NG terms providing an approximation accurate enough. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 24 of 28 We proceed in an iterative manner, and we consider that we have already calculated the first (n − 1) modes and we would like to find the next mode, n. The residual at the present iteration reads n−1 ND n−1 T r (ξ) = g (ξ) − M (ξ )G . (48) j ji i=1 j=1 Therefore, the n-th mode must be obtained in such a way that makes an approximation for the residual, i.e. ND T n−1 M G ≈ r (ξ) . (49) jn j=1 n−1 To find the coefficients G that provides the best approximation of the residual r ξ , ( ) jn the error ⎛ ⎞ ND T n−1 ⎝ ⎠ e = M G − r (ξ) dξ, (50) jn j=1 is enforced to be minimum by prescribing null derivatives ∂ e ∂ e ∂ e = 0 , = 0& = 0, (51) α β ∂G ∂G ∂G 1n 3n 2n β γ where, G , G and G refer to the α-th, β-th and γ -th component of corresponding 1n 2n 3n vectors. Consider, for instance ∂ e = 0, (52) ∂G 1n it results 2 2 α T T T M M G M G M G dξ 1n 2n 3n 1 1 2 3 α T T n−1 = M M G M G r (ξ)dξ, (53) 2n 3n 1 2 3 that reduces to M M dξ G 1 1n 1 1 1 α T T n−1 M M G M G r ξ dζ dηdξ ( ) 2n 3n 1 2 3 0 0 0 = , ∀α (54) 2 2 1 1 T T M G dη M G dζ 2n 3n 0 2 0 3 By considering the other two relations in Eq. (51), each one applying ∀β and ∀γ respec- tively, a nonlinear discrete system is obtained whose solution result in the vectors G , 1n G and G . 2n 3n Appendix C: Separated geometry mapping As before stated in Section , the most appealing features of the PGD is reducing of a high dimensional problem to a series of problems defined in lower dimensional spaces. To apply this method in non-separable geometries one needs first to map the problem from the physical domain  into the computational domain  . The main issue, as x ξ Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 25 of 28 previously discussed, is the non-separable expression of the terms related to the Jacobian of the coordinate transformation. The derivatives transform according to ⎡ ⎤ ⎡ ⎤ ∂(·)/∂x ∂(·)/∂ξ ⎢ ⎥ ⎢ ⎥ ⎣ ∂(·)/∂y ⎦ = h ⎣ ∂(·)/∂η ⎦ , (55) ∂(·)/∂z ∂(·)/∂ζ where, h is the inverse of the Jacobian, J. As previously indicated the coordinate transformation (46) leads to non separable expressions that compromise the PGD effectiveness. An alternative procedure consists in contructing a separated representation of the coordinates mapping NX ND x(ξ) = M X , (56) ji i=1 j=1 NY ND y(ξ) = M Y (57) ji i=1 j=1 and NZ ND z(ξ) = M Z (58) ji i=1 j=1 where, NX, NY and NZ are the number of modes required to reach the desired level of accuracy in the SAR of x(ξ), y(ξ)and z ξ respectively. ( ) Using the same rationale, we can derive the SAR of Jacobian determinant and the transformation derivatives, respectivaly NJ ND |J | = M J , (59) ji i=1 j=1 and ab NH ND T ab h (ξ) = M H ,a,b = 1, 2, 3. (60) ab j ji i=1 j=1 To illustrate the SAR of NURBS we consider the case given in Fig. 6, whose left image represents a 2D NURBS surface and its control net. When considering second order B- splines along the direction ξ (p = 2) and one along direction η (q = 1), and using the knots κ = [0, 0, 0, 0.25, 0.4, 0.5, 0.6, 0.75, 1, 1, 1] , (61) and κ = [0, 0, 1, 1] (62) the SAR of coordinate x(ξ)and y(ξ) are constructed by using the procedure just described, where a single mode representation, i.e. NX = NY = 1, results in the reconstructed geometry depicted in Fig. 6(centre). As it can be noticed in Fig. 6(right) two SAR modes NX = NY = 2 suffice for generating an almost perfect representation of the mapping. The different modes involved in the approximation are depicted in Fig. 28. The maximum error of SAR of x and y are given in Table 1 proving that only two modes largely suffices for capturing the geometric details. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 26 of 28 T T T Fig. 28 Two-modes (i = 1, 2) SAR of the NURBS-based mapping: a M (ξ)X ; b M (η)X ; c M (ξ)Y ;and 1i 2i 1i 1 2 1 d M (η)Y 2i Table 1 Maximum error in the separated approximate representation of coordinates x and y # modes Maximum error in x representation Maximum error in y representation 1 1.572e-01 7.656e-01 2 7.772e-16 3.109e-15 Appendix D: PGD constructor First, we define the operator ∂M !"# if a = j ∂ξ M = . (63) M else ∗d By considering the above operator the derivatives of T and T read ⎛ ⎞ n−1 ND ND ∂T ∂ T T ⎝ ⎠ = M T + M T ji jn j j ∂ξ ∂ξ b b i=1 j=1 j=1 b b n−1 ND !"# ND !"# T T = M T + M T (64) ji jn j j i=1 j=1 j=1 and ⎛ ⎞ ⎜ ⎟ ND ND !"# ∗d !"# ⎜ ⎟ ∂T ∂ ∗dT T ∗dT T ⎜ ⎟ = T M M T = T M M T , (65) jn jn d d ⎜ j ⎟ j ∂ξ ∂ξ a a ⎝ ⎠ j = 1 j = 1 j = d j = d respectively. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 27 of 28 Received: 23 February 2021 Accepted: 6 September 2021 References 1. Ammar A, Huerta A, Chinesta F, Cueto E, Leygue A. Parametric solutions involving geometry: a step towards efficient shape optimization. Comput Methods Appl Mech Eng. 2014;268C:178–93. 2. Ammar A, Ghnatios Ch, Delplace F, Barasinski A, Duval JL, Cueto E, Chinesta F. On the effective conductivity and the apparent viscosity of a thinrough polymer interface using PGD-based separated representations. Int J Num Methods Eng (In press). 3. Azaiez M, Ben Belgacem F, Casado J, Chacon T, Murat F. A new algorithm of proper generalized decomposition for parametric symmetric elliptic problems. SIAM J Math Analy. 2018;50(5):5426–45. 4. Bazilevs Y, Beirao da Veiga L, Cottrell JA, Hughes TJR, Sangalli G. Isogeometric analysis: approximation stability and error estimates for h-refined meshes. Math Models Methods Appl Sci. 2006;16(07):1031–90. 5. Bognet B, Leygue A, Chinesta F, Poitou A, Bordeu F. Advanced simulation of models defined in plate geometries: 3D solutions with 2D computational complexity. Comput Methods Appl Mech Eng. 2012;201:1–12. 6. Bognet B, Leygue A, Chinesta F. Separated representations of 3D elastic solutions in shell geometries. Adv Model Simul Eng Sci. 2014;1:4. http://www.amses-journal.com/content/1/1/4. 7. Bordeu F, Ghnatios Ch, Boulze D, Carles B, Sireude D, Leygue A, Chinesta F. Parametric 3D elastic solutions of beams involved in frame structures. Adv Aircraft Spacecraft Sci. 2015;2(3):233–48. 8. Chinesta F, Leygue A, Bordeu F, Aguado JV, Cueto E, Gonzalez D, Alfaro I, Ammar A, Huerta A. PGD-based computa- tional vademecum for efficient design, optimization and control. Arch Comput Methods Eng. 2013;20:31–59. 9. Chinesta F, Keunings R, Leygue A. The Proper Generalized Decomposition for Advanced Numerical Simulations. A primer. Springerbriefs in Applied Sciences and Technology, Springer 2014. 10. Chinesta F, Huerta A, Rozza G, Willcox K. Model Order Reduction. Chapter in the Encyclopedia of Computational Mechanics, Second Edition. In: Erwin Stein, René de Borst & Tom Hughes Edt., Wiley: New York; 2015. 11. Cottrell JA, Hughes TJR, Reali A. Studies of refinement and continuity in isogeometric structural analysis. Comput Methods Appl Mech Eng. 2007;196(41):4160–83. 12. Cottrell JA, Hughes TJR, Bazilevs Y. Isogeometric analysis toward integration of cad and FEA. New York: Wiley; 2009. 13. Ghnatios Ch, Abisset-Chavanne E, Binetruy Ch, Chinesta F, Advani S. 3D modeling of squeeze flow of multiaxial laminates. J Non-Newt Fluid Mech. 2016;234:188–200. 14. Evans JA, Hughes TJR. Discrete spectrum analyses for various mixed discretizations of the Stokes eigenproblem. Comput Mech. 2012;50(6):667–74. 15. Ghnatios Ch, Xu G, Visonneau M, Leygue A, Chinesta F, Cimetiere A. On the space separated representation when addressing the solution of PDE in complex domains. Discr Contin Dyn Syst. 2016;9(2):475–500. 16. Ghnatios C, Abisset-Chavanne E, Ammar A, Cueto E, Duval JL, Chinesta F. Advanced spatial separated representations. Comput Methods Appl Mech Eng. 2019;354:802–19. 17. Ghnatios C, Cueto E, Falco A, Duval JL, Chinesta F. Spurious-free interpolations for non-intrusive PGD-based parametric solutions: application to composites forming processes. Int J Mater Form (In press). 18. Gonzalez D, Ammar A, Chinesta F, Cueto E. Recent advances in the use of separated representations. Int J Num Methods Eng. 2010;81(5):637–59. 19. Hughes TJR, Cottrell JA, Bazilevs Y. Isogeometric analysis: CAD finite elements NURBS exact geometry and mesh refinement. Comput Methods Appl Mech Eng. 2005;194:4135–95. 20. Hughes TJR, Reali A, Sangalli G. Duality and unified analysis of discrete approximations in structural dynamics and wave propagation comparison of p-method finite elements with k-method NURBS. Comput Methods Appl Mech Eng. 2008;197(49):4104–24. 21. Hughes TJR, Evans JA, Reali A. Finite element and NURBS approximations of eigenvalue boundary value and initial value problems. Comput Methods Appl Mech Eng. 2014;272:290–320. 22. Kazemzadeh-Parsi MJ. Isogeometric analysis in solution of unconfined seepage problems. Comput Math Appl. 2019;78:66–80. 23. Manzoni A, Salmoiraghi F, Heltai L. Reduced Basis Isogeometric Methods (RB-IGA) for the real-time simulation of potential flows about parametrized NACA airfoils. Comput Methods Appl Mech Eng. 2015;284(1):1147–80. 24. Lacourt L, Ryckelynck D, Forest S, de Rancourt V, Flouriot S. Hyper-reduced direct numerical simulation of voids in welded joints via image-based modeling. Int J Num Methods Eng. 2020;121:2581–99. 25. Ladevèze P. The large time increment method for the analyze of structures with nonlinear constitutive relation described by internal variables. C R Acad Sci Paris. 1989;309:1095–9. 26. Ladevèze Pierre, Passieux J-C, Néron David. The latin multiscale computational method and the proper generalized decomposition. Comput Methods Appl Mech Eng. 2010;199(21–22):1287–96. 27. Leygue A, Chinesta F, Beringhier M, Nguyen TL, Grandidier JC, Pasavento F, Schrefler B. Towards a framework for non-linear thermal models in shell domains. Int J Num Methods Heat Fluid Flow. 2013;23(1):55–73. 28. Lipton S, Evans JA, Bazilevs Y, Elguedj T, Hughes TJR. Robustness of isogeometric structural discretizations under severe mesh distortion. Comput Methods Appl Mech Eng. 2010;199(5):357–73. 29. Perotto S, Carlino MG, Ballarin F. Model reduction by separation of variables: a comparison between Hierarchical Model reduction and. Proper Generalized Decomposition. 2018 arXiv preprint arXiv:1811.11486. 30. Piegl L, Tiller W. The NURBS Book. Monographs in Visual Communication, Second ed., Springer-Verlag, 1977. 31. Pruliere E. 3D simulation of laminated shell structures using the Proper Generalized Decomposition. Compos Struct. 2014;117:373–81. 32. Reyes R, Codina R, Baiges J, Idelsohn S. Reduced order models for thermally coupled low Mach flows. Adv Model Simul Eng Sci. 2018;5(1):28. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 28 of 28 33. Senecal JP, Ji W. Characterization of the proper generalized decomposition method for fixed-source diffusion prob- lems. Ann Nucl Energy. 2019;126:68–83. 34. Sevilla R, Fernandez-Mendez S, Huerta A. NURBS?enhanced finite element method (NEFEM). Int J Num Methods Eng. 2008;76(1):56–83. 35. Tertrais H, Ibanez R, Barasinski A, Ghnatios Ch, Chinesta F. On the Proper Generalized Decomposition applied to microwave processes involving multilayered components. Math Comput Simul. 2019;156:347–63. 36. Vidal P, Gallimard L, Polit O. Explicit solutions for the modeling of laminated composite plates with arbitrary stacking sequences Composites Part B -. Engineering. 2014;60:697–706. 37. Vidal P, Gallimard L, Polit O. Shell finite element based on the Proper Generalized Decomposition for the modeling of cylindrical composite structures. Comput Struct. 2014;132:1–11. 38. Vidal P, Gallimard L, Polit O. Assessment of variable separation for finite element modeling of free edge effect for composite plates. Compos Struct. 2015;123:19–29. Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png "Advanced Modeling and Simulation in Engineering Sciences" Springer Journals

Enhanced parametric shape descriptions in PGD-based space separated representations

Download PDF
28 pages

Loading next page...
 
/lp/springer-journals/enhanced-parametric-shape-descriptions-in-pgd-based-space-separated-xajd0LP9fZ

References (31)

Publisher
Springer Journals
Copyright
Copyright © The Author(s) 2021
eISSN
2213-7467
DOI
10.1186/s40323-021-00208-2
Publisher site
See Article on Publisher Site

Abstract

mohammadjavad.kazemzadehparsi@ensam.eu; kazemzadeh@iaushiraz.ac.ir Space separation within the Proper Generalized Decomposition—PGD—rationale Department of Mechanical allows solving high dimensional problems as a sequence of lower dimensional ones. In Engineering, Shiraz Branch, Islamic Azad University, Shiraz, our former works, different geometrical transformations were proposed for addressing Iran complex shapes and spatially non-separable domains. Efficient implementation of Full list of author information is separated representations needs expressing the domain as a product of characteristic available at the end of the article functions involving the different space coordinates. In the case of complex shapes, more sophisticated geometrical transformations are needed to map the complex physical domain into a regular one where computations are performed. This paper aims at proposing a very efficient route for accomplishing such space separation. A NURBS-based geometry representation, usual in computer aided design—CAD—, is retained and combined with a fully separated representation for allying efficiency (ensured by the fully separated representations) and generality (by addressing complex geometries). Some numerical examples are considered to prove the potential of the proposed methodology. Keywords: Space separated representation, Complex geometries, PGD, NURBS Introduction A generic problem in physics consists of a differential operator acting on the so-called unknown field. In what follows for the sake of clarity we will assume a scalar unknown field depending on space x and time t, as well as on a series of parameters, grouped in vector μ, related to the considered physics, the loading or the domain in which the problem is defined. Thus, the problem reads L(u(x,t; μ)) = f (x,t; μ), (1) 3 P where x ∈  (μ) ⊂ R , t ∈  ⊂ R and the parameteres μ ∈  ⊂ R . x t μ For approximating the unknown function, and in absence of a priori knowledge, any multi-purpose polynomial approximation basis can be used. The Finite Element Method— FEM—uses simple approximation bases with interpolative properties and compact sup- port. To approximate very general functions the approximation basis must be rich enough, with the computational efficiency impact, in particular when addressing nonlinear tran- © The Author(s) 2021. 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/. 0123456789().,–: volV Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 2 of 28 sient models, where the computational complexity scales with the space and time mesh resolution. For alleviating such complexity, the first route consists in reducing the number of degrees of freedom. Thus, the so-called Proper Orthogonal Decomposition—POD—[10], extract from some offline computations the most significant modes φ (x) for representing those solutions. A generalization consists of expressing u(x,t) from the finite sum u(x,t) ≈ T (t)X (x), (2) i i i=1 with both functions T (t)and X (x) assumed unknown and calculated on the fly by using i i an appropriate linearization [25]. The interested reader can refer to [3,9,26,29,32,33]and the references therein for additional references. Equation (2) expresses that the solution of M problems in space for calculating functions X (x) and the same number of one-dimensional problems defined in time for computing function T (t) suffices for computing it, in fact few more because of the nonlinearity of the solution procedure. PGD has also been used with the attempt of alleviating the complexity of the problems involving the space coordinates. For that purpose, when the spatial domain  can be fully or partially decomposed, i.e.  =  ×  ×  or  =  ×  respectively, x x y z x xy z the separated representation based approximations read respectively u(x, y, z) ≈ X (x)Y (y)Z (z), (3) i i i i=1 that allows calculating the 3D solution from a sequence of 1D problems, and u(x, y, z) ≈ X (x, y)Z (z). (4) i i i=1 The former is specially suitable when the problem is defined in hexahedral domains, whereas the later applies in degenerated domains like plates [5], shells [6] or extruded domains (e.g. beams) [7,27]. In both cases the computing time savings could be impressive, with a complexity scaling with standard 1D discretization for the former and 2D for the last, while computing a fully 3D solution [9]. The same approach was extensively considered in structural plate and shell models in [31,36–38], squeeze flows [13]and electromagnetism problems [35] defined in laminates. When the domain is not intrinsically separable, fully separated representations can be performed by immersing of the non-separable domain onto a fully separable one and use penalty formulations [15,18]. Another valuable route consists in using appropriate geometrical mappings [2,15–17]. A step forward in the use of separated representations consisted in assuming model parameters as extra-coordinates M P u(x,t, μ , ... , μ ) ≈ X (x)T (t) M (μ ), (5) 1 P i i j i=1 j=1 leading to the definition of multi-parametric solutions of parametrized models, that once calculated offline, enable simulation, optimization, inverse analysis, uncertainty propaga- tion and simulation-based control, all them under the real-time constraint [8,10]. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 3 of 28 An appealing use of those separated representations concern their use in shape opti- mization as reported in [1]. However, several difficulties were noticed, among them the necessity of easily parametrizing complex geometries in a simple and compact form when addressing CAD geometries. There are techniques in CAD enabling accurate geometry descriptions based on the employ of NURBS. Recently such geometrical descriptors were combined with a discretization operating on the same framework, leading to the so-called Isogeometric Analysis (IGA) [12,19]. Thus, the IGA unifies the NURBS-based geometry description and a NURBS-based field approximation. Some advantages of the IGA are [19]: elimination of mesh generation process, exact (or very accurate) geometric representation, easy formulation of high order element and superior numerical accuracy than standard FEM. Several works have shown superior accuracy and robustness of IGA and excellent behavior has been proven in a number of publications [4,11,14,19–22,28]. The NURBS can be also used in conjunction with usual discretization. Thus, they were also applied for enhancing standard finite element discretization [34]. Beside the above-mentioned methods, hyper reduction [24] and reduced basis isogeometric analysis [23]werealso considered for geometry parametrization within the model order reduction setting. The present paper aims at exploring the use of NURBS-based geometrical descrip- tions combined with the PGD-based fully 3D space separation. Moreover, considering the control points as model extra-coordinates within the PGD rationale we will address parametric geometries, that could be enriched by considering other parameters as extra- coordinates, like material parameters. All these points will be addressed in the next sections, before illustrating the solution capabilities from the solution and analysis of few selected problems. For the sake of sim- plicity, and without loss of accuracy, the different capabilities will be illustrated on the heat equation. Geometrical description enabling fully separated representations Problem statement As stated before, the main goal of the present work is to develop a procedure for solving boundary value problems (BVP) in non-separable geometries using the PGD. Therefore, to describe the proposed method and also to evaluate it, we are considering the nonlinear heat equation with temperature dependent thermal conductivity. The heat equation defined in the domain  reads ∂ ∂T ∂ ∂T ∂ ∂T K (T) + K (T) + K (T) + f = 0, (6) ∂x ∂x ∂y ∂y ∂z ∂z where T is the temperature field, K (T) is the thermal conductivity assumed depending on the temperature and here assumed isotropic, and f is the volumetric heat source. Appropriate boundary conditions must be enforced on the domain boundary  ≡ ∂ T = T on Γ (7) and q = q on Γ (8) with the heat flux q =−K ∇T · n (with ∇ the gradient operator and n the unit outwards vector defined on the domain boundary), and T and q the prescribed temperature and heat flux on the Dirichlet  and Neumann  boundaries respectively. D N Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 4 of 28 The Galerkin weak formulation of the heat equation reads ∗ ∗ ∗ ∂T ∂T ∂T ∂T ∂T ∂T K + K + K dx ∂x ∂x ∂y ∂y ∂z ∂z ∗ ∗ = T fdx + T qdx, (9) Ω Γ where T represents the test function, assumed regular enough and vanishing in  . NURBS-based geometrical approximation Using the NURBS basis functions (introduced in Appendix A), a single variate curve C,a bivariate surface S and a trivariate volume V can be described according to x = R ξ P , x ∈ C, (10) ( ) i=1 n m pq x = R ξ P , x ∈ S, (11) ( ) ij ij i=1 j=1 and n m l pqr x = R (ξ) P , x ∈ V, (12) ijk ijk i=1 j=1 k=1 respectively, where, P refers to the control points (the vertices of the so-called control net) in the physical domain (curve, surface or volume). Equations (10)–(12) represent the application that maps any point ξ into the computa- 2 3 tional domain  ([0, 1] in 1D, [0, 1] in 2D and [0, 1] in 3D) into a point x in physical domain  . The form of the NURBS-based approximation functions involved in these expressions is given in Appendix A. These expressions allow computing the different partial derivatives involved in the differential operators as well as in the transformation Jacobian. The main drawback of such a mapping is that those derivatives have not an affine structure. For that purpose we apply a separated approximate representation —SAR— described in the next section. Separated approximate representation (SAR) Consider the generic function g(x) defined in the physical domain  and g(ξ), its coun- terpart in the computational domain  . A separated approximate representation of g(ξ) in the computational domain reads NG ND g(ξ) ≈ M (ξ )G , (13) j ji i=1 j=1 where M (ξ ) is the vector of approximation functions (such as usual piecewise linear j j function like the ones employed in FEM) in term of j-th coordinate direction (ξ , ξ , ξ ≡ 1 2 3 ξ, η, ζ)and G is the vector of coefficients. ND is the number of coordinates (2 in 2D and 3in3D) and NG is the number of modes used to express function g(ξ). The procedure for calculating the unknown coefficients G was addressed in [9], here ji revisited in Appendix B. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 5 of 28 The SAR is used for performing the affine decomposition of the terms involved in the geometrical mapping NX ND x(ξ) = M X , (14) ji i=1 j=1 NY ND y(ξ) = M Y (15) ji i=1 j=1 and NZ ND z(ξ) = M Z (16) ji i=1 j=1 where, NX, NY and NZ are the number of modes required to reach the desired level of accuracy in the SAR of x(ξ), y(ξ)and z (ξ) respectively. The associated Jacobian expression is derived in Appendix . Proper generalized decomposition constructor The separated representation of the temperature field T (ξ) in the computational domain is constructed by progressive enrichment. Thus, with (n-1) modes already calculated, the n term approximate reads n−1 ND ND T T T ξ ≈ M T + M T . (17) ( ) ji jn j j i=1 j=1 j=1 Finding the coefficient vectors T , consists of using a fixed-point iteration [9]. At each jn iteration of the fixed-point algorithm, one vector among the ND unknown vectors T ,is jn considered unknown and the others are considered known. Therefore, the test field involved in the weighted residual formulation, reads ND ∗d T ∗d T T (ξ) = M T M T (18) jn j = 1 j = d where d represents the considered direction, for calculating T . dn The other source of nonlinearity is the thermal conductivity that is assumed depending on the temperature. The simplest approach to overcome this issue, among many other alternatives, consists in evaluating it at the previous temperature approximate, and then apply the SAR according to NK ND K (T (ξ)) = K (ξ) = M K . (19) ji i=1 j=1 When considering three dimensions, i.e. ND = 3, the problem weak form reads ∗d ∗d ∗d ∂T ∂T ∂T ∂T ∂T ∂T Kdx + Kdx + Kdx ∂x ∂x ∂y ∂y ∂z ∂z Ω Ω Ω x x x ∗d ∗d = T fdx + T qdx. (20) Ω Γ x N The weak form is then mapped into the computational domain  where the separated representation of the temperature field will apply, as well as the one of the conductivity. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 6 of 28 For this purpose we will use the SAR of the transformation derivatives and the Jacobian determinant. Thus, for example the first term in Eq. (20)leads to ∗d ∗d ∗d ∂T ∂T ∂T h + h + h 11 12 13 ∂ξ ∂η ∂ζ ∂T ∂T ∂T h + h + h K (ξ) |J | dξ, (21) 11 12 13 ∂ξ ∂η ∂ζ with K (ξ) given by the SAR (19), and where h , h and h are the coefficients relating 11 12 13 the derivatives in the physical and computational domains, with |J | the determinant of the Jacobian of the transformation (the expression of all them are given in Appendix ). Equation (21) results at its turn in nine terms, where the first reads ∗d ∂T ∂T h h K (ξ) |J | dξ. (22) 11 11 ∂ξ ∂ξ The 27 resulting terms involved in the left-hand side of Eq. (20) have the same structure, expressed by ∗d ∂T ∂T h h K (ξ) |J | dξ, (23) ca cb ∂ξ ∂ξ a b where indices a, b, c take values in the set {1, 2, 3}. The solution procedure is detailed in Appendix D. Numerical results In this section, to evaluate the applicability of the proposed method, some numerical examples are solved and the results are compared with exact solutions or the ones obtained by using the FEM that will be considered as reference. To evaluate the accuracy the following relative error norm is used 1/2 ref PGD 2 (T − T ) dx e = , (24) ref 2 (T ) dx ref PGD where T refers the reference solution and T to the approximate numerical solution obtained using the proposed method. 2D geometry The domain geometry and control net associated to a NURBS surface are shown in Fig. 1. The order of the B-splines considered is p = 2in ξ and q = 1in η, associated to the knots (the interested reader can find the main concepts and notation related to the NURBS in Appendix A) κ = [0, 0, 0, 0.5, 0.5, 1, 1, 1] . (25) κ = [0, 0, 1, 1] A repeated knot is added in the knot vector κ to enforce the sharp corner at the control point 8 in Fig. 1b. To exactly represent the circular part of the boundary we consider the weighting coefficients [30] w = [1,cos(π/8), 1,cos(π/8), 1, 1, 1, 1, 1, 1] . (26) Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 7 of 28 Fig. 1 Domain geometry (a) and control net for the construction of the NURBS representation (b) T T T Fig. 2 Four-modes (i = 1, 2, 3, 4) SAR of the NURBS-based mapping: a M (ξ)X ; b M (η)X ; c M (ξ)Y ; 1i 2i 1i 1 2 1 and d M (η)Y 2i A four-modes SAR of the domain geometry is shown in Fig. 2. Then, by considering the boundary conditions on the different boundary segments reported in Fig. 1a 0on AB (4 − 2x)(x − 1) on BC T(x, y) = , (27) 0on CDE (4 − 2y)(y − 1) on AE Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 8 of 28 Fig. 3 Six-modes separated representation of the temperature field: Modes in ξ (a)and in η (b) Fig. 4 Temperature field in the computational domain (a) and in the physical domain (b) and the temperature dependency of the thermal conductivity expressed by K (T) = 1 + T, (28) the exact solution reads 2 2 T x, y = x − 2 y − 2 (x + y − 1). (29) ( ) ( )( ) The forcing function f (x, y) can be obtained by substitution of the exact solution given by Eq. (29) into the problem model expressed by Eq. (6). The problem is then solved by using the proposed methodology whose first 6 modes are shown in Fig. 3. The temperature distribution in the computational and physical domains is shown in Fig. 4. To evaluate the accuracy of the method and the effect the number of modes the problem is solved for different number of nodes and in each case the error norm with respect to the exact solution is computed using Eq. (24) and it is reported in Fig. 5. The results show that the method converges very rapidly and the solution only requires few modes. As expected the solution accuracy increases by considering finer meshes, with no impact on the computational performances because of the use of separated represen- tation that only solves one-dimensional problems. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 9 of 28 Fig. 5 Relative error norm versus the number of modes involved in the temperature separated representation for different meshes Fig. 6 NURBS surface in 2D and its control net (a), single mode SAR (b); and two modes SAR (c) Fig. 7 Modes involved in the solution: Modes in ξ (a)and modesin η (b) Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 10 of 28 Fig. 8 Temperature field: In the computational domain (a); In physical domain (b); and reference solution obtained by using a commercial FEM solver Fig. 9 Domain geometry: Dimensions of the generative surface (a); the resulting volume (b); and the control net for the NURBS representation (c) 2D complex geometry In the second example, we consider the geometry given in Fig. 6, whose left image repre- sents a 2D NURBS surface and its control net. When considering second order B-splines along the direction ξ (p = 2) and one along direction η (q = 1), and using the knots κ = [0, 0, 0, 0.25, 0.4, 0.5, 0.6, 0.75, 1, 1, 1] , (30) and κ = [0, 0, 1, 1] . (31) the SAR of coordinate x(ξ)and y(ξ) related to a single mode, i.e. NX = NY = 1, results in the reconstructed geometry depicted in Fig. 6(centre). As it can be noticed in Fig. 6(right) two SAR modes, NX = NY = 2, suffice for generating an almost perfect representation of the mapping. The nonlinear thermal problem is solved in the domain shown in Fig. 6 for proving the ability to perform separated representations in geometrically complex domains. Homo- geneous Dirichlet boundary conditions are enforced on the domain boundary and the temperature dependent conductivity is taken the same that in the previous numerical test. A volumetric thermal source applies in the domain, f = 300. A mesh containing 61 nodes in ξ and 31 in η where considered. Even if a standard mesh-based discretization Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 11 of 28 T T T T T Fig. 10 SAR of the NURBS-based mapping: a M (ξ)X ; b M (η)X ; c M (ζ )X ; d M (ξ)Y ; e M (η)Y ; f 1i 2i 3i 1i 2i 1 2 3 1 2 T T T T M (ζ )Y ; g M (ξ)Z ; h M (η)Z ; i M (ζ )Z 3i 1i 2i 3i 3 1 2 3 Fig. 11 Six modes involved in the solution: a Modes in ξ; b modes in η;and c modes in ζ Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 12 of 28 Fig. 12 Temperature field: a Computational domain; b Physical domain Fig. 13 Relative error norm versus the number of modes for different meshes would imply 61 × 31 nodes (even more if operating directly in the physical domain for accurately adapting to the domain geometry), the separated representation only needs solving a sequence of 1D problems with 61 degrees of freedom or 31 depending on the direction considered, ξ and η respectively. Again 6 modes (depicted in Fig. 7) were enough for representing accurately the solution, when compared with a standard FEM solution on a mesh consisting of quadratic elements and involving 4767 nodes. The converged temperature field is shown in Fig. 8 in the computational and physical domains, with the FEM reference solution. The maximum relative error concerning the maximum temperature is of 0.24% that can be considered excellent, and it could be reduced even more by considering either finer meshes or richer separated approximations. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 13 of 28 Fig. 14 Modes involved in the separated representation: a modes involving the coordinate ξ; b Modes involving the coordinate η;and c Modes involving the thermal conductivity K 3D geometry In the present case, the thermal problem is solved in the 3D domain generated by rotating the 2D surface depicted in Fig. 9a around the z axis. The generated 3D volume is shown in Fig. 9b. That volume can be easily represented by using NURBS with 12 control points. The control net is shown in Fig. 9c. The order of the B-splines are p = 2in ξ, q = 1in η and r = 1in ζ with the knot vectors given by ⎪ κ = [0, 0, 0, 1, 1, 1] κ = [0, 0, 1, 1] . (32) κ = [0, 0, 1, 1] The weighting coefficients corresponding to control points 2, 5, 8 and 11 are cos( )and the weighting coefficients of the rest of control points are unit values. This selection of weights ensures the exact representation of the conic surface [30]. The modes of the separated representation of the physical coordinates x, y and z in terms of the computational coordinates ξ, η and ζ are shown in Fig. 10. To represent the domain geometry, only two modes for x and y and one mode for z suffice. Homogeneous Dirichlet boundary conditions are applied on the domain boundary. The thermal conductivity is again the same than the one considered in the previous examples. The exact temperature distribution was enforced to be 1 1 2 2 2 2 T (x, y, z) = xyz(z − 2)(x + y − 1) x + y − 3 − z , (33) 50 2 needing for a volumetric thermal source that results from introducing the temperature field (33) into the problem strong form (6). Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 14 of 28 Fig. 15 Temperature distribution for different conductivities in the computational domain The solution involves the six modes shown in Fig. 11. The solution is depicted on some domain cross-sections of the computational domain in Fig. 12a whereas the corresponding solution in the physical domain is shown in Fig. 12b. The problem is solved for different number of modes and nodes, with the relative error norm, obtained by using Eq. (24), reported in Fig. 13. Parametric solutions The present section addresses the case in which the PGD operates first, as previously discussed, for separating the space coordinates in the computational domain, and then for including the material conductivity as an extra-coordinate. For that purpose we consider the problem considered in Section with now the conductivity as extra-coordinate. Thus, we are interested in computing the temperature field at each point and for any value of the thermal conductivity (linear, isotropic and uniformly distributed in the physical domain), taking values in the interval K ∈ [1, 3]. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 15 of 28 Fig. 16 Temperature distribution for different conductivities in the physical domain Fig. 17 Domain and function contours (a) and 3D representation of the considered function (b) Figure 14 represents the different modes involved in the solution separated represen- tation, whereas Figs. 15 and 16 show the solution in both, the computational and the physical domains respectively. Describing a solution exhibiting a steep gradient To emphasize the performances of the proposed approach for describing at very low cost complex geometries in a very accurate way, in this section we consider the domain depicted in Fig. 17a, where the solution in each point is described by function f (x, y) 2 2 f (x, y) = atan 3(x + y − 4) , (34) π Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 16 of 28 Fig. 18 Different control nets to represent the same geometry but with different stretching to capture accurately steep gradients (a, c, e)and (b, d, f) corresponding NURBS geometry Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 17 of 28 Fig. 19 Convergence analysis Fig. 20 Function distribution along the coordinate η depicted in Fig. 17b. As it can be noticed the solution exhibits a high gradient when the radius approaches r = 2. Figure 18 depicts different geometrical descriptions enabling finer meshes in the region where the solution exhibits higher gradients (r = 2). Figure 19 depicts the convergence in the solution representation when decreasing the mesh size in the three considered control nets. Finally Figs. 20 and 21 compare the solutions along the η coordinate (in the computational domain) and the radial one respectively, proving an excellent accuracy. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 18 of 28 Fig. 21 Solution f (r), with r the radius Fig. 22 Geometry parameterization of a complex Y shaped domain: extreme positions of the moving control point Parametrized shapes In this section instead of using as extra-coordinate a parameter related to the physics itself (the conductivity in Section ), here we consider the control point positions as parameters, and then, within the PGD rationale, as extra-coordinates, for in this manner computing from one shot the solution for any possible geometry (shape) according to the considered parameterization. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 19 of 28 Fig. 23 Temperature field in the computational domains particularized for different positions S of the control point indicated in Fig. 22, that is, for different shapes of the physical domain Fig. 24 Solutions in the physical domain related to those shown in Fig. 23 Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 20 of 28 Fig. 25 Modes involved in the separated representation: a modes involving the coordinate ξ; b Modes involving the coordinate η;and c Modes involving the control point position S For that purpose, we consider the Y-shaped domain already introduced in section , where the location of one control point is considered as a parameter, that is, as a model extra- coordinate within the PGD rationale. The extreme positions of that control point and the corresponding geometries, are shown in Fig. 22. The temperature distribution in the computational and physical domains are given respectively in Figs. 23 and 24 on different slices corresponding to different values of the coordinate S (representing the control point position). Finally, the first 5 modes of the separated representation, concerning the different coordinates, are depicted in Fig. 25. Conclusions PGD makes possible advanced parametric analyses, by considering parameters as model extra-coordinates, while circumventing the resulting curse of dimensionality by using separated representations. When applying separated representation to the space coordi- nates, the solution of 3D problems becomes a sequence of one-dimensional problems as soon as the 3D domain can be expressed in a separated form (hexahedra). This fact limits significantly the domain of applicability of space separated representations. The present work enlarges the applicability of the PGD rationale to general non-regular geometries, expressed by using NURBS-based representations, very usual in CAD tech- nologies. A separated representation is then proposed for the geometrical transformation, enabling the transformation of a 3D problem in a complex geometry into a sequence of one-dimensional problems solution. Many examples served to prove the capabilities and potential of the proposed methodology. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 21 of 28 More complex geometries need multiple NURBS for approximating them. In particular, these complex geometries can be decomposed in simpler subdomains, each one approx- imated as described in the present paper, with some constraints applied on the NURBS, for taking into account the different transmission conditions on the interfaces. This topic is addressed in the second part of the present paper, that is being finalized. Acknowledgements Authors acknowledge the support of the ESI Group through its research chair at ENSAM ParisTech. Authors’ contributions All the authors participated in the definition of techniques and algorithms. All authors read and approved the final manuscript. Availability of data and materials Interested reader can contact authors. Declarations Competing interests The authors declare that they have no competing interests. Author details 1 2 Department of Mechanical Engineering, Shiraz Branch, Islamic Azad University, Shiraz, Iran, LAMPA, Arts et Metiers 3 4 Institute of Technology, Angers, France, Innovation Department, ESI Group, Rungis, France, PIMM Lab & ESI Chair, Arts et Metiers Institute of Technology, Paris, France. Appendix A: NURBS fundamentals NURBS enable exactly representing the geometry of most curves, surfaces and volumes encountered in engineering applications, being nowadays a usual technology employed in CAD. For the sake of completeness this section revisits the main concepts involved in the NURBS construction. For additional details the interested reader can refer to [30]. NURBS result from weighted combinations of B-spline functions. To define a set of n B-spline functions of order p in a univariate parametric space ξ ∈ [0, 1], the knot vector κ is defined as follows κ = [ξ , ξ , ... , ξ ] . (35) ξ 1 2 n+p+1 Denote N (ξ) as the B-spline basis function of order p in the a-th knot span ξ ∈ ap [ ξ , ξ ). The following recursive equations can be used to compute the univariate B- a a+1 spline basis function N (ξ)[30] ap 1 ξ ≤ ξ< ξ a a+1 N (ξ) = , (36) a0 0 otherwise for p = 0, and for p > 0 ξ − ξ ξ − ξ a a+p+1 N (ξ) = N + N (37) ap a(p−1) (a+1) p−1 ( ) ξ − ξ ξ − ξ a+p a a+p+1 a+1 For illustrative purposes a set of basis functions of order 2 using a non-uniform knot vector κ =[0, 0, 0, 0.3, 0.4, 0.5, 0.6, 0.7, 0.7, 1, 1, 1] is showninFig. 26. A proper choice of the knot vectors allows obtaining rich behavior of the basis functions and enough flexibility to describe complex geometries. For example, the basis functions given in Fig. 26 define an interpolation at the ends of the interval [0, 1] and also at the position of ξ = 0.7 due to the repeated knot at these locations. The NURBS basis functions can be obtained using a rational weighted sum of the B- splines basis functions. With w the weight, the univariate NURBS basis function, R (ξ) i Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 22 of 28 Fig. 26 The B-spline basis functions of order 2 for non-uniform knot vector κ = [0, 0, 0, 0.3, 0.4, 0.5, 0.6, 0.7, 0.7, 1, 1, 1] reads [30] N (ξ) w ip i R (ξ) =  . (38) N (ξ) w αp α α=1 pq The bivariate NURBS basis functions R (ξ, η) in 2D domains and trivariate NURBS ij pqr basis functions R (ξ, η, ζ ) in 3D domains can be obtained using tensor product of uni- ijk variate basis functions N (ξ) N (η) w ip jq ij pq R (ξ) = , (39) n m ij N (ξ) N (η) w αp βq αβ α=1 β=1 and N (ξ) N (η) N (ζ ) w ip jq pqr kr ijk R (ξ) = , (40) ijk n m l N (ξ) N (η) N (ζ ) w αp βq γ r αβγ α=1 β=1 γ =1 respectively. In the previous equations p, q,and r are the order of B-splines in directions ξ, η,and ζ , respectively and ξ = (ξ, η, ζ ) is the coordinates vector in the computational domain, and w denote the weighting parameters. All the univariate basis functions are defined ijk based on the B-splines defined in their respective coordinates. The knot vector κ and κ η ζ applying in the coordinates η and ζ read κ = [η , η , ... , η ] η ∈ [0, 1], (41) η 1 2 m+q+1 and κ = [ζ , ζ , ... , ζ ] ζ ∈ [0, 1], (42) ζ 1 2 l+r+1 respectively, being n, m and l the number of basis functions in directions ξ, η and ζ respectively. Using the NURBS basis functions just described, the single variate curve C, bivariate surface S and trivariate volume V can be described from x = R ξ P x ∈ C, (43) ( ) i=1 n m pq x = R ξ P x ∈ S, (44) ( ) ij ij i=1 j=1 Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 23 of 28 Fig. 27 The control net for generating a NURBS volume (a), NURBS-based description of the physical domain (b) and computational domain (c) and n m l pqr x = R (ξ) P x ∈ V, (45) ijk ijk i=1 j=1 k=1 respective, where, P refers to the control points (the vertices of the so-called control net) in the physical domain. Equations (43)–(45) represent the application that maps any point ξ in the computa- tional domain  to a point x in physical domain  . ξ x Figure 27 illustrates the just described construction, where the control net and control points are shown in the left, the physical domain  described using the NURBS-based mapping (45), in the central image, and the corresponding computational domain  ,the unit cube shown in the right image. T T Now, using the notation x = (x, y, z) ≡ (x ,x ,x )and ξ = (ξ, η, ζ ) ≡ (ξ , ξ , ξ ), for 1 2 3 1 2 3 facilitating the mapping description compactness, the terms involved in the transforma- tion of the differential operator from  to  read x ξ pqr n m l ∂ R ξ ( ) ∂x a ijk = P ,a,b = 1, 2, 3, (46) ijk ∂ξ ∂ξ b b i=1 j=1 k=1 where P refers to the a-component of P . ijk ijk The previous equation involves the NURBS derivatives. Thus, for example the derivative of R (ξ)reads N (ξ)W (ξ) − N (ξ)W (ξ) ip p ip R (ξ) = w (47) dξ W (ξ) where, W (ξ) is the denominator of Eq. (38). The derivatives of bivariate and trivariate basis functions can also be obtained following the same rationale, and can be found in [30]. As it can be noticed, the main drawback of the proposed mapping is that expressions like (47) have not a separate structure, compromising the effectiveness of the PGD solver. For that purpose we apply a separated approximate representation described in B. Appendix B: SAR constructor Consider function g(ξ). It might be given analytically or it may be possible to numerically evaluate it at any point ξ. We are interested in obtaining a SAR of g(ξ) in terms of a set of approximation functions in different directions and a set of coefficients as given in Eq. (13). Any approximation basis could be considered in M to find the coefficients in G related to a finite sum involving NG terms providing an approximation accurate enough. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 24 of 28 We proceed in an iterative manner, and we consider that we have already calculated the first (n − 1) modes and we would like to find the next mode, n. The residual at the present iteration reads n−1 ND n−1 T r (ξ) = g (ξ) − M (ξ )G . (48) j ji i=1 j=1 Therefore, the n-th mode must be obtained in such a way that makes an approximation for the residual, i.e. ND T n−1 M G ≈ r (ξ) . (49) jn j=1 n−1 To find the coefficients G that provides the best approximation of the residual r ξ , ( ) jn the error ⎛ ⎞ ND T n−1 ⎝ ⎠ e = M G − r (ξ) dξ, (50) jn j=1 is enforced to be minimum by prescribing null derivatives ∂ e ∂ e ∂ e = 0 , = 0& = 0, (51) α β ∂G ∂G ∂G 1n 3n 2n β γ where, G , G and G refer to the α-th, β-th and γ -th component of corresponding 1n 2n 3n vectors. Consider, for instance ∂ e = 0, (52) ∂G 1n it results 2 2 α T T T M M G M G M G dξ 1n 2n 3n 1 1 2 3 α T T n−1 = M M G M G r (ξ)dξ, (53) 2n 3n 1 2 3 that reduces to M M dξ G 1 1n 1 1 1 α T T n−1 M M G M G r ξ dζ dηdξ ( ) 2n 3n 1 2 3 0 0 0 = , ∀α (54) 2 2 1 1 T T M G dη M G dζ 2n 3n 0 2 0 3 By considering the other two relations in Eq. (51), each one applying ∀β and ∀γ respec- tively, a nonlinear discrete system is obtained whose solution result in the vectors G , 1n G and G . 2n 3n Appendix C: Separated geometry mapping As before stated in Section , the most appealing features of the PGD is reducing of a high dimensional problem to a series of problems defined in lower dimensional spaces. To apply this method in non-separable geometries one needs first to map the problem from the physical domain  into the computational domain  . The main issue, as x ξ Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 25 of 28 previously discussed, is the non-separable expression of the terms related to the Jacobian of the coordinate transformation. The derivatives transform according to ⎡ ⎤ ⎡ ⎤ ∂(·)/∂x ∂(·)/∂ξ ⎢ ⎥ ⎢ ⎥ ⎣ ∂(·)/∂y ⎦ = h ⎣ ∂(·)/∂η ⎦ , (55) ∂(·)/∂z ∂(·)/∂ζ where, h is the inverse of the Jacobian, J. As previously indicated the coordinate transformation (46) leads to non separable expressions that compromise the PGD effectiveness. An alternative procedure consists in contructing a separated representation of the coordinates mapping NX ND x(ξ) = M X , (56) ji i=1 j=1 NY ND y(ξ) = M Y (57) ji i=1 j=1 and NZ ND z(ξ) = M Z (58) ji i=1 j=1 where, NX, NY and NZ are the number of modes required to reach the desired level of accuracy in the SAR of x(ξ), y(ξ)and z ξ respectively. ( ) Using the same rationale, we can derive the SAR of Jacobian determinant and the transformation derivatives, respectivaly NJ ND |J | = M J , (59) ji i=1 j=1 and ab NH ND T ab h (ξ) = M H ,a,b = 1, 2, 3. (60) ab j ji i=1 j=1 To illustrate the SAR of NURBS we consider the case given in Fig. 6, whose left image represents a 2D NURBS surface and its control net. When considering second order B- splines along the direction ξ (p = 2) and one along direction η (q = 1), and using the knots κ = [0, 0, 0, 0.25, 0.4, 0.5, 0.6, 0.75, 1, 1, 1] , (61) and κ = [0, 0, 1, 1] (62) the SAR of coordinate x(ξ)and y(ξ) are constructed by using the procedure just described, where a single mode representation, i.e. NX = NY = 1, results in the reconstructed geometry depicted in Fig. 6(centre). As it can be noticed in Fig. 6(right) two SAR modes NX = NY = 2 suffice for generating an almost perfect representation of the mapping. The different modes involved in the approximation are depicted in Fig. 28. The maximum error of SAR of x and y are given in Table 1 proving that only two modes largely suffices for capturing the geometric details. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 26 of 28 T T T Fig. 28 Two-modes (i = 1, 2) SAR of the NURBS-based mapping: a M (ξ)X ; b M (η)X ; c M (ξ)Y ;and 1i 2i 1i 1 2 1 d M (η)Y 2i Table 1 Maximum error in the separated approximate representation of coordinates x and y # modes Maximum error in x representation Maximum error in y representation 1 1.572e-01 7.656e-01 2 7.772e-16 3.109e-15 Appendix D: PGD constructor First, we define the operator ∂M !"# if a = j ∂ξ M = . (63) M else ∗d By considering the above operator the derivatives of T and T read ⎛ ⎞ n−1 ND ND ∂T ∂ T T ⎝ ⎠ = M T + M T ji jn j j ∂ξ ∂ξ b b i=1 j=1 j=1 b b n−1 ND !"# ND !"# T T = M T + M T (64) ji jn j j i=1 j=1 j=1 and ⎛ ⎞ ⎜ ⎟ ND ND !"# ∗d !"# ⎜ ⎟ ∂T ∂ ∗dT T ∗dT T ⎜ ⎟ = T M M T = T M M T , (65) jn jn d d ⎜ j ⎟ j ∂ξ ∂ξ a a ⎝ ⎠ j = 1 j = 1 j = d j = d respectively. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 27 of 28 Received: 23 February 2021 Accepted: 6 September 2021 References 1. Ammar A, Huerta A, Chinesta F, Cueto E, Leygue A. Parametric solutions involving geometry: a step towards efficient shape optimization. Comput Methods Appl Mech Eng. 2014;268C:178–93. 2. Ammar A, Ghnatios Ch, Delplace F, Barasinski A, Duval JL, Cueto E, Chinesta F. On the effective conductivity and the apparent viscosity of a thinrough polymer interface using PGD-based separated representations. Int J Num Methods Eng (In press). 3. Azaiez M, Ben Belgacem F, Casado J, Chacon T, Murat F. A new algorithm of proper generalized decomposition for parametric symmetric elliptic problems. SIAM J Math Analy. 2018;50(5):5426–45. 4. Bazilevs Y, Beirao da Veiga L, Cottrell JA, Hughes TJR, Sangalli G. Isogeometric analysis: approximation stability and error estimates for h-refined meshes. Math Models Methods Appl Sci. 2006;16(07):1031–90. 5. Bognet B, Leygue A, Chinesta F, Poitou A, Bordeu F. Advanced simulation of models defined in plate geometries: 3D solutions with 2D computational complexity. Comput Methods Appl Mech Eng. 2012;201:1–12. 6. Bognet B, Leygue A, Chinesta F. Separated representations of 3D elastic solutions in shell geometries. Adv Model Simul Eng Sci. 2014;1:4. http://www.amses-journal.com/content/1/1/4. 7. Bordeu F, Ghnatios Ch, Boulze D, Carles B, Sireude D, Leygue A, Chinesta F. Parametric 3D elastic solutions of beams involved in frame structures. Adv Aircraft Spacecraft Sci. 2015;2(3):233–48. 8. Chinesta F, Leygue A, Bordeu F, Aguado JV, Cueto E, Gonzalez D, Alfaro I, Ammar A, Huerta A. PGD-based computa- tional vademecum for efficient design, optimization and control. Arch Comput Methods Eng. 2013;20:31–59. 9. Chinesta F, Keunings R, Leygue A. The Proper Generalized Decomposition for Advanced Numerical Simulations. A primer. Springerbriefs in Applied Sciences and Technology, Springer 2014. 10. Chinesta F, Huerta A, Rozza G, Willcox K. Model Order Reduction. Chapter in the Encyclopedia of Computational Mechanics, Second Edition. In: Erwin Stein, René de Borst & Tom Hughes Edt., Wiley: New York; 2015. 11. Cottrell JA, Hughes TJR, Reali A. Studies of refinement and continuity in isogeometric structural analysis. Comput Methods Appl Mech Eng. 2007;196(41):4160–83. 12. Cottrell JA, Hughes TJR, Bazilevs Y. Isogeometric analysis toward integration of cad and FEA. New York: Wiley; 2009. 13. Ghnatios Ch, Abisset-Chavanne E, Binetruy Ch, Chinesta F, Advani S. 3D modeling of squeeze flow of multiaxial laminates. J Non-Newt Fluid Mech. 2016;234:188–200. 14. Evans JA, Hughes TJR. Discrete spectrum analyses for various mixed discretizations of the Stokes eigenproblem. Comput Mech. 2012;50(6):667–74. 15. Ghnatios Ch, Xu G, Visonneau M, Leygue A, Chinesta F, Cimetiere A. On the space separated representation when addressing the solution of PDE in complex domains. Discr Contin Dyn Syst. 2016;9(2):475–500. 16. Ghnatios C, Abisset-Chavanne E, Ammar A, Cueto E, Duval JL, Chinesta F. Advanced spatial separated representations. Comput Methods Appl Mech Eng. 2019;354:802–19. 17. Ghnatios C, Cueto E, Falco A, Duval JL, Chinesta F. Spurious-free interpolations for non-intrusive PGD-based parametric solutions: application to composites forming processes. Int J Mater Form (In press). 18. Gonzalez D, Ammar A, Chinesta F, Cueto E. Recent advances in the use of separated representations. Int J Num Methods Eng. 2010;81(5):637–59. 19. Hughes TJR, Cottrell JA, Bazilevs Y. Isogeometric analysis: CAD finite elements NURBS exact geometry and mesh refinement. Comput Methods Appl Mech Eng. 2005;194:4135–95. 20. Hughes TJR, Reali A, Sangalli G. Duality and unified analysis of discrete approximations in structural dynamics and wave propagation comparison of p-method finite elements with k-method NURBS. Comput Methods Appl Mech Eng. 2008;197(49):4104–24. 21. Hughes TJR, Evans JA, Reali A. Finite element and NURBS approximations of eigenvalue boundary value and initial value problems. Comput Methods Appl Mech Eng. 2014;272:290–320. 22. Kazemzadeh-Parsi MJ. Isogeometric analysis in solution of unconfined seepage problems. Comput Math Appl. 2019;78:66–80. 23. Manzoni A, Salmoiraghi F, Heltai L. Reduced Basis Isogeometric Methods (RB-IGA) for the real-time simulation of potential flows about parametrized NACA airfoils. Comput Methods Appl Mech Eng. 2015;284(1):1147–80. 24. Lacourt L, Ryckelynck D, Forest S, de Rancourt V, Flouriot S. Hyper-reduced direct numerical simulation of voids in welded joints via image-based modeling. Int J Num Methods Eng. 2020;121:2581–99. 25. Ladevèze P. The large time increment method for the analyze of structures with nonlinear constitutive relation described by internal variables. C R Acad Sci Paris. 1989;309:1095–9. 26. Ladevèze Pierre, Passieux J-C, Néron David. The latin multiscale computational method and the proper generalized decomposition. Comput Methods Appl Mech Eng. 2010;199(21–22):1287–96. 27. Leygue A, Chinesta F, Beringhier M, Nguyen TL, Grandidier JC, Pasavento F, Schrefler B. Towards a framework for non-linear thermal models in shell domains. Int J Num Methods Heat Fluid Flow. 2013;23(1):55–73. 28. Lipton S, Evans JA, Bazilevs Y, Elguedj T, Hughes TJR. Robustness of isogeometric structural discretizations under severe mesh distortion. Comput Methods Appl Mech Eng. 2010;199(5):357–73. 29. Perotto S, Carlino MG, Ballarin F. Model reduction by separation of variables: a comparison between Hierarchical Model reduction and. Proper Generalized Decomposition. 2018 arXiv preprint arXiv:1811.11486. 30. Piegl L, Tiller W. The NURBS Book. Monographs in Visual Communication, Second ed., Springer-Verlag, 1977. 31. Pruliere E. 3D simulation of laminated shell structures using the Proper Generalized Decomposition. Compos Struct. 2014;117:373–81. 32. Reyes R, Codina R, Baiges J, Idelsohn S. Reduced order models for thermally coupled low Mach flows. Adv Model Simul Eng Sci. 2018;5(1):28. Kazemzadeh-Parsi et al. Adv. Model. and Simul. in Eng. Sci. (2021) 8:23 Page 28 of 28 33. Senecal JP, Ji W. Characterization of the proper generalized decomposition method for fixed-source diffusion prob- lems. Ann Nucl Energy. 2019;126:68–83. 34. Sevilla R, Fernandez-Mendez S, Huerta A. NURBS?enhanced finite element method (NEFEM). Int J Num Methods Eng. 2008;76(1):56–83. 35. Tertrais H, Ibanez R, Barasinski A, Ghnatios Ch, Chinesta F. On the Proper Generalized Decomposition applied to microwave processes involving multilayered components. Math Comput Simul. 2019;156:347–63. 36. Vidal P, Gallimard L, Polit O. Explicit solutions for the modeling of laminated composite plates with arbitrary stacking sequences Composites Part B -. Engineering. 2014;60:697–706. 37. Vidal P, Gallimard L, Polit O. Shell finite element based on the Proper Generalized Decomposition for the modeling of cylindrical composite structures. Comput Struct. 2014;132:1–11. 38. Vidal P, Gallimard L, Polit O. Assessment of variable separation for finite element modeling of free edge effect for composite plates. Compos Struct. 2015;123:19–29. Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Journal

"Advanced Modeling and Simulation in Engineering Sciences" – Springer Journals

Published: Oct 4, 2021

Keywords: Space separated representation; Complex geometries; PGD; NURBS

There are no references for this article.