Math 2.0

Approximations and expansions Definition

Lebesgue constant

Builds on Lagrange interpolationLagrange basis polynomialsOperator norm

Definition

Let a<ba < b, let n≥0n \ge 0, and let x0<x1<⋯<xnx_0 < x_1 < \cdots < x_n be points of [a,b][a, b]. Let ℓ0,…,ℓn\ell_0, \dots, \ell_n be the Lagrange basis polynomials of these nodes, so that ℓj(xi)=1\ell_j(x_i) = 1 if i=ji = j and 00 otherwise. The Lebesgue function of the nodes is λn(x)=∑j=0n∣ℓj(x)∣\lambda_n(x) = \sum_{j=0}^{n} \abs{\ell_j(x)}. The Lebesgue constant of the nodes is Λn=max⁡a≤x≤bλn(x).\Lambda_n = \max_{a \le x \le b} \lambda_n(x).

Remarks

Let In ⁣:C[a,b]→C[a,b]I_n \colon C[a, b] \to C[a, b] send ff to its Lagrange interpolation polynomial ∑jf(xj)ℓj\sum_j f(x_j) \ell_j. With the uniform norm, Λn\Lambda_n is the operator norm of InI_n.

Example: nodes −1,0,1-1, 0, 1 in [−1,1][-1, 1]. Here ℓ0=x(x−1)/2\ell_0 = x(x - 1)/2, ℓ1=1−x2\ell_1 = 1 - x^2 and ℓ2=x(x+1)/2\ell_2 = x(x + 1)/2. For 0≤x≤10 \le x \le 1 this gives λ2(x)=1+x−x2\lambda_2(x) = 1 + x - x^2, and by symmetry Λ2=λ2(1/2)=5/4\Lambda_2 = \lambda_2(1/2) = 5/4.

Non-example: the number max⁡x∣∑jℓj(x)∣\max_x \abs{\sum_j \ell_j(x)} is not the Lebesgue constant; it always equals 11, because ∑jℓj=1\sum_j \ell_j = 1. The absolute values must be taken term by term.

Always Λn≥1\Lambda_n \ge 1. For equally spaced nodes Λn\Lambda_n grows like 2n+1/(e nlog⁡n)2^{n+1} / (e \, n \log n). For Chebyshev nodes Λn=2πlog⁡n+O(1)\Lambda_n = \frac{2}{\pi} \log n + O(1), and no choice of nodes does better than 2πlog⁡n−C\frac{2}{\pi} \log n - C for an absolute constant CC.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Lagrange basis polynomials concept
  2. Lagrange interpolation concept
  3. Operator norm concept
  4. Lebesgue constant definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Lebesgue_constant
About this page
TagN9ZCXH6HV1
URIm2://N9ZCXH6HV1
Kinddefinition
WritingW0 stub
MSC41A05, 65D05, 41A10
DefinesLebesgue constant
UsesLagrange interpolation, Lagrange basis polynomials, Operator norm

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.