See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/361228340

Math-Net.Ru

Article · June 2022

CITATIONS READS

0 9

3 authors:

Lyailya Zhapsarbayeva B. E. Kanguzhin

Al-Farabi Kazakh National University Al-Farabi Kazakh National University
5 PUBLICATIONS   1 CITATION    68 PUBLICATIONS   276 CITATIONS   

SEE PROFILE SEE PROFILE

Konyrkulzhayeva Maral
Al-Farabi Kazakh National University
2 PUBLICATIONS   9 CITATIONS   

SEE PROFILE

Some of the authors of this publication are also working on these related projects:

(project 0732 / GF. 2012-2014 MES of RK View project

All content following this page was uploaded by Lyailya Zhapsarbayeva on 11 June 2022.

The user has requested enhancement of the downloaded file.

 Math-Net.Ru
Общероссийский математический портал

Л. К. Жапсарбаева, Б. Е. Кангужин, М. Н. Коныркулжаева, Самосопряженные

сужения максимального оператора на графе, Уфимск. матем. журн., 2017,
том 9, выпуск 4, 36–44

Использование Общероссийского математического портала Math-Net.Ru подразумевает, что вы прочитали и

согласны с пользовательским соглашением
http://www.mathnet.ru/rus/agreement

Параметры загрузки:
IP: 95.57.138.67
21 апреля 2018 г., 07:15:09
ISSN 2074-1871 Уфимский математический журнал. Том 9. № 4 (2017). С. 36-44.

УДК 517.927.2

САМОСОПРЯЖЕННЫЕ СУЖЕНИЯ МАКСИМАЛЬНОГО

ОПЕРАТОРА НА ГРАФЕ
Л.К. ЖАПСАРБАЕВА, Б.Е. КАНГУЖИН, М.Н. КОНЫРКУЛЖАЕВА

Аннотация. В работе исследуются дифференциальные операторы на произвольных

геометрических графах без петель. Известные результаты для дифференциальных опе-
раторов на отрезке переносятся на дифференциальные операторы на графах. Для
корректного определения максимального оператора на заданном графе необходимо
выделить множество граничных вершин. Вершины не являющиеся граничными на-
зываются внутренними вершинами. Важно отметить, что максимальный оператор на
графе определяется не только заданными дифференциальными выражениями на ду-
гах, но и условиями типа Кирхгофа во внутренних вершинах графа. Для введенного
максимального оператора доказан аналог формулы Лагранжа. Для произвольного на-
бора граничных условии указан алгоритм построения сопряженных граничных форм.
В заключении работы дано полное описание всех самосопряженных сужений макси-
мального оператора.
Ключевые слова: ориентированный граф, условия Кирхгофа, самосопряженное
сужение оператора, максимальный оператор.
Mathematics Subject Classification: 34B45, 34L20
1. Введение

Работа посвящена линейным дифференциальным операторам на графах. Спектраль-

ная теория дифференциальных операторов на многообразиях типа сети изучалась в ра-
ботах Ю.В. Покорного и его учеников [1]–[5]. Из последних публикаций, посвященных
различным аспектам теории обратных задач на графах, обратим внимание на работы
[6]–[10]. В работах [11]–[14] изучаются спектральные свойства дифференциальных опе-
раторов на равносторонних квантовых графах типа звезда. В данной статье выведена
формула Лагранжа для дифференциального оператора определенного на произвольном
геометрическом графе, в отличие от работы [12], где приведено аналогичное соотноше-
ние для простого графа-звезды. Дано полное описание всех самосопряженных сужений
максимального оператора определенного на графе. Перечисленные результаты являются
новыми, ранее подобные выводы и положения были известны в [15] для дифференциаль-
ных операторов на отрезке.

2. Основные понятия

Пусть задан ориентированный граф ℑ = {𝒱, ℰ}, где 𝒱 — множество вершин и ℰ —

множество дуг. Количество вершин графа 𝒱 обозначим через 𝑁 , а сами вершины бу-
дем нумеровать числами 1, . . . , 𝑁 . Граничные вершины обозначим через Γ. Вершины из
L.K. Zhapsarbayeva, B.E. Kanguzhin, M.N. Konyrkulzhayeva, Selfadjoint restriction of
maximal operator on graph.
c Жапсарбаева
○ Л.К., Кангужин Б.Е., Коныркулжаева М.Н. 2017.
Работа поддержана МОН Республики Казахстан (грант 0757/ГФ4 и грант 0085/ПЦФ-14).
Поступила 24 июля 2017 г.

36
 САМОСОПРЯЖЕННЫЕ СУЖЕНИЯ МАКСИМАЛЬНОГО ОПЕРАТОРА НА ГРАФЕ 37

множества ℐ = 𝒱∖Γ назовем внутренними вершинами [16, 17]. Дуга 𝑒 = [𝑖, 𝑗], 𝑒 ∈ ℰ , со-
единяющая вершины 𝑖 и 𝑗 , направлена от 𝑖 к 𝑗 . Часто вершину 𝑖 обозначают через 𝜕− 𝑒,
а вместо вершины 𝑗 пишут 𝜕+ 𝑒 [18]. Не умаляя общности, будем считать длину каждой
дуги равной единице. Множество вершин, соответствующие входящим дугам к вершине
𝑖 обозначим через 𝒱𝑖+ . A множество вершин,
∑︀ соответствующие исходящим дугам из вер-
шины 𝑖 обозначим через 𝒱𝑖− . Пусть 𝜒 = 𝑖∈Γ (|𝒱𝑖+ | + |𝒱𝑖− |). Множество дуг, для которых
𝜕+ 𝑒 = 𝑖, обозначим через ℰ𝑖+ , а множество дуг, для которых 𝜕− 𝑒 = 𝑖, обозначим через ℰ𝑖− .
Считаем, что граф не имеет петель.

3. Определение максимального оператора на графе

В дальнейшем полезно ввести пространство

∏︁
𝐿2 (ℑ) + 𝐿2 (𝑒)
𝑒∈ℰ
с элементами
𝑌⃗ (𝑋)
⃗ + [𝑦𝑒 (𝑥𝑒 ), 𝑒 ∈ ℰ]𝑇
⃗ = (𝑥𝑒 , 𝑒 ∈ ℰ) и
(где 𝑋
∏︀
– декартово произведение подпространств) и с конечной
𝑒∈ℰ
нормой
√︃
∑︁ ∫︁
||𝑌⃗ ||𝐿2 (ℑ) = |𝑦𝑒 (𝑥𝑒 )|2 𝑑𝑥𝑒 .
𝑒∈ℰ 𝑒

Точно также стандартным образом вводится пространство

∏︁
𝑊22 (ℑ) + 𝑊22 (𝑒).
𝑒∈ℰ

Оператор Λ𝑚𝑎𝑥 , задаваемый линейными дифференциальными выражениями

Λ𝑚𝑎𝑥 𝑦𝑒 (𝑥𝑒 ) = −𝑦𝑒′′ (𝑥𝑒 ) + 𝑞𝑒 (𝑥𝑒 )𝑦𝑒 (𝑥𝑒 ), 𝑥𝑒 ∈ 𝑒 ∈ ℰ или 0 < 𝑥𝑒 < 1 (1)
на подмножестве 𝑊22 (ℑ), где в каждой внутренней вершине 𝑘 при некотором 𝛽𝑘 выполня-
ются условия Кирхгофа [19]
𝑦𝑒 (1) = 𝛽𝑘 , ∀𝑒 ∈ ℰ𝑘+ , (2)
𝑦𝑒 (0) = 𝛽𝑘 , ∀𝑒 ∈ ℰ𝑘− ,
∑︁ ∑︁
𝑦𝑒′ (1) = 𝑦𝑒′ (0) (3)
𝑒∈ℰ𝑘+ 𝑒∈ℰ𝑘−

назовем максимальным оператором. Здесь {𝑞𝑒 (𝑥𝑒 ), 𝑥𝑒 ∈ 𝑒 ∈ ℰ, 0 < 𝑥𝑒 < 1} – набор веще-
ственных непрерывных функций, обычно называемые потенциалами. Из условий (2) мож-
но исключить набор неизвестных констант {𝛽𝑘 }. Тогда общее количество условий Кирх-
гофа во внутренних вершинах равно 2|ℰ| − 𝜒. В следующем пункте приведена формула
Лагранжа для максимального оператора Λ𝑚𝑎𝑥 .

4. Формула Лагранжа для дифференциального оператора

определенного на графе

При исследований дифференциальных операторов на отрезке важную роль играет фор-

мула Лагранжа. В данном пункте приведем аналог формулы Лагранжа в случае диффе-
ренциальных операторов на графах.
38 Л.К. ЖАПСАРБАЕВА, Б.Е. КАНГУЖИН, М.Н. КОНЫРКУЛЖАЕВА

Для любых функций 𝑌⃗ (𝑥) = {𝑦𝑒(𝑥𝑒), 𝑒 ∈ ℰ}, 𝑉⃗ (𝑥) = {𝑣𝑒(𝑥𝑒), 𝑒 ∈ ℰ} из 𝑊22(ℑ)

Лемма 1.
выполняется тождество
∑︁ ∫︁
Λ𝑚𝑎𝑥 𝑦𝑒 (𝑥)𝑣𝑒 (𝑥)𝑑𝑥 =
𝑒∈ℰ 𝑒
∑︁ ∑︁ ∫︁
= ′ ′ 𝑥=1
[−𝑦𝑒 (𝑥)𝑣𝑒 (𝑥) + 𝑦𝑒 (𝑥)𝑣𝑒 (𝑥)]|𝑥=0 + 𝑦𝑒 (𝑥)Λ𝑚𝑎𝑥 𝑣𝑒 (𝑥)𝑑𝑥. (4)
𝑒∈ℰ 𝑒∈ℰ 𝑒

Доказательство. Рассмотрим интеграл из левой части соотношения (4)

∫︁ ∫︁
Λ𝑚𝑎𝑥 𝑦𝑒 (𝑥)𝑣𝑒 (𝑥)𝑑𝑥 = (−𝑦𝑒′′ (𝑥) + 𝑞𝑒 (𝑥)𝑦𝑒 (𝑥)) 𝑣𝑒 (𝑥)𝑑𝑥.
𝑒 𝑒

Двукратное интегрирование по частям дает возможность записать формулу

∫︁
Λ𝑚𝑎𝑥 𝑦𝑒 (𝑥)𝑣𝑒 (𝑥)𝑑𝑥 = [−𝑦𝑒′ (𝑥)𝑣𝑒 (𝑥) + 𝑦𝑒 (𝑥)𝑣𝑒′ (𝑥)]|𝑥=1
𝑥=0 +
𝑒
∫︁
+ 𝑦𝑒 (𝑥) (−𝑣𝑒′′ (𝑥) + 𝑞𝑒 (𝑥)𝑣𝑒 (𝑥)) 𝑑𝑥.
𝑒

Откуда следует выражение (4). Лемма 1 доказана.

Лемма 2.Для любых функций 𝑌⃗ (𝑥) = {𝑦𝑒(𝑥𝑒), 𝑒 ∈ ℰ}, 𝑉⃗ (𝑥) = {𝑣𝑒(𝑥𝑒), 𝑒 ∈ ℰ} из обла-
сти определения максимального оператора Λ𝑚𝑎𝑥 выполняется тождество
∑︁ ∫︁ ∑︁
Λ𝑚𝑎𝑥 𝑦𝑒 (𝑥)𝑣𝑒 (𝑥)𝑑𝑥 = [−𝑦𝑒′ (1)𝑣𝑒 (1) + 𝑦𝑒 (1)𝑣𝑒′ (1)]−
𝑒∈ℰ 𝑒 𝜕+ 𝑒∈Γ
∑︁ ∑︁ ∫︁
− [−𝑦𝑒′ (0)𝑣𝑒 (0) + 𝑦𝑒 (0)𝑣𝑒′ (0)] + 𝑦𝑒 (𝑥)Λ𝑚𝑎𝑥 𝑣𝑒 (𝑥)𝑑𝑥. (5)
𝜕− 𝑒∈Γ 𝑒∈ℰ 𝑒

Доказательство. Пусть 𝑎 — внутренняя вершина графа ℑ. Множество ℰ𝑎+ состоит из

дуг 𝑒, направленных к вершине 𝑎, то есть выполняется условие 𝜕+ 𝑒 = 𝑎. Множе-
ство ℰ𝑎− состоит из дуг 𝑒, ∑︀ исходящих из вершины 𝑎, то есть выполняется условие
𝜕− 𝑒 = 𝑎. Из общей суммы 𝑒∈ℰ [−𝑦𝑒 (𝑥)𝑣𝑒 (𝑥) + 𝑦𝑒 (𝑥)𝑣𝑒 (𝑥)]|𝑥=0 выделим только те сла-
′ ′ 𝑥=1

гаемые, которые соответствуют внутренней ∑︀ вершине 𝑎. Для одной дуги 𝑒 с условием

𝜕+ 𝑒 = 𝑎 вклад вершины 𝑎 в общую сумму 𝑒∈ℰ [−𝑦𝑒 (𝑥)𝑣𝑒 (𝑥) + 𝑦𝑒 (𝑥)𝑣𝑒′ (𝑥)]|𝑥=1
′
𝑥=0 примет вид
[−𝑦
∑︀ 𝑒
′
(1)𝑣𝑒 (1)+𝑦 𝑒 (1)𝑣𝑒
′
(1)]. Точно также для всех дуг из ℰ +
𝑎 вклад вершины 𝑎 в общую сумму
𝑒∈ℰ [−𝑦𝑒 (𝑥)𝑣𝑒 (𝑥)+𝑦𝑒 (𝑥)𝑣𝑒 (𝑥)]|𝑥=0 примет вид (1)+𝑦𝑒 (1)𝑣𝑒 (1)]. Для одной ду-
′ ′ 𝑥=1 ′ ′
∑︀
𝑒∈ℰ𝑎+ [−𝑦𝑒 (1)𝑣 ∑︀ 𝑒
ги 𝑒 с условием 𝜕− 𝑒 = 𝑎 вклад вершины 𝑎 в общую сумму 𝑒∈ℰ [−𝑦𝑒′ (𝑥)𝑣𝑒 (𝑥)+𝑦𝑒 (𝑥)𝑣𝑒′ (𝑥)]|𝑥=1 𝑥=0
примет вид [𝑦∑︀ 𝑒 (0)𝑣𝑒 (0) − 𝑦𝑒 (0)𝑣𝑒 (0)]. Точно также для всех дуг
′ ′
из ℰ −
𝑎 вклад вершины 𝑎 в
общую сумму 𝑒∈ℰ [−𝑦𝑒′ (𝑥)𝑣𝑒 (𝑥) + 𝑦𝑒 (𝑥)𝑣𝑒′ (𝑥)]|𝑥=1 примет вид − [𝑦 (0)𝑣𝑒 (0) − 𝑦𝑒 (0)𝑣 (0)].
′ ′
∑︀
𝑥=0 ∑︀ 𝑒∈ℰ𝑎 𝑒 𝑒
Таким образом, общий вклад вершины 𝑎 в сумму 𝑒∈ℰ [−𝑦𝑒′ (𝑥)𝑣𝑒 (𝑥) + 𝑦𝑒 (𝑥)𝑣𝑒′ (𝑥)]|𝑥=1 𝑥=0 можно
записать в виде
∑︁ ∑︁
𝐼𝑎 = [−𝑦𝑒′ (1)𝑣𝑒 (1) + 𝑦𝑒 (1)𝑣𝑒′ (1)] + [𝑦𝑒′ (0)𝑣𝑒 (0) − 𝑦𝑒 (0)𝑣𝑒′ (0)].
𝑒∈ℰ𝑎+ 𝑒∈ℰ𝑎−

Учитывая условия Кирхгофа (2) для функций 𝑌 ⃗ (𝑥) = {𝑦𝑒 (𝑥𝑒 ), 𝑒 ∈ ℰ}, 𝑉⃗ (𝑥) = {𝑣𝑒 (𝑥𝑒 ), 𝑒 ∈ ℰ},
последнее выражение перепишем в виде
∑︁ ∑︁
𝐼𝑎 = [−𝑦𝑒′ (1)𝛽˜ + 𝛽𝑣𝑒′ (1)] + [𝑦𝑒′ (0)𝛽˜ − 𝛽𝑣𝑒′ (0)],
𝑒∈ℰ𝑎+ 𝑒∈ℰ𝑎−
 САМОСОПРЯЖЕННЫЕ СУЖЕНИЯ МАКСИМАЛЬНОГО ОПЕРАТОРА НА ГРАФЕ 39

где 𝑣𝑒 (1) = 𝛽˜ при 𝑒 ∈ ℰ𝑎+ , а также 𝑣𝑒 (0) = 𝛽˜ при 𝑒 ∈ ℰ𝑎− . Теперь учитывая условия
Кирхгофа (3) для функций 𝑌 ⃗ (𝑥) = {𝑦𝑒 (𝑥𝑒 ), 𝑒 ∈ ℰ}, 𝑉⃗ (𝑥) = {𝑣𝑒 (𝑥𝑒 ), 𝑒 ∈ ℰ} выражение 𝐼𝑎
перепишем в виде
⎡ ⎤ ⎡ ⎤
∑︁ ∑︁ ∑︁ ∑︁
𝐼𝑎 = 𝛽˜ ⎣− 𝑦𝑒′ (1) + 𝑦𝑒′ (0)⎦ + 𝛽 ⎣ 𝑣𝑒′ (1) − 𝑣𝑒′ (0)⎦ = 0.
𝑒∈ℰ𝑎+ 𝑒∈ℰ𝑎− 𝑒∈ℰ𝑎+ 𝑒∈ℰ𝑎−

Лемма 2 доказана.
Из леммы 2 следует, что суммарные вклады внутренних вершин во внеынтегральные чле-
ны (5) равны нулю. Иначе говоря, внеынтегральные члены выражений (5) содержат
вклады только граничных вершин. Подобные формулы, согласно монографии [15], назы-
ваются формулами Лагранжа. Формулу (5) можно обобщить в следующем направлении.
Рассмотрим при 𝑘 = 1, . . . , 2𝜒 граничные формы
∑︁ ∑︁
𝑈𝑘 (𝑌⃗ ) = [𝛼𝑒𝑘 𝑦𝑒 (1) + 𝛽𝑒𝑘 𝑦𝑒′ (1)] + [𝛼𝑒𝑘 𝑦𝑒 (0) + 𝛽𝑒𝑘 𝑦𝑒′ (0)], (6)
𝜕+ 𝑒∈Γ 𝜕− 𝑒∈Γ

где 𝛼𝑒𝑘 , 𝛽𝑒𝑘 — некоторые константы.

Теорема 1. [Формула Лагранжа] Пусть {𝑈1, . . . , 𝑈2𝜒} набор линейно независимых гра-
ничных форм. Тогда существует единственный набор граничных форм {𝑇1, . . . , 𝑇2𝜒} та-
ких, что для любых функций 𝑌⃗ (𝑥) = {𝑦𝑒(𝑥𝑒), 𝑒 ∈ ℰ}, 𝑉⃗ (𝑥) = {𝑣𝑒(𝑥𝑒), 𝑒 ∈ ℰ} из области
определения максимального оператора Λ𝑚𝑎𝑥 выполняется тождество
∑︁ ∫︁
Λ𝑚𝑎𝑥 𝑦𝑒 (𝑥)𝑣𝑒 (𝑥)𝑑𝑥 = 𝑈1 (𝑌⃗ )𝑇2𝜒 (𝑉⃗ ) + 𝑈2 (𝑌⃗ )𝑇2𝜒−1 (𝑉⃗ ) + . . . +
𝑒∈ℰ 𝑒
∑︁ ∫︁
+ 𝑈2𝜒 (𝑌⃗ )𝑇1 (𝑉⃗ ) + 𝑦𝑒 (𝑥)Λ𝑚𝑎𝑥 𝑣𝑒 (𝑥)𝑑𝑥. (7)
𝑒∈ℰ 𝑒

Доказательство. Введем разность

∫︁ ∑︁ ∑︁ ∫︁
𝑅(𝑌⃗ , 𝑉⃗ ) = Λ𝑚𝑎𝑥 𝑦𝑒 (𝑥)𝑣𝑒 (𝑥)𝑑𝑥 − 𝑦𝑒 (𝑥)Λ𝑚𝑎𝑥 𝑣𝑒 (𝑥)𝑑𝑥.
𝑒∈ℰ 𝑒 𝑒∈ℰ 𝑒

Согласно лемме 2, эта разность представима в виде

∑︁ ∑︁
𝑅(𝑌⃗ , 𝑉⃗ ) = [−𝑦𝑒′ (1)𝑣𝑒 (1) + 𝑦𝑒 (1)𝑣𝑒′ (1)] − [−𝑦𝑒′ (0)𝑣𝑒 (0) + 𝑦𝑒 (0)𝑣𝑒′ (0)].
𝜕+ 𝑒∈Γ 𝜕− 𝑒∈Γ

Таким образом, разность выражается через набор из 2𝜒 граничных значений

{𝑦𝑒 (1), 𝑦𝑒′ (1), 𝜕+ 𝑒 ∈ Γ}, {𝑦𝑒 (0), 𝑦𝑒′ (0), 𝜕− 𝑒 ∈ Γ}. Указанный набор граничных значе-
ний представляет 2𝜒 линейно независимую систему. Поэтому указанный набор гра-
ничных значений можно выразить в виде линейной комбинации произвольных гранич-
ных форм {𝑈1 , . . . , 𝑈2𝜒 }, удовлетворяющих условиям теоремы 1. Для этого соотношения
(6) надо рассматривать, как систему линейных алгебраических уравнений относитель-
но {𝑦𝑒 (1), 𝑦𝑒′ (1), 𝜕+ 𝑒 ∈ Γ}, {𝑦𝑒 (0), 𝑦𝑒′ (0), 𝜕− 𝑒 ∈ Γ}. Разрешая систему (6) относительно
{𝑦𝑒 (1), 𝑦𝑒′ (1), 𝜕+ 𝑒 ∈ Γ}, {𝑦𝑒 (0), 𝑦𝑒′ (0), 𝜕− 𝑒 ∈ Γ}, получим
2𝜒
∑︁
𝑦𝑒 (1) = 𝛾𝑒𝑘 𝑈𝑘 (𝑌⃗ ), 𝜕+ 𝑒 ∈ Γ, (8)
𝑘=1
2𝜒
∑︁
𝑦𝑒′ (1) = 𝜖𝑒𝑘 𝑈𝑘 (𝑌⃗ ), 𝜕+ 𝑒 ∈ Γ,
𝑘=1
40 Л.К. ЖАПСАРБАЕВА, Б.Е. КАНГУЖИН, М.Н. КОНЫРКУЛЖАЕВА

2𝜒
∑︁
𝑦𝑒 (0) = 𝛾𝑒𝑘 𝑈𝑘 (𝑌⃗ ), 𝜕− 𝑒 ∈ Γ,
𝑘=1
2𝜒
∑︁
𝑦𝑒′ (0) = 𝜖𝑒𝑘 𝑈𝑘 (𝑌⃗ ), 𝜕− 𝑒 ∈ Γ.
𝑘=1
Поставляя указанные выражения в разность
[︃ (︃ 2𝜒 )︃ (︃ 2𝜒 )︃ ]︃
∑︁ ∑︁ ∑︁
𝑅(𝑌⃗ , 𝑉⃗ ) = − 𝜖𝑒𝑘 𝑈𝑘 (𝑌⃗ ) 𝑣𝑒 (1) + 𝛾𝑒𝑘 𝑈𝑘 (𝑌⃗ ) 𝑣 ′ (1) − 𝑒
𝜕+ 𝑒∈Γ 𝑘=1 𝑘=1
[︃ (︃ 2𝜒 )︃ (︃ 2𝜒 )︃ ]︃
∑︁ ∑︁ ∑︁
− − 𝜖𝑒𝑘 𝑈𝑘 (𝑌⃗ ) 𝑣𝑒 (0) + 𝛾𝑒𝑘 𝑈𝑘 (𝑌⃗ ) 𝑣𝑒′ (0) .
𝜕− 𝑒∈Γ 𝑘=1 𝑘=1

Теперь остается сгруппировать правую часть последнего равенства относительно {𝑈𝑘 (𝑌 ⃗ },

тогда получим
⎧ ⎫
2𝜒 ⎨ ∑︁ ⎬
∑︁ ∑︁
⃗ ⃗
𝑅(𝑌 , 𝑉 ) = ⃗
𝑈 𝑘 (𝑌 ) ′
[−𝜖𝑒𝑘 𝑣𝑒 (1) + 𝛾𝑒𝑘 𝑣𝑒 (1)] + ′
[𝜖𝑒𝑘 𝑣𝑒 (0) − 𝛾𝑒𝑘 𝑣𝑒 (0)] .
⎩ ⎭
𝑘=1 𝜕+ 𝑒∈Γ 𝜕− 𝑒∈Γ

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

∑︁ ∑︁
𝑇2𝜒−𝑘+1 (𝑉⃗ ) = [−𝜖𝑒𝑘 𝑣𝑒 (1) + 𝛾𝑒𝑘 𝑣𝑒′ (1)] + [𝜖𝑒𝑘 𝑣𝑒 (0) − 𝛾𝑒𝑘 𝑣𝑒′ (0)] ,
𝜕+ 𝑒∈Γ 𝜕− 𝑒∈Γ

то получим требуемую формулу

2𝜒
∑︁ ∫︁ ∑︁ ∑︁ ∫︁
Λ𝑚𝑎𝑥 𝑦𝑒 (𝑥)𝑣𝑒 (𝑥)𝑑𝑥 = 𝑈𝑘 (𝑌⃗ )𝑇2𝜒−𝑘+1 (𝑉⃗ ) + 𝑦𝑒 (𝑥)Λ𝑚𝑎𝑥 𝑣𝑒 (𝑥)𝑑𝑥.
𝑒∈ℰ 𝑒 𝑘=1 𝑒∈ℰ 𝑒

Формула (7) называется формулой Лагранжа.

Из теоремы 1 сразу следует
Следствие 1. Пусть
сужение оператора
Λ на области определения
Λ𝑚𝑎𝑥
. Тогда сопряженный оператор так-
𝐷(Λ) = {𝑌⃗ ∈ 𝐷(Λ𝑚𝑎𝑥 ) : 𝑈𝑘 (𝑌⃗ ) = 0, . . . , 𝑈𝜒 (𝑌⃗ ) = 0} Λ*
же является сужением оператора на области определения
Λ𝑚𝑎𝑥 𝐷(Λ* ) = {𝑉⃗ ∈ 𝐷(Λ𝑚𝑎𝑥 ) :
, и для любых
𝑇𝑘 (𝑉⃗ ) = 0, . . . , 𝑇𝜒 (𝑉⃗ ) = 0} и справедливо равенство
𝑌⃗ ∈ 𝐷(Λ) 𝑉⃗ ∈ 𝐷(Λ* )
∑︁ ∫︁ ∑︁ ∫︁
Λ𝑦𝑒 (𝑥)𝑣𝑒 (𝑥)𝑑𝑥 = 𝑦𝑒 (𝑥)Λ* 𝑣𝑒 (𝑥)𝑑𝑥.
𝑒∈ℰ 𝑒 𝑒∈ℰ 𝑒

5. Самосопряженные сужения максимального оператора Λ𝑚𝑎𝑥

В данном пункте дадим полное описание всех самосопряженных сужений оператора
Λ𝑚𝑎𝑥 . Сначала введем минимальное сужение Λ0 оператора Λ𝑚𝑎𝑥 . Обозначим через 𝐷(Λ0 )
совокупность всех функций 𝑌⃗ (𝑥) из 𝐷(Λ𝑚𝑎𝑥 ), удовлетворяющих условиям
𝑦𝑒 (1) = 0, 𝑦𝑒′ (1) = 0 при 𝜕+ 𝑒 ∈ Γ, (9)
𝑦𝑒 (0) = 0, 𝑦𝑒′ (0) = 0 при 𝜕− 𝑒 ∈ Γ.
Далее, введем минимальное сужение Λ0 по формуле
Λ0 𝑌⃗ = Λ𝑚𝑎𝑥 𝑌⃗ , 𝑌⃗ ∈ 𝐷(Λ0 ).
 САМОСОПРЯЖЕННЫЕ СУЖЕНИЯ МАКСИМАЛЬНОГО ОПЕРАТОРА НА ГРАФЕ 41

Справедливы утверждения
⃗ ∈ 𝐷(Λ0 ), 𝑉⃗ ∈ 𝐷(Λ𝑚𝑎𝑥 ) имеет место соотношение
I) для любых элементов 𝑌
⟨Λ0 𝑌⃗ , 𝑉⃗ ⟩ = ⟨𝑌⃗ , Λ𝑚𝑎𝑥 𝑉⃗ ⟩, (10)
⃗ , 𝑉⃗ ∈ 𝐷(Λ0 ) верно равенство
II) для любых элементов 𝑌
⟨Λ0 𝑌⃗ , 𝑉⃗ ⟩ = ⟨𝑌⃗ , Λ0 𝑉⃗ ⟩.
Из (10) следует операторное включение Λ𝑚𝑎𝑥 ⊂ Λ*0 .
Для исследования свойств минимального оператора удобно ввести операторы Λ1 и Λ2 ,
являющиеся сужениями максимального оператора Λ𝑚𝑎𝑥 . Пусть
𝐷(Λ1 ) = {𝑌⃗ ∈ 𝐷(Λ𝑚𝑎𝑥 ) : 𝑦𝑒 (1) = 0 при 𝜕+ 𝑒 ∈ Γ, 𝑦𝑒 (0) = 0 при 𝜕− 𝑒 ∈ Γ}
⃗ (𝑥) = Λ𝑚𝑎𝑥 𝑌⃗ (𝑥) при 𝑌⃗ ∈ 𝐷(Λ1 ).
и Λ1 𝑌
Пусть
𝐷(Λ2 ) = {𝑌⃗ ∈ 𝐷(Λ𝑚𝑎𝑥 ) : 𝑦𝑒′ (1) = 0 при 𝜕+ 𝑒 ∈ Γ, 𝑦𝑒′ (0) = 0 при 𝜕− 𝑒 ∈ Γ}
⃗ (𝑥) = Λ𝑚𝑎𝑥 𝑌⃗ (𝑥) при 𝑌⃗ ∈ 𝐷(Λ2 ).
и Λ2 𝑌
Предположение 1. Для любой функций 𝐹⃗ (𝑥) из 𝐿2(ℑ) уравнение
Λ𝑖 𝑌⃗ (𝑥) = 𝐹⃗ (𝑥), 𝑖 = 1, 2 (11)
имеет единственное решение в 𝐷(Λ𝑖), 𝑖 = 1, 2.
Замечание 1. Операторное уравнение (11) на множестве 𝐷(Λ𝑖), 𝑖 = 1, 2 эквивалент-
но системе линейных дифференциальных уравнений второго порядка на множестве дуг
ℰ с 2|ℰ| − 𝜒 условиями Кирхгофа во внутренних вершинах ℐ и 𝜒 условиями в граничных
вершинах Γ. Таким образом, возникает система неоднородных линейных дифференциаль-
ных уравнений второго порядка на множестве дуг ℰ , общее решение которой содержит
2|ℰ| констант. Для их определения имеется (2|ℰ| − 𝜒) + 𝜒 = 2|ℰ| линейных условий. Сле-
довательно, можно выписать некоторый определитель 𝐷𝑖, 𝑖 = 1, 2 размерности 2|ℰ|.
Тогда однозначная разрешимость уравнения (11) эквивалентна тому, что выписанный
определитель 𝐷𝑖, 𝑖 = 1, 2 отличен от нуля.
Следуя монографии [15], сформулируем следующие леммы.
Лемма 3. Пусть Λ𝑚𝑎𝑥 — максимальный оператор на графе ℑ, введенный в пункте 3
и пусть 𝐹⃗ (𝑥) — функция из 𝐿2(ℑ). Если выполнено предположение 1, то уравнение
Λ𝑚𝑎𝑥 𝑌⃗ (𝑥) = 𝐹⃗ (𝑥)
имеет решение 𝑌⃗ (𝑥), удовлетворяющее условиям (9) тогда и только тогда, когда 𝐹⃗ (𝑥)
ортогональны ко всем элементам из 𝐾𝑒𝑟Λ𝑚𝑎𝑥.
Доказательство. Согласно предположению 1 обозначим через 𝑌⃗ (𝑥) единственное реше-
ние операторного уравнения (11). Далее, обозначим через 𝑉 ⃗1 , . . . , 𝑉⃗𝜒 фундаментальную
⃗
систему решений однородного операторного уравнения Λ𝑚𝑎𝑥 𝑉 = 0 удовлетворяющую усло-
виям: все граничные формы 𝑣𝑘𝑙 (1) при 𝜕+ 𝑒 ∈ Γ и 𝑣𝑘𝑙 (0) при 𝜕− 𝑒 ∈ Γ, кроме одной, равны
нулю, а одна из форм равна 1. Такая фундаментальная система существует. Это следует
из замечания 1, поскольку условие разрешимости эквивалентно отличию от нуля опреде-
лителя 𝐷1 .
Применяя к функциям 𝑌 ⃗ (𝑥) и 𝑉⃗𝑘 (𝑥) формулу Лагранжа, получим

