Некоторые обратные задачи теории рассеяния для оператора Шредингера с потенциалом Като тема автореферата и диссертации по математике, 01.01.02 ВАК РФ
Разборов, Алексей Геннадьевич
АВТОР
|
||||
кандидата физико-математических наук
УЧЕНАЯ СТЕПЕНЬ
|
||||
Москва
МЕСТО ЗАЩИТЫ
|
||||
1998
ГОД ЗАЩИТЫ
|
|
01.01.02
КОД ВАК РФ
|
||
|
МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ им. М.В.ЛОМОНОСОВА
Факультет вычислительной математики и кибернетики Кафедра общей математики
На правах рукописи
РАЗБОРОВ Алексей Геннадьевич
НЕКОТОРЫЕ ОБРАТНЫЕ ЗАДАЧИ ТЕОРИИ РАССЕЯНИЯ ДЛЯ ОПЕРАТОРА ШРЕДИНГЕРА С ПОТЕНЦИАЛОМ КАТО
01.01.02 - дифференциальные уравнения
ДИССЕРТАЦИЯ
на соискание ученой степени кандидата физико-математических наук
Научный руководитель: доктор физико-математических наук доцент В.С.Серов
Москва 1998
Содержание
Введение..............................................................................................3
Глава I. Спектральные свойства оператора Шредингера с
потенциалом Като............................................................17
§ 1.1 Структура спектра оператора Шредингера...................20
§ 1.2 Свойства обобщенных собственных функций................36
Глава II. Некоторые методы восстановления потенциала
из класса Като в операторе Шредингера.......................42
§ 2.1 Восстановление потенциала с помощью высокочастотной асимптотики функции Грина........................44
§ 2.2 Формулы Р. Ньютона и И. Сайто...................................53
§ 2.3 Обратная задача для многомерного волнового
уравнения..........................................................................66
Список литературы.............................. .............................................74
В ведение.
Настоящая работа посвящена исследованию некоторых многомерных обратных задач теории рассеяния, связанных с восстановлением потенциала в гамильтониане Н, Н = — A -f q(x). Теория рассеяния имеет бесчисленное множество приложений в атомной физике, теории твердого тела, физике высоких энергий, поэтому данная тема является важной и актуальной. Рассмотрим оператор Шредингера
Я = -Д + q(x) = - Е ^ +q(x) (0.1)
1=1 OXi
во всем пространстве RN, N > 3 с действительным потенциалом q(x), который принадлежит классу Като Кjv, т.е. удовлетворяет условию вида
lim sup J \q{x)\\x - y\2~N dx = 0, N > 3, (0.2)
M yeRN \x-y\<8
и имеет степенное убывание на бесконечности:
3 R > 0, /г > — : \q(x)\ < С V \х\ > R. (0.3)
2
Класс Кн был впервые введен Т. Като в работе [30] и локально может быть описан следующими точными вложениями (см., например, [16]):
LPloc(RN) С КN,loc С L)0C(Rn), р > N/2, (0.4)
где
KN>ioc = {q\q<peKN V<pe CÜ°(RN)}.
Таким образом, рассматриваемый в работе потенциал может иметь локальные сингулярности только лишь из L]oc(Rn), поэтому
получать самосопряженные расширения оператора Н путем замыкания графика в не удается. Однако, в работе [16] показано, что при выполнении условий (0.2), (0.3) квадратичная форма
о 1
(я/^ определена V / 2 {Я ) и удовлетворяет следую-
щей оценке:
|/ \/(х)\2д(х)ах\<е/ ¡(х)\2 в,х + С (е) / |/(*)| 2<1х, пм
о 1 о I
V / €Ж2 (Я )> гДе о < б < 1, С (б) > 0, а символом Цг2 (Я ) обозначено замыкание пространства бесконечно дифференцируемых функций с компактным носителем по норме пространства
Соболева И^Я*). Э то неравенство означает, что ц ограничен в смысле квадратичных форм относительно самосопряженной реализации в Ь2(ЯМ) оператора — А, которую мы будем обозначать через Я 0. Поскольку Н0, как известно, является положительным оператором в мы можем утверждать, что выполнены все условия теоремы Като, Лакса, Лионса, Мильграма и Нельсона ("КЛМН" теоремы), а значит рассматриваемый гамильтониан Н корректно определен в смысле квадратичных форм в Ь2(ЛЫ) и является самосопряженным полуограниченным снизу оператором с областью
° 1
определения В{Н) СЖ2 )•
В данной работе будет доказано, что спектр этого оператора состоит из непрерывного спектра (без неотрицательных собственных значений), заполняющего неотрицательную часть действительной прямой, и конечного отрицательного дискретного спектра конечной кратности. В этом случае ограниченные решения и(х,к) однородного уравнения
(Н - к2)и(х, к) = 0, кеП\кф 0 (0.5)
являются единственными решениями уравнения Липпмана-Швин-гера
и(х,к,9) = - / а0(х,у,к)д(у)и(у,к,в)<1у, (0.6)
где 9 Е — единичной сфере в пространстве Л1*. Функция
Оо(х,у, к) является ядром оператора (—А —А;2)-1 в понимаемого как предел при е —► +0 оператора (—А — к2 — ге)~1 в пространстве линейных ограниченных операторов Ь(Ь26{К^), Ь2_6{ИЫ)), 6 > 1/2. Здесь
= {/| (1 + М)7(*) е ^(я")}.
<?0(х,у,к) имеет следующий вид:
<?..(*,»,*) = 1(1^)^^(1411« - у|), (0.7)
где — это функция Ханкеля первого рода порядка и.
Решения и(х,к,9) уравнения (0.6) называются обобщенными собственными функциями оператора Н. При \х\ —» +оо и фиксированном к ф 0 эти функции допускают следующее асимптотическое поведение:
Ш^е**1*1 1-я
и{х,к,9) = егк{х>в) - Ан ц А[к,е',в) + о(М~*~), (0.8)
\х\ 2
где константа А# зависит только от размерности пространства, 9' = х\х\~1 Е а функция А(к,9',9) называется амплитудой
рассеяния и определяется равенством:
А(к,0',0) = / е-^в,*\{у)и{у,к,9)<1у. (0.9)
л"
Если д(х) удовлетворяет условию (0.3) с параметром ¡л > N, интеграл в (0.9) сходится при любом фиксированном к равномерно по 9
и в'. При ¡1 > (N + 1)/2 этот интеграл следует понимать в смысле сходимости в среднем в L2(SN~l х SN~l).
Через функцию А(к,в',д) выражается ядро оператора S (к) — /, где I - единичный оператор, a S(к) — операторнозначная функция, которая называется матрицей рассеяния. Матрица рассеяния связывает асимптотики решений нестационарного уравнения Шре-дингера ди
г-= Ни
dt
при t —» —сю и £ +оо. Именно S(k) представляет обычно наибольший интерес в задачах теории рассеяния, поскольку связывает "начальную" характеристику процесса с "конечной" напрямую, минуя рассмотрение процесса при конечных временах. Такой подход является очень удобным при изучении взаимодействия волн с препятствием или потока квантовых частиц с мишенью. Функция А(к, в', <9), таким образом, несет всю информацию о потенциале, поэтому обратные задачи теории рассеяния рассматриваются обычно именно в терминах амплитуды рассеяния.
Другим объектом, который часто используется в качестве исходных данных в обратных задачах теории рассеяния, является функция Грина G(x,y,k) оператора (Н — к2) при действительных к. Функция G(x,y,k) является решением следующего уравнения:
G(x,y, к) = G0(x,yv к) - / G0(x,z, k)q(z)G(z,y, к) dz, (0.10)
rn
А
а интегральный оператор G с ядром G(x,y, к) является пределом (в подходящей топологии) при е —> +0 оператора (Н — к2 — ге)-1. В таких постановках обратных задач потенциал q{x) обычно восстанавливается по асимптотике G{x,y,k) при к —> 0 или к —*■ +оо.
В данной работе будут рассмотрены как известные, так и новые методы восстановления потенциала q(x) в операторе Шредингера с помощью амплитуды рассеяния и функции G(x,y,k). При этом известные формулы, связывающие q(x) с данными рассеяния, будут распространены на потенциалы из пространства Като, для которых они ранее не были доказаны.
Вопросам спектральной теории дифференциальных операторов посвящено очень большое количество работ. Отметим здесь появившиеся в последнее время монографии В.А.Ильина [3], Г.В.Розенблюма, М.З.Соломяка и М.А.Шубина [10], Х.Цикона, Р.Фрезе, В.Кирша и Б.Саймона [16], а также вышедший ранее фундаментальный четырехтомник по современным проблемам математической физики М.Рида и Б.Саймона [8].
Прямым и обратным задачам многомерной теории рассеяния для оператора Шредингера посвящено огромное количество работ как у нас в стране, так и за рубежом. Не претендуя на полноту библиографии в этом вопросе, отметим наиболее важные с нашей точки зрения работы. В работах А.Я.Повзнера [б], Т.Като [30], Т.Икебе [28], Д.Toe [47] получено спектральное представление оператора Шредингера в RN (N > 3) с потенциалом q € L^oc(RN) и имеющим степенное убывание на бесконечности. В этих работах доказано, что спектр оператора Н состоит из абсолютно непрерывного спектра, заполняющего множество (0; +оо), и отрицательного дискретного спектра конечной кратности с единственной возможной предельной точкой в нуле. Кроме того, в этих работах были изучены свойства и гладкость функций и(х,к) из (0.6). Дальнейшее продвижение в прямых задачах связано с работами П.Альхольма и Г.Шмидта [20], Ш.Агмона [18], М.Шехтера [42] и некоторых дру-
гих. В работе Ш .Агмона рассматривался оператор Шредингера при N > 2 и были ослаблены условия на потенциал при |ж| —> +оо. Кроме того, в этой работе получена оценка резольвенты оператора (—А — к2)-1 на непрерывном спектре, которая играет решающую роль в восстановлении потенциала q(x) € L^C(RN) для широкого класса обратных задач. В.С.Серов в работе [14] обобщил оценку Агмона таким образом, чтобы в этих задачах q(x) мог иметь локальные особенности из Lfoc(i?iV), р > N/2. Отметим здесь работы Б. Саймона [43], а также Р.Фрезе и др. [26], в которых были получены достаточные условия на потенциал обеспечиваю-
щие отсутствие положительных собственных значений. Вопросы многомерной теории рассеяния подробно рассмотрены в недавно вышедшей монографии Д.Р.Яфаева [17].
Большое количество многомерных обратных задач теории рассеяния рассмотрено в вышедшей в 1994 г. монографии А.Г.Рамма [7]. Теоремы единственности для этих задач в данной монографии доказываются с помощью единого метода, основанного на понятии полноты множества произведений решений дифференциальных уравнений с частными производными. В монографии также изучается важный вопрос о достаточных условиях на функцию А(к,в', в), при которых она является амплитудой рассеяния, соответствующей потенциалу из определенного класса. В 80-х годах в цикле работ [33] - [36] Р.Ньютон рассмотрел обратную задачу вое-
о
становления потенциала в операторе Шредингера в R по данным рассеяния А(к,О,,0) вида (0.9). Эта задачу он сводил к решению некоторого многомерного аналога уравнения Марченко. При этом условия на поведение q(x) при |ж| —» +оо были сильно завышены. М.Чини в работах [21] - [23] применила метод Ньютона для двумер-
ных задач. В работах И.Сайто [40] и [41] получены некоторые асимптотические формулы для потенциала д(х) 6 а также изучены свойства амплитуды рассеяния А(к, в', в), соответствующей потенциалу, убывающему на бесконечности как |ж|-1_б,б > 0. В работе Л.Пяйвяринта и В.С.Серова [39] результаты И.Сайто были обобщены на случай потенциалов, которые могут иметь локальные сингулярности из ЬР(Я3), р > 3/2. На тот же тип потенциалов В.С.Серовым в работах [11], [12] были обобщены результаты Р.Ньютона. Отметим также, что в случае меньших сингулярностей в потенциале q{x) некоторые родственные результаты в многомерной теории рассеяния были получены в работах Л.Д.Фаддеева [15], Р.Г.Новикова и Г.М.Хенкина [5], Л.Пяйвяринта и Э.Сомерсало [37], Э.Сомерсало, Г.Белкина и др. [44], В.С.Серова [13], М.Чини, Г.Белкина и др. [24], Л .Пяйвяринта, В.С.Серова и Э.Сомерсало [38], Ж.Сана и Г.Ульмана [45] и [46], А.Гринлифа и Г.Ульмана [27] и некоторых других.
Перейдем теперь к описанию структуры работы и точной формулировке результатов. Работа состоит из введения, двух глав и списка литературы. Нумерация теорем, лемм и замечаний ведется отдельно и начинается заново в каждой из глав.
Первая глава состоит из двух параграфов и посвящена изучению некоторых спектральных свойств оператора Шредингера Н = — А + во всем пространстве с действительным по-
тенциалом <?(ж), который принадлежит классу Като К^ ж имеет степенное убывание на бесконечности. В первом параграфе исследуется структура спектра Н. Главным результатом данного параграфа и всей главы является следующая теорема:
Теорема 1.1. Пусть потенциал q(x) удовлетворяет условиям (0.2) и (0.3) с параметром ¡i > Тогда
1) не существует неотрицательных собственных значений оператора H ; множество [0, + оо) является непрерывной частью спектра H,
2) на отрицательной части действительной прямой спектр оператора H, если он существует, является дискретным, конечным, и конечной кратности.
Во втором параграфе изучаются свойства решений уравнения
и+(х,к,в) = - / Go(xty,k)q(y)u+(y,kt0)dy, (0.11)
rn
при Ira к > 0, к ф 0. Здесь функция GQ(x,y, к) при к G Rl > к ф 0 определена равенством (0.7), а при Im к > 0 является ядром оператора ( — А — к2)"1. Таким образом, при к € R1, к ф 0 и+(х,к,в) совпадают с решениями уравнения (0.6), то есть с обобщенными собственными функциями H.
Свойства функций и+(хук,0) собраны в теореме 1.2.
Теорема 1.2. Пусть Im к > 0, к ф 0, потенциал q(x) удовлетворяет условиям (0.2) и (0.3) с параметром /х > а оператор H не имеет отрицательного спектра. Тогда уравнение (0.11) имеет единственное решение и+(х,ку6), которое удовлетворяет условию
e-"(*>')u+(Xtkt$) - 1 в В,
где В — это пространство комплекснозначных непрерывных функций f(x), равномерно убывающих при \х| —» +оо. Функции и+(х,к,$) являются непрерывными по к, Im & > 0, к ф 0 и аналитическими по к, Im к > 0.
Из теоремы 1.2 следует, что существует мероморфное продолжение (х,к,0) обобщенных собственных функций и(х, к, в) по спектральному параметру с действительной оси в верхнюю полуплоскость комплексной плоскости.
Кроме того, во втором параграфе доказан еще один результат, касающийся поведения функций и + (х,к,в) в трехмерном случае при стремлении спектрального параметра к бесконечности. Именно, справедлива следующая теорема.
Теорема 1.3. Пусть размерность пространства N = 3, 1т к > О, а потенциал д(х) удовлетворяет условиям (0.2) и (0.3) с параметром ¡л > 2. Тогда имеет место соотношение
Нш ||е~*к{х>в)и+(х,к,в) - 1ЦХОО/ДЗ) = 0,
к—* оо '
1хп к>0
А
равномерно по 0 € 5 .
Отсутствие у оператора Шредингера неотрицательных собственных значений, а также конечная кратность и конечность числа отрицательных собственных значений является важным фактом, играющим ведущую роль в теории рассеяния. Ранее этот результат был известен для потенциалов, локально принадлежащих ЬР(НМ), р > N/2. Свойства обобщенных собственных функций, сформулированные в теоремах 1.2, 1.3 оказываются очень важными при исследовании одной из обратных задач, рассматриваемых в Главе II. Кроме того, эти результаты имеют, на наш взгляд, и самостоятельный интерес.
Вторая глава состоит из трех параграфов и посвящена некоторым методам восстановления потенциала в операторе Шредингера. В первом параграфе получена новая формула для восстановления потенциала в трехмерном пространстве по высокочастотной
асимптотике функции Грина G(x,y,k) оператора Я. В данном параграфе доказано, что при достаточно больших к > 0 функция G(x,y,k) является единственным решением следующего интегрального уравнения:
G(x,y,k) == G0(x,y,k) - / G0{x,z,k)q(z)G(z,y,k)dz, (0.12)
r3
причем рассеянное поле Gsc(x,у, к) = G(x,y,k) — Gq(x,у, к) удовлетворяет оценке
\Gsc(x,y,k)\ <
F ~ И
где константа С не зависит от ж, j/, fc > > 1, а функция а(&) является бесконечно малой при к стремящемся к бесконечности. Эта оценка играет главную роль при высокочастотном обращении данных рассеяния, и используется также в параграфе 2 данной главы.
Формула для восстановления потенциала приводится в следующей теореме.
Теорема 2.1. Пусть размерность пространства N = 3, а потенциал q(x) удовлетворяет условиям (0.2) и (0.3) с параметром ¡м > 3. Тогда F{q)(C) Е L°° (Ä3) П С (Ä3) и
F(qm = lim {i6tt2\x\\y\e-ikM+M\G0(x,yik) - G(x,y,k))},
т U
где F — это преобразование Фурье, £ = j^j) фиксировано,
а предел понимается в классическом смысле.
Второй параграф посвящен изучению двух обратных задач, в которых в качестве исходных данных используется амплитуда рассеяния А(к,в',0). В первой из них для восстановления д(ж) исполь-
зуются также функции и (х,к,в), которые определяются следующим образом:
и~ (х, к, в) = и + (х, — к, — в), 1т к < 0.
Введем еще следующее понятие.
Определение. Оператор Н имеет резонанс в точке ноль, если уравнение
и(х) = - j —^~N2fJ2)\x - y\2~Nq(y)u(y)dy rn
имеет нетривиальное решение из пространства непрерывных равномерно убывающих на бесконечности функций.
В данном параграфе показано, что отсутствие у оператора Н резонанса в нуле гарантирует, что уравнение Липпмана-Швингера при к — 0 имеет единственное решение из указанного в данном определении пространства.
Соответствующая формула приводится в следующей теореме:
Теорема 2.2. Пусть N = 3, потенциал q(x) удовлетворяет условиям (0.2) и (0.3) с параметром ¡л > 2, а оператор Н не имеет отрицательного дискретного спектра и резонанса в точке ноль. Тогда в смысле теории распределений справедлива формула «(ж) =
Sir6
+ оо
х J kdk j А(к,вг,в)е"гк(х'в)и~(х, k,6')d0\ (0.13)
-оо s2
где в — произвольный фиксированный вектор из S2.
Данная формула носит название формулы Ньютона. Заметим, что
в случае, когда оператор Я = —А + q имеет отрицательный дискретный спектр — — kl,..., — к2, будет справедлива формула типа (0.13), но в правой части (0.13) добавятся вычеты функции
j e~lk(x^u+(x,kj) - 1, Im к > 0, Wik) = { ~
( e~ik{x^u-(x,k,e) - 1, Im к < 0,
относительно точек ±.ik\, ±г&<,, которые являются полю-
сами первого порядка (см., например, [44]).
Второй из рассматриваемых в данном параграфе методов восстановления потенциала был впервые рассмотрен в работах И. Сай-то [40] и [41]. В его основе лежит так называемая формула Сайто, доказанная в следующей теореме:
Теорема 2.3. Пусть N — 3, а потенциал q(x) удовлетворяет условиям (0.2) и (0.3) с параметром ß > 2. Тогда
lim к2 J / e-ikie-e'>x)A(k,e,,O)d0del =
8J ¡-l^-dy, (0.14)
лз I® - У?
где предел понимается в смысле обобщенных функций.
Пользуясь соотношением (0.14), можно доказать, что в условиях теоремы 2.3 q(x) восстанавливается однозначно. Этот факт составляет содержание теоремы 2.4. данного параграфа.
Теорема 2.4. Пусть потенциалы q\(x) и <?2(®) удовлетворяют условиям теоремы 2.3 и соответствующие им амплитуды рассеяния совпадают на некоторой последовательности к —»• Ч-оо и для всех в,9г € S2, Тогда qi(x) = q<2(x) (в смысле обобщенных функций). Кроме того, принимая во �