subdivision of bezier curves
DESCRIPTION
Subdivision of Bezier curves. Raeda Naamnieh. Outline. motivation. Definitions. Definition 5.7 For , the functions for where n is any nonnegative integer, are called the generalized Bernstein blending functions. . Definitions. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/1.jpg)
1
Subdivision of Bezier curves
Raeda Naamnieh
![Page 2: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/2.jpg)
2
Outline
Subdivision of Bezier Curves
Restricted proof for Bezier Subdivision
Convergence of Refinement Strategies
![Page 3: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/3.jpg)
3
MOTIVATION
![Page 4: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/4.jpg)
4
Definitions
• Definition 5.7 For , the functions
for where n is any nonnegative integer, are called the generalized Bernstein
blending functions .
![Page 5: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/5.jpg)
5
Definitions
• Definition 16.11We call
the Bezier curve with control points on the interval .
![Page 6: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/6.jpg)
6
• For defined as above then
where
THE BEZIER CURVE SUBDIVISION THEOREM
![Page 7: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/7.jpg)
7
THE BEZIER CURVE SUBDIVISION THEOREM
![Page 8: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/8.jpg)
8
THE BEZIER CURVE SUBDIVISION THEOREM
![Page 9: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/9.jpg)
9
Outline
Subdivision of Bezier Curves
Restricted proof for Bezier Subdivision
Convergence of Refinement Strategies
![Page 10: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/10.jpg)
10
Restricted Proof for Bezier Subdivision
• Lemma 16.22
![Page 11: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/11.jpg)
11
Restricted Proof for Bezier Subdivision
• Proof:
![Page 12: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/12.jpg)
12
Restricted Proof for Bezier Subdivision
• Proof:
![Page 13: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/13.jpg)
13
Restricted Proof for Bezier Subdivision
• Proof for Bezier Subdivision: induction on n, and for arbitrary c, a<c<b.
If n=1
![Page 14: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/14.jpg)
14
Restricted Proof for Bezier Subdivision
• Proof for Bezier Subdivision:Now, assume the theorem holds for all
![Page 15: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/15.jpg)
15
Restricted Proof for Bezier Subdivision
• Proof for Bezier Subdivision:Now using the results from
![Page 16: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/16.jpg)
16
Restricted Proof for Bezier Subdivision
• Proof for Bezier Subdivision:-The second part of the proof is almost identical, hence left as exercise
![Page 17: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/17.jpg)
21
Outline
Subdivision of Bezier Curves
Restricted proof for Bezier Subdivision
Convergence of Refinement Strategies
![Page 18: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/18.jpg)
22
Convergence of Refinement Strategies
𝑃1[0 ]
𝑃4[0 ]
𝑃3[0 ]
𝑃2[0 ]
𝑃0[0 ]
SUBDIVISION AT THE MIDPOINT
![Page 19: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/19.jpg)
23
Convergence of Refinement Strategies
𝑃1[0 ]
𝑃4[0 ]
𝑃3[0 ]
𝑃2[0 ]
𝑃0[0 ]
𝑃1[1 ]
𝑃2[1 ]
𝑃3[1 ]
𝑃4[1 ]
![Page 20: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/20.jpg)
24
Convergence of Refinement Strategies
𝑃1[0 ]
𝑃4[0 ]
𝑃3[0 ]
𝑃2[0 ]
𝑃0[0 ]
𝑃1[1 ]
𝑃2[1 ]
𝑃3[1 ]
𝑃4[1 ]
𝑃2[2 ]
𝑃3[2 ]
𝑃4[2 ]
![Page 21: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/21.jpg)
25
Convergence of Refinement Strategies
𝑃1[0 ]
𝑃4[0 ]
𝑃3[0 ]
𝑃2[0 ]
𝑃0[0 ]
𝑃1[1 ]
𝑃2[1 ]
𝑃3[1 ]
𝑃4[1 ]
𝑃2[2 ]
𝑃3[2 ]
𝑃4[2 ]
𝑃3[3 ]
𝑃4[3 ]
![Page 22: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/22.jpg)
26
Convergence of Refinement Strategies
𝑃1[0 ]
𝑃4[0 ]
𝑃3[0 ]
𝑃2[0 ]
𝑃0[0 ]
𝑃1[1 ]
𝑃2[1 ]
𝑃3[1 ]
𝑃4[1 ]
𝑃2[2 ]
𝑃3[2 ]
𝑃4[2 ]
𝑃3[3 ]
𝑃4[3 ]𝑃4
[4 ]
![Page 23: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/23.jpg)
27
Convergence of Refinement Strategies
𝑃1[0 ]
𝑃4[0 ]
𝑃3[0 ]
𝑃2[0 ]
𝑃0[0 ]
𝑃1[1 ]
𝑃2[1 ]
𝑃3[1 ]
𝑃4[1 ]
𝑃2[2 ]
𝑃3[2 ]
𝑃4[2 ]
𝑃3[3 ]
𝑃4[3 ]𝑃4
[4 ]
![Page 24: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/24.jpg)
28
Convergence of Refinement Strategies
o Bezier polygon defined on .o the piecewise linear function given by the
original polygon.o the piecewise linear function formed with
vertices defined by concatenating together the control polygons for the two subdivided curves
and at the midpoint.o It has 2n+1 distinct points.
![Page 25: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/25.jpg)
29
Convergence of Refinement Strategies
o is a pisewise linear function defined by the ordered vertices of the control polygons of the Bezier curves whose composite is the original curve.
![Page 26: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/26.jpg)
30
Convergence of Refinement Strategies
o is a pisewise linear function defined by the ordered vertices of the control polygons of the Bezier curves whose composite is the original curve.
![Page 27: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/27.jpg)
31
Convergence of Refinement Strategies
o is a pisewise linear function defined by the ordered vertices of the control polygons of the Bezier curves whose composite is the original curve.
![Page 28: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/28.jpg)
32
Convergence of Refinement Strategies
o The subdivided Bezier curve at level is over the interval:
and has vertices:
for oWe shall write
has distinct points which define it.
![Page 29: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/29.jpg)
33
Convergence of Refinement Strategies
Theorem 16.17:
That is, the polyline consisting of the union of all the sub polygons converges to the Bezier curve .
![Page 30: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/30.jpg)
34
Convergence of Refinement Strategies
Lemma 16.18:If is a Bezier curve, define
. If Are defined by the rule in Theorem 16.12, then
for
![Page 31: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/31.jpg)
35
Convergence of Refinement Strategies
Proof:By induction on the superscript, for,
![Page 32: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/32.jpg)
36
Convergence of Refinement Strategies
Proof:Now, suppose that the conclusion has been shown for superscripts up to .Then,
![Page 33: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/33.jpg)
37
Convergence of Refinement Strategies
Lemma 16.19:Any two consecutive vertices of are no farther
apart than ,where is independent of. That is, if and are two consecutive vertices of
Then.
![Page 34: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/34.jpg)
38
Convergence of Refinement Strategies
Proof:Induction on,
Let First consider and
![Page 35: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/35.jpg)
39
Convergence of Refinement Strategies
Proof:Let
where
![Page 36: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/36.jpg)
40
Convergence of Refinement Strategies
Proof:Now, suppose
![Page 37: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/37.jpg)
41
Convergence of Refinement Strategies
Proof:Assume for . Now we show it is true
for. The vertices in are defined by subdividing the Bezier
polygons in. We see that are formed by
subdividing the Bezier curve with control polygon
where respectively.
![Page 38: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/38.jpg)
42
Convergence of Refinement Strategies
Proof:We shall prove the results for
Let us fix And call
By the subdivision Theorem 16.12
![Page 39: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/39.jpg)
43
Convergence of Refinement Strategies
Proof:
Since this is proved for all the conclusion of the lemma holds for all
![Page 40: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/40.jpg)
44
Convergence of Refinement Strategies
Proof for convergence theorem:The subdivision theorem showed that over each
subinterval , the Bezier curve resulting from the appropriate sub
collection of is identical to the original We denote this by.
![Page 41: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/41.jpg)
45
Convergence of Refinement Strategies
Proof for convergence theorem:Any arbitrary value in the original interval is then contained in an infinite sequence of intervals,
for which
![Page 42: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/42.jpg)
46
Convergence of Refinement Strategies
Proof for convergence theorem:Hence, the curve value, lies within the convex hull of the vertices of which correspond to the Bezier polygon over
, for each .
![Page 43: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/43.jpg)
47
Convergence of Refinement Strategies
Proof for convergence theorem:Since the spacial extent of the convex hull of each Bezier polygon over
,all and , gets smaller and converges to zero .
![Page 44: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/44.jpg)
48
Convergence of Refinement Strategies
Proof for convergence theorem:Consider the subsequence of polygons corresponding
to the intervals containing. is contained in all of them, for all
Further, if any other curve point were contained in all of them, say , then would be in
![Page 45: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/45.jpg)
49
Convergence of Refinement Strategies
Proof for convergence theorem:Since is the only point in that intersection ,
is the only point in the intersection of the convex hull of the Bezier polygons of these selected subintervals.
The polygonal approximation converges.
![Page 46: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/46.jpg)
50
Summary
• Subdivision of Bezier Curves
• Restricted proof for Bezier Subdivision
• Convergence of Refinement Strategies
![Page 47: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/47.jpg)
51
Appendix
Geometric Modeling with Splines
Chapter 16Elaine CohenRichard F. RiesenfeldGershon Elber
![Page 48: Subdivision of Bezier curves](https://reader035.vdocuments.net/reader035/viewer/2022081502/5681624c550346895dd291d4/html5/thumbnails/48.jpg)
52
Q&A