# A simple pointview for Kadec-1/4 theorem in the complex case

- 2.8k Downloads
- 2 Citations

## Abstract

This paper contains a simple and different pointview from the literature, in the best of my knowledge, to generalize well known results by Kadec (in \(\mathbb {R}\)) and Duffin and Eachus (in \(\mathbb C\)), concerning Riesz bases. Main goal of the present work is to overcome, at least partially, the limitations exhibited in the paper of Duffin and Eachus and in the book of Young for the Riesz bases. A consequence of the main theorem and its corollary is that the constant \(\frac{\log 2}{\pi }\) can be replaced by \(1/4\) (for complex \(\lambda _n\)).

## Keywords

Kadec’s 1/4-theorem Riesz basis Exponential bases## Mathematics Subject Classification

42C05 42C15 42C30## 1 Introduction

It is known that exponential Riesz bases \(\{e^{i \lambda _n t}\}\) (with \(\lambda _n\in \mathbb R\)) are stable in the sense that a small perturbation of a Riesz basis produces a Riesz basis; it is proved by Paley and Wiener ([5, 9]). The proof of the Paley–Wiener theorem does not provide an explicit stability bound. The celebrated theorem by M. I. Kadec shows that \(1/4\) is the stability bound for the exponential basis on \(L^2[-\pi ,\pi ]\).

The proof of theorem, as reported in the Young’s textbook [9], applies for sequences of real numbers. Even earlier, however, Duffin and Eachus [2] shows that the Paley–Wiener criterion is satisfied whenever the sequences are complex and \(\frac{\log 2}{\pi }\) is a stability bound. For Young (page 38): “Whether the constant \(\frac{\log 2}{\pi }\) can be replaced by \(1/4\) (for complex \(\lambda _n\)) remains an unsolved problem.” With Theorem C and Theorem D on [2] they consider sets which are on the borderline of being near a given orthonormal set, while the last part of their paper gives a simple formula for constructing sets near a given orthonormal set. Afterward, Duffin and Eachus apply this result (Theorem D) to the sequence of functions \(\{e^{i\lambda _n x}\}\), where \(\{\lambda _n\}\), \(n=0,\pm 1, \pm 2,\ldots \) is a sequence of complex constants satisfying \(|\lambda _n-n|\le L\) for some constant L. The Duffin and Eachus’s approach is deeper and more general than one of Young; in fact their work speaks of orthonormal sets and not of basis. In their paper can be read the following: “The above results on the non-harmonic Fourier series are an extension of previous knowledge in two respects. In the first place, Paley and Wiener were forced to assume that \(\{\lambda _n\}\) was a real sequence. Secondly, they obtained the value \(1/\pi ^2\) where we have \(\ln 2/\pi \). The best value for L is not known; however a theorem of Levinson gives an upper limit of \(1/4\)”.

Theorem 1 seeks to overcome the limitations exhibited in the paper of Duffin and Eachus and in the book of Young for the Riesz basis, introducing a limitation on the imaginary part of \(\lambda _n\). A consequence of Theorem 1 and its corollary, is that the constant \(\frac{\log 2}{\pi }\) can be replaced by \(1/4\) (for complex \(\lambda _n\)).

Lastly, an example that shows \(1/4\) cannot be replaced by a larger constant for complex case, are given in the appendix. For the latest results on generalizations and extensions of Kadec’s theorem see: [1, 3, 6].

## 2 A class of sequences that improves the estimation of Duffin and Eachus

### **Theorem 1**

### *Proof*

The following result shows that, in the hypotheses of the Theorem 1, it has \(\{e^{i \bar{\lambda }_n t}\}\) satisfies the Paley–Wiener criterion for \(|\bar{\lambda }_n-n|< 1/4\) even when \(\{\bar{\lambda }_n\}\) is a complex sequence.

### **Corollary 1**

### *Proof*

## 3 Conclusions

