arxiv: v1 [math.fa] 19 Dec 2017

Transcription

1 SPECTAL PAIS AND POSITIVE DEFINITE TEMPEED DISTIBUTIONS arxiv:7.0767v [math.fa] 9 Dec 07 PALLE JOGENSEN AND FENG TIAN Abstract. The present paper presents two new approaches to Fourier series and spectral analysis of singular measures. Contents. Preliminaries. The parallels of p.d. functions vs distributions 4 3. Spectral pairs and p.d. distributions 6 4. A esult from [HJW7] eferences 3 There cannot be a language more universal and more simple, more free from errors and obscurities...more worthy to express the invariable relations of all natural things [than mathematics]. [It interprets] all phenomena by the same language, as if to attest the unity and simplicity of the plan of the universe, and to make still more evident that unchangeable order which presides over all natural causes Joseph Fourier, The Analytical Theory of Heat A spectral pair in k, is a pair ν, Λ) where ν is a finite positive Borel measure on k, and where Λ is a strictly discrete subset of k see [JP93, JP98, HJW7, Str98a, Str98b, Str00, Str]). From a given set Λ, there is then an associated positive definite tempered distribution F Λ, and a corresponding generalized reproducing kernel Hilbert space H Λ. We say that ν, Λ) is a spectral pair iff the set of Fourier exponentials from Λ forms an orthogonal basis in L ν); intuitively, L ν) admits an orthogonal Λ-Fourier series representation. In this paper, we study the occurrence of spectral pairs within the framework of positive definite tempered distributions, as defined by Laurent Schwartz [Sch64b]. Given Λ, we present a necessary and sufficient condition for the existence of a finite positive Borel measure ν such that 000 Mathematics Subject Classification. Primary 47L60, 46N30, 46N50, 4C5, 650; Secondary 46N0, E70, 3A5, 58J65, 8S5. Key words and phrases. Hilbert space, reproducing kernels, tempered distributions, unitary one-parameter group, harmonic decompositions, stationary-increment stochastic processes, renormalization, spectral pair, Parseval frame.

2 SPECTAL PAIS AND POSITIVE DEFINITE TEMPEED DISTIBUTIONS ν, Λ) is a spectral pair. Our method relies on use of the generalized reproducing kernel Hilbert space H Λ.. Preliminaries In our theorems and proofs, we shall make use the particular reproducing kernel Hilbert spaces KHSs) which allow us to give explicit formulas for our solutions. The general framework of KHSs were pioneered by Aronszajn in the 950s [Aro50]; and subsequently they have been used in a host of applications; e.g., [SZ07, SZ09]. Positive definite functions on groups G yield a special class of positive definite kernels. In general, the covariance kernel of a Gaussian process, indexed by G, is a positive definite kernel. If the G-process is G-stationary, then its covariance kernel will be defined from a positive definite function. While these notions make sense in general, we shall restrict attention here to the case of locally compact abelian groups, with an emphasis on the case G = k. But to simplify notation, it is convenient to begin the discussion with the case k =. The extension to the cases k > is fairly straightforward, and we shall concentrate on the general case G = k in the main part of the paper. Our analysis will go beyond the case of positive definite functions. Indeed, our main theorem is stated in the context of positive definite tempered distributions. A comparison of the analysis in the two cases will be given in section below. The KHS H F. For simplicity we focus on the case G =. Definition.. Let be an open domain in. A function F : C is positive definite if c ic j F x i x j ) 0.) i j for all finite sums with c i C, and all x i. We assume that all the p.d. functions are continuous and bounded. Lemma. Two equivalent conditions for p.d.). If F is given continuous on, we have the following two equivalent conditions for the positive definite property: i) n N, {x i } n, {c i} n, x i, c i C, c i c j F x i x j ) 0; i ii) ϕ C c ), we have: ϕ x) ϕ y)f x y) dxdy 0. j Proof. Use iemann integral approximation, and note that F x) H F, and ϕ F H F. See details below.) Consider a continuous positive definite function so F is defined on. Set F y x) := F x y), x, y..) Let H F be the reproducing kernel Hilbert space KHS), which is the completion of { } c jf xj x j, c j C.3) finite

