Лекции Капустина 3 поток 2008 год 110 страниц (1159914), страница 14

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 14)

Следовательно, ker * ⊆ Im .⊥Рассмотрим теперь произвольный элемент ∈ Im . Очевидно, ∈Im ⊥ . Для любого элемента ∈ справедливо (, ) = (, * ). Сдругой стороны, (, ) = 0, поэтому∀ ∈ , (, * ) = 0 ⇒ (* , * ) = 0 ⇒ ‖* ‖2 = 0 ⇒ * = 0.⊥Получаем, что ∈ ker * . Следовательно, Im ⊆ ker * . Таким обра⊥зом, Im = ker * . §12. Компактные и вполне непрерывные операторы.Определение 1. Множество линейного нормированного простран-ства называется компактным, если любая последовательность элементов множества содержит подпоследовательность, сходящуюся кэлементу из пространства .Множество называется предкомпактным или относительно компактным, если любая последовательность элементов содержит фундаментальную подпоследовательность.98Определение 2. Линейный оператор, действующий из линейного нор-мированного пространства в линейное нормированное пространство , называется компактным, если он любое ограниченное множество переводит в компактное.Линейный оператор, действующий из линейного нормированного пространства в линейное нормированное пространство , называется вполненепрерывным, если он любое ограниченное множество переводит в предкомпактное.В банаховом пространстве компактный оператор является вполне непрерывным, и наоборот (то есть, в банаховом пространстве компактностьравносильна предкомпактности).Всякое компактное множество ограниченно, но не всякое ограниченноемножество компактно.Ограниченный оператор компактное множество переводит в компактное.Если , — ограниченный и компактный операторы соответственно, то и являются компактными операторами.Критерий компактности в пространствах () и (), > 1 ( —замкнутое ограниченное множество):Множество ⊂ ()( ⊂ (), > 1) является компактным⇕1.

ограничено;2. равностепенно непрерывно.Соответственно, множество ⊂ () ( — ограниченное и замкнутое)компактно⇕1. ∃ > 0 :|()| 6 ,∀() ∈ ;2. ∀() ∈ , ∀ > 0 существует () > 0 такое, что∀′ , ′′ ∈ ,|′ − ′′ | < ()99⇒|(′ ) − (′′ )| < .Множество ⊂ () ( — замкнутое и ограниченное, > 1) компактно⇕1. ∃ > 0 :‖()‖ () 6 2. ∀() ∈ ,∀ > 0 существует () > 0 такое, что∀ℎ,|ℎ| < для всех⇒() ∈ ;‖( + ℎ) − ()‖ () < (функция () продолжена вне тождественным нулем).Пример.

Рассмотрим следующий оператор, действующий в пространстве [; ]:∫︁(, )(),() =где (, ) ∈ [, ] × [, ] — непрерывное ядро. Этот оператор является вполне непрерывным (на основании критерия компактности непосредственно проверяется, что образ любого ограниченного подмножества ⊂ [; ] является компактным).Лемма 1. Если последовательность { } в банаховом пространстве является слабо сходящейся и компактной, то она является сильно сходящейся.Пусть последовательность { } слабо сходится к ∈ .

Предположим, она не является сильно сходящейся, тогда найдутсятакие > 0 и подпоследовательность { }, что для любого номера будет верно‖ − ‖ > .Доказательство.Так как исходная последовательность компактна, из последовательности{ } можно выделить сильно сходящуюся подпоследовательность → .Из сильной сходимости вытекает слабая:сл. −→ .Но если слабый предел существует, то он определен однозначно; следовательно, = .

Тогда, с одной стороны, → ,100а с другой стороны,‖ − ‖ > ,Получили противоречие.∀ .Лемма 2. Пусть и — банаховы пространства, — вполне непрерывный оператор, действующий из в . Тогда он любую слабо сходящуюся последовательность переводит в сильно сходящуюся последовательность:сл. −→ ⇒ → .Доказательство. Пусть последовательность { } элементов пространства слабо сходится к ∈ . Рассмотрим произвольный линейныйфункционал () ∈ * :() = () ∈ * .По определению слабой сходимости( ) → ()⇒сл.

−→ .По условию вполне непрерывен, но так как , — банаховы, он является и просто непрерывным. Последовательность { } ограничена всилу слабой сходимости, поэтому оператор переводит ее в компактную последовательность { }. Тогда { } — компактная и сходитсяслабо ⇒ по лемме 1 она является сильно сходящейся. Лемма 3. Пусть — вполне непрерывный оператор, действующий из в , где — сепарабельное гильбертово пространство. Тогда сопряженный оператор * также вполне непрерывен.Пусть последовательность { } элементов пространства слабо сходится к ∈ . Тогда справедливы следующие соотношения:Доказательство.‖* ( − )‖2 = (* − * , * − * ) == ( − , * ( − )) 6 ‖ − ‖‖* ( − )‖.Последовательность { } сходится слабо, поэтому она ограничена. Следовательно, ‖ − ‖ 6 для некоторого > 0.Так как вполне непрерывен, он ограничен:⃦⃦⃦ ⃦⃦⃦⃦ ‖‖ ⃦ 6 ⇒ ‖‖ 6 ‖‖,101∀ ̸= 0(образ ограниченного множества является компактом, следовательно, онявляется ограниченным множеством.) Тогда * является ограниченным(по теореме 1 параграфа 11), а * — вполне непрерывным оператором(как произведение вполне непрерывного и ограниченного).

