Upper bounds for the decay rate in a nonlocal p -Laplacian evolution problem

Carlos Esteve; Julio D Rossi; Angel San Antolin

doi:10.1186/1687-2770-2014-109

Research
Open Access

Upper bounds for the decay rate in a nonlocal p-Laplacian evolution problem

Carlos Esteve¹,
Julio D Rossi^{1, 2} and
Angel San Antolin¹Email author

Boundary Value Problems20142014:109

https://doi.org/10.1186/1687-2770-2014-109

Received: 11 March 2014

Accepted: 25 April 2014

Published: 13 May 2014

Abstract

We obtain upper bounds for the decay rate for solutions to the nonlocal problem $\partial_{t} u (x, t) = \int_{R^{n}} J (x, y) {| u (y, t) - u (x, t) |}^{p - 2} (u (y, t) - u (x, t)) d y$ with an initial condition $u_{0} \in L^{1} (R^{n}) \cap L^{\infty} (R^{n})$ and a fixed $p > 2$ . We assume that the kernel J is symmetric, bounded (and therefore there is no regularizing effect) but with polynomial tails, that is, we assume a lower bounds of the form $J (x, y) \geq c_{1} {| x - y |}^{- (n + 2 σ)}$ , for $| x - y | > c_{2}$ and $J (x, y) \geq c_{1}$ , for $| x - y | \leq c_{2}$ . We prove that ${∥ u (\cdot, t) ∥}_{L^{q} (R^{n})} \leq C t^{- \frac{n}{(p - 2) n + 2 σ} (1 - \frac{1}{q})}$ for $q \geq 1$ and t large.

MSC: 35K05, 45P05, 35B40.

Keywords

nonlocal diffusiondecay rates

1 Introduction

In this paper we deal with nonlocal Cauchy problems of the form

\partial_{t} u (x, t) = \int_{R^{n}} J (x, y) | u (y, t) - u (x, t) |^{p - 2} (u (y, t) - u (x, t)) d y

(1.1)

for $t \in R_{+}$ and $x \in R^{n}$ with $n \geq 2$ , a fixed $p > 2$ and an initial condition $u (x, 0) = u_{0} (x)$ satisfying $u_{0} \in L^{1} (R^{n}) \cap L^{\infty} (R^{n})$ . As regards the kernel J, we will always assume that it is a bounded and symmetric function defined for $(x, y) \in R^{n} \times R^{n}$ together with the integrability condition $J (\cdot, y) \in L^{1} (R^{n})$ for all $y \in R^{n}$ . Under these hypotheses existence and uniqueness of a solution follow from a fixed point argument as in [1].

Nonlocal problems have been recently widely used to model diffusion processes (see [2] and [3] for a general nonlocal vector calculus). Problem (1.1) and its stationary version have been considered recently in connection with real applications, for example to peridynamics or a recent model for elasticity. We quote for instance [4–8] and the recent book [1].

Our main goal here is to obtain upper bounds for the asymptotic behavior of the solution of (1.1) as $t \to + \infty$ . It is expected that the diffusive nature of the equation implies that the solution goes to zero when $t \to + \infty$ .

To obtain our results the key assumptions are the following lower bounds for J:

\begin{aligned} J (x, y) \geq c_{1} {| x - y |}^{- (n + 2 σ)} for | x - y | > c_{2} and \\ J (x, y) \geq c_{1} for | x - y | \leq c_{2} \end{aligned}

(1.2)

for certain constants $c_{1}, c_{2} > 0$ , and $σ \in (0, 1)$ . For simplicity we will assume $c_{2} = 1$ .

The main result of this paper reads as follows.

Theorem 1.1Let

n \geq 2

,

q \in [1, + \infty)

and

σ \in (0, 1)

. LetJbe a kernel satisfying (1.2). Then the solution of (1.1) associated to an initial condition

u_{0} \in L^{1} (R^{n}) \cap L^{\infty} (R^{n})

decays in

L^{q} (R^{n})

with the upper bound

{∥ u (\cdot, t) ∥}_{L^{q} (R^{n})} \leq C t^{- \frac{n}{(p - 2) n + 2 σ} (1 - \frac{1}{q})},

(1.3)

where the constantCdepends on $u_{0}$ , q, σ, andn.

