Babuška–Lax–Milgram theorem

In mathematics, the Generalized–Lax–Milgram theorem is a generalization of the famous Lax–Milgram theorem, which gives conditions under which a bilinear form can be "inverted" to show the existence and uniqueness of a weak solution to a given boundary value problem. The result was proved by J Necas in 1962, and is a generalization of the famous Lax Milgram theorem by Peter Lax and Arthur Milgram.