summaryrefslogtreecommitdiffstats
path: root/pages/spectral-theory/test/basic.md
blob: b1015d17a62dc18df2ed137ef91099420cee5f96 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
---
title: Test
parent: Test
grand_parent: Spectral Theory
nav_order: 2
---

# {{ page.title }}

{: .definition-title }
> Definition (resolvent operator, regular value, resolvent set, spectrum, spectral value)
>
> Let $T : \dom{T} \to X$ be an operator in a complex normed space $X$.
> We write
>
> $$
> T_{\lambda} = T - \lambda = T - \lambda I,
> $$
>
> where $\lambda$ is a complex number and
> $I$ is the identical operator on the domain of $T$.
> If the operator $T_{\lambda}$ is injective,
> that is, it has an inverse $T_{\lambda}^{-1}$
> (with domain $\ran{T_{\lambda}}$),
> then we call
>
> $$
> R_{\lambda}(T) = T_{\lambda}^{-1} = (T - \lambda)^{-1} = (T - \lambda I)^{-1}
> $$
>
> the *resolvent operator* of $T$ for $\lambda$.
> A *regular value* of $T$ is a complex number $\lambda$ for which the resolvent $R_{\lambda}(T)$ exists,
> has dense domain and is bounded.
> The set of all regular values of $T$ is called the *resolvent set* of $T$ and denoted $\rho(T)$.
> The complement of the resolvent set in the complex plane
> is called the *spectrum* of $T$ and denoted $\sigma(T)$.
> The elements of the spectrum of $T$ are called the *spectral values* of $T$.

{% definition Point Spectrum, Residual Spectrum, Continuous Spectrum %}
Let $T : \dom{T} \to X$ be an operator in a complex normed space $X$.
The *point spectrum* $\pspec{T}$ is the set of all $\lambda \in \CC$
for which the resolvent $R_\lambda(T)$ does not exist.
The *residual spectrum* $\rspec{T}$ is the set of all $\lambda \in \CC$
for which the resolvent $R_\lambda(T)$ exists, but is not densely defined.
The *continuous spectrum* $\cspec{T}$ is the set of all $\lambda \in \CC$
for which the resolvent $R_\lambda(T)$ exists and is densely defined, but unbounded.
{% enddefinition %}

By definition, the sets $\pspec{T}$, $\rspec{T}$, $\cspec{T}$ and $\rho(T)$
form a partition of the complex plane.