Scientific Data Visualization with Shape Preserving C 1 Rational Cubic Interpolation



Similar documents
(Refer Slide Time: 1:42)

We can display an object on a monitor screen in three different computer-model forms: Wireframe model Surface Model Solid model

Piecewise Cubic Splines

Computer Graphics. Geometric Modeling. Page 1. Copyright Gotsman, Elber, Barequet, Karni, Sheffer Computer Science - Technion. An Example.

Natural cubic splines

CHAPTER 1 Splines and B-splines an Introduction

4.3 Lagrange Approximation

Degree Reduction of Interval SB Curves

Geometric Modelling & Curves

A matrix method for degree-raising of B-spline curves *

FUZZY CLUSTERING ANALYSIS OF DATA MINING: APPLICATION TO AN ACCIDENT MINING SYSTEM

the points are called control points approximating curve

Corollary. (f є C n+1 [a,b]). Proof: This follows directly from the preceding theorem using the inequality

The Australian Journal of Mathematical Analysis and Applications

Computer Graphics CS 543 Lecture 12 (Part 1) Curves. Prof Emmanuel Agu. Computer Science Dept. Worcester Polytechnic Institute (WPI)

EECS 556 Image Processing W 09. Interpolation. Interpolation techniques B splines

MA 323 Geometric Modelling Course Notes: Day 02 Model Construction Problem

Mean Value Coordinates

CSE 167: Lecture 13: Bézier Curves. Jürgen P. Schulze, Ph.D. University of California, San Diego Fall Quarter 2011


INTERPOLATION. Interpolation is a process of finding a formula (often a polynomial) whose graph will pass through a given set of points (x, y).

Modeling Curves and Surfaces

OPTIMAL CONTROL OF A COMMERCIAL LOAN REPAYMENT PLAN. E.V. Grigorieva. E.N. Khailov

Figure 2.1: Center of mass of four points.

Linear Models and Conjoint Analysis with Nonlinear Spline Transformations

BEZIER CURVES AND SURFACES

Several Views of Support Vector Machines

AN INTRODUCTION TO NUMERICAL METHODS AND ANALYSIS

3. Interpolation. Closing the Gaps of Discretization... Beyond Polynomials

Zeros of Polynomial Functions

6 EXTENDING ALGEBRA. 6.0 Introduction. 6.1 The cubic equation. Objectives

MATH 132: CALCULUS II SYLLABUS

Essential Mathematics for Computer Graphics fast

Access Code: RVAE4-EGKVN Financial Aid Code: 6A9DB-DEE3B-74F

Common Core Unit Summary Grades 6 to 8

1 Cubic Hermite Spline Interpolation

November 16, Interpolation, Extrapolation & Polynomial Approximation

1 Review of Least Squares Solutions to Overdetermined Systems

Richardson Extrapolation Techniques for Pricing American-style Options

Roots of Polynomials

Rolle s Theorem. q( x) = 1

Linear Programming Notes V Problem Transformations

The degree of a polynomial function is equal to the highest exponent found on the independent variables.

SOLVING POLYNOMIAL EQUATIONS BY RADICALS

Factoring Cubic Polynomials

UNCORRECTED PAGE PROOFS

How To Use Design Mentor

Polynomials. Dr. philippe B. laval Kennesaw State University. April 3, 2005

Math Review. for the Quantitative Reasoning Measure of the GRE revised General Test

Pacific Journal of Mathematics

Estimating the Average Value of a Function

Increasing for all. Convex for all. ( ) Increasing for all (remember that the log function is only defined for ). ( ) Concave for all.

Overview of Data Fitting Component in Intel Math Kernel Library (Intel MKL) Intel Corporation

Math 0980 Chapter Objectives. Chapter 1: Introduction to Algebra: The Integers.

Discussion on the paper Hypotheses testing by convex optimization by A. Goldenschluger, A. Juditsky and A. Nemirovski.

Math 120 Final Exam Practice Problems, Form: A

b) since the remainder is 0 I need to factor the numerator. Synthetic division tells me this is true

Indiana State Core Curriculum Standards updated 2009 Algebra I

Study Guide 2 Solutions MATH 111

Integer roots of quadratic and cubic polynomials with integer coefficients

it is easy to see that α = a

Some Polynomial Theorems. John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA

PROPERTIES OF ELLIPTIC CURVES AND THEIR USE IN FACTORING LARGE NUMBERS

SQUARES AND SQUARE ROOTS

