Lax–Milgram theorem

Weak formulations are important tools for the analysis of mathematical equations that permit the transfer of concepts of linear algebra to solve problems in other fields such as partial differential equations. In a weak formulation, an equation is no longer required to hold absolutely (and this is not even well defined) and has instead weak solutions only with respect to certain "test vectors" or "test functions". This is equivalent to formulating the problem to require a solution in the sense of a distribution.

We introduce weak formulations by a few examples and present the main theorem for the solution, the Lax–Milgram theorem.

Let ${\displaystyle V}$ be a Banach space. We want to find the solution ${\displaystyle u\in V}$ of the equation

where ${\displaystyle A:V\to V'}$ and ${\displaystyle f\in V'}$, with ${\displaystyle V'}$ being the dual of ${\displaystyle V}$.

...
Wikipedia