- Research
- Open access
- Published:

# Poincaré inequalities and the sharp maximal inequalities with {L}^{\phi}-norms for differential forms

*Journal of Inequalities and Applications*
**volume 2013**, Article number: 400 (2013)

## Abstract

This paper is concerned with the Poincaré inequalities and the sharp maximal inequalities for differential forms with {L}^{\phi}-norm, where *φ* satisfies nonstandard growth conditions. These results can be used to estimate the norms of classical operators and analyze integral properties of differential forms.

## 1 Introduction

In this paper, we consider the functional

where \phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) is a Young function satisfying the nonstandard growth condition

This condition was first used in [1]; the author used this condition to get the higher integrability of the gradient of minimizers. We can find that the first inequality in (2) is equivalent to \frac{\phi (t)}{{t}^{p}} that is increasing, and the second inequality in (2) is equivalent to {\mathrm{\u25b3}}_{2}-condition, *i.e.*, for each t>0, \phi (2t)\le K\phi (t), where K>1, and \frac{\phi (t)}{{t}^{q}} is decreasing with *t*. Also, condition (2) implies that \phi (t) satisfies

but the exponents *p*, *q* in (2) may not be the best ones in order for (3) to hold. The following example can be found in [2], the convex function

satisfies (2) with p=4-\sqrt{2} and q=4+\sqrt{2} and satisfies (3) with p=3 and q=5. Moreover, if 4-\sqrt{2}<r<4+\sqrt{2}, \frac{\phi (t)}{{t}^{r}} is neither strictly increasing nor decreasing. Particularly, \phi (t)={t}^{p} satisfies (2) because of t{\phi}^{\prime}(t)=p\phi (t), and this makes inequalities with the norm {\parallel \cdot \parallel}_{p} become a special case of Theorem 2.3, for more details see [1, 2].

We assume that Ω is a bounded convex domain in {\mathbb{R}}^{n} (n\ge 2). Both *B* and *σB* are balls or cubes with the same center, diam(\sigma B)=\sigma diam(B). |E| is used to denote the *n*-dimensional Lebesgue measure of a set E\subset {\mathbb{R}}^{n}, and all integrals involved in this paper are the Lebesgue integrals. Let {e}_{1},\dots ,{e}_{n} be the standard unit basis of {\mathbb{R}}^{n}. For l=0,1,\dots ,n, the linear space of *l*-vectors, spanned by the exterior products {e}_{I}={e}_{{i}_{1}}\wedge {e}_{{i}_{2}}\wedge \cdots \wedge {e}_{{i}_{l}}, corresponding to all ordered *l*-tuples I=\{{i}_{i},{i}_{2},\dots ,{i}_{l}\}, 1\le {i}_{1}<{i}_{2}<\cdots <{i}_{l}\le n, is denoted by {\mathrm{\Lambda}}^{l}={\mathrm{\Lambda}}^{l}({\mathbb{R}}^{n}). The Grassmann algebra \mathrm{\Lambda}=\mathrm{\Lambda}({\mathbb{R}}^{n})={\u2a01}_{l=0}^{n}{\mathrm{\Lambda}}^{l}({\mathbb{R}}^{n}) is a graded algebra with respect to the exterior products. A differential *l*-form *ω* on Ω is a Schwartz distribution on Ω with values in {\mathrm{\Lambda}}^{l}({\mathbb{R}}^{n}), and it can be denoted by

The exterior derivative d:{\mathcal{D}}^{\prime}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l})\to {\mathcal{D}}^{\prime}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l+1}) is expressed by

A differential *l*-form u\in {\mathcal{D}}^{\prime}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}) is a closed form if du=0 in Ω. {L}^{p}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}) is the space of *l*-forms u(x)={\sum}_{I}{u}_{I}(x)\phantom{\rule{0.2em}{0ex}}d{x}_{I} with {u}_{I}\in {L}^{p}(\mathrm{\Omega},\mathbb{R}) for all ordered *l*-tuples *I*, it is a Banach space endowed with the norm {\parallel u\parallel}_{p,\mathrm{\Omega}}={({\int}_{\mathrm{\Omega}}{|u|}^{p}\phantom{\rule{0.2em}{0ex}}dx)}^{1/p}. Similarly, {W}^{1,p}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}) are those differential *l*-forms on Ω, whose coefficients are in {W}^{1,p}(\mathrm{\Omega},\mathbb{R}), and it is a Banach space endowed with the norm {\parallel u\parallel}_{1,p}={\parallel u\parallel}_{p}+{\parallel \mathrm{\u25bd}u\parallel}_{p}.

