五点二重融合型细分法

提出了一种新的细分算法——五点二重融合型细分法.利用生成多项式对该细分法的一致收敛性和C~k连续性进行了分析,通过对融合型细分法中参数的不同取值,可以分别生成C~1～C~6连续的极限曲线.数值实例表明,与现有一些格式相比,细分算法生成的极限曲线不仅可以保持较高光滑性,并且更接近初始控制多边形.     

一类具有优良性质的五点二重逼近细分格式（英文）

提出了一类带两个形状参数的五点二重逼近细分格式.这类格式具有一些优良的性质:高阶连续性、可调性和多项式再生性质.对于参数的某些取值范围极限曲线可以达到C~k(k=0,1,…,7)连续,分析了一类特殊情况的多项式再生性质.实例表明该格式的有效性和灵活性.     

具有多项式衰减面具的向量细分格式

具有多项式衰减面具的向量细分方程在刻画小波Riesz基和双正交小波等方面有着重要作用.本文主要研究这类方程解的性质.向量的细分方程具有形式：Ф=∑α∈Zsa（α）（2·-α）,其中Ф=（Ф1,...,Фr）T是定义在Rs上的向量函数,a：=（a（α））α∈Zs是一个具有多项式衰减的r×r矩阵序列称为面具.关于面具a定义一个作用在（Lp（Rs））r上的线性算子Qa,Qaf：=∑α∈Zsa（α）f（2·α）.迭代格式（Qanf）n=1,2,...称为向量细分格式或向量细分算法.本文证明如果具有多项式衰减面具的向量细分格式在（L2（Rs））r中收敛,那么其收敛的极限函数将自动具有多项式衰减.另外,给出了当迭代的初始函数满足一定的条件时的向量细分格式的收敛阶.     

六点Binary逼近细分法

提出了一种新的细分算法——六点Binary逼近细分法.利用生成多项式等方法对细分法的一致收敛性和Ck连续性进行了分析,通过对细分法中张力参数μ的不同取值,极限曲线可达到C~0~C~7连续.特别是当μ=11/1024时,极限曲线可达到C9连续.数值算例表明,该方法是合理有效的.     

一类新的(2n-1)点二重动态逼近细分

利用正弦函数构造了一类新的带有形状参数ω的(2n-1)点二重动态逼近细分格式.从理论上分析了随n值变化时这类细分格式的C~k连续性和支集长度;算法的一个特色是随着细分格式中参数ω的取值不同,相应生成的极限曲线的表现张力也有所不同,而且这一类算法所对应的静态算法涵盖了Chaikin,Hormann,Dyn,Daniel和Hassan的算法.文末附出大量数值实例,在给定相同的初始控制顶点,且极限曲线达到同一连续性的前提下和现有几种算法做了比较,数值实例表明这类算法生成的极限曲线更加饱满,表现力更强.     

渐近于Hermite多项式的双正交系统

本文利用渐近于Gauss函数的函数类?,给出渐近于Hermite正交多项式的一类Appell多项式的构造方法,使得该序列与?的n阶导数之间构成了一组双正交系统.利用此结果,本文得到多种正交多项式和组合多项式的渐近性质.特别地,由N阶B样条所生成的Appell多项式序列恰为N阶Bernoulli多项式.从而,Bernoulli多项式与B样条的导函数之间构成了一组双正交系统,且标准化之后的Bernoulli多项式的渐近形式为Hermite多项式.由二项分布所生成的Appell序列为Euler多项式,从而,Euler多项式与二项分布的导函数之间构成一组双正交系统,且标准化之后的Euler多项式渐近于Hermite多项式.本文给出Appell序列的生成函数满足的尺度方程的充要条件,给出渐近于Hermite多项式的函数列的判定定理.应用该定理,验证广义Buchholz多项式、广义Laguerre多项式和广义Ultraspherical(Gegenbauer)多项式渐近于Hermite多项式的性质,从而验证超几何多项式的Askey格式的成立.     

几何造型的有理矩阵细分方法

Ｍｉｃｃｈｅｌｌｉ,Ｐｒａｕｔｚｓｃｈ给出了一类生成曲线的细分法－矩阵细分方程,但该方法仅能生成多项式类型的曲线,为了弥补其不足,本文提出了有理矩阵细分方法,并证明了其生成曲线的优良性质,例如凸包性,几何不变性,变差缩减性等。     

基于逼近型细分的诱导细分格式

利用逼近型细分构造插值型细分是细分领域中的一个重要问题,目前可以给出插值型细分生成函数的研究还非常少.本文给出一个生成函数的统一公式,该公式由逼近型细分的生成函数与一个子生成函数构成.该公式对应一个插值型细分或者逼近型细分,这个取决于子生成函数的选取.该公式在理论和实际中都很重要.首先,这个公式适用于任意伸缩矩阵的多元基本型细分;其次,不论是一元细分还是多元细分,推导这个统一公式都不需要求解线性方程组;再次,这个公式具有显著的几何意义,应用方便;最后,从理论上分析诱导细分的零条件和多项式再生性,本文发现这些性质不仅与逼近型细分的零条件有关,而且与逼近型细分的多项式再生性有关,从而对细分格式的构造有指导意义.本文给出3个例子来说明这个统一公式.     

插值细分曲线有理参数点的精确求值