3 SPECTAL PAIS AND POSITIVE DEFINITE TEMPEED DISTIBUTIONS 3 with respect to the inner product i c if xi, j d jf yj H F := i j c id j F x i y j ) ;.4) modulo the subspace of functions of HF -norm zero. Below, we introduce an equivalent characterization of the KHS H F, which we will be working with in the rest of the paper. Lemma.3. Fix = 0, α). Let ϕ n,x t) = nϕ n t x)), for all t ; where ϕ satisfies i) supp ϕ) α, α); ii) ϕ C c, ϕ 0; iii) ϕ t) dt =. Note that lim n ϕ n,x = δ x, the Dirac measure at x. Lemma.4. The KHS, H F, is the Hilbert completion of the functions F ϕ x) = ϕ y) F x y) dy, ϕ Cc ), x.5) with respect to the inner product F ϕ, F ψ HF = ϕ x) ψ y)f x y) dxdy, ϕ, ψ Cc )..6) In particular, F ϕ H F = and F ϕ, F ψ HF = ϕ x) ϕ y)f x y) dxdy, ϕ C c ).7) F ϕ x) ψ x)dx, φ, ψ C c )..8) Proof. Indeed, by Lemma.4, we have Fϕn,x F x) HF 0, as n..9) Hence {F ϕ } ϕ C c ) spans a dense subspace in H F. For more details, see [Jor86, Jor87]. The following two conditions.0).)) below will be used to characterize elements in the Hilbert space H F. Theorem.5. A continuous function ξ : C is in H F if and only if there exists A 0 > 0, such that j c ic j ξ x i ) ξ x j ) A 0 c ic j F x i x j ).0) i j i for all finite system {c i } C and {x i }. Equivalently, for all ψ Cc ), ψ y) ξ y)dy A 0 ψ x) ψ y)f x y) dxdy.) Note that, if ξ H F, then the LHS of.) is F ψ, ξ HF. Indeed, ξ, F ψ HF = ξ, ψ y) F y dy H F

4 SPECTAL PAIS AND POSITIVE DEFINITE TEMPEED DISTIBUTIONS 4 = = ψ y) ξ, F y HF dy ψ y)ξ y) dy by the reproducing property).. The parallels of p.d. functions vs distributions The study of positive definite p.d.) functions, and p.d. kernels, is motivated by diverse themes in analysis and operator theory, in white noise analysis, applications of reproducing kernel KHS) theory, extensions by Laurent Schwartz, and in reflection positivity from quantum physics see the cited references.) The parallels between Bochner s theorem for continuous p.d. functions), and the generalization to Bochner/Schwartz representations for positive definite tempered distributions will be made clear. In the first case, we have the Bochner representation via finite positive measures µ; and in the second case, instead via tempered positive measures. This parallel also helps make precise the respective reproducing kernel Hilbert spaces KHSs). This further leads to a more unified approach to the treatment of the stationary-increment Gaussian processes [AJL, AJ, AJ5]. A key argument will rely on the existence of a unitary representation U of, +), acting on the particular KHS under discussion. In fact, the same idea with suitable modifications) will also work in the wider context of locally compact groups. In the abelian case, we shall make use of the Stone representation for U in the form of orthogonal projection valued measures; and in more general settings, the Stone-Naimark-Ambrose-Godement SNAG) representation [Sto3]. Theorem.. a) Let F be a continuous positive definite p.d.) function on a p.d. tempered distribution [Sch64a, Sch64b]); then there is a unique finite positive Borel measure µ on resp., a unique tempered measure on ) such that F = µ. b) Given F as above, let H F denote the corresponding kernel Hilbert space, i.e., the Hilbert completion of {ϕ F } ϕ Cc) resp. ϕ S) w.r.t ϕ F H F = ϕ x) ϕ y)f x y) dxdy resp., F x y), ϕ ϕ ; action in the sense of distributions. Then there is a unique isometric transform H F T F c) If µ is tempered, e.g., i.e., L, B, µ), T F ϕ F ) = ϕ, i.e., ϕ F H F = ϕ dµ = T F ϕ L µ). dµλ) +λ <, then ϕ F H F = ϕ + Dx ϕ) ) dµ λ) + λ ; where D x ϕ = dϕ dx, and where denotes the standard Fourier transform on. Proof. See [JT7].

