二维分形插值函数及其小波类型级数表示

本文对一类很广泛的二维分形插值函数进行了研究，给出了分形插值函数连续的充分必要条件和一种构造迭代函数系统使其吸引子是连续函数的方法，并将分形插值函数表示为一个二维小波类型级数，其“母函数”是由迭代函数系统中的位移函数所决定，这种表示方式不仅提供了一种生成分形插值函数有效方法，而且对研究分形插值函数的性质及所描述的物理对象的特性也是十分有意义。     

一种分形插值函数的最大值问题

通过迭代函数系统构造出一种分形插值函数,从研究迭代过程入手,得到了关于这种自仿射分形插值函数的一些性质和特点.在垂直比例因子1/2d1的情况下,证明最大值的存在性,并计算出此类分形插值函数的最大值.     

一类非均匀分形插值函数的可微性

本文研究一类分形插值函数的可微性问题，通过构造一迭代函数系，利用迭代函数系的唯一吸引子。给出了一类分形插值函数。并获得了此类分形插值函数在[0，1]区间上几乎处处可微和在[0，1]区间上某一点不可微判定的充分条件，推广了文献[2]的结论。     

关于分形插值函数的连续性和可微性

获得了由迭代函数系统(IFS)定义的两类分形插值函数具有Hlder连续性的充分条件,给出了这两类分形插值函数连续可微的充要条件,并证明了可微分形插值函数的导函数是由关联IFS生成的分形插值函数.     

随机迭代函数系统的仿射变换

对分形图形的一种构造方法——随机迭代函数系统,给出了确定一个随机迭代函数系统的原图像经过仿射变换后得到的新图像所对应的随机迭代函数系统的具体步骤,最后用平移、旋转、拉伸和对称变换的例子作了详细的说明.     

闭区间[0,1]上的分形插值函数的分数阶积分

介绍了分形插值函数和迭代函数系统以及v阶黎曼-刘准尔分数阶积分的概念及相关定理.利用这些概念及定理讨论了分形插值函数的分数阶积分在[0,1]上连续性及判定[0,1]上的分形插值函数的分数阶积分也是[0,1]上的分形插值函数,并给予了证明.     

一类分形插值函数的分数阶微积分

介绍了分形插值函数和迭代函数系统以及v阶黎曼-刘维尔分数阶积分、微分的概念和相关定理.由于分形插值函数满足应用分数阶微积分处理问题的条件,所以利用这些概念及分步积分的方法讨论了折线段分形插值函数的分数阶积分的连续性,可微性及哪些点是不可微的,进一步说明了该插值函数分数阶微分的连续性并指出其不连续点,用黎曼-刘维尔分数阶微积分与分形插值函数结合起来研究,目的是想设法跟经典微积分一样,能找出函数上在该点的微积分的具体的实际应用意义.这些理论为研究分形插值函数的分数阶微积分的实际应用意义提供了一些理论基础.     

矩形域上分形插值研究

该文给出了矩形域上分形插值数学模型, 分形插值曲面的计算公式, 证明了分形插值曲面迭代函数系唯一性定理, 导出了分形插值曲面的维数定理,并应用实际数据进行了分形插值曲面的实例研究. 为工程中长期寻求的粗糙表面模拟提供了理论基础和实用方法.     

高维分形函数与插值

1 预备知识 1986年,Barnsley[1]采用某种特殊的迭代函数系统(IFS)构造了分形插值函数(FIF), 在计算机图形学等领域得到了广泛的应用(参见[1,2,5,6])．Massopust[4],J．S．Geronimo和 D．P．Hardin[3]等构造了三角形域上的自仿射分形函数,其图像称为分形曲面。文献[7]发现了矩形区域上分形函数的特征定理,并由此解决了矩形区域的分形插值问题．本文中     

一类扰动迭代函数系生成的分形函数的矩量误差分析

对R3中的仿射迭代函数系进行扰动,得到了一类带扰动项的迭代函数系,它的吸引子是一个二元分形插值函数的图象,研究这类分形插值函数及其矩量的扰动误差问题,给出了相应的误差估计式.     

Topological measures,image transformations and self-similar sets

