Abstract
We consider the nonlinear elliptic equation with quadratic convection \( -\Delta u + g(u) |\nabla u|^2=\lambda f(u) \) in a smooth bounded domain \( \Omega \subset {\mathbb {R}}^N \) (\( N \ge 3\)) with zero Dirichlet boundary condition. Here, \( \lambda \) is a positive parameter, \( f:[0, \infty ):(0\infty ) \) is a strictly increasing function of class \(C^1\), and g is a continuous positive decreasing function in \( (0, \infty ) \) and integrable in a neighborhood of zero. Under natural hypotheses on the nonlinearities f and g, we provide some new regularity results for the extremal solution \(u^*\). A feature of this paper is that our main contributions require neither the convexity (even at infinity) of the function \( h(t)=f(t)e^{-\int _0^t g(s)ds}\), nor that the functions \( gh/h'\) or \( h'' h/h'^2\) admit a limit at infinity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Result
This article is devoted to the regularity properties of extremal solutions of the nonlinear Dirichlet elliptic equation with quadratic convection:
where \( \Omega \subset {\mathbb {R}}^N\) \((N \ge 3) \) is a smooth bounded domain, \( \lambda \) is a positive real parameter, and f is a \(C^1\) strictly increasing function in \( [0, \infty ) \), \( f(0) > 0 \), and g is a positive function, continuous either in \( (0, \infty ) \) or in \( [0, \infty ) \), decreasing and integrable in a neighborhood of zero.
The typical examples for the nonlinearity f with the above properties are \( (1+u)^{p} \) with \( p > 1 \) and the exponential \( e^{u} \). We can also include functions with linear growth at infinity, see Mironescu and Rădulescu [33, 34]. Also for positive decreasing function g in (1), one can take \( g(s)=s^{-\gamma } \) with \( \gamma \in {(0, 1)} \) as an example.
A positive function \( u \in {W^{1,2}_{0}(\Omega )} \) is a weak solution of (1) if both \( g(u)|\nabla u|^{2} \) and f(u) belong to \({L^{1}(\Omega )} \) and for all \( \phi \in {W^{1,2}_{0}(\Omega ) \cap L^{\infty }(\Omega )} \):
A solution u of problem (1) is said to be stable if \( \big ( f'(u)-g(u)f(u) \big ) \in {L^1_{loc}(\Omega )} \) and for every \( \phi \in {W^{1,2}_{0}(\Omega )} \):
This condition was introduced by Arcoya [8]. Moreover, a solution u of (1) is said to be regular if \( u \in { L^{\infty }(\Omega ) } \), and minimal if \( u \le v \) a.e in \( \Omega \) for any other solution v, see Molino [35].
Quasilinear problems having lower order terms with quadratic growth with respect to the gradient play a crucial role in the study of nonlinear differential equations as they arise naturally in calculus of variations, stochastic control [11, 31] and motivated by wide applications such as thermal self-ignition in combustion theory and temperature distribution in an object heated by uniform electronic current, see [29, 30, 32].
Quasilinear Dirichlet problems of the type:
in the case when the right-hand side is not depending on u have been extensively studied in the pioneering works by Boccardo et al. [9, 10, 12], but the case when f is nonlinear has been less studied. Arcoya et al. [3,4,5, 7] considered Problem (3) in the case when g has singularity and described some applications. Moreover, some results about uniqueness, comparison, and maximum principles for the general form of the quasilinear elliptic equations with quadratic growth conditions have been proved in [15]. Orsina and Puel [37] considered Problem (3) where g is a non-negative continuous function and proved several existence results for positive solutions of (3) with a power-like right-hand side. This case has been also studied recently by Boccardo et al. [13, 14]. Furthermore, it is shown that if \( g(u)= (1-u)^{-\gamma } \) in (3) where \( \gamma >0 \), then the existence and non-existence of the solutions depend on the nonlinearity f and the value of \( \gamma \). It is worth mentioning here that some related problems are considered in [23,24,25,26,27,28] where the authors established several results related to existence, non-existence, or bifurcation of positive solutions for the boundary value problem \(-\Delta u + K(x)g(u)+ |\nabla u|^{a} = \lambda f(x, u)\) in \(\Omega \), \(u = 0\) on \(\partial \Omega \), where \(\Omega \) is a smooth bounded domain, \(0< a \le 2\), \(\lambda \) is a positive parameter, and f is smooth and has a sublinear growth.
Arcoya et al. [8] proved that in Problem (1), if \( f'(s)-g(s)f(s) \) is an increasing function, such that \( 1/f \in {L^1(0,\infty )} \) and there is a positive constant c so that \( \vert f'(s)/f^2(s) \vert \le c (1+ \sqrt{g(s)}) \), then there exists a parameter \( \lambda ^*\in {(0, +\infty )}\), such that Problem (1) has a bounded minimal solution for \( \lambda < \lambda ^* \) and no solution for \( \lambda > \lambda ^* \). Furthermore, they proved that, under suitable conditions, the sequence of bounded minimal solutions for \( \lambda < \lambda ^* \) converges to a weak solution of Problem (1) for \( \lambda = \lambda ^* \), which is also stable and minimal. Molino [35] proved that if:
-
(H1)
\( \limsup _{s \longrightarrow \infty } g(s) < \infty \),
-
(H2)
\( f'(s)-g(s)f(s) > 0 \) and non-singular (\( s\ge 0 \)),
-
(H3)
\( e^{-G(s)} \in {L^{1}(1,\infty )} \), where \( G(s) := \int _{0}^{s} g(t) dt \),
-
(H4)
\( \forall C> 0\), \(\exists {\tilde{C}} > 0 \ : \ g(Cs) \le {\tilde{C}} g(s),\ \forall s < 1 \),
then there exists \( \lambda ^* \in {(0, +\infty ]} \), such that for every \( \lambda < \lambda ^* \), there is a bounded minimal solution \( u_{\lambda } \) of (1) and no solution for \( \lambda > \lambda ^* \). Also, the family of functions \( \lbrace {u_{\lambda }} \rbrace _{0<\lambda <\lambda ^*} \) is increasing and bounded in \( W_{0}^{1,2}(\Omega ) \) when the functions f and g satisfy the following extra condition:
-
(H5)
\(\lim _{s \longrightarrow \infty } \dfrac{s \left( f'(s) - g(s) f(s)\right) }{f(s)} = \tau \in {(1, \infty ]}.\)
Moreover, it is proved that the increasing pointwise limit \( u^*(x) = \lim _{\lambda \longrightarrow \lambda ^*} u_{\lambda } (x) \) is a weak solution of (1) for \( \lambda = \lambda ^* \), which is called the extremal solution. Furthermore, under conditions (H1)-(H5), if \( f'(s) - g(s) f(s) \) is a strictly increasing function, then every stable solution of Problem (1) is minimal. In particular, the extremal solution \( u^* \) is stable and minimal, Molino [35].
We raise the following natural question: when is the extremal solution regular? Arcoya, Carmona, and Martínez-Aparicio [8] proved that if:
then the extremal solution of Problem (1) is bounded whenever:
Also (see [8, Remark 4.8]), if \( g \ge 0 \) and for some \( p,k > 1, f(s) \sim ks^p \) for \( s \gg 1 \), then the above result can be improved to:
As a particular case, if \( f(u)=(1+u)^p \) and \( g(u)= \frac{m}{1+u} \) in (1), where m is a positive constant and \( p >m+ \frac{1}{m+1} \), then \( u^* \) is regular whenever:
Molino [35] considered Problem (1) with \( f(s)=e^{G(s)}h(s) \), where h(s) is a differentiable function in \( [0, \infty ) \) and \( h(0) > 0 \), and improved the results under assumptions (H1)–(H5). He proved that the extremal solution of Problem (1) (if h is convex) is regular whenever:
where
Remark 1
Notice that, in (4), we always have \( {\tilde{\mu }} \ge 1-\frac{1}{\tau } > 0 \), where \(\tau \in {(1, \infty ]}\) defined in (H5), which also implies that the function h must be eventually strictly convex and \( f'(s)-f(s)g(s) \) an eventually increasing function. To see this, take an arbitrary \(\mu > {\tilde{\mu }} \), then, by the definition of \({\tilde{\mu }}\), there exists \( s_{\mu } >0 \), so that \( \frac{h''(s)}{h'(s)} < \mu \frac{ h'(s)}{h(s)} \) for all \( s > s_{\mu } \). Then, by integrating twice we get \( h(s) < C_1 t^{\frac{1}{1-\mu }} \) for t large, where \( C_1 \) is a positive constant. On the other hand, from (H5), for an arbitrary \( \tau \in {(1, \alpha )} \), there exists \( s_{\tau } >0 \), such that \( \frac{h'(s)}{h(s)} > \frac{\tau }{s} \) for all \( s > s_{\tau } \), implies that \( h(s) > C_2 s^{\tau } \) for all \( s > s_{\tau } \), where \( C_2 \) is a positive castanet. Thus, we must have \( \mu \ge 1-\frac{1}{\tau } \) that proves the claim. Moreover, notice that, by hypothesis (H2) on f and g, the function h is increasing, and as we have seen in the above, h is also a superlinear function (that is, \( \lim _{s \rightarrow \infty } \frac{h(s)}{s} \rightarrow \infty \)).
It is worth mentioning here that there is a large literature devoted to the semi-linear analogue of (1), namely the Gelfand problem:
where \( \Omega \subset {\mathbb {R}}^{N \ge 1} \) is a smooth bounded domain, \( \lambda \) is a positive parameter, and \( f: [0, \infty ] \longrightarrow \mathbb {R} \) is \( C^{1}\), non-decreasing, superlinear and \( f(0) > 0 \). Regularity of the extremal solutions of (5) has been extensively studied in the literature, and it is shown that it depends extremely on the dimension N, domain \( \Omega \) and the nonlinearity f; see, for example [1, 2, 17, 19,20,21,22, 36]. It is proved that when \( f(s)=e^s \), the extremal solution \(u^*\) of (5) is regular for \( N < 10 \); also if \( f(s)= (1+s)^p \) and \( p > 1 \), then \( u^* \) is regular for \( N < 4+2(1-1/p) +4\sqrt{1-1/p} \). Then, it was conjectured (related to two open problems stated by Brezis [16] in the context of “extremal solutions”) that \(u^*\) is bounded in dimension \(N\le 9\), and also belongs to the natural energy space \(W^{1,2}_0(\Omega )\) in every dimension. Very recently, Cabré et al. [18] completely solved these two open problems and proved that stable solutions to semi-linear elliptic equations are bounded (and thus smooth) in dimension \(N\le 9\).
In this work, we consider Problem (1) with f belongs to a general class of functions. At first, for the remainder of this paper, we set:
Then, we see that Problem (1) can be rewritten as:
and a solution u of (7) is stable if \( e^{G(u)} h'(u) \in {L^1_{loc}(\Omega )} \) and satisfies:
for all \( \phi \in {W^{1,2}_{0}(\Omega )} \).
In this case, hypotheses (\(H_2\)) and (\(H_5\)) take the following simple forms, respectively:
As we mentioned in Remark (1), all previous works assume that h is a convex function (or eventually convex). However, in this paper, we remove this extra restriction and allow the function h to be nonconvex. Thus, instead of the parameters like as (4) used in previous works, we define the following new ones:
where \( H(t):=\int _{0}^{t} h(s)ds \). Now, we state our main regularity result.
Theorem 1
Let \( u^* \) be the extremal solution of Problem (7) and \( \Omega \) be an arbitrary bounded smooth domain. If \( 0<\alpha _{-} \le \alpha _{+}< \infty \), \(\beta _{+} < \infty \) and \( 2 \alpha _{-} + \beta _{-} \ge 1 \), then \( u^* \in {L^{\infty }(\Omega )} \) whenever:
If, in addition to the above assumptions, we have \( \alpha _-+\beta _- \le 1 \), then \( u^* \in {L^{\infty }(\Omega )} \) whenever:
1.1 Examples
We provide several examples of functions that fulfill the above hypotheses.
Example 1
Consider Problem (1) with \( g(t)\equiv C \) and \( f(t)= e^{\gamma t}\) ( \(\gamma> C >0\) ), which is equivalent to Problem (7) with \( h(t)= e^{(\gamma -C)t} \). Here, it is easy to see that we have \( \alpha _{+}=\alpha _{-}=1 \) and \( \beta _{+}=\beta _{-}= \frac{C}{\gamma - C} \). Then, by (9) in Theorem 1, \( u^{*} \in {L^{\infty }(\Omega )} \) whenever:
We remark that for a fixed \(\gamma >0\), by letting \( C \longrightarrow 0 \), the right-hand side of (11) goes to 10 which gives the optimal regularity dimension \(N\le 9 \) for the extremal solution of the limit equation [Eq. (5)], with the exponential nonlinearity. Furthermore, the above result coincides with Proposition 3.2 in [39].
Also with the above function \(g\equiv C\) where C is a positive constant, if we set \(h(t):= e^t(1+0.1 \sin t)\) in Problem (7), then we observe that h satisfies the needed assumptions and also:
which are periodic functions with period \( 2 \pi \). By Mathematica, we compute:
Then, by (9) in Theorem 1, we see that the extremal solution \( u^{*} \in {L^{\infty }(\Omega )} \) whenever:
However, if \(C < \frac{1}{9}\), then \( \alpha _-+\beta _- < 1 \) and by (10) in Theorem 1, we can get a better upper bound for the regularity dimension for \( u^{*} \), that is:
Again note that by the above result, if C is sufficiently small, then \(u^*\) is regular for \(N \le 9\).
Example 2
Consider Problem (7) with \( g(t)=\frac{\delta }{t+1} \), where \( \delta \) is a positive constant and \( h(t)= (t^2+3t+3\cos t +4) \). It is not hard to see that h satisfies all the needed assumptions, but is not convex even at infinity (and, hence, none of the previous results apply). However, we easily see that \( \beta _{+}= \beta _{-}=\frac{\delta }{3} \) and \( \alpha _{+}=\alpha _{-}=\frac{2}{3} \), and then, by Theorem 1, the extremal solution \(u^*\) of Problem (7) is bounded when:
Example 3
Consider Problem (7) with \( g(t)=\frac{1}{t^\gamma }\), where \( \gamma \ge 1 \) and \( h(t)=e^t(15+8\sin t)\). Here, h is increasing but not convex. Indeed, we have \(h''(t)=e^t(15-16 \cos t)\), and hence, \(\liminf _{t\rightarrow \infty } h''(t)=-\infty \). However:
which is a periodic function with period \( 2 \pi \). By Mathematica, we can compute that:
Also, it is not hard to see that \( \beta _{+}= \beta _{-}=0 \). Then, by (10) in Theorem 1, \( u^* \) is bounded when \( N < 6 \).
2 Proof of the Main Result
The next simple technical lemma and its companion Proposition 1 are key ingredients in the proof of our main result.
Lemma 1
Let \( u_{\lambda } \) be the stable solution of (7). Also, \( m: [0, \infty ) \longrightarrow [0, \infty ) \) is a \( C^{1} \) function which is zero in a neighborhood of zero and satisfies:
where \( G(t)= \int _{0}^{t} g(s) ds \). Then, \( \Vert K(u_{\lambda })\Vert _{L^{1}(\Omega )}\le C \), where C is a constant independent of \(\lambda \).
Proof
Let \( u:=u_{\lambda }> 0 \) be the stable minimal solution of Problem (7). Taking \( \phi =m(u) \) in the stability inequality (8), we obtain:
where \( M(s):=\int _{0}^{s} m'(t)^2 dt \). Then, according to Eq (7), we obtain:
On the other hand, u is a weak solution of (7), and hence:
for every \( \psi \in {W_{0}^{1,2}(\Omega )} \). Set \( \psi (x) :=M(u(x)) - e^{-G(u(x))}\int _0^{u(x)} e^{G(t)} m'(t)^2 dt \), \(x\in \Omega \). Then, notice that we have \(\psi (x)=0\) when u(x) is near zero (by the assumption on the function m) and:
Therefore, since \(\nabla \psi (x)=0\) when u(x) is near zero and g is continuous in \((0,\infty )\), we get \(\psi \in W^{1,2}_0(\Omega )\). Now, we substitute \(\psi \) in the above equality as a test function to get:
Canceling the first and the third terms on the left of the equality above, we obtain:
Using (14) in (13), we then arrive at:
Now, by the definition of the function K given in (12), the inequality (15) can be read as:
Now, by the assumption (12), there is an \( s_{0} > 0 \) such that \( K(s) \ge 0 \), where \( s \ge s_{0} \), and then, by (16), we can write:
where \( | \Omega | \) is the Lebesgue measure of \( \Omega \) and \( C_{0} := \sup _{s\in {[0,s_{0}]}} \Big (| K(u) | - K(u)\Big ) \) which is independent of u that proves the desired result. \(\square \)
Proposition 1
Let \( u_{\lambda } \) be the stable solution of (7) and \( w: [0, \infty ) \longrightarrow [0, \infty ) \) be a \( C^1 \) function, such that, for some \( t_{0} > 0 \), we have \( w(t) \le \frac{h'(t)}{h(t)} \), \( w^2 (t) +w'(t)+ g(t) w(t) \ge 0 \) for \( t \ge t_{0} \), where:
and \( \dfrac{E(t)}{h(t)} \longrightarrow \infty \) as \( t \longrightarrow \infty \). Then, \( \Vert E(u_{\lambda })\Vert _{L^{1}(\Omega )} \le C\), where C is a constant independent of \(\lambda \).
Proof
Let \( m: [0, \infty ) \longrightarrow [0, \infty ) \) be a \( C^1 \) function which is zero in a neighborhood of zero and:
where \(t_0\) and w given in the statement of the proposition. Then, using the equality
we obtain:
for all \( t \ge t_{0} \). It follows that:
where \( C_{0} \) is a constant. Now, by (18), for \( t \ge t_{0} \), we have:
which is positive for large t sufficiently large (by the assumption), and hence, by Lemma 1, we get \( \Vert K(u_{\lambda })\Vert _{L^{1}(\Omega )} \le C_1\), where \(C_1\) is a constant independent of \(\lambda \). And since, by the assumption and (19), we have:
we get also that \(\Vert E(u_{\lambda })\Vert _{L^{1}(\Omega )} \le C_2\), where \(C_2\) is a constant independent of \(\lambda \), which is the desired result. \(\square \)
2.1 Proof of Theorem 1
We now give the proof of our main result. The strategy for the proof is to apply Proposition 1, by choosing a suitable function w in term of the nonlinearity h, so that the corresponding function E defined by (17) is comparable to some power of h, to get some \(L^p\) estimates for \(e^{G(u_\lambda )} h(u_\lambda )\) (the right-hand side of Eq. (7)) independent of \(\lambda \), and then applying the standard regularity result by Stampacchia’s lemma [38].
Assume that \( \alpha _{+}, \beta _{+} < \infty \) and \( 2 \alpha _{-} + \beta _{-} \ge 1 \). Take arbitrary \( \alpha _{1}, \alpha _{2}, \alpha _3, \beta _{1}, \beta _{2}\), such that \( \alpha _{1}< \alpha _{2}< \alpha _{-} \le \alpha _{+} < \alpha _{3} \) and \( \beta _{1}< \beta _{-} \le \beta _{+} < \beta _{2} \). Then, by the definition of \( \alpha _{\pm }\) and \(\beta _{\pm }\), we can find a \( t_{0} > 0 \), so that for \( t \ge t_{0} \):
Let \( w : [0, \infty ) \longrightarrow [0, \infty ) \) be a \( C^1 \) function, such that \( w(t)= \alpha _{1} \frac{h(t)}{H(t)} \) for \( t \ge t_{0} \), where \( H(t)= \int _{0}^{t} h(s) ds \) as before. From (20), we have:
Thus, using these inequalities and the definition of w, we obtain:
for \( t \ge t_0 \).
The inequalities in (20) imply that:
hence:
for \( t \ge t_{0} \).
Let the function E(t) be given as in (18) in Proposition 1. By the inequalities (20), (21), (22) and the fact that \( \int _{t_{0}}^{t} w(s) ds= \alpha _{1} (\ln H(t) - \ln H(t_{0})) \), we obtain:
where C is a positive constant which depends only on h.
Now, writing the first inequality in (20) as \( \frac{h'(t)}{h(t)} < \alpha _{3} \frac{h(t)}{H(t)} \) for \( t_{0} > 0 \) and integrating from \( t_{0} \) to t, we obtain:
Using the above inequality in (23), we arrive at:
for all \( t \ge t_0 \).
Since \( \dfrac{E(t)}{h(t)} \longrightarrow \infty \) as \( t \longrightarrow \infty \), then from Proposition 1, we get \( \Vert E(u_{\lambda })\Vert _{L^{1}(\Omega )} \le C\). Next, by (25), we deduce that \( \Vert h(u_{\lambda })\Vert _{L^{\gamma }(\Omega )} \le C \), where C is a constant independent of \(\lambda \). On the other hand, by (20), we have \(g(t)\le \frac{\beta _2}{\alpha _1}\frac{h'(t)}{h(t)}\) for \(t\ge t_0\). Thus, by integration over \([t_0,t]\), we obtain:
Therefore:
for
where C is a constant independent of \(\lambda \).
Note that \(e^{G(u_\lambda )}h(u_\lambda )\) is the right-hand side of Eq. (7), and therefore, by Stampacchia’s lemma [38], we obtain \( u^* \in {L^{\infty }(\Omega )} \) for \( N < 2 \mu \). Since \( \alpha _{1}, \alpha _2, \alpha _{3}, \beta _{1}, \beta _{2}\) were arbitrary (in the given ranges), we conclude that \( u^* \in {L^{\infty }(\Omega )} \) for:
which is the desired result in the first part of theorem.
To complete the proof, we assume that \( \alpha _{-} + \beta _{-} \le 1 \). Thus, by the above notation and by the first inequality in (20), we obtain:
for all \( t \ge t_0 \).
Assuming that the function E(t) is given as in (18) in Proposition 1, relation (27) together with estimates (20) and (22) yields:
Using now (24), we deduce that:
for \(t\ge t_0\), where C is a positive constant depends only on h.
Next, with similar arguments as in the first part and using the above inequality together with relations (24), (26), and Proposition 1, we get:
where C is a constant independent of \(\lambda \), which implies that \( u^* \in {L^{\infty }(\Omega )} \) for \( N < 2 \theta \). Again, since \( \alpha _{1}, \alpha _2, \alpha _{3}, \beta _{1}, \beta _{2}\) were arbitrary (in the given ranges), we get \( u^* \in {L^{\infty }(\Omega )} \) for:
which completes the proof of the theorem. \(\square \)
References
Aghajani, A.: New a priori estimates for semistable solutions of semilinear elliptic equations. Potential Anal. 44, 729–744 (2019)
Aghajani, A.: Regularity of extremal solutions of semilinear elliptic problems with non-convex nonlinearities on general domains. Discrete Contin. Dyn. Syst. Ser. A 37, 3521–3530 (2017)
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., Boccardo, L., Leonori, T., Porretta, A.: Some elliptic problems with singular natural growth lower order terms. J. Diff. Equ. 249(11), 2771–2795 (2010)
Arcoya, D., Carmona, J., Leonori, T., Martinez-Aparicio, P.J., Orsina, L., Petitta, F.: Existence and nonexistence of solutions for singular quadratic quasilinear equations. J. Diff. Equ. 246(10), 4006–4042 (2009)
Arcoya, D., Carmona, J., Martínez-Aparicio, P.J.: Bifurcation for quasilinear elliptic singular BVP. Comm. Partial Diff. Equ. 36(4), 670–692 (2011)
Arcoya, D., Segura de León, S.: Uniqueness of solutions for some elliptic equations with a quadratic gradient term. ESAIM Control Opt. Calc. Var. 16(2), 327–336 (2010)
Arcoya, D., Carmona, J., Martínez-Aparicio, P.J.: Gelfand type quasilinear elliptic problems with quadratic gradient terms. Ann. Inst. H. Poincaré - Analyse Non Linéaire 31, 249–265 (2014)
Boccardo, L., Murat, F., Puel, J.P.: Existence of unbounded solutions for some quasilinear equations. Portugaliae Math. 41, 507–534 (1982)
L. Boccardo, F. Murat, J.P. Puel, Existence de solutions faibles pour des équations elliptiques quasi-liéaires á croissance quadratique, in Nonlinear Partial Differential Equations and Their Applications Collège De France Seminar, Vol. IV (J.-L. Lions and H. Brézis, eds.), Research Notes in Math, 84, Pitman, London, pp. 19-73, 1983
Boccardo, L.: Dirichlet problems with singular and gradient quadratic lower order terms. ESAIM Control Opt. Calc. Var. 14, 411–426 (2008)
Boccardo, L., Murat, F., Puel, J.P.: Existence of bounded solutions for nonlinear elliptic unilateral problems. Ann. Mat. Pura Appl. 152(4), 183–196 (1988)
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(4), 397–419 (2011)
Boccardo, L., Leonori, T., Orsina, L., Petitta, F.: Quasilinear elliptic equations with singular quadratic growth terms. Comm. Contemp. Math. 13(4), 607–642 (2011)
Barles, G., Murat, F.: Uniqueness and the maximum principle for quasilinear elliptic equations with quadratic growth conditions. Arch. Ration. Mech. Anal. 133, 77–101 (1995)
Brezis, H., Is there failure of the inverse function theorem?, Morse theory, minimax theory and their applications to nonlinear differential equations, pp. 23-33, New Stud. Adv. Math., 1, Int. Press, Somerville, MA, (2003)
Cabré, X., Capella, A.: Regularity of radial minimizers and extremal solutions of semilinear elliptic equations. J. Diff. Equ. 236(1), 164–198 (2007)
Cabré, X., Figalli, A., Ros-Oton, X., Serra, J.: Stable solutions to semilinear elliptic equations are smooth up to dimension 9. Acta Math. 224(2), 187–252 (2020)
Cabré, X., Sanchón, M.: Geometric-type Sobolev inequalities and applications to the regularity of minimizers. J. Funct. Anal. 264, 303–325 (2013)
Cabré, X., Sanchón, M., Spruck, J.: A priori estimates for semistable solutions of semilinear elliptic equations. Discrete Contin. Dyn. Syst. Ser. A 36, 601–609 (2016)
Crandall, M.G., Rabinowitz, P.H.: Some continuation and variational methods for positive solutions of nonlinear elliptic eigenvalue problems. Arch. Rational Mech. Anal. 58, 207–218 (1975)
Dupaigne, L.: Stable Solutions to Elliptic Partial Differential Equations, Chapman and Hall-CRC Monographs and Surveys in Pure and Applied Mathematics, vol. 143. Chapman and Hall-CRC, Boca Raton (2011)
Ghergu, M., Rădulescu, V.: Bifurcation for a class of singular elliptic problems with quadratic convection term, C. R. Acad. Sci. Paris, Sér. I 338, 831-836 (2004)
Ghergu, M., Rădulescu, V.: On a class of sublinear singular elliptic problems with convection term. J. Math. Anal. Appl. 311, 635–646 (2005)
Ghergu, M., Rădulescu, V.: Bifurcation and asymptotics for the Lane–Emden–Fowler equation. C. R. Acad. Sci. Paris, Sér. I 337, 259–264 (2003)
Ghergu, M., Rădulescu, V.: Nonradial blow-up solutions of sublinear elliptic equations with gradient term. Commun. Pure Appl. Anal. 3, 465–474 (2004)
Ghergu, M., Rădulescu, V.: Multi-parameter bifurcation and asymptotics for the singular Lane–Emden–Fowler equation with a convection term. Proc. Roy. Soc. Edinburgh Sect. A 135(1), 61–83 (2005)
Ghergu, M., Rădulescu, V.: Singular elliptic problems: bifurcation and asymptotic analysis, Oxford Lecture Series in Mathematics and its Applications, 37. The Clarendon Press, Oxford University Press, Oxford (2008)
Gel’fand, I.M.: Some problems in the theory of quasi-linear equations. (Russian) Uspehi Mat. Nauk 14(2), 87–158 (1959)
Joseph, D., Lundgren, T.S.: Quasilinear Dirichlet problems driven by positive sources. Arch. Ration. Mech. Anal. 49, 241–269 (1973)
Jerison, D., Monneau, R.: Towards a counter-example to a conjecture of De Giorgi in high dimensions. Ann. Mat. Pura Appl. 183(4), 439–467 (2004)
Keller, H.B., Cohen, D.S.: Some positone problems suggested by nonlinear heat generation. J. Math. Mech. 16, 1361–1376 (1967)
Mironescu, P., Rădulescu, V.: A bifurcation problem associated to a convex, asymptotically linear function. C. R. Acad. Sci. Paris, Sér. I Math. 316(7), 667–672 (1993)
Mironescu, P., Rădulescu, V.: The study of a bifurcation problem associated to an asymptotically linear function. Nonlinear Anal. 26(4), 857–875 (1996)
Molino, A.: Gelfand type problem for singular quadratic quasilinear equations. NoDEA Nonlinear Diff. Equ. Appl. 23(5), 23–56 (2016)
Nedev, G.: Regularity of the extremal solution of semilinear elliptic equations. C. R. Acad. Sci. Paris, Sér. I Math. 330, 997–1002 (2000)
Orsina, L., Puel, J.P.: Positive solutions for a class of nonlinear elliptic problems involving quasilinear and semilinear terms. Comm. Partial Diff. Equ. 26, 1665–1689 (2001)
Stampacchia, G.: Équations Élliptiques du Second Ordre à Coefficients Discontinus, Séminaire de Mathématiques Supérieures, No. 16 (Été, 1965), Les Presses de l’Université de Montréal, Montréal, (1966)
Terra, J.: Stable solutions of equations with a quadratic gradient term. Electron. J. Diff. Equ. 2016(196), 1–22 (2016)
Acknowledgements
The authors would like to thank the anonymous referee for a careful reading of the manuscript and helpful comments and suggestions.
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
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
Aghajani, A., Mottaghi, F. & Rădulescu, V.D. Regularity of Extremal Solutions to Nonlinear Elliptic Equations with Quadratic Convection and General Reaction. Mediterr. J. Math. 17, 183 (2020). https://doi.org/10.1007/s00009-020-01610-7
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-020-01610-7