Abstract
We consider elliptic operators in divergence form with lower order terms of the form \(Lu = -{{\textrm{div}}}(A \cdot \nabla u + b u ) - c \cdot \nabla u - du\), in an open set \(\Omega \subset \mathbb {R}^n\), \(n \ge 3\), with possibly infinite Lebesgue measure. We assume that the \(n \times n\) matrix A is uniformly elliptic with real, merely bounded and possibly non-symmetric coefficients, and either \(b, c \in L^{n,\infty }_{\text {loc}}({\Omega })\) and \(d \in L_{\text {loc}}^{\frac{n}{2}, \infty }(\Omega )\), or \(|b|^2, |c|^2, |d| \in \mathcal {K}_{\text {loc}}(\Omega )\), where \(\mathcal {K}_{\text {loc}}(\Omega )\) stands for the local Stummel–Kato class. Let \({\mathcal {K}_{\text {Dini}}}(\Omega )\) be a variant of \(\mathcal {K}(\Omega )\) satisfying a Carleson-Dini-type condition. We develop a De Giorgi/Nash/Moser theory for solutions of \(Lu = f - {{\textrm{div}}}g\), where f and \(|g|^2 \in {\mathcal {K}_{\text {Dini}}}(\Omega )\) if, for \(q \in [n, \infty )\), any of the following assumptions holds: (i) \(|b|^2, |d| \in {\mathcal {K}_{\text {Dini}}}(\Omega )\) and either \(c \in L^{n,q}_{\text {loc}}(\Omega )\) or \(|c|^2 \in \mathcal {K}_{\text {loc}}(\Omega )\); (ii) \({{\textrm{div}}}b +d \le 0\) and either \(b+c \in L^{n,q}_{\text {loc}}(\Omega )\) or \(|b+c|^2 \in \mathcal {K}_{\text {loc}}(\Omega )\); (iii) \(-{{\textrm{div}}}c + d \le 0\) and \(|b+c|^2 \in {\mathcal {K}_{\text {Dini}}}(\Omega )\). We also prove a Wiener-type criterion for boundary regularity. Assuming global conditions on the coefficients, we show that the variational Dirichlet problem is well-posed and, assuming \(-{{\textrm{div}}}c +d \le 0\), we construct the Green’s function associated with L satisfying quantitative estimates. Under the additional hypothesis \(|b+c|^2 \in \mathcal {K}'(\Omega )\), we show that it satisfies global pointwise bounds and also construct the Green’s function associated with the formal adjoint operator of L. An important feature of our results is that all the estimates are scale invariant and independent of \(\Omega \), while we do not assume smallness of the norms of the coefficients or coercivity of the associated bilinear form.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the present paper we will deal with elliptic equations of the form
in an open set \(\Omega \subset {\mathbb R}^{n}\), \(n \ge 3\), where \(A(x)= (a_{ij}(x))_{i, j =1}^{n}\) is a matrix with entries \(a_{ij}: {\Omega }\rightarrow {\mathbb R}\), for \(i,j \in \{1, 2, \dots , n\}\), \(b,c: \Omega \rightarrow {\mathbb R}^{n}\) are vector fields, and \(d: \Omega \rightarrow {\mathbb R}\) a real-valued function. Our standing assumptions are the following:
There exist \(0< \lambda< \Lambda < \infty \), so that
where \( {\mathcal {K}}_\text {loc}({\Omega })\) and \(L^{n,\infty }_\text {loc}({\Omega })\) stand for the local Stummel-Kato class and the local weak-\(L^n\) space respectively (see Definitions 2.9 and 2.22)Footnote 1. In several cases, we will also need to assume one of the following negativity conditions:
or
If (1.5) (resp. (1.6)) holds we will say that the bd (resp. cd) negativity condition is satisfied. If we reverse the inequality signs we will say that the bd or cd positivity condition is satisfied.
The objective of the current manuscript is to generalize the standard theory of elliptic PDE of the form \(-{{\textrm{div}}}A \nabla u =0\) in open sets \({\Omega }\subset {\mathbb R}^n\), \(n \ge 3\), with possibly infinite Lebesgue measure, to equations of the form (1.1) under the aforementioned standing assumptions. In particular, we aim to show scale invariant a priori local estimates (Caccioppoli inequality, local boundedness and weak Harnack inequality), interior and boundary regularity for solutions of (1.1), the weak maximum principle, well-posedness of the Dirichlet and obstacle problems, and finally to construct the Green’s function for our operator satisfying several quantitative estimates. It is important to highlight that neither the bilinear form associated with the elliptic equation is coercive, nor the norms of the coefficients are small, which is one of the main technical difficulties.
We would like to point out that we will only state the theorems in the main body of the paper, just before their proofs. Nevertheless, the reader can find a detailed description of our results in the introduction.
Let us give a brief overview of our results. In Sect. 3.1 we prove the standard interior and boundary Caccioppoli’s inequality under either negativity condition (Theorems 3.1, 3.2, and 3.3), while, in Sect. 5, having global assumptions on the coefficients, we show the well-posedness of the generalized Dirichlet problem (5.2) satisfying the estimate (5.11), as well as the validity of the weak maximum principle (Theorem 5.1). This maximum principle allows us to solve the obstacle problem in bounded domains (Theorem 5.6). Then we assume that one of the following conditions hold:
-
(1)
\(|b|^2, |d| \in {\mathcal {K}_{\text {Dini}}}({\Omega })\) and either \(|c|^2 \in {\mathcal {K}}_\text {loc}({\Omega })\) or \(c \in L^{n,q}_\text {loc}({\Omega })\), for \(q \in [n, \infty )\);
-
(2)
\({{\textrm{div}}}b +d \le 0\) and either \(|b+c|^2 \in {\mathcal {K}}_\text {loc}({\Omega })\) or \(b+c \in L^{n,q}_\text {loc}({\Omega })\), for \(q \in [n, \infty )\);
-
(3)
\(-{{\textrm{div}}}c + d \le 0\) and \(|b+c|^2 \in {{\mathcal {K}}_{\text {Dini}}}(\Omega )\) (see Definition 2.11).
In Sect. 3.2, we demonstrate that the refined Caccioppoli inequality holds in the interior and the boundary (Theorems 3.5 and 3.8), which leads to the local boundedness of subsolutions (Theorem 4.4) and the weak Harnack inequality for non-negative supersolutions (Theorem 4.5) both in the interior and at the boundary. In Sect. 4.2 we prove interior and boundary regularity for solutions and finally, assuming the cd-negativity condition and either \(b+c \in L^{n,q}({\Omega })\), for \(q \in [n, \infty )\), or \(|b+c|^2 \in {\mathcal {K}}'({\Omega })\), we use the aforementioned results to construct the Green’s function associated with the operator L satisfying several quantitative estimates. Under the additional hypothesis \(|b+c|^2 \in {\mathcal {K}}'({\Omega })\), we show global pointwise bounds and construct the Green’s function associated with the formal adjoint operator of L. All our estimates are scale invariant and independent of the Lebesgue measure of the domain.
We now briefly review the history of work in this area for linear elliptic equations in divergence form with merely bounded leading coefficients and singular lower order terms. The generalized Dirichlet problem in the Sobolev space \(W^{1,2}\) is well-posed if there exists a unique \(u \in W^{1,2}({\Omega })\) such that \(Lu=f+{{\textrm{div}}}g\) and \(u - \phi \in W^{1,2}_0({\Omega })\) for fixed \(\phi \in W^{1,2}({\Omega })\) and \(f, g_i \in L^2({\Omega })\). Moreover, there exists a constant \(C_{\phi ,f, g}\) so that the global estimate \(\Vert u\Vert _{W^{1,2}({\Omega })} \lesssim C_{\phi ,f, g}\) holds. For operators without lower order terms this problem has a long history and we refer to [9, p.214] and the references therein for details. In bounded domains, in the presence of lower order terms, Ladyzhenskaya and Ural’tseva [19] and Stampacchia [34] proved well-posedness of the generalized Dirichlet problem assuming conditions related to the coercivity of the operator or smallness of the norms of the lower order coefficients. This was quite restrictive as, for example, the “bad” terms coming from the lower order coefficients can be absorbed in view of smallness. Gilbarg and Trudinger [9] gave an extension of the previous results replacing the smallness conditions by the assumptions \(b, c, d \in L^\infty ({\Omega })\) assuming either (1.5) or (1.6). In fact, they only need \(b, c \in L^s({\Omega })\) and \(d \in L^{s/2}({\Omega })\), for some \(s>n\). Recently, Kim and Sakellaris [16], generalized it to operators whose coefficients are in the critical Lebesgue space. Unfortunately, in all those results, the implicit constant in the global estimate depends on the Lebesgue measure of \({\Omega }\) and thus, they cannot be extended to unbounded domains by approximation. On the other hand, in unbounded domains with possibly infinite Lebesgue measure, already in 1976, Bottaro and Marina [2] proved that, if \(b, c \in L^n({\Omega })\), \(d \in L^{n/2}({\Omega })+L^\infty ({\Omega })\), and \( {{\textrm{div}}}b + d \le \mu <0\), then the generalized Dirichlet problem is well-posed. To our knowledge, this was the first paper establishing well-posedness in such generality. Using the same method, Vitanza and Zamboni [36], showed well-posedness of the same problem when \(|b|^2, |c|^2, |d| \in {\mathcal {K}}'({\Omega })\).
The local pointwise estimates find their roots in De Giorgi’s celebrated paper [7] on the Hölder continuity of solutions of elliptic equations of the form \(-{{\textrm{div}}}A \nabla u=0\), where Theorems 4.4 (i) and 4.12 were proved in this special case (see also [25]). A few years later, Moser gave a new proof of De Giorgi’s theorem in [23]. The same results were extended in equations of the form (1.1) by Morrey [22] when \(b, c \in L^q\) and \(d \in L^{q/2}\), for \(q>n\) and Stampacchia [32] (in more special cases). Moser also established the weak Harnack inequality for solutions of \(-{{\textrm{div}}}A \nabla u=0\) in [24], while Stampacchia [34] proved all the a priori estimates for equations of the form (1.1) with \(c \in L^n\) and \(|b|^2, d \in L^s\), \(s>n/2\), assuming that (1.5) holds and the radius of the balls are sufficiently small so that the respective norms of the lower order coefficients on those balls are small themselves. If the lower order coefficients are in the Stummel-Kato class \({\mathcal {K}}({\Omega })\) with sufficiently small norms, one can find such results in [3] and [18] (see the references therein as well). Under the assumptions \(b,c \in L^n\), and \(d \in L^{\frac{n}{2}}\), Kim and Sakellaris [16] also established local boundedness for subsolutions of the equation (1.1) satisfying either (1.5) or (1.6) and \(b+c \in L^s\), \(s >n\) (with implicit constants dependent on the Lebesgue measure of \({\Omega }\)). They also constructed a counterexample showing that if (1.6) holds, it is necessary to have an additional hypothesis on \(b+c\) (see [16, Lemma 7.4]).
Proving the boundary regularity of solutions to the generalized Dirichlet problem with data \(\phi \in W^{1,2}({\Omega }) \cap C(\overline{{\Omega }})\) has been an important problem in the area and stems back to the work of Wiener for the Laplace operator [37]. Wiener characterized the points \(\xi \in \partial {\Omega }\) that a solution converges continuously to the boundary in terms of the capacity of the complement of the domain in the balls centered at \(\xi \). The proof was tied to the pointwise bounds of the Green’s function and so were its generalizations to elliptic equations. In particular, Littman, Stampacchia and Weinberger [20] constructed the Green’s function in a bounded domain for equations \(-{{\textrm{div}}}A \nabla u=0\), where A is real and symmetric, proving such a criterion and later, Grüter and Widman [11] extended their results to operators with possibly non-symmetric A. For equations with lower order coefficients in bounded domains, Stampacchia [34] showed a Wiener-type criterion in sufficiently small balls centered at the boundary of \({\Omega }\). On the other hand, Kim and Sakellaris [16] succeeded to construct the Green’s function with pointwise bounds (which was their main goal) following the method of Grüter and Widman, assuming either (1.6) and \(b+c \in L^n\), or (1.5) and \(b+c \in L^s\), \(s >n\). This is the best known result in this setting in domains with finite Lebesgue measure. In this case though, the construction of the Green’s function was not used to conclude boundary regularity. For elliptic systems in unbounded domains, Hofmann and Kim [13] constructed the Green’s function assuming that their solutions satisfy the interior a priori estimates of De Giorgi/Nash/Moser. They also showed boundary Hölder continuity of the solution of the Dirichlet problem with \(C^\alpha ({\overline{{\Omega }}})\) data under the stronger assumption of Lebesgue measure density condition of the complement of \({\Omega }\) in the balls centered at \(\partial {\Omega }\) (see also [15]). Recently, Davey, Hill and Mayboroda [6] extended [13] to systems with lower order terms in \(b \in L^q\), \(c \in L^s \) and \(d \in L^{t/2}\), with \(\min \{q, s, t\}>n\), whose associated bilinear form is coercive. For lower order coefficients in the Stummel-Kato class in domains with \(C^{1,1}\) boundary, the Green’s function was constructed in [14], while in [39], elliptic systems were considered, assuming though smallness on the norms and coercivity.
Let us now discuss our methods. Inspired by the treatment of the Dirichlet problem in [2] and specifically the use of Lemma 2.34, we are able to extend their results to operators with either negativity assumption (as opposed to \(-{{\textrm{div}}}b + d \le \mu <0\)) by requiring solvability in the Sobolev space \(Y^{1,2}\) instead of \(W^{1,2}\) with non-divergence interior data in \(L^{\frac{2n}{n+2}}\) instead of \(L^2\). This is the “correct” Sobolev space in unbounded domains and had already appeared in [21] and in connection with the Green’s function in [13]. The main difficulty lies on the fact that when we are proving the global bounds for the solution of the Dirichlet problem, we arrive to an estimate where the term
should be absorbed. But unless one has smallness of \(\Vert b+c\Vert _{L^{n,q}({\Omega })}\) this is impossible. To deal with this issue, we use Lemma 2.34 and split the domain in a finite number of subsets \({\Omega }_i\) where the norm \({L^{n,q}({\Omega }_i)}\) norm of \(b+c\) becomes small. We also write u as a finite sum of \(u_i\) so that (\(\textrm{supp}\nabla u_i) \subset {\Omega }_i\) and, loosely speaking, the term above can be hidden. An iteration argument is then required, which concludes the desired result. An approximation argument on the data and the domain yields the desired well-posedness. The same considerations apply to prove the weak maximum principle for subsolutions with either negativity condition, which, in turn, allows us to solve the unilateral variational poblem and thus, the obstacle problem in bounded domains. As a corollary we obtain that the minimum of two subsolutions of the inhomogeneouus equation \(Lu = f - {{\textrm{div}}}g\) is also a subsolution.
Moving further to the proof of Caccioppoli inequality, some serious difficulties arise. Up to now, Caccioppoli’s inequality was unknown with so general conditions, since it could be solved only for balls \(r \le 1\) and then rescale. This resulted to the appearance of the Lebesgue measure of the domain in the constants and so, it could not serve our purpose for scale invariant estimates. To overcome this important obstacle, we had to make a technically challenging adaptation of the method that solves the Dirichlet problem. The idea to use this iteration method to prove standard and refined Caccoppoli inequalities is novel and turns out to be the most important ingredient that overcomes the necessity for smallness of the norms of the coefficients in order to develop a De Giorgi/Nash/Moser theory for so general operators.
To prove local boundedeness, weak Harnack inequality, interior and boundary regularity, we have to make a non-trivial adaptation of the arguments of Gilbarg and Trudinger [9, pp. 194–209]. To do so, we are required to prove a refined version of Caccioppoli inequality (Theorems 3.5–3.8), which in [9] was immediate. This turns out to be an even more demanding task than the proof of Caccioppoli inequality itself. Once we obtain them, we show Lemma 4.1, which is the building block of a Moser-type iteration argument. For this lemma, we need an embedding inequality (see Corollary 2.17) with constants independent of the domain, which we prove, since we were not able to find it in the literature (with constants independent of the domain). The use of the Stummel-Kato class \({\mathcal {K}}({\Omega })\) as an appropriate class of functions for the interior data and the lower order coefficients is not new and has its roots to Schrödinger operators with singular potentials (see [18] and the references therein). Although, in our case, due to the counterexample of Kim and Sakellaris [16] (see Example 4.8), \(|b+c|^2\) should be in appropriate subspace of it satisfying a Carleson-Dini-type condition. In fact, a \(\tfrac{1}{2}\)-Dini condition on the Stummel-Kato modulus was imposed in [26] to prove local boundedness of subsolutions for certain quasi-linear equations, but their constants depended on \({\Omega }\). Our Moser-type iteration argument in the proof of Theorem 4.4 follows their ideas, but to get scale invariant estimates, it is necessary to come up with the condition (2.4) and deal with some technical details that required attention already in the original proof. In Example 4.9, we also show that a negativity condition is necessary to obtain local boundedness.
Regarding interior and boundary regularity, as is customary, we go through an application of the weak Harnack inequality. But for this, we need the positivity condition to hold which would force us to assume \(L1 =0\), or equivalently \(-{{\textrm{div}}}b +d =0\). But since this would lead to a significant restriction on the class of operators that our theorems would apply, we incorporate \(-{{\textrm{div}}}(b u)\) and du to the interior data \(-{{\textrm{div}}}g\) and f respectively. The “new" equation has the form
for which it is true that \({\widetilde{L}} 1=0\). The price we have to pay is to impose the additional assumptions \(|b|^2\) and \( |d| \in {\mathcal {K}_{\text {Dini}}}({\Omega })\) (for interior regularity and boundary regularity under the CDC condition). Of course, we require u to be locally bounded as well and thus, we need to assume one of the Assumptions 1–3. It is interesting to see that the proof of Theorem 4.14 (ii), where we are proving a Wiener type criterion for boundary regularity, is quite laborious as it requires a modification of the original argument in [9] (which is not obvious without the capacity density condition) and a new way of handling the second term \(\Sigma _2\) in the iteration scheme. Moreover we have to assume a slightly stronger condition, i.e., that \(|f|, |d| \in {\mathcal {K}}_{\text {Dini}, \delta }({\Omega })\) and \(|b|^2, |g|^2 \in {\mathcal {K}}_{\text {Dini}, \delta /2}({\Omega })\) for some \(\delta \in (0,1)\). To our knowledge, this is the first Wiener-type criterion for boundary regularity of solutions for equations with lower order coefficients with so general assumptions. Moreover, the interior regularity is also new in the case that the radii of the balls we consider are not small (and thus, we do not have smallness of the norms of the coefficients). Let us comment here that one could try to prove boundary regularity following [11] or even [12], but in both cases, there would only be treated solutions of equations with no right hand-side and \(b_i=d=0\), \(1 \le i \le n\). This is because of the need of lower pointwise bounds for the Green’s function or equivalently a Harnack inequality, which, in this situation, only holds for equations of the form \(Lu = -{{\textrm{div}}}A\nabla u - c \nabla u =0\).
Finally, having proved all the results above, we are in a position to construct the Green’s function using the method of Hofmann and Kim [13] along with its variant of Kang and Kim [15], where the main ingredients are the well-posedness of the Dirichlet problem, local boundedness, Caccioppoli’s inequality, and maximum principle, while, for the approximating operators, we also use the interior continuity for solutions of equations with lower order coefficients that satisfy \(|b|^2\), \(|c|^2\), \(|d| \in {\mathcal {K}_{\text {Dini}}}({\Omega })\). We would not need an approximation argument if it wasn’t for the lack of continuity in the general case. This creates some trouble in the proof of \(G(x,y)=G^t(y,x)\) (and nowhere else), where \(G^t\) stands for the Green’s function associated with \(L^t\), the formal adjoint of L. It is important to point out that the pointwise bounds for G do not hold unless local boundedness of subsolutions of \(L^t u =0\) is true; in view of Example 4.8, an additional condition on \(b+c\) is necessary. In our case, this will be \(|b+c|^2 \in {\mathcal {K}_{\text {Dini}}}({\Omega })\) as before. Remark that, since \({\Omega }\) may have infinite Lebesgue measure, we can assume \({\Omega }={\mathbb R}^n\) and construct the fundamental solution.
Related results: An interesting result, which is very related to our work, was obtained simultaneously and independently by Georgios Sakellaris. The first version of our paper and [28] were uploaded on ArXiv.org the same day (9th of April 2019). His primary goal was to construct Green’s functions for elliptic operators of the form (1.1) in general domains under either negativity condition that satisfy scale invariant pointwise bounds. Then, he applies them to obtain global and local boundedness for solutions to equations with interior data in the case (1.6). To do this, it was required \(b+c\) to be in a scale invariant space, which for the author was the Lorentz space \(L^{n,1}({\Omega })\) (as opposed to \(|b+c|^2\in {\mathcal {K}_{\text {Dini}}}({\Omega })\) we identified). His method is totally different than ours and is based on delicate estimates for decreasing rearrangements. In fact, he first proves the existence of Green’s functions via various approximations and then uses their properties to obtain a priori estimates; our method follows the exact opposite direction. Our paper and [28] are complementary since, apart from the major differences in the approach, the conditions \(|b+c|^2\in {\mathcal {K}_{\text {Dini}}}({\Omega })\) and \(|b+c|\in L^{n,1}({\Omega })\) are not comparable. Indeed, if \(g(x)=|x|^{-1} (-\log |x|)^{-3} \textbf{1}_{B}(x)\), where \(B:=B(0,\tfrac{1}{e})\), then \(g \in L^{n,1}(B)\) such that \(g^2 \notin {\mathcal {K}}_{\text {Dini}, \alpha }(B)\) for any \(\alpha >0\) (see [28]), while, in Example 2.23, we show that there exists a non-negative function \(f \in {\mathcal {K}}_{\text {Dini}, \alpha }({\mathbb R}^n_+) {\setminus } L^{p,q}({\mathbb R}^n_+)\) for any \(\alpha >0\), \(p>0\) and \(q \in (0, \infty ]\), and so \(h:=\sqrt{f} \notin L^{n,1}({\mathbb R}^n_+)\) and \(h^2\in {\mathcal {K}}_{\text {Dini}, \alpha }({\mathbb R}^n_+)\). We would like to note here that Sakellaris observed that, due to a Lorentz-Sobolev embedding theorem and density, (1.5) or (1.6) can be applied assuming that \(b, c \in L^{n, \infty } ({\Omega })\), \(d \in L^{n/2, \infty } ({\Omega })\). Although our original assumptions were \(b, c \in L^{n} ({\Omega })\), \(d \in L^{n/2} ({\Omega })\), and the constants depended on \(\Vert b+c \Vert _{L^{n} ({\Omega })}\) (the same dependence as in [28]), while working the details of the case \(|b+c|^2 \in {\mathcal {K}}({\Omega })\), we realized that our method extends almost unchanged when \(b+c \in L^{n, q} ({\Omega })\), for \(q \in [n, \infty )\), which is a slight improvement compared to our previous results and the ones in [28]. We claim no credit though for the idea to use the Lorentz-Sobolev embedding theorem, which we learned from [28].
Around a year after the last version of the present manuscript was uploaded on ArXiv.org (26th of April 2019), Sakellaris uploaded [29] on the same preprint server (28th of May 2020), where, under the assumptions of [28], he obtains interior and boundary Harnack inequalities and, under smallness assumptions on the norms of the coefficients, he further proves interior and boundary Moser’s estimates as well as interior local continuity.
2 Preliminaries
We will write \(a\lesssim b\) if there is \(C>0\) so that \(a\le Cb\) and \(a\lesssim _{t} b\) if the constant C depends on the parameter t. We write \(a\approx b\) to mean \(a\lesssim b\lesssim a\) and define \(a\approx _{t}b\) similarly. If \(B_r(x)\) is a ball of radius r and center \(x \in \overline{{\Omega }}\), we will denote \({\Omega }_r(x)= B_r(x) \cap {\Omega }\).
2.1 Sobolev space
Definition 2.1
If \(1\le p<n\) and \(p^*=\frac{np}{n-p}\), we define the Sobolev spaces \(Y^{1,p}({\Omega })\) and \(W^{1,p}({\Omega })\) to be the space of all weakly differentiable functions \(u \in L^{p^*}({\Omega })\) and \(L^p({\Omega })\) respectively, whose weak derivatives are functions in \(L^p({\Omega })\). We endow these spaces with the respective norms
We say that \(u \in Y^{1,2}_{\text {loc}}({\Omega })\) (resp. \(u \in W^{1,2}_{\text {loc}}({\Omega })\)) if \(u \in Y^{1,2}(K)\) (resp. \(u \in W^{1,2}(K)\)) for any compact \(K \subset {\Omega }\). We also define \(Y^{1,p}_0({\Omega })\) and \(W^{1,p}_0({\Omega })\) as the closure of \(C^\infty _c({\Omega })\) in \(Y^{1,p}({\Omega })\) and \(W^{1,p}({\Omega })\) respectively, and denote their dual spaces by \(Y^{-1,p'}({\Omega })\) and \(W^{-1,p'}({\Omega })\), where \(p'\) is the Hölder conjugate of p.
By Sobolev embedding theorem, it is clear that \(W^{1,p}_0({\Omega }) \subset Y^{1,p}_0({\Omega })\), while if \({\Omega }\) has finite Lebesgue measure they are in fact equal. See, for instance, Theorem 1.56 and Corollary 1.57 in [21]. Moreover, \(Y^{1,p}_0({\mathbb R}^n)=Y^{1,p}({\mathbb R}^n)\) (see e.g. Lemma 1.76 in [21]). We will denote by \(2_*= \frac{2n}{n+2}\) the dual Sobolev exponent for \(p=2\).
For \(u\in Y_{\text {loc}}^{1,2}(\Omega )\) and \( {\varphi }\in C^\infty _c(\Omega )\), the bilinear form which corresponds to the elliptic operator (1.1) is given by
which, by the embedding given in (2.15) or the one in [28, p.6 and Lemma 2.2], is well-defined if (1.4) holds. For the same reasons we can use (1.5) and (1.6) with \(Y^{1,\frac{n}{n-1}}_0({\Omega })\) functions.
When we write \(Lu=f-{{\textrm{div}}}g\), where \(f\in L^{1}_\text {loc}({\Omega })\) and \(g \in L^1_\text {loc}({\Omega };{\mathbb R}^n)\), we mean that it holds “in the weak sense”, i.e.,
If \(f\in L^{2_*}({\Omega })\) and \(g \in L^2({\Omega })\), we can extend it by density to \( v \in Y^{1,2}_0({\Omega })\).
In the sequel we will require a notion of supremum and infimum of a function in \(Y^{1,2}({\Omega })\) at the boundary of an open set \({\Omega }\subset {\mathbb R}^n\) since such a function is not necessarily continuous all the way to the boundary. Let Y denote either \(Y^{1,2}({\Omega })\) or \(W^{1,2}({\Omega })\) and \(Y_0\) be either \(Y_0^{1,2}({\Omega })\) or \(W_0^{1,2}({\Omega })\).
Definition 2.2
Given a function \(u \in Y\), we say that \(u \le 0\) on \(\partial {\Omega }\) if \(u^+ \in Y_0\). If u is continuous in a neighborhood of \(\partial {\Omega }\) then \(u \le 0\) on \(\partial {\Omega }\) in the Sobolev sense if \(u \le 0\) in the pointwise sense. In the same way \(u \ge 0\) if \(-u \le 0\) and \(u \le w\) if \(u -w \le 0\). We define the boundary supremum and infimum of u as
Definition 2.3
Let \(E \subset \overline{{\Omega }}\) and \(u \in Y\). We say that \(u \le 0\) on E if \(u^+\) is the limit in Y-norm of a sequence of \(C^\infty _c({\overline{{\Omega }}} \setminus E)\). Then \(u \ge 0\) and \(u \le v\) can be defined naturally. Moreover, if \({\Omega }\) has finite Lebesgue measure.
If \(E = \partial {\Omega }\) the two definitions above coincide.
We record some results for Sobolev functions that we will need later. Their proofs can be found in [21] and/or in [12] for functions in \(W^{1,2}({\Omega })\) or \(W_0^{1,2}({\Omega })\). Although, one can make the obvious modifications to prove them for \(Y^{1,2}({\Omega })\) or \(Y_0^{1,2}({\Omega })\).
Lemma 2.4
If \({\Omega }\subset {\mathbb R}^n\) is open and connected, \(u \in Y\) and \( \nabla u = 0\) a.e. in \({\Omega }\), then u is a constant in \({\Omega }\). If we also assume \(u \in Y_0\), then \(u=0\).
Proof
The fact that u is a constant can be found in [21, Corollary 1.42], while the second part can proved by a slight modification of the proof of [12, Lemma 1.17]. \(\square \)
Lemma 2.5
([21], Corollary 1.43) If \(u, v \in Y\) (resp. \(Y_0\)) then \( \max (u, v)\) and \( \min (u, v)\) are in Y (resp. \(Y_0\)) and
In particular, \(\nabla u=\nabla v\) a.e. on the set \(\{x\in {\Omega }:u(x)=v(x) \}\).
Theorem 2.6
([21], Theorem 1.74) Let \({\Omega }\subset {\mathbb R}^n\) be an open set and let f be a Lipschitz function such that \(f(0)=0\).
-
(i)
If \(u \in W^{1,1}_{\text {loc}}({\Omega })\) then \(f \circ u \in W^{1,1}_{\text {loc}}({\Omega })\). Moreover, for a.e. \(x \in {\Omega }\), we have that either
$$\begin{aligned} \nabla (f \circ u)(x)= f'(u(x)) \nabla u(x), \end{aligned}$$or
$$\begin{aligned} \nabla (f \circ u)(x)= \nabla u(x) =0. \end{aligned}$$ -
(ii)
If \(u \in Y_0\), then \(f \circ u \in Y_0\) and
$$\begin{aligned} \Vert f \circ u\Vert _{Y} \le \Vert f'\Vert _{L^\infty ({\Omega })}\Vert u\Vert _{Y}. \end{aligned}$$
Remark that it is necessary to have \(f(0)=0\) when \({\Omega }\) is unbounded. For example, if \(f(t) = 1\), then \(f \circ u\not \in Y^{1,2}({\Omega })\).
Lemma 2.7
Let \({\Omega }\subset {\mathbb R}^n\) be an open set and let \(f: {\mathbb R}\rightarrow {\mathbb R}\) be a function in \(\text {Lip}({\mathbb R})\). If \(u \in Y\), then \(f \circ \, u \in Y_{\text {loc}}\).
Lemma 2.8
([12], Theorem 1.25) Let \({\Omega }\subset {\mathbb R}^n\) be an open set and \(u \in Y\).
-
(i)
If u has compact support, then \(u \in Y_0\).
-
(ii)
If \(v \in Y_0\) and \(0 \le u \le v\) a.e.in \({\Omega }\), then \(u \in Y_0\).
-
(iii)
If \(v \in Y_0\) and \(|u| \le |v|\) a.e. in \({\Omega }{\setminus } K\), where K is a compact subset of \({\Omega }\), then \(u \in Y_0\).
2.2 Stummel–Kato class
Definition 2.9
Let \(f \in L^1_{\text {loc}}({\mathbb R}^n)\), and set
We will denote by \(\vartheta _{{\Omega }}(f, r):=\vartheta (f \chi _{\Omega }, r)\), for \(r >0\). We define the Stummel-Kato class \({\mathcal {K}}\) and its variant \({\mathcal {K}}'\) as follows:
We will write that \(f\in \widehat{{\mathcal {K}}}_{\text {loc}}({\Omega })\) (resp. \({\mathcal {K}}_{1,\text {loc}}({\Omega })\)) if \(f \in \widehat{{\mathcal {K}}}(D)\) (resp. \({\mathcal {K}}(D)\)) for any bounded open set \(D \subset {\mathbb R}^{n+1}\) so that \({\overline{D}} \subset {\Omega }\). If \({\Omega }\) is bounded,
and so \({\mathcal {K}}({\Omega })={\mathcal {K}}'({\Omega })\).
It is easy to see that, by a simple covering argument, there exists a dimensional constant \(C_{\text {db}}>0\) so that
Therefore, since \(\vartheta _{{\Omega }}(f, r)\) is non-decreasing in r, there exists \(c>0\) so that
Let us recall that that a function \(f \in L^1_\text {loc}({\Omega })\) is in the Morrey space \({\mathcal {M}}^{\lambda }({\Omega })\), if
that a function \(f \in L^1_\text {loc}({\Omega })\) is in the generalized Morrey space \({\mathcal {M}}^{{\varphi }}({\Omega })\) with modulus \({\varphi }\) if
By [27, Lemma 1.1], \( {\mathcal {M}}^{n-2+{\varepsilon }}({\Omega }) \subset {\mathcal {K}}({\Omega })\), for any \({\varepsilon }\in (0,2)\), since for every \(f \in {\mathcal {M}}^{n-2+{\varepsilon }}({\Omega })\), it holds that
while, if \(f \in {\mathcal {K}}({\Omega })\) and \(\int _0^1\vartheta _{\Omega }(f, t) \frac{dt}{t}<\infty \), then it is straightforward to see that \(f \in {\mathcal {M}}^{\vartheta _{\Omega }(f,\cdot )}({\Omega })\) since
For fixed \(r >0\), we define the space
which clearly contains \(\widehat{{\mathcal {K}}}({\Omega })\). One case see that \(\Vert \cdot \Vert _{L^1_{\text {loc},r}({\Omega })}\) is a norm on \(L^1_{\text {loc}, r}({\Omega })\) and \(\vartheta _{{\Omega }}( \cdot , r)\) is a norm on \(\widehat{{\mathcal {K}}}({\Omega })\) and \({\mathcal {K}}({\Omega })\). Analogously, \(\vartheta _{{\Omega }}( \cdot )\) is a norm on \({\mathcal {K}}'({\Omega })\). In the next lemma we provide an elementary proof of the fact that those spaces are complete.
Lemma 2.10
\(L^1_{\text {loc}, r}({\Omega }), \widehat{{\mathcal {K}}}({\Omega }), {\mathcal {K}}({\Omega }),\) and \({\mathcal {K}}'({\Omega })\) are Banach spaces.
Proof
To simplify our notation, for fixed \(r>0\), we will denote
We first prove that \(X_1\) is complete. Indeed, there exists \(k \in {\mathbb Z}\) such that \(2^k< r \le 2^{k+1}\), and let \(Q \in {\mathcal D}_k({\mathbb R}^n)\) be the dyadic grid in \({\mathbb R}^n\) that consists of cubes of sidelength \(2^k\) and notice that, by easy geometric considerations,
In addition, \(L^1_{{\mathcal D}_k}({\Omega })\) is the direct sum \(\bigoplus _{Q \in {\mathcal D}_k} X_Q\) of the Banach spaces \(X_Q=L^s(Q \cap {\Omega })\) with norm \(\sup _Q \Vert \cdot \Vert _{L^1(Q \cap {\Omega })}\). In this case, the completeness is preserved and thus, \(L^1_{{\mathcal D}_k}({\Omega })\) is a Banach space as well, which readily implies that \(X_1\) is a Banach space.
Now, we will show that \(X_2\) is a Banach space. Let
be the closed unit ball in \(X_2\), and let \(f_k\) be a Cauchy sequence in \(X_2\). It is easy to see that \(\Vert f \Vert _{X_1} \le r^\frac{n-2}{s}\vartheta _{{\Omega }}(f,r)= r^{n-2} \Vert f\Vert _{X_2} \), and by the completeness of \(X_1\), there exists \(f \in X_1\) such that \(f_k \rightarrow f\) in \(X_1\). By Fatou’s lemma,
and so \(f \in B_{X_2}\). Therefore, since \(X_1\) is a Banach space and the embedding of \(X_2\) in \(X_1\) is continuous, by [8, Proposition 14.2.3], we deduce that \(X_2\) is Banach as well. It is easy to see that \(X_3\) is a closed subspace of \(X_2\), and thus, Banach, while, if we replace \(X_1\) by \(X_2\) and \(X_2\) by \(X_4\) in the argument above, we infer that \(X_4\) is Banach space as well. \(\square \)
2.3 Carleson-Dini Stummel–Kato class
For any \(\epsilon >0\), we define
which is strictly increasing, continuous, and satisfies the same properties as \(\vartheta _{\Omega }(f,r)\). Therefore, it is invertible with continuous and strictly increasing inverse \({\vartheta }^{-1}_{\epsilon ,{\Omega }}(f, r)\). It is clear that \(\vartheta _{\epsilon ,{\Omega }}(f,\cdot )\) also satisfies the doubling condition (2.2) with constant \(\max (C_{db},2)\).
Definition 2.11
If \(\alpha >0\), we say that a function \(f \in \widehat{{\mathcal {K}}}({\Omega })\) is in the Careslon-Dini Stummel-Kato class \({\mathcal {K}}_{\text {Dini},\alpha }({\Omega })\) if it satisfies
for every \(r>0\). and we denote
If \(\alpha =1\) then we write that \(f \in {\mathcal {K}_{\text {Dini}}}({\Omega })\) and \(C_{f,{\Omega }}:=C_{f,{\Omega },1}\).
Example 2.12
Let \(e_j = (\delta _{1j},\dots , \delta _{nj} )\), for \(j \in \{1,\dots ,n\}\) be the orthonormal basis of \({\mathbb R}^n\) and, for any \(k\in \{1,2, \dots , 2^{n}\}\), let us denote \(\vec {\lambda }_k=(\lambda ^1_k, \dots , \lambda ^n_k)\ne 0\) to be the distinct vectors such that \(\lambda ^i_k=0\) or 1 for \( i \in \{1,\dots ,n\}\). For \(k\in \{1, 2,\dots ,2^{n}\}\) and \(j \in {\mathbb {N}}\), define the distinct points in \({\mathbb R}^n\) by
Define now
Note that the balls \(B(y^j_k,2^{j-3} )\) are mutually disjoint and thus, \(|f(x)| \le 1\) for any \(x \in {\mathbb R}^n\). So, for fixed \(r>0\) and every \(x \in {\mathbb R}^n\),
which implies that \(\vartheta _{{\mathbb R}^n}(f, r)\lesssim r^2\). For the reverse inequality, if \(r\ge 1\) remark that there exists a positive integer \(j_0\) such that \(2^{j_0-1} \le r <2^{j_0}\). Then if we set \(x_1=y_1^{j_0+3}\),
For \(r < 1\),
Therefore, \(\vartheta _{{\mathbb R}^n}(f, r) \approx r^2\) for any \(r>0\), and so, for any \(\alpha >0\), it holds
which implies that \(f \in {\mathcal {K}}_{\text {Dini},\alpha }({\mathbb R}^n)\). If \({\mathbb R}^n_+:=\{(x_1, \dots , x_n) \in {\mathbb R}^n: x_1>0\}\), by similar arguments, we can show that \(f \in {\mathcal {K}}_{\text {Dini},\alpha }({\mathbb R}^n_+)\) for any \(\alpha >0\),
The next lemma is easy to prove by a simple change of variables and we leave the routine details to the interested reader.
Lemma 2.13
Let \({\Omega }\subset {\mathbb R}^n\) be an open set and \(f \in {\mathcal {K}_{\text {Dini}}}({\Omega })\). For \(\rho >0\), set \(f_\rho (x)=\rho \, f(\rho \,x)\) for any \(x \in D_\rho := \rho ^{-1}{\Omega }\). Then the following hold:
-
(i)
If \(\lambda >0\), then \(\vartheta _{{\Omega }}(\lambda \,f,t)=\lambda \vartheta _{{\Omega }}(f, t)\), for any \(t>0\) and \(C_{\lambda \, f,{\Omega }} = C_{f,{\Omega }}\).
-
(ii)
\( \vartheta _{D_\rho }(f_\rho ,t)=\vartheta _{{\Omega }}(f, \rho \,t)\), for any \(t>0\).
-
(iii)
\(C_{f_\rho ,D_\rho } = C_{f,{\Omega }}\).
Moreover, if \(g \in {\mathcal {K}_{\text {Dini}}}({\Omega })\), and we set \(g_\rho (x)=\rho \, g(\rho \,x)\), \(V=|f|+|g|\), and \(V_\rho =|f_\rho |+|g_\rho |\), then \(V \in {\mathcal {K}_{\text {Dini}}}({\Omega })\) and
2.4 Sobolev embedding and Interpolation inequalities
The following considerations can be found in [18, p.416] and are based on an inequality proved by Simon in [33, p.455]. Assume that \(f \in {\mathcal {K}}({\Omega })\) and let
For \(\delta >0\), set \(\psi _\delta (x)= \delta ^{-n} \psi (\delta ^{-1} x)\) and define
Then, if \(G \subset {\Omega }\), \(r>0\) and \(0<\delta \le r\), we have
Thus, for a ball \(B_r\) so that \(B_{2r} \subset {\Omega }\) and \(0<\delta <r\), we also obtain
Moreover, if \(|g|^2 \in {\mathcal {K}}({\Omega })\),
It is useful to remark that if
then \(\vartheta ((f \textbf{1}_{{\Omega }_\delta })_\delta , r)=\vartheta _{\Omega }((f \textbf{1}_{{\Omega }_\delta })_\delta , r)\).
In the next lemma we use an argument from [36].
Lemma 2.14
If \(f \in {\mathcal {K}}({\Omega })\) and \(\rho >0\), it holds that \(\vartheta _{\Omega }( (f \textbf{1}_{{\Omega }_\delta })_\delta - f), \rho ) \rightarrow 0\), as \(\delta \rightarrow 0\). If \(f \in {\mathcal {K}}'({\Omega })\), then \(\vartheta _{\Omega }( (f \textbf{1}_{{\Omega }_\delta })_\delta - f) \rightarrow 0\), as \(\delta \rightarrow 0\).
Proof
Fix \(\rho >0\) and note that by (2.1), for \({\varepsilon }>0\), we can find \(r_0<\rho \), so that \(\vartheta _{\Omega }(f,r_0)< \frac{{\varepsilon }}{6}\). Note that by (2.8), for \(0<\delta <r_0\), we have that \( \vartheta _{\Omega }( (f \textbf{1}_{{\Omega }_\delta })_\delta - f, r_0) \le 3 \vartheta _{\Omega }( f, r_0)\). Thus,
As \( \vartheta _{\Omega }( (f \textbf{1}_{{\Omega }_\delta })_\delta - f, \rho ) \le 3 \vartheta _{\Omega }( f, \rho )<\infty \), for \(0<\delta <\rho \), there exists \(x_0\in {\mathbb R}^n\) such that
Now, using that \( (f \textbf{1}_{{\Omega }_\delta })_\delta \rightarrow f\) in \(L^1_\text {loc}({\Omega })\), there exists \(\delta >0\) such that \(\delta <\min (r_0,\rho )\) and
Collecting all the estimates we obtain that \(\vartheta _{\Omega }( (f \textbf{1}_{{\Omega }_\delta })_\delta - f, \rho ) <{\varepsilon }\). The proof for \(f \in {\mathcal {K}}'({\Omega })\) is the same. \(\square \)
Lemma 2.15
If \(f \in {\mathcal {K}}(B_r)\), there exists a constant \(c_1>0\) depending only on n such that for any \(r>0\) and \(u \in W^{1,2}(B_r)\), it holds
Proof
This inequality can be found in the proof of Lemma 2.1 in [18] (display (12), p. 416). It is stated with slightly different assumptions but an inspection of the proof reveals that (2.12) is also true. For a similar inequality see Lemma 7.3 in [31]. \(\square \)
Note that if we set \(f=f_\delta \) in (2.12) and use (2.9), we can see that for \(0<\delta <r\),
where \(c_1\) is independent of \(\delta \).
Lemma 2.16
If \(f \in {\mathcal {K}}({\mathbb R}^n)\), then, there exists a constant \(c_2>0\) depending only on n such that for any \({\varepsilon }>0\) and \(u \in W^{1,2}({\mathbb R}^n)\), it holds
Proof
We cover \({\mathbb R}^n\) with balls \(B(z_j, r)\), with center all the points \(z_j\) so that \(nz_j/r\) have integer coordinates. It is clear that each point \(x \in {\mathbb R}^n\) is contained in at most N balls \(B(z_j, 2r)\), where N is a positive constant depending only on the dimension n. Fix \({\varepsilon }>0\) and choose \(r>0\) small enough so that \(\vartheta _{\epsilon ,{\mathbb R}^n}(f,r)=(N c_1)^{-1}{\varepsilon }\), where \(c_1\) is the constant in (2.12). Thus, using \(\vartheta _{B_r}(f, r) \le {\vartheta }_{\epsilon ,{\mathbb R}^n}(f, r) \) and (2.12), we have that
which, if we set \(c_2=N c_1\), implies (2.14). \(\square \)
An immediate corollary of the latter theorem, which will be used in Sect. 4, is the following:
Corollary 2.17
If \(f \in {\mathcal {K}}({\Omega })\), then, there exists a constant \(c_2>0\) depending only on n such that for any \({\varepsilon }>0\) and \(u \in W_0^{1,2}({\Omega })\), it holds
Remark 2.18
In view of (2.13), it is easy to see that (2.14) and (2.15) still hold if we replace f by \(f_\delta \) on the left hand-side and keep the same term on the right hand-side.
The remark above, combined with (2.10) and (the proofs of) Lemmas 2.15 and 2.16, and Corollary 2.17, leads to the following corollary which will be crucial in an approximation argument we will need later.
Corollary 2.19
If \(|g|^2 \in {\mathcal {K}}({\Omega })\), then there exists a constant \(c'_2>0\) depending only on n such that for any \({\varepsilon }>0\) and \(u \in W_0^{1,2}({\Omega })\) it holds
Lemma 2.20
If f is supported in a ball \(B_r\) and \(f \in {\mathcal {K}}({\mathbb R}^n)\), there exists a constant \(C_s'>0\) depending only on n such that, if \(u \in Y^{1,2}({\mathbb R}^n)\), it holds
Proof
This follows from the combination of [21, Theorem 1.79] and the proof of [38, Lemma 3]. \(\square \)
Lemma 2.21
If \(f \in {\mathcal {K}}'({\Omega })\), there exists a constant \(C_s'>0\) depending only on n such that, if \(u \in Y_0^{1,2}({\Omega })\), it holds
Proof
Let \(B_k:= B(0,k)\) and \(f_k=f \textbf{1}_{B_k}\). Then, since \(|f_k| \le |f|\) and \(f_k \rightarrow f\) pointwisely, by Lemma 2.20, we have that
which, by the dominated convergence theorem, concludes the proof of (2.17). \(\square \)
2.5 Lorentz spaces
Definition 2.22
If f is a measurable function we define the distribution function
and its decreasing rearrangement by
If \(p \in (0, \infty )\) and \(q \in (0, \infty ]\), we can define the Lorentz semi-norm
If \(\Vert f\Vert _{L^{p,q}({\Omega })}<\infty \), we will say that f is in the Lorentz space (p, q) and write \(f \in L^{p,q}({\Omega })\). This is quasi-norm and \(({L^{p,q}({\Omega })},\Vert \cdot \Vert _{L^{p,q}({\Omega })})\) is a quasi-Banach space.
We can also define
which, for \(p \in (1, \infty )\) and \(q \in [1, \infty ]\), is a norm and it holds that
If we equip \(L^{p,q}({\Omega })\) with this norm, it becomes a Banach space (see [1, Lemma 4.5 and Theorem 4.6]). We will write \(f \in L_\text {loc}^{p,q}({\Omega })\) if \(f \in L^{p,q}({\Omega }')\) for any bounded open set \({\Omega }' \subset {\Omega }\).
We record that
-
(1)
If \(0 < p, r \le \infty \) and \(0<q \le \infty \),
$$\begin{aligned} \Vert |f|^r \Vert _{L^{p,q}({\Omega })} =\Vert f \Vert ^r_{L^{pr,qr}({\Omega })}; \end{aligned}$$ -
(2)
If \(0 < p \le \infty \) and \(0<q_2<q_1 \le \infty \),
$$\begin{aligned} \Vert f \Vert _{L^{p,q_1}({\Omega }) }\lesssim _{p,q_1,q_2} \Vert f \Vert _{L^{p,q_2}({\Omega })}; \end{aligned}$$(2.18) -
(3)
If \(0<p,q,r \le \infty \), \(0<s_1,s_2 \le \infty \), \(1/p + 1/q=1/r\), and \(1/s_1 + 1/s_2=1/s\),
$$\begin{aligned} \Vert f g \Vert _{L^{r,s}({\Omega }) }\lesssim _{p,q, s_1,s_2} \Vert f \Vert _{L^{p,s_1}({\Omega })}\Vert g \Vert _{L^{q,s_2}({\Omega })}. \end{aligned}$$(2.19)
We refer to [1, Chapter 4] and [10, Chapter 1] for the proofs. It is worth noting that
while, for \(n \ge 3\), \({\mathcal {K}}({\Omega })\) and \(L^{\frac{n}{2},q}({\Omega })\), \(q \ge n\), are not comparable.
Example 2.23
If f is the function of Example 2.12, then it is easy to see that
and, by definition, for every \(p>0\) and \(q \in (1, \infty )\),
while for every \(p>0\) and \(q\in (0,1]\),
It is clear that \(\Vert f\Vert _{L^{p,\infty }({\mathbb R}^n)} =+\infty \). Therefore, \(f \in {\mathcal {K}}_{\text {Dini},\alpha }({\mathbb R}^n){\setminus } L^{p,q}({\mathbb R}^n)\) for any \(\alpha >0\), \(p>0\), and \(q \in (0,\infty ]\). Similarly, one can show that \(f \in {\mathcal {K}}_{\text {Dini},\alpha }({\mathbb R}^n_+){\setminus } L^{p,q}({\mathbb R}^n_+)\) for any \(\alpha >0\), \(p>0\), and \(q \in (0,\infty ]\).
Definition 2.24
Let \(\{E_k\}_{k=1}^\infty \) be a sequence of measurable subsets of \({\Omega }\). We will write \(E_k \rightarrow \emptyset \) a.e. if \(\textbf{1}_{E_k} \rightarrow 0\) a.e. in \({\Omega }\), which is equivalent to \(|\limsup _{k \rightarrow \infty } E_k|=0\).
We will say that a function f in a Banach function space X (see [30, Definition 6.5]) has absolutely continuous norm in X if \(\Vert f \textbf{1}_{E_k} \Vert _X \rightarrow 0\) for every sequence \(\{E_k\}_{k \ge 1}\) such that \(E_k \rightarrow \emptyset \) a.e. The set of all functions in X of absolutely continuous norm is denoted by \(X_a\). If \(X_a=X\), then the space itself is said to have absolutely continuous norm. In this case, simple functions supported on a set of finite Lebesgue measure are dense in X.
Record that \(L^{p,q}({\Omega })\), for \(p\in (1, \infty )\) and \(q \in [1, \infty )\), is a Banach function space (see [1, p.219, Theorem 4.6]).
Lemma 2.25
Let \(f \in X\) where \(X={\mathcal {K}}'({\Omega })\,\,\text {or}\,\, L^{p,q}({\Omega })\), \(1<p< \infty \) and \(1 \le q < \infty \). If \(\Vert \cdot \Vert _X\) stands for either \(\vartheta _{\Omega }(\cdot )\) or \(\Vert \cdot \Vert _{L^{p,q}({\Omega })}\), then X has absolutely continuous norm. In fact, for every \({\varepsilon }>0\), there exists \(\delta >0\) such that
Proof
For \({\mathcal {K}}'({\Omega })\) this was proved in [36, Lemma 2.2], while for \(L^{p,q}({\Omega })\) it follows from [1, p. 23, Corollary 4.3] and [1, p. 221, Corollary 4.8]. \(\square \)
Lemma 2.26
([4], Theorem V4) Let \(f \in L^{p,q}({\Omega })\), with \(p \in (1, \infty )\) and \(q \in [1, \infty )\), and for \(\delta >0\), let \({\Omega }_\delta \) be as in (2.11). Then, it holds that
In the following definitions and lemmas we follow [28].
Definition 2.27
We define \( Y^{1,(p,q)}_0({\Omega })\), for \(1< p <n\) and \(1 \le q \le \infty \), to be the closure of \(C^\infty _c({\Omega })\) under the semi-norm
Lemma 2.28
If \(u \in Y^{1,(p,q)}_0({\Omega })\), there exists a constant \(C_s>0\) depending on n such that
If \(u \in Y^{1,2}_0({\Omega })\), the same is true for \(p=q=2\).
Proof
The proof of the first part can be found in [5, Theorem 4.2(i)] and of the second one in [28, Lemma 2.2]. \(\square \)
Lemma 2.29
If \(u, w \in Y_0^{1,2}({\Omega })\), then \(u w \in Y^{1,(\frac{n}{n-1},1)}_0({\Omega })\) and, in particular, it holds that
Proof
Here we follow the scheme of the proof of [28, Lemma 2.2]. Since both u and w belong to \(Y^{1,2}_0({\Omega })\), we can use (2.20) and (2.19) to deduce that
The analogous estimate holds if we switch the roles of w and u. Since \(u, w \in Y^{1,2}_0({\Omega })\), there exist sequences \(\{ \phi _k\}_{k\ge 1}, \{ \psi _k\}_{k\ge 1} \subset C^\infty _c({\Omega })\) such that \(\phi _k \rightarrow u \) and \(\psi _k \rightarrow w \) in \(Y^{1,2}_0({\Omega })\). By Lemma 2.28, we can find a subsequence of \( \phi _k \psi _k\) that is weakly-* convergent in \(Y^{1,(\frac{n}{n-1},1)}_0({\Omega })\) to some \(v \in Y^{1,(\frac{n}{n-1},1)}_0({\Omega })\). But since \(v \in L^{\frac{n}{n-2},1}({\Omega }) \subset L^{\frac{n}{n-2}}({\Omega })\), it holds that \(v= u w \) in \(L^{\frac{n}{n-2},1}({\Omega })\). Thus,
where in the last step we used the same argument as in (2.22) and the strong convergence of \( \phi _k\) and \( \psi _k \) in \(Y^{1,2}_0({\Omega })\). \(\square \)
Lemma 2.30
(Embedding inequality) Let \( h \in L^{n, q}({\Omega })\), for \(q \in [n, \infty ] \), \(u \in Y^{1,2}({\Omega })\) and \(w \in Y_0^{1,2}({\Omega })\). Then if \(D \subset {\Omega }\) is a Borel set, there exists a constant \(C_{s,q}>0\) (depending only on n and q) such that
Proof
This follows from (2.19), (2.20), and (2.18). \(\square \)
Remark 2.31
In [28, eq. (2.9)], it was observed that if \(b, c \in L^{n, \infty }({\Omega })\) and \(d \in L^{\frac{n}{2}, \infty }({\Omega })\), (1.5) and (1.6) hold if \({\varphi }\in Y^{1,(\frac{n}{n-1},1)}_0({\Omega })\).
2.6 Two auxiliary lemmas
The next lemma was stated in [26]. The proof as written in [26] is not totally correct since \({\omega }\) is not absolutely continuous. We overcome this obstacle by an approximation argument.
Lemma 2.32
Let \({\omega }:(0, \infty ) \rightarrow (0,\infty )\) be a strictly increasing and continuous function such that \(\lim _{r \rightarrow 0^+} {\omega }(r) =0\) and \(\lim _{r \rightarrow \infty } {\omega }(r) = +\infty \). Let \(\tau \in (0.1)\), \(c>0\), and \(q \ge 1\), and set
Then it holds
Proof
Note that \({\omega }\) is one-to-one and its inverse \({\omega }^{-1}\) is also strictly increasing and continuous. If we define \({\omega }_\delta \) as in (2.7) in \({\mathbb R}\), then \({\omega }_\delta \) is strictly increasing and smooth satisfying
Therefore, \({\omega }_\delta ^{-1}\) is also strictly increasing and smooth on \(\,\textrm{Ran}({\omega }_\delta )\), the range of \({\omega }_\delta \). As \(\lim _{\delta \rightarrow 0} {\omega }_{\delta }(t) ={\omega }(t)\) locally uniformly in \((0,\infty )\),Footnote 2 it is not hard to show that \(\lim _{\delta \rightarrow 0} {\omega }^{-1}_{\delta }(r) ={\omega }^{-1}(r)\) for all \(r \in \,\textrm{Ran}({\omega })=(0,\infty )\). Indeed, let \({\varepsilon }>0\) and \(r >0\). Then, by the continuity of \({\omega }\) in \((0,\infty )\), there exists \( \delta '=\delta '({\varepsilon },r)>0\) such that
For any sequence \(\{\delta _n\}_{n=1}^\infty \) such that \(\delta _n \rightarrow 0\) as \(n \rightarrow \infty \), it holds that \(\lim _{n \rightarrow \infty } {\omega }_{\delta _n} = {\omega }\), and so there exists \(n_0>0\) such that for every \(n>n_0\),
Therefore,
which, using that \({\omega }_{\delta _n}^{-1}\) is strictly increasing in \((0,\infty )\), implies that
and thus, \(|{\omega }_{\delta _n}^{-1}(r) -{\omega }^{-1}(r)| < {\varepsilon }\). This concludes the proof of \(\lim _{\delta \rightarrow 0} {\omega }_\delta ^{-1}={\omega }\) pointwisely.
For any fixed positive \(N \in {\mathbb {N}}\), it holds that
Remark that \({\omega }^{-1}(b_{N+1})>0\). For \(\eta >0\), there exists \(\delta _0=\delta (\eta , c, b_{N+1})>0\) such that for every \(\delta <\delta _0\),
Therefore, for \(\delta <\delta _0\),
Now, by the local uniform convergence of \({\omega }_\delta \), we can find \(0<\delta _1 \le \delta _0\) such that for every \(\delta <\delta _1\), it holds that \(|{\omega }_\delta (t) -{\omega }(t)|<\eta \) for every \(t \in [{\omega }^{-1}(b_{N+1})-\eta , {\omega }^{-1}(c)+\eta ]\). Therefore, for \(\delta <\delta _1\), we infer that
which, by taking \(\delta \rightarrow 0\), implies that
Since \(\eta \) is arbitrary, we may take \(\eta \rightarrow 0\) and deduce that
If we take limits as \(N \rightarrow \infty \), we get
which, combined with the equality
shows (2.25). \(\square \)
Lemma 2.33
Let \({\omega }:(0, \infty ) \rightarrow (0,\infty )\) be a strictly increasing and continuous function such that \(\lim _{r \rightarrow 0^+} {\omega }(r) =0\). Assume that
Then
Proof
Since \({\omega }\) is strictly increasing and doubling, we have that
This inequality and the continuity of \({\omega }\) in \((0, \infty )\) imply that
Assume that \(\lim _{t \rightarrow 0} \frac{{\omega }(t)}{{\omega }(2t)}=1\). Then, by continuity, if we fix \({\varepsilon }< (4 \,c_0\,C_{\omega })^{-1}\), there exists \(\rho >0\) such that for \(t< \rho \) it holds that \( {\omega }(t) >( 1-{\varepsilon })\,{\omega }(2t)\). If we apply this for \(t_m= 2^{-m}\rho \), \(m=0,1,\dots , N-1\), the Dini condition yields
Letting \(N\rightarrow \infty \), we get \({\varepsilon }^{-1} \le 2\,c_0\,C_{\omega }\) which is a contradiction. \(\square \)
2.7 The splitting lemmas
The following lemma will be used repeatedly in this manuscript and for the case \(p=q=n\) was proved in [2]. We extend it to the case of Lorentz spaces \(L^{p,q}({\Omega })\) with \(1< p \le q < \infty \).
Lemma 2.34
Let \({\Omega }\subset {\mathbb R}^{n}\) be an open set, \(u \in Y^{1,2}({\Omega })\), \(h \in L^{p,q}({\Omega })\), for \(1< p \le q < \infty \) and \(a > 0\). Then there exist mutually disjoint measurable sets \(\Omega _i \subset {\Omega }\) and functions \(u_i \in Y^{1,2}(\Omega )\) for \(1 \le i \le \kappa \) with the following properties:
-
(1)
\(\Vert h\Vert _{L^{p,q}({\Omega }_i)} =a\), for \(1 \le i \le \kappa -1\), and \(\Vert h\Vert _{L^{p,q}({\Omega }_\kappa )} \le a \),
-
(2)
\(\{ x \in {\Omega }: \nabla u_i \ne 0\} \subset {\Omega }_i\),
-
(3)
\(\nabla u = \nabla u_i\) in \({\Omega }_i\),
-
(4)
\(|u_i| \le |u|\),
-
(5)
\(uu_i \ge 0\),
-
(6)
\(u = \sum _{i=1}^{m}u_i\),
-
(7)
\(u_i \nabla u = \left( \sum _{j=1}^{i}\nabla u_j\right) u_i \),
-
(8)
\(u \nabla u_i = \left( \sum _{j=i}^{\kappa }u_j\right) \nabla u_i \),
and \(\kappa \) has the upper bound
If \(u \in Y_0^{1,2}({\Omega })\), then \(u_i\in Y_0^{1,2}({\Omega })\) for \(1 \le i \le \kappa \).
Proof
If \(0 \le k < t \le \infty \), we define
and by Chebyshev’s inequality, for \(k>0\), it holds
Let us define the function \(f: [0, \infty ]^2 \rightarrow [0, \infty )\) by
We will show that \(f(\cdot , t)\) is continuous in \([0, \infty )\) for any fixed \(t \in (0, \infty ]\).
To this end, fix \(t \in (0, \infty ]\) and \(k < t\), and let \(\{k_\ell \}_{\ell \in {\mathbb {N}}}\) be a positive decreasing sequence so that \(k_\ell \rightarrow k\). Thus,
which gives right continuity. Consider now an increasing sequence of positive numbers \(\{k_l\}_{l \in {\mathbb {N}}}\) so that \(k_l \rightarrow k\). Then
By Lemma 2.5, we get \(\big |\{x \in {\Omega }: |u|= t, \nabla u \not = 0 \}\big |=0\), and thus, since \(|{\Omega }(k_1, \infty )| < \infty \), we infer that
which implies left continuity of \(f(\cdot , t)\) and consequently continuity.
If we set
we define
For fixed \(k, t \in [0, \infty ]\), \(F_{k,t} \in \text {Lip}({\mathbb R})\) and \(F_{k,t}(0)=0\), and thus, since \(u \in Y^{1,2}({\Omega })\) (resp. \(Y_0^{1,2}({\Omega })\)), by Lemma 2.6, \(F_{k,t}(u) \in Y^{1,2}({\Omega })\) (resp. \(Y_0^{1,2}({\Omega })\)).
Recall that the \(L^{p,q}\)-norm is absolutely continuous by Lemma 2.25 and thus, since, for any fixed \(t \in [0, \infty ]\), \(\textbf{1}_{{\Omega }(k,t)} \rightarrow 0\) a.e. as \(k \rightarrow t\), we will have that \(\Vert h \textbf{1}_{{\Omega }(k,t)}\Vert _{L^{p,q}({\Omega })} \rightarrow 0\). For \(1< p \le q < \infty \), let us define
If \(H(0, \infty )\le a^q\), then we set \({\Omega }_1= \{x\in {\Omega }: \nabla u \not = 0\}\) and \(u_1 = u\). Suppose now that \(H(0, \infty ) > a^q\), and thus, by the absolute continuity of \(L^{p,q}\), there exists \(k_1 > 0\) such that
If \(H(0, k_1) \le a^q\), we set \({\Omega }_1= {\Omega }(k_1, \infty )\) and \({\Omega }_2= {\Omega }(0, k_1)\), and \(u_1=F_{k_1, \infty }(u)\) and \(u_2=F_{0, k_1}(u)\). If, on the other hand, \(H(0, k_1) \ge a^q\), there exists \(k_2 \ge 0\) so that
If we iterate, there exists \(j_0 \in {\mathbb {N}}\) so that \(H(k_i, k_{i-1}) = a^q\), if \(1 \le i <j_0\), and \(H(0, k_{j_0}) \le a^q\), where \(k_0=+\infty \). Indeed, if there were infinitely many i so that \(H(k_i, k_{i-1}) = a^q\), then, since \(\{{\Omega }(k_i, k_{i-1})\}_{i\ge 1}\) are disjoint, we would have
which is a contradiction. Here we used that \(p \le q \) and that for disjoint sets A and B it holds that
The same argument gives us \(j_0 \,a^q \le \Vert h\Vert _{L^{p,q}({\Omega })}\), that is, \( j_0 \le a^{-q}\Vert h\Vert _{L^{p,q}({\Omega })}^q\).
If we set \(\kappa =j_0+1\) and \(k_{\kappa }=0\), for \(i \in \{1, \dots , \kappa \}\), we define
We have already shown (1), so it remains to prove that (2)–(8) hold as well.
Firstly, (2), (3), and (4) are clear by definition, while (5) follows by simple computations; indeed, note first that \(u u_i=0\) whenever \(|u| < k_{i}\). In the set where \(|u|> k_{i-1} > k_{i}\), we have that
while, when \( k_{i}<|u| \le k_{i-1}\),
This concludes the proof of (5).
For (6) and (7), we may rewrite \(u_j= u_{k_j, \infty }-u_{k_{j-1, \infty }}\), in view of which, we have
In the case \(i= \kappa \), we have
yielding (6). By definition, \(\nabla u_{k_i, \infty } = \nabla u\), when \(|u| > k_i\) (i.e., in the support of \(u_i\)), while \(u_i = 0\), whenever \(|u| \le k_i\). and so, (7) follows from (2.26). Since \(\{\nabla u_i \ne 0 \} \subset {\Omega }_i\) we can use (6) to get
This concludes the proof of the lemma. \(\square \)
The direct analogue of this lemma for the space \({\mathcal {K}}'({\Omega })\) was proved in [36] but it is not stated as such. For the reader’s convenience we will give a sketch of the proof.
Lemma 2.35
Let \({\Omega }\subset {\mathbb R}^{n}\) be an open set, \(u \in Y^{1,2}({\Omega })\) (resp. \( Y_0^{1,2}({\Omega })\)), \(h \in {\mathcal {K}}'(\Omega )\) and \(a > 0\). Then, there exist mutually disjoint measurable sets \(\Omega _i \subset {\Omega }\) and functions \(u_i \in Y^{1,2}(\Omega )\) (resp. \( Y_0^{1,2}({\Omega })\)), for \(1 \le i \le \kappa \), satisfying (2)–(8), so that
If \(\rho _0>0\) is such that \( \vartheta _{\Omega }(h, \rho _0)= a^2/4\), then \(\kappa \) has the upper bound
If \({\Omega }\) is a bounded open set contained in a ball \(B_r\), we can assume \(h \in {\mathcal {K}}(\Omega )\) replacing \( \vartheta _{\Omega }(\cdot )\) by \( \vartheta _{\Omega }(\cdot ,r)\).
Proof
Using the same notation as before, we define
Making the same stopping time argument with respect to the condition \(h(k,t) =a^2\) and noticing that we only used the absolute continuity of the norm, we can reason as in the proof of Lemma 2.34. The only difference lies on the estimate of \(\kappa \) since we cannot linearize it as we did in the previous case.
Let us first show that the stopping process results to a finite number of sets. Indeed, arguing as in the proof of Lemma 2.14, we can find \(\rho _0\) so that \( \vartheta _{\Omega }(h, \rho _0)= a^2/4\) so that
So, if assume that there infinite many \({\Omega }_i\), we can sum in i as before and get
which is a contradiction. If \(j_0\) is the number of i’s for which \(\vartheta _{\Omega }(h \textbf{1}_{{\Omega }_i})=a^2\), the same argument will give the bound
\(\square \)
Remark 2.36
It is interesting to see that the bound on \(\kappa \), although at a first glace does not seem to be scale invariant, in fact it is (with the correct scaling). Indeed, let \(h_r=r^2 h(rx)\) in the open set \({\Omega }_r = r^{-1} {\Omega }\). Then, by making the change of variables \(y = rx\) we have that
Now, recall that \(\rho _0\) was chosen so that \(\vartheta _{{\Omega }_r} ( h_r, \rho _0) = a^2/4\), which, by the same change of variables, implies that \(\vartheta _{{\Omega }} ( h, \rho _0\, r) = a^2/4\). Note that if \(\vartheta _{{\Omega }} ( h, \cdot )\) is invertible, we have that \(\rho _0 \,r = \vartheta _{{\Omega }}^{-1}( h, a^2/4)\).
2.8 Variational capacity
Definition 2.37
Let \(\Omega \subset {\mathbb R}^n\) be open and \(E \subset \Omega \). If we set
then we define the (variational) capacity of the condenser \((E, {\Omega })\) as
The following properties of capacity verify that it is a Choquet capacity and satisfies the axioms considered by Brelot. A proof can be found for instance in Theorem 2.3 in [21].
-
(i)
If \(E \subset {\Omega }\) is compact,
$$\begin{aligned} \textrm{Cap}(E, {\Omega })= \inf \left\{ \int _{\Omega }|\nabla w|^2: w \in C^\infty _c({\Omega }), \,\, u \ge 1 \,\,\text {in}\,\, E\right\} . \end{aligned}$$ -
(ii)
If \(E \subset {\Omega }\) is open,
$$\begin{aligned} \textrm{Cap}(E, {\Omega })=\sup _{\text {compact} \,\,K \subset E} \textrm{Cap}(K, {\Omega }). \end{aligned}$$ -
(iii)
If \( E_1 \supset E_2 \supset \dots \) is a sequence of compact subsets of \({\Omega }\),
$$\begin{aligned} \textrm{Cap}\Big ( \bigcap _{j \ge 1} E_j, {\Omega }\Big ) = \lim _{j \rightarrow \infty } \textrm{Cap}(E_j, {\Omega }). \end{aligned}$$ -
(iv)
If \( E_1 \subset E_2 \subset \dots \) is a sequence of arbitrary subsets of \({\Omega }\),
$$\begin{aligned} \textrm{Cap}\Big ( \bigcup _{j \ge 1} E_j, {\Omega }\Big ) = \lim _{j \rightarrow \infty } \textrm{Cap}(E_j, {\Omega }). \end{aligned}$$ -
(v)
If \( E_1, E_2 \subset \dots \) are arbitrary subsets of \({\Omega }\), then
$$\begin{aligned} \textrm{Cap}\Big ( \bigcup _{j \ge 1} E_j, {\Omega }\Big ) \le \sum _{j \ge 1} \textrm{Cap}(E_j, {\Omega }). \end{aligned}$$
3 Interior and boundary Caccioppoli inequality
In Sects. 3–5 we will be dealing with subsolutions and supersolutions of the equation
where \( f \in L_{\text {loc}}^{1}({\Omega })\) and \(g \in L_{\text {loc}}^2({\Omega }; {\mathbb R}^n)\).
3.1 Standard Caccioppoli inequality
Theorem 3.1
(Caccioppoli inequality I) Let \(u \in Y_{\text {loc}}^{1,2}({\Omega })\) be either a solution or a non-negative subsolution of (3.1) and \( f \in L_\text {loc}^{2_*}({\Omega })\). Assume also that (1.5) is satisfied and either (i) \(b+c \in L^{n,q}_\text {loc}({\Omega })\), for \(q \in [n, \infty )\), or (ii) \(|b+c|^2 \in {\mathcal {K}}_\text {loc}({\Omega })\). For a non-negative function \(\eta \in C_c^{\infty }(\Omega )\), we let \({\Omega }'\) be a bounded open set such that \({\text {supp}}\eta \subset {\Omega }' \Subset {\Omega }\). Then it holds
where the implicit constant depends only on \(\lambda \), \(\Lambda \), and also either on \(C_{s,q}\) and \(\Vert b+c\Vert _{L^{n,q}({\Omega }')}\), for \(q \ge n\) under assumption (i), or \(C_s'\) and \(\vartheta _{{\Omega }'}(|b+c|^2, 2 \,\textrm{diam}{\Omega }')\) under assumption (ii)Footnote 3.
Proof
We will only treat the case that u is a non-negative subsolution of (3.1) as the proof when u is a solution is almost identical and is omitted. Notice that since \(K:= {\text {supp}}\eta \) is a compact subset of \({\Omega }\), we can always find a bounded open set \({\Omega }'\) such that \(K \subset {\Omega }' \Subset {\Omega }\), and as \(u \in Y^{1,2}_\text {loc}({\Omega })\), it holds that \(u \in Y^{1,2}({\Omega }')\). Working in \({\Omega }'\) instead of \({\Omega }\), we may assume, without loss of generality, that \(u \in Y^{1,2}({\Omega })\). Moreover, u is clearly a subsolution in any open subset of \({\Omega }\). For simplicity, let us preserve the notation \({\Omega }\) instead of \({\Omega }'\).
We first assume that \(b+c \in L^{n,q}({\Omega }')\). Apply Lemma 2.34 to the function u, for \(p= n\), \(q \ge n\), \(h= b+c\), and \(a = \frac{\lambda }{8C_{s,q}}\), where \(C_{s,q}\) is the constant in (2.23), to find \({\Omega }_i \subset {\Omega }\) and \(u_i \in Y^{1,2}({\Omega })\), \(1 \le i \le \kappa \), satisfying (1)–(8). Note that (5) tells us that \(u_i\) and u have the same sign, and so, the functions \(\eta ^2 u_i \in Y^{1,2}_0({\Omega })\) are non-negative. Thus, using that u is a subsolution for (3.1) we have
where in the last inequality we used (5), Lemma (2.29), Remark 2.31, and (1.5). In view of (3) and (6), the latter inequality can be written as
By (1.2) we get
while, by Hölder’s inequality,
If we apply (2.23) and Young’s inequality, along with the fact that \( \Vert b+c\Vert _{L^{n,q}({\Omega }_j)} \le \frac{\lambda }{8C_{s,q}}\) for any \(1 \le j \le \kappa \), we get that
By Hölder’s, Sobolev’s and Young’s inequalities we obtain
Choosing \(\delta = \frac{\lambda }{32}\) in (3.6), we can combine (3.2), (3.3), (3.4), and (3.5) and infer that
which implies that there exist positive constants \(C_1\), \(C_2\) and \( C_3\) depending on \(\lambda \), \(\Lambda \) and \(C_{s,q}\) so that
Note that the constant the sum is multiplied with is indeed 1, which is convenient in the iteration argument below. If we denote \(C_0:=\max (C_1, C_2, C_3)\),
and use that (4), the latter inequality can be written as
By induction, we get
Indeed, for \(i=1\), it holds \(x_1 \le C_0\, y_0\). Assume now that \(x_j \le 2^{j-1} \,C_0\, y_0\) for all \(1 \le j \le i-1\). Then, by (3.7) and the induction hypothesis,
Summing (3.8) in \(i \in \{ 1, \dots , \kappa \}\) we obtain
which, in light of (6), (3.9) and Young’s inequality (with a small constant), implies that
This concludes our proof when \(b+c \in {L^{n,q}({\Omega };\, {\mathbb R}^n)}\), since \(\kappa \) depends only \(\lambda \), \(\Lambda \), \(C_{s,q}\), and also on \(\Vert b+c\Vert _{L^{n,q}({\Omega };\, {\mathbb R}^n)}\).
Let us now prove the same result in the case \(|b+c|^2 \in {\mathcal {K}}({\Omega }')\). We apply Lemma 2.35 to the function u, for \(h= b+c\), and \(a = \frac{\lambda }{8C_s'}\), where \(C_s'\) is the constant in (2.16), to find \({\Omega }_i \subset {\Omega }\) and \(u_i \in Y^{1,2}({\Omega })\), \(1 \le i \le \kappa \), satisfying (1)–(8). The main argument will be exactly the same as in the previous case will not be repeated. Although, there is a difference coming from the embedding theorem we apply, which is Lemma 2.20 as opposed to Lemma 2.30 we used before. Taking this under consideration, it is enough to handle the term \(I_2(i)\).
To this end, apply Cauchy-Scwharz’s inequality, (2.17), Sobolev’s and Young’s inequalities, along with the fact that for any \(1 \le j \le m\) it holds \( \vartheta _{{\Omega }'}(|b+c|^2\textbf{1}_{{\Omega }_j}, 2 \,\textrm{diam}{\Omega }') \le \frac{\lambda }{8C_s'}\), and get that
This concludes the proof the Theorem. \(\square \)
Theorem 3.2
(Caccioppoli inequality II) Let \(u \in Y_{\text {loc}}^{1,2}({\Omega })\) be either a solution or a non-negative subsolution of (3.1) and \( f \in L_\text {loc}^{2_*}({\Omega })\). Assume also that (1.6) is satisfied and either (i) \(b+c \in L^{n,q}_\text {loc}({\Omega })\), for \(q \in [n, \infty )\), or (ii) \(|b+c|^2 \in {\mathcal {K}}_\text {loc}({\Omega })\). For a non-negative function \(\eta \in C_c^{\infty }(\Omega )\), we let \({\Omega }'\) be a bounded open set such that \({\text {supp}}\eta \subset {\Omega }' \Subset {\Omega }\). Then it holds
where the implicit constant depends only on \(\lambda \), \(\Lambda \), and also either on \(C_{s,q}\) and \(\Vert b+c\Vert _{L^{n,q}({\Omega }')}\), for \(q \ge n\) under assumption (i), or \(C_s'\) and \(\vartheta _{{\Omega }'}(|b+c|^2, 2 \,\textrm{diam}{\Omega }')\) under assumption (ii).
Proof
We only deal with the case that u is a non-negative subsolution (3.1). As seen in Theorem 3.1, we may assume that \(u \in Y^{1,2}({\Omega })\) and apply Lemma 2.34 to the function u, for \(p= n\), \(q \ge n\), \(h= b+c\), and \(a = \frac{\lambda }{8C_{s,q}}\), where \(C_{s,q}\) is the constant in (2.23). Using that \(\eta ^2 u_i \in Y^{1,2}_0({\Omega })\) and non-negative, along with the fact that u is a subsolution, we have
where in the last inequality we used (5), Lemma (2.29), Remark 2.31, and (1.6). In view of (3) and (6), the latter inequality can be written as
By Hölder’s inequality,
Using (8) and the fact that \( \Vert b+c\Vert _{L^{n,q}({\Omega }_j)} \le \frac{\lambda }{8C_{s,q}}\) for all \(1 \le j \le \kappa \), along with (2.23) and Young’s inequality, we have
If \(\delta >0\) is small enough to be chosen, then by similar (but easier) considerations we get
If we apply Hölder’s, Sobolev’s and Young’s inequalities we get
Choose now \(\delta = \frac{\lambda }{16}\) and \(\rho = \frac{\lambda }{8}\). Combining (3.10), (1.2), (3.11), (3.12), (3.13), and (3.15), and using (4), we can find positive constants \(C_1=C_1(\lambda , C_{s,q}, \Vert b+c\Vert _{L^{n,q}})\), \(C_2=C_2(\lambda , C_{s,q})\) and \(C_3=C_3(\lambda )\) so that
For \(j \in \{1,\dots , \kappa \}\), we set
and
and so, the latter inequality can be written as
By induction, (3.16) yields \(x_i \le 2^{\kappa -i} y_0\) for \(i =1,2, \cdots , \kappa -1\), and thus, summing over all such i, we infer
where in the first inequality we used (6). The theorem readily follows from another application of Young’s inequality. This finishes the proof in the case \(b+c \in L^{n,q}({\Omega }')\), while the modifications to obtain the result the case \(|b+c|^2 \in {\mathcal {K}}({\Omega }')\) are identical to the ones presented in the proof of Theorem 3.1 and are omitted. \(\square \)
The proofs of Theorems 3.1 and 3.2 can easily be adapted to prove the following Caccioppoli inequality at the boundary.
Theorem 3.3
(Caccioppoli inequality at the boundary) If \(B_r\) is a ball such that \(B_r \cap {\Omega }\ne \emptyset \), set \({\Omega }_r= B_r \cap {\Omega }\) and assume that \(u \in Y^{1,2}({\Omega }_r)\) vanishing on \(\partial {\Omega }\cap B_r\) in the sense of definition 2.3. Assume that \( f \in L^{2_*}({\Omega }_r)\), \(g \in L^2({\Omega }_r)\) and either (1.5) or (1.6) holds. If either \(b+c \in L^{n,q}({\Omega }_r)\), \(q \in [n, \infty )\), or \(|b+c|^2 \in {\mathcal {K}}({\Omega }_r)\), and u is either a solution or a non-negative subsolution of (3.1) in \({\Omega }_r\), then for any non-negative function \(\eta \in C_c^{\infty }(B_r)\) it holds
where the implicit constant depends only on \(\lambda \), \(\Lambda \), and also either on \(C_{s,q}\) and \(\Vert b+c\Vert _{L^{n,q}({\Omega }_r)}\), for \(q \ge n\), or \(C_s'\) and \(\vartheta _{{\Omega }_r}(|b+c|^2, r )\).
Proof
We follow the same strategy as before and apply either Lemma 2.34 to the function u in \({\Omega }_r(x)\), for \(p= n\), \(q \ge n\), \(h= b+c\), and \(a = \frac{\lambda }{8C_{s,q}}\), where \(C_{s,q}\) is the constant in (2.23), or apply Lemma 2.35 to the function u in \({\Omega }_r(x)\), for \(h= b+c\), and \(a = \frac{\lambda }{8C_s'},\) where \(C_s'\) is the constant in (2.16). Thus, we find \({\Omega }_i \subset {\Omega }_r(x)\) and \(u_i \in Y^{1,2}({\Omega }_r)\) that vanishes on \(B_r \cap \partial {\Omega }\), for \(1 \le i \le \kappa \), satisfying (1)–(8). Using that the non-negative function \(\eta ^2 u_i\) is in \(Y_0^{1,2}({\Omega }_r(x))\), along with the fact that u is either a solution or a non-negative subsolution of (3.1) in \({\Omega }_r\), we may proceed as in the proofs of Theorems 3.1 and 3.2 to obtain (3.17). We skip the details. \(\square \)
Remark 3.4
We would like to note that if \(b+c \in {\mathcal {K}}'({\Omega })\), we can dominate \(\vartheta _{{\Omega }_r}(|b+c|^2, 2 r )\) by \(\vartheta _{{\Omega }}(|b+c|^2)\).
3.2 Refined Caccioppoli inequality
Let \( m=\inf _{\partial {\Omega }\cap B_{r} } u \) and \(M=\sup _{\partial {\Omega }\cap B_{r} } u \) in the sense of Definition 2.2. Define
and
Theorem 3.5
Let \(B_r\) be a ball such that \({\Omega }_r=B_r \cap {\Omega }\ne \emptyset \) and assume that either \(b+c \in L^{n,q}({\Omega }_r)\), \(q \in [n, \infty )\), or \(|b+c|^2 \in {\mathcal {K}}({\Omega }_r)\). We also assume that one of the following holds:
-
(1)
\( {{\textrm{div}}}b + d \ge 0\), \(\beta \in (-\infty , 0)\) and \(u \in Y^{1,2}({\Omega }_r)\) is a non-negative L-supersolution of (3.1) in \({\Omega }_r\);
-
(2)
\( {{\textrm{div}}}b + d \le 0\), \(\beta \in (0, \infty )\) and \(u \in Y^{1,2}({\Omega }_r)\) is a non-negative L-subsolution of (3.1) in \({\Omega }_r\).
If we set
and for \(k>0\) we define
then, there exist constants \(C_0\), \(C_1\), \(C_2\) depending on \(\beta \), such that for any non-negative function \(\eta \in C_c^{\infty }(B_r)\) we have
where \({\bar{f}} =|f|/{\bar{u}}\), \({\bar{g}} =|g|/{\bar{u}}\), and the implicit constant depends on \(\lambda \), \(\Lambda \), and also either on \(C_{s,q}\) and \(\Vert b+c\Vert _{L^{n,q}({\Omega }_r)}\), for \(q \ge n\), or \(C_s'\) and \(\vartheta _{{\Omega }_r}(|b+c|^2, r )\). When \(|\beta |>1\), \(C_0=|\beta +1|^{-2}\), \(C_1=|\beta +1|^{-1}\), and \(C_2=1+|\beta +1|^{-2}\), while when \( |\beta |<1\), \(C_0=4^{\kappa }|\beta |^{-2}\) and \(C_1=C_2=2^{\kappa } |\beta |^{-1}\), where either \(\kappa \le 1+ \frac{1}{C|\beta |^n}\Vert b+c\Vert _{L^{n,q}({\Omega }_r)}^n\) or \(\kappa \le 1 + 2 \, a^{-2} \,{\rho _0^{2-n}} \Vert h\Vert _{L^1({\Omega }_r)}\). In the case \(\beta =-1\), \(C_0=C_1=C_2=1\).
Proof
We first assume that u is a non-negative supersolution of (3.1) and \(\beta < -1\).
For \(k>0\) we define the auxiliary function
It is clear that \(w \in Y^{1,2}({\Omega }_r)\) vanishing on \( \partial {\Omega }\cap B_r\) and so, we can apply Lemma 2.34 to w and \({\Omega }_r\) with \(p= n\), \(q \ge n\), \(h= b+c\), and \(a = \frac{\lambda }{8C_{s,q}},\) where \(C_{s,q}\) is the constant in Sobolev’s inequality, to find \(w_i \in Y^{1,2}({\Omega }_r)\) that vanishes on \( \partial {\Omega }\cap B_r\) and \({\Omega }_i \subset {\widetilde{{\Omega }}}_r\), \(1 \le i \le \kappa \), so that (1)–(8) hold.
Since \(w_i\) vanishes on \( \partial {\Omega }\cap B_r\). there is a sequence \(\phi _k \in C^\infty _c({\bar{{\Omega }}} \setminus (\partial {\Omega }\cap B_r))\) such that \(\phi _k \rightarrow w_i\) in \(Y^{1,2}({\Omega })\). Thus, the sequence \(\eta ^2\phi _k \in C^\infty _c({\Omega }_r)\) converges to \(\eta ^2 w_i\) in \(Y^{1,2}({\Omega }_r)\), which implies that \(\eta ^2 w_i \in Y^{1,2}_0({\Omega }_r)\). Note also that, by (5), \(\eta ^2 w_i\) is non-negative. Thus, for \(i=1,2,\dots \kappa \),
Let us point out that
and
Recalling that \(\beta <-1\) and using (3.21), (1.2), and that \({\bar{u}}> 0\), we get that
and thus, \(- \frac{\beta +1}{2} J_3 \le 0\). Moreover, by (1.3), Hölder’s inequality, (3.20), and (3.21),
Since u is a supersolution of (3.1), \(\beta +1<0\), and \({{\textrm{div}}}b - d \ge 0\), we obtain
and so \(\frac{\beta +1}{2} J_1 \le \frac{\beta +1}{2} (I_1 +I_2 +I_3 )\). As
we may write \(I_3\) as the sum of three integrals \(I_{31}, I_{32}, I_{33}\) that correspond to the terms on the right hand-side of the latter equality. So, by Young’s inequality (for \({\varepsilon }\) small enough to be chosen) along with (3.20) and (3.21), we get
Moreover, by (7),
If we apply (2.23) and Young’s inequality,
Similarly,
Let us set
and also, if \(\gamma _0:=|\beta +1|/2\), set
Then, using this notation, \(|\beta -1| /2\le 1+ \gamma _0\), and choosing \(\alpha \) small enough, depending on \(\lambda \), \(\Lambda \), \(\Vert b+c\Vert _{L^n({\Omega })}\), and \(C_{s,q}\), we can collect the inequalities (3.19)–(3.31) and find a constant \(C_0\) (depending on \(\lambda \), \(\Lambda \) and \(C_{s,q}\)) so that
By the induction argument that appeared in the proof of Theorem 3.1 and (3.21), we can show that
where \(C_1\) depends on \(\lambda \), \(\Lambda \), \(\Vert b+c\Vert _{L^{n,q}({\Omega })}\) and \(C_{s,q}\). We may choose \({\varepsilon }\) small enough compared to \(C_1^{-2}\) and use Young’s inequality with \({\varepsilon }\) to deduce
in order to show (3.18). The details are omitted.
We turn our attention to the case that u is a non-negative supersolution of (3.1) and \(\beta \in [-1,0)\). For \(k>0\) we define the auxiliary function
Since \(w \in Y^{1,2}({\Omega })\) and vanishes on \(\partial {\Omega }\cap B_r\), we apply Lemma 2.34 as in the previous case to w and \({\Omega }_r\), for \(p= n\), \(h= b+c\), and a small enough depending on \(\lambda , \beta , C_{s,q}\) (to be picked later), to find \(w_i \in Y^{1,2}({\Omega })\) that also vanishes on \(\partial {\Omega }\cap B_r\) and \({\Omega }_i \subset {\widetilde{{\Omega }}}_r\), \(1 \le i \le m\), satisfying (1)–(8). By (5) we see that \(\eta ^2 w_i \in Y^{1,2}_0({\Omega })\) is non-negative and we may use it as a test function. Therefore,
where in the last inequality we used (1.5).
At this point let us recall (3.21) and also record that
and
Therefore, by (3.34) and \(\beta <0\), (3.32) can be written
We apply Hölder’s inequality along with (3.21) and (3.33) to get
By Young’s inequality, (3.33), and (3.34), it is easy to see that
It only remains to handle \(I_2\). At this point we cannot use (6) or (7) as in previous arguments. The reason why is that we do not have u and \(u_i\) but rather two different functions u and \(w_i\). Although, we can recall that \(\{x\in {\Omega }_r: w_i \ne 0\} = \cup _{j=1}^i {\Omega }_j\) and thus, using (2.23), (3.21), (3.33), \(\Vert b+c\Vert _{L^{n,q}({\Omega }_j)} \le a\) for any \(j \in \{1,2, \cdots m\}\), and \(w_i {\bar{u}}^{\frac{1-\beta }{2}} \eta \in Y^{1,2}_0({\Omega }_r)\), we get
Note that
Also, for \(\beta \in [-1, 0)\), it holds \(\frac{\beta -1}{2\beta }>0\) and \(\frac{\beta +1}{2}>0\). Thus, by (3.33),
which, in turn, implies that
Set now
With this notation, we can write
which, in combination with inequalities (1.2) and (3.35)–(3.39), and \(|\beta | \le 1\), implies
Therefore, if we choose \(\alpha \) small enough (depending linearly on \(|\beta |\)), by Young’s inequality, we can find a positive constant \(C_0\) depending only on \(\lambda , \Lambda \), and \(C_{s,q}\) so that
The proof of (3.18) is concluded by the same iteration argument as in the proof of Theorem 3.1 along with the facts that \(\cup _{i=1}^\kappa {\Omega }_i= {\widetilde{{\Omega }}}_r\) and \(|\beta |<1\) obtaining
where \(\kappa \le 1+ \frac{1}{C|\beta |^{n}}\Vert b+c\Vert _{L^{n,q}({\Omega }_r)}^n\). By Young’s inequality and if we choose \({\varepsilon }\) small enough (depending on \(\lambda \), \(\Lambda \), \(C_0\), and \(\kappa \)), we obtain (3.18). The case \(\beta >0\) and u positive subsolution of (3.1) is almost identical and we will not repeat it.
The same reasoning shows (3.18) when \(|b+c|^2 \in {\mathcal {K}}({\Omega }_r)\) if we use Lemma 2.35. The only difference lies on the manipulation of the terms that include \(b+c\) and a similar argument can be found at the end of the proof of Theorem 3.1. The details are omitted. \(\square \)
In fact, if we incorporate \(-{{\textrm{div}}}(b u)\) and du into the interior data, the same proof gives the following theorem:
Theorem 3.6
If we use the same notation as in Theorem 3.5 and either \(c \in L^{n,q}({\Omega }_r)\), for \(q \in [n, \infty )\) or \(|c|^2 \in {\mathcal {K}}({\Omega }_r)\), then for any non-negative function \(\eta \in C_c^{\infty }(B_r)\), we have
where \({\bar{f}} =|f|/{\bar{u}}\), \({\bar{g}} =|g|/{\bar{u}}\), and \(C_0\), \(C_1\), and \(C_2\) are the constants given in Theorem 3.5. The implicit constant depends on \(\lambda \), \(\Lambda \), and either on \(C_{s,q}\) and \(\Vert c\Vert _{L^{n,q}({\Omega }_r)}\), or \(C_s'\) and \(\vartheta _{{\Omega }_r}(|c|^2, r)\).
The analogue of Theorem 3.5 for the case \(-{{\textrm{div}}}c +d \ge 0\) (or \(-{{\textrm{div}}}c +d \le 0\)) will be a lot easier to prove, as one does not need to handle either the \(L^{n,q}\)-norm of \(b+c\) or the \({\mathcal {K}}\)-norm of \(|b+c|^2\) in a delicate way as before. Instead, we will incorporate \(|b+c|^2\) into the interior data side (as in Theorem 3.6). It may look surprising bearing in mind the special case \(\beta =1\) we proved in Theorem 3.2, but (3.18) cannot hold in this case. The reason is that it is the main ingredient of the proof of local boundedness and weak Harnack inequality and, by Example (4.8), we know that if \(b+c\) does not have any additional hypothesis, solutions may not be locally bounded.
Theorem 3.7
If we replace \( {{\textrm{div}}}b + d \ge 0\) (or \({{\textrm{div}}}b + d \le 0\)) with \( -{{\textrm{div}}}c + d \ge 0\) (or \(-{{\textrm{div}}}c + d \le 0\)) in the assumptions of Theorem 3.5 and use the same notation, we can find constants \(C_0\), \(C_1\), \(C_2\) depending on \(\beta \), such that for any non-negative function \(\eta \in C_c^{\infty }(B_r)\) we have
where \({\bar{f}} =|f|/{\bar{u}}\), \({\bar{g}} =|g|/{\bar{u}}\), and the implicit constant depends \(\lambda \) and \(\Lambda \). When \(|\beta |>1\), \(C_0=|\beta +1|^{-2}\), \(C_1=|\beta +1|^{-1}\), and \(C_2=1+|\beta +1|^{-2}\), while when \( |\beta |<1\), \(C_0=|\beta |^{-2}\) and \(C_1=C_2=|\beta |^{-1}\). When \(\beta =-1\), \(C_0=C_1=C_2=1\).
Proof
We will only give a sketch of the proof. Let us assume that \(\beta \in [-1, 0)\). For \(k>0\) we define the auxiliary function
Since \(\eta ^2 w \in Y^{1,2}_0({\Omega }_r)\), arguing as in Case \(\beta >-1\) in the proof of the previous theorem and using \(-{{\textrm{div}}}c +d \ge 0\), we get
Because \(\beta <0\) and \( \{x \in {\Omega }_r: w\ne 0 \} = {\Omega }_r^m\), the latter inequality can be written as
Note that if we use \(0 \le u \le {\bar{u}}\), then \(I_1\), \(I_3\) and \(I_4\) can be bounded as in (3.36) and (3.37). So, it only remains to handle \(I_2\). But as we do not need to use Lemma 2.34 it will be fairly easy to do so. Indeed,
which, in light of Young’s inequality with \({\varepsilon }\) small (to be picked), \(w \le {\bar{u}}^\beta \textbf{1}_{{\Omega }_r^m}\) and \(\beta \in [-1,0)\), implies
If we choose \({\varepsilon }\) small enough we conclude our result. We may handle the case \(\beta <-1\) and \(\beta \ge 0\) for subsolutions in a similar fashion adapting the argument in the proof of Theorem 3.5. We omit the routine details. \(\square \)
Moreover, the proofs of Theorems 3.5, 3.6, and 3.7 can be easily adapted to get a refined version of Theorems 3.1 and 3.2. We only state the first one.
Theorem 3.8
Let \(B_r\) be a ball of radius \(r>0\) so that \({{\overline{B}}}_{r} \subset {\Omega }\) and assume that either \(b+c \in L^{n,q}(B_r)\), \(q \in [n, \infty )\), or \(|b+c|^2 \in {\mathcal {K}}(B_r)\). If \(u \in Y^{1,2}(B_r)\) and one of the following holds:
-
(1)
\( {{\textrm{div}}}b + d \le 0\) and u is L-subsolution in \(B_r\) and \(\beta \in (0, +\infty )\);
-
(2)
\( {{\textrm{div}}}b + d \le 0\) and u is L-supersolution in \(B_r\) and \(\beta \in (0, +\infty )\);
-
(3)
\( {{\textrm{div}}}b + d \ge 0\) and u is a non-negative L-supersolution in \(B_r\) and \(\beta \in (-\infty , 0)\).
For \(k>0\), we set
Then, there exist constants \(C_0\), \(C_1\), \(C_2\) depending on \(\beta \), such that for any non-negative function \(\eta \in C_c^{\infty }(B_r)\) we have
where \({\bar{f}} =|f|/{\bar{u}}\), \({\bar{g}} =|g|/{\bar{u}}\), and the implicit constant depends on \(\lambda \), \(\Lambda \), and also either on \(C_{s,q}\) and \(\Vert b+c\Vert _{L^{n,q}(B_r)}\), or \(C_s'\) and \(\vartheta _{B_r}(|b+c|^2, r )\). When \(|\beta |>1\), \(C_0=|\beta +1|^{-2}\), \(C_1=|\beta +1|^{-1}\), and \(C_2=1+|\beta +1|^{-2}\), while when \( |\beta |<1\), \(C_0=4^{\kappa }|\beta |^{-2}\) and \(C_1=C_2=2^{\kappa } |\beta |^{-1}\), where either \(\kappa \le 1+ \frac{1}{C|\beta |^n}\Vert b+c\Vert _{L^{n,q}(B_r)}^n\) or \(\kappa \le 1 + 2 \, a^{-2} \,{\rho _0^{2-n}} \Vert h\Vert _{L^1(B_r)}\). In the case \(\beta =-1\), \(C_0=C_1=C_2=1\).
4 Local estimates and regularity of solutions up to the boundary
In this part we will present the iterating method of Moser to obtain the following results:
-
Local boundedness for subsolutions;
-
Weak Harnack inequality for supersolutions;
-
Hölder continuity in the interior for solutions;
-
A Wiener criterion for continuity of solutions at the boundary.
4.1 Local boundedness and weak Harnack inequality
Denote \({\Omega }_{r_0}=B_{r_0} \cap {\Omega }\ne \emptyset \), where \(r_0 \in (0, \infty ]\), and let \(f \in {\mathcal {K}}({\Omega }_{r_0})\) and \(|g|^2 \in {\mathcal {K}}({\Omega }_{r_0})\). Set
and
Define
where \({\bar{u}}\) is either the one given in Theorem 3.5 or in Theorem 3.8, with
Here \(B_r\) is a ball of radius \(r \in (0, r_0]\) which is either centered at the boundary (as in Theorem 3.5) or such that \(B_r \subset {\Omega }\) (as in Theorem 3.8). We will handle both cases simultaneously and it should be understood from the context what kind of balls we are referring to. Set
Notice that for \(k=k(r)\), we have that \(|{\bar{f}}| \le |{\tilde{f}}|\) and \(|{\bar{g}}|\le |{\tilde{g}}|\) and so (3.18), (3.40), (3.41), and (3.42) hold for \({\tilde{f}}\) and \({\tilde{g}}\) instead of \({\bar{f}}\) and \({\bar{g}}\). Moreover,
Lemma 4.1
Assume that \(B_r\) be a ball such that \({\Omega }_r=B_r \cap {\Omega }\ne \emptyset \), \(r \le r_0\), and that either \(b+c \in L^{n,q}({\Omega }_{r_0})\), \(q \in [ n, \infty )\), or \(|b+c|^2 \in {\mathcal {K}}({\Omega }_{r_0})\). If w is defined in (4.1), and \(\eta \in C^\infty _c(B_r)\) is non-negative, then the following hold: If \(|\beta |>1\), there exist constants \(c'_3>1\) and \(c'_4 \in (0,1)\) so that for any \(0<\epsilon \le 1\),
and if, in addition, \(|\gamma |>\tfrac{1}{2}\), there exist \(c_3>1\) and \(c_4\in (0,1)\) such that
If there exists \(\beta _0 \in (0,1)\) such that \(\beta _0\le |\beta |<1\), then there exist constants \(c_5>1\) and \(c_6=c_6(\beta _0) \in (0,1)\) so that
The implicit constants are independent of \(\epsilon \) and gamma.
Proof
If \(|\beta |>1\), for \({\varepsilon }\) to be chosen, by (2.15) we have that
By (4.6), we may rewrite (3.18) or (3.42),
Therefore, if we choose \({\varepsilon }=\frac{\epsilon }{ 10 C c_1 (1+|\gamma |^{-2})}<0.1\), we deduce
which, in turn, since \(C>1\), implies
Notice that \( \epsilon < \vartheta _{\epsilon , {\Omega }_{r_0}}(V, 1)\) and so \( \vartheta ^{-1}_{\epsilon , {\Omega }_{r_0}}(V, \epsilon ) \le 1\). Thus
which, if we set \(c'_4:= (10 C c_1 c_2)^{-1}<\tfrac{1}{10}\), in light of (4.7), gives
Moreover, if \(|\gamma | >\tfrac{1}{2}\), it holds that \(\frac{|\gamma |^2}{1+|\gamma |^2} \ge \frac{1}{10 |\gamma |}\), and, if we set \(c_4:=\tfrac{c'_4}{10}\), we can deduce that
Since \( \eta w \in Y^{1,2}_0(B_r)\), (4.3) and (4.4) follow by Sobolev’s inequality.
In a similar fashion, for \(0< |\beta |<1\), if we choose \({\varepsilon }=\frac{\epsilon |\beta |^2}{ 10 C c_1}<\tfrac{1}{10}\), since \(4^\kappa \ge 1\), we obtain
which entails
Thus, as \(0<\beta _0 \le |\beta |<1\), we have that \(c_2^{-1} \,{\varepsilon }\ge \epsilon \,\beta _0^2 c'_4\ge \epsilon \, |\gamma |\beta _0^2 c'_4/2\) and so, if we set \(c_6:= \beta _0^2 c'_4/2 \), since \(\epsilon \,c_6 < \vartheta _{\epsilon ,{\Omega }_{r_0}}(V, c_6) \) and so \(\vartheta ^{-1}_{\epsilon ,{\Omega }_{r_0}}(V, \epsilon \,c_6) < c_6 \), there exists \(c_5>1\) (independent of \(\beta _0\)) such that
We conclude the proof of (4.5) by Sobolev’s inequality. \(\square \)
Remark 4.2
Lemma 4.1 can be proved in the cases
-
(1)
\(-{{\textrm{div}}}c +d \le 0\) (or \(\ge 0\)) and \(|b+c|^2 \in {\mathcal {K}}({\Omega }_{r_0})\),
-
(2)
\(|b|^2 \in {\mathcal {K}}({\Omega }_{r_0})\) and \(d \in {\mathcal {K}}({\Omega }_{r_0})\), and either \(c \in L^{n,q}({\Omega }_{r_0})\), \( q \in [n, \infty )\), or \(|c|^2 \in {\mathcal {K}}({\Omega }_{r_0})\).
We set
For k as in (4.8), we use Theorem 3.7 and Theorem 3.6 respectively, and set
in order to obtain the same results as in Lemma 4.1.
We are now ready to prove the local boundedness of subsolutions.
Definition 4.3
We will say that the condition \(\text {(N)}_{r_0}\) is satisfied if one the following conditions hold:
-
(1)
\({{\textrm{div}}}b + d \le 0\) and \(b+c \in L^{n,q}({\Omega }_{r_0})\), \(q \in [n, \infty )\) or \(|b+c|^2 \in {\mathcal {K}}({\Omega }_{r_0})\);
-
(2)
\(-{{\textrm{div}}}c + d \le 0\) and \(|b+c|^2 \in {\mathcal {K}_{\text {Dini}}}({\Omega }_{r_0})\).
Analogously, we will say that the condition \(\text {(P)}_{r_0}\) is satisfied if we reverse the inequalities in condition (N). Here, (N) and (P) stand for the negativity and positivity condition respectively. We will also say that the condition \(\text {(D)}_r\) is satisfied if \(|b|^2 \in {\mathcal {K}_{\text {Dini}}}({\Omega }_r)\), \(d \in {\mathcal {K}_{\text {Dini}}}({\Omega }_r)\), and either \(c \in L^{n,q}({\Omega }_{r_0})\), \(q \in [n, \infty )\), or \(|c|^2 \in {\mathcal {K}}({\Omega }_{r_0})\). If the above conditions hold globally, i.e., for \(r_0=\infty \) and \({\Omega }\) instead of \({\Omega }_{r_0}\), we will drop the subscript \({r_0}\) and simply write \(\text {(N)}\), \(\text {(P)}\), and \(\text {(D)}\).
In the next theorem we borrow ideas from [26], although, some details are different in our case. For example, we had to introduce the auxiliary modulus \(\vartheta '_{{\Omega }_r}\) to be able to use Lemma 2.32 and define the appropriate Dini condition that gives constants independent of \({\Omega }\).
Theorem 4.4
(Local boundedness) Let \(B_r\) be a ball such that \(B_r \cap {\Omega }\ne \emptyset \), for \(r \le r_0\), and assume that \(f, |g|^2 \in {\mathcal {K}_{\text {Dini}}}({\Omega }_{r_0} )\). If \(\sigma \in (0,1)\), then the following hold:
(1) If u is a subsolution of (3.1) in \(B_r \cap {\Omega }\) and the condition \(\text {(N)}_{r_0}\) or \(\text {(D)}_{r_0}\) holds, then
-
(i)
if \(B_r \subset {\Omega }\)
$$\begin{aligned} \sup _{B_{\sigma r}} u^+ \lesssim (1-\sigma )^{-n/p} \left( r^{-n/p}\,\Vert u^+ \Vert _{L^p(B_r)} + k(r) \right) ; \end{aligned}$$(4.9) -
(ii)
if \( B_r\) is centered at a point \(\xi \in \partial {\Omega }\),
$$\begin{aligned} \sup _{B_{\sigma r}} {u_M^+}\lesssim (1-\sigma )^{-n/p} \left( r^{-n/p}\,\Vert {u_M^+}\Vert _{L^p(B_r)} + k(r) \right) . \end{aligned}$$(4.10)
(2) If u is a supersolution of (3.1) in \(B_r \subset {\Omega }\) and the condition \(\text {(P)}_{r_0}\) or \(\text {(D)}_{r_0}\) holds, then
-
(i)
if \(B_r \subset {\Omega }\)
$$\begin{aligned} \sup _{B_{\sigma r}} u^- \lesssim (1-\sigma )^{-n/p} \left( r^{-n/p}\,\Vert u^- \Vert _{L^p(B_r)} + k(r) \right) . \end{aligned}$$(4.11) -
(ii)
if \( B_r\) is centered at a point \(\xi \in \partial {\Omega }\),
$$\begin{aligned} \sup _{B_{\sigma r}} (- {u^-_{m}}) \lesssim (1-\sigma )^{-n/p} \left( r^{-n/p}\,\Vert {u^-_{m}}\Vert _{L^p(B_r)} + k(r) \right) . \end{aligned}$$(4.12)
The implicit constants depend only on p, \(\sigma \), n, \(\lambda \), \(\Lambda \), \(C_{|f|, {\Omega }_{r_0}}, C_{|g|^2, {\Omega }_{r_0}}\) and according to our assumptions, on the following: a) \(C_{s,q}\) and \(\Vert b+c\Vert _{L^{n,q}({\Omega }_{r_0})}\), or \(C_s'\) and \(\vartheta _{{\Omega }_{r_0}}(|b+c|^2, r)\), b) \(C_{|b+c|^2, {\Omega }_{r_0}}\), and c) \(C_{|b|^2, {\Omega }_{r_0}}\), \(C_{|d|, {\Omega }_{r_0}}\), and either \(C_{s,q}\) and \(\Vert c\Vert _{L^{n,q}({\Omega }_{r_0})}\), or \(C_s'\) and \(\vartheta _{{\Omega }_{r_0}}(|c|^2, r)\).
Proof
Let us now pick \(\eta \) so that, for \(0 \le \sigma _1 < \sigma _2 \le \frac{1}{2}\),
If we set \(\chi = \frac{n}{n-2}\) and \(k=k(r)\), then (4.4) for \(r\le 1\) can be written as
which, in turn, implies that
if \(|\gamma |>\tfrac{1}{2}\) and u is a subsolution.
For \(p>1\) and any non-negative integer i, we set
and apply (4.13) with \(\gamma = \gamma _i\), \(\sigma _1=\sigma _{i+1}\) and \(\sigma _2=\sigma _{i}\) to obtain
where \(K_1=(8\,c_3)^{2/p}\) and \(K_2=2^{2/p}\) and \(c_7:=\epsilon \,c_4\,p <1\) (we can choose \(c_4\) so that \(p\, c_4<1\)). Iteration of this inequality leads to
Thus, since
we may apply Lemma 2.32 for \(\tau = \chi ^{-1}\) and \(c=c_7\), and by Lemma 2.13, we obtain
where \(C_{| f|,{\Omega }_{r_0}}\) and \(C_{| g|^2,{\Omega }_{r_0}}\) stand for the Carleson-Dini constants (2.5).
By the definition of \({\bar{u}}\), we get
from which, (4.10) for \(r\le 1\) follows. Replacing \(u^+_M\) by \(u^+\), the same argument shows (4.9) for \(r\le 1\).
To obtain the desired estimates in any ball of arbitrary radius \(r>1\) we use a rescaling argument. Note that \(u_r= u(rx)\) is a subsolution (resp. supersolution) of the equation
where
If we set \(D_{r}= \frac{1}{r}{\Omega }_{r_0}\), by Lemma 2.13, we get that
and since the Dini condition is scale invariant, we have
If we apply (4.14) to \(u_r\) in the domain \(D_{r}\), by the change of variables \(y=rx\), we obtain the following estimate:
Remark that the implicit constants do not depend on r.
Moreover, if \(0<\sigma < 1/2\),
and if \(1/2<\sigma < 1\), then for any ball \(B(z, (1-\sigma ) r) \subset B_{\sigma r}\), we get
Thus, for any \(\sigma \in (0,1)\), we have shown that
which trivially implies (4.9) and (4.10). To show (4.11) and (4.12) it suffices to notice that \(w=-u\) is a subsolution of \(Lw = -f + {{\textrm{div}}}g \) and use (4.9) and (4.10) as \({{\textrm{div}}}b + d \le 0\) still holds.
Using Remark 4.2 we can prove the same result under either condition (D) or \(-{{\textrm{div}}}c + d \le 0\) and \(|b+c|^2 \in {\mathcal {K}_{\text {Dini}}}({\Omega }_r)\). We omit the details. \(\square \)
We turn our attention to the weak Harnack inequality.
Theorem 4.5
(Weak Harnack inequality) Let \(B_r\) be a ball such that \(B_r \cap {\Omega }\ne \emptyset \), for \(r \le r_0\), and assume that \(f, |g|^2 \in {\mathcal {K}_{\text {Dini}}}({\Omega }_{r_0})\). If u is a supersolution of (3.1) in \(B_r \cap {\Omega }\) and the condition \(\text {(P)}_r\) or \(\text {(D)}_r\) is satisfied, then for \(0< s<p< \chi =n/n-2\), the following hold:
-
(i)
if \(B_r \subset {\Omega }\)
$$\begin{aligned} r^{-n/p} \Vert u \Vert _{L^p(B_{r/2})}&\lesssim r^{-n/q} \Vert u \Vert _{L^s(B_{r})} + k(r), \end{aligned}$$(4.15)$$\begin{aligned} r^{-n/p}\Vert u \Vert _{L^p(B_{r})}&\lesssim \inf _{B_{r/2}} u + k(r/2). \end{aligned}$$(4.16) -
(ii)
if \( B_r\) is centered at a point \(\xi \in \partial {\Omega }\),
$$\begin{aligned} r^{-n/p} \Vert {u^-_{m}}\Vert _{L^p(B_{r/2})}&\lesssim r^{-n/s} \Vert {u^-_{m}}\Vert _{L^s(B_{r})} + k(r), \end{aligned}$$(4.17)$$\begin{aligned} r^{-n/p}\Vert {u^-_{m}}\Vert _{L^p(B_{r})}&\lesssim \inf _{B_{r/2}} {u^-_{m}}+ k(r/2), \end{aligned}$$(4.18)
The implicit constants depend only on p, s, \(\sigma \), n, \(\lambda \), \(\Lambda \), \(C_{|f|, {\Omega }_{r_0}}, C_{|g|^2, {\Omega }_{r_0}}\) and according to our assumptions, on the following: a) \(C_{s,q}\) and \(\Vert b+c\Vert _{L^{n,q}({\Omega }_{r_0})}\), or \(C_s'\) and \(\vartheta _{{\Omega }_{r_0}}(|b+c|^2, r)\), b) \(C_{|b+c|^2, {\Omega }_{r_0}}\), and c) \(C_{|b|^2, {\Omega }_{r_0}}\), \(C_{|d|, {\Omega }_{r_0}}\), and either \(C_{s,q}\) and \(\Vert c\Vert _{L^{n,q}({\Omega }_{r_0})}\), or \(C_s'\) and \(\vartheta _{{\Omega }_{r_0}}(|c|^2, r)\).
Proof
We shall first prove the reverse Hölder inequality for \({\bar{u}}\). Recall first that \(\gamma = \beta +1\). If \(p< \chi \), there exists \(\delta \in (0,1)\) such that \(p= \delta \chi \). For any non-negative integer i, we let
and apply (4.13) (which is still true as \(\beta <0\) when \(0<\gamma =\beta +1<1\)) with \(\gamma = \gamma _i\), \(\sigma _1=\sigma _{i}\) and \(\sigma _2=\sigma _{i+1}\). If we argue as in the proof of the previous theorem we obtain
where \(K_1=(4\,c_5)^{2/p}\) and \(K_2=2^{2/p}\) and \(c_6 <1\). As \(q<p\), there exists \(i_0 \in {\mathbb {N}}\) such that \( \gamma _{i_0-1} \le q < \gamma _{i_0-2}\). Thus, if we iterate the latter inequality \(i_0\) times we get
If u is a supersolution, then (4.5) for \(r=1\) implies
By a similar iteration argument as above we can show that for any \(q\in (0,\chi )\),
Set now \(w = \log {\bar{u}}\) and let \(B_r(x)\) a ball centered at x of radius \(r\le 1/2 \) so that \(B_{2r}(x) \subset B_1\). Let also \(\eta \in C^\infty _c(B_{2r}(x))\) so that \(\eta =1\) in \(B_r(x)\), \(\eta =0\) outside \(B_{2r}(x)\) and \(\Vert \nabla \eta \Vert _{\infty } \lesssim 1/r\). Then, by Poincaré and Hölder inequalities, along with (3.18) or (3.42) for \(\beta =-1\) and the fact that \(|{\bar{f}} \le |{\tilde{f}}|\), \(| {\bar{g}}| \le |{\tilde{g}}|\), and \(k=k(1)\), we get
This shows that, \(w \in \,\textrm{BMO}(B_1)\) and thus, there exists \(s\in (0,1)\) such that \(e^{s w}\) is in the class of \(A_2\) Muckenhoupt weights in \(B_1\). That is,
This, combined with (4.19) and (4.20), implies that, for any \(0<p<\chi \),
and so (4.15)-(4.18) hold for \(r=1\). The general case follows by rescaling. \(\square \)
Remark 4.6
If we impose global assumptions (e.g. \(|c|^2\in {\mathcal {K}}'({\Omega })\) and \(|b|^2, |d| \in {\mathcal {K}_{\text {Dini}}}({\Omega })\)) on the coefficients and the interior data, then we may take \(r_0=\infty \) and all of the constants in Theorems 4.4 and 4.5 are independent of r. In particular, the implicit constants depend on p, \(\sigma \), n, \(\lambda \), \(\Lambda \), \(C_{s,q}\), \(C_{|f|, {\Omega }}, C_{|g|^2, {\Omega }}\) and according to our assumptions, on the following: a) \(C_{s,q}\) and \(\Vert b+c\Vert _{L^{n,q}({\Omega })}\), for \(q \in [n,\infty )\), or \(C_s'\) and \(\vartheta _{{\Omega }}(|b+c|^2)\), b) \(C_{|b+c|^2, {\Omega }}\), and c) \(C_{s,q}\) and \(\Vert c\Vert _{L^{n,q}({\Omega })}\), for \(q \in [n,\infty )\), or \(C_s'\) and \(\vartheta _{{\Omega }}(|b+c|^2)\), \(C_{|b|^2, {\Omega }}\), and \(C_{|d|, {\Omega }}\).
Remark 4.7
Let \(\delta >0\), \(\psi _\delta \) be as in (2.6), and \({\Omega }_\delta =\{x\in {\Omega }: \,\textrm{dist}(x, \partial {\Omega }) >\delta \} \cap B(0,\delta ^{-1})\). Define \(b_\delta = (b \textbf{1}_{{\Omega }_\delta }) *\psi _\delta \), \(c_\delta = (c \textbf{1}_{{\Omega }_\delta }) *\psi _\delta \), and \(d_\delta = (d \textbf{1}_{{\Omega }_\delta }) *\psi _{{\Omega }_\delta }\). Let us also define \(L_\delta u = -{{\textrm{div}}}A \nabla u - {{\textrm{div}}}(b_\delta u) - c_\delta \nabla u - d_\delta u\). If (1.5) (resp. (1.6)) holds for b, c and d in \({\Omega }\), then (1.5) (resp. (1.6)) holds in \({\Omega }_\delta \). For a proof see Lemma 6.9 in [16]. Moreover, \(\Vert b_\delta +c_\delta \Vert _{L^{n,q}({\Omega })}\) is dominated by \(2\Vert b+c\Vert _{L^{n,q}(({\Omega })}\) and so, all the constants in the theorems of Sect. 3 are independent of \(\delta \). In the case that (1.5) holds, everything works exactly as before. On the other hand, if (1.6) is satisfied and \(|b+c|^2 \in {\mathcal {K}_{\text {Dini}}}({\Omega })\), we should use Corollary 2.17 in the proof of Lemma 4.1 to obtain bounds which are independent of \(\delta \). Theorems (4.4) and (4.5) for subsolutions and supersolutions of \(L_\delta \) in \({\Omega }_\delta \) will then follow from the same proofs with estimates uniform in \(\delta \).
Example 4.8
Let us now refer to the counterexample constructed in [16, Lemma 7.4]. In particular, the authors defined the operator
where \(b(x)=- \frac{x}{|x|^2 | \ln |x| |}\) and \(\delta >0\), and showed that the solution \(u = | \ln |x| |^\delta \in Y^{1,2}(B(0, e^{-1}))\) does not satisfy (4.9) around 0. They proved that \(b \in L^q(B(0, e^{-1}))\) for any \(q >n\) but not in \(L^n(B(0, e^{-1}))\). It is not hard to see that \(|b|^2 \in {\mathcal {K}}(B(0, e^{-1}))\) but not in \({\mathcal {K}_{\text {Dini}}}(B(0, e^{-1}))\), and thus, assuming \(|b+c|^2 \in {\mathcal {K}}({\Omega })\) does not suffice to establish local boundedness. A modification of this example shows that (4.16) does not hold when \(|b+c|^2 \in {\mathcal {K}}({\Omega })\). It is important to note that, since \(\delta \) can be taken as small as we want, this example shows that assuming the norms to be small is not enough either.
Example 4.9
Adjusting the previous example we can find an operator which does not satisfy neither (1.5) nor (1.6), for which there exists a non-bounded solution in the ball \(B(0, e^{-1})\). Indeed, let
It is not hard to see that \( d \ge 0\) is in the Lorentz space \(L^{n/2,q}(B(0, e^{-1}))\), for any \(q>1\). But notice that \(u = | \ln |x| |\) is a solution of (4.21) and \(u \in Y^{1,2}(B(0, e^{-1}))\). Since u fails to be bounded around 0, the necessity of either (1.5) or (1.6) to prove local boundedness is established. It is interesting to see that d is not in \({\mathcal {K}}(B(0, e^{-1}))\) (and thus, it is not in \(L^{n/2,1}(B(0, e^{-1}))\) either).
4.2 Interior and boundary regularity
Theorem 4.10
Let u be a supersolution of (3.1) in \({\Omega }\) with \(\sup _{{\Omega }} u<\infty \) and assume that the condition (P) or (D) holds. Then u has a lower semi-continuous representative satisfying
Proof
We follow the proof of [12, Theorem 3.66]. Fix a ball \(B_r\) centered at \(x \in {\Omega }\) so that \(B_{2r} \subset {\Omega }\) and apply Theorem 4.5 (i) to \(u - m_r\), where \(m_r=\mathop {\text {ess}}\inf _{B_r} u\). Then, we have
Since C is either a constant independent of r and \((m_{r/2} -m_r) + k(r) \rightarrow 0\) as \(r \rightarrow 0\), by taking limits in the inequality above as \(r \rightarrow 0\), we obtain
which implies (4.22). \(\square \)
Let us now introduce some notation that we will use in the rest of this section. For \(r \le r_0/2\) and \(r_0 \in (0, \infty ]\), set
If k is defined as in Case (2) of (4.8), then \(k = k_3+k_4\). All the functions above with subscript \(\epsilon \) are strictly increasing and from their very definitions we have the following:
Lemma 4.11
If u satisfies
then, if \(0<r_1 \le r_0\),
Theorem 4.12
(Modulus of continuity in the interior) Let \(0<r \le r_0/2\) and \(B_{r}\) be a ball such that \(\overline{B}_{r} \subset {\Omega }\). Assume that |f|, |d|, \(|b|^2\), and \(|g|^2 \in {\mathcal {K}_{\text {Dini}}}(B_{r_0})\), and either \(c \in L^{n,q}(B_{r_0})\), \(q \in [ n, \infty )\), or \(|c|^2 \in {\mathcal {K}}(B_{r_0})\). If u is a solution of (3.1) in \(B_{r}\), then for every \(\mu \in (0,1)\), there exists \(\alpha \in (0,1)\) so that
for all \(x, y \in B_{r/2}\), where \( k_3(r) \) and \( k_4(r) \) are given by (4.28). and (4.30). Note that \(\alpha \) and the implicit constants depend only on \(\lambda \), \(\Lambda \), \(C_{|f|, {\Omega }_{r_0}}, C_{|g|^2, {\Omega }_{r_0}}\) and either on \(C_{s,q}\) and \(\Vert c\Vert _{L^{n,q}({\Omega }_r)}\), or \(C_s'\) and \(\vartheta _{{\Omega }_{r_0}}(|b+c|^2, r)\).
Proof
Fix \(r_1 \in (0,r_0/2)\) such that \(B_{r_1} \subset {\Omega }\) and assume that u is a weak solution of the equation \(Lu = f -{{\textrm{div}}}g\) in \(B_{r_1}\). It is easy to see that u is also a weak solution of the equation
in \(B_{r_1}\). Note that \({\widetilde{L}} 1 = 0 \) and since \({\widetilde{d}} = {\widetilde{b}}_i = 0\), \(i=1, \dots , n\), we can use Theorems 4.4 and 4.5 with \({\widetilde{k}}\) as in (4.32) to get
Now, let
and since \(M_r-u\) and \(u-m_r\) are non-negative solutions of (4.35) in \(B_{r_0}\), by (4.36) for \(r \le r_0/2\), we obtain
Summing those two inequalities we get
which further implies
If we set \({\omega }(r)=\mathop {\text {osc}}_{B_r} u= M_r - m_r\) and \(\gamma = 1-C^{-1} \in (0,1)\), the latter inequality can be written
which implies that for any \(\mu \in (0,1)\) and for \(\alpha = -(1- \mu ) \log \gamma /\log 2 \in (0,1)\), there exists a constant \(C'>0\) depending only on \(\gamma \) such that
which, by (4.34), concludes the proof. \(\square \)
The last goal of this section is to develop of a Wiener-type criterion for boundary regularity of solutions. We will follow the proof of Theorem 8.30 in [9]. Several modifications are required in our case and in particular, we would like to draw the reader’s attention to the iteration argument at the end of the proof. In [9] it is claimed that the inequality (8.81) on p. 208 can be iterated to produce the desired oscillation bound at the boundary. Unless the CDC is satisfied, it is not clear to us that the second term on the right hand-side of that inequality will converge after infinitely many iterations. In fact, the exact term one picks up after m iterations is
It seems that if we do not have additional information about the behavior of the sequence \(a_k =\chi (r/2^k)\), we could choose different sequences \(a_k\) so that \(S_m\) either converges or diverges or even have multiple limit points. We resolve this issue by incorporating this term into the main oscillation term.
Let us first introduce some definitions.
Definition 4.13
We say that a set E is thick at \(\xi \in E\) if
If \({\Omega }\subset {\mathbb R}^n\) is an open set and for \(\xi \in \partial {\Omega }\) it holds that
for some \(c\in (0,1)\) independent of r, we say that \({\Omega }\) satisfies the capacity density condition (CDC) at \(\xi \). If this holds for every \(\xi \in \partial {\Omega }\) and a uniform constant c, we say that \(\partial {\Omega }\) has the capacity density condition.
Theorem 4.14
(Boundary oscillation) Let \(r \le r_0/2\) and \(B_{r}\) be a ball centered at \(\xi \in \partial {\Omega }\). Assume also that u is a solution of (3.1) and \({\varphi }\in Y^{1,2}({\Omega }) \cap C(\overline{{\Omega }})\) so that \(u-{\varphi }\) vanishes on \(\partial {\Omega }\cap B_r\) in the Sobolev sense. Then, the following hold:
-
(i)
Let |f|, |d|, \(|b|^2\), and \(|g|^2 \in {\mathcal {K}_{\text {Dini}}}({\Omega }_{r_0})\), and either \(c \in L^{n,q}({\Omega }_{r_0})\), \(q \in [ n, \infty )\), or \(|c|^2 \in {\mathcal {K}}({\Omega }_{r_0})\). If \({\Omega }\) satisfies the (CDC) at \(\xi \), then
$$\begin{aligned} |u(x)-u(y)| \lesssim&\left[ \left( \frac{|x-y|}{r} \right) ^\alpha + k_3(|x-y|^\mu r^{1-\mu }) \right] \left[ \left( \frac{1}{r^n} \int _{{\Omega }_r} |u|^2 \right) ^{1/2} + k(r) \right] \nonumber \\&+ k_4(|x-y|^\mu r^{1-\mu } ) + |{\varphi }(x)-{\varphi }(y)|,\, \end{aligned}$$(4.38)for all \(x, y \in B_{r/2}\) and \(0<r \le r_0/2\). Here \(k_3 \) and \( k_4(r) \) are given by (4.28). and (4.30), and the implicit constants depend on the CDC constant \(c_0\), \(C_{|f|, {\Omega }_{r_0}}, C_{|g|^2, {\Omega }_{r_0}}\), \(C_{|b|^2, {\Omega }_{r_0}}\), \(C_{|d|, {\Omega }_{r_0}}\), \(\lambda \), \(\Lambda \), and either \(C_{s}\) and \(\Vert c\Vert _{L^{n,q}({\Omega }_r)}\) or \(C_s'\) and \(\vartheta _{{\Omega }_{r_0}}(|c|^2, r)\).
-
(ii)
Let \(|f|, |d| \in {\mathcal {K}}_{\text {Dini}, \delta }({\Omega }_{r_0})\), \(|b|^2, |g|^2 \in {\mathcal {K}}_{\text {Dini}, \delta /2}({\Omega }_{r_0})\) for some \(\delta \in (0,1)\), and either \(c \in L^{n,q}({\Omega }_{r_0})\), \(q \in [n, \infty )\), or \(|c|^2 \in {\mathcal {K}}({\Omega }_{r_0})\). For any \(0 \le \rho \le r/2\), it holds
$$\begin{aligned} \mathop {\text {osc}}_{B_\rho (\xi ) \cap {\Omega }}&u \le \mathop {\text {osc}}_{\partial {\Omega }\cap B_{\rho }(\xi ) } {\varphi }\\&+\exp \left( - \frac{1}{C} \int _{2\rho }^r \frac{\textrm{Cap}(\overline{B}_{s}(\xi ) \setminus {\Omega })}{s^{n-2}}\, \frac{ds}{s} \right) \, \left( \mathop {\text {osc}}_{B_{r}(\xi ) \cap {\Omega }} u + \Big ({\widetilde{k}}(r) +\frac{{\widetilde{k}}(r_0/2)}{r_0/2} r\Big )\right) ,\nonumber \end{aligned}$$where \(C>0\) depends on \(\lambda \), \(\Lambda \), \(k_0\) as defined in (4.43), \(C_{|f|, {\Omega }_{r_0},\delta }, C_{|g|^2, {\Omega }_{r_0},\delta /2}\), \(C_{|b|^2, {\Omega }_{r_0},\delta /2}\), \(C_{|d|, {\Omega }_{r_0},\delta }\), and either \(C_{s}\) and \(\Vert c\Vert _{L^{n,q}({\Omega }_r)}\) or \(C_s'\) and \(\vartheta _{{\Omega }_{r_0}}(|c|^2, r)\).
Proof
If we set \(B_r=B_r(\xi )\) we record that u is a solution of \(Lu = f -{{\textrm{div}}}g\) in \(B_{r} \cap {\Omega }\) and thus, a solution of (4.35). Using the same notation as above, one can prove that for \(\eta \in C^\infty _c(B_{r})\),
This follows easily by inspection of the proofs of Theorem 3.5 and Lemma 4.1.
We fix \(\eta \) so that \(\eta =1\) in \(B_{1/2}\), \(0 \le \eta \le 1\) and \(|\nabla \eta | \le 2\). If we set \(w = \eta ({u^-_{m}}+{\widetilde{k}}_\epsilon (1))\), by (4.39) and (the proof of) (4.18), we deduce that
If we rescale, the latter inequality is written as
It is easy to see that \(\frac{w}{m+{\widetilde{k}}_\epsilon (r)}\) is a function in the convex set \({\mathbb {K}}_{{{\overline{B}}}_{r/2} \setminus {\Omega }}\) in the definition of capacity. This observation along with the latter inequality implies that
Therefore, since \({\widetilde{k}}_\epsilon (r) \ge 0\),
If we set
we can apply (4.40) to the functions \(M_r - u\) and \(u-m_r\) to obtain
Set
and sum the above inequalities to get
If \( \gamma (r) > c\), for every \(r>0\), we can write (4.41) as \({\omega }(r/2) \le (1- c){\omega }(r)+ 2 {\widetilde{k}}_\epsilon (r/2)\) and take limits as \(\epsilon \rightarrow 0\). Then, we can repeat the iteration argument in the proof of Theorem 4.12 to show (4.38).
If \( \gamma (r) \) is not uniformly bounded from below, then for \(m \in {\mathbb {N}}\), (4.41) can be iterated to obtain
To handle \(\Sigma _2\) we adjust the argument in [21, pp. 202-203]. Let us define
for some \(\delta \in (0,1)\), where we used Lemma 2.33 to deduce that \(k_0 <1 \). Define also
Since \(b(r) \le 1- k_0\) for all \(r \in (0,r_0)\), \(1-t \le e^{-t}\) and \(b(r) \le \gamma (r)\), we have
where in the last inequality we used the fact that \(|f|, |d| \in {\mathcal {K}}_{\text {Dini}, \delta }({\Omega }_{r_0})\) and \(|b|^2, |g|^2 \in {\mathcal {K}}_{\text {Dini}, \delta /2}({\Omega }_{r_0})\) and the implicit constants depend on the constants of the relevant Carleson-Dini conditions. If we choose \(\epsilon = \min (2{\widetilde{k}}(r_0/2)/r_0,1)\), the latter quantity is dominated by
Arguing similarly, we get
Therefore, combining (4.42), (4.44), (4.45) and (4.46), we infer that
It is easy to see that
which can be used in (4.47) along with \(K_0 \, \gamma (s):= \frac{1-k_0}{1-k_0+c_n} \gamma (s) \le b(s)\) (using the fact that \(\textrm{Cap}_2(\overline{B(\xi ,s)}, B(\xi , 2s))=c_n s^{n-2}\) for any \(s>0\)) to obtain
For any \(\rho \le r \le r_0/2\), there exists \(m_0 \in {\mathbb {N}}\) such that \(2^{-m_0-1} r \le \rho <2^{-m_0} r\). Thus, by (4.48) we deduce that
which, by (4.34), concludes the proof of Theorem 4.14, since \(\mathop {\text {osc}}_{\partial {\Omega }\cap B_{r}} u \ge 0\) and \(u ={\varphi }\) on \(\partial {\Omega }\cap B_{r}\) in the Sobolev sense. \(\square \)
As a corollary of the previous theorem we obtain the following Wiener-type criterion for continuity of solutions up to the boundary as well as a modulus of continuity under the CDC.
Theorem 4.15
(Boundary continuity) Under the assumptions of Theorem 4.14, if u is the unique solution of 5.2 the following hold:
-
(i)
If \(\xi \in \partial {\Omega }\) and \({\mathbb R}^n {\setminus } {\Omega }\) is thick at \(\xi \), then \( \lim _{{\Omega }\ni x \rightarrow \xi } u(x)= {\varphi }(\xi )\) continuously.
-
(ii)
If \({\varphi }\) is continuous with a modulus of continuity and \(\partial {\Omega }\) has the CDC, then u is continuous in \(\overline{{\Omega }}\) with a modulus of continuity depending on the one of \(\varphi \) as well as the Stummel-Kato modulus of continuity of the data and the coefficients in the definition of \({\widetilde{k}}\).
5 Dirichlet and obstacle problems in Sobolev space
In this section we will need to assume the following standing (global) assumptions:
5.1 Weak maximum principle
Theorem 5.1
Let \(\Omega \subset {\mathbb R}^{n}\) be an open and connected set and assume that either \(b+c \in L^{n,q}({\Omega })\), for \(q \in [n, \infty )\), or \(b+c \in {\mathcal {K}}'({\Omega })\). If \(u \in Y^{1,2}({\Omega })\) is a subsolution of \(Lu =0\), then the following hold:
-
(i)
If (1.5) holds then
$$\begin{aligned} \sup _{{\Omega }}u \le \sup _{\partial \Omega }u^+. \end{aligned}$$ -
(ii)
If (1.6) holds and \(u^+ \in Y_0^{1,2}({\Omega })\), then
$$\begin{aligned} \sup _{{\Omega }}u \le 0. \end{aligned}$$(5.1)
Proof
Set \(\ell =\sup _{\partial {\Omega }}u^+\) and define \(w=(u-\ell )^+ \in Y^{1,2}_0({\Omega })\). We apply Lemma 2.34 to w, for \(p= n\), \(q \in [n. \infty )\), \(h= b+c\), and \(a=\lambda /2C_{s,q}\), to find \(w_i \in Y^{1,2}_0({\Omega })\) and \({\Omega }_i \subset {\Omega }\), \(1 \le i \le m\), satisfying (1)–(8). In light of (5), as \(w \ge 0\), we have that \(w_i \in Y^{1,2}_0({\Omega })\) is also non-negative. Recall also that \( \nabla w_i = \nabla u\) in \({\Omega }_i\). We will now proceed as usual. Indeed, using that u is a subsolution along with (1.2), (1.5), (8), and (2.23), we infer
which implies
By the induction argument in the proof of Theorem 3.1, we get that for any \(i =1,2,\dots , \kappa \), \(\Vert \nabla w_i\Vert _{L^2({\Omega })} =0\), which we may sum in i and use the condition (6) to obtain \(\Vert \nabla w\Vert _{L^2({\Omega })} =0\). Since \(w \in Y^{1,2}_0({\Omega })\), by Lemma 2.4, \(w=0\). Therefore, \(u \le \ell \), which concludes the proof of (i).
To prove of (ii), we argue as above for \(w= u^+ \in Y^{1,2}_0({\Omega })\) (i.e., \(\ell =0\)) and use (1.6) instead of (1.5), to get
Thus,
which, by the induction argument in Theorem 3.2, implies \(\Vert \nabla w\Vert _{L^2({\Omega })} =0\), and so, (5.1) readily follows.
The proof when \(b+c \in {\mathcal {K}}'({\Omega })\) is analogous and the required adjustments are the same as in the proof of Theorem 3.1. Details are omitted. \(\square \)
A direct consequence of the weak maximum principles proved above is the following comparison principle:
Corollary 5.2
Let \(\Omega \subset {\mathbb R}^{n}\) be an open and connected set and assume that either (1.5) or (1.6) holds. Assume also either \(b+c \in L^{n,q}({\Omega })\), for \(q \in [n, \infty )\), or \(b+c \in {\mathcal {K}}'({\Omega })\). If \(u \in Y^{1,2}({\Omega })\) is a supersolution of (3.1) and \(v \in Y^{1,2}({\Omega })\) is a subsolution of (3.1) such that \((v-u)^+ \in Y_0^{1,2}({\Omega })\), then we have that
Proof
Since \(L(v-u) \le 0\) and \((v-u)^+ \in Y_0^{1,2}({\Omega })\), we apply Theorem 5.1 (either (i) or (ii)) and obtain
which concludes our proof. \(\square \)
5.2 Dirichlet problem
Let \(f: {\Omega }\rightarrow {\mathbb R}\), \(g: \Omega \rightarrow {\mathbb R}^{n} \) and \({\varphi }: {\Omega }\rightarrow {\mathbb R}\), such that \(f \in L^{2_*}(\Omega )\), \(g \in L^2(\Omega )\), and \({\varphi }\in Y^{1,2}(\Omega )\). In this section we deal with the Dirichlet problem
In particular, we show that it is well-posed assuming either (1.5) or (1.6). In fact, if we set \(w=u-{\varphi }\), then, \(w \in Y^{1,2}_0({\Omega })\), and (in the weak sense) it holds
Thus, (5.2) is readily reduced to the following inhomogeneous Dirichlet problem with zero boundary data:
Well-posedness of the Dirichlet problem (5.3) with solutions \(u \in W_0^{1,2}(\Omega )\) instead of \(u \in Y_0^{1,2}(\Omega )\) in unbounded domains was shown in [2, Theorem 1.4] for data \(f, g \in L^2(\Omega )\), but with a stronger negativity assumption than \( {{\textrm{div}}}b + d \le 0\). Namely, it was assumed that there exists \(\mu < 0\) such that \( {{\textrm{div}}}b + d \le \mu \). This was necessary exactly because they required the solutions to be in \(W_0^{1,2}(\Omega )\) as opposed to \(Y_0^{1,2}(\Omega )\). It is worth mentioning that (1.6) was not treated at all.
In the following theorem we follow the proof of [2, Theorem 1.4] adjusting the arguments to the weaker negativity assumption \( {{\textrm{div}}}b + d \le 0\) and the Sobolev space \(Y_0^{1,2}(\Omega )\). Moreover, our argument works for Lorentz spaces as well as the Stummel-Kato class.
Theorem 5.3
Let \(\Omega \subset {\mathbb R}^{n}\) be an open and connected set and assume that either \(b+c \in L^{n,q}({\Omega })\), for \(q \in [n, \infty )\), or \(|b+c|^2 \in {\mathcal {K}}'({\Omega })\). If \(g_i \in L^2(\Omega )\) for \(1 \le i \le n\), \(f \in L^{2_*}({\Omega })\), and either (1.5) or (1.6) holds, then the Dirichlet problem (5.3) has a unique solution \(u \in Y_0^{1,2}(\Omega )\) satisfying
where the implicit constant depends only on \(\lambda \), \(\Lambda \), and either \(C_{s,q}\) and \(\Vert b+c\Vert _{L^{n,q}({\Omega })}\) or \(C_s'\) and \(\vartheta _{{\Omega }}(|b+c|^2)\).
Proof
To demonstrate that (5.4) holds assuming that such a solution exists, it is enough to repeat the argument in the proof of Theorem 5.1 applying Lemma 2.34 to \(u \in Y_0^{1,2}(\Omega )\). The difference is that we should use that u is a solution of (3.1) instead of a subsolution of \(Lu =0\) and thus, we pick up two terms related to the interior data exactly as in the proofs of Theorems 3.1 and 3.2. Similar (but easier) manipulations along with the same induction argument conclude (5.4). We omit the details.
To show that (5.3) has a unique solution it is enough to apply the comparison principle given in Corollary 5.2.
Existence of solutions of (5.3) is also based on (5.4). We first assume that \({\Omega }\) is a bounded domain and solve the variational problem (5.3) in \(W^{1,2}_0({\Omega })\) with interior data \(f \in L^2({\Omega }) \cap L^{2_*}({\Omega })\) and \(g \in L^2({\Omega })\).
Let \(u \in W_0^{1,2}(\Omega )\) and note that by (1.2) and \( {{\textrm{div}}}b + d \le 0\) we have
If \((b+c) \in L^{n,q}({\Omega })\), for \(\delta >0\) sufficiently small to be chosen, we can find \(\zeta \in L^{\infty }({\Omega })\) which support has finite Lebesgue measure, such that \(\Vert (b+c)^2 - \zeta \Vert _{L^{n,q}({\Omega })}< \delta \). Thus, by (2.23),
If \({\varepsilon }>0\) small enough to be chosen, then by (5.5), (5.6), and Young inequality, we infer
We now choose \({\varepsilon }=\frac{\lambda }{4}\) and \(\delta = \frac{\lambda }{4 C_{s,q}}\), and obtain
If \(|b+c|^2 \in {\mathcal {K}}({\Omega })\), then we apply Cauchy-Schwarz and (2.15),
If we choose \({\varepsilon }=\frac{\lambda }{4}\), we get
Let us denote \(H=L^2({\Omega })\), \(V=W^{1,2}_0({\Omega })\) and its dual \(V^*=W^{-1,2}({\Omega })\) and define
By (5.7), its associated bilinear form is clearly coercive and bounded in V. As \(f \in H\) and \(g \in H\), by Lax-Milgram theorem, there exists a unique solution to the problem
and so, \(L_\sigma \) has a bounded inverse \(L_\sigma ^{-1}: V^* \rightarrow V\).
If \(J: V \rightarrow V^*\) is an embedding given by
\(I_2: V \rightarrow H\) is the natural embedding and \(I_1: H\rightarrow V^*\) is an embedding given also by (5.9), we can write \(J= I_1\circ I_2\). It is clear that J is compact as \(I_2\) is compact and \(I_1\) is continuous.
The interior data naturally induces a linear functional on V by
so we wish to solve the equation \(Lu =F\). This is is equivalent to \(L_\sigma u - \sigma J u = F\), which in turn, can be written as
But \(L_\sigma ^{-1} J\) is compact as J is compact and \(L_\sigma ^{-1}\) is continuous. Thus, by the Fredholm alternative, (5.10) has a unique solution if and only if \(w=0\) is the unique function in V satisfying \(w - \sigma L_\sigma ^{-1} J w =0\) (or else \(Lw=0\)). But this readily follows from the weak maximum principle in Theorem 5.1 and thus, a solution of (5.3) exists in bounded domains.
If \({\Omega }\) be an unbounded domain, we can find a sequence of function \(f_k \in C^\infty _c({\Omega })\) such that \(f_k \rightarrow f\) in \(L^{2_*}({\Omega })\), and then for \(j \in {\mathbb {N}}\) define
Since \(f_k \in L^2({\Omega })\cap L^{2_*}({\Omega })\) and \({\Omega }_j\) is a bounded open set, by (5.8), there exists \(u_{k,j} \in W^{1,2}_0({\Omega }_j) = Y^{1,2}_0({\Omega }_j)\) such that \(L u_{k,j} = f_k - {{\textrm{div}}}g\) in \({\Omega }_j\). If we extend \(u_{k,j} \) by zero outside \({\Omega }_j\), by (5.4), we will have
that is, \(u_{k,j}\) is a uniformly bounded sequence in \(Y_0^{1,2}({\Omega })\) with bounds independent of j and k. Thus, since \(Y_0^{1,2}({\Omega })\) is weakly compact, there exists a subsequence \(\{u_{k, j_m}\}_{m \ge 1}\) converging weakly to a function \(u_k \in Y^{1,2}_0({\Omega })\). Notice also that if \({\varphi }\in C^\infty _c({\Omega })\), then for j large enough, it also holds \({\varphi }\in C^\infty _c({\Omega }_j)\). Therefore, since \(L u_{k, j} = f_k - {{\textrm{div}}}g\) in \({\Omega }_j\) for any \(j \ge 0\), and \(u_{k,j_m} \rightarrow u_k\) weakly in \(Y_0^{1,2}({\Omega })\) as \(m \rightarrow \infty \), we obtain
i.e., \(L u_{k} = f_k - {{\textrm{div}}}g\) in \({\Omega }\). In addition, since \(u_k\) is the weak limit of \(u_{k,j_m}\), for k large enough, it satisfies
with implicit contants independent of k. Once again by the weak compactness of \(Y_0^{1,2}({\Omega })\), we can find a subsequence \(\{u_{k_m}\}_{m \ge 1}\) converging weakly to a function \(u \in Y^{1,2}_0({\Omega })\). Thus, since \(L u_{k} = f_k - {{\textrm{div}}}g\) in \({\Omega }\), \(u_{k_m} \rightarrow u\) weakly in \(Y_0^{1,2}({\Omega })\) and \(f_{k_m} \rightarrow f\) in \(L^{2_*}({\Omega })\)-norm, we obtain
The proof is now concluded. \(\square \)
An immediate corollary of the last theorem in light of the considerations at the beginning of this section is the following:
Theorem 5.4
Let \(\Omega \subset {\mathbb R}^{n}\) be an open and connected set and assume that either \(b+c \in L^{n,q}({\Omega })\), for \(q \in [n, \infty )\), or \(|b+c|^2 \in {\mathcal {K}}'({\Omega })\). If \({\varphi }\in Y^{1,2}(\Omega )\), \(g_i \in L^2(\Omega )\) for \(1 \le i \le n\), \(f \in L^{2_*}({\Omega })\), and either (1.5) or (1.6) holds, then the Dirichlet problem (5.2) has a unique solution \(u \in Y^{1,2}(\Omega )\) satisfying
with the implicit constant depending only on \(\lambda \), \(\Lambda \), and either \(C_{s,q}\) and \(\Vert b+c\Vert _{L^{n,q}({\Omega })}\) or \(C_s'\) and \(\vartheta _{{\Omega }}(|b+c|^2)\).
5.3 Obstacle problem
In this subsection, we let \(\Omega \) be a bounded and open set, and assume that either (1.5) or (1.6) is satisfied, and also that either \(b+c \in L^{n,q}({\Omega })\), for \(q \in [n, \infty )\), or \(|b+c|^2 \in {\mathcal {K}}'({\Omega })\) holds.
Definition 5.5
Let \(\psi , \phi \in W^{1,2}(\Omega )\) such that \(\phi \ge \psi \) on \(\partial {\Omega }\) in the \(W^{1,2}\) sense. Let us also define the convex set
We say that u is a solution to the obstacle problem in \(\Omega \) with obstacle \(\psi \) and boundary values \(\phi \) and we write \(u \in {\mathcal {K}}_{\psi , \phi }({\Omega })\), if \(u \in {\mathbb {K}}\) and
This problem can be reduced to the one with zero boundary data as follows: Let us define the convex set
Suppose that \(u \in {\mathcal {K}}_{\psi , \phi }({\Omega })\) and write
Thus,
and since \(\langle F, \eta \rangle :=\langle f, \eta \rangle - {\mathcal {L}}(\phi ,\eta )\), \(\eta \in W^{1,2}_0({\Omega })\), defines an element \(F \in W^{-1,2}({\Omega })\), it is enough to prove the following theorem:
Theorem 5.6
Let \( \psi \) be measurable such that \(\psi \le 0\) on \(\partial {\Omega }\) in the \(W^{1,2}\) sense. Define
Given \(F \in W^{-1,2}({\Omega })\), there exists a unique \(u \in {\mathbb {K}}_\psi \) such that
Moreover, u is the minimal among all \(w \in W^{1,2}({\Omega })\) that are supersolutions of \(L w =F\) and satisfy \(w \ge \psi \) in \({\Omega }\) and \(w \ge 0 \) on \(\partial {\Omega }\) in the \(W^{1,2}\) sense.
Proof
By the weak maximum principle proved in Theorem 5.1, our theorem follows from Theorem 4.27 in [35] and the Corollary right after it. \(\square \)
An important consequence of this theorem is the following:
Corollary 5.7
Let \({\Omega }\subset {\mathbb R}^n\) be an open set (not necessarily bounded). If u and v are supersolutions of \(Lw =F\) in \({\Omega }\), then \(\min (u,v)\) is a supersolution of the same equation.
Proof
If \({\Omega }\) is bounded, the proof is a consequence of Theorem 5.6 and can be found in [17, Chapter II, Theorem 6.6]. Let \({\Omega }\) be an unbounded open set and assume that u and v are supersolutions of \(Lw =F\) in \({\Omega }\). Since they are supersolutions of the same equation in any bounded open set \(D \subset {\Omega }\), \(\min (u,v)\) is a supersolution in any such D as well. Using a partition of unity, this yields that \(\min (u,v)\) is a supersolution in \({\Omega }\). \(\square \)
The proof of the following theorem can be found for instance in [17, Chapter II, Theorem 6.9].
Theorem 5.8
Let u be the unique solution obtained in Theorem 5.6 for \(\psi \in W^{1,2}({\Omega })\). Then there exists a non-negative Radon measure so that
with
In particular,
6 Green’s functions in unbounded domains
Here we construct the Green’s function associated with an elliptic operator given by (1.1) satisfying either negativity assumption following the approach of Hofmann and Kim [13] along with its variation due to Kang and Kim [15].
6.1 Construction of Green’s functions
Before we start, we should mention that the equation formal adjoint operator of L is given by
with corresponding bilinear form
Moreover, if \({\mathcal L}\) satisfies (1.5), then its adjoint satisfies (1.6) and vice versa.
In the current section, we will require the following conditions to hold:
Theorem 6.1
Let \({\Omega }\subset {\mathbb R}^n\) be an open and connected set and L be an operator given by (1.1) so that (1.6) holds. For a fixed \(y \in {\Omega }\), there exists the Green’s function \(G(x, y)\ge 0\) for a.e. \(x \in {\Omega }\setminus \{y\}\) with the following properties:
-
(1)
\(G(\cdot , y) \in Y^{1,2}({\Omega }\setminus B_r(y))\) for all \(r>0\) and vanishes on \(\partial {\Omega }\).
-
(2)
If \(f \in L^{\frac{n}{2},1}({\Omega }) \) and \(g \in L^{n,1}({\Omega })\), we have that
$$\begin{aligned} u(x)=\int _{\Omega }G(y,x) \,f(y) \,dy + \int _{\Omega }\nabla _y G(y, x) \,g(y) \,dy, \end{aligned}$$(6.1)is a solution of \(L^t u =f - {{\textrm{div}}}g\) in \({\Omega }\) and \(u \in Y^{1,2}_0({\Omega })\) satisfying \(\Vert u\Vert _{L^\infty ({\Omega })}\lesssim \Vert f\Vert _{L^{\frac{n}{2},1}({\Omega }) } + \Vert g\Vert _{L^{n,1}({\Omega }) } \).
-
(3)
For any other Green’s function \({\widehat{G}}(x,y)\) satisfying (3), it holds \(G(x,y)={\widehat{G}}(x,y)\) for a.e. \( x \in {\Omega }{\setminus } \{y\}\).
-
(4)
\(G(\cdot , y) \in W^{1,1}_\text {loc}({\Omega })\) and for any \(\eta _y \in C^\infty _c(B_r(y))\) such that \(\eta _y=1\) in \(B_{r/2}(y)\), for \(r>0\), it holds that
$$\begin{aligned} {\mathcal {L}}(G(\cdot , y), (1-\eta _y){\varphi })=0, \quad \text {for any}\,\, {\varphi }\in C^\infty _c({\Omega }). \end{aligned}$$(6.2)
If we set \(d_y= \,\textrm{dist}(y, \partial {\Omega })\) (\(d_y=\infty \) if \({\Omega }={\mathbb R}^n\)), the following bounds are satisfied:
The implicit constants depend only on \(\lambda \), \(\Lambda \), and either \(C_{s,q}\) and \(\Vert b+c\Vert _{L^{n,q}({\Omega })}\), or \(C_s'\) and \(\vartheta _{\Omega }(|b+c|^2)\). If we also assume \(|b+c|^2 \in {\mathcal {K}_{\text {Dini}}}({\Omega })\), then
where the implicit constant depends also on \(C_{|b+c|^2, {\Omega }}\).
If \(|b+c|^2 \in {\mathcal {K}_{\text {Dini}}}({\Omega })\), we can construct the Green’s function \(G^t(x, y)\) associated with the operator \(L^t\) which is non-negative for a.e. \(x\in {\Omega }\setminus \{ y\}\) and satisfies the analogous properties (1)–(4) and the bounds (6.3)–(6.8). The implicit constants depend on \(\lambda \), \(\Lambda \), \(C_s'\) and \(C_{|b+c|^2, {\Omega }}\), and, in the pointwise bounds, on \(\Vert b+c\Vert _{L^{n,q}({\Omega })}\), or \(C_s'\) and \(\vartheta _{\Omega }(|b+c|^2)\) as well. Moreover, if \(b, c \in L^{n,q}({\Omega })\), \(d \in L^{\frac{n}{2},q}({\Omega })\), for \(q \in [n, \infty )\), or \(|b|^2, |c|^2, |d| \in {\mathcal {K}}'({\Omega })\), it holds that
and
Proof
Given a point \(y \in {\Omega }\), if \({\Omega }_\rho (y)= {\Omega }\cap B_\rho (y)\), we define
Since L satisfies (1.6) and \(f_\rho (\cdot , y) \in L^\infty ({\Omega })\) with bounded support, we may apply Theorem 5.3 (ii) to find a function \(G_\rho (\cdot , y) \in Y^{1,2}_0({\Omega })\) so that
for any \({\varphi }\in C^\infty _c({\Omega })\), with global bounds
Note that \(G_{\rho }(\cdot ,y) \in Y^{1,2}_0({\Omega })\) and is an L-supersolution. If we apply the maximum principle given in Theorem 5.1 (ii),we get that \(G_{\rho }(\cdot ,y) \ge 0\) in \({\Omega }\).
Let now \(f \in L^\infty ({\Omega })\) and \(g \in L^\infty ({\Omega })\) so that \(|{\text {supp}}(f)|+|{\text {supp}}(g)|<\infty \). Then, by Theorem 5.3, there exists \(u \in Y^{1,2}_0({\Omega })\) such that
satisfying
Remark here that, by the density of \(C^\infty _c({\Omega })\) in \(Y^{1,2}_0({\Omega })\), both (6.11) and (6.13) can be extended to test functions \(\varphi \in Y^{1,2}_0({\Omega })\). So, if we set \(\varphi = u\) in (6.11) and \(\psi = G_{\rho }(\cdot ,y)\) in (6.13), we obtain that
For \(r>0\) fixed, assume that \({\text {supp}}(f) \subset {\Omega }_r(y)\), \(g=0\), and let \(\rho < r/2\). Since \(u_f\) is in \(Y^{1,2}({\Omega }_r(y))\), vanishes on \(B_r(y) \cap \partial {\Omega }\), and satisfies \(L^t u_f = f\) in \({\Omega }_r(y)\), by Theorem 4.4 (1) with \(M=0\), we obtain
where in the penultimate inequality we used Hölder inequality and (6.14). Similarly, if \(f=0\), \({\text {supp}}(g) \subset {\Omega }_r(y)\), and \(\rho < r/2\), since \(u_g \in Y^{1,2}({\Omega }_r(y))\) that vanishes on \(B_r(y) \cap \partial {\Omega }\) and \(L^t u_g = -{{\textrm{div}}}g\) in \({\Omega }_r(y)\),
By (6.15), duality considerations, and the latter two estimates, we have that for all \(r>0\) and \(\rho < r/2\),
In fact, arguing similarly, we can prove that for all \(r>0\), \(\rho < r/2\), and \(q \in [1, \frac{n}{n-2})\),
To avoid an early use of the pointwise bounds and thus, of the assumption \(|b+c|^2 \in {\mathcal {K}_{\text {Dini}}}({\Omega })\), we will need the following auxiliary lemma.
Lemma 6.2
Let \(\Omega \subset {\mathbb R}^{n}\) be an open set and L be the operator given by (1.1) that satisfies either (1.5) or (1.6). Let \(B_s=B(x,s)\) be a ball of radius s centered at \(x \in {\Omega }\) such that \(3B_s \subset {\Omega }\) and \(u \in Y^{1,2}({\Omega }{\setminus } B_s)\) be a solution of \(Lu =0\) in \({\Omega }{\setminus } B_s\) that vanishes on \(\partial {\Omega }\). Then for any \(r \ge 4\,s\) we have
where the implicit constants depend only on \(\lambda \), \(\Lambda \), \(\Vert b+c\Vert _{L^n({\Omega };\, {\mathbb R}^n)}\), and \(C_{s,q}\).
Proof
The proof can be found in [16, Lemma 3.19] with the difference that we use Theorems 3.3 instead of [16, Lemma 3.18] that only holds for \(r \le 1\). \(\square \)
For fixed \(r >0\) and \(\rho \in (0, r/6)\) we let \(\eta \in C^\infty ({\mathbb R}^n)\) so that
Thus, by Theorem 3.3, since \(L G_\rho (\cdot ,y) = 0\), in \({\Omega }{\setminus } B_{r/2}(y)\),
which, in turn, by Sobolev embedding theorem, implies that for \(0<\rho < r/6\),
On the other hand, for \(\rho \ge r/6\), by (6.12), we have that
Therefore, if we apply (6.18), (6.19), and (6.20), we obtain that for any \(r>0\), there exists a constant C(r) depending on r so that
uniformly in \(\rho >0\). So, by a diagonalization argument and weak compactness of \(Y^{1,2}_0\), there exists a sequence \(\{\rho _m\}_{m=1}^\infty \) that converges to zero as \(m \rightarrow \infty \) such that for all \(r>0\),
where \(G(\cdot ,y) \in Y_0^{1,2}({\Omega }\setminus B_r(y))\). Moreover, by (6.20),
If we follow the proof of inequalities (3.21) and (3.23) in [13] using the the same considerations that lead to the proof of the estimates for \(G_\rho (\cdot , y)\) away from the pole, we can show that
uniformly in \(\rho >0\). This yields that \(G_\rho (\cdot ,y) \in L^{\frac{n}{n-2}, \infty }({\Omega })\) and \(\nabla G_\rho (\cdot ,y) \in L^{\frac{n}{n-1}, \infty }({\Omega })\) with bounds independent of \(\rho \).
Moreover, in light of (6.22) and (6.23), we can mimic the proof of inequalities (3.24) and (3.26) in [13] and infer that for any \(\rho >0\) and \(r<d_y \),
In particular,
uniformly in \(\rho >0\). Thus, fixing \(p \in (1, \tfrac{n}{n-1})\), by a diagonalization argument, we can find a subsequence of \(\rho _m\) in (6.21) (which we still denote by \(\rho _m\) for simplicity) so that
for all \( r<d_y \). We also have that \({\tilde{G}}(\cdot , y)\) satisfies (6.4) and (6.5) for this particular p. Since \(G(\cdot , y)={\tilde{G}}(\cdot , y)\) in \(B(y, d_y) {\setminus } B(y, d_y/2)\), we can extend \({\tilde{G}}(\cdot , y)\) by \( G(\cdot , y)\) to the entire \({\Omega }\) by setting \(G(\cdot , y)={\tilde{G}}(\cdot , y)\).
Let \({\Omega }_t= \{x \in {\Omega }: G(x,y) > t \}\), \(p=\frac{n}{n-2}\), \({\varepsilon }\in (0, p-1)\). If we apply Chebyshev inequality, and then use that the \(L^p\)-norms are weakly lower semicontinuous and \(|{\Omega }_t|<\infty \), by (6.3) and (6.4), we have
Letting \( {\varepsilon }\rightarrow p-1\), we get \(|{\Omega }_t|^{\frac{1}{p}} \lesssim 1\) which proves (6.6). A similar reasoning proves (6.7). Moreover,
Therefore, by (6.11) and (6.15), in view of (6.25), (6.26), and (6.21), we can prove (6.2) and also, (6.1) for \(f \in L^\infty ({\Omega })\) and \(g \in L^\infty ({\Omega })\) so that \(|{\text {supp}}(f)|+|{\text {supp}}(g)|<\infty \) (a detailed but more involved argument can be found after equation (6.33)). To show that (6.1) holds in general, it is enough to use that simple functions are dense in \(L^{p,q}({\Omega })\) if \(q \ne \infty \) along with (6.6) and (6.7). Details are left to the reader.
The proof of inequalities (3.30) and (3.31) in [13] gives us (6.4) and (6.5) for any p (in the stated range).
We will now demonstrate that for a fixed \(y \in {\Omega }\), \(G(\cdot , y) \ge 0\) a.e. in \({\Omega }{\setminus } \{y\}\). Assume that \(\sigma _n\) is the sequence converging to zero for which \(G_{\sigma _n}(\cdot , y)\) converge to \(G(\cdot , y)\) in the sense of (6.21) and (6.24). If necessary, we can pass to a subsequence so that \(\sigma _n < \min (|x-y|, d_y)/10\). Fix \(x \in {\Omega }\) so that \(x \ne y\) and let \(\rho _m\) be a sequence converging to zero so that \(\rho _m \le \min (|x-y|, d_x)/10\). Therefore, since \( G_{\sigma _n}(\cdot , y) \ge 0\) in \( {\Omega }\), we have that
where we used (6.21) in the case \(B_{\rho _m}(y) \subset {\Omega }{\setminus } B_r(x)\) for some \(r>0\) and (6.24) in the case \(B_{\rho _m}(x) \cap B_{\sigma _n}(y) \ne \emptyset \). By Lebesgue differentiation theorem, if we let \(m \rightarrow \infty \), we infer that \(G(x, y) \ge 0\) for a.e. \(x \in {\Omega }\setminus \{y\}\).
To prove uniqueness of the Green’s function, we assume that \( {\widehat{G}}(\cdot , y)\) is another Green’s function for the same operator. Then for \(f \in C^\infty _c({\Omega })\) and \(g=0\), we have that for fixed \(y \in {\Omega }\),
By the comparison principle Corollary 5.2, \(u = {\widehat{u}}\) in \({\Omega }\) and so,
Since \(f \in C^\infty _c({\Omega })\) is arbitrary, this readily implies that \( G(x, y)={\widehat{G}}(x, y)\) for a.e. \(x \in {\Omega }{\setminus } \{y\}\).
So far, we have not used the local boundedness of solutions of \(L^t u=0\) and thus, the assumption \(|b+c|^2 \in {\mathcal {K}_{\text {Dini}}}({\Omega })\). It is only for the pointwise bounds we will need it. Indeed, let \(x,y \in {\Omega }\), \(x \ne y\) and set \(r= |x-y|/4\). Then, (6.2) yields that \(LG(\cdot ,y)=0\) away from y. So, by Theorem 4.4 and (6.3) for \( p=2\), we obtain
Notice that, under the additional assumption \(|b+c|^2 \in {\mathcal {K}_{\text {Dini}}}({\Omega })\), we can apply the previous considerations to construct the Green’s function \(G^t(\cdot , y)\) associated with the operator \(L^t\) with all the properties above. The only thing that remains to be shown is that \(G^t(x,y)= G(y,x)\) for a.e. \((x,y) \in {\Omega }^2{\setminus } \{x=y\}\). We will first prove it in the case that solutions of \(Lu=0\) and \(L^t u=0\) are locally Hölder continuous in \({\Omega }{\setminus }\{x\}\) and \({\Omega }{\setminus }\{y\}\) respectively. In this case, all the properties that hold a.e. in \({\Omega }{\setminus } \{ \text {pole}\}\), because of the continuity therein, will actually hold everywhere in \({\Omega }\setminus \{ \text {pole}\}\).
To this end, let \(\sigma _n\) and \(\rho _m\) be the sequences converging to zero for which \(G_{\sigma _n}(\cdot , x)\) and \(G^t_{\rho _m}(\cdot , y)\) converge to \(G(\cdot , x)\) and \(G^t(\cdot , y)\) in the sense of (6.21), (6.24), and (6.25). If necessary, we may further pass to subsequences so that
Because \(G_{\sigma _n}(\cdot , x)\) and \(G_{\rho _m}^t(\cdot , y)\) are locally Hölder continuous in \({\Omega }{\setminus }\{x\}\) and \({\Omega }{\setminus }\{y\}\) respectively, with constants uniform in \(\sigma _n\) and \(\rho _m\) and, by Theorem 4.4, they are uniformly bounded on compact subsets of the respective domains, we may pass to subsequences so that
We now use \(G^t_{\rho _m}(\cdot , y)\) and \(G_{\sigma _n}(\cdot , x)\) as test functions in their very definitions to obtain
By Lebesgue’s differentiation theorem and continuity of \(G_{\sigma _n}(\cdot , x)\) in \({\Omega }{\setminus } \{x\}\),
which, in view of (6.28), yields that
On the other hand, the weak convergence of \(G^t_{\rho _m}(\cdot , y)\) in \(Y^{1,2}({\Omega }{\setminus } B_r(y))\) for any \(r>0\) implies
from which, by Lebesgue differentiation theorem and the continuity of \(G^t(\cdot , y)\) in \({\Omega }{\setminus } \{y\}\), we deduce that
Therefore, \(G(x,y)=G^t(y,x)\) for all \((x, y) \in {\Omega }^2 {\setminus } \{x=y\}\), which, combined with (6.1), implies (6.10).
We are now ready to remove the Hölder continuity assumption. Set
which are open sets such that \(\cup _{k \ge 1} {\Omega }_k = {\Omega }\). Let \(\psi \in C^\infty _c({\mathbb R}^n)\) so that
For \(k \in {\mathbb N}\), set \(\psi _k(x)= k^{n} \psi (k x)\) and define \(b_k = (b\,\textbf{1}_{{\Omega }_k}) *\psi _k\), \(c_k = (c\,\textbf{1}_{{\Omega }_k}) *\psi _k\) and \(d_k = (d\,\textbf{1}_{{\Omega }_k}) *\psi _k\).
Define
If we fix \(x \ne y \in {\Omega }\), there exists \(k_0\) large enough such that \(x, y \in {\Omega }_k\) for every \(k \ge k_0\) and in particular, x and y are in the same connected component of \({\Omega }_k\). Therefore, Remark 4.7 applies, and since, for such k, Theorem 4.4 holds for \(L_k \) in \({\Omega }_k\) with bounds independent of k, we can construct the Green’s functions \(G_k(\cdot , y)\) and \(G_k^t(\cdot , x)\) associated with \(L_k\) and \(L^t_k\) in \({\Omega }_k\) as above, with the additional property that \(G_k(\cdot ,x)\) and \(G_k^t(\cdot , y)\) are locally Hölder continuous away from x and y respectively. In the last part we used Theorem 4.12, which applies in this situation, since \(b_k, c_k, d_k \in L^\infty \) with compact support and thus, \(|b_k|^2, |c_k|^2, |d_k| \in {\mathcal {K}_{\text {Dini}}}({\Omega }_k)\) (with implicit constants depending in the domain). Extend both \(G_k(\cdot ,x)\) and \(G_k^t(\cdot , y)\) by zero outside \({\Omega }_k\) and note that (6.3)-(6.7) hold in \({\Omega }\) with constants independent of k (see Remark 4.7). Therefore, repeating essentially the arguments concerning the convergence of \(G_\rho \) and the inheritance of the bounds from \(G_\rho \), we can find \({G}(\cdot , y)\) which is non-negative a.e. in \({\Omega }\setminus \{y\}\) and vanishes on \(\partial {\Omega }\). Additionally, it satisfies (6.3)-(6.7), and, after passing to a subsequence,
The considerations above apply to \(G_k^t\) as well.
Let \(f \in L^\infty ({\Omega })\) and \(g \in L^\infty _{\Omega })\) which supports have finite Lebesgue measure. Thus, by virtue of (6.1), we have that
Since \(u_k \in Y^{1,2}_0({\Omega }_k)\), we can extend it by 0 outside \({\Omega }_k\). Recall that \(u_k\) satisfies \(L_k^t u_k=f-{{\textrm{div}}}g\) in \({\Omega }_k\) and also
where the implicit constant is independent of k. If we take limits in (6.32) as \(k \rightarrow \infty \) and use (6.29) and (6.30) for \(G_k^t(\cdot , y)\), we can show that for all \(y \in {\Omega }\),
Therefore, since \(u_k \rightarrow u\) pointwisely in \({\Omega }\) and \(u_k\) is a uniformly bounded sequence in \(Y_0^{1,2}({\Omega })\), it holds that \(u_k \rightharpoonup u\,\,\text {in}\,\, Y^{1,2}({\Omega })\) and \(u \in Y^{1,2}_0({\Omega })\). For a proof see for instance [12, Theorem 1.32]. We will show that u is the unique solution of the Dirichlet problem \(L^t u =f\) and \(u \in Y^{1,2}_0({\Omega })\). If \({\varphi }\in C^\infty _c({\Omega })\), there exists \(k_1 \ge k_0\) such that \({\varphi }\in C^\infty _c({\Omega }_k)\) for every \(k \ge k_1\). Thus,
To pass to the limit, we need to treat each of the terms of the bilinear form separately. We first write
If \(b\in L^{n,q}({\Omega })\), by Lemma 2.26 we have that \(b_k \rightarrow b\) in \(L^{n,q}({\Omega })\), which, combined with (2.23) and the uniform \(Y^{1,2}\)-bound of \(u_k\), yields that \( \lim _{k \rightarrow \infty } I_{b,1}^k =0\). To prove that
it is enough to notice that, by Hölder inequality in Lorentz spaces and Lemma 2.30, \(b \phi \in L^2({\Omega })\), and then use that \(\nabla u_k \rightharpoonup \nabla u\) in \(L^2({\Omega })\). If \(|b|^2\in {\mathcal {K}}'({\Omega })\), we combine Cauchy-Schwarz inequality, Lemma 2.21, the uniform \(Y^{1,2}\)-bound of \(u_k\), and Lemma 2.14, to show \(I_{b,1}^k \rightarrow 0\). By (2.17), we have that \(b \phi \in L^2({\Omega })\), and thus, (6.33) follows from the weak-\(L^2\) convergence of \(\nabla u_k\) to \(\nabla u\). Let us now prove the limit for the one involving \(d_k\). To this end, write
If \(d \in L^{\frac{n}{2},q}({\Omega })\), \(d_k \rightarrow d\) in \(L^{\frac{n}{2},q}({\Omega })\), which, by Hölder inequality for Lorentz spaces, (2.18), (2.21), and the uniform \(Y^{1,2}\)-bound of \(u_k\), yields that \( \lim _{k \rightarrow \infty } I_{d,1}^k =0\). Moreover, as \(u_k \rightarrow u\) pointwisely, we can apply the dominated convergence theorem to obtain
If \( |d| \in {\mathcal {K}}'({\Omega })\), we first apply Cauchy-Schwarz inequality, and then use Lemma 2.21 and the uniform \(Y^{1,2}\)-bound of \(u_k\). Finally, in view of Lemma 2.14, we can take limits as \(k \rightarrow \infty \) to conclude that \(\lim _{k \rightarrow \infty } I_{d,1}^k\). The proof of (6.34) follows by dominated convergence. The integral involving \(c_k\) can be treated very similarly and the details are left to the reader. We have thus proved that
which, in turn, yields that u is the unique solution of the Dirichlet problem \(L^t u =f - {{\textrm{div}}}g\) and \(u \in Y^{1,2}_0({\Omega })\).
Let us now recall thatfrom the first part of the proof (before the approximation) we can construct a Green’s function \(\widehat{G}(\cdot , y)\) associated with L so that the function
is also a solution of the Dirichlet problem \(L^t {\widehat{u}} =f - {{\textrm{div}}}g\) and \({\widehat{u}} \in Y^{1,2}_0({\Omega })\). But since there is only one such solution we must have \(u = {\widehat{u}}\), which, as we showed before, implies that \(G(x,y)={\widehat{G}}(x,y)\), for a.e. \(x \in {\Omega }{\setminus } \{y\}\). As we have shown that (6.3) holds for \({\widehat{G}}(x,y)\), it also holds for G(x, y).
The same arguments are valid if we replace G by \({G}^t\) and L by \(L^t\) (and vice versa), implying that
and after passing to a subsequence, \(u^t_k \rightharpoonup u^t\,\,\text {in}\,\, Y^{1,2}({\Omega })\), \(u^t \in Y^{1,2}_0({\Omega })\), and \(L u^t =f\) in \({\Omega }\).
For \(f, g \in C^\infty _c({\Omega })\) we set
Recall that
and
By Fubini theorem and \(G^t_k(x,y)=G_k(y,x)\) for all \((x,y) \in {\Omega }^2 {\setminus } \{x=y\}\), we have that
If we take limits as \(k \rightarrow \infty \) in (6.35),
which implies
Since \(f, g \in C^\infty _c({\Omega })\) are arbitrary, we conclude that \({G}^t(x,y) ={G}(y,x) \) for a.e. \((x,y) \in {\Omega }^2 {\setminus } \{x=y\}\).
Once we have that (6.4) holds, the proof of (6.8) is the same as in (6.27), while (6.1) follows by density. \(\square \)
Remark 6.3
If \({\varphi }\in C^\infty _c({\Omega })\) and it holds that \(b \nabla {\varphi }\in L^{\frac{n}{2},1}({\Omega })\), \(c {\varphi }\in L^{n,1}({\Omega })\), and \(d {\varphi }\in L^{\frac{n}{2},1}({\Omega })\), then we can show that
This is straightforward if we use (6.6) and (6.7).
Finally, we can prove that, under certain restrictions, the Green’s function has pointwise lower bounds as well.
Lemma 6.4
Let \(\Omega \subset {\mathbb R}^{n}\) be an open and connected set and \(Lu=-{{\textrm{div}}}(A\nabla u + b u)\) be an elliptic operator so that \(b \in {\mathcal {K}_{\text {Dini}}}({\Omega })\). Let \(x,y \in {\Omega }\), \(x \ne y\), such that \(2|x-y| < \,\textrm{dist}(\{x,y\}, \partial {\Omega })\). If we set \(r= |x-y| /4\), then the Green’s functions G constructed in Theorem 6.1 satisfy the following lower bound:
Proof
Let us fix \(x, y \in {\Omega }\) with \(x \ne y\). If we set \(r = \frac{|x-y|}{4}\) and let \(\eta \in C_0^{\infty }(B_r(y))\) be a bump function so that
Then using it as a test function we have that
where we used Hölder, Sobolev and Caccioppoli inequality, along with Lemma 6.2. Thus, from (4.16), we have that \(G(x,y)\gtrsim \frac{1}{|x-y|^{n-2}}\).
Let \(v\in Y^{1,2}({\Omega })\) be a nonnegative function such that \(Lv =0\) and \(v(y) > 0\), and let \(\eta \) be the bump function defined above. Then, if we assume \(\rho \le \min \left( \frac{|x-y|}{10}, \frac{d_y}{10}, \frac{d_x}{10}\right) \),
where we used that \(G^t_{\rho }(\cdot ,y) \eta \) is a test function and \(Lv=0\). We will only estimate \(I_3\) since \(I_1\) and \(I_2\) can be handled similarly.
where in the first inequality we used Hölder inequality and in the second one the local bonudedness of v. If \(\rho _m\) is the sequence obtained in (6.21), then by Rellich-Kondrachov theorem and a diagonalization argument, we may pass to a subsequence so that
Thus, if we take \(m \rightarrow \infty \), by Lemma 6.2, for a.e. \(y \in {\Omega }\),
So, by (4.16) and Remark (4.2), we get
which implies (6.36). \(\square \)
Data availability
Data sharing is not applicable to this article as no new data were created or analyzed in this study.
Notes
Our original assumptions were \(b, c \in L^{n}({\Omega })\) and \(d \in L^{\frac{n}{2}}({\Omega })\). The extension to weak Lebesgue spaces is due to an observation of G. Sakellaris in [28]; a more detailed discussion can be found at the end of the introduction.
Just pointwise convergence is enough here.
References
Bennett, C., Sharpley, R.: Interpolation of Operators. Pure and Applied Mathematics, vol. 129. Academic Press Inc, Boston (1988)
Bottaro, G., Marina, M.T.: Problema di Dirichlet per equazioni ellittiche di tipo variazionale su insiemi non limitati. Bollettino dell Unione Matematica Italiana (4) 8, 46–56 (1976)
Chiarenza, F., Fabes, E., Garofalo, N.: Harnack’s inequality for Schrödinger operators and the continuity of solutions. Proc. A.M.S. 98, 415–425 (1986)
Costea, S.: Strong A(infinity)-weights and scaling invariant Besov and Sobolev–Lorentz capacities. ProQuest LLC, Ann Arbor, MI, Thesis (Ph.D.)-University of Michigan (2006)
Costea, S.: Sobolev–Lorentz spaces in the Euclidean setting and counterexamples. Nonlinear Anal. 152, 149–182 (2017)
Davey, B., Hill, J., Mayboroda, S.: Fundamental matrices and Green matrices for non-homogeneous elliptic systems. Publ. Mat. 62(2), 537–614 (2018)
De Giorgi, E.: Sulla differenziabilità e l’analiticità delle estremali degli integrali multipli regolari. Mem Accad. Sci. Torino Cl. Sci. Fis. Mat. Nat. 3(3), 25–43 (1957)
Garling, D.J.H.: A Course in Mathematical Analysis: Volume 2, Metric and Topological Spaces, Functions of a Vector Variable. Cambridge University Press, Cambridge (2014)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order, 2nd edn. Springer-Verlag, Berlin (1983)
Grafakos, L.: Classical Fourier Analysis. Graduate Texts in Mathematics, vol. 249, 2nd edn. Springer, New York (2008)
Grüter, M., Widman, K.: The Green function for uniformly elliptic equations. Manuscripta Math. 37(3), 303–342 (1982)
Heinonen, J., Kilpeläinen, T., Martio, O.: Nonlinear potential theory of degenerate elliptic equations. Dover Publications, Inc., Mineola, Unabridged republication of the 1993 original (2006)
Hofmann, S., Kim, S.: The Green function estimates for strongly elliptic systems of second order. Manuscripta Math. 124(2), 139–172 (2007)
Ifra, A., Riahi, L.: Estimates of Green functions and harmonic measures for elliptic operators with singular drift terms. Publ. Mat. 49(1), 159–177 (2005)
Kang, K., Kim, S.: Global pointwise estimates for Green’s matrix of second order elliptic systems. J. Differ. Equ. 249, 2643–2662 (2010)
Kim, S., Sakellaris, G.: Green’s function for second order elliptic equations with singular lower order coefficients. Commun. PDE 44(3), 228–270 (2019)
Kinderlehrer, D., Stampacchia, G.: An Introduction to Variational Inequalities and their Applications. Classics in Applied Mathematics, p. xx+313. Society for Industrial and Applied Mathematics (SIAM), Philadelphia (2000)
Kurata, K.: Continuity and Harnack’s Inequality for Solutions of Elliptic Partial Differential Equations of Second Order. Indiana Univ. Math. J. 43(2), 411–440 (1994)
Ladyzhenskaya, O.A., Ural’tseva, A.A.: Linear and Quasilinear Elliptic Equations. Academic Press, New York and London (1968); translated from the Russian edition of (1964)
Littman, W., Stampacchia, G., Weinberger, H.F.: Regular points for elliptic equations with discontinuous coefficients. Ann. Sc. Norm. Super. Pisa Cl. Sci. 17(3), 43–77 (1963)
Malý, J., Ziemer, W.P.: Fine Regularity of Solutions of Elliptic Partial Differential Equations. American Mathematical Society, Providence (1997)
Morrey, C.B.: Second Order Elliptic Equations in Several Variables and Hölder Continuity. Math. Z. 72, 146–164 (1960)
Moser, J.: A new proof of De Giorgi’s theorem concerning the regularity problem for elliptic differential equations. Commun. Pure Appl. Math. 13, 457–468 (1960)
Moser, J.: On Harnack?s theorem for elliptic differential equations. Commun. Pure Appl. Math. 14, 577–591 (1961)
Nash, J.: Continuity of solutions of parabolic and elliptic equations. Am. J. Math. 80, 931–954 (1958)
Ragusa, M.A., Zamboni, P.: Local regularity of solutions to quasilinear elliptic equations with general structure. Commun. Appl. Anal. 3(1), 131–147 (1999)
Ragusa, M.A., Zamboni, P.: A potential theoretic inequality. Czech. Math. J. 51, 55–65 (2001)
Sakellaris, G.: On scale invariant bounds for Green’s function for second order elliptic equations with lower order coefficients and applications. Anal. PDE 14(1), 251–299 (2021)
Sakellaris, G.: Scale invariant regularity estimates for second order elliptic equations with lower order coefficients in optimal spaces. J. Math. Pures Appl. 156, 179–214 (2021)
Sawano, Y.: Theory of Besov Spaces. Developments in Mathematics, Springer, Singapore (2018)
Schechter, M.: Spectra of Partial Differential Operators. North-Holland, Amsterdam (1971)
Stampacchia, G.: Problemi al contorno ellittici, con dati discontinui, dotati di soluzioni hölderiane. Ann. Mat. Pura Appl. 51(1), 1–37 (1960)
Simon, B.: Schrödinger semigroups. Bull. Am. Math. Soc. 7(3), 447–526 (1982)
Stampacchia, G.: Le problème de Dirichlet pour les équations elliptiques du second ordre à coefficients discontinus. Ann. Inst. Fourier (Grenoble) 15(1), 189–257 (1965)
Troianiello, G.M.: Elliptic Differential Equations and Obstacle Problems. The University Series in Mathematics, Plenum Press, New York (1987)
Vitanza, C., Zamboni, P.: The Dirichlet problem for second order elliptic equations with coefficients in the Stummel class in unbounded domains. Ann. Univ. Ferrara 40(1), 97–110 (1994)
Wiener, N.: The Dirichlet Problem. J. Math. Phys. 3(3), 127–146 (1924)
Zamboni, P.: Some function spaces and elliptic partial differential equations. Matematiche (Catania) 42, 171–178 (1987)
Zhuge, J., Zhang, Z.: Green matrices and continuity of the weak solutions for the elliptic systems with lower order term. Int. J. Math. 27(2), 1650010, 34 (2016)
Acknowledgements
We would like to thank Georgios Sakellaris for making his paper available to us and for helpful discussions. We are also grateful to him for spotting a gap in our previous proof of (6.9). We would also like to thank the anonymous referee for their careful reading and their suggestions, which have contributed to improve the readability of the paper.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Mondino.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author was supported by IKERBASQUE and partially supported by the grants MTM-2017-82160-C2-2- P and PID2020-118986GB-I00 of the Ministerio de Economía y Competitividad (Spain) and by the grant IT-1615-22 (Basque Government).
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
Mourgoglou, M. Regularity theory and Green’s function for elliptic equations with lower order terms in unbounded domains. Calc. Var. 62, 266 (2023). https://doi.org/10.1007/s00526-023-02596-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-023-02596-2