Marc Van Barel

Bernard Mourrain, Simon Telen, Marc Van Barel

We consider the problem of finding the isolated common roots of a set of polynomial functions defining a zero-dimensional ideal I in a ring R of polynomials over C. Normal form algorithms provide an algebraic approach to solve this problem. The framework presented in Telen et al. (2018) uses truncated normal forms (TNFs) to compute the algebra structure of R/I and the solutions of I. This framework allows for the use of much more general bases than the standard monomials for R/I. This is exploited in this paper to introduce the use of two special (nonmonomial) types of basis functions with nice properties. This allows, for instance, to adapt the basis functions to the expected location of the roots of I. We also propose algorithms for efficient computation of TNFs and a generalization of the construction of TNFs in the case of non-generic zero-dimensional systems. The potential of the TNF method and usefulness of the new results are exposed by many experiments.

Woula Themistoclakis, Marc Van Barel

The paper concerns the uniform polynomial approximation of a function $f$, continuous on the unit Euclidean sphere of ${\mathbb R}^3$ and known only at a finite number of points that are somehow uniformly distributed on the sphere. First we focus on least squares polynomial approximation and prove that the related Lebesgue constants w.r.t. the uniform norm grow at the optimal rate. Then, we consider delayed arithmetic means of least squares polynomials whose degrees vary from $n-m$ up to $n+m$, being $m=\lfloor θn\rfloor$ for any fixed parameter $0<θ<1$. As $n$ tends to infinity, we prove that these polynomials uniformly converge to $f$ at the near-best polynomial approximation rate. Moreover, for fixed $n$, by using the same data points we can further improve the approximation by suitably modulating the action ray $m$ determined by the parameter $θ$. Some numerical experiments are given to illustrate the theoretical results.

Woula Themistoclakis, Marc Van Barel

We investigate the uniform approximation provided by least squares polynomials on the unit Euclidean sphere $\mathbb{S}^q$ in $\mathbb{R}^{q+1}$, with $q\ge 2$. Like any other polynomial projection, the study concerns the growth, as the degree $n$ tends to infinity, of the associated Lebesgue constant, i.e., of the uniform norm of the least squares operator. If the least squares polynomial of degree $n$ is based on a set of points, which are nodes of a positive weighted quadrature rule of degree of exactness $2n$, then we state two different sufficient conditions for having an optimal Lebesgue constant that increases with $n$ at the minimal projections order. Hence, under our assumptions least squares and hyperinterpolation polynomials provide a comparable approximation with respect to the uniform norm.