Namespaces
Variants
Actions

Difference between revisions of "Positive operator"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
p0739401.png
 +
$#A+1 = 59 n = 1
 +
$#C+1 = 59 : ~/encyclopedia/old_files/data/P073/P.0703940 Positive operator,
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''positive mapping''
 
''positive mapping''
  
A positive operator on a Hilbert space is a [[Linear operator|linear operator]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p0739401.png" /> for which the corresponding quadratic form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p0739402.png" /> is non-negative. A positive operator on a complex Hilbert space is necessarily symmetric and has a self-adjoint extension that is also a positive operator. A [[Self-adjoint operator|self-adjoint operator]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p0739403.png" /> is positive if and only if any of the following conditions holds: a) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p0739404.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p0739405.png" /> is a [[Closed operator|closed operator]]; b) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p0739406.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p0739407.png" /> is a self-adjoint operator; or c) the spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p0739408.png" /> (cf. [[Spectrum of an operator|Spectrum of an operator]]) is contained in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p0739409.png" />. The set of positive bounded operators on a Hilbert space forms a cone in the algebra of all bounded operators.
+
A positive operator on a Hilbert space is a [[Linear operator|linear operator]] $  A $
 +
for which the corresponding quadratic form $  ( Ax, x) $
 +
is non-negative. A positive operator on a complex Hilbert space is necessarily symmetric and has a self-adjoint extension that is also a positive operator. A [[Self-adjoint operator|self-adjoint operator]] $  A $
 +
is positive if and only if any of the following conditions holds: a) $  A = B  ^ {*} B $,  
 +
where $  B $
 +
is a [[Closed operator|closed operator]]; b) $  A = B  ^ {2} $,  
 +
where $  B $
 +
is a self-adjoint operator; or c) the spectrum of $  A $(
 +
cf. [[Spectrum of an operator|Spectrum of an operator]]) is contained in $  [ 0, \infty ) $.  
 +
The set of positive bounded operators on a Hilbert space forms a cone in the algebra of all bounded operators.
  
A positive operator on a vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394010.png" /> containing a cone <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394011.png" /> is a mapping from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394012.png" /> into itself that preserves the given cone <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394013.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394014.png" />. Integral operators with positive kernels on various function spaces with given cones of positive functions are positive linear operators. Subject to certain additional conditions on the geometry of the cone <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394015.png" /> and the action of the positive operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394016.png" />, one can establish the existence of eigen vectors of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394017.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394018.png" /> (the corresponding eigen values are called positive or leading ones, as they exceed the absolute values of all the other eigen values). For example, it has been shown
+
A positive operator on a vector space $  X $
 +
containing a cone $  K $
 +
is a mapping from $  X $
 +
into itself that preserves the given cone $  K $
 +
in $  X $.  
 +
Integral operators with positive kernels on various function spaces with given cones of positive functions are positive linear operators. Subject to certain additional conditions on the geometry of the cone $  K $
 +
and the action of the positive operator $  A $,  
 +
one can establish the existence of eigen vectors of $  A $
 +
in $  X $(
 +
the corresponding eigen values are called positive or leading ones, as they exceed the absolute values of all the other eigen values). For example, it has been shown
  
that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394019.png" /> is a positive [[Completely-continuous operator|completely-continuous operator]] with a non-zero spectrum, then its [[Spectral radius|spectral radius]] is a positive eigen value. The condition of compactness may be replaced by conditions on the behaviour of the [[Resolvent|resolvent]] .
+
that if $  A $
 +
is a positive [[Completely-continuous operator|completely-continuous operator]] with a non-zero spectrum, then its [[Spectral radius|spectral radius]] is a positive eigen value. The condition of compactness may be replaced by conditions on the behaviour of the [[Resolvent|resolvent]] .
  
