Abstract
In this work we prove the uniqueness of solutions to the nonlocal linear equation \(L \varphi - c(x)\varphi = 0\) in \(\mathbb {R}\), where L is an elliptic integro-differential operator, in the presence of a positive solution or of an odd solution vanishing only at zero. As an application, we deduce the nondegeneracy of layer solutions (bounded and monotone solutions) to the semilinear problem \(L u = f(u)\) in \(\mathbb {R}\) when the nonlinearity is of Allen–Cahn type. To our knowledge, this is the first work where such uniqueness and nondegeneracy results are proven in the nonlocal framework when the Caffarelli–Silvestre extension technique is not available. Our proofs are based on a nonlocal Liouville-type method developed by Hamel, Ros-Oton, Sire, and Valdinoci for nonlinear problems in dimension two.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and main results
In this paper we study the uniqueness, up to a multiplicative constant, of solutions to the linear integro-differential equation
under certain assumptions on the nonlocal operator L and the potential function c, and in the presence of a positive solution or of an odd solution vanishing only at zero. Throughout the paper, L will be assumed to be an elliptic integro-differential operator of order between one (included) and two.
The uniqueness of solutions to equations of the form (1.1) is a very important tool in the theory of PDEs. Indeed, there are many motivations (from both linear and nonlinear frameworks) to treat this problem. On the one hand, it is in the essence of Sturm–Liouville theory on eigenfunctions and eigenvalues. On the other hand, it has important consequences when studying qualitative properties of solutions to semilinear problems. For instance, in the context of nonlinear Schrödinger equations, the nondegeneracy of ground state solutions (which plays a very important role in the stability and blow up analysis of solitary waves to related time-dependent equations) is reduced to study the uniqueness of solution to Eq. (1.1) when L is replaced by the radial component of the Laplacian, i.e., \(L=r^{1-n} (r^{n-1} u_r)_r\) (see [15]). Furthermore, in the framework of the Allen–Cahn equation, Berestycki, Caffarelli, and Nirenberg [1] realized that the uniqueness of solutions to Eq. (1.1) in dimension n for the local case (with L replaced by a general second order uniformly elliptic operator) leads to the resolution of a conjecture by De Giorgi for monotone solutions.Footnote 1
In the present paper, Eq. (1.1) is driven by a translation invariant integro-differential operator of the form
In this nonlocal setting there are lots of basic open problems concerning solutions in dimension one, unlike the case of local equations where the one dimensional problem (1.1) is just a second order linear ODE. For instance, a full understanding of the phase portrait of solutions in the nonlocal framework is missing.
Most of the works in the literature concerning uniqueness of solutions to (1.1)–(1.2) treat the simplest case \(L=(-\Delta )^s\) (see [3, 5, 7, 11, 13, 14, 19] and the comments along this introduction). In such a scenario, the main analytic tools are potential theory, Fourier analysis, and the Caffarelli–Silvestre extension problem. Since they are not available when dealing with more general integro-differential operators, new techniques are needed. In [16], Hamel, Ros-Oton, Sire, and Valdinoci develop a purely nonlocal method (in contrast to the local extension problem) to treat these operators. They use it to establish a uniqueness result in dimension two (motivated by a nonlocal version of De Giorgi’s conjecture) in the case of operators with compactly supported kernel and power-like behavior at the origin. In the present paper, their methodology is used in dimension one for the first time. It leads to uniqueness results for equations of the form (1.1)–(1.2). Working in dimension one allows us to get rid of the compact support assumption in [16].
Throughout the paper, we assume that the kernel K of the integro-differential operators satisfies the positivity and symmetry conditions
together with an ellipticity assumption. That is, to be bounded both from above and below by a multiple of the kernel of the fractional Laplacian, i.e.,
for some constants \(\Lambda \ge \lambda > 0\) and \(s\in [1/2,1)\). Note that the operator L will be assumed to be of order between one (included) and two. Condition (K2) is one of the most frequently adopted when dealing with nonlocal operators of the form (1.2). It is known to yield Hölder regularity of solutions (see [18] and [20]).
In some results the lower bound will not be assumed, and the upper one can be relaxed to
for some constants \(\Lambda _1,\Lambda _2\ge 0\) and \(1/2\le {\underline{s}}\le {\overline{s}}<1\). This is the case of Theorem 5.2 and Corollary 5.3.
We will sometimes assume the potential function c to be negative at infinity. That is,
for some positive constants \(c_0\) and \(R_0\).
The following is our first important result. It establishes the uniqueness of solution to (1.1) in the presence of a positive one (in addition to other assumptions).
Theorem 1.1
Let L be an integro-differential operator of the form (1.2) satisfying the symmetry and ellipticity conditions (K1) and (K2) with \(s \in [1/2,1)\). For \(\alpha >2s-1\), let w and \({\widetilde{w}}\) be two \(C^{1,\alpha }\) solutions of the linear equation
with
Assume that
-
either both w and \({\tilde{w}}\) are bounded and the potential function \(c\in L^\infty (\mathbb {R})\) satisfies
$$\begin{aligned} c(x) \le -c_0< 0 \,\,\,\,\,\, \text {in} \,\,\, \mathbb {R}\setminus [-R_0,R_0], \,\,\,\,\,\, \text { and } \,\,\,\,\,\, ||c||_{C^{\beta _0}(\mathbb {R})} < +\infty \end{aligned}$$for some positive constants \(c_0\), \(R_0\), and \(\beta _0\);
-
or w satisfies
$$\begin{aligned} 0 < C^{-1} \le w(x) \le C\,\,\,\,\,\,\, \text {in} \,\,\,\mathbb {R}\end{aligned}$$and \({\tilde{w}}\) is such that
$$\begin{aligned} ||{\widetilde{w}}||_{L^\infty (-R,R)} \le C R^{s-\frac{1}{2}} \, \, \text { for all } \, \, R>1, \end{aligned}$$for some positive constant C.
ThenFootnote 2
Let us point out that some assumptions concerning the kernel can be relaxed to include a bigger class of operators (see Theorem 5.2 for the precise statement) such as the sum of fractional Laplacians with different order (see Corollary 5.3). Nevertheless, for the sake of clarity and simplicity we prefer to state Theorem 1.1 here.
To the best of our knowledge, Theorem 1.1 is the first uniqueness result for general integro-differential operators in dimension one. Previous analogue results could only cover the case of the fractional Laplacian (see Remark 1.2 for comments on such works).
In order to prove uniqueness we follow a Liouville-type method. The main idea consists of finding an equation for the quotient of two solutions, which is the crucial contribution by Hamel, Ros-Oton, Sire, and Valdinoci [16] for general integro-differential operators, and then showing that such a quotient is constant. This requires a growth estimate in both the local and nonlocal cases.
Unlike [16], where a key point is assuming that the kernels have compact support, we adapt the strategy in order to remove such a condition by taking advantage of the one dimensionality of the problem. In our approach, the first step is controlling the growth of the quotient of the solutions. This comes for free when the positive solution is just bounded from below by a strictly positive constant. However, a finer analysis is needed when the positive solution can be arbitrarily close to zero at infinity. In that case, we prove the boundedness of the quotient by using condition (1.3) and the boundedness of the solutions. Here, we use a maximum principle in the exterior of an interval, proved in Sect. 3, in order to compare both solutions by transferring the information from the interval (where we know the quotient is bounded) to the whole line. The second ingredient to prove the uniqueness theorem is an integral estimate for the function \(K(x-y)\) with respect to both variables x and y in unbounded cross-shaped regions of the plane. In fact, the validity of this estimate is what prevents us from extending our result to \(s\in (0,1/2)\). We show it in Sect. 4. Let us point out that both ingredients become trivial when working with kernels with compact support, as it is done in [16].
Remark 1.2
As it is natural, our result, which includes a big class of integro-differential operators, is not optimal when we apply it to the fractional Laplacian. In order to compare it with other similar results in the literature, let us distinguish two cases depending on whether the equation has a zeroth order term or not.
On the one hand, when \(c\equiv 0\), in [2], Bogdan, Kulczycki, and Nowak used a gradient estimate to show that nonnegative s-harmonic functions are constant. Later on, Chen, D’Ambrosio, and Lin [7] proved, by using potential theory and Fourier analysis, a Liouville theorem for the fractional Laplacian with the growth condition
if \(0\le \gamma \le 1\) and \(\gamma <2s\). In this scenario, our result, by taking \(w\equiv 1\) as the positive solution, leads to solutions growing less or equal than \(|x|^{s-1/2}\) at infinity being constant. Thus, we notice what we have previously announced, that our condition is not sharp for the fractional Laplacian.
On the other hand, when the potential function is not identically zero, it is known that the uniqueness result for the fractional Laplacian, with \(s \in [1/2,1)\), follows from Theorem 4.10 by Cabré and Sire in [3] (see also the work by Cabré and Solà-Morales [5] for the half-Laplacian) and the use of the local extension problem. In this case, unlike our result, no condition on the potential function (or the positive solution) needs to be assumed.
An important and direct application of Theorem 1.1 is the nondegeneracy of layer solutions to Allen–Cahn type equations. Let us recall that a bounded solution to the semilinear problem
is called layer solution if it is strictly increasing. In particular, it has limits at infinity, which (without loss of generality) we can consider to be \(\pm 1\).
When L is a second order differential operator, layer solutions to Eq. (1.4) are just particular cases of heteroclinic connections to nonlinear ODEs. Nevertheless, in the nonlocal setting, even the existence of such solutions is not an easy problem due to the lack of an analogous nonlocal ODE theory. In the fractional case \(L= (-\Delta )^s\), existence and uniqueness are shown in [3,4,5] by using the extension problem. For more general integro-differential operators, we can refer to the work by Cozzi and Passalacqua [8] where they prove existence, uniqueness (up to translations), and some qualitative properties of layer solutions (see [12] for further properties). Here, we prove nondegeneracy:
Theorem 1.3
Let L be an integro-differential operator of the form (1.2) satisfying the symmetry and ellipticity conditions (K1) and (K2) with \(s \in [1/2,1)\). For \(\gamma >0\), let \(f\in C^{1,\gamma }([-1,1])\) be any given nonlinearity such that \(f'(\pm 1)<0\).
Assume that u is a bounded solution to the semilinear Eq. (1.4), satisfying \(u'>0\) and \(\lim _{x\rightarrow \pm \infty } u(x) = \pm 1\).
Then, u is nondegenerate, i.e., up to a multiplicative constant, \(u'\) is the unique bounded solution to the linearized equation \(L \varphi - f'(u) \varphi = 0\) in \(\mathbb {R}\).
Let us point out that condition \(f'(\pm 1) <0\), which corresponds to \(c=f'(u)\) being negative at infinity, is a natural assumption. Indeed, it is the same hypothesis needed to prove uniqueness (up to translations) of the layer solutions (see Theorem 1.2 in [5] in the case of the half-Laplacian). Moreover, this is also the needed condition for \(\pm 1\) to be local minimizers of the associated energy.
The nondegeneracy of solutions plays a very relevant role in the stability and blow up analysis for time dependent versions of Eq. (1.1). Furthermore, it is also important in stationary problems, as in the construction of new solutions to the semilinear Eq. (1.4) around a nondegenerate one by using an implicit function argument. Indeed, Dávila, del Pino, and Musso [9] proved the nondegeneracy of the layer solution when \(L= (-\Delta )^{1/2}\) (with the extension problem) in order to construct solutions to (1.4) that develop multiple transitions from \(-1\) to 1. In [10], Du, Gui, Sire, and Wei generalize the nondegeneracy to \(s\in (1/2,1)\) and use it to show the existence of clustering-layered solutions for a fractional inhomogeneous Allen–Cahn equation.
Next, we present the third main result of this work: a uniqueness theorem in the odd setting. Let us point out that in such a case our strategy allows us to show uniqueness only among odd functions. Completely different arguments would be needed to establish uniqueness among all functions, as it occurs in [13] for a particular case involving the fractional Laplacian (see the end of the present introduction for more details).
Theorem 1.4
Let L be an integro-differential operator of the form (1.2) with kernel K being decreasing in \((0,+\infty )\) and satisfying the symmetry and ellipticity conditions (K1)and (K2) for some \(s \in [1/2,1)\). Assume the potential function \(c\in L^\infty (\mathbb {R})\) satisfies
for some positive constants \(c_0\), \(R_0\) and \(\beta _0\).
For \(\alpha >2s-1\), let w and \({\widetilde{w}}\) be two odd \(C^{1,\alpha }\) bounded solutions of the linear equation
with
Then
Note that since the integro-differential operator L preserves the oddness of functions, the potential function c needs to be even if we assume the problem to have existence of odd solutions. On the other hand, the monotonicity of the kernel is a natural assumption when working with odd functions in the nonlocal setting. Indeed, for the validity of the maximum principle (see Lemma 3.2 and section 3 of [17]), this condition is the analogue in the odd framework to the positivity of the kernel in (K1) for general functions.
As in Theorem 1.3 for the case of functions without any symmetry, we can apply the previous uniqueness result to prove qualitative properties of solutions to semilinear problems. Let us recall that a bounded solution (without loss of generality we can consider it to be bounded by 1) to the semilinear Eq. (1.4) is called ground state if it is even, positive, and decreasing to zero at infinity. We refer to the work by Frank and Lenzmann [13] and references therein for existence results of such solutions. Here, we establish a partial nondegeneracy result (in the sense that we prove uniqueness for the linearized equation only among odd functions):
Theorem 1.5
Let L be an integro-differential operator of the form (1.2) with kernel K being decreasing in \((0,+\infty )\) and satisfying the symmetry and ellipticity conditions (K1) and (K2), for some \(s \in [1/2,1)\). For \(\gamma >0\), let \(f\in C^{1,\gamma }([0,1])\) be any given nonlinearity such that \(f'(0)<0\).
Assume that u is a bounded even solution to the semilinear Eq. (1.4), satisfying \(u'<0\) in \((0,+\infty )\) and \(\lim _{x\rightarrow \pm \infty } u(x) = 0\).
Then, up to a multiplicative constant, \(u'\) is the unique bounded odd solution to the linearized equation \(L \varphi - f'(u) \varphi = 0\) in \(\mathbb {R}\).
As in the nondegeneracy result for layer solutions, the condition \(f'(0) <0\) is a natural assumption. Indeed, it is a necessary condition in order for \(v\equiv 0\) to be a local minimizer of the associated energy.
The most important result in the literature dealing with nondegeneracy of ground states in the nonlocal framework is due to Frank and Lenzmann [13]. Unlike us, they were able to establish the full nondegeneracy (uniqueness for the linearized equation among all functions) in the particular case \(L=(-\Delta )^s\) and f being a polynomial nonlinearity (see Lemma C.3 from [13]) as we explain next. An important point in their strategy is to note that the operator \(L-f'(u)\) preserves odd/even symmetry. Thus, both the odd and even parts of any given solution of the linearized problem are also solutions, and a separated analysis can be done for each one. First, they prove the uniqueness among odd functions by using the heat kernel for the fractional Laplacian. Next, they show that the unique even solution is the trivial one, which is the most difficult step. In order to do it, they develop a delicate spectral theory for fractional Schrödinger operators (where the local extension problem and the polynomial structure of the nonlinearity play a crucial role). Finally, the uniqueness among all functions follows from the previous results. The nondegeneracy of ground states turns out to be very important since they use it to prove their uniqueness result by using an implicit function argument and the well known result for the local case (\(s=1\)).
Finally, let us comment that the strategy to prove Theorem 1.4 follows the same lines as the one of Theorem 1.1. Nevertheless, there are some difficulties we have to overcome. First, we need to take advantage of the odd symmetry to find an equation for the quotient of two solutions (see Corollary 2.2) which involves only the values of the functions in \((0,\infty )\), where the first solution w is known to be positive. Next, we need to assure the quotient to be well-defined at the origin, where the denominator vanishes. We can accomplish it by using a maximum principle in small domains around the origin and taking into account that the numerator also vanishes at this point.
The paper is organized as follows. In Sect. 2 we present the equation satisfied by the quotient of two solutions to (1.1)–(1.2). Section 3 is devoted to show the maximum principles in the exterior of an interval. In Sect. 4 we give some estimates involving the integral of the kernel in cross-shaped unbounded domains. Finally, in Sects. 5 and 6 we prove the main results of the paper.
2 Preliminary results: an equation for the quotient of solutions
In this section we include a few preliminary algebraic computations that will be employed in the proof of the main theorems. They are inspired by the computations done by Hamel, Ros-Oton, Sire, and Valdinoci in [16].
In the local framework (see proof of Theorem 1.8 in Section 4 of [1]), it is well known that given a positive supersolution w and a solution \({\tilde{w}}\) to the linear equation \(-\Delta \varphi - c(x) \varphi = 0\), the quotient \(\sigma := {\tilde{w}}/w\) satisfies \(\sigma {{\,\mathrm{div}\,}}(w^2\nabla \sigma ) \ge 0\). Thus, multiplying by \(\tau ^2\), where \(\tau \) is any cut-off function, and integrating in the whole space, one arrives at
Similar computations can also be done, by using the extension problem, when the Laplacian is replaced by the fractional Laplacian (see [3, 5]).
In the general integro-differential case we establish the following:
Lemma 2.1
Let L be an integro-differential operator of the form (1.2). Assume that w and \(\sigma \) are two smooth functions such that w and \({\tilde{w}}:=\sigma w\) satisfy
and
respectively, for some potential function \(c=c(x)\).
Then, given any function \(\tau \in C_c^\infty (\mathbb {R})\),
Moreover, if \(w\left( Lw-cw\right) = {\tilde{w}}\left( L{\tilde{w}}-c{\tilde{w}}\right) = 0\), equality holds in the previous expression.
This result, which is a generalization of Lemma 2.1 from [16], is a nonlocal analogue to (1.1). In Sect. 5, we will use it to prove that the quotient of two solutions to the linear Eq. (1.1) is constant.
Proof
First, combining \(w (Lw-cw) \ge 0\) and \({\tilde{w}} (L{\tilde{w}}-c{\tilde{w}}) \le 0\), we can easily check that \(\sigma ({\tilde{w}} Lw - w L{\tilde{w}}) \ge 0\). Then, multiplying by \(\tau ^2\), where \(\tau \) is any cut-off function, and repeating the algebraic computations done in [16] we find that
Finally, symmetrizing in both x and y we conclude the proof. \(\square \)
As a consequence of the previous lemma, we can also find a useful identity for the quotient of two odd solutions to the linear Eq. (1.1). In such a case, all the integrals can be written in \((0,+\infty )\) by taking advantage of the symmetry of the functions.
Corollary 2.2
Let L be an integro-differential operator of the form (1.2). Assume that w and \(\sigma \) are two smooth functions such that both w and \({\tilde{w}}:=\sigma w\) are odd solutions to the linear equation
for some even potential function \(c=c(x)\).
Then, given any even function \(\tau \in C_c^\infty (\mathbb {R})\),
Note that the previous identity is completely identical to the one in the general case but with integrals now computed in the half-line instead of the whole line, and with \(K(x-y)-K(x+y)\) taking the role of \(K(x-y)\).
Proof of Corollary 2.2
We use the symmetry properties of the functions (\(\sigma \) and \(\tau \) are even while w is odd) to rewrite the identity from Lemma 2.1 in terms of integrals computed only in \(\mathbb {R}^+\). That is,
and
From this, we conclude the desired result by applying Lemma 2.1. \(\square \)
3 Some maximum principles in the exterior of an interval
In this section we prove two maximum principles in the exterior of an interval for some linear equations driven by an integro-differential operator plus a zeroth order term. The first result applies to functions without any symmetry, while the second one concerns odd functions. They will be the fundamental tool in Sects. 5 and 6 to show that the quotient of two bounded solutions to Eq. (1.1) is also bounded.
Proposition 3.1
Let L be an integro-differential operator of the form (1.2) satisfying conditions (K1) and (K3) for some \(1/2\le {\underline{s}} \le {\overline{s}}<1\). Assume that the potential function \(c=c(x)\) satisfies (1.3) for some positive constants \(R_0\) and \(c_0\).
For \(\alpha > 2{\overline{s}}-1\), let \(\varphi \) be a bounded and \(C^1\) function in \(\mathbb {R}\) such that \([\varphi ']_{C^{\alpha }(\mathbb {R})} < +\infty \),
and
Then
For simplicity, we are assuming \(1/2\le {\underline{s}} \le {\overline{s}}<1\) since this is the range in which we are applying the result. However, the proof can be easily adapted to \(0< {\underline{s}} \le {\overline{s}}<1\) and any dimension (with the ball taking the role of the interval). Moreover, we point out that the negativity of the potential function c at infinity, which is an assumption in some parts of Theorem 1.1, originates on this maximum principle.
Proof of Proposition 3.1
Assume the result to be false. Then, the infimum of \(\varphi \) is negative. In the case it is achieved, the contradiction comes directly from evaluating the operator \(L\varphi -c\varphi \) at a point where such a minimum is attained. On the contrary, if the infimum is not achieved, we can construct a sequence of points \(x_k \not \in [-R_0,R_0]\) where \(\varphi \) takes negative values and approaches the infimum in the following way:
Next, we evaluate \(L\varphi -c\varphi \) at that sequence of points. In order to do it, we split the integro-differential term of the operator into two parts, and we estimate each one separately. That is,
where \(\delta \) is a positive parameter to be chosen later. Here, we have used the odd symmetry of the kernel K to write the operator in terms of the second order differences.
Let us first estimate the term of the tails. If we use condition (1.1) and the ellipticity assumption (K3) we obtain
For the second integral we use the regularity of \(\varphi \). Since \(\varphi '\) is globally Hölder with exponent \(\alpha >2{\overline{s}}-1\ge 2{\underline{s}}-1\), the second order incremental quotients satisfy
Therefore, using this estimate and the ellipticity assumption (K3) we get
On the other hand, we use assumption (1.3) together with conditions \(\varphi (x_k)<0\) and \(\varphi (x_k) \le \frac{1}{k}+\inf _\mathbb {R}\,\varphi \) to bound the zeroth order term as follows
Combining all this and taking \(\delta =k^{-1/2}\), we find that
Finally, by letting k tend to infinity and using the assumptions \(1/2\le {\underline{s}}\le {\overline{s}}<1\) and \(\alpha >2{\overline{s}}-1\ge 2{\underline{s}}-1\) we conclude
which contradicts the infimum being negative. \(\square \)
Odd functions are defined by their values in \((0,+\infty )\). We want to take advantage of this property to find an alternative and more useful expression for integro-differential operators when acting on such functions.
Lemma 3.2
Let L be an integro-differential operator of the form (1.2), and let \(\varphi \) be an odd function. Then,
Note that this alternative expression consists on a regional-type integro-differential operator in \((0,+\infty )\) plus a zeroth order term. This structure is more suitable to work with, and it will be used to establish a maximum principle in the odd setting. As it occurs in Corollary 2.2, in the odd framework \(K(x-y)-K(x+y)\) takes the role of \(K(x-y)\). For this reason it is natural to impose the condition \(K(x-y)-K(x+y) \ge 0\) for each \(x,y\in (0,+\infty )\) when working with odd functions. Actually, such a condition turns out to be equivalent to K being nonincreasing in \((0,+\infty )\).
Proof of Lemma 3.2
If we split the integral into two terms and use the odd symmetry we arrive at
\(\square \)
Next, we establish an analogous maximum principle to Proposition 3.1 in the case of odd functions. In this scenario, conditions are only imposed in the half-line since the odd symmetry transfers the information to the whole space.
Proposition 3.3
Let L be an integro-differential operator of the form (1.2) with nonincreasing kernel K satisfying conditions (K1) and (K2) for some \(s \in [1/2,1)\) and \(0<\lambda \le \Lambda \). Assume the potential function \(c=c(x)\) is even and satisfies (1.3) and
for some positive constants \(R_0>r_0>0\).
For \(\alpha > 2s-1\), let \(\varphi \) be a bounded and \(C^1\) odd function in \(\mathbb {R}\) such that \([\varphi ']_{C^{\alpha }(\mathbb {R})} < +\infty \),
and
Then,
Note that (1.2) is a small domain condition, which is satisfied when \(r_0\) is small enough depending on the integro-differential operator and the potential function. When applying this result in Sect. 6, such a condition will not impose any restriction since we will have enough freedom to choose \(r_0>0\) as small as needed.
Proof of Proposition 3.3
We begin by noticing that using the previous lemma we can rewrite \(L\varphi -c\varphi \ge 0\) as
Thus, it is clear that we can repeat the proof of Proposition 3.1 if we show that
satisfies
for some positive constant \({\tilde{c}}_0\).
On the one hand, by combining the positivity of the kernel K and condition (1.3), we deduce that given any \(x\in (R_0,+\infty )\),
On the other hand, by using the ellipticity assumption (K2), we obtain that given any \(x\in (0,r_0)\),
Hence, it is enough to take \({\tilde{c}}_0 = \min \left\{ c_0,\frac{\lambda }{s}r_0^{-2s}-||c||_{L^\infty (\mathbb {R})}\right\} >0\). \(\square \)
Let us remark that a maximum principle as in Proposition 3.3 cannot hold if we remove the odd symmetry of the function. In that case, having a negative minimum in \((0,+\infty )\) does not give any information about the sign of the operator at this point since the behavior of the function in \((-\infty ,0)\) is unknown.
4 Integrability bounds for the kernel
This section is devoted to presenting some integrability bounds that will be needed to establish Theorems 1.1 and 1.4. In fact, the validity of these bounds is what prevents us from extending our results to \(s\in (0,1/2)\).
In [16], Hamel, Ros-Oton, Sire, and Valdinoci work with compactly supported kernels in dimension 2. Once such a condition is assumed, the integrability bounds for the kernel follow immediately for free. In our case, when removing that assumption, some estimates become much more delicate. In order to control the integrals we define some auxiliary sets and prove certain relations between them that simplify the computations.
First, we show the following identity:
Lemma 4.1
Let \(S_R\), \(D_R\), \({\mathcal {T}}_R^x\), and \({\mathcal {T}}_R^y\) be the sets
and
Then, \({\mathcal {T}}_R^x\) and \({\mathcal {T}}_R^y\) are disjoint and satisfy
Proof
On the one hand, let \((x,y)\in S_R\setminus D_R\). By the symmetry of the set with respect to x and y we can assume without loss of generality that \((x,y)\in \left( B_{2R}\times B_R^c\right) \cap \{|x-y|>4R\}\). Then, \((x,y)\in {\mathcal {T}}_R^x\) follows trivially.
On the other hand, given \((x,y)\in {\mathcal {T}}_R^x\), we can apply the triangle inequality to deduce that \(|y|\ge 2R\). Therefore, we conclude that \((x,y)\in S_R\setminus D_R\).
Finally, in order to prove that the sets \({\mathcal {T}}_R^x\) and \({\mathcal {T}}_R^y\) are disjoint we only need to recall that given \((x,y)\in {\mathcal {T}}_R^x\), it satisfies \(|y|\ge 2R\), and therefore \((x,y)\not \in {\mathcal {T}}_R^y\). \(\square \)
Next, we prove a useful inclusion of sets.
Lemma 4.2
Let \(S_R\) and \(D_R\) be as in Lemma 4.1, and let \({\mathcal {R}}_R^x\) and \({\mathcal {R}}_R^y\) be the sets
and
Then,
Proof
The proof of these inclusions is simple. As in Lemma 4.1, we only need to consider different cases and use the triangle inequality to relate |x|, |y|, and \(|x-y|\) .
For the first inclusion, let \((x,y)\in {\mathcal {R}}_{2R}^x \setminus {\mathcal {R}}_{R}^x\). We distinguish two cases: either \(|x|\le R\) and \(2R\le |x-y|\le 4R\), or \(R\le |x|\le 2R\) and \(|x-y|\le 4R\). In the first scenario, it is clear by using the triangle inequality that \(|y|\ge R\), and therefore \((x,y) \in (B_{2R}\times B_R^c)\cap D_R \subset S_R\cap D_R\). In the second one, we only need to note that \((B_{2R}\setminus B_R)\times \mathbb {R}^n \subset (B_{2R}\times B_R^c) \cup (B_{R}^c\times B_{2R})\).
For the second inclusion, by taking advantage of the symmetry with respect to x and y of the sets \(S_R\) and \(D_R\) it is enough to prove that \(\left( B_{2R}\times B_R^c\right) \cap D_R \subset ({\mathcal {R}}_{2R}^x \setminus {\mathcal {R}}_{2R/3}^x) \cup ({\mathcal {R}}_{2R}^y \setminus {\mathcal {R}}_{2R/3}^y)\). Then, given \((x,y) \in \left( B_{2R}\times B_R^c\right) \cap D_R\), if \(4/3R\le |x-y|\le 4R\) or \(2R/3\le |x|\le 2R\), it is clear that \((x,y) \in {\mathcal {R}}_{2R}^x \setminus {\mathcal {R}}_{2R/3}^x \). Therefore, we are left with proving the desired result for the case \(|x|\le 2R/3\), \(|y|\ge R\), and \(|x-y|\le 4/3R\). By applying the triangle inequality we can deduce that in such a case \(|y|\le 2R\) and we conclude that \((x,y)\in {\mathcal {R}}_{2R}^y \setminus {\mathcal {R}}_{2R/3}^y\). \(\square \)
Once we have established the previous relations of sets, we can proceed by proving the integral estimates. We first state them for the kernel of the fractional Laplacian. The case of general integro-differential operators will follow from them as a consequence of the ellipticity assumptions.
Lemma 4.3
Let \(S_R\) and \(D_R\) be as in Lemmas 4.1 and 4.2. Assume \(s\in (0,1)\) and \(0\le \gamma \le \min (s,1/2)\).
Then,
and
where C is a positive constant depending only on n, s, and \(\gamma \).
We point out that analogous bounds from below can also be deduced. However, since we will not use such estimates in the present work, we skip them.
Proof of Lemma 4.3
To obtain the first estimate we use the inclusion of sets given by Lemma 4.2. That is,
The second bound is more delicate. First we find that
where we have performed the change of variables: \(z=x-y\) and \(w=x\). Next, we obtain
Finally, we conclude the proof by applying Lemma 4.1. Let us point out that it is crucial in the last estimate to assume \(\gamma \le \min (s,1/2)\) in order to ensure the integrability. \(\square \)
Once we have established the previous bounds for the kernel of the fractional Laplacian, we can easily obtain the estimates we need, in cross-shaped domains, for the bigger class of operators satisfying condition (K3).
Corollary 4.4
Let L be an integral operator of the form (1.2), with kernel K satisfying conditions (K1) and (K3) for some \(0<{\underline{s}}\le {\overline{s}}<1\). Assume the set \(S_R\) is defined as in Lemma 4.1 and \(0\le \gamma \le \min ({\underline{s}},1/2)\).
Then
for a positive constant C not depending on R.
In particular, if \(n=1\), \(1/2\le {\underline{s}}\le {\overline{s}}<1\), and \(\gamma \in [0,{\underline{s}}-1/2]\), there is a positive constant C, independent of R, such that
for any \(R\ge 1\).
Note that the uniform bound can only be established when \(n+2\gamma -2{\underline{s}}\le 0\). Since the dimension n is an integer, it means that the previous condition is not satisfied unless \(n=1\), \(1/2\le {\underline{s}}\le {\overline{s}}<1\), and \(\gamma \in [0,{\underline{s}}-1/2]\). This is the reason why we need to assume such dimension and range of fractional powers, in addition to a growth condition of order \(s-1/2\) in Theorem 1.1.
Proof
First, note that
where \(D_R\) is the set defined in Lemma 4.3.
Then, by the linearity of the integral, the ellipticity assumption in the kernel (K3), and the relations of sets from Lemma 4.1 we get
\(\square \)
Finally, we establish an analogue result in the odd setting.
Corollary 4.5
Let L be an integral operator of the form (1.2), with kernel K being radially decreasing and satisfying conditions (K1) and (K2). Assume \(n=1\), \(0\le \gamma \le \min (s,1/2)\), and the set
with \(S_R\) as in the previous results.
Then,
for a positive constant C not depending on R. In particular, in the case \(s\in [1/2,1)\) and \(0\le \gamma \le s-1/2\)
for any \(R\ge 1\).
Proof
By using Lemma 4.3, the ellipticity condition of the kernel and the symmetries of the domain \(S_R\) with respect to x and y we get
\(\square \)
5 Proof of Theorems 1.1 and 1.4
This section is devoted to proving the results presented in Sect. 1 where no symmetries are assumed.
In order to deal with the first scenario in Theorem 1.1 we first show that the quotient of two bounded solutions is also bounded:
Proposition 5.1
Let L be an integro-differential operator of the form (1.2) satisfying the symmetry and ellipticity conditions (K1) and (K3) for some \(1/2\le {\underline{s}} \le {\overline{s}}<1\). Assume that the potential function \(c=c(x)\) satisfies condition (1.3) for some positive constant \(R_0\).
For \(\alpha >2{\overline{s}}-1\), let w and \({\widetilde{w}}\) be two bounded and \(C^1\) functions such that \([w']_{C^{\alpha }(\mathbb {R})}\) and \([{\widetilde{w}}']_{C^{\alpha }(\mathbb {R})}\) are finite. In addition, assume that
and
Then, there exists a positive constant C such that
Proof
First, by applying Proposition 3.1 and the strong maximum principle we deduce
As a consequence, the quotient \({\tilde{w}}/w\) is well-defined and continuous in the whole real line.
Next, we prove that such a quotient is indeed bounded. This will follow after showing the positivity of the functions
where C is a nonnegative constant to be chosen. Note that these functions inherit the regularity of w and \({\widetilde{w}}\) from being a linear combination of them.
Let us take \(C\ge 0\) satisfying
It is clear by definition that \( \varphi _\pm \ge 0\) in \([-R_0,R_0]\). Moreover,
Hence, by applying Proposition 3.1 to \(\varphi _\pm \) we conclude that
which is equivalent to
\(\square \)
Next, we establish the uniqueness result for the linear Eq. (1.1). As already explained in the introduction, we present here a more general result from which we will deduce Theorem 1.1 among others. On the one hand, the ellipticity condition on the kernel is relaxed to (K3), which means the kernel being bounded only from above, even with different order at the origin and infinity. On the other hand, it is not needed the existence of a positive solution but a positive supersolution.
Theorem 5.2
Let L be an integro-differential operator of the form (1.2) satisfying the symmetry and ellipticity conditions (K1) and (K3) for some \(1/2\le {\underline{s}}\le {\overline{s}}<1\).
For \(\alpha >2{\overline{s}}-1\), let w and \({\widetilde{w}}\) be \(C^{1,\alpha }\) functions in \(\mathbb {R}\). Assume that
-
either w and \({\widetilde{w}}\) are both bounded and such that \([w']_{C^{\alpha }(\mathbb {R})}\) and \([{\widetilde{w}}']_{C^{\alpha }(\mathbb {R})}\) are finite, \(w>0\), and the potential function \(c=c(x)\) satisfies condition (1.3);
-
or w is such that
$$\begin{aligned} 0 < C^{-1} \le w(x) \le C\,\,\,\,\,\,\, \text {in} \,\,\,\mathbb {R}, \end{aligned}$$and \({\tilde{w}}\) satisfies the growth condition
$$\begin{aligned} ||{\widetilde{w}}||_{L^\infty (-R,R)} \le C R^{{\underline{s}}-1/2}, \, \, \text { for every } \, \, R>1 \end{aligned}$$for some positive constant C.
In addition, assume that
and
Then
In the following proof, once the boundedness of \(\sigma := {\widetilde{w}}/w\) (Proposition 5.1) and some integrability estimates (Lemma 4.3) are established, it will be enough to follow the strategy developed in [16] to conclude that such a quotient is constant.
Proof of Theorem 5.2
We begin by noticing that, using the bounds on w and \({\widetilde{w}}\), and applying Proposition 5.1, we immediately deduce that \(\sigma = {\widetilde{w}}/w\) satisfies the growth condition \(|\sigma (x)|\le C |x|^{{\underline{s}}-1/2}\). This is the first step to show that \(\sigma \) is constant.
Let \(\eta \) be a \(C^\infty \) function on \([0,+\infty )\) such that \(0\le \eta \le 1\) and
For each \(R>1\), we take \(\eta _R(x)=\eta \left( \frac{\vert x\vert }{R}\right) \). It is clear that it satisfies the pointwise estimate
and some positive constant C depending only on \(\eta \).
Next, we apply Lemma 2.1 with \(\tau = \eta _R\) to deduce
Note that the last equality follows from the support of \(|\eta _R(x)-\eta _R(y)|\) being the set \(S_R\) defined in Lemma 4.1.
Furthermore, by using Cauchy-Schwartz inequality we get
Now, by combining the boundedness of w, the growth condition on \(\sigma \), the pointwise estimate (1.1) for \(\eta _R\), and the integrability result from Corollary 4.4, we find
Summarizing, we have
which leads to
In particular, since \(\eta _R=1\) in \(B_R\), we deduce
where C is a positive constant not depending on R. From that estimate and the monotone convergence theorem we obtain that \(\big ( \sigma (x)-\sigma (y) \big )^2\,w(x)\,w(y)\,K(x-y)\) belongs to \(L^1(\mathbb {R}\times \mathbb {R})\). Hence, we conclude from the dominated convergence theorem that
Combining all this together, we arrive at
From this and the positivity of both w and K, we obtain that \(\big (\sigma (x)-\sigma (y)\big )^2=0\) for almost every \((x,y) \in \mathbb {R}\times \mathbb {R}\). Thus, by continuity, we conclude that
\(\square \)
Using the previous result we can easily deduce Theorem 1.1. In fact, we only need to check that solutions from Theorem 1.1 have the required regularity to apply Theorem 5.2. Such property will follow thanks to the regularizing effect of the operators satisfying the ellipticity assumption (K2).
Proof of Theorem 1.1
In order to prove Theorem 1.1 we will show that any bounded solution to the linear Eq. (1.1) with L being of the form (1.2) and satisfying (K1) and (K2) is globally Hölder continuous with exponent \(\alpha +1 > 2s\) (we use here the notation \(C^\gamma = C^{\lfloor \gamma \rfloor ,\gamma -\lfloor \gamma \rfloor }\) whenever \(\gamma >1\)). From this and Theorem 5.2, the uniqueness result will follow.
The proof of the regularity is based on defining the auxiliary function \(f(x):=c(x)u(x)\) and using the interior regularity results from [20] for the nonlocal equation
Let us first prove that any solution u satisfies \(||u||_{C^{\beta }(\mathbb {R})}<\infty \) for each \(\beta <2s\). The boundedness of both u and c leads to \(f\in L^\infty (\mathbb {R})\). Thus, we can apply Corollary 1.2 from [20] for each unitary ball in \(\mathbb {R}\) to conclude that
for any given point \(x_0 \in \mathbb {R}\) and \(\beta <2s\).
In particular, we know that \(||u||_{C^{\beta _0}(\mathbb {R})}\) is finite. Hence, we can use the fact that \(||c||_{C^{\beta _0}(\mathbb {R})}\) is also finite to deduce that f inherits such a property and apply Theorem 1.1 from [20] to establish
Finally, if we take \(\alpha :=2s+\beta _0-1\), we can apply Theorem 5.2 to deduce the uniqueness of solution, concluding the proof. \(\square \)
We state now an interesting consequence of Theorem 5.2 which is not included in Theorem 1.1. It deals with sums of fractional Laplacians.
Corollary 5.3
Let L be a nonlocal operator of the form
with \(1/2\le {\underline{s}} \le {\overline{s}} < 1\), where \(\mu \) is a probability measure supported in \([{\underline{s}},{\overline{s}}]\), i.e.,
Assume that c is bounded in \(\mathbb {R}\), satisfies condition (1.3), and \(||c||_{C^{1,2{\overline{s}}-1}(\mathbb {R})} < +\infty \).
Let w and \({\widetilde{w}}\) be two bounded solutions of the linear equation
with \(w>0\). Then
Proof
In order to establish Corollary 5.3 we only need to show that the operator L is of the form (1.2) satisfying (K1) and (K3) and that bounded solutions of the linear equation are globally Hölder continuous with exponent grater than \(2{\overline{s}}\).
First, let us rewrite the expression of L in an alternative way:
Thus, L is an integral operator of the form (1.2) with kernel
Moreover, it satisfies conditions (K1) and (K3). Indeed,
Next, let us apply the regularity results from [6] to deduce the Hölder regularity of bounded solutions. Since c is a \(C^{1,2{\overline{s}}-1}\) function we can use a standard bootstrap argument that leads to the desired regularity of the solution after using Lemma 2.1 from [6] \(\left\lfloor {2{\overline{s}}/\alpha }\right\rfloor +1\) times, where \(\alpha \) is a positive constant depending only \({\underline{s}}\) and n. Thus, we conclude that u belongs to \(C^{1,2{\overline{s}}-1+\beta }\) in \(\mathbb {R}\) with \(\beta = \left\lfloor {2{\overline{s}}/\alpha }\right\rfloor \alpha +\alpha -2{\overline{s}}>0\).
Combining all this, we can apply Theorem 5.2 to establish the uniqueness of solutions. \(\square \)
Finally, we prove the nondegeneracy of layer solutions, Theorem 1.3.
Proof of Theorem 1.3
First, we know by Theorem 1 in [8] that the layer solution u is a \(C^{2,2s-1+\gamma }\) function for some \(\gamma >0\) and \(u'\) is bounded in the whole line.
We need to show that \(u'\) is the unique bounded solution to
Let us take \(c(x) = f'(u(x))\). We only need to check that the hypotheses in Theorem 1.1 are satisfied. Since \(f'\in C^\gamma ([-1,1])\) and u is a continuous and bounded function, it is clear that c is bounded and such that \([c]_{C^\gamma (\mathbb {R})}\) is finite. Furthermore
From this property and the continuity of c we deduce that condition (1.3) is satisfied.
Finally, since \(u'\) is a \(C^{1,2s-1+\gamma }\) and positive (by definition of layer) bounded solution to (1.2) we can apply Theorem 1.1 to conclude the proof of the result. \(\square \)
6 Odd solutions: proof of Theorem 1.4 and Corollary 1.5
In this section we prove the main results of the paper dealing with odd functions.
We begin by establishing that the quotient of an odd bounded solution and an odd bounded positive supersolution is also bounded.
Proposition 6.1
Let L be an integro-differential operator of the form (1.2) with nonincreasing kernel K satisfying the symmetry and ellipticity conditions (K1) and (K2) for some \(s \in [1/2,1)\) and \(0<\lambda \le \Lambda \). Assume the potential function \(c=c(x)\) is bounded, even, and satisfies condition (1.3) for some positive constants \(R_0\) and \(c_0\).
For \(\alpha >2s-1\), let w and \({\widetilde{w}}\) be two odd bounded and \(C^{1}\) functions such that \([w']_{C^\alpha (\mathbb {R})}\) and \([{\tilde{w}}']_{C^\alpha (\mathbb {R})}\) are finite and satisfy
and
Then, there exists a constant \(C\ge 0\) such that
Proof
First, by applying Proposition 3.3 and the strong maximum principle for odd functions (see Proposition 3.6 in [17]) we get
As a consequence, the quotient \(\sigma :={\tilde{w}}/w\) is well-defined and continuous in \(\mathbb {R}\setminus \{0\}\).
We will show that the quotient can be extended to be continuous and bounded in the whole real line. As in Proposition 5.1, this will follow after showing the positivity of the functions
for some positive constant C in \([0,+\infty )\).
For this, let us take \(r_0\) and C such that
and
Note that the existence of such constants is guaranteed by the boundedness of the potential function c and the positivity of w.
Now, it is enough to check that the hypotheses of Proposition 3.3 are satisfied. By the choice of C, it is clear that \(\varphi _\pm \ge 0\) in \([r_0,R_0]\) and
Furthermore, both functions \(\varphi _\pm \) are odd and inherit the regularity of w and \({\widetilde{w}}\) from being linear combinations of them.
Thus, Proposition 3.3 leads to
which is equivalent to
Finally, by the continuity of both w and \({\tilde{w}}\) we can extend the result to the whole real line, concluding the proof. \(\square \)
At this point we have all the ingredients to prove that the quotient of two odd solutions to (1.1), with one of them changing sign only once, is not only bounded but constant.
Proof of Theorem 1.4
The proof of this result is completely analogous to the one of Theorem 5.2, applying Proposition 6.1, Corollaries 4.5, and 2.2 instead of Proposition 5.1, Corollary 4.4, and Lemma 2.1. \(\square \)
Finally, we prove Corollary 1.5.
Proof of Corollary 1.5
First, let us point out that by the regularity theory for nonlocal equations and Proposition 1.1 in [13] we know that u is a \(C^{2,2s-1+\gamma }\) function in \(\mathbb {R}\) for some \(\gamma >0\). Furthermore, u is strictly decreasing in \(\mathbb {R}^+=(0,+\infty )\) with \(u'\) being bounded. Note that the even symmetry of u leads to the odd symmetry of \(u'\).
We need to show that \(u'\) is the unique bounded odd solution to
Let us take \(c(x) = f'(u(x))\). It is enough to check that the hypotheses in Theorem 1.4 are satisfied. Since \(f'\in C^\gamma ([0,1])\) and u is an even, continuous, and bounded function, we deduce that c is even, bounded, and such that \([c]_{C^\gamma (\mathbb {R})}\) is finite. Moreover, it satisfies
Hence, (1.3) holds.
Finally, since \(-u'\) is a positive bounded odd solution to (1.1) in \(\mathbb {R}^+\) we can apply Theorem 1.4 to complete the proof. \(\square \)
Notes
All the directional derivatives of a solution u to the Allen–Cahn equation satisfy the linearized problem. Moreover, from the monotonicity assumption in the De Giorgi conjecture we know that one of the derivatives is positive, say \(\partial _n u >0\). Therefore, we can apply the uniqueness result to the linearized equation in the presence of a positive solution to conclude that all partial derivatives are multiples of \(\partial _n u\). In particular, the gradient of u has a fixed direction, which turns out to be equivalent to the one-dimensionality of the solution u.
The result can also be established (see the proof of Theorem 5.2 and the estimates in Sect. 4) in the second scenario for \(s\in (0,1/2)\) if one assumes that the solution \({\tilde{w}}\) is bounded and decays as \(||{\widetilde{w}}||_{L^\infty (\mathbb {R}\setminus (-R,R))} \le C R^{s-\frac{1}{2}}\) for \(R>1\). In this precise case one would conclude that \({\tilde{w}} \equiv 0\) since \(w>C^{-1}\) in \(\mathbb {R}\).
References
Berestycki, H., Caffarelli, L., Nirenberg, L.: Further qualitative properties for elliptic equations inunbounded domains. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 25, 69–94 (1997)
Bogdan, K., Kulczycki, T., Nowak, A.: Gradient estimates for harmonic and \(q\)-harmonic functions of symmetric stable processes. Ill. J. Math. 46, 541–556 (2002)
Cabré, X., Sire, Y.: Nonlinear equations for fractional Laplacians, I: regularity, maximum principles, and Hamiltonian estimates. Ann. Inst. H. Poincaré Anal. Non Linéaire 31, 23–53 (2014)
Cabré, X., Sire, Y.: Nonlinear equations for fractional Laplacians II: existence, uniqueness, and qualitative properties of solutions. Trans. Am. Math. Soc. 367, 911–941 (2015)
Cabré, X., Solà-Morales, J.: Layer solutions in a half-space for boundary reactions. Commun. Pure Appl. Math. 58, 1678–1732 (2005)
Cabré, X., Serra, J.: An extension problem for sums of fractional Laplacians and 1-D symmetry of phase transitions. Nonlinear Anal. 137, 246–265 (2016)
Chen, W., D’Ambrosio, L., Li, Y.: Some Liouville theorems for the fractional Laplacian. Nonlinear Anal. 121, 370–381 (2015)
Cozzi, M., Passalacqua, T.: One-dimensional solutions of non-local Allen–Cahn-type equations with rough kernels. J. Differ. Equ. 260, 6638–6696 (2016)
Dávila, J., del Pino, M., Musso, M.: Bistable boundary reactions in two dimensions. Arch. Ration. Mech. Anal. 200, 89–140 (2011)
Du, Z., Gui, C., Sire, Y., Wei, J.: Layered solutions for a fractional inhomogeneous Allen–Cahn equation. Nonlinear Differ. Equ. Appl. 23, 29 (2016)
Fall, M.: Entire \(s\)-harmonic functions are affine. Proc. Am. Math. Soc. 144, 2587–2592 (2016)
Felipe-Navarro, J.C., Sanz-Perela, T.: Semilinear integro-differential equations, I: odd solutions with respect to the Simons cone. J. Funct. Anal. 278, 108309 (2020)
Frank, R.L., Lenzmann, E.: Uniqueness of non-linear ground states for fractional Laplacians in \(\mathbb{R}\). Acta Math. 210, 261–318 (2013)
Frank, R.L., Lenzmann, E., Silvestre, L.: Uniqueness of radial solutions for the fractional Laplacian. Commun. Pure Appl. Math. 69, 1671–1726 (2016)
Gesztesy, F.: On non-degenerate ground states for Schrödinger operators. Rep. Math. Phys. 20, 93–109 (1984)
Hamel, F., Ros-Oton, X., Sire, Y., Valdinoci, E.: A one-dimensional symmetry result for a class of nonlocal semilinear equations in the plane. Ann. Inst. H. Poincaré 34, 469–482 (2017)
Jarohs, S., Weth, T.: Symmetry via antisymmetric maximum principles in nonlocal problems of variable order. Ann. Mat. Pura Appl. (4) 195, 273–291 (2016)
Ros-Oton, X.: Nonlocal elliptic equations in bounded domains: a survey. Publ. Mat. 60, 3–26 (2016)
Ros-Oton, X., Serra, J.: Regularity theory for general stable operators. J. Differ. Equ. 260, 8675–8715 (2016)
Serra, J.: \({C}^{ + \alpha }\) regularity for concave nonlocal fully nonlinear elliptic equations with rough kernels. Calc. Var. Partial Differ. Equ. 54, 3571–3601 (2015)
Acknowledgements
The author thanks Xavier Cabré for his guidance and useful discussions on the topic of this paper.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Xavier Ros-Oton.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author acknowledges financial support from the Spanish Ministry of Economy and Competitiveness (MINECO), through the María de Maeztu Programme for Units of Excellence in R&D (MDM-2014-0445-16-4), is supported by MINECO Grant MTM2017-84214-C2-1-P, is member of the Barcelona Graduate School of Mathematics (BGSMath), and is part of the Catalan research group 2017 SGR 01392.
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
Felipe-Navarro, JC. Uniqueness for linear integro-differential equations in the real line and applications. Calc. Var. 60, 220 (2021). https://doi.org/10.1007/s00526-021-02084-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-021-02084-5