- Research
- Open access
- Published:
A priori bounds of the solution of a one point IBVP for a singular fractional evolution equation
Advances in Difference Equations volume 2020, Article number: 584 (2020)
Abstract
A priori bounds constitute a crucial and powerful tool in the investigation of initial boundary value problems for linear and nonlinear fractional and integer order differential equations in bounded domains. We present herein a collection of a priori estimates of the solution for an initial boundary value problem for a singular fractional evolution equation (generalized time-fractional wave equation) with mass absorption. The Riemann–Liouville derivative is employed. Results of uniqueness and dependence of the solution upon the data were obtained in two cases, the damped and the undamped case. The uniqueness and continuous dependence (stability of solution) of the solution follows from the obtained a priori estimates in fractional Sobolev spaces. These spaces give what are called weak solutions to our partial differential equations (they are based on the notion of the weak derivatives). The method of energy inequalities is used to obtain different a priori estimates.
1 Introduction
In the disk, \(D= \{ (x,y)\in \mathbb{R} ^{2}, x^{2}+y^{2}< b^{2} \} \), we consider the following evolution fractional partial differential equation in the Riemann–Liouville sense:
with a damping effect due to the term \(\delta \mathcal{U}_{t}\), with \(\delta >0\), and where \(\partial _{t}^{\lambda } \mathcal{U}\) is the Riemann–Liouville fractional derivative of order \(\lambda \in (1,2]\) defined below. The functions \(h(x,y,t)\) and \(A(x,y,t)\) are given and will be specified later. If we search only for the radially symmetric solution (the functions h and A must be radial), we then have the partial differential equation
such that \(0< r< b\), \(0<\theta <2\pi \), \(t>0\).
Assume that the source term \(h(r,\theta ,t)\) and the function \(A(r,\theta ,t) \) are independent of θ and denote x in place of r, then instead of Eq. (1.2), we obtain the time-fractional generalized wave equation
where \(x\in \Omega =(0,b)\), \(t>0\).
If \(A(x,t)=0\), then (1.3) reduces to the fractional non-homogeneous damped wave equation with Bessel operator
In the special case where \(\delta =0\) (no damping) and \(A(x,t)=\alpha \), the differential equation (1.3) corresponds to the time-fractional generalization of the nonhomogeneous Klein–Gordon equation [1–4] with Bessel operator
This equation plays a great role in relativistic physics and can be used to represent dispersive wave phenomena. In Eq. (1.5), the case \(\alpha >0\) corresponds to mass absorption and the case \(\alpha <0\) corresponds to mass release. When \(\lambda =2\), \(A(x,t)=0\), and \(\delta >0\), Eq. (1.3) represents the telegraph equation with Bessel operator, which arises for example in signal analysis [5], wave propagation [6], and it also governs the electrical transmission in a telegraph cable,
It can also be considered as the damping wave equation with damping term \(\delta \mathcal{U}_{t}\). It should be noted that when \(\lambda =2\), Eq. (1.5) reduces to the non-homogeneous hyperbolic Klein–Gordon equation with Bessel operator
which can be encountered for example in quantum and classical mechanics and solid state physics [6, 10]. Equation (1.5) is in fact the time-fractional counterpart of Eq. (1.7). It should be also noted that when \(\lambda =1\), \(\alpha >0\), Eq. (1.5) represents the classical parabolic diffusion equation with heat or mass absorption and source heat \(h(x,t)\) where the elliptic part is replaced by the Bessel operator \(\frac{1}{x}\frac{\partial }{\partial x} ( x \frac{\partial }{\partial x} )\), that is,
We also mention the very special case of Eq. (1.3), when \(A=0\), \(\delta =0\); we then have the time-fractional diffusion-wave equation for \(\lambda \in (0,2]\)
where the case \(\lambda \in (0,1)\) corresponds to the slow diffusion, with heat supply \(h(x,t)\), and the case \(\lambda \in (1,2]\) corresponds to the fast diffusion (fractional wave propagation) with \(h(x,t)\) as an external force. The case \(\lambda =0\) is known as the localized diffusion and corresponds to the Helmholtz equation, and the case \(\lambda =2\) is known as the ballistic diffusion and corresponds to the wave equation. The differential equation (1.9) describes several physical phenomena in many branches of sciences [7–9].
Finally, we indicate that, if in Eq. (1.3) the function \(\mathcal{U}\) depends only on time t and \(\lambda =2\), we obtain the general Bagley–Torvik equation,
but with \(\beta =1\). This fractional differential equation has a huge applications in engineering and applied sciences fields (see for example [10–13]). There are some recent papers dealing with numerical and theoretical aspects of fractional partial differential equations, related to our work, and having many applications, for which the reader can refer to [14–21].
The main purpose of this paper is to derive certain a priori estimates (in the form of uniform bounds for derivatives) for solutions of an initial boundary value problem for a singular time-fractional wave equation with mass absorption in the case of presence and absence of a certain damping term. The method of energy inequalities is used to obtain different a priori estimates (see for example [22–24]). The obtained results can greatly contribute in the development of the method of a priori estimate, the so called energy inequalities method for fractional order PDEs. To the best of our knowledge, there are few papers dealing with the a priori estimate method for the fractional order differential equations case.
2 Statement of the problem
A time-fractional damped partial differential equation with Bessel operator in the domain \(\Lambda =\Omega \times {}[ 0,T]=(0,b)\times {}[ 0,T]\) is considered
under zero initial data
and with one point boundary condition (Dirichlet condition)
where \(h\in L_{x}^{2}([0,T],\Omega )\) and the function A satisfies
The fractional order derivative \(\partial _{t}^{\lambda }\mathcal{Z}\) is the left Riemann–Liouville fractional derivative of order \(\lambda \in (1,2]\) for a function \(\mathcal{Z}\) defined on Λ [25, 26] given by
We denote by \(\partial _{T}^{\eta }\mathcal{Z}\) the right Riemann–Liouville fractional derivative defined by
For essentials of fractional calculus, we refer the reader to [25–28].
3 Functional setting
Let \(L^{2}(0,T)\) be the space of measurable square integrable functions on \((0,T)\) with inner product and norm given, respectively, by
and \(L_{x}^{2}(0,b)\), be the weighted space having the inner product
We also introduce the fractional derivative spaces \(H_{t,x}^{\eta }([0,T],\Omega )\) and \(H_{T,x}^{\eta }([0,T],\Omega )\) to be the space of functions \(U\in L_{x}^{2}([0,T],\Omega )\) having η-order Riemann–Liouville derivative \(\partial _{t}^{\eta }U\in L_{x}^{2}([0,T],\Omega )\), \(U(x,0)=0\), \(U(x,T)=0\), having, respectively, the norms
and
That is, \(H_{t,x}^{\eta }([0,T],\Omega )\) and \(H_{T,x}^{\eta }([0,T],\Omega )\) can be defined as the closure of \(C^{\infty }([0,T],\Omega )\) with respect to the norms (3.3) and (3.4), respectively. We denote by \(C([0,T],\Omega )\) the Banach space of the set of functions \(U:[0,T]\rightarrow \Omega \) equipped with the norm
We also need the usual Sobolev space \(H_{x}^{1}(\Lambda )\) with norm
The following lemmas are crucial for the proofs of results.
Lemma 1
([29])
If \(0<\eta <1\), \(\mathcal{N}(t)\in H_{t}^{\eta }([0,T])\), \(\mathcal{M}(t)\in H_{T}^{\eta }([0,T])\), and \(\mathcal{N}(0)=0\), \(\mathcal{M}(0)=0\). then
Lemma 2
([30])
If \(\beta >0\), \(\mathcal{N}\in C^{\infty }(\mathbb{R} )\) and \(\operatorname{supp} \mathcal{N\subset }[0,T]\). Then
Remark
(see [30], pages 5 and 19)
Note that, for \(\beta =n-\frac{1}{2}\), n is a natural number, \(( \partial _{t}^{\beta }\mathcal{N},\partial _{T}^{\beta } \mathcal{N} ) _{L^{2}([0,T])}=0\). For example \(\beta =\frac{1}{2}\), \(( \partial _{t}^{\frac{1}{2}}\mathcal{N},\partial _{T}^{ \frac{1}{2}}\mathcal{N} ) _{L^{2}([0,T])}= ( \partial _{t} \mathcal{N},\mathcal{N} ) _{L^{2}([0,T])}=0\), provided that \(\mathcal{N}\) vanishes on the boundary.
Throughout the following, we suppose that there exists a solution u in \(C^{2,2}(\overline{\Lambda })\) of problem (2.1)–(2.3) and problem (5.1), (2.2) and (2.3).
4 A priori estimations for the damped case
Theorem 4.1
Let \(\lambda =\eta +1\) with \(0<\eta <1\), and assume that \(h\in L_{x}^{2}([0,T],\Omega )\), and the function \(A(x,t)\) satisfies conditions (2.4), then the solution of problem (2.1)–(2.3) verifies the a priori bound
where ω is a positive constant given by
Proof
We consider the inner product in \(L_{x}^{2}(\Omega )\) of the differential equation (2.1) and the operator P \(( \mathcal{U} ) =(\partial _{t}^{\eta }+\frac{\partial }{\partial t}) \mathcal{U}\) to have
Taking into account the boundary condition (2.3) and the initial conditions (2.2), we obtain
Referring to (4.3) and using (4.4)–(4.8), it follows that
Replace t by s and integrate with respect to s over the interval \((0,t) \) and use Lemma 1 and Lemma 2 and conditions (2.4); it follows that
Since \(\cos (\frac{\pi \eta }{2})>0\) for \(\eta \in (0,1)\), and
inequality (4.10) becomes
where \(\Lambda _{t}=\Omega \times (0,t)\). We estimate the right-hand side of (4.11) which becomes
Let \(\varepsilon _{1}=1\), \(\varepsilon _{2}=\frac{1}{2}\), \(\varepsilon _{3}=\frac{\delta }{2}\), then (4.12) reduces to
where
We apply Gronwall’s lemma [11] to (4.13) and we omit the third term on its left-hand side, and we get
By taking the maximum of both sides of (4.15) with respect to t over \([0,T]\), then it can be reduced to the desired a priori estimate
where ω is given by (4.14). It follows from the a priori estimate (4.16) that problem (2.1)–(2.3) admits a unique solution that depends continuously on the given data. □
5 A priori estimations for the undamped case
In the case of the undamped equation
that is, when \(\delta =0\), we have the following results.
Theorem 5.1
Suppose that \(A(x,t)\) satisfies conditions (2.4) and \(h\in L_{x}^{2}([0,T],\Omega )\). Let \(\lambda =\eta +1\) with \(0<\eta <1\), then the solution of problem (5.1), (2.2) and (2.3) satisfies the a priori estimate
where
Proof
Consider the identity
Inequality (5.4) can be reduced to
If we integrate (5.5) with respect to t from 0 to τ, and use the Cauchy ε inequality as well as the conditions (2.4), we obtain
Thanks to [30], the term \(\Vert \mathcal{U}_{t} \Vert _{L_{x}^{2}(\Lambda _{\tau })}^{2}\) can be eliminated from the right-hand side of (5.6) and thus
Observe that \(\cos (\frac{\pi \eta }{2})>0\) and
then letting \(\varepsilon =\cos (\frac{\pi \eta }{2}) \frac{\Gamma (\frac{\eta }{2}+1)}{T^{\eta /2}}\), we infer from (5.7) that
where
A term \(\Vert \mathcal{U} \Vert _{L_{x}^{2}(\Lambda _{\tau })}^{2}\) was added to the right-hand side of (5.7). We now apply Gronwall’s lemma [11] to (5.9), we obtain after taking the maximum over the interval \([0,T]\)
from which we deduce the uniqueness and continuous dependence of solution on the input data of problem (5.1), (2.2) and (2.3). □
Theorem 5.2
Let \(\lambda =\eta +1\) with \(0<\eta <1\), and assume that \(h\in L_{x}^{2}([0,T],(0,b))\), then the solution of problem (5.1), (2.2) and (2.3) satisfies the a priori estimate
where
Proof
We multiply the differential equation (5.1) by \(x\partial _{t}^{\eta } \mathcal{U}\) and integrate on Ω, we have
The use of initial and boundary conditions gives
Invoking conditions (2.4) and replacing t by ν and integrating with respect to ν from 0 to t, inequality (5.14) implies
Taking into account that
and employing condition (2.2) and the Cauchy–Schwartz inequality, we infer from (5.15) that
Discarding the first two term on the left-hand side of (5.17) gives
Now dropping the third term on the left-hand side of (5.17), then using (5.18), and taking \(t=T\), we obtain
By summing (5.18) and (5.19) side to side, the a priori estimate (5.11) follows, and it implies that problem (5.1), (2.2) and (2.3) admits a unique solution depending continuously on the given data. □
Conclusion 1
A collection of a priori estimates in fractional Sobolev spaces for the solution of some initial boundary value problems for singular time-fractional diffusion equations with mass absorption is obtained. The fractional derivative is considered in the Riemann–Liouville sense. For this type of fractional derivatives, an arbitrary function needs not be continuous at the origin and it needs not be differentiable. The uniqueness and continuous dependence (stability of solution) of the solution on the input data in different fractional Sobolev spaces follows from the obtained a priori bounds.
The method of energy inequalities is used to obtain the different a priori estimates. The obtained results can greatly contribute in the development of the used method for partial differential equations of fractional order. We should mention that there are few papers using the a priori estimate method for the fractional order differential equations. A more general fractional models can be investigated by employing the proposed method, especially those having a certain singularity, such as fractional evolution equations with Bessel operator, where weighted Sobolev spaces may be involved.
References
Blackledge, J., Babajanov, B.: The fractional Schrödinger–Klein–Gordon equation and intermediate relativism. Math. Æterna 3, 601–615 (2013)
Vitali, S., Castellani, G., Mainardi, F.: Time fractional cable equation and applications in neurophysiology. Chaos Solitons Fractals 102, 467–472 (2017)
Povstenko, Y., Kyrylych, T.: Time-fractional diffusion with mass absorption under harmonic impact. Fract. Calc. Appl. Anal. 21, 118–133 (2018). https://doi.org/10.1515/fca-2018-0008
Povstenko, Y., Kyrylych, T.: Time-fractional diffusion with mass absorption in a half-line domain due to boundary value of concentration varying harmonically in time. Entropy 19, 346 (2018)
Jordan, P.M., Puri, A.: Digital signal propagation in dispersive media. J. Appl. Phys. 85, 1273–1282 (1999)
Weston, V.H., He, S.: Wave splitting of the telegraph equation in R3 and its application to inverse scattering. Inverse Probl. 9, 789–812 (1993)
Hilfer, R. (ed.): Applications of Fractional Calculus in Physics World Scientific, Singapore (2000)
Mainardi, F.: Fractional calculus: some basic problems in continuum and statistical mechanics. In: Carpinteri, A., Mainardi, F. (eds.) Fractals and Fractional Calculus in Continuum Mechanics, pp. 291–348. Springer, Wien (1997)
Zaslavsky, G.M.: Chaos, fractional kinetics, and anomalous transport. Phys. Rep. 371, 461–580 (2002)
Srivastava, H.M., Jena, R.M., Chakraverty, S., et al.: Dynamic response analysis of fractionally-damped generalized Bagley–Torvik equation subject to external loads. Russ. J. Math. Phys. 27, 254–268 (2020)
Srivastava, H.M., Shah, F.A., Abass, R.: An application of the Gegenbauer wavelet method for the numerical solution of the fractional Bagley–Torvik equation. Russ. J. Math. Phys. 26, 77–93 (2019)
Baleanu, D., Shiri, B., Srivastava, H.M., Al Qurashi, M.: A Chebyshev spectral method based on operational matrix for fractional differential equations involving non-singular Mittag-Leffler kernel. Adv. Differ. Equ. 2018, Article ID 353 (2018)
Singh, H., Srivastava, H.M.: Jacobi collocation method for the approximate solution of some fractional-order Riccati differential equations with variable coefficients. Phys. A, Stat. Mech. Appl. 523(C), 1130–1149 (2019)
Shiri, B., Wu, G.C., Baleanu, D.: Collocation methods for terminal value problems of tempered fractional differential equations. Appl. Numer. Math. 156, 385–395 (2020)
Chang, Y.M., Shiri, B., Wu, G.C., Baleanu, D.: New fractional signal smoothing equations with short memory and variable order. Optik 218, 164507 (2020)
Ehsan, D.K., Hosain, G., Shiri, B.: Spline collocation methods for seismic analysis of multiple degree of freedom systems with visco-elastic dampers using fractional models. J. Vib. Control 26(17–18), 1445–1462 (2020)
Shiri, B., Baleanu, D.: System of fractional differential algebraic equations with applications. Chaos Solitons Fractals 120, 203–212 (2019)
Baleanu, D., Shiri, B.: Collocation methods for fractional differential equations involving non-singular kernel. Chaos Solitons Fractals 116, 136–145 (2018)
Singh, H., Srivastava, H.M., Kumar, D.: A reliable numerical algorithm for the fractional vibration equation. Chaos Solitons Fractals 103, 131–138 (2017)
Singh, H., Srivastava, H.M.: Numerical simulation for fractional-order Bloch equation arising in nuclear magnetic resonance by using the Jacobi polynomials. Appl. Sci. 10, 2850 (2020). https://doi.org/10.3390/app10082850
Singh, H., Srivastava, H.M.: Numerical investigation of the fractional order Liénard and Duffing equations arising in oscillating circuit theory. Front. Phys. 8, 120 (2020)
Kasmi, L., Guerfi, A., Mesloub, S.: Existence of solution for 2-D time-fractional differential equations with a boundary integral condition. Adv. Differ. Equ. 2019, Article ID 511 (2019)
Mesloub, S., Bachar, I.: On a nonlocal 1-D initial value problem for a singular fractional-order parabolic equation with Bessel operator. Adv. Differ. Equ. 2019, Article ID 254 (2019)
Alikhanov, A.A.: A priori estimates for solutions of boundary value problems for fractional-order equations. Differ. Equ. 46(5), 660–666 (2010)
Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1999)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives, Theory and Applications. Gordon and Breach, Amsterdam (1993). English translation from Russian edition: Naukai Tekhnika, Minsk (1987)
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Delic, A.: Fractional in time diffusion-wave equation and its numerical approximation. Filomat 30(5), 1375–1385 (2016)
Ervin, V.J., Roop, J.P.: Variational formulation for the stationary fractional advection dispersion equation. Numer. Methods Partial Differ. Equ. 23, 558–576 (2006)
Acknowledgements
The authors would like to extend their sincere appreciation to the Deanship of Scientific Research at King Saud University for its funding this Research group No. (RG-117).
Availability of data and materials
Not applicable.
Funding
The Deanship of Scientific Research at King Saud University.
Author information
Authors and Affiliations
Contributions
The authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Mesloub, S., Gadain, H.E. A priori bounds of the solution of a one point IBVP for a singular fractional evolution equation. Adv Differ Equ 2020, 584 (2020). https://doi.org/10.1186/s13662-020-03049-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-03049-2