Solvability of abstract semilinear equations by a global diffeomorphism theorem (Q1990819)

Let \(A:D(A)\subset H\to H\) be a positive selfadjoint operator on a Hilbert space \(H\) and \(N:B\to H\) be of class \(C^1\) defined on a Banach space \(B\). It is assumed that \(D(A)\subset B\subset H\) and that the embedding \(D(A)\hookrightarrow B\) is compact. The main theorem states conditions on \(N\) so that \(A-N:(D(A),\|\cdot\|_A)\to H\) is a diffeomorphism. The result is applied to the semilinear equation \(-\Delta u=f(x,u)\) in a bounded domain with Dirichlet boundary conditions.