Use partitioned matrix multiplication to compute the following matrix product, which appears in the alternative formula (5) for a Bezier curve.

\(\left( {\begin{aligned}{{}}1&0&0&0\\{ - 3}&3&0&0\\3&{ - 6}&3&0\\{ - 1}&3&{ - 3}&1\end{aligned}} \right)\left( {\begin{aligned}{{}}{{{\mathop{\rm p}\nolimits} _0}}\\{{{\mathop{\rm p}\nolimits} _1}}\\{{{\mathop{\rm p}\nolimits} _2}}\\{{{\mathop{\rm p}\nolimits} _3}}\end{aligned}} \right)\)

Short Answer

Expert verified

The matrix product is \({\mathop{\rm x}\nolimits} \left( s \right) = \left( {\begin{aligned}{{}}1&{ - 3\left( {1 - s} \right)}&{3{{\left( {1 - s} \right)}^2}}&{ - {{\left( {1 - s} \right)}^3}}\end{aligned}} \right)\left( {\begin{aligned}{{}}{{{\mathop{\rm p}\nolimits} _0}}\\{{{\mathop{\rm p}\nolimits} _1}}\\{{{\mathop{\rm p}\nolimits} _2}}\\{{{\mathop{\rm p}\nolimits} _3}}\end{aligned}} \right)\).

Step by step solution

01

Matrix equation for Bezier curve

The matrix whose columns are the four control points is called ageometry matrix\(G\). The\(4 \times 4\)matrix of polynomial coefficients is the Bezier basis matrix\({M_B}\).

If\({\mathop{\rm u}\nolimits} \left( t \right)\)is the column vector of power of t, then the Bezier curve is given by\({\mathop{\rm x}\nolimits} \left( t \right) = G{M_B}{\mathop{\rm u}\nolimits} \left( t \right)\).

The parameter tis replaced by a parameter\(s\):

\({\mathop{\rm x}\nolimits} \left( s \right) = {\mathop{\rm u}\nolimits} {\left( s \right)^T}M_B^T\left( {\begin{aligned}{{}}{{{\mathop{\rm p}\nolimits} _0}}\\{{{\mathop{\rm p}\nolimits} _1}}\\{{{\mathop{\rm p}\nolimits} _2}}\\{{{\mathop{\rm p}\nolimits} _3}}\end{aligned}} \right)\)

02

Use partitioned matrix multiplication to compute the matrix product

Recall the alternative formula for a Bezier curve as shown below:

\({\mathop{\rm x}\nolimits} \left( s \right) = \left( {\begin{aligned}{{}}{{{\left( {1 - s} \right)}^3}}&{3s{{\left( {1 - s} \right)}^2}}&{3{s^2}\left( {1 - s} \right)}&{{s^3}}\end{aligned}} \right)\left( {\begin{aligned}{{}}{{{\mathop{\rm p}\nolimits} _0}}\\{{{\mathop{\rm p}\nolimits} _1}}\\{{{\mathop{\rm p}\nolimits} _2}}\\{{{\mathop{\rm p}\nolimits} _3}}\end{aligned}} \right)\)…(5)

Consider the matrix as\({M_B} = \left( {\begin{aligned}{{}}1&0&0&0\\{ - 3}&3&0&0\\3&{ - 6}&3&0\\{ - 1}&3&{ - 3}&1\end{aligned}} \right)\).

Consider the matrix\({\mathop{\rm u}\nolimits} {\left( s \right)^T} = \left( {\begin{aligned}{{}}1&s&{{s^2}}&{{s^3}}\end{aligned}} \right)\).

\(\begin{aligned}{}{\mathop{\rm x}\nolimits} \left( s \right) &= {\mathop{\rm u}\nolimits} {\left( s \right)^T}M_B^T\left( {\begin{aligned}{{}}{{{\mathop{\rm p}\nolimits} _0}}\\{{{\mathop{\rm p}\nolimits} _1}}\\{{{\mathop{\rm p}\nolimits} _2}}\\{{{\mathop{\rm p}\nolimits} _3}}\end{aligned}} \right)\\ &= \left( {\begin{aligned}{{}}1&s&{{s^2}}&{{s^3}}\end{aligned}} \right){\left( {\begin{aligned}{{}}1&0&0&0\\{ - 3}&3&0&0\\3&{ - 6}&3&0\\{ - 1}&3&{ - 3}&1\end{aligned}} \right)^T}\left( {\begin{aligned}{{}}{{{\mathop{\rm p}\nolimits} _0}}\\{{{\mathop{\rm p}\nolimits} _1}}\\{{{\mathop{\rm p}\nolimits} _2}}\\{{{\mathop{\rm p}\nolimits} _3}}\end{aligned}} \right)\\ &= \left( {\begin{aligned}{{}}1&s&{{s^2}}&{{s^3}}\end{aligned}} \right)\left( {\begin{aligned}{{}}1&{ - 3}&3&{ - 3}\\0&3&{ - 6}&{ - 3}\\0&0&3&1\\0&0&0&0\end{aligned}} \right)\left( {\begin{aligned}{{}}{{{\mathop{\rm p}\nolimits} _0}}\\{{{\mathop{\rm p}\nolimits} _1}}\\{{{\mathop{\rm p}\nolimits} _2}}\\{{{\mathop{\rm p}\nolimits} _3}}\end{aligned}} \right)\\ &= \left( {\begin{aligned}{{}}1&{ - 3 + 3s}&{3 - 6s + 3{s^2}}&{ - 1 + 3s - 3{s^2} + {s^3}}\end{aligned}} \right)\left( {\begin{aligned}{{}}{{{\mathop{\rm p}\nolimits} _0}}\\{{{\mathop{\rm p}\nolimits} _1}}\\{{{\mathop{\rm p}\nolimits} _2}}\\{{{\mathop{\rm p}\nolimits} _3}}\end{aligned}} \right)\\ &= \left( {\begin{aligned}{{}}1&{ - 3\left( {1 - s} \right)}&{3{{\left( {1 - s} \right)}^2}}&{ - {{\left( {1 - s} \right)}^3}}\end{aligned}} \right)\left( {\begin{aligned}{{}}{{{\mathop{\rm p}\nolimits} _0}}\\{{{\mathop{\rm p}\nolimits} _1}}\\{{{\mathop{\rm p}\nolimits} _2}}\\{{{\mathop{\rm p}\nolimits} _3}}\end{aligned}} \right)\end{aligned}\)

