三角剖分上分片代数曲线的Nöther型定理

分片代数曲线是经典代数曲线的推广. 贯穿剖分上的分片代数曲线的Nöther型定理对构造二元样条空间的Lagrange插值适定结点组有非常重要的作用. 文中利用二元样条的性质, 给出了任意三角剖分上分片代数曲线的Nöther型定理.     

三角剖分上分片代数曲线的N(o)ther型定理

分片代数曲线是经典代数曲线的推广.贯穿剖分上的分片代数曲线的N(o)ther型定理对构造二元样条空间的Lagrange插值适定结点组有非常重要的作用.文中利用二元样条的性质,给出了任意三角剖分上分片代数曲线的N(o)ther型定理.     

作为一元等距结点样条推广的多元样条

作者们在[4]中已经指出了给定剖分下多元B-样条存在的必要条件(1).它表明,并不是对所有的剖分都有多元B-样条存在的。人们也许以为,如同一元情况一样,只要多元B-样条存在,则它们一定组成多元样条空间的支集(即多元样条空间是所有多元B-样条所支架起来的空间)。本文以标准的三角剖分(2-单纯形)下,多元样条空间S²:=S₄²为例指出这种认识是错误的。事实上,本文定理2,3和4对这个问题已给出了明确的结论。 以上结论说明多元B-样条并不是基本的     

关于三角剖分下二元样条空间的维数

本文利用多元样条的协调条件、平面图理论和空间同构的方法建立了对于所有μ≥1,k≥4μ+1和任意三角剖分T的样条空间S_k^μ(T)的维数公式,对于一类尽可能任意的三角剖分T=T(μ),本文也给出了当k≥μ+1时S_k^μ(T)的维数公式。特别当μ=1,2时此类剖分在逼近问题上有明显的实用性。     

三角剖分上分片代数曲线的Nther型定理

分片代数曲线是经典代数曲线的推广．贯穿剖分上的分片代数曲线的Nther型定理对构造二元样条空间的Lagrange插值适定结点组有非常重要的作用．文中利用二元样条的性质,给出了任意三角剖分上分片代数曲线的N(?)ther型定理．     

二元二次分片多项式插值样条函数

本文在Ⅱ型剖分下,研究一类二元二次分片多项式插值样条函数,采用局部坐标系和本文定理1的拼接技巧,揭示了二元二次样条与一元二次样条之间的紧密联系.只要在垂直网线和水平网线上先构造出一元二次样条并求出它们在节点上的一些数据,就可直接写出二元二次样条的分块解析表示式.利用这种技巧,可以进一步研究各种类型的插值样条,还可用来研究双周期或单周期的插值样条.本文证明了,这类样条函数具有与一元二次样条相同的逼近阶,具体来讲,在不均匀剖分且 f(x,y)∈σ~3[a,b;c,d]时,它的逼近阶是2,在均匀剖分且 f(x,y)∈σ~4[a,b;c,d]时,其逼近阶是3.用本文的方法去研究其他各类插值样条,发现也有这种逼近性质.     

加细剖分样条函数空间的维数级数和基函数

在文[1]中,我们讨论了利用协调矩阵计算维数级数和基函数的Grobner基方法,本文考虑几种加细剖分样条函数空间的维数级数和基函数,给出了它们的表达式。 1 任意三角剖分的连续样条函数 任意三角剖分上连续样条函数空间的维数早已被确定。本节我们用Grobner基方法来计算其维数级数的发生函数和基函数。 设Δ是单连通区域D上的三角剖分,f_0~0(Δ)是Δ内点的个数,f_1~0(Δ)是内网线的个数,f_2~0(Δ)是三角形的个数,我们有     

二元二次分片多项式插值样条函数

