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

3курс, VIсем.Волков,Ягола инт ур

.pdf
Скачиваний:
73
Добавлен:
18.03.2016
Размер:
1.23 Mб
Скачать

n)

 

Kn (x, s)

 

M n (b a)n1 ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

….

 

 

 

 

 

(

 

 

M (b a))n1 M , где 0 q =

 

 

 

 

Отсюда

 

 

λn1 Kn (x, s)

 

 

λ

 

λ

 

M (b a) <1 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

qn1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

По

признаку Вейерштрасса функциональный ряд λn1 Kn (x, s) сходится

n=1

равномерно, поскольку общий член этого ряда мажорируется общим членом бесконечной убывающей геометрической прогрессии. Обозначим K (x, s) +λK2 (x, s) +... = R(x, s,λ) .

В

силу равномерной сходимости

резольвента R(x, s,λ) непрерывна по

совокупности

переменных (x, s) . Суммируя

геометрическую прогрессию, получаем

 

| R |

M

 

оценку

 

.

 

1| λ | M (b a)

 

В силу равномерной сходимости записанного выше функционального ряда можно поменять местами интегрирование и суммирование и записать решение интегрального уравнения Фредгольма 2-го рода в виде

y(x) = f (x) +λbR(x, s,λ) f (s) ds .

a

Рассмотрим теперь вопросы корректности математической постановки задачи решения уравнения Фредгольма y = λAy + f для «малых» λ при условии, что это

уравнение рассматривается в пространстве C[a, b]. Необходимо ответить на три вопроса:

1)Существование решения. Мы доказали, что решение существует для любой непрерывной функции f (x) .

2)Единственность решения. Мы доказали, что решение единственно.

3)Устойчивость (непрерывная в пространстве C[a, b] зависимость решения от

неоднородности f (x) ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Докажем

устойчивость.

 

 

 

Пусть заданы

"точная"

неоднородность

f и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

~

= f +δ f .

По доказанному выше и для "точной",

"возмущенная" (заданная с ошибкой) f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

~

~

~

имеют

и для "возмущенной" неоднородностей уравнения y = λAy + f и y

= λAy

+ f

решения,

представимые с помощью резольвентного оператора. Запишем их разность

 

 

 

 

 

 

 

 

 

 

 

 

~

 

~

 

 

b

~

f ) ds .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

y = f

f +λR(x, s,λ)( f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

~

 

 

 

 

 

 

 

 

~

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Далее

y y

 

C[a,b]

 

 

f

 

f

 

 

 

(1+

λ

M R

(b a)) ,

где

R

 

 

 

 

 

 

= M R .

 

 

 

 

 

 

 

1

 

λ

 

M (b a)

 

 

 

 

 

 

 

 

 

 

 

δ f

 

 

 

 

 

δ y

 

 

 

~

 

 

 

 

 

 

 

C[a,b]

 

 

 

 

 

 

 

Если

 

 

0 , то и

 

 

 

=

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y y

 

 

 

C[a,b]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

пространства C[a, b].

 

 

 

 

 

 

 

 

 

решения

от неоднородности

 

 

в

 

норме

 

Более

 

того,

полученное

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

Следовательно, все три требования к корректности решения данного уравнения выполнены, и задача решения уравнения Фредгольма 2-го рода с “малым λ ” в пространстве C[a, b] корректна (корректно поставлена).

Докажите самостоятельно, что при тех же условиях эта задача корректна и в пространстве h[a,b] .

41

§11. Уравнения Вольтерра 2-го рода.

Рассмотрим уравнение Вольтерра 2-го рода в операторной форме y = λAy + f , где оператор A имеет вид

Ay = λ x K (x, s) y(s) ds ,

x, s [a, b] .

.

a

 

 

 

Ядро K (x, s)

- непрерывно по совокупности переменных на своей треугольной

области определения

∆ ={x, s : a s x b} и не равно нулю тождественно, f (x) –

непрерывная на [a,b]

функция.

 

Докажите самостоятельно следующие утверждения (действуя аналогично проведенным ранее доказательствам соответствующих свойств оператора Фредгольма):

1) Если y(s) - непрерывная на [a,b] функция, то z(x) =x K (x, s) y(s) ds -