⟨𝐹⃗ , 𝑉⃗𝑘 ⟩ = ⟨Λ𝑚𝑎𝑥 𝑌⃗ , 𝑉⃗𝑘 ⟩ = ⟨𝑌⃗ , Λ𝑚𝑎𝑥 𝑉⃗𝑘 ⟩. (12)

42 Л.К. ЖАПСАРБАЕВА, Б.Е. КАНГУЖИН, М.Н. КОНЫРКУЛЖАЕВА

⃗𝑘 = 0. Кроме того, из включения 𝑌⃗ ∈ 𝐷(Λ1 ) вытекает

Но Λ𝑚𝑎𝑥 𝑉
∑︁ ∑︁
′ ′
𝑦𝑒 (1)𝑣𝑘𝑙 (1) − 𝑦𝑒 (0)𝑣𝑘𝑙 (0) = 0.
𝜕+ 𝑒∈Γ 𝜕− 𝑒∈Γ

Следовательно, формула (12) примет вид

∑︁ ∑︁
⟨𝐹⃗ , 𝑉⃗𝑘 ⟩ = − 𝑦𝑒′ (1)𝑣𝑘𝑙 (1) + 𝑦𝑒′ (0)𝑣𝑘𝑙 (0) =
𝜕+ 𝑒∈Γ 𝜕− 𝑒∈Γ

