• Aucun résultat trouvé

ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP

N/A
N/A
Protected

Academic year: 2022

Partager "ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP"

Copied!
8
0
0

Texte intégral

(1)

on the occasion of his 70th birthday

ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP

EMIL POPESCU

Starting from the usual Cauchy problem, we give a pseudodifferential represen- tation for the solution of the fractional Cauchy problem associated with a Feller semigroup.

AMS 2000 Subject Classification: 26A33, 47G30, 47D07, 31B10.

Key words: fractional derivative, Cauchy problem, Feller semigroup, pseudodif- ferential operator.

1. INTRODUCTION

Fractional derivatives are used to model anomalous diffusion, which oc- curs when the particles spread in a different manner than the prediction of the classical diffusion equation

∂tu(x, t) =D ∂2

∂x2u(x, t), u(x,0) =f(x).

The solution u(x, t) depends on location x ∈ R and time t ≥0 and models the dispersion. A known model for an anomalous diffusion (see [6]) is the fractional diffusion equation, where the usual second derivative in space is replaced by a fractional derivative of order α, 0< α <2,

∂tu(x, t) =D ∂α

∂xαu(x, t), u(x,0) =f(x).

We observe that ∂xαα is a pseudodifferential operator. Thus, we can extend this equation to

∂u

∂t(x, t) = (Au(·, t))(x), u(x,0) =u0(x),

whereAis a pseudodifferential operator. A study of the solutions of a genera- lized reaction-diffusion equation of the form

∂u

∂t (x, t) = (Au(·, t)) (x) +f(x, u(x, t)), u(x,0) =u0(x),

MATH. REPORTS12(62),2 (2010), 181–188

(2)

where A is a pseudodifferential operator which generates a Feller semigroup, was given in [9].

In this paper we consider the fractional Cauchy problem

β

∂tβu(x, t) = (Au(·, t))(x), u(x,0) =f(x),

where ∂tββu(x, t) is the Caputo fractional derivative in time and A is a pseu- dodifferential operator which generates a Feller semigroup. In [1] and [2] was shown that the solution of fractional Cauchy problem, where 0< β <1, t≥0 and A is the generator of bounded continuous semigroup {T(t)}t≥0 on the Banach space X, can be expressed as an integral transform of the solution to the initial Cauchy problem

∂tu(x, t) = (Au(·, t))(x), u(x,0) =f(x).

Starting from this integral transform, we give a formula for the solution u(x, t) =S(t)f(x) of the fractional Cauchy problem. We show that {S(t)}t≥0 is a family of pseudodifferential operators. Their symbols are obtained by transformation of the symbols of the semigroup {T(t)}t≥0, where u(x, t) = T(t)f(x) is the solution to the initial Cauchy problem.

2. INTEGRAL REPRESENTATION OF THE OPERATORS WHICH FORM A FELLER SEMIGROUP

Let (X,k · k) be a Banach space. {T(t)}t≥0 is a strongly continuous semigroup on X if for anyt≥0, T(t) :X→X is a linear operator and there exists M >0 such that kT(t)xk ≤Mkxk, T(0) =I, T(t+s) = T(t)T(s) for t, s ≥ 0, and t → T(t)x is continuous in the norm k · k, for all x ∈ X. The generator (A, D(A)) of the semigroup{T(t)}t≥0,is defined by

D(A) =

x∈X| lim

t→0+

T(t)x−x t exists

, Ax= lim

t→0+

T(t)x−x

t ,

where we suppose that the limit exists for at least some nonzero x ∈ X.

u(t) =T(t)f solves the abstract Cauchy problem d

dtu(t) =Au(t), u(0) =f, for f ∈D(A).

In the following, we denote byC(Rn) the Banach space of all continuous functions on Rn vanishing at infinity with the supremum normk · k and by C0(Rn) the set of all C-functions on Rn with compact support. S(Rn)

(3)

will be the Schwartz space, i.e., the set of all functions ϕ∈C(Rn) such that sup

x∈Rn

|xβαϕ(x)|<∞for all multi-indicesαandβ. S(Rn) is dense inC(Rn).

A function a :Rn → C is called negative definite if a(0) ≥ 0 and ξ → e−ta(ξ) is a positive definite function for all t > 0. A continuous negative definite function ais described byL´evy-Khinchin formula

