Pego theorem on compact groups

Manoj Kumar

arXiv: 2302.04470v1 · PDF · 9 February 2023
Categories: math.FA
Journal: Pacific J. Math. 328 (2024) 137-143
DOI: 10.2140/pjm.2024.328.137
Licence: CC BY 4.0 The site shows the text.

Abstract

The Pego theorem characterizes the precompact subsets of the square-integrable functions on \mathbb{R}^n via the Fourier transform. We prove the analogue of the Pego theorem on compact groups (not necessarily abelian).

Items 14

Theorem

Theorem 1.1

Q4F3

[P, Theorems 2 and 3] Let K be a bounded subset of L^2(\mathbb{R}^n). Then, the following are equivalent:

K is precompact.
\int_{|x|>r}|f(x)|^2\,dx\rightarrow 0 \mbox{ and } \int_{|\xi|>r}|\widehat{f}(\xi)|^2\,d\xi\rightarrow 0 as r\rightarrow\infty, both uniformly for f in K.
\int_{\mathbb{R}^n} |f(x+y)-f(x)|^2\,dx\rightarrow 0 as y\rightarrow 0, and \int_{\mathbb{R}^n} |\widehat{f}(\xi+\omega)-\widehat{f}(\xi)|^2\,d\xi\rightarrow 0 as \omega\rightarrow 0, both uniformly for f in K.

Lemma

Lemma 3.1

TAAV

Let K\subset L^p(G), where p\in[1,2]. If K is uniformly L^p(G)-equicontinuous then \widehat{K} has uniform \ell^{p'}\mbox{-}\underset{\pi\in\widehat{G}}{\oplus}\mathcal{B}_{p'}(\mathcal{H}_\pi)-decay.

Used by Proof

Proof of Lemma 3.1

Let (e_U)_{U\in\Lambda} be a Dirac net on G; see [D, Pg. 28]. By the Riemann-Lebesgue Lemma [HR, Theorem 28.40], \widehat{e_U}\in c_0\mbox{-}\underset{\pi\in\widehat{G}}{\oplus}\mathcal{B}(\mathcal{H}_\pi). Then, there exists a finite set A\subset\widehat{G} such that

\|\widehat{e_U}(\pi)\|_{\mathcal{B}(\mathcal{H}_\pi)}\leq\frac{1}{2},\ \pi\in\widehat{G}\setminus A.

Let f\in K. We denote by \widehat{e_U}\widehat{f} the pointwise product of \widehat{e_U} and \widehat{f}. Now,

\begin{aligned} \|\widehat{f}\|_{\ell^{p'}\mbox{-}\underset{\pi\in\widehat{G}\setminus A}{\oplus}\mathcal{B}_{p'}(\mathcal{H}_\pi)}\leq&\|\widehat{f}-\widehat{e_U}\widehat{f}\|_{\ell^{p'}\mbox{-}\underset{\pi\in\widehat{G}\setminus A}{\oplus}\mathcal{B}_{p'}(\mathcal{H}_\pi)}+\|\widehat{e_U}\widehat{f}\|_{\ell^{p'}\mbox{-}\underset{\pi\in\widehat{G}\setminus A}{\oplus}\mathcal{B}_{p'}(\mathcal{H}_\pi)}\\\leq&\|\widehat{f-f*e_U}\|_{\ell^{p'}\mbox{-}\underset{\pi\in\widehat{G}\setminus A}{\oplus}\mathcal{B}_{p'}(\mathcal{H}_\pi)}+\|\widehat{f}\|_{\ell^{p'}\mbox{-}\underset{\pi\in\widehat{G}\setminus A}{\oplus}\mathcal{B}_{p'}(\mathcal{H}_\pi)}\sup_{\pi\in\widehat{G}\setminus A}\|\widehat{e_U}(\pi)\|_{\mathcal{B}(\mathcal{H}_\pi)}\\\leq&\|\widehat{f-f*e_U}\|_{\ell^{p'}\mbox{-}\underset{\pi\in\widehat{G}\setminus A}{\oplus}\mathcal{B}_{p'}(\mathcal{H}_\pi)}+\frac{1}{2}\|\widehat{f}\|_{\ell^{p'}\mbox{-}\underset{\pi\in\widehat{G}\setminus A}{\oplus}\mathcal{B}_{p'}(\mathcal{H}_\pi)}. \end{aligned}

Then, applying the Hausdorff-Young inequality [HR, Theorem 31.22], we get

\begin{aligned} \|\widehat{f}\|_{\ell^{p'}\mbox{-}\underset{\pi\in\widehat{G}\setminus A}{\oplus}\mathcal{B}_{p'}(\mathcal{H}_\pi)}\leq&2\|\widehat{f-f*e_U}\|_{\ell^{p'}\mbox{-}\underset{\pi\in\widehat{G}}{\oplus}\mathcal{B}_{p'}(\mathcal{H}_\pi)}\\\leq&2\|f-f*e_U\|_p\\=&2\left(\int_G|f(x)-f*e_U(x)|^p\,dm_G(x)\right)^{1/p}\\=&2\left(\int_G\left|\int_G(f(x)-f(xy^{-1}))e_U(y)\,dm_G(y)\right|^p\,dm_G(x)\right)^{1/p}. \end{aligned}

