Обратные задачи спектрального анализа тема автореферата и диссертации по математике, 01.01.02 ВАК РФ

Великих, Альфия Салиховна АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Магнитогорск МЕСТО ЗАЩИТЫ
1999 ГОД ЗАЩИТЫ
   
01.01.02 КОД ВАК РФ
Диссертация по математике на тему «Обратные задачи спектрального анализа»
 
 
Текст научной работы диссертации и автореферата по математике, кандидата физико-математических наук, Великих, Альфия Салиховна, Магнитогорск

Министерство образования Российской Федерации Магнитогорский государственный педагогический институт

На правах рукописи

Великих Альфия Салиховна

ОБРАТНЫЕ ЗАДАЧИ СПЕКТРАЛЬНОГО АНАЛИЗА

Специальность 01.01.02 — "Дифференциальные уравнения"

Диссертация на соискание ученой степени кандидата физико-математических наук

Научный руководитель —

доктор физико-математических наук,

профессор Дубровский В.В.

Магнитогорск - 1999

ОГЛАВЛЕНИЕ

Введение 4

1 Вспомогательные утверждения 16

2 Решение обратных задач спектрального анализа 19

2.1 Восстановление потенциала в обратной задаче для оператора Штурма-Лиувилля по смеси двух спектров ... 19

2.2 Восстановление потенциала в обратной задаче для степени оператора Лапласа, заданного на прямоугольнике,

по части спектра......................... 28

2.3 Восстановление потенциала в обратной задаче для степени оператора Лапласа, заданного на прямоугольнике,

по спектру ............................. 46

2.4 Восстановление потенциала в обратной задаче для степени оператора Лапласа, заданного на параллелепипеде,

2.5 Восстановлении потенциала в обратной задаче для степени оператора Лапласа, заданного на параллелепипеде,

по части спектра (продолжение)............... 75

2.6 Восстановление потенциала в обратной задаче для степени оператора Лапласа, заданного на п-мерном параллелепипеде, по части спектра...................81

3 Устойчивость решений обратных задач спектрального анализа 93

Литература 99

Введение

Под обратными задачами спектрального анализа понимают задачи восстановления оператора по его спектральным характеристикам. К таким характеристикам относятся спектральная функция, спектры, заданные при различных краевых условиях и другие (см. [2], [22], [28]).

Теория обратных задач играет фундаментальную роль в различных разделах математики и имеет множество приложений в естествознании, например, в квантовой механике при определении внутриатомных сил по известным уровням энергии, в радиотехнике при синтезе параметров неоднородных линий передач, в теории упругости при определении размеров поперечных сечений балки по заданным частотам ее собственных колебаний, в геофизике, в метеорологии и т.д. Обратные задачи играют важную роль и при интегрировании нелинейных уравнений математической физики. В то же время, многие важные классы обратных задач, в силу их сложности, изучены недостаточно или совсем не изучены.

Центральное место в исследовании указанных задач занимают

проблемы существования, единственности, устойчивости, а также создание "эффективных" методов их решения. Что касается проблемы существования, то до настоящего времени нет критериев глобального решения этого вопроса. Имеется ряд теорем существования в малом для так называемых обратных задач для тела, близкого к данному, но даже в этом случае задачи не были полностью решены, что связано со значительными трудностями в исследовании уравнений, как правило, нелинейных, к которым сводятся эти задачи. Поэтому во многих случаях заранее предполагают существование глобальных решений этих задач и исследуют проблемы единственности и устойчивости. Следует заметить, что, вообще говоря, многие обратные задачи имеют не единственное решение. Поэтому одним из основных моментов в исследовании проблемы единственности является выявление дополнительных условий, накладываемых на решения, обеспечивающих их единственность. Трудность проблемы единственности состоит в том, что, как правило, указанные задачи эквивалентны нелинейным интегральным уравнениям первого рода с ядрами типа Урысона, для которых не удается применить известные

методы решений. С проблемой единственности тесно связана проблема устойчивости обратных задач. Для этих задач, записанных в виде уравнений первого рода, вообще говоря, сколько угодно малым вариациям правой части могут соответствовать конечные вариации решений. Для того, чтобы задача стала корректной, требуется накладывать ряд дополнительных ограничений о характере решений. Во многих случаях для выяснения устойчивости важно иметь различные характеристики отклонения решений в зависимости от отклонения правой части.

Наиболее полные результаты в теории обратных задач известны для дифференциального оператора Штурма-Лиувилля

