Abstract
In this note, the two-wavelet localization operator for square integrable representation of a general homogeneous space is defined. Then among other things, the boundedness properties of this operator is investigated. In particular, it is shown that it is in the Schatten p-class.
Similar content being viewed by others
1 Introduction and preliminaries
The name of localization operator goes back to 1988, when I. Daubechies first used these operators as a mathematical tool to localize a signal on the time frequency plane. Recently, localization operators have been a subject of study in quantum mechanics; in PDE and signal analysis (see [1, 3, 10]). Wong [12] has studied the localization operators in the setting of homogeneous spaces with a G-invariant measure (see also [2]). The localization operators in the setting of homogeneous space with an admissible wavelet on general homogeneous space were studied in [11]. Also the two-wavelet localization operators on the homogeneous space G/H has been investigated in [4, 7, 8], where G/H was equipped with a relatively invariant measure. In this paper, we continue our investigation on the localization operators with two admissible wavelets in a completely different and more general approach, by considering a strongly quasi invariant measure on the homogeneous space G/H. The purpose of this paper is to explore and develop certain results concerning two wavelet localization operators in the setting of general homogeneous spaces. At this point for reader convenince and fixing our notations, we recall some remarkable pointers of Radon measures on homogeneous spaces.
Let G be a locally compact group and H be a closed subgroup of G. Consider G/H as a homogeneous space equipped with a strongly quasi invariant measure \(\nu \). Note that G acts from the left on G/H in a natural way. We recall that a non-zero positive Radon measure \(\nu \) is strongly quasi invariant if there is a continuous function \(\kappa :G\times G/H \rightarrow (0,\infty )\) such that
for all \(g, k \in G \). If the function \(\kappa (g,\cdot )\) reduces to constant, then \(\nu \) is called relatively invariant under G. It is well known that any homogeneous space G/H possesses a strongly quasi invariant measure and all such measures are constructed by a rho-function \(\rho \). We recall that a rho-function for the pair (G, H) is defined to be a continuous function \(\rho :G\rightarrow (0,\infty )\) which satisfies
where \(\Delta _G, \Delta _H\) are the modular functions on G and H, respectively (see [6]). For any pair (G,H) and each rho-function \(\rho \), there is a strongly quasi invariant measure \(\nu \) on G/H such that
in which
It is easy to see that
A positive Radon measure \(\nu \) on G/H is said to be G-invariant if \(\nu _{g} = \nu \) for all g\(\in \) G. It is well known that G/H admits a G-invariant measure when H is compact. (for a detailed account of Homogeneous spaces, the reader is referred to [6, 7, 9]).
Now, we recall the basic concepts of continuous unitary representations and continuous wavelet transform on homogeneous spaces [5]. For a Hilbert space \({\mathcal {H}}\), let \(U({\mathcal {H}})\) denote the group of unitary operators on \({\mathcal {H}}\) equipped with the strong operator topology.
A continuous map
that \(\varrho (gkH)= \varrho (gH) \varrho (kH) , \varrho (g^{-1}H) = \varrho (gH)^*\) for each \( x, y \in {{\mathcal {H}}}\) and \(g,k\in G,\) is called a continuous unitary representation of homogeneous space G/H. Moreover a closed subspace M of \({\mathcal {H}}\) is said to be invariant with respect to \(\varrho \) if \(\varrho (gH)M \subseteq M\), for all \(g\in G\). A continuous unitary representation \(\varrho \) is said to be irreducible if the only invariant subspaces of \({\mathcal {H}}\) are \(\{0\}\) and \({\mathcal {H}}\).
Note that, there is a significant relationship between the representations of homogeneous space G/H and representations of group G. That is, if \(\varrho \) is a representation of G/H, then it defines a representation \(\sigma \) of G in which the subgroup H is considered to be contained in the kernel of \(\sigma \). Conversely, any representation \(\sigma \) of G which is trivial on H induces a representation \(\varrho \) of G/H by letting \(\varrho (gH) = \sigma (g)\).
Let \(\varrho \) be a unitary irreducible representation of G/H on a Hilbert space \( {\mathcal {H}} \). A vector \(\eta \in {\mathcal {H}} \) is said to be admissible if
An admissible vector \(\eta \in {\mathcal {H}}\) is called admissible wavelet if \(\Vert \eta \Vert =1.\)
Note that (1.3) is well-defined [11].
For a representation \(\varrho \) of G/H on Hilbert space \({\mathcal {H}}\) and an admissible wavelet \(\eta \) for \(\varrho \), the continuous wavelet transform associated with the admissible wavelet \(\eta \) is defined as the linear operator \( \Omega _\eta \) from \({\mathcal {H}}\) into the space of continuous functions of G/H,
for all \(\Psi \in {\mathcal {H}} , g\in G\) where
is called the wavelet constant associated to \(\eta \) in \({\mathcal {H}}\).
In the following theorem, we collect some properties of a square integrable representation of homogeneous G/H on a Hilbert space \({\mathcal {H}}\) with two admissible wavelets that are needed in the sequel.
Theorem 1.1
Let \(\varrho \) be a square integrable representation of G/H on the Hilbert space \({\mathcal {H}}\) and \(\eta , \xi \) be two admissible wavelets for \(\varrho \). Then the following holds.
-
(i)
For all x, y in \({\mathcal {H}}\)
$$\begin{aligned} \int _{G/H} \frac{\kappa (g^{-1} , gH)}{\sqrt{\chi _\eta \chi _\xi }} \langle x,\varrho (gH)\eta \rangle \langle \varrho (gH)\xi ,y\rangle d\nu (gH) = \chi _{\eta ,\xi }\langle x,y\rangle , \end{aligned}$$in which
$$\begin{aligned} \chi _{\eta ,\xi } = \int _{G/H} \frac{\kappa (g^{-1} , gH)}{\sqrt{\chi _\eta \chi _\xi }} \langle \eta ,\varrho (gH)\eta \rangle \langle \varrho (gH)\xi ,\eta \rangle d\nu (gH), \end{aligned}$$ -
(ii)
There exists a unique self adjoint positive operator C on \({\mathcal {H}}\) such that:
-
(a)
The set of all admissible wavelets coincide with the domain of C.
-
(b)
For all x, y in \({\mathcal {H}},\)
$$\begin{aligned} \int _{G/H} \frac{\kappa (g^{-1} , gH)}{\sqrt{\chi _\eta \chi _\xi }} \langle x,\varrho (gH)\eta \rangle \langle \varrho (gH)\xi ,y\rangle d\nu (gH) = \langle C\eta , C\xi \rangle \langle x,y\rangle \end{aligned}$$
-
(a)
Proof
The proof is the same as Theorem 2.1 of [11]. \(\square \)
The \(\chi _{\eta ,\xi }\) in part(i) is called the two-wavelet constant.
In the rest of the paper, we aim to study the two-wavelet localization operators on a homogeneous space G/H equipped with a strongly quasi invariant measure which are related to a continuous wavelet transform. In Sect. 2, a two-wavelet localization operator which is related to continuous wavelet transform (C.W.T) is defined. In this setting, the boundedness properties of two-wavelet localization operators is investigated. In Sect. 3, we show that the two-wavelet localization operators are in p-Schatten class.
2 Two-wavelet localization operator
Throughout this section G is a locally compact group and H is a compact subgroup of G. Consider G/H as a homogeneous space equipped with a strongly quasi invariant measure \(\nu \) which arises from a rho- function \(\rho .\) Let \({\mathcal {H}}\) be a separable Hilbert space, \(\varrho \) a square integrable representation of G/H on \({\mathcal {H}}\) and \(\eta ,\xi \) are admissible wavelets for \(\varrho \). In this section, first, we define a two-localization operator \(\Upsilon _{\Theta ,\eta ,\xi }\) which is related to the C.W.T \(\Omega _\eta \) for each \(\Theta \in L^{p}(G/H)\), \(1\le p\le \infty \) and then we investigate the boundedness properties of this operator. To do so, we need the following definition.
Definition 2.1
Let \({\mathcal {H}}\) be a Hilbert space and \(\varrho \) a square integrable representation of G/H on \({\mathcal {H}}\) with two admissible wavelets \(\eta ,\xi \). A two-wavelet localization operator is a linear operator \(\Upsilon _{\Theta ,\eta ,\xi }\) on \({\mathcal {H}}\) as
for all \(\Theta \in L^{p}(G/H)\) and \(x,y \in {\mathcal {H}}\), where \(\chi _{\eta ,\xi }\) is the two-wavelet constant.
Now we show that the two-wavelet localization operator is bounded for \(\Theta \in L^{p}(G/H)\), \(1\le p\le \infty .\)
The following proposition shows that \(\Upsilon _{\Theta ,\eta ,\xi }\) is bounded for \(\Theta \in L^{\infty }(G/H)\).
Proposition 2.2
By considering the notations above, let \(\Theta \in L^{\infty }(G/H);\) Then \(\Upsilon _{\Theta ,\eta ,\xi }\) is a bounded linear operator and
in which \(\eta \) and \(\xi \) are two admissible wavelets.
Proof
To do this, using the reconstruction formula and the Schwartz inequality, we get,
So for \(\Theta \in L^{\infty }(G/H)\),
\(\square \)
As mentioned earlier, G/H admits such a G-invariant measure when H is compact. Now we show that \(\Upsilon _{\Theta ,\eta ,\xi }\) is bounded for \(\Theta \in L^{1}(G/H)\) in which G/H is equipped with a G-invariant measure \(\nu ^\prime \).
Proposition 2.3
With the above notations, let \(\Theta \in L^{p}(G/H), 1\le p< \infty \). Then \(\Upsilon _{\Theta ,\eta ,\xi }\) is a bounded linear operator and
Proof
The proof is shown in two steps.
In the first step we show that if \(\Theta \in L^1(G/H) \) then \(\Vert \Upsilon _{\Theta ,\eta ,\xi }\Vert \le {\frac{\rho (e)}{|\chi _{\eta ,\xi }|}}\Vert \Theta \Vert _1\).
In the second step we show that if \(\Theta \in L^{p}(G/H)\), \(1< p< \infty .\) then
Let \(\Theta \in L^1(G/H) \). Consider G/H with a G-invariant measure \({\nu }^\prime \) which arises from rho-function \(\rho ^\prime \equiv 1\) [6]. Note that since H is compact, G/H admits such a G-invariant measure \(\nu ^{\prime }\) which is equivalent to \(\nu \), that is \(\frac{d\nu }{d{\nu }^\prime } = \varphi \) in which \(\varphi (gH) = {\frac{\rho (g)}{\rho ^{\prime }(g)}}\), where \(\nu \) is the strongly quasi invariant measure which arises from rho-function \(\rho \). Thus
where \(\Vert \Theta \Vert _1 = \int _{G/H} |\Theta (gH)| {d{\nu }^\prime }(gH)\).
Now through the use of the Reisz Thorin Theorem, we shows that if \(\Theta \in L^{p}(G/H) , 1< p< \infty \), then there exists a unique bounded linear operator \(\Upsilon _{\Theta ,\eta ,\xi }: {\mathcal {H}}\longrightarrow {\mathcal {H}} \) such that
where \(\Upsilon _{\Theta ,\eta ,\xi }\) is given in (2.1) for a simple function \(\Theta \) on G/H for which
Let \(\Gamma : {\mathcal {H}}\longrightarrow L^{2}(R^n)\) be a unitary operator and \(\Theta \in L^{1}(G/H).\) Then the linear operator \({\Upsilon ^\thicksim }_{\Theta ,\eta ,\xi } : L^{2}(R^n)\longrightarrow L^{2}(R^n)\) defined by
is bounded and \(\Vert {\Upsilon ^\thicksim }_{\Theta ,\eta ,\xi } \Vert \le {\frac{\rho (e)}{|\chi _{\eta ,\xi }|}}\Vert \Theta \Vert _1. \) If \(\Theta \in L^{\infty }(G/H)\), then the linear operator \({\Upsilon ^\thicksim }_{\Theta ,\eta ,\xi }\) on \( L^{2}(R^n)\) is bounded and \(\Vert {\Upsilon ^\thicksim }_{\Theta ,\eta ,\xi } \Vert \le {\frac{{(\chi {_\eta }\chi _{\xi }})^{\frac{1}{2}} }{|\chi _\eta ,\xi |} }\Vert \Theta \Vert _{\infty }.\)
Denote by S the set of all simple functions \(\Theta \) on G/H which satisfy the condition (2.4). Let \(g\in L^{2}(R^n) \) and \(\Phi _g\) be a linear transformation from S into the set of all Lebesgue measurable function on \(R^n\) defined as \(\Phi _g(\Theta )={\Upsilon ^\thicksim }_{\Theta ,\eta ,\xi } (g)\). Then for all \(\Theta \in L^{1}(G/H)\)
Similarly for \(\Theta \in L^{\infty }(G/H),\)
Through the Riesz Thorin Interpolation Theorem we get,
So,
for each \(\Theta \in S.\)
Now, let \(\Theta \in L^{p}(G/H)\), for \(1<p<\infty .\) Then there exists a sequence \(\{\Theta _k\}^{\infty }_{k=1}\) of functions in S such that \(\Theta _k\) is convergent to \(\Theta \) in \(L^{p}(G/H)\) as \(k\longrightarrow \infty .\) Also, \(\{{\Upsilon ^\thicksim }_{{\ {\Theta }_k},\eta ,\xi }\}\) is a Cauchy sequence in \( B( L^{2}({\mathbb {R}}^n))\). Indeed,
By the completeness of \( B( L^{2}(R^n))\), there exists a bounded linear operator \({\Upsilon ^\thicksim }_{\Theta ,\eta ,\xi } \) on \(L^{2}(R^n)\) such that \({\Upsilon ^\thicksim }_{{ \Theta _n},\eta ,\xi }\) converges to \({\Upsilon ^\thicksim }_{\Theta ,\eta ,\xi } \) in \( B( L^{2}(R^n))\), in which
Thus the linear operator \(\Upsilon _{\Theta ,\eta ,\xi }\)is bounded,where \(\Upsilon _{\Theta ,\eta ,\xi } = \Gamma ^{-1}{\Upsilon ^\thicksim }_{ \Theta ,\eta ,\xi }\Gamma \) and
For the proof of uniqueness, let \(\Theta \in L^{p}(G/H), 1<p<\infty ,\) and suppose that \(P_{\Theta ,\eta ,\xi }\) is another bounded linear operator satisfying (2.3). Let \(\Xi : L^{p}(G/H)\longrightarrow B(\mathcal {H)}\) be the linear operator defined by
Then
Moreover \( \Xi (\Theta ) \) is equal to the zero operator on \({\mathcal {H}}\) for all \(\Theta \in S\). Thus, \(\Xi : L^{p}(G/H)\longrightarrow B(\mathcal {H)}\) is a bounded linear operator that is equal to zero on the dense subspace S of \( L^{p}(G/H).\) Therefore \(\Upsilon _{\Theta ,\eta ,\xi } = P_{\Theta ,\eta ,\xi }\) for all \(\Theta \in L^{p}(G/H).\) \(\square \)
3 Compactness and Schatten p-class
Let \({\mathcal {H}}\) be a separable Hilbert space and \(B_1\) the closed unit ball of \({\mathcal {H}}\). We recall that a linear operator T on \({\mathcal {H}}\) is said to be compact if \(T(B_1)\) is compact in the norm topology of \({\mathcal {H}}\). It is well known that a linear operator T on \( {\mathcal {H}}\) is compact if and only if \(T(B_1)\) has compact closure in \({\mathcal {H}}\). Now Suppose \(\{\alpha _n\}_{n\in {\mathbb {N}}}\) and \(\{\beta _n\}_{n\in {\mathbb {N}}}\) are orthonormal sets in \({\mathcal {H}}\) and \(\{\lambda _n\}\) is a sequence of complex numbers tending to 0. Let T be the linear operator on \({\mathcal {H}}\) defined by
then T is compact. Note that \(\{\lambda _n\}\) are eigenvalues of \(\vert T \vert =(T^*T)^{\frac{1}{2}}\).
Given \(0<p<\infty \), the Schatten p-class of \({\mathcal {H}}\), denoted by \(S_p\), is the space of all compact operators T on \({\mathcal {H}}\) with its singular value sequence \(\{\lambda _n\}\) belonging to \(l^p\), the p-summable sequence space.
In the case, \(1\le p<\infty \), \(S_p\) is a Banach space with the norm
Two special cases are worth mentioning: \(S_1\) is usually called the trace class and \(S_2\) is usually called the Hilbert–Schmidt class.
For any \(T\in S_1\) and any orthonormal basis \(\{\alpha _k\}_{k=1}^{\infty }\) of \({\mathcal {H}},\) we write
and call this value, the trace of T. (for more details on Schatten p-classes see [12, 13]).
Now we show that the localization operator \(\Upsilon _{\Theta ,\eta ,\xi }\) is in the p-Schatten class.
Theorem 3.1
Based on the above notations, let \(\Theta \in L^{p}(G/H), 1\le p\le \infty \). Then \(\Upsilon _{\Theta ,\eta ,\xi }: {\mathcal {H}}\longrightarrow {\mathcal {H}}\) is in \(S_p\) and
where \({\Vert \Theta \Vert _p}^p = \int _{G/H}{|\Theta (gH)|}^pd{\nu ^\prime (gH)}\) and \(\nu ^\prime \) is a G-invariant measure on G/H.
Proof
Let \(\Theta \in L^{1}(G/H)\), \(\{ \eta _k\}_{k=1}^\infty \) and \(\{\xi _k\}_{k=1}^\infty \) be any orthonormal set of \({\mathcal {H}}\) and \(\nu ^\prime \) be a G-invariant measure on G/H which arises from \({\rho ^\prime }(g)\equiv 1\), we get
So \(\Upsilon _{\Theta ,\eta ,\xi }\in S_1\). Now by Proposition 2.2, the two-wavelet localization operator \(\Upsilon _{\Theta ,\eta ,\xi }\) is a bounded linear operator for \(\Theta \in L^{\infty }(G/H)\) and
Then Reisz Torin Interpolation Theorem [13] implies that the localization operator \(\Upsilon _{\Theta ,\eta ,\xi }\) for \(1\le p\le \infty \) is in \(S_p\). \(\square \)
Here, we obtain a formula for the trace class of the localization operator \(\Upsilon _{\Theta ,\eta ,\xi }\) where \(\Theta \in L^{1}(G/H).\)
Theorem 3.2
Let \( \Theta \in L^{1}(G/H) \) be a positive function. Then \(tr(\Upsilon _{\Theta ,\eta ,\xi })= \frac{\rho (e)}{\chi _{\eta ,\xi }} \langle \xi ,\eta \rangle \Vert \Theta \Vert _1\) in which \(\nu ^\prime \) is a G-invariant measure on G/H.
Proof
First note that, since H is compact, G/H admits a G-invariant measure \(\nu ^ \prime \). Also we equipped G/H with a strongly quasi invariant measure \(\nu \) which arises from a rho-function \(\rho \). These two measures are related as follows, \(\frac{d\nu }{d{\nu }^\prime } = \varphi \), where \(\varphi (gH) = \rho (g)\). Now, let \(\{ \eta _k ; k=1,2,\ldots \} \) be an orthonormal basis for \({\mathcal {H}}\). Then by using Fubini’s theorem, Parseval’s identity, for \(\Theta \in L^{1}(G/H)\) we get
\(\square \)
In the next theorem, we show that the localization operator \(\Upsilon _{\Theta ,\eta ,\xi }\) is compact.
Theorem 3.3
Let \( \Theta \in L^{p}(G/H) , 1\le p <\infty \). Then \(\Upsilon _{\Theta ,\eta ,\xi }: {\mathcal {H}}\longrightarrow {\mathcal {H}}\) is a compact operator.
Proof
Let \(\Theta \in L^{p}(G/H)\) with a G-invariant measure \(\nu ^\prime \). There exists \(\Theta _n \in C{_c}(G/H)\) such that \(\Theta {_n}-\Theta \longrightarrow 0 \). Let \(\{ \eta _k ; k=1,2,\ldots \} \) be an orthonormal basis for \({\mathcal {H}}\). Then by Fubini’s Theorem and the Schwartz inequality, we have
Thus \(\Upsilon _{{\Theta _n},\eta ,\xi }\) is in \(S_2\) and it implies that \(\Upsilon _{{\Theta _n},\eta ,\xi }\) is compact. Since
Then the two-wavelet localization operator is compact. \(\square \)
References
Benyi, A., Gröchenig, K., Heil, C., Okoudjou, K.: Modulation spaces and a class of bounded multilinear pseudodifferential operators. J. Oper. Theory 54, 389–401 (2005)
Catana, V.: Two wavelet localization operators on homogeneous spaces and their traces. Integr. Equ. Oper. Theory 62, 351–363 (2008)
Cordero, E., Gröchenig, K.: Necessary conditions for Schatten class localization operators. Proc. Am. Math. Soc. 133, 3573–3579 (2005)
Esmaeelzadeh, F., Gol, R.A.K., Tousi, R.R.: On the two-wavelet localization operators on homogeneous spaces with relatively invariant measure. Wavelet Linear Algebra 4(2), 1–12 (2017)
Esmaeelzadeh, F., Gol, R.A.K., Tousi, R.R.: On the continuous wavelet transform on homogeneous spaces. Int. J. Wavelets Multiresolut. Inf. Process. (10) 118(4), 1–18 (2012)
Folland, G.B.: A Course in Abstract Harmonic Analysis. CRC Press, Boca Raton (1995)
Gol, R.A.K., Esmaeelzadeh, F., Tousi, R.R.: Localization operators on homogeneous spaces. Bull. Iranian Math. Soc. 39(3), 455–467 (2013)
Gol, R.A.K., Esmaeelzadeh, F., Tousi, R.R.: Two-wavelet constants for square integrable representations of \(G/H\). J. Wavelet Linear Algebra 3, 63–73 (2014)
Reiter, H., Stegeman, J.: Classical Harmonic Analysis and Locally Compact Group. Claredon Press, Oxford (2000)
Rungrottheera, W., Schulze, B.-W., Wong, M.W.: Iterative properties of pseudo-differential operators on edge spaces. J. Pseudo-Differ. Oper. Appl. 5, 455–479 (2014)
Rad, O.D.S., Esmaeelzadeh, F., Gol, R.A.K.: On the operator related to CWT on general homogeneous spaces. J. Pseudo-Differ. Oper. Appl. 8, 203–212 (2017)
Wong, M.W.: Wavelet Transform and Localization Operators. Birkhäuser Verlag, Basel (2002)
Zhu, K.: Operator Theory in Function Spaces. Mathematical Surveys and Monographs, vol. 138. American Mathematical Society, Providence (2007)
Acknowledgements
The authors would like to thank the referee for their valuable comments and remarks.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Sajadi Rad, O.D., Kamyabi Gol, R.A. & Esmaeelzadeh, F. On the relations of general homogeneous spaces and the two-wavelet localization operators. J. Pseudo-Differ. Oper. Appl. 12, 24 (2021). https://doi.org/10.1007/s11868-021-00387-x
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11868-021-00387-x