In this paper, we consider diffusion, reaction and dissolution of mobile and immobile chemical species present in a porous medium. Inflow–outflow boundary conditions are considered at the outer boundary and the reactions amongst the species are assumed to be reversible which yield highly nonlinear reaction rate terms. The dissolution of immobile species takes place on the surfaces of the solid parts. Modelling of these processes leads to a system of coupled semilinear partial differential equations together with a system of ordinary differential equations (ODEs) with multi-valued right-hand sides. We prove the global existence of a unique positive weak solution of this model using a regularization technique, Schaefer's fixed point theorem and Lyapunov type arguments.

We study the global approximate controllability of the one dimensional semilinear convection-diffusion-reaction equation governed in a bounded domain via the coefficient (bilinear control) in the additive reaction term. Clearly, even in the linear case, due to the maximum principle, such system is not globally or locally controllable in any reasonable linear space. It is also well known that for the superlinear terms admitting a power growth at infinity the global approximate controllability by traditional additive controls of localized support is out of question. However, we will show that a system like that can be steered in L²(0,1) from any non-negative nonzero initial state into any neighborhood of any desirable non-negative target state by at most three static (x-dependent only) above-mentioned bilinear controls, applied subsequently in time, while only one such control is needed in the linear case.