Let us end the introduction with some comments on the previous bibliography. For the linear case,

p = 2

, and for smooth kernels J with compact support, it is proven in [9] that the solution u of (1.1) has the decay estimate

{∥ u (\cdot, t) ∥}_{L^{q} (R^{n})} \leq C t^{- \frac{n}{2} (1 - \frac{1}{q})}

for any

q \in [1, \infty)

. Note that this decay rate is the same as the one that holds for solutions of the classical Heat equation. In the case of an equation in convolution form, that is, when

J (x, y) = K (x - y)

with K a nonnegative radial function, not necessarily compactly supported, it is proven in [10] that the solutions of equations with the form (1.1) have the decay estimate

{∥ u (\cdot, t) ∥}_{L^{q} (R^{n})} \leq C t^{- \frac{n}{2 σ} (1 - \frac{1}{q})},

provided the function K has a Fourier transform satisfying the expansion $\hat{K} (ξ) = 1 - A {| ξ |}^{2 σ} + o ({| ξ |}^{2 σ})$ for $ξ \sim 0$ , where $A > 0$ is a constant. In this case the decay estimate is analogous to the one for the σ-order fractional heat equation, $v_{t} = - {(- Δ)}^{σ} v$ , with $σ \in (0, 1)$ . We also note that the convolution form of the equation allows the use of Fourier analysis to obtain this result. However, the use of Fourier analysis is not helpful here due to fact that our operator is not in convolution form. In spite of this difficulty, energy methods can be applied; see [9, 11]. We also mention the recent reference [12], where similar estimates can be found for nonlocal equations with unbounded kernels. We borrow ideas and techniques from these references. In particular we use Proposition 3.2 of [11] (whose proof is included here for completeness). However, we have to point out that in [12] and [11] only the linear case, that is, $p = 2$ , was treated, while here we deal with (1.1) for any $p \geq 2$ . For examples of kernels with exponential decay bounds we refer to [13] and [14]. Finally, we point out that our results are also valid for unbounded kernels (in the spirit of [12]) since only lower bounds are assumed in (1.2).

The case $1 \leq p < 2$ remains open as well as the corresponding estimate for the $L^{\infty}$ -norm.

2 Basic facts and preliminaries

First, we need to introduce fractional Sobolev spaces and their seminorms, we refer to [15] for details. For

σ \in (0, 1)

and

r \in [1, \infty)

,

W^{σ, r} (R^{n})

is the fractional Sobolev space of all

L^{r} (R^{n})

functions with finite fractional seminorm

{[v]}_{σ, r}

, given by

{[v]}_{σ, r}^{r} = \iint_{R^{2 n}} \frac{{| v (x + z) - v (x) |}^{r}}{{| z |}^{n + r σ}} d x d z .

(2.1)

Under these definitions, we have the following fractional Sobolev-type inequality: there exists a constant

C > 0

such that, for each

v \in W^{σ, r} (R^{n})

with

σ r < n

, we have

{∥ v ∥}_{L^{s} (R^{n})}^{r} \leq C {[v]}_{σ, r}^{r},

(2.2)

where $s = n r / (n - σ r)$ (see [15]).

First, we consider a positive smooth function

ψ : R^{n} \to R

with the following properties:

supp (ψ) \subset B_{1} and \int_{R^{n}} ψ (x) d x = 1 .

(2.3)

With the aid of this function, we split a function u into two parts. We will denote the ‘smooth’ part of u as v and the remaining as w. We let

v (x, t) : = \int_{R^{n}} ψ (x - z) u (z, t) d z; w (x, t) : = u (x, t) - v (x, t) .

(2.4)

Sometimes, for simplicity in the notation and where the context is clear, we will write u, v, and w as functions depending only of x.

As a first property of this decomposition we find that each $L^{r}$ norm of the functions v and w is controlled by the corresponding norm of u.

Lemma 2.1Letvandwbe given by (2.4). For each

r \in (1, + \infty)

, we have

{∥ v ∥}_{L^{r} (R^{n})} \leq {∥ u ∥}_{L^{r} (R^{n})} and {∥ w ∥}_{L^{r} (R^{n})} \leq {∥ u ∥}_{L^{r} (R^{n})} .

Proof We start with v. Denoting

