Guaranteed inf-sup bounds and existence verification for semilinear elliptic problems via nonconforming finite elements

Benedikt Gräßle

A Newton-Kantorovich-type argument enables the a posteriori existence verification of a locally unique regular root near a computed approximation. This framework allows for non-sel…