Skip to main content

The Dirichlet problem for the time-fractional advection-diffusion equation in a line segment

Abstract

The one-dimensional time-fractional advection-diffusion equation with the Caputo time derivative is considered in a line segment. The fundamental solution to the Dirichlet problem and the solution of the problem with a constant boundary condition are obtained using the integral transform technique. The numerical results are illustrated graphically.

1 Introduction

The constitutive equation for the matter flux (see, for example, [1])

$$ \mathbf{j}= - a \operatorname{grad} c + \mathbf{v}c, $$
(1)

where a denotes the diffusivity coefficient, v is the velocity vector, in combination with the balance equation for mass results in the standard advection-diffusion equation (under assumption \(\mathbf{v}= \mbox{const}\)):

$$ \frac{\partial c}{\partial t } = a \Delta c - \mathbf{v} \cdot\operatorname{grad} c . $$
(2)

Equation (2) can be interpreted in terms of diffusion or heat conduction with additional velocity field as well as in terms as transport processes in porous media, Brownian motion or groundwater hydrology [16]. In the case of one spatial coordinate x, the advection-diffusion equation (2) takes the form

$$ \frac{\partial c}{\partial t } = a \frac{\partial^{2}c}{\partial x ^{2}} - v \frac{\partial c}{\partial x } . $$
(3)

In the last few decades, an increasing interest has been observed in the study of equations with derivatives of fractional order which have many applications in physics, geophysics, geology, rheology, engineering and bioengineering [714]. The time-nonlocal generalizations of the constitutive equation (1) were analyzed in [15] (compare this analysis with that of the generalized Fourier or Fick law carried out in [14, 1619]). In the case of the ‘long-tail’ power kernel, the generalized constitutive equation for the mass flux has the following form [15]:

$$ \mathbf{j}= D_{RL}^{1-\alpha} \bigl[ - a \operatorname{grad} c(t) + \mathbf{v}c(t) \bigr], $$
(4)

where \(D_{RL}^{\alpha}c(t)\) is the Riemann-Liouville fractional derivative of the order α [2022]:

$$ D_{RL}^{\alpha} c(t) = \frac{\mathrm{d}^{n}}{\mathrm{d} t^{n}} \biggl[ \frac{1}{\Gamma(n-\alpha)} \int _{0}^{t} (t-\tau)^{n-\alpha-1} c(\tau) \,\mathrm{d}\tau \biggr],\quad n-1 < \alpha< n . $$
(5)

Here \(\Gamma(\alpha)\) is the gamma function. In combination with the balance equation for mass, the constitutive equation (4) leads to the time-fractional advection-diffusion equation

$$ \frac{\partial^{\alpha}c}{\partial t^{\alpha}} = a \Delta c - \mathbf{v}\cdot\operatorname{grad} c $$
(6)

with the Caputo fractional derivative of the order α [2022]:

$$ \frac{ \mathrm{d}^{\alpha} c(t)}{\mathrm{d} t^{\alpha}} = \frac{1}{\Gamma(n-\alpha)} \int _{0}^{t} (t-\tau)^{n-\alpha-1} \frac{\mathrm{d}^{n}c(\tau)}{\mathrm{d} \tau^{n}} \,\mathrm{d}\tau, \quad n-1 < \alpha< n . $$
(7)

A comprehensive survey of research on the fractional advection diffusion equation as well as of the numerical methods used for its solving can be found in [23]. In the literature there are only several papers in which the analytical solutions of fractional advections diffusion equation were considered [2326]. In the present paper, we investigate the Dirichlet problem for equation (6) in a line segment \(0< x< L\). Two types of boundary conditions are considered: the Dirac delta boundary condition for the fundamental solution and the constant boundary condition for the sought-for function.

2 The fundamental solution to the Dirichlet problem

We study the time-fractional advection-diffusion equation in a line segment \(0< x< L\),

$$ \frac{\partial^{\alpha} c}{\partial t^{\alpha} } = a \frac{\partial^{2}c}{\partial x ^{2}} - v \frac{\partial c}{\partial x } , \quad 0< \alpha\leq1. $$
(8)

