# Triangular Bézier surface patches in modeling shape of boundary geometry for potential problems in 3D

- First Online:

- Received:
- Accepted:

## Abstract

This paper presents a new boundary shape representation for 3D boundary value problems based on parametric triangular Bézier surface patches. Formed by the surface patches, the graphical representation of the boundary is directly incorporated into the formula of parametric integral equation system (PIES). This allows us to eliminate the need for both boundary and domain discretizations. The possibility of eliminating the discretization of the boundary and the domain in PIES significantly reduces the number of input data necessary to define the boundary. In this case, the boundary is described by a small set of control points of surface patches. Three numerical examples were used to validate the solutions of PIES with analytical and numerical results available in the literature.

### Keywords

Boundary integral equations (BIE) Parametric integral equation system (PIES) Laplace’s equation Potential problems Triangular Bézier surface patches## 1 Introduction

the need to divide the continuous physical domain or the boundary,

the necessity to process large amounts of input data (nodes and elements) and solve large system of algebraic equations,

the discrete form of the obtained solutions,

the stability of the method depending strongly on discretization schemes of input geometries,

the modification of the shape of the boundary or the domain (e.g., the problems of shape identification or optimization) requiring a change in the position of a large number of nodes or re-generating element mesh.

For many years, the authors of this paper have been using parametric integral equation system (PIES) to solve boundary value problems. So far, however, PIES has been mainly used to solve 2D potential boundary value problems modeled by partial differential equations such as: Laplace [10, 11], Poisson [12], Helmholtz [13] and Navier–Lame [14]. These equations have been written in the alternative form, with the help of PIES, which takes into account in its mathematical formalism the shape of the boundary modeled by curves known from computer graphics. The shape of the boundary could be defined by such curves as Bézier [15], Hermite [16] and B-spline [17], and its definition is practically reduced to giving a small set of control points. The complexity of modeling the shape of the boundary in PIES depends on the complexity of the shape of the concerned boundary problem. However, this eliminates the need for definition of traditional boundary or finite elements. The results obtained in PIES for problems modeled by these equations were compared with the results obtained by FEM and BEM. High accuracy and effectiveness of PIES for those 2D problems have been encouraging its generalization to the 3D boundary problems.

The purpose of this paper is to propose an alternative approach to boundary shape representation for 3D boundary value problems based on parametric surface patches. Surface patches allow describing a shape of 3D objects using a given set of control points and associated basis functions [18, 19]. Over the years, parametric surfaces as well as curves have become one of the most important modeling tools in computer graphics and the subject of intensive scientific studies and practical development. This development applies to both new ways of defining parametric curves and surfaces [20, 21], as well as practical applications, especially in the case of widespread CAD systems [22, 23]. Recently, there have been several attempts to use the domain or boundary decryptions by parametric patches directly in solving boundary value problems. This trend is seen especially in the context of isogeometric analysis, where functions that are used to describe geometry in CAD software are also used to approximate the unknown fields. Initially, isogeometric analysis had been developed to improve finite element analysis [24, 25], but recently there have been publications with implementation of this idea to BEM [26]. However, we want to emphasize that the concept used in PIES is different from that of isogeometric analysis. In PIES, we want to separate the necessity of performing simultaneous approximation of both boundary shape and boundary functions with the possibility of analytical description of the boundary directly in the mathematical formula of PIES.

In this paper, the boundary representation for 3D boundary problems is created by triangular Bézier surface patches. In this case, the shape of the boundary could be described with a relatively small number of control points of constituent triangular Bézier surface patches. It should be pointed out that the proposed boundary shape representation by triangular Bézier surface patches does not need to be divided into any elements, but directly used in the process of solving boundary value problems. The approach based on PIES is so general and flexible that it is possible to use another type of surface for boundary representation instead of triangular patches.

