Some Properties of Minimal Splines

S. G. Mikhlin was the first to construct systematically coordinate functions on an equidistant grid solving a system of approximate equations (called “fundamental relations”, see [5]; Goel discussed some special cases earlier in 1969; see also [1, 4, 6]). Further, the idea was developed in the case of irregular grids (which may have finite accumulation points, see [1] ). This paper is devoted to the investigation of A-minimal splines, introduced by the author; they include polynomial minimal splines which have been discussed earlier. Using the idea mentioned above, we give necessary and sufficient conditions for existence, uniqueness and g-continuity of these splines. The application of these results to polynomial splines of m-th degree on an equidistant grid leads us, in particular, to necessary and sufficient conditions for the continuity of their i-th derivative (i = 1, ?, m). These conditions do not exclude discontinuities of other derivatives (e.g. of order less than i). This allows us to give a certain classification of minimal spline spaces. It turns out that the spline classes are in one-to-one-correspondence with certain planes contained in a hyperplane.     

On one version of wavelet decompositions of spaces of polynomial splines

We study wavelet decompositions of the spaces of polynomial splines of order m on nonuniform grids, constructed via projections of Lagrange type. Bibliography: 3 titles.     

Variable degree polynomial splines are Chebyshev splines

Variable degree polynomial (VDP) splines have recently proved themselves as a valuable tool in obtaining shape preserving approximations. However, some usual properties which one would expect of a spline space in order to be useful in geometric modeling, do not follow easily from their definition. This includes total positivity (TP) and variation diminishing, but also constructive algorithms based on knot insertion. We consider variable degree polynomial splines of order $k\geqslant 2$ spanned by $\{ 1,x,\ldots x^{k-3},(x-x_i)^{m_i-1},(x_{i+1}-x)^{n_i-1} \}$ on each subinterval $[x_i,x_{i+1}\rangle\subset [0,1]$ , i?=?0,1, ...l. Most of the paper deals with non-polynomial case m _i ,n _i ?∈?[4,?∞?), and polynomial splines known as VDP–splines are the special case when m _i , n _i are integers. We describe VDP–splines as being piecewisely spanned by a Canonical Complete Chebyshev system of functions whose measure vector is determined by positive rational functions p(x), q(x). These functions are such that variable degree splines belong piecewisely to the kernel of the differential operator $\frac{d}{dx} p \frac{d}{dx} q \frac{d^{k-2}} {dx^{k-2}}$ . Although the space of splines is not based on an Extended Chebyshev system, we argue that total positivity and variation diminishing still holds. Unlike the abstract results, constructive properties, like Marsden identity, recurrences for quasi-Bernstein polynomials and knot insertion algorithms may be more involved and we prove them only for VDP splines of orders 4 and 5.     

Galerkin methods with splines for singular integral equations over (0, 1)

Summary In this paper a convergence analysis of Galerkin methods with splines for strongly elliptic singular integral equations over the interval (0, 1) is given. As trial functions we utilize smoothest polynomial splines on arbitrary meshes and continuous splines on special nonuniform partitions, multiplied by a weight function. Using inequalities of Gårding type for singular integral operators in weightedL ² spaces and the complete asymptotics of solutions at the endpoints, we provide error estimates in certain Sobolev norms.     

A General Multiresolution Method for Fitting Functions on the Sphere

In [7], Lyche and Schumaker have described a method for fitting functions of class C ¹ on the sphere which is based on tensor products of quadratic polynomial splines and trigonometric splines of order three associated with uniform knots. In this paper, we present a multiresolution method leading to C ²-functions on the sphere, using tensor products of polynomial and trigonometric splines of odd order with arbitrary simple knot sequences. We determine the decomposition and reconstruction matrices corresponding to the polynomial and trigonometric spline spaces. We describe the general tensor product decomposition and reconstruction algorithms in matrix form which are convenient for the compression of surfaces. We give the different steps of the computer implementation of these algorithms and, finally, we present a test example.     

Minimal splines and wavelets

This paper is dedicated to the memory of the prominent mathematician S.G. Mikhlin. Here, Mikhlin’s idea of approximation relations is used for construction of wavelet resolution in the case of spline spaces of zero height. These approximation relations allow one to establish the embedding of the spline spaces corresponding to nested grids. Systems of functionals which are biorthogonal to the basic splines are constructed using the relations; then the systems obtained are used for wavelet decomposition. It is established that, for a fixed pair of grids of which one is embedded into the other and for an arbitrary fixed (on the coarse grid) spline space, there exists a continuum of spline spaces (on the fine grid) which contain the aforementioned spline space on the coarse grid. The wavelet decomposition of such embedding is given and the corresponding formulas of decomposition and formulas of reconstruction are deduced. The space of ( , φ)-splines is introduced with three objects: the full chain of vectors, prescribed infinite grid on real axis and the preassigned vector-function φ with m + 1 components (m is called the order of the splines). Under certain assumptions, the splines belong to the class C ^{m ? 1}. The gauge relations between the basic splines on the coarse grid and the basic splines on the fine grid are deduced. A general method for construction of a biorthogonal system of functionals (to basic spline system) is suggested. In this way, a chain of nested spline spaces is obtained, and the wavelet decomposition of the chain is discussed. The spaces and chains of spaces are completely classified in the terms of manifolds. The manifold of spaces considered is identified with the manifold of complete sequences of points of the direct product of an interval on the real axis and the projective space ? ^m ; the manifold of nested spaces is identified with the manifold of nested sequences of points of the direct product mentioned above.     

Relations between the support of a compactly supported function and the exponential-polynomials spanned by its integer translates

The interrelation between the shape of the support of a compactly supported function and the space of all exponential-polynomials spanned by its integer translates is examined. The results obtained are in terms of the behavior of these exponential-polynomials on certain finite subsets ofZ ^s , which are determined by the support of the given function. Several applications are discussed. Among these is the construction of quasi-interpolants of minimal support and the construction of a piecewise-polynomial whose integer translates span a polynomial space which is not scale-invariant. As to polynomial box splines, it is proved here that in many cases a polynomial box spline admits a certain optimality condition concerning the space of the total degree polynomials spanned by its integer translates: This space is maximal compared with the spaces corresponding to other functions with the same supportCommunicated by Klaus Höllig.     

Twice continuously differentiable semilocal smoothing spline

Twice continuously differentiable periodic local and semilocal smoothing splines, or S-splines from the class C ² are considered. These splines consist of polynomials of 5th degree, first three coefficients of each polynomial are determined by values of the previous polynomial and two its derivatives at the point of splice, coefficients at higher terms of the polynomial are determined by the least squares method. These conditions are supplemented by the periodicity condition for the spline function on the whole segment of definition or by initial conditions. Uniqueness and existence theorems are proved. Stability and convergence conditions for these splines are established.     

Cubic Spline Prewavelets on the Four-Directional Mesh

Dedicated to Professor M. J. D. Powell on the occasion of his sixty-fifth birthday and his retirement. In this paper, we design differentiable, two-dimensional, piecewise polynomial cubic prewavelets of particularly small compact support. They are given in closed form, and provide stable, orthogonal decompositions of L ² (R ² ) . In particular, the splines we use in our prewavelet constructions give rise to stable bases of spline spaces that contain all cubic polynomials, whereas the more familiar box spline constructions cannot reproduce all cubic polynomials, unless resorting to a box spline of higher polynomial degree.     

Dimension of -splines on type-6 tetrahedral partitions

We consider a linear space of piecewise polynomials in three variables which are globally smooth, i.e. trivariate C¹-splines of arbitrary polynomial degree. The splines are defined on type-6 tetrahedral partitions, which are natural generalizations of the four-directional mesh. By using Bernstein–Bézier techniques, we analyze the structure of the spaces and establish formulae for the dimension of the smooth splines on such uniform type partitions.     

A normalized representation of super splines of arbitrary degree on Powell–Sabin triangulations

In the paper, a family of bivariate super spline spaces of arbitrary degree defined on a triangulation with Powell–Sabin refinement is introduced. It includes known spaces of arbitrary smoothness r and degree \(3r-1\) but provides also other choices of spline degree for the same r which, in particular, generalize a known space of \(\mathscr {C}^{1}\) cubic super splines. Minimal determining sets of the proposed super spline spaces of arbitrary degree are presented, and the interpolation problems that uniquely specify their elements are provided. Furthermore, a normalized representation of the discussed splines is considered. It is based on the definition of basis functions that have local supports, are nonnegative, and form a partition of unity. The basis functions share numerous similarities with classical univariate B-splines.     

Characterization of Hölder spaces corresponding to Ditzian-Totik modulus of smoothness

For the step-weight function $\varphi \left( x \right) = \sqrt {1 - x^2 } $ , we prove that the Hölder spaces \gL{ina, p} on the interval [?1, 1], defined in terms of moduli of smoothness with the step-weight function ?, are linearly isomorphic to some sequence spaces, and the isomorphism is given by the coefficients of function with respect to a system of orthonormal splines with knots uniformly distributed according to the measure with density 1/?. In case \gL{ina, p} is contained in the space of continuous functions, we give a discrete characterization of this space, using only values of function at the appropriate knots. Application of these results to characterize the order of polynomial approximation is presented.     

Shape-Preserving C 3 Interpolation: The Curve Case

We present a new method for the construction of shape-preserving curves interpolating a given set of 3D data. The interpolating functions are obtained using quintic-like spaces of polynomial splines with variable degrees. These splines are of class C ³ and are therefore curvature and torsion continuous and possess a very simple geometric structure, which permits to easily handle the shape-constraints.     

Characterization of H?lder spaces corresponding to Ditzian-Totik modulus of smoothness

For the step-weight function j( x ) = ?{1 - x² }\varphi \left( x \right) = \sqrt {1 - x^2 } , we prove that the H?lder spaces \gL{ina, p} on the interval [−1, 1], defined in terms of moduli of smoothness with the step-weight function ϕ, are linearly isomorphic to some sequence spaces, and the isomorphism is given by the coefficients of function with respect to a system of orthonormal splines with knots uniformly distributed according to the measure with density 1/ϕ. In case \gL{ina, p} is contained in the space of continuous functions, we give a discrete characterization of this space, using only values of function at the appropriate knots. Application of these results to characterize the order of polynomial approximation is presented.     

Polynomial splines as examples of Chebyshevian splines

We consider geometrically continuous polynomial splines defined on a given knot-vector by lower triangular connection matrices with positive diagonals. In order to find out which connection matrices make them suitable for design, we regard them as examples of geometrically continuous piecewise Chebyshevian splines. Indeed, in this larger context we recently achieved a simple characterisation of all suitable splines for design. Applying it to our initial polynomial splines will require us to treat polynomial spaces on given closed bounded intervals as instances of Extended Chebyshev spaces, so as to determine all possible systems of generalised derivatives which can be associated with them.     

The Problem of Topologies of Grothendieck and the Class of Fréchet T-Spaces

We examine the interpolation with periodic polynomial splines of degree d and defect r (d ≦ r) on equidistant partitions of the real axis and generalize known results for r = 0. We prove necessary and sufficient conditions for the existence and a certain L²-stability of the interpolants as well as their approximation properties in the scale of the periodic SOBOLEV spaces.     

Perfect spline approximation

Our study of perfect spline approximation reveals: (i) it is closely related to ΣΔ modulation used in one-bit quantization of bandlimited signals. In fact, they share the same recursive formulae, although in different contexts; (ii) the best rate of approximation by perfect splines of order r with equidistant knots of mesh size h is h^r−1. This rate is optimal in the sense that a function can be approximated with a better rate if and only if it is a polynomial of degree <r.The uniqueness of best approximation is studied, too. Along the way, we also give a result on an extremal problem, that is, among all perfect splines with integer knots on , (multiples of) Euler splines have the smallest possible norms.     

Weak Chebyshev Subspaces and Continuous Selections for Parametric Projections

We examine the existence of continuous selections for the parametric projection onto weak Chebyshev subspaces. In particular, we show that if is the class of polynomial splines of degree n with the k fixed knots then the parametric projection admits a continuous selection if and only if the number of knots does not exceed the degree of splines plus one. February 15, 1996. Date revised: September 16, 1996.     

Spline fitting discontinuous functions given just a few Fourier coefficients

This paper considers the use of polynomial splines to approximate periodic functions with jump discontinuities of themselves and their derivatives when the information consists only of the first few Fourier coefficients and the location of the discontinuities. Spaces of splines are introduced which include, members with discontinuities at those locations. The main results deal with the orthogonal projection of such a spline space on spaces of trigonometric polynomials corresponding to the known coefficients. An approximation is defined based on inverting this projection. It is shown that when discontinuities are sufficiently far apart, the projection is invertible, its inverse has norm close to 1, and the approximation is nearly as good as directL ₂ approximation by members of the spline space. An example is given which illustrates the results and which is extended to indicate how the approximation technique may be used to provide smoothing which which accurately represents discontinuities.     

The convergence of three spline methods for scattered data interpolation and fitting

The convergences of three L₁ spline methods for scattered data interpolation and fitting using bivariate spline spaces are studied in this paper. That is, L₁ interpolatory splines, splines of least absolute deviation, and L₁ smoothing splines are shown to converge to the given data function under some conditions and hence, the surfaces from these three methods will resemble the given data values.