As usually \(a>0\), \(v>0\), \(0< t< \infty\).

The advection diffusion equation (8) is considered under the zero initial condition

$$ t=0:\quad c(x,t) =0, $$
(9)

and the Dirichlet boundary conditions at the ends of the segment:

$$\begin{aligned}& x=0:\quad c(x,t) = g_{0} \delta(t), \end{aligned}$$
(10)
$$\begin{aligned}& x=L:\quad c(x,t) =0, \end{aligned}$$
(11)

where \(\delta(t)\) is the Dirac delta function. The constant multiplier \(g_{0}\) has been introduced to obtain the nondimensional quantity displayed in the figures.

The new sought-for function

$$ c(x,t) = \exp \biggl( \frac{vx}{2a} \biggr) u(x,t) $$
(12)

reduces the considered initial-boundary-value problem to the following one:

$$\begin{aligned}& \frac{\partial^{\alpha} u}{\partial t^{\alpha} } = a \frac{\partial^{2}u}{\partial x ^{2}} - \frac{v^{2}}{4a} u, \end{aligned}$$
(13)
$$\begin{aligned}& t=0:\quad u(x,t) =0, \end{aligned}$$
(14)
$$\begin{aligned}& x=0:\quad u(x,t) = g_{0} \delta(t), \end{aligned}$$
(15)
$$\begin{aligned}& x=L:\quad u(x,t) =0 . \end{aligned}$$
(16)

To solve the Dirichlet problem under examination, we use the finite sin-Fourier transform with respect to the spatial coordinate x. Such a transform is the convenient reformulation of the sin-Fourier series in the domain \(0\leq x \leq L\):

$$\begin{aligned}& \mathcal{F} \bigl\{ u(x) \bigr\} = \widetilde{u} ( \xi_{k} ) = \int _{0}^{L} u(x) \sin ( \xi_{k} x ) \,\mathrm{d} x, \end{aligned}$$
(17)
$$\begin{aligned}& \mathcal{F}^{-1} \bigl\{ \widetilde{u} ( \xi_{k} ) \bigr\} = u(x) = \frac{2}{L} \sum_{k=1}^{\infty} \widetilde{u} ( \xi _{k} ) \sin ( \xi_{k} x ) , \end{aligned}$$
(18)

with

$$ \xi_{k}= \frac{k\pi}{L},\quad k=1,2,3,\ldots. $$
(19)

The finite sin-Fourier transform of the second order derivative of a function is calculated according to the relation

$$ \mathcal{F} \biggl\{ \frac{\mathrm{d}^{2}u(x)}{\mathrm{d}x^{2}} \biggr\} = - \xi^{2}_{k} \widetilde{u} ( \xi_{k} ) + \xi_{k} \bigl[u(0) - (-1 )^{k} u(L) \bigr] . $$
(20)

Application of the finite sin-Fourier transform (17) to equation (13) using (15), (16), and (20) leads to

$$\begin{aligned}& \frac{\partial^{\alpha} \widetilde{u} (\xi_{k},t )}{\partial t^{\alpha}} = \biggl( - a \xi_{k}^{2} - \frac{v^{2}}{4a} \biggr) \widetilde{u} (\xi_{k},t ) + a \xi_{k}g_{0} \delta(t) , \end{aligned}$$
(21)
$$\begin{aligned}& t=0: \quad\widetilde{u} (\xi_{k},t ) =0. \end{aligned}$$
(22)

Next, we use the Laplace transform with respect to the time t. Recall that the Caputo fractional derivative for the Laplace transform requires the knowledge of the initial values of the function and its integer derivatives of the order \(k=1,2, \dots, n-1\) [2022]:

$$ \mathcal{L} \biggl\{ \frac{\mathrm{d}^{\alpha} u(t)}{\mathrm{d}t^{\alpha}} \biggr\} = s^{\alpha} u^{*} (s) - \sum_{k=0}^{n-1} u^{(k)}\bigl(0^{+}\bigr)s^{\alpha-1-k},\quad 1 < \alpha< n, $$
(23)

