Abstract
We study the asymptotic behavior, as \(\gamma \) tends to infinity, of solutions for the homogeneous Dirichlet problem associated with singular semilinear elliptic equations whose model is
where \(\Omega \) is an open, bounded subset of \({\mathbb {R}}^{N}\) and f is a bounded function. We deal with the existence of a limit equation under two different assumptions on f: either strictly positive on every compactly contained subset of \(\Omega \) or only nonnegative. Through this study, we deduce optimal existence results of positive solutions for the homogeneous Dirichlet problem associated with
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In recent years, existence, uniqueness and regularity of nonnegative solutions of the following semilinear singular problem have been widely studied:
Here, \(\Omega \) is an open bounded subset of \({\mathbb {R}}^{N}\), with \(N > 2\), f is a nonnegative function belonging to some Lebesgue space and \(\gamma > 0\).
Existence and uniqueness of a classical solution \(u\in C^2(\Omega )\cap C({\overline{\Omega }})\) of (1.1) are proved in [19, 39], when f is a positive Hölder continuous function in \({\overline{\Omega }}\) and \(\Omega \) is a smooth domain. In the same framework, Lazer and McKenna in [29] prove that \(u\in W_0^{1,2}(\Omega )\) if and only if \(\gamma <3\) and that if \(\gamma >1\), the solution does not belong to \(C^1({\overline{\Omega }})\), while in [23], under the weaker assumption that f is only nonnegative and bounded, Del Pino proves existence and uniqueness of a positive distributional solution belonging to \(C^1(\Omega )\cap C({\overline{\Omega }})\). These results are generalized by Lair and Shaker in [28].
Existence of a positive distributional solution with data merely in \(L^1(\Omega )\) is proved by Boccardo and Orsina in [8]. The authors show that this solution, if \(\gamma <1\), belongs to an homogeneous Sobolev space larger than \(W_0^{1,2}(\Omega )\), if \(\gamma =1\), it belongs to \(W_0^{1,2}(\Omega )\) and, finally, if \(\gamma >1\), it belongs to \(W^{1,2}_{loc}(\Omega )\) (see Theorem 3.1). In the last case, the boundary condition is assumed in a weaker sense, i.e., \(\displaystyle u^{\frac{\gamma +1}{2}}\in W_0^{1,2}(\Omega )\).
Existence and regularity of solutions of (1.1) with data in suitable Lebesgue space or with measure data are also studied in [11, 12, 17, 18, 26, 35], while, in case of a nonlinear principal part, we refer to [10, 22, 33]. We underline also the study of qualitative properties of solutions of (1.1) contained in [13, 24].
As concerns uniqueness of solutions of (1.1), the literature is more limited. If a solution belongs to \(W_0^{1,2}(\Omega )\), uniqueness is proved in [7], while in [40] a necessary and sufficient condition in order to have \(W_0^{1,2}(\Omega )\) solutions is shown. Moreover, we can find uniqueness results of solutions out of finite energy space in [14, 25, 34].
We observe that if we perform in (1.1) the change in variable
we formally transform (1.1) into the quasilinear singular equation with singular and gradient quadric lower-order term
Equation (1.2) is a particular case of the quasilinear singular equation
where B and \(\rho \) are positive real numbers.
One usually says that the quadratic growth in \(\nabla v\) of (1.3) is natural as this growth is invariant under the simple change of variable \(w=F(v)\), where F is a smooth function. In this case, Eq. (1.3) is also singular since the lower-order term is singular where the solution is zero.
Problem (1.3) has been recently studied by several authors. Existence of classical solutions is studied by Porru and Vitolo in [36], while existence of a positive solution \(v\in W_0^{1,2}(\Omega )\) when f is bounded and strictly positive on every compactly contained subset of \(\Omega \) and \(0<\rho \le 1\) is contained in [2, 4]. Moreover, if \(0<\rho <1\), Boccardo proves in [6] existence of a positive weak solution under weaker assumptions on f, that is, f only nonnegative and belonging to \(\displaystyle L^{\left( \frac{2^*}{\rho }\right) '}(\Omega )\).
As concerns the case \(\rho \ge 1\), existence of positive weak solutions is proved in [6, 32] for \(B < 1\) if \(\rho = 1\) and \(\displaystyle f\in L^{\frac{2N}{N+2}}(\Omega )\) is nonnegative in \(\Omega \), while in [3] existence is proved for every \(B > 0\) and for every \(\rho < 2\) if the datum \(f\in L^{\frac{2N}{N+2}}(\Omega )\) is strictly positive on every compactly contained subset of \(\Omega \). Moreover, existence of positive solutions in the same framework of [3], under a weaker assumption on f, that is, fstrictly positive on every compactly contained subset of a neighborhood of \(\partial \Omega \), is proved in [16]. Nonexistence results for positive solutions in \(W_0^{1,2}(\Omega )\) of (1.3) are given, if \(\rho >2\), in [3, 43].
The study of the uniqueness of weak solutions of (1.3) is more limited in the literature. We refer to [5] where uniqueness is proved if \(0<\rho \le 1\) and to [15] for \(\rho \ge 1\). We underline also the multiplicity result of weak solutions contained in [42].
Without the aim to be exhaustive, we also refer the reader to [20, 27] in which the existence of solutions of (1.3) is studied also in the presence of sign-changing data, while we refer to [9, 21, 41] for the study of (1.3) in the parabolic case.
Looking at the results for (1.3), the case \(B = 1\) and \(\rho = 1\) is a borderline case, requiring a stronger assumption on the datum in order to prove existence of positive weak solutions. In this paper, we give an answer to the question whether this stronger assumption is really necessary or whether it is only technical.
From now onwards, we mean by fstrictly positive a function f strictly positive on every compactly contained subset of \(\Omega \), that is, for every subset \(\omega \) compactly contained in \(\Omega \) there exists a positive constant \(c_\omega \) such that \(f\ge c_\omega >0\) almost everywhere in \(\omega \).
Since the case \(B = 1\) and \(\rho = 1\) can be seen as the limit case as \(\gamma \) tends to infinity of Eq. (1.2), and since this equation is connected to Eq. (1.1), one can try to study problem (1.3), in the borderline case \(B = 1\) and \(\rho = 1\), by looking at the asymptotic behavior, as \(\gamma \) tends to infinity, of the solutions of (1.1) under the assumption that f is either nonnegative or strictly positive.
In this paper, we prove, if f is strictly positive in \(\Omega \), letting \(\gamma \) tend to infinity, that there is no limit equation to (1.1) and we find a positive solution to
recovering the existence result contained in [2,3,4].
If we assume f only nonnegative, more precisely zero in a neighborhood of \(\partial \Omega \), we prove that there is a limit equation to (1.1) and we give a one-dimensional example providing that the assumption fstrictly positive cannot be relaxed in order to have a positive solution to (1.4) as a limit of approximations.
Our results imply that the existence results contained in [2,3,4, 16, 32] are sharp.
The plan of the paper is the following: In Sect. 2, we give the definitions of solution to our problems and we state the results that will be proved in the paper. In Sect. 3, we prove a priori estimates for the solutions of (1.1) both from above and from below, that allow us to pass to the limit in (1.1) and (1.2) as \(\gamma \) tends to infinity. In Sect. 4, we pass to the limit in (1.1) under the two different assumptions on f. In Sect. 5, we pass to the limit in (1.2), in the case f strictly positive, obtaining the existence of positive solutions of (1.4). In Sect. 6, we show, if f is only nonnegative, the one-dimensional example of nonexistence of positive solutions to (1.4) obtained by approximation. To conclude, in Sect. 7 we present some open problems.
Notations Let \(\Omega \) be an open and bounded subset of \({\mathbb {R}}^N\), with \(N\ge 1\). We denote by \(\partial \Omega \) its boundary, by |A| the Lebesgue measure of a Lebesgue measurable subset A of \({\mathbb {R}}^N\), and we define \(\displaystyle \mathrm {diam}(\Omega )=\sup \{|x-y| \,:\, x,y\in \Omega \}\).
By \(C_c(\Omega )\), we mean the space of continuous functions with compact support in \(\Omega \) and by \(C_0(\Omega )\) the space of continuous functions in \(\Omega \) that are zero on \(\partial \Omega \). Analogously, if \(k\ge 1\), \(C^k_c(\Omega )\) (resp. \(C^k_0(\Omega )\)) is the space of \(C^k\) functions with compact support in \(\Omega \) (resp. \(C^k\) functions that are zero on \(\partial \Omega \)).
If no otherwise specified, we will denote by C several constants whose value may change from line to line. These values will only depend on the data (for instance C may depend on \(\Omega \), N), but they will never depend on the indexes of the sequences we will introduce.
Moreover, for any \(q>1\), \(q'\) will be the Hölder conjugate exponent of q, while for any \(1\le p<N\), \(p^*=\frac{Np}{N-p}\) will be the Sobolev conjugate exponent of p. We will also denote by \(\epsilon (n)\) any quantity such that
We will use the following well-known functions defined for a fixed \(k>0\)
with \(s\in {\mathbb {R}}\).
We also mention the definition of the Gamma function
where z is a complex number with positive real part, recalling that \(\varGamma (1)=1\) and \(\displaystyle \varGamma \left( \frac{1}{2}\right) =\sqrt{\pi }\).
Finally, we define \(\phi _\lambda :{\mathbb {R}}\rightarrow {\mathbb {R}}\), with \(\lambda >0\), the following function
In what follows we will use that for every \(a,b>0\) we have, if \(\displaystyle \lambda > \frac{b^2}{4a^2}\), that
2 Main assumptions and statement of the results
Let M(x) be a matrix which satisfies, for some positive constants \(0<\alpha \le \beta \), for almost every \(x\in \Omega \) and for every \(\xi \in {\mathbb {R}}^{N}\) the following assumptions:
Let \(\gamma >0\) be a real number. We consider the following semilinear elliptic problem with a singular nonlinearity
To deal with existence for solutions to problem (2.2), we give the following definition of distributional solution contained in [8].
Definition 2.1
A function u in \(W^{1,1}_{loc}(\Omega )\) such that
is a distributional solution of (2.2) if the following conditions are satisfied:
and
We underline that, if \(\gamma >1\), the condition \(\displaystyle u^{\frac{\gamma +1}{2}} \in W^{1,1}_0(\Omega )\) gives meaning to the boundary condition of (2.2).
We start studying the asymptotic behavior of the sequence \(\{u_{n}\}\) of solutions to problem (2.2), with \(\gamma =n\). Our results are the following:
Theorem 2.2
Let f be a nonnegative \(L^{\infty }(\Omega )\) function. Suppose that there exists \(\omega \subset \subset \Omega \) such that \(f = 0\) in \(\Omega {\setminus } \omega \), and such that for every \(\omega ' \subset \subset \omega \) there exists \(c_{\omega '} > 0\) such that \(f \ge c_{\omega '}\) in \(\omega '\). Let \(\{u_{n}\}\) be a sequence of distributional solutions of
Then, \(\{u_{n}\}\) is bounded in \(L^{\infty }(\Omega )\), so that it converges, up to subsequences, to a bounded function u which is identically equal to 1 almost everywhere in \(\omega \). Furthermore, the sequence \(\{f(x)/u_{n}^{n}\}\) is bounded in \(L^{1}(\Omega )\), and if \(\mu \) is the \(*\)-weak limit in the sense of measures of \(f(x)/u_{n}^{n}\), \(\mu \) is concentrated on \(\partial \omega \), and u in \(W^{1,2}_0(\Omega )\) is the solution of
Theorem 2.3
Let f be a function belonging to \(L^{\infty }(\Omega )\) such that for every \(\omega \subset \subset \Omega \) there exists \(c_{\omega } > 0\) such that \(f \ge c_{\omega }\) in \(\omega \). Let \(\{\omega _{n}\}\) be an increasing sequence of compactly contained subsets of \(\Omega \) such that their union is \(\Omega \), and let \(u_{n}\) be the distributional solution of
Then, \(\{u_{n}\}\) is bounded in \(L^{\infty }(\Omega )\), so that it converges, up to subsequences, to a bounded function u, which is identically equal to 1 almost everywhere in \(\Omega \). Moreover, the sequence \(\{f(x)\chi _{\omega _{n}}/u_{n}^{n}\}\) is unbounded in \(L^{1}(\Omega )\), and there is no limit equation for u.
If \(M(x)\equiv I\), we have that \(\displaystyle \left\{ v_n=\frac{u_n^{n+1}}{n+1}\right\} \) is a sequence of distributional solutions to the following problem
To be complete, we give the definitions of distributional and weak solution for quasilinear elliptic equations with singular and gradient quadratic lower-order term whose model is
where \(B>0\).
Definition 2.4
A function v in \(W^{1,2}_0(\Omega )\) is a weak solution of (2.7) if the following conditions are satisfied:
-
(i)
\(v>0\) almost everywhere in \(\Omega \),
-
(ii)
\(\displaystyle \frac{|\nabla v|^2}{v}\) belongs to \(L^1(\Omega )\),
-
(iii)
It holds
$$\begin{aligned} \int _{\Omega }\nabla v\cdot \nabla \varphi + B\,\int _{\Omega }\frac{|\nabla v|^{2}}{v}\,\varphi =\int _{\Omega }f\,\varphi \,, \quad \forall \, \varphi \in W_0^{1,2}(\Omega )\cap L^{\infty }(\Omega )\,. \end{aligned}$$
Definition 2.5
A function v in \(W^{1,1}_0(\Omega )\) is a distributional solution of (2.7) if the following conditions are satisfied:
-
(i)
\(v>0\) almost everywhere in \(\Omega \),
-
(ii)
\(\displaystyle \frac{|\nabla v|^2}{v}\) belongs to \(L^1(\Omega )\),
-
(iii)
It holds
$$\begin{aligned} \int _{\Omega }\nabla v\cdot \nabla \varphi + B\,\int _{\Omega }\frac{|\nabla v|^{2}}{v}\,\varphi =\int _{\Omega }f\,\varphi \,, \quad \forall \, \varphi \in C^1_c(\Omega )\,. \end{aligned}$$
By passing to the limit in (2.6), we prove, in the case fstrictly positive, the following existence theorem of weak solution to problem (2.8).
Theorem 2.6
Let f be a \(L^{\infty }(\Omega )\) function such that for every \(\omega \subset \subset \Omega \) there exists \(c_{\omega } > 0\) such that \(f \ge c_{\omega }\) in \(\omega \). Then, \(\displaystyle \left\{ v_n=\frac{u_n^n+1}{n+1}\right\} \) is bounded in \(W_0^{1,2}(\Omega )\cap L^{\infty }(\Omega )\), so that it converges, up to subsequences, to a bounded nonnegative function v which is a weak solution of
On the other hand, if f is zero in a neighborhood of \(\partial \Omega \), we show by a one-dimensional explicit example that the function obtained as limit of our approximation is zero in a subset of \(\Omega \) with strictly positive measure. In other words, we will prove the following result.
Theorem 2.7
Let \(\Omega =(-2,2)\) and \(\omega =(-1,1)\). Let \(u_n\) in \(W^{1,2}_0((-2,2))\) be the weak solution of
Let \(\displaystyle v_n=\frac{u_n^{n+1}}{n+1}\) be a weak solution of
then \(\{v_n\}\) weakly converges to a function v in \(W^{1,2}_0((-2,2))\) and v, belonging to \(C^\infty _0((-1,1))\), is a classical solution of
Moreover, \(\displaystyle v(t)=\frac{2}{\pi ^2}\cos ^2\left( \frac{\pi }{2}t\right) \) in \((-1,1)\) and \(v(t)\equiv 0\) in \([-2,-1] \cup [1,2]\).
Remark 2.8
It follows from Theorem 2.7 that if f is only nonnegative we cannot obtain by approximation a positive solution of (2.8). This implies that the assumption fstrictly positive is necessary (and not only technical) to have positive solutions on the whole \(\Omega \) to problem (2.8). Hence, the existence results contained in [2,3,4, 16, 32] are optimal.
3 Estimates from above and from below
In [8], existence results for distributional solutions of (2.2) have been proved. To be more precise, we have the following theorem in the case \(\gamma >1\).
Theorem 3.1
Let \(\gamma > 1\), and let f be in \(L^{\infty }(\Omega )\), with \(f \ge 0\) in \(\Omega \), f not identically zero. Then, there exists a distributional solution u of (2.2), with u in \(W^{1,2}_{\mathrm{loc}}(\Omega ) \cap L^{\infty }(\Omega )\). Moreover, we can extend the class of test functions in the sense that
Sketch of the Proof of Theorem 3.1
Following [8], let m in \({\mathbb {N}}\) and consider the approximated problems
The existence of a solution \(u_{m}\) can be easily proved by means of the Schauder fixed point theorem. Since the sequence \(\displaystyle g_{m}(s) = \frac{1}{(s + \frac{1}{m})^{\gamma }}\) is increasing in m, standard elliptic estimates imply that the sequence \(\{u_{m}\}\) is increasing, so that \(u_{m}\ge u_{1}\), and there exists the pointwise limit u of \(u_{m}\). Since (by the maximum principle) for every \(\omega \subset \subset \Omega \) there exists \(c_{\omega ,\gamma } > 0\) such that \(u_{1} \ge c_{\omega ,\gamma }\) in \(\omega \), it then follows that \(u_{m}\) (and so u) has the same property.
Choosing \(u_{m}^{\gamma }\) as test function in (3.2), we obtain, using (2.1), that
Therefore, \(\{u_{m}^{\frac{\gamma +1}{2}}\}\) is bounded in \(W_0^{1,2}(\Omega )\). Choosing \(u_{m}\,\varphi ^{2}\) as test function in (3.2), with \(\varphi \) in \(C^{1}_{0}(\Omega )\), we obtain, using again (2.1),
Hence, if \(\omega = \{\varphi \ne 0\}\), recalling that \(u_{m}\ge c_{\omega ,\gamma } > 0\) in \(\omega \), we have, by Young’s inequality,
Since \(u_{m}\) is bounded in \(L^{2}(\Omega )\) (recall that \(u_{m}^{\frac{\gamma +1}{2}}\) is bounded in \(W_0^{1,2}(\Omega )\), so that \(u_{m}^{\gamma +1}\) is bounded in \(L^{1}(\Omega )\) by Poincaré inequality, and that \(\gamma > 1\)), we thus have
so that the sequence \(\{u_{m}\}\) is bounded in \(W^{1,2}_{\mathrm{loc}}(\Omega )\). Let now \(k > 1\) and choose \(G_{k}(u_{m})\) as test function in (3.2). We obtain, using (2.1),
so that
Starting from this inequality, and reasoning as in Theorem 4.2 of [37], we can prove that \(u_{m}\) is uniformly bounded in \(L^{\infty }(\Omega )\), so that u belongs to \(L^{\infty }(\Omega )\) as well.
Once we have the a priori estimates on \(u_{m}\), we can pass to the limit in the approximate equation with test functions \(\varphi \) in \(W^{1,2}_{0}(\Omega )\) with compact support; indeed,
since \(u_{m}\) is weakly convergent to u in \(W^{1,2}_{\mathrm{loc}}(\Omega )\), and
by the Lebesgue theorem, since \(u_{m}\ge c_{\{\varphi \ne 0\},\gamma } > 0\) on the support of \(\varphi \). \(\square \)
Since the formulation of distributional solution for (2.2) is not suitable for our purposes, we are going to better specify the class of test functions which are admissible for the problem (2.2) to obtain estimates from above for u. We start with the following theorem.
Theorem 3.2
The solution u of (2.2) given by Theorem 3.1 is such that:
-
(i)
\(u^{\gamma +1}\) belongs to \(W_0^{1,2}(\Omega )\);
-
(ii)
$$\begin{aligned} \int _{\Omega } M(x)\,\nabla \Big ( \frac{u^{\gamma +1}}{\gamma +1} \Big ) \cdot \nabla v \le \int _{\Omega } f\,v\,, \qquad \forall v \in W_0^{1,2}(\Omega )\,,\ v \ge 0\,; \end{aligned}$$(3.3)
-
(iii)
$$\begin{aligned} \Vert u\Vert _{L^{\infty }(\Omega )\,} \le [C\,(\gamma +1)\,\Vert f\Vert _{L^{\infty }(\Omega )\,}]^{\frac{1}{\gamma +1}}\,, \end{aligned}$$(3.4)
for some constant \(C > 0\), independent on \(\gamma \).
Proof
We begin by observing that, using the boundedness in \(L^{\infty }(\Omega )\) of the sequence \(u_{m}\) of solutions of (3.2), and the boundedness of \(u_{m}^{\frac{\gamma +1}{2}}\) in \(W_0^{1,2}(\Omega )\), the sequence \(u_{m}^{p}\) is bounded in \(W_0^{1,2}(\Omega )\) for every \(p \ge \frac{\gamma +1}{2}\). In particular, \(\{u_{m}^{\gamma +1}\}\) is bounded in \(W_0^{1,2}(\Omega )\). This yields that \(u^{\gamma +1}\) belongs to \(W_0^{1,2}(\Omega )\) as well; i.e., i) is proved.
We now fix a positive \(\varphi \) in \(C^{1}_{0}(\Omega )\) and take \(u_{m}^{\gamma }\,\varphi \) as test function in (3.2). We obtain
Dropping the first term (which is positive), we obtain
Letting m tend to infinity, and using the boundedness of \(u_{m}^{\gamma +1}\) in \(W_0^{1,2}(\Omega )\), we obtain
Since \(u^{\gamma +1}\) belongs to \(W_0^{1,2}(\Omega )\), we obtain by density
which is (3.3). We now choose
as test function in (3.3) (recall that \(u \ge 0\), so that \(v \ge 0\) as well). We obtain, setting \(A_{\gamma }(k) = \{ u^{\gamma +1} \ge (\gamma +1)\,k\} = \{v \ge 0\}\),
Recalling (2.1), we therefore have
From this inequality, reasoning once again as in [37], we obtain that there exists \(C > 0\) such that
which then yields (3.4). \(\square \)
Remark 3.3
We observe that if we also assume that \(\omega = \{f > 0\}\) is compactly contained in \(\Omega \) in Theorem 3.1, then u belongs to \(W^{1,2}_0(\Omega )\) and \(\displaystyle \frac{f}{u^\gamma }\) belongs to \(L^1(\Omega )\). As a matter of fact, taking \(u_m\) as test function in (3.2), we have
so that u belongs to \(W_0^{1,2}(\Omega )\). Moreover, using the Lebesgue theorem and that \(u_m \ge c_{\omega ,\gamma }\), we deduce that \(\displaystyle \frac{f}{u_m^\gamma }\) strongly converges to \(\displaystyle \frac{f}{u^\gamma }\) in \(L^1(\Omega )\). As a consequence, we can extend the class of test functions for (3.1) to \(W_0^{1,2}(\Omega )\).
Remark 3.4
Under the assumptions of Remark 3.3, thanks to the results contained in [7], it follows that u is the unique weak solution of (2.2).
From now on, \(\gamma = n\), and we will denote by \(u_{n}\) the solution of (2.3); therefore, by the results of Theorem 3.2, we have that \(u_{n}^{n+1}\) belongs to \(W_0^{1,2}(\Omega )\cap L^{\infty }(\Omega )\) and that
which in particular implies that
We now consider the estimates from below on the sequence \(\{u_{n}\}\). We first need to enunciate two technical lemmas that we will use during the proof of these estimates.
Lemma 3.5
Let \(m(j,r):[0,+\infty )\times [0,R_0)\rightarrow [0,+\infty )\) be a function such that \(m(\cdot ,r)\) is nonincreasing and \(m(j,\cdot )\) is nondecreasing. Moreover, suppose that there exist \(k_0\ge 0\), \(C, \nu , \delta > 0\) and \(\mu >1\) satisfying
Then, for every \(0<\sigma <1\), there exists \(d>0\) such that
where \(\displaystyle d^\nu =\frac{2^{(\nu +\delta )\frac{\mu }{\mu -1}}Cm(k_0,R_0)^{\mu -1}}{\sigma ^\delta R_0^\delta }\).
Proof
See [38]. \(\square \)
Lemma 3.6
Let \(g:[0,+\infty )\rightarrow [0,+\infty )\) be a continuous and increasing function, with \(g(0)=0\), such that
Then, for any \(C>0\) and \(\delta \ge 0\), there exists a function \(\varphi :[0,1]\rightarrow [0,1]\) depending on \(g,C,\delta \) with \(\varphi \in C^1([0,1])\), \(\sqrt{\varphi }\in C^1([0,1])\), \(\varphi (0)=\varphi '(0)=0\), \(\varphi (1)=1\), \(\varphi (\sigma )>0\) for every \(\sigma >0\) and satisfying
Proof
See [30], Lemma 1.1. \(\square \)
We are ready to prove the estimates from below.
Theorem 3.7
Let \(u_{n}\) be the solution of (2.3) given by Theorem 3.1, and let \(\omega \subset \subset \Omega \) be such that for every \(\omega ' \subset \subset \omega \) there exists \(c_{\omega '} > 0\) satisfying \(f \ge c_{\omega '}\) in \(\omega '\). Then, there exists \(M_{\omega '} > 0\) such that
Proof
Let \(\omega ''\subset \subset \omega ' \subset \subset \omega \), by the assumptions we have that
Let \(\eta \) in \(C^{1}_{0}(\Omega )\) be such that
We consider the function \(\varphi \in C^1([0,1])\) given by Lemma 3.6, in correspondence of \(g(t)=\mathrm{e}^t-1\), \(\delta =1\) and of an arbitrary constant \(C>0\). Define
and, for \(k > 0\),
Note that \(v_{n}\ge 0\) is well defined, since where \(z_{n}^{+} > k\) one has \(u_{n}\ne 0\). We have
Since
we obtain
where \(A_{n}(k) = \{ z_{n}^{+} \ge k\} = \{G_{k}(z_{n}^{+}) \ne 0\}\). Therefore, since \(u_{n}\) belongs to \(W^{1,2}_{\mathrm{loc}}(\Omega ) \cap L^{\infty }(\Omega )\) and it is locally positive, \(z_{n}\) and \(v_{n}\) belong to \(W^{1,2}_{\mathrm{loc}}(\Omega )\). Consequently, the positive function \(v_{n}\,\xi ^{2}\) belongs to \(W_0^{1,2}(\Omega )\), has compact support and can be chosen as test function in (3.1), with \(\gamma =n\), to obtain
Since
the previous identity can be rewritten as
Since the first term is negative, we have, using (2.1) and (3.7), as well as the fact that \(G_{k}(s^{+}) \le s^{+}\), that
Using Young’s inequality in the right-hand side, we have
so that we have
Observing that
we obtain
Using that \(\xi =\sqrt{\varphi (\eta )}\) and (3.8), we deduce
Applying Lemma 3.6, with \(t=G_k(z_n^+)\), and choosing the constant C as
we have
Hence, we obtain
Dropping the positive terms in the left-hand side, we have
Moreover, denoting with \({\mathcal {S}}\) the constant given by the Sobolev embedding theorem and recalling that \(\xi \equiv 1\) in \(\omega ''\), we deduce, for \(j>k>0\), that
Defining \(\displaystyle c_0^\frac{2}{2^*}={\mathcal {S}}^2\frac{4\beta ^2+\alpha ^2}{2\alpha ^2}\), we have, for all \(\omega ''\subset \subset \omega '\subset \subset \omega \), that
Now we consider \(\displaystyle R_0=\text {dist}(\omega '',\omega )\). Define
and
for every \(0<r< R_0\) and \(k>0\). Choosing \(0\le r<R < R_0\) and \(\eta \) such that \(\displaystyle \Vert \nabla \eta \Vert _{L^{\infty }(\Omega )\,}\le \frac{c_1}{R-r}\) and taking \(\omega ''=\omega _r\) and \(\omega '=\omega _R\) in (3.9), we deduce
where \(c_2=c_0\,c_1^{2^*}\). From this inequality, it follows, applying Lemma 3.5, that there exists \(M_{\omega '}>0\) (independent on n) such that
Recalling the definition of \(z_{n}\) in terms of \(u_{n}\), we therefore have
which is (3.6). \(\square \)
We conclude this section with the following remark:
Remark 3.8
As a consequence of estimates (3.5) and (3.6), we thus have
Repeating this argument for every \(\omega '\) contained in \(\omega \), we have that \(u_{n}\) converges to 1 on \(\omega \).
4 Proofs of Theorems 2.2 and 2.3
We start with the proof of Theorem 2.2, in which we recall that \(\omega = \{f > 0\}\) is compactly contained in \(\Omega \).
Proof of Theorem 2.2
We have already proved that
so that \(u_{n}\) is bounded in \(L^{\infty }(\Omega )\). This implies that there exists u in \(L^{\infty }(\Omega )\) such that \(u_n\) *-weakly converges to u in \(L^{\infty }(\Omega )\) and, by Remark 3.8, \(u\equiv 1\) in \(\omega \). We are now going to prove that the right-hand side of the equation in (2.3) is bounded in \(L^{1}(\Omega )\) uniformly in n. As a matter of fact, if \(u_{n}\) is the solution of (2.3), from Theorem 3.1 and Remark 3.3, it follows that \(u_n \in W_0^{1,2}(\Omega )\), \(u_n \ge c_{\omega ,n}>0\) in \(\omega \) and \(\displaystyle \frac{f}{u_n^n}\) belongs to \(L^{\infty }(\Omega )\). Then, we have, by the results in [37], that
where \(G(x,\cdot )\) is the Green function of the linear differential operator defined by the adjoint matrix \(M^{*}(x)\) of M(x), i.e., the unique duality solution of
where \(\delta _{x}\) is the Dirac delta concentrated at x in \(\Omega \). It is well known (see, for example, [31]) that for every \(\omega ' \subset \subset \Omega \) there exists \(K > 0\) such that
Fix now \({\overline{x}}\) in \(\Omega {\setminus } {\overline{\omega }}\), let \(\omega '' \subset \subset \Omega \) be such that \(\omega \subset \omega ''\) and \({\overline{x}}\) belongs to \(\omega ''\), and let K be such that (4.2) holds. We then have
Therefore, there exists \(M > 0\) such that
i.e., the right-hand side of the equation in (2.3) is bounded in \(L^{1}(\Omega )\). Observe now that for every \(\omega ' \subset \subset \omega \) there exists \(M_{\omega '}\) such that
Therefore,
so that
i.e., the right-hand side converges to zero in \(L^{1}_{\mathrm{loc}}(\omega )\). Let now \(\mu \) be the bounded Radon measure such that
Clearly, by the assumption on f, \(\mu \llcorner (\Omega {\setminus } {\overline{\omega }}) = 0\), and, by (4.4), \(\mu \llcorner \omega = 0\), so that \(\mu = \mu \llcorner \partial \omega \). Moreover, by Remark 3.3, we can take \(u_n\) as test function in (2.3) and we obtain, using (2.1), (4.1) and (4.3), that
then \(u_n\) weakly converges to u in \(W_0^{1,2}(\Omega )\) as n tends to infinity. Recalling that, by Remark 3.3, \(u_n\) is the (unique) weak solution of (2.3), that is,
we obtain, letting n tend to infinity, that
so that u is a distributional solution with finite energy of the limit problem (2.4). \(\square \)
Remark 4.1
We observe that \(u_n\) is also the unique duality solution of (2.3), i.e.,
where \(v\in W_0^{1,2}(\Omega )\cap L^{\infty }(\Omega )\) is the unique weak solution of
This implies, letting n tend to infinity in (4.7) and using the standard results contained in [37], that u is the unique duality solution of (2.4).
Now we prove Theorem 2.3. Here, let us recall that for every \(\omega \subset \subset \Omega \) there exists \(c_{\omega } > 0\) such that \(f \ge c_{\omega }\) in \(\omega \) and that \(\{\omega _{n}\}\) is an increasing sequence of compactly contained subsets of \(\Omega \) such that their union is \(\Omega \).
Proof of Theorem 2.3
Let \(u_n\) be the solution of (2.5). It follows, from the fact that \(f(x)\,\chi _{\omega _n}(x)\) has compact support in \(\Omega \) and using Remark 3.3, that \(u_n\) belongs to \(W^{1,2}_{0}(\Omega )\) and \(\displaystyle \frac{f(x)\,\chi _{\omega _n}(x)}{u_n^n}\) belongs to \(L^1(\Omega )\). Once again as a consequence of Theorem 3.2, we have that \(\{u_n\}\) is bounded in \(L^\infty (\Omega )\). Then, there exists u in \(L^{\infty }(\Omega )\) such that \(u_n\) *-weakly converges to u in \(L^{\infty }(\Omega )\). Moreover, by Remark 3.8, we deduce that \(u_n\) uniformly converges to 1 in \(\omega \), for every \(\omega \subset \subset \Omega \), hence \(u\equiv 1\) in \(\Omega \). If we assume that the sequence \(\displaystyle \left\{ \frac{f(x)\,\chi _{\omega _n}(x)}{u_n^n}\right\} \) is bounded in \(L^1(\Omega )\), then it *-weakly converges to \(\mu \) in the topology of measure. Repeating the same arguments contained in Remark 4.1, we obtain
where v in \(W_0^{1,2}(\Omega )\) is the weak solution of (4.8). Then, u in \(L^\infty (\Omega )\) is the duality solution of (2.4), so that u belongs to \(W^{1,1}_{0}(\Omega )\). Since \(u\equiv 1\) in \(\Omega \), there is a contradiction. Hence, the right-hand side of (2.5) is not bounded in \(L^1(\Omega )\) and there cannot be any limit equation. \(\square \)
5 One-dimensional solutions and Proof of Theorem 2.6
First we prove a result that makes the link between a distributional solution of (2.3) and a distributional solution with finite energy of (2.6) rigorous.
Proposition 5.1
Let f be a nonnegative function belonging to \(L^{\infty }(\Omega )\). If \(u_n\) is a solution of (2.3) given by Theorem 3.1, then \(\displaystyle v_n=\frac{u_n^{n+1}}{n+1}\) is a distributional solution of (2.6) with finite energy.
Proof
We already know, by Theorem 3.2, that \(\displaystyle u_n^{n+1}\) belongs to \(W_0^{1,2}(\Omega )\), so that \(v_n\) belongs to \(W_0^{1,2}(\Omega )\). With the same argument, we have that \(u_n^n\) belongs to \(W_0^{1,2}(\Omega )\). Let \(\varphi \) be a function in \(C^1_c(\Omega )\), we have that \(u_n^n\varphi \) is a function in \(W_0^{1,2}(\Omega )\) with compact support (\(\omega ={\text {supp}}(\varphi )\)). Then, we can take \(u_n^n\varphi \) as test function in (3.1) and we obtain that
If we rewrite (5.1), using that \(u_n\ge c_{\omega ,n}\) in \(\omega \), we have
Hence, by definition of \(v_n\), we deduce that
that is, \(v_n\) is a distributional solution with finite energy of (2.6). \(\square \)
Remark 5.2
We note that for every \(\omega \subset \subset \Omega \) we know, by Theorem 3.1, that \(u_n\ge c_{\omega ,n}\) in \(\omega \). Then, \(\displaystyle v_n\ge \frac{c_{\omega ,n}^{n+1}}{n+1}\) in \(\omega \). Using this property and that \(v_n\) has finite energy, we can extend the class of test functions for (2.6) from \(C^1_c(\Omega )\) to \(W_0^{1,2}(\Omega )\) with compact support.
Now we study (2.3) in the one-dimensional case to better understand what happens, if f is strictly positive, to \(u_n\) and to the related \(v_n\) by passing to the limit as n tends to infinity.
Fix \(n>3\) in \({\mathbb {N}}\). We consider (2.3) with \(\Omega =(-R,R)\), \(R>0\), \(M(x)\equiv I\) and \(f\equiv 1\) in \((-R,R)\) so that we have
In order to study (5.2), we focus on the solutions \(y_n\) of the following Cauchy problem
where \(\alpha _n\) is a positive real number that we will choose later. Defining \(\displaystyle w_n=\frac{y_n}{\alpha _n}\), we can rewrite (5.3) as
Since \(\displaystyle \frac{1}{\alpha _n^{n+1}s^n}\) is Lipschitz continuous near \(s=1\), there exists a unique solution \(w_n\) locally near \(t=0\). It is easy, by a classical iteration argument, to extend the definition interval of \(w_n\) to \([0,T_n)\), where \(T_n<+\infty \) is the first zero of \(w_n\) (i.e., \(w_n(T_n)=0\)) when it occurs, otherwise \(T_n=+\infty \). Hence, \(w_n\) is concave (\(w_n''(t)<0\)), decreasing (\(w_n'(t)< 0\)) and \(0<w_n(t)\le 1\) for \(t\in [0,T_n)\) and it belongs to \(C^\infty ((0,T_n))\).
Now multiplying the equation by \(w_n'(t)\), we have
hence, integrating on [0, s], with \(0<s<T_n\), and recalling that \(w_n'(0)=0\), we have
Since \(w_n'(s)< 0\) we deduce
we can divide (5.5) by \(\displaystyle (w_n^{1-n}(s)-1)^{\frac{1}{2}}\) and integrate on [0, t], with \(0\le t<T_n\), to obtain
Setting \(r=w_n(s)\) in the first integral of (5.6) and recalling that \(w_n(0)=1\), we have
Once again we can perform the change of variable \(h=1-r^{n-1}\) to deduce
Define \(\displaystyle I_n(t):=\int _0^{1-w_n^{n-1}(t)}\frac{1}{h^{\frac{1}{2}}(1-h)^{\frac{n-3}{2(n-1)}}}\,\,\mathrm{d}h\) for \(t\ge 0\), then \(I_n(0)=0\) and \(I_n\) is a continuous positive and increasing function in \([0,T_n)\), so that \(I_n(t)\le I_n(T_n)\). Thanks to the results in [1], we obtain
where \(\varGamma (s)\) is defined in (1.5). Thus, we can extend \(I_n(t)\) in \([0,T_n]\) and it is uniformly bounded for every \(n\in {\mathbb {N}}\) and \(t\in [0,T_n]\). Moreover, from (5.8) and computing (5.7) for \(t=T_n\), we have
We observe that \(T_n\) and \(\alpha _n\) are such that if \(\alpha _n\) tends to infinity also \(T_n\) tends to infinity. Recalling that we want a solution for (5.2) that is zero if \(t=R\), imposing \(T_n=R\) for every n in \({\mathbb {N}}\) we find that
Hence, with this value of \(\alpha _n\), \(w_n(R)=0\) for every n in \({\mathbb {N}}\) and \(w_n\) belongs to \(C^2((0,R))\). Thanks to the initial condition \(w_n'(0)=0\), we can extend \(w_n\) to an even function \({\tilde{w}}_n\) on \([-R,R]\) in the following way
So \({\tilde{w}}_n\) belongs to \(C^2_0((-R,R))\) and is the classical solution of
Setting \(u_n(t)=\alpha _n\,{\tilde{w}}_n(t)\) for t in \([-R,R]\) we have that \(u_n\) belongs to \(C^2_0((-R,R))\) and is the classical solution of (5.2). This implies that \(\displaystyle v_n(t)=\frac{u_n(t)^{n+1}}{n+1}\) is a classical solution (in \(C^2_0((-R,R))\)) of
that is, (2.6) in the one-dimensional case. Multiplying Eq. (5.12) by \(v_n\) and integrating by parts on \((-R,R)\), we obtain that \(\{v_n\}\) is bounded in \(W_0^{1,2}((-R,R))\). By definition of \(v_n\), this implies that \(\{{\tilde{w}}^{n+1}_n\}\) is bounded in \(W_0^{1,2}((-R,R))\). Using the Rellich–Kondrachov theorem, we deduce that there exist a subsequence, still indexed by \({\tilde{w}}^{n+1}_n\), and a function \(g:(-R,R)\rightarrow [0,1]\) in \(C_0((-R,R))\) such that \({\tilde{w}}^{n+1}_n\) uniformly converges to g in \((-R,R)\). We want to make g explicit.
By definition of \({\tilde{w}}_n\), it follows that
uniformly in (0, R). Combining (5.7) and (5.10), we obtain
Passing to the limit in (5.13) as n tends to infinity, we obtain the explicit expression of g. Indeed, we have, by Lebesgue theorem and from well-known result of integral calculus, that
It follows that
So g is an even \(C^\infty \) function defined on \({\mathbb {R}}\), in particular on \([-R,R]\).
Fix now t in \((-R,R)\). We want to prove that \({\tilde{w}}_n(t)\) tends to 1 as n tends to infinity. We assume, by contradiction, that
Defining \(\displaystyle \varepsilon :=\frac{1-\beta }{2}\), we deduce, for n large enough, that \({\tilde{w}}_n(t)\le 1-\varepsilon \) so that
and, letting n tend to infinity, we obtain \(\displaystyle \cos ^2\left( \frac{\pi }{2R}\,t\right) =0\). Since \(t\ne \pm R\), we find a contradiction; then \({\tilde{w}}_n(t)\) tends to 1, as n tends to infinity, for every t in \((-R,R)\).
Now we return to problem (5.2) recalling that \(u_n(t)=\alpha _n\,{\tilde{w}}_n(t)\). From (5.10) and using that \({\tilde{w}}_n(t)\) tends to 1, as n tends to infinity, for t in \((-R,R)\), it follows that
This result is exactly the one-dimensional version of Remark 3.8. From (5.10), we deduce that
so that we have that there exists a limit function \(v:[-R,R]\rightarrow {\mathbb {R}}\) such that
After a little algebra, we obtain that v is a classical solution of
that is, (2.8). Thus, we have proved Theorem 2.6 in the one-dimensional case.
Finally, we prove Theorem 2.6 in the N-dimensional case; here, we recall that f is strictly positive.
Proof of Theorem 2.6
Let \(u_n\) be the solution of (2.3) given by Theorem 3.1. It follows from Proposition 5.1 that \(v_n\) are distributional solutions of (2.6).
By assumption for every \(\omega \subset \subset \Omega \), there exists a positive constant \(c_\omega \) such that \(f\ge c_\omega \). This implies, by Theorem 3.7, that
then
with \(M_{\omega }\) a positive constant depending only on \(\omega \). So \(v_n\) is locally uniformly positive. Moreover, by Theorem 3.2, we have that \(v_n\) belongs to \(W_0^{1,2}(\Omega )\) and
where C is a positive constant.
Choosing a nonnegative \(\varphi \) belonging to \(C_c^1(\Omega )\) as test function in (2.6) and dropping the nonnegative integral involving the quadratic gradient term, we deduce that
As a consequence of the density of \(C_c^1(\Omega )\) in \(W_0^{1,2}(\Omega )\), we can extend (5.15) for every nonnegative \(\varphi \) in \(W_0^{1,2}(\Omega )\). Choosing \(v_n\) as test function and using Hölder’s inequality and the Sobolev embedding theorem, we obtain
where \({\mathcal {S}}\) is the Sobolev constant. Hence, \(\{v_n\}\) is bounded in \(W_0^{1,2}(\Omega )\). Thus, up to a subsequence, it follows that there exists v belonging to \(W_0^{1,2}(\Omega )\cap L^{\infty }(\Omega )\) such that
In order to pass to the limit in (2.6), we first prove that \(v_n\) strongly converges to v in \(W^{1,2}_{\mathrm{loc}}(\Omega )\), that is
We consider the function \(\phi _\lambda (s)\) defined in (1.6), and choosing \(\phi _\lambda (v_n-v)\varphi \) as test function in (2.6), we obtain
It follows from (5.16) and using Lebesgue theorem that
Thus,
Moreover, setting \(\omega _\varphi ={\text {supp}}(\varphi )\) and using (5.14), we deduce that
so that
We can add the following term to (5.19)
and, noting that by (5.16) this quantity tends to 0 letting n go to infinity, we obtain
Since using once again (5.16) we have
we deduce that
Choosing \(\lambda \ge \mathrm{e}^{2M_{\omega _\varphi }}\), thanks to (1.7) we have that \(\displaystyle \{\phi '_\lambda (v_n-v)-2\mathrm{e}^{M_{\omega _\varphi }}|\phi _\lambda (v_n-v)|\}\ge \frac{1}{2}\), hence (5.17) holds and
Now we pass to the limit in (2.6) with test functions \(\varphi \) belonging to \(W_0^{1,2}(\Omega )\cap L^{\infty }(\Omega )\) with compact support. We have, by (5.17), that
and, using (5.21), (5.14) with \(\omega ={\text {supp}}(\varphi )\) and Lebesgue theorem, we deduce
so that
for all \(\varphi \) in \(W_0^{1,2}(\Omega )\cap L^{\infty }(\Omega )\) with compact support.
Let \(\varphi \) be a nonnegative function in \(W_0^{1,2}(\Omega )\cap L^{\infty }(\Omega )\). Let \(\{\varphi _m\}\) in \(C^1_c(\Omega )\) be a sequence of nonnegative functions that converges to \(\varphi \) strongly in \(W_0^{1,2}(\Omega )\). Taking \(\varphi _m\wedge \varphi \), which belongs to \(W_0^{1,2}(\Omega )\cap L^{\infty }(\Omega )\) with compact support, as test function in (5.22), we obtain
Since \(\varphi _m\wedge \varphi \) strongly converges to \(\varphi \) in \(W_0^{1,2}(\Omega )\), we have
Moreover, \(\displaystyle \frac{|\nabla v|^2}{v}\,(\varphi _m\wedge \varphi )\) is a nonnegative function that converges to \(\displaystyle \frac{|\nabla v|^2}{v}\,\varphi \) almost everywhere in \(\Omega \). Applying Fatou’s lemma on the left-hand side of (5.23) and using (5.24), we deduce that
so that \(\displaystyle \frac{|\nabla v|^2}{v}\,\varphi \) belongs to \(L^{1}(\Omega )\). Since \(\displaystyle \frac{|\nabla v|^2}{v}\,(\varphi _m\wedge \varphi )\le \frac{|\nabla v|^2}{v}\,\varphi \), by Lebesgue theorem, we have
As a consequence of (5.24) and (5.25), we obtain
Furthermore, taking \(\displaystyle \frac{T_\varepsilon (v)}{\varepsilon }\) as test function in (5.26) and dropping a positive term, we deduce
Applying Fatou’s lemma on the left-hand side of (5.27) and noting that \(T_\varepsilon (v)\le \varepsilon \), we have
so \(\displaystyle \frac{|\nabla v|^2}{v}\) belongs to \(L^{1}(\Omega )\). Since we can write each \(\varphi \in W^{1,2}_0(\Omega )\cap L^\infty (\Omega )\) as the difference between its positive and its negative part, we trivially deduce that (5.26) holds for all \(\varphi \in W^{1,2}_0(\Omega )\cap L^\infty (\Omega )\), so that v is a weak solution of (2.8). \(\square \)
Remark 5.3
We note that we can also consider test functions only belonging to \(W_0^{1,2}(\Omega )\) in (5.26). Indeed, let \(\varphi \) be in \(W_0^{1,2}(\Omega )\), then \(T_k(\varphi ^+)\) is a positive function belonging to \(W_0^{1,2}(\Omega )\cap L^{\infty }(\Omega )\) that strongly converges to \(\varphi ^+\) in \(W_0^{1,2}(\Omega )\) as k tends to infinity. Taking \(T_k(\varphi ^+)\) as test function in (5.26) and letting k tend to infinity, by Lebesgue theorem and Beppo Levi theorem, we deduce
In the same way, we obtain
so that subtracting (5.29) to (5.28) we have that (5.26) holds for every \(\varphi \) belonging to \(W_0^{1,2}(\Omega )\).
Remark 5.4
To prove that \(\{v_n\}\) is bounded in \(W_0^{1,2}(\Omega )\) and (5.16), we only used that f is nonnegative and belongs to \(L^{\infty }(\Omega )\).
6 Proof of Theorem 2.7
Here, we prove Theorem 2.7. We fix \(n>3\) in \({\mathbb {N}}\).
Proof of Theorem 2.7
First, we study the behavior of the weak solution of (2.9) given by Theorem 3.1. In order to study \(u_n\), we use the construction of one-dimensional solutions done in the previous section, in which we have proved that there exists a function \(w_n\) in \(C^2((0,T_n))\) classical solution of
where \(T_n\) is the first zero of \(w_n\). We recall that \(0<w_n(t)<1\), \(w_n\) is concave (\(w''_n(t)<0\)) and decreasing (\(w'_n(t)<0\)) for every t in \((0,T_n)\). Moreover, we have obtained that
and, by integrating, that
for every t in \([0,T_n)\) so that \(S_n:[0,1)\rightarrow [0,S_n(1))\) is a nonnegative, continuous and strictly increasing function. Recalling (5.8), we have that \(S_n(1)=I_n(T_n)\), that is uniformly bounded, and thus, we can extend \(S_n\) in 1 to have \(S_n:[0,1]\rightarrow [0,S_n(1)]\). Then, there exists the inverse function \(S_n^{-1}:[0,S_n(1)]\rightarrow [0,1]\). Furthermore, we recall that
In order to have \(1<T_n<+\infty \) for every n we can choose \(\displaystyle \alpha _n=(c_n(n-1))^{\frac{1}{n+1}}\), with \(c_n\) a positive constant such that
Now we consider the following Cauchy problem
For every t in (0, 1), we have that (6.1) and (6.6) are the same problem, so that there exists \(y_n(t)\equiv w_n(t)\) classical solution of (6.6) in (0, 1). Since \(y_n''(t)=0\) for every \(t\ge 1\), we deduce that \(y_n(t)=y_n(1)+y_n'(1)(t-1)=w_n(1)+w_n'(1)(t-1)\) in [1, 2). It follows from (6.2) and by the definition of \(\alpha _n\) that
Since we want that \(y_n(2)=0\) for every n in \({\mathbb {N}}\), we look for \(c_n\) such that \(w_n'(1)=-w_n(1)\). With a little algebra, it follows from (6.7) and (6.3) that is possible if and only if, for every fixed n, we have
By Lemma 6.2, there exists a sequence \(\{c_n\}\) such that (6.8) holds for every n; hence, we have that \(y_n\) belonging to \(C^1((0,2))\) is such that
We want that \(w_n(t)\le y_n(t)\) in \([0,T_n]\). This is true if and only if \(T_n\le 2\). If, by contradiction, \(T_n>2\), we have \(w_n(t)\equiv y_n(t)\) in [0, 1] and \(-y''_n(t)<-w''_n(t)\) in (1, 2], so that, by \(w'_n(1)=y'_n(1)\), we deduce \(w_n(t)< y_n(t)\) in (1, 2]. It follows from \(y_n(2)=0\) that \(0<w_n(2)<0\), which is a contradiction. Then, we obtain \(T_n\le 2\), \(w_n(t)\le y_n(t)\) in \([0,T_n]\) and, by (6.4), that
Thus, \(\{c_n\}\) is bounded and, up to subsequences, there exists a positive real number \(c_\infty \) such that
and, respectively,
As shown in the previous section, it follows from (6.3) that
Now we suppose that \(T_\infty >1\). Fix \(\displaystyle \beta =\frac{T_\infty -1}{2}>0\), so that \(1+\beta <T_\infty \). We know that for n large enough
By passing to the limit, as n tends to infinity and using (6.11), we obtain \(1\,\le \,1-\beta \), that is, \(\beta \,\le \,0\). This is a contradiction, then \(T_\infty \,=\,1\) and, therefore, \(\displaystyle c_\infty \,=\,\frac{2}{\pi ^2}\).
Recalling that \(y_n(t)\equiv w_n(t)\) in (0, 1) and using, once again, (6.11) we have
It follows from (6.8) and using that \(y_n(1)=w_n(1)\) for every n that
hence, by (6.9), we obtain that \(y_n^{n+1}(t)=w_n(1)^{n+1}(2-t)^{n+1}\) and that
Therefore, by the initial condition \(y'_n(0)=0\), we can extend \(y_n\) to an even function defined in \((-2,2)\) as follows
so that \({\tilde{y}}\) belonging to \(C^1_0((-2,2))\) is a weak solution of (2.9). By Remark 3.4, there is a unique weak solution of (2.9), hence \({\tilde{y}}_n(t)\equiv u_n(t)\) for every t in \((-2,2)\) and n in \({\mathbb {N}}\).
Moreover, by Proposition 5.1, setting \(\displaystyle v_n(t)=\frac{u_n^{n+1}(t)}{n+1}\), we have that \(v_n\) in \(C^1_0((-2,2))\) is a weak solution of (2.10) and, by Remark 5.4, that there exists a function v such that \(v_n\) weakly converges to v in \(W^{1,2}_0((-2,2))\) and almost everywhere in \((-2,2)\). As a consequence of (6.12), (6.13) and (6.14), we deduce that
so that v belongs to \(C^1_0(-2,2)\cap C^{\infty }_0(-1,1)\). Furthermore, with a little algebra, it follows that v is a classical solution of (2.11). \(\square \)
Remark 6.1
From the proof of Theorem 2.7, we deduce that \(u_n\) pointwise converges to u defined as follows
Moreover, by Theorem 2.2, \(u_n\) weakly converges to u in \(W^{1,2}_0((-2,2))\). Hence, we have that
and u is a distributional solution of
so that we have completely recovered the results of Theorem 2.2.
To be complete, we show the technical lemma that we needed to prove the theorem.
Lemma 6.2
Let c belong to \((c_0,+\infty )\), with \(\displaystyle c_0=\frac{2\,\varGamma ^2\left( \frac{n}{n-1}\right) }{\pi \,\varGamma ^2\left( \frac{1}{2}+\frac{1}{n-1}\right) }\). Let \(w_c(t)\) be the classical solution of
Let \(T_c\) be the first zero of \(w_c\). Then, there exists a unique \({\tilde{c}}\) in \((c_0,+\infty )\) such that \(T_{{\tilde{c}}}>1\) and
where \(S_c:[0,1]\rightarrow [0,S_c(1)]\) is defined as
for t in \([0,T_c]\).
Proof
It follows from the proof of Theorem 2.7 that if \(c>c_0\) then there exists \(w_c(t)\) classical solution of (6.15) in \([0,T_c]\), with \(T_c>1\).
Now we define \(F:(c_0,+\infty )\rightarrow {\mathbb {R}}\) as
It is obvious that \(w_c(t)\) is continuous on \((c_0, +\infty )\) for every t in \([0,T_c)\), so that F is continuous. Fix \(c_0<c_1<c_2\). Recalling that
we deduce \(\displaystyle T_{c_1}<T_{c_2}\). Moreover, we state that \(\displaystyle w_{c_1}(t)<w_{c_2}(t)\) for every t in \(\displaystyle (0,T_{c_1}]\). Indeed, since \(-w''_{c_1}(t)>-w''_{c_2}(t)\) near \(t=0\) and using the initial conditions, we obtain that \(w_{c_1}(t)<w_{c_2}(t)\) near \(t=0\). If, by contradiction, there exists s in \((0,T_{c_1})\) such that \(w_{c_1}(s)=w_{c_2}(s)\) we have that \(w'_{c_1}(s)\ge w'_{c_2}(s)\). We know, by (6.2), that
which is a contradiction. Hence, we have that \(w_c(t)\) is monotone increasing in c. This implies that F also is monotone increasing in c. By letting c tend to the boundary of \((c_0,+\infty )\) and recalling that
we deduce
Applying Bolzano’s theorem, we obtain that there exists \({\tilde{c}}\) such that \(F({\tilde{c}})=0\), that is, (6.16). Since F is monotone increasing, \({\tilde{c}}\) is unique. \(\square \)
7 Open problems
We are now studying the nonexistence of positive solutions of (2.8) in the N-dimensional case with f only nonnegative. More precisely, we assume that f is a nonnegative \(L^{\infty }(\Omega )\) function and that there exists \(\omega \subset \subset \Omega \) such that \(f = 0\) in \(\Omega {\setminus } \omega \) and such that for every \(\omega ' \subset \subset \omega \) there exists \(c_{\omega '} > 0\) such that \(f \ge c_{\omega '}\) in \(\omega '\).
We observe that from Remark 6.1 it follows that u, given by Theorem 2.7, is a classical solution of
Our conjecture is that it is true also for \(N>1\). More precisely, we think that the following result holds.
Conjecture 7.1
Let u be the function given by Theorem 2.2, with \(M(x)\equiv I\). Then, u is a classical solution of
With a similar idea, we think that Theorem 2.7 holds for \(N>1\).
Conjecture 7.2
Let \(u_n\) be the solution of (2.3) given by Theorem 3.1, with \(M(x)\equiv I\). Let \(\displaystyle \left\{ v_n = \frac{u_n^{n+1}}{n+1}\right\} \) be the sequence of solutions of (2.6). Then, \(\{v_n\}\) is bounded in \(W_0^{1,2}(\Omega )\cap L^{\infty }(\Omega )\), so that it converges, up to subsequences, to a bounded nonnegative function v. Moreover, v is a weak solution of
and \(v\equiv 0\) in \(\Omega {\setminus }\omega \).
References
Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. National Bureau of Standards Applied Mathematics Series 55. Dover, New York (1965)
Arcoya, D., Barile, S., Martínez-Aparicio, P.J.: Singular quasilinear equations with quadratic growth in the gradient without sign condition. J. Math. Anal. Appl. 350, 401–408 (2009)
Arcoya, D., Carmona, J., Leonori, T., Martínez-Aparicio, P.J., Orsina, L., Petitta, F.: Existence and nonexistence of solutions for singular quadratic quasilinear equations. J. Differ. Equ. 246, 4006–4042 (2009)
Arcoya, D., Martínez-Aparicio, P.J.: Quasilinear equations with natural growth. Rev. Mat. Iberoam. 24, 597–616 (2008)
Arcoya, D., Segura de León, S.: Uniqueness of solutions for some elliptic equations with a quadratic gradient term. ESAIM Control Optim. Calc. Var. 16, 327–336 (2010)
Boccardo, L.: Dirichlet problems with singular and gradient quadratic lower order terms. ESAIM Control Optim. Calc. Var. 14, 411–426 (2008)
Boccardo, L., Casado-Díaz, J.: Some properties of solutions of some semilinear elliptic singular problems and applications to the G-convergence. Asymptot. Anal. 86, 1–15 (2014)
Boccardo, L., Orsina, L.: Semilinear elliptic equations with singular nonlinearities. Calc. Var. PDEs 37, 363–380 (2010)
Boccardo, L., Orsina, L., Porzio, M.M.: Existence results for quasilinear elliptic and parabolic problems with quadratic gradient terms and sources. Adv. Calc. Var. 4, 397–419 (2011)
Bougherara, B., Giacomoni, J.: Some regularity results for a singular elliptic problem. Dyn. Syst. Differ. Equ. Appl. Proc. AIMS 2015, 142–150 (2015)
Bougherara, B., Giacomoni, J., Hernández, J.: Existence and regularity of weak solutions for singular elliptic problems. In: Proceedings of the 2014 Madrid Conference on Applied Mathematics in Honor of Alfonso Casal, Electronic Journal of Differential Equations, Conference, vol. 22, pp. 19–30 (2015)
Brandolini, B., Chiacchio, F., Trombetti, C.: Symmetrization for singular semilinear elliptic equations. Ann. Mat. Pura Appl. 4, 389–404 (2014)
Canino, A., Montoro, L., Sciunzi, B.: The moving plane method for singular semilinear elliptic problems. Nonlinear Anal. 156, 61–69 (2017)
Canino, A., Sciunzi, B.: A uniqueness result for some singular semilinear elliptic equations. Commun. Contemp. Math. 18, 1550084 (2016)
Carmona, J., Leonori, T.: A uniqueness result for a singular elliptic equation with gradient term. Proc. R. Soc. Edinb. Sect. A 148, 983–994 (2018)
Carmona, J., Martínez-Aparicio, P.J., Rossi, J.D.: A singular elliptic equation with natural growth in the gradient and a variable exponent. NoDEA Nonlinear Differ. Equ. Appl. 22, 1935–1948 (2015)
Chipot, M., De Cave, L.M.: New techniques for solving some class of singular elliptic equations. Rend. Lincei Mat. Appl. 29, 487–510 (2018)
Coclite, G.M., Coclite, M.M.: On a Dirichlet problem in bounded domains with singular nonlinearity. Discrete Contin. Dyn. Syst. 33, 4923–4944 (2013)
Crandall, M.G., Rabinowitz, P.H., Tartar, L.: On a Dirichlet problem with a singular nonlinearity. Commun. Partial Differ. Equ. 2, 193–222 (1977)
Croce, G.: An elliptic problem with degenerate coercivity and a singular quadratic gradient lower order term. Discrete Contin. Dyn. Syst. Ser. S 5, 507–530 (2012)
Dall’Aglio, A., Orsina, L., Petitta, F.: Existence of solutions for degenerate parabolic equations with singular terms. Nonlinear Anal. 131, 273–288 (2016)
De Cave, L.M., Durastanti, R., Oliva, F.: Existence and uniqueness results for possibly singular nonlinear elliptic equations with measure data. NoDEA Nonlinear Differ. Equ. Appl. 25, 18 (2018)
del Pino, M.: A global estimate for the gradient in a singular elliptic boundary value problem. Proc. R. Soc. Edinb. Sect. A 122, 341–352 (1992)
Esposito, F., Farina, A., Sciunzi, B.: Qualitative properties of singular solutions to semilinear elliptic problems. J. Differ. Equ. 265, 1962–1983 (2018)
Giachetti, D., Martínez-Aparicio, P.J., Murat, F.: Definition, existence, stability and uniqueness of the solution to a semilinear elliptic problem with a strong singularity at \(u=0\). Ann. Sc. Norm. Super. Pisa Cl. Sci. 18, 1395–1442 (2018)
Giachetti, D., Martínez-Aparicio, P.J., Murat, F.: On the definition of the solution to a semilinear elliptic problem with a strong singularity at \(u=0\). Nonlinear Anal. 177, 491–523 (2018)
Giachetti, D., Petitta, F., Segura de León, S.: A priori estimates for elliptic problems with a strongly singular gradient term and a general datum. Differ. Integr. Equ. 26, 913–948 (2013)
Lair, A.V., Shaker, A.W.: Classical and weak solutions of a singular semilinear elliptic problem. J. Math. Anal. Appl. 211, 371–385 (1997)
Lazer, A.C., McKenna, P.J.: On a singular nonlinear elliptic boundary-value problem. Proc. Am. Math. Soc. 111, 721–730 (1991)
Leoni, F.: Nonlinear elliptic equations in \(\mathbb{R}^{N}\) with “absorbing” zero order terms. Adv. Differ. Equ. 5, 681–722 (2000)
Littman, W., Stampacchia, G., Weinberger, H.F.: Regular points for elliptic equations with discontinuous coefficients. Ann. Sc. Norm. Sup. Pisa 17, 43–77 (1963)
Martínez-Aparicio, P.J.: Singular Dirichlet problems with quadratic gradient. Boll. Unione Mat. Ital. 2, 559–574 (2009)
Oliva, F.: Regularizing effect of absorption terms in singular problems. J. Math. Anal. Appl. 472, 1136–1166 (2019)
Oliva, F., Petitta, F.: Finite and infinite energy solutions of singular elliptic problems: existence and uniqueness. J. Differ. Equ. 264, 311–340 (2018)
Orsina, L., Petitta, F.: A Lazer-McKenna type problem with measures. Differ. Integr. Equ. 29, 19–36 (2016)
Porru, G., Vitolo, A.: Problems for elliptic singular equations with a quadratic gradient term. J. Math. Anal. Appl. 334, 467–486 (2007)
Stampacchia, G.: Le problème de Dirichlet pour les équations elliptiques du seconde ordre à coefficients discontinus. Ann. Inst. Fourier (Grenoble) 15, 189–258 (1965)
Stampacchia, G.: Équations elliptiques du second ordre à coefficients discontinus, Séminarie de Mathématiques Supérieures 16, Montréal (1966)
Stuart, C.A.: Existence and approximation of solutions of nonlinear elliptic equations. Math. Z. 147, 53–63 (1976)
Sun, Y., Zhang, D.: The role of the power 3 for elliptic equations with negative exponents. Calc. Var. PDEs 49, 909–922 (2014)
Xia, L., Yao, Z.: Existence, uniqueness and asymptotic behavior of solutions for a singular parabolic equation. J. Math. Anal. Appl. 358, 182–188 (2009)
Zhou, W.: Existence and multiplicity of weak solutions for a singular semilinear elliptic equation. J. Math. Anal. Appl. 346, 107–119 (2008)
Zhou, W., Wei, X., Qin, X.: Nonexistence of solutions for singular elliptic equations with a quadratic gradient term. Nonlinear Anal. 75, 5845–5850 (2012)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Durastanti, R. Asymptotic behavior and existence of solutions for singular elliptic equations. Annali di Matematica 199, 925–954 (2020). https://doi.org/10.1007/s10231-019-00906-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-019-00906-0
Keywords
- Semilinear elliptic equations
- Quasilinear elliptic equations
- Singular elliptic equations
- Singular natural growth gradient terms
- Asymptotic behavior