Analogical to that in 2D problems, the proposed non-element shape representation scheme has been directly integrated in mathematical formalism of PIES, which has been used in this paper to solve boundary value problems in 3D. We focus on the solving of 3D boundary problem modeled by Laplace’s partial differential equation. This equation has been written in the alternative form, with the help of PIES, which takes into account in its mathematical formalism the shape of the boundary modeled by parametric patches. In the introduced PIES, the boundary geometry is directly considered in its mathematical formalism and can be directly defined with the help of parametric patches. The proposed boundary shape representation would lead to a considerable simplification of the modeling process as well as to a reduction of the necessary amount of input data that defines its shape when compared with traditional element methods.

The numerical solution obtained by PIES comes down only to the approximating of boundary functions. In this paper, we extend a pseudo-spectral method [27] previously used in the case of 2D problems to presented 3D problems. Boundary functions are defined on the surface of individual triangular Bézier patches that model the geometry of the boundary directly in PIES and are approximated by the Chebyshev series. Having calculated the coefficients of the Chebyshev approximating series after solving PIES, we can obtain solutions at any chosen point on the 3D boundary. The proposed representation for the solutions on the boundary is particularly effective from the point of view of the possibility of improving the accuracy of the obtained numerical results in PIES. The improvement of solutions is investigated as a result of a change of the number of input data in the program that is responsible for the number of expressions in the Chebyshev approximating series and does not require changing the original geometry created by the Bézier patches. After solving PIES, we obtain the solution of the boundary problem only on its boundary, represented by the Chebyshev series. To find a solution in the domain, we need to obtain an integral identity known for BIE that makes use of the solution on the boundary obtained by PIES.

Based on these considerations, computer software has been developed and practically tested on the potential problems modeled by Laplace’s equation. The analysis is concerned with the compatibility of the obtained results with known analytical and numerical solutions available in the literature.

## 2 Triangular Bézier patches

*n*can be defined in terms of a set of 0.5(

*n*+ 1)(

*n*+ 2) control points \( \user2{P}_{ijk} \) for indices, \( i \ge 0,\,j \ge 0,\,k \ge 0, \) and \( i + j + k = n \), and presented as below [18]

*u*= 1 –

*v*−

*w*in (1) and with additional restrictions imposed on \( 0 \le v,w \le 1 \) and \( v + w \le 1 \), the surface of the Bézier patch can be mapped by only two parameters:

*v*,

*w*. In this case, the expressions (1, 2) may be reduced to

The above formulas for Bézier patches will be used in the rest of the paper.

In this way, it is possible to declare both flat triangular surfaces (Fig. 2a), as well as curvilinear surfaces. Figures 2b, c shows sample modifications of the initial shape of the surface after moving the selected control points.

## 3 Modification of the traditional boundary integral equation (BIE) for Laplace’s equation in 3D

*u*, satisfying the given differential equation (Laplace’s), as well as established boundary conditions (Dirichlet, Neumann, or mixed), and may be solved using the traditional integral identity (Green’s formula). A generalized form of the integral identity for 3D problems can be presented by the formula [6]

In identity (7), integrand \( U^{*} (\user2{x},\user2{y}) \) is the classical fundamental solution, whereas \( P^{*} (\user2{x},\user2{y}) \) is the classical singular solution and \( u(\user2{y}) \) and \( p(\user2{y}) \) are boundary function and its partial derivative, respectively. Additionally, \( \user2{x} \equiv \left\{ {x_{1} ,\,x_{2} ,x_{3} } \right\},\,\user2{y} \equiv \left\{ {y_{1} ,y_{2} ,y_{3} } \right\} \) indicate the source and the field points, respectively. The value of \( \bar{u}(\user2{x}) \) depends on the location of * x* hence \( \bar{u}(\user2{x}) = u(\user2{x}) \) for \( \user2{x} \in \Upomega , \, \bar{u}(\user2{x}) = 0.5u(\user2{x}) \), \( \user2{x} \in \Upgamma , \, \bar{u}(\user2{x}) = 0 \) and \( \user2{x} \notin \bar{\Upomega } \). If \( \user2{x} \in \Upgamma \), then formula (7) is the classical boundary integral equation (BIE).

