Lebesgue constant

In mathematics, the Lebesgue constants (depending on a set of nodes and of its size) give an idea of how good the interpolant of a function (at the given nodes) is in comparison with the best polynomial approximation of the function (the degree of the polynomials are fixed). The Lebesgue constant for polynomials of degree at most n and for the set of n + 1 nodes T is generally denoted by Λn(T ). These constants are named after Henri Lebesgue. We fix the interpolation nodes and an interval containing all the interpolation nodes. The process of interpolation maps the function to a polynomial . This defines a mapping from the space C([a, b]) of all continuous functions on [a, b] to itself. The map X is linear and it is a projection on the subspace Πn of polynomials of degree n or less. The Lebesgue constant is defined as the operator norm of X. This definition requires us to specify a norm on C([a, b]). The uniform norm is usually the most convenient. The Lebesgue constant bounds the interpolation error: let p∗ denote the best approximation of f among the polynomials of degree n or less. In other words, p∗ minimizes p − f among all p in Πn. Then We will here prove this statement with the maximum norm. by the triangle inequality. But X is a projection on Πn, so p∗ − X( f ) = X(p∗) − X( f ) = X(p∗ − f ). This finishes the proof since . Note that this relation comes also as a special case of Lebesgue's lemma. In other words, the interpolation polynomial is at most a factor Λn(T ) + 1 worse than the best possible approximation. This suggests that we look for a set of interpolation nodes with a small Lebesgue constant. The Lebesgue constant can be expressed in terms of the Lagrange basis polynomials: In fact, we have the Lebesgue function and the Lebesgue constant (or Lebesgue number) for the grid is its maximum value Nevertheless, it is not easy to find an explicit expression for Λn(T ). In the case of equidistant nodes, the Lebesgue constant grows exponentially.