本文在Ⅱ型剖分下,研究一类二元二次分片多项式插值样条函数,采用局部坐标系和本文定理1的拼接技巧,揭示了二元二次样条与一元二次样条之间的紧密联系,只要在垂直网线和水平网线上先构造出一元二次样条并求出它们在节点上的一些数据,就可直接写出二元二次样条的分块解析表示式,利用这种技巧,可以进一步研究各种类型的插值样条,还可用来研究双周期或单周期的插值样条。 本文证明了,这类样条函数具有与一元二次样条相同的逼近阶,具体来讲,在不均匀剖分且f(x,y)∈C~3[α,b;c,d]时,它的逼近阶是2,在均匀剖分且f(x,y)∈C~4[α,b;c,d]时,其逼近阶是3,用本文的方法去研究其他各类插值样条,发现也有这种逼近性质。     

关于非均匀剖分下多元样条空间S_2~1(△_(mn)~(2))的拟插值算子

１引言随着计算机科学技术的发展,多元样条在力学和计算机辅助几何设计（ＣＡＧＤ）中的应用越来越引起人们极大兴趣．然而,由于一般剖分下样条空间的研究有相当的难度,迄今为止只对于一些特殊剖分的样条空间取得了一定的进展,如：矩形剖分,均匀的１－型,２－型三角剖分等．王仁宏和崔锦泰讨论了均匀２－型三角剖下的拟插值算子以及其逼近性质,鉴于在工程和实际应用中均匀剖分具有一定局限性,作者在文献（［１］,［３］）的基础上,对于非均匀２－型三角剖分,给出了一类拟插值算子,并研究了它的逼近性质．同时,利用其构造了一类…     

拟贯穿剖分上分片代数曲线的Nother型定理

代数曲线的Nother定理是代数几何中经典并且十分重要的结论.作为二元样条的零点集,分片代数曲线是经典代数曲线的推广.分片代数曲线的Nother型定理对研究二元样条空间的Lagrange插值有至关重要的作用.利用拟贯穿剖分的特点、二元样条的性质与代数几何的相关知识,给出了拟贯穿剖分上分片代数曲线的Nother型定理.     

Delaunay configurations and multivariate splines: A generalization of a result of B. N. Delaunay

In the 1920s, B. N. Delaunay proved that the dual graph of the Voronoi diagram of a discrete set of points in a Euclidean space gives rise to a collection of simplices, whose circumspheres contain no points from this set in their interior. Such Delaunay simplices tessellate the convex hull of these points. An equivalent formulation of this property is that the characteristic functions of the Delaunay simplices form a partition of unity. In the paper this result is generalized to the so-called Delaunay configurations. These are defined by considering all simplices for which the interiors of their circumspheres contain a fixed number of points from the given set, in contrast to the Delaunay simplices, whose circumspheres are empty. It is proved that every family of Delaunay configurations generates a partition of unity, formed by the so-called simplex splines. These are compactly supported piecewise polynomial functions which are multivariate analogs of the well-known univariate B-splines. It is also shown that the linear span of the simplex splines contains all algebraic polynomials of degree not exceeding the degree of the splines.

     

Error analysis in interpolation by bivariate C1-splines

In two recent papers by Nürnberger & Riessinger algorithmswere developed for constructing point sets at which unique Lagrangeinterpolation by spaces of bivariate splines of arbitrary degreeand smoothness on uniform-type triangulations is possible. Furthermorein Nürnberger (1996 J. Approx. Theory 87, 117-136) we provedthat similar Hermite interpolation sets yield (nearly) optimalapproximation order. This was done for differentiable splinesof degree at least four defined on domains divided into subrectangleswith one diagonal. In this paper, we analyze the error of Hermiteinterpolation by differentiable splines of arbitrary degree,where to each subrectangle of the partition two diagonals areadded, and show that this method yields (nearly) optimal approximationorder. The method of proof is different from that used in Nürnberger(1996). Finally, numerical examples and applications to datafitting are given.     

Infinitesimal transformations on noncompact manifolds

