CC BY
18
УДК 517.984
О ВОССТАНОВЛЕНИИ ДИФФЕРЕНЦИАЛЬНЫХ ПУЧКОВ
НА ГРАФЕ-КУСТЕ
В. А. Юрко
Юрко Вячеслав Анатольевич, доктор физико-математических наук, заведующий кафедрой математической физики и вычислительной математики, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, Россия, 410012, Саратов, Астраханская, 83, YurkoVA@info.sgu.ru
Исследуется обратная задача спектрального анализа для дифференциальных пучков второго порядка на графе-кусте, который является произвольным компактным графом с одним циклом. Основное внимание уделяется наиболее важной нелинейной обратной задаче восстановления коэффициентов дифференциальных уравнений при условии, что структура графа известна априори. Используются стандартные условия склейки во внутренних вершинах и краевые условия Дирихле и Неймана в граничных вершинах. Для данного класса пучков установлены свойства спектральных характеристик, получена конструктивная процедура решения обратной задачи восстановления коэффициентов дифференциальных операторов по спектрам и доказана единственность решения. Для решения этой обратной задачи используется метод спектральных отображений, который позволяет строить потенциал на каждом фиксированном ребре. Для перехода к следующему ребру используется специальное представление характеристических функций.
Ключевые слова: дифференциальные пучки, геометрический граф, обратные спектральные задачи.
10.18500/1816-9791-2017-17-1-51-61
ВВЕДЕНИЕ
Исследуется обратная спектральная задача для несамосопряженных дифференциальных пучков второго порядка на компактном графе-кусте (произвольный граф с одним циклом) при стандартных условиях склейки во внутренних вершинах и краевых условиях в граничных вершинах. Основное внимание уделяется наиболее важной нелинейной обратной задаче восстановления коэффициентов дифференциальных уравнений (потенциалов) при условии, что структура графа известна априори. Для этой обратной задачи доказана теорема единственности и получена процедура построения решения. Для решения этой обратной задачи используется метод спектральных отображений [1].
Отметим, что обратные спектральные задачи для дифференциальных операторов на интервале изучены достаточно полно (см. [1-5] и библиографию к ним). Обратные задачи на графах исследовались в работах [6-13] и других работах.
Рассмотрим компактный граф С в И1 с множеством ребер Е = {во,...,вг} и множеством вершин W = V и и, где V = {у1,...,уг}, и = {уг+\ ,...,уг+ы}. Граф имеет вид С = в0 и Т, где в0 — цикл, у е в0, г = г + 1, г + N, у / в0, ] = 1, г, ТП в0 = и, Т = Т и... и Тт, и Т — дерево с корнем из и и с одним корневым ребром из Е. Множество Т состоит из N групп деревьев: Т = Я\ и ... и Яы, Я П в0 = ,
т.е. все деревья из имеют общий корень . Пусть шг — число деревьев в блоке ; шх + • • • + = ш. Обозначим й0 = 1, ^ = шх + • • • + ш,, г = 1, N. Тогда
Щ = и Т, Р| Т, = г = 17Ж
, = «г-1 +1 ,=вг-1 + 1
Фиксируем г = 1, N, 3 = 1, ш, и рассмотрим дерево Т, е . Для двух точек а, Ь е Т, будем писать а < Ь, если а лежит на единственном простом пути, соединяющем корень с Ь. Будем писать а < Ь, если а < Ь и а = Ь. Если а < Ь, то обозначим [а, Ь] := (г е Т : а < г < Ь}. В частности, если е = [V,—] — ребро, то V называется его начальной точкой, а ш — его конечной точкой; будем говорить, что е выходит из V и заканчивается в ш. Для каждой вершины V е Т, обозначим ) := (е е Т, : е = [V,—], ш е Т,} — множество ребер, выходящих из V. Для V е Т, через IV| обозначим число ребер между щ и V; число |V| называется порядком V. Для каждого ребра е е Т его порядок определяется как порядок его конечной точки. Число а := тах, =у-р IV, | называется высотой Т. Пусть V:= (V е V : |V| = д}, д = 0,а — множество вершин порядка д, а Е:= (е е Т : е = [V,—], V е V ш е V}, д = 1,а, — множество ребер порядка д. Цикл е0 состоит из N частей:
ео = ег+х и ... и ег+^, ег+^ = , vr+k+l ], к = 1,^ vr+N+l := vг+l.
Для определенности занумеруем вершины V, е V следующим образом: Г := } — граничные вершины графа С, а V, при 3 > р занумерованы
в порядке возрастания 1. Аналогично занумеруем ребра, а именно е, = [V,, V,], 3 = 1, г, < 3. В частности, Е := (ех,..., ер} — множество граничных ребер графа С. Ясно, что е, е Етогда и только тогда, когда V, е V. Положим
Ег := (ек е Щ : "^г+г е ек}, Е^+1 := Е1.
Пусть ^ — длина ребра е,, 3 = 1, г + N, а = + ... + — длина ео. Положим Ьо = 0, Ьк = + ... + , к = . Тогда Ь^ = Каждое ребро е,, 3 = 1,г + N параметризуется параметром х, е [0,^-], причем х, = 0 соответствует вершине V,. Весь цикл ео параметризуется параметром х е [0,^о], где х = хг+, + Ь,-х при хг+, е [0, ], 3 = 1, N.
Функция У на С представима в виде У = (у,}=1)Г+^, где функция у, (х,), х, е [0,^-], определена на ребре е,. Функция у(х), х е [0,^о], на цикле ео имеет
вид У(х) = Уг+,(хг+,), 3 = ^. Пусть Ф = и р = (р,— ком-
плекснозначные функции на С, они называются потенциалами. Предположим, что д,(х,) е £(0, ^), р,(х,) е АС[0,ф]. Потенциалы р(х), д(х), х е [0,^о] на всем цикле ео имеют вид ро(х) = рг+,(хг+,), до(х) = дг+,(хг+,), 3 = 1,N. Рассмотрим дифференциальное уравнение на графе С:
) + (р2 + рр,(х) + д,(х,))у,(х,) = 0, х е [0,^], (!)
где j = 1,r + N, р — спектральный параметр, функции y-(xj), yj(xj) абсолютно непрерывны на [0, dj] и удовлетворяют следующим условиям склейки во внутренних вершинах: для vk, k = p +1, r:
yj(dj)= yfc(0) for all ej £ R(vfc), ^ yj(dj)= yk(0), (2)
ej eR(vfc)
для , д = г + 1, г + N:
(0) = уД^) = у- ) V е; е Ем-г+1 у;+1(0) = у;(^)+ £ у;.№), > (3)
где уг+^+1 = уг+ь (1г+ы+1 = Условия (2), (3) называются стандартными условиями склейки. В электрических сетях они выражают закон Кирхгофа; при колебаниях упругих сетей — баланс напряжений и т.д. Рассмотрим краевую задачу Б0(С) для уравнения (1) с условиями склейки (2), (3) и с краевыми условиями Дирихле в граничных вершинах у1 , ...,ур: у;(0) = 0, 3 = 1,р. Пусть Л0 = {рп0} — собственные значения (с учетом кратностей) задачи Б0(С). Рассмотрим также краевые задачи Ви1 (С), 7 = 1,р, 1 < < ... < Му < р, для уравнения (1) с условиями склейки (2), (3) и с краевыми условиями:
ук (0) = 0, к = V! ,...,Му, у; (0) = 0, 3 = 1,р, 3 = V! ,...,Му.
Через Л^1 := {рп^ь...^7} обозначим собственные значения (с учетом кратностей) задачи Б^,...,^(С). Пусть С(ж,р),Б(ж, р) — решения уравнения
у''(ж) + (р2 + рро(ж) + ^0(ж))у(ж) = 0, ж е [0, ^0] (4)
на цикле е0 с начальными условиями С(0,р) = Б'(0, р) = 1, С'(0,р) = 5(0, р) = 0. Обозначим Н(р) := С(^0,р) — Б'(^0,р), Л(р) := Б(^0,р). Пусть V = {^} — нули целой функции Д(р). Тогда {vn} являются собственными значениями краевой задачи В для уравнения (4) при граничных условиях у(0) = у(^0) = 0. Через П = {^п} обозначим П — последовательность для В [14].
Выберем и зафиксируем по одной граничной вершине е Щ из каждого блока Щ, % = 1,N. Обозначим £ := {к : к = , } — множество индексов £, г = Г^.
Обратная задача 1. Даны + р — N спектров Л;, 3 = 0,р, , 7 = 2,N,
1 < v1 < ... < vY < р, V; е £, П, построить потенциалы Р, ( на графе С.
Сформулируем теорему единственности решения этой обратной задачи. Для этого наряду с (Р, () рассмотрим потенциалы (Р, (). Условимся, что если некоторый символ д обозначает объект, относящийся к (Р, (), то Д будет обозначать аналогичный объект, относящийся к (Р, ().
Теорема 1. Если Л; = Л;, 3 = 0,р, = Л^ , 7 = 2, N
1 < м1 < ... < м7 < р, V; е £, и П = П, то ( = Р = Р на графе С.
Эта теорема будет доказана в параграфе 2. Кроме того, мы дадим там конструктивную процедуру решения обратной задачи 1. В параграфе 1 вводятся основные понятия и доказываются вспомогательные утверждения.
1. СВОЙСТВА СПЕКТРАЛЬНЫХ ХАРАКТЕРИСТИК
Пусть Б;(ж;, р), С;(ж;, р), 3 = 1,г + N, ж; е [0, ] — решения уравнения (1) на ребре е; при начальных условиях Б; (0, р) = С;(0, р) = 0, Б; (0, р) = С;(0, р) = 1.
При каждом фиксированном ж] е [0,^-] функции ]^ж^, р), с]^(ж^, р), з = 1,г + N, V = 0,1, являются целыми по р экспоненциального типа. Кроме того, (С](ж], р), (ж],р)) = 1, где (у, г) := у г' — у'г — вронскиан функций у и г. Зафиксируем к = р + 1, г. Обозначим := {г е Т : < г}, := С \ . Тогда
= Ткг ,
ег )
где Тк. — дерево с корнем и с корневым ребром е..
Обозначения. Если Б с С — граф, то через В0(Б) обозначим краевую задачу для уравнения (1) на Б со стандартными условиями склейки во внутренних вершинах и с краевыми условиями Дирихле в граничных вершинах. Пусть {У:= {у]. Если V] — граничная вершина для Б, то через В] (Б) обозначим краевую задачу для уравнения (1) на Б со стандартными условиями склейки во внутренних вершинах, с условием Неймана У|*. =0 в вершине V] и с краевыми условиями Дирихле в остальных граничных вершинах. Например, В0(Ск) — краевая задача на с краевыми условиями ук (0) = 0, ут(0) =0, ет е Е П , а Вк ) — краевая задача на с краевыми условиями ук(0) = 0, ут(0) = 0, ет е (Е П ) \ ек. Рассмотрим также краевую задачу В1 (Т]) для уравнения (1) на Т] е Д. с краевыми условиями У^. = 0, У*, =0, з =гПТ].
Зафиксируем граничную вершину е Г. Пусть Фк = {Фк]}]=1,г+^ — решение уравнения (1) на С, удовлетворяющее условиям склейки (2), (3) и краевым условиям
Фк] (0, р) = , з = 1"р, (5)
где — символ Кронекера. Положим Мк(р) := Ф'кк(0, р), к = 1,р. Функция Мк(р, С) := Мк(р) называется функцией Вейля относительно граничной вершины г>к. Обозначим МО(р) = Ф'к](0, р), М\3(р) = Ф^-(0, р), з = 1, г + N. Тогда
Фк] (ж], р) = М] (р) С] (ж], р) + М0] (р) (ж], р), з = 1, г + N. (6)
В частности, М°к(р) = Мк(р, С), М^(р) = 1, М\3(р) =0 при з = Т"р \ к. Имеем
Фкк (жк, р) = С (жк, р) + Мк (р, С) (жк, р) (7)
и, следовательно,
(Фкк(жк,р), (жк,р)) = 1. (8)
Подставляя (6) в (2), (3) и (5), получаем линейную алгебраическую систему Бк относительно М^-(р),М^](р), з = 1,г + N. Определитель А0(р, С) этой системы не зависит от к и имеет вид
N
А0(р, = а(рН а(р) + ^ ^
(р)Пм! (р) ...Пм/ М) , (9)
N
(К. )
где
т вг д 1
<г(р) = ПАо(р,Т*), П(р)= Е А0(Й) , (10)
к=1 ]=вг-1+1
а(р) : = С(^0,р) + Б'(^0, р) — 2, ах(р) := Л,(р) = Б(^0,р), (11)
а А0(р, Т^-), А1 (р, Т,) — характеристические функции краевых задач В0(Т.), В1 (Т.) соответственно. Нам не нужны конкретные формулы для других коэффициентов (р). Функция А0(р,С) является целой по р экспоненциального типа, и ее нули (с учетом кратностей) совпадают с собственными значениями краевой задачи В0(С). Функция А0(р,С) называется характеристической функцией для В0(С). Пусть А^ (р,С), 7 = 1,р, 1 < м1 < ... < м7 < р — функция, получающаяся из А0(р,С) заменой Б.^(^,р) на С^,р) для 3 = м1, ...,м7, V = 0,1. Функция (р, С) является целой по р экспоненциального типа, и ее нули совпадают с собственными значениями краевой задачи (С). Функция А^(р, С) называется характеристической функцией для (С). Имеем
А^1 (р,С) = ) (рД а(р) +
N
(р)п
(р)..
)(р)), (12)
к=1
где функции о-^,...,^)(р) и )(р) получаются из а(р) и п®(р) заменой Б^,р)
на С]^, р) для 3 = ..., м7, V = 0,1.
Решая алгебраическую систему Дк, получаем М](р) = Ак.(р, С)/А0(р, С), й = 0,1,3 = 1, г + N, где определитель Ак.(р, С) получается из А0(р, С) заменой столбца, соответствующего М](р), на столбец свободных членов. В частности,
Мк(р, С) = —Ак(р, С)/А0(р, С), к = 17Р. (13)
Из (13) вытекает, что функции Вейля Мк(р, С) являются мероморфными по р с множеством полюсов Л0 множеством нулей Лк.
Зафиксируем к = р +1,г. Пусть А0(р, Ск) и Ак(р,Ск) — характеристические функции задач В0(Ск) и Вк(Ск) соответственно. Используя (9)-(11), вычисляем
А0 (р, С) = А0 (р, д^ )А0 (р, Ск) + ( Д А0 (р, Тк )) Ак (р, Ск), (14)
вг )
где А0 (р, д^) и А0(р,Т^) — характеристические функции для В (д^) и В (Т^) соответственно. Аналогично для е. е Е П Тк8 имеем
А, (р,С) = А] (р,дк )А0 (р,Ск) + (а. (р,Тк,) Д А0(р,Тк))А* (р,Ск), (15)
где А.(р, д^) и А.(р, Т^) строятся из А0(р, д^) и А0(р, Т^) заменой б]^., р), V = 0,1 на ], р). Обозначим
1 /• 1 r+N
Ек(а*) = - Рк(£) ^к = Рк(*) Е±(р) = Д ехр(т*(р + К),
r+N i r+N .d.
d := Z ^d = ö Z pj(t) dt т =Im P'
j=1 2 j=i
П± = {p : ±т > 0}' П+ = {p : argp e ßn - £]}, П- = {p : argp e [n + 2n - £]}. Без ограничения общности считаем, что d = 0. При каждом xk e [0,dk) имеем
Ф|й} (xk'p) = (±ip)v exp(±i(pxk + Ek(xk)))[1]' p e П±' (16)
В частности,
Mk(p) = (±ip)[1], p e П±' (17)
Кроме того, при |p| ^ k = 1,r + N, равномерно по xk G [0,dk],
1 l
= 2(-ip)i-V exP(-i(Pxk + (xk)))[1] + 2(ip)i-v exp(i(Pxk + Ek(xk)))[1].
(18)
Аналогично получаем при p G П±, |p| ^ го:
Ac (p,G) = A± p-p E±(p)[1], A± = 0, (19)
Afc (p,G) = (Tip)A± p-p E± (p)[1], k = 1^, (20)
Av1,...,v7 (p, G) = (Tip)7A±p-pE±(p)[1], Y = 1ГЖ l < V! < ... < v7 < p. (21)
2. РЕШЕНИЕ ОБРАТНОЙ ЗАДАЧИ 1
В этом параграфе мы опишем конструктивную процедуру решения обратной задачи 1 и докажем его единственность. Сначала рассмотрим вспомогательные обратные задачи. Фиксируем граничную вершину vk е Г, k = 1,p, и рассмотрим следующую обратную задачу на ребре ek, которую будем обозначать IP(k). IP(k). Дана Mk(p, G), построить qk(Xk), pk(Xk), Xk е [0,dk].
Теорема 2. Если Mfc(p,G) = M(p, G), то pk(Xk) = pk(Xk) и (Xk) = qk(Xk) п.в. на [0,dk]. Таким образом, задание функции Вейля Mk однозначно определяет потенциалы pk и qk на ребре ek.
Доказательство. Введем функции
,p) = (—1)s(Фкк(xfc,p)s§k2-s)(xfc,p) - Фk2k-s)(xk,p)Sk(xk,p)), s = 1, 2. (22) Из (8) выводим
Sk (Xk, p) = Pki (Xk, p)S?k (Xk, p) + Pk2 (Xk, p)Sk (Xk, p). (23)
Обозначим nk (Xk) = cos Ek (Xk), где Ek (Xk) = Ek (Xk) — Ek (Xk). Учитывая (16), (18) и (22), получаем
p£(Xk ,p)= ¿1A (Xk) + O(p- 1), p е П±, H^rc, Xk е (0,4), s = 1,2. (24)
Используя (22) и (7), получаем, что при каждом фиксированном жк функции Рк(жк, р) являются целыми по р экспоненциального типа. Вместе с (24) это дает Р1к1(жк,р) = Пк(жк), Р12(жк,р) = 0. Подставляя эти соотношения в (22) и (23), находим
(Бк (жк, р))-1Бк (жк, р) = (Ф кк (жк, р))-1 Фкк (жк, р), (25)
при всех жк и р. Используя (16) и (18), получаем при |р| ^ р е П±,
(Бк (жк ,р))-1 Бк (жк ,р) =ехр(тЕ#к (жк ))[1], (Ф кк (жк ,р))-1Фкк (жк ,р) = ехр(±Ек (жк ))[1].
Отсюда и из (25) выводим ехр(2Ек(жк)) = 1. Так как Ек(0) = 0, то Ек(жк) = 0, т.е. Рц (жк ,р) = 1, Бк (жк ,р) = Бк (жк ,р), Фкк (жк ,р) = Ф кк (жк ,р) и, следовательно, Як(жк) = (?к(жк), Рк(жк) = рк(жк) на [0,4]. □
Используя метод спектральных отображений [1] для оператора Штурма -Лиувилля на ребре ек, получаем конструктивную процедуру решения обратной задачи 1Р(к).
Лемма 1. Фиксируем к = 1,р. Задание двух спектров Л0 и Лк однозначно определяет функцию Вейля Мк(р, С).
Доказательство. Характеристические функции Ак(р, С), к = 0,р, являются целыми по р экспоненциального типа. По теореме Адамара
Ак(р, С) = Вк ехр(Акр)Ак(р, С), к = 0~р, (26)
Ак(р, С) = р^ П (1 — ехр(р/рпк), к = 0^, (27)
Лк = {п : рпк = 0}, и £к > 0 — кратность нулевого собственного значения. В силу (13) и (26) заключаем
Мк(р,С) = —Ьк ехр(акр)^^, к = (28)
А0 (р
где Ьк = Вк/В0, ак = Ак — А0. Используя (17), вычисляем
ак = , Цт ^(А^), р е П±, к = 1Р (29)
Ьк = ит (Тгр)А0^С)ех)р(-акр), р £ , к = (30)
Итак, мы однозначно построили Мк(р, С) по формулам (27)-(30). □
Теперь рассмотрим вспомогательную обратную задачу 1Р(0) на цикле е0. 1Р(0). Даны а(р), Л(р) и П, построить р0(ж), д0(ж), ж е [0,^0]. Эта задача является классической периодической обратной задачей на интервале [0,^0]; она была решена в [15], где доказана единственность решения и получен алгоритм построения решения задачи 1Р(0).
Зафиксируем к = 0,р. Пусть задан спектр Лк краевой задачи Рк(С). Тогда мы можем построить характеристическую функцию Ак(р, С) следующим образом.
Используя (26), (27) и асимптотику (19), (20), получаем при р е П±, |р| ^ го:
Во ехр(Ао р)Д0 (р,С) = Д± р-р Е ±(р)[1], Вк ехр(А р)Дк (р,С) = (т*р)р-р Д± Е ±(р)[1], к =
и, следовательно,
А = —К± Т ^ Й
^ к = 0,р,
^=1
Пш
1пДк (р,С)
Р е п±.
(31)
Далее,
Вк = Д± а±, к = 0,р,
а± = Пш
ехр(к± р)
а± = Пш
(Т^Р) ехР(к±Р)
0 и^ ррдо (р,С)' к и-^ ррДк (Р,С)
Аналогично, используя (21), получаем
к = 1,р.
(32)
Д
(р, С) = ехр(Аь...^7р)Д*х(р, С), 7 = 1,р, 1 < VI < ... < < р,
Д*
VI
(р,С) = р«"1 •■■■
п
П<ЕЛ{
1-
р
ехр(р/р,
т ^^ =
.7=1
К
±
V! ,...^7
1пД*
Ш ^ V1,...,V7 р
(р,С)
р е п
±
В
Vl ,...,V7
= Д а
ои v1,..., ^
а± ,, = Иш
рр Д^1'...'V, (р,^)
(33)
(34)
(35)
(36)
Л^'...,^ = {п : рп,г/1'...,^ = 0}, и '...,^ > 0 — кратность нулевого собственного значения.
Теперь мы готовы описать конструктивную процедуру решения обратной задачи 1 и доказать его единственность. Пусть даны Л^, ] = 0,р, Л^,...,^, 7 = 2,^, 1 < < ... < м7 < р, V е и П. Процедура построения решения обратной задачи 1 состоит в реализации так называемых -процедур последовательно для д = а, а — 1,..., 1,0, где а — высота Т. Опишем -процедуры.
-процедура
1. При каждом к = 1,р строим функцию Вейля Мк(р, С), используя (27)-(30).
2. При каждом фиксированном к = 1,р решаем обратную задачу 1Р(к) и находим потенциалы рк(жк), (жк), е [0,йк], на ребре ек.
3. При каждом фиксированном к = 1,р вычисляем С^,р), №, р), V = 0,1.
4. Строим Д0(р, С) и Д^'...'^(р,С), 7 = 1,^, 1 < < ... < < р, V е ^, используя (26), (27) и (31)-(36).
5. Для каждой вершины г>к е V\ Г выбираем и фиксируем й и ] так, что е^- е Е П Тк8. Решая линейную алгебраическую систему (14), (15), находим Д0(р, ) и Дк(р,Ск).
р
р
7
д
6. Для каждой е V\ Г строим функцию Вейля Мк (р, Ск) для Ск по формуле
Мк(р, Ск) = —Ак(р, Ск)/А0(р, Ск). (37)
Выполним теперь D^-процедуры последовательно при р = 2, а — 1 по индукции. Фиксируем р = 2, а — 1 и предположим, что D,..., -процедуры уже выполнены. Выполним D^-процедуру.
DM-процедура
1. При каждом фиксированном ek е Eрешаем обратную задачу IP(k) на Gk и находим потенциалы pk(xk), qk(xk), xk е [0,dk], на ребре ek.
2. Для каждого ek е Eвычисляем ckv)(dk, р), , р), v = 0,1.
3. Для каждой вершины vk е V(м-1) \ Г выбираем и фиксируем s и j так, что ej е E П Tks. Решая линейную алгебраическую систему (14), (15), находим А0(р, Gk) и Ak(p,Gk).
4. Для каждой вершины vk е V(м-1) \ Г вычисляем Mk(р, Gk) для Gk по формуле (37).
Di-процедура
1. Для каждого ребра ek е E ^ решаем обратную задачу IP(k) на Gk и находим потенциалы pk(xk), qk(xk), xk е [0,dk] на ребре ek.
2. Для каждого ek е E(1) вычисляем ckv)(dk, р), (dk,р), v = 0,1.
3. Строим а(р) и а1 (р), используя (9) и (12).
Do-процедура
По а(р), Л(р), П строим q0(ж), р0(ж), ж е [0, d0] на e0, решая задачу IP(0). Таким образом, выполняя последовательно D, Da-1,..., D0-процедуры, мы получили решение обратной задачи 1 и доказали его единственность.
Благодарности. Работа выполнена при поддержке Минобрнауки РФ (проект № 1.1660.2017/ПЧ) и РФФИ (проекты № 16-01-00015, 17-51-53180). .
Библиографический список
1. Yurko V. A. Method of Spectral Mappings in the Inverse Problem Theory. Inverse and Ill-posed Problems Series. Utrecht : VSP, 2002. 316 p.
2. Marchenko V. A. Sturm - Liouville Operators and Applications. Basel ; Switzerland : Birkhauser Verlag, 1986. 393 p.
3. Levitan B. M. Inverse Sturm - Liouville problems. Utrecht : VNU Science Press, 1987. 246 p.
4. Freiling G., Yurko V. A. Inverse Sturm - Liouville Problems and their Applications. N. Y. : Nova Science Publ., 2001. 305 p.
5. Beals R., Deift P., Tomei C. Direct and Inverse Scattering on the Line // Math. Surveys and Monographs. Vol. 28. Providence, RI : Amer. Math. Soc., 1988. 209 p.
6. Belishev M. I. Boundary spectral Inverse Problem on a class of graphs (trees) by the BC method // Inverse Problems. 2004. Vol. 20, № 3. P. 647-672.
7. Yurko V. A. Inverse spectral problems for Sturm - Liouville operators on graphs // Inverse Problems. 2005. Vol. 21, № 3. P. 1075-1086.
8. Brown B. M, Weikard R. A Borg-Levinson theorem for trees // Proc. Royal Soc. Ser. A : Math. Phys. Eng. Sci. 2005. Vol. 461, № 2062. P. 3231-3243. DOI: 10.1098/rspa.2005.1513.
9. Yang C.-Fu, Yang X.-P. Uniqueness theorems from partial information of the potential on a graph // J. Inverse and Ill-Posed Problems. 2011. Vol. 19, № 4-5. P. 631-639. DOI: 10.1515/jiip.2011.059.
10. Bondarenko N. P. Inverse problems for the differential operator on the graph with a cycle with different orders on different edges // Tamkang J. Math. 2015. Vol. 46, № 3. P. 229243. DOI: 10.5556/j.tkjm.46.2015.1694.
11. Ignatyev M. Yu., Freiling G. Spectral analysis for the Sturm - Liouville operator on sun-type graphs // Inverse Problems. 2011. Vol. 27, № 9, 095003. 17 p.
12. Ignatyev M. Yu. Inverse scattering problem for Sturm - Liouville operator on one-vertex noncompact graph with a cycle // Tamkang J. Math. 2011. Vol. 42, № 3. P. 365-384. DOI: 10.5556/j.tkjm.42.2011.913.
13. Buterin S. A., Freiling G. Inverse spectral-scattering problem for the Sturm - Liouville operator on a noncompact star-type graph // Tamkang J. Math. 2013. Vol. 44, № 3. P. 327-349. DOI: 10.5556/j.tkjm.44.2013.1422.
14. Yurko V. A. Inverse problems for non-selfadjoint quasi-periodic differential pencils // Anal. Math. Phys. 2012. Vol. 2, № 3. P. 215-230. DOI: 10.1007/s13324-012-0030-9.
15. Марченко В. А., Островский И. В. Характеристика спектра оператора Хилла // Матем. сб. 1975. Т. 97(139), № 4(8). С. 540-606.
Образец для цитирования:
Юрко В. А. О восстановлении дифференциальных пучков на графе-кусте // Изв. Сарат. унта. Нов. сер. Сер. Математика. Механика. Информатика. 2017. Т. 17, вып. 1. С. 51-61. 001: 10.18500/1816-9791-2017-17-1-51-61.
On Recovering Differential Pencils on a Bush-type Graph
V. A. Yurko
Vjacheslav A. Yurko, Saratov State University, 83, Astrakhanskaya str., 410012, Saratov, Russia, Yurko-VA@info.sgu.ru
We study the inverse problem of spectral analysis for differential pencils on a bush-type graph, which is an arbitrary compact graph with one cycle. We pay the main attention to the most important nonlinear inverse problem of recovering coefficients of differential equations provided that the structure of the graph is known a priori. We use the standard matching conditions in the interior vertices and Dirichlet and Neumann boundary conditions in the boundary vertices. For this class of pencils properties of spectral characteristics are established, a constructive procedure is obtained for the solution of the inverse problem of recovering coefficients of differential operators from spectra, and the uniqueness of the solution is proved. For solving this inverse problem we use the method of spectral mappings, which allows one to construct the potential on each fixed edge. For transition to the next edge we use a special representation of the characteristic functions.
Key words: differential pencils, geometrical graph, inverse spectral problems.
Acknowledgements: This work was supported by the Ministry of Education and Science of Russian Federation (project no. 1.1660.2017/PCh) and by the Russian Foundation for Basic Research (projects no. 16-01-00015, no. 17-51-53180).
References
1. Yurko V. A. Method of Spectral Mappings in the Inverse Problem Theory. Inverse and Ill-posed Problems Series. Utrecht, VSP, 2002. 316 p.
2. Marchenko V. A. Sturm - Liouville Operators and Applications. Basel, Switzerland, Birkhauser Verlag, 1986. 393 p.
3. Levitan B. M. Inverse Sturm - Liouville problems. Utrecht, VNU Science Press, 1987. 246 p.
4. Freiling G., Yurko V. A. Inverse Sturm - Liouville Problems and their Applications. New York, Nova Science Publ., 2001. 305 p.
5. Beals R., Deift P., Tomei C. Direct and Inverse Scattering on the Line. Math. Surveys and Monographs, vol. 28. Providence, RI, Amer. Math. Soc., 1988. 209 p.
6. Belishev M. I. Boundary spectral Inverse Problem on a class of graphs (trees) by the BC method. Inverse Problems, 2004, vol. 20, no. 3, pp. 647-672.
7. Yurko V. A. Inverse spectral problems for Sturm - Liouville operators on graphs. Inverse Problems, 2005, vol. 21, no. 3, pp. 1075-1086.
8. Brown B. M., Weikard R. A Borg-Levinson theorem for trees. Proc. Royal Soc. Ser. A : Math. Phys. Eng. Sci., 2005, vol. 461, no. 2062, pp. 3231-3243. DOI: 10.1098/rspa.2005.1513.
9. Yang C-Fu, Yang X-P. Uniqueness theorems from partial information of the potential on a graph. J. Inverse and Ill-Posed Problems, 2011, vol. 19, no. 4-5, pp. 631-639. DOI: 10.1515/jiip.2011.059.
10. Bondarenko N. P. Inverse problems for the differential operator on the graph with a cycle with different orders on different edges. Tamkang J. Math., 2015, vol. 46, no. 3, pp. 229243. DOI: 10.5556/j.tkjm.46.2015.1694.
11. Ignatyev M. Yu., Freiling G. Spectral analysis for the Sturm - Liouville operator on sun-type graphs. Inverse Problems, 2011, vol. 27, no. 9, 095003, 17 p.
12. Ignatyev M. Yu. Inverse scattering problem for Sturm - Liouville operator on one-vertex noncompact graph with a cycle. Tamkang J. Math., 2011, vol. 42, no. 3, pp. 365-384. DOI: 10.5556/j.tkjm.42.2011.913.
13. Buterin S. A., Freiling G. Inverse spectral-scattering problem for the Sturm - Liouville operator on a noncompact star-type graph. Tamkang J. Math., 2013, vol. 44, no. 3, pp. 327349. DOI: 10.5556/j.tkjm.44.2013.1422.
14. Yurko V. A. Inverse problems for non-selfadjoint quasi-periodic differential pencils. Anal. Math. Phys., 2012, vol. 2, no. 3, pp. 215-230. DOI: 10.1007/s13324-012-0030-9.
15. Marchenko V. A., Ostrovskii I. V. A characterization of the spectrum of the Hill operator. Math. USSR-Sb., 1975, vol. 26, iss. 4, pp. 493-554. DOI: 10.1070/SM1975v026 n04ABEH002493.
Cite this article as:
Yurko V. A. On Recovering Differential Pencils on a Bush-type Graph. Izv. Saratov Univ. (N. S.), Ser. Math. Mech. Inform., 2017, vol. 17, iss. 1, pp. 51-61 (in Russian). DOI: 10.18500/1816-97912017-17-1-51-61.