Presented briefly, the modification of traditional BIE is considered as a generalization of the modification applied to 2D problems as in [10, 11, 12, 13, 14, 15, 16, 17]. In general, it consists in analytically defining curvilinear boundary geometry in traditional BIE with the help of triangular Bézier surface patches.

### 3.1 Triangular Bézier patches in the mathematical definition of boundary surface in BIE

Bézier surface patches \( \user2{P}_{j} (v,w) = [P_{j}^{(1)} (v,w),P_{j}^{(2)} (v,w),P_{j}^{(3)} (v,w)]^{\text{T}} \) are defined by formula (5).

## 4 PIES for Laplace’s equation

*n*is the number of parametric patches that create the domain boundary in 3D.

*j*. Kernels (20) and (21) include in their mathematical formalism the shape of a closed boundary, created by means of appropriate relationships between surfaces \( (l,j = 1,2,3, \ldots ,n), \) which are defined in Cartesian coordinates using the following relations

*l*with parameters \( v_{1} \,w_{1} \), i.e., for \( j = l \) and for parameters \( v = v_{1} \) and \( w = w_{1} \).

We have considered functions \( \user2{P}_{j} (v,w) \) in the form presented in Sect. 2 parametric surface patches. The possibility of analytical description of the boundary directly in the formula of PIES is the main advantage of the presented approach in comparison with traditional BIE. In classical BIE, a description of the boundary is not included in the mathematical formalism of the equation, but very generally defined by the integral boundary. This necessitates the discretization of the domain boundary into elements, as is the case in classical BEM.

### 4.1 Approximation of the boundary functions over the surface patches

*j*by means of the following Chebyshev series:

One of these functions, either \( u_{j}^{(pr)} \) or \( \,\,p_{j}^{(pr)} \), depending on the type of the resolved boundary problem, is posed in the form of boundary conditions, whereas the other is the searched function resulting from the solution of PIES.

Next, writing down expression (25) at the collocation points on individual Bézier patches, we obtain an algebraic equation system with respect to the unknown coefficients \( u_{j}^{(pr)} \) or \( \,p_{j}^{(pr)} \). After its resolution, we obtain the values of the unknown coefficients in one of the approximating series (23) or (24), approximating the unknown function on the boundary.

### 4.2 Solutions in the domain

Both integrands in the identity (26) are visually very similar to kernels (20) and (21). The main difference, however, lies in the fact that in kernels (27) and (28), apart from Bézier patches defining boundary geometry, we have the coordinates of the point in domain \( \user2{x} \equiv \left\{ {x_{1} ,x_{2} ,x_{3} } \right\} \). Using coordinates, we can pose any point in the domain in which we look for the solutions.

## 5 Numerical examples

The discussed algorithm has been successfully applied to solve boundary problems described by Laplace’s equation. Numerical examples are given to compare the results obtained by the proposed PIES method with analytical ones and those obtained by BEM. There are several geometries with smooth boundaries available in the literature for 3D potential problems. In most cases, however, these objects are shaped as spheres, and the sphere models are used in the examples presented below. This does not limit the shapes available.

### 5.1 Declaration of a sphere by triangular Bézier patches

The outer edges of formed patches are joined together to form a closed sphere. As a result, the patches share the same points along the common edges and the total number of control points used to sphere approximation is reduced to 66.

The created shape representation scheme of the sphere is directly integrated in mathematical formalism of PIES. Therefore, modeling the boundary is only limited to the above-mentioned declaration of surface patches without their further division, for example into boundary or finite elements. This is a big advantage of PIES, which leads to a radical simplification of both the boundary geometry description and numerical calculations.

Additionally, we can perform easy shape modification by moving individual or group of Bézier control points. The model given in Fig. 4b can be seen as an effective modification of the sphere from Fig. 4a. For this purpose, the sphere model is transformed into an ellipsoidal form, shown in Fig. 4b, after scalar multiplication of the \( x_{1} \)-coordinates of all Bézier control points by 2. This unified approach to boundary shape modification offers two significant advantages. Firstly, the operation is performed with the help of a limited number of data, only control points of Bézier patches, and secondly keeps a continuous smooth structure of modified boundary. The model of the boundary presented here is used in numerical examples given in this section.

