Der numerische Wertebereich ist ein Begriff aus der Funktionalanalysis und der linearen Algebra .
Für einen komplexen Hilbertraum
H
{\displaystyle H}
mit Skalarprodukt
⟨
⋅
,
⋅
⟩
{\displaystyle \langle {\cdot },{\cdot }\rangle }
und einen beschränkten linearen Operator
T
:
H
→
H
{\displaystyle T\colon H\to H}
ist der numerische Wertebereich von
T
{\displaystyle T}
gegeben durch
W
(
T
)
:=
{
⟨
T
x
,
x
⟩
:
‖
x
‖
=
1
}
,
{\displaystyle W(T):=\left\{\langle Tx,x\rangle :\lVert x\rVert =1\right\},}
wobei
‖
⋅
‖
{\displaystyle \lVert {\cdot }\rVert }
die durch
⟨
⋅
,
⋅
⟩
{\displaystyle \langle {\cdot },{\cdot }\rangle }
auf
H
{\displaystyle H}
induzierte Norm ist.
Analog zum Spektralradius definiert man den numerischen Radius durch
w
(
T
)
:=
sup
{
|
λ
|
:
λ
∈
W
(
T
)
}
{\displaystyle w(T):=\sup\{|\lambda |:\lambda \in W(T)\}}
.
Im Spezialfall komplexwertiger, quadratischer Matrizen
A
∈
C
n
×
n
{\displaystyle A\in \mathbb {C} ^{n\times n}}
ist die Definition des numerischen Wertebereichs gleichwertig zu
W
(
A
)
=
{
x
∗
A
x
x
∗
x
:
x
∈
C
n
∖
{
0
}
}
.
{\displaystyle W(A)=\left\{{\frac {x^{*}Ax}{x^{*}x}}:x\in \mathbb {C} ^{n}\setminus \{0\}\right\}.}
W
(
A
)
{\displaystyle W(A)}
ist hier also der Bildbereich des Rayleigh-Quotienten .
Die folgenden Eigenschaften gelten für beschränkte lineare Operatoren
T
:
H
→
H
{\displaystyle T\colon H\to H}
.
W
(
T
)
⊆
{
λ
∈
C
:
|
λ
|
≤
‖
T
‖
}
{\displaystyle W(T)\subseteq \{\lambda \in \mathbb {C} :|\lambda |\leq \lVert T\rVert \}}
bzw. äquivalent dazu
w
(
T
)
≤
‖
T
‖
{\displaystyle w(T)\leq \lVert T\rVert }
. Hierbei bezeichnet
‖
T
‖
{\displaystyle \lVert T\rVert }
die Operatornorm von
T
{\displaystyle T}
.
Der numerische Wertebereich von
T
{\displaystyle T}
ist konvex . (Satz von Toeplitz-Hausdorff)
Das Spektrum
σ
(
T
)
{\displaystyle \sigma (T)}
liegt im Abschluss von
W
(
T
)
{\displaystyle W(T)}
:
σ
(
T
)
⊆
W
(
T
)
¯
{\displaystyle \sigma (T)\subseteq {\overline {W(T)}}}
. Ist
H
{\displaystyle H}
endlich-dimensional, gilt sogar
σ
(
T
)
⊆
W
(
T
)
{\displaystyle \sigma (T)\subseteq W(T)}
.
Jedes
λ
∈
W
(
T
)
{\displaystyle \lambda \in W(T)}
, für das
|
λ
|
=
‖
T
‖
{\displaystyle |\lambda |=\lVert T\rVert }
gilt, ist ein Eigenwert von
T
{\displaystyle T}
.
Der rechte reelle Achsenabschnitt des numerischen Wertebereichs ist die logarithmische Norm , bei einer Matrix
A
{\displaystyle A}
ist dies
μ
(
A
)
=
max
{
x
∗
A
x
:
x
∗
x
=
1
}
.
{\displaystyle \mu (A)=\max \left\{x^{*}Ax:\ x^{*}x=1\right\}.}
Mit ihr kann eine Schranke für die Spektralnorm des Matrixexponentials angegeben werden, es gilt
‖
e
t
A
‖
2
≤
e
t
μ
(
A
)
,
t
≥
0.
{\displaystyle \|e^{tA}\|_{2}\leq e^{t\mu (A)},\ t\geq 0.}
Denn
y
(
t
)
=
e
t
A
y
0
{\displaystyle y(t)=e^{tA}y_{0}}
löst das Anfangswertproblem
y
′
(
t
)
=
A
y
(
t
)
,
y
(
0
)
=
y
0
{\displaystyle y'(t)=Ay(t),\,y(0)=y_{0}}
.
Dann gilt für die Euklidnorm
N
(
t
)
=
‖
y
(
t
)
‖
2
{\displaystyle N(t)=\|y(t)\|^{2}}
, dass ihre Ableitung die Ungleichung
N
′
(
t
)
=
2
y
(
t
)
∗
y
′
(
t
)
=
2
y
(
t
)
∗
A
y
(
t
)
≤
2
μ
(
A
)
y
(
t
)
∗
y
(
t
)
=
μ
(
A
)
N
(
t
)
{\displaystyle N'(t)=2y(t)^{*}y'(t)=2y(t)^{*}Ay(t)\leq 2\mu (A)y(t)^{*}y(t)=\mu (A)N(t)}
erfüllt, woraus
N
(
t
)
≤
e
2
t
μ
(
A
)
N
(
0
)
{\displaystyle N(t)\leq e^{2t\mu (A)}N(0)}
folgt. Dies entspricht der Schranke für das Matrixexponential.
E. Hairer, G. Wanner, Solving ordinary differential equations II , Springer, 1991.