4.3 Direct Integration (DI) 87
Let y(x) be an arbitrary integrand function, we consider the following numerical
integral
b
a
y(x)dx.
The Gaussian integration method allows us to integral the above arbitrary function
with a number of weighted functions
b
a
y(x)dx =
b −a
2
n
∑
j=1
w
j
y(x
j
)+R
n
(4.23)
with
x
j
=
b −a
2
q
j
+
b +a
2
.
Here w
j
and q
j
are some pre-determined Gaussian constants, and their values are de-
pendent on how many n for abscissas points are chosen. The value R
n
is the residual
error of the Gaussian integration and equal to
R
n
=
(b −a)
2n+1
(n!)
4
(2n +1)[(2n)!]
3
y
(2n)
(x
∗
)
for some x
∗
between a and b. Obviously, given a certain function y(x) and an inte-
gration domain [a,b], according to R
n
, the larger the number of the abscissas points
n is, the more accurate the Gaussian integration is. Davis and Polonsky (1965, in
Handbook of Mathematical Functions with Formulae, Graphs and Mathematical
Tables of Abramowitz and Stegun) gave the different w
j
and q
j
for n from 2 to 96.
Even for n = 24 and b −a = 10, the residual error becomes extremely small and is
of an order of 10
−41
,
R
24
≈ 1.58×10
−41
y
(2n)
(x
∗
).
For the case of n = 96, most personal computers can not calculate the exact value
of R
n
.
4.3.2 Multi-Domain Integration
In many circumstances it is sufficient to calculate F
j
, j = 1, 2, by applying the Gaus-
sian integration up to a certain value in the positive real line due to the guaranteed
convergence of CF. This means that in many cases we may simply set a = 0 and
b = b
max
for a sufficient large b
max
. However, due to the strong oscillation of the inte-
grand for some strikes and maturities, it is difficult to determine an appropriate b
max
.
On the other hand, the Gaussian integration loses some accuracy for an erratic func-
tion. One way to overcome these problems is a multi-domain integration whereas
we divide the whole real domain into several domains, say, [a
0
,a
1
], [a
1
,a
2
], ···,
[a
k−1
,a
k
]. We carry out the Gaussian integration from the first domain [a
0
,a
1
], until
the last domain does no longer contribute any significant absolute value, namely,