A new formulation of the dam problem

We study a heterogeneous dam supplied by two reservoirs, for which we propose a new formulation based on the stream function. Without any monotonicity assumption on the permeability matrix, we prove that the free boundary is a continuous curve of the form x= (phi)(y). We also prove the uniqueness of the solution.