Некоторые свойства решений Йоста уравнения Шр¨едингера с потенциалом-распределением

ISSN 2074-1871 Уфимский математический журнал. Том 9. № 4 (2017). С. 60-73.

УДК 517.9

НЕКОТОРЫЕ СВОЙСТВА РЕШЕНИЙ ЙОСТА УРАВНЕНИЯ ШРЁДИНГЕРА С ПОТЕНЦИАЛОМ^РАСПРЕДЕЛЕНИЕМ

Р.Ч. КУЛАЕВ, A.B. ШАБАТ

Аннотация. Работа посвящена задаче кардинального расширения пространства потенциалов в обратной задаче рассеяния для линейного уравнения Шрёдингера на числовой прямой. Рассматривается оператор Шрёдингера с потенциалом из пространства обобщенных функций. Это расширение включает в себя не только потенциалы типа ¿-функции, но и экзотику типа функции Кантора. На этом пути устанавливаются условия существования и единственности решений Иоста. Изучаются их аналитические свойства. Приводятся некоторые оценки для решений Иоста и их производных. Показывается, что уравнение Шрёдингера с потенциалом-распределением можно равномерно аппроксимировать уравнениями с гладкими потенциалами.

Ключевые слова: обратная задача рассеяния, уравнение Шрёдингера, решения Иоста, дельтаобразный потенциал, сингулярный потенциал, потенциал-распределение.

Mathematics Subjects Classifications: 34L25, 35J10, 37К15

Основное содержание данной статьи посвящено задаче расширения пространства потенциалов в обратной задаче рассеяния для линейного уравнения Шрёдингера на всей вещественной оси

Ах =

При изучении обратной задачи рассеяния фундаментальную роль играют аналитические свойства специальной фундаментальной системы решений уравнения Шрёдингера с экспоненциально растущей на бесконечности асимптотикой (решения Иоста). В классической теории рассеяния уравнение (1) рассматривается при условии, что потенциал q(x) является суммируемой функцией, удовлетворяющей условию

оо

/(Ж ) 1 ф)| <ъ< <».

— о

Условия на функцию q возникают естественным образом из требования существования и единственности решений Иоста, а также возможности их аналитического продолжения для комплексных значений параметра к [1]-[3]. В данной работе изучаются математические свойства уравнения Шрёдингера (1) с потенциалами, являющимися обобщенными производными функций ограниченной вариации. Интерес к уравнениям с обобщенными коэффициентами в последнее время неуклонно растет (см., например, [4]-[10] и библиографию там же). Рассмотрение уравнения Шрёдингера (1) с потенциалами, являющимися

R.Ch. Kulaev, A.B. Shabat, Some properties for Jost functions of a Schrodinger equation yyjipjj distribution potential.

©Кулаев Р.Ч., Шабат A.B. 2017.

Работа выполнена при поддержке гранта РНФ №15-11-20007.

Поступила 23 мая 2017 г.

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

изучаются в пункте 1 настоящей статьи. Там же доказывается непрерывность решений Йоета на всей вещественной оси и устанавливаются базовые оценки. Во втором пункте изучаются более тонкие свойства решений Йоета, показывается, что решения принадлежат WOc1, выводятся оценки для их производных, В третьем пункте показывается, что оператор Шрёдингера с потенциалом, являющимся обобщенной производной функции ограниченной вариации, можно рассматривать как равномерный предел операторов с гладкими потенциалами, В этом случае, как следует из результатов работ [4, 5], все решения дифференциального уравнения принадлежат W1O'c1-

U

1. Решения Иоста. Пусть Q - вещественная функция, заданная на всей числовой оси R, и

m

VQ(x) = supj^ IQ(xi+i) — Q(xi)|,

i=1

где супремум берется по всем m G N и всем [xi }^=1 таким, что

—то < x1 < x2 < ... < xm < x < то.

Определим полную вариацию функции Q как предел Vq = lim Vq(x). Обозначим через

