Geodesic
On Optimal Quadratic Lagrange Interpolation: Extremal Node Systems with Minimal Lebesgue Constant via Symbolic Computation
Serdica Journal of Computing, Tome 8 (2014) no. 1, pp. 71-96.

Voir la notice de l'article provenant de la source Bulgarian Digital Mathematics Library

We consider optimal Lagrange interpolation with polynomials of degree at most two on the unit interval [−1, 1]. In a largely unknown paper, Schurer (1974, Stud. Sci. Math. Hung. 9, 77-79) has analytically described the infinitely many zero-symmetric and zero-asymmetric extremal node systems −1 ≤ x1 x2 x3 ≤ 1 which all lead to the minimal Lebesgue constant 1.25 that had already been determined by Bernstein (1931, Izv. Akad. Nauk SSSR 7, 1025-1050). As Schurer’s proof is not given in full detail, we formally verify it by providing two new and sound proofs of his theorem with the aid of symbolic computation using quantifier elimination. Additionally, we provide an alternative, but equivalent, parameterized description of the extremal node systems for quadratic Lagrange interpolation which seems to be novel. It is our purpose to bring the computer-assisted solution of the first nontrivial case of optimal Lagrange interpolation to wider attention and to stimulate research of the higher-degree cases. This is why our style of writing is expository.
Keywords: Extremal, Interpolation Nodes, Lagrange Interpolation, Lebesgue Constant, Minimal, Optimal, Polynomial, Quadratic, Quantifier Elimination, Symbolic Computation 
@article{SJC_2014_8_1_a4,
     author = {Rack, Heinz-Joachim and Vajda, Robert},
     title = {On {Optimal} {Quadratic} {Lagrange} {Interpolation:} {Extremal} {Node} {Systems} with {Minimal} {Lebesgue} {Constant} via {Symbolic} {Computation}},
     journal = {Serdica Journal of Computing},
     pages = {71--96},
     publisher = {mathdoc},
     volume = {8},
     number = {1},
     year = {2014},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SJC_2014_8_1_a4/}
}
TY  - JOUR
AU  - Rack, Heinz-Joachim
AU  - Vajda, Robert
TI  - On Optimal Quadratic Lagrange Interpolation: Extremal Node Systems with Minimal Lebesgue Constant via Symbolic Computation
JO  - Serdica Journal of Computing
PY  - 2014
SP  - 71
EP  - 96
VL  - 8
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SJC_2014_8_1_a4/
LA  - en
ID  - SJC_2014_8_1_a4
ER  - 
%0 Journal Article
%A Rack, Heinz-Joachim
%A Vajda, Robert
%T On Optimal Quadratic Lagrange Interpolation: Extremal Node Systems with Minimal Lebesgue Constant via Symbolic Computation
%J Serdica Journal of Computing
%D 2014
%P 71-96
%V 8
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SJC_2014_8_1_a4/
%G en
%F SJC_2014_8_1_a4
Rack, Heinz-Joachim; Vajda, Robert. On Optimal Quadratic Lagrange Interpolation: Extremal Node Systems with Minimal Lebesgue Constant via Symbolic Computation. Serdica Journal of Computing, Tome 8 (2014) no. 1, pp. 71-96. http://geodesic.mathdoc.fr/item/SJC_2014_8_1_a4/