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 ${\displaystyle x_{0},...,x_{n}}$and an interval ${\displaystyle [a,\,b]}$ containing all the interpolation nodes. The process of interpolation maps the function ${\displaystyle f}$ to a polynomial ${\displaystyle p}$. This defines a mapping ${\displaystyle X}$ 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 ${\displaystyle \Lambda _{n}(T)}$ 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

This finishes the proof since ${\displaystyle \|X(p^{*}-f)\|\leq \|X\|\|p^{*}-f\|=\|X\|\|f-p^{*}\|}$. 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.