Summary The object of study in this paper is the A_x-operator associated to a Killing field (resp. to an infinitesimal analytic transformation) on Riemannian (resp. Kähler) complete but noncompact manifolds. We recall (§ 1) Kostant's and Lichnéroivicz's Theorems for that operator in the compact case and we dedicate, § 2 and § 3 to study all the simply-connected noncompact manifolds in which similar results to that theorems do not hold, we give examples of all these cases. § 4 is dedicated to give sufficient conditions in order to ensure the validity of similar results to that above mentioned, on complete noncompact manifolds. The hypothesis used refer to vector fields whose norm are either pointwise bounded or globally bounded.Partially supported by C.A.I.C.Y.T. 1085-84.     

Interpolating Cubic Spline Wavelet Packet on Arbitrary Partitions

In many applications, the splines on an arbitrary partition are very useful. In this paper, a spline wavelet structure is created in the way that it provides a multiresolution approximation of the spline subspaces with arbitrary partition in the space of continuous functions on a finite interval. Based on the wavelet basis and the wavelet packet in this structure, a multi-level interpolation method is developed for decomposing a function into wavelet series and reconstructing it from its wavelet representation.     

特殊形式的多元有理样条插值

有理样条插值问题最早是由R.Schaback提出的,由于R.Schaback考虑此问题时涉及到了非线性方程组的求解,因而实现起来比较复杂.后来,王仁宏等研究了几类特殊形式的插值有理样条函数,避开了求解非线性方程的困难.能否在多元情形下建立类似的结果?本文对此作出了肯定的回答,并就二元情形的三角剖分和四边形剖分建立了几类特殊形式的插值多元有理样条,构造性地证明了解的存在性和唯一性.     

A new formulation of Bernstein-Bezier based smoothness conditions forpp functions

In this note, we establish a new formulation of smoothness conditions for piecewise polynomial (: =pp) functions in terms of the B-net representation in the general n-dimensional setting. It plays an important role for 2-dimensional setting in the constructive proof of the fact that the spaces of polynomial splines with smoothness r and total degree k≥3r+2 over arbitrary triangulations achieve the optimal approximation order with the approximation constant depending only on k and the smallest angle of the partition in [5].     

一元B样条的B网观点

1.问题的提出 近年来,多元样条的研究进程表明,从多变量的观点重新认识一元样条的理论是很有必要的.本文运用重心坐标,以近代的B网方法为工具,重新探讨一元分片多项式的结构,进而为研究多元样条提供工具. 假设Q_n(t)是给定的分割:     

GB-splines of arbitrary order

Explicit formulae and recurrence relations for the calculation of generalized B-splines (GB-splines) of arbitrary order are given. We derive main properties of GB-splines and their series, i.e. partition of unity, shape-preserving properties, invariance with respect to affine transformations, etc. It is shown that such splines have the variation diminishing property and are Chebyshevian splines.     

关于三次样条函数导数的某些不等式

设△:。~x。相似文献   

Spline Surfaces over Arbitrary Topological Meshes: Theoretical Analysis and Application

Based on polyhedral splines, some multivariate splines of different orders with given supports over arbitrary topological meshes are developed. Schemes for choosing suitable families of multivariate splines based on pre-given meshes are discussed. Those multivariate splines with inner knots and boundary knots from the related meshes are used to generate rational spline shapes with related control points. Steps for up to $C^2$-surfaces over the meshes are designed. The relationship among the meshes and their knots, the splines and control points is analyzed. To avoid any unexpected discontinuities and get higher smoothness, a heart-repairing technique to adjust inner knots in the multivariate splines is designed.With the theory above, bivariate $C^1$-quadratic splines over rectangular meshes are developed. Those bivariate splines are used to generate rational $C^1$-quadratic surfaces over the meshes with related control points and weights. The properties of the surfaces are analyzed. The boundary curves and the corner points and tangent planes, and smooth connecting conditions of different patches are presented. The $C^1$−continuous connection schemes between two patches of the surfaces are presented.