### 5.2 Example 1

^{2}s (the Neumann boundary condition) is posed. The exact solution of the problem has an asymptotic nature and is given by [7]

Solutions in the domain outside of the sphere

The solutions of PIES in external points (column 5) agree well with the analytical results (32) (column 2) and with BEM solutions (columns 3, 4). To increase the accuracy of solutions in the PIES, we only need to increase the degree of the Chebyshev polynomial series (23, 24) without any modification boundary geometry from Fig. 4a. From the programming point of view, the operation simply involves changing the number \( \bar{n} \) in the program, which makes it possible to quickly verify the convergence. The solutions on the boundary approximated by the polynomials for \( \bar{n} = 15 \) are presented in column 6.

### 5.3 Example 2

Both boundary conditions and unknown boundary functions in PIES, due to the lack of conventional discretization, take the form of approximation series \( u_{j} (v,w) \) or \( p_{j} (v,w) \), spread over each declared Bézier patch. To find a solution on the boundary in the PIES, we need to find the coefficients \( u_{j}^{(pr)} \), \( \,p_{j}^{(pr)} \) in the approximation series only. After these coefficients \( u_{j}^{(pr)} \) and \( \,p_{j}^{(pr)} \) have been calculated and multiplied by Chebyshev polynomials \( T_{j}^{\left( p \right)} \left( v \right) \) and \( T_{j}^{\left( r \right)} \left( w \right), \) the solution at any point \( v,w \) on our Bézier patch is obtained.

*K*= 1,568 solutions obtained on the boundary on the basis of series (24), while \( \bar{p}^{(k)} \) are exact solutions given by (37–40).

The impact of change in the number of terms \( \bar{n} \) in series \( \,\,p_{j} (v,w) \) on the accuracy of solutions on the boundary from Fig. 4a in PIES

Number of terms \( \bar{n} \) in series (24) | Total number of algebraic equations | Error norm \( L_{2} \) (41) of solutions in PIES [%] | |||
---|---|---|---|---|---|

\( ||e||_{{p_{1} }} \) (37) | \( ||e||_{{p_{2} }} \) (38) | \( ||e||_{{p_{3} }} \) (39) | \( ||e||_{{p_{4} }} \) (40) | ||

1 | 2 | 3 | 4 | 5 | 6 |

6 | 48 | 0.4997 | 2.1090 | 8.1555 | 30.3838 |

9 | 72 | 0.4840 | 2.6095 | 5.6547 | 15.2042 |

15 | 120 | 0.2559 | 0.3351 | 1.5574 | 9.8241 |

36 | 288 | 0.0096 | 0.0147 | 0.0592 | 0.8946 |

The impact of change in the number of terms \( \bar{n} \) in the series \( \,\,p_{j} (v,w) \) on the accuracy of solutions on the boundary from Fig. 4b in PIES

Number of terms \( \bar{n} \) in series (24) | Total number of algebraic equations | Error norm \( L_{2} \) (41) of solutions in PIES [%] | |||
---|---|---|---|---|---|

\( ||e||_{{p_{1} }} \) (37) | \( ||e||_{{p_{2} }} \) (38) | \( ||e||_{{p_{3} }} \) (39) | \( ||e||_{{p_{4} }} \) (40) | ||

1 | 2 | 3 | 4 | 5 | 6 |

6 | 48 | 1.7013 | 3.5815 | 5.3397 | 16.0461 |

9 | 72 | 1.3800 | 3.1491 | 4.6456 | 17.3053 |

15 | 120 | 0.6269 | 0.6257 | 1.3385 | 10.9333 |

36 | 288 | 0.0492 | 0.0802 | 0.0986 | 2.1690 |

