Barycentric coordinates for Lagrange interpolation over lattices on a ...

4 downloads 0 Views 2MB Size Report
Dec 21, 2007 - Abstract. In this paper, a (d + 1)-pencil lattice on a simplex in Rd is studied. The lattice points are explicitly given in barycentric coordinates.
Barycentric coordinates for Lagrange interpolation over lattices on a simplex Gaˇsper Jakliˇc ([email protected]), Jernej Kozak ([email protected]), Marjeta Krajnc ([email protected]), Vito Vitrih ([email protected]), ˇ Emil Zagar ([email protected]) FMF and IMFM, University of Ljubljana and PINT, University of Primorska December 21, 2007 Abstract. In this paper, a (d + 1)-pencil lattice on a simplex in Rd is studied. The lattice points are explicitly given in barycentric coordinates. This enables the construction and the efficient evaluation of the Lagrange interpolating polynomial over a lattice on a simplex. Also, the barycentric representation, based on shape parameters, turns out to be appropriate for the lattice extension from a simplex to a simplicial partition. Keywords: Lattice, Barycentric coordinates, Simplex, Interpolation. AMS subject classification: 41A05, 41A63, 65D05.

1. Introduction The approximation of multivariate functions by the polynomial interpolation is one of the fundamental approaches in multivariate approximation theory. Among crucial steps in this process, one is particularly important, namely a selection of interpolation points. It is well known that the existence and the uniqueness of the Lagrange interpolant in Πdn (d > 1), the space of polynomials in d variables of total degree ≤ n, heavily depends on the geometry of the interpolation points. This fact makes interpolation in several variables much more complicated than the univariate one. Although a simple algebraic characterization states that a set of interpolation points is correct in Πdn if and only if they do not lie on an algebraic hypersurface of degree ≤ n, it is useless in practical computations, since in general it can not be checked in the floating point arithmetic. Thus a considerable research has been focused on finding configurations of points which guarantee the existence and the uniqueness of the Lagrange interpolant. Perhaps the most frequently used configurations of this type are lattices which satisfy the well-known GC (geometric characterization) condition (see [2]). They have a nice geometric background, since they c 2007 Kluwer Academic Publishers. Printed in the Netherlands.

Cancun-revision1-last.tex; 21/12/2007; 8:43; p.1

2

ˇ G. Jakliˇ c, J. Kozak, M. Krajnc, V. Vitrih, E. Zagar

are constructed as intersections of hyperplanes. Furthermore, they provide an easy way to construct the Lagrange basis polynomials as products of linear factors. Among several known classes of lattices ([1], [3]), principal lattices ([2]), and their generalization, (d + 1)-pencil lattices ([6]) are the most important. The first step in multivariate Lagrange interpolation in Rd is usually a construction of interpolation points on a simplex, a corner stone of the d dimensional Euclidean space. This leads to a natural generalization, lattices over triangulations, or more generally, over simplicial partitions. Two main questions arise: what are explicit coordinates of lattice points and how should such lattices be put together to ensure at least continuity over common faces of simplices. In this paper we use a straightforward approach to answer the first question. We provide a closed form formula for lattice points on a simplex in barycentric coordinates. The novel representation, based on control points, provides shape parameters of the lattice with a clear geometric interpretation. Furthermore, the corresponding Lagrange interpolating polynomial is derived. Since the Lagrange basis polynomials are products of linear factors, some simplifications are done in order to decrease the amount of work needed. This representation of lattices is useful in many practical applications, such as an explicit interpolation of multivariate functions, in particular, approximation of functionals defined on a simplex (numerical methods for multidimensional integrals, e.g.), finite elements methods in solving partial differential equations . . . . On the other hand, we provide fundamental tools for the construction of continuous splines over simplicial partitions, the problem which has already been observed in [4] but only for triangulations. The paper is organized as follows. In the next section a novel definition of a lattice, based on control points, is given and the barycentric coordinates of lattice points are derived. In Section 3 the Lagrange interpolation polynomial is presented, and in the last section an example is given to conclude the paper.

