The existence and uniqueness theorem in Biot's consolidation theory
Existence and uniqueness theorem is established for a variational problem including Biot's model of consolidation of clay. The proof of existence is constructive and uses the compactness method. Error estimates for the approximate solution obtained by a method combining finite elements and Euler's backward method are given.