Доклады Российской академии наук. Математика, информатика, процессы управления, 2023, T. 509, № 1, стр. 54-59

К теории Бирмана–Крейна–Вишика

М. Маламуд 12*

1 Российский университет дружбы народов
Москва, Россия

2 Санкт-Петербургский государственный университет
Санкт-Петербург, Россия

* E-mail: malamud3m@gmail.com

Поступила в редакцию 07.09.2022
После доработки 16.11.2022
Принята к публикации 26.12.2022

Полный текст (PDF)

Keywords: positive definite symmetric operator, Friedrichs and Krein extensions, compactness of resolvent, asymptotic of spectrum

Введение. Пусть $A \geqslant 0$ – замкнутый неотрицательный плотно определенный симметрический оператор в гильбертовом пространстве $\mathfrak{H}$. Согласно теореме Стоуна-Фридрихса, множество ${{\operatorname{Ext} }_{A}}(0,\infty )$ всех неотрицательных самосопряженных расширений $\tilde {A} = \tilde {A}{\text{*}}$ оператора $A$ непусто (см. [1, 5]). Наиболее полная теория расширений оператора $A \geqslant 0$, включающая описание всех расширений $\tilde {A} = \tilde {A}* \geqslant 0$, была построена М. Крейном [13]. В частности, им было доказано [13] (cм. также [1, 10]), что множество ${{\operatorname{Ext} }_{A}}(0,\;\infty )$ содержит максимальное (Фридрихса) и минимальное (Крейна-фон Неймана) расширения ${{\hat {A}}_{F}}$ и ${{\hat {A}}_{K}}$. Они однозначно характеризуются неравенствами:

(1)
$\begin{gathered} {{\left( {{{{\hat {A}}}_{F}} + a} \right)}^{{ - 1}}} \leqslant {{\left( {\tilde {A} + a} \right)}^{{ - 1}}} \leqslant {{\left( {{{{\hat {A}}}_{K}} + a} \right)}^{{ - 1}}}, \\ \tilde {A} \in {{\operatorname{Ext} }_{A}}(0,\infty ),\quad a > 0. \\ \end{gathered} $

Теория Крейна была существенно дополнена Вишиком [15] и Бирманом [4]. В настоящее время она известна как теория Бирмана–Крейна–Вишика (см. [2]).

Обозначим через ${{m}_{A}} = \inf \left\{ {(Af,f):\left\| f \right\| = 1} \right\}$ нижнюю грань оператора $A$. Подчеркнем, что расширение Фридрихса ${{\hat {A}}_{F}}$ всегда сохраняет нижнюю грань, т.е. (${{m}_{{{{{\hat {A}}}_{F}}}}} = {{m}_{A}}$), в то время как расширение Крейна ${{\hat {A}}_{K}}$ сохраняет ее, только если ${{m}_{A}} = 0$.

В дальнейшем мы будем систематически использовать ортогональное разложение

(2)
$\begin{gathered} \mathfrak{H} = {{\mathfrak{H}}_{1}} \oplus \mathfrak{H}_{1}^{ \bot },\quad {\text{где}}\quad {{\mathfrak{H}}_{1}}: = {\text{ran}}(I + A) \\ {\text{и}}\quad \mathfrak{H}_{1}^{ \bot } = \ker (I + A*) = :{{\mathfrak{N}}_{{ - 1}}}(A). \\ \end{gathered} $

Обозначим ${{P}_{1}}$ и ${{P}_{{ - 1}}}$ ортопроекторы в разложении [2] на подпространства ${{\mathfrak{H}}_{1}}$ и $\mathfrak{H}_{1}^{ \bot } = {{\mathfrak{N}}_{{ - 1}}}(A)$ соответственно. Далее, считая $A$ положительно определенным, $A \geqslant {{m}_{A}} > 0$, и полагая ${{\mathfrak{N}}_{0}}$ = ${{\mathfrak{N}}_{0}}(A)$ := := $\ker A{\text{*}}$, приходим к следующему представлению для ${{\hat {A}}_{K}}$:

(3)
$\begin{gathered} {{{\hat {A}}}_{K}} = \hat {A}_{K}^{'} \oplus (\mathbb{O} \upharpoonright {{\mathfrak{N}}_{0}}), \\ {\text{где}}\quad \hat {A}_{K}^{'}: = {{{\hat {A}}}_{K}} \upharpoonright {{\mathfrak{M}}_{0}}, \\ {{\mathfrak{M}}_{0}}: = {{\mathfrak{M}}_{0}}(A): = \mathfrak{N}_{0}^{ \bot } = \overline {{\text{ran}}} A. \\ \end{gathered} $

