Abstract
In this paper, we study the existence of solutions to a variational inequality involving nonlocal elliptic operators, and the problem studied here is not variational in nature. The proof of the main result is based on Schauder’s fixed point theorem combined with adequate variational arguments and a penalization technique.
Similar content being viewed by others
1 Introduction
In the last years, great attention has been devoted to the study of fractional and nonlocal problems. However, the interest in nonlocal elliptic problems goes beyond the mathematical curiosity. Indeed, this type of problems arises in a quite natural way in many different applications, such as continuum mechanics, phase transition phenomena, population dynamics, minimal surfaces and game theory, as they are the typical outcome of stochastic stabilization of Lévy processes, see [1–4] and the references therein. The literature on nonlocal operators and their applications is very interesting and quite large, we refer the interested readers to [5–13].
In [14] the existence of two nontrivial solutions for hemivariational inequalities driven by nonlocal elliptic operators is obtained by using critical point theory for non-differentiable functionals. In [15] the Lewy-Stampacchia type estimates for variational inequalities driven by nonlocal operators are discussed. In [16] the obstacle problem is considered for a linear elliptic operator perturbed by a nonlinearity having at most a quadratic growth on the gradient, and the existence of weak solutions of the variational inequality is obtained by using a penalization method, Schauder’s fixed point theorem and a priori estimates. In [17], the existence of nontrivial solutions for a semilinear elliptic variational inequalities with gradient-dependent nonlinearity is discussed by using variational methods combined with a penalization technique and an iterative scheme.
Motivated by the above mentioned works, we study a variational inequality involving nonlocal elliptic operators. To introduce our problem precisely, we first give some notation. Let Ω be a bounded domain of \(\mathbb{R}^{N}\) with smooth boundary ∂Ω. Denote \(\mathcal{Q}=\mathbb{R}^{2N}\backslash O\), where \(O=\mathcal {C}(\Omega)\times\mathcal{C}(\Omega)\subset{\mathbb{R}}^{2N}\) and \(\mathcal{C}(\Omega)=\mathbb{R}^{N}\backslash\Omega\). W is a linear space of Lebesgue measurable functions from \(\mathbb{R}^{N}\) to \(\mathbb {R}\) such that the restriction to Ω of any function u in W belongs to \(L^{p}(\Omega)\) and \(\int_{\mathcal{Q}}|u(x)-u(y)|^{p}|x-y|^{-N-ps}\,dx\,dy<\infty\). The space W is equipped with the norm
Then \((W,\|\cdot\|_{W})\) is a uniformly convex Banach space, see [18]. We shall work on the closed linear subspace
A norm of \(W_{0}\) is given by \(\|u\|= ( \iint_{\mathcal {Q}}\frac{|u(x)-u(y)|^{p}}{|x-y|^{N+ps}}\,dx\,dy )^{1/p}\) for all \(u\in W_{0}\). Set \(L_{0}^{p}(\Omega)=\{u\in L^{p}(\Omega): u=0 \mbox{ a.e. on } \mathbb{R}^{N}\setminus \Omega \}\). Obviously, \((L^{p}_{0}(\Omega),\|\cdot\|_{L^{p}(\Omega)})\) is a Banach space.
In the present paper, we adapt the methods in [16] and [17] in order to prove the existence of solutions of the following variational inequality:
where \(N>sp\), \(1< p<\infty\), \(\psi:\Omega\rightarrow[0,\infty)\) is the obstacle with \(\psi\in L^{p}(\Omega)\), and functions a, f satisfy the following assumptions:
-
(a)
\(a:\mathcal{Q}\times\mathbb{R}\times\mathbb{R}\rightarrow \mathbb{R}\) is a Carathéodory function, i.e., for each \((t_{1},t_{2})\in\mathbb{R}\times\mathbb{R}\), \(a(x,y,t_{1},t_{2})\) is measurable with respect to \((x,y)\in\mathcal{Q}\); for each \((x,y)\in \mathcal{Q}\), \(a(x,y,t_{1},t_{2})\) is continuous with respect to \((t_{1},t_{2})\in\mathbb{R}\times\mathbb{R}\). There exist two constants \(a_{0},a_{1}>0\) such that \(a_{0}\leq a(x,y,t_{1},t_{2})\leq a_{1}\) for all \((x,y,t_{1},t_{2})\in\mathcal{Q}\times\mathbb{R}\times\mathbb{R}\).
-
(f)
\(f:\Omega\rightarrow\mathbb{R}\) is a measurable function with \(f\in L^{p^{\prime}}(\Omega)\) and \(p^{\prime}=p/(p-1)\).
Remark 1.1
If \(a\equiv1\), the variational inequality (1.1) is governed by the following fractional p-Laplacian problem:
where \(N> ps\) with \(s\in(0,1)\), and \((-\Delta)^{s}_{p}\) is the fractional p-Laplacian defined for each \(x\in\mathbb{R}^{N}\) as
along any \(v\in C_{0}^{\infty}(\mathbb{R}^{N})\), where \(B_{\varepsilon}(x)\) denotes the ball in \(\mathbb{R}^{N}\) with radius \(\varepsilon>0\) centered at \(x\in\mathbb{R}^{N}\). Actually, we can define the fractional p-Laplacian as follows:
for all \(u,v\in W_{0}\). For more details about the fractional p-Laplacian, we refer to [12] and [18]. When \(a\not\equiv1\), it is natural to consider the nonlocal operator \(\mathcal{L}\) defined as
for all \(u,v\in W_{0}\). Hence, the variational inequality (1.1) can be written as
Note that the function a depends on the state variable u. Generally, problem (1.1) is not variational.
Firstly, we ‘freeze’ the state variable u on the function a, that is, we fix \(v\in L_{0}^{p}(\Omega)\). Let \(\varepsilon\in(0,1)\) be fixed and consider the following penalization problem:
where \(u^{+}=\max\{u,0\}\). To get the solutions of problem (1.2), we apply variational methods to the energy functional
associated to (1.2), for all \(u\in W_{0}\). Note that the condition \(f\in L^{p^{\prime}}(\Omega)\) implies that \(I\in C^{1}(W_{0},\mathbb{R})\) and
for all \(\varphi\in W_{0}\). Hence a critical point of functional I is a solution of penalization problem (1.2). Note that such penalization technique can be found in [19], and we study the penalized problem (1.2) through variational methods, see [20], Theorem 1.21.
Secondly, for \(v\in L_{0}^{p}(\Omega)\) fixed, we deduce from (1.2) that there exists \(u_{v}\in W_{0}\) with \(u_{v}\leq\psi\) a.e. in Ω such that
Finally, starting from (1.3) and using Schauder’s fixed point theorem (see [21], Theorem 3.21), we get our main result.
Theorem 1.1
Let \(\psi\in L^{p}(\Omega)\), (a) and (f) hold. Then problem (1.1) has a solution in \(W_{0}\).
2 The associated problem (1.3)
We start by proving some auxiliary results which will be useful in establishing the existence result of problem (1.3). In the following, we shortly denote by \(\|\cdot\|_{q}\) the norm of \(L^{q}(\Omega)\).
Lemma 2.1
For each \(v\in L_{0}^{p}(\Omega)\) and \(\varepsilon\in(0,1)\), problem (1.2) has a solution in \(W_{0}\).
Proof
Fix \(v\in L_{0}^{p}(\Omega)\) and \(\varepsilon\in(0,1)\). By (a), the Hölder inequality and the continuous embedding from \(W_{0}\) to \(L^{p}(\Omega)\) (see [18], Lemma 2.3), it follows that for each \(u\in W_{0}\) we have
where \(C^{*}>0\) is the embedding constant of \(W_{0}\hookrightarrow L^{p}(\Omega)\). The above estimate shows that I is coercive on \(W_{0}\), being \(1< p<\infty\).
On the other hand, it is easy to verify that I is convex and, consequently, weakly lower semi-continuous. Hence, we conclude via the direct method of variational methods (see [20], Theorem 1.2) that there exists a global minimum point of I in \(W_{0}\) and, consequently, a solution of problem (1.2). □
Lemma 2.2
Let \(v\in L_{0}^{p}(\Omega)\) and let \(u_{v}^{\varepsilon}\) be the solution of (1.2) given by Lemma 2.1. If \(\psi\in L^{p}(\Omega)\), then the family \(\{u_{v}^{\varepsilon}\}_{\varepsilon}\) is bounded in \(W_{0}\), i.e., there exists a positive constant C independent of ε and v such that \(\|u_{v}^{\varepsilon}\|\leq C\) and \(\|(u_{v}^{\varepsilon}-\psi )^{+}\|_{p}\leq C\varepsilon^{1/p}\) for all \(\varepsilon>0\).
Proof
Taking \(\varphi=u_{v}^{\varepsilon}\) as a test function in (1.2), we have
It follows from the Hölder inequality, the embedding \(W_{0}\hookrightarrow L^{p}(\Omega)\) and (a) that
this implies that
where \(C>0\) denotes various constants independent of ε and v. Hence \(\|u_{v}^{\varepsilon}\|\leq C\) and \(\|(u_{v}^{\varepsilon}-\psi)^{+}\| _{p}\leq C\varepsilon^{1/p}\). □
Theorem 2.1
Let \(v\in L_{0}^{p}(\Omega)\) be fixed and let conditions (a) and (f) hold true. Furthermore, let \(\psi\in L^{p}(\Omega)\). Then the variational inequality (1.3) has a unique solution \(u_{v}\in W_{0}\).
Proof
By Lemma 2.2, there exist a subsequence of \(\{u_{v}^{\varepsilon}\} \) still denoted by \(\{u_{v}^{\varepsilon}\}\) and \(u_{v}\in W_{0}\) such that \(u_{v}^{\varepsilon}\rightharpoonup u_{v}\) in \(W_{0}\) as \(\varepsilon \rightarrow0\). It follows from \(\|(u_{v}^{\varepsilon}-\psi)^{+}\|_{p}\leq C\varepsilon^{1/p}\) that \((u_{v}^{\varepsilon}-\psi)^{+}\rightarrow0\) in \(L^{p}(\Omega)\) as \(\varepsilon\rightarrow0 \). By the compact embedding \(W_{0}\hookrightarrow\hookrightarrow L^{p}(\Omega)\) (see [18], Lemma 2.5), we obtain that \(u_{v}^{\varepsilon}\rightarrow u_{v}\) strongly in \(L^{p}(\Omega)\) as \(\varepsilon\rightarrow0\). Furthermore, \((u_{v}^{\varepsilon}-\psi )^{+}\rightarrow(u_{v}-\psi)^{+}\) in \(L^{p}(\Omega)\) as \(\varepsilon\rightarrow 0\). Hence \((u_{v}-\psi)^{+}=0\) a.e. in Ω, that is, \(u_{v}\leq\psi\) a.e. in Ω.
Now we show that \(u_{v}^{\varepsilon}\rightarrow u_{v}\) strongly in \(W_{0}\) as \(\varepsilon\rightarrow0\). For each fixed \(\omega\in W_{0}\), we introduce a linear operator \(F_{a}(\omega,\cdot):W_{0}\rightarrow\mathbb{R}\) defined by
for each \(\varphi\in W_{0}\). Obviously, \(F_{a}(\omega,\cdot)\) is a continuous linear functional on \(W_{0}\) by the following inequality:
thanks to assumption (a) and the Hölder inequality. Hence \(u_{v}^{\varepsilon}\rightharpoonup u_{v}\) in \(W_{0}\) as \(\varepsilon \rightarrow0\) implies that
Taking \(u_{v}^{\varepsilon}-u_{v}\) as a test function in (1.2), we obtain
Note that
by \(u_{v}\leq\psi\) a.e. in Ω. Putting this into (2.2), we have
Using \(u_{v}^{\varepsilon}\rightarrow u_{v}\) strongly in \(L^{p}(\Omega)\), (2.1) and (2.3), we deduce
On the other hand, by the following well-known inequalities (see [18]):
for all \(\xi,\eta\in\mathbb{R}^{N}\), where \(C_{p}\) and \(\widetilde{C}_{p}\) are positive constants depending only on p, we get
Hence, we conclude from (2.4) that \(\lim_{\varepsilon\rightarrow0}[F_{a}(u_{v}^{\varepsilon},u_{v}^{\varepsilon}-u_{v})-F_{a}(u_{v},u_{v}^{\varepsilon}-u_{v})]= 0\). A similar discussion as in [18] gives that \(u_{v}^{\varepsilon}\rightarrow u_{v}\) strongly in \(W_{0}\) as \(\varepsilon\rightarrow0\).
Now we are ready to show that \(u_{v}\) is a solution of (1.3). Taking \(\varphi-u_{v}^{\varepsilon}\), with \(\varphi\in W_{0}\) and \(\varphi\leq\psi\) a.e. in Ω, as a test function in (1.2), we have
Thanks to the choice of φ, one has \(\frac{1}{\varepsilon}\int_{\Omega}|(u_{v}^{\varepsilon}-\psi)^{+}|^{p-1}(\varphi -u_{v}^{\varepsilon})\,dx\leq0\), so that we deduce from (2.5) that
By the boundedness of a and the stronger convergence of \(u_{v}^{\varepsilon}\) in \(W_{0}\) and \(L^{p}(\Omega)\), we conclude from (2.6) that
This means that \(u_{v}\) is a solution of (1.3).
It remains to prove the uniqueness of \(u_{v}\). Now we suppose that there exist \(u_{v}^{1}\) and \(u_{v}^{2}\) such that (1.3) holds, that is,
and
for all \(\varphi\in W_{0}\) with \(\varphi\leq\psi\) a.e. in Ω. Taking \(\varphi=u_{v}^{2}\) and \(\varphi=u_{v}^{1}\) in (2.7) and (2.8), respectively, we have \(F_{a}(u_{v}^{1},u_{v}^{2}-u_{v}^{1})\geq\int_{\Omega}f(u_{v}^{2}-u_{v}^{1})\,dx \) and \(F_{a}(u_{v}^{2},u_{v}^{1}-u_{v}^{2})\geq\int_{\Omega}f(u_{v}^{1}-u_{v}^{2})\,dx\). From these two inequalities, we get \(F_{a}(u_{v}^{1},u_{v}^{1}-u_{v}^{2})-F_{a}(u_{v}^{2},u_{v}^{1}-u_{v}^{2})\leq0\), this implies that \(u_{v}^{1}=u_{v}^{2}\) a.e. in Ω. Thus we complete the proof. □
3 The proof of main result
For each \(v\in L_{0}^{p}(\Omega)\), let \(u=T(v)\in W_{0}\) be the weak solution of problem (1.3) given by Theorem 2.1. Thus, we can actually introduce an application \(T:L_{0}^{p}(\Omega)\rightarrow W_{0}\) associating to each \(v\in L_{0}^{p}(\Omega)\), the solution of problem (1.3), \(T(v)\in W_{0}\).
Lemma 3.1
There exists a constant \(C>0\) such that
Proof
For each \(v\in L_{0}^{p}(\Omega)\), \(T(v)\) is a solution of problem (1.3). Let \(u_{v}^{\varepsilon}\) be the solution of problem (1.2). By Lemma 2.2 and Theorem 2.1, we have \(\|u_{v}^{\varepsilon}\| ^{p}\leq C\) and \(u_{v}^{\varepsilon}\rightarrow T(v)\) strongly in \(W_{0}\) as \(\varepsilon\rightarrow0\), where \(C>0\) is a constant independent of ε and v. Hence \(\|T(v)\|^{p}\leq C\). □
Remark 3.1
By Lemma 3.1 and the fractional Sobolev embedding \(W_{0}\hookrightarrow L^{p}(\Omega)\), it clearly follows that there exists \(C_{1}>0\) such that \(\int_{\Omega}|T(v)|^{p}\,dx\leq C_{1}\), \(\forall v\in L_{0}^{p}(\Omega)\).
Lemma 3.2
The map \(T:L_{0}^{p}(\Omega)\rightarrow W_{0}\) is continuous.
Proof
Let \(\{v_{n}\}_{n}\subset L_{0}^{p}(\Omega)\) and \(v\in L_{0}^{p}(\Omega)\) be such that \(v_{n}\) converges to v in \(L_{0}^{p}(\Omega)\) as \(n\rightarrow\infty\). Without loss of generality, we assume that \(v_{n}\rightarrow v\) a.e. in Ω. Set \(u_{n}:=T(v_{n})\) for all \(n\geq1\). By Lemma 3.1, we have
i.e., \(\{u_{n}\}_{n}\) is bounded in \(W_{0}\). It follows that up to a subsequence we can deduce that \(u_{n}\) converges weakly to some u in \(W_{0}\). By the compact embedding \(W_{0}\hookrightarrow L^{p}(\Omega)\), up to a subsequence, we have \(u_{n}\rightarrow u\) strongly in \(L^{p}(\Omega)\) and a.e. in Ω. Obviously, we also have \(u_{n}\) converges to u strongly in \(L_{0}^{p}(\Omega)\). Since \(u_{n}\) (\(n\geq1\)) is a solution of problem (1.3), we have \(u_{n}\leq\psi\) a.e. in Ω. Hence, \(u\leq\psi\) a.e. in Ω.
On the other hand, for each n, we have
for all \(\varphi\in W_{0}\) with \(\varphi\leq\psi\). Taking \(\varphi=u\) in (3.1), we obtain
It follows from \(u_{n}\) converges to u in \(L^{p}(\Omega)\) and (3.2) that
Note that
and
a.e. on \(\mathcal{Q}\). Hence the Lebesgue dominated convergence theorem implies that
strongly in \(L^{p^{\prime}}(\mathcal{Q},dx\,dy)\). Thus, we deduce from the Hölder inequality that
Notice that
Hence, from (3.4), it yields
Therefore, by (3.3) and (3.4), we get \(\lim_{n\rightarrow\infty}[F_{a}(u_{n},u_{n}-u)-F_{a}(u,u_{n}-u)]=0\). Further, we can conclude that \(u_{n}\rightarrow u\) strongly in \(W_{0}\). Consequently, \(T:L_{0}^{p}(\Omega)\rightarrow W_{0}\) is continuous. □
Now we define an operator \(L:L_{0}^{p}(\Omega)\rightarrow L_{0}^{p}(\Omega)\), with \(L=i\circ T\), where \(i:W_{0}\rightarrow L_{0}^{p}(\Omega)\) is the inclusion operator. Since \(W_{0}\) is compactly embedded in \(L_{0}^{p}(\Omega )\), the inclusion operator i is compact. It follows by Lemma 3.2 that the operator \(L=i\circ T\) is compact.
Proof of Theorem 1.1
Let \(C_{1}\) be the constant given in Remark 3.1, i.e., \(\int_{\Omega}|L(v)|^{p}\,dx\leq C_{1}\), \(\forall v\in L_{0}^{p}(\Omega)\). Consider the ball \(B_{C_{1}}(0):=\{v\in L_{0}^{p}(\Omega):\int_{\Omega}|v|^{p}\,dx\leq C_{1}\}\). Clearly, \(B_{C_{1}}(0)\) is a convex closed subset of \(L_{0}^{p}(\Omega)\) and \(L(B_{C_{1}}(0))\subset B_{C_{1}}(0)\). Moreover, \(L(B_{C_{1}}(0))\) is relatively compact in \(B_{C_{1}}(0)\).
Hence, by Lemma 3.2, we have \(L: B_{C_{1}}(0)\rightarrow B_{C_{1}}(0)\) is a continuous map. Therefore, we can apply Schauder’s fixed point theorem (see [21], Theorem 3.21) to obtain L with a fixed point. This means that problem (1.1) has a solution, and thus the proof of Theorem 1.1 is complete. □
References
Caffarelli, L: Nonlocal equations, drifts and games. In: Nonlinear Partial Differential Equations. Abel Symposia, vol. 7, pp. 37-52 (2012)
Laskin, N: Fractional quantum mechanics and Lévy path integrals. Phys. Lett. A 268, 298-305 (2000)
Metzler, R, Klafter, J: The restaurant at the random walk: recent developments in the description of anomalous transport by fractional dynamics. J. Phys. A 37, 161-208 (2004)
Applebaum, D: Lévy processes - from probability to finance quantum groups. Not. Am. Math. Soc. 51, 1336-1347 (2004)
Servadei, R, Valdinoci, E: Mountain Pass solutions for non-local elliptic operators. J. Math. Anal. Appl. 389, 887-898 (2012)
Ros-Oston, X, Serra, J: Nonexistence results for nonlocal equations with critical and supercritical nonlinearities. Commun. Partial Differ. Equ. 40, 115-133 (2015)
Autuori, G, Pucci, P: Elliptic problems involving the fractional Laplacian in \(\mathbb{R}^{N}\). J. Differ. Equ. 255, 2340-2362 (2013)
Lindgren, E, Lindqvist, P: Fractional eigenvalues. Calc. Var. Partial Differ. Equ. 49, 795-826 (2014)
Molica Bisci, G: Fractional equations with bounded primitive. Appl. Math. Lett. 27, 53-58 (2014)
Caffarelli, L, Silvestre, L: An extension problem related to the fractional Laplacian. Commun. Partial Differ. Equ. 32, 1245-1260 (2007)
Iannizzotto, A, Squassina, M: 1/2-Laplacian problems with exponential nonlinearity. J. Math. Anal. Appl. 414, 372-385 (2014)
Di Nezza, E, Palatucci, G, Valdinoci, E: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521-573 (2012)
Vázquez, JL: Nonlinear diffusion with fractional Laplacian operators. In: Nonlinear Partial Differential Equations. Abel Symposia, vol. 7, pp. 271-298 (2012)
Teng, K: Two nontrivial solutions for hemivariational inequalities driven by nonlocal elliptic operators. Nonlinear Anal., Real World Appl. 14, 867-874 (2013)
Servadei, R, Valdinoci, E: Lewy-Stampacchia type estimates for variational inequalities driven by (non) local operators. Rev. Mat. Iberoam. 29, 1091-1126 (2013)
Mokrane, A, Murat, F: The Lewy-Stampacchia inequality for the obstacle problem with quadratic growth in the gradient. Ann. Mat. Pura Appl. 184(3), 347-360 (2005)
Matzeu, M, Servadei, R: Semilinear elliptic variational inequalities with dependence on the gradient via Mountain Pass techniques. Nonlinear Anal. 72, 4347-4359 (2010)
Xiang, MQ, Zhang, BL, Ferrara, M: Existence of solutions for Kirchhoff type problem involving the non-local fractional p-Laplacian. J. Math. Anal. Appl. 424, 1021-1041 (2015)
Lions, JL: Quelques méthodes de résolution des problèmes aux limites nonlineaires. Dunod, Paris (1969)
Struwe, M: Variational Methods: Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems. Springer, Heidelberg (1996)
Ambrosetti, A, Malchiodi, A: Nonlinear Analysis and Semilinear Elliptic Problems. Cambridge University Press, Cambridge (2007)
Acknowledgements
The author was supported by the Fundamental Research Funds for the Central Universities (No. 3122015L014).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Xiang, M. A variational inequality involving nonlocal elliptic operators. Fixed Point Theory Appl 2015, 148 (2015). https://doi.org/10.1186/s13663-015-0394-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0394-2