JUST THE MATHS UNIT NUMBER 1.8. ALGEBRA 8 (Polynomials) A.J.Hobson

DIEF, Department of Engineering Enzo Ferrari University of Modena e Reggio Emilia Italy Online Trajectory Planning for robotic systems

Planar Curve Intersection

Numerical Solution of Differential

A Geometric Characterization of Parametric Cubic Curves

Solutions to Homework 10

Algebra Unpacked Content For the new Common Core standards that will be effective in all North Carolina schools in the school year.

This unit will lay the groundwork for later units where the students will extend this knowledge to quadratic and exponential functions.

Year 9 set 1 Mathematics notes, to accompany the 9H book.

Curves and Surfaces. Goals. How do we draw surfaces? How do we specify a surface? How do we approximate a surface?

Thnkwell s Homeschool Precalculus Course Lesson Plan: 36 weeks

8 Polynomials Worksheet

Introduction to Computer Graphics Marie-Paule Cani & Estelle Duveau

Prentice Hall Algebra Correlated to: Colorado P-12 Academic Standards for High School Mathematics, Adopted 12/2009

The Heat Equation. Lectures INF2320 p. 1/88

A short introduction to splines in least squares regression analysis

Spline Toolbox Release Notes

Higher Education Math Placement

Method To Solve Linear, Polynomial, or Absolute Value Inequalities:

Entry Level College Mathematics: Algebra or Modeling

Mathematics Review for MS Finance Students

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Some Problems of Second-Order Rational Difference Equations with Quadratic Terms

Algebra I Credit Recovery

Computer Animation: Art, Science and Criticism

3. INNER PRODUCT SPACES

Manufacturing: The New Generation Aligned with Kansas Assessed Standards

ALGEBRA 2 CRA 2 REVIEW - Chapters 1-6 Answer Section

Finite Element Formulation for Plates - Handout 3 -

Lecture Notes to Accompany. Scientific Computing An Introductory Survey. by Michael T. Heath. Chapter 10

Algebra 2 Chapter 1 Vocabulary. identity - A statement that equates two equivalent expressions.

In mathematics, there are four attainment targets: using and applying mathematics; number and algebra; shape, space and measures, and handling data.

Precalculus REVERSE CORRELATION. Content Expectations for. Precalculus. Michigan CONTENT EXPECTATIONS FOR PRECALCULUS CHAPTER/LESSON TITLES

A Novel Fourier Transform B-spline Method for Option Pricing*

Limits and Continuity

Transcription:

EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 3, No. 2, 2010, 194-212 ISSN 1307-5543 www.ejpam.com Scientific Data Visualization with Shape Preserving C 1 Rational Cubic Interpolation Malik Zawwar Hussain 1, Muhammad Sarfraz 2, Maria Hussain 3 1 Department of Mathematics, University of the Punjab, Lahore, Pakistan 2 Department of Information Sciences, Adailiya Campus, Kuwait University, Kuwait 3 Lahore College for Women University, Lahore, Pakistan Abstract. This paper deals with the shape preserving C 1 rational cubic interpolation. The developed rational cubic interpolating function has only one free parameter. The approximation order of rational cubic function is investigated and range of optimal error constant is determined. Moreover, positive, constrained and monotone data preserving schemes are developed. 2000 Mathematics Subject Classifications: 68U05, 65D05, 65D07, 65D18. Key Words and Phrases: Rational cubic, Spline, Peano Kernel theorem, Interpolation, Visualization. 1. Introduction The development of interpolating and approximating techniques for shape control and shape preservation is a germane area of research in Computer Graphics and Data Visualization environment. The data are classified as positive, constrained, monotone and convex according to their shapes. Stability of radioactive substance and chemical reactions, solvability of solute in solvent, population statistics[3], resistance offered by an electric circuit, probability distribution[3] are a few examples of entities which are always positive. Monotonicity is applied in the specification of Digital to Analog Converters (DACs), Analog to Digital Converters (ADCs) and sensors. These devices are used in control system applications where non-monotonicity is unacceptable[9]. Erythrocyte sedimentation rate (E.S.R.) in cancer patients[9], uric acid level in patients suffering from gout[9], approximation of couples and quasi couples in statistics[2], data generated from stress of a material[9], rate of dissemination of drug in blood [2] are a few examples of entities which are always monotone. Corresponding author. Email addresses:ñ Ð Þ ÛÛ ÖÑ Ø ºÔÙº ÙºÔ (M. Z. Hussain),ÔÖÓ ºÑº Ö Ö Þ Ñ ÐºÓÑ(M. Sarfraz),Ñ Ö Ù Ò ½Ý ÓÓºÓÑ(M. Hussain) http://www.ejpam.com 194 c 2010 EJPAM All rights reserved.