Thus, the matrix product is \({\mathop{\rm x}\nolimits} \left( s \right) = \left( {\begin{aligned}{{}}1&{ - 3\left( {1 - s} \right)}&{3{{\left( {1 - s} \right)}^2}}&{ - {{\left( {1 - s} \right)}^3}}\end{aligned}} \right)\left( {\begin{aligned}{{}}{{{\mathop{\rm p}\nolimits} _0}}\\{{{\mathop{\rm p}\nolimits} _1}}\\{{{\mathop{\rm p}\nolimits} _2}}\\{{{\mathop{\rm p}\nolimits} _3}}\end{aligned}} \right)\).

Unlock Step-by-Step Solutions & Ace Your Exams!

  • Full Textbook Solutions

    Get detailed explanations and key concepts

  • Unlimited Al creation

    Al flashcards, explanations, exams and more...

  • Ads-free access

    To over 500 millions flashcards

  • Money-back guarantee

    We refund you if you fail your exam.

Over 30 million students worldwide already upgrade their learning with Vaia!

One App. One Place for Learning.

All the tools & learning materials you need for study success - in one app.

Get started for free

Most popular questions from this chapter

The “B” in B-spline refers to the fact that a segment \({\bf{x}}\left( t \right)\)may be written in terms of a basis matrix, \(\,{M_S}\) , in a form similar to a Bézier curve. That is,

\({\bf{x}}\left( t \right) = G{M_S}{\bf{u}}\left( t \right)\)for \(\,0 \le t \le 1\)

where \(G\) is the geometry matrix \(\,\left( {{{\bf{p}}_{\bf{0}}}\,\,\,\,{{\bf{p}}_{{\bf{1}}\,\,\,}}\,{{\bf{p}}_{\bf{2}}}\,\,\,{{\bf{p}}_{\bf{3}}}} \right)\)and \({\bf{u}}\left( {\bf{t}} \right)\) is the column vector \(\left( {1,\,\,t,\,\,{t^2},\,{t^3}} \right)\) . In a uniform B-spline, each segment uses the same basis matrix \(\,{M_S}\), but the geometry matrix changes. Construct the basis matrix \(\,{M_S}\) for \({\bf{x}}\left( t \right)\).

Question: 29. Prove that the open ball \(B\left( {{\rm{p}},\delta } \right) = \left\{ {{\rm{x:}}\left\| {{\rm{x - p}}} \right\| < \delta } \right\}\)is a convex set. (Hint: Use the Triangle Inequality).

Question: 26. Let \({\rm{q}} = \left( \begin{array}{l}2\\3\end{array} \right)\), \({\rm{p}} = \left( \begin{array}{l}6\\1\end{array} \right)\). Find a hyperplane \(\left( {f:d} \right)\) that strictly separates \(B\left( {{\rm{q}},3} \right)\) and \(B\left( {{\rm{p}},1} \right)\).

Question: In Exercises 5-8, find the minimal representation of the polytope defined by the inequalities \(A{\bf{x}} \le {\bf{b}}\) and \({\bf{x}} \ge {\bf{0}}\).

5. \(A = \left( {\begin{array}{*{20}{c}}1&2\\3&1\end{array}} \right),{\rm{ }}{\bf{b}} = \left( {\begin{array}{*{20}{c}}{{\bf{10}}}\\{{\bf{15}}}\end{array}} \right)\)

Question: In Exercise 10, let Hbe the hyperplane through the listed points. (a) Find a vector n that is normal to the hyperplane. (b) Find a linear functional f and a real number d such that \(H = \left( {f:d} \right)\).

10. \(\left( {\begin{array}{*{20}{c}}1\\2\\0\\0\end{array}} \right),\left( {\begin{array}{*{20}{c}}2\\2\\{ - 1}\\{ - 3}\end{array}} \right),\left( {\begin{array}{*{20}{c}}1\\3\\2\\7\end{array}} \right),\left( {\begin{array}{*{20}{c}}3\\2\\{ - 1}\\{ - 1}\end{array}} \right)\)

See all solutions

Recommended explanations on Math Textbooks

View all explanations

What do you think about this solution?

We value your feedback to improve our textbook solutions.

Study anywhere. Anytime. Across all devices.

Sign-up for free