Some free boundary problem arising in rock mechanics

An initial boundary value problem for the in-situ leaching of rare metals with the acid solution in the elastic skeleton is considered. First, we describe physical processes at the microscopic level with a dimensional pore size [[EQUATION]]1 by the model [[EQUATION]], where dynamics of the incompressible solid skeleton is described by the Lamé equations and the physical process in the pore space by the Stokes equations for the incompressible fluid in combination with the diffusion and transport equations for the concentration of acid and product of chemical reactions. Since the solid skeleton changes its geometry upon dissolution, the “pore space – solid skeleton” boundary is an unknown (free) boundary. The goal of the present manuscript is a model H, which is the homogenization of the model [[EQUATION]]. That is, the limit as [[EQUATION]] tend to zero, of the model [[EQUATION]]. As usual, free boundary problems are only solvable locally in time. On the other hand, in-situ leaching has a very long process duration and there is still no correct microscopic model that describes this process for an arbitrary time interval. To avoid this contradiction, we propose correct approximate microscopic models [[EQUATION]] (r) for this process with a given solid skeleton structure depending on some given function r from the set [[EQUATION]]. Problem [[EQUATION]](r) is exactly the model [[EQUATION]] without an additional boundary condition at the free boundary that defines this boundary. To derive a macroscopic mathematical model H(r) and separately the additional boundary condition at free boundary we use Nguenseng’s two-scale convergence method as ε tends to zero. As a result we obtain homogenized model H(r) and additional equation, possesses construct an operator, which fixed point uniquely defines function r* from the set [[EQUATION]] and prove the existence and uniqueness theorem for the macroscopic mathematical model H.