The following result was obtained in [3]. For y\in \mathrm{\Omega}, there corresponds a linear operator {K}_{y}:{C}^{\mathrm{\infty}}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l})\to {C}^{\mathrm{\infty}}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}) defined by ({K}_{y}u)(x;{\xi}_{1},\dots ,{\xi}_{l-1})={\int}_{0}^{1}{t}^{l-1}u(tx+y-ty;x-y,{\xi}_{1},\dots ,{\xi}_{l-1})\phantom{\rule{0.2em}{0ex}}dt and a decomposition u=d({K}_{y}u)+{K}_{y}(du). A homotopy operator T:{C}^{\mathrm{\infty}}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l})\to {C}^{\mathrm{\infty}}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}) is defined by averaging {K}_{y} over all points *y* in Ω, *i.e.*, Tu={\int}_{\mathrm{\Omega}}\phi (y){K}_{y}u\phantom{\rule{0.2em}{0ex}}dy, where \phi (y)\in {C}_{0}^{\mathrm{\infty}}(\mathrm{\Omega}) is normalized by {\int}_{\mathrm{\Omega}}\phi (y)\phantom{\rule{0.2em}{0ex}}dy=1. Then, there is a decomposition u=d(Tu)+T(du). The *l*-form {u}_{\mathrm{\Omega}}\in {\mathcal{D}}^{\prime}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}) is defined by

for all u\in {L}^{p}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}), 1\le p<\mathrm{\infty}. For any differential forms, u\in {L}_{\mathrm{loc}}^{s}(B,{\mathrm{\Lambda}}^{l}), l=1,2,\dots ,n, 1<s<\mathrm{\infty}, we have

The rest of this paper is organized as follows. In Section 2, Poincaré inequalities for differential forms with Orlicz norm are obtained. In Section 3, the sharp maximal inequalities with Orlicz norms applied to *k*-quasiminimizer are obtained. In Section 4, using the methods that appeared in Section 2 and Section 3, we get some estimates of classical operators.

## 2 Poincaré inequalities

It is well known that the Poincaré inequality played an important role in studying the partial differential equations (PDEs) and the potential theory. Some versions of Poincaré inequalities for functions and differential forms with {L}^{p}-norm have been obtained, and in recent years, these inequalities for differential forms and operators with Luxemburg norm have been established, we refer reader to [4–13] and the references therein. First, we introduce some existing definitions and lemmas.

A continuously increasing function \phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) with \phi (0)=0 is called an Orlicz function. The Orlicz space {L}^{\phi}(\mathrm{\Omega}) consists of all measurable functions *f* on Ω satisfying {\int}_{\mathrm{\Omega}}\phi (\frac{|f|}{\lambda})\phantom{\rule{0.2em}{0ex}}dx\le \mathrm{\infty} for some \lambda =\lambda (f)>0, and it is equipped with the nonlinear Luxemburg functional

A convex Orlicz function *φ* is called a Young function. If *φ* is a Young function, then {\parallel \cdot \parallel}_{\phi (\mathrm{\Omega})} defines a norm in {L}^{\phi}(\mathrm{\Omega}), which is called the Orlicz norm or Luxemburg norm, for more details see [5, 8–10, 12].

**Lemma 2.1** [3]

*Let* u\in {\mathcal{D}}^{\prime}(B,{\mathrm{\Lambda}}^{l}) *and* du\in {L}^{p}(B,{\mathrm{\Lambda}}^{l+1}). *Then*, u-{u}_{B} *is in* {L}^{\frac{np}{n-p}}(B,{\mathrm{\Lambda}}^{l}) *and*

*for* *B* *is a ball or cube in* Ω, l=0,1,\dots ,n *and* 1<p<n.

**Lemma 2.2** [1]

*Suppose* *φ* *is a continuous function satisfying* (2) *with* q(n-p)<np, 1<p\le q<\mathrm{\infty}. *For any* t>0, *setting*

*Then*, F(t) *is a concave function*, *and there exists a constant* *C*, *such that*

Next, we start with the main result of this section.

**Theorem 2.3** *Suppose* u\in {\mathcal{D}}^{\prime}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}) *and* du\in {L}^{p}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l+1}), *φ* *is a Young function satisfying* (2) *with* q(n-p)<np, 1<p\le q<\mathrm{\infty}. *Then*, *there exists a constant* *C*, *independent of* *u*, *such that*

*where* *B* *is a ball in* Ω.

*Proof* Applying the Hölder inequality, we have

Because of (7) and the concavity of *F*, which appeared in Lemma 2.2, (9) becomes