r^{'} = r / (r - 1)

the Hölder conjugate of r and using the definition of v, we have

\begin{array}{rcl} \int_{R^{n}} | v (x) |^{r} d x & = & \int_{R^{n}} | \int_{R^{n}} ψ (x - y) u (y) d y |^{r} d x \\ = & \int_{R^{n}} | \int_{R^{n}} ψ {(x - y)}^{1 / r^{'}} ψ {(x - y)}^{1 / r} u (y) d y |^{r} d x \\ \leq & \int_{R^{n}} {[{(\int_{R^{n}} ψ (x - y) d y)}^{1 / r^{'}} {(\int_{R^{n}} ψ (x - y) | u (y) |^{r} d y)}^{1 / r}]}^{r} d x \\ = & \int_{R^{n}} | u (y) |^{r} \int_{R^{n}} ψ (x - y) d x d y \\ \leq & \int_{R^{n}} | u (y) |^{r} d y . \end{array}

The inequality for w easily follows immediately from the triangular inequality in $L^{r}$ . □

Now we state a key result to get the desired estimate on the decay rate.

Proposition 2.2Let

n \geq 2

and let

J : R^{n} \times R^{n} \to R_{+}

be a kernel satisfying (1.2), ψsatisfying (2.3),

β \in [σ, 1)

, and

r > max {1, 2 β}

. Then there exists a constant

C > 0

such that, for all

u \in L^{r} (R^{n})

andv, wdefined in (2.4), we have

{[v]}_{2 β r^{- 1}, r}^{r} + {∥ w ∥}_{L^{r} (R^{n})}^{r} \leq C \iint_{R^{2 n}} J (x, y) | u (x) - u (y) |^{r} d x d y .

(2.5)

The constantCdepends onψ, β, r, andn.

Proof For the estimate concerning w, we have