where s is the transform variable.

Applying the Laplace transform to equation (21) under the initial condition (22) gives

$$ \widetilde{u}^{ *} (\xi_{k},s ) =ag_{0} \frac{\xi_{k}}{s^{\alpha} + a\xi_{k}^{2} + \frac {v^{2}}{4a}} . $$
(24)

Inversion of the integral transforms results in the solution

$$ u(x,t) = \frac{2ag_{0}t^{\alpha-1}}{L} \sum_{k=1}^{\infty} \xi_{k} \sin ( \xi_{k}x ) E_{\alpha,\alpha} \biggl[- \biggl(a\xi_{k}^{2} + \frac{v^{2}}{4a} \biggr)t^{\alpha} \biggr] , $$
(25)

where the formula [2022]

$$ \mathcal{L}^{-1} \biggl\{ \frac{s^{\alpha- \beta}}{s^{\alpha}+b} \biggr\} = t^{\beta-1}E_{\alpha, \beta} \bigl(-bt^{\alpha} \bigr) $$
(26)

has been used with \(E_{\alpha, \alpha}\) being the Mittag-Leffler function in two parameters α and β:

$$ E_{\alpha, \beta}(z) = \sum_{n=0}^{\infty} \frac{z^{n}}{\Gamma(\alpha n + \beta)},\quad \alpha, \beta>0. $$
(27)

Returning to the quantity \(c(x,t)\) according to (12), we finally get the fundamental solution to the Dirichlet problem:

$$ c(x,t) = \frac{2ag_{0}t^{\alpha-1}}{L} \exp \biggl(\frac{vx}{2a} \biggr) \sum _{k=1}^{\infty} \xi_{k} \sin ( \xi_{k}x ) E_{\alpha,\alpha} \biggl[- \biggl(a\xi_{k}^{2} + \frac{v^{2}}{4a} \biggr)t^{\alpha} \biggr] . $$
(28)

Using the nondimensional quantities

$$ \bar{x} = \frac{x}{L},\qquad \bar{\xi_{k}}=L\xi_{k}=k\pi,\qquad \bar{v}= \frac{vL}{a},\qquad \kappa= \frac{\sqrt{a}t^{\alpha/2}}{L} ,\qquad \bar{c} = \frac{L^{2}c}{ag_{0}t^{\alpha-1}} , $$
(29)

we obtain

$$ \bar{c}(\bar{x},\kappa) = 2 \exp \biggl(\frac{\bar{v}\bar{x}}{2} \biggr) \sum _{k=1}^{\infty} \bar{\xi}_{k} \sin ( \bar{\xi} _{k}\bar{x} ) E_{\alpha,\alpha} \biggl[-\kappa^{2} \biggl( \bar{\xi} _{k}^{2} + \frac{\bar{v}^{2}}{4} \biggr)t^{\alpha} \biggr] . $$
(30)

The fundamental solution (30) is shown in Figures 1-4 for different values of the order of fractional derivative α, the time parameter κ, and the drift parameter .

Figure 1
figure 1

Dependence of the fundamental solution ( 30 ) on distance \(\pmb{\bar{x}}\) and the order α of fractional derivative ( \(\pmb{\bar{v}=2}\) , \(\pmb{\kappa =0.2}\) ).

Figure 2
figure 2

Dependence of the fundamental solution ( 30 ) on distance \(\pmb{\bar{x}}\) and the order α of fractional derivative ( \(\pmb{\bar{v}=2}\) , \(\pmb{\kappa =1}\) ).

Figure 3
figure 3

Dependence of the fundamental solution ( 30 ) on distance \(\pmb{\bar{x}}\) and the time parameter κ ( \(\pmb{\bar{v}=2}\) , \(\pmb{\alpha =0.5}\) ).

Figure 4
figure 4

Dependence of the fundamental solution ( 30 ) on distance \(\pmb{\bar{x}}\) and the drift parameter \(\pmb{\bar{v}}\) ( \(\pmb{\alpha =0.5}\) , \(\pmb{\kappa =0.2}\) ).

