Abstract
We study the asymptotics of Dirichlet eigenvalues and eigenfunctions of the fractional Laplacian \((-\Delta )^s\) in bounded open Lipschitz sets in the small order limit \(s \rightarrow 0^+\). While it is easy to see that all eigenvalues converge to 1 as \(s \rightarrow 0^+\), we show that the first order correction in these asymptotics is given by the eigenvalues of the logarithmic Laplacian operator, i.e., the singular integral operator with Fourier symbol \(2\log |\xi |\). By this we generalize a result of Chen and the third author which was restricted to the principal eigenvalue. Moreover, we show that \(L^2\)-normalized Dirichlet eigenfunctions of \((-\Delta )^s\) corresponding to the k-th eigenvalue are uniformly bounded and converge to the set of \(L^2\)-normalized eigenfunctions of the logarithmic Laplacian. In order to derive these spectral asymptotics, we establish new uniform regularity and boundary decay estimates for Dirichlet eigenfunctions for the fractional Laplacian. As a byproduct, we also obtain corresponding regularity properties of eigenfunctions of the logarithmic Laplacian.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Fueled by various applications and important links to stochastic processes and partial differential equations, the interest in nonlocal operators and associated Dirichlet problems has been growing rapidly in recent years. In this context, the fractional Laplacian has received by far the most attention, see e.g. [2,3,4,5,6,7,8, 25, 29] and the references therein. We recall that, for compactly supported functions \(u: \mathbb {R}^N \rightarrow \mathbb {R}\) of class \(C^2\) and \(s \in (0,1)\), the fractional Laplacian \((-\Delta )^s\) is well-defined by
The normalization constant \(C_{N,s}\) is chosen such that \((-\Delta )^s\) is equivalently given by
where, here and in the following, \({{\mathcal {F}}}\) denotes the usual Fourier transform. We emphasize that the fractional Laplacian is an operator of order 2s and many related regularity properties—in particular of associated eigenfunctions—rely on this fact.
The present paper is concerned with the small order asymptotics \(s \rightarrow 0^+\) of the Dirichlet eigenvalue problem
where \(\Omega \subset \mathbb {R}^N\) is a bounded open set with Lipschitz boundary and \(\Omega ^c:= \mathbb {R}^N \setminus \Omega \). It is well known (see [30, Proposition 9] or [4, Proposition 3.1]) that, for every \(s \in (0,1)\), (1.3) admits an ordered sequence of eigenvalues
with \(\lambda _{k,s} \rightarrow \infty \) as \(k \rightarrow \infty \) and a corresponding \(L^2\)-orthonormal basis of eigenfunctions \(\varphi _{k,s}\), \(k \in \mathbb {N}\). Moreover, \(\varphi _{1,s}\) is unique up to sign and can be chosen as a positive function.
The starting point of the present work is the basic observation that
which readily follows from (1.2) and standard properties of the Fourier transform (see also [13, Proposition 4.4]. Similarly, we have
where \({{\mathcal {E}}}_s\) denotes the quadratic form associated with \((-\Delta )^s\) given by
We remark that these convergence properties in the limit \(s \rightarrow 0^+\) extend to a non-Hilbertian setting of quasilinear operators where the Fourier transform cannot be employed, see e.g. [1] and the references therein. It is not difficult to deduce from (1.5) that
see Sect. 2 below for details. However, there is no straightforward approach to obtain the asymptotics of associated eigenfunctions as \(s \rightarrow 0^+\) since, as a consequence of (1.5) and (1.6), no uniform regularity theory is available for the fractional Laplacian \((-\Delta )^s\) in the case where s is close to zero. For general bounded open sets with Lipschitz boundary, the only available result regarding these asymptotics is contained in [9], where Chen and the third author introduced the Dirichlet problem for the logarithmic Laplacian operator \(L_{{ \Delta \,}}\!\) to give a more detailed description of the first eigenvalue \(\lambda _{1,s}\) and the corresponding eigenfunction \(\varphi _{1,s}\) as \(s \rightarrow 0^+\). On compactly supported Dini continuous functions, the operator \(L_{{ \Delta \,}}\!\) is pointwisely given by
where \(C_N = \pi ^{-\frac{N}{2}}\Gamma (\frac{N}{2})\), and \(\rho _{N} = 2\log 2 + \psi (\frac{N}{2})-\gamma \). Here, \(\psi = \frac{\Gamma '}{\Gamma }\) denotes the Digamma function, and \(\gamma = -\Gamma '(1)\) is the Euler–Mascheroni constant.
We note two key properties of the operator \(L_{{ \Delta \,}}\!\) shown in [9]. If \(u \in C^\beta _c(\mathbb {R}^N)\) for some \(\beta >0\), then
so the operator \(L_{{ \Delta \,}}\!\) has the Fourier symbol \(\xi \mapsto 2 \log |\xi |\). Moreover,
Hence, \(L_{{ \Delta \,}}\!\) arises as a formal derivative of fractional Laplacians at \(s = 0\). As a consequence of (1.9), \(L_{{ \Delta \,}}\!\) is an operator of logarithmic order, and it belongs to a class of weakly singular integral operators having an intrinsic scaling property. Operators of this type have also been studied e.g. in [11, 16,17,18,19, 21,22,23, 28], while the most attention has been given to Lévy generators of geometric stable processes. These operators have a Fourier symbol of the form \(\xi \mapsto \log (1+|\xi |^{2\beta })\) with some \(\beta >0\). The particular case \(\beta = 1\) corresponds to the variance gamma process, and the kernel of the associated Lévy generator has the same weakly singular behavior as the one of \(L_{{ \Delta \,}}\!\). The operator \(L_{{ \Delta \,}}\!\) also arises in a geometric context of the 0-fractional perimeter studied recently in [12].
Using (1.10) and related functional analytic properties, it has been shown in [9, Theorem 1.5] that
where \(\lambda _{1,L}\) denotes the principal eigenvalue of the Dirichlet eigenvalue problem
and \(\varphi _{1,L}\) denotes the corresponding (unique) positive \(L^2\)-normalized eigenfunction. Here we note that we consider both (1.3) and (1.12) in a suitable weak sense which we will make more precise below.
The main aim of the present paper is twofold. First, we wish to improve the \(L^2\)-convergence \(\varphi _{1,s} \rightarrow \varphi _{1,L}\) in (1.11). For this, new tools are needed in order to overcome the lack of uniform regularity estimates for the fractional Laplacian \((-\Delta )^s\) for s close to zero. Secondly, we wish to extend the convergence result from [9] to higher eigenvalues and eigenfunctions. Due to the multiplicity of eigenvalues and eigenfunctions for \(k\ge 2\), this also requires a new approach based on the use of Fourier transform in combination with the Courant-Fischer characterization of eigenvalues.
In order to state our main results, we need to introduce some notation regarding the weak formulations of (1.3) and (1.12). For the weak formulation of (1.3), we consider the standard Sobolev space
and we call \(\varphi \in {{\mathcal {H}}}^s_0(\Omega )\) an eigenfunction of (1.3) corresponding to the eigenvalue \(\lambda \) if
For the weak formulation of (1.12), we follow [9] and define the space
where the quadratic form \(\langle \cdot ,\cdot \rangle _{\!{ {{\mathcal {H}}}^0_0(\Omega )}}\) is given by
A function \(\varphi \in {{\mathcal {H}}}^0_0(\Omega )\) is called an eigenfunction of (1.12) corresponding to the eigenvalue \(\lambda \) if
where
is the quadratic form associated with \(L_{{ \Delta \,}}\!\). For more details, see Sect. 2 below and [9].
The first main result of this paper now reads as follows.
Theorem 1.1
Let \(\Omega \subset \mathbb {R}^N\) be a bounded open set with Lipschitz boundary and let \(k \in \mathbb {N}\). Moreover, for \(s \in (0,\frac{1}{4})\), let \(\lambda _{k,s}\) resp. \(\lambda _{k,L}\) denote the k-th Dirichlet eigenvalue of the fractional and logarithmic Laplacian, respectively, and let \(\varphi _{k,s}\) denote an \(L^2\)-normalized eigenfunction. Then we have:
-
(i)
The eigenvalue \(\lambda _{k,s}\) satisfies the expansion
$$\begin{aligned} \lambda _{k,s} = 1 + s \lambda _{k,L} + o(s) \qquad \text {as } s \rightarrow 0^+. \end{aligned}$$(1.17) -
(ii)
The set \(\{\varphi _{k,s}\,:\, s \in (0,\frac{1}{4}]\}\) is bounded in \(L^\infty (\Omega )\) and relatively compact in \(L^p(\Omega )\) for every \(p<\infty \).
-
(iii)
The set \(\{\varphi _{k,s}\,:\, s \in (0,\frac{1}{4}]\}\) is equicontinuous in every point \(x_0 \in \Omega \) and therefore relatively compact in C(K) for any compact subset \(K \subset \Omega \).
-
(iv)
If \(\Omega \) satisfies an exterior sphere condition, then the set \(\{\varphi _{k,s}\,:\, s \in (0,\frac{1}{4}]\}\) is relatively compact in the space \(C_0(\Omega ) := \{u \in C(\mathbb {R}^N)\,:\, u \equiv 0 \quad \text {in } \Omega ^c\}\).
-
(v)
If \((s_n)_n \subset (0,\frac{1}{4}]\) is a sequence with \(s_n \rightarrow 0\) as \(n \rightarrow \infty \), then, after passing to a subsequence, we have
$$\begin{aligned} \varphi _{k,s_n} \rightarrow \varphi _{k,L} \quad \text {as } n \rightarrow \infty \end{aligned}$$(1.18)in \(L^p(\Omega )\) for \(p < \infty \) and locally uniformly in \(\Omega \), where \(\varphi _{k,L}\) is an \(L^2\)-normalized eigenfunction of the logarithmic Laplacian corresponding to the eigenvalue \(\lambda _{k,L}\). If, moreover, \(\Omega \) satisfies an exterior sphere condition, then the convergence in (1.18) is uniform in \({\overline{\Omega }}\).
Here and in the following, we identify the space \(L^p(\Omega )\) with the space of functions \(u \in L^p(\mathbb {R}^N)\) with \(u \equiv 0\) on \(\Omega ^c\).
Remark 1.2
-
(i)
Theorem 1.1 complements [9, Theorem 1.5] by emphazising the relevance of higher Dirichlet eigenvalues and eigenfunctions of \(L_{{ \Delta \,}}\!\) for the spectral asymptotics of the fractional Laplacian as \(s \rightarrow 0^+\). We note that upper and lower bounds for the Dirichlet eigenvalues \(\lambda _{k,L}\) of the logarithmic Laplacian and corresponding Weyl type asymptotics in the limit \(k \rightarrow + \infty \) have been derived in [27] and more recently in [10].
-
(ii)
The number \(\frac{1}{4}\) in the above theorem is chosen for technical reasons, as it allows to reduce the number of case distinctions in the arguments. In the case \(N \ge 2\), it can be replaced by any fixed number smaller than 1, and in the case \(N=1\) it can be replaced by any fixed number smaller than \(\frac{1}{2}\). Since we are only interested in parameters s close to zero in this paper, we omit the details of such an extension.
As noted already, the principal eigenvalue \(\lambda _{1,s}(\Omega )\) admits, up to sign, a unique \(L^2\)-normalized eigenfunction which can be chosen to be positive. Hence Theorem 1.1 and [9, Theorem 1.5] give rise to the following corollary.
Corollary 1.3
Let \(\Omega \subset \mathbb {R}^N\) be a bounded open set with Lipschitz boundary and let, for \(s \in (0,\frac{1}{4}]\), \(\varphi _{1,s}\) denote the unique positive \(L^2\)-normalized eigenfunction of \((-\Delta )^s\) corresponding to the principal Dirichlet eigenvalue \(\lambda _{1,s}\). Then we have
in \(L^p(\Omega )\) for \(p < \infty \) and locally uniformly in \(\Omega \), where \(\varphi _{1,L}\) is the unique positive \(L^2\)-normalized eigenfunction of \(L_{{ \Delta \,}}\!\) corresponding to the principal Dirichlet eigenvalue \(\lambda _{1,L}\).
If, moreover, \(\Omega \) satisfies an exterior sphere condition, then the convergence in (1.19) is uniform in \({\overline{\Omega }}\).
As a further corollary of Theorem 1.1, we shall derive the following regularity properties of eigenfunctions of the logarithmic Laplacian.
Corollary 1.4
Let \(\Omega \subset \mathbb {R}^N\) be a bounded open set with Lipschitz boundary, and let \(\varphi \in {{\mathcal {H}}}^0_0(\Omega )\) be an eigenfunction of (1.12). Then \(\varphi \in L^\infty (\Omega ) \cap C_{loc}(\Omega )\). Moreover, if \(\Omega \) satisfies an exterior sphere condition, then \(\varphi \in C_0(\Omega )\).
Remark 1.5
We briefly comment on the main steps and difficulties in the proof of Theorem 1.1. The first step is to prove the asymptotic expansion (1.17) and the \(L^2\)-convergence property asserted in Theorem 1.1(v). Then, we prove the uniform \(L^\infty \)-bound on eigenfunctions as stated in Theorem 1.1(ii). For this, we use a new technique based on the splitting of the integral over \(\mathbb {R}^N\) on a small ball of radius \(\delta \) (\(\delta \)-decomposition) and apply known results and conditions associated to the newly obtained quadratic form as in [15, 19]. We emphasize that this technique strongly simplifies the general De Giorgi iteration method in combination with Sobolev embedding to prove \(L^{\infty }\)-bounds. We also point out that this \(\delta \)-decomposition method is applicable for general nonlocal operators and allows to get explicit constants for the boundedness.
As a third step, we prove the local equicontinuity result stated in Theorem 1.1(iii). A natural strategy of proving this result is to first obtain a locally uniform estimate for the difference
and then to use the local regularity estimates available for the class of weakly singular operators containing \(L_{{ \Delta \,}}\!\), see e.g. [21] and the references therein. However, we are not able to obtain uniform estimates for the difference in (1.20). Therefore we first prove uniform bounds related to an s-dependent auxiliary integral operator family instead (see Lemma 4.4 below), and then we complete the proof by a direct contradiction argument. We recall here that regularity estimates for \((-\Delta )^s\) alone, even those with explicit constants, cannot yield sufficient uniform control on continuity modules of the functions \(\varphi _{k,s}\) since \((-\Delta )^s\) converges to the identity operator, as noted in (1.5). Once local equicontinuity is established, we then prove, assuming a uniform exterior sphere condition for \(\Omega \), a uniform decay property in the sense that there exists, for every fixed \(k \in \mathbb {N}\), a function \(h_k \in C_0(\Omega )\) with the property that \(|\varphi _{k,s}| \le h_k\) in \(\Omega \) for all \(s \in (0,\frac{1}{4}]\). This will be done with the help of a uniform small volume maximum principle and uniform radial barrier function for the difference quotient operator \(\frac{(-\Delta )^s-{{\,\mathrm{\mathrm id}\,}}}{s}\), see Sect. 5 below. We point out that the lack of uniform estimates for the difference in (1.20) prevents us from using directly the boundary decay estimates in [23] and [9, Sect. 5]. On the other hand, the estimates in [23] allow to deduce, together with Corollary 1.4, that every eigenfunction \(\varphi \in {{\mathcal {H}}}^0_0(\Omega )\) of \(L_{{ \Delta \,}}\!\) satisfies
at least in the case when the underlying domain \(\Omega \) is of class \(C^{1,1}\). As a consequence, we conjecture that also the majorizing functions \(h_k\) above can be chosen with the property that \(h_k(x) \sim \bigl (- \ln \text {dist}(x,\Omega ^c)\bigr )^{-1/2}\) as \(x \rightarrow \partial \Omega \).
The paper is organized as follows. In Sect. 2, we collect preliminary results on the functional analytic setting. Moreover, we prove the asymptotic expansion (1.17) and the \(L^2\)-convergence property asserted in Theorem 1.1(v). In Sect. 3, we prove the uniform \(L^\infty \)-bound on eigenfunctions as stated in Theorem 1.1(ii). In Sect. 4, we then prove the local equicontinuity result stated in Theorem 1.1(iii). In Sect. 5, we prove, assuming a uniform exterior sphere condition for \(\Omega \), a uniform decay property for the set of eigenfunctions \(\{\varphi _{k,s}\,:\, s \in (0,\frac{1}{4}]\}\). Combining this uniform decay property with the local equicontinuity proved in Sect. 4, the relative compactness in \(C_0(\Omega )\) then follows, as claimed in Theorem 1.1(iv). In Sect. 6, we finally complete the proof of the main results stated here in the introduction.
Notation. We let \(\omega _{N-1}= \frac{2\pi ^{\frac{N}{2}}}{\Gamma (\frac{N}{2})} = \frac{2}{C_N}\) denote the measure of the unit sphere in \(\mathbb {R}^N\). For a set \(A \subset \mathbb {R}^N\) and \(x \in \mathbb {R}^N\), we define \(\delta _A(x):=\text {dist}(x,A^c)\) with \(A^c=\mathbb {R}^N\setminus A\) and, if A is measurable, then |A| denotes its Lebesgue measure. Moreover, for given \(r>0\), let \(B_r(A):=\{x\in \mathbb {R}^N\;:\; \text {dist}(x,A)<r\}\), and let \(B_r(x):=B_r(\{x\})\) denote the ball of radius r with x as its center. If \(x=0\) we also write \(B_r\) instead of \(B_r(0)\).
For \(A\subset \mathbb {R}^N\) and \(u:A\rightarrow \mathbb {R}\) we denote \(u^+:=\max \{u,0\}\) as the positive and \(u^-=-\min \{u,0\}\) as the negative part of u, so that \(u=u^+-u^-\). Moreover, we let
denote the oscillation of u over A. If A is open, we denote by \(C^k_c(A)\) the space of function \(u:\mathbb {R}^N\rightarrow \mathbb {R}\) which are k-times continuously differentiable and with support compactly contained in A.
2 First Order Expansion of Eigenvalues and \(L^2\)-convergence of Eigenfunctions
In this section, we first collect some preliminary notions and observations. After this, we complete the proof Theorem 1.1(i), see Theorem 2.10 below.
For \(s \in (0,1)\), we use the fractional Sobolev space \(H^s(\mathbb {R}^N)\) defined as
with corresponding norm given by
We recall that this norm is induced by the scalar product
where
for \(u,v \in H^s(\mathbb {R}^N)\) and the constant \(C_{N,s}\) is given in (1.1). The following elementary observations involving the asymptotics of \(C_{N,s}\) are used frequently in the paper.
Lemma 2.1
With \(C_N = \pi ^{-\frac{N}{2}}\Gamma (\frac{N}{2})= \frac{2}{\omega _{N-1}}\) and \(\rho _{N} = 2\log 2 + \psi (\frac{N}{2})-\gamma \) as defined in the introduction, we have
Consequently, there exists a constant \(D_N>0\) with
Proof
The function
is of class \(C^1\) on [0, 1) and satisfies \(\tau (0)=1\) and \(\tau '(0)= \rho _{N}\). Hence (2.4) follows, and (2.5) is an immediate consequence of (2.4) and the fact that the function \(s \mapsto C_{N,s}\) is continuous. \(\square \)
In the remainder of this paper, we assume that \(\Omega \subset \mathbb {R}^N\) is an open bounded subset with Lipschitz boundary. As noted already in the introduction, we identify, for \(p \in [1,\infty ]\), the space \(L^p(\Omega )\) with the space of functions \(u \in L^p(\mathbb {R}^N)\) satisfying \(u \equiv 0\) on \(\Omega ^c\).
For \(s \in (0,1)\), we then consider the subspace \({{\mathcal {H}}}^{s}_{0}(\Omega ) \subset H^{s}(\mathbb {R}^N)\) as defined in (1.13). Due to the boundedness of \(\Omega \), we have
so we can equip the Hilbert space \({{\mathcal {H}}}^s_0(\Omega )\) with the scalar product \({{\mathcal {E}}}_s\) and induced norm
Moreover, \({{\mathcal {H}}}^s_0(\Omega )\) is compactly embedded in \(L^2(\Omega )\), \(C^2_c(\Omega )\) is dense in \({{\mathcal {H}}}^s_0(\Omega )\), and we have
see [13]. We now set up the corresponding framework of problem (1.12) for the logarithmic Laplacian. We let as in the introduction, see (1.15), (1.14),
Then the map
is a scalar product on \({{\mathcal {H}}}^0_0(\Omega )\) by [15, Lemma 2.7], and the space \({{\mathcal {H}}}^0_0(\Omega )\) is a Hilbert space. Here, \(C_N=\pi ^{-N/2}\Gamma (\frac{N}{2})=\frac{2}{\omega _{N-1}}\) is as in the introduction. We denote the induced norm by \(\Vert \cdot \Vert _{\!{ {{\mathcal {H}}}^0_0(\Omega )}}\). Moreover, by [11, Theorem 2.1]),
and the space \(C^2_c(\Omega )\) is dense in \({{\mathcal {H}}}^0_0(\Omega )\) by [9, Theorem 3.1].
Remark 2.2
We stress that, despite the similarities noted above, \({{\mathcal {H}}}^0_0(\Omega )\) should not be considered as a limit of the Hilbert spaces \({{\mathcal {H}}}^s_0(\Omega )\) as \(s \rightarrow 0^+\). In particular, it is not the limit in the sense of [24]. Instead, the space \({{\mathcal {H}}}_0^0(\Omega )\) arises naturally when considering a first oder expansion of \(\langle \cdot ,\cdot \rangle _{H^s(\mathbb {R}^N)}\), cf. Lemma 2.6 below.
Next we note that, setting
with \(\rho _{N} = 2\log 2 + \psi (\frac{N}{2})-\gamma \) as in the introduction, we have
see [9]. In order to get a convenient parameter-dependent notation for the remainder of this section, we now put
Then, for \(s \in [0,1)\), we call \(\lambda \in \mathbb {R}\) a Dirichlet-eigenvalue of \(L^s\) in \(\Omega \) with corresponding eigenfunction \(u\in {{\mathcal {H}}}^s_0(\Omega )\setminus \{0\}\) if
holds in weak sense, i.e., if
In the following Proposition we collect the known properties on the eigenvalues and eigenfunctions of the fractional Laplacian and the logarithmic Laplacian, see e.g. [4, Proposition 3.1] and the references in there for the fractional Laplacian and [9, Theorem 3.4]) for the logarithmic Laplacian.
Proposition 2.3
Let \(\Omega \subset \mathbb {R}^N\) be an open bounded set with Lipschitz boundary, and let \(s\in [0,1)\). Then the following holds:
-
(a)
The eigenvalues of problem (2.11) consist of a sequence \(\{\lambda _{k,s}(\Omega )\}_{k\in \mathbb {N}}\) with \(0<\lambda _{1,s}(\Omega )< \lambda _{2,s}(\Omega )\le \cdots \le \lambda _{k,s}(\Omega )\le \lambda _{k+1,s}(\Omega )\le \cdots ~~ \text {and} ~~\lim \limits _{k\rightarrow \infty } \lambda _{k,s} (\Omega ) = +\infty .\)
-
(b)
The sequence \(\{ \varphi _{k,s}\}_{k\in \mathbb {N}}\) of eigenfunctions corresponding to eigenvalues \(\lambda _{k,s}(\Omega )\) forms a complete orthonormal basis of \(L^2(\Omega )\) and an orthogonal system of \({{\mathcal {H}}}_0^s(\Omega )\).
-
(c)
For any \(k\in \mathbb {N}\), the eigenvalue \(\lambda _{k,s}(\Omega )\) is characterized as
$$\begin{aligned} \lambda _{k,s}(\Omega ) = \min \left\{ {{\mathcal {E}}}_s(u,u): u\in \mathbb {P}_{k,s}(\Omega )~~~\text { and }~~~\Vert u\Vert _{L^2(\Omega )}=1\right\} , \end{aligned}$$where \(\mathbb {P}_{1,s}(\Omega ) = {{\mathcal {H}}}^s_0(\Omega )\) and
$$\begin{aligned} \mathbb {P}_{k,s}(\Omega ) = \left\{ u\in {{\mathcal {H}}}^s_0(\Omega ) :{{\mathcal {E}}}_s(u,\varphi _{j,s}) = 0\; \text {for } j=1,\cdots ,k-1 \right\} \qquad \text {for } k>1. \end{aligned}$$ -
(d)
The first eigenvalue \(\lambda _{1,s}(\Omega )\) is simple and the corresponding eigenfunction \(\varphi _{1,s}\) does not change its sign in \(\Omega \) and can be chosen to be strictly positive in \(\Omega \).
Remark 2.4
-
(i)
The characterization in Proposition 2.3(c) implies that \(\lambda _{1,s}(\Omega )\), as defined in (2.6), is indeed the first Dirichlet eigenvalue of \((-\Delta )^s\) on \(\Omega \), so the notation is consistent.
-
(ii)
We emphasize that in the case \(s=0\) the eigenvalues \(\lambda _{k,0}\) and corresponding eigenfunctions \(\varphi _{k,0}\) for \(k\in \mathbb {N}\) are also denoted by \(\lambda _{k,L}\) and \(\varphi _{k,L}\) resp. as in the introduction for consistency.
-
(iii)
By the Courant-Fischer minimax principle and due to the density of \(C^2_c(\Omega )\) in \({{\mathcal {H}}}^s_0(\Omega )\), the eigenvalues \(\lambda _{k,s}\), \(s \in [0,1)\), \(k \in \mathbb {N}\) can be characterized equivalently as
$$\begin{aligned} \lambda _{k,s}(\Omega )= \inf _{\begin{array}{c} V\subset {{\mathcal {H}}}^s_0(\Omega )\\ \dim V = k \end{array}}\,\max _{\begin{array}{c} v\in V\setminus \{0\} \\ \Vert v\Vert _{L^2(\Omega )}=1 \end{array}} {{\mathcal {E}}}_{s}(v,v) =\inf _{\begin{array}{c} V\subset C^2_c(\Omega )\\ \dim V = k \end{array}}\, \max _{\begin{array}{c} v\in V\setminus \{0\} \\ \Vert v\Vert _{L^2(\Omega )}=1 \end{array}} {{\mathcal {E}}}_{s}(v,v). \nonumber \\ \end{aligned}$$(2.12)This fact will be used in the sequel.
Next, we need the following elementary estimates.
Lemma 2.5
For \(s \in (0,1)\) and \(r>0\) we have
and
Proof
Fix \(r>0\) and let \(h_r(s)=r^{2s}\), \(r>0\). Then we have \(h_r'(\tau )= 2 r^{2\tau } \ln r\) and \(h_r''(\tau )= 4 r^{2\tau } \ln ^2 (r) \) for \(\tau >0\). Consequently,
where in the last step we used that \(r^{2s} \le 1\) for \(r \le 1\) and, since \(s<1\),
Hence (2.13) is true. Moreover, by Taylor expansion,
and therefore
Hence (2.14) follows since for \(r \in (0,1]\) we have \(r^{2s} \le 1\) and, since \(s<1\),
\(\square \)
Lemma 2.6
For every \(u \in C^2_c(\Omega )\) and \(s \in (0,1)\) we have
and
with \(\kappa _{N} = (2\pi )^{-N} \int _{B_1(0)} \ln ^2 |\xi | \,d \xi .\)
Proof
Let \(u \in C^2_c(\Omega )\) and \(s \in (0,1)\). By (2.3) and (2.13), we have
Thus (2.15) follows. Moreover, by (2.14) we have
Hence (2.16) follows. \(\square \)
Lemma 2.7
For all \(k \in \mathbb {N}\) we have
and
with a constant \(C= C(N,\Omega ,k)>0\).
Proof
We fix a subspace \(V\subset C^2_c(\Omega )\) of dimension k and let \(S_V:=\{u\in V\;:\; \Vert u\Vert _{L^2(\Omega )}=1\}\). Using (2.12) and (2.15), we find that, for \(s \in (0,1)\),
with
Hence (2.18) holds. Technically speaking, the constant C depends on the choice of V, but V can be chosen merely in dependence of \(\Omega \). Moreover, setting \({{\mathcal {R}}}_s(u)= \frac{{{\mathcal {E}}}_s(u,u) - 1}{s}- {{\mathcal {E}}}_0(u,u)\) for \(u \in C^2_c(\Omega )\), we deduce from (2.19) that
while, by Lemma 2.6,
Consequently,
Since V was chosen arbitrarily, the characterization of the Dirichlet eigenvalues of the logarithmic Laplacian given in (2.12) with \(s=0\) implies that
In particular, the last inequality in (2.17) holds. Moreover, since \(\lambda _{k,s}(\Omega ) \ge \lambda _{1,s}(\Omega )\) for every \(k \in \mathbb {N}\) and
by [9, Theorem 1.5], the first inequality in (2.17) also follows. \(\square \)
Corollary 2.8
For all \(k \in \mathbb {N}\) we have \(\lim \limits _{s \rightarrow 0^+} \lambda _{k,s}(\Omega )= 1\).
Proof
This immediately follows from (2.17). \(\square \)
Lemma 2.9
Let \(k \in \mathbb {N}\), \(s_0 \in (0,1)\), and let, for \(s \in (0,s_0)\), \(\varphi _{k,s} \in {{\mathcal {H}}}^s_0(\Omega )\) denote an \(L^2\)-normalized eigenfunction of \((-\Delta )^s\) in \(\Omega \). Then the set
is uniformly bounded in \({{\mathcal {H}}}^0_0(\Omega )\) and therefore relatively compact in \(L^2(\Omega )\).
Proof
By (2.18), there exists a constant \(C=C(N,\Omega ,k)>0\) with the property that
where, due to the \(L^2\)-normalization of \(\varphi _{k,s}\),
Therefore, using the definition of \(\Vert \cdot \Vert _{{{\mathcal {H}}}^0_0(\Omega )}\), we deduce that
where, by Hölder’s inequality,
using again the \(L^2\)-normalization. Combining this with (2.23), we find that
Since moreover \(\frac{sC_N }{C_{N,s}}\rightarrow 1\) and \(f_{N}(s) \rightarrow \rho _N\) as \(s\rightarrow 0^+\) by Lemma 2.1, we conclude that there exists a constant \(K=K(N,k,\Omega )>0\) and \(s_1\in (0,1)\) such that
Consequently, the set \(\{ \varphi _{k,s}\,:\, s \in (0,s_1)\}\) is uniformly bounded in \({{\mathcal {H}}}_0^0(\Omega )\) and thus relatively compact in \(L^2(\Omega )\) by (2.9). Hence the claim follows for \(s_0 \le s_1\).
If \(s_0 \in (s_1,1)\), we can use the fact that by (2.18) we have, for \(s \in [s_1,s_0]\),
with a constant \(C= C(N,\Omega ,k)>0\) and hence
We thus conclude that the set \(\{ \varphi _{k,s}\,:\, s \in (0,s_0)\}\) is uniformly bounded in \({{\mathcal {H}}}_0^0(\Omega )\) and thus relatively compact in \(L^2(\Omega )\) by (2.9), as claimed. \(\square \)
We finish this section with the the following theorem which, in particular, completes the proof of Theorem 1.2(i).
Theorem 2.10
For every \(k \in \mathbb {N}\) we have
Moreover, if \((s_n)_n \subset (0,1)\) is a sequence such that \(\lim \limits _{n\rightarrow \infty }s_n=0\) and \(\varphi _{k,s_n}\) is an \(L^2\)-normalized Dirichlet eigenfunction of \((-\Delta )^s\) corresponding to the eigenvalue \(\lambda _{k,s}(\Omega )\), then, after passing to a subsequence,
where \(\varphi _{k,0}\) is an \(L^2\)-normalized Dirichlet eigenfunction of the logarithmic Laplacian corresponding to \(\lambda _{k,0}(\Omega )\).
Proof
To establish (2.24), it suffices, in view of (2.17), to consider an arbitrary sequence \((s_n)_n\subset (0,1)\) with \(\lim \limits _{n\rightarrow \infty }s_n=0\), and to show that, after passing to a subsequence,
Let \(\{\varphi _{k,s_n}\,:\, k \in \mathbb {N}\}\) be an orthonormal system of eigenfunctions corresponding to the Dirichlet eigenvalue \(\lambda _{k,s_n}(\Omega )\) of \((-\Delta )^{s_n}\). By Lemma 2.9, it follows that, for every \(k \in \mathbb {N}\), the sequence of functions \(\varphi _{k,s_n}\), \(n\in \mathbb {N}\) is bounded in \({{\mathcal {H}}}^0_0(\Omega )\) and relatively compact in \(L^2(\Omega )\). Consequently, we may pass to a subsequence such that, for every \(k \in \mathbb {N}\),
Here a diagonal argument is used to have convergence for all \(k \in \mathbb {N}\). Moreover, by (2.17) we may, after passing again to a subsequence if necessary, assume that, for every \(k \in \mathbb {N}\),
To prove (2.25), it now suffices to show that
It follows from (2.26) that
Moreover, for \(w\in C^2_c(\Omega )\) and \(n \in \mathbb {N}\) we have
and therefore, by [9, Theorem 1.1(i)],
Since moreover \(\langle \varphi _{k,s_n},w\rangle _{L^2(\Omega )}\rightarrow \langle \varphi _{k,0},w\rangle _{L^2(\Omega )}\) for \(n\rightarrow \infty \), it follows from (2.27) that
Thus \(\varphi _{k,0}\) is a Dirichlet eigenfunction of the logarithmic Laplacian \(L_{{ \Delta \,}}\!\) corresponding to \(\lambda ^{\star }_k\).
Next, for fixed \(k \in \mathbb {N}\), we consider \(E_{k,0}:=\text {span}\{\varphi _{1,0},\varphi _{2,0},\cdots ,\varphi _{k,0}\}\), which is a k-dimensional subspace of \({{\mathcal {H}}}^0_0(\Omega )\) by (2.29). Since
as a consequence of (2.27) and since \(\lambda _{i,s_n}\le \lambda _{j,s_n}\) for \(1\le i\le j\le k\), \(n\in \mathbb {N}\), we have the following estimate for every \(w =\sum \limits _{i=1}^k\alpha _{i}\varphi _{i,0} \in E_{k,0}\) with \(\alpha _{1},\cdots ,\alpha _{k}\in \mathbb {R}\):
The characterization in (2.12) now yields that
Since also \(\lambda _{k}^{\star } \le \lambda _{k,0}(\Omega )\) by (2.27), (2.28) follows. We thus conclude that (2.25) holds. Moreover, the second statement of the theorem also follows a posteriori from the equality \(\lambda _{k}^{\star } = \lambda _{k,0}(\Omega )\), since we have already seen that \(\varphi _{k,s_n} \rightarrow \varphi _{k,0}\) in \(L^2(\Omega )\), where \(\varphi _{k,0}\) is a Dirichlet eigenfunction of the logarithmic Laplacian \(L_{0}\) corresponding to the eigenvalue \(\lambda ^{\star }_k\). The proof is thus finished. \(\square \)
3 Uniform \(L^\infty \)-bounds on Eigenfunctions
Through the remainder of this paper, we fix \(k\in \mathbb {N}\), and we consider, for \(s\in (0,\frac{1}{4}]\), eigenfunctions \(\varphi _s:=\varphi _{k,s}\) of \((-\Delta )^s\) in \(\Omega \) corresponding to \(\lambda _{s}:=\lambda _{k,s}\). Furthermore, we assume that \(\varphi _s\) is \(L^2\)-normalized, that is \(\Vert \varphi _s\Vert _{L^2(\Omega )}=1\) for all \(s\in (0,\frac{1}{4}]\). The main result of this section is the following.
Theorem 3.1
There exists a constant \(C=C(N,\Omega ,k)\) with the property that \(\Vert \varphi _s\Vert _{L^\infty (\Omega )}\le C\) for all \(s \in (0,\frac{1}{4}]\).
To prove this result, we use a new approach based on a so-called \(\delta \)-decomposition of nonlocal quadratic forms.
For \(\delta >0\) and \(u,v \in H^s(\mathbb {R}^N)\), we can write
with the \(\delta \)-dependent quadratic form
the function \(k_{\delta ,s} = C_{N,s}1_{{ \mathbb {R}^N \setminus B_{\delta }(0)}}|\cdot |^{-N-2s}\in L^1(\mathbb {R}^N)\) and the constant
In particular, this decomposition is valid if \(\Omega \subset \mathbb {R}^N\) is a bounded Lipschitz domain and \(u,v \in {{\mathcal {H}}}^{s}_{0}(\Omega )\).
Proof of Theorem 3.1
Let \(\delta \in (0,1)\), \(c>0\), and consider the function \(w_c=(\varphi _s-c)^+: \Omega \rightarrow \mathbb {R}\) for \(s \in (0,1)\). Then \(w_c\in {{\mathcal {H}}}^0_0(\Omega )\) by [18, Lemma 3.2]. Moreover, for \(x,y \in \mathbb {R}^N\) we have
which implies that
with the function
Since \(\lambda _s = 1 + \lambda _L s + o(s)\) by Theorem 2.10, where \(\lambda _L=\lambda _{k,0}\) denotes the k-the eigenvalue of the logarithmic Laplacian, and
by Lemma 2.1, we have
Here the remainder term o(s) depends on \(\delta >0\). Nevertheless, we may first fix \(\delta \in (0,1)\) sufficiently small such that \(\lambda _L - \rho _N + 2 \ln \delta <-1\), and then we may fix \(s_0 \in (0,\frac{1}{4}]\) with the property that
Since also \(\varphi _s(x)w_c(x) \ge c w_c(x) \ge 0\) for \(x \in \Omega \), \(s \in (0,s_0]\), we deduce from (3.1) that
Here we note that, by Hölder’s (or Young’s) inequality,
with
Since
we deduce from (3.4) that for \(c> {\tilde{d}}\) and \(s \in (0,s_0]\) we have
and therefore \({{\mathcal {E}}}_{s}^\delta (w_c,w_c)=0\). Consequently, \(w_c=0\) in \(\Omega \) for \(s \in (0,s_0]\) by the Poincaré type inequality given in [15, Lemma 2.7] . But then \(\varphi _s(x)\le c\) a.e. in \(\Omega \), and therefore
Repeating the above argument for \(-\varphi _s\) in place of \(\varphi _s\), we also find that \(\sup \limits _{s \in (0,s_0]} \Vert \varphi _s^-\Vert _{L^\infty (\Omega )} \le c\) and therefore
It remains to prove that
To see this, we argue as above, but with different values of \(\delta \in (0,1)\) and \(c>0\). For this we first note that, by (3.2), we may choose \(\delta \in (0,1)\) sufficiently small so that (3.3) holds for \(s \in [s_0,\frac{1}{4}]\). With this new value of \(\delta \) and \({\tilde{d}}\) redefined as
we may now fix \(c> {\tilde{d}}\) and complete the argument as above to see that also
Hence (3.6) holds. The proof is now finished by combining (3.5) and (3.6). \(\square \)
4 Local Equicontinuity
This section is devoted to prove local equicontinuity of the set \(\{\varphi _s\,:\, s \in (0,\frac{1}{4}]\}\) in \(\Omega \). The first step of the proof consists in deriving s-dependent Hölder estimates for the functions with uniform (i.e., s-independent) constants as \(s \rightarrow 0^+\). As a preliminary tool, we need to consider the Riesz kernel
The following two lemmas contain estimates which are essentially standard but hard to find in the literature in this form with s-independent constants. For closely related estimates, see e.g. [31, Sect. 2] and [26, Sect. 7].
Lemma 4.1
Let \(s\in (0,\frac{1}{4}]\), \(r \in (0,1)\) and \(f\in L^\infty (\overline{B_r})\). Moreover, let
Then \(u_f\in C^{s}(\mathbb {R}^N)\cap L^\infty (\mathbb {R}^N)\), and there is a constant \(C=C(N)>0\) such that
If, moreover, \(f\in C^{\alpha }(\overline{B_r})\) for some \(\alpha \in (0,1-s)\), then we also have
after making \(C=C(N)\) larger if necessary.
Proof
For \(x\in B_1\) we have
so that we may assume \(r=1\) in the following. Next, we recall the following standard estimate:
From this we deduce that \(u_f\in L^{\infty }(\mathbb {R}^N)\) with
with a constant \(C_1=C(N)\) independent of \(s \in (0,\frac{1}{4}]\). Next, by e.g. [14, Eq. (A.3)] we use
With this estimate and (4.5), we deduce that
Hence there is \(C_2=C_2(N)\) independent of \(s \in (0,\frac{1}{4}]\) such that
We thus deduce (4.3).
Next we assume that \(f\in C^{\alpha }(\overline{B_1})\) for some \(\alpha \in (0,1-s)\), and we establish (4.4) in the case \(r=1\).
We choose a cut-off function \(\eta \in C^{\infty }_c(\mathbb {R}^N)\) with \(0 \le \eta \le 1\), \(\eta \equiv 1\) on \(B_{7/8}\) and \(\eta =0\) on \(\mathbb {R}^N\setminus B_1\). We then define \(w \in C^\alpha _c(\mathbb {R}^N)\) by \(w(x)=\eta (x)f(x)\) for \(x\in B_1\) and \(w(x)=0\) for \(x\in \mathbb {R}^N\setminus B_1\). Then \(u_f(x)=u_1(x)+u_2(x)\) for \(x\in B_1\) with
and
Since \(|x-z|\ge \frac{1}{8}\) for \(x\in B_{3/4}\) and \(z\in B_1\setminus B_{7/8}\), for all \(\beta \in \mathbb {N}_0^d\), \(|\beta |\le 1\) we have
for \(x \in B_{3/4}\), \(s \in (0,1)\) with a constant \(C_3=C_3(N)>0\). Hence \(u_1\in C^1(\overline{B_{3/4}})\), and
To estimate \(u_2\), we first note that, by the same estimate as in (4.6), we find that
Moreover, we write \(\delta _hw(x)=w(x+h)-w(x)\) for \(x,h\in \mathbb {R}^N\). Since w has a compact support contained in \(B_1\) and \(\eta \) is smooth, there is \(C_4=C_4(N)\) such that
For \(x,h\in \mathbb {R}^N\), \(|h| \le 1\) we now have, by (4.7) and since \(\delta _h w\) is supported in \(B_2\),
Using now (4.5) again, we deduce that
Hence there is \(C_5=C_5(N)\) such that
By (4.10), we may make \(C_5>0\) larger if necessary so that (4.11) holds for all \(x, h \in \mathbb {R}^N\). Since \(\alpha +s<1\) by assumption, it now follows, by a well known argument, that
with a constant \(C_6=C_6(N)>0\). For the convenience of the reader, we recall this argument in the appendix. The estimate (4.4) now follows by combining (4.9) and (4.12). \(\square \)
Lemma 4.2
Let \(r>0\), \(f \in L^\infty (B_r)\), and suppose that \(u \in L^\infty (\mathbb {R}^N)\) is a distributional solution of the equation \((-\Delta )^s u = f\) in \(B_r\) for some \(s \in (0,\frac{1}{4}]\). Moreover, let \(u_f: \mathbb {R}^N \rightarrow \mathbb {R}\) be defined as in (4.2), and let \(u_*:= u-u_f\).
Then we have the estimate
with a constant \(C=C(N)>0.\)
Proof
By scaling invariance, it suffices to consider the case \(r=1\). In this case, we may follow the proof of [20, Lemma A.1], using the fact that \(u_*\) solves the problem
Using the corresponding Poisson representation of \(u_*\), it was shown in [20, Proof of Lemma A.1] that
with a constant \(c_1=c_1(N)\) and \(\tau _{N,s} =\frac{2}{\Gamma (s)\Gamma (1-s)|S^{N-1}|}\), see [20, P. 48]. From this, we deduce (4.13) in the case \(r=1\) since \(s \in (0,\frac{1}{4}]\). \(\square \)
Corollary 4.3
Let \(s\in (0,\frac{1}{4}]\). Then \(\varphi _s\in C^{3s}(\overline{B_{r/8}(x_0)})\) for all \(x_0\in \Omega \) and \(0 < r \le \min \{1,\delta _{\Omega }(x_0)\}\). Moreover, there is \(C=C(N,\Omega ,k)>0\) such that
Proof
By translation invariance we may assume \(x_0=0\in \Omega \). Let \(r \in (0, \min \{1,\delta _{\Omega }(0)\})\). We write \(\varphi _s=u_{s,1}+u_{s,2}\) with
where \(F_s\) is the Riesz kernel defined in Lemma 4.1. Moreover, in the following, the letter \(C>0\) denotes different constants depending only on \(N,\Omega \) and k. By Theorem 3.1 and Lemma 4.1, we have
Moreover, by Lemma 4.2 we have
Hence
Applying now the second claim in Lemma 4.1 with \(\alpha =s\), we deduce that
Combining this estimate with (4.15), we deduce that
Finally, applying the second claim in Lemma 4.1 with \(\alpha =2s\), we deduce that
Combining this estimate with (4.15), we deduce that
as claimed. \(\square \)
We now state a key local bound related to an auxiliary integral operator.
Lemma 4.4
Let \(t_{0},r>0\). Then there exists a constant \(C=C(N,\Omega ,k,r,t_0)>0\) with the property that
Proof
Without loss of generality, we may assume that \(r<1\). Moreover, we fix \(x \in \Omega \) with \(\delta _\Omega (x) > r\). In the following, we fix \(t= \min \{\frac{t_0}{2},\frac{r}{8}\}<1\), and we write
and
Since \(C_N \omega _{N-1}=2\), we can thus write
with
By (2.5) and since
it follows that
where the RHS is a finite constant by Theorem 3.1. To estimate \(I^s_2\), we let \(R:=1+\text {diam}(\Omega )\) and note that, by (2.5), Theorem 3.1, and since \(\varphi _s \equiv 0\) on \(\Omega ^c\),
Since \(\bigl (t^{-2s}-R^{-2s}\bigr )= 2(\ln R- \ln t)s +o(s)\) as \(s \rightarrow 0^+\), it follows that
where the RHS is a finite constant depending on t but not on s.
Finally, to estimate \(I^s_1(x)\), we note that our choice of \(t= \min \{\frac{t_0}{2}, \frac{r}{8}\}\) allows us to apply Corollary 4.3, which gives that
with a constant \({\tilde{C}}=\tilde{C}(N,\Omega ,k,r,t_0)>0\). Using this together with (2.5) we may estimate
Going back to (4.16), we now find that
Since also
by Theorems 2.10 and 3.1, the claim now follows. \(\square \)
We now have all tools to complete the proof of Theorem 1.1(iii) which we restate here for the reader’s convenience.
Theorem 4.5
The set \(\{\varphi _{s}\,:\, s \in (0,\frac{1}{4}]\}\) is equicontinuous in every point \(x_0 \in \Omega \) and therefore relatively compact in C(K) for every compact subset \(K \subset \Omega \).
Proof
We only have to prove the equicontinuity of the set \(M:= \{\varphi _s\,:\, s \in (0,\frac{1}{4}]\}\) in every point \(x_0 \in \Omega \). Once this is shown, it follows from Theorem 3.1 and the Arzela-Ascoli Theorem that, for every compact subset \(K \subset \Omega \), the set M is relatively compact when regarded as a subset of C(K).
Arguing by contradiction, we now assume that there exists a point \(x_0 \in \Omega \) such that M is not equicontinuous at \(x_0\), which means that
Here, we note that this limit exists since the function
is nondecreasing. Without loss of generality, to simplify the notation, we may assume that \(x_0 = 0 \in \Omega \). We first choose \(\delta >0\) sufficiently small so that
The relevance of this condition will become clear later. Moreover, we choose \(t_0>0\) sufficiently small so that
and
By Lemma 4.4 and (4.21), there exists a constant \(C_1>0\) with the property that
Next, we choose a sequence of numbers \(t_n \in (0,\frac{t_0}{5})\) with \(t_n \rightarrow 0^+\) as \(n \rightarrow \infty \). By (4.22), there exists a sequence \((s_n)_n \subset (0,\frac{1}{4}]\) such that
whereas, by Lemma 4.3, we have
Hence,
which implies, in particular, that
To simplify the notation, we now set \(\varphi _n := \varphi _{s_n}\). By (4.24), we may write
Together with (4.22) and the fact that \(\overline{B_{t_n}} \subset B_{2t_0}\), we deduce that
Indeed,
and, similarly, \(\inf \limits _{B_{2t_0}} \varphi _n \ge d_n -\frac{\varepsilon +3\delta }{2}\). Next, we let
and we note that
since \(c_n \ge \omega _{N-1}\bigl (\log t_0 - \log (3 t_n)\bigr )\) for \(n \in \mathbb {N}\) and \(t_n\rightarrow 0\) for \(n\rightarrow \infty \). We also put
Since
we may pass to a subsequence such that
Without loss of generality, we may assume that the second case holds (otherwise we may replace \(\varphi _n\) by \(-\varphi _n\) and \(d_n\) by \(-d_n\)). We then define the Lipschitz function \(\psi _n \in C_c(\mathbb {R}^N)\) by
We also let \(\tau _n:= \varphi _n + \psi _n\) for all \(n \in \mathbb {N}\). By (4.28), we have
Moreover, since \(d_n+r_n \in \varphi _n(\overline{B_{t_n}})\) by (4.27), we have
Consequently, \(\max \limits _{B_{2t_0}}\, \tau _n\) is attained at a point \(x_n \in B_{2t_n}\) with
which implies that
By (4.23) and since \(B_{3t_n} \subset B_{t_0}(x_n)\) for \(n \in \mathbb {N}\) by construction, we have that
To estimate the first integral, we note that, by definition of the function \(\psi _n\),
Moreover, by the choice of \(x_n\) we have \(\tau _n(x_n) \ge \tau _n(y)\) for all \(y \in B_{3t_n}\). Consequently,
with a constant \(C_3>0\) independent of n. Here we used (4.5) and (4.25).
To estimate the second integral in (4.31) we first note, since \(x_n \in B_{2t_n}\), we have that
Moreover, by (4.22), (4.28), and (4.30) we have
Consequently, combining (4.31) and (4.32), using again (4.30), we may estimate as follows:
where we used (4.27). By our choice of \(\delta >0\) satisfying (4.20), we arrive at a contradiction to (4.29). The proof is thus finished. \(\square \)
5 Uniform Boundary Decay
Throughout this section, we assume that \(\Omega \) is a bounded Lipschitz domain satisfying a uniform exterior sphere condition. By definition, this means that there exists a radius \(R_0>0\) such that for every point \(x_* \in \partial \Omega \) there exists a ball \(B^{x_*}\) of radius \(R_0\) contained in \(\mathbb {R}^N \setminus \overline{\Omega }\) and with \(\overline{B^{x_*}} \cap {\overline{\Omega }} = \{x^*\}\).
We first note the following boundary decay estimate.
Lemma 5.1
There is a constant \(C=C(N,\Omega ,k)>0\) such that
Proof
We note that \(\varphi _s\) is a weak solution of
where the functions \(f_s := \lambda _s \varphi _s\), \(s \in (0, \frac{1}{4}]\) are uniformly bounded in \(L^\infty (\Omega )\) by Theorem 3.1. Therefore, the decay estimate in (5.1) essentially follows from [29, Lemma 2.7], although it is not stated there that the constant C can be chosen independently of s. For an alternative proof of the latter fact, see [20, Appendix]. We stress here that the use of radial barrier functions as in [29] and [20, Appendix] only requires a uniform exterior sphere condition and no further regularity assumptions on \(\Omega \). \(\square \)
For \(\delta >0\), we now consider the one-sided neighborhood of the boundary
The main result of the present section is the following.
Theorem 5.2
We have
In other words, for every \(\varepsilon >0\), there exists \(\delta _\varepsilon >0\) with the property that
The remainder of this section is devoted to the proof of this theorem. We need some preliminaries. In the following, for \(s \ge 0\), we let \(L^1_s(\mathbb {R}^N)\) denotes the space of locally integrable functions \(u: \mathbb {R}^N \rightarrow \mathbb {R}\) such that
We note that \(L^1_s(\mathbb {R}^N) \subset L^1_t(\mathbb {R}^N)\) for \(0 \le s < t\). Next, we need the following generalization of [9, Theorem 1.1].
Lemma 5.3
Let \(A \subset \mathbb {R}^N\) be a compact set, let \(U \subset \mathbb {R}^N\) be an open neighborhood of A, and let \(u \in L^1_0(\mathbb {R}^N)\) be a function with \(u \in C^\alpha _{loc}(U)\) for some \(\alpha >0\). Then
Proof
In the following, we assume \(\alpha < 1\). Moreover, without loss of generality, we may assume that \(u \in C^\alpha (U)\), otherwise we replace U by a compact neighborhood \(U' \subset U\) of A. Next, since A is compact, we may fix \(r \in (0,1)\) such that for all \(x\in A\) we have \(\text {dist}(x,\mathbb {R}^N \setminus U)>r\). For \(x\in A\) we split the expression of the logarithmic Laplacian as
With \(D_{r,N}(s):= \frac{C_{N,s}\omega _{N-1}}{2s}r^{-2s}\) and since \(C_N \omega _{N-1}= 2\), this splitting gives rise to the inequality
where
By Lemma 2.1, we have \(\lim \limits _{s \rightarrow 0^+}\frac{D_{r,N}(s)-1}{s} = \rho _N - 2\log r\) and therefore
Moreover, by (2.5), we have the inequality
for \(y \in \mathbb {R}^N \setminus \{0\}\). Using that \(\bigl ||y|^{-2s}-1\bigr |\le \frac{4s}{\alpha }\bigl (|y|^{-2s-\frac{\alpha }{2}}+|y|^{\frac{\alpha }{2}}\bigr )\) by [20, Lemma 2.1] it follows that
In particular,
and
Therefore, (5.6) gives
It remains to consider \(I_{2}(s,x)\) for \(x\in A\). For this, let \(\epsilon >0\) and note that there is \(R_0>0\) such that for any \(R\ge R_0\) we have
Indeed, this is possible since \(u\in L^1_0\) and thus \(\lim \limits _{R\rightarrow 0}\int \limits _{\mathbb {R}^N \setminus B_R}\frac{|u(y)|}{|y|^N}\ dy=0\). In the following, we fix \(R>\max \{2,R_0\}\) such that \(B_{\frac{R}{2}}(A)\subset B_{R}\). Note that by this choice we have in particular \(\sup \limits _{z\in A}|z| \le \frac{R}{2}\). Using (5.7) we then split for \(x\in A\) \((*)\)
To estimate the first integral in this decomposition, we use the fact that \(|x-y| \ge r \ge \frac{r}{R+1}(1+|y|)\) for \(y \in B_R \setminus B_r(x)\) and therefore
For the second integral in this decomposition, we note that, since \(|x-y|\ge \max \{1,\frac{|y|}{2}\}\) for \(y\in \mathbb {R}^N\setminus B_R\), we have for \(y\in \mathbb {R}^N\setminus B_R\) by (2.4)
Combining this with (5.11) in (5.10) we find
Combining (5.3), (5.8), and (5.12), we get from (5.2)
Here, \(\epsilon >0\) is chosen arbitrary and this completes the proof of the lemma. \(\square \)
Next we state a uniform small volume maximum principle. For this we define, for \(s \in (0,1)\) and any open set \(U \subset \mathbb {R}^N\), the function space
It is easy to see that the quadratic form
is well-defined in Lebesgue sense for \(u \in {{\mathcal {V}}}^s(U)\), \(v \in {{\mathcal {H}}}^s_0(U)\), see e.g. [18] and the references therein. If functions \(u \in {{\mathcal {V}}}^s(U)\) and \(g \in L^2(U)\) are given, we say that \((-\Delta )^s u \ge g\) in U weak sense if
Remark 5.4
Let \(U \subset \mathbb {R}^N\) be an open bounded set. Moreover, let \(g \in L^2(U)\), and let \(u \in L^1_s(\mathbb {R}^N) \cap L^2_{loc}(\mathbb {R}^N)\) be a function satisfying \(u \in C^\alpha (K)\) for a compact neighborhood K of \({\overline{U}}\) and, for some \(s \in (0,\frac{\alpha }{2})\),
Then \(u \in {{\mathcal {V}}}^s(U)\), and u satisfies \( (-\Delta )^s u \ge g\) also in weak sense. This follows since, under the stated assumptions, we have
The latter property follows easily by Fubini’s theorem.
Our uniform small volume weak maximum principle now reads as follows.
Proposition 5.5
There exists \(\mu _0= \mu _0(N)>0\) with the property that the operators
satisfy the following weak maximum principle on every open set \(U \subset \mathbb {R}^N\) with \(|U| \le \mu _0\):
For every \(s \in (0,1)\) and every function \(u \in {{\mathcal {V}}}^s(U)\) satisfying
we have \(u \ge 0\) on \(\mathbb {R}^N\).
Proof
By [18, Prop. 2.3], it suffices to find \(\mu _0>0\) with the property that
where \(\lambda _{1,s}(U)\) denotes the first Dirichlet eigenvalue of \((-\Delta )^s\) on U.
Let \(r_0=r_0(N):= 2 e^{\frac{1}{2}( \psi (\frac{N}{2})-\gamma )}\). It then follows from [9, Sect. 4] that \(\lambda _{1,L}(B_{r_0})>0\), where \(\lambda _{1,L}(B_{r_0})\) denotes the first Dirichlet eigenvalue of \(L_{{ \Delta \,}}\!\) on \(B_{r_0}:= B_{r_0}(0)\).
Since
there exists \(s_0 \in (0,1)\) with the property that
By the scaling properties of the fractional Laplacian, this also implies that
To obtain a similar estimate for \(s \in [s_0,1)\), we use a lower eigenvalue bound given by Ba\(\tilde{n}\)uelos and Kulczycki. In [3, Corollary 2.2], they proved that
From this we deduce that
where \(r_1:= 2 \Bigl (\frac{\Gamma _{min}}{\Gamma (\frac{N}{2})}\Bigr )^{\frac{1}{2s_0}}\) and \(\Gamma _{min}>0\) denotes the minimum of the Gamma function on \((0,\infty )\). Setting \(r_*:= \min \{r_0,r_1\}\), we thus find, by combining (5.14) and (5.15), that
Next, let \(\mu _0:= |B_{r_*}|\), and let \(U \subset \mathbb {R}^N\) be a nonempty open set with \(|U| \le \mu _0\). Moreover, let \(r \in (0,r_*]\) with \(|B_r|= |U|\). Combining (5.16) and the Faber–Krahn type principle given in [2, Theorem 5], we deduce that
as required. \(\square \)
We recall a result from [9] regarding a radial barrier type function for the logarithmic Laplacian, see [9, Lemma 5.3, Case \(\tau = \frac{1}{4}\)].
Lemma 5.6
Let \(R \in (0,\frac{1}{2})\). Then there exists \(\delta _0 = \delta _0(R)>0\) and a continuous function \(V \in L^1_0(\mathbb {R}^N)\) with the following properties:
-
(i)
\(V \equiv 0\) in \(B_R\) and \(V>0\) in \(\mathbb {R}^N \setminus \overline{B_R}\);
-
(ii)
\(V \in C^1_{loc}(\mathbb {R}^N \setminus \overline{B_R})\);
-
(iii)
\(L_{{ \Delta \,}}\!V(x) \rightarrow \infty \) as \(|x| \rightarrow R\), \(|x|>R\).
In fact, in [9, Lemma 5.3] it was only stated that V is locally uniformly Dini continuous on \(\mathbb {R}^N \setminus \overline{B_R}\) since this was sufficent for the considerations in this paper. However, the construction in the proof of this lemma immediately yields that \(V \in C^1_{loc}(\mathbb {R}^N \setminus \overline{B_R})\).
Proof of Theorem 5.2
(completed) We need some more notation. For \(R>0\) and \(R_1>R\), we consider the open annulus
and its translations
In the following, we let \(\partial ^i \Omega \subset \partial \Omega \) denote the subset of boundary points \(x_{*} \in \partial \Omega \) for which there exists an (inner) open ball \(B_{x_*} \subset \Omega \) with \(x_* \in \partial B_{x_*}\).
Since \(\Omega \) satisfies a uniform exterior sphere condition, there exists a radius \(0<R_0< \frac{1}{2}\) such that for every point \(x_* \in \partial ^i \Omega \) there exists a (unique) ball \(B^{x_*}\) of radius \(R_0\) contained in \(\mathbb {R}^N \setminus \overline{\Omega }\) and tangent to \(\partial B_{x_*}\) at \(x_*\). Let \(c(x_*)\) denote the center of \(B^{x_*}\).
Applying Lemma 5.6 with the value \(R: =\frac{R_0}{2}\) now yields a function \(V \in L^1_0(\mathbb {R}^N)\) such that the properties (i–iii) of Lemma 5.6 are satisfied.
We now choose \(\delta _0 \in (0,R)\) sufficiently small such that (*)
where \(\mu _0>0\) is given by Proposition 5.5.
Next we consider the finite values
By Lemma 5.6(iii), we can make \(\delta _0>0\) smaller if necessary to guarantee that
Next, for \(x_* \in \partial ^i \Omega \) and \(t \in [0,R]\), we consider the point
which lies on the extension of the line segment spanned by the points \(x_*\) and \(c(x_*)\) beyond \(c(x_*)\). By construction, \(\overline{B_R(z(t,x_*))}\cap {\overline{\Omega }} = \varnothing \) for \(t \in (0,R]\), while, for \(t \in (0,\delta _0)\), the intersection (*)
is nonempty. Since \(\Omega \) is bounded, there exists \(R_1>R\) such that
which implies that
Next, we define the translated functions
Since V is positive on the compact set \(\overline{A_{R+\delta _0,R_1}}\) by Lemma 5.6(i), we may choose \(c>1\) sufficiently large such that \(V \ge \frac{m_1}{c}\) in \(\overline{A_{R+\delta _0,R_1}}\) and thus, by (5.18), also
To finish the proof of the theorem, we now let \(\varepsilon >0\) be given. Since V is continous and \(V \equiv 0\) on \(B_R\) by Lemma 5.6(i), we may fix \(\delta \in (0,\frac{\delta _0}{2})\) such that
Since \(A_{R+\delta ,R+\delta _0} \subset \subset \mathbb {R}^N \setminus \overline{B_R}\), we find, as a consequence of Lemmas 5.3 and 5.6, that
Hence, by (5.17), we may fix \(s_1 \in (0,\frac{1}{4}]\) with the property that
We now claim that
To show (5.22), we let \(x \in \Omega ^{\delta }\), and we let \(x_* \in \partial \Omega \) with \(\delta _\Omega (x)= |x-x_*|\). By definition, we then have \(x_* \in \partial ^i \Omega \). Moreover, by construction we have
We now define \(W:= c V_{\delta ,x_*} \in L^1_0(\mathbb {R}^N)\). By (5.21), we then have that
Consequently, in weak sense,
by the definition of \(m_2\). Moreover, it follows from (5.19) and the definition of \(m_1\) that
Using Propositions 5.5, (5.25), and (5.26) together with the fact that \(|\Omega _{\delta ,x_*}| \le |A_{R,R+\delta _0}| \le \mu _0\), we deduce that
and thus, in particular,
by (5.20). Consequently, \(|\varphi _s(x)| \le \varepsilon \) for \(s \in (0,s_1)\) by (5.23), and this yields (5.22). Making \(\delta >0\) smaller if necessary, we may, by Lemma 5.1, also assume that
Combining (5.22) and (5.27), we conclude that
The proof of Theorem 5.2 is thus finished. \(\square \)
6 Completion of the Proofs
In this section, we complete the proofs of Theorem 1.1, Corollarys 1.3 and 1.4.
We start with the
Proof of Theorem 1.1
Part (i) is proved in Theorem 2.10. Part (iii) is proved in Theorem 4.5. Moreover, the first claim in Part (ii), the boundedness of the set \(M:= \{\varphi _{k,s}\,:\, s \in (0,\frac{1}{4}]\}\) in \(L^\infty (\Omega )\), has been proved in Theorem 3.1. Combining this fact with the relative compactness of the set M in C(K) for every compact subset \(K \subset \Omega \), it follows from Theorem 5.2 together with the Kolmogorov–Riesz compactness theorem that M is relatively compact in \(L^p(\Omega )\) for every \(p \in [1,\infty )\), this completes the claim in Part (ii).
To prove Part (iv) of Theorem 1.1, we first observe that, since \(\Omega \) satisfies an exterior sphere condition by assumption, it follows from Lemma 5.1 that \(\varphi _{k,s} \in C_0(\Omega )\) for any \(k\in \mathbb {N}\) and \(s\in (0,\frac{1}{4}]\). Furthermore, M is equicontinuous in all points in \(\Omega \) by Theorem 4.5 and in all points in \(\partial \Omega \) by Theorem 5.2. Since moreover M is uniformly bounded with respect to \(\Vert \cdot \Vert _{L^\infty (\Omega )}\) by Part (ii), the Arzelà-Ascoli Theorem implies that M is relatively compact in \(C_0(\Omega )\).
To prove Part (v), let \((s_n)_n \subset (0,\frac{1}{4}]\) be a sequence of numbers with \(s_n \rightarrow 0^+\). By Theorem 2.10, we may pass to a subsequence with the property that
Due to the relative compactness of the set M in \(L^p(\Omega )\) already proved in Part (ii), we also have \(L^p\)-convergence in (6.1) for \(1 \le p < \infty \), and the locally uniform convergence follows from Part (iii). Moreover, in the case where \(\Omega \) satisfies an exterior sphere condition, the convergence in \(C_0(\Omega )\) follows from the relative compactness in the space \(C_0(\Omega )\) stated in Part (iv). \(\square \)
Next we complete the
Proof of Corollary 1.3
For the particular case \(1\le p \le 2\), the convergent in (1.19) follows directly from [9, Theorem 1.5] combined with the Hölder inequality. But using the relative compactness of the set M in \(L^p(\Omega )\) proved in Part (ii) of Theorem 1.1 and the uniqueness of \(\varphi _{1,s}\), the \(L^p\)-convergence in (1.19) for \(1 \le p < \infty \) and the locally uniform convergence in \(\Omega \) also follows by Part (iv) of Theorem 1.1. The additional assertion follows from the additional assertion in Theorem 1.1(v). \(\square \)
Proof of Corollary 1.4
Let \((s_n)_n \subset (0,\frac{1}{4}]\) be a sequence of numbers with \(s_n \rightarrow 0^+\). Moreover, for every \(n \in \mathbb {N}\), let \(\varphi _{k,s_n}\), \(k \in \mathbb {N}\) denote \(L^2\)-orthonormal Dirichlet eigenfunctions of \((-\Delta )^{s_n}\) on \(\Omega \) corresponding to the eigenvalues \(\lambda _{k,s_n}\). Passing to a subsequence, we may assume, by Theorem 1.1, that
as \(n \rightarrow \infty \), where, for every \(k \in \mathbb {N}\), \(\varphi _{k,L}\) is a Dirichlet eigenfunction of \(L_{{ \Delta \,}}\!\) on \(\Omega \) corresponding to the eigenvalue \(\lambda _{k,L}\). Parts (iii) and (v) of Theorem 1.1 then imply that
Moreover, it follows that \(\varphi _{k,L} \in C_0(\Omega )\) in the case where \(\Omega \) satisfies an exterior sphere condition.
Finally, the \(L^2\)-convergence in (6.2) implies that the sequence of functions \(\varphi _{k,L}\), \(k \in \mathbb {N}\) is \(L^2\)-orthonormal. It then follows that every Dirichlet eigenfunction of \(L_{{ \Delta \,}}\!\) on \(\Omega \) can be written as a finite linear combination of the functions \(\varphi _{k,L}\), and therefore it has the same regularity properties as the functions \(\varphi _{k,L}\), \(k \in \mathbb {N}\). \(\square \)
References
Alberico, A., Cianchi, A., Pick, L., Slavíková, L.: On the limit as \(s \rightarrow 0^+\) of Fractional Orlicz-Sobolev Spaces. J. Fourier Anal. Appl. 26, 80 (2020)
Bañuelos, R., Latala, R., Méndez-Hernández, P.J.: A Brascamp-Lieb-Luttinger-type inequality and applications to symmetric stable processes. Proc. Am. Math. Soc. 129(10), 2997–3008 (2001)
Bañuelos, R., Kulczycki, T.: The Cauchy process and the Steklov problem. J. Funct. Anal. 211(2), 355–423 (2004)
Bisci, G.M., Radulescu, V.D., Servadei, R.: Variational Methods for Nonlocal Fractional Problems, vol. 162. Cambridge University Press, Cambridge (2016)
Bogdan, K., Byczkowski, T.: Potential theory for the \(\alpha \)-stable Schrödinger operator on bounded Lipschitz domains. Stud. Math. 133(1), 53–92 (1999)
Bogdan, K., Kulczycki, T., Kwaśnicki, M.: Estimates and structure of \(\alpha \)-harmonic functions. Probab. Theory Related Fields 140(3–4), 345–381 (2008)
Bucur, C., Valdinoci, E.: Nonlocal Diffusion and Applications, vol. 20. Springer, Cham (2016)
Caffarelli, L., Silvestre, L.: An extension problem related to the fractional Laplacian. Commun. Partial Differ. Equ. 32(8), 1245–1260 (2007)
Chen, H., Weth, T.: The Dirichlet problem for the logarithmic Laplacian. Commun. Partial Differ. Equ. 44(11), 1100–1139 (2019)
Chen, H., Veron, L.: Bounds for eigenvalues of the Dirichlet problem for the logarithmic Laplacian. (2020). http://arxiv.org/2011.05692
Correa, E., De Pablo, A.: Nonlocal operators of order near zero. J. Math. Anal. Appl. 461(1), 837–867 (2018)
De Luca, L., Novaga, M., Ponsiglione, M.: The 0-fractional perimeter between fractional perimeters and Riesz potentials. (2019). http://arxiv.org/1906.06303
Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136(5), 521–573 (2012)
Fall, M.M., Weth, T.: Monotonicity and nonexistence results for some fractional elliptic problems in the half-space. Commun. Contemp. Math. 18(1), 1550012 (2016)
Felsinger, M., Kassmann, M., Voigt, P.: The Dirichlet problem for nonlocal operators. Math. Z. 279(3–4), 779–809 (2015)
Grzywny, T., Ryznar, M.: Potential theory of one-dimensional geometric stable processes. Colloq. Math. 129, 7–40 (2012)
Grzywny, T., Kwaśnicki, M.: Potential kernels, probabilities of hitting a ball, harmonic functions and the boundary Harnack inequality for unimodal Lévy processes. Stoch. Process. Appl. 128, 1–38 (2018)
Jarohs, S., Weth, T.: On the maximum principle for nonlocal operators. Math. Z. 293(1–2), 81–111 (2019)
Jarohs, S., Weth, T.: Local compactness and nonvanishing for weakly singular nonlocal quadratic forms. Nonlinear Anal. 193, 111431 (2020)
Jarohs, S., Saldaña, A., Weth, T.: A new look at the fractional Poisson problem via the Logarithmic Laplacian. J. Funct. Anal. 279(11), 108732 (2020)
Kassmann, M., Mimica, A.: Intrinsic scaling properties for nonlocal operators. J. Eur. Math. Soc. 19(4), 983–1011 (2017)
Kim, P., Mimica, A.: Harnack inequalities for subordinate Brownian motions. Electron. J. Probab. 17, 23 (2012)
Kim, P., Mimica, A.: Green function estimates for subordinate Brownian motions: stable and beyond. Trans. Am. Math. Soc. 366, 4383–4422 (2014)
Kuwae, K., Shioya, T.: Convergence of spectral structures: a functional analytic theory and its applications to spectral geometry. Commun. Anal. Geom. 11(4), 599–673 (2003)
Kwaśnicki, M.: Eigenvalues of the fractional Laplace operator in the interval. J. Funct. Anal. 262(5), 2379–2402 (2012)
Kwaśnicki, M.: Fractional Laplace Operator and its Properties. Handbook of Fractional Calculus with Applications, vol. 1, pp. 159–193. De Gruyter, Berlin (2019)
Laptev, A., Weth, T.: Spectral properties of the logarithmic Laplacian. Anal. Math. Phys. 11(133), 24 (2021)
Mimica, A.: On harmonic functions of symmetric Lévy processes. Ann. Inst. Henri Poincaré Probab. Stat. 50, 214–235 (2014)
Ros-Oton, X., Serra, J.: The Dirichlet problem for the fractional Laplacian: regularity up to the boundary. J. Math. Pures Appl. 101(3), 275–302 (2014)
Servadei, R., Valdinoci, E.: Variational methods for non-local operators of elliptic type. Discret. Contin. Dyn. Syst. 33(5), 2105–2137 (2013)
Silvestre, L.: Regularity of the obstacle problem for a fractional power of the Laplace operator. Commun. Pure Appl. Math. 60, 67–112 (2007)
Acknowledgements
This work is supported by DAAD and BMBF (Germany) within the project 57385104. The authors would like to thank Mouhamed Moustapha Fall for helpful discussions. Moreover, the authors would like to thank the referees for their valuable comments and suggestions.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Andrei Shkalikov.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A. On Equivalent Hölder Estimates
Appendix A. On Equivalent Hölder Estimates
Here we recall that by the notion of Hölder–Zygmund spaces we have for \(\tau \in (0,1)\) and \(r>0\) that \(v\in C^{\tau }(\mathbb {R}^N)\cap L^{\infty }(\mathbb {R}^N)\) if and only if
Indeed, if \(v\in C^{\tau }(B_r(0))\cap L^{\infty }(\mathbb {R}^N)\), then clearly (A.1) holds. To see the reverse implication, first note that we have \(\Vert v\Vert _{L^{\infty }(\mathbb {R}^N)}\le v_{\tau }<\infty \) by (A.1). Next, let \(x\in \mathbb {R}^N\) and we claim that there is \(C_2\) independent of x such that
Since \(v(x+h)-v(x)=(v-c)(x+h)-(v-c)(x)\) for all constants \(c\in \mathbb {R}\), we may assume \(v(x)=0\). Next, let \(h\in \mathbb {R}^N\), then
But then, for \(n\in \mathbb {N}\) and since \(\tau <1\),
Hence, for all \(n\in \mathbb {N}\),
and, for \(n\rightarrow \infty \), we have \(|v(x+h)-v(x)|\le \frac{v_{\tau }}{1-2^{\tau -1}}|h|^{\tau }\) so that \(v\in C^{\tau }(\mathbb {R}^N)\cap L^{\infty }(\mathbb {R}^N)\).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Feulefack, P.A., Jarohs, S. & Weth, T. Small Order Asymptotics of the Dirichlet Eigenvalue Problem for the Fractional Laplacian. J Fourier Anal Appl 28, 18 (2022). https://doi.org/10.1007/s00041-022-09908-8
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00041-022-09908-8