Файл: Романов В.Г. Обратные задачи для дифференциальных уравнений спецкурс для студентов НГУ.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 19.06.2024
Просмотров: 195
Скачиваний: 0
< ^ x> 4//;'(xr xo ) - f e - x j ] - j <|Ш• j о ( y ctf, |
rf*. |
(10) |
Очевидно, чго можно подобрать бесконечно много непрерывных на от резке fx^.Xjj функций <i(ocjt удовлетворяющих условиям (10) . Для разрешимости задачи необходимо также выполнение условия
|
|
|
/ ^ з с . - э у - |
Чг. |
|
|
( I I ) |
Можно показать, что при выполнении этого условия, если задать |
|||||||
q(x) на отрезке lxa,xt] |
так, чтобы |
были выполнены условия |
согла |
||||
сования |
(10), |
система уравнений (9) |
совместно |
с уравнениями |
для |
||
функций |
и,щ |
определяет в достаточно |
малой |
области £>(ос1 ,х0 ,Т), |
|||
Т>1хх |
-эг/ |
единственное непрерывное решение, которое естествен |
|||||
но зависит от |
того, как |
задана функция |
у(х) |
на отрезке [х 0 ,х,1 . |
Для доказательства достаточно провести оценки, аналогичные проде ланным ранее.
Используя принцип сжатых отображений, мы показали, чго реше
ние обратной задачи для уравнения |
|
с данными при х=х„ имеет |
единственное решение в классе непрерыв |
ных решений, если область |
ЧЬ(Т) достаточно мала. Покажем теперь, |
что если решение обратной задачи существует и непрерывно, то оно единственное в любой конечной области. При этом мы используем ме тод получения теоремы единственности, который с успехом может быть
применен и при исследовании других обратных |
задач. В общем виде |
|||
этот |
метод будет изложен в главе ГУ. |
|
|
|
Предположим, что существует пара непрерывных функций |
(falx) и |
|||
Lj^x), |
являющихся решением обратной задачи. Покажем, что |
они не |
||
обходимо должны совпадать. Обозначим через |
ix^i), |
иг(х,1) |
реше |
|
ния задачи Коши: |
|
|
|
|
( |
Щх,о) = о, |
ujx,o)=b(х-х.) |
|
при |
<^=LI1(X) и ci= qjx) |
соответственно. Значения функций |
«;(хД |
|
1= |
1,2, и их производных по х |
должны при этом в точке х„ |
сов |
|
падать: |
|
|
|
61
Введем в рассмотрение функции |
|
u(x,i) = ujx,i)-ujx,i), |
^ |
Легко получить дифференциальные соотношения, которым должны удов
летворять эти функцииВычитая из равенств |
(12) |
при « |
= |
4= |
|||||||
аналогичные равенства, получающиеся при |
U=IL,, |
2=<2*' |
|
находим |
|||||||
|
|
«« |
= й ж + |
Ъ й +Ч |
U z , |
|
|
|
|
(15) |
|
|
|
и(х,о)<=о, |
|
|
Щ(Х,0)=О. |
|
|
|
|||
При этом мы использовали |
тождество |
|
|
|
|
|
|
|
|||
Кроме того, из |
равенств |
( 1 3 ) , находим |
|
|
|
|
|
|
|
||
|
|
|
ulx„,l)=o, |
|
uxlxJ) |
= o. |
|
|
(16) |
||
Выпишем теперь формулу, |
выражающую при заданных |
|
о^и^, ця |
Функ |
|||||||
цию а |
через |
. Используем для |
этого |
фундаментальное |
решение |
||||||
задачи |
|
|
|
|
|
|
|
|
|
|
|
|
|
Ulx,o)=o, |
Й < (х,о)=0, |
|
|
|
|
|
|||
которое |
обозначим через |
G-Jx^^i-r). |
|
С помощью его можно вы |
|||||||
писать решение задачи Копш с нулевыми данными для |
уравнения |
|
|||||||||
в виде |
|
|
|
|
|
|
|
|
|
|
|
|
|
Е М ) « J J Q ^ - t j / ^ T ^ r . |
|
|
|
|
ав) |
||||
Очевидно, что |
функция |
1т,(аг,£;4-г; |
отлична от |
нуля |
только |
в |
|||||
области |
|
|
|
|
|
|
|
|
|
|
|
поэтому интеграл в формуле (18) на самом деле распространяется на конечную область
Мх,{) ={(i,Tj • |
о « т « 4 - | а : - $ |
| } , |
представляющую собой прямоугольный |
треугольник |
с вершиной в точ- |
62
ке (х, ij.
Рассматривая в формуле (15) выражение в качестве функ ции /(хД получаем
ВД)= |
j j ^ f x ^ i - r ) ^ ) - u ^ , t ) |
d | dx. |
|
(19) |
|||
Заметим теперь, |
что |
иг1$гт)=о |
вне области |
С> = {(£,гЪ |
о<т< |
1£-х.1} |
|
Тогда формулу (19) можно записать в виде |
|
|
|
||||
|
й(х,Ц |
= jj tyi)- |
С, (х, |
-t-т) a j i / c ) cL^ <k. |
(20) |
||
Положив здесь |
и в выражении для производной |
йх[х,1) |
х=.х^найдем, |
||||
используя уоловия (16), уравнения для |
£ ( х ) : |
|
|
|
{[Gjcc^i-T)^)-uz(i,tl |
d$ dz = o, |
! (21) |
aw
Эти уравнения представляют из себя систему уравнений Вольтерра первого рода. Используя свойства функций Qu и 2 , легко преобразо вать уравнения ( 2 1 ) , (22) в уравнения второго рода. Задача (17) построения функции Q± эквивалентна задаче решения интегрального уравнения
|
C t e M ^ r ) + |
|
у у - С А Д т * ) |
d%tdxt, |
(23) |
||||
|
|
|
|
|
i - c > | x - t l . |
» |
|||
Отсюда ясно, что яри непрерывной функции |
|
^foc), |
функция |
|
|||||
(^(а^-т) обладает внутри области |
i - r ^ / x - f c l |
непрерывными частными |
|||||||
производными G i x i |
Gti, |
Ciocb |
Giu |
и |
» |
кроме |
того, |
|
|
|
|
|
|
|£-х|) = ^ . |
|
(24) |
|||
Дифференцируя равенство |
(21) два раза по I |
, а равенство |
(22) один |
||||||
раз по i |
и используя равенство ( 2 4 ) , получаем |
систему однородных |
|||||||
уравнений |
Вольтерра второго рода: |
|
|
|
|
|
|||
«ц,(М-к-н)]df |
+ j j |
CiU |
fax |
i-z) |
ua (s,r) d% d r = |
о, |
63
J - | ^ o 4 - ) - < 3 ' * o - ? ) b
+ U ( H [i«a t l|,l4x.-yV5yife-sO+(ix (3q.j |,|x.-il)«
©f«
Введем в рассмотрение пару функций |
|
|
P , W ~ i J 9 t e + £ ) + |
$ ( ^ - f > L |
(25) |
- -|(^зсо + f ) - |
Ц ( х о - f ) ] - |
|
Первая из этих функций является четной функцией, а вторая - нечет ной функцией. Функция ^(х) выражается через р^эс), p j x ) по фор муле
= pt (2(X-3y) t - p 2 ( 2 ( X - X j ) . |
(26) |
Производя в полученных выше интегральных уравнениях замену перемен ной £ на переменную
и используя равенства (25), (26), преобразуем их к нормальному ви ду системы интегральных уравнений Вольтерра:
В этих уравнениях ядра |
3£[£,4), |
Ji^l) |
находятся по формулам |
+2J G , „ |
[x., x 0 + ^ ' , |
* - r ) • u z ( x 0 |
+ fet,, T) dx, |
64
и, очевидно, являются непрерывными |
функциями переменных |
в |
|
области 1>о, |
=>< ! , < « ~ . Система |
однородных уравнений |
Вольтер- |
ра определяет, как известно, единственное решение, тождественно равное нулю:
|
frills |
О, |
t = i , 2 |
( i » C ) . |
Из формулы (26) тогда получаем |
|
|
||
Последнее означает, |
что |
yjx)^yjx) |
и, следовательно, если об |
|
ратная задача имеет |
решение, то |
оно единственно на всей оси эс. |
§3 . Обратные задачи, сводящиеся к обратной задаче
околебаниях струны
Вэтом параграфе мы рассмотрим некоторые обратные задачи, ко торые приводятся к изученной нами задаче для безграничной струны.
Кчислу таких задач относится прежде всего задача определения ко
эффициента ojx) для полуограниченной струны
|
|
|
" « = |
" a |
+ |
? W « |
|
(Х>0), |
|
|
(I) |
||
если задана информация о решении следующей смешанной задачи |
для |
||||||||||||
уравнения |
( I ) : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и(х,<Я=о, |
|
щ(х,о)^ё(х) |
(х&о), |
|
(2) |
|||||
|
|
|
|
u.jo,i1=o |
|
U>o). |
|
|
|
(3) |
|||
Пусть |
эта |
информация имеет вид |
|
|
|
|
|
|
|
||||
|
|
|
|
|
utql) |
=fU). |
|
|
|
|
(4) |
||
Функции |
в этом случае |
оказывается достаточно для |
одно |
||||||||||
значного нахождения коэффициента |
о/х). |
Действительно, |
если мы |
||||||||||
четным образом продолжим в область |
х<о, |
1>о |
функции |
•nftc.-l), |
|||||||||
q[x) |
и данные Коши ( 2 ) , |
то |
условие |
(3) |
будет |
автоматически |
вы |
||||||
полнено. Решение прямой задачи |
|
|
|
|
|
|
|
||||||
|
|
|
и(х,о)=о, |
|
|
и^х,о) |
= 2 о*(х), |
|
|
(5) |
|||
с продолженным четным образом коэффициентом |
<^х) |
будет |
совпа |
||||||||||
дать в области |
х » о , £>о |
с |
решением смешанной задачи ( 1 ) - ( 3 ) . |
||||||||||
Следовательно, |
информация (4) |
останется без изменения. В этом |
|||||||||||
случае |
мы опять можем получить |
систему интегральных |
уравнений для |
||||||||||
|
|
|
|
|
|
|
65 |
|
|
|
|
|
|
функций |
u , u ( |
, ^ . Для этого |
нам достаточно, |
в силу |
четности |
уШ, |
||
только |
одной функции |
/(•£) = що,1). |
Фактически функция fd) |
игра |
||||
ет здесь роль |
функции |
fail), |
а функция fcl) |
в силу |
условия |
(3) |
||
тождественно равна нулю. Точка х„ |
в данном |
случае совпадает |
с |
|||||
концом |
струны. |
|
|
|
|
|
|
|
Если относительно решения задачи (1) - (3) |
задать |
информацию в |
||||||
точке |
х ( > о , |
то по функции |
|
|
|
|
|
Шх,,1) = |
fad) |
(6) |
коэффициент qix) восстанавливается |
неоднозначно, |
степень неодно |
значности здесь аналогична случаю, когда в задаче о бесконечной
струне |
точки |
о;, xt |
не совпадают; то есть |
на отрезке |
[о, зс,] ко |
||||||||
эффициент |
ц(х) может быть задан |
"почти" |
произвольно. Эта неодно |
||||||||||
значность снимается, |
если задать |
в точке |
х, |
еще производную по |
|||||||||
X от решения прямой |
задачи ( 1 ) - ( 3 ) . По функциям |
|
|
|
|||||||||
|
|
|
|
u(xj) |
=ltl), |
|
ujxj)={d) |
|
|
|
(7) |
||
коэффициент |
|
q(x) |
находится однозначно. Функцию |
fzd) |
достаточ |
||||||||
но при этом |
|
задать |
на отрезке |
х, 4 i * Зх^ |
Поясним последнее ут |
||||||||
верждение. Для обратной |
задачи |
( 5 ) , (7) мы можем получить формулы, |
|||||||||||
аналогичные |
формулам |
(9) § 2 (при х„=о), |
отличающиеся от |
них |
|||||||||
только наличием постоянного множителя 2, который является |
следст |
||||||||||||
вием того, |
что в начальных условиях задачи (5) |
фигурирует |
2§(х ) |
||||||||||
вмеото |
Six). |
Второе из уравнений |
(9) определяет |
о^х) |
при |
х«х„=а |
|||||||
|
Но так как функция |
qix) |
является четной, |
то тем самым она |
определяется в симметричной точке /х/ . Если теперь изменять х на
отрезке |
f - x f |
, эс,], то два уравнения |
(9) в совокупности с уравнени |
||||||||
ями для |
и, at |
образуют |
в области |
<D(x.,x,J), |
T=3xt |
замкнутую |
|||||
систему |
уравнений. Если |
xt достаточно мало, |
то к этой системе |
||||||||
применим принцип сжатых отображений. Найдя функцию |
у{х) |
на от |
|||||||||
резке |
[о, 2 x J , мы можем далее |
ее находить на более широком отрез |
|||||||||
ке, используя |
только функцию |
ftd). |
При этом условия согласова |
||||||||
ния (10) |
§ 2 накладывают |
на функция |
{tdi, f^d) |
на отрезке |
|||||||
xt^i |
« 3 x L |
некоторые условия, |
которые в данном |
случае |
трудно |
||||||
выразить конструктивно. Если же не заботиться |
|
об их выполнении, |
то решение будет принадлежать классу кусочно-непрерывных функций (возможен конечный разрыв функции qix) в точке х = х 1 ) .
Отметим, что случай |
струны, ограниченной |
с обоих концов |
|
( о « х й £ ) ; не привносит |
существенных |
трудностей. При решении, на |
|
пример, обратной задачи в постановке |
( 1 ) - ( 4 ) , |
чтобы найти функцию |
66