Therefore, using the Minkowski integral inequality, we obtain

\begin{aligned} \|\widehat{f}\|_{\ell^{p'}\mbox{-}\underset{\pi\in\widehat{G}\setminus A}{\oplus}\mathcal{B}_{p'}(\mathcal{H}_\pi)}\leq&2\int_G\left(\int_G|f(x)-f(xy^{-1})|^p\,dm_G(x)\right)^{1/p} e_U(y)\,dm_G(y)\\\leq&2\sup_{y\in U}\left(\int_G|f(x)-f(xy^{-1})|^p\,dm_G(x)\right)^{1/p}. \end{aligned}

Let \epsilon>0. Since K is uniformly L^p(G)-equicontinuous, there exists an open neighbourhood O of e such that

\|R_yf-f\|_p<\frac{\epsilon}{2},\ f\in K \mbox{ and } y\in O.

By [F, Proposition 2.1 (b)], we get that there exists U\in\Lambda such that

\|R_yf-f\|_p<\frac{\epsilon}{2},\ f\in K \mbox{ and } y\in U.

Hence,

\begin{aligned} \|\widehat{f}\|_{\ell^{p'}\mbox{-}\underset{\pi\in\widehat{G}\setminus A}{\oplus}\mathcal{B}_{p'}(\mathcal{H}_\pi)}<&\epsilon,\ f\in K.\qedhere \end{aligned}

Lemma

Lemma 3.2

Y76Y

Let K\subset L^{p'}(G), where p\in[1,2]. If \widehat{K} has uniform \ell^p\mbox{-}\underset{\pi\in\widehat{G}}{\oplus}\mathcal{B}_p(\mathcal{H}_\pi)-decay then K is uniformly L^{p'}(G)-equicontinuous.

Used by Proof

Proof of Lemma 3.2

Let \epsilon>0. Since \widehat{K} has uniform \ell^p\mbox{-}\underset{\pi\in\widehat{G}}{\oplus}\mathcal{B}_p(\mathcal{H}_\pi)-decay, there exists a finite set A\subset\widehat{G} such that

\|\widehat{f}\|_{\ell^p\mbox{-}\underset{\pi\in\widehat{G}\setminus A}{\oplus}\mathcal{B}_p(\mathcal{H}_\pi)}<\frac{\epsilon}{4},\ f\in K.

Let f\in K and y\in G. Then, applying [HR, Corollary 31.25], we obtain

