COMPUTABILITY OF THE TRANSLATION OPERATOR

In practice, the time variable cannot be negative. The space $$L^2({\mathbb {R}}_+)$$ of square integrable functions defined on the right half real line $${\mathbb {R}}_+$$ models the causal signal space. This paper focuses on a class of dilation-and-modulation systems in $$L^2({\mathbb {R}}_+)$$. The density theorem for Gabor systems in $$L^2(\mathbb {R})$$ states a necessary and sufficient condition for the existence of complete Gabor systems or Gabor frames in $$L^2({\mathbb {R}})$$ in terms of the index set alone-independently of window functions. The space $$L^2({\mathbb {R}}_+)$$ admits no nontrivial Gabor system since $${\mathbb {R}}_+$$ is not a group according to the usual addition. In this paper, we introduce a class of dilation-and-modulation systems in $$L^2({\mathbb {R}}_+)$$ and the notion of $$\Theta $$-transform matrix. Using the $$\Theta $$-transform matrix method we obtain the density theorem of the dilation-and-modulation systems in $$L^2({\mathbb {R}}_+)$$ under the condition that $$\log _ba$$ is a positive rational number, where a and b are the dilation and modulation parameters respectively. Precisely, we prove that a necessary and sufficient condition for the existence of such a complete dilation-and-modulation system or dilation-and-modulation system frame in $$L^2({\mathbb {R}}_+)$$ is that $$\log _ba \le 1$$. Simultaneously, we obtain a $$\Theta $$-transform matrix-based expression of all complete dilation-and-modulation systems and all dilation-and-modulation system frames in $$L^2(\mathbb {R}_+)$$.

We consider the construction of tight Gabor frames (h, a=1, b=1) from Gabor systems (g, a=1, b=1) with g a window having few zeros in the Zak transform domain via the operation h=Z -1(Zg/|Zg|), where Z is the standard Zak transform. We consider this operation with g the Gaussian, the hyperbolic secant, and for g belonging to a class of positive, even, unimodal, rapidly decaying windows of which the two-sided exponential is a typical example. All these windows g have the property that Zg has a single zero, viz. at (1/2,\1/2), in the unit square [0,1)2. The Gaussian and hyperbolic secant yield a frame for any a,b > 0 with ab < 1, and we show that so does the two-sided exponential. For these three windows it holds that S a -1/2 g h as a 1, where S a is the frame operator corresponding to the Gabor frame (g,a,a). It turns out that the h’s corresponding to g’s of the above type look and behave quite similarly when scaling parameters are set appropriately. We give a particular detailed analysis of the h corresponding to the two-sided exponential. We give several representations of this h, and we show that , and is continuous and differentiable everywhere except at the half-integers, etc., and we pay particular attention to the cases that the time constant of the two-sided exponential g tends to . We also consider the cases that the time constants of the Gaussian and of the hyperbolic secant tend to 0 or to . It so turns out that h thus obtained changes from the box function into its Fourier transform when the time constant changes from 0 to

In this paper, we propose a new type of a neural network which is inspired by Gabor systems from harmonic analysis. In this regard, we construct a class of sparsely connected neural networks utilizing the concept of time–frequency shifts, and we show that their approximation error rates can be tied to the number of modulations in the corresponding Gabor frame and to the smoothness of the input function. Furthermore, we show that such networks are easily implementable and we illustrate their performance with some numerical examples.

G?vruta studied atomic systems in terms of frames for range of operators (that is, for subspaces), namely ?-frames, where the lower frame condition is controlled by the Hilbert-adjoint of a bounded linear operator?. For a locally compact abelian groupGand a positive integer n, westudy frames of matrix-valued Gabor systems in the matrix-valued Lebesgue space L2(G,Cn?n) , where a bounded linear operator ? on L2(G,Cn?n) controls not only lower but also the upper frame condition. We term such frames matrix-valued (?,?*)-Gabor frames. Firstly, we discuss frame preserving mapping in terms of hyponormal operators. Secondly, we give necessary and sufficient conditions for the existence of matrix-valued (?,?*)- Gabor frames in terms of hyponormal operators. It is shown that if ? is adjointable hyponormal operator, then L2(G,Cn?n) admits a ?-tight (?,?*)-Gabor frame for every positive real number ?. A characterization of matrix-valued (?,?*)-Gabor frames is given. Finally, we show that matrix-valued (?,?*)-Gabor frames are stable under small perturbation of window functions. Several examples are given to support our study.

Vector‐valued frames were first introduced under the name of superframes by Balan in the context of signal multiplexing and by Han and Larson from the mathematical aspect. Since then, the wavelet and Gabor frames in have interested many mathematicians. The space models vector‐valued causal signal spaces because of the time variable being nonnegative. But it admits no nontrivial shift‐invariant system and thus no wavelet or Gabor frame since is not a group by addition (not as ). Observing that is a group by multiplication, we, in this paper, introduce a class of multiplication‐based dilation‐and‐modulation ( ) systems, and investigate the theory of frames in . Since is not closed under the Fourier transform, the Fourier transform does not fit . We introduce the notion of Θa transform in , and using Θa‐transform matrix method, we characterize frames, Riesz bases, and dual frames in and obtain an explicit expression of duals for an arbitrary given frame. An example theorem is also presented.