M. Z. Hussain, M. Sarfraz, M. Hussain/Eur. J. Pure Appl. Math, 3 (2010), 194-212 195 In the past quite a few authors have worked in the area of shape preserving interpolation. The positivity preserving scheme, by Butt and Brodlie[3], preserved the shape of data by interval subdivision technique. In the interval, where the piecewise cubic interpolant lost the positive shape of data, the authors inserted an additional knot (increase in number of data points) in such a way that original shape of the data was preserved. Fahr and Kallay[5] used a monotone rational B-spline of degree one to preserve the shape of monotone data. Goodman et al[7] developed rational cubic interpolating schemes to preserve the shape of data lying on the either side of straight line. The first scheme scaled weights by some scale factors and the second scheme adopted the method of insertion of a new interpolation point. Goodman [8] surveyed the shape preserving interpolating schemes for planar data. Hussain and Sarfraz used four parameter family of rational cubic function to preserve the shape of positive and monotone data in[10] and[11] respectively. Lamberti and Manni[12] used cubic Hermite in parametric form to preserve the shape of data. The step length was used as shape preserving parameters. The first order derivatives at the knots were estimated imposing second derivative continuity at the knots, which resulted in tridiagonal system of equations. Sarfraz et al[13] addressed the problems of positive and monotone curve data interpolation using rational cubic function with two parameters. Sarfraz et al[14] developed a GC 1 cubic function with one free parameter to preserve the positive, monotone and convex data. Schmidt and Hess[15] developed sufficient conditions on derivatives at the knots to assure positivity of interpolating cubic polynomial. This paper presents shape preserving interpolating schemes for positive, constrained and monotone data. A one parameter family of rational cubic function has been developed to preserve the shape of the data. In different intervals, the free parameter adopts different value. That is, the interpolant has same structure but different functions in different intervals. The presented schemes are neither dependent on data nor on derivatives. Unlike the methodologies in[3, 7,12], the scheme developed in this paper does not constrain interval length. The developed scheme is equally applicable whether the data is with derivatives or the derivative is estimated by derivative estimation techniques[10-11]. The schemes presented in this paper use one parameter family of rational function to preserve the shape of data thus computationally less expansive than[10-11, 13]. The order of continuity achieved is C 1, whereas, in[14] it was GC 1. The remainder of the paper is organized as follows. In Section 2, the C 1 rational cubic interpolant with one free parameter is developed and Section 2.1 discusses its approximation properties. The visualization problems of positive, constrained, and monotone data interpolation are discussed in Sections 3, 4 and 5 respectively. Section 6 concludes the paper. 2. Rational Cubic Function In this Section, a C 1 rational cubic function with one parameter and linear denominator has been developed. Let{(x i, f i ), i= 0,1,2,...,n} be a given set of data points defined over the interval[a, b], where a= x 0 < x 1 < x 2 < < x n = b. The C 1 piecewise rational cubic function with one parameterα i is defined over each subinterval I i =[x i, x i+1 ], i=

M. Z. Hussain, M. Sarfraz, M. Hussain/Eur. J. Pure Appl. Math, 3 (2010), 194-212 196 0,1,2,...,n 1 as: where p i (θ) = S(x) S i (x)= p i(θ) q i (θ), (1) 3 (1 θ) 3 i θa i, i=0 A 0 = (α i + 1)f i, A 1 = (2α i + 3)f i + h i d i, A 2 = (α i + 3)f i+1 h i d i+1, A 3 = f i+1, q i (θ) = 1+α i (1 θ), h i = x i+1 x i,θ= (x x i) h i, S(x i )= f i, S(x i+1 )= f i+1, S (1) (x i )= d i, S (1) (x i+1 )= d i+1. (2) S (1) (x) denotes the derivative with respect to x and d i denotes derivative values estimated or given. It is noted that whenα i = 0, the piecewise rational cubic function (1) reduces to cubic Hermite spline. In this paper, the parameterα i can assume any positive real value. 2.1. Error Estimation of Interpolation In this Section, the error of interpolation is estimated when the function being interpolated is f(x) C 2 [x 0, x n ]. The interpolation scheme developed in Section 2 is local, which allows investigating the error in an arbitrary subinterval I i =[x i, x i+1 ] without loss of generality. Using Peano Kernel Theorem[16] the error of interpolation in each subinterval I i =[x i, x i+1 ] is: R[f]= f(x) S i (x)= 1 2 xi+1 x i f (2) (τ)r x [(x τ) + ]dτ. (3) It is assumed that the function being interpolated is f(x) C 2 [x 0, x n ]. The absolute error in I i =[x i, x i+1 ] is: where f(x) S i (x) 1 2 f(2) (τ) R x [(x τ) + ]= The integral involved in (4) is expressed as: xi+1 x i R x [(x τ) + ] dτ= xi+1 x i R x [(x τ) + ] dτ, (4) u(τ, x), xi <τ< x, v(τ, x), x<τ< x i+1. x x i u(τ, x) dτ+ xi+1 x, (5) v(τ, x) dτ. (6)

