# Inequalities for Green's operator applied to the minimizers

## Abstract

In this paper, we prove both the local and global Lφ -norm inequalities for Green's operator applied to minimizers for functionals defined on differential forms in Lφ -averaging domains. Our results are extensions of Lp norm inequalities for Green's operator and can be used to estimate the norms of other operators applied to differential forms.

2000 Mathematics Subject Classification: Primary: 35J60; Secondary 31B05, 58A10, 46E35.

## 1. Introduction

Let Ω be a bounded domain in n , n ≥ 2, B and σ B with σ > 0 be the balls with the same center and diam(σ B) = σ diam(B) throughout this paper. The n-dimensional Lebesgue measure of a set E n is expressed by |E|. For any function u, we denote the average of u over B by ${u}_{B}=\frac{1}{|B|}{\int }_{B}udx$. All integrals involved in this paper are the Lebesgue integrals.

A differential 1-form u(x) in n can be written as $u\left(x\right)={\sum }_{i=1}^{n}\phantom{\rule{2.77695pt}{0ex}}{u}_{i}\left({x}_{1},{x}_{2},\cdots \phantom{\rule{0.3em}{0ex}},{x}_{n}\right)d{x}_{i}$, where the coefficient functions u i (x1, x2,, x n ), i = 1, 2,, n, are differentiable. Similarly, a differential k-form u(x) can be denoted as

$u\left(x\right)=\sum _{I}{u}_{I}\left(x\right)d{x}_{I}=\sum {u}_{{i}_{1}{i}_{2}\cdots {i}_{k}}\left(x\right)d{x}_{{i}_{1}}\wedge d{x}_{{i}_{2}}\wedge \cdots \wedge d{x}_{{i}_{k}},$

where I = (i1, i2, , i k ), 1 ≤ i1 < i2 < < i k n. See  for more properties and some recent results about differential forms. Let l = l ( n ) be the set of all l-forms in n , D'(Ω, l ) be the space of all differential l-forms in Ω, and Lp (Ω, l ) be the Banach space of all l-forms u(x) = Σ I u I (x)dx I in Ω satisfying

$||u|{|}_{p,E}={\left({\int }_{E}|u\left(x{\right)|}^{p}dx\right)}^{1/p}={\left({\int }_{E}{\left(\sum _{I}|{u}_{I}\left(x{\right)|}^{2}\right)}^{p/2}dx\right)}^{1/p}$

for all ordered l-tuples I, l = 1, 2,, n. It is easy to see that the space l is of a basis

$\left\{d{x}_{{i}_{1}}\wedge d{x}_{{i}_{2}}\wedge \cdots \wedge d{x}_{{i}_{l}},\phantom{\rule{2.77695pt}{0ex}}1\le {i}_{1}<{i}_{2}<\cdots <{i}_{l}\le n\right\},$

and hence $dim\left({\wedge }^{l}\right)=dim\left({\wedge }^{l}\left({ℝ}^{n}\right)\right)=\left(\begin{array}{c}n\\ l\end{array}\right)$ and

$dim\left(\wedge \right)=\sum _{l=0}^{n}dim\left({\wedge }^{l}\left({ℝ}^{n}\right)\right)=\sum _{l=0}^{n}\left(\begin{array}{c}n\\ l\end{array}\right)={2}^{n}.$

We denote the exterior derivative by d : D'(Ω, l ) → D'(Ω, l+1) for l = 0, 1,, n - 1. The exterior differential can be calculated as follows

$d\omega \left(x\right)=\sum _{k=1}^{n}\sum _{1\le {i}_{1}<\cdots <{i}_{l}\le n}\frac{\partial {\omega }_{{i}_{1}{i}_{2}\cdots {i}_{l}}\left(x\right)}{\partial {x}_{k}}d{x}_{k}\wedge d{x}_{{i}_{1}}\wedge d{x}_{{i}_{2}}\wedge \cdots \wedge d{x}_{{i}_{l}}.$

