Before an oil company is drilling for oil, they try to estimate the
magnitude of the excess pressure in underground layers.
Knowledge of the excess pressure can help to predict
the presence of oil and gas reservoirs.
A mathematical model for the prediction of the excess pressure in a
geological time scale is based on conservation of mass and Darcy's law.
This leads to a time-dependent diffusion equation, where the region also
changes in time. In order to solve this diffusion equation, the finite
element method is applied. As a consequence in each time-step a linear
system of equations has to be solved.
In practical applications we are faced with large regions in a
three-dimensional space and as a consequence a large number of finite
elements is necessary. The matrix itself is sparse, but due to fill-in a
direct method requires to much memory to fit in core.
So, only iterative methods are
acceptable candidates for the solution of the linear systems of
equations.
Since these equations are symmetric a preconditioned conjugate gradient
method (ICCG) is a natural candidate. Unfortunately an extra
complication
of the physical problem we are dealing with, is that the underground
consists of layers with very large differences in permeability.
A large contrast in coefficients usually leads to a very ill-conditioned
system of equations to be solved. Since the convergence rate of ICCG
depends on the condition of the matrix one may expect a slow convergence
rate. An even more
alarming phenomenon is that numerical results suggest that ICCG has
reached
a certain accuracy but that the actual accuracy is in fact orders worse.
This means that due to ill-conditioning the standard termination
criterion is no longer reliable.
An analysis of the problem shows that without preconditioning
there are many small eigenvalues in the matrix, but using an ILU
preconditioned matrix this number is reduced to the number
of sandstone layers that not reach the earth surface.
This suggests a way of solving the
problems mentioned. The convergence and
reliability of the termination criterion is considerably improved by
projecting the solution in each step onto the orthogonal complement of
the
space spanned by the eigenvectors corresponding to the very small
eigenvalues of the preconditioned matrix. The idea is that, assuming
that
the vectors are written as linear combination of eigenvectors, the
components corresponding to these specific eigenvectors do not play a
role
anymore. As a result one may expect a much faster convergence and a
reliable termination criterion. A clear disadvantage of this method is
of
course that one has to compute the specific eigenvectors.
It appears that eigenvectors can be easily approximated,
based on physical arguments. Furthermore it is shown, that even
approximate
eigenvectors lead to a fast convergence.