M. Z. Hussain, M. Sarfraz, M. Hussain/Eur. J. Pure Appl. Math, 3 (2010), 194-212 197 For the C 1 rational cubic function (1), u(τ, x) and v(τ, x) have the values u(τ, x) = (x τ) θ 2 v(τ, x) = θ 2 q i (θ) [(1 θ){(α i+ 3)(x i+1 τ) h i }+θ(x i+1 τ)], (7) q i (θ) [(1 θ){(α i+ 3)(x i+1 τ) h i }+θ(x i+1 τ)]. (8) The roots of u(x, x) and v(x, x) in[0,1] areθ= 0 andθ= 1. The root of u(τ, x)=0 isτ 1 = x h iθ 2 (α i +2) (α i +1)+θ(α i +2). The root of v(τ, x)= 0 isτ 2 = x i+1 h i (1 θ) 1+(α i +2)(1 θ). The above discussion leads to the following manipulation: f(x) S i (x) 1 2 f(2) (τ) h 2 i ω(α i,θ), ω(α i,θ) = = x x i u(τ, x) dτ+ τ1 x i u(τ, x)dτ xi+1 x x v(τ, x) dτ τ 1 u(τ, x)dτ τ2 x v(τ, x)dτ+ xi+1 τ 2 v(τ, x)dτ = θ 2 { θ 2 (α i + 2) 2 q i (θ)+(α i + 1) 2 (1+θ) 2 ((α i + 3) θ(α i + 2))} q i (θ){1+α i +θ(α i + 2)} 2 + 2θ 2 (1 θ) 2 q i (θ) The above discussion is summarized as follows: 2θ 4 (1 θ)(α i + 2) q i (θ){1+α i +θ(α i + 2)} + θ 2 (1 θ) 2 q i (θ){1+(α i + 2)(1 θ)}. Theorem 1. The error of C 1 rational cubic function (1), for f(x) C 2 [x 0, x n ], in each subinterval I i =[x i, x i+1 ] is f(x) S i (x) 1 2 f(2) (τ) h 2 i c i, (9) where c i is the maximum value ofω(α i,θ) for 0 θ 1 andα i 0. Theorem 2. For any given positive parameterα i, the error optimal constant c i in Theorem 1 are bounded with 0 c i 0.2685. 3. Positivity Preserving Interpolation This section provides sufficient conditions on parameters for positive interpolation of curve data. Let{(x i, f i ), i= 0,1,2,..., n} be the positive data defined over the interval[a, b]. The necessary condition for the positivity of data is f i > 0, i= 0,1,2,...,n 1. (10)

M. Z. Hussain, M. Sarfraz, M. Hussain/Eur. J. Pure Appl. Math, 3 (2010), 194-212 198 The piecewise rational cubic function (1) preserves positivity if Now, S i (x)>0 if But, q i (θ) if S i (x)> 0, i= 0,1,2,...,n 1. p i (θ)>0 and q i (θ). α i > 0. Using the result developed by Schmidt and Hess in[15], the cubic polynomial p i (θ)>0 if (p i (0), p i (1)) R 1UR 2, where R 1 = (a, b) : a> 3f i, b< 3f i+1, h i h i R 2 = {(a, b) : 36f i f i+1 (a 2 + b 2 + ab 3 i (a+ b)+3 2 i )+4h i(a 3 f i+1 b 3 f i ) +3(a f i+1 b f i )(2h i ab 3a f i+1 + 3b f i ) h 2 i a2 b 2 0}. For the rational cubic function (1), we have (p i (0), p i (1)) R 1 if and p i (0)= α i f i + h i d i h i and p i (1)= α i f i+1 + h i d i+1 h i. α i f i + h i d i The inequality (11) leads to the following relation: h i > 3f i h i, (11) α i f i+1 + h i d i+1 h i < 3f i+1 h i. (12) α i < h id i f i + 3. (13) The inequality (12) imposes the following restriction on the free parameterα i : Further(p i (0), p i (1)) R 2 if α i > h id i+1 f i+1 3. (14) φ(α i ) = 36f i f i+1 [φ 2 1 (α i)+φ 2 2 (α i)+φ 1 (α i )φ 2 (α i ) 3 i (φ 1 (α i )+φ 2 (α i ))+3 2 i ] +3[f i+1 φ 1 (α i ) f i φ 2 (α i )][2h i φ 1 (α i )φ 2 (α i ) 3f i+1 φ 1 (α i )+3f i φ 2 (α i )] +4h i [f i+1 φ 3 1 (α i) f i φ 3 2 (α i)] h 2 i φ2 1 (α i)φ 2 2 (α i)>0, (15) withφ 1 (α i )= p i (0) andφ 2(α i )= p i (1). The C1 rational cubic function is positive if either (13)-(14) or (15) are satisfied, but (13)-(14) involves less computation hence more suitable for practical applications. This discussion can be summarized as:

