Abstract
We prove continuity and Harnack’s inequality for bounded solutions to the equation
under the precise non-logarithmic condition on the function p(x).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and main results
Let \(\Omega \) be a bounded domain in \({\mathbb {R}}^{n}\), \(n\geqslant 2\). In this paper we are concerned with elliptic equations of the type
We suppose that the functions \({\textbf{A}}:\Omega \times {\mathbb {R}}^{n}\rightarrow {\mathbb {R}}^{n}\) are such that \({\textbf{A}}(\cdot ,\xi )\) are Lebesgue measurable for all \(\xi \in {\mathbb {R}}^{n}\), and \({\textbf{A}}(x,\cdot )\) are continuous for almost all \(x\in \Omega \). We assume also that the following structure conditions are satisfied
where \(K_{1}\), \(K_{2}\) are positive constants,
\({\bar{p}}>1\) and \(L > 0\).
The aim of this paper is to establish basic qualitative properties such as continuity of bounded solutions and Harnack’s inequality for non-negative bounded solutions to equation (1.1).
Before formulating the main results, we say few words concerning the history of the problem. The study of regularity of minima of functionals with non-standard growth has been initiated by Zhikov [51,52,53,54, 56], Marcellini [36, 37], and Lieberman [35], and in the last thirty years, the qualitative theory of second order elliptic and parabolic equations with so-called ”logarithmic” condition, i.e. if
has been actively developed (see e.g. [1,2,3, 5, 6, 9,10,11,12,13,14,15,16, 20,21,22, 25,26,30, 39, 45,46,47, 49] for references). Equations of this type and systems of such equations arise in various problems of mathematical physics (see e.g. the monographs [8, 25, 40, 50] and references therein).
The case when condition (1.4) is replaced by the condition
differs substantially from the logarithmic case. It turns out that such non-logarithmic condition is a precise condition for the smoothness of finite functions in the corresponding Sobolev space \(W^{1,p(x)}(\Omega )\). Thus this case is extremely interesting to study. But to our knowledge there are only few results in this direction. Zhikov [55] obtained a generalization of the logarithmic condition which guaranteed the density of smooth functions in Sobolev space \(W^{1,p(x)}(\Omega )\). Particularly, this result holds if \(1<{\bar{p}}\leqslant p(x)\) and
Later Zhikov and Pastukhova [57] proved higher integrability of the gradient of solutions to the p(x)-Laplace equation under the same condition.
Interior continuity, continuity up to the boundary and Harnack’s inequality to the p(x)-Laplace equation were proved in [4, 7] and [48] under condition (1.5) and
with some numbers \(\gamma , c >1\). For example, the function \(\mu (r)= L\,\log \log \log \dfrac{1}{r}\) satisfies conditions (1.5), (1.7), provided that L is a sufficiently small positive number.
The results from [4, 7, 48] were generalized in [41, 46] for a wide class of elliptic and parabolic equations with non-logarithmic Orlicz growth. Particularly, it was proved in [46] that under conditions (1.5), (1.7) functions from the correspondent De Giorgi’s \({\mathcal {B}}_{1}(\Omega )\) classes are continuous and moreover, it was shown that the solutions of the correspondent elliptic and parabolic equations with non-standard growth belong to these classes.
The exponential condition of the type (1.7) was substantially refined in [24]. Particularly, the continuity of solutions to double-phase and degenerate double-phase elliptic equations
and
was proved under the conditions
Note that the function \(\mu (r)=\log \dfrac{1}{r}\) satisfies the above conditions. In the present paper the continuity and the Harnack’s type inequality have been proved under the conditions similar to (1.6).
Before formulating the main results, let us recall the definition of a bounded weak solution to equation (1.1). We introduce \(W(\Omega )\) as a class of functions \(u\in W^{1,1}(\Omega )\), such that \(\int \limits _{\Omega }\mid \nabla u\mid ^{p(x)}\,dx<+\infty \), and \(W_{0}(\Omega ) = W(\Omega ) \cap W^{1,1}_{0}(\Omega ).\)
Definition 1
We say that a function \(u\in W(\Omega )\cap L^{\infty }(\Omega )\) is a bounded weak sub(super)-solution to equation (1.1) if
holds for all non-negative test functions \(\varphi \in W_{0}(\Omega )\).
The following Theorem is the first main result of this paper.
Theorem 1.1
Let u be a bounded weak solution of Eq. (1.1) and let conditions (1.2), (1.3) be fulfilled, then u is Hölder continuous at point \(x_{0}\).
The next result is a weak Harnack type inequality for non-negative super-solutions.
Theorem 1.2
Let u be a bounded non-negative weak super-solution to Eq. (1.1), let conditions (1.2), (1.3) be fulfilled. Assume also that
then there exist numbers \(\gamma , {\bar{\gamma }} >0\) depending only on \(n, {\bar{p}}, K_{1}, K_{2}\) and \(M=\sup \limits _{\Omega } u\), such that for any \(\theta \in (0, {\bar{p}}-1)\) there holds
provided that \(B_{16\rho }(x_{0})\subset \Omega \) and
The following Theorem is Harnack’s inequality
Theorem 1.3
Let u be a bounded non-negative weak sub-solution to Eq. (1.1), let conditions (1.2), (1.3) be fulfilled. Assume also that the monotonicity condition (1.9) holds. Then there exist positive numbers \(\gamma \), \({\bar{\gamma }}_{1}\) depending only on \(n, {\bar{p}}, K_{1}, K_{2}, M\) such that for any \(\theta \in (0,{\bar{p}}-1)\)
provided that \(B_{16\rho }(x_{0})\subset \Omega \) and
Particularly, if u is a bounded non-negative weak solution to Eq. (1.1), then
provided that \(B_{16\rho }(x_{0})\subset \Omega \) and
where \({\bar{\gamma }} >0\) is the constant defined in Theorem 1.2.
In the present paper, we substantially refine the results of [4, 7, 41, 45, 46, 48]. We would like to mention the approach taken in this paper. To prove the interior continuity we use De Giorgi’s approach. Let us consider the standard De Giorgi’s class \(DG_{p(\cdot )}(\Omega )\) of functions u which corresponds to equation (1.1):
\(B_{16r}(x_{0})\subset \Omega \) and \(\zeta (x)\) is the correspondent cut-off function for the ball \(B_{r}(x_{0})\), namely, \(\zeta \in C_{0}^{\infty }(B_{r}(x_{0}))\), \(0\leqslant \zeta \leqslant 1\), \(\zeta =1\) in \(B_{r(1-\sigma )}(x_{0})\), \(\mid \nabla \zeta \mid \leqslant (\sigma r)^{-1}\). Using the Young inequality, by conditions (1.5) we have
This estimate leads us to condition (1.7) (see, e.g. [45, 46]). It is easy to see that condition (1.7) fails for the function \(\mu (r)=L\log \log \frac{1}{r}\). To avoid this, using the Young inequality and our choice of p(x) we rewrite inequality (1.16) as
It appears that the weight \(\bigg (\dfrac{M^{\pm }_r(u,k)}{r}\bigg )^{\ell (\mid x-x_{0}\mid )}\) satisfies the Muckenhoupt type properties. In Sect. 2 we define the correspondent weighted De Giorgi’s classes by inequalities (1.17) and prove the Hölder continuity at point \(x_{0}\) for the functions which belong to these classes.
The main difficulty arising in the proof of the Harnack type inequalities is related to the so-called theorem on the expansion of positivity. Roughly speaking, having information on the measure of the “positivity set” of u over the ball \(B_{r}({\overline{x}}) \subset B_{\rho }(x_{0}) \):
with some \(r>0\), \(s>0\) and \(\gamma > 1\), and using the standard De Giorgi’s or Moser’s arguments, we inevitably arrive at the estimate
with some \(\gamma \), \(c >1\). This estimate leads us to condition (1.7) (see, e.g. [41, 46]). Note that we can not use the classical approach of Krylov and Safonov [31], DiBenedetto and Trudinger [19], as it was done in [9] under the logarithmic conditions. We also can not use the local clustering lemma of DiBenedetto, Gianazza and Vespri [17] (see also [18, 49] ). Difficulties arise not only due to the constant \(\alpha (r)\) which depends on r, but also when an additional term, that couldn’t be estimated, occurs during the process of iteration from \(B_{r}({\bar{x}})\) to \(B_{\rho }(x_{0})\). To overcome it, we use a workaround that goes back to Mazya [38] and Landis [33, 34] papers.
We will demonstrate our approach on the p-Laplacian. Fix \(x_{0}\in \Omega \) and let \(0<r<\rho \), \(E\subset B_{r}(x_{0})\subset B_{\rho }(x_{0})\), \(B_{16\rho }(x_{0})\subset \Omega \) and consider solution \(v:=v(x,s)\) of the following problem:
where \(s >0\) is some fixed number, and \(\psi \in W^{1,p}_{0}(B_{16\rho }(x_{0}))\), \(\psi =1\) on E.
By the well-known estimate (see e.g. [23]) we have
where \(C_{p}(E)\) is a capacity of the set E. By the Poincare inequality from the previous we obtain
Let u be a non-negative bounded super-solution to the p-Laplace equation in \(\Omega \) and construct the set
Consider also a solution v of the problem (1.18), (1.19) with E replaced by \(E(\rho , s)\). Then since \( u\geqslant v\) on \(\partial {\mathcal {D}}\), by the maximum principle and by (1.20) we obtain
which by standard arguments yields for any \(\theta \in (0, p-1)\)
from which the weak Harnack type inequality follows.
In Sects. 3, 4 we adapt this simple idea to the case of p(x)-Laplacian with non-logarithmic growth. The weight
which naturally arises in the proof of Theorem 1.2 also satisfies a Muckenhoupt-type conditions.
Remark 1
It was unexpected for authors that the modulus of continuity and the constants in the Harnack type inequalities do not depend on the additional term \(\log \log \dfrac{1}{r}\) (usually, there is a dependency, see e.g. [7, 24, 46, 48]).
The rest of the paper contains the proof of the above theorems.
2 Elliptic DG classes, proof of Theorem 1.1
In this Section we define the following De Giorgi’s classes.
Definition 2
We say that a measurable function \(u: B_{R}(x_{0})\rightarrow {\mathbb {R}}\) belongs to the elliptic class \(D G(B_{R}(x_{0}))\) if \(u\in W^{1,{\bar{p}}}(B_{R}(x_{0}))\cap L^{\infty }(B_{R}(x_{0}))\), \(\mathop {{{\,\mathrm{ess\,sup}\,}}}\limits _{B_{R}(x_{0})} \mid u\mid \leqslant M\) and there exists numbers \(1<{\bar{p}}<q\), \(c_{1}>0\) such that for any ball \(B_{8r}(x_{0})\subset B_{R}(x_{0})\), any \(k\in {\mathbb {R}}\), \(\mid k\mid <M\), any \(\sigma \in (0,1)\), for any \(\zeta \in C_{0}^{\infty }(B_{r}(x_{0}))\), \(0\leqslant \zeta \leqslant 1\), \(\zeta =1\) in \(B_{r(1-\sigma )}(x_{0})\), \(\mid \nabla \zeta \mid \leqslant (\sigma r)^{-1}\), the following inequalities hold:
here \((u-k)_{\pm }:=\max \{\pm (u-k), 0\}\), \(A^{\pm }_{k,r}:=B_{r}(x_{0})\cap \{(u-k)_{\pm }>0\}\),
\(M^{\pm }_r(u,k):=\sup \limits _{B_{r}(x_{0})} (u-k)_{\pm }\) and \(\ell (\mid x-x_{0}\mid ):=L\dfrac{\log \log \frac{1}{\mid x-x_{0}\mid }}{\log \frac{1}{\mid x-x_{0}\mid }}, \quad L>0\).
We refer to the parameters \(c_{1}\), n, \({\bar{p}}\), q and M as our structural data, and we write \(\gamma \) if it can be quantitatively determined a priory in terms of the above quantities. The generic constant \(\gamma \) may change from line to line.
Our main result of this Section reads as follows:
Theorem 2.1
Let \(u\in D G(B_{R}(x_{0}))\), then u is Hölder continuous at \(x_{0}\).
We note that the solutions of Eq. (1.1) belong to the corresponding \(D G(B_{R}(x_{0}))\) classes, provided that \(B_{2R}(x_{0}) \subset \Omega \). We test identity (1.8) by \(\varphi =(u-k)_{\pm }\zeta ^{q}(x)\), by the Young inequality we obtain
From this, using again the Young inequality
from which the required (2.1) follows.
2.1 Auxiliary propositions
For \(k\in {\mathbb {R}}\) and \(0<r< R\) set \(w^{\pm }_r(x,u,k):= \bigg (\dfrac{M^{\pm }_r(u,k)}{r}\bigg )^{\ell (\mid x-x_{0}\mid )}\), further we need the following lemmas
Lemma 2.2
There exists \(C>0\) depending only on the data, such that for any \(u\in D G(B_{R}(x_{0}))\) and for any \(t>0\) the following inequalities hold
provided that
Proof
To prove inequalities (2.2), (2.3) we just need to check
for \(t>0\). The left inequality in (2.5) and the right inequality in (2.6) are obvious due to the fact that \(\ell (\mid x-x_{0}\mid )\) is increasing if \(x\in B_{r}(x_{0})\) and r is sufficiently small. Let us check the right inequality in (2.5). Integrating by parts, using the fact that \(\dfrac{\log \log \frac{1}{s}}{\log ^{2}\frac{1}{s}}\) is increasing on the interval (0, r), we obtain
provided that \(\gamma \,t\,L\, \dfrac{\log \log \frac{1}{r}}{\log \frac{1}{r}}\leqslant \dfrac{1}{2},\) \(r \leqslant M^{\pm }_r(u,k) \leqslant 1\), from which the required inequality follows.
Similarly,
from which the left inequality in (2.6) follows, provided that \(\gamma \,t\,L\, \dfrac{\log \log \frac{1}{r}}{\log \frac{1}{r}}\leqslant \dfrac{1}{2},\)
\(r\leqslant M^{\pm }_r(u,k)\leqslant 1\), which completes the proof of the lemma. \(\square \)
In the sequel we also need the following lemma
Lemma 2.3
There exist \(C_{1}>0\), \(\kappa _{1} >1 \) such that for any \(u\in D G(B_{R}(x_{0}))\) and any \(\varphi \in W_{0}(B_{r}(x_{0}))\) the following inequality holds
provided that
Here
Proof
Inequality (2.7) is a consequence of (2.5), (2.6) and Sobolev embedding theorem. Indeed, using the Hölder inequality, if \(0< \delta < \frac{{\bar{p}}}{{\bar{p}}+n}\) and \(1<\kappa _{1} <\frac{n(1-\delta )}{n-{\bar{p}}(1-\delta )}\), we obtain with \(t=\frac{n(1-\delta )}{n(1-\delta )-\kappa _{1}(n-{\bar{p}}(1-\delta ))}>1\)
Choosing \(C_{1}=t\,C\), we arrive at the required (2.7), which completes the proof of the lemma. \(\square \)
2.2 De Giorgi Type Lemma
Let \(B_{8r}(x_{0})\subset B_{R}(x_{0})\) and let \(\mu ^{+}_{r}\geqslant \mathop {{{\,\mathrm{ess\,sup}\,}}}\limits _{B_{r}(x_{0})}u,\ \mu ^{-}_{r}\leqslant \mathop {{{\,\mathrm{ess\,inf}\,}}}\limits _{B_{r}(x_{0})}u,\ \omega _{r}:=\mu ^{+}_{r}-\mu ^{-}_{r}\).
Lemma 2.4
Let \(u\in D G(B_{R}(x_{0}))\) and fix \(\xi \in \big (0,\frac{1}{2M}\big )\). Then there exists \(\nu \in (0,1)\) depending only on n, \({\bar{p}}\), q, \(c_{1}\) and M, such that if
then either
or
provided that
where \(C_{1}\) is the constant defined in Lemma 2.3.
Likewise, if
then either (2.10) holds, or
provided that (2.12) is valid.
Proof
We provide the proof of (2.11), while the proof of (2.14) is completely similar. For \(j=0,1,2,\ldots \) we set \(r_{j}:=\dfrac{r}{2}(1+2^{-j})\), \(k_{j}:=\mu ^{+}_{r}- \dfrac{\xi }{2}\,\omega _{r}- \xi \,\omega _{r}2^{-j-1}\), let \(\zeta _{j}(x)\in C^{\infty }_{0}(B_{r_{j}}(x_{0})),0\leqslant \zeta _{j}(x)\leqslant 1, \zeta _{j}(x)=1\) for \(x\in B_{r_{j+1}}(x_{0})\) and set \(A_{j}:=B_{r_{j}}(x_{0})\cap \{u \geqslant k_{j}\}\). Further we will assume that \(\sup \limits _{B_{\frac{r}{2}}(x_{0})}(u-k_{\infty })_{+} \geqslant \dfrac{\xi }{4} \omega _{r}\), because otherwise inequality (2.11) is evident. We note that
If (2.10) is violated, then condition (2.8) holds due to (2.12) and the choice of \(\xi \),
\(r_{j}\leqslant \sup \limits _{B_{r_{j}}}(u-k_{j})_{+}\leqslant 1\). So, by Lemma 2.3 and inequality (2.1) we have
which implies
from which by standard arguments (see e.g. [32]) the required (2.11) follows, provided that \(\nu \) is chosen to satisfy \(\nu \leqslant \gamma ^{-1}\). This completes the proof of the lemma. \(\square \)
2.3 Expansion of the Positivity
To prove our next result we need the following lemma.
Lemma 2.5
Let \(k < l\), \(0< \delta <1-\frac{1}{{\bar{p}}}\), \(u \in D G(B_{R}(x_{0}))\), \(\varphi \in W^{1,{\bar{p}}(1-\delta )}(B_{r}(x_{0}))\), then
provided that
here \(C>1\) is the constant, defined in Lemma 2.2.
Proof
Let . Using the Poincare inequality and inequality (2.3) with \(t=\frac{1}{{\bar{p}}(1-\delta )-1}\) we get
Take \(v=0\), if \(\varphi < k\), \(v= \varphi -k\), if \(k< \varphi < l\), \(v= l -k\), if \(\varphi > l\). We evidently have \(\{v\}_{r} \leqslant (l-k) \dfrac{\mid A^{+}_{k,r}\mid }{\mid B_{r}(x_{0})\mid }\), hence
from which the required inequality (2.15) follows. The proof of (2.16) is completely similar. \(\square \)
Lemma 2.6
(Expansion of the Positivity) Let \(u\in D G(B_{R}(x_{0}))\), fix \(\xi \in (0,\frac{1}{2M})\) and assume that with some \(\alpha \in (0,1)\) there holds
Then there exists number \(s_{*}\) depending only on n, \({\bar{p}}\), q, \(c_{1}\), M, \(\alpha \) and \(\xi \) such that either
or
provided that
Likewise, if
then there exists number \(s_{*}\) depending only on n, \({\bar{p}}\), q, \(c_{1}\), M, \(\alpha \) and \(\xi \), such that either (2.19) holds or
provided that (2.21) holds.
Proof
We provide the proof of (2.20), while the proof of (2.23) is completely similar. We set \(k_{s}:=\mu _{r}^{+}-\dfrac{\omega _{r}}{2^{s}}\), \(s=\big [\log \frac{1}{\xi }\big ]+1, \ldots ,s_{*}-1\), where \(s_{*}\) is large enough to be chosen later, [a] denotes the integer part of a number a. We will assume that \(\sup \limits _{B_{\frac{r}{2}}(x_{0})}(u-k_{s_{*}})_{+}\geqslant \dfrac{\omega _{r}}{2^{s_{*}+1}}\), since otherwise inequality (2.20) is evident. If inequality (2.19) is violated, then Lemma 2.6 with \(l=k_{s+1}\) and \(k=k_{s}\) yields
From this, by inequality (2.1) we obtain
By our choice and (2.21) we have
therefore \(S^{+}_{u,k_{s+1},r}(A^{+}_{k_{s+1},r})\geqslant \gamma ^{-1} S^{+}_{u,k_{s_{*}},r}(A^{+}_{k_{s_{*}},r})\) and \(S^{+}_{u,k_{s+1},r}(B_{r}(x_{0})) + S^{+}_{u,k_{s},r}(B_{2r}(x_{0}))\leqslant \gamma \, S^{+}_{u,k_{s_{*}},r}(B_{r}(x_{0}))\), \(s=\big [\log \frac{1}{\xi }\big ]+1, \ldots ,s_{*}-1\), so from the previous relation we have
Summing up these inequalities over \(s=\big [\log \frac{1}{\xi }\big ]+1, \ldots ,s_{*}-1\), we conclude that
Using inequality (2.2) from the last inequality we arrive at
Choosing \(s_{*}\) by the condition \(\gamma (\alpha )\Big (s_{*}-\Big [\log \frac{1}{\xi }\Big ]-1\Big )^{-\frac{\delta }{{\bar{p}}(1-\delta )}}=\nu \) and using Lemma 2.4 we obtain (2.20), which proves Lemma 2.6. \(\square \)
2.4 Proof of Theorems 1.1, 2.1
To complete the proof of Theorems 1.1 and 2.1 we fix R by the condition
where \(s_{*}\) is the number defined in Lemma 2.6, and assume that the following two alternative cases are possible:
or
for any \(0<r< \rho < R\). Assume, for example, the first one holds. Then by Lemma 2.6 we obtain
Iterating this inequality, we have
3 Upper and lower estimates of auxiliary solutions
In this Section we prove upper and lower bounds for auxiliary solutions \(v:=v(x,m)\) to the problem
where \(0 <m \leqslant M\) is some fixed number, and \(\psi \in W_{0}(B_{16\rho }(x_{0}))\), \(\psi =1\) on E. The existence of the solutions v follows from the general theory of monotone operators. We will assume that the following integral identity holds:
Testing (3.1) by \(\varphi =(v-m)_{+}\) and by \(\varphi =v_{-}\) and using condition (1.9), we obtain that \(0\leqslant v\leqslant m\leqslant M\).
For \(\rho<\rho _{1}<\rho _{2}\leqslant 16\rho \) we set:
Note that similarly to (2.5), (2.6), for all \(\rho _{1}\in (\rho , 16\rho )\) there hold
provided that
where \({\bar{C}}=\max (C, C_{1})\) and C, \(C_{1}\) are the constants defined in Lemmas 2.2, 2.3. Therefore Lemmas 2.2, 2.3 continue to hold in \(K(\rho _{1},16\rho )\) with \(w^{\pm }_r(x,u,k)\) replaced by \({\widehat{w}}_{\rho _{1}}(x,v)\).
To formulate our results, we need the notion of the capacity. Let \(E\subset B_{r}(x_{0})\subset B_{\rho }(x_{0})\) and for any \(m>0\) set
where the infimum is taken over the set \({\mathfrak {M}}(E)\) of all functions \(\varphi \in W_{0}(B_{16\rho }(x_{0}))\) with \(\varphi \geqslant 1\) on E. If \(m=1\), this definition leads to the standard definition of \(C_{p(\cdot )}(E, B_{16\rho }(x_{0}))\) capacity (see, e.g. [3]).
3.1 Upper bound for the function v
We note that in the standard case (i.e. if \(L=0\)) the upper bound for the function v was proved in [42] (see also [43, Chap. 8, Sec. 3], [44]).
Lemma 3.1
There exists positive number \(\gamma _{1}\) depending only on the data such that if
then
provided that
Proof
First, we prove inequality on the right-hand side of (3.6). Fix \(\sigma \in (0,1/4)\) and for any \(s\in (5/4\rho , 2\rho (1-\sigma ))\), \(j=0,1,2,....\) set \(\rho ^{(1)}_{j}:=s(1+\sigma -\sigma 2^{-j})\),
\(K_{j}:=K(\rho ^{(1)}_{j}, 16\rho )\), \(k_{j}:=k- k\,2^{-j}\), \(k>0\), \(A_{j}:=K_{j}\cap \{v> k_{j}\}\), \(M_{j}:= \sup \limits _{K_{j}} v\) and let \(\zeta _{j}\in C^{\infty }(B_{16\rho }(x_{0}))\), \(0\leqslant \zeta _{j}\leqslant 1\), \(\zeta _{j}=0\) in \(B_{\rho ^{(1)}_{j}}(x_{0})\), \(\zeta _{j}=1\) in \(K_{j+1}\), \(\mid \nabla \zeta _{j}\mid \leqslant \gamma \,2^{j}\big (\sigma \rho \big )^{-1}\). Further, we will assume that
since otherwise, by (3.5) inequality (3.6) is evident, moreover this inequality yields
Testing (3.1) by \(\varphi =(v-k_{j+1})_{+}\,\zeta _{j}^{\,q}\) and using the Young inequality we obtain
Using again the Young inequality, assuming that \(k > \varepsilon _{0}\,M_{0}\), where \(\varepsilon _{0}\in (0, 1)\) is small enough, from the previous we have
Choose \(\gamma _{1}>0\) large enough, by our assumption Lemma 2.3 is applicable, therefore from this we obtain
Hence, setting \(M_{\sigma }:=M_{\infty }\), by standard arguments (see, e.g. [32]) and by our choice, we arrive at
Let us estimate the second term on the right-hand side of (3.8). For this we set \(v_{M_{0}}:=\min \{v, M_{0}\}\), by Lemma 2.3 we have for any \(\varepsilon \in (0,1)\)
Collecting the last two inequalities we obtain
Let us estimate the second term on the right-hand side of (3.9). Let \(\psi \in {\mathfrak {M}}(E)\) be such that
Testing identity (3.1) by \(\varphi =v-m\psi \), by the Young inequality we obtain
Testing (3.1) by \(\varphi =v_{M_{0}}-\dfrac{M_{0}}{m}\,v\), using the Young inequality and the previous inequality, we have
This inequality, the Young inequality and (3.9) imply that
Iterating the last inequality, choosing \(\varepsilon _{0}\) and then \(\varepsilon =\varepsilon (\varepsilon _{0})\) small enough, by (3.5) we arrive at
which completes the proof of the lemma.
Now we prove inequality on the left-hand side of (3.6). Let \(\zeta _{1}\in C_{0}^{\infty }(B_{4\rho }(x_{0}))\), \(0\leqslant \zeta _{1}\leqslant 1\), \(\zeta _{1}=1\) in \(B_{2\rho }(x_{0})\), \(\mid \nabla \zeta _{1}\mid \leqslant \dfrac{\gamma }{\rho }\). Testing (3.1) by \(\varphi =v-m\,\zeta _{1}^{\,q}\), using the Young inequality, we obtain for any \(\varepsilon _{1} >0\)
Let \(\zeta _{2}\in C_{0}^{\infty }(K(\frac{3}{2}\rho ,\, 6\rho ))\), \(0\leqslant \zeta _{2}\leqslant 1\), \(\zeta _{2}=1\) in \(K(2\rho ,\, 4\rho )\), \(\mid \nabla \zeta _{2}\mid \leqslant \dfrac{\gamma }{\rho }\). Testing (3.1) by \(\varphi =v\,\zeta _{2}^{\,q}\) and using the Young inequality, we estimate the first term on the right-hand side of the previous inequality as follows:
Combining the last two inequalities and using the definition of capacity, we obtain
Choose \(\varepsilon _{1}\) from the condition \(\varepsilon _{1}=\dfrac{{\widehat{M}}_{\frac{3}{2}\rho }(v)}{\rho }\), then inequality (3.10) yields
from which the required inequality follows, this completes the proof of the lemma. \(\square \)
3.2 Lower bound for the function v
Further we need the following lemma.
Lemma 3.2
Let condition (3.5) holds, then there exists \(\varepsilon \in (0,1)\) depending only on the data such that
provided that inequality (3.7) holds, here \(\chi [F]\) is the characteristic function of the set F.
Proof
To prove (3.11) we use inequality (3.10). Choose \(\varepsilon _{1}\) from the condition \(\varepsilon _{1}={\bar{\varepsilon }}_{1} \dfrac{{\widehat{M}}_{\frac{3}{2}\rho }(v)}{\rho },\ {\bar{\varepsilon }}_{1}\in (0,1)\), then by Lemma 3.1 the terms on the right-hand side of (3.10) are estimated as follows
Similarly, by Lemma 3.1
Collecting estimates (3.10), (3.12), (3.13) we obtain
Choosing \({\bar{\varepsilon }}_{1}\) by the condition \(\gamma {\bar{\varepsilon }}_{1} =\dfrac{1}{4}\) and then choosing \(\varepsilon \) by the condition \(\gamma \,\dfrac{\varepsilon ^{{\bar{p}}}}{{\bar{\varepsilon }}_{1}}=\dfrac{1}{4}\), from the previous we arrive at
which completes the proof of the lemma. \(\square \)
The following lemma is the main result of this Section
Lemma 3.3
There exists \({\bar{\varepsilon }} \in (0,1)\) depending only on the data such that either
or
provided that inequality (3.7) holds.
Proof
Lemma 3.3 is a consequence of Lemma 3.2, for this we first estimate the capacity of the set E from below. Let \(\varphi \in W_{0}(B_{16\rho }(x_{0})), \varphi =1 \) on E, then by Lemmas 2.2, 2.3, 3.1 and using the evident inequalities \(\gamma ^{-1} {\widehat{S}}_{v}\left( K\big (\frac{3}{2}\rho ,16\rho \big )\right) \leqslant \int \limits _{B_{16\rho }(x_{0})}{\widehat{w}}_{\frac{3}{2}\rho }(x,v)\,dx \leqslant \gamma {\widehat{S}}_{v}\left( K\big (\frac{3}{2}\rho ,16\rho \big )\right) \) we have
Since \(\varphi \) is arbitrary, estimate (3.16) yields
If inequality (3.14) is violated then
so, if \({\bar{\varepsilon }}\) is sufficiently small, from the previous we arrive at
And hence
provided that (3.14) is violated and \({\bar{\varepsilon }}\) is sufficiently small. Now we use Lemma 3.2 for this we set \(F:=\big \{K(\frac{3}{2}\rho ,16\rho ): v \geqslant {\bar{\varepsilon }}\,m\,\bigg (\dfrac{\mid E\mid }{\mid B_{\rho }(x_{0})\mid }\bigg )^{\frac{1}{{\bar{p}}-1}}\big \}\). We have by Lemmas 2.2 and 3.2
which completes the proof of the lemma. \(\square \)
4 Harnack’s inequality, proof of Theorems 1.2 and 1.3
4.1 Weak Harnack inequality, proof of Theorem 1.2
For \(0<s<M\) set \(E(\rho ,s):=\big \{B_{\rho }(x_{0}): u\geqslant s \big \}.\) As it was mentioned in Sect. 1 Theorem 1.2 is a simple consequence of the following lemma
Lemma 4.1
Let u be a non-negative bounded super-solution to equation (1.1) in \(\Omega \) and let condition (1.9) be fulfilled, then there exist positive numbers \(C_{2}, C_{3}\) depending only on the data such that
provided that \(B_{16\rho }(x_{0})\subset \Omega \) and
Proof
We construct the solution v of the problem (3.1) in \({\mathcal {D}}=B_{16\rho }(x_{0})\setminus E(\rho ,s)\), since \(u\geqslant v\) on \(\partial {\mathcal {D}}\), by (1.9) \(u\geqslant v\) in \({\mathcal {D}}\). First we use Lemma 3.3, if inequality (3.14) is violated, i.e. if
by Lemma 3.3 there holds
provided that
Now we use Lemma 2.6 with \(r=16 \rho \), \(\mu _{-}=0\) and \(\xi \,\omega _{r}={\bar{\varepsilon }}\,s\,\bigg (\dfrac{\mid E(\rho ,s)\mid }{\mid B_{\rho }(x_{0})\mid }\bigg )^{\frac{1}{{\bar{p}}-1}}\), we obtain that
provided that
Choosing \(C_{2}, C_{3}\) sufficiently large, collecting (4.3)–(4.6) we arrive at (4.1), which completes the proof of the lemma. \(\square \)
To complete the proof of Theorem 1.2 set \(m(\rho /2):= \rho /2 + \inf \limits _{B_{\frac{\rho }{2}}(x_{0})} u \), then by Lemma 4.1 for \(\theta \in (0, {\bar{p}}-1)\) we have
provided that
which completes the proof of Theorem 1.2.
4.2 Proof of Theorem 1.3
The proof of Theorem 1.3 is almost standard.
For fixed \(\sigma \in (0,1/8), s\in (3/4\rho , 7/8\rho ), k>0\) and \(j= 0, 1, 2,...\) set
\(k_{j}:= k- k 2^{-j}, \rho _{j}:= s(1-\sigma +\sigma 2^{-j}), {\bar{\rho }}_{j}:=\dfrac{1}{2}(\rho _{j}+\rho _{j+1}), B_{j}:=B_{\rho _{j}}(x_{0})\),
\({\bar{B}}_{j}:=B_{{\bar{\rho }}_{j}}(x_{0})\) and let \(M_{0}:=\sup \limits _{B_{0}} u, M_{\sigma }:=\sup \limits _{B_{\infty }} u\). Denote by \(\zeta _{j}\) a non-negative piecewise smooth cutoff function in \({\bar{B}}_{j}\) that equals one on \(B_{j+1}\), such that \(\mid \nabla \zeta _{j}\mid \leqslant \gamma \dfrac{2^{j}}{\sigma \rho }.\) Set also \(w_{0}(x):=\bigg (1+\dfrac{M_{0}}{\rho _{0}}\bigg )^{\ell (\mid x-x_{0}\mid )}\) and \(w_{0}(F):= \int \limits _{F}\,w_{0}(x)\,dx\). Evidently, we have \(\bigg (\dfrac{M_{0}}{\rho _{0}}\bigg )^{\ell (\mid x-x_{0}\mid )} \leqslant w_{0}(x) \leqslant \gamma \bigg (\dfrac{M_{0}}{\rho _{0}}\bigg )^{\ell (\mid x-x_{0}\mid )} \), if \(M_{0} \geqslant \rho _{0}\).
Note that similarly to (2.5), (2.6) there hold
provided that
where \({\bar{C}}=\max (C, C_{1})\) and C, \(C_{1}\) are the constants defined in Lemmas 2.2, 2.3. Therefore Lemmas 2.2, 2.3 continue to hold in \(B_{0}\) with \(w^{\pm }_r(x,u,k)\) replaced by \(w_{0}(x)\).
Further we will assume that \(M_{0} \geqslant \rho _{0}.\)
Test identity (1.8) by \(\varphi =(u-k_{j+1})_{+}\,\zeta ^{q}_{j}\), then
From this by the Young inequality, assuming that \(k> \varepsilon _{0}\,M_{0}\), \(\varepsilon _{0}\in (0, 1)\) is small enough, we obtain
provided that (4.9) holds. From this similarly to (3.8) we obtain
Let us estimate the second term on the right-hand side of (4.10), using Lemma 2.2 we obtain for any \(0< \theta <{\bar{p}}\) and any \(\varepsilon \in (0, 1)\)
which together with (4.10) yield
Choosing \(\varepsilon _{0}\), \(\varepsilon \) small enough, iterating this inequality and taking into account our choices we arrive at
provided that (4.9) is valid. This proves inequality (1.12).
Collecting estimates (1.10), (1.12) with \(\theta =\frac{1}{2}({\bar{p}}-1),\) we arrive at
which completes the proof of Theorem 1.3.
References
Alkhutov, Yu.A.: The Harnack inequality and the Hölder property of solutions of nonlinear elliptic equations with a nonstandard growth condition (Russian), Differ. Uravn. 33(12), 1651–1660 (1997); translation in Differ. Equ. 33(12), 1653–1663 (1997) (1998)
Alkhutov, Yu.A.: On the Hölder continuity of \(p(x)\)-harmonic functions. Sb. Math. 196(1–2), 147–171 (2005)
Alkhutov, Yu.A., Krasheninnikova, O.V.: Continuity at boundary points of solutions of quasilinear elliptic equations with a nonstandard growth condition. Izv. Ross. Akad. Nauk Ser. Mat. 68(6), 3–60 (2004) (in Russian)
Alkhutov, Yu.A., Krasheninnikova, O. V.: On the continuity of solutions of elliptic equations with a variable order of nonlinearity (Russian), Tr. Mat. Inst. Steklova 261 (2008), Differ. Uravn. i Din. Sist. 7–15; translation in Proc. Steklov Inst. Math. 261(1–10) (2008)
Alkhutov, Yu.A., Surnachev, M.D.: A Harnack inequality for a transmission problem with \(p(x)\)-Laplacian. Appl. Anal. 98(1–2), 332–344 (2019)
Alkhutov, Yu.A., Surnachev, M.D.: Harnack’s inequality for the \(p(x)\)-Laplacian with a two-phase exponent \(p(x)\). J. Math. Sci. (N.Y.) 244(2), 116–147 (2020)
Alkhutov, Yu.A., Surnachev, M.D.: Behavior at a boundary point of solutions of the Dirichlet problem for the \(p(x)\)-Laplacian (Russian). Algebra i Analiz 31(2), 88–117 (2019); translation in St. Petersburg Math. J. 31(2), 251–271 (2020)
Antontsev, S.N., Díaz, J.I., Shmarev, S.: Energy methods for free boundary problems. Applications to nonlinear PDEs and fluid mechanics. In: Progress in Nonlinear Differential Equations and their Applications, vol. 48. Birkhauser Boston, Inc., Boston (2002)
Baroni, P., Colombo, M., Mingione, G.: Harnack inequalities for double phase functionals. Nonlinear Anal. 121, 206–222 (2015)
Baroni, P., Colombo, M., Mingione, G.: Non-autonomous functionals, borderline cases and related function classes. St. Petersburg Math. J. 27, 347–379 (2016)
Baroni, P., Colombo, M., Mingione, G.: Regularity for general functionals with double phase. Calc. Var. Partial Differ. Equ. 57, 62 (2018)
Benyaiche, A., Harjulehto, P., Hästö, P., Karppinen, A.: The weak Harnack inequality for unbounded supersolutions of equations with generalized Orlicz growth. J. Differ. Equ. 275, 790–814 (2021)
Buryachenko, K.O., Skrypnik, I.I.: Local continuity and Harnack’s inequality for double-phase parabolic equations. Potential Anal. 56(1), 137–164 (2022)
Colombo, M., Mingione, G.: Bounded minimisers of double phase variational integrals. Arch. Rational Mech. Anal. 218(1), 219–273 (2015)
Colombo, M., Mingione, G.: Regularity for double phase variational problems. Arch. Rational Mech. Anal. 215(2), 443–496 (2015)
Colombo, M., Mingione, G.: Calderon–Zygmund estimates and non-uniformly elliptic operators. J. Funct. Anal. 270, 1416–1478 (2016)
DiBenedetto, E., Gianazza, U., Vespri, V.: Local clustering of the non-zero set of functions in \(W^{1,1}(E)\). Rend. Lincei Mat. Appl. 17, 223–225 (2006)
DiBenedetto, E., Gianazza, U., Vespri, V.: Harnack’s Inequality for Degenerate and Singular Parabolic Equations, x+278 pp. Springer, New York (2012)
DiBenedetto, E., Trudinger, N.S.: Harnack inequalities for quasi-minima of variational integrals. Ann. Inst. Henri Poincare 1(4), 295–308 (1984)
Diening, L., Harjulehto, P., Hästö, P., Růžička, M.: Lebesgue and Sobolev spaces with variable exponents. In: Lecture Notes in Mathematics, 2017, x+509 pp. Springer, Heidelberg (2011)
Fan, X.: A Class of De Giorgi Type and Hölder Continuity of Minimizers of Variational with \(m(x)\)-Growth Condition. Lanzhou University, Lanzhou (1995)
Fan, X., Zhao, D.: A class of De Giorgi type and Hölder continuity. Nonlinear Anal. 36, 295–318 (1999)
Gariepy, R., Ziemer, W.P.: A regularity condition at the boundary point for solutions of quasilinear elliptic equations. Arch. Ration. Mech. Anal. 67, 25–39 (1977)
Hadzhy, O.V., Skrypnik, I.I., Voitovych, M.V.: Interior continuity,continuity up to the boundary and Harnack’s inequality for double-phase elliptic equations with non-logarithmic growth. Math. Nachrichten (in press)
Harjulehto, P., Hästö, P.: Orlicz Spaces and Generalized Orlicz Spaces. In: Lecture Notes in Mathematics, vol. 2236, p. X+169. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-15100-3
Harjulehto, P., Hästö, P.: Boundary regularity under generalized growth conditions. Z. Anal. Anwend. 38(1), 73–96 (2019)
Harjulehto, P., Hästö, P., Lee, M.: Hölder continuity of quasiminimizers and \(\omega \)-minimizers of functionals with generalized Orlicz growth, Ann. Sc. Norm. Super Pisa Cl. Sci 5 XXII(2), 549–582 (2021)
Harjulehto, P., Hästö, P., Toivanen, O.: Hölder regularity of quasiminimizers under generalized growth conditions. Calc. Var. Partial Differ. Equ. 56(2), Art. 22, 26 pp (2017)
Harjulehto, P., Kuusi, T., Lukkari, T., Marola, N., Parviainen, M.: Harnack’s inequality for quasiminimizers with non-standard growth conditions. J. Math. Anal. Appl. 344(1), 504–520 (2008)
Krasheninnikova, O.V.: On the continuity at a point of solutions of elliptic equations with a nonstandard growth condition. In: Proceedings of the Steklov Institute of Mathematics no. 1(236), pp. 193–200 (2002)
Krylov, N.V., Safonov, M.V.: A property of the solutions of parabolic equations with measurable coefficients. Izv. Akad. Nauk SSSR Ser. Mat. 44(1), 161–175 (1980) (in Russian)
Ladyzhenskaya, O.A., Ural’tseva, N.N.: Linear and Quasilinear Elliptic Equations. Nauka, Moscow (1973)
Landis, E.M.: Some questions in the qualitative theory of second-order elliptic equations (case of several independent variables). Uspehi Mat. Nauk 18, no. 1 (109), 3–62 (1963) (in Russian)
Landis, E.M.: Second Order Equations of Elliptic and Parabolic Type. In: Translations of Mathematical Monographs, vol. 171. American Mathematical Society, Providence (1998)
Lieberman, G.M.: The natural generalization of the natural conditions of Ladyzhenskaya and Ural’tseva for elliptic equations. Commun. Partial Differ. Equ. 16(2–3), 311–361 (1991)
Marcellini, P.: Regularity of minimizers of integrals of the calculus of variations with non standard growth conditions. Arch. Rational Mech. Anal. 105(3), 267–284 (1989)
Marcellini, P.: Regularity and existence of solutions of elliptic equations with \(p, q\)-growth conditions. J. Differ. Equ. 90(1), 1–30 (1991)
Maz’ya, V.G.: Behavior, near the boundary, of solutions of the Dirichlet problem for a second-order elliptic equation in divergent form. Math. Notes Acad. Sci. USSR 2, 610–617 (1967)
Ok, J.: Harnack inequality for a class of functionals with non-standard growth via De Giorgi’s method. Adv. Nonlinear Anal. 7(2), 167–182 (2018)
Růžička, M.: Electrorheological fluids: Modeling and Mathematical Theory. Lecture Notes in Mathematics, vol. 1748. Springer, Berlin (2000)
Shan, M.A., Skrypnik, I.I., Voitovych, M.V.: Harnack’s inequality for quasilinear elliptic equations with generalized Orlicz growth. Electron. J. Differ. Equ. 2021(27), 1–16 (2021)
Skrypnik, I.V.: Pointwise estimates of certain capacitative potentials, In: General Theory of Boundary Value Problems, pp. 198–206. Naukova Dumka, Kiev (1983) (in Russian)
Skrypnik, I.V.: Methods for analysis of nonlinear elliptic boundary value problems. In: Translations of Mathematical Monographs, vol. 139. American Mathematical Society, Providence (1994)
Skrypnik, I.V.: Selected works, In: Problems and Methods. Mathematics. Mechanics. Cybernetics, vol. 1, Naukova Dumka, Kiev (2008) (in Russian)
Skrypnik, I.I., Voitovych, M.V.: \({\mathfrak{B} }_{1}\) classes of De Giorgi, Ladyzhenskaya and Ural’tseva and their application to elliptic and parabolic equations with nonstandard growth. Ukr. Mat. Visn. 16(3), 403–447 (2019)
Skrypnik, I.I., Voitovych, M.V.: \({\cal{B} }_{1}\) classes of De Giorgi-Ladyzhenskaya-Ural’tseva and their applications to elliptic and parabolic equations with generalized Orlicz growth conditions. Nonlinear Anal. 202, 112135 (2021)
Skrypnik, I.I.: Harnack’s inequality for singular parabolic equations with generalized Orlicz growth under the non-logarithmic Zhikov’s condition. J. Evolut. Equ. 22(2), 45 (2022)
Surnachev, M.D.: On Harnack’s inequality for \(p(x)\)-Laplacian (Russian), 69, 1–32 (2018). Keldysh Institute Preprints https://doi.org/10.20948/prepr-2018-69
Surnachev, M.D.: On the weak Harnack inequality for the parabolic \(p(x)\)- Laplacian. Asymptot. Anal. (2021). https://doi.org/10.3233/ASY-211746
Weickert, J.: Anisotropic diffusion in image processing. In: European Consortium for Mathematics in Industry, B.G. Teubner, Stuttgart (1998)
Zhikov, V.V.: Questions of convergence, duality and averaging for functionals of the calculus of variations (Russian). Izv. Akad. Nauk SSSR Ser. Mat. 47(5), 961–998 (1983)
Zhikov, V.V.: Averaging of functionals of the calculus of variations and elasticity theory (Russian). Izv. Akad. Nauk SSSR Ser. Mat. 50(4), 675–710, 877 (1986)
Zhikov, V.V.: On Lavrentiev’s phenomenon. Russ. J. Math. Phys. 3(2), 249–269 (1995)
Zhikov, V.V.: On some variational problems. Russ. J. Math. Phys. 5(1), 105–116 (1997) (1998)
Zhikov, V.V.: On the density of smooth functions in Sobolev-Orlicz spaces (Russian). Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 310 (2004), Kraev. Zadachi Mat. Fiz. i Smezh. Vopr. Teor. Funkts. 35 [34], 67–81, 226; translation in J. Math. Sci. (N.Y.) 132(3), 285–294 (2006)
Zhikov, V.V., Kozlov, S.M., Oleinik, O.A.: Homogenization of Differential Operators and Integral Functionals. Springer, Berlin (1994)
Zhikov, V.V., Pastukhova, S.E.: On the improved integrability of the gradient of solutions of elliptic equations with a variable nonlinearity exponent (Russian). Mat. Sb. 199(12), 19–52 (2008); translation in Sb. Math. 199(11–12), 1751–1782 (2008)
Funding
Open Access funding enabled and organized by Projekt DEAL. The research of the authors was supported by Project 0120U100178 from the National Academy of Sciences of Ukraine. The research of the first author was also supported by Grant EFDS-FL2-08 of the found The European Federation of Academies of Sciences and Humanities (ALLEA). The research of the second author was also supported by Project 0119U1020890 from the National Academy of Sciences of Ukraine.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to this work.
Corresponding authors
Ethics declarations
Conflict of interest
Not applicable.
Consent for publication
All authors consented for publication.
Additional information
Communicated by Andrea Mondino.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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/.
About this article
Cite this article
Skrypnik, I., Yevgenieva, Y. Harnack inequality for solutions of the p(x)-Laplace equation under the precise non-logarithmic Zhikov’s conditions. Calc. Var. 63, 7 (2024). https://doi.org/10.1007/s00526-023-02608-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-023-02608-1