a(ξ) =c+ ib·ξ+q(ξ) + Z

Rn\{0}

1−e−iξ·y−i ξ·y 1 +|y|2

1 +|y|2

|y|2 dµ(y) with c ≥ 0, b ∈ Rn, q a continuous non-negative definite quadratic form on Rnandµ,calledmeasure L´evy, aσ-finite Borel measure onRn\ {0}such that

Z

Rn\{0}

min(1,|y|2)dµ(y)<∞.

The general form of apseudodifferential operator is p(x, D)ϕ(x) = (2π)−(n/2)

Z

Rn

eix·ξp(x, ξ)ϕ(ξ)dξ,b for ϕ∈C0(Rn),where

ϕ(ξ) = (2π)b −(n/2) Z

Rn

e−ix·ξϕ(x)dx

is the Fourier transform. p(x, ξ) is called the symbol of the operator p(x, D) (see, for example, [4]).

Let A : D(A) → C(Rn) be a linear operator, where D(A) is a linear dense subspace of C(Rn). A satisfies the positive maximum principle on D(A) if for all u∈D(A) andx0∈Rn such that

sup

x∈Rn

u(x) =u(x0)≥0 it follows that Au(x0)≤0.

Theorem 2.1 ([3]). Let A : C0(Rn) → Cb(Rn) be a linear operator satisfying the positive maximum principle. Then

Au(x) =−(2π)−(n/2) Z

Rn

eix·ξa(x, ξ)u(ξ)dξ,b

where a:Rn×Rn →C is a locally bounded function such that for any fixed x∈Rn, ξ→a(x, ξ) is a continuous negative definite function.

Theconvolution semigroup onC(Rn) generated by ais defined by the formula

T(t)u(x) = (2π)−(n/2) Z

Rn

eix·ξpt(ξ)u(ξ)dξ,b

(4)

for each t >0 and u ∈S(Rn), where pt(ξ) = e−ta(ξ). In this case, we observe that for any t > 0 the symbol is pt (note that there is no x-dependence).

The function ξ → pt(ξ) is a positive definite function and the infinitesimal generator of {T(t)}t≥0 is

Au(x) =−(2π)−(n/2) Z

Rn

eix·ξa(ξ)bu(ξ)dξ, for all u∈C0(Rn),x∈Rn.

Let{T(t)}t≥0be a strongly continuous semigroup onC(Rn). IfkT(t)uk

≤ kuk for all u ∈ C(Rn) and t ≥ 0, then {T(t)}t≥0 is a contraction semi- group. A strongly continuous positive contraction semigroup on C(Rn) is called a Feller semigroup on Rn. We have an integral representation of the operators which form a Feller semigroup, analogous with the one of convolu- tion semigroup (see [8], [5]).

Theorem 2.2.Let {T(t)}t≥0be a Feller semigroup on Rn.For anyt≥0 there exists a unique function pt:Rn×Rn→ Cmeasurable, locally bounded and such that for any fixed x ∈ Rn, ξ → pt(x, ξ) is a continuous positive definite function with the property that for any u∈S(Rn),

T(t)u(x) = (2π)−(n/2) Z

Rn

eix·ξpt(x, ξ)u(ξ)dξ.b Foru∈S(Rn),the infinitesimal generator A of {T(t)}t≥0 is

Au(x) = (2π)−(n/2) Z

Rn

eix·ξa(x, ξ)bu(ξ)dξ, where a:Rn×Rn→C,

a(x, ξ) = d

dt pt(x, ξ) t=0. Moreover, we deduce the following result.

Proposition 2.3. Let {T(t)}t≥0 be a Feller semigroup on Rn.For any t≥0 and u∈Cb2(Rn), T(t)u(x) =C(t)u(x) +D(t)u(x),with

C(t)u(x) :=

n

X

i,j=1

a(t)ij (x) ∂2u

∂xi∂xj(x) +

n

X

i=1

b(t)i (x)∂u

∂xi(x) +γ(t)(x)u(x) and

D(t)u(x) :=

Z

Rn

N(t)(x,dy) (

u(y)−σx(t)(y)

u(x) +

n

X

i=1

∂u

∂xi

(x)·(yi−xi) )

