Este trabajo fue presentado en el VII encuentro de la Escuela Regional de Matemáticas; en él se usa el método de los elementos finitos para aproximar sistemas elípticos semilineales de ecuaciones diferenciales con restricción para los cuales el término correspondiente a la presión no es el multiplicador de Lagrange; tales sistemas aparecen en el diseño de semiconductores donde la dinámica del flujo de la reacción química está gobernada por las ecuaciones compresibles de Navier-Stokes. Finalmente, se aplica el método discutido a este modelo compresible.