| 汤亮,周佩娟,钟婷.参数函数$\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). |
|
| 摘要点击次数: 2597 |
| 全文下载次数: 2116 |
| 中文摘要: |
| 设$\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阅读器 |
|
|
|