Its formal adjoint operator d which is called the Hodge codifferential is defined by d = (-1)nl+1 d: D'(Ω, l+1) → D'(Ω, l), where l = 0, 1,, n - 1, and is the well known Hodge star operator. We say that $u\in {L}_{loc}^{1}\left({\wedge }^{l}\Omega \right)$ has a generalized gradient if, for each coordinate system, the pullbacks of the coordinate function of u have generalized gradient in the familiar sense, see . We write $\mathcal{W}\left({\wedge }^{l}\Omega \right)$ = {$u\in {L}_{loc}^{1}\left({\wedge }^{l}\Omega \right)$: u has generalized gradient}. As usual, the harmonic l-fields are defined by $\mathcal{H}\left({\wedge }^{l}\Omega \right)=\left\{u\in \mathcal{W}\left({\wedge }^{l}\Omega \right):du={d}^{\star }u=0,\phantom{\rule{0.3em}{0ex}}u\in {L}^{p}\phantom{\rule{0.3em}{0ex}}for\phantom{\rule{0.3em}{0ex}}some\phantom{\rule{0.3em}{0ex}}1, The orthogonal complement of $\mathcal{H}$ in L1 is defined by ${\mathcal{H}}^{\perp }=\left\{u\in {L}^{1}:=0\phantom{\rule{0.3em}{0ex}}for\phantom{\rule{0.3em}{0ex}}all\phantom{\rule{0.3em}{0ex}}h\in \mathcal{H}\right\}$. Greens' operator G is defined as $G:{C}^{\infty }\left({\wedge }^{l}\Omega \right)\to {\mathcal{H}}^{\perp }\cap {C}^{\infty }\left({\wedge }^{l}\Omega \right)$ by assigning G(u) be the unique element of ${\mathcal{H}}^{\perp }\cap {C}^{\infty }\left({\wedge }^{l}\Omega \right)$ satisfying Poisson's equation ΔG(u) = u - H(u), where H is either the harmonic projection or sometimes the harmonic part of u and Δ is the Laplace-Beltrami operator, see [2, 711] for more properties of Green's operator. In this paper, we alway use G to denote Green's operator.

## 2. Local inequalities

The purpose of this paper is to establish the Lφ -norm inequalities for Green's operator applied to the following k-quasi-minimizer. We say a differential form $u\in {W}_{loc}^{1,1}\left(\Omega ,\phantom{\rule{2.77695pt}{0ex}}{\Lambda }^{\ell }\right)$ is a k-quasi-minimizer for the functional

$I\left(\Omega ;v\right)={\int }_{\Omega }\phantom{\rule{2.77695pt}{0ex}}\left(|dv|\right)dx$
(2.1)

if and only if, for every $\phi \in {W}_{loc}^{1,1}\left(\Omega ,\phantom{\rule{2.77695pt}{0ex}}{\Lambda }^{\ell }\right)$ with compact support,

$I\left(supp\phantom{\rule{2.77695pt}{0ex}}\phi ;u\right)\le k\cdot I\left(supp\phantom{\rule{2.77695pt}{0ex}}\phi ;u+\phi \right),$

where k > 1 is a constant. We say that φ satisfies the so called Δ2-condition if there exists a constant p > 1 such that

$\phi \left(2t\right)\le p\phi \left(t\right)$
(2.2)

for all t > 0, from which it follows that φ(λt) ≤ λ pφ (t) for any t > 0 and λ ≥ 1, see .

We will need the following lemma which can be found in  or .

Lemma 2.1. Let f(t) be a nonnegative function defined on the interval [a, b] with a ≥ 0. Suppose that for s, t [a, b] with t < s,

$f\left(t\right)\le \frac{M}{{\left(s-t\right)}^{\alpha }}+N+\theta f\left(s\right)$

holds, where M, N, α and θ are nonnegative constants with θ < 1. Then, there exists a constant C = C(α, θ ) such that

$f\left(\rho \right)\le C\left(\frac{M}{{\left(R-\rho \right)}^{\alpha }}+N\right)$

for any ρ, R [a, b] with ρ < R.

A continuously increasing function φ : [0, ∞) → [0, ∞) with φ (0) = 0, is called an Orlicz function.

The Orlicz space Lφ (Ω) consists of all measurable functions f on Ω such that ${\int }_{\Omega }\phi \left(\frac{|f|}{\lambda }\right)dx<\infty$ for some λ = λ(f) > 0. Lφ (Ω) is equipped with the nonlinear Luxemburg functional

$\parallel f{\parallel }_{\phi \left(\Omega \right)}=inf\left\{\lambda >0:\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}{\int }_{\Omega }\phantom{\rule{2.77695pt}{0ex}}\phi \left(\frac{|f|}{\lambda }\right)dx\le 1\right\}.$

A convex Orlicz function φ is often called a Young function. A special useful Young function φ : [0, ∞) → [0, ∞), termed an N-function, is a continuous Young function such that φ(x) = 0 if and only if x = 0 and limx → 0φ(x)/x = 0, limx → ∞φ(x)/x = +∞. If φ is a Young function, then || · || φ defines a norm in Lφ (Ω), which is called the Luxemburg norm.

Definition 2.2. We say a Young function φ lies in the class G(p, q, C), 1 ≤ p < q < ∞, C ≥ 1, if (i) 1/Cφ(t1/p)/ Φ(t) ≤ C and (ii) 1/Cφ(t1/q)/ Ψ (t) ≤ C for all t > 0, where Φ is a convex increasing function and Ψ is a concave increasing function on [0, ∞).

