 Research
 Open Access
 Published:
Some results on the eigenvalue problem for a fractional elliptic equation
Boundary Value Problems volume 2019, Article number: 13 (2019)
Abstract
This paper deals with the eigenvalue problem for a fractional variable coefficients elliptic equation defined on a bounded domain. Compared to the previous work, we prove a quite different variational formulation of the first eigenvalue for the above problem. This allows us to give a variational proof of the fractional Faber–Krahn inequality by employing suitable rearrangement techniques.
Introduction
In this paper, we study the eigenvalue problem for a fractional elliptic equation
where \(0< s<1\), Ω is an open bounded subset of \(\mathbb{R}^{N}\) and \(N>2s\); L is an elliptic operator in divergence form \(L{u}= \operatorname{div}(A(x)\nabla u)\). Here \(A(x)= \{a_{ij}(x)\}\) is a symmetric matrix with \(a_{ij}\in W^{1,\infty }(\mathbb{R}^{N})\), satisfying the uniformly ellipticity condition \(A(x)\xi \cdot \xi \geq \varLambda \vert \xi \vert ^{2}\) for all \(\xi \in \mathbb{R}^{N}\), a.e. \(x\in \mathbb{R} ^{N}\) and for some constant Λ.
Fractional powers of elliptic operators, whose basic case is the fractional Laplacian \((\Delta )^{s}\), arise naturally in many applications, for instance, the obstacle problem that appears in the study of the configuration of elastic membranes, anomalous diffusion, the socalled quasigeostrophic flow problem, and pricing of American options, as well as many modern physical problems when considering fractional kinetics and anomalous transport, strange kinetics, and Lévy processes in quantum mechanics; one can see [1,2,3] and the references therein. When working in the whole space domain \(\mathbb{R}^{N}\), there are several equivalent definitions of the fractional Laplacian operator \((\Delta )^{s}\), classical references being [4,5,6]. However, when working on a bounded domain Ω, things get complicated because there are different options for defining \((\Delta )^{s}\). A particular one is to define the fractional Laplacian as the DirichlettoNeumann map, through an extended function defined in a cylinder \(\mathcal{C}_{\varOmega }^{+}=\varOmega \times (0,+\infty )\subset \mathbb{R}^{N+1}\) whose values are assigned to zero on the lateral boundary of \(\mathcal{C}_{\varOmega }^{+}\), as was proposed in [7, 8]. This allows reducing nonlocal problems involving \((\Delta )^{s}\) to suitable local problems, defined in one more space dimension. A similar definition of the fractional elliptic operator \(L^{s}\) in a bounded domain is given in [9]. However, this definition seems to be contrary to the nonlocal feature of fractional operators, and thus there are some restrictions on its validity. In [10], the authors take a more usual approach to define \((\Delta )^{s}\) in a bounded domain. It consists in keeping the definition of fractional Laplacian in \(\mathbb{R}^{N}\) through the extension method but asking the functions \(u(x)\) to vanish outside of Ω, which seems to be more natural in many applications. In this paper, we will take this approach to define the fractional elliptic operator \(L^{s}\) in bounded domains (see Sect. 2).
The study of eigenvalue problems is a classical topic and there are lots of results on local eigenvalue problems (see, for instance, [11,12,13,14] and the references therein). Recently, great attention has been focused on studying of eigenvalue problems involving fractional operators. Results for fractional linear operators were obtained in [15], where variational formulations of eigenvalues and some properties of eigenfunctions were proved. In [16,17,18], the eigenvalue problem associated with the fractional nonlinear operator \((\Delta )^{s}_{p}\) was studied, and particularly some properties of the first eigenvalue and of the higher order eigenvalues were obtained. Then, Iannizzotto and Squassina [19] proved some Weyltype estimates for the asymptotic behavior of variational eigenvalues corresponding to \((\Delta )^{s}_{p}\).
More recently, by employing rearrangement techniques, Sire, Vázquez and Volzone [10] proved the Faber–Krahn inequality in two ways for the first eigenvalue of the fractional Laplacian operator in bounded domains. A variational proof was provided, which seems to be simpler, based on the variational characterization of the first eigenvalue and nonlocal Pólya–Szegö inequality. However, they pointed out that for the fractional variable coefficients problem \((P_{\lambda })\), it is not clear how to use the variational approach to prove such an inequality since in this case the variational formulations of the first eigenvalue given before does not seem to allow Pólya–Szegö inequality to be applied. To solve the above problem, in this paper, with the help of the extension problem of \((P_{\lambda })\) defined in one more space dimension, we will prove a quite different variational formulation of the first eigenvalue, in which the operator \(L^{s}\) is associated to a norm satisfying Pólya–Szegö inequality. Then using some properties of rearrangement, a variational proof of fractional Faber–Krahn inequality can be achieved for problem \((P_{\lambda })\).
Many other fractional problems were also actively studied in recent years, such as fractional Kirchhoff type problems, fractional Schrödinger problems, and also Brézis–Nirenberg problem for fractional operators. Interested readers can refer to [20,21,22,23,24,25] for details.
This paper is organized as follows: In Sect. 2, we give all the necessary functional background related to problem \((P_{\lambda })\), which is naturally connected to the very definition of the operator \(L^{s}\). In Sect. 3, the variational formulation of the first eigenvalue and some properties of eigenfunctions are obtained, while Sect. 4 is devoted to proving fractional Faber–Krahn inequality.
Preliminaries
In this section, we provide a selfcontained description of the functional background which is necessary for the wellposedness of problem \((P_{\lambda })\). For further details, one can see [3, 9, 10, 26,27,28] and the references therein.
In the last years, there has been a growing interest in the study of nonlinear problems involving fractional powers of the Laplace operator \((\bigtriangleup )^{s}\), \(0< s<1\). The fractional Laplace of a function u is defined via Fourier transform and it can be expressed by
where \(c_{N,s}\) is a positive constant. Observe from (2.1) that the fractional Laplacian is a nonlocal operator. This fact does not allow us to apply local PDE techniques to treat nonlinear problems for \((\bigtriangleup )^{s}\). To overcome this difficulty, L. Caffarelli and L. Silvestre showed in [6] that any fractional power of the Laplacian can be determined as an operator that maps a Dirichlet boundary condition to a Neumanntype condition via an extension problem.
However, for a general fractional operator \(L^{s}\), the Fourier transform is not available, which necessitates finding a language that can explain in a clear and unified way the concepts of \(L^{s}\). Stinga and Torrea [3, 27] gave the following semigroup formula:
where \(\{e^{tL}u\}_{t>0}\) is the heat diffusion semigroup generated by L and Γ is the Gamma function. When \(L=\triangle \), the above formula reduces to (2.1). Moreover, they proved that the fractional operators (2.2) can be described as DirichlettoNeumann maps for an extension problem in the spirit of [6], which generalizes the Caffarelli–Silvestre result. In fact, let E be an open subset of \(\mathbb{R}^{N}\) and L denote a nonnegative and selfadjoint linear second order partial differential operator defined in \(L^{2}(E)\). For \(u\in \operatorname{Dom}(L^{s})\), consider the following extension problem to the upper half space:
Then for the solution \(w(x,y)\) of problem (2.3), it is proved that
where \(k_{s}=\frac{2s\vert \varGamma (s)\vert }{4^{s}\varGamma (s)}\). See also [3, 9, 27] for a detailed account on this question.
In this paper, as was done for \((\bigtriangleup )^{s}\) in [10], we keep the definition of fractional operator \(L^{s}\) in \(\mathbb{R}^{N}\) through the above extension method but ask the functions \(u(x)\) to vanish outside of Ω. So, let \(E= \mathbb{R}^{N}\) in (2.3) and denote \(\mathcal{C}^{+}=\mathbb{R} ^{N}\times (0,+\infty )\). Using the extension problem (2.3) and expression (2.4), the nonlocal problem \((\mathrm{P}_{\lambda })\) is reformulated in a local way as follows:
Note that operator L has the form of \(\operatorname{div}(A(x)\nabla )\). Then denoting by $B(x)=\left(\begin{array}{cc}A(x)& 0\\ 0& 1\end{array}\right)$, problem (2.5) is equivalent to the problem
In order to introduce the concept of weak solution to problem (2.6), it is convenient to define the weighted energy space
equipped with the norm
Now, let us define the space of all functions in \(X^{s}(\mathcal{C} ^{+})\) whose trace over \(\mathbb{R}^{N}\) vanishes outside of Ω, namely
which gives a proper meaning of solutions to problem (2.6) in a bounded domain Ω.
From a detailed discussion in [26], we know that the domain of the natural fractional Laplacian \((\Delta )^{s}\) is the space \(\mathcal{H}(\varOmega )\) defined by
where \(H^{s}(\varOmega )\) and \(H_{0}^{s}(\varOmega )\) are classical fractional Sobolev spaces (see [29]) and
with \(d(x)=\operatorname{dist}(x,\partial \varOmega )<\infty \). It turns out that \(\mathcal{H}(\varOmega )= \{w\vert _{\varOmega \times {\{0\}}}: w\in X^{s} _{\varOmega }(\mathcal{C}^{+}) \}\). In addition, we have the following compact embedding.
Lemma 2.1
Let \(1\leq q<2_{s}^{\sharp }=\frac{2N}{N2s}\). Then, \(\operatorname{Tr}_{ \varOmega }(X^{s}_{\varOmega }(\mathcal{C}^{+}))\) is compactly embedded in \(L^{q}(\varOmega )\).
Proof
We know that the trace \(\operatorname{Tr}_{\varOmega }(X^{s}_{\varOmega }( \mathcal{C}^{+}))=\mathcal{H}(\varOmega )\subset H^{s}(\varOmega )\) and \(H^{s}(\varOmega )\subset \subset L^{q}\) when \(1\leq q<2_{s}^{\sharp }\), see [28]. Here ⊂⊂ denotes compact embedding. This completes the proof of the lemma. □
Then according to [9, 10], the following definition of weak solution to problem (2.6) is provided.
Definition 2.1
We say that \(w\in X^{s}_{\varOmega }(\mathcal{C}^{+})\) is a weak solution of (2.6) if for any \(\varphi \in X^{s}_{\varOmega }(\mathcal{C} ^{+})\), it holds:
If w is a solution to the extended problem (2.6), then the trace function \(u=\operatorname{Tr}_{\varOmega }(w):=w(x,0)\) will be called a weak solution to problem \((P_{\lambda })\).
Remark 2.1
It is easy to see that the function \(u=\operatorname{Tr}_{\varOmega }(w)\) belongs to the space \(\mathcal{H}(\varOmega )\).
General results about eigenvalues
Theorem 3.1
The first eigenvalue of problem \((P_{\lambda })\) is positive and can be characterized as follows:
or equivalently,
Moreover, there exists a nonegative function \(e_{1}\in X_{\varOmega } ^{s}(\mathcal{C}^{+})\) attaining the minimum in (3.1), and then \(e_{1}(x,0)\) is a nonnegative eigenfunction of problem \((P_{\lambda })\) corresponding to \(\lambda _{1}\).
Proof
Let \(J: X_{\varOmega }^{s}(\mathcal{C}^{+})\rightarrow \mathbb{R}\) be the functional defined as follows:
where \(M=\{w\in X_{\varOmega }^{s}(\mathcal{C}^{+}):\Vert w(x,0)\Vert _{L^{2}( \varOmega )}=1\}\). Take a minimizing sequence \(\{w_{j}\}_{j\in N}\) for J on M, that is, a sequence \(\{w_{j}\}_{j\in \mathbb{N}}\subset M\) such that
Then the sequence \(\{J(w_{j})\}_{j\in N}\) is bounded. So by the uniform ellipticity condition, we have
which implies \(\{\Vert w_{j}\Vert ^{2}_{X_{\varOmega }^{s}(C^{+})}\}_{j\in N}\) is also bounded.
Since \(X_{\varOmega }^{s}(\mathcal{C}^{+})\) is a reflexive space, up to a sequence, still denoted by \(w_{j}\), we have that \(\{w_{j}\}_{j\in N}\) converges weakly in \(X_{\varOmega }^{s}(\mathcal{C}^{+})\) to some e. By Lemma 2.1, we deduce that
as \(j\rightarrow +\infty \). So, \(\Vert e(x,0)\Vert _{L^{2}(\varOmega )}=1\), that is, \(e\in M\). Observe that the functional J is continuous and convex in \(X_{\varOmega }^{s}(\mathcal{C}^{+})\), which guarantees that J is weakly lower semicontinuous in \(X_{\varOmega }^{s}(\mathcal{C}^{+})\). Then
So that, \(J(e)=\inf_{w\in M}J(w)\).
Let \(e_{1}=\vert e\vert \), then \(e_{1}\geq 0\). Also, \(e_{1}\in X_{\varOmega }^{s}( \mathcal{C}^{+})\) and \(\Vert e_{1}(x,0)\Vert _{L^{2}(\varOmega )}=\Vert e(x,0)\Vert _{L^{2}(\varOmega )}=1\), which imply \(e_{1}\in M\). Moreover,
Now, let’s prove that the first eigenvalue \(\lambda _{1}=J(e_{1})\). Let \(\varepsilon \in (1,1)\), \(\varphi \in X_{\varOmega }^{s}(\mathcal{C}^{+})\) and
Then
Multiplying the numerator and the denominator by \(12\varepsilon \int _{\varOmega }e(x,0)\varphi (x,0)\,dx+o(\varepsilon )\) in the above equality, we obtain
This and the minimality of \(e_{1}\) imply that
Thus, \(\lambda _{1}=J(e_{1})=\min_{w\in M}J(w)\), which shows that (3.1) holds. Notice that \(J(e_{1})>0\), because otherwise we would have \(e_{1}\equiv 0\notin M\). Hence, \(\lambda _{1}>0\) and \(e_{1}(x,0)\) is a nonnegative eigenfunction corresponding to \(\lambda _{1}\). The proof of Theorem 3.1 is completed. □
Faber–Krahn inequality
Theorem 4.1
If \(\lambda _{1}\) is the first eigenvalue of problem \((P_{\lambda })\), then
where \(\lambda _{1}^{\sharp }\) is the first eigenvalue of the problem
and \(\varOmega ^{\sharp }\) is the ball centered at the origin such that \(\vert \varOmega ^{\sharp }\vert =\vert \varOmega \vert \). Furthermore, \(\lambda _{1}=\lambda _{1} ^{\sharp }\) if and only if \(\varOmega =\varOmega ^{\sharp }\) and \(\sum a_{ij}(x)x _{j}=\varLambda x_{i}\) a.e. in \(\mathbb{R}^{N}\) modulo translations.
Remark 4.1
In the case \(s=1\) and \(N=2\), the above result is known as the Faber–Krahn theorem, which can be stated as follows: a membrane with the lowest principle frequency is the circular one.
Remark 4.2
The extension problem associated with \((Q_{\lambda })\) can be written as
where matrix \(\widetilde{B}(x)\) is diagonal with values Λ for the first N diagonal elements and 1 for the remaining element.
Before proving the theorem, we recall some basic notions of rearrangements and some related fundamental properties. Let E be an open subset of \(\mathbb{R}^{N}\) (which may be the whole space) and \(f:E\rightarrow \mathbb{R}\) be a measurable function. We define the distribution function \(\mu _{f}\) of f as
and the decreasing rearrangement of f as
Furthermore, let \(E^{\sharp }\) be the ball centered at the origin having the same Lebesgue measure as E and \(C_{N}\) denote the measure of the unit ball. We define the function
which is called the spherically symmetric rearrangement of f. For an exhaustive treatment of rearrangements, we refer to [30,31,32] and the references therein. Here we only state some properties which will turn useful for what follows.

