- •Лекция 1
- •Введение
- •Метрические пространства. Определения и примеры
- •Лекция 2
- •Непрерывные отображения метрических пространств
- •Сходимость
- •Лекция 3
- •Замыкание
- •Замкнутые множества
- •Лекция 4
- •Открытые множества
- •Полные метрические пространства
- •Лекция 5
- •Теорема о вложенных шарах
- •Плотные подмножества. Теорема Бэра
- •Лекция 6
- •Полнота и разрешимость уравнений
- •Пополнение пространства
- •Лекция 7
- •Принцип сжимающих отображений
- •Применение принципа сжимающих отображений к интегральным уравнениям
- •Раздел II: Линейные метрические пространства и функционалы
- •Лекция 8
- •Нормированные пространства
- •Евклидовы пространства
- •Лекция 9
- •Ортогональные системы. Теорема об ортогонализации
- •Коэффициенты Фурье. Неравенство Бесселя
- •Лекция 10
- •Теорема об изоморфизме
- •Подпространства, ортогональные дополнения
- •Лекция 11
- •Функционалы: основные определения и примеры
- •Компактность и полная ограниченность
- •Лекция 12
- •Свойства непрерывных линейных функционалов
- •Лекция 13
- •Сопряженное пространство
- •Теорема об общем виде непрерывного линейного функционала на полном евклидовом пространстве
- •Лекция 14
- •Второе сопряженное пространство
- •Слабая сходимость
- •Лекция 15
- •Обобщенные функции
- •Производная обобщенной функции
- •Лекция 16
- •Дифференциальные уравнения в классе обобщенных функций
- •Лекция 17
- •Обобщенные функции нескольких переменных
- •Свертка обобщенных функций
- •Раздел III: Линейные операторы в пространствах Банаха
- •Лекция 18
- •Линейные операторы: основные определения
- •Норма оператора
- •Лекция 19
- •Пространство ограниченных линейных операторов
- •Компактные операторы
- •Лекция 20
- •Принцип равномерной ограниченности
- •Лекция 21
- •Замкнутые операторы
- •Теорема о замкнутом графике
- •Лекция 22
- •Сопряженный оператор
- •Операторные уравнения
- •Обратный оператор
- •Лекция 23
- •Непрерывная обратимость
- •Достаточные условия непрерывной обратимости
- •Лекция 24
- •Спектр оператора. Резольвента
- •Спектр компактного оператора
- •Раздел IV: Операторные уравнения в пространствах Гильберта
- •Лекция 25
- •Продолжение линейного непрерывного оператора на пополнение. Пространство Лебега
- •Множества меры нуль. Сходимость почти всюду
- •Лекция 26
- •Функции, интегрируемые по Лебегу
- •Основные свойства интеграла Лебега
- •Кратный интеграл Лебега
- •Лекция 27
- •Сопряженный оператор. Случай евклидовых пространств
- •Самосопряженные операторы
- •Лекция 28
- •Собственные значения самосопряженных операторов
- •Лекция 29
- •Базисы со свойством двойной ортогональности
- •Лекция 30
- •Теорема об итерациях операторов
- •Условия разрешимости уравнений первого рода
- •Лекция 31
- •Операторные уравнения второго рода
- •Теоремы Фредгольма
- •Лекция 32
- •Замечания к теоремам Фредгольма
- •Следствия из теорем Фредгольма
- •Лекция 33
- •Линейные интегральные уравнения второго рода
- •Лекция 34
- •Уравнения с вырожденными ядрами
- •Уравнения Вольтерра
- •Заключительные замечания
- •Список литературы
52
1.7.3Применение принципа сжимающих отображений к интегральным уравнениям
Интегральные уравнения естественно появляются в рамках основных моделей естествознания.
Пример 1.7.2. Рассмотрим интегральное уравнение Фредгольма второго рода
|
b |
|
(1.7.5) |
f(x) = (x) + Z |
K(x; y)f(y) dy; |
a
где K(x; y) и (x) – заданные функции, – произвольный параметр, а f(x) – неизвестная. Докажем разрешимость этого уравнения в пространстве C[a; b] для малых значений параметра .
Предположим, что K(x; y) и (x) непрерывны при x; y 2
[a; b]. Тогда найдется M > 0 такое, что jK(x; y)j M. Рассмотрим отображение
b |
|
(Ag)(x) = (x) + Za |
K(x; y)g(y) dy; |
в полном метрическом пространстве C[a; b]. Имеем
(Ag1; Ag2) M j jjb aj (g1; g2):
Следовательно, при j j < 1 , отображение A является сжи-
M(b a)
мающим, а значит, уравнение (1.7.5) имеет единственное решение в метрическом пространстве C[a; b].
Пример 1.7.3. Рассмотрим интегральное уравнение Вольтерра
|
x |
|
(1.7.6) |
f(x) = (x) + Z |
K(x; y)f(y) dy; |
a
53
где K(x; y) и (x) – заданные функции, – произвольный пара-
метр, а f(x) – неизвестная функция. Докажем разрешимость этого
уравнения в пространстве C[a; b] для всех значений параметра .
Предположим, что K(x; y) и (x) непрерывны при x; y 2
[a; b]. Тогда найдется M > 0 такое, что jK(x; y)j M. Рас-
смотрим отображение
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
(Ag)(x) = (x) + Za |
K(x; y)g(y) dy |
|
|||||||||||
в полном метрическом пространстве C[a; b]. Имеем |
|
||||||||||||||
|
Ag1(x) |
|
Ag2x) |
|
= |
|
|
|
|
x |
K(x; y)(g1(y) |
|
g2(y)) dy |
|
|
j |
|
|
|
j |
|
j |
|
j |
Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j jM(x a) (g1; g2):
Отсюда |
|
|
|
|
|
|
|
|
Ag2(y)) dy |
|
|
|
A2g1(x) |
|
A2g2x) = |
|
|
x |
K(x; y)(Ag1(y) |
|
|
||
j |
|
|
j j |
|
j |
Z |
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j j2M2 (x a)2 (g1; g2):
2
И, вообще,
|
Ang1(x) |
|
Ang2x) |
= |
|
|
|
x K(x; y)(An 1g1(y) |
|
An 1g2(y)) dy |
|
j |
|
|
j |
j |
|
j |
Z |
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j jnMn (b a)n (g1; g2): n!
При любом значении число n можно выбрать настолько большим,
что j jnMn (b a)n < 1. Тогда отображение An является сжима-
n!
ющим, а значит, уравнение (1.7.6) имеет единственное решение в
пространстве C[a; b].