a

непрерывная на [a,b] функция, т.е. можно рассматривать оператор A как действующий в пространствах C[a,b] C[a,b] или h[a,b] h[a,b] .

2) Интегральный оператор Вольтерра является вполне непрерывным при действии:

h[a, b] C[a, b],

h[a, b] h[a, b] .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Покажем, что интегральное уравнение Вольтерра 2-го рода можно решать для

любого λ методом последовательных приближений при любой

f (x) C[a, b], т.е.

yn+1 = λ A yn + f ,

 

 

 

 

 

 

 

 

y0 C[a,b] .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определим

оператор D:

C[a, b] C[a, b]

 

 

 

 

 

 

 

следующим

образом: для любого

y C[a,b]

Dy λAy + f .

 

 

Покажем, что оператор D (вообще говоря, не сжимающий)

обладает

тем свойством,

что некоторая его

степень

-

 

 

 

 

 

оператор

 

 

 

D k - сжимающий

(натуральное число k зависит от λ , но не зависит от f ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема. Для любого λ

 

существует

натуральноe

число k

 

 

 

такое, что D k -

сжимающий оператор.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y1 (x) и

 

 

 

y2 (x) . Определим

Доказательство.

Возьмем две непрерывные функции

 

 

 

 

 

 

z j = D y j ,

j =1, 2 , тогда

 

 

z1 (x) z2 (x)

 

 

=

 

Dy1 Dy2

 

 

=

 

 

 

 

λ

 

 

 

 

 

 

Ay1 Ay2

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обозначим max

 

K (x, s)

 

= M . Имеет место неравенство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x,s

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x K (x, s)(y1 (s) y2 (s))ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ay1 Ay2

 

=

 

 

 

M (x a)

 

 

 

y1 y2

 

 

 

C[a,b] .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отсюда

 

 

 

 

 

 

 

 

 

 

 

Ay1 Ay2

 

 

 

 

C[a,b] M (b a)

 

 

 

y1 y2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

C[a,b]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Dy1 Dy2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M (b a)

 

 

 

 

 

 

 

y1 y2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Далее

 

 

 

 

 

 

 

 

 

C[a,b]

 

λ

 

 

 

 

 

 

 

 

 

C[a,b] .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

| D2 y1 D2 y2 |

λ2

 

 

 

 

x K (x, s) (Ay1 Ay2 ) ds

 

λ

 

2

 

 

 

 

M 2

 

 

 

(x a)2

 

 

 

y1 y2

 

 

 

C[a,b]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λ

 

2 M 2

(b a)2

 

 

 

 

 

 

 

y

 

y

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

C[a,b]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

42

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

 

 

D

2

y

D

2

y

 

 

 

 

 

 

λ

 

2

 

 

M

2

(b a)

2

 

 

 

 

 

y

y

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

2

 

C[a,b]

 

 

 

 

 

 

 

 

 

2!

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

2

 

 

C[a,b]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

D

n

y

D

n

y

 

 

 

 

 

 

 

λ

 

n

M n

(b a)

n

 

 

 

 

y

y

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

2

C[a,b]

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

1

 

 

2

 

 

C[a,b]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(qn )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обозначим

qn =

 

λ

 

n M n

(b a)

n

.

Ясно,

 

что для

 

любого

 

 

 

 

λ qn 0 при n → ∞ ,

 

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

выполнено неравенство

 

qn

<1 .

В качестве

 

k

поэтому, при достаточно больших

 

 

 

выберем минимальное натуральное n , при котором

 

λ

 

n

M n

(b a)

n

 

<1,

тогда что D

k

-

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сжимающий оператор. Теорема доказана.

Теперь мы можем применить теорему о неподвижной точке, доказанную в конце параграфа 9, и получить следствия.

Следствие 1. При любом λ однородное уравнение Вольтерра 2-го рода имеет только тривиальное решение.

Следствие 2. Оператор Вольтерра не имеет характеристических чисел.

Таким образом, оператор Вольтерра является примером вполне непрерывного оператора, не имеющего ни одного характеристического числа (нетрудно показать, что оператор Вольтерра вполне непрерывный из h[a,b] в h[a,b] , но не самосопряженный).

Следствие 3. Решение уравнения Вольтерра 2-го рода можно найти методом последовательных приближений, который в данном случае называется методом Пикара. Для любого начального приближения y0 C[a,b]

yn+1 = λ x K (x, s) yn (s) ds + f (x),

n = 0,1, 2,... ,

a

 

Если y0 = 0 , то получаем ряд Неймана: y = f +λ

или yn+1 = λAyn + f .

A f +λ2 A2 f +... +λn An f +... .

Экзаменационные вопросы

1)Определения и формулировки теорем.

