Solvability and Galerkin approximations of a class of nonlinear operator equations (Q1848670)

The author generates the Babuška-Brezzi theory to a class of nonlinear variational problems with constraints. He considers the operator equations with a dual-dual type structure, \[ \begin{pmatrix} A & B^* \\ B & 0 \end{pmatrix} \binom {(t, \sigma)}{u}=\binom {{\mathcal F}}{{\mathcal G}}, \] where \((\mathcal F, \mathcal G)\) is given, the operator \(A\) itself presents also the dual structure \(A=\left( \begin{smallmatrix} A_1 & B^*_1 \\ B_1 & 0 \end{smallmatrix} \right)\), \(B\) and \(B_1\) are linear and bounded, and \(A_1\) is nonlinear. He provides sufficient conditions for the existence and uniqueness of solutions to the continuous and Galerkin formulations and derives a Strang-type estimate for the associated error. Moreover, he presents an application to the coupling of mixed finite elements and boundary elements for a nonlinear transmission problem in potential theory.