Advertisement

Multivariate Bernstein inequalities for entire functions of exponential type in \(L^{p}(\mathbb{R}^{n})\)\((0< p< 1)\)

  • Ha Huy Bang
  • Vu Nhat Huy
  • Kyung Soo RimEmail author
Open Access
Research
  • 101 Downloads

Abstract

In (Rahman and Schmeisser in Trans. Amer. Math. Soc. 320: 91–103, 1990), the authors prove that the classical Bernstein inequality also holds for \(0< p\le 1\). We extend their result for a differential operator induced by polynomials and find the several equivalent conditions to the Paley–Wiener theorem. As applications of the results, we also derive the Paley–Wiener type theorems for some special compact sets generated by number sequences, generated by polynomial, convex compact sets, in which we show that the Bernstein type inequalities have concrete upper bounds.

Keywords

Bernstein’s inequality Paley–Wiener theorem Fourier transform 

MSC

46F12 

1 Introduction and main theorems

Bernstein’s inequality began with the problem of an estimate of an upper bound for derivatives of functions on the real line in 1912 ([7]). A generalization for the classical Bernstein inequality can be found in [8]: For any polynomial g of degree k,
$$\begin{aligned} \bigl\Vert g^{(m)} \bigr\Vert _{p} \leq k^{m} \Vert g \Vert _{p}, \end{aligned}$$
(1)
where \(1\leq p\leq \infty \). The inequality is very useful in the field of approximation theory and differential equations. Even though there are innumerably many splendid studies related to Bernstein’s inequality after [7] appeared, we only introduce directly related research results with this paper.
For example, the author in [1, p. 144, Theorem 3], derives that
$$ \bigl\Vert (\sin \alpha )f^{\prime } - \sigma (\cos \alpha )f \bigr\Vert _{p} \leq \sigma \Vert f \Vert _{p} \quad (p \geq 1), $$
for all real α, where f is an entire function of exponential type σ belonging to \(L^{p}(\mathbb{R})\). As another result of the same kind, for real valued functions the authors show that
$$ \bigl\Vert \bigl(\bigl(f^{\prime }\bigr)^{2} + \sigma ^{2} (f)^{2}\bigr)^{1/2} \bigr\Vert _{p} \leq 2\sigma C_{p} \Vert f \Vert _{p}, $$
where \(C_{p}^{-p}=\frac{1}{2\pi }\int _{0}^{2\pi } |1 +e^{i\theta }|^{p}\,d\theta < 1\) ([12]). As a consequence of (1), we see that \(\limsup_{m\rightarrow \infty } \| f^{(m)}\|_{p}^{1/m} \leq \sup \{ |\xi |: \xi \in \operatorname{supp}\hat{f}\}\), where is the Fourier transform of f. In [2], the author proves that this inequality becomes the equality and also he derives a radial spectral formula in the following: If \(1\leq p\leq \infty \) and \(f^{(m)}\in L^{p}(\mathbb{R})\)\((m=0,1,2,\ldots)\), then there always exists the limit of \(\| f^{(m)}\|_{p}^{1/m}\) and
$$ \lim_{m\rightarrow \infty } \bigl\Vert f^{(m)} \bigr\Vert _{p}^{1/m} =\sup \bigl\{ \vert \xi \vert : \xi \in \operatorname{supp}\hat{f}\bigr\} . $$
In particular, \(\operatorname{supp}\hat{f} \subset [-\sigma , \sigma ]\) if and only if \(\limsup_{m\rightarrow \infty } \| f^{(m)}\| _{p}^{1/m}\leq \sigma \).

The classical Paley–Wiener theorem gives a characterization of \(L^{2}\)-functions with their Fourier transforms compactly supported (the \(L^{2}\) band-limited functions): Let \(\sigma >0\) and let f be an entire function of exponential type σ. Then \(f\in L^{2}(\mathbb{R}^{n})\) if and only if there exists \(g \in L^{2}(\mathbb{R}^{n})\) vanishing a.e. outside \([-\sigma , \sigma ]\) such that \(f=\hat{g}\) ([11]). As the generalized results for the Paley–Wiener theorem, we mention [13] and [9], in which the authors make an extension to the distribution supported in the closed ball and in convex compact, respectively.

In this paper, we focus on an extension of the inequality (1) to a differential operator for \(0< p< 1\) as a generalization of [12]. First, we establish necessary and sufficient conditions on the sequences of norm of derivatives of functions in \(L_{p}(\mathbb{R}^{n})\) such that their spectrum are contained in a fixed compact set in \(\mathbb{R}^{n}\), refer to the main results of Theorems A, B, and C. In Theorem B and C, we provide the behavior of sequence of higher order derivatives, direction derivatives for the class of entire function of exponential type belong to \(L^{p}(\mathbb{R}^{n})\) spaces (\(0 < p < 1\)) and about three applications of Theorem A. This paper is organized as follows: Sects. 2, 3, and 4 have the proof of each of the main theorems. In the last section, we provide the Paley–Wiener theorem for some special compact sets.

For simplicity, we introduce some notations: We denote the support of f by suppf, the set of nonnegative integers by \(\mathbb{Z}_{\ast }\) (also, \(\mathbb{R}_{\ast }\) means the collection of all nonnegative real numbers) and a differential operator by \(P(D)\) induced from a polynomial \(P(x)\) in \(\mathbb{R}^{n}\), where \(D=-i\partial /\partial x\). For a multi-index \(\alpha \in \mathbb{Z} _{\ast }^{n}\), put \(|\alpha |=\sum_{j=1}^{n}|\alpha _{j}|\)\((\alpha =( \alpha _{1},\ldots ,\alpha _{n}))\).

Let \(K\subset \mathbb{R}^{n}\) be compact and let \(\delta >0\). We write \(K_{\delta }\), \(K_{(\delta )}\) as the real δ-neighborhood of K, the complex δ-neighborhood of K, respectively, i.e., \(K_{\delta }=\{ x \in \mathbb{R}^{n} : \operatorname{dist}(x,K)\leq \delta \}\) and \(K_{(\delta )}=\{ z \in \mathbb{C}^{n} : \operatorname{dist}(z,K)\leq \delta \}\). In addition, throughout this paper, we assume that the function \(f\in L^{p}(\mathbb{R}^{n})\) has the bounded spectral if there is no any comment, e.g., since this condition implies differentiability properties of a function f.

Theorem A

Let\(0< p<1\)and let\(K\subset \mathbb{R}^{n}\)be compact. Then\(\operatorname{supp}\hat{f}\subset K\)if and only if for any\(\delta >0\)there exists a constant\(C_{p,K,\delta }\)independent off, Psuch that
$$\begin{aligned} \bigl\Vert P(D)f \bigr\Vert _{p} \leq C_{p,K,\delta } \Bigl(\sup_{z\in K_{(\delta )}} \bigl\vert P(z) \bigr\vert \Bigr) \Vert f \Vert _{p} \end{aligned}$$
(2)
for any polynomialP.

Theorem B

Let\(0< p <1\), \(0<\lambda <1\), \(\sigma =(\sigma _{1}, \sigma _{2}, \dots , \sigma _{n}) \in \mathbb{R}_{\ast }^{n}\). Then the following statements are equivalent:
  1. (i)

    \(\operatorname{supp}\hat{f} \subset [-\sigma _{1}, \sigma _{1}] \times [-\sigma _{2}, \sigma _{2}] \times \cdots \times [-\sigma _{n}, \sigma _{n}]\).

     
  2. (ii)

    For any\(\alpha \in \mathbb{Z}_{\ast }^{n}\), \(\|D^{ \alpha }f\|_{p} \leq \sigma ^{\alpha } \|f\|_{p}\).

     
Let \(\eta \in \mathbb{R}^{n}\) be on the unit sphere. Let us recall that the directional derivative of f at x along η is defined by
$$ D_{\eta }f(x)= \sum_{j=1}^{n} \eta _{j} \frac{\partial f}{\partial x _{j}}(x) $$
and the higher order directional derivative is defined by
$$ D_{\eta }^{m}f(x)= D_{\eta }D_{\eta }^{m-1}f, $$
where \(m\in \mathbb{Z}_{\ast }\).