5 SPECTAL PAIS AND POSITIVE DEFINITE TEMPEED DISTIBUTIONS 5 OVEVIEW. Continuous p.d. functions on Lemma. Let F be a continuous function on. Then the following are equivalent: i) F is p.d., i.e., ϕ C c ), we have ϕ x) ϕ y)f x y) dxdy 0..) ii) {x j } n j=, {c j} n j= C, and n N, we have n n c j c k F x j x k ) 0..) j= k= Bochner s theorem.! positive finite measure µ on such that F x) = e ixλ dµ λ). Let H F be the KHS of F. Then ϕ F H F = ϕ λ) dµ λ).5) where ϕ = the Fourier transform. F admits the factorization F x x ) = F x ), F x ) HF x, x, with x F x) H F. KHS p.d. tempered distributions on Lemma. Let F be a tempered distribution on. Then F is p.d. if and only if ϕ x) ϕ y)f x y) dxdy 0.3) hold, for all ϕ S, where S is the Schwartz space. Equivalently, F x y), ϕ ϕ 0, ϕ S..4) Here, denotes distribution action. Bochner/Schwartz positive tempered measure µ on such that F = µ where µ is in the sense of distribution. Let H F denote the corresponding KHS. For all ϕ S, we have ϕ F H F = F x y), ϕ ϕ,.6) distribution action. S ϕ ϕ F H F, where ϕ F ) ) = ϕ y) F y) dy. Applications Now applied to Bochner s theorem. On white noise space: Set H F = KHS of F, and w 0 = E e F 0). Then i ϕ, ) = e U t w 0 = w t = F t), t defines a strongly continuous unitary representation of. ϕ dµ where E ) = expectation w.r.t the Gaussian path-space measure. The proof for the special case when F is assumed p.d. and continuous carries over with some changes to the case when F is a p.d. tempered distribution.) Note. In both cases, we have the following representation for vectors in the KHS H F : ϕ F, ψ F HF = ϕ ψ, F, ϕ, ψ S;.7) where ϕ F := the standard convolution w.r.t. Lebesgue measure.

6 SPECTAL PAIS AND POSITIVE DEFINITE TEMPEED DISTIBUTIONS 6 3. Spectral pairs and p.d. distributions Definition 3. L. Schwartz). Introduce the following locally convex topological LCT) spaces, such that we have continuous inclusions k ) S k C k), C c with corresponding duals for the distribution spaces, C c k )) S k C k)) where D := C ) c k = all distributions, and E := C ) = all distributions of compact support. Definition 3.. A subset Λ k, k N, is said to be uniformly discrete iff Def.) there exists r > 0 such that λ λ r, for all λ, λ Λ, λ λ. In this case, we say Λ D k. Definition 3.3 [JP93, JP98, HJW7]). a) Let ν be a finite Borel measure on k, assumed normalized for simplicity, then a subset Λ k is said to be a spectrum iff { e iλx} is an orthonormal basis ONB) in L ν). In this case, we say that ν, Λ) is a spectral pair. b) If instead f x) dν x) = f x) e iλx dν x) for all f L ν), then we say that ν, Λ) is a Parseval spectral pair. Clearly a spectral pair is also a Parseval spectral pair. c) Given ν, set L ν) := { Λ k ; ν, Λ) is a spectral pair } ; 3.) and given Λ D k, set M Λ) := { ν Prob B k ) ; ν, Λ) is a spectral pair }. 3.) d) If ν, Λ) is a spectral pair, we say that ν M Λ), and Λ L ν). If ν, Λ) is a Parseval spectral pair, we say that Λ L Pa ν), and ν M Pa Λ). emark 3.4. For details on Parseval frames and their recent applications, we refer to [DJ3, DJ5, BH5b, LH7, LW7, DHSW, asw4, PW7]. The case when ν Prob B k ) is an IFS-Cantor measure has been studied extensively in the literature. See, e.g, [JP93, JP98, DHS09, DHL3, Mal89, Dau88, Law9, DJ09, DJ]. Definition 3.5 L. Schwartz [Sch64b]). A tempered distribution F S is positive definite p.d.) on k if where S k := the Schwartz space on k. F x y), ϕ ϕ 0, ϕ S k. 3.3) Definition 3.6. A positive measure µ on k is said to be tempered iff Def.) M N such that dµ λ) <. 3.4) M k + λ

