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:
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)
“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
—Ralph Waldo Emerson (1803–1882)
“Slavery is founded on the selfishness of man’s nature—opposition to it on his love of justice. These principles are in eternal antagonism; and when brought into collision so fiercely as slavery extension brings them, shocks and throes and convulsions must ceaselessly follow.”
—Abraham Lincoln (1809–1865)