指数函数正交系与和谐对.pdfVIP

第24卷第2期 纺 织 高 校 基 础 科 学 学 报 Vo1．24，No．2 2011年 3月 BASICSCⅡNCESJOURNALOFTEXTILEIJNIⅥ SⅡⅡ June，2011 文章编号：1006-8341(2011)02-0190-03 指数函数正交系与和谐对 贾淑平 (陕西师范大学 数学与信息科学学院，陕西 西安710062) 摘要：讨论了指数函数系的正交性与和谐对的关系，考虑整数扩张矩阵 的行列式的绝对值 Idet(M)I=P。为素幂的情形，证明了正交性可以蕴涵和谐对． 关键词：正交性；和谐对；数字集 中图分类号：O174 文献标识码 ：A 1 弓I言与预备知识 自仿测度是否是谱测度的问题是近几年的研究课题H引．和谐对是Striehartz首次引人的术语，在谱 自仿测度研究中起着重要作用．由和谐对的性质知和谐对隐含着正交性，反之是否成立则是一个研究难 点．文献 [1]讨论了当整数扩张矩阵行列式的绝对值 Idet(M)l=P为素数时，正交性蕴含着和谐对．文献 [2]讨论了整数扩张矩阵行列式的绝对值为素数及素幂的情形，改进了文献[1，3]的结果．本文在文献 [1，3]的启示下研究整数扩张矩阵行列式的绝对值 ldet(M)l=P。为素幂的情形，改进了文献[2]的结 果． 设M =(口)… 是 n×n整数扩张矩阵，即所有 口都是整数且 的所有特征值都大于 1．记 7／,×／,／整 数矩阵的集合为 (z)．设集合D={do，d 一，d。一}cz是由z 中ID1个不同向量组成的有限集 ， D称为数字集．设 ．。是R“上具有紧支撑的概率测度，如果 A R“，使得 是 ( ．。)上的正交基 ， 称 ．D为谱测度，其中Ea= {exp(2~iA ·)：A ∈A}称为指数函数系． 设M ∈ (z)，若 Idet(M)l_，，I0，则z“被矩阵 分成了m个不同的剩余类，若z，z ∈z“属 于同一类当且仅当Z1一Z2∈M(z)．Vz1，z2∈z，若z1一Z2隹M(Z)，则称zl，Z2模 是不同的．若Dc z 的元素个数 lDl=ldet(M)I=m且任意2个元素都是模 不同的，则称D是z“／M(z)的一个完全 剩余类． 定义1[2 设 ， cR 是 2个有限子集，且 I l=I I=q，如果 q×q矩阵 日口．L= [q-1／2exp(2-tri(b，，))] 是酉矩阵，即 · =lq，则称 (B，)为和谐对． ， ． 性质 1[ 设 ，cR 是有限集且IBl=I 口，那么下列条件等价：(1)(，)是和谐对；(2) 对 中的任意2个不同元素Z。，都有m (f一 )=0． 性质2[ 设D，IscZ“，M ∈ (Z)且Idet(M)I1，若(～D，S)是和谐对，则D中的元素是 模 不同的，S中的元素是模 ’不同的． 收稿 日期 ：2010-12-31 作者简介：贾淑平 (1985．)，女，山东省聊城市人 ，陕西师范大学硕士研究生．E-mail：jiajiawang123@163．tom 第2期 指数函数正交系与和谐对 191 设M ∈M (z)是扩张矩阵，集合DCZ 是数字集，0∈D，设ACR 且A—A= {A—A：A，A E A}Cz，若指数函数系 ={exp(2~ri(A，X))：AEA}在 (肌D)上正交，则 VA，A ∈A，有 (exp(27ri(A：，))，exp(2~i(A ，)))‰ = xp(2axi(A2一A，) = ． D) jlf．D (Al—A2)=0． 其中 。。是 。 的 Fourier变