Abstract
This article concerns about the existence of a positive SOLA (Solutions Obtained as Limits of Approximations) for the following singular critical Choquard problem involving fractional power of Laplacian and a critical Hardy potential.
Here, \(\Omega \) is a bounded domain of \(\mathbb {R}^N\), \(s\in (0,1)\), \(\alpha ,\lambda \) and \(\beta \) are positive real parameters, \(N>2s\), \(\gamma \in (0,1)\), \(0<b<\min \{N,4s\}\), \(2_b^*=\frac{2N-b}{N-2s}\) is the critical exponent in the sense of Hardy–Littlewood–Sobolev inequality and \(\mu \) is a bounded Radon measure in \(\Omega \).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The nonlocal problem involving fractional Laplacian has a remarkable contribution in various fields of science. The fractional Laplacian arise in chemical reactions in liquids, diffusion in plasma, geophysical fluid dynamics, electromagnetism and is the infinitesimal generator of Lévy stable diffusion process, see [3] for instance. Therefore a considerable amount of research is carried out by a numerous scientists, engineers, mathematicians with equal interest. Elliptic PDEs involving singular nonlinearity have been studied by many authors, refer [6, 10, 22, 24, 35] and the references therein. In all these referred works the authors have proved the existence of solution to the singular problem with approximation arguments and the solution space depends on the power of the singular term. Recently, Sun & Zhang in [35] explained the role of power 3 for elliptic equations with negative exponents and claimed that for exponent greater than 3, the problem does not possess a solution. In [33], for the multiplicity result is proved with the help of the variational method, where the author proved the existence result by converting the nonlocal problem to a local problem. Similarly, problems involving a Radon measure as a nonhomogeneous term are also treated with approximations, since we can always approximate a Radon measure by sequence of smooth functions. Thus, in this case one can expect the solution space with lesser degree of differentiability or/and integrability. For example, Boccardo et al. ([5, 7]) proved the existence of solution in \(W^{1,m}_0(\Omega )\) for every \(m<\frac{N(p-1)}{N-1}\) for a problem involving p-Laplacian and a Radon measure. Later, Kuusi et al. [23] extended the work of Boccardo to fractional p-Laplacian set up and guarenteed a solution in \(W^{{\bar{s}},m}(\Omega )\) for every \({\bar{s}}<s<1\), \(m<\min \{\frac{N(p-1)}{N-s},p\}\). Further search of the literature led us to find similar problems but consisting of both a singularity and a Radon measure. The local case (with Laplace operator) of such problems has been dealt by Panda et al. in [28] and the corresponding problem admits a weak solution in \(W_0^{1,m}(\Omega )\) if \(\gamma \in (0,1]\) and in \(W_{loc}^{1,m}(\Omega )\) if \(\gamma >1\) for all \(m<\frac{N}{N-1}\). The nonlocal case (with fractional Laplacian) with a singularity and a Radon measure has been studied by Ghosh et al. in [18].
In this paper we will consider the following singular fractional elliptic problem with a Choquard type critical nonlinearity and a Radon measure. The motivation to condier this work has been mentioned towards the end of this section.
where \(\Omega \) be a bounded domain in \({\mathbb {R}}^N\) with \(C^2\) boundary, \(s\in (0,1)\), \(N>2s\), \(0<\gamma <1\), \(\alpha ,\beta ,\lambda >0\), \(b<\min \{N,4s\}\), \(\mu \) is a bounded Radon measure and \((-\Delta )^s\) is the fractional Laplacian defined by
Nonlinear problems involving a Choquard term draws its motivation from the Hardy–Littlewood–Sobolev inequality. Buffoni in [9], considered the following Choquard problem and shown the existence of a ground state solution.
for \(p>1\) and \(N\ge 3\). S. Pekar in [30] studied the problem (1.2) for \(p=2\) and \(b=1\) as a physical model and described the quantum theory of a polaron at rest. Later, P. Choquard [25] used the Choquard problem of type (1.2) for the modeling of one component plasma. The nonlocal Choquard problem, i.e. the Choquard problem with fractional Laplacian, is known as nonlinear fractional Schrödinger equations with Hartree-type nonlinearity. These problems have a wide application in the quantum mechanical theory, mean field limit of weakly in-teracting molecules, physics of multi particle systems, etc. One can refer [11, 26] and the references therein for further study of fractional Choquard problem.
The Brezis–Nirenberg type critical Choquard problem in a bounded domain \(\Omega \), that is
has been studied by [16, 20, 36], etc. Gao & Yang in [16] proved the existence, nonexistence and multiplicity results for a range of \(\lambda \).
Recently, Giacomoni et al. in [21] dealt with fractional critical Choquard problem with singular nonlinearity, i.e. they considered problem (\(P_\beta \)) with \(\alpha ,\lambda =0\) and without Radon measure \(\mu \). In [21], the authors have explained a very weak comparison principle, established the existence of two positive weak solution and discussed about the Sobolev regularity of the solutions.
The problem \((P_\beta )\) involves two critical terms, the Hardy potential in the left hand side and the Choquard nonliner term in the right hand side. The nonlocal problems with a Hardy critical potential has been recently treated in [4, 14, 15], etc. In 2016, Fiscella & Pucci in [15] studied the following problem with a Hardy term and proved the existence of multiple solutions with the explanation of the asymptotic behavior of solutions.
where the function f appears with a subcritical growth while g could be either a critical term or a perturbation.
Motivated by the above works, in this paper, we discuss the problem \((P_\beta )\) in a bounded domain. To the best of our knowledge, this work is novel, even for the local case (i.e. for \(s=1\)), in the sense that in the literature there is no contribution whatsoever which indicates a study on problem involving a singular nonlinearity, Hardy potential, Choquard nonlinearity and a measure data together. We find a very less number of articles dealing with singular fractional problem with critical exponent and measure data. Amongst them, Panda et al. in [29] have considered the following problem and obatained a positive SOLA via a sequence of approximating problems.
We have extended the work in [29] by considering a Hardy potential and a Choquard type critical nonlinearity in \((P_\beta )\). We show the existence of a SOLA to our problem with the method of approximations. We follow the approach closely related to approaches used in [15, 21] and [29].
Turning to the paper organization: In Sect. 2, we provide some functional settings, introduce a suitable notion of solution (SOLA) to (\(P_\beta \)) and further state some auxiliary results and main results. In Sect. 3, we show that the approximating problem to (\(P_\beta \)) admits a positive weak solution for certain range of \(\beta \). Finally, in Sect. 4, we prove our main result, i.e. Theorem 2.10, and guarantee the existence of a SOLA to \((P_\beta )\).
2 Functional settings and auxiliary results
The fractional Sobolev space \(W^{s,p}({\mathbb {R}}^N)\), for \(1\le p<\infty \) and for \(s\in (0,1)\), is defined as
and
is a reflexive subspace of \(W^{s,p}({\mathbb {R}}^N)\) endowed with the following norm
Further, for \(p=2\), we denote the space \(W^{s,p}({\mathbb {R}}^N)\) as \(H^{s}({\mathbb {R}}^N)\) and \(W_0^{s,p}(\Omega )\) as \(H_0^{s}(\Omega )\). Actually, \(H_0^{s}(\Omega )\) is the completion of \(C_0^\infty (\Omega )\) with respect to the following norm
Moreover, the space \((H_0^{s}(\Omega ),\Vert \cdot \Vert _{H_0^{s}(\Omega )})\) is a reflexive separable Hilbert space. According to Proposition 3.6 of [27], the norms \(\Vert \cdot \Vert _{H_0^{s}(\Omega )}\) and \(\Vert (-\Delta )^{s/2}\cdot \Vert _{L^2({\mathbb {R}}^N)}\) are norm equivalent.
We now state the well known fractional Sobolev embedding theorem, Theorem 6.5 of [27], which will be used frequently throughout this article.
Theorem 2.1
Let \(s\in (0,1)\) and \(1\le p<\infty \) with \(N>sp\). Then there exists \(C=C(s,N,p)>0\) such that for every \(u\in W_0^{s,p}(\Omega )\),
for all \(1\le q\le p_s^*=\frac{Np}{N-sp}\). Further, the embedding from \(W_0^{s,p}(\Omega )\) to \(L^q(\Omega )\) is compact for every \(q\in [1,p_s^*)\).
Define \({\mathbb {S}}_{s,p}\), the best Sobolev constant in the Sobolev embedding theorem, by
We now define some function spaces which will be further used in this article.
Choose \(b<\min \{N,4s\}\). Let us denote \(2^*_b=\frac{2N-b}{N-2s}\) and for any \(u\in L^{2_s^*}({\mathbb {R}}^N)\), define
According to Lemma 2.2 of [37], \(\Vert \cdot \Vert _C\) is a norm equivalent to the standard norm \(\Vert \cdot \Vert _{L^{2_s^*}({\mathbb {R}}^N)}\) on \(L^{2_s^*}({\mathbb {R}}^N)\). Thus, in this sense we can say that the problem \((P_\beta )\) is a critical Choquard type problem. To understand this sense of criticalness, we need to introduce the Hardy–Littlewood–Sobolev Inequality which is the foundation of the Choquard problem of type \((P_\beta )\).
Proposition 2.2
(Proposition 2.1 of [20]). Let \(t,r>1\) and \(0<b<N\) with \(1/t+1/r+b/N=2\). Further, assume \(f\in L^t({\mathbb {R}}^N)\) and \(g\in L^r({\mathbb {R}}^N)\). Then there exists a sharp constant \(C(t,r,b,N)>0\) such that
For the choice \(f=g=|u|^{2_b^*}\), by using the above inequality we get
Define
Lemma 2.3
(Lemma 2.5 of [20]).
The constant \({\mathbb {S}}_{C,b}\) is achieved if and only if
where \(C>0\) is a fixed constant, \(x_0\in {\mathbb {R}}^N\) and \(k\in (0,\infty )\) are parameters. Moreover,
Let us define the functional of the elliptic part of our problem \((P_\beta )\) as
Since the embedding \(H_0^s(\Omega )\hookrightarrow L^2(\Omega ,|x|^{-2s})\) is continuous but not compact, the Hardy term in the problem is also a critical part. To get rid of this critical term, we look for a range of \(\alpha \) and \(\lambda \) such that the functional \({\mathbb {H}}_{\alpha ,\lambda }\) is weakly lower semicontinuous and coercive in \(H_0^s(\Omega )\).
Let \(\lambda _1\) be the first eigenvalue of the fractional Laplacian \((-\Delta )^s\) and hence \(\lambda _1>0\). Thus, for every \(\lambda <\lambda _1\) and every \(u\in H_0^s(\Omega )\), we get the following inequalities (refer [15]).
where \(m_\lambda =1-\frac{\lambda }{\lambda _1}\) and \(M_\lambda =1+\frac{\lambda }{\lambda _1}\). The best fractional Hardy constant \(C_H=C_H(N,s)>0\), defined below, plays an important role in \(H_0^s(\Omega )\).
Corollary 2.4
(Corollary 2.3 of [15]). For any \(\lambda \in (-\infty ,\lambda _1)\) and \(\alpha \in (-\infty , m_\lambda C_H)\), the functional \({\mathbb {H}}_{\alpha ,\lambda }:H_0^s(\Omega )\rightarrow {\mathbb {R}}\), defined in (2.9), is weakly lower semicontinuous and coercive in \(H_0^s(\Omega )\). Furthermore,
The following theorem is a commonly used variational principle, known as ‘Ekeland Variational Principle’, to prove the existence of solution to variational problems.
Theorem 2.5
(Ekeland Variational Principle [13]) Assume H to be a Banach space and the function \(J:H\rightarrow {\mathbb {R}}\cup \{+\infty \}\) is G\({\hat{a}}\)teaux-differentiable, lower semi continuous and bounded from below. Then for every \(\epsilon >0\) and for every \(u\in H\) satisfying \( J(u)\le \inf J+\epsilon \), every \(\delta >0\), there exists \(v\in H\) such that \(J(v)\le J(u)\), \(\Vert u-v\Vert \le \delta \) and \(\Vert J^\prime (v)\Vert ^*\le \frac{\epsilon }{\delta }\). The norms \(\Vert .\Vert \) and \(\Vert .\Vert ^*\) are the norm of V and the dual norm of \(V^*\), respectively.
Since our problem \((P_\beta )\) involves a measure data, we do not expect the solution space to be \(H_0^s(\Omega )\) but expect the solution to lie in a space with a lower degree of integrability or/and differentiability. Thus, we look for a SOLA (Solutions Obtained as Limits of Approximations). We now define the notion of solution to problem (\(P_\beta \)).
Definition 2.6
Let \({\mathcal {M}}(\Omega )\) be the set of all finite Radon measures on \(\Omega \) and \(\mu \in {\mathcal {M}}(\Omega )\). Then a function \(u\in W_0^{{\bar{s}},m}(\Omega )\), for \({\bar{s}}<s\) and \(m<\frac{N}{N-s}\), is said to be SOLA to \((P_\beta )\) if
for every \(\phi \in C_c^\infty (\Omega )\). Further, for any \(\omega \subset \subset \Omega \), there exists a \(C_\omega \) such that
Consider a sequence \((\mu _n)\subset L^\infty (\Omega )\) which is \(L^1\) bounded and converges to \(\mu \) in the sense of measure as defined in the following definition.
Definition 2.7
Assume \((\mu _n)\subset {\mathcal {M}}(\Omega )\) to be a sequence of measurable functions. Then \((\mu _n)\) converges to \(\mu \in {\mathcal {M}}(\Omega )\) in the sense of measure if
We now construct the following sequence of problems which is the approximating problem to (\(P_\beta \)).
Definition 2.8
Let \(\mu _n\in L^\infty (\Omega )\) and \(\gamma \in (0,1)\). Then \(u_n\in H_0^s(\Omega )\) is said to be a weak solution to (\(P_{\beta ,n}\)) if
for every \(\phi \in C_c^\infty (\Omega )\). Further, for any \(\omega \subset \subset \Omega \) there exists \(C_\omega \) such that \(u_n\ge C_\omega >0\).
Denote
We now state the following existence theorem. We prove this in the next section.
Theorem 2.9
Let \(\gamma \in (0,1)\), \(b<\min \{4s,N\}\), \(\lambda \in (0,\lambda _1)\) and \(\alpha \in (0, m_\lambda C_H)\) such that \(\left( \frac{N-b+2s}{2N-b}\right) ^{\frac{N-b+2s}{2N-b}}\le m_\lambda -\frac{\alpha }{C_H}\). Then there exists \(\bar{\beta }\in (0,\infty )\) such that for every \(\beta \in (0, \bar{\beta })\), \((P_{\beta ,n})\) possesses a positive weak solution \(u_n\) in H.
We are now ready to state the main result of the paper.
Theorem 2.10
Let the assumptions on \(\gamma , b, \alpha ,\lambda \) are same as in Theorem 2.9. Then there exists \(0<{\bar{\beta }}<\infty \) such that for \(\beta \in (0,{\bar{\beta }})\) the problem \((P_\beta )\) has a positive SOLA \(u\in W_{0}^{{\bar{s}},m}(\Omega )\), in the sense of Definition 2.6, for every \({\bar{s}}<s\) and \(m<\frac{N}{N-s}\).
3 Existence of weak solution to \((P_{\beta ,n})\)- Proof of Theorem 2.9
We prove the existence of weak solution to \((P_{\beta ,n})\) via two sequence of problems given below, \((P^1_{\beta ,n})\) and \((P^2_{\beta ,n})\). Let us first consider the following problem
We now prove the problem \((P^1_{\beta ,n})\) has a weak solution in \({\bar{H}}=\{u\in H_0^s(\Omega ):\Vert u\Vert _{L^{2_s^*}(\Omega )}<1\}\) in the following lemma.
Lemma 3.1
Let \(\gamma \in (0,1)\), \(\lambda \in (0,\lambda _1)\) and \(\alpha \in (0, m_\lambda C_H)\). Then the problem \((P_{\beta ,n}^1)\) admits a positive weak solution \(w_n\) in \({\bar{H}}\).
Proof
Consider the Euler -Lagrange functional \(J_{n}\) associated to problem \((P_{\beta ,n}^1)\), i.e.
for any \(w_n\in {\bar{H}}\). By Corollary 2.4, \({\mathbb {H}}_{\alpha ,\lambda }\) is coercive and weakly lower semicontinuous in \(H_0^s(\Omega )\). Since \(\gamma \in (0,1)\), it is easy to prove that \(J_n\) is coercive and weakly lower semicontinuous in \({\bar{H}}\). Thus, by using a standard minimization argument we show the existence of a minimum \(w_n\) for \(J_n\) in \({\bar{H}}\) and hence a weak solution to \((P_{\beta ,n}^1)\) in \({\bar{H}}\).
Fix \({\bar{w}}_n\in {\bar{H}}{\setminus }\{0\}\). Then for sufficiently small \(t>0\),
This implies
and hence \(w_n\) is nontrivial. Let us consider the following problem
According to Lemma 2.3 and Lemma 2.4 of Ghosh et.al [18], (3.15) admits a nontrivial positive weak solution in \(H_0^s(\Omega )\) and for any \(\omega \subset \subset \Omega \), there exists \(C_\omega \) such that \({\underline{w}}_n\ge C_\omega >0\). Using a standrd comparison principle, Lemma 2.4 of [1], we conclude that \({\underline{w}}_n\le w_n\). Thus, \(w_n\ge {\underline{w}}_n\ge C_\omega >0\). This finishes the proof. \(\square \)
Let us consider the second problem.
where \(w_n\) is the positive weak solution of \((P^1_{\beta ,n})\) obtained from Lemma 3.1 and the function \(f_n:\Omega \times {\mathbb {R}}\rightarrow {\mathbb {R}}\cup \{-\infty \}\) is given by
For \((x,s)\in \Omega \times {\mathbb {R}}\), let us denote \(F_n(x,s)=\int _{0}^{s}f_n(x,\tau )d\tau \). The corresponding energy functional \(J_{\beta ,n}:H_0^s(\Omega )\rightarrow (-\infty ,\infty ]\) of \((P^2_{\beta ,n})\) is defined by
Further,
for any \(v\in H_0^s(\Omega )\). Let us denote
Definition 3.2
We say a function \(v_n\in {\bar{H}}\) is a weak solution of \((P^2_{\beta ,n})\) if \(v_n\) is a critical point of the corresponding energy functional \(J_{\beta ,n}\).
Lemma 3.3
The functional \(J_{\beta ,n}\) satisfies the Palais-Smale (P-S) condition in \(H_n\) for energy level
where \({\mathbb {S}}_{C,b}\) is the best Sobolev constant defined in (2.8) and C(N, b) is the sharp constant in the Hardy–Littlewood–Sobolev Inequality given in (2.7).
Proof
Consider a (P-S) sequence \((v_{n,j})\) of \(J_{\beta ,n}\) in \(H_n\), i.e. \(J_{\beta ,n}(v_{n,j})\rightarrow c\) and \(J^\prime _{\beta ,n}(v_{n,j})\rightarrow 0\) as \(j\rightarrow \infty \). It is easy to show that \(J_{\beta ,n}\) is coercive when restricted to \(H_n\). Thus, \((v_{n,j})\) is bounded in \(H_0^s(\Omega )\) and there exists \(v_n\) in \(H_0^s(\Omega )\) such that, up to a subsequential level, \(v_{n,j}\rightarrow v_n\) weakly in \(H_0^s(\Omega )\). We now claim the following.
Claim: \(v_{n,j}\rightarrow v_n\) strongly in \(H_0^s(\Omega )\) and \(v_n\in H_n\).
Let \(\Vert v_{n,j}-v_n\Vert _{H_0^s(\Omega )}^2\rightarrow a^2\) and \(\int _{\Omega }\int _{\Omega }\frac{(v_{n,j}-v_n)^{2_b^*}(x)(v_{n,j}-v_n)^{2_b^*}(y)}{|x-y|^b}dxdy\rightarrow d^{22_b^*}\) as \(j\rightarrow \infty \). Thus, we have
This implies,
On using the Brezis–Lieb Lemma [8], Hardy–Littlewood–Sobolev Inequality (Proposition 2.2), Corollary 2.4, and then passing the limit \(j\rightarrow \infty \) in the above equation we get
From (2.8) we already have \(a^2\ge {\mathbb {S}}_{C,b}d^2\). Thus, by simplification we obtain
We have the sequence \((v_{n,j})\) is a (P-S) sequence in \(H_n\) and by the choice of \(\alpha ,\lambda \), we obtain \(\left( \frac{N-b+2s}{2N-b}\right) ^{\frac{N-b+2s}{2N-b}}\le m_\lambda -\frac{\alpha }{C_H}\). Now applying Corollary 2.4, (2.7), (3.18) and (3.19) we have,
This is a contradiction to our assumption
Thus, \(a=0\) and \(\lim \limits _{j\rightarrow \infty }\Vert v_{n,j}-v_n\Vert _{H_0^s(\Omega )}=0\). Hence, the claim. \(\square \)
Let us consider the following sequence \((Z_\epsilon )\) given by
where \(z^*(x)={\bar{z}}\left( \frac{x}{{\mathbb {S}}_{2,s}^{\frac{1}{2s}}}\right) \), \({\bar{z}}(x)=\frac{{\tilde{z}}(x)}{\Vert {\tilde{z}}\Vert _{L^{2_s^*}(\Omega )}}\) and \({\tilde{z}}(x)=\eta _1(\eta _2^2+|x|^2)^{-\frac{N-2s}{2}}\), \(\eta _1\in {\mathbb {R}}^N{\setminus }\{0\},~\eta _2>0\). By Lemma 2.3, for each \(\epsilon >0\), corresponding \(Z_\epsilon \) satisfies the problem
Let us assume \(0\in \Omega \). Consider \(\xi \in C_c^{\infty }({\mathbb {R}}^N)\) such that \(0\le \xi \le 1\), for fixed \(\delta >0\), \(B_{4\delta }\subset \Omega \), \(\xi \equiv 0\) in \({\mathbb {R}}^N{\setminus } B_{2\delta }\), \(\xi \equiv 1\) in \(B_\delta \). Define
Then \(\Phi _\epsilon =0\) in \({\mathbb {R}}^N{\setminus }\Omega \). By Proposition 6.2 of Giacomoni et al. [21], there exists \(a_1,a_2,a_3,a_4>0\) such that for \(1<q<\min \{2,\frac{N}{N-2s}\}\) we have the following four estimates.
Lemma 3.4
There exists \(\bar{\beta }>0\) such that for \(\beta \in (0,\bar{\beta })\) and for \(\epsilon >0\) sufficienty small,
Proof
Clearly for \(\beta <\left( \frac{2_b^*}{C(N,b)}\left( \frac{N-b+2s}{2N-b}\right) \right) ^{\frac{N-b+2s}{2N-b}}{\mathbb {S}}_{C,b}\), we have
For a fixed sufficiently small \(\epsilon >0\) and for any \(t\ge 0\),
Assume \(\beta \le 1\) and define \(g:{\mathbb {R}}^+\rightarrow {\mathbb {R}}\) as
Hence, \(g(t)\rightarrow -\infty \) as \(t\rightarrow \infty \). Therefore, there exists \({\bar{t}}>0\) such that \(g(t)\le 0\) for every \(t\ge {\bar{t}}\). First consider the case \(t\ge {\bar{t}}\) and we have
Clearly, \({\bar{g}}_\epsilon \) attains the maximum value at
This implies,
For the second case, i.e. \(t<{\bar{t}}\),
Choose \(\beta ^*>0\) depending on \({\bar{t}},N,s,{\mathbb {S}}_{C,b}\) such that for \(\beta \in (0,\beta ^*)\) we get
Choose \(\bar{\beta }=\min \{1,\left( \frac{2_b^*}{C(N,b)}\left( \frac{N-b+2s}{2N-b}\right) \right) ^{\frac{N-b+2s}{2N-b}}{\mathbb {S}}_{C,b},\beta ^*\}\). Thus, for \(\beta \in (0,\bar{\beta })\) we obtain
This concludes the proof. \(\square \)
The following is the existence theorem for \((P^2_{\beta ,n})\) in \(H_n\).
Theorem 3.5
Assume \(b<\min \{4s,N\}\), \(\lambda \in (0,\lambda _1)\) and \(\alpha \in (0, m_\lambda H)\). Then there exists \(\bar{\beta }>0\) such that for every \(\beta \in (0,\bar{\beta })\), \((P^2_{\beta ,n})\) admits a positive weak solution \(v_n\in H_n\).
Proof
The functional \(J_{\beta ,n}\) is bounded from below and G\({\hat{a}}\)teaux-differentiable on \(H_n\). Hence, it satisfies all the hypotheses of Theorem 2.5, i.e. Ekeland variational principle. Thus, we can produce a Palais-Smale sequence \((v_{n,j})\) in \(H_n\) of the functional \(J_{\beta ,n}\). By Lemma 3.3 and Lemma 3.4, \((v_{n,j})\) satisfies the (P-S) conditions and hence, up to a subsequential level, \((v_{n,j})\) converges strongly to \(v_n\in H_n\). This implies \(v_n\) is a critical point of \(J_{\beta ,n}\) and therefore a weak solution of \((P_{\beta ,n})\) in \(H_n\) for any \(\beta \in (0,\bar{\beta })\). \(\square \)
Proof of Theorem 2.9
According to Theorem 3.5, \(v_n\) is a nontrivial weak solution to \((P^2_{\beta ,n})\) in \(H_n=\{u\in H_0^s(\Omega ):\Vert u+w_n\Vert _{L^{2_s^*}(\Omega )}=1\}\), for every for \(\beta \in (0,\bar{\beta })\), where \(w_n\) is the weak solution of \((P^1_{\beta ,n})\) from Lemma 3.1. Hence, the function \(u_n=v_n+w_n\) is a positive weak solution of \((P_{\beta ,n})\) in \(H=\{u\in H_0^s(\Omega ):\Vert u\Vert _{L^{2_s^*}(\Omega )}=1\}\) in the sense of Definition 2.8. \(\square \)
4 Existence of SOLA to \((P_\beta )\)- Proof of Theorem 2.10
From the previous section, Sect. 3, we a weak solution \(u_n\) of the approximating problem \((P_{\beta ,n})\) in H. In this section, using some apriori estimates, we pass the limit \(n\rightarrow \infty \) in the weak formulation of \((P_{\beta ,n})\), i.e. (2.14), to obtain a SOLA to \((P_\beta )\).
Lemma 4.1
Let \(u_n\) be a weak solution to \((P_{\beta ,n})\) in H. Then the sequence \((u_n)\) is uniformly bounded in \(W_0^{{\bar{s}},m}(\Omega )\) for every \({\bar{s}}<s\) and \(m<\frac{N}{N-s}\).
Proof
Let us fix a \(k>0\) and define a truncation function \(T_k:{\mathbb {R}}\rightarrow {\mathbb {R}}\) by
Choose \(\phi =T_k(u_n)\) in (2.14) as a test function. Thus, we have
The sequence \((u_n)\subset H\), i.e. \(\Vert u_n\Vert _{L^{2_s^*}(\Omega )}=1\) for each n and \((\mu _n)\) is bounded in \(L^1(\Omega )\). So, equation (4.23) becomes
Since \(N>2s\), this implies \((N-2s(2_s^*)^\prime )>0\) where \((2_s^*)^\prime \) is the Hölder conjugate of \(2_s^*\). Therefore, using the Hölder’s inequality we get
Hence, \((u_n)\) is bounded in \(L^1(\Omega ,|x|^{-2s})\) and from (4.24), we conclude that
Therefore, \((T_k(u_n))\) is uniformly bounded in \(H_0^s(\Omega )\). By following the proof of Lemma 4.1 of Panda et al. [29], we conclude that \((u_n)\) is uniformly bounded in \(W_0^{{\bar{s}},m}(\Omega )\), for all \({\bar{s}}<s\) and \(m<\frac{N}{N-s}\). \(\square \)
We are now in a position to prove our main result, i.e. the existence of positive SOLA to \((P_\beta )\).
Proof of Theorem 2.10
Let \(\mu \in {\mathcal {M}}(\Omega )\) and the assumptions on \(\gamma ,b,\alpha ,\lambda \) are same as provided in the statement of Theorem 2.10. From Theorem 2.9, for any \(\beta \in (0,\bar{\beta })\), we have a positive weak solution \(u_n\) of \((P_{\beta ,n})\) in H. Since \((u_n)\) is uniformly bounded in \(W_0^{{\bar{s}},m}(\Omega )\), for every \({\bar{s}}<s\) and \(m<\frac{N}{N-s}\), by Lemma 4.1, there exists \(u\in W_0^{{\bar{s}},m}(\Omega )\) such that \(u_n\rightarrow u\) weakly in \(W_0^{{\bar{s}},m}(\Omega )\). This implies \(u_n\rightarrow u\) a.e. in \({\mathbb {R}}^N\) and \(u\equiv 0\) in \({\mathbb {R}}^N{\setminus }s\Omega \). From the weak formulation of \((P_{\beta ,n})\), i.e. (2.14), we have
for all \(\phi \in C_c^\infty (\Omega )\). Proceeeding on similar lines as in Theorem 1.1. of [29] and using Vitali convergence theorem, we establish
On using the definition of convergence in measure, i.e. Definition 2.7, Dominated convergence theorem and the fact that \(\Vert u_n\Vert _{L^{2_s^*}(\Omega )}=1\), we can pass the limit \(n\rightarrow \infty \) in the following integrals.
Hence, we obtain a SOLA u to \((P_\beta )\), in the sense of Definition 2.12, as the limit of approximation in (4.27). Thus, for every \(\phi \in C_c^\infty (\Omega )\), u satisfies
This concludes the proof our main result. \(\square \)
References
Abdellaoui, B., Bentifour, R.: Caffarelli–Kohn–Nirenberg type inequalities of fractional order and applications. J. Funct. Anal. 272, 3998–4029 (2017)
Adimurthi, Giacomoni J: Multiplicity of positive solutions for a singular and critical elliptic problem in \({\mathbb{R}}^2\). Commun. Contemp. Math. 8(5), 621–656 (2006)
Applebaum, D.: Lévy processes-from probability to finance and quantum groups. Notices Am. Math. Soc. 51(11), 1336–1347 (2004)
Barrios, B., Medina, M., Peral, I.: Some remarks on the solvability of nonlocal elliptic problems with the Hardy potential, Commun. Contemp. Math., 16, 1350046, 29 pp, (2014)
Boccardo, L., Gallouet, T., Orsina, L.: Existence and uniqueness of entropy solutions for nonlinear elliptic equations involving measure data. Ann. Inst. H. Poincaré Anal. Non Lineaire 13, 539–551 (1996)
Boccardo, L., Orsina, L.: Semilinear elliptic equations with singular nonlinearities. Calc. Var. 37, 363–380 (2010)
Boccardo, L., Gallouët, T.: Nonlinear elliptic and parabolic equations involving measure data. J. Funct. Anal. 87, 149–169 (1989)
Brezis, H., Lieb, E.: A relation between pointwise convergence of functions and convergence of functionals. Proc. Am. Math. Soc. 88, 486–90 (1983)
Buffoni, B., Jeanjean, L., Stuart, C.A.: Existence of a nontrivial solution to a strongly indefinite semilinear equation. Proc. Am. Math. Soc. 119(1), 179–186 (1993)
Canino, A., Montoro, L., Sciunzi, B., Squassina, M.: Nonlocal problems with singular nonlinearity, Bull. Sci. math. (2017)
Chen, Y.H., Liu, C.: Ground state solutions for non-autonomous fractional Choquard equations. Nonlinearity 29, 1827–1842 (2016)
Daoues, A., Hammami, A., Saoudi, K.: Multiple positive solutions for a nonlocal PDE with critical Sobolev–Hardy and singular nonlinearities via perturbation method. Fract. Calc. Appl. Anal. 23(3), 837–860 (2020)
Ekeland, I.: On the variational principle. J. Math. Anal. Appl. 47, 324–353 (1974)
Fall, M. M.: Semilinear elliptic equations for the fractional Laplacian with Hardy potential, arXiv:1109.5530v4 [math.AP] (24 Oct 2012)
Fiscella, A., Pucci, P.: On certain nonlocal Hardy–Sobolev critical elliptic Dirichlet problems. Adv. Differ. Equ. 21(5–6), 571–599 (2016)
Gao, F., Yang, M.: On the Brezis-Nirenberg type critical problem for nonlinear Choquard equation. Sci. China Math. 61, 1219–1242 (2018)
Ghanmi, A., Saoudi, K.: The Nehari manifold for a singular elliptic equation involving the fractional Laplace operator. Fract. Differ. Calc. 6(2), 201–217 (2016)
Ghosh, S., Choudhuri, D., Giri, R.K.: Singular nonlocal problem involving measure data. Bull. Braz. Math. Soc. 50(1), 187–209 (2018)
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)
Giacomoni, J., Mukherjee, T., Sreenadh, K.: Doubly nonlocal system with Hardy–Littlewood–Sobolev critical nonlinearity. J. Math. Anal. Appl. 467, 638–672 (2018)
Giacomoni, J., Goel, D., Sreenadh, K.: Singular doubly nonlocal elliptic problems with Choquard type critical growth nonlinearities, arXiv:2002.02937v1 [math.AP] (7 Feb 2020)
Haitao, Y.: Multiplicity and asymptotic behavior of positive solutions for a singular semilinear elliptic problem. J. Differ. Equ. 189, 487–512 (2003)
Kuusi, T., Mingione, G., Sire, Y.: Nonlocal equations with measure data. Commun. Math. Phys. 337, 1317–1368 (2015)
Lazer, A.C., McKenna, P.J.: On a singular nonlinear elliptic boundary-value problem. Proc. Am. Math. Soc. 111(3), 721–730 (1991)
Lieb, E., Loss, M.:“Analysis”, Graduate Studies in Mathematics, AMS, Providence, Rhode island, (2001)
Lü, D., Xu, G.: On nonlinear fractional Schrödinger equations with Hartree-type nonlinearity. Appl. Anal. 97(2), 255–273 (2018)
Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136(5), 521–573 (2012)
Panda, A., Ghosh, S., Choudhuri, D.: Elliptic partial differential equation involving a singularity and a radon measure. J. Indian Math. Soc. 86(1–2), 95–117 (2019)
Panda, A., Choudhuri, D., Giri, R.K.: Existence of positive solutions for a singular elliptic problem with critical exponent and measure data. To appear in Rocky Mountain J. Math. https://projecteuclid.org/euclid.rmjm/1608865229
Pekar, S.: Untersuchung uber die Elektronentheorie der Kristalle. Akademie Verlag, Berlin (1954)
Servadei, R., Valdinoci, E.: The Brezis–Nirenberg result for the fractional Laplacian. Trans. Am. Math. Soc. 367, 67–102 (2015)
Shieh, T.T., Spector, D.: On a new class of fractional partial differential equations. Adv. Calc. Var. 8(4), 321–336 (2015)
Saoudi, K.: A critical fractional elliptic equation with singular nonlinearities. Fract. Calc. Appl. Anal. 20(6), 1507–1530 (2017)
Saoudi, K., Ghosh, S., Choudhuri, D.: Multiplicity and Hölder regularity of solutions for a nonlocal elliptic PDE involving singularity. J. Math. Phys. 60, 101509 (2019)
Sun, Y., Zhang, D.: The role of the power 3 for elliptic equations with negative exponents. Calc. Var. 49, 909–922 (2014)
Tang, X., Chen, S.: Singularly perturbed Choquard equations with nonlinearity satisfying Berestycki-Lions assumptions. Adv. Nonlinear Anal. 9(1), 413–437 (2020)
Wang, Y., Yang, Y.: Bifurcation results for the critical Choquard problem involving fractional p-Laplacian operator. Bound. Value Probl. 2018, 132 (2018)
Acknowledgements
The author Akasmika Panda thanks the financial assistantship received from the Ministry of Human Resource Development (M.H.R.D.), Govt. of India. Both the authors also acknowledge the facilities received from the Department of mathematics, National Institute of Technology Rourkela. All the authors thank the anonymous referee(s) for their constructive remarks and comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Panda, A., Choudhuri, D. & Saoudi, K. A critical fractional choquard problem involving a singular nonlinearity and a radon measure. J. Pseudo-Differ. Oper. Appl. 12, 22 (2021). https://doi.org/10.1007/s11868-021-00382-2
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11868-021-00382-2