M. Z. Hussain, M. Sarfraz, M. Hussain/Eur. J. Pure Appl. Math, 3 (2010), 194-212 199 Theorem 3. The piecewise C 1 rational cubic interpolant S(x), defined over the interval[a, b], in (1), is positive if in each subinterval I i =[x i, x i+1 ] the following sufficient conditions are satisfied: Con 1 <α i < Con 2, where Con 1 = Max The above constraints can be rearranged as: where k i > 0 and l i > 0. 0, h id i+1 3 and Con 2 = h id i + 3. f i+1 f i Con 1 + k i =α i = Con 2 l i, Thus we have the following algorithm for the manipulation of positive curve design. Algorithm 1 Step 1. Enter the(n+1) positive data points{(x i, f i ) : i= 0,1,2,...,n}. Step 2. Estimate the first order derivatives d i, i= 0,1,2,..., n at knots. (Note: The step 2 is only applicable if data is not provided with derivatives). Step 3. Calculate the value of free parameterα i using Theorem 3. Step 4. Substitute the Ì Ð ½ ÔÓ Ø Ú Ø Ø Ò ÖÓÑ º values of f i, d i, i=0,1,2,...,n andα i, i= 0,1,2,...,n 1 in rational cubic function (1) to obtain positive curve through positive data. 3.1. Demonstration Example 1. A positive data set in Table 1 is taken from[6]. The Figure 1 is produced from x 0.5 0.6 0.7 0.8 0.9 1.0 1.1 f 0.4804 0.5669 0.7262 0.1 7985 0.8658 0.9281 Ì Ð ¾ ÒÓØ ÖÔÓ Ø Ú Ø Ø Ò ÖÓÑ º the data set in Table 1 using the cubic Hermite spline interpolation technique which loses the positive shape of data. The positive curve in Figure 2 is produced by using positive curve data interpolation scheme developed in Section 3. Example 2. The positive data set in Table 2 is taken from[6]. The Figure 3 is produced from the x 0.0 0.05 0.10 0.15 0.20 f 0.302 0.278 0.10 0.268 0.298

M. Z. Hussain, M. Sarfraz, M. Hussain/Eur. J. Pure Appl. Math, 3 (2010), 194-212 200 data set in Table 2 using the cubic Hermite spline interpolation technique which looses the positive shape of data. Positive curve is produced in Figure 4 using positive curve data interpolation scheme developed in Section 3.

M. Z. Hussain, M. Sarfraz, M. Hussain/Eur. J. Pure Appl. Math, 3 (2010), 194-212 201 8000 7000 6000 5000 4000 3000 ÙÖ ½ Ù À ÖÑ Ø ÔÐ Ò º 2000 1000 0 1000 0.5 0.6 0.7 0.8 0.9 1 1.1 1.2 1.3 8000 7000 6000 5000 4000 3000 2000 1000 1Ö Ø ÓÒ ÐÙ ÙÒØ ÓÒº 0 0.5 0.6 0.7 0.8 0.9 1 1.1 1.2 1.3 ÙÖ ¾ ÈÓ Ø Ú C

