Existence and quasilinearization in Banach spaces (Q2389262)

Let \(V\) be a reflexive Banach space, \(A:V\to V^*\) be a mapping and \(f\in V^*\). First, the authors provide an existence theorem for the equation \[ Au=f \tag{1} \] assuming that \(A\) satisfies some continuity, monotonicity and coercivity assumptions. This result has its origin in the works of Ekeland, with a slight generalization and rigorous proof. Another existence theorem is proved when the nonlinear problem (1) has upper and lower solutions. The presence of upper and lower solutions has a relaxing effect on the requirements imposed on the operator \(A\). Finally, the abstract quasilinearization method is considered for (1). More precisely, it is shown that two monotone sequences of solutions of related linearized problems converge to the solution of (1). If the operator \(A\) is assumed to be strictly monotone, the convergence of these two sequences is quadratic.