ДИУ_Фролов_ОТЛ
.pdf
III.2. Метод последовательных приближений
hi
В пространстве функций , естественна норма
|
|
|
= |
, |
|
|
, |
|
|
|
|
h |
|
|
|
|
|
|
|
i |
|
|
h i h i
а в , × , , соответственно
|
= , |
, |
|
|
. |
||
|
|
|
max |
|
( , ) |
||
|
|
h |
|
|
|||
|
|
|
|
i |
|
|
|
Тогда норма интегрального оператора (9) в соответствиит с Определением I. 13 записывается как
|
|
|
= |
max |
|
|
|
|
|
|
= 1 |
|
|
|
|
( , ) ( ) , где |
|
|
|||||
|
|
|
|
|
|
Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
hi
, |
|
При этом, в силу неравенства
max |
|
( , ) ( ) |
6 |
max |
|
, |
· |
|
max ( ) |
|
= |
|
|
· |
|
|
( |
− |
), |
|||||
|
|
, |
Z |
|
|
, |
|
, |
|
|
|
|
, |
·Z |
|
|
|
|
|
· |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
h |
|
|
|
|
h |
i |
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|||
|
|
i |
|
|
|
|
|
|
|
h |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
откуда
|
6 |
|
· ( − ). |
(10) |
|
|
|
|
|
III.2.2. Теорема существования и единственности для уравнения Фредгольма II-го рода
Рассмотрим уравнение Фредгольма II-го рода (1):
hi
Теорема III. 1. Пусть ( ) , , а ( , ) непрерывна в квадрате
n h i h io
= , , × ,
Тогда при условии
| | < |
1 |
, |
(11) |
‖ ‖( − ) |
существует и притом единственное решение уравнения (1), это решение непрерывно и может быть получено методом последовательных приближений.
Доказательство. Обозначим
|
( , ) |
|
|
( |
|
) |
, |
|
[ , ] |
( ) |
. |
|||
= sup |
|
, |
|
= sup |
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
-51-
Будем рассматривать правую часть уравнения (1) как оператор , определённый в пространстве [ , ]:
Z
≡ ( , ) ( ) + ( ). (12)
Всякую функцию ( ) [ , ] оператор переводит в функцию ˜( ), определённую на том же отрезке [ , ]. Вопрос о существовании решения*( ) интегрального уравнения (1) тем самым сводится к вопросу о наличии неподвижной точки у оператора , т. е. такой функции *( ), которая оператором переводится в себя:
|
|
|
|
|
|
|
|
|
* = *. |
|
|
|
|
|
|
|
|
|
||||
|
Покажем, что оператор , определённый формулой (12), действует из |
|
||||||||||||||||||||
полного пространства [ , ] опять в [ , ], т. е. что если ( ) = |
( ), |
|
||||||||||||||||||||
где ( ) [ , ], то и ( ) [ , ]. |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
Действительно, пусть — произвольная точка отрезка [ , ] и пусть |
|
|
|||||||||||||||||||
— любое, лишь бы + |
[ , ] и Φ = max 6 6 | ( )|. Имеем: |
|
( ) |
|
||||||||||||||||||
| |
( +Δ ) ( ) |
| |
= |
( ( + |
, ) |
− |
( , )) ( ) + ( + |
) |
− |
6 |
||||||||||||
|
− |
|
|
|
Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, ) − ( , )|| ( )| + | ( + |
) − ( )|. |
|
|
|
|
||||||||||
|
6 | | Z |
| ( + |
|
(13) |
|
|||||||||||||||||
|
Возьмём любое > 0. По условию ( ) [ , ], и потому 1 > 0 такое, |
|
||||||||||||||||||||
что |
|
|
|
|
|
|
|
|
|
при |
|
|
|
|
|
|
(14) |
|
||||
|
|
|
|
| ( + |
) − ( )| < |
|
: | |
| < 1. |
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
2 |
|
|
|
|||||||||||||||
|
Ядро ( , ) непрерывно в замкнутом квадрате и, значит, равномерно |
|
||||||||||||||||||||
непрерывно в . Поэтому для выбранного > 0 найдётся 2 > 0 такое, что |
|
|||||||||||||||||||||
|
|
|
|
|
|
| ( + |
, ) − ( , )| < |
|
|
|
, |
|
|
(15) |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
2Φ( − )| | |
|
|
|
|||||||||||||
при | |
| < 2 |
и любом [ , ]. |
|
|
|
|
|
таких, что | | |
|
|
|
|
|
|||||||||
|
Возьмём |
= min{ 1, 2}. Тогда при |
< , будут |
|
||||||||||||||||||
одновременно выполняться неравенства (14) и (15) и в силу неравенства |
|
|||||||||||||||||||||
(4) получим, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
| ( + |
) − ( )| < |
|
: | | < , |
|
|
|
|
|
||||||||
что и доказывает непрерывность функции ( ) в любой точке отрезка
[ , ].
-52-
III.2. Метод последовательных приближений
Итак, [ , ] −→ [ , ]. Выясним теперь, при каких условиях операторбудет сжимающим. Имеем
|
|
, |
2) = |
max |
|
|
( ) |
− |
|
( ) = |
|
|
|||||||||||||
( |
|
|
1 |
|
|
|
6 6 | |
|
1 |
|
|
2 |
|
|
| |
|
= |
||||||||
= |
|
|
|
( |
|
) 1( ) |
|
|
|
|
|
|
|
( ) 2( ) |
|||||||||||
6 6 |
|
|
Z |
|
|
|
|
|
|
|
|
|
− |
|
Z |
|
|
|
|
|
|
|
|
||
max |
|
|
|
, |
|
|
|
|
|
|
|
, |
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(16) |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
Z |
|
|
|
)[ 1( ) − 2( )] |
|
|
6 |
|
|
||||||||
= 6 6 |
|
|
|
( |
|
|
|
|
|||||||||||||||||
|
|
max |
|
|
|
|
, |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6 |
|
( |
− |
) max |
|
1( ) |
|
− |
2( ) |
. |
|
|
|
||||||||||
|
|
|
| | |
|
|
|
|
|
6 6 |
| |
|
|
|
|
|
| |
|
|
|
|
|||||
Вспоминая, что
max | 1( ) − 2( )| = ( 1, 2),
6 6
неравенству (16) придадим следующий вид:
( 1, 2) 6 | | ( − ) ( 1, 2),
откуда видно, что при | | < 1/ ( − ) оператор будет оператором сжатия.
Из принципа сжатых отображений заключаем, что для всякого такого, что выполняется (11), уравнение Фредгольма (1) с непрерывным ядром( , ) и непрерывным свободным членом ( ) имеет единственное непрерывное решение.
Последовательные приближения 0( ), . . . , ( ), . . . к этому решению определяются из соотношений
|
|
|
|
+1( ) = Z |
( , ) ( ) + ( ), |
( = 0, 1, . . .), |
(17) |
где в качестве 0( ) можно взять любую непрерывную на [ , ] функцию.
-53-
III.2.3. Резольвента для уравнения Фредгольма II-го рода
Обозначим через интегральный оператор Фредгольма (9): Выведем
представление для степеней оператора |
: |
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 ( ) = Z |
|
, |
|
( ) = |
Z |
|
, |
|
Z |
|
, |
|
( ) = |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= Z |
( ) Z |
, , = Z |
2 |
, ( ) , |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
} |
|
|
|
||
|
|
|
|
|
|
|
|
= |
2{z( , ) |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
3 = Z |
, 2 |
= Z |
, Z |
2 |
, ( ) = |
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= Z |
( ) Z |
, 2 |
, = Z |
3 |
|
, ( ) |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
} |
|
|
|
|
|
||
и так далее. Таким образом, |
|
|
|
|
|
|
= 3{z( , ) |
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= Z |
|
, |
( ) , |
|
|
|
|
|
(18) |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 , |
≡ , |
, |
|
, |
|
|
|
, |
−1 |
, |
|
. |
(19) |
||||||||||
|
= Z |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теперь в силу теоремы I. 4 при |
|
|
< 1 |
оператор |
− |
обратим и |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
||||
|
|
|
− − |
1 |
|
, |
|
|
|
|
|
(16) |
|||||||||||
|
|
|
|
= =0 |
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|||
и для решения уравнения (1) получаем новое представление: |
|
|
|
||||||||||||||||||||
|
|
( ) = ∞ = + ∞ . |
|
|
|
|
(20) |
||||||||||||||||
|
|
|
|
=0 |
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|||
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
||
Учитывая (18), равенство (20) переписывается в виде
∞Z
( ) = ( ) + =1 |
|
, ( ) . |
(21) |
X |
|
|
|
-54-
III.2. Метод последовательных приближений
|
|
Этот ряд сходится равномерно на |
|
[ , ]. Оценка для общего члена |
|||||||||||||||||
|
|
данного ряда будет иметь вид |
|
( ) |
6 |
|
· |
|
|
( − ) , и при |
|||||||||||
( ) |
|
|
|
||||||||||||||||||
|
|
|
|
− |
|
|
∞ |
|
|
|
|
|
|
|
− |
|
|
||||
|
|
|
|
|
|
|
|
|
|||||||||||||
|
( |
|
) |
< 1 числовой ряд |
P |
|
|
|
|
|
( |
|
|
|
) сходится как сумма |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
бесконечно |
убывающей геометрической прогрессии. |
В таком случае в нём |
|||||||||||||||||||
можно менять местами интегрирование и суммирование:
∞ Z
( ) = ( ) + =1 |
|
, ( ) = |
X |
|
|
Z ∞
=( ) + ( ) X −1 , .
=1
Если обозначить ряд |
∞ |
1 |
, |
через , |
, : |
||
=1 |
− |
||||||
|
P |
|
∞ |
|
|
|
|
|
, |
, |
|
, |
(22) |
||
|
= =1 −1 , |
||||||
|
|
|
X |
|
|
|
|
|
|
|
|
|
|||
то для решения (21) уравнения (1) при условии < 1 имеем представ-
ление:
|
|
|
|
|
|
( ) = ( ) + Z |
, |
, |
|
( ) . |
(23) |
|
|
|
|
|
|
Функция , , , заданная формулой (22), называется резольвентой интегрального уравнения Фредгольма II-го рода.
III.2.4. Однозначная разрешимость уравнения Вольтерры II-го рода
Рассмотрим уравнение Вольтерры II-го рода (3)
Теорема III. 2. |
h , |
i, а |
|
) непрерывна в треугольнике |
Пусть ( ) |
( , |
|||
|
|
« |
|
|
¨ |
|
|
|
= , |
|
6 6 6 . |
|
|
|
|
|
|
Тогда существует и притом единственное решение уравнения (3), это решение непрерывно и может быть получено методом последовательных приближений.
Доказательство. В силу непрерывности функций |
|
( ) |
и ( , |
) обо- |
||||||||||||||||
значим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
( sup, ) |
|
( |
, |
|
) |
, |
|
|
|
[ , ] |
|
( |
|
) |
. |
|
||
|
= |
|
|
|
= |
sup |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
-55-
Введём оператор , определив его формулой |
|
≡ Z ( , ) ( ) + ( ). |
(24) |
Повторив рассуждения Теоремы III. 1, нетрудно установить, что
[ , ] −→ [ , ].
Покажем, что — непрерывный оператор. Пусть 1( ), 2( ) — любые
две функции из [ , ]. Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
| 2( ) − 1( )| = Z ( , )[ 2( ) − 1( )] |
6 |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
6 | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(25) |
|||
|
|
|
− |
) max |
|
|
( ) |
− |
|
( ) . |
|||||||||
|
( |
|
|||||||||||||||||
| |
|
|
6 6 |
| 2 |
|
|
|
|
1 |
| |
|||||||||
Из оценки (24) получаем, что [ , ] |
|
|
|
|
|
||||||||||||||
| 2( ) − 1( )| 6 | | |
|
|
( − ) ( 1, 2). |
|
|||||||||||||||
|
|
||||||||||||||||||
Так что |
|
|
|
|
6 | | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( − ) ( 1, 2). |
|
||||||||||||||||
( 1, 2) |
|
|
|||||||||||||||||
Возьмём любое > 0. Тогда при = |
|
|
|
|
|
|
из условия ( 1, 2) < |
||||||||||||
|
|
|
|||||||||||||||||
| | ( − ) |
|||||||||||||||||||
будем иметь |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( 1, 2) < . |
|
|
|
|
|
|||||||||||
Согласно определению, это и означает, что оператор есть непрерыв-
ный оператор из [ , ] в [ , ]. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Далее находим |
|
|
|
|
|
|
Z ( , )[ 2( ) − 1( )] |
|
|||||||||||||||||
| 2 2( ) − 2 1( )| = |
6 |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
( − ) |
2 |
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
6 | |
|
2 |
|
|
( |
, |
) |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||
..., |
|
|
| |
|
|
|
|
2! |
|
|
|
|
1 |
|
2 |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( − ) |
|
|
|
|
||||
| |
|
( ) |
− |
|
|
( ) |
|
|
|
|
|
( |
, |
). |
(26) |
||||||||||
|
|
|
|
|
|||||||||||||||||||||
2 |
|
|
1 |
|
| 6 | |
| |
|
|
|
|
! |
|
1 |
2 |
|
||||||||||
Неравенство (26) верно для любого [ , ], и, значит, |
|
|
|||||||||||||||||||||||
|
|
|
| | |
|
( − ) |
|
|
|
|||||||||||||||||
|
( 1, 2) 6 |
|
( 1, 2). |
|
(27) |
||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
! |
|
|
|
|
|
|
|
|||
При любом значении число можно выбрать настолько большим, что
| | ( − ) < 1.!
-56-
III.2. Метод последовательных приближений
Следовательно, оператор будет сжимающим при достаточно большом
.
В силу теоремы I. 6 отсюда заключаем, что сам оператор имеет единственную неподвижную точку, и, значит, уравнение Вольтерра (3) при любом имеет, и притом единственное, решение.
Это решение может быть найдено методом последовательных приближений.
III.2.5. Резольвента для уравнения Вольтерры II-го рода
Обозначим через |
интегральный оператор Вольтерры: |
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
(28) |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
= |
, |
( ) . |
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Выведем аналогичное представление для степеней этого оператора |
: |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
2 = Z |
, |
= Z |
, |
Z |
, |
|
( ) = |
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= Z |
( ) Z |
, , = Z |
2 |
, ( ) , |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
} |
|
|
|
|
|||
|
|
|
|
|
|
|
= |
2{z( , ) |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
3 = Z |
, 2 |
= Z |
, Z |
|
|
2 |
, ( ) = |
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
= Z |
( ) Z |
, 2 |
, = Z |
3 |
, ( ) |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
} |
|
|
|
|
|||
и так далее. Таким образом, |
|
|
|
= |
3{z( , ) |
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= Z |
, |
|
( ) , |
|
|
|
|
|
|
(29) |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 , ≡ , , |
|
, |
|
|
|
|
|
|
−1 |
, |
|
. |
(30) |
||||||||||
|
= Z |
|
|
, |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
-57-
Для получаем новое представление: |
|
|
||
|
|
= −1 |
, |
(31) |
|
|
X |
|
|
|
|
=0 |
|
|
( ) = |
∞ |
= + ∞ |
. |
(32) |
|
X |
X |
|
|
|
=0 |
=1 |
|
|
Учитывая (29), равенство (32) переписывается в виде
∞Z
( ) = ( ) + =1 |
|
, ( ) . |
(33) |
X |
|
|
|
Поскольку в доказательстве теоремы III. 2 было получено, что
|
|
( |
− |
) −1 |
| ( , )| 6 |
|
|||
|
( |
1)! |
||
|
− |
|||
|
|
|
|
видно, что ряд (33) сходится равномерно при любом значении параметра и сумма его есть непрерывная функция , и в нём можно менять местами интегрирование и суммирование:
∞Z
( ) = ( ) + =1 |
|
, ( ) = |
|
|
|
|
|
||||
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ −1 |
|
|||
|
|
|
|
= ( ) + Z |
( ) |
, . |
|||||
|
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
Если обозначить ряд |
|
∞ |
1 |
, |
|
через |
, , : |
|
|
||
=1 |
− |
|
|
||||||||
|
|
P |
|
∞ |
|
|
|
|
|
|
|
|
, |
, |
|
|
|
|
|
(34) |
|||
|
= =1 −1 , , |
|
|
||||||||
|
|
|
|
X |
|
|
|
|
|
|
|
то для решенияуравнения (3) имеем представление: |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
( ) = ( ) + Z |
, , |
|
( ) . |
|
(35) |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
Функция , , , заданная формулой (34), называется резольвентой интегрального уравнения Вольтерры II-го рода.
III.2.6. Связь уравнения Вольтерры с задачей Коши
Теорема III. 3. |
|
h 0, 1i × h 0, 1i , |
1( ) ̸= 0, |
Пусть ( , ) |
≡ 1( ) 2( ) |
-58-
III.2. Метод последовательных приближений
h i h i
1( ) 1 0, 1 , ( ) 1 0, 1 , 0 = ( 0).
Тогда уравнение Вольтерры II-го рода
Z
( ) = ( , ) ( ) + ( )
0
эквивалентно задаче Коши
8
< ′( ) + ( ) ( ) = ( ),
(36)
: ( 0) = 0.
Доказательство. Проинтегрировав уравнение (36) ′ = − ( ) + ( ), получим с учётом начального условия
|
|
|
|
|
Z |
|
|
|
Z |
|
|
|
|
|
( ) = 0 + |
− ( ) ( ) + |
( ) |
||
0 |
|
|
|
0 |
|
|
|
( , ) = − ( ), |
|
или, если обозначить = 0 + R0 |
( ) , а |
|||
Z
( ) = ( , ) ( ) + ( ).
|
|
0 |
|
|
|
h |
i |
× h |
i |
|
̸ |
|
1 |
|
≡ |
1 |
2 |
( ) |
1 |
||||||
Наоборот, если ( , ) |
|
|
( ) |
|
|
, |
|
, , |
|
( ) = 0, |
||
1( ) h 0, 1i, а |
( ) h , i, |
то уравнение |
|
|
|
|
||||||
Z
( ) = ( , ) ( ) + ( )
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
можно продифференцировать: |
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
′( ) = 1( ) 2( ) ( ) + 1′( ) Z |
2( ) ( ) + ′( ) = |
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
= 1( ) 2( ) ( ) + |
1′( ) |
( ) |
− ( ) + ′( ) = − ( ) ( ) + ( ), |
||||||||||||||||
1( ) |
|
||||||||||||||||||
где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
′( ) |
|
|
|
′ |
|
′( ) |
|
|
|
||
|
|
|
|
|
|
|
|
1 |
, |
|
|
|
1 |
|
. |
(37) |
|||
) = − |
) − 1( ) |
|
|
1( ) |
|||||||||||||||
( |
|
1( ) |
|
2( |
|
( |
) = |
( |
) + |
( ) |
|
||||||||
При этом 0 |
= ( 0). Таким образом, для некоторых классов ядер |
|
( , ) |
||||||||||||||||
имеет место эквивалентность уравнения Вольтерры II-го рода и задачи Коши для линейного ОДУ первого порядка. 
-59-
III.3. Альтернатива Фредгольма
III.3.1. Уравнения Фредгольма с вырожденным ядром
Рассмотрим неоднородное уравнение Фредгольма II-го рода:
|
|
|
|
|
|
|
|
|
|
|
|
( ) − Z |
|
, |
|
( ) = ( ), |
(38) |
||||
|
) h , |
|
|
|
|
|
|
|
|
|
с ядром ( , |
i × h , |
i . Вместе с ними рассмотрим однород- |
||||||||
ные уравнения |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Z |
|
|
|
|
|
(39) |
|
|
( ) − |
|
|
|
, |
|
( ) = 0 |
|||
|
|
|
|
|
|
|
|
|
|
|
|
( ) − Z |
* |
|
, |
|
( ) = 0 |
(40) |
|||
|
|
|
|
|
|
|
|
|
|
|
где обозначено *( , ) = ( , ). Уравнение (40) называется сопряженным или союзным уравнению (39).
Опр. III. 4. Ядро ( , ) называется вырожденным, если оно представимо в виде конечной суммы произведений функций, зависящих только от, на функции, зависящих только от :
|
|
|
|
X |
(41) |
( , ) = |
( ) ( ). |
|
|
=1 |
|
Пусть ( ), ( ) [ , ]; система функций 1( ), . . . , ( ) линейно независима и система 1( ), . . . , ( ) линейно независима (ЛН).
Замечание. Если система функций { ( )} =1 линейно зависима или { ( )} =1 линейно зависима (ЛЗ), то можно ( , ) преобразовать к виду:
|
|
|
|
˜ |
˜ |
|
|
|
|
|
X |
где ˜ < , |
|
|
|
( , ) = |
˜ ( ) ( ), |
|||
|
|
|
||||
|
|
|
|
=1 |
|
|
˜ |
˜ |
˜ |
- линейно независимы (в случае ( , ) ̸= 0). |
|||
и {˜ ( )} =1, { ( )} =1 |
||||||
Лемма III. 1 (об эквивалентности).
hi
Пусть ( ), ( ), ( ) , , ̸= 0.
Тогда уравнение Фредгольма II-го рода (38) с вырожденным ядром вида (41) эквивалентно СЛАУ, т.е. имеют место следующие утверждения:
1) Всякое решение ( ) уравнения (38) представимо в виде
|
|
|
|
X |
(42) |
( ) = ( ) + |
( ), |
|
|
=1 |
|
-60-