= ~У" + я(х)у (1)

Обратные задачи для дифференциальных операторов (1) исследовались в работах В.А.Амбарцумяна, Г.Борга, М.Г.Гасымова, И.М.Гель-фанда, М.Г.Крейна, Б.М.Левитана, Н.Левинсона, В.А.Марченко, Ф.С.Рофе-Бекетова, В.А.Садовничего, А.Н.Тйхонова, Л.Д.Фаддеева и других.

Первый результат в этом направлении принадлежит В.А.Амбар-

цумяну (1929г.). Он показал, что если собственные значения крае-

вой задачи

Ly = Xy (qeC[0, тг]), У'{ 0) = 2/'(тг) = 0

суть Лк = к2, к > 0, то q = 0. Однако, результат В.А.Амбарцумяна является исключением и одного спектра, вообще говоря, недостаточно для однозначного определения дифферециального оператора (1). Впоследствии Г.Борг (1946г.) доказал,что два спектра {A¿J}, к > 0, j = 1,2 краевых задач для дифференциального оператора (1) на конечном интервале с распадающимися краевыми условиями вида

Щу) = Hjy'(0) + h¿y(0) - 0, V(y) ее у(Т) = 0,

¥=0

щ h н2 h2

однозначно определяют потенциал q(x). Н.Левинсон (1949г.) предло-

жил иной метод доказательства результатов Г.Борга.

Исследование разрешимости классической обратной задачи по двум спектрам с указанием достаточных условий проведено в работе [19] Б.М.Левитана и М.Г.Гасымова. Полученные результаты можно сформулировать следующим образом.

Рассмотрим классическую задачу Штурма-Л иу вил ля

-у" + ч{х)У = Ху (0 < х < 7г), < у'(0)-ку(0) = 0, у'(тг) + Ну (к) = О, где д(ж) —действительные.

Пусть {Ап} и {дп} — две последовательности чисел, удовлетворяющих условиям:

1. Числа Хп и цп перемеЖаются, т.е.

Ао < Но < А1 < /¿1 <X2<H2<...

или

//о < А0 < /¿1 < Ах < /Л2 < Х2 < —

2. Выполняются асимптотические формулы

у п п6 ^п4''

У п п6 ^П4'

где

