Собственные числа и функции ядра уравнения фредгольма

6. Характеристические числа и собственные функции интегрального оператора Фредгольма с симметрическим непрерывным ядром.
    Анна Соколинская 4 лет назад Просмотров:

1 Лекция 4 6. Характеристические числа и собственные функции интегрального оператора Фредгольма с симметрическим непрерывным ядром. Подытожим результаты полученные в предыдущем параграфе в следующей теореме. Теорема. Пусть оператор A действует из h [ ] в h [ ] и является вполне непрерывным и самосопряженным. Рассмотрим следующий процесс построения последовательности собственных значений и собственных векторов оператора A : ) H h[ ] A H H ; ) H < y h[ ]: ( y ) 0>A H H ; ; ) H < y h[ ] : ( y ) 0. ( y ) 0>A H H ; причем можно считать что собственные векторы образуют ортонормированную систему. Эта процедура приводит к двум возможным результатам (критерий остановки процесса A 0 ): H + H + ). > конечная последовательность собственных значений; ) бесконечная последовательность собственных значений 0. При этом в последовательности собственных значений каждое собственное значение будет повторяться столько раз какова его кратность. Процесс позволяет найти все собственные значения кроме быть может нулевого собственного значения (в случае ). Следствия. ) Характеристические числа вполне непрерывного самосопряженного оператора могут образовывать: а). — конечную последовательность; б) бесконечную последовательность тогда lm. Каждому характеристическому числу можно сопоставить собственный вектор причем векторы образуют ортонормированную систему. ) Все полученные результаты верны для интегрального оператора с непрерывным симметрическим и неравным тождественно нулю ядром. В этом случае вместо слов собственные векторы говорят собственные функции интегрального оператора или собственные функции ядра K (. Рассмотрим множество векторов y h[ ] таких что Ay 0. Докажите самостоятельно что указанное множество образует замкнутое линейное пространство в h [ ]. Напомним что это множество называется (см. ) нуль-пространством оператора A и обозначается Ker A < y : Ay 0>. Очевидно что нуль-пространство нетривиально (т.е. содержит ненулевые элементы) тогда и только тогда если оператор A имеет нулевое собственное значение. В этом случае (см. ) оператор A называется вырожденным). 5

2 Определение. Ядро интегрального оператора K ( называется замкнутым если интегральный оператор является невырожденным. Пусть А — вполне непрерывный самосопряженный оператор с последовательностью характеристических чисел (конечной или бесконечной) которым соответствует ортонормированная последовательность собственных векторов Теорема. Вектор y принадлежит нуль-пространству оператора A ( y Ker A ) тогда и только тогда если ( y ) 0. ( — конечная или бесконечная последовательность). Доказательство. ) Необходимость. Нуль-пространство оператора A это множество векторов соответствующих нулевому собственному значению т.е. Ay 0 y. Пусть последовательность векторов соответствующих характеристическим числам (ненулевым собственным значениям). Мы доказали ранее что векторы отвечающие различным собственным значениям самосопряженного оператора А являются ортогональными поэтому ( y ) 0. ) Достаточность. Рассмотрим множество P h[ ] состоящее из векторов y таких что ( y ) 0. Очевидно что P — линейное пространство (докажите это самостоятельно). Кроме того P — замкнутое линейное подпространство. Действительно для любой последовательности y P 3. верно ( y ) и если y y0 то в силу непрерывности скалярного произведения получаем ( y 0 ) 0. т.е. y 0 элемент Р. Далее P инвариантное подпространство оператора A так как если y P то ( Ay ) ( y A ) ( y ) ( y ) Таким образом из y P следует Ay P т.е. P — инвариантное подпространство. Докажем теперь что P нуль-пространство оператора A т.е. AP 0. Допустим что это не так. Тогда существует вектор

Видео:Интегральные уравнения с вырожденным ядромСкачать

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

y P такой что A

y. Следовательно A sup Ay Ay > 0 и как доказано в предыдущем параграфе P P y P y оператор A имеет ненулевое собственное значение а значит и характеристическое

