Professional Documents
Culture Documents
Laplace Transform
where
has th
ln[3]:=
F[
In[4]:=
Nl
The Laplace transform is often applied to linear partial differential equations to eliminate the time
dimension. The analytical solutions thus obtained need to be inverted to the time domain. This
OLlt[4]=
paper provides Matbematica functions for approximate inversion of the Laplace transform.
The e:
F(s) c
Smf(t)e%t
0
is often used in the solution of linear partial differential equations to eliminate the time dimension. The resulting systems
become easier to solve by analytical techniques [Detournay
and Cheng 19881, or numerical methods such as finite element or boundary element methods [Cheng and Ou 1989;
Cheng and Detournay
19881. The solutions thus obtained
need to be inverted to the time domain. The exact inversion
is normally difficult to carry out, so approximate
inversion
techniques are used.
There are many approximate
Laplace inversion
algorithms. (For comprehensive
bibliographies,
see [Piessens
197.5; Piessens and Dang 19761.) With issues of computational efficiency and accuracy in mind, a handful of techniques have been tested and compared [Cost 1964; Davies
and Martin 1979; Narayanan
and Beskos 19821. Based on
recommendations
in the literature and our own experience in
engineering applications,
we present here the Mathematics
package NLaplaceInversion .m, which implements five inversion
algorithms, one in each of the five categories classified by
Davies and Martin [ 19791.
It is important
to emphasize that the inverse of the
Paston Sidauruk holds a Masters degree in civil engineering from the University of
Delaware and is currently a Ph.D. candidate. He is on leave from the Hydrology
Section of the Atomic Energy Agency in Jakarta, Indonesia.
Younane Abousleiman holds a Ph.D. from the University of Delaware. He is currently a Senior Research Scientist at the Rock Mechanics Research Center at the
University of Oklahoma.
ln[6]:=
f1
Out[6]=
BY
expec
error
xq
ln[B]:=
yi7,cnF(*)
f(t) ==
n=l
(-1)
n+N/2
c, is given by
min( n, N/2)
x
k=(n+1)/2
/P/2(2@!
(N/2 - A$!Ic!(k - l)! (n - A$!(2k - n)!
k!
fI
Laplace transform is not stable under reasonable perturbations [Bellman et al. 19661. This can be seen by considering
the function f(t) = sin at, a > 0, and its Laplace transform
F(s) = a/( a2 + s2). While F(s) can be made arbitrarily small
by taking a sufficiently large, the inverse transform f(t) oscillates between -1 and 1. It is therefore impossible to devise a
universal algorithm that performs well for all types of func-
ln[5]:=
ln[7]:=
Stehfest Method
ln[z]:=
{i, 1, n) 1 // N
For example,
the function
Log[2l/t,
Th
aboul
event
asym
accur
diver1
range
Fig
(2) ( !?S
for tl
tions
that
enhai
2Kdm
F(s) =s
(1)
&f(t)= -E&-l/t)
F(s) can be numerically
(2)
at t = 1:
ln[3]:=
F[s_] = (2/s) BesselK[O, 2 Sqrt[s]];
ln[4]:=
Out[4]=
NLInvSteh[F[s],s,
I, 61
Papoulis
Legendre
Polynomial
Method
0.223359
is
ln[5]:=
f [t,] = - ExpIntegralEi[-l/t ] // N;
ln[6]:=
f [I]
Out[6]=
of the approximation
in the small time range is quite amazing.
Solutions with behavior similar to that of (2) often arise in
groundwater
and reservoir engineering applications. In fact,
expression (2) is known as the well function in groundwater literature. It corresponds to a sink in a confined, compressible aquifer. For complex aquifers, such as a multiplelayered aquifer system, the solution is available only in the
Laplace transform domain [Cheng and Morohunfola
19931.
The Stehfest method is quite handy to invert the solution to
the time domain.
f(t) =$$?2&~~)
n=O
0.219384
an is computed
from
LogListPlotC
ci)n
ln[g]:=
O.l}
f
1,
1.5
,-.
10
Sum[ Pochhammer[k - m + I, m] /
. .
l
1.
forn>O
10.
FIGURE
. . . (j+n-1)
The coefficient T is an arbitrary number defining the exponential series. A default value of r = 0.2 is selected for this
package based on a recommendation
in [Davies and Martin
l979], but users can select their own T values. The inverse
function NLInvPap is then provided as:
Relative Error
0.00001
for n=O
= j(j+l)
1 // 1,
0.001
symbol:
20
2.5
30
Pochhammer[i, k]
,N
In[lO]:=
In[ll]:=
{k, 0, n)
1 // N
of
LOgLOgPlOt[
{NLInvSteh[F[s],s, t, 141, NLInvPap[F[s], s, t, 201,
flm
IOO},{O.OOOOOl, loo)),
VOLUME 4, ISSUE 2
77
FIGURE
2.
Comparison
of Stehfest
line) inversion
line) inversion
The approximating
function,
with period T = 4 t,,, , is represented by its Fourier Series. The coefficients
of the Laplace
transform
are equated to samples of the transform
F(s):
f(t) =
${y +
+ y)cos(y)]
f)e[F(a
-&
(3a )
= sin t
(3b)
W) =
f(t)
-Im[F(a
where
(4)
+ y)sin(F)]/
i = 11-1. Th e parameter
a
=a
5.
a can be chosen
as
-- 1nE
2T
Next,
We note
s=l.
-I
k=l
FIGURE
terms. The e
f(t) = sin
NLInvDurt
the dot
demons
and the
Despi
that any
tally in\
sion. Tfi
ema tica
method
The
Durbin
19641. r
:= adurb[tmax,
alpha, toll
Method
01 :=
f(t)
1
0.5
0.1
0.05
0.01
0.005
{k, 0,
j) 1 // N
0.001
3. Comparison
of Stehfest (dashed line) and Papoulis (dotted
results with exact solution (solid line), f(t) = te-
FIGURE
78
line) inversion
The Durbin
method
has the same deficiency
as a Fourier
series: it converges slowly. Figure 5 shows the convergence
of
the Durbin inversion
of the function
(3a) to the exact solution with 20 and 50 terms. The SO-term result practically
coincides with the exact solution.
where t
quantit
note he
cedure j
epsilon1
epsilon1
epsilo
( epsi
eP
epsilon1
epsilon[
NLInvD
NLInvCrm
epsilo
The op
Crump
For the case of the sine function (3), the Crump method
with N = 20 produces results comparable with the Durbin
method using N = 50. However, the need to store a large
number of li(m) quantities in memory to avoid re-computation
makes the Crump algorithm
memory-inefficient.
f(t)
150:t
12s.
100:
75 -
FIGURE 5. Convergence of the Durbin inversion with 20 (dashed line) and 50 (dotted line)
terms. The exact solution is f(t) = sin t (solid line).
SO2s :
pair:
1
(5a )
St
FIGURE 6. Comparison of Durbin (dotted line) and Weeks (dashed line) inversion results
with the exact solution f(t) = et (solid line).
Weeks
Method
polynomials,
with a the leading pole of the function F(s), and H the Heaviside unit step function. The coefficients ak are
where $7) = 0 and &brn)is the mth partial sum of (4). The
(O) hence represents the extrapolated
result. We
quantity EN
note here that N must be an even number. The Crump procedure is implemented as:
N
a()
N+l
h(0 j )
j=o
N
al,
2, m + II + 1 /
( epsilon[F, s, t, tmax, alpha, tol, i - 1, m + 11 epsilon[ F, s, t, tmax, alpha, tol, i - 1, ml >
2
N+l
(+----
h(O) -
n 2j+l
2 N+l
)I
-cot
$Im
Fc+& )II
cot :
[i
N#O
j=o
in which
h(8,) cos(ke,),
, as suggested by
(6
VOLUME 4, ISSUE 2
79
talk,
NLInvPsn
SumC
0.8
0.6
thetab_, j-1
:= (Pi/2) (2 j + I) / (n + 1)
0.4
1 Im[F]) /.
k thetaIn, jl
I, {j, 0, n) 1
in which
:=
{j, 0, n)l
ai =
(2i + j3 - 3)(2i + /3 - 2)
i+/L--2
bi =
Ci
(2i + /3 - 2)(i - 1)
(i+j3--2)(2i+/3--4)
line) inversion
1, {k, 0, n) 1 // N
wi
(N-l)!
(-y-1
T(N + B - I)Nx
[2N+B_2]
pN-l(l/Xi)
f(t) = Jo(t)
the inverted result (dotted line) is displayed
solution in Figure 7.
Piessens
Gaussian
Quadrature
VW
against the exact
Method
(2 i + beta - 3) (2 - beta) /
(2 i + beta - 2) (i - 1) /
( (i + beta - 2) (2 i + beta - 4) >
p[i_, beta_, x-1 :=
(apsndi, beta] x + bpsndi, beta]) p[i - I, beta,
/3x - 1
Pi(X)
FIGURE
(dotted lini
p[l,
beta_,
x,] := beta x - I
- l)(n-I)!/
i2 2
x] +
(-l>^(n
i=l
80
fo=&wixiF(y
PI(X)
Due
point 2
branch
The prc
ure 8 s
default
in daslusing I\
essenti;
the fun
PO(X) =
We not
To tc
using 1
line, WI
the opti
ber of t
represe
Nth or
sBF(s)
Maclau
with sl(
to the f
recomn
As tl
pan-:
( (2 n + beta - 2) /
p[n - 1, beta,
l/xi[n,
beta, i] ] )-2 // N
Rd
ilk), {i, 1, d 1 1 // N
1
21S
-l/s
f(t) -
LcosJa
?r
4-t
Conclusion
12:551-572.
Cheng, A.H-D., and K. Ou. 1989. An efficient Laplace transform solution for multiaquifer systems. Water Resour. Res.
25:742-748.
Machinery
23~89-96.
Computer].
inversion of
of methods.
Poroelastic
stress field.
Abstr. 25:171-l
82.
17:371-376.
of the Laplace
VOLUME4,lSSUEZ 81
Or
Prl
0
Piessens,
R. 1973. Gaussian
quadrature
formulas
Bromwichs integral. Comm. ACM 16:486-487.
for
Bernt
Math. 1:ll.S126.
trans-
Weeks, W.T. 1966. Numerical inversion of Laplace transforms using Laguerre functions. J. ACM. 13:419-426.
The FOI
waves c
by its al
analyze
Oppenl
WQI,
phase s
determi
[1989]
text.
The I
graphic
tudes a
charact
Oppen!
[1982].
charactl
these in
of amp1
image r
The 1
charact
book in
input st
In[l]:=
Sh
Bernt C.
Californk
devices.