1 1 } «о = -{^1 + я + 2 У

о

о

поэтому а'0-ао = -—(/12-^1) 0- Тогда при выполнении этих условий существуют абсолютно непрерывная функция q{x) и числа /г15 /г2, и Я такие, что {Л„} есть спектр задачи

-у" + д(х)у = Ху (0 < х < 7г),

< У'{0)-М0) = 0, ^(7Г)+Я2/(7Г)=0,

а {//„} — спектр задачи

-у" + я(х)у = Ху (0 < х < 7г),

< у'(0)-/122/(0) = О, у'(тг) +Ну (тг) = 0,

В общем случае одного спектра недостаточно для восстановления оператора. Обратная задача разрешима по одному спектру, например, в классе симметричных потенциалов. При этом предполагается, что спектр возмущенного оператора мало уклоняется от спектра основного оператора, порядок которого выше второго. Тогда в достаточно малом шаре ||д||2 < е существует единственный потенциал такой, что спектр возмущенного оператора совпадает с заданной по-

следовательностыо чисел. Вне указанного шара могут существовать и другие решения.

В теории обратных задач для дифференциальных операторов высших порядков известны результаты Р.Билса, П.Дейфта, З.Л. Лей-бензона, Л.А.Сахновича, В.В.Суханова, К.Томей, И.Г.Хачатряна, В.А.Юрко и др. В [21] З.Л.Лейбензон предложил метод решения обратной задачи, пригодный для операторов любого порядка п > 2. При этом оказалось, что в случае п > 2 для восстановления оператора недостаточно спектральных данных одной задачи и требуется рассмотрение некоторой вспомогательной системы задач.

Обратными задачами в смысле теории дифференциальных уравнений занимался А.И.Прилепко (см.[23]).

Обширная библиография посвящена обратным задачам для уравнений с частными производными и их приложениям. Это направление в теории обратных задач достаточно полно отражено в работах Ю.Е.Аниконова, Ю.М.Березанского, А.Л.Бухгейма, М.М.Лаврентьева, Л.П.Нижника, В.Г.Романова и др.

В [25] В.А.Садовничий и В.В.Дубровский доказали теорему един-

ственности решения обратной задачи для абстрактных операторов только по одному спектру и при условии "малости" возмущающего оператора. Результаты применяются к оператору Лапласа, заданному на прямоугольнике с потенциалом из Ь2. К этой работе по

v

своей тематике и методам примыкает [5]. Здесь сформулированы условия, при которых может быть восстановлен потенциал в классе ограниченных по максимуму функций. В [12], [14] В.В.Дубровский и А.В.Нагорный разработали метод восстановления потенциала и доказали его единственность. Результаты этих работ можно сформулировать следующим образом.

Рассмотрим в ¿2(П) краевую задачу:

/

77 = А/,

<

/ 1вп= О,

где Т = -А — оператор Лапласа, дП^ — граница прямоугольника

Qp1

П2 = {(%,у) • О < х < а, 0 < у < Ь}, (-р- — квадратическая иррацио-

оо

нальность). Введем оператор ТР = J \ЧЕ(Х) ( Е(А) — спектральное

о

разложение единицы, порожденное оператором Т) и обозначим через vtmn (i, m, п = 1,2,...) его собственные ортонормированные функции, отвечающие собственным значениям А¿топ, расположенным в

порядке возрастания.

n n

Если ß > 0, £ d-[l <00 (dt = ппп|А* - Лв|) и £ - Л<| <Ce(N< к=1 *=i

00), то в замкнутом шаре £7(0,6:) = {р(х,у) : ||р||оо < £} существует один и только один потенциал, удовлетворяющий условиям

р(а-х,у)=р(х,у)=р(х,Ь-у), (х,у)е П,

/[ р(х, у) cos 2™Xdxdy = J J p(x, у) cos IlE^Ldxdy = 0,

П П

и такой, что числа являются собственными значениями оператора

+ -Р (Р — оператор умножения на ре C(Uiß), Il1ß = {(х,у) : 0 <

а „ ч

ж <2, 0 < г/ < 2})•

Если же ß > 2,5, то для последовательности чисел

6 — \»m + + ßn + 7mn

такой, что

00 ОО 1 ОО 1

( Е l«m|2 + Е \ßn\2Y < ¿1, ( Е \1тп?У < ¿2,

m=l п=1 т,п— 1

где ¿1 = 62 = 62(е) в шаре U(0,e) = {р(х,у) : ||р||2 < е} суще-

ствует и притом единственный потенциал, удовлетворяющий условиям

р(а -х,у)= р(х, у) = р(х, Ъ-у), (ж, у) е П,

и р(х,у)<1х<1у = О,

п

и такой, что числа & являются собственными значениями оператора + Р (Р — оператор умножения на р е ^(П)). В [6] В.В.Дубровский сформулировал и доказал теорему о возможности восстановления потенциала из ^(П) по собственным числам четырех краевых задач

Т/ = Л/, / 1«п= 0;

1)

2)

Т! = л/, -о

где г» — внешняя нормаль к границе <9П прямоугольника П;

Г/ = А/,

з) /0,0) = /0,6) = 0, 0 < ж < а, = у), 0 < г/ < 6;

4)

Tf = А/,

/(0,у) = /(а,г/)=0, 0 <?/<&,

Ы дf

= 0 < ж < а.

Для доказательства этой теоремы используются методы работ [12], [14].

В [13] исследуется устойчивость решений обратных задач, полученных в [12], [14], [25].

Вторая глава диссертации посвящена решению обратной задачи для оператора Штурма-Л иу вил ля по смеси спектров двух краевых задач, а также степени оператора Лапласа, заданного на различных множествах, с потенциалом из Ьр по одному спектру. При решении используется метод сжимающего оператора. Доказана возможность восстановления потенциала как по всему спектру, так и по некоторой его части, конечной или бесконечной, в соответствующем классе потенциалов. В последнем параграфе исследуется устойчивость всех полученных решений.

Основные положения, выносимые на защиту

1. Решена обратная задача для оператора Штурма-Лиувилля по смеси (произвольному объединению) спектров двух краевых задач, полученной следующим образом: к-тый член этой последовательности является либо к-ым членом последовательности собствен-

ных значений задачи Дирихле, расположенных в порядке возрастания, либо &-ым членом аналогичной последовательности собственных значений задачи Неймана. При этом вычисляется размер шара, в котором существует единственное решение.

2. Решена обратная задача для степени операторана Лапласа, заданного либо на прямоугольнике, либо на трехмерном параллелепипеде, либо на п-мерном параллелепипеде, с потенциалом из Ьр по части спектра или по всему спектру. Размер шара также вычисляется.