3 Constant boundary value of a function

Next, we consider the time-fractional advection-diffusion equation (8) under zero initial condition (9) and the Dirichlet boundary condition with constant boundary values of the sought-for function:

$$\begin{aligned}& x=0:\quad c(x,t) = c_{0}, \end{aligned}$$
(31)
$$\begin{aligned}& x=L:\quad c(x,t)=0. \end{aligned}$$
(32)

As above, the new function u is introduced according to (12), and the Laplace transform with respect to time t and the finite sin-Fourier transform with respect to the spatial coordinate x give the solution in the transform domain:

$$ \widetilde{u}^{ *} (\xi_{k},s ) =ac_{0} \xi_{k} \frac{1}{s (s^{\alpha} + a\xi_{k}^{2} + \frac {v^{2}}{4a} )} . $$
(33)

Taking into account that

$$ \frac{1}{s (s^{\alpha} + a\xi_{k}^{2} + \frac{v^{2}}{4a} )} = \frac{1}{a\xi_{k}^{2} + \frac{v^{2}}{4a}} \biggl[ \frac{1}{s} - \frac{s^{\alpha-1}}{s^{\alpha} + a\xi_{k}^{2} + \frac{v^{2}}{4a}} \biggr] $$
(34)

we obtain

$$ \widetilde{u}^{ *} (\xi_{k},s ) = \frac{ac_{0}\xi_{k}}{a\xi_{k}^{2} + \frac{v^{2}}{4a}} \biggl[ \frac{1}{s} - \frac{s^{\alpha-1}}{s^{\alpha} + a\xi_{k}^{2} + \frac{v^{2}}{4a}} \biggr] $$
(35)

or, after inversion of the integral transforms,

$$ u(x,t) = \frac{2c_{0}}{L} \sum_{k=1}^{\infty} \frac{\xi_{k} \sin (\xi_{k} x )}{\xi_{k}^{2} + \frac {v^{2}}{4a^{2}}} \biggl\{ 1- E_{\alpha} \biggl[ - \biggl( a \xi_{k}^{2} + \frac{v^{2}}{4a} \biggr)t^{\alpha} \biggr] \biggr\} . $$
(36)

In this case \(E_{\alpha}(z)\) is the Mittag-Leffler function in one parameter α:

$$ E_{\alpha}(z) = \sum_{n=0}^{\infty} \frac{z^{n}}{\Gamma(\alpha n + 1)}, \quad\alpha>0. $$
(37)

Taking into account the following series [27]:

$$ \sum_{k=1}^{\infty} \frac{k \sin(kz)}{k^{2}+b^{2}} = \frac{\pi}{2} \frac{\sinh [ (\pi- z )b ]}{\sinh(\pi b)} $$
(38)

and returning to the quantity \(c(x,t)\) according to (12), we get

$$\begin{aligned} c(x,t) =& c_{0}\exp \biggl( \frac{vx}{2a} \biggr) \Biggl\{ \frac{\sinh [ \frac{v}{2a} (L - x ) ]}{ \sinh (\frac{vL}{2a} )} \\ &{}- \frac{2}{L} \sum_{k=1}^{\infty} \frac{\xi_{k} \sin (\xi_{k} x )}{\xi_{k}^{2} + \frac {v^{2}}{4a^{2}}} E_{\alpha} \biggl[ - \biggl( a\xi_{k}^{2} + \frac{v^{2}}{4a} \biggr)t^{\alpha} \biggr] \Biggr\} \end{aligned}$$
(39)

and in the nondimensional form

