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

Orthogonal Exponential Functions on the Three-Dimensional Sierpinski Gasket

  • Zhi-Min Wang

摘要

Let \(\xi \in \mathbb {R}\) ξ R , and \(\rho _i\in \mathbb {R}\) ρ i R with \(0<|\rho _i|<1\) 0 < | ρ i | < 1 for \(1\le i\le 3\) 1 i 3 . For an expanding real matrix \(\begin{aligned} M=\begin{bmatrix} \rho _1^{-1}&{}0&{}\xi \\ 0&{}\rho _2^{-1}&{}-\xi \\ 0&{}0&{}\rho _3^{-1} \end{bmatrix}\in M_3(\mathbb {R}) \end{aligned}\) M = ρ 1 - 1 0 ξ 0 ρ 2 - 1 - ξ 0 0 ρ 3 - 1 M 3 ( R ) and an integer digit set \(D=\{(0,0,0)^t, (1,0,0)^t, (0,1,0)^t, (0,0,1)^t \}\subset \mathbb {Z}^3\) D = { ( 0 , 0 , 0 ) t , ( 1 , 0 , 0 ) t , ( 0 , 1 , 0 ) t , ( 0 , 0 , 1 ) t } Z 3 , let \(\mu _{M,D}\) μ M , D be the self-affine measure defined by \(\mu _{M,D}(\cdot )=\frac{1}{|D|}\sum _{d\in D}\mu _{M,D}(M(\cdot )-d)\) μ M , D ( · ) = 1 | D | d D μ M , D ( M ( · ) - d ) . In this paper, we prove that if \(\rho _1=\rho _2\) ρ 1 = ρ 2 , then \(L^2(\mu _{M,D})\) L 2 ( μ M , D ) admits an infinite orthogonal set of exponential functions if and only if \(|\rho _i|=(p_i/q_i)^{\frac{1}{r_i}}\) | ρ i | = ( p i / q i ) 1 r i for some \(p_i,q_i,r_i\in \mathbb {N}^+\) p i , q i , r i N + with \(\gcd (p_i,q_i)=1\) gcd ( p i , q i ) = 1 and \(2|q_i\) 2 | q i , \(i=1,2\) i = 1 , 2 . In particular, if \(\rho _1,\rho _2,\rho _3\in \{\frac{p}{q}:p,q\in 2\mathbb {Z}+1\}\) ρ 1 , ρ 2 , ρ 3 { p q : p , q 2 Z + 1 } and \(\rho _1=\rho _2\) ρ 1 = ρ 2 , then there exist at most 4 mutually orthogonal exponential functions in \(L^2(\mu _{M,D})\) L 2 ( μ M , D ) , and the number 4 is the best.