Abstract
In this paper, we establish global higher integrability of the gradient of the solution of the quasilinear elliptic equation \(\Delta _A u=\text {div}\left( \frac{a(|F|)}{|F|}F\right) \) in \({\mathbb {R}}^n\), where \(\Delta _A\) is the so called A-Laplace operator.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We are interested in higher integrability of the gradient of the solution of the following problem:
where \(n\geqslant 2\), \(F=(F_1,\ldots ,F_n)\in L^{A}({\mathbb {R}}^n)\), \(\Delta _A u={\text {div}\left( \Theta (\nabla u)\right) }\), \( \Theta (X)={{a(|X|)}\over {|X|}}X\), and \({A(t)=\int _0^t a(s)\mathrm{d}s}\), with a a function in \(C^1( (0,\infty ))\cap C^0([0,\infty ))\) satisfying \(a(0)=0\), and the condition
Without loss of generality, we shall assume that \(a_0<1<a_1\).
We call a solution of problem (P) any function \(u\in W^{1,A}({\mathbb {R}}^n)\) that satisfies
We recall the definition of the Orlicz space \(L^A({\mathbb {R}}^n)\) and its norm (see [10])
The dual space of \(L^A({\mathbb {R}}^n)\) is the Orlicz space \(L^{\widetilde{A}}({\mathbb {R}}^n)\), where \(\widetilde{A}(t)=\int _{0}^{t} a^{-1}(s) \mathrm{d}s\) and \(a^{-1}\) is the inverse function of a.
The Orlicz–Sobolev space \(W^{1,A}({\mathbb {R}}^n)\) and its norm are given by
Both \(L^A({\mathbb {R}}^n)\) and \( W^{1,A}({\mathbb {R}}^n)\) are reflexive Banach spaces.
The following useful inequalities can be easily deduced from (1.1) (see [9])
Using (1.5) and the convexity of A, we obtain
We also recall the following monotonicity inequality (see [3])
where C(A, n) is a positive constant depending only on A and n.
There is a wide range of functions a(t) satisfying (1.1). In particular, we observe that we have \(a_0=a_1=p-1\) if and only if \(a(t)=ct^{a_0}\) for some positive constant c. In this case, we have \(A(t)={{ct^p}\over p}\) and \(\Delta _A=c\Delta _p\), where \(\Delta _p\) is the \(p-\)Laplace operator. We refer to [4] for more examples of these functions.
Definition 1.1
We say that a function \(A: [0,\infty )\rightarrow [0,\infty )\) is an \(N-\)function if \(A'\in C^1((0,\infty ))\cap C^0([0,\infty ))\), \(A'(0)=0\), and \(A'\) satisfies (1.1).
Here is the main result of this paper.
Theorem 1.1
Let \(B: [0,\infty )\rightarrow [0,\infty )\) be a function such that \(B\circ A^{-1}\) is an \(N-\)function and let \(u\in W^{1,A}({\mathbb {R}}^n)\) be a solution of problem (P). If \(F\in L^B({\mathbb {R}}^n)\), then we have \(|\nabla u|\in L^B({\mathbb {R}}^n)\) with
where C is a positive constant depending only on n, A, and B.
Remark 1.1
We would like to mention that this regularity is well known for the Laplace equation (see [8]). For the p-Laplace equation, we refer to [8] and to [5] for systems.
Example 1.1
Assume that \(\Phi \) is an \(N-\)function with \(\Phi '=\varphi \) and let \(B=\Phi \circ A\). Then, B is an \(N-\)function as a compose of two \(N-\)functions, namely \(\Phi \) and A. Moreover, \(B\circ A^{-1}=\Phi \) is also an \(N-\)function. Hence, the following functions satisfy the assumption of Theorem 1.1:
-
\(B(t)=(A(t))^p\) with \(p>1\), (\(\Phi (t)=t^p\)).
-
\(B(t)=(A(t))^\alpha \ln (\beta A(t)+\gamma )\) with \(\alpha , \beta , \gamma >0\), (\(\Phi (t)=t^\alpha \ln (\beta t+\gamma )\)).
-
\(B(t)=(A(t))^{p(A(t))}\), (\(\Phi (t)=t^{p(t)}\)), provided p(t) satisfies for all \(t>0\): \(\alpha _0\leqslant t\ln (t)p'(t)+p(t)-1\leqslant \alpha _1\), for some positive constants \(\alpha _0\) and \(\alpha _1\).
Corollary 1.1
Under the assumption of Theorem 1.1, if moreover, the integral \({\int _1^\infty \frac{B^{-1}(t)}{t^{\frac{n+1}{n}}}\mathrm{d}t}\) is finite, then we have \(u\in C_{\mu }({\mathbb {R}}^n)\), where \({\mu (t)=\int _t^\infty \frac{B^{-1}(s)}{s^{\frac{n+1}{n}}}\mathrm{d}s}\) and \(C_{\mu }({\mathbb {R}}^n)\) is the space of continuous functions with \(\mu \) as a modulus of continuity.
Proof
From Theorem 1.1, we know that \(u\in W^{1,B}({\mathbb {R}}^n)\). Since the integral \({\int _1^\infty \frac{B^{-1}(t)}{t^{\frac{n+1}{n}}}\mathrm{d}t}\) is finite, the result follows from the embedding \(W^{1,B}({\mathbb {R}}^n)\subset C_{\mu }({\mathbb {R}}^n)\) (see [1, Theorem 8.40]).\(\square \)
Remark 1.2
Since \((B\circ A^{-1})'\) satisfies (1.1), using (1.5) with \(t=1\) and \({s=\frac{1}{t}}\), we see that there exist two positive constants \(\mu >1\) and K such that
Therefore, the integral \({\int _1^\infty B\circ A^{-1}\left( \frac{1}{t}\right) dt}\) is finite. This property will be used in the proof of Theorem 1.1 in Sect. 3.
In the sequel, we will denote by u a solution of problem (P). In Sect. 2, we recall some well known results about \(A-\)harmonic functions and establish a few Lemmas to pave the way for the proof of Theorem 1.1 which will be given in Sect. 3.
2 Some Auxiliary Lemmas
Let \(x_0\in {\mathbb {R}}^n\) and \(R>0\). For each open ball \(B_R(x_0)\) in \({\mathbb {R}}^n\) of center \(x_0\) and radius R, let v be the unique solution of the following problem:
First, we recall some properties of the solution of problem \((P_0)\).
Lemma 2.1
Proof
See [3], Proof of Lemma 3.1. \(\square \)
Remark 2.1
Using (1.2) and Lemma 2.1, we obtain
Lemma 2.2
There exists a positive constant \(C_1=C_1(n,a_1)\) such that
Proof
See [9], Lemma 5.1.
For each function \(f: {\mathbb {R}}^n \rightarrow {\mathbb {R}}~({\mathbb {R}}^n)\), let and \({(f)_{r}=(f)_{0,r} }\). Then we have the following property of the function v. \(\square \)
Lemma 2.3
There exist two positive constants \(\alpha =\alpha (n,a_1)<1\) and \(C_2=C_2(n,a_1)\) such that we have for any \(r\in (0,R)\)
Proof
See [9], Lemma 5.1. \(\square \)
Remark 2.2
Using (1.6), Remark 2.1, and Jensen’s inequality, we obtain
Combining (2.1) and Lemma 2.3, we obtain
The next lemma is the key tool in the proof of Theorem 1.1.
Lemma 2.4
There exist two positive constants \(\gamma =\gamma (n,a_0,a_1)\) and \(m=m(\alpha ,n,a_0,a_1)\) such that for each \(\delta \in (0,1)\), we have for any \(x_0\in {\mathbb {R}}^n\), \(R>0\) and \(r\in (0,R)\):
The proof of Lemma 2.4 requires several lemmas. \(\square \)
Lemma 2.5
Let \(G\,:\, {\mathbb {R}}^{2n}{\setminus }\{0\}\,\rightarrow \, {\mathbb {R}}\) defined by
Then there exists two positive constants \(c_{a_1,n}\) depending only on n and \(a_1\), and \(C_{a_0,n}\) depending only on n and \(a_0\) such that:
The proof of Lemma 2.5 is based on the following lemma proved in [2] for \(n=2\) and whose proof extends easily to \(n\ge 3\).
Lemma 2.6
Let \(n\geqslant 2\), \(p>1\) and let \(F_p\,:\, {\mathbb {R}}^{2n}{\setminus }\{0\}\,\rightarrow \, {\mathbb {R}}\) defined by
Then, there exists two positive constants \(c(p,n)<C(p,n)\) depending only on p and n such that:
Proof of Lemma 2.5
For \((\xi ,\zeta )\in {\mathbb {R}}^{2n}{\setminus }\{0\}\), we set
It follows that
Then, we have by inequality (1.4)
Note that since \(|tX_0+(1-t)X_1|\le t|X_0|+(1-t)|X_1|\le t+(1-t)=1\) and \( 0< a_0 \le a_1\), we have \(|tX_0+(1-t)X_1|^{a_1} \le |tX_0+(1-t)X_1|^{a_0}.\) Hence we get
which leads to
Now, if we apply Lemma 2.6 with \(p=a_0+1\) and \(p=a_1+1\), we get since \(|X_0|^2+|X_1|^2=1\)
Finally, we obtain
Since the two norms \(|\xi |+|\zeta |\) and \((|\xi |^2+|\zeta |^2)^{1/2}\) are equivalent, the lemma follows using (1.4) \(\square \)
Lemma 2.7
For any \(X, Y\in {\mathbb {R}}^n\), we have:
Proof
Let \(X, Y\in {\mathbb {R}}^n\). First, we have
Next, using (1.7), this leads to
which achieves the proof. \(\square \)
Lemma 2.8
For any \(\delta \in (0,1)\), \(X, Y\in {\mathbb {R}}^n\), we have:
where \(C_3=(1+a_1)C_{a_0,n}\) and \(C_4=(1+a_1)2^{a_1}C_3\)
Proof
Let \(\delta \in (0,1)\), \(X, Y\in {\mathbb {R}}^n\). First, we have
Next, we get by using Lemma 2.5
We observe that we have by (1.2)–(1.4), for \(s, t\ge 0\) since \(\delta \in (0,1)\)
Using (2.2) and (2.3), with \(s=|X-Y|\) and \(t=|X|+|Y|\), we get
Using (1.6), we get from (2.4)
Hence, the lemma follows. \(\square \)
Lemma 2.9
There exist two positive constants \({C_5=\frac{(1+a_1)2^{\frac{a_1}{2}}}{C(A,n)} }\) and
\({C_6=(1+a_1)2^{a_1}\left( 1+(1+a_1)2^{a_1+2}\right) \left( C_5+\frac{1+a_1}{4}\right) }\) such that we have for each \(\eta \in (0,1)\) , \(x_0\in {\mathbb {R}}^n\), \(R>0\) and \(r\in (0,R)\):
Proof
We observe that by translation, it is enough to prove the lemma for \(x_0=0\). Using \(w=(u-v)\chi _{B_R}\) as a test function for problems (P) and \((P_0)\) and subtracting the two equations and using (2.3), we get for \(\eta \in (0,1)\):
or
By (1.2), we can write
where \(E_{1,r}=B_r\cap \{~(|\nabla u|+|\nabla v|)a(|\nabla w|)\le |\nabla w|a(|\nabla u|+|\nabla v|)~\}\) and \(E_{2,r}=B_r\cap \{~(|\nabla u|+|\nabla v|)a(|\nabla w|)>|\nabla w|a(|\nabla u|+|\nabla v|)~\}\).
From the definition of \(E_{1,r}\), we see that
Using the monotonicity of a, the definition of \(E_{2,r}\), and Young’s inequality, we get
Combing (2.6), (2.7), (2.8), and (2.9), and using (1.6) and Remark 2.1, we arrive at
Hence, the lemma follows. \(\square \)
Proof of Lemma 2.4
Let \(\delta \in (0,1)\), \(R>0\) and \(r\in (0,R)\). First, we have by Lemma 2.8 used for \(X=\nabla u(x)\) and \(Y=\nabla u(y)\)
This leads by (1.6) to
Using (1.6) again, we get
Using Jensen’s inequality, we derive
From (2.11) and (2.12), we obtain
Combining (2.10) and (2.13), we obtain
where \({C_7=2C_3(1+ a_1)^22^{2a_1}(1+(1+ a_1)2^{a_1}) }\) and \({C_8=2C_3(1+ a_1)^32^{3a_1} }\).
Finally, by taking into account Remark 2.2 and Lemma 2.8, we obtain from (2.14) for any \(\eta \in (0,1)\)
To conclude the proof, we let \(\gamma =\max (C_5C_7,C_6C_7+C_2C_8(1+a_1)^22^{2a_1+3},2C_4)\), \({m=n+\frac{(\alpha +n)(1+a_1(1+a_1))}{a_0} }\), and choose \(\eta \) such that \({\eta ^{a_0}=\left( {r\over R}\right) ^{\alpha +n} }\) or \(\eta =\left( {r\over R}\right) ^{\frac{\alpha +n}{a_0}} \). Then we obtain
\(\square \)
3 Proof of Theorem 1.1
This section is devoted to the proof of Theorem 1.1. First, we recall that for each function \(f\in L^1({\mathbb {R}}^n)\), the Hardy–Littlewood maximal function associated with f is given by
and the sharp maximal function associated with f is defined by
Proof of Theorem 1.1
We deduce from Lemma 2.4 that we have for every \(\delta \in (0,1)\), \(r>0\), \({R=\frac{r}{\delta ^{\frac{a_1(1+a_1)+a_0+1}{\alpha }} } }\), \({\kappa =a_1(1+a_1)+\frac{m(a_1(1+a_1)+a_0+1)}{\alpha } }\), and \(x_0\in {\mathbb {R}}^n\)
which leads to
Now, let B be a function such that \(B\circ A^{-1}\) is an \(N-\)function and assume that \(F\in C_0^\infty ({\mathbb {R}}^n)\) and \(|\nabla u|\in L^B({\mathbb {R}}^n)\). Then by using (1.6), we obtain from (3.1) (see [6]) for \(\gamma '=\gamma (1+c_1)2^{c_1}\), where \(c_1\) is the equivalent to the constant \(a_1\) for the function \(B\circ A^{-1}\)
By the Hardy–Littlewood maximal theorem (see [7]), we have for some positive constant \(C_9\) depending only upon n, A and B
We deduce then from (3.2), (3.3) and (3.4) that
Now, if we choose \(\delta \) such that \(\delta \in \left( 0, \min \left( 1,\left( 2\gamma ' C_9\right) ^{-\frac{1}{1+a_0}}\right) \right) \), we get
This completes the proof when \(F\in C_0^\infty ({\mathbb {R}}^n)\) and \(|\nabla u|\in L^B({\mathbb {R}}^n)\). Next, we will establish it when \(F\in L^{B}({\mathbb {R}}^n)\). To do that, we consider a sequence \((F_k)_k\) of vector functions in \(C_0^\infty ({\mathbb {R}}^n)\) that converges to F in \(L^{B}({\mathbb {R}}^n)\). We denote by \((u_k)_k\) the sequence of unique solutions of the following problem
Since \(F_k\) has compact support in \({\mathbb {R}}^n\), there exists \(l_k>0\) such that \(\text {suppt}(F_k)\subset B_{l_k}\), and therefore we have for all k
We will prove that \(|\nabla u_k|\in L^B({\mathbb {R}}^n)\). Since \(u_k\in C^1({\mathbb {R}}^n)\), it is enough to show that \({\int _{\{|x|>2l_k\}} B(|\nabla u_k(x)|)\mathrm{d}x<\infty }\). We observe that because of (3.7), we can apply Lemma 2.3 in \(B_{|x|-l_k}(x)\) for each \(x\in {\mathbb {R}}^n{\setminus } B_{2l_k}\)
As observed in Remark 1.2, there exists two positive constants \(\mu \) and K such that
Using (3.8) and (3.9), and taking into account Remark 1.2, we get
It follows that \(|\nabla u_k|\in L^B({\mathbb {R}}^n)\). Therefore, (3.6) is valid for \(u_k\) and we have
Since \(F_k\rightarrow F\) strongly in \(L^B({\mathbb {R}}^n)\), we deduce from (3.10) that we have for some positive integer \(k_0\)
Therefore, \(u_k\) is uniformly bounded in \(W^{1,B}({\mathbb {R}}^n)\) and consequently has a weakly convergent subsequence to some function v in \(W^{1,B}({\mathbb {R}}^n)\). Using Lemma 2.7 with function B, we get
Passing to the limit in (3.11) and taking into account (3.12) and the convergence for the weak topology, we infer that
The proof of the theorem will be complete if we prove that v is a solution of problem (P). To this end, we observe that it is enough to show that \(\Theta (\nabla u_k)\) has a weakly convergent subsequence in \(L^{\widetilde{A}}({\mathbb {R}}^n)\) to \(\Theta (\nabla v)\). The proof is well known for monotone and continuous operators. We give it here for the sake of completeness.
Using \(w=u_k-v\) as a test function for problem \((P_k)\), we get
Now, given that \(\nabla u_k\) is uniformly bounded in \(L^{A}({\mathbb {R}}^n)\), \(\Theta (\nabla u_k)\) is uniformly bounded in \(L^{\widetilde{A}}({\mathbb {R}}^n)\), and, therefore, has a weakly convergent subsequence to some vector function V in \(L^{\widetilde{A}}({\mathbb {R}}^n)\). Moreover, \(u_k\rightharpoonup v\) weakly in \(W^{1,B}({\mathbb {R}}^n)\) and \(F_k\rightarrow F\) strongly in \(L^{B}({\mathbb {R}}^n)\). Therefore, in particular, \(u_k\rightharpoonup v\) weakly in \(W^{1,A}({\mathbb {R}}^n)\) and \(F_k\rightarrow F\) strongly in \(L^{A}({\mathbb {R}}^n)\). Hence, we obtain from (3.14)
At this point, we use (1.7) for \(X=\nabla u_k\) and a vector function \(Y\in L^{A}({\mathbb {R}}^n)\)
Letting \(k\rightarrow \infty \) and taking into account (3.15), one can check that
Now choosing \(Y=\nabla v-\lambda \vartheta \), where \(\lambda \) is a positive number and \(\vartheta \) is an arbitrary vector function in \(\mathcal {D}({\mathbb {R}}^n)\), we obtain
Letting \(\lambda \rightarrow 0\), we get \({\int _{{\mathbb {R}}^n} \big (V-\Theta (\nabla v)\big ). \vartheta \mathrm{d}x\ge 0.}\) Since \(\vartheta \) is arbitrary in \(\mathcal {D}({\mathbb {R}}^n)\), it follows that \(V=\Theta (\nabla v)\) in \({\mathbb {R}}^n\). This achieves the proof. \(\square \)
References
Adams, R.A., Fournier, J.J.F.: Sobolev Spaces, 2nd edn. Academic Press, Berlin (2003)
Alessandrini, G., Sigalotti, M.: Geometric properties of solutions to the anisotropic p-Laplace equation in dimension two. Ann. Acad. Sci. Fenn. Math. 26(1), 249–266 (2001)
Challal, S., Lyaghfouri, A.: Hölder continuity of solutions to the \(A\)-Laplace equation involving measures. Commun. Pure Appl. Anal. 8(5), 1577–1583 (2009)
Challal, S., Lyaghfouri, A., Rodrigues, J.F.: On the \(A\)-obstacle problem and the Hausdorff measure of its free boundary. Ann. Mat. 191, 113–165 (2012)
DiBenedetto, E., Manfredi, J.: On the higher integrability of the gradient of weak solutions of certain degenerate elliptic systems. Am. J. Math. 115(5), 1107–1134 (1993)
Fujii, N.: A proof of the Fefferman–Stein–Strömberg inequality for the sharp maximal functions. Proc. Am. Math. Soc. 106(2), 371–377 (1989)
Gallardo, D.: Orlicz spaces for which the Hardy–Littlewood maximal operator is bounded. Publ. Mat. 32, 261–266 (1988)
Iwaniec, T.: Projections onto gradient fields and \(L^P\)-estimates for degenerate elliptic equations. Stud. Math. 75, 293–312 (1983)
Lieberman, G.M.: The natural generalization of the natural conditions of Ladyzhenskaya and Uraltseva for elliptic equations. Commun. Partial Differ. Equ. 16(2–3), 311–361 (1991)
Musielak, J.: Orlicz Spaces and Modular Spaces. Springer, Berlin (1983)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Lyaghfouri, A. Global Higher Integrability of the Gradient of Weak Solutions of a Quasilinear Elliptic Equation. Mediterr. J. Math. 19, 178 (2022). https://doi.org/10.1007/s00009-022-02095-2
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-022-02095-2