Characterization of Shift-Invariant Spaces on a Class of Nilpotent Lie Groups with Applications

Given a simply connected nilpotent Lie group having unitary irreducible representations that are square-integrable modulo the center, we use operator-valued periodization to give a range-function type characterization of shift-invariant spaces of function on the group. We then give characterizations of frame and Riesz families for shift-invariant spaces.     

Density-Dependent Conformable Space-time Fractional Diffusion-Reaction Equation and Its Exact Solutions

In this article, a special type of fractional differential equations(FDEs) named the density-dependent conformable fractional diffusion-reaction(DDCFDR) equation is studied. Aforementioned equation has a significant role in the modelling of some phenomena arising in the applied science. The well-organized methods, including the exp(-φ(ε))-expansion and modified Kudryashov methods are exerted to generate the exact solutions of this equation such that some of the solutions are new and have been reported for the first time. Results illustrate that both methods have a great performance in handling the DDCFDR equation.     

Continuous Wavelets and Frames on Stratified Lie Groups I

Let G be a stratified Lie group and L be the sub-Laplacian on G. Let We show that Lf(L)δ, the distribution kernel of the operator Lf(L), is an admissible function on G. It is always in the Schwartz space; one can choose f so that it has all moments vanishing, or has compact support with arbitrarily many moments vanishing. We also show that, if ξ f(ξ) satisfies Daubechies' criterion, then L f(L)δ generates a frame for any sufficiently fine latticesubgroup of G. Moreover, we show that the ratio of the frame bounds approaches 1 nearly quadratically as the dilation parameter approaches 1, so that the frame quickly becomes nearly tight (again assuming that the lattice subgroup is sufficiently fine). In particular, if the dilation parameter is 2^1/3, and the lattice subgroup is sufficiently fine, then the "Mexican hat" wavelet, Le^-L/2δ, generates a wavelet frame, for which the ratio of the optimal frame bounds is 1.0000 to four significant digits.     

Shannon multiresolution analysis on the Heisenberg group

We present a notion of frame multiresolution analysis on the Heisenberg group, abbreviated by FMRA, and study its properties. Using the irreducible representations of this group, we shall define a sinc-type function which is our starting point for obtaining the scaling function. Further, we shall give a concrete example of a wavelet FMRA on the Heisenberg group which is analogous to the Shannon MRA on R.     

Lattice sub-tilings and frames in LCA groups

Given a lattice Λ in a locally compact Abelian group G and a measurable subset Ω with finite and positive measure, then the set of characters associated with the dual lattice form a frame for $L^2(\mathrm{\Omega })$ if and only if the distinct translates by Λ of Ω have almost empty intersections. Some consequences of this results are the well-known Fuglede theorem for lattices, as well as a simple characterization for frames of modulates.     

Tight wavelet frame sets in finite vector spaces

Let $q\ge 2$ be an integer, and ${\mathbb{F}}_q^d$, $d\ge 1$, be the vector space over the cyclic space ${\mathbb{F}}_q$. The purpose of this paper is two-fold. First, we obtain sufficient conditions on $E?{\mathbb{F}}_q^d$ such that the inverse Fourier transform of $1_E$ generates a tight wavelet frame in $L^2({\mathbb{F}}_q^d)$. We call these sets (tight) wavelet frame sets. The conditions are given in terms of multiplicative and translational tilings, which is analogous with Theorem 1.1 ([20]) by Wang in the setting of finite fields. In the second part of the paper, we exhibit a constructive method for obtaining tight wavelet frame sets in ${\mathbb{F}}_q^d$, $d\ge 2$, q an odd prime and $q\equiv 3$ (mod 4).     

Nearly tight frames and space-frequency analysis on compact manifolds