$$\begin{aligned} \bar{c}(\bar{x},\kappa) =& \exp \biggl( \frac{\bar{v}\bar{x}}{2} \biggr) \Biggl\{ \frac{\sinh [ \frac{\bar{v}}{2} (1 - \bar{x} ) ]}{ \sinh (\frac{\bar{v}}{2} )} \\ &{}- 2 \sum_{k=1}^{\infty} \frac{k \pi\sin (k\pi\bar{x} )}{(k\pi)^{2} + \frac{\bar {v}^{2}}{4}} E_{\alpha} \biggl[ - \kappa^{2} \biggl( (k \pi) ^{2} + \frac{\bar{v}^{2}}{4} \biggr) \biggr] \Biggr\} , \end{aligned}$$
(40)

where

$$ \bar{c}=\frac{c}{c_{0}} , $$
(41)

and the other nondimensional quantities are the same as in (29).

The solution (40) is presented in Figures 5-8 for different values of the order of fractional derivative α, the time parameter κ, and the drift parameter .

Figure 5
figure 5

Dependence of the solution ( 40 ) on distance \(\pmb{\bar{x}}\) and the order α of fractional derivative ( \(\pmb{\bar{v}=2}\) , \(\pmb{\kappa =0.2}\) ).

Figure 6
figure 6

Dependence of the solution ( 40 ) on distance \(\pmb{\bar{x}}\) and the order α of fractional derivative ( \(\pmb{\bar{v}=2}\) , \(\pmb{\kappa =1}\) ).

Figure 7
figure 7

Dependence of the solution ( 40 ) on distance \(\pmb{\bar{x}}\) and the time parameter κ ( \(\pmb{\bar{v}=2}\) , \(\pmb{\alpha =0.5}\) ).

Figure 8
figure 8

Dependence of the solution ( 40 ) on distance \(\pmb{\bar{x}}\) and the drift parameter \(\pmb{\bar{v}}\) ( \(\pmb{\alpha =0.5}\) , \(\pmb{\kappa =0.2}\) ).

4 Conclusions

We have considered the time-fractional advection-diffusion equation with the Caputo fractional derivative in a domain \(0< x< L\). The Laplace transform with respect to time t and the finite sin-Fourier transform with respect to the spatial coordinate x have been used. The fundamental solution to the Dirichlet problem and the solution to the problem with a constant boundary condition for the sought-for function have been obtained. The results of numerical calculations are displayed in the figures for different values of the nondimensional spatial variable , the drift parameter , the time parameter κ, and the order of the time-fractional derivative α. To evaluate the Mittag-Leffler functions \(E_{\alpha, \alpha}(-x)\) and \(E_{\alpha}(-x)\) we have used the algorithms suggested in [28] (the interested reader is also referred to the Matlab programs that implement these algorithms [29]). It should be emphasized that the first term in curly brackets in the solution (39) satisfies the boundary condition (31) and (32), whereas the second one equals zero at the ends of a line segment \(0< x< L\) due to (19).

