一类二元分形函数分形性质.docVIP

一类二元分形函数分形性质摘要：分形函数的研究在分形几何中占有重要的地位，在分形函数的研究中分形维数的讨论则是一个重要的数学手段。由迭代产生的分形函数的维数已基本解决。文章对另一类分形函数进行了研究，并用网立方体与函数相交的方法对该分形函数的Box维数的上下界、填充维及Hausdorff维数上界进行了估计，同时讨论了该分形函数Holder条件，并把结果推广到了Bush函数，最终使该分形函数的一些分形性质得到了解决。 关键词：b-进制；分形函数；Box维数；Hausdorff维数；填充维数 一、引言 19世纪，人们了解了连续和可微的性质及二者之间的关系，随之一个处处连续、点点不可微的函数是否存在成为研究热门。在一代代科学家的研究推动下，近年来，随着一门新兴的数学分支-分形几何的诞生及迅猛发展，无处可微连续函数已成为分形几何的一类重要研究对象，对于分形函数复杂性的分析在分形学中不仅具有重要的理论意义，而且具有重要的应用价值。杨晓玲、王宏勇等人研究了Kiesswetter函数、Bush函数等一些分形函数的有关问题。杨卫国对Bush函数进行了推广，构造了一类新的函数并证明了它的连续不可微性，本文将在《一类连续不可维函数的分形性质》研究的基础上对由《一类无处可微连续函数》构成的二元分形函数的一些分形性质进行研究讨论。 二、基本概念 定义1：设x∈[0，1]，其b进制小数表示为： x=0.x1x2……xn…＝ xn∈{0，1，2，…，b-1} 定义函数： u＝f（x）＝ uk（ ）k ① 其中λ＞0，b是大于2的整数，u1=1，当k≥2时 uk＝uk-11- uk-1 文献《一类无处可微连续函数》证明了该函数若满足λ＞1时，b＞1+λ；0＜λ≤1时，b＞1+ 则是一类无处可微连续函数。 定义2：设F是Rn上任意非空的有界子集，Nδ（F）是直径最大为δ，可以覆盖F的集的最少个数，则F的上下计盒维数分别定义为： dimBF= dimBF= 如果这两个值相等，则称这共同的值为F的计盒维数或盒维数。记为dimBF=。 定义3：设E 为Rn中的一非空有界集，对δ0，集合E 的一个δ-填充指的是球心在E上，半径最多为δ的互不相交的可数球族。对s≥0，定义Pδs（E）＝sup{Σ|Ui|s：{Ui}}为E的δ-填充}，那么PSδ（E）为δ的非增函数，故可取极限ps0（E）＝ Psδ（E），但P0S（E）不是一个测度，因为它不满足可数可加性。为此，定义Ps（E）＝inf P0s（Ei）：E?奂∪ Ei。其中下确界是对E的所有可数覆盖集而取。这是Rn上一个测度，称为s维填充测度。集合E 的填充维数dimp（E）=inf{s：Ps（E）＝0}＝sup{s：Ps（E）＝∞}。 定义4：由《一种新的Bush型分形曲面及其维数》构造如下二元函数： I2=[0，1]×[0，1]?奂R2，对任意x，y∈[0，1]，其分形b-进制表达式分别为： x=0.x1x2…xk…= xk∈（0.1，…，b-1）② y=0.y1y2…yk…＝ yk∈（0.1，…，b-1）③ 定义I2的二元函数： z=g（s，y）＝p（x，y）f（x）+q（x，y）f（y）④ p（x，y），q（x，y）为定义在I2的两个具有连续偏导数的函数，且对任意（x，y）∈I2都有p（x，y）≠0，f（x）是①所定义的函数，显然④所定义的函数是I2上的连续函数，且当λ＞0，b＞1+λ或λ≤1，b＞1+ 时是处处连续不可微的。 令G表示g（x，y）的图像，G＝graph={（x，g（x，y））：（x，y）∈I2}，令osc（g，Δ）为g（x，y）在任意区间Δ?奂I2上的最大，osc（g，Δ）＝sup{θ|g（x，y）-g（x’，y’）|：（x，y），（x’，y’）∈Δ}。 引理1：dimPF≤dimBF； 引理2：设F?奂Rn是紧集，且对所有与F相交的开集 dimB（F∩V）=dimBF，则dimPF＝dimBF； 引理3：设E是Rn中非空有界集，则dimHE≤dimBE。 三、主要定理 定理1：G的Box维上下界满足条件： 0＜λ≤1，b＞ ，3-logb ≤dimBG≤dimBG≤3-logb1+λ； λ＞1，b＞1+λ，3-logb1+λ≤dimBG≤dimBG≤3-logb 。 证明：对任意（x，y）∈I2，x，y的b-进制表示式分别为②、③。存在一个充分大的n，使得xn＜b-1，yn＜b-1，将区间I进行bn等份，得到b2n个小立方体Δij，i，j＝1，2，…，bn。Δij每边的边长为b-n。