# Some results on the eigenvalue problem for a fractional elliptic equation

- 228 Downloads

## 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.

## Keywords

Eigenvalue Faber–Krahn inequality Rearrangement## MSC

35P15 35R11 35J20## 1 Introduction

*Ω*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 so-called quasi-geostrophic 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 Dirichlet-to-Neumann 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 Weyl-type 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.

## 2 Preliminaries

In this section, we provide a self-contained description of the functional background which is necessary for the well-posedness of problem \((P_{\lambda })\). For further details, one can see [3, 9, 10, 26, 27, 28] and the references therein.

*u*is defined via Fourier transform and it can be expressed 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 Dirichlet-to-Neumann 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 self-adjoint 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:

*Ω*. 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:

*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

*Ω*, namely

*Ω*.

### Lemma 2.1

*Let*\(1\leq q<2_{s}^{\sharp }=\frac{2N}{N-2s}\). *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

*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 )\).

## 3 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

*J*on

*M*, that is, a sequence \(\{w_{j}\}_{j\in \mathbb{N}}\subset M\) such that

*e*. By Lemma 2.1, we deduce that

*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

## 4 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

*Λ*for the first

*N*diagonal elements and 1 for the remaining element.

*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

*f*as

*E*and \(C_{N}\) denote the measure of the unit ball. We define the function

*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:where$$ \int _{E} \bigl\vert f(x)g(x) \bigr\vert \,dx\leq \int _{E^{\sharp }}f^{\sharp }(x)g^{\sharp }(x)\,dx, $$
*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*.

*f*. Denote by \(f^{*}(s,y)\) the decreasing rearrangement of

*f*, with respect to

*x*for

*y*fixed. We define the function

*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

*e*be a nonnegative eigenfunction corresponding to the first eigenvalue of \((P_{\lambda })\). Then by the uniformly ellipticity condition, we have

*Ω*, 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

*a.e.*, which implies that \(\sum a_{ij}(x)x _{j}=\varLambda x_{i}\)

*a.e.*in \(\mathbb{R}^{N}\) (see also [35, 36]). □

## 5 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.

## Notes

### 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.

### Authors’ contributions

This entire work has been completed by the author, Dr. YT. The author read and approved the final manuscript.

### Funding

This work is supported by National Natural Science Foundation of China (Grant No. 11501333, 11571208).

### Competing interests

The author declares that she has no competing interests.

## References