1.Сформулировать определение сжимающего оператора.

2.Сформулировать определение неподвижной точки оператора.

3.Сформулировать теорему о существовании неподвижной точки у сжимающего оператора. Как можно найти неподвижную точку?

4.Записать метод последовательных приближений решения интегрального уравнения Фредгольма 2-го рода с «малым» λ.

5.Сформулировать определение повторного (итерированного) ядра интегрального оператора Фредгольма. Ядром какого интегрального оператора оно является?

6.Сформулировать теорему о разрешимости интегрального уравнения Вольтерра 2-го рода.

2)Утверждения и теоремы, которые необходимо уметь доказывать. Теоретические задачи.

43

1.Доказать теорему о существовании неподвижной точки у сжимающего оператора.

2.Доказать теорему о существовании неподвижной точки у оператора, натуральная степень которого является сжимающим оператором.

3.Доказать, что сжимающий оператор является непрерывным.

4.Доказать, что если λ «мало», то неоднородное уравнение Фредгольма 2 рода имеет, и

притом единственное, решение для любой непрерывной функции f (x) C[a, b], причем это решение может быть найдено методом последовательных приближений.

5.Доказать, что если λ «мало», то однородное уравнение Фредгольма 2 рода имеет только тривиальное решение.

6.Доказать сходимость ряда Неймана для решения интегрального уравнения Фредгольма 2- го рода с «малым» λ и получить выражение для резольвенты.

7.Доказать, что интегральное уравнение типа Вольтерра имеет и притом единственное

решение для любой непрерывной функции f (x) .

8.Доказать, что однородное интегральное уравнение типа Вольтерра имеет только тривиальное решение.

9.Доказать, что интегральный оператор Фредгольма, умноженный на «малое» λ, является сжимающим при действии в C[a,b] .

10.

Определим оператор D: C[a, b] C[a, b] следующим образом: для любого

y C[a,b]

 

Dy λAy + f , где A интегральный оператор Вольтерра с непрерывным ядром, f (x)

 

непрерывная на [a,b]

функция. Доказать, что для любого λ существует натуральноe

 

число k такое, что Dk

- сжимающий оператор.

 

 

 

 

 

 

 

 

 

 

 

 

 

11.

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

 

оператор D k (k – натуральное число) сжимающий, то неподвижные точки операторов D и

 

D k совпадают, из чего следует, что оператор D имеет единственную неподвижную

 

точку.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

12.

Доказать, что интегральный оператор Фредгольма, действующий в C[a,b] ,

 

не имеет

 

