Namespaces
Variants
Actions

Difference between revisions of "Bézier surface"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (moved Bézier surface to Bezier surface: ascii title)
m (tex encoded by computer)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
 +
<!--
 +
b1104801.png
 +
$#A+1 = 45 n = 0
 +
$#C+1 = 45 : ~/encyclopedia/old_files/data/B110/B.1100480 B\Aeezier surface,
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''Bézier patch''
 
''Bézier patch''
  
A parametric polynomial surface in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b1104801.png" /> that can be expressed in terms of certain [[Bernstein polynomials|Bernstein polynomials]] defined over a rectangle or triangle. Bézier surfaces (also called Bézier patches) are used in the field of computer-aided geometric design (CAGD); for historical remarks see [[Bézier spline|Bézier spline]]. There are two types of Bézier surfaces: tensor product Bézier surfaces and triangular Bézier surfaces.
+
A parametric polynomial surface in $  \mathbf R  ^ {3} $
 +
that can be expressed in terms of certain [[Bernstein polynomials|Bernstein polynomials]] defined over a rectangle or triangle. Bézier surfaces (also called Bézier patches) are used in the field of computer-aided geometric design (CAGD); for historical remarks see [[Bézier spline|Bézier spline]]. There are two types of Bézier surfaces: tensor product Bézier surfaces and triangular Bézier surfaces.
  
1) Given degrees <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b1104802.png" /> and points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b1104803.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b1104804.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b1104805.png" />, the parametric surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b1104806.png" /> defined by
+
1) Given degrees $  m,n > 0 $
 +
and points $  \mathbf b _ {ij }  \in \mathbf R  ^ {3} $,  
 +
$  i = 0 \dots m $
 +
and $  j = 0 \dots n $,  
 +
the parametric surface $  \mathbf q : {[ 0,1 ]  ^ {2} } \rightarrow {\mathbf R  ^ {3} } $
 +
defined by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b1104807.png" /></td> </tr></table>
+
$$
 +
\mathbf q ( u,v ) = \sum _ {i = 0 } ^ { m }  \sum _ {j = 0 } ^ { n }  {B _ {i}  ^ {m} ( u ) B _ {j}  ^ {n} ( v ) \cdot \mathbf b _ {ij }  } ,  u,v \in [ 0,1 ] ,
 +
$$
  
is called a tensor product Bézier surface, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b1104808.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b1104809.png" /> are Bernstein polynomials of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048010.png" />, respectively <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048011.png" /> (see also [[Bézier spline|Bézier spline]]). The points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048012.png" /> are called control points or Bézier points. The net of control points is said to be the control net or Bézier net of the surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048013.png" />. Analogously as for Bézier curves (see [[Bézier curve|Bézier curve]]), tensor product Bézier surfaces having an arbitrary rectangle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048014.png" /> as domain may be introduced.
+
is called a tensor product Bézier surface, where $  B _ {i}  ^ {m} ( u ) $
 +
and $  B _ {j}  ^ {n} ( v ) $
 +
are Bernstein polynomials of degree $  m $,  
 +
respectively $  n $(
 +
see also [[Bézier spline|Bézier spline]]). The points $  \mathbf b _ {ij }  $
 +
are called control points or Bézier points. The net of control points is said to be the control net or Bézier net of the surface $  \mathbf q $.  
 +
Analogously as for Bézier curves (see [[Bézier curve|Bézier curve]]), tensor product Bézier surfaces having an arbitrary rectangle $  [ o,r ] \times [ s,t ] $
 +
as domain may be introduced.
  
Many properties of Bézier curves carry over to tensor product Bézier surfaces. Any isoparametric curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048015.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048016.png" /> is a Bézier curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048017.png" /> of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048018.png" />. The Bézier points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048019.png" /> can be obtained by applying <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048020.png" /> de Casteljau algorithms using Bézier points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048021.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048022.png" /> (see [[Bézier spline|Bézier spline]]). A point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048023.png" /> on the surface is then obtained by performing one more de Casteljau algorithm. Furthermore, the surface lies in the convex hull of its Bézier points. The boundary curves of the surface are Bézier curves whose Bézier points are the corresponding boundary points of the Bézier net.
+
Many properties of Bézier curves carry over to tensor product Bézier surfaces. Any isoparametric curve $  v = v _ {0} = \textrm{ const  } $
 +
of $  \mathbf q $
 +
is a Bézier curve $  \mathbf p ( u ) = \mathbf q ( u,v _ {0} ) = \sum _ {i = 0 }  ^ {m} ( \sum _ {j = 0 }  ^ {n} B _ {j}  ^ {n} ( v _ {0} ) \mathbf b _ {ij }  ) \cdot B _ {i}  ^ {m} ( u ) $
 +
of degree $  m $.  
 +
The Bézier points of $  \mathbf p $
 +
can be obtained by applying $  m + 1 $
 +
de Casteljau algorithms using Bézier points $  \mathbf b _ {ij }  $,  
 +
$  j = 0 \dots n $(
 +
see [[Bézier spline|Bézier spline]]). A point $  \mathbf q ( u _ {0} ,v _ {0} ) $
 +
