Файл: Салахитдинов, М. С. Уравнения смешанно-составного типа.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 30.10.2024
Просмотров: 74
Скачиваний: 0
конечное число линейно независимых решений, а для разреши
мости неоднородной задачи Л* необходимо и достаточно, чтобы
|
|
j j /(*, у) v] (х , у) dxd y = 0, |
i = 1, 2,..., k', |
(V.48) |
|||
|
|
D |
|
|
|
|
|
где тЛ |
|
v k, — полная система |
линейно |
независимых решений |
|||
однородной (Д = 0) задачи Л *, |
причем |
число |
линейно |
незави |
|||
симых решений однородной задачи Л* также равно к'. |
|
||||||
Необходимость условий (V.48) проверяется |
непосредственно. |
||||||
Докажем |
их достаточность. Приняв обозначения |
|
|
||||
|
|
У) = f N * ( x , у; s )p (s )d s , |
|
|
|
||
|
|
т* (х, у) = j Г (х, |
у; t) х (t) d t , |
|
|
|
|
|
|
-1 |
|
|
|
|
|
условия |
разрешимости уравнения (V.47) можем записать |
в виде |
|||||
|
|
jjtp * (л-, у) [n* (х, у) + |
х’ (х. у) + F (x , |
у)] |
= 0; |
(V.49) |
|
здесь |
<pj — полная система линейно независимых |
решений одно |
родного уравнения, сопряженного с (V-47).
Пусть условия (V.49) выполнены. Тогда общее решение
уравнения (V.47) представляется так: |
|
|
|
|
и (х, у ) = |
R* (F + р * + х *) + |
2 |
( х , у ), |
(V.50) |
где |
|
i=i |
|
|
|
|
|
|
|
R * F = F ( x , |
у ) + и ^ ? *(х , у; |
$, |
t\)dldt\, |
|
/ ? * ( х , У; ^ — обобщенная резольвента, |
иДх, у), как и |
в слу |
||
чае задачи Л, — полная система линейно |
независимых решений |
|||
однородного уравнения (V.47). |
|
|
|
Из формулы (V.50) получим уравнение для определения
функции p(s0) |
|
|
|
|
= |
I* ( s0) “ |
( so. s) !A(s) ds = F i ( so) + |
|
|
+ |
j ‘7'1(s 0, t )x { t) d t + '2i a J vJ |
[s 0), |
(V.51) |
|
- i |
;=i |
|
|
|
где |
|
JJ N2( s„; 5, y\)f (6, |
|
|
|
Fi (s0) = |
rj) d\df\, |
|
144
Л^> ( s0, S, |
-q) — вполне |
определенная |
функция, |
а |
Я* ( sQ, |
s) и |
|||||||||||||
Ti (s0, t) — фредгольмовы |
ядра. |
|
|
|
|
|
заключаются |
|
в сле |
||||||||||
Условия |
разрешимости уравнения (V.51) |
|
|||||||||||||||||
дующем: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j x ' I К |
) |
Л ( М |
+ |
-i |
|
( so>* ) • = ( * ) < # + 2 ® |
J M |
so) |
d s Q= 0,(V.52) |
||||||||||
с. |
|
L |
|
|
|
i |
= 1, 2, |
|
j=i |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
здесь |
X/ ( so) — полная |
система |
линейно |
независимых |
решений |
||||||||||||||
сопряженного однородного уравнения, |
соответствующего |
урав |
|||||||||||||||||
нению (V.51). При выполнении |
условий |
(V.52) |
общее |
решение |
|||||||||||||||
уравнения (V.51) |
записывается |
в |
виде |
|
|
|
|
|
|
|
|
||||||||
|
|
|
К*о) = |
Г* |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
||
|
|
|
F d s 0) + |
j |
Ti(sQ, |
|
dt |
|
+ |
|
|
||||||||
|
|
|
|
|
|
|
|
|
-1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
V |
|
|
|
'i+p |
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
2 |
ai |
v*i ( so) + |
|
2 |
|
( |
|
s°)> |
|
|
|
|
(V,53) |
||
где |
|
|
|
|
1=1 |
|
|
t=v+l |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f '' Л |
= F, |
(s 0) + |
i r> ( V |
s) F t (s) d s , v ) ( |
s„) |
|
= Г ■Vj, |
|
|
|||||||||
|
|
|
|
|
|
|
"a |
|
|
|
|
|
|
|
|
|
|
|
|
Г* ( s0, s) — обобщенная |
резольвента |
ядра |
( s0, |
s'), через pv+1,... |
|||||||||||||||
•••> РУ+р обозначена полная система линейно независимых |
реше |
||||||||||||||||||
ний однородного |
уравнений М* р = |
0, |
av+1,..., а ч+ |
— произволь |
|||||||||||||||
ные постоянные. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Функции |
v } ( |
s 0 ) |
( j = 1 , . . . , v ) |
и (Аг ( г |
= |
v - |
f 1 , . . . , |
v + р ) , |
очевид |
||||||||||
но, линейно независимы. |
|
|
|
|
|
|
записать так: |
|
|||||||||||
В силу (V.53) функцию р* (х , у) можно |
|
||||||||||||||||||
I** (•*, |
У) = F2 (-П у) + |
j Т2(х, |
у, |
t)*(t) dt + |
2 а * р* (jc, |
у); |
|||||||||||||
|
|
|
|
|
|
|
|
-1 |
|
|
|
|
|
|
/=1 |
|
|
||
здесь |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F2(x , у) = |
j N* (х, |
у, s ^ F ^ s J d s |
= § \ n 3(x , у; |
$, у))/(;, |
y\)d\ d-q, |
||||||||||||||
|
|
|
са |
|
|
|
|
|
|
|
|
D |
|
|
|
|
|
|
|
|
|
|
То (х, у, |
t) |
= j |
N *(x, |
у, |
s) Г* |
7\ (s, |
t)ds, |
|
|
|||||||
|
|
|
|
|
|
|
аа |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Pj (•*. у) = |
J |
n * ( x , у, |
s ) v 1 (s)ds, |
j = |
1 ......v, |
|
|
|||||||||
|
|
|
|
|
|
ca |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(*, |
У) = |
j V |
(■*. У, s) p, (s) ds, |
j = |
v + 1,..., |
v + p. |
|
|
|||||||||
|
|
|
|
a . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
10-11 |
145 |
Заметим, что если среди функций [х* (л-, у) окажутся линейно
зависимые между собой, то, как в случае задачи А, выразив линейно зависимые через независимые, мы можем оставить толь
ко линейно независимые из функций (х. (х, у). Поэтому можно предполагать, что все функции у* (х, у) являются линейно неза
висимыми. Учитывая выражения функции [х* (х, у), из формулы (V.50) получаем интегральное уравнение Фредгольма второго ро да для определения неизвестной функции т(х ):
Т (jc) — |
J 5 (X, t ) x ( t ) d t = |
F s (х) + |
2 |
bjV-** (■*), |
||||
-1 |
|
|
|
|
|
j=i |
|
|
где |
|
|
|
|
|
|
|
|
5 (х, |
t) |
= /?* [7 (х , у, |
t) f |
Т2 (х, у, ^)]3,=0, |
||||
|
|
F3 ( x ) = |
R * ( F |
+ |
F2) v=0, |
|
||
|x‘* ( x ) = |
Ж [X* (х, |
У)|у=0, |
у' |
= 1 ,2 ,..., |
V + /? , |
|||
через (х^.р+1,..., |
{х*+р+п обозначены |
для |
единообразия функции |
lh (х, 0),..., ип (х, 0), а через |
Ь} (у = |
1, |
2,..., |
'>+ |
Р + п) — посто |
|||||||||
янные а. |
(у = 1,..., |
v -(-у?) |
и a. |
(i = 1 |
, . . . , п). |
Среди |
функций |
|||||||
V-j (х ) (у = 1,..., |
v +у? + п) могут |
оказаться |
линейно |
зависимые |
||||||||||
между |
собой, |
несмотря |
на |
линейную |
независимость |
функций |
||||||||
Ну (■*> У) |
( j = 1,..., |
v + р ) |
и и{ (х, |
у) |
(i = |
1,..., п). |
Допустим, |
что |
||||||
первые q из этих функций — линейно независимые, а |
остальные |
|||||||||||||
линейно зависят через них. Тогда предыдущее |
уравнение |
при |
||||||||||||
мет |
вид |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
т (Л') — |
| 5 (■*, t) Т (t) dt = |
F3 (х) + 2 |
b * У*(х), |
|
(V.54) |
||||||||
|
|
- i |
|
|
|
|
|
j = i |
|
|
|
|
|
|
где |
постоянные |
b* |
выражаются |
через |
|
(у = |
1,..., п |
р + v). |
||||||
Уравнение (V.54) |
имеет решение |
тогда |
и только тогда, |
когда |
||||||||||
правая его часть удовлетворяет условиям |
|
|
|
|
|
|||||||||
|
j 4 w |
|
|
|
|
dx = 0, i — 1, 2,..., m, |
(V.55) |
j =i
где тс. (x) — полная система линейно независимых решений сопря
женного однородного с (V.54) уравнения. Введя обозначения
1
e . z = J тс. (х) F3 (х) dx,
-1
146
условия (V.55) представим в виде |
|
|
|
|
ч |
|
|
|
(V.56) |
2 |
ь) mvs = £v |
т, |
|
|
;= 1 |
|
|
|
|
где со;;. — определенные |
постоянные, не |
зависящие |
от функции |
|
/(А ', у ). |
|
|
а (а < q, а < т ) . |
|
Предположим, что ранг матрицы ||и>г;.|| равен |
||||
Тогда условия разрешимости системы (V.56) будут |
заключаться |
|||
в том, чтобы |
|
|
|
|
%+J + 2 |
еп Е' = ° > j = |
2. - . т - |
а- |
(у -57) |
i = 1
где ejt — вполне определенные постоянные. Внося в предыдущие равенства на место е. их выражения, убеждаемся, что условия разрешимости уравнения (V.54) имеют вид
ч)/(5, n)d\d-n = 0 , j = l , 2 , . . . , m - < r , |
(V.58) |
D |
|
здесь я* (£, т)) — вполне определенные функции, выражения кото рых легко можно выписать. Заметим, что число условий (V.58) мо
жет |
быть меньше т — а, так как мы не |
можем утверждать, что |
|||
все |
функции -к. (£, |
т;) являются линейно |
независимыми. |
||
Предположим, что условия |
(V.58) |
и, |
следовательно, (V.57) |
||
выполнены. Тогда |
система |
(V.56) |
разрешима относительно |
||
,..., Ъ*а и ее общее решение будет иметь вид |
* ; = |
i |
M |
j |
+ |
i |
x |
v |
г - 1- 2 ..... »• |
|
|
|
;=a+i |
|
;=i |
|
|
|
|
|
||
где Ьц, M.j — определенные |
постоянные, |
не зависящие от |
функ |
|||||||
ции f { x , у). |
|
|
|
|
|
|
|
|
|
преды |
Если теперь внести в правую часть уравнения (V.54) |
||||||||||
дущие значения постоянных Ь* |
,..., |
Ьа , |
то |
полученное интеграль |
||||||
ное уравнение будет разрешимо |
при |
любых значениях |
произ |
|||||||
вольных постоянных b*a+v..., |
b q |
и его |
общее решение можно бу |
|||||||
дет представить |
в виде |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m~\-q—3 |
|
|
|
|
|
Т (*) |
= Ft (х) + |
2 |
ci |
(х )> |
(V.59) |
||||
|
|
|
|
|
|
i=l |
|
|
|
|
где |
|
= J j |
|
|
|
|
|
|
|
|
Ft (х) |
N 3 (х, |
S, |
т))/ (5, |
г/) d\ df\\ |
|
147
N 3{x, S, vj) — вполне определенная функция; хг(л )(1= 1, 2,..., т) — полная система линейно независимых решений однородного урав
нения |
(V.54); |
(^ — произвольные |
постоянные; |
через |
|
ст+1, ... |
||||
..., |
|
обозначены для |
единообразия произвольные |
постоян |
||||||
ные b]+v..„ b*q, |
а через xm+1,..., ^m+q-* — вполне |
определенные |
||||||||
функции, не зависящие от функции / (х, у). |
|
|
|
|
||||||
Функции х. (х) (г = 1,..., т + |
д — а), как легко |
видеть, |
линей |
|||||||
но независимы. Функция x(x), |
определяемая |
формулой |
(V.59),. |
|||||||
должна еще удовлетворять условиям (V.49) и |
(V.52). |
Удовлет |
||||||||
ворим сначала условию (V.52). |
С этой целью правую часть урав |
|||||||||
нения (V.51) обозначим через J |
(s0). На основании (V.59) функ |
|||||||||
ция J |
(s0) |
представляется |
в виде |
|
|
|
|
|
||
|
|
|
|
m+q—я |
v |
|
|
|
|
|
|
J |
( So) = jP5 ( So) + |
2 |
V |
l ( 5o)+ |
|
|
|
|
|
|
|
|
|
1=1 |
|
j = l |
|
|
|
|
где |
|
|
|
|
|
|
|
|
|
|
|
|
FA so) = i i A/-i(so’ |
A f (*• *»)Шг>' A ( so) = |
|
|||
|
|
D |
|
|
|
|
|
|
|
= |
Jf7*! («O' |
*) |
|
|
|
N4(s0, |
к;)— вполне определенная |
функция. |
|
||||
Предположим, что |
функции х* ( s0) и v. ( s0) линейно |
незави |
|||||
симы, в противном случае, как и выше, можем оставить |
только |
||||||
линейно |
независимые, |
выразив зависимые через независимые. |
|||||
Для |
удобства обозначим функции v v ..., t/v через 'гш+9_я+1 ,... > |
||||||
W |
- н ' |
а постоянные а х ......а ч - |
через |
cm+q_ ,+1,... , cm+?_3+v. |
|||
Тогда |
|
|
|
|
|
|
|
•/( so) = р 5( 5о) + 2 |
ci x*i ( so> mi = т + |
Ч ~ ® + v- |
(V.60) |
г= 1
Всилу (V.60) условия (V.52) можно переписать в следующем виде:
т,
2 с .а и = ^, i = \, |
(V.61) |
i = 1
здесь о-ц — вполне определенные постоянные, не зависящие от функции f ( x , у), а
^ = J xI ( s0) F 5 ( s0) ds0.
148