Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 7-Day Trial for You or Your Team.

Learn More →

Completeness of Sets of Shifts in Invariant Banach Spaces of Tempered Distributions via Tauberian conditions

Completeness of Sets of Shifts in Invariant Banach Spaces of Tempered Distributions via Tauberian... COMPLETENESS OF SETS OF SHIFTS IN INVARIANT BANACH SPACES OF TEMPERED DISTRIBUTIONS VIA TAUBERIAN CONDITIONS HANS G. FEICHTINGER AND ANUPAM GUMBER Abstract. The main result of this paper is a far reaching generalization of the com- pleteness result given by V. Katsnelson in a recent paper ( [35]). Instead of just using a collection of dilated Gaussians it is shown that the key steps of an earlier paper ([27]) by the authors, combined with the use of Tauberian conditions (i.e. the non-vanishing of the Fourier transform) allow us to show that the linear span of the translates of a single function g ∈ S(R ) is a dense subspace of any Banach space satisfying certain double invariance properties. In fact, a much stronger statement is presented: for a given compact subset M in such a Banach space (B, k ·k ) one can construct a finite rank operator, whose range is contained in the linear span of finitely many translates of g, and which approximates the identity operator over M up to a given level of precision. The setting of tempered distributions allows to reduce the technical arguments to meth- ods which are widely used in Fourier Analysis. The extension to non-quasi-analytic weights respectively locally compact Abelian groups is left to a forthcoming paper, which will be technically much more involved and uses different ingredients. 1. Introduction This paper can be seen as an alternative approach to the question of completeness of sets of translates of a given test function for a large variety of Banach space of tempered distributions. The motivation for the current paper is the wish to demonstrate that the very specific results describing the density of the linear span of the set of all translates and dilates of the Gauss function as given in [35] can be generalized into several directions. In the companion paper [27] we have shown that only the non-vanishing integral, i.e. without loss of generality the assumption g(x)dx = 1 for the generating Schwartz function g ∈ S(R ) is sufficient in order to guarantee the density for a large variety of Banach spaces with double module structure. As it turned out, the setting of the paper [9] appeared to be most appropriate, which is quite similar to the setting of so-called “standard spaces” as used in papers on compactness ( [16]) or double module structures ( [4]). As it is clear that there is only a chance for such a statement if S(R ) is a dense subspace of (B, k ·k ), so we will make this minimality assumption throughout this paper. 2010 Mathematics Subject Classification. Primary 43A15, 43A10, 41A65, 46F05, 46B50; Secondary 43A25, 46H25, 46A40, 40E05. Key words and phrases. Beurling algebra, modulation spaces, weighted amalgam spaces, Tauberian theorems, approximation by translations, Banach spaces of tempered distributions, Banach modules. Address: Faculty of Mathematics, University of Vienna, Oskar-Morgenstern-Platz 1,1090 Vienna, and (hgfei) Acoustic Research Institute ARI, OEAW, Wohllebengasse 12, 1040 Vienna, AUSTRIA; ORCID: 0000-0002-9927-0742, E-mail: [email protected]; ORCID: 0000-0001-5146-3134, E-mail: [email protected]. arXiv:2012.11127v2 [math.FA] 19 Mar 2022 2 HANS G. FEICHTINGER AND ANUPAM GUMBER Observing that the Gauss function has another important property, namely a nowhere vanishing Fourier transform, Tauberian Theorems come to mind (see [43], [44], [39], [36]) [18]). In the classical setting the non-vanishing of the Fourier transform bg(s) 6= 0 for d d all s ∈ R for some g ∈ L (R ) implies that the linear span of its translates is dense in 1 d 1 L (R ), k · k (see [39], Chap.4.1). Similar results hold true for weighted L -algebras, the so-called Beurling algebras (L (R ), k ·k 1) (see e.g. [39], Chap.1.6). For this paper w L 2 s/2 mostly polynomial weights equivalent to v (x) = (1 + |x| ) are of interest. For them the Tauberian Theorem can be derived from the Tauberian condition going back to the work of A. Beurling ( [2]) for details(see [39], Theorem 1.6.17). The main result of this paper is a constructive realization of an approximation proce- dure which applies to all members of a family of translation and modulation invariant Banach spaces. Since the intersection of all these spaces under consideration is just the Schwartz space S(R ) it is natural to start from a Schwartz function g with non- vanishing Fourier transform. We call this key assumption a Tauberian condition, because it is well-known from the Wiener’s classical Tauberian Theorem (see [39]). The main advantage of the approach given here is the fact that it does not make use of dilations, so we do not have to generate Dirac sequences by compressing the given building block g ∈ S(R ) (which only has to satisfy the condition bg(0) 6= 0). Thus at least the formulation of the main result of the current paper can easily be transferred to the setting of LCA (locally compact Abelian) groups without significant changes. One may also argue that the restrictions to polynomially moderate weight functions and hence to stay within the world of S (R ), the tempered distributions, is some- what restrictive, and that one should look for such results also in the context of ultra- distributions. In that context even more sensitive norms can be used for the space of test functions (so in a way the kind of approximation that has to be achieved is much more challenging), but also much bigger spaces are allowed which are not contained in S (R ) anymore. Overall we have chosen to present our results in the context of tempered distributions over G = R , in order to make the key steps more clear. One can formulate the same claim using the same principle ideas for general LCA groups, making use the Schwartz- Bruhat space, invoking Tauberian Theorems for Beurling algebras as found in the book of H. Reiter [39]. However, we will go for the most general setting, namely Banach spaces of ultra-distributions over LCA groups in a subsequent paper. In order to keep the paper readable we have avoided this outmost level of generality, mentioning once more that this is still a very far-reaching extension of the results in [35]. A list of examples of such Banach spaces is given in [27]. 2. Translation and modulation invariant spaces Throughout this paper we will work with the following standard assumptions, similar to the setting chosen in [9] or [27]: Definition 1. A Banach space (B, k ·k ) is called a minimal tempered standard space (abbreviated as MINTSTA, or equivalently a minimal TMIB in the sense of [8], [27]), if the following conditions are valid: (1) We assume the following chain of continuous embeddings: d ′ d S(R ) ֒→ (B, k · k ) ֒→ S (R ); (1) (2) S(R ) is dense in (B, k · k ) (minimality); B 3 (3) (B, k · k ) is translation invariant, and for some s ∈ N and C > 0 one has B 1 1 1 d kT fk ≤ C hxi kfk ∀x ∈ R , f ∈ B. (2) x B 1 B (4) (B, k · k ) is modulation invariant, and for some s ∈ N and C > 0 one has B 2 2 2 d kM fk ≤ C hyi kfk ∀y ∈ R , f ∈ B. (3) y B 2 B Here we use the Japanese bracket symbol hxi respectively hyi for the function v (z) = 2 s/2 d (1 + |z| ) ,z ∈ R , which is also known as Beurling weight of polynomial type, because it satisfies for s ≥ 0 the submultiplicativity property v (x + y) ≤ v (x)v (y), x, y ∈ R . (4) s s s 1 1 d For any such (polynomial) weight v the corresponding weighted L -space L (R ) is a 1 d Banach algebra with respect to convolution, continuously embedded into L (R ), k · k (since v (x) ≥ 1) and having bounded approximate units (obtained by L -norm preserv- ing compression, so-called Dirac sequences). Whenever we use generic, submultiplicative Beurling weights (not necessarily of poly- nomial type) we will make use of the standard notation w. The corresponding weighted 1 1 L -spaces (L (R ), k · k 1 ) are Banach algebras with respect to convolution (we use w L (R ) the symbol f ∗ g), called Beurling algebras. The natural norm to be used is (cf. [38]) 1 d kfk 1 = kfk := kf · wk 1, f ∈ L (R ). 1,w L (R ) L w For the formulation of our arguments the terminology of the theory of Banach modules will be convenient (see [4,16,40]): Definition 2. A Banach space (B, k · k ) is called a Banach module over a Banach algebra (A, k ·k ) if there is a (usually natural) embedding of (A, k ·k ) into the op- A A erator algebra over (B, k · k ), written as (a, b) 7→ a • b, such that this bilinear (and associative) mapping satisfies ka • bk ≤ kak kbk , a ∈ A, b ∈ B. (5) B A B If, in addition, (B, k ·k ) ֒→ (A, k · k ) and the module operation is just the internal B A multiplication of the algebra (A, k · k ), we call (B, k · k ) a Banach ideal. A B A Banach module is called essential if A •B generates a dense subspace of (B, k · k ). For our applications the Banach algebras (A, k · k ) have bounded approximate units, i.e. there are bounded sequences or nets (e ) of elements in (A, k · k ) such that α α∈I A lim e • a = a, a ∈ A. α→∞ In such a case the Cohen-Hewitt Factorization Theorem can be applied and gives B = A • B = {a • b | a ∈ A, b ∈ B}. We only consider Beurling algebras as Banach convolution algebras (in this case we write f∗g for the abstract multiplication f•g) acting on a MINTSTA via convolution (we will speak of Banach convolution modules) or Banach algebras inside of C (R ), k · k 0 ∞ acting on (B, k · k ) via pointwise multiplication (we write f · g, or simply fg). Essential Banach ideals in the Banach convolution algebra L (R ), k · k are exactly the Segal algebras in the sense of H. Reiter ( [38]) (also called normed ideals in [6]), see [11]. Further references to abstract Segal algebras are given in papers of J.T. Burnham [5], see also [12]. 4 HANS G. FEICHTINGER AND ANUPAM GUMBER The density of S(R ) in (B, k ·k ) and the conditions (2) and (3) imply a double module structure for such Banach spaces: Proposition 1. Any MINTSTA (B, k ·k ) has a double module structure: (1) (B, k · k ) is an essential Banach convolution module over the Beurling algebra L : kg ∗ fk ≤ kgk 1 kfk , g ∈ L , f ∈ B, (6) B B L v s 1 and for any bounded, approximate unit (e ) in (L (R ), k ·k 1 ) one has: α α∈I w L lim ke ∗ f − fk = 0, ∀f ∈ B. (7) α B α→∞ (2) (B, k · k ) is an essential Banach module with respect to pointwise multiplication over the Fourier-Beurling algebra A := FL , with the corresponding norm estimate. 2 v Correspondingly bounded approximate units for pointwise multiplication act accordingly. (3) The Wiener amalgam space (W (A ,ℓ ), k ·k ) with local component A s s 2 v W (A ,ℓ ) 2 s s 1 2 s and global component ℓ is continuously and densely embedded into (B, k · k ). The statement in this proposition only summarize results which may be considered as folklore. Integrated action appears in a similar form in [4], [16] or [9], for example. For the last (minimality) statement see [14], or more explicitly [17, Proposition 6]. Also recall that the Wiener amalgam space (W (A ,ℓ ), k ·k 1 ) is the subspace of 2 v W (A ,ℓ ) s s 1 2 s continuous functions on R which belong locally to the Banach algebra A , which is supposed to contain D(R ). These spaces can be characterized with the help of smooth d d BUPUs (bounded partitions of unity) in D(R ), i.e.ψ ∈ D(R ), with T ψ ≡ 1, d k k∈Z as follows: kfk 1 := kf · T ψk v (k) < ∞. (8) k A s W (A ,ℓ ) s 1 v 2 2 s k∈Z Since this fact was partially motivating our approach and because we think that its statement may be interesting for the reader we have included it here. However, we will not make use of the third statement and thus we do not go into technical details here. The following lemma is inspired by the investigations in [12]: Lemma 1. Let (B, k · k ) ⊂ S (R ) be a translation invariant Banach space with kT fk ≤ w(x)kfk , ∀f ∈ B, x ∈ R , x B B for some submultiplicative function w on R . Then (B , k ·k ), the vector space B = L ∩ B is a dense, essential Banach 1,w B 1,w 1,w w 1 d ideal inside the Banach convolution algebra (L (R ), k · k ) with respect to the norm kfk = kfk 1 + kfk , f ∈ B . (9) B B 1,w 1,w L Thus it is a Banach space with respect to the norm (9) and L ∗ B ⊂ B with 1,w 1,w kg ∗ fk ≤ kgk kfk , g ∈ L , f ∈ B , (10) B B 1,w 1,w L 1,w and that for any bounded, approximate unit (e ) in (L (R ), k ·k 1): α α∈I w L lim ke ∗ f − fk = 0, ∀f ∈ B , (11) α B 1,w 1,w α→∞ and consequently (by the Cohen-Hewitt Factorization Theorem): L ∗ B = B . (12) 1,w 1,w w 5 d d If w is a Beurling weight of polynomial growth, then S(R ) is dense in B (R ), hence 1,w d d D(R ) = S ∩ C (R ) is a dense subspace of (B , k · k ). c 1,w B 1,w Proof. The facts collected in the above lemma are essentially based on more detailed considerations published in [12]. The first step is to verify that B is a dense subspace 1,w 1 d of L (R ). For this purpose it is enough to note that compactly supported elements are dense in any Beurling algebra, i.e. for given ε > 0 one finds ϕ ∈ C (R ) with kf − ϕk 1 < ε/4. (13) d d By smoothing ϕ ∈ C (R ) with a sufficiently small supported test function ψ ∈ D(R ) one has kϕ − ψ ∗ ϕk 1 < ε/4. (14) d d Observing that ψ ∗ ϕ ∈ D(R ) ⊂ S(R ) ⊂ B we note that ψ ∗ ϕ ∈ B and satisfies 1,w kf − ψ ∗ ϕk < ε/2. (15) Since both (L (R ), k ·k ) and (B, k · k ) are translation invariant and have contin- w L uous translation the same is true for (B , k ·k ). 1,w B 1,w The remaining consequences are just stated for easier reference but are standard re- sults. The last step is a consequence of the Cohen-Hewitt Factorization Theorem ( [34], Chap.32). Next let us recall the important Beurling-Domar condition, which ensures the ex- istence of band-limited elements (i.e. functions with a compactly supported Fourier transform) in general Beurling algebras. According to [38] (and referring to the im- portant paper by Y. Domar, [10]) a Beurling weight w satisfies the Beurling-Domar non-quasianalyticity condition if one has w(nx) (BD) < ∞ ∀x ∈ R . (16) n≥1 It is an easy exercise to check that any polynomial weight satisfies the (BD)-condition. One of the advantages of increasing, radial symmetric weights, such as v for s ≥ 0 is the fact that one can create easily bounded approximate units simply by applying to an 1 1 arbitrary g ∈ S(R ) ⊂ L with bg(0) = 1 the L -norm preserving compression operator −d St g(x) = ρ g(x/ρ), ρ → 0. (17) The next result is just a reminder concerning Fourier-Beurling algebras, i.e. pointwise Banach algebras obtained as (FL (R ), k · k 1 ), with the norm kfk 1 = kfk 1 . The w FL FL L w w w statements of the following lemma are essentially restatements of facts found in [38]. Lemma 2. Let w be a weight function satisfying the (BD)-condition. Then 1 d i) the Beurling algebra (L (R ), k · k ) has bounded approximate units consisting of band-limited elements. 1 d ii) the Banach algebra (FL (R ), k ·k ) is a Wiener algebra in the sense of H. Reiter w FL ( [38]), meaning that it is a regular Banach algebra of continuous functions, which allows (among others) to separate compact sets from open neighborhoods (see Chap.2.4 of [38] resp. [39]). In particular, the compactly supported elements are dense. iii) for weight functions of polynomial growth one has in addition: d d d S(R ) ֒→ (L (R ), k ·k 1 ) and for any g ∈ S(R ) with g(x)dx = 1 one has w L kSt g ∗ f − fk d → 0, for ρ → 0. L (R ) w 6 HANS G. FEICHTINGER AND ANUPAM GUMBER The third claim is essentially Lemma 1 of [27], see also Corollary 1 of [9], see also [39], Proposition 1.6.14. Lemma 3. For any MINTSTA (B, k · k ) the band-limited elements form a dense subspace of (B, k · k ). The same is true for (B , k · k ), which is in fact also B 1,w B 1,w a MINTSTA itself. d d Proof. Since S(R ) is dense in L (R ) for the (polynomial) weights appearing in Propo- sition 1 the (BD)-condition is clearly satisfied. Hence there are (even bounded) approx- imate units in (L (R ), k ·k 1 ) which are band-limited (i.e. compactly supported on the w L Fourier transform side), we write (e ) . α α∈I Since e ∗ f approximates f ∈ B according to (11) and supp(F(e ∗ f)) ⊂ supp(eb ) α α we find that the band-limited elements are dense in (B, k ·k ). For the proof of the main result we will make use of the following key observations already explained in detail in [27], using so-called BUPUs, i.e. (bounded) uniform par- titions of unity of size |Ψ| = δ > 0, i.e. of countable collections of continuous functions ψ , i ∈ I, with 0 ≤ ψ (x), supp(ψ ) ⊂ B (x ) and ψ (x) ≡ 1. i i i δ i i i∈I For simplicity we only consider the regular case, i.e. BUPUs which are obtained as translates of a single function: Definition 3. A (countable) family of translates Ψ = (T ψ) , where ψ is a compactly λ λ∈Λ d d d supported function (i.e. ψ ∈ C (R )), and Λ = A(Z ) a lattice in R (for some non- singular d × d-matrix A) is called a regular BUPU (or more precisely a Λ-regular BUPU, or a Λ-invariant BUPU) if ψ(x − λ) ≡ 1. (18) λ∈Λ We will write diam(Ψ) ≤ γ if supp(ψ) ⊂ B (0) for some γ→0. We will be interested in the case of “finer and finer” BUPUs, i.e. the case diam(Ψ) → 0. Sometimes we will simply write |Ψ| instead of diam(Ψ). The use of fine partitions of unity is also well established in the context of usual distribution theory, see e.g. [42]. The following results are required in the sequel, we refer [27] for details of the proof. The method can even be used to introduce convolution of measures (see [22]) and goes back to the discretization introduced in [19]. Proposition 2. There exists C > 0 such that for any BUPU Ψ = (ψ ) with |Ψ| ≤ 1 i i∈I δ ≤ 1 the mapping f 7→ D f, given by D f = c δ with c = f(x)ψ (x)dx, (19) Ψ i x i i i∈I satisfies 1 d |c |w(x ) ≤ C kfk , f ∈ L (R ). (20) i i 1 i∈I Moreover, given g ∈ L and ε > 0 there exists δ ∈ (0, 1] such that |Ψ| ≤ δ implies kg ∗ f − g ∗ D fk < ε. (21) w 7 Proposition 3. Since any MINTSTA (B, k · k ) is an essential Banach module over 1 1 d d some Beurling algebra (L (R ), k · k ) one has for any h ∈ L (R ): Given ε > 0 there w w exists δ > 0 such that |Ψ| ≤ δ implies: kg ∗ h − g ∗ D hk ≤ εkhk 1 . (22) Ψ B Remark 1. It is important to note (for the proof of our main theorem) that the con- vergence is uniform for bounded subsets of L (R ), because it depends only on the continuous translation property in (B, k · k ), and thus on the quality of g ∈ B. 3. Preparing the Ground Preparing for the main result of this note we start by recalling the characterization of compact subsets in spaces with a double module structure as described in [16]. We will rephrase the result given there in a form which is more suitable for the current setting. It just makes use of the fact that approximate units can always be chosen from a dense subset of the Banach algebra acting on (B, k ·k ) (by convolution resp. pointwise multiplication): Theorem 1. A closed and bounded subset M of a MINTSTA is compact in (B, k · k ) if and only it is tight and equicontinuous, which means, that for any ε > 0 there exist d d a band-limited function g ∈ S(R ) and a compactly supported function h ∈ S(R ) such that f 7→ g ∗ f and f 7→ h · f are bounded operators on (B, k · k ) and satisfy kh · f − fk ≤ ε, ∀f ∈ M, (23) and kg ∗ f − fk ≤ ε, ∀f ∈ M. (24) Remark 2. The assumptions boil down to choose appropriate elements from a Dirac sequence (g ) , e.g. to choose g as a suitable compression of a band-limited function n n≥1 g with gb (0) = 1 and supp(gb ) compact. Correspondingly one can choose for pointwise 0 0 0 multiplication from a sequence of (inverse) Fourier transforms of another Dirac sequence, −1 i.e. h := F (g ), but now with compact support on the time side. n n Note that approximate units can be chosen from any dense subspace of (L (R ), k · k 1). w L The most useful examples are band-limited Dirac sequences and compactly supported pointwise approximate units (which help to localize functions). For the proof of our main result we will also need the following useful lemma: Lemma 4. Given a double Banach module (B, k · k ), over a Beurling algebra L (R ) with respect to convolution and over FL (R ) under pointwise multiplication. Assume that M is a bounded and tight subset of (B, k ·k ) and S a bounded, tight subset of (L (R ), k · k 1). Then the set S ∗ M is a bounded and tight subset of (B, k ·k ). w L Proof. Without loss of generality sup kgk 1 ≤ 1 and sup kfk ≤ 1. The g∈S L (R ) f∈M estimate kg ∗ fk ≤ kgk · kfk ≤ 1 shows that S ∗ M is bounded in (B, k · k ). B L B B 1 d Since (B, k · k ) is a Banach module over the Fourier-Beurling algebra FL (R ) (for some weight of polynomial growth) we may assume that there is a compactly supported (pointwise) approximation to the identity (k ) , with kk k ≤ C < ∞ (usually α α∈I α v FL 1 1 d d d C = 1). Since L (R ) contains S(R ) it is clear that FL (R ) also contains compactly v v supported functions h ∈ S(R ) which are plateau-like, i.e. which satisfy h(x) ≡ 1 on a 8 HANS G. FEICHTINGER AND ANUPAM GUMBER given compact set Q. Thanks to [1] we may combine these two properties and observe that there is a bounded approximate unit (k ) in FL (R ) with kk k d ≤ C for all α α v FL (R ) α, and with the extra property that for any compact set Q ⊂ R one finds some index α such that k (x) ≡ 1 on Q for all α  α . 0 α 0 Given now ε > 0, the tightness assumptions allow to find k , k ∈ C (R ) with 1 2 c kk · g − gk 1 ≤ ε/(2 · C ), g ∈ S, 1 v and kk · f − fk ≤ ε/2, f ∈ M. 2 B Combining these estimates we find that k(k · g) ∗ (k · f) − g ∗ fk ≤ k(k · g − g) ∗ (k · f)k + kg ∗ (k · f − f)k . (25) 1 2 B 1 2 B 2 B The first term can be estimated as ≤ kk · g − gk 1 kk · fk ≤ (ε/(2 · C ))kk k 1 kfk ≤ ε/2, (26) 1 2 B v 2 B L FL w v and the second term in a similar way. Combining these estimates we find that k(k · g) ∗ (k · f) − g ∗ fk ≤ ε, g ∈ S, f ∈ M. (27) 1 2 B Now it is obvious that the elements in B of the form {k · g) ∗ (k · f), g ∈ S, f ∈ M} 1 2 have common compact support inside the compact set Q = supp(k ) + supp(k ). As 1 2 1 d explained above we can find now some k ∈ FL (R ), with kk k 1 = kk k 1 ≤ C , and k (x) ≡ 1 on Q. 3 3 v 3 FL (R ) L v v Since (B, k · k ) is a pointwise Banach module over FL (R ) we also have 1 d kk · hk ≤ kkk d khk , k ∈ FL (R ), h ∈ B. (28) B B FL (R ) v Multiplying the terms in estimate (27) by k (the first one is unchanged!), we obtain k(k · g) ∗ (k · f) − k · (g ∗ f)k ≤ kk k 1 · k(k · g) ∗ (k · f) − g ∗ fk ≤ C ε. (29) 1 2 3 B 3 1 2 B v Hence we get the final estimate by combining estimates (27) and (29): kk · (g ∗ f) − g ∗ fk ≤ (1 + C ) ε, g ∈ S, f ∈ M. (30) 3 B v Another estimate which we will need, but which might be useful as a separate result elsewhere, is formulated in the following lemma. In the course of the proof of our main result we will also make use of the following observation: Lemma 5. If (B, k · k ) ֒→ S (R ) is a translation invariant Banach space with kT fk ≤ w(x)kfk , ∀f ∈ B. x B B d d Then for any pair of functions g ∈ S(R ) and k ∈ C (R ) the product-convolution 3 c operator f 7→ k · (g ∗ f) defines a bounded operator from (B, k · k ) into L (R ). 3 B w 9 Proof. By assumption any g ∈ B ⊂ S (R ) defines a bounded linear functional on (B, k · k ), which (at least for f ∈ S(R ) ⊂ B) allows to interpret the convolution for any f ∈ B in a pointwise sense: g ∗ f(x) = f(z + x)g (−z)dz = σ (T f), (31) 3 3 3 −x X X where σ means the tempered distribution induced by g ∈ B (using g (x) := g(−x)). By the continuity of both sides we can thus use the identity g ∗ f(x) = σ (T f), f ∈ B, x ∈ R . (32) 3 3 −x Since translation is continuous, this implies that g ∗ f is a continuous function (of polynomial growth). As a pointwise estimate we have ′ ′ |g ∗ f(x)| ≤ kg k kT fk ≤ kg k |kT |k kfk . (33) 3 3 B −x B 3 B −x B B Since K := supp(k) is a compact set, the weight function is bounded on −K, or sup w(−x) = C < ∞ x∈K which implies for any x ∈ supp(k) the pointwise estimate |k(x)||g ∗ f(x)| ≤ w(−x)kg k ′ kfk ≤ C kg k ′ kfk . (34) 3 3 B k 3 B B B This in turn provides us with the required estimate: k|k| · |g ∗ f|k 1 = |k(x)||g ∗ f(x)|w(x)dx ≤ [C kkk 1 kg k ′ ]kfk . (35) 3 3 k 3 B L L B w w For the proof of the main result we will make use of the following key observations already explained in detail in [27], using so-called BUPUs, i.e. (bounded) uniform par- titions of unity of size |Ψ| = δ > 0, i.e. of countable collections of continuous functions ψ , i ∈ I, with 0 ≤ ψ (x), supp(ψ ) ⊂ B (x ) and ψ (x) ≡ 1. i i i δ i i i∈I The following technical lemma will be useful for our considerations. It requires the notion of well-spread sets, playing a big role for the use of BUPUs for the characterization of Wiener amalgam space (see [15]) or in coorbit theory (see [26]). Definition 4. A discrete family X = (x ) is relatively separated if for some (and thus i i∈I for any) r > 0 the number of points from X is uniformly bounded, i.e. if sup #{i ∈ I | x ∈ B (x)} ≤ C < ∞. i r r x∈R Lemma 6. For any family (x ) which is δ/3 dense, there exists a subfamily (x ) j j∈J i i∈I which is well-spread and δ-dense. Moreover, there exists corresponding BUPUs (in the sense of [15]) (ψ ) of size δ, with supp(ψ ) ⊆ B (x ), i ∈ I. i i∈I i δ i Proof. The generic approach to this task is to find a maximal subfamily I ⊂ J such that one has a pavement of size δ/3 in R , i.e. such that the balls B (x ) are pairwise δ/3 i disjoint for i ∈ I ⊂ J. The maximality implies that for any j ∈ J \ I the corresponding ball B (x ) has nontrivial intersection with one of the balls centered at x , for some δ/3 j i i ∈ I. As the original family (running through the index set J) covers all of R it is an immediate consequence of the triangle inequality that the family B (x ), i ∈ I covers 2δ/3 all of R , and the same is true for (B (x )) . δ i i∈I 10 HANS G. FEICHTINGER AND ANUPAM GUMBER In order to estimate the number of points x , i ∈ I which are inside of B (x) we just i r have to observe that x ∈ B (x) implies that B (x ) ⊂ B (x). The disjointness of i r δ/3 i r+δ the sets constituting the pavement and the uniform volume estimate for balls of radius r +δ (independent from x) then provides the required counting estimate, uniformly with respect to x. In order to create a BUPU of size δ with supp(ψ ) ⊂ B (x ) we proceed as follows: i δ i First we observe that the selected family of balls has finite overlap. Moreover, starting from some function ϕ ∈ C (R ) with ϕ(z) = 1 on B (0) and supp(ϕ) ⊆ B (0), we set c 2δ/3 δ P P Φ = T ϕ and put ψ ≡ T ϕ/Φ. This implies ψ (x) ≡ 1 and x i x i i∈I i i i∈I supp(ψ ) ⊆ supp(T ϕ) = x + supp(ϕ) ⊂ B (x ). i x i δ i Remark 3. For the Euclidian set there is an alternative method to select a well-separated set from a given δ/3-dense family (x ) . Starting from a partition of R with cubes j j∈J of size α > 0 (small enough), centered at the lattice αZ , one can pick one point within each such cube. We leave the details to the interested reader. 4. The Main Result Theorem 2. Given a relatively compact set M in any MINTSTA (B, k · k ) and some d d g ∈ S(R ) with bg (y) 6= 0 for all y ∈ R , we can show the following: 0 0 For any given ε > 0 there exists some δ > 0 such that for any δ-dense set (x ) one i i∈I can pick a finite subset F ⊂ I and construct a finite rank operator T with range in the linear span of S(g ) := {T g , i ∈ F} with 0 x 0 kT (f) − fk ≤ ε, ∀f ∈ M. (36) Remark 4. We will give the proof for compact sets. In fact, since all the estimates allow the transition from M to the closure M of the set M in (B, k · k ) (and obviously the validity for M implies the validity for M) this implies the general case. Proof. The proof requires a couple of steps. Let us fix ε > 0. (1) First of all one has to check that S(g ) is a subset of B. In fact, we have g ∈ 0 0 d d S(R ) ⊂ B ∩L (R ) ⊂ B, and all the involved spaces are translation invariant. Thus any finite rank operator with range in a finite-dimensional subspace of the linear span of S(g ) will be bounded on (B, k · k ) . 0 B (2) For the given ε > 0 we choose first (according to (24) in Thm. 1) some band- limited function g ∈ S(R ) ⊂ B such that 1,w kf − g ∗ fk < ε/4, ∀f ∈ M. (37) (3) Invoking now the Tauberian condition and the smoothness of bg we observe that d d d for such a band-limited g ∈ S(R ) ⊂ B (R ) ⊂ L (R ) with spec(g) := 1,w supp(bg) = Q (some compact set) we can find another band-limited function h ∈ S(R ) with compact spectrum Q = supp(h ), such that g = g ∗ h (or 1 2 1 1 h (s) = 1 on Q ). Since bg (y) 6= 0 for y ∈ Q it follows that 1/bg (y) is a smooth 1 1 0 2 0 function as well, and consequently the pointwise product h (y)/bg (y) defines 1 0 We cannot expect that there is a uniform bound on the operators constructed below! 11 a compactly supported and smooth function in S(R ), whose inverse Fourier transform can be called g . Thus we have bg (y) · bg (y) ≡ 1 on Q , or 1 1 0 1 g = g ∗ g ∗ g = g ∗ g ∗ g in S(R ). 1 0 0 1 This means that we can factorize f ∗ g through g , for any f ∈ B, as g ∗ f = f ∗ g = f ∗ (g ∗ g ) ∗ g = g ∗ (g ∗ g ∗ f), (38) 1 0 0 1 in the sense of distributions, with g ∗ g ∗ f ∈ L (R ) ∗ B ⊂ B, in view of Lemma 1. (4) Next we observe that the tightness of the set M ⊂ B implies that also g ∗g ∗M is a tight set in (B, k · k ) (by choosing S = {g ∗ g} in Lemma 4). Thus we can B 1 find some compactly supported function k ∈ C (R ) such that kk · (g ∗ g ∗ f) − (g ∗ g ∗ f)k ≤ ε/4kg k 1 , ∀f ∈ M. (39) 1 1 B 0 We also note that by Lemma 5 (with g = g ∗ g ) 3 1 S (M) := {h := k · (g ∗ g ∗ f), f ∈ M} (40) k 1 is a bounded subset of L (R ), so that Proposition 3 can be invoked. Using Lemma 6 we can apply the discretization operator for any BUPU (and we can use the given well-spread family (x ) for its centers, as long as the set is i i∈I δ−dense, with δ > 0 only depending on g ∈ S(R ) ⊂ B) and will get: kg ∗ h − g ∗ D hk ≤ ε/4, ∀h ∈ S (M). (41) 0 0 Ψ B k Recalling identity (38) and the estimate (37) we note that kf − g ∗ (g ∗ g ∗ f)k = kf − g ∗ fk ≤ ε/4, f ∈ M, (42) 0 1 B B and furthermore, using the estimate (39), one obtains for f ∈ M: kg ∗ h − g ∗ (g ∗ g ∗ f)k ≤ kg k kh − g ∗ g ∗ fk ≤ ε/4. (43) 0 0 1 B 0 1 B Applying the triangular equation to the last two estimates, i.e. using kf − g ∗ hk ≤ kf − g ∗ (g ∗ g ∗ f)k + kg ∗ (g ∗ g ∗ f − h)k (44) 0 B 0 1 B 0 1 B we arrive at the estimate kf − g ∗ hk ≤ ε/4 + ε/4 = ε/2, f ∈ M. (45) 0 B So finally combining the estimates (45) and (41) we arrive at our final estimate: kf − g ∗ D hk ≤ kf − g ∗ hk + kg ∗ h − g ∗ D hk ≤ ε, f ∈ M. (46) 0 Ψ B 0 B 0 0 Ψ B Writing the approximation operator T in explicit form, we have Tf = g ∗ D h = g ∗ D (k · (g ∗ g ∗ f)) = c T g , (47) 0 Ψ 0 Ψ 1 i x 0 i∈F with the coefficients (c ) depending in a linear way on the function f ∈ B via i i∈F Z Z c := h(x)ψ (x)dx = (k · (g ∗ g ∗ f))(x)ψ (x)dx, i ∈ F. (48) i i 1 i d d R R Here, due to the fact that the centers are well-spread and that supp(k) is compact the following set F is a finite: F := {i ∈ I | ψ · k 6= 0}. (49) 12 HANS G. FEICHTINGER AND ANUPAM GUMBER Remark 5. A careful analysis of the proof given above shows that the assumption g ∈ S(R ) is convenient in the given setting, but in fact it is only required to assume g ∈ d d B (R ) = B ∩ L (R ). For such a case the pointwise inversion argument based on 1,w smoothness used in step (3) of the above has to replaced by Wiener’s inversion Theorem for Beurling algebras which has been already mentioned earlier (see [39], Chap.1.6.5). Since in this case the possible choices of g depend on B (and thus is not universal with respect to the family of Banach spaces under consideration) we have chosen to present our results in the form of Theorem 2. Remark 6. The proof of the main theorem demonstrates a couple of facts: While ideally one would like to replace the given functions f ∈ M by functions which are both band- limited (hence smooth) and compactly supported, the impossibility of getting this done at the same time requires to carry out the corresponding modifications of the given functions f ∈ M stepwise, in order to come up with the final approximation, obtained via a discrete convolution. In order to make things work one has to make use of the fact that convolution typ- ically improves local properties (such as continuity or smoothness), while preserving global decay conditions. In a similar way pointwise multiplication by smooth, com- pactly supported functions will preserve the local properties, while improving the global ones (e.g. by creating a compactly supported function). The structure of the proof would not really simplify if we had restricted our attention to the unweighted case. Even for simple special cases such as B = L (R ) the key steps would be the same. A crucial property used is the uniformity of the corresponding approximation arguments over (relatively) compact sets M in (B, k · k ). 5. Applications Although we have indicated that there is room for further generalization we have to point out that the list of examples to which the above result applies is endless. The first author has tried to collect the construction principles widely (or occasionally) used in Fourier Analysis in a systematic way. It appears to be harder to identify space which are generally important, containing S(R ) as a dense subspace, but not satisfying the assumptions formulated for this paper. In order to mention at least some of the most important cases which are playing a major role in the literature let us mention: (1) Weighted L -spaces, for 1 ≤ p < ∞ with polynomial weights (see [13], [30]); (2) Wiener amalgam spaces of the form W (L , ℓ ), for 1 ≤ p, q < ∞ (see [33]), but also weighted Wiener amalgam spaces, as treated in [31]; s d s d s s (3) The Besov-Triebel-Lizorkin spaces (B (R ), k ·k ) resp. (F (R ), k ·k ), B F p,q p,q p,q p,q for 1 ≤ p, q < ∞ (see [37] or the books of H. Triebel [41]); (4) Modulation spaces in general (see [20]), but specifically the classical modulation s d spaces M (R ), k · k , also for the case 1 ≤ p, q < ∞. See [3] and [7]; p,q p,q (5) More general decomposition spaces, as discussed in the literature, based on the approach given in [25]; (6) Tauberian Theorems have been derived directly in the context of functions of bounded means in [18], where they have been a crucial step in order to extend Wiener’s Third Tauberian Theorem to the full range 1 < p ≤ ∞, and for R instead of just p = 2 and d = 1 (see [43,44]); 13 (7) The atomic space H(q, p, α) appearing in [23] as well as many other atomic spaces, including the exotic case discussed in [28], are MINTSTAs; (8) General construction principles for a further variety of function spaces as well as a long list of references are provided in [21]. The fact that the Schwartz space can be characterized as the intersection of modulation spaces (see [29], Proposition 11.3.1) implies that the arguments used for the proof of our main result also provide a constructive way to verify that the set of translates of g generates a dense subspace of the Schwartz space S(R ). d d Corollary 1. Assume that g ∈ S(R ) satisfies bg(y) 6= 0 for all y ∈ R . Then for any finite set M ⊂ S(R ) there is a sequence of finite rank operators T with range in the linear span of S(g ) := {T g , i ∈ F}, such that T (f) → f in S(R ) for n → ∞, for 0 x 0 n each f ∈ M. In particular, this linear span is dense in S(R ). Proof. We only have to observe that the family of norms for the spaces M (R ), for s ≥ 0 define a topology which is equivalent to the usual topology on S(R ) (see also [32]). Also, S(R ) is not only the intersection of all these spaces, but one can also replace them by the closure of S(R ) in each of these space (for each fixed s ≥ 0). Since such spaces are typical examples for the setting of our main result we can guarantee convergence of a suitable sequence of finite rank operators for each of these norms, even uniformly with respect to compact subsets of such a space. The extension of the statement to relatively compact subsets of S(R ) is just a matter of technical arguments which are beyond the focus of our paper. Also, it is true that one can find easier, non-constructive arguments for the last statement, making use of standard Fourier transform methods for the space of tempered distributions. 6. Acknowledgement This work was initiated during the visit of the second author to the NuHAG work- group at the University of Vienna, supported by an Ernst Mach Grant-Worldwide Fel- lowship (ICM-2019-13302) from the OeAD-GmbH, Austria. The second author is very grateful to professor Hans G. Feichtinger for his guidance, for the kind hospitality and arranging excellent research facilities at the University of Vienna. She was supported by NBHM-DAE (0204/19/2019R&D-II/10472), India and the Austrian Science Fund (FWF) project TAI6. The authors are grateful to the reviewer of an earlier version of the manuscript for a very critical reading of this manuscript which finally led to significant improvement of the main result and a widened scope. One of the significant changes undertaken now is the modification from the approximation of individual functions to compact sets M in (B, k · k ), using finite rank operators. References [1] G. F. Bachelis, W. A. Parker, and K. A. Ross. Local units in L (G). Proc. Amer. Math. Soc., 31:312–313, 1972. [2] A. Beurling: Sur les inte´grales de Fourier absolutment convergentes et leur application a ` une transformation fonctionelle, IX. Congr. Math. Scand., pp.345-366, Helsingfors, 1938. [3] A. Benyi and K. A. Okoudjou. Modulation Spaces. Springer, Birkhäuser, New York, 2020. [4] W. Braun and H. G. Feichtinger. Banach spaces of distributions having two module structures. J. Funct. Anal., 51:174–212, 1983. 14 HANS G. FEICHTINGER AND ANUPAM GUMBER [5] J. T. Burnham. Closed ideals in subalgebras of Banach algebras I. Proc. Amer. Math. Soc., 32:551– 555, 1972. [6] J. Cigler. Normed ideals in L (G). Nederl. Akad. Wetensch. Proc. Ser. A, Ser. A(74):273–282, 1969. [7] E. Cordero and L. Rodino. Time-frequency Analysis of Operators. De Gruyter Studies in Mathe- matics, Berlin, 2020. [8] P. Dimovski, S. Pilipovic, B. Prangoski, and J. Vindas. Translation–modulation invariant Banach spaces of ultradistributions. J. Fourier Anal. Appl., 25(3):819–841, 2019. [9] P. Dimovski, S. Pilipovic, and J. Vindas. New distribution spaces associated to translation-invariant Banach spaces. Monatsh. Math., 177(4):495–515, 2015. [10] Y. Domar. Harmonic analysis based on certain commutative Banach algebras. Acta Math., 96:1–66, [11] D. H. Dunford. Segal algebras and left normed ideals. J. Lond. Math. Soc. (2), 8:514–516, 1974. [12] H. G. Feichtinger. Results on Banach ideals and spaces of multipliers. Math. Scand., 41(2):315–324, [13] H. G. Feichtinger. Gewichtsfunktionen auf lokalkompakten Gruppen. Sitzber. d. österr. Akad. Wiss., 188:451–471, 1979. [14] H. G. Feichtinger. A characterization of minimal homogeneous Banach spaces. Proc. Amer. Math. Soc., 81(1):55–61, 1981. [15] H. G. Feichtinger. Banach convolution algebras of Wiener type. In Proc. Conf. on Functions, Series, Operators, Budapest 1980, p.509–524, Vol.35, North-Holland, Colloq. Math. Soc. Janos Bolyai, [Amsterdam] 1983. [16] H. G. Feichtinger. Compactness in translation invariant Banach spaces of distributions and compact multipliers. J. Math. Anal. Appl., 102:289–327, 1984. [17] H. G. Feichtinger. Minimal Banach spaces and atomic representations. Publ. Math. Debrecen, 34(3- 4):231–240, 1987. [18] H. G. Feichtinger. An elementary approach to Wiener’s third Tauberian theorem for the Euclidean n-space. In Symposia Math., Vol. XXIX of Analisa Armonica, pages 267–301, Cortona, 1988. H. G. Feichtinger and K. Gröchenig. Banach spaces related to integrable group representations and their atomic decompositions, I. J. Funct. Anal., 86(2):307–340, 1989 [19] H. G. Feichtinger. Discretization of convolution and reconstruction of band-limited functions from irregular sampling. pages 333–345. Academic Press, Boston, MA, 1991. [20] H. G. Feichtinger. Modulation spaces on locally compact Abelian groups. In R. Radha, M. Krishna, and S. Thangavelu, editors, Proc. Internat. Conf. on Wavelets and Applications, pages 1–56, Chen- nai, January 2002, 2003. New Delhi Allied Publishers. [21] H. G. Feichtinger. Choosing Function Spaces in Harmonic Analysis, volume 4 of The Febru- ary Fourier Talks at the Norbert Wiener Center, Appl. Numer. Harmon. Anal., pages 65–101. Birkhäuser/Springer, Cham, 2015. [22] H. G. Feichtinger. A novel mathematical approach to the theory of translation invariant linear systems. In Peter J. Bentley and I. Pesenson, editors, Novel Methods in Harmonic Analysis with Applications to Numerical Analysis and Data Processing, pages 483–516. Birkhäuser, Cham, 2017. [23] H. G. Feichtinger and J. Feuto. Predual of Fofana´s spaces. Mathematics (MDPI), 7(6):528, 2019. [24] H. G. Feichtinger. Homogeneous Banach spaces are Banach convolution modules over M (G). MDPI, Mathematics. Vol. 10 No.3, 2022, 1-22. [25] H. G. Feichtinger and P. Gröbner. Banach spaces of distributions defined by decomposition meth- ods. I. Math. Nachr., 123:97–120, 1985. [26] H. G. Feichtinger and K. Gröchenig. Banach spaces related to integrable group representations and their atomic decompositions, I. J. Funct. Anal., 86(2):307–340, 1989 [27] H. G. Feichtinger and A. Gumber. Completeness of shifted dilates in invariant Banach spaces of tempered distributions. Proc. Amer. Math. Soc., 149(12):5195–5210., 08 2021. [28] H. G. Feichtinger and G. Zimmermann. An exotic minimal Banach space of functions. Math. Nachr., 239-240:42–61, 2002. [29] K. Gröchenig. Foundations of Time-Frequency Analysis. Appl. Numer. Harmon. Anal. Birkhäuser, Boston, MA, 2001. 15 [30] K. Gröchenig. Weight functions in time-frequency analysis. In L. Rodino and et al., editors, Pseu- dodifferential Operators: Partial Differential Equations and Time-Frequency Analysis, volume 52 of Fields Inst. Commun., pages 343–366. Amer. Math. Soc., Providence, RI, 2007. [31] K. Gröchenig, C. Heil, and K. Okoudjou. Gabor analysis in weighted amalgam spaces. Sampl. Theory Signal Image Process., 1(3):225–259, 2002. [32] K. Gröchenig and G. Zimmermann. Spaces of test functions via the STFT. J. Funct. Spaces Appl., 2(1):25–53, 2004. [33] C. Heil. An introduction to weighted Wiener amalgams. In M. Krishna, R. Radha, and S. Thangavelu, editors, Wavelets and their Applications (Chennai, January 2002), pages 183–216. Allied Publishers, New Delhi, 2003. [34] E. Hewitt and K. A. Ross. Abstract Harmonic Analysis. Vol. II: Structure and Analysis for Compact Groups. Analysis on Locally Compact Abelian Groups. Springer, Berlin, Heidelberg, New York, [35] V. Katsnelson. On the completeness of Gaussians in a Hilbert functional space. Complex Anal. Oper. Theory, 13(3):637–658, 2019. [36] J. Korevaar. Tauberian Theory. A Century of Developments. Springer, Berlin, 2004. [37] J. Peetre. New Thoughts on Besov Spaces. Duke University Mathematics Series, No. 1, Duke University, 1976. vi+305 pp. [38] H. Reiter. Classical Harmonic Analysis and Locally Compact Groups. Clarendon Press, Oxford, [39] H. Reiter and J. D. Stegeman. Classical Harmonic Analysis and Locally Compact Groups. 2nd ed. Clarendon Press, Oxford, 2000. [40] M. A. Rieffel. Multipliers and tensor products of L -spaces of locally compact groups. Studia Math., 33:71–82, 1969. [41] H. Triebel. Theory of Function Spaces. Vol. 78 of Monographs in Mathematics. Birkhäuser, Basel, [42] W. Walter. Einführung in die Theorie der Distributionen. B.I. Taschenbuch, 1974. [43] N. Wiener. Tauberian theorems. Ann. of Math. (2), 33(1):1–100, 1932. [44] N. Wiener. The Fourier Integral and Certain of its Applications. Cambridge University Press, Cambridge, 1933. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Mathematics arXiv (Cornell University)

