Об обратных узловых и спектральных задачах для краевых задач с условиями разрыва внутри интервала Текст научной статьи по специальности «Математика»

Сопоставляя (4.1), (4.2) с (2.5), мы приходим к следующему утверждению.

Теорема 2. Пусть а > 0 и 82нп4<а. Тогда существует постоянная с(а) > 0 такая, что

/________ 14 -1/2

|Рп(х)|<с(а) (дмп5/2 + 1^ ( VI - х2 + п] (-1<х<1).

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

Библиографический список

1. Даугавет И.К., Рафальсон C.З. О некоторых неравенствах для алгебраических многочленов // Вестник Ленингр. ун-та. 1974. № 19. С. 18-24.

2. Сеге Г. Ортогональные многочлены. М.: Физматгиз, 1962.

3. Суетин П.К. Классические ортогональные многочлены. М.: Наука, 1979. С. 244-271.

4. Конягин C.В. О неравенстве В.А. Маркова для многочленов в метрике Ь // Труды Мат. ин-та АН СССР. 1980. № 145. С. 117-125.

5. Шарапудинов И.И. Смешанные ряды по ортогональным полиномам. Махачкала: Изд-во ДНЦ, 2004. С. 35-36.

УДК 517.984

ОБ ОБРАТНЫХ УЗЛОВЫХ И СПЕКТРАЛЬНЫХ ЗАДАЧАХ ДЛЯ КРАЕВЫХ ЗАДАЧ С УСЛОВИЯМИ РАЗРЫВА ВНУТРИ ИНТЕРВАЛА

В.А. Юрко

Саратовский государственный университет,

кафедра математической физики и вычислительной математики

E-mail: YurkoVA@info.sgu.ru

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

On Inverse Nodal and Spectral Problems for Boundary Value Problems with Discontinuity Conditions Inside the Interval

V.A. Yurko

The solution of inverse nodal and inverse spectral problems is presented for second-order differential operators on a finite interval with discontinuity conditions inside the interval. Connections between these two classes of inverse problems are established.

1. ВВЕДЕНИЕ

В статье исследуются обратные узловые и обратные спектральные задачи для дифференциальных операторов. Обратные спектральные задачи заключаются в восстановлении дифференциальных операторов по их спектральным характеристикам. Подобные задачи играют фундаментальную роль в различных разделах математики и имеют много приложений в естествознании и технике (см., например, [1]-[4] и список литературы в них). Обратные узловые задачи заключаются в построении операторов по заданным узлам (нулям) собственных функций [5]-[7]. В данной работе получены результаты по обратным спектральным и узловым задачам для дифференциальных операторов Штурма - Лиувилля на конечном интервале с условиями разрыва внутри интервала, а также выявлены тесные связи между этими двумя классами обратных задач.

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

-у" + д(х)У = Ау (1)

на конечном интервале 0 < х < Т с краевыми условиями Дирихле

у(0) = у(Т) = 0 (2)

и с условиями разрыва

у(Т/2 + 0) = а1у(Т/2 - 0), у/(Т/2 + 0)= а! 1у/(Т/2 - 0) + а2у(Т/2 — 0). (3)

© В.А. Юрко, 2008

31

Здесь Л - спектральный параметр, q(x) е L(0,T), ai, a2 - вещественны, ai > 0. Не нарушая

общности, в дальнейшем считаем, что JQT q(x) dx = 0.

Краевые задачи с условиями разрыва внутри интервала связаны с разрывными свойствами среды. Например, разрывные обратные задачи встречаются в радиоэлектронике при синтезе параметров неоднородных линий передач с заданными техническими характеристиками [8]-[9]. Спектральная информация может быть использована для восстановления коэффициентов, характеризующих свойства одномерных разрывных сред [10]-[11]. Краевые задачи с условиями разрыва во внутренней точке появляются также в геофизических моделях земного шара [12]-[13]. Разрывные обратные задачи в различных постановках рассматривались в [14]-[17] и других работах.

2. ОБРАТНАЯ СПЕКТРАЛЬНАЯ ЗАДАЧА

В этом разделе исследуется так называемая неполная обратная задача восстановления потенциала q(x) по заданной части спектра краевой задачи B вида (1)-(3). При этом предполагается, что потенциал известен априори на части интервала. Получены условия согласования искомой части спектра с величиной интервала восстановления потенциала. Отметим, что в общем случае для восстановления q(x) на всем интервале (0, T) необходимо задание двух спектров краевых задач с различными краевыми условиями на одном из концов интервала [17].

Лемма 1. Краевая задача B имеет счетное множество собственных значений {Лп}п>1. Все собственные значения являются простыми вещественными и при n ^ го

+¿(u+(—1)n—Ч ЧП), (4)

Р T Ti р T р T/2 i —1 —1

где и = J q(t) dt+^U ^ ( J q(t) dt- 2 J q(t) dt) + a22, 61 = b1 ^b1 , 62 = b1 ^ •

Доказательство. Пусть S(x, Л) - решение уравнения (1), удовлетворяющее начальным условиям y(0) = 0, y'(0) = 0 и условиям склейки (3). Пусть Л = р2, т := Imр. При |Л| ^ го равномерно по x имеют место асимптотические формулы [17]:

sinрх cosрх fx , , , ( 1 ,, , T

S (х,Л) =--------7Г^ q(t) dt + o —z exp (| т | x) , x<—, (5)

р 2р2 J0 \р2 J 2

/, sinрx , sinр(Т — x)\ , cosр^ ^ , cosр(Т — x)\

S(x> Л) = (&1 + b2 ~^¿) + f1(x) -2рг + f (x) —^¿) +

+о(р2 ехр(|ти)> x >T, (6)

/1 (x) = — 61 f q(t) dt — a2, /2(x) = 62 ( Í q(t) dt — 2 Í q(t) dt) + a2•

где

Обозначим Д(А) := $(Т, Л). Функция Д(А) является целой аналитической по Л порядка 1/2, и ее нули {Ап}п>1 совпадают с собственными значениями краевой задачи В. Из (6) вытекает, что при |А| ^ го справедлива асимптотика

, (sin pT cos pT ^і \ ( 1 Irri,\

Д(А) = bi (_ - ш ____ + _) + 0(_ exp(|T|T^. (7)

Используя (7) и теорему Руше [18], известным методом (см, например, [4]) получаем

пп ,

Рп = Т + 0(1), П ^ ГО.

Подставляя это выражение в (7), приходим к (4). Так как краевая задача В является самосопряженной, то все собственные значения (Лп}п>і являются вещественными и простыми. □

Наряду с В рассмотрим краевую задачу В = В(д) того же вида, но с другим потенциалом д. Условимся, что если некоторый символ а обозначает объект, относящийся к задаче В, то а обозначает аналогичный объект, относящийся к задаче В.

Теорема 1. Зафиксируем Ь Є (0,Т/2). Пусть Л с N- подмножество натуральных чисел, а О := (Лп}пЄл- часть спектра задачи В такая, что система функций {сов2рпж}пЄл полна в Ь2(0, Ь). Пусть д(х) = д(х) п.в. на (Ь,Т), О = О. Тогда д(х) = д(х) п.в. на (0,Т).

Доказательство. Обозначим (у, г} := уг/ — у'г. Так как

—^(х, Л) + д(х)£(х, Л) = Л£(х, Л), — <§//(ж, Л) + д(х)/§(х, Л) = Л/§(х, Л),

£(0, Л) = ¿(0, Л) = 0, (£(х, Л), ¿(х, Л)}х=т/2+0 = (£(х, Л), ¿(ж, Л)}х=т/2-о ,

то

/■ T

r(x)S(x, A)S(x, Л) dx = S'(T, A)S(T, A) - S(T, A)S'(T, A),

'0

где r(x) = q(x) — g(x). Используя условия теоремы, получаем

г b

r(x)S(x, An)/S'(x, An) dx = 0, n є Л. (8)

0

При x < T/2 справедливо представление (см. [1], [2], [4]):

S (х,А) = 51ПРХ + /x K (х,^ dt,

P JO P

где K(x,t)- непрерывная функция, не зависящая от А. Следовательно,

2р2S(х, А)/§(х, А) = 1 — cos2px — [ V(х, t) cos 2pt dt, (9)

0

где V(х, £)- непрерывная функция, не зависящая от А и выражающаяся через К(х, £) и К"(х, £). Подставляя (9) в (8) и учитывая соотношение /0Т г(х) dx = 0, получаем

0

0

^r(x) + / V(t,x)r(t) dt) cos2pnxdx = 0, n є Л,

и, следовательно,

r(x) + / V(t, x)r(t) dt = 0 п.в. на (0, b).

J X

Так как однородное интегральное уравнение Вольтерра второго рода имеет только нулевое решение, то отсюда заключаем, что r(x) = 0, п.в. на (0, b), т.е. q(x) = g(x) п.в. на (0, b). □

3. ОБРАТНАЯ УЗЛОВАЯ ЗАДАЧА

В первой части этого раздела получены теоремы единственности и процедура восстановления потенциала q(x) на всем интервале (0, T) по всюду плотному подмножеству узловых точек. Во второй части раздела выявлены связи между обратными спектральными и обратными узловыми задачами. С использованием этих связей, в частности, доказано, что при некоторых дополнительных условиях потенциал q(x) может быть восстановлен на всем отрезке (0, T) по подмножеству узловых точек, расположенных только на части отрезка. При исследовании этой неполной обратной узловой задачи используются результаты предыдущего параграфа по обратным спектральным задачам.

Собственные функции задачи B имеют вид yn(x) = S(x, An). Отметим, что yn(x) являются вещественнозначными функциями. Подставляя (4) в (5)-(6), получаем асимптотические формулы при n ^ го равномерно по x:

, , . nn 1 / ^ fx , , , , \ nn /1\ T

Pnyn(x)=sm —x + 2ПП I J q(t) dt + wx + (-1) wix I cos —x + 0 I n ) , x< 2, (10)

Pnyn(x) = (b+ + (-1)n_ib_) sin nTnx + ¿(Tf!(x) + (-1)nTf2(x) +

+b+ (w + (-1)n-iWi)x + b_ (w + (-1)n-iWi )(T - x)) cos ^T-x + ^n) , x>T. (11)

Для краевой задачи В справедлив аналог теоремы Штурма об осцилляции. Точнее, собственная функция уП (х) имеет ровно п — 1 (простых) нулей внутри интервала (0, Т): 0 < хП < ■ ■ ■ хП-1 < Т. Множество ХВ := {хП}п>2 j=1 п-1 называется множеством узловых точек краевой задачи В. Доопределим хП := 0, хП := Т.

Обратная узловая задача заключается в построении потенциала д(х) по заданному множеству ХВ узловых точек или некоторой его части. Обозначим Хд := {х2т-к}т>1 ^=1 2т-к-1, к = 0,1. Множества ХВ являются всюду плотными на (0, Т) и Хд и Хд = ХВ.

Учитывая (10)—(11), получаем асимптотические формулы для узловых точек при п ^ го равномерно по з:

зТ Т / гзт/П

— ---+

Xn n + 2n2n2

(т J* q(t) dt - (^ 7)jT) + 0(^2) ’ хП є (0, T/2), n = 2m,

jT + T n 2n2 n2

'0

rjT/n

(Т 0 q(t) dt - (7 + 7 )jT) + 0(^2) ’ хП Є (0, T/2), n = 2m - 1,

xn - f + 5Í(T Г«)*- ^ ' '1

+ co) + o( —2), хП Є (T/2,T), n — 2m,

jT + T n 2n2 n2

0n [' q(t) dt - (7 + 71) jT + c1) + o( -1 ), ХП Є (Т/2, T), n — 2m - 1,

0 n n2 n

где

2Tbg

r-T/2

Со —

Сі —

bl - b2 Jo 2Tb2 /‘T/2

q(t) dt -

Tb2(w - 71) bl - 62

q(t) di + T62(7 + 71) + 2T“2

(12)

61 + b2J0 &1 + 62 61 + Ь2

Используя вышеприведенные асимптотические формулы, приходим к следующему утверждению.

Теорема 2. Зафиксируем к = 0 V 1 и х е [0, Т]. Пусть последовательность {хП } е Хд выбрана так, что Нш хП = х. Тогда существует конечный предел

gk (х) :— lim

2п2 n Т 2

хП n - jnT ь

причем

Г , ч , 7 + (-1)к+1^1 т

gk(х) — q(t) dt--------------------------—-х, х <

0

Т

2

Г ^ , 7 + (-i)k+V т

gk(х) — q(t) dt-----------------------—-х + Ck, х > —

(13)

(14)

0

Т

2

где с0 и сі определяются по формулам (12).

Приведем теперь теорему единственности и процедуру решения обратной узловой задачи.

Теорема 3. Зафиксируем к = 0 V 1. Пусть X с - всюду плотное на (0, Т) подмножество узловых точек. Пусть X = X. Тогда д(х) = д(х) п.в. на (0,Т). Таким образом, задание множества X однозначно определяет потенциал д(х) на (0, Т). При этом функция д(х) может быть построена по формуле

?(х) = 0*(х) — Т (0*(Т) — 0*(0)), (15)

где д* (х) вычисляется по формуле (13).

Доказательство. Формула (15) следует из (14) и соотношения д(х) dж = 0. Если X = X, то из (13) вытекает, что д*(х) = д*(х), х Є [0,Т]. В силу (15) это дает д(х) = д(х) п.в. на (0,Т). □

Аналогичным образом доказывается следующее более общее утверждение.

Теорема 4. Пусть X с XB- всюду плотное на (0, Т) подмножество узловых точек. Пусть X = X. Тогда д(х) = д(х) п.в. на (0,Т).

n

n

Перейдем теперь к исследованию неполной узловой задачи, когда узловые точки заданы лишь на части интервала. Предварительно докажем вспомогательное утверждение.

Лемма 2. Зафиксируем n, j. Пусть xjn = ХП, хП+1 = ХП+1 и пусть q(x) = а(х) п.в. на (хП, хП+1 ).

Тогда Ап = An.

Доказательство. На интервале x е (хП,хП+1) рассмотрим краевую задачу Bnj- для уравнения (1) с условиями склейки (3) (если T/2 е (хП,хП+1 )) и краевыми условиями Дирихле у(хП) = у(хП+1) = 0. Функция уп (х) = S(х, Ап) является собственной функцией краевой задачи B и одновременно является собственной функцией задачи Bnj. Так как уп(х) не имеет нулей при x е (хП,хП+1), то Ап является первым собственным значением задачи Bnj-, а уп(х) - первой собственной функцией. Так как q(x) = а(х) п.в. на (хП,хП+1), то Ап = Ап. □

Для X с XB обозначим Лх := {n : 3j хП е X}.

Определение 1. Пусть X с Xb. Множество X называется сдвоенным, если вместе с любой своей точкой хП множество X содержит по крайней мере одну из соседних узловых точек хП-1 и/или ХП+1.

Теорема 5. Зафиксируем к = 0 V 1 и b е (0,Т/2). Пусть X с XB П (b, T) — всюду плотное на (b, T) сдвоенное подмножество узловых точек такое, что система функций {cos2pnх}пеЛх полна в L2(0,b). Пусть X = X. Тогда q(x) = а(х) п.в. на (0,Т).

Доказательство. Так как X = X, то по теореме 3 (х) = Afc(х) при x е (b, T), и, следовательно,

gk(х) = Ak(х) п.в.на (b,T). Вместе с (14) это дает q(x) — а(х) = d п.в.на (b,T), где d константа. Обозначим q0(х) := а(х) + d, x е (0,Т). Тогда q(x) = q0(x) п.в. на (b,T). Пусть {АП}п>1 — спектр задачи B(q0). По лемме 2 Ап = АП при n е Лх. Применяя теорему 1, получаем q(x) = q0(х) п.в. на (0, T), т.е. q(x) = а(х) + d п.в. на (0,Т). Учитывая соотношение J0T q(t) dt = J0T A(t) dt = 0, вычисляем d = 0, т.е. q(x) = а(х) п.в. на (0,T). □

Работа выполнена при финансовой поддержке РФФИ (проекты 07-01-00003 и 07-01-92000-ННС-а).

Библиографический список

1. Марченко В.А. Операторы Штурма - Лиувилля и их приложения. Киев: Наук. думка, 1977.

2. Левитан Б.М. Обратные задачи Штурма - Лиувилля. М.: Наука, 1984.

3. Yurko V.A. Method of Spectral Mappings in the Inverse Problem Theory. Inverse and Ill-posed Problems Series.

Utrecht: VSP, 2002.

4. Юрко В.А. Введение в теорию обратных спектральных задач. М.: Физматлит, 2007.

5. McLaughlin J.R. Inverse spectral theory using nodal points as data — a uniqueness result // J. Differ. Equat.

1988. V.73. P.354-362.

6. Shen C.L., Tsai T.M. On a uniform approximation of the density function of a string equation using EVs and nodal points and some related inverse nodal problems //

Inverse Problems. 1995. V. 11, № 5. P. 1113-1123.

7. Law C.K., Yang C.-F. Reconstructing the potential function and its derivatives using nodal data // Inverse Problems. 1988. V. 14, № 2. P. 299-312.

8. Литвиненко О.Н., Сошников В.И. Теория неоднородных линий и их применение в радиотехнике. М.:

Сов. радио, 1964.

9. Мещанов В.П., Фельдштейн А.,Л. Автоматизированное проектирование направленных ответвителей СВЧ.

М.: Связь, 1980.

10. Shepelsky D.G. The inverse problem of reconstruction of the medium‘s conductivity in a class of discontinuous

and increasing functions // Spectral operator theory and related topics. Advances in Soviet Math. 19, Amer. Math. Soc., Providence, RI, 1994. P. 209-232.

11. Krueger R.J. Inverse problems for nonabsorbing media with discontinuous material properties // J. Math. Phys. 1982. V. 23, № 3. P. 396-404.

12. Anderssen R.S. The effect of discontinuities in density and shear velocity on the asymptotic overtone structure of tortional eigenfrequencies of the Earth // Geophys. J.R. Astr. Soc. 1997. V. 50. P. 303-309.

13. Lapwood F.R., Usami T. Free Oscillations of the Earth. Cambridge: Cambridge University Press, 1981.

14. Hald O.H. Discontinuous inverse eigenvalue problems // Comm. Pure Appl. Math. 1984. V. 37. P. 539-577.

15. Freiling G, Yurko V.A. Inverse spectral problems for singular non-selfadjoint differential operators with discontinuties in an interior point // Inverse Problems. 2002. V. 18. P. 757-773.

16. Юрко В.А. О краевых задачах с условиями разрыва внутри интервала // Диф. уравнения. 2000. Т. 36, № 8. С. 1139-1140.

17. Yurko V.A. Integral transforms connected with discontinuous boundary value problems // Integral Transforms and Special Functions. 2000. V. 10, № 2. P. 141-164.

18. Привалов И.И. Введение в теорию функций комплексного переменного. М.: Наука, 1967.