An explicit construction of optimized interpolation points on the 4-simplex
In this work, a family of symmetric interpolation points are generated on the four-dimensional simplex (i.e., the pentatope). Interpolation points are crucial toward the furtherance of space–time finite element methods, which themselves find applications in shock fitting, fluid structure interactions, and even rotating detonation engines. The points generated herein are optimized in order to minimize the Lebesgue constant. The process of generating these points closely follows that outlined by Warburton (J Eng Math 56:247–262, 2006). Here, Warburton generated optimal interpolation points on the triangle and tetrahedron by formulating explicit geometric warping and blending functions and applying these functions to equidistant nodal distributions. The locations of the resulting points were Lebesgue-optimized. In our work, we extend this procedure to four dimensions and construct interpolation points on the pentatope up to order 10. The Lebesgue constants of our nodal sets are calculated and are shown to outperform those of equidistant nodal distributions, as well as many of the point distributions of Isaac (SIAM J Sci Comput 42(6):4046–4062, 2020).
- Research Article
2
- 10.1007/s10444-024-10166-z
- Jul 19, 2024
- Advances in Computational Mathematics
Interpolation-based methods are well-established and effective approaches for the efficient generation of accurate reduced-order surrogate models. Common challenges for such methods are the automatic selection of good or even optimal interpolation points and the appropriate size of the reduced-order model. An approach that addresses the first problem for linear, unstructured systems is the iterative rational Krylov algorithm (IRKA), which computes optimal interpolation points through iterative updates by solving linear eigenvalue problems. However, in the case of preserving internal system structures, optimal interpolation points are unknown, and heuristics based on nonlinear eigenvalue problems result in numbers of potential interpolation points that typically exceed the reasonable size of reduced-order systems. In our work, we propose a projection-based iterative interpolation method inspired by IRKA for generally structured systems to adaptively compute near-optimal interpolation points as well as an appropriate size for the reduced-order system. Additionally, the iterative updates of the interpolation points can be chosen such that the reduced-order model provides an accurate approximation in specified frequency ranges of interest. For such applications, our new approach outperforms the established methods in terms of accuracy and computational effort. We show this in numerical examples with different structures.
- Research Article
57
- 10.1186/s13660-016-1030-3
- Mar 12, 2016
- Journal of Inequalities and Applications
The Lebesgue constant is a valuable numerical instrument for linear interpolation because it provides a measure of how close the interpolant of a function is to the best polynomial approximant of the function. Moreover, if the interpolant is computed by using the Lagrange basis, then the Lebesgue constant also expresses the conditioning of the interpolation problem. In addition, many publications have been devoted to the search for optimal interpolation points in the sense that these points lead to a minimal Lebesgue constant for the interpolation problems on the interval $[-1, 1]$ . In Section 1 we introduce the univariate polynomial interpolation problem, for which we give two useful error formulas. The conditioning of polynomial interpolation is discussed in Section 2. A review of some results for the Lebesgue constants and the behavior of the Lebesgue functions in view of the optimal interpolation points is given in Section 3.
- Research Article
- 10.1007/s10665-006-9077-7
- Oct 13, 2006
- Journal of Engineering Mathematics
The spatial resolution of eigenfunctions of Sturm–Liouville equations in one-dimension is frequently measured by examining the minimum distance between their roots. For example, it is well known that the roots of polynomials on finite domains cluster like O(1/N 2) near the boundaries. This technique works well in one dimension, and in higher dimensions that are tensor products of one-dimensional eigenfunctions. However, for non-tensor-product eigenfunctions, finding good interpolation points is much more complicated than finding the roots of eigenfunctions. In fact, in some cases, even quasi-optimal interpolation points are unknown. In this work an alternative measure, l, is proposed for estimating the characteristic length scale of eigenfunctions of Sturm–Liouville equations that does not rely on knowledge of the roots. It is first shown that l is a reasonable measure for evaluating the eigenfunctions since in one dimension it recovers known results. Then results are presented in higher dimensions. It is shown that for tensor products of one-dimensional eigenfunctions in the square the results reduce trivially to the one-dimensional result. For the non-tensor product Proriol polynomials, there are quasi-optimal interpolation points (Fekete points). Comparing the minimum distance between Fekete points to l shows that l is a reasonably good measure of the characteristic length scale in two dimensions as well. The measure is finally applied to the non-tensor product generalized eigenfunctions in the triangle proposed by Taylor MA, Wingate BA [(2006) J Engng Math, accepted] where optimal interpolation points are unknown. While some of the eigenfunctions have larger characteristic length scales than the Proriol polynomials, others show little improvement.
- Research Article
20
- 10.1109/tac.2020.2972227
- Feb 11, 2020
- IEEE Transactions on Automatic Control
In this paper we study the problem of model reduction of linear network systems. We aim at computing a reduced order stable approximation of the network with the same topology and optimal w.r.t. H2 norm error approximation. Our approach is based on time-domain moment matching framework, where we optimize over families of parameterized reduced order models matching a set of moments at arbitrary interpolation points. The parameterization of the low order models is in terms of the free parameters and of the interpolation points. For this family of parameterized models we formulate an optimization-based model reduction problem with the H2 norm of error approximation as objective function while the preservation of some structural and physical properties yields the constraints. This problem is nonconvex and we write it in terms of the Gramians of a minimal realization of the error system. We propose two solutions for this problem. The first solution assumes that the error system admits a block diagonal observability Gramian, allowing for a simple convex reformulation as semidefinite programming, but at the cost of some performance loss. We also derive sufficient conditions to guarantee block diagonalization of the Gramian. The second solution employs a gradient projection method for a smooth reformulation yielding (locally) optimal interpolation points and free parameters. The potential of the methods is illustrated on a power network.
- Conference Article
- 10.1109/icstcc55426.2022.9931837
- Oct 19, 2022
In this paper, we study the problem of time-domain least squares moment matching-based model order reduction of linear systems. We first present the definition and the charac-terization of a model of order <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">$r$</tex> matching <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">$r\ll \nu$</tex> moments of the given system. We then present the associated least squares moment matching problem in the form of a (nonconvex) optimization problem. Different from the existing results, we leave the interpolation points as decision variables and obtain an optimization problem with bilinear cost and constraints. The solution of the nonlinear least squares model reduction problem is computed at the optimal interpolation points using the efficient sequential convex programming algorithm. The proposed approach has practical advantages, since powerful convex optimization solvers, such as CVX, can be used to solve iteratively the optimization problem. A numerical example is given to illustrate the efficiency of our approach.
- Research Article
20
- 10.1137/12089613x
- Jan 1, 2013
- SIAM Journal on Scientific Computing
We present a robust method for choosing multivariate polynomial interpolation nodes. Our algorithm is an optimization method to greedily minimize a measure of interpolant sensitivity, a variant of a weighted Lebesgue function. Nodes are therefore chosen that tend to control oscillations in the resulting interpolant. This method can produce an arbitrary number of nodes and is not constrained by the dimension of a complete polynomial space. Our method is therefore flexible: nested nodal sets are produced in spaces of arbitrary dimensions, and the number of nodes added at each stage can be arbitrary. The algorithm produces a nodal set given a probability measure on the input space, thus parameterizing interpolants with respect to finite measures. We present examples to show that the method yields nodal sets that behave well with respect to standard interpolation diagnostics: the Lebesgue constant, the Vandermonde determinant, and the Vandermonde condition number. We also show that a nongreedy version of the nodal array has a strong connection with equilibrium measures from weighted pluripotential theory.
- Research Article
80
- 10.1016/j.jcp.2005.01.004
- Feb 16, 2005
- Journal of Computational Physics
A nodal triangle-based spectral element method for the shallow water equations on the sphere
- Research Article
40
- 10.1016/j.jat.2006.01.005
- Apr 17, 2006
- Journal of Approximation Theory
On the Lebesgue constant for the Xu interpolation formula
- Research Article
- 10.1016/0021-9045(86)90047-x
- May 1, 1986
- Journal of Approximation Theory
Lebesguekonstanten bei der numerischen differentation periodischer funktionen
- Research Article
254
- 10.1137/s003614299630587x
- Apr 1, 1998
- SIAM Journal on Numerical Analysis
The electrostatic interpretation of the Jacobi-Gauss quadrature points is exploited to obtain interpolation points suitable for approximation of smooth functions defined on a simplex. Moreover, several new estimates, based on extensive numerical studies, for approximation along the line using Jacobi-Gauss-Lobatto quadrature points as the nodal sets are presented. The electrostatic analogy is extended to the two-dimensional case, with the emphasis being on nodal sets inside a triangle for which two very good matrices of nodal sets are presented. The matrices are evaluated by computing the Lebesgue constants and they share the property that the nodes along the edges of the simplex are the Gauss-Lobatto quadrature points of the Chebyshev and Legendre polynomials, respectively. This makes the resulting nodal sets particularly well suited for integration with conventional spectral methods and supplies a new nodal basis for h - p finite element methods.
- Conference Article
- 10.1109/cgiv.2009.63
- Aug 1, 2009
We introduce a set of cubic blending functions that generate a curve that allows closer approximation of a control polygon defined by four control points. The curve interpolates both endpoints and the direction of the tangent line at each endpoint follows the direction of the respective end of the control polygon. Our curve also interpolates the midpoint of the two inner control points and the direction of the tangent line at this point is in the same direction as the central segment of the control polygon. Importantly, our blending functions satisfy the Partition of Unity, Positivity, Local Support and Variation Diminishing properties. All these make our scheme suitable for the constrained piecewise interpolation of 2-dimensional data points.
- Front Matter
3
- 10.1016/j.jtcvs.2022.05.016
- May 16, 2022
- The Journal of Thoracic and Cardiovascular Surgery
Risk prediction for thoracic aortic dissection: Is it time to go with the flow?
- Research Article
30
- 10.1093/imanum/dry002
- Jun 23, 2018
- IMA Journal of Numerical Analysis
This work focuses on weighted Lagrange interpolation on an unbounded domain, and analyzes the Lebesgue constant for a sequence of weighted Leja points. The standard Leja points are a nested sequence of points defined on a compact subset of the real line, and can be extended to unbounded domains with the introduction of a weight function $w:\mathbb{R}\rightarrow [0,1]$. Due to a simple recursive formulation in one dimension, such abscissas provide a foundation for high-dimensional approximation methods such as sparse grid collocation, deterministic least squares, and compressed sensing. Just as in the unweighted case of interpolation on a compact domain, we use results from potential theory to prove that the Lebesgue constant for the Leja points grows subexponentially with the number of interpolation nodes.
- Research Article
76
- 10.1016/j.jat.2012.11.005
- Nov 27, 2012
- Journal of Approximation Theory
On the Lebesgue constant of Leja sequences for the complex unit disk and of their real projection
- Research Article
114
- 10.1016/j.amc.2004.07.001
- Aug 20, 2004
- Applied Mathematics and Computation
Bivariate polynomial interpolation on the square at new nodal sets