Professional Documents
Culture Documents
Pe 281 - Applied Mathematics in Reservoir Engineering: Rosalind Archer Stanford University Spring 2000
Pe 281 - Applied Mathematics in Reservoir Engineering: Rosalind Archer Stanford University Spring 2000
ENGINEERING
Rosalind Archer
Stanford University
Spring 2000
PE281 - Applied Mathematics in Reservoir Engineering
These notes were to developed accompany the lecture material for PE281.
I’ve tried hard to avoid losing negative signs etc. but some typos may have
snuck through. If you do find errors please contact me.
Rosalind Archer
rosalind@pangea
2
Chapter 1
Introduction
3
PE281 - Applied Mathematics in Reservoir Engineering
z
y
A
x
∆x
∂φ
Now consider ∂t
. First define the rock compressibility as:
!
1 ∂φ
cr = (1.13)
φ ∂p T
∂φ ∂p
⇒ = φcr (1.14)
∂t ∂t
Substitute equation 1.12 and 1.14 into 1.11:
!
∂ ∂p µ ∂p
ρ = ρφ(cr + c) (1.15)
∂x ∂x k ∂t
∂ 2 p ∂p ∂ρ φµct ∂p
ρ 2
+ = ρ (1.16)
∂x ∂x ∂x k ∂t
Now consider the second term in equation 1.16:
!2
∂p ∂ρ ∂p ∂ρ ∂p ∂ρ ∂p
= = (1.17)
∂x ∂x ∂x ∂p ∂x ∂p ∂x
1 ∂2p ∂2p
!
1 ∂ ∂p φµct ∂p
r + 2 2+ 2 = (1.20)
r ∂r ∂r r ∂θ ∂z k ∂t
5
PE281 - Applied Mathematics in Reservoir Engineering
∂ 2 pD ∂pD
2
= (1.24)
∂xD ∂tD
p = pi , r → ∞, ∀t (1.27)
p = pi , t = 0, ∀r (1.28)
Begin by setting:
pD = α(pi − p) (1.29)
6
PE281 - Applied Mathematics in Reservoir Engineering
where alpha must still be determined. The infinite acting boundary condition
becomes:
pD = α(pi − pi ) = 0, r → ∞, ∀t (1.30)
The initial condition becomes:
pD = α(pi − pi ) = 0, t = 0, ∀r (1.31)
φµct rw2
⇒ t∗ = (1.36)
k
!
1 ∂ ∂pD ∂pD
rD = (1.37)
rD ∂rD ∂rD ∂tD
Finally determine α from the inner boundary condition:
2πkh ∂p
q= r (1.38)
µ ∂r
(No negative sign is required here because the flow is in the negative r direc-
tion)
qµ ∂ pD
= rD rw − + pi (1.39)
2πkh ∂rD rw α
7
PE281 - Applied Mathematics in Reservoir Engineering
2πkh
⇒α= (1.40)
qµ
Nondimensionalise inner boundary condition:
∂pD
|r =1 = −1 (1.41)
∂rD D
1.4 Superposition
Solutions to complex problems can be found by adding simple solutions rep-
resenting the pressure distribution due to wells producing at constant rate
at various locations and times. This concept is known as superposition. It is
only applicable to linear problems.
Superposition in Time
Assume we have an analytical solution, pconst (q, r, t), to the problem of a well
producing at a constant rate in a given reservoir. Using superposition in time
this solution can be extended to handle a well with a variable flow rate. If
a well begins producing at rate q1 then at time t1 the rate changes to q2 the
flow rate can be represented as shown in Figure 1.2.
The analytical solution for the pressure distribution caused by the well
producing at variable rate is:
pvar (r, t) = pconst (q1 , r, t) + pconst(q2 − q1 , r, t − t1 ) (1.42)
Superposition in Space
Production from multiple wells can be handled using superposition also. Sup-
pose again we have a solution pconst (q, r, t) for the pressure distribution due
to a well located at the origin, flowing at rate q. The solution for a a reservoir
containing two wells as shown in Figure 1.3 can be generated by summing
this solution as follows:
p(r, t) = pconst (q1, r1, t) + pconst (q2, r2, t) (1.43)
where q
r1 = (x − x1)2 + (y − y1)2 (1.44)
q
r2 = (x − x2)2 + (y − y2)2 (1.45)
8
PE281 - Applied Mathematics in Reservoir Engineering
q q1
q2
t1 t
=
q q1 q
+
t1
t t
-(q1-q2)
9
PE281 - Applied Mathematics in Reservoir Engineering
closed boundary
reservoir
image producer
producer
well
reservoir
image producer
injector
well
Examples of the use of image wells are shown in Figures 1.4 and 1.5.
10
PE281 - Applied Mathematics in Reservoir Engineering
11
Chapter 2
Example:
f (t) = t (2.2)
Use integration by parts, recall:
b dv b du
Z Z
u dt = uv|ba − v dt (2.3)
a dt a dt
Choose u = t and v = − 1s e−st
t −st ∞ Z ∞ 1 −st
⇒ L{f (t)} = − e |0 + e dt (2.4)
s 0 s
1 −st ∞ 1
= 0 + − 2e = 2 (2.5)
s 0 s
For the Laplace transform to exist the following requirements must hold:
a) f (t) have a finite number of maxima, minima and discontinuities
b) there exist constants α, M, T such that
12
PE281 - Applied Mathematics in Reservoir Engineering
13
PE281 - Applied Mathematics in Reservoir Engineering
Proof:
Begin from Theorem 2
⇒
|f 0 (t)| < Meαt , ∀t > 0 (2.24)
b
Z b Z b Me−(s−α)t
I(b) = |f 0 (t)|e−st dt < Meαt e−st dt = (2.25)
−(s − α)
0 0 0
s > α as b → ∞
⇒
M
lim I(b) = (2.26)
b→∞ s−α
then as s → ∞, I(b) → 0
Therefore the left hand side of (2.21) tends to zero, i.e.:
proving theorem 4.
14
PE281 - Applied Mathematics in Reservoir Engineering
Proof:
Begin from Theorem 2
15
PE281 - Applied Mathematics in Reservoir Engineering
16
PE281 - Applied Mathematics in Reservoir Engineering
17
PE281 - Applied Mathematics in Reservoir Engineering
Proof: Z ∞ Z ∞ Z ∞
fˆ(s)ds = e−st f (t)dtds (2.67)
s s 0
Z ∞ Z ∞
= e−st f (t)dsdt (2.68)
0 s
#∞
e−st
"
Z ∞
= f (t) dt (2.69)
0 −t s
f (t) −st
∞
Z
= e dt (2.70)
0 t
( )
f (t)
=L (2.71)
t
18
PE281 - Applied Mathematics in Reservoir Engineering
t λ
λ τ
19
PE281 - Applied Mathematics in Reservoir Engineering
20
PE281 - Applied Mathematics in Reservoir Engineering
Now invert to find y. Consider the first term, we know (from tables):
n!
L{t( n)} = (2.92)
sn+1
Combining this transform with the first shift theorem gives:
e−t t3
( )
−1 1
L = (2.93)
(s + 1)4 3!
t3
!
−t
y=e −t+1 (2.98)
3!
21
PE281 - Applied Mathematics in Reservoir Engineering
In[1]:= Needs["Calculus‘LaplaceTransform‘"]
In[2]:= LaplaceTransform[t,t,s]
-2
Out[2]= s
In[4]:= InverseLaplaceTransform[s^-2,s,t]
Out[4]= t
22
Chapter 3
Petroleum Engineering
Applications of Laplace
Transforms
This chapter outlines how Laplace transforms can be used to solve problems
of interest to petroleum engineers. The solutions presented consider different
treatments of the well and different boundary conditions.
p = pi , r→∞ (3.3)
23
PE281 - Applied Mathematics in Reservoir Engineering
24
PE281 - Applied Mathematics in Reservoir Engineering
x2 y 00 + xy 0 + (x2 − n2 )y = 0 (3.15)
x2 y 00 + xy 0 − (x2 + n2 )y = 0 (3.17)
2 ∂ 2 p̂D ∂ p̂D 2
rD 2
+ rD − rD sp̂D = 0 (3.19)
∂rD ∂rD
√
Substitute ξ = rD s:
∂ 2 p̂D ∂ p̂D
ξ2 2
+ξ − ξ 2 p̂D = 0 (3.20)
∂ξ ∂ξ
Solve for p̂D : √ √
p̂D = c1 I0 (rD s) + c2 K0 (rD s) (3.21)
Now consider the boundary conditions. First consider the infinite acting
condition. As rD → ∞, p̂D must remain bounded, however:
25
PE281 - Applied Mathematics in Reservoir Engineering
∂ √ 1
lim rD c2 K0 (rD s) = − (3.27)
rD →0 ∂rD s
h √ √ i 1
⇒ lim −c2 rD sK1 (rD s) = − (3.28)
rD →0 s
To evaluate the limit we can use the following limiting form of Kv for small
arguments:
1 1
Kv (z) ≈ Γ(v)( z)−v (3.29)
2 2
√ 1
⇒ lim K1 (rD s) = √ (3.30)
rD →0 rD s
√
!
1 1
⇒ −c2 lim rD s √ =− (3.31)
rD →0 rD s s
1
⇒ c2 = (3.32)
s
Finally we have the complete solution for p̂D :
1 √
p̂D (rD , s) = K0 (rD s) (3.33)
s
Now invert p̂D to find pD . This can be achieved by recalling theorem 7:
t 1
Z
L f (t)dt = L{f (t)} (3.34)
0 s
26
PE281 - Applied Mathematics in Reservoir Engineering
√
To proceed the inverse transform of K0 (rS s) is required. Transform pair
117 from the handout gives the following:
√ 2
!
1 −rD
L−1 {K0 (rD s)} = exp (3.35)
2tD 4tD
2
!
tD 1 −rD
Z
⇒ pD = exp dtD (3.36)
0 2tD 4tD
This integral can be evaluated by using substitution:
2
rD
u= (3.37)
4tD
2
rD
⇒ tD = (3.38)
4u
2
−rD
dtD = du (3.39)
4u2
Equation (3.36) becomes:
r2
D 2
4u −rD 1 ∞ exp(−u)
Z Z
4tD
pD = 2
exp(−u) 2
du = r2 du (3.40)
∞ 2rD 4u 2 D
4tD
u
r2
!
1
⇒ pD = − Ei − D (3.42)
2 4tD
r 2 φµct
!
qµ
p = pi + Ei − (3.43)
4πkh 4kt
27
PE281 - Applied Mathematics in Reservoir Engineering
28
PE281 - Applied Mathematics in Reservoir Engineering
∂ 2 p̂D 1 ∂ p̂D
⇒ 2
+ − sp̂D = 0 (3.52)
∂rD rD ∂rD
π −x µ − 1 (µ − 1)(µ − 9)
r
Kv (x) ≈ e (1 + + + .... (3.59)
2x 8x 2!(8x)2
29
PE281 - Applied Mathematics in Reservoir Engineering
and
√ π
s
√
⇒ K1 ( s) = √ e− s (3.61)
2 s
So at late time p̂D is:
s √
1 π 2 s √s
s
√
p̂D = 3 √ e−rD s e (3.62)
s2 2rD s π
1 1√
√ e− s(rD −1)
= 3 (3.63)
s rD 2
The solution for pD can be found using transform pair number 85 from the
handout:
s
1 tD − (rD4t−1)2
!
rD − 1
pD (rD , tD ) = √ 2 e D − (rD − 1)erf c √ (3.64)
rD π 2 tD
s
tD
pD (rD = 1, tD ) = 2 (3.65)
π
30
PE281 - Applied Mathematics in Reservoir Engineering
1
⇒ c2 =√ (3.79)
sK0 ( s)
√
K0 (rD s)
⇒ p̂D (rD ) = √ (3.80)
sK0 ( s)
The inverse transform to solve this problem was provided by Van Everdin-
gen and Hurst, “The Application of the Laplace Transformation to Flow
Problems in Reservoirs”, Petroleum Transactions AIME, 305-324, 1949 (see
equation VI-26):
2t
2 ∞ (1 − e−u D
)[J0 (u)Y0 (urD ) − Y0 (u)J0 (urD )]
Z
pD (rD , tD ) = du (3.81)
π 0 u2 [J02 (u) + Y02 (u)]
32
PE281 - Applied Mathematics in Reservoir Engineering
π √
s
√
√ e− s
K0 ( s) ≈ (3.88)
2 s
s √ √
rD π −rD s 2 s rD √
s
√ √
⇒ q̂D = √ √ e e = √ e− s(rD −1)
s
(3.89)
s 2 srD π s
qD can now be found by using transform pair 84 from the tables:
√
rD − (rD4t−1)2
qD = √ e D (3.90)
πtD
Note the similarity between this and Equation (3.64) (early time behaviour
of the pressure for constant rate, finite radius well).
33
PE281 - Applied Mathematics in Reservoir Engineering
However in this example the reservoir is bounded so c1 can not be set to zero
by arguing that p̂D must remain bounded as rD tends to infinity. Instead the
outer boundary condition requires:
√ √
c1 I0 (rDe s) + c2 K0 (rDe s) = 0 (3.96)
The inner boundary conditions requires:
∂ √ √ 1
[c1 I0 (rD s) + c2 K0 (rD s)] = − rD = 1 (3.97)
∂rD s
The derivatives of the Bessel functions can be found from:
d −n
[x Kn (x)] = −x−n Kn+1 (x) (3.98)
dx
d −n
[x In (x)] = x−n In+1 (x) (3.99)
dx
Using these derivatives (3.97) becomes:
√ √ √ √ 1
c1 sI1 ( s) − c2 sK1 ( s) = − (3.100)
s
√ √ 1
⇒ c1 I1 ( s) − c2 K1 ( s) = − 3 (3.101)
s2
The outer boundary condition requires:
√ √
c1 I0 (rDe s) + c2 K0 (rDe s) = 0 (3.102)
Equations (3.101) and (3.102) can be solved for c1 and c2 to give:
√
1 K0 (rDe s)
c1 = − 3 √ √ √ √ (3.103)
s 2 K0 (rDe s)I1 ( s) + K1 ( s)I0 (rDe s)
√
1 I0 (rDe s)
c2 = 3 √ √ √ √ (3.104)
s 2 K0 (rDe s)I1 ( s) + K1 ( s)I0 (rDe s)
√ √ √ √
1 I0 (rDe s)K0 (rD s) − K0 (rDe s)I0 (rD s)
⇒ p̂D = 3 √ √ √ √ (3.105)
s 2 K0 (rDe s)I1 ( s) + K1 ( s)I0 (rDe s)
The late time (steady state) behaviour of pD can be determined by taking
the limit of p̂D as s tends to infinity:
rD
pD = ln (3.106)
rDe
34
PE281 - Applied Mathematics in Reservoir Engineering
C = cw V w (3.111)
35
PE281 - Applied Mathematics in Reservoir Engineering
36
PE281 - Applied Mathematics in Reservoir Engineering
(for more details see “Well Test Analysis”, Rajagopal Raghavan, Englewood
Cliffs, 1993)
37
PE281 - Applied Mathematics in Reservoir Engineering
Surroundings, T
o
Burial medium, Te
Pipe, Tp
ri
ro
at velocity, U:
∂Tp ∂Tp 2
ρp cp + ρp cp U =− q (3.121)
∂t ∂x ri
where q is the flux of heat through the pipe wall:
∂Te
q = −ke |r=ri (3.122)
∂r
The solution procedure involved solving for the Laplace transform of Te in
terms of Tp . This expression was then substituted into the equation governing
the Laplace transform of Tp . Finally the T̂p was solved for.
An example of this solution given below for the case of the pipeline heating
up at start-up:
√
Ti − To s 2ke sκγ To
T̂p (x, s) = exp(−( + )x) + (3.123)
s U ri ρp cp Uθ s
where
√ √ √ √
θ = K0 ( sκri )I0 ( sκro ) − Ko ( sκro )I0 ( sκri ) (3.124)
ρe ce
κ= (3.125)
ke
√ √ √ √
γ = K0 ( sκr0 )I1 ( sκri ) + K1 ( sκri )I0 ( sκro ) (3.126)
The transient pipeline temperature distribution could be found by nu-
merically inverting the expression for T̂p . The results from this approach
38
PE281 - Applied Mathematics in Reservoir Engineering
were much closer to field test results than results from a large finite differ-
ence simulation. Since the numerical inverse can be computed very quickly
many more cases could be considered to assess the sensitivities to various
parameters in the model.
39
PE281 - Applied Mathematics in Reservoir Engineering
There are other algorithms available for the numerical inversion of Laplace
transforms. The Talbot algorithm (J. Inst. Math. Appl., Jan. 1979, pg 97-
120) is one of the most accurate and widely applicable. Other algorithm seek
ˆ values in the evaluation of subsequent f (t)
to reuse previously evaluated f(s)
values.
3.11 Summary
This chapter has outlined several petroleum engineering applications of Laplace
transforms including:
- the line source solution
- the finite well radius solution
- constant well pressure solution
- bounded reservoir solution
Laplace transforms are attractive for these problems because storage, skin
and dual porosity behaviour can be added readily to the solutions in Laplace
space. The Laplace space solution can also be efficiently incorporated into
nonlinear regression routines.
A heat transfer case study was discussed to demonstrate how the use of
Laplace space solutions can complement numerical methods. The solution
that study developed approximated the physics and the geometry of the
problem but ran very quickly and could be used for sensitivity analyses. It
ultimately reproduced the field results more accurately than the numerical
model results.
40
Chapter 4
Fourier Transforms
Like the Laplace transform the Fourier transform is also an integral trans-
form. When viewed in the context of signal processing the application of the
Fourier transform takes a function from real-space to frequency-space (see
later examples). The Fourier transform is defined by:
Z ∞
F (s) = f (x)e−i2πxs dx (4.1)
−∞
1 ∞
Z
f (x) = F (s)eixs ds (4.5)
2π −∞
and
1 ∞
Z
F (s) = √ f (x)e−ixs dx (4.6)
2π −∞
41
PE281 - Applied Mathematics in Reservoir Engineering
1 ∞
Z
f (x) = √ F (s)eixs ds (4.7)
2π −∞
Example:
2
f (x) = e−πx (4.8)
Z ∞ 2
F (s) = e−πx e−i2πsx dx (4.9)
−∞
Z ∞
−π(x2 +i2xs)
= e dx (4.10)
−∞
Z ∞ 2 +i2xs−s2 +s2 )
= e−π(x dx (4.11)
−∞
Z ∞
2 −πs2
= e−π(x+is) dx (4.12)
−∞
2
Z ∞ 2
= e−πs e−π(x+is) dx (4.13)
−∞
Z ∞
2 2
= e−πs e−πξ dx (4.14)
−∞
where ξ = x + is The integral in (4.14) is known to be 1.0 so we have:
2
F (s) = e−πs (4.15)
The Fourier transform relates a function in real space (either time or distance)
to a function in frequency space. This can be seen by recalling:
ei2πxs = cos(2πxs) + i sin(2πxs) (4.16)
Now consider the inverse transform:
Z ∞
f (x) = F (s)ei2πxs ds (4.17)
−∞
This integral shows that the Fourier transform breaks a function f (x) into a
sum of sines and cosines with frequency s. (Recall the frequency of f (kx) is
|k|
2π
). The ammplitude associated with any given frequency is given by F (s).
Example:
Consider f = cos(πx). The Fourier transform of f is:
1 1
F (s) = δ(−π + 2πs) + δ(π + 2πs) (4.18)
2 2
i.e.
1
f (x) = (cos(πx) + i sin(πx) + cos(−πx) + i sin(−πx)) (4.19)
2
1
= (cos(πx) + cos(πx)) = cos(πx) (4.20)
2
42
PE281 - Applied Mathematics in Reservoir Engineering
1.0
0.8
0.6
0.4
cos(x) 0.2
0.0
-0.2
-0.4
-0.6
-0.8
-1.0
-3 -2 -1 0 1 2 3
x
Frequency spectrum
1.0
0.8
0.6
0.4
0.2
Amplitude
0.0
-0.2
-0.4
-0.6
-0.8
-1.0
-1.0 -0.8 -0.6 -0.4 -0.2 0.0 0.2 0.4 0.6 0.8 1.0
Frequency
43
PE281 - Applied Mathematics in Reservoir Engineering
44
PE281 - Applied Mathematics in Reservoir Engineering
Now consider a case where f (x) is the sum of an even and an odd function,
fe (x) and fo (x).
Recall for an odd function:
45
PE281 - Applied Mathematics in Reservoir Engineering
The fact that the Fourier transform splits into two terms (sine and cosine)
motivates the definition of the sine and cosine transforms:
s
2 ∞
Z
Fc (f (x)) = f (x)cos(xs)dx = Fc (s) (4.46)
π 0
s
2 ∞
Z
Fc−1 (Fc (s)) = Fc (s)cos(xs)ds = f (x) (4.47)
π 0
s
00 2 0
Fc (f ) = −s f (0) − s2 Fc (s) (4.48)
π
s
2 ∞
Z
Fs (f (x)) = f (x)sin(xs)dx = Fs (s) (4.49)
π 0
s
2 ∞
Z
Fs−1 (Fs (s)) = Fs (s)sin(xs)ds = f (x) (4.50)
π 0
s
2
Fs (f 00 ) = s
f (0) − s2 Fs (s) (4.51)
π
Use of sine and cosine transforms simplifies the transform procedure when
transforming even and odd functions. The sine and cosines transforms can
be used in place of the full Fourier transform for problems with:
- semi-infinite domains
- differential equation that have even orders of derivatives
- either f of f 0 specified at the boundary
46
PE281 - Applied Mathematics in Reservoir Engineering
∂ 2 pD ∂pD
2
= (4.52)
∂xD ∂tD
pD (xD = 0, tD ) = 1 (4.53)
pD (xD → ∞, tD ) = 0 (4.54)
pD (xD , tD =) = 0 (4.55)
Since the pressure and not the pressure derivative is set on the boundary use
the sine transform. The choice of transform is made according to equations
(4.48) and (4.51) which relate the transform of the second derivative to the
boundary conditions.
First transform the differential equation (in space):
s
2 ∂ p̃D
s pD (xD = 0, tD ) − s2 p̃D = (4.56)
π ∂tD
s
∂ p̃D 2
⇒ + s2 p̃D = (4.57)
∂tD π
This equation can be solved using the integrating factor method:
dy
+ P (x)y = Q(x) (4.58)
dx
R Z R
P dx P dx
ye = Qe dx + C (4.59)
s
s2 tD
Z tD 2 s2 τ
⇒ p̃D e = se dτ + C (4.60)
0 π
s
tD 2 −s2 (tD −τ )
Z
p̃D = se dτ (4.61)
0 π
s
21 2
= (1 − e−s tD ) (4.62)
πs
47
PE281 - Applied Mathematics in Reservoir Engineering
T (x ± ∞, t) = T 0 (x ± ∞) = 0 (4.69)
1 1 ∞
Z
= √ f (x)e−isx |∞
−∞ − √ (−is)f (x)e−isx dx (4.72)
2π 2π −∞
48
PE281 - Applied Mathematics in Reservoir Engineering
T̃ (t = 0) = T̃0 = c1 (4.76)
2t
⇒ T̃ = T̃0 e−(κs) (4.77)
Now invert to find T :
1 Z ∞ isx −(κs)2 t
T =√ e T̃0 e ds (4.78)
2π −∞
The transform of T0 is:
1 Z∞
T̃0 = √ T0 (λ)e−isλ dλ (4.79)
2π −∞
1 ∞ isx ∞ −isλ
Z Z
2
⇒T = e e T0 (λ)e−(κs) t dλds (4.80)
2π −∞ −∞
1 Z ∞ Z ∞
2
= T0 (λ) e−is(λ−x)−(κs) t dsdλ (4.81)
2π −∞ −∞
49
PE281 - Applied Mathematics in Reservoir Engineering
p(0, y) = 0 (4.84)
p(x → ∞, y) = 0 (4.85)
p(x, 0) = f (x) (4.86)
p(x, a) = 0 (4.87)
Since the domain is semi-infinite and the pressure is specified on the boundary
we will use the sine transform to transform the differential equation:
∂2p ∂2p
!
Fs + =0 (4.88)
∂x2 ∂y 2
s
2 ∂ 2 p̃
⇒s p(0, y) − s2 p̃ + 2 = 0 (4.89)
π ∂y
∂ 2 p̃
⇒ − s2 p̃ = 0 (4.90)
∂y 2
This equation can be solved for T̃ to give:
50
PE281 - Applied Mathematics in Reservoir Engineering
where s
2 ∞
Z
F1 =
f (λ)sin(sλ)dλ (4.97)
π 0
Substituting F1 into the expression for p gives:
2 ∞ ∞ sinh(s(a − y))
Z Z
f (λ) sin(sλ)sin(sx)dλds (4.98)
π 0 0 sinh(sa)
!
y ∞ 1 1
Z
= f (λ) 2 2
− 2 dλ (4.99)
π 0 y + (x − λ) y + (x + λ)2
51
PE281 - Applied Mathematics in Reservoir Engineering
1 NX
−1
fk = F (sn )e2πikn/N (4.106)
N n=0
For instance if we have 100 data points sampled from the following function
over x[0,1]:
f (x) = sin(20πx) + noise (4.107)
The function f(x), shown in Figure 4.3, is quite noisey. However by taking
the Fourier transform, (Figure 4.4) we can extract the original sine wave
52
PE281 - Applied Mathematics in Reservoir Engineering
1.5
1
0.5
20 40 60 80 100
-0.5
-1
-1.5
-2
quite easily. The Fourier transform shows two distinct spikes, one at the
n = 10 and one at n = 90. These correspond to frequencies of ±10 i.e.
the frequency of the original sine wave. The first N/2 values of the Fourier
transform correspond to frequencies of 0 < f < fmax . The second N/2 values
of the Fourier transform correspond to the frequencies −fmax < f < 0. Note
that the value at n = N/2 corresponds to both f = fmax and −fmax .
Note the discrete Fourier transform (DFT) only considers a finite range
of frequencies because it uses a finite number of sn . If there are frequencies
beyond this present in the true Fourier transform and effect known as alias-
ing occurs. As shown in Figure 4.5 aliasing occurs when frequencies beyond
the range of the chosen set of sn are present. Aliasing “folds” these frequen-
cies back into the computed Fourier transform. Aliasing can be avoided by
filtering the function before it is sampled.
53
PE281 - Applied Mathematics in Reservoir Engineering
20 40 60 80 100
− 1 0 1 f
2∆ 2∆
Figure 4.5: Aliasing effect (from “Numerical Recipes in C”, Cambridge Uni-
versity Press
54
PE281 - Applied Mathematics in Reservoir Engineering
written as the sum of two Fourier transforms each of length N/2. One of
these transforms is formed from the even-numbered points of the original N,
the other from the odd-numbered points.
N −1
e−2πijk/N fj
X
F (sk ) = (4.108)
j=0
N/2−1 N/2−1
−2πik(2j)/N
e−2πik(2j+1)/N f2j+1
X X
= e f2j + (4.109)
j=0 j=0
N/2−1 N/2−1
−2πikj/(N/2) k
e−2πikj/(N/2) f2j+1
X X
= e f2j + W (4.110)
j=0 j=0
where
W = e−2πi/N (4.111)
⇒= F e (sk ) + W k F o (sk ) (4.112)
This expansion can be performed recursively i.e. a transform a length N/2
can be written as the sum of two transforms of length N/4 etc.
55
Chapter 5
1 ∞ Z
f (t) = √ F (s)[cos(2πst) + sin(2πst)]ds (5.2)
2π −∞
The notation cas(2πst) is sometimes used:
56
PE281 - Applied Mathematics in Reservoir Engineering
57
PE281 - Applied Mathematics in Reservoir Engineering
Derivatives
Consider the Hankel transform of g(x) = f 0 (x).
Z ∞
Gv (λ) = f 0 (x)Jv (λx)xdx (5.9)
0
d ∞
Z
= [xf (x)Jv (λx)]∞
0 − f (x)
[xJv (λx)]dx (5.10)
0 dx
Assume that f (x) is such that the first term is zero. Now consider the
derivatives of the Bessel functions:
d λx
[xJv (λx)] = [(v + 1)Jv−1 (λx) − (v − 1)Jv+1 (λx)] (5.11)
dx 2v
v+1 v−1
⇒ Gv (λ) = −λ[ Fv−1 (λ) − Fv+1 (λ)] (5.12)
2v 2v
Note that v = 0 is a special case.
Bessel’s Equation
One of the most useful features of the Hankel transform is what happens when
it is applied to Bessel’s equation. If f (x) is an arbitrary function consider
the transform of:
d2 1 d v2
g(x) = f (x) + f (x) − f (x) (5.13)
dx2 x dx x2
Gv (λ) = −λ2 Fv (λ) (5.14)
2
Note that the terms in the radial diffusivity equation, ∂∂rp2 + 1 ∂p
r ∂r
, are an
instance of Bessels equations so in radial (no θ, z) coordinates:
58
PE281 - Applied Mathematics in Reservoir Engineering
z=h
line sink
porous media
z=0
r
Figure 5.1: Source/sink configuration
∂ 2 p 1 ∂p ∂ 2 p
" #
δ(r − ρ) δ(r)
2
+ + 2 =α − δ(z − zo ) (5.16)
∂r r ∂r ∂z r r
The Dirac delta terms are used to impose the rate boundary conditions at
the source and sink. When this equation is Hankel transformed it becomes:
∂ 2 p̄
2
− λ2 p̄ = −α(δ(z − z0 ) − J0 (λp)) (5.17)
∂z
where p̄ is the Hankel transform of p;
The solution for p̄ is:
cosh(λz0 ) J0 (λρ)
p̄ = α cosh(λ(z − 1)) − , z[z0 , 1] (5.18)
λsinh(λ) λ2
59
PE281 - Applied Mathematics in Reservoir Engineering
60
Chapter 6
Green’s Functions
d2 d
L= 2
+ (6.1)
dx dx
d2 u du
Lu = + (6.2)
dx2 dx
The adjoint of L is written L∗ . It is defined by multiplying Lu by another
(arbitrary) function v and integrating:
Z Z
vLu dx = boundary terms + uL∗ v dx (6.3)
61
PE281 - Applied Mathematics in Reservoir Engineering
Example:
d2 d
L = a(x) 2
+ b(x) + c(x) (6.4)
dx dx
i.e.
d2 u du
Lu = a(x) 2
+ b(x) + c(x)u (6.5)
dx dx
What is L∗ ? Z
A= v[au00 + bu0 + cu]dx (6.6)
= v 00 a+a0 v 0 +a00 v+a0 v 0 −v 0 b−b0 v+vc = av 00 +(2a0 −b)v 0 +(a00 −b0 +c)v (6.11)
d d
⇒ L∗ = a(x) 2
+ (2a0 (x) − b(x)) + (a00 (x) − b0 (x) + c(x)) (6.12)
dx dx
Self-Adjointness
If L = L∗ and the boundary terms vanish, the operator L is known as a
self-adjoint operator. In the example above, L is self-adjoint if:
2a0 − b = b (6.13)
a00 − b0 + c = c (6.14)
⇒ b = a0 (6.15)
i.e. if b = a0 then L is self adjoint. The importance of self adjoint operators
will become clearer we discuss Green’s functions.
62
PE281 - Applied Mathematics in Reservoir Engineering
k=3
3/2
k=2
1
1/2 k=1
k 1 1
= + =1 (6.18)
2 k k
Define δ(x) = limk→∞ Wk
Z ∞
⇒ δ(x) = 1.0 (6.19)
−∞
δ(x) = 0, x 6= 0
∞, x = 0
(6.20)
63
PE281 - Applied Mathematics in Reservoir Engineering
H(x-a)
x=a
64
PE281 - Applied Mathematics in Reservoir Engineering
Z ∞
= h(∞) − H(x − a)h0 (x)dx (6.27)
−∞
Z ∞
= h(∞) − h0 (x)dx (6.28)
a
= h(∞) − (h(∞) − h(a)) = h(a) (6.29)
Z ∞
δ(x − a)h(x) dx (6.30)
−∞
0
⇒ H (x − a) = δ(x − a) (6.31)
65
PE281 - Applied Mathematics in Reservoir Engineering
Step 1: Find L∗
Note we are working with u(xi ) not u(x).
Z 1 Z 1
Gu00dxi = Gu0 |10 − u0G0 dxi (6.41)
0 0
Z 1
= Gu0|10 − uG0 |10 + uG00 dxi (6.42)
0
i.e.
d2
L∗ = (6.43)
dx2
G(x, 1) = 0 (6.46)
G(x, 0) = 0 (6.47)
66
PE281 - Applied Mathematics in Reservoir Engineering
G(x, 0) = 0 (6.51)
⇒ B = −xH(−x) = 0 (6.52)
G(x, 1) = 0 (6.53)
⇒ (1 − x)H(1 − x) + A = 0 (6.54)
⇒ A = −(1 − x) (6.55)
Substitute A and B back into G:
When xi < x:
G = (x − 1)xi (6.58)
When xi > x:
G = (xi − 1)x (6.59)
This symmetry is something that should be expected for self adjoint prob-
lems. Physically G can be interpreted as the deflection of a beam in response
to an incremental load φ(xi )dxi at point xi .
67
PE281 - Applied Mathematics in Reservoir Engineering
Step 1: Find L∗
Z 1 Z 1 Z 1 Z 1
GLudxi = Gu0 |10 − u0 G0 dxi + 3Gu|10 − 3 uG0 dxi + 2 uGdxi (6.63)
0 0 0 0
Z 1 Z 1 Z 1
= Gu0 |10 −G 0
u|10 + uG dxi +00
3Gu|10 −3 0
uG dxi + 2 uGdxi (6.64)
0 0 0
d2 d
⇒ L∗ = 2
−3 +2 (6.65)
dx dx
The problem is not self adjoint.
G(x, 0) = 0 (6.68)
We can only specify two boundary conditions on G. The mixed boundary
condition in this problem means that this is not enough to zero all the boud-
nary terms. We will choose to carry aG(x, 1) through the problem and set:
68
PE281 - Applied Mathematics in Reservoir Engineering
d2 G dG
2
−3 + 2G = 0, 0 ≤ xi < x (6.72)
dxi dxi
d2 G dG
2
−3 + 2G = 0, x < xi ≤ 1 (6.73)
dxi dxi
The singularity at xi = x will be handled by imposing conditions on the
constants of integration. The general solution to this problem is:
G(x, 0) = 0 (6.76)
⇒A+B =0 (6.77)
−2G0 (x, 1) + 6G(x, 1) + G0 (0, x) = 0 (6.78)
⇒ −2(Ce + 2De2 ) + 6(Ce + De2 ) + (A + 2B) = 0 (6.79)
A + 2B + 4Ce + 2De2 = 0 (6.80)
We will require that G is continuous at xi = x:
69
PE281 - Applied Mathematics in Reservoir Engineering
dG x+0 x+0 Z
⇒ |x−0 − 3G|x+0
x−0 + 2 Gdxi = 1 (6.83)
dxi x−0
We now have four equations to solve for the constants. The final solution for
G is:
1
G = (2e2(1−x) − 4e1−x )(exi − e2xi ), 0 ≤ xi ≤ x (6.85)
k
1
G = (2e2−x −2e2 −1)exi −x + (4e−4e1−x + e−x )e2xi −x , x ≤ xi <= 1 (6.86)
k
where
k = 1 − 4e + 2e2 (6.87)
This assumes the independent variables are x and y but x are t are also
possible. This equation can be classified according to A,B and C.
B 2 − AC < 0, elliptic
B 2 − AC = 0, parabolic
B 2 − AC > 0, hyperbolic
70
PE281 - Applied Mathematics in Reservoir Engineering
dΓ
θ n
dy
i
We will work out the first term in the general case for the adjoint operator:
x2
(Z )
Z Z Z y2
vAuxx dΩ = vAuxx dx dy (6.91)
y1 x1
Z y2 Z x2
= vAux |xx21 − (vA)x ux dx dy (6.92)
y1 x1
Z y2 Z x2
= [vAux − (vA)x u]xx21 + (vA)xx udx dy (6.93)
y1 x1
Z y2 ZZ
= [vAux − (vA)x u]xx21 dy + (vA)xx udΩ (6.94)
y1
Now consider the boundary integration more carefully. The boundary (Γ) is
an arbitrary function of x and y.
71
PE281 - Applied Mathematics in Reservoir Engineering
Treating all terms in this manner gives the following relationship between
L nand L∗ :
ZZ Z ZZ
vLu dΩ = (M~i + N~j) · ~ndΓ + uL∗ v dΩ (6.97)
Γ Ω
where
Common Operators
Equation Lu L∗ v
Laplace ∇2 u ∇2 v
Helmholtz ∇2 u + k 2 u ∇2 v + k 2 v
Diffusion κut − uxx −κvt − vxx
Wave c2 uxx − utt c2 vxx − vtt
Of these four the diffusion equation is the only one that is not self-adjoint.
It can be proven that:
Ax + By = D (6.101)
and
Bx + Cy = E (6.102)
are necessary and sufficient conditions for L = L∗ .
where q
r= (x − xi )2 + (y − yi )2 (6.104)
72
PE281 - Applied Mathematics in Reservoir Engineering
and
k2 1
Wk = , r≤ (6.105)
π k
1
= 0, r> (6.106)
k
and/or
2
ke−kr
Wk (r) = (6.107)
π
The two dimensional delta function has similar properties to the one dimen-
sional delta function:
ZZ
δ(x − xi , y − yi )h(x, y)dΩ = h(xi , yi ) (6.108)
dΩ
G = Gf + Gb (6.110)
73
PE281 - Applied Mathematics in Reservoir Engineering
Γe
x,y
Γ
yi
xi
∂Gf A
⇒ = (6.114)
∂r r
∂Gf A
⇒ = (6.115)
∂r r
⇒ Gf = Alnr + B (6.116)
where q
r= (xi − x)2 + (yi − y)2 (6.117)
Now consider the singularity by integrating over a disc surrounding the sin-
gularity as shown in Figure 6.4.
ZZ ZZ
∇2 Gf dΩ = δ(xi − x, yi − y)dΩ (6.118)
Ωe Ωe
Use Green’s second identity to convert the domain integral on the left to a
boundary integral. In general for two function f and g Green proved:
!
∂g ∂f
ZZ Z
2 2
(f ∇ g − g∇ f )dΩ = f −g dΓ (6.119)
Ω Γ ∂n ∂n
74
PE281 - Applied Mathematics in Reservoir Engineering
∂Gf
ZZ Z
⇒ ∇2 Gf dΩ = dr (6.120)
Ωe Γe ∂r
2π ∂Gf
Z
= rdθ (6.121)
0 ∂r
Now substitute Gf = Alnr + B:
2π 1
Z
⇒= A rdθ (6.122)
0 r
Recalling the left hand side of Equation 6.118 must equal 1 we have:
2πA = 1 (6.123)
i.e.
A=1 (6.124)
Since we are not considering any boundary conditions we can not solve for
B explicity so we will set it (arbitrarily) to zero, i.e.:
1
Gf = lnr (6.125)
2π
∂u ∂ 2 u
Lu = κ − 2 (6.126)
∂t ∂x
Referring to the general expression for L and L∗ we have the following L∗ :
∂ ∂2
L∗ = −κ − 2 (6.127)
∂t ∂x
To find the (free-space) Green’s function we will solve:
∂Gf ∂ 2 Gf
L∗ Gf = κ + = −δ(xi − x)δ(τ − t) (6.128)
∂τ ∂x2i
We’ll use a Fourier transform to do this, specifically:
1 ∞
Z
F (s) = √ f (xi )e−ixi s dxi (6.129)
2π −∞
75
PE281 - Applied Mathematics in Reservoir Engineering
∂ Gˆf 1
⇒κ − s2 Ĝf = −δ(τ − t) √ e−ixs (6.130)
∂τ 2π
As before consider solving two problems, one on each side of the singularity
(where the delta function is zero):
∂ Gˆf
κ − s2 Ĝf = 0, τ >t (6.131)
∂τ
∂ Gˆf
κ − s2 Ĝf = 0, τ <t (6.132)
∂τ
This equation can be readily solved for Ĝf :
2
Ĝf = Aes τ κ, τ >t (6.133)
2
Ĝf = Bes τ κ, τ <t (6.134)
Now take account of the singularity by integrating past it:
t+0 dĜf t+0 1 t+0
Z Z Z
κ dτ − s2 Ĝf dτ = − √ δ(τ − t)e−ixs dτ (6.135)
t−0 dτ t−0 2π t−0
76
PE281 - Applied Mathematics in Reservoir Engineering
H(t − τ ) −ixs− s2 t + s2 τ
Ĝf = √ e κ κ (6.140)
κ 2π
The Fourier transform can be inverted to give:
2
H(t − τ ) −κ(x i −x)
Gf = q e 4(t−τ ) (6.141)
4πκ(t − τ )
Note being able to express the initial condition in this “product” form is
essential.
∂ 2 u1 1 ∂u1
2
= , a1 ≤ x ≤ b1 (6.147)
∂x κ ∂t
77
PE281 - Applied Mathematics in Reservoir Engineering
∂ 2 u2 1 ∂u2
= , a2 ≤ y ≤ b2 (6.148)
∂y 2 κ ∂t
∂ 2 u3 1 ∂u3
2
= , a3 ≤ y ≤ b3 (6.149)
∂z κ ∂t
The initial conditions for this set of equations are:
∂ 2 u1 ∂ 2 u2 ∂ 2 u3
= u2 u3 + u 1 u 3 + u 1 u 2 (6.155)
∂x2 ∂y 2 ∂z 2
78
PE281 - Applied Mathematics in Reservoir Engineering
where
∂p
η∇2 p − =0 (6.159)
∂t
Note that this one dimensional source corresponds to an infinite planar
source in three dimensions (see Figure 6.5). This source can be integrated
over a region of width xf to produce a slab source as shown in Figure 6.6:
" ! !#
1 x − (xw − xf /2) x − (xw + xf /2)
S= erf √ − erf √ (6.160)
2 4ηt 4ηt
The product of the inifinite plan source and the infinite line source gives
the point source solution (see Figure 6.7).
The set of free-space solutions Gringarten and Ramey generated is given
by I(x) to VI in Table 1 of their paper.
79
PE281 - Applied Mathematics in Reservoir Engineering
y
x
x = xw
Figure 6.5: Planar source
y
x
xf
z
x = xw
Figure 6.6: Slab source
80
PE281 - Applied Mathematics in Reservoir Engineering
Figure 6.7: 3D Point source as a product of a line source and a plane source
The sequence extends infinitely in both directions. The Green’s function that
corresponds with this sequence is:
1 (x−xw )2 (x+xw )2 (x−2xe +xw )2 (x+2xe −xw )2
G= √ e− 4ηt − e− 4ηt − e− 4ηt + e− 4ηt + ...
4πηt
( ∞ ) (6.161)
1 X − (x−xw −2nxe )2 (x+xw −2nxe )2
G= √ e 4ηt − e− 4ηt (6.162)
4πηt n=−∞
This series can have convergence problems. It is better to expand it using
Poisson’s summation formula, which is:
∞
√ ∞
2π X 2πn
X
f (αn) = F (6.163)
−∞ α n=−∞ α
81
PE281 - Applied Mathematics in Reservoir Engineering
+ve +ve
-ve -ve
+ve
-2x e+xw -x x=0 xw xe 2x e-x w 2x e +x w
w
Figure 6.8: Sequence of image wells
We will need
(x−xw −2nxe )2
F e− 4ηt (6.165)
and
(x+xw −2nxe )2
−
F e 4ηt (6.166)
2
x̃
−is(x−xw) − 4ηt
=e F e (6.168)
1 Z ∞ −isx̃ − 4ηt
x̃2
= e−is(x−xw) √ e e dx̃ (6.169)
2π −∞
We will evaluate this integral by completing the square in the exponent. The
exponent is:
√
x̃2
! !
x̃ 4ηtis 2 2
− + isx̃ = ( √ + ) + ηts (6.170)
4ηt 4ηt 2
Recall the following useful integral which will help us evaluate the integral
we require for the Fourier transform:
Z ∞ −z 2 √
e A2 dz = πA (6.171)
−∞
82
PE281 - Applied Mathematics in Reservoir Engineering
The terms in square brackets can be expanded in terms of sines and cosines
to give:
πnx πnx πnxw
iπn(x−xw ) iπn(x+xw )
e− xe − e− xe ) − isin( ) 2isin(
= cos( )
xe xe xe
(6.178)
The product of the cosine and sine terms is zero when summed (recall the
integral of an even function times an odd function is also zero), so only the
sine terms remain. Finally when we substitute back into G we have:
∞ 2 n2 ηt
( )
1 X −π
x2
πnx πnxw
G= e e sin( )sin( ) (6.179)
xe n=−∞ xe xe
Because of the symmetry in the sine terms we have
∞ 2 n2 ηt
( )
2 X −π
x2
πnx πnxw
G= e e sin( )sin( ) (6.180)
xe n=1 xe xe
83
PE281 - Applied Mathematics in Reservoir Engineering
x=0 x
w
y
w
y=0
84
PE281 - Applied Mathematics in Reservoir Engineering
Once the appropriate source function has been determined the drawdown
can be found by evaluating the following integral:
1 t
Z
∆p(t) = q(τ )S(t − τ )dτ (6.183)
φc 0
L∗ G = δ(xi − x, τ − t) (6.187)
will allow us to solve for u(x, t)
ZZ
u(x, t) = Gf (xi , τ )dΩ − boundary terms (6.188)
Ω
- Where’s the singularity?
While we are solving for G the domain of the problem is xi , τ so the singu-
larity is at a point x, t, but ...
... once we have G and are thinking about what it means physically G is the
effect on u (in the domain x, t) of a singularity at xi , τ .
85
Chapter 7
Numerical Methods
∂2p ∂2p
+ =0 (7.1)
∂x2 ∂y 2
86
PE281 - Applied Mathematics in Reservoir Engineering
Γ
e
87
PE281 - Applied Mathematics in Reservoir Engineering
node
linear element
88
PE281 - Applied Mathematics in Reservoir Engineering
ξ=−1 ξ=+1
x=x 1 x=x 2
functions (Nj ). Figure 7.2 shows a linear element i.e. the boundary geometry
is approximated by a straight line connecting the nodes. Higher order ele-
ments are also possible. To improve the accuracy of the solution the elements
can either be refined into smaller elements, or higher order interpolation e.g.
quadratic can be used.
The shape functions are defined in terms of a local coordinate ξ that runs
from -1 to 1 along the element.
The linear shape functions are:
x(ξ) = N1 x1 + N2 x2 (7.15)
y(ξ) = N1 y1 + N2 y2 (7.16)
p(ξ) = N1 p1 + N2 p2 (7.17)
where
1
N1 = (1 − ξ) (7.18)
2
1
N2 = (1 + ξ) (7.19)
2
The quadratic shape functions are:
x(ξ) = N1 x1 + N2 x2 + N3 x3 (7.20)
−ξ
N1 = (1 − ξ) (7.21)
2
N2 = (1 + ξ)(1 − ξ) (7.22)
ξ
N3 = (1 + ξ) (7.23)
2
89
PE281 - Applied Mathematics in Reservoir Engineering
By breaking the boundary integral in equation 7.14 into the sum of inte-
grals over elements, and writing the expression for the pressure and geometry
of the elements in terms of shape functions we have:
M X 2 M X 2
θ X Z 1
∂G(ri ) X ∂pj Z 1
p(xi , yi)+ pj Nj (ξ)J(ξ)dξ = G(ri )Nj (ξ)J(ξ)dξ
2π m=1 j=1 −1 ∂n m=1 j=1 ∂n −1
(7.24)
where M is the number of elements and J(ξ) is a Jacobian which takes
account of the integral being performed over ξ.
v
u !2 !2
dΓ u dx(ξ) dy(ξ)
J(ξ) = = t
+ (7.25)
dξ dξ dξ
90
PE281 - Applied Mathematics in Reservoir Engineering
Wn = 1.0 (7.31)
N =3
±ξn = 0, 0.7745 (7.32)
Wn = 0.8888, 0.5555 (7.33)
N =4
±ξn = 0.8611, 0.3399 (7.34)
Wn = 0.3478, 0.6521 (7.35)
If i = j the integrals are singular special qaudratures can be used, how-
ever these may be computationally intensive or problem specific. Luckily a
physical arguement can be used to evaluate these diagonal terms once the off-
diagonals have been evaluated. For this problem if p is constant everywhere
∂p
we expect ∂n at every node to be zero i.e.
∂p
Apconst = B =0 (7.36)
∂n
N
X
⇒ Aii = − Aij (7.37)
j=1,j6=i
91
PE281 - Applied Mathematics in Reservoir Engineering
p
Figure 7.4: Boundary conditions at a smooth boundary
q q
p
If the last option is being used and extra equation is required. This can
be generated from the physics of the problem, or by breaking the boundary
up.
92
PE281 - Applied Mathematics in Reservoir Engineering
q
q
p p
93
PE281 - Applied Mathematics in Reservoir Engineering
since ∇p = η ∂p
∂t
. We’re using the steady state Green’s function used in the
previous section.
We could approximate ∂p ∂t
with a finite difference i.e.:
∂p pt2 − pt1
= (7.43)
∂t ∆t
however a domain integral is still required so the problem has lost it’s bound-
ary only character.
To handle transient problems in a boundary only manner alternative ap-
proaches are require. We’ll consider two - transient Green’s functions and
solving the problem in Laplace space.
Using this Green’s function a BEM scheme can be built which will solve
for p̄. To get p at any time of interest we can numerically invert this solution.
This removes the need to begin the solution procedure from t = 0 and march
forward in time.
95
PE281 - Applied Mathematics in Reservoir Engineering
∇2 p = b(x, y) (7.48)
The function b is arbitrary so the Green’s function for this problem is not
neccessarily available. The essence of the DRBEM approach is the following
expansion:
N
X
b≈ αj fj (7.49)
j=1
where the αj are weights and the fj are a set of approximating functions. The
only restriction on the approximating functions is that they are the Laplacian
of some other function:
∇2 pˆj = fj (7.50)
One of the simplest functions satisfying this requirement is f = 1 + r.
The equation we are trying to solve can now be expressed as:
N N
∇2 p = αj ∇2 pˆj
X X
αj fj = (7.51)
j=1 j=1
where P̂ and Q̂ are matrices whose columns contain the functions pj and qj
evaluated at each node i.
Computational issues:
- internal nodes must be included in the matrix problem if the solution is
required at internal points. So the matrix problem is larger than it would be
for BEM and it remains dense.
96
PE281 - Applied Mathematics in Reservoir Engineering
Note that no approximations have been made at this stage. Now GEM
departs from BEM:
- both the boundary and the domain are discretised.
- the boundary integral can be seen as the sum of integrals over the element
boundaries.
If both the boundary and the domain integrals are broken into the sum of
element integrals we have:
M M
θ ∂G ∂p
X Z X ZZ
− p(xi , yi) + p − G dΓ = GbdΩ (7.57)
2π e=1 Γe ∂n ∂n e=1 Ωe
97
PE281 - Applied Mathematics in Reservoir Engineering
Figure 7.7: Overall boundary is equivalent to the sum of the element bound-
aries
functions:
4
X
p= Nj pj (7.58)
j=1
4
X
q= Nj qj (7.59)
j=1
4
X
b= Nj bj (7.60)
j=1
where
∂G
Z
e
Rij = Nj dΓ (7.63)
Γe ∂n
Z
Leij = Gi Nj dΓ (7.64)
Γe
ZZ
Vije = Gi Nj dΩ (7.65)
Ωe
98
PE281 - Applied Mathematics in Reservoir Engineering
99
Chapter 8
Errata
The following is a list of typos that were found after the original handout
was produced. There are inevitably even more. If you find them please let
me know.
Eqn 2.20 should read lim s → ∞ sLf (t), the first = sign is incorrect
Eqn 2.22 should have lim s → ∞ as the second limit
Eqn 2.63 should not have the first negative sign
Eqn 2.66 should have limits of integration from s to infinity
Eqn 2.81 should have lim t → ∞ on the right hand side
Eqn 3.48 should be lim t → ∞
Eqn 3.73 should be pd = (pi-p)/(pi-pw)
Eqn 3.74 should be rd=1
Eqn 6.82 should finish with δ(xi − x)dxi
Eqn 6.84 should have 2B exp(2x) not B exp(2x)
Eqn 6.86 should finish with x ≤ xi ≤ 1
Eqn 6.171 should have −z 2 /A2 as the exponent
100