(i)
Conservation of the \(L^{p}\) norms:
$$ \Vert f \Vert _{L^{p}(E)}= \bigl\Vert f^{\sharp } \bigr\Vert _{L^{p}(E^{\sharp })}, \quad 1\leq p< + \infty . $$ 
(ii)
Hardy–Littlewood inequality:
$$ \int _{E} \bigl\vert f(x)g(x) \bigr\vert \,dx\leq \int _{E^{\sharp }}f^{\sharp }(x)g^{\sharp }(x)\,dx, $$where f, g are measurable functions on E.

(iii)
Pólya–Szegö inequality:
$$ \bigl\Vert \nabla f^{\sharp } \bigr\Vert _{L^{p}(E^{\sharp })}\leq \Vert \nabla f \Vert _{L^{p}(E)}, \forall f\in W_{0}^{1,p}(E), \quad 1< p< +\infty . $$
Furthermore, the following lemma holds (see [33, 34]).
Lemma 4.1
Let us suppose that
Then if equality sign holds in Pólya–Szegö inequality, we have \(\vert f\vert =f^{\sharp }\) a.e. up to translations.
When we deal with twovariable functions
where \(\mathcal{C}^{+}_{E}=E\times (0,+\infty )\), it will be convenient to define the socalled Steiner symmetrization of f. Denote by \(f^{*}(s,y)\) the decreasing rearrangement of f, with respect to x for y fixed. We define the function
which is called the Steiner symmetrization of f, with respect to the line \(x = 0\). Clearly, \(f^{\sharp }\) is a spherically symmetric and decreasing function with respect to x, for any fixed y.
Proof of Theorem 4.1
Let e be a nonnegative eigenfunction corresponding to the first eigenvalue of \((P_{\lambda })\). Then by the uniformly ellipticity condition, we have
By Pólya–Szegö inequality, we have
Moreover, it follows that
In fact,
By Hardy–Littlewood inequality, we conclude that
Then combining (4.2)–(4.4) and the property (i) of rearrangements, we get
By Theorem 3.1, we obtain
Note that (4.3) and (4.4) imply that \(e^{\sharp }\in X _{\varOmega ^{\sharp }}^{s}(\mathcal{C}^{+})\). Thus \(\lambda _{1}\geq \lambda _{1}^{\sharp }\).
On the other hand, we observe that if \(\lambda _{1}=\lambda _{1}^{ \sharp }\), then \(\lambda _{1}^{\sharp }\) attains the minimum at the function \(e^{\sharp }(x,y)\), that is, \(e^{\sharp }(x,0)\) is an eigenfunction of problem \((Q_{\lambda })\) corresponding to the first eigenvalue \(\lambda _{1}^{\sharp }\). Moreover, equalities hold through (4.2) and (4.5). Then the following equality holds:
because \(\Vert e(x,0)\Vert _{L^{2}(\varOmega )}=\Vert e^{\sharp }(x,0)\Vert _{L^{2}( \varOmega ^{\sharp })}\). Since \(e^{\sharp }\) is an eigenfunction of \((Q_{\lambda })\), we deduce from the regularity theory (see [7, 9]) that
By Lemma 4.1, we get that \(e^{\sharp }(x,y)=e(x,y)\) modulo translations. Thus, for every fixed \(y>0\), function \(e(x,y)\) is spherically symmetric up to translations. Taking the limit as \(y\rightarrow 0\), we conclude that \(e(x,0)\) is also spherically symmetric in \(\mathbb{R}^{N}\). This means that the domain Ω, which is the positivity set of \(e(x,0)\) in \(\mathbb{R}^{N}\), must be a ball, that is, \(\varOmega = \varOmega ^{\sharp }\) modulo translations. Finally, since the vector \(\nabla _{x} e (x,y)=\nabla _{x} e^{\sharp }(x,y)\) points in the direction x for fixed y, we have that if the equality holds in (4.2), then
that is, \(A(x)x=\varLambda x\) a.e., which implies that \(\sum a_{ij}(x)x _{j}=\varLambda x_{i}\) a.e. in \(\mathbb{R}^{N}\) (see also [35, 36]). □
Conclusions
For the fractional variable coefficients elliptic operator defined on a bounded domain, it has been pointed out that the variational formulation of the first eigenvalue given before does not allow using a variational approach to prove the fractional Faber–Krahn inequality. In this paper, we proved a different variational formulation of the first eigenvalue for \((P_{\lambda })\). Following this, a variational proof of the fractional Faber–Krahn inequality has been achieved by employing suitable rearrangement techniques. Based on this point, our work is valuable.
References
 1.