In the case of positive non-linear operators one examines the existence of a fixed point (i.e. a solution to the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394020.png" />) and the possibility of finding this point as the limit of certain recurrent sequences.
+
In the case of positive non-linear operators one examines the existence of a fixed point (i.e. a solution to the equation $  Ax = x $)  
 +
and the possibility of finding this point as the limit of certain recurrent sequences.
  
 
Some results from the theory of positive operators can be transferred to operators that leave invariant given subsets of more general type than a cone .
 
Some results from the theory of positive operators can be transferred to operators that leave invariant given subsets of more general type than a cone .
  
A positive operator on an involution algebra (a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394021.png" />-algebra) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394022.png" /> is a linear mapping from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394023.png" /> into an involution algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394024.png" /> which transfers positive elements to positive elements. The most studied are the positive operators on a [[C*-algebra|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394025.png" />-algebra]] (these are a particular case of positive operators on a space with a cone because the positive elements in a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394026.png" />-algebra form a cone). Schwartz's inequality holds for positive operators on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394027.png" />-algebras: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394028.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394029.png" />. The extreme points have been found for the set of unitary positive operators (i.e. the ones that preserve the unit element). Studies have also been made on positive completely-continuous operators, i.e. linear mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394030.png" /> for which all the mappings
+
A positive operator on an involution algebra (a $  * $-
 +
algebra) $  A $
 +
is a linear mapping from $  A $
 +
into an involution algebra $  B $
 +
which transfers positive elements to positive elements. The most studied are the positive operators on a [[C*-algebra| $  C  ^ {*} $-
 +
algebra]] (these are a particular case of positive operators on a space with a cone because the positive elements in a $  C  ^ {*} $-
 +
algebra form a cone). Schwartz's inequality holds for positive operators on $  C  ^ {*} $-
 +
algebras: $  \phi ( a  ^ {2} ) \geq  ( \phi ( a))  ^ {2} $
 +
if $  a = a  ^ {*} $.  
 +
The extreme points have been found for the set of unitary positive operators (i.e. the ones that preserve the unit element). Studies have also been made on positive completely-continuous operators, i.e. linear mappings $  \phi : A \rightarrow B $
 +
for which all the mappings
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394031.png" /></td> </tr></table>
+
$$
 +
( a _ {ij} ) _ {i,j= 1 }  ^ {n}  \rightarrow  ( \phi ( a _ {ij} )) _ {i,j= 1 }  ^ {n}
 +
$$
  
of the matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394032.png" />-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394033.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394034.png" /> are positive. An analogue of the theorem on the extension of a positive functional applies for positive completely-continuous operators: A positive completely-continuous operator on a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394035.png" />-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394036.png" /> into a certain [[Von Neumann algebra|von Neumann algebra]] can be extended to a positive completely-continuous operator on any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394037.png" />-algebra containing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394038.png" />. If one of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394039.png" />-algebras <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394040.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394041.png" /> is commutative (and only in that case), then any positive operator is completely continuous.
+
of the matrix $  C  ^ {*} $-
 +
algebra $  M( A) $
 +
into $  M( B) $
 +
are positive. An analogue of the theorem on the extension of a positive functional applies for positive completely-continuous operators: A positive completely-continuous operator on a $  C  ^ {*} $-
 +
algebra $  A $
 +
into a certain [[Von Neumann algebra|von Neumann algebra]] can be extended to a positive completely-continuous operator on any $  C  ^ {*} $-
 +
algebra containing $  A $.  
 +
If one of the $  C  ^ {*} $-
 +
algebras $  A $
 +
and $  B $
 +
is commutative (and only in that case), then any positive operator is completely continuous.
  
A positive operator on a Banach space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394042.png" /> is a linear operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394043.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394044.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394045.png" /> is a [[Positive cone|positive cone]] in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394046.png" />. An eigen vector of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394047.png" /> lying in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394048.png" /> is called positive, and the corresponding eigen value is positive. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394049.png" /> is a reproducing cone while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394050.png" /> is a positive completely-continuous operator and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394051.png" /> for a certain vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394052.png" /> not belonging to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394053.png" />, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394054.png" /> a natural number and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394055.png" />, then the spectral radius <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394056.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394057.png" /> is a positive eigen value of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394058.png" />; moreover, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394059.png" /> (the Krein–Rutman theorem).
+
A positive operator on a Banach space $  E $
 +
is a linear operator $  A $
 +
such that $  AK \subset  K $,  
 +
where $  K $
 +
is a [[Positive cone|positive cone]] in $  E $.  
 +
An eigen vector of $  A $
 +
lying in $  K $
 +
is called positive, and the corresponding eigen value is positive. If $  K $
 +
is a reproducing cone while $  A $
 +
is a positive completely-continuous operator and $  A  ^ {p} u \geq  \alpha u $
 +
for a certain vector $  u $
 +
not belonging to $  K $,  
 +
with p $
 +
a natural number and $  \alpha > 0 $,  
 +
then the spectral radius $  r _ {A} $
 +
of $  A $
 +
is a positive eigen value of $  A $;  
 +
moreover, $  r _ {A} \geq  \alpha  ^ {1/p} $(
 +
the Krein–Rutman theorem).
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N.I. Akhiezer,  I.M. Glazman,  "Theory of linear operators in Hilbert space" , '''1–2''' , Pitman  (1981)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  S. Sherman,  "Order in operator algebras"  ''Amer. J. Math.'' , '''73''' :  1  (1951)  pp. 227–232</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  M.G. Krein,  M.A. Rutman,  "Linear operators leaving invariant a cone in a Banach space"  ''Transl. Amer. Math. Soc. (1)'' , '''10'''  (1962)  pp. 199–325  ''Uspekhi Mat. Nauk'' , '''3''' :  1  (1948)  pp. 3–95</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  H.H. Schaefer,  "Topological vector spaces" , Macmillan  (1966)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  M.A. Krasnosel'skii,  A.V. Sobolev,  "On cones of finite rank"  ''Soviet Math. Dokl.'' , '''16''' :  6  (1975)  pp. 1621–1625  ''Dokl. Akad. Nauk SSSR'' , '''225''' :  6  (1975)  pp. 1256–1259</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  M.A. Krasnosel'skii,  et al.,  "Integral operators and spaces of summable functions" , Noordhoff  (1967)  (Translated from Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  J. Dixmier,  "<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394060.png" /> algebras" , North-Holland  (1977)  (Translated from French)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  M.A. Krasnosel'skii,  "Positive solutions of operator equations" , Wolters-Noordhoff  (1964)  (Translated from Russian)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N.I. Akhiezer,  I.M. Glazman,  "Theory of linear operators in Hilbert space" , '''1–2''' , Pitman  (1981)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  S. Sherman,  "Order in operator algebras"  ''Amer. J. Math.'' , '''73''' :  1  (1951)  pp. 227–232</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  M.G. Krein,  M.A. Rutman,  "Linear operators leaving invariant a cone in a Banach space"  ''Transl. Amer. Math. Soc. (1)'' , '''10'''  (1962)  pp. 199–325  ''Uspekhi Mat. Nauk'' , '''3''' :  1  (1948)  pp. 3–95</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  H.H. Schaefer,  "Topological vector spaces" , Macmillan  (1966)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  M.A. Krasnosel'skii,  A.V. Sobolev,  "On cones of finite rank"  ''Soviet Math. Dokl.'' , '''16''' :  6  (1975)  pp. 1621–1625  ''Dokl. Akad. Nauk SSSR'' , '''225''' :  6  (1975)  pp. 1256–1259</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  M.A. Krasnosel'skii,  et al.,  "Integral operators and spaces of summable functions" , Noordhoff  (1967)  (Translated from Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  J. Dixmier,  "<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073940/p07394060.png" /> algebras" , North-Holland  (1977)  (Translated from French)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  M.A. Krasnosel'skii,  "Positive solutions of operator equations" , Wolters-Noordhoff  (1964)  (Translated from Russian)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
 
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  N. Dunford,  J.T. Schwartz,  "Linear operators. Spectral theory" , '''2''' , Wiley (Interscience)  (1988)  pp. 906ff</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  M. Reed,  B. Simon,  "Methods of modern mathematical physics" , '''1. Functional analysis''' , Acad. Press  (1972)  pp. 195ff</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  B.Z. Vulikh,  "Functional analysis for scientists and technologists" , Pergamon  (1963)  pp. Sect. 13.6  (Translated from Russian)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  N. Dunford,  J.T. Schwartz,  "Linear operators. Spectral theory" , '''2''' , Wiley (Interscience)  (1988)  pp. 906ff</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  M. Reed,  B. Simon,  "Methods of modern mathematical physics" , '''1. Functional analysis''' , Acad. Press  (1972)  pp. 195ff</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  B.Z. Vulikh,  "Functional analysis for scientists and technologists" , Pergamon  (1963)  pp. Sect. 13.6  (Translated from Russian)</TD></TR></table>

Latest revision as of 08:07, 6 June 2020


positive mapping

A positive operator on a Hilbert space is a linear operator $ A $ for which the corresponding quadratic form $ ( Ax, x) $ is non-negative. A positive operator on a complex Hilbert space is necessarily symmetric and has a self-adjoint extension that is also a positive operator. A self-adjoint operator $ A $ is positive if and only if any of the following conditions holds: a) $ A = B ^ {*} B $, where $ B $ is a closed operator; b) $ A = B ^ {2} $, where $ B $ is a self-adjoint operator; or c) the spectrum of $ A $( cf. Spectrum of an operator) is contained in $ [ 0, \infty ) $. The set of positive bounded operators on a Hilbert space forms a cone in the algebra of all bounded operators.

A positive operator on a vector space $ X $ containing a cone $ K $ is a mapping from $ X $ into itself that preserves the given cone $ K $ in $ X $. Integral operators with positive kernels on various function spaces with given cones of positive functions are positive linear operators. Subject to certain additional conditions on the geometry of the cone $ K $ and the action of the positive operator $ A $, one can establish the existence of eigen vectors of $ A $ in $ X $( the corresponding eigen values are called positive or leading ones, as they exceed the absolute values of all the other eigen values). For example, it has been shown

that if $ A $ is a positive completely-continuous operator with a non-zero spectrum, then its spectral radius is a positive eigen value. The condition of compactness may be replaced by conditions on the behaviour of the resolvent .

In the case of positive non-linear operators one examines the existence of a fixed point (i.e. a solution to the equation $ Ax = x $) and the possibility of finding this point as the limit of certain recurrent sequences.

Some results from the theory of positive operators can be transferred to operators that leave invariant given subsets of more general type than a cone .

A positive operator on an involution algebra (a $ * $- algebra) $ A $ is a linear mapping from $ A $ into an involution algebra $ B $ which transfers positive elements to positive elements. The most studied are the positive operators on a $ C ^ {*} $- algebra (these are a particular case of positive operators on a space with a cone because the positive elements in a $ C ^ {*} $- algebra form a cone). Schwartz's inequality holds for positive operators on $ C ^ {*} $- algebras: $ \phi ( a ^ {2} ) \geq ( \phi ( a)) ^ {2} $ if $ a = a ^ {*} $. The extreme points have been found for the set of unitary positive operators (i.e. the ones that preserve the unit element). Studies have also been made on positive completely-continuous operators, i.e. linear mappings $ \phi : A \rightarrow B $ for which all the mappings

$$ ( a _ {ij} ) _ {i,j= 1 } ^ {n} \rightarrow ( \phi ( a _ {ij} )) _ {i,j= 1 } ^ {n} $$

of the matrix $ C ^ {*} $- algebra $ M( A) $ into $ M( B) $ are positive. An analogue of the theorem on the extension of a positive functional applies for positive completely-continuous operators: A positive completely-continuous operator on a $ C ^ {*} $- algebra $ A $ into a certain von Neumann algebra can be extended to a positive completely-continuous operator on any $ C ^ {*} $- algebra containing $ A $. If one of the $ C ^ {*} $- algebras $ A $ and $ B $ is commutative (and only in that case), then any positive operator is completely continuous.

A positive operator on a Banach space $ E $ is a linear operator $ A $ such that $ AK \subset K $, where $ K $ is a positive cone in $ E $. An eigen vector of $ A $ lying in $ K $ is called positive, and the corresponding eigen value is positive. If $ K $ is a reproducing cone while $ A $ is a positive completely-continuous operator and $ A ^ {p} u \geq \alpha u $ for a certain vector $ u $ not belonging to $ K $, with $ p $ a natural number and $ \alpha > 0 $, then the spectral radius $ r _ {A} $ of $ A $ is a positive eigen value of $ A $; moreover, $ r _ {A} \geq \alpha ^ {1/p} $( the Krein–Rutman theorem).

References

[1] N.I. Akhiezer, I.M. Glazman, "Theory of linear operators in Hilbert space" , 1–2 , Pitman (1981) (Translated from Russian)
[2] S. Sherman, "Order in operator algebras" Amer. J. Math. , 73 : 1 (1951) pp. 227–232
[3] M.G. Krein, M.A. Rutman, "Linear operators leaving invariant a cone in a Banach space" Transl. Amer. Math. Soc. (1) , 10 (1962) pp. 199–325 Uspekhi Mat. Nauk , 3 : 1 (1948) pp. 3–95
[4] H.H. Schaefer, "Topological vector spaces" , Macmillan (1966)
[5] M.A. Krasnosel'skii, A.V. Sobolev, "On cones of finite rank" Soviet Math. Dokl. , 16 : 6 (1975) pp. 1621–1625 Dokl. Akad. Nauk SSSR , 225 : 6 (1975) pp. 1256–1259
[6] M.A. Krasnosel'skii, et al., "Integral operators and spaces of summable functions" , Noordhoff (1967) (Translated from Russian)
[7] J. Dixmier, " algebras" , North-Holland (1977) (Translated from French)
[8] M.A. Krasnosel'skii, "Positive solutions of operator equations" , Wolters-Noordhoff (1964) (Translated from Russian)

Comments

References

[a1] N. Dunford, J.T. Schwartz, "Linear operators. Spectral theory" , 2 , Wiley (Interscience) (1988) pp. 906ff
[a2] M. Reed, B. Simon, "Methods of modern mathematical physics" , 1. Functional analysis , Acad. Press (1972) pp. 195ff
[a3] B.Z. Vulikh, "Functional analysis for scientists and technologists" , Pergamon (1963) pp. Sect. 13.6 (Translated from Russian)
How to Cite This Entry:
Positive operator. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Positive_operator&oldid=48255
This article was adapted from an original article by V.S. Shul'manV.I. Lomonosov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article