Searcharxiv⌕ Search

arXiv subjects

Ludovico Bruni Bruno

Publications and source records attributed to Ludovico Bruni Bruno.

14 recordsLinked to original sources

On the conditioning of polynomial histopolation

Histopolation is the approximation procedure that associates a degree $ d-1 $ polynomial $ p_{d-1} \in \mathscr{P}_{d-1} (I) $ with a locally integrable function $ f $ imposing that the integral (or, equivalently, the average) of $p$ coincides with that of $f$ on a collection of $ d $ distinct segments $s_i$. In this work we discuss unisolvence and conditioning of the associated matrices, in an asymptotic linear algebra perspective, i.e., when the matrix-size $d$ tends to infinity. While the unisolvence is a rather sparse topic, the conditioning in the unisolvent setting has a uniform behavior: as for the case of standard Vandermonde matrix-sequences with real nodes, the conditioning is inherently exponential as a function of $d$ when the monomial basis is chosen. In contrast, for an appropriate selection of supports, the Chebyshev polynomials of second kind exhibit a bounded conditioning. A linear behavior is also observed in the Frobenius norm.

math.NA↗

Scattered Data Histopolation in Averaging Kernel Hilbert Spaces

Kernel-based methods offer a powerful and flexible mathematical framework for addressing histopolation problems. In histopolation, the available input data does not consist of pointwise function samples but of averages taken over intervals or higher-dimensional regions, and these mean values serve as a basis for reconstructing or approximating the target function. While classical interpolation requires continuity of the underlying function, histopolation can be performed in larger function spaces. In the framework of kernel methods, we will introduce and study the so-called averaging kernel Hilbert spaces (AKHS's) for this purpose. Within this setting, we develop systematic construction principles for averaging kernels and provide characterizations based on the Fourier-Plancherel transform. In addition, we analyze several representative histopolation scenarios in order to highlight properties of this approximation method, including conditions for unisolvence and possible error estimates. Finally, we present numerical experiments that shed some light on the convergence behavior of the presented approach and demonstrate its practical effectiveness.

math.NA↗

Sampling, approximation, and interpolation of differential forms by admissible integral k-meshes

In this work we introduce the concept of admissible integral $k$-mesh for sampling differential forms with contiuous coefficients on a real body $E\subset \R^n$, and provide two techniques for the construction of admissible integral $k$-meshes on real bodies enjoying the Markov or the Bernstein inequality. Admissible integral $k$-meshes allow for the construction of robust approximation schemes, and are used to extract interpolation sets with high stability properties. To this end, the concepts of Fekete currents and Leja sequences of currents are formalized, and a numerical scheme for their approximation is proposed.

math.NA↗

The Lebesgue constant for uniform approximation of differential forms

In this work we address the problem of uniform approximation of differential forms starting from weak data defined by integration on rectifiable sets. We study approximation schemes defined by the projection operator L given by either generalized weighted least squares or interpolation. We show that, under a natural measure theoretic condition, the norm of such operator equals the Lebesgue constant of the problem. We finally estimate how the Lebesgue constant varies under the action of smooth mappings from the reference domain to a physical one, as is customarily done e.g. in finite element method.

math.NA↗

Polynomial approximation from diffused data: unisolvence and stability

In this work, we address the problem of polynomial interpolation of non-pointwise data. More specifically, we assume that our input information comes from measurements obtained on diffuse compact domains. Although the nodal and the diffused problems are related by the mean value theorem, such an approach does not provide any concrete insights in terms of well-posedness and stability. We hence develop a different framework in which {\it unisolvence} can be again recovered from nodal results, for which a wide literature is available. To analyze the stability of the so-obtained diffused interpolation procedure, we characterize the norm of the interpolation operator in terms of a Lebesgue constant-like quantity. After analyzing some of its features, such as invariance properties and sensitivity to support overlapping, we numerically verify the theoretical findings.

math.NA↗

Bivariate polynomial histopolation techniques on Padua, Fekete and Leja triangles

This paper explores the reconstruction of a real-valued function $f$ defined over a domain $Ω\subset \mathbb{R}^2$ using bivariate polynomials that satisfy triangular histopolation conditions. More precisely, we assume that only the averages of $f$ over a given triangulation $\mathcal{T}_N$ of $Ω$ are available and seek a bivariate polynomial that approximates $f$ using a histopolation approach, potentially flanked by an additional regression technique. This methodology relies on the selection of a subset of triangles $\mathcal{T}_M \subset \mathcal{T}_N$ for histopolation, ensuring both the solvability and the well-conditioning of the problem. The remaining triangles can potentially be used to enhance the accuracy of the polynomial approximation through a simultaneous regression. We will introduce histopolation and combined histopolation-regression methods using the Padua points, discrete Leja sequences, and approximate Fekete nodes. The proposed algorithms are implemented and evaluated through numerical experiments that demonstrate their effectiveness in function approximation.

math.NA↗

A pluripotential theoretic framework for polynomial interpolation of vector-valued functions and differential forms

We consider the problem of uniform interpolation of functions with values in a complex inner product space of finite dimension. This problem can be casted within a modified weighted pluripotential theoretic framework. Indeed, in the proposed modification a vector valued weight is considered, allowing to partially extend the main asymptotic results holding for interpolation of scalar valued functions to the case of vector valued ones. As motivating example and main application we specialize our results to interpolation of differential forms by differential forms with polynomial coefficients.

math.CV↗

Polynomial histopolation on mock-Chebyshev segments

In computational practice, we often encounter situations where only measurements at equally spaced points are available. Using standard polynomial interpolation in such cases can lead to highly inaccurate results due to numerical ill-conditioning of the problem. Several techniques have been developed to mitigate this issue, such as the mock-Chebyshev subset interpolation and the constrained mock-Chebyshev least-squares approximation. The high accuracy and the numerical stability achieved by these techniques motivate us to extend these methods to histopolation, a polynomial interpolation method based on segmental function averages. While classical polynomial interpolation relies on function evaluations at specific nodes, histopolation leverages averages of the function over subintervals. In this work, we introduce three types of mock-Chebyshev approaches for segmental interpolation and theoretically analyse the stability of their Lebesgue constants, which measure the numerical conditioning of the histopolation problem under small perturbations of the segments. We demonstrate that these segmental mock-Chebyshev approaches yield a quasi-optimal logarithmic growth of the Lebesgue constant in relevant scenarios. Additionally, we compare the performance of these new approximation techniques through various numerical experiments.

math.NA↗

A least squares approach to Whitney forms

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.

math.NA↗

The Fekete problem in segmental polynomial interpolation

In this article, we study the Fekete problem in segmental and combined nodal-segmental univariate polynomial interpolation by investigating sets of segments, or segments combined with nodes, such that the Vandermonde determinant for the respective polynomial interpolation problem is maximized. For particular families of segments, we will be able to find explicit solutions of the corresponding maximization problem. The quality of the Fekete segments depends hereby strongly on the utilized normalization of the segmental information in the Vandermonde matrix. To measure the quality of the Fekete segments in interpolation, we analyse the asymptotic behaviour of the generalized Lebesgue constant linked to the interpolation problem. For particular sets of Fekete segments we will get, similar to the nodal case, a favourable logarithmic growth of this constant.

math.NA↗

Interpolation by integrals on balls

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.

math.NA↗

The numerical linear algebra of weights: from the spectral analysis to conditioning and preconditioning in the Laplacian case

Weights are geometrical degrees of freedom that allow to generalise Lagrangian finite elements. They are defined through integrals over specific supports, well understood in terms of differential forms and integration, and lie within the framework of finite element exterior calculus. In this work we exploit this formalism with the target of identifying supports that are appealing for finite element approximation. To do so, we study the related parametric matrix-sequences, with the matrix order tending to infinity as the mesh size tends to zero. We describe the conditioning and the spectral global behavior in terms of the standard Toeplitz machinery and GLT theory, leading to the identification of the optimal choices for weights. Moreover, we propose and test ad hoc preconditioners, in dependence of the discretization parameters and in connection with conjugate gradient method. The model problem we consider is a onedimensional Laplacian, both with constant and non constant coefficients. Numerical visualizations and experimental tests are reported and critically discussed, demonstrating the advantages of weights-induced bases over standard Lagrangian ones. Open problems and future steps are listed in the conclusive section, especially regarding the multidimensional case.

math.NA↗

Polynomial Interpolation of Function Averages on Interval Segments

Motivated by polynomial approximations of differential forms, we study analytical and numerical properties of a polynomial interpolation problem that relies on function averages over interval segments. The usage of segment data gives rise to new theoretical and practical aspects that distinguish this problem considerably from classical nodal interpolation. We will analyse fundamental mathematical properties of this problem as existence, uniqueness and numerical conditioning of its solution. We will provide concrete conditions for unisolvence, explicit Lagrange-type basis systems for its representation, and a numerical method for its solution. To study the numerical conditioning, we will provide concrete bounds of the Lebesgue constant in a few distinguished cases.

math.NA↗

Unisolvent and minimal physical degrees of freedom for the second family of polynomial differential forms

The principal aim of this work is to provide a family of unisolvent and minimal physical degrees of freedom, called weights, for Nédélec second family of finite elements. Such elements are thought of as differential forms $ \mathcal{P}_r Λ^k (T)$ whose coefficients are polynomials of degree $ r $. We confine ourselves in the two dimensional case $ \mathbb{R}^2 $ since it is easy to visualise and offers a neat and elegant treatment; however, we present techniques that can be extended to $ n > 2 $ with some adjustments of technical details. In particular, we use techniques of homological algebra to obtain degrees of freedom for the whole diagram $$ \mathcal{P}_r Λ^0 (T) \rightarrow \mathcal{P}_r Λ^1 (T) \rightarrow \mathcal{P}_r Λ^2 (T), $$ being $ T $ a $2$-simplex of $ \mathbb{R}^2 $. This work pairs its companions recently appeared for Nédélec first family of finite elements.

math.NA↗