Skip to main content

Some higher norm inequalities for composition of power operators

Abstract

In this paper, we first prove the local \(L^{s}\) norm estimate of composite operators \(\triangle^{k}G^{m}(u)\) by use of the \(L^{s}\) norm of u. Then we establish the local and global higher norm inequalities of \(\triangle^{k}G^{m}(u)\). Simultaneously, we also give a global higher norm estimate with Radon measure. Finally, as applications of these results, we give two examples to estimate the higher norm of \(\triangle^{k}G^{m}(u)\).

1 Introduction

In this paper, our purpose is investigating some higher norm inequalities for composition of power operators \(\triangle^{k} G^{m}\) on a bounded domain M, where k, m are positive integers, â–³ is Laplace–Beltrami operator, and G is Green’s operator. The norm estimate of operators applied to differential forms is an important and interesting research topic in some areas of mathematic analysis and has achieved fruitful results; see [1–11] for more detail. Some these results improved the development of some other branches of mathematics and mathematical physics; see [12–18] for details. In previous related research about norm estimates of operators the study mostly concentrated on estimates of the \(L^{t}\) norm of operators and applying them to differential forms in terms of the \(L^{t}\) norm of differential forms. Therefore, if \(s> t\), then we could not estimate the \(L^{s}\) norm of operators by the \(L^{t}\) norm of differential forms from the literature. This motivated us to research the higher norm of operators than of differential forms. Since the norm estimate of a composite operator is more complicated than that of a single operator, in this paper, we choose the composition of power operators \(\triangle^{k}G^{m}\) to be the research object. In this paper, we first give the local \(L^{s}\) norm estimate of \(\triangle^{k}G^{m}(u)\) by the \(L^{s}\) norm of u in Theorem 2.5. Then based on Theorem 2.5, we prove the local and global higher norm inequalities of \(\triangle^{k}G^{m}(u)\) separately presented in Theorems 2.6–2.8 and 3.2. Simultaneously, we also establish the global higher norm estimate with Radon measure in Theorem 3.3. Finally, we give two examples as applications of Theorem 3.2.