Bucur, C., Valdinoci, E.: Nonlocal Diffusion and Applications. Lecture Notes of the Unione Matematica Italiana, vol. 20. Springer, Bologna (2016)
 2.
Molica Bisci, G., Rǎdulescu, V., Servadei, R.: Variational Methods for Nonlocal Fractional Problems. Encyclopedia of Mathematics and Its Applications. Cambridge University Press, Cambridge (2016)
 3.
Stinga, P.R.: Fractional powers of second order partial differential operators: extension problem and regularity theory. PhD thesis, Universidad Autónoma de Madrid, Spain (2010)
 4.
Stein, E.M.: Singular Integrals and Differentiability Properties of Functions. Princeton Mathematical Series, vol. 30. Princeton University Press, Princeton (1970)
 5.
Landkof, N.S.: Foundations of Modern Potential Theory. Die Grundlehren der Mathematischen Wissenschaften, vol. 180. Springer, New York (1972)
 6.
Caffarelli, L., Silvestre, L.: An extension problem related to the fractional Laplacian. Commun. Partial Differ. Equ. 32(8), 1245–1260 (2007)
 7.
Brändle, C., Colorado, E., De Pablo, A., Sánchez, U.: A concave–convex elliptic problem involving the fractional Laplacian. Proc. R. Soc. Edinb., Sect. A 143(1), 39–71 (2013)
 8.
