In this paper, a mathematical analysis of in-situ biorestoration is presented. Mathematical formulation o such process leads to a system of non-linear partial differential equations coupled with ordinary differential equations.
First, we introduce a notion of weak solution then we prove the existence of at least one such a solution by a linearization technique used in Fabrie and Langlais (1992). Positivity and uniform bound for the substrates concentration is derived from the maximum principle while some regularity properties, for the pressure and velocity, are obtained from a local Meyers lemma (Bensoussan et al (1978), Meyers (1963)). Next, assuming some regularity on the solution, an uniqueness result is presented. Asymptotical behavior for the contaminant is also studied.
1991 Mathematics Subject Classification: 35K50, 35K55, 35K57, 76D99, 76S05.