TRAVELING WAVE SOLUTIONS FOR BISTABLE FRACTIONAL

advertisement
arXiv:submit/1526793 [math.AP] 5 Apr 2016
TRAVELING WAVE SOLUTIONS FOR BISTABLE FRACTIONAL
ALLEN-CAHN EQUATIONS WITH A PYRAMIDAL FRONT
HARDY CHAN AND JUNCHENG WEI
Abstract. Using the method of sub-super-solution, we construct a solution
of (−∆)s u − cuz − f (u) = 0 on R3 of pyramidal shape. Here (−∆)s is the
fractional Laplacian of sub-critical order 1/2 < s < 1 and f is a bistable
nonlinearity. Hence, the existence of a traveling wave solution for the parabolic
fractional Allen-Cahn equation with pyramidal front is asserted.
The maximum of planar traveling wave solutions in various directions gives
a sub-solution. A super-solution is roughly defined as the one-dimensional
profile composed with the signed distance to a rescaled mollified pyramid. In
the main estimate we use an expansion of the fractional Laplacian in the Fermi
coordinates.
1. Introduction
1.1. Traveling waves with local diffusion. Consider the nonlinear diffusion
equations
vt − ∆v − f (v) = 0,
in Rn .
The study of such equations is initiated by Kolmogorov, Petrovsky and Piskunow
[42] and Fisher [28]. Such reaction-diffusion equations have numerous applications
in sciences ([28], [3], [42], [2], [26], [6], just to name a few) as a model of genetics
and pattern formation in biology, phase transition phenomena in physics, chemical
reaction and combustion and many more.
It is natural to look for traveling wave solutions, that is, solutions of the form
v(x, t) = u(x′ , xn − ct) where x = (x′ , xn ) and c is the speed. The equation for u
reads as
in Rn .
−∆u − cuxn − f (u) = 0,
Planar traveling fronts are obtained by further restricting u(x) = U (xn ), resulting
in an one-variable ODE
−U ′′ − cU ′ − f (U ) = 0,
in R.
For the KPP
p nonlinearity f (t) = t(1 − t) which is monostable, a planar front
exists if c > 2 f ′ (0) > 0. In the case of cubic bistable nonlinearity f (t) = −(t −
t0 )(t − 1)(t + 1), the nonlinearity determines the speed uniquely by
R1
f (t) dt
c = R 1−1
.
U ′ (t)2 dt
−1
These classical results are discussed in [25].
The study of non-planar traveling waves with a unbalanced bistable nonlinearity
(t0 6= 0) is more interesting. Ninomiya and Taniguchi [48] proved the existence
J. Wei is partially supported by NSERC of Canada.
1
2
HARDY CHAN AND JUNCHENG WEI
of a V-shaped traveling wave when n = 2. Hamel, Monneau and Roquejoffre [36]
obtained a higher dimensional analog with cylindrical symmetry. Taniguchi [55]
found asymptotically pyramidal waves. He also constructed traveling waves whose
conical front has a level set given by any convex compact set in any dimension n
[57] (see also [45]). Generalized traveling fronts, like curved and pulsating ones, are
also considered, notably by Berestycki and Hamel [7].
Qualitative properties such as stability and uniqueness of various nonlinearities
have also been studied. The readers are referred to [39], [40], [54], [38] and the
references therein.
Hereafter we assume that f ∈ C 2 (R) is a more general bistable nonlinearity, that
is, there exists t0 ∈ (−1, 1) such that

f (±1) = f (t0 ) = 0



f (t) < 0, ∀t ∈ (−1, t0 )
(1.1)
f
(t) > 0, ∀t ∈ (t0 , 1)


 ′