If 1<p<n, by assumption, we have q<\frac{np}{n-p}. It follows from Lemma 2.1 that

If p\ge n, note that increases with *s* and \frac{ns}{n-s}\to \mathrm{\infty} as s\to n, thus, there exists 1<{p}_{0}<n, such that q<\frac{n{p}_{0}}{n-{p}_{0}}. Then, we have

Combining (11) and (12), we get

Since *φ* is increasing and satisfies {\mathrm{\u25b5}}_{2}-condition, (10) becomes

Setting \mathrm{\Phi}(t)={\int}_{0}^{t}\frac{\phi (s)}{s}\phantom{\rule{0.2em}{0ex}}dx, it follows from (2) that \frac{\phi (t)}{{t}^{q}} is decreasing with *t*, so

Similarly, we have \mathrm{\Phi}(t)\le \frac{1}{p}\phi (t). Thus,

Let \mathrm{\Psi}(t)=\mathrm{\Phi}({t}^{\frac{1}{p}}), {(\mathrm{\Phi}({t}^{\frac{1}{p}}))}^{\prime}=\frac{1}{p}\frac{\phi ({t}^{\frac{1}{p}})}{t} is increasing, so Ψ is a convex function.

For all v\in {L}^{1}(B), by Jensen’s inequality , we get

Replace *v* with {|du|}^{p}, we have

Combining (15) and (16), (14) becomes

This completes the proof. □

Since *φ* is a Young function satisfying {\mathrm{\u25b5}}_{2}-condition, from the proof of Theorem 2.3, we have

for any constant \lambda >0. According to (5), Poincaré-type inequality with Luxemburg norm

holds under the conditions in Theorem 2.3.

Next, we extend the local Poincaré-type inequality into the global case in {L}^{\varphi}-averaging domain, which are extension of John domains and {L}^{s}-averaging domain, for more details see [5, 8, 9].

**Definition 2.4** [8]

Let *ϕ* be an increasing convex function on [0,\mathrm{\infty}) with \varphi (0)=0, we call a proper subdomain \mathrm{\Omega}\subset {\mathbb{R}}^{n} a {L}^{\varphi}-averaging domain if |\mathrm{\Omega}|<\mathrm{\infty} and there exists a constant *C*, such that

for some ball {B}_{0}\subset \mathrm{\Omega} and all *x* such that \varphi (|u|)\in {L}_{\mathrm{loc}}^{I}(\mathrm{\Omega}), where *τ*, *σ* are constants with 0<\tau <\mathrm{\infty}, 0<\sigma <\mathrm{\infty} and the supremum is over all balls B\subset \mathrm{\Omega}.

Similarly to the process of Theorem 3.2 in [9], we have the following theorem.

**Theorem 2.5** *Suppose that* u\in {\mathcal{D}}^{\prime}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}) *and* du\in {L}^{p}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l+1}), *φ* *is a Young function satisfying* (2) *with* q(n-p)<np, 1<p\le q<\mathrm{\infty}, Ω *is any bounded* {L}^{\phi}-*averaging domain*. *Then*, *there exists a constant* *C*, *independent of* *u*, *such that*

*where* *B* *is a ball or cube in* Ω.

Choosing \phi (t)={t}^{p}{log}^{\alpha}(e+t), p\phi (t)\le t{\phi}^{\prime}(t)\le (p+\alpha )\phi (t) can be checked easily, from Theorem 2.5, we can get Poincaré inequality with {L}^{p}({log}^{\alpha}L)-norm.

**Corollary 2.6** *Suppose that* *u* *is a smooth differential form*, \phi (t)={t}^{p}{log}^{\alpha}(e+t), 1<p<\mathrm{\infty}. Ω *is a bounded* {L}^{\phi}-*averaging domain*. *Then*, *there exists a constant* *C*, *independent of* *u*, *such that*

## 3 Inequalities for the sharp maximal operator applied to minimizers

Let {B}_{0} be a fixed open ball in a bounded domain Ω. For differential form u\in {L}^{s}({B}_{0},{\mathrm{\Lambda}}^{l}), 1\le s<\mathrm{\infty}, l=0,1,\dots ,n, the Hardy-Littlewood maximal operator of order *s* is defined by

where the supremum is taken over all parallel open subcubes *B* of {B}_{0} containing the point *x*. Write {M}_{1}u(x)=Mu(x) if s=1. Similarly, the sharp maximal operator {M}_{s}^{\mathrm{\u266f}} is defined by

We say that a differential form u\in {W}^{1,1}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}) is a *k*-quasiminimizer for the functional

if and only if for every \psi \in {W}^{1,1}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}) with compact support