Approximation of the boundary functions over the surface patches by Chebyshev series (23, 24) introduces an effective approach of the convergence analysis. It is realized by the increase of used approximation forms of series (23, 24). In practice, it is performed by change in values \( \bar{n} \) in the program without any intervention in the previously declared boundary geometry. This is a considerable advantage over the element methods in which the increased accuracy involves the increase in the number of elements.

### 5.4 Example 3

The domain bounded by the hollow sphere with internal radius \( R_{1} = 1.0 \) and external radius \( R_{2} = 2.0 \), respectively, is considered (Fig. 6).

*r*is the radius of the domain inside the hollow sphere.

Despite significant differences in the surface areas of both sphere areas, expressed by radiuses \( R_{1} \) and \( R_{2} \), each of them is described by eight Bézier patches of degree 4 according to the later scheme discussed in Sect. 5.1. As a result, a complete geometric description of the spherical wall requires 16 patches with 112 control points.

Table 4 shows a good agreement of the solutions obtained in PIES with the analytical values. The solutions were obtained after solving only system of 144 and 240 linear equations by a pseudospectral method.

## 6 Conclusions

Triangular Bézier patches seem to be efficient tools for 3D boundary modeling and in connection with PIES provides an easy way of solving 3D boundary value problems. The patches are applied to analytic modification of traditional BIE and to obtain the PIES formula for 3D Laplace’s problems. This paper generalizes the existing and intensively developed 2D PIES scheme to solve boundary value problems in 3D. The explicit form of PIES for Laplace’s equation has been presented. The PIES solution requires neither the domain nor the boundary discretization and is reduced to approximation of boundary functions. In addition, it has presented the identity for solutions in the domain. The obtained PIES formula has been tested on elementary examples, but with analytical and numerical solutions. The analysis showed the previously existing advantages of PIES for 2D problems also in relation to the 3D problems described by Laplace’s equation. These advantages are related to the simplicity of defining the shape of the boundary by control points. The discussed numerical examples show the good accuracy of the obtained solutions.

## Notes

### Acknowledgments

The scientific work is founded by resources for sciences in the years 2010–2013 as a research project.

### Open Access

This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.

### References

