分形插值的三类几何形式及其自由控制理论.pdfVIP

中文摘要 本文讨论了分形插值问题(FIP)，分析了分形插值问题的三种几何形 式，建立了三种分形插值的自由控制理论。首先，对分形集合的彼此相似 与自相似概念作了推广与分类，提出了一系列概念，获得了关于度量自相 似与拟度量自相似集合的局部与整体之间的维数关系定理．其次，提出了 可以利用光滑性，来区分分形曲线(定义为非分段光滑)与非分形曲线(定 义为分段光滑哇Il线)的概念，使得对分形曲线的定义，不仅严格化而且便 于判断。提出了分形插值应该有三种几何形式，即Y值形式(平向插值)、 口值形式(旋向插值)、P值形式(径向插值)．明确区分了插值函数与插 值曲线的概念，给出了分形插值问题的一般定义，并对三类分形插值问题 给出了统一处理，证明了在仿射IFS、全息IFS、局息IFS下，三类分形 插值曲线都是连续的参数曲线．然后，定义了直角坐标空间带状分解与极 坐标空间的x型分解，证明了直角坐标空间的带状分解与极坐标空间的x IFS下，讨论了Y值、p值、P值三类插值曲线的维数关系．获得了三者 的维数关系定理．最后，建立了分形插值自由控制理论，包括形状控制理 论与范围控制理论．讨论了Y值、日值、P值三类插值曲线的形状控制方 法(局息方法)与范围控制方法(上下栏函数方法)，获得了一系列中间结 果，给出了最一般的形状范围控制定理，并得到了一系列推论．同时，分别 在仿射IFS、全息IFS、局息IFS下，对Y值、口值、P值三类插值曲线 给出了绘图实例。主要结果如下。 1．对分形集合的相似与自相似概念作了推广与分类，得到了如下度 量自相似的维数定理． 定理A 设D是R2中的有界闭集，§[D】是D上的分形空间。设 {w0鉴。是D上迭代函数系(IFS)，是其D上提升映射。设GC§【D] 是其不动集，亦即 G=w(a)=U，(G)． t=1 记G；=w，(G)。 (1)若G是(全息)度量自相似集合，或者G是局息度量自相似集 合，则对任意i(1≤i≤Ⅳ)，有 dimHq=dimHG，dimBGl=dimBG (2)若G是(全息)拟度量自相似集合，或者G是局息拟度量自相似 集合，并设岛。O=1，2，…，N)为G的非退化子集，G^(t=1，2，．，N)为 G的退化子集．则对任意菲退化子集G，。(t=1，2，．．，Ⅳ)，有 dimHq±=dimHG，dimBG^=dimBG 2．对于三类插值曲线(Y值、0值、p值)的仿射IFS、全息IFS、 局息IFS(宏函数Lipschitz连续)，证明了它们都是双曲IFS。并证明了局 息IFS(宏函数一般连续)与一个全息IFS拓扑共轭，得到了相应定理。 利用一般的局息IFS方法，可以实现分型插值曲线的局部结构与整体形状 的自由控制，主要结果如下． 定理B 已知{0饕。是FIP的局息插值IFS。设{(6，吼))譬，是 宏插值数据组， {悖，({))墨。是微插值数据组， [o，b]是插值区间，D= {(∈，q)∈R2：a≤∈S b}是插值区域。自变量压缩率记为{啦)冬，、因 变量压缩率设为{d1)冬1。设宏线吼在插值区间上是Lipschitz连续的， Lipschitz常数为L。记 H2黑皿，M。嚣尬，”。m蜓ax。啦，扣唧1TIa!．x。4t。 则 常数。则(R2，Pk)是完备度量空间，且m与欧氏度量舶度量等价。 (2){姒滗。是完备度量空间(R2，肌)中上D压缩IFS，并存在欧氏 c 空间R2中唯一的紧集AD，使得 A=w(A)=Uwi(A)， t=l 其中为D上{w0坠。的提升映射。 (3)存在f∈Fhb】，使得A=G[，]．亦即存在f∈Ghb]，其满 足宏插值条件，(∞=协，(i=0，1，…，礼)，且A是函数，的关系图像． 件，(如)=Yi，0=1，2，．．，n)的Y值插值曲线，且其参数函数FⅣ连续。 ，@)=Pl，0=1，2，…，n)的P值插值曲线，且其参数函数Fp连续。 件，(以)=巩，