Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги / Функциональный анализ

..pdf
Скачиваний:
34
Добавлен:
13.11.2023
Размер:
24.9 Mб
Скачать

§ 4. НЕПРЕРЫВНЫЙ СПЕКТР ОПЕРАТОРА ЭНЕРГИИ

451

то интегральное уравнение для gi(r, k) примет вид

 

 

оо

gt {r,

k) =

{i)l+i h^ikr)— | Jt{k\ r, QviOg^t, k)dt,

Jt (k\; r,

0 ’

(-O'/+i

 

 

2ift

Здесь it(t) и Ырit) — функции Бесселя и Ханкеля. В случае

1= 0

 

Г ,и. .

 

Sin ft (г — <)

 

 

^ 0 (^»

 

^

 

 

Фазы г]/ (/г) определяются

с'помощью

функций

 

М,(6) =

1+оо jt (kr)J V (г) gt (г,

k) dr

по формуле

 

О

 

 

 

 

с (k ) *=е~ 2i^

Mi (—ft)

^

 

 

 

e

 

 

 

 

Основное удобство выбора решений g/(/% 6) заключается в вольтерровости соответствующего интегрального уравнения, вслед­ ствие которой разрешимость задачи исследуется очень легко. Другой способ, также связанный с уравнением типа Вольтерра, состоит в нахождении решения ф*(г, k ) y удовлетворяющего усло­ вию

п -

(2/+ 1)!

м _ ,

Вгп

/ г j

Ф/ (г,

к) — 1.

Г - > О

Г + 1

 

 

Соответствующее интегральное уравнение имеет вид

Фг (г, k) = *-^+1 г + Jг Jt (k; г, t) v (t) {t, k) dt.

Для функций Mi(k) справедливо представление

оо

Mi (k) = 1 + j A}‘>(kr) v (г) фг (г, /г) dr.

Вольтерровость уравнений для gi и <p; обеспечивает сходимость метода последовательных приближений для них, если и (г) удо­ влетворяет единственному условию

Jоо r|v (г)| dr < оо,

о

Л и т е р а т у р а : [292], [301].

452ГЛ. IX. ОПЕРАТОРЫ КВАНТОВОЙ МЕХАНИКИ

7.Общий случай. В общем случае несимметричного потен­ циала, по-видимому, не существует упрощения задачи, связан­ ного с вольтерровостью интегральных уравнений. Основу для' нахождения f(k\ а, Р) составляет само интегральное уравнение теории рассеяния. Сходимость последовательных приближений для этого уравнения при всех k можно показать также при усло­ вии, что потенциал v(x) удовлетворяет какому-нибудь условию малости, например,

х

v (у)1|х -—у | г * < 4я.

шах

 

При этом условии оператор Н совсем не имеет дискретного спектра. Если же дискретный спектр присутствует, то последо­ вательные приближения заведомо сходятся не при всех k. В то же время при достаточно больших k последовательные прибли­ жения всегда сходятся, независимо от величины потенциала. Этот факт является оправданием так называемой формулы Борна для амплитуды рассеяния, которая получится, если в вы­ ражение для f{k\ а, Р) (см. п. 5) подставить вместо и(х, к) ее нулевое приближение — соответствующую плоскую волну:

fB (к; а, Р) = ^г- Je~ik{Xt a)v (х) eik(А?>р) dx.

Точное утверждение состоит в том, что при больших k f{k\ а, Р) fB(k; а, Р) = о(1)

равномерно по а и р, причем если v(x) —дифференцируемая функция и | grad v (х) | = О (г-2-8), е > 0, то вместо о(1) здесь можно поставить 0(l/k). Иногда !в(к, «, Р) называют первым борновским приближением, называя борновским рядом ряд, ко­ торый получится, если в выражение для f(k\ а, Р) подставить ряд последовательных приближений для решения и(х, к). По­

следовательные

приближения интегрального уравнения для

t(k, I) (см. п. 3)

дают выражение высших борновских прибли­

жений через первое, т. е. через преобразование Фурье от потен­ циала v{k).

Интегральное уравнение теории рассеяния позволяет приме­ нить также и другие приближенные методы для определения амплитуды f(k ; а, Р). Например, схема метода Галеркина для этого уравнения тесно связана с так называемым вариационным методом Швингера для задачи рассеяния.

Ли т е р а т у р а : [288], [292].

8.Обратная задача теории рассеяния. Описанная задача нахождения оператора рассеяния по потенциалу может быть названа прямой задачей теории рассеяния. Можно поставить и

§ 4. НЕПРЕРЫВНЫЙ СПЕКТР ОПЕРАТОРА ЭНЕРГИИ

453

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

 

оо

