The proof of existence and uniqueness was based on Brezzi's theorem, since the form Au,v + A0 u,v was continuous andcoercive, and operator B satisfied the inf-sup condition Han and Bao, 1997; Camargo, 2008.
La demostración de existencia y unicidad de este problema se basa en el teorema de Brezzi, puesto que la forma Au,v + A0 u,v es continua y coerciva, y el operador B satisface la condición inf-sup Han y Bao, 1997; Camargo, 2008.