7 SPECTAL PAIS AND POSITIVE DEFINITE TEMPEED DISTIBUTIONS 7 Theorem 3.7 Schwartz [Sch64b]). A tempered distribution F is positive definite if and only if there exists a positive tempered Borel measure µ on k such that F = µ, more precisely, F x) ϕ x) dx = ϕ λ) dµ λ), ϕ S k. 3.5) k k In particular see 3.3)) the measure µ will satisfy: F x y) ϕ x) ϕ y)dxdy = ϕ λ) dµ λ) 3.6) k k k with a slight abuse of notation. Here, denotes the standard Fourier transform. Definition 3.8. Let F be a positive definite tempered distribution, then on the functions ϕ F ) x) = ϕ y) F x y) dy, ϕ S k, 3.7) k set ϕ F, ψ F HF := ϕ x) ψ y)f x y) dxdy, ϕ, ψ S k. 3.8) k k Then {ϕ F ; ϕ S k } forms a pre-hilbert space with respect to the norm specified in 3.8) and 3.0). Set It follows that H F := the Hilbert completion from 3.7) & 3.8). 3.9) Lemma 3.9. A function ϕ F is in H F if and only if ϕ L µ), and then ϕ F H F = ϕ λ) dµ λ) 3.0) k where µ is the tempered measure from 3.5). Lemma 3.0. If Λ D k, then F Λ x) := e iλx 3.) is a positive definite p.d.) tempered distribution. Proof. Let ϕ S k, and let r > 0 be as in Definition 3.. Then F Λ, ϕ = eiλx ϕ x) dx k where dx = dx dx k is the usual k-lebesgue measure on k ; and so F Λ, ϕ = ϕ λ). 3.) Set λ = ) λ + + λ k. From the assumption in the lemma; see Definition 3., it follows that there is an M N, depending on k and r such that C M Λ) := <. 3.3) M + λ

8 SPECTAL PAIS AND POSITIVE DEFINITE TEMPEED DISTIBUTIONS 8 Let k be the usual Laplacian on k, then for ϕ S k the space of Schwartz test functions), we get ϕ λ) = I M k ) ϕ ) λ) / + λ M ), λ k. 3.4) Again, using ϕ S k, A ϕ) := sup I M k λ k ) ϕ ) λ) <. 3.5) Combining the estimates 3.3) & 3.5), we get F Λ, ϕ A ϕ) C M Λ). Since A ϕ) is one of the seminorms given in the definition of the topology on Schwartz space of tempered test functions S k, the desired conclusion follows. Example 3.. Let ν = ν 4 be the /4-Cantor measure, i.e., the unique solution to the IFS-equation in Prob B ) and let x ) f + f 4 x + 4 )) dν 4 x) = f x) dν 4 x), 3.6) Λ 4 = {0,, 4, 5, 6, 7, 0,, 64, 65, } 3.7) { finite } = b i 4 i ; b i {0, }. 0 Then ν 4, Λ 4 ) is a spectral pair; and so Λ 4 L ν 4 ), and ν 4 M Λ 4 ). See Figure 3.. It is known that ν 3, Λ 3 ) is not a spectral pair, where ν 3 is the unique solution in Prob B ) to and x ) f + f 3 x + 3 )) dν 3 x) = f x) dν 3 x), 3.8) Λ 3 := {0,, 3, 4, 9, 0,, 3, 7, 8, } 3.9) { finite } = b i 3 i ; b i {0, }. In fact, Jorgensen & Pedersen [JP98] showed that 0 L ν 3 ) =. 3.0) However, M Λ 3 ) is not known. See also [Str98a, Str98b, Str00, Str].

9 SPECTAL PAIS AND POSITIVE DEFINITE TEMPEED DISTIBUTIONS Harmonic Analysis of Fractal Measures 7 Suport of ν 4 ; note ν 4 makes a spectral pair ν 4, Λ 4 ) r Fig. 6 The Sierpinski gasket; the corresponding IFS measure is not part of a spectral pair. The Sierpinski Eiffle Tower; Fig. the7 corresponding IFS measure ν is part of a spectral pair ν, Λ) with some Λ D 3 ; see [JP98], and also [Str98a, Str98b, Str00, Str]. Figure 3.. Examples of support sets in k, k =,, 3, for IFS Cantor measures. See [JP93].

