汤亮,周佩娟,钟婷.参数函数$\epsilon$取边际值时的$GCF_\epsilon$集[J].数学研究及应用,2015,35(3):256~262
参数函数$\epsilon$取边际值时的$GCF_\epsilon$集
Some Sets of GCF$_\epsilon$ Expansions Whose Parameter $\epsilon$ Fetch the Marginal Value
投稿时间:2014-07-24  最后修改时间:2014-12-22
DOI:10.3770/j.issn:2095-2651.2015.03.002
中文关键词:  $GCF_\epsilon$ 展式  度量性质  Hausdorff维数
英文关键词:$GCF_\epsilon$ expansions  metric properties  Hausdorff dimension
基金项目:国家自然科学基金 (Grant No.11361025).
作者单位
汤亮 吉首大学张家界校区数学系, 湖南 张家界 427000 
周佩娟 吉首大学张家界校区数学系, 湖南 张家界 427000 
钟婷 吉首大学张家界校区数学系, 湖南 张家界 427000 
摘要点击次数: 934
全文下载次数: 915
中文摘要:
      设$\epsilon: \mathbb{N}\to \mathbb{R}$是一个满足条件 $\epsilon(k)+k+1> 0$ 的参数函数;$T_{\epsilon}:(0,1]\to (0,1]$ 是一个由$$ T_{\epsilon}(x)=\frac{-1+(k+1)x}{1+k-k\epsilon x} \ {\text{for}}\ x\in \Big(\frac{1}{k+1},\frac{1}{k}\Big].$$定义的实变换.在此变换下, 每个$x\in (0,1]$对应一个由F.Schweiger定义的推广连分数(GCF$_{\epsilon}$)展式. 其中 $x$的部分商序列$\{k_n(x)\}_{n\ge 1}$由递归式$k_1(x)=\lfloor 1/x\rfloor$, $k_n(x)=k_1(T_{\epsilon}^{n-1}(x))$,$n\ge 2$而获得. 特别地,当限制参数取值满足$-k-1<\epsilon(k)<-k$时, 针对非最终循环GCF$_{\epsilon}$组成的集合$$ \mathcal{F}_{\epsilon}=\Big\{x\in (0,1]: k_{n+1}(x)>k_n(x)\ {\text{for infinitely many}}\ n,\Big\},$$文献[1]的第三节证明了$ \mathcal{F}_{\epsilon}$的勒贝格测度等于0.本文进一步考虑了它的分形结构,获得它的Hausdorff维数如下:\begin{eqnarray*}\left\{\begin{array}{ll}\dim_H \mathcal{F}_{\epsilon}\ge \frac{1}{2}, & \text{when $\epsilon(k)=-k-1+\rho$ for a constant $0<\rho<1$;}\frac{1}{s+2}\le\dim_H\mathcal{F}_{\epsilon}\le \frac{1}{s}, & \text{when $\epsilon(k)=-k-1+\frac{1}{k^s}$ for any $s\ge1$}\end{array}\right.\end{eqnarray*}
英文摘要:
      Let $\epsilon: \mathbb{N}\to \mathbb{R}$ be a parameter function satisfying the condition $\epsilon(k)+k+1> 0$ and let $T_{\epsilon}:(0,1]\to (0,1]$ be a transformation defined by $$T_{\epsilon}(x)=\frac{-1+(k+1)x}{1+k-k\epsilon x} \ {\text{for}}\ x\in \Big(\frac{1}{k+1},\frac{1}{k}\Big].$$ Under the algorithm $T_{\epsilon}$, every $x\in (0,1]$ is attached an expansion, called generalized continued fraction (GCF$_{\epsilon}$) expansion with parameters by Schweiger. Define the sequence $\{k_n(x)\}_{n\ge 1}$ of the partial quotients of $x$ by $k_1(x)=\lfloor 1/x\rfloor$ and $k_n(x)=k_1(T_{\epsilon}^{n-1}(x))$ for every $n\ge 2$. Under the restriction $-k-1<\epsilon(k)<-k$, define the set of non-recurring GCF$_{\epsilon}$ expansions as $$\mathcal{F}_{\epsilon}=\{x\in (0,1]: k_{n+1}(x)>k_n(x)\ {\text{for infinitely many }}\ n\}.$$ It has been proved by Schweiger that $ \mathcal{F}_{\epsilon}$ has Lebesgue measure 0. In the present paper, we strengthen this result by showing that \begin{eqnarray*} \left\{\begin{array}{ll}\dim_H \mathcal{F}_{\epsilon}\ge \frac{1}{2}, & \text{when $\epsilon(k)=-k-1+\rho$ for a constant $0<\rho<1$;} \frac{1}{s+2}\le\dim_H \mathcal{F}_{\epsilon}\le \frac{1}{s}, & \text{when $\epsilon(k)=-k-1+\frac{1}{k^s}$ for any $s\ge1$}\end{array}\right.\end{eqnarray*} where $\dim_H$ denotes the Hausdorff dimension.
查看全文  查看/发表评论  下载PDF阅读器