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

книги из ГПНТБ / Романов В.Г. Обратные задачи для дифференциальных уравнений спецкурс для студентов НГУ

.pdf
Скачиваний:
43
Добавлен:
23.10.2023
Размер:
8.33 Mб
Скачать

В этих формулах Л,

^и-

параметры Ламе, характеризующие сопротив­

ляемость вещества на

сдавливание и на сдвиг, соответственно, JJ -

плотность вещества, Up ,

ttg - скорости распространения

продольной

и поперечной

волн.

 

 

 

 

Упругое

вещество полностью характеризуется параметрами Я ,^и,

р . Поэтому,

если бы скорости распространения волн

vp

, -г& были

известны, соотношения (10) давали бы уже достаточно

большую инфор­

мацию о веществе Земли. В связи с этим одна из основных задач

сейсмологии

и заключается

в отыскании скоростей распространений

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

 

+ £

Ш +

?

w

 

=

р

 

Здесь

•гГ = (id,

itlt v3)

-

вектор

смещений

точек среды

по

осям

ха > Tj, х3

соответственно, Те

-

единичный

орт оси хе .

Ана­

лиз решении уравнений ( I I )

приводит

к выводу,

что продольные

и

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

до

сейсмостанций (в

сейсмологии

такие

таблицы носят

название г о ­

дографов волн [ 33] ).

 

 

 

 

 

Если обозначить

через Г(х,

х°)

- луч, соединяющий

точки

X, ас", а через ds -

элемент длины его дуги в точке х

, то

время

dt

, затрачиваемое

на прохождение пути d$ волной,

имеющей

ско-

10

рость v(x) , можно подсчитать по формуле

При этом время пробега от точки х° до точки х выражается кри­ волинейным интегралом

(12)

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

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

рых зависит скорость) модели имели очень большое значение,

так

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

структуре

Зем­

ли. Вместе с тем они стимулировали новые постановки

обратных

за­

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

По современным представлениям земной шар состоит из трех ос­ новных частей: коры, оболочки и ядра. Земная кора представляет из себя сравнительно небольшой по мощности слой. Толщина земной коры в среднем составляет 30-50 км, она меньше под океанами и

I I

больше под континентами, особенно увеличиваясь в районе горных массивов. Считается, что кора наиболее резко различается по сво­ им скоростнш» свойствам. Здесь налицо довольно существенное раз­ личие в скоростях распространения волн от одного района к друго­ му. Кора отделяется от оболочки поверхностью Мохо, на которой ста­ рость распространения волн имеет разрыв. Оболочка Земли (употреб­

ляется также термин "мантия Земли") имеет

толщину порядка 3000

км

и состоит из твердого аморфного вещества.

Земное ядро обладает

 

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

В настоящее время рядом геофизиков построены одномерные сфе­ рически-симметричные модели распределения скоростей сейсмических

