Research Article Analytical Solutions of a Space-Time ...
Transcript of Research Article Analytical Solutions of a Space-Time ...
Research ArticleAnalytical Solutions of a Space-Time FractionalDerivative of Groundwater Flow Equation
Abdon Atangana and P. D. Vermeulen
Institute for Groundwater Studies, Faculty of Natural and Agricultural Sciences, University of the Free State,P.O. Box 399, Bloemfontein, South Africa
Correspondence should be addressed to Abdon Atangana; [email protected]
Received 5 September 2013; Accepted 12 September 2013; Published 21 January 2014
Academic Editor: Hossein Jafari
Copyright Β© 2014 A. Atangana and P. D. Vermeulen. This is an open access article distributed under the Creative CommonsAttribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work isproperly cited.
The classical Darcy law is generalized by regarding the water flow as a function of a noninteger order derivative of the piezometrichead. This generalized law and the law of conservation of mass are then used to derive a new equation for groundwater flow.Two methods including Frobenius and Adomian decomposition method are used to obtain an asymptotic analytical solution tothe generalized groundwater flow equation. The solution obtained via Frobenius method is valid in the vicinity of the borehole.This solution is in perfect agreement with the data observed from the pumping test performed by the institute for groundwaterstudy on one of their boreholes settled on the test site of the University of the Free State. The test consisted of the pumping of theborehole at the constant discharge rate π and monitoring the piezometric head for 350 minutes. Numerical solutions obtainedvia Adomian method are compared with the Barker generalized radial flow model for which a fractal dimension for the flow isassumed. Proposition for uncertainties in groundwater studies was given.
1. Introduction
Thereal problem encounter in groundwater studies up to nowis the real shape of the geological formation in which waterflows in the aquifer under investigation. However, there aremany fractured rock aquifers where the flow of groundwaterdoes not fit conventional geometries [1], for example, in SouthAfrica, the Karoo aquifers, characterized by the presence ofa very few bedding parallel fractures that serve as the mainconduits of water in the aquifers [2]. With a challenge to fitthe solution of the groundwater flow equation with experi-mental data fromfield observation in particular, the observeddrawdown see [3], for all time yields a fit that undervaluesthe observed drawdown at early times and overvalues it atlater times. The variation of observations from theoreticallypredictable values is usually an indication of uncertainties inthe predictable. To investigate the first possibility Botha etal. [2] developed a three-dimensional model for the Karooaquifer on the campus of the University of the Free State.
This model is based on the conventional, saturated ground-water flow equation for density-independent flow:
π0(π₯, π‘) π
π‘Ξ¦(π₯, π‘) = β β [πΎ (π₯, π‘) βΞ¦ (π₯, π‘)] + π (π₯, π‘) , (1)
where π0is the specific storativity,πΎ the hydraulic conductiv-
ity tensor of the aquifer,Ξ¦(π₯, π‘) the piezometric head, π(π₯, π‘)the strength of any sources or sinks, with π₯ and π‘ the usualspatial and time coordinates; β the gradient operator, and π
π‘
the time derivative.This model showed that the dominant flow field in these
aquifers is vertical and linear and not horizontal and radialas commonly assumed. However, more recent investigations[3] suggest that the flow is also influenced by the geometryof the bedding parallel fractures, a feature that (1) cannotaccount for. It is therefore possible that the equation may notbe applicable to flow in these fractured aquifers.
In an attempt to circumvent this problem, Barker [4]introduced a model in which the geometry of the aquifer
Hindawi Publishing CorporationAbstract and Applied AnalysisVolume 2014, Article ID 381753, 11 pageshttp://dx.doi.org/10.1155/2014/381753
2 Abstract and Applied Analysis
is regarded as a fractal. Although this model has been appliedwith reasonable success in the analysis of hydraulic tests fromboreholes in Karoo aquifers, it introduces parameters forwhich no sound definition exists in the case of nonintegerflow dimensions.
As a review of the derivation of (1) will show, [5] Darcylaw
π (π₯, π‘) = βπΎβΞ¦ (π₯, π‘) (2)
is used as a keystone in the derivation of (1). This law,proposed by Darcy early in the 19th century, is relyingon experimental results obtained from the flow of waterthrough a one-dimensional sand column, the geometry ofwhich differs completely from that of a fracture [6]. There istherefore a possibility that the Darcy law may not be validfor flow in fractured rock formations but is only a verycrude idealization of the reality [6]. Nevertheless, the relativesuccess achieved by Botha et al. [2], to describe many ofthe properties of Karoo aquifers, suggests also that the basicprinciple underlying this law may be correct: the observeddrawdown is to be related to either a variation in the hydraulicconductivity of the aquifer or a change in the piezometrichead. Any new form of the law should therefore be reducedto the classical form under the more common conditions.Because πΎ is essentially determined by the permeability ofthe rocks, and not the flow pattern, the gradient term in (2) isthe most likely cause for the deviation between the observedand theoretical drawdown observed in the Karoo formations[6]. In the same direction, Cloot and Botha introduced theconcept of non-integer fractional derivative to investigate aradially symmetric form of (1), by replacing the classical firstorder derivative of the piezometric head by a complementaryfractional derivative [6]. However the generalized modelfor groundwater flow equation was solved numerically. Inthis work, more general form of groundwater flow equationwill be introduced; the Frobenius and Adomian decompo-sition will be used to give an asymptotic solution of thegeneralized model for groundwater flow equation. Becausethe concepts of fractional (or non-integer) order derivativesand complementary fractional order derivatives may notbe widely known, both concepts are first briefly discussedbelow.
2. Fractional Order Derivatives
On one hand, the concept of fractional calculus is popularlybelieved to have stemmed from a question raised in theyear 1695 by Marquis de L Hospital (1661β1704) to GottfriedWilhelm Leibniz (1646β1716), which sought the meaning ofLeibnizβs currently popular notation π
ππ¦/ππ₯π for derivative
of order π β N0
:= {0, 1, 2, . . .} when π = 1/2 (what ifπ = 1/2). In his reply, dated September 30, 1695, Leibnizwrote to LβHospital as follows: βThis is an apparent paradoxfrom which, one day, useful consequences will drawn. . ..β Onthe other hand, the concept of fractional order derivatives for
a function, say π(π₯), is based on a generalization of the Abelintegral [7]:
π·βππ (π₯) = βπ(π₯) ππ₯
π=
1
Ξ (π)β«
π₯
0
(π₯ β π‘)πβ1
π (π‘) ππ‘,
(3)
where π is a nonzero positive integer [8β12] and Ξ(π) theGamma function [13]. This represents an integral of orderπ for the continuous function π(π₯), whenever π and all itsderivatives vanish at the origin, π₯ = 0. This result can beextended to the concept of an integral of arbitrary order π,defined as:
π·βππ (π₯) = π·
βπβπ π (π₯) =
1
Ξ (π)β«
π₯
0
(π₯ β π‘)πβ1
π (π‘) ππ‘, (4)
where π is a positive real number and π an integer such that0 < π β€ 1.
Let π now be the least positive integer larger than πΌ suchthat πΌ = π β π; 0 < π β€ 1. Equation (4) can then be used todefine the derivative of (positive) fractional order, say πΌ, of afunction π(π₯) as
π·ππ (π₯) = π·
πβππ (π₯) =
1
Ξ (π)β«
π₯
0
(π₯ β π‘)πβ1 πππ (π‘)
ππ‘πππ‘. (5)
Note that these results, like Abelβs integral, are only validsubject to the condition that π(π)(π₯) | π₯ = 0 = 0 forπ = 0, 1, 2, . . . , π [8β11].
2.1. Properties. Properties of the operator can be found in [14,15], wemention only the following: forπ β πΆ
π, π β₯ β1, πΌ, π½ β₯
0 and πΎ > β1:
π·βπΌπ·βπ½π (π₯) = π·
βπΌβπ½π (π₯) ,
π·βπΌπ·βπ½π (π₯) = π·
βπ½π·βπΌπ (π₯) ,
π·βπΌπ₯πΎ
=Ξ (πΎ + 1)
Ξ (πΌ + πΎ + 1)π₯πΌ+πΎ
.
(6)
3. A Generalized Mathematical GroundwaterFlow Model
For the sake of clarity the generalization of the classicalmodelfor groundwater flow in the case of density-independent flowin the uniform homogeneous aquifer is considered in thispaper [4]. Consider the following groundwater flow equation
π0ππ‘Ξ¦ (π, π‘) =
πΎ
ππβ1ππ[ππβ1
ππΞ¦ (π, π‘)] , (7)
where both the specific storability, π0, and hydraulic conduc-
tivity, πΎ, are scalar and constant quantities and π = 1, 2 or 3is the radial dimension. To be complete, the following set ofinitial and boundary conditions is added:
Ξ¦ (π, 0) = ππ, limπββ
Ξ¦ (π, π‘) = ππ,
π =2ππ/2
Ξ (π/2)ππβ1
ππΎπ3βπ
ππΞ¦(ππ, π‘) .
(8)
Abstract and Applied Analysis 3
Here Ξ¦(π, 0) = ππ means that before a pumping test beginsthe level of water or the initial hydraulic head in the aquifer islinear function of space with a positive gradient π to be found,limπββ
Ξ¦(π, π‘) = ππmeans that during the pumping test thelevel of water is not affected for a very long distance from theborehole, and π = (2π
π/2/Ξ(π/2))π
πβ1
ππΎπ3βπ
ππΞ¦(ππ, π‘)means
that the rate of pumping is proportional to the hydraulicconductivity.
Henceπ is the discharge rate of the borehole, with radiusππand π the thickness of the aquifer from which the borehole
taps. In order to include explicitly the possible effect of thegeometry into mathematical model the radial component ofthe gradient of the piezometric head, π
πΞ¦(π, π‘) is replaced
by the Weyl-fractional derivatives of order πΌ = π β π; thefractional derivative in this paper is Caputo derivative and isdefined as follows:
ππΌ
πΞ¦ (π, π‘) =
(β1)π+1
Ξ (π)β«
β
π
(π β π)πβ1
ππ
π Ξ¦ (π , π‘) ππ . (9)
This provides a generalized form of the classical equationgoverning the flow equation (1):
π0π1
π‘Ξ¦ (π, π‘) =
πΎ
ππβ1π1
π[ππβ1
ππΌ
πΞ¦ (π, π‘)] . (10)
The integrodifferential equation does contain the additionalparameterπΌ = πβπ, 0 < π β€ 1, which can be viewed as a newphysical parameter that characterizes the flow through thegeological formations [6].The same transformation generatesalso a more general form for the boundary condition at theborehole [6]:
π = (β1)π+1 2π
π/2
Ξ (π/2) Ξ (π)ππβ1
ππΎπ3βπ+πΌ
ππΌ
πΞ¦(ππ, π‘) . (11)
The relations (10) and (11), together with the initial conditiondescribed in (10), represent a complete set of equations forwhich a solution exists. The integro-differential character ofthe relations makes the search for analytical solution verydifficult however. Nevertheless, in this paper we make use ofFrobenius and Adomian decomposition methods to give anasymptotic solution.
4. Solution of the Generalized Flow Equation
4.1. FrobeniusMethod. In this work to perform the Frobeniusmethod, we consider the groundwater flow governed by thefollowing fractional Caputo-Weyl derivation partial differen-tial of order 2πΌ, where πΌ is real number, 0 < πΌ β€ 1. Also,we consider the dimension of the flow to be 2. Therefore,for π = 2 (10) can then be transformed into the followingequation:
π2πΌ
πΞ¦ (π, π‘) +
1
πππΌ
πΞ¦ (π, π‘) β
π0
πΎππ‘Ξ¦ (π, π‘) = 0. (12)
Applying the Laplace operator on both sides of the aboveequation, we have the following ordinary differential equa-tion
π2πΌ
πΞ¦ (π, π ) +
1
πππΌ
πΞ¦ (π, π ) β
π0
πΎπ Ξ¦ (π, π‘) +
π0
πΎΞ¦ (π, 0) = 0,
(13)
where π is the variable of Laplace. In this matter we chooseΞ¦(π, 0) = 0 or we choose π = 0, meaning that the level ofwater is the same everywhere in the aquifer if the water is nottaken out from the aquifer. If we let
Ξ¦ (π, π ) = Ξ¨ (π) (14)
then (13) becomes
π2πΌ
πΞ¨ (π) +
1
πππΌ
πΞ¨ (π) β
π0
πΎπ Ξ¨ (π) = 0. (15)
We put π(π) = 1/π and π(π) = β(π0/πΎ)π . To meet the
condition under which Frobenius method can be used, wehave to prove that π(π) and π(π) are analytical around π
πthat
means we have to prove that π(π) and π(π) can be writtenas series. It is very obvious to see that π(π) and π(π) can beexpressed as follows:
π (π) =
β
βπ=0
ππ(π β ππ)ππΌ, π (π) =
β
βπ=0
ππ(π β ππ)ππΌ. (16)
We start here with the coefficients of π(π):
π (π) =
β
βπ=0
ππ(π β ππ)ππΌ (17)
implying that 1 = ββ
π=0ππ(π β ππ)ππΌπ.
Putting π = π β ππwe have that 1 = β
β
π=0πππ ππΌ(π + π
π)
and equating the coefficients of same power we obtain thefollowing set of equations:
π0ππ= 1,
π1/πΌ
ππ+ π0= 0,
π(π+1)1/πΌ
ππ+ ππ/πΌ
= 0.
(18)
Therefore, the coefficients can be given with the generalfollowing recursive formula:
ππ={
{
{
(β1)ππ1/(π+1)
πfor π = π
1
πΌ0 otherwise.
(19)
And obviously the coefficients ππare given below as
ππ={
{
{
βπ0
πΎπ for π = 0
0 for π β₯ 1.
(20)
From the above expression we can see that π(π) and π(π) areanalytical around π
π, which follows from Frobenius method
that the solution of (15) can be in the form
Ξ¨ (π) =
β
βπ=0
Ξ¨π(π β ππ)ππΌ+πΌβ1
. (21)
4 Abstract and Applied Analysis
This solution is not convergent for a large π; that is, thesolutionwill diverge if we observe the drawdown at a positionvery far from the borehole from which the water is takenout. Therefore, we restrict our solution in the vicinity of theborehole; more precisely we investigate the solution when|π β ππ| < 1. That means we pump water from the borehole
and we observe the drawdown in the vicinity of the borehole.Thus substituting (21), π(π), and π(π) into (15) and
equating the coefficients of the same power, we obtain thefollowing recursive formula for which the coefficientsΨ
π(π β₯
0), coefficients of our series:
Ξ¨2π+2 (π, π ) =
(β1)π(βπ0π /πΎ)πΞ (πΌ)Ξ¨
1/πΌ
Ξ [(2π + 3) πΌ]. (22)
Here we have the following:
ππΌ
πΞ¨ (π) =
β
βπ=0
Ξ¨π
Ξ (ππΌ + πΌ)
Ξ (ππΌ)(π β ππ)ππΌβ1
,
limπβππ
ππΌ
πΞ¨ (π) = Ξ (πΌ + 1)Ξ¨
1/πΌ.
(23)
However, making use of the boundary condition in (11), wehave the following:
Ξ¨1/πΌ
=π
2ππππΎπ0π πΞ (πΌ + 1)
. (24)
Then the general solution of the fractional Caputo-Weylderivation of groundwater flow of order 2πΌ in Laplace spaceis given below as:
Ξ¦ (π, π ) =
β
βπ=0
(β1)π+1
(π0π )πβ1
π
2πππππΎπΞ (πΌ + 1)
(π β ππ)ππΌ+πΌβ1
. (25)
To observe the behavior of the solution at the borehole, whichcorresponds to π = π
π, the series solution is reduced here to
the coefficient with order zero which is obtained when π =
1/πΌ β 1 and itβs given below as
Ξ¦ (π, π ) =(β1)1/πΌ
(π0π )1/πΌβ2
π
2πππππΎ1/πΌβ2Ξ (πΌ + 1)
. (26)
In the following section the analytical asymptotic solutionobtained in Laplace space via Frobenius method will becompared with the experimental data.
4.2. Numerical Results. In order to examine the validationof this solution, the above asymptotic solution is comparedwith the experimental data from the pumping test performedby the Institute for Groundwater Studies on one of theirborehole settled on the campus test site of the Universityof the Free State. The test consisted of the pumping of theborehole at the constant discharge rate π and monitoringthe piezometric head for 350 minutes. The first step in thesection is to discretize the range of Laplace transform since
the exact Laplace transform cannot be obtained in practice.This is done as follows:
L (experimental)
= β«
π‘π
0
exp (βπ π‘) Ξ¦measured data (π, π‘) ππ‘
=
πβ1
β
π=0
β«
π‘π+1
π‘π
exp (βπ π‘)Ξ¦ (π, π‘) ππ‘.
(27)
For π‘πβ€ π‘ β€ π‘
π+1we approximate Ξ¦(π, π‘) = (Ξ¦(π, π‘
π) +
Ξ¦(π‘π+1
))/2 where Ξ¦(π, π‘π) for 0 β€ π β€ π; then the results
obtained in the fields and Laplace transform become
L (experimental)
=
πβ1
β
π=0
[(Ξ¦ (π, π‘
π) + Ξ¦ (π‘
π+1)) (exp (βπ π‘
π) β exp (βπ π‘
π+1))
2] .
(28)
Using this numerical scheme, the physical data was trans-formed into Laplace space. A comparison between thesevalues and asymptotic computed data can only be providedin the in real space not in Laplace space. Since it is not worthconcluding the validity of this solution in Laplace space,the inverse Laplace transform is applied in (26). To test thevalidity of this solution in real space and applying the inverseLaplace transform on (26), (29) is obtained
Ξ¦ (π, π‘) =(β1)1/πΌ
(π0)1/πΌβ2
ππ‘1β1/πΌ
2πππππΎ1/πΌβ2Ξ (πΌ + 1) Ξ (2 β 1/πΌ)
. (29)
The above solution is compared graphically to the experi-mental data from the pumping test performed by the institutefor groundwater study on one of their borehole settled on thetest site of theUniversity of the Free State.The small differenceobserved in the above graph (Figure 1) is due to uncertaintiesin measurement and this will be discussed in Section 6 ofthis work. The aquifer parameters used in this models arerecorded in Table 1, the observed data from field observationwill be attached to this paper. Although this solution is inagreement with the experimental data, there will be the needto investigate the case where the observation can be done fora long distance. In the next section another approach willbe introduced to solve the space-time-fractional derivative ofgroundwater flow equation, and this method is the Adomiandecomposition method.
5. Adomian Decomposition Method
5.1. Example 1. This section is concerned with the ground-water equation with time- and space-fractional derivatives ofthe form
π0ππ‘Ξ¦ (π, π‘) =
πΎ
πππΌ
πΞ¦ (π, π‘) + πΎπ
π
πΞ¦ (π, π‘) ,
0 < πΌ β€ 1 < π β€ 2.
(30)
Abstract and Applied Analysis 5
Table 1: Aquifer parameters used in the model.
Parameters Values Unitsπ 83.10β3 (m3 sβ1)ππ
0.025 (m)πΎ 13.10β4 (m sβ1)π 1 (m)π0
13.10β4 (mβ1)Ξ¦0
0 (m)2πΌ = 1.46
Drawdo
wn
2.5
2.0
1.5
1.0
0.5
Time350300250200150100500
Figure 1: Comparison of experimental data from real world obser-vation with solution of fractional groundwater flow equation.
Subject to the initial and boundary conditions described in(8), the level of water is assumed to be the same throughoutthe aquifer before the pumping so that the gradient π
described in (8) is zero. Furthermore, it is assumed that afractional change in drawdown is constant for π‘ = 0meaningππΌ
πΞ¦(π, 0) = constant.The method used here is based on applying the operator
β«π‘
0ππ on both sides of (30) to obtain
Ξ¦ (π, π‘) = Ξ¦ (π, 0) + β«
π‘
0
(ππ
πΞ¦ (π, π) +
1
πππΌ
πΞ¦ (π, π))
πΎ
π0
ππ.
(31)
TheAdomian decompositionmethod [16, 17] assumes a seriessolution for (31) to be
Ξ¦ (π, π‘) =
β
βπ=0
Ξ¦π (π, π‘) , (32)
where the components Ξ¦π(π, π‘) are determined recursively.
Substituting (32) into both sides of (30) givesβ
βπ=0
Ξ¦π(π, π‘)
= Ξ¦ (π, 0)
+ β«
π‘
0
(ππ
π(
β
βπ=0
Ξ¦π (π, π)) +
1
πππΌ
π(
β
βπ=0
Ξ¦π (π, π)))
πΎ
π0
ππ.
(33)
Following the decomposition method, the recursive relationsare introduced as
Ξ¦0(π, π‘) = Ξ¦ (π, 0) , (34)
π0Ξ¦π+1
(π, π‘) = β«
π‘
0
(πΎππ
π(Ξ¦π(π, π)) +
πΎ
πππΌ
π(Ξ¦π(π, π))) ππ.
(35)
It is worth noting that if the component Ξ¦0(π, π‘) is defined,
then the remaining components π β₯ 1 can be completelydetermined such that each term is determined by using theprevious terms, and the series solutions are thus entirelydetermined. Finally, the solution Ξ¦(π, π‘) is approximated bythe truncated series
Ξ¦π (π, π‘) =
πβ1
βπ=0
Ξ¦π (π, π‘) , lim
πββ
Ξ¦π (π, π‘) = Ξ¦ (π, π‘) .
(36)
However, the inclusion of boundary conditions in fractionaldifferential equations introduces additional difficulties. TheAdomian decomposition method can handle these difficul-ties by using the space-fractional operator ππΌ
πand the initial
conditions only. The method provides the solution in theform of a rapidly convergent series that may lead to the exactsolution in the case of integer derivatives (πΌ = 1, π = 2)
and to an efficient numerical solution with high accuracy for0 β€ πΌ < 1. The convergence of the decomposition series hasbeen investigated in [18, 19].
Following the recursive formula equation (35) and usingthe fact that ππΌ
πΞ¦(π, 0) = constant = π, the equations below
are obtained:
Ξ¦1(π, π‘) =
1
π0
β«
π‘
0
(πΎππ
π(Ξ¦0(π, π)) +
πΎ
πππΌ
π(Ξ¦0(π, π))) ππ
=πΎππ‘
π0π,
Ξ¦2(π, π‘) =
πΎ2ππ‘2Ξ (1 + π)
2π20π1+π
+πΎ2ππ‘2Ξ (1 + πΌ)
2π20π2+πΌ
,
Ξ¦3 (π, π‘) =
πΎ3ππ‘3
6π30
[Ξ (1 + 2π)
π1+2π+Ξ (2πΌ + 1)
πΌπ2πΌ+2] .
(37)
The component Ξ¦4(π, π‘) was also determined and will be
used, but for brevity it is not listed. In this matter five com-ponents of the decomposition series (30) were obtained forwhichΞ¦(π, π‘) was evaluated to have the following expansion:
Ξ¦ (π, π‘) = Ξ¦0 (π, π‘) +
πΎππ‘
π0π+πΎ2ππ‘2Ξ (1 + π)
2π20π1+π
+πΎ2ππ‘2Ξ (1 + πΌ)
2π20π2+πΌ
+πΎ3ππ‘3
6π30
[Ξ (1 + 2π)
π1+2π+Ξ (2πΌ + 1)
πΌπ2πΌ+2] .
(38)
6 Abstract and Applied Analysis
Applying the boundary condition yields
π =π
2ππππΎππΌπ (π
π, π‘)
, (39)
where
π (ππ, π‘)
= 1 +πΎπ‘Ξ (1 + πΌ)
π0π1+πΌπ
+(πΎπ‘)2Ξ (1 + π + πΌ)
2π20π1+πΌ+π
π
+(πΎπ‘)2Ξ (2 + 2πΌ)
2π20π2+2πΌπ
(1 + πΌ)+(πΎπ‘)3
6π30
Γ [Ξ (1 + 2π + πΌ)
π1+2π+πΌ
0
+Ξ (2 + 3πΌ)
π2+3πΌ0
(πΌ + 1) (2πΌ + 1)] .
(40)
5.2. Example 2. Consider the groundwater flow equationwith time- and space-fractional derivatives of the form
πΎππ½
πΞ¦ (π, π‘) +
πΎ
πππ
πΞ¦ (π, π‘) β π
0ππΌ
π‘Ξ¦ (π, π‘) = 0, (41)
subject to the initial condition described in (11). Furthermorewe suppose that the gradient π = 0, meaning that the waterlevel is everywhere in the aquifer at ππ
πΞ¦(π, 0) = constant
and the fractional change in drawdown is a constant andboundary condition:
π = 2ππΎππππππ
πΞ¦(ππ, π‘) . (42)
Following the discussion earlier, we have the below recursiveformula:
Ξ¦0(π, π‘) = Ξ¦ (π, 0) ,
π0Ξ¦π+1
(π, π‘) = π·βπΌ
π‘[πΎππ½
πΞ¦π (π, π‘) +
πΎ
πππ
πΞ¦π (π, π‘)] .
(43)
It follows from the recursive formula that
Ξ¦1(π, π‘) =
ππΎπ‘πΌ
Ξ (πΌ + 1) π0π,
Ξ¦2(π, π‘) =
πΎ2ππ‘2πΌ
π20Ξ (2πΌ + 1)
[Ξ (1 + π)
π1+π+Ξ (1 + π½)
π1+π½] ,
Ξ¦3(π, π‘)
=πΎ3ππ‘3πΌΞ (2 + π + π½)
π30Ξ (3πΌ + 1) (1 + π) π2+π+π½
+πΎ3ππ‘3πΌΞ (2π½ + 1)
π30Ξ (3πΌ + 1) π2π½+1
+πΎ3ππ‘3πΌΞ (2π + 2)
π30π2π+3Ξ (3πΌ + 1) (1 + π)
+π‘3πΌπΎ3πΞ (1 + π + π½)
π20Ξ (3πΌ + 1) π2+π+π½
.
(44)
The component Ξ¦4(π, π‘) was also determined and will be
used, but for brevity it is not listed. In this matter five compo-nents of the decomposition series (41) were obtained of whichΞ¦(π, π‘) was evaluated to have the following expansion:
Ξ¦ (π, π‘)
= Ξ¦ (π, 0) +ππΎπ‘πΌ
Ξ (πΌ + 1) π0π+
πΎ2ππ‘2πΌ
π20Ξ (2πΌ + 1)
Γ [Ξ (1 + π)
π1+π+Ξ (1 + π½)
π1+π½]
+πΎ3ππ‘3πΌΞ (2 + π + π½)
π30Ξ (3πΌ + 1) (1 + π) π2+π+π½
+πΎ3ππ‘3πΌΞ (2π½ + 1)
π30Ξ (3πΌ + 1) π2π½+1
+πΎ3ππ‘3πΌΞ (2π + 2)
π30π2π+3Ξ (3πΌ + 1) (1 + π)
+π‘3πΌπΎ3πΞ (1 + π + π½)
π30Ξ (3πΌ + 1) π2+π+π½
.
(45)
Applying the boundary condition yields
π =π
2ππππΎππΌπ (π
π, π‘)
, (46)
whereπ (ππ, π‘)
= 1 +πΎΞ (1 + π) π‘
πΌ
Ξ (1 + πΌ) π0π1+π
π
+πΎ2π‘2πΌ
π20Ξ (2πΌ + 1)
[πΞ (1 + 2π)
π1+2π
π
+π½Ξ (1 + π½2)
π1+2π½
π
] + β β β .
(47)
5.3. Example 3. Consider time fractional derivative of thegroundwater flow equation with time-fractional derivativesof the form
πΎπ2
πΞ¦ (π, π‘) +
πΎ
πππΞ¦ (π, π‘) β π
0ππΌ
π‘Ξ¦ (π, π‘) = 0. (48)
Subject to the initial and boundary conditions describedin (8) it is assumed that π ΜΈ= 0. Following the discussionpresented earlier, we obtained the below recursive formula:
π0Ξ¦π+1
(π, π‘) = π·βπΌ
π‘[πΎ
πππΞ¦π(π, π‘) + πΎπ
2
πΞ¦π(π, π‘)] ,
Ξ¦0 (π, π‘) = Ξ¦ (π, 0) ,
Ξ¦1(π, π‘) =
πΎππ‘πΌ
ππ0Ξ (πΌ + 1)
,
Ξ¦2 (π, π‘) =
πΎ2ππ‘2πΌ
π20Ξ (2πΌ + 1) π3
,
Ξ¦3(π, π‘) =
9ππΎ3π‘3πΌ
π5π3
0Ξ (3πΌ + 1)
.
(49)
Abstract and Applied Analysis 7
Table 2: Theoretical values.
Parameters Values Units Parameters Values Unitsπ 10.8 (m3 sβ1) πΌ 0.005 Noneππ
0.15 (m) π½ 1.05 NoneπΎ 0.65 (m sβ1) π 1.005 Noneπ 40 (m) π 0.012 Noneπ0
0.75 (mβ1) πΌ1
0.5 NoneΦ0
0 (m) πΌ2
0.005 Noneπ1
0.025 None
The component Ξ¦4(π, π‘) was also determined and will be
used, but for brevity not listed. In thismatter five componentsof the decomposition series (31) were obtained of whichΞ¦(π, π‘) was evaluated to have the following expansion
Ξ¦ (π, π‘) = Ξ¦ (π, 0) +πΎππ‘πΌ
ππ0Ξ (πΌ + 1)
+πΎ2ππ‘2πΌ
π20Ξ (2πΌ + 1) π3
+9ππΎ3π‘3πΌ
π5π3
0Ξ (3πΌ + 1)
.
(50)
Applying the boundary conditions yield to
π =π
2ππππΎππ (π
π, π‘)
, (51)
where
π (ππ, π‘) = 1 β
πΎπ‘πΌ
π20π0Ξ (1 + πΌ)
+3πΎπ‘2πΌ
π20Ξ (1 + 2πΌ) π4
π
+ β β β . (52)
The normalized solutions with Ξ¦(π, 0) of (50), (51) and (52)are illustrated graphically in Figures 2, 3, 4, 5, 6, 7, 8, 9,10, 11, 12, and 13 for different values of various parameters;these solutions are compared to the solution proposed byBarker [4].These graphs show the behaviour of the drawdownduring the pumping test, first as a function of space and timefrom the borehole to the point of observation, secondly asfunction of time for a fixed distance from the borehole, andfinally as a function of space for a fixed time. Based on theassumption that groundwater in an aquifer flows through anequipotential surface that are projections of π-dimensionalspheres onto two-dimensional space, Barker [4] obtained thefollowing analytical solution for an infinite aquifer with a linesource:
Ξ¦ (π, π‘) =π π2(1βπ/2)
4 ππ/2πΎπ1βπΞ [
π
2β 1,
π2π0
4πΎπ‘] , (53)
where Ξ is the incomplete gamma function and π thedimension of the flow which equals the special dimension, πbeing an integer, and the other quantities all have the samemeaning as before. Although this model has been appliedwith reasonable success in the analysis of hydraulic tests fromboreholes in Karoo aquifers, it introduces parameters forwhich no sound definition exists in the case of non-integerflow dimensions. The main raison of comparison of theseresults obtained via the Adomian decomposition methods
0.06
0.04
0.02
0.00
0
10
20
30
400
10
20
30
40
Figure 2: Solution of (30) (piezometric head).
with those of Barkerβs fractal radial flow model is to establisha possible relationship between the fractional order of thederivative and the parameter fractal introduced earlier byBarker.
Table 2 shows the theoretical values of the discharge rateand aquifer parameters used in the numerical simulations.
6. Discussion and Propositions
Although the analytical solution obtained via Frobeniusmethod fit the experimental data or have described success-fully the events taking place in the vicinity of the borehole, onone hand, and the analytical solutions obtained via Adomiandecomposition method was successfully compared to thesolution proposed by Barker, on the other hand, the problemof choosing an appropriate geometry for the geologicalsystem in which the flow occurs still remains a challenge ingroundwater studies. We personally believe that we do notpropose solution to a problem because it going to be usefulfor the generation in which we are, but we propose solutionbecause we hope that theywill one day be useful formankind;therefore the following propositionmay not be useful for thisgeneration because wemay not have the adequate technologyto perform the steps involved but it will be in the future.
8 Abstract and Applied Analysis
0.06
0.04
0.02
0.00
0
10
20
30
400
10
20
30
40
4
2
00
0
10
20
30
0
10
20
30
40
Figure 3: Solution of (41) (piezometric head).
10
20
30
400
10
20
30
40
0.000
0.002
0.004
10
20
30
0
10
20
30
4
0
2
Figure 4: Barkerβs solution.
We think that describing the groundwater flow with oneequation for the whole aquifer is unrealistic, because fromone point of the aquifer to another properties includinggeology and geometry change, therefore the flow. Assump-tion such as homogeneity, isotropy, uniform thickness overthe area under investigation and so on render the study ofgroundwater uncertain. In order to study the geology orthe geometry of an aquifer, we have to divide the aquiferin small portions, from north to south and from east towest. The geology and the geometry of each portion can
0
10
20
30
40 0
10
20
30
40
0.15
0.10
0.05
0.000
10
20
30
10
20
30
4
5
0
Figure 5: Solution of (48) (piezometric head).
0
10
20
30
40
10
20
30
40
0.5
0.4
0.3
0
10
20
30
4
10
20
30
3
Figure 6: Solution of (30) (drawdown).
then be studied. If the results of the study reveal that theportion under investigation is for instance a hyperboloid,since there is no exact solution to groundwater flowmodel byhyperboloid flow and there are solutions to circular flow, thena suitable transformation can be done including transfor-mation of hyperboloid coordinates to Cartesian coordinates,then to Cartesian coordinates to cylindrical coordinate suchthat this new coordinate can now be put in the equation
Abstract and Applied Analysis 9
10
20
30
40
0
10
20
30
40
0.5
0.4
0.3
10
20
30
0
10
20
30
4
3
Figure 7: Solution of (41) (drawdown).
0.06
0.04
0.02
0.00
0
10
20
30
40
0
10
20
30
40
2
0
0
10
20
30
4
0
10
20
30
Figure 8: Solution of (48) (drawdown).
describing groundwater flow, and the solution to the newequation can then be investigated. Henceforth knowing thereal geology and geometry of this portion, the real pathsflow will be known. Then having a good knowledge of eachsmall portion including its geometry and geology, the realgeometry and geology of the aquifer can be not exactly butmore accurately known.
For groundwater remediation it will be possible to knowwhere the maximum, minimum, and average chemical con-centrations are found in the aquifer. We have no proof forthis but we believe that this proposition will be useful inreducing uncertainties in groundwater study. It is believedthat the field test gives the characteristic of an aquifer, but
0
10
20
30
40
10
20
30
40
0.5
0.4
0.3
0
10
20
30
4
10
20
30
3
Figure 9: Barkerβs solution.
β0.15
β0.10
β0.05
r
10 20 30 40
Drawdo
wn
Figure 10: Solution of (30) as function of space (piezometric head).
we believe that the field test gives both uncertainties andcharacteristics of the aquifer; therefore quantify uncertaintiesin this measurement lead us to the real picture of aquifercharacteristics, henceforth we propose that the studies ingroundwater should focus on both uncertainties and fieldsobservations, because what is known is bounded by what isnot known; knowing what is not known give a real pictureto what was known, and it follows that the knowledge ofuncertainties in groundwater study will give a clear pictureof what we already know in groundwater.
7. Conclusion
The classical Darcy Law has been generalized using theconcept of complementary fractional order derivatives ofWeyl fractional derivative. This leads to the formulation of
10 Abstract and Applied Analysis
β0.15
β0.10
β0.05
r
10 20 30 40
Drawdo
wn
Figure 11: Solution of (41) as function of space (piezometric head).
β0.15
β0.10
β0.05
r
10 20 30 40
Drawdo
wn
Figure 12: Barkerβs solution.
a new generalized form of the groundwater flow equation [6].The applications of Adomian decomposition and Frobeniusmethods were extended to obtain explicit and numericalsolutions of the space-time fractional groundwater flow.The two methods were very clearly efficient and powerfultechniques in finding the solutions of the proposed equations.The solution obtained via Frobenius takes into account theevents taking place in the vicinity of the borehole duringthe pumping test whereas the solution obtained via Adomiandecomposition methods takes into account the events thattake place far from the point where water is pumped out,that is, in the borehole. The solution obtained via Frobeniusmethod was in perfect agreement with the observed dataobtained from the pumping test performed by the Institutefor Groundwater Studies on one of their borehole settled onthe campus test site of the University of the Free State. TheAdomian decompositionmethod requires less computational
β0.15
β0.10
β0.05
r
10 20 30 40
Drawdo
wn
Figure 13: Solution of (48) as function of space (piezometric head).
work than existing approaches while supplying quantitativelyreliable results.The obtained results demonstrate the reliabil-ity of the algorithms and their wider applicability to fractionalevolution equations. A comparison of these results obtainedvia the Adomian decomposition methods with those ofBarkerβs fractal radial flow model suggests that there exists arelation between the fractional order of the derivative and thenon-integral dimension of the flow.
Authorsβ Contribution
Abdon Atangana wrote the first draft and P. D. Vermeulenread and revised it; the revised versionwas read and correctedby both authors.
Conflict of Interests
The authors declare that there is no conflict of interests forthis paper.
References
[1] J. H. Black, J. A. Barber, andD. J. Noy, βCrosshole investigations:themethod, theory and analysis of crosshole sinusoidal pressuretests in fissured rocks,β Stripa Projects Internal Reports 86-03,SKB, Stockholm, Sweden.
[2] J. F. Botha, I. Verwey van Voort, J. J. P. Viviers, W. P. Collinston,and J. C. Loock, βKaroo aquifers. Their geology, geometry andphysical behaviour,β WRC Report 487/1/98, Water ResearchCommission, Pretoria, 1998.
[3] G. J. van Tonder, J. F. Botha, W.-H. Chiang, H. Kunstmann,and Y. Xu, βEstimation of the sustainable yields of boreholes infractured rock formations,β Journal of Hydrology, vol. 241, no.1-2, pp. 70β90, 2001.
[4] J. A. Barker, βA generalized radial flowmodel for hydraulic testsin fractured rock,βWater Resources Research, vol. 24, no. 10, pp.1796β1804, 1988.
Abstract and Applied Analysis 11
[5] J. Bear, Dynamics of Fluids in Porous Media, American ElsevierEnvironmental Science Series, Elsevier, New York, NY, USA,1972.
[6] A. Cloot and J. F. Botha, βA generalised groundwater flowequation using the concept of non-integer order derivatives,βWater SA, vol. 32, no. 1, pp. 1β7, 2006.
[7] R. Courant and F. John, Introduction to Calculus and Analysis,vol. 2, John Wiley & Sons, New York, NY, USA, 1974.
[8] Y. Cherruault and G. Adomian, βDecomposition methods:a new proof of convergence,β Mathematical and ComputerModelling, vol. 18, no. 12, pp. 103β106, 1993.
[9] I. Podlubny, Fractional Differential Equations, Academic Press,San Diego, Calif, USA, 1999.
[10] I. Podlubny, βGeometric and physical interpretation of frac-tional integration and fractional differentiation,β FractionalCalculus & Applied Analysis, vol. 5, no. 4, pp. 367β386, 2002.
[11] K.Adolfsson, βNonlinear fractional order viscoelasticity at largestrains,βNonlinearDynamics, vol. 38, no. 1β4, pp. 233β246, 2004.
[12] O. P. Agrawal, βApplication of fractional derivatives in thermalanalysis of disk brakes,β Nonlinear Dynamics, vol. 38, pp. 191β206, 2004.
[13] G. Afken,Mathematical Methods for Physicists, Academic Press,London, UK, 1985.
[14] K. S. Miller and B. Ross, An Introduction to the FractionalCalculus and Fractional Differential Equations, John Wiley &Sons, New York, NY, USA, 1993.
[15] K. B. Oldham and J. Spanier,The Fractional Calculus, AcademicPress, New York, NY, USA, 1974.
[16] G. Adomian, βA review of the decomposition method inapplied mathematics,β Journal of Mathematical Analysis andApplications, vol. 135, no. 2, pp. 501β544, 1988.
[17] A. Atangana, βNew class of boundary value problems,β Informa-tion Science Letters, vol. 1, no. 2, pp. 67β76, 2012.
[18] G. Adomian, Solving Frontier Problems of Physics:TheDecompo-sition Method, Kluwer Academic, Dodrecht, The Netherlands,1994.
[19] Y. Cherruault, βConvergence of Adomianβsmethod,βKybernetes,vol. 18, no. 2, pp. 31β38, 1989.
Submit your manuscripts athttp://www.hindawi.com
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Mathematical Problems in Engineering
Hindawi Publishing Corporationhttp://www.hindawi.com
Differential EquationsInternational Journal of
Volume 2014
Applied MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Probability and StatisticsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Mathematical PhysicsAdvances in
Complex AnalysisJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
OptimizationJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
CombinatoricsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
International Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Operations ResearchAdvances in
Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Function Spaces
Abstract and Applied AnalysisHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
International Journal of Mathematics and Mathematical Sciences
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Algebra
Discrete Dynamics in Nature and Society
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Decision SciencesAdvances in
Discrete MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com
Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Stochastic AnalysisInternational Journal of