References

  1. Kaviany, M: Principles of Heat Transfer in Porous Media, 2nd edn. Springer, New York (1995)

    Book  MATH  Google Scholar 

  2. Feller, W: An Introduction to Probability Theory and Its Applications, 2nd edn. Wiley, New York (1971)

    MATH  Google Scholar 

  3. Scheidegger, AE: The Physics of Flow Through Porous Media, 3rd edn. University of Toronto Press, Toronto (1974)

    MATH  Google Scholar 

  4. Van Kampen, NG: Stochastic Processes in Physics and Chemistry, 3rd edn. Elsevier, Amsterdam (2007)

    MATH  Google Scholar 

  5. Risken, H: The Fokker-Planck Equation. Springer, Berlin (1989)

    Book  MATH  Google Scholar 

  6. Nield, DA, Bejan, A: Convection in Porous Media, 3rd edn. Springer, New York (2006)

    MATH  Google Scholar 

  7. Metzler, R, Klafter, J: The random walk’s guide to anomalous diffusion: a fractional dynamics approach. Phys. Rep. 339, 1-77 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  8. Rossikhin, Y, Shitikova, MV: Applications of fractional calculus to dynamic problems of linear and nonlinear hereditary mechanics of solids. Appl. Mech. Rev. 50, 15-67 (1997)

    Article  Google Scholar 

  9. West, BJ, Bologna, M, Grigolini, P: Physics of Fractal Operators. Springer, New York (2003)

    Book  Google Scholar 

  10. Magin, RL: Fractional Calculus in Bioengineering. Begell House Publishers, Inc., Redding (2006)

    Google Scholar 

  11. Gafiychuk, V, Datsko, B: Mathematical modeling of different types of instabilities in time fractional reaction-diffusion systems. Comput. Math. Appl. 59, 1101-1107 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  12. Mainardi, F: Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models. Imperial College Press, London (2010)

    Book  MATH  Google Scholar 

  13. Uchaikin, VV: Fractional Derivatives for Physicists and Engineers, Background and Theory. Springer, Berlin (2013)

    Book  MATH  Google Scholar 

  14. Povstenko, Y: Fractional Thermoelasticity. Springer, New York (2015)

    Book  MATH  Google Scholar 

  15. Povstenko, Y: Theory of diffusive stresses based on the fractional advection-diffusion equation. In: Abi Zeid Daou, R, Moreau, X (eds.) Fractional Calculus: Applications, pp. 227-241. Nova Science Publishers, New York (2015)

    Google Scholar 

  16. Povstenko, Y: Fractional heat conduction equation and associated thermal stress. J. Therm. Stresses 28, 83-102 (2005)

    Article  MathSciNet  Google Scholar 

  17. Povstenko, Y: Thermoelasticity which uses fractional heat conduction equation. J. Math. Sci. 162, 296-305 (2009)

    Article  MathSciNet  Google Scholar 

  18. Povstenko, Y: Theory of thermoelasticity based on the space-time-fractional heat conduction equation. Phys. Scr. T 136, 014017 (2009)

    Article  Google Scholar 

  19. Povstenko, Y: Non-axisymmetric solutions to time-fractional diffusion-wave equation in an infinite cylinder. Fract. Calc. Appl. Anal. 14, 418-435 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  20. Gorenflo, R, Mainardi, F: Fractional calculus: integral and differential equations of fractional order. In: Carpinteri, A, Mainardi, F (eds.) Fractals and Fractional Calculus in Continuum Mechanics, pp. 223-276. Springer, Wien (1997)

    Chapter  Google Scholar 

  21. Podlubny, I: Fractional Differential Equations. Academic Press, New York (1999)

    MATH  Google Scholar 

  22. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  23. Povstenko, Y: Fundamental solutions to time-fractional advection diffusion equation in a case of two space variables. Math. Probl. Eng. 2014, 705364 (2014)

    Article  MathSciNet  Google Scholar 

  24. Liu, F, Anh, V, Turner, I, Zhuang, P: Time-fractional advection-dispersion equation. J. Appl. Math. Comput. 13, 233-245 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  25. Huang, F, Liu, F: The time fractional diffusion equation and the advection-dispersion equation. ANZIAM J. 46, 317-330 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  26. Huang, F, Liu, F: The fundamental solution of the space-time fractional advection-dispersion equation. J. Appl. Math. Comput. 18, 339-350 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  27. Prudnikov, AP, Brychkov, YA, Marichev, OI: Integrals and Series. Vol. 1: Elementary Functions. Gordon & Breach, Amsterdam (1986)

    MATH  Google Scholar 

  28. Gorenflo, R, Loutchko, J, Luchko, Y: Computation of the Mittag-Leffler function and its derivatives. Fract. Calc. Appl. Anal. 5, 491-518 (2002)

    MathSciNet  MATH  Google Scholar 

  29. Matlab File Exchange 2005, Matlab-Code that calculates the Mittag-Leffler function with desired accuracy. Available for download at www.mathworks.com/matlabcentral/fileexchange/8738-Mittag-Leffler-function

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yuriy Povstenko.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Each of the authors contributed to each part of this work equally and read and approved the final version of the manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Povstenko, Y., Klekot, J. The Dirichlet problem for the time-fractional advection-diffusion equation in a line segment. Bound Value Probl 2016, 89 (2016). https://doi.org/10.1186/s13661-016-0597-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-016-0597-4

MSC

Keywords