Abstract
We consider the Cauchy-type problem associated to the time fractional partial differential equation:
with \(\beta \in (0,1)\), where the fractional derivative \(\partial _t^{\beta }\) is in Caputo sense. We provide a sufficient condition on the right-hand term g(t, x) to obtain a solution in \({\mathcal {C}}_b([0,\infty ),H^s)\). We exploit a dissipative-smoothing effect which allows to describe the asymptotic profile of the solution in low space dimension.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the present paper we consider the Cauchy-type problem for a fractional (in time) partial differential equation
where \(\partial _t^{\beta }u\) denotes the (forward) Caputo fractional derivative of order \(\beta \in (0,1)\), with starting time 0, with respect to the time variable (see, for instance, [22]). Namely,
for any \(t>0\) and \(x\in {\mathbb {R}}^n\); here, \(\varGamma (\cdot )\) denotes the gamma function. In Theorem 1, we show that solutions to (1.1) are bounded in \(H^s\), with respect to \(t\in [0,\infty )\), namely, are in \(C_b([0,\infty ),H^s)\), if \(g\in L^\infty _tH^{s-2+\varepsilon }\) and \(\langle t \rangle ^\beta g\in L^\infty _t H^{s-4}\), where \(\langle t \rangle =\sqrt{1+t^2}\).
In Theorem 2, in low space dimension \(n=1,2,3\), assuming initial data in \(L^1\cap H^s\) with \(s\in [0,2-n/2)\) we prove that the asymptotic profile of the solution to (1.1) is independent of g, provided that suitable decay assumptions on \(g(t,\cdot )\) are satisfied.
As a corollary of this latter result, we investigate a class of nonlinear perturbations of the problem, for which global-in-time small data solutions exist and we show that their asymptotic profile is independent on the nonlinear perturbation.
One crucial property which allow us to get the previous results is a smoothing effect. In particular, the \(H^s\) norm of \(u(t,\cdot )\) at any time \(t>0\) can be controlled by \(C(t)\,\Vert u_0\Vert _{H^{s-2}}\), if \(g\equiv 0\). However, \(C(t)\rightarrow \infty \) as \(t\rightarrow 0\) (see (3.10) and (3.12)). This effect is analogous to the smoothing effect of the heat equation and related parabolic equations, but it only allows to gain a finite amount of regularity. The smoothing effect also appears with respect to the inhomogeneous term \(g(t,\cdot )\), with a different singular power (see (3.9) and (3.13)), since the Duhamel’s principle does not hold in classical sense, for Cauchy-type problems with Caputo fractional derivatives, as (1.1) (see later, Lemma 1).
The counterpart of this limited smoothing effect is a limited dissipative effect which appears at long time: higher order derivatives of the solution vanish as \(t\rightarrow \infty \) with a faster speed, but not faster than \(t^{-\beta }\). As for the smoothing effect, this limitation is due to the structure of the fundamental solution of the equation. In particular, to show the optimality of the decay estimates, at least in low space dimension, we describe the asymptotic profile of the solution, under suitable decay assumption on g(t, x). Under the moment condition \(M\ne 0\), where
this profile is described by \(M\,K_0^\dagger (t,x)\), where \(K_0^\dagger \) is the fundamental solution to the homogeneous Cauchy-type problem for the sub-diffusive fractional equation
Explicitly, \(K_0^\dagger (t,x)=t^{-\frac{n\beta }{2}}\,K_0^\dagger (1,t^{-\frac{\beta }{2}}x)\) is given by:
in particular, \(K_0^\dagger (1,\cdot )\) belongs to \(H^{2-\frac{n}{2}}\) (see for instance [10]). Here, and in the following, \(\mathscr {F}\) denotes the Fourier transform operator acting on the space variable x, and \({\hat{f}}(t,\xi )=(\mathscr {F}(t,\cdot ))(\xi )\). By representation (1.4), the limited amount of smoothing effect is motivated by the fact that \(|\hat{K}_0^\dagger (1,\xi )|\approx {{|}{\xi }{|}}^2\langle \xi \rangle ^{-4}\).
The dissipative-smoothing effect also appears in other evolution equations, for instance, in the case of strongly damped waves [41] (see also [8]), and of more general damped evolution equations [15]. However, those cases are more related to the heat equation and other diffusive equations, since the smoothing effect is not limited by \(\langle \xi \rangle ^{-2}\). The study of the \(H^s\) well-posedness for multi-point value problems for partial differential equations of fractional order similar to (1.1) is already faced, for instance, in [18].
The main difficulty in dealing with the equation in (1.1) is its lack of homogeneity. Theorems 1 and 2 are based on the representation formula provided by Lemma 1 for the solution to the Cauchy-type problem
with \(\lambda >0\) and \(c_0\in {\mathbb {R}}\).
1.1 Background
We refer to [22] or [33] for a deep study about the theory of fractional derivatives. It is well known that differential equations with fractional derivatives turned out to be suitable to describe in a very good way various physical phenomena in areas like rheology, biology, engineering, mathematical physics, etc. (see for instance [16, 25, 26, 28, 33] and the reference given therein). Open problem in this field is finding some easy and effective methods for solving such equations. Such problem becomes even more difficult when multiple fractional in time derivatives are involved in the equation. In the literature some authors considered the two-term time fractional diffusion-wave equation of the type
for \(b_1,b_2\in {\mathbb {R}}\), \(\delta _1,\delta _2>0\) and \(F\equiv 0\) or F nonlinear; then, they investigate the existence of solution to the Cauchy-type problem associated to (1.6) in suitable spaces, under given assumptions on the exponents \(\delta _1\) and \(\delta _2\) and on the function F. A deep review can be found for instance in [43]; here, the authors find the upper viscosity solutions to (1.6) for \(b_1+b_2=1\), \(c=1\) and \(\delta _1,\delta _2\in (0,2)\), considering a nonlinear lipschitz term F, in the \(L^p({\mathbb {R}}^n)\) framework, for \(1\le p\le \infty \). Equation (1.6) with \(\delta _1=2\delta _2\) is known as the time-fractional telegraph equation; it is studied for instance in [39] where the authors obtain the Fourier transform of the solutions for any \(\delta _2\in (0,1]\) expressed in terms of Mittag-Leffler functions and they give a representation of their inverse, in terms of stable densities; the special case \(\delta _2=1/2\) can be interpreted as a heat equation subject to a damping effect, represented by the 1/2-order time-derivative; in this case they show that the fundamental solution is the distribution of a telegraph process with Brownian time. In [42] the author investigates the existence and uniqueness of local (in time) solutions to the nonlinear n-term time-fractional differential equation with constant coefficients in the Banach space C([0, T]). Some results about the well-posedness and regularity of solutions to (1.6) in bounded domains are presented for instance in [4, 9, 45].
Having in mind to apply the Fourier transform to the linear equation associated to (1.6), it is understandable as the problem of finding a suitable representation of solution is strictly related to solving fractional ordinary differential equations in the form
for \(\lambda \in {\mathbb {R}}\). In [24] the authors develop the operational calculus of Mikusiński’s type for the Caputo fractional differential equation, in order to obtain exact solutions of the initial value problem associated to (1.7) through Mittlag-Leffler type functions. The special cases \(\delta _1=1\), \(\delta _2\in (0,1)\) and, respectively, \(\delta _1=2\), \(\delta _2\in (1,2)\) have been deeply investigated in [17] taking \(\lambda =1\) and are referred as the composite fractional relaxation equation and, respectively, the composite fractional oscillation equation; here, by applying the technique of Laplace transforms they derive the analytical solutions to such equations.
In particular, the fractional differential equation in (1.7) with \(\delta _1=1\), \(\delta _2=1/2\) corresponds to the Basset problem: it represents a classical problem in fluid dynamics where the unsteady motion of a particle accelerates in a viscous fluid due to the force of gravity. The situation of a sphere subjected to gravity was first considered independently by Boussinesq [6] and by Basset [2], who introduced a special hydrodynamic force, which is nowadays referred to as Basset force. The whole was summarized by Basset himself in a later paper [3], and, in more recent times, by Hughes and Gilliand [19]. Nowadays the dynamics of impurities in unsteady flows is investigated as shown by several publications, which aim to provide more general expressions for the hydrodynamic forces, including the Basset force, in order to fit experimental data and numerical simulations, see e.g. [5, 23, 29,30,31,32, 37, 38]. For a complete history of the Basset problem one can refer to [7].
In [14] the Cauchy-type problem
is investigated in the case \(\beta \in (1,2)\). Under suitable assumptions on the nonhomogeneous term g(t, x), the authors investigate some \(L^p-L^q\) decay estimates for the solution w; then, they apply such estimates to study the corresponding semilinear problem.
1.2 Notation
In this paper, \(L_t^\infty X\) denotes \(L^\infty ([0,\infty ),X)\), i.e., the space of essentially bounded functions from \([0,\infty )\) to X. Moreover, \({\mathcal {C}}_b([0,\infty ),X)\) denotes the space of continuous bounded functions from \([0,\infty )\) to X. In the both cases, \(\Vert g\Vert _{L_t^\infty X}\) denotes the norm \(\sup _{t\ge 0} \Vert g(t,\cdot )\Vert _X\). For any \(s\in {\mathbb {R}}\),
is the (fractional) Sobolev space equipped with norm \(\Vert f\Vert _{H^s}=\Vert \langle \xi \rangle ^s\,{\hat{f}}\Vert _{L^2}\), where the symbol \(\langle \xi \rangle \) denotes the quantity \(\sqrt{1+|\xi |^2}\). For \(f\in H^s\) with \(s\ge 0\), we also define \(\Vert f\Vert _{\dot{H}^s}=\Vert {{|}{\xi }{|}}^s\,{\hat{f}}\Vert _{L^2}\). It is clear that \(H^0=L^2\) and \(\Vert f\Vert _{\dot{H}^0}=\Vert f\Vert _{L^2}\).
For \(q\in (1,\infty )\) and \(s\in {\mathbb {R}}\) we also define the Bessel potential space [1]
equipped with norm \(\Vert f\Vert _{H^{s,q}}=\Vert \mathfrak {F}^{-1}(\langle \xi \rangle ^s\,{\hat{f}})\Vert _{L^q}\). We recall that \(\Vert f\Vert _{H^{s,q}}\le \Vert f\Vert _{L^q}\) for any \(s<0\).
In this paper, \(f\lesssim g\) means that \(f\le Cg\) for some constant \(C>0\), and \(f\approx g\) means that \(f\lesssim g\lesssim f\).
1.3 Results
We first present a sufficient condition on g such that the solution to (1.1) remains bounded in \(H^s\).
Theorem 1
Let \(n\ge 1\) and \(s\in {\mathbb {R}}\). Assume that \(u_0\in H^s\) and that \(g\in L_t^\infty H^{s-2+\varepsilon }\) for some \(\varepsilon >0\). Then the solution u to (1.1) is in \({\mathcal {C}}([0,\infty ),H^s)\) and
for any \(t\ge 0\), where \(C>0\) and \(C_\varepsilon >0\) are independent of t. In particular, u is in \({\mathcal {C}}_b([0,\infty ),H^s)\) and
if \(A=\sup _{t\ge 0} \langle t \rangle ^{\beta }\Vert g(t,\cdot )\Vert _{H^{s-4}}\) is finite.
When \(n\le 3\) and \(s\in [0,2-n/2)\), the embedding \(L^1 \hookrightarrow H^{s-2}\) holds, hence the smoothing effect is sufficient to describe the asymptotic profile in \(H^s\) of the solution to (1.1), in the form \(M\,K_0^\dagger (t,x)\), where M is as in (1.2), provided that we assume the moment condition \(M\ne 0\) and that we make suitable decay assumptions on \(g(t,\cdot )\) as \(t\rightarrow \infty \).
Theorem 2
Let \(n=1,2,3\), and \(s\in [0,2-n/2)\). Assume that \(u_0\in L^1\cap H^s\), and that \(g\in L_t^\infty H^{s-2+\varepsilon }\) for some \(\varepsilon >0\), also satisfies
where
If
we also assume that \(g\in L_t^\infty H^{s+a-4,q}\) for some \(q\in (1,2)\), where
and that
where
Then, u is in \(C_b([0,\infty ),H^s)\) and there exists \(C>0\) independent of t, such that (\(B_2=0\) in the following, if (1.10) does not hold)
In particular, if \(\limsup _{t\rightarrow \infty }Q_1(t)=0\) and, in addition, \(\limsup _{t\rightarrow \infty }Q_2(t)=0\) when (1.10) holds, then the solution u also satisfies
When \(M\ne 0\), we may say that the asymptotic profile of \(u(t,\cdot )\) in \(H^s\) as \(t\rightarrow \infty \), is \(MK_0^\dagger (t,\cdot )\).
Remark 1
We stress that \(s-4<s-2+\varepsilon <0\) for sufficiently small \(\varepsilon >0\), and \(s+a-4<0\), in Theorem 2, so that \(B_1\) and \(B_2\) in (1.9) and (1.12) are finite if there exists \(B>0\) such that
in particular, conditions (1.9) and (1.12) are satisfied for \(B_1=2B\) and \(B_2=B\). Similarly, the conditions \(\lim _{t\rightarrow \infty } Q_i(t)=0\) hold for \(i=1,2\) if
We may apply Theorem 2 to study the semilinear problem
where \(f(u)=|u|^p\) for some \(p\ge 2\), or, more in general,
Then, as a consequence of Theorem 2 we have the following result:
Corollary 1
Let \(n=1,2\) and assume that \(p\ge 1+2/n\) in (1.18). Fix s such that
Then there exists \(\varepsilon >0\) such that for any initial data
there is a uniquely determined solution \(u\in \mathcal C_b([0,\infty ),H^s)\) to (1.17). Moreover, if \(p>1+2/n\) then
Thus, when \(M\ne 0\) and \(p>1+2/n\), Corollary 1 means that the nonlinearity does not influence the asymptotic profile of the solution to (1.17). The critical exponent \(1+2/n\) is sharp [10]. We notice that in the critical case \(p=1+2/n\), Corollary 1 guarantees the existence of a global small data solution, but the asymptotic profile of the solution to (1.17) depends on the nonlinearity, in general.
Theorems 1 and 2 are based on the following representation formula for the solution to (1.5).
Lemma 1
Assume that \(y=y(t)\) solves the Cauchy problem (1.5). Then
where \(K_0\) and \(K_1\) have the following integral representations:
for any \(t\ge 0\). Moreover, we may write \(K_0(t)=1 -\lambda \int _0^t K_1(r)dr\), that is, \(\partial _tK_0(t)=-\lambda K_1(t)\).
The fact that \(K_0\) and \(K_1\) are different in Lemma 1 means that the Duhamel’s principle does not hold in classical sense.
Remark 2
Applying the change of variable \(xt=\tau ^{\frac{1}{\beta }}\) we obtain the following representations for \(K_0(t)\) and \(K_1(t)\):
1.4 Comparison with the damped wave equation
By Theorem 2 we deduce that the solution u to the homogeneous Cauchy-type problem associated to (1.1), asymptotically behaves as the solution v to (1.3). There are several analogies with the diffusion phenomenon studied for the damped wave equation [27, 34, 36]:
The asymptotic profile of the solution is described by \(u\sim MG(t,x)\), where \(G=(4\pi t)^{-\frac{n}{2}}\,e^{-\frac{|x|^2}{4t}}\) is the fundamental solution to the heat equation and
under the assumption of nonzero moment condition \(M\ne 0\). This diffusion phenomenon allowed to prove the global existence of small data solutions to the semilinear problem with power nonlinearity f(u), in the supercritical case \(p>1+2/n\) (see [44]), as for the semilinear heat equation. A nonlinearity, in general, influences the asymptotic profile of the solution, see [21]. In Corollary 1, we showed that this is not the case for our equation in the supercritical case. This latter phenomenon is a consequence of the special structure of the Cauchy-type problem for fractional equations, and of the fact that the Duhamel’s principle does not hold in classical sense, see Lemma 1.
Diffusion phenomena hold, more in general, for evolution equations
when the damping is effective damping according to the classification introduced by the authors in [12], that is, \(2\theta <\sigma \). Here, \((-\varDelta )^\alpha \) denotes the fractional Laplace operator of order \(\alpha >0\) defined on \({\mathcal {S}}\) as \( (-\varDelta )^\alpha f = \mathscr {F}^{-1}({{|}{\xi }{|}}^{2\alpha }\hat{f})\). If \(\theta =0\) the solution to (1.23) behaves asymptotically like the solution to the corresponding diffusive equation, with initial data \(u_0+u_1\), namely by \(e^{-t(-\varDelta )^\sigma }(u_0+u_1)\); for \(\theta >0\) a double diffusion phenomenon holds, that is, two different diffusive equations compete to describe the asymptotic profile of the solution to (1.23) (see [11]). On the other hand, when \(2\theta >\sigma \), the asymptotic profile to (1.23) is completely different; in particular, the wave structure appears and oscillations come into play (see [20]).
Inspired by the results just described, the main goal of the present paper is to show how the fractional in time derivative \(\partial _t^\beta u\) in (1.1) influences the asymptotic profile of the solution with respect to the undamped heat equation: the presence of the fractional order member deeply influences the structure of the fundamental solution of equation (1.1); as a consequence, a dissipative-smoothing effect appears and the asymptotic profile of the solution to (1.1) is described by \(MK_0^\dagger (t,\cdot )\), independently on the non-homogeneous term, under suitable decay assumptions on \(g(t,\cdot )\) (see Theorem 2).
2 Proof of Lemma 1
In order to prove Lemma 1 we will use the Laplace transform method. Given a function \(\varphi =\varphi (t)\) of a real variable \(t\in {\mathbb {R}}_+=[0,\infty )\), \(\mathcal {L}(\varphi )\) denotes its Laplace transform defined by
Under suitable assumptions, the inverse Laplace transform of a given function \(F=F(s)\), holomorphic in some half-plane \(\{\Re s>\lambda \}\), is given for any \(t\in {\mathbb {R}}_+\) by the formula
where \(a>\lambda \).
The Laplace transform has many properties which are useful for studying dynamical systems. In particular, we mention that for any \(\alpha \in (0,1]\) the following transform rule holds
for suitable good functions \(\varphi \) (see, for instance, [22]); such formula will allows us to transform the fractional differential equation in (1.5) in a functional equation.
Let us apply the Laplace transform to the fractional differential equation in (1.5). Applying the identity (2.2) we get the functional equation
that is
Here and hereafter, for any \(s\in {\mathbb {C}}\), with \(s=re^{i\theta }\), and \(\alpha \in (0,1)\) we are denoting by \(s^\alpha \) its root of order \(\alpha \) on the principal branch, i.e., \(s^\alpha := r^\alpha e^{i\alpha \theta }\) with \(\theta \in (-\pi ,\pi )\).
Thus, using the convolution theorem \(\mathcal {L}(f*h)=\mathcal {L}(f)\mathcal {L}(h)\) we find
where for any \(t\ge 0\) we set
We notice that
thanks to the properties of the Laplace transform.
The remaining part of this section is devoted to the proof of Lemma 1 starting from the identities in (2.4). In order to get this aim we will use two different approaches: the first approach is based on the direct evaluation of the inverse Laplace transforms in (2.4); on the other hand, in the second approach we will express \(K_0(t)\) and \(K_1(t)\) as a combination of Mittag-Leffler functions.
2.1 Laplace Transfrom method
In order to get the desired integral representations in (1.21)-(1.22) we will use the integral formula for the inverse Laplace transform given in (2.1).
Let us define the function \(\omega :{\mathbb {C}}\rightarrow {\mathbb {C}}\) such that \(\omega (s):=s+s^\beta +\lambda \). We remark that \(\omega \) has no zeros in \({\mathbb {C}}\): suppose that \(s_0=r_0\cos \theta _0+ir\sin \theta _0\) is a zero of \(\omega \); then the couple \((r_0,\theta _0)\) satisfies the system
but this system has no solutions \((r_0,\theta _0)\in {\mathbb {R}}_+\times [-\pi ,\pi )\); in fact, the second equation admits as solutions only the couples (r, 0), and such couple never solves the first equation.
By definition (2.1), in order to give an integral representation of \(K_1(t)\) we evaluate the limit
where \(a>0\) and \(F(t,s):=e^{st}/\omega (s)\) for any \(t\ge 0\). In order to calculate such integral, we consider the region delimited by the so called Hankel path, defined by the segment \((a-ib,a+ib)\), arcs \(C'_R\) and \(C''_R\), segments I and II, and the circle \(C_r\) as represented in Fig. 1.
The path is contained in \({\mathbb {C}}\setminus {\mathbb {R}}_-\), where the function F(t, s) is holomorphic; thus, we can apply the Cauchy theorem to get
As a consequence of the Jordan lemma we immediately obtain that
moreover, it is easy to check that also the integral over \(C_r\) tends to 0 as \(r\rightarrow 0\). Therefore, we conclude
We use the same approach to get the desired integral representation of \(K_0\), defined as
where \(G(t,s):=e^{st}(1+s^{\beta -1})/\omega (s)\). Also in this case, the path is contained in \({\mathbb {C}}\setminus {\mathbb {R}}_-\), where the function G(t, s) is holomorphic. Thus, using the same notation as for \(K_1\), we get
As a consequence of the Jordan lemma we can conclude that the integrals over \(C_R'\) and \(C_R''\) tend to 0 as \(R\rightarrow \infty \); moreover, it is easy to check that also the integral over \(C_r\) goes to 0 as \(r\rightarrow 0\). Thus, we get
This complete the proof of Lemma 1.
2.2 Mittag-Leffler functions
In this section we show how the simplest case \(\beta =1/2\) can be treated with an alternative approach. In order to obtain the desired representations (1.21) and (1.22) we follow the idea given in [17] to provide the solutions \(K_0\) and \(K_1\) in terms of Mittag-Leffler functions. By (2.3) we know that the Laplace tranform of the solution \(y=y(t)\) to (1.5) has the representation
where for any \(t\ge 0\), the values of \(K_0(t)\) and \(K_1(t)\) are defined in (2.4).
Let \(s_\pm \) denote the two roots of the second degree polynomial \(s^2+s+\lambda \); then, it holds
Here, \(s_\pm \) satisfies the useful relations
Thus, we can write
and
where \( A_\pm := \pm s_\pm /(s_+-s_-).\) As a consequence it is possible to write \(K_0(t)\) and \(K_1(t)\) as a linear combination of Mittag Leffler functions; such functions are defined by the following series representation,
In particular, it is possible to prove that for any \(\mu \in {\mathbb {R}}\),
in fact, by formula (1.9.13) in [22] we know:
thus, (2.8) follows since \(E_\frac{1}{2}(\mu \sqrt{\cdot })\) is continuous with respect to \(t\in [0,\infty )\).
As a consequence of (2.8), by (2.6) and (2.7) we obtain
and
In order to get the desired integral representations in (1.21)-(1.22) we will use the following useful lemma that is a particular case of Theorem 1 in [40].
Lemma 2
The following representation holds
for any \(z\in {\mathbb {C}}\) such that \(|\arg (z)|\in (\pi /2,\pi ]\).
We remark that \(\Re (s_\pm )<0\); thus, \(|\arg (s_\pm )|\in (\pi /2,\pi ]\). Therefore, the proof of Lemma 1 follows as a consequence of (2.9) and (2.10), applying Lemma 2.
Remark 3
In the general case \(\beta \in (0,1)\) one can express the kernels \(K_0\) and \(K_1\) in terms of multivariate Mittag-Leffler functions (see [24]):
Indeed, one can prove
and
3 Decay estimates
Applying the Fourier transform with respect to the space variable in (1.1) we get the following Cauchy problem for a parameter dependent fractional differential equation:
By Lemma 1, the solution is
where
As a consequence, we obtain the representation
By the change of variable \(\xi \mapsto t^{\frac{\beta }{2}}\xi \), for any \(s\ge 0\) and \(1\le q \le \infty \), we obtain
where
Noticing that
it is useful to divide the half-line \({\mathbb {R}}_+\) in two regions, depending on t and \(\xi \):
Therefore, we can estimate
Thanks to (3.8), we prepare the pointwise estimates for \({\hat{R}}_0(t,\xi )\) and \({\hat{R}}_1(t,\xi )\).
Lemma 3
The following estimates hold:
Proof
In order to get the desired estimates, we split the integral in the two regions \(I_{t,\xi }\) and \(J_{t,\xi }\) defined in (3.7).
We first consider \(\hat{R}_1(t,\xi )\). By using estimate (3.8) in \(I_{t,\xi }\), we get
In particular, since \(\beta <1\) this latter term may be estimated by the quantity \(t^{-(1-\beta )}\,\langle t^{1-\beta }{{|}{\xi }{|}}^2 \rangle ^{-M}\), for any \(M\ge 0\). However, for short times, the estimate above is singular at \(t=0\), so we proceed in a different way:
where we first used the change of variable \(s=\tau ^{\frac{1}{\beta }}-t^{1-\beta }{{|}{\xi }{|}}^2\) and then the change of variable \(r=s/(t^{1-\beta }\tau _0)\). Summarizing, we proved
for any \(M\ge 0\). We now consider the integral over \(J_{t,\xi }\). If we use (3.8) to estimate \(\varphi (t,\tau ,\xi )\gtrsim t^{2(1-\beta )}{{|}{\xi }{|}}^4\), then we find
whereas, if we use (3.8) to estimate \(\varphi (\tau ,\xi )\ge t^{2(1-\beta )}\tau ^2\) as we did in \(I_{t,\xi }\), we find
Therefore, we obtain
Comparing with the estimate of the integral over \(I_{t,\xi }\), we conclude the proof of (3.9) for \(t\ge 1\), using \(\langle t^{\frac{1-\beta }{2}}\xi \rangle ^{-4}\le \langle \xi \rangle ^{-4}\).
However, for short times, the estimate above is singular at \(t=0\), then we estimate
so that
where we used first the change of variable \(s=\tau ^{\frac{1}{\beta }-1}\) and then the change of variable \(r=s/t^{1-\beta }\). Summarizing, at short time, we may estimate
Comparing with the estimate of the integral over \(I_{t,\xi }\), we conclude the proof of (3.9) for \(t\le 1\), using \(\langle t^{\frac{1-\beta }{4}}\xi \rangle ^{-4}\le \langle t^{\frac{1-\beta }{2}}\xi \rangle ^{-4}\).
We now prove (3.10). If we use (3.8) to estimate \(\varphi (t,\tau ,\xi )\gtrsim t^{2(1-\beta )}{{|}{\xi }{|}}^4\) when we integrate over \(J_{t,\xi }\), then we find
On the other hand, if we use (3.8) to estimate \(\varphi (t,\tau ,\xi )\gtrsim t^{2(1-\beta )}({{|}{\xi }{|}}^4+\tau ^2)\), we obtain
Therefore,
Now we consider the integral over \(I_{t,\xi }\). In this case, we get
where we used first the change of variable \(s=\tau ^{\frac{1}{\beta }}-t^{1-\beta }{{|}{\xi }{|}}^2\) and then the change of variable \(r=s/(t^{1-\beta }\tau _0)\). Therefore,
for any \(M\ge 0\). Comparing with the estimate over \(J_{t,\xi }\), we conclude the proof of (3.10). \(\square \)
As a straightforward consequence of (3.5) and of Lemma 3, we have the following estimates.
Lemma 4
For any \(s\in [0,4]\), we have
furthermore, it holds
for any \(t\ge 0\). Moreover, for any \(t\ge 1\), and \(q\in [1,\infty )\),
provided that \(s+n/q<4\), and
provided that \(s+n/q<2\). Here C is positive constant which does not depend on t.
We stress that since (3.11) holds for any \(s\in [0,4]\), we may also write it in the form
for any \(s\in [0,4]\).
Proof
For any \(\xi \in {\mathbb {R}}^n\) and \(s\in [0,4]\), we use (3.9) to obtain
On the other hand, if \(t\ge 1\), we get
provided that \(s+n/q<4\). Estimate (3.12) immediately follows from (3.10). Moreover, if \(t\ge 1\), we get
provided that \(s+n/q<2\). \(\square \)
4 Proof of the main results
Proof of Theorem 1
Using (3.4), we may estimate
in order to estimate the last term, we split the integral in the two domains \([0,(t-1)_+]\) and \([(t-1)_+,t]\). Then, we apply estimate (3.15) in the first interval and (3.16) in the second one:
This proves (1.8). The second part of the statement follows noticing that
is bounded with respect to t, since \(\beta \in (0,1)\). \(\square \)
The proof of Theorem 2 will be given throughout the following two main lemmas.
Lemma 5
Let \(n\le 3\) and \(s\in [0,2-n/2)\). For any \(u_0\in H^s\cap L^1\) it holds
as \(t\rightarrow \infty \), where \(K_0^\dagger \) is the fundamental solution to (1.3).
Proof
We follow as in [13, Lemma 4]. We first remark that, as in (3.14), with \(q=2\), we have
for any \(t>0\) and \(s\in [0,2-n/2)\). Morover, it holds
where \(\rho (\xi )=\hat{u}_0(\xi )-\hat{u}_0(0)\). Since we are assuming \(u_0\in L^1({\mathbb {R}}^n)\), the function \(\rho \) is continuous and then, for any \(\varepsilon >0\) there exists \(\delta \) sufficiently small such that \(|\rho (\xi )|\le \varepsilon \) for any \({{|}{\xi }{|}}<\delta \). Thus, on the one hand we can estimate
due to (4.2). On the other hand, applying the change of variable \(\eta =\xi t^{\frac{\beta }{2}}\), for t large enough we find
for sufficiently large t. Indeed, due to \(s<2-n/2\), the last integral tends to 0 as \(t\rightarrow \infty \). \(\square \)
Lemma 6
Let \(s\in [0,2-n/2)\). Then, it holds
for \(t\ge 1\), where C is a positive constant which does not depend on t.
Proof
We first note that it holds
In particular, we have
where
By using (3.8), on the one hand, being \(t^{1-\beta }{{|}{\xi }{|}}^2 \sim \tau ^{\frac{1}{\beta }}\) in \(I_{t,\xi }\) for any \(t\ge 1\) we can estimate
for some \(p_\beta >-1\); on the other hand, for any \(t\ge 1\) we have
for some \(q_\beta >-1\).
As a consequence, we can easily conclude
since \(n<4-2s\). The proof of the desired result follows by identity (4.5). \(\square \)
Proof of Theorem 2
The solution to (1.1) is in \(\mathcal C_b([0,\infty ),H^s)\) thanks to Theorem 1. By using (3.4), on the one hand, we may estimate
here, we used (3.12) for \(t\le 1\) and (3.14), together with Plancherel and Riemann-Lebesgue theorem, for \(t>1\); on the other hand, we have
Recalling that \(s<2-n/2\), we use Plancherel and Riemann-Lebesgue theorem together with Lemmas 5 and 6 to conclude that
It remains to estimate the integral term in (4.6) and (4.7): let \(t\le T\), with \(T>0\) arbitrarily large; then, as a consequence of assumption (1.12) and estimate (3.11) we obtain
Let us consider now \(t>T\); we separately estimate three integrals:
Due to \(s<2\), using (3.15), we may estimate
Similarly, if we assume that
then, using (3.15), we may estimate
If (4.10) does not hold, that is, (1.10) holds, using (3.15) we may estimate
where a is as in (1.11). By the Hardy-Littlewoow-Sobolev theorem,
provided that \(q\in (1,2)\), where a is as in (1.11). Therefore,
We obtain
Due to \(s<2\), by using estimate (3.16), we obtain
As a consequence, by (4.6) we conclude
Moreover, if \(\limsup _{t\rightarrow \infty }Q_1(t)=0\) and, in addition, \(\limsup _{t\rightarrow \infty }Q_2(t)=0\) when (1.10) holds, then we can also conclude
as a consequence of (4.7); indeed, for any \(\varepsilon >0\) we can choose \(T>0\) sufficiently large such that for any \(t>T/2\)
and
where a and q are as in (1.11); then, estimates (4.9) and (4.13) still hold replacing \(B_1\) and \(B_2\) by \(\varepsilon \). Additionally, if (4.10) holds we can estimate
due to condition (4.10); similarly, if (4.10) does not hold we have
as a consequence of condition (1.11). This completes the proof of Theorem 2. \(\square \)
We now prove Corollary 1.
Proof of Corollary 1
We equip the evolution space \(X(T)={\mathcal {C}}_b([0,T],H^s)\) with the norm
and we define the operator
where
We will prove the existence of the unique global (in time) solution to (1.17) as the fixed point of the operator N. Hence, in order to get the global (in time) existence and uniqueness of the solution in X(T), we need to prove the following two crucial estimates:
with \(C>0\), independent of T.
As a consequence of Banach’s fixed point theorem, the conditions (4.14) and (4.15) guarantee the existence of a uniquely determined solution u to (1.17). We simultaneously gain a local and a global (in time) existence result.
Indeed, let \(R>0\) be such that \(CR^{p-1}<1/2\). Then N is a contraction on \(X_R(T)= \{u\in X(T): \ \Vert u\Vert _{X(T)}\le R\}\), thanks to (4.15). The solution to (1.17) is a fixed point for N, so if \(\Vert K_0(t,\cdot )*_{(x)}u_0\Vert _{X(T)}\le R/2\), then \(u\in X_R(T)\), thanks to (4.14). As a consequence, the uniqueness and existence of the solution in \(X_R(T)\) follows by the Banach fixed point theorem on contractions. The condition \(\Vert K_0(t,\cdot )*_{(x)}u_0\Vert _{X(T)}\le R/2\) is obtained taking initial data verifying \(\Vert u_0\Vert _{L^1\cap H^s}\le \varepsilon \), with \(\varepsilon \) such that \(C\varepsilon \le R/2\). Since C, R and \(\varepsilon \) do not depend on T, the solution is global (in time).
Let us prove estimates (4.14) and (4.15).
For any \(u\in X(T)\), by Gagliardo-Nirenberg inequality, we obtain
since \(H^s\hookrightarrow L^{2p}\). Therefore, for any \(u,v\in X(T)\), the function
verifies the estimate
for any \(q\in [1,2]\). Due to \(p\ge 1+2/n\), we obtain
Thus, (1.15) holds and we can apply Theorem 2. Thus, (1.13) implies estimate (4.14) and, taking \(u_0\equiv 0\) in (1.13) we obtain (4.15).
In particular, if \(p>1+2/n\) we have
and then, we prove (1.20) as a consequence of (1.14). \(\square \)
5 Conclusions
In Theorem 1, we provided sufficient conditions for the non-homogeneous term g(t, x) which allow to obtain the boundness of the solution to (1.1) in \(H^s\); then, we describe its asymptotic profile in Theorem 2, showing that it is independent of g, provided that \(g(t,\cdot )\) satisfies some additional decay assumptions. This latter effect is related to the special structure of the solution to the Cauchy-type problem for equations with Caputo fractional derivatives, in relation to the non-homogeneous term g(t, x).
There exist many functions \(g(t,\cdot )\) which satisfy the desired conditions. Let us test the assumptions of Theorem 1 for the special class of auto-similar g:
Let \(h\in L^1\cap L^2\) and \(s<\min \{4-n/2,2\}\). In particular, \(g\in L^\infty _tL^2\), since
On the other hand, for any \(t>0\) it holds
Therefore, we can estimate
for any \(t>0\) (here \(\varepsilon \) is sufficiently small, namely \(\varepsilon \le 2-s\)); on the other hand, for any \(t>1\) we may produce a decay rate \(t^{-\gamma }\), by the estimate
where C(n, s) is finite, due to the assumption \(s<4-n/2\). Therefore, if \(\gamma \ge \beta \), Theorem 1 may be applied with
so that we get the estimate
In high space dimension \(n\ge 5\), it may happen that \(4-n/2\le s<2\). In this latter case, let \(r\in (2,\infty )\) be such that \(r(4-s)>n\), and fix \(m\in (1,2)\) be such that
Then we may produce a decay rate \(t^{-2\gamma \left( \frac{1}{m}-\frac{1}{2}\right) }\) for any \(t>1\), by the estimate
where C(n, s, m) is finite, due to the assumption \(r(4-s)>n\). Therefore, if \(2\gamma \left( \frac{1}{m}-\frac{1}{2}\right) \ge \beta \), Theorem 1 applies. Given a fixed s and n, such m exists if \(2\gamma \ge r\beta \) for some \(r>n/(4-s)\), that is, if \(2\gamma >n\beta /(4-s)\).
One may proceed with similar reasoning to test the assumptions of Theorem 2 for a self-similar g.
One could also investigate the possibility to take \(g(t,\cdot )\) in different functional spaces; for instance, following the proof of Theorem 1 one could also prove that u is in \(\mathcal C_b([0,\infty ),H^s)\) and
assuming
and
for some \(q\in [1,2n/(n-4)_+]\) and \(r\ge 1\).
The validity of our main results could be discussed also for the Cauchy-type problem associated to a more general fractional differential equation in the form
with \(0<\beta<\alpha <2\). On the one hand, if both \(\alpha \) and \(\beta \) belong to (0, 1), then one can apply the same approach used in the present paper to investigate the \(H^s\)-boundness of the associated Cauchy-type problem and the asymptotic profile of its solution, assuming the initial data \(u_0=u(0,\cdot )\) to be integrable; on the other hand, if \(0<\beta<1<\alpha <2\) new difficulties arise; in particular, the solution to the corresponding fractional ODE
can be represented as
where
with \(h(s):=s^\alpha +s^\beta +\lambda \). Here, unlike the case \(\alpha ,\,\beta \in (0,1)\) one need to take account of the roots of h(s) in the complex plane in the derivation of an integral representation of the kernels \(H_i\), \(i=0,1,2\). The study of these and other evolution models with multi-term time-fractional derivatives will be object of future investigations.
References
Aronszajn, N., Smith, K.T.: Theory of Bessel potentials. I. Annales de l’Institut Fourier 11, 385–475 (1961). https://doi.org/10.5802/aif.116
Basset, A.B.: A Treatise on Hydrodynamics. Deighton Bell, Cambridge, vol.2, Chap. 22 (1888)
Basset, A.B.: On the descent of a sphere in a viscous liquid. Quart. J. Math 41, 369–381 (1910)
Beckers, S., Yamamoto, M.: Regularity and Unique Existence of Solution to Linear Diffusion Equation with Multiple Time-Fractional Derivatives. Control and Optimization with PDE Constraints, Springer Basel, 45-55 (2013)
Brady, J..F.., Lovalenti, P..M..: The hydrodynamic force on a rigid particle undergoing arbitrary time-dependent motion at small Reynolds number. J. Fluid Mech. 256, 561–605 (1993)
Boussinsesq, J.: Sur la résistance qu’oppose un liquid indéfini en repos, sans pesanteur, au mouvement varié d’une sphère solide qu’il mouille sur toute sa surface. quand les vitesses restent bien continues et assez faibles pour que leurs carrés et produits soient négligeables. C. R. Acad. Paris 100, 935-937 (1885)
Carpinteri, A., Mainardi, F.: Fractional Calculus, Fractals and Fractional Calculus in Continuum Mechanics. Springer Vienna, 291–348 (1997)
Chen, W., D’Abbicco, Girardi, G.: Global small data solutions for semilinear waves with two dissipative terms. Annali di Matematica 201, 529-560 (2022). https://doi.org/10.1007/s10231-021-01128-z
Chen, J., Liu, F., Anh, V.: Analytical solution for the time-fractional telegraph equation by the method of separating variables. J. Math. Anal. Appl. 338(2), 1364–1377 (2008)
D’Abbicco, M.: Critical Exponents for Differential Inequalities with Riemann-Liouville and Caputo Fractional Derivatives. In: New Tools for Nonlinear PDEs and Application, 49-95. Series Trends in Mathematics, D’Abbicco, M., Ebert, M.R., Georgiev, V., Ozawa, T. (Eds.). Birkhäuser Basel (2019)
D’Abbicco, M., Ebert, M.R.: Diffusion phenomena for the wave equation with structural damping in the \(L^p-L^q\) framework. J. Differential Equations 256, 2307–2336 (2014). https://doi.org/10.1016/j.jde.2014.01.002
D’Abbicco, M., Ebert, M.R.: A classification of structural dissipations for evolution operators. Math. Meth. Appl. Sci. 39, 2558–2582 (2016). https://doi.org/10.1002/mma.3713
D’Abbicco, M., Ebert, M.R.: Asymptotic profiles and critical exponents for a semilinear damped plate equation with time-dependent coefficients. Asymptotic Analysis 1, 1–40 (2020). https://doi.org/10.3233/ASY-201624
D’Abbicco, M., Ebert, M.R., Picon, T.: The critical exponent(s) for the semilinear fractional diffusive equation. Journal of Fourier Analysis and Applications 25(3), 696–731 (2019). https://doi.org/10.1007/s00041-018-9627-1
D’Abbicco, M., Girardi, G., Liang, J.: \(L^1-L^1\) estimates for the strongly damped plate equation. J. Math. Anal. Appl. 478, 476–498 (2019). https://doi.org/10.1016/j.jmaa.2019.05.039
Fellah, Z.E.A., Depollier, C., Lauriks, W., Sebaa, N.: Application of fractional calculus to ultrasonic wave propagation in human cancellous bone. Signal Process. Arch. 86(10), 2668–2677 (2006)
Gorenflo R., Mainardi F.: Fractional Calculus: Integral and Differential Equations of Fractional Order. CISM Courses and Lectures, vol. 378, Springer Verlag, Berlin, 223-276 (1997)
Gorenflo, R., Luchko, Y.F., Umarov, S.R.: On the Cauchy and Multi-point Problems for Partial Pseudo-differential Equations of Fractional Order. Fract. Calc. Appl. Anal. 3, 249–275 (2000)
Hughes, R.R., Gilliand, E.R.: The mechanics of drops. Chem. Engng. Progress 48, 497–504 (1952)
Ikehata, R., Todorova, G., Yordanov, B.: Wave equations with strong damping in Hilbert spaces. J. Differential Equations 254, 3352–3368 (2013). https://doi.org/10.1016/j.jde.2013.01.023
Karch, G.: Selfsimilar profiles in large time asymptotics of solutions to damped wave equations. Studia Mathematica 143, 175–197 (2000). https://doi.org/10.4064/sm-143-2-175-197
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204, Elsevier Science B.V., Amsterdam (2006)
Lawrence, C.J., Mei, R.: Long-time behaviour of the drag on a body in impulsive motion. J. Fluid. Mech. 283, 307–327 (1995)
Luchko, Y.F., Gorenflo, R.: An operational method for solving fractional differential equations with Caputo derivatives. Acta Mathematica Vietnamica 24(2), 207–233 (1999)
Magin, R.: Modeling the cardiac tissue electrode interface using fractional calculus. J. Vib. Control 14, 1431–1442 (2008)
Margulies, T.: Wave propagation in viscoelastic horns using a fractional calculus rheology model. Acoust. Soc. Am. J. 114(4), 2442–2442 (2003)
Marcati, P., Nishihara, K.: The \(L^p-L^q\) estimates of solutions to onedimensional damped wave equations and their application to the compressible flow through porous media. J. Differential Equations 191(2), 445–469 (2003). https://doi.org/10.1016/S0022-0396(03)00026-3
Mathieu, B., Melchior, P., Oustaloup, A., Ceyral, Ch.: Fractional differentiation for edge detection. Fract. Signal Process. Appl. 83(11), 2285–2480 (2003)
Maxey, M.R., Riley, J.J.: Equation of motion for a small rigid sphere in a nonuniform flow. Phys. Fluids 26, 883–889 (1983)
S. McKee, Reeks, M.V.: The dispersive effects of Basset history forces on particle motion in a turbulent flow. Phys. Fluids 21, 1573-1582 (1984)
McKee, S., Stokes, A.: Product integration methods for the nonlinear Basset equation. SIAM J. Numer. Anal. 20, 143–160 (1983)
Mei, R.: History forces on a sphere due to a step change in the free-stream velocity. Int. J. Multiphase Flow 19, 509–525 (1993)
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Narazaki, T.: \(L^p-L^q\) estimates for damped wave equations and their applications to semilinear problem. J. Math. Soc. Japan 56(2), 585–626 (2004). https://doi.org/10.2969/jmsj/1191418647
Nigmatullin, R.R., Khamzin, A.A., Baleanu, D.: On the Laplace integral representation of multivariate Mittag-Leffler functions in anomalous relaxation. Math. Meth. Appl. Sci. 39, 2983–2992 (2016). https://doi.org/10.1002/mma.3746
Nishihara, K.: \(L^p-L^q\) estimates of solutions to the damped wave equation in 3-dimensional space and their application. Math. Z. 244(3), 631–649 (2003)
Odar, F., Hamilton, W.S.: Forces on a sphere accelerating in a viscous fluid. J. Fluid Mech. 18, 302–314 (1964)
Odar, F.: Verification of the proposed equation for calculation of forces on a sphere accelerating in a viscous fluid. J. Fluid Mech. 25, 591–592 (1966)
Orsingher, E., Beghin, L.: Time-fractional telegraph equations and telegraph processes with brownian time. Probab. Theory Relat. Fields 128, 141–160 (2004)
Popov, AYu., Sedletskii, A.M.: Distribution of roots of Mittag-Leffler functions. J. Math. Sci. 190, 209–409 (2013)
Shibata, Y.: On the rate of decay of solutions to linear viscoelastic equation. Math. Meth. Appl. Sci. 23, 203–226 (2000)
Stojanović, M.: Existence-uniqueness result for a nonlinear n-term fractional equation. Journal of Mathematical Analysis and Applications 353, 244–255 (2009)
Stojanović, M., Gorenflo, R.: Nonlinear two-term time fractional diffusion-wave problem. Nonlinear Analysis: Real World Applications 11, 3512–3523 (2010)
Todorova, G., Yordanov, B.: Critical exponent for a nonlinear wave equation with damping. J. Differential Equations 174(2), 464–489 (2001). https://doi.org/10.1006/jdeq.2000.3933
Zhou, Y., He, J.W.: Well-posedness and regularity for fractional damped wave equations. Monatsh. Math. 194, 425–458 (2021)
Acknowledgements
The second author is “ Titolare di un Assegno di Ricerca dell’Istituto Nazionale di Alta Matematica (INdAM)”.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
This article is published under an open access license. Please check the 'Copyright Information' section either on this page or in the PDF for details of this license and what re-use is permitted. If your intended use exceeds what is permitted by the license or if you are unable to locate the licence and re-use information, please contact the Rights and Permissions team.
About this article
Cite this article
D’Abbicco, M., Girardi, G. Asymptotic profile for a two-terms time fractional diffusion problem. Fract Calc Appl Anal 25, 1199–1228 (2022). https://doi.org/10.1007/s13540-022-00041-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13540-022-00041-3
Keywords
- Multi-terms fractional ordinary and partial differential equations
- Asymptotic profile
- Critical exponent
- Global existence
- Small data