- 1.Morton KW, Mayers DF (2005) Numerical solution of partial differential equations an introduction. Cambridge University Press, New YorkCrossRefMATHGoogle Scholar
- 2.Özisik MN (1994) Finite difference methods in heat transfer. CRC Press, Boca RatonMATHGoogle Scholar
- 3.Johnson C (1990) Numerical solution of partial differential equations by the finite element method. Cambridge University Press, CambridgeGoogle Scholar
- 4.Zienkiewicz OC, Taylor RL (2000) The finite element method, vol 1–3. Butterworth, OxfordGoogle Scholar
- 5.Becker AA (1992) The boundary element method in engineering: a complete course. McGraw-Hill Book Company, CambridgeGoogle Scholar
- 6.Brebbia CA, Dominguez J (1992) Boundary elements: an introductory course. WIT Press Computational Mechanics Publications, SouthamptonMATHGoogle Scholar
- 7.Brebbia CA, Telles JCF, Wrobel LC (1984) Boundary element techniques: theory and applications in engineering. Springer-Verlag, New YorkCrossRefMATHGoogle Scholar
- 8.Beskos DE (1987) Boundary element methods in mechanics. North-Holland, AmsterdamMATHGoogle Scholar
- 9.Hartmann F (1989) Introduction to boundary elements: theory and applications. Springer-Verlag, BerlinCrossRefMATHGoogle Scholar
- 10.Zieniuk E (2001) Potential problems with polygonal boundaries by a BEM with parametric linear functions. Eng Anal Bound Elem 3(25):185–190CrossRefGoogle Scholar
- 11.Zieniuk E (2002) A new integral identity for potential polygonal domain problems described by parametric linear functions. Eng Anal Bound Elem 10(26):897–904CrossRefGoogle Scholar
- 12.Zieniuk E, Szerszeń K, Bołtuć A (2007) Globalne obliczanie całek po obszarze w PURC dla dwuwymiarowych zagadnień brzegowych modelowanych równaniem Naviera-Lamego i Poissona. Modelowanie Inżynierskie 2(33):181–186 (in Polish)Google Scholar
- 13.Zieniuk E, Bołtuć A (2006) Bézier curves in the modeling of boundary geometries for 2D boundary problems defined by Helmholtz equation. J Comput Acoust 3(14):1–15Google Scholar
- 14.Zieniuk E, Bołtuć A (2006) Non-element method of solving 2D boundary problems defined on polygonal domains modeled by Navier equation. Int J Solids Struct 25–26(43):7939–7958CrossRefGoogle Scholar
- 15.Zieniuk E (2003) Bézier curves in the modification of boundary integral equations (BIE) for potential boundary-values problems. Int J Solids Struct 9(40):2301–2320MathSciNetCrossRefGoogle Scholar
- 16.Zieniuk E (2003) Hermite curves in the modification of integral equations for potential boundary-value problems. Eng Comput 2(20):112–128CrossRefGoogle Scholar
- 17.Zieniuk E (2007) Modelling and effective modification of smooth boundary geometry in boundary problems using B-spline curves. Eng Comput 1(23):39–48CrossRefGoogle Scholar
- 18.Farin G (2002) Curves and surfaces for CAGD: a practical guide. Morgan Kaufmann Publishers, San FranciscoGoogle Scholar
- 19.Farin G, Hoschek J, Kim MS (2002) Handbook of computer aided geometric design. Elsevier, AmsterdamMATHGoogle Scholar
- 20.Goshtasby AA (2005) Plus curves and surfaces. Vis Comput 21:4–16CrossRefGoogle Scholar
- 21.Ruomei W, Xiaonan L, Yi L (2006) Representation and conversion of Bézier surfaces in multivariate B-form. J Comput Appl Math 1–2(195):206–211Google Scholar
- 22.Mortenson M (1985) Geometric modelling. Wiley, New YorkGoogle Scholar
- 23.Rockwood A, Chambers P (1996) Interactive curves and surfaces. Morgan Kaufmann Publishers, San FranciscoMATHGoogle Scholar
- 24.Hughes TJR, Cottrell JA, Bazilevs Y (2005) Isogeometric analysis: CAD, finite elements, NURBS, exact geometry and mesh refinement. Comput Methods Appl Mech Eng 194:4135–4195MathSciNetCrossRefMATHGoogle Scholar
- 25.Cottrell JA, Hughes TJR, Bazilevs Y (2009) Isogeometric analysis: toward integration of CAD and FEA. Wiley, New YorkCrossRefGoogle Scholar
- 26.Simpson RN, Bordas SPA, Trevelyan J, Rabczuk T (2012) A two-dimensional isogeometric boundary element method for elastostatic analysis. Comput Methods Appl Mech Eng 209–212:87–100MathSciNetCrossRefGoogle Scholar
- 27.Gottlieb D, Orszag SA (1977) Numerical analysis of spectral methods: theory and applications. SIAM, PhiladelphiaCrossRefMATHGoogle Scholar
- 28.Yong-Qing L, Ying-Lin K, Wei-Shi L (2002) Termination criterion for subdivision of triangular Bézier patch. Comput Graph 1(26):67–74Google Scholar
- 29.Chati MK, Mukherjee S, Paulino GH (2001) The meshless hypersingular boundary node method for three-dimensional potential theory and linear elasticity problems. Eng Anal Bound Elem 8(25):639–653CrossRefGoogle Scholar
- 30.Telukunta S, Mukherjee S (2005) The extended boundary node method for three-dimensional potential theory. Comput Struct 17–18(83):1503–1514MathSciNetCrossRefGoogle Scholar
- 31.Provatidis CG (2005) Three-dimensional Coons macroelements in Laplace and acoustic problems. Comput Struct 19–20(83):1572–1583MathSciNetCrossRefGoogle Scholar