2. Barycentric form of a (d + 1) 1)-pencil lattice in Rd In [6] an explicit representation of a (d + 1)-pencil lattice of order n on a d-simplex was provided. This approach heavily depends on homogeneous coordinates, and a nice illustrative explanation can be found in [7], where the cases perhaps most often met in practice, i.e., d = 2 and d = 3, are outlined. Here our goal is an explicit representation in barycentric coordinates using a novel approach, since this enables a

Cancun-revision1-last.tex; 21/12/2007; 8:43; p.2

3

Lattices on a simplex

natural extension from a simplex to a simplicial partition (see [4] for the case d = 2). A simplex in Rd is a convex hull of d + 1 vertices T i , i = 0, 1, . . . , d. Since for our purposes the ordering of the vertices of the simplex will be important, the notation △ := h T 0 , T 1 , . . . , T d i, which defines a simplex with a prescribed order of the vertices T i , will be used. The standard simplex of vertices Ti =

(δi,j )dj=1 ,

i = 0, 1, . . . , d,

δi,j :=



1, i = j, 0, i = 6 j,

will be denoted by △d .  A (d + 1)-pencil lattice of order n on △ is a set of n+d points, d generated by particular d + 1 pencils of n + 1 hyperplanes, such that each lattice point is an intersection of d + 1 hyperplanes, one from each pencil. Furthermore, each pencil intersects at a center C i ⊂ Rd , i = 0, 1, . . . , d, a plane of codimension two. The lattice is actually based upon affinely

P2

C1 P1 T3

C2

T2 T0

P3

C0

T1 C3

P0

Figure 1. A 3-simplex h T 0 , T 1 , T 2 , T 3 i in R3 , lattice control points P i and centers C i.

independent control points P 0, P 1, . . . , P d,

P i ∈ Rd ,

Cancun-revision1-last.tex; 21/12/2007; 8:43; p.3

4

ˇ G. Jakliˇ c, J. Kozak, M. Krajnc, V. Vitrih, E. Zagar

where P i lies on the line through T i and T i+1 outside of the segment T i T i+1 (Fig. 1). The center C i is then uniquely determined by a sequence of control points (1)

P i , P i+1 , . . . , P i+d−2 , where P i+1 , P i+2 , . . . , P i+d−2 } ⊆ C i ∩ C i+1 . {P

Here and throughout the paper, indices of points, centers, lattice parameters, etc., are assumed to be taken modulo d + 1. Thus with the given control points, the lattice on a simplex is determined. Quite clearly, the geometric construction of the lattice assures C i ∩ △ = ∅, i = 0, . . . , d, and also that each C i is lying in a supporting hyperplane of a facet h T i , T i+1 , . . . , T i+d−1 i of △ (Fig. 2). T3

T3

T2

T2 T1

T0

T1

T0

Figure 2. The 4-pencil lattices of order n = 2, 3 on a simplex △ and the intersections of hyperplanes through the centers of the lattice with facets of △.

Let γ = (γ1 , . . . , γd ), γi ∈ N0 , denote an index vector and let d X

γ | := |γ

γi ,

[j]α :=

i=1

  1 − αj  1−α

j,

,

α 6= 1,

j ∈ N0 .

α = 1,

A (d + 1)-pencil lattice of order n on the standard simplex △d , as introduced in [6], is given by free parameters α>0

and β := (β0 , β1 , . . . , βd ) , βi > 0, i = 0, . . . , d.

Control points P i = P i (α, β ) of the lattice on △d are determined as  

P0 = 





β1  , 0, 0, . . . , 0 , {z } | β1 − β0

 |

d−1

βi+1 βi  , , 0, 0, . . . , 0 , i = 1, . . . , d − 1, } βi − βi+1 βi+1 − βi | {z }

P i = 0, 0, . . . , 0, {z

i−1



d−1−i

Cancun-revision1-last.tex; 21/12/2007; 8:43; p.4

5

Lattices on a simplex



 |



βd  . } βd − αn β0