v(x) = v(r), удовлетворяющего условию

J r\ v (г) \dr < оо.

 

о

Потенциал определяется по заданной при всех k одной из фаз r\i(k). Класс фаз, соответствующих потенциалам с этим усло­ вием, полностью охарактеризован. Если соответствующий ради­ альный оператор Шредингера Н® имеет дискретный спектр, то потенциал определяется по фазе r\i{k) неоднозначно. Оператор Н® не имеет дискретного спектра при достаточно больших /; та­ ким образом, потенциал определяется однозначно по фазе r\i{k) при достаточно большом /.

Здесь приводится схема одного из методов решения обрат­

ной задачи для

случая

1 = 0.

Функция S0 (k) = e~2/Tl0 (fe) обла­

дает следующими свойствами:

 

S0(o o )= l;

1)

|So(*)l = So(0) =

2)

S0( - k ) = So(k) = Sol (k);

 

 

 

оо

 

3)

S0( k ) = l+

J

F(t)e~ttkdt,

где

 

 

—oo

 

 

 

 

 

oo

 

 

oo

J |

F ( O

I < W

< j°

t\F'(t)\dt<ooi,

—oo

 

 

0

 

4)

arg S0 (k)

 

= 4ят,

где m — число дискретных собственных значений соответствую­ щего оператора Ж°), потенциал которого удовлетворяет указан­ ному выше условию.

Пусть теперь задана функция S0(fe), обладающая перечи­ сленными свойствами. Составим функцию

тп

Fi ( 0 “ ^ ( 0 + 2 Ьае-**\

п = \

где Ьп и %п — произвольные положительные числа, причем сре­ ди кп нет совпадающих. Интегральное уравнение

оо

А (г, t) = Fi (г + t) + JА(г, и) Fi (и + t) du, г < t ,

Г

разрешимо при всех г ^ 0. Функция

v { r ) = - 2 - ~ A { r , г)

454 ГЛ . IX . О П Е Р А Т О Р Ы К В А Н Т О В О Й М Е Х А Н И К И

удовлетворяет условию

оо

J* r\v { r )\d r < оо,

о

и So(k) является S-функцией для

оператора # (0) с о (г) в каче­

стве потенциала. Решение go(г, k)

дается формулой

go(г, k) = elkr +

/ А (г, t)elktdt.

Для случая / > 0 разработан аналог этой схемы. Необходимые и достаточные условия 1)—4), которым должна удовлетворять фаза Т1о(&), остаются в силе при I > 0.

Интегральное уравнение для А (г, t) допускает явное реше­ ние в случае, когда So(k) — рациональная функция. Решения и потенциал получаются в этом случае в виде рациональных функций от тригонометрических и гиперболических функций. Простейший пример дает функция

- > 0 ’ р > а

Соответствующий потенциал имеет вид

02 (02 _ а2) v(r) = 2 (0 ch а sh 0r)2 *

Обратная задача изучена также для систем уравнений с ра* диальными операторами и для одномерного уравнения Шредин* гера.

Л и т е р а т у р а : [283], [301],

Г Л А В А X

ОБОБЩЕННЫЕ ФУНКЦИИ

§1. Обобщенные функции и действия над ними

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

следующим свойством:

Для любой непрерывной функции cp(x) выполняется равен­ ство

оо

J б ( х ) срdx( х )=

ф ( 0 ) .

Очевидно, что б-функция не является обычной функцией. В са­

мом деле, из определения следует, что б(х) = 0 при

хФ О и

Jоо 6(x)dx= 1. Но ни одна классическая функция не

обладает

— оо

такими свойствами. Можно лишь построить последовательность обычных функций fn(x) такую, что для любой непрерывной функции ф(х) имеем

оо

 

 

— оо

 

 

Например, можно положить

 

 

п/2

при

\х\^ .1 /п ,

0

при

| х | > 1/п

ИЛИ

 

п2хг

 

 

 

 

2

456 ГЛ. X. ОБОБЩЕННЫЕ ФУНКЦИИ

Такие последовательности функций называются 6-образными последовательностями. Во многих случаях, в которых, по сути дела, речь шла о б-функции (например, в вопросах, связанных с точечными источниками и стоками, функцией Грина и т. д.), вместо б-функции применялись б-образные последовательности, после чего выполнялся соответствующий предельный переход. Это столь же осложняло математическую физику, как ослож­ нила бы математический анализ систематическая замена всех производных пределами разностных отношений, а интегралов — пределами интегральных сумм.

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

2. Обобщенные функции. Через D обозначают пространство бесконечно дифференцируемых финитных функций, заданных в Rn и принимающих комплексные значения. Последователь­ ность функций {фй} из D называют сходящейся к нулю, если:

