空间上三元素数字集自仿测度的谱性质

杨茗舒 李修清 王彦辉

(桂林航天工业学院 理学部, 广西 桂林 541004)



空间上三元素数字集自仿测度的谱性质

杨茗舒*李修清 王彦辉

(桂林航天工业学院 理学部, 广西 桂林 541004)

迭代函数系；自仿测度；三元素数字集；正交指数函数

(1)

(2)

自仿测度的谱与非谱等问题等在近几年引起了广泛的关注(见[1-6]), 归根结底为研究L2(μM,D)空间中正交指数函数的特征, 即(M,D)在什么条件下能够使μM,D成为谱测度或非谱测度? 前人关于某些三元素数字集的自仿测度的谱与非谱性质有了许多研究。文献[5]研究了当扩张矩阵M∈M2(Z), D⊂Z2分别为

1 预备知识

引理1.1[3]在Z-相似变换下谱对与和谐对的性质不变。

引理1.2[2]若M∈Mn(Z)为扩张矩阵，D与S是Zn的有限子集，使得(M-1D,S)为和谐对，0∈D∩S。假设零点集合Z(mM-1D(x))∩T(M*,S)=∅，则(μM,D,Λ(M,S))为谱对。

2 主要定理及其证明

记M1:=P-1MP，D1:=P-1D，其中

由引理1.1可知, μM,D与μM1,D1的谱性质相同。

(3)

其中*代表与p1,p2,p3有关的数。

(4)

其中

(5)

(6)

即

(7)

由此可得

(8)

其中

其中*代表与p1,p2,p3有关的数。

当p1∈3Z+1时, 可得到如下结论：

(b)如果ξ=(ξ1,ξ2,ξ3)t∈(A1-A1)∪(A2-A2), 则ξ1=Z。

(d)如果ξ=(ξ1,ξ2,ξ3)t∈A1+A2, 则ξ1=Z。

假设L2(μM,D)空间中有4个相互正交的指数函数，它们分别是:

e2πi<λ1,x>,e2πi<λ2,x>,e2πi<λ3,x>,e2πi<λ4,x>

则

(9)

记λj-λk=(xj,k,yj,k,zj,k)t∈R3, 1≤j≠k≤4, 由(9)可知

λ2-λ1,λ3-λ1,λ4-λ1,λ3-λ2,λ4-λ2,λ4-λ3∈A1∪A2

(10)

根据抽屉原理可知, 集合A1与A2中必有一个集合至少包含上述六个元素中的三个。事实上这是不可能的。例如, 假设

λ2-λ1,λ3-λ1,λ4-λ1∈A1,

则

λ3-λ2=(λ3-λ1)-(λ2-λ1)∈A1-A1

λ2-λ1,λ3-λ2,λ4-λ3∈A1,

则

λ4-λ2=(λ4-λ3)+(λ3-λ2)∈A1+A1,

λ4-λ1=(λ4-λ2)+(λ2-λ1)∈A2+A1,

类似的总可以得到矛盾, 因此假设不成立, 可见L2(μM,D)空间中至多有3个相互正交的指数函数。

当p1∈3Z+2时的证明方法与上述当p1∈3Z+1的证法完全类似, 略去。从而定理2.2得证。

推论2.1为定理1.2中当a=b=c=0时的情形。此推论也为文献[9]中的定理2.3.1, 由此可见本文的结论更加广泛。

3 结束语

本文首先讨论了由三阶下三角扩张整数矩阵M与三元素共线数字集D所对应的自仿测度μM,D的谱性质, 但对于任意的三阶扩张整数矩阵M与定理1中的数字集D所对应的μM,D的谱性质有待进一步研究；接着讨论了三阶上三角扩张整数矩阵M与特定数字集D所对应的自仿测度μM,D的非谱性质, 而对于三阶下三角矩阵或任意的三阶矩阵与此数字集所对应的μM,D的非谱问题有待解决。

[1] P E T Jorgensen, S Pedersen. Dense analytic subspaces in fractal L2-space[J]. J Anal Math, 1998, 75(1): 185-228.

[2] R Strichartz. Remarks on “Dense analytic subspaces in fractal L2-spaces” [J]. J Anal Math, 1988(75):229-231.

[3] J L Li. Spectral self-affine measures in Rn[J]. Proc Edinburgh Math Soc, 2007, 50 (11): 197-215.

[4] J L Li. Spectrality of self-affine measures on the three-dimensional Sierpinski gasket[J]. Proc Edinburgh Math Soc, 2012(55): 477-496.

[5] J L Li. Non-spectrality of planar self-affine measures with three-elements digit set[J]. J Funct Anal, 2009, 257(2): 537-552.

[6] 王美莲. 一些自仿测度下的指数正交系与谱对[D]. 西安: 陕西师范大学, 2011: 20-25.

[7] D E Dutkay, J Haussermann, C K L. Hadamard triples generate self-affine spectral measures[J]. Mathematics, 2015.

[8] M S Yang, J L Li. A class of spectral self-affine measures with four-element digit sets[J]. J Math Anal Appl, 2015, 423(1): 326-335.

[9] 高巧兰. 空间上某些自仿测度的谱性与复数权下自相似测度的奇异性[D]. 西安: 陕西师范大学, 2013: 21-22.

[10]J L Li. The cardinality of certain μM,D-orthogonal exponentials[J]. J Math Anal. Appl, 2010(362): 514-522.

[11]J L Li. Non-spectral problem for a class of planar self-affine measures[J]. J Funct. Anal, 2008(255): 3125-3148.

[12]J L Li.μM,D-othogonality and compatible pair[J]. J Funct Anal, 2007(244): 628-638.

[13]D E Dutkay, P E T Jorgensen. Analysis of orthogonality and of orbit in affine iterated function systems[J]. Math Z, 2007(256): 801-823.

[14]D E Dutkay, P E T Jorgensen. Probability and Fourier duality for affine iterated function systems[J]. Acta Appl Math, 2009(107): 293-311.

(责任编辑 陈葵晞)

杨茗舒，女，广西容县人。助教，硕士。研究方向：谱自仿测度理论。

O174. 2

A

2095-4859(2016)03-0388-05