Sobolev space
We define the Sobolev spaces of functions where is an open subset of , is an integer and .
The spaces are simply defined to be the spaces of Lebesgue -summable functions.We then define the space to be the space of functions which have weak derivatives such that .
The space turns out to be a Banach space when endowed with the norm
i.e. the sum of the norms of and of all weak derivatives of up to the -th order.
Of particular interest are the spaces which turn out to be Hilbert spaces with the scalar product
given by