Pure Mathematical Sciences, Vol. 3, 2014, no. 1, 1-8 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/pms.2014.3713 Admissible Wavelets on roups and their Homogeneous Spaces F. Esmaeelzadeh Department of Mathematics, Bojnourd Branch Islamic Azad University, Bojnourd, Iran esmaeelzadeh@bojnourdiau.ac.ir R. A. Kamyabi ol Department of Mathematics, Ferdowsi University of Mashhad P. O. Box 1159, Mashhad 91775, Iran kamyabi@ferdowsi.um.ac.ir Copyright c 2014 F. Esmaeelzadeh and R. A. Kamyabi ol. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract In this note, let be a locally compact group and H be a compact subgroup of. We investigate the square integrable representations of homogeneous spaces and admissible wavelets for these representations. Also, we consider the relation between the square integrable representations of locally compact groups and their homogeneous spaces. Moreover, the connection between existence of admissible wavelets for locally compact groups and their homogeneous spaces is described. Mathematics Subject Classification: Primary 43A15; Secondary 43A85, 65T60 Keywords: square integrable, admissible wavelet, homogeneous space, relatively invariant measure, strongly quasi invariant measure
2 F. Esmaeelzadeh and R. A. Kamyabi ol 1 Introduction and Preliminaries For a locally compact group with left Haar measure λ it is well known that a continuous unitary representation π of is called square integrable if there exists a non-zero vector ζ in Hilbert space H such that <π(x)ζ,ζ > 2 dλ(x) <. Such a unital vector ζ is called an admissible vector. The square integrable representations on homogeneous spaces that admit -invariant measure and relatively invariant measure have been studied in [1, 5]. In this manuscript we investigate the relation between square integrable representations of locally compact group and its homogeneous space, in which H is compact subgroup of. To be more precise we need to fix some notations and review some basic concepts. For more details one may refer to [8, 6, 12, 3]. Let be a locally compact group and H be a closed subgroup of with left Haar measures λ and λ H, respectively. Consider as a homogeneous space on which acts from left and the Radon measure μ on is said to be -invariant if μ x (yh) =μ(yh) for all x, y, where μ x is defined by μ x (E) =μ(xe) (for Borel subset E of ). It is well known that there is a -invariant Radon measure μ on if and only if Δ H =Δ H, where Δ, Δ H are the modular functions on and H, respectively. In this case we have, f(x)dλ(x) = Pf(xH)dμ(xH) = f(xh)dλ H (h)dμ(xh), H (1.1) in which Pf(xH) = H f(xh)dλ H(h) is surjective continuous map from C c () onto C c (). The Radon measure μ on is called strongly quasi invariant if there is a positive continuous function α of such that dμ x (yh) =α(x, yh)dμ(yh), for all x, y. If the function α(x,.) reduce to constants, the measure μ is called relatively invariant measure. A rho-function for the pair (, H) is defined to be a continuous positive function ρ from which satisfies ρ(xh) = Δ H(h) Δ (h) ρ(x) (x, h H). In [10] it has been shown that the existence of a homomorphism rho-function for the pair (, H) is a necessary and sufficient condition for the existence of
Admissible wavelets on groups and their homogeneous spaces 3 a relatively invariant measure μ on. In this paper we introduce square integrable representations of homogeneous space equiped with a relatively invariant measure μ. The main aim in this paper is to compare square integrable representations of locally compact groups and their homogeneous spaces. Finally we describe the relation between admissible wavelets on groups and their homogeneous spaces. 2 Main Result Let be a locally compact group and H be a Hilbert space. We recall square integrable representations of locally compact groups. An irreducible representation π of group is said to be square integrable if there exists a nonzero element ζ in H such that <ζ,π(x)ζ > 2 dλ(x) <. (2.1) The condition (2.1) is known as the admissibility condition for the square integrable representations of on H. The element ζ Hfor which ζ =1is called admissible wavelet for the square integrable representation π of group. The wavelet constant associated to the admissible wavelet is denoted by c ζ and defined as: c ζ = <ζ,π(x)ζ > 2 dλ(x). ( For more details about admissible wavelets on locally compact groups the reader can be consult with [13, 9]). In [5], we have studied the squre integrable representations of homogeneous spaces and admissible wavelets for these representations. Here we define representations of homogeneous spaces which will be needed in the difinition of square integrable representations of homogeneous spaces. A unitary representation of the homogeneous space is a map ϖ from into the group U(H), of all unitary operators on some nonzero Hilbert space H, for which the map xh < ϖ(xh)ζ,ξ > from into C is continuous, for each ζ,ξ Hand ϖ(xyh) =ϖ(xh)ϖ(yh), ϖ(x 1 H)=ϖ(xH), for each x, y. It is worthwhile to note that this defines a unitary representation π of in which the subgroup H is contained in the kernel of π. Conversely, any unitary representation π of which is trivial on H induces a unitary representation ϖ of, by letting ϖ(xh) = π(x). Moreover, a closed subspace
4 F. Esmaeelzadeh and R. A. Kamyabi ol M of H is said to be invariant with respect to ϖ if ϖ(xh)m M, for all x. A unitary representation ϖ is said to be irreducible if the only invariant subspaces of H are {0} and H. An irreducible representation ϖ of on H, in which is a locally compact group and H is a compact subgroup of, is said to be square integrable if there exists a nonzero element ζ Hsuch that ρ(e) ρ(x) <ζ,ϖ(xh)ζ > 2 dμ(xh) <, (2.2) where μ is a relatively invariant measure on which arises from a rho function ρ : (0, ). If ζ satisfies (2.2), it is called an admissible vector. An admissible vector ζ His called an admissible wavelet if ζ = 1. In this case, we define the wavelet constant c ζ as c ζ := ρ(e) ρ(x) <ζ,ϖ(xh)ζ > 2 dμ(xh). (2.3) We call c ζ the wavelet constant associated to the admissible wavelet ζ. Note that since H is compact subset of, the definition (2.2) is well define. In the sequle we intend to establish a relation between square integrable representations of locally compact groups and their homogeneous spaces. We recall that a unitary representation of homogenous space is in one to one correspondence to a unitary representation of whose kernel π, which is denoted by N, contains H. We denote by q N,q H,p, the canonical mappings of onto /N, of onto and of N onto N/H. Let λ N and λ H be the left Haar measure on N and H, respectively. Then there exists a -invariant measure μ N/H on N/H. On the otherhand, let λ be a left Haar measure on. One can then form a left invariant mesures μ /N on quotient group /N and a relatively invarint measure μ on homogeneous space which arises from rho-function ρ of. It is clear that, the mapping (x, n) q H (xn) of N into is continuous. Since q H (xnh) =q H (xn), for all h H, this mapping defines a continuous mapping of (N/H) into. Whence for each fixed x, the mapping ψ x of N into such that ψ x (n) =xn, define a mapping ω x of N/H into in which ω x (p(n)) = q H (ψ x (n)) = q H (xn). It is easy to show that ψ xn = ψ x oϱ N (n), thererfore that ω xn = ω x oϱ N/H (n), for all n N, in which ϱ N (n)(n )=nn. The following lemma shows that the map ω x is proper.
Admissible wavelets on groups and their homogeneous spaces 5 Lemma 2.1. Let E be a compact subset of and K be a compact subset of. Then x K ωx 1 (E) is relatively compact in N/H. In particular, x K ωx 1 (E) is contained in a compact subset of N/H. Proof. Let F be a compact subset of such that q H (F ) = E. Let L be the set of n N such that Kn intersects F. Then L is compact (see [2], chapteriii, 4.5, theorem1). Let n N, such that p(n) x K ωx 1 (E). Thus there exists x K such that ω x (p(n)) E. i.e. q H (xn) E and since q H (F )= E, there exists h H, xnh F. Then nh L. Sop(nh) =p(n) p(l). That is x K ωx 1 (E) p(l). Let M(N/H) and M() be complex measure spaces on homogeneous spaces N/H and, respectively, as introduced in [3, 12]. Lemma 2.2 shows that the mapping ω x is proper. Then ω x extends continuously to a map from M(N/H) intom() ([7], Section 4.5). Now let ϕ C c (). Define the function Ψ of into M() such that Ψ(x) =<ϕ,ω x (μ N/H ) >:= ϕ(ω x (p(n))dμ N/H (p(n)). The function Ψ is continuous and compact support. Morevere by -invariant measure μ N/H, we have Ψ(xn) = <ϕ,ω xn (μ N/H ) > = <ϕ,ω x oϱ N/H (n)(μ N/H ) > = ϕ(ω N/H xoϱ N/H (n)(p(n )))dμ N/H (p(n )) = ϕ(ω N/H x(nn H))dμ N/H (p(n )) = ϕ(ω N/H x(n H))dμ N/H (p(n )) = ϕ(ω x (μ N/H )) = Ψ(x), for n N. Then the mapping Ψ of/n into M() in which N/H Ψ(q N (x)) =< ϕ,ω x (μ N/H ) >, (2.4) is continuous with compact support, for all ϕ C c (). Proposition 2.2. Let ϕ C c (). Then <ϕ,ω x (μ N/H ) >dμ /N (q N (x)) = /N Proof. By (1.1), for ϕ C c () we have ϕ(q H (x))dμ (q H (x)) = ϕ(q H (x))dμ (q H (x)). f(x)dλ(x),
6 F. Esmaeelzadeh and R. A. Kamyabi ol where ϕ = Pf and f C c (). Also, <ϕ,ω /N x(μ N/H ) >dμ /N (q N (x)) = (Pf(ω /N N/H x(p(n))dμ N/H (p(n))dμ /N (q N (x)) = (Pf(q /N N/H H(xn))dμ N/H (p(n))dμ /N (q N (x)) = R /N N/H H xf(nh)dλ H (h)dμ N/H (p(n))dμ /N (q N (x)) = f(xn)dλ /N N N(n)dμ /N (q N (x)) = f(x)dλ(x). Corollary 2.3. (i)) Let ϕ be a μ -integrable function on. There exists a μ /N -negligible subset E of /N having the following property: if x is such that q N (x) / E, then the function ϕoω x on N/H is μ N/H -integrable. The integral N/H ϕ(ω x(p(n))dμ N/H (p(n) is a μ /N -integrable function and ϕ(q H (x))dμ (q H (x)) = /N dμ /N (q N (x)) ϕ(ω x (p(n))dμ N/H (p(n)). N/H (2.5) (ii) suppose that there exists a bounded positive measure μ on homogenous space. Then there exists a bounded positive measure on homogeneous space N/H. Proof. (i) By proposition 2.2 we have, ϕ(q H (x))dμ (q H (x)) = <ϕ,ω x (μ N/H ) >dμ /N (q N (x)) = /N /N N/H (ϕ(ω x (p(n))dμ N/H (p(n))dμ /N (q N (x)). (ii) The function 1 on is μ - integrable. By the part (i), the function 1onN/H is μ N/H -integrable. Thus μ N/H is bounded. As before we mention, a unitary representation ϖ of homogeneous space define a representation π of such that kerπ = N contains H. Consider π, the representation of /N by letting π(xn) = π(x). The following theorem show that the representation ϖ of is square integrable if and only if the representation π of quotient group /N is square integrable. Theorem 2.4. Let ϖ be a unitary representation of. The unitary representation ϖ of is square integrable if and only if the representation π of quotient group /N is square integrable.
Admissible wavelets on groups and their homogeneous spaces 7 Proof. Assume that the representation ϖ is an irreducible. Let π the associated representation of and let N be the kernel of representation π. The representation ϖ is irreducible if and only if π is irreducible or equivalently, if the representation π is irreducible. Then, by the corollary 2.3 and since the -invariant measure μ N/H is finite [11], we have ϕ(xh)dμ (xh) =μ(n/h) ϕ(xn)dμ /N (xn). Here ϕ(xh) = <ϖ(xh)ζ,ζ > 2. So, the representation ϖ is a square integrable of if and only if π induce a representation π of quotient group /N where π is square integrable. We can conclude that there exsits an admissible wavelet for representation ϖ of homogeneous space if and only if there exists an admissible wavelet for induced representation π of quotient group /N. Corollary 2.5. A unital vector ζ in Hilbert space H is an admissible wavelet for representation ϖ of homogeneous space if and only if ζ in H is an admissible wavelet for representation π of qoutient group /N. The following example support our tecnical considerations in this note. Example 2.6. Consider Euclidean group = SO(n) τ R n with group operations /N (R 1,p 1 ).(R 2,p 2 )=(R 1 R 2,R 1 p 2 + p 1 ), (R, p) 1 =(R 1, R 1 p). Put n =2in, i.e. = SO(2) τ R 2 and H = L 2 (S 1 ) L 2 [ π,π]. In this setting any R SO(2) and s S 1 are given explicitly by ( ) cosθ sinθ R = sinθ cosθ s = ( sinγ cosγ The representation π on, is defined as π(θ, p 1,p 2 )ψ(γ) =e i(p 1sinγ+p 2 cosγ ψ(γ θ), for all (θ, p 1,p 2 ), ψ L 2 (S 1 ). Since this representation of is not square integrable [4], we are looking for suitable representation of its homogeneous space. Consider H = {(0, 0,p 2 ) }. Thus the representation of is square integrable [5]. By theorem 2.4 the representation ϖ of homogeneous space is square integrable if and only if the representation π of qoutient group /N is square integrable, where N = kerπ = {(0, p 2 cotgγ, p 2 ),p 2 R}. )
8 F. Esmaeelzadeh and R. A. Kamyabi ol References [1] S.T. Ali, J-P. Antoine, P. Vandergheynst, R. Murenzi, Two Dimensional Wavelets and their Relatives, Springer-Verlag, New York, 2004. [2] N. Bourbaki, Elements of Mathematics, eneral Topology, springer, Verlag Berlin, New york,1971. [3] N. Bourbaki, Elements of Mathematics, Intrgration, springer, Verlag Berlin, New york, 1965. [4] S. Dahlke,. Steidl,. Teschke Weighted coorbit spaces and Banach frames on homogeneous spaces, J. Fourier Anal, Appl. 10 (2004), no. 5, 507-539. [5] F. Esmaeelzadeh, R.A. Kamyabi ol, R. Raisi Tousi, On the continuous wavelet transform on homogeneous spases,int. J. Wavelets. Multiresolut, Vol 10, No4, 2012. [6] J.M.. Fell, R.S. Doran, Representation Of *-algebras, Locally Compact roups, and Banach *-algebraic Bundles, Vol 1, Academic Press, 1988. [7].B. Folland, Real Analysis, CRC Press, 1999. [8].B. Folland, A Course in Abstract Harmonic Analysis, CRC Press, 1995. [9] H. Führ, Abstract Harmonic Analysis of Continuous Wavelet Transform, Springer Lecture Notes in Mathematics, Nr. 1863, Berlin, 2005. [10] R.A. Kamyabi ol, N. Tavallaei, convolution and homogeneous spaces. Bull. Iranian Math. Soc. 35(2009), no.1, 129-146, 281. [11]. D. Mostow, homogeneous spaces with invariant measure.annals of Mathematics. Second Series, Vol. 75, No. 1 (Jan., 1962), pp. 17-37 [12] H. Reiter, J. Stegeman, Classical Harmonic Analysis and Locally compact roup, claredon press, 2000. [13] M.W. Wong, Wavelet Transform and Localization Operators. Birkhauser Verlag, Basel-Boston-Berlin, 2002. Received: July 1, 2013