Оператор $\hat {A}_{K}^{'}$ называют редуцированным расширением Крейна.

В заметке развивается и дополняется следующий результат Крейна ([13], теорема 26):

(4)
$\begin{gathered} {{\left( {{{I}_{\mathfrak{H}}} + {{{\hat {A}}}_{F}}} \right)}^{{ - 1}}} \in {{\mathfrak{S}}_{\infty }}(\mathfrak{H}) \Rightarrow \\ \Rightarrow \;{{\left( {{{I}_{{{{\mathfrak{M}}_{0}}}}} + \hat {A}_{K}^{'}} \right)}^{{ - 1}}} \in {{\mathfrak{S}}_{\infty }}({{\mathfrak{M}}_{0}}). \\ \end{gathered} $

Мы показываем, что многие спектральные свойства оператора ${{\left( {{{I}_{{{{\mathfrak{M}}_{0}}}}} + \hat {A}_{K}^{'}} \right)}^{{ - 1}}}$ близки к соответствующим спектральным свойствам оператора ${{P}_{1}}{{(I + A)}^{{ - 1}}}$, а не оператора ${{\left( {{{I}_{\mathfrak{H}}} + {{{\hat {A}}}_{F}}} \right)}^{{ - 1}}}$. В частности, показано, что обратная к (4) импликация, вообще говоря, неверна, а замена оператора ${{\left( {{{I}_{\mathfrak{H}}} + {{{\hat {A}}}_{F}}} \right)}^{{ - 1}}}$ на ${{P}_{1}}{{({{I}_{\mathfrak{H}}} + A)}^{{ - 1}}}$ превращает ее в эквивалентность (предложение 1). Более того, показывается (см. теорему 2), что собственные значения этих операторов имеют одинаковую степенную асимптотику.

Мы также приводим полное отрицательное решение следующей проблемы Бирмана:

Проблема 1 (Бирман). Верна ли импликация ${{A}^{{ - 1}}} \in \mathfrak{S}{{S}_{\infty }}$${{\left( {{{{\hat {A}}}_{F}}} \right)}^{{ - 1}}}$${{\mathfrak{S}}_{\infty }}(\mathfrak{H})$?

Именно, показано, что при условии ${{A}^{{ - 1}}} \in {{\mathfrak{S}}_{\infty }}$ спектр ${{\hat {A}}_{F}}$ может быть произвольным (см. теорему 4). В частности, каждый симметрический оператор $A \geqslant 0$, удовлетворяющий условиям ${{A}^{{ - 1}}} \in {{\mathfrak{S}}_{\infty }}$ и ${{\left( {{{{\hat {A}}}_{F}}} \right)}^{{ - 1}}} \notin {{\mathfrak{S}}_{\infty }}(\mathfrak{H})$, не допускает полуограниченных расширений $\tilde {A} = \tilde {A}{\text{*}}$ с компактной резольвентой, однако, в силу классической теоремы Вишика [15], всегда допускает расширения $\tilde {A} = \tilde {A}{\text{*}}$ с ${{(\tilde {A})}^{{ - 1}}} \in {{\mathfrak{S}}_{\infty }}$. В этом случае все расширения $\tilde {A} = \tilde {A}{\text{*}}$ с компактной резольвентой – не полуограниченные.

Мы также дополняем исследования Бирмана [4] и Грубб [7] об эквивалентности полуограниченности расширения $\tilde {A} = \tilde {A}{\text{*}}$ оператора $A$ и граничного оператора (теорема 6).

Обозначения. Всюду в заметке $\mathfrak{B}(\mathfrak{H}{\text{'}},\mathfrak{H})$, $\mathfrak{C}(\mathfrak{H}{\kern 1pt} ',\mathfrak{H})$ – обозначают, соответственно, пространства ограниченных и замкнутых операторов из гильбертова пространства $\mathfrak{H}{\text{'}}$ в гильбертово пространство $\mathfrak{H}$; $\mathfrak{B}(\mathfrak{H}): = \mathfrak{B}(\mathfrak{H},\mathfrak{H})$ и $\mathfrak{C}(\mathfrak{H})$ := := $\mathfrak{C}(\mathfrak{H},\mathfrak{H})$. В дальнейшем, ${\text{dom}}(T)$, ${\text{ran}}(T)$ и $\ker (T)$ – область определения, образ и ядро оператора $T \in \mathfrak{C}(\mathfrak{H})$ соответственно; ${{\sigma }_{{ac}}}(T)$, ${{\sigma }_{{{\text{ess}}}}}(T)$ и ${{\sigma }_{p}}(T)$ обозначают абсолютно непрерывный, существенный и точечный спектры оператора $T = T{\text{*}}$ (см. [5]).

1. Преобразование М.Г. Крейна. Следуя [13], рассмотрим дробно-линейное преобразование М.Г. Крейна:

(5)
$\begin{gathered} A \mapsto {{T}_{1}}: = X(A): = (I - A){{(I + A)}^{{ - 1}}} = \\ = - I + 2{{(I + A)}^{{ - 1}}}. \\ \end{gathered} $

Хорошо известно ([1, 13]), что ${{T}_{1}}( \in \mathfrak{B}({{\mathfrak{H}}_{1}},\mathfrak{H}))$ – симметрическое неплотно заданное сжатие в $\mathfrak{H}$ с областью определения ${\text{dom}}({{T}_{1}})$ = ${\text{ran}}(I + A)$ = ${{\mathfrak{H}}_{1}}$. В соответствии с ортогональным разложением (2) сжатие ${{T}_{1}}$ допускает блочно-матричное представление

(6)
$\begin{gathered} {{T}_{1}} = X(A) = \left( {\begin{array}{*{20}{c}} {{{T}_{{11}}}} \\ {{{T}_{{21}}}} \end{array}} \right) = \left( {\begin{array}{*{20}{c}} {{{T}_{{11}}}} \\ {V{{D}_{{{{T}_{{11}}}}}}} \end{array}} \right),\quad {\text{где}} \\ {{T}_{{11}}} \in \mathfrak{B}({{\mathfrak{H}}_{1}}),\quad V: = {\text{clos}}\left( {{{T}_{{21}}}D_{{{{T}_{{11}}}}}^{{( - 1)}}} \right) \in \mathfrak{B}\left( {{{\mathfrak{H}}_{1}},\mathfrak{H}_{1}^{ \bot }} \right). \\ \end{gathered} $

Здесь ${{D}_{{{{T}_{{11}}}}}}: = \sqrt {I - T_{{11}}^{2}} $, $V$ – сжатие, однозначно определяемое условием $\ker V \supset \ker {{D}_{{{{T}_{{11}}}}}}$, и $D_{{{{T}_{{11}}}}}^{{( - 1)}}$ обозначает обобщенный обратный оператор, $D_{{{{T}_{{11}}}}}^{{( - 1)}} \upharpoonright \ker {{D}_{{{{T}_{{11}}}}}}$ = 0.

2. Основное тождество, связывающее $\hat {A}_{K}^{'}$ и $A$.

Теорема 1. Пусть $A$замкнутый положительно определенный (${{m}_{A}} > 0$), плотно заданный симметрический оператор в $\mathfrak{H}$, ${{T}_{1}}$ = $X(A)$ = $\left( {\begin{array}{*{20}{c}} {{{T}_{{11}}}} \\ {V{{D}_{{{{T}_{{11}}}}}}} \end{array}} \right)$ определен соотношениями (5), (6) и ${{D}_{V}}: = {{(I - V{\kern 1pt} *{\kern 1pt} V)}^{{1/2}}}$дефектный оператор оператора $V$. Тогда:

(i) операторы ${{\left( {{{I}_{{{{\mathfrak{M}}_{0}}}}} + \hat {A}_{K}^{'}} \right)}^{{ - 1}}}$ и ${{D}_{V}}{{P}_{1}}{{({{I}_{\mathfrak{H}}} + A)}^{{ - 1}}}{{D}_{V}}$ унитарно эквивалентны, т.е. существует изометрия $U( \in \mathfrak{B}({{\mathfrak{H}}_{1}},{{\mathfrak{M}}_{0}}))$ из ${{\mathfrak{H}}_{1}}$ на ${{\mathfrak{M}}_{0}}$ такая, что

(7)
$\begin{gathered} {{U}^{{ - 1}}}{{\left( {{{I}_{{{{\mathfrak{M}}_{0}}}}} + \hat {A}_{K}^{'}} \right)}^{{ - 1}}}U = \\ = {{D}_{V}}{{P}_{1}}{{({{I}_{\mathfrak{H}}} + A)}^{{ - 1}}}{{D}_{V}}\quad {\text{и}}\quad 0 \in \rho ({{D}_{V}}); \\ \end{gathered} $

(ii) если дополнительно $\dim (\ker V) = \dim (\ker V{\text{*}})$, то существует изометрия ${{U}_{1}}( \in \,\mathfrak{B}({{\mathfrak{H}}_{1}},{{\mathfrak{H}}_{2}}))$ из ${{\mathfrak{H}}_{1}}$ на ${{\mathfrak{H}}_{2}}$ такая, что оператор ${{D}_{V}}$ в (7) допускает представление

(8)
${{D}_{V}}\, = \,U_{1}^{*}{{\left( {\left[ {{{{\left( {{{I}_{\mathfrak{H}}}\, + \,{{{\hat {A}}}_{K}}} \right)}}^{{ - 1}}}\, - \,{{{\left( {{{I}_{\mathfrak{H}}}\, + \,{{{\hat {A}}}_{F}}} \right)}}^{{ - 1}}}} \right]\, \upharpoonright \,{{\mathfrak{N}}_{{ - 1}}}(A)} \right)}^{{1/2}}}{{U}_{1}}.$

Следствие 1. Пусть в условиях теоремы 1, $c = \left\| {{{D}_{V}}} \right\|( \leqslant 1)$. Тогда:

(i) существует изометрия ${{U}_{1}}$ из ${{\mathfrak{H}}_{1}}$ на ${{\mathfrak{M}}_{0}}$ такая, что справедливы неравенства:

(9)
$U_{1}^{*}{{\left( {{{I}_{{{{\mathfrak{M}}_{0}}}}}\, + \,\hat {A}_{K}^{'}} \right)}^{{ - 1}}}{{U}_{1}} \leqslant {{c}^{2}}{{P}_{1}}{{({{I}_{\mathfrak{H}}} + A)}^{{ - 1}}} \leqslant {{P}_{1}}{{({{I}_{\mathfrak{H}}} + A)}^{{ - 1}}};$

(ii) если, к тому же, ${{({{I}_{\mathfrak{H}}} + A)}^{{ - 1}}}$ компактен, то собственные значения операторов ${{\left( {{{I}_{{{{\mathfrak{M}}_{0}}}}} + \hat {A}_{K}^{'}} \right)}^{{ - 1}}}$, ${{P}_{1}}{{({{I}_{\mathfrak{H}}} + A)}^{{ - 1}}}$ упорядоченные по убыванию, связаны неравенствами

(10)
$\begin{gathered} {{\lambda }_{n}}\left( {{{{({{I}_{{{{M}_{0}}}}} + \hat {A}_{K}^{'})}}^{{ - 1}}}} \right) \leqslant {{c}^{2}}{{\lambda }_{n}}\left( {{{P}_{1}}{{{({{I}_{\mathfrak{H}}} + A)}}^{{ - 1}}}} \right) \leqslant \\ \leqslant \;{{\lambda }_{n}}\left( {{{P}_{1}}{{{({{I}_{\mathfrak{H}}} + A)}}^{{ - 1}}}} \right),\quad n \in \mathbb{N}; \\ \end{gathered} $

(iii) если, к тому же, ${{\left( {{{I}_{\mathfrak{H}}} + {{{\hat {A}}}_{F}}} \right)}^{{ - 1}}}$ компактен, то верны неравенства:

$\begin{gathered} {{\lambda }_{n}}\left( {{{{\left( {{{I}_{{{{\mathfrak{M}}_{0}}}}} + \hat {A}_{K}^{'}} \right)}}^{{ - 1}}}} \right) \leqslant {{\lambda }_{n}}\left( {{{P}_{1}}{{{({{I}_{\mathfrak{H}}} + A)}}^{{ - 1}}}} \right) \leqslant \\ \leqslant \;{{\lambda }_{n}}\left( {{{{\left( {I + {{{\hat {A}}}_{F}}} \right)}}^{{ - 1}}}} \right),\quad n \in \mathbb{N}. \\ \end{gathered} $

3. Спектральные свойства редуцированного расширения Крейна оператора $A$ с компактным обратным. В соответствии с результатом Крейна ([13], теорема 26) верна импликация (4). Заметим, что обратная к (4) импликация, вообще говоря, неверна, но замена ${{\left( {{{I}_{\mathfrak{H}}} + {{{\hat {A}}}_{F}}} \right)}^{{ - 1}}}$ на ${{P}_{1}}{{({{I}_{\mathfrak{H}}} + A)}^{{ - 1}}}$ в (4) превращает ее в эквивалентность.

Как вытекает из результатов раздела 4, оператор $\hat {A}_{K}^{'}$ не наследует другие спектральные свойства ${{\hat {A}}_{F}}$ такие, как абсолютная непрерывность, сингулярность и т.д.

3A. Компактность резольвенты редуцированного расширения Крейна. Применяя теорему 1, мы дополняем и обобщаем результат Крейна (импликацию (4)).

Как обычно, ${{\mathfrak{S}}_{\infty }}(\mathfrak{H})$ – класс компактных операторов в $\mathfrak{H}$, а ${{\mathfrak{S}}_{p}}(\mathfrak{H})$ – идеалы Неймана-Шаттена в $\mathfrak{H}$: ${{\mathfrak{S}}_{p}}(\mathfrak{H})$ = $\left\{ {T \in {{\mathfrak{S}}_{\infty }}(\mathfrak{H}):{{s}_{n}}(T) \in {{l}^{p}}(\mathbb{N})} \right\}$, $p \in (0,\infty $).

Определение 1. Оператор $T \in {{\mathfrak{S}}_{\infty }}(\mathfrak{H})$ принадлежит классу ${{\Sigma }_{p}}(\mathfrak{H})$, $p \in (0,\;\infty )$, если

(11)
${{\left\| T \right\|}_{p}}: = \mathop {\sup }\limits_n {{n}^{{1/p}}} \cdot {{s}_{n}}(T) < \infty .$

Класс $\Sigma _{p}^{0}(\mathfrak{H})$подкласс класса ${{\Sigma }_{p}}(\mathfrak{H})$, выделяемый условием ${{s}_{n}}(T)$ = $o\left( {{{n}^{{ - 1/p}}}} \right)$, $n \to \infty $.

Классы ${{\mathfrak{S}}_{p}}(\mathfrak{H})$ и ${{\Sigma }_{p}}(\mathfrak{H})$ не могут быть нормированы при $p \in (0,\;1)$ и $p \in (0,\;1]$ соответственно. Для таких $p$ они могут быть квазинормированы. Для любого $p \in (0,\;\infty )$ класс ${{\Sigma }_{p}}(\mathfrak{H})$, снабженный квазинормой (11), образует квазинормированный идеал в ${{\mathfrak{S}}_{\infty }}(\mathfrak{H})$.

Предложение 1. Пусть $A$замкнутый плотно заданный положительно определенный симметрический оператор в $\mathfrak{H}$ и $\hat {A}_{K}^{'}$редуцированное расширение Крейна оператора $A$, заданное соотношением (3). Тогда:

(i) для любого симметрично нормированного идеала $\mathfrak{S}$ в $\mathfrak{B}({{\mathfrak{H}}_{1}})$ справедлива следующая эквивалентность:

(12)
${{P}_{1}}{{({{I}_{\mathfrak{H}}} + A)}^{{ - 1}}} \in \mathfrak{S}({{\mathfrak{H}}_{1}}) \Leftrightarrow {{\left( {{{I}_{{{{\mathfrak{M}}_{0}}}}} + \hat {A}_{K}^{'}} \right)}^{{ - 1}}} \in \mathfrak{S}({{\mathfrak{M}}_{0}});$

(ii) для любого $p \in (0,\;\infty ]$ верна эквивалентность:

(13)
$\begin{gathered} {{P}_{1}}{{({{I}_{\mathfrak{H}}} + A)}^{{ - 1}}} \in {{\mathfrak{S}}_{p}}({{\mathfrak{H}}_{1}}) \Leftrightarrow \\ \Leftrightarrow {{({{I}_{{{{\mathfrak{M}}_{0}}}}} + \hat {A}_{K}^{'})}^{{ - 1}}} \in {{\mathfrak{S}}_{p}}({{\mathfrak{M}}_{0}}); \\ \end{gathered} $

(ii) для любого $p \in (0,\;\infty )$ справедливы эквивалентности:

(14)
$\begin{gathered} {{P}_{1}}{{({{I}_{\mathfrak{H}}} + A)}^{{ - 1}}} \in {{\Sigma }_{p}}({{\mathfrak{H}}_{1}}) \Leftrightarrow {{\left( {{{I}_{{{{\mathfrak{M}}_{0}}}}} + \hat {A}_{K}^{'}} \right)}^{{ - 1}}} \in {{\Sigma }_{p}}({{\mathfrak{M}}_{0}}), \\ {{P}_{1}}{{({{I}_{\mathfrak{H}}} + A)}^{{ - 1}}} \in \Sigma _{p}^{0}({{\mathfrak{H}}_{1}}) \Leftrightarrow {{\left( {{{I}_{{{{\mathfrak{M}}_{0}}}}} + \hat {A}_{K}^{'}} \right)}^{{ - 1}}} \in \Sigma _{p}^{0}({{\mathfrak{M}}_{0}}). \\ \end{gathered} $

В частности, операторы ${{\left( {{{I}_{{{{\mathfrak{M}}_{0}}}}} + \hat {A}_{K}^{'}} \right)}^{{ - 1}}}$ и ${{({{I}_{\mathfrak{H}}} + A)}^{{ - 1}}}$ компактны лишь одновременно.

Замечание 1. Заметим также, что импликация $ \Rightarrow $ в (13) усиливает импликацию Крейна (4). При этом эквивалентность (13) вместе с отрицательным решением проблемы 1 Бирмана показывают, что импликация обратная к (4) не верна.

Любопытно, что замена оператора ${{P}_{1}}{{\left( {{{I}_{\mathfrak{H}}} + {{{\hat {A}}}_{F}}} \right)}^{{ - 1}}}$ в (4) оператором ${{P}_{1}}{{({{I}_{\mathfrak{H}}} + A)}^{{ - 1}}}$ позволила заменить крейновскую импликацию (4) эквивалентностью (13).

3B. Асимптотическое поведение собственных значений редуцированного расширения Крейна. Вначале сравним асимптотическое поведение собственных значений операторов ${{P}_{1}}{{(I + A)}^{{ - 1}}}$ и ${{\left( {{{I}_{{{{\mathfrak{M}}_{0}}}}} + \hat {A}_{K}^{'}} \right)}^{{ - 1}}}$.

Предложение 2. Пусть $A$замкнутый плотно заданный положительно определенный симметрический оператор в $\mathfrak{H}$, имеющий компактный обратный ${{A}^{{ - 1}}}$. Пусть также $\hat {A}_{K}^{'}$редуцированное расширение Крейна оператора $A$, заданное соотношением (3). Тогда для любого $p \in (0,\;\infty )$ справедливы следующие эквивалентности:

$\begin{gathered} 0 < {{\overline {\lim } }_{{n \to \infty }}}\,{{n}^{p}} \cdot {{\lambda }_{n}}({{P}_{1}}{{({{I}_{\mathfrak{H}}} + A)}^{{ - 1}}}) < \infty \Leftrightarrow \\ \Leftrightarrow \;0 < {{\overline {\lim } }_{{n \to \infty }}}\,{{n}^{p}} \cdot {{\lambda }_{n}}\left( {{{{\left( {{{I}_{{_{{{{\mathfrak{M}}_{0}}}}}}} + \hat {A}_{K}^{'}} \right)}}^{{ - 1}}}} \right) < \infty , \\ \end{gathered} $
$\begin{gathered} 0 < {{\underline {\lim } }_{{n \to \infty }}}\,{{n}^{p}} \cdot {{\lambda }_{n}}({{P}_{1}}{{\left( {{{I}_{\mathfrak{H}}} + A} \right)}^{{ - 1}}}) < \infty \Leftrightarrow \\ \Leftrightarrow \;0 < {{\underline {\lim } }_{{n \to \infty }}}\,{{n}^{p}} \cdot {{\lambda }_{n}}\left( {{{{\left( {{{I}_{{{{\mathfrak{M}}_{0}}}}} + \hat {A}_{K}^{'}} \right)}}^{{ - 1}}}} \right) < \infty . \\ \end{gathered} $

Покажем, что при дополнительном предположении предложение 2 можно усилить.

Теорема 2. Пусть $A$замкнутый плотно заданный положительно определенный симметрический оператор в $\mathfrak{H}$, имеющий компактный обратный ${{A}^{{ - 1}}}$. Пусть также $\hat {A}_{K}^{'}$редуцированное расширение Крейна оператора $A$, заданное соотношением (3), и ${{P}_{{ - 1}}}: = {{P}_{{{{\mathfrak{N}}_{{ - 1}}}}}}$ортопроектор в $\mathfrak{H}$ на ${{\mathfrak{N}}_{{ - 1}}}(A)$. Если дополнительно

(15)
${{P}_{{ - 1}}}{{\left( {{{I}_{\mathfrak{H}}} + {{{\hat {A}}}_{F}}} \right)}^{{ - 1}}} \upharpoonright {{\mathfrak{N}}_{{ - 1}}}(A) \in {{\mathfrak{S}}_{\infty }}({{\mathfrak{N}}_{{ - 1}}}(A)),$
то для любых фиксированных $p \in (0,\;\infty )$ и $a \geqslant 0$ верны соотношения при $n \to \infty $:

(16)
$\begin{gathered} {{\lambda }_{n}}({{P}_{1}}{{({{I}_{\mathfrak{H}}} + A)}^{{ - 1}}}) = a{{n}^{{ - 1/p}}}\left( {1 + o(1)} \right) \Leftrightarrow \\ \Leftrightarrow \;{{\lambda }_{n}}\left( {{{{\left( {{{I}_{{{{\mathfrak{M}}_{0}}}}} + \hat {A}_{K}^{'}} \right)}}^{{ - 1}}}} \right) = a{{n}^{{ - 1/p}}}\left( {1 + o(1)} \right). \\ \end{gathered} $

Предложение 3. Пусть в условиях теоремы 2, вместо условия (15) выполнено условие ${{P}_{1}}{{({{I}_{\mathfrak{H}}} + A)}^{{ - 1}}}$ ∈ ∈ $\Sigma _{p}^{0}({{\mathfrak{H}}_{1}})$ с $p \in (0,\;\infty )$ и $a > 0$. Тогда верна эквивалентность:

$\begin{gathered} {{\lambda }_{n}}\left( {{{P}_{{ - 1}}}{{{\left( {{{I}_{\mathfrak{H}}} + {{{\hat {A}}}_{F}}} \right)}}^{{ - 1}}} \upharpoonright {{\mathfrak{N}}_{{ - 1}}}} \right) = a{{n}^{{ - 1/p}}}\left( {1 + o(1)} \right) \Leftrightarrow \\ \Leftrightarrow \;{{\lambda }_{n}}\left( {{{{\left( {{{I}_{\mathfrak{H}}} + {{{\hat {A}}}_{F}}} \right)}}^{{ - 1}}}} \right) = a{{n}^{{ - 1/p}}}\left( {1 + o(1)} \right). \\ \end{gathered} $

Теперь сравним асимптотики спектров операторов ${{\hat {A}}_{F}}$ и $\hat {A}_{K}^{'}$. Следующее предложение можно рассматривать в рамках абстрактной версии проблемы Алонсо–Саймона [2]. Именно, в [2] сформулирована проблема о совпадении асимптотик спектров двух реализаций выражения Лапласа в ограниченной области: оператора задачи Дирихле и редуцированного расширения Крейна. Эта проблема положительно решена в [8] (эллиптические операторы порядка $2m$) и [3] (оператор Шредингера) при различных ограничениях на коэффициенты и границу области (см. также литературу в [3]).

Предложение 4. Пусть $A$замкнутый плотно заданный положительно определенный симметрический оператор в $\mathfrak{H}$ и $\hat {A}_{K}^{'}$ – редуцированное расширение Крейна оператора $A$. Пусть также ${{\left( {I + {{{\hat {A}}}_{F}}} \right)}^{{ - 1}}}$${{\mathfrak{S}}_{\infty }}(\mathfrak{H})$ и $p \in (0,\;\infty )$, $a \geqslant 0$. Тогда:

(i) справедлива следующая импликация:

$\begin{gathered} {{\lambda }_{n}}{{\left( {{{I}_{\mathfrak{H}}} + {{{\hat {A}}}_{F}}} \right)}^{{ - 1}}} = a{{n}^{{ - 1/p}}}\left( {1 + o(1)} \right) \\ при\quad n \to \infty \Rightarrow {{\left( {{{I}_{{{{\mathfrak{M}}_{0}}}}} + \hat {A}_{K}^{'}} \right)}^{{ - 1}}} \in {{\Sigma }_{p}}({{\mathfrak{M}}_{1}}); \\ \end{gathered} $

(ii) если дополнительно ${{P}_{{ - 1}}}{{\left( {I + {{{\hat {A}}}_{F}}} \right)}^{{ - 1}}} \upharpoonright {{\mathfrak{N}}_{{ - 1}}}(A)$ ∈ ∈ $\Sigma _{p}^{0}\left( {{{\mathfrak{N}}_{{ - 1}}}(A)} \right)$, то при $n \to \infty $ верна эквивалентность:

(17)
$\begin{gathered} {{\lambda }_{n}}\left( {{{{\hat {A}}}_{F}}} \right) = {{a}^{{ - 1}}}{{n}^{{1/p}}}\left( {1 + o(1)} \right) \Leftrightarrow \\ \Leftrightarrow \;{{\lambda }_{n}}\left( {\hat {A}_{K}^{'}} \right) = {{a}^{{ - 1}}}{{n}^{{1/p}}}\left( {1 + o(1)} \right). \\ \end{gathered} $

Эквивалентность (17) верна не всегда. Именно, существует такой симметрический оператор $A \geqslant {{m}_{A}}$, что операторы ${{\hat {A}}_{F}}$ и $\hat {A}_{K}^{'}$ имеют различные степенные асимптотики.

Предложение 5. Пусть $p > {{p}_{1}} > 0$ и $a,{{a}_{1}} > 0$две пары положительных чисел. Существует положительно определенный симметрический оператор $A$ в $\mathfrak{H}$, $\overline {{\text{dom}}} (A) = \mathfrak{H}$, ${{n}_{ \pm }}(A) = \infty $ и такой, что его расширение Фридрихса ${{\hat {A}}_{F}}$ и редуцированное расширение Крейна $\hat {A}_{K}^{'}$ удовлетворяют асимптотическим соотношениям:

(18)
$\begin{gathered} {{\lambda }_{n}}\left( {{{{\left( {{{I}_{\mathfrak{H}}} + {{{\hat {A}}}_{F}}} \right)}}^{{ - 1}}}} \right) = a{{n}^{{ - 1/p}}}\left( {1 + o(1)} \right) \\ и\quad {{\lambda }_{n}}\left( {{{{\left( {{{I}_{{{{\mathfrak{M}}_{0}}}}} + \hat {A}_{K}^{'}} \right)}}^{{ - 1}}}} \right) = {{a}_{1}}{{n}^{{ - 1/{{p}_{1}}}}}\left( {1 + o(1)} \right). \\ \end{gathered} $

4. Спектры расширений Крейна-фон Неймана и Фридрихса. Решение проблемы Бирмана. Контрпример к проблеме 1 Бирмана легко извлекается (см. [12]) из блочного представления оператора ${{\left( {{{I}_{\mathfrak{H}}} + {{{\hat {A}}}_{F}}} \right)}^{{ - 1}}}$ (см. [10, 14]). Здесь приведено полное (на абстрактном уровне) решение проблемы 1. Оказывается, что при условии ${{(I + A)}^{{ - 1}}} \in {{\mathfrak{S}}_{\infty }}(\mathfrak{H})$ спектр расширения Фридрихса ${{\hat {A}}_{F}}$ может иметь произвольную природу, хотя, в силу классической теоремы Вишика [15], всегда существуют неполуограниченные расширения $\tilde {A} = \tilde {A}{\text{*}}$ оператора $A$ с компактной резольвентой. Также приведем общий результат о спектре оператора ${{\hat {A}}_{K}}$ при условии ${{(I + A)}^{{ - 1}}} \in {{\mathfrak{S}}_{\infty }}$.

Предложение 6. Пусть $A$неотрицательный плотно заданный симметрический оператор в $\mathfrak{H}$, ${{n}_{ \pm }}(A) = \infty $ и ${{(I + A)}^{{ - 1}}} \in {{\mathfrak{H}}_{\infty }}$. Тогда верны следующие утверждения.

(i) Существенный спектр расширения Крейна ${{\hat {A}}_{K}}$ состоит из двух точек нуля и бесконечности, т.е. ${{\sigma }_{{{\text{ess}}}}}({{\hat {A}}_{K}})$ = $\{ 0, + \infty \} $.

(ii) Равенство ${{\sigma }_{{{\text{ess}}}}}\left( {{{{\hat {A}}}_{K}}} \right) = {{\sigma }_{{{\text{ess}}}}}\left( {{{{\hat {A}}}_{F}}} \right)$ справедливо в точности тогда, когда

(19)
$\begin{gathered} \{ 0\} \subseteq {{\sigma }_{{{\text{ess}}}}}\left( {\left[ {{{{\left( {I + {{{\hat {A}}}_{K}}} \right)}}^{{ - 1}}} - {{{\left( {I + {{{\hat {A}}}_{F}}} \right)}}^{{ - 1}}}} \right] \upharpoonright {{\mathfrak{N}}_{{ - 1}}}} \right) \subseteq \\ \subseteq \{ 0,\;1\} . \\ \end{gathered} $

(iii) Если расширения ${{\hat {A}}_{F}}$ и ${{\hat {A}}_{K}}$ трансверсальны, то ${{\sigma }_{{{\text{ess}}}}}\left( {{{{\hat {A}}}_{K}}} \right)$${{\sigma }_{{{\text{ess}}}}}\left( {{{{\hat {A}}}_{F}}} \right)$.

(iv) Если $A$ положительно определен, то редуцированное расширение Крейна $\hat {A}_{K}^{'}$ положительно определено, ${{m}_{{\hat {A}_{K}^{'}}}} \geqslant {{m}_{A}}$ и его спектр дискретен, т.е. ${{\left( {\hat {A}_{K}^{'}} \right)}^{{ - 1}}}$${{\mathfrak{S}}_{\infty }}({{\mathfrak{M}}_{0}})$.

Следующий результат дает полное решение проблемы 1 Бирмана.

Теорема 3. Пусть $R = R* \geqslant 0$оператор в $\mathfrak{H}$. Тогда существует неотрицательный симметрический оператор $A \geqslant 0$ в $\mathfrak{H}$ с ${{n}_{ \pm }}(A) = \infty $ и компактной пререзольвентой ${{(I + A)}^{{ - 1}}} \in {{\mathfrak{S}}_{\infty }}$, для которого операторы ${{\hat {A}}_{F}}$ и $R$ унитарно эквивалентны, ${{\hat {A}}_{F}} \sim R$.

Кроме того, покажем, что для любого оператора $A \geqslant 0$, можно указать другой оператор $S \geqslant 0$, близкий в некотором смысле к $A$ и такой, что его расширение Фридрихса ${{\hat {S}}_{F}}$ удовлетворяет требуемому спектральному свойству. Для этого свяжем с оператором $A \geqslant 0$ множество ${{\mathfrak{A}}_{A}}$ симметрических неотрицательных операторов, полагая:

$\begin{gathered} {{\mathfrak{A}}_{A}}: = \left\{ {S \subset S*,\;S \geqslant 0:{\text{ran}}(I + S){{ = }^{{}}}} \right. \\ = {\text{ran}}(I + A) = {{\mathfrak{H}}_{1}},\;{{P}_{1}}{{(I + S)}^{{ - 1}}} = \left. {{{P}_{1}}{{{(I + A)}}^{{ - 1}}}} \right\}. \\ \end{gathered} $

Теорема 4. Пусть $A \geqslant 0$неотрицательный симметрический оператор в $\mathfrak{H}$ с ${{n}_{ \pm }}(A) = \infty $ и компактной пререзольвентой ${{(I + A)}^{{ - 1}}} \in {{\mathfrak{S}}_{\infty }}$. Пусть также $R = R* \geqslant 0$неотрицательный самосопряженный оператор в $\mathfrak{H}_{1}^{ \bot } = {{\mathfrak{N}}_{{ - 1}}}(A)$. Тогда:

(i) существует оператор $S \geqslant 0$, $S \in {{\mathfrak{A}}_{A}}$ такой, что его расширение Фридрихса ${{\hat {S}}_{F}}$ удовлетворяет соотношению

(20)
${{\sigma }_{{{\text{ess}}}}}\left( {{{{\hat {S}}}_{F}}} \right) = {{\sigma }_{{{\text{ess}}}}}(R);$

(ii) кроме того, если ${{P}_{1}}{{(I + A)}^{{ - 1}}} \in {{\mathfrak{S}}_{{1/2}}}({{\mathfrak{H}}_{1}})$, то абсолютно непрерывные части ($ac$-части) операторов ${{\hat {S}}_{F}}$ и $R$ унитарно эквивалентны, т. е. ${{\left( {{{{\hat {S}}}_{F}}} \right)}^{{ac}}} \sim {{R}^{{ac}}}$.

Явные примеры неотрицательных дифференциальных операторов, дающих (отрицательное) решение проблемы 1 Бирмана, будут опубликованы в другом месте.

5. Полуограниченность самосопряженных расширений оператора $A$. Следуя [4], с каждым расширением $\tilde {A} = \tilde {A}* \in {{\operatorname{Ext} }_{A}}$ у которого $ - 1 \notin {{\sigma }_{p}}(\tilde {A})$ связывают самосопряженный оператор

(21)
${{B}^{{ - 1}}}: = {{(I + \tilde {A})}^{{ - 1}}} - {{(I + {{\hat {A}}_{F}})}^{{ - 1}}}\left( { = {\kern 1pt} \left( {{{B}^{{ - 1}}}} \right){\text{*}}} \right) \in \mathcal{C}({{\mathfrak{N}}_{{ - 1}}}).$

Оператор $B$ называют граничным для $\tilde {A}$ и полагают $\tilde {A} = {{A}_{B}}( = A_{B}^{*})$. Отметим еще, что ${{B}^{{ - 1}}}$ ограничен, ${{B}^{{ - 1}}} \in \mathfrak{P}({{\mathfrak{N}}_{{ - 1}}})$, в точности тогда, когда $ - 1 \in \rho (\tilde {A})$.

В своей фундаментальной работе [4] Бирман открыл следующее соотношение между свойствами полуограниченности расширения ${{A}_{B}}$ и его граничного оператора $B$.

Предложение 7 [4]. Пусть $A$симметрический положительно определенный оператор в $\mathfrak{H}$, $A \geqslant {{m}_{A}} > 0$, $\tilde {A} = \tilde {A}* \in {{\operatorname{Ext} }_{A}}$расширение, у которого $ - 1 \notin {{\sigma }_{p}}(\tilde {A})$, и $B$граничный оператор (см. [21]). Тогда справедлива следующая импликация

(22)
$\begin{gathered} {{A}_{B}} = A_{B}^{*}\;полуограничен\;снизу \Rightarrow \\ \Rightarrow \;B = B{\text{*}}\;полуограничен\;снизу. \\ \end{gathered} $

Другими словами, граничный оператор $B$ реализации $\tilde {A} = {{A}_{B}} = A_{B}^{*}$ наследует у ${{A}_{B}}$ свойство полуограниченности снизу. Обратное утверждение, вообще говоря, неверно.

Грубб [7] нашла дополнительное достаточное условие на оператор $A \geqslant {{m}_{A}}$, превращающее импликацию (22) в эквивалентность.

Теорема 5 ([7]). Пусть выполнены условия Предложения 7 и пусть оператор ${{\left( {{{{\hat {A}}}_{{\text{F}}}}} \right)}^{{ - 1}}}$ компактен. Тогда справедлива следующая эквивалентность:

(23)
$\begin{gathered} {{A}_{B}} = A_{B}^{*}\;( \in {{\operatorname{Ext} }_{A}})\;полуограничено\;снизу \Leftrightarrow \\ \Leftrightarrow \;B = B{\text{*}}\;полуограничен\;снизу. \\ \end{gathered} $

Другие доказательства этого результата были получены в [6] и [11] (см. также [10]). Справедливость эквивалентности (23) в некоторых эллиптических граничных задачах исследована в [9]. Здесь мы существенно усиливаем теорему 5 Грубб.

Теорема 6. Пусть $A \geqslant 0$неотрицательный оператор в $\mathfrak{H}$. Пусть также ${{P}_{{ - 1}}}$ортопроектор на ${{\mathfrak{N}}_{{ - 1}}}$ = $\ker (I + A*)$. Тогда эквивалентность (23) верна при условии:

(24)
${{P}_{{ - 1}}}{{\left( {I + {{{\hat {A}}}_{F}}} \right)}^{{ - 1}}} \upharpoonright {{\mathfrak{N}}_{{ - 1}}} \in {{\mathfrak{S}}_{\infty }}({{\mathfrak{N}}_{{ - 1}}}).$

Доказательство основано на общем критерии из [11] (см. также [10]), ретранслирующем свойство (23) в соотношение для функции Вейля: ${{M}_{F}}(x) \rightrightarrows - \infty $ при $x \to - \infty $.

Следующий результат показывает, что условие (24) действительно слабее условия ${{({{\widehat A}_{{\text{F}}}})}^{{ - 1}}} \in {{S}_{\infty }}(\mathfrak{H})$, и, значит, теорема 6 усиливает теорему 5.

Предложение 8. Пусть $R = R* \geqslant 0$. Тогда существует симметрический оператор $A \geqslant 0$ с расширением Фридрихса ${{\hat {A}}_{F}}$, удовлетворяющим условию [24], и такой, что

${{\sigma }_{{{\text{ess}}}}}({{\hat {A}}_{F}}) = {{\sigma }_{{{\text{ess}}}}}(R)\quad и\quad {{({{\hat {A}}_{F}})}^{{ac}}} \sim {{R}^{{ac}}}.$

В частности, существует оператор $A \geqslant 0$, у которого расширение ${{\hat {A}}_{F}}$ удовлетворяет условиям ${{\sigma }_{{ac}}}({{\hat {A}}_{F}})$ = $[0,\;\infty )$ и (24).

Список литературы

  1. Ахиезер Н.И., Глазман И.М. Теория линейных операторов в гильбертовых пространствах. Т. 2. Москва: Наука, 1978.

  2. Alonso A., Simon B. // J. Operator Theory. 1980. V. 4. P. 251–270.

  3. Ashbaugh M.S., Gesztesy F., Mitrea M., Teschl G. // Adv. Math. 2010. V. 223. 1372–1467.

  4. Бирман М.Ш. // Матем. сб. 1956. Т. 38 (80). № 4. С. 431–450.

  5. Бирман М.Ш., Соломяк М.З. Спектральная теория самосопряженных операторов в гильбертовом пространстве. Санкт-Петербург: Лань, 2010. 458 с.

  6. Горбачук М.Л., Михайлец В.А. // Докл. Акад. наук СССР. 1976. Т. 226. № 4. С. 765–767.

  7. Grubb G. // Ann. Scuola Norm. Sup. Pisa. 1968. V. 22. № 3, P. 425–513.

  8. Grubb G. // J. Operator theory. 1983. V. 10. P. 9–20.

  9. Grubb G. // J. Differential Equat. 2012. V. 252. P. 852–885.

  10. Деркач В.А., Маламуд М.М. Теория расширений операторов и граничные задачи. Киев: Институт математики НАН Украины, 2017.

  11. Derkach V.A., Malamud M.M. // J. Funct. Anal. 1991. V. 95. P. 1–95.

  12. Hassi S., Malamud M.M., and de Snoo H.S.V. // Math. Nachr. 2004. V. 274–275. P. 40–73.

  13. Крейн М.Г. // Матем. сб. 1947. Т. 20. С. 431–495.

  14. Маламуд М.М. // Украинский Мат. Ж-л. 1992. Т. 44. № 2. С. 190–204.

  15. Вишик М.И. // Труды ММО. 1952. Т. 1. С. 186–246.

Дополнительные материалы отсутствуют.

Инструменты

Доклады Российской академии наук. Математика, информатика, процессы управления