<p>Let <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(0&lt;\rho &lt;1, N\in {\mathbb {N}}^+, D_{4N}=\{0,1,2,\cdots ,4N-1\}\)</EquationSource> </InlineEquation>, and let <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\{f_j\}_{j=0}^{4N-1}\)</EquationSource> </InlineEquation> be an iterated function system defined by <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(f_j(x)=(-1)^{\sigma (j)}\rho (x+j), x\in {\mathbb {R}}\)</EquationSource> </InlineEquation>, where <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\sigma (j)=0\)</EquationSource> </InlineEquation> if <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(j\in 4{\mathbb {N}}\cup (4{\mathbb {N}}+1)\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\sigma (j)=1\)</EquationSource> </InlineEquation> if <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(j\in (4{\mathbb {N}}+2)\cup (4{\mathbb {N}}+3)\)</EquationSource> </InlineEquation>. <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mu _{\{(-1)^{\sigma (j)}\rho \},D_{4N}}\)</EquationSource> </InlineEquation> is the self-similar measure defined by <Equation ID="Equ11"> <EquationSource Format="TEX">\( \mu _{\{(-1)^{\sigma (j)}\rho \},D_{4N}}(\cdot )=\frac{1}{4N}\sum _{j=0}^{4N-1}\mu _{\{(-1)^{\sigma (j)}\rho \},D_{4N}}(f_j^{-1}(\cdot )). \)</EquationSource> </Equation>In this paper, we prove that <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(L^2(\mu _{\{(-1)^{\sigma (j)}\rho \},D_{4N}})\)</EquationSource> </InlineEquation> admits an exponential orthonormal basis if and only if <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\rho ^{-1}=q\)</EquationSource> </InlineEquation> with <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(q\in {\mathbb {Z}}^+\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(4N\mid q\)</EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A class of spectral self-similar measures with alternate contraction ratios on \({\mathbb {R}}\)

  • Zong-Sheng Liu,
  • Zong-Wang Liu

摘要

Let \(0<\rho <1, N\in {\mathbb {N}}^+, D_{4N}=\{0,1,2,\cdots ,4N-1\}\) , and let \(\{f_j\}_{j=0}^{4N-1}\) be an iterated function system defined by \(f_j(x)=(-1)^{\sigma (j)}\rho (x+j), x\in {\mathbb {R}}\) , where \(\sigma (j)=0\) if \(j\in 4{\mathbb {N}}\cup (4{\mathbb {N}}+1)\) and \(\sigma (j)=1\) if \(j\in (4{\mathbb {N}}+2)\cup (4{\mathbb {N}}+3)\) . \(\mu _{\{(-1)^{\sigma (j)}\rho \},D_{4N}}\) is the self-similar measure defined by \( \mu _{\{(-1)^{\sigma (j)}\rho \},D_{4N}}(\cdot )=\frac{1}{4N}\sum _{j=0}^{4N-1}\mu _{\{(-1)^{\sigma (j)}\rho \},D_{4N}}(f_j^{-1}(\cdot )). \) In this paper, we prove that \(L^2(\mu _{\{(-1)^{\sigma (j)}\rho \},D_{4N}})\) admits an exponential orthonormal basis if and only if \(\rho ^{-1}=q\) with \(q\in {\mathbb {Z}}^+\) and \(4N\mid q\) .