Completeness of Sets of Shifts in Invariant Banach Spaces of Tempered Distributions via Tauberian conditions

Feichtinger, Hans G.; Gumber, Anupam
Mathematics , Volume 2022 (2012) – Dec 21, 2020
Download PDF
15 pages

Loading next page...
 
/lp/arxiv-cornell-university/completeness-of-sets-of-shifts-in-invariant-banach-spaces-of-tempered-hnnLQfu3FY

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

eISSN
ARCH-3343
DOI
10.48550/arXiv.2012.11127
Publisher site
See Article on Publisher Site

Abstract

COMPLETENESS OF SETS OF SHIFTS IN INVARIANT BANACH SPACES OF TEMPERED DISTRIBUTIONS VIA TAUBERIAN CONDITIONS HANS G. FEICHTINGER AND ANUPAM GUMBER Abstract. The main result of this paper is a far reaching generalization of the com- pleteness result given by V. Katsnelson in a recent paper ( [35]). Instead of just using a collection of dilated Gaussians it is shown that the key steps of an earlier paper ([27]) by the authors, combined with the use of Tauberian conditions (i.e. the non-vanishing of the Fourier transform) allow us to show that the linear span of the translates of a single function g ∈ S(R ) is a dense subspace of any Banach space satisfying certain double invariance properties. In fact, a much stronger statement is presented: for a given compact subset M in such a Banach space (B, k ·k ) one can construct a finite rank operator, whose range is contained in the linear span of finitely many translates of g, and which approximates the identity operator over M up to a given level of precision. The setting of tempered distributions allows to reduce the technical arguments to meth- ods which are widely used in Fourier Analysis. The extension to non-quasi-analytic weights respectively locally compact Abelian groups is left to a forthcoming paper, which will be technically much more involved and uses different ingredients. 1. Introduction This paper can be seen as an alternative approach to the question of completeness of sets of translates of a given test function for a large variety of Banach space of tempered distributions. The motivation for the current paper is the wish to demonstrate that the very specific results describing the density of the linear span of the set of all translates and dilates of the Gauss function as given in [35] can be generalized into several directions. In the companion paper [27] we have shown that only the non-vanishing integral, i.e. without loss of generality the assumption g(x)dx = 1 for the generating Schwartz function g ∈ S(R ) is sufficient in order to guarantee the density for a large variety of Banach spaces with double module structure. As it turned out, the setting of the paper [9] appeared to be most appropriate, which is quite similar to the setting of so-called “standard spaces” as used in papers on compactness ( [16]) or double module structures ( [4]). As it is clear that there is only a chance for such a statement if S(R ) is a dense subspace of (B, k ·k ), so we will make this minimality assumption throughout this paper. 2010 Mathematics Subject Classification. Primary 43A15, 43A10, 41A65, 46F05, 46B50; Secondary 43A25, 46H25, 46A40, 40E05. Key words and phrases. Beurling algebra, modulation spaces, weighted amalgam spaces, Tauberian theorems, approximation by translations, Banach spaces of tempered distributions, Banach modules. Address: Faculty of Mathematics, University of Vienna, Oskar-Morgenstern-Platz 1,1090 Vienna, and (hgfei) Acoustic Research Institute ARI, OEAW, Wohllebengasse 12, 1040 Vienna, AUSTRIA; ORCID: 0000-0002-9927-0742, E-mail: [email protected]; ORCID: 0000-0001-5146-3134, E-mail: [email protected]. arXiv:2012.11127v2 [math.FA] 19 Mar 2022 2 HANS G. FEICHTINGER AND ANUPAM GUMBER Observing that the Gauss function has another important property, namely a nowhere vanishing Fourier transform, Tauberian Theorems come to mind (see [43], [44], [39], [36]) [18]). In the classical setting the non-vanishing of the Fourier transform bg(s) 6= 0 for d d all s ∈ R for some g ∈ L (R ) implies that the linear span of its translates is dense in 1 d 1 L (R ), k · k (see [39], Chap.4.1). Similar results hold true for weighted L -algebras, the so-called Beurling algebras (L (R ), k ·k 1) (see e.g. [39], Chap.1.6). For this paper w L 2 s/2 mostly polynomial weights equivalent to v (x) = (1 + |x| ) are of interest. For them the Tauberian Theorem can be derived from the Tauberian condition going back to the work of A. Beurling ( [2]) for details(see [39], Theorem 1.6.17). The main result of this paper is a constructive realization of an approximation proce- dure which applies to all members of a family of translation and modulation invariant Banach spaces. Since the intersection of all these spaces under consideration is just the Schwartz space S(R ) it is natural to start from a Schwartz function g with non- vanishing Fourier transform. We call this key assumption a Tauberian condition, because it is well-known from the Wiener’s classical Tauberian Theorem (see [39]). The main advantage of the approach given here is the fact that it does not make use of dilations, so we do not have to generate Dirac sequences by compressing the given building block g ∈ S(R ) (which only has to satisfy the condition bg(0) 6= 0). Thus at least the formulation of the main result of the current paper can easily be transferred to the setting of LCA (locally compact Abelian) groups without significant changes. One may also argue that the restrictions to polynomially moderate weight functions and hence to stay within the world of S (R ), the tempered distributions, is some- what restrictive, and that one should look for such results also in the context of ultra- distributions. In that context even more sensitive norms can be used for the space of test functions (so in a way the kind of approximation that has to be achieved is much more challenging), but also much bigger spaces are allowed which are not contained in S (R ) anymore. Overall we have chosen to present our results in the context of tempered distributions over G = R , in order to make the key steps more clear. One can formulate the same claim using the same principle ideas for general LCA groups, making use the Schwartz- Bruhat space, invoking Tauberian Theorems for Beurling algebras as found in the book of H. Reiter [39]. However, we will go for the most general setting, namely Banach spaces of ultra-distributions over LCA groups in a subsequent paper. In order to keep the paper readable we have avoided this outmost level of generality, mentioning once more that this is still a very far-reaching extension of the results in [35]. A list of examples of such Banach spaces is given in [27]. 2. Translation and modulation invariant spaces Throughout this paper we will work with the following standard assumptions, similar to the setting chosen in [9] or [27]: Definition 1. A Banach space (B, k ·k ) is called a minimal tempered standard space (abbreviated as MINTSTA, or equivalently a minimal TMIB in the sense of [8], [27]), if the following conditions are valid: (1) We assume the following chain of continuous embeddings: d ′ d S(R ) ֒→ (B, k · k ) ֒→ S (R ); (1) (2) S(R ) is dense in (B, k · k ) (minimality); B 3 (3) (B, k · k ) is translation invariant, and for some s ∈ N and C > 0 one has B 1 1 1 d kT fk ≤ C hxi kfk ∀x ∈ R , f ∈ B. (2) x B 1 B (4) (B, k · k ) is modulation invariant, and for some s ∈ N and C > 0 one has B 2 2 2 d kM fk ≤ C hyi kfk ∀y ∈ R , f ∈ B. (3) y B 2 B Here we use the Japanese bracket symbol hxi respectively hyi for the function v (z) = 2 s/2 d (1 + |z| ) ,z ∈ R , which is also known as Beurling weight of polynomial type, because it satisfies for s ≥ 0 the submultiplicativity property v (x + y) ≤ v (x)v (y), x, y ∈ R . (4) s s s 1 1 d For any such (polynomial) weight v the corresponding weighted L -space L (R ) is a 1 d Banach algebra with respect to convolution, continuously embedded into L (R ), k · k (since v (x) ≥ 1) and having bounded approximate units (obtained by L -norm preserv- ing compression, so-called Dirac sequences). Whenever we use generic, submultiplicative Beurling weights (not necessarily of poly- nomial type) we will make use of the standard notation w. The corresponding weighted 1 1 L -spaces (L (R ), k · k 1 ) are Banach algebras with respect to convolution (we use w L (R ) the symbol f ∗ g), called Beurling algebras. The natural norm to be used is (cf. [38]) 1 d kfk 1 = kfk := kf · wk 1, f ∈ L (R ). 1,w L (R ) L w For the formulation of our arguments the terminology of the theory of Banach modules will be convenient (see [4,16,40]): Definition 2. A Banach space (B, k · k ) is called a Banach module over a Banach algebra (A, k ·k ) if there is a (usually natural) embedding of (A, k ·k ) into the op- A A erator algebra over (B, k · k ), written as (a, b) 7→ a • b, such that this bilinear (and associative) mapping satisfies ka • bk ≤ kak kbk , a ∈ A, b ∈ B. (5) B A B If, in addition, (B, k ·k ) ֒→ (A, k · k ) and the module operation is just the internal B A multiplication of the algebra (A, k · k ), we call (B, k · k ) a Banach ideal. A B A Banach module is called essential if A •B generates a dense subspace of (B, k · k ). For our applications the Banach algebras (A, k · k ) have bounded approximate units, i.e. there are bounded sequences or nets (e ) of elements in (A, k · k ) such that α α∈I A lim e • a = a, a ∈ A. α→∞ In such a case the Cohen-Hewitt Factorization Theorem can be applied and gives B = A • B = {a • b | a ∈ A, b ∈ B}. We only consider Beurling algebras as Banach convolution algebras (in this case we write f∗g for the abstract multiplication f•g) acting on a MINTSTA via convolution (we will speak of Banach convolution modules) or Banach algebras inside of C (R ), k · k 0 ∞ acting on (B, k · k ) via pointwise multiplication (we write f · g, or simply fg). Essential Banach ideals in the Banach convolution algebra L (R ), k · k are exactly the Segal algebras in the sense of H. Reiter ( [38]) (also called normed ideals in [6]), see [11]. Further references to abstract Segal algebras are given in papers of J.T. Burnham [5], see also [12]. 4 HANS G. FEICHTINGER AND ANUPAM GUMBER The density of S(R ) in (B, k ·k ) and the conditions (2) and (3) imply a double module structure for such Banach spaces: Proposition 1. Any MINTSTA (B, k ·k ) has a double module structure: (1) (B, k · k ) is an essential Banach convolution module over the Beurling algebra L : kg ∗ fk ≤ kgk 1 kfk , g ∈ L , f ∈ B, (6) B B L v s 1 and for any bounded, approximate unit (e ) in (L (R ), k ·k 1 ) one has: α α∈I w L lim ke ∗ f − fk = 0, ∀f ∈ B. (7) α B α→∞ (2) (B, k · k ) is an essential Banach module with respect to pointwise multiplication over the Fourier-Beurling algebra A := FL , with the corresponding norm estimate. 2 v Correspondingly bounded approximate units for pointwise multiplication act accordingly. (3) The Wiener amalgam space (W (A ,ℓ ), k ·k ) with local component A s s 2 v W (A ,ℓ ) 2 s s 1 2 s and global component ℓ is continuously and densely embedded into (B, k · k ). The statement in this proposition only summarize results which may be considered as folklore. Integrated action appears in a similar form in [4], [16] or [9], for example. For the last (minimality) statement see [14], or more explicitly [17, Proposition 6]. Also recall that the Wiener amalgam space (W (A ,ℓ ), k ·k 1 ) is the subspace of 2 v W (A ,ℓ ) s s 1 2 s continuous functions on R which belong locally to the Banach algebra A , which is supposed to contain D(R ). These spaces can be characterized with the help of smooth d d BUPUs (bounded partitions of unity) in D(R ), i.e.ψ ∈ D(R ), with T ψ ≡ 1, d k k∈Z as follows: kfk 1 := kf · T ψk v (k) < ∞. (8) k A s W (A ,ℓ ) s 1 v 2 2 s k∈Z Since this fact was partially motivating our approach and because we think that its statement may be interesting for the reader we have included it here. However, we will not make use of the third statement and thus we do not go into technical details here. The following lemma is inspired by the investigations in [12]: Lemma 1. Let (B, k · k ) ⊂ S (R ) be a translation invariant Banach space with kT fk ≤ w(x)kfk , ∀f ∈ B, x ∈ R , x B B for some submultiplicative function w on R . Then (B , k ·k ), the vector space B = L ∩ B is a dense, essential Banach 1,w B 1,w 1,w w 1 d ideal inside the Banach convolution algebra (L (R ), k · k ) with respect to the norm kfk = kfk 1 + kfk , f ∈ B . (9) B B 1,w 1,w L Thus it is a Banach space with respect to the norm (9) and L ∗ B ⊂ B with 1,w 1,w kg ∗ fk ≤ kgk kfk , g ∈ L , f ∈ B , (10) B B 1,w 1,w L 1,w and that for any bounded, approximate unit (e ) in (L (R ), k ·k 1): α α∈I w L lim ke ∗ f − fk = 0, ∀f ∈ B , (11) α B 1,w 1,w α→∞ and consequently (by the Cohen-Hewitt Factorization Theorem): L ∗ B = B . (12) 1,w 1,w w 5 d d If w is a Beurling weight of polynomial growth, then S(R ) is dense in B (R ), hence 1,w d d D(R ) = S ∩ C (R ) is a dense subspace of (B , k · k ). c 1,w B 1,w Proof. The facts collected in the above lemma are essentially based on more detailed considerations published in [12]. The first step is to verify that B is a dense subspace 1,w 1 d of L (R ). For this purpose it is enough to note that compactly supported elements are dense in any Beurling algebra, i.e. for given ε > 0 one finds ϕ ∈ C (R ) with kf − ϕk 1 < ε/4. (13) d d By smoothing ϕ ∈ C (R ) with a sufficiently small supported test function ψ ∈ D(R ) one has kϕ − ψ ∗ ϕk 1 < ε/4. (14) d d Observing that ψ ∗ ϕ ∈ D(R ) ⊂ S(R ) ⊂ B we note that ψ ∗ ϕ ∈ B and satisfies 1,w kf − ψ ∗ ϕk < ε/2. (15) Since both (L (R ), k ·k ) and (B, k · k ) are translation invariant and have contin- w L uous translation the same is true for (B , k ·k ). 1,w B 1,w The remaining consequences are just stated for easier reference but are standard re- sults. The last step is a consequence of the Cohen-Hewitt Factorization Theorem ( [34], Chap.32). Next let us recall the important Beurling-Domar condition, which ensures the ex- istence of band-limited elements (i.e. functions with a compactly supported Fourier transform) in general Beurling algebras. According to [38] (and referring to the im- portant paper by Y. Domar, [10]) a Beurling weight w satisfies the Beurling-Domar non-quasianalyticity condition if one has w(nx) (BD) < ∞ ∀x ∈ R . (16) n≥1 It is an easy exercise to check that any polynomial weight satisfies the (BD)-condition. One of the advantages of increasing, radial symmetric weights, such as v for s ≥ 0 is the fact that one can create easily bounded approximate units simply by applying to an 1 1 arbitrary g ∈ S(R ) ⊂ L with bg(0) = 1 the L -norm preserving compression operator −d St g(x) = ρ g(x/ρ), ρ → 0. (17) The next result is just a reminder concerning Fourier-Beurling algebras, i.e. pointwise Banach algebras obtained as (FL (R ), k · k 1 ), with the norm kfk 1 = kfk 1 . The w FL FL L w w w statements of the following lemma are essentially restatements of facts found in [38]. Lemma 2. Let w be a weight function satisfying the (BD)-condition. Then 1 d i) the Beurling algebra (L (R ), k · k ) has bounded approximate units consisting of band-limited elements. 1 d ii) the Banach algebra (FL (R ), k ·k ) is a Wiener algebra in the sense of H. Reiter w FL ( [38]), meaning that it is a regular Banach algebra of continuous functions, which allows (among others) to separate compact sets from open neighborhoods (see Chap.2.4 of [38] resp. [39]). In particular, the compactly supported elements are dense. iii) for weight functions of polynomial growth one has in addition: d d d S(R ) ֒→ (L (R ), k ·k 1 ) and for any g ∈ S(R ) with g(x)dx = 1 one has w L kSt g ∗ f − fk d → 0, for ρ → 0. L (R ) w 6 HANS G. FEICHTINGER AND ANUPAM GUMBER The third claim is essentially Lemma 1 of [27], see also Corollary 1 of [9], see also [39], Proposition 1.6.14. Lemma 3. For any MINTSTA (B, k · k ) the band-limited elements form a dense subspace of (B, k · k ). The same is true for (B , k · k ), which is in fact also B 1,w B 1,w a MINTSTA itself. d d Proof. Since S(R ) is dense in L (R ) for the (polynomial) weights appearing in Propo- sition 1 the (BD)-condition is clearly satisfied. Hence there are (even bounded) approx- imate units in (L (R ), k ·k 1 ) which are band-limited (i.e. compactly supported on the w L Fourier transform side), we write (e ) . α α∈I Since e ∗ f approximates f ∈ B according to (11) and supp(F(e ∗ f)) ⊂ supp(eb ) α α we find that the band-limited elements are dense in (B, k ·k ). For the proof of the main result we will make use of the following key observations already explained in detail in [27], using so-called BUPUs, i.e. (bounded) uniform par- titions of unity of size |Ψ| = δ > 0, i.e. of countable collections of continuous functions ψ , i ∈ I, with 0 ≤ ψ (x), supp(ψ ) ⊂ B (x ) and ψ (x) ≡ 1. i i i δ i i i∈I For simplicity we only consider the regular case, i.e. BUPUs which are obtained as translates of a single function: Definition 3. A (countable) family of translates Ψ = (T ψ) , where ψ is a compactly λ λ∈Λ d d d supported function (i.e. ψ ∈ C (R )), and Λ = A(Z ) a lattice in R (for some non- singular d × d-matrix A) is called a regular BUPU (or more precisely a Λ-regular BUPU, or a Λ-invariant BUPU) if ψ(x − λ) ≡ 1. (18) λ∈Λ We will write diam(Ψ) ≤ γ if supp(ψ) ⊂ B (0) for some γ→0. We will be interested in the case of “finer and finer” BUPUs, i.e. the case diam(Ψ) → 0. Sometimes we will simply write |Ψ| instead of diam(Ψ). The use of fine partitions of unity is also well established in the context of usual distribution theory, see e.g. [42]. The following results are required in the sequel, we refer [27] for details of the proof. The method can even be used to introduce convolution of measures (see [22]) and goes back to the discretization introduced in [19]. Proposition 2. There exists C > 0 such that for any BUPU Ψ = (ψ ) with |Ψ| ≤ 1 i i∈I δ ≤ 1 the mapping f 7→ D f, given by D f = c δ with c = f(x)ψ (x)dx, (19) Ψ i x i i i∈I satisfies 1 d |c |w(x ) ≤ C kfk , f ∈ L (R ). (20) i i 1 i∈I Moreover, given g ∈ L and ε > 0 there exists δ ∈ (0, 1] such that |Ψ| ≤ δ implies kg ∗ f − g ∗ D fk < ε. (21) w 7 Proposition 3. Since any MINTSTA (B, k · k ) is an essential Banach module over 1 1 d d some Beurling algebra (L (R ), k · k ) one has for any h ∈ L (R ): Given ε > 0 there w w exists δ > 0 such that |Ψ| ≤ δ implies: kg ∗ h − g ∗ D hk ≤ εkhk 1 . (22) Ψ B Remark 1. It is important to note (for the proof of our main theorem) that the con- vergence is uniform for bounded subsets of L (R ), because it depends only on the continuous translation property in (B, k · k ), and thus on the quality of g ∈ B. 3. Preparing the Ground Preparing for the main result of this note we start by recalling the characterization of compact subsets in spaces with a double module structure as described in [16]. We will rephrase the result given there in a form which is more suitable for the current setting. It just makes use of the fact that approximate units can always be chosen from a dense subset of the Banach algebra acting on (B, k ·k ) (by convolution resp. pointwise multiplication): Theorem 1. A closed and bounded subset M of a MINTSTA is compact in (B, k · k ) if and only it is tight and equicontinuous, which means, that for any ε > 0 there exist d d a band-limited function g ∈ S(R ) and a compactly supported function h ∈ S(R ) such that f 7→ g ∗ f and f 7→ h · f are bounded operators on (B, k · k ) and satisfy kh · f − fk ≤ ε, ∀f ∈ M, (23) and kg ∗ f − fk ≤ ε, ∀f ∈ M. (24) Remark 2. The assumptions boil down to choose appropriate elements from a Dirac sequence (g ) , e.g. to choose g as a suitable compression of a band-limited function n n≥1 g with gb (0) = 1 and supp(gb ) compact. Correspondingly one can choose for pointwise 0 0 0 multiplication from a sequence of (inverse) Fourier transforms of another Dirac sequence, −1 i.e. h := F (g ), but now with compact support on the time side. n n Note that approximate units can be chosen from any dense subspace of (L (R ), k · k 1). w L The most useful examples are band-limited Dirac sequences and compactly supported pointwise approximate units (which help to localize functions). For the proof of our main result we will also need the following useful lemma: Lemma 4. Given a double Banach module (B, k · k ), over a Beurling algebra L (R ) with respect to convolution and over FL (R ) under pointwise multiplication. Assume that M is a bounded and tight subset of (B, k ·k ) and S a bounded, tight subset of (L (R ), k · k 1). Then the set S ∗ M is a bounded and tight subset of (B, k ·k ). w L Proof. Without loss of generality sup kgk 1 ≤ 1 and sup kfk ≤ 1. The g∈S L (R ) f∈M estimate kg ∗ fk ≤ kgk · kfk ≤ 1 shows that S ∗ M is bounded in (B, k · k ). B L B B 1 d Since (B, k · k ) is a Banach module over the Fourier-Beurling algebra FL (R ) (for some weight of polynomial growth) we may assume that there is a compactly supported (pointwise) approximation to the identity (k ) , with kk k ≤ C < ∞ (usually α α∈I α v FL 1 1 d d d C = 1). Since L (R ) contains S(R ) it is clear that FL (R ) also contains compactly v v supported functions h ∈ S(R ) which are plateau-like, i.e. which satisfy h(x) ≡ 1 on a 8 HANS G. FEICHTINGER AND ANUPAM GUMBER given compact set Q. Thanks to [1] we may combine these two properties and observe that there is a bounded approximate unit (k ) in FL (R ) with kk k d ≤ C for all α α v FL (R ) α, and with the extra property that for any compact set Q ⊂ R one finds some index α such that k (x) ≡ 1 on Q for all α  α . 0 α 0 Given now ε > 0, the tightness assumptions allow to find k , k ∈ C (R ) with 1 2 c kk · g − gk 1 ≤ ε/(2 · C ), g ∈ S, 1 v and kk · f − fk ≤ ε/2, f ∈ M. 2 B Combining these estimates we find that k(k · g) ∗ (k · f) − g ∗ fk ≤ k(k · g − g) ∗ (k · f)k + kg ∗ (k · f − f)k . (25) 1 2 B 1 2 B 2 B The first term can be estimated as ≤ kk · g − gk 1 kk · fk ≤ (ε/(2 · C ))kk k 1 kfk ≤ ε/2, (26) 1 2 B v 2 B L FL w v and the second term in a similar way. Combining these estimates we find that k(k · g) ∗ (k · f) − g ∗ fk ≤ ε, g ∈ S, f ∈ M. (27) 1 2 B Now it is obvious that the elements in B of the form {k · g) ∗ (k · f), g ∈ S, f ∈ M} 1 2 have common compact support inside the compact set Q = supp(k ) + supp(k ). As 1 2 1 d explained above we can find now some k ∈ FL (R ), with kk k 1 = kk k 1 ≤ C , and k (x) ≡ 1 on Q. 3 3 v 3 FL (R ) L v v Since (B, k · k ) is a pointwise Banach module over FL (R ) we also have 1 d kk · hk ≤ kkk d khk , k ∈ FL (R ), h ∈ B. (28) B B FL (R ) v Multiplying the terms in estimate (27) by k (the first one is unchanged!), we obtain k(k · g) ∗ (k · f) − k · (g ∗ f)k ≤ kk k 1 · k(k · g) ∗ (k · f) − g ∗ fk ≤ C ε. (29) 1 2 3 B 3 1 2 B v Hence we get the final estimate by combining estimates (27) and (29): kk · (g ∗ f) − g ∗ fk ≤ (1 + C ) ε, g ∈ S, f ∈ M. (30) 3 B v Another estimate which we will need, but which might be useful as a separate result elsewhere, is formulated in the following lemma. In the course of the proof of our main result we will also make use of the following observation: Lemma 5. If (B, k · k ) ֒→ S (R ) is a translation invariant Banach space with kT fk ≤ w(x)kfk , ∀f ∈ B. x B B d d Then for any pair of functions g ∈ S(R ) and k ∈ C (R ) the product-convolution 3 c operator f 7→ k · (g ∗ f) defines a bounded operator from (B, k · k ) into L (R ). 3 B w 9 Proof. By assumption any g ∈ B ⊂ S (R ) defines a bounded linear functional on (B, k · k ), which (at least for f ∈ S(R ) ⊂ B) allows to interpret the convolution for any f ∈ B in a pointwise sense: g ∗ f(x) = f(z + x)g (−z)dz = σ (T f), (31) 3 3 3 −x X X where σ means the tempered distribution induced by g ∈ B (using g (x) := g(−x)). By the continuity of both sides we can thus use the identity g ∗ f(x) = σ (T f), f ∈ B, x ∈ R . (32) 3 3 −x Since translation is continuous, this implies that g ∗ f is a continuous function (of polynomial growth). As a pointwise estimate we have ′ ′ |g ∗ f(x)| ≤ kg k kT fk ≤ kg k |kT |k kfk . (33) 3 3 B −x B 3 B −x B B Since K := supp(k) is a compact set, the weight function is bounded on −K, or sup w(−x) = C < ∞ x∈K which implies for any x ∈ supp(k) the pointwise estimate |k(x)||g ∗ f(x)| ≤ w(−x)kg k ′ kfk ≤ C kg k ′ kfk . (34) 3 3 B k 3 B B B This in turn provides us with the required estimate: k|k| · |g ∗ f|k 1 = |k(x)||g ∗ f(x)|w(x)dx ≤ [C kkk 1 kg k ′ ]kfk . (35) 3 3 k 3 B L L B w w For the proof of the main result we will make use of the following key observations already explained in detail in [27], using so-called BUPUs, i.e. (bounded) uniform par- titions of unity of size |Ψ| = δ > 0, i.e. of countable collections of continuous functions ψ , i ∈ I, with 0 ≤ ψ (x), supp(ψ ) ⊂ B (x ) and ψ (x) ≡ 1. i i i δ i i i∈I The following technical lemma will be useful for our considerations. It requires the notion of well-spread sets, playing a big role for the use of BUPUs for the characterization of Wiener amalgam space (see [15]) or in coorbit theory (see [26]). Definition 4. A discrete family X = (x ) is relatively separated if for some (and thus i i∈I for any) r > 0 the number of points from X is uniformly bounded, i.e. if sup #{i ∈ I | x ∈ B (x)} ≤ C < ∞. i r r x∈R Lemma 6. For any family (x ) which is δ/3 dense, there exists a subfamily (x ) j j∈J i i∈I which is well-spread and δ-dense. Moreover, there exists corresponding BUPUs (in the sense of [15]) (ψ ) of size δ, with supp(ψ ) ⊆ B (x ), i ∈ I. i i∈I i δ i Proof. The generic approach to this task is to find a maximal subfamily I ⊂ J such that one has a pavement of size δ/3 in R , i.e. such that the balls B (x ) are pairwise δ/3 i disjoint for i ∈ I ⊂ J. The maximality implies that for any j ∈ J \ I the corresponding ball B (x ) has nontrivial intersection with one of the balls centered at x , for some δ/3 j i i ∈ I. As the original family (running through the index set J) covers all of R it is an immediate consequence of the triangle inequality that the family B (x ), i ∈ I covers 2δ/3 all of R , and the same is true for (B (x )) . δ i i∈I 10 HANS G. FEICHTINGER AND ANUPAM GUMBER In order to estimate the number of points x , i ∈ I which are inside of B (x) we just i r have to observe that x ∈ B (x) implies that B (x ) ⊂ B (x). The disjointness of i r δ/3 i r+δ the sets constituting the pavement and the uniform volume estimate for balls of radius r +δ (independent from x) then provides the required counting estimate, uniformly with respect to x. In order to create a BUPU of size δ with supp(ψ ) ⊂ B (x ) we proceed as follows: i δ i First we observe that the selected family of balls has finite overlap. Moreover, starting from some function ϕ ∈ C (R ) with ϕ(z) = 1 on B (0) and supp(ϕ) ⊆ B (0), we set c 2δ/3 δ P P Φ = T ϕ and put ψ ≡ T ϕ/Φ. This implies ψ (x) ≡ 1 and x i x i i∈I i i i∈I supp(ψ ) ⊆ supp(T ϕ) = x + supp(ϕ) ⊂ B (x ). i x i δ i Remark 3. For the Euclidian set there is an alternative method to select a well-separated set from a given δ/3-dense family (x ) . Starting from a partition of R with cubes j j∈J of size α > 0 (small enough), centered at the lattice αZ , one can pick one point within each such cube. We leave the details to the interested reader. 4. The Main Result Theorem 2. Given a relatively compact set M in any MINTSTA (B, k · k ) and some d d g ∈ S(R ) with bg (y) 6= 0 for all y ∈ R , we can show the following: 0 0 For any given ε > 0 there exists some δ > 0 such that for any δ-dense set (x ) one i i∈I can pick a finite subset F ⊂ I and construct a finite rank operator T with range in the linear span of S(g ) := {T g , i ∈ F} with 0 x 0 kT (f) − fk ≤ ε, ∀f ∈ M. (36) Remark 4. We will give the proof for compact sets. In fact, since all the estimates allow the transition from M to the closure M of the set M in (B, k · k ) (and obviously the validity for M implies the validity for M) this implies the general case. Proof. The proof requires a couple of steps. Let us fix ε > 0. (1) First of all one has to check that S(g ) is a subset of B. In fact, we have g ∈ 0 0 d d S(R ) ⊂ B ∩L (R ) ⊂ B, and all the involved spaces are translation invariant. Thus any finite rank operator with range in a finite-dimensional subspace of the linear span of S(g ) will be bounded on (B, k · k ) . 0 B (2) For the given ε > 0 we choose first (according to (24) in Thm. 1) some band- limited function g ∈ S(R ) ⊂ B such that 1,w kf − g ∗ fk < ε/4, ∀f ∈ M. (37) (3) Invoking now the Tauberian condition and the smoothness of bg we observe that d d d for such a band-limited g ∈ S(R ) ⊂ B (R ) ⊂ L (R ) with spec(g) := 1,w supp(bg) = Q (some compact set) we can find another band-limited function h ∈ S(R ) with compact spectrum Q = supp(h ), such that g = g ∗ h (or 1 2 1 1 h (s) = 1 on Q ). Since bg (y) 6= 0 for y ∈ Q it follows that 1/bg (y) is a smooth 1 1 0 2 0 function as well, and consequently the pointwise product h (y)/bg (y) defines 1 0 We cannot expect that there is a uniform bound on the operators constructed below! 11 a compactly supported and smooth function in S(R ), whose inverse Fourier transform can be called g . Thus we have bg (y) · bg (y) ≡ 1 on Q , or 1 1 0 1 g = g ∗ g ∗ g = g ∗ g ∗ g in S(R ). 1 0 0 1 This means that we can factorize f ∗ g through g , for any f ∈ B, as g ∗ f = f ∗ g = f ∗ (g ∗ g ) ∗ g = g ∗ (g ∗ g ∗ f), (38) 1 0 0 1 in the sense of distributions, with g ∗ g ∗ f ∈ L (R ) ∗ B ⊂ B, in view of Lemma 1. (4) Next we observe that the tightness of the set M ⊂ B implies that also g ∗g ∗M is a tight set in (B, k · k ) (by choosing S = {g ∗ g} in Lemma 4). Thus we can B 1 find some compactly supported function k ∈ C (R ) such that kk · (g ∗ g ∗ f) − (g ∗ g ∗ f)k ≤ ε/4kg k 1 , ∀f ∈ M. (39) 1 1 B 0 We also note that by Lemma 5 (with g = g ∗ g ) 3 1 S (M) := {h := k · (g ∗ g ∗ f), f ∈ M} (40) k 1 is a bounded subset of L (R ), so that Proposition 3 can be invoked. Using Lemma 6 we can apply the discretization operator for any BUPU (and we can use the given well-spread family (x ) for its centers, as long as the set is i i∈I δ−dense, with δ > 0 only depending on g ∈ S(R ) ⊂ B) and will get: kg ∗ h − g ∗ D hk ≤ ε/4, ∀h ∈ S (M). (41) 0 0 Ψ B k Recalling identity (38) and the estimate (37) we note that kf − g ∗ (g ∗ g ∗ f)k = kf − g ∗ fk ≤ ε/4, f ∈ M, (42) 0 1 B B and furthermore, using the estimate (39), one obtains for f ∈ M: kg ∗ h − g ∗ (g ∗ g ∗ f)k ≤ kg k kh − g ∗ g ∗ fk ≤ ε/4. (43) 0 0 1 B 0 1 B Applying the triangular equation to the last two estimates, i.e. using kf − g ∗ hk ≤ kf − g ∗ (g ∗ g ∗ f)k + kg ∗ (g ∗ g ∗ f − h)k (44) 0 B 0 1 B 0 1 B we arrive at the estimate kf − g ∗ hk ≤ ε/4 + ε/4 = ε/2, f ∈ M. (45) 0 B So finally combining the estimates (45) and (41) we arrive at our final estimate: kf − g ∗ D hk ≤ kf − g ∗ hk + kg ∗ h − g ∗ D hk ≤ ε, f ∈ M. (46) 0 Ψ B 0 B 0 0 Ψ B Writing the approximation operator T in explicit form, we have Tf = g ∗ D h = g ∗ D (k · (g ∗ g ∗ f)) = c T g , (47) 0 Ψ 0 Ψ 1 i x 0 i∈F with the coefficients (c ) depending in a linear way on the function f ∈ B via i i∈F Z Z c := h(x)ψ (x)dx = (k · (g ∗ g ∗ f))(x)ψ (x)dx, i ∈ F. (48) i i 1 i d d R R Here, due to the fact that the centers are well-spread and that supp(k) is compact the following set F is a finite: F := {i ∈ I | ψ · k 6= 0}. (49) 12 HANS G. FEICHTINGER AND ANUPAM GUMBER Remark 5. A careful analysis of the proof given above shows that the assumption g ∈ S(R ) is convenient in the given setting, but in fact it is only required to assume g ∈ d d B (R ) = B ∩ L (R ). For such a case the pointwise inversion argument based on 1,w smoothness used in step (3) of the above has to replaced by Wiener’s inversion Theorem for Beurling algebras which has been already mentioned earlier (see [39], Chap.1.6.5). Since in this case the possible choices of g depend on B (and thus is not universal with respect to the family of Banach spaces under consideration) we have chosen to present our results in the form of Theorem 2. Remark 6. The proof of the main theorem demonstrates a couple of facts: While ideally one would like to replace the given functions f ∈ M by functions which are both band- limited (hence smooth) and compactly supported, the impossibility of getting this done at the same time requires to carry out the corresponding modifications of the given functions f ∈ M stepwise, in order to come up with the final approximation, obtained via a discrete convolution. In order to make things work one has to make use of the fact that convolution typ- ically improves local properties (such as continuity or smoothness), while preserving global decay conditions. In a similar way pointwise multiplication by smooth, com- pactly supported functions will preserve the local properties, while improving the global ones (e.g. by creating a compactly supported function). The structure of the proof would not really simplify if we had restricted our attention to the unweighted case. Even for simple special cases such as B = L (R ) the key steps would be the same. A crucial property used is the uniformity of the corresponding approximation arguments over (relatively) compact sets M in (B, k · k ). 5. Applications Although we have indicated that there is room for further generalization we have to point out that the list of examples to which the above result applies is endless. The first author has tried to collect the construction principles widely (or occasionally) used in Fourier Analysis in a systematic way. It appears to be harder to identify space which are generally important, containing S(R ) as a dense subspace, but not satisfying the assumptions formulated for this paper. In order to mention at least some of the most important cases which are playing a major role in the literature let us mention: (1) Weighted L -spaces, for 1 ≤ p < ∞ with polynomial weights (see [13], [30]); (2) Wiener amalgam spaces of the form W (L , ℓ ), for 1 ≤ p, q < ∞ (see [33]), but also weighted Wiener amalgam spaces, as treated in [31]; s d s d s s (3) The Besov-Triebel-Lizorkin spaces (B (R ), k ·k ) resp. (F (R ), k ·k ), B F p,q p,q p,q p,q for 1 ≤ p, q < ∞ (see [37] or the books of H. Triebel [41]); (4) Modulation spaces in general (see [20]), but specifically the classical modulation s d spaces M (R ), k · k , also for the case 1 ≤ p, q < ∞. See [3] and [7]; p,q p,q (5) More general decomposition spaces, as discussed in the literature, based on the approach given in [25]; (6) Tauberian Theorems have been derived directly in the context of functions of bounded means in [18], where they have been a crucial step in order to extend Wiener’s Third Tauberian Theorem to the full range 1 < p ≤ ∞, and for R instead of just p = 2 and d = 1 (see [43,44]); 13 (7) The atomic space H(q, p, α) appearing in [23] as well as many other atomic spaces, including the exotic case discussed in [28], are MINTSTAs; (8) General construction principles for a further variety of function spaces as well as a long list of references are provided in [21]. The fact that the Schwartz space can be characterized as the intersection of modulation spaces (see [29], Proposition 11.3.1) implies that the arguments used for the proof of our main result also provide a constructive way to verify that the set of translates of g generates a dense subspace of the Schwartz space S(R ). d d Corollary 1. Assume that g ∈ S(R ) satisfies bg(y) 6= 0 for all y ∈ R . Then for any finite set M ⊂ S(R ) there is a sequence of finite rank operators T with range in the linear span of S(g ) := {T g , i ∈ F}, such that T (f) → f in S(R ) for n → ∞, for 0 x 0 n each f ∈ M. In particular, this linear span is dense in S(R ). Proof. We only have to observe that the family of norms for the spaces M (R ), for s ≥ 0 define a topology which is equivalent to the usual topology on S(R ) (see also [32]). Also, S(R ) is not only the intersection of all these spaces, but one can also replace them by the closure of S(R ) in each of these space (for each fixed s ≥ 0). Since such spaces are typical examples for the setting of our main result we can guarantee convergence of a suitable sequence of finite rank operators for each of these norms, even uniformly with respect to compact subsets of such a space. The extension of the statement to relatively compact subsets of S(R ) is just a matter of technical arguments which are beyond the focus of our paper. Also, it is true that one can find easier, non-constructive arguments for the last statement, making use of standard Fourier transform methods for the space of tempered distributions. 6. Acknowledgement This work was initiated during the visit of the second author to the NuHAG work- group at the University of Vienna, supported by an Ernst Mach Grant-Worldwide Fel- lowship (ICM-2019-13302) from the OeAD-GmbH, Austria. The second author is very grateful to professor Hans G. Feichtinger for his guidance, for the kind hospitality and arranging excellent research facilities at the University of Vienna. She was supported by NBHM-DAE (0204/19/2019R&D-II/10472), India and the Austrian Science Fund (FWF) project TAI6. The authors are grateful to the reviewer of an earlier version of the manuscript for a very critical reading of this manuscript which finally led to significant improvement of the main result and a widened scope. One of the significant changes undertaken now is the modification from the approximation of individual functions to compact sets M in (B, k · k ), using finite rank operators. References [1] G. F. Bachelis, W. A. Parker, and K. A. Ross. Local units in L (G). Proc. Amer. Math. Soc., 31:312–313, 1972. [2] A. Beurling: Sur les inte´grales de Fourier absolutment convergentes et leur application a ` une transformation fonctionelle, IX. Congr. Math. Scand., pp.345-366, Helsingfors, 1938. [3] A. Benyi and K. A. Okoudjou. Modulation Spaces. Springer, Birkhäuser, New York, 2020. [4] W. Braun and H. G. Feichtinger. Banach spaces of distributions having two module structures. J. Funct. Anal., 51:174–212, 1983. 14 HANS G. FEICHTINGER AND ANUPAM GUMBER [5] J. T. Burnham. Closed ideals in subalgebras of Banach algebras I. Proc. Amer. Math. Soc., 32:551– 555, 1972. [6] J. Cigler. Normed ideals in L (G). Nederl. Akad. Wetensch. Proc. Ser. A, Ser. A(74):273–282, 1969. [7] E. Cordero and L. Rodino. Time-frequency Analysis of Operators. De Gruyter Studies in Mathe- matics, Berlin, 2020. [8] P. Dimovski, S. Pilipovic, B. Prangoski, and J. Vindas. Translation–modulation invariant Banach spaces of ultradistributions. J. Fourier Anal. Appl., 25(3):819–841, 2019. [9] P. Dimovski, S. Pilipovic, and J. Vindas. New distribution spaces associated to translation-invariant Banach spaces. Monatsh. Math., 177(4):495–515, 2015. [10] Y. Domar. Harmonic analysis based on certain commutative Banach algebras. Acta Math., 96:1–66, [11] D. H. Dunford. Segal algebras and left normed ideals. J. Lond. Math. Soc. (2), 8:514–516, 1974. [12] H. G. Feichtinger. Results on Banach ideals and spaces of multipliers. Math. Scand., 41(2):315–324, [13] H. G. Feichtinger. Gewichtsfunktionen auf lokalkompakten Gruppen. Sitzber. d. österr. Akad. Wiss., 188:451–471, 1979. [14] H. G. Feichtinger. A characterization of minimal homogeneous Banach spaces. Proc. Amer. Math. Soc., 81(1):55–61, 1981. [15] H. G. Feichtinger. Banach convolution algebras of Wiener type. In Proc. Conf. on Functions, Series, Operators, Budapest 1980, p.509–524, Vol.35, North-Holland, Colloq. Math. Soc. Janos Bolyai, [Amsterdam] 1983. [16] H. G. Feichtinger. Compactness in translation invariant Banach spaces of distributions and compact multipliers. J. Math. Anal. Appl., 102:289–327, 1984. [17] H. G. Feichtinger. Minimal Banach spaces and atomic representations. Publ. Math. Debrecen, 34(3- 4):231–240, 1987. [18] H. G. Feichtinger. An elementary approach to Wiener’s third Tauberian theorem for the Euclidean n-space. In Symposia Math., Vol. XXIX of Analisa Armonica, pages 267–301, Cortona, 1988. H. G. Feichtinger and K. Gröchenig. Banach spaces related to integrable group representations and their atomic decompositions, I. J. Funct. Anal., 86(2):307–340, 1989 [19] H. G. Feichtinger. Discretization of convolution and reconstruction of band-limited functions from irregular sampling. pages 333–345. Academic Press, Boston, MA, 1991. [20] H. G. Feichtinger. Modulation spaces on locally compact Abelian groups. In R. Radha, M. Krishna, and S. Thangavelu, editors, Proc. Internat. Conf. on Wavelets and Applications, pages 1–56, Chen- nai, January 2002, 2003. New Delhi Allied Publishers. [21] H. G. Feichtinger. Choosing Function Spaces in Harmonic Analysis, volume 4 of The Febru- ary Fourier Talks at the Norbert Wiener Center, Appl. Numer. Harmon. Anal., pages 65–101. Birkhäuser/Springer, Cham, 2015. [22] H. G. Feichtinger. A novel mathematical approach to the theory of translation invariant linear systems. In Peter J. Bentley and I. Pesenson, editors, Novel Methods in Harmonic Analysis with Applications to Numerical Analysis and Data Processing, pages 483–516. Birkhäuser, Cham, 2017. [23] H. G. Feichtinger and J. Feuto. Predual of Fofana´s spaces. Mathematics (MDPI), 7(6):528, 2019. [24] H. G. Feichtinger. Homogeneous Banach spaces are Banach convolution modules over M (G). MDPI, Mathematics. Vol. 10 No.3, 2022, 1-22. [25] H. G. Feichtinger and P. Gröbner. Banach spaces of distributions defined by decomposition meth- ods. I. Math. Nachr., 123:97–120, 1985. [26] H. G. Feichtinger and K. Gröchenig. Banach spaces related to integrable group representations and their atomic decompositions, I. J. Funct. Anal., 86(2):307–340, 1989 [27] H. G. Feichtinger and A. Gumber. Completeness of shifted dilates in invariant Banach spaces of tempered distributions. Proc. Amer. Math. Soc., 149(12):5195–5210., 08 2021. [28] H. G. Feichtinger and G. Zimmermann. An exotic minimal Banach space of functions. Math. Nachr., 239-240:42–61, 2002. [29] K. Gröchenig. Foundations of Time-Frequency Analysis. Appl. Numer. Harmon. Anal. Birkhäuser, Boston, MA, 2001. 15 [30] K. Gröchenig. Weight functions in time-frequency analysis. In L. Rodino and et al., editors, Pseu- dodifferential Operators: Partial Differential Equations and Time-Frequency Analysis, volume 52 of Fields Inst. Commun., pages 343–366. Amer. Math. Soc., Providence, RI, 2007. [31] K. Gröchenig, C. Heil, and K. Okoudjou. Gabor analysis in weighted amalgam spaces. Sampl. Theory Signal Image Process., 1(3):225–259, 2002. [32] K. Gröchenig and G. Zimmermann. Spaces of test functions via the STFT. J. Funct. Spaces Appl., 2(1):25–53, 2004. [33] C. Heil. An introduction to weighted Wiener amalgams. In M. Krishna, R. Radha, and S. Thangavelu, editors, Wavelets and their Applications (Chennai, January 2002), pages 183–216. Allied Publishers, New Delhi, 2003. [34] E. Hewitt and K. A. Ross. Abstract Harmonic Analysis. Vol. II: Structure and Analysis for Compact Groups. Analysis on Locally Compact Abelian Groups. Springer, Berlin, Heidelberg, New York, [35] V. Katsnelson. On the completeness of Gaussians in a Hilbert functional space. Complex Anal. Oper. Theory, 13(3):637–658, 2019. [36] J. Korevaar. Tauberian Theory. A Century of Developments. Springer, Berlin, 2004. [37] J. Peetre. New Thoughts on Besov Spaces. Duke University Mathematics Series, No. 1, Duke University, 1976. vi+305 pp. [38] H. Reiter. Classical Harmonic Analysis and Locally Compact Groups. Clarendon Press, Oxford, [39] H. Reiter and J. D. Stegeman. Classical Harmonic Analysis and Locally Compact Groups. 2nd ed. Clarendon Press, Oxford, 2000. [40] M. A. Rieffel. Multipliers and tensor products of L -spaces of locally compact groups. Studia Math., 33:71–82, 1969. [41] H. Triebel. Theory of Function Spaces. Vol. 78 of Monographs in Mathematics. Birkhäuser, Basel, [42] W. Walter. Einführung in die Theorie der Distributionen. B.I. Taschenbuch, 1974. [43] N. Wiener. Tauberian theorems. Ann. of Math. (2), 33(1):1–100, 1932. [44] N. Wiener. The Fourier Integral and Certain of its Applications. Cambridge University Press, Cambridge, 1933.

Journal

Mathematics – arXiv (Cornell University)

Published: Dec 21, 2020

There are no references for this article.