Theorem C

Let\(0< p <1\), \(0<\lambda <1\), and\(r>0\). Put\(K_{\eta ,r}=\{\xi \in \mathbb{R}^{n}: |\eta \xi | \leq r\}\). Then two statements are equivalent:
  1. (i)

    \(\operatorname{supp}\hat{f} \subset K_{\eta ,r}\).

     
  2. (ii)
    For any\(m\in \mathbb{Z}_{\ast }\),
    $$ \bigl\Vert D_{\eta }^{m} f \bigr\Vert _{p} \leq r^{m} \Vert f \Vert _{p}. $$
    (3)
     
If we consider the tempered distributions \(\mathcal{S}^{\prime }(\mathbb{R}^{n})\), where \(\mathcal{S}(\mathbb{R}^{n})\) consists of Schwartz functions on \(\mathbb{R}^{n}\), then, for the space
$$ \mathscr{E}_{p}(K) =\bigl\{ f \in L^{p}\bigl(\mathbb{R}^{n}\bigr)\cap \mathcal{S}^{\prime }\bigl(\mathbb{R}^{n} \bigr): \operatorname{supp}\hat{f} \subset K\bigr\} \quad (0< p\le 1), $$
the operator norms of \(P(D)\) on \(\mathscr{E}_{p}(K)\)
$$ \bigl\Vert P(D) \bigr\Vert _{\mathscr{E}_{p}(K) \to \mathscr{E}_{p}(K)} = \sup_{f \in \mathscr{E}_{p}(K), \Vert f \Vert _{p}\leq 1} \bigl\Vert P(D)f \bigr\Vert _{p} $$
are also deduced from Theorems A, B, and C.

2 Proof of Theorem A

We start with the Nikolskii inequality. This is useful to prove the necessity of Theorem A.

Proposition 2.1

(Nikolskii inequality [10])

Let\(0 < p< q\leq \infty \)and letKbe compact. Then
$$ \Vert f \Vert _{q} \leq C_{p,q,K} \Vert f \Vert _{p}, $$
for all\(f\in \mathscr{E}_{p}(K)\).

Proof of necessity of Theorem A

