-
A least squares approach to Whitney forms
Authors:
Ludovico Bruni Bruno,
Giacomo Elefante
Abstract:
In this work we describe and test the construction of least squares Whitney forms based on weights. If, on the one hand, the relevance of such a family of differential forms is nowadays clear in numerical analysis, on the other hand the selection of performing sets of supports (hence of weights) for projecting onto high order Whitney forms turns often to be a rough task. As an account of this, it…
▽ More
In this work we describe and test the construction of least squares Whitney forms based on weights. If, on the one hand, the relevance of such a family of differential forms is nowadays clear in numerical analysis, on the other hand the selection of performing sets of supports (hence of weights) for projecting onto high order Whitney forms turns often to be a rough task. As an account of this, it is worth mentioning that Runge-like phenomena have been observed but still not resolved completely. We hence move away from sharp results on unisolvence and consider a least squares approach, obtaining results that are consistent with the nodal literature and making some steps towards the resolution of the aforementioned Runge phenomenon for high order Whitney forms.
△ Less
Submitted 24 April, 2024;
originally announced April 2024.
-
Interpolation by integrals on balls
Authors:
Ludovico Bruni Bruno,
Giacomo Elefante
Abstract:
In this work we blend interpolation theory with numerical integration, constructing an interpolator based on integrals over $n$-dimensional balls. We show that, under hypotheses on the radius of the $n$-balls, the problem can be treated as an interpolation problem both on a collection of $(n-1)$-spheres $ S^{n-1} $ and multivariate point sets, for which a wide literature is available. With the aim…
▽ More
In this work we blend interpolation theory with numerical integration, constructing an interpolator based on integrals over $n$-dimensional balls. We show that, under hypotheses on the radius of the $n$-balls, the problem can be treated as an interpolation problem both on a collection of $(n-1)$-spheres $ S^{n-1} $ and multivariate point sets, for which a wide literature is available. With the aim of exact quadrature and cubature formulae, we offer a neat strategy for the exact computation of the Vandermonde matrix of the problem and propose a meaningful Lebesgue constant. Problematic situations are evidenced and a charming aspect is enlightened: the majority of the theoretical results only deal with the centre of the domains of integration and are not really sensitive to their radius. We flank our theoretical results by a large amount of comprehensive numerical examples.
△ Less
Submitted 16 December, 2023;
originally announced December 2023.
-
More properties of $(β,γ)$-Chebyshev functions and points
Authors:
Stefano De Marchi,
Giacomo Elefante,
Francesco Marchetti,
Jean-Zacharie Mariethoz
Abstract:
Recently, $(β,γ)$-Chebyshev functions, as well as the corresponding zeros, have been introduced as a generalization of classical Chebyshev polynomials of the first kind and related roots. They consist of a family of orthogonal functions on a subset of $[-1,1]$, which indeed satisfies a three-term recurrence formula. In this paper we present further properties, which are proven to comply with vario…
▽ More
Recently, $(β,γ)$-Chebyshev functions, as well as the corresponding zeros, have been introduced as a generalization of classical Chebyshev polynomials of the first kind and related roots. They consist of a family of orthogonal functions on a subset of $[-1,1]$, which indeed satisfies a three-term recurrence formula. In this paper we present further properties, which are proven to comply with various results about classical orthogonal polynomials. In addition, we prove a conjecture concerning the Lebesgue constant's behavior related to the roots of $(β,γ)$-Chebyshev functions in the corresponding orthogonality interval.
△ Less
Submitted 4 July, 2023; v1 submitted 5 May, 2023;
originally announced May 2023.
-
Qsurf: compressed QMC integration on parametric surfaces
Authors:
Giacomo Elefante,
Alvise Sommariva,
Marco Vianello
Abstract:
We discuss a bottom-up algorithm for Tchakaloff like compression of Quasi-MonteCarlo (QMC) integration on surfaces that admit an analytic parametrization.
We discuss a bottom-up algorithm for Tchakaloff like compression of Quasi-MonteCarlo (QMC) integration on surfaces that admit an analytic parametrization.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Compressed QMC volume and surface integration on union of balls
Authors:
Giacomo Elefante,
Alvise Sommariva,
Marco Vianello
Abstract:
We discuss an algorithm for Tchakaloff-like compression of Quasi-MonteCarlo (QMC) volume/surface integration on union of balls (multibubbles). The key tools are Davis-Wilhelmsen theorem on the so-called Tchakaloff sets for positive linear functionals on polynomial spaces, and Lawson-Hanson algorithm for NNLS. We provide the corresponding Matlab package together with several examples.
We discuss an algorithm for Tchakaloff-like compression of Quasi-MonteCarlo (QMC) volume/surface integration on union of balls (multibubbles). The key tools are Davis-Wilhelmsen theorem on the so-called Tchakaloff sets for positive linear functionals on polynomial spaces, and Lawson-Hanson algorithm for NNLS. We provide the corresponding Matlab package together with several examples.
△ Less
Submitted 2 March, 2023;
originally announced March 2023.
-
Interpolation with the polynomial kernels
Authors:
Giacomo Elefante,
Wolfgang Erb,
Francesco Marchetti,
Emma Perracchione,
Davide Poggiali,
Gabriele Santin
Abstract:
The polynomial kernels are widely used in machine learning and they are one of the default choices to develop kernel-based classification and regression models. However, they are rarely used and considered in numerical analysis due to their lack of strict positive definiteness. In particular they do not enjoy the usual property of unisolvency for arbitrary point sets, which is one of the key prope…
▽ More
The polynomial kernels are widely used in machine learning and they are one of the default choices to develop kernel-based classification and regression models. However, they are rarely used and considered in numerical analysis due to their lack of strict positive definiteness. In particular they do not enjoy the usual property of unisolvency for arbitrary point sets, which is one of the key properties used to build kernel-based interpolation methods. This paper is devoted to establish some initial results for the study of these kernels, and their related interpolation algorithms, in the context of approximation theory. We will first prove necessary and sufficient conditions on point sets which guarantee the existence and uniqueness of an interpolant. We will then study the Reproducing Kernel Hilbert Spaces (or native spaces) of these kernels and their norms, and provide inclusion relations between spaces corresponding to different kernel parameters. With these spaces at hand, it will be further possible to derive generic error estimates which apply to sufficiently smooth functions, thus escaping the native space. Finally, we will show how to employ an efficient stable algorithm to these kernels to obtain accurate interpolants, and we will test them in some numerical experiment. After this analysis several computational and theoretical aspects remain open, and we will outline possible further research directions in a concluding section. This work builds some bridges between kernel and polynomial interpolation, two topics to which the authors, to different extents, have been introduced under the supervision or through the work of Stefano De Marchi. For this reason, they wish to dedicate this work to him in the occasion of his 60th birthday.
△ Less
Submitted 15 December, 2022;
originally announced December 2022.
-
A barycentric trigonometric Hermite interpolant via an iterative approach
Authors:
Giacomo Elefante
Abstract:
In this work we construct an Hermite interpolant starting from basis functions that satisfy a Lagrange property. In fact, we extend and generalise an iterative approach, introduced by Cirillo and Hormann (2018) for the Floater-Hormann family of interpolants. Secondly, we apply this scheme to produce an effective barycentric rational trigonometric Hermite interpolant at general ordered nodes using…
▽ More
In this work we construct an Hermite interpolant starting from basis functions that satisfy a Lagrange property. In fact, we extend and generalise an iterative approach, introduced by Cirillo and Hormann (2018) for the Floater-Hormann family of interpolants. Secondly, we apply this scheme to produce an effective barycentric rational trigonometric Hermite interpolant at general ordered nodes using as basis functions the ones of the trigonometric interpolant introduced by Berrut (1988). For an easy computational construction, we calculate analytically the differentation matrix. Finally, we conclude with various examples and a numerical study of the rate of convergence at equidistant nodes and conformally mapped nodes.
△ Less
Submitted 25 September, 2023; v1 submitted 1 June, 2022;
originally announced June 2022.
-
Polynomial mapped bases: theory and applications
Authors:
Stefano De Marchi,
Giacomo Elefante,
Elisa Francomano,
Francesco Marchetti
Abstract:
In this paper, we collect the basic theory and the most important applications of a novel technique that has shown to be suitable for scattered data interpolation, quadrature, bio-imaging reconstruction. The method relies on polynomial mapped bases allowing, for instance, to incorporate data or function discontinuities in a suitable mapping function. The new technique substantially mitigates the R…
▽ More
In this paper, we collect the basic theory and the most important applications of a novel technique that has shown to be suitable for scattered data interpolation, quadrature, bio-imaging reconstruction. The method relies on polynomial mapped bases allowing, for instance, to incorporate data or function discontinuities in a suitable mapping function. The new technique substantially mitigates the Runge's and Gibbs effects.
△ Less
Submitted 4 April, 2022;
originally announced April 2022.
-
Stable discontinuous mapped bases: the Gibbs-Runge-Avoiding Stable Polynomial Approximation (GRASPA) method
Authors:
Stefano De Marchi,
Giacomo Elefante,
Francesco Marchetti
Abstract:
The mapped bases or Fake Nodes Approach (FNA), introduced in [10], allows to change the set of nodes without the need of resampling the function. Such scheme has been successfully applied in preventing the appearance of the Gibbs phenomenon when interpolating discontinuous functions. However, the originally proposed S-Gibbs map suffers of a subtle instability when the interpolant is constructed at…
▽ More
The mapped bases or Fake Nodes Approach (FNA), introduced in [10], allows to change the set of nodes without the need of resampling the function. Such scheme has been successfully applied in preventing the appearance of the Gibbs phenomenon when interpolating discontinuous functions. However, the originally proposed S-Gibbs map suffers of a subtle instability when the interpolant is constructed at equidistant nodes, due to the Runge's phenomenon. Here, we propose a novel approach, termed Gibbs-Runge-Avoiding Stable Polynomial Approximation (GRASPA), where both Runge's and Gibbs phenomena are mitigated. After providing a theoretical analysis of the Lebesgue constant associated to the mapped nodes, we test the new approach by performing different numerical experiments which confirm the theoretical findings.
△ Less
Submitted 20 May, 2021;
originally announced May 2021.
-
A linear barycentric rational interpolant on starlike domains
Authors:
Jean-Paul Berrut,
Giacomo Elefante
Abstract:
When an approximant is accurate on the interval, it is only natural to try to extend it to several-dimensional domains. In the present article, we make use of the fact that linear rational barycentric interpolants converge rapidly toward analytic and several times differentiable functions to interpolate on two-dimensional starlike domains parametrized in polar coordinates. In radial direction, we…
▽ More
When an approximant is accurate on the interval, it is only natural to try to extend it to several-dimensional domains. In the present article, we make use of the fact that linear rational barycentric interpolants converge rapidly toward analytic and several times differentiable functions to interpolate on two-dimensional starlike domains parametrized in polar coordinates. In radial direction, we engage interpolants at conformally shifted Chebyshev nodes, which converge exponentially toward analytic functions. In circular direction, we deploy linear rational trigonometric barycentric interpolants, which converge similarly rapidly for periodic functions, but now for conformally shifted equispaced nodes. We introduce a variant of a tensor-product interpolant of the above two schemes and prove that it converges exponentially for two-dimensional analytic functions -- up to a logarithmic factor -- and with an order limited only by the order of differentiability for real functions (provided that the boundary enjoys the same order of differentiability). Numerical examples confirm that the shifts permit to reach a much higher accuracy with significantly fewer nodes, a property which is especially important in several dimensions.
△ Less
Submitted 8 April, 2022; v1 submitted 19 April, 2021;
originally announced April 2021.
-
On $(β,γ)$-Chebyshev functions and points of the interval
Authors:
Stefano De Marchi,
Giacomo Elefante,
Francesco Marchetti
Abstract:
In this paper, we introduce the class of $(β,γ)$-Chebyshev functions and corresponding points, which can be seen as a family of {\it generalized} Chebyshev polynomials and points. For the $(β,γ)$-Chebyshev functions, we prove that they are orthogonal in certain subintervals of $[-1,1]$ with respect to a weighted arc-cosine measure. In particular we investigate the cases where they become polynomia…
▽ More
In this paper, we introduce the class of $(β,γ)$-Chebyshev functions and corresponding points, which can be seen as a family of {\it generalized} Chebyshev polynomials and points. For the $(β,γ)$-Chebyshev functions, we prove that they are orthogonal in certain subintervals of $[-1,1]$ with respect to a weighted arc-cosine measure. In particular we investigate the cases where they become polynomials, deriving new results concerning classical Chebyshev polynomials of first kind. Besides, we show that subsets of Chebyshev and Chebyshev-Lobatto points are instances of $(β,γ)$-Chebyshev points. We also study the behavior of the Lebesgue constants of the polynomial interpolant at these points on varying the parameters $β$ and $γ$.
△ Less
Submitted 8 February, 2021;
originally announced February 2021.