Lax–Milgram theorem

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo gptkb:Hilbert_spaces
gptkbp:category theorems in analysis
theorems in functional analysis
gptkbp:concerns bounded linear operators
coercive bilinear forms
existence and uniqueness of solutions
gptkbp:field functional analysis
https://www.w3.org/2000/01/rdf-schema#label Lax–Milgram theorem
gptkbp:namedAfter gptkb:Peter_Lax
gptkb:Arthur_Milgram
gptkbp:state If a bilinear form is bounded and coercive on a Hilbert space, then for every bounded linear functional there exists a unique solution.
gptkbp:usedIn partial differential equations
finite element method
variational methods
gptkbp:yearProved 1954
gptkbp:bfsParent gptkb:Peter_Lax
gptkbp:bfsLayer 5