非线性变换生成的分形插值函数.docVIP

PAGE PAGE 1 一类非线性变换下的二次分形插值函数* *收稿日期： 基金项目：国家自然科学基金项目 作者简介：余跃（1978－），男，江苏南通人，在读博士(Yu.Y@ntu.edu.cn)，从事非线性系统的理论研究。 余跃1 殷久利2 (1.南通大学 理学院 江苏 南通 226007；2.江苏大学 理学院 江苏 镇江 212013) 摘要： 应用分形插值方法可以模拟出预先给定的不同粗糙度的分形曲线和曲面，它能够更好地刻画出自然界中普遍存在的处处不光滑的连续形貌。因此，分形插值理论的研究有着十分重要的意义。文章介绍一类非线性变换生成的分形插值函数，探讨了它的产生机理以及生成它的迭代函数系所满足的充要条件，在此基础上给出二次分形插值函数存在唯一性的证明。研究此类分形插值函数的插值问题将为计算机图形学和景物仿真从理论上提供新的方法，具有重要的实际应用价值。 [关键词] 分形插值；双曲型迭代函数系；二次定比 [中图分类号] O184 [文献标识码] A [文章编号] 1 引言 分形插值是美国数学家M.F.Barnsley于1986年提出来的，它给出了拟合数据的一种新思想和新方法。对分形插值函数的研究，有许多文献已经做了很多工作。M.F.Barnsley[3,4]首先利用了一组仿射变换产生的迭代函数系()生成分形插值曲线对平面上一组节点进行插值。谢和平，Dalla[5,6]等研究了分形插值曲面的方法。冯志刚等[7,8,9]对分形插值曲线的稳定性进行了理论和实验的研究。余跃[10,11]研究了样条分形插值曲线的构造以及三阶分形样条边界条件。通过分形曲线的研究可以拟合出实际应用中景物表面形态的逼真效果和形态，因此这一数值方法已经成为自然景物造型和计算机图形仿真的有力工具。 Barnsley发现的一类特殊的，这些的不变集恰是定义在闭区间上的连续函数的图象，由此引出了分形插值函数的概念。 考虑 上的情形: 上一类插值节点： ｛｝。 此时双曲迭代函数系通过以下方式构造{} 这里是压缩的同胚映射， 是满足Lipschitz条件的一类函数。 通过以下方式构造： ， ， 取一组仿射变换： ， (1) (2) 称之为垂直比例因子，即可满足插值条件。同时此类线性迭代函数系生成的分形插值函数也可简称为仿射分形插值函数（）。Barnsley等证明了线性分形插值曲线的存在唯一性，并对此插值曲线的维数作了研究。 2 一类双参数下的二次分形插值函数 在以前的分形插值中，成为纵轴上的比例因子，可以称之为一种线性定比。 下面，我们考虑插值于数据集合 上用非线性变换（3），（4）构成的：{}，其中 ， (3) (4) 其中都是实常数，除了垂直方向的线性定比参数之外又增加了二次定比参数，相应的仿射变化变成非线性变换，插值生成的图像为双参数二次分形插值函数。下面我们来讨论取值的情况。 为了满足插值条件，迭代函数系要满足： (5) 由于在轴方向变换效果不变，故有： ， (6) 至于在轴方面必须满足方程组： (7) 考虑到在非线性项时候，必须与线性情况符合，故有： (8) 由(7)，(8)可以推出： ， 从而得到： ， 最后得到， (9) 其中为自由参量。垂直比例因子和的约束条件将由定理1证明给出。 3 存在唯一性及其连续性 定理1 对于(3),(4)所生成的，存在上一个相当于欧几里得度量的度量，关于，当和满足一定约束条件时，上述是双曲的，从而存在一个非空紧集,使. 证明：定义上的度量为： （为正实数）易证此度量等价于欧几里得度量。代入（3），（4）则有 由已知，，则如果，则取，否则取 ，均保证 是双曲的，还必须有，分形插值函数为连续函数则必有最值区间，故必有自由参量满足： ，，从而保证是压缩映射，从而定理得证。 定