From , each of φ, Φ and Ψ in above definition is doubling in the sense that its values at t and 2t are uniformly comparable for all t > 0, and the consequent fact that

${C}_{1}{t}^{q}\le {\Psi }^{-1}\left(\phi \left(t\right)\right)\le {C}_{2}{t}^{q},\phantom{\rule{2.77695pt}{0ex}}{C}_{1}{t}^{p}\le {\Phi }^{-1}\left(\phi \left(t\right)\right)\le {C}_{2}{t}^{p},$
(2.3)

where C1 and C2 are constants. It is easy to see that φ G(p, q, C) satisfies the Δ2-condition. Also, for all 1 ≤ p1 < p < p2 and α , the function $\phi \left(t\right)={t}^{p}lo{g}_{+}^{\alpha }t$ belongs to G(p1, p2, C) for some constant C = C(p, α, p1, p2). Here log+(t) is defined by log+(t) = 1 for te; and log+(t) = log(t) for t > e. Particularly, if α = 0, we see that φ(t) = tp lies in G(p1, p2, C), 1 ≤ p1 < p < p2.

Theorem 2.3. Let$u\in {W}_{loc}^{1,1}\left(\Omega ,\phantom{\rule{2.77695pt}{0ex}}{\Lambda }^{\ell }\right)$be a k-quasi-minimizer for the functional (2.1), φ be a Young function in the class G(p, q, C), 1 ≤ p < q < ∞, C ≥ 1 and q(n - p) < np, Ω be a bounded domain and G be Green's operator. Then, there exists a constant C, independent of u, such that

${\int }_{B}\phantom{\rule{2.77695pt}{0ex}}\phi \left(|G\left(u\right)-{\left(G\left(u\right)\right)}_{B}|\right)dx\le C{\int }_{2B}\phantom{\rule{2.77695pt}{0ex}}\phi \left(|u-c|\right)dx$
(2.4)

for all balls B = B r with radius r and 2B Ω, where c is any closed form.

Proof. Using Jensen's inequality for Ψ -1, (2.3), and noticing that φ and Ψ are doubling, for any ball B = B r Ω, we obtain

$\begin{array}{lll}\hfill {\int }_{B}\phantom{\rule{2.77695pt}{0ex}}\phi \left(|G\left(u\right)-{\left(G\left(u\right)\right)}_{B}|\right)dx& =\Psi \left({\Psi }^{-1}\left({\int }_{B}\phantom{\rule{2.77695pt}{0ex}}\phi \left(|G\left(u\right)-{\left(G\left(u\right)\right)}_{B}|\right)dx\right)\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(1)}\\ \le \Psi \left({\int }_{B}{\Psi }^{-1}\left(\phi \left(|G\left(u\right)-{\left(G\left(u\right)\right)}_{B}|\right)\right)dx\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(2)}\\ \le \Psi \left({C}_{1}{\int }_{B}|G\left(u\right)-{\left(G\left(u\right)\right)}_{B}{|}^{q}dx\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(3)}\\ \le {C}_{2}\phi \left({\left({C}_{1}{\int }_{B}|G\left(u\right)-{\left(G\left(u\right)\right)}_{B}{|}^{q}dx\right)}^{1∕q}\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(4)}\\ \le {C}_{3}\phi \left({\left({\int }_{B}|G\left(u\right)-{\left(G\left(u\right)\right)}_{B}{|}^{q}dx\right)}^{1∕q}\right).\phantom{\rule{2em}{0ex}}& \hfill \text{(5)}\\ \hfill \text{(6)}\end{array}$
(2.5)

Using the Poincaré-type inequality for differential forms G(u) and noticing that

$\parallel G\left(u\right)\parallel {\phantom{\rule{0.1em}{0ex}}}_{p,B}\phantom{\rule{2.77695pt}{0ex}}\le {C}_{4}||u|{|}_{p,B}$

holds for any differential form u, we obtain

$\begin{array}{l}{\left({\int }_{B}|G\left(u\right)-{\left(G\left(u\right)\right)}_{B}{|}^{np/\left(n-p\right)}dx\right)}^{\left(n-p\right)/np}\\ \le {C}_{5}{\left({\int }_{B}|d\left(G\left(u{\right)\right)|}^{p}dx\right)}^{1/p}\\ \le {C}_{5}{\left({\int }_{B}|G\left(du{\right)|}^{p}dx\right)}^{1/p}\\ \le {C}_{6}{\left({\int }_{B}|du{|}^{p}dx\right)}^{1/p}.\end{array}$
(2.6)

If 1 < p < n, by assumption, we have $q<\frac{np}{n-p}$. Then,

${\left({\int }_{B}|G\left(u\right)-{\left(G\left(u\right)\right)}_{B}{|}^{q}dx\right)}^{1∕q}\le {C}_{7}{\left({\int }_{B}|du{|}^{p}dx\right)}^{1∕p}.$
(2.7)