Cabré, X., Tan, J.G.: Positive solutions of nonlinear problems involving the square root of the Laplacian. Adv. Math. 224(5), 2052–2093 (2010)
 9.
Caffarelli, L.A., Stinga, P.R.: Fractional elliptic equations, Caccioppoli estimates and regularity. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 33, 767–807 (2016)
 10.
Sire, Y., Vázquez, J.L., Volzone, B.: Symmetrization for fractional elliptic and parabolic equations and an isoperimetric application. Chin. Ann. Math., Ser. B 38(2), 661–686 (2017)
 11.
Brandolini, B., Chiacchio, F., Henrot, A., Trombetti, C.: Existence of minimizers for eigenvalues of the Dirichlet–Laplacian with a drift. J. Differ. Equ. 259(2), 708–727 (2015)
 12.
Kawohl, B., Fridman, V.: Isoperimetric estimates for the first eigenvalue of the pLaplace operator and the Cheeger constant. Comment. Math. Univ. Carol. 44(4), 659–667 (2003)
 13.
Betta, M., Chiacchio, F., Ferone, A.: Isoperimetric estimates for the first eigenfunction of a class of linear elliptic problems. Z. Angew. Math. Phys. 58, 37–52 (2007)
 14.
Alvino, A., Ferone, V., Trombetti, G.: On the properties of some nonlinear eigenvalues. SIAM J. Math. Anal. 29(2), 437–451 (1998)
 15.