P d = 0, 0, . . . , 0, {z

d−1

(2)

If βi+1 = βi for some 0 ≤ i ≤ d (and α = 1 if i = d), then the control point P i is at the ideal line and the hyperplanes in the corresponding pencil are parallel. Further, lattice points are given as 

where



Qγ (α, β ) =

and



|γ |≤n



:= Q γ (α, β )



|γ |≤n

,

1  β1 α|γ |−γ1 [γ1 ]α , β2 α|γ |−γ1 −γ2 [γ2 ]α , D  β3 α|γ |−γ1 −γ2 −γ3 [γ3 ]α , . . . , βd α0 [γd ]α ,

(3)

γ |]α + β1 α|γ |−γ1 [γ1 ]α + · · · + βd α0 [γd ]α . D = β0 α|γ | [n − |γ Since the points P i , T i and T i+1 are collinear, the barycentric coordinates P i,△ of P i w.r.t. △ are particularly simple,  



1 ξi  ,− , 0, 0, . . . , 0 , i = 0, 1, . . . , d − 1, } 1 − ξi 1 − ξi | {z }

P i,△ = 0, 0, . . . , 0,  

{z

|

i

P d,△ = −

where



d−1−i

1  ξd , 0, 0, . . . , 0, , 1 − ξd | {z } 1 − ξd

(4)

d−1

ξ = (ξ0 , ξ1 , . . . , ξd ) are new free parameters of the lattice. Note that ξi > 0, since P i is not on the line segment T i T i+1 , and that a special form of barycentric coordinates is used in order to cover also the cases of parallel hyperplanes (ξi = 1). We are now able to give the relations between parameters β and ξ . Theorem 1. Let △ ⊂ Rd be a d-simplex, and let the barycentric representation P i,△ , i = 0, 1, . . . , d, of control points P i of a (d + 1)pencil lattice on △ be prescribed by ξ = (ξ0 , ξ1 , . . . , ξd ) as in (4). Then the lattice is determined by parameters α and β that satisfy v u d u Y n ξi , α= t i=0

i−1 Y βi = ξj , β0 j=0

i = 1, 2, . . . , d.

(5)

Cancun-revision1-last.tex; 21/12/2007; 8:43; p.5

6

ˇ G. Jakliˇ c, J. Kozak, M. Krajnc, V. Vitrih, E. Zagar

Proof. An affine map A carries △ to the standard simplex △d , where the lattice is given by (3) with the control points (2). The ith barycentric coordinate of a point x = (x1 , x2 , . . . , xd ) w.r.t. △d = h T 0 , T 1 , . . . , T d i, T i = (δi,j )dj=1 , is obtained as  d  X  vol(h T 0 , T 1 , . . . , T i−2 , x , T i , . . . , T d i)  1 − xj , = j=1  vol (△d )  x , i−1

z

}|