本文提出了求值插值细分曲线上任意有理参数的算法.通过构造与细分格式相关的矩阵,m进制分解给定有理数以及特征分解循环节对应算子乘积,计算得到控制顶点权值,实现对称型静态均匀插值细分曲线的求值.本文给出了四点细分和四点Ternary细分曲线的求值实例.算法可以推广到求值其他非多项式细分格式中.     

关于Lucas多项式平方和的恒等式

利用广义Lucas多项式L n(x,y)的性质,通过构造组合和式T n(x,y;tx2),结合Bernoulli多项式的生成函数和Euler多项式的生成函数,采用分析学中的方法,得到两个有关L2n(x,y)的恒等式.并从这一结果出发,得到了两个推论,推广了相关文献的一些结果.     

A Unified Ternary Curve Subdivision Scheme

A unified $m\,(m>2)$-point ternary scheme with some parameter is proposed. The continuity of subdivision scheme is analyzed based on the relationship between the subdivision scheme and difference scheme. Moreover, the proposed subdivision is extended to asymmetric multi-parameter subdivision and the asymmetric schemes in four cases are presented in detail. Some examples are given to show that the presented scheme has better approximating effect.     

Shape controlled interpolatory ternary subdivision

Ternary subdivision schemes compare favorably with their binary analogues because they are able to generate limit functions with the same (or higher) smoothness but smaller support.In this work we consider the two issues of local tension control and conics reproduction in univariate interpolating ternary refinements. We show that both these features can be included in a unique interpolating 4-point subdivision method by means of non-stationary insertion rules that do not affect the improved smoothness and locality of ternary schemes. This is realized by exploiting local shape parameters associated with the initial polyline edges.     

广义近似空间的粗糙同胚与拓扑同胚

对广义近似空间之间的映射引入并刻画了粗糙连续性和拓扑连续性,探讨了他们的性质及相互关系.证明了两个粗糙连续映射的复合还是粗糙连续的,每个粗糙连续的映射都是拓扑连续的.在此基础上引入了粗糙同胚性质和拓扑同胚性质的概念,证明了拓扑同胚性质均为粗糙同胚性质并考察了广义近似空间的诸如分离性、连通性、紧性等的粗糙同胚不变性和拓扑同胚不变性.     

Analysis of a 6-point binary subdivision scheme

In this paper, a linear 6-point binary approximating subdivision scheme with support [−6, 5] is fully investigated. It is shown that the scheme is simple and has elegant properties. We prove that the scheme can have high order continuity, polynomial reproduction and convexity preserving properties simultaneously. Furthermore, we explore the trade-offs among these properties. Examples are given to demonstrate the efficiency and flexibility of the scheme.     

交换环上多项式结式的性质

本文主要讨论交换环上多项式结式的一些性质.首先,我们证明了交换环上一种乘积的结式等于结式的乘积的性质,然后,我们证明了交换环上一种和的结式具有的性质,并且给出了交换环上结式为零的一个充分条件.     

Recursive polynomial curve schemes and computer-aided geometric design

A class of polynomial curve schemes is introduced that may have widespread application to CAGD (computer-aided geometric design), and which contains many well-known curve schemes, including Bézier curves, Lagrange polynomials, B-spline curve (segments), and Catmull-Rom spline (segments). The curves in this class can be characterized by a simple recursion formula. They are also shown to have many properties desirable for CAGD; in particular they are affine invariant, have the convex hull property, and possess a recursive evaluation algorithm. Further, these curves have shape parameters which may be used as a design tool for introducing such geometric effects as tautness, bias, or interpolation. The link between probability theory and this class of curves is also discussed.Communicated by Klaus Höllig.     

Hölder Continuity of Solutions to Parametric Vector Equilibrium Problems with Nonlinear Scalarization

In this article, using the nonlinear scalarization approach by virtue of the nonlinear scalarization function, commonly known as the Gerstewitz function in the theory of vector optimization, Hölder continuity of solution mappings for both set-valued and single-valued cases to parametric vector equilibrium problems is studied. The nonlinear scalarization function is a powerful tool that plays a key role in the proofs, and its main properties (such as sublinearity, continuity, convexity) are fully employed. Especially, its locally and globally Lipschitz properties are provided and the Lipschitz property is first exploited to investigate the Hölder continuity of solutions.     

流体力学中的差分方法(Ⅱ)——三维涡度方程的数值解

有关三维涡度方程的数值计算方面的工作已有[1—3],但缺乏比较系统的理论分析.在[4]中,以二维涡度方程为例,讨论了流体力学差分方法的一些理论问题.本文是把这些结果推广到三维.     

参数保形插值中决定切矢的方法

由分段三次参数多项式曲线拼合成的Ｃ１插值曲线的形状与数据点处的切矢有很大关系．基于对保形插值曲线特点的分析，本文提出了估计数据点处切矢的一种方法：采用使构造的插值曲线的长度尽可能短的思想估计数据点处的切矢，并且通过四组有代表性的数据对本方法和已有的三种方法进行了比较．     

Interactive shape preserving interpolation by curvature continuous rational cubic splines

A scheme is described for interactively modifying the shape of convexity preserving planar interpolating curves. An initial curve is obtained by patching together rational cubic and straight line segments. This scheme has, in general, geometric continuity of order 2(G² continuity) and preserves the local convexity of the data. A method for interactively modifying such curves, while maintaining their desirable properties, is discussed in detail. In particular, attention is focused upon local changes to the curve, while retaining G² continuity and shape preserving properties. This is achieved by interactive adjustment of the Bézier control points, followed by automatic adjustment of the values of weights and curvatures in a prescribed manner. A number of examples are presented.