We start this paper by introducing some notations and definitions in [19]. Let \(M\subset R^{n}\) (\(n\geq2\)) be a bounded domain, B be a ball, and σB be the ball with the same center as B satisfying \(\operatorname{diam}(\sigma B)=\sigma \operatorname{diam}(B)\). We do not distinguish balls from cubes in this paper. By \(\varLambda^{k}=\varLambda^{k}(R^{n})\) (\(k=1,2,\ldots,n\)) we denote the linear space of all k-forms \(u(x)=\sum_{I} u_{I}(x)\,dx_{I}=\sum{u_{i_{1}i_{2}\cdots i_{k}}}\,dx_{i_{1}} \varLambda{\,dx_{i_{2}}}\varLambda\cdots\varLambda{\,dx_{i_{k}}}\) with summation over all ordered k-tuples \(I=(i_{1},i_{2},\ldots,i_{k})\), \(1\leq{i_{1}<{i_{2}}<\cdots <{i_{k}}\leq{n}}\), \(k=1,2,\ldots,n\). If the coefficient \(u_{I}(x)\) of k-forms is differentiable on M, then we call \(u(x)\) a differential k-form on M. As usual, we use \(C^{\infty}(M, \varLambda^{k})\) to denote the space of smooth k-forms in a domain M, \(D^{'}(M, \varLambda^{k})\) to denote the space of all differential k-forms. Let \(L^{p}(M, \varLambda^{k})\) be the set of differential k-forms \(u(x)=\sum_{I} u_{I}(x)\,dx_{I}\) on M with \(\int_{M} |u_{I}|^{p}<\infty\) for all ordered k-tuples I. The norm of a k-form \(u(x)\) on M is defined by

$$ \bigl\Vert u(x) \bigr\Vert _{p,M}= \biggl( \int_{M}{ \bigl\vert {{u(x)}} \bigr\vert }^{p}\,dx \biggr)^{\frac{1}{p}} = \biggl( \int_{M} \biggl(\sum_{I} \bigl\vert {u_{I}(x)} \bigr\vert ^{2} \biggr)^{\frac{p}{2}}\,dx \biggr)^{\frac{1}{p}}, $$
(1.1)

and then \(L^{p}(M, \varLambda^{k})\) is a Banach space. As usual, we use ⋆ to denote the Hodge star operator and \(\operatorname{dist}(x,M)\) to denote the distance of the point x from the set M. Also, we use \(d:D^{'}(M, \varLambda^{k})\rightarrow{D^{'}(M, \varLambda^{k+1})}\) to denote the differential operator and \(d^{\star}:D^{'}(M,\varLambda^{k+1})\rightarrow{D^{'}(M,\varLambda^{k})}\) to denote the Hodge codifferential operator defined by \(d^{\star }=(-1)^{nk+1}\star{d}\star\) on \(D^{'}(M,\varLambda^{k+1})\). The n-dimensional Lebesgue measure of a set \(E\subseteq{R^{n}}\) is denoted by \(|{E}|\). For any differential form u, the average of u over B is defined as \(u_{B}=\frac{1}{|B|}\int_{B} u \,dx\). All integrals involved in this paper are the Lebesgue integrals. The Laplace–Beltrami operator â–³ is defined by \(\triangle =dd^{\star}+d^{\star}d\). We define Green’s operator G on the space of smooth k-forms in M by setting \(G(u)\) to be a solution of Poisson’s equation \(\triangle G(u)=u-H(u)\), where H is the harmonic projection; see [1, 7, 19–22] for more detail about the Laplace–Beltrami operator â–³, Green’s operator G, and projection operator H. We call w a weight if \(w\in{L_{\mathrm{loc}}^{1}(R^{n})}\) and \(w>0\) a.e. For any Radon measure ν defined by \(d\nu=w(x)\,dx\), we define the \(L^{p}\)-norm of a measurable function f with Radon measure over M by

$$ \Vert f \Vert _{p,M,\nu}= \biggl( \int_{M} \vert f \vert ^{p}\,d\nu \biggr)^{\frac{1}{p}}= \biggl( \int _{M} \vert f \vert ^{p}w(x)\,dx \biggr)^{\frac{1}{p}}, $$
(1.2)

and the Radon measure of E by \(\nu(E)=\int_{E} \,d\nu=\int_{E} w(x)\,dx\).

The nonlinear partial differential equation

$$ d^{\star}A(x,du)=0 $$
(1.3)

is called the A-harmonic equation, where \(A:M\times\varLambda ^{k}(R^{n})\rightarrow\varLambda^{K}(R^{n})\) satisfies the following conditions:

$$ \bigl\vert A(x,\xi) \bigr\vert \leq a \vert \xi \vert ^{p-1} \quad\mbox{and}\quad A(x,\xi)\xi\geq \vert \xi \vert ^{p} $$
(1.4)

for almost every \(x\in M\) and all \(\xi\in\varLambda^{k}(R^{n})\), where \(a>0\) is a constant, and \(1< p<\infty\) is a fixed exponent associated with (1.3). For more details about A-harmonic equation, see [3, 4, 8, 19, 23, 24].

2 Local higher norm inequalities for \(\triangle^{k}G^{m}(u)\)

In this section, we first give the \(L^{s}\) norm estimate of \(\triangle ^{k}G^{m}(u)\) in terms of the \(L^{s}\) norm of u. Then based on this result, we establish local higher norm inequalities for \(\triangle^{k}G^{m}(u)\) in two cases.

Let ψ be a strictly increasing convex function on \([0,+\infty)\) with \(\psi(0)=0\), and let u be a differential form on a bounded domain M. Then \(\psi (\kappa|u|+|u_{M}|)\in L^{1}(M,\nu)\) for any real number \(\kappa>0\) and \(\nu(\{x\in M:|u-u_{M}|>0\})>0\), where ν is the Radon measure defined by \(d\nu=w(x)\,dx\) for a weight \(w(x)\). For any positive constant a, we have

$$\int_{M} \psi\biggl(\frac{1}{2} \vert u-u_{M} \vert \biggr)\,d\nu\leq C_{1} \int_{M} \psi\bigl(a \vert u \vert \bigr)\,d\nu\leq C_{2} \int_{M} \psi\bigl(2a \vert u-u_{M} \vert \bigr)\,d\nu $$

for some constants \(C_{1}>0\) and \(C_{2}>0\). Let \(\psi(u)=u^{s}\), \(s>1\), \(w(x)=1\), and let M be a ball B in this inequality. Then there exist two positive constants \(C_{3}\) and \(C_{4}\), independent of u, such that

$$ \Vert u-u_{B} \Vert _{s,B}\leq C_{3} \Vert u \Vert _{s,B}\leq C_{4} \Vert u-u_{B} \Vert _{s,B} $$
(2.1)

for all balls B with \(|\{x\in B:|u-u_{B}|>0\}|>0\). Inequality (2.1) indicates the norm \(\|u-u_{B}\|_{s,B}\) comparable to the norm \(\|u\|_{s,B}\).

Lemma 2.1

([5])

Let\(u\in{C^{\infty}(M, \varLambda)}\)be a smooth differential form defined on M. Then there exists a constant\(C=C(s)\), independent ofu, such that

$$ \bigl\Vert dd^{\star}G(u) \bigr\Vert _{s,B}+ \bigl\Vert d^{\star}dG(u) \bigr\Vert _{s,B}+ \bigl\Vert dG(u) \bigr\Vert _{s,B}+ \bigl\Vert d^{\star}G(u) \bigr\Vert _{s,B}+ \bigl\Vert G(u) \bigr\Vert _{s,B}\leq{C(s) \Vert u \Vert _{s,\sigma B}} $$

for any ballBwith\(\sigma B\subset M\), where\(\sigma>1\)and\(1< s<\infty\)are constants.

Lemma 2.2

([25])

Letube a solution ofA-harmonic equation (1.3) in a domain M. Then there exists a constantC, independent ofu, such that

$$ \Vert u \Vert _{s,B} \leq{C \vert B \vert ^{(t-s)/st} \Vert u \Vert _{t,\sigma B}} $$

for all ballsBwith\(\sigma B\subset M\), where\(\sigma>1\)and\(0< s,t<\infty\)are constants.

Lemma 2.3

([24])

Let\(u\in D^{\prime}(Q,\varLambda^{l})\)and\(du\in L^{p}(Q,\varLambda^{l+1})\). Then\(u-u_{Q}\)is in\(L^{np/(n-p)}(Q,\varLambda^{l})\), and

$$ \biggl( \int_{Q} \vert u-u_{Q} \vert ^{np/(n-p)}\,dx \biggr)^{(n-p)/np} \leq C_{p}(n) \biggl( \int_{Q} \vert du \vert ^{p} \,dx \biggr)^{1/p} $$

for a cube or a ballQin\(R^{n}\), where\(l=0,1,2,\ldots,n-1\)and\(1< p< n\).

Lemma 2.4

Letube a smooth differential form defined onM, Gbe Green’s operator, and △ be the Laplace–Beltrami operator defined by\(\triangle=dd^{\star}+d\star d\). Then the Laplace–Beltrami operator △ and Green’s operatorGare commutable, that is,

$$ \triangle G(u)=G\triangle(u). $$
(2.2)

Proof

From [19, p. 88] we find that Green’s operator G commutes with d and \(d^{\star}\). Therefore, for any differential form u, we have

$$ Gd(u)=dG(u), Gd^{\star}(u)=d^{\star}G(u). $$
(2.3)

From (2.3) and the definition of the Laplace–Beltrami operator △ we obtain

$$\begin{aligned} \triangle G(u)&=\bigl(dd^{\star}+d^{\star}d\bigr)G(u) \\ &=dd^{\star}G(u) +d^{\star}d G(u) \\ &= Gdd^{\star}(u) +Gd^{\star}d (u) \\ &= G\bigl(dd^{\star}+d^{\star}d \bigr) (u) \\ &= G\triangle(u). \end{aligned}$$

Thus we complete the proof of Lemma 2.4. □

Now we will give the following local \(L^{s}\)-norm estimate of composite operator \(\triangle^{k} G^{m}\), which will be used in the proof of higher norm theorems.

Theorem 2.5

Let\(u\in L^{s}_{\mathrm{loc}}(M, \varLambda^{l})\) (\(1< s<\infty\), \(l=1,2,\ldots ,n\)) be a smooth differential form defined onM, Gbe Green’s operator, and △ be the Laplace–Beltrami operator. Then there exists a constantC, independent ofu, such that

$$ \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{s,B}\leq C \Vert u \Vert _{s,\sigma B} $$
(2.4)

for all ballsBwith\(\sigma B \subset M\)and any positive integer\(k\leq m\), where\(\sigma>1\).

Proof

We prove this theorem in two steps: (1) First, let \(k=m\). For any differential form u, from Lemma 2.4 we have \(G\triangle(u)=\triangle G(u)\), and thus

$$ \triangle^{k} G^{k}(u)=(\triangle G)^{k}(u). $$
(2.5)

Hence (2.4) is equivalent to

$$ \bigl\Vert (\triangle G)^{k}(u) \bigr\Vert _{s,B}\leq C \Vert u \Vert _{s,\sigma B}. $$
(2.6)

Now we use mathematical induction to prove (2.6). Let \(k=1\). By Lemma 2.1 we have

$$\begin{aligned} \bigl\Vert \triangle G(u) \bigr\Vert _{s,B}&= \bigl\Vert \bigl(dd^{\star}+d^{\star}d\bigr)G(u) \bigr\Vert _{s,B} \\ &\leq \bigl\Vert dd^{\star}G(u) \bigr\Vert _{s,B} + \bigl\Vert d^{\star}d G(u) \bigr\Vert _{s,B} = C_{1} \Vert u \Vert _{s,\sigma_{1} B}, \end{aligned}$$
(2.7)

where \(\sigma_{1} B\subset M\) with \(\sigma_{1}>1\). Assume that (2.6) holds for \(k=k'\), \(k'=1,2,\dots\), that is,

$$ \bigl\Vert (\triangle G)^{k'}(u) \bigr\Vert _{s,B} \leq C_{2} \Vert u \Vert _{s,\sigma_{2} B}, $$
(2.8)

where \(\sigma_{2}>1\) is a constant such that \(\sigma_{2} B\subset M\). Now we prove that (2.6) holds for \(k=k'+1\). From (2.7) and (2.8) we have

$$\begin{aligned} \bigl\Vert (\triangle G)^{k'+1}(u) \bigr\Vert _{s,B}&= \bigl\Vert \triangle G \bigl((\triangle G)^{k'}(u) \bigr) \bigr\Vert _{s,B} \\ &\leq C_{3} \bigl\Vert (\triangle G)^{k'}(u) \bigr\Vert _{s,\sigma_{3} B} \leq C_{4} \Vert u \Vert _{s,\sigma_{4} B}, \end{aligned}$$
(2.9)

where \(\sigma_{4}>\sigma_{3}>1\) and \(\sigma_{4} B\subset M\). From (2.9) it follows that if \(k=m\), then (2.4) holds.

(2) Next, let \(k< m\). From \(\triangle G(u)=G\triangle(u)\) we obtain

$$ \triangle^{k} G^{m}(u)=G^{m-k} \bigl( ( \triangle G )^{k}(u) \bigr). $$
(2.10)

For any differential form u, from Lemma 2.1 we have

$$ \bigl\Vert G(u) \bigr\Vert _{s,B}\leq C_{5} \Vert u \Vert _{s,\sigma_{5} B} $$
(2.11)

for some constant \(\sigma_{5}>1\) with \(\sigma_{5} B\subset M\). Using mathematical induction and (2.11),we can easily prove that

$$ \bigl\Vert G^{k'}(u) \bigr\Vert _{s,B}\leq C_{6} \Vert u \Vert _{s,\sigma_{6} B} $$
(2.12)

for any positive integer \(k'\) and some constant \(\sigma_{6}>1\) such that \(\sigma_{6} B\subset M\). Combining (2.10), (2.12), and (2.6), we have

$$\begin{aligned} \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{s,B} &= \bigl\Vert G^{m-k} \bigl((\triangle G)^{k}(u) \bigr) \bigr\Vert _{s, B} \\ &\leq C_{7} \bigl\Vert (\triangle G)^{k}(u) \bigr\Vert _{s,\sigma_{6} B} \\ &\leq C_{8} \Vert u \Vert _{s,\sigma_{7} B} \end{aligned}$$
(2.13)

for some constants \(\sigma_{7}>\sigma_{6}>1\) such that \(\sigma_{7} B\subset M\). Estimate (2.13) shows that (2.4) holds for \(k< m\). This completes the proof of Theorem 2.5. □

Next, based on Theorem 2.5, we will prove local higher norm inequalities for the composite operator \(\triangle^{k} G^{m}\) in two cases.

Theorem 2.6

Let\(u\in L^{t}_{\mathrm{loc}}(M,\varLambda^{l})\)be a smooth differential form onM, Gbe Green’s operator, and △ be the Laplace–Beltrami operator, \(l=1,2,\ldots,n\), \(1< t< n\). Then\(\triangle^{k}G^{m}(u)\in L^{s}_{\mathrm{loc}}(M, \varLambda^{l})\)for anyssuch that\(0< s< nt/(n-t)\). Moreover, there exists a constantC, independent ofu, such that

$$ \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{s,B}\leq C \vert B \vert ^{1/s+1/n-1/t} \Vert u \Vert _{t,\sigma B} $$
(2.14)

for all ballsBwith\(\sigma B \subset M\)and\(|B|>d_{0}\)and any positive integer\(k< m\), where\(\sigma>1\)and\(d_{0}>0\)are constants.

Proof

We prove this theorem in the following two cases: (1) First, assume that the measure \(|\{x\in B:|\triangle ^{k}G^{m}(u)-(\triangle^{k}G^{m}(u))_{B}|>0\}|=0\). Then \(\triangle^{k}G^{m}(u)=(\triangle^{k}G^{m}(u))_{B}\) almost everywhere in B. Thus \(\triangle^{k}G^{m}(u)\) is a closed form and is a solution of A-harmonic equation (1.3). Hence Lemma 2.2 holds for \(\triangle^{k}G^{m}(u)\). Replacing u by \(\triangle^{k}G^{m}(u)\) in Lemma 2.2, we have

$$ \bigl\Vert \triangle^{k}G^{m}(u) \bigr\Vert _{s,B} \leq{C_{1} \vert B \vert ^{(t-s)/st} \bigl\Vert \triangle^{k}G^{m}(u) \bigr\Vert _{t,\sigma_{1} B}}, $$
(2.15)

where \(\sigma_{1}>1\) is a constant such that \(\sigma_{1} B\subset M\). Since \(|B|>d_{0}>0\), there exists a constant \(C_{2}>0\) such that \(\frac{1}{|B|^{1/n}}\leq C_{2}\). Combining (2.15) and Theorem 2.5, we obtain

$$\begin{aligned} \bigl\Vert \triangle^{k}G^{m}(u) \bigr\Vert _{s,B} &\leq{C_{1} \vert B \vert ^{(t-s)/st} \bigl\Vert \triangle ^{k}G^{m}(u) \bigr\Vert _{t,\sigma_{1} B}} \\ &\leq{C_{3} \vert B \vert ^{(t-s)/st} \Vert u \Vert _{t,\sigma_{2} B}} \\ &= C_{3} \vert B \vert ^{\frac{1}{s}+\frac{1}{n}-\frac{1}{t}}\frac{1}{ \vert B \vert ^{1/n}} \Vert u \Vert _{t,\sigma_{2} B} \\ &\leq C_{4} \vert B \vert ^{\frac{1}{s}+\frac{1}{n}-\frac{1}{t}} \Vert u \Vert _{t,\sigma_{2} B}, \end{aligned}$$
(2.16)

where \(\sigma_{2}>\sigma_{1}>1\) with \(\sigma_{2} B\subset M\).

(2) Second, if the the measure \(|\{x\in B:|\triangle^{k}G^{m}(u)-(\triangle ^{k}G^{m}(u))_{B}|>0\}|>0\), then (2.1) holds for \(\triangle^{k}G^{m}(u)\), and thus we have

$$ \bigl\Vert \triangle^{k}G^{m}(u) \bigr\Vert _{nt/(n-t),B}\leq C_{5} \bigl\Vert \triangle^{k}G^{m}(u)- \bigl(\triangle ^{k}G^{m}(u)\bigr)_{B} \bigr\Vert _{nt/(n-t),B}. $$
(2.17)

Note that \(G\triangle(u)=\triangle G(u)\) and \(k< m\). Then \(d\triangle^{k} G^{m}(u)=dG(\triangle^{k} G^{m-1}(u))\) and \(k\leq m-1\). Thus, combining Lemma 2.1 and Theorem 2.5, we have

$$\begin{aligned} \bigl\Vert d\triangle^{k}G^{m}(u) \bigr\Vert _{t,B} = \bigl\Vert dG\bigl(\triangle^{k}G^{m-1}(u) \bigr) \bigr\Vert _{t,B} \leq C_{6} \bigl\Vert \triangle^{k}G^{m-1}(u) \bigr\Vert _{t,\sigma_{3} B} \leq C_{7} \Vert u \Vert _{t,\sigma_{4} B}, \end{aligned}$$
(2.18)

where \(\sigma_{4}>\sigma_{3}>1\) are constants such that \(\sigma_{4} B\subset M\). Since \(1< t< n\), from Lemma 2.3 and (2.18) we have

$$\begin{aligned} & \bigl\Vert \triangle^{k}G^{m}(u)-\bigl( \triangle^{k}G^{m}(u)\bigr)_{B} \bigr\Vert _{nt/(n-t),B} \\ &\quad= \biggl( \int_{B} \bigl\vert \triangle^{k}G^{m}(u)- \bigl(\triangle^{k}G^{m}(u)\bigr)_{B} \bigr\vert ^{nt/(n-t)}\, dx \biggr)^{(n-t)/nt} \\ &\quad\leq C_{8} \biggl( \int_{B} \bigl\vert d\triangle^{k}G^{m}(u) \bigr\vert ^{t} \,dx \biggr)^{1/t} \\ &\quad=C_{8} \bigl\Vert d\triangle^{k}G^{m}(u) \bigr\Vert _{t,B} \\ &\quad\leq C_{9} \Vert u \Vert _{t,\sigma_{4} B}. \end{aligned}$$
(2.19)

By the monotonicity property of the \(L^{t}\)-space, we obtain the inequality

$$ \biggl(\frac{1}{ \vert B \vert } \int_{B} \bigl\vert \triangle^{k}G^{m}(u) \bigr\vert ^{s}dx \biggr)^{1/s}\leq \biggl( \frac{1}{ \vert B \vert } \int_{B} \bigl\vert \triangle^{k}G^{m}(u) \bigr\vert ^{nt/(n-t)}\,dx \biggr)^{(n-t)/nt} $$
(2.20)

for any s such that \(0< s< nt/(n-t)\). Inequality (2.20) shows that

$$ \bigl\Vert \triangle^{k}G^{m}(u) \bigr\Vert _{s,B}\leq \vert B \vert ^{1/s+1/n-1/t} \bigl\Vert \triangle^{k}G^{m}(u) \bigr\Vert _{nt/(n-t),B}. $$
(2.21)

Combining (2.21), (2.17), and (2.19), we have

$$ \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{s,B}\leq C_{10} \vert B \vert ^{1/s+1/n-1/t} \Vert u \Vert _{t,\sigma _{4} B}. $$
(2.22)

From (2.16) and (2.22) we get (2.14) for \(1< t< n\). Thus we complete the proof of Theorem 2.6. □

In Theorem 2.6, since \(1< t< n\), then \(\frac{nt}{n-t}\rightarrow+\infty\) as \(t\rightarrow n^{-}\). Since \(0< s< nt/(n-t)\), s can be greater than t, and thus the composite operator \(\triangle^{k}G^{m}(u)\) has higher norm than the differential form u. Next, we prove (2.14) for \(t\geq n\).

Theorem 2.7

Let\(u\in L^{t}_{\mathrm{loc}}(M,\varLambda^{l})\)be a smooth differential form onM, Gbe Green’s operator, and △ be the Laplace–Beltrami operator onM, \(l=1,2,\ldots,n\), \(t\geq n\). Then\(\triangle^{k}G^{m}(u)\in L^{s}_{\mathrm{loc}}(M, \varLambda^{l})\)for any constant\(s>0\). Moreover, there exists a constantC, independent ofu, such that

$$ \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{s,B}\leq C \vert B \vert ^{1/s+1/n-1/t} \Vert u \Vert _{t,\sigma B} $$
(2.23)

for all ballsBwith\(\sigma B \subset M\)and\(|B|>d_{0}\)and any positive integer\(k< m\), where\(\sigma>1\)and\(d_{0}>0\)are constants.

Proof

We prove this theorem in the following two cases: (1) First, if the measure \(|\{x\in B: |\triangle^{k}G^{m}(u)-(\triangle ^{k}G^{m}(u))_{B}|>0\}|=0\), then applying the same method as in the proof of Theorem 2.6, we can prove (2.23) for any ball B with \(\sigma B\subset M\), where \(\sigma>1\) is a constant.

(2) Next, let the measure \(|\{x\in B:|\triangle^{k}G^{m}(u)-(\triangle ^{k}G^{m}(u))_{B}|>0\}|>0\). Select \(p=\max\{1,s/t\}\) and \(r=\frac{npt}{n+pt}\). Then \(1< r< n\). Since \(t\geq n\), that is, \(n-t\leq0\), we have \(r-t=\frac{t(p(n-t)-n)}{n+pt}<0\), that is, \(r< t\). Since \(1< r< n\), Lemma 2.3 holds for \(\triangle^{k}G^{m}(u)\) and r. Thus replacing u and p by \(\triangle^{k}G^{m}(u)\) and r, respectively, in Lemma 2.3, we have

$$ \biggl( \int_{B} \bigl\vert \triangle^{k}G^{m}(u)- \bigl(\triangle^{k}G^{m}(u)\bigr)_{B} \bigr\vert ^{nr/(n-r)}\, dx \biggr)^{(n-r)/nr} \leq C_{1} \biggl( \int_{B} \bigl\vert d\triangle^{k}G^{m}(u) \bigr\vert ^{r} \,dx \biggr)^{1/r}. $$
(2.24)

From Lemmas 2.4 and 2.1 and Theorem 2.5 we obtain

$$\begin{aligned} \biggl( \int_{B} \bigl\vert d\triangle^{k}G^{m}(u) \bigr\vert ^{r} \,dx \biggr)^{1/r} &= \biggl( \int_{B} \bigl\vert dG\bigl(\triangle^{k}G^{m-1}(u) \bigr) \bigr\vert ^{r} \,dx \biggr)^{1/r} \\ &\leq C_{2} \biggl( \int_{\sigma_{1} B} \bigl\vert \triangle^{k}G^{m-1}(u) \bigr\vert ^{r} \,dx \biggr)^{1/r} \\ &\leq C_{3} \biggl( \int_{\sigma_{2} B} \vert u \vert ^{r} \,dx \biggr)^{1/r} \end{aligned}$$
(2.25)

for all balls B with \(\sigma_{2}B\subset M\), where \(\sigma_{2}>\sigma_{1}>1\). Since \(r< t\), applying the monotonicity property of the \(L^{t}\) space, we have

$$ \biggl(\frac{1}{ \vert \sigma_{2} B \vert } \int_{\sigma_{2} B} \vert u \vert ^{r} \,dx \biggr)^{1/r} \leq \biggl(\frac{1}{ \vert \sigma_{2} B \vert } \int_{\sigma_{2} B} \vert u \vert ^{t} \,dx \biggr)^{1/t}. $$
(2.26)

Inequality (2.26) is equivalent to

$$ \biggl( \int_{\sigma_{2} B} \vert u \vert ^{r} \,dx \biggr)^{1/r} \leq C_{4} \vert B \vert ^{1/r-1/t} \biggl( \int_{\sigma_{2} B} \vert u \vert ^{t} \,dx \biggr)^{1/t}. $$
(2.27)

Since the measure \(|\{x\in B:|\triangle^{k}G^{m}(u)-(\triangle ^{k}G^{m}(u))_{B}|>0\}|>0\), estimates (2.1) hold for \(\triangle^{k}G^{m}(u)\). In the second half of (2.1), we replace u and s by \(\triangle ^{k}G^{m}(u)\) and \(nr/(n-r)\):

$$\begin{aligned} & \biggl( \int_{B} \bigl\vert \triangle^{k}G^{m}(u) \bigr\vert ^{nr/(n-r)} \,dx \biggr)^{(n-r)/nr} \\ &\quad\leq C_{5} \biggl( \int_{B} \bigl\vert \triangle^{k}G^{m}(u)- \bigl(\triangle ^{k}G^{m}(u)\bigr)_{B} \bigr\vert ^{nr/(n-r)}\,dx \biggr)^{(n-r)/nr}. \end{aligned}$$
(2.28)

Since \(p=\max\{1,s/t\}\), we have \(pt\geq s\). Since \(nr/(n-r)=pt\), we have \(nr/(n-r)\geq s\), and thus applying the monotonicity property of the \(L^{t}\) space, we have

$$ \biggl(\frac{1}{ \vert B \vert } \int_{B} \bigl\vert \triangle^{k}G^{m}(u) \bigr\vert ^{s} \,dx \biggr)^{1/s} \leq \biggl( \frac{1}{ \vert B \vert } \int_{B} \bigl\vert \triangle^{k}G^{m}(u) \bigr\vert ^{nr/(n-r)} \,dx \biggr)^{(n-r)/nr}. $$
(2.29)

Combining (2.29), (2.28), (2.24), (2.25), and (2.27), we obtain

$$\begin{aligned} & \biggl( \int_{B} \bigl\vert \triangle^{k}G^{m}(u) \bigr\vert ^{s} \,dx \biggr)^{1/s} \\ &\quad\leq \vert B \vert ^{1/s-(n-r)/nr} \biggl( \int_{B} \bigl\vert \triangle^{k}G^{m}(u) \bigr\vert ^{nr/(n-r)} \, dx \biggr)^{(n-r)/nr} \\ &\quad\leq C_{5} \vert B \vert ^{1/s-(n-r)/nr} \biggl( \int_{B} \bigl\vert \triangle^{k}G^{m}(u)- \bigl(\triangle ^{k}G^{m}(u)\bigr)_{B} \bigr\vert ^{nr/(n-r)}\,dx \biggr)^{(n-r)/nr} \\ &\quad\leq C_{6} \vert B \vert ^{1/s-(n-r)/nr+1/r-1/t} \biggl( \int_{\sigma_{2} B} \vert u \vert ^{t} \,dx \biggr)^{1/t} \\ &\quad= C_{6} \vert B \vert ^{1/s+1/n-1/t} \biggl( \int_{\sigma_{2} B} \vert u \vert ^{t} \,dx \biggr)^{1/t}. \end{aligned}$$
(2.30)

Inequality (2.30) implies (2.23). Therefore we complete the proof of this theorem. □

In Theorem 2.7, from the condition \(t\geq n\) we have \(\frac{1}{s}+\frac {1}{n}-\frac{1}{t}>0\), which is also presented in Theorem 2.6, and thus combining Theorems 2.6 and 2.7, we easily obtain the following theorem for any \(t>1\).

Theorem 2.8

Let\(u\in L^{t}_{\mathrm{loc}}(M,\varLambda^{l})\)be a smooth differential form defined onM, Gbe Green’s operator, and △ be the Laplace–Beltrami operator defined onM, \(l=1,2,\ldots,n\), \(t>1\). Then\(\triangle^{k}G^{m}(u)\in L^{s}_{\mathrm{loc}}(M, \varLambda^{l})\)for any constant\(s>0\)such that\(\frac{1}{s}+\frac{1}{n}-\frac{1}{t}>0\). Moreover, there exists a constantC, independent ofu, such that

$$ \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{s,B}\leq C \vert B \vert ^{1/s+1/n-1/t} \Vert u \Vert _{t,\sigma B} $$
(2.31)

for all ballsBwith\(\sigma B \subset M\)and\(|B|>d_{0}\)and any positive integer\(k< m\), where\(\sigma>1\)and\(d_{0}>0\)are constants.

3 Global higher norm inequalities for composite operator \(\triangle^{k} G^{m}\)

In this section, based on Theorem 2.8, we will prove the global higher norm estimate for the composite operator \(\triangle^{k}G^{m}(u)\) in any bounded domain \(M\subset R^{n}\). Then we will establish the corresponding global higher norm estimate with Radon measure. In the following proof of related theorems, we need the following modified Whitney cover in [25]; see [23] for more detail about Whitney covers.

Lemma 3.1

Each\(\varOmega\subset{R^{n}}\)has a modified Whitney cover of cubes\(W=\{ Q_{i}\}\)that satisfy

$$\begin{aligned} & \bigcup_{i}Q_{i}=\varOmega, \\ & \sum_{Q\in{W}}\chi_{\sqrt{5/4}Q}\leq{N\cdot \chi_{\varOmega}} \end{aligned}$$

for all\(x\in{R^{n}}\)and some\(N>1\), and if\(Q_{i}\cap Q_{j}\neq\emptyset \), then there exists a cubeRin\(Q_{i}\cap Q_{j}\)such that\(Q_{i}\cup Q_{j}\subset NR\). Moreover, ifΩis aδ-John, then there is a distinguished cube\(Q_{0}\in W\)that can be connected with every cube\(Q\in W\)by a chain of cubes\(Q_{0},Q_{1},\ldots,Q_{k}\)fromWand such that\(Q\subset\rho Q_{i}\), \(i=1,2,\ldots,k\), for some\(\rho=\rho(n,\delta)\).

Now we will give the global higher norm inequality for the composite operator \(\triangle^{k}G^{m}(u)\) based on Theorem 2.8.

Theorem 3.2

Let\(u\in L^{t}_{\mathrm{loc}}(M,\varLambda^{l})\)be a smooth differential form defined on a bounded domainM, Gbe Green’s operator, and â–³ be the Laplace–Beltrami operator, \(l=1,2,\ldots,n\), \(t>1\). Then\(\triangle^{k}G^{m}(u)\in L^{s}_{\mathrm{loc}}(M, \varLambda^{l})\)for any constant\(s>0\)such that\(\frac{1}{s}+\frac{1}{n}-\frac{1}{t}>0\). Moreover, there exists a constantC, independent ofu, such that

$$ \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{s,M}\leq C \vert M \vert ^{1/s+1/n-1/t} \Vert u \Vert _{t,M} $$
(3.1)

for any positive integer\(k< m\).

Proof

From Lemma 3.1, we know that there exists a sequence of cubes \(W=\{B_{i}\} \) such that \(\bigcup_{i}B_{i}=M\) and \(\sum_{B_{i}\in{W}}{\chi_{\sqrt {5/4}B_{i}}}\leq{N\cdot{\chi_{M}(x)}}\) for all \(x\in M\), where \(N>1\) is some constant. Hence, for \(u\in L^{t}_{\mathrm{loc}}(M,\varLambda^{l})\), using Theorem 2.8, we have

$$\begin{aligned} \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{s,M} &\leq \sum_{B_{i}\in{W}} \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{s,B_{i}} \\ &\leq \sum_{B_{i}\in{W}} C_{1} \vert B_{i} \vert ^{1/s+1/n-1/t} \Vert u \Vert _{t,\sigma B_{i}} \\ &\leq C_{1} \vert M \vert ^{1/s+1/n-1/t} \sum _{B_{i}\in{W}} \biggl( \int_{\sigma B_{i}} \vert u \vert ^{t} \,dx \biggr)^{1/t} \\ &= C_{1} \vert M \vert ^{1/s+1/n-1/t} \sum _{B_{i}\in{W}} \biggl( \int_{M} \vert u \vert ^{t} \, dx\cdot{ \chi_{\sigma B_{i}}} \biggr)^{1/t} \\ &= C_{1} \vert M \vert ^{1/s+1/n-1/t} N\cdot \biggl( \int_{M} \vert u \vert ^{t} \,dx \biggr)^{1/t} \\ &= C_{1}N \vert M \vert ^{1/s+1/n-1/t} \Vert u \Vert _{t,M} \\ &= C_{2} \vert M \vert ^{1/s+1/n-1/t} \Vert u \Vert _{t,M}, \end{aligned}$$
(3.2)

where \(C_{2}=C_{1}{N}\) is independent of u and all \(B_{i}\). Thus we complete the proof of Theorem 3.2. □

In Theorem 3.2, if we assume that \(s>t\), then Theorem 3.2 reduces to the global higher norm estimate for composite operator \(\triangle^{k} G^{m}\). Next, we consider the following global norm comparison equipped with Radon measure based on Theorem 3.2.

Theorem 3.3

Let\(u\in L^{t}_{\mathrm{loc}}(M,\varLambda^{l})\)be a smooth differential form defined on a bounded domainM, Gbe Green’s operator, â–³ be the Laplace–Beltrami operator, and\(\hbar_{1}(y)\)and\(\hbar_{2}(y)\)be two continuous nonnegative functions defined on\((0,+\infty)\)with conditions: (1) \({\lim}_{y\rightarrow0}\hbar_{1}(y)=0\); (2) \({\lim }_{y\rightarrow0}\hbar_{2}(y)=\infty\), \(l=1,2,\ldots,n\), \(t>1\). Then\(\triangle^{k}G^{m}(u)\in L^{s}_{\mathrm{loc}}(M, \varLambda^{l})\)for any constant\(s>0\)such that\(\frac{1}{s}+\frac{1}{n}-\frac{1}{t}>0\). Moreover, there exists a constantC, independent ofu, such that

$$ \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{s,M,\nu_{1}}\leq C \vert M \vert ^{1/s+1/n-1/t} \Vert u \Vert _{t,M,\nu_{2}} $$
(3.3)

for any positive integer\(k< m\)and the Radon measure\(\nu_{1}\), \(\nu_{2}\)defined by

$$d\nu_{1}=\hbar_{1}\bigl(\operatorname{dist}(x,\partial M)\bigr)\,dx,\qquad d\nu_{2}=\hbar _{2}\bigl(\operatorname{dist}(x,\partial M)\bigr)\,dx.$$

Proof

From Theorem 3.2, we know that there exists a constant \(C_{1}\), independent of u, such that

$$ \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{s,M}\leq C_{1} \vert M \vert ^{1/s+1/n-1/t} \Vert u \Vert _{t,M}. $$
(3.4)

Since \({\lim}_{y\rightarrow0}\hbar_{1}(y)=0\), for any small positive number ϵ, there exists \(\delta(\epsilon)>0\) such that \(\hbar_{1}(\operatorname {dist}(x,\partial M))<\epsilon\) for all \(x\in M\) with \(\operatorname{dist}(x,\partial M)<\delta\). Let \(M^{\prime}=\{x\in M, \operatorname{dist}(x,\partial M)<\delta\}\) and \(M^{\prime\prime}=M-M^{\prime}\). Then for all \(x\in{M^{\prime\prime}}\), we have

$$ \delta\leq{\operatorname{dist}(x,\partial M)}< \operatorname{diam}(M). $$

Therefore by the continuity and nonnegativity of \(\hbar_{1}\) we have that there exists \(C_{2}>0\) such that

$$ 0< \hbar_{1}\bigl(\operatorname{dist}(x,\partial M) \bigr)< C_{2} $$

for all \(x\in{M^{\prime\prime}}\). Thus we have

$$\begin{aligned} & \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{s,M,\nu_{1}} \\ &\quad= \biggl( \int_{M} \bigl\vert \triangle^{k} G^{m}(u) \bigr\vert ^{s}\cdot{\hbar_{1} \bigl(\operatorname {dist}({x,\partial M})\bigr)}\,dx \biggr)^{\frac{1}{s}} \\ &\quad\leq \biggl(\epsilon \int_{M^{\prime}} \bigl\vert \triangle^{k} G^{m}(u) \bigr\vert ^{s}{\,dx}+C_{2} \int _{M^{\prime\prime}} \bigl\vert \triangle^{k} G^{m}(u) \bigr\vert ^{s}{\,dx} \biggr)^{\frac {1}{s}} \\ &\quad\leq{C_{3}} \biggl( \int_{M} \bigl\vert \triangle^{k} G^{m}(u) \bigr\vert ^{s}{\,dx} \biggr)^{\frac{1}{s}}, \end{aligned}$$
(3.5)

where \(C_{3}=\max\{\epsilon^{\frac{1}{s}},{C_{2}}^{\frac{1}{s}}\}\). Combining (3.5) and (3.4), we have

$$ \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{s,M,\nu_{1}} \leq C_{3} \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{s,M} \leq C_{4} \vert B \vert ^{1/s+1/n-1/t} \Vert u \Vert _{t,M}. $$
(3.6)

Note that \({\lim}_{y\rightarrow0}\frac{1}{\hbar_{2}(y)}=0\). Then there exists \(\delta_{1}(\epsilon)>0\) such that \(\frac{1}{\hbar_{2}(\operatorname{dist}(x,\partial M))}<\epsilon \) for all \(x\in M\) with \(\operatorname{dist}(x,\partial M)<\delta_{1}\). Let \(M_{1}^{\prime}=\{x\in{M},\operatorname{dist}(x,\partial M)<\delta_{1}\}\) and \(M_{1}^{\prime\prime}=M-M_{1}^{\prime}\). Then for all \(x\in{M_{1}^{\prime\prime}}\), we have

$$ \delta_{1}\leq{\operatorname{dist}(x,\partial M)}< \operatorname{diam}(M). $$

Therefore by the continuity and nonnegativity of \(\hbar_{2}\) we have that there exists a constant \(C_{5}>0\) such that

$$ 0< \frac{1}{\hbar_{2}(\operatorname{dist}({x,\partial M}))}< C_{5} $$

for all \(x\in{M_{1}^{\prime\prime}}\). Therefore we obtain

$$\begin{aligned} \Vert u \Vert _{t,M} &= \biggl( \int_{M} \vert u \vert ^{t} \frac{1}{\hbar_{2}(\operatorname {dist}({x,\partial M}))}\,d\nu_{2} \biggr)^{\frac{1}{t}} \\ &\leq \biggl(\epsilon \int_{M_{1}^{\prime}} \vert u \vert ^{t}{\,d\nu_{2}}+C_{5} \int_{M_{1}^{\prime \prime}} \vert u \vert ^{t}{\,d\nu_{2}} \biggr)^{\frac{1}{t}} \\ &\leq{C_{6}} \biggl( \int_{M} \vert u \vert ^{t}{\,d\nu_{2}} \biggr)^{\frac{1}{t}}=C_{6} \Vert u \Vert _{t,M,\nu_{2}}, \end{aligned}$$
(3.7)

where \(C_{6}=\max\{\epsilon^{\frac{1}{t}},{C_{5}}^{\frac{1}{t}}\}\). By (3.6) and (3.7) we have

$$ \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{s,M,\nu_{1}}\leq C_{7} \vert M \vert ^{1/s+1/n-1/t} \Vert u \Vert _{t,M,\nu_{2}}, $$
(3.8)

where \(C_{7}\) is independent of u. Thus we complete the proof of Theorem 3.3. □

In Theorem 3.3, choosing \(\hbar_{1}(y)=y^{p}\) and \(\hbar _{2}(y)=y^{-q}\), \(0< p,q<\infty\), we easily obtain the following corollary.

Corollary 3.4

Let\(u\in L^{t}_{\mathrm{loc}}(M,\varLambda^{l})\)be a smooth differential form defined on a bounded domainM, Gbe Green’s operator, and â–³ be the Laplace–Beltrami operator, \(l=1,2,\ldots,n\), \(t>1\). Then\(\triangle^{k}G^{m}(u)\in L^{s}_{\mathrm{loc}}(M, \varLambda^{l})\)for any constant\(s>0\). Moreover, there exists a constantC, independent ofu, such that

$$\begin{aligned} & \biggl( \int_{M} \bigl\vert \triangle^{k} G^{m}(u) \bigr\vert ^{s}\cdot\bigl(\operatorname {dist}(x,\partial M)\bigr)^{p}{\,dx} \biggr)^{1/s} \\ &\quad\leq C \vert M \vert ^{1/s+1/n-1/t} \biggl( \int_{M} \vert u \vert ^{t}{ \frac{1}{(\operatorname {dist}(x,\partial M))^{q}}}\,dx \biggr)^{1/t} \end{aligned}$$
(3.9)

for any positive integer\(k< m\)and any real numbers\(0< p,q<\infty\).

4 Applications

In many cases, it is very difficult to give the norm estimate for a composite operator. In this section, we give two examples to obtain the upper bounds for the norm of the composite operator \(\triangle^{k}G^{m}(u)\) as applications of Theorem 3.2.

Example 4.1

Let \(M=\{(x_{1},x_{2}):x_{1}^{2}+x_{2}^{2}\leq a^{2}\}\subset R^{2}\), and let u be the differential 1-form

$$ u(x_{1},x_{2})=x_{1}\,dx_{1}-x_{2} \,dx_{2} $$
(4.1)

defined on M. Then \(|M|=\pi a^{2}\), and u is a differential form satisfying the conditions of Theorem 3.2. Thus we can estimate \(\|\triangle^{k} G^{m}(u)\|_{s,M}\) in terms of \(\|u\|_{t,M}\), where s, t are two independent positive real numbers such that \(t>1\) and \(1/s+1/n-1/t>0\). For any \((x_{1},x_{2})\in M\), we have \(|u|=\sqrt{x_{1}^{2}+x_{2}^{2}}\). By polar coordinate transformation \(x_{1}=\rho\cos\theta\), \(x_{2}=\rho\sin\theta\) we obtain

$$ \Vert u \Vert _{t,M}= \biggl( \int_{M} \vert u \vert ^{t}\,dx \biggr)^{1/t} = \biggl( \int_{0}^{2\pi}d\theta \int_{0}^{a} \rho^{t+1}\,d\rho \biggr)^{1/t} = \biggl(\frac{2\pi a^{t+2}}{t+2} \biggr)^{1/t}. $$
(4.2)

Since \(n=2\), for any \(s>0\) such that \(1/s+1/n-1/t>0\), by Theorem 3.2 we have

$$\begin{aligned} \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{s,M} &\leq C \vert M \vert ^{1/s+1/n-1/t} \Vert u \Vert _{t,M} \\ & =C\bigl(\pi a^{2}\bigr)^{1/s+1/2-1/t} \biggl( \frac{2\pi a^{t+2}}{t+2} \biggr)^{1/t} \\ & =C\bigl(\pi a^{2}\bigr)^{1/s+1/2} \biggl( \frac{2 a^{t}}{t+2} \biggr)^{1/t} \end{aligned}$$
(4.3)

for any positive integer \(k< m\). Moreover, if we assume that \(s=1/2\) and \(t=1\) in (4.3), then \(1/s+1/n-1/t>0\), satisfying the condition of Theorem 3.2, and thus we have

$$ \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{1/2,M}\leq C \biggl(\frac{2}{3}\pi a^{3} \biggr). $$
(4.4)

Example 4.2

Let \(M=\{(x_{1},x_{2},x_{3}):x_{1}^{2}+x_{2}^{2}+x_{3}^{2}\leq a^{2}\}\subset R^{3}\) and \(u(x_{1},x_{2},x_{3})\) be a differential 2-form on M defined by

$$\begin{aligned} u &=\frac{x_{1}}{\sqrt{x_{1}^{2}+x_{2}^{2}+x_{3}^{2}}}{\,dx_{2}}\varLambda{\,dx_{3}}- \frac{x_{2}}{\sqrt{x_{1}^{2}+x_{2}^{2}+x_{3}^{2}}}\,dx_{1}\varLambda{\, dx_{3}} \\ &\quad+\frac{x_{3}}{\sqrt{x_{1}^{2}+x_{2}^{2}+x_{3}^{2}}}\,dx_{1}\varLambda{\,dx_{2}}. \end{aligned}$$
(4.5)

Then \(|M|=\frac{4}{3}\pi a^{3}\) and \(|u|=1\), and thus we obtain

$$ \Vert u \Vert _{t,M}= \biggl( \int_{M} \vert u \vert ^{t} \,dx \biggr)^{1/t}= \biggl( \int_{M} \,dx \biggr)^{1/t}= \vert M \vert ^{1/t}= \biggl(\frac{4}{3}\pi a^{3} \biggr)^{1/t} $$
(4.6)

for any \(t>1\). Applying Theorem 3.2, we have \(\triangle^{k}G^{m}(u)\in L^{s}_{\mathrm {loc}}(M)\) for any constant \(s>0\) such that \(1/s+1/n-1/t>0\). Thus we can further obtain the following upper bound for the norm of the composite operator \(\triangle^{k}G^{m}(u)\):

$$\begin{aligned} \bigl\Vert \triangle^{k} G^{m}(u) \bigr\Vert _{s,M} &\leq C \vert M \vert ^{1/s+1/n-1/t} \Vert u \Vert _{t,M} \\ & =C \biggl(\frac{4}{3}\pi a^{3} \biggr)^{1/s+1/3-1/t} \biggl(\frac{4}{3}\pi a^{3} \biggr)^{1/t} \\ & =C \biggl(\frac{4}{3}\pi a^{3} \biggr)^{1/s+1/3} \end{aligned}$$
(4.7)

for any positive integer \(k< m\).

Remark

Examples 4.1 and 4.2 can be generalized to the n-dimensional space.

5 Conclusion

In this paper, we first give the local \(L^{s}\) norm estimate for the composite operators \(\triangle^{k} G^{m}(u)\) in terms of the \(L^{s}\) norm of u with commuting Laplace–Beltrami operator △ and Green’s operator G. At the same time, we also obtain the local and global \(L^{s}\) norms of \(\triangle^{k} G^{m}(u)\) in terms of the \(L^{t}\) norm of differential forms u for any constant \(s>0\) such that \(\frac{1}{s}+\frac{1}{n}- \frac {1}{t}>0\). Then we establish a global higher norm estimate with Radon measure for composite operators \(\triangle^{k} G^{m}\). At last, as applications of these results, we give two examples to estimate the higher norm of \(\triangle^{k} G^{m}(u)\).

References

  1. Xing, Y.M., Ding, S.S.: Norms of the composition of the maximal and projection operators. Nonlinear Anal. 72, 4614–4624 (2010). https://doi.org/10.1016/j.na.2010.02.038

    Article  MathSciNet  MATH  Google Scholar 

  2. Bi, H.: Weighted inequalities for potential operators on differential forms. J. Inequal. Appl. 2010, Article ID 713625 (2010). https://doi.org/10.1155/2010/713625

    Article  MathSciNet  MATH  Google Scholar 

  3. Xing, Y.M.: Two-weight embedding inequalities for solutions to the A-harmonic equation. J. Math. Anal. Appl. 307, 555–564 (2005). https://doi.org/10.1016/j.jmaa.2005.03.019

    Article  MathSciNet  MATH  Google Scholar 

  4. Ding, S.S., Sylvester, D.: Weak reverse Hölder inequalities and imbedding inequalities for solutions to the A-harmonic equation. Nonlinear Anal., Theory Methods Appl. 51, 783–800 (2002). https://doi.org/10.1016/S0362-546X(01)00862-8

    Article  MATH  Google Scholar 

  5. Scott, C.: \(L^{p}\)-theory of differntial forms on manifolds. Trans. Am. Math. Soc. 347, 2075–2096 (1995). https://doi.org/10.2307/2154923

    Article  MATH  Google Scholar 

  6. Dai, Z.M., Li, H.C., Li, Q.F.: Inequalities for the fractional convolution operator on differential forms. J. Inequal. Appl. 2018, Article ID 176 (2018). https://doi.org/10.1186/s13660-018-1768-x

    Article  MathSciNet  Google Scholar 

  7. Li, H.C., Li, Q.F.: Some weighted norm estimates for the composition of the homotopy and Green’s operator. Abstr. Appl. Anal. 2014, Article ID 941658 (2014). https://doi.org/10.1155/2014/941658

    Article  MathSciNet  MATH  Google Scholar 

  8. Xing, Y.M., Ding, S.S.: Caccioppoli inequalities with Orlicz norms for solutions of harmonic equations and applications. Nonlinearity 23, 1109–1119 (2010). https://doi.org/10.1088/0951-7715/23/5/005

    Article  MathSciNet  MATH  Google Scholar 

  9. Ding, S.S.: \(L^{\varphi}(\mu)\)-averaging domains and the quasihyperbolic metric. Comput. Math. Appl. 47, 1611–1618 (2004). https://doi.org/10.1016/j.camwa.2004.06.016

    Article  MathSciNet  MATH  Google Scholar 

  10. Mishra, L.N.: On existence and behavior of solutions to some nonlinear integral equations with applications. Ph.D. thesis, National Institute of Technology, Silchar 788 010, Assam, India (2017)

  11. Mishra, V.N., Khatri, K., Mishra, L.N., Deepmala: Inverse result in simultaneous approximation by Baskakov–Durrmeyer–Stancu operators. J. Inequal. Appl. 2013, Article ID 586 (2013). https://doi.org/10.1186/1029-242X-2013-586

    Article  MathSciNet  MATH  Google Scholar 

  12. Sbordone, C.: Higher integrability of the gradient of minimizers of functionals with nonstandard growth conditions. Commun. Pure Appl. Math. 43, 673–683 (1990). https://doi.org/10.1002/cpa.3160430505

    Article  MathSciNet  MATH  Google Scholar 

  13. Gehring, F.W.: The \(L^{p}\)-integrability of partial derivatives of a quasiconforming mappings. Acta Math. 130, 265–277 (1973)

    Article  MathSciNet  Google Scholar 

  14. Strdulinsky, E.W.: Higher integrability from reverse Hölder inequalities. Indiana Univ. Math. J. 29, 407–413 (1980). https://doi.org/10.1512/iumj.1980.29.29029

    Article  MathSciNet  Google Scholar 

  15. Weigert, S., Müller, G.: Quantum integrability and action operators in spin dynamics. Chaos Solitons Fractals 5, 1419–1438 (1995). https://doi.org/10.1016/0960-0779(95)00021-U

    Article  MathSciNet  MATH  Google Scholar 

  16. Mishra, V.N.: Some problems on approximations of functions in Banach spaces. Ph.D. thesis, Indian Institute of Technology, Roorkee 247 667, Uttarakhand, India (2007)

  17. Gairola, A.R., Deepmala, Mishra, L.N.: On the q-derivatives of a certain linear positive operators. Iran. J. Sci. Technol. Trans. A, Sci. 42(3), 1409–1417 (2018). https://doi.org/10.1007/s40995-017-0227-8

    Article  MathSciNet  MATH  Google Scholar 

  18. Gandhi, R.B., Deepmala, Mishra, V.N.: Local and global results for modified Szász–Mirakjan operators. Math. Methods Appl. Sci. 40(7), 2491–2504 (2017). https://doi.org/10.1002/mma.4171

    Article  MathSciNet  MATH  Google Scholar 

  19. Agarwal, R.P., Ding, S.S., Nolder, C.A.: Inequalities for Differential Forms. Springer, New York (2009)

    Book  Google Scholar 

  20. Ding, S.S., Shi, G.N., Xing, Y.M.: Higher integrability of iterated operators on differential forms. Nonlinear Anal. 145, 83–96 (2016). https://doi.org/10.1016/j.na.2016.07.012

    Article  MathSciNet  MATH  Google Scholar 

  21. Xing, Y.M., Ding, S.S.: Higher integrability of Green’s operator and homotopy operator. J. Math. Anal. Appl. 446, 648–662 (2017). https://doi.org/10.1016/j.jmaa.2016.09.007

    Article  MathSciNet  MATH  Google Scholar 

  22. Ding, S.S., Liu, B.: Norm inequalities for composition of Dirac and Green’s operators. J. Inequal. Appl. 2013, Article ID 436 (2013). https://doi.org/10.1186/1029-242x-2013-436

    Article  MathSciNet  MATH  Google Scholar 

  23. Stein, E.M.: Singular Integrals and Differentiability Properties of Functions. Princeton University Press, Princeton (1970)

    MATH  Google Scholar 

  24. Iwaniec, T., Lutoborski, A.: Integral estimates for null Lagrangians. Arch. Ration. Mech. Anal. 125, 25–79 (1993). https://doi.org/10.1007/BF00411477

    Article  MathSciNet  MATH  Google Scholar 

  25. Nolder, C.A.: Hardy–Littlewood theorems for A-harmonic tensors. Ill. J. Math. 43, 613–631 (1999)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors wish to express their gratitude to the anonymous referees for their thoughtful suggestions, which have helped them to substantially improve the paper. They have thus been able to eliminate some mistakes and to present the manuscript in a better manner. The authors are also thankful to all editorial board members in Journal of Inequalities and Applications.

Availability of data and materials

Not applicable.

Authors’ information

HL(1985–), male, lecturer, major in harmonic analysis; QL(1987–), female, lecturer, major in functional analysis.

Funding

This research was supported by NNSF of China (No. 11961030) and by the Foundation of Jiangxi Provincial Education Department of China (Nos. GJJ191244, GJJ180446).

Author information

Authors and Affiliations

Authors

Contributions

Both authors jointly contributed to the main results, and HL drafted the manuscript. Both authors read and approved the final manuscript.

Corresponding author

Correspondence to Huacan Li.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

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/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, H., Li, Q. Some higher norm inequalities for composition of power operators. J Inequal Appl 2020, 106 (2020). https://doi.org/10.1186/s13660-020-02372-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-020-02372-2

Keywords