волн внутри Земли (см.,

например, [26,39,50,53j

) . Поотроены они

на основании различного

сейсмологического материала, при интер­

претации его применялись различные приемы, поэтому естественны некоторые различия в этих моделях. Интересно, однако, отметить, что все модели отличаются друг от друга в среднем на величину по­ рядка 10%, то есть достаточно близки. Вместе с тем в геофизике имеются в настоящее время факты, позволяющие предполагать о су­ ществовании внутри Земли неоднородности! по географическим коор­ динатам. К числу этих фактов относятся систематические отклонения в годографах волн, построенных для различных материков, от усред­ ненного годографа, асимметрия гравитационного и магнитного полей. При этом отклонения от годографов, отвечающих сферически-симмет­ ричному распределению скоростей упругих волн, достаточно малы.На­ пример, при временах пробега сейомических волн от источника воз­ мущения до приемника порядка 10-20 минут отклонения в годографах не превышают Ь-10 секунд. Это позволяет предположить, что откло­ нения скоростного строения Земли от сферически-симметричной моде­ ли также малы. Тем не менее эти малые флуктуации в распределении скоростей волн представляют для геофизики большой интерес, так как, возможно, они помогут объяснить механизм развития земной коры,воп­ рос дрейфа материков и т . д . Таким образом, задача определения трехмерного скоростного строения Земли является одной из актуаль­

ных задач геофизики.. В математическом отношении эта задача

связа­

на с решением обратной задачи для

уравнения (

9 ) , когда tf(x)

яв­

ляется произвольной функцией трех

переменных.

К сожалению, полной

12

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

пока нет, здесь имеются лишь отдельные частные результаты.

Нет

также и достаточно обоснованных методов решения неодномерной

об­

ратной задачи, имеются,однако, попытки численного решения

этой

задачи (см. £ 4,5,I9j) .

 

В последнее время появились довольно обоснованные сомнения в том, что скорость в мантии монотонно растет с глубиной. Рядом гео­ физиков высказано предположение о существовании в мантии Земли слоев с пониненной скоростью или, как их обычно называют, волно­ водов. При наличии последних обратная кинематическая задача с ис­ точниками возмущений, расположенными выше волновода, становится неоднозначной. Характер этой неоднозначности был исследован М.Л.Гервером и В.М.Маркушевичем [45,47] . 3 рамках кинематики един­ ственность задачи можно сохранить только располагая источники воз­ мущений в самом слое пониженной скорости f I I ,477 . Для некоторых районов земного шара постановка обратной кинематической задачи с источниками, расположенными внутри мантии, имеет практический смысл. Так, например, в поясе, проходящем через Курильские остро­ ва и Японию, землетрясения, происшедшие за последнее столетие, заполняют целый объем, простирающийся в глубину до 600 км. В це­ лом по земному шару землетрясения располагаются,в основном, в ко­ ре. Поэтому возможное наличие волноводов существенно ограничивает применимость кинематического подхода при изучении мантии Земли.а связи с этим все большее внимание исследователей привлекают урав­

нения динамической теории упругости ( I I ) . Дело в

том,

что

обрат­

ную задачу, заключающуюся в определении

скоростей

Vp,

V*,

можно

поставить непосредственно для уравнений

( I I ) . Имеющиеся на

поверх­

ности Земли сейсмосганции фиксируют от землетрясений полные сейс­

мограммы, то

есть

измеряют смещения tl(x,x°i)

как функции вре­

мени. Здесь,

как

и раньше,

х " - точка приложения

сосредоточенного

воздействия,

X - точка, в которой находится приемник. Располагая

сейсмограммами от достаточно

большого числа землетрясении

для

различных районов земного шара и достаточно густой сетью сейсмо­ сганции можно пытаться определить по ним функции iff, , как функ­ ции географических координат и глубины. Математическая теория по­ следней обратной задачи, которую естественно назвать обратной ди­ намической задачей теории упругости, только начинает создаваться. Имеются только отдельные результаты, относящиеся к чаотной одно­ мерной модели Земли (см._ [2,3,21,28,29,44,48]).

13.

С потребностями геофизики, а именно, гравитационной и магнит­ ной разведки, связано возникновение и другой обратной задачи - теории потенциала. Общая ее формулировка заключается в следующем: вне некоторой области, ограниченной поверхностью 3 , задан потен­ циал Юбъемных масс, простого слоя, либо магнитный), порожденный телом с некоторой плотностью, лежащим внутри S% требуется опреде­ лить положение, форму и плотность тела. К такой постановке приво­ дит геофизическая задача об определении положения и формы, а так­ же плотности (либо намагниченности) тела, лежащего в однородной среде.

Рассмотрим простейшую математическую модель, связанную с об­ ратной задачей ньютоновского потенциала. Пусть в безграничном трех­

мерном пространстве

аг= (сг*, хг-

аг3)

внутри поверхности

3

нахо­

дится тело с плотностью fffl.

 

Обозначим носитель

функции

р(х)

(то есть множество точек, где

р(^4°

)

через

 

. Поле

потен­

циала тяготения

к(х)

, создаваемое

этим телом,

удовлетворяет

дифференциальному уравнению

 

 

 

 

 

 

 

 

 

 

 

hu=

doo(c^acl

и}=

- 47гр(т).

 

 

(.13)

Обратная задача заключается в отыскании такой

функции

р(зс)

с носителем,

содержащимся внутри 3,

что

потенциал

тяготения,

со­

здаваемый

телом

с плотностью

р(х)

, принимает в точках вне

по­

верхности

S

заданные

значения. Так как

решение уравнения

(13)

находится в явном виде:

 

 

 

 

 

 

 

 

 

 

 

«

Ч

Ш

 

 

 

 

 

 

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

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

14

на,

была установлена

п.с,Новиковым [Ю8] . в дальнейшем исследова­

нием обратной задачи теории потенциала занимались А.Н.Тихонов

[153] , Л.Н.Сретенский

[143-145] , В.К.Иванов [54 - 56] , М.М.Лаврен­

тьев

[74,76]

, И.М.Рапопорт [120,121] , А.И.Прилепко [ I I 4 - I I 8 ] ,

В.Н.Страхов

[150,151]

, работами которых теория обратной задачи

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

Некоторые вопросы астрофизики и квантовой механики привели в следующей задаче: дан спектр дифференциального оператора второго

порядка

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

u

-

-

t

 

+

< 2 ( x )

 

 

 

 

 

( I 5 )

требуется найти

этот

оператор.

Более точно,

в регулярном

случае

конечного

отрезка

[а,Ь]

она

ставится следующим

образом;

извест­

ны собственные

числа

Л к

дифференциального

оператора

(15)

с кра­

евыми условиями вида

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

у 7а) -A-yft) =0,

 

 

 

 

 

