Abstract
This paper concerns fully nonlinear elliptic obstacle problems with oblique boundary conditions. We investigate the existence, uniqueness and \(W^{2,p}\)-regularity results by finding approximate non-obstacle problems with the same oblique boundary condition and then making a suitable limiting process.
Similar content being viewed by others
1 Introduction and main results
This paper concerns the existence, uniqueness and regularity for viscosity solutions to the following obstacle problem with oblique boundary data
for a given obstacle \(\psi \in W^{2,p}(\Omega )\) satisfying \(\beta \cdot D\psi \ge 0 \) a.e. on \(\partial \Omega \). Here \(\Omega \) is a bounded domain in \({\mathbb {R}}^{n}\) with its boundary \(\partial \Omega \in C^{3}\), F is uniformly elliptic with constants \(\lambda \) and \(\Lambda \), i.e.,
for any \(n \times n\) symmetric matrices \(X_{1}, X_{2}\) with \(X_{2} \ge 0\), \(q \in {\mathbb {R}}^{n}\), \(r \in {\mathbb {R}}\) and \(x \in \Omega \), and \(\beta \) is a vector-valued function with \(||\beta ||_{L^{\infty }(\partial \Omega )} = 1 \) and \(\beta \cdot {\mathbf {n}} \ge \delta _{0} \) for some positive constant \(\delta _{0}\), where \( {\mathbf {n}}\) is the inner unit normal vector field of \(\partial \Omega \).
The main purpose of this paper is to find \(W^{2,p}\)-regularity theory for (1.1). More precisely, we want to identify the minimal condition of F with respect to x-variable under which the Hessian of a solution is as integrable as both the nonhomogeneous term f and the Hessian of the obstacle \(\psi \) in the setting of \(L^{p}\) spaces for \(n<p < \infty \).
Throughout this paper, we assume that \(F=F(X,q,r,x)\) is convex in X and satisfies
for any \(X \in S(n)\), \(q \in {\mathbb {R}}^{n}\), \(r_{1}, r_{2} \in {\mathbb {R}}\) with \(r_{1} \le r_{2}\), \(x \in \Omega \), and some \(d>0\). We further assume that
for \(X_{1},X_{2} \in S(n) \), \( q_{1}, q_{2} \in {\mathbb {R}}^{n}\), \(r_{1}, r_{2} \in {\mathbb {R}}\) and \( x \in \Omega \). These assumptions are essential in order to derive our desired results for solutions of (1.1), such as the existence, uniqueness and \(W^{2,p}\)-regularity.
With an oscillation function of F defined as
alongside a small perturbation of \(\Theta _{F}\) from its integral average in the \(L^{n}\)-sense, we shall prove the \(W^{2,p}\)-regularity for (1.1), as we now state the main result of the paper. We remark that this approach to derive \(W^{2,p}\)-regularity was employed in [7].
Theorem 1.1
Let \(n<p<\infty \). Assume that \(F=F(X,q,r,x)\) is convex in X, satisfies (1.2)-(1.3) and \(F(0,0,0,x) \equiv 0\), \( \partial \Omega \in C^{3},f \in L^{p}(\Omega ), \beta \in C^{2}(\partial \Omega )\) with \(\beta \cdot {\mathbf {n}} \ge \delta _{0}\) for some \(\delta _{0} > 0\) and \(\psi \in W^{2,p}(\Omega )\). Then there exists a small \(\epsilon =\epsilon ( n, \lambda , \Lambda , p, \delta _{0}, ||\beta ||_{C^{2}(\partial \Omega )})>0\) such that if
for some \(\rho _{0}>0\), then there is a unique viscosity solution \(u \in W^{2,p}(\Omega )\) of (1.1) with the following estimate
for some constant \(c=c(n, \lambda , \Lambda , p, \delta _{0},b,c, ||\beta ||_{C^{2}(\partial \Omega )}, ||\partial \Omega ||_{C^{3}}, {\text {diam}}(\Omega ),\rho _{0})\).
Remark 1.2
We assumed \(F(0,0,0,x) \equiv 0\) to derive Theorem 1.1. This allows us to neglect the oscillation of F when \(X=0\). We note that one can also obtain \(W^{2,p}\)-regularity by introducing the following oscillation function
without the condition \(F(0,0,0,x) \equiv 0\) (see also [35, Section 5] for the parabolic case).
One of the important issues regarding the obstacle problem is to study solutions near the boundary of the contact surface with the obstacle. To this end, suitable approximation methods have been used. In this regard, we revisit the argument made in [4] where the Dirichlet boundary problem was studied instead. Our main difficulty in using such an argument comes from the situation that we are treating here the oblique boundary condition. Thus, we need to modify the tools used in [4] properly to derive the desired boundary estimates in the present paper. To do this, we verify several uniform properties of a solution for the corresponding non-obstacle problem such as \(W^{2,p}\)-regularity and comparison principle.
As a generalization of Neumann boundary problems, researches on oblique derivative problems have been extensively made as in [14, 24, 25, 28, 31, 33]. In particular, several notable results for fully nonlinear elliptic equations were obtained in the notion of viscosity solutions. The existence and uniqueness of fully nonlinear oblique derivative problems were proved in [15, 16, 22]. For the regularity of the associated limiting problem, there have been established \(W^{2,\infty }\)-estimates (indeed, \(C^{2,\alpha }\)-estimates), see [30] for the Neumann boundary condition and [29] for the oblique boundary condition, respectively. In [3] a global \(W^{2,p}\)-regularity for the elliptic oblique derivative problem was proved.
On the other hand, the obstacle problem has been studied along with the free boundary problem. We refer the reader to [17, 32] for a general theory of the obstacle problem. For free boundary problems of the classical Poisson equation, we can find results about the minimal conditions to obtain regularity in [1, 20]. Meanwhile, for fully nonlinear elliptic equations, there have been a number of noteworthy preceding results, for example, [6, 23, 34]. And Indrei’s recent study [21] provided \(C^{1}\)-regularity of the free boundary without density assumptions. Regularity results for the elliptic obstacle problem can be found in [2, 5, 18, 19]. We would like to point out that \(C^{1}\)-regularity for the obstacle problem with the oblique boundary condition was shown in [26], while \(W^{2,p}\)-regularity for the Dirichlet obstacle problem was given in [4]. Free boundary problems with oblique derivative conditions are studied in [10, 11], including applications to transonic shocks. The main purpose of this paper is to derive a \(W^{2,p}\)-estimate for the oblique derivative problem with a \(W^{2,p}\)-obstacle. We used the interior estimate [7, Theorem 7.1] and boundary estimate [3, Theorem 3.1] to derive our result.
The remaining part of the paper is organized in the following way. In the next section we introduce basic notation and give a brief exposition of viscosity solutions. Section 3 deals with the associated oblique derivative problem without obstacles. In particular we discuss the existence, uniqueness and \(W^{2,p}\)-regularity for the non-obstacle problem. In the last section we finally give the proof of Theorem 1.1.
2 Preliminaries
2.1 Notations
We first introduce some notations which will be used in this paper.
-
\(B_{r}(x_{0}):=\{ x \in {\mathbb {R}}^{n} :|x-x_{0}|<r \} \) for \(x_{0} \in {\mathbb {R}}^{n} \), \(r>0\). \(B_{r}=B_{r}(0)\).
-
S(n) is the set of \(n \times n \) symmetric matrices and \(||M||=\sup _{|x| \le 1} |Mx|\) for any \( M \in S(n)\).
-
We denote the gradient and Hessian of u by \( Du=(D_{1}u, \cdots , D_{n}u)\) and \(D^{2}u = (D_{ij}u) \), respectively. Here \( D_{i}u=\frac{\partial u}{\partial x_{i}} \) and \( D_{ij}u=\frac{\partial ^{2} u}{\partial x_{i}\partial x_{j}} \) for \( 1 \le i,j \le n\).
-
For any measurable set A with \(|A| \ne 0 \) and measurable function f, to mean the integral average of f over A,
2.2 Basic concepts
In this subsection, we briefly present some background knowledge for our discussion. As usual, we are treating a viscosity solution. To do this, we consider the following problem with oblique boundary data
where \(\Omega \subset {\mathbb {R}}^{n}\) is a bounded domain. There are several ways to define a viscosity solution depending on the choice of a test function. In this paper, we take a test function \(\varphi \) in \(W^{2,p}(\Omega )\). The solution defined in this way is called an \(L^{p}\)-viscosity solution.
Definition 2.1
Let F be continuous in X and measurable in x. Suppose \(q > n\) and \(f \in L^{q}(\Omega )\). A continuous function u is called an \(L^{q}\)-viscosity solution for (2.1) if the following conditions hold:
-
(a)
(subsolution) For each \( \varphi \in W^{2,q}(\Omega ) \), whenever \(\epsilon >0\), \({\mathcal {O}}\) is relatively open in \({\overline{\Omega }}\) and
$$\begin{aligned} F( D^{2} \varphi (x ), D \varphi (x ),\varphi (x ), x ) \le f(x)- \epsilon \quad \text {a.e. in} \ {\mathcal {O}} \end{aligned}$$and
$$\begin{aligned} \beta \cdot D\varphi (x) \le - \epsilon \quad \text {a.e. on} \ {\mathcal {O}} \cap \partial \Omega , \end{aligned}$$\(u-\varphi \) cannot attain a local maximum in \({\mathcal {O}}\).
-
(b)
(supersolution) For each \( \varphi \in W^{2,q}(\Omega ) \), whenever \(\epsilon >0\), \({\mathcal {O}}\) is relatively open in \({\overline{\Omega }}\) and
$$\begin{aligned} F( D^{2} \varphi (x ), D \varphi (x ),\varphi (x ), x ) \ge f(x)+ \epsilon \quad \text {a.e. in} \ {\mathcal {O}} \end{aligned}$$and
$$\begin{aligned} \beta \cdot D\varphi (x) \ge \epsilon \quad \text {a.e. on} \ {\mathcal {O}} \cap \partial \Omega , \end{aligned}$$\(u-\varphi \) cannot attain a local minimum in \({\mathcal {O}}\).
We remark that it is also possible to take a \(C^{2}\)-function as a test function if F is continuous in each variable. In this case, the solution is called a C-viscosity solution. For a further discussion of a C-viscosity solution, we refer the reader to [8].
Next we give some tools to treat viscosity solutions. To do this, we introduce Pucci extremal operators.
Definition 2.2
Let \(0 < \lambda \le \Lambda \). For any \(M \in S(n) \), the Pucci extremal operator \( {\mathcal {M}}^{+} \) and \({\mathcal {M}}^{-}\) are defined as follows:
and
where \( e_{i}\) are eigenvalues of X. Moreover, for \(b>0\), we write
respectively.
This definition allows us to introduce the class S. These classes can be considered as classes of viscosity solutions.
Definition 2.3
Let \(0 < \lambda \le \Lambda \). We define the class \({\underline{S}}(\lambda , \Lambda , b,f)\) \(\big ( {\overline{S}}(\lambda , \Lambda ,b, f) , {\hbox {respectively}} \big )\) consisting of all functions u such that
in the viscosity sense in \(\Omega \). We also define
and
Remark 2.4
Let u be a viscosity subsolution (supersolution, respectively) of
where \(F=F(X,q,r,x)\) is uniformly elliptic with constants \(\lambda , \Lambda \) satisfying the structure condition (1.3). Then we can observe that u satisfies
in the viscosity sense.
3 Oblique derivative problems
Before establishing \(W^{2,p}\)-regularity (\(p>n\)) for the obstacle problem (1.1), we first discuss some issues concerning the existence, uniqueness and regularity for the oblique derivative problem (2.1).
We recall Definition 2.3 to start with an Alexandroff-Bakelman-Pucci (ABP) maximum principle for the oblique boundary problem. See [29, Theorem 2.1] for the proof.
Lemma 3.1
Let u satisfy
in the viscosity sense for \(f \in L^{n}(\Omega )\) and \(g \in L^{\infty }(\Gamma )\). Suppose that there exist \(\xi \in \partial B_{1}\) and \(\delta _{1} >0\) such that \(\beta (x) \cdot \xi \ge \delta _{1}\) for any \( x \in \Gamma \). Then
where C only depends on \(n, \lambda , \Lambda ,b,\delta _{1}\) and \({\text {diam}}(\Omega )\).
We also give a weak Harnack’s inequality for supersolutions. The proof can be found in [36, Proposition 1.8].
Lemma 3.2
Let \(p > n\) and \(f \in L^{p}(B_{1})\). Suppose that \(u \in {\overline{S}}(\lambda , \Lambda ,b, f)\) in the viscosity sense and \(u \ge 0\) in \(B_{1}\). Then there exist \(p_{0}, C > 0\) depending only on \(n, \lambda ,\Lambda \) and b such that
The following stability lemma, which can be found in [36, Proposition 1.5], will be used later (see also [9, Theorem 3.8]).
Proposition 3.3
For \(k \in {\mathbb {N}}\), let \( \Omega _{k} \subset \Omega _{k+1} \) be an increasing sequence of bounded domains and \(\Omega : = \cup _{k \ge 1} \Omega _{k} \). Let F and \(F_{k}\) be measurable in x and satisfy the structure condition (1.3). Assume that for \(p>n\), \(f \in L^{p}(\Omega ) \) and \( f_{k} \in L^{p}(\Omega _{k})\), and that \( u_{k } \in C(\Omega _{k})\) are \(L^{p}\)-viscosity subsolutions (supersolutions, respectively) of \(F_{k}(D^{2}u_{k}, Du_{k}, u_{k}, x) = f_{k}\) in \(\Omega _{k} \). Suppose that \(u_{k} \rightarrow u\) locally uniformly in \(\Omega \), and for \(B_{r}(x_{0}) \subset \Omega \) and \( \varphi \in W^{2,p}(B_{r}(x_{0}))\)
where \( s(x) = F(D^{2}\varphi , D \varphi , u, x)-f(x)\) and \( s_{k}(x) = F(D^{2}\varphi _{k}, D \varphi _{k}, u_{k}, x)-f_{k}(x)\). Then u is an \(L^{p}\)-viscosity subsolution (supersolution) of
Moreover, if F and f are continuous, then u is a C-viscosity subsolution (supersolution) provided that (3.1) holds for \( \varphi \in C^{2}(B_{r}(x_{0}) )\).
Now we return to (2.1). Here we assume that there is a continuous increasing function \(\omega \), defined on \([0, \infty )\) with \(\omega (0)=0\), such that
holds for any \(x_{1},x_{2} \in \Omega \), \(q \in {\mathbb {R}}^{n}\), \(r \in {\mathbb {R}}\), \(\alpha >0\) and \(X_{1},X_{2} \in S(n)\) satisfying
One can find the following existence and uniqueness for the problem (2.1) in [27, Theorem 7.19]. We remark that the condition (3.2) is needed to ensure this lemma.
Lemma 3.4
Assume that \(F=F(X,q,r,x)\) is convex in X and continuous in x, satisfies (1.2)-(1.3) and (3.2), and \(F(0,0,0,x) \equiv 0\), \( \partial \Omega \in C^{3}\), \(f \in L^{p}(\Omega )\cap C({\overline{\Omega }})\) for \(p>n\), \(\beta \in C^{2}(\partial \Omega )\) with \(\beta \cdot {\mathbf {n}} \ge \delta _{0}\) for some \(\delta _{0} > 0\). Then there exists a unique viscosity solution u of (2.1).
We now have the following \(W^{2,p}\)-estimate for the viscosity solution to (2.1).
Lemma 3.5
Under the assumptions and conclusion in Lemma 3.4, there exists a small \(\epsilon =\epsilon ( n, \lambda , \Lambda , p, \delta _{0} )\) such that if
for some \(\rho _{0}>0\), then the unique solution u belongs to \(W^{2,p}(\Omega )\) with the following estimate
for some \(C=C(n, \lambda , \Lambda , p, \delta _{0},b,c, ||\beta ||_{C^{2}(\partial \Omega )}, {\text {diam}}(\Omega ),\rho _{0})\).
Proof
According to [3, Theorem 4.6], u belongs to \(W^{2,p}(\Omega )\) with
for some \(C=C(n, \lambda , \Lambda , p, \delta _{0},b,c, ||\beta ||_{C^{2}(\partial \Omega )}, {\text {diam}}(\Omega ),\rho _{0})\).
Therefore, it suffices to obtain the estimate (3.5). To prove this, we argue by contradiction. Suppose not. Then there exist sequences \(\{ u_{k} \}\) and \(\{ f_{k} \}\) such that \(u_{k}\) is the viscosity solution of
with
Consider \({\tilde{u}}_{k}=\frac{u_{k}}{t_{k}}\), \({\tilde{f}}_{k}=\frac{f_{k}}{t_{k}}\) and \( {\tilde{F}}_{k}(X,q,r,x)=\frac{F(t_{k}X,t_{k}q,t_{k}r,x)}{t_{k}},\) where \(t_{k}=||u_{k}||_{W^{2,p}(\Omega )}\). Then \({\tilde{u}}_{k}\) is a viscosity solution of
We also see that \({\tilde{F}}_{k}\) satisfies the assumptions of Lemma 3.4 and
By (3.8), \(||{\tilde{f}}_{k}||_{L^{p}(\Omega )} < 1/k \) and this tends to zero as \(k \rightarrow \infty \). Moreover, by weak compactness theorem, we can extract a proper subsequence \(\{ {\tilde{u}}_{k_{j}} \} \subset \{ {\tilde{u}}_{k} \}\) such that
for some \({\tilde{v}} \in W^{2,p}(\Omega )\). Since \(p>n\), we also observe that \(W^{1,p}(\Omega ) \subset \subset C({\overline{\Omega }})\) and this yields \({\tilde{u}}_{k_{j}} \rightarrow {\tilde{v}}\) in \(C({\overline{\Omega }})\). Moreover, we also observe that for each j, \( {\tilde{u}}_{k_{j}} \in C^{1,\alpha _{0}}(\partial \Omega )\) for some \(0<\alpha _{0}<1-n/p\) and \(|| D{\tilde{u}}_{k_{j}} ||_{L^{\infty }(\partial \Omega )} \le C\) for some \(C=C(n,p,\Omega )>0\). Then, from Arzelá-Ascoli criterion, we get
Hence, by using Proposition 3.3, we see that v is a viscosity solution of
for some \({\tilde{F}}={\tilde{F}}(X,q,r,x)\). Here we can check that \({\tilde{F}}\) also satisfies (1.2)-(1.3) and (3.2).
Now we deduce that \({\tilde{v}} \equiv 0\) solves (3.9). Then \({\tilde{v}}\) is the unique solution of (3.9) by Lemma 3.4. But, in this case, we get
which is a contradiction. \(\square \)
In the above lemma, we have assumed (3.2), which says that F and f are at least continuous in x. By using mollification, we can relax this assumption.
Lemma 3.6
Assume that \(F=F(X,q,r,x)\) is convex in X and measurable in x, satisfies (1.2)-(1.3) and \(F(0,0,0,x) \equiv 0\), \( \partial \Omega \in C^{3}\), \(f \in L^{p}(\Omega )\) for \(p>n\), \(\beta \in C^{2}(\partial \Omega )\) with \(\beta \cdot {\mathbf {n}} \ge \delta _{0}\) for some \(\delta _{0} > 0\). Then there exists a unique viscosity solution u of (2.1) with the estimate (3.5).
Proof
Fix \(\epsilon >0\). With a standard mollifier \(\varphi \) having \({{\,\mathrm{supp}\,}}\varphi \subset B_{1}\), we define \(\varphi _{\epsilon } (x)=\epsilon ^{-n} \varphi (x / \epsilon )\). Then we set \(f^{\epsilon }(x)=(f *\varphi _{\epsilon })(x)\) and
Note that we extended F and f to zero outside \(\Omega \) here. Then one can check that \( f^{\epsilon }\in L^{p}({\mathbb {R}}^{n}) \cap C^{\infty }({\mathbb {R}}^{n})\), \(F^{\epsilon }\) is convex in X and \(F^{\epsilon }(0,0,0,x) \equiv 0\). Furthermore, we observe that \(F^{\epsilon }\) satisfies (1.2)-(1.3) and (3.2). By using similar arguments in the proofs of Theorem 4.3 and Theorem 4.6 in [36], we can also show that \(F^{\epsilon }\) satisfies (3.4). Consider the following problem
Then applying Lemma 3.5 to \(u_{\epsilon }\), there exists the unique solution \(u_{\epsilon }\) of (3.10) with
for some \(C=C(n, \lambda , \Lambda , p, \delta _{0},b,c, ||\beta ||_{C^{2}(\partial \Omega )}, {\text {diam}}(\Omega ),\rho _{0})\) (for the existence issue, see also [36, Proposition 1.11]).
Since \(W^{2,p}(\Omega ) \subset \subset C^{ 1, \alpha } ({\overline{\Omega }})\) with \(0< \alpha < 1-n/p\) by Sobolev imbedding, we have \(\{ u_{\epsilon } \}_{\epsilon >0} \) is uniformly bounded in \(C^{1,\alpha _{0}} ({\overline{\Omega }})\) for any small \(\epsilon >0\) and some \(0<\alpha _{0}<1-n/p\). Thus, by using Arzelá-Ascoli criterion, we can obtain that there exists a function v with
for some subsequence \(\{ u_{\epsilon _{j}} \} \subset \{ u_{\epsilon } \}\). Again, applying Proposition 3.3 to v, we can derive that v is a viscosity solution of (2.1) with
for some \(C=C(n, \lambda , \Lambda , p, \delta _{0},b,c, ||\beta ||_{C^{2}(\partial \Omega )}, {\text {diam}}(\Omega ),\rho _{0})\). The uniqueness can be deduced by Lemma 3.7 below. \(\square \)
Meanwhile, a comparison principle for (2.1) can be also obtained as in the case of Dirichlet problems, see [9, Theorem 2.10]. This will be used to prove Theorem 1.1 in the next section.
Lemma 3.7
Let \(\Omega _{0} \subset \Omega \), and let \(\Gamma \in C^{2}\) be relatively open in \(\partial \Omega \). Suppose that \(F=F(X,q,r,x)\) is convex in X and continuous in x, satisfies (1.2)-(3.2) and \(F(0,0,0,x) \equiv 0\), \(\beta \in C^{2}({\overline{\Gamma }}) \) with \(\beta \cdot {\mathbf {n}} \ge \delta _{0}\) for some \(\delta _{0}>0\), \(\psi \in C(\partial \Omega _{0} / \Gamma )\) and \(f \in L^{p}(\Omega _{0})\) for \(n< p < \infty \).
Let \(u_{1}, u_{2} \in W^{2,p}(\Omega ) \cap C({\overline{\Omega }})\) satisfy
and
in the viscosity sense. Then we have \(u_{1} \ge u_{2}\) in \(\Omega _{0}\).
Proof
First we set
One can see that G satisfies (1.2)-(3.2), \(w :=u_{1}-u_{2}\) solves
in the viscosity sense, and that \( w \in {\overline{S}}(\lambda , \Lambda , b, -g)\) for
Set
We want to claim that \(V = \varnothing \). Suppose not. Then we have \(\inf _{V}w <0\). Since
w satisfies
in the viscosity sense, according to [29, Theorem 3.1].
We first consider the case \(\partial V / \Gamma \ne \varnothing \). Observe that \(w \equiv 0\) on \(\partial V \cap \Omega _{0}\) and \( w \ge 0\) on \((\partial V \cap \partial \Omega _{0} ) / \Gamma \). From ABP maximum principle (see [9, Proposition 3.3]), we can deduce that
Thus, w attains a minimum point \(x_{0}\) on \(\partial V \cap \Gamma \).
Now define \({\tilde{w}}(x) = w(x) -\inf _{V} w\) for \(x \in V\). Then we see that \({\tilde{w}} \ge 0 \) in \({\overline{V}}\) with \({\tilde{w}}(x_{0})=0\). Consider a small neighborhood \(N(x_{0}) \subset \Omega \cup \Gamma \) of \(x_{0}\). According to [12, Proposition 11], we can deduce that there exists a point \(x_{1} \in N(x_{0})\cap \Omega \) with \({\tilde{w}}(x_{1})=0\) since \(\beta \cdot Dw \le 0\). Then, by Lemma 3.2, there exists a small number \(\rho >0\) with \(B_{\rho }(x_{1}) \subset \subset \Omega \) such that
That is,
Repeating the above procedure, we can deduce that
Since \({\tilde{w}}\) is continuous in \({\overline{V}}\), we have
and this implies \(w= {\tilde{w}}\). However, it is a contradiction, as we have assumed that \( \inf _{V}w <0.\) Hence, \(V = \varnothing \) and we conclude that
and this implies
On the other hand, if \( \Gamma = \partial V \), we have
Again, by ABP maximum principle, we also have
Set \({\tilde{w}} = w -\inf _{V} w\) in V. Then there is a point \(y_{0} \in \partial V\) with \({\tilde{w}}(y_{0})=0\). From Lemma 3.1, we can see that there is an interior point \(y_{1}\) such that \({\tilde{w}}(y_{1})=0\). Now we derive that \({\tilde{w}} \equiv 0\) in V by using a similar argument as above. This yields that \(w \equiv c_{1} \) in V for some \(c_{1}<0\).
By the definition of w, we have \(u_{1}\equiv u_{2}+c_{1}\) in V. Then we can observe that
in V. But it is a contradiction because \(F(D^{2}u_{1},Du_{1}, u_{1},x) \le f\). Therefore, we conclude that \(V = \varnothing \). This completes the proof. \(\square \)
4 Proof of Theorem 1.1
In this section we establish our main result, Theorem 1.1. Our strategy is to construct a sequence of approximating oblique derivative problems to (1.1). This construction makes it possible to utilize those results obtained in the previous section for (2.1).
In the process of the proof, we are going to use the following Schauder’s fixed point theorem (see [13, Theorem V.9.5]).
Lemma 4.1
(Schauder’s fixed point theorem) Assume that X is a Banach space, \(K \subset X\) is closed, bounded and convex, and suppose that \(S:K \rightarrow K\) is compact. Then S has a fixed point in K.
We now prove the main result of this paper.
Proof of Theorem 1.1
Fix \(\epsilon >0\) and choose a non-decreasing function \(\Phi _{\epsilon } \in C^{\infty }({\mathbb {R}})\) such that
and
Set
Then we have \(g \in L^{p}(\Omega ) \) with the estimate
for some \(C=C(n, \lambda , \Lambda ,b,c)>0\), since \(f, D^{2}\psi \in L^{p}(\Omega ) \) and F satisfies (1.3).
We now consider the following oblique derivative problem without obstacles
We want to show that (4.4) has a unique viscosity solution. For this, fix a function \(v_{0} \in L^{p}(\Omega )\). Then according to Lemma 3.6, we know that there exists a unique viscosity solution \(v_{\epsilon } \in W^{2,p}(\Omega )\) of
with the estimate
for some \(C=C(n, \lambda , \Lambda , p, \delta _{0},b,c, ||\beta ||_{C^{2}(\partial \Omega )},\rho _{0}, {\text {diam}}(\Omega ))>0\), where we have used (4.1) and (4.2). Thus,
for some
Note that \(C_{0}\) is independent of \(v_{0}\). Now we can define a nonlinear operator \(S_{\epsilon }:L^{p}(\Omega ) \rightarrow W^{2,p}(\Omega ) \subset L^{p}(\Omega )\) such that \(S_{\epsilon }v_{0}=v_{\epsilon }\) with (4.4). Write
Note that K is a closed convex subset of \(L^{p}(\Omega )\). On the other hand, by Rellich-Kondrachov compactness theorem, we observe that \(W^{2,p}(\Omega )\) is compactly imbedded in \(W^{1,p}(\Omega )\) and so is in \(L^{p}(\Omega )\). Hence, the closure of \(S_{\epsilon }(A)\) is compact for every \(A \subset K\). Meanwhile, by Proposition 3.3, we can also conclude that \(S_{\epsilon }\) is a continuous operator.
Therefore, by Lemma 4.1, there exists a function \(u_{\epsilon } \in K\) satisfying \(S_{\epsilon }u_{\epsilon }=u_{\epsilon }\), and this implies that \(u_{\epsilon }\) is a viscosity solution of (4.4). Furthermore, from (4.3) and Lemma 3.6, we also observe that
for some \(C=C(n, \lambda , \Lambda , p, \delta _{0},b,c, ||\beta ||_{C^{2}(\partial \Omega )},{\text {diam}}(\Omega ), \rho _{0})\). This shows that \(\{ u_{\epsilon } \}_{\epsilon >0} \) is uniformly bounded in \(W^{2,p}(\Omega )\).
Recall that \(p>n\). Then we observe that \(W^{2,p}(\Omega ) \subset \subset C^{1, \alpha _{0}}({\overline{\Omega }})\) for some \(0<\alpha _{0}< 1-n/p \) by Morrey imbedding. Therefore, we can find a subsequence \(\{ u_{\epsilon _{j}} \}\) with \(\epsilon _{j} \searrow 0\) and a function \(u \in W^{2,p}(\Omega ) \) such that
as \(j \rightarrow \infty \).
Now we claim that u is indeed the unique viscosity solution of (1.1). We first see that u is uniformly bounded and equicontiuous on \(\partial \Omega \) from (4.5) and Morrey imbedding. Thus, by using Arzelá-Ascoli criterion, we have
On the other hand, from (4.4), we observe that
in the viscosity sense for each j. Recall again (4.6). We see that \( u_{\epsilon _{j}} \rightarrow u\) uniformly, and then we can use the result of [9, Theorem 3.8]. Thus, we have \(F(D^{2}u,Du,u,x) \le f\) in \(\Omega \) in the viscosity sense.
Next, we show that
We first see that \( \Phi _{\epsilon _{j}}(u_{\epsilon _{j}}-\psi ) \equiv 0\) on the set
If \(V_{j}=\varnothing \), we have \(u_{\epsilon _{j}} \ge \psi \) in \({\overline{\Omega }}\), and so we are done. Now suppose that \(V_{j} \ne \varnothing \). Then,
We note that \(V_{j}\) is relatively open in \({\overline{\Omega }} \) for each j since \(u_{\epsilon _{j}} \in C({\overline{\Omega }})\).
Recall that
And we also have \(u_{\epsilon _{j}} =\psi \) on \(\partial V_{j} / \partial \Omega \).
Now we can apply Lemma 3.7 to obtain \(u_{\epsilon _{j}} \ge \psi \) in \(V_{j}\), which is a contradiction to the definition of \(V_{j}\) and thus \(V_{j} = \varnothing \) for each j. Therefore, we can obtain \(u \ge \psi \) in \( {\overline{\Omega }}\).
We next claim that
For each \(m \in {\mathbb {N}}\), we have
as \(j \rightarrow \infty \). Thus, for
we derive
as \(j \rightarrow \infty \). Thus, we deduce that
in the viscosity sense.
Therefore, we can conclude that u is a viscosity solution of (1.1). Moreover, from (4.5) and (4.6), we have
for some constant \(C= C(n, \lambda , \Lambda , p, \delta _{0},b,c, ||\beta ||_{C^{2}(\partial \Omega )}, {\text {diam}}(\Omega ),\rho _{0})\).
For the uniqueness, let \(u_{1}\) and \(u_{2}\) be two viscosity solutions of (1.1). Suppose that \(u_{1} \not \equiv u_{2}\). Then we can assume without loss of generality that
Since \(u_{2} > u_{1} \ge \psi \) in G, we see that \(F(D^{2}u_{2},Du_{2},u_{2},x)= f\) in G in the viscosity sense. Then we have
Now applying [9, Theorem 2.10] or Lemma 3.7 to \(u_{1}-u_{2}\), we deduce that \(u_{1} \ge u_{2}\) in G whether \(\partial G \cap \partial \Omega = \varnothing \) or not. This contradicts the definition of the set G, and hence \(u_{1}=u_{2}\). \(\square \)
References
Andersson, J., Lindgren, E., Shahgholian, H.: Optimal regularity for the no-sign obstacle problem. Comm. Pure Appl. Math. 66(2), 245–262 (2013)
Andersson, J., Lindgren, E., Shahgholian, H.: Optimal regularity for the obstacle problem for the \(p\)-Laplacian. J. Differ. Equ. 259(6), 2167–2179 (2015)
Byun, S.-S., Han, J.: \(W^{2, p}\)-estimates for fully nonlinear elliptic equations with oblique boundary conditions. J. Differ. Equ. 268(5), 2125–2150 (2020)
Byun, S.S., Lee, K.A., Oh, J., Park, J.: Nondivergence elliptic and parabolic problems with irregular obstacles. Math. Z. 290(3–4), 973–990 (2018)
Byun, S.S., Lee, K.A., Oh, J., Park, J.: Regularity results of the thin obstacle problem for the \(p(x)\)-Laplacian. J. Funct. Anal. 276(2), 496–519 (2019)
Caffarelli, L.A.: The regularity of free boundaries in higher dimensions. Acta Math. 139(3–4), 155–184 (1977)
Caffarelli, L.A.: Interior a priori estimates for solutions of fully nonlinear equations. Ann. of Math. 130(1), 189–213 (1989)
Caffarelli, L.A., Cabré, X.: Fully nonlinear elliptic equations, vol. 43. American Mathematical Society, Providence, RI (1995)
Caffarelli, L.A., Crandall, M.G., Kocan, M., Święch, A.: On viscosity solutions of fully nonlinear equations with measurable ingredients. Comm. Pure Appl. Math. 49(4), 365–397 (1996)
Čanić, S., Keyfitz, B.L., Kim, E.H.: A free boundary problem for a quasi-linear degenerate elliptic equation: regular reflection of weak shocks. Comm. Pure Appl. Math. 55(1), 71–92 (2002)
Čanić, S., Keyfitz, B.L., Lieberman, G.M.: A proof of existence of perturbed steady transonic shocks via a free boundary problem. Comm. Pure Appl. Math. 53(4), 484–511 (2000)
Charro, F., Montoro, L., Sciunzi, B.: Monotonicity of solutions of fully nonlinear uniformly elliptic equations in the half-plane. J. Differ. Equ. 251(6), 1562–1579 (2011)
Conway, J.B.: A course in functional analysis, vol. 96. Springer-Verlag, New York (1985)
Di Fazio, G., Palagachev, D.K.: Oblique derivative problem for elliptic equations in non-divergence form with VMO coefficients. Comment. Math. Univ. Carolin. 37(3), 537–556 (1996)
Dupuis, P., Ishii, H.: On oblique derivative problems for fully nonlinear second-order elliptic partial differential equations on nonsmooth domains. Nonlinear Anal. 15(12), 1123–1138 (1990)
Dupuis, P., Ishii, H.: On oblique derivative problems for fully nonlinear second-order elliptic PDEs on domains with corners. Hokkaido Math. J. 20(1), 135–164 (1991)
Friedman, A.: Variational principles and free-boundary problems. Pure and Applied Mathematics. John Wiley & Sons Inc, New York (1982)
Figalli, A., Shahgholian, H.: A general class of free boundary problems for fully nonlinear elliptic equations. Arch. Ration. Mech. Anal. 213(1), 269–286 (2014)
Indrei, E., Minne, A.: Regularity of solutions to fully nonlinear elliptic and parabolic free boundary problems. Ann. Inst. H. Poincaré Anal. Non Linéaire 33(5), 1259–1277 (2016)
Indrei, E., Minne, A., Nurbekyan, L.: Regularity of solutions in semilinear elliptic theory. Bull. Math. Sci. 7(1), 177–200 (2017)
Indrei, E.: Boundary regularity and nontransversal intersection for the fully nonlinear obstacle problem. Comm. Pure Appl. Math. 72(7), 1459–1473 (2019)
Ishii, H.: Fully nonlinear oblique derivative problems for nonlinear second-order elliptic PDEs. Duke Math. J. 62(3), 633–661 (1991)
Kinderlehrer, D., Nirenberg, L.: Regularity in free boundary problems. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 4(2), 373–391 (1977)
Lieberman, G.M.: Solvability of quasilinear elliptic equations with nonlinear boundary conditions. II. J. Funct. Anal. 56(2), 210–219 (1984)
Lieberman, G..M.: Oblique derivative problems in Lipschitz domains. I. continuous boundary data. Boll. Un. Mat. Ital. B 1(4), 1185–1210 (1987)
Lieberman, G.M.: Regularity of solutions of obstacle problems for elliptic equations with oblique boundary conditions. Pacific J. Math. 201(2), 389–419 (2001)
Lieberman, G.M.: Oblique derivative problems for elliptic equations. Pte. Ltd., Hackensack, NJ (2013)
Lieberman, G.M., Trudinger, N.S.: Nonlinear oblique boundary value problems for nonlinear elliptic equations. Trans. Amer. Math. Soc. 295(2), 509–546 (1986)
Li, D., Zhang, K.: Regularity for fully nonlinear elliptic equations with oblique boundary conditions. Arch. Ration. Mech. Anal. 228(3), 923–967 (2018)
Milakis, E., Silvestre, L.E.: Regularity for fully nonlinear elliptic equations with Neumann boundary data. Comm. Partial. Differ. Equ. 31(7–9), 1227–1252 (2006)
Palagachev, D.K., Ragusa, M.A., Softova, L.G.: Regular oblique derivative problem in Morrey spaces. Electron. J, Differential Equations (2000)
Petrosyan, A., Shahgholian, H., Uraltseva, N.: Regularity of free boundaries in obstacle-type problems, vol. 136. American Mathematical Society, Providence, RI (2012)
Safonov, M.V.: On the oblique derivative problem for second order elliptic equations. Comm. Partial. Differ. Equ. 20(7–8), 1349–1367 (1995)
Schaeffer, D.G.: Some examples of singularities in a free boundary. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 4(1), 133–144 (1977)
Wang, L.: On the regularity theory of fully nonlinear parabolic equations. I. Comm. Pure Appl. Math. 45(1), 27–76 (1992)
Winter, N.: \(W^{2, p}\) and \(W^{1, p}\)-estimates at the boundary for solutions of fully nonlinear, uniformly elliptic equations. Z. Anal. Anwend. 28(2), 129–164 (2009)
Acknowledgements
The authors thank the referees for careful reading of the early version of this manuscript and offering valuable suggestions and comments
Funding
Open Access funding provided by University of Jyväskylä (JYU).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Giga.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
S.-S. Byun was supported by NRF-2021R1A4A1027378. J. Han was supported by NRF-2017R1C1B2010328. J. Oh was supported by NRF Grant (Nos. NRF-2020R1C1C1A01014904, NRF-2020R1A4A1018190)
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
Byun, SS., Han, J. & Oh, J. On \(W^{2,p}\)-estimates for solutions of obstacle problems for fully nonlinear elliptic equations with oblique boundary conditions. Calc. Var. 61, 162 (2022). https://doi.org/10.1007/s00526-022-02259-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-022-02259-8