\begin{aligned} \|R_yf-f\|_{p'}\leq&\|\widehat{R_yf-f}\|_{\ell^p\mbox{-}\underset{\pi\in\widehat{G}}{\oplus}\mathcal{B}_p(\mathcal{H}_\pi)}\\=&\left(\sum_{\pi\in\widehat{G}}d_\pi\|\widehat{R_yf}(\pi)-\widehat{f}(\pi)\|_{\mathcal{B}_p(\mathcal{H}_\pi)}^p\right)^{1/p}\\\leq&\left(\sum_{\pi\in A}d_\pi\|\pi(y)\widehat{f}(\pi)-\widehat{f}(\pi)\|_{\mathcal{B}_p(\mathcal{H}_\pi)}^p\right)^{1/p}\\&+\left(\sum_{\pi\in\widehat{G}\setminus A}d_\pi\|\pi(y)\widehat{f}(\pi)-\widehat{f}(\pi)\|_{\mathcal{B}_p(\mathcal{H}_\pi)}^p\right)^{1/p}\\\leq&\sup_{\pi\in A}\|\pi(y)-I_{d_\pi}\|_{\mathcal{B}(\mathcal{H}_\pi)}\left(\sum_{\pi\in A}d_\pi\|\widehat{f}(\pi)\|_{\mathcal{B}_p(\mathcal{H}_\pi)}^p\right)^{1/p}\\&+\sup_{\pi\in \widehat{G}\setminus A}\|\pi(y)-I_{d_\pi}\|_{\mathcal{B}(\mathcal{H}_\pi)}\left(\sum_{\pi\in\widehat{G}\setminus A}d_\pi\|\widehat{f}(\pi)\|_{\mathcal{B}_p(\mathcal{H}_\pi)}^p\right)^{1/p}\\\leq&M\sup_{\pi\in A}\|\pi(y)-I_{d_\pi}\|_{\mathcal{B}(\mathcal{H}_\pi)}+\frac{\epsilon}{2}, \end{aligned}

where M is a positive number such that \left(\sum_{\pi\in A}d_\pi\|\widehat{f}(\pi)\|_{\mathcal{B}_p(\mathcal{H}_\pi)}^p\right)^{1/p}\leq M.

Let \pi\in A. Using continuity of \pi, we obtain that there exists a neighbourhood O_\pi of e such that

\|\pi(y)-I_{d_\pi}\|_{\mathcal{B}(\mathcal{H}_\pi)}<\frac{\epsilon}{2M},\ y\in O_\pi.

Assume that O=\cap_{\pi\in A}O_\pi. Then,

\|\pi(y)-I_{d_\pi}\|_{\mathcal{B}(\mathcal{H}_\pi)}<\frac{\epsilon}{2M},\ \pi\in A \mbox{ and } y\in O.

Hence,

\begin{aligned} \|R_yf-f\|_{p'}<&\epsilon,\ f\in K \mbox{ and } y\in O. \qedhere \end{aligned}

Corollary

Corollary 3.3

M5KX

Let K\subset L^2(G). Then, K is uniformly L^2(G)-equicontinuous if and only if \widehat{K} has uniform \ell^2\mbox{-}\underset{\pi\in\widehat{G}}{\oplus}\mathcal{B}_2(\mathcal{H}_\pi)-decay.

Used by Proof, Proof, Example 3.7

Proof of Corollary 3.3

This is a direct consequence of Lemma 3.1 and Lemma 3.2.

Uses Lemma 3.1, Lemma 3.2

Proposition

Proposition 3.4

K0KH

Let K\subset L^2(G). If K is precompact then \widehat{K} has uniform \ell^2\mbox{-}\underset{\pi\in\widehat{G}}{\oplus}\mathcal{B}_2(\mathcal{H}_\pi)-decay.

Proof of Proposition 3.4

By the Weil theorem [W, Pg. 52] (or see [GP19, Theorem 3.3]), K is uniformly L^2(G)-equicontinuous. Then, applying Corollary 3.3, we get that \widehat{K} has uniform \ell^2\mbox{-}\underset{\pi\in\widehat{G}}{\oplus}\mathcal{B}_2(\mathcal{H}_\pi)-decay.

Uses Corollary 3.3

Proposition

Proposition 3.5

1F4I

Let K be a bounded subset of L^2(G). If \widehat{K} has uniform \ell^2\mbox{-}\underset{\pi\in\widehat{G}}{\oplus}\mathcal{B}_2(\mathcal{H}_\pi)-decay then K is precompact.

Proof of Proposition 3.5

Using Corollary 3.3, we have that K is uniformly L^2(G)-equicontinuous. For any given \epsilon>0 we have that

\sup_{f\in K}\|f\chi_{G\setminus G}\|_2=0<\epsilon.

Since K is bounded, it follows by the Weil theorem [W, Pg. 52] (or see [GP19, Theorem 3.1]) that K is precompact.

Uses Corollary 3.3

Theorem

Theorem 3.6

124O

Let K be a bounded subset of L^2(G). Then, the following are equivalent:

K is precompact.
\widehat{K} has uniform \ell^2\mbox{-}\underset{\pi\in\widehat{G}}{\oplus}\mathcal{B}_2(\mathcal{H}_\pi)-decay.
K is uniformly L^2(G)-equicontinuous.

Used by Example 3.8

Example

Example 3.7

G042

Consider the set K=\{n\chi_G:n\in\mathbb{N}\}\subset L^2(G) as given in [GP19, Example 4.2]. Since K consists of only constant functions, it is clear that K is uniformly L^2(G)-equicontinuous. By Corollary 3.3, \widehat{K} has uniform \ell^2\mbox{-}\underset{\pi\in\widehat{G}}{\oplus}\mathcal{B}_2(\mathcal{H}_\pi)-decay. Since K is not bounded, K is not precompact.

Uses Corollary 3.3

Example

Example 3.8

DFUX

Let r\in\mathbb{R}. Consider the set K=\{\frac{r}{n}\chi_G:n\in\mathbb{N}\}\subset L^2(G). Since \{\frac{r}{n}:n\in\mathbb{N}\} is bounded and K consists of only constant functions, it follows that K is bounded and uniformly L^2(G)-equicontinuous. Therefore, by Theorem 3.6, K is precompact.
Let A be a finite subset of \widehat{G}. Assume that K is a bounded subset of the linear span of the set consisting of matrix entries [F, Pg. 139] of elements in A. Since the matrix entries are bounded functions in L^2(G), K is bounded subset of L^2(G). For f\in K, using the Schur orthogonality relations [F, Theorem 5.8] we obtain that
\|\widehat{f}\|_{\ell^2\mbox{-}\underset{\pi\in\widehat{G}\setminus A}{\oplus}\mathcal{B}_2(\mathcal{H}_\pi)}=0.
Thus, \widehat{K} has uniform \ell^2\mbox{-}\underset{\pi\in\widehat{G}}{\oplus}\mathcal{B}_2(\mathcal{H}_\pi)-decay. Hence, by Theorem 3.6, K is precompact. In particular, the convex hull of the set consisting of matrix entries of elements in A is precompact.

Uses Theorem 3.6

Source and licence

The text on this page is from arXiv:2302.04470v1 by Manoj Kumar, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2302/2302.04470.jsonl.