M. Z. Hussain, M. Sarfraz, M. Hussain/Eur. J. Pure Appl. Math, 3 (2010), 194-212 202 3 2.5 2 1.5 1 ÙÖ Ù À ÖÑ Ø ÔÐ Ò º 0.5 0 0.5 0 0.05 0.1 0.15 0.2 0.25 3 2.5 2 1.5 1Ö Ø ÓÒ ÐÙ ÙÒØ ÓÒº 1 0.5 0 0 0.05 0.1 0.15 0.2 0.25 ÙÖ ÈÓ Ø Ú C

M. Z. Hussain, M. Sarfraz, M. Hussain/Eur. J. Pure Appl. Math, 3 (2010), 194-212 203 4. Constrained Data Interpolation Let{(x i, f i ), i= 0,1,2,...,n} be the given set of data points lying above the straight line y= mx+ c i.e. f i > mx i + c, i= 0,1,2,..., n. (16) The curve will lie above the straight line if the C 1 rational cubic function (1) satisfies the following condition: S(x)> mx+ c, x [x 0, x n ]. For each subinterval I i =[x i, x i+1 ], the above relation in parametric form is expressed as S i (x)> a i (1 θ)+ b i θ, (17) whereθ= x x i h i and a i (1 θ)+b i θ is the parametric equation of straight line with a i = mx i +c and b i = mx i+1 + c. The rearrangement of (17) leads to the following relation: where U i (θ)= 3 (1 θ) 3 i θ i B i, (18) i=0 B 0 = (α i + 1)(f i a i ), B 1 = α i (2f i a i b i )+3f i 2a i b i + h i d i, B 2 = (α i + 2)(f i+1 b i )+ f i+1 h i d i+1 a i, B 3 = f i+1 b i. Now, U i (θ)>0 if B i > 0, i= 0,1,2,3. It is straightforward to know that B 0 > 0 and B 3 > 0 are true from the necessary condition defined in (16) andα i > 0. B 1 > 0 provides the following constraints onα i : If 2f i a i b i > 0 thenα i > f i+b i h i d i. Similarly, if 2f 2f i a i b i a i b i < 0 thenα i < f i+b i h i d i. i 2f i a i b i One can also note that B 2 > 0 ifα i > f i+1+h i d i+1 +a i. f i+1 b i The above discussion can be summarized as: Theorem 4. The piecewise C 1 rational cubic interpolant S(x), defined over the interval[a, b], in (1), preserves the shape of data that lies above the straight line if in each subinterval I i = [x i, x i+1 ] the following sufficient conditions are satisfied: Con 3 < α i < Con 4, Con 3 = Max 0, f i+b i h i d i, f i+1+ h i d i+1 + a i, 2f i a i b i f i+1 b i Con 4 = f i+b i h i d i 2f i a i b i.

M. Z. Hussain, M. Sarfraz, M. Hussain/Eur. J. Pure Appl. Math, 3 (2010), 194-212 204 The above constraints can be rearranged as: where m i > 0 and n i > 0. Con 3 + m i =α i = Con 4 n i, Thus we have the following algorithm for the manipulation of curve design. Algorithm 2 Step 1. Enter the(n+1) positive data points{(x i, f i ) : i= 0,1,2,...,n}. Step 2. Estimate the first order derivatives d i, i= 0,1,2,..., n at knots. (Note: The step 2 is only applicable if data is not provided with derivatives). Step 3. Calculate the value of free parameterα i using Theorem 4. Step 4. Substitute the values of f i, d i, i= 0,1,2,...,n andα i, i= 0,1,2,...,n 1 in rational cubic function (1) to obtain Ì Ð the curve lying above the straight line. 4.1. Demonstration Example 3. The data set in Table 3 is lying above the straight line y= x + 1 and is taken from 2 [1] with slight modification. The Figure 5 is produced from the data set in Table 3 using cubic x 0 2 3 5 6 8 11 12 14 15 f 6.5 6.5 6.5 6.5 6.5 6.5 16 50 60 85 1º Hermite spline. It is clear from the Figure 5 that some part of the curve is lying below the line y= x + 1. This flaw is recovered nicely in Figure 6 using constrained data interpolation scheme 2 developed in Section 4. It is clear from Figure 6 shape of the data is recovered. Example 4. The data set[10] in Table 4 is lying above the straight line y= x + 1. Figure 7 2 + 2 Ì Ð Ì Ø ØÐÝ Ò ÓÚ Ø ØÖ ØÐ Ò y= x x 2 3 7 8 10 13 14 f 12 4.5 6.5 10 6.3 12 18 is produced from the data set in Table 4 using cubic Hermite spline. It is clear from Figure 7 that cubic Hermite spline loses the shape of data. Figure 8 is produced from the same data set using constrained curve data interpolation scheme developed in Section 4. It is clear from the Figure 8 that curve is lying above the straight line y= x 2 + 1.

