Abstract
We prove the local boundedness for solutions to a class of obstacle problems with non-standard growth conditions. The novelty here is that we are able to establish the local boundedness under a sharp bound on the gap between the growth exponents.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper deals with the local boundedness of the solutions \(u \in W^{1,p}(\varOmega )\) to variational obstacle problems of the type
Here, \(\varOmega \) is a bounded open set of \(\mathbb {R}^n\), \(n \ge 2\), the function \(\psi : \varOmega \rightarrow [-\infty , + \infty )\), called obstacle, belongs to the Sobolev class \(W^{1,p}(\varOmega )\) and
is the class of admissible functions, where \(u_0 \in W^{1,p}(\varOmega )\) is a fixed boundary datum. To avoid trivialities, in what follows, we shall assume that \(\mathcal {K}_{\psi }(\varOmega )\) is not empty. We assume that the energy density \(F: \varOmega \times \mathbb {R}\times \mathbb {R}^n \rightarrow \mathbb {R}\) is a Carathéodory function such that
for almost all \(x \in \varOmega \) and all \(s \in \mathbb {R}\), \(\xi \in \mathbb {R}^n\), where \( 1 < p \le q\), \(0 \le \gamma \) and \(c_1,c_2 >0\) are fixed constants. We recall that \(u \in \mathcal {K}_{\psi }(\varOmega )\) is a solution to (1.1) if and only if \(F(x,u, Du)\in L_{\text {loc}}^1(\varOmega )\) and the minimality condition
is satisfied for all \(\varphi \in \mathcal {K}_{\psi }(\varOmega )\).
The obstacle problem has been first considered in the works by Stampacchia [19], related to the capacity of a set in potential theory, and Fichera [10], who solved the so-called Signorini problem in elastostatics.
The study of the local boundedness for minimizers of integral functionals is a classic topic in Partial Differential Equations and Calculus of Variations starting from the classical result by De Giorgi [13] and often is the first step in the analysis of the regularity properties of the solutions.
In the last years, there has been an intense research activity concerning the local boundedness of minimizers of unconstrained problems, in case of energy densities satisfying non-standard growth conditions. In [5, 6, 8], the authors established the local boundedness of minimizers of integral functionals satisfying the anisotropic growth conditions
In this case, local boundedness is proven under the condition \(q < \bar{p}^*\), where \(\frac{1}{\bar{p}}= \sum _{i=1}^n \frac{1}{p_i}\) and \(\bar{p}^* = \frac{n \bar{p}}{n- \bar{p}}\). Recently, in [7], the previous boundedness result has been obtained also in the borderline case \(q = \bar{p}^*\). Moreover, the functionals, there considered, allows the dependence on u. Other related boundedness results that deserved to be quoted are [2, 9, 15, 16, 18].
The analogous study for solutions of obstacle problems under non-standard growth has been exploited in [3], where the local boundedness has been established assuming that
provided the obstacle is locally bounded. We also point out a particular case of p, q-growth condition considered in the paper by Chlebicka and De Filippis [4]. There the authors proved the local boundedness for solutions to double-phase obstacle problems, where the model functional is given by
for a non-negative function \(a \in \mathcal {C}^{0,\alpha }\), with \(\alpha \in (0,1]\). For this kind of problems, the local boundedness of the solutions is proven assuming that the obstacle, beside the boundedness, belongs to the Sobolev space \(W^{1,K(\cdot )}\), with \(K(t)=t^p+a(x)t^q\), and the exponents \(p,q,\alpha \) satisfy the relations
A restriction on the closeness between the growth exponents cannot be avoided, since thanks to the well-known Marcellini’s counterexample [17], we know that if
minimizers of functionals with p, q-growth can be unbounded even in the unconstrained setting. In a very recent paper [14], Hirsch and Schäffner proved that the sharp bound (1.8) is sufficient to the local boundedness for unconstrained minimizers.
The aim of this paper is to prove that (1.8) is sufficient also to establish the local boundedness of solutions to the obstacle problem. Here, we improve the previous local boundedness result for obstacle problems contained in [3] in different directions: We admit the dependence of the integrand F not only on x and Du, but on u too; the bound (1.8) is less restrictive than (1.6) and it is essentially sharp for local boundedness, since, in view of a counterexample by Franchi, Serapioni and Serra Cassano [11], the conclusion of Theorem 1.1 is false if condition (1.8) is replaced by
for any \(\varepsilon > 0\), already for unconstrained minimizers. Furthermore, our result shows that solutions to double-phase obstacle problems are locally bounded under weaker assumptions on the data with respect to the one considered in [4] (see Remark 4.1).
More precisely, we are to going to prove the following
Theorem 1.1
Let \(u \in W^{1,p}(\varOmega )\) be a solution to (1.1) under assumptions (1.3) and (1.4), for exponents \(1 < p \le q \), \(0 \le \gamma \) verifying
and
If \(\psi \in L^\infty _{\text {loc}}(\varOmega )\), then \(u \in L^\infty _{\text {loc}}(\varOmega )\) and the following estimate
holds for every ball \(B_{R_0} \Subset \varOmega \), for \(\pi := \pi (n,p,q)\) and with \(C:=C(n,p,q,R_0)\).
Observe that, due to the local nature of our regularity results, we are not requiring further properties on the boundary datum \(u_0\) in (1.2).
The proof of Theorem 1.1 is achieved following the strategy first proposed in [3], i.e., using the well-known De Giorgi method that consists in deriving a suitable Caccioppoli inequality on the superlevel sets of the solution to (1.1). In order to do so, one has to use test functions obtained truncating the solution. Here, the difficulties come from the set of admissible test functions that must belong to the admissible class \(\mathcal {K}_\psi (\varOmega )\) and this is where the local boundedness of the obstacle \(\psi \) comes into play. We also remark that the crucial tool in order to achieve the result under the sharp bound on the gap between the exponents is the Sobolev inequality on the spheres as done in [1, 14].
The paper is organized as follows: In Sect. 2, we introduce some notations and collect some results that will be needed in the sequel; in Sect. 3, we derive a Caccioppoli inequality for the minimizer of (1.1); Sect. 4 is devoted to the proof of Theorem 1.1.
2 Notations and Preliminary Results
In this paper, we will denote by C or c a general positive constant that may vary from line to line. Relevant dependencies on parameters will be highlighted using parentheses. With the symbol \(B_{r}(x)\), we will denote the ball with center x and radius r. We shall omit the dependence on the center and on the radius when they are clear from the context. Moreover, we shall denote by \(S_r = \{ x \in \mathbb {R}^n : |x| =r \}\) the sphere of radius r on \(\mathbb {R}^n\).
The following is a well-known iteration lemma (see [13, Lemma 6.1] for the proof).
Lemma 2.1
Let \(\Phi : [\rho ,R] \rightarrow \mathbb {R}\) be a bounded non-negative function. Assume that for all \(\rho \le t < s \le R\), it holds
where \(\theta \in (0,1)\), A, B, \(C \ge 0\) and \(\gamma >0\) are constants. Then, there exists a constant \(c=c(\theta , \gamma )\) such that
A key ingredient in the proof of Theorem 1.1 is the following lemma, that can be found in [14, Lemma 2.1].
Lemma 2.2
Let \(n \ge 2\). For any \(0< \rho< \sigma < \infty \), \(v \in L^1(B_\sigma )\) and \(s >1\), we set
Then, for every \(\delta \in (0,1]\)
Next Lemma, whose proof can be found in [13, Lemma 7.1], allows us to iterate the Caccioppoli type estimate and it is crucial to establish the local boundedness result.
Lemma 2.3
Let \(\alpha >0\) and let \((J_i)\) be a sequence of real positive numbers, such that
with \(A>0\) and \(\lambda >1\). If \(J_0 \le A^{-\frac{1}{\alpha }} \lambda ^{-\frac{1}{\alpha ^2}}\), then
We conclude this subsection recalling the Sobolev inequality on spheres (see, e.g., [12, Chapter 16]).
Lemma 2.4
Let \(v \in W^{1,m}(S_1, \mathrm {d}\mathcal {H}^{n-1})\) with \(m \in [1,n-1)\). Then, there exists \(c=c(n,m)\) such that
where \(\frac{1}{m^*}=\frac{1}{m}-\frac{1}{n-1}\).
3 Caccioppoli Inequality
If \(u \in W^{1,p}(\varOmega )\), \(k \in \mathbb {R}\) and \(B_R \subset \varOmega \) is a ball, we set
The main result of this section is the following Caccioppoli inequality.
Theorem 3.1
Let \(u \in W^{1,p}(\varOmega )\) be a solution to (1.1) under assumptions (1.3) and (1.4), for exponents \(1 < p \le q \) verifying (1.8) and \(0 \le \gamma \). Assume that \(\psi \in L^\infty _{\text {loc}}(\varOmega )\). Then, the following inequality
holds for all balls \(B_\rho \subset B_R \subset B_{R_0} \Subset \varOmega \) and for every \(k \ge \max \{ \sup _{B_{R_0}} \psi , 1 \}\), where
\(\mu := q-1+\frac{q}{q_*}\) and with \(C:=C(n,q,R_0)\).
Proof
Let us fix \(B_{R_0}(x_0) \Subset \varOmega \). Let \(\frac{R_0}{2} \le \rho \le s < t \le R \le R_0 \) and let \(\eta \in \mathcal {C}_0^\infty (B_t)\) be a cutoff function such that \(0 \le \eta \le 1\), \(\eta =1 \) in \(B_s\), \(|D \eta | \le \frac{2}{t-s}\). By virtue of the assumption \(\psi \in L^\infty _{\text {loc}}(\varOmega )\), we may fix \(k \ge \max \{ \sup _{B_{R_0}} \psi , 1 \}\) and define \(u_k := (u-k)_+=\max \{ u-k,0 \}\). Note that, \(\varphi = u- \eta ^{\sigma }u_k\), with \(\sigma >q\), belongs to \(\mathcal {K}_{\psi }(\varOmega )\). Indeed,
By the minimality of u and the convexity assumption (1.3), we get
Taking into account that \(\eta =1\) on \(B_s\), \(\sigma >q\), \(t \le R\) and the growth assumption (1.4), we obtain
Exploiting Lemma 2.4 after the use of Hölder’s inequality in case \(q \in (1, \frac{n-1}{n-2})\), we infer
for every \(v \in W^{1,q_*}(S_1, \mathrm {d}\mathcal {H}^{n-1})\), where \(q_* \ge 1\) is given by
We set
Combining (3.5) applied to \(v(y)=u^q_k(x_0+ry)\) with \(r \in (s,t)\) and Lemma 2.2 with \(\delta = \frac{q_*}{q}\), we get
Using the fact that \(\frac{R_0}{2} \le s < t \le R_0\), we deduce
Now, notice that inequality (1.8) implies \(q_* \le p\). Thus, using Hölder’s inequality in estimate (3.6), we obtain
where we denote \(\mu = q-1+\frac{q}{q_*}\).
Since estimate (3.4) holds for every \(\eta \in \mathcal {A}(s,t)\), by (3.7), we get
Adding the integral \(\int _{A_{k,s}} F(x,u,Du) \mathrm {d}x\) to both sides of the previous estimate, by Lemma 2.1 we get
Eventually, inequality (3.8) and the growth condition at (1.4) yield
i.e., the conclusion. \(\square \)
4 Proof of the Main Result
Before giving the proof of Theorem 1.1, we need to introduce some notations.
For a fixed ball \(B_{R_0} \Subset \varOmega \), define two sequences by setting
where \(d \ge \max \{ \sup _{B_{R_0}} \psi , 1 \}\) will be determined later. Note that,
and
The use of estimate (3.1) on the concentric balls \(B_{\rho _{i+1}} \subset B_{\rho _i}\) translates into
for every \(i \in \mathbb {N}\).
Moreover, define the sequence \((J_i)\) setting
We begin proving an inequality that will be crucial for the proof of Theorem 1.1.
Lemma 4.1
Let \(u \in W^{1,p}(\varOmega )\) be a solution to (1.1) under assumptions (1.3) and (1.4), for exponents \(1 < p \le q \), \(0 \le \gamma \) verifying (1.8), (1.9), respectively. Then, there exists a constant \(\tilde{C}>0\) such that for every \(i \in \mathbb {N}\)
for some \(\lambda >1\) and \(\alpha >0\), where \(\dfrac{1}{d^\theta }:= \max \biggl \{ \dfrac{1}{d^{p^*_n -p}}, \dfrac{1}{d^{q (\frac{1}{q_*}-\frac{1}{p})p^*_n}}, \dfrac{1}{d^{p^*_n -\gamma }} \biggr \}\).
Proof
We observe that \(k_{i+1}-k_{i} < u-k_i\) on \(A_{k_{i+1},\rho _{i}}\) for every \(i \in \mathbb {N}\). By Sobolev inequality, we get
where \(p^*_n\) was introduced in (1.9).
Furthermore, we have
Inserting estimates (4.2) and (4.3) in (4.1), we obtain
By using Hölder’s and Sobolev inequalities and estimate (4.2), it follows
Summing (4.4) and (4.5), we obtain
for a constant \(C:=C(n,p,q,R_0)\).
Recalling the definition of \(k_i\), \(\rho _i\) and using the fact that \(k_i \le 2d\), we can write inequality (4.6) as follows
where
Notice that by the definition of \(J_i\) and d, we easily derive
Setting
and
estimate (4.7) can be written as
\(\square \)
Now, we are in position to give the proof of our main result.
Proof of Theorem 1.1
Notice that \(u \ge \psi \) and \(\psi \in L^\infty _{\text {loc}}(\varOmega )\) imply that u is bounded from below. Hence, we only need to show that u is bounded from above.
In order to show that the minimizer u is bounded in the ball \(B_{R_0/2}\), we prove that the sequence \((J_i)\) satisfies the assumptions of Lemma 2.3. Indeed, Lemma 2.3 yields
On the other hand, we have
Thus, (4.9) and (4.10) allow us to conclude that
Denote
If \(\gamma < p^*_n\) and \(\varepsilon >0\), by Lemma 4.1, the sequence \((J_i)\) satisfies assumptions of Lemma 2.3 with
where \(\sigma \) was defined in (4.8).
We also have that
Therefore, (4.9) holds.
If \(\gamma <p^*_n\) and \(\varepsilon =0\), Lemma 4.1 implies that the sequence \((J_i)\) satisfies Lemma 2.3 with
Therefore, by Lemma 2.3, we have that (4.9) holds if
By definition, \(J_0 = \Vert (u-d)_+ \Vert ^p_{W^{1,p}(B_{R_0})}\). We choose \(d>0\) large enough so that (4.11) holds; this is possible since \(u \in W^{1,p}(B_{R_0})\) and
With this choice of d, we get (4.9).
Eventually, the case \(\gamma =p^*_n\) and \(\varepsilon \ge 0\) can be treated as the previous one.
Remark 4.1
Let us consider functionals F satisfying the double-side bound
for constants \(0 \le \nu \le L\), where
with \(1< p < q\) and \(0 \le a(x) \in L^\infty (\varOmega )\). Then, under the closeness condition (1.8) on the exponents p, q, solutions to (1.1) with F verifying (4.12) are locally bounded provided the obstacle is locally bounded. The arguments are essentially the same of Theorem 1.1. Indeed, an analogous version of Theorem 3.1 and Lemma 4.1 can be proved similarly with exponent \(\gamma =0\).
Let \(u \in W^{1,p}(\varOmega )\) be a solution to (1.1) with energy density satisfying the growth condition (4.12). Using the same notation introduced in the proof of Theorem 3.1, we have
By the very definition of H(x, z), we have that for a.e. \(x \in \varOmega \) and every \(z_1,z_2 \in \mathbb {R}^n\)
Using (4.15), the fact that \(\eta \le 1\) and the boundedness of function a, we estimate inequality (4.14) as follows
Taking into account that \(\eta =1\) on \(B_s\), the growth assumption (4.12) and \(t \le R\), we obtain
Recalling the definition of H(x, Du), the previous estimate yields the Caccioppoli inequality (3.1) with \(\gamma =0\).
It is worth noting that the local boundedness of the solutions to double-phase obstacle problems with integrand F satisfying (4.12) is proven under weaker assumptions on the data with respect to the one assumed in [4]. Indeed, the gap (1.8) is better than (1.7), we do not require any regularity on the function a(x) and the obstacle is only assumed to be bounded.
5 Conclusions
The main result of this paper states that solutions to a class of obstacle problems, satisfying p, q-growth conditions under the sharp relation
are locally bounded.
Let us briefly describe the contents of the paper. After recalling some notation and preliminary results in Sect. 2, we focus on deriving the intermediate steps that will put us in the position to prove our main result. In particular, in Sect. 3, we show that the solution to the obstacle problem satisfies a suitable Caccioppoli inequality (see Theorem 3.1). In Sect. 4, we give the proof of Lemma 4.1 that allows us to iterate the Caccioppoli type estimate, so that we are eventually able to prove Theorem 1.1.
References
Bella, P., Schäffner, M.: Local boundedness and harnack inequality for solutions of linear nonuniformly elliptic equations. Comm. Pure Appl. Math. 74, 0453–0477 (2021)
Carozza, M., Giannetti, F., Leonetti, F., di Napoli, A.P.: Pointwise bounds for minimizers of some anisotropic functionals. Nonlinear Anal. 177, 254–269 (2018)
Caselli, M., Eleuteri, M., di Napoli, A.P.: Regularity results for a class of obstacle problems with p, q- growth conditions. ESAIM: Control, Opt. Calculus Var. 27, 19 (2021)
Chlebicka, I., De Filippis, C.: Removable sets in non-uniformly elliptic problems. Annali di Mat. 199, 619–649 (2020)
Cupini, G., Marcellini, P., Mascolo, E.: Regularity under sharp anisotropic general growth conditions. Discrete Contin. Dyn. Syst. Ser. B 11, 66–86 (2009)
Cupini, G., Marcellini, P., Mascolo, E.: Local boundedness of solutions to quasilinear elliptic systems. Manuscripta Math. 137(3), 287–315 (2012)
Cupini, G., Marcellini, P., Mascolo, E.: Local boundedness of minimizers with limit growth conditions. J. Optim. Theory Appl. 166, 1–22 (2015)
Cupini, G., Marcellini, P., Mascolo, E.: Regularity of minimizers under limit growth conditions. Nonlinear Anal.: Theory, Methods Appl. 153, 294–310 (2017)
Dall’Aglio, A., Mascolo, E., Papi, G.: Local boundedness for minima of functionals with nonstandard growth conditions. Rendiconti di Mat. 18, 305–326 (1998)
Fichera, G.: Problemi elastostatici con vincoli unilaterali: il problema di signorini con ambigue condizioni al contorno. Atti Accad. Naz. Lincei Mem. Cl. Sci. Fis. Mat. Nat. Sez. Ia 7(8), 91–140 (1967)
Franchi, B., Serapioni, R., Cassano, F.S.: Irregular solutions of linear degenerate elliptic equations. Potential Anal. 9(3), 201–216 (1998)
Gilbarg, D., Trudinger, N.: Elliptic partial differential equations of second order. Springer, Berlin (1998)
Giusti, E.: Direct Methods in the Calculus of Variations. World Scientific, Singapore (2003)
Hirsch, J., Schäffner, M.: Growth conditions and regularity, an optimal local boundedness result. Commun. Contemp. Math. 23(3), 2050029 (2021)
Leonetti, F., Petricca, P.V.: Regularity for vector valued minimizers of some anisotropic integral functionals. J. Inequal. Pure Appl. Math. 7, Art. 88 (2006)
Leonetti, F., Petricca, P.V.: Regularity for minimizers of integrals with nonstandard growth. Nonlinear Anal.: Theory, Methods Appl. 129, 258–264 (2015)
Marcellini, P.: Regularity and existence of solutions of elliptic equations with \(p, q\)-growth conditions. J. Differ. Equ. 90(1), 1–30 (1991)
Moscariello, G., Nania, L.: Hölder continuity of minimizers of functionals with non standard growth conditions. Ricerche mat. 30, 259–273 (1991)
Stampacchia, G.: Formes bilineaires coercivitives sur les ensembles convexes. C. R. Math. Acad. Sci. Paris 258, 4413–4416 (1964)
Acknowledgements
The authors wish to thank the anonymous referees for useful comments which improve the initial version of the paper.
Funding
Open access funding provided by Universitá degli Studi di Napoli Federico II within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Antonino Maugeri.
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
De Rosa, M., Grimaldi, A.G. A Local Boundedness Result for a Class of Obstacle Problems with Non-Standard Growth Conditions. J Optim Theory Appl 195, 282–296 (2022). https://doi.org/10.1007/s10957-022-02084-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10957-022-02084-1