,

(5)

where γ(t)(x) =c(t)(x)+d(t)(x)+1, a(t)ij , b(t)i , c(t), d(t)are continuous functions, a(t)ij =a(t)ji,

n

P

i,j=1

a(t)ij (x)ξiξj ≥0, c(t)≤0, σx(t) is a certain cutt-off function and N(t)(x,dy) is a certain L´evy kernel such that

d(t)(x) + Z

Rn

N(t)(x,dy)

1−σ(t)x (y) ≤0, for all x∈Rn.

Proof. Indeed, T(t) −I satisfies the positive maximum principle on C(Rn) for everyt≥0.The above formula follows from the last assertion of Lemma 3.3 ([3], p. 2–34) and Corollary 3 ([3], p. 2–10).

3. FRACTIONAL CAUCHY PROBLEM

For a function g witheg(s) :=R

0 e−stg(t) dt the Laplace transform, we define the Caputo fractional derivative in time ∂tββg(t) as the inverse Laplace transform of sβge(s)−sβ−1g(0). On the other hand,

Dtβg(t) = dm dtm

Z t

0

(t−u)m−β−1

Γ (m−β) g(u) du, m= [β]

is the Riemann-Liouville fractional derivative of orderβ. We have

β

∂tβg(t) = Z t

0

(t−u)m−β−1

Γ (m−β) g(m)(u) du, m= [β].

If β is a positive integer thenDβt = ∂tββ is the usual derivative operator.

We consider the fractional Cauchy problem

β

∂tβu(x, t) =Au(x, t), u(x,0) =f(x),

where 0 < β <1, t ≥ 0 andA is the generator of bounded continuous semi- group{T(t)}t≥0 on the Banach spaceX.We observe thatp(x, t) =T(t)f(x) is the unique solution to the abstract Cauchy problem

∂tp(x, t) =Ap(x, t), p(x,0) =f(x), for any f in the domain ofAand t >0.

We note that the fractional Cauchy problem can be written in several equivalent forms (see [1] and [2]).

Proposition 3.1. Assume 0 < β < 1. Let A be the generator of a strongly continuous semigroup {T(t)}t≥0 on the Banach space X and g ∈

(6)

C([0,∞)×X) be Laplace transformable. Then for all f ∈ X the following are equivalent:

(i) For all t > 0, the Riemann-Liouville derivative of g exists, g(t) ∈ D(A),the Laplace transform of Dβtg(t) exists, and

Dβtg(t) =Ag(t) + t−β Γ (1−β)f.

(ii) For all t > 0, the Caputo derivative of g exists, g(t) ∈D(A), the Laplace transform of ∂tββg(t) exists, and

β

∂tβg(t) =Ag(t), g(0) =f.

(iii) For all t > 0, the function g is differentiable, g(t) ∈ D(A), the Laplace transform of ∂tg(t) exists, and

∂tg(t) =D1−βt Ag(t), g(0) =f.

(iv)The function g(t) is analytic on0< t <∞,satisfies kg(t)k ≤Meωt on 0< t <∞ for some M,ω≥0 and

g(t) = Z

0

t βs1+1/βgβ

t s1/β

T(s)fds, where gβ is such that

Z

0

e−λtgβ(t) dt= e−λβ.

In the framework of Proposition 3.1, we define the family of bounded, strongly continuous linear operators on X,

S(t)h(x) :=

Z

0

t βs1+1/βgβ

t s1/β

T(s)f(x) ds, t≥0.

On account of (iv) the function g(t) = S(t)f defines a solution to the frac- tional Cauchy problem for any initial condition f ∈ X and this solution de- pends continuously on the initial conditionf.

In the sequel we consider X=C(Rn) and A the generator of a Feller semigroup{T(t)}t≥0onRn.Then by Theorem 2.2, for anyt≥0 there exists a unique functionpt:Rn×Rn→Cmeasurable, locally bounded and such that for any fixed x ∈Rn, ξ → pt(x, ξ) is a continuous positive definite function with the property that for any f ∈S(Rn),

T(t)f(x) = (2π)−(n/2) Z

Rn

eix·ξpt(x, ξ)fb(ξ) dξ.

(7)

We suppose that the integral R 0

