Abstract
We give characterizations for homogeneous and inhomogeneous Besov-Lizorkin-Triebel spaces (H. Triebel 1983, 1992, and 2006) in terms of continuous local means for the full range of parameters. In particular, we prove characterizations in terms of Lusin functions (tent spaces) and spaces involving the Peetre maximal function to apply the classical coorbit space theory according to Feichtinger and Gröchenig (H. G Feichtinger and K. Gröchenig 1988, 1989, and 1991). This results in atomic decompositions and wavelet bases for homogeneous spaces. In particular we give sufficient conditions for suitable wavelets in terms of moment, decay and smoothness conditions.
1. Introduction
This paper deals with Besov-Lizorkin-Triebel spaces and on the Euclidean space and their interpretation as coorbits. For this purpose we prove a number of characterizations for homogeneous and inhomogeneous spaces for the full range of parameters. Classically introduced in Triebel’s monograph [1, Section 2.3.1] by means of a dyadic decomposition of unity, we use more general building blocks and provide in addition continuous characterizations in terms of Lusin and maximal functions. Equivalent (quasi-) normings of this kind were first given by Triebel in [2]. His proofs use in an essential way the fact that the function under consideration belongs to the respective space. Therefore, the obtained equivalent (quasi-)norms could not yet be considered as a definition or characterization of the space. Later on, Triebel was able to solve this problem partly in his monograph [3, Sections 2.4.2, 2.5.1] by restricting to the Banach space case. Afterwards, Rychkov [4] completed the picture by simplifying a method due to Bui et al. [5, 6]. However, [4] contains some problematic arguments. One aim of the present paper is to provide a complete and self-contained reference for general characterizations of discrete and continuous type by avoiding these arguments. We use a variant of a method from Rychkov’s subsequent papers [7, 8], which is originally due to Strömberg and Torchinsky developed in their monograph [9, Chapter 5].
In a different language, the results can be interpreted in terms of the continuous wavelet transform (see Appendix A.1) belonging to a function space on the -group . Spaces on considered here are mixed norm spaces like tent spaces [10] and Peetre-type spaces. The latter are indeed new and received their name from the fact that quantities related to the classical Peetre maximal function are involved. This leads to the main intention of the paper. We use the established characterizations for the homogeneous spaces in order to embed them in the abstract framework of coorbit space theory originally due to Feichtinger and Gröchenig [11–15] in the 1980s. This connection was already observed by them in [11, 14, 15]. They worked with Triebel’s equivalent continuous normings from [2] and the results on tent spaces, which were introduced more or less at the same time by Coifman et al. [10] to interpret Lizorkin-Triebel spaces as coorbits. On the one hand the present paper gives a late justification, and on the other hand, we observe that Peetre-type spaces on are a much better choice for this issue. Their two-sided translation invariance is immediate and much more transparent as we will show in Section 4.1. Furthermore, generalizations in different directions are now possible. In a forthcoming paper, we will show how to apply a generalized coorbit space theory due to Fornasier and Rauhut [16] in order to recover generalized inhomogeneous spaces based on the characterizations given here. Moreover, the extension of the results to quasi-Banach spaces using a theory developed by Rauhut in [17, 18] is possible.
Once we have interpreted classical homogeneous Besov-Lizorkin-Triebel spaces as certain coorbits, we are able to benefit from the achievements of the abstract theory in [11–15]. The main feature is a powerful discretization machinery which leads in an abstract universal way to atomic decompositions. We are now able to apply this method, which results in atomic decompositions and wavelet bases for homogeneous spaces. More precisely, sufficient conditions in terms of vanishing moments, decay, and smoothness properties of the respective wavelet function are given. Compact support of the used atoms does not play any role here. In particular, we specify the order of a suitable orthonormal spline wavelet system depending on the parameters of the respective space.
The paper is organized as follows. After giving some preliminaries, we start in Section 2 with the definition of classical Besov-Lizorkin-Triebel spaces and their characterization via continuous local means. In Section 3, we give a brief introduction to abstract coorbit space theory, which is applied in Section 4 on the -group . We recover the homogeneous spaces from Section 2 as coorbits of certain spaces on . Finally, several discretization results in terms of atomic decompositions and wavelet isomorphisms are established. The underlying decay result of the continuous wavelet transform and some basic facts about orthonormal wavelet bases are shifted to the appendix.
1.1. Notation
Let us first introduce some basic notation. The symbols and denote the real numbers, complex numbers, natural numbers, natural numbers including 0, and the integers. The dimension of the underlying Euclidean space for function spaces is denoted by , its elements will be denoted by , and is used for the Euclidean norm. We will use for the -norm of a vector . For a multi-index and , we write
and define the differential operators and by
If is a (quasi-)Banach space and , we use or simply for its (quasi-)norm. Operator norms of linear mappings are denoted by or simply by . As usual, the letter denotes a constant, which may vary from line to line but is always independent of , unless the opposite is explicitly stated. We also use the notation if there exists a constant (independent of the context-dependent relevant parameters) such that . If and , we will write .
2. Function Spaces on
2.1. Vector-Valued Lebesgue Spaces
The space , , denotes the collection of complex-valued functions (equivalence classes) with finite (quasi-)norm with the usual modification if . The Hilbert space plays a separate role, see for instance, Section 3. Having a sequence of complex-valued functions on , where is a countable index set, we put where we modify appropriately in the case .
2.2. Maximal Functions
For a locally integrable function , we denote by the Hardy-Littlewood maximal function defined by where the supremum is taken over all cubes centered at with sides parallel to the coordinate axes. The following theorem is due to Fefferman and Stein [19].
Theorem 2.1. For and , there exists a constant , such that holds for all sequences of locally Lebesgue-integrable functions on .
Let us recall the classical Peetre maximal operator, introduced in [20]. Given a sequence of function , a tempered distribution and a positive number , we define the system of maximal functions
Since makes sense pointwise (see the following paragraph), everything is well-defined. However, the value “’’ is also possible for . This was the reason for the problematic arguments in [4] mentioned in the introduction. We will often use dilates of a fixed function , where might be given by a separate function. Also continuous dilates are needed. Let the operator , , generate the -normalized dilates of a function given by . If , we omit the super index and use additionally . We define by We will refer to this construction later on. It turned out that this maximal function construction can be used to interpret classical smoothness spaces as coorbits of certain function spaces on the group.
2.3. Tempered Distributions and Fourier Transform
As usual, is used for the locally convex space of rapidly decreasing infinitely differentiable functions on , where the topology is generated by the family of seminorms The space is called the set of all tempered distributions on and defined as the topological dual of . Indeed, a linear mapping belongs to if and only if there exist numbers and a constant such thatfor all . is equipped with the -topology.
The convolution of two integrable functions is defined via the integral If , then (2.9) still belongs to . The convolution can be generalized to via , makes sense pointwise, and is a -function in of at most polynomial growth.
As usual, the Fourier transform defined on both and ) is given by , where , and The mapping is a bijection (in both cases) and its inverse is given by .
In order to deal with homogeneous spaces, we need to define the subset . Following [1, Chapter 5], we put The set denotes the topological dual of . If , the restriction of to clearly belongs to . Furthermore, if is an arbitrary polynomial in , we have for every . Conversely, if , then can be extended from to , that is, to an element of . However, this fact is not trivial and makes use of the Hahn-Banach theorem in locally convex topological vector spaces. We may identify with the factor space , since two different extensions differ by a polynomial.
2.4. Besov-Lizorkin-Triebel Spaces
Let us first introduce the concept of a dyadic decomposition of unity, see also [1, Section 2.3.1].
Definition 2.2. (a) Let be the collection of all systems with the following properties:(i),
(ii)(iii) for every .
(b) Moreover, the system denotes the collection of all systems with the following properties: (i),
(ii)(iii) for every .
Remark 2.3. If we take satisfying and define , then the system belongs to and the system with belongs to .
Now we are ready for the definition of the Besov and Lizorkin-Triebel spaces. See for instance [1, Section 2.3.1] for details and further properties.
Definition 2.4. Let and , . Let further and . (i) If , then(ii)If , then In case , we replace the sum by a supremum in both cases.
The homogeneous counterparts are defined as follows. For details, further properties and how to deal with ocurring technicalities we refer to [1, Chapter 5].
Definition 2.5. Let and . Let further and . (i) If , then (ii) If , then In case , we replace the sum by a supremum in both cases.
2.5. Inhomogeneous Spaces
Essential for the sequel are functions satisfying for some , and We will call the functions and kernels for local means. Recall that , , and .
Theorem 2.6. Let , , , and . Let further be given by (2.17) and (2.18). Then the space can be characterized by where with the usual modification in case . Furthermore, all quantities , , are equivalent (quasi-)norms in .
For the inhomogeneous Besov spaces, we have the following characterizations.
Theorem 2.7. Let , , , and . Let further be given by (2.17) and (2.18). Then the space can be characterized by where with the usual modification if . Furthermore, all quantities , , are equivalent quasinorms in .
2.6. Homogeneous Spaces
The homogeneous spaces can be characterized in a similar way. Here we do not have a separate function anymore. We put .
Theorem 2.8. Let , , , , and . Let further be given by (2.17) and (2.18). Then the space can be characterized by where with the usual modification if . Furthermore, all quantities , , are equivalent quasinorms in .
For the Besov spaces, we obtain the following characterizations.
Theorem 2.9. Let , , and . Let further be given by (2.17) and (2.18). Then the space can be characterized by where with the usual modification if . Furthermore, all quantities , , are equivalent quasinorms in .
Remark 2.10. Observe, that the (quasi-)norms and are characterizations via Lusin functions, see [3, Section 2.4.5] and [1, Section 2.12.1] and the references given there. We will return to it later when defining tent spaces, see Definition 4.1 and (4.3).
2.7. Particular Kernels
For more details concerning particular choices for the kernels and , we refer mainly to Triebel [3, Section 3.3].
The most prominent nontrivial examples (besides the one given in Remark 2.3) of functions and satisfying (2.17) and (2.18) are the classical local means. The name comes from the compact support of , which is admitted in the following statement.
Corollary 2.11. Let as in Theorem 2.6. Let further such that and define where such that . Then (2.20), (2.21), (2.22), (2.23), and (2.24) characterize .
Corollary 2.12. Let as in Theorem 2.6. Let further be a radial function such that is non-increasing and atisfying for , where . Define Then (2.23), and (2.24) characterize .
2.8. Proofs
We give the proof for Theorem 2.6 in full detail. The proof of Theorem 2.8 is more or less the same, even a bit simpler. We refer to the next paragraph for the necessary modifications. The proofs in the Besov scale are analogous, so we omit them completely. The strategy is a modification of Rychkov [4], where he proved the discrete case, that is, that (2.23) and (2.24) characterize . However, Hansen [21, Remark 3.2.4] recently observed that the arguments used for proving (23) and (23′) in [4] are somehow problematic. The finiteness of the Peetre maximal function is assumed. But this is not true in general under the stated assumptions. Consider for instance in dimension the functions and, if is given, the tempered distribution with . Then is infinite in every point . The mentioned incorrect argument was inherited to some subsequent papers dealing with similar topics, for instance [22–24]. Anyhow, the stated results hold true. An alternative strategy, in order to avoid the problematic Lemma 3 in [4], is given in Rychkov [7] as well as [8]. A variant of this method, which is originally due to Strömberg/Torchinsky [9, Chapter V], is also used in our proof below.
We start with a convolution-type inequality which will be often needed below. The following lemma is essentially [4, Lemma 2].
Lemma 2.13. Let and, . Let be a sequence of nonnegative measurable functions on and put Then there is some constant , such that hold true.
Proof of Theorem 2.6. The strategy of the proof is as follows. First, we prove the equivalence of the “continuous’’ characterizations (2.20) and (2.21). The next step is to build the bridge between the “continuous’’ (2.21) and the “discrete’’ characterization (2.23) and to change from the system to a system . The equivalence of (2.23) and (2.24) goes parallel to (2.20) and (2.21). This was the original proof by Rychkov in [4]. So, up to this point, we have that (2.20), (2.21), (2.23), and (2.24) generate the same space for every chosen functions satisfying (2.17) and (2.18), namely, . Indeed, Definition 2.4 can be seen as a special case of (2.24).Step 1. We are going to prove the following inequalities:
for every .Substep 1.1. Put and if . Because of (2.17), it is possible to find functions with , and such that
We need a bit more. Fix a . Clearly, we have also
for all . With and , we obtain then
The dilation gives then
for every , where , . Obviously, we can rewrite (2.42) to obtain
for all . Let us now choose . This gives the final version of the convolution identity
For we define
Clearly, we have
Plugging this into (2.44), we end up with the pointwise representation
for all .Substep 1.2. Let us prove the following important inequality first. For every and every , we have
where is independent of , , and .
The representation (2.47) will be the starting point to prove (2.48). Namely, we have for
where
Elementary properties of the convolution yield (compare with (2.84))
where
Lemma A.3 yields
which we put into (2.49) to obtain
We prefer the strategy used by Rychkov in [7, Theorem 3.2] and [8, Lemma 2.9], which is a variant of the Strömberg/Torchinsky technique introduced in [9, Chapter V].
Let us continue by replacing by in (2.54) and multiply on both sides with . Then we can estimate
Next, we apply the elementary inequalities
where . We define the maximal function
and estimate
Observe that we can estimate the term in the right-hand side of (2.60) by . Hence, if we obtain from (2.60)
where is independent of , , , and . We claim that there exists such that for all . Indeed, we use that , that is, there is an and such that
Assuming , we estimate as follows:
where we again used the inequality (compare with (2.57))
and have set
Hence gives us only two different functions from . This implies the boundedness of for if . Therefore, (2.61) together with (2.63) yield (2.48) with , independent of , , and , for all . But this is not yet what we want. Observe that the right-hand side of (2.48) decreases as increases. Therefore, we have (2.48) for all but with depending on . This is still not yet what we want. Now we argue as follows: starting with (2.48) where and arbitrary, we apply the same arguments as used from (2.55) to (2.56), switch to the maximal function (2.58) with the help of (2.57), and finish with (2.61) instead of (2.59) but with a constant that depends on . But this does not matter now. It is Important, that a finite right-hand side of (2.61) (which is the same as rhs(2.48)) implies .
We assume rhs (2.48) . Otherwise, there is nothing to prove in (2.48). Returning to (2.60) and having in mind that now , we end up with (2.61) for all and independent of . Finally, from (2.61) we obtain (2.48) and are done in case .
Of course, (2.48) also holds true for with a much simpler proof. In that case, we use (2.54) with instead of and apply Hölder’s inequality with respect to first for integrals and then for sums.Substep 1.3. The inequality (2.48) implies immediately a stronger version of itself. Using (2.57) again, we obtain for and
We proved that the inequality (2.66) holds for all where is independent of . If we choose , we can apply the norm
on both sides and use Minkowski’s inequality for integrals, which yields
If then we have
and we observe
Now we use the majorant property of the Hardy-Littlewood maximal operator (see Section 2.2 and [25, Chapter 2]) and continue estimating
An index shift on the right-hand side gives
Choose now , and put
We obtain for
Now we apply Lemma 2.13 in , which yields
The Fefferman-Stein inequality (see Section 2.2 /Theorem 2.1, having in mind that ) gives
Hence, we obtain
This proves . Since the reverse inequality is trivial, this finishes Step 1.Step 2. Let be functions satisfying (2.18). In fact, the condition (2.17) for is not necessary for what follows.Substep 2.1. We are going to prove
for all We decompose similar as in Step 1. Exploiting the property (2.17) for the system , we find -functions such that and and
for and fix. Putting and , we obtain the decomposition
for every . We put and see
Now, we estimate as follows:
where
We first observe that for and functions , the following identity holds true for
This yields in case (with a minor change if or )
where we used Lemma A.3 for the last estimate.
If , we change the roles of and to obtain again with Lemma A.3
where can be chosen arbitrary large since satisfies for every according to its construction. Let us further use the estimate
Consequently,
Plugging this into (2.81) and choosing and , we obtain the inequality
for all and all . Suppose first that . Then we take on both sides , which gives
Applying Lemma 2.13 yields
which gives the desired result.
In case , we argue as follows. The quantity is not longer a norm, but a norm. This gives
Notice that the right-hand side is nothing more than a convolution of the sequences
Now we apply the -norm to both sides and get for all
We take both sides to the power and apply the -norm. This gives (2.78).Substep 2.2. With similar arguments and obvious modifications of Substep 2.1, we obtain for all Step 3. Choosing in Step 1 and omitting the integration over , we see immediately
Step 4. What remains is to show that (2.22) is equivalent to the rest.Substep 4.1. Let us prove
We return to (2.66) in Substep 1.3. If , formula (2.66) implies by shift in the integral the following:
Indeed, we have
where the last estimate follows from the fact that in the sum. Instead of the integral (see Step 3), we take now on both sides of (2.98) the norm
The integration over does not influence the left-hand side. Instead of (2.68), we obtain
We continue with analogous arguments as after (2.68) and end up with (2.97).Substep 4.2. We prove . Indeed, it is easy to see, that we have for all
and we are done. The proof is complete.
Proof of Theorem 2.8. The proof of Theorem 2.8 works almost analogously to the previous one. It is even a bit simpler, since we do not have to deal with a separate function , which causes some technical difficulties. However, there are still some technical obstacles which have to be discussed. Although we are in the homogeneous world, we use the same decomposition as used in (2.43), even with the inhomogeneity . In the definition of in (2.45), we have to add if and . The consequence is (2.47) for every , where . Hence, the inhomogeneity is buried in . This yields (2.66) for all , where still runs trough . We need this for the argument in Substep 4.1. In contrast to the previous decomposition, we use (2.80) now for , where , , and . This works since we assume . The rest is clear.
Proof of Corollaries 2.11 and 2.12. Corollary 2.11 is more or less clear. We know that gives as factor on the Fourier side. This gives (2.18) immediately, and together with (2.31) we have (2.17) for small enough.
In the case of Corollary 2.12, the situation is a bit delicate. Clearly, Condition (2.18) holds true. But the problem here is, that (2.17) may be violated for all . However, we argue as follows. In Step 2 in the proof above we have seen, that we do not need (2.17) for the system . Hence, we can estimate (2.20), (2.21), (2.22), (2.23), and (2.24) from above by a different characterization of . For the remaining estimates we apply Theorem 2.6 with the system , where
and is chosen in such a way that (2.17) is satisfied. What remains is a simple consequence of the fact that
and the triangle inequality. This type of argument is due to Triebel [3, Section 3.3.3].
3. Classical Coorbit Space Theory
In [11–13, 15], a general theory of Banach spaces related to integrable group representations was developed. The ingredients are a locally compact group with identity , a Hilbert space , and an irreducible, unitary, and continuous representation on , which is at least integrable. Then one can associate a Banach space to any solid, translation-invariant Banach space of functions on the group . The main achievement of this abstract theory is a powerful discretization machinery for , that is, a universal approach to atomic decompositions and Banach frames. It allows to transfer certain questions concerning Banach space or interpolation theory from the function space to the associated sequence space level, see [12, 13, 26]. In connection with smoothness spaces of Besov-Lizorkin-Triebel type, the philosophy of this approach is to measure smoothness of a function in decay properties of the continuous wavelet transform , see the appendix for details. Indeed, homogeneous Besov and Lizorkin-Triebel-type spaces turn out to be coorbits of properly chosen spaces on the -group .
The are many more examples according to this abstract theory. One main class of examples refers to the Heisenberg group and the short-time Fourier transform and leads to the well-known modulation spaces as coorbits of weighted spaces, see [11, Section 7.1] and also [27].
3.1. Function Spaces on
Integration on will always be with respect to the left Haar measure . The Haar module on is denoted by . We define further and , , the left and right translation operators. A Banach function space on the group is supposed to have the following properties:(i) is continuously embedded in , (ii) is invariant under left and right translation and , which represent continuous operators on ,(iii) is solid, that is, and a.e. imply and .
The continuous weight is called submultiplicative if for all . Further, another weight is called -moderate if , . The space of functions on the group is defined via the norm where (modification if ). If , then we simply write . These spaces provide left and right translation invariance, which is easy to show. Later, in Section 4.1, we are going to introduce certain mixed norm spaces where the translation invariance is not longer automatic.
3.2. Sequence Spaces
Definition 3.1. Let be some discrete set of points in and a relatively compact neighborhood of . (i) is called -dense if .(ii) is called relatively separated if for all compact sets there exists a constant such that (iii) is called -well-spread (or simply well-spread) if it is both relatively separated and -dense for some .
Definition 3.2. For a family which is -well-spread with respect to a relatively compact neighborhood of we define the sequence space and associated to as
Remark 3.3. For a well-spread family , the spaces and do not depend on the choice of , that is, different sets define equivalent norms on and , respectively. For more facts on these sequence spaces, confer [12].
3.3. Coorbit Spaces
The starting point is a Hilbert space and an integrable, irreducible, unitary and continuous representation of on . Then the general voice transform is a function on the group given by where the brackets denote the inner product in .
The continuous wavelet transform (appendix) is a voice transform for the situation and the -group.
Definition 3.4. For a weight on , we define the space of admissible vectors by If and , we define further Finally, we denote by the canonical antidual of , that is, the space of conjugate linear functionals on .
We see immediately that . The voice transform (3.4) can now be extended to by the usual dual pairing. The space can be considered as the space of test functions, whereas the space serves as reservoir, that is, distributions.
Let now be a space on such that (i)–(iii) in Section 3.1 hold true. We define further where the operator norms are considered from to .
Definition 3.5. Let be a space on satisfying (i)–(iii) and be given by (3.7). Let further . We define the space , called coorbit space of , through
The following result is of crucial importance. See [14] for details.
Lemma 3.6 (Correspondence principle). Let for a fixed analyzing vector with proper normalization. Then a function is of the form for some if and only if In other words, is isometrically isomorphic to the closed subspace of .
The following basic properties are proved for instance, in [28, Theorem 4.5.13].
Theorem 3.7.
(i) The space is independent of the analyzing vector .
(ii) The definition of the space is independent of the reservoir in the following sense. Assume that is a nontrivial locally convex vector space, which is invariant under . Assume further that there exists a nonzero vector for which the reproducing formula
holds for all . Then we have
3.4. Discretizations
This section collects briefly the basic facts concerning atomic (frame) decompositions in coorbit spaces. We are interested in atoms of type , where represents a discrete subset, whereas denotes a fixed admissible analyzing vector.
Definition 3.8. A family in a Banach space is called an atomic decomposition for if there exists a family of bounded linear functionals (not necessary unique) and a Banach sequence space such that (a) for all and there exists a constant with(b)For all , we have in some suitable topology. (c) If , then and there exists a constant such that
Definition 3.9. A family is called a Banach frame for if there exists a Banach sequence space and a linear bounded reconstruction operator such that(a) for all and there exist constants such that(b).
Remark 3.10. This setting differs slightly from the understanding of Triebel in [3, 29].
The following abstract result for the atomic decomposition in is due to Feichtinger and Gröchenig (see [12, Theorem 6.1]).
Theorem 3.11. Let be a function space on the group which satisfies the hypotheses (i)–(iii). Let further where the operator norms are taken from to, and such that Then there exists a neighborhood of and constants such that for every -well-spread discrete set , the following is true.(i) (Analysis) Every has a representation with coefficients depending linearly on and satisfying the estimate (ii) (Synthesis) Conversely, for any sequence , the element is in and one has In both cases, convergence takes place in the norm of if the finite sequences are norm dense in , and in the -sense of otherwise.
Remark 3.12. According to Definition 3.8, the family represents an atomic decomposition for .
Theorem 3.13. Under the same conditions as in Theorem 3.11, the system represents a Banach frame for , that is,
The following powerful result goes back to Gröchenig [14] and was generalized by Rauhut [17].
Theorem 3.14. Suppose that the functions , , satisfy (3.17). Let be a well-spread set such that for all . Then expansion (3.22) extends to all . Moreover, belongs to if and only if belongs to for each . The convergence is considered in if the finite sequences are dense in . In general, we have convergence.
Proof. The proof of this result relies on the fact that there exists an atomic decomposition by Theorem 3.11 with a certain satisfying (3.17) and a corresponding sequence of points . This has to be combined with Theorem 3.13 and Theorem 3.11/(ii) and we are done. See [14] for the details.
4. Coorbit Spaces on the -Group
Let the -dimensional -group. Its multiplication is given by
The left Haar measure on is given by , the Haar module is . Giving a function on , the left and right translation and are given by
4.1. Peetre-Type Spaces on
The present paragraph is devoted to the definition of certain mixed norm spaces on the group. Such spaces were considered in various papers, see [10, 11, 14, 15]. Especially tent spaces have some nice applications in harmonic analysis. In particular, they were used by many authors in order to apply coorbit space theory to Lizorkin-Triebel spaces.
Here we use a different approach and define a new scale of function spaces on the group . We call them Peetre-type spaces since the Peetre maximal function is involved in the definition. It turned out that they are very easy to handle in connection with translation invariance. Compared with the tent space approach, they are the more natural choice for considering Lizorkin-Triebel spaces as coorbit spaces. Additionally they seem to be the suitable choice for inhomogeneous spaces and more general situations like weighted spaces, which will be studied in a subsequent contribution to the subject.
Definition 4.1. Let , and . We define the spaces , , and on the group via the finiteness of the following (quasi-)norms:
using the usual modification in case .
Proposition 4.2. The spaces and , are left and right translation invariant. Precisely, we have
where is a constant depending on , , and , and
Proof. Step 1. The left and right translation invariance of and was shown in [28, Lemma. 4.7.10].Step 2. Let us consider . Clearly, we have for
Hence, we obtain
The right translation invariance is obtained by
Observe that
This yields
and consequently
Remark 4.3. Note that we did neither use the translation invariance of the Lebesgue measure nor any change of variable in order to prove the right translation invariance of . This gives room for generalizations, that is, replacing the space by some weighted Lebesgue space in the definition.
4.2. New Old Coorbit Spaces
We start with and the representation which is unitary continuous on . This representation is not irreducible. However, if we restrict to radial functions , then is dense in . Another possibility to overcome this obstacle is to extend the group by , which is somehow equivalent. See [11, 12] for details.
The voice transform in this special situation is represented by the so-called continuous wavelet transform , see Appendix A.1 in the appendix. Recall the abstract definition of the space and from Definition 3.4. The following lemma is proved for instance in [28, Lemma 4.7.11] and is also a consequence of our Lemma A.3 on the decay of the continuous wavelet transform. It states under which conditions on the weight the space is nontrivial.
Lemma 4.4. If the weight function satisfies the condition for some , then
This is a kind of minimal condition which we need in order to define coorbit spaces in a reasonable way. Instead of , one may use as reservoir and a radial as analyzing vector. Considering (3.7), we have to restrict to such function spaces on satisfying (i),(ii),(iii) in Section 3.1 where additionally (recall the definition of in (3.16))
(iv)
for some . The following theorem shows how the spaces of Besov-Lizorkin-Triebel type from Section 2 can be recovered as coorbit spaces.
Theorem 4.5.
(i) For , and we have ,
(ii) for , and we have
(iii) and if additionally , we obtain
Proof. Theorem 4.5 is a direct consequence of Proposition 4.2, Theorems 2.8, 2.9, and the abstract result in Theorem 3.7.
Remark 4.6. (a) The assertions (i) and (ii) are not new. They appear for instance in [11, 14, 15]. They rely on the characterizations given by Triebel in [2] and [3, Sections 2.4, 2.5], see in particular, [3, Section 2.4.5] for the variant in terms of tent spaces, which were invented in [10]. From the deep result in [10, Proposition 4], it follows that are translation invariant Banach function spaces on , which makes them feasible for coorbit space theory.
(b) Assertion (iii) is indeed new and makes the rather complicated tent spaces obsolete for this issue. We showed that is a much better choice since the right translation invariance is immediate and gives more transparent estimates for its norm. Once we are interested in reasonable conditions for atomic decompositions, this is getting important, see Section 4.5.
4.3. Sequence Spaces
In the following, we consider a compact neighborhood of the identity element in given by , where and . Furthermore, we consider the discrete set of points Then the family defines a partition of . Indeed,
where
Note that in this case the spaces and coincide. We will further use the notation
Definition 4.7. Let be a function space on satisfying Section 3/(i), (ii), (iii). We put where
Theorem 4.8. Let , and . Then
Proof. We prove the first statement. The proof for the second one is even simpler. Let
Discretizing the integral over by , we obtain
With , we observe
and estimate
In order to include also the situation , we use the following trick. Obviously, we can rewrite and estimate (4.28) with in the following way:
The next observation is the useful estimate
Indeed, the first estimate is obvious. Let us establish the second one
Note, that the functions
belong to with uniformly bounded norm where we need . Putting (4.31) and (4.30) into (4.29), we obtain
Now we are in a position to use the majorant property of the Hardy/Littlewood maximal operator (see Section 2.2 and [25, Chapter 2]), which states that a convolution of a function with an -function (having norm one) can be estimated from above by the Hardy/Littlewood maximal function of . We choose and apply Theorem 2.1 for the situation. This gives
and finishes the upper estimate. Both conditions, and , are compatible if is assumed at the beginning.
For the estimate from below, we go back to (4.26) and observe
which results in
A further use of (4.27) gives finally
The proof is complete.
4.4. Atomic Decompositions
The following theorem is a direct consequence of the abstract results in Theorems 3.11, and 3.13.
Theorem 4.9. Let , , and . Let further be a radial function. Then there exist numbers and such that for all and the family has the following properties.(i) forms a Banach frame for and , that is, we have a dual frame with and the norm equivalences as well as (ii) is an atomic decomposition, that is, for , we have a (not necessary unique) decomposition such that Conversely, if , then converges and belongs to and moreover, (analogously for ). Convergence is considered in the strong topology if the finite sequences are dense in and in the -topology otherwise.
Remark 4.10.
(i) Since the analyzing function or atom can be chosen arbitrarily, we allow more flexibility here than in the results given in Frazier/Jawerth [30] and Triebel [3, 29].
(ii) Instead of regular families of sampling points rather irregular families of points in are allowed as long as they are distributed sufficiently dense, see Theorem 3.11.
4.5. Wavelet Frames
In the sequel, we consider wavelet bases on in the sense of Lemma A.5 from Appendix A.2 in the appendices. We have given an orthonormal scaling function and the associated wavelet on and consider the tensor products , . Our aim is to specify, that is, give sufficient conditions to , , such that (A.19) represents an unconditional basis in and . We will apply the abstract Theorem 3.14.
In order to do so we need to have (3.17) for all functions . We will state certain smoothness, decay, and moment conditions to and , see Definition A.1 in the appendix, to ensure this. Let us fix the neighborhood of .
Proposition 4.11. Let , , and be an orthogonal scaling function with associated wavelet on . The function is supposed to satisfy and and is supposed to satisfy , , and . For the weight is given by If now then we have
Proof. With Lemma A.3, we obtain for the following estimates: And in addition Hence, for any , the tensor product structure gives (assume without restriction that ) The expression can be estimated similar Fubini’s theorem and a change of variable yields Finally it is easy to see that the latter is finite if the conditions in (4.44) are valid. This proves Proposition 4.11.
Theorem 4.12. Let , , and be an orthogonal scaling function with associated wavelet on . The function is supposed to satisfy and , and is supposed to satisfy , and . (a) If and then (A.19) is a Banach frame for in the sense of (3.22).(b) If and then (A.19) is a Banach frame for in the sense of (3.22).
Proof. Let us prove (a). First of all, we apply Theorem 4.5/(i). Afterwards, we use Proposition 4.2 in order to estimate the weight for . We obtain
Let us distinguish the cases, and . In the first case we can put , , and . Now we apply first Proposition 4.11. This gives the condition
In the second case we put , and . With Proposition 4.11, we obtain the condition
Finally (4.54), (4.55), and Theorem 3.14 yield (a).
Step 2. We prove (b). We apply Theorem 4.5/(iii) and afterwards Proposition 4.2 and obtain for
First, we consider the case . We can put , , and . Proposition 4.11 gives the condition
which can be rewritten to
since can be chosen arbitrarily greater than . This gives the upper bound in (b). Now we consider . We put , . This yields
and can be rewritten to
This yields the lower bound in (b) and we are done.
The following corollary is a direct consequence of Theorem 4.12 and the facts in Appendix A.2.
Corollary 4.13. Let and the spline wavelet system of order . Then (a) If and ,
then (A.19) is a Banach frame for in the sense of (3.22);
(b) If and
then (A.19) is a Banach frame for in the sense of (3.22).
Remark 4.14. The (optimal) smoothness conditions in [31] are slightly weaker than (a) in case . However, compared to the approach of Triebel [29, 32], we admit some more degree of freedom. The wavelet or atom does not have to be compactly supported. Additionally, in case , we do not need that where . Indeed, the conditions in (a) and (b) are slightly weaker.
Remark 4.15. More examples can be obtained by using compactly supported Daubechies’ wavelets of order or Meyer’s wavelets. Based on the underlying abstract result in Theorem 3.14 even biorthogonal wavelet systems which provide sufficiently high smoothness and vanishing moments are suitable for this issue.
Appendix
A. Wavelets
A.1. The Continuous Wavelet Transform
The vector is said to be the analyzing vector for a function The continuous wavelet transform is then defined through where the bracket denotes the inner product in . We call an admissible wavelet if
If this is the case, then the family represents a tight continuous frame in . In particular, this means that the above family is dense in . For a proof we refer to Theorem 1.5.1 in [28].
Let us now specify the conditions , , and , which we intend to impose on functions in order to obtain a good decay of the continuous wavelet transform .
Definition A.1. Let , , and fix the conditions , , and for a function . () For every there exists a constant such that
() We have vanishing moments
for all .() The function
belongs to for every multi-index .
Remark A.2. If a function satisfies for some then by well-known properties of the Fourier transform we have .
The following lemma provides a useful decay result for the continuous wavelet transform under certain smoothness, decay, and moment conditions, see also [4, 30, 33] for similar results in a different language. It represents a continuation of [4, Lemma 1] where one deals with -functions.
Lemma A.3. Let , , and . (i) Let satisfy , , and let satisfy , . Then for every there exists a constant such that the estimate holds true for and .(ii) Let satisfy , and . For every there exists a constant such that the estimate holds true for and.
Proof. Step 1. Let us prove (i). We follow the proof of Lemma 1 in [4]. This reference deals with -functions, which makes the situation much more easy. We argue as follows. Clearly,
Fix . Obviously, the convolution satisfies . By well-known properties of the Fourier transform, the derivative exists for every multi-index . For fixed , we estimate by using Leibniz’ formula
In the last step we used property . Assuming and exploiting , we obtain that the left-hand side of (A.9) belongs to and
We proceed as follows:
This estimate together with (A.8) and (A.10) yields (A.6).
Let us finally assume and return to (A.9). Clearly, the resulting inequality keeps valid if we replace the exponent by with . It is even possible to extend (A.9) to every by the following argument. Let . We have on the one hand
and on the other hand
where . Choosing such that , we obtain by a kind of interpolation argument
In particular, we obtain instead of (A.9)
We exploit property for and proceed analogously as above. This proves (A.6).
Step 2. The estimate in (ii) is an immediate consequence of (A.6) and the fact
This completes the proof.
Corollary A.4. Let belong to the Schwartz space . By Lemma A.3/(ii) for every there is a constant such that Additionally, we obtain for and such that
A.2. Orthonormal Wavelet Bases
The following Lemma is proved in Wojtaszczyk [34, Section 5.1].
Lemma A.5. Suppose we have a multiresolution analysis in with scaling functions and associated wavelets . Let . For let . Then the system is an orthonormal basis in .
Spline Wavelets
As a main example, we will consider the spline wavelet system. The normalized cardinal B-spline of order is given by
beginning with , the characteristic function of the interval . By
we obtain an orthonormal scaling function, which is again a spline of order . Finally, by
the generator of an orthonormal wavelet system is defined. For , it is easily checked that is the Haar wavelet. In general, these functions have the following properties:(i) restricted to intervals , , is a polynomial of degree at most .(ii) if .(iii) is uniformly Lipschitz continuous on if .(iv)The function satisfies a moment condition of order , that is,
In particular, satisfies , for and for .
Acknowledgments
The author would like to thank Holger Rauhut, Martin Schäfer, Benjamin Scharf, and Hans Triebel for valuable discussions, a critical reading of preliminary versions of this paper and for several hints how to improve it.