Bounds on strong unicity for Chebyshev approximation with bounded coefficients

DOI10.1002/MANA.201900439MaRDI QIDQ6094024zbMATH OpenOpenAlexFDO

Authors Andrei Sipoş

Publication date 9 October 2023

Published in Mathematische Nachrichten (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1904.10284

zbMATH Keywords

Chebyshev approximationmodulus of uniquenessproof miningSchur polynomialsstrong uniquenessYoung tableaux

Mathematics Subject Classification ID

Approximation by polynomials (41A10) Rate of convergence, degree of approximation (41A25) Best approximation, Chebyshev systems (41A50) Uniqueness of best approximation (41A52)

Abstract: We obtain new effective results in best approximation theory, specifically moduli of uniqueness and constants of strong unicity, for the problem of best uniform approximation with bounded coefficients, as first considered by Roulier and Taylor. We make use of techniques from the field of proof mining, as introduced by Kohlenbach in the 1990s. In addition, some bounds are obtained via the Lagrangian interpolation formula as extended through the use of Schur polynomials to cover the case when certain coefficients are restricted to be zero.

Recommendations

• Strong uniqueness of generalized polynomial of best approximation having bounded coefficients
• New effective moduli of uniqueness and uniform a priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• On uniform constants of strong uniqueness in Chebyshev approximations and fundamental results of N. G. Chebotarev
• scientific article; zbMATH DE number 4021826

Cites work

• A unified theory of strong uniqueness in uniform approximation with constraints
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• Equivalence of the combinatorial and the classical definitions of Schur functions
• scientific article; zbMATH DE number 956475 (Why is no real title available?)
• scientific article; zbMATH DE number 51623 (Why is no real title available?)
• scientific article; zbMATH DE number 1181673 (Why is no real title available?)
• New effective moduli of uniqueness and uniform a priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory
• Proof mining in \(L_{1}\)-approximation
• PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
• Some theorems on Cebysev approximation
• Strong uniqueness of generalized polynomial of best approximation having bounded coefficients
• Uniform approximation by polynomials having bounded coefficients

Cited in

(4)

• scientific article; zbMATH DE number 3925478 (Why is no real title available?)
• On the Strong Unicity of Best Chebyshev Approximation of Differentiable Functions
• scientific article; zbMATH DE number 17937 (Why is no real title available?)
• On strong uniqueness in linear Chebyshev approximation

This page was built for publication: Bounds on strong unicity for Chebyshev approximation with bounded coefficients

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6094024)