Let M be a smooth compact oriented Riemannian manifold of dimension n without boundary, and let Δ be the Laplace–Beltrami operator on M. Say , and that f (0)  =  0. For t  >  0, let K _t (x, y) denote the kernel of f (t ² Δ). Suppose f satisfies Daubechies’ criterion, and b  >  0. For each j, write M as a disjoint union of measurable sets E _j,k with diameter at most ba ^j , and measure comparable to if ba ^j is sufficiently small. Take x _j,k ∈ E _j,k . We then show that the functions form a frame for (I  −  P)L ²(M), for b sufficiently small (here P is the projection onto the constant functions). Moreover, we show that the ratio of the frame bounds approaches 1 nearly quadratically as the dilation parameter approaches 1, so that the frame quickly becomes nearly tight (for b sufficiently small). Moreover, based upon how well-localized a function F ∈ (I  −  P)L ² is in space and in frequency, we can describe which terms in the summation are so small that they can be neglected. If n  =  2 and M is the torus or the sphere, and f (s)  =  se ^−s (the “Mexican hat” situation), we obtain two explicit approximate formulas for the φ _j,k , one to be used when t is large, and one to be used when t is small. A. Mayeli was partially supported by the Marie Curie Excellence Team Grant MEXT-CT-2004-013477, Acronym MAMEBIA.     

Non-separable Lattices,Gabor Orthonormal Bases and Tilings

Let \(K\subset {\mathbb {R}}^d\) be a bounded set with positive Lebesgue measure. Let \(\Lambda =M({\mathbb {Z}}^{2d})\) be a lattice in \({\mathbb {R}}^{2d}\) with density dens\((\Lambda )=1\). It is well-known that if M is a diagonal block matrix with diagonal matrices A and B, then \({\mathcal {G}}(|K|^{-1/2}\chi _K, \Lambda )\) is an orthonormal basis for \(L^2({\mathbb {R}}^d)\) if and only if K tiles both by \(A({\mathbb {Z}}^d)\) and \(B^{-t}({\mathbb {Z}}^d)\). However, there has not been any intensive study when M is not a diagonal matrix. We investigate this problem for a large class of important cases of M. In particular, if M is any lower block triangular matrix with diagonal matrices A and B, we prove that if \({\mathcal {G}}(|K|^{-1/2}\chi _K, \Lambda )\) is an orthonormal basis, then K can be written as a finite union of fundamental domains of \(A({{\mathbb {Z}}}^d)\) and at the same time, as a finite union of fundamental domains of \(B^{-t}({{\mathbb {Z}}}^d)\). If \(A^tB\) is an integer matrix, then there is only one common fundamental domain, which means K tiles by a lattice and is spectral. However, surprisingly, we will also illustrate by an example that a union of more than one fundamental domain is also possible. We also provide a constructive way for forming a Gabor window function for a given upper triangular lattice. Our study is related to a Fuglede’s type problem in Gabor setting and we give a partial answer to this problem in the case of lattices.

     

Continuous wavelets on compact manifolds

Let M be a smooth compact oriented Riemannian manifold, and let Δ _M be the Laplace–Beltrami operator on M. Say \({0 \neq f \in \mathcal{S}(\mathbb {R}^+)}\) , and that f (0)  =  0. For t  >  0, let K _t (x, y) denote the kernel of f (t ² Δ _M ). We show that K _t is well-localized near the diagonal, in the sense that it satisfies estimates akin to those satisfied by the kernel of the convolution operator f (t ²Δ) on \({\mathbb {R}^n}\) . We define continuous \({\mathcal {S}}\)-wavelets on M, in such a manner that K _t (x, y) satisfies this definition, because of its localization near the diagonal. Continuous \({\mathcal {S}}\)-wavelets on M are analogous to continuous wavelets on \({\mathbb {R}^n}\) in \({\mathcal {S}}\) (\({\mathbb {R}^n}\)). In particular, we are able to characterize the Hölder continuous functions on M by the size of their continuous \({\mathcal {S}}\)-wavelet transforms, for Hölder exponents strictly between 0 and 1. If M is the torus \({\mathbb T^2}\) or the sphere S ², and f (s)  =  se ^?s (the “Mexican hat” situation), we obtain two explicit approximate formulas for K _t , one to be used when t is large, and one to be used when t is small.