Note that the Lp -norm of |G(u) - (G(u)) B | increases with p and $\frac{np}{n-p}\to \infty$ as pn, it follows that (2.7) still holds when pn. Since φ is increasing, from (2.5) and (2.7), we obtain

${\int }_{B}\phantom{\rule{2.77695pt}{0ex}}\phi \left(|G\left(u\right)-{\left(G\left(u\right)\right)}_{B}|\right)dx\le {C}_{3}\phi \left({C}_{7}{\left({\int }_{B}|du{|}^{p}dx\right)}^{1∕p}\right).$
(2.8)

Applying (2.8), (i) in Definition 2.2, Jensen's inequality, and noticing that φ and Φ are doubling, we have

$\begin{array}{lll}\hfill {\int }_{B}\phi \left(|G\left(u\right)-{\left(G\left(u\right)\right)}_{B}|\right)dx& \le {C}_{3}\phi \left({C}_{7}{\left({\int }_{B}|du{|}^{p}dx\right)}^{1∕p}\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(1)}\\ \le {C}_{3}\Phi \left({C}_{8}\left({\int }_{B}|du{|}^{p}dx\right)\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(2)}\\ \le {C}_{9}{\int }_{B}\Phi \left(|du{|}^{p}\right)dx.\phantom{\rule{2em}{0ex}}& \hfill \text{(3)}\\ \hfill \text{(4)}\end{array}$
(2.9)

Using (i) in Definition 1.1 again yields

${\int }_{B}\phantom{\rule{2.77695pt}{0ex}}\Phi \left(|du{|}^{p}\right)dx\le {C}_{10}{\int }_{B}\phantom{\rule{2.77695pt}{0ex}}\phi \left(|du|\right)dx.$
(2.10)

Combining (2.9) and (2.10), we obtain

${\int }_{B}\phantom{\rule{2.77695pt}{0ex}}\phi \left(|G\left(u\right)-{\left(G\left(u\right)\right)}_{B}|\right)dx\le {C}_{11}{\int }_{B}\phantom{\rule{2.77695pt}{0ex}}\phi \left(|du|\right)dx$
(2.11)

for any ball B Ω. Next, let B2r= B(x0, 2r) be a ball with radius 2r and center x0, r < t < s < 2r. Set η(x) = g(|x - x0|), where

