Friedrichs extension
In functional analysis, the Friedrichs extension is a canonical self-adjoint extension of a non-negative densely defined symmetric operator. It is named after the mathematician Kurt Friedrichs. This extension is particularly useful in situations where an operator may fail to be essentially self-adjoint or whose essential self-adjointness is difficult to show.
An operator T is non-negative if
Example. Multiplication by a non-negative function on an L2 space is a non-negative self-adjoint operator.
Example. Let U be an open set in Rn. On L2(U) we consider differential operators of the form
where the functions ai j are infinitely differentiable real-valued functions on U. We consider T acting on the dense subspace of infinitely differentiable complex-valued functions of compact support, in symbols
If for each x ∈ U the n × n matrix
is non-negative semi-definite, then T is a non-negative operator. This means (a) that the matrix is hermitian and
for every choice of complex numbers c1, ..., cn. This is proved using integration by parts.
These operators are elliptic although in general elliptic operators may not be non-negative. They are however bounded from below.
The definition of the Friedrichs extension is based on the theory of closed positive forms on Hilbert spaces. If T is non-negative, then
is a sesquilinear form on dom T and
Thus Q defines an inner product on dom T. Let H1 be the completion of dom T with respect to Q. H1 is an abstractly defined space; for instance its elements can be represented as equivalence classes of Cauchy sequences of elements of dom T. It is not obvious that all elements in H1 can identified with elements of H. However, the following can be proved:
...
Wikipedia