Abstract
We consider a semilinear boundary value problem \( -\Delta u= f(x,u),\) in \(\Omega ,\) with Dirichlet boundary conditions, where \(\Omega \subset {\mathbb {R}}^N \) with \(N> 2,\) is a bounded smooth domain, and f is a Carathéodory function, superlinear and subcritical at infinity. We provide \(L^\infty (\Omega )\) a priori estimates for weak solutions in terms of their \(L^{2^*}(\Omega )\)-norm, where \(2^*=\frac{2N}{N-2}\ \) is the critical Sobolev exponent. In particular, our results also apply to \(f(x,s)=a(x)\,\frac{|s|^{2^*_{N/r}-2}s}{\big [\log (e+|s|)\big ]^\beta }\,\), where \(a\in L^r(\Omega )\) with \(N/2<r\le \infty \), and \(2_{N/r}^*:=2^*\left( 1-\frac{1}{r}\right) \). Assume \(N/2<r\le N\). We show that for any \(\varepsilon >0\) there exists a constant \(C_\varepsilon >0\) such that for any solution \(u\in H^1_0(\Omega )\), the following holds:
To establish our results, we do not assume any restrictions on the sign of the solutions, or on the non-linearity. Our approach is based on Gagliardo–Nirenberg and Caffarelli–Kohn–Nirenberg interpolation inequalities. Finally, we state sufficient conditions for having \(H_0^1(\Omega )\) uniform a priori bounds for non-negative solutions, so finally we provide suficient conditions for having \(L^\infty (\Omega )\) uniform a priori bounds, which holds roughly speaking for superlinear and subcritical non-linearities.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let us consider the following semilinear boundary value problem:
where \(\Omega \subset {\mathbb {R}}^N \), \(N> 2,\) is a bounded, connected, open subset with \(C^{2}\) boundary \(\partial \Omega \), and the non-linearity \(f:\overline{\Omega }\times {\mathbb {R}}\rightarrow {\mathbb {R}}\) is a Carathéodory function (that is, the map** \(f(\cdot ,s)\) is measurable for all \(s\in {\mathbb {R}}\), and the map** \(f(x,\cdot )\) is continuous for almost all \(x\in \Omega \)), that is subcritical (see Definition 1.1).
We analyze the effect of the smoothness of the non-linearity \(f=f(x,\cdot )\) on the \(L^\infty (\Omega )\) a priori estimates of weak solutions to (1.1). Degree theory combined with a priori bounds in the sup-norm of solutions of parametrized versions of (1.1), is a very classical topic in elliptic equations, posed by Leray and Schauder in [18]. It provides a great deal of information about existence of solutions and the structure of the solution set. This study is usually focused on positive classical solutions, see the classical references of de Figueiredo–Lions–Nussbaum, and of Gidas–Spruck [11, 14], see also [7, 8].
A natural question concerning the class of solutions is the following one:
-
(Q1)
can those \(L^\infty (\Omega )\) estimates be extended to a bigger class of solutions, in particular to weak solutions (with possibly sign changing solutions)?.
Another question concerning the class of non-linearities, can be stated as follows:
-
(Q2)
can those estimates be extended to a bigger class of non-linearities, in particular to non-smooth non-linearities (with possibly sign changing weights)?.
In this paper, we provide sufficient conditions guarantying uniform \(L^\infty (\Omega )\) a priori estimates for any \(u\in H_0^{1}(\Omega )\) weak solution to (1.1), in terms of their \(L^{2^*}(\Omega )\) bounds, in the class of Carathéodory generalized subcritical problems. In this class, we state that any set of weak solutions uniformly \(L^{2^*} (\Omega )\) a priori bounded is universally \(L^\infty (\Omega )\) a priori bounded. Our theorems allow sign changing weights, and singular weights, and also apply to sign changing solutions.
Problem (1.1) with \(f(x,s)=|x|^{-\mu } |s|^{p-1}s,\) \(\mu >0\), \(p>1\) is known as Hardy’s problem, due to its relation with the Hardy-Sobolev inequality. The Caffarelli–Kohn–Nirenberg interpolation inequality for radial singular weights [4], states that whenever \(0\le \mu \le 2\),
is the critical exponent of the Hardy–Sobolev embedding \(H_0^1(\Omega )\hookrightarrow \ \) \( L^{2_\mu ^*}(\Omega , |x|^{-\mu })\, \). Using variational methods, one obtains the existence of a nontrivial solution to (1.1) in \(H_0^1(\Omega )\) whenever \(1< p <2_\mu ^*-1\). For the case \(0<\mu < 2\), using a Pohozaev type identity, we have that for \(p\ge 2_\mu ^*-1\) there is no solution to Hardy’s problem in star-shaped domains with respect to the origin. But, there exist positive solutions for the problem with \(p=2_\mu ^*-1\) depending on the geometry of the domain \(\Omega \), see [16] and [5].
If \(\mu \ge 2,\) it is known that Hardy’s problem has no positive solution in any domain \(\Omega \) containing the origin, see [13, 1, Lemma 6.2], [12].
Usually the term subcritical non-linearity is reserved for power like non-linearities. We expand this concept in this paper below. Let
where \(r'\) is the conjugate exponent of r, \(1/r+1/r'=1.\)
Definition 1.1
A non-linearity \(f:\overline{\Omega }\times {\mathbb {R}}\rightarrow {\mathbb {R}}\) is subcritical if it satisfies one the two following hypothesis:
-
(H0)
$$\begin{aligned} |f(x,s)|\le |a(x)|\, \tilde{f}(s) \end{aligned}$$(1.4)
where \(a\in L^r(\Omega )\) with \(N/2<r\le \infty \), and \(\tilde{f}:{\mathbb {R}}\rightarrow [0,+\infty )\) is continuous and satisfies
$$\begin{aligned} \lim _{|s| \rightarrow \infty } \frac{\tilde{f}(s)}{|s|^{2_{N/r}^*-1}}=0, \end{aligned}$$(1.5)
- (H0)’:
-
$$\begin{aligned} |f(x,s)|\le |x|^{-\mu }\, \tilde{f}(s), \end{aligned}$$(1.6)
where \(\mu \in (0,2),\) and \(\tilde{f}:{\mathbb {R}}\rightarrow [0,+\infty )\) is continuous and satisfies
$$\begin{aligned} \lim _{|s| \rightarrow \infty } \ \frac{\tilde{f}(s)}{|s|^{2_{\mu }^*-1}}=0. \end{aligned}$$(1.7)
Remark 1.2
Obviously \(|a(x)|\, \tilde{f}(s)\le |a(x)|\,(1+\tilde{f}(s))\), and we can always redefine \( \tilde{f}\) in order to satisfy \(\tilde{f}(s)>0 \ \text {for}\ |s|>0\).
Moreover, \(\tilde{f}:{\mathbb {R}}\rightarrow [0,+\infty )\) from (H0) or (H0)’ satisfies the following hypothesis:
-
(H1)
there exists a constant \(c_0>0\) such that
$$\begin{aligned} \limsup _{s\rightarrow +\infty }\ \dfrac{\max _{[-s,s]}\, \tilde{f}}{\max \big \{\tilde{f}(-s),\tilde{f}(s)\big \}}\, \le \, c_0. \end{aligned}$$(1.8)
Throughout the paper, we will assume either (H0) and (H1) or (H0)’ and (H1).
Remark 1.3
-
1.
Observe that in particular, if \(\tilde{f}(s)\) is monotone, then (H1) is obviously satisfied with \(c_0=1\).
-
2.
Thanks to Sobolev embeddings, for any \(u\in H_0^{1}(\Omega )\),
$$\begin{aligned} \tilde{f}(u)\in L^{\frac{2^*}{2_{N/r}^*-1}}(\Omega )&\qquad \text{ with }\quad \frac{2_{N/r}^*-1}{2^*}=\frac{1}{2}+\frac{1}{N} -\frac{1}{r}, \\ \text {and}\ f(\cdot ,u)\in L^{\frac{2N}{N+2}}(\Omega ). \end{aligned}$$ -
3.
Again, by Sobolev embeddings, for any \(u\in H_0^{1}(\Omega )\),
$$\begin{aligned} \tilde{f}(u)\in L^{\frac{2^*}{2_{\mu }^*-1}}(\Omega )&\qquad \text{ with }\quad \frac{2_{\mu }^*-1}{2^*}=\frac{1}{2}+\frac{1}{N}-\frac{\mu }{N}. \end{aligned}$$If \(a(x)=|x|^{-\mu }\), then \(a\in L^p(\Omega )\) for any \(p<N/\mu \), hence \(f(\cdot ,u)\in L^{p}(\Omega )\) for any \(p<\frac{2N}{N+2}\). From the sharp Caffarelli–Kohn–Nirenberg interpolation inequality for singular weights, in the particular case where \(\alpha =\beta =0,\ p=2,\ q=2^*\) (see [4], see also Theorem A.1 and Corollary A.2), there exists a constant \(C>0\) such that
$$\begin{aligned} \big \Vert \,|x|^{-\gamma }\ u\,\big \Vert _{t} \le C \Vert \nabla u \Vert _{2} ,\quad \text {where}\ \frac{1}{t}- \frac{\gamma }{N}=\frac{1}{2}-\frac{1}{N}, \ \text {and}\ 0\le \gamma \le 1. \end{aligned}$$It can be checked that if \(u\in H_0^1(\Omega )\), then \(f(\cdot ,u)\in L^{\frac{2N}{N+2}}(\Omega )\) for any \(\mu \le 1+2/N\) (see Corollary A.2.(ii.a), (A.15)). Also, if \(u\in W^{1,p}(\Omega )\), with \(p>2\), then \(f(\cdot ,u)\in L^{\frac{2N}{N+2}}(\Omega )\) for any \(\mu \in (0,2)\) (see Corollary A.2.(iii.a), (A.19)).
Definition 1.4
By a weak solution of (1.1) we mean a function \(u \in H_0^{1}(\Omega )\) such that \(f(\cdot ,u)\in L^{\frac{2N}{N+2}}(\Omega ),\) and
Throughout the paper, by a solution we will refer to this weak solution. This definition of solution is tied to question (Q1). By an estimate of Brezis-Kato [3], based on Moser’s iteration technique [21], and elliptic regularity, we will state sufficient conditions guarantying that any weak solution to (1.1) with a Carathéodory subcritical non-linearity is a continuous function, and in fact it is a strong solution, see Lemma 2.1 and Lemma 3.1.
Our definition of a subcritical non-linearity includes functions such as
for any \(\alpha >0\), and either any \(a\in L^r(\Omega ),\) with \(N/2<r\le \infty \), or any \(\mu \in (0,2)\). These non-linearities exemplify question (Q2).
One of the main results, Theorem 1.5, applied to \(f(x,s)=f^{(1)}(x,s)\) with \(a\in L^r(\Omega )\) for \(r\in (N/2,N]\), implies that for any \(\varepsilon >0\) there exists a constant \(C>0\) depending only on \(\varepsilon ,\ \Omega ,\) r and N such that for any \(u\in H_0^{1}(\Omega )\) solution to (1.1), the following holds:
where C is independent of the solution u.
Related results concerning \(f^{(1)}(x,s)\) with \(r=\infty \) can be found in [10] for the p-Laplacian case, in [9] analyzing what happen when \(\alpha \rightarrow 0\), in [19] for systems, in [25] for the radial case, and in [23, 24] for a summary.
To state our main results, for a non-linearity f satisfying (H0), define
(see Remark 1.2). And for a non-linearity f satisfying (H0)’, define
By sub-criticality, (see (1.5) or (1.7) respectively),
Let u be a solution to (1.1). We estimate \(h\big (\Vert u\Vert _{\infty }\big )\), in terms of its \(L^{2^*}(\Omega )\)-norm. This result is robust, and holds for solutions and non-linearities without any sign restriction.
Our first main result is the following theorem.
Theorem 1.5
Assume that \(f:\overline{\Omega }\times {\mathbb {R}}\rightarrow {\mathbb {R}}\) is a Carathéodory function satisfying (H0)-(H1).
Then, for any \(u\in H_0^{1}(\Omega )\) weak solution to (1.1), the following holds:
-
(i)
either there exists a constant \(C>0\) such that \(\Vert u\Vert _{\infty }\le C\), where C is independent of the solution u,
-
(ii)
either, for any \(\varepsilon >0\) there exists a constant \(C>0\) such that
$$\begin{aligned} h\big (\Vert u\Vert _{\infty }\big ) \le C \Vert a\Vert _r^{\ A+\varepsilon } \ \Big (1+\Vert u\Vert _{2^*}\Big )^{\, (2_{N/r}^*-2)(A+\varepsilon )}, \end{aligned}$$where h is defined by (1.9),
$$\begin{aligned} A:= {\left\{ \begin{array}{ll} 1 , &{}\qquad \text{ if }\quad r\le N,\\ \displaystyle 1+\frac{2}{N}-\frac{2}{r} ,&{}\qquad \text{ if }\quad r> N, \end{array}\right. } \end{aligned}$$(1.12)and C depends only on \(\varepsilon \), \(c_0\) (defined in (1.8)), r, N, and \(\Omega ,\) and it is independent of the solution u.
Our second main result is the following theorem.
Theorem 1.6
Assume that \(f:\overline{\Omega }\times {\mathbb {R}}\rightarrow {\mathbb {R}}\) is a Carathéodory function satisfying (H0)’ and (H1). Assume also that one of the following two conditions hold
-
(a)
Either \(\mu \le 4/N\);
-
(b)
either \(u\in W^{1,p_0}(\Omega )\) with \(p_0>2\).
Then, for any \(u\in H_0^{1}(\Omega )\) solution to (1.1), the following holds:
-
(i)
either there exists a constant \(C>0\) such that \(\Vert u\Vert _{\infty }\le C\), where C is independent of the solution u,
-
(ii)
either, for any \(\varepsilon >0\) there exists a constant \(C>0\) such that
$$\begin{aligned} h\big (\Vert u\Vert _{\infty }\big )\le C_\varepsilon \ \Big (1+\Vert u\Vert _{2^*} \Big )^{\, (2_{\mu }^*-2)(B+\varepsilon )}\ , \end{aligned}$$where h is defined by (1.10),
$$\begin{aligned} B:= {\left\{ \begin{array}{ll} \displaystyle 1+\frac{2}{N}-\frac{2\mu }{N} ,&{}\text {if} \ \mu \in (0,1),\\ 1 ,&{}\text {if}\ \mu \in [1,2), \end{array}\right. } \end{aligned}$$(1.13)and C depends only on \(\varepsilon \), \(c_0\) (defined in (1.8)), \(\mu \), N, and \(\Omega ,\) and it is independent of the solution u.
As an immediate consequence, as soon as we have a universal a priori \(L^{2^*}(\Omega )\)- norm for weak solutions in \(H_0^{1}(\Omega ),\) then solutions are a priori universally bounded in the \(L^{\infty }(\Omega )\)- norm. Our third main result is the following theorem.
Theorem 1.7
(\(L^\infty \) uniform a priori bound) Assume that \(f:\overline{\Omega }\times {\mathbb {R}}\rightarrow {\mathbb {R}}\) is a Carathéodory function satisfying either hypothesis of Theorem 1.5, either hypothesis of Theorem 1.6. Assume also that there exists constants \(K_i>0\), \(i=1,2\), and \(q>2\) such that
Then, there exists a constant \(C>0\) such that for every non-negative weak solution u of (1.1),
where C depends only on N and \(\Omega \), but it is independent of the solution u.
As far as we know, our definition of weak solution is the optimal one for the purpose of \(L^\infty (\Omega )\) a priori bounds. There are more singular solutions which are unbounded in \(L^\infty (\Omega )\), which we briefly discuss below. We will say that a function u is an \(L^1(\Omega )\)-weak solution to (1.1) if
where \(\delta _\Omega (x):=dist(x,\partial \Omega )\) is the distance function with respect to the boundary, and
Joseph and Lundgren in [17] shows that those \(L^\infty (\Omega )\) a priori estimates are not applicable for \(L^1(\Omega )\)- weak solutions, or for super-critical non-linearities.
They posed the study of singular solutions. Working on non-linearities such as \(f(s):=e^s\) or \(f(s):=(1+s)^p\), they consider the following BVP depending on a multiplicative parameter \(\lambda \in {\mathbb {R}}\),
and look for classical radial positive solutions in the unit ball \(B_1\). They obtain singular solutions as limit of classical solutions.
In particular, they obtain the explicit weak solution
to (1.14), when \(N>2\), \(\lambda =2(N-2)\), and \(f(s):=e^s\), see [17, p. 262].
They also found the explicit \(L^1(\Omega )\) -weak solution
to (1.14), where \(f(s):=(1+s)^p\), and \(\lambda =\frac{2}{p-1} \big (N-\frac{2p}{p-1}\big )>0\), see [17, (III.a)]. It holds that \(u^{*}_2\in H_0^1(B_1)\) only when \(p>2^*-1\). So, in the subcritical range \(u^{*}_2\) is a singular \(L^1(\Omega )\)-weak solution to (1.14), not in \(H^1(\Omega )\).
Let us focus on BVP with radial singular weights,
with \(N>2\), \(\mu <2\) and \(p>1\). It can be checked that
and \(u^{*}_3\) is an \(L^1(\Omega )\) -weak solution to (1.15), for \(\lambda =\frac{2-\mu }{p-1} \big (N-2-\frac{2-\mu }{p-1}\big )>0\). It also holds that \(u^{*}_3\in H_0^1(B_1)\) only when \(p>2_\mu ^*-1\). So, in the subcritical range \(u^{*}_3\) is a singular \(L^1(\Omega )\)-weak solution to (1.15), not in \(H^1(\Omega )\).
Above examples of radially symmetric singular solutions to BVP’s on spherical domains, solve either super-critical problems (\(u_1^*\)) or are \(L^1(\Omega )\)-weak solutions not in \(H_0^1(\Omega )\) (\(u_2^*\) and \(u_3^*\)). Consequently, we restrict our study for \(u\in H_0^{1}(\Omega )\) weak solutions to (1.1), in the class of generalized subcritical problems. It is natural to ask for uniform \(L^\infty (\Omega )\) a priori estimates over non power non-linearities in non-spherical domains.
This paper is organized in the following way. In Sect. 2, using Gagliardo –Nirenberg inequality, we prove Theorem 1.5. In Sect. 3, we prove Theorem 1.6. It needs the Caffarelli–Kohn–Nirenberg inequality, which is written in Appendix A, by the sake of completeness. In Sect. 4, we prove Theorem 1.7.
2 Estimates of the \(L^\infty (\Omega )\)-norm of the solutions with Carathéodory non-linearities
In this section, assuming that f satisfy the subcritical growth condition (H0), we prove Theorem 1.5.
We first collect a regularity Lemma for any weak solution to (1.1) with a non-linearity of polynomial critical growth.
Lemma 2.1
(Improved regularity) Assume that \(u\in H_0^1(\Omega )\) weakly solves (1.1) for a Carathéodory non-linearity \(f:\overline{\Omega }\times {\mathbb {R}}\rightarrow {\mathbb {R}}\) with polynomial critical growth
Then, the following hold:
-
(i)
If \(r<N,\) then \(u\in C^{\nu }(\overline{\Omega })\cap W^{2,r}(\Omega )\) for \(\nu =2-\frac{N}{r}\in (0,1)\).
-
(ii)
If \(r=N,\) then \(u\in C^{\nu }(\overline{\Omega })\cap W^{2,r}(\Omega )\) for any \(\nu <1\).
-
(iii)
If \(N<r<\infty ,\) then \(u\in C^{1,\nu }(\overline{\Omega })\cap W^{2,r}(\Omega )\) for \(\nu =1-\frac{N}{r}\in (0,1)\).
-
(iv)
If \(r=+\infty ,\) then \(u\in C^{1,\nu }(\overline{\Omega })\cap W^{2,p}(\Omega )\) for any \(\nu <1\) and any \(p<\infty \).
Proof
Let \(u\in H_0^1(\Omega )\) be a solution to (1.1). Since an estimate of Brezis-Kato [3], if
then, \(u\in L^q(\Omega )\) for any \(q<\infty \) (see [26, Lemma B.3]).
Assume that f satisfies (2.1), then assumption (2.2) is satisfied with
using first that \(2_{N/r}^*>2\) for \(r>N/2\), and next the Hölder inequality.
Consequently, \(u\in L^q(\Omega )\) for any \(q<\infty \). The growth condition for f (see (2.1)), implies that \(-\Delta u=f(x,u)\in L^p(\Omega )\) for any \(p<r.\) Thus, by the Calderon-Zygmund inequality (see [15, Theorem 9.14]), \(u\in W^{2,p}(\Omega ),\) for any \(p\in (1,r).\)
-
(i)
Assume \(r<N.\) Choosing any \(p\in (N/2,r)\), by Sobolev embeddings, \(u\in W^{1,p^*}(\Omega ),\) where \(\frac{1}{p^*}:= \frac{1}{p}- \frac{1}{N}<\frac{1}{N}.\) Since \(p^*>N,\) \(u\in C^{\nu }(\overline{\Omega })\) for \(\nu =2-\frac{N}{p}\). Now, from elliptic regularity \(u\in C^{\nu _0}(\overline{\Omega })\cap W^{2,r}(\Omega )\) for \(\nu _0=2-\frac{N}{r}\).
-
(ii)
Assume \(r=N.\) Choosing any \(p\in (N/2,N)\), and reasoning as in (i), \(u\in W^{1,p^*}(\Omega ),\) where \(\frac{1}{p^*}:= \frac{1}{p}- \frac{1}{N}<\frac{1}{N}.\) Also \(u\in C^{\nu }(\overline{\Omega })\) for any \(\nu <1\). Now, from elliptic regularity \(u\in C^{\nu }(\overline{\Omega })\cap W^{2,r}(\Omega )\) for any \(\nu <1\).
-
(iii)
Assume \(r>N.\) Choosing any \(p\in (N,r)\), and reasoning as above, \(u\in C^{1,\nu _0}(\overline{\Omega })\cap W^{2,r}(\Omega )\) for \(\nu _0=1-\frac{N}{r}\).
-
(iv)
Assume \(r=+\infty .\) Since elliptic regularity and Sobolev embeddings, \(u\in C^{1,\nu }(\overline{\Omega })\cap W^{2,p}(\Omega )\) for any \(\nu <1\) and any \(p<\infty \).
\(\square \)
2.1 Proof of Theorem 1.5
The arguments of the proof use Gagliardo–Nirenberg interpolation inequality (see [22]), and are inspired in the equivalence between uniform \(L^{2^*}(\Omega )\) a priori bounds and uniform \(L^\infty (\Omega )\) a priori bounds for solutions to subcritical elliptic equations, see [6, Theorem 1.2] for the semilinear case and \(f=f(u)\), and [20, Theorem 1.3] for the p-Laplacian case and \(f=f(x,u)\).
We first use elliptic regularity and Sobolev embeddings, and next, we invoke the Gagliardo–Nirenberg interpolation inequality (see [22]).
From now on, C denotes several constants that may change from line to line, and are independent of u.
Proof of Theorem 1.5
Let \(\{u_k\}\subset H_0^1(\Omega )\) be any sequence of weak solutions to (1.1). Since Lemma 2.1, in fact \(\{u_k\}\subset H_0^1(\Omega )\cap L^\infty (\Omega )\).
If \(\Vert u_k \Vert _{\infty }\le C,\) then (i) holds.
Now, we argue on the contrary, assuming that there exists a sequence \(\Vert u_k \Vert _{\infty } \rightarrow + \infty \) as \(k \rightarrow \infty .\)
We split the proof in two steps. First, we write an \(W^{2,q}(\Omega )\) estimate for \(q\in \big (N/2,\min \{r,N\}\big ),\) then through Sobolev embeddings we get a \(W^{1,q^*}\) estimate with \(1/q^*=1/q-1/N<1/N.\) Secondly, we invoke the Gagliardo–Nirenberg interpolation inequality for the \(L^\infty (\Omega )\)-norm in terms of its \(W^{1,q^*}\)-norm and its \(L^{2^*}(\Omega )\)-norm.
Step 1. \(W^{2,q}(\Omega )\) estimates for \(q\in \big (N/2,\min \{r,N\}\big )\).
Let us denote by
where the inequality holds by hypothesis (H1), see (1.8).
Let us take q in the interval \((N/2,N)\cap (N/2,r).\) Growth hypothesis (H0) (see (1.4)), hypothesis (H1) (see (1.8)), and Hölder inequality, yield the following:
where \(\frac{1}{s}+\frac{1}{s'}=1\), \(qs=r\), \(C=(2c_0)^{\,q-t}\) (for \(c_0\) defined in (1.8)), and \(ts'=\frac{2^*}{2_{N/r}^*-1}\), so
since \(q>N/2>\frac{2N}{N+2}.\)
Now, elliptic regularity and Sobolev embedding imply that
where \(1/q^*=1/q-1/N\), and \(C=C(c_0,r,N,q,|\Omega |)\) and it is independent of u. Observe that since \(q>N/2\), then \(q^*>N.\)
Step 2. Gagliardo–Nirenberg interpolation inequality.
Thanks to the Gagliardo–Nirenberg interpolation inequality, there exists a constant \(C=C(N,q,|\Omega |)\) such that
where
Hence,
where \(C=C(c_0,r,N,q,|\Omega |)\).
From definition of \(M_k\) (see (2.3)), and definition of h (see (1.9)), we deduce that
From (2.5),
Moreover, since definition of t (see (2.4)), and definition of \(2_{N/r}^*\) (see (1.3)
which, joint with (2.7), yield
Now, (2.6) can be rewritten as
or equivalently
where
see (2.8) and (2.5). Observe that since \(q< r\), then \(\theta > 1\). Moreover, since (2.10) and (2.9),
Furthermore, from sub-criticality, see (1.5)
so
Consequently,
with
where we have used (2.11).
Fixed \(N>2\) and \(r>N/2\), the function \(q\rightarrow \theta =\theta (q)\) for \(q\in \big (N/2,\min \{r,N\}\big )\), is decreasing, so
Finally, and since the infimum is not attained in \(\big (N/2,\min \{r,N\}\big )\), for any \(\varepsilon >0\), there exists a constant \(C>0\) such that
where A is defined by (1.12), and \(C=C(\varepsilon ,c_0,r,N,|\Omega |),\) ending the proof.
\(\square \)
2.2 \(L^\infty (\Omega )\) a priori bounds of the solutions
As as immediate corollary of Theorem 1.5, we prove that any sequence of solutions in \(H_0^{1}(\Omega )\), uniformly bounded in the \( L^{2^*} (\Omega )\)-norm, is also uniformly bounded in the \( L^{\infty } (\Omega )\)-norm.
Corollary 2.2
Let \(f:\overline{\Omega }\times {\mathbb {R}}\rightarrow {\mathbb {R}}\) be a Carathéodory function satisfying (H0)–(H1).
Let \(\{u_k\}\subset H_0^{1}(\Omega )\) be any sequence of solutions to (1.1) such that there exists a constant \(C_0>0\) satisfying
Then, there exists a constant \(C>0\) such that
Proof
We reason by contradiction, assuming that (2.12) does not hold. So, at least for a subsequence again denoted as \(u_k\), \(\Vert u_k\Vert _{\infty } \rightarrow \infty \) as \(k \rightarrow \infty .\) Now, part (ii) of the Theorem 1.5 implies that
From hypothesis (H0) (see in particular (1.11)), for any \(\varepsilon >0\) there exists \(s_1>0\) such that \(h(s)\ge 1/\varepsilon \) for any \(s\ge s_1,\) and so \(h\big (\Vert u_k\Vert _{\infty }\big )\ge 1/\varepsilon \) for any k big enough. This contradicts (2.13), ending the proof. \(\square \)
We next state a straightforward corollary, assuming that the non-linearity \(\tilde{f}:{\mathbb {R}}\rightarrow (0,+\infty )\) satisfies also the following hypothesis:
- (H1)’:
-
there exists a constant \(c_0>0\) such thatFootnote 1
$$\begin{aligned} \sup _{s>0}\ \dfrac{\max _{[-s,s]}\, \tilde{f}}{\max \big \{\tilde{f}(-s),\tilde{f}(s)\big \}}\, \le \, c_0. \end{aligned}$$
Corollary 2.3
Assume that \(f:\overline{\Omega }\times {\mathbb {R}}\rightarrow {\mathbb {R}}\) is a Carathéodory function satisfying (H0) and (H1)’.
Then, for any \(u\in H_0^{1}(\Omega )\) weak solution to (1.1), the following holds: for any \(\varepsilon >0\) there exists a constant \(C>0\) such that
where h is defined by (1.9), A is defined by (1.12), \(C=C(c_0,r,N,\varepsilon ,|\Omega |)\), and C is independent of the solution u.
Since hypothesis (H1)’, for any sequence \(\{u_k\}\subset H_0^1(\Omega )\) of weak solutions to (1.1),
The proof can be achieved just reproducing Step 1 and Step 2 of the proof of Theorem 1.5, which now hold for any any sequence of weak solutions to (1.1).
3 Estimates of the \(L^\infty (\Omega )\)-norm of the solutions with radial singular weights
In this section, assuming that \(0\in \Omega \) and that f satisfies (H0)’ and (H1), we prove Theorem 1.6.
First, we also collect a regularity Lemma for any weak solution to (1.1) with \(\tilde{f}(s)\) of polynomial critical growth, according to Caffarelli–Kohn–Nirenberg inequality.
Lemma 3.1
(Improved regularity) Assume that \(u\in H_0^1(\Omega )\) weakly solves (1.1) for a Carathéodory non-linearity \(f:\overline{\Omega }\times {\mathbb {R}}\rightarrow {\mathbb {R}}\) with polynomial critical growth
Assume also that one of the following two conditions hold:
-
(a)
Either \(\mu \le 4/N\);
-
(b)
either \(u\in W^{1,p_0}(\Omega )\) with \(p_0>2\).
Then, \(u\in L^\infty (\Omega )\).
Moreover, the following hold:
-
(i)
If \(\mu < 1,\) then \(u\in C^{1,\nu }(\overline{\Omega })\cap W^{2,p}(\Omega )\) for any \(p<N/\mu \), and any \(\nu <1-\mu \).
-
(ii)
If \(\mu =1,\) then \(u\in C^{\nu }(\overline{\Omega })\cap W^{2,p}(\Omega )\) for any \(p<N\), and \(\nu <1\).
-
(iii.a)
Assume (a), and that \(N=3\). If \(1<\mu \le 4/N,\) then \(u\in C^{\nu }(\overline{\Omega })\cap W^{2,p}(\Omega )\) for any \(p<N/\mu \), and \(\nu <2-\mu \).
-
(iii.b)
Assume (b). If \(1<\mu <2,\) then \(u\in C^{\nu }(\overline{\Omega })\cap W^{2,p}(\Omega )\) for any \(p<N/\mu \), and \(\nu < 2-\mu \).
Proof
Let \(u\in H_0^1(\Omega )\) be a solution to (1.1). We reason as in Lemma 2.1. Assume either that (a) or (b) hold.
If f satisfies (3.1), then Caffarelli–Kohn–Nirenberg interpolation inequality (see [4], and Theorem A.1) implies that assumption (2.2) is satisfied with
Observe that \(2_{\mu }^*>2\) for \(\mu \in (0,2)\). Indeed, in case (a), condition (3.2) hold, see Corollary A.2(ii.b), (A.16); in case (b), condition (3.2) also hold, see Corollary A.2.(iii.b), (A.20)).
Consequently, \(u\in L^q(\Omega )\) for any \(q<\infty \). The growth condition for f (see (1.6)–(1.7)), implies that \(-\Delta u=f(x,u)\in L^p(\Omega )\) for any \(p<N/\mu .\) Thus, by the Calderon–Zygmund inequality (see [15, Theorem 9.14]), \(u\in W^{2,p}(\Omega ),\) for any \(p<N/\mu .\) Now, choosing \(p\in (N/2,N/\mu )\), we get that \(u\in L^\infty (\Omega )\).
-
(i)
Assume \(\mu < 1.\) Choosing any \(p\in (N,N/\mu )\), by elliptic regularity, \(u\in W^{2,p}(\Omega ),\) with \(p>N.\) Then \(u\in C^{1,\nu }(\overline{\Omega })\) for \(\nu =1-\frac{N}{p}\), and finally, \(u\in C^{1,\nu }(\overline{\Omega })\cap W^{2,p}(\Omega )\) for any \(p<N/\mu \), and any \(\nu <1-\mu \).
-
(ii)
Assume \(\mu = 1.\) Choosing any \(p\in (N/2,N)\), by elliptic regularity and Sobolev embeddings, \(u\in W^{1,p^*}(\Omega ),\) where \(\frac{1}{p^*}:= \frac{1}{p}- \frac{1}{N}<\frac{1}{N}.\) Also \(u\in C^{\nu }(\overline{\Omega })\) for any \(\nu <1\). Finally \(u\in C^{\nu }(\overline{\Omega })\cap W^{2,p}(\Omega )\) for any \(p<N\), and \(\nu <1\).
-
(iii.a)
Assume \(N=3\), and \(1<\mu \le 4/N\). Choosing any \(p\in (N/2,N/\mu )\), and reasoning as above, \(u\in W^{1,p^*}(\Omega ),\) where \(\frac{1}{p^*}:= \frac{1}{p}- \frac{1}{N}<\frac{1}{N}.\) Also \(u\in C^{\nu }(\overline{\Omega })\) for \(\nu =2-N/p<2-\mu \). Finally \(u\in C^{\nu }(\overline{\Omega })\cap W^{2,p}(\Omega )\) for any \(p<N/\mu \), and \(\nu <2-\mu \).
-
(iii.b)
Assume (b). Reasoning as in case (iii.a), we reach the conclusion.
\(\square \)
3.1 Estimates of the \(L^\infty (\Omega )\)-norm of the solutions
Remark 3.2
Under condition (a), the definition of B, (1.13), can be rewritten
3.2 Proof of Theorem 1.6
Since Lemma 3.1, assuming either (a) or (b), a solution \(u\in H_0^1(\Omega )\) to (1.1) is in \( L^\infty (\Omega )\). In the proof of Theorem 1.6, we will not distinguish if we are assuming condition (a) or (b).
Proof of Theorem 1.6
Let \(\{u_k\}\subset H_0^1(\Omega )\) be any sequence of solutions to (1.1). Since Lemma 3.1, \(\{u_k\}\subset H_0^1(\Omega )\cap L^\infty (\Omega )\). If \(\Vert u_k \Vert _{\infty }\le C,\) then (i) holds.
Now, we argue on the contrary, assuming that there exists a sequence \(\{u_k\}\subset H_0^1(\Omega )\) of solutions to (1.1), such that \(\Vert u_k \Vert _{\infty } \rightarrow + \infty \) as \(k \rightarrow \infty .\) By Morrey’s Theorem (see [2, Theorem 9.12]), observe that also
for any \(p>N\).
Step 1. \(W^{2,q}(\Omega )\) estimates for \(q\in \big (N/2,\min \{N,N/\mu \}\big )\).
As in the proof of Theorem (1.5), let us denote by
where the inequality is due to hypothesis (H1), see (1.8).
Let us take q in the interval \((N/2,N)\cap (N/2,N/\mu ).\) Using growth hypothesis (H0)’(see (1.6)), hypothesis (H1) (see (1.8)), and Hölder inequality, we deduce
where \(\gamma =\frac{\mu q}{t}\), \(t\in \big (0, q\big (2_{\mu }^*-1\big )\big )\), \(C=(2c_0)^{q-\frac{t}{2_{\mu }^*-1}}\) (for \(c_0\) defined in (1.8)), and where \(M_k\) is defined by (3.4).
Combining now elliptic regularity with Sobolev embedding, we have that
where \(1/q^*=1/q-1/N\) (since \(q>N/2\), then \(q^*>N\)), and \(C=C(N,q,|\Omega |).\)
Step 2. Caffarelli–Kohn–Nirenberg interpolation inequality.
Since the Caffarelli–Kohn–Nirenberg interpolation inequality for singular weights (see [4], and also Theorem A.1, and Corollary A.2), there exists a constant \(C>0\) depending on the parameters \(N,\ q,\ \mu ,\) and t, such that
where
Substituting now (3.6) into (3.5), we can write
now, dividing by \(\Vert \nabla u_k \Vert _{q^*}^{\theta t/q}\) and using (3.3) we obtain
Let us check that
Indeed, observe first that (3.7) is equivalent to
moreover, from (3.9)
consequently,
so (3.8) holds.
Consequently,
Step 3. Gagliardo–Nirenberg interpolation inequality.
Thanks to the Gagliardo–Nirenberg interpolation inequality (see [22]), there exists a constant \(C=C(N,q,|\Omega |)\) such that
where
Hence, substituting (3.11) into (3.12), we deduce
From definition of \(M_k\) (see (2.3)) and of h (see (1.10)), we obtain
From (3.13),
From (3.10), we deduce
where we have used that, by definition of \(2_{\mu }^*\) (see (1.2)), \(\frac{2_{\mu }^*}{2^*}=1- \frac{\mu }{N}\).
Moreover, since (3.17),
Taking into account (3.16) and (3.18), we obtain
Consequently, since (3.15), and (3.19), we can rewrite (3.14) in the following way:
or equivalently
where
Since (3.19), \(\sigma (1-\theta t/q)^{-1}=(2_{\mu }^*-1 -\frac{t}{q})^{-1}\), and substituting it into the above equation, we obtain
Fixed \(N>2\) and \(\mu \in (0,2)\), the function \((t,q)\rightarrow \Theta =\Theta (t,q)\) for \((t,q)\in \big (0, q(2_{\mu }^*-1)\big )\times \big (N/2,\min \{N,N/\mu \}\big )\), is increasing in t and decreasing in q.
For \(\mu \in [1,2)\), \(\min \{N,N/\mu \}=N/\mu \). If \(q_k\rightarrow N/\mu \), Eq. (3.7) with \(q=q_k\), \(\theta =\theta _k<1\) and an arbitrary \(t\in \big (0, (2_{\mu }^*-1)N/\mu \big )\) fixed, yields \(\theta _k\rightarrow \frac{1}{2_{\mu }^*-1}<1\) (since \(\mu <2\)). Hence, when \(\mu \in [1,2)\),
On the other hand, for \(\mu \in (0,1)\), \(\min \{N,N/\mu \}=N\). If \(q_k\rightarrow N,\) equation (3.7) with \(q=q_k\), \(\theta =\theta _k>0\) and t fixed, yields \(\theta _k\rightarrow \frac{2}{2^*}-\frac{2(1-\mu )}{t}\ge 0\), so \(t\ge 2^*(1-\mu )\). Hence, when \(\mu \in (0,1)\),
where B is defined by (1.13).
Since the infimum is not attained, for any \(\varepsilon >0\), there exists a constant \(C=C(\varepsilon ,c_0,\mu ,N,\Omega )\) such that
which ends the proof. \(\square \)
4 Uniform \(L^\infty \) a priori estimates
Proof of Theorem 1.7
We will show \(\Vert u\Vert _{H_0^1(\Omega )}\le C\), where C is independent of u, once achieved, either Theorem 1.5, either Theorem 1.6 will finished the proof.
We prove it by contradiction. Suppose there exists a sequence \(\{u_k\}\) of non-negative weak solutions of (1.1) such that \(\Vert u_k\Vert _{H_0^1(\Omega )} \rightarrow \infty \) as \(k \rightarrow \infty \). Let \(\displaystyle U_k:=\frac{u_k}{\Vert u_k\Vert _{H_0^1(\Omega )}}\). Then, by the reflexivity of \(H_0^1(\Omega )\), \(U_k \rightharpoonup U\) in \(H_0^1(\Omega )\) up to a subsequence. By the compactness of the trace operator, \(U_k \rightarrow U\) in \(L^{p+1}(\Omega )\).
Step 1: \(U =0\) a.e. on \(\Omega \).
Since \(u_k\) is a weak solution of (1.1), we have
Then dividing both sides of (4.1) by \(\Vert u_k\Vert _{H_0^1(\Omega )}\), we have
Taking \(\psi =U_k\) as a test function, we have
which implies
since \(q>2\). Therefore,
so \(\Vert U_k\Vert _{L^{q}(\partial \Omega )}\rightarrow 0\). Since \(U_k \rightarrow U\) in \(L^{s}(\Omega )\) for all \(s<2^*\), we have that \(U=0\) a.e. on \(\Omega \).
Step 2: A contradiction.
Since
it follows from (4.2) that for all \(\psi \in H_0^1(\Omega )\)
Let \(g_k:=\, \frac{f(x,u_k)}{\Vert u_k\Vert _{H_0^1(\Omega )}}\), by sub-criticality and Lemma 2.1, \(\{g_k\}_k\subset L^\infty (\Omega )\). Fix \(q< 2^*\). Since (4.4), \(\int _{\Omega }g_k \psi \rightarrow 0, \) for any \(\psi \in L^{q}(\Omega )\) (due to \(H_0^1(\Omega )\) is dense in \(L^{q}(\Omega )\)). Let \(x_k:=U_k \rightarrow 0\) in \(L^{q}(\Omega )\). By Brezis [2, Prop. 3.13 (i) and (iv)], \(\langle g_k, x_k\rangle \rightarrow 0\), that is,
a contradiction to (4.3). Hence, the conclusion of Theorem 1.7 holds, completing the proof. \(\square \)
Data Availability Statement
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Change history
10 December 2023
A Correction to this paper has been published: https://doi.org/10.1007/s11784-023-01091-7
Notes
In particular, if \(\tilde{f}(s)\) is monotone, then (H1)’ is satisfied with \(c_0=1\).
References
Bidaut-Veron, M.-F.: Local behaviour of the solutions of a class of nonlinear elliptic systems. Adv. Differ. Equ. 5(1–3), 147–192 (2000)
Brezis, H.: Functional Analysis, Sobolev Spaces and Partial Differential Equations. Universitext. Springer, New York (2011)
Brézis, H., Kato, T.: Remarks on the Schrödinger operator with singular complex potentials. J. Math. Pures Appl. (9) 58(2), 137–151 (1979)
Caffarelli, L., Kohn, R., Nirenberg, L.: First order interpolation inequalities with weights. Compos. Math. 53(3), 259–275 (1984)
Caldiroli, P., Malchiodi, A.: Singular elliptic problems with critical growth. Commun. Partial Differ. Equ. 27(5–6), 847–876 (2002)
Castro, A., Mavinga, N., Pardo, R.: Equivalence between uniform \(L^{2^\ast }(\Omega )\) a-priori bounds and uniform \(L^\infty (\Omega )\) a-priori bounds for subcritical elliptic equations. Topol. Methods Nonlinear Anal. 53(1), 43–56 (2019)
Castro, A., Pardo, R.: A priori bounds for positive solutions of subcritical elliptic equations. Rev. Mat. Complut. 28(3), 715–731 (2015)
Castro, A., Pardo, R.: A priori estimates for positive solutions to subcritical elliptic problems in a class of non-convex regions. Discret. Contin. Dyn. Syst. Ser. B 22(3), 783–790 (2017)
Clapp, M., Pardo, R., Pistoia, A., Saldaña, A.: A solution to a slightly subcritical elliptic problem with non-power nonlinearity. J. Differ. Equ. 275, 418–446 (2021)
Damascelli, L., Pardo, R.: A priori estimates for some elliptic equations involving the \(p\)-Laplacian. Nonlinear Anal. Real World Appl. 41, 475–496 (2018)
de Figueiredo, D.G., Lions, P.-L., Nussbaum, R.D.: A priori estimates and existence of positive solutions of semilinear elliptic equations. J. Math. Pures Appl. (9) 61(1), 41–63 (1982)
Dupaigne, L., Ponce, A.C.: Singularities of positive supersolutions in elliptic PDEs. Selecta Math. (N.S.) 10(3), 341–358 (2004)
Gidas, B., Spruck, J.: Global and local behavior of positive solutions of nonlinear elliptic equations. Commun. Pure Appl. Math. 34(4), 525–598 (1981)
Gidas, B., Spruck, J.: A priori bounds for positive solutions of nonlinear elliptic equations. Commun. Partial Differ. Equ. 6(8), 883–901 (1981)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order, volume 224 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 2nd edn. Springer, Berlin (1983)
Jannelli, E., Solimini, S.: Critical behaviour of some elliptic equations with singular potentials. Rapporto no. 41/96, Dipartimento Di Mathematica, Universita degli Studi di Bari, 70125 Bari, Italia
Joseph, D.D., Lundgren, T.S.: Quasilinear Dirichlet problems driven by positive sources. Arch. Ration. Mech. Anal. 49, 241–269 (1972/73)
Leray, J., Schauder, J.: Topologie et équations fonctionnelles. Ann. Sci. École Norm. Sup. 3(51), 45–78 (1934)
Mavinga, N., Pardo, R.: A priori bounds and existence of positive solutions for semilinear elliptic systems. J. Math. Anal. Appl. 449(2), 1172–1188 (2017)
Mavinga, N., Pardo, R.: Equivalence between uniform \(L^{p^*}\) a-priori bounds and uniform \(L^\infty \) a-priori bounds for subcritical \(p\)-Laplacian equations. Mediterr. J. Math. 18(1), Paper No. 13, 24 (2021)
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)
Nirenberg, L.: On elliptic partial differential equations. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) 13, 115–162 (1959)
Pardo, R.: On the existence of a-priori bounds for positive solutions of elliptic problems. I. Rev. Integr. Temas Mat. 37(1), 77–111 (2019)
Pardo, R.: On the existence of a-priori bounds for positive solutions of elliptic problems. II. Rev. Integr. Temas Mat. 37(1), 113–148 (2019)
Pardo, R., Sanjuán, A.: Asymptotic behavior of positive radial solutions to elliptic equations approaching critical growth. Electron. J. Differ. Equ. Paper No. 114, 17 (2020)
Struwe, M.: Variational Methods, volume 34 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer, Berlin, 4th edn, (2008). Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems
Acknowledgements
The author was partially supported by Grant MTM2019-75465, MICINN, Spain and Grupo de Investigación CADEDIF 920894, UCM.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
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.
The author is supported by grants PID2019-103860GB-I00, MICINN, Spain, and by UCM-BSCH, Spain, GR58/08, Grupo 920894.
Appendix A. The Caffarelli–Kohn–Nirenberg interpolation inequality
Appendix A. The Caffarelli–Kohn–Nirenberg interpolation inequality
Theorem A.1
Let \(p, q, t, \alpha , \beta , \sigma \) and \(\theta \) be fixed real numbers (parameters) satisfying
where
Then, there exists a positive constant \(C>0\) such that for all \(u \in C^\infty _c({\mathbb {R}}^N)\):
where
and
Moreover, on any compact set in parameter space in which (A.1), (A.2), (A.5) and \(0\le \alpha - \sigma \le 1\) hold, the constant C is bounded.
See [4] for a proof.
Corollary A.2
Suppose that \(\Omega \subset {\mathbb {R}}^N\) is of class \(C^1\) with \(\partial \Omega \) bounded. Let \(p, q, t, \sigma ,\theta \) be fixed real parameters satisfying (A.1)–(A.3) particularized for \(\alpha =\beta =0\). Specifically,
Then,
(i) there exists a positive constant \(C = C (\Omega , N, p, q, t, \sigma , \theta )\) such that for all \(u\in W^{1,p}(\Omega )\cap L^{q}(\Omega )\):
where
and
(ii) Moreover, if \(p=2\), \(q=2^*\), and \(\sigma <0\) (so \(\gamma >0\)), there exists a positive constant \(C = C (\Omega , N, t, \sigma ,\theta )\) such that for all \(u\in H^{1}(\Omega )\):
where
In particular, for all \(u\in H^{1}(\Omega )\)
and
(iii) Besides, for all \(u\in W^{1,p}(\Omega )\) with \(2<p<\infty \):
where
In particular, for all \(u\in W^{1,p}(\Omega )\) with \(2<p<\infty \),
and
Proof
-
(i)
The proof can be obtained using that \(C^\infty _c({\mathbb {R}}^N)\) is dense in \(L^p({\mathbb {R}}^N)\) for any \(1 \le p < \infty \), and the extension operator, \(P:W^{1,p}(\Omega )\rightarrow W^{1,p}({\mathbb {R}}^N)\), see [2, Theorem 9.7]. Moreover, (A.9)–(A.12) are a particular case of (A.4)–(A.7) for \(\alpha =\beta =0\).
-
(ii)
Assume now \(p=2\), \(q=2^*\), and \(\sigma <0\), then (A.13)–(A.14) are a particular case of (A.9)–(A.10) for \(\theta =1\). Moreover, (A.8), and (A.6)–(A.7) imply
$$\begin{aligned} 0< (-\sigma )\le 1,\qquad \text{ so }\quad 0<\gamma \le 1. \end{aligned}$$ -
(ii.a)
Indeed, choosing \(t=(2^*_\mu -1)\frac{2N}{N+2}\), \(\theta =1\), and \(\sigma =-\frac{\mu }{2^*_\mu -1}\), we deduce from (A.8) that \(\gamma =\frac{\mu }{2^*_\mu -1}\), hence
$$\begin{aligned} \frac{1}{t}- \frac{\gamma }{N}=\frac{1}{2} - \frac{1}{N}, \end{aligned}$$and
$$\begin{aligned} \gamma \le 1\iff \mu \le 1+\frac{2}{N}. \end{aligned}$$Consequently, (A.15) holds.
-
(ii.b)
Choosing now \(t=(2^*_\mu -2)\frac{N}{2}\), \(\theta =1\), and \(\sigma =-\frac{\mu }{2^*_\mu -2}\), we deduce from (A.8) that \(\gamma =\frac{\mu }{2^*_\mu -2}\), then
$$\begin{aligned} \frac{1}{t}- \frac{\gamma }{N}=\frac{1}{2} - \frac{1}{N}, \end{aligned}$$and
$$\begin{aligned} \gamma \le 1\iff \mu \le 4/N. \end{aligned}$$Hence, (A.16) holds.
-
(iii)
Assume finally \(2<p<\infty \), then (A.17)–(A.18) are a particular case of (A.9)–(A.10).
-
(iii.a)
Indeed, choosing \(t=(2^*_\mu -1)\frac{2N}{N+2}\), \(\theta =1\), and \(\sigma =-\frac{\mu }{2^*_\mu -1}\), we deduce from (A.8) that \(\gamma =\frac{\mu }{2^*_\mu -1}\), hence
$$\begin{aligned} \frac{1}{t}- \frac{\gamma }{N}=\frac{1}{2} - \frac{1}{N}<\frac{1}{p} -\frac{1}{N}, \end{aligned}$$so (A.12) do not apply.
-
(iii.b)
Choosing now \(t=(2^*_\mu -2)\frac{N}{2}\), \(\theta =1\), and \(\sigma =-\frac{\mu }{2^*_\mu -2}\), we deduce from (A.8) that \(\gamma =\frac{\mu }{2^*_\mu -2}\), so \(\frac{1}{t}- \frac{\gamma }{N}=\frac{1}{2} - \frac{1}{N}<\frac{1}{p} - \frac{1}{N},\) and (A.12) do not apply.
\(\square \)
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
Pardo, R. \(L^\infty (\Omega )\) a priori estimates for subcritical semilinear elliptic equations with a Carathéodory non-linearity. J. Fixed Point Theory Appl. 25, 44 (2023). https://doi.org/10.1007/s11784-023-01048-w
Accepted:
Published:
DOI: https://doi.org/10.1007/s11784-023-01048-w