{

i−1

i = 1,

(6)

i ≥ 2,

where vol is a signed volume in Rd . So it is straightforward to compute the barycentric coordinates of (2) w.r.t. △d . The inverse map A−1 brings the control points (2) as well as the lattice from △d back to △. But barycentric coordinates are affinely invariant, so the barycentric coordinates of transformed control points w.r.t. △ do not change and are given by (4). Therefore ξ0 β1 = − , β1 − β0 1 − ξ0 1 βi = , i = 1, 2, . . . , d − 1, βi − βi+1 1 − ξi βd 1 = . n βd − α β0 1 − ξd This describes the system of d + 1 equations for d + 1 unknowns α,

βi , i = 1, 2, . . . , d. β0

Since the solution is given by (5), the proof is completed.

2

Note that, in contrast to parameters β , the introduced parameters ξ have a clear geometric meaning, and can be used as shape parameters of the lattice (see [4] and Fig. 3, e.g.). Let us shorten the notation with the following operator W : Rk+ → Rk+ ,

W x :=

1 1T x

1 x

x,

W 0 := 0 .

Corollary 1. The barycentric coordinates of a (d + 1)-pencil lattice of order n on △ = h T 0 , T 1 , . . . , T d i w.r.t. △ are determined by ξ as 



Bγ = W αn−γ0 [γ0 ]α , ξ0 αn−γ0 −γ1 [γ1 ]α , . . . , ξ0 · · · ξd−1 α0 [γd ]α , (7) γ | = n, and αn = where γ ∈ Nd+1 0 , |γ

Qd

i=0 ξi .

Cancun-revision1-last.tex; 21/12/2007; 8:43; p.6

7

Lattices on a simplex

Proof. By applying (6) and (5) to (3), one obtains 



γ |]α , ξ0 α|γ |−γ1 [γ1 ]α , . . . , ξ0 · · · ξd−1 α0 [γd ]α , Bγ = W α|γ | [n − |γ γ | ≤ n. To make the formula more symmetric, we can, where γ ∈ Nd0 , |γ without loss of generality, replace the index vector γ = (γ1 , . . . , γd ) by γ |, and (7) follows. 2 the index vector γ = (γ0 , γ1 , . . . , γd ), γ0 := n − |γ Note that ξd appears in (7) implicitly, since αn =

Qd

i=0 ξi .

3. Lagrange interpolation One of the main advantages of lattices is that they provide an explicit construction of Lagrange basis polynomials as products of linear factors. Therefore some simplifications can be done in order to decrease the amount of work needed. Details on how this can be done in barycentric coordinates are summarized in the following theorem. Theorem 2. Let a (d + 1)-pencil lattice of order n on △ be given in the barycentric form by parameters ξ = (ξ0 , ξ1 , . . . , ξd ) as in Corollary 1 and let data γ | = n, fγ ∈ R, γ = (γ0 , γ1 , . . . , γd ) ∈ Nd+1 0 , |γ d be prescribed. The polynomial   pn ∈ Πn that interpolates the data fγ |γ |=n at the points Bγ |γ |=n is given as

x) = pn (x

X

|γ |=n

x ), fγ Lγ (x

x∈R

d+1

,

d X

xi = 1.

(8)

i=0

The Lagrange basis polynomial Lγ is a product of hyperplanes, i.e., x) = Lγ (x

d γY i −1 Y

x ), hi,j,γ (x

where

and

ci,γ x ) := hi,j,γ (x [n − γi ]α 1− [n − j]α x ) := qi (x

i+d X

t=i+1

1 t−1 Q

k=i

xt , ξk

(9)

i=0 j=0

[n]α xi + 1 − [n − j]α

ci,γ :=

!

!

x) , qi (x

[n − γi ]α 1− [n]α

!

(10)

1  . Bγ i

Cancun-revision1-last.tex; 21/12/2007; 8:43; p.7

8

ˇ G. Jakliˇ c, J. Kozak, M. Krajnc, V. Vitrih, E. Zagar

γ | = n, be a given index vector. Let Proof. Let γ = (γ0 , γ1 , . . . , γd ), |γ us construct the Lagrange basis polynomial Lγ that satisfies 

L γ Bγ





=



1, γ ′ = γ , 0, γ ′ = 6 γ.

Based upon the GC approach, this polynomial can be found as a product of hyperplanes Hi,j,γ with the equations hi,j,γ = 0, j = 0, 1, . . . , γi − 1, i = 0, 1, . . . , d, where Hi,j,γ contains the lattice points indexed by (η0 , η1 , . . . , ηi−1 , j, ηi+1 , . . . , ηd ) ,

d X k=0

ηk = n − j.

k6=i

Quite clearly, the total degree of such a polynomial is bounded above by Pd Pγi −1 i=0 j=0 1 = n. But, for fixed i and j, 0 ≤ j ≤ γi − 1, a hyperplane Hi,j,γ is determined by the center C i+1 and the point U at the edge h T i , T i+1 i with the barycentric coordinates w.r.t. h T i , T i+1 i equal to [n − j]α ξi [n]α − [n − j]α , [n]α − [n − j]α + [n − j]α ξi [n]α − [n − j]α + [n − j]α ξi

!

.

The equation hi,j,γ = 0 is by (1) given as x , U , P i+1 , P i+2 , . . . , P i+d−1 ) = 0. det (x

(11)

Let us recall the barycentric representation (4) of P i . A multiplication of the matrix in (11) by a nonsingular diagonal matrix diag (1, [n]α − [n − j]α + [n − j]α ξi , 1 − ξi+1 , 1 − ξi+2 , . . . , 1 − ξi+d−1 ) , and a circular shift of columns simplifies the equation (11) to 



xi xi+1 ... ... xi+d  [n] − [n − j] [n − j] ξ i  α α α  1 − ξi+1  det   1 − ξi+2   .. .. . .  1 − ξi+d−1

     = 0.    

A straightforward evaluation of the determinant yields [n − j]α

i+d−1 Y k=i

!

ξk xi − ([n]α − [n − j]α )

i+d X

t=i+1

xt

i+d−1 Y k=t

ξk

!

= 0,

Cancun-revision1-last.tex; 21/12/2007; 8:43; p.8

9

Lattices on a simplex

and further [n − j]α xi − ([n]α − [n − j]α )

i+d X

t=i+1

1 t−1 Q

xt

=

ξk

k=i

x ) = 0. = [n − j]α xi − ([n]α − [n − j]α ) qi (x If j > 0, this gives also a relation x) = qi (x

[n − j]α xi [n]α − [n − j]α

for a particular x that satisfies (11). But 0 ≤ j < γi ≤ n, so  [n − γi ]α Bγ i [n]α − [n − γi ]α



q i Bγ =

simplifies the equation of the hyperplane x) = hi,j,γ (x

x) [n − j]α xi − ([n]α − [n − j]α ) qi (x   [n − j]α Bγ i − ([n]α − [n − j]α ) qi Bγ

(12)

to the assertion (10). Consider now an index vector γ ′ 6= γ . Since γ ′ | = |γ γ | = n, there must exist an index i, 0 ≤ i ≤ d, such that |γ ′ ′ product (9). Thus γi j, γi = 2, γj = 1,

(α2 +ξ0 (α+ξ1 )) α3 ξ02 ξ1

∃ i, γi = 3,

3

 Q2



i=0 hi,0 ,

γ = (1, 1, 1),

[n − j]α − [n]α [n − j]α − [n]α xi+1 + xi+2 . [n − j]α ξi [n − j]α ξi ξi+1

Combining these with the results in [4], where 3-pencil lattices on triangulations have been studied, a continuous piecewise polynomial interpolant over the triangulation can be obtained (Fig. 3).

Figure 3. The surface (14) over a star ([5]) with two different continuous piecewise polynomial interpolants.

References 1.

Carnicer, J.M., Gasca, M., Sauer, T.: Interpolation lattices in several variables. Numer. Math. 102(4), 559–581 (2006) 2. Chung, K.C., Yao, T.H.: On lattices admitting unique Lagrange interpolation. SIAM J. Numer. Anal. 14(4), 735–743 (1977) 3. Gasca, M., Sauer, T.: Polynomial interpolation in several variables. Adv. Comput. Math. 12(4), 377–410 (2000)

Cancun-revision1-last.tex; 21/12/2007; 8:43; p.11

12

ˇ G. Jakliˇ c, J. Kozak, M. Krajnc, V. Vitrih, E. Zagar

ˇ Jakliˇc, G., Kozak, J., Krajnc, M., Vitrih, V., Zagar, E.: Three-pencil lattices on triangulations. To appear in Num. Alg. 5. Lai, M.J., Schumaker, L.L.: Spline functions on triangulations. Encyclopedia of mathematics and its applications. Cambridge University Press (2007) 6. Lee, S.L., Phillips, G.M.: Construction of lattices for Lagrange interpolation in projective space. Constr. Approx. 7(3), 283–297 (1991) 7. Phillips, G.M.: Interpolation and Approximation by Polynomials. CMS books in Mathematics. Springer, Berlin Heidelberg New York (2003)

4.

Cancun-revision1-last.tex; 21/12/2007; 8:43; p.12