3. Исследована проблема устойчивости решений обратных задач с потенциалом из определенного класса.

Основные результаты настоящей работы опубликованы в [7], [8],

[9].

Результаты настоящей диссертации докладывались на VII Бело- русской математической конференции, на 9-й Саратовской зимней школе, а также на научно-исследовательских семинарах В.А.Садов-ничего, А.И.Прилепко, В.Е.Подольского, С.А.Степина, Т.С.Типенко, В.В.Дубровского.

1 Вспомогательные утверждения

В этом параграфе приведем формулировки теорем, которые понадобятся нам в дальнейшем.

1 1

Теорема 1.1 (Хаусдорфа-Юнга) Пусть 2 <р < оо и - + — = 1,

(I) Предположим, что /(ж) е 1у(0, 27т) и что

1 2тг

¡(х)е-^Чх (п = 0,±1, ±2,...); (1)

о

тогда

1 27Г 1 о

(II) Пусть задана любая бесконечная в обе стороны последовательность {сп} комплексных чисел таких, что \\с\\р> < оо; тогда существует функция / е 27т), для которой имеет место (1) и

1 2ж 1 о

Замечание. Ив (I), и в (II) заключение делается от р' к р, т.е. от меньших индексов к большим. Результат перестает быть верным, если заменить р1 на р.

Теорема 1.2 Пусть фиксирована некоторая функция /(ж) иКг[/] = 1 2?

= у |/(ж)|гаЬ)г, г > 0. Тогда Ыг[/} — неубывающая функция. о

Доказательство этих теорем можно найти в [16, с.153] и [15, с.48] сответственно.

Теорема 1.3 (Лиувилля) Для любого действительного алгебраического числа а степени п можно подобрать положительное число С, зависящее только от а, такое, что для всех рациональных чисел ^ (Ь 0, ^ а) будет иметь место неравенство

а . С

а

Ъ ~ Ьп'

Теорема 1.4 (Лиувилля (усиленная)) Пусть аг (г = 1,2,...) —

линейно независимые над полем рациональных чисел С^ действительные алгебраические числа, V — степень поля (¿(а 1,..., ап), I,..., ап) — поле, получающееся из и а^,..., ап. Тогда

С (а 1,...,ап)

Е (liai i=1

>

где ií = max(|gi|,..., \qn\), Qi — целые числа, не равные нулю одно-

1 <i<n

временно, С (a i,...,cvn) —положительное число, зависящее только от ai, ...,an.

Доказательство теорем Лиувилля можно найти в [3].

Теорема 1.5 Пусть а^, а2 — алгебраические числа и 1, ai, a<¿ линейно независимы над полем рациональных чисел Q. Тогда для любого е > 0 найдется постоянная C{o¿\, се2, е) такая, что

¡qi*l+q2a2+qs\>C(ai¿%> е\

где Н = max(|q\\, |g2|, |<?з1)5 <72 > %—целые числа, не равные нулю одновременно.

Доказательство этой теоремы можно найти в [30].

2 Решение обратных задач

спектрального анализа

2.1 Восстановление потенциала в обратной

задаче для оператора

Штурма-Лиувилля по смеси двух

спектров

Ниже доказана теорема о возможности восстановления оператора Штурма-Лиувилпя по смеси (произвольному объединению) собственных значений двух краевых задач (Дирихле и Неймана).

Договоримся под Ь2 понимать пространство классов эквивалентных суммируемых с квадратом функций у : [0,7г] С и нормой

Пусть Тт : Ь2 Т? = -у" — оператор Штурма-Лиувилля,

либо с краевыми условиями Дирихле

\\у\\2 = \у{х)\Чх , где С

\ 2

/

множество комплексных чисел.

2/(0) = у(тг) = 0 (при этом будем писать Т — Б)

либо с краевыми условиями Неймана

у'(0) = у'{ж) = 0 (при этом будем писать Т = Аг);

— собственные ортонормированные функции оператора Т^, отвечающие собственным значениям Л^(0); при этом

А^(0 ) = п2, где п —

0,1,... (r = N),

v*\x) =

sinna;

ж

Т 12

ж ' V ж

cos пх N), п = 1,2,.

г =

Положим \

1+^-1

у/ж21

I — натуральное число (I > 1);

■ Р(А,Т^) = (Т* - ХЕ)~\ + Р) = (Тт + Р - АР)-1,

где Р — оператор умножения на некоторую функцию (потенциал) р е Ь'2, удовлетворяющую условиям

