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

具有多项式衰减面具的向量细分方程在刻画小波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中收敛,那么其收敛的极限函数将自动具有多项式衰减.另外,给出了当迭代的初始函数满足一定的条件时的向量细分格式的收敛阶.     

Subdivision schemes with nonnegative masks

The conjecture concerning the characterization of a convergent univariate subdivision algorithm with nonnegative finite mask is confirmed.

     

Subdivision algorithms with nonnegative masks generally converge

In this paper, a subdivision scheme consists of an operator froml () tol () determined by a doubly infinite sequence, called the mask. This operator convolutes, in a certain sense, sequences l () with the mask, thus producing a new sequence inl (). Moreover, this new sequence is placed on a finer grid. If we iterate this process with a positive mask infinitely many times, it is known that this process will produce a continuous function, which we callf . In this paper, we consider the extent to which non-negative masks yield similar results. An important application of subdivision schemes in computer graphics is the generation of curves and surfaces from an initial sequence.     

Regularity of refinable functions with exponentially decaying masks

The regularity of refinable functions is an important issue in all multiresolution analysis and has a strong impact on applications of wavelets to image processing, geometric and numerical solutions of elliptic partial differential equations. The purpose of this paper is to characterize the regularity of refinable functions with exponentially decaying masks and a dilation matrix whose eigenvalues have the same modulus. The main results of this paper are really extensions of some results in Cohen et al. (1999) [5], Jia (1999) [17] and Lorentz and Oswald (2000) [28].     

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

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

On multivariate subdivision schemes with nonnegative finite masks

We study the convergence of multivariate subdivision schemes with nonnegative finite masks. Consequently, the convergence problem for the multivariate subdivision schemes with nonnegative finite masks supported on centered zonotopes is solved. Roughly speaking, the subdivision schemes defined by these masks are always convergent, which gives an answer to a question raised by Cavaretta, Dahmen and Micchelli in 1991.

     

Subdivision schemes inL p spaces

Subdivision schemes play an important role in computer graphics and wavelet analysis. In this paper we are mainly concerned with convergence of subdivision schemes inL _p spaces (1≤p≤∞). We characterize theL _p -convergence of a subdivision scheme in terms of thep-norm joint spectral radius of two matrices associated with the corresponding mask. We also discuss various properties of the limit function of a subdivision scheme, such as stability, linear independence, and smoothness.     

Interpolatory subdivision schemes with infinite masks originated from splines

A generic technique for the construction of diversity of interpolatory subdivision schemes on the base of polynomial and discrete splines is presented in the paper. The devised schemes have rational symbols and infinite masks but they are competitive (regularity, speed of convergence, computational complexity) with the schemes that have finite masks. We prove exponential decay of basic limit functions of the schemes with rational symbols and establish conditions, which guaranty the convergence of such schemes on initial data of power growth. Mathematics subject classifications (2000) 65D17, 65D07, 93E11     

Subdivision schemes for iterated function systems

We identify iterated function systems and regular Borel measures such that the matrix subdivision process relative to a finite family converges if and only if satisfies certain spectral properties.     

Characterization of some convergent bivariate subdivision schemes with nonnegative masks

Knowing that the convergence of a multivariate subdivision scheme with a nonnegative mask can be characterized by whether or not some finite products of row-stochastic matrices induced by this mask have a positive column. However, the number of those products is exponential with respect to the size of matrices. For nonnegative univariate subdivision, this problem is completely solved. Thus, the convergence in this case can be checked in linear time with respect to the size of a square matrix. This paper will demonstrate the necessary and sufficient conditions for the convergence of some nonnegative bivariate subdivision schemes by means of the so-called connectivity of a square matrix, which is derived by a given mask. Moreover, the connectivity can be examined in linear time with respect to the size of this matrix.     

A new characterization of convergent multivariate subdivision schemes with nonnegative masks

We present in this paper new necessary and sufficient conditions for convergence of multivariate subdivision schemes with nonnegative finite masks, which simplify the assertion obtained by Wang in (J Approx Theory 113:207–220, 2001). Moreover, we construct an example, which shows that the convergence behaviors for univariate subdivision schemes and multivariate ones are essentially different.     

Subdivision schemes with general dilation in the geometric and nonlinear setting

We establish results on convergence and smoothness of subdivision rules operating on manifold-valued data which are based on a general dilation matrix. In particular we cover irregular combinatorics. For the regular grid case results are not restricted to isotropic dilation matrices. The nature of the results is that intrinsic subdivision rules which operate on geometric data inherit smoothness properties of their linear counterparts.     

Some sufficient conditions for convergent multivariate subdivision schemes with nonnegative finite masks

It is well known that the convergence of multivariate subdivision schemes with finite masks can be characterized via joint spectral radius. For nonnegative masks, we will present in this paper some computable simply sufficient conditions for the convergence, which will cover a substantially large class of schemes.     

基于一种新的集合插值的非凸紧集的细分概型

对A rtstein给出的度量平均的定义作了改进,给出一种新的集合插值,并基于这种新的集合插值,对相应的关于一般紧集的样条细分和插值细分分别作了研究,并给出了细分的收敛性性质.与此同时,将这种新的集合插值与基于度量平均的插值及基于M inkow sk i平均的插值分别作了比较,可以看出新的集合插值在某些方面具有更好的物理性质.     

Subdivision schemes for the fair discretization of the spherical motion group

We present two subdivision schemes for the fair discretization of the spherical motion group. The first one is based on the subdivision of the 600-cell according to the tetrahedral/octahedral subdivision scheme in [S. Schaefer, J. Hakenberg, J. Warren, Smooth subdivision of tetrahedral meshes, in: R. Scopigno, D. Zorin (Eds.), Eurographics Symposium on Geometry Processing, 2004, pp. 151–158]. The second presented subdivision scheme is based on the spherical kinematic mapping. In the first step we discretize an elliptic linear congruence by the icosahedral discretization of the unit sphere. Then the resulting lines of the elliptic three-space are discretized such that the difference in the maximal and minimal elliptic distance between neighboring grid points becomes minimal.     

Locally polynomially bounded structures

We prove a theorem which provides a method for constructingpoints on varieties defined by certain smooth functions. Werequire that the functions be definable in a definably completeexpansion of a real closed field and be locally definable ina fixed o-minimal and polynomially bounded reduct. As an applicationwe show that in certain o-minimal structures, definable functionsare piecewise implicitly defined over the basic functions inthe language.     

Ambarzumyan‐type theorem with polynomially dependent eigenparameter

In this paper, we are concerned with the inverse Sturm–Liouville problem with polynomially dependent eigenparameter in discontinuity and boundary conditions. By using a self‐adjoint operator‐theoretic interpretation for this sort of problem, Ambarzumyan theorem is provided for the mentioned Sturm–Liouville operator. Copyright © 2014 John Wiley & Sons, Ltd.     

On order polynomially complete lattices

One of the problems in the theory of order polynomially complete lattices is the question whether an order polynomially complete lattice is necessarily finite. In this note we give a partial answer to this problem by showing: No unbounded lattice is order polynomially complete. From this we deduce that a polynomially complete lattice cannot be countably infinite.Presented by I. Rosenberg.