характеристических чисел на интервале (0, 1/(M(b-a)), где M = max

 

K (x, s)

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x,s [a,b]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h[a,b] ,

 

не имеет

13.

Доказать, что интегральный оператор Фредгольма, действующий в

 

 

 

характеристических чисел на интервале (0, 1/(M(b-a)), где M = max

 

K (x, s)

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x,s [a,b]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

14.

Доказать, что минимальное по модулю характеристическое число интегрального оператора

 

Фредгольма, действующего в C[a,b] , удовлетворяет неравенству

 

 

λmin

 

 

 

 

 

1

 

, где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M (b a)

 

M = max

 

K (x, s)

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x,s [a,b]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

15.

Доказать, что минимальное по модулю характеристическое число интегрального оператора

 

Фредгольма, действующего в h[a,b] , удовлетворяет неравенству

 

 

λmin

 

 

 

 

 

 

1

 

, где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M (b a)

 

M = max

 

K (x, s)

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x,s [a,b]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

16.Доказать, что интегральный оператор Вольтерра, действующий в пространстве C[a,b] , не имеет характеристических чисел.

17.Доказать, что интегральный оператор Вольтерра, действующий в пространстве h[a,b] , не имеет характеристических чисел.

44

Лекция №7

§12. Уравнения Фредгольма 2-го рода с вырожденными ядрами.

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

Рассмотрим уравнения Фредгольма 2-го рода

 

y(x) = λb K (x, s) y(s)ds + f (x),

x, s [a,b]

 

 

a

 

 

 

n

 

 

где ядро K (x, s) имеет вид K (x, s) = a j (x) bj (s) .

Напомним,

что ядро такого вида

 

j=1

 

 

называется вырожденным.

 

 

Предположим,

что функции a j (x), b j (s) - непрерывны по своим аргументам на

отрезке [a, b] ; a1 (x),..., an (x) – линейно независимы;

b1 (s),..., bn (s) - линейно независимы

(эти предположения

не ограничивают общность),

а f (x) -

заданная непрерывная

функция.

Покажем, что решение интегрального уравнения Фредгольма может быть сведено к решению системы линейных алгебраических уравнений. Обозначив cj = b bj (s) y(s) ds ,

 

 

 

a

где cj - неизвестные пока числа,

перепишем исходное интегральное уравнение в виде

 

 

n

 

 

y(x) = λ cj aj (x) + f (x) .

 

 

j =1

 

Далее, умножая обе части этого равенства на bi (x) ,

i =1,..., n, и интегрируя от a до b ,

имеем:

 

 

 

b

n

b

b

ci = y(x) bi (x) dx = λ cj

aj (x) bi (x) dx + f (x) bi (x) dx .

a

j=1

 

 

a

a

 

 

kij

fi

Итак, мы получили систему линейных алгебраических уравнений

 

n

 

 

ci

λ kij c j

= fi , i =1,..., n .

j=1

Вкачестве упражнения, докажите сами, что задача решения системы линейных алгебраических уравнений (СЛАУ) и задача решения неоднородного уравнения Фредгольма 2-го рода с вырожденным ядром эквивалентны.

Рассмотрим определитель полученной системы линейных алгебраических уравнений:

 

1λ k11

λ k12 ...

λ k1n

 

 

 

 

D(λ) =

λ k21

1λ k22 ...

λ k2n

 

.

 

...

...

...

...

 

 

 

λ kn1

λ kn2 ...

1λ knn

 

 

Определитель D(λ) не равен нулю тождественно,

т.к. D(0) =1 , причем D(λ) -

полином степени n от параметра λ . Число его корней не превосходит n . Вещественные

45

корни полинома D(λ) - это характеристические числа интегрального уравнения с

вырожденным ядром.

Для каждого заданного значения λ возможны два случая: 1) D(λ) 0 ; 2) D(λ) = 0 . Рассмотрим первый случай D(λ) 0 .

Теорема. Если λ не является характеристическим числом (т.е. D(λ) 0 ), то

интегральное уравнение Фредгольма 2-го рода имеет, и притом единственное, решение для любой непрерывной функции f (x) .

 

 

 

 

 

 