10 SPECTAL PAIS AND POSITIVE DEFINITE TEMPEED DISTIBUTIONS 0 Theorem 3.. Let k N, and Λ D k see Definition 3.), and set F Λ x) = eiλ x, x k as a tempered p.d. distribution, and let H FΛ be the generalized KHS of Schwartz [Sch64b]. Then a function h on k is in H FΛ if and only if it has a convolution-factorization h = ϕ F Λ 3.) where ϕ is a measurable function such that ϕ λ) exists for all λ Λ, and { ϕ λ)} is in l Λ). In this case see 3.). h H FΛ = ϕ λ) ; 3.) Proof. We shall include below only a sketch; additional details will follow inside the proof of Theorem 3.4 below. The key formula for HFΛ is ϕ F Λ H FΛ = ϕ λ), 3.3) which in turn follows from Theorem 3.7 above. emark 3.3. The tempered distributions F Λ considered here play an important role in the literature on aperiodic phenomena, especially the study of diffraction patterns; see e.g., [LO7, BH5a, BG6, BL7]. Theorem 3.4. Let Λ D k, and set F Λ x) := e iλx, 3.4) see 3.), then H FΛ eqns. 3.7)-3.8)) has the form H FΛ = L ν) for a finite positive Borel measure ν on k if and only if ν M Pa Λ). Proof. For ϕ S k, let ϕ denote the standard Fourier transform. [Sch64a] that Ŝk = S k, and so Ŝ k = S k. One checks that It is known ϕ F Λ ) x) = ϕ λ) e iλx, x k, and 3.5) ϕ F Λ H FΛ = ϕ λ) ; 3.6) see 3.7)-3.8) for definitions. Note that the transforms are computed in the sense of Schwartz distributions. We now turn to the proof of the theorem. Note that by Definition 3., given Λ, then ν M Λ) iff L ν) admits the representation: f L ν) {c λ } l Λ) such that f x) = c λ e iλx, and 3.7) k f x) dν x) = c λ, 3.8) where, for simplicity, we assume that ν is normalized. The interpretation of 3.7) is that of L ν), and so when f L ν) has the representation 3.7), then we

11 SPECTAL PAIS AND POSITIVE DEFINITE TEMPEED DISTIBUTIONS have convergence f x) fin c λ e iλx dν x) 0 3.9) where the limit in 3.9) is over the filter of all finite subsets of the given set Λ D k. The conclusion of the theorem now follows from this, combined with 3.6)-3.7), and the previous lemmas. Conversely, suppose H FΛ = L ν) for some ν, a finite positive Borel measure; then e λ x) := e iλx is in H FΛ for all λ Λ. Now, by the above, we know that every f H FΛ = L ν) ) 3.30) has the representation f x) = ϕ λ) e λ x) 3.3) where ϕ λ) denotes the standard Fourier transform, i.e., ϕ λ) = ϕ x) e iλx dx, k and dx = the k-dimensional Lebesgue measure; see 3.7). We now verify that ν M Pa Λ), i.e., that f, e λ L ν) = f L ν). 3.3) We have HS 3.3) = ϕ λ) e λ ) by 3.30)) H FΛ = ϕ λ) by 3.8) and 3.3)) = f, e λ HFΛ = f, e λ L ν) by 3.30)) = LHS 3.3) which is the desired conclusion, i.e., ν M Pa Λ). Corollary 3.5. Let the setting be as in Theorem 3.4, i.e., Λ D k is given, and a positive finite measure ν on k is assumed to satisfy H FΛ = L ν), see Theorem 3.7. Then ν k), and ν k) = holds if and only if ν, Λ) is a spectral pair, i.e., ν M Λ). Proof. The result follows from Theorem 3.4, combined with the following: Lemma 3.6. Let H be a Hilbert space, and let {ϕ j } j J, J countable, be a Parseval frame, i.e., h H = ϕj, h H 3.33) j J holds for all h H. Then {ϕ j } j J is an ONB if and only if ϕ j H =, for all j J. In general, ϕ j H, j J. Proof. Pick j J, and apply 3.33) to h = ϕ j, we get ϕ j H = ϕ j 4 H + ϕi, ϕ j H ϕj 4 H. 3.34) i J\{j}