а) все функции щ(х) обращаются в нуль вне одного и того же шара |х| ^ R\

б) для любого q имеет место равенство

И г л ф М ( х ) = 0 . k -> o o

Этим задается сходимость в пространстве D. Можно задать то­ пологию в D системой окрестностей (см. гл. И, § 1, п. 2).

Обобщенной функцией (по Л. Шварцу) называют непрерыв­ ный линейный функционал в пространстве D.

Обобщенная функция F называется вещественной, если для всех вещественных функций ф(х) из пространства D значение (F, ф) вещественно.

Каждой локально суммируемой функции f(x) (т. е. функции, суммируемой в любом шаре й п) соответствует обобщенная функция (/, ф), задаваемая формулой

(/> ф )= J f(x)<p(x)dx.

При этом, если /ч(х) и /г(*) — локально суммируемые функции, причем для всех функций ф(х) из D имеем (/i, ф) = (/2, ф), то почти для всех х выполняется равенство Ы * )= Ы * ) . Таким образом, соответствие * (/, •) определяет вложение простран­ ства локально суммируемых функций в пространство обобщен­ ных функций.

Обобщенные функции, соответствующие локально сумми­ руемым функциям, называются регулярными обобщенными

§ 1. ОБОБЩЕННЫЕ ФУНКЦИИ И ДЕЙСТВИЯ НАД НИМИ

457

функциями. Примером регулярной обобщенной функции может служить функция скачка (0, ф), задаваемая формулой

оо

(9. ф )= J* ф(x)dx.

О

Она соответствует функции

0 W =

( 0,

если

х < О,

1

если

^ Л

 

I I ,

х ^ О .

Непрерывные линейные функционалы в пространстве D, не представимые в интегральном виде с локально •суммируемой функцией f(x), называют сингулярными обобщенными функци­ ями. Примером сингулярной обобщенной функции является уже упоминавшаяся б-функция. Соответствующий функционал за­ дается равенством

(б, <р) = ф(0).

Заметим, что это равенство определяет функционал не толь­

ко в пространстве Z), но и в более широком

пространстве £К0)

непрерывных финитных функций. Через

обозначают про­

странство, состоящее из финитных функций^ имеющих непрерыв­ ные производные до k-ro порядка включительно. Последователь­

ность {фт } функций из DW называют сходящейся

к нулю, если

для любого q, 0 ^ \q\ ^ 6, последовательность

равно­

мерно сходится к нулю и существует шар, вне которого все функции фт (я) равны нулю. Назовем обобщенную функцию F функцией k-го порядка, если функционал (Z7, ф) можно продол­ жить до непрерывного функционала в пространстве Z)(4 Для этого необходимо и достаточно выполнение следующего усло­ вия: если последовательность функций т(х)} из D сходится к

нулю в топологии пространства D{k\ то lim (F, Фт ) = 0. т->оо

Таким образом, б-функция является обобщенной функцией нулевого порядка. Любая обобщенная функция F нулевого по­ рядка задается некоторой мерой р в /?„, имеющей конечную вариацию в каждом шаре Qn:

(F, ф )= J* ф (х) d\i (х).

Интеграл понимается здесь в смысле Стилтьеса. В частности, мера р может быть любой положительной мерой, такой, что р-мера любого шара конечна. Единичная мера, сосредоточенная в точке х = 0, соответствует б-функции.

458

ГЛ. X. ОБОБЩЕННЫЕ ФУНКЦИИ

Сингулярные обобщенные функции часто обозначают тем же символом F(x), что и обычные функции, и пишут

(F , ф )= J F{x)(f>{x)dx.

Следует иметь в виду, что обобщенные функции, вообще го­ воря, не имеют значения в отдельных точках.

Л и т е р а т у р а : [12], [67], [68].

3. Другие теории обобщенных функций. Наряду с описанной выше трактовкой обобщенных функций как линейных функцио­ налов в D, встречаются иные подходы к этому понятию. После­ довательность непрерывных функций (фт(*)}, определенных в фиксированном открытом множестве Q из Rn, называют фун­ даментальной, если для любого компактного подмножества К в Q существуют целое число k ^ 0 и последовательность непре­ рывных функций {Fm{x)}, определенных на К, такие, что

а)

Ffi)(x) = (pm(x)

при' х<=К,

 

 

б)

(Fm(x)} равномерно сходится.

 

 

Если при этом для любого К сг £2 соответствующая последо­

вательность

(EmC*)} такова,

что

Нш Fm(x) — 0,

х ^ К ,

то го-

ворят, что

фундаментальная

 

т-»оо

{фт (*)}

экви­

последовательность

