Variation diminishing property, its meaning and its consequences through Bernstein polynomials in Bezier curves?

shivajikobardan

Junior Member
Joined
Nov 1, 2021
Messages
120
No plane has more intersections with the Bezier curve than with its characteristic polygon. This means that the bezier curve never oscillates beyond the polygon and preserves its principal feature of the shape.
Computational Geometry for Ships textbook.
Context:

I am studying Bezier curves in computer graphics.
I assume this topic is extremely complicated stuff and highly advanced stuff. That is well beyond my current level of knowledge and degree capability.
However, I am not trying to prove it or something.
I simply want to understand it.
I have titled my question pretty clearly(I believe so).
I hope to get some responses.
 
There is nothing better than to explain the answer to your question with a simple example.

Say we have two segment of control polygon formed by the three points \(\displaystyle (0,0),(1,2),(2,0)\).

And we have a Bezier curve defined by:

\(\displaystyle \bold{B}(t) = (2t, 4t(1-t)), \ \ \ \ \ t \in [0,1]\)

Suppose we have a line \(\displaystyle y = 1\) and we want to see how many times the control polygon crosses it and how how many times the Bezier curve crosses it.

If you analyze this problem carefully, you will find out that the control polygon crosses \(\displaystyle (y = 1) \ \bold{2}\) times while the Bezier curve \(\displaystyle \bold{1}\) time.

Let us see if this goes with the variation diminishing property.

\(\displaystyle \#(\text{Curve} \cap L) \leq \#(\text{Control Polygon} \cap L)\)

\(\displaystyle \textcolor{red}{\bold{1}} \leq \textcolor{red}{\bold{2}}\)

So this confirms the property. In other words, the Bezier curve does not intersect any straight line more than the control polygon does.

How does this help us? \(\displaystyle \rightarrow\) What are the consequences of this result?

\(\displaystyle \bold{1.}\) The Bezier curve is smoother than the control polygon.
\(\displaystyle \bold{2.}\) Bezier curves do not introduce extra oscillations
\(\displaystyle \bold{3.}\) Useful in curve fitting and approximation
\(\displaystyle \bold{4.}\) Simplifies geometric reasoning
\(\displaystyle \bold{5.}\) Supports recursive subdivision (de Casteljau’s algorithm)
And more\(\displaystyle \cdots\)

What about Bernstein polynomials?

Well the curve \(\displaystyle \bold{B}(t) = (2t, 4t(1-t))\) was defined by:

\(\displaystyle \bold{B}(t) = \sum_{i=0}^{2}\bold{P}_iB_i^2(t)\)

where \(\displaystyle \bold{P}_i\) are the control points and \(\displaystyle B_i^2(t) = \binom{2}{i} (1 - t)^{2 - i} t^i\) is the Bernstein Basis Polynomials.

What is their purpose?

The Bezier curve preserves its properties of smoothness, stability, and geometric control because it is defined using these Bernstein polynomials as basis functions.
 
I used Bézier curves, and splines in general, for practical purposes on multiple occasions, but I never heard of this "variation diminishing property". My quick online search did not produce anything clear enough for me. The Wikipedia page on the subject "needs expansion" since 2012.

My impression is that there exists somewhere a formal and provable equivalent of this Wikipedia summary: "The variation diminishing property of Bézier curves is that they are smoother than the polygon formed by their control points", but I could not find one. More importantly, I don't think it is not crucial for understanding Bezier curves.
 
Top