We provide explicit constructions of particularly convenient dual pairs of Gabor frames. We prove that arbitrary polynomials restricted to sufficiently large intervals will generate Gabor frames, at least for small modulation parameters. Unfortunately, no similar function can generate a dual Gabor frame, but we prove that almost any such frame has a dual generated by a B-spline. Finally, for frames generated by any compactly supported function φ whose integer-translates form a partition of unity, e.g., a B-spline, we construct a class of dual frame generators, formed by linear combinations of translates of φ. This allows us to chose a dual generator with special properties, for example, the one with shortest support, or a symmetric one in case the frame itself is generated by a symmetric function. One of these dual generators has the property of being constant on the support of the frame generator.

The main issue in Chapter 11 was to state necessary and/or sufficient conditions for a Gabor system \(\{E_{mb}T_{na}g\}_{m,n\in \mathbb{Z}}\) in \(L^{2}(\mathbb{R})\) to form a frame. We will now take the next step and consider Gabor frames that are convenient to apply in practice. From the general frame theory in Chapter 5 and Chapter 6 we know that frames are particularly useful when the frame decomposition takes a simple form, which is the case if either the frame is tight or we have access to a convenient dual frame.

We consider pseudo-differential operators and Gabor frames on locally compact commutative Hausdorff groups. Let [Formula: see text] be an open subgroup of a locally compact commutative Hausdorff group [Formula: see text] and [Formula: see text] be a topological isomorphism, then we define the cross [Formula: see text]-ambiguity function [Formula: see text] and cross [Formula: see text]-Wigner function [Formula: see text] and a pseudo-differentiable operator [Formula: see text] with the symbol [Formula: see text]. Employing properties of [Formula: see text], we establish characteristics of pseudo-differentiable operators. Also, assume that [Formula: see text] and [Formula: see text], then the coefficient operator [Formula: see text] uniquely, continuously extends to the linear operator [Formula: see text], where [Formula: see text] is the restriction of [Formula: see text] to [Formula: see text]; and similarly, the adjoint operator [Formula: see text] uniquely, continuously extends to the linear operator [Formula: see text], where [Formula: see text] is the restriction of [Formula: see text] to [Formula: see text].

The material presented so far naturally splits in two parts: a functional analytic treatment of frames in general Hilbert spaces, and a more direct approach to structured frames like Gabor frames and wavelet frames. In this final chapter we make connections to abstract harmonic analysis and show how we can gain insight about frames via the theory for group representations. More precisely, we show how the orthogonality relations for square-integrable group representations lead to series expansions of the elements in the underlying Hilbert space; on a concrete level, this gives an alternative approach to Gabor systems and wavelet systems. Feichtinger and Gröchenig proved that the group-theoretic setup even allows us to obtain series expansions in a large scale of Banach spaces, a result which leads Gröchenig to define frames in Banach spaces. By removing some of the conditions we obtain p-frames, first studied separately by Aldroubi, Sun, and Tang.

A dimension invariance property for finite frames of translates and Gabor frames is discussed. Under appropriate support conditions among the frame and dual frame generating functions, we show that a pair of dual frames evaluated in a given space remains a valid dual set if they are naturally embedded in the underlying space of almost arbitrarily enlarged dimension. Consequently, the evaluation of duals in a very large dimensional space is now easily accessible by merely working in a space of some much smaller dimension. A number of uniform and non-uniform schemes are studied. To satisfy the support conditions, a method of finding valid alternate dual functions with small support via a known parametric dual frame formula is discussed. Oftentimes it is convenient to have truncated approximate duals that satisfy the support conditions. Stability studies of the dimension invariance principle via such approximate duals are also presented.

Signal processing by alternate dual Gabor frames

This paper addresses multiwindow Gabor systems on discrete periodic sets, which can model signals to appear periodically but intermittently. We give some necessary and/or sufficient conditions for multiwindow Gabor systems to foe frames on discrete periodic sets, and characterize two multiwindow Gabor Bessel sequences to foe dual frames on discrete periodic sets. For a given multiwindow Gabor frame, we derive all its Gabor duals, among which we obtain an explicit expression of the canonical Gabor dual. In addition, we generalize multiwindow Gabor systems to the case of a different sampling rate for each window, and investigate multiwindow Gabor frames and dual frames in this case. We also show the properties of the multiwindow Gabor systems are essentially not changed by replacing the exponential kernel with other kernels.

We apply a new approach to the study of the density of Gabor systems, and obtain a simple and straightforward proof of Ramanathan and Steger's well known result regarding the density of Gabor frames and Gabor Riesz sequences. Moreover, this point of view allows us to extend this result in several directions. The approach we use was first observed by A. Olevskii and the third author in their study of exponential systems, here we develop and simplify it further.

We prove that an overcomplete Gabor frame in $${\ell }^2({\mathbb {Z}})$$ generated by a finitely supported sequence is always linearly dependent. This is a particular case of a general result about linear dependence versus independence for Gabor systems in $${\ell }^2({\mathbb {Z}})$$ with modulation parameter 1 / M and translation parameter N for some $$M,N\in {\mathbb {N}},$$ and generated by a finite sequence g in $${\ell }^2({\mathbb {Z}})$$ with K nonzero entries.

Sampling and interpolation in Bargmann–Fock spaces of polyanalytic functions