|
|
| Line 1: |
Line 1: |
| In [[mathematics]], more specifically [[functional analysis]] and [[operator theory]], the notion of '''unbounded operator''' provides an abstract framework for dealing with [[differential operator]]s, unbounded [[observable]]s in quantum mechanics, and other cases.
| | Prostatic congestion and inflammation can stimulate the prostate urethra inducing frequent spermatorrhea. Increase Testosterone Level - For a long time it was thought that certain unwanted symptoms were just part of the aging process and that there was nothing that could be done to treat them. Chances are, you are probably reading this because either you or a loved one suffers from male impotence. In many cases, erectile dysfunction is curable and indeed in recent years the markets have been flooded with pills that can help men achieve and maintain erections strong. Ovulation means your ovaries are releasing an egg down your fallopian tubes and into your uterus, where the baby will stay for 9 months once it is conceived. <br><br>Fortunately, several non-drug treatments are available as well. You will be so surprised at how fast your child begins to learn and read. Most of the companies launch multiple products every year, and several new companies born every quarter. Some patients may experience headache, diarrhea, dizziness, upset stomach, vomiting, nasal congestion. The procedure is a minimally invasive one that was developed in the 90's and works by freezing the prostate and the cancer cells within. <br><br>It is the concentrations of UVB and UVA rays that are reported to cause the problems, but there are ways to protect your skin while getting that glowing tan at the same time. Usually, primary impotence is that type if the problem enrooted since the childhood even though the secondary can be began after some years of normal sexual acts. Cutting down on your alcohol intake or giving up smoking could make all the difference. The same holds true if you are already taking medications such as protease inhibitors. It hastens the growth of hair and stops the appearance of split ends. <br><br>Finding the board certified eyelid lift surgeon can be quite difficult and time consuming. However, for some men they would prefer not to take hormone injections and prefer to increase their T through the use of natural testosterone supplements. The common side effects are always there with all the drugs however being aware of them and minimizing them will be the smart move to make. 'This herb is a noted aphrodisiac (arouse sexual desire), demulcent (soothing), and diaphoretic. If you are looking for a legitimate resource for Cialis and Levitra you can visit UK Med. <br><br>ED, also known as impotence, can be defined as a total, partial or inconsistent inability to achieve or retain an erection that is satisfactory for the purpose of sexual intercourse. Ingesting medium chain fatty acids is rather valuable for people, as they're quickly burnt by the human body filling it with the needed degree of stamina. However, without proper knowledge, they can also be used improperly. It is regular if you are extremely tired or perhaps are under stress or in an troubled state. The blood is kept within the penis to maintain erection.<br><br>Here is more info on homeopathic remedies for erectile dysfunction ([http://www.eiaculazione-precoce.info/ http://www.eiaculazione-precoce.info]) check out our own webpage. |
| | |
| The term "unbounded operator" can be misleading, since
| |
| * "unbounded" should sometimes be understood as "not necessarily bounded";
| |
| * "operator" should be understood as "[[linear operator]]" (as in the case of "bounded operator");
| |
| * the domain of the operator is a linear subspace, not necessarily the whole space;
| |
| * this linear subspace is not necessarily closed; often (but not always) it is assumed to be dense;
| |
| * in the special case of a bounded operator, still, the domain is usually assumed to be the whole space.
| |
| | |
| In contrast to [[bounded operator]]s, unbounded operators on a given space do not form an algebra, nor even a linear space, because each one is defined on its own domain.
| |
| | |
| The term "operator" often means "bounded linear operator", but in the context of this article it means "unbounded operator", with the reservations made above. The given space is assumed to be a [[Hilbert space]]. Some generalizations to [[Banach space]]s and more general [[topological vector space]]s are possible.
| |
| | |
| ==Short history==
| |
| | |
| The theory of unbounded operators developed in the late 1920's and early 1930's as part of developing a rigorous mathematical framework for [[Hilbert space#quantum mechanics|quantum mechanics]].<ref>{{harvnb|Reed|Simon|1980|loc=Notes to Chapter VIII, page 305}}</ref> The theory's development is due to [[John von Neumann]]<ref>{{citation|last=von Neumann |first =J. |year=1930|title=Allgemeine Eigenwerttheorie Hermitescher Functionaloperatoren (General Eigenvalue Theory of Hermitian Functional Operators) |journal=Mathematische Annalen |volume=102 |issue=1 |pages=49–131|doi=10.1007/BF01782338}}</ref> and [[Marshall Stone]].<ref name="Stone1932">{{cite book|last=Stone|first=Marshall Harvey|title=Linear Transformations in Hilbert Space and Their Applications to Analysis. Reprint of the 1932 Ed|url=http://books.google.com/books?id=9n2CtOe9FLIC|year=1932|publisher=American Mathematical Society|isbn=978-0-8218-7452-3}}</ref> Von Neumann introduced using [[Graph (mathematics)|graphs]] to analyze unbounded operators in 1936.<ref>{{citation |last=von Neumann |first=J. |year=1936 |title=Über Adjungierte Funktionaloperatore (On Adjoint Functional Operators) |journal=Annals of Mathematics |series=Second Series |volume=33 |issue=2 |pages=294–310 |doi=10.2307/1968331 |issue=2 |jstor=1968331}}</ref>
| |
| | |
| == Definitions and basic properties ==
| |
| | |
| Let ''B''<sub>1</sub> and ''B''<sub>2</sub> be [[Banach space]]s. An '''unbounded operator''' (or simply ''operator'') {{nowrap|''T'' : ''B''<sub>1</sub> → ''B''<sub>2</sub>}} is a [[linear map]] ''T'' from a linear subspace ''D''(''T'') of ''B''<sub>1</sub> — the domain of ''T'' — to the space ''B''<sub>2</sub>.<ref name="Pedersen-5.1.1">{{harvnb|Pedersen|1989|loc=5.1.1}}</ref> Contrary to the usual convention, ''T'' may not be defined on the whole space ''B''<sub>1</sub>. Two operators are equal if they have the common domain and they coincide on that common domain.<ref name="Pedersen-5.1.1" />
| |
| | |
| An operator ''T'' is said to be '''[[closed operator|closed]]''' if its [[function graph|graph]] Γ(''T'') is a [[closed set]].<ref name="Pedersen-5.1.4">{{ harvnb |Pedersen|1989| loc=5.1.4 }}</ref> (Here, the graph Γ(''T'') is a linear subspace of the [[Direct sum of modules#Direct sum of Hilbert spaces|direct sum]] {{nowrap|''B''<sub>1</sub> ⊕ ''B''<sub>2</sub>}}, defined as the set of all pairs {{nowrap|(''x'', ''Tx'')}}, where ''x'' runs over the domain of ''T''). Explicitly, this means that for every sequence (''x<sub>n</sub>'') of points from the domain of ''T'' such that ''x<sub>n</sub>'' converge to some ''x'' and ''Tx<sub>n</sub>'' converge to some ''y'', it holds that ''x'' belongs to the domain of ''T'' and {{nowrap|''Tx'' {{=}} ''y''}}.<ref name="Pedersen-5.1.4"/> The closedness can also be formulated in terms of the ''graph norm'': an operator ''T'' is closed if and only if its domain ''D''(''T'') is a [[complete space]] with respect to the norm:<ref name="BSU-5">{{ harvnb |Berezansky|Sheftel|Us|1996| loc=page 5 }}</ref>
| |
| : <math>
| |
| \|x\|_T = \sqrt{ \|x\|^2 + \|Tx\|^2 }\ .
| |
| </math>
| |
| | |
| An operator ''T'' is said to be '''[[densely defined operator|densely defined]]''' if its domain is [[dense set|dense]] in ''B''<sub>1</sub>.<ref name="Pedersen-5.1.1" /> This also includes operators defined on the entire space ''B''<sub>1</sub>, since the whole space is dense in itself. The denseness of the domain is necessary and sufficient for the existence of the adjoint and the transpose; see the next section.
| |
| | |
| If {{nowrap|''T'' : ''B''<sub>1</sub> → ''B''<sub>2</sub>}} is closed, densely defined and [[continuous operator|continuous]] on its domain, then it is defined on ''B''<sub>1</sub>.<ref>Suppose ''f<sub>j</sub>'' is a sequence in the domain of ''T'' that converges to {{nowrap|''g'' ∈ ''B''<sub>1</sub>}}. Since ''T'' is uniformly continuous on its domain, ''Tf<sub>j</sub>'' is [[Cauchy sequence|Cauchy]] in ''B''<sub>2</sub>. Thus, {{nowrap|(''f<sub>j</sub>'', ''Tf<sub>j</sub>'')}} is Cauchy and so converges to some {{nowrap|(''f'', ''Tf'')}} since the graph of ''T'' is closed. Hence, {{nowrap|''f'' {{=}} ''g''}}, and the domain of ''T'' is closed.</ref>
| |
| | |
| A densely defined operator ''T'' on a [[Hilbert space]] ''H'' is called '''bounded from below''' if {{nowrap|''T'' + ''a''}} is a positive operator for some real number ''a''. That is, {{nowrap|⟨''Tx''{{!}}''x''⟩ ≥ −''a''·{{!!}}''x''{{!!}}<sup>2</sup>}} for all ''x'' in the domain of ''T''.<ref name="Pedersen-5.1.12" /> If both ''T'' and (–''T'') are bounded from below then ''T'' is bounded.<ref name="Pedersen-5.1.12" />
| |
| | |
| == Example ==
| |
| | |
| Let <math>C([0,1])</math> denote the space of continuous functions on the interval, and let <math>C^1([0,1])</math> denote the space of continuously differentiable functions. Define the classical differentiation operator <math>D : C^1([0,1]) \to C([0,1])</math> by the usual formula:
| |
| : <math> Df(x) = \lim_{h \to 0} \tfrac{1}{h}\big( f(x+h) - f(x) \big) </math>
| |
| for all <math>x \in [0,1]</math>.
| |
| | |
| Every differentiable function is continuous, so <math>C^1([0,1]) \subseteq C([0,1])</math>. Consequently, <math>D : C([0,1]) \to C([0,1])</math> is a well-defined unbounded operator, with domain <math>C^1([0,1])</math>.
| |
| | |
| This is a linear operator, since a linear combination ''af+bg'' of two continuously differentiable functions ''f'', ''g'' is also continuously differentiable, and <math> \textstyle (af+bg)'=af'+bg'.</math>
| |
| | |
| The operator is not bounded. For example, the functions ''f<sub>n</sub>'' defined on [0,1] by <math> \textstyle f_n(t) = \sin 2\pi n t</math> satisfy <math> \textstyle \|f_n\|_2 = 1/\sqrt2 </math> but <math> \textstyle \|Tf_n\|_2 = 2\pi n/\sqrt2 \to \infty. </math>
| |
| | |
| The operator is densely defined, and closed.
| |
| | |
| The same operator can be treated as an operator ''B'' → ''B'' for many Banach spaces ''B'' and is still not bounded. However, it is bounded as an operator ''B''<sub>1</sub> → ''B''<sub>2</sub> for some pairs of Banach spaces ''B''<sub>1</sub>, ''B''<sub>2</sub>, and also as operator ''B'' → ''B'' for some topological vector spaces ''B''. As an example consider <math>T : ( \mathcal{C}^1 ( I ), \| \cdot \|_{\mathcal{C}^1} ) \rightarrow ( \mathcal{C}^0 ( I
| |
| ), \| \cdot \|_{\infty} )</math>, for some open interval <math>I \subset \mathbb{R}</math> and the <math>\mathcal{C}^1</math> norm being <math>\| f \|_{\mathcal{C}^1} = \| f \|_{\infty} + \| f' \|_{\infty}</math>.
| |
| | |
| == Adjoint ==
| |
| The adjoint of an unbounded operator can be defined in two equivalent ways. First, it can be defined in a way analogous to how we define the adjoint of a bounded operator. Namely, the adjoint ''T''<sup>∗</sup> : ''H''<sub>2</sub> → ''H''<sub>1</sub> of ''T'' is defined as an operator with the property: | |
| :<math>\langle Tx \mid y \rangle_2 = \langle x \mid T^*y \rangle_1, \quad (x \in D(T)).</math>
| |
| More precisely, ''T''<sup>∗</sup> is defined in the following way. If ''y'' is such that <math>x \mapsto \langle Tx, y \rangle</math> is a continuous linear functional on the domain of ''T'', then, after extending it to the whole space via the [[Hahn–Banach theorem]], we can find a ''z'' such that
| |
| :<math>\langle Tx \mid y \rangle_2 = \langle x \mid z \rangle_1, \quad (x \in D(T))</math>
| |
| since the dual of a Hilbert space can be identified with the set of linear functionals given by the inner product. For each ''y'', ''z'' is uniquely determined if and only if the linear functional is densely defined; i.e., ''T'' is densely defined. Finally, we let ''T''<sup>∗</sup>''y'' = ''z'', completing the construction of ''T''<sup>∗</sup>.<ref>Verifying that ''T''<sup>∗</sup> is linear trivial.</ref> Note that ''T''<sup>∗</sup> exists if and only if ''T'' is densely defined.
| |
| | |
| By definition, the domain of ''T''<sup>∗</sup> consists of elements <math>y \in H_2</math> such that <math>x \mapsto \langle Tx, y \rangle</math> is continuous on the domain of ''T''. Consequently, the domain of ''T''<sup>∗</sup> could be anything; it could be trivial (i.e., contains only zero).<ref name="BSU-3.2">{{ harvnb |Berezansky|Sheftel|Us|1996| loc=Example 3.2 on page 16 }}</ref> It may happen that the domain of ''T''<sup>∗</sup> is a closed [[hyperplane]] and ''T''<sup>∗</sup> vanishes everywhere on the domain.<ref name="RS-252">{{ harvnb |Reed|Simon|1980| loc=page 252 }}</ref><ref name="BSU-3.1">{{ harvnb |Berezansky|Sheftel|Us|1996| loc=Example 3.1 on page 15 }}</ref> Thus, boundedness of ''T''<sup>∗</sup> on its domain does not imply boundedness of ''T''. On the other hand, if ''T''<sup>∗</sup> is defined on the whole space then ''T'' is bounded on its domain and therefore can be extended by continuity to a bounded operator on the whole space.<ref>Proof: being closed, the everywhere defined ''T''<sup>∗</sup> is bounded, which implies boundedness of ''T''<sup>∗∗</sup>, the latter being the closure of ''T''. See also {{ harv |Pedersen|1989| loc=2.3.11 }} for the case of everywhere defined ''T''.</ref> If the domain of ''T''<sup>∗</sup> is dense, then it has its adjoint ''T''<sup>∗∗</sup>.<ref name="Pedersen-5.1.5" /> A closed densely defined operator ''T'' is bounded if and only if ''T''<sup>∗</sup> is bounded.<ref>Proof: We have: <math>T^{**} = T</math>. So, if <math>T^*</math> is bounded, then its adjoint <math>T</math> is bounded.</ref>
| |
| | |
| The other equivalent definition of the adjoint can be obtained by noticing a general fact: define a linear operator <math>J: H_1 \oplus H_2 \to H_2 \oplus H_1</math> by <math>J(x \oplus y) = -y \oplus x</math>.<ref name="Pedersen-5.1.5">{{ harvnb |Pedersen|1989| loc=5.1.5 }}</ref> (Since <math>J</math> is an isometric surjection, it is unitary.) We then have: <math>J(\Gamma (T))^\bot</math> is the graph of some operator ''S'' if and only if <math>T</math> is densely defined.<ref name="BSU-12">{{ harvnb |Berezansky|Sheftel|Us|1996| loc=page 12 }}</ref> A simple calculation shows that this "some" ''S'' satisfies:<math>\langle Tx \mid y \rangle_2 = \langle x \mid Sy \rangle_1</math> for every ''x'' in the domain of ''T''. Thus, ''S'' is the adjoint of ''T''.
| |
| | |
| It follows immediately from the above definition that the adjoint ''T''<sup>∗</sup> is closed.<ref name="Pedersen-5.1.5" /> In particular, a self-adjoint operator (i.e., ''T'' = ''T''<sup>∗</sup>) is closed. An operator ''T'' is closed and densely defined if and only if ''T''<sup>∗∗</sup> = ''T''.<ref>Proof: If ''T'' is closed densely defined, then ''T''<sup>∗</sup> exists and is densely defined. Thus, ''T''<sup>∗∗</sup> exists. The graph of ''T'' is dense in the graph of ''T''<sup>∗∗</sup>; hence, ''T'' = ''T''<sup>∗∗</sup>. Conversely, since the existence of ''T''<sup>∗∗</sup> implies that that of ''T''<sup>∗</sup>, which in turn implies ''T'' is densely defined. Since ''T''<sup>∗∗</sup> is closed, ''T'' is densely defined and closed.</ref> | |
| | |
| Some well-known properties for bounded operators generalize to closed densely defined operators. The kernel of a closed operator is closed. Moreover, the kernel of a closed densely defined operator ''T'' : ''H''<sub>1</sub> → ''H''<sub>2</sub> coincides with the orthogonal complement of the range of the adjoint. That is,<ref>Brezis, pp. 28.</ref>
| |
| :<math>\operatorname{ker}(T) = \operatorname{ran}(T^*)^\bot.</math>
| |
| | |
| [[von Neumann's theorem]] states that ''T''<sup>∗</sup>''T'' and ''TT''<sup>∗</sup> are self-adjoint, and that ''I'' + ''T''<sup>∗</sup>''T'' and ''I'' + ''TT''<sup>∗</sup> both have bounded inverses.<ref>Yoshida, pp. 200.</ref> If <math>T^*</math> has trivial kernel, <math>T</math> has dense range (by the above identity.) Moreover, ''T'' is surjective if and only if there is a <math>K > 0</math> such that
| |
| :<math>\|f\|_2 \le K\|T^*f\|_1</math> for every <math>f \in D(T^*)</math>.<ref>If ''T'' is surjective, then <math>T: (\operatorname{ker}T)^\bot \to H_2</math> has bounded inverse, which we denote by ''S''. The estimate then follows since
| |
| :<math>\|f\|_2^2 = |\langle TSf \mid f \rangle_2| \le \|S\| \|f\|_2 \|T^*f\|_1</math>
| |
| Conversely, suppose the estimate holds. Since <math>T^*</math> has closed range then, we have: <math>\operatorname{ran}(T) = \operatorname{ran}(TT^*)</math>. Since <math>\operatorname{ran}(T)</math> is dense, it suffices to show that <math>TT^*</math> has closed range. If <math>TT^* f_j</math> is convergent, then <math>f_j</math> is convergent by the estimate since
| |
| :<math>\|T^*f_j\|_1^2 = | \langle T^*f_j \mid T^*f_j \rangle_1| \le \|TT^*f_j\|_2 \|f_j\|_2.</math>
| |
| Say, <math>f_j \to g</math>. Since <math>TT^*</math> is self-adjoint; thus, closed, (von Neumann's theorem), <math>TT^* f_j \to TT^* g</math>. <math>\square</math></ref>
| |
| (This is essentially a variant of the so-called [[closed range theorem]].) In particular, ''T'' has closed range if and only if ''T''<sup>∗</sup> has closed range.
| |
| | |
| In contrast to the bounded case, it is not necessary that we have: (''TS'')<sup>∗</sup> = ''S''<sup>∗</sup>''T''<sup>∗</sup>, since, for example, it is even possible that (''TS'')<sup>∗</sup> doesn't exist.{{Citation needed|date=July 2009}}<!-- Need a concrete example.--> This is, however, the case if, for example, ''T'' is bounded.<ref>Yoshida, pp. 195.</ref>
| |
| | |
| A densely defined, closed operator ''T'' is called ''[[normal operator|normal]]'' if it satisfies the following equivalent conditions:<ref name="Pedersen-5.1.11">{{ harvnb |Pedersen|1989| loc=5.1.11 }}</ref>
| |
| * ''T''<sup>∗</sup>''T'' = ''T'' ''T''<sup>∗</sup>;
| |
| * the domain of ''T'' is equal to the domain of ''T''<sup>∗</sup>, and <math> \| Tx \| = \| T^* x \| </math> for every ''x'' in this domain;
| |
| * there exist self-adjoint operators ''A'', ''B'' such that {{nowrap begin}}''T'' = ''A'' + ''iB'',{{nowrap end}} {{nowrap begin}}''T''<sup>∗</sup> = ''A'' – ''iB'',{{nowrap end}} and <math> \| Tx \|^2 = \| Ax \|^2 + \| Bx \|^2 </math> for every ''x'' in the domain of ''T''.
| |
| Every self-adjoint operator is normal.
| |
| | |
| == Transpose ==
| |
| Let ''T'' : ''B''<sub>1</sub> → ''B''<sub>2</sub> be an operator between Banach spaces. Then the ''[[transpose]]'' (or ''dual'') <math>T ': {B_2}^* \to {B_1}^*</math> of ''T'' is an operator satisfying:
| |
| :<math>\langle T x, y' \rangle = \langle x, T' y' \rangle</math>
| |
| for all ''x'' in B<sub>1</sub> and ''y'' in B<sub>2</sub><sup>*</sup>. Here, we used the notation: <math>\langle x, x' \rangle = x'(x)</math>.<ref>Yoshida, pp. 193.</ref>
| |
| | |
| The necessary and sufficient condition for the transpose of ''T'' to exist is that ''T'' is densely defined (for essentially the same reason as to adjoints, as discussed above.) | |
| | |
| For any Hilbert space ''H'', there is the anti-linear isomorphism:
| |
| :<math>J: H^* \to H</math>
| |
| given by <math>Jf = y</math> where <math>f(x) = \langle x \mid y \rangle_H, (x \in H)</math>.
| |
| Through this isomorphism, the transpose ''T''<sup>'</sup> relates to the adjoint ''T''<sup>∗</sup> in the following way:
| |
| :<math>T^* = J_1 T' J_2^{-1}</math>,<ref>Yoshida, pp. 196.</ref>
| |
| where <math>J_j: H_j^* \to H_j</math>. (For the finite-dimensional case, this corresponds to the fact that the adjoint of a matrix is its conjugate transpose.) Note that this gives the definition of adjoint in terms of a transpose.
| |
| == Closed linear operators ==
| |
| Closed linear operators are a class of [[linear operator]]s on [[Banach space]]s. They are more general than [[bounded operator]]s, and therefore not necessarily [[continuous function|continuous]], but they still retain nice enough properties that one can define the [[spectrum (functional analysis)|spectrum]] and (with certain assumptions) [[functional calculus]] for such operators. Many important linear operators which fail to be bounded turn out to be closed, such as the [[derivative]] and a large class of [[differential operator]]s.
| |
|
| |
| Let <math>X,Y</math> be two [[Banach space]]s. A [[linear transformation|linear operator]]
| |
| | |
| :<math>A\colon\mathcal{D}(A)\subset X\to Y</math>
| |
| | |
| is '''closed''' if for every [[sequence]] <math>\{x_n\}_{n\in \mathbb{N}}</math> in <math>\mathcal{D}(A)</math> [[limit of a sequence|converging]] to <math>x\in X</math> such that <math>Ax_n\to y\in Y</math> as <math>n\to\infty</math> one has <math>x\in\mathcal{D}(A)</math> and <math>Ax = y.</math> Equivalently, <math>A</math> is closed if its [[function graph|graph]] is [[closed set|closed]] in the [[direct sum of Banach spaces|direct sum]] <math>X\oplus Y.</math>
| |
| | |
| Given a linear operator <math>A</math>, not necessarily closed, if the closure of its graph in <math>X\oplus Y</math> happens to be the graph of some operator, that operator is called the '''closure''' of <math>A</math>, and we say that <math>A</math> is '''closable'''. Denote the closure of <math>A</math> by <math>\overline{A}.</math> It follows easily that <math>A</math> is the [[function (mathematics)|restriction]] of <math>\overline{A}</math> to <math>\mathcal{D}(A).</math>
| |
| | |
| A '''core''' of a closable operator is a [[subset]] <math>\mathcal{C}</math> of <math>\mathcal{D}(A)</math> such that the closure of the restriction of <math>A</math> to <math>\mathcal{C}</math> is <math>\overline{A}.</math>
| |
| | |
| ===Basic Properties===
| |
| Any closed linear operator defined on the whole space <math>X</math> is bounded. This is the [[closed graph theorem]]. Additionally, the following properties are easily checked:
| |
| | |
| *If <math>A</math> is closed then <math>A-\lambda I</math> is closed where <math>\lambda</math> is a scalar and <math>I</math> is the [[identity function]];
| |
| *If <math>A</math> is closed, then its [[Kernel (linear operator)|kernel]] (or nullspace) is a closed subspace of <math>X</math>;
| |
| *If <math>A</math> is closed and [[injective function|injective]], then its [[inverse function|inverse]] <math>A^{-1}</math> is also closed;
| |
| *An operator <math>A</math> admits a closure if and only if for every pair of sequences <math>\{x_n\}</math> and <math>\{y_n\}</math> in <math>\mathcal{D}(A)</math> both converging to <math>x</math>, such that both <math>\{Ax_n\}</math> and <math>\{Ay_n\}</math> converge, one has <math>\lim_n Ax_n = \lim_n Ay_n</math>.
| |
| | |
| ===Example===
| |
| Consider the [[derivative]] operator
| |
| :<math> A f = f'\,</math>
| |
| where the Banach space ''X''=''Y'' is the space ''C''[''a'', ''b''] of all [[continuous function]]s on an [[interval (mathematics)|interval]] [''a'', ''b'']. If one takes its domain <math>\mathcal{D}(A)</math> to be <math>\mathcal{D}(A)=C^{1}[a, b]</math>, then ''A'' is a closed operator, which is not bounded.
| |
| | |
| If one takes <math>\mathcal{D}(A)</math> to be instead the set of all [[smooth function|infinitely differentiable]] functions, ''A'' will no longer be closed, but it will be closable, with the closure being its extension defined on <math>C^{1}[a, b]</math>
| |
| | |
| == Symmetric operators and self-adjoint operators ==
| |
| {{main|Self-adjoint operator}}
| |
| | |
| An operator ''T'' on a Hilbert space is ''symmetric'' if and only if for each ''x'' and ''y'' in the domain of ''T'' we have <math>\langle Tx \mid y \rangle = \lang x \mid Ty \rang </math>.
| |
| A densely definied operator ''T'' is symmetric if and only if it agrees with its adjoint <math>T^*</math> restricted to the domain of ''T'', in other words when ''T''<sup>∗</sup> is an extension of ''T''. <ref name="Pedersen-5.1.3">{{ harvnb |Pedersen|1989| loc=5.1.3 }}</ref>
| |
| | |
| In general, the domain of the adjoint <math>T^*</math>
| |
| need not equal the domain of ''T''. If the domain of ''T''
| |
| and the domain of the adjoint coincide, then we say that
| |
| ''T'' is ''self-adjoint''.<ref>{{ harvnb |Kato|1995| loc=5.3.3 }}</ref> Note that, when ''T'' is self-adjoint, the existence of the adjoint implies that ''T'' is dense and since <math>T^*</math> is necessarily closed, <math>T</math> is closed.
| |
| | |
| A densely defined operator ''T'' is ''symmetric'', if the subspace {{nowrap begin}}Γ ( ''T'' ){{nowrap end}} is orthogonal to its image {{nowrap begin}}''J'' ( Γ ( ''T'' ) ){{nowrap end}} under ''J'' (where ''J''(''x'',''y''):=(''y'',-''x'')).<ref>Follows from {{ harv |Pedersen|1989| loc=5.1.5 }} and the definition via adjoint operators.</ref>
| |
| | |
| Equivalently, an operator ''T'' is ''self-adjoint'' if it is densely defined, closed, symmetric, and satisfies the fourth condition: both operators {{nowrap begin}}''T'' – ''i'',{{nowrap end}} {{nowrap begin}}''T'' + ''i''{{nowrap end}} are surjective, that is, map the domain of ''T'' onto the whole space ''H''. In other words: for every ''x'' in ''H'' there exist ''y'' and ''z'' in the domain of ''T'' such that {{nowrap begin}}''Ty'' – ''iy'' = ''x''{{nowrap end}} and {{nowrap begin}}''Tz'' + ''iz'' = ''x''.{{nowrap end}}<ref name="Pedersen-5.2.5">{{ harvnb |Pedersen|1989| loc=5.2.5 }}</ref>
| |
| | |
| An operator ''T'' is ''self-adjoint'', if the two subspaces {{nowrap begin}}Γ ( ''T'' ){{nowrap end}}, {{nowrap begin}}''J'' ( Γ ( ''T'' ) ){{nowrap end}} are orthogonal and their sum is the whole space <math> H \oplus H .</math><ref name="Pedersen-5.1.5" />
| |
| | |
| This approach does not cover non-densely defined closed operators. Non-densely defined symmetric operators can be defined directly or via graphs, but not via adjoint operators.
| |
| | |
| A symmetric operator is often studied via its [[Cayley transform]].
| |
| | |
| An operator ''T'' on a complex Hilbert space is symmetric if and only if its quadratic form is real, that is, the number <math> \langle Tx \mid x \rangle </math> is real for all ''x'' in the domain of ''T''.<ref name="Pedersen-5.1.3" />
| |
| | |
| A densely defined closed symmetric operator ''T'' is self-adjoint if and only if ''T''<sup>∗</sup> is symmetric.<ref name="RS-256">{{ harvnb |Reed|Simon|1980| loc=page 256 }}</ref> It may happen that it is not.<ref name="Pedersen-5.1.16">{{ harvnb |Pedersen|1989| loc=5.1.16 }}</ref><ref name="RS-257-9">{{ harvnb |Reed|Simon|1980| loc=Example on pages 257-259 }}</ref>
| |
| | |
| A densely defined operator ''T'' is called ''positive''<ref name="Pedersen-5.1.12">{{ harvnb |Pedersen|1989| loc=5.1.12 }}</ref> (or ''nonnegative''<ref name="BSU-25">{{ harvnb |Berezansky|Sheftel|Us|1996| loc=page 25 }}</ref>) if its quadratic form is nonnegative, that is, <math> \langle Tx \mid x \rangle \ge 0 </math> for all ''x'' in the domain of ''T''. Such operator is necessarily symmetric.
| |
| | |
| The operator ''T''<sup>∗</sup>''T'' is self-adjoint<ref name="Pedersen-5.1.9">{{ harvnb |Pedersen|1989| loc=5.1.9 }}</ref> and positive<ref name="Pedersen-5.1.12" /> for every densely defined, closed ''T''.
| |
| | |
| The [[Self-adjoint_operator#Spectral_theorem|spectral theorem]] applies to self-adjoint operators <ref name="Pedersen-5.3.8">{{ harvnb |Pedersen|1989| loc=5.3.8 }}</ref> and moreover, to normal operators,<ref name="BSU-89">{{ harvnb |Berezansky|Sheftel|Us|1996| loc=page 89 }}</ref><ref name="Pedersen-5.3.19">{{ harvnb |Pedersen|1989| loc=5.3.19 }}</ref> but not to densely defined, closed operators in general, since in this case the spectrum can be empty.<ref name="RS-254-E5">{{ harvnb |Reed|Simon|1980| loc=Example 5 on page 254 }}</ref><ref name="Pedersen-5.2.12">{{ harvnb |Pedersen|1989| loc=5.2.12 }}</ref>
| |
| | |
| A symmetric operator defined everywhere is closed, therefore bounded,<ref name="Pedersen-5.1.4" /> which is the [[Hellinger–Toeplitz theorem]].<ref name="RS-84">{{ harvnb |Reed|Simon|1980| loc=page 84 }}</ref>
| |
| | |
| ==Extension-related==
| |
| | |
| {{See also|Extensions of symmetric operators}}
| |
| | |
| By definition, an operator ''T'' is an ''extension'' of an operator ''S'' if {{nowrap begin}}Γ (''S'') ⊆ Γ (''T'').{{nowrap end}}<ref name="RS-250">{{ harvnb |Reed|Simon|1980| loc=page 250 }}</ref> An equivalent direct definition: for every ''x'' in the domain of ''S'', ''x'' belongs to the domain of ''T'' and {{nowrap begin}}''Sx'' = ''Tx''.{{nowrap end}}<ref name="Pedersen-5.1.1" /><ref name="RS-250" />
| |
| | |
| Note that an everywhere defined extension exists for every operator, which is a purely algebraic fact explained at [[Discontinuous linear map#General existence theorem]] and based on the [[axiom of choice]]. If the given operator is not bounded then the extension is a [[discontinuous linear map]]. It is of little use since it cannot preserve important properties of the given operator (see below), and usually is highly non-unique.
| |
| | |
| An operator ''T'' is called ''closable'' if it satisfies the following equivalent conditions:<ref name="Pedersen-5.1.4" /><ref name="RS-250"/><ref name="BSU-6,7">{{ harvnb |Berezansky|Sheftel|Us|1996| loc=pages 6,7 }}</ref>
| |
| * ''T'' has a closed extension;
| |
| * the closure of the graph of ''T'' is the graph of some operator;
| |
| * for every sequence (''x<sub>n</sub>'') of points from the domain of ''T'' such that ''x<sub>n</sub>'' converge to 0 and also ''Tx<sub>n</sub>'' converge to some ''y'' it holds that {{nowrap begin}}''y'' = 0.{{nowrap end}}
| |
| | |
| Not all operators are closable.<ref name="BSU-7">{{ harvnb |Berezansky|Sheftel|Us|1996| loc=page 7 }}</ref>
| |
| | |
| A closable operator ''T'' has the least closed extension <math> \overline T </math> called the ''closure'' of ''T''. The closure of the graph of ''T'' is equal to the graph of <math> \overline T. </math><ref name="Pedersen-5.1.4" /><ref name="RS-250" />
| |
| | |
| Other, non-minimal closed extensions may exist.<ref name="Pedersen-5.1.16" /><ref name="RS-257-9" />
| |
| | |
| A densely defined operator ''T'' is closable if and only if ''T''<sup>∗</sup> is densely defined. In this case <math> \overline T = T^{**} </math> and <math> (\overline T)^* = T^*. </math><ref name="Pedersen-5.1.5" /><ref name="RS-253">{{ harvnb |Reed|Simon|1980| loc=page 253 }}</ref>
| |
| | |
| If ''S'' is densely defined and ''T'' is an extension of ''S'' then ''S''<sup>∗</sup> is an extension of ''T''<sup>∗</sup>.<ref name="Pedersen-5.1.2">{{ harvnb |Pedersen|1989| loc=5.1.2 }}</ref>
| |
| | |
| Every symmetric operator is closable.<ref name="Pedersen-5.1.6">{{ harvnb |Pedersen|1989| loc=5.1.6 }}</ref>
| |
| | |
| A symmetric operator is called ''maximal symmetric'' if it has no symmetric extensions, except for itself.<ref name="Pedersen-5.1.3" />
| |
| | |
| Every self-adjoint operator is maximal symmetric.<ref name="Pedersen-5.1.3" /> The converse is wrong.<ref name="Pedersen-5.2.6">{{ harvnb |Pedersen|1989| loc=5.2.6 }}</ref>
| |
| | |
| An operator is called ''essentially self-adjoint'' if its closure is self-adjoint.<ref name="Pedersen-5.1.6" />
| |
| | |
| An operator is essentially self-adjoint if and only if it has one and only one self-adjoint extension.<ref name="RS-256" />
| |
| | |
| An operator may have more than one self-adjoint extension, and even a continuum of them.<ref name="RS-257-9" />
| |
| | |
| A densely defined, symmetric operator ''T'' is essentially self-adjoint if and only if both operators {{nowrap begin}}''T'' – ''i'',{{nowrap end}} {{nowrap begin}}''T'' + ''i''{{nowrap end}} have dense range.<ref name="RS-257">{{ harvnb |Reed|Simon|1980| loc=page 257 }}</ref>
| |
| | |
| Let ''T'' be a densely defined operator. Denoting the relation "''T'' is an extension of ''S''" by ''S'' ⊂ ''T'' (a conventional abbreviation for Γ(''S'') ⊆ Γ(''T'')) one has the following.<ref name="RS-255-6">{{ harvnb |Reed|Simon|1980| loc=pages 255, 256 }}</ref>
| |
| * If ''T'' is symmetric then ''T'' ⊂ ''T''<sup>∗∗</sup> ⊂ ''T''<sup>∗</sup>.
| |
| * If ''T'' is closed and symmetric then ''T'' = ''T''<sup>∗∗</sup> ⊂ ''T''<sup>∗</sup>.
| |
| * If ''T'' is self-adjoint then ''T'' = ''T''<sup>∗∗</sup> = ''T''<sup>∗</sup>.
| |
| * If ''T'' is essentially self-adjoint then ''T'' ⊂ ''T''<sup>∗∗</sup> = ''T''<sup>∗</sup>.
| |
| | |
| ==Importance of self-adjoint operators==
| |
| | |
| The class of '''self-adjoint operators''' is especially important in mathematical physics. Every self-adjoint operator is densely defined, closed and symmetric. The converse holds for bounded operators but fails in general. Self-adjointness is substantially more restricting than these three properties. The famous [[Self-adjoint operator#Spectral theorem|spectral theorem]] holds for self-adjoint operators. In combination with [[Stone's theorem on one-parameter unitary groups]] it shows that self-adjoint operators are precisely the infinitesimal generators of strongly continuous one-parameter unitary groups, see [[Self-adjoint operator#Self adjoint extensions in quantum mechanics]]. Such unitary groups are especially important for describing [[time evolution]] in classical and quantum mechanics.
| |
| | |
| == See also ==
| |
| | |
| * [[Hilbert space#Unbounded operators]]
| |
| * [[Stone–von Neumann theorem]]
| |
| * [[Bounded operator]]
| |
| | |
| ==Notes==
| |
| {{reflist|30em}}
| |
| | |
| ==References==
| |
| *{{ citation | last1=Berezansky| first1=Y.M. | last2=Sheftel| first2=Z.G. | last3=Us| first3=G.F.| title=Functional analysis | volume=II | year=1996| publisher=Birkhäuser }} (see Chapter 12 "General theory of unbounded operators in Hilbert spaces").
| |
| *{{ citation | last1=Brezis | first1=Haïm | title=Analyse fonctionnelle — Théorie et applications | year=1983| publisher=Mason |place=Paris |language=French}}
| |
| *{{springer|title=Unbounded operator|id=p/u095090}} <!--Hazewinkel, Michiel, ed. (2001) -->
| |
| *{{ citation | last=Hall | first=B.C. | title=Quantum Theory for Mathematicians | year=2013 | series=Graduate Texts in Mathematics |chapter=Chapter 9. Unbounded Self-adjoint Operators |publisher=Springer}}
| |
| *{{ citation | last=Kato | first=Tosio | title=Perturbation theory for linear operators | year=1995 | series=Classics in Mathematics |chapter=Chapter 5. Operators in Hilbert Space |publisher=Springer-Verlag |isbn=3-540-58661-X}}
| |
| *{{ citation | last=Pedersen | first=Gert K. | title=Analysis now | year=1989 | publisher=Springer }} (see Chapter 5 "Unbounded operators").
| |
| *{{ citation | last1=Reed | first1=Michael | author1-link=Michael C. Reed | last2=Simon | first2=Barry | author2-link=Barry Simon | title=Methods of Modern Mathematical Physics | edition=revised and enlarged | volume=1: Functional Analysis | year=1980 | publisher=Academic Press }} (see Chapter 8 "Unbounded operators").
| |
| *{{ citation | last1=Yoshida| first1=Kôsaku | title=Functional Analysis | year=1980| publisher=Springer |edition=sixth}}
| |
| | |
| {{PlanetMath attribution|id=4526|title=Closed operator}}
| |
| | |
| {{Functional Analysis}}
| |
| | |
| {{DEFAULTSORT:Unbounded Operator}}
| |
| [[Category:Linear operators]]
| |
| [[Category:Operator theory]]
| |
| [[de:Linearer Operator#Unbeschränkte lineare Operatoren]]
| |