валентна нулю. Две фундаментальные последовательности {фш(х)} и (фт(*)} относят к одному классу, если их разность эквивалентна нулю. Такие классы последовательностей назы­ вают обобщенными функциями. Если число k можно выбирать независимо от выбора подмножества К, получаются обобщен­ ные функции конечного порядка.

При указанном подходе действия над обобщенными функ­ циями сводятся к действиям над обычными функциями.

Ли т е р а т у р а : [40], [41].

4.Действия над обобщенными функциями. Сумма обобщен­ ных функций определяется равенством

М\ +Л> Ф) = ф) “f" (f2> ф)>

а йроизведение обобщенной функции на комплексное число а — равенством

(af, ф) = а (А ф).

Если обобщенные функции регулярны, то эти определения совпадают с обычными определениями суммы функций.« про­ изведения функции на число.

Вообще, при определении действий над обобщенными функ­ циями требуют, чтобы для регулярных обобщенных функций

§ 1. ОБОБЩЕННЫЕ ФУНКЦИИ И ДЕЙСТВИЯ НАД НИМИ

459

эти определения совпадали с обычными. Например, из тожде­ ства

J (/ (л:) а(х)) ф(я) dx = J (х)/ (а (я) ф (*))dx

вытекает, что произведение обобщенной функции f(x) на бес­ конечно дифференцируемую функцию а(х) задаемся формулой

(af, ф) = (f, аф).

Произведение двух обобщенных функций, вообще говоря, не определено, так что, например, обобщенная функция 62(х) не имеет смысла.

Внекоторых случаях можно производить замену переменной

вобобщенной функции. Сдвигом обобщенной функции f(x) на

вектор h называют обобщенную функцию, задаваемую фор­ мулой

(f (х — К), ф) = (/ (*), ф -j- Л)).

Например,

 

 

(х — К), ф) = (б (х), ф(х +

h)) = ф (А).

Если U — линейное

преобразование

в «-мерном простран­

стве, то полагают

 

 

(J(Ux),

V (x)) = \U\{f, Ф(СГ1*)),

где 11 /|— определитель преобразования. Так, преобразование подобия при а > 0 определяется формулой

(/ (а*), Ф) = ал (f, ф (£ )).

Если а (х )— бесконечно дифференцируемая функция, все нули которой простые, то полагают

П

где суммирование распространено на все нули функции а(х).

Например,

б(х2 1) = - ( ж ~ 1) + 6(jt2+ 1 ), 6(sinx) =

2 б (х — лп).

\

П = — оо

Ли т е р а т у р а ! ' [12], [67], [68].

5.Дифференцирование и интегрирование обобщенных функ­ ций. В соответствии с равенством

J f (4) (*) Ф (*) dx = {—1)? | f (х) ф(9) (х) dx

460

ГЛ. X. ОБОБЩЕННЫЕ ФУНКЦИИ

определяют q-ю производную обобщенной функции f от одного переменного формулой

(f№ ф) = (-!)*(/, Ф<«>).

Для функций многих переменных имеет место аналогичная фор­ мула

(!{ч\ ф) = (-1 )|<,|(/. ф(<?))-

Например,

(в(,), Ф) = ( - 1 ) ы (в, ф(<7)) = ( - 1 ) |<?|ф(<,)(0).

Все обобщенные функции бесконечно дифференцируемы, по­ скольку функции ф(*) из пространства D бесконечно дифферен­ цируемы. В частности, любая локально суммируемая функция бесконечно дифференцируема в обобщенном смысле. Однако следует иметь в виду, что если функция f(x) имеет почти всюду обычную производную, то определяемый последней функционал может не совпадать с производной от f(x) как обобщенной функции. Производные высшего порядка от обобщенных функ­ ций не зависят от порядка дифференцирования.

Пример . Обобщенная функция (0', ф) задается формулой

оо

(0', ф) =

(0,. ф') = — J ф' (*) dx = y (0) = (б, ф).

Поэтому 0'(х) =

6

о

(*).

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

вточках хи ..., хп и скачки в этих точках равны /г*, то

Поо

(/'. ф) = 2 h k < f ^

+ J ^ М фМ d x ‘

/г—1

—оо

Если а{х) — бесконечно дифференцируемая функция, имею­ щая простые нули, то

б<?> fa

= ^ | а' (хп) I ("оTW rfj) 6 ^ — Х^ ’

 

П

где суммирование распространено на все нули функции а(х).

Для каждой обобщенной функции f одного переменного су­ ществует определенная с точностью до постоянного слагаемого первообразная обобщенная функция f1, т. е. такая функция, что /' = /. Она определяется равенством

( / ., Ф ') = - ( / . Ф)