Abstract
The main purpose of this study is the modification of the parametric integral equations systems (PIES) method, to include the NURBS curves into its mathematical formulas. We want to create an opportunity for defining the boundary shape using NURBS curves without the classical discretization process. We present an inclusion of the NURBS curves into PIES, and its application in process of modeling and solving the boundary value problems, on Laplace’s equation example. The correctness and accuracy of such modeling is confirmed by the examples. Obtained solutions are compared with these obtained using linear segments and B-spline curves. Additionally, we verify the correctness of modeling and modifying the shape using analytical solutions. The NURBS curves significantly expand the possibilities and increase the accuracy of the boundary shape modeling which is an important aspect of the numerical solving of boundary value problems.
Similar content being viewed by others
1 Introduction
For many years researchers have used boundary integral equations (BIE) to solve boundary value problems (Banerjee and Butterfield 1981; Bonnet 1995). The main interests of scientists were related to new developments in the computer technology and software, especially in the field of effective calculation of singular integrals. Researchers have always been interested in application of BIE, because boundary value problems are one order reduced during solving process. It is connected with physical definition of BIE on boundary of the problem. In other words, the boundary of the problem is defined by contour integral. For example, two-dimensional Laplace’s equation is solved as one-dimensional problem defined on boundary only (Banerjee and Butterfield 1981; Brebbia and Walker 1980; Brebbia et al. 1984. However, there are different kinds of problems, for example, defined by Poisson equation, where integral is calculated on boundary as well as in a domain (Brebbia and Walker 1980; Brebbia et al. 1984). In this paper, we focus only on the problems without integration over domain.
The boundary of boundary value problem in BIE (at the beginning of development of its numerical solution) was physically divided on so-called boundary elements. The polynomials of lower degree were used to their mathematical definition and the method which use such strategy was named boundary element method (BEM) (Banerjee and Butterfield 1981; Brebbia and Walker 1980; Brebbia et al. 1984). New developments in the field of computer graphics also contributed to new developments of tools for modeling curves, especially for their modifications in an effective way (Böhm 1982; Farin 1990; Farin et al. 2002; Rogers and Fog 1989; Bashir and Ali 2016). These are curves such as: Hermite, Bézier or B-spline. Such curves are composed of segments of lower degree and automatically ensured appropriate class of continuity in points of segments join. Each segment (Hermite, Bézier or B-spline) can be easily modified by so-called control points. Therefore, researchers began to use those segments as an alternative of classical boundary elements (Becker 1992). In other words, the boundary was divided as usual into boundary elements, but mathematically were defined as Hermite (Durodola and Fenner 1990; Gray and San Soucie 1993), Bézier (Nowak et al. 2002) or B-spline (Cabral et al. 1990; Camp and Gipson 1991; Johnston 1997; Liggett and Salmon 1981; Sen 1995) segments. This way of modeling is very efficient, because we can effectively modify segments using the control points. This strategy is mainly applied to the problems of identification of unknown part of boundary [mainly modeled by one element (Burczyński and Fedeliński 1991)]. In case of modeling this part by several elements, there is a problem to ensure the continuity in points of elements join automatically.
Therefore, in BEM this problem was solved in two stages. First, the boundary was modeled by curves, like in computer graphics. Next, it was divided into boundary elements in process of solving BIE. Such way of modeling is a bit ineffective. It makes sense to use all advantages of automatically ensured continuity (in points of segments join) simultaneously (without dividing it into two stages). Therefore, to avoid these problems, one of the authors of this paper modified classical BIE. Mentioned curves were included directly into mathematical formulas of BIE and the new parametric integral equations system (PIES) (Zieniuk 2003a, b; Zieniuk and Bołtuć 2006; Zieniuk 2007) was developed.
Recently, for effective modeling of curves and surfaces in engineering practice, very popular and well-studied CAD system [which also use so-called non-uniform rational B-spline curves (NURBS) (Piegl and Tiller 1997)] are often applied. NURBS curves are more effective in modeling the shape of boundary than mentioned classical curves. They allow for more flexible modeling of different shapes. Therefore, these curves were widely used for modeling the boundary in process of solving boundary value problems, and such strategy was named as isogeometric modeling (Cottrell et al. 2009; Hughes et al. 2005; Zhang et al. 2016). In this strategy, the whole boundary is defined by NURBS curve, then it is divided into elements during numerical solution of BIE.
In this paper, we consider an application of NURBS curves not during numerical solution of BIE (like in isogeometric modeling), but in analytical modification of classical BIE. The modification is strictly connected with inclusion of NURBS curves directly into mathematical formulas of BIE. Such approach allows us to exploit all of advantages of the NURBS curves in the process of solving boundary value problems. As the result of this modification, we obtain the generalized parametric integral equations system (PIES). We also present the method of numerical solution of generalized PIES as well as the results of numerical tests. Finally, we compare results of analytical solutions of some examples with ones obtained by generalized PIES to confirm reliability of PIES solutions. Additionally obtained solutions are compared with these obtained using linear segments and B-spline curves. We present the impact of modeling accuracy on obtained solutions, as well.
2 NURBS curves in modeling the shape of boundary in boundary value problems
NURBS curve of any degree n is described by control points \(P_i\;(i = 0, 1,\ldots , m)\), corresponding to particular points weights \(w_i\;(i = 0, 1, \ldots , m)\) and knots \(t_j\;(j = 0, 1, \ldots ,m + n + 1)\), and is defined by the following formula (Piegl and Tiller 1997):
Additionally, the base function \(N_i^n(t)\) of n degree is defined as normalized B-spline blending function and generally presented by the following recursive formula (Piegl and Tiller 1997):
where \(0 \le i \le m, 1 \le k \le n, \frac{0}{0}:=0\).
Correct shape definition is strictly connected with proper selection of the control points (its amount and location) as well as proper definition of weights and knots. Such way of defining seems to be very sophisticated, however significantly increases the accuracy of modeling and allows to define even complex shapes by one closed NURBS curve only.
For example, in Fig. 1, the impact of weights (in particular control points) on NURBS curve of second degree is presented. The curve is defined by nine control points (where \(P_0 = P_8\)). As we can see, the value of the weight determines the impact of particular point on the shape of the curve. For lower values of weights, the curve lies far away from the points, while higher ones shift the curve closer to the points. Additionally, NURBS curve allows to model the circle shape almost exactly (the radius of the circle is almost equal in each point of curve, using the weights value equal to 0.707 and the curve of second degree only (Fig. 1). Such way of modeling allows for very easy and quick modification of the curve.
Another, very important part, which determine the shape of NURBS curve, are knots. Knots divide the curve into segments which define the shape. The impact of two values of knot vector on the curve shape (with shapes of corresponding base functions N) are presented in Fig. 2. Similarly as in previous example point \(P_0 = P_8\). Presented curve is defined by the following vector of knots: (0, 0, 0, 0.25, 0.25, a, b, 0.75, 0.75, 1, 1, 1), where knots described as a and b are varied to show their impact on the curve.
First case \(a = b = 0.5\) (Fig. 2a) presents the multiple knots, where the curve intersects particular control points. The number of intersected control points and how many times the value of knot should be repeated is strictly connected with the degree of the base functions. For example, in case of second degree curve, we should use doubled knots. Exceptions are knots at the start and at the end of the curve, which ensure closure of the curve. In this case, the number of the same values of knots are increased by one.
The next case \(a = 0.47, b = 0.53\) (Fig. 2b) presents the division of the curve section (between points \(P_2\) and \(P_6\)) into three subsections (0.25, 0.47), (0.47, 0.53) and (0.53, 0.75). In this case, the curve no longer intersects the point \(P_4\). In the next case (0.36, 0.5) (Fig. 2c), we can notice unsymmetrical shape of this curve section as well as of its base functions. The last case \(a = 0.36, b = 0.64\) (Fig. 2d) is defined similarly to the second one, but with increased central subsection. We should note, that knots are another tool which makes modeling and modification of the curve much easier.
As presented in Fig. 2, the boundary was modeled by continuous closed NURBS curve, defined in parametric space with parameter t (\(0 \le t \le 1\)). The endpoints of each segment are defined by knots. Multiple knots have an impact on continuity of the curve in points of segments join. Direct application of such way of boundary modeling in BIE results in automatic adaptation of BIE to modified boundary. It is impossible using NURBS curves to define boundary elements (previously obtained in process of boundary discretization). Therefore, the aim of this paper is an analytical application of presented effective way of boundary modeling instead of boundary integral in classical BIE.
3 The strategy of analytical inclusion of NURBS curves into mathematical formulas of BIE
We consider a problem described by 2-dimensional Laplace’s equation defined in domain \({\varOmega }\) and bounded by boundary S. BIE for Laplace’s equation can be represented by the integral identity (Banerjee and Butterfield 1981; Burczyński and Fedeliński 1991):
where the value of \(\overline{u}(\mathbf{x})\) depends on the location of \(\mathbf{x}\) and is given by following expression:
where for smooth boundary \(\alpha = 0.5 \). If \(\mathbf{x} \in S\), then formula (3) is the classical boundary integral equation (BIE).
In identity (3), integrand \(U(\mathbf{x}, \mathbf{y})\) is known as the fundamental solution for Laplace’s equation (Burczyński and Fedeliński 1991):
and is represented by the following formula (Burczyński and Fedeliński 1991; Brebbia et al. 1984):
where \(r=[(x_1 - y_1)^2+(x_2 - y_2)^2]^{0.5}\).
Integrand \(P_k(\mathbf{x}, \mathbf{y})\) in (3) is the classical singular solution represented by traction kernels written as follows:
The accuracy of the solutions in domain \({\varOmega }\) depends on two factors: (1) approximation accuracy of the solutions on the boundary and (2) approximation accuracy of the boundary shape. Hence, it seems reasonable to modify the traditional BIE to separate (in process of numerical solution) the approximation of boundary from the approximation of unknown functions. In other words, it allows to choose the most convenient methods of boundary modeling considering its complexity without any intrusion into approximation of boundary functions and vice versa. Due to the above given reasons, at first, we made analytical modification of BIE to include the shape of the boundary into mathematical formulas of BIE.
3.1 Analytical modification of classical boundary integral equations (BIE)
To obtain modification of generalized integral identity (3) for 2D potential problems modeled by Laplace’s equation (Zieniuk 2003a, b), we need to apply the Fourier transform. As the result, we obtained:
where \(\widehat{U}(i{\varvec{\xi }}, \mathbf{y})\) is the transform of the fundamental solution, whereas \(\widehat{P}_k(i{\varvec{\xi }, \mathbf y})\) is the transform obtained in the domain of the Fourier transform, based on fundamental solution. For Laplace’s equation, these transforms are presented in the following form:
where
After substitution (9) and (10) into (8), we obtained the following expression of Fourier transform in the domain:
where boundary functions \(\tilde{p}({\varvec{\xi }})\) and \(\tilde{u} \tilde{n}_k({\varvec{\xi }})\), \(k=1,2\) are represented by means of the following boundary integrals:
It should noted, that in Eq. (12), the boundary is separated from the domain. The boundary is defined in the mathematical formulas of boundary integrals (13) and (14). In our further considerations integral (14) is used to describe transform \(\tilde{u} \tilde{n}_k({\varvec{\xi }})\) on the boundary S. The unknown identity function \(u(\mathbf{y})\) in (14) can be defined by means of the following Fourier transform:
where integrand \(\widehat{u}(i{\varvec{\omega }})\) is written as:
The formula (16) is particular case of the transform (12) in a smooth boundary.
3.2 The definition of the smooth contour integral by segments
After insertion (15) into (14), we obtained the convolution integral equation in the domain of the Fourier transform:
where the kernel is:
where \({\varvec{\gamma }} \equiv \{ \gamma _1, \gamma _2 \}, \gamma _i = \omega _i - \xi _i\), while the function \(\widehat{u}(i{\varvec{\omega }})\) is presented by the formula (16), and \({\varvec{\xi } = {\varvec{\omega }}}\).
The contour integral in (18) takes into consideration the shape of boundary \(\mathbf S\). For further transformation of the above analytical formulas, we need to specify the boundary \(\mathbf S\). We assume that the boundary is defined by a finite number of the curved segments \(\mathbf{S}_l\;(l=1,2,\ldots ,n)\) with the necessary continuity conditions in points of segments join. During the process of analytical modification of BIE, we defined these segments using different kinds of curves widely used in computer graphics (Goshtasby 2005; Mortenson 1985, 1999). The NURBS curves can be also applied, like in isogeometric analysis (Piegl and Tiller 1997), but at the level of analytical modification of the identity.
Therefore, considering the boundary geometry (defined by segments) in kernel (18), we obtain:
where
The boundary transforms \(\tilde{u}\tilde{n}_k({\varvec{\xi }})\) on the left side of (17) may be represented in the following form:
where
We define the boundary transforms \(\tilde{p}({\varvec{\omega }})\) and \(\tilde{u}\tilde{n}_k({\varvec{\omega }})\) on individual segments on the right side of (16):
After substituting (19), (21) and (23) in (17), we obtain the following system of the convolution integral equations:
where \(l=1,2,3,\ldots ,n\), and:
Next, we assume that segments \(\mathbf{S}_l(t)\), which define contours of integrals, are mathematically defined by parametric functions \(\mathbf{S}_l(t) = [S_l^{(1)}(t),S_l^{(2)}(t)]^\mathrm{T}\) with parameter t. Hence, these functions must be considered in boundary transforms: (20), (22) and (23), in which the boundary is still defined in a general way by means of segment contour integrals \(\mathbf{S}_l(t)\).
The kernel (20), for the boundary defined by parametric segments, is described by the following formula (\(y_i=S_l^{(i)}(t), i=1,2\)):
and integral (22) by the following formula:
where \(t_{l-1}, t_l\) are unique values contained in the knot vector and they mean the beginning and the end of the segment with index l, respectively. The integrand functions:
were obtained after the substitution of curve segments \(S_l^{(i)}(t)\) into variable \(y_i\), while \(J_l(t)\) is the Jacobian.
4 Generalized parametric integral equations system (PIES)
After application of the inverse Fourier transform and proper transformations into (24), we obtained the following formula, which requires further integration:
where \(\lambda _i = x_i-S_l^{(i)}(t), i=1,2\).
After integrating both sides of Eq. (29) with respect to \(\varvec{\xi }\), we obtained:
Next, to calculate integral with respect to t, we inserted \(S_l^{(1)}(t)=k\) into \(\lambda _1 = x_1 - S_l^{(1)}(t)\) and assumed, that \(t={\varPhi }(k)\). After differentiation of substitution, we obtained \(\{S_l^{(1)}[{\varPhi }(k)]\}\mathrm{d}t=\mathrm{d}k\). Finally, after substitution and integration, the formula (30) is presented as follows:
where \(\overline{\lambda }_2 = x_2 - S_l^{(2)}[{\varPhi }(x_1)]\).
To remove the Dirac distribution \(\delta (\overline{\lambda }_2)\) from (31), we calculated integrals on both sides of the equation with respect to \(x_2\). After substitution \({\varPhi }(x_1) = t\), Eq. (31) finally is defined as:
where \(l=1,2,3,\ldots ,n\).
Further integration of right side of (32) with respect to \(\varvec{\omega }\) requires definition of integrand function \(\widehat{u}^{(j)}(i{\varvec{\omega }})\) in explicit form. This function is presented by Eq. (25), where \(\tilde{p}^{(j)}({\varvec{\omega }})\) and \(\tilde{u}\tilde{n}_k^{(j)}({\varvec{\omega }})\) are defined on segments j similarly like in case of l segments in (27):
where \(s_{j-1}, s_j\) are unique values contained in the knot vector and they mean the beginning and the end of the segment with index j, respectively, while \(p^{(j)}(s) = p^{(j)}[S_j^{(1)}(s), S_j^{(2)}(s)]\), \(u^{(j)}(s) = u^{(j)}[S_j^{(1)}(s), S_j^{(2)}(s)]\) and \(n_k^{(j)}(s)= n_k^{(j)}[S_j^{(1)}(s), S_j^{(2)}(s)]\) is the normal vector. The value \(J_j(s)\) is the Jacobian determined by the following formula:
Normal vectors of segments should be directed outside the domain. Declaration of the segments is reduced to defining control points, their weights and knots only. The way of defining these points has an impact on the direction of the normal vector.
After substitution (33) and (34) into (25) and next (25) into (32), we obtained the formula named parametric integral equation system (PIES) (Zieniuk 2003a, b) in the following form:
where \(J_j\) is Jacobian (35) and the kernels in formula (36) are represented by functions \(\overline{U}_{lj}^*\) and \(\overline{P}_{lj}^*\).
The first integrand \(\overline{U}_{lj}^*\) is represented by the following expression:
where
After calculation of integral (37), we obtained an expression in an explicit form, which include the shape of boundary into its formulas (by function \(\eta (t,s)\) of two parameters t and s):
As a result of derivations, there were attempts to present (39) in the same form as classical fundamental solution. Nevertheless, in Eq. (39), \(\eta _1\) and \(\eta _2\) are not simply variables like in fundamental solution, but they are functions of parameters t and s, like it is presented in (38). Therefore, Eq. (39), contrary to fundamental solution, include the shape of boundary into its formulas and was called as a fundamental boundary solution.
The second integrand \(\overline{P}_{lj}^*\) in (36) is represented by:
where \(\eta _1, \eta _2\) is given by (38).
After substitution in (40) integrand function \(L(i{\varvec{\omega }}) = L(i{\varvec{\xi }})\) (11) (where \({\varvec{\omega }} = {\varvec{\xi }}\)) and after integration, we finally obtained:
where \(n_k^{(j)}=n_k^{(j)}(s), (k=1, 2)\) are the components of normal vector to segment j.
Kernels (39) and (41) allow to include in their mathematical formulas the shape of boundary generated by parametric segments \(l, j = 1, 2, 3, \ldots , n\). This segments are defined in Cartesian coordinates by \(\eta (t,s)=[\eta _1^2+\eta _2^2]^{0.5}\) and the relations (38), where \(S_j^{(1)}(s), S_j^{(2)}(s)\) are scalar components of the segments \(\mathbf{S}_j(s) = [S_j^{(1)}(s), S_j^{(2)}(s)]^T\) and depends on parameter s.
In PIES, indexes \(l, j = 1, 2, 3, \ldots , n\) allow to define relationship between boundary segments of considered boundary value problems. In this paper, we define the shape of boundary in PIES by NURBS segments. Relationship between segments, that model closed boundary, was presented by integral equations system. However, PIES was not defined on boundary like classical BIE, but in the domain of boundary definition (means \(0 \le t, s \le 1\)).
An important advantage of such modeling is that for any shape of the boundary modification (as is shown in Sect. 7) it will be defined always in the same domain. This is the domain of NURBS curve definition, which model closed boundary. In other words, PIES is automatically adapted to modified shape of boundary without any additional computations. The modification is connected with the change of control points, their weights and knots only, like in Sect. 2. These changes result in automatic adaptation of PIES to new shape of boundary, because NURBS curves are directly included into mathematical formulas of PIES.
Solution of PIES is reduced to finding boundary functions defined on NURBS segments (included into PIES kernels). Development of global algorithm of solving PIES is much easier, because PIES is not defined on boundary contrary to BIE. PIES is defined in parametric reference system corresponding to domain of NURBS curves, which are used to define the boundary.
5 Modification of integral identity for solutions in domain
After PIES solution, we obtain only solutions on boundary. To obtain solutions in the domain, proper adaptation of (12) is required, where boundary integrals \(\tilde{p}^{(j)}({\varvec{\xi }})\) and \(\tilde{u}\tilde{n}_k^{(j)}({\varvec{\xi }})\) are represented similarly to (23). Finally Eq. (12) is presented as follows:
where
and \(s_{j-1}, s_j\) are unique values contained in the knot vector. They mean the beginning and the end of the segment with index j, respectively.
After the inverse Fourier transform of (42), we obtained the following expression:
The first integrand \(\widehat{\overline{U}}_j^*(\mathbf{x}, s)\) takes the following form:
where \(\overleftrightarrow {r}=\overleftrightarrow {r}(\mathbf{x}, s)=[\overleftrightarrow {r}_1^2+\overleftrightarrow {r}_2^2]^{0.5}\), \(\overleftrightarrow {r}_i=\overleftrightarrow {r}_i(\mathbf{x}, s)=x_i - S_j(s)\) and \(i=1,2\).
The second integrand \(\widehat{\overline{P}}_j^*\) in (45) is represented by the following expression:
6 Numerical solution of PIES
Mathematical formulas of PIES is defined in the parametric domain of parametric segments. They theoretically described the shape of the boundary. The separation of approximation of the shape of boundary from the approximation of the boundary functions makes possibility to consider these problems independently. To solve PIES, we can use one of methods dedicated to solving the classical singular integral equations. We should remember that first we must define the boundary in PIES.
Solution of PIES (36) is reduced to approximation of the boundary functions \(p^{(j)}(s)\) and \(u^{(j)}(s)\) defined on following segments with index j. The given boundary conditions as well as searched boundary functions are approximated on each segment by the following series:
where
-
\(p^{(j)}(s), u^{(j)}(s)\)—are the given or searched coefficients,
-
M—is the number of terms in the series defined in the parametric domain of the segment,
-
\(T_r^{(j)}(s)\)—are chosen basis functions—Chebyshev polynomials.
6.1 The approximation of PIES
After substituting (48) into (36), we obtained approximated expression of PIES for smooth boundary (where \(\alpha = 0.5\)) in the following form:
where integrands \(\overline{U}_{lj}^*(t, s), \overline{P}_{lj}^*(t, s)\) are represented by formulas (39) and (41).
To solve numerically formula (49), pseudospectral method is used. After applying (49) for all collocation points \(t^{(c)}\), located in the parametric segments \(t_{l-1}< t^{(c)} < t_l\) of \(S_l (l=1, 2, 3, \ldots , n)\), we obtained the system of algebraic equations in the following form:
The size of the system depends on the number of collocation points. After solving (50), we obtained values of coefficients of terms (48), represented by vectors \([h_{lj}]\) or \([g_{lj}]\) (according to posed boundary conditions).
The elements of matrices \(\mathbf H\) and \(\mathbf G\) are calculated on the basis of the following expressions:
The matrix elements in (50) requires the calculation of strongly and weak singular integrals. After taking into account the boundary conditions in (50) and solving the algebraic system of equations, we obtained the unknown coefficients \(u_r^{(j)}\) or \(p_r^{(j)}\) on individual segment of the boundary.
6.2 Approximation of integral identity for solutions in domain
After solving equations (50), we obtained solutions on the boundary. Solutions in the domain \({\varOmega }\) at point \(\mathbf{x} = (x_1, x_2)\) are computed by integral identity (45). After substituting approximating series (48) into (45), we obtained the identity in the following form:
The integrands \(\widehat{\overline{U}}_j^*(\mathbf{x}, s), \widehat{\overline{P}}_j^*(\mathbf{x}, s)\) are represented by (46) and (47). To determine the solution in the domain, we need to take into account in the formula (53) only coefficients \(u_r^{(j)}\) and \(p_r^{(j)}\) for each segment which model the boundary.
7 Testing examples
The developed strategy of generalized PIES should be tested in respect of modeling and solving boundary value problem accuracy. First, we decided to compare the solutions obtained using NURBS with solutions obtained formerly in PIES (for linear segments and B-spline curves). We also verified the efficiency of boundary shape modification using NURBS curves. For this purpose, we were changing the location of control points, their weights and knots of the NURBS curve. Obtained solutions were compared with analytical ones. The mentioned tests, on examples of different boundary value problems, were presented below.
7.1 Comparison of the PIES solutions between application of linear segments and NURBS curves
First, to verify the correctness of boundary shape modeling in PIES by NURBS curves, we considered example of rectangular domain. modeling of such shape by linear segments as well as by NURBS curves should be made with the same accuracy. In Fig. 3, we present the boundary modeling of such domain by NURBS curves of first, second and third degree. Additionally, we present corresponding normalized B-spline blending functions N.
The weights, in each case (Fig. 3a–c), are equal to one. The vector of knots, for the curve of first degree, is defined as: (0, 0, 0.25, 0.5, 0.75, 1, 1), for the curve of second degree: (0, 0, 0, 0.25, 0.25, 0.5, 0.5, 0.75, 0.75, 1, 1, 1) and for the curve of third degree (0, 0, 0, 0, 0.25, 0.25, 0.25, 0.5, 0.5, 0.5, 0.75, 0.75, 0.75, 1, 1, 1, 1). Then, we consider the boundary value problem with the boundary conditions presented in Fig. 4. We present not only control points, but also points in domain in which the solutions were obtained.
In Table 1, we presented the solutions of above example (Fig. 4). Solutions are obtained for different degree of NURBS curves, as shown in Fig. 3 and for linear segments (points are defined like in Fig. 4) (Zieniuk 2002). The accuracy of the linear segments as well as the NURBS segments modeling in this case should be the same. Therefore, obtained solutions (presented in Table 1) are almost the same.
7.2 Comparison of PIES solutions between application of B-spline and NURBS curves
Next, we check the impact of curvilinear shape modeling accuracy on accuracy of PIES solutions. For this purpose, we considered curvilinear example presented in Hromadka (1987) based on Laplace’s equation. In this example, on elliptical boundary \(x_1^2/a^2+x_2^2/b^2=1\), the following Dirichlet boundary conditions were defined:
Analytical solutions, for so-defined problem, are presented in Hromadka (1987) in the following form:
The way of the boundary shape modeling, using classical B-spline curves and NURBS curves, was presented in Fig. 5. Previously in PIES, to define curvilinear shape of boundary B-spline curves were used (Zieniuk 2007). These curves, as it is presented in Fig. 5a, are defined by the de Boor’s approximation control points \(D_i (i =0,1,\ldots 7)\). However, in practice, such shape of boundary modeling by approximating points is quite difficult. Therefore, only points located on boundary are defined \(P_i (i =0,1,\ldots 7)\) and then de Boor’s control points were calculated \(D_i (i =0,1,\ldots 7)\).
In case of NURBS curves (Fig. 5b), to model the boundary shape, we should define the points \(\overline{P}_i (i =0,1,\ldots 7)\), where only \(\overline{P}_i (i =0,2,4,6)\) are located on boundary. In addition, weights \(w_i (i=0,1,\ldots 7)\) for each point and knots vector (0, 0, 0, 1, 1, 2, 2, 3, 3, 4, 4, 4) are defined. In this example, normalized B-spline blending functions are the same as those presented in Fig. 3b. The only difference is the location of control points. Additionally, in case of points \(\overline{P}_1, \overline{P}_3, \overline{P}_5\) and \(\overline{P}_7\) we define weights \(w_1=w_3=w_5=w_7 = 0.707\) to improve the accuracy of the elliptical boundary modeling. In B-spline application (Zieniuk 2007) the third degree curves were used, while in NURBS the second degree curve only.
PIES solutions for both ways of modeling with BEM and analytical solutions were presented in Table 2. Additionally, in Table 2, we present percentage relative error of numerical solutions in domain with respect to analytical solutions.
Average relative error of PIES solutions, in comparison to analytical ones, is much smaller in case of NURBS curves application than in B-spline curves. BEM often used linear shape functions and it is assumed, that for the engineering purposes obtained solutions are satisfactory. However, based on presented tests, we should noted that the accuracy of boundary shape modeling has an significant impact on the accuracy of obtained solutions. Therefore, it is reasonable to use contemporary methods of the boundary shape modeling.
7.3 Modification of the boundary using control points and weights
Next, the authors were focused on the opportunities connected with the inclusion of NURBS curves into mathematical formulas of PIES, i.e., easy and convenient way of modeling as well as modifying the shape of boundary in PIES. The mathematical formulas of PIES automatically adapts to the changes of input values such as control points, their weights and knots. First, to illustrate easiness of the boundary shape modification, we considered examples presented in Fig. 6.
Presented examples are obtained as a result of elliptic shape modifications (Fig. 5) using control points and their weights. Therefore, the shape is still defined as closed curve of second degree. We decided to change only control points and their weights. The knot vector remains the same. Therefore, functions N are presented similarly to ones in Fig. 3b. In Fig. 6 we marked knots and only these weights, which values are different than one. In Fig. 6a the weights of points \(P_1\) and \(P_7\) are equal to 1. In the next example, presented in Fig. 6b, to shift the curve closer to points \(P_1\) and \(P_3\), their weights were increased to 3. The other modifications, necessary to obtain these shapes presented in Fig. 6 from ellipse (Fig. 5b), assumed changes of coordinates of control points only.
To verify the accuracy of more sophisticated shapes modeling, we decided to compare PIES solutions of boundary value problem with analytical ones. Boundary shape definitions of the examples were presented in Fig. 6. The boundary value problems were modeled by Laplace’s equation. We used the function:
which satisfies Laplace’s equation. Based on this function we can obtain the Dirichlet and Neumann boundary conditions for any considered shape of boundary.
In examples presented in Fig. 6, we considered the Dirichlet boundary conditions u(x). Solutions in the domain were obtained in the same cross-section, where \(x_2=3.5\) and \(x_1\) was changed from 1.5 to 6.5. The points of cross-section are presented in Fig. 6. The analytical solutions (\(u_\mathrm{a}\)) and PIES ones (Fig. 6a, b) are presented in Table 3.
7.4 Modification of the boundary using control points, weights and knots
Solutions of problems presented in Fig. 6 were satisfactory. Therefore, we decided to tests examples, where all of NURBS curve input data (control points, their weights and knots vector) were changed. Such modification (based on ellipse, as well) and corresponding N functions are presented in Fig. 7.
Both shapes are defined by the same weights values except for points \(P_1\) and \(P_5\). To shift the curve closer to points \(P_1\) and \(P_5\) we increased their weights to value 3 (Fig. 7a) and to value 5 (Fig. 7b). Next difference between shapes presented in Fig. 7a, b is the location of \(P_1\) and \(P_5\) control points and changes of some values in knots vector. Double knots \(t_{3-4}\) and \(t_{5-6}\) in Fig. 7a have been changed in Fig. 7b to single knots \(t_3\), \(t_4\), \(t_5\) and \(t_6\). The impact of such modification on the N functions we present under corresponding examples in Fig. 7. We should noted, that N functions for other values of knots (\(t_{7-11}\)) remained unchanged.
In next example (Fig. 8a) we changed the weight of the point \(P_1\) into value 3. Other weights did not modify the shape, therefore all of them were equal to 1. To smooth the curve in points \(P_2, P_4\) and \(P_6\), three double knots were split into six single knots. Therefore, the curve does not intersect points \(P_2, P_4\) and \(P_6\), contrary to the case of double knots. In the example presented in Fig. 8b the weight of \(P_1\) was also increased (\(w_1=3\)), while the weight of \(P_6\) remained unchanged. Other weights did not modify the shape, therefore all of them were equal to 1, as well. This example presents splitting of two double knots in points \(P_2\) and \(P_6\). Therefore, the curve does not intersect these two points. This results in a smooth connection between segments.
Above mentioned examples clearly present, that NURBS curve is an easy tool for defining linear as well as curvilinear segments of the boundary shape using only one closed curve. In addition, changes of values in knots vector are shown as the chart of N functions (respectively to shapes in Figs. 7 and 8). To verify the modeling as well as implementation of NURBS curves in PIES, we solved boundary value problems presented in Figs. 7 and 8. The Dirichlet boundary conditions were defined by (56). Obtained solutions in domain, in cross-section shown in Figs. 7 and 8 as dotted line, are presented in Table 4.
In case of all examples presented in Figs. 6, 7 and 8 the average relative error of PIES solutions in domain, with respect to analytical solutions, is very small. We should noted, that numerical solutions of PIES almost match the analytical solutions, even in the case of more sophisticated shapes of the boundary. Therefore, application of NURBS curves into mathematical formulas of PIES, results in high accuracy of solutions as well as more accurate shape of boundary modeling. In addition, it seems to be very easy and functional tool for modeling and modification of the boundary shape.
8 Conclusions
In this paper, as result of NURBS curves insertion (widely applied for the shape of boundary modeling) directly into mathematical formulas of classical BIE, the generalized PIES were obtained. It is a different way comparing to known from literature application of NURBS at the stage of numerical solution of BIE (called as isogeometric modeling in BEM). Application of NURBS curves in mathematical formulas of generalized PIES have a great advantage over direct application of curves to define boundary elements. The changes of the shape of boundary in PIES, using control points, their weights and knots, result in automatic adaptation of PIES to modified shape of boundary.
Proposed application of NURBS curves in PIES allows us to define the shape of boundary more accurately. We have noted a significant increase in accuracy of obtained solutions comparing to ones previously obtained by application of B-spline curves in PIES. Additionally, for modeling ellipse we can use the second degree NURBS curve only, while in case of B-spline curves cubic segments should be used. Next advantage is the opportunity of modeling of continuous shape of boundary using only one closed curve. Therefore, the application of NURBS in PIES increased the accuracy of modeling of the shape of boundary (it also increase the accuracy of the solutions), as well as creates opportunity of easy and uniform way of defining the shape of boundary.
References
Banerjee PK, Butterfield R (1981) Boundary element methods in engineering science. McGraw-Hill, London
Bashir U, Ali JMd (2016) Rational cubic trigonometric Bzier curve with two shape parameters. Comput Appl Math 35:285–300
Becker AA (1992) The boundary element method in engineering: a complete course. McGraw-Hill Book Company, Cambridge
Böhm W (1982) On cubics: a survey. Comput Graph Image Prosess 19:201–226
Bonnet M (1995) Boundary integral equation methods for solids and fluids. Wiley, Paris
Brebbia CA, Walker S (1980) Boundary element techniques in engineering. Newness-Butterworths, London
Brebbia CA, Telles JCF, Wrobel LC (1984) Boundary element techniques: theory and applications in engineering. Springer, New York
Burczyński T, Fedeliński P (1991) Boundary elements in shape design sensitivity analysis and optimal design of vibrating structures. Eng Anal Bound Elem 6(8):195–202
Cabral JJSP, Wrobel LC, Brebbia CA (1990) A BEM formulation using B-splines: I-uniform blending functions. Eng Anal Bound Elem 7:36–44
Camp CV, Gipson GS (1991) Overhauser elements in boundary element analysis. Math Comput Model 15(3–5):59–69
Cottrell JA, Hughes TJR, Bazilevs Y (2009) Isogeometric analysis: toward integration of CAD and FEA. John Wiley & Sons Ltd, Hoboken
Durodola JF, Fenner RT (1990) Hermitian cubic boundary elements for two-dimensional potential problems. Int J Numer Methods Eng 30:1051–1062
Farin G (1990) Curves and surfaces for computer aided geometric design. A practical guide. Academic Press, New York
Farin G, Hoschek J, Kim MS (2002) Handbook of computer aided geometric design. Elsevier, Amsterdam
Goshtasby AA (2005) Plus curves and surfaces. Vis Comput 21:4–16
Gray LJ, San Soucie C (1993) Hermite interpolation algorithm for hypersingular boundary integrals. Int J Numer Methods Eng 36:2357–2367
Hromadka TV II (1987) The complex variable boundary element method in engineering analysis. Springer, New York
Hughes TJR, Cottrell JA, Bazilevs Y (2005) Isogeometric analysis: CAD, finite elements, NURBS, exact geometry and mesh refinement. Comput Methods Appl Mach Eng 194:4135–4195
Johnston PR (1997) \(C^2\)-continuous elements for boundary element analysis. Int J Numer Methods Eng 40:2087–2108
Liggett JA, Salmon JR (1981) Cubic spline boundary elements. Int J Numer Methods Eng 17:543–556
Mortenson M (1985) Geometric modelling. Wiley, New York
Mortenson M (1999) Mathematics for computer graphics applications: an introduction to the mathematics and geometry of CAD/CAM, geometric modeling, scientific visualization, and other CG applications. Industrial Press, New York City
Nowak I, Nowak AJ, Wrobel LC (2002) Identification of phase change fronts by Bézier splines and BEM. Int J Therm Sci 41(6):492–499
Piegl L, Tiller W (1997) The NURBS book, 2nd edn. Springer, Berlin
Rogers DF, Fog NG (1989) Constrained B-spline curve and surface fitting. Comput Aided Des 21(10):87–96
Sen D (1995) A cubic-spline boundary integral method for two-dimensional free-surface flow problems. Int J Numer Methods Eng 38:1809–1830
Zhang X, Jin C, Hu P, Zhu X, Hou W, Xu J, Wang C, Zhang Y, Ma Z-D, Smith H (2016) NURBS modeling and isogeometric shell analysis for complex tubular engineering structures. Comput Appl Math. https://doi.org/10.1007/s40314-016-0312-1 (online)
Zieniuk E (2002) A new integral identity for potential polygonal domain problems described by parametric linear functions. Eng Anal Bound Elem 26(10):897–904
Zieniuk E (2003) Bézier curves in the modification of boundary integral equations (BIE) for potential boundary-values problems. Int J Solids Struct 40(9):2301–2320
Zieniuk E (2003) Hermite curves in the modification of integral equations for potential boundary-value problems. Eng Comput 20(2):112–128
Zieniuk E (2007) Modelling and effective modification of smooth boundary geometry in boundary problems using B-spline curves. Eng Comput 23(4):39–48
Zieniuk E, Bołtuć A (2006) Bézier curves in the modeling of boundary geometry for 2D boundary problems defined by Helmholtz equation. J Comput Acoust 3(14):353–367
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jose Alberto Cuminato.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zieniuk, E., Kapturczak, M. Modeling the shape of boundary using NURBS curves directly in modified boundary integral equations for Laplace’s equation. Comp. Appl. Math. 37, 4835–4855 (2018). https://doi.org/10.1007/s40314-018-0598-2
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40314-018-0598-2
Keywords
- NURBS curves
- Boundary value problems
- Shape of boundary modeling
- Parametric integral equations system (PIES)
- Laplace’s equation