Finite Element Methods for a Model for Full Waveform Acoustic Logging

A model is defined to simulate the propagation of waves in aradially symmetric, isotropic, composite system consisting ofa fluid-filled well bore ^f through a fluid-saturated poroussolid ^p. Biot's equations of motion are chosen to describe thepropagation of waves in ^p, while the standard equation of motionfor compressible inviscid fluids is used for ^f, with appropriateboundary conditions at the contact surface between ^f and ^p.Also, absorbing boundary conditions for the artificial boundariesof ^p are derived for the model, their effect being to make themtransparent for waves arriving normally First, results on the existence and uniqueness of the solutionof the differential problem are given and then a discrete-time,explicit finite element procedure is defined and analysed, withfinite element spaces suited for radially symmetric problemsbeing used for the spatial discretisation.