Ро(х) =р0(ж-х),

(1)

и

Л

J po(x)dx = 0;

(2)

с1п = |Л„(0) - Л„_1(0)| (при этом оказывается йп = 2п - 1);

2

1п = {X:\X-п2\ = с1п/2}; фп(х) = ~^=соб2пх.

Теорема 2.1 Если последовательность комплексных чисел ц^ — N. I), п — 1,2,...), расположенных в порядке возрастания действительных частей с учетом кратностей, такова, что

оо

Е1^-п2|2<2^, (3)

п= 1

то в шаре II = {р : \\р\\2 < \/7г21е} существует и притом единственный потенциал ро, удовлетворяющий условиям (1),(2); при этом ¡1? = Х£(ро), где А^(р0) — собственные числа оператора Тт + Ро, Лз — оператор умножения на ро.

Замечание. Числа суть собственные значения либо оператора Т° + Ро? либо оператора Тн + Ро? ПРИ этом к-ът член последовательности ^ является либо к-ым членом последовательности , либо к-ым членом последовательности

Доказательство. Пусть р е 17 — произвольная функция. Рассмотрим ряды

оо

п=1

оо

п=1

где

причем знак " - " в (4), (5) берется, если ^ = В, и " + ", если Т = N. Ряд (4) в сипу (3) сходится почти всюду (п.в.) к некоторой фун-

кции д е Р2- Имеем

д{х) = л/ж £ ±(/< - П2)фп(х)

(6)

71=1

Займемся рядом (5). В силу неравенств (см. [14])

72

получим

\Яп{р) \ — При ||р||2 <

(/ РР(А, Г^ + Р)РР(А, Г^Х^А,

<

2|И1

7г(2П - 1)'

£ < (|)2»Рй|1 (¿^==■» < »,

и ряд (5), в силу теоремы Рисса-Фишера, сходится п.в. в 1/2- Имеем оператор '.V ^

оо

(Уре17) Я{р) = \/тг £ Яп^-Фъ

п= 1

Сказанное позволяет ввести оператор (9 : V 1/2,

(\fpeU) 0(р) = д-<Э(р).

Покажем, что (т — оператор сжатия. Воспользовавшись нера-

венствами (7), получим (Ур,р е £/)•

\о£(р)-ят\ =

2тг

(/ РД(А,Т^ + Р)РР(А, ¿А, V?) -

1п

- (/ РР(А,Т^ + Р)РЛ(А,Т^)^с1А,^)

<

<

2тг

(/(Р-Р)Р(А, Г^ + Р)РР(А,

+

+

2тт

(I Р(Я(А,Т^ + Р) -Я(А,Г^ + Р))РЛЕ(А,Г^)г;^А,^)

1п

1

+

+

2тт

1п

- (|1р||2 + И2|» + 1№).

тг(2П-1)

Теперь согласно равенству Парсеваля

оо

\\Qip) - ЖР)II = уЩ ( Е \Яп (р) - ®12) <

т=1

<

2(11^112 + 11^11211^112 + 11^112), л/7Г

00

\p-Ph\T,

1

_2{\\р\\2 + \\рм\рь + \ш тг

л/к

2л/2

\\P-Ph

+ \\шр\\2 + №\2)\\р-рь = 1\\р-р\\2,

где 7

+

\\р\Ы\р\\2 + ||Р||2) < У^(2л/7г2/£ + 7Г221£2).

ПрИ £ (

\

у/тс2*

л/тг2'

7 < л/1

V

л

получаем

/

г , ^(2' -1) 2, ! , ^-1) !

1 + {V л/5г2' "

2\

2

-1) _ 2/ - 1

<1.

Теперь

II0(р) - 0{р)ь = IIд - <Э(р) -(д- д(р))||2 = \\Qip) - д(р)||2 < 711Р - р||2.

Наконец, положив р = 0, получим

\\0(р)\\2<\\р\\2<^21е,

и поэтому действует в шаре 17 и является оператором сжатия.

. В соответствии с принципом сжимающих отображений в шаре 11 существует и притом единственное решение ро уравнения

Р = 0{р)

(8)

Покажем, что ро и есть искомый потенциал. Дополним ряд

00 00

Л/ТГ Е - П2)фп(х) (Р)фп(х)

п=1 п=1

членом аофо (фо = -у=) с нулевым коэффициентом Œq с тем, чтобы

\/7г

иметь разложение по полной орт ©нормированной на [0; 7г/2]