Journal of Approximation Theory 43 (6) 5 5 www.elsevier.com/locate/jat Bivariate Lagrange interpolation at the Padua points: The generating curve approach Len Bos a, Marco Caliari b, Stefano De Marchi c,, Marco Vianello b, Yuan Xu d a Department of Mathematics and Statistics, University of Calgary, Canada b Department of Pure and Applied Mathematics, University of Padua, Italy c Department of Computer Science, University of Verona, Italy d Department of Mathematics, University of Oregon, USA Received October 5; accepted 3 March 6 Communicated by Juan Manuel Peña Available online 5 May 6 Abstract We give a simple, geometric and explicit construction of bivariate interpolation at certain points in a square (called Padua points), giving compact formulas for their fundamental Lagrange polynomials. We show that the associated norms of the interpolation operator, i.e., the Lebesgue constants, have minimal order of growth of O((log n) ). To the best of our knowledge this is the first complete, explicit example of near optimal bivariate interpolation points. 6 Elsevier Inc. All rights reserved.. Introduction Suppose that K R d is a compact set with non-empty interior. Let Π n (R d ) be the space of polynomials of degree n in d variables, and Π n (K) be the restrictions of this space to K. Then Π n (K) is a vector space of some dimension, say, N := dim(π n (K)). GivenN points A := {A k } N k= K, the polynomial interpolation problem associated to Π n(k) and A is to find for each f C(K) (the space of continuous functions on K) a polynomial p Π n (K) such that p(a k ) = f(a k ), k =,...,N. Corresponding author. Fax: +39 458798, +39 458768. E-mail address: demarchi@sci.univr.it (S. De Marchi). -945/$ - see front matter 6 Elsevier Inc. All rights reserved. doi:.6/j.jat.6.3.8
6 L. Bos et al. / Journal of Approximation Theory 43 (6) 5 5 If this is always possible the problem is said to be unisolvent, and if this is indeed the case we may construct the so-called fundamental Lagrange polynomials l j (x) with the property that l j (A k ) = δ j,k, the Kronecker delta. Further, the interpolant itself may be written as (Lf )(x) = N f(x k )l k (x). k= The mapping f Lf may be regarded as an operator from C(K) (equipped with the uniform norm) to itself, and as such has an operator norm L. Classically, when K =[, ], this norm is known as the Lebesgue constant and it is known that then L C log n and that this minimal order of growth is attained, for example, by the Chebyshev points (see e.g., [4]). In the multivariate case much less is known. Sündermann [6] has shown that for K = B d, the unit ball in R d, d, the Lebesgue constant has a minimal rate of growth of at least O(n (d )/ ). In the tensor product case, when K =[, ] d and with the polynomial space d k= Π n, L C(log n) d and this minimal rate of growth is attained for the tensor product of the univariate Chebyshev points. However, even for the cube and the polynomials of total degree n, i.e., for K = [, ] d, was not known until now whether the minimal rate of growth of O((log n) d ) could be attained. In [] it was shown that Xu s interpolation scheme [8,] in the square (which uses a space of polynomials intermediate to Π n (R ) and Π n (R )) the Lebesgue constant does grow like O((log n) ). In this paper we show that there is also such an interpolation scheme for the case d =, K =[, ], and the total degree polynomial space Π n (R ). We give an explicit, simple, geometric construction of a point set in K =[, ], nicknamed Padua points (cf. [5]), for which we may construct compact formulas for the fundamental Lagrange polynomials. These compact formulas allow us to easily analyze the growth rate of the associated Lebesgue constants. We point out that this establishes a remarkable dichotomy between the cases of the disk where the optimal growth would be of at least O( n) and the square where we now know that it is O((log n) ).. The Padua points and their generating curve For the remainder of this paper we take K =[, ] for which Π n (K) = Π n (R ) and has dimension n + dim(π n (K)) =. For degree n =,,,...,consider the parametric curve γ n (t) := (cos(nt), cos((n + )t)), t. () Obviously, this curve is contained in the unit square [, ]. We also remark that it is an algebraic curve given by T n+ (x) = T n (y) where T n denotes the classical Chebyshev polynomial of the first kind.
L. Bos et al. / Journal of Approximation Theory 43 (6) 5 5 7 The curve γ n (t) and associated points for n =5.8.6.4...4.6.8.5.5 Fig.. Now, on γ n (t) consider the point set of equally spaced points (in the parameter t) k A n := {γ n n(n + ) } : k =,,...,n(n+ ). () Fig. shows γ n (t) for n = 5 as well as the associated point set A 5. Note that despite the fact that we use n(n ( + ) + ) = 3 parameter values to generate A 5 one may count that there are 5 + precisely = = dim(π 5 (K)) different points in A 5, i.e., exactly the correct number for polynomial interpolation. Notice that each of the interior points lies on a self-intersection point of the curve. Indeed, it is easy to see that jn+ m(n + ) γ n n(n + ) jn m(n + ) = γ n n(n + ) for any integers j,m. Hence we may naturally describe the set of distinct points A n as { jn+ m(n + ) A n = A jm := γ n n(n + ) More specifically, we may classify the points of A n by } : j,m and j + m n. (3)
8 L. Bos et al. / Journal of Approximation Theory 43 (6) 5 5 Interior points: ( ) jn+ m(n + ) jn m(n + ) A jm = γ n = ( ) m cos n(n + ) n +,( ) j cos, n j,m > and j + m n. Vertex points: A = (, ) and A,n = (( ) n,( ) (n+) ). Vertical edge points: ( ) m(n + ) A m = ( ) m, cos, m =,,...,n. n Horizontal edge points: ( ( jn A j = cos n + ),( ) j ), j =,,...,n. n + It follows then that the number of distinct points in A n is indeed. 3. The fundamental Lagrange polynomials Consider the weighted integral I(f) := [,] f(x,y) and the associated inner product f, g := dx dy x y f(x,y)g(x,y) [,] x dx dy. (4) y Note that the polynomials {T j (x)t m (y) : j + m n} form an orthogonal basis for Π n (R ) with respect to this inner product. Further, the finite dimensional space Π n (R ) has a reproducing kernel with respect to this inner product, which we denote by K n ( ; ). Specifically, for each A, B [, ], K n (A; ) Π n (R ), K n ( ; B) Π n (R ) and p, K n (A; ) =p(a) for all p Π n (R ). We will show that there is a remarkable quadrature formula for I(f)based on the Padua points (Theorem ). Because of this quadrature formula, it is perhaps not unexpected that there are formulas for the fundamental Lagrange polynomials of the Padua points in terms of K n. We begin with the following two lemmas.
L. Bos et al. / Journal of Approximation Theory 43 (6) 5 5 9 Lemma. For all p Π n (R ) we have p(x,y) dx dy = p(γ [,] x y n (t)) dt. Proof. We need only show that this holds for p(x,y) = T j (x)t m (y), j + m n. But, when j = m =, p(x,y) =, and clearly both sides are equal to. Otherwise, if (j, m) = (, ), the left side equals while the right side equals T j (cos(nt))t m (cos((n + )t)) dt = cos(jnt) cos(m(n + )t) dt = provided jn = m(n + ). But since n and n + are relatively prime, jn = m(n + ) implies that j = α(n + ) and m = αn for some positive integer α. Hence j + m = α(n + (n + )) > n. Theorem. Consider the following weights associated to the Padua points A A n : / if A A n is a vertex point, w A := if A A n is an edge point, n(n + ) if A A n is an interior point. Then, if p(x,y) Π n (R ) is such that p(x,y),t n (y) =, we have p(x,y) dx dy = w A p(a). [,] x y In particular, since T n (y) = (T n (y)), this quadrature formula holds for p = fg with f, g Π n (R ) and either f(x,y),t n (y) = or g(x,y),t n (y) =. Proof. First, note that the quadrature formula { q(t)dt = N N q() + } k q N + q() k= holds for all even trigonometric polynomials q(t)(i.e., has an expansion in cosines only) for which the expansion of q(t) does not contain terms with frequency an even multiple of N, i.e., such that q(t)cos(αnt)dt =, α =,,... Now, by Lemma, we have where p(x,y) dx dy = p(γ [,] x y n (t)) dt p(γ n (t)) = p(cos(nt), cos((n + )t)) =: q(t) (5)
L. Bos et al. / Journal of Approximation Theory 43 (6) 5 5 is an even trigonometric polynomial (of degree at most n(n + )) to which we may apply the quadrature formula (5) with N = n(n + ) provided, under the assumptions placed on p,wehave q(t)cos(nt)dt =. However, if we write then p(x,y) =: p(γ n (t)) = = n n j j= m= n n j j= m= n n j j= m= a jm T j (x)t m (y) a jm cos(jnt) cos(m(n + )t) a jm {cos((jn + m(n + ))t) + cos((jn m(n + ))t)} so that a,n, the coefficient of cos(n(n + )t) in the expansion of p(γ n (t)), is exactly the coefficient of T n (y) in the expansion of p(x,y). By assumption this is zero. Hence we apply Lemma and (5) (with N = n(n + )) to obtain = = p(x,y) [,] n(n + ) p(γ n (t)) dt x { N p(γ n()) + dx dy y k= ) } kn p (γ n + p(γ n()) = w A p(a) since γ n () and γ n () are the two vertex points and the interior points double up. The quadrature just proved has precision n as it is exact for all polynomials of degree < n. From the general theory on quadrature formulas and polynomial ideals, it follows that the set of Padua points is a variety of a polynomial ideal generated by quasi-orthogonal polynomials with respect to,, from which a compact formula for the Lagrange interpolation polynomial can be derived. This approach based on ideal theory will be developed fully in [3]. Here, we give a proof of the compact interpolation formula. For A A n we will let y A denote the y-coordinate of A. Theorem. For B A n, set L B (x, y) := w B [K n (B; (x, y)) T n (y)t n (y B )], B A n. (6) Then we have the interpolation formula L B (A)p(B) = p(a) p Π n (R ) A A n. (7)
L. Bos et al. / Journal of Approximation Theory 43 (6) 5 5 Proof. Since, as it is easy to see, T n (y), T n (y) = and K n( ; A), T n (y) =T n (y A ),wehave K n ( ; A) T n (y A )T n (y), T n (y) =T n (y A ) T n (y A ) T n (y), T n (y) = T n (y A ) T n (y A ) =. Hence, we may apply the quadrature formula of Lemma to(k n ( ; A) T n (y A )T n (y)) p for any p Π n (R ) and obtain p(a) T n (y A ) T n (y), p = K n ( ; A) T n (y A )T n (y), p = w B (K n (B; A) T n (y A )T n (y B ))p(b) = w B (K n (B; A) T n (y A )T n (y B ))p(b) T n (y A ) w B T n (y B )p(b). It follows that w B (K n (B; A) T n (y A )T n (y B ))p(b) = p(a) T n (y A ) T n(y), p w B T n (y B )p(b). (8) But, writing p = p + αt n (y) where α := p, T n (y) and p, T n (y) =, we have w B T n (y B )p(b) = w B T n (y B )[ p(b) + αt n (y B )] = T n (y), p +α w B Tn (y B) = + α w B = α = p, T n (y), where we have used the fact that Tn (y B) = for all B A n and that the sum of the weights w B is one. Therefore, by (8), we have w B (K n (B; A) T n (y A )T n (y B ))p(b) = p(a) for all p Π n (R ) and all points A A n, which completes the proof. The polynomials L B are indeed the fundamental Lagrange polynomials, i.e., they satisfy L B (A) = δ A,B, A,B A n. (9) This can be easily verified using the following compact formula for the reproducing kernel K n proved in [7].
L. Bos et al. / Journal of Approximation Theory 43 (6) 5 5 Lemma. For A, B [, ] write A = (cos(θ ), cos(θ )), B = (cos( ), cos( )). Then K n (A; B) = D n (θ +, θ + ) + D n (θ +, θ ) +D n (θ, θ + ) + D n (θ, θ ) where D n (α, β) = cos((n + /)α) cos(α/) cos((n + /)β) cos(β/). cos(α) cos(β) We remark that (9) does not follow from the interpolation formula (7) (as a simple example, consider the formula (f (A) + f (B))/ = f(c)valid for all f Π and arbitrary A, B, C). A direct derivation of the compact formulas in (6) and (7) will be given in [3]. 4. The growth of the Lebesgue function We first give a more convenient expression for D n, which is obtained by simple trigonometric manipulations. Lemma 3 (cf. Lemma of []). The function D n (α, β) can be written as α + β α β D n (α, β) = 4 α + β α β sin sin α + β α β sin(n + ) sin(n + ) +. () α + β α β sin sin Now, note that the norm of the polynomial projection Lf := f (A)L A considered as a map from C(K) to C(K), equipped with the uniform norm, is given by the maximum of the so-called Lebesgue function Λ n (x, y) := L A (x, y). () Specifically, L = max Λ n(x, y). (x,y) [,] We now proceed to give a bound on Λ n (x, y). Theorem 3. There is a constant C> such that the Lebesgue function is bounded, Λ n (x, y) C(log n), n, (x,y) [, ].
L. Bos et al. / Journal of Approximation Theory 43 (6) 5 5 3 Proof. First, recall that the Padua points are given by jn+ m(n + ) A jm = γ n, j,m, j + m n. n(n + ) Some simple manipulations show that, in fact, j ( m ) A jm = ( ) (cos ) j+m n +, cos n. () Now, Λ n (x, y) = L A (x, y) = w A K n (A; (x, y)) T n (y)t n (y A ) w A K n (A; (x, y)) + w A T n (y) T n (y A ) w A K n (A; (x, y)) + (3) since T n (y) and the sum of the weights w A is. To bound this latter sum (3) we use the compact formula for K n given in Lemma and the alternate expression for D n given in Lemma 3. Indeed it is clear that our result will follow if we find an upper bound for the sum αa + β A αa β A w A αa + β sin A αa β, (4) sin A where we write (x, y) =: (cos( ), cos( )) and A = A jm, α A := j n + +, β A := m n +. The analysis of the other terms that result from expanding K n by means of Lemmas and3is entirely analogous. We should note, however, that the ( ) j+m factor in () has no effect on the sum (4) due to the fact that sin(k(θ + )) = sin(kθ) for any integer k. We now proceed to bound (4). Using the definitions of w A, α A and β A,wehave αa + β A αa β A w A αa + β sin A αa β sin A n(n + ) n n j j= m= ( + ( + sin + j n + + m ) n + j n + + m ) n
4 L. Bos et al. / Journal of Approximation Theory 43 (6) 5 5 ( + j n + m ) n ( sin + j n + m ) n ( + n n + j n + + m ) n n(n + ) ( j= m= + sin + j n + + m ) n ( + j n + m ) n ( sin + j n + m ). (5) n Now this last expression (5) is a Riemann sum for a multiple of the (improper) integral + / / + α + β + α β + sin + α + β dα dβ. (6) sin + α β The integrand of (6) is bounded by ( sin + ) ( + α + β sin ). + α β Note that the denominator of this upper bound is zero at most along two lines in the domain (α, β) [, /], which corresponds to at most Cn points in the corresponding sum (5), for some constant C>. At each of these singularities, we may use the fact that sin(nθ)/ sin(θ) n to reduce that portion of the sum (5) that involves the singular points to a univariate sum similar to n + n (θ + kn ) sin (θ + kn ) k= which a classical analysis (cf. Lemma 4 of []) shows to be bounded by C log n for some constant C>. Thus, by the monotonicity and periodicity of csc(θ), it follows that the sum (5) is bounded by a constant multiple of / /(n+) / /(n+) csc(α) csc(β) dα dβ. (7) This in turn is easily evaluated and seen to be bounded by C(log n). The result follows.
L. Bos et al. / Journal of Approximation Theory 43 (6) 5 5 5 Acknowledgment Work supported by the ex-6% funds of the Universities of Padua and Verona, and by the GNCS-INdAM. References [] L. Bos, M. Caliari, S. De Marchi, M. Vianello, A numerical study of the Xu polynomial interpolation formula in two variables, Computing 76 (3 4) (5) 3 34. [] L. Bos, S. De Marchi, M. Vianello, On the Lebesgue constant for the Xu interpolation formula, J. of Approx. Theory, to appear. [3] L. Bos, S. De Marchi, M. Vianello, Y. Xu, Bivariate Lagrange interpolation at the Padua points: the ideal theory approach, submitted. [4] L. Brutman, Lebesgue functions for polynomial interpolation a survey, Ann. Numer. Math. 4 (997) 7. [5] M. Caliari, S. De Marchi, M. Vianello, Bivariate polynomial interpolation on the square at new nodal sets, Appl. Math. Comput. 65 (5) 6 74. [6] B. Sündermann, On projection constants of polynomials spaces on the unit ball in several variables, Math. Z. 88 (984) 7. [7] Y. Xu, Christoffel functions and Fourier series for multivariate orthogonal polynomials, J. Approx. Theory 8 (995) 5 39. [8] Y. Xu, Lagrange interpolation on Chebyshev points of two variables, J. Approx. Theory 87 (996) 38.