12 SPECTAL PAIS AND POSITIVE DEFINITE TEMPEED DISTIBUTIONS The conclusion in the lemma is immediate from this: In particular, ϕ j H = holds iff the terms on the HS in 3.34) ϕ i, ϕ j H, i j, i, j J, vanish. The corollary follows since when ν, Λ are as specified as stated, then e λ L ν) = k e λ dν = ν k). 4. A esult from [HJW7] The conclusions in [HJW7] introduced a new and different approach to the study of spectral theory for L ν) in the case where ν is a given compactly supported singular measure on. Below we include a brief sketch. Let ν be a singular measure supported on [0, ] = /Z = the boundary of the disk D, D = {z C ; z < }. For n N 0 = N {0}, set e n x) = e iπnx, and pass to the following Kaczmarz algorithm see, e.g., [Szw07, CT3]): Then the associated sequence has the form: and f 0 = f, e 0 ν e 0 4.) f n x) = f n x) + f f n, e n ν e n x). g 0 = e 0 4.) n g n x) = e n x) e n, e j ν g j x) }{{} j=0 νn j) n α n j e j x) = g n x), 4.3) j=0 Theorem 4. [HJW7]). Let ν and {g n } n N0 be as sketched; then every f L ν) has the following frame expansion: f x) = n N 0 f, g n ν e n x) 4.4) = n N 0 n j=0 f j) α n j e n x), where α n j ) is the )-matrix inverse to the Gramian ν n j)) j n. Moreover, the system {g n } n N0 in 4.3) is a Parseval frame in L ν), i.e., f L ν) = f, gn L ν) n N 0 holds for all f L ν). Proof. eaders are refereed to [HJW7] for proof details.

13 SPECTAL PAIS AND POSITIVE DEFINITE TEMPEED DISTIBUTIONS 3 Acknowledgement. The first named author thanks the members of the Analysis, Probability and Mathematical Physics on Fractals at Cornell University in the Spring of 07 for inspiration, encouragements, and many helpful conversations. As well as collaborations and many fruitful discussions with D. Alpay, D. Dutkay, J. Herr, S. Pedersen, and E. Weber. eferences [AJ] Daniel Alpay and Palle E. T. Jorgensen, Stochastic processes induced by singular operators, Numer. Funct. Anal. Optim. 33 0), no. 7-9, M [AJ5] Daniel Alpay and Palle Jorgensen, Spectral theory for Gaussian processes: reproducing kernels, boundaries, and L -wavelet generators with fractional scales, Numer. Funct. Anal. Optim ), no. 0, M [AJL] Daniel Alpay, Palle Jorgensen, and David Levanony, A class of Gaussian processes with fractional spectral measures, J. Funct. Anal. 6 0), no., M 793 [Aro50] N. Aronszajn, Theory of reproducing kernels, Trans. Amer. Math. Soc ), M [asw4] Sa ud al Sa di and Eric Weber, Necessary density conditions for sampling and interpolation in de Branges spaces, Operator methods in wavelets, tilings, and frames, Contemp. Math., vol. 66, Amer. Math. Soc., Providence, I, 04, pp M [BG6] Michael Baake and Franz Gähler, Pair correlations of aperiodic inflation rules via renormalisation: some interesting examples, Topology Appl ), 4 7. M [BH5a] Michael Baake and Christian Huck, Ergodic properties of visible lattice points, Proc. Steklov Inst. Math ), no., M [BH5b] Bernhard G. Bodmann and John Haas, Frame potentials and the geometry of frames, J. Fourier Anal. Appl. 05), no. 6, M 3499 [BL7] Michael Baake and Daniel Lenz, Spectral notions of aperiodic order, Discrete Contin. Dyn. Syst. Ser. S 0 07), no., M [CT3] Wojciech Czaja and James H. Tanis, Kaczmarz algorithm and frames, Int. J. Wavelets Multiresolut. Inf. Process. 03), no. 5, , 3. M [Dau88] Ingrid Daubechies, Orthonormal bases of compactly supported wavelets, Comm. Pure Appl. Math ), no. 7, M [DHL3] Xin-ong Dai, Xing-Gang He, and Chun-Kit Lai, Spectral property of Cantor measures with consecutive digits, Adv. Math. 4 03), M [DHS09] Dorin Ervin Dutkay, Deguang Han, and Qiyu Sun, On the spectra of a Cantor measure, Adv. Math. 009), no., M [DHSW] Dorin Ervin Dutkay, Deguang Han, Qiyu Sun, and Eric Weber, On the Beurling dimension of exponential frames, Adv. Math. 6 0), no., M [DJ09] Dorin Ervin Dutkay and Palle E. T. Jorgensen, Quasiperiodic spectra and orthogonality for iterated function system measures, Math. Z ), no., M [DJ], Spectral measures and Cuntz algebras, Math. Comp. 8 0), no. 80, M [DJ3], On the universal tiling conjecture in dimension one, J. Fourier Anal. Appl. 9 03), no. 3, M [DJ5], Unitary groups and spectral sets, J. Funct. Anal ), no. 8, 0 4. M [HJW7] J. E. Herr, P. E. T. Jorgensen, and E. S. Weber, A matrix characterization of boundary representations of positive matrices in the Hardy space, to appear in Journal d Analyse Mathématique 07). [Jor86] Palle E. T. Jorgensen, Analytic continuation of local representations of Lie groups, Pacific J. Math ), no., M m:030) [Jor87], Analytic continuation of local representations of symmetric spaces, J. Funct. Anal ), no., M

