The main aim of this paper is to prove the existence and uniqueness of solutions to an initial-boundary value problem corresponding to the Biot model. The existence theorem is proved by Galerkin method and the passage to the limit in the approximation process is shown in a standard way. Assuming that the given data satisfy some natural regularity requirements a better regularity of solutions is obtained than it could be found in the literature.
Biot, M.General theory of tree dimensional consolidation. Journal of Applied Physics12, 155-169 (1941).
2.
Wang, H.Theory of Linear Poroelasticity, Princeton University Press , Princeton, NJ, 2000.
3.
Showalter, R.E.Diffusion in poro-elastic media. Journal of Mathematical Analysis and Applications251, 310-340 ( 2000).
4.
Lewis, R.W. and Schreffer, B.A.The Finite Element Method in the Static and Dynamic Deformation and Consolidation of Porous Media, Wiley, Chichester , 1998.
5.
M. Murad, A. Loula, Improved accuracy in finite element analysis of Biot’s consolidation problem. Computer Methods in Applied Mechanics and Engineering95, 359-382 (1992).
6.
Murad, M. and Loula, A.On stability and convergence of finite element approximations of Biot’s consolidation problem. International Journal of Numerical Methods in Engineering37, 645-667 (1994).
7.
Gaspar, F.J. , Lisbona, F.J. and Vabishchevich , P.N.Staggered grid discretizations for the quasi-static Biot’s consolidation problem. Applied Numerical Mathematics56, 888-898 (2006).
8.
Korsawe, J. , Starke, G., Wang, W. and Kolditz, O.Finite element analysis of poro-elastic consolidation in porous media: standard and mixed approaches. Computer Methods in Applied Mechanics and Engineering195, 1096- 1115 (2006 ).
9.
Ženíšek, A.The existence and uniqueness theorem in Biot’s consolidation theory. Aplikasi Matematika29, 194- 210. (1984).
10.
Barucq, H. , Madaune-Tort, M. and Saint-Macary , P.Theoretical aspects of wave propagation for Biot’s consolidation problem. Monograf ’s del Seminario Matemático Gracia de Galdeano31, 449-458 (2004).
11.
Barucq, H. , Monique, M-T. and Patrick, S-M.Some existence-uniqueness results for a class of one-dimensional nonlinear Biot models. Nonlinear Analysis61, 491-612 (2005).
12.
Temam, R.Navier-Stokes equations, theory and numerical analysis, vol. 2, Studies in Mathematics and Applications, North-Holland, Amsterdam, 1977.
13.
Alber, H.-D. and Chełmiński, K.Quasistatic problems in viscoplasticity theory I: Models with linear hardening , in Operator Theoretical Methods and Applications to Mathematical Physics, The Erhard Meister memorial volume, pp. 105-129, ed. I. Gohberg et al., Birkhäuser, Basel, 2004.