1

 

n

Решение находится

по

формулам Крамера: ci =

 

 

Dki (λ) fk , где Dki (λ) -

D(λ)

 

 

 

 

 

k =1

алгебраические дополнения i -го столбца определителя D(λ) .

Таким образом

 

 

n

1

n

 

b

 

y(x) = f (x) +λ

Dki (λ) ai (x) f (s) bk (s) ds .

D(λ)

 

 

i=1

k =1

 

a

 

Так как в выражении для y(x)

суммы конечные,

то можно поменять местами

операции суммирования

и

интегрирования. Получим

интегральное представление

решения

в

R(x, s, λ) =

1

D(λ)

Фредгольма.

Замечание.

 

виде

y(x) = f (x) +λb

R(x, s, λ) f (s) ds ,

где

обозначено

 

 

 

 

 

a

 

 

 

 

n

n

 

 

 

 

 

 

 

 

∑∑ Dki (λ) ai (x) bk (s) ,

а D(λ)

и Dki (λ) называются определителями

i=1

k =1

 

 

 

 

 

 

 

 

 

 

 

 

1

 

n

n

 

 

Формула

R(x, s, λ) =

 

 

∑∑ Dki (λ) ai (x) bk (s)

дает представление

D(λ)

 

 

 

i=1 k =1

 

 

для резольвенты оператора Фредгольма в случае непрерывного вырожденного ядра. Ранее нами уже были получены представления для резольвенты при других предположениях относительно ядра K (x, s) .

Перейдем ко второму случаю, т.е. D(λ) = 0 .

Рассмотрим сначала однородное уравнение, т.е. положим f (x) 0 . Тогда, используя

 

n

 

 

 

введенные выше обозначения, получим y(x) = λ cj

aj (x) и однородную СЛАУ для

 

j=1

 

 

 

 

n

 

 

 

определения неизвестных cj :

ci λ kij cj = 0

i, j =

 

.

1, n

j=1

Так как λ – характеристическое число, то однородная система имеет нетривиальное решение (вообще говоря, может быть несколько линейно независимых решений). Пусть данному λ соответствует p линейно независимых решений, где 1 p n (число линейно

независимых решений – это кратность характеристического числа), причем p = n r , r

– ранг матрицы I λK ,

где K ={kij }, i, j =1,...n .

Пусть

(c( l) ,..., cn(l) ),

l =1, 2,..., p - нетривиальные решения однородной СЛАУ. Тогда

 

1

 

нетривиальные решения однородного уравнения Фредгольма 2-го рода можно записать в виде

 

n

 

 

ϕl (x) = λ ci(l ) ai (x),

l =1, 2,..., p .

 

i=1

 

Так как векторы

(c( l) ,..., cn(l) ), l =1, 2,..., p ,

линейно независимы, и функции

 

1

 

a1(x),..., an (x) также линейно независимы, то однородное уравнение Фредгольма 2-го

46

рода имеет p линейно независимых решений, а общее решение его представимо в виде

p

 

 

 

 

 

 

 

 

 

y(x) = αl ϕl (x) , где αl - любые вещественные числа.

 

 

 

l=1

 

 

 

 

 

 

 

 

 

Напомним некоторые сведения из линейной алгебры. Пусть дана система линейных

алгебраических уравнений

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

f

 

 

BX = F ;

 

 

1

 

R n ;

 

1

 

Rn .

X =

#

 

F =

#

 

 

 

 

 

 

 

 

 

 

 

 

xn

 

 

 

fn

 

B - линейный оператор: R n R n , его ранг r(B) равен размерности R(B) . Однородное уравнение BX = 0 имеет (n r) линейно независимых решений.

Рассмотрим теперь СЛАУ B X = G , B - транспонированная матрица. В курсе линейной алгебры было доказано, что ранг B равен рангу B*. Следовательно, однородное