BV пространство всех вещественных функций, имеющих на R ограниченную вариацию, а через М — множество всех функций, каждая из которых является обобщенной произ-

B V

Раеемотрим уравнение Шрёдингера (1), потенциал q которого является элементом М и q = Q', Q G BV. В первую очередь нас интересует вопрос о существовании у рассматриваемого уравнения решений Йоета, Как уже отмечалось выше, решения Йоета образуют

асимптотиками на отрицательной и положительной бесконечностях. Стандартный метод в теории обыкновенных дифференциальных уравнений, применяемый для доказательства существования и единственности решений уравнения, удовлетворяющих начальным условиям, заключается в переходе к эквивалентному интегральному уравнению, В этом случае метод последовательных приближений позволяет получить условия существования решения с заданными начальными данными. Поскольку решений с заданной асимптотикой на бесконечности у уравнения (1) много, то предельный переход xo ^ то в задаче Коши с данными в конечной точке x0 G R проблему не решает. Поэтому для построения фундаментальной системы решений приходится отдельно использовать условия при x ^ то и x ^ —то. Кроме того, имеется еще и проблема аналитического продолжения фундаментальной системы решений как функций комплексного параметра к. Именно требование аналитичности выделяет решения Йоета,

Пусть К+ = [к G C, Rek > 0}. Обозначим через ^±(x, к), x G R, к G К+, функции, определяемые при помощи следующих соотношений

х

ф+(х, к) = ф+(Х, к)etz, ф+(х, к) = 1 + J R(x — у, к)ф+(у, k)dQ(y),

i)~(x, k) = ф~(x, к)e~kx, ф-^^) = 1+ R(y — x, к)ф~(у, к)dQ(у),

в которых

1 _ р-2%

П

а в (у) - функция Хевиеайда, При этом интегралы в (2) понимаются в смысле Римана-Стильтьеса, а ядро (3) удовлетворяет в К+ оценке

о

\П

-у

Функции определяемые с помощью соотношений (2), назовем решениями Иоста, уравнения Шрёдингера, Эти специальные решения удовлетворяют условиям ф+(х, к) ~ екх при х ^ — ж и ф-(х, к) ~ е-кх при х ^ ж.

Теорема 1. Для, любого к Е К + решения Иоста ф±(х,к) уравнения Шрёдингера (1) однозначно определяются, соотношениями (2), если выполнено условие

сю

[

При каждом фиксированном к Е К + решения ф±(х, к) интегральных уравнений (2) непрерывны, на, всей числовой оси, а, для, каждого фиксированного х Е К являются, непрерывными функциями па,ра,м,етра, к в ККроме того, ф±(х, к) аполитичны в полуплоскости Пек > 0 и удовлетворяют следующим оценкам:

О)