- 1.Bucur, C., Valdinoci, E.: Nonlocal Diffusion and Applications. Lecture Notes of the Unione Matematica Italiana, vol. 20. Springer, Bologna (2016) zbMATHGoogle Scholar
- 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) CrossRefGoogle Scholar
- 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) Google Scholar
- 4.Stein, E.M.: Singular Integrals and Differentiability Properties of Functions. Princeton Mathematical Series, vol. 30. Princeton University Press, Princeton (1970) zbMATHGoogle Scholar
- 5.Landkof, N.S.: Foundations of Modern Potential Theory. Die Grundlehren der Mathematischen Wissenschaften, vol. 180. Springer, New York (1972) CrossRefGoogle Scholar
- 6.Caffarelli, L., Silvestre, L.: An extension problem related to the fractional Laplacian. Commun. Partial Differ. Equ.
**32**(8), 1245–1260 (2007) MathSciNetCrossRefGoogle Scholar - 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) MathSciNetCrossRefGoogle Scholar - 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) MathSciNetCrossRefGoogle Scholar - 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) MathSciNetCrossRefGoogle Scholar - 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) MathSciNetCrossRefGoogle Scholar - 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) MathSciNetCrossRefGoogle Scholar - 12.Kawohl, B., Fridman, V.: Isoperimetric estimates for the first eigenvalue of the
*p*-Laplace operator and the Cheeger constant. Comment. Math. Univ. Carol.**44**(4), 659–667 (2003) MathSciNetzbMATHGoogle Scholar - 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) MathSciNetCrossRefGoogle Scholar - 14.Alvino, A., Ferone, V., Trombetti, G.: On the properties of some nonlinear eigenvalues. SIAM J. Math. Anal.
**29**(2), 437–451 (1998) MathSciNetCrossRefGoogle Scholar - 15.Servadei, R., Valdinoci, E.: Variational methods for non-local operators of elliptic type. Discrete Contin. Dyn. Syst.
**33**, 2105–2137 (2013) MathSciNetzbMATHGoogle Scholar - 16.Franzina, G., Palatucci, G.: Fractional
*p*-eigenvalues. Riv. Mat. Univ. Parma**5**, 315–328 (2014) MathSciNetzbMATHGoogle Scholar - 17.Lindgren, E., Lindqvist, P.: Fractional eigenvalues. Calc. Var. Partial Differ. Equ.
**49**, 795–826 (2014) MathSciNetCrossRefGoogle Scholar - 18.Brasco, L., Parini, E.: The second eigenvalue of the fractional
*p*-Laplacian. Adv. Calc. Var.**9**, 323–355 (2016) MathSciNetCrossRefGoogle Scholar - 19.Iannizzotto, A., Squassina, M.: Weyl-type laws for fractional
*p*-eigenvalue problems. Asymptot. Anal.**88**, 233–245 (2014) MathSciNetzbMATHGoogle Scholar - 20.Xiang, M.Q., Zhang, B.L., Rǎdulescu, V.: Multiplicity of solutions for a class of quasilinear Kirchhoff system involving the fractional p-Laplacian. Nonlinearity
**29**, 3186–3205 (2016) MathSciNetCrossRefGoogle Scholar - 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) MathSciNetzbMATHGoogle Scholar - 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) MathSciNetCrossRefGoogle Scholar - 23.Pucci, P., Xiang, M.Q., Zhang, B.L.: Existence and multiplicity of entire solutions for fractional
*p*-Kirchhoff equations. Adv. Nonlinear Anal.**5**, 27–55 (2016) MathSciNetzbMATHGoogle Scholar - 24.Pan, N., Zhang, B.L., Cao, J.: Degenerate Kirchhoff-type diffusion problems involving the fractional
*p*-Laplacian. Nonlinear Anal., Real World Appl.**27**, 56–70 (2017) MathSciNetCrossRefGoogle Scholar - 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) MathSciNetzbMATHGoogle Scholar - 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) MathSciNetCrossRefGoogle Scholar - 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) MathSciNetCrossRefGoogle Scholar - 28.Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math.
**136**, 521–573 (2012) MathSciNetCrossRefGoogle Scholar - 29.Lions, J.L., Magenes, E.: Non-homogeneous Boundary Value Problems and Applications. Vol. I. GMW, vol. 181. Springer, New York (1972) zbMATHGoogle Scholar
- 30.Bandle, C.: Isoperimetric Inequalities and Applications. Monographs and Studies in Mathematics, vol. 7. Pitman, London (1980) zbMATHGoogle Scholar
- 31.Kawohl, B.: Rearrangements and Convexity of Level Sets in PDE. Lecture Notes in Math., vol. 1150. Springer, Berlin (1985) zbMATHGoogle Scholar
- 32.Kesavan, S.: Symmetrization and Applications. Series in Analysis, vol. 3. World Scientific, Hackensack (2006) zbMATHGoogle Scholar
- 33.Brothers, J.E., Ziemer, W.P.: Minimal rearrangements of Sobolev functions. J. Reine Angew. Math.
**384**, 153–179 (1988) MathSciNetzbMATHGoogle Scholar - 34.Ferone, A., Volpicelli, R.: Convex rearrangement: equality cases in the Pólya–Szegö inequality. Calc. Var.
**21**, 259–272 (2004) MathSciNetCrossRefGoogle Scholar - 35.Alvino, A., Lions, P.L., Trombetti, G.: A remark on comparison results via symmetrization. Proc. R. Soc. Edinb.
**102A**, 37–48 (1986) MathSciNetCrossRefGoogle Scholar - 36.Kesavan, S.: On a comparison theorem via symmetrization. Proc. R. Soc. Edinb.
**119A**, 159–167 (1991) CrossRefGoogle Scholar

## Copyright information

**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.