f (±1) < 0.
1.2. Fractional Laplacian. One way to define the fractional Laplacian is via integral operator. Let 0 < s < 1 and n ≥ 1 be an integer. Consider the space of
functions
Z
|v(x)|
dx
<
∞
.
Cs2 (Rn ) = v ∈ C 2 (Rn ) :
n+2s
Rn (1 + |x|)
For any function u ∈ Cs2 (Rn ), we have the equivalent definitions
Z
u(x) − u(x + ξ)
dξ
(−∆)s u(x) = Cn,s P.V.
n+2s
|ξ|
Rn
Z
u(x) − u(ξ)
= Cn,s P.V.
n+2s dξ
Rn |x − ξ|
Z
2u(x) − u(x + ξ) − u(x − ξ)
dξ
= Cn,s
n+2s
n
2|ξ|
R
Z
u(x) − u(x + ξ) + χD (ξ)∇u(x) · ξ
= Cn,s
dξ
n+2s
n
|ξ|
R
where D is any ball centered at the origin and
!−1
Z
22s sΓ( n2 + s)
1 − cos(ζ1 )
Cn,s =
dζ
=
n .
n+2s
Γ(1 − s)π 2
|ζ|
Rn
2s
We can also define it as a pseudo-differential operator with symbol |ξ| , that is,
for any u ∈ S(Rn ), the Schwartz space of rapidly decaying functions,
\s u(ξ) = |ξ|2s û(ξ),
(−∆)
for ξ ∈ Rn .
See, for instance, [46].
Caffarelli and Silvestre [14] considered the localized extension problem
(
div (y 1−2s ∇v(x, y)) = 0, (x, y) ∈ Rn+ := Rn × (0, ∞),
v(x, 0) = u(x),
x ∈ Rn ,
and proved that the fractional Laplacian is some normal derivative
Γ(s)
lim y 1−2s vy (x, y).
(−∆)s u(x) = − 1−2s
2
Γ(1 − s) y→0+
(1.2)
PYRAMIDAL TRAVELING WAVE FOR FRACTIONAL ALLEN-CAHN EQUATIONS
3
Hence, the fractional Laplacian is a Dirichlet-to-Neumann map. The s-harmonic
extension v of u can be recovered by the convolution v(·, y) = u ∗ Pn,s (·, y) where
Pn,s is the Poisson kernel
Pn,s (x, y) =
Γ( n2 + s)
n
π 2 Γ(s)
y 2s
2
|x| + y 2
n2 +s .
The fractional Laplacian can also be understood as the infinitesimal generator
of a Lévy process [8] and it arises in the areas of probability and mathematical
finance.
Its mathematical aspects have been studied extensively by many authors, for
instance [58], [14], [12], [49], [32], [52], [53] and [10].
In appendix A we list some useful properties. When n = 1 let us also write
(−∆)s = (−∂ 2 )s .
1.3. The one-dimensional profile. Consider the equation

2 s
′


(−∂ ) Φ(µ) − kΦ (µ) − f (Φ(µ)) = 0, ∀µ ∈ R
Φ′ (µ) < 0,
∀µ ∈ R


 lim Φ(µ) = ∓1.
(1.3)
µ→±∞
Gui and Zhao [34] proved that
Theorem 1.1 (Existence of 1-dimensional profile). For any s ∈ (0, 1) and for any
bistable nonlinearity f ∈ C 2 (R) there exists a unique pair (k, Φ) such that (1.3) is
satisfied. Moreover, k > 0 and Φ(µ), Φ′ (µ) decay algebraically as |µ| → ∞:
1 − |Φ(µ)| = O |µ|−2s as |µ| → ∞
and
−1−2s
as |µ| → ∞.
0 < −Φ′ (µ) = O |µ|
Note that here Φ is the negative of the profile stated in [34]. To fix the phase,
we assume that Φ(0) = 0.
−2−2s
One may expect that Φ′′ (µ) decays like |µ|
as in the almost-explicit example
of Cabré and Sire [13] but it would not be as easy to prove because there is no
known example of explicit positive function decaying at such rate and satisfying an
equation involving the fractional Laplacian.
−1−2s
as |µ| → ∞. It is
For our purpose, it is enough to have Φ′′ (µ) = O |µ|
done by a comparison similar to the one in [34]. We postpone the proof to appendix
B.
1.4. Traveling waves with nonlocal diffusion. Nonlocal reaction-diffusion equations often gives a more accurate model by taking into account long-distance interactions. Equations involving a convolution with various kernels have been studied,
as in [20], [17], [4], [5], [61], [29], [30] and [19].
From now on let us focus on the case with fractional Laplacian. For c > k, we
consider a three-dimensional nonlocal diffusion equation
L[u] := (−∆)s u − cuz − f (u) = 0,
in R3 .
(1.4)
4
HARDY CHAN AND JUNCHENG WEI
We say that v ∈ C(R3 ) ∩ L∞ (R3 ) is a sub-solution if v = maxj vj for finitely
many vj ∈ C 2 (R3 ) ∩ L∞ (R3 ) satisfying L[vj ] ≤ 0 for each j. A super-solution is
defined similarly.
In order√to state our main result, let us define a pyramid in the sense of [55].
Let m∗ = c2 − k 2 /k > 0 and let N ≥ 3 be an integer. Let
(aj , bj ) ∈ R2 | 1 ≤ j ≤ N
be pairs of real numbers satisfying the following properties.
• a2j + b2j = m2∗ , for each 1 ≤ j ≤ N ;
• aj bj+1 − aj+1 bj > 0, for each 1 ≤ j ≤ N , where we have set an+1 = a1 and
bn+1 = b1 ;
• (aj , bj ) 6= (aj ′ , bj ′ ) if j 6= j ′ .
For each 1 ≤ j ≤ N we define the function hj (x, y) = aj x + bj y and we define
h(x, y) = max hj (x, y).
1≤j≤N
SN
Let us call (x, y, z) ∈ R3 | z = h(x, y) a pyramid. We decompose R2 = j=1 Ωj ,
where
Ωj = (x, y) ∈ R2 | h(x, y) = hj (x, y) .
It is clear that hj (x, y) ≥ 0 for (x, y) ∈ Ωj and hence h(x, y) ≥ 0 for all (x, y) ∈ R2 .
By the assumptions on (aj , bj ), we see that Ωj are oriented counter-clockwise. The
SN
set of all edges of the pyramid is Γ = j=1 Γj where
Γj = (x, y, z) ∈ R3 | z = hj (x, y) for (x, y) ∈ ∂Ωj .
Denote
ΓR = (x, y, z) ∈ R3 | dist ((x, y, z), Γ) > R .
SN
The projection of Γ on R2 × {0} is identified as E = j=1 ∂Ωj ⊂ R2 .
In Section 3 we show that
k
(z − h(x, y)) .
v(x, y, z) = Φ
c
(1.5)
is a sub-solution of (1.4). In Sections 4 and 5, we obtain a super-solution in the
form


−1
z
−
α
ϕ(αx,
αy)
 + εS(αx, αy).
(1.6)
V (x, y, z) = Φ  q
2
1 + |∇ϕ(αx, αy)|
For the precise definition, see (4.3), (4.4), (5.4) and (5.5).
The main result is as follows.
Theorem 1.2. Given any bistable nonlinearity f and any c > k, where k > 0 is
given in Theorem 1.1, there exists a solution u of (1.4) such that v < u < V in R3
where v and V are defined by (1.5) and (1.6) respectively. In particular,
lim
sup
R→∞ (x,y,z)∈ΓR
|u(x, y, z) − v(x, y, z)| = 0.
PYRAMIDAL TRAVELING WAVE FOR FRACTIONAL ALLEN-CAHN EQUATIONS
5
2. Motivation
It is worthwhile to sketch the idea in [55] for the standard Laplacian case s = 1.
Suppose there exists a one-dimensional solution Φ(µ) of
−Φ′′ (µ) − kΦ′ (µ) − f (Φ(µ)) = 0.
R
Let ρ : R2 → (0, 1] be a smooth radial mollifier
ρ = 1 and decaying
√
√ −1satisfying
c2 − k 2
(|x| + |y|) be a square
exponentially at infinity, and h(x, y) = ( 2k)
q
2
pyramid. Let ϕ = ρ ∗ h be its mollification and S(x, y) = c
1 + |∇ϕ(x, y)| − k
be an auxiliary function.
It is easy to check that v(x, y, z) = Φ ((k/c)(z − h(x, y))), as a maximum of
solutions, is a sub-solution of
−∆u − cuz − f (u) = 0.
For α, ε ∈ (0, 1), define
V (x, y, z) = Φ (µ̂) + εS(αx, αy),
where
z − α−1 ϕ(αx, αy)
µ̂ = q
.
2
1 + |∇ϕ(αx, αy)|
Introducing the rescaled function Φα (µ) = Φ(α−1 µ), we can also write
V (x, y, z) = Φα (µ̄(αx, αy, αz)) + εS(αx, αy),
where
z − ϕ(x, y)
.
µ̄(x, y, z) = q
2
1 + |∇ϕ(x, y)|
V will be a super-solution if α and ε are small. Indeed,
−∆V = −Φ′′ (µ̂) + αR
= kΦ′ (µ̂) + f (Φ(µ̂)) + αR
c
−cVz = − q
Φ′ (µ̂)
2
1 + |∇ϕ(αx, αy)|
where R = R(αx, αy; µ̂, α, ε) is bounded and each of its terms contains a second or
third order derivative of ϕ. Then we have
L[V ]
= −∆V − cVz − f (V )
Z 1
R(αx, αy)
= S(αx, αy) −Φ′ (µ̂) − ε
f ′ (Φ(µ̂) + tεS) dt + α
S(αx, αy)
0
As R(αx, αy) decays at an (exponential) rate not lower than S(αx, αy) as |x|, |y| →
∞, the last term is bounded.
R 1 By choosing α ≪ ε ≪ 1 small, we are left with
the main term −Φ′ (µ̂) or − 0 f ′ dt, depending on the magnitude of µ̂, which is
positive.
6
HARDY CHAN AND JUNCHENG WEI
For 1/2 < s < 1, we cannot compute the Laplacian pointwisely using the
chain rule but we can still arrange L[V ], in terms of the difference (−∆)s (Φ(µ̂)) −
((−∂ 2 )s Φ)(µ̂), as
(−∆)s V = kΦ′ (µ̂) + f (Φ(µ̂)) + R̃
where the “remainder”
R̃ = R̃(αx, αy; µ̂, α, ε)
= (−∆)s (Φ(µ̂)) − ((−∂ 2 )s Φ)(µ̂) + ε(−∆)s (S(αx, αy))
is now a non-local term. We still have
′
L[V ] = S(αx, αy) −Φ (µ̂) − ε
Z
0
1
R̃(αx, αy)
f (Φ(µ̂) + tεS) dt +
S(αx, αy)
′
!
.
In terms of the rescaled one-dimensional solution Φα , by the homogeneity of the
fractional Laplacian (see Lemma A.2), we have R̃ = α2s (R1 + R2 ) where
R1 = R1 (x, y, z; α)
= (−∆)s (Φα (µ̄(αx, αy, αz))) − ((−∂ 2 )s Φα )(µ̄(αx, αy, αz))
R2 = R2 (x, y; α, ε)
= ε((−∆)s S)(αx, αy).
It remains to show that R1 , R2 = o α−2s as α → 0, uniformly in (x, y, z) ∈ R3 .
This will be done in sections 4 and 5.
Remark 2.1 (On the sub-criticality of s). Since (−∂ 2 )s S cannot decay any faster
than |(x, y)|−2s as dist ((x, y), E) → ∞ by its non-local nature, this argument will
work out only if S has an algebraic decay.
of an exponentially small
Hence, instead
−1−2s
. On the other hand, in order
mollifier, we must choose ρ(x, y) = Ω |(x, y)|
−2
that ϕ is well defined, it is necessary to take ρ(x, y) = O |(x, y)|
. This forces
−1 − 2s < −2, or s > 1/2.
3. The sub-solution
We show that v given by (1.5) is a sub-solution.
Proposition 3.1. v is a sub-solution of equation (1.4).
Proof. Let us define, for each j = 1, . . . , N ,
k
k
(z − hj (x, y)) = Φ
(z − aj x − bj y) .
vj (x, y, z) = Φ
c
c
Since Φ′ < 0, we see that v = max vj .
1≤j≤N
By Lemma A.4,
!s
2
k
k
2
2
2 s
(1 + aj + bj ) (−∂ ) Φ
(z − aj x − bj y)
(−∆) vj (x, y, z) =
c
c
k
2 s
= (−∂ ) Φ
(z − aj x − bj y) .
c
s
(3.1)
PYRAMIDAL TRAVELING WAVE FOR FRACTIONAL ALLEN-CAHN EQUATIONS
7
By (1.3), we have
k
(z − aj x − bj y)
= 0.
L[vj ] = L Φ
c
By definition, v is a sub-solution of (1.4).
4. The mollified pyramid and an auxiliary function
Most of the materials in this section is technical and is a variation of those in
[55].
p
x2 + y 2 , where
We define a radial mollifier ρ ∈ C ∞ (R3 ) by ρ(x, y) = ρ̃
ρ̃ ∈ C ∞ ([0, ∞)) satisfies the following properties:
• 0 <Zρ̃(r) ≤ 1 and ρ̃′ (r) ≤ 0 for r > 0,
∞
• 2π
rρ̃(r) dr = 1,
0
• ρ̃(r) = 1 for 0 ≤ r ≤ r˜0 ≪ 1,
• ρ̃(r) = ρ̃0 r−2s−2 for r ≥ r0 ≫ 2, where ρ̃0 > 0 is chosen such that
ρ̃0
1 1
B
, +s =1
2s
2 2
and r0 satisfies
2s(m2∗ + 2)(2r0 )−2s < 1.
(4.1)
(4.2)
Define
ϕ(x, y) = ρ ∗ h(x, y).
We call z = ϕ(x, y) a mollified pyramid. Define also an auxiliary function
c
−k
S(x, y) = q
2
1 + |∇ϕ(x, y)|
m2∗ − |∇ϕ|2
.
= q
q
2
2
1 + |∇ϕ(x, y)| c + k 1 + |∇ϕ(x, y)|
(4.3)
(4.4)
By direct computation, we have
Lemma 4.1. For any integers i1 ≥ 0 and i2 ≥ 0, with i1 + i2 ≤ 3,
sup ∂ i1 ∂ i2 ϕ(x, y) < ∞.
(x,y)∈R2
x
y
For all (x, y) ∈ R2 , we have
h(x, y) < ϕ(x) ≤ h(x, y) + 2πm∗
and |∇ϕ(x, y)| < m∗ . Hence, 0 < S(x, y) ≤ c − k.
Z
∞
r2 ψ̃(r) dr
0
Proof. The proof can be found in [55], with a slight variation that there is a constant
Cρ̃ depending only on ρ̃ such that
i i
i +i
∂x1 ∂y2 ρ(x, y) ≤ Cρ̃ (x2 + y 2 )− 1 2 2 ρ(x, y), for x2 + y 2 ≥ r02
and
i i
∂x1 ∂y2 ρ(x, y) ≤ Cρ̃
for all (x, y) ∈ R2 .
8
HARDY CHAN AND JUNCHENG WEI
In the rest of this section, we study the behavior of ϕ(x, y) − h(x, y) and S(x, y)
as well as their derivatives. It turns out that both of them depend on the distance
from the edge of the pyramid.
The behavior of these functions of interest can be expressed using a “mollified
negative part”. Write x+ = max {x, 0} and x− = max {−x, 0}. Define P : [0, ∞) →
(0, ∞) by
Z
P (x) =
ρ(x′ , y ′ )(x − x′ )− dx′ dy ′
R2
Z
ρ(x′ , y ′ )(x′ − x)+ dx′ dy ′
=−
R2
Z ∞ Z ∞
=−
ρ(x′ , y ′ ) dy ′ (x − x′ ) dx′ .
x
−∞
Let us state the properties of P .
Lemma 4.2. P is in the class C 3 ([0, ∞)). Let 0 ≤ i ≤ 3. There exists a constant
CP = CP (s, ρ̃) such that kP kC 3 ([0,∞)) ≤ CP and
CP−1 (1 + x)−2s+1−i ≤ P (i) (x) ≤ CP (1 + x)−2s+1−i .
Moreover, for x > 0 we have (−1)i P (i) (x) > 0 and if x > r0 , then
P (x) =
In particular, P (i) (x) → 0 as x → ∞.
1
.
(2s − 1)x2s−1
Proof. Clearly, P ∈ C 3 ([0, ∞)) and if x > 0, then
Z ∞ Z ∞
ρ(x′ , y) dy (x − x′ ) dx′ > 0
P (x) = −
−∞
x
Z ∞ Z ∞
′
P (x) = −
ρ(x′ , y) dy dx′ < 0
x
−∞
Z ∞
′′
P (x) =
ρ(x, y) dy > 0
−∞
Z ∞
p
x
p
x2 + y 2 dy < 0.
P (3) (x) =
ρ̃′
x2 + y 2
−∞
For x ≥ r0 , we have by (4.1),
Z ∞ Z ∞
ρ̃0
P (x) = −
dy (x − x′ ) dx′
′ 2
2 1+s
x
−∞ ((x ) + y )
Z ∞ ′
x −x
1 1 + 2s
dx′
,
= ρ̃0 B
′ 1+2s
2
2
x (x )
1
x
= 2s
−
(2s − 1)x2s−1
2sx2s
1
.
=
(2s − 1)x2s−1
PYRAMIDAL TRAVELING WAVE FOR FRACTIONAL ALLEN-CAHN EQUATIONS
9
The decay of the derivatives follows. Since they all have a sign, we have for any
x > 0,
Z ∞Z ∞
Z ∞
0 < P (x) < P (0) =
xρ(x, y) dydx = 2
r2 ρ̃(r) dr
0
−∞
0
Z ∞Z ∞
1
′
′
0 < −P (x) < −P (0) =
ρ(x, y) dydx =
2
0
−∞
Z ∞
Z ∞
0 < P ′′ (x) < P ′′ (0) =
ρ(0, y) dy = 2
ρ̃(r) dr
−∞
To get a bound for P
0
(3)
(x), we consider two cases. If x > r0 , then
2s(2s + 1)
(3) .
P (x) < −P (3) (r0 ) =
r02s+2
p
If x ≤ r0 , then we use the change of variable r = x2 + y 2 , to obtain
Z ∞
p
x
(3) p
ρ̃′
(x)
=
2
x2 + y 2 dy
P
x2 + y 2
0
Z ∞
x
√
|ρ̃′ (r)| dr
=2
2
r − x2
x
√ Z ∞ |ρ̃′ (r)|
√
dr
≤ 2x
r−x
x
Z
Z ∞
r0
√
ρ̃0 (2s + 2)
|ρ̃(r + x)|
√
√
≤ 2r0
dr
dr +
r
r(r + x)3+2s
r0
0
√
≤ 2 2r0 kρ̃′ kL∞ ([0,2r0 ]) + ρ̃0 r0−2−2s .
This finishes the proof.
To estimate ϕ(x, y) − h(x, y), it suffices to fix (x, y) ∈ Ωj and study ϕ̃j (x, y) =
ϕ(x, y) − hj (x, y) = ρ ∗ (h − hj )(x, y). By this definition, we expect that ϕ̃j (x, y) to
be controlled by the distance from (x, y) to the boundary ∂Ωj because this distance
determine the size of a neighborhood of (x, y) such that h = hj .
To fix the notation, we observe that Ωj ∩ Ωj±1 is a half line on which hj (x, y) −
hj±1 (x, y) = (aj − aj±1 )x + (bj − bj±1 )y = 0. Let us write, for (x, y) ∈ Ωj ,
q
(aj − aj±1 )2 + (bj − bj±1 )2
m±
=
j
(aj − aj±1 )x + (bj − bj±1 )y
m±
j
+ −
λj = λj (x, y) = dist ((x, y), ∂Ωj ) = min λj , λj ,
±
λ±
j = λj (x, y) = dist ((x, y), Ωj±1 ) =
where Ωj±1 is understood to be Ωj±1
(mod N ) .
We also write
λ = λ(x, y) = dist ((x, y), E) = min λj .
1≤j≤N
By the above motivation, we express ϕ̃j as
ϕ̃j (x, y) = ρ ∗ (hj − hj+1 )− (x, y) + ρ ∗ (hj − hj−1 )− (x, y) + ρ ∗ gj (x, y)
+
−
−
= m+
j P (λj ) + mj P (λj ) + ρ ∗ gj (x, y)
where gj = h − hj − (hj − hj+1 )− − (hj − hj−1 )− vanishes on Ωj−1 ∪ Ωj ∪ Ωj+1 .
10
HARDY CHAN AND JUNCHENG WEI
We prove that ρ ∗ gj is an error term, up to three derivatives.
Lemma 4.3. There exists constants Cg = Cg (ρ̃) and γ > 1 such that for any
1 ≤ j ≤ N , any (x, y) ∈ Ωj , and any integers i1 ≥ 0, i2 ≥ 0 with i1 + i2 ≤ 3, we
have
−i1 −i2
p
i i
∂x1 ∂y2 (ρ ∗ gj )(x, y) ≤ Cg 1 + x2 + y 2
P (γλj )
and, in particular,
i i
∂x1 ∂y2 (ρ ∗ gj )(x, y) ≤ Cg P (i1 +i2 ) (γλj ).
Proof. We first claim that |gj | ≤ 3|h − hj | on the whole R2 . Indeed, by the definition of gj , we have gj ≤ h − hj and gj ≥ 0 on ({hj ≤ hj+1 } ∩ {hj ≤ hj+1 })c .
On {hj ≤ hj+1 } ∩ {hj ≤ hj+1 }, gj = h + hj − hj+1 − hj−1 and so gj + (h − hj ) =
2h − hj+1 − hj−1 . Thus, 0 ≤ gj + (h − hj ) ≤ 2(h − hj ) on R2 . Therefore,
|gj | ≤ |gj + (h − hj )| + |h − hj | = 3(h − hj ),
as we claimed.
We have
i i
∂x1 ∂y2 (ρ ∗ gj ) = (∂xi1 ∂yi2 ρ) ∗ gj Z
X
′
′
′ ′
′
′
i1 i2
(∂x ∂y ρ)(x − x , y − y )gj (x , y ) dx dy ,
=
k6=j,j±1 Ωk
where k 6= j ± 1 is understood as k 6≡ j ± 1 (mod N ).
Suppose x2 + y 2 > r02 . From the proof of Lemma 4.1, we can find a constant Cρ̃
such that
i i
i +i
∂x1 ∂y2 ρ(x − x′ , y − y ′ ) ≤ Cρ̃ ((x − x′ )2 + (y − y ′ )2 )− 1 2 2 ρ(x − x′ , y − y ′ ).
For (x′ , y ′ ) ∈
/ Ωj , (x − x′ )2 + (y − y ′ )2 ≥ x2 + y 2 . Hence,
i i
∂x1 ∂y2 (ρ ∗ gj )
X Z
i +i
2
2 − 12 2
≤ 3Cρ̃ (x + y )
ρ(x − x′ , y − y ′ )(hk − hj )(x′ , y ′ ) dx′ dy ′
k6=j,j±1
= 3Cρ̃ (x2 + y 2 )−
i1 +i2
2
k6=j,j±1
2
2
i +i
− 12 2
≤ 3Cρ̃ (x + y )
Ωk
X Z
(x,y)−Ωk
X Z
k6=j,j±1
(x,y)−Ωk
ρ(x′ , y ′ )(hk − hj )(x − x′ , y − y ′ ) dx′ dy ′
ρ(x′ , y ′ ) (hj − hk )(x′ , y ′ )
− (hj − hk )(x, y) dx′ dy ′
By a simple use of intermediate value theorem, we have
(x, y) ∈ R2 | (hj − hk )(x, y) = 0 ⊂ R2 \Ωj ∪ {(0, 0)} ,
that is, roughly, the line {hj = hk } is contained in exterior of Ωj . Therefore, we
can find a constant γ > 1, depending only on the configuration of the Ωj ’s, such
that dist ((x, y), {hj = hk }) > γλj . But for (x, y) ∈ Ωj ,
dist ((x, y), {hj = hk }) =
(hj − hk )(x, y)
> 0,
mjk
PYRAMIDAL TRAVELING WAVE FOR FRACTIONAL ALLEN-CAHN EQUATIONS
where mjk =
11
p
(aj − ak )2 + (bj − bk )2 . Hence,
(hj − hk )(x, y)
> γλj .
mjk
Note also that by a rotation, we can write
Z
(hk − hj )(x′ , y ′ )
′ ′
ρ(x , y )
P (x) =
−x
dx′ dy ′ .
mjk
R2
+
We now have
i i
∂ 1 ∂ 2 (ρ ∗ gj )
x y
i1 +i2
max mjk (x2 + y 2 )− 2
≤ 3Cρ̃
1≤j,k≤N
!
′ ′
(h
−
h
)(x,
y)
(h
−
h
)(x
,
y
)
j
k
j
k
dx′ dy ′
−
·
ρ(x′ , y ′ )
mjk
mjk
(x,y)−Ω
k
k6=j,j±1
i1 +i2
max mjk (x2 + y 2 )− 2
≤ 3Cρ̃
1≤j,k≤N
!
X Z
(hj − hk )(x′ , y ′ ) (hj − hk )(x, y)
′ ′
dx′ dy ′
−
·
ρ(x , y )
m
m
2
jk
jk
k6=j,j±1 R
+
X
i1 +i2
(h
−
h
)(x,
y)
j
k
2
2 − 2
max mjk (x + y )
≤ 3Cρ̃
P
1≤j,k≤N
mjk
k6=j,j±1
i1 +i2
max mjk (x2 + y 2 )− 2 P (γλj )
≤ 3Cρ̃
X Z
1≤j,k≤N
2
2
If x + y ≤ r02 , then we use the fact
i i
∂x1 ∂y2 ρ(x − x′ , y − y ′ ) ≤ Cρ̃ ρ(x − x′ , y − y ′ ),
which is also mentioned in Lemma 4.1. By the exact same argument, the first
estimate is established.
To obtain the second one, noting that since the angle of Ωj (that
p is, the angle
between the lines hj = hj+1 and hj = hj−1 ) is less than π, we have x2 + y 2 ≥ λj .
Now the right hand
side of the two estimates are bounded for λj ≤ r0 and is
1 −i2
O λ−2s+1−i
for λj ≥ r0 . Hence, by enlarging Cg if necessary, the proof is
j
completed.
Lemma 4.4. There exists a constant Cϕ = Cϕ (ρ̃, γ) such that for any non-negative
integers i1 , i2 with 0 ≤ i1 + i2 ≤ 3 and any (x, y) ∈ R2 \E, we have
i i
∂ 1 ∂ 2 (ϕ(x, y) − h(x, y)) ≤ Cϕ P (i1 +i2 ) (λ),
x
y
and for any (x, y) ∈ R2 ,
ϕ(x, y) − h(x, y) ≥ Cϕ−1 P (λ).
In particular, if 2 ≤ i1 + i2 ≤ 3, then for any (x, y) ∈ R2 , there holds
i i
∂x1 ∂y2 ϕ(x, y) ≤ Cϕ P (i1 +i2 ) (λ).
12
HARDY CHAN AND JUNCHENG WEI
Proof. Without loss of generality, let (x, y) ∈ Ωj . We have
+
−
−
ϕ(x, y) − hj (x, y) = m+
j P (λj ) + mj P (λj ) + ρ ∗ gj (x, y)
and so
+ i2 (i1 +i2 ) +
+ i1
(λj )
∂xi1 ∂yi2 ϕ̃j (x, y) = m+
j (∂x λj ) (∂y λj ) P
− i2 (i1 +i2 ) −
− i1
(λj ) + ∂xi1 ∂yi2 (ρ ∗ gj )(x, y)
+ m−
j (∂x λj ) (∂y λj ) P
1−i1 −i2
(aj − aj+1 )i1 (bj − bj+1 )i2 P (i1 +i2 ) (λ+
= (m+
j )
j )
1−i1 −i2
(aj − aj−1 )i1 (bj − bj−1 )i2 P (i1 +i2 ) (λ−
+ (m−
j )
j )
+ ∂xi1 ∂yi2 (ρ ∗ gj )(x, y).
By Lemma 4.3, we have
i i
∂x1 ∂y2 ϕ(x, y) ≤ C̃1 P (i1 +i2 ) (λj ) + Cg P (i1 +i2 ) (γλj )
≤ (C̃1 + Cg )P (i1 +i2 ) (λj ).
To get the lower bound, we estimate ϕ̃j in three regions as follows. We choose
r1 > r0 such that for all λj ≥ r1 ,
Cg P (γλj ) <
On (x, y) ∈ Ωj | λj ≥ r1 ,
ϕ̃j (x, y) ≥
1
−
min min m+
P (λj ).
j , mj
2 1≤j≤N
1
−
min min m+
P (λj ).
j , mj
2 1≤j≤N
It suffices to show that
n
o
p
inf ϕj (x, y) λj < r1 , x2 + y 2 ≥ r2 > 0
for some r2 > 0, since ϕ̃j attains a positive minimum in any compact set. Without
loss of generality we assume that λ+
j < r1 . Let r2 be large enough such that
Br1 +2 ⊂ Ωj ∪ Ωj+1 . Note that the outward unit normal of Ωj on ∂Ωj ∩ ∂Ωj+1 is
aj − aj+1
. We estimate
−
m+
j
ϕ̃j (x, y) = ρ ∗ (h − hj )(x, y)
Z
ρ̃(x − x′ , y − y ′ )(h − hj )(x′ , y ′ ) dx′ dy ′
=
Ωcj
≥ ρ̃(r1 + 2)
≥ ρ̃(r1 + 2)
Z
Br1 +2 (x,y)∩Ωj+1
Z
B∗
(hj+1 − hj )(x′ , y ′ ) dx′ dy ′
(hj+1 − hj )(x′ , y ′ ) dx′ dy ′
where B∗ ⊂ Br1 +2 (x, y) ∩ Ωj+1 is the half ball
B∗ = B1
(x, y) −
(λ+
j
aj − aj+1
+ 1)
m+
j
!
∩
(
)
hj − hj+1
≥1 .
m+
j
PYRAMIDAL TRAVELING WAVE FOR FRACTIONAL ALLEN-CAHN EQUATIONS
13
Now
ϕ̃j (x, y) ≥ ρ̃(r1 + 2)
=
Z
B∗
′
′
m+
j dx dy
πm+
j
ρ̃(r1 + 2).
2
This completes the proof.
Now, in terms of P and λ we state a key lemma concerning the decay properties
S(x, y) and its derivatives. In the following, it is convenient to use the vector
notation aj = (aj , bj ).
Lemma 4.5. There exists a constant CS = CS (s, ρ̃, γ) such that for any (x, y) ∈ R2
and any non-negative integers i1 , i2 with 1 ≤ i1 + i2 ≤ 2,
CS−1 |P ′ (λ)| ≤ S(x, y) ≤ CS |P ′ (λ)|,
i i
∂x1 ∂y2 S(x, y) ≤ CS P (1+i1 +i2 ) (λ)
and
|(−∆)s S(x, y)| ≤ CS (1 + λ)−2s .
In particular, with a possibly larger constant CS , we have
|(−∆)s S(x, y)| ≤ CS |P ′ (λ)|.
2
Proof. Again, let (x, y) ∈ Ωj . Since |aj | = m2∗ , we write
2
m2∗ − |∇ϕ|
S= q
q
2
2
1 + |∇ϕ| c + k 1 + |∇ϕ|
−2aj · ∇ϕ̃j − |∇ϕ̃j |2
= q
q
2
2
1 + |∇ϕ| c + k 1 + |∇ϕ|
Since the denominator is bounded between two positive numbers, it suffices to show
that the dominant term of the numerator is |P ′ (λj )|. We have
′ −
∇ϕ̃j = (aj − aj+1 )P ′ (λ+
j ) + (aj − aj−1 )P (λj ) + ∇ρ ∗ gj .
so
− 2aj · ∇ϕ̃j
′ − 2
2
= 2(|aj | − aj · aj+1 )P ′ (λ+
j ) + 2(|aj | − aj · aj−1 ) P (λj ) − 2aj · ∇ρ ∗ gj
By Lemma 4.3, |∇ρ ∗ gj | ≤ Cg |P ′ (γλj )| and so
|−2aj · ∇ρ ∗ gj | ≤ 2m∗ Cg |P ′ (γλj )|.
2
2
2
2
Using the inequality |a + b + c| ≤ 3(|a| + |b| + |c| ), we have
2
2
2
2 ′ − 2
|∇ϕ̃j | ≤ 3 |aj − aj+1 | P ′ (λ+
j ) + |aj − aj−1 | P (λj ) + |∇ρ ∗ gj |
2
2
≤ 3 4|P ′ (λj )| + Cg2 |P ′ (γλj )|
≤ 3(4 + Cg2 )|P ′ (λj )|.
14
HARDY CHAN AND JUNCHENG WEI
Let
m0 =
min
1≤j,k≤N, j6=k
2
|aj | − aj · ak .
We can find an r3 > r0 such that for all λj ≥ r3 ,
m0
m0 ′
3(4 + Cg2 )|P ′ (λj )| ≤
and 2Cg |P ′ (γλj )| ≤
|P (λj )|.
2
2
This implies for all λj ≥ r3 ,
2
m0 |P ′ (λj )| ≤ −2aj · ∇ϕ̃j − |∇ϕ̃j | ≤ (4m2∗ + m0 )|P ′ (λj )|.
Thus, the lower and upper bounds for S is established.
Next, we compute the derivatives of S to yield
cϕx ϕxx
Sx = −
3
(1 + |∇ϕ|) 2
Sxx =
Sxy =
c
2
3
(1 + |∇ϕ| ) 2
3cϕx ϕy ϕxx ϕyy
5
(1 + |∇ϕ|) 2
ϕx ϕxxx +
ϕ2xx
−
3ϕ2x ϕ2xx
1 + |∇ϕ|
2
!
.
Using the Lemmas 4.1, 4.2 and 4.4, it is clear that
|Sx | ≤ cm∗ Cϕ P ′′ (λ)
|Sxx | ≤ c m∗ Cϕ P (3) (λ) + (1 + 3m2∗ )Cϕ2 P ′′ (λ)2
≤ C̃2 (c, m∗ , ρ̃, γ)P (3) (λ)
|Sxy | ≤ 3cm2∗ Cϕ2 P ′′ (λ)2
≤ C̃2 (c, m∗ , ρ̃, γ)P (3) (λ)
Hence the C 2 norm of S is controlled.
To estimate the s-Laplacian, we use Corollary A.2 to get
|(−∆)s S(x, y)| ≤ C∆ kSkĊ 2 (B1 (x,y)) + kSkL∞ (R2 )
≤ C∆ C̃3 P (3) (λ − 1) + c − k
for λ ≤ 2r0 , and
≤ C̃4
|(−∆)s S(x, y)|
−2s
≤ C∆ kSkĊ 2 (B |(x,y)| (x,y)) + kSkĊ 1 (B |(x,y)| (x,y)) + kSkL∞ (R2 ) |(x, y)|
2
2 (3) λ ′′ λ −2s
≤ C∆ C̃3 4P
+ 2P
+ (c − k)λ
2 2 ≤ C̃5 λ−2s
for λ ≥ 2r0 , by Lemma 4.2. Thus,
|(−∆)s S(x, y)| ≤ C̃6 (1 + λ)−2s .
The last assertion follows from Lemma 4.2.
PYRAMIDAL TRAVELING WAVE FOR FRACTIONAL ALLEN-CAHN EQUATIONS
15
5. The super-solution
Let α, ε ∈ (0, 1) be small parameters (which will be chosen according to (5.4)
and (5.5)) and write
V (x, y, z) = Φ (µ̂) + εS(αx, αy),
where S is defined in (4.4) and
z − α−1 ϕ(αx, αy)
µ̂ = q
.
2
1 + |∇ϕ(αx, αy)|
(5.1)
Introducing the rescaled one-dimensional profile
Φα (µ) = Φ(α−1 µ),
(5.2)
we can also write
V (x, y, z) = Φα (µ̄(αx, αy, αz)) + εS(αx, αy),
where
z − ϕ(x, y)
.
µ̄(x, y, z) = q
2
1 + |∇ϕ(x, y)|
We will prove that V is a super-solution when ε and α are sufficiently small.
Observing that µ̄(x, y, z) is a linear in z and “almost linear” in x and y as
λ(x, y) → ∞, it is tempting to compare (−∆)s (Φα (µ̄)) with (−∂ 2 )s Φα (µ̄), according
to the chain rule, Lemma A.4. It turns out that their difference
R1 (x, y, z; α) = (−∆)s (Φα (µ̄(x, y, z))) − (−∂ 2 )s Φα (µ̄(x, y, z))
decays at the right order as λ → ∞. This crucial estimate is stated as follows.
Proposition 5.1 (Main estimate). There exists a constant CR1 = CR1 (s, ρ̃, γ) such
that for any (x, y, z) ∈ R3 , we have
|R1 (x, y, z; α)| ≤ CR1 α−s (1 + λ(x, y))
−2s
,
uniformly in z. We can also write
|R1 (x, y, z; α)| ≤ CR1 α−s |P ′ (λ(x, y))|.
Remark 5.1. In fact, denoting ϕα (x, y) = α−1 ϕ(αx, αy), the first term of V can
be expressed as


α
z − ϕ (x, y)
.
Φ q
2
1 + |∇ϕα (x, y)|
In this way, the estimate of R1 gives the first term of the fractional Laplacian in
the Fermi coordinates, roughly as (−∆)s = (−∂µ2 )s + · · · if µ denotes the signed
distance to the surface z = ϕα (x, y), as α → 0.
It is helpful to keep in mind that the decay in x and y comes from the second
and third derivatives of ϕ. The uniformity in z will follow from the facts that z
(j)
can be written in terms of µ̄(x, y, z) and quantities like µ̄i Φα (µ̄) for 0 ≤ i ≤ j,
1 ≤ j ≤ 2 are uniformly bounded.
16
HARDY CHAN AND JUNCHENG WEI
Proof of Proposition 5.1. We will prove the estimate pointwisely in (x, y) ∈ R2 . To
simplify the notations, µ̄ and ϕ and their derivatives will be evaluated at (x, y, z)
or (x, y) unless otherwise specified.
First we write down the difference. By definition, we have
(−∆)s (Φα (µ̄))
Z
Φα (µ̄) − Φα (µ̄(x + ξ, y + η, z + ζ))
dξdηdζ
= C3,s P.V.
3
(ξ 2 + η 2 + ζ 2 ) 2 +s
R3



Z
z
+
ζ
−
ϕ(x
+
ξ,
y
+
η)
dξdηdζ
Φα (µ̄) − Φα  q

= C3,s P.V.
3
2
(ξ + η 2 + ζ 2 ) 2 +s
R3
1 + |∇ϕ(x + ξ, y + η)|2
On the other hand, by Corollary A.1, we have
2 s
(−∂ ) Φα (µ̄) = C1,s P.V.
Z
Φα (µ̄) − Φα (µ̄ + µ)
dµ
1+2s
|µ|
Z
Φα (µ̄) − Φα (µ̄ + µ)
dµdνdθ
= C3,s P.V.
2
2
2 3 +s
R3 (µ + ν + θ ) 2
R
In order to rotate the axes to the tangent and normal directions
 of
 the graph
 
µ
ζ
z = ϕ(x, y), we wish to find an orthogonal linear transformation ν  = T ξ 
θ
η
ζ − ϕx ξ − ϕy η
. To this end, we apply Gram-Schmidt process to
that sends µ to q
1 + ϕ2x + ϕ2y
the basis
(1, −ϕx , −ϕy )
q
,
1 + ϕ2x + ϕ2y
(ϕ , 1, 0)
px
,
1 + ϕ2x
of R3 to obtain the orthonormal vectors
(1, −ϕx , −ϕy )
q
,
1 + ϕ2x + ϕ2y
(ϕx , 1, 0)
p
,
1 + ϕ2x
It is easy to check that
1
q

1 + ϕ2x + ϕ2y



ϕx

p
T =
1
+ ϕ2x



ϕ
p
qy
1 + ϕ2x 1 + ϕ2x + ϕ2y

(ϕ , 0, 1)
qy
1 + ϕ2y
(ϕy , −ϕx ϕy , 1 + ϕ2x )
q
.
p
1 + ϕ2x 1 + ϕ2x + ϕ2y
−ϕx
q
1 + ϕ2x + ϕ2y
1
p
1 + ϕ2x
−ϕx ϕy
q
p
1 + ϕ2x 1 + ϕ2x + ϕ2y
indeed satisfies the required condition.

−ϕy
q

1 + ϕ2x + ϕ2y 



0


s

1 + ϕ2x 

1 + ϕ2x + ϕ2y
PYRAMIDAL TRAVELING WAVE FOR FRACTIONAL ALLEN-CAHN EQUATIONS
17
Under this transformation, we have
(−∂ 2 )s Φα (µ̄)



Z
dζdξdη
ζ
−
ϕ
ξ
−
ϕ
η
x
y

Φα (µ̄) − Φα µ̄ + q
= C3,s P.V.
3
2
3
2
(ζ + ξ 2 + η 2 ) 2 +s
R
1 + |∇ϕ|



Z
z
+
ζ
−
ϕ
−
ϕ
ξ
−
ϕ
η
dζdξdη
x
y 
Φα (µ̄) − Φα 
q
= C3,s P.V.
3
2
2
(ζ + ξ 2 + η 2 ) 2 +s
R3
1 + |∇ϕ|
The difference is therefore
(−∆)s (Φα (µ̄)) − (−∂ 2 )s Φα (µ̄)


Z "
z
+
ζ
−
ϕ(x
+
ξ,
y
+
η)

− Φα  q
= C3,s P.V.
2
R3
1 + |∇ϕ(x + ξ, y + η)|

#
z + ζ − ϕ − ϕx ξ − ϕy η 
dξdηdζ
q
+ Φα 
3
2
2
(ξ + η 2 + ζ 2 ) 2 +s
1 + |∇ϕ|
We will estimate this integral in
)
(
√
p
1
α
− 2s
′
3
2
2
2
(CP |P (λ)|)
Dα = (ξ, η, ζ) ∈ R ξ + η + ζ <
2
and its complement Dαc in R3 and write
(−∆)s (Φα (µ̄)) − (−∂ 2 )s Φα (µ̄) = C3,s (J1 + J2 ),
where
Z
J1 =
Dα
"

z
+
ζ
−
ϕ(x
+
ξ,
y
+
η)

− Φα  q
2
1 + |∇ϕ(x + ξ, y + η)|


z + ζ − ϕ − ϕx ξ − ϕy η 
q
+ Φα 
2
1 + |∇ϕ|
#
dξdηdζ
ϕx ϕxx ξ + ϕy ϕyy η
′
− µ̄Φα (µ̄)
3
2
2
(ξ + η 2 + ζ 2 ) 2 +s
1 + |∇ϕ|

(5.3)
and
J2 =
Z
c
Dα
"
!
z + ζ − ϕ(x + ξ, y + η)
− Φα p
1 + ϕ′ (x + ξ, y + η)2

#
z
+
ζ
−
ϕ
−
ϕ
ξ
−
ϕ
η
dξdηdζ
x
y 
q
+ Φα 
3
2
2
(ξ + η 2 + ζ 2 ) 2 +s
1 + |∇ϕ|
Note that the extra term in J1 , being odd in ξ and η, is inserted to get rid of the
principal value.
18
HARDY CHAN AND JUNCHENG WEI
Since |Φα | ≤ 1, it is easy to see that
Z
dξdηdζ
|J2 | ≤ 2
2
2
2 3 +s
c
Dα (ξ + η + ζ ) 2
Z ∞
r2 dr
= 8π √
α
− 1 r 3+2s
′
2s
2 (CP |P (λ)|)
−2s
√
1
α
4π
− 2s
′
(CP |P (λ)|)
=
s
2
22+2s π
=
CP α−s |P ′ (λ)|
s
22+2s π 2 −s
CP α (1 + λ)−2s
≤
s
by using Lemma 4.2.
To estimate J1 , we let F (t) = F (t, ξ, η, ζ; x, y, z, α) = −Φα (µ∗ (t)), where
µ∗ (t) = µ∗ (t, ξ, η, ζ; x, y, z)
=
z + ζ − (1 − t)(ϕ + ϕx ξ + ϕy η) − tϕ(x + ξ, y + η)
q
.
2
1 + |∇ϕ(x + tξ, y + tη)|
Let us introduce the shorthand notation
ϕt = ϕ(x + tξ, y + tη),
(∇ϕ)t = ∇ϕ(x + tξ, y + tη)
and similarly for other derivatives of ϕ for t ∈ [0, 1]. So we can rewrite
µ∗ (t) =
z + ζ − (1 − t)(ϕ + ϕx ξ + ϕy η) − tϕ1
q
.
2
1 + |(∇ϕ)t |
We will use the second order Taylor expansion to write the first two terms in the
integrand (considering the denominator as a weight) as
Z 1
′
F (1) − F (0) = F (0) +
(1 − t)F ′′ (t) dt.
0
The derivative of µ∗ (t) can be written as
where
µ∗t (t) = −A(t) − B(t)µ∗ (t),
ϕ1 − ϕ − ϕx ξ − ϕy η
q
1 + |(∇ϕ)t |2
Z 1
′
′
′
(1 − t′ ) ϕtxx ξ 2 + 2ϕtxy ξη + ϕtyy η 2 dt′
q
= 0
2
1 + |(∇ϕ)t |
A(t) = A(t, ξ, η; x, y) =
B(t) = B(t, ξ, η; x, y) =
(ϕtx ϕtxx + ϕty ϕtxy )ξ + (ϕtx ϕtxy + ϕty ϕtyy )η
2
1 + |(∇ϕ)t |
2
2
|(∇ϕ)t |
ξ + |(∇ϕ)t |
η
y
x
.
=
2
2 1 + |(∇ϕ)t |
PYRAMIDAL TRAVELING WAVE FOR FRACTIONAL ALLEN-CAHN EQUATIONS
19
Note that At (t) = −A(t)B(t) and
2 

2
|(∇ϕ)t |

x  2
xx −
Bt (t) =  ξ
2
2
t
t
1 + |(∇ϕ) |
2 1 + |(∇ϕ) |


2
2
2
|(∇ϕ)t |
2 |(∇ϕ)t |
|(∇ϕ)t |

y
x
xy
+
 ξη
2
2 −
2
1 + |(∇ϕ)t |
t
1 + |(∇ϕ) |
2 
 
2
2
|(∇ϕ)t |
|(∇ϕ)t |

yy
y  2
−
+  η ,

2
t |2
t
1
+
|(∇ϕ)
2 1 + |(∇ϕ) |
 |(∇ϕ)t |
2
each of whose term containing at least a third derivative or a product of two second
derivatives of ϕ, evaluated at (x + tξ, y + tη).
We compute
F ′ = −Φ′α (µ∗ )µ∗t ,
F ′′ = −Φ′′α (µ∗ )(µ∗t )2 − Φ′α (µ∗ )µ∗tt ,
(µ∗t )2 = (A + Bµ∗ )2
= A2 + 2ABµ∗ + B 2 (µ∗ )2 ,
µ∗tt = −At − Bt µ∗ − Bµ∗t
= AB − Bt µ∗ + B(A + Bµ∗ )
= 2AB + (B 2 − Bt )µ∗ ,
F ′ (0) = A(0)Φ′α (µ∗ (0)) + B(0)µ∗ (0)Φ′α (µ∗ (0)).
Observe that the extra term in the integrand is chosen in such a way
−µ̄Φ′α (µ̄)
(ϕx ϕxx + ϕy ϕxy )ξ + (ϕx ϕxy + ϕy ϕyy )η
1 + |∇ϕ|2
= −B(0)µ̄Φ′α (µ̄),
that is similar to the second term in F ′ (0). In fact, if we let
µ̃(t) = µ̃(t, ξ, η, ζ; x, y, z) = µ̄ + t(µ∗ (0) − µ̄)
and
G(t) = G(t, ξ, η, ζ; x, y, z, α)
= µ̃(t)Φ′α (µ̃(t))
= (µ̄ + t(µ∗ (0) − µ̄))Φ′α (µ̄ + t(µ∗ (0) − µ̄)),
20
HARDY CHAN AND JUNCHENG WEI
then
µ∗ (0)Φ′α (µ∗ (0)) − µ̄Φ′α (µ̄)
= G(1) − G(0)
Z 1
=
G′ (t) dt
0
= (µ∗ (0) − µ̄)
Z
1
0
ζ − ϕx ξ − ϕy η
= q
2
1 + |∇ϕ|
(Φ′α (µ̃(t)) + µ̃(t)Φ′′α (µ̃(t))) dt
1
Z
(Φ′α (µ̃(t)) + µ̃(t)Φ′′α (µ̃(t))) dt
0
and hence
F ′ (0) − B(0)µ̄Φ′α (µ̄)
= A(0)Φ′α (µ∗ (0))
ζ − ϕx ξ − ϕy η
+ B(0) q
2
1 + |∇ϕ|
Z
1
0
(Φ′α (µ̃(t)) + µ̃(t)Φ′′α (µ̃(t))) dt.
The integrand in (5.3) now has the expression

1



− ϕ − ϕx ξ − ϕy η 
z+ζ −ϕ
 + Φα  z + ζ q
− Φα  q
2
2
1 + |(∇ϕ)1 |
1 + |∇ϕ|
− µ̄Φ′α (µ̄)
ϕx ϕxx ξ + ϕy ϕyy η
1 + |∇ϕ|2
= F (1) − F (0) − B(0)µ̄Φ′α (µ̄)
Z 1
′
′
= F (0) − B(0)µ̄Φα (µ̄) + (1 − t)F ′′ (t) dt
0
Z
ζ − ϕx ξ − ϕy η 1 ′
′
∗
(Φα (µ̃) + µ̃Φ′′α (µ̃)) dt
= A(0)Φα (µ (0)) + B(0) q
2
0
1 + |∇ϕ|
Z 1
h
+ (1 − t) − Φ′′α (µ∗ ) A2 + 2ABµ∗ + B 2 (µ∗ )2
0
i
− Φ′α (µ∗ ) 2AB + B 2 − Bt µ∗ dt
In Dα ⊂ D1 , we have
and hence
p
ξ 2 + η2 + ζ 2 ≤
1+λ
1
− 1
(CP |P ′ (λ)|) 2s ≤
2
2
p
1 + λ(x, y)
1 + λ(x + tξ, y + tη) ≥ 1 + λ(x, y) − t ξ 2 + η 2 ≥
.
2
PYRAMIDAL TRAVELING WAVE FOR FRACTIONAL ALLEN-CAHN EQUATIONS
21
We use this to bound, using Lemma 4.4 and Lemma 4.2,
i i
∂x1 ∂y2 ϕ(x + tξ, y + tη) ≤ Cϕ P (i1 +i2 ) (λ(x + tξ, y + tη))
≤ Cϕ CP (1 + λ(x + tξ, y + tη))−2s+1−i1 −i2
≤ Cϕ CP 22s−1+i1 +i2 (1 + λ(x, y))−2s+1−i1 −i2
≤ 16Cϕ CP (1 + λ)−2s+1−i1 −i2 .
This gives an estimate for A, B and Bt
2
2
|A(t)| ≤ 8Cϕ CP |ξ| + 2|ξ||η| + |η| (1 + λ)−2s−1 ,
|B(t)| ≤ 32m∗ Cϕ CP (|ξ| + |η|)(1 + λ)−2s−1 ,
|Bt (t)| ≤ C̃7 (s, m∗ , ρ̃, γ) |ξ|2 + |ξ||η| + |η|2 (1 + λ)−2s−2 ,
which are all uniform in t ∈ [0, 1]. Note that for the estimate of Bt we have used
(4.2). Denoting
r=
p
ξ 2 + η2 + ζ 2 < 1
and
kAk∞ = sup |A(t)|,
t∈[0,1]
similarly for B and Bt , we can find a constant CAB = CAB (s, m∗ , ρ̃, γ) such that
kAk∞ ≤ CAB r2 (1 + λ)−2s−1 ,
2 kBk∞ ≤ CAB r(1 + λ)−2s−1 ,
2
kAk∞ ≤ CAB r4 (1 + λ)−4s−2 ,
4 kAk∞ kBk∞ ≤ CAB r2 (1 + λ)−4s−1 ,
2
2 kBk∞ ≤ CAB r2 (1 + λ)−4s−2 ,
kBt k∞ ≤ CAB r2 (1 + λ)−2s−2 .
Note also that by Cauchy-Schwarz inequality,
ζ − ϕx ξ − ϕy η p 2
q
≤ ξ + η 2 + ζ 2 = r.
2
1 + |∇ϕ|
22
HARDY CHAN AND JUNCHENG WEI
(j) Denoting µi Φα ∞
= sup µi Φ(j)
α (µ) for 0 ≤ i ≤ j ≤ 2 and using Corollary
µ∈R
B.1, we can estimate J1 as
Z h
|A(0)| kΦ′α k∞ + |B(0)|r (kΦ′α k∞ + kµΦ′′α k∞ )
|J1 | ≤
Dα
2
+ kΦ′′α k∞ kAk∞ + 2 kAk∞ kBk∞ (kΦ′α k∞ + kµΦ′′α k∞ )
2
+ kBk∞ (kµΦ′α k∞ + µ2 Φ′′α ∞ )
i
dξdηdζ
+ kBt k∞ kµΦ′α k∞
3
(ξ 2 + η 2 + ζ 2 ) 2 +s
√
1 "
Z 2α (CP |P ′ (λ)|)− 2s
−2s−1
α−1 (r2 + r2 )
≤ 4πCAB CΦ (1 + λ)
0
−2 4
+α
−2s−1
r (1 + λ)
#
+ r2 (1 + λ)−1
+ α−1 r2 (1 + λ)−2s + r2 (1 + λ)−2s−1
r2 dr
r3+2s
√
α
2
1
(CP |P ′ (λ)|)− 2s h
α−2 (1 + λ)−2s−1 r3−2s
≤ 4πCAB CΦ (1 + λ)
0
i
+ 5α−1 r1−2s dr
√ 4−2s
4−2s
4πCAB CΦ −2
α
−4s−2
=
(CP |P ′ (λ)|)− 2s
α (1 + λ)
4 − 2s
2
√ 2−2s
2−2s
α
20πCAB CΦ −1
α (1 + λ)−2s−1
(CP |P ′ (λ)|)− 2s
+
2 − 2s
2
πCAB CΦ
5πCAB CΦ −s
= 3−2s
α−s (1 + λ)−6s+2 + 1−2s
α (1 + λ)−4s+1
2
(2 − s)
2
(1 − s)
5πCAB CΦ −s
1−s
= 1−2s
α (1 + λ)−4s+1 1 +
(1 + λ)−2s+1
2
(1 − s)
20(2 − s)
22s 5πCAB CΦ −s
≤
α (1 + λ)−4s+1
1−s
The proof is completed by taking
−2s−1
CR1 =
Z
22+2s π 2
22s 5π
CP +
CAB CΦ .
s
1−s
We can now prove
Proposition 5.2. There exist small parameters ε and α such that V (x, y, z) is a
super-solution of (1.4). In fact, V ∈ Cs2 (R3 ) and
L[V ] > 0
and
v<V
in R3 .
Proof. We recall the calculations in Section 2 gives
Z 1
′
2s R̄(αx, αy)
′
,
f (Φ(µ̂) + tεS) dt + α
L[V ] = S(αx, αy) −Φ (µ̂) − ε
S(αx, αy)
0
PYRAMIDAL TRAVELING WAVE FOR FRACTIONAL ALLEN-CAHN EQUATIONS
23
where S is defined by (4.4) and R̄ = R1 + R2 with
R1 = (−∆)s (Φα (µ̄(αx, αy, αz))) − ((−∂ 2 )s Φα )(µ̄(αx, αy, αz)),
R2 = ε((−∆)s S)(αx, αy).
By Proposition 5.1 and Lemma 4.5, there is a constant CR = CR (s, c, m∗ , ρ̃, γ) such
that
Z
L[V ] ≥ S(αx, αy) −Φ′ (µ̂) − ε
1
0
f ′ (Φ(µ̂) + tεS) dt − CR αs .
The rest of the proof is similar to [55]. Here we still include it for the sake of
completeness.
Since f is C 1 and f ′ (±1) < 0, there exists constants δ∗ ∈ (0, 1/4) and κ1 > 0
such that
−f ′ (t) > κ1 for 1 − |t| < 2δ∗ .
Write κ2 = kf ′ kL∞ (−1−δ∗ ,1+δ∗ ) and
Φ∗ = min {−Φ′ (µ) | −1 + δ∗ ≤ Φ(µ) ≤ 1 − δ∗ } .
Also, in view of Lemma 4.4 and Lemma 4.5,
Cϕ−1 P (λ)
ϕ(x, y) − h(x, y)
≥
≥ Cϕ−1 CS−1 CP−2 (1 + λ)−1
S(x, y)
CS |P ′ (λ)|
for all (x, y) ∈ R2 , so we can write
ω=
min
(x,y)∈R2
ϕ(x, y) − h(x, y)
≥ Cϕ−1 CS−1 CP−2 > 0.
S(x, y)
By the decay of Φ′ (µ), we can find constants C̃Φ and r4 such that
|Φ′ (µ)| ≤
Hence
C̃Φ
|µ|1+2s
|µΦ′ (µ)| ≤
Choose
ε < min
and then choose
α < min
(
1
,
2
εκ1
2CR
C̃Φ
|µ|
2s
for |µ| ≥ r4 .
for |µ| ≥ r4 .
1 δ∗
Φ∗
,
,
2 c − k 3κ2
1s 1
1)
kε 2s
Φ∗ s kω kω
,
.
,
,
3CR
2r4 2 2C̃Φ
(5.4)
(5.5)
We consider two cases.
Case 1: 1 − |Φ(µ̂)| < δ∗ . Then for 0 ≤ t ≤ 1, |tεS| ≤ ε(c − k) ≤ δ∗ and so
1 − (Φ(µ̂) + tεS) < 2δ∗ . Since −Φ′ (µ̂) > 0, we have
εκ1
S(αx, αy) > 0.
L[V ] ≥ S(αx, αy)(εκ1 − CR αs ) ≥
2
Case 2: −1 + δ∗ ≤ Φ(µ̂) ≤ 1 − δ∗ . Then
L[V ] ≥ S(αx, αy) (Φ∗ − εκ2 − CR αs ) ≥
Φ∗
S(αx, αy) > 0.
3
24
HARDY CHAN AND JUNCHENG WEI
Therefore, L[V ] > 0 on R3 , that is, V is a super-solution. Next we prove that
v < V on R3 , that is, for any j and any (x, y) ∈ Ωj ,
k
(z − aj x − bj y) .
Φ (µ̂) + εS(αx, αy) > Φ
c
To simplify the notation, we drop the subscript j in aj and bj . We consider two
cases.
k
Case 1: µ̂ ≤ (z − ax − by). Then it is clear that
c
k
(z − ax − by) .
V (x, y, z) > Φ(µ̂) ≥
c
z − α−1 ϕ(αx, αy)
k
> (z − ax − by). We insert a term ax + by
Case 2: µ̂ = q
c
2
1 + |∇ϕ(αx, αy)|
in the left hand side and rearrange the inequality as follows.
z − ax − by − α−1 (ϕ(αx, αy) − aαx − bαy)
k
q
> (z − ax − by),
c
2
1 + |∇ϕ(αx, αy)|


c
c(ϕ(αx, αy) − aαx − bαy)
q
q
− k  (z − ax − by) >
,
2
2
1 + |∇ϕ(αx, αy)|
α 1 + |∇ϕ(αx, αy)|
that is,
S(αx, αy)(z − ax − by) >
By the definition of ω, we have
z − ax − by >
c(ϕ − h)(αx, αy)
q
.
2
α 1 + |∇ϕ(αx, αy)|
cω
cω
q
≥
.
α
2
α 1 + |∇ϕ(αx, αy)|
On the other hand, since ϕ > h, we have
z − ax − by
µ̂ > q
.
2
1 + |∇ϕ(αx, αy)|
Now
k
V (x, y, z) − Φ
(z − ax − by)
c


z
−
ax
−
by
 − Φ k (z − ax − by) + εS(αx, αy)
≥ Φ q
c
2
1 + |∇ϕ(αx, αy)|
=
(z − ax − by)S(αx, αy)
c



Z 1
k
t
+ (1 − t) (z − ax − by) dt
·
Φ′   q
c
2
0
1 + |∇ϕ(αx, αy)|
+ εS(αx, αy)
PYRAMIDAL TRAVELING WAVE FOR FRACTIONAL ALLEN-CAHN EQUATIONS
Let us write, for t ∈ [0, 1],

µ∗ = µ∗ (t) =  q
t
1 + |∇ϕ(αx, αy)|2
25

k
+ (1 − t) (z − ax − by)
c
k + tS(αx, αy)
(z − ax − by).
c
z − ax − by
µ∗
kω
We know from Lemma 4.5 that S > 0, thus
≤
and µ∗ ≥
. Now
c
k
α
k
(z − ax − by)
V (x, y, z) − Φ
c
Z
1 1
≥ S(αx, αy) ε −
µ∗ (t)Φ′ (µ∗ (t)) dt
k 0
!
1
′
sup |µΦ (µ)|
≥ S(αx, αy) ε −
k |µ|≥ kω
α
ε
≥ S(αx, αy)
2
>0
=
This concludes the proof.
6. Proof of the main result
Since we have constructed a sub-solution and a super-solution, it suffices to carry
out the monotone iteration argument. See [51], [50].
Proof of Theorem 1.2. Write L(u) = (−∆)s u − cuz + Ku where K > kf ′ kL∞ ([−1,1])
2s
is so large that |ξ| − cξ3 + K > 0 for any ξ ∈ R3 . Using Lemma A.7, we construct
a sequence {wm } ⊂ C 2s+β (R3 )∩L∞ (R3 ) for some β ∈ (0, 1) as follows. Let w0 = v.
For any m ≥ 1, let wm be the unique solution of the linear equation
L(wm ) = f (wm−1 ) + Kwm−1 .
We will prove by induction that
−1 < v = w0 < w1 < · · · < wm−1 < wm < · · · < V < 1
for all m ≥ 1, using the strong maximum principle stated in Lemma A.6. If we define
g(u) = f (u) + Ku, then g ′ (u) > 0, showing that f (u1 ) + Ku1 − f (u2 ) − Ku2 > 0 if
u1 > u2 .
For m = 1, we have for each 1 ≤ j ≤ N , L(vj ) = (−∆)s vj − c(vj )z − f (vj ) +
f (vj ) + Kvj = f (vj ) + Kvj and so
L(w1 − vj ) = f (v) + Kv − f (vj ) − Kvj ≥ 0
since v = maxj vj ≥ vj and
L(V − w1 ) ≥ f (V ) + KV − f (v) − Kv > 0.
Hence, v < w1 < V unless w1 = v, giving a non-smooth solution L[w1 ] = 0,
which is impossible by the regularity of L. By the Schauder estimate (A.1), since
1
3
v ∈ C 0,1 (R3 ) ⊂ C 0, 2 −s (R3 ), w1 ∈ C 2,s− 2 (R3 ). In particular, (−∆)s w1 is welldefined by the singular integral.
26
HARDY CHAN AND JUNCHENG WEI
For any m ≥ 2, if wm−2 < wm−1 < V , then
L(wm − wm−1 ) = f (wm−1 ) + Kwm−1 − f (wm−2 ) − Kwm−2 ≥ 0
and
L(V − wm ) ≥ f (V ) + KV − f (wm−1 ) − Kwm−1 > 0.
Hence, wm−1 < vm < V unless wm−1 = wm , in which case L[wm ] = 0. Using the
1
Schauder estimate (A.1) and an interpolation inequality, we have wm ∈ C 2,s− 2 (R3 )
and
kwm k
1
C 2,s− 2 (R3 )
≤ kf (wm−1 )k
3
C 0, 2 −s (R3 )
+ K kwm−1 k
3
C 0, 2 −s (R3 )
≤ kf kL∞ ([−1,1]) + 2K kwm−1 k 0, 23 −s 3
C
(R )
1
≤ C̃8 s, K, kf kL∞ ([−1,1]) + kwm−1 k 2,s− 12 3
(R )
C
2
1
kw1 k 2,s− 12 3 .
(R )
C
2m−2
Therefore, the sequence {wm }m≥1 is monotone increasing and uniformly bounded
1
in C 2,s− 2 (R3 ). Hence the pointwise limit
Iterating this yields kwm k
1
C 2,s− 2 (R3 )
≤ 2C̃8 +
u(x) = lim wm (x)
m→∞
exists and is unique. By Arzelà-Ascoli theorem, we can extract from each subsequence of {wm } a subsequence converging in C 2 (R3 ). Since u is unique, we conclude
that
wm → u
in C 2 (R3 )
Clearly, L[u] = 0 in R3 and the proof is now complete.
Appendix A. Properties of the fractional Laplacian
Here we list some elementary properties of the fractional Laplacian mentioned
in [58], [12], [49], [34].
A.1. Basic properties. It is convenient to have the following
Lemma A.1. For any a ∈ R, we have
√
Z ∞
πΓ( 21 + s) 1
C1,s
dx
1
=
.
=
1+2s
1+2s
2
2
1+s
Γ(1 + s) |a|
C2,s |a|
∞ (x + a )
As a consequence,
Z ∞
∞
√
πΓ( n2 + s)
1
dx
Cn,s
1
=
n
n+2s = C
n+2s
(x2 + a2 ) 2 +s
Γ( n+1
+
s)
n+1,s
|a|
|a|
2
for any integer n ≥ 1.
Proof. Without loss of generality, we can assume that a = 1 by a simple scaling.
PYRAMIDAL TRAVELING WAVE FOR FRACTIONAL ALLEN-CAHN EQUATIONS
27
p
1/y − 1 and dx =
Using the substitution y = 1/(x2 + 1), we have x =
−(1/2)y −3/2(1 − y)−1/2 dy, so
Z ∞
Z ∞
dx
dx
=
2
2 + 1)1+s
2 + 1)1+s
(x
(x
0
∞
Z 1
1
1
=
y s− 2 (1 − y)− 2 dy
0
1 1
=B
, +s
2 2
√
πΓ 21 + s
,
=
Γ(1 + s)
where B denotes the Beta function.
The second equality is obtained by replacing s by s + n/2.
Corollary A.1. If u(x) = u(x1 , . . . , xn ) only depends on x1 , then
(−∆)s u(x1 ) = (−∂ 2 )s u(x1 ).
Proof. Clearly, by induction we have
Z
u(x1 ) − u(x1 + ξ1 )
s
(−∆) u(x1 ) = Cn,s P.V.
dξn · · · dξ1
2
2 n +s
Rn (ξ1 + · · · + ξn ) 2
Z
u(x1 ) − u(x1 + ξ1 )
dξn−1 · · · dξ1
= Cn−1,s P.V.
n−1
+s
2
2
Rn−1 (ξ1 + · · · + ξn−1 ) 2
..
.
Z
u(x1 ) − u(x1 + ξ1 )
= C1,s P.V.
dξ1
1+2s
|ξ1 |
R
= (−∂ 2 )s u(x1 ).
Lemma A.2 (Homogeneity). For any admissible u : Rn → R, x ∈ Rn and a ∈ R,
(−∆)s (u(ax)) = |a|2s (−∆)s u(ax).
In particular, if u is an even function then so is (−∆)s u.
Proof. This is trivial and follows from a change of variable η = aξ. Indeed,
Z
u(ax) − u(ax + aξ)
s
(−∆) (u(ax)) = Cn,s P.V.
dξ
n+2s
n
|ξ|
R
Z
u(ax) − u(ax + aξ) n
2s
|a| dξ
= Cn,s |a| P.V.
n+2s
|aξ|
Rn
Z
u(ax) − u(ax + η)
2s
= Cn,s |a| P.V.
dη
n+2s
|η|
Rn
2s
= |a| (−∆)s u(ax).
28
HARDY CHAN AND JUNCHENG WEI
Lemma A.3 (Commuting with rigid motions). Suppose M : Rn → Rn is a rigid
motion, that is, for x ∈ Rn , M x = Ax + b where A ∈ O(n) and b ∈ Rn . Then
(−∆)s (u(M x)) = ((−∆)s u)(M x).
Proof. It is equivalent to showing that
Z
u(Ax + b) − u(Ax + b + Aξ)
Cn,s P.V.
dξ
n+2s
|ξ|
Rn
Z
u(Ax + b) − u(Ax + b + ξ)
= Cn,s P.V.
dξ.
n
|ξ|n+2s
R
But since |Aξ| = |ξ| and |det A| = 1, the result follows from a change of variable
ξ 7→ Aξ.
Combining the above simple results, we obtain a useful chain rule.
Lemma A.4 (Chain rule for linear transformation). For any admissible u : Rn →
R, and x, a ∈ Rn , there holds
s
(−∆)s (u(a · x)) = |a| (−∂ 2 )s u(a · x).
Proof. By Lemma A.2, we may assume that |a| = 1. By extending v1 = a ∈ Rn
to an orthonormal basis {v1 , . . . , vn } in Rn , we can construct an orthogonal matrix
A ∈ O(n) whose i-th row is the row vector vi . In particular, (Ax)1 = a · x. By
Lemma A.3 and Corollary A.1, we have
(−∆)s (u(a · x)) = (−∆)s (u((Ax)1 ))
= ((−∆)s u)((Ax)1 )
= ((−∂ 2 )s u)((Ax)1 )
= (−∂ 2 )s u(a · x).
A.2. Decay properties. If a function u decays together with its derivatives ∇u
2
s
and
D u at infinity, (−∆) u gains a decay of order 2s, but never better than
−2s
because of its nonlocal nature. In a more subtle case when D2 u(x) does
O |x|
not decay in |x|, we can still get a decay of order 1 from ∇u. The precise statement
is as follows.
Lemma A.5 (Decay of (−∆)s u). Suppose u ∈ L∞ (Rn ) and u is Cs2 outside a set
E containing the origin. For any x ∈ Rn with dist (x, E) ≫ R > r > 0, we have
|(−∆)s u(x)|
r2−2s
kukĊ 2 (Br (x)) +
4(1 − s)
!
1
1
1
1
+
− 2s−1 kukĊ 1 (BR \Br (x)) +
kukL∞ (Rn ) .
2s − 1 r2s−1
R
sR2s
≤ Cn,s
where
kukĊ 1 (Ω) =
n
X
∂u
(x),
sup
∂xj
j=1 x∈Ω
and
kukĊ 2 (Ω) =
n
X
2
∂ u
sup
(x).
∂xi ∂xj
i,j=1 x∈Ω
PYRAMIDAL TRAVELING WAVE FOR FRACTIONAL ALLEN-CAHN EQUATIONS
29
We think of E as the set of all edges of the pyramid projected on R2 . In par|x|
|x|
and r = 1, R =
respectively, we
ticular, by taking r = R = 1, r = R =
2
2
have
Corollary A.2. There exists a constant C∆ = C∆ (n, s) such that
|(−∆)s u(x)| ≤ C∆ kukĊ 2 (B1 (x)) + kukL∞ (Rn ) ,
s
kuk 2 Ċ B |x| (x)
|(−∆) u(x)| ≤ C∆
2
|x| + kukL∞ (Rn )
2
!
|x|
−2s
and
s
|(−∆) u(x)| ≤ C∆
kukĊ 2 (B1 (x)) +
kuk 1 Ċ B |x| (x)
+ kukL∞ (Rn ) |x|
2
−2s
!
Proof of Lemma A.5. Integrating in Br (0), BR \Br (0) and BR (0)c , we have
(−∆)s u(x) = Cn,s (I1 + I2 + I3 )
where
I1 =
u(x) − u(x + ξ) − ∇u(x) · ξ
Z
n+2s
|ξ|
u(x) − u(x + ξ)
Br (0)
I2 =
Z
n+2s
|ξ|
u(x) − u(x + ξ)
BR \Br (0)
I3 =
Z
|ξ|
c
BR
n+2s
dξ
dξ
dξ
Using second order Taylor expansion
1
u(x + ξ) = u(x) + ∇u(x) · ξ + ξ T D2 u(x̃)ξ
2
where x̃ ∈ Br (x), we estimate
|I1 | ≤
≤
Z
Br (0)
2
D u(x̃) |ξ|2
∞
2|ξ|
n+2s
1
kukĊ 2 (Br (x))
2
Z
dξ
dξ
n+2s−2
Br (0) |ξ|
Z r
dρ
1
≤ kukĊ 2 (Br (x))
2s−1
2
ρ
0
r2−2s
≤
kukĊ 2 (Br (x)) .
4(1 − s)
.
30
HARDY CHAN AND JUNCHENG WEI
For the second term, we have
Z
|I2 | ≤
1
BR \Br (0) |ξ|
n+2s
Z
≤ k∇ukL∞ (BR \Br (x))
R
1
|∇u(x + tξ) · ξ| dtdξ
0
Z
dξ
BR \Br (0) |ξ|
n−1+2s
dρ
≤ kukĊ 1 (BR (x))
2s
r ρ
1
1
1
≤
kukĊ 1 (BR (x))
−
2s − 1 r2s−1
R2s−1
Z
The last term is simpler and is estimated as
Z
|I3 | ≤ 2 kukL∞ (Rn )
≤ 2 kukL∞ (Rn )
≤
Z
dξ
|ξ|n+2s
dρ
BR (0)c
∞
R
ρ1+2s
1
kukL∞ (Rn ) .
sR2s
This completes the proof.
A.3. The linear operator. Consider the linear operator L acting on functions
u ∈ Cs2 (Rn ) by
L0 (u) = (−∆)s u + b0 · ∇u + c0 u,
where b0 ∈ Rn and c0 ∈ R.
Lemma A.6 (Strong maximum principle). Suppose u ∈ Cs2 (Rn ), L0 (u) ≥ 0,
u(x) → 0 as |x| → ∞ and c0 ≥ 0. Then either u(x) > 0, ∀x ∈ Rn , or u(x) ≡ 0,
∀x ∈ Rn .
Proof. Since u(x) → 0 as |x| → ∞, we know that inf Rn u is attained at some
x1 ∈ Rn . Suppose u(x) 6≡ 0. At the global minimum x1 , we have (−∆)s u(x1 ) < 0
and ∇u(x1 ) = 0. If u(x1 ) ≤ 0, then c0 u(x1 ) ≤ 0 and L0 [u](x1 ) ≤ (−∆)s u(x1 ) < 0,
a contradiction.
Lemma A.7 (Solvability of the linear equation). Assume that c0 is so large that
2s
the symbol |ξ| − c · ξ + M > 0 for any ξ ∈ Rn . Let β ∈ (0, 1) be such that
2 < 2s + β < 3.
Then there exists a constant CL0 = CL0 (n, s, β, |b0 |, c0 ) such that for any f0 ∈
C β (Rn ), there is a unique solution u ∈ C 2,2s+β−2 (Rn ) to the linear equation
L0 (u) = f0 ,
in Rn ,
satisfying the Schauder estimate
kukC 2,2s+β−2 (Rn ) ≤ CL0 kf0 kC β (Rn ) .
(A.1)
The proof involves taking a Fourier transform and a density argument, see [43],
[50].
PYRAMIDAL TRAVELING WAVE FOR FRACTIONAL ALLEN-CAHN EQUATIONS
31
Appendix B. Decay of the second order derivative of the profile
Proposition B.1. Let Φ be as in Theorem 1.1. As |µ| → ∞, we have
Φ′′ (µ) = O |µ|−1−2s .
Corollary B.1. For 1/2 ≤ s < 1, there exists a constant CΦ = CΦ (s) such that
sup µi Φ(j) (µ) ≤ CΦ
µ∈R
for 0 ≤ i ≤ j and 1 ≤ j ≤ 2. Equivalently, if Φα (µ) = Φ(α−1 µ), then
sup |µΦ′α (µ)|, sup µ2 Φ′′α (µ) ≤ CΦ ,
µ∈R
µ∈R
sup |Φ′α (µ)|, sup |µΦ′′α (µ)| ≤ CΦ α−1 ,
µ∈R
µ∈R
and
sup |Φ′′α (µ)| ≤ CΦ α−2 .
µ∈R
The proof relies on a comparison with the almost-explicit layer solution [13], see
also [34]. For t > 0 and µ ∈ R, define
Z
2s
1 ∞
cos(µr)e−tr dr
pt (µ) =
π 0
and
vt (µ) = −1 + 2
Z
µ
p(t, r) dr.
−∞
They are smooth functions on R and vt is a layer solution of
(−∂ 2 )s vt (µ) = ft (vt (µ)),
∀µ ∈ R
1
where ft ∈ C 2 ([−1, 1]) is an odd bistable nonlinearity satisfying ft (±1) = − .
t
Moreover, the asymptotic behaviors of vt′ and vt′′ are given by
lim |µ|
|µ|→∞
1+2s ′
vt (µ)
=
4tsΓ(2s) sin(πs)
>0
π
1
lim |µ|
µ→±∞
2+2s ′′
vt (µ)
=∓
4t1− s s(1 + 2s)Γ(2s) sin πs
.
π
Proof of Proposition B.1. Differentiating (1.3) twice, we see that Φ′′ satisfies
(−∆)s Φ′′ (µ) − kΦ′′′ (µ) = f ′ (Φ(µ))Φ′′ (µ) + f ′′ (Φ(µ))(Φ′ (µ))2 .
Let wM,t (µ) = M vt′ (µ) + Φ′′ (µ). Then
4
′
(−∆)s wM,t (µ) − kwM,t
(µ) + wM,t (µ)
t
2
vt′ (µ)
′
′
′′
= M vt (µ)
+ ft (vt (µ)) + M
− kvt (µ)
t
t
4
M vt′ (µ)
′′
′′
′
2
′
+ f (Φ(µ))(Φ (µ)) + Φ (µ)
+ f (Φ(µ))
+
t
t
32
HARDY CHAN AND JUNCHENG WEI
1
Using the facts that ft′ (±1) = − , f ′ (±1) < 0, lim vt (µ) = ±1 and lim Φ(µ) =
µ→±∞
µ→±∞
t
∓1, we can find large T ≥ 1 and r̃1 ≥ 1 such that
2
+ fT′ (vT (µ)) > 0
T
and
4
+ f ′ (Φ(µ)) < 0.
T
By the positivity of vT′ (µ), the boundedness of f ′′ and the asymptotic behaviors
−1−2s
−2−2s
−1−2s
,
and Φ′ (µ) = O |µ|
, vT′′ (µ) = O |µ|
vT′ (µ) = O |µ|
there exist large numbers M1 ≥ 1 and r̃2 ≥ r̃1 such that if M ≥ M1 , then
vT′ (µ)
− kvT′′ (µ) > 0
T
and
M1 vT′ (µ)
+ f ′′ (Φ(µ))(Φ′ (µ))2 > 0,
T
∀|µ| ≥ r̃2 .
Therefore, for M ≥ M1 and x ∈ {|µ| ≥ r̃2 } ∩ {Φ′′ < 0} there holds
4
′
(−∂ 2 )s wM,T (µ) − kwM,T
(µ) + wM,T (µ) > 0.
t
Since vT′ > 0, there exists M2 ≥ M1 such that
wM2 ,T (µ) = M2 vT′ (µ) ≥ 1 > 0,
∀|µ| ≤ r̃2 + 1.
Now we argue by maximum principle that wM2 ,T (µ) ≥ 0 for all µ ∈ R. Suppose
on the contrary that
inf wM2 ,T (µ) < 0.
µ∈R
Since wM2 ,T (µ) decays as |µ| → ∞, the infimum is attained at some µ̃ ∈ R. But
then
(−∂ 2 )s wM2 ,T (µ̃) < 0,
′
wM
(µ̃) = 0
2 ,T
and
wM2 ,T (µ̃) < 0,
which yields
′
(−∂ 2 )s wM2 ,T (µ̃) − kwM
(µ̃) +
2 ,T
4
wM2 ,T (µ̃) < 0.
T
On the other hand, we see that |µ̃| > r̃2 + 1 by the choice of M2 and Φ′′ (µ̃) < 0 by
the definition of wM2 ,T , giving
′
(−∂ 2 )s wM2 ,T (µ̃) − kwM
(µ̃) +
2 ,T
4
wM2 ,T (µ̃) > 0,
T
a contradiction. Hence,
M2 vT′ (µ) + Φ′′ (µ) ≥ 0,
∀µ ∈ R.
We can now repeat the whole argument, replacing Φ′′ (µ) by −Φ′′ (µ), to obtain
M2 vT′ (µ) − Φ′′ (µ) ≥ 0,
Now, for µ 6= 0,
∀µ ∈ R.
|Φ′′ (µ)| ≤ M2 vT′ (µ) ≤ C|µ|−1−2s
for some constant C. This finishes the proof.
PYRAMIDAL TRAVELING WAVE FOR FRACTIONAL ALLEN-CAHN EQUATIONS
33
References
[1] G. Alberti, Variational models for phase transitions, an approach via Γ-convergence. Calculus
of variations and partial differential equations (Pisa, 1996), 95–114, Springer, Berlin, 2000.
[2] S. M. Allen, J. W. Cahn, A microscopic theory for antiphase boundary motion and its application to antiphase domain coarsening. Acta Metallurgica 27 (1979), no. 6, 1085–1095.
[3] D. G. Aronson, H. F. Weinberger, Multidimensional nonlinear diffusion arising in population
genetics. Adv. in Math. 30 (1978), no. 1, 33–76.
[4] P. W. Bates, X. Chen, A. J. J. Chmaj, Heteroclinic solutions of a van der Waals model with
indefinite nonlocal interactions. Calc. Var. Partial Differential Equations 24 (2005), no. 3,
261–281.
[5] P. W. Bates, P. C. Fife, X. Ren, X. Wang, Traveling waves in a convolution model for phase
transitions. Arch. Rational Mech. Anal. 138 (1997), no. 2, 105–136.
[6] J. Bebernes, D. Eberly, Mathematical problems from combustion theory. Applied Mathematical Sciences, 83. Springer-Verlag, New York, 1989. viii+177 pp. ISBN: 0-387-97104-1.
[7] H. Berestycki, F. Hamel, Generalized traveling waves for reaction-diffusion equations. Perspectives in nonlinear partial differential equations, 101–123, Contemp. Math., 446, Amer.
Math. Soc., Providence, RI, 2007.
[8] J. Bertoin, Lévy processes. Cambridge Tracts in Mathematics, 121. Cambridge University
Press, Cambridge, 1996. x+265 pp. ISBN: 0-521-56243-0.
[9] J.-M. Bony, P. Courr‘ege, P. Priouret, Semi-groupes de Feller sur une variété à bord compacte
et problémes aux limites intégro-différentiels du second ordre donnant lieu au principe du
maximum. Ann. Inst. Fourier (Grenoble) 18 1968 fasc. 2, 369–521 (1969).
[10] C. Brändle, E. Colorado, A. de Pablo, U. Sánchez, A concave-convex elliptic problem involving
the fractional Laplacian. Proc. Roy. Soc. Edinburgh Sect. A 143 (2013), no. 1, 39–71.
[11] X. Cabré, E. Cinti, Sharp energy estimates for nonlinear fractional diffusion equations. Calc.
Var. Partial Differential Equations 49 (2014), no. 1-2, 233–269.
[12] X. Cabré, Y. Sire, Nonlinear equations for fractional Laplacians, I: Regularity, maximum
principles, and Hamiltonian estimates. Ann. Inst. H. Poincaré Anal. Non Linéaire 31 (2014),
no. 1, 23–53.
[13] X. Cabré, Y. Sire, Nonlinear equations for fractional Laplacians, II: Existence, uniqueness,
and qualitative properties of solutions. Trans. Amer. Math. Soc. 367 (2015), no. 2, 911–941.
[14] L. Caffarelli, L. Silvestre, An extension problem related to the fractional Laplacian. Comm.
Partial Differential Equations 32 (2007), no. 7–9 1245-1260.
[15] L. Caffarelli, L. Silvestre, Regularity theory for fully nonlinear integro-differential equations.
Comm. Pure Appl. Math. 62 (2009), no. 5, 597–638.
[16] L. Caffarelli, L. Silvestre, Regularity results for nonlocal equations by approximation. Arch.
Ration. Mech. Anal. 200 (2011), no. 1, 59–88.
[17] X. Chen, Existence, uniqueness, and asymptotic stability of traveling waves in nonlocal evolution equations. Adv. Differential Equations 2 (1997), no. 1, 125–160.
[18] X. Chen, J.-S. Guo, F. Hamel, H. Ninomiya, J.-M. Roquejoffre, Traveling waves with paraboloid like interfaces for balanced bistable dynamics. Ann. Inst. H. Poincaré Anal. Non Linéaire
24 (2007), no. 3, 369–393.
[19] A. M. Cuitiño, M. Koslowski, M. Ortiz, A phase-field theory of dislocation dynamics, strain
hardening and hysteresis in ductile single crystals. J. Mech. Phys. Solids 50 (2002), no. 12,
2597–2635.
[20] A. de Masi, T. Gobron, E. Presutti, Travelling fronts in non-local evolution equations. Arch.
Rational Mech. Anal. 132 (1995), no. 2, 143–205.
[21] M. del Pino, M. Kowalczyk, J. Wei, Traveling waves with multiple and nonconvex fronts for
a bistable semilinear parabolic equation. Comm. Pure Appl. Math. 66 (2013), no. 4, 481–547.
[22] E. Di Nizza, G. Palatucci, E. Valdinoci, Hitchhiker’s guide to the fractional Sobolev spaces.
Bull. Sci. Math. 136 (2012), no. 5, 521–573.
[23] L. C. Evans, Partial differential equations. Second edition. Graduate Studies in Mathematics,
19. American Mathematical Society, Providence, RI, 2010. xxii+749 pp. ISBN: 978-0-82184974-3.
[24] E. B. Fabes, C. E. Kenig, R. P. Serapioni, The local regularity of solutions of degenerate
elliptic equations. Comm. Partial Differential Equations 7 (1982), no. 1, 77–116.
34
HARDY CHAN AND JUNCHENG WEI
[25] P. C. Fife, Mathematical aspects of reacting and diffusing systems. Lecture Notes in Biomathematics, 28. Springer-Verlag, Berlin-New York, 1979. iv+185 pp. ISBN: 3-540-09117-3.
[26] P. C. Fife, Dynamics of internal layers and diffusive interfaces. CBMS-NSF Regional Conference Series in Applied Mathematics, 53. Society for Industrial and Applied Mathematics
(SIAM), Philadelphia, PA, 1988. vi+93 pp. ISBN: 0-89871-225-4.
[27] P. C. Fife, J. B. Mcleod, The approach of solutions of nonlinear diffusion equations by
travelling front solutions. Arch. Ration. Mech. Anal. 65 (1977), no. 4, 335–361.
[28] R. Fisher, The wave of advance of advantageous genes. Ann. of Eugenics (1937), no. 1,
355–369.
[29] A. Garroni, S. Müller, Γ-limit of a phase field model of dislocations. SIAM J. Math. Ana. 36
(2005), no. 6, 1943–1964.
[30] A. Garroni, S. Müller, A variational model for dislocations in the line tension limit. Arch.
Ration. Mech. Anal. 181 (2006), no. 3, 535–578.
[31] D. Gilbarg, N. S. Trudinger, Elliptic partial differential equations of second order. Reprint of
the 1998 edition. Classics in Mathematics. Springer-Verlag, Berlin, 2001. xiv+517 pp. ISBN:
3-540-41160-7.
[32] M. d. M. González, Gamma convergence of an energy functional related to the fractional
Laplacian. Calc. Var. Partial Differential Equations 36 (2009), no. 2, 173–210.
[33] C. Gui, Symmetry of traveling wave solutions to the Allen-Cahn equation in R2 . Arch. Ration.
Mech. Anal. 203 (2012), no. 3, 1037–1065.
[34] C. Gui, M. Zhao, Traveling wave solutions of Allen-Cahn equation with a fractional Laplacian. Ann. I. H. Poincaré - AN (2014), http://dx.doi.org/10.1016/j.anihpc.2014.03.005.
[35] F. Hamel, R. Monneau, J.-M. Roquejoffre, Stability of travelling waves in a model for conical
flames in two space dimensions. Ann. Sci. École Norm. Sup. (4) 37 (2004), no. 3, 469–506.
[36] F. Hamel, R. Monneau, J.-M. Roquejoffre, Existence and qualitative properties of multidimensional conical bistable fronts. Discrete Contin. Dyn. Syst. 13 (2005), no. 4, 1069–1096.
[37] F. Hamel, R. Monneau, J.-M. Roquejoffre, Asymptotic properties and classification of bistable
fronts with Lipschitz level sets. Discrete Contin. Dyn. Syst. 14 (2006), no. 1, 75–92.
[38] F. Hamel, L. Roques, Uniqueness and stability properties of monostable pulsating fronts. J.
Eur. Math. Soc. (JEMS) 13 (2011), no. 2, 345–390.
[39] M. Hiroshi, M. Nara, M. Taniguchi, Stability of planar waves in the Allen-Cahn equation.
Comm. Partial Differential Equations 34 (2009), no. 7-9, 976–1002.
[40] A. Mellet, J. Nolen, J.-M. Roquejoffre, L. Ryzhik, Stability of generalized transition fronts.
Comm. Partial Differential Equations 34 (2009), no. 4-6, 521–552.
[41] Y.-C. Kim, K.-A. Lee, Regularity results for fully nonlinear parabolic integro-differential
operators. Math. Ann. 357 (2013), no. 4, 1541–1576.
[42] A. Kolmogorov, I. Petrovsky, N. Piskunow, Etude de l’équation de la diffusion avec croissance
de la quantité de matière et son application à un problème biologique. Moscou Univ. Bull.
Math., 1 (1937), 1–25.
[43] N. V. Krylov, Lectures on elliptic and parabolic equations in Hölder spaces. Graduate Studies
in Mathematics, 12. American Mathematical Society, Providence, RI, 1996. xii+164 pp. ISBN:
0-8218-0569-X
[44] N. V. Krylov, Lectures on elliptic and parabolic equations in Sobolev spaces. Graduate Studies
in Mathematics, 96. American Mathematical Society, Providence, IR, 2008. xviii+357 pp.
ISBN:978-0-8218-4684-1.
[45] Y. Kurokawa, M. Taniguchi, Multi-dimensional pyramidal travelling fronts in the Allen-Cahn
equations. Proc. Roy. Soc. Edinburgh Sect. A 141(2011), no. 5, 1031–1054.
[46] N. S. Landkof, Foundations of modern potential theory. Translated from the Russian by A.
P. Doohovskoy. Die Grundlehren der mathematischen Wissenschaften, Band 180. SpringerVerlag, New York-Heidelberg, 1972. x+424 pp.
[47] M. Nagumo, On prinicipally linear elliptic differential equations of second order. Osaka Math.
J. 6, (1954). 207–229.
[48] H. Ninomiya, M. Taniguchi, Traveling curved fronts of a mean curvature flow with constant
driving force. Free boundary problems: theory and applications, I (Chiba, 1999), 206–221,
GAKUTO Internat. Ser. Math. Sci. Appl., 13 Gakkōtosho, Tokyo, 2000.
[49] G. Palatucci, O. Savin, E. Valdinoci, Local and global minimizers for a variational energy
involving a fractional nor. Ann. Mat. Pura Appl. (4) 192 (2013), no. 4, 673–718.
PYRAMIDAL TRAVELING WAVE FOR FRACTIONAL ALLEN-CAHN EQUATIONS
35
[50] A. Petrosyan, C. A. Pop, Optimal regularity of solutions to the obstacle problem for the
fractional Laplacian with drift. J. Funct. Anal. 268 (2015), no. 2, 417–472.
[51] D. H. Sattinger, Monotone methods in nonlinear elliptic and parabolic boundary value problems. Indiana Univ. Math. J. 21 (1971/72), 979–1000.
[52] O. Savin, E. Valdinoci, Γ-convergence for nonlocal phase transitions. Ann. Inst. H. Poincaré
Anal. Non Linéaire 29 (2012), no. 4, 479–500.
[53] O. Savin, E. Valdinoci, Density estimates for a variational model driven by the Gagliardo
norm. J. Math. Pures Appl. (9) 101 (2014), no. 1, 1–26.
[54] W. Shen, Existence, uniqueness, and stability of generalized traveling waves in time dependent monostable equations. J. Dynam. Differential Equations 23 (2011), no. 1, 1–44.
[55] M. Taniguchi, Traveling fronts of pyramidal shapes in the Allen-Cahn equations. SIAM J.
Math. Anal. 39 (2007), no. 1, 319–344.
[56] M. Taniguchi, The uniqueness and asymptotic stability of pyramidal traveling fronts in the
Allen-Cahn equations. J. Differential Equations 246 (2009), no. 5, 2103–2130.
[57] M. Taniguchi, An (N − 1)-dimensional convex compact set gives an N -dimensional traveling
front in the Allen-Cahn equation. SIAM J. Math. Anal. 47 (2015), no. 1, 455-476.
[58] L. Silvestre, Regularity of the obstacle problem for a fractional power of the Laplace operator.
Comm. Pure Appl. Math. 60 (2007), no. 1,67–112.
[59] L. Silvestre, Hölder continuity for integro-differential parabolic equations with polynomial
growth respect to the gradient. Discrete Contin. Dyn. Syst. 28 (2010), no. 3, 1069–1081.
[60] L. Silvestre, On the differentiability of the solution to an equation with drift and fractional
diffusion. arXiv:1012.2401.
[61] X. Wang, Metastability and stability of patterns in a convolution model for phase transitions.
J. Differential Equations 183 (2002), no. 2, 434–461.
H. Chan - Department of Mathematics, University of British Columbia, Vancouver,
B.C., Canada, V6T 1Z2.
E-mail address: hardy@math.ubc.ca
J. Wei - Department of Mathematics, University of British Columbia, Vancouver,
B.C., Canada, V6T 1Z2.
E-mail address: jcwei@math.ubc.ca
Related documents
Download