Следовательно,‖* ( − )‖ → 0, → ∞.Поэтому ‖* − * ‖ → 0, → ∞. Таким образом, оператор * любуюслабо сходящуюся последовательность переводит в сильно сходящуюся.Для любого ограниченного множества ⊂ рассмотрим его образ ′при действии оператора * : ′ = { ∈ | = * , ∈ }.Произвольная последовательность элементов множества ′ имеет вид{* }. Последовательность { } ограничена, и по теореме 7 параграфа 10 из нее можно выделить слабо сходящуюся подпоследовательность{ }, которую оператор * переводит в {* } - сильно сходящуюсяпоследовательность. Таким образом, из любой последовательности элементов ′ можно выделить сильно сходящуюся подпоследовательность,но тогда ′ — компактное множество по определению, и * являетсянепрерывным оператором.

Так как мы рассматриваем гильбертово пространство, * является и вполне непрерывным. Теорема 1. Для того, чтобы линейный и ограниченный оператор ,действующий в гильбертовом пространстве, был вполне непрерывным,необходимо и достаточно, чтобы он любую слабо сходящуюся последовательность переводил в сильно сходящуюся последовательность.§13. Теория Фредгольма.Ранее (см.

параграф 6) с помощью аппарата сжатых отображений доказывалось утверждение о существовании и единственности решения интегрального уравнения Фредгольма второго рода∫︁() = (, )() + (), (, ) ∈ 2 ((; ) × (; )), () ∈ 2 (; )102при достаточно малых значениях . Однако в случае∫︁() − (, )() = ()этот метод не дает результата. Нужен другой подход.Пусть — вполне непрерывный оператор, действующий в гильбертовомпространстве . Будем искать решения уравнения = , = − , ∈ , ∈ .Очевидно, * = − * .Лемма 1. Im = Im .Доказательство. Пусть есть последовательность { }, сходящаяся кнекоторому элементу пространства: ∈ Im , → , → ∞.Надо доказать, что ∈ Im .

Заметим также, что = − = ,и рассмотрим последовательность { }.Если существует подпоследовательность { } такая, что ∈ ker длялюбого , то в силу замкнутости ядра = = 0 → = 0 ∈ Im .Поэтому мы можем считать, что, начиная с некоторого номера , все ортогональны ядру . Таким образом, достаточно рассмотреть последовательность { }, в которой∀ ⊥ ker .Докажем, что последовательность { } ограничена, то есть ‖ ‖ 6 для некоторого положительного . Допустим, что это неверно; тогдаможно выделить подпоследовательность, стремящуюся к бесконечности:‖′ ‖ → ∞.

В этом случае‖′ − ′ ‖‖′ ‖=→ 0 при → ∞,‖′ ‖‖′ ‖поскольку все ‖′ ‖ ограничены (так как последовательность {′ } сходится).103 — вполне непрерывный оператор, поэтому ограниченную последова′′тельность ′ он переводит в компактную ′ , в которой существует‖ ‖‖ ‖′′сходящаяся подпоследовательность. Так как последовательности‖′′ ‖′′ − ′′,‖′′ ‖′′‖′′ ‖сходятся, то будет сходиться и последовательность′′:‖′′‖′′→ при → ∞.‖′′ ‖ =При этом ‖ ‖ = 1 для любого , поэтому ‖‖ = 1. По определениюпоследовательности { } → 0, ⊥ ker ,но в силу непрерывности → , → ∞.Поэтому = 0 и ∈ ker , но по построению ⊥ ker (так как (ker )⊥замкнуто), откуда = 0. Получили противоречие с ‖‖ = 1.Полученное противоречие доказывает, что { } ограничена.

Следовательно, переводит ее в компактную, из которой можно выделить сходящуюся подпоследовательность ˜ . Но последовательность˜ = ˜ − ˜также сходится как подпоследовательность сходящейся { }. Поэтомупоследовательность ˜ сходится к некоторому элементу ∈ , но тогдав силу непрерывности оператора верно ˜ → , → ∞. Получаем, что = − = . Лемма 2. Пространство разложимо в прямую сумму = Im ⊕ ker * .Замечание.

Или, что то же самое, = Im * ⊕ .104Доказательство следует из леммы 1 и теоремы 2 параграфа 11, в силукоторой = Im ⊕ ker *для любого линейного ограниченного оператора .Теорема 1 (первая теорема Фредгольма). Для того, чтобы опера-торное уравнение = было разрешимо, необходимо и достаточно,чтобы был ортогонален ядру сопряженного оператора: ⊥ , * = 0 ∀.Доказательство. Данное утверждение является прямым следствиемлеммы 2.ОбозначимIm = 1 , . . .

Характеристики

Список файлов лекций