Abstract
In this article, we define and we study the Hardy spaces associated with the Weinstein operator. We establish refined Sobolev inequalities between the homogeneous Weinstein-Besov spaces and many spaces, as the homogeneous Weinstein-Riesz spaces and the generalized Lorentz spaces. Next we prove Hardy-type inequalities in the homogeneous Weinstein-Besov space, homogeneous Weinstein-Riesz space, and Weinstein-Hardy space.
Similar content being viewed by others
1 Introduction
The theory of classical real Hardy spaces in \(\mathbb {R}^{d}\) originates from the study of holomorphic functions of one variable in the upper half-plane. For characterizations and properties of the classical Hardy spaces we refer the reader to the original work [1–3]. Hardy spaces on spaces of homogeneous type (see, e.g., [4, 5]) are extensions of the classical real Hardy spaces on \(\mathbb {R}^{d}\). More information is given in [6] and the references therein. We note that the subject of the generalized Hardy spaces associated with some operators was studied by many authors (see [7–10], among others).
A well-known result of Hardy states that if \(f \in H^{p}(\mathbb {R}^{d})\), \(0 < p \leq1\), then the inequality of the Euclidean Fourier transform is
Analogs of Hardy’s inequality in the context of eigenfunction expansions have been considered by several authors. In [11] Colzani-Travaglini established a Hardy inequality for eigenfunction expansions associated to the Laplace-Beltrami operator on compact Riemannian manifolds. They have also treated compact symmetric spaces. Kanjin [8] proved Hardy’s inequality for the one-dimensional Hermite and Laguerre expansions of the functions f from \(H ^{1} ( \mathbb {R})\). Later, Radha and Thangavelu [12] treated Hardy’s inequalities and proved them for higher-dimensional Hermite and special Hermite expansions of functions in Hardy spaces. Inequalities for multiple Laguerre expansions are also deduced in the case of Laguerre expansions.
In this paper, we consider the Weinstein operator defined on \(\Bbb {R}^{d}\times (0,\infty)\) by
where \(\Delta_{d}\) is the Laplacian for the d first variables and \(\mathcal{L} _{\beta}\) the Bessel operator for the last variable, given by
For \(d>2\), the operator \(\triangle_{\beta}\) is the Laplace-Beltrami operator on the Riemanian space \(\Bbb{R}^{d}\times (0,\infty)\) equipped with the metric
(cf. [13]). The Weinstein operator \(\triangle_{\beta}\) has several applications in pure and applied mathematics especially in fluid mechanics (cf. [14]).
The harmonic analysis associated with the Weinstein operator is studied by Ben Nahia and Ben Salem (cf. [13, 15]). In particular the authors have introduced and studied the generalized Fourier transform associated with the Weinstein operator. This transform is called the Weinstein transform.
Very recently, many authors have investigated the behavior of the Weinstein transform with respect to several problems already studied for the Fourier transform; for instance, Paley-Wiener theorems [16], the Bockner-Hecke theorem [17], uncertainty [18], the Gabor transform [19], Heisenberg-type inequalities [20], and so on.
In the present paper, we intend to continue our study of generalized spaces of type Sobolev associated with the Weinstein operator started in [21]. Indeed, in [21] the author provided a general theory for the Littlewood-Paley case associated with the Weinstein operators. Furthermore, some function spaces associated with Weinstein operators: homogeneous generalized Bessel potential spaces, homogeneous Besov spaces associated with Weinstein operator are studied. We obtain their basic properties and apply them to an estimate of the solutions of the Weinstein heat equation.
The first subject of this paper is to address and analyze in this new context the atomic Hardy spaces in the spirit of the classical scheme. The second subject is to establish Hardy-type inequalities between the homogeneous Weinstein-Besov spaces and many spaces, as the homogeneous Weinstein-Riesz spaces and the generalized Lorentz spaces.
The contents of the paper is as follows. In Section 2 we recall some basic results as regards the harmonic analysis associated with the Weinstein operator. In Section 3, we give an appropriate definition of atoms and investigate the atom characterization of Hardy spaces associated with the Weinstein operator. Next we establish many estimates for the Weinstein transform of the functions in the generalized Hardy spaces. In Section 4 we establish a Hardy type inequality in the homogeneous Weinstein-Riesz spaces. Next, we introduce the generalized Lorentz spaces associated with the Weinstein operator. We prove refined Sobolev inequalities between the homogeneous Weinstein-Besov spaces and the generalized Lorentz space. Finally, Hardy-type inequalities in the homogeneous Weinstein-Besov spaces and the generalized Hardy spaces are proved.
Throughout this paper, the letter C indicates a positive constant, not necessarily the same in each occurrence.
2 Preliminaries
In order to confirm the basic and standard notations we briefly overview the Weinstein operator and related harmonic analysis. The main references are [13, 15]. In this section we collect some notations and results on the Weinstein kernel, the Weinstein transform, and the Weinstein convolution.
In the following we denote by
-
\(C_{*}(\mathbb {R}^{d + 1})\) the space of continuous functions on \(\mathbb {R}^{d + 1}\), even with respect to the last variable.
-
\(C_{*}^{p}(\mathbb {R}^{d + 1})\) the space of functions of class \(C^{p}\) on \(\mathbb {R}^{d + 1}\), even with respect to the last variable.
-
\(\mathcal{E}_{*}(\mathbb {R}^{d+1})\) the space of \(C^{\infty}\)-functions on \(\mathbb {R}^{d+1}\), even with respect to the last variable.
-
\(\mathcal{S}_{*}(\mathbb {R}^{d+1})\) the Schwartz space of rapidly decreasing functions on \(\mathbb {R}^{d+1}\), even with respect to the last variable.
-
\(D_{*}(\mathbb {R}^{d+1})\) the space of \(C^{\infty}\)-functions on \(\mathbb {R}^{d+1}\) which are of compact support, even with respect to the last variable.
-
\(\mathcal{S}'_{*}(\mathbb {R}^{d+1})\) the space of temperate distributions on \(\mathbb {R}^{d+1}\), even with respect to the last variable. It is the topological dual of \(\mathcal {S}_{*}(\mathbb {R}^{d+ 1})\).
We consider the Weinstein operator \(\triangle_{\beta}\) defined by \(\forall x = (x',x_{d+1}) \in \mathbb {R}^{d} \times(0,\infty)\),
where \(\triangle_{x'}\) is the Laplace operator on \(\mathbb {R}^{d}\), and \(\mathcal{L}_{\beta,x_{d+1}}\) the Bessel operator on \((0,\infty)\) given by
The Weinstein kernel Λ is given by
where \(j_{\beta}(x_{d+1}z_{d+1})\) is the normalized Bessel function. The Weinstein kernel satisfies the following properties:
(i) For all \(z, t \in \mathbb {C}^{d+1}\), we have
(ii) For all \(\nu\in \mathbb {N}^{d+1}\), \(x \in \mathbb {R}^{d+1}\), and \(z \in \mathbb {C}^{d+1}\), we have
where \(D_{z}^{\nu} = \frac{\partial^{\nu}}{\partial z_{1}^{\nu_{1}}\cdots\partial z_{d+1}^{\nu_{d+1}}}\) and \(|\nu| = \nu_{1} + \cdots + \nu_{d+1}\). In particular
The Weinstein intertwining operator is the operator \(\mathcal {R}_{\beta}\) defined on \(C_{*}(\mathbb {R}^{d+1})\) by
We note that the Weinstein kernel has the following representation
We denote by \(L_{\beta}^{p}(\mathbb {R}^{d+1}_{+})\) the space of measurable functions on \(\mathbb {R}^{d+1}_{+}\) such that
where \(d\mu_{\beta}\) is the measure on \(\mathbb {R}^{d+1}_{+}\) given by
The Weinstein transform is given for f in \(L_{\beta}^{1}(\mathbb {R}^{d+1}_{+})\) by
Some basic properties of this transform are the following:
(i) For f in \(L_{\beta}^{1}(\mathbb {R}^{d+1}_{+})\),
(ii) For f in \(\mathcal{S}_{*}(\mathbb {R}^{d+1})\) we have
(iii) For all f in \(L_{\beta}^{1}(\mathbb {R}^{d+1}_{+})\), if \(\mathcal {F}_{W}(f)\) belongs to \(L_{\beta}^{1}(\mathbb {R}^{d+1}_{+})\), then
where
(iv) For \(f\in\mathcal{S}_{*}(\mathbb {R}^{d+1})\), if we define
then
Proposition 2.1
-
(i)
The Weinstein transform \(\mathcal{F}_{W}\) is a topological isomorphism from \(\mathcal{S}_{*}(\mathbb {R}^{d+1})\) onto itself and for all f in \(\mathcal{S}_{*}(\mathbb {R}^{d+1})\),
$$ \int_{\mathbb {R}^{d+1}_{+}} \bigl|f(x)\bigr|^{2}\,d\mu_{\beta}(x) = C(\beta)\int_{\mathbb {R}^{d+1}_{+}}\bigl| \mathcal{F}_{W}(f) (\xi)\bigr|^{2}\,d\mu_{\beta}(\xi). $$(2.13) -
(ii)
In particular, the renormalized Weinstein transform \(f \to C(\beta)^{\frac{1}{2}}\mathcal{F}_{W}(f)\) can be uniquely extended to an isometric isomorphism from \(L_{\beta}^{2}(\mathbb {R}^{d+1}_{+})\) onto itself.
The generalized translation operator \(\tau_{x}\), \(x\in\Bbb{R}^{d+1}_{+}\), associated with the operator \(\triangle_{\beta}\) is defined by
where \(f \in{C}_{\ast }(\Bbb{R}^{d+1})\).
By using the Weinstein kernel, we can also define a generalized translation. For a function \(f\in\mathcal{S}_{*}(\mathbb {R}^{d+1})\) and \(y\in \mathbb {R}^{d+1}_{+}\) the generalized translation \(\tau_{y} f\) is defined by the following relation:
By using the generalized translation, we define the generalized convolution product \(f*_{W}g\) of the functions \(f, g\in L^{1}_{\beta}(\mathbb {R}^{d+1}_{+})\) as follows:
This convolution is commutative and associative and satisfies the following:
(i) For all \(f, g\in L^{1}_{\beta}(\mathbb {R}^{d+1}_{+})\), \(f*_{W}g\) belongs to \(L^{1}_{\beta}(\mathbb {R}^{d+1}_{+})\) and
(ii) Let \(1\leq p, q, r\leq\infty\) such that \(\frac{1}{p}+\frac{1}{q}-\frac{1}{r}=1\). If \(f\in L^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\) and \(g\in L^{q}_{\beta}(\mathbb {R}^{d+1}_{+})\), then \(f*_{W}g\in L^{r}_{\beta}(\mathbb {R}^{d+1}_{+})\) and
We define the tempered distribution \(\mathcal{T}_{f}\) associated with \(f\in L^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\) by
for \(\phi\in\mathcal{S}_{*}(\mathbb {R}^{d+1})\) and denote by \(\langle f,\phi \rangle_{\beta}\) the integral in the right hand side.
Definition 2.1
The Weinstein transform \(\mathcal{F}_{W}(\tau)\) of a distribution \(\tau \in\mathcal{S}'_{*}(\mathbb {R}^{d+1})\) is defined by
for \(\phi\in\mathcal{S}_{*}(\mathbb {R}^{d+1})\).
In particular, for \(f\in L^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\), it follows that for \(\phi\in\mathcal{S}_{*}(\mathbb {R}^{d+1})\),
Proposition 2.2
The Weinstein transform \(\mathcal{F}_{W}\) is a topological isomorphism from \(\mathcal{S}'_{*}(\mathbb {R}^{d+1})\) onto itself.
Definition 2.2
The generalized convolution product of a distribution S in \(\mathcal{S}'_{*}(\mathbb {R}^{d+1})\) and a function ϕ in \(\mathcal{S}_{*}(\mathbb {R}^{d+1})\) is the function \(S\ast_{W} \phi\) defined by
Proposition 2.3
Let f be in \(L^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\), \(1\leq p\leq\infty\), and ϕ in \(\mathcal{S}_{*}(\mathbb {R}^{d+1})\). Then the distribution \(\mathcal{T}_{f}\ast_{W}\phi\) is given by the function \(f\ast_{W} \phi\) and \(\mathcal{T}_{f}\ast_{W}\phi\) belongs to \(L^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\). Moreover, for all \(\psi\in\mathcal{S}_{*}(\mathbb {R}^{d+1})\),
where \(\check{\psi}(x) = \psi(-x)\), and
For each \(u\in\mathcal{S}'_{*}(\mathbb {R}^{d+1})\), we define the distribution \(\triangle_{\beta} u\), by \(\langle\triangle_{\beta} u, \psi\rangle=\langle u, \triangle _{\beta }\psi\rangle\). This distribution satisfies the following property:
In the following we denote \(\mathcal{T}_{f}\) given by (2.17) by f for simplicity.
3 Generalized Hardy spaces
Definition 3.1
Let \(0 < p \leq 1 \leq q \leq \infty\), with \(p\neq q\). A function \(a \in L^{q}_{\beta}(\mathbb {R}^{d+1}_{+})\) is a \((p,q,\beta)\)-atom if a satisfies the following conditions:
-
(i)
There exist \(r > 0\) such that \(\operatorname{supp}(a) \subset B_{+}(0,r):= \{x \in \mathbb {R}^{d+1}_{+}: \|x\| < r\}\).
-
(ii)
\(\|a\|_{L^{q}_{\beta}(\mathbb {R}^{d+1}_{+})} \leq (\mu_{\beta}(B_{+}(0,r)))^{\frac{1}{q}-\frac{1}{p}}\), where r is given in (i).
-
(iii)
\(\int_{\mathbb {R}^{d+1}_{+}} y^{\nu}a(y)\,d\mu_{\beta}(y)\), \(|\nu| \leq N\), with \(N = [(2\beta + d + 2)(\frac{{1}}{p} - 1)]\) is the greatest integer not exceeding \((2\beta + d + 2)(\frac{{1}}{p} - 1)\).
Definition 3.2
Let \(0 < p \leq1\). We define the Weinstein-Hardy space \(H^{p}_{\beta }(\mathbb {R}^{d+1}_{+})\) to be the space of distributions in \(\mathcal{S}'_{*}(\mathbb {R}^{d+1})\) such that it can be represented by
where \(\lambda_{j} \in \mathbb {C}\) such that \(\sum_{j=0}^{\infty}|\lambda_{j}|^{p} < \infty\), there exist \(q \in [1,\infty]\), \(q > p\) where \(a_{j}\) is a \((p,q,\beta)\)-atom for all \(j \in \mathbb {N}\), and the series in (3.1) converges in \(\mathcal{S}'_{*}(\mathbb {R}^{d+1})\). We define on \(H^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\) the norm \(\|\cdot\|_{H^{p}_{\beta}(\mathbb {R}^{d+1}_{+})}\) by
where the infimum is taken over all those sequences \((\lambda_{j})_{j \in \mathbb {N}} \subset \mathbb {C}\) such that f is given (3.1) for certain \((p,q,\beta)\)-atoms \(a_{j}\), \(j \in \mathbb {N}\).
For the spaces \(H^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\), we prove the following embedding result.
Theorem 3.1
Let \(0 < p \leq1\) and \(f \in H^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\), then \(f \in L^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\), and
Proof
Let a be a \((p,q,\beta)\)-atom where \(0 < p \leq 1 \leq q \leq \infty\), and \(p\neq q\). From the Definition 3.1, there exist \(r > 0\) such that
Then from Hölder’s inequality
Now let \(f \in H^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\), then \(f = \sum_{j=0}^{\infty}\lambda_{j}a_{j}\), where \(\lambda_{j} \in \mathbb {C}\) and \(a_{j}\) is a \((p,q,\beta)\)-atom, for all \(j \in \mathbb {N}\), such that \(\sum_{j=0}^{\infty}|\lambda_{j}|^{p} < \infty\). From the above, the series defining f converges in \(L^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\). Hence, \(f \in L^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\) and
Using the fact that \(\sum_{j=0}^{\infty}|\lambda_{j}| \leq (\sum_{j=0}^{\infty}|\lambda_{j}|^{p})^{\frac{1}{p}}\), we obtain the result. □
Theorem 3.2
Let \(0 < p \leq1\) and \(f \in H^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\), then there exists a positive constant C such that
Proof
Let \(f \in H^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\), \(0 < p \leq1\). Then \(f = \sum_{j=0}^{\infty}\lambda_{j}a_{j}\), where the series converges in \(\mathcal{S}'_{*}(\mathbb {R}^{d+1})\) for a certain \((p,q,\beta)\)-atom and \(\lambda _{j} \in \mathbb {C}\), \(j \in \mathbb {N}\). As \(\mathcal{F}_{W}\) is a continuous linear mapping from \(\mathcal{S}'_{*}(\mathbb {R}^{d+1})\) onto itself, we have
Hence
Moreover, since \(\sum_{j=0}^{\infty}|\lambda_{j}| \leq (\sum_{j=0}^{\infty}|\lambda_{j}|^{p} )^{\frac{1}{p}}\), we obtain
Thus it suffices to estimate \(\sup_{j \in \mathbb {N}} |\mathcal {F}_{W}(a_{j})(x)|\). Indeed, let \(j \in \mathbb {N}\), we have from the properties of the \((p,q,\beta)\)-atom \(a_{j}\)
On the other hand, from the definition of the transmutation operator \(\mathcal{R}_{\beta}\), it is easy to obtain
Thus, using the properties of the \((p,q,\beta)-\)atom \(a_{j}\) and Hölder’s inequality
As
we obtain
On the other hand, we proceed as above
We claim that
Indeed, if \(\|x\| \leq r^{-1}\) and as \((2\beta+d+2)(1-\frac{1}{p})+N+1 > 0\), we obtain
Thus from (3.3), we obtain (3.5).
On the other hand if \(\|x\| \geq r^{-1}\) and as \((2\beta+d+2)(1-\frac {1}{p})< 0\), we obtain
Thus from (3.4), we obtain (3.5). Finally, from (3.2), we obtain
which finishes the proof. □
Corollary 3.3
Let \(0 < p \leq 1\) and \(f \in H^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\), then there exist a positive constant C such that
Proof
Let \(0 < p \leq 1\) and \(f \in H^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\), and let \(\lambda > 0\). From Theorem 3.2, we have
Thus the proof of the corollary is complete. □
4 Hardy-type inequalities associated with the Weinstein operator
One of the main tools in this paper is the homogeneous Littlewood-Paley decomposition of distributions associated with the Weinstein operators into dyadic blocs of frequencies.
Lemma 4.1
Let us define by \(\mathcal{C}\) the ring of center 0, of small radius 1 and great radius 2. There exist two radial functions ψ and φ the values of which are in the interval \([0,1]\) belonging to \(D_{*}(\mathbb {R}^{d+1})\) such that
Notations
We denote by
The distribution \(\Delta_{j} f\) is called the jth dyadic block of the homogeneous Littlewood-Paley decomposition of f associated with the Weinstein operators.
Definition 4.1
Let us denote by \(\mathcal{S}'_{h,\beta,*}(\mathbb {R}^{d+1})\) the space of tempered distributions such that
From now on, we agree to the convention that for all non-negative sequence \(\{a_{q}\}_{q\in \mathbb {Z}}\), the notation \(( \sum_{q}a_{q}^{r})^{\frac{1}{r}}\) stands for \(\sup_{q} a_{q}\) in the case \(r = \infty\).
Definition 4.2
Let \(s \in \mathbb {R}\) and \(p, q \in [1,\infty]\). The homogeneous Weinstein-Besov space \(\dot{\mathcal {B}}_{p,q}^{s,\beta}(\mathbb {R}^{d+1}_{+})\) is the space of distributions in \(\mathcal{S}'_{h,\beta,*}(\mathbb {R}^{d+1})\) such that
Remark 4.1
Let p, q be as above. The above definition of the space \(\dot{\mathcal{B}}^{s,\beta}_{p,q}(\mathbb {R}^{d+1}_{+})\) does not depend on the choice of the couple \((\varphi,\psi)\) defining the homogeneous Weinstein-Littlewood-Paley decomposition.
Definition 4.3
For \(s \in \mathbb {R}\), the operator \(\mathcal {R}^{s}_{\beta }\) from \(\mathcal{S}'_{h,\beta,*}(\mathbb {R}^{d+1})\) to \(\mathcal{S}'_{h,\beta ,*}(\mathbb {R}^{d+1})\) is defined by
The operator \(\mathcal{R}_{\beta}^{-s}\) is called a Weinstein-Riesz potential.
Definition 4.4
For \(s \in \mathbb {R}\) and \(1\leq p \leq\infty\), the homogeneous Weinstein-Riesz potential space \(\dot{\mathcal{H}}^{s}_{p,\beta}(\mathbb {R}^{d+1}_{+})\) is defined as the space \(\mathcal{R}_{\beta}^{-s}(L^{p}_{\beta}(\mathbb {R}^{d+1}_{+}))\), equipped with the norm
Theorem 4.2
Let \(\frac{d+2\beta+2}{4} < s < \frac{d+2\beta+2}{2}\) be given. There exists a positive constant C such that for all function \(u \in\dot{\mathcal{H}}_{2,\beta}^{s}(\mathbb {R}^{d+1}_{+})\) we have
For a proof this theorem we need the following lemma, which we obtain by a simple calculation.
Lemma 4.3
Let s be a real number in the interval \((0,\beta+ 1 +\frac{d}{2})\). Then the function \(x \mapsto\|x\|^{-2s}\) belongs to the Weinstein-Besov space \(\dot{\mathcal{B}}_{1,\infty}^{d+2\beta+2-2s,\beta}(\mathbb {R}^{d+1}_{+})\).
Proof of Theorem 4.2
Let us define
Using a homogeneous Littlewood-Paley decomposition and the fact that \(u^{2}\) belongs to \(\mathcal{S}'_{h,\beta,*}(\mathbb {R}^{d+1})\), we can write
Lemma 4.3 claims that \(\|\cdot\|^{-2s}\) belongs to \(\dot{\mathcal {B}}_{2,\infty}^{\frac{d+2\beta+2}{2}-2s,\beta}(\mathbb {R}^{d+1}_{+})\).
Moreover, it is easy to prove that when u belongs to \(\dot{\mathcal {H}}_{2,\beta}^{s}(\mathbb {R}^{d+1}_{+})\), then
Thus
□
For any measurable function f on \(\mathbb {R}^{d+1}_{+}\), we define its distribution and rearrangement functions by
For \(1 \leq p < \infty\) and \(1 \leq q \leq\infty\), define
The generalized Lorentz space \(L^{p,q}_{\beta}(\mathbb {R}^{d+1}_{+})\) is defined as the set of all measurable functions f such that \(\|f\|_{L^{p,q}_{\beta}(\mathbb {R}^{d+1}_{+})} < \infty\).
By a simple calculations, we prove that
It is easy to see that \(L^{p,p}_{\beta}(\mathbb {R}^{d+1}_{+}) = L^{p}_{\beta }(\mathbb {R}^{d+1}_{+})\) and that generalized Lorentz spaces can be derived from \(L^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\) spaces by the real interpolation method. In particular, when \(1 < p < \infty\) we have \(L^{p,q}_{\beta}(\mathbb {R}^{d+1}_{+}) = [L^{1}_{\beta}(\mathbb {R}^{d+1}_{+}),L^{\infty}_{\beta}(\mathbb {R}^{d+1}_{+})]_{\theta ,q}\), with \(\frac{1}{p} = 1 - \theta\).
Theorem 4.4
Let \(q \in[1,\infty]\) and let \(s \in \mathbb {R}\) such that \(0 < s < \frac{2\beta+d+2}{q}\), then we have
where \(p = \frac{q(2\beta+d+2)}{2\beta+d+2-qs}\).
Proof
Let f be in \(\mathcal{S}_{*}(\mathbb {R}^{d+1})\); we have
For \(A > 0\), we put \(f = f_{1,A} + f_{2,A}\), with
where ψ is define in Lemma 4.1.
To proceed as in [22] we prove
and
For all \(\lambda> 0\), we have
We take now \(\lambda= \lambda(A)\) such that
Then we deduce from the choice of λ that
By the Bienaymene-Tchebytchev inequality, we have
Moreover,
From the definitions of λ and \(f_{2,A_{\lambda}}\), we deduce
where
Applying the Hölder inequality, we obtain
Proceeding in an exactly similar manner for \(I_{1}\), we obtain
By a simple calculation it is easy to obtain
Combining our estimates for \(I_{1}\) and \(I_{2}\) we have proved that
which is the desired result. □
Corollary 4.5
Let s be a real number in the interval \((0, \frac{d+2\beta+2}{q})\) and let q be a real number in \([1,\infty]\) There is a constant C such that, for any function \(f \in\dot{\mathcal{B}}_{q,q}^{s,\beta}(\mathbb {R}^{d+1}_{+})\), the following inequality holds:
where \(\theta= 1 - \frac{qs}{d+2\beta+2}\).
For a proof of this result we need the following lemma, which we prove as in the Euclidean case.
Lemma 4.6
Let \(1 \leq p_{1},p_{2},q_{1},q_{2} \leq\infty\). If \(f \in L^{p_{1},q_{1}}_{\beta}(\mathbb {R}^{d+1}_{+})\) and \(g \in L^{p_{2},q_{2}}_{\beta}(\mathbb {R}^{d+1}_{+})\), then
where \(\frac{1}{p} = \frac{1}{p_{1}} + \frac{1}{p_{2}}\) and \(\frac{1}{q} = \frac{1}{q_{1}} + \frac{1}{q_{2}}\).
Proof of Corollary 4.5
Let as in the previous theorem \(1 < p < \infty\) and \(s \in (0,\frac{d+2\beta+2}{q})\) with \(\frac{1}{p} = \frac{1}{q} - \frac{s}{d+2\beta+2}\). We take \(g(x) = \frac{1}{\|x\|^{s}}\) and apply (4.7), in the specific form
where \(r = \frac{d+2\beta+2}{s}\) and \(p = \frac{q(2\beta+d+2)}{2\beta+d+2 - qs}\). As \(g \in L^{r,\infty}_{\beta}(\mathbb {R}^{d+1}_{+})\), we have
Combining this with (4.3), we obtain (4.6). □
Theorem 4.7
Let \(0 < p \leq1\) and \(N = [(2\beta + d + 2)(\frac{{1}}{p} - 1)]\) is the greatest integer not exceeding \((2\beta + d + 2)(\frac{{1}}{p} - 1)\). For any \(f \in H^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\), we have
provided that
Proof
Let \(f \in H^{p}_{\beta}(\mathbb {R}^{d+1}_{+})\), \(0 < p \leq1\). Then \(f = \sum_{j=0}^{\infty}\lambda_{j}a_{j}\), where the series converges in \(\mathcal{S}'_{*}(\mathbb {R}^{d+1})\) for a certain \((p,q,\beta)\)-atom and \(\lambda _{j} \in \mathbb {C}\), \(j \in \mathbb {N}\). As \(\mathcal{F}_{W}\) is a continuous linear mapping from \(\mathcal{S}'_{*}(\mathbb {R}^{d+1})\) onto itself, we have
Hence
Thus in order to establish the theorem, it suffice to prove
Indeed, let R is a positive constant. We have
Now we will estimate \(I_{2}\). Indeed, we apply Hölder’s inequality and Plancherel’s formula, and we use (4.9), and we obtain
Moreover, from the properties of \(a_{j}\), it is easy to see that
Thus
To conclude we distinguish two cases.
First case: If \(s = (2\beta+ d + 2)(2-p)\). We put \(R = \frac {1}{r}\), and we obtain \(I_{1} \leq C\) and \(I_{2} \leq C\).
Second case: If \((2\beta+ d + 2)(2-p) < s < 2\beta+ d + 2 + p(N+1)\). We shall discuss the cases \(0 < r < 1\) and \(r \geq1\).
Indeed, if \(0 < r < 1\), it is easy to see from the definition of N and the condition
that there exists \(R > 0\) such that
Hence we obtain \(I_{1} \leq C\) and \(I_{2} \leq C\).
If \(r \geq 1\). We put \(R = r^{\frac{2\beta + d + 2 - p(N+3+2\beta + d)}{2\beta + d+2+p(N+1)-s}}\), and it is easy to see that \(I_{1} \leq C\) and \(I_{2} \leq C\). Thus the proof of the theorem is finished. □
References
Coifman, RR: A real variable characterization of \(H^{p}\). Stud. Math. 51, 269-274 (1974)
Fefferman, C, Stein, EM: \(H^{p}\) Spaces of several variables. Acta Math. 129, 137-193 (1972)
Stein, EM, Weiss, GL: On the theory of harmonic functions of several variables I (the theory of \(H^{p} \) spaces). Acta Math. 103, 25-62 (1960)
Coifman, RR, Weiss, GL: Extensions of Hardy spaces and their use in analysis. Bull. Am. Math. Soc. 83, 569-615 (1977)
Uchiyama, A: A maximal function characterization of \(H^{p}\) on the space of homogeneous type. Trans. Am. Math. Soc. 262(2), 579-592 (1980)
Stein, EM: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton Math. Ser., vol. 43. Princeton University Press, Princeton (1993)
Anker, J-P, Ben Salem, N, Dziubański, J, Hamda, N: The Hardy space \(H^{1}\) in the rational Dunkl setting. Constr. Approx. (2014). doi:10.1007/s00365-014-9254-2
Kanjin, Y: Hardy’s inequalities for Hermite and Laguerre expansions. Bull. Lond. Math. Soc. 29(3), 331-337 (1997)
Persson, LE, Ragusa, MA, Samko, N, Wall, P: Commutators of Hardy operators in vanishing Morrey spaces. In: 9th International Conference on Mathematical Problems in Engineering, Aerospace and Sciences (ICNPAA 2012). AIP Conference Proceedings, vol. 1439, pp. 859-866 (2012). doi:10.1063/1.4765588
Radha, R: Hardy-type inequalities. Taiwan. J. Math. 4(3), 447-456 (2000)
Colzani, L, Travaglini, G: Hardy-Lorentz spaces and expansions in eigenfunctions of the Laplace-Beltrami operator on compact manifolds. Colloq. Math. 58, 305-316 (1990)
Radha, R, Thangavelu, S: Hardy’s inequalities for Hermite and Laguerre expansions. Proc. Am. Math. Soc. 132(12), 3525-3536 (2004)
Ben Nahia, Z, Ben Salem, N: Spherical harmonics and applications associated with the Weinstein operator. In: Potential Theory - ICPT 94, vol. 94, pp. 233-242 (1996)
Brelot, M: Equation de Weinstein et potentiels de Marcel Riesz. In: Séminaire de Théorie du Potentiel, No. 3 (Paris, 1976/1977). Lecture Notes in Math., vol. 681, pp. 18-38 (1978)
Ben Nahia, Z, Ben Salem, N: On a mean value property associated with the Weinstein operator. In: Potential Theory - ICPT 94, vol. 94, pp. 243-254 (1996)
Othmani, Y, Trimèche, K: Real Paley-Wiener theorems associated with the Weinstein operator. Mediterr. J. Math. 3(1), 105-118 (2006)
Chettaoui, C, Trimèche, K: Bockner-Hecke theorems for the Weinstein transform and applications. Fract. Calc. Appl. Anal. 13(3), 261-280 (2010)
Mejjaoli, H, Salhi, M: Uncertainty principles associated with the Weinstein transform. Czechoslov. Math. J. 61(4), 941-974 (2011)
Mejjaoli, H, Salem, AOA: Weinstein Gabor transform and applications. Adv. Pure Appl. Math. 2(3), 203-210 (2012)
Ben Salem, N, Nasr, AR: Heisenberg-type inequalities for the Weinstein operator. Integral Transforms Spec. Funct. (2015). doi:10.1080/10652469.2015.1038531
Mejjaoli, H: Heat equations associated with Weinstein operator and applications. J. Funct. Spaces Appl. 2013, Article ID 723976 (2013)
Triebel, H: Interpolation Theory, Function Spaces Differential Operators. North-Holland, Amsterdam (1978)
Acknowledgements
The author gratefully acknowledges the Deanship of Scientific Research at the University of Taibah University on material and moral support. The author thanks Professor Khalifa Trimèche and the referees for their suggestions and comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to my Father Youssef Mejjaoli
Competing interests
The author declares that there is no conflict of interests regarding the publication of this paper.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Mejjaoli, H. Hardy-type inequalities associated with the Weinstein operator. J Inequal Appl 2015, 267 (2015). https://doi.org/10.1186/s13660-015-0779-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0779-0