\begin{array}{rcl} \int_{R^{n}} | w (x) |^{r} d x & = & \int_{R^{n}} | u (x) - v (x) |^{r} d x \\ = & \int_{R^{n}} | u (x) - \int_{R^{n}} ψ (x - z) u (z) d z |^{r} d x \\ = & \int_{R^{n}} | \int_{R^{n}} ψ (x - z) (u (x) - u (z)) d z |^{r} d x \\ = & \int_{R^{n}} | \int_{R^{n}} ψ {(x - z)}^{1 / r^{'}} ψ {(x - z)}^{1 / r} (u (x) - u (z)) d z |^{r} d x . \end{array}

Applying Hölder’s inequality, we get

\begin{array}{rcl} \int_{R^{n}} | w (x) |^{r} d x & \leq & \int_{R^{n}} {(\int_{R^{n}} ψ (x - z) d z)}^{r / r^{'}} (\int_{R^{n}} ψ (x - z) | u (x) - u (z) |^{r} d z) d x \\ \leq & \int_{R^{n}} \int_{R^{n}} ψ (x - z) | u (x) - u (z) |^{r} d z d x, \end{array}

where $r^{'} = r / (r - 1)$ .

Since ψ is supported in

B_{1}

, we have

ψ (x - z) \leq J (x, z)

for all

| x - z | \geq 1

, and, since J verifies

J (x, z) \geq c_{1}

for

| x - z | \leq 1

, there exists a constant C depending only on

{| ψ |}_{\infty}

such that

ψ (x - z) \leq C J (x, z)

. Then

{∥ w ∥}_{L^{r} (R^{n})}^{r} \leq C \iint_{R^{2 n}} J (x, y) | u (x) - u (y) |^{r} d x d y .

Now we deal with the term with v. We split the fractional seminorm as

\begin{aligned} {[v]}_{2 β r^{- 1}, r}^{r} & = \iint_{| x - y | > 1} \frac{{| v (x) - v (y) |}^{r}}{{| x - y |}^{n + 2 β}} d x d y + \iint_{| x - y | \leq 1} \frac{{| v (x) - v (y) |}^{r}}{{| x - y |}^{n + 2 β}} d x d y \\ = : I_{ext} + I_{int} \end{aligned}

and look at these integrals separately. For

I_{ext}

, using the definition of v we have

I_{ext} = \iint_{| x - y | > 1} | \int_{R^{n}} (u (x - z) - u (y - z)) ψ (z) d z |^{r} {| x - y |}^{- (n + 2 β)} d x d y .

Now, we can think of the measure

μ (d z) = ψ (z) d z

as a probability measure (because of (2.3)), and since the function

t \mapsto {| t |}^{r}

is convex in ℝ, we can apply Jensen’s inequality on the dz-integral in right-hand side of the last expression to obtain

I_{ext} \leq \iint_{| x - y | > 1} \int_{R^{n}} | u (x - z) - u (y - z) |^{r} ψ (z) d z {| x - y |}^{- (n + 2 β)} d x d y,

which, after an application of Fubini’s theorem, gives

I_{ext} \leq \int_{R^{n}} ψ (z) (\iint_{| x - y | > 1} | u (x - z) - u (y - z) |^{r} {| x - y |}^{- (n + 2 β)} d x d y) d z .

Then, applying the change

\tilde{x} = x - z

,

\tilde{y} = y - z

in the

d x d y

integral and using (2.3), we conclude

\begin{aligned} I_{ext} & \leq \int_{R^{n}} ψ (z) (\iint_{| \tilde{x} - \tilde{y} | > 1} | u (\tilde{x}) - u (\tilde{y}) |^{r} {| \tilde{x} - \tilde{y} |}^{- (n + 2 β)} d \tilde{x} d \tilde{y}) d z \\ = \iint_{| \tilde{x} - \tilde{y} | > 1} | u (\tilde{x}) - u (\tilde{y}) |^{r} {| \tilde{x} - \tilde{y} |}^{- (n + 2 β)} d \tilde{x} d \tilde{y} . \end{aligned}

Using this last expression, we obtain from the assumption (1.2) that

I_{ext} \leq C \iint_{R^{2 n}} J (x, y) | u (x) - u (y) |^{r} d x d y .

(2.6)

Now we deal with

I_{int}

. In this case, using the definition of v, we can write

I_{int} = \iint_{| x - y | < 1} | \int_{R^{n}} u (z) (ψ (x - z) - ψ (y - z)) d z |^{r} {| x - y |}^{- (n + 2 β)} d x d y .

(2.7)

Note that by using (2.3), we have for all

x, y \in R^{n}

\int_{R^{n}} u (x) (ψ (x - z) - ψ (y - z)) d z = u (x) (\int_{R^{n}} ψ (x - z) d z - \int_{R^{n}} ψ (y - z) d z) = 0,

and then

\int_{R^{n}} u (z) (ψ (x - z) - ψ (y - z)) d z = \int_{R^{n}} (u (z) - u (x)) (ψ (x - z) - ψ (y - z)) d z .

Thus, using this equality with (2.7), we get

I_{int} = \iint_{| x - y | < 1} | \int_{R^{n}} (u (z) - u (x)) (ψ (x - z) - ψ (y - z)) d z |^{r} {| x - y |}^{- (n + 2 β)} d x d y .

However, note that if

| x - z | \geq 2

in the dz integral, since

| x - y | < 1

necessarily

| y - z | > 1

. Then, due to the fact that ψ is supported in the unit ball, the contribution of the integrand when

| x - z | \geq 2

is null in the dz integral. Taking this into account, applying Hölder’s inequality into the dz-integral, we have

\begin{array}{rcl} I_{int} & = & \iint_{| x - y | < 1} | \int_{| x - z | < 2} (u (z) - u (x)) (ψ (x - z) - ψ (y - z)) d z |^{r} \\ \times {| x - y |}^{- (n + 2 β)} d x d y \\ \leq & \iint_{| x - y | < 1} (\int_{| x - z | < 2} | u (z) - u (x) |^{r} d z) \\ \times {(\int_{| x - \tilde{z} | < 2} | ψ (x - \tilde{z}) - ψ (y - \tilde{z}) |^{r^{'}} d \tilde{z})}^{r / r^{'}} {| x - y |}^{- (n + 2 β)} d x d y . \end{array}

By Fubini’s theorem we can write

I_{int} = \int_{x \in R^{n}} (\int_{| x - z | < 2} {(u (z) - u (x))}^{r} d z) Ψ (x) d x,

where

Ψ (x) = \int_{| x - y | < 1} {(\int_{| x - \tilde{z} | < 2} | ψ (x - \tilde{z}) - ψ (y - \tilde{z}) |^{r^{'}} d \tilde{z})}^{r / r^{'}} {| x - y |}^{- (n + 2 β)} d y .

Using the regularity of ψ, we have

\begin{aligned} Ψ (x) & \leq \int_{| x - y | < 1} {(\int_{| x - \tilde{z} | < 2} {∥ D ψ ∥}_{\infty}^{r^{'}} {| x - y |}^{r^{'}} d \tilde{z})}^{r / r^{'}} {| x - y |}^{- (n + 2 β)} d y \\ \leq {∥ D ψ ∥}_{\infty}^{r} {| B_{2} |}^{r / r^{'}} \int_{| x - y | < 1} {| x - y |}^{r} {| x - y |}^{- (n + 2 β)} d y, \end{aligned}

and since

r > 2 β

, we conclude that the last integral is convergent, obtaining

Ψ (x) \leq C_{n, β, r} {∥ D ψ ∥}_{\infty}^{r} {| B_{2} |}^{r / r^{'}},

which leads to the following estimate for

I_{int}

:

I_{int} \leq C \int_{x \in R^{n}} \int_{| x - z | < 2} | u (z) - u (x) |^{r} d z d x .

From this, it is easy to get

I_{int} \leq C \int_{| x - z | \leq 2} \frac{{| u (z) - u (x) |}^{r}}{{(1 + | x - z |)}^{n + 2 β}} d z d x,

which, by the use of (1.2), let us conclude that

I_{int} \leq C \iint_{R^{2 n}} J (x, y) | u (x) - u (y) |^{r} d x d y .

This last estimate together with (2.6) concludes the proof. □

3 Proof of Theorem 1.1

As mentioned in the introduction, existence and uniqueness of solutions to problem (1.1) follows as in [1]. In fact, the symmetry, boundedness, and integrability assumptions over J allow us to perform a fixed point argument to obtain the following result, whose proof is omitted.

Theorem 3.1Let $u_{0} \in L^{1} (R^{n}) \cap L^{\infty} (R^{n})$ , then there exists a unique solution $u \in C ([0, + \infty), L^{1} (R^{n}) \cap L^{\infty} (R^{n}))$ of equation (1.1). This solution satisfies ${∥ u (\cdot, t) ∥}_{L^{1} (R^{n})} \leq {∥ u_{0} ∥}_{L^{1} (R^{n})}$ and ${∥ u (\cdot, t) ∥}_{L^{\infty} (R^{n})} \leq {∥ u_{0} ∥}_{L^{\infty} (R^{n})}$ for all $t \geq 0$ .

Now, let us introduce the main idea behind the energy methods. To clarify the exposition, let us perform these computations in the local case and next see how we can adapt them to our nonlocal problem with the help of Proposition 2.2. Let us describe briefly how the energy method can be applied to obtain decay estimates for local problems. Let us begin with the simpler case of the estimate for solutions to the p-Lapacian evolution equation in

L^{2}

-norm. Let u be a solution to

\partial_{t} u = Δ_{p} u .

If we multiply the equation by u and integrate in

R^{n}

, we obtain

\partial_{t} \int_{R^{n}} \frac{1}{2} u^{2} (x, t) d x = - \int_{R^{n}} | \nabla u (x, t) |^{p} d x .

Now we use Sobolev’s inequality

\int_{R^{n}} | \nabla u (x, t) |^{p} d x \geq C {(\int_{R^{n}} | u (x, t) |^{p^{*}} d x)}^{p / p^{*}}

with

p^{*} = p n / (n - p)

to obtain

\partial_{t} \int_{R^{n}} u^{2} (x, t) d x \leq - C {(\int_{R^{n}} | u (x, t) |^{p^{*}} d x)}^{p / p^{*}} .

If we use interpolation and that

{∥ u (\cdot, t) ∥}_{L^{1} (R^{n})} \leq C (u_{0})

for any

t > 0

, we have

{∥ u (\cdot, t) ∥}_{L^{2} (R^{n})} \leq {∥ u (\cdot, t) ∥}_{L^{1} (R^{n})}^{α} {∥ u (\cdot, t) ∥}_{L^{p^{*}} (R^{n})}^{1 - α} \leq C {∥ u (\cdot, t) ∥}_{L^{p^{*}} (R^{n})}^{1 - α}

with α determined by

\frac{1}{2} = α + \frac{1 - α}{p^{*}}, that is, α = (\frac{1}{2} - \frac{1}{p^{*}}) \frac{p^{*}}{(p^{*} - 1)} .

Hence we get

\partial_{t} \int_{R^{n}} u^{2} (x, t) d x \leq - C {(\int_{R^{n}} u^{2} (x, t) d x)}^{\frac{1}{1 - α}}

from where the decay estimate

{∥ u (\cdot, t) ∥}_{L^{2} (R^{n})} \leq C t^{- \frac{1}{2} (\frac{n}{n (p - 2) + 2})}, t > 0,

follows. To obtain a decay bound for ${∥ u (\cdot, t) ∥}_{L^{q} (R^{n})}$ we can use the same idea multiplying by $u^{q - 1}$ at the beginning.

Now we are ready to proceed with the proof of our main result.

Proof of Theorem 1.1 The symmetry assumption on J allows us to mimic this idea and use an energy approach in order to get Theorem 1.1. Roughly speaking, this assumption allows us to ‘integrate by parts’ (1.1). For

q = 1

the proof is finished by Theorem 3.1. For

q > 1

we multiply the equation by

q {| u |}^{q - 2} u

and integrate, obtaining the identity

\begin{array}{rcl} \partial_{t} \int_{R^{n}} | u (x) |^{q} d x & = & - \frac{q}{2} \iint_{R^{2 n}} J (x, y) | u (y) - u (x) |^{p - 2} (u (y) - u (x)) \\ \times (| u (y) |^{q - 2} u (y) - | u (x) |^{q - 2} u (x)) d y d x, \end{array}

(3.1)

where we omitted the dependence on t of the function u for simplicity.

Now we recall the following inequality (whose proof is straightforward): let

q > 1

and

a, b \neq 0

. Then there exists a constant C depending only on q, such that

(a - b) ({| a |}^{q - 2} a - {| b |}^{q - 2} b) \geq C {| a - b |}^{q} .

Hence, using this inequality with (3.1), we conclude

\partial_{t} {∥ u ∥}_{L^{q} (R^{n})}^{q} \leq - C \iint_{R^{2 n}} J (x, y) | u (y) - u (x) |^{p - 2 + q} d y d x = : - C E (u) .

(3.2)

Note that we find that the $L^{q}$ -norm of u is decreasing in t. At this point we would like to use Sobolev’s inequality, which is not available due to the lack of regularizing effect of our nonlocal operator. Instead we will use Proposition 2.2, which involves a good control of the smooth part v (but we have to take care of the rough part w).

Let us fix

q \geq 2

(the case

1 < q < 2

will be tackled at the end of this proof using interpolation). By the definition of v and w in (2.4), we have

{∥ u ∥}_{L^{q} (R^{n})}^{q} \leq 2^{q - 1} ({∥ v ∥}_{L^{q} (R^{n})}^{q} + {∥ w ∥}_{L^{q} (R^{n})}^{q}) .

(3.3)

Now we note that v belongs to

L^{p}

for all p. Hence, we can interpolate, obtaining

{∥ v ∥}_{L^{q} (R^{n})}^{q} \leq {∥ v ∥}_{L^{s} (R^{n})}^{q θ} {∥ v ∥}_{L^{1} (R^{n})}^{q (1 - θ)},

with

s = \frac{n (p + q - 2)}{n - 2 σ},

where θ is given by

\frac{1}{q} = \frac{θ}{s} + (1 - θ), that is, θ = \frac{s (q - 1)}{q (s - 1)} .

Recalling

{∥ v ∥}_{L^{1} (R^{n})} \leq {∥ u (\cdot, t) ∥}_{L^{1} (R^{n})} \leq {∥ u_{0} ∥}_{L^{1} (R^{n})}

and the Sobolev-type inequality (2.2), we obtain

{∥ v ∥}_{L^{q} (R^{n})}^{q} \leq C {[v]}_{\tilde{σ}, p + q - 2}^{q θ},

(3.4)

where $\tilde{σ} = 2 σ {(p + q - 2)}^{- 1}$ and the constant C depends on $u_{0}$ , q, σ, and n.

Concerning w we can also interpolate and obtain

{∥ w ∥}_{L^{q} (R^{n})}^{q} \leq {∥ w ∥}_{L^{p + q - 2} (R^{n})}^{q γ} {∥ w ∥}_{L^{1} (R^{n})}^{q (1 - γ)},

with γ given by

\frac{1}{q} = \frac{γ}{p + q - 2} + (1 - γ), that is, γ = \frac{(p + q - 2) (q - 1)}{q (p + q - 3)} .

Note that we are using that

p > 2

here. Now we use

{∥ w ∥}_{L^{1} (R^{n})} \leq {∥ u (\cdot, t) ∥}_{L^{1} (R^{n})} \leq {∥ u_{0} ∥}_{L^{1} (R^{n})}

to get

{∥ w ∥}_{L^{q} (R^{n})}^{q} \leq C {∥ w ∥}_{L^{p + q - 2} (R^{n})}^{q γ},

(3.5)

with C depending on $u_{0}$ , q, σ, and n.

From (3.3), (3.4), and (3.5) we obtain

{∥ u ∥}_{L^{q} (R^{n})}^{q} \leq C {[v]}_{\tilde{σ}, p + q - 2}^{q θ} + C {∥ w ∥}_{L^{p + q - 2} (R^{n})}^{q γ} .

(3.6)

Now we use Proposition 2.2, with

r = p + q - 2

and

β = σ

, to obtain

{∥ v ∥}_{L^{s} (R^{n})}^{q θ} \leq C {(E (u))}^{\frac{q θ}{p + q - 2}} and {∥ w ∥}_{L^{p + q - 2} (R^{n})}^{q γ} \leq C {(E (u))}^{\frac{q γ}{p + q - 2}}

and we conclude that

{∥ u ∥}_{L^{q} (R^{n})}^{q} \leq C {(E (u))}^{\frac{q θ}{p + q - 2}} + C {(E (u))}^{\frac{q γ}{p + q - 2}},

that is,

H^{- 1} ({∥ u ∥}_{L^{q} (R^{n})}^{q}) \leq E (u)

with

H (z) = C z^{\frac{q θ}{p + q - 2}} + C z^{\frac{q γ}{p + q - 2}}

. Since

{∥ u ∥}_{L^{q} (R^{n})}^{q} (t) \leq {∥ u_{0} ∥}_{L^{q} (R^{n})}^{q}

(recall that the

L^{q}

-norm of the solution decreases) and

\frac{q θ}{p + q - 2} < \frac{q γ}{p + q - 2}

, we have

H^{- 1} ({∥ u ∥}_{L^{q} (R^{n})}^{q}) \geq C {({∥ u ∥}_{L^{q} (R^{n})}^{q})}^{\frac{p + q - 2}{q θ}} .

Then, from (3.2), we obtain

\partial_{t} {∥ u (\cdot, t) ∥}_{L^{q} (R^{n})}^{q} \leq - C E (u) \leq - C H^{- 1} ({∥ u ∥}_{L^{q} (R^{n})}^{q}) \leq - C {({∥ u ∥}_{L^{q} (R^{n})}^{q})}^{\frac{p + q - 2}{q θ}},

from which it follows that

{∥ u (\cdot, t) ∥}_{L^{q} (R^{n})}^{q} \leq C t^{- \frac{q θ}{p + q - 2 - q θ}},

that is,

{∥ u (\cdot, t) ∥}_{L^{q} (R^{n})}^{q} \leq C t^{- \frac{(q - 1) n}{q ((p - 2) n + 2 σ)}},

as we wanted to show.

Now we deal with the case

1 < q < 2

. We can interpolate, obtaining

{∥ u (\cdot, t) ∥}_{L^{q} (R^{n})}^{q} \leq {∥ u (\cdot, t) ∥}_{L^{2} (R^{n})}^{q θ} {∥ u (\cdot, t) ∥}_{L^{1} (R^{n})}^{q (1 - θ)},

with

\frac{1}{q} = \frac{θ}{2} + (1 - θ), that is, θ = 2 (1 - \frac{1}{q}) .

As we have already proved that

{∥ u (\cdot, t) ∥}_{L^{2} (R^{n})} \leq C t^{- \frac{n}{(p - 2) n + 2 σ} \frac{1}{2}} and {∥ u (\cdot, t) ∥}_{L^{1} (R^{n})} \leq C,

we conclude

{∥ u (\cdot, t) ∥}_{L^{q} (R^{n})} \leq C t^{- \frac{n}{(p - 2) n + 2 σ} (1 - \frac{1}{q})}

for $1 < q < 2$ . □

Declarations

Acknowledgements

This work was partially supported by MEC MTM2010-18128 and MTM2011-27998 (Spain).

Authors’ Affiliations

(1)

Departamento de Análisis Matemático, Universidad de Alicante, Alicante, Spain

(2)

Departamento de Matemática, FCEyN UBA, Ciudad Universitaria, Pab 1, Buenos Aires, Argentina

References

Andreu-Vaillo F, Mazon JM, Rossi JD, Toledo-Melero JJ Mathematical Surveys and Monographs 165. In Nonlocal Diffusion Problems. Am. Math. Soc., Providence; 2010.View ArticleGoogle Scholar
Fife P: Some nonclassical trends in parabolic and parabolic-like evolutions. In Trends in Nonlinear Analysis. Springer, Berlin; 2003:153-191.View ArticleGoogle Scholar
Du, Q, Gunzburger, M, Lehoucq, R, Zhou, K: A nonlocal vector calculus, nonlocal volume-constrained problems, and nonlocal balance laws. PreprintGoogle Scholar
Bates P, Chen X, Chmaj A: Heteroclinic solutions of a van der Waals model with indefinite nonlocal interactions.Calc. Var. 2005, 24: 261-281. 10.1007/s00526-005-0308-yMathSciNetView ArticleGoogle Scholar
Hutson V, Martínez S, Mischaikow K, Vickers GT: The evolution of dispersal.J. Math. Biol. 2003, 47: 483-517. 10.1007/s00285-003-0210-1MathSciNetView ArticleGoogle Scholar
Parks ML, Lehoucq R, Plimpton S, Silling S: Implementing peridynamics within a molecular dynamics code.Comput. Phys. Commun. 2008, 179: 777-783. 10.1016/j.cpc.2008.06.011View ArticleGoogle Scholar
Silling SA: Reformulation of elasticity theory for discontinuities and long-range forces.J. Mech. Phys. Solids 2000, 48: 175-209. 10.1016/S0022-5096(99)00029-0MathSciNetView ArticleGoogle Scholar
Silling SA, Lehoucq R: Convergence of peridynamics to classical elasticity theory.J. Elast. 2008, 93: 13-37. 10.1007/s10659-008-9163-3MathSciNetView ArticleGoogle Scholar
Ignat L, Rossi JD: Decay estimates for nonlocal problems via energy methods.J. Math. Pures Appl. (9) 2009, 92(2):163-187. 10.1016/j.matpur.2009.04.009MathSciNetView ArticleGoogle Scholar
Chasseigne E, Chaves M, Rossi JD: Asymptotic behavior for nonlocal diffusion equations.J. Math. Pures Appl. (9) 2006, 86(3):271-291. 10.1016/j.matpur.2006.04.005MathSciNetView ArticleGoogle Scholar
Chasseigne, E, Felmer, P, Rossi, JD, Topp, E: Fractional decay bounds for nonlocal zero order heat equations. PreprintGoogle Scholar
Brändle, C, de Pablo, A: Nonlocal heat equations: decay estimates and Nash inequalities. Preprint (2014). arXiv:1312.4661v3Google Scholar
Ignat L, Rossi JD, San Antolin A: Lower and upper bounds for the first eigenvalue of nonlocal diffusion problems in the whole space.J. Differ. Equ. 2012, 252(12):6429-6447. 10.1016/j.jde.2012.03.011MathSciNetView ArticleGoogle Scholar
Ignat L, Pinasco D, Rossi JD, San Antolin A: Decay estimates for nonlinear nonlocal diffusion problems in the whole space.J. Anal. Math. 2014, 122(1):375-401. 10.1007/s11854-014-0011-zMathSciNetView ArticleGoogle Scholar
Di Neza E, Palatucci G, Valdinoci E: Hitchhiker’s guide to the fractional Sobolev spaces.Bull. Sci. Math. 2012, 136(5):521-573. 10.1016/j.bulsci.2011.12.004MathSciNetView ArticleGoogle Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.