Bivariate C1 Cubic Spline Spaces Over Even Stratified Triangulations

It is well-known that the basic properties of a bivariate spline space such as dimension and approximation order depend on the geometric structure of the partition. The dependence of geometric structure results in the fact that the dimension of a C ¹ cubic spline space over an arbitrary triangulation becomes a well-known open problem. In this paper, by employing a new group of smoothness conditions and conformality conditions, we determine the dimension of bivariate C ¹ cubic spline spaces over a so-called even stratified triangulation.     

〈I〉型三角剖分下非张量积连续小波基的构造

多维非张量积小波是近年小波研究领域中的热点问题之一 ,它们与多维张量积小波相比具有更多的优势 .关于高维张量积、非张量积小波 ,目前已有一些很好的工作 (见文[2 ] [3 ] [4 ] ) ,但关于样条小波 ,还有许多问题有待于研究 .本文针对〈I〉型三角剖分下的二维线性元空间 ,讨论其具有紧支集和对称性的半正交样条小波基 .给定 x1 x2 平面上的〈I〉型三角剖分 (图 1 ( a)所示 ) ,记 j=( j1 ,j2 ) ,| j| =j1 + j2 ,πm= { 0≤ |j|≤ mCj1j2 xj11 xj22 ,Cj1,j2 是任意实数 }为次数不超过 m的代数多项式全体 .引入剖分尺度为 1的线性元空间 V0…     

Nöther-type theorem of piecewise algebraic curves on triangulation

The piecewise algebraic curve is a kind generalization of the classical algebraic curve. Nöther-type theorem of piecewise algebraic curves on the cross-cut partition is very important to construct the Lagrange interpolation sets for a bivariate spline space. In this paper, using the properties of bivariate splines, the Nöther-type theorem of piecewise algebraic curves on the arbitrary triangulation is presented.     

On the dimensions of bivariate spline spaces and the stability of the dimensions

In this paper, the dimensions of bivariate spline spaces are studied using the Smoothing Cofactor-Conformality method. Based on the analysis on the conformality condition at one interior vertex, the stability (or singularity to the contrary) of the dimensions of general spline spaces is discussed in detail. By the aid of directed partition some new results on dimensions are obtained with the corresponding constraints depending on the degree, the smoothness order of the spline spaces and the structure of the partition as well.     

On the dimensions of bivariate spline spaces and the stability of the dimensions

In this paper, the dimensions of bivariate spline spaces are studied using the Smoothing Cofactor-Conformality method. Based on the analysis on the conformality condition at one interior vertex, the stability (or singularity to the contrary) of the dimensions of general spline spaces is discussed in detail. By the aid of directed partition some new results on dimensions are obtained with the corresponding constraints depending on the degree, the smoothness order of the spline spaces and the structure of the partition as well.     

N(o)ther-type theorem of piecewise algebraic curves on triangulation

The piecewise algebraic curve is a kind generalization of the classical algebraic curve.N(o)ther-type theorem of piecewise algebraic curves on the cross-cut partition is very important to construct the Lagrange interpolation sets for a bivariate spline space. In this paper, using the properties of bivariate splines, the N(o)ther-type theorem of piecewise algebraic curves on the arbitrary triangulation is presented.     

Computation of continuous wavelet transform at dyadic scales by subdivision scheme

A new algorithm to compute continuous wavelet transforms at dyadic scales is proposed here. Our approach has a similar implementation with the standard algorithme a trous and can coincide with it in the one dimensional lower order spline case. Our algorithm can have arbitrary order of approximation and is applicable to the multidimensional case. We present this algorithm in a general case with emphasis on splines and quasi-inter polations. Numerical examples are included to justify our theorerical discussion.     

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.     

任意剖分下的多元样条分析

本文采用代数几何的方法,研究了在任意剖分下多元样条函数的各种性质.定理2—4给出了一个函数S(υ,ν)是多元参数型样条的充分必要条件.定理1指出了多元样条函数具有“解析延拓”的特征性质.文中得到在任意剖分下多元样条的一般表达形式(定理9和10)和多元样条插值的一般理论.文中也讨论了多元有理样条函数.     

一族非正交小波基

本文构造了Ｌ＾２（Ｒ）的一族非正交样条小波基，它包含Ｃｈｕｉ和Ｗａｎｇ＾「１」的样条小波基作为基特殊情况，并且我们导出了其分解和重建算法。     

Morgan-Scott剖分上样条空间S_8~4(Δ_(ms))的维数