\ф+(х,к) — 1\< ехр{ I Уд(у)<!у \ ! Уд(у)<!у,

-с

с

1Ф-(х, к) — 1\ < ехр{ I (Уд — Уд(у)) ¿у \ [(Уд — Уд (у)) ¿у, к Е К+;

\ф+(х,к) — 1\ < С+(1+ тах{х, 0}) / (1 + \х\)ё.Уд(х),

-с

1ф— (х, к) — 1\ < С-(1+тах{—х, 0}) / (1 + \х\)с1Уд(х),

где константы С± не зависят от к Е К+;

|ф+(х,к) —11 <~кГехр \ТО < ]к\ ехр I¥\ I,

и-( к) ^ Уд — Ур(х) } Уд — Уд(х) \.Уд (Уд \ |ф (х,к — 1\<~{к\— ехр\ —<\к\ ехр1 ¥\\

где к Е К+ \ {0}.

X

^ Используем метод последовательных приближений, чтобы определить условия, при которых существуют решения Йоета задач (2), Ввиду аналогии рассуждений мы проведем выкладки только для первого уравнения. Покажем, что при к € решение ф+ (х, к) соответствующего интегрального уравнения существует и может быть найдено в форме

ф+(x, к) = 1 + ^2 к(x, к),

п=1

X

fn+1(x, к)= j R(x — y, к) fn(y, k)dQ(У), fo(x, к) = I.

— X

Для доказательства сходимости ряда (6) используем неравенство (4):

х

< (x — y)dVQ(y) = (x — y)VQ(y)\[' + VQ (y)dy.

x

— x

Если положить, что

П] У (п +1)1'

— те

Из оценки (8) следует, что ряд теории возмущений (6) мажорируется рядом

Мп

e м (х) = 1 + ^2

lim \x\VQ

X^ — X

то получим оценку для \ f1(x, к)\

X X

\ h(x, к)\< У (x — y)dVQ (у)= У VQ(y)dy = M(x). —X —X

Покажем, что члены ряда (6) допускают оценку

\Ux^)^ Mix.

Привлекая индукционные рассуждения, имеем

X X

\ fn+1(x, к)\< J \R(x — у,к)\\fn(y, к)\ dVQ (у) = lj(x — y)Mn(y)dVQ(y). —X —X

Интегрируя по частям, окончательно получим

X X

\in+1 (x,к)\< 1J Vq(y)Mn(y)dy — J^—Jyj Vq(y)(x — y)Mn—1(y)dy < —X —X

x

< VQ

m

n=1

X

Поэтому можно утверждать, что если выполнено условие

о

[ \x\dVqix) < ж,

то ряд (6) равномерно сходится на любом промежутке (-ж, Ь], Ь < ж. Действительно, неравенство (5) гарантирует выполнение (7) и М(Ь) < ж. Отсюда следует, что функция ф+(х, к) непрерывна при Не к > 0 аналитична при Не к > 0 и удовлетворяет соответствующему неравенству из (1),

Аналогично можно получить, что при выполнении условия

хвУ

о

функция ф- (х, к) непрерывна при Не к > 0 и аналитична при Не к > 0 и удовлетворяет своему неравенству из (1),

Сводя условия

] \х\вУд(х) < у (1 + \х\)дУд(х) < ж.

—те —те

Докажем теперь неравенство (и) для ф+(х,к). Привлекая (4), имеем

X

\ф+

0 х

< 1+[ \у\\Ф+(у,к)\йУд(у)+ [ х\ф+(у,к)\йУд (у).

Так как \ф+(у, к)\ < ем(0) при у < 0, то из (5) следует

X

\ф+

—те

причем константа С те зависит от к & К+. Деля обе части интегрального неравенства на С(1 + \ж\) и вводя обозначение х(х,к) = ' получим неравенство

х

\х(х,к)\ < 1+ ! (1 + \у\)\х(у,туя(у),

— те

которое е учетом (5) можно решить методом итераций:

|Xo(х, к)\ = 11,

X X

ЫхМ< I (1 + ШУЯ(у) = (1 + х)УЯ(х) - I Уд(у)<11у1 = М\ (х),

—те —те

¿Мх(х) = (1 + х)вУд(х) + Уд(х) с1х — Уд(х) с1х = (1 + х)6Ус}(х),

X X

\хп+\(х, к)\< I(1 + \у\)МПШ<1Ус(у) = пи м?шм1(у) = Мп+х

—те —те

Следовательно, \ф+(х,к)\ < С\(1 + \х\)еМ1(х\ Отсюда и го (11), (!) для х > 0 получаем

0 х

\ф+

—те х —те

<С2(1 + х) I (1 + \у№с(у).

—те

х

X

\ф+(х, к) — 1\< е М(0) [ (1 + \yDdVc(у).

Сопоставляя последнее неравенство с (13), получим оценку (11) для ф+.

Доказательство (Ш) основано на тех же идеях, с той лишь разницей, что вместо оценки (4) нужно задействовать очевидное неравенство \Я(у, к)\ < -щ, к € К+ \ {0}, Действительно, из последней оценки получаем интегральное неравенство

X

\ф+(х, к) — 1\< + щ/ \ф+(у, к) — 1^с(у),

которое легко решается методом итерации:

I

\ 90(х,к)\ <~скТ, \91(хМ <\к\] с(у) = адр"

—те

X

ГП

\9п(х,к)\ =

п1\ки \к\п (п +1)1\к\п+1'

—те

Нам остается доказать, что при каждом фиксированном к € К+ функция ф+(х, к) непрерывна на всей числовой оси. Учитывая равномерную сходимость ряда (6) на полуоси (—то, а) при любом а € М, достаточно показать непрерывность итераций /п(х,к) по х.

Интегрированием по частям получаем1

/о(х,к) =

х

и+1(х,к)= I е—2к(х—У)/п(у,к)Я(у)йу

—те

X

Г 1 _ е-Щх-у)

Гп (у,к№(у)<1у,

3 2к

— те

fn+l

X X

- 2к ! е—2к(х—й/п(у,к)<Э(у)<1у - ! е-2к(х-У)Ц(у,к)<Э(у)<1у.

—те —те

а

Из условия (5) следует, что [ Уу(х) йх < ж для любо го а € М, А поскольку всюду на К вы-

—те

полнено неравенство |^(ж)| < ^(ж), то условие (5) гарантирует включение Q € Ь1(-ж,а) для любого а € К, Теперь непрерывность ф ункций /п(х, к) то перемен ной х очевидна. Для функции ф—(х, к) рассуждения аналогичны. Теорем а доказана,

Следствие 1. Если потенциал, д является финитным, то решения Поста, аполитичны во всей комплексной плоскости, к.

Следствие 2. При Щ м ж, к > 0, имеют место следующие предельные соотношения:

ф+(х,к) = 1+ I П(х - у, к) ¿Я(у) + о^

—те

ф—(х, к) = 1 + ] К(у - х, к) ¿Я(у) + о

х

к±1

М Из (2) и утверждения (Ш) следует ф±(х,к) = 1 + О (1) при Щ м ж, ^ек > 0, Подставляя эти соотношения в (2), получим (15),

Замечание 1. Замена параметра к м -к приводит к еще одной паре функций удовлетворяющих условиям ^+(х,к) ~ екх при х м ж и ^—(х,к) ~ е-кх при х м -ж. Очевидно, что рТ(х,к) = ф±(х, - к). Кроме того, для каждого х € К решения (х,к) непрерывны по к при Не к < 0 и аналитичны по к при Не к < 0,

о

2. Дальнейшие свойства решений Иоста. Доказанная теорема 1 позволяет получить свойства решений ф±(х,к) интегральных уравнений (2), а с ними и свойства решений Йоета уравнения Шрёдингера (1),

Выделим в пространстве ВУ подпространство функций, удовлетворяющих условию (5) и введем для него обозначение ВУ1, Будем считать, что вещественный потенциал д уравнения (1) является обобщенной производной некоторой функции Q € ВУ1, Поскольку д = 01 в обобщенном смысле, то функция ^ восстанавливается по потенциалу д с точностью до

1 Всюду далее для обозначения производной функции / (х, по переменной х используется одна из следующих записей //ж или В каждой конкретной ситуации выбор записи обусловлен наличием в обозначении функции верхнего или нижнего индексов.

аддитивной константы. Поэтому у нас имеется определенный произвол в выборе этой константы, При изучении свойств решения Поста нам удобно считать, что Q(x) ^ 0 при х ^ — ж.1 В частности, если потенциал q финитный и виррд С [а, Ь], то полагаем Q(x) = 0 при х < а. Аналогично, при изучении свойств другого решения ^"считаем Q(x) ^ 0 при х ^ ж.

Рассмотрим интегральные уравнения

те

ф+(x, к) = fn(x, к),

п=0

где функции ¡п удовлетворяют равенствам (14). Из теоремы 1 еледует, что при к € К+ ряд сходится в каждой точке x € М, Обозпачим п-ю частичную сумму ряда (6) через фп. Тогда для фиксированного к € К+ получаем

х

фок) = 1, ф^, к) = 1+ [ е~2к(х~у^(у)с1 у,

ф'l(x,k) = Q(x) — 2к ! е~2к(х~у^(у)(1у = ! e—2к(х—у)dQ(y).

—те —те

Отсюда, учитывая ВУ (а, Ь) С Ь1(а, Ь), следуют включения ф1(x, к) € Ш 1'1(а, Ь), ф'^к) € ВУ (а, Ь). Так как Q € ВУ, то для функции ^ ^ ^^^дой точке x € М заведомо существуют односторонние пределы Q(x ± 0), Причем множество точек разрыва функции ^ ^^ ^^^^^ ^^^^ ^^^^^^^ ^^^тому в точках непрерывности ^ ^^^ фикции ф1 существует производная ф[ по ^ Если же функция ^ ^^^^^ ^ ^^тоторой точке x0 € М скачок AQ(x0) = Q(x0 + 0) — Q(x0 — 0), то аналогичный по величине скачок будет иметь и производная ф[. Следовательно, можно доопределить функцию фк) — Q(x) по непрерывности на весь отрезок [а, Ь] и считать ф[ ^, к) — Q(x) € АС [а, Ь].

Далее, из (14) для п > 1 имеем

фп+1^, к) = 1 + I е—2к(х—у^фп(у,к^(у)(1у

1 _ е — 2к(х—у) 2к

фП(У ,k)Q(y)dy,

—те

ф'пк) = фп^, к^^)

х х

— 2 к I е—Щх—у)фп(у, тШу— I е—2к(х—у)ф'п(у, Шу)<1у.

—те —те

Рассуждая по индукции, получаем, что

фпМЛ) €Ш 1,1 (а, Ь), Ф^к) €ВУЬ),

фп^, к) — Q(x)фn—l(x, к) € АС [а, Ь]

этом случае потенциал д является конечной мерой Бореля на М.

х

х

х

х

для всех п € N. Кроме того, левые части (16) можно переписать в виде

X

фп+1(х, к) = 1+ [ е—2к(х—у^фп(у, к)Я(У)(1У

—те

X /у

- Щх - у, к) \ е—2к(У—в)фп—1(з, к)с1Я(8)\Я(у)с1у,

—те

х

ф'п+1(х, к)= у е—2к(х—У)фп(у, к)Щ(у).

—те

Отсюда, с учётом (5), (8), легко получается оценка

/ х \т

хг п I I Уд

^ т=0 '

—те

Следовательно, последовательность ф'п - Цфп— 1 сходится равномерно на [а, Ь]. Ввиду равномерной на [а, Ь] сходимости

фп ^ фх, ф'п - 0фп—1 - 0Ф+

и соотношений (17) получаем

ф+(х, к) € Ш 1'1(а, Ь), ф+(х, к) € ВУ (а, Ь), ф+(х, к) - 0(х)ф+(х, к) € АС [а, Ь].

Таким образом, доказана следующая теорема.

Теорема 2. При каждом фиксированном к € К+ имеет место включение ф± € Ш110'<1. Кроме того, ф± € ВУ\0С, а разность ф± - 0ф± абсолютно непрерывна на конечных от-М

11 з теоремы 2 и (18), (19) следует, что

х те

Ф+(х, к)= I е—2к(х—У)ф+(у, кШу), ф—(х, к) = -/ е—2к(У—х^ф—(у, к)<^(у),

— те х

и выполнены оценки

х

\ф+(х,к)\ < [ \е—2к(х—У^\\ф+(у, к)\с1Уя(у),

—те

\ф—(х, к)\ < у \е—2к(х—^\\ф—(у}к)\дУд(у).

х

Подставляя в формулы (21) оценку (11) теоремы 1, получаем следующие утверждения. Лемма 1. Для любого к € К + производные ф±(х,к) равномерно ограничены:

х те

\ф+(х,к)\<С ¡(1 + ЫУУ^у) <С ¡(1 + ШУд(у),

—те —те

те те

\ф—(х, к)\ <С (1 + 1у№я(у) <с (1 + ШУя(у).

Лемма 2. При \к\ ^ ж, Пек > 0, будут выполнены предельные соотношения ф±(х, к) ^ 0.

Аналогично, из (21) и (12) получаем утверждение.

Лемма 3. Для любого к Е К + производные ф±±(х,к) удовлетворяют оценкам:

\ф+(х,к)\ <С1Уя(х), х < 0, \ф—(х,к)\ < С2Уд(х), х > 0, где константы С1, С2 не зависят от к.

Лемма 4. Если Пек > 0, то ф+(х, к) ^ 0 щи х ^ ж и ф—(х, к) ^ 0 щи х ^ — ж. < Из (21) имеем:

X

\ф+(х,к)\<\е—2кх\ I \е2ку\ \ф+ (у, к)\<1Уа(у).

—те

Ввиду (5) и оценки (111) теоремы 1 правая чаеть неравенства стремится к пулю при х ^ ж, если только Пек > 0

Свойства функций ф± и их производных позволяют уточнить теорему 2,

Лемма 5. Если —ж < а < ж, то при, каждом к Е К+ \ {0} выполнены включения ф+ — 1 Е Ш 1'1(—ж,а) иф— — 1 Е Ш 1'1(а, ж).

Действительно, включение ф+ Е Ь1(—ж,а) следует из оценки (ш) теоремы 1 и (5), а включение ф+ Е Ь1(—ж, а) следует из леммы 3 и того же условия (5),

Отметим, что при к = 0 лемма 5 неверна, о чем свидетельствует следующий пример.

Пример. Рассмотрим уравнение (1) с потенциалом д(х) = х—33 при х > 1. Не сложно

х > 1

2

х 3

Г(х, 0) = ф—(х, 0) = х-

еЬ ^3х з^ — йЬ ^3х

Привлекая формулу Тейлора, получим асимптотическое равенство

ф~ (х, 0) = 1 + ^х"2 + о 2^ , х ^ ж,

из которого очевидным образом следует, что ф~ — 1 Е Е1(а, ж) при любом а Е К,

3. Аппроксимация гладкими потенциалами. В данном пункте будет показано, что в обратной задаче рассеяния уравнение Шрёдингера с потенциалом д Е М, д = О'д Е ВУ1 можно равномерно аппроксимировать уравнениями с гладкими потенциалами. Отметим, что аналогичный результат для уравнения на конечном промежутке получен в работе [5] (см, также [4]),

Мы по-прежнему считаем, что д = О' в обобщенном смысле и О Е ВV!. Пусть г/е(х) -стандартное усредняющее ядро. Для функции О Е ВУ1 определим среднюю функцию Ое = % * О на К- Тогда для каждого разбиения —ж < х0 < х1 < ... < хп < х < ж будем иметь

га „га

— Ое(хг—1)\< 'Пе (У)^ 1О(х — У) — О(х— — У)\ ¿У —те

£

< / Яе(У)^ (х — У)<1у (х + £).

Следовательно, Vqe (х) <Vq (х + е) < Vq и

Ixl dVQs

0 0 < Vq£(х) dx < / Vq(x + e)dx< ж.

Аналогично можно показать, что

J 1x1 (х) < ж. 0

Из полученных неравенств, в частности, следует € ВУ1.

Замечание 2. Легко видеть, что для любых х,у € М, х > у выполнено неравенство

1Яе(х) -Я£(У)1<Уд£ (X) <Уд(х + е).

м -ж

Юг

Следовательно, 0£ € Ь1(-ж, Ь) для любо го Ь € М, Кроме того, из теоремы Лебега следует, что

х

У Юе(у) -Я(у)^ум 0

—те

для любого X € М,

Обозначим через ф+ решение интегрального уравнения

х

ф^(х,к) = 1 + Я(х - у,к)ф+ (x,k)dQ£(у).

Ввиду Q£ Е ВV\ решение ф+ существует при каждом к Е К+. Через ф+ = екхф+ обозначаем решение Йоета уравнения Шрёдингера с гладким потенциалом q£ = Q'e.

Лемма 6. Для любого к Е К+ при £ ^ 0 выполнены предельные соотношения:

(1) ф+ (х, к) ^ ф+(х, к) для всех x Е R;

(2) (х, к) ^ (х, к) почти всюду на R.

М Поскольку функция Q непрерывна почти всюду на R, а решения Йоета непрерывны на всей оси R, то достаточно показать справедливость утверждений леммы в точках

Q

Пусть x Е R и к Е К+ произвольно фиксированы, причем функция Q непрерывна в точке х. Тогда ввиду теоремы 1 и (20) для каждого е Е [0,1] будут выполнены равенства

д

ф~1

п^-те дХ п^-те '

0

0

где (см, (14)) ф£'о(х, к) = 1,

X

фе,п+1(х,к)= I е—2к(х—уЦе,п(У,к)ОеШу

—те

х

— ! П

фle,n+1

х х

— 2к I е—2к(х—у^ф£'П(у, к)ОеШу — I е—2к(х—У)ф'£га(у,к)ОеШу.

— те —те

Здесь полагаем, что значению е = 0 соответствует функция ф+ = ф+. Из неравенств (8), (19), (22) следует, что оба предела в (23) равномерны относительно е Е [0,1]. Поэтому, очевидно, для доказательства леммы нам достаточно показать, что при е ^ 0 при каждом п будут выполнены соотношения ф^(х, к) ^ фп\х, к), ] = 0,1.

При п = 0 предельные соотношения очевидны. Далее, рассуждая по индукции, предположим, что ф^)п(х, к) ^ фп\х, к) для всех п < N и покажем, что ф^]^+1(х, к) ^ ф('м>+1 (х, к) при е ^ 0, Но эти соотношения следуют из неравенств (8), (22), обеспечивающих возможность перехода к пределу под знаком интеграла в выражениях (24), Действительно, из (8), (19) и (22) при у Е (—ж>, х] получаем оценки

\е—2к

У

\ф'е,п(У, к)\ < (у) < ем(у+%(У + £), Ме(у) = / VQaшз,

—те

\П(х — У,к)ф'е,п(У, к)Ое(У) \

< (х — у)ем*(У%£(у)\Ое(у)\ < (х — у)ем{у+е%(У + е)\О(у)\.

А поскольку

(х - у)еM(y%(y)\Q(y)\dy < (х - y)V2(y)dy

Q[

—те

х х

<х ^ V2(y)dy- J V2(y)ydy,

—те —те

то ввиду lim уVq(y) = 0 правая часть неравенства не превосходит

у^—те

х х

Х J V2(y)dy + J y2VQ(y)dVQ(y) < ж,

—те —те

что дает возможность применения теоремы Лебега о мажорантной сходимости в (24) при п = N. Лемма доказана.

х

х

Теорема 3. Пусть к € К+. Тогда при лю бом Ь € М на полу о си (-ж, Ь] выполнено равномерное предельное соотношение ф^ ^ ф+ при е ^ 0, а на полуоси [Ь, ж) выполнено

ф7 ^ ф~-

< Пусть Ь € М и к € К+ фиксированы, Для произвольного т > 0 в силу теоремы 1 и неравенства (22) существует а € (-ж, 0) те зависящее от е такое, что

Если а > Ь, то теорему можно считать доказанной.

Пусть а < Ь. Обозначим через ф* решение дифференциального уравнения (1) с гладким потенциалом удовлетворяющее начальным условиям:

д д ф*(а, к) = ф+(а, к), —ф*(а, к) = —ф+(а + 0, к).

дх дх

Тогда для любого х € [а, Ь] имеем

\ф+ (х, к) - ф+(х, к) \ < \ф+(х, к) - ф**(х, к) \ + \ф**(х, к) - ф+(х, к) \ .

Покажем, что при достаточно малых е оба модуля справа будут меньше 3 сразу для всех х € [а, Ь]. Функции ф+ и ф* являются решениями одного дифференциального уравнения с гладким потенциалом В силу леммы 5 при е ^ 0 будем иметь

д д

ф+(а, к) ^ ф+(а, к), т^ф?(а, к) ^ —ф+ (а + 0, к).

дх дх

Шрёдингера с гладким потенциалом от начальных данных (см., например, [11, Гл. 2,§4]) для всех х € [а, Ь] будет выполнено неравенство

\ \ т

\фе~(x, к) - ф**(х,к)\ < 3.

Что касается разности 1ф*(х, к) - ф+ (х, к)1, то в силу уже упоминавшегося в начале данного пункта результата работы [5] при е ^ 0 она стремится к нулю равномерно на [ а, Ь].

\ф+(х,к) - ф+ (х,к)\ < т, х € (-ж, Ь],

окончательно доказывающее утверждение теоремы для решения ф+, Для ф рассуждения аналогичны,

СПИСОК ЛИТЕРАТУРЫ

1. Фаддеев Л.Д. Обратная задача квантовой теории рассеяния // УМII. 14:4(88). 1959. С. 57119.

2. P. Deift, Е. Trubowitz Inverse scattering on the line // Comm. Pure Appl. Math. 32. 1979. P. 121 251.

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

4. Савчук A.M., Шкаликов A.A. Обратные задачи для, оператора Штурма-Лиувилля с потенциалами из прост,ранет,в Соболева. Равномерная, устойчивость // Функциональный анализ и его приложения. 44:4. 2010. С. 34-53.

5. Савчук A.M., Шкаликов A.A. Опера торы Штурма-Лиувилля с сингулярными потенциалами // Мат. заметки, 66:6. 1999. С. 897-912.

6. R.O. Hrvniv, Ya.V. Mykytvuk Eigenvalue asymptotics for Sturm-Liouville operators with singular potentials // J. Funct* Anal., 238:1. 2006. P. 27-57.

7. Бадахов М.Ш., Шабат А.Б. О преобразованиях Дарбу в обрат,ной, задаче рассеяния // УМЖ. Т. 8. № 4. 2016. С. 43-52.

8. Шабат А.Б. Обратная спектральная задача, для, дельтообразных потенциалов // Письма в ЖЭТФ, 102:9. 2015. С. 705-708.

9. Шабат А.Б. Разностное уравнение Шрёдингера, и, квазисимметрические многочлены // ТМФ, 184:2. 2015. С. 16-27.

10. Кулаев Р.Ч., Шабат А.Б. Обратная задача, рассеяния для финитных потенциалов в пространстве мер Бореля, // Препринт ЮМ II ВНЦ РАН № 2. 2016.

11. Коддингтон Э., Левинсон Н. Теория обыкновенных дифференциальных уравнений. М.: Издательство ЛКИ, 2007.

Руслан Черменович Кулаев,

Северо-Оеетннский государственный университет им. К.Л. Хетагурова,

ул. Ватутина, 46,

362025, г. Владикавказ, Россия

Южный математический институт - филиал ВНЦ РАН,

ул. Маркуса, 22,

362027, г. Владикавказ, Россия

E-mail: kulaev@smath.ru

Алексей Борисович Шабат,

Институт теоретической физики им. Л.Д. Ландау РАН, просп. Академика Семенова, д. 1-А, 142432, МО., г. Черноголовка, Россия E-mail: shabatab@mail. ru