уравнение BX = 0 с матрицей B и однородное уравнение B X = 0 с матрицей B имеют одинаковое число линейно независимых решений.

Определение. Сопряженным (союзным) интегральным уравнением называется

уравнение с ядром K (x, s) = K (s, x) .

 

 

 

 

 

 

 

Наряду с уравнением

y(x) = λ b K (x, s) y(s) ds + f (x)

или,

в операторной форме

y = λAy + f , мы будем

a

 

 

 

 

 

 

 

рассматривать союзное с

ним

интегральное

уравнение

ψ(x) = λ b K * (x, s)ψ(s) ds + g(x) ( g(x) -

непрерывная

функция),

или в операторной

 

a

 

 

 

 

 

 

 

 

форме

ψ = λ A ψ + g . Подставляя в

последнее

соотношение

выражение

для

ядра,

 

b n

 

 

 

 

 

n

 

 

получим

ψ (x) = λ aj (s) bj (x)ψ (s) ds + g(x)

или

ψ (x) = λ cj bj (x) + g(x) ,

где

 

a j=1

 

 

 

 

 

j=1

 

 

cj = b ψ (s) aj (s) ds .

a

Запишем СЛАУ, эквивалентную союзному интегральному уравнению:

n

(I λK

 

~

= G ,

ci λ k ji cj = gi , или

 

)C

j=1

 

 

 

 

 

 

 

 

 

 

b

 

 

c1

 

 

где

K

*

 

},

 

= ai (s) bj (s) ds = k ji ,

i, j =1, 2,..., n ;

 

#

 

,

 

={kij

kij

C =

 

 

 

 

 

 

 

a

 

 

c

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

gi = b

g(s) ai (s) ds,

i =1,..., n .

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

g1 G = # ,gn

Легко видеть, что мы получили СЛАУ с транспонированной матрицей, т.е.

однородному исходному уравнению соответствует СЛАУ

(I λK )C = 0 , а однородному

союзному уравнению (I λK

 

 

~

 

 

 

 

)C = 0 .

 

~

 

Рассмотрим однородную

систему (I λK

 

Определитель ее D(λ) = 0 ;

 

)C = 0 .

линейно независимых решений

(c1( l ) ,..., cn(l ) ), l =1, 2,..., p,

- ровно столько же, сколько и

47

для исходной системы, т.е. p . При этом решения однородного союзного интегрального

 

n

 

уравнения Фредгольма имеют вид

ψl (x) = λ c(jl ) bj (x),

l =1, 2,..., p .

 

j=1

 

Таким образом, справедлива следующая Теорема. Для любого λ число линейно независимых решений однородного

интегрального уравнения Фредгольма второго рода и союзного с ним однородного уравнения одинаково.

Перейдем теперь к изучению неоднородного уравнения в случае

D(λ) = 0 .

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

Рассмотрим СЛАУ

 

 

f

 

 

 

x

 

BX = F , B : Rn Rn ,

 

 

1

 

,

 

1

 

F =

#

 

X =

#

.

 

 

f

n

 

 

x

 

 

 

 

 

 

 

n

 

Лемма (о разложении пространства Rn ): Rn = R(B) Ker B .

Перед тем, как доказывать лемму, выясним, как решать вопрос о разрешимости уравнения BX = F . Ответ очень простой: разрешимость означает, что F R(B) . Таким

образом, чтобы убедиться в существовании решения, надо в соответствии с леммой доказать, что F Ker B . Для этого достаточно найти базис пространства Ker B и проверить ортогональность F базисным векторам Ker B .

Доказательство. Заметим, что R(B) = R(B) и Ker B = Ker B - это замкнутые линейные подпространства Rn (докажите их замкнутость самостоятельно).

1) Докажем, что из того, что Y R(B) следует Y Ker B . Так как Y R(B)

, то

существует элемент X Rn