where k>1 is a constant.

The following lemmas will be used in this section.

**Lemma 3.1** [14]

*If* {B}_{0} *is a cube in* Ω, f\in {L}^{s}({B}_{0}), f\ge 0. *Then*, *for any* t>0,

**Lemma 3.2** [10]

*Let* *u* *be a* *k*-*quasiminimizer for the functional* (20), *and let* *φ* *be a Young function satisfying* {\mathrm{\u25b3}}_{2}-*condition*. *Then*, *for any ball* {B}_{R}\subset \mathrm{\Omega} *with radius* *R*, *there exists a constant* *C*, *independent of* *u* *such that*

*where* *c* *is any closed form*.

The main result of this section is the following theorem.

**Theorem 3.3** *Suppose* *u* *is a* *k*-*quasiminimizer for the functional* (20), *and* *φ* *is a Young function satisfying* (2) *with* q(n-p)<np, 1<p\le q<\mathrm{\infty}, {M}_{s}^{\mathrm{\u266f}} *is the sharp maximal operator*, {B}_{0}\subset \mathrm{\Omega} *is a ball satisfying* 2{B}_{0}\subset \mathrm{\Omega}. *Then*, *for* 1\le s<q-1, *there exists a constant* *C*, *independent of* *u* *such that*

*where* *c* *is a closed form*.

*Proof* Similarly to (10), we obtain

Denote f=|u-{u}_{B}|, then {M}_{s}f={M}_{s}^{\mathrm{\u266f}}u. It follows from the standard representation theorem and Lemma 3.1 that,

By Fubini’s theorem, (25) becomes

That is,

For similar discussion of in Theorem 2.3, we have

Then,

Since *φ* satisfying {\mathrm{\u25b3}}_{2}-condition, from Lemma 3.2, we get

where *c* is a closed form. This completes the proof. □

Similarly to (17), the sharp maximal inequality with Luxemburg norm

holds under the conditions described in Theorem 3.3.

## 4 Application

As an application, we develop some estimates for homotopy operator *T*, Green’s operator *G* and the composition of the operators T\circ G. Inequalities for the other class operators and composition operators can be obtained similarly.

Let \mathcal{W}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l})=\{u\in {L}^{1}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}):u\text{has generalized gradient}\}. The harmonic *l*-fields are defined by \mathcal{H}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l})=\{u\in \mathcal{W}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}):du={d}^{\ast}u=0,u\in {L}^{p}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l})\text{for some}1p\mathrm{\infty}\}. The orthogonal complement of ℋ in {L}^{1}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}) is defined by {\mathcal{H}}^{\perp}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l})=\{u\in {L}^{1}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}):\u3008u,h\u3009=0\text{for all}h\in \mathcal{H}\}. Then, the Green’s operator *G* is defined as G:{C}^{\mathrm{\infty}}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l})\to {\mathcal{H}}^{\perp}\cap {C}^{\mathrm{\infty}}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}) by assigning G(u) to be the unique element of {\mathcal{H}}^{\perp}\cap {C}^{\mathrm{\infty}}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}) satisfying Poisson’s equation \mathrm{\u25b3}G(u)=u-\mathcal{H}(u), where ℋ is the harmonic projection operator that maps {C}^{\mathrm{\infty}}(\mathrm{\Omega},{\mathrm{\Lambda}}^{l}) on ℋ, so that \mathcal{H}(u) is the harmonic of *u*. See [4] for more properties of Green’s operator.

Next, we prove the estimate for homotopy operator *T*.

**Theorem 4.1** *Suppose that* *u* *is a smooth differential form*, *φ* *is a Young function satisfying* (2) *with* q(n-p)<np, 1<p\le q<\mathrm{\infty}. *T* *is a homotopy operator*. *Then*, *there exists a constant* *C*, *independent of* *u*, *such that*

*for all balls* B\subset \mathrm{\Omega}.

*Proof* Since |dv|\le c|\mathrm{\u25bd}v| holds for each differential form *v*, combining (4) and the similar process of (10), we have

□

For Green’s operator, we have the following estimate for Green’s operator applied to *k*-quasiminimizer.

**Theorem 4.2** *Suppose that the smooth differential form* *u* *is a* *k*-*quasiminimizer for the functional* (20), *and* *φ* *is a Young function satisfying* (2) *with* q(n-p)<np, 1<p\le q<\mathrm{\infty}, *G* *is a Green’s operator*. *Then*, *for each ball* B\subset \mathrm{\Omega} *with* 2B\subset \mathrm{\Omega}, *there exists a constant* *C*, *independent of* *u*, *such that*