число > 0. Этому собственному значению (характеристическому числу) отвечает собственный вектор не входящий в последовательность (иначе этот вектор был бы ортогонален сам себе). Мы приходим к противоречию с тем что в последовательности характеристических чисел перечислены все характеристические числа с учетом кратности. Теорема доказана. Рассмотрим теперь следующий процесс для интегрального оператора A с симметрическим непрерывным ядром s ). Пусть характеристические числа упорядочены в порядке неубывания модуля и им соответствует ортонормированная система собственных функций оператор () ) Обозначим K (. ) Определим () A с ядром K ( ) ( x) ( ( и рассмотрим интегральный K () ( s ). Все функции остаются собственными 6

3 функциями и оператора A поскольку () соответствующими тем же характеристическим числам () K ( ( ds ( ds ( ds 0 ( () Функция также остается собственной функцией оператора A но отвечающей () нулевому собственному значению ядра K (. Поэтому отсутствует в () последовательности характеристических чисел оператора A. Докажите () самостоятельно что оператор A не имеет других характеристических чисел отличных от указанных. ( + ) ( Продолжая процесс на + -ом шаге имеем K (. ( ) Оператор A + ( с ядром K + ) ( имеет те же характеристические числа и те же собственные функции что и оператор A кроме первых характеристических чисел. Если характеристических чисел бесконечное число то получаем бесконечный ряд (мы не будем исследовать его сходимость). ( + Если же характеристических чисел конечное число то K ) ( 0 и ( т.е. ядро интегрального уравнения представляет собой конечную сумму. виде Определение. Ядро s ) называется вырожденным если оно представимо в ( где функции ( непрерывны по своим аргументам при s [ ]. Очевидно можно считать что. линейно независимы и (. ( также линейно независимы. Если это не так число членов в сумме можно уменьшить (докажите это самостоятельно). Интегральный оператор с вырожденным ядром очевидно является вырожденным т.е. у него всегда есть нулевое собственное значение причем кратность нулевого значения равна. Для отыскания других собственных значений поступим следующим образом. Рассмотрим задачу на собственные значения и собственные функции для интегрального оператора с вырожденным ядром: yx ( ) ( x ) ( sysds ) ( ). Обозначим y ( ( ds. Умножим левую и правую части на (x) и c проинтегрируем от до : c c d

4 c Полагая C K < >получим задачу на собственные значения и c собственные векторы для матрицы K: K C C. Как известно собственные значения матрицы K можно найти например решив характеристическое уравнение det( K I) 0. Если оператор A: h[ ] h[ ] т.е. действует в вещественном линейном пространстве h [ ] он по определению может иметь только вещественные собственные значения. Тем не менее при решении характеристического уравнения могут находиться и комплексные корни. О чем же идет речь? Могут ли эти корни рассматриваться как комплексные собственные значения? Дело в том что мы можем рассматривать тот же оператор в пространстве C непрерывных комплекснозначных функций h [ ] состоящем из комплекснозначных функций вещественной переменной x т.е. y u( x) + v( x) x [ ] где функции ux ( ) vx ( ) непрерывные на [ ] вещественные функции. Умножение элементов пространства на комплексное число определяется обычным образом. В этом пространстве можно ввести скалярное произведение: ( y y ) y y dx (здесь * — знак комплексного сопряжения). В качестве упражнения опишите свойства этого скалярного произведения (они отличаются от * свойств скалярного произведения в вещественном случае в частности ( y y ) ( y y) ) и проверьте что это скалярное произведение порождает норму. Если же интегральный оператор A имеет симметрическое вещественное непрерывное ядро то он имеет только вещественные собственные значения и при C действии в пространстве h [ ]. Теорема. Пусть интегральный оператор с непрерывным симметрическим C вещественным ядром K ( действует в комплексном пространстве h [ ]. Тогда этот оператор может иметь только вещественные собственные значения. Доказательство. Пусть — собственное значение оператора A y 0 — соответствующая собственная функция. Тогда y y( ds. Применим операцию комплексного сопряжения к левой и правой части. Тогда y y ( ds т.е. — собственное значение оператора A а y — соответствующая собственная функция. Умножим первое равенство на y до. Тогда dx y ( а второе на yx ( ) и проинтегрируем от y y( ds ) dx ; y dx y( x)( y ( ds ) Вычитая из первого равенства второе и учитывая симметричность ядра K ( получаем dx. 8

Видео:Собственные значения и собственные векторыСкачать

Собственные значения и собственные векторы

5 ( ) y dx 0 из чего следует т.е. — вещественное число. Теорема доказана. В дальнейшем как и ранее мы будем рассматривать интегральные операторы с вещественными ядрами действующие в пространствах непрерывных вещественных функций. Приведем некоторые полезные для понимания примеры интегральных операторов. Примеры. Положим [ ] [0 π ] и рассмотрим пространство h [ 0 π ]. Как было показано в курсе математического анализа в этом пространстве функции ( s s 3. образуют ортогональную систему (чтобы получить ортонормированную систему надо умножить каждую функцию на ). Эта система π замкнутая т.е. из того что непрерывная функция ys () ортогональна всем функциям ( s s 3. следует что ys () 0. Эта система полная т.е. любая непрерывная на [ 0 π ] функция f ( x ) может быть разложена в ряд Фурье по указанным функциям причем ряд Фурье сходится к f ( x ) в среднем. ) Составим ядро s x s s на [ 0 π ] [0 π ]. Тогда по признаку π Вейерштрасса записанный ряд сходится равномерно т.к. модуль каждого члена этого ряда мажорируется. Из равномерной сходимости ряда следует что функция ( ) K x s непрерывна по совокупности переменных. Очевидно что ядро s ) cимметрическое. Его собственные функции s s а характеристические числа 3. (если бы было другое характеристическое число то соответствующая ему собственная функция была бы ортогональна всем s s а такой функции нет т.к. s s образуют замкнутую систему). Из замкнутости системы s s следует что ядро s ) определяет невырожденный интегральный оператор а следовательно замкнуто. ) Теперь рассмотрим ядро s x s s. Появляется собственное π значение 0 0 кратности равной которому соответствует собственная функция s s. Интегральный оператор A с таким ядром является вырожденным а его ядро невырожденное но и незамкнутое. 3) Рассмотрим s x s s. Интегральный оператор с таким π () ядром имеет собственное значение 0 0 бесконечной кратности (соответствующие собственные функции s s s 3s ). Интегральный оператор вырожденный имеет бесконечномерное нуль-пространство а его ядро невырожденное но и незамкнутое. 0 9

6 Экзаменационные вопросы ) Определения и формулировки теорем.. Сформулировать определение замкнутого ядра интегрального оператора Фредгольма.. Сформулировать определение вырожденного ядра интегрального оператора Фредгольма. 3. Сформулировать определение скалярного произведения в комплексном расширении пространства h [ ]. ) Утверждения и теоремы которые необходимо уметь доказывать. Теоретические задачи.. Описать процесс построения собственных значений и собственных функций интегрального оператора Фредгольма с симметрическим непрерывным ядром действующего в бесконечномерном евклидовом пространстве h [ ].. Сформулировать и обосновать необходимые и достаточные условия того что вектор принадлежит нуль-пространству вполне непрерывного самосопряженного оператора A действующего в бесконечномерном евклидовом пространстве. 3. Доказать что если интегральный оператор Фредгольма с симметрическим непрерывным ядром имеет конечное число характеристических чисел то ядро оператора равно ( ( — характеристические числа — соответствующие собственные функции). 4. Привести пример интегрального оператора Фредгольма нулевое собственное значение которого имеет бесконечную кратность. 5. Привести пример интегрального оператора Фредгольма нулевое собственное значение которого имеет конечную кратность. 6. Доказать что интегральный оператор Фредгольма с ядром s x s s π действующий в пространстве h[0 π ] является невырожденным. 7. Доказать что нуль является простым собственным значением интегрального оператора Фредгольма действующего в пространстве h[0 π ] с ядром s x s s. π 8. Доказать что нулевое собственное значение интегрального оператора Фредгольма действующего в пространстве h[0 π ] с ядром s x s s имеет π () бесконечную кратность. 9. Привести пример вырожденного интегрального оператора Фредгольма с невырожденным ядром. 0. Привести пример интегрального оператора Фредгольма нулевое собственное значение которого имеет кратность 5. 30


источники:

🎬 Видео

Собственные значения и функции в интегральных уравненияхСкачать

Собственные значения и функции в интегральных уравнениях

Ягола А. Г. - Интегральные уравнения - Характеристические числа и собственные функции оператораСкачать

Ягола А. Г. - Интегральные уравнения - Характеристические числа и собственные функции оператора

Собственные векторы и собственные значения матрицыСкачать

Собственные векторы и собственные значения матрицы

Интегральные уравнения Фредгольма второго рода Случай вырожденного ядра Неоднородный случайСкачать

Интегральные уравнения Фредгольма второго рода Случай вырожденного ядра Неоднородный случай

Уравнения Фредгольма - 1Скачать

Уравнения Фредгольма - 1

Собственные значения и собственные векторы матрицы (4)Скачать

Собственные значения и собственные векторы матрицы (4)

Простейшие интегральные уравненияСкачать

Простейшие интегральные уравнения

Курс по ИДУ: Интегральные уравнения Фредгольма с симметричным ядром | Занятие 8Скачать

Курс по ИДУ: Интегральные уравнения Фредгольма с симметричным ядром | Занятие 8

Симметричные уравнения ФредгольмаСкачать

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

Уравнения Фредгольма - 2Скачать

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

Метод определителей ФредгольмаСкачать

Метод определителей Фредгольма

ИнтУравнения и ВарИсчисление 19.09.2020 лекцияСкачать

ИнтУравнения и ВарИсчисление 19.09.2020 лекция

Курс по ИДУ: Интегральные уравнения Фредгольма с вырожденным ядром | Занятие 7Скачать

Курс по ИДУ: Интегральные уравнения Фредгольма с вырожденным ядром | Занятие 7

Урок 455. Уравнение ШрёдингераСкачать

Урок 455. Уравнение Шрёдингера

Собственные значения и собственные векторы. ТемаСкачать

Собственные значения и собственные векторы. Тема
Поделиться или сохранить к себе: