В функциональном анализе замкнутые операторы — это некоторый важный класс неограниченных операторов , гораздо более широкий, чем класс ограниченных , то есть непрерывных, операторов. Замкнутый оператор не обязан быть определён на всём пространстве. Замкнутые операторы обладают достаточным числом хороших свойств для того, чтобы можно было ввести их спектр , построить функциональное исчисление и (в частных случаях) полную спектральную теорию. Важным примером замкнутых операторов являются производная и многие дифференциальные операторы .
Пусть
A
:
D
(
A
)
⊂
X
→
Y
{\displaystyle A\colon D(A)\subset X\to Y}
— линейный оператор между банаховыми пространствами , определённый на некотором линейном подпространстве
D
(
A
)
{\displaystyle D(A)}
в
X
{\displaystyle X}
. Он называется замкнутым [ 1] , если его график замкнут в
X
×
Y
{\displaystyle X\times Y}
, то есть для любой последовательности
x
n
∈
D
(
A
)
{\displaystyle x_{n}\in D(A)}
если верно, что
x
n
→
x
∈
X
{\displaystyle x_{n}\to x\in X}
и
A
(
x
n
)
→
y
∈
Y
{\displaystyle A(x_{n})\to y\in Y}
, то
x
∈
D
(
A
)
{\displaystyle x\in D(A)}
и
A
(
x
)
=
y
{\displaystyle A(x)=y}
.
Понятие замкнутого линейного оператора является обобщением понятия линейного непрерывного оператора: каждый линейный непрерывный оператор является замкнутым.
Свойства замкнутого линейного оператора
Если замкнутый
A
{\displaystyle A}
оператор обратим, то
A
−
1
{\displaystyle A^{-1}}
замкнут. Как следствие, каждый обратимый линейный непрерывный оператор имеет замкнутый обратный оператор.
Если
A
{\displaystyle A}
— замкнутый линейный оператор, определенный всюду в банаховом пространстве
X
{\displaystyle X}
с значениями в пространстве
Y
{\displaystyle Y}
, и существует такая положительная константа
c
{\displaystyle c}
, что
‖
A
x
‖
≤
c
‖
x
‖
{\displaystyle \|Ax\|\leq c\|x\|}
для любых
x
{\displaystyle x}
из всюду плотного множества , то оператор
A
{\displaystyle A}
ограничен.
Теорема Банаха о замкнутом графике . Если замкнутый оператор
A
:
X
→
Y
{\displaystyle A:X\to Y}
определён на всём
X
{\displaystyle X}
, то он ограничен.
Если
A
:
X
→
Y
{\displaystyle A\colon X\to Y}
— замкнутый оператор,
(
E
,
B
,
μ
)
{\displaystyle (E,{\mathcal {B}},\mu )}
— пространство с мерой, и функции
x
:
E
→
X
{\displaystyle x\colon E\to X}
,
A
x
:
E
→
Y
{\displaystyle Ax\colon E\to Y}
сильно измеримы , то
A
∫
x
(
t
)
d
μ
(
t
)
=
∫
A
x
(
t
)
d
μ
{\displaystyle A\int x(t)\mathrm {d} \mu (t)=\int Ax(t)\mathrm {d} \mu }
(равенство интегралов Бохнера ).
Примеры замкнутых, но неограниченных операторов
В примерах
C
[
0
,
1
]
{\displaystyle C[0,1]}
и
C
0
[
0
,
∞
)
{\displaystyle C_{0}[0,\infty )}
— пространства функций, непрерывных и ограниченных соответственно на отрезке
[
0
,
1
]
{\displaystyle [0,1]}
и луче
[
0
,
∞
)
{\displaystyle [0,\infty )}
Оператор дифференцирования
d
d
t
:
C
[
0
,
1
]
→
C
[
0
,
1
]
{\displaystyle {\frac {d}{dt}}:C[0,1]\to C[0,1]}
, с областью определения —
C
1
[
0
,
1
]
{\displaystyle C^{1}[0,1]}
, со значениями в
C
[
0
,
1
]
{\displaystyle C[0,1]}
.
Оператор умножения на координату
A
:
C
0
[
0
,
∞
)
→
C
0
[
0
,
∞
)
{\displaystyle A:C_{0}[0,\infty )\to C_{0}[0,\infty )}
A
(
x
)
=
t
x
(
t
)
{\displaystyle A(x)=tx(t)}
.
Область определения оператора
A
{\displaystyle A}
состоит из функций, удовлетворяющих неравенству
|
x
(
t
)
|
≤
c
1
+
t
{\displaystyle |x(t)|\leq {\frac {c}{1+t}}}
, где
c
{\displaystyle c}
зависит от
x
(
t
)
{\displaystyle x(t)}
.
Примечания
↑ Иосида К. Функциональный анализ. — М.: Мир, 1967. — С. 114.
Литература
Ворович И.И. , Лебедев Л.П. Функциональный анализ и его приложения в механике сплошной среды. — М. : Вузовская книга, 2000 . — 320 с.
Треногин В. А. Функциональный анализ. — М. : Наука , 1980 . — 495 с.