такой, что Y = BX . Тогда для любого вектора ψ Ker

B

выполнено (Y ,ψ) = (BX ,ψ) = ( X , B ψ) = 0 ,

т.е. Y Ker B .

 

2) Докажем, что если ψ R(B) , то

ψ Ker B . В самом деле, ψ R(B) означает,

что 0 = (ψ, BX ) = (B ψ, X )

X Rn . Отсюда вытекает, что B ψ = 0 или ψ Ker B .

Лемма доказана.

Пусть BX = F . Как определить, есть ли решения? Надо найти все нетривиальные линейно независимые решения уравнения B ψ = 0 . Если F ортогональна всем этим решениям, то неоднородная система имеет решения; если F не ортогональна всем нетривиальным решениям уравнения B ψ = 0 , то уравнение BX = F не имеет решений.

Получаем следующие условие разрешимости СЛАУ для уравнения Фредгольма 2-го рода в случае D(λ) = 0 :

 

f

 

 

 

~ (l

 

c

 

 

1

 

 

1

 

#

 

 

#

 

 

 

 

 

~ (l

 

fn

cn

)

)

l =1,..., p .

Чтобы СЛАУ для неоднородного уравнения Фредгольма 2-го рода с вырожденным ядром была разрешима, необходимо и достаточно, чтобы вектор правой части был ортогонален всем линейно независимым решениям СЛАУ для однородного союзного

n

b

n

уравнения, т.е. fi ci (l ) = 0,

l =1,..., p или f (x) ci (l ) bi (x) dx = 0 , где ψl (x) -

i=1

a

 

 

i=1

ψl ( x)

48

решения однородного союзного уравнения Фредгольма. Таким образом

b

f (x)ψl (x) dx = 0,

l =1,..., p , и доказаны следующие утверждения.

a

 

 

Теорема. Неоднородное уравнение Фредгольма 2-го рода с вырожденным ядром разрешимо тогда и только тогда, когда неоднородность f (x) ортогональна всем линейно

независимым решениям однородного союзного уравнения.

Теорема. Неоднородное уравнение Фредгольма 2-го рода с вырожденным ядром разрешимо для любой неоднородности f (x) тогда и только тогда, когда однородное

уравнение имеет только тривиальное решение.

§13. Уравнение Фредгольма 2-го рода с произвольными непрерывными ядрами. Теоремы Фредгольма.

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

уравнением с вырожденным ядром.

 

 

 

 

 

 

 

 

 

 

 

Теорема.

Интегральное

уравнение Фредгольма 2-го рода

y = λ A y + f

с

невырожденным

ядром при

фиксированном

 

λ

можно

заменить

эквивалентным

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

 

 

 

 

 

 

 

 

Доказательство.

Для любого

ε > 0 ядро

интегрального уравнения можно

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N (ε)

 

представить в виде

суммы

K (x, s) = Kв (x, s) + Kε (x, s) , где Kв (x, s) = ak (x) bk (s) -

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k =1

 

вырожденное ядро, Kε (x, s) - невырожденное ядро такое, что

 

 

 

 

 

 

 

max

 

Kε (x, s)

 

= max

 

K (x, s) K

в (x, s)

 

ε .

 

 

 

 

 

 

 

 

 

 

 

 

x,s [a,b]

 

 

 

 

x,s [a,b]

 

 

 

 

 

 

 

 

Аппроксимировать ядро вырожденным с любой заданной точностью можно хотя бы потому, что в двумерном случае верна теорема Вейерштрасса о равномерной аппроксимации на квадрате [a,b]×[a,b] непрерывной по совокупности переменных

функции полиномами, зависящими от двух переменных:

 

PN (x, s) =

ank x n s k .

 

 

 

 

 

 

 

 

n+k N

 

 

 

 

 

 

 

 

 

n,k =

0, N

 

Вернемся к интегральному уравнению и запишем его в виде

y = λTε y +λSε y + f ,