−𝑦𝑒′ (1) если 𝑣𝑘𝑙 (1) = 1,

{︂
= (13)
𝑦𝑒′ (0) если 𝑣𝑘𝑙 (0) = 1.
Из соотношений (13) следует утверждение леммы 3: равенства (9) выполняются тогда и
только тогда, когда ⟨𝐹⃗ , 𝑉
⃗𝑘 ⟩ = 0, 𝑘 = 1, . . . , 𝜒. Таким образом, 𝐹⃗ (𝑥) ортогональна ко всем
решениям уравнения Λ𝑚𝑎𝑥 𝑉 ⃗ = 0.

Каковы бы ни были числа 𝛼𝑒, 𝛽𝑒 при 𝜕+𝑒 ∈ Γ и 𝛼𝑒, 𝛽𝑒 при 𝜕−𝑒 ∈ Γ при
Лемма 4.

выполнении предположения 1 существует функция 𝑌⃗ (𝑥) ∈ 𝐷(Λ𝑚𝑎𝑥), удовлетворяющая

условиям
𝑦𝑒′ (1) = 𝛽𝑒 , 𝑦𝑒 (1) = 𝛼𝑒 при 𝜕+ 𝑒 ∈ Γ,
𝑦𝑒′ (0) = 𝛽𝑒 , 𝑦𝑒 (0) = 𝛼𝑒 при 𝜕− 𝑒 ∈ Γ.
Доказательство. Докажем сначала лемму 4 для случая, когда все 𝛼𝑒 = 0. Выберем 𝐹⃗ (𝑥)
из 𝐿2 (ℑ) так, что
−𝛽𝑒 если 𝑣𝑘𝑙 (1) = 1,
{︂
⟨𝐹⃗ , 𝑉⃗𝑘 ⟩ = (14)
𝛽𝑒 если 𝑣𝑘𝑙 (0) = 1,
⃗𝑘 , 𝑘 = 1, . . . , 𝜒 — та же фундаментальная система, что и при доказательстве леммы
где 𝑉
3. Такой элемент существует и притом даже в 𝐾𝑒𝑟Λ𝑚𝑎𝑥 . Действительно, если положить
𝜒
∑︁
⃗
𝐹 = 𝜇𝑘 𝑉⃗𝑘 ,
𝑘=1

то условия (14) будут системой уравнений относительно постоянных 𝜇1 , . . . , 𝜇𝜒 , опреде-

литель которой есть определитель Грама линейно независимых функций 𝑉 ⃗1 , . . . , 𝑉⃗𝜒 . Сле-
довательно, он отличен от нуля. Обозначим через 𝑉⃗ решение уравнения Λ1 𝑉⃗ = 𝐹⃗ . Тогда
из формулы Лагранжа следует
𝑉⃗ ′ (1) = 𝛽𝑒 при 𝜕+ 𝑒 ∈ Γ,
𝑉⃗ ′ (0) = 𝛽𝑒 при 𝜕− 𝑒 ∈ Γ.
⃗ (𝑥) ∈ 𝐷(Λ𝑚𝑎𝑥 ) такая, что
Итак, построенная функция 𝑉
𝑉⃗ ′ (1) = 𝛽𝑒 , 𝑉⃗ (1) = 0 при 𝜕+ 𝑒 ∈ Γ,
𝑉⃗ ′ (0) = 𝛽𝑒 , 𝑉⃗ (0) = 0 при 𝜕− 𝑒 ∈ Γ.
Меняя ролями наборы 𝛼𝑒 и 𝛽𝑒 , а также операторы Λ1 и Λ2 , получим полное доказательство
леммы 4.
Теперь можно сформулировать утверждение относительно минимального оператора Λ0 .
Лемма 5. ,
Λ0 ⊂ Λ*0 = Λ𝑚𝑎𝑥 Λ*𝑚𝑎𝑥 = Λ0 .
Лемма 5 доказывается точно также как доказано утверждение 𝑉 S17 из монографии
[15].
Основная теорема данного пункта.
 САМОСОПРЯЖЕННЫЕ СУЖЕНИЯ МАКСИМАЛЬНОГО ОПЕРАТОРА НА ГРАФЕ 43

Теорема 2. При выполнении предположения 1 всякое самосопряженное расширение Λ

оператора Λ0 определяется
∑︁
линейно независимыми
∑︁
𝑘 = 1, . . . , 𝜒 краевыми условиями вида
𝑈𝑘 (𝑌⃗ ) = [𝛼𝑒𝑘 𝑦𝑒 (1) + 𝛽𝑒𝑘 𝑦𝑒′ (1)] + [𝛼𝑒𝑘 𝑦𝑒 (0) + 𝛽𝑒𝑘 𝑦𝑒′ (0)] = 0, (15)
𝜕+ 𝑒∈Γ 𝜕− 𝑒∈Γ

где 𝛼𝑒𝑘 , 𝛽𝑒𝑘 — некоторые∑︁константы, причем ∑︁

[𝛼𝑒𝑗 𝛽¯𝑒𝑘 − 𝛼
¯ 𝑒𝑘 𝛽𝑒𝑗 ] = [𝛼𝑒𝑗 𝛽¯𝑒𝑘 − 𝛼
¯ 𝑒𝑘 𝛽𝑒𝑗 ] (16)
𝜕+ 𝑒∈Γ 𝜕− 𝑒∈Γ

при 𝑗, 𝑘 = 1, . . . , 𝜒.
Обратно, всякие линейно независимые краевые условия вида (15), удовлетворяющие
соотношениям (16), определяют область определения некоторого самосопряженного
расширения Λ оператора Λ0, если выполнено предположение 1.
Доказательство. Следуя схеме доказательства теоремы 5 S18 из монографии [15], введем
⃗1 , . . . , 𝑉⃗𝜒 . Точнее говоря, 𝑉⃗𝑘 из области определения 𝐷(Λ𝑚𝑎𝑥 ) с условиями
функций 𝑉
′
𝑣𝑘𝑒 (1) = 𝛼𝑒𝑘 , 𝑣𝑘𝑒 (1) = −𝛽𝑒𝑘 при 𝜕+ 𝑒 ∈ Γ, (17)
′
𝑣𝑘𝑒 (0) = −𝛼𝑒𝑘 , 𝑣𝑘𝑒 (0) = 𝛽𝑒𝑘 при 𝜕− 𝑒 ∈ Γ.
Согласно лемме 4, такие решения существуют. Тогда условия (15) при 𝑗, 𝑘 = 1, . . . , 𝜒
примут вид
∑︁ ∑︁
𝑈𝑘 (𝑌⃗ ) = ′
[𝑦𝑒 (1)𝑣𝑘𝑒 (1) − 𝑦𝑒′ (1)𝑣𝑘𝑒 (1)] − ′
[𝑦𝑒 (0)𝑣𝑘𝑒 (0) − 𝑦𝑒′ (0)𝑣𝑘𝑒 (0)] = 0.
𝜕+ 𝑒∈Γ 𝜕− 𝑒∈Γ

Согласно результатам монографии [15], краевые условия (15) определяют область опре-
деления самосопряженного расширения Λ оператора Λ0 . Тогда и только тогда, когда все
функции 𝑉⃗1 , . . . , 𝑉⃗𝜒 , определенные согласно (17), также удовлетворяют соотношениям

𝑈𝑘 (𝑌⃗𝑗 ) = 0, 𝑘, 𝑗 = 1, . . . , 𝜒.
Теорема 2 полностью доказана.

СПИСОК ЛИТЕРАТУРЫ
1. Покорный Ю.В. О спектре некоторых задач на графах // Успехи мат. науки. Т. 42, вып. 4.
1987. С. 128–129.
2. Покорный Ю.В., Пенкин О.М. О краевой задаче на графе // Дифференциальные уравнения.
Т. 24. 1988. С. 701–703.
3. Покорный Ю.В., Приядиев В.Л., Аль-Обейд А. Об осциляционных свойствах спектра краевой
задачи на графе // Матем. заметки. Т .60, вып. 3. 1996. С. 468–469.
4. Покорный Ю.В., Приядиев В.Л. Некоторые проблемы качественной теории Штурма-
Лиувилля на пространственных сетях // Успехи мат. науки. Т. 59, вып 6. 2004. С. 115–150.
5. Покорный Ю.В., Пенкин О.М., Приядиев В.Л. и др. Дифференциальные уравнения на гео-
метрических графах. М.:ФИЗМАТЛИТ. 2005. 272 с.
6. M.I. Belishev Boundary spectral inverse problem on a class of graphs (trees) by the BC methods //
Inverse problems. V. 35, iss 10. 2004. P. 4069–4088.
7. R. Carlson Inverse eigenvalue problems on directed graphs // Trans. Amer. Math. Soc. V. 351. 1999.
P. 101–121.
8. P. Kurasov, F. Stenberg On the inverse scattering problem on branching graphs // J. Phys. A.
Math. Gen. V. 20.2002. P. 647–672.
9. M. Ramirez Jorge Green’s Functions for Sturm-Liouville Problems on Directed Tree Graphs //
Revista Colombiana de Matemáticas. V. 46. 2012. P. 15–25.
 44 Л.К. ЖАПСАРБАЕВА, Б.Е. КАНГУЖИН, М.Н. КОНЫРКУЛЖАЕВА

10. Юрко В.А. О восстановлении операторов Штурма-Лиувилля на графах // Математ. заметки.

Т. 79, вып 4. 2006. С. 619–630.
11. M. Astudillo, P. Kurasov, M. Usman RT -symmetric laplace operators on star graphs: Real spectrum
and selfadjointness // Adv. Math. Phys. 2015.
12. P. Kurasov, M. Garjiani Quantum graphs: PT-symmetry and reflection symmetry of the spectrum //
Journal of Mathematical Physics. V. 58. 2017.
13. M. Znojil Quantum star-graph analogues of PT-symmetric square wells // Can. J. Phys. V.90, iss
12. 2012. P.1287–1293 .
14. M. Znojil Quantum star-graph analogues of PT-symmetric square wells: Part II. Spectra // Can.
J. Phys. V. 93, iss 7. 2014. P.765–768.
15. Наймарк M.A. Линейные диффeренциальные операторы. М.: Наука. 1969. 526 c.
16. Цой С., Цхай С.М. Прикладная теория графов. Алма-Ата:Наука. 1971. 499 с.
17. F. Harary Graph theory. Addison-Wesley Publishing Company. 1969. 274 p.
18. O. Post Spectral Analysis on Graph-Like Spaces // Springer Science & Business Media. V. 2039.
2012.
19. Афанасьева Н.А., Булот Л.П. Электротехника и электроника. СПб.:СПбГУН и П.Т. 2010.
181 с.

Ляйля Курмантаевна Жапсарбаева,

Казахский национальный университет им. аль-Фараби,
пр. аль-Фараби 71,
A15E3B4, г. Алматы, Казахстан
E-mail: leylazhk67@gmail.com
Балтабек Есматович Кангужин,
Казахский национальный университет им. аль-Фараби,
пр. аль-Фараби 71,
A15E3B4, г. Алматы, Казахстан
E-mail: kanbalta@mail.ru
Марал Нурлановна Коныркулжаева,
Казахский национальный университет им. аль-Фараби,
пр. аль-Фараби 71,
A15E3B4, г. Алматы, Казахстан
E-mail: maralkulzha@gmail.com

View publication stats