*where* \sigma >1 *is a constant*, *c* *is a closed form*.

*Proof* Since

holds for differential form *u* and *G* commutes with differential operator *d*, we have

It follows from Lemma 3.2 that

This completes the proof of Theorem 4.2. □

**Corollary 4.3** *Suppose that* *u* *is a smooth differential form*, *φ* *is a Young function satisfying* (2) *and* q(n-p)<np, 1<p\le q<\mathrm{\infty}. *When* *T* *is a homotopy operator and* *G* *is a Green’s operator*, *there exists a constant* *C*, *independent of* *u* *such that*

*for all balls* B\subset \mathrm{\Omega}.

*Proof* From (31) and Theorem 4.1, we have

This ends the proof of Corollary 4.3. □

**Remark 4.4** In 2004, Buckley and Keoskela first introduced a function class G(p,q,C) in [15]. After that, some mathematicians devoted themselves to study the inequalities with {L}^{\psi}-norm for differential form and operators, where *ψ* lies in G(p,q,C). We find that {t}^{p} and {t}^{p}{log}^{\alpha}(e+t) are both of function class G(p,q,C) and satisfying condition (2) in this paper. But it is still open which of the conditions of function class G(p,q,C) and (2) is stronger, or they are not inclusive of each other.

## References

Fusco N, Sbordone C: High integrability of gradient of minimizers of functionals with nonstandard growth conditions.

*Commun. Pure Appl. Math.*1990, 43: 673–683. 10.1002/cpa.3160430505Sbordone C: Maximal inequalities and applications to regularity problem in the calculus of variations.

*Calculus of Variations, Applications and Computations*1994.Iwaniec T, Lutoborski A: Integral estimates for null Lagrangians.

*Arch. Ration. Mech. Anal.*1993, 125: 25–79. 10.1007/BF00411477Agarwal RP, Ding S, Nolder CA:

*Inequalities for Differential Forms*. Springer, New York; 2009.Ding S, Zhu J:Poincaré-type inequalities for the homotopy operator with {L}^{\phi}(\mathrm{\Omega})-norms.

*Nonlinear Anal.*2011, 74: 3728–3735. 10.1016/j.na.2011.03.018Ding S, Liu B: Generalized Poincaré inequalities for solutions to the

*A*-harmonic equation in certain domains.*J. Math. Anal. Appl.*2000, 252: 538–548. 10.1006/jmaa.2000.6951Nolder CA: Hardy-Littlewood theorems for

*A*-harmonic tensors.*Ill. J. Math.*1999, 43: 613–631.Ding S:{L}^{\phi}-Averaging domain and Poincaré inequalities with Orlicz norm.

*Nonlinear Anal.*2010, 73: 256–265. 10.1016/j.na.2010.03.018Xing Y:Poincaré inequalities with Luxemburg norms in {L}^{\phi}(m)-averaging domains.

*J. Inequal. Appl.*2010., 2010: Article ID 24715Agarwal RP, Ding S: Global Caccioppoli-type and Poincaré inequalities with Orlicz norms.

*J. Inequal. Appl.*2010., 2010: Article ID 727954Ling Y, Bao G: Some local Poincaré inequalities for the composition of the sharp maximal operator and the Green’s operator.

*Comput. Math. Appl.*2012, 63: 720–727.Agarwal RP, Ding S: Inequalities for Green’s operator applied to the minimizers.

*J. Inequal. Appl.*2011., 2011: Article ID 66Wang Y, Wu C: Sobolev imbedding theorems and Poincaré inequalities for Green’s operator on solutions of the non-homogeneous

*A*-harmonic equation.*Comput. Math. Appl.*2004, 47: 1545–1554.Bojarski B, Iwaniec T:Analytical foundations of the theory of quasiconformal mappings in {\mathbb{R}}^{n}.

*Ann. Acad. Sci. Fenn.*1983, 8: 257–324.Buckley SM, Koskela P: Orlicz-Hardy inequalities.

*Ill. J. Math.*2004, 48: 787–802.

## Acknowledgements

The authors would like to thank the anonymous referees for their time and thoughtful suggestions. The research is supported by the National Science Foundation of China (# 11071048).

## Author information

### Authors and Affiliations

### Corresponding authors

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally in this paper. They read and approved the final manuscript.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Lu, Y., Bao, G. Poincaré inequalities and the sharp maximal inequalities with {L}^{\phi}-norms for differential forms.
*J Inequal Appl* **2013**, 400 (2013). https://doi.org/10.1186/1029-242X-2013-400

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1029-242X-2013-400