где Tε -

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

Kв (x, s) , а Sε

- интегральный

оператор

с невырожденным

ядром Kε (x, s) . Будем

считать, что

 

λ

фиксировано и

перепишем уравнение в виде

(I λSε )y = λTε y + f .

 

 

 

 

 

 

 

Если по заданному λ выберем ε > 0 так, чтобы

 

λ

 

<

1

, то λ станет “малым”

 

 

 

 

ε (b a)

 

 

 

 

 

 

 

для оператора Sε , и оператор (I λSε ) будет обратимым:

(I λSε )1 = I + λRε , где Rε -

интегральный оператор с ядром Rε (x, s, λ) . Введем новую функцию:

(I λSε )y = Y .

В силу обратимости оператора

(I λSε ) имеет место взаимно однозначное соответствие:

y Y . Отсюда Y = λ (Tε +λTε Rε )Y + f .

Покажем, что уравнение для Y является уравнением с вырожденным ядром. Ядро интегрального оператора Tε +λTε Rε вырождено так как ядро оператора Tε вырождено, и

49

b N (ε)

∫ ∑ak

a k =1

N (ε)

~

~

b

(x) bk (ξ) Rε (ξ, s, λ) dξ = ak (x) bk (s, λ) ,

где bk (s, λ) = bk (ξ) Rε (ξ, s, λ) dξ .

k =1

 

 

a

Тем самым, мы показали, что любому интегральному уравнению с невырожденным ядром эквивалентно некоторое интегральное уравнение с вырожденным ядром. На основании этого можно получить результаты, аналогичные полученным выше для уравнений с вырожденными ядрами.

Сформулируем теперь 4 теоремы Фредгольма.

Теорема 1. Однородное уравнение

(1)

ϕ(x) λ b K (x, s)ϕ(s) ds = 0

 

 

a

 

и союзное с ним однородное уравнение

 

(2)

ψ (x) λ b K* (x, s)ψ (s) ds = 0 ,

K (x, s) = K (s, x)

 

a

 

при любом фиксированном λ имеют либо только тривиальные решения, либо одинаковое конечное число линейно независимых решений ϕ1 ,...,ϕn и ψ1 ,...,ψn соответственно.

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

Теорема 2. Для разрешимости неоднородного уравнения

(3)ϕ(x) λ b K(x, s)ϕ(s) ds = f (x)

a

необходимо и достаточно, чтобы неоднородность f (x) была ортогональна всем линейно независимым решениям однородного союзного уравнения (2) ( f (x) ψ1,ψ2 ,...,ψ p , если λ

- характеристическое число).

Теорема была доказана для случаев симметрических и вырожденных ядер. В общем случае она доказывается путем сведения интегрального уравнения с невырожденным ядром к интегральному уравнению с вырожденным ядром.

Теорема 3 (Альтернатива Фредгольма).

Либо неоднородное уравнение (3) разрешимо для любой неоднородности f (x)

либо однородное уравнение (1) имеет нетривиальное решение.

Теорема была доказана для случаев симметрических и вырожденных ядер. В общем случае она доказывается путем сведения интегрального уравнения с невырожденным ядром к интегральному уравнению с вырожденным ядром.

Теорема 4. Множество характеристических чисел однородного уравнения (1) не более, чем счетно, с единственной возможной предельной точкой .

Этот результат справедлив для любого вполне непрерывного оператора. Нами он был получен для вполне непрерывных самосопряженных операторов и, тем самым, доказан для случая симметрических ядер. Для интегральных операторов с вырожденными

ядрами результат тривиален.

 

K (x, s) -

Замечание. Все эти теоремы мы доказали для случая, когда

непрерывная функция по совокупности

переменных на [a,b]×[a,b] ; f (x) ,

y(x) -

непрерывные на [a,b] функции; K (x, s) ,

f (x) , y(x) - вещественные функции.

 

50