are an important tool 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 <math>V</math> be a Banach space
. We want to find the solution <math>u in V</math> of the equation
- <math>Au = f</math>,
where <math>A:Vto V'</math> and <math>fin V'</math>, and <math>V'</math> is the dual
of <math>V</math>.Calculus of variations
tells us that this is equivalent to finding <math>uin V</math> such thatfor all <math>vin V</math> holds:
- <math>(v) = f(v)</math>.
Here, we call <math>v</math> a test vector or test function.
We bring this into the generic form of a weak formulation, namely, find <math>uin V</math> such that
- <math> a(u,v) = f(v) quad forall vin V,</math>
by defining the bilinear form
- <math>a(u,v) :=......