(16)

 

 

 

 

 

уЧЬ) +

НуШ = О,

 

 

 

 

 

(17)

причем h

-

действительные

числа; требуется,

зная набор

соб­

ственных

чисел

 

Л„

,

найти

 

<j/ac)

на

отрезке

[а,Ы.

Напомним,

что

собственными функциями дифференциального оператора

L

при усло­

виях ( 1 6 ) , (.17)

называются ненулевые решения уравнения

 

 

 

 

 

 

 

 

Ly^?tff

 

 

 

 

 

 

 

 

(18)

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

условиям

( 1 6 ) ,

(18) . Те значения

Я

, при которых

существуют эти собственные функции, носят название собственных

значений

(или

чисел)

оператора

L

. В курсах

по спектральной

тео­

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

функция

непрерывна на конечном отрезке

[а, Ь],

собственные

числа задачи (16)-(18) являютоя вещественными, они расположены

 

дискретно и имеют точку сгущения на

бесконечности (см. [90,105,152]).

Таким образом, требуется по бесконечной последовательности чиоел

Я„ найти функцию одного переменного

Эта

задача получила

название обратной задачи Шгурма-Лиувилля. Числа

Я„

содержат

в

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

в

15

случае, когда функция ^(сс) четна относительно середины отрезка [а.,6], ее можно однозначно найти но собственным числам задачи (16У-

(18) .

Если не она

таковой

не является, то ее можно найти по двум

спектрам, связанным с задачей ( 1

6 ) - ( 1 8 ) ; а

именно,

если задать

дополнительно спектр

этой

задачи

с условием

( 1 7 ) ,

в котором

Н

заменено на число

И±^Н.

Первые подобные теоремы были получены

В.А.Аыбарцумяноы

[ 6 ]

и Г.Боргом

[27J . Позднее В.А.Марченко

по­

казал,

что,в общем случае,

обратную задачу Штурма-Лиувилля

ра­

зумно

ставить по-другому,

так как одного спектра недостаточно

(особенно в нерегулярных случаях) для восстановления дифференци­ ального оператора. В постановке В.А.Марченко обратная задача фор­ мулируется следующим образом: дана спектральная функция дифферен­ циального оператора (15); требуется найти этот оператор. В регу­ лярном случае, который мы рассматривали выше, задание спектраль­ ной функции эквивалентно заданию наряду с собственными числами А п , нормировочных коэффициентов

* » = J

dx,

( I 9 )

a.

 

 

связанных с собственными функциями

^„(х,Л„)

задачи (16) - (18),

при этом произвольные множители собственных функций фиксируются

о помощью условий

 

 

 

ynlaX)

= i,

^ / а , Л „ ) = А .

(20)

В.А.Марченко показал

[ 9 4 , 9 5 ] , что спектральная

функция единствен­

ным образом определяет дифференциальный оператор (15) . Полное ре­

шение обратной задачи Штурма-Лиувилля в постановке

В.А.Марченко,

с выяснением необходимых и достаточных условий для

спектральной

функции, дано И.М.Гельфандом и Б.М.Левитаном [ 4 2 ] . В несколько другой постановке эту же задачу исследовал М.Г.Крейн [66-70] . Ряд результатов в связи с обратной задачей Штурма-Лиувилля получен и в работах В.А.Марченко [9б] , Л.Д.Фаддева [162,163] , Л.А.Чудова [166,167] и других авторов. Подробное изложение обратной задачи Штурма-Лиувилля содержится в монографиях М.А.Наймарка [105] , Б.М.Левитана [8б] , а также в постановке с данными рассеяния в мо­ нографии З.С.Аграновича и В.А.Марченко [ i ] .

Одной из важнейших в прикладном отношении задач является так­ же обратная задача электромагнитной разведки. Взаимодействие элек-

-тромагнитного поля со средой описывается уравнениями Максвелла,з которые входят в качестве коэффициентов магнитная восприимчивость,

16

диэлектрическая характеристика среды и электропроводимость.Элек­ троразведка заключается обычно в том, что измеряется электричес­ кое и магнитное поле на поверхности Земли и вне ее, либо естест­ венное, либо создаваемое с помощью специального источника элект­ ромагнитных колебаний. Требуется по этим измерениям определить неизвестные коэффициенты, входящие в уравнения Максвелла и харак­ теризующие электромагнитные свойства среды. В математическом от­ ношении эта задача исследована сравнительно слабо, имеются резуль­ таты для случаев, когда среда представляет собой систему однород­ ных слоев [40] , либо свойства ее зависят только от одной коорди­ наты [37,38,154,155,165]. На практике геофизики обычно использу­ ют метод палеток, заключающийся в подборе из имеющегося атласа такой среды, которая давала бы электромагнитное поле, близкое к наблюдаемому. Результаты, получаемые таким образом, в большой степени зависят от интерпретатора и являются довольно грубыми.Поэтому актуальной является разработка методов численного решения обратной задачи электроразведки.

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

§ 2 . Некоторые основные понятия функционального анализа.

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

сданным вопросом можно по книгам [64,65,91,142] .

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

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

множество в пространство.

 

 

 

 

 

 

 

 

 

 

Определение I . Множество X

называется метрическим простран­

ством, если каждой паре его элементов х

и

у

поставлено

в

соот­

ветствие

неотрицательное число

р

fay),