on the surface is then obtained by performing one more de Casteljau algorithm. Furthermore, the surface lies in the convex hull of its Bézier points. The boundary curves of the surface are Bézier curves whose Bézier points are the corresponding boundary points of the Bézier net.
  
2) Triangular Bézier surfaces have a triangle as domain, therefore they are also called Bézier triangles. Thus, let there be given an arbitrary, non-degenerate triangle with vertices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048024.png" />. Then any point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048025.png" /> has unique [[Barycentric coordinates|barycentric coordinates]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048026.png" /> with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048027.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048028.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048029.png" />, i.e., <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048030.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048031.png" />. For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048032.png" />, the bivariate Bernstein polynomials <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048033.png" /> are defined by
+
2) Triangular Bézier surfaces have a triangle as domain, therefore they are also called Bézier triangles. Thus, let there be given an arbitrary, non-degenerate triangle with vertices $  \mathbf r, \mathbf s, \mathbf t \in \mathbf R  ^ {2} $.  
 +
Then any point $  \mathbf p \in \mathbf R  ^ {2} $
 +
has unique [[Barycentric coordinates|barycentric coordinates]] $  u,v,w \in \mathbf R $
 +
with respect to $  \mathbf r $,  
 +
$  \mathbf s $,  
 +
$  \mathbf t $,  
 +
i.e., $  \mathbf p = u  \mathbf r + v  \mathbf s + w  \mathbf t $
 +
with $  u + v + w = 1 $.  
 +
For any $  n > 0 $,  
 +
the bivariate Bernstein polynomials $  B _ {ijk }  ^ {n} $
 +
are defined by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048034.png" /></td> </tr></table>
+
$$
 +
B _ {ijk }  ^ {n} ( u,v,w ) = {
 +
\frac{n! }{i!  j!  k! }
 +
}  u  ^ {i} v  ^ {j} w  ^ {k}
 +
$$
  
for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048035.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048036.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048037.png" />. Now, given points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048038.png" />, a triangular Bézier surface of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048039.png" /> is defined by
+
for all $  i,j,k \in \mathbf N _ {0} $,  
 +
$  i + j + k = n $,  
 +
$  u + v + w = 1 $.  
 +
Now, given points $  \mathbf b _ {ijk }  \in \mathbf R  ^ {3} $,  
 +
a triangular Bézier surface of degree $  n $
 +
is defined by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048040.png" /></td> </tr></table>
+
$$
 +
\mathbf q ( u,v,w ) = \sum _ {i + j + k = n } B _ {ijk }  ^ {n} ( u,v,w ) \cdot \mathbf b _ {ijk }  ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048041.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048042.png" />; these conditions characterize the barycentric coordinates of any point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048043.png" /> of the closed triangle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048044.png" />.
+
where $  u + v + w = 1 $
 +
and $  u,v,w \geq  0 $;  
 +
these conditions characterize the barycentric coordinates of any point $  \mathbf p $
 +
of the closed triangle $  \mathbf r, \mathbf s, \mathbf t $.
  
The notions of control (or Bézier) point and net are defined as above. Triangular Bézier surfaces have similar properties as tensor product Bézier surfaces; in particular, there exists a modified de Casteljau algorithm, the surface is contained in the convex hull of its Bézier points, and the boundary curves of the surface are Bézier curves of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110480/b11048045.png" /> whose Bézier points are the corresponding boundary points of the Bézier net.
+
The notions of control (or Bézier) point and net are defined as above. Triangular Bézier surfaces have similar properties as tensor product Bézier surfaces; in particular, there exists a modified de Casteljau algorithm, the surface is contained in the convex hull of its Bézier points, and the boundary curves of the surface are Bézier curves of degree $  n $
 +