M. Z. Hussain, M. Sarfraz, M. Hussain/Eur. J. Pure Appl. Math, 3 (2010), 194-212 205 90 80 70 60 50 40 ÙÖ Ù À ÖÑ Ø ÔÐ Ò º 30 20 10 0 0 2 4 6 8 10 12 14 16 90 80 70 60 50 40 1Ö Ø ÓÒ ÐÙ ÙÒØ ÓÒº 30 20 10 0 0 2 4 6 8 10 12 14 16 ÙÖ ÓÒ ØÖ Ò C

M. Z. Hussain, M. Sarfraz, M. Hussain/Eur. J. Pure Appl. Math, 3 (2010), 194-212 206 20 18 16 14 12 10 ÙÖ Ù À ÖÑ Ø ÔÐ Ò º 8 6 4 2 2 4 6 8 10 12 14 16 20 18 16 14 12 10 1Ö Ø ÓÒ ÐÙ ÙÒØ ÓÒº 8 6 4 2 2 4 6 8 10 12 14 16 ÙÖ ÓÒ ØÖ Ò C

M. Z. Hussain, M. Sarfraz, M. Hussain/Eur. J. Pure Appl. Math, 3 (2010), 194-212 207 5. Monotonicity Preserving Interpolation Let{(x i, f i ), i= 0,1,2,...,n} be the monotone data defined over the interval[a, b] such that i = f i+1 f i h i >, d i > 0, i= 0,1,2,..., n 1. (19) The piecewise rational cubic function (1) preserves monotonicity if S (1) (x)>0, i= 0,1,2,..., n 1, where S (1) (x)= i 3 i=0 (1 θ)3 i θ i C i (q i (θ)) 2, (20) C 0 = (α i + 1)d i, C 1 = (α i + 1){(2α i + 6) i 2d i+1 d i }, C 2 = (4α i + 6) i d i+1 2d i, C 3 = d i+1. From (20), S (1) (x) if C i i > 0, i= 0,1,2,3. We know that C 0 > 0 and C 3 > 0 are always true from the necessary condition of monotonicity defined in (19) andα i > 0. One can see that C 1 > 0 if α i > Max 0, 2d i+1+d i. 2 i Similarly, C 2 > 0 if The above can be summarized as: α i > Max 0, d i+1+ 2d i. 4 i Theorem 5. The piecewise C 1 rational cubic interpolant S(x), defined over the interval[a, b], in (1), is monotone if in each subinterval I i =[x i, x i+1 ] the following sufficient conditions are satisfied: α i > Max 0, 2d i+1+d i d i+1 + 2d i,. 2 i 4 i The above constraints can be rearranged as: α i = m i + Max 0, 2d i+1+d i d i+1 + 2d i,, m i > 0. 2 i 4 i Thus we have the following algorithm for the manipulation of curve design.

M. Z. Hussain, M. Sarfraz, M. Hussain/Eur. J. Pure Appl. Math, 3 (2010), 194-212 208 Algorithm 3 Step 1. Enter the(n+1) points{(x i, f i ) : i= 0,1,2,...,n}. Step 2. Estimate the first order derivatives d i, i= 0,1,2,...,n at knots. (Note: The step 2 is only applicable if data is not provided with derivatives). Step 3. Calculate the value of free parameterα i using Theorem 5. Step 4. If i > 0 then d i = 0 S(x) S i (x)= f i else S(x) S i (x)= p i(θ) q i Ì Ð ÑÓÒÓØÓÒ Ø Øº (θ) end 5.1. Demonstration x 4.0 6.0 7.0 f 3.9 4.2 5.7 Ì Ð ÑÓÒÓØÓÒ Ø Øº Example 5. A monotone data set is taken in Table 5. Non-monotone curve in Figure 9 is produced from the monotone data set taken in Table 5 using cubic Hermite spline. The monotone curve (from the same data set) is produced in Figure 10 using monotonicity preserving scheme developed in Section 5. x 1710 2650 2760 f 500 1360 2940 Example 6. A monotone data set is taken in Table 6. The Figure 11 is produced from the monotone data set taken in Table 6 using cubic Hermite spline which loses the monotone shape of data. Monotone curve in Figure 12 is produced using the monotonicity preserving scheme developed in Section 5.