Ｍｏｒｇｅｎ－Ｓｃｏｔ剖分上样条空间的维数依赖于剖分的几何性质，本文证明了Ｄｉｅｎｅｒ１９９０年提出的猜想对ｒ＝４是不正确的，需要修正．     

B-splines on 3-D tetrahedron partition in four-directional mesh

It is more difficult to construct 3-D splines than in 2-D case. Some results in the three directional meshes of bivariate case have been extended to 3-D case and corresponding tetrahedron partition has been constructed. The support of related B-splines and their recurrent formulas on integration and differentiation-difference are obtained. The results of this paper can be extended into higher dimension spaces, and can be also used in wavelet analysis, because of the relationship between spline and wavelets.     

On the Problem of Instability in the Dimensions of Spline Spaces over T-Meshes with T-Cycles

The T-meshes are local modification of rectangular meshes which allow T-junctions. The splines over T-meshes are involved in many fields, such as finite element methods, CAGD etc. The dimension of a spline space is a basic problem for the theories and applications of splines. However, the problem of determining the dimension of a spline space is difficult since it heavily depends on the geometric properties of the partition. In many cases, the dimension is unstable. In this paper, we study the instability in the dimensions of spline spaces over T-meshes by using the smoothing cofactor-conformality method. The modified dimension formulas of spline spaces over T-meshes with T-cycles are also presented. Moreover, some examples are given to illustrate the instability in the dimensions of the spline spaces over some special meshes.     

最小支集样条小波有限元

本文认真分析研究了最小支集样条小波及其有关性质,用以张量积形式构造的二维小波建立了最小支集样条小波插值函数,讨论了其相关的性质,随后用最小支集样条小波有限元法去解弹性薄板小挠度问题,给出了数值解的误差阶,最后列举了一个数值例子．     

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.     

The Bezout Number for Piecewise Algebraic Curves

The computation of the Bezout number, the maximum number of intersection points between two piecewise algebraic curves whose common points are finite, is considered. A piecewise algebraic curve is a curve determined by a bivariate spline function. It is found that the maximum number of intersections depends not only on the degrees and the differentiability of the spline functions, but also on the structure of the partition on which the spline functions are defined.     

Wavelet decompositions on a manifold

A general method for constructing chains of embedded spline spaces on a smooth (not necessarily compact) manifold is suggested. A wavelet decomposition is obtained for the case of an arbitrary vector space. The results are illustrated by constructing the wavelet decompositon of a chain of embedded spaces of the B _φ-splines of zero order on a smooth manifold. Bibliography: 6 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 346, 2007, pp. 26–38.     

Fast integral wavelet transform on a dense set of the time-scale domain

Summary. The objective of this paper is to introduce a fast algorithm for computing the integral wavelet transform (IWT) on a dense set of points in the time-scale domain. By applying the duality principle and using a compactly supported spline-wavelet as the analyzing wavelet, this fast integral wavelet transform (FIWT) is realized by applying only FIR (moving average) operations, and can be implemented in parallel. Since this computational procedure is based on a local optimal-order spline interpolation scheme and the FIR filters are exact, the IWT values so obtained are guaranteed to have zero moments up to the order of the cardinal spline functions. The semi-orthogonal (s.o.) spline-wavelets used here cannot be replaced by any other biorthogonal wavelet (spline or otherwise) which is not s.o., since the duality principle must be applied to some subspace of the multiresolution analysis under consideration. In contrast with the existing procedures based on direct numerical integration or an FFT-based multi-voice per octave scheme, the computational complexity of our FIWT algorithm does not increase with the increasing number of values of the scale parameter. Received March 3, 1994     

Bernstein-Bézier techniques for divergence of polynomial spline vector fields in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Bernstein-Bézier techniques for analyzing polynomial spline fields in n variables and their divergence are developed. Dimension and a minimal determining set for continuous piecewise divergence-free spline fields on the Alfeld split of a simplex in ? ⁿ are obtained using the new techniques, as well as the dimension formula for continuous piecewise divergence-free splines on the Alfeld refinement of an arbitrary simplicial partition in ? ⁿ .     

Algorithms for spline wavelet packets on an interval

The aim of this paper is to describe decomposition and reconstruction algorithms for spline wavelet packets on a closed interval. In order to generate packet spaces of dyadic dimensions, it is necessary to modify the approach for spline wavelets on an interval as studied by Chui, Quak and Weyrich in [3, 11]. The first author was supported by the Department of the Air Force, contract F33600-94-M-2603, and the second author by the Department of Defense, contract H98230-R5-93-9187.