1 s1+1/βgβ

t s1/β

ps(x, ξ) dsis convergent for all x and ξ. The following statement is true.

Proposition 3.2. For any t≥0 and f ∈S(Rn), S(t)f(x) = (2π)−(n/2)

Z

Rn

eix·ξqt(x, ξ)fb(ξ) dξ,

where qt:Rn×Rn→Cis measurable, locally bounded and such that for any fixed x∈Rn, ξ→qt(x, ξ) is a continuous positive definite function.

Proof. In the formula of the definition of S(t)f(x) we apply the above thoughts for the semigroup {T(t)}t≥0 on Rn.We define

qt(x, ξ) := t β

Z

0

1 s1+1/βgβ

t s1/β

ps(x, ξ) ds and we observe that qt satisfies the required properties.

Remark 3.3. Using the relation from Proposition 2.3, we obtain the

“structure” of each operator S(t), t ≥ 0. Since T(t)f(x) = C(t)f(x) + D(t)f(x),we have

S(t)f(x) = Z

0

t βs1+1/βgβ

t s1/β

C(s)f(x)ds+

+ Z

0

t βs1+1/βgβ

t s1/β

D(s)f(x)ds.

Thus we can interpret the solutiong(t) =S(t)f of the fractional Cauchy pro- blem for the initial conditionf as the sum of “diffusion part” and “L´evy part”.

REFERENCES

[1] B. Baeumer and M.M. Meerschaert,Stochastic solutions for fractional Cauchy problems.

Fract. Calc. Appl. Anal.4(2001), 481–500.

[2] B. Baeumer, M.M. Meerschaert and S. Kurita,Inhomogeneous fractional diffusion equa- tions. Fract. Calc. Appl. Anal.8(2005), 371–386.

[3] P. Courr`ege,Sur la forme int´egro-diff´erentielle des op´erateurs deCkdansCsatisfaisant au principe du maximum. S´em. Th´eorie du Potentiel (1965/1966), 38p.

[4] N. Jacob, Pseudo-differential operators and Markov processes. Mathematical Research, Vol.94. Akademie Verlag, Berlin, 1996.

[5] N. Jacob,Characteristic functions and symbols in the theory of Feller processes. Potential Analysis8(1998), 61–68.

[6] J. Klafter and I.M. Sokolov, From diffusion to anomalous diffusion: A century after Einstein’s Brownian motion. Chaos15(2005), 26–103.

[7] A. Pazzy,Semigroups of Linear Operators and Applications to Partial Differential Equa- tions. Applied Mathematical Sciences, Vol.44. Springer-Verlag, New York, 1983.

(8)

[8] E. Popescu,A note on Feller semigroups. Potential Analysis14(2001), 207–209.

[9] E. Popescu, Trotter products and reaction diffusion equations. J. Computational Appl.

Math.233(2010), 1596–1600.

Received 15 September 2009 Technical University of Civil Engineering Department of Mathematics and Informatics

Bd. Lacul Tei 124 020396 Bucharest, Romania

[email protected]

Références

Documents relatifs

Finally we apply this theory for extending Hormander's necessary and sufficient condition for evolution for partial differential equations with constant coefficients and Cauchy data

Tayachi, Local well-posedness and global existence for the biharmonic heat equation with exponential nonlin- earity, Advances in Di ff erential Equations 23 (2018), 489 − 522.

Let us mention that local existence results in the spaces X k ( R d ), k &gt; d/2, were already proved by Gallo [6], and that a global existence result in X 2 ( R 2 ) has been

Dans cet article nous considerons une version non lineaire de 1’equation de Wheeler-DeWitt simplifiee qui decrit le modele de mini- superespace pour la fonction d’onde

The continuity of E follows from Lemma 2.1.2 iii).. constructed in Sects.. - Construction of the true parametrix.. Our first attempt to construct a parametrix for

The difficulty which occurs in the case of higher powers or space dimensions is that the non-linear operator K which intervenes is not everywhere defined, nor continuous where

function of physical quantities called the matter fields, which in turn are required to satisfy certain other partial differential equations.. We

In [6], Pucci cites a necessary and sufficient condition for the existence of a solution to the Cauchy problem for the Laplace equation for a rec- tangle in a