设为首页
加入收藏
期刊导航
网站地图
首页
期刊
数学与物理
地球与环境
信息通讯
经济与管理
生命科学
工程技术
医药卫生
人文社科
化学与材料
会议
合作
新闻
我们
招聘
千人智库
我要投稿
办刊
期刊菜单
●领域
●编委
●投稿须知
●最新文章
●检索
●投稿
文章导航
●Abstract
●Full-Text PDF
●Full-Text HTML
●Full-Text ePUB
●Linked References
●How to Cite this Article
PureMathematics
n
Ø
ê
Æ
,2023,13(2),354-363
PublishedOnlineFebruary2023inHans.https://www.hanspub.org/journal/pm
https://doi.org/10.12677/pm.2023.132039
n
‡
ê
i
8
)
¤
Moran
ÿ
Ý
Ã
¡
8
•
3
5
===
xxx
4
ï
“
‰
Œ
Æ
ê
Æ
†
Ú
O
Æ
§
4
ï
4
²
Â
v
F
Ï
µ
2023
c
1
22
F
¶
¹
^
F
Ï
µ
2023
c
2
21
F
¶
u
Ù
F
Ï
µ
2023
c
2
28
F
Á
‡
b
é
?
¿
n
≥
1
ê
p
n
>
1
…
D
n
=
{
0
,a
n
,b
n
}⊂
Z
Ù
¥
a
n
<b
n
<p
n
"
T
©
Ì
‡
ï
Ä
d
ê
S
{
p
n
}
∞
n
=1
Ú
ê
i
8
S
{
D
n
}
∞
n
=1
)
¤
Moran
ÿ
Ý
µ
:=
δ
p
−
1
1
{
0
,a
1
,b
1
}
∗
δ
p
−
1
1
p
−
1
2
{
0
,a
2
,b
2
}
∗···∗
δ
p
−
1
1
p
−
1
2
···
p
−
1
n
{
0
,a
n
,b
n
}
∗···
Ã
¡
•
ê
8
•
3
5
§
Ã
¡
ò
È
µ
ä
k
Ã
¡
•
ê
8
¿
‡
^
‡
§
ù
•
E
d
¼
ê
˜
m
Ì
J
ø
éÐ
g
´
"
'
…
c
•
ê
Ä
§
Moran
ÿ
Ý
§
Ì
ÿ
Ý
TheExistenceofInfiniteOrthogonal
SetsofMoranMeasureswith
Three-ElementDigitSets
TingXiong
CollegeofMathematicsandStatistics,FujianNormalUniversity,FuzhouFujian
Received:Jan.22
nd
,2023;accepted:Feb.21
st
,2023;published:Feb.28
th
,2023
©
Ù
Ú
^
:
=
x
.
n
‡
ê
i
8
)
¤
Moran
ÿ
Ý
Ã
¡
8
•
3
5
[J].
n
Ø
ê
Æ
,2023,13(2):354-363.
DOI:10.12677/pm.2023.132039
=
x
Abstract
For
n
≥
1
,
let
p
n
>
1
and
D
n
=
{
0
,a
n
,b
n
}⊂
Z
,
where
a
n
<b
n
<p
n
. Inthispaperwestudy
theexistenceofinfiniteorthogonalexponentialsetsofmoranmeasures
µ
:=
δ
p
−
1
1
{
0
,a
1
,b
1
}
∗
δ
p
−
1
1
p
−
1
2
{
0
,a
2
,b
2
}
∗···∗
δ
p
−
1
1
p
−
1
2
···
p
−
1
n
{
0
,a
n
,b
n
}
∗···
which isgenerated by the sequenceof integers
{
p
n
}
∞
n
=1
and the sequenceof number sets
{
D
n
}
∞
n
=1
.Weobtainthenecessaryandsufficientconditionsforinfiniteconvolution
µ
to have infiniteorthogonalexponentialsets,thisprovides a goodideaforconstructing
thespectrumofthisfunctionspace.
Keywords
ExponentialOrthogonalBasis,MoranMeasure,SpectralMeasure
Copyright
c
2023byauthor(s)andHansPublishersInc.
This work is licensed undertheCreative Commons Attribution InternationalLicense (CCBY4.0).
http://creativecommons.org/licenses/by/4.0/
1.
Ú
ó
µ
•
R
d
þ
ä
k
;
|
Borel
V
Ç
ÿ
Ý
,
X
J
•
3
Œ
ê
8
Λ
⊂
R
d
¦
•
ê
¼
ê
x
E
Λ
:=
{
e
−
2
πi<λ,x>
:
λ
∈
Λ
}
¤
L
2
(
µ
)
I
O
Ä
,
K
¡
µ
•
Ì
ÿ
Ý
,
¿
¡
Λ
•
µ
Ì
.
e
Ì
ÿ
Ý
µ
•
•
›
3
;
8
Ω
þ
Lebesgue
ÿ
Ý
,
K
¡
Ω
•
Ì
8
.
N
Ú
©
Û
˜
‡
Ä
¯
K
´
ï
Ä
µ
Û
ž
•
Ì
ÿ
Ý
±
9
§
Ì
ä
k
Û
«
/
ª
?
'
u
Ì
ï
Ä
¯
K
,
Fuglede
[1]
u
1974
c
J
Ñ
Í
¶
Ì
8
ß
Ž
:
Ì
8
ß
Ž
Ω
•
Ì
8
…
=
Ω
´
²
£
Tile
,
=
•
3
Œ
ê¢ê
8
Γ
¦
Ω
⊕
Γ=
R
d
,
Ù
¥
⊕
L
«
†
Ú
,
Ò
3
ƒ
˜
‡
Lebesgue
"
ÿ
8
¿Â
e
¤
á
.
d
ß
Ž
®
²
y
²
3
n
‘
9
±
þ
‘
ê
Ñ
Ø
¤
á
,
ù
˜
ß
Ž
3
˜
‘
Ú
‘
þ
´
Ä
¤
á
E
´
m
¯
K
.
'
u
Û
É
ÿ
Ý
Ì
ï
Ä
¯
K
,
Jorgensen
Ú
Pedersen
[2]
u
1998
c
E
1
˜
‡
Û
É
Ì
ÿ
Ý
,
•
´
1
˜
‡
©
/
Ì
ÿ
Ý
.
Ó
ž
•
Ñ
Ø
'
•
ó
êž
,
I
O
Cantor
ÿ
Ý
µ
b
{
0
,
1
}
•
Ì
ÿ
Ý
,
Ø
'
•
1
3
Ã
¡
Bernoulli
ò
È
ÿ
Ý
du
•
kk
•
•
ê
.
8
,
Ø
´
Ì
ÿ
Ý
.
ù
˜
u
y
-
å
ï
Ä
ö
DOI:10.12677/pm.2023.132039355
n
Ø
ê
Æ
=
x
‚
4
Œ
,
,
g
•
ÿ
Ý
Ú
Moran
ÿ
Ý
&
¢
Œ
€
•
–
d‹
m
,
Œ
þ
Ì
ÿ
Ý
E
Ñ
5
,
X
[3–11].
·
‚
•
,
ä
l
Ñ
8
Ü
Λ
´
Ä
•
ÿ
Ý
µ
Ì
,
Ì
‡
l
5
Ú
5
ü
‡
•
¡
y
.
Ï
d
,
·
‚
3
E
ÿ
Ý
µ
Ì
ž
,
Ä
k
I
‡
u
Ù
5
. Hu
Ú
Lau
3
[12]
¥y
²
ê
i
8
•
{
0
,
1
}
g
ƒ
q
ÿ
Ý
µ
ä
k
Ã
¡
•
ê
8
…
=
Ù
Ø
'
•
p
q
n
g
•
Š
,
Ù
¥
p
•
Û
ê
,
q
•
ó
ê
.
‘
An, He
Ú
Li
3
[4]
¥
‰
Ñ
˜
a
Ã
¡
Bernoulli
ò
È
ä
k
Ã
¡
•
ê
8
¿
‡
^
‡
.
É
þ
ã
©
z
é
u
,
·
‚
F
"
í
2
œ
¹
•
˜
„
Moran
.
ÿ
Ý
.
©
Ì
‡
ï
Ä
˜
‘
œ
/
e
d
ê
8
{
D
n
}
∞
n
=1
)
¤
˜
a
Moran
ÿ
Ý
Ã
¡
•
ê
8
•
3
5
.
{
p
n
}
∞
n
=1
•
ê
S
…
é
?
¿
n
≥
1
,
p
n
≥
2
,D
n
=
{
0
,a
n
,b
n
}⊂
Z
,a
n
<b
n
<p
n
.
(1.1)
X
J
∞
X
n
=1
p
−
1
1
p
−
1
2
···
p
−
1
n
b
n
<
∞
,
(1.2)
Š
â
[13]
Œ
•
,
ÿ
Ý
S
µ
n
=
δ
p
−
1
1
{
0
,a
1
,b
1
}
∗
δ
p
−
1
1
p
−
1
2
{
0
,a
2
,b
2
}
∗···∗
δ
p
−
1
1
p
−
1
2
···
p
−
1
n
{
0
,a
n
,b
n
}
f
Â
ñ
˜
‡
ä
k
•
˜
;
|
Borel
V
Ç
ÿ
Ý
µ
:=
µ
{
p
n
}
,
{
D
n
}
=
δ
p
−
1
1
{
0
,a
1
,b
1
}
∗
δ
p
−
1
1
p
−
1
2
{
0
,a
2
,b
2
}
∗···
,
(1.3)
Ù
¥
,
δ
E
=
1
#
E
P
e
∈
E
δ
e
, #
E
•
8
Ü
E
³
,
…
δ
e
•
ü
:
e
∈
R
þ
Dirac
ÿ
Ý
.
·
‚
¡
T
ÿ
Ý
•
Moran
ÿ
Ý
,
…
µ
|
3
X
e
Cantor
−
Moran
8
þ
:
T
(
{
p
n
}
,
{
D
n
}
) =
∞
X
n
=1
p
−
1
1
p
−
1
2
···
p
−
1
n
D
n
.
(1.4)
3
©
¥
,
·
‚
í
2
¿
[
z
[14]
¥
(
Ø
,
Ì
‡
ï
Ä
d
n
ê
i
8
)
¤
Moran
ÿ
Ý
µ
3
Ÿ
o
œ
¹
e
k
Ã
¡
•
ê
8
.
é
?
¿
n
∈
Z
\{
0
}
,
·
‚
½
Â
ν
3
(
n
) =
max
{
t
: 3
t
|
n
}
,
¿
P
k
n
=
ν
3
(
p
1
p
2
···
p
n
)
−
ν
3
(3
gcd
(
a
n
,b
n
))
.
(1.5)
Ä
u
þ
¡
P
Ò
,
Ì
‡
(
Ø
X
e
:
½
n
1.1
b
{
p
n
}
∞
n
=1
,
{
D
n
}
∞
n
=1
X
(1.1)
¤
½
Â
.
K
(1.3)
¤
½
Â
Ã
¡
ò
È
µ
ä
k
Ã
¡
•
ê
8
…
=
•
3
Ã
¡
ê
S
{
n
t
}
t
≥
1
¦
{
a
n
t
gcd
(
a
n
t
,b
n
t
)
,
b
n
t
gcd
(
a
n
t
,b
n
t
)
}≡{
1
,
−
1
}
(
mod
3)
…
{
k
n
t
}
t
≥
1
î
‚
4
O
.
˜
„
5
`
,
‰
Ñ
˜
a
Moran
ÿ
Ý
k
Ã
¡
•
ê
8
¿
‡
^
‡
´
˜
‡
(
J
¯
œ
,
–
8
¤
(
J
š
~
,
Ù
'
…
3
u
7
‡
5
.
·
‚
ù
Ÿ
©
Ù
l
&
Ä
"
:
8
3
Ï
f
‡
ê
Ñ
u
,
é
µ
{
p
n
}
,
{
D
n
}
•
DOI:10.12677/pm.2023.132039356
n
Ø
ê
Æ
=
x
3
Ã
¡
•
ê
8
¿
‡
^
‡
.
©
Ì
‡
µ
e
X
e
.
·
‚
3
1
!
¥Ì
‡
0
˜
~
^
ó
ä
Ú
®
•
(
J
.
3
1
n
!
¥
,
·
‚
|
^
‡
y
{
y
²
½
n
1.1
7
‡
5
,
Ì
‡
g
Ž
•
"
:
8
3
Ï
f
‡
ê
Ø
O
ž
,
Š
â
p
n
>b
n
(
n
≥
1)
¬
í
Ñ
g
ñ
,
l
y
7
‡
5
.
Ï
L
E
µ
{
p
n
}
,
{
D
n
}
˜
‡
Ã
¡
•
ê
8
5
y
¿
©
5
.
2.
ý
•
£
3
!
¥
,
·
‚
ò
0
˜
Ä
V
g
9
®
•
(
J
.
µ
´
R
þ
ä
k
;
|
Borel
V
Ç
ÿ
Ý
,
µ
Fourier
C
†
½
Â
•
b
µ
(
ξ
) =
Z
e
−
2
πiξx
dµ
(
x
)
.
(2.1)
f
•
R
þ
¼
ê
,
P
f
(
x
)
"
:
8
•
Z
(
f
) =
{
x
:
f
(
x
) = 0
}
.
(2.2)
é
u
Œ
ê
f
8
Λ
⊂
R
,
Š
â
5
±
9
"
:
8
½
Â
,
·
‚
k
±
e
-
‡
5
Ÿ
.
ù
´
E
ÿ
Ý
8
~
^
•{
.
Ú
n
2.1
8
Ü
Λ
´
ÿ
Ý
µ
8
…
=
(Λ
−
Λ)
\{
0
}⊂Z
(
b
µ
)
.
(2.3)
Ø
”
˜
„
5
,
©
o
b
0
∈
Λ
.
k
•
f
8
D
⊂
R
,
·
‚
¡
M
D
(
x
) =
1
#
D
X
d
∈
D
e
2
πidx
, x
∈
R
(2.4)
•
D
Mask
¼
ê
.
l
µ
F
p
“
C
†
Œ
¤
b
µ
(
x
) =
∞
Y
n
=1
M
D
n
(
p
−
1
1
p
−
1
2
···
p
−
1
n
x
)
.
(2.5)
3.
Ì
‡
½
n
y
²
é
?
¿
n
∈
Z
\{
0
}
,
·
‚
½
Â
h
(
n
) =
n
3
v
3
(
n
)
,
=
n
¥
š
3
Ï
f
.
K
n
= 3
ν
3
(
n
)
h
(
n
)
.
(3.1)
3
e
©
¥
,
é
?
¿
n
≥
1,
·
‚
P
µ
n
=
δ
p
−
1
1
D
1
∗···∗
δ
p
−
1
1
p
−
1
2
···
p
−
1
n
D
n
,v
>n
=
δ
p
−
1
n
+1
D
n
+1
∗
DOI:10.12677/pm.2023.132039357
n
Ø
ê
Æ
=
x
δ
p
−
1
n
+1
p
−
1
n
+2
D
n
+2
···
.
K
µ
=
µ
n
∗
v
>n
1
p
1
···
p
n
.
(3.2)
Ú
n
3.1
D
=
{
0
,a,b
}
´
n
ê
8
,
Z
(
M
D
)
d
(2.2)
¤
½
Â
,
K
:
(i)
Z
(
M
D
)
6
=
∅
…
=
{
a
gcd
(
a,b
)
,
b
gcd
(
a,b
)
}≡{
1
,
−
1
}
(
mod
3).
(ii)
e
Z
(
M
D
)
6
=
∅
,
K
Z
(
M
D
) =
3
Z
±
1
3
gcd
(
a,b
)
.
y
²
d
(2.4),
·
‚
k
M
D
(
x
) =
1
3
(1+
e
−
2
πiax
+
e
−
2
πibx
)
,x
∈
R
.
M
D
(
x
) = 0
⇔
e
−
2
πiax
+
e
−
2
πibx
¢
Ü
•
−
1,
J
Ü
•
0 ,
=
(
cos
2
πax
+
cos
2
πbx
=
−
1
sin
2
πax
+
sin
2
πbx
= 0
,
⇔
ax
=
l
1
±
1
3
,bx
=
l
2
∓
1
3
,l
1
,l
2
∈
Z
.
⇔
a
=
1
3
x
(3
l
1
±
1)
,b
=
1
3
x
(3
l
2
∓
1)
,l
1
,l
2
∈
Z
,x
6
= 0
.
(3.3)
d
(3.3)
Œ
•
a,b
3
Ï
f
‡
ê
ƒ
Ó
.
·
‚
P
a
=
gcd
(
a,b
)
a
0
,b
=
gcd
(
a,b
)
b
0
,a
0
,b
0
∈
3
Z
±
1
.
(3.4)
ä
ó
{
a
3
ν
3
(
gcd
(
a,b
))
,
b
3
ν
3
(
gcd
(
a,b
))
}≡{
1
,
−
1
}
(
mod
3)
…
=
{
a
gcd
(
a,b
)
,
b
gcd
(
a,b
)
}≡{
1
,
−
1
}
(
mod
3).
y
²
ä
ó
d
(3.1)
Œ
•
gcd
(
a,b
) = 3
ν
3
(
gcd
(
a,b
))
h
(
gcd
(
a,b
))
,
Ø
”
h
(
gcd
(
a,b
))
∈
3
Z
+1
.
7
‡
5
:
{
a
3
ν
3
(
gcd
(
a,b
))
,
b
3
ν
3
(
gcd
(
a,b
))
}≡{
1
,
−
1
}
(
mod
3)
ž
,
Ø
”
a
3
ν
3
(
gcd
(
a,b
))
∈
3
Z
+1
,
b
3
ν
3
(
gcd
(
a,b
))
∈
3
Z
−
1,
·
‚
k
a
gcd
(
a,b
)
=
a
3
ν
3
(
gcd
(
a,b
))
h
(
gcd
(
a,b
))
∈
3
Z
+1
.
Ä
K
,
e
a
3
ν
3
(
gcd
(
a,b
))
h
(
gcd
(
a,b
))
∈
3
Z
−
1
.
d
ž
•
3
z
1
,z
2
∈
Z
¦
a
3
ν
3
(
gcd
(
a,b
))
= (3
z
1
+1)(3
z
2
−
1)
∈
3
Z
−
1
.
ù
†
®
•
g
ñ
,
a
gcd
(
a,b
)
∈
3
Z
+1
.
Ó
n
Œ
y
b
gcd
(
a,b
)
∈
3
Z
−
1
,
ä
ó
7
‡
5
y
.
DOI:10.12677/pm.2023.132039358
n
Ø
ê
Æ
=
x
¿
©
5
:
†
7
‡
5
y
²
a
q
,
{
a
gcd
(
a,b
)
,
b
gcd
(
a,b
)
}≡{
1
,
−
1
}
(
mod
3)
ž
,
Ø
”
a
gcd
(
a,b
)
∈
3
Z
+1
,
b
gcd
(
a,b
)
∈
3
Z
−
1,
N
´
a
3
ν
3
(
gcd
(
a,b
))
=
a
gcd
(
a,b
)
h
(
gcd
(
a,b
))
∈
3
Z
+1
.
¿
…
,
b
3
ν
3
(
gcd
(
a,b
))
∈
3
Z
−
1
.
n
þ
,
ä
ó
y
.
(i)
d
ä
ó
Œ
•
,
=
y
Z
(
M
D
)
6
=
∅
…
=
{
a
3
ν
3
(
gcd
(
a,b
))
,
b
3
ν
3
(
gcd
(
a,b
))
}≡{
1
,
−
1
}
(
mod
3).
7
‡
5
:
d
(3.3)
Œ
•
a
b
=
3
l
1
±
1
3
l
2
∓
1
,
=
a
+
b
=
±
3(
al
2
−
bl
1
)
,
(3.5)
k
3
|
a
+
b.
(a)
e
a
∈
3
Z
±
1
,b
∈
3
Z
∓
1
,
(
Ø
w
,
¤
á
.
(b)
e
3
|
a,
3
|
b
.
d
(3.5)
Œ
•
a
0
+
b
0
=
±
3(
a
0
l
2
−
b
0
l
1
)
.
é
a
0
,b
0
?
1
a
q
/
©
Û
Œ
{
a
3
ν
3
(
gcd
(
a,b
))
,
b
3
ν
3
(
gcd
(
a,b
))
}≡{
1
,
−
1
}
(
mod
3).
¿
©
5
:
e
{
a
3
ν
3
(
gcd
(
a,b
))
,
b
3
ν
3
(
gcd
(
a,b
))
}≡{
1
,
−
1
}
(
mod
3),
K
•
3
m
1
,m
2
∈
Z
¦
a
3
ν
3
(
gcd
(
a,b
))
= 3
m
1
±
1
,
b
3
ν
3
(
gcd
(
a,b
))
= 3
m
2
∓
1
.
Ï
d
,
•
‡
l
1
=
m
1
,l
2
=
m
2
Ò
k
a
b
=
3
m
1
±
1
3
m
2
∓
1
=
3
l
1
±
1
3
l
2
∓
1
.
u
´
,
o
Œ
±
é
l
1
,l
2
∈
Z
÷
v
(3.3),
Z
(
M
D
)
6
=
∅
.
(ii)
d
(3.3)
!
(3.4)
Œ
•
,
x
∈Z
(
M
D
)
⇔
x
∈
1
3
a
(3
Z
±
1)
∩
1
3
b
(3
Z
∓
1) =
1
3
gcd
(
a,b
)
1
a
0
(3
Z
±
1)
∩
1
b
0
(3
Z
∓
1)
.
e
y
1
a
0
(3
Z
±
1)
∩
1
b
0
(3
Z
∓
1) = 3
Z
±
1
,
Ù
¥
gcd
(
a
0
,b
0
) = 1
.
du
a
0
,b
0
∈
3
Z
±
1
,
K
3
Z
±
1
⊆
1
a
0
(3
Z
±
1)
,
3
Z
±
1
⊆
1
b
0
(3
Z
∓
1)
.
3
Z
±
1
⊆
1
a
0
(3
Z
±
1)
∩
1
b
0
(3
Z
∓
1).
,
˜
•
¡
,
é
?
¿
x/
∈
3
Z
±
1
,
·
‚
k
x/
∈
1
a
0
(3
Z
±
1)
.
Ä
K
¬
•
3
z
1
,z
2
∈
Z
¦
a
0
(3
z
1
) = 3
z
1
±
1
.
ù
w
,
Ø
Œ
U
.
3
Z
±
1
⊇
1
a
0
(3
Z
±
1)
∩
1
b
0
(3
Z
∓
1).
n
þ
,
Z
(
M
D
) =
3
Z
±
1
3
gcd
(
a,b
)
.
DOI:10.12677/pm.2023.132039359
n
Ø
ê
Æ
=
x
d
þ
ã
Ú
n
,
·
‚
k
Z
(
b
µ
) =
∞
[
n
=1
p
1
p
2
···
p
n
3
Z
±
1
3
gcd
(
a
n
,b
n
)
=
∞
[
n
=1
3
k
n
h
(
p
1
p
2
···
p
n
)
h
(
gcd
(
a
n
,b
n
))
(3
Z
±
1)
.
(3.6)
y
²
½
n
1.1
7
‡
5
:
·
‚
Ä
k
y
²
•
3
Ã
¡
õ
‡
n
≥
2
¦
{
a
n
gcd
(
a
n
,b
n
)
,
b
n
gcd
(
a
n
,b
n
)
}≡{
1
,
−
1
}
(
mod
3)
.
Ä
K
,
b
•
3
N
∈
N
¦
n>N
ž
,
{
a
n
gcd
(
a
n
,b
n
)
,
b
n
gcd
(
a
n
,b
n
)
}6
=
{
1
,
−
1
}
(
mod
3)
.
d
Ú
n
3.1 (i)
Œ
•
Z
d
v
>N
1
p
1
···
p
N
=
∅
.
b
Λ
´
µ
Ã
¡
8
…
0
∈
Λ.
Š
â
Ú
n
2.1
(
Ü
(3.2),
k
(Λ
−
Λ)
\{
0
}⊆Z
(
b
µ
) =
Z
(
b
µ
N
)
.
ù
†
Λ
•Ã
¡
8
g
ñ
,
b
Ø
¤
á
.
ù
p
·
‚
Ø
”
é
?
¿
n
≥
1,
k
{
a
n
gcd
(
a
n
,b
n
)
,
b
n
gcd
(
a
n
,b
n
)
}≡{
1
,
−
1
}
(
mod
3)
.
e
y
•
3
˜
Ã
¡
ê
S
{
n
t
}
t
≥
1
¦
{
k
n
t
}
t
≥
1
î
‚
4
O
.
Ä
K
¬
k
±
e
ü
«
œ
/
:
œ
/
I :
{
k
n
}
n
≥
1
Ã
e
.
.
Ø
”
{
k
n
}
n
≥
1
î
‚
4
~
.
b
Λ
´
µ
Ã
¡
8
…
0
∈
Λ,
d
Ú
n
2.1
(
Ü
(3.6)
Œ
•
?
λ
0
∈
Λ,
•
3
ê
n
0
±
9
t
0
∈
3
Z
±
1
¦
λ
0
= 3
k
n
0
h
(
p
1
p
2
···
p
n
0
)
h
(
gcd
(
a
n
0
,b
n
0
))
t
0
.
du
{
k
n
}
n
≥
1
î
‚
4
~
,
•
3
Ã
¡
õ
ê
n
j
>n
0
(
j>
0),
¦
λ
j
∈
Λ
…
λ
j
∈
3
k
n
j
h
(
p
1
p
2
···
p
n
j
)
h
(
gcd
(
a
n
j
,b
n
j
))
(3
Z
±
1)
,k
n
j
<k
n
0
.
Ø
”
•
3
t
j
∈
3
Z
±
1
¦
λ
j
= 3
k
n
j
h
(
p
1
p
2
···
p
n
j
)
h
(
gcd
(
a
n
j
,b
n
j
))
t
j
.
K
λ
0
−
λ
j
=
3
k
n
0
h
(
p
1
p
2
···
p
n
0
)
h
(
gcd
(
a
n
0
,b
n
0
))
t
0
−
3
k
n
j
−
k
n
0
h
(
gcd
(
a
n
0
,b
n
0
))
h
(
p
1
p
2
···
p
n
0
)
h
(
p
1
p
2
···
p
n
j
)
h
(
gcd
(
a
n
j
,b
n
j
))
t
j
3
k
n
j
h
(
p
1
p
2
···
p
n
j
)
h
(
gcd
(
a
n
j
,b
n
j
))
−
t
j
+3
k
n
0
−
k
n
j
h
(
gcd
(
a
n
j
,b
n
j
))
h
(
p
1
p
2
···
p
n
j
)
h
(
p
1
p
2
···
p
n
0
)
h
(
gcd
(
a
n
0
,b
n
0
))
t
0
,
d
k
n
j
<k
n
0
´
•
λ
0
−
λ
j
/
∈
3
k
n
0
h
(
p
1
p
2
···
p
n
0
)
h
(
gcd
(
a
n
0
,b
n
0
))
(3
Z
±
1)
.
Ï
d
,
d
Λ
5
Œ
•
λ
0
−
λ
j
∈
DOI:10.12677/pm.2023.132039360
n
Ø
ê
Æ
=
x
3
k
n
j
h
(
p
1
p
2
···
p
n
j
)
h
(
gcd
(
a
n
j
,b
n
j
))
(3
Z
±
1)
.
u
´
,
h
(
gcd
(
a
n
j
,b
n
j
))
h
(
p
1
p
2
···
p
n
j
)
h
(
p
1
p
2
···
p
n
0
)
h
(
gcd
(
a
n
0
,b
n
0
))
t
0
∈
Z
.
•
Ò
´
`
,
t
0
∈
h
(
p
n
0
+1
p
n
0
+2
···
p
n
j
)
h
(
gcd
(
a
n
0
,b
n
0
))
h
(
gcd
(
a
n
j
,b
n
j
))
Z
.
(3.7)
p
n
>b
n
(
n
≥
1 ),
¤
±
p
1
p
2
···
p
n
3
gcd
(
a
n
,b
n
)
= 3
k
n
h
(
p
1
p
2
···
p
n
)
h
(
gcd
(
a
n
,b
n
))
→
+
∞
,n
→
+
∞
.
q
Ï
•
{
k
n
}
n
≥
1
î
‚
4
~
.
•
k
h
(
p
1
p
2
···
p
n
)
h
(
gcd
(
a
n
,b
n
))
→
+
∞
,n
→
+
∞
.
(3.8)
ù
†
•
3
t
0
∈
3
Z
±
1
…
÷
v
(3.7)
g
ñ
.
œ
/
II:
{
k
n
}
n
≥
1
k
e
.
.
d
ž
•
3
N
∈
N
¦
{
k
n
}
n
≥
N
Ñ
ƒ
Ó
…
{
a
n
gcd
(
a
n
,b
n
)
,
b
n
gcd
(
a
n
,b
n
)
}≡
{
1
,
−
1
}
(
mod
3) .
X
J
Λ
0
(0
∈
Λ
0
)
´
v
>N
1
p
1
···
p
N
Ã
¡
8
,
d
Ú
n
2.1
9
Ú
n
3.1(ii)
Œ
•
?
λ
0
∈
Λ,
•
3
ê
n
0
>N
±
9
q
0
∈
3
Z
±
1
¦
λ
0
= 3
k
n
0
h
(
p
1
p
2
···
p
n
0
)
h
(
gcd
(
a
n
0
,b
n
0
))
q
0
.
du
{
k
n
}
n
≥
N
Ñ
ƒ
Ó
,
•
3
Ã
¡
õ
ê
n
j
>n
0
(
j>
0)
9
q
j
∈
3
Z
±
1,
¦
λ
j
∈
Λ
…
λ
j
= 3
k
n
j
h
(
p
1
p
2
···
p
n
j
)
h
(
gcd
(
a
n
j
,b
n
j
))
q
j
,k
n
j
=
k
n
0
.
u
´
λ
0
−
λ
j
=
3
k
n
0
h
(
p
1
p
2
···
p
n
0
)
h
(
gcd
(
a
n
0
,b
n
0
))
q
0
−
h
(
gcd
(
a
n
0
,b
n
0
))
h
(
p
1
p
2
···
p
n
0
)
h
(
p
1
p
2
···
p
n
j
)
h
(
gcd
(
a
n
j
,b
n
j
))
q
j
3
k
n
j
h
(
p
1
p
2
···
p
n
j
)
h
(
gcd
(
a
n
j
,b
n
j
))
−
q
j
+
h
(
gcd
(
a
n
j
,b
n
j
))
h
(
p
1
p
2
···
p
n
j
)
h
(
p
1
p
2
···
p
n
0
)
h
(
gcd
(
a
n
0
,b
n
0
))
q
0
,
du
n>N
ž
,
{
k
n
}
n
≥
N
Ñ
ƒ
Ó
.
Ï
d
, (3.8)
E,
¤
á
.
†
œ
/
I
a
q
,
ù
†
•
3
˜
t
0
∈
3
Z
±
1
9
Ã
¡
õ
t
j
∈
3
Z
±
1 (
j>
0)
g
ñ
.
v
>N
1
p
1
···
p
N
•
kk
•
•
ê
8
,
d
(3.2)
Œ
•
ù
†
®
•
µ
k
Ã
¡
•
ê
8
g
ñ
.
7
‡
5
y
.
¿
©
5
:
Š
â
®
•
^
‡
,
·
‚
Ø
”
é
?
¿
n
≥
1,
k
{
a
n
gcd
(
a
n
,b
n
)
,
b
n
gcd
(
a
n
,b
n
)
}≡{
1
,
−
1
}
(
mod
3)
DOI:10.12677/pm.2023.132039361
n
Ø
ê
Æ
=
x
…
{
k
n
}
n
≥
1
•
î
‚
4
O
S
.
e
E
µ
˜
‡
Ã
¡
•
ê
8
.
P
Λ
σ
n
=
{
3
k
1
h
(
p
1
)3
σ
1
+3
k
2
h
(
p
1
p
2
)
σ
2
+
···
+3
k
n
h
(
p
1
p
2
···
p
n
)
σ
n
:
σ
1
,
···
,σ
n
∈{
0
,
1
,
−
1
}}
,
Λ
σ
=
∞
[
n
=1
Λ
σ
n
.
?
λ,λ
0
∈
Λ
σ
…
λ
6
=
λ
0
.
d
ž
˜
½
¬
•
3
ê
z,z
0
≥
1
9
σ
j
∈{
0
,
1
,
−
1
}
(1
≤
j
≤
z
)
,σ
0
j
∈
{
0
,
1
,
−
1
}
(1
≤
j
≤
z
0
)
¦
λ
=
z
X
j
=1
3
k
j
h
(
p
1
p
2
···
p
j
)
σ
j
, λ
0
=
z
0
X
j
=1
3
k
j
h
(
p
1
p
2
···
p
j
)
σ
j
.
b
s
(
s
≥
1)
•
1
˜
‡
¦
σ
s
6
=
σ
0
s
e
I
,
K
λ
−
λ
0
=3
k
s
h
(
p
1
p
2
···
p
s
)[(
σ
s
−
σ
0
s
)+3
α
]
∈
3
k
s
h
(
p
1
p
2
···
p
s
)(3
Z
±
1)
,α
∈
Z
.
Š
â
(3.6)
ª
Œ
•
λ
−
λ
0
∈Z
(
b
µ
),
d
Ú
n
2.1
Œ
•
Λ
σ
´
µ
˜
‡
Ã
¡
•
ê
8
.
½
n
y
.
ë
•
©
z
[1]Fuglede,B.(1974)CommutingSelf-AdjointPartialDifferentialOperatorsandaGroupThe-
oreticProblem.
JournalofFunctionalAnalysis
,
16
,101-121.
https://doi.org/10.1016/0022-1236(74)90072-X
[2]Jorgensen,P.E.T.andPedersen,S.(1998)DenseAnalyticSubspacesinFractall
L
2
-Spaces.
Journald’AnalyseMath´ematique
,
75
,185-228.https://doi.org/10.1007/BF02788699
[3]An,L.X.andHe,X.G.(2014)AClassofSpectralMoranMeasures.
JournalofFunctional
Analysis
,
266
,343-354.https://doi.org/10.1016/j.jfa.2013.08.031
[4]An,L.X., He,X.G.and Li,H.X.(2015)Spectrality ofInfiniteBernoulliConvolutions.
Journal
ofFunctionalAnalysis
,
269
,1571-1590.https://doi.org/10.1016/j.jfa.2015.05.008
[5]An,L.X.,He,L.andHe,X.G.(2019)SpectralityandNon-SpectralityoftheRieszProduct
MeasureswithThreeElementsinDigitSets.
JournalofFunctionalAnalysis
,
277
,255-278.
https://doi.org/10.1016/j.jfa.2018.10.017
[6]An,L.X.,Fu,X.Y.andLai,C.K.(2019)OnSpectralCantor-MoranMeasuresandaVariant
ofBourgain’sSumofSineProblem.
AdvancesinMathematics
,
349
,84-124.
https://doi.org/10.1016/j.aim.2019.04.014
[7]Dutkay,D.E.andJorgensen,P.E.T.(2012)FourierDualityforFractalMeasureswithAffine
Scales.
MathematicsofComputation
,
81
,2253-2273.
https://doi.org/10.1090/S0025-5718-2012-02580-4
DOI:10.12677/pm.2023.132039362
n
Ø
ê
Æ
=
x
[8]Dutkay,D.E.,Haussermann,J.andLai,C.K.(2019)HadamardTriplesGenerateSelf-Affine
SpectralMeasures.
TransactionsoftheAmericanMathematicalSociety
,
371
,1439-1481.
https://doi.org/10.1090/tran/7325
[9]Ding,D.X.(2017)SpectralPropertyofCertainFractalMeasures.
JournalofMathematical
AnalysisandApplications
,
451
,623-628.https://doi.org/10.1016/j.jmaa.2017.02.040
[10]Deng,Q.R.(2014)SpectralityofOneDimensionalSelf-SimilarMeasureswithConsecutive
Digits.
JournalofMathematicalAnalysisandApplications
,
409
,331-346.
https://doi.org/10.1016/j.jmaa.2013.07.046
[11]Wang,Z.Y.,Dong,X.H.andLiu,Z.S.(2018)SpectralityofCertainMoranMeasureswith
Three-ElementDigitSets.
JournalofMathematicalAnalysisandApplications
,
459
,743-752.
https://doi.org/10.1016/j.jmaa.2017.11.006
[12]Hu,T.Y.andLau,K.S.(2008)SpectralPropertyoftheBernoulliConvolutions.
Advancesin
Mathematics
,
219
,554-567.https://doi.org/10.1016/j.aim.2008.05.004
[13]Strichartz, R.S.(2006) ConvergenceofMock FourierSeries.
Journald’AnalyseMath´ematique
,
99
,333-353.https://doi.org/10.1007/BF02789451
[14]Wang,Z.Y.,Wang,Z.M.,Dong,X.H.andZhang,P.F.(2018)OrthogonalExponentialFunc-
tions ofSelf-Similar MeasureswithConsecutive Digits in
R
.
JournalofMathematicalAnalysis
andApplications
,
467
,1148-1152.https://doi.org/10.1016/j.jmaa.2018.07.062
DOI:10.12677/pm.2023.132039363
n
Ø
ê
Æ