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

ДИУ_Фролов_ОТЛ

.pdf
Скачиваний:
1
Добавлен:
02.06.2026
Размер:
4.78 Mб
Скачать

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-