Nonlinear approximation theory on compact groups

DOI10.1007/BF02511813MaRDI QIDQ5939344zbMATH OpenOpenAlexFDO

Authors Ka-Lam Kueh, Daniel N. Rockmore, Ki-Seng Tan, Timothy Edward Olson

Publication date 27 November 2001

Published in The Journal of Fourier Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/59681

approximation band-limited functions compact group cyclic group finite group inverse problems positive functions signal recovery spectral analysis

Mathematics Subject Classification ID

Inequalities in approximation (Bernstein, Jackson, Nikol'ski?-type inequalities) (41A17) Approximation with constraints (41A29) Trigonometric approximation (42A10) Software, source code, etc. for problems pertaining to abstract harmonic analysis (43-04) Harmonic analysis on general compact groups (43A77)

Review text

The following theorem is a classical result in Fourier analysis obtained by \textit{P. Erdős} and \textit{W. H. J. Fuchs} [J. Lond. Math. Soc. 31, 67-73 (1956; Zbl 0070.04104)]: Theorem 1. Suppose that \(\phi(z)=\sum_{n=0}^\infty b_nz^n\) is convergent for \(|z|<1\) and suppose that all \(b_n\) are nonnegative real numbers. Then for \(0<\alpha\leq\pi\), \(z=re^{i\theta}\) and \(0<r<1\), \[ {1\over{2\alpha}}\int_{-\alpha}^\alpha|\phi(z)|^2 d\theta \geq{1\over{6\pi}}\int_{-\pi}^\pi|\phi(z)|^2 d\theta. \tag{1} \] In the limiting case where \(r=1\) (assuming convergence) the following inequality holds true: \[ \int_{-\pi/2}^{\pi/2}|\phi(z)|^2 d\theta \geq{1\over 6}\int_{-\pi}^\pi|\phi(z)|^2 d\theta ={1\over 6}\|\phi\|^2. \tag{2} \] Besides, \textit{H. S. Shapiro} [Q. J. Math., Oxf. II. Ser. 26, 9-18 (1975; Zbl 0302.42004)] and \textit{B. F. Logan} [Mich. Math. J. 35, No. 3, 369-393 (1988; Zbl 0682.30017)] have shown that the constant \(1/6\) can be improved to \(1/4\) and their result is sharp in that it cannot be improved uniformly for all values of \(\alpha\) in (1). The present article is devoted to the investigation of analogs of bounds of the form (2) in the setting of finite, and then compact, groups. In this more general setting the well-known Fourier expansion is replaced by an expansion in terms of irreducible matrix elements, and the Fourier data is precisely the coefficients of this expansion. Let us cite one theorem for the case of cyclic groups: Theorem 2. Let \(G=\mathbb{Z}/N\mathbb{Z}\), \(n<N/2\), \(f\in L^2(G)\) and \(f\geq 0\). Then \[ \sum_{-n<j<n}|\widehat{f}(j)|^2 \geq{n\over N}\|\widehat{f}\|^2, \] or \[ {\|\widehat{f}\|_n\over{\|f\|}} \geq\sqrt{{n\over N}}, \leqno{(3)} \] where \(\|\widehat{f}\|\) denotes the projection of \(f\) onto the frequencies between \(-n\) and \(n\). The sharpness of the estimates obtained is also investigated. In particular, the authors have shown that the lower bound for the ratio (3) cannot be increased uniformly. This is analogous to the tightness of the \(1/4\) bound in (1) provided by H. S. Shapiro and B. F. Logan. The results obtained are applied to the problem of recovering a positive function (signal) from a subset of its Fourier data, and in particular, its low frequency information. A priori analysis indicates a connection between the ratio of the energy contained in the low frequency portion of the power spectrum energy to the total energy and the stability of recovering the original function from this noisy low passed version via standard optimization techniques. The authors include several numerical experiments. Further applications to data analysis on nonabelian groups are also discussed. The article contains also several open questions suggested by the obtained results. A comprehensive bibliography of the article reflects several results obtained in this area.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Nonlinear approximation theory on compact groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5939344)