whose Bézier points are the corresponding boundary points of the Bézier net.
  
 
In analogy to Bézier curves, it is possible to build up smooth, complex surfaces from a number of rectangular or triangular Bézier patches. This leads to spline surfaces. For rational Bézier surfaces see the references below; higher-dimensional Bézier surfaces are treated in [[#References|[a4]]].
 
In analogy to Bézier curves, it is possible to build up smooth, complex surfaces from a number of rectangular or triangular Bézier patches. This leads to spline surfaces. For rational Bézier surfaces see the references below; higher-dimensional Bézier surfaces are treated in [[#References|[a4]]].

Latest revision as of 06:29, 30 May 2020


Bézier patch

A parametric polynomial surface in $ \mathbf R ^ {3} $ that can be expressed in terms of certain Bernstein polynomials defined over a rectangle or triangle. Bézier surfaces (also called Bézier patches) are used in the field of computer-aided geometric design (CAGD); for historical remarks see Bézier spline. There are two types of Bézier surfaces: tensor product Bézier surfaces and triangular Bézier surfaces.

1) Given degrees $ m,n > 0 $ and points $ \mathbf b _ {ij } \in \mathbf R ^ {3} $, $ i = 0 \dots m $ and $ j = 0 \dots n $, the parametric surface $ \mathbf q : {[ 0,1 ] ^ {2} } \rightarrow {\mathbf R ^ {3} } $ defined by

$$ \mathbf q ( u,v ) = \sum _ {i = 0 } ^ { m } \sum _ {j = 0 } ^ { n } {B _ {i} ^ {m} ( u ) B _ {j} ^ {n} ( v ) \cdot \mathbf b _ {ij } } , u,v \in [ 0,1 ] , $$

is called a tensor product Bézier surface, where $ B _ {i} ^ {m} ( u ) $ and $ B _ {j} ^ {n} ( v ) $ are Bernstein polynomials of degree $ m $, respectively $ n $( see also Bézier spline). The points $ \mathbf b _ {ij } $ are called control points or Bézier points. The net of control points is said to be the control net or Bézier net of the surface $ \mathbf q $. Analogously as for Bézier curves (see Bézier curve), tensor product Bézier surfaces having an arbitrary rectangle $ [ o,r ] \times [ s,t ] $ as domain may be introduced.

Many properties of Bézier curves carry over to tensor product Bézier surfaces. Any isoparametric curve $ v = v _ {0} = \textrm{ const } $ of $ \mathbf q $ is a Bézier curve $ \mathbf p ( u ) = \mathbf q ( u,v _ {0} ) = \sum _ {i = 0 } ^ {m} ( \sum _ {j = 0 } ^ {n} B _ {j} ^ {n} ( v _ {0} ) \mathbf b _ {ij } ) \cdot B _ {i} ^ {m} ( u ) $ of degree $ m $. The Bézier points of $ \mathbf p $ can be obtained by applying $ m + 1 $ de Casteljau algorithms using Bézier points $ \mathbf b _ {ij } $, $ j = 0 \dots n $( see Bézier spline). A point $ \mathbf q ( u _ {0} ,v _ {0} ) $ on the surface is then obtained by performing one more de Casteljau algorithm. Furthermore, the surface lies in the convex hull of its Bézier points. The boundary curves of the surface are Bézier curves whose Bézier points are the corresponding boundary points of the Bézier net.

2) Triangular Bézier surfaces have a triangle as domain, therefore they are also called Bézier triangles. Thus, let there be given an arbitrary, non-degenerate triangle with vertices $ \mathbf r, \mathbf s, \mathbf t \in \mathbf R ^ {2} $. Then any point $ \mathbf p \in \mathbf R ^ {2} $ has unique barycentric coordinates $ u,v,w \in \mathbf R $ with respect to $ \mathbf r $, $ \mathbf s $, $ \mathbf t $, i.e., $ \mathbf p = u \mathbf r + v \mathbf s + w \mathbf t $ with $ u + v + w = 1 $. For any $ n > 0 $, the bivariate Bernstein polynomials $ B _ {ijk } ^ {n} $ are defined by

$$ B _ {ijk } ^ {n} ( u,v,w ) = { \frac{n! }{i! j! k! } } u ^ {i} v ^ {j} w ^ {k} $$

for all $ i,j,k \in \mathbf N _ {0} $, $ i + j + k = n $, $ u + v + w = 1 $. Now, given points $ \mathbf b _ {ijk } \in \mathbf R ^ {3} $, a triangular Bézier surface of degree $ n $ is defined by

$$ \mathbf q ( u,v,w ) = \sum _ {i + j + k = n } B _ {ijk } ^ {n} ( u,v,w ) \cdot \mathbf b _ {ijk } , $$

where $ u + v + w = 1 $ and $ u,v,w \geq 0 $; these conditions characterize the barycentric coordinates of any point $ \mathbf p $ of the closed triangle $ \mathbf r, \mathbf s, \mathbf t $.

The notions of control (or Bézier) point and net are defined as above. Triangular Bézier surfaces have similar properties as tensor product Bézier surfaces; in particular, there exists a modified de Casteljau algorithm, the surface is contained in the convex hull of its Bézier points, and the boundary curves of the surface are Bézier curves of degree $ n $ whose Bézier points are the corresponding boundary points of the Bézier net.

In analogy to Bézier curves, it is possible to build up smooth, complex surfaces from a number of rectangular or triangular Bézier patches. This leads to spline surfaces. For rational Bézier surfaces see the references below; higher-dimensional Bézier surfaces are treated in [a4].

References

[a1] W. Boehm, G. Farin, J. Kahmann, "A survey of curve and surface methods in CAGD" Computer Aided Geometric Design , 1 (1984) pp. 1–60
[a2] J. Encarnaçao, W. Straßer, R. Klein, "Datenverarbeitung 1. Gerätetechnik, Programmierung und Anwendung graphischer Systeme" , R. Oldenbourg (1996)
[a3] G. Farin, "Curves and surfaces for computer aided geometric design. A practical guide" , Acad. Press (1993) (Edition: Third)
[a4] J. Hoschek, D. Lasser, "Grundlagen der geometrischen Datenverarbeitung" , Teubner (1992) (Edition: Second)
[a5] M.E Mortensen, "Geometric modeling" , Wiley (1985)
How to Cite This Entry:
Bézier surface. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=B%C3%A9zier_surface&oldid=22117
This article was adapted from an original article by E.F. Eisele (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article