Regularity results for solutions to obstacle problems with Sobolev coefficients
Introduction
We are interested in the study of the regularity of the gradient of the solutions to variational obstacle problems of the form where is a bounded open set, belonging to the Sobolev class is the obstacle, and is the class of the admissible functions.
Let us observe that is a solution to the obstacle problem (1.1) in if and only if and u is a solution to the variational inequality where the operator is defined as follows
We assume that A is a p-harmonic operator, that satisfies the following p-ellipticity and p-growth conditions with respect to the ξ-variable. There exist positive constants and an exponent and a parameter such that for all and for almost every .
The regularity for solutions of obstacle problems has been object of intense study not only in the case of variational inequalities modeled upon the p-Laplacian energy [11], [12], [20], [40] but also in the case of more general structures [6], [7], [16], [23], [24].
It is usually observed that the regularity of solutions to the obstacle problems depends on the regularity of the obstacle itself: 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, in this situation there has been an intense research activity in which extra regularity has been imposed on the obstacle to balance the nonlinearity (see [4], [5], [12], [22], [23], [38]).
In some very recent papers the authors analyzed how an extra differentiability of integer or fractional order of the gradient of the obstacle transfers to the gradient of the solutions (see [20], [21]).
The analysis comes from the fact that the regularity of the solutions to the obstacle problem (1.1) is strictly connected to the analysis of the regularity of the solutions to partial differential equation of the form It is well known that no extra differentiability properties for the solutions can be expected even if the obstacle ψ is smooth, unless some assumption is given on the x-dependence of the operator A. Therefore, inspired by recent results concerning the higher differentiability of integer ([8], [14], [17], [18], [19], [26], [27], [30], [31], [33], [41], [42]) and fractional ([2], [13], [32]) order for the solutions to elliptic equations or systems, in a number of papers the higher differentiability of the solution of an obstacle problem is proved under a suitable Sobolev assumption on the partial map . More precisely, in [20], the higher differentiability of the solution of an homogeneous obstacle problem with the energy density satisfying p-growth conditions is proved; in [21] the integrand f depends also on the v variable; in [24], [25] the energy density satisfies -growth conditions. The nonhomogeneous obstacle problem is considered in [39] when the energy density satisfies p-growth conditions and in [10] when the energy density satisfies -growth conditions. All previous quoted higher differentiability results have been obtained under a with Sobolev assumption on the dependence on x of the operator A; some of them reveal also crucial in order to prove local Lipschitz continuity results for the obstacle problem, see for istance in [3], [10], [15].
It is well known that the local boundedness of the solutions to a variational problem is a turning point in the regularity theory. Actually, in [33] it has been proved that, when dealing with bounded solutions to (1.3), the higher differentiability holds true under weaker assumptions on the partial map with respect to . Recently, in [10] it has been proved that a local bound assumption on the obstacle ψ implies a local bound for the solutions to the obstacle problem (1.1), and this allows us to prove that the higher differentiability of solutions to (1.1) persists assuming that the partial map belongs to a Sobolev class that is not related to the dimension n but to the growth exponent of the functional.
More precisely, we assume that there exists a non-negative function such that for almost every and for all . The condition (A4) is equivalent to assume that the operator A has a Sobolev-type dependence on the x-variable (see [35]). Such assumption has been use for non constrained minimizers in [36], [37].
We will prove a higher differentiability result assuming that . More precisely, we shall prove the following
Theorem 1.1 Let satisfy the conditions (A1)–(A4) for an exponent and let be a solution to the obstacle problem (1.2). Then, if the following implication holds with the following estimate
Note that, in the case , Theorem 1.1 improves the results in [20] and [21]. The proof of Theorem 1.1 is achieved combining a suitable a priori estimate for the second derivative of the local solutions, obtained using the difference quotient method, with a suitable approximation argument. The local boundedness allows us to use an interpolation inequality that gives the higher local integrability of the gradient of the solutions. Such higher integrability is the key tool in order to weaken the assumption on κ that in previous results has been assumed at least in .
Moreover, our result is obtained under a weaker assumption also on the gradient of the obstacle. Indeed, previous results assumed while our assumption is with .
Finally, we observe that the assumption of boundedness of the obstacle ψ is needed to get the boundedness of the solution (see Theorem 2.2). Therefore if we deal with a priori bounded minimizers, then the result holds without the hypothesis .
Section snippets
Notations and preliminary results
In this section we list the notations that we use in this paper and recall some tools that will be useful to prove our results.
We shall follow the usual convention and 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. The norm we use on , will be the standard Euclidean one.
For a function , we write
Proof of the Theorem 1.1
The proof of the theorem will be divided in two steps: in the first one, we will establish the a priori estimate, while in the second one we will conclude through an approximation argument.
Proof Step 1: The a priori estimate. Suppose that u is a local solution to the obstacle problem in such that By estimate (2.4) and Lemma 2.1, we also have . Note that the a priori assumption implies that the variational inequality (1.2)
Acknowledgements
The third author has been partially supported by the Gruppo Nazionale per l'Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM) and by Università degli Studi di Napoli Parthenope through the projects “sostegno alla Ricerca individuale” (triennio 2015 - 2017) and “Sostenibilità, esternalità e uso efficiente delle risorse ambientali” (triennio 2017-2019).
References (42)
- et al.
Regularity for minimizers of nonquadratic functionals: the case
J. Math. Anal. Appl.
(1989) - et al.
Regularity results of the thin obstacle problem for the p(x)-Laplacian
J. Funct. Anal.
(2019) - et al.
Higher differentiability of minimizers of convex variational integrals
Ann. Inst. Henri Poincaré, Anal. Non Linéaire
(2011) - et al.
Regularity results for vectorial minimizers of a class of degenerate convex integrals
J. Differ. Equ.
(2018) - et al.
Regularity results for a class of non-differentiable obstacle problems
Nonlinear Anal.
(2020) Hölder continuity of the gradient for degenerate variational inequalities
Nonlinear Anal.
(1990)Higher differentiability for n-harmonic systems with Sobolev coefficients
J. Differ. Equ.
(2015)- et al.
Universal potential estimates
J. Funct. Anal.
(2012) Regularity for the gradient of the solution to a nonlinear obstacle problem with degenerate ellipticity
Nonlinear Anal.
(1988)- et al.
Higher differentiability for solutions of nonhomogeneous elliptic obstacle problems
J. Math. Anal. Appl.
(2019)
Fractional differentiability for solutions of nonlinear elliptic equations
Potential Anal.
Lipschitz continuity results for a class of obstacle problems
Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat.
Degenerate problems with irregular obstacles
J. Reine Angew. Math.
A priori gradient bounds and local -estimates for (double) obstacle problems under non-standard growth conditions
Z. Anal. Anwend.
Nonlinear gradient estimates for double phase elliptic problems with irregular double obstacles
Proc. Am. Math. Soc.
An higher integrability result for the second derivatives of the solutions to a class of elliptic PDE's
Manuscr. Math.
Regularity results for a class of obstacle problems with -growth conditions
A regularity theory for a general class of quasilinear elliptic partial differential equations and obstacle problems
Arch. Ration. Mech. Anal.
On the obstacle problem for quasilinear elliptic equations of p-Laplace type
SIAM J. Math. Anal.
Besov regularity for solutions of p-harmonic equations
Adv. Nonlinear Anal.
Regularity results for a class of non-autonomous obstacle problems with (p,q)-growth
J. Math. Anal. Appl.
Cited by (14)
Besov regularity for a class of elliptic obstacle problems with double-phase Orlicz growth
2024, Journal of Mathematical Analysis and ApplicationsBesov regularity theory for stationary electrorheological fluids
2023, Journal of Differential EquationsRegularity results for solutions to a class of non-autonomous obstacle problems with sub-quadratic growth conditions
2022, Nonlinear Analysis: Real World ApplicationsCitation Excerpt :The main result we prove in this paper is the following. Moreover, we can see this result as an extension to the case of sub-quadratic growth and ellipticity, of the result proved in [11]. In this section we list the notations that we use in this paper and recall some tools that will be useful to prove our results.
Higher differentiability for bounded solutions to a class of obstacle problems with (p,q)-growth
2023, Forum MathematicumRegularity Results for Bounded Solutions to Obstacle Problems with Non-standard Growth Conditions
2022, Mediterranean Journal of MathematicsHigher differentiability for solutions of a general class of nonlinear elliptic obstacle problems with Orlicz growth
2022, Nonlinear Differential Equations and Applications