Summary This paper introduces a novel idea: the concept of an image transformation. We also introduce the closely related concept of a quasi-homomorphism, and study the properties of these mathematical objects, and give several examples. In particular we investigate iterated systems of image transformations, which we believe give a more realistic approach to the study of so called self-similar structures in nature than what is obtained by iterated function systems.     

Type {\mathcal{A}} Sets and the Attractors of Infinite Iterated Function Systems

The present paper belongs to the family of the contributions dedicated to more general iterated function systems. Namely, we consider infinite iterated function systems and cardinality problems concerning their attractors.     

无穷迭代函数系统的遍历定理

度量空间的压缩映射的一个集合称为一个迭代函数系统．凝聚迭代函数系统可以被看成无穷迭代函数系统．研究了紧度量空间上的无穷迭代函数系统．利用Banach极限的特性和均匀压缩性,证明了紧度量空间上无穷迭代函数系统的随机迭代算法满足遍历性．于是,凝聚迭代函数系统的随机迭代算法也满足遍历性．     

Certain Results Concerning the Iterative Function System

Invention of wavelets and fractals have revolutionized several areas of emerging technologies, especially image processing and scientific computing. The iterated function system [2-4,13,17,18,20,25,26,29], inverse problem of images [5,14-16] and wavelet-based numerical methods [6,7,10,19,22,23] are basic in-gredients of these exciting developments. The iterated function system and the collage theorem are among the basic mathematical tools which are consequences of the Banach contraction fixed point theorem. In one of the sections of this paper we have generalized these two theorems applying a generalization of the Banach contraction fixed point theorem due to Edelstein [11]. In the other section we have studied the inverse problem of images by the iterative function system with grey-level in the context of Besov space, extending a result of Forte and Vrscay [16].     

概率度量空间在分形图理论中的应用

给出广义概率度量空间上的随机压缩映射的新定义,统一了概率度量空间中的概率压缩,E-空间中的强压缩,随机度量空间中的几乎处处压缩和均匀压缩的定义.在广义概率度量空间上给出几个新的不动点定理,将概率度量空间中的一些熟知的不动点定理作为推论得到.利用这些不动点定理,得到分形图理论中随机迭代函数系统的遍历性定理.     

A Generalization of the Hutchinson Measure

The Hutchinson measure is the invariant measure associated with an iterated function system with probabilities. Generalized iterated function systems (GIFS) are generalizations of iterated function systems which are obtained by considering contractions from X × X to X, rather than contractions from a metric space X to itself. Along the lines of this generalization we consider GIFS with probabilities. In this paper we prove the existence of an analogue of Hutchinson measure associated with a GIFS with probabilities and present some of its properties. The work was supported by CNCSIS grant 8A;1067/2006.     

A class of continua that are not attractors of any IFS

This paper presents a sufficient condition for a continuum in ? ⁿ to be embeddable in ? ⁿ in such a way that its image is not an attractor of any iterated function system. An example of a continuum in ?² that is not an attractor of any weak iterated function system is also given.     

Hausdorff dimension of self-similar sets with overlaps

We provide a simple formula to compute the Hausdorff dimension of the attractor of an overlapping iterated function system of contractive similarities satisfying a certain collection of assumptions. This formula is obtained by associating a non-overlapping infinite iterated function system to an iterated function system satisfying our assumptions and using the results of Moran to compute the Hausdorff dimension of the attractor of this infinite iterated function system, thus showing that the Hausforff dimension of the attractor of this infinite iterated function system agrees with that of the attractor of the original iterated function system. Our methods are applicable to some iterated function systems that do not satisfy the finite type condition recently introduced by Ngai and Wang.      

On iterated function systems consisting of Kannan maps,Reich maps,Chatterjea type maps,and related results

In this paper we will point out an error in proving some results on finite iterated function systems consisting of Kannan maps, Reich maps and Chatterjea type maps. In this respect, some counter-examples are given. We also answer some open questions on iterated function systems consisting of contractive maps of Reich type and we present revisions of some theorems on iterated function systems consisting of Kannan, Reich and Chatterjea type maps, by adding a commutativity assumption on the maps.