Positivity and contractivity in the dynamics of

0 downloads 0 Views 257KB Size Report
May 22, 2015 - Keywords: Fractional Cauchy problem, Contractive solutions, Fragmentation, ... Accordingly, a number of works [2, 14, 49] have successfully generalized, in .... models with fractional derivative (see [4, 8, 9, 16–18] and investigate .... Let .A; D.A// be a generator of a C0-semigroup on a Banach space X and .
Open Math. 2015; 13: 351–362

Open Mathematics

Open Access

Research Article Emile Franc Doungmo Goufo* and Stella Mugisha

Positivity and contractivity in the dynamics of clusters’ splitting with derivative of fractional order DOI 10.1515/math-2015-0033 Received April 15, 2014; accepted December 24, 2104.

Abstract: Classical models of clusters’ fission have failed to fully explain strange phenomenons like the phe-

nomenon of shattering (Ziff et al., 1987) and the sudden appearance of infinitely many particles in some systems with initial finite particles number. Furthermore, the bounded perturbation theorem presented in (Pazy, 1983) is not in general true in solution operators theory for models of fractional order (with 0 <  1). In this article, we introduce and study a model that can be understood as the fractional generalization of the clusters’ fission process. We make use of the theory of strongly continuous solution operators for fractional models (analogues of C0 -semigroups for classical models) and the subordination principle for fractional evolution equations (Bazhlekova, 2000, Prüss, 1993) to analyze and show existence results for clusters’ splitting model with derivative of fractional order. In the process, we exploit some properties of Mittag-Leffler relaxation function (Berberan-Santos, 2005), the He’s homotopy perturbation (He, 1999) and Kato’s type perturbation (Banasiak, 2006) methods. The Cauchy problem for multiplication operator in the fractional dynamics is first considered, before we perturb it. Some additional concepts like Laplace transform, Hille-Yosida theorem and the dominated convergence theorem are use to finally show that there is a solution operator to the full fractional model that is positive and contractive. Keywords: Fractional Cauchy problem, Contractive solutions, Fragmentation, Perturbation, Solution operators,

Positivity MSC: 26A33, 34A12, 35D10

1 Model’s motivation and introduction The concepts of fractional derivatives and fractional integral started in 1695 when L’Hospital questioned about the meaning of the operator d n y=dx n if n D 1=2I that is “what if n is fractional?”. Leibniz then replied as p “d 1=2 x=dx 1=2 will be equal to x dx W x”. Despite its three centuries of age, fractional calculus remains lightly unpopular amongst science and engineering community. However, there is a growing interest in extending the normal calculus with interger orders to noninteger orders (real or complex order) [13, 36, 39, 44] because its applications have attracted a great range of attention in the past few years. Indeed, it has turned out recently that many phenomena in different fields, including sciences, engineering and technology can be described very successfully by the models using fractional order differential equations. As example, the concept of fractional Laplacian operator in the theory of Lévy flights [12] is a typical application of fractional derivatives, which leads to the theory of sub- and superdiffusion, well applicable in reaction-diffusion systems. In the field of mathematical epidemiology, especially the

*Corresponding Author: Emile Franc Doungmo Goufo: Department of Mathematical Sciences, University of South Africa, Florida 0003, South Africa, E-mail: [email protected] Stella Mugisha: Department of Mathematical Sciences, University of South Africa, Florida 0003, South Africa © 2015 Emile Franc Doungmo Goufo and Stella Mugisha, licensee De Gruyter Open. This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivs 3.0 License.

Unauthenticated Download Date | 5/22/15 12:18 PM

352

E.F. Doungmo Goufo, S. Mugisha

super-diffusion case is of interest since it describes more realistic spreading than normal diffusion on regular lattices. Moreover, scientists brought out recently [45] that some classsical epidemic models with first order derivative dynamics were unable to reproduce the statistical data collected in a real outbreak of some disease with enough degree of accuracy. Another example is the the application of half-order derivatives and integrals that is believed to be more useful and reliable for the formulation of certain electrochemical problems [36, 39, 44] than the classical models with derivative of order one. Accordingly, a number of works [2, 14, 49] have successfully generalized, in various ways, classical derivatives of integer order to derivatives of fractional order. Most of the models used are formulated as initial or boundary value problems for dynamical evolution equations taking the form d u.t / D Au.t / dt where t is the time taken from R and A is an operator in a Banach space. The problem is to find the state u.t/ of the d system at a time t > t0 depending on the initial state u.t0 / at the initial time t0 : The normal derivative dt is seen as the representation of the rate of accumulation or loss in the system; that is, gain rate minus loss rate, at infinitesimal bounded space. However, does this system always replicate the real picture of the changing it describes? The answer is not totally positive according to the above arguments. Thus, differential equations with fractional derivative have become a useful tool for describing nonlinear phenomena of science and engineering models. Nonlinear phenomena occurring in the dynamics of fragmentation of clusters are well indicated to be analyzed here. Recall that the process of fragmentation of clusters occurs in many branches of natural sciences ranging from physics, through chemistry, engineering, biology, ecology and numerous domains of applied sciences, such as the depolymerization, the rock fractures and of breakage of droplets. Consequently, there are three essential motivations for considering the fractional clusters’ fragmentation model of this article: d cannot fully explain strange phenomena (1): Classical models of clusters’ fission with normal derivative dt like the sudden appearance of an infinite number of particles in some systems which contained, at the beginning, a finite number of particles and the phenomenon of shattering [55]. The latter is seen as an explosive or dishonest Markov process, see e.g. [1, 38] and has been associated with an infinite cascade of breakup events creating a ‘dust’ of particles of zero size which, however, carry non-zero mass. Recall that fragmentation processes are difficult to analyse as they involve evolution of two intertwined quantities: the distribution of mass among the particles in the ensemble and the number of particles in it, that is why, though linear, they display non-linear features such as phase transition which, in this case, is called “shattering" and consists in the formation of a “dust" as explained above. Quantitatively, one can identify this process by disappearance of mass from the system even though it is conserved in each fragmentation event. Due to the inability of getting exact solutions in fragmentation models, various authors have used several functional analytic approaches to investigate the dynamics of the system. These methods include semigroup theory [6, 21, 43], perturbation theory [2, 3, 20], approximation techniques [19, 33], and probabilistic methods [23]. The efficiency of these methods is limited as these problems are reformulated in abstract spaces that are norm dependent and the overall behavior of the dynamics changes radically as different metrics are included in the system. In [40], the authors provided explicit solutions to clusters’ fragmentation equations with general fragmentation rates, giving a general framework for understanding particles distributions in fragmentation processes as time evolves. Although the result is a breakthrough in the analysis of clusters’s fragmentation equations with arbitrary fragmentation rates, the phenomenon of shattering remains partially unexplained. d (2): As said above, dt is seen as the representation of the rate of change (accumulation or loss) in the system, considered at infinitesimal bounded space. But sometimes the infinitesimal space contains traps (of various sizes) where the variable under study is temporarily parked. Will the d dt replicate the real picture of accumulation or loss then? Similarly these trap pictures could be islands or forbidden zones in the infinitesimal space where the variable (particle, mass, density, flux etc.) cannot reside; accordingly, the rate of accumulation or loss will be different d d than dt . Hence, the fractional differentiation dt

; with 2 R or C may give the sub- or super-rate of accumulation or loss with index representing the heterogeneity distribution of the infinitesimal space (traps or islands)! However, d substituting dt by the fractional derivative D t requires some considerations as we will show in the following sections.

Unauthenticated Download Date | 5/22/15 12:18 PM

Positivity and contractivity in the dynamics of clusters’ splitting

353

d (3): Most work on fragmentation with normal derivative dt has been performed under assumption that the ensemble of particles is well mixed so that the particle distribution is uniform in space. However, recent approach using individual based models, [47], yield in a natural way to systems in which splitting particles are distributed in space according to some prescribed probability density, leading however, to models with explicit space dependence. We note that similar models were also considered earlier in [31] but with emphasis only on well-posedness. These reasons are the sources of the increasing volition to try new approaches and extend classical models to models with fractional derivative (see [4, 8, 9, 16–18] and investigate them with various and different techniques in order to establish broader outlooks on the real phenomena they describe. For example, the authors [8] successfully generalized the advection-dispersion equation (to the fractional one) by using various techniques including the wellknown action of Fourier transform on integer derivatives to rational order. With this in mind, and following the same approach as [2, 14, 15, 18, 42, 49], our model can be obtained by evaluating, on the one hand, the changing due to fragmentation, and on the other hand, the fractional variation that, we hope, (as explained above) will replicate the real picture of that changing. That is, for a cluster of size x, the loss due to the fragmentation is caused by its fission and the gain due to the fragmentation is caused by the fission of a bigger cluster to form groups of size x: Hence, we propose the following fractional model of pure fragmentation process:

D t .u.x; t //

D

Z1 a.x/u.x; t / C a.y/b.xjy/u.t; y/dy;

x  0; ; 0 <  1; t > 0;

(1)

x

where D t is given as D .u.x;  // D lim

t !0

g .t /u.x;  / t

u.x;  /

;

(2)

with g .t/ the fractional time evolution, considered as universal attractor of semigroups of coarse grained macroscopic time evolutions [5, 53]. It is shown that [5, 49], D .u.x;  //

D

Z1

1

u.x; 

r/ r C1

€. /

u.x;  /

dr; 0 <  1;

(3)

0

which is the fractional derivative of u.x; t / in the sense of Marchaud, see [49]. Note that the first term in the right-hand-side of equation (1) symbolizes the loss due to fragmentation and the second term is the gain due to fragmentation. @ ; have been comprehensively Recall that fission models of type (1) with “normal" time derivative of order one @t analyzed in numerous works (see the references below in the next section). Conservative and nonconservative regimes for fragmentation equations have been thoroughly investigated - see [20, 55], and, in particular, the breach of the mass conservation law (called shattering) has been attributed to a phase transition creating a dust of “zerosize” particles with nonzero mass, which are beyond the model’s resolution. Shattering can be interpreted from the probabilistic point of view as the explosion in the Markov process describing fragmentation [50], and from an analytic point of view as dishonesty of the semigroup associated with the model. Transport-type models With convection were investigated in [41] where the author showed that the convection part does not affect the breach of the conservation laws. In [20] the authors studied the non local fragmentation and showed that the process is conservative if at infinity daughter particles tend to go back into the system with a high known probability.

2 Model description and method 2.1 Fragmentation differential equation In this section, important concepts that will help analyze the fractional model are defined. For more details about analysis on fragmentation differential equations, we refer the reader to [6, 16, 20, 24, 34, 41, 50, 54] and the

Unauthenticated Download Date | 5/22/15 12:18 PM

354

E.F. Doungmo Goufo, S. Mugisha

references therein. The classic model for fragmentation process is given by the integrodifferential equation @ u.x; t / D @t

Z1 a.x/u.x; t / C a.y/b.xjy/u.t; y/dy;

x; t > 0;

(4)

x

we assume that it is subject to the initial condition u.x; 0/ D f .x/

x > 0:

(5)

It describes the evolution of the mass density u.x; t / of particles having mass x at time t; the particles of mass x undergo fission at a rate a.x/. We assume that a.x/ is non-negative and that a 2 L1; loc .0; 1/;

(6)

Further, b.xjy/ describes the distribution of daughter particles masses x spawned by the fragmentation of a parent particle of mass y > x. In absence of any other mechanism, the mass of all daughter particles must be equal to the mass of the parent. This conservation law is mathematically expressed by Zy xb.xjy/dx D y:

(7)

0

Similarly, the expected number of particles produced by a particle of mass y is given by Zy n.y/ D

b.xjy/dx:

(8)

0

We note that n.y/ may be infinite. The total mass of the ensemble at a time t is given by the first moment of u; that is, Z1 M.t / D xu.x; t /dx: 0

From the physical point of view the total mass of fragmenting particles cannot increase, so the most appropriate Banach space to work in is 9 8 = < Z1 ju.x/jxdx < C1 : (9) X1 WD L1 .RC ; xdx/ D uI ; : 0

By A we denote the pointwise multiplication .x/ ! Similarly, by B we denote the expression ŒB.x/ D

a.x/.x/ defined on a set of, say, measurable functions.

Z1 a.y/b.xjy/.y/dy;

(10)

x

defined first on all positive measurable functions for which the above integral is finite almost everywhere and then extended by linearity to a suitable linear subspace of measurable functions. This allows us to define the following operators: Let A and B be defined by Au D Au on D.A/ D fu 2 X1 I Au 2 X1 ; g

(11)

Bu D Bu restricted to D.A/

(12)

and is a well-defined positive operator [41]. Then (4)-(5) can be written as an abstract Cauchy problem in X1 : @ t u D Au C Bu;

t >0

u.0/ D f:

Unauthenticated Download Date | 5/22/15 12:18 PM

(13) (14)

Positivity and contractivity in the dynamics of clusters’ splitting

355

2.2 Brief overview of Kato-Voigt perturbation theory Let .A; D.A// be a generator of a C0 -semigroup on a Banach space X and .B; D.B// be another operator in X . The purpose of the perturbation theory is to find conditions that ensure that there is an extension K of A C B that generates a C0 -semigroup on X and characterize this extension. One of the simplest and possibly the most often used perturbation result can be obtained using Kato-Voigt theorem in the sense that it allows to establish the existence of a smallest substochastic semigroup associated with a specific Cauchy problem. Let us define the terms stochastic and substochastic semigroups. Definition 2.1. The strongly continuous semigroup of operators .G.t // t 0 on the Banach space X D L1 .; / is said to be (i) substochastic if S.t /  0 and kG.t /k  1 for all t  0, (ii) stochastic if, in addition, it satisfies kG.t/ k D k k for all non-negative 2 X . The following theorem holds. Theorem 2.2. (Kato’s Theorem in L1 setting) Let X D L1 ./ and suppose that the operators A and B satisfy: (1) .A; D.A// generates a substochastic semigroup .SA .t // t 0 ; (2) D.B/  D.A/ and Bu  0 for u 2 D.B/C ; (3) For all u 2 D.A/C , Z .Au C Bu/d  0:

(15)



Then there exists a smallest substochastic semigroup, .GK .t // t 0 , generated by an extension, K, of A C B. Moreover, K is characterized by .I

K/

1

D

1 X

.I

A/

1

ŒB.I

A/

1 n



;

8

2 X:

(16)

nD0

Proof. [6, Corollary 5.17].

2.3 Fractional fission evolution equation We are interested in investigating the fractional version of (13)-(14) given by: D t u D Au C Bu;

;

0 <  1; x; t > 0;

(17)

u.0/ D f;

(18)

with D t defined in (3). However, substituting @ t by D t in (13) is justified in the sense that the presence of @ t in (13) reflects a basic symmetry of the time translation invariance and the basic principle of locality. In fact, from the relation d g. / g. / D lim t !0 d

g. t

t/

D

t

g.t /g. / !0 t

lim

g. /

;

(19)

d we see that dt is identified as the infinitesimal generator of time translation g.t /g. / D g. t /: Hence, this considers g.t/ as the expression of the general time evolution, which is the same consideration done in the definition (2) and (3) of D t . Thus, the derivative of fractional order D t ; 0 <  1 was found to be, in general, infinitesimal generator of coarse grained macroscopic time evolution. It is shown [30] that all macroscopic time evolutions have fractional derivatives, with order less than unity, as their infinitesimal generators. Therefore, in Proposition 2.5 below, d we provide a relation between the generator D t ; 0 <  1 of the macroscopic time evolution and dt :

Unauthenticated Download Date | 5/22/15 12:18 PM

356

E.F. Doungmo Goufo, S. Mugisha

Definition 2.3. Consider an operator Q applying in the fractional model D t .u.x; t // D Q u.x; t /;

0 <  1; x; t > 0;

(20)

subject to the initial condition u.x; 0/ D f .x/

x>0

(21)

and defined in the Banach space X1 : A family .GQ .t // t>0 of bounded operators on X1 is called a solution operator of the fractional Cauchy problem (20)-(21) if (i) GQ .0/ D IX1 ; (ii) GQ .t / is strongly continuous for every t  0; (iii) Q GQ .t /f D GQ .t /Q f for all f 2 D.Q /; (iv) GQ .t /D.Q /  D.Q /; (v) GQ .t /f is a (classical) solution of the model (20)-(21) for all f 2 D.Q /; t  0. e 2 G .M; !/ means Q e generates a C0 -semigroup .G .t // t>0 so that It is well known [6, 19, 41] that an operator Q e Q there exists M > 0 and ! such that !t kGQ (22) e .t /k  M e

We are not trying to mix the two concepts (solution operator and C0 -semigroup ), but, by analogy if the fractional Cauchy problem (20)-(21) has a solution operator .GQ .t // t>0 verifying (22), then we say that Q 2 G .M; !/: The solution operator .GQ .t // t >0 is contractive if kGQ .t /kX1  1;

(23)

and we say Q 2 G .1; 0/: Note that if we have a contraction solution operator, we can use Definition 2.3 to identify the fractional Cauchy problem of which it is a solution. Usually, however, we are interested in the reverse question, that is, in finding the solution operator, that is contractive, for a given fractional model. The answer is given by the following theorem (seen as an analogue of Hille-Yosida theorem). Theorem 2.4. An operator A 2 G .1; 0/ for 0 <  1 if and only if (a) .0; 1/  .A /; (b)



1

Z1 R. ; A /f D e

r

G .r/f dr;

(24)

0

with  > 0, f 2 X1 where .G .t // t >0 is a family of strongly continuous operators satisfying (23) and .A / is the resolvent set of the operator A W .A / D f 2 RI

I

A W D.A / ! X1 is invertible and .I

A /

1

bounded and linearg:

(25)

Proof. This theorem is a particular version of [46, Theorem 1.3] and the proof follows the same steps. In our analysis we will need some interesting properties of the Mittag-Leffler relaxation function E . x/ which arises in the description of complex relaxation processes and that corresponds to a relaxation function when x is a positive real number like the time variable. We know that, see [22, 37], E Œz D

1 X nD0

zn : €.n C 1/

Unauthenticated Download Date | 5/22/15 12:18 PM

(26)

Positivity and contractivity in the dynamics of clusters’ splitting

357

Using the Laplace transform L and its inverse, it can be proved, see [11, 26, 52], that E . x/ D

2x 

Z1 0

E2 . r 2 / dr; x2 C r 2

sin. / D 

Z1

1

r 2 0

D

Z1 X 1

D

1 2 i

r 1 e x r dr ; C 2r cos. / C 1 xr

. r/ e nŠ €.1

Z

0< 1 (27)

n

0 nD0

0 <  1;

e.r

xr /

r

dr ;

n/ 1

0< 1

xr

e

0 <  1:

dr;



where ‡ is a contour domain which encircles the origin counterclockwise, going from 1 to 1. To proceed, we consider the full operator in (17) as a perturbation of the following Cauchy problem representing the loss part of the fractional fission process: D t .u.x; t // D

a.x/u.x; t /

0 <  1;

.D Au.x; t //;

(28)

u.x; 0/ D f .x/; x; t > 0:

(29)

Take f 2 D.A/;

(30)

we can use the point of view of C0 -semigroup theory to say that the operator A is the infinitesimal generator of a C0 -semigroup .GA .t // t 0 ; from the original semigroup .S.t // t 0 (the multiplication semigroup) generated by the d differentiation operator dt and obtained via a simple integration as .S.t /u/.x; t / D e

a.x/t

u.x; t /:

(31)

The existence of .S.t // t 0 comes from assumption that the fission rate satisfies (6). Therefore the infinitesimal generators of .GA .t// t 0 may be interpreted as the distributions, see [25] evaluated on the right time translation group, which leads to the following proposition: Proposition 2.5. (a) .S.t // t 0 is an equibounded semigroup and the norms of all operators S.t /; t 2 R are bounded above by 1; (b) A D D t ; 0 <  1; let u 2 D.A/. The infinitesimal generators A of C0 -semigroups .GA .t // t 0 are related d by the representations to dt 

d dt

 u.t / D

D t .u.t //

D lim

"!0C

1 €. /

Z1 r

1

Œ1

e

a.t/r

u.t /dr

(32)

"

and kS.t /u

uk  M t kAuk for some M > 0

(33)

(c) For every u 2 D..A// we have GA .t /Au D AGA .t /u: Proof. (a): By condition (6), the operator A is bounded linear operator. Then, we know that [16, 20, 41] it is the infinitesimal generator of a positive semigroup of contractions (or substochastics semigroup defined in Definition 2.1) and the assertion follows. To prove (b) we exploit the Marchaud type representation (3) of infinitesimal generators (see also [32, 49]). Let ı be the Dirac measure, then if we take C01 .R/ as the set of test functions on R, we know that, see [48], the fractional derivative distribution ı , 0 <  1, of ı can be expressed by

h'; ı i D

1 €. /

Z1 r

1

Œ'.t /

'.t C r/dr

0

Unauthenticated Download Date | 5/22/15 12:18 PM

358

E.F. Doungmo Goufo, S. Mugisha

and approximated by the family .F" /">0 of finite Borel measure on RC given as h'; F" i

1

D

€. /

Z1 r

1

for all ' 2 C01 .R/:

'.t C r/dr;

Œ'.t /

"

The family .F" /">0 generates the bounded linear operators ÇF" defined by ÇF" u.t / D

1 €. /

Z1 r

1

Œu.t /

S.r/u.t /dr;

u 2 X1 :

"

Using Laplace transform L, we can show, see [51], that       1 L ÇF" .t / D t  L €. /€.1 C / " C

 "

C1

  C

.t /;

t > 0;

(34)

which yields, by uniqueness theorems for Laplace transformation and well known properties of convolution operator ,       1  F" D ı  C1 (35) €. /€.1 C / " C " C and then

Z1 A 0

  r 1 €. /€.1 C / " C D

1 €. /

r " Z1 r

C1

  C

S.r/u.t /dr (36)

1

Œu.t /

S.r/u.t /dr

"

Now taking " ! 0, the assertion (b) follows by using the fact that A is a closed operator [21] and Z1 lim

" !0 0

  1 r €. /€.1 C / " C

r "

C1

  C

S.r/u.t /dr D u.t /:

To prove (33) and (c), we make use of [43, Theorem 6.13 p.74]. We just need to show that 0 2 .A/: In fact since a 2 L1; loc .0; 1/ then 0 … a..0; 1// hence, a has a bounded inverse 1=a and then, A as well. Thus 0 2 .A/; which completes the proof.

3 Analysis of fractional fission problem 3.1 Homotopy perturbation for the loss part of fractional fission problem The He homotopy method is more a computational device that allows us to approximate the solution of the fractional model in order to, for instance, proceed some simulations. We provide a simple understanding of the homotopy perturbation method related to the loss part of the fractional fission model. Then, consider the following fractional differential equation: D t .u.x; t // D a.x/u.x; t /; t > 0; x 2 R; 0 <  1 (37) where D t is given by (3). The fractional homotopy perturbation method, introduced by He [27, 28] states that a homotopy for equation (37) can be constructed in the following manner:    .1 p/ D t .u.x; t // C p D t .u.x; t // C a.x/u.x; t / D 0 giving D t .u.x; t // D p Œ a.x/u.x; t /

Unauthenticated Download Date | 5/22/15 12:18 PM

(38)

Positivity and contractivity in the dynamics of clusters’ splitting

359

with p the embedding parameter taken in Œ0; 1: In case p D 0, equation (38) is a fractional differential equation, D t .u.x; t// D 0 which is easy to solve. When p D 1; equation (38) turns out to be the original one (37). The basic assumption is that the method admits solutions that can be written as a power series in p W u.x; t / D u0 .x; t / C pu1 .x; t / C p 2 u2 .x; t / C p 3 u3 .x; t / C   

(39)

It is obvious that the solutions of the original equation (37) can be approximated by tending p ! 1; that is u.x; t /  u0 .x; t / C u1 .x; t / C u2 .x; t / C u3 .x; t / C   

(40)

Substituting (39) into (38) and comparing coefficients of terms with identical powers of p; we obtain a system of equations given in the following forms: p 0 W D t u0 .x; t / D 0; p W D t u1 .x; t / D 2

p W 3

p W

D t u2 .x; t / D t u3 .x; t /

a.x/u0 .x; t /;

D

a.x/u1 .x; t /;

D

a.x/u2 .x; t /;

(41)

:: : Taking Laplace transform of both sides of this system yields p 0 W s uQ 0 .x; s/

s

p W s uQ 1 .x; s/ 2

3

s

p W s uQ 2 .x; s/ p W s uQ 3 .x; s/

1 1

u0 .x; 0/ D 0;

u1 .x; 0/ D

a.x/uQ 0 .x; s/;

s

1

u2 .x; 0/ D

a.x/uQ 1 .x; s/;

s

1

u3 .x; 0/ D

a.x/uQ 2 .x; s/;

(42)

:: : where uQ k .x; s/ is the Laplace transform L.uk .x; t /; s/; k D 0; 1; 2;    : Now setting the initial condition u.x; 0/ D f .x/ and taking the inverse Laplace transform of both sides of (43) gives p 0 W u0 .x; t / D f .x/; a.x/t f .x/; €. C 1/ a.x/ 1 p 2 W u2 .x; t / D .t  u1 .x; t //; €. / a.x/ 1 p 3 W u3 .x; t / D .t  u2 .x; t //; €. / :: : p W u1 .x; t / D

(43)

where € is the gamma function and  the convolution operator. In this way we compute few terms to approximate the solution of the fractional fragmentation Cauchy problem (28)-(29) and the asymptotic solution is given by (40). The existence of solutions to (28)-(29) is guaranteed by the condition (30).

3.2 Analysis of the full fractional fission Cauchy problem It is well known, see [46], that the bounded perturbation theorem stated in [43] is no longer valid in solution operators theory for models of type (17)-(18), with 0 < < 1), so we aim here to use other perturbation methods to prove existence results for the full model D t .u.x; t //

D

Z1 a.x/u.x; t / C a.y/b.xjy/u.t; y/dy;

0 <  1; x; t > 0;

x

Unauthenticated Download Date | 5/22/15 12:18 PM

(44)

360

E.F. Doungmo Goufo, S. Mugisha

subject to the initial condition u.x; 0/ D f .x/

x>0

(45)

Proposition 3.1. Assume that the coefficients a and b satisfy the conditions (6) and (7) respectively, then there is a solution operator for the fractional model (44)-(45) that is positive and contractive. Proof. We make use of Kato’s Theorem 2.2, the Hille-Yosida theorem and its analogue Theorem 2.4. Consider the dynamics with first order derivative d u D Au C Bu (46) dt where A and B satisfy the expressions (11) and (12), respectively. Since the coefficients a and b satisfy the conditions (6) and (7) then, making use of Fubini theorem together with the conservation law (7), we have for all u 2 D.A/ 0 1 Z Z1 Z1 .Au C Bu/d D @ a.x/u.x; t / C a.y/b.xjy/u.y; t /dy A xdx x

0

R

D

0 1 Z1 Z1 Z1 a.x/u.x; t /xdx C x @ a.y/b.xjy/u.y; t /dy A dx

D

1 0 y Z Z1 Z1 a.x/u.x; t /xdx C a.y/u.y; t / @ b.xjy/xdx A dy

D

Z1 Z1 a.x/u.x; t /xdx C a.y/u.y; t /ydy

0

0

x

0

0

0

(47)

0

0

D 0: Moreover, D.B/ D D.A/ and Bu  0 for u 2 D.B/C . By Kato’s Theorem, there exists the smallest substochastic semigroup, .GK .t // t0 , generated by an extension, K, of A C B. Exploiting the relaxation relation (27), we set Z1 G.t /f D ‚ .t; r/GK .r/f dr

(48)

0

where ‚ .t; r/ D

1 t

1 P nD0

. r/n t nŠ €.1

n

n/

: We aim to show that G.t / is the solution operator for the fractional model

(44)-(45), positive and contractive. The second last relation of (27) and monotonicity of E . x/ imply that .G.t // t>0 is positive. By Hille-Yosida theorem we have .0; 1/  .K/ and kGK .r/kX1  1; r  0 since GK .t / is substochastic. Then using (27) and the fact, see [26, 52], that ! Z1 X 1 . r/n dr D 1 (49) nŠ €.1 n/ 0

nD0

R1

yields kG.r/kX1  0 ‚ .t; r/kGK .r/kX1 dr  1; t  0I hence .G.t // t>0 is contractive. Finally, by the subordination principle developed in [10, 46], we have K 2 G .1; 0/ since K 2 G .1; 0/ (Hille-Yosida theorem). Thus by theorem 2.4, G.t / is the solution operator for the fractional model (44)-(45), that is positive and contractive.

4 Concluding remarks In this paper, we have set conditions allowing us to analyze and show the existence of a solution operator, positive and contractive, to the fission model (17)-(18) with derivative of fractional order ; with 0 <  1. We have made use of He’s homotopy perturbation and Kato’s type perturbation methods together with the theory of strongly continuous

Unauthenticated Download Date | 5/22/15 12:18 PM

Positivity and contractivity in the dynamics of clusters’ splitting

361

solution operator, properties of Mittag-Leffler relaxation function and the subordination principle. Fragmentation equations with fractional order dynamics has never been studied before. Whence, this work is an opening which can serve as the first step toward the full characterization of the operator K under which the fractional model admits solution operators and maybe, leads to a better understanding of strange phenomenons like the phenomenon of shattering and the sudden appearance of an infinite number of particles in some systems with initial finite particles number.

References [1] [2]

[3]

[4]

[5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]

[17]

[18] [19] [20]

[21] [22] [23] [24]

Anderson W.J., Continuous-Time Markov Chains. An Applications-Oriented Approach, Springer Verlag, New York, 1991 Atangana A., On the singular perturbations for fractional differential equation, The Scientific World Journal, 2014, Article ID 752371, vol. 2014, 9 pages, preprint available at http://dx.doi.org/10.1155/2013/752371 Atangana A., Kílíçman A., A possible generalization of acoustic wave equation using the concept of perturbed, Mathematical problems in Engineering, Article ID 696597 preprint available at http://dx.doi.org/10.1155/2013/696597 Atangana A., Botha F.C., A generalized groundwater flow equation using the concept of variable-order derivative, Boundary Value Problems 2013, 2013:53 preprint available at http://www.boundaryvalueproblems.com/content/2013/1/53 Balakrishnan, A.V., Fractional powers of closed operators and semigroups generated by them, Pacific J. Math., 1960, 10, 419 Banasiak J., Arlotti L., Perturbations of Positive Semigroups with Applications, Springer Monographs in Mathematics, 2006. Bartle R.G., The elements of integration and Lebesgue measure, Wiley Interscience, 1995 Benson D.A., Schumer R., Meerschaert M.M., Wheatcraft S.W., Fractional Dispersion, Levy Motion, and the MADE Tracer Tests. Transport in Porous Media 2001, 42: 211-240. Benson D.A., Meerschaert M.M., Revielle J., Fractional calculus in hydrologic modeling: A numerical perspective. Advances in Water Resources 2013, 51, 479–497 Bazhlekova E. G., Subordination principle for fractional evolution equations, Fractional Calculus & Applied Analysis, 2000, 3(3), 213 – 230 Berberan-Santos Mário N., Properties of the Mittag-Leffler relaxation function, Journal of Mathematical Chemistry, November 2005, 38(4) Brockmann D., Hufnagel L., Front propagation in reaction-superdiffusion dynamics: Taming Lévy flights with fluctuations, Phys. Review Lett. 98, 2007 Caputo M., Linear models of dissipation whose Q is almost frequency independent, Journal of the Royal Australian Historical Society, 1967, 13(2), 529–539 Diethelm K., The Analysis of Fractional Differential Equations, Springer, Berlin, 2010. Demirci E., Unal A., Özalp N., A fractional order seir model with density dependent death rate, Hacettepe Journal of Mathematics and Statistics, 2011, 40(2), 287–295 Doungmo Goufo E.F., Maritz R. , Munganga J., Some properties of Kermack-McKendrick epidemic model with fractional derivative and nonlinear incidence, Advances in Difference Equations 2014, 2014:278. preprint available at DOI: 10.1186/1687-1847-2014278, URL: http://www.advancesindifferenceequations.com/content/2014/1/278 Doungmo Goufo E.F., Mugisha S., Mathematical solvability of a Caputo fractional polymer degradation model using further generalized functions, Mathematical Problems in Engineering, Volume 2014, Article ID 392792, 5 pages, 2014. preprint available at http://dx.doi.org/10.1155/2014/392792 EF Doungmo Goufo, A biomathematical view on the fractional dynamics of cellulose degradation, Fract. Calc. Appl. Anal., 18(3), 2015 EF Doungmo Goufo, Non-local and Non-autonomous Fragmentation-Coagulation Processes in Moving Media, PhD thesis, NorthWest University, South Africa, 2014. Doungmo Goufo E.F., Oukouomi Noutchie S.C., Honesty in discrete, nonlocal and randomly position structured fragmentation model with unbounded rates, Comptes Rendus Mathematique, C.R Acad. Sci, Paris, Ser, I, 2013, preprint available at http://dx.doi.org/10.1016/j.crma.2013.09.023 Engel K-J., Nagel R., One-Parameter Semigroups for Linear Evolution Equations, Graduate Texts in Mathematics (Book 194), Springer, 2000 Érdelyi A., Magnus W., Oberhettinger F., Tricomi F.G., Higher Transcendental Functions, Vol. III McGraw-Hill, New York, 1955 Filippov I., On the distribution of the sizes of particles which undergo splitting, Theory Probab. Appl. 1961, 6, 275–293 Garibotti C. R., Spiga G., Boltzmann equation for inelastic scattering, J. Phys. A 1994, 27, 2709–2717

Unauthenticated Download Date | 5/22/15 12:18 PM

362

E.F. Doungmo Goufo, S. Mugisha

[25] Gel’fand I., Shilov G., Generalized Functions, vol. I. Academic Pres5, New York, 1964. [26] Gorenflo R., Luchko Y., Mainardi F., Analytical properties and applications of the Wright function, Fractional Calculus and Applied Analysis, 1999, 2(4), 383–414 [27] He J. H., Homotopy perturbation technique, Comput. Methods Appl. Mech., 1999 vol. 178, pp. 257–262 [28] He J. H., A coupling method of homotopy technique and perturbation technique for nonlinear problems, Internat. J. Non-Linear Mech., 2000, 35, 37–43 [29] Hilfer R., Application of Fractional Calculus in Physics, World Scientific, Singapore, 1999. [30] Hilfer R., On new class of phase transitions, Random magnetism and High temprature superconductivity, page 85, Singapore, World Scientific publ. Co., 1994. [31] Lachowicz M., Wrzosek D., A nonlocal coagulation-fragmentation model, Appl. Math. (Warsaw), 2000, 27 (1), 45–66 [32] Lions J.L., Peetre J., Sur une classe d’espace d’interpolation, Inst. Hautes étude Sci. Publ. Math, 1964, 19, 5–68 [33] McLaughlin D. J., Lamb W., McBride A. C., A semigroup approach to fragmentation models, SIAM Journal on Mathematical Analysis, 1997, 28(5), 1158–1172 [34] Majorana A., Milazzo C., Space homogeneous solutions of the linear semiconductor Boltzmann equation. J. Math. Anal. Appl. 2001, 259(2), 609–629 [35] Melzak Z.A., A Scalar Transport Equation, Trans. Amer. Math. Soc., 1957, 85, 547–560 [36] Miller K. S., Ross B., An Introduction to the Fractional Calculus and Fractional Differential Equations, John Willey and Sons, Inc., New York, 2003. [37] Mittag-Leffler G.M., C. R. Acad. Sci. Paris (Ser. II) 1903, 137–554 [38] Norris J.R., Markov Chains, Cambridge University Press, Cambridge, 1998 [39] Oldham K. B., Spanier J., The fractional calculus, Academic Press, New York, 1999 [40] Oukouomi Noutchie S.C., Doungmo Goufo E. F., Exact solutions of fragmentation equations with general fragmentation rates and separable particles distribution kernels, Mathematical Problems in Engineering, 2014, vol. 2014, Article ID 789769, 5 pages, preprint available at http://dx.doi.org/10.1155/2014/789769 [41] Oukouomi Noutchie S.C., Doungmo Goufo E.F., Global solvability of a continuous model for nonlocal fragmentation dynamics in a moving medium, Mathematical Problem in Engineering, 2013, vol. 2013, Article ID 320750, 8 pages, 2013, preprint available at http://dx.doi.org/10.1155/2013/320750 [42] Özalp N., Demirci E., A fractional order SEIR model with vertical transmission Mathematical and Computer Modelling, 54(2011), 1–6 [43] Pazy A., Semigroups of Linear Operators and Applications to Partial Differential Equations, Applied Mathematical Sciences, Springer-Verlag, 44, 1983 [44] Podlubny, I., Fractional Differential Equations, Academic Press, California, USA, 1999 [45] Pooseh S., Rodrigues H.S., Torres D.F.M., Fractional derivatives in dengue epidemics. In: Simos, T.E., Psihoyios, G., Tsitouras, C., Anastassi, Z. (eds.) Numerical Analysis and Applied Mathematics, ICNAAM, American Institute of Physics, Melville, 2011, 739–742 [46] Prüss J., Evolutionary Integral Equations and Applications, Birkhäuser, Basel–Boston–Berlin 1993 [47] Rudnicki R., Wieczorek R., Phytoplankton dynamics: From the behaviour of cells to a transport equation, Math. Model. Nat. Phenom, 2006, 1 (1), 83–100 [48] Rubin B., Fractional Integrals and potentials, Addison Wesley Longman Limited, Harlow 1996 [49] Samko S.G., Kilbas A.A., Marichev O.I., Franctional integrals and derivatives, Theory and Application, Gordon and Breach, Amsterdam, 1993 [50] Wagner W., Explosion phenomena in stochastic coagulation-fragmentation models, Ann. Appl. Probab., 2005, 15(3), 2081–2112 [51] Westphal U., ein Kalkül für gebrochene Potenzen infinitesimaler Erzeuger von Halbgruppen und Gruppen von Operatoren, Teil I: Halbgruppen-erzeuger, Compositio Math., 1970, 22, 67–103 [52] Wright E. M., The generalized Bessel function of order greater than one. Quarterly Journal of Mathematics (Oxford ser.), 1940, 11, 36–48 [53] Yosida K., Functional Analysis, Sixth Edition, Springer- Verlag, 1980 [54] Ziff R.M., McGrady E.D., The kinetics of cluster fragmentation and depolymerization, J. Phys. A, 1985, 18 3027–3037 [55] Ziff R.M., McGrady E.D., Shattering transition in fragmentation, Phys. Rev. Lett., 1987, 58(9) [56] Ziff, R.M., McGrady, E.D., Kinetics of polymer degradation, Macromolecules 19, 1986, 2513–2519.

Unauthenticated Download Date | 5/22/15 12:18 PM