$g\left(\tau \right)=\left\{\begin{array}{cc}\hfill 1,\hfill & \hfill 0\le \tau \le t\hfill \\ \hfill a\mathrm{ffi}ne,\hfill & \hfill \tau

Then, $\eta \in {W}_{0}^{1,\infty }\left({B}_{s}\right)$, η (x) = 1 on B t and

$|d\eta \left(x\right)|\phantom{\rule{2.77695pt}{0ex}}=\left\{\begin{array}{cc}\hfill {\left(s-t\right)}^{-1},\hfill & \hfill t\le \phantom{\rule{2.77695pt}{0ex}}|x-{x}_{0}|\phantom{\rule{2.77695pt}{0ex}}\le s\hfill \\ \hfill 0,\hfill & \hfill otherwise.\hfill \end{array}\right\$
(2.12)

Let v(x) = u(x) + (η(x)) p (c - u(x)), where c is any closed form. We find that

$dv=\left(1-{\eta }^{p}\right)du+{\eta }^{p}p\frac{d\eta }{\eta }\left(c-u\left(x\right)\right).$
(2.13)

Since ψ is an increasing convex function satisfying the Δ2-condition, we obtain

$\phi \left(|dv|\right)\le \left(1-{\eta }^{p}\right)\phi \left(|du|\right)+{\eta }^{p}\phi \left(p\frac{|d\eta |}{\eta }|c-u\left(x\right)|\right).$
(2.14)

Using the definition of the k-quasi-minimizer and (2.2), it follows that

(2.15)

Applying (2.15), (2.12)) and (2.3), we have

$\begin{array}{lll}\hfill {\int }_{{B}_{t}}\phi \left(|du|\right)dx& \le {\int }_{{B}_{s}}\phi \left(|du|\right)dx\phantom{\rule{2em}{0ex}}& \hfill \text{(1)}\\ \le k\left({\int }_{{B}_{s}\{B}_{t}}\phi \left(|du|\right)dx+{p}^{p}{\int }_{{B}_{s}}\phi \phantom{\rule{2.77695pt}{0ex}}\left(4r\frac{|u-c|}{\left(s-t\right)2r}\right)dx\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(2)}\\ \le k\left({\int }_{{B}_{s}\{B}_{t}}\phi \left(|du|\right)dx+\frac{{\left(4pr\right)}^{p}}{{\left(s-t\right)}^{p}}{\int }_{{B}_{s}}\phi \phantom{\rule{2.77695pt}{0ex}}\left(\frac{|u-c|}{2r}\right)dx\right).\phantom{\rule{2em}{0ex}}& \hfill \text{(3)}\\ \hfill \text{(4)}\end{array}$
(2.16)

Adding $k{\int }_{{B}_{t}}\phi \left(|du|\right)dx$ to both sides of inequality (2.16) yields

${\int }_{{B}_{t}}\phi \left(|du|\right)dx\le \frac{k}{k+1}\left({\int }_{{B}_{s}}\phi \left(|du|\right)dx+\frac{{\left(4pr\right)}^{p}}{{\left(s-t\right)}^{p}}{\int }_{{B}_{s}}\phi \phantom{\rule{2.77695pt}{0ex}}\left(\frac{|u-c|}{2r}\right)dx\right).$
(2.17)

In order to use Lemma 2.1, we write

$f\left(t\right)={\int }_{{B}_{t}}\phi \left(|du|\right)dx,\phantom{\rule{0.1em}{0ex}}f\left(s\right)={\int }_{{B}_{s}}\phi \left(|du|\right)dx,\phantom{\rule{0.1em}{0ex}}M=\left(4pr{\right)}^{p}{\int }_{{B}_{s}}\phi \phantom{\rule{0.1em}{0ex}}\left(\frac{|u-c|}{2r}\right)dx$

and N = 0. From (2.17), we find that the conditions of Lemma 2.1 are satisfied. Hence, using Lemma 2.1 with ρ = r and α = p, we obtain

${\int }_{{B}_{r}}\phi \left(|du|\right)dx\le {C}_{12}{\int }_{{B}_{2r}}\phi \phantom{\rule{2.77695pt}{0ex}}\left(\frac{|u-c|}{2r}\right)dx,$
(2.18)

Note that φ is doubling, B = B r and 2B = B2r. Then, (3.18) can be written as

${\int }_{B}\phi \left(|du|\right)dx\le {C}_{13}{\int }_{2B}\phi \phantom{\rule{2.77695pt}{0ex}}\left(|u-c|\right)dx.$
(2.19)

Combining (2.11) and (2.19) yields

${\int }_{B}\phantom{\rule{2.77695pt}{0ex}}\phi \left(|G\left(u\right)-{\left(G\left(u\right)\right)}_{B}|\right)dx\le {C}_{14}{\int }_{2B}\phantom{\rule{2.77695pt}{0ex}}\phi \phantom{\rule{2.77695pt}{0ex}}\left(|u-c|\right)dx.$
(2.20)

The proof of Theorem 2.3 has been completed. □

Since each of φ, Φ and Ψ in Definition 2.2 is doubling, from the proof of Theorem 2.3 or directly from (2.3), we have

${\int }_{B}\phantom{\rule{2.77695pt}{0ex}}\phi \phantom{\rule{2.77695pt}{0ex}}\left(\frac{|G\left(u\right)-{\left(G\left(u\right)\right)}_{B}|}{\lambda }\right)dx\le C{\int }_{2B}\phantom{\rule{2.77695pt}{0ex}}\phi \phantom{\rule{2.77695pt}{0ex}}\left(\frac{|u-c|}{\lambda }\right)dx$
(2.21)

for all balls B with 2B Ω and any constant λ > 0. From definition of the Luxemburg norm and (2.21), the following inequality with the Luxemburg norm

$\parallel G\left(u\right)-{\left(G\left(u\right)\right)}_{B}{\parallel }_{\phi \left(B\right)}\le C\parallel u-c{\parallel }_{\phi \left(2B\right)}$
(2.22)

holds under the conditions described in Theorem 2.3.

Note that in Theorem 2.3, c is any closed form. Hence, we may choose c = 0 in Theorem 2.3 and obtain the following version of φ-norm inequality which may be convenient to be used.

Corollary 2.4. Let$u\in {W}_{loc}^{1,1}\left(\Omega ,\phantom{\rule{2.77695pt}{0ex}}{\Lambda }^{\ell }\right)$be a k-quasi-minimizer for the functional (2.1), φ be a Young function in the class G(p, q, C), 1 ≤ p < q < ∞, C ≥ 1 and q(n - p) < np, Ω be a bounded domain and G be Green's operator. Then, there exists a constant C, independent of u, such that

${\int }_{B}\phantom{\rule{2.77695pt}{0ex}}\phi \left(|G\left(u\right)-{\left(G\left(u\right)\right)}_{B}|\right)dx\le C{\int }_{2B}\phi \phantom{\rule{2.77695pt}{0ex}}\left(|u|\right)dx$
(2.23)

for all balls B = B r with radius r and 2B Ω.

## 3. Global inequalities

In this section, we extend the local Poincaré type inequalities into the global cases in the following Lφ -averaging domains, which are extension of John domains and Ls -averaging domain, see [15, 16].

Definition 3.1. Letφ be an increasing convex function on [0, ∞) with φ(0) = 0. We call a proper subdomain Ω n an Lφ -averaging domain, if | Ω| < ∞ and there exists a constant C such that

${\int }_{\Omega }\phantom{\rule{2.77695pt}{0ex}}\phi \left(\tau |u-{u}_{{B}_{0}}|\right)dx\le C\underset{B\subset \Omega }{sup}{\int }_{B}\phantom{\rule{2.77695pt}{0ex}}\phi \left(\sigma |u-{u}_{B}|\right)dx$
(3.1)

for some ball B0 Ω and all u such that $\phi \left(|u|\right)\in {L}_{loc}^{1}\left(\Omega \right)$, where τ, σ are constants with 0 < τ < ∞, 0 < σ < ∞ and the supremum is over all balls B Ω.

From above definition we see that Ls -averaging domains and Ls (μ)-averaging domains are special Lφ -averaging domains when φ(t) = ts in Definition 3.1. Also, uniform domains and John domains are very special Lφ -averaging domains, see [1, 15, 16] for more results about domains.

Theorem 3.2. Let $u\in {W}_{loc}^{1,1}\left(\Omega ,\phantom{\rule{2.77695pt}{0ex}}{\Lambda }^{0}\right)$ be a k-quasi-minimizer for the functional(2.1), φ be a Young function in the class G(p, q, C), 1 ≤ p < q < ∞, C ≥ 1 and q(n - p) < np, Ω be any bounded Lφ-averaging domain and G be Green's operator. Then, there exists a constant C, independent of u, such that

${\int }_{\Omega }\phantom{\rule{2.77695pt}{0ex}}\phi \left(|G\left(u\right)-{\left(G\left(u\right)\right)}_{{B}_{0}}|\right)dx\le C{\int }_{\Omega }\phi \phantom{\rule{2.77695pt}{0ex}}\left(|u-c|\right)dx,$
(3.2)

where B0 Ω is some fixed ball and c is any closed form.

Proof. From Definition 3.1, (2.4) and noticing that φ is doubling, we have

$\begin{array}{lll}\hfill {\int }_{\Omega }\phantom{\rule{2.77695pt}{0ex}}\phi \left(|G\left(u\right)-{\left(G\left(u\right)\right)}_{{B}_{0}}|\right)dx& \le {C}_{1}\underset{B\subset \Omega }{sup}{\int }_{B}\phantom{\rule{2.77695pt}{0ex}}\phi \left(|G\left(u\right)-{\left(G\left(u\right)\right)}_{B}|\right)dx\phantom{\rule{2em}{0ex}}& \hfill \text{(1)}\\ \le {C}_{1}\underset{B\subset \Omega }{sup}\left({C}_{2}{\int }_{2B}\phi \left(|u-c|\right)dx\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(2)}\\ \le {C}_{1}\underset{B\subset \Omega }{sup}\left({C}_{2}{\int }_{\Omega }\phi \left(|u-c|\right)dx\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(3)}\\ \le {C}_{3}{\int }_{\Omega }\phi \left(|u-c|\right)dx.\phantom{\rule{2em}{0ex}}& \hfill \text{(4)}\\ \hfill \text{(5)}\end{array}$

We have completed the proof of Theorem 3.2. □

Similar to the local inequality, the following global inequality with the Orlicz norm

$\parallel G\left(u\right)-{\left(G\left(u\right)\right)}_{{B}_{0}}{\parallel }_{\phi \left(\Omega \right)}\le C\parallel u{\parallel }_{\phi \left(\Omega \right)}$
(3.3)

holds if all conditions in Theorem 3.2 are satisfied.

We know that any John domain is a special Lφ -averaging domain. Hence, we have the following inequality in John domain.

Theorem 3.3. Let$u\in {W}_{loc}^{1,1}\left(\Omega ,\phantom{\rule{2.77695pt}{0ex}}{\Lambda }^{0}\right)$be a k-quasi-minimizer for the functional (2.1), φ be a Young function in the class G(p, q, C), 1 ≤ p < q < ∞, C ≥ 1 and q(n - p) < np, Ω be any bounded John domain and G be Green's operator. Then, there exists a constant C, independent of u, such that

${\int }_{\Omega }\phantom{\rule{2.77695pt}{0ex}}\phi \left(|G\left(u\right)-{\left(G\left(u\right)\right)}_{{B}_{0}}|\right)dx\le C{\int }_{\Omega }\phi \phantom{\rule{2.77695pt}{0ex}}\left(|u-c|\right)dx,$
(3.4)

where B0 Ω is some fixed ball and c is any closed form.

Choosing $\phi \left(t\right)={t}^{p}lo{g}_{+}^{\alpha }t$ in Theorems 3.2, we obtain the following inequalities with the ${L}^{p}\left(lo{g}_{+}^{\alpha }L\right)$-norms.

Corollary 3.4. Let$u\in {W}_{loc}^{1,1}\left(\Omega ,\phantom{\rule{2.77695pt}{0ex}}{\Lambda }^{0}\right)$be a k-quasi-minimizer for the functional (2.1), $\phi \left(t\right)={t}^{p}lo{g}_{+}^{\alpha }t$, α , q(n - p) < np for 1 ≤ p < q < ∞ and G be Green's operator. Then, there exists a constant C, independent of u, such that

${\int }_{\Omega }|G\left(u\right)-{\left(G\left(u\right)\right)}_{{B}_{0}}{|}^{p}lo{g}_{+}^{\alpha }\left(|G\left(u\right)-{\left(G\left(u\right)\right)}_{{B}_{0}}|\right)dx\le C{\int }_{\Omega }|u-c{|}^{p}lo{g}_{+}^{\alpha }\left(|u-c|\right)dx$
(3.5)

for any bounded Lφ-averaging domain Ω, where B0 Ω is some fixed ball and c is any closed form.

We can also write (3.5) as the following inequality with the Luxemburg norm

$\parallel G\left(u\right)-{\left(G\left(u\right)\right)}_{{B}_{0}}{\parallel }_{{L}^{p}\left(lo{g}_{+}^{\alpha }\phantom{\rule{2.77695pt}{0ex}}L\right)\left(\Omega \right)}\le C\parallel u-c{\parallel }_{{L}^{p}\left(lo{g}_{+}^{\alpha }\phantom{\rule{2.77695pt}{0ex}}L\right)\left(\Omega \right)}$
(3.6)

provided the conditions in Corollary 3.5 are satisfied.

Similar to the local case, we may choose c = 0 in Theorem 3.2 and obtain he following version of Lφ -norm inequality.

Corollary 3.5. Let$u\in {W}_{loc}^{1,1}\left(\Omega ,\phantom{\rule{2.77695pt}{0ex}}{\Lambda }^{0}\right)$be a k-quasi-minimizer for the functional (2.1), φ be a Young function in the class G(p, q, C), 1 ≤ p < q < ∞, C ≥ 1 and q(n - p) < np, Ω be any bounded Lφ -averaging domain and G be Green's operator. Then, there exists a constant C, independent of u, such that

${\int }_{\Omega }\phi \left(|G\left(u\right)-{\left(G\left(u\right)\right)}_{{B}_{0}}|\right)dx\le C{\int }_{\Omega }\phi \left(|u|\right)dx,$
(3.2a)

where B0 Ω is some fixed ball.

## 4. Applications

It should be noticed that both of the local and global norm inequalities for Green's operator proved in this paper can be used to estimate other operators applied to a k-quasi-minimizer. Here, we give an example using Theorem 2.3 to estimate the projection operator H. Using the basic Poincaré inequality to ΔG(u) and noticing that d commute with Δ and G, we can prove the following Lemma 4.1

Lemma 4.1. Let u D'(Ω, l ), l = 0, 1,, n - 1, be an A-harmonic tensor on Ω. Assume that ρ > 1 and 1 < s < ∞. Then, there exists a constant C, independent of u, such that

$\parallel \Delta G\left(u\right)-{\left(\Delta G\left(u\right)\right)}_{B}{\parallel }_{s,B}\le Cdiam\left(B\right)\parallel du{\parallel }_{s,\rho B}$
(4.1)

for any ball B with ρB Ω.

Using Lemma 4.1 and the method developed in the proof of Theorem 2.3, we can prove the following inequality for the composition of Δ and G.

Theorem 4.2. Let$u\in {W}_{loc}^{1,1}\left(\Omega ,\phantom{\rule{2.77695pt}{0ex}}{\Lambda }^{\ell }\right)$be a k-quasi-minimizer for the functional (2.1), φ be a Young function in the class G(p, q, C), 1 ≤ p < q < ∞, C ≥ 1 and q(n - p) < np, Ω be a bounded domain and G be Green's operator. Then, there exists a constant C, independent of u, such that

${\int }_{B}\phantom{\rule{2.77695pt}{0ex}}\phi \left(|\Delta G\left(u\right)-{\left(\Delta G\left(u\right)\right)}_{B}|\right)dx\le C{\int }_{2B}\phantom{\rule{2.77695pt}{0ex}}\phi \left(|u-c|\right)dx$
(4.2)

for all balls B = B r with radius r and 2B Ω, where c is any closed form.

Now, we are ready to develop the estimate for the projection operator applied to a k-quasi-minimizer for the functional defined by (2.1).

Theorem 4.3. Let$u\in {W}_{loc}^{1,1}\left(\Omega ,\phantom{\rule{2.77695pt}{0ex}}{\Lambda }^{\ell }\right)$be a k-quasi-minimizer for the functional (2.1), φ be a Young function in the class G(p, q, C), 1 ≤ p < q < ∞, C ≥ 1 and q(n - p) < np, Ω be a bounded domain and H be projection operator. Then, there exists a constant C, independent of u, such that

${\int }_{B}\phantom{\rule{2.77695pt}{0ex}}\phi \left(|H\left(u\right)-{\left(H\left(u\right)\right)}_{B}|\right)dx\le C{\int }_{2B}\phi \phantom{\rule{2.77695pt}{0ex}}\left(|u-c|\right)dx$
(4.3)

for all balls B = B r with radius r and 2B Ω, where c is any closed form.

Proof. Using the Poisson's equation ΔG(u) = u - H(u) and the fact that φ is convex and doubling as well as Theorem 4.2, we have

(4.4)

that is

${\int }_{B}\phantom{\rule{2.77695pt}{0ex}}\phi \left(|H\left(u\right)-{\left(H\left(u\right)\right)}_{B}|\right)dm\le C{\int }_{\sigma B}\phi \left(|u-c|\right)dm.$

We have completed the proof of Theorem 4.3. □

Remark. (i) We know that the Ls -averaging domains uniform domains are the special Lφ -averaging domains. Thus, Theorems 3.2 also holds if Ω is tan Ls -averaging domain or uniform domain. (ii) Theorem 4.3 can also be extended into the global case in Lφ (m)-averaging domain.

## References

1. Agarwal RP, Ding S, Nolder CA: Inequalities for differential forms. Springer-Verlag, New York; 2009.

2. Warner FW: Foundations of differentiable manifolds and Lie groups. Springer-Verlag, New York; 1983.

3. Ding S: Two-weight Caccioppoli inequalities for solutions of nonhomogeneous A -harmonic equations on Riemannian manifolds. Proc Amer Math Soc 2004, 132: 2367–2375. 10.1090/S0002-9939-04-07347-2

4. Xing Y: Weighted integral inequalities for solutions of the A -harmonic equation. J Math Anal Appl 2003, 279: 350–363. 10.1016/S0022-247X(03)00036-2

5. Nolder CA: Hardy-Littlewood theorems for A -harmonic tensors. Illinois J Math 1999, 43: 613–631.

6. Stein EM: Singular integrals and differentiability properties of functions. Princton University Press, Princton; 1970.

7. Ding S: Integral estimates for the Laplace-Beltrami and Green's operators applied to differential forms on manifolds. Zeitschrift fur Analysis und ihre Anwendungen (Journal of Analysis and its Applications) 2003, 22: 939–957.

8. Ding S: Norm estimates for the maximal operator and Green's operator. Dyn Contin Discrete Impuls Syst Ser A Math Anal 2009, 16: 72–78.

9. Wang Y, Wu C: Sobolev imbedding theorems and Poincaré inequalities for Green's operator on solutions of the nonhomogeneous A -harmonic equation. Computers and Mathematics with Applications 2004, 47: 1545–1554. 10.1016/j.camwa.2004.06.006

10. Scott C: Lp -theory of differntial forms on manifolds. Trans Amer Soc 1995, 347: 2075–2096. 10.2307/2154923

11. Xing Y, Wu C: Global weighted inequalities for operators and harmonic forms on manifolds. J Math Anal Appl 2004, 294: 294–309. 10.1016/j.jmaa.2004.02.018

12. Giaquinta M, Giusti E: On the regularity of the minima of variational integrals. Acta Math 1982, 148: 31–46. 10.1007/BF02392725

13. Sbordone C: On some integral inequalities and their applications to the calculus of variations. Boll Un Mat Ital., Analisi Funzionali e Applicazioni 1986, 5: 7394.

14. Buckley SM, Koskela P: Orlicz-Hardy inequalities. Illinois J Math 2004, 48: 787–802.

15. Staples SG: Lp-averaging domains and the Poincaré inequality. Ann Acad Sci Fenn, Ser AI Math 1989, 14: 103–127.

16. Ding S: Lφ( μ )-averaging domains and the quasihyperbolic metric. Computers and Mathematics with Applications 2004, 47: 1611–1618. 10.1016/j.camwa.2004.06.016

## Author information

Authors

### Corresponding author

Correspondence to Shusen Ding.

## Rights and permissions

Reprints and Permissions

Agarwal, R.P., Ding, S. Inequalities for Green's operator applied to the minimizers. J Inequal Appl 2011, 66 (2011). https://doi.org/10.1186/1029-242X-2011-66 