On the Optimality of Piecewise Linear Max-norm Enclosures based on Slefes

Subdividable linear efficient function enclosures (Slefes) provide, at low cost, a piecewise linear pair of upper and lower bounds f + , f − , that sandwich a function f on a given interval: f + � ff − . In practice, these bounds are observed to be very tight. This paper addresses the question just how close to optimal, in the max-norm, the slefe construction actually is. Specifically, we compare the width f + f − of the slefe to the narrowest possible piecewise linear enclosure of f when f is a univariate cubic polynomial.

[1]  Xiuzi Ye,et al.  Robust interval algorithm for surface intersections , 1997, Comput. Aided Des..

[2]  Jörg Peters,et al.  Optimized refinable enclosures of multivariate polynomial pieces , 2001, Comput. Aided Geom. Des..

[3]  Nicholas M. Patrikalakis,et al.  Approximation of measured data with interval B-splines , 1997, Comput. Aided Des..

[4]  A. Pinkus On L1-Approximation , 1989 .

[5]  Rida T. Farouki,et al.  Approximation by interval Bezier curves , 1992, IEEE Computer Graphics and Applications.

[6]  Hans-Peter Seidel,et al.  Ray Tracing of Subdivision Surfaces , 1998, Rendering Techniques.

[7]  Nicholas M. Patrikalakis,et al.  Robust interval algorithm for curve intersections , 1996, Comput. Aided Des..

[8]  Gerald E. Farin,et al.  Tighter convex hulls for rational Bézier curves , 1993, Comput. Aided Geom. Des..

[9]  Nicholas M. Patrikalakis,et al.  Robust interval solid modelling Part II: boundary evaluation , 1996, Comput. Aided Des..

[10]  Jörg Peters,et al.  Sharp, quantitative bounds on the distance between a polynomial piece and its Bézier control polygon , 1999, Comput. Aided Geom. Des..

[11]  Nicholas M. Patrikalakis,et al.  Robust interval solid modelling Part I: representations , 1996, Comput. Aided Des..

[12]  Jörg Peters,et al.  Envelopes of nonlinear geometry , 2000 .

[13]  Ulrich Reif Best bounds on the approximation of polynomials and splines by their control structure , 2000, Comput. Aided Geom. Des..

[14]  A. Pinkus On L[1]-approximation , 1991 .