Definition of Friedrichs Extension
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:
The canonical inclusion
extends to an injective continuous map H1 → H. We regard H1 as a subspace of H.
Define an operator A by
In the above formula, bounded is relative to the topology on H1 inherited from H. By the Riesz representation theorem applied to the linear functional φξ extended to H, there is a unique A ξ ∈ H such that
Theorem. A is a non-negative self-adjoint operator such that T1=A - I extends T.
T1 is the Friedrichs extension of T.
Read more about this topic: Friedrichs Extension
Famous quotes containing the words definition of, definition and/or extension:
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)
“The desert is a natural extension of the inner silence of the body. If humanity’s language, technology, and buildings are an extension of its constructive faculties, the desert alone is an extension of its capacity for absence, the ideal schema of humanity’s disappearance.”
—Jean Baudrillard (b. 1929)