Quasi-Optimality for Nonconforming Galerkin Spaces

Definitions and mathematical statement

The supplied fragment uses $V$ for the continuous trial space, $V_j^h$ for a discrete Galerkin or boundary-element space, $\phi$ for the intended exact solution, and $\phi_j^h$ for its intended discrete approximation. These roles are implicit in the question; the spaces and the continuous and discrete problems are not specified. The stated nonconformity condition is \[ V_j^h\not\subset V. \] The source asks: what error estimate should replace the standard Céa quasi-optimality bound \[ \|\phi-\phi_j^h\| \leq C\inf_{\psi\in V_j^h}\|\phi-\psi\| \] for these nonconforming spaces?

This is an incomplete formulation of a question, not a specified universal assertion. In particular, the displayed differences require an ambient space or an identification in which both continuous and discrete functions can be compared, together with a norm defined on those differences. None is supplied. The governing equation, bilinear form or operator, boundary conditions, discrete method, stability and consistency hypotheses, index ranges, and permitted dependence of $C$ are also unspecified. Consequently, the record does not determine a precise replacement inequality or its quantifiers.

Short English statement

The question asks for an error estimate for Galerkin or boundary-element approximations whose discrete spaces are not contained in the continuous trial space. The supplied fragment lacks the problem, comparison norm, and method assumptions needed to state a precise bound. Its supplied open status requires independent review.

Sources

• Supplied local UnsolvedMath registry record, permanent ID $30004376$, source problem code catalogue entry, title: Quasi-Optimality for Nonconforming Galerkin Spaces. Collection: Oberwolfach Reports Open Problems. The record gives proposed year 2020 and names no individual proposer.
• Supplied report citation: Boundary Element Methods (2021), Oberwolfach Reports, pp. 273--376, DOI 10.4171/owr/2020/5. Supplied source URL and literature-source link, labelled "Oberwolfach report": https://doi.org/10.4171/owr/2020/5. The background describes these reports as documenting mathematical workshops and their open-problem discussions. No problem-specific page or passage is supplied.
• Literature assessment dated exactly 2026-08-22: the supplied curation labels the problem open, but states that the extracted record is only a fragment of an open question about replacing Céa-type quasi-optimality bounds, so the precise claim and its resolution remain unclear. This is supplied dated curation, not independently verified literature assessment; time-sensitive status and cited claims require independent verification.
• The registry labels the statement corrected_verified and reports that the official Oberwolfach report was checked, the question isolated from surrounding exposition, and its notation repaired for self-contained publication. These are supplied source-verification claims, not verification performed for this draft.