Fix \(0<\delta <1\) and consider the bump function ϕ in the class of the test-functions, with compact support, defined by \(\phi (\xi ) =1\) if \(\xi \in K_{\delta /4}\); and \(\phi (\xi )=0\) if \(\xi \notin K_{ \delta /2}\). Let \(f \in \mathscr{E}_{p}(K)\). Since \(\widehat{P(D)f}=P( \xi )\hat{f}(\xi )\), we have \(\widehat{P(D)f}=P(\xi )\hat{f}(\xi )= \phi (\xi )P(\xi )\hat{f}(\xi )\). By the inversion formula for a convolution,
$$\begin{aligned} P(D)f = \mathcal{F}^{-1}(\phi P)\ast f, \end{aligned}$$
(4)
where \(\mathcal{F}^{-1}(\phi P)\) means the inverse Fourier transform of ϕP. (In this proof, we write the Fourier transform of f by \(\mathcal{F}(f)\) instead of .) Define \(\check{f}(x)=f(-x)\) and \(f_{y}(x)=f(x+y)\) is the translation of f by y, e.g., \(\check{f_{y} }(x)=f(y-x)\).
It follows that
$$ \begin{aligned} \operatorname{supp}\mathcal{F} \bigl( \mathcal{F}^{-1}(\phi P) \check{f_{x} } \bigr) &\subset \operatorname{supp}(\phi P) + \operatorname{supp}\mathcal{F}(\check{f_{x} }) \\ &= \operatorname{supp}(\phi P) - \operatorname{supp}\mathcal{F}(f) \\ &\subset \operatorname{supp}\phi - \operatorname{supp}\mathcal{F}(f) \\ &\subset K_{\delta /2} -K \subset K_{1} -K \end{aligned} $$
for any x. By Proposition 2.1 with \(0< p <1\),
$$ \bigl\Vert \mathcal{F}^{-1}(\phi P) \check{f_{x} } \bigr\Vert _{1} \leq C_{p,K} \bigl\Vert \mathcal{F}^{-1}(\phi P)\check{f_{x} } \bigr\Vert _{p} $$
(5)
for any x. By (4) and by (5),
$$ \bigl\vert P(D)f (x) \bigr\vert ^{p} \leq C_{p,K}^{p} \int _{\mathbb{R}^{n}} \bigl\vert \mathcal{F} ^{-1}(\phi P) (y) \bigr\vert ^{p} \bigl\vert f(x-y) \bigr\vert ^{p}\,dy $$
for any \(x \in \mathbb{R}^{n}\). Consequently,
$$ \int _{\mathbb{R}^{n}} \bigl\vert P(D)f (x) \bigr\vert ^{p}\,dx \leq C_{p,K}^{p} \int _{\mathbb{R}^{n}} \biggl( \int _{\mathbb{R}^{n}} \bigl\vert \mathcal{F}^{-1}\bigl( \phi (\xi ) P(\xi )\bigr) (y) \bigr\vert ^{p} \bigl\vert f(x-y) \bigr\vert ^{p} \,dy \biggr)\,dx. $$
By Fubini’s theorem, hence
$$ \begin{aligned}[b] \bigl\Vert P(D)f \bigr\Vert _{p} &\leq C_{p,K} \bigl\Vert \mathcal{F}^{-1}( \phi P) \bigr\Vert _{p} \Vert f \Vert _{p} \\ &=(2\pi )^{-n} C_{p,K} \bigl\Vert \mathcal{F}(\phi P) \bigr\Vert _{p} \Vert f \Vert _{p} \\ &=(2\pi )^{-n} C_{p,K} \Vert \varPhi \Vert _{p} \Vert f \Vert _{p}, \end{aligned} $$
(6)
where \(\varPhi (x)=\mathcal{F}(\phi P)(x)\).
Now by estimating Φ properly, we will complete the proof. Put \(p'= \lfloor \frac{1}{p}\rfloor +1\), where \(\lfloor \,\cdot \,\rfloor \) denotes the floor function. Let \(\beta \in \mathbb{Z}_{\ast }^{n}\) such that \(\beta \leq (p',\ldots ,p')=\mathbf{p}'\), say, here the inequality means that every component of β is less than or equal to \(\mathbf{p}'\) and β! means a multi-index factorial. Since
$$ \begin{aligned}[b] \sup_{x} \bigl\vert x^{\beta }\varPhi (x) \bigr\vert &= \sup_{x} \biggl\vert \int _{\mathbb{R}^{n} } D^{\beta } \bigl[ \phi (\xi ) P (\xi ) \bigr] e^{ix \xi } \,d\xi \biggr\vert \\ &\leq \int _{K_{\delta /2} } \bigl\vert D^{\beta } \bigl[ \phi ( \xi ) P(\xi ) \bigr] \bigr\vert \,d\xi = I,\quad \text{say}, \end{aligned} $$
(7)
the Leibniz rule yields
$$\begin{aligned} \begin{aligned}[b] I &\leq \int _{K_{\delta /2} } \biggl\vert \sum_{\gamma \leq \beta } \frac{\beta !}{\gamma ! (\beta -\gamma )!} D^{\gamma }\phi (\xi )D ^{\beta -\gamma }P(\xi ) \biggr\vert \,d\xi \\ &\leq 2^{2n}\sum_{\gamma \leq \beta }\sup _{x \in K_{\delta /2}} \bigl\vert D^{\beta -\gamma }P(x) \bigr\vert \int _{K_{\delta /2} } \bigl\vert D^{\gamma }\phi (\xi ) \bigr\vert \,d\xi \\ &\leq 2^{2n}C_{p,K,\delta } \max_{\alpha \leq \mathbf{p}'} \sup _{x \in K_{\delta /2}} \bigl\vert D^{\alpha }P(x ) \bigr\vert , \end{aligned} \end{aligned}$$
(8)
where \(C_{p,K,\delta }=\sum_{\gamma \leq \mathbf{p}'}\int _{K_{\delta /2} } | D^{\gamma }\phi (\xi ) |\,d\xi \).
By regarding \(D^{\alpha }P(x)\) as a complex holomorphic polynomial and using Cauchy’s integral formula, we can estimate its maximum modulus in \(K_{\delta /2}\) as the maximum modulus of \(P(z)\) in \(K_{(\delta )}\). Thus there exists a constant \(C_{K,\delta }\) which depends only on K, δ such that
$$ \sup_{K_{\delta /2}} \bigl\vert D^{\alpha }P(x) \bigr\vert \leq C_{K,\delta } \sup _{K_{(\delta )}} \bigl\vert P(z) \bigr\vert $$
(9)
for any \(\alpha \in \mathbb{Z}_{\ast }^{n}\)\((\alpha \leq \mathbf{p}')\).
Combining (7), (8) with (9), we have
$$ \sup_{x} \bigl\vert x^{\beta } \varPhi (x) \bigr\vert \leq C_{p,K,\delta }' \sup _{K_{(\delta )}} \bigl\vert P(z) \bigr\vert , $$
(10)
where \(C_{p,K,\delta }'=2^{2n}C_{p,K,\delta }C_{K,\delta }\). From (10),
$$ \begin{aligned}[b] &\int _{\mathbb{R}^{n}} \bigl\vert \varPhi (x) \bigr\vert ^{p} \,dx\\ &\quad \le \sup_{x} \bigl(\bigl(1+ \vert x _{1} \vert \bigr)^{p'}\cdots \bigl(1+ \vert x_{n} \vert \bigr)^{p'} \bigl\vert \varPhi (x) \bigr\vert \bigr)^{p} \int _{\mathbb{R}^{n}} \frac{dx}{(1+ \vert x_{1} \vert )^{p'p}\cdots (1+ \vert x_{n} \vert )^{p'p}} \\ &\quad = C_{p}^{p}\sup_{x} \bigl( \bigl(1+ \vert x_{1} \vert \bigr)^{p'}\cdots \bigl(1+ \vert x_{n} \vert \bigr)^{p'} \bigl\vert \varPhi (x) \bigr\vert \bigr)^{p}, \end{aligned} $$
(11)
where \(C_{p}^{p}=\int _{\mathbb{R}^{n}}\frac{dx}{(1+|x_{1}|)^{p'p} \cdots (1+|x_{n}|)^{p'p}}<\infty \).
Hence, by (11) and according to (10),
$$ \Vert \varPhi \Vert _{p} \leq 2^{p'-1+n}C_{p}C_{p,K,\delta }' \sup_{z \in K_{(\delta )}} \bigl\vert P(z) \bigr\vert . $$
(12)
By (6) with (12), the proof is complete. □

The following lemma is useful for the sufficiency of Theorem A.

Lemma 2.2

([3])

If suppis compact, then
$$ \lim_{m\to \infty } \bigl\Vert P^{m}(D) f \bigr\Vert _{1}^{1/m} = \sup _{x \in \operatorname{supp}\hat{f}} \bigl\vert P(x) \bigr\vert . $$

We prove the sufficiency of Theorem A by contradiction.

Proof of sufficiency of Theorem A

Assume that there exists \(x_{0} \in H\) with \(x_{0} \notin K\), where \(H=\operatorname{supp}\hat{f}\). We consider a polynomial \(P(x)= t_{0}- |x- x_{0} |^{2}\), where \(t_{0}= \sup_{x\in K} |x-x_{0}|^{2}>0\) and apply (2) with \(P^{m}\) for a positive integer m. In addition, by Proposition 2.1,
$$ \bigl\Vert P^{m}(D)f \bigr\Vert _{1}^{1/m} \leq \bigl(C_{p,H}C_{p,K,\delta } \Vert f \Vert _{p}\bigr)^{1/m} \sup_{z\in K_{(\delta )}} \bigl\vert P(z) \bigr\vert . $$
By applying the limsup on both sides, we have
$$ \limsup_{m\to \infty } \bigl\Vert P^{m}(D)f \bigr\Vert _{1}^{1/m} \leq \sup_{z\in K_{(\delta )}} \bigl\vert P(z) \bigr\vert . $$
Now letting \(\delta \searrow 0\), we obtain
$$ \limsup_{m\to \infty } \bigl\Vert P^{m}(D)f \bigr\Vert _{1} ^{1/m} \le \sup _{x\in K} \bigl\vert P(x) \bigr\vert . $$
(13)
By Lemma 2.2 and by (13), we have the following contradiction:
$$ t_{0}= \bigl\vert P(x_{0}) \bigr\vert \le \sup _{x\in K} \bigl\vert P(x) \bigr\vert =\sup _{x\in K}\bigl(t_{0}- \vert x-x _{0} \vert ^{2}\bigr)\lneq t_{0}, $$
where the last inequality comes from the fact that \(x_{0}\notin K\). Therefore, the proof is complete. □

3 Proof of Theorem B

We recall the following lemma.

Lemma 3.1

([6, Theorem 6])

Let\(0< p\le 1\)and let\(f\in L^{p}(\mathbb{R}^{n})\). Then\(\lim_{\lambda \nearrow 1}\|f-{}_{\lambda }f\|_{p}=0\), where\({}_{\lambda }f(x)=f(\lambda x)\)denotes the dilation offbyλ.

Proof of Theorem B

Suppose (ii). According to (ii) with Proposition 2.1,
$$ \limsup_{ \vert \alpha \vert \to \infty } \bigl( \bigl\Vert D^{\alpha }f \bigr\Vert _{1}/ \sigma ^{\alpha } \bigr)^{1/ \vert \alpha \vert }\leq 1. $$
(14)
By Lemma 2.2,
$$ \sup_{\xi \in \operatorname{supp}\hat{f}} \bigl\vert \xi ^{\beta } \bigr\vert \leq \limsup_{m\to \infty } \bigl\Vert D^{m\beta } f \bigr\Vert _{1}^{1/m} $$
(15)
for all \(\beta \in \mathbb{Z}_{\ast }^{n}\).
Combining (14) and (15), we have
$$ \sup_{\xi \in \operatorname{supp}\hat{f}} \bigl\vert \xi ^{\beta } \bigr\vert \leq \limsup_{m\to \infty } \bigl\Vert D^{m\beta } f \bigr\Vert _{1}^{1/m} \leq \sigma ^{\beta } $$
and this gives \(\operatorname{supp}\hat{f} \subset [-\sigma _{1}, \sigma _{1}] \times [-\sigma _{2}, \sigma _{2}] \times \cdots \times [- \sigma _{n}, \sigma _{n}]\).

Next, (i) implies (ii), which follows from the Bernstein inequality for \(0< p\le 1\) ([12]). Therefore, the proof is complete. □

Remark 1

(1) Theorem B shows an \(L^{p}\)-boundedness of derivatives. In fact, we prove that the \(L^{p}\)-boundedness is equivalent to the following vanishing property:
$$ \lim_{ \vert \alpha \vert \to \infty } \bigl\Vert D^{\alpha }f \bigr\Vert _{p}/\sigma ^{\alpha }=0. $$
(16)
First, we prove that (i) of Theorem B implies (16). Indeed, from the definition of the function λf, we have \(\operatorname{supp}\widehat{{}_{\lambda }f}= \lambda \operatorname{supp}\hat{f}\). Then
$$ \operatorname{supp}\widehat{{}_{\lambda }f}\subset [- \lambda \sigma _{1}, \lambda \sigma _{1}] \times [- \lambda \sigma _{2}, \lambda \sigma _{2}] \times \cdots \times [-\lambda \sigma _{n}, \lambda \sigma _{n}] . $$
(17)
Since \(D^{\alpha }{}_{\lambda }f (x)= \lambda ^{|\alpha |} D^{\alpha }f( \lambda x)\), by a change of variables,
$$ \bigl\Vert D^{\alpha }{}_{\lambda }f \bigr\Vert _{p} = \lambda ^{ \vert \alpha \vert - n/p} \bigl\Vert D^{ \alpha }f \bigr\Vert _{p} $$
(18)
for all \(\alpha \in \mathbb{Z}_{\ast }^{n}\). By (17), \(\operatorname{supp}\widehat{f -{}_{\lambda }f} \subset [-\sigma _{1}, \sigma _{1}] \times [-\sigma _{2}, \sigma _{2}] \times \cdots \times [- \sigma _{n}, \sigma _{n}]\). Thus by the Bernstein inequality for \(0< p < 1\) ([12]),
$$ \bigl\Vert D^{\alpha }(f-{}_{\lambda }f) \bigr\Vert _{p} \leq \sigma ^{\alpha } \Vert f-{}_{ \lambda }f \Vert _{p}. $$
(19)
Also, by the triangle inequality,
$$ \begin{aligned}[b] \bigl\Vert D^{\alpha }f \bigr\Vert _{p} / \sigma ^{\alpha } &\leq 2^{1/p} \bigl( \bigl\Vert D^{ \alpha }(f-{}_{\lambda }f) \bigr\Vert _{p} + \bigl\Vert D^{\alpha }{}_{\lambda }f \bigr\Vert _{p} \bigr)/ \sigma ^{\alpha } \\ &\leq 2^{1/p} \bigl(\sigma ^{\alpha } \Vert f-{}_{\lambda }f \Vert _{p} + \lambda ^{ \vert \alpha \vert -n/p} \bigl\Vert D^{\alpha }f \bigr\Vert _{p} \bigr)/ \sigma ^{\alpha } \end{aligned} $$
(20)
for all \(\alpha \in \mathbb{Z}_{\ast }^{n}\), where the second inequality comes from (18). Hence,
$$ \bigl\Vert D^{\alpha }f \bigr\Vert _{p} / \sigma ^{\alpha } \leq 2^{1/p} \Vert f-{}_{\lambda }f \Vert _{p}/ \bigl(1- 2^{1/p}\lambda ^{ \vert \alpha \vert -n/p} \bigr) $$
for all \(\alpha \in \mathbb{Z}_{\ast }^{n} \). In addition, from the inequalities
$$ 2^{1/p}\lambda ^{ \vert \alpha \vert -n/p} \leq \biggl(2 \biggl(1- \frac{1}{ \vert \alpha \vert }\biggr)^{ \vert \alpha \vert -n/p} \biggr)^{1/p} \leq \biggl(\frac{2}{e}\biggl(1-\frac{1}{ \vert \alpha \vert }\biggr)^{-n/p} \biggr)^{1/p}\leq \biggl(\frac{5}{{2e}} \biggr) ^{1/p} $$
for all \(|\alpha | \geq \max \{ n/ ( p(1- (4/5)^{p/n}) ), (1-\lambda ^{p})^{-1} \}\), we have
$$ \bigl\Vert D^{\alpha }f \bigr\Vert _{p}/ \sigma ^{\alpha } \leq 2^{1/p} \Vert f-{}_{\lambda }f \Vert _{p}\Big/ \biggl(1- \biggl(\frac{5}{{2e}} \biggr)^{1/p} \biggr) $$
(21)
for all \(\alpha \in \mathbb{Z}_{\ast }^{n}\) with \(|\alpha | \geq \max \{n/(p(1- (4/5)^{p/n})), 1/(1-\lambda ^{p}) \}\).

Next, take \(\limsup_{|\alpha |\to \infty }\) on both sides of (21) and then the right hand side of (21) is independent of α. Thus taking \(\lim_{\lambda \nearrow 1}\) in (21), by Lemma 3.1 we have (16).

Reversely, since (16) implies (14), we can derive that (16) implies (i) of Theorem B.

(2) With the hypothesis of \(\operatorname{supp}\hat{f} \subset [- \sigma _{1}, \sigma _{1}] \times [-\sigma _{2}, \sigma _{2}] \times \cdots \times [-\sigma _{n}, \sigma _{n}]\), the Bernstein inequality for \(0< p\le 1\) ([12]) says that \((\|D^{\alpha } f\|_{p}/ ( \sigma ^{\alpha }\|f\|_{p}))_{\alpha \in \mathbb{Z}_{\ast }^{n}} \) is bounded by 1. On the other hand, (1) of Remark 1 gives a stronger result: \(\lim_{|\alpha | \to \infty } \|D^{\alpha }f\|_{p}/( \sigma ^{\alpha }\|f\|_{p})=0\).

(3) Let \(0< p <1\), \(\sigma =(\sigma _{1}, \sigma _{2}, \dots , \sigma _{n}) \in \mathbb{R}_{*}^{n}\). If we define
$$ \mathcal{M}_{\sigma ,p}=\Biggl\{ f\in \mathcal{S}^{\prime }\bigl(\mathbb{R}^{n}\bigr) : \hat{f} \in C^{\ell } \bigl(\mathbb{R}^{n} \bigr), \operatorname{supp}\hat{f} \subset \prod_{j=1}^{n} [-\sigma _{j}, \sigma _{j}]\Biggr\} , $$
where \(\ell =n(\lfloor 1/p\rfloor +2)\), then the convergent ratio of \(\{\|D^{\alpha }f\|_{p}/ \sigma ^{\alpha }\}_{\alpha \in \mathbb{Z} _{*}^{n}}\) is as follows:
$$ \lim_{ \vert \alpha \vert \to \infty } \vert \alpha \vert ^{a} \bigl\Vert D^{\alpha }f \bigr\Vert _{p}/ \sigma ^{\alpha }=0 $$
(22)
for all \(0< a<1\) and for all \(f\in \mathcal{M}_{\sigma ,p}\). Indeed, we justify (22): Consider a function \(G_{\lambda }(x)\) as follows:
$$ G_{\lambda }(x) =f(x) -f(\lambda x), \quad x \in \mathbb{R}^{n}, \frac{1}{2}< \lambda < 1. $$
Then, due to \(\operatorname{supp}\hat{f} \subset K:=\prod_{j=1}^{n}[- \sigma _{j}, \sigma _{j}]\), we have
$$ G_{\lambda }(x) =(2\pi )^{-n} \int _{K} e^{-ix\xi } \biggl( \hat{f}( \xi ) - \frac{1}{\lambda } \hat{f} \biggl(\frac{\xi }{\lambda }\biggr) \biggr)\,d\xi . $$
So,
$$ \bigl\vert x^{\alpha }G_{\lambda }(x) \bigr\vert = (2\pi )^{-n} \biggl\vert \int _{K} e^{-ix\xi } \biggl( D^{\alpha } \hat{f}(\xi ) -\frac{1}{\lambda ^{1+ \vert \alpha \vert }} \bigl(D ^{\alpha }\hat{f}\bigr) \biggl(\frac{\xi }{\lambda }\biggr) \biggr)\,d\xi \biggr\vert , $$
where \(|\alpha |=\alpha _{1} + \cdots +\alpha _{n}\). Hence,
$$\begin{aligned} &\sup_{x \in \mathbb{R}} \bigl\vert x^{\alpha }G_{\lambda }(x) \bigr\vert \\ &\quad \leq (2\pi )^{-n} \int _{K} \biggl\vert D^{\alpha }\hat{f}(\xi ) - \frac{1}{\lambda ^{1+ \vert \alpha \vert }} \bigl(D^{\alpha }\hat{f}\bigr) \biggl( \frac{\xi }{\lambda }\biggr) \biggr\vert \,d\xi \\ &\quad \leq (2\pi )^{-n} \int _{K} \biggl( \biggl( \frac{1}{\lambda ^{1+ \vert \alpha \vert }} -1 \biggr) \bigl\vert D^{\alpha }\hat{f}(\xi ) \bigr\vert + \frac{1}{\lambda ^{1+ \vert \alpha \vert }} \biggl\vert D^{\alpha }\hat{f}(\xi ) -\bigl(D ^{\alpha }\hat{f} \bigr) \biggl(\frac{\xi }{\lambda }\biggr) \biggr\vert \biggr)\,d\xi \\ &\quad \leq (2\pi )^{-n} \biggl( \biggl(\frac{1}{\lambda ^{1+ \vert \alpha \vert }} -1 \biggr) \bigl\Vert D^{\alpha }\hat{f} \bigr\Vert _{\infty }+ \frac{1}{\lambda ^{1+ \vert \alpha \vert }} \biggl\Vert D^{\alpha }\hat{f}(\cdot ) - \bigl(D^{\alpha }\hat{f}\bigr) \biggl(\frac{\cdot }{ \lambda }\biggr) \biggr\Vert _{\infty } \biggr) \int _{K} 1 \,d\xi . \end{aligned}$$
By the mean value theorem,
$$ \sup_{x \in \mathbb{R}} \bigl\vert x^{\alpha }G_{\lambda }(x) \bigr\vert \leq (2\pi )^{-n} 4^{1+ \vert \alpha \vert } (1-\lambda ) \Biggl( \bigl\Vert D^{\alpha }\hat{f} \bigr\Vert _{\infty }+ \sum_{j=1} ^{n} \bigl\Vert D^{\alpha +e_{j}} \hat{f} \bigr\Vert _{\infty }\Biggr) \int _{K} 1 \,d\xi $$
for all \(1/2<\lambda <1\), where \(e_{j} \in \mathbb{R}^{n}\) is the unit vector whose jth coordinate is 1.
Now putting \(M=\lfloor 1/p\rfloor +1\), we have
$$\begin{aligned} \begin{aligned} \Vert G_{\lambda } \Vert _{p} & \leq \sup_{x \in \mathbb{R}} \bigl\vert \bigl(1+ \vert x_{1} \vert \bigr)^{M}\cdots\bigl(1+ \vert x _{n} \vert \bigr)^{M} G_{\lambda }(x) \bigr\vert \biggl( \int _{\mathbb{R}^{n} } \frac{1}{(1+ \vert y_{1} \vert )^{pM}\cdots(1+ \vert y_{n} \vert )^{pM}}\,dy \biggr)^{1/p} \\ &\leq \Vert f-f_{\lambda } \Vert _{p} \leq C_{p} (1-\lambda ) \sum_{ \vert \alpha \vert \leq (M +1,M+1,\ldots,M+1)} \bigl\Vert D^{\alpha }\hat{f} \bigr\Vert _{ \infty } \end{aligned} \end{aligned}$$
for all \(1/2< \lambda <1\). By Theorem B for \(\lambda = (1- \frac{1}{| \alpha |})^{1/p}\), we obtain
$$ \bigl\Vert D^{\alpha }f \bigr\Vert \leq C_{p,f} \vert \alpha \vert ^{-1} \sigma ^{\alpha } $$
for all \(\alpha \in \mathbb{Z}_{*}^{n}\), \(|\alpha | \geq n/ ( p(1- (4/5)^{p/n}) )\), consequently,
$$ \lim_{ \vert \alpha \vert \to \infty } \vert \alpha \vert ^{a} \bigl\Vert D^{\alpha }f \bigr\Vert _{p}/ \sigma ^{\alpha }=0 $$
for all \(0< a<1\). Thus (22) holds.

4 Proof of Theorem C

Proof of Theorem C

Suppose (i). We consider a real orthogonal matrix \(A=(\alpha _{k,s})\) that satisfies
$$ \alpha _{k,1}=\eta _{k}, \quad k=1,\ldots,n $$
and put
$$ g(\xi )=f(x)\quad (x=A\xi ). $$
By differentiation,
$$ \frac{\partial }{\partial \xi _{1}}g(\xi )= \sum_{k=1}^{n} \frac{ \partial f(x)}{\partial x_{k}} \frac{\partial x_{k}}{\partial \xi _{1}}. $$
It follows from \(\frac{\partial x_{k}}{\partial \xi _{1}}= \eta _{k}\)\((k=1,2,\ldots,n)\) that
$$ \frac{\partial }{\partial \xi _{1}}g(\xi )= \sum_{k=1}^{n} \eta _{k}\frac{ \partial f(x)}{\partial x_{k}}= D_{\eta }f(x). $$
Similarly,
$$ \frac{\partial ^{m} }{\partial \xi _{1}^{m}}g(\xi )= D_{\eta }^{m}f(x) \quad (m=0,2,\ldots). $$
Thus,
$$\begin{aligned} \bigl\Vert D_{\eta }^{m}f(x) \bigr\Vert _{p} = \biggl\Vert \frac{\partial ^{m} }{\partial \xi _{1}^{m}}g \biggr\Vert _{p},\qquad \Vert g \Vert _{p} =r^{m} \Vert f \Vert _{p}, \end{aligned}$$
(23)
here \(r^{m}\) may be 1. Note that \(\hat{g}(\xi )=\hat{f}( A^{t} \xi )\) and so \(|\xi _{1}| \leq r\) for each \(\xi \in \operatorname{supp}\hat{g}\). By the Bernstein inequality for \(0< p< 1\) ([12]) and by (23), we have
$$ \bigl\Vert D_{\eta }^{m} f \bigr\Vert _{p} = \biggl\Vert \frac{\partial ^{m} }{\partial \xi _{1}^{m}}g(\xi ) \biggr\Vert _{p} \leq r^{m} \Vert g \Vert _{p} = \Vert f \Vert _{p}. $$
Next, suppose (ii). By (ii), and by Proposition 2.1, we have
$$ \limsup_{m\to \infty } \bigl\Vert D_{\eta }^{m} f \bigr\Vert _{1}^{1/m}/ r\leq 1. $$
(24)
By Lemma 2.2, we see that \(\sup_{\xi \in \operatorname{supp}\hat{f}} |\eta \xi | \leq r\), consequently, \(\operatorname{supp}\hat{f} \subset K_{\eta ,r}\). Therefore, the proof is complete. □

Remark 2

(1) Theorem C also shows an \(L^{p}\)-boundedness of derivatives. Similar to (1) of Remark 1, we prove that the \(L^{p}\)-boundedness is equivalent to the following vanishing property:
$$ \lim_{m \to \infty } \bigl\Vert D_{\eta }^{m} f \bigr\Vert _{p}/ r^{m}=0. $$
(25)
First, we show (ii) of Theorem C implies (25). Since \(\operatorname{supp}\widehat{{}_{\lambda }f}\subset \lambda K_{\eta ,r}\) and so \(\operatorname{supp}\widehat{f -{}_{\lambda }f} \subset K_{ \eta ,r} \cup (\lambda K_{\eta ,r})=\mathcal{K}_{\lambda }\), say. From (ii),
$$\begin{aligned} \bigl\Vert D_{\eta }^{m} (f-{}_{\lambda }f) \bigr\Vert _{p} \leq \Bigl( \sup_{\xi \in \mathcal{K}_{\lambda }} \vert \eta \xi \vert \Bigr)^{m} \Vert f-{}_{\lambda }f \Vert _{p}. \end{aligned}$$
Since \(\sup_{\xi \in \mathcal{K}_{\lambda }} |\eta \xi | \leq \max \{ \sup_{\xi \in K_{\eta ,r}} |\eta \xi |, \sup_{\xi \in \lambda K_{ \eta ,r}} |\eta \xi |\} \leq r\), we have
$$\begin{aligned} \bigl\Vert D_{\eta }^{m} (f-{}_{\lambda }f) \bigr\Vert _{p} \leq r^{m} \Vert f-{}_{\lambda }f \Vert _{p}. \end{aligned}$$
(26)
Also, \(D_{\eta }^{m} {}_{\lambda }f (x)= \lambda ^{m} D_{\eta }^{m} f( \lambda x)\) gives
$$\begin{aligned} \bigl\Vert D_{\eta }^{m} {}_{\lambda }f \bigr\Vert _{p} = \lambda ^{m- n/p} \bigl\Vert D_{\eta } ^{m} f \bigr\Vert _{p} \end{aligned}$$
(27)
for all \(m\in \mathbb{Z}_{\ast }\). Thus, by the triangle inequality, by (26), and by (27),
$$ \begin{aligned} \bigl\Vert D_{\eta }^{m} f \bigr\Vert _{p} / r^{m} &\leq 2^{1/p} \bigl( \bigl\Vert D_{\eta }^{m} (f- {}_{\lambda }f) \bigr\Vert _{p} + \bigl\Vert D_{\eta }^{m} {}_{\lambda }f \bigr\Vert _{p} \bigr)/ r^{m} \\ &\leq 2^{1/p} \bigl( r^{m} \Vert f-{}_{\lambda }f \Vert _{p} + \lambda ^{m-n/p} \bigl\Vert D_{\eta }^{m} f \bigr\Vert _{p} \bigr)/ r^{m} \end{aligned} $$
for all \(m \in \mathbb{Z}_{\ast }\). On the other hand, the constant has the upper bound
$$ 2^{1/p}\lambda ^{m-n/p} \leq \biggl(2 \biggl(1- \frac{1}{m}\biggr)^{m-n/p} \biggr) ^{1/p} \leq \biggl(\frac{2}{e}\biggl(1-\frac{1}{m}\biggr)^{-n/p} \biggr)^{1/p} \leq \biggl(\frac{5}{{2e}} \biggr)^{1/p} $$
for all \(m \geq \max \{ n/ ( p(1- (4/5)^{p/n}) ), (1- \lambda ^{p})^{-1}\}\). Hence, we get the desired inequality,
$$ \bigl\Vert D_{\eta }^{m} f \bigr\Vert _{p}/ r^{m} \le 2^{1/p} \Vert f-{}_{\lambda }f \Vert _{p}\Big/ \biggl(1- \biggl( \frac{5}{{2e}} \biggr)^{1/p} \biggr), $$
(28)
where \(m \geq \max \{ n/ ( p(1- (4/5)^{p/n}) ), (1-\lambda ^{p})^{-1}\}\).

Now, take \(\limsup_{|\alpha |\to \infty }\) on both sides of (28), and then the right hand side of (28) is independent of α. Thus taking \(\lim_{\lambda \nearrow 1}\) in (28), by Lemma 3.1 we have (25).

Reversely, since (25) implies (24), we conclude the equivalence between Theorem C and (25).

(2) Let \(0< p <1\), \(r>0\). Put
$$ \mathcal{N}_{p}=\bigl\{ f\in \mathcal{S}^{\prime }\bigl(\mathbb{R}^{n}\bigr) : \hat{f} \in C ^{\ell } \bigl(\mathbb{R}^{n}\bigr), \operatorname{supp}\hat{f} \subset K_{\eta ,r} \bigr\} , $$
where \(\ell =n(\lfloor 1/p\rfloor +2)\). Then from (1) of Remark 2, we have the following convergent ratio of \(\{\|D_{\eta }^{m} f\|_{p}/ r ^{m}\}_{m\in \mathbb{Z}_{*}}\):
$$ \lim_{m \to \infty } m^{a} \bigl\Vert D_{\eta }^{m} f \bigr\Vert _{p}/ r^{m}=0 $$
for all \(0< a<1\) and for all \(f\in \mathcal{N}_{p}\).

5 Applications

In this section, we derive three results as applications of Theorem A: If the compact set K is specified in detail, we can reduce \(K_{(\delta )}\) into \(K_{\delta }\), as appears in Theorem A. Let \(\alpha \in \mathbb{Z}_{\ast }^{n}\) and let \(0\leq \lambda _{\alpha } \leq \infty \). We define the set generated by the number sequence \(\{ \lambda _{\alpha }\}\) as \(G\{\lambda _{\alpha }\}\) consisting of all points \(\xi \in \mathbb{R}^{n}\) such that
$$ \bigl\vert \xi ^{\alpha } \bigr\vert \leq \lambda _{\alpha } \quad \text{for all } \alpha \in \mathbb{Z}_{\ast }^{n}. $$
Now for any set \(E\subset \mathbb{R}^{n}\), put the g-hull of E by
$$ g(E)= G\Bigl\{ \sup_{E} \bigl\vert \xi ^{\alpha } \bigr\vert \Bigr\} . $$
Then \(E\subset g(E)\) readily. We say that E satisfies the g-property if \(E=g(E)\). We note two facts that every set generated by a number sequence \(G\{\lambda _{\alpha }\}\) has the g-property and vice versa and every symmetric compact convex set also has the g-property. For more information, refer to [4, 5].

Theorem 5.1

Let\(0< p<1\)and let\(K\subset \mathbb{R}^{n}\)be compact satisfying theg-property. Then\(\operatorname{supp}\hat{f} \subset K\)if and only if for any\(\delta >0\)there exists a constant\(C_{p,K,\delta }\)independent off, αsuch that
$$\begin{aligned} \bigl\Vert D^{\alpha }f \bigr\Vert _{p} \leq C_{p,K,\delta } \Bigl(\sup_{x\in K_{\delta }} \bigl\vert x^{\alpha } \bigr\vert \Bigr) \Vert f \Vert _{p} \end{aligned}$$
(29)
for any\(\alpha \in \mathbb{Z}_{\ast }^{n}\).
For any polynomial P and for \(r>0\), define an r-neighborhood with respect to P by
$$ N_{P}(r)=\bigl\{ x \in \mathbb{R}^{n}: \bigl\vert P(x ) \bigr\vert \leq r\bigr\} . $$

Theorem 5.2

Let\(0< p <1\)and let\(K= N_{P}(r)\). Then\(\operatorname{supp}\hat{f} \subset K\)if and only if for any\(\delta >0\)there exists a constant\(C_{p,K,\delta }\)independent off, msuch that
$$\begin{aligned} \bigl\Vert P^{m}(D)f \bigr\Vert _{p} \leq C_{p,K,\delta } (r+ \delta )^{m} \Vert f \Vert _{p} \end{aligned}$$
(30)
for any\(m\in \mathbb{Z}_{\ast }\).

Theorem 5.3

Let\(0< p <1\)and let\(K\subset \mathbb{R}^{n}\)be convex and compact. Then\(\operatorname{supp}\hat{f} \subset K\)if and only if for any\(\delta >0\)there exists a constant\(C_{p,K,\delta }\)independent off, P, msuch that
$$\begin{aligned} \bigl\Vert P^{m}(D)f \bigr\Vert _{p} \leq C_{p,K,\delta } \Bigl(\sup_{x\in K_{ \delta }} \bigl\vert P(x) \bigr\vert ^{m} \Bigr) \Vert f \Vert _{p} \end{aligned}$$
(31)
for any real polynomialPof degree 1 and for any\(m\in \mathbb{Z}_{\ast }\).
To prove Theorem 5.1, we need a lemma: The inclusion of \(K_{\delta } \subset K_{(\delta )}\), implies
$$ \sup_{K_{(\delta )}} \bigl\vert z^{\alpha } \bigr\vert \ge \sup_{K_{\delta }} \bigl\vert x^{\alpha } \bigr\vert \quad \text{for all } \alpha \in \mathbb{Z}_{\ast }^{n}. $$
Moreover, for \(z\in K_{(\delta )}\) there exist \(\xi \in K\) and \(\eta \in \mathbb{C}^{n}\) such that \(z= \xi + \eta \), \(|\eta |\le \delta \) and so \(|z_{j}|\le |\xi _{j}|+|\eta _{j}|\)\((1\le j\le n)\). Put \(x=(\xi _{1} + |\eta _{1}| \operatorname{sign} (\xi _{1}), \dots , \xi _{n} + | \eta _{n}| \operatorname{sign} (\xi _{n}))\). Clearly, \(x \in K_{\delta }\) and \(|x_{j}|= |\xi _{j}| + |\eta _{j}| \geq |z_{j}|\) for all \(1\le j\le n\). Thus for each \(z\in K_{(\delta )}\), there exists \(x\in K_{\delta }\) such that
$$ \bigl\vert z^{\alpha } \bigr\vert \le \bigl\vert x^{\alpha } \bigr\vert \quad \text{for all } \alpha \in \mathbb{Z}_{\ast }^{n}. $$

Therefore, we conclude the following.

Lemma 5.4

IfKis compact on\(\mathbb{R}^{n}\), then, for any\(\delta >0\),
$$ \sup_{K_{(\delta )}} \bigl\vert z^{\alpha } \bigr\vert = \sup_{K_{\delta }} \bigl\vert x^{\alpha } \bigr\vert \quad \textit{for all } \alpha \in \mathbb{Z}_{\ast }^{n}. $$

Proof of Theorem 5.1

Fix \(\delta >0\). By Theorem A, there exists a constant \(C_{p,K,\delta } <\infty \) such that
$$ \begin{aligned}[b] \bigl\Vert D^{\alpha }f \bigr\Vert _{p} &\leq C_{p,K,\delta } \sup_{z\in K_{(\delta )}} \bigl\vert z ^{\alpha } \bigr\vert \Vert f \Vert _{p} \\ &\leq C_{p,K,\delta } \sup_{x\in K_{\delta }} \bigl\vert x^{\alpha } \bigr\vert \Vert f \Vert _{p} \end{aligned} $$
(32)
for all \(\alpha \in \mathbb{Z}_{\ast }^{n}\), where the second inequality follows from Lemma 5.4. This proves the necessity.
To see the sufficiency, on the contrary, assume that there exists \(x_{0} \in \operatorname{supp}\hat{f}\) with \(x_{0} \notin K\). Since K has the g-property, we find \(\alpha \in \mathbb{Z}_{\ast }^{n}\) such that
$$ \bigl\vert x_{0}^{\alpha } \bigr\vert \gneq \sup_{x\in K} \bigl\vert x^{\alpha } \bigr\vert . $$
(33)
By the hypothesis of (29) with \((m=1,2,\ldots )\),
$$ \bigl\Vert D^{m\alpha }f \bigr\Vert _{p} \leq C_{p,K,\delta } \Bigl(\sup_{x\in K_{\delta }} \bigl\vert x^{m\alpha } \bigr\vert \Bigr) \Vert f \Vert _{p}. $$
According to Proposition 2.1, applying limsup, we have
$$ \limsup_{m\to \infty } \bigl\Vert D^{m\alpha }f \bigr\Vert _{1}^{1/m}\le \sup_{x\in K_{\delta }} \bigl\vert x^{\alpha } \bigr\vert , $$
and taking \(\delta \searrow 0\), we get
$$ \limsup_{m\to \infty } \bigl\Vert D^{m\alpha }f \bigr\Vert _{p}^{1/m}\le \sup _{x\in K} \bigl\vert x ^{\alpha } \bigr\vert . $$
(34)
Also, by Lemma 2.2 with \(P(x)=x^{\alpha }\),
$$\begin{aligned} \liminf_{m\to \infty } \bigl\Vert D^{m\alpha } f \bigr\Vert _{p}^{1/m}\ge \bigl\vert x_{0} ^{\alpha } \bigr\vert . \end{aligned}$$
(35)
Thus, the equations of (34) and (35) yield
$$ \bigl\vert x_{0}^{\alpha } \bigr\vert \le \sup _{x\in K} \bigl\vert x^{\alpha } \bigr\vert . $$
This contradicts (33). Therefore, the proof is complete. □

Since any symmetric convex compact set satisfies the g-property ([4, 5]), Theorem 5.1 produces the corollary:

Corollary 5.5

AssumeKis a symmetric convex compact set in\(\mathbb{R}^{n}\), \(0< p <1\). Then, for any\(\delta >0\), there exists a constant\(C_{p,K,\delta } < \infty \)such that
$$ \bigl\Vert D^{\alpha }f \bigr\Vert _{p} \leq C_{p,K,\delta } \Bigl(\sup_{x\in K_{\delta }} \bigl\vert x ^{\alpha } \bigr\vert \Bigr) \Vert f \Vert _{p} $$
for all\(\alpha \in \mathbb{Z}_{\ast }^{n}\).

Let us note that a symmetric convex compact set is a typical example for a compact set that has the g-property. Since \(D^{\alpha }\) is simpler than \(P(D)\), in Corollary 5.5 the supremum runs over \(K_{\delta }\) instead of \(K_{(\delta )}\).

Proof of Theorem 5.2

We first prove the necessity. For any \(\delta >0\), by continuity, there is \(\delta '>0\) so that
$$ \sup_{K_{(\delta ')}} \bigl\vert P(z) \bigr\vert \le r+\delta , $$
since \(\sup_{K}|P(x)|= r\). By Theorem A, there exists a constant \(C_{p,K,\delta '}\) such that
$$ \begin{aligned} \bigl\Vert P^{m}(D)f \bigr\Vert _{p} &\le C_{p,K,\delta '} \Bigl(\sup_{K_{(\delta ')}} \bigl\vert P ^{m}(z) \bigr\vert \Bigr) \Vert f \Vert _{p} \\ &\le C_{p,K,\delta '}(r+\delta )^{m} \Vert f \Vert _{p}. \end{aligned} $$
To prove the sufficiency, suppose that there exists \(x_{0} \in \operatorname{supp}\hat{f}\) and \(x_{0} \notin K=N_{P}(r)\). Then \(|P(x_{0})|>r\). From hypothesis (30) and by Proposition 2.1,
$$ \limsup_{m\to \infty } \bigl\Vert P^{m}(D)f \bigr\Vert _{1}^{1/m}\le r+\delta . $$
(36)
Also, by Lemma 2.2,
$$ \liminf_{m\to \infty } \bigl\Vert P^{m}(D)f \bigr\Vert _{p}^{1/m}\ge \bigl\vert P(x_{0}) \bigr\vert . $$
(37)
Hence, by (36), by (37), and by assumption,
$$ r< \bigl\vert P(x_{0}) \bigr\vert \le r+\delta $$
for any \(\delta >0\). Letting \(\delta \searrow 0\), we reach a contradiction of the inequality. This gives the proof. □

By Theorems 5.1 and 5.2, we have a corollary.

Corollary 5.6

Let\(r>0\)and let\(P_{j}\)be polynomial\((1\le j\le q)\). Put\(K= H\bigcap_{j=1}^{q} N_{P_{j}}(r)\), whereH, \(N_{P_{j}}(r)\)are compact. Then\(\operatorname{supp}\hat{f}\subset K\)if and only if for any\(\delta >0\)there exists a constant\(C_{p,K,\delta }\)such that
$$ \Biggl\Vert D^{\alpha }\prod_{j=1}^{q}P_{j}^{m_{j}}(D)f \Biggr\Vert _{p} \le C_{p,K,\delta }(r+\delta )^{\sum _{j=1}^{q}m_{j}} \Bigl( \sup_{z\in K_{(\delta )}} \bigl\vert z^{\alpha } \bigr\vert \Bigr) \Vert f \Vert _{p} $$
for all\(m_{j}\in \mathbb{Z}_{\ast }\)\((1\le j\le q)\), for all\(\alpha \in \mathbb{Z}_{\ast }^{n}\).

We are ready to derive Theorem 5.3 with a lemma.

Lemma 5.7

LetPbe a real polynomial of degree 1. If\(E\subset \mathbb{R}^{n}\)is any set, then
$$ \sup_{z\in E_{(\delta )}} \bigl\vert P(z) \bigr\vert = \sup _{x\in E_{\delta }} \bigl\vert P(x) \bigr\vert . $$

Proof

From \(E_{\delta }\subset E_{(\delta )}\), we have \(\sup_{z\in E_{(\delta )}}|P(z)|\ge \sup_{x\in E_{\delta }}|P(x)|\). To complete the proof, we need prove that \(\sup_{z\in E_{(\delta )}}|P(z)| \le \sup_{x\in E_{\delta }}|P(x)|\). Indeed, let \(z\in E_{(\delta )}\). Then there are \(x\in E\) and \(r\eta \in \mathbb{C}^{n}\)\((0\le r\le \delta , |\eta |=1)\) such that \(z=x+r\eta \). Since we can replace P with −P, we may assume that \(P(x)\ge 0\). Taking \(y=x+r( \operatorname{sign} (\partial _{x_{1}}P)|\eta _{1}|,\ldots ,\operatorname{sign} ( \partial _{x_{n}}P)|\eta _{n}|)\in E_{r}\subset E_{\delta }\) so that
$$ \bigl\vert P(y) \bigr\vert = P(x) + r\sum_{j=1}^{n} \vert \partial _{x_{j}} P \vert \vert \eta _{j} \vert . $$
By the triangle inequality,
$$ \bigl\vert P(z) \bigr\vert \le P(x) + r\sum_{j=1}^{n} \vert \partial _{x_{j}} P \vert \vert \eta _{j} \vert . $$
The previous two inequalities show that for each \(z\in E_{(\delta )}\), there is \(y\in E_{\delta }\) such that \(|P(z)|\le |P(y)|\). Therefore, taking supremums successively, we justify the lemma. □

Proof of Theorem 5.3

The necessity follows readily. Indeed, let \(\delta >0\). By Theorem A, for some \(C_{p,K,\delta }\), we have
$$ \begin{aligned} \bigl\Vert P^{m}(D)f \bigr\Vert _{p} &\le C_{p,K,\delta } \Bigl(\sup_{z\in K_{(\delta )}} \bigl\vert P(z) \bigr\vert ^{m} \Bigr) \Vert f \Vert _{p} \\ &\le C_{p,K,\delta } \Bigl(\sup_{z\in K_{\delta }} \bigl\vert P(z) \bigr\vert ^{m} \Bigr) \Vert f \Vert _{p} \end{aligned} $$
for a real polynomial P of degree 1 and for all \(m\in \mathbb{Z} _{\ast }\), where the second inequality comes from Lemma 5.7.
It remains to prove the sufficiency. On the contrary, assume that there exists \(x_{0}\in H\) with \(x_{0} \notin K\), where \(H= \operatorname{supp}\hat{f}\). Since K is convex and compact, we easily find a linear P such that
$$ \bigl\vert P(x_{0}) \bigr\vert > \sup _{x\in K} \bigl\vert P(x) \bigr\vert . $$
(38)
By (31) and Proposition 2.1,
$$ \bigl\Vert P^{m}(D)f \bigr\Vert _{1} \le C_{p,H} C_{p,K,\delta } \Bigl(\sup_{x\in K_{ \delta }} \bigl\vert P^{m}(x) \bigr\vert \Bigr) \Vert f \Vert _{p} $$
for all \(m\in \mathbb{Z}_{\ast }\). So,
$$ \limsup_{m\to \infty } \bigl\Vert P^{m}(D)f \bigr\Vert _{1}^{1/m} \le \sup _{x\in K_{ \delta }} \bigl\vert P(x) \bigr\vert . $$
(39)
By (39) and by Lemma 2.2,
$$ \bigl\vert P(x_{0}) \bigr\vert \le \sup_{x\in K_{\delta }} \bigl\vert P(x) \bigr\vert , $$
and, putting \(\delta \searrow 0\), we get
$$ \bigl\vert P(x_{0}) \bigr\vert \le \sup_{x\in K} \bigl\vert P(x) \bigr\vert . $$
This contradicts (38), therefore, the proof is complete. □

From Theorems 5.1 and 5.3, we have the following.

Corollary 5.8

LetKbe convex compact in\(\mathbb{R}^{n}\), \(0< p <1\). Then, for every\(\delta >0\), there exists a constant\(C_{p,K,\delta }\)independent off, P, msuch that
$$\begin{aligned} \bigl\Vert P^{m}(D) f \bigr\Vert _{p} \le C_{p,K,\delta } \Bigl(\sup_{x\in K_{\delta }} \bigl\vert P(x) \bigr\vert ^{m} \Bigr) \Vert f \Vert _{p} \end{aligned}$$
for all\(P(x)\)having degree 1 and for all\(m\in \mathbb{Z}_{\ast }\).

Corollary 5.9

Let\(0< p<1\). Suppose that\(K_{1}\)is convex and compact and that\(K_{2}\)compact satisfying theg-property. Then\(\operatorname{supp}\hat{f} \subset K_{1}\cap K_{2}=K\), say, if and only if for any\(\delta >0\)there exists a constant\(C_{p,K,\delta }\)such that
$$ \bigl\Vert P^{m}(D)D^{\alpha }f \bigr\Vert _{p} \le C_{p,K,\delta } \Bigl( \sup_{x\in K_{\delta }} \bigl\vert P^{m}(x) \bigr\vert \Bigr) \Vert f \Vert _{p} $$
for any real polynomialsPof degree 1 and for any\(m\in \mathbb{Z} _{\ast }\).

Remark 3

According to the Nikolskii inequality all \(L^{p}\)\(L^{p}\) inequalities for differential operators in this paper can be extended to the \(L^{p}\)\(L^{q}\) inequalities for \(0< p< q<\infty \).

Notes

Acknowledgements

The authors would like to express their deep gratitude to the anonymous referees for their careful reading of the manuscript and their fruitful comments and suggestions.

Availability of data and materials

Not applicable.

Authors’ contributions

All authors contributed equally to this work. All authors read and approved the final manuscript.

Funding

The third author was partially supported by an NRF, Grant No. NRF-2017R1E1A1A03070307.

Competing interests

The authors declare that they have no competing interests.

References

  1. 1.
    Achieser, N.I.: Theorem of Approximation. Ungar, New York (1956) zbMATHGoogle Scholar
  2. 2.
    Bang, H.H.: A property of infinitely differentiable functions. Proc. Am. Math. Soc. 108, 73–76 (1990) MathSciNetCrossRefGoogle Scholar
  3. 3.
    Bang, H.H.: The existence of a point spectral radius of pseudodifferential operators. Dokl. Math. 53, 420–422 (1996) zbMATHGoogle Scholar
  4. 4.
    Bang, H.H.: Theorems of the Paley–Wiener–Schwartz type. Tr. Mat. Inst. Steklova 214, 298–319 (1996) MathSciNetzbMATHGoogle Scholar
  5. 5.
    Bang, H.H.: Nonconvex cases of the Paley–Wiener–Schwartz theorems. Doklady Akad. Nauk 354, 165–168 (1997) MathSciNetzbMATHGoogle Scholar
  6. 6.
    Bang, H.H., Cong, N.M.: A Bernstein–Nikolskii type inequality in Lorentz spaces and related topics (Russian) 7, 90–100 (2005) Google Scholar
  7. 7.
    Bernstein, S.N.: Sur l’ordre de la meilleure approximation des fonctions continues par les polyômes de degré donné. Mem. Cl. Sci. Acad. Roy. Belg. (1912) Google Scholar
  8. 8.
    DeVore, R., Lorentz, G.G.: Constructive Approximation. Grundlehren der Mathematischen Wissenschaften (Fundamental Principles of Mathematical Sciences), vol. 303. Springer, Berlin (1993) CrossRefGoogle Scholar
  9. 9.
    Hörmander, L.: The Analysis of Linear Partial Differential Operators I. Springer, Berlin (1983) zbMATHGoogle Scholar
  10. 10.
    Nikol’skii, S.M.: Approximation of Functions of Several Variables and Imbedding Theorems. Springer, Berlin (1975) CrossRefGoogle Scholar
  11. 11.
    Paley, R., Wiener, N.: Fourier Transform in the Complex Domain. Amer. Math. Soc. Coll. Publ. XIX, New York (1934) Google Scholar
  12. 12.
    Rahman, Q.I., Schmeisser, G.: \(L^{p}\) inequalities for entire functions of exponential type. Trans. Amer. Math. Soc. 320, 91–103 (1990) MathSciNetzbMATHGoogle Scholar
  13. 13.
    Schwartz, L.: Transformation de Laplace des distributions. Comm. Sém. Math. Univ. Lund, 196–206 (1952) Google Scholar

Copyright information

© The Author(s) 2019

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.

Authors and Affiliations

  1. 1.Institute of MathematicsVietnamese Academy of Science and TechnologyHanoiVietnam
  2. 2.Department of MathematicsHanoi University of Science, Vietnam National UniversityHanoiVietnam
  3. 3.Department of MathematicsThang Long Institute of Mathematics and Applied SciencesHanoiVietnam
  4. 4.Department of MathematicsSchool of Sciences, Sogang UniversitySeoulKorea

Personalised recommendations