удовлетворяющее

следую­

щим условиям:

 

 

 

 

 

 

 

 

 

 

 

 

1)

 

/>(х,у)=о

тогда и только

тогда,

когда

^ = у ;

 

 

 

2)

J)fry)=jOlfX)

;

 

 

 

 

 

 

 

 

 

 

3)

 

fiiy,

 

1) > j)(<3c,%)

 

 

 

(неравенство

треуголь­

ника) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Число

pfcy)

называется расстоянием между элементами

х

и

^ . В том случае,

когда задано

ffayl

для любых

пар

х, у

мно­

жествах

 

, говорят также, что на множестве

X

задана

метрика.За­

дать метрику для одного и того же множества можно по-разному.

 

Определение

2 . Элемент X метрического

пространства

X

назы­

вается пределом последовательности элементов ос±г,

 

 

х п , . . .

 

из множества М^Х,

если pi^n,oc)—*

о

при п-~<~= , то

есть,если

для любого положительного числа

е

найдется такой

номер WTfi)

,

что при всех

n>Jf(£)

 

 

 

 

 

 

 

 

 

 

Предельный для последовательности

{т„7,

o:neJU, n-i,г,

з,...

 

элемент

х

может либо принадлежать

множеству

Ж , либо не при­

надлежать

ему.

 

 

 

 

 

 

 

 

 

 

 

 

Определение

3. Если множество Л1СХ

содержит

в себе

все пре­

дельные элементы, построенные для всевозможных сходящихся после­

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

из

элементов М

, го

оно называется замкнутым мно­

жеством.

 

 

 

 

 

 

 

 

 

Определение

4 . Множество JU^X

называется открытым, если

его

дополнение Х^-М

до пространства

X

замкнуто.

 

Примеры метрических

пространств.

 

 

 

I .

Рассмотрим множество X

-всевозможных

непрерывных на

от­

резке

[ 0

, 1 ] функций xd)

. Если ввести для

его элементов рас­

стояние

по формуле

 

 

 

 

 

 

 

18

то множество X превратится в метрическое пространство, которое принято обозначать через С [0,1] . Нетрудно проверить, что аксиомы метрики 1) - 3) при этом выполнены. Сходимость к элементу х прост­ ранства C [0 ,l ] означает при этом, как нетрудно убедиться, равно­ мерную сходимость.Действительно,то что последовательность элементов

xneC[o,l] сходится к элементу хЙ) , означает согласно определению 2 , что для любого £>о существует такой номере,

зависящий только от £ , что при всех п. > Jf(a) выполнено нера­ венство

 

 

 

 

пиис

\xji)-xli)

| <

£ ,

 

 

а это и означает

равномерную по i

на отрезке [ 0 , l ]

сходимость

последовательности к функции

x f f l .

 

 

 

 

2„ Рассмотрим теперь множество X

-всевозможных функции x(i)t

имеющих на отрезке

[0,1] I

непрерывных производных:

х""Ш,

x'iD,

х'Щ ...

, х("(1).

 

 

 

Определим расстояние между эле­

ментами этого

множества по формуле

 

 

 

 

 

 

 

 

i

max I xMU) - « w

 

 

 

 

p(x,yhZZ

 

| .

(2)

Аксиомы метрики

 

Ь)-3)

при этом также выполнены. Функциональное

пространство,

отвечающее метрике

(2) , состоящее из функций, имею­

щих непрерывные

производные до порядка

I

включительно, обознача­

ется

символом

С

[ 0 , 1 ] .

 

 

 

 

 

 

3. Пусть X

-

множество всех функций

эс(-0 , суммируемых на

отрезке fo,l]

со степенью п . Полагая

 

 

 

 

pix,y)=

J j\xlti-yll)\pdx)

Р

 

(3)

 

 

 

 

 

 

о

 

 

 

 

 

превращаем его в метрическое функциональное пространство Lp .Пер­ вые две из аксиом метрики проверяются легко, последняя следует из неравенства Минковского для интегралов:

(j|^)-y|«|pcfe)*4 (] )x(l)\PdxfP+

[]\f)\?dxf

о

 

19

Соседние файлы в папке книги из ГПНТБ