M. Z. Hussain, M. Sarfraz, M. Hussain/Eur. J. Pure Appl. Math, 3 (2010), 194-212 209 6 5.5 5 4.5 ÙÖ Ù À ÖÑ Ø ÔÐ Ò º 4 3.5 4 4.5 5 5.5 6 6.5 7 7.5 6 5.5 5 4.5 1Ö Ø ÓÒ ÐÙ ÙÒØ ÓÒº 4 3.5 4 4.5 5 5.5 6 6.5 7 7.5 ÙÖ ½¼ ÅÓÒÓØÓÒ C

M. Z. Hussain, M. Sarfraz, M. Hussain/Eur. J. Pure Appl. Math, 3 (2010), 194-212 210 3000 2000 1000 0 1000 ÙÖ ½½ Ù À ÖÑ Ø ÔÐ Ò º 2000 3000 4000 1600 1800 2000 2200 2400 2600 2800 3000 2500 2000 1500 1Ö Ø ÓÒ ÐÙ ÙÒØ ÓÒº 1000 500 1600 1800 2000 2200 2400 2600 2800 ÙÖ ½¾ ÅÓÒÓØÓÒ C

REFERENCES 211 6. Conclusion The work in this paper is concerned to the development of shape preserving interpolating schemes. The developed schemes have the following advantageous features over the existing schemes. These are equally worthy for data with and without derivatives, whereas, authors in[15] had to constrain derivatives at knots to preserve the shape of positive data. The developed schemers are based on automated selection of free parameters thus do not require the modification of data. But, the authors in[3, 7, 12] constrained the interval length to preserve the shape of data. In[13] and[10-11], rational functions with two and four family of free parameters were used to preserve the shape of data hence computationally expansive than shape preserving schemes developed in this paper. The order of continuity attained in [14] was GC 1, whereas, in this paper it is C 1. References [1] Akima, H., A new method of interpolation and smooth curve fitting based on local procedures, Journal of the Association for Computing Machinery, 17, (1970), 589-602. [2] Beliakov, G., Monotonicity preserving approximation of multivariate scattered data, BIT, 45(4), (2005), 653-677. [3] Butt, S. and Brodlie, K. W., Preserving positivity using piecewise cubic interpolation, Computers and Graphics, 17(1), (1993), 55-64. [4] Duan, Q., Zhang, H., Zhang, Y. and Twizell, E. H., Error estimation of a kind of rational spline, Journal of Computational and Applied Mathematics, 200(1), (2007), 1-11. [5] Fahr, R. D. and Kallay, M., Monotone linear rational spline interpolation, Computer Aided Geometric Design, 9, (1992), 313-319. [6] Gerald, C. F. and Wheatley, P. O., Applied Numerical Analysis, 7th Edition, Addison Wesley Publishing Company, (2003). [7] Goodman, T. N. T., Ong, B. H. and Unsworth, K., Constrained interpolation using rational cubic splines, Proceedings of NURBS for Curve and Surface Design, G. Farin (eds), (1991), 59-74. [8] Goodman, T. N. T., Shape preserving interpolation by curves, Proceeding of Algorithms for Approximation IV, J. Levesley, I. J. Anderson and J. C. Mason(eds.), University of Huddersfeld, (2002), 24-35. [9] Hussain, M. Z. and Hussain, M., Visualization of data preserving monotonicity, Applied Mathematics and Computation, 190, (2007), 1353-1364. [10] Hussain, M. Z. and Sarfraz, M., Positivity-preserving interpolation of positive data by rational cubics, Journal of Computational and Applied Mathematics, 218(2), (2008), 446-458.

REFERENCES 212 [11] Hussain, M. Z. and Sarfraz, M., Monotone piecewise rational cubic interpolation, To be appeared in International Journal of Computer Mathematics, 86, (2009). [12] Lamberti, P. and Manni, C., Shape-preserving functional interpolation via parametric cubics, Numerical Algorithms, 28, (2001), 229-254. [13] Sarfraz, M., Butt, S. and Hussain, M. Z., Visualization of shaped data by a rational cubic spline interpolation, Computers and Graphics, 25(5), (2001), 833-845. [14] Sarfraz, M., Hussain, M. Z. and Chaudhry, F. S., Shape preserving cubic spline for data visualization, Computer Graphics and CAD/CAM, 01, (2005), 189-193. [15] Schmidt, J. W. and Hess, W., Positivity of cubic polynomial on intervals and positive spline interpolation, BIT, 28, (1988), 340-352. [16] Schultz, M. H., Spline Analysis, Prentice-Hall, Englewood Cliffs, New Jersey, (1973).