14 SPECTAL PAIS AND POSITIVE DEFINITE TEMPEED DISTIBUTIONS 4 [JP93] Palle E. T. Jorgensen and Steen Pedersen, Harmonic analysis of fractal measures induced by representations of a certain C -algebra, Bull. Amer. Math. Soc. N.S.) 9 993), no., M 53 [JP98], Dense analytic subspaces in fractal L -spaces, J. Anal. Math ), M [JT7] Palle Jorgensen and Feng Tian, Positive definite p.d.) functions vs p.d. distributions, submitted to Analysis and Applications 07). [Law9] Wayne M. Lawton, Necessary and sufficient conditions for constructing orthonormal wavelet bases, J. Math. Phys. 3 99), no., M [LH7] Zhongyan Li and Deguang Han, Frame vector multipliers for finite group representations, Linear Algebra Appl ), M [LO7] Nir Lev and Alexander Olevskii, Fourier quasicrystals and discreteness of the diffraction spectrum, Adv. Math ), 6. M [LW7] Chun-Kit Lai and Yang Wang, Non-spectral fractal measures with Fourier frames, J. Fractal Geom. 4 07), no. 3, M [Mal89] Stephane G. Mallat, Multiresolution approximations and wavelet orthonormal bases of L ), Trans. Amer. Math. Soc ), no., M [PW7] Gabriel Picioroaga and Eric S. Weber, Fourier frames for the Cantor-4 set, J. Fourier Anal. Appl. 3 07), no., M [Sch64a] L. Schwartz, Sous-espaces hilbertiens et noyaux associés; applications aux représentations des groupes de Lie, Deuxième Colloq. l Anal. Fonct, Centre Belge echerches Math., Librairie Universitaire, Louvain, 964, pp M [Sch64b] Laurent Schwartz, Sous-espaces hilbertiens d espaces vectoriels topologiques et noyaux associés noyaux reproduisants), J. Analyse Math ), M [Sto3] M. H. Stone, On one-parameter unitary groups in Hilbert space, Ann. of Math. ) 33 93), no. 3, M [Str98a] obert S. Strichartz, Fractals in the large, Canad. J. Math ), no. 3, M [Str98b], emarks on: Dense analytic subspaces in fractal L -spaces [J. Anal. Math ), 85 8; M a:46045)] by P. E. T. Jorgensen and S. Pedersen, J. Anal. Math ), 9 3. M [Str00], Mock Fourier series and transforms associated with certain Cantor measures, J. Anal. Math ), M 7858 [Str], Spectral asymptotics revisited, J. Fourier Anal. Appl. 8 0), no. 3, M 9088 [SZ07] Steve Smale and Ding-Xuan Zhou, Learning theory estimates via integral operators and their approximations, Constr. Approx ), no., M [SZ09], Geometry on probability spaces, Constr. Approx ), no. 3, M [Szw07] yszard Szwarc, Kaczmarz algorithm in Hilbert space and tight frames, Appl. Comput. Harmon. Anal. 007), no. 3, M 386 Palle E.T. Jorgensen) Department of Mathematics, The University of Iowa, Iowa City, IA 54-49, U.S.A. address: palle-jorgensen@uiowa.edu UL: Feng Tian) Department of Mathematics, Hampton University, Hampton, VA 3668, U.S.A. address: feng.tian@hamptonu.edu