Theorem 1 and Corollary 1 responding to the outstanding questions of Duffin, Eachus and Young, essentially because this paper shows that the constant \(\frac{\log 2}{\pi }\) can be replaced by \(1/4\), also for the complex case. Moreover, from Corollary 1, it has \(\{e^{i \bar{\lambda }_n t}\}\) satisfies the Paley–Wiener criterion for \(|\bar{\lambda }_n-n|< 1/4\) even when \(\{\bar{\lambda }_n\}\) is a complex sequence. Two lemmas present in appendix (an extension to complex case of result present on [9]) prove that Kadec’s \(1/4\)-theorem is “best possible”: the system \(\{e^{i \bar{\lambda }_n t}\}\) constitutes a basis for \(L^2[-\pi ,\pi ]\) whenever every \(\bar{\lambda }_n\) is complex and \(|\lambda _n-n|\leqq L\), \(|\mu _n|\leqq \tau (L)\) but not constitute a basis when \(L=1/4\). Equally interesting is the fact that \(\tau (L)\) is not specified in the proofs of Lemmas 1 and 2 and, into this proofs, it is not necessary that it assumes the logarithmic expression (2).

In Duffin and Eachus [2] one reads: “It is a curious parallelism that \(\log 2/\pi \) and \(1/4\) are in the same ratio as the limits of Takenaka and Schoenberg in a somewhat similar unsolved problem”. See: [7, 8]. In [8] is reported a particular case of one of Takenaka’s theorems [7]: “If every derivative of an integral function \(f(z)\) has a zero inside or on the unit circle and if \(\limsup _{r\rightarrow \infty }\frac{\log M(r)}{r}<\log 2\) then \(f(z)\) is a costant”. [\(M(r)\) is the maximum modulus in \(|z|\le r\) of function]. The author write that this condition is probably not “best possible”: \(\sin \frac{\pi }{4}z-\cos \frac{\pi }{4}z\) shows that \(\log 2\) cannot be replaced by any number larger than \(\pi /4\), and this may well be the true value. A possible development of the work would be compare proof of Kadec’s-\(1/4\) theorem (complex case) with question in [8].

## Notes

### Acknowledgments

I would like to thank Prof. Antonio Avantaggiati for the precious discussions who helped me to write this paper.

## References

- 1.Christensen, O.: Frames, Riesz bases and discrete gabor/wavelet expansions. Am. Math. Soc.
**38**(3), 273–291 (2001)zbMATHCrossRefGoogle Scholar - 2.Duffin, R.J., Eachus, J.J.: Some notes on an expansion theorem of Paley and Wiener. Bull. Am. Math. Soc.
**48**, 850–855 (1942)zbMATHMathSciNetCrossRefGoogle Scholar - 3.Markushevich, A.I.: Theory of Functions of a Complex Variable, vol. 2. Prentice-Hall, Englewood Cliffs (1965)Google Scholar
- 4.Nakamura, A.: Basis properties and complemets of complex exponential systems. Hokkaido Math. J.
**36**, 193–206 (2007)zbMATHMathSciNetCrossRefGoogle Scholar - 5.Paley, R., Wiener, N.: Fourier transforms in the complex domain. American Mathematical Society. Colloquium Publications, New York (1934)zbMATHGoogle Scholar
- 6.Sun, W., Chui, X.C.K.: On Kadec’s 1/4-theorem and the stability of gabor frames. Appl. Comput. Harmon. Anal.
**7**(2), 239–242 (1999)zbMATHMathSciNetCrossRefGoogle Scholar - 7.Takenaka, S.: On the expansion of integral transcendental functions in generalized Taylor’s series. Proc. Phys. Math. Soc. Jpn.
**14**, 529–542 (1932)Google Scholar - 8.Whittaker, J.M.: Interpolatory Function Theory. Cambridge, London (1935)Google Scholar
- 9.Young, R.M.: An introduction to nonharmonic Fourier series. Academic Press, New York (2001)zbMATHGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.