Abstract
In this work we extend the \(L^1\)-Björk-Sjölin theory of strongly singular convolution operators to arbitrary graded Lie groups. Our criteria are presented in terms of the oscillating Hörmander condition due to Björk and Sjölin of the kernel of the operator, and the decay of its group Fourier transform is measured in terms of the infinitesimal representation of an arbitrary Rockland operator. The historical result by Björk and Sjölin is re-obtained in the case of the Euclidean space.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The aim of this manuscript is to extend the theory of strongly singular integrals by Björk and Sjölin [1, 20] to arbitrary graded Lie groups. This family of Lie groups includes Heisenberg type groups, stratified groups, and are characterised between the family of nilpotent Lie groups by the existence of (Rockland operators) hypoelliptic left-invariant homogeneous partial differential operators in view of the Helffer and Nourrigat solution of the Rockland conjecture [11].
Oscillating singular integrals arise as generalisations of the oscillating Fourier multipliers. In the euclidean setting they are used in PDE to estimate in the family of Sobolev spaces the hyperbolic differential problems associated to the powers of elliptic operators, in particular of the fractional (positive) Laplacian \(\Delta _x^{\frac{\gamma }{2}},\) where \(0<\gamma <1.\)
In the Euclidean setting, oscillating Fourier multipliers are associated to symbols of the form
where \(\psi \) vanishes near the origin and is equal to one for \(|\xi |\) large. It was proved by Wainger [25] that K(x) is essentially equal to \(c_n|x|^{-n-\lambda }e^{ic_{n}'|x|^{a'}},\) where \( \lambda =\frac{n(a-\alpha )}{2(1-a)},\) and \( a'=\frac{a}{a-1}.\) From this one can deduce that
This gradient estimate shows that a kernel that satisfies (1.1) is outside of the theory of singular integrals due to Calderón and Zygmund [2]. Nevertheless, the boundedness of singular integrals defined by kernels as in (1.1) was extensively investigated in the classical works of Hardy [10], Hirschman [12] and Wainger [25] until the end-points estimates proved by [5, 6]. Further works on the subject in the setting of smooth manifolds and beyond can be found in Seeger [15,16,17], Seeger and Sogge [18] and for the setting of Fourier integral operators, we refer the reader to Seeger, Sogge and Stein [19] and Tao [23].
In [5, 6] Fefferman and Stein introduced a theory for oscillating Fourier multipliers which are convolution operators with singular kernels satisfying the condition
for some \(0\le \theta <1,\) and its Fourier transform has order \(-n\theta /2,\) that is
With \(\theta =0,\) Fefferman-Stein’s conditions agree with the one introduced by Hörmander [13] for the standard Calderón-Zygmund operators [2]. However, with \(0<\theta <1,\) the conditions above by Fefferman and Stein also consider the oscillating kernels as in (1.1).
The boundedness theory due to Fefferman and Stein can be summarised (by several reasons, including the real and complex interpolation theory of continuous linear operators on Lebesgue spaces) in the following theorem.
Theorem 1.1
(Fefferman and Stein [5, 6], 1970–1972) Assume that \(K\in L^1_{loc}({\mathbb {R}}^n{\setminus }\{0\})\) is a distribution with compact support satisfying the hypothesis \(\text {A}(\theta )\) and \(\text {B}(\theta )\) with \(0\le \theta <1.\) Then the convolution operator
admits an extension of weak (1,1) type. Moreover, T admits a bounded extension from the Hardy space \(H^1({\mathbb {R}}^n)\) into \(L^1({\mathbb {R}}^n).\)
On the other hand, answering a question by Björk in [1], Sjölin [20] developed the \(L^1\)-theory for the convolution operators \(T:f\mapsto f*K\) where the kernel K satisfies the two conditions \(\text {A}(\alpha )\) and \(\text {B}(\theta )\) given by
where \(0<b< 1,\) and
where \(0<\alpha<\theta <1.\) In the standard terminology of harmonic analysis, a convolution operator with kernel satisfying the conditions \( \text {A}(\theta )\) and \(\text {B}(\alpha )\) with \(0<\alpha<\theta <1\) is called a strongly singular integral. The result in Sjölin [20] states the boundedness of this family of operators in \(L^1({\mathbb {R}}^n)\) as follows. Here, \(\Delta _x=-\sum _{j=1}^n\partial _{x_j}^2\) is the positive Laplacian on \({\mathbb {R}}^n,\) and for any \(s\in {\mathbb {R}},\) \(L^1_{s}({\mathbb {R}}^n)\) is the Sobolev space obtained from the closure of \(C^{\infty }_0({\mathbb {R}}^n)\) by the norm \(\Vert f\Vert _{L^1_s}:=\Vert (1+\Delta _x)^{\frac{s}{2}}f\Vert _{L^1}.\)
Theorem 1.2
(Sjölin [20], 1976) Assume that \(K\in L^1_{loc}({\mathbb {R}}^n{\setminus }\{0\})\) is a distribution with compact support satisfying the hypothesis \(\text {A}(\theta )\) and \(\text {B}(\alpha )\) with \(0<\alpha< \theta <1.\) Then, \(T:H^1({\mathbb {R}}^n)\rightarrow L^1_{-\varkappa }({\mathbb {R}}^n)\) extends to a bounded operator provided that
or equivalently,
admits a bounded extension.
In the recent works [3, 4] the authors have generalised on graded Lie groups (with the Fourier transform criteria in terms of Rockland operators) the theory established by Fefferman and Stein in [5, 6]. The following extension of Theorem 1.1 has been obtained as part of the investigation done in [3, 4].
Theorem 1.3
([3, 4]) Consider G to be a graded Lie group, let \(|\cdot |\) be a homogeneous quasi-norm on G and let Q be its homogeneous dimension. Let \({\mathcal {R}}\) be a Rockland operator of homogeneous degree \(\nu >0.\) Assume that the kernel K of the convolution operator \(T:f\mapsto f*K,\) satisfies the estimate
and the kernel condition
Then \(T:H^1(G)\rightarrow L^1(G)\) extends to a bounded operator from the Hardy space \(H^1(G)\) into \(L^1(G)\). Moreover, \(T:L^1(G)\rightarrow L^{1,\infty }(G)\) admits an extension of weak (1,1) type.
In this work we are going to extend in our main Theorem 1.4 the conditions \(\text {A}(\theta )\) and \(\text {B}(\alpha )\) of (1.4) and (1.5) due to Björk and Sjölin to arbitrary graded Lie groups. To present the statement of the theorem we introduce some notations.
Here, for any graded Lie group G, and \(s\in {\mathbb {R}},\) \(L^1_{s}(G)\) is the closure of \(C^{\infty }_0(G)\) by the norm
where \({\mathcal {R}}\) is a positive Rockland operator of homogeneous degree \(v>0,\) and \(L^{1,\infty }_{s}(G)\) is the weak-\(L^{1}_{s}(G)\) Sobolev space defined by the semi-norm
The main result of this work is the following.
Theorem 1.4
Consider G to be a graded Lie group, let \(|\cdot |\) be a homogeneous quasi-norm on G and let Q be its homogeneous dimension. Let \({\mathcal {R}}\) be a Rockland operator of homogeneous degree \(\nu >0.\) Let \(K\in L^1_{\text {loc}}(G{\setminus } \{e\})\) be a distribution of compact support and let \(T:f\mapsto f*K,\) be the corresponding integral operator associated to K. Assume that for \(0<\alpha< \theta <1,\) K satisfies the Fourier transform estimate
and the kernel condition
where \(0<b< 1.\) Then \(T:H^1(G)\rightarrow L^1_{-\varkappa }(G)\) extends to a bounded operator provided that
or equivalently,
admits a bounded extension. Moreover, \(T:L^1(G)\rightarrow L^{1,\infty }_{-\varkappa }(G)\) extends to a bounded operator, or equivalently,
admits an extension of weak (1, 1) type.
All this work will be dedicated to prove this statement. In Sect. 2 we record the aspects of the Fourier analysis on graded Lie groups and the analysis of Rockland operators used in this work and finally, in Sect. 3 we prove Theorem 1.4.
2 Fourier analysis on graded groups
The notation and terminology of this paper on the analysis of homogeneous Lie groups are mostly taken from Folland and Stein [9]. For the analysis of Rockland operators we will follow [8, Chapter 4].
2.1 Homogeneous and graded Lie groups
Let G be a homogeneous Lie group. This means that G is a connected and simply connected Lie group whose Lie algebra \({\mathfrak {g}}\) is endowed with a family of dilations \(D_{r}^{{\mathfrak {g}}},\) \(r>0,\) which are automorphisms on \({\mathfrak {g}}\) satisfying the following two conditions:
-
For every \(r>0,\) \(D_{r}^{{\mathfrak {g}}}\) is a map of the form
$$\begin{aligned} D_{r}^{{\mathfrak {g}}}=\text {Exp}(\ln (r)A) \end{aligned}$$for some diagonalisable linear operator \(A\equiv \text {diag}[\nu _1,\cdots ,\nu _n]\) on \({\mathfrak {g}}.\)
-
\(\forall X,Y\in {\mathfrak {g}}, \) and \(r>0,\) \([D_{r}^{{\mathfrak {g}}}X, D_{r}^{{\mathfrak {g}}}Y]=D_{r}^{{\mathfrak {g}}}[X,Y].\)
We call the eigenvalues of A, \(\nu _1,\nu _2,\cdots ,\nu _n,\) the dilations weights or weights of G. The homogeneous dimension of a homogeneous Lie group G is given by
The dilations \(D_{r}^{{\mathfrak {g}}}\) of the Lie algebra \({\mathfrak {g}}\) induce a family of maps on G defined via,
where \(\exp _{G}:{\mathfrak {g}}\rightarrow G\) is the usual exponential mapping associated to the Lie group G. We refer to the family \(D_{r},\) \(r>0,\) as dilations on the group. If we write \(rx=D_{r}(x),\) \(x\in G,\) \(r>0,\) then a relation on the homogeneous structure of G and the Haar measure dx on G is given by
A Lie group is graded if its Lie algebra \({\mathfrak {g}}\) may be decomposed as the sum of subspaces \({\mathfrak {g}}={\mathfrak {g}}_{1}\oplus {\mathfrak {g}}_{2}\oplus \cdots \oplus {\mathfrak {g}}_{s}\) such that \([{\mathfrak {g}}_{i},{\mathfrak {g}}_{j} ]\subset {\mathfrak {g}}_{i+j},\) and \( {\mathfrak {g}}_{i+j}=\{0\}\) if \(i+j>s.\) Examples of such groups are the Heisenberg group \({\mathbb {H}}^n\) and more generally any stratified groups where the Lie algebra \( {\mathfrak {g}}\) is generated by \({\mathfrak {g}}_{1}\). Here, n is the topological dimension of G, \(n=n_{1}+\cdots +n_{s},\) where \(n_{k}=\text{ dim }{\mathfrak {g}}_{k}.\)
A Lie algebra admitting a family of dilations is nilpotent, and hence so is its associated connected, simply connected Lie group. The converse does not hold, i.e., not every nilpotent Lie group is homogeneous although they exhaust a large class, see [8] for details. Indeed, the main class of Lie groups under our consideration is that of graded Lie groups. A graded Lie group G is a homogeneous Lie group equipped with a family of weights \(\nu _j,\) all of them positive rational numbers. Let us observe that if \(\nu _{i}=\frac{a_i}{b_i}\) with \(a_i,b_i\) integer numbers, and b is the least common multiple of the \(b_i's,\) the family of dilations
have integer weights, \(\nu _{i}=\frac{a_i b}{b_i}. \) So, in this paper we always assume that the weights \(\nu _j,\) defining the family of dilations are non-negative integer numbers which allow us to assume that the homogeneous dimension Q is a non-negative integer number. This is a natural context for the study of Rockland operators (see Remark 4.1.4 of [8]).
2.2 Fourier analysis on nilpotent Lie groups
Let G be a simply connected nilpotent Lie group. Then the adjoint representation \(\text {ad}:{\mathfrak {g}}\rightarrow \text {End}({\mathfrak {g}})\) is nilpotent. Let us assume that \(\pi \) is a continuous, unitary and irreducible representation of G, this means that,
-
\(\pi \in \text {Hom}(G, \text {U}(H_{\pi })),\) for some separable Hilbert space \(H_\pi ,\) i.e. \(\pi (xy)=\pi (x)\pi (y)\) and for the adjoint of \(\pi (x),\) \(\pi (x)^*=\pi (x^{-1}),\) for every \(x,y\in G.\)
-
The map \((x,v)\mapsto \pi (x)v, \) from \(G\times H_\pi \) into \(H_\pi \) is continuous.
-
For every \(x\in G,\) and \(W_\pi \subset H_\pi ,\) if \(\pi (x)W_{\pi }\subset W_{\pi },\) then \(W_\pi =H_\pi \) or \(W_\pi =\emptyset .\)
Let \(\text {Rep}(G)\) be the set of unitary, continuous and irreducible representations of G. The relation,
for every \(x\in G,\) is an equivalence relation and the unitary dual of G, denoted by \({\widehat{G}}\) is defined via \( {\widehat{G}}:={\text {Rep}(G)}/{\sim }. \) Let us denote by \(d\pi \) the Plancherel measure on \({\widehat{G}}.\) The Fourier transform of \(f\in {\mathscr {S}}(G), \) (this means that \(f\circ \text {exp}_G\in {\mathscr {S}}({\mathfrak {g}})\), with \({\mathfrak {g}}\simeq {\mathbb {R}}^{\dim (G)}\)) at \(\pi \in {\widehat{G}},\) is defined by
If we identify one representation \(\pi \) with its equivalence class, \([\pi ]=\{\pi ':\pi \sim \pi '\}\), for every \(\pi \in {\widehat{G}}, \) the Kirillov trace character \(\Theta _\pi \) defined by
is a tempered distribution on \({\mathscr {S}}(G).\) In particular, the identity \( f(e_G)=\int \nolimits _{{\widehat{G}}}(\Theta _{\pi },f)d\pi , \) implies the Fourier inversion formula \(f={\mathscr {F}}_G^{-1}({\widehat{f}}),\) where
is the inverse Fourier transform. In this context, the Plancherel theorem takes the form \(\Vert f\Vert _{L^2(G)}=\Vert {\widehat{f}}\Vert _{L^2({\widehat{G}})}\), where
is the Hilbert space endowed with the norm: \(\Vert \sigma \Vert _{L^2({\widehat{G}})}=(\int _{{\widehat{G}}}\Vert \sigma (\pi )\Vert _{\text {HS}}^2d\pi )^{\frac{1}{2}}.\)
2.3 Homogeneous linear operators and Rockland operators
A linear operator \(T:C^\infty (G)\rightarrow {\mathscr {D}}'(G)\) is homogeneous of degree \(\nu \in {\mathbb {C}}\) if for every \(r>0\) the equality
holds for every \(f\in {\mathscr {D}}(G). \) If for every representation \(\pi \in {\widehat{G}},\) \(\pi :G\rightarrow U({H}_{\pi }),\) we denote by \({H}_{\pi }^{\infty }\) the set of smooth vectors, that is, the space of elements \(v\in {H}_{\pi }\) such that the function \(x\mapsto \pi (x)v,\) \(x\in {\widehat{G}},\) is smooth, a Rockland operator is a left-invariant differential operator \({\mathcal {R}}\) which is homogeneous of positive degree \(\nu =\nu _{{\mathcal {R}}}\) and such that, for every unitary irreducible non-trivial representation \(\pi \in {\widehat{G}},\) \(\pi ({R})\) is injective on \({H}_{\pi }^{\infty };\) \(\sigma _{{\mathcal {R}}}(\pi )=\pi ({\mathcal {R}})\) is the symbol associated to \({\mathcal {R}}.\) It coincides with the infinitesimal representation of \({\mathcal {R}}\) as an element of the universal enveloping algebra. It can be shown that a Lie group G is graded if and only if there exists a differential Rockland operator on G. If the Rockland operator is formally self-adjoint, then \({\mathcal {R}}\) and \(\pi ({\mathcal {R}})\) admit self-adjoint extensions on \(L^{2}(G)\) and \({H}_{\pi },\) respectively. Now if we preserve the same notation for their self-adjoint extensions and we denote by E and \(E_{\pi }\) their spectral measures, we will denote by
the functions defined by the functional calculus. In general, we will reserve the notation \(\{dE_A(\lambda )\}_{0\le \lambda <\infty }\) for the spectral measure associated with a positive and self-adjoint operator A on a Hilbert space H.
We now recall a lemma on dilations on the unitary dual \({\widehat{G}},\) which will be useful in our analysis of spectral multipliers. For the proof, see Lemma 4.3 of [8].
Lemma 2.1
For every \(\pi \in {\widehat{G}}\) let us define
for every \(r>0\) and all \(x\in G.\) Then, if \(f\in L^{\infty }({\mathbb {R}})\) then \(f(\pi ^{(r)}({\mathcal {R}}))=f({r^{\nu }\pi ({\mathcal {R}})}).\)
Remark 2.1
For instance, for any \(\alpha \in {\mathbb {N}}_0^n,\) and for an arbitrary family \(X_1,\cdots , X_n,\) of left-invariant vector-fields we will use the notation
for the homogeneity degree of the operator \(X^{\alpha }:=X_1^{\alpha _1}\cdots X_{n}^{\alpha _n},\) whose order is \(|\alpha |:=\sum _{j=1}^n\alpha _j.\)
Remark 2.2
By considering the dilation \(r\cdot x=D_{r}(x),\) \(x\in G,\) \(r>0,\) then a relation between the homogeneous structure of G and the Haar measure dx on G is given by (see [8, Page 100])
Note that if \(f_{r}:=r^{-Q}f(r^{-1}\cdot ),\) then
for any \(\pi \in {\widehat{G}}\) and all \(r>0,\) with \((r\cdot \pi )(y)=\pi (r\cdot y),\) \(y\in G,\) as in (2.1).
3 Proof of the main theorem
We will start our analysis for the proof of Theorem 1.4 by analysing the operator \( {\mathfrak {G}}_{a}:=\left( \frac{{\mathcal {R}}}{1+{\mathcal {R}}}\right) ^{\frac{a}{\nu }} , \) for any \(a>0,\) as a convolution operator with a finite measure. This analysis will be addressed in Lemma 3.1 below where we extend an observation done e.g. in Stein [22, Page 133] in the case of the Laplace operator to general Rockland operators. During this work we will denote by \({\mathcal {B}}_{s}\) to the right convolution kernel of the operator \((1+{\mathcal {R}})^{-\frac{s}{\nu }},\) for any \(s\in {\mathbb {R}}.\)
3.1 The quotient between the Riesz and the Bessel potential
There is an intimate connection between the Bessel potential and the Riesz potentials of Rockland operators. This affinity between the two is given in precision in the following lemma.
Lemma 3.1
Let \(\alpha >0,\) and let \({\mathcal {R}}\) be a Rockland operator on G of homogeneity degree \(\nu >0.\) There exists a finite measure \(\mu _\alpha \) on G such that its Fourier transform is given by
Proof
For the proof of Lemma 3.1 let us use the expansion
which is still valid when \(t\rightarrow 1^{-}\) because \((1-t)^{\alpha /\nu }\) remains bounded for \(\alpha >0\). Let \(dE_{\pi ({\mathcal {R}})}\) be the spectral measure of the operator \(\pi ({\mathcal {R}}).\) With \(t=\frac{1}{1+\lambda },\) \(\lambda \ge 0,\) we have that
and then the functional calculus of the operator \(\pi ({\mathcal {R}})\) implies that
In consequence, the required measure \(\mu _\alpha \) is given by
Indeed, note that \(\mu _\alpha \) satisfies that \({\widehat{\mu }}_\alpha (\pi )= \left( {\pi ({\mathcal {R}})}/[{1+\pi ({\mathcal {R}})]}\right) ^{\frac{\alpha }{\nu }},\) \(\pi \in {\widehat{G}}.\) The proof of Lemma 3.1 is complete. \(\square \)
Corollary 3.1
Let \(\alpha >0,\) and let \({\mathcal {R}}\) be a Rockland operator on G of homogeneity degree \(\nu >0.\) Then the operator
extends to a bounded operator for all \(1\le p\le \infty .\)
Proof
The action of the operator \(\left( \frac{{\mathcal {R}}}{1+{\mathcal {R}}}\right) ^{\frac{\alpha }{\nu }}\) on functions in \(L^1(G)\) is obtained from the right convolution with the measure \(\mu _\alpha \) in (3.1). So, \(\left( \frac{{\mathcal {R}}}{1+{\mathcal {R}}}\right) ^{\frac{\alpha }{\nu }}\) is bounded from \(L^1(G)\) into \(L^1(G).\) By the duality argument \(\left( \frac{{\mathcal {R}}}{1+{\mathcal {R}}}\right) ^{\frac{\alpha }{\nu }}\) is bounded from \(L^\infty (G)\) into \(L^\infty (G).\) Because \(\left( \frac{{\mathcal {R}}}{1+{\mathcal {R}}}\right) ^{\frac{\alpha }{\nu }}\) is bounded on \(L^2(G),\) the Marcinkiewicz interpolation theorem implies the boundedness of \( \left( \frac{{\mathcal {R}}}{1+{\mathcal {R}}}\right) ^{\frac{\alpha }{\nu }}:L^p(G)\rightarrow L^p(G),\) for all \(1\le p\le \infty .\) \(\square \)
3.2 Boundedness of strongly singular integral operators
We are going to prove our main Theorem 1.4. For this, we precise the notations.
-
Consider G to be a graded Lie group, let \(|\cdot |\) be a homogeneous quasi-norm on G and let Q be its homogeneous dimension.
-
Let \({\mathcal {R}}\) be a Rockland operator of homogeneous degree \(\nu >0.\) Let \(K\in L^1_{\text {loc}}(G{\setminus } \{e\})\) and \(T:f\mapsto f*K,\) the corresponding integral operator associated to K.
-
Assume that for \(0<\alpha<\theta <1,\) K satisfies the Fourier transform estimate
$$\begin{aligned} \sup _{\pi \in {\widehat{G}}}\Vert {\widehat{K}}(\pi ) (1+\pi ({\mathcal {R}}))^{\frac{Q\alpha }{2\nu }} \Vert _{\text {op}}<\infty , \end{aligned}$$(3.5)and the kernel condition
$$\begin{aligned}{}[K]_{H_{\infty ,\theta ,b}}':=\sup _{0<R<b} \sup _{|y|<R} \int \limits _{|x|\ge 2R^{1-\theta }}|K(y^{-1}x)-K(x)|dx<\infty , 0<b<1. \end{aligned}$$(3.6)
We are going to prove that \(T:H^1(G)\rightarrow L^1_{-\varkappa }(G)\) extends to a bounded operator provided that
or equivalently, that
admits a bounded extension. In the same way, we have to prove that
admits a bounded extension, which proves that \(T:L^1(G)\rightarrow L^{1,\infty }_{-\varkappa }(G)\) extends to a bounded operator.
Proof of Theorem 1.4
It is suffice to consider the critical case
Indeed, having proved the boundedness of \(T:H^1(G)\rightarrow L^1_{-\varkappa }(G)\) and of \(T:L^1(G)\rightarrow L^{1,\infty }_{-\varkappa }(G),\) for any \(\varkappa '>\varkappa =\frac{Q(\theta -\alpha )}{Q(1-\theta )+2},\) we have the continuous inclusions
implying also the existence of the bounded extensions \(T:H^1(G)\rightarrow L^1_{-\varkappa '}(G)\) and \(T:L^1(G)\rightarrow L^{1,\infty }_{-\varkappa '}(G).\)
Let us choose \(\phi \in C^{\infty }_0(G)\) so that
and such that
Also, for \(x\in G,\) define \(\phi _k(x):=\phi (2^k\cdot x)\) and
The kernel of the operator \((1+{\mathcal {R}})^{-\frac{\varkappa }{\nu }}T\) is given by \(K*{\mathcal {B}}_{\varkappa }.\) Let us use the decomposition
Let us prove that \(K_2=K*({\mathcal {B}}_{\varkappa }(1-\psi )) \in {\mathscr {S}}(G)\) is a smooth function in \(L^1(G).\) Indeed, from the properties of \(\phi ,\) we have that \(\psi (x)=1\) for all \(x\in G\) with \(|x|<1,\) and then \(1-\psi (x)\equiv 0\) when \(|x|<1.\)
On the other hand, the function \({\mathcal {B}}_{\varkappa }\) decreases rapidly for \(|x|\ge 1.\) Indeed, for any \(N\in {\mathbb {N}},\) there is \(C_N>0,\) such that (see [8, Theorem 5.4.1])
Since, \(x\in \text {supp}(\phi _k)\) implies that \(|2^k\cdot x|\in (1/2,2),\) then
So, for any \(x\in G:\,|x|>2,\) \(\psi (x)=\sum _{k=0}^{\infty }\phi (2^k\cdot x)=0.\)
In conclusion the function \((1-\psi ){\mathcal {B}}_\varkappa \) has its support in the complement of the set \(\{x\in G:|x|<1\}\) and \((1-\phi ){\mathcal {B}}_\varkappa \in L^1(G)\cap C^{\infty }(\{x\in G:|x|>1\}).\)
So, the left convolution operator \(T_{K_2}\) associated to \(K_2\) is bounded from \(L^1(G)\) into \(L^1(G).\) The embedding \(H^{1}(G)\hookrightarrow L^{1}(G)\) implies that \(T_{K_2}:H^{1}(G)\hookrightarrow L^1(G)\) is bounded. Note also that the boundedness of \(T_{K_2}\) from \(L^{1}(G)\) into \(L^1(G)\) implies its boundedness from \(L^{1}(G)\) into \(L^{1,\infty }(G)\) in view of the inclusion \(L^{1}(G)\hookrightarrow L^{1,\infty }(G).\)
Now, to continue with the proof it suffices to demonstrate the boundedness of \(T_{K_1}=T-T_{K_2}\) from \(H^{1}(G)\) into \( L^1(G),\) and from \(L^{1}(G)\) into \(L^{1,\infty }(G).\) For this, we will prove that \(K_1=K*({\mathcal {B}}_\varkappa \psi )\) satisfies the conditions
and the kernel condition
with
Note also that the hypothesis \(\alpha <\theta ,\) implies that \(Q\alpha (1-\theta )+2\theta <Q\theta (1-\theta )+2\theta =\theta [Q(1-\theta )+2]\) which (by dividing both sides of this inequality by \(Q(1-\theta )+2\)) implies the estimate
allowing the use of Theorem 1.3.
For the proof of (3.10) let use that \(\psi \) vanishes for \(|x|>2.\) So, \(\psi {\mathcal {B}}_\varkappa \) is of compact support of G, and for all \(r\in {\mathbb {R}},\)
Indeed, for any \(r\in {\mathbb {R}},\) \((1+{\mathcal {R}})^{r/\nu }\) maps the Schwartz space \({\mathscr {S}}(G)\) into the Schwartz space \({\mathscr {S}}(G).\) So, for all \(r\in {\mathbb {R}},\) \((1+{\mathcal {R}})^{r/\nu }[\psi {\mathcal {B}}_\varkappa ]\) is the right-convolution kernel of a bounded operator on \(L^2(G).\) Indeed, the Hausdorff-Young inequality gives
However, the Plancherel theorem indicates that for any \(r\in {\mathbb {R}},\)
In a similar way, we have that
In consequence, for any \(s>0,\)
which demonstrate (3.10). Now, we are going to prove (3.11). Define
Then,
To do so, take \(y\in G\) such that \(|y|<\min \{b,\frac{1}{2}\}.\) For any \(k\in {\mathbb {N}}_0,\) let
Now, let us make an analysis of the last integral above when \(t\in \text {supp}(G_{\varkappa ,k}).\) In that case \(|2^{k}\cdot t|=2^{k}|t|\in (1/2,2)\) that is \(2^{-k-1}<|t|<2^{-k+1}.\) Note that the changes of variables \(z=xt^{-1}\) implies the inequalities
So, we have proved the estimate
where \(|y|\le b < 1.\) To continue, let us estimate the integral
First, observe that \({\mathcal {B}}_{\varkappa }\) is the right-convolution kernel of the pseudo-differential operator \((1+{\mathcal {R}})^{-\frac{\varkappa }{\nu }}\in \Psi ^{-\varkappa }_{1,0}(G\times {\widehat{G}}).\) Note that \(0<\varkappa <Q,\) which can be proved by observing that
implying that \(\varkappa =Q(\theta -\alpha )/[Q(1-\theta )+2]<Q.\) So, \({\mathcal {B}}_{\varkappa }\) satisfies the estimate (see [8, Theorem 5.4.1])
In consequence the change of variable \(u=2^{k}t\) has the effect in the Haar measure \(du=2^{kQ}dt\) and then \(dt=2^{-kQ}du\), implying the following estimates
The analysis above shows the validity of the inequality
for some \(C_{\phi }>0.\) In particular, as \(0<1-a<1,\) we have that \(|y|\le |y|^{1-a}.\) Now, we will analyse (3.16) in three cases. Indeed, for any k, we will analyse the situation when \(r=2^{-k}\) is inside of the interval [0, |y|/2), or, in the interval \([|y|/2, |y|^{\frac{1-\theta }{1-\alpha }})\) and finally, the case where \(r=2^{-k}\) is inside of the set \((|y|^{\frac{1-\theta }{1-\alpha }},\infty ).\) See Fig. 2 below.
- Case 1: :
-
\(2^{-k}<|y|/2.\) In consequence, for the integral in (3.16), the inequality \(|zt|>2|y|^{1-a}\) implies that \(|z|+|t|>2|y|^{1-a}\) and then
$$\begin{aligned} |z|>2|y|^{1-a} -|t|>2|y|^{1-a}-2^{-k+1}. \end{aligned}$$The inequality \(|y|^{1-a}-|y|\ge 0,\) and the fact that \(2^{-k+1}<|y|\) imply that
$$\begin{aligned} 2|y|^{1-a}-2^{-k+1}>|y|^{1-a}+(|y|^{1-a}-|y|)\ge |y|^{1-a}, \end{aligned}$$and in this case \(|z|>|y|^{1-a}.\) We have proved that
$$\begin{aligned} \{z\in G:\forall t\in \text {supp}(G_{\varkappa ,k}),|zt|>2|y|^{1-a}\,\}\subset \{z\in G:|z|>|y|^{1-a}\,\}. \end{aligned}$$(3.18)So, we can estimate
$$\begin{aligned} I_k&\le \int \limits _{G} |G_{\varkappa ,k}(t)| \int \limits _{|zt|>2|y|^{1-a}} |K(y^{-1}z)-K(z)|dzdt\\&\le \int \limits _{G} |G_{\varkappa ,k}(t)|dt \int \limits _{|z|>|y|^{1-a}} |K(y^{-1}z)-K(z)|dz\\&\lesssim _{\phi } 2^{-k\varkappa } \int \limits _{|z|>|y|^{1-a}} |K(y^{-1}z)-K(z)|dz. \end{aligned}$$Let us consider a sequence of points \(y_i,\) \(0\le i\le m,\) \(0<1/m<b,\) such that
$$\begin{aligned} y_0=e,\ldots , y_{m}=y, \,d(y_i,y_{i+1})<1/m, \,0\le i\le m-1. \end{aligned}$$- -:
-
The topological algorithm for the choice of the \(y_i\)’s. For constructing this family of points, we consider the curve
$$\begin{aligned} y(t):[0,m]\rightarrow G,\,y(t)=\frac{t}{m}\cdot y, \end{aligned}$$(3.19)and the \(y_i\)’s will belong to its graph. Note that \(y(0)=e,\) \(y(m)= y,\) and that the derivative \(y'(t)\) of the function y(t) is the constant function
$$\begin{aligned} y'(t)=\frac{1}{m}\cdot y. \end{aligned}$$We illustrate the choice of the points \(y_i\)’s in Fig. 1 below.
The topological algorithm to choose the points \(y_i\) is as follows. Observe that the length of the curve \(\ell \) is \(\le 1.\) Indeed,
$$\begin{aligned} \ell :=\int \limits _{0}^{m}|y'(t)|dt=\int \limits _{0}^{m}|1/m\cdot y|dt\le m(1/m)b\le 1. \end{aligned}$$Note that we can cover the graph of y(t) with \(N_0\) balls \(B_i=B(y_i,r_i)\) of radius \(r_i=1/m,\) such that \(y_0=e,\) \(y_{i-i}\in B_{i} \) for \(i\ge 2,\) \(y_{m}=y,\) and \(N_0\sim 2m.\) To guarantee that \(d(y_i,y_{i+1})<1/m\) we can take
$$\begin{aligned} z_{i+1}\in \partial B_{i}\cap \{y(t):0\le t\le m\} \end{aligned}$$and choose \(y_{i+1}\in B_i\) such that \(d(y_{i+1},z_{i+1})<\frac{1}{2^m}.\) This inductive process ends when one of the balls \(B_{i}\) contains the point y in its interior and the distance between y and the center of ball is less than 1/m. Having fixed the sequence \(y_i\) now let us choose a suitable m. Indeed, consider \(m\ge 2\) as the least positive integer such that
$$\begin{aligned} \frac{2}{m^{1-\theta }}<|y|^{1-a}-|y|<\frac{2}{(m-1)^{1-\theta }}. \end{aligned}$$Then we have that
$$\begin{aligned} |y|^{1-a}-|y|\sim \frac{2}{m^{1-\theta }}= 2\times \left( \frac{1}{m}\right) ^{1-\theta }\sim 2d(y_{i},y_{i+1})^{1-\theta }=2|y_{i}^{-1}y_{i+1}|^{1-\theta }, \end{aligned}$$for all \(0\le i\le m-1.\) The previous analysis and the changes of variables \(x=y_{i-1}^{-1}z\) implies that
$$\begin{aligned} I_k\le & {} \int \limits _{G} |G_{\varkappa ,k}(t)|dt \int \limits _{|z|>|y|^{1-a}} |K(y^{-1}z)-K(z)|dz\\\lesssim & {} _{\phi }2^{-k\varkappa }\sum _{i=1}^{m}\int \limits _{|z|>|y|^{1-a}} |K\left( y_{i}^{-1}z\right) -K\left( y_{i-1}^{-1}z\right) |dz\\= & {} 2^{-k\varkappa }\sum _{i=1}^m \int \limits _{|y_{i-1}\cdot x|>|y|^{1-a}}|K(y_{i}^{-1}y_{i-1}x)-K(x)|dx\\\lesssim & {} 2^{-k\varkappa }\sum _{i=1}^m \int \limits _{|x|>2|y_{i-1}^{-1}y_{i}|^{1-\theta }}|K(y_{i}^{-1}y_{i-1}x)-K(x)|dx \\= & {} 2^{-k\varkappa }\sum _{i=1}^m \int \limits _{|x|>2|y_{i-1}^{-1}y_{i}|^{1-\theta }}|K((y_{i-1}^{-1}y_{i})^{-1}x)-K(x)|dx \\\lesssim & {} 2^{-k\varkappa }\sum _{i=1}^m[K]_{H_{\infty ,\theta ,b}}'=2^{-k\varkappa }m[K]_{H_{\infty ,\theta ,b}}'. \end{aligned}$$Indeed, in the previous inequality we have used the estimate
$$\begin{aligned} \int \limits _{|y_{i-1}\cdot x|>|y|^{1-a}}|K(y_{i}^{-1}y_{i-1}x)-K(x)|dx\lesssim \int \limits _{|x|>2|y_{i-1}^{-1}y_{i}|^{1-\theta } }|K(y_{i}^{-1}y_{i-1}x)-K(x)|dx. \end{aligned}$$Indeed, estimating \(|y_{i-1}|\sim |y|(i-1)/m<|y|,\) we have that the estimate \(|y_{i-1}x|\ge |y|^{1-a} \) implies that
$$\begin{aligned} |x|>|y|^{1-a}-|y_{i-1}|\succeq |y|^{1-a}-|y|\succeq 2|y_{i-1}^{-1}y_{i}|^{1-\theta }. \end{aligned}$$The choice of m implies that \(d(y_i,y_{i+1})\sim \frac{|y|}{m}\) and then
$$\begin{aligned} d(y_i,y_{i+1})^{1-\theta }\sim \left( \frac{|y|}{m}\right) ^{1-\theta }\sim |y|^{1-a}-|y|. \end{aligned}$$Then \(1/m\sim (|y|^{1-a})^{\frac{1}{1-\theta }}/|y|.\) We then can estimate \(m\sim |y|^{1-\frac{1-a}{1-\theta }}.\) So, to finish our analysis in Case 1, note that \(|y|^{-1}\lesssim 2^{k}\) which implies that
$$\begin{aligned} \sum _{k:2^{-k}<|y|/2}I_{k}\lesssim \sum _{k:2^{-k}<|y|/2} 2^{-k\varkappa }m \lesssim |y|^{1-\frac{1-a}{1-\theta }}\sum _{k:2^{-k}<|y|/2}2^{-k\varkappa }\sim |y|^{1-\frac{1-a}{1-\theta }}|y|^{\varkappa }. \end{aligned}$$(3.20)Since \(\varkappa +1-\frac{1-a}{1-\theta }=0,\) we have that \( \sum _{k:2^{-k}<|y|/2}I_{k}\lesssim 1.\)
- Case 2: :
-
\(|y|/2\le 2^{-k}<|y|^{\frac{1-\theta }{1-\alpha }}.\) Define
$$\begin{aligned} \delta _k:=5|y|^{2(1-\theta )/\lambda }2^{-kQ(1-\alpha )(1-\theta )/\lambda }, \end{aligned}$$where
$$\begin{aligned} \lambda :=Q(1-\theta )+2. \end{aligned}$$Then we have the upper and the lower bound
$$\begin{aligned} 5\times {2^{-k}}<\delta _k<5|y|^{1-\theta }. \end{aligned}$$Split \(I_k\) as follows,
$$\begin{aligned} I_k:=\int \limits _{|x|>2|y|^{1-a}}|K*G_{\varkappa ,k}(y^{-1}x)-K*G_{\varkappa ,k}(x)|dx=J_{1,k}+J_{2,k}, \end{aligned}$$where
$$\begin{aligned} J_{1,k}=\int \limits _{\{|x|>2|y|^{1-a} \}\cap \{x:|x|\le \delta _k\} }|K*G_{\varkappa ,k}(y^{-1}x)-K*G_{\varkappa ,k}(x)|dx \end{aligned}$$(3.21)and
$$\begin{aligned} J_{2,k}=\int \limits _{\{|x|>2|y|^{1-a} \}\cap \{x:|x|> \delta _k\} }|K*G_{\varkappa ,k}(y^{-1}x)-K*G_{\varkappa ,k}(x)|dx. \end{aligned}$$(3.22)Now, let us estimate \(J_{2,k}.\) Indeed, the change of variable \(z=xt^{-1},\) for \(t\in \text {supp}(G_{\varkappa ,k})\) implies
$$\begin{aligned} J_{2,k}&=\int \limits _{ \{|x|>2|y|^{1-a} \}\cap \{x:|x|> \delta _k\} }|K*G_{\varkappa ,k}(y^{-1}x)-K*G_{\varkappa ,k}(x)|dx\\&=\int \limits _{ \{|x|>2|y|^{1-a} \}\cap \{x:|x|> \delta _k\} }|\int \limits _{G} (K(y^{-1}xt^{-1}) G_{\varkappa ,k}(t)-K(xt^{-1}) G_{\varkappa ,k}(t))dt|dx\\&\le \int \limits _{G} |G_{\varkappa ,k}(t)| \int \limits _{ \{|x|>2|y|^{1-a} \}\cap \{x:|x|> \delta _k\} } |K(y^{-1}xt^{-1}) -K(xt^{-1})|dxdt\\&\le \int \limits _{G} |G_{\varkappa ,k}(t)| \int \limits _{\{|zt|>2|y|^{1-a} \}\cap \{z:|zt|> \delta _k\}} |K(y^{-1}z)-K(z)|dzdt\\&\le \int \limits _{G} |G_{\varkappa ,k}(t)| \int \limits _{ \{z:|zt|> \delta _k\}} |K(y^{-1}z)-K(z)|dz dt. \end{aligned}$$Note that when \(|zt|>\delta _{k},\) we have \(|t|+|z|\ge |zt|>\delta _{k}\) and with \(t\in \text {supp}(G_{\varkappa ,k}),\) \(|t|<2^{-k+1}\) from which ones deduce the inclusion of sets
$$\begin{aligned} \{z:|zt|> \delta _k \}\subset \{z: |z|>\delta _k-2^{-k+1}\}, \end{aligned}$$and the estimate
$$\begin{aligned} \int \limits _{ \{z:|zt|> \delta _k\}} |K(y^{-1}z)-K(z)|dz\le \int \limits _{ \{z: |z|>\delta _k-2^{-k+1}\} } |K(y^{-1}z)-K(z)|dz. \end{aligned}$$So, the previous analysis together with (3.17) gives
$$\begin{aligned} J_{2,k}\lesssim 2^{-k\varkappa } \int \limits _{ \{z:|z|> \delta _k-2^{-k+1}\}} |K(y^{-1}z)-K(z)|dz. \end{aligned}$$(3.23)To continue, let us make use of the argument illustrated in Fig. 1. Using this construction we consider a sequence of points \(y_i,\) \(0\le i\le m,\) \(0<1/m<b,\) such that
$$\begin{aligned} y_0=e,\cdots , y_{m}=y, \,d(y_i,y_{i+1})\sim |y|/m, \,0\le i\le m-1, \end{aligned}$$on the curve \(y(t)=\frac{t}{m}\cdot y,\) \(t\in [0,m],\) and we consider again the topological construction done in Case 1 in order to obtain the required family of points \(y_i.\) From now, assume that m is the least integer such that
$$\begin{aligned} 2d(y_{i},y_{i+1})^{1-\theta }\sim 2(|y|/m)^{1-\theta }<\delta _k-2^{-k+2}. \end{aligned}$$The changes of variables \(x=y_{i-1}^{-1}z\) in any term of the sums below implies that
$$\begin{aligned} J_{2,k}\lesssim & {} 2^{-k\varkappa } \int \limits _{ \{z:|z|> \delta _k-2^{-k+1}\}} |K(y^{-1}z)-K(z)|dz \\\lesssim & {} _{\phi }2^{-k\varkappa }\sum _{i=1}^{m}\int \limits _{ \{z:|z|> \delta _k-2^{-k+1}\} } |K\left( y_{i}^{-1}z\right) -K\left( y_{i-1}^{-1}z\right) |dz \\= & {} 2^{-k\varkappa }\sum _{i=1}^m \int \limits _{ \{x:|y_{i-1}\cdot x|> \delta _k-2^{-k+1}\} }|K(y_{i}^{-1}y_{i-1}x)-K(x)|dx . \end{aligned}$$Note that for \(|y_{i-1}\cdot x|> \delta _k-2^{-k+1},\) \(|y|+|x|> \delta _k-2^{-k+1}\) and then, the hypothesis \(|y|/2<2^{-k}\)
$$\begin{aligned} |x|> \delta _k-2^{-k+1}-|y|> \delta _k-2^{-k+1}-2^{-k+1}=\delta _k-2^{-k+2} \succeq 2d(y_{i},y_{i+1})^{1-\theta } \end{aligned}$$from which we have proved that
$$\begin{aligned} \int \limits _{ \{x:|y_{i-1}\cdot x|> \delta _k-2^{-k+1}\} }|K(y_{i}^{-1}y_{i-1}x)-K(x)|dx\lesssim \int \limits _{|x|>2|y_{i-1}^{-1}y_{i}|^{1-\theta }}|K(y_{i}^{-1}y_{i-1}x)-K(x)|dx. \end{aligned}$$In consequence,
$$\begin{aligned} J_{2,k}&\lesssim 2^{-k\varkappa }\sum _{i=1}^m \int \limits _{|x|>2|y_{i-1}^{-1}y_{i}|^{1-\theta }}|K(y_{i}^{-1}y_{i-1}x)-K(x)|dx \\&=2^{-k\varkappa }\sum _{i=1}^m \int \limits _{|z|>2|y_{i-1}^{-1}y_{i}|^{1-\theta }}|K((y_{i-1}^{-1}y_{i})^{-1}x)-K(x)|dx \\&\lesssim 2^{-k\varkappa }\sum _{i=1}^m[K]_{H_{\infty ,\theta ,b}}'=2^{-k\varkappa }m[K]_{H_{\infty ,\theta ,b}}'. \end{aligned}$$It follows that \(m\lesssim |y|^{Q(1-\theta )/\lambda }2^{kQ(1-\theta )/\lambda },\) and in this Case 2,
$$\begin{aligned} J_{2,k}\lesssim 2^{-k\varkappa }|y|^{Q(1-\theta )/\lambda }2^{kQ(1-\theta )/\lambda }, \end{aligned}$$where
$$\begin{aligned} \lambda :=Q(1-\theta )+2. \end{aligned}$$Now, let us estimate \(J_{1,k}.\) In view of the Schwarz inequality we have the estimate:
$$\begin{aligned} J_{1,k}&\le 2\int _{|x|\le \delta _k}|K*G_{\varkappa ,k}(x)|dx\lesssim \delta _{k}^{\frac{Q}{2}}\Vert K*G_{\varkappa ,k}\Vert _{L^2(G)}=\delta _{k}^{\frac{Q}{2}}\Vert {\widehat{G}}_{\varkappa ,k}{\widehat{K}}\Vert _{L^2({\widehat{G}})}\\&\le \delta _{k}^{\frac{Q}{2}}\Vert {\widehat{G}}_{\varkappa ,k} \phi ((2^{-k}\cdot \pi )({\mathcal {R}})) {\widehat{K}}\Vert _{L^2({\widehat{G}})} + \delta _{k}^{\frac{Q}{2}} \Vert {\widehat{G}}_{\varkappa ,k} (1-\phi )((2^{-k}\cdot \pi )({\mathcal {R}})) {\widehat{K}}\Vert _{L^2({\widehat{G}})}, \end{aligned}$$with \(\phi \) as in (3.8). Since,
$$\begin{aligned} \Vert {\widehat{G}}_{\varkappa ,k} \phi ((2^{-k}\cdot \pi )({\mathcal {R}})) {\widehat{K}}\Vert _{L^2({\widehat{G}})}^2&=\int \limits _{{\widehat{G}}}\Vert {\widehat{G}}_{\varkappa ,k}(\pi ) \phi ((2^{-k}\cdot \pi )({\mathcal {R}})) {\widehat{K}}(\pi )\Vert ^2_{\text {HS}}d\pi \\&\le \Vert {\widehat{G}}_{\varkappa ,k}\Vert _{L^\infty ({\widehat{G}})}^2\int \limits _{{\widehat{G}}}\Vert \phi ((2^{-k}\cdot \pi )({\mathcal {R}})) {\widehat{K}}(\pi )\Vert ^2_{\text {HS}}d\pi . \end{aligned}$$Using (3.17) we have that \(\Vert {\widehat{G}}_{\varkappa ,k}\Vert _{L^\infty ({\widehat{G}})}^2\le \Vert {G}_{\varkappa ,k} \Vert ^2_{L^1({\widehat{G}})}\lesssim 2^{-2k\varkappa }\) and then
$$\begin{aligned} \Vert {\widehat{G}}_{\varkappa ,k} \phi ((2^{-k}\cdot \pi )({\mathcal {R}})) {\widehat{K}}\Vert _{L^2({\widehat{G}})}^2\lesssim 2^{-2k\varkappa } \Vert \phi ((2^{-k}\cdot \pi )({\mathcal {R}})) {\widehat{K}}(\pi )\Vert _{L^2({\widehat{G}})}. \end{aligned}$$Using (1.9), that is,
$$\begin{aligned} \sup _{\pi \in {\widehat{G}}}\Vert (1+\pi ({\mathcal {R}}))^{\frac{Q\alpha }{2\nu }}{\widehat{K}}(\pi ) \Vert _{\text {op}}<\infty , \end{aligned}$$(3.24)we have that
$$\begin{aligned} \Vert \phi ((2^{-k}\cdot \pi )({\mathcal {R}})) {\widehat{K}}(\pi )\Vert _{L^2({\widehat{G}})}= & {} \Vert \phi ((2^{-k}\cdot \pi )({\mathcal {R}}))(1+\pi ({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }} (1+\pi ({\mathcal {R}}))^{\frac{Q\alpha }{2\nu }}{\widehat{K}}(\pi )\Vert _{L^2({\widehat{G}})} \\\le & {} \sup _{\pi \in {\widehat{G}}}\Vert (1+\pi ({\mathcal {R}}))^{\frac{Q\alpha }{2\nu }}{\widehat{K}}(\pi ) \Vert _{\text {op}}\\&\times \Vert \phi ((2^{-k}\cdot \pi )({\mathcal {R}}))(1+\pi ({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }}\Vert _{L^2({\widehat{G}})} \\\lesssim & {} \Vert \phi ((2^{-k}\cdot \pi )({\mathcal {R}}))(1+\pi ({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }}\Vert _{L^2({\widehat{G}})} \\\lesssim & {} \Vert \phi ((2^{-k}\cdot \pi )({\mathcal {R}}))\pi ({\mathcal {R}})^{-\frac{Q\alpha }{2\nu }}\Vert _{L^2({\widehat{G}})} \\= & {} \Vert \pi ({\mathcal {R}})^{-\frac{Q\alpha }{2\nu }} \phi ((2^{-k}\cdot \pi )({\mathcal {R}}))\Vert _{L^2({\widehat{G}})}. \end{aligned}$$Note that in the last line we have used the commutativity identity
$$\begin{aligned} \phi ((2^{-k}\cdot \pi )({\mathcal {R}}))\pi ({\mathcal {R}})^{-\frac{Q\alpha }{2\nu }}= \pi ({\mathcal {R}})^{-\frac{Q\alpha }{2\nu }} \phi ((2^{-k}\cdot \pi )({\mathcal {R}})) \end{aligned}$$in view of the functional calculus of \({\mathcal {R}},\) and the estimate
$$\begin{aligned} \Vert \phi ((2^{-k}\cdot \pi )({\mathcal {R}}))(1+\pi ({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }}\Vert _{L^2({\widehat{G}})} \lesssim \Vert \phi ((2^{-k}\cdot \pi )({\mathcal {R}}))\pi ({\mathcal {R}})^{-\frac{Q\alpha }{2\nu }}\Vert _{L^2({\widehat{G}})}.\nonumber \\ \end{aligned}$$(3.25)Indeed,
$$\begin{aligned}&\Vert \phi ((2^{-k}\cdot \pi )({\mathcal {R}}))(1+\pi ({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }}\Vert _{L^2({\widehat{G}})}\\&\quad = \Vert \phi ((2^{-k}\cdot \pi )({\mathcal {R}}))\pi ({\mathcal {R}})^{-\frac{Q\alpha }{2\nu }}\pi ({\mathcal {R}})^{\frac{Q\alpha }{2\nu }}(1+\pi ({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }}\Vert _{L^2({\widehat{G}})}\\&\quad \le \sup _{\pi \in {\widehat{G}}} \Vert \pi ({\mathcal {R}})^{\frac{Q\alpha }{2\nu }}(1+\pi ({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }}\Vert _{\text {op}} \Vert \phi ((2^{-k}\cdot \pi )({\mathcal {R}}))\pi ({\mathcal {R}})^{-\frac{Q\alpha }{2\nu }}\Vert _{L^2({\widehat{G}})}\\&\quad \lesssim \Vert \phi ((2^{-k}\cdot \pi )({\mathcal {R}}))\pi ({\mathcal {R}})^{-\frac{Q\alpha }{2\nu }}\Vert _{L^2({\widehat{G}})}. \end{aligned}$$Note that we have used the fact that, in view of the \(L^2(G)\)-boundedness of the operator \( {\mathcal {R}}^{\frac{Q\alpha }{2\nu }}(1+{\mathcal {R}})^{-\frac{Q\alpha }{2\nu }},\) the sup
$$\begin{aligned} \sup _{\pi \in {\widehat{G}}} \Vert \pi ({\mathcal {R}})^{\frac{Q\alpha }{2\nu }}(1+\pi ({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }}\Vert _{\text {op}}<\infty , \end{aligned}$$(3.26)is finite. On the other hand, using the Plancherel theorem we get
$$\begin{aligned} \Vert \pi ({\mathcal {R}})^{-\frac{Q\alpha }{2\nu }} \phi ((2^{-k}\cdot \pi )({\mathcal {R}})) \Vert _{L^2({\widehat{G}})}=\Vert {\mathcal {R}}^{-\frac{Q\alpha }{2\nu }}{\mathscr {F}}_{G}^{-1}[\phi ((2^{-k}\cdot \pi )({\mathcal {R}}))] \Vert _{L^2(G)}. \end{aligned}$$(3.27)With \(r=2^{-k},\) and \(\Phi _{r}=r^{-Q}\phi ({\mathcal {R}})\delta (r^{-1}\cdot ),\) \({\widehat{\Phi }}_r(\pi )={\widehat{\Phi }}_1(r\cdot \pi ).\) In consequence
$$\begin{aligned} \phi ((2^{-k}\cdot \pi )({\mathcal {R}}))=\phi ((r\cdot \pi )({\mathcal {R}}))= \widehat{\phi ({\mathcal {R}}\delta )}(r\cdot \pi )= {\widehat{\Phi }}_1(r\cdot \pi ) \end{aligned}$$and
$$\begin{aligned} {\mathcal {R}}^{-\frac{Q\alpha }{2\nu }}{\mathscr {F}}_{G}^{-1}[\phi ((2^{-k}\cdot \pi )({\mathcal {R}}))]&={\mathcal {R}}^{-\frac{Q\alpha }{2\nu }}{\mathscr {F}}_{G}^{-1}[\phi ((r\cdot \pi )({\mathcal {R}}))]={\mathcal {R}}^{-\frac{Q\alpha }{2\nu }}{\mathscr {F}}_{G}^{-1}[{\widehat{\Phi }}_r(\pi )] \end{aligned}$$$$\begin{aligned}&={\mathcal {R}}^{-\frac{Q\alpha }{2\nu }}\Phi _r. \end{aligned}$$As \(0<Q\alpha /2<Q,\) in view of Corollary 4.3.11 of [8], the right-convolution kernel of \({\mathcal {R}}^{-\frac{Q\alpha }{2\nu }}\) is homogeneous of order \(\frac{Q\alpha }{2}-Q,\) and in consequence of [8, Lemma 3.2.7] \({\mathcal {R}}^{-\frac{Q\alpha }{2\nu }}\) has homogeneous degree equal to \(-Q\alpha /2.\) So, we have that
$$\begin{aligned} \Vert {\mathcal {R}}^{-\frac{Q\alpha }{2\nu }}{\mathscr {F}}_{G}^{-1}[\phi ((2^{-k}\cdot \pi )({\mathcal {R}}))] \Vert _{L^2(G)}&=\Vert {\mathcal {R}}^{-\frac{Q\alpha }{2\nu }}\Phi _r \Vert _{L^2(G)}=r^{-Q}\Vert {\mathcal {R}}^{-\frac{Q\alpha }{2\nu }}[\phi ({\mathcal {R}})\delta (r^{-1}\cdot )] \Vert _{L^2(G)}\\&=r^{-Q} r^{\frac{Q\alpha }{2}}\Vert {\mathcal {R}}^{-\frac{Q\alpha }{2\nu }}[\phi ({\mathcal {R}})\delta ](r^{-1}\cdot ) \Vert _{L^2(G)}\\&=r^{-Q} r^{\frac{Q\alpha }{2}}r^{\frac{Q}{2}}\Vert {\mathcal {R}}^{-\frac{Q\alpha }{2\nu }}[\phi ({\mathcal {R}})\delta ](\cdot ) \Vert _{L^2(G)}\\&=2^{-k(\frac{Q\alpha }{2}-\frac{Q}{2})}\Vert {\mathcal {R}}^{-\frac{Q\alpha }{2\nu }}[\phi ({\mathcal {R}})\delta ](\cdot ) \Vert _{L^2(G)}. \end{aligned}$$In view of the Hulanicki theorem in [8], \(\phi ({\mathcal {R}})\delta \in {\mathscr {S}}(G)\) and then
$$\begin{aligned} \Vert {\mathcal {R}}^{-\frac{Q\alpha }{2\nu }}[\phi ({\mathcal {R}})\delta ](\cdot ) \Vert _{L^2(G)}<\infty , \end{aligned}$$in view of Corollary 4.3.11 in [8]. All the analysis above implies that
$$\begin{aligned} J_{1,k}&\le \delta _{k}^{\frac{Q}{2}}\Vert {\widehat{G}}_{\varkappa ,k} \phi ((2^{-k}\cdot \pi )({\mathcal {R}})) {\widehat{K}}\Vert _{L^2({\widehat{G}})} + \delta _{k}^{\frac{Q}{2}} \Vert {\widehat{G}}_{\varkappa ,k} (1-\phi )((2^{-k}\cdot \pi )({\mathcal {R}})) {\widehat{K}}\Vert _{L^2({\widehat{G}})}\\&\lesssim \delta _{k}^{\frac{Q}{2}}2^{-k\varkappa }2^{-k(\frac{Q\alpha }{2}-\frac{Q}{2})}+ \delta _{k}^{\frac{Q}{2}} \Vert {\widehat{G}}_{\varkappa ,k} (1-\phi )((2^{-k}\cdot \pi )({\mathcal {R}})) {\widehat{K}}\Vert _{L^2({\widehat{G}})}\\&\lesssim \delta _{k}^{\frac{Q}{2}}2^{-k(\varkappa +\frac{Q(\alpha -1)}{2})}+ \delta _{k}^{\frac{Q}{2}} \Vert {\widehat{G}}_{\varkappa ,k} (1-\phi )((2^{-k}\cdot \pi )({\mathcal {R}})) {\widehat{K}}\Vert _{L^2({\widehat{G}})}\\&=\delta _{k}^{\frac{Q}{2}}2^{-\frac{kQ(a-1)}{2}}+ \delta _{k}^{\frac{Q}{2}} \Vert {\widehat{G}}_{\varkappa ,k} (1-\phi )((2^{-k}\cdot \pi )({\mathcal {R}})) {\widehat{K}}\Vert _{L^2({\widehat{G}})}. \end{aligned}$$Now, we will prove the estimate
$$\begin{aligned} \Vert {\widehat{G}}_{\varkappa ,k} (1-\phi )((2^{-k}\cdot \pi )({\mathcal {R}})) {\widehat{K}}\Vert _{L^2({\widehat{G}})}\lesssim 2^{-\frac{kQ(a-1)}{2}}, \end{aligned}$$(3.28)in order to have the following upper bound for \(J_{1,k},\)
$$\begin{aligned} J_{1,k} \lesssim \delta _{k}^{\frac{Q}{2}}2^{-k(\varkappa +\frac{Q(\alpha -1)}{2})}=\delta _{k}^{\frac{Q}{2}}2^{-\frac{kQ(1-a)}{2})}. \end{aligned}$$(3.29)For the proof of (3.28) note that
$$\begin{aligned}&\Vert {\widehat{G}}_{\varkappa ,k} (1-\phi )((2^{-k}\cdot \pi )({\mathcal {R}})) {\widehat{K}}\Vert _{L^2({\widehat{G}})}\\&= \Vert {\widehat{G}}_{\varkappa ,k} (1-\phi )((2^{-k}\cdot \pi )({\mathcal {R}}))(1+\pi ({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }}(1+\pi ({\mathcal {R}}))^{\frac{Q\alpha }{2\nu }} {\widehat{K}}\Vert _{L^2({\widehat{G}})}\\&\le \sup _{\pi \in {\widehat{G}}}\Vert (1+\pi ({\mathcal {R}}))^{\frac{Q\alpha }{2\nu }} {\widehat{K}}(\pi )\Vert _{\text {op}} \Vert {\widehat{G}}_{\varkappa ,k} (1-\phi )((2^{-k}\cdot \pi )({\mathcal {R}}))(1+\pi ({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }}\Vert _{L^2({\widehat{G}})}\\&\lesssim \Vert {\widehat{G}}_{\varkappa ,k} (1-\phi )((2^{-k}\cdot \pi )({\mathcal {R}}))(1+\pi ({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }}\Vert _{L^2({\widehat{G}})}. \end{aligned}$$Using again the estimate in (3.26) we have that
$$\begin{aligned}&\Vert {\widehat{G}}_{\varkappa ,k} (1-\phi )((2^{-k}\cdot \pi )({\mathcal {R}}))(1+\pi ({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }}\Vert _{L^2({\widehat{G}})}\\&\quad =\Vert {\widehat{G}}_{\varkappa ,k} (1-\phi )((2^{-k}\cdot \pi )({\mathcal {R}})) \pi ({\mathcal {R}})^{-\frac{Q\alpha }{2\nu }} \pi ({\mathcal {R}})^{\frac{Q\alpha }{2\nu }} (1+\pi ({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }}\Vert _{L^2({\widehat{G}})}\\&\quad \lesssim \Vert {\widehat{G}}_{\varkappa ,k} (1-\phi )((2^{-k}\cdot \pi )({\mathcal {R}}))\pi ({\mathcal {R}})^{-\frac{Q\alpha }{2\nu }}\Vert _{L^2({\widehat{G}})}. \end{aligned}$$Now, let us use the functional calculus of \({\mathcal {R}}.\) For any continuous function \(\kappa (t)\) on \({\mathbb {R}}^+\) one has that
$$\begin{aligned} \forall r>0, \kappa (r^{\nu }{\mathcal {R}})\delta =r^{-Q}[ \kappa ({\mathcal {R}})\delta ](r^{-1}\cdot ). \end{aligned}$$(3.30)Taking in both sides the group Fourier transform one has
$$\begin{aligned} \kappa (r^{\nu }\pi ({\mathcal {R}}))= \kappa ((r\cdot \pi )({\mathcal {R}})). \end{aligned}$$The previous identity with \(\kappa (t)=t^{-\frac{Q}{2\nu }}\) gives
$$\begin{aligned} \forall r>0, (r^{\nu }\pi ({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }}=((r\cdot \pi )({\mathcal {R}}) )^{-\frac{Q\alpha }{2\nu }}. \end{aligned}$$(3.31)Using the previous property, and the changes of variables \(\pi '=2^{-k}\cdot \pi ,\) we have the effect in the Borel measure \(d\pi '=2^{-kQ}d\pi \) on the unitary dual \({\widehat{G}}\) and we can estimate
$$\begin{aligned}&\Vert {\widehat{G}}_{\varkappa ,k} (1-\phi )((2^{-k}\cdot \pi )({\mathcal {R}}))\pi ({\mathcal {R}})^{-\frac{Q\alpha }{2\nu }}\Vert _{L^2({\widehat{G}})}^2\\&\quad =\int \limits _{{\widehat{G}}}\Vert {\widehat{G}}_{\varkappa ,k}(\pi ) (1-\phi )((2^{-k}\cdot \pi )({\mathcal {R}}))\pi ({\mathcal {R}})^{-\frac{Q\alpha }{2\nu }} \Vert _{\text {HS}}^2d\pi \\&\quad =\int \limits _{{\widehat{G}}}\Vert {\widehat{G}}_{\varkappa ,k}(2^{k}\cdot \pi ') (1-\phi )(\pi '({\mathcal {R}}))((2^k\cdot \pi ')({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }} \Vert _{\text {HS}}^22^{kQ}d\pi '\\&\quad =\int \limits _{{\widehat{G}}}\Vert {\widehat{G}}_{\varkappa ,k}(2^{k}\cdot \pi ') (1-\phi )(\pi '({\mathcal {R}}))(2^{k\nu }\pi ({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }} \Vert _{\text {HS}}^22^{kQ}d\pi '\\&\quad =\int \limits _{{\widehat{G}}}\Vert {\widehat{G}}_{\varkappa ,k}(2^{k}\cdot \pi ') (1-\phi )(\pi '({\mathcal {R}}))(\pi '({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }} \Vert _{\text {HS}}^22^{k(Q-Q\alpha )}d\pi '\\&\quad \lesssim \int \limits _{{\widehat{G}}}\Vert {\widehat{G}}_{\varkappa ,k}(2^{k}\cdot \pi ') (1-\phi )(\pi '({\mathcal {R}}))(1+\pi '({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }} \Vert _{\text {HS}}^22^{k(Q-Q\alpha )}d\pi '. \end{aligned}$$Then, we have estimated
$$\begin{aligned}&\Vert {\widehat{G}}_{\varkappa ,k} (1-\phi )((2^{-k}\cdot \pi )({\mathcal {R}}))\pi ({\mathcal {R}})^{-\frac{Q\alpha }{2\nu }}\Vert _{L^2({\widehat{G}})}^2\\&\quad \lesssim \int \limits _{{\widehat{G}}}\Vert {\widehat{G}}_{\varkappa ,k}(2^{k}\cdot \pi ') (1-\phi )(\pi '({\mathcal {R}}))(1+\pi '({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }} \Vert _{\text {HS}}^22^{k(Q-Q\alpha )}d\pi '. \end{aligned}$$Now, let us use the identity
$$\begin{aligned} (1-\phi )=(1-\phi )^2+\phi (1-\phi ). \end{aligned}$$We have that
$$\begin{aligned}&\Vert {\widehat{G}}_{\varkappa ,k}(2^{k}\cdot \pi ') (1-\phi )(\pi '({\mathcal {R}}))(1+\pi '({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }} \Vert _{L^2({\widehat{G}})}\\&\quad \le \Vert {\widehat{G}}_{\varkappa ,k}(2^{k}\cdot \pi ') (1-\phi )^2(\pi '({\mathcal {R}}))(1+\pi '({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }} \Vert _{L^2({\widehat{G}})}\\&\qquad +\Vert {\widehat{G}}_{\varkappa ,k}(2^{k}\cdot \pi ') \phi (1-\phi )(\pi '({\mathcal {R}}))(1+\pi '({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }} \Vert _{L^2({\widehat{G}})}=R_{1}+R_{2}. \end{aligned}$$Let us estimate \(R_2,\) that is the last term of the previous inequality.
$$\begin{aligned} R_2&=\Vert {\widehat{G}}_{\varkappa ,k}(2^{k}\cdot \pi ') \phi (1-\phi )(\pi '({\mathcal {R}}))(1+\pi '({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }} \Vert _{L^2({\widehat{G}})}\\&\lesssim \Vert {\widehat{G}}_{\varkappa ,k}\Vert _{L^\infty ({\widehat{G}})}\Vert (1+\pi '({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }} \phi (1-\phi )(\pi '({\mathcal {R}})) \Vert _{L^2({\widehat{G}})}\\&\lesssim \Vert {G}_{\varkappa ,k}\Vert _{L^{1}(G)} \Vert (1+{\mathcal {R}})^{-\frac{Q\alpha }{2\nu }}[ [\phi (1-\phi )]({\mathcal {R}})\delta \Vert _{L^2(G)}. \end{aligned}$$In view of the Hulanicki theorem in [8], we have that \([\phi (1-\phi )]({\mathcal {R}})\delta \in {\mathscr {S}}(G),\) and
$$\begin{aligned} \Vert (1+{\mathcal {R}})^{-\frac{Q\alpha }{2\nu }}[ [\phi (1-\phi )]({\mathcal {R}})\delta \Vert _{L^2(G)}=\Vert \phi (1-\phi )]({\mathcal {R}})\delta \Vert _{L^2_{ -\frac{Q\alpha }{2}}(G)}<\infty . \end{aligned}$$So, we have proved that
$$\begin{aligned} R_2\lesssim \Vert {G}_{\varkappa ,k}\Vert _{L^{1}(G)}\lesssim 2^{-k\varkappa }. \end{aligned}$$Now, let \(N=n_{0}\nu >Q/2,\) where \(n_0\in {\mathbb {N}}.\) Let us consider and let \({\mathcal {B}}_N\) be the Bessel potential defined by \(\widehat{{\mathcal {B}}}_N(\pi )=(1+\pi ({\mathcal {R}}))^{\frac{N}{\nu }}.\) We can estimate
$$\begin{aligned} R_1&= \int \limits _{{\widehat{G}}}\Vert {\widehat{G}}_{\varkappa ,k}(2^{k}\cdot \pi ') (1-\phi )^2(\pi '({\mathcal {R}})) (1+\pi '({\mathcal {R}}))^{-\frac{Q\alpha }{2\nu }} \Vert _{\text {HS}}^2d\pi '\\&\le \int \limits _{{\widehat{G}}}\Vert {\widehat{G}}_{\varkappa ,k}(2^{k}\cdot \pi ') (1-\phi )^2(\pi '({\mathcal {R}})) \Vert _{\text {HS}}^2d\pi '\\&=\int \limits _{{\widehat{G}}}\Vert {\widehat{G}}_{\varkappa ,k}(2^{k}\cdot \pi ') (1-\phi )(\pi '({\mathcal {R}}))(1+\pi '({\mathcal {R}}))^{\frac{N}{\nu }}(1-\phi )(\pi '({\mathcal {R}}))(1+\pi '({\mathcal {R}}))^{-\frac{N}{\nu }}\Vert _{\text {HS}}^2d\pi '. \end{aligned}$$Note that the pseudo-differential operator \((1-\phi )({\mathcal {R}})(1+{\mathcal {R}})^{-\frac{N}{\nu }}\) is smoothing and then its right-convolution kernel \(k_{N}\) belongs to the Schwartz space \({\mathscr {S}}(G).\) Note also that
$$\begin{aligned} \Vert (1-\phi )(\pi '({\mathcal {R}}))\Vert _{L^\infty ({\widehat{G}})}=\sup _{\pi '\in {\widehat{G}}} \Vert (1-\phi )(\pi '({\mathcal {R}}))\Vert _{\text {op}}\le \Vert 1-\phi \Vert _{L^{\infty }({\mathbb {R}}^+)}\lesssim 1, \end{aligned}$$in view of the Functional calculus of the operator \(\pi '({\mathcal {R}}),\) \(\pi '\in {\widehat{G}},\) and the properties of \(\phi \) in (3.8). So, using the Plancherel theorem we estimate
$$\begin{aligned} R_1&=\int \limits _{{\widehat{G}}}\Vert {\widehat{G}}_{\varkappa ,k}(2^{k}\cdot \pi ') (1-\phi )(\pi '({\mathcal {R}}))(1+\pi '({\mathcal {R}}))^{\frac{N}{\nu }}(1-\phi )(\pi '({\mathcal {R}}))\\&\quad \times (1+\pi '({\mathcal {R}}))^{-\frac{N}{\nu }}\Vert _{\text {HS}}^2d\pi '\\&\le \Vert {\widehat{G}}_{\varkappa ,k}\Vert ^2_{L^{\infty }({\widehat{G}})}\Vert (1-\phi )(\pi '({\mathcal {R}}))\Vert ^2_{L^\infty ({\widehat{G}})}\int \limits _{{\widehat{G}}}\Vert (1+\pi '({\mathcal {R}}))^{\frac{N}{\nu }} \\&\quad \times (1-\phi )(\pi '({\mathcal {R}}))(1+\pi '({\mathcal {R}}))^{-\frac{N}{\nu }}\Vert _{\text {HS}}^2d\pi '\\&\le \Vert {\widehat{G}}_{\varkappa ,k}\Vert ^2_{L^{\infty }({\widehat{G}})}\Vert (1-\phi )(\pi '({\mathcal {R}}))\Vert ^2_{L^\infty ({\widehat{G}})}\int \limits _{{\widehat{G}}}\Vert (1+\pi '({\mathcal {R}}))^{\frac{N}{\nu }}{\widehat{k}}_N(\pi ')\Vert _{\text {HS}}^2d\pi '\\&\lesssim 2^{-2k\varkappa }\int \limits _{{\widehat{G}}}\Vert (1+\pi '({\mathcal {R}}))^{\frac{N}{\nu }}{\widehat{k}}_N(\pi ')\Vert _{\text {HS}}^2d\pi '\\&= 2^{-2k\varkappa }\int \limits _{{\widehat{G}}}\Vert (1+{\mathcal {R}})^{\frac{N}{\nu }}k_N\Vert _{L^2(G)}^2. \end{aligned}$$So, we have proved that
$$\begin{aligned} R_1\lesssim \Vert {G}_{\varkappa ,k}\Vert _{L^{1}(G)}\lesssim 2^{-k\varkappa }. \end{aligned}$$The analysis above allows us to conclude that
$$\begin{aligned} \Vert {\widehat{G}}_{\varkappa ,k} (1-\phi )((2^{-k}\cdot \pi )({\mathcal {R}})) {\widehat{K}}\Vert _{L^2({\widehat{G}})}\lesssim 2^{-k(\frac{Q(1-\alpha )}{2} +\varkappa )}= 2^{\frac{kQ(1-a)}{2}}, \end{aligned}$$as well as the estimate (3.29). It follows then that
$$\begin{aligned} J_{1,k}\lesssim 2^{-k\varkappa }|y|^{Q(1-\theta )/\lambda }2^{kQ(1-\theta )/\lambda }. \end{aligned}$$So, to finish our proof in Case 2, note that \(|y|^{-1}\lesssim 2^{k}\) which implies that
$$\begin{aligned} \sum _{k:|y|/2\le 2^{-k}<|y|^{\frac{1-\theta }{1-\alpha }}}I_{k}\lesssim \sum _{k:|y|/2\le 2^{-k}<|y|^{\frac{1-\theta }{1-\alpha }}} 2^{-k\varkappa }|y|^{Q(1-\theta )/\lambda }2^{kQ(1-\theta )/\lambda }\lesssim 1. \end{aligned}$$(3.32) - Case 3: :
-
\(|y|^{\frac{1-\theta }{1-\alpha }}\le 2^{-k}.\) Define
$$\begin{aligned} \delta _k:=4\cdot 2^{-k(1-\alpha )}. \end{aligned}$$Note that
$$\begin{aligned} \delta _k/2\ge 2|y|^{1-\theta }. \end{aligned}$$Split \(I_k\) as follows,
$$\begin{aligned} I_k:=\int \limits _{|x|>2|y|^{1-a}}|K*G_{\varkappa ,k}(y^{-1}x)-K*G_{\varkappa ,k}(x)|dx=J_{1,k}+J_{2,k}, \end{aligned}$$where
$$\begin{aligned} J_{1,k}=\int \limits _{\{|x|>2|y|^{1-a} \}\cap \{x:|x|\le \delta _k\} }|K*G_{\varkappa ,k}(y^{-1}x)-K*G_{\varkappa ,k}(x)|dx \end{aligned}$$(3.33)and
$$\begin{aligned} J_{2,k}=\int \limits _{\{|x|>2|y|^{1-a} \}\cap \{x:|x|> \delta _k\} }|K*G_{\varkappa ,k}(y^{-1}x)-K*G_{\varkappa ,k}(x)|dx. \end{aligned}$$(3.34)Now, let us estimate \(J_{2,k}.\) Indeed, the change of variable \(z=xt^{-1},\) for \(t\in \text {supp}(G_{\varkappa ,k})\) implies
$$\begin{aligned} J_{2,k}&=\int \limits _{ \{|x|>2|y|^{1-a} \}\cap \{x:|x|> \delta _k\} }|K*G_{\varkappa ,k}(y^{-1}x)-K*G_{\varkappa ,k}(x)|dx\\&=\int \limits _{ \{|x|>2|y|^{1-a} \}\cap \{x:|x|> \delta _k\} }|\int \limits _{G} (K(y^{-1}xt^{-1}) G_{\varkappa ,k}(t)-K(xt^{-1}) G_{\varkappa ,k}(t))dt|dx\\&\le \int \limits _{G} |G_{\varkappa ,k}(t)| \int \limits _{ \{|x|>2|y|^{1-a} \}\cap \{x:|x|> \delta _k\} } |K(y^{-1}xt^{-1}) -K(xt^{-1})|dxdt\\&\le \int \limits _{G} |G_{\varkappa ,k}(t)| \int \limits _{\{|zt|>2|y|^{1-a} \}\cap \{z:|zt|> \delta _k\}} |K(y^{-1}z)-K(z)|dzdt\\&\le \int \limits _{G} |G_{\varkappa ,k}(t)| \int \limits _{ \{z:|zt|> \delta _k\}} |K(y^{-1}z)-K(z)|dz dt. \end{aligned}$$Note that when \(|zt|>\delta _{k},\) we have \(|t|+|z|\ge |zt|>\delta _{k}\) and with \(t\in \text {supp}(G_{\varkappa ,k}),\) \(|t|<2^{-k+1}\) from which ones deduce the inclusion of sets
$$\begin{aligned} \{z:|zt|> \delta _k \}\subset \{z: |z|>\delta _k-2^{-k+1}\}, \end{aligned}$$and the estimate
$$\begin{aligned} \int \limits _{ \{z:|zt|> \delta _k\}} |K(y^{-1}z)-K(z)|dz\le & {} \int \limits _{ \{z: |z|>\delta _k-2^{-k+1}\} } |K(y^{-1}z)-K(z)|dz \\\le & {} \int \limits _{ \{z: |z|>\delta _k/2\} } |K(y^{-1}z)-K(z)|dz \\\le & {} \int \limits _{ \{z: |z|>2|y|^{1-\theta }\} } |K(y^{-1}z)-K(z)|dz , \end{aligned}$$where we have used that \(\delta _k/2\ge 2|y|^{1-\theta }.\) So, the previous analysis together with (3.17) gives
$$\begin{aligned} J_{2,k}\lesssim 2^{-k\varkappa } \int \limits _{ \{z: |z|>2|y|^{1-\theta }\} } |K(y^{-1}z)-K(z)|dz\lesssim 2^{-k\varkappa }. \end{aligned}$$(3.35)The same analysis done in Case 2, allows us to deduce the estimate
$$\begin{aligned} J_{1,k}\le C\delta _{k}^{\frac{Q}{2}}2^{-kQ(a-1)/2} \le C2^{-k\varkappa }. \end{aligned}$$So, to finish Case 3, note that
$$\begin{aligned} \sum _{k:|y|^{\frac{1-\theta }{1-\alpha }}<2^{-k} }I_{k}\lesssim \sum _{k:|y|^{\frac{1-\theta }{1-\alpha }}<2^{-k}} 2^{-k\varkappa }\lesssim 1. \end{aligned}$$(3.36)
The proof of Theorem 1.4 is complete. \(\square \)
References
Björk, J.-E.: \(L^p\) estimates for convolution operators defined by compactly supported distributions in Rn. Math. Scand. 34, 129–136 (1974)
Calderón, A.P., Zygmund, A.: On the existence of certain singular integrals. Acta Math. 88, 85–139 (1952)
Cardona, D. Ruzhansky, M.: Boundedness of oscillating singular integrals on Lie groups of polynomial growth. (2022). arXiv:2201.12883
Cardona, D. Ruzhansky, M. Oscillating singular integral operators on graded Lie groups revisited. (2022). arXiv:2201.12881
Fefferman, C.: Inequalities for strongly singular integral operators. Acta Math. 24, 9–36 (1970)
Fefferman, C., Stein, E.: \(H^p\) spaces of several variables. Acta Math. 129, 137–193 (1972)
Fefferman, C.: \(L^p\)-bounds for pseudo-differential operators. Isr. J. Math. 14, 413–417 (1973)
Fischer, V., Ruzhansky, M.: Quantization on nilpotent Lie groups. Progress in Mathematics, Vol. 314, Birkhauser, (2016)
Folland, G., Stein, E.: Hardy Spaces on Homogeneous Groups. Princeton University Press, Princeton (1982)
Hardy, G.H.: A theorem concerning Taylor’s series. Quart. J. Pure Appl. Math. 44, 147–160 (1913)
Helffer, B., Nourrigat, J.: Caracterisation des operateurs hypoelliptiques homogenes invariants a gauche sur un groupe de Lie nilpotent gradue. Comm. Partial Differ. Eqs. 4(8), 899–958 (1979)
Hirschman, I.I.: Multiplier transformations I. Duke Math. J. 26, 222–242 (1956)
Hörmander, L.: Estimates for translation invariant operators in Lp spaces. Acta Math. 104, 93–139 (1960)
Rothschild, L.P., Stein, E.M.: Hypoelliptic differential operators and nilpotent groups. Acta Math. 137(3–4), 247–320 (1976)
Seeger, A.: Some inequalities for singular convolution operators in Lp-spaces. Trans. Am. Math. Soc. 308(1), 259–272 (1988)
Seeger, A.: Remarks on singular convolution operators. Studia Math. 97(2), 91–114 (1990)
Seeger, A.: Endpoint estimates for multiplier transformations on compact manifolds. Indiana Univ. Math. J. 40(2), 471–533 (1991)
Seeger, A., Sogge, C.D.: On the boundedness of functions of (pseudo-) differential operators on compact manifolds. Duke Math. J. 59(3), 709–736 (1989)
Seeger, A., Sogge, C.D., Stein, E.M.: Regularity properties of Fourier integral operators. Ann. Math. 134(2), 231–251 (1991)
Sjölin, P.: \(L^p\) estimates for strongly singular convolution operators in \({\mathbb{R} }^n\). Ark. Mat. 14(1), 59–64 (1976)
Stein, E.M.: Singular integrals: the roles of Calderón and Zygmund. Notices Am. Math. Soc. 45, 1130–1140 (1998)
Stein, E.M.: Singular integrals and differentiability properties of functions. Princeton Press, Princeton (1970)
Tao, T.: The weak-type \((1,1)\) of Fourier integral operators of order \(-(n - 1)/2,\). J. Aust. Math. Soc. 76(1), 1–21 (2004)
Taylor, M.: Pseudo-differential Operators. Princeton Univ. Press, Princeton (1981)
Wainger, S.: Special trigonometric series in \(k\)-dimensions. Mem. Am. Math. Soc. 59 (1965)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors are supported by the FWO Odysseus 1 grant G.0H94.18N: Analysis and Partial Differential Equations and by the Methusalem programme of the Ghent University Special Research Fund (BOF) (Grant number 01M01021). Michael Ruzhansky is also supported by EPSRC Grant EP/R003025/2.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cardona, D., Ruzhansky, M. Björk–Sjölin condition for strongly singular convolution operators on graded Lie groups. Math. Z. 302, 1957–1981 (2022). https://doi.org/10.1007/s00209-022-03110-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-022-03110-8