Servadei, R., Valdinoci, E.: Variational methods for nonlocal operators of elliptic type. Discrete Contin. Dyn. Syst. 33, 2105–2137 (2013)
 16.
Franzina, G., Palatucci, G.: Fractional peigenvalues. Riv. Mat. Univ. Parma 5, 315–328 (2014)
 17.
Lindgren, E., Lindqvist, P.: Fractional eigenvalues. Calc. Var. Partial Differ. Equ. 49, 795–826 (2014)
 18.
Brasco, L., Parini, E.: The second eigenvalue of the fractional pLaplacian. Adv. Calc. Var. 9, 323–355 (2016)
 19.
Iannizzotto, A., Squassina, M.: Weyltype laws for fractional peigenvalue problems. Asymptot. Anal. 88, 233–245 (2014)
 20.
Xiang, M.Q., Zhang, B.L., Rǎdulescu, V.: Multiplicity of solutions for a class of quasilinear Kirchhoff system involving the fractional pLaplacian. Nonlinearity 29, 3186–3205 (2016)
 21.
Zhang, X., Zhang, B.L., Xiang, M.Q.: Ground states for fractional Schrödinger equations involving a critical nonlinearity. Adv. Nonlinear Anal. 5(3), 293–314 (2016)
 22.
Liang, S.H., Repovs̆, D., Zhang, B.L.: On the fractional Schrödinger–Kirchhoff equations with electromagnetic fields and critical nonlinearity. Comput. Math. Appl. 75(5), 1778–1794 (2018)
 23.
Pucci, P., Xiang, M.Q., Zhang, B.L.: Existence and multiplicity of entire solutions for fractional pKirchhoff equations. Adv. Nonlinear Anal. 5, 27–55 (2016)
 24.
Pan, N., Zhang, B.L., Cao, J.: Degenerate Kirchhofftype diffusion problems involving the fractional pLaplacian. Nonlinear Anal., Real World Appl. 27, 56–70 (2017)
 25.
Faria, L., Miyagaki, O., Pereira, F., Squassina, M., Zhang, C.: The Brézis–Nirenberg problem for nonlocal systems. Adv. Nonlinear Anal. 5(1), 85–103 (2016)
 26.
Bonforte, M., Sire, Y., Vázquez, J.L.: Existence, uniqueness and asymptotic behaviour for fractional porous medium equations on bounded domains. Discrete Contin. Dyn. Syst., Ser. A 35(12), 5725–5767 (2015)
 27.
Stinga, P.R., Torrea, J.L.: Extension problem and Harnack’s inequality for some fractional operators. Commun. Partial Differ. Equ. 35, 2092–2122 (2010)
 28.
Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521–573 (2012)
 29.
Lions, J.L., Magenes, E.: Nonhomogeneous Boundary Value Problems and Applications. Vol. I. GMW, vol. 181. Springer, New York (1972)
 30.
Bandle, C.: Isoperimetric Inequalities and Applications. Monographs and Studies in Mathematics, vol. 7. Pitman, London (1980)
 31.
Kawohl, B.: Rearrangements and Convexity of Level Sets in PDE. Lecture Notes in Math., vol. 1150. Springer, Berlin (1985)
 32.
Kesavan, S.: Symmetrization and Applications. Series in Analysis, vol. 3. World Scientific, Hackensack (2006)
 33.
Brothers, J.E., Ziemer, W.P.: Minimal rearrangements of Sobolev functions. J. Reine Angew. Math. 384, 153–179 (1988)
 34.
Ferone, A., Volpicelli, R.: Convex rearrangement: equality cases in the Pólya–Szegö inequality. Calc. Var. 21, 259–272 (2004)
 35.
Alvino, A., Lions, P.L., Trombetti, G.: A remark on comparison results via symmetrization. Proc. R. Soc. Edinb. 102A, 37–48 (1986)
 36.
Kesavan, S.: On a comparison theorem via symmetrization. Proc. R. Soc. Edinb. 119A, 159–167 (1991)
Acknowledgements
The author would like to thank the referees for their useful suggestions.
Availability of data and materials
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.
Funding
This work is supported by National Natural Science Foundation of China (Grant No. 11501333, 11571208).
Author information
Affiliations
Contributions
This entire work has been completed by the author, Dr. YT. The author read and approved the final manuscript.
Corresponding author
Correspondence to Yujuan Tian.
Ethics declarations
Competing interests
The author declares that she has no competing interests.
Additional information
Abbreviations
Not applicable.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is 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
Received
Accepted
Published
DOI
MSC
 35P15
 35R11
 35J20
Keywords
 Eigenvalue
 Faber–Krahn inequality
 Rearrangement