Abstract
In this paper, we consider a class of obstacle problems of the type
where \(\psi \) is the obstacle, \({\mathcal {K}}_\psi (\Omega )=\{v\in u_0+W^{1, p}_{0}(\Omega , {\mathbb {R}}): v\ge \psi \text { a.e. in }\Omega \}\), with \(u_0 \in W^{1,p}(\Omega )\) a fixed boundary datum, the class of the admissible functions and the integrand f(x, Dv) satisfies non standard (p, q)-growth conditions. We prove higher differentiability results for bounded solutions of the obstacle problem under dimension-free conditions on the gap between the growth and the ellipticity exponents. Moreover, also the Sobolev assumption on the partial map \(x\mapsto A(x, \xi )\) is independent of the dimension n and this, in some cases, allows us to manage coefficients in a Sobolev class below the critical one \(W^{1,n}\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We prove higher differentiability results for solutions to variational obstacle problems of the form
where \(\Omega \) is a bounded open set of \({\mathbb {R}}^n\), \(n>2\), \(\psi : \Omega \mapsto [-\infty , +\infty )\) belonging to the Sobolev class \( W^{1, p}_{\mathrm {loc}}(\Omega )\) is the obstacle and
is the class of the admissible functions, with \(u_0 \in W^{1,p}(\Omega )\) a fixed boundary datum.
We shall consider integrands f such that \(\xi \mapsto f(x, \xi )\) is \({\mathcal {C}}^2\) and there exists \({\tilde{f}}:\Omega \times [0, \infty ) \rightarrow [0, \infty )\) such that
Moreover, we assume that there exist positive constants \({\tilde{\nu }}, {\tilde{L}}\), exponents p, q with \(2\le p< q< p+1< +\infty \) and a parameter \(0\le \mu \le 1\) such that the following assumptions are satisfied
for almost every \(x\in \Omega \) and every \(\xi , \lambda \in {\mathbb {R}}^n\).
Note that, following [11], the assumptions (F1) and (F2) and the dependence on the modulus imply that there exists a positive constant \({\tilde{\ell }}\) such that
for almost every \(x\in \Omega \) and every \(\xi \in {\mathbb {R}}^n\), i.e. the functional f has non-standard growth conditions of (p, q)-type as defined and introduced by Marcellini [43, 44] and then widely investigated (see for example [5, 22, 23]) and more recent [45, 46].
Concerning the dependence on the \(x-\)variable, we assume that there exists a non-negative function \(k(x)\in L^{\frac{p+2}{p-q+1}}\) such that
for almost every \(x\in \Omega \) and every \(\xi \in {\mathbb {R}}^n\).
Let us observe that, in case of standard growth conditions, \(u\in W^{1,p}_{\mathrm {loc}}(\Omega )\) is a solution to the obstacle problem (1.1) in \({\mathcal {K}}_\psi (\Omega )\) if and only if \(u \in {\mathcal {K}}_\psi (\Omega )\) and u is a solution to the variational inequality
where the operator \(A(x, \xi ): \Omega \times {\mathbb {R}}^n\rightarrow {\mathbb {R}}^n\) is defined as follows
It is clear that, in case of standard growth, a density argument shows the validity of (1.2) for every \( \varphi \in {\mathcal {K}}_\psi (\Omega )\). Here, dealing with non-standard growth, it is worth observing that (1.2) holds true also for solutions to (1.1). More precisely, due to our assumptions \(q-p<1\) on the gap between the ellipticity exponent p and the growth exponent q, the validity of (1.2) can be easily checked as done at the beginning of the proof of the Theorem 1.1 below.
We want to stress that this is not obvious in case of non-standard growth conditions: already for unconstrained problems, the relation between minima and extremals, i.e. solutions of the corresponding Euler Lagrange system, is an issue that requires a careful investigation (see for example [6] and for constrained problems see the very recent paper [19]).
From assumptions (F1)–(F4), we deduce the existence of positive constants \(\nu , L, \ell \) such that the following p-ellipticity and q-growth conditions are satisfied by the map A:
for almost every \(x\in \Omega \) and for every \(\xi , \eta \in {\mathbb {R}}^n\).
Thanks to a characterization of the Sobolev spaces due to Hajlasz [37], we deduce from \(\mathrm ({\tilde{A}}4)\) that there exists a non-negative function \(\kappa \in L^{\frac{p+2}{p-q+1}}_{\mathrm {loc}}(\Omega )\) such that
for almost every \(x, y\in \Omega \) and for all \(\xi \in {\mathbb {R}}^n.\) As far as we know, regularity results concerning local minimizers of integral functionals of the Calculus of Variations under an assumption on the dependence on the x-variable of this type, have been obtained, for the first time, in [38, 39].
The study of the regularity properties of solutions to obstacle problems has been the object of intense interest in the last years and it has been usually observed that the regularity of the obstacle influences the regularity of the solutions to the problem: for linear problems the solutions are as regular as the obstacle; this is no longer the case in the nonlinear setting for general integrands without any specific structure. Hence along the years, there has been an intense research activity in which extra regularity has been imposed on the obstacle to balance the nonlinearity (see [2, 3, 20, 21]).
Here, as we already said, we are interested in higher differentiability results since in case of non-standard growth, many questions are still open. In [4, 8, 9, 18, 24,25,26, 29, 30, 35, 36, 42, 47, 51] the authors analyzed how an extra differentiability of integer or fractional order of the gradient of the obstacle provides an extra differentiability to the gradient of the solutions, also in case of standard growth. However, since no extra differentiability properties for the solutions can be expected even if the obstacle \(\psi \) is smooth, unless some assumption is given on the x-dependence of the operator A, the higher differentiability results for the solutions of systems or for the minimizers of functionals in the case of unconstrained problems (see [1, 10, 12, 17, 27, 28, 31,32,33, 49, 50]) have been useful and source of inspiration also for the constrained case. Differentiability results for solutions defined by duality when the coefficients are in \( W^{1, n}\) can be found in [41].
For higher regularity results for solutions to non-autonomous elliptic problems, we also refer to [40], and to very recent paper [15], where both unconstrained and constrained problems are treated and the optimal assumption for the obstacle is given to get the Lipschitz regularity for the solutions.
It is well known that, for unconstrained problems with (p, q)-growth, the boundedness of the minimizers can play a crucial role to get regularity for the gradient, under weaker assumptions on the gap between p and q and on the data of the problem (see [5]). Here, we will prove that the same phenomenon happens for the bounded solutions to obstacle problems with (p, q)-growth.
More precisely, we prove the following
Theorem 1.1
Let \(u\in {\mathcal {K}}_\psi (\Omega )\) be a solution to the obstacle problem (1.1) and let \(A(x, \xi )\) satisfy the assumptions (A1)–(A4) with \(2\le p< q<\min \{p+1, p^*=\frac{np}{n-p} \}\). Then, if \(\psi \in L^{\infty }_\mathrm {loc}(\Omega )\) the following implication holds
with the following estimate
We first observe that the assumption of boundedness of the obstacle \(\psi \) is needed to get the boundedness of the solutions (see Theorem 2.4). Therefore, if we want to remove the hypothesis \(\psi \in L^{\infty }\), it is sufficient to deal with a priori bounded minimizers. In this case, we can remove also the hypothesis \(q< p^*\).
Let us compare, now, our result with the previous ones. All previous higher regularity results for solutions to obstacle problem in case of non-standard growth have been obtained under a Sobolev assumption \(W^{1,r}(\Omega )\) with \(r\ge n\) on the dependence on x of the operator A, some of them reveal also crucial to prove local Lipschitz results for the obstacle problem, see for instance in [7, 14]. Dealing with bounded solutions, we are able to prove our result assuming that the partial map \(x \mapsto A(x; \xi )\) belongs to a Sobolev class that is not related to the dimension n but to the ellipticity and the growth exponents p and q of the functional and this assumption in case \(\frac{p+2}{p-q+1}<n\) (i.e. \(p<n-2\) and \(q< \frac{n-1}{n}p+\frac{n-2}{n}\)) improves the higher differentiability result obtained in [26]. Moreover, our result is obtained under a weaker assumption also on the gradient of the obstacle, indeed previous result assumed \(\psi \in W^{1, 2q-p}\) (see [26]) while our hypothesis is \(\psi \in W^{1, \frac{p+2}{p+2-q}}\), and under our assumption on the gap, i.e. \(q-p<1\), it results \(W^{1, 2q-p}\hookrightarrow W^{1, \frac{p+2}{p+2-q}}\).
Note that for \(p=q\) we recover exactly our previous result [8] concerning the obstacle problem with standard growth.
On the other hand, our result extends to the solutions of constrained problems the higher differentiability result obtained in [12] for the solutions to unconstrained problems in case of the integrand f is uniformly convex only at infinity.
To prove Theorem 1.1, we first verify the validity of the variational inequality also in the case of non standard growth and then we combine an a priori estimate for the second derivatives of the local solutions, obtained using the difference quotient method, with a suitable approximation argument. The local boundedness of the obstacle, and then of the solutions, allows us to use two interpolation inequalities that give the higher local integrability \(L^{\frac{2(p+2)}{p+2-q}}\) for the gradient of the obstacle and the higher local integrability \(L^{p+2}\) for the gradient of the solutions. Such higher integrability is the key tool to weaken the assumption on \(\kappa \) that is the function that control the dependence on x-variable of the operator A .
We conclude observing that, if the minimizer u is assumed a priori in a Lebesgue space \(L^r\) with \(r> \frac{np}{n-p-2}\) instead of assuming \(u \in L^{\infty }\) the interpolation inequality of Lemma 2.1 still gives a higher integrability result for Du, i.e. \(Du \in L^{\frac{r}{r+2}(p+2)}\). Such higher integrability allows us to obtain the same higher differentiability result of Theorem 1.1 assuming \(\kappa \in L^{\frac{r}{(r-p)}\frac{(p+2)}{p-q+1}} \). We’d like to point out that for \(p<n-2\) and \(q< \frac{1}{n} (n-\frac{r}{r-p})p+ \frac{1}{n} (n-2\frac{r}{r-p})\) we get \(\frac{r}{(r-p)}\frac{(p+2)}{p-q+1} < n\) that means that we obtain the regularity result again under a Sobolev assumption on the dependence on the x-variable below the critical one \(W^{1,n}\).
2 Notations and Preliminary Results
In this paper we shall denote by C or c a general constant that may vary on different occasions, even within the same line of estimates. Relevant dependencies on parameters and special constants will be suitably emphasized using parentheses or subscripts. With the symbol \(B(x,r)=B_r(x)=\{y\in {\mathbb {R}}^n:\,\, |y-x|<r\}\) we will denote the ball centered at x of radius r. We shall omit the dependence on the center when no confusion arises.
Here we recall some results that will be useful in the following.
The main tools in the proof of Theorem 1.1 are the following Gagliardo-Nirenberg-type inequalities that we state as lemmas. The proofs of inequalities (2.1) and (2.2) can be found in [5, Appendix A]. For the proof of (2.3) see for example [48].
Lemma 2.1
For any \(\phi \in C_0^1(\Omega )\) with \(\phi \ge 0\), and any \(C^2\) map \(v:\Omega \rightarrow {\mathbb {R}}^N\), we have
for any \(p\in (1, \infty )\) and \(m>1\). Moreover, for any \(\mu \in [0,1]\)
for a constant \(c=c(p).\)
Lemma 2.2
Let \(u \in L^p(\Omega ) \cap W^{2,r}(\Omega )\) with \(1 \le p\le \infty \) and \(1 \le r \le \infty \). Then \( u \in W^{1,q}(\Omega )\) where q is such that \(\frac{1}{q}= \frac{1}{2} \left( \frac{1}{p} + \frac{1}{r}\right) \) and
The following is an higher differentiability result to the solutions to (1.1) when the energy density function f satisfies standard growth conditions. The proof can be found in [8].
Theorem 2.3
Let \(A(x, \xi )\) satisfy the conditions (A1)–(A4) with \(p=q\ge 2\) and let \(u\in {\mathcal {K}}_\psi (\Omega )\) be a solution to the obstacle problem (1.2). Then, if \(\psi \in L^{\infty }_\mathrm {loc}(\Omega )\) the following implication
holds true.
Next result has been proved in [7, Theorem 1.1]
Theorem 2.4
Let u in \(K_{\psi }(\Omega )\) be a solution of (1.1) under the assumptions (A1) and (A2) with \(2\le p \le q\) such that
If the obstacle \(\psi \in L^{\infty }_{\mathrm {loc}}(\Omega )\), then \(u \in L^{\infty }_{\mathrm {loc}}(\Omega )\) and the following estimate
holds for every ball \(B_R \Subset \Omega \), for \(\gamma (n,p,q)>0\) and \(c=c(\ell , \nu , p, q, n)\). We’d like to remark that in a very recent paper [16] the same result has been proved under sharp assumptions on the gap between p and q.
We will use the auxiliary function \(V_p:{\mathbb {R}}^n\rightarrow {\mathbb {R}}^n\), defined as
for which the following estimates hold (see [34]).
Lemma 2.5
Let \(1<p<\infty \). There is a constant \(c=c(n, p)>0\) such that
for any \(\xi , \eta \in {\mathbb {R}}^n\) and \(\xi \ne \eta \). Moreover, for a \(C^2\) function g, there is a constant C(p) such that
Now we state a well-known iteration lemma (the proof can be found for example in [34, Lemma 6.1]).
Lemma 2.6
(Iteration Lemma) Let \(h: [\rho , R]\rightarrow {\mathbb {R}}\) be a nonnegative bounded function, \(0<\theta <1\), \(A, B\ge 0\) and \(\gamma >0\). Assume that
for all \(\rho \le r<s\le R_0<R.\) Then
where \(c=c(\theta , \gamma )>0\).
2.1 Difference Quotient
To get the regularity of the solutions of the problem (1.1), we shall use the difference quotient method. We recall here the definition and basic results.
Definition 2.7
Given \(h\in {\mathbb {R}}^n\), for every function \(F:{\mathbb {R}}^{n}\rightarrow {\mathbb {R}}\) the finite difference operator is defined by
We recall some properties of the finite difference operator that will be needed in the sequel. We start with the description of some elementary properties that can be found, for example, in [34].
Proposition 2.8
Let F and G be two functions such that \(F, G\in W^{1,p}(\Omega )\), with \(p\ge 1\), and let us consider the set
Then
-
(d1)
\(\tau _{h}F\in W^{1,p}(\Omega _{|h|})\) and
$$\begin{aligned} D_{i} (\tau _{h}F)=\tau _{h}(D_{i}F). \end{aligned}$$ -
(d2)
If at least one of the functions F or G has support contained in \(\Omega _{|h|}\) then
$$\begin{aligned} \int _{\Omega } F(x)\, \tau _{h} G(x)\, {\mathrm d}x=\int _{\Omega } G(x)\, \tau _{-h}F(x)\, {\mathrm d}x. \end{aligned}$$ -
(d3)
We have
$$\begin{aligned} \tau _{h}(F G)(x)=F(x+h )\tau _{h}G(x)+G(x)\tau _{h}F(x). \end{aligned}$$
The next result about finite difference operator is a kind of integral version of Lagrange Theorem.
Lemma 2.9
If \(0<\rho <R\), \(|h|<\frac{R-\rho }{2}\), \(1< p <+\infty \), and \(F, DF\in L^{p}(B_{R})\) then
Moreover
We conclude this section recalling this result that is proved in [34].
Lemma 2.10
Let \(F:{\mathbb {R}}^n\rightarrow {\mathbb {R}}^N\), \(F\in L^p(B_R)\) with \(1<p<+\infty \). Suppose that there exist \(\rho \in (0, R)\) and \(M>0\) such that
for every \(h<\frac{R-\rho }{2}\). Then \(F\in W^{1,p}(B_R, {\mathbb {R}}^N)\). Moreover
2.2 Approximation Lemma
We report a Lemma which will be the main tool in the second part of the proof of our main result. For the proof of this Lemma we refer to [13].
Lemma 2.11
Let \(f:\Omega \times {\mathbb {R}}^n \rightarrow [0, \infty )\) be a Carathéodory function such that \(\xi \mapsto f(x, \xi )\) is \({\mathcal {C}}^2\) and there exists \({\tilde{f}}:\Omega \times [0, \infty ) \rightarrow [0, \infty )\) such that \(f(x,\xi )={\tilde{f}}(x, |\xi |)\). Moreover, let us assume that f satisfies assumptions (F1)–(F4). Then there exists a sequence \((f_\varepsilon )_{\varepsilon }\) of Carathéodory functions \(f_\varepsilon :\Omega \times {\mathbb {R}}^n \rightarrow [0, \infty )\), monotonically convergent to f, such that
-
(i)
for a.e. \(x \in \Omega \), for every \(\xi \in {\mathbb {R}}^n\) and for every \(\varepsilon _1 < \varepsilon _2\), we have
$$\begin{aligned} f_{\varepsilon _2}(x, \xi )\le f_{\varepsilon _1}(x, \xi )\le f(x, \xi ) \end{aligned}$$ -
(ii)
there exists \({\bar{\nu }}>0\) depending only on p and \({\tilde{\nu }}\) such that
$$\begin{aligned} \langle D_{\xi \xi }f_\varepsilon (x,\xi )\lambda ,\lambda \rangle \geqslant {\bar{\nu }}(\mu ^2+|\xi |^2)^{\frac{p-2}{2}}|\lambda |^{2} \end{aligned}$$for a.e. \(x \in \Omega \), for every \(\xi \in {\mathbb {R}}^n\),
-
(iii)
there exist \(K_0, K_1\) independent of \(\varepsilon \) and \({\bar{K}}_1\) depending on \(\varepsilon \) such that
$$\begin{aligned}&K_0 (|\xi |^p-\mu ^2)\le f_\varepsilon (x,\xi )\le K_1\left[ (\mu ^2+|\xi |^2)^\frac{p}{2}+(\mu ^2+|\xi |^2)^\frac{q}{2}\right] , \\&\quad f_\varepsilon (x,\xi )\le {\bar{K}}_1(\varepsilon )(\mu ^2+|\xi |^2)^\frac{p}{2}, \end{aligned}$$for a.e. \(x \in \Omega \), for every \(\xi \in {\mathbb {R}}^n\),
-
(iv)
there exists a constant \(C(\varepsilon )>0\) such that
$$\begin{aligned}&|D_{x\xi }f_\varepsilon (x,\xi )|\le k(x)\left[ (\mu ^2+|\xi |^2)^\frac{p-1}{2}+(\mu ^2+|\xi |^2)^\frac{q-1}{2}\right] \\&|D_{x\xi }f(x,\xi )|\le C(\varepsilon )k(x)(\mu ^2+|\xi |^2)^{\frac{p-1}{2}} \end{aligned}$$for a.e. \(x \in \Omega \), for every \(\xi \in {\mathbb {R}}^n\).
3 Proof of the Theorem 1.1
The proof of the theorem is obtained in two steps: first we establish the a priori estimate and then we conclude through an approximation argument.
Proof
Step 1: The a priori estimate.
To get the a priori estimate we first need to prove the validity of the variational inequality (1.2) also in the case of non-standard growth conditions.
Suppose that u is a local solution to the obstacle problem in \({\mathcal {K}}_\psi (\Omega )\) such that
Thanks to our assumptions on the exponents p and q we can deduce from Theorem 2.4 that the solution u to (1.1) is bounded. Such boundedness, with the a priori assumption (3.1) on the second derivatives of u, allows us to apply Lemma 2.1 to get the higher integrability \(Du\in L^{p+2}_\mathrm {loc}(\Omega )\).
Concerning the obstacle \(\psi \), by the assumptions \(\psi \in L^{\infty }(\Omega )\) and \(D^2\psi \in L^{\frac{p+2}{p+2-q}}(\Omega )\), applying Lemma 2.2, we have \(D\psi \in L^{\frac{2(p+2)}{p+2-q}}(\Omega )\hookrightarrow L^{p+2}(\Omega )\).
Note that \(Du\in L^{p+2}_\mathrm {loc}(\Omega )\) (and then, obviously, \(u \in W^{1, q}_\mathrm {loc}(\Omega )\)) implies that the variational inequality (1.2), by a simple density argument, holds true for every \(\varphi \in W^{1, q}_\mathrm {loc}(\Omega )\).
Indeed, since \(u\in {\mathcal {K}}_\psi (\Omega )\), for every \(v \ge 0\) and every \(\varepsilon >0\) it results \(u+\varepsilon v \ge \psi \), therefore if \(v \in W^{1,q}_\mathrm {loc}(\Omega )\) by minimality of u
or equivalently
Hence, we have
and also
where we divided both side of previous inequality by \(\varepsilon \). We observe that
where in the last inequality we used Lemma 8.3 in [34].
Therefore, since \(v \in W^{1,q}_\mathrm {loc}(\Omega )\), by the growth assumption (A3), assuming without loss of generality \(\varepsilon <1\), we get
Then, applying dominated convergence theorem in (3.2), we have
for every \(v\in W^{1,q}_0(\Omega )\), \(v\ge 0\). At this point it is standard to verify the inequality (1.2)
Now we have to choose suitable test functions \(\varphi \) in (1.2) that involve the different quotient of the solution and at the same time satisfy the conditions \(\varphi \in W^{1,q}_{\mathrm{loc}}(\Omega )\) and \(\varphi \ge \psi \) in \(\Omega \). To do this, we proceed similarly to what has been done in [8, 18].
Let us fix a ball \(B_{ R}\Subset \Omega \) and arbitrary radii \(\frac{ R}{2}<r<s<t<\lambda r< R\), with \(1<\lambda <2\). Let us consider a cut off function \(\eta \in C^\infty _0(B_t)\) such that \(\eta \equiv 1\) on \(B_s\) and \(|D \eta |\le \frac{c}{t-s}\). From now on, with no loss of generality, we suppose \(R<1\).
Let \(v\in W^{1,q}_0(\Omega )\) be such that
and observe that \(\varphi =u+\tau v\ge \psi \) for all \(\tau \in [0, 1]\). For \(|h|<\frac{R}{4}\), we consider
so we have \(v_1\in W^{1, p+2}_0(\Omega )\), and, for any \(\tau \in [0,1]\), \(v_1\) satisfies (3.3). Indeed, for a.e. \(x \in \Omega \) and for any \(\tau \in [0,1]\)
since \(u\in {\mathcal {K}}_\psi (\Omega )\) and \(0\le \eta \le 1\). Therefore, from \(q-p<1\) we have \(L^{p+2}(\Omega )\hookrightarrow L^{q}(\Omega )\) and so we can use \(\varphi =u+\tau v_1\) as a test function in inequality (1.2), thus getting
Similarly, we define
and we have \(v_2\in W^{1, p+2}_0(\Omega )\), the inequality (3.3) still is satisfied for any \(\tau \in [0,1]\), and we can use \(\varphi =u+\tau v_2\) as test function in (1.2), obtaining
and by means of a change of variable, we have
Now we can add (3.4) and (3.5), thus getting
that is
which implies
Previous inequality can be rewritten as follows
so we have
The ellipticity assumption (A1) implies
By virtue of assumption (A2), we have
Let us consider the term \(II_1\). If we apply Young’s inequality with exponents (2, 2) and Hölder’s inequality with exponents \(\left( \frac{p+2}{4}, \frac{p+2}{p-2}\right) \), we get
where we also used the properties of \(\eta \). Since \(D\psi \in W^{1,\frac{p+2}{p+2-q}}_\mathrm {loc}(\Omega )\) and \(2\le p<q<p+1\), we also have \(D\psi \in W^{1,\frac{p+2}{2}}_\mathrm {loc}(\Omega )\), and using both estimates of Lemma 2.9, we get
To estimate the term \(II_2\), applying Young’s inequality with exponents \(\left( 2, 2\right) \) and Hölder’s inequality with exponents \(\left( \frac{p+2}{2(p+2-q)}, \frac{p+2}{2q-p-2}\right) \), we get
where we used also the properties of \(\eta \). Since \(D\psi \in W^{1,\frac{p+2}{p+2-q}}_\mathrm {loc}(\Omega )\), we may use the first and the second estimate of Lemma 2.9, thus obtaining
Plugging (3.10) and (3.11) into (3.9), we get
Arguing analogously, by virtue of assumption (A2) we have
Using Young’s inequality with exponents (2, 2), Hölder’s inequality with exponents \(\left( \frac{p+2}{4}, \frac{p+2}{p-2}\right) \), and the properties of \(\eta \), we have
and Lemma 2.9 implies
Similarly, using Young’s inequality with exponents (2, 2), Hölder’s inequality with exponents \(\left( \frac{p+2}{2(p+2-q)}, \frac{p+2}{2q-p-2}\right) \), the properties of \(\eta \) and Lemma 2.9, we get
Plugging (3.14) and (3.15) into (3.13), we get
For what concerns the term IV, assumption (A4) implies
If we use Young’s inequality with exponents (2, 2) and the properties of \(\eta \), we obtain
Using Hölder’s inequality with exponents \(\left( \frac{p+2}{2(p-q+1)}, \frac{p+2}{2q-p}\right) \) and Lemma 2.9 we have
Analogously, since \(\kappa \in L^{\frac{p+2}{p-q+1}}_{\mathrm {loc}}\left( \Omega \right) \hookrightarrow L^{p+2}_{\mathrm {loc}}\left( \Omega \right) \), using Young’s inequality with exponents (2, 2) Hölder’s inequality with exponents \(\left( \frac{p+2}{2}, \frac{p+2}{p}\right) \), the properties of \(\eta \) and Lemma 2.9, we get
Plugging (3.18) and (3.19) into (3.17), we obtain
The condition (A4) also entails
where we used Hölder’s inequality with exponents \(\left( {p+2}, \frac{p+2}{p-1}, \frac{p+2}{2}\right) \) and \(\left( \frac{p+2}{p-q+1}, \frac{p+2}{q-1}, \frac{p+2}{2}\right) \), the properties of \(\eta \) and Lemma 2.9.
Finally, using again assumption (A4), the properties of \(\eta \), Hölder’s inequality and Lemma 2.9, we have
Inserting (3.8), (3.12), (3.16), (3.20), (3.21) and (3.22) into (3.7) we infer
Choosing \(\varepsilon =\frac{\nu }{12}\), we can reabsorb the first term from the right-hand side to the left-hand one, thus getting
Now we apply Young’s inequalities and since \(u\in {\mathcal {K}}_{\psi }(\Omega )\), we have
By Young’s inequalities of exponents \(\left( p+2-q, \frac{p+2-q}{p+1-q}\right) \) we can estimate the thirdlast integral appearing in the right hand side of the previous inequality as
and similarly, using Young’s inequality with exponents \(\left( 2, 2\right) \), we get
So, from (3.23), we get
Using, in the left hand side of the previous estimate, the right-hand side of the inequality (2.6) in Lemma 2.5 , we get
Dividing both sides by \(|h|^2\) and using Lemma 2.10 and the properties of \(\eta \), we have
Now, by virtue of left-hand side of inequality (2.7) of Lemma 2.5
By virtue of the local boundedness of u, the second interpolation inequality of Lemma 2.1 yields
and so, combining this last estimate with (3.26), and using the properties of \(\eta \), we get
Now let us notice that, since \(2\le p<q<p+1\), we have \(\frac{p+2}{2}<\frac{p+2}{p+2-q}\) and \(p+2<\frac{p+2}{p-q+1}\).
So using Young’s inequality with exponents \(\left( \frac{2}{q-p}, \frac{2}{p+2-q}\right) \), we get
and similarly
Moreover, since \(p+2<\frac{p+2}{p-q+1}\), by Young’s inequality with exponents \(\left( \frac{1}{q-p}, \frac{1}{p-q+1}\right) \), we have
So, since \(t-s<1\), (3.27)becomes
and since \(0\le \mu \le 1\), we get
Choosing \(\varepsilon \) such that \(12 \varepsilon \ \Arrowvert u\Arrowvert _{L^\infty \left( B_{R}\right) }^2\le \frac{1}{2}\), previous estimate becomes
where \(c=c(p, q, L, \nu , \mu )\) is independent of t and s.
Since (3.28) is valid for any \(\frac{R}{2}<r<s<t<\lambda r<R<1\), taking the limit as \(s\rightarrow r\) and \(t\rightarrow \lambda r\), we get
Now, setting
and
we obtain
Thus, we can apply Lemma 2.6, with
obtaining
Since \(R<1\), the previous estimate can be written as follows
Plugging the last inequality in (3.25) and choosing \(\eta \in C^\infty _0(B_{\frac{R}{2}})\) such that \(\eta \equiv 1\) on \(B_{\frac{R}{4}}\) we get
that by virtue of estimate (2.4), gives us the a priori estimate with
with \(c=c(p, q, L, \nu , \mu )\).
Step 2: The Approximation. Now we conclude the proof by passing to the limit in the approximating problem. The limit procedure is standard see, e.g., [12].
Let \(u \in {\mathcal {K}}_{\psi }(\Omega )\) be a solution to (1.1) and let \({f_\varepsilon }\) be the sequence obtained applying Lemma 2.11 to the integrand f. Let us fix a ball \(B_R\Subset \Omega \) and let \({u_\varepsilon }\in u+W^{1,p}_0(B_R)\) be the solution to the minimization problem
By Theorem 2.3, the minimizers \({u_\varepsilon }\) satisfy the a priori assumptions at (3.1), i.e. \(\left( \mu ^2+\left| Du_\varepsilon \right| ^2\right) ^\frac{p-2}{4}Du_\varepsilon \in W^{1,2}_\mathrm {loc}(\Omega )\), and therefore we are legitimated to use estimate (3.31) thus obtaining
By the first inequality of growth conditions at (iii) of Lemma 2.11 and the minimality of \(u_\varepsilon \) we get
where in the last estimate we used the second inequality at (i) of Lemma 2.11.
Since \(f(x, Du)\in L^1_{\mathrm {loc}}(\Omega )\) by assumption, we deduce, up to subsequences, that there exists \({{\bar{u}}}\in W^{1,p}_0(B_R)+u\) such that
Note that, since \(u_\varepsilon \in {\mathcal {K}}_\psi \) for every \(\varepsilon \) and \({\mathcal {K}}_\psi \) is a closed set, we have \({{\bar{u}}}\in {\mathcal {K}}_\psi \). Our next aim is to show that \({{\bar{u}}}\) is a solution to our obstacle problem over the ball \(B_R\).
To this aim, fix \(\varepsilon _0>0\) and observe that the lower semicontinuity of the functional \(w\mapsto \int _{B_R}f_{\varepsilon _0}(x,Dw)\, {\mathrm d}x\), the minimality of \(u_\varepsilon \) and the monotonicity of the sequence of \(f_\varepsilon \) yield
We now use monotone convergence Theorem in the left hand side of previous estimate to deduce that
Therefore, we have proved that the limit function \({\bar{u}}\in W^{1,p}(B_R)+u\) is a solution to the minimization problem
Since by the strict convexity of the functional the solution is unique, we conclude that \(u={{\bar{u}}}\). It is quite routine to show that the convergence of \({u_\varepsilon }\) to u is strong in \(W^{1,p}_{\mathrm {loc}}(B_R)\).
The strong convergence of \(u_\varepsilon \) to u in \(W^{1,p}(B_R)\) implies also that \(u_\varepsilon \) converges strongly to u in \(L^{p^*}(B_R)\) and hence the conclusion follows passing to the limit as \(\varepsilon \rightarrow 0\) in estimate (3.32). \(\square \)
Availability of data
Not applicable.
References
Balci, A., Diening, L., Weimar, M.: Higher order Calderon–Zigmund estimates for the \(p\)-Laplace equation. J. Differ. Equ. 268(2), 590–635 (2020)
Bögelein, V., Duzaar, F., Mingione, G.: Degenerate problems with irregular obstacles. J. Reine Angew. Math. 650, 107–160 (2011)
Bildhauer, M., Fuchs, M., Mingione, G.: A priori gradient bounds and local \(C^{1,\alpha }\)-estimates for (double) obstacle problems under non-standard growth conditions. Z. Anal. Anwendungen 20(4), 959–985 (2001)
Byun, S.-S., Namkyeong, C.: Higher differentiability for solutions of a general class of nonlinear elliptic obstacle problems with Orlicz growth. Nonlinear Diff. Equ. Appl. NoDEA 29(6), 73 (2022). https://doi.org/10.1007/s00030-022-00807-x
Carozza, M., Kristensen, J., Passarelli di Napoli, A.: Higher differentiability of minimizers of convex variational integrals. Annales Inst. H. Poincaré (C) Non Linear Analysis 28(3), 395–411 (2011)
Carozza, M., Kristensen, J., Passarelli di Napoli, A.: On the validity of the Euler–Lagrange system. Commun. Pure Appl. Anal. 14, 51–62 (2018)
Caselli, M., Eleuteri, M., Passarelli di Napoli, A.: Regularity results for a class of obstacle problems with \(p,q\)- growth conditions. ESAIM: COCV 27, 19 (2021). https://doi.org/10.1051/cocv/2021017
Caselli, M., Gentile, A., Giova, R.: Regularity results for solutions to obstacle problems with Sobolev coefficients. J. Differ. Equ. 269, 8308–8330 (2020)
Chlebicka, I., De Filippis, C.: Removable sets in non-uniformly elliptic problems. Annali di Matematica 199(2), 619–649 (2020)
Cruz-Uribe, D., Moen, K., Rodney, S.: Regularity results for weak solutions of elliptic PDEs below the natural exponent. Ann. Mat. Pura Appl. (4) 195(3), 725–740 (2016)
Cupini, G., Marcellini, P., Mascolo, E., Passarelli di Napoli, A.: Lipschitz regularity for degenerate elliptic integrals with \(p,q\)-growth. Adv. Calc. Var. (2021). https://doi.org/10.48550/arXiv.2101.01101
Cupini, G., Giannetti, F., Giova, R., Passarelli di Napoli, A.: Regularity results for vectorial minimizers of a class of degenerate convex integrals. J. Differ. Equ. 265(9), 4375–4416 (2018)
Cupini, G., Guidorzi, M., Mascolo, E.: Regularity of minimizers of vectorial integrals with \(p-q\) growth. Nonlinear Anal. 54(4), 591–616 (2003)
De Filippis, C.: Regularity results for a class of non-autonomous obstacle problems with \((p, q)\)-growth. J. Math. Anal. Appl. 501(1), 123450 (2021)
De Filippis, C., Mingione, G.: Lipschitz bounds and nonautonomous integrals. Arch. Ration. Mech. Anal. 242(2), 973–1057 (2021)
De Rosa Antonio, M., Grimaldi, G.: A local boundedness result for a class of obstacle problems with non-standard growth conditions. J. Optim Theory Appl 195(1), 282–296 (2022). https://doi.org/10.1007/s10957-022-02084-1
Eleuteri, M., Marcellini, P., Mascolo, E.: Lipschitz estimates for systems with ellipticity conditions at infinity. Ann. Mat. Pura e Appl. (4) 195, 1575–1603 (2016)
Eleuteri, M., Passarelli di Napoli, A.: Higher differentiability for solutions to a class of obstacle problems. Calc. Var. Partial Differ. Equ. 57(5), 115, 29 pp (2018)
Eleuteri, M., Passarelli di Napoli, A.: On the validity of variational inequalities for obstacle problems with non-standard growth. Ann. Fenn. Math. 47(1), 395–416 (2022)
Fuchs, M.: Hölder continuity of the gradient for degenerate variational inequalities. Nonlinear Anal. 15(1), 85–100 (1990)
Fuchs, M., Mingione, G.: Full \(C^{1,\alpha }\)-regularity for free and constrained local minimizers of elliptic variational integrals with nearly linear growth. Manuscr. Math. 102, 227–250 (2000)
Esposito, L., Leonetti, F., Mingione, G.: Regularity for minimizers of functionals with \(p-q\) growth. NoDEA Nonlinear Differ. Equ. Appl. 6(2), 133–148 (1999)
Esposito, L., Leonetti, F., Mingione, G.: Sharp regularity for functionals with \((p, q)\) growth. J. Differ. Equ. 204(1), 5–55 (2004)
Foralli, N., Gilberti, G.: Higher differentiability of solutions for a class of obstacle problems with variable exponents. J. Differ. Equ. 313, 244–268 (2022)
Gavioli, C.: A priori estimates for solutions to a class of obstacle problems under \((p,q)\)-growth conditions. J. Elliptic Parabol. Equ. 5(2), 325–347 (2019)
Gavioli, C.: Higher differentiability of solutions to a class of obstacle problems under non-standard growth conditions. Forum Math. 31(6), 1501–1516 (2019)
Gentile, A.: Regularity for minimizers of non-autonomous non-quadratic functionals in the case \(1<p<2\): an a priori estimate. Rend. Acc. Sc. fis. mat. Napoli LXXXV, 185–200 (2018)
Gentile, A.: Regularity for minimizers of a class of non-autonomous functionals with sub-quadratic growth. Adv. Calc. Var. (2020). https://doi.org/10.1515/acv-2019-0092
Gentile, A.: Higher differentiability results for solutions to a class of non-autonomous obstacle problems with sub-quadratic growth conditions. Forum Math. 33(3), 669–695 (2021)
Gentile, A., Giova, R.: Regularity results for solutions to a class of non-autonomous obstacle problems with sub-quadratic growth conditions. Nonlinear Anal. Real World Appl. 68, 103681 (2022). https://doi.org/10.1016/j.nonrwa.2022.103681
Giova, R.: Higher differentiability for n-harmonic systems with Sobolev coefficients. J. Differ. Equ. 259(11), 5667–5687 (2015)
Giova, R.: Regularity results for non-autonomous functionals with \(L\log {L}\) -growth and Orlicz Sobolev coefficients. NoDEA Nonlinear Differ. Equ. Appl. 23(6), Art. 64, 18 pp (2016)
Giova, R., Passarelli di Napoli, A.: Regularity results for a priori bounded minimizers of non autonomous functionals with discontinuous coefficients. Adv. Calc. Var. 12(1), 85–110 (2019)
Giusti, E.: Direct Methods in the Calculus of Variations. World Scientific, Singapore (2003)
Giuseppe Grimaldi, A., Ipocoana, E.: Higher differentiability results in the scale of Besov Spaces to a class of double-phase obstacle problems. ESAIM Control Optim. Calc. Var. 28, 51. https://doi.org/10.1051/cocv/2022050
Grimaldi, A.G., Ipocoana, E.: Higher fractional differentiability for solutions to a class of obstacle problems with non-standard growth conditions. Adv. Calc. Var. (2022)
Hajlasz, P.: Sobolev Spaces on an Arbitrary Metric Space. Potential Anal. 5, 403–415 (1996)
Kristensen, J., Mingione, G.: Boundary regularity in variational problems. Arch. Ration. Mech. Anal. 198, 369–455 (2010)
Kuusi, T., Mingione, G.: Universal potential estimates. J. Funct. Anal. 262, 4205–4269 (2012)
Kuusi, T., Mingione, G.: Guide to nonlinear potential estimates. Bull. Math. Sci. 4(1), 1–82 (2014)
La Manna, D.A., Leone, C., Schiattarella, R.: On the regularity of very weak solutions for linear elliptic equations in divergence form. Nonlinear Differ. Equ. Appl. 27, 43 (2020)
Ma, L., Zhang, L.: Higher differentiability for solutions of nonhomogeneous elliptic obstacle problems. J. Math. Anal. Appl. 479(1), 789–816 (2019)
Marcellini, P.: Regularity of minimizers of integrals of the calculus of variations with non-standard growth conditions. Arch. Ration. 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)
Marcellini, P.: Regularity under general and p, q-growth conditions. Discrete Continuous Dyn. Syst. S 13(7) (2020). https://doi.org/10.3934/dcdss.2020155
Marcellini, P.: Growth conditions and regularity for weak solutions to nonlinear elliptic pdes. J. Math Anal Appl 501(1), 124408 (2021). https://doi.org/10.1016/j.jmaa.2020.124408
Nevali, L.: Higher differentiability of solutions for a class of obstacle problems with non standard growth conditions. J. Math. Anal Appl 518(1), 126672 (2023). https://doi.org/10.1016/j.jmaa.2022.126672
Nirenberg, L.: On elliptic partial differential equations. Annali della Scuola Normale Superiore di Pisa-Classe di Scienze 13(2), 115–162 (1959)
Passarelli di Napoli, A.: Higher differentiability of minimizers of variational integrals with Sobolev coefficients. Adv. Cal. Var. 7(1), 59–89 (2014)
Passarelli di Napoli, A.: Higher differentiability of solutions of elliptic systems with Sobolev coefficients: the case \(p=n=2\). Potential Anal. 41(3), 715–735 (2014)
Zhang, X., Zheng, S.: Besov regularity for the gradients of solutions to non-uniformly elliptic obstacle problems. J. Math. Anal. Appl. 504(2), 125402 (2021)
Acknowledgements
The first and second author have partially been supported by the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM). R. Giova has been also partially supported by Universitá degli Studi di Napoli “Parthenope” through the Project CoRNDiS, DM MUR 737/2021, CUP I55F21003620001 and by the Gruppo UMI “Teoria dell’Approssimazione e Applicazioni - T.A.A.”.
Funding
Open access funding provided by Università Parthenope di Napoli within the CRUI-CARE Agreement.
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
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
Gentile, A., Giova, R. & Torricelli, A. Regularity Results for Bounded Solutions to Obstacle Problems with Non-standard Growth Conditions. Mediterr. J. Math. 19, 270 (2022). https://doi.org/10.1007/s00009-022-02162-8
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-022-02162-8