Abstract
In this paper, we consider the mixed local-nonlocal quasilinear elliptic problem, with singular nonlinearity having a variable exponent,
where \(\Omega \subset {\mathbb {R}}^N\) is a bounded regular domain in \({\mathbb {R}}^N\) with \(0<s<1<p<N\), \(\gamma \) is positive continuous function, having a convenient behavior near \(\partial \Omega \) and f be a nonnegative function belonging to a suitable Lebesgue space. By using approximation methods, we get the existence and regularity of positive solutions for such problems. The summability of the finite energy solutions to Problem (P) in the case \(\gamma (x)\equiv 0\) in \(\Omega \) is also studied.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this work, we study the following mixed local-nonlocal quasilinear elliptic problem, with singular nonlinearity having a variable exponent,
where \(\Omega \subset {\mathbb {R}}^N\) be a bounded regular domain with \(0<s<1<p<N\), \(\gamma \in C^1({\overline{\Omega }})\) is positive function, having a convenient behavior near \(\partial \Omega \) and f be a nonnegative function belonging to a suitable Lebesgue space.
Here \(\Delta _p=\text {div}(|\nabla u|^{p-2}\nabla u)\) is standard p-Laplace operator and \((-\Delta )_p^{s}\) denotes the so-called fractional \(p-\) Laplacian operator, is defined as,
where P.V denotes the Cauchy principal value P.V, as usual denoted the principal-value of the integral.
Recently, several studies and great attention have concentrated to the mixed local and non-local operator from different points of view, including the regularity theory, existence and non-existence results and eigenvalue problems, we refer readers to [1, 18,19,20,21,22, 24, 25, 29, 49, 52] and the references therein.
Before stating our main results, we begin by recalling some well known results related to the singular term.
\(\bullet \) Local case (\(s=1\)). In this case, we consider the following problem,
In the case of semilinear problem corresponding to \(p=2\) and \(\gamma (x)=\gamma \in {\mathbb {R}}^+_*\), the study of singular elliptic equations was initiated in pioneering work [16] which constitutes the starting point of a large literature, see for instance [4, 9,10,11,12] and the references therein. The quasilinear case that is for \(p\in (1,\infty )\) with \(\gamma (x)=\gamma \in {\mathbb {R}}^+\), authors in [39] answered the question of existence, multiplicity and regularity of weak solutions in the case \(\gamma ^+\in (0,1) \), which was further extended to the case of \(\gamma ^+\ge 1\) in [7] where the authors have showed the multiplicity of weak solutions (see also [13, 26]). Recently for the weighted p-Laplace operator with Muckenhoupt class of weights with \(\gamma (x)=\gamma \in {\mathbb {R}}^+\) the existence and multiplicity is proved in [32, 43]. In [14], the authors consider a singular semilinear elliptic problem with variable exponent \(\gamma (x)\), they obtained existence and regularity of the solution, under some conditions on the behavior of the function \(\gamma (x)\) near the boundary of \(\Omega \). Other related works can be found [28, 37, 38, 46, 47] and the references therein.
Notice that Problem (1.2) has been treated by another type of operator, notably an anisotropic operator see [30], (see also [31, 44]).
\(\bullet \) Non-local case \((0<s<1)\). In this case, Problem (1.1) reduces to,
This kind of nonlocal problems with nonlinear singular term has been widely studied in recent years.
Problem (1.3) has been studied in [8] when \(p=2\) and \(\gamma (x)=\gamma ^+\in {\mathbb {R}}^+_*\), the authors proved the existence and uniqueness of positive solutions, according to the range of \(\gamma ^+\) and to the summability of f, (see also [54]). In [15], the authors generalize the results of [8] to delicate case of the \(p-\text {fractional Laplace operator}\). Notice that, the quasilinear nonlocal elliptic problem (1.3) with variable singular exponent have been considered in [35], where the authors established the existence results by using the approximations arguments. Readers may refer to the related work in [2, 34, 36, 40, 46] and the references therein.
Needless to say, the references mentioned above do not exhaust the rich literature on the subject.
\(\bullet \) Mixed local and non-local case Problem (1.1) with \(p=2\) and \(\gamma (x)=\gamma ^+\in {\mathbb {R}}^+_*\), it was considered recently in [6]. The authors have showed the existence, uniqueness and regularities properties of the weak solution by deriving uniform a priori estimates and using the method of approximation. In the very recent work [33], the authors have obtained the existence and regularity of solution to problem (1.1) for \(p>1\), \(\gamma (x)=\gamma ^+\in {\mathbb {R}}^+_*\) and under some conditions of f.
The main goal of this paper is to look the natural conditions on f and \(\gamma (x)\) which allow us to establish the existence and uniqueness of solution to problem (1.1). As far as we aware, our main results are new even in the semilinear case \(p=2\).
Notice that, the summability of solutions of the following problem,
is also studied according to the summability of f.
The paper is organized as follows. In the next section we recall some preliminaries dealing with the functional setting associated to our problem, like the concepts of solutions, some functional inequalities and useful lemmas are included that will be needed along of the paper. Section 3 is devoted to proving the summability of the solution of (1.4) in terms of the summability of the right-hand side of this problem. In Sect. 4, we study approximating regular problems, where the singular nonlinearity is replaced by a regular one and we prove that the sequence of solutions to such approximating problems converges to the solution of problem (1.1). Finnaly, in last section, we establish some useful results that will be used in this paper.
2 The functional setting and tools
In this section we present some basic results for fractional Sobolev spaces that will be used in the proofs of our theorems. We refer to Section 2.2 in [51] for the proofs and for other useful estimates and properties of the fractional Sobolev spaces.
Let \(\Omega \subset {\mathbb {R}}^N\) with \(N\ge 2\) and \(0<s<1<p<\infty \) be the real numbers. The fractional Sobolev space is defined by,
\(W^{s,p}(\Omega )\) is Banach space endowed with the norm,
The space \(W^{s,p}({\mathbb {R}}^N)\) is defined analogously. The space \(W_0^{s,p}(\Omega )\) is the set of functions defined as,
Both \(W^{s,p}(\Omega )\) and \(W^{s,p}_0(\Omega )\) are reflexive Banach spaces, see [5, 27] for more details.
The need the next Sobolev inequality, a simple proof can be seen in [48].
Theorem 2.1
(fractional Sobolev inequality): Assume that \(0<s<1\) and \(p>1\) are such that \(ps<N\), then there exists a positive constant S(N, s) such that for all \(v\in C_{0}^{\infty }({\mathbb {R}}^N)\), we have that
where \(p^*_s=\frac{PN}{N-ps}\) is Sobolev critical exponent.
Now we define, for \(1< p<\infty \), the Sobolev space
endowed with classical norm,
Notice that \((W^{1,p}(\Omega ), ||.||_{W^{1,p}(\Omega )})\) is Banach reflexive space.
The space \(W^{1,p}_0(\Omega )\) is defined as the closure of the space \(C_0^{\infty }(\Omega )\) of smooth functions with compact support in the norm of the Sobolev space \(W^{1,p}(\Omega )\).
The next result asserts that Sobolev space \(W^{1,p}(\Omega )\) is continuously embedded in the fractional Sobolev space, see [27] for more details.
Lemma 2.2
Let \(\Omega \subset {\mathbb {R}}^N\) be bounded Lipschitz domain and \(0<s<1<p<\infty \), then, there exists a constant \(C=C(N,p,s)\) such that,
We need also the following result, where the proof can be found in [21],
Lemma 2.3
Under the same hypothesis of the previous lemma, then, there exists a constant \(C=C(N,p,s,\Omega )\) such that,
Remark 2.4
It clear that from previous inequality, the following norm on the space \(W^{1,p}_0(\Omega )\) defined by
is equivalent to
We define the notion of zero of Dirichlet boundary condition as follows,
Definition 2.5
We say that \(u\le 0\) on \(\partial \Omega \), if \(u=0\) in \({\mathbb {R}}^N{\setminus }\Omega \) and for every \(\varepsilon >0\), we have
We say that \(u=0\) on \(\partial \Omega \), if u in nonnegative and \(u\le 0\) on \(\partial \Omega \).
Now, we need to precise the sense of the weak solution for the problem (1.1).
Definition 2.6
Assume that \(u\in W^{1,p}_{loc}(\Omega )\cap L^{p-1}(\Omega )\). We say that u is a weak solution to problem (1.1), if \( u>0 \text { in } \Omega ,\quad u=0 \text { on } \partial \Omega \) in the sense of Definition 2.5 with \(\frac{f}{u^{\gamma (.)}}\in L^{1}_{loc}(\Omega )\) and for every \(\phi \in C^{1}_c(\Omega )\), we have
Remark 2.7
Let \(u\in W^{1,p}_{loc}(\Omega )\) be a nonnegative function in \(\Omega \), satisfy \(u^{\alpha }\in W^{1,p}_0(\Omega )\), for some \(\alpha \ge 1\), then, we have \(u=0\) on \(\partial \Omega \) according to Definition 2.5, (see [33] for more details.)
In order to give the summability of solutions to problem (1.3), we need to clarify the sense of the energy solution to (1.3),
Definition 2.8
Let \(f \in W^{-1,p'}(\Omega )\) be nonnegative function where \(W^{-1,p'}(\Omega )\) is dual space of \(W^{1,p}_{0}(\Omega )\). We say that \(u\in W^{1,p}_{0}(\Omega )\) is a energy solution to (1.3), if
where \(D_\Omega ={\mathbb {R}}^{2N}\backslash (\Omega ^c \times \Omega ^c)\).
We need also the following result, the proof of which can be found in [17].
Theorem 2.9
Suppose that \(s\in (0,1)\), \(f\in L^{m}(\Omega )\) for some \(m\ge 1\) and define \(w \in W^{s,p}_0(\Omega )\) to be the unique solution to
then, we have that
-
(i)
If \(m>\frac{N}{ps}\), then, there exists a constant \(C>0\) depending on \(N,s,p,\Omega ,\Vert f\Vert _{L^m(\Omega )}\) such that,
$$\begin{aligned} \Vert w\Vert _{L^{\infty }(\Omega )}\le C. \end{aligned}$$(2.9) -
(ii)
If \(f\in L^{\frac{N}{ps}}(\Omega )\), then, there exists, \(\alpha >0\) such that,
$$\begin{aligned} \int \limits _\Omega e^{\alpha |u|}<+\infty . \end{aligned}$$(2.10) -
(iii)
If \(\frac{pN}{(p-1)N+ps}=(p^{*}_s)'\le m<\frac{N}{ps}\), then, there exists a constant, \(C=C(N,m,s)>0\) such that,
$$\begin{aligned} \Vert w\Vert _{L^{m^{**}_s(\Omega )}}\le C \Vert f\Vert _{L^m(\Omega )} \end{aligned}$$(2.11)where \(m^{**}_s=\frac{(p-1)mN}{N-pms}\).
Definition 2.10
We define for every \(k\ge 0\) and \(\sigma \in {\mathbb {R}}\) the functions,
For the following result, see [17].
Proposition 2.11
Assume that \(v\in W^{s,p}_0(\Omega )\). Then, we have that
-
(i)
If \(\psi \in \text {Lip}({\mathbb {R}}) \) is such that \(\psi (0)=0\), then \(\psi (v) \in W^{s,p}_0 (\Omega )\). In particular, for any \(k\ge 0\), \(T_k (v)\), \( G_k (v)\) \(\in W^{s,p}_0 (\Omega )\);
-
(ii)
For any \(k \ge 0 \),
$$\begin{aligned} \,\Vert G_k (v) \Vert ^2_{ W^{s,p}_0 (\Omega )} \le \int _\Omega G_k (v)\ (-\Delta )_p^s v\,dx;\ \end{aligned}$$(2.13) -
(iii)
For any \(k \ge 0 \),
$$\begin{aligned} \, \Vert T_k (v) \Vert ^2_{ W^{s,p}_0 (\Omega )} \le \int _\Omega T_k (v) \ (-\Delta )_p^s v\,dx. \end{aligned}$$(2.14)
The next elementary algebraic inequality from [3] will be used in some arguments.
Lemma 2.12
Let \(a,b\ge 0\), \(p\ge 1\) and \(\alpha >0\). Then, there exists a positive constant \(C>0\) such that
Next, we state also the following algebraic inequality, the proof of which can be found in [23].
Lemma 2.13
Let \(1<p<\infty \). Then for any \(\xi _1, \xi _2 \in {\mathbb {R}}^N\), there exists a constant positive \(C:=C(p)\) such that
Finally we state the following classical numerical iteration result proved in [53] and that we will use later for some boundedness results.
Lemma 2.14
Let \(\psi : {\mathbb {R}}^{+} \rightarrow {\mathbb {R}}^{+}\) be a nonincreasing function such that
where \(M > 0\), \(\delta > 1\) and \(\gamma > 0\). Then \(\psi (d) = 0\), where \( d^{\gamma } = M\,\psi (0)^{\delta - 1}\,2^{\frac{\delta \gamma }{\delta -1}}. \)
3 Summability of solution when \(f\in L^m(\Omega )\), \(m\ge (p^*_s)':=\frac{pN}{(p-1)N+ps}\)
In this section we study the summability of solutions to problem (1.4) when we vary the regularity of source term \(f\in L^{m}(\Omega )\) with \(m\ge (p^*_s)':=\frac{pN}{(p-1)N+ps}\). As we commented in the introduction of this work, we will adapt the technique used in [42] for the case \(p=2\) to the general case \(1<p<\infty \).
3.1 Boundedness of solution when \(m>\frac{N}{p-1+s}\)
In this subsection, we will show the boundedness of any solutions to problem (1.4) if \(f\in L^{m}(\Omega )\) with
\(m>\frac{N}{p-1+s}\). Notice that the following result can be seen as a generalization of proposition 9 of [51] to the case of mixed operators.
Theorem 3.1
Let \(0 \lneq f\in L^{m}(\Omega )\) with \(m>\frac{N}{p-1+s}\). Let \(u\in W^{1,p}_0(\Omega )\) be the unique energy solution to problem (1.4). Then, there exists a positive constant C depending on \( N, \Omega , ||f||_{L^m(\Omega )},s, ||u||_{W^{1,p}_0(\Omega )}\) such that
Proof
Notice that the existence and uniqueness of solution \(u\in W^{1,p}_0(\Omega )\) follows by arguing exactly as in the proof of Lemma 3.1 in [33]. Let be \(k>0\) and consider the function \(G_k(u)\) defined in (2.12) as test function in(1.4), we get,
On the other hand, we know that, \(u(x)=T_k(u(x))+G_k(u(x))\), then, by applying Proposition 2.11, it holds that,
where \(A_k=\{x\in \Omega : u(x)\ge k\}\).
Hence, by using Sobolev inequality (2.1) and Hölder inequality, we get,
Thus, we conclude that,
Since \(\nabla u(x)=\nabla G_k(u(x))\) for every \(x\in A_k\), it follows that,
So, combining with (3.1), (3.3), Proposition 2.11 and Sobolev embedding, we derive that,
Thus, combining with (3.2) and (3.4), it holds that,
Since for every \(h>k\), we know that \(A_h\subset A_k\) and \(|G_k(u(x)|\chi _{A_h}(x)\ge (h-k)\) in \(\Omega \), we have that
So,
Now we observe that,
if \(m>\frac{N}{p-1+s}\). Hence, we can apply Lemma 2.14, with
to derive that, there exists, \(k_0>0\) such that \(|A_k|=0\) for every \(k>k_0\) and thus,
\(\square \)
3.2 Summability of solution when \(\frac{pN}{(p-1)N+ps}\le m<\frac{N}{p-1+s}\)
The main result of this section is the following result,
Theorem 3.2
Assume that \(f\in L^m (\Omega )\) with
and let \(u \in W^{1,p}_0(\Omega )\) be the unique energy solution to problem (1.4). Then, there exists a positive constant \(C=C(N,m,s)\) such that,
where
Proof
For \(T>0\) big to be precise later, we define the following function,
where \(\beta =\frac{m^{**}_s}{m'}\) and \(m^{**}_s=\frac{(p-1)mN}{N-pms}\).
Since \(\frac{pN}{(p-1)N+ps}\le m<\frac{N}{p-1+s}\), so, we deduce that, \(\beta \ge 1\).
Using \(\psi (u)\) as test function in problem (1.4), we get,
Observe that,
Combing with (3.9) and (3.10), we get,
The same reasoning of the proof of Theorem 2.9, we get that,
where \(m^{**}_s=\frac{(p-1)mN}{N-pms}\) and C is positive constant depends on s, N, m.
Now, we claim that,
Indeed, in first we decompose \({\mathbb {R}}^N\) as follows,
Now, we define the following sets,
Hence,
Let us start by \(I_1\), where
Therefore, by using the definition of \(\psi \) and for \((x,y)\in \Omega _1\), it follows that,
which implies,
Now, we treat \(I_2\). Let \((x,y)\in \Omega _2\), then, we have that
Since \(u(x)\ge u(y)\) for all \((x,y)\in \Omega _2\), therefore,
Respect \(I_3\). Let \((x,y)\in \Omega _3\), then, by using the definition of \(\psi \), we get,
Obviously \(u(x)\le u(y)\) for every \((x,y)\in \Omega _3\), which leads to,
Finally, we consider \(I_4\). It clear that, for \((x,y)\in \Omega _4\), we have that
Hence, by using Lemma 2.12, we get the existence a positive constant C, such that
Combining with (3.14), (3.15), (3.16), (3.17) and (3.18) and claim follows.
Going back to (3.9) and using (3.13), it follows that,
On the other hand, by taking T large enough in the definition of \(\psi \), it holds that, \(\psi (u)=u^{\beta }\) if \(0\le u\le T\).
Now, by using Hölder inequality in (3.19), we get,
here, we have used the facts,
Since \(\dfrac{p^*}{p}(p+\beta -1)>1\), then, by using (2.9), we obtain that,
which implies that,
with
Hence the result follows. \(\square \)
Remark 3.3
Observe that, \(m^{**}\) is increasing in s and
Thus, we have that
which shows that the exponent defined in (3.7) is better than the one coming from the \(p-\text {Laplacian}\) fractional only, but it less than the one coming from the \(p-\text {Laplacian}\) only.
Hence, the previous result clarify that the mixed local and nonlocal p-Laplace operators has it own features and we can not consider the fractional \(p-\text {Laplacian}\) as a lower order perturbation only of the classical elliptic problem.
4 Existence results
In this section we study the existence and uniqueness of positive solution to problem (1.1) under some extra hypothesis on f and \(\gamma \).
4.1 Approximation problems
In order to deal with Problem (1.1), we follow closely the approximate scheme of [33] (see also [6] in case \(p=2\)).
For \(n\in {I\!\!N}\), let us consider the following approximating problems,
where \(f_n=T_n(f)\).
Let us start by proving that problem (4.1) has a positive solution \(u_n\in W^{1,p}_0(\Omega )\cap L^{\infty }(\Omega )\), more precisely we have the following result,
Lemma 4.1
Problem (4.1) has a nonnegative positive solution \(u_n\in W^{1,p}_0(\Omega )\cap L^{\infty }(\Omega )\).
Proof
Let \(n\in {I\!\!N}\) be fixed and \(v \in L^{p}(\Omega )\), then, by using Lemma 3.1 in [33], there exists a unique positive solution \(w\in W^{1,p}_0(\Omega ) \) to the following problem,
where \(v^+=\max \{v,0\}\).
So, we can define the operator \(v\in L^p(\Omega )\mapsto w:=S(v)\in W^{1,p}_0(\Omega )\subset L^p(\Omega ) \), where w is the unique solution to problem (4.2).
Since \(\gamma \in C^1({\overline{\Omega }})\), we can define \(\gamma ^*=||\gamma ||_{L^{\infty }(\Omega )}\). Choosing w as test function in (4.2) and using Poincaréand Hölder’s inequalities, we obtain
where C is positive constant.
So,
which means that the ball of the radius R in \(L^p(\Omega )\) is invariant by S. Now, by using the same arguments as in the proof of Proposition 2.3 in [15], (see also Lemma 3.2 in [33]), it follows that the mapping S is continuous and compact. Therefore, by applying Schauder’s fixed point Theorem, the operator T admits at least one fixed point \(u_n\in W^{1,p}_0(\Omega )\) such that \(S(u_n)=u_n\). Hence, we get the existence \(u_n\) which is the solution to Problem (4.1).
Since the r.h.s of (4.1) belongs to \(L^{\infty }(\Omega )\), then, by applying Theorem 3.1, we get \(u_n\in L^{\infty }(\Omega )\).
Now, keeping in mind that, \(\frac{f_n}{(u_n^++\frac{1}{n})^{\gamma (x)}}\ge 0\), thus, using \(u_n^-\) as test function in problem (4.1), we get
Hence \(u_n\ge 0\), and result follows. \(\square \)
Lemma 4.2
The sequence \(\{u_n\}_n\) obtained in the previous lemma is increasing with respect to n and
Proof
Let \(u_n\) and \(u_{n+1}\) are two positive solutions to (4.1), then, by taking \(\varphi ^+=(u_n-u_{n+1})^+\) as test function in (4.1), we get
and
where \(\varphi ^+=\left( u_n-u_{n+1}\right) ^+\).
Since, \(\{f_n\}_n\) is increasing with respect to n, it follows that,
Now, subtracting (4.3) with (4.4) and by taking into consideration (4.5), we obtain,
Hence, arguing exactly as in the proof of Lemma 9 in [41], it holds that,
Therefore, combining (4.6) and (4.7), we get
Thus, by applying Lemma 2.13, we derive that, \(u_{n+1}\ge u_n\). This concludes the proof of the first assertion.
Now, we will show the second assertion. Observe that \(u_1 \in L^{\infty }(\Omega )\) solves,
Thus, by using Theorem 8.3 in [45], we have for every \(\omega \subset \subset \Omega \), there exists a constant \(c(\omega )>0\) such that \(u_1\ge c(\omega )>0\) in \(\Omega \).
Hence by using monotonicity of \(\{u_n\}_n\), the second assertion follows. \(\square \)
4.2 Passing to the limit
For fixed \(\delta >0\), we define the following set,
Theorem 4.3
Let \(f\in L^{\sigma _1}(\Omega )^+\) with \(\sigma _1=\dfrac{pN}{(p-1)N+p}\). Suppose that, there exists a \(\delta >0\) such that \(\gamma (x)\le 1\) in \(\Omega _\delta \). Then, there exists a solution \(u\in W_0^{1,p}(\Omega )\) to problem (1.1).
Proof
Let us denote \(\omega _{\delta }=\Omega {\setminus } \Omega _\delta \), by previous Lemma, we know that, \(u_n(x)\ge C_{\omega _\delta }>0\). Now taking \(u_n\) as test function in (4.1), we obtain
Therefore, by using Hölder’s and Sobolev’s inequalities, it holds that,
hence, we conclude
where C is positive constant independent of n.
Since \(\{u_n\}\) is bounded in \(W_0^{1,p}(\Omega )\), then (up to a subsequence) \(\{u_n\}\) such that, \(u_n\rightharpoonup u\) weakly in \(W_0^{1,p}(\Omega )\), \(u_n\rightarrow u\) strongly in \(L^{r}(\Omega )\) for every \(r<p^*\) and \(u_n(x)\rightarrow u(x)\) a.e in \(\Omega \). Hence, the pointwise limit u belong also to \(L^{p-1}(\Omega )\).
So, by applying Theorem 5.2, we get
Hence, we conclude that
for every \(\varphi \in C^1_0(\Omega )\).
On the other hand, \(\{u_n\}\) is bounded in \(W_0^{1,p}(\Omega )\) and \(\varphi \in C^1_0(\Omega )\), then by using Lemma 2.3, it follows that
is uniformly bounded and
Whence, by using the weak convergence, we get
Using now Lemma 4.2, we obtain
for every \(\varphi \in C^1_0(\Omega )\) whenever \(\varphi \ne 0\) and on the set \(\{u_n\ge C_\omega \}\), \(\omega \) being the support of \(\varphi \).
So, by applying Lebesgue dominated convergence theorem, we derive that
Using (4.10), (4.11), (4.12) and by taking into consideration remark 2.7, we get the desired result. \(\square \)
Theorem 4.4
Assume that for some \(\gamma ^*>1\) and \(\delta >0\) we have that,
\(||\gamma ||_{L^{\infty }(\Omega )}\le \gamma ^*\). Suppose that, \(f\in L^{\sigma _2}(\Omega )^+\) with \(\sigma _2=\dfrac{N\left( p-1+\gamma ^*\right) }{N(p-1)+p\gamma ^*} \), then, there exists a unique weak positive \(u\in W^{1,p}_{loc}(\Omega )\cap L^{p-1}(\Omega )\) to problem (1.1) such that \(u^{\frac{p-1+\gamma ^*}{p}}\in W^{1,p}_{0}(\Omega )\).
Proof
We proceed as in the proof of the previous result. Let \(u_n\) be the unique positive solution to (4.2).
Since \(\gamma ^*>1\), then, by using Lemma 5.1, we can chose \(u_n^{\gamma ^*}\in W_0^{1,p}(\Omega )\) as test function in (4.1), we get
Therefore, by applying Lemma 2.12, for all most \((x,y)\in {\mathbb {R}}^N\times {\mathbb {R}}^N\), we obtain that
Hence, from (4.13) and (4.14), it follows that
Since \(\sigma _2=\dfrac{N(p-1+\gamma ^*)}{N(p-1)+p\gamma ^*} \), so, \(\gamma ^*\sigma _2'=\dfrac{N(p-1+\gamma ^*)}{N-p}\) and therefore,
where in the rhs of (4.16) we have used the Sobolev’s inequality.
By using the fact, \(\frac{p^*}{p\sigma '_2}<1\) in the last inequality, we get that \(\big \{u_n ^{\frac{p-1+\gamma ^*}{p}}\big \}\) in bounded in \(W_0^{1,p}(\Omega )\).
Since \(\gamma ^*>1\), then, by applying Lemma 4.2, we have that
which implies that, \(\{u_n \}\) in bounded in \(W^{1,p}_{loc}(\Omega )\).
Hence \(u^{\frac{p-1+\gamma ^*}{p}}\in W^{1,p}_{0}(\Omega )\), and therefore \(u\in L^{p-1}(\Omega )\).
To complete the proof, we follow the same steps as in previous result. \(\square \)
References
Abatangelo, N., Cozzi, M.: An elliptic boundary value problem with fractional nonlinearity. SIAM J. Math. Anal. 53(3), 3577–3601 (2021)
Abdellaoui, B., Biroud, K., Primo, A.: Nonlinear fractional elliptic problem with singular term at the boundary. Complex Var. Elliptic Equ. 64, 909–932 (2019)
Abdellaoui, B., Attar, A., Bentifour, R.: On the fractional p-Laplacian equations with weight and general datum. Adv. Nonlinear Anal. 8(1), 144–174 (2019)
Alves, C.O., Goncalves, J.V., Maia, L.A.: Singular nonlinear elliptic equations in \({\mathbb{R} ^{N}}\) Abstr. Appl. Anal. 3(3–4), 411–423 (1998)
Adams, R.A.: Sobolev Spaces. Academic Press, New York (1975)
Arora, R., Rădulescu, V.D.: Combined effects in mixed local-nonlocal stationary problems (2021) arXiv: 2111.06701
Bal, K., Garain, P.: Multiplicity of solution for a quasilinear equation with singular nonlinearity. Mediterr. J. Math. 17, 1–20 (2020)
Barrios, B., De Bonis, I., Medina, M., Peral, I.: Semilinear problems for the fractional Laplacian with a singular nonlinearity. J. Open Math. 13, 91–107 (2015)
Boccardo, L., Orsina, L.: Semilinear elliptic equations with singular nonlinearities. Calc. Var. 37, 390–407 (2010)
Canino, A., Degiovanni, M.: A variational approach to a class of singular semilinear elliptic equations. J. Convex Anal. 11(1), 147–162 (2004)
Canino, A., Grandinetti, M., Sciunzi, B.: Symmetry of solutions of some semilinear elliptic equations with singular nonlinearities. J. Differ. Eq. 255(12), 4437–4447 (2013)
Canino, A., Sciunzi, B.: A uniqueness result for some singular semilinear elliptic equations. Commun. Contemp. Math. 18(6), 1550084 (2016)
Canino, A., Sciunzi, B., Trombetta, A.: Existence and uniqueness for p-Laplace equations involving singular nonlinearities. NoDEA Nonlinear Differ. Eq. Appl. 23(2), 8–18 (2016)
Carmona, J., Martínez-Aparicio, P.J.: A singular semilinear elliptic equation with a variable exponent. Adv. Nonlinear Stud. (2016). https://doi.org/10.1515/ans-2015-5039
Canino, A., Montoro, L., Sciunzi, B., Squassina, M.: Nonlocal problems with singular nonlinearity. Bull. Sci. Math. 141(3), 223–250 (2017)
Crandall, M.G., Rabinowitz, P.H., Tartar, L.: On a Dirichlet problem with a singular nonlinearity. Commun. Part. Differ. Equ. 2, 193–222 (1977)
Barrios, B., Peral, I., Vita, S.: Some remarks about the summability of nonlocal nonlinear problems. Adv. Nonlinear Anal. 4(2), 91–107 (2015)
Biagi, S., Dipierro, S., Valdinoci, E., Vecchi, E.: A Brezis-Nirenberg type result for mixed local and nonlocal operators. preprint (2022)
Biagi, S., Dipierro, S., Valdinoci, E., Vecchi, E.: Mixed local and nonlocal elliptic operators: regularity and maximum principles. Comm. Partial Differ. Equ. 47(3), 585–629 (2022)
Biswas, I.H., Jakobsen, E.R., Karlsen, K.H.: Viscosity solutions for a system of integro-PDEs and connections to optimal switching and control of jump-diffusion processes. Appl. Math. Optim. 62(1), 47–80 (2010)
Buccheri, S., da Silva, J.V., de Miranda, L.H.: A system of local/nonlocal \(p-\text{ Laplacians }\): the eigenvalue problem and its asymptotic limit as \(p\rightarrow \infty \). Asymptot. Anal. 128(2), 149–181 (2022)
Chen, Z.-Q., Kim, P., Song, R., Vondracek, Z.: Boundary Harnack principle for \(\Delta +\Delta ^{\frac{\alpha }{ 2}}\). Trans. Am. Math. Soc. 364(8), 4169–4205 (2012)
Damascelli, L.: Comparison theorems for some quasilinear degenerate elliptic operators and applications to symmetry and monotonicity results. Ann. Inst. H. Poincaré. Anal. Nonlinéaire 15(4), 493–516 (1998)
del Teso, F., Endal, J., Jakobsen, E.R.: On distributional solutions of local and nonlocal problems of porous medium type. C R Math. Acad. Sci. Paris 355(11), 1154–1160 (2017)
Del Pezzo, L.M., Ferreira, R., Rossi, J.D.: Eigenvalues for a combination between local and nonlocal \(p-\text{ Laplacians }\). Fract. Calc. Appl. Anal. 22(5), 1414–1436 (2019)
Cave, L.M.D.: Nonlinear elliptic equations with singular nonlinearities. Asymptot. Anal. 84(3–4), 181–195 (2013)
Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136(5), 521–573 (2012)
Díaz, J.I., Hernández, J., Rakotoson, J.M.: On very weak positive solutions to some semilinear elliptic problems with simultaneous singular nonlinear and spatial dependence terms milan. J. Math. 79, 233–245 (2011)
Dipierro, S., Lippi, E.P., Valdinoci, E.: Linear theory for a mixed operator with Neumann conditions. Asymptot. Anal. 128(4), 571–594 (2022)
El-Hadi Miri, S.: On an anisotropic problem with singular nonlinearity having variable exponent. Ric. Mat. 66(2), 415–424 (2017)
Bal, K., Garain, P., Mukherjee, T.: On an anisotropic \(p-\text{ Laplace }\) equation with variable singular exponent. Adv. Differ. Eq. 26(11–12), 535–562 (2021)
Garain, P., Mukherjee, T.: On a class of weighted p-Laplace equation with singular nonlinearity. Mediterr. J. Math. 17, 110 (2020)
Garain, P., Ukhlov, A.: Mixed local and nonlocal Sobolev inequalities with extremal and associated quasilinear singular elliptic problems. Nonlinear Anal. 223, 113022 (2022)
Giacomoni, J., Mukherjee, T., Sreenadh, K.: Positive solutions of fractional elliptic equation with critical and singular nonlinearity Adv. Nonlinear Anal. 6(3), 327–354 (2017)
Garain, P., Mukherjee, T.: Quasilinear nonlocal elliptic problems with variable singular exponent. Commun. Pure Appl. Anal. 19(11), 5059–5075 (2020)
Ghanmi, A., Saoudi, K.: A multiplicity results for a singular problem involving the fractional p-Laplacian operator. J. Complex Var. Elliptic Equ. 61(9), 1199–1216 (2016)
Giacomoni, J., Saoudi, K.: Multiplicity of positive solutions for a singular and critical problem. Nonlinear Anal. 71(9), 4060–4077 (2009)
Giacomoni, J., Sreenadh, K.: Multiplicity results for a singular and quasilinear equation. Dis. Continu. Dyn. Syst. 2007, 429–435 (2007)
Giacomoni, J., Schindler, I., Takác, P.: Sobolev versus Hölder local minimizers and existence of multiple solutions for a singular quasilinear equation. Ann. Sc. Norm. Super. Pisa Cl. Sci. 6, 117–158 (2007)
Giacomoni, J., Mukherjee, T., Sreenadh, K.: Positive solutions of fractional elliptic equation with critical and singular nonlinearity. Adv. Nonlinear Anal. 6, 327–354 (2017)
Lindgren, E., Lindqvist, P.: Fractional eigenvalues. Calc. Var. 49, 795–826 (2014)
Lamao, C., Huang, S., Tian, Q., Huang, C.: Regularity results of solutions to elliptic equations involving mixed local and nonlocal operators. AIMS Math. 7, 4199–4210 (2021)
Garain, P.: On a degenerate singular elliptic problem, arxiv https://doi.org/10.1002/mana.201900431, ((in press) in Mathematische Nachrichten)
Garain, P., Mukherjee, T.: On an anisotropic double phase problem with singular and sign changing nonlinearity. Nonlinear Anal. Real World Appl. 70, 103790 (2023)
Garain, P., Kinnunen, J.: On the regularity theory for mixed local and nonlocal quasilinear elliptic equations. Trans. Am. Math. Soc. (2022). https://doi.org/10.1090/tran/8621
Perera, K., Zhang, Z.: Multiple positive solutions of singular p-Laplacian problems by variational methods. Bound. Value Probl. 3, 377–382 (2005)
Perera, K., Silva, E.A.B.: Existence and multiplicity of positive solutions for singular quasilinear problems. J. Math. Anal. Appl. 323, 1238–1252 (2006)
Ponce, A.C.: Elliptic PDEs, Measures and Capacities, Tracts in Mathematics 23. European Mathematical Society (EMS), Zurich (2016)
Salort, A., Vecchi, E.: On the mixed local-nonlocal Hénon equation. Differ. Integr. Eq. 35, 11–12 (2022)
Servadei, R., Valdinoci, E.: Variational methods for non-local operators of elliptic type. Discrete Contin. Dynam. Syst. 33, 2105–2137 (2013)
Servadei, R., Valdinoci, E.: Weak and viscosity solutions of the fractional Laplace equation. Publ. Mat. 58(1), 133–154 (2014)
Su, X., Valdinocci, E., Wei, Y., Zhang, J.: Regularity results for solutions of mixed local and nonlocal elliptic equations. Math. Z. 302, 1855–1878 (2022)
Stampacchia, G.: Le probleme de Dirichlet pour les équations elliptiques du second ordre á coefficients discontinus. Ann. Inst. Fourier (Grenoble) 15, 189–258 (1965)
Youssfi, A., Mahmoud, G.O.M.: Nonlocal semilinear elliptic problems with singular nonlinearity. Calc. Var. 60, 153 (2021)
Acknowledgements
The author would like to thank the anonymous reviewer for his/her careful reading of our manuscript and his/her many insightful comments and suggestions.
Author information
Authors and Affiliations
Contributions
The author confirms that he is solely responsible for the following: study and data collection, analysis and demonstration of results and manuscript preparation.
Corresponding author
Ethics declarations
Conflict of interest
The author declare that there is no conflict of interest regarding the publication of this paper.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
In this section we give some useful Lemmas that we have used in the proof of Theorems 4.3–4.4.
First, let us start by the following result, which allow us to use the test functions from the space \(W_0^{1,p}(\Omega )\) in the Eq. (2.6). Notice that in the case \(\gamma (x)=costant\) it was proved in [33].
Lemma 5.1
Let \(\gamma \in C^1 ({\overline{\Omega }})\) and \(f\in L^{\sigma }(\Omega )^+\) where \(\sigma =\sigma _i\) with \(i\in \{1,2\}\) (where \(\sigma _1\) and \(\sigma _2\) are defined in Theorems 4.3–4.4 respectively). Assume that u be a weak solution of the problem (1.1), then, the Eq. (2.6) holds for every \(\varphi \in W_0^{1,p}(\Omega )\).
Proof
The result follows by using the same reasoning as in the proof of Lemma 5.1 of [33]. \(\square \)
Now, by adapting the same strategy as in the proof of Theorem A.1 of the Appendix in [33], we can show also, in the case \(\gamma \in C^1({\overline{\Omega }})\), the pointwise convergence of the gradient of the approximate solutions \(\{u_n\}\) founded in Lemma 4.1, more precisely we have the following result,
Lemma 5.2
Let \(p>1\) and \(\gamma \in C^1({\overline{\Omega }})\). Assume that, \(\{u_n\}_n\) be the sequence of approximate solutions to problem (4.1) given by Lemma 4.1 and u is the pointwise limit of \(\{u_n\}_n\). For \(\gamma (x)\le 1\) in \(\Omega _\delta \), let \(f\in L^{\sigma _1}(\Omega )^+\) where \(\sigma _1\) is defined in Theorem 4.3 and for \(\gamma ^*>1\) where \(||\gamma ||_{L^{\infty }(\Omega )}\le \gamma ^*\), let \(f\in L^{\sigma _2}(\Omega )^+\) where \(\sigma _2\) is defined in Theorem 4.4. Then, up to a subsequence, \(\nabla u_n (x)\rightarrow \nabla u(x) \) a.e in \(\Omega \).
Proof
Let \(f\in L^{\sigma _1}(\Omega )^+\) and \(\gamma \in C^1({\overline{\Omega }})\) such that, \(\gamma (x)\le 1\), then, by Theorem 4.3, we have the sequence \(\{u_n\}_n\) is uniformly bounded in \(W_0^{1,p}(\Omega )\).
Now, if we take \(f\in L^{\sigma _2}(\Omega )^+\) with \(\gamma (x)>1\), therefore, by Theorem 4.4, the sequences \(\{u_n\}_n\) and \(\big \{u_n^{\frac{p-1+\gamma ^*}{p}}\big \}_n\) are bounded in \(W^{1,p}_{loc}(\Omega )\) and in \(W_0^{1,p}(\Omega )\) respectively.
Thus, we have
and
On the other hand, by Lemma 4.2, for all \(n\in {I\!\!N}\), we have
Let K be a compact set and consider a function \(\phi _K \in C^1_c(\Omega )\) such that \(\text {supp}\phi _K=\omega \), \(0\le \phi _K\le 1\) in \(\Omega \) and \(\phi _K\equiv 1\) in K. For \(\mu >0\), we chose \(v_n=\phi _K T_\mu (u_n-u)\in W_0^{1,p}(\Omega )\) as test function in (4.1) and by arguing exactly as in the step 1 and step 2 of the proof Theorem A.1 of [33], we can show that, (up to a subsequence) \(\nabla u_n (x)\rightarrow \nabla u(x) \) a.e in \(\Omega \). As desired. \(\square \)
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Biroud, K. Mixed local and nonlocal equation with singular nonlinearity having variable exponent. J. Pseudo-Differ. Oper. Appl. 14, 13 (2023). https://doi.org/10.1007/s11868-023-00509-7
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11868-023-00509-7
Keywords
- Mixed local and nonlocal p-Laplace operators
- Singular problem
- Existence
- Positive solutions
- Variable exponent
- Regularity