F(x) - ограниченный оператор;

1. F(x) - ограниченный оператор;

2. Т.к. µ§ - финитная, то F(x) - финитная на W

Доказать: F(x)=f(x),если µ§.

µ§

Замечание.

Теорема 1 остаётся справедливой для пространств µ§ (следует из доказательства).

Теорема 2.

Пусть µ§ - ограниченная область

µ§ , µ§- всюду плотно в µ§.

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

Рассмотрим произвольную функцию µ§.

µ§ - ограниченная.

F-продолжение f. Так как F - финитная в W, то µ§

µ§

Сепарабельность пространств Соболева.

Теорема.

Пусть µ§ - ограниченная область, µ§, тогда :

µ§ - сепарабельное.

Построениe счётного всюду плотного множества.

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

Рассмотрим µ§ ; продолжение функции f : µ§.

Аппроксимируем функцию F . Множество финитных, бесконечно дифференцируемых функций (в силу свойств осреднений) всюду плотно в пространстве финитных функций µ§.

Очевидно : µ§.

Где коэффициенты : µ§.

Пусть H - сепарабельное гильбертово пространство.

Определение.

Функции µ§ образуют ортонормированную систему, если µ§ , и µ§ .

Утверждение.

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

Разложение по этому базису единственно, и : µ§.

Равенство Парсеваля.

µ§.

Пространство µ§ - сепарабельное гильбертово пространство с ортонормированным базисом : можно взять систему экспонент (нормированную).

Разложение в сходящийся ряд :

µ§

Определим вид коэффициентов Фурье:

µ§

проинтегрируем по частям и получим :

µ§ , где µ§

Получаем : µ§ и следовательно :

µ§

F можно точно аппроксимировать линейными комбинациями экспонент.

Искомое множество - линейное пространство экспонент с рациональными коэффициентами.

След функции из H^k(Q).

Для функции и絧 понятие значения на (n-1)- мерной поверхности не определено.

Если µ§ удовлетворяет условиям дифференцируемости, то :

определение следа функции на (n-1)- мерной поверхности.

Рассмотрим µ§µ§ -ограниченную область, µ§.

µ§ - (n-1) - мерная поверхность, µ§.

Пусть µ§

µ §

µ§Можно разбить на конечное число простых кусков, однозначно проецирующихся на координа тные плоскости и описывающиеся уравнением : µ§µ§

µ§

Для любой непрерывной функции след - её значение на поверхности, однозначно продолженое по непрерывности.

µ§

Так как f=0 вне области Q , то по формуле Ньютона-Лейбница :

µ§

Оценим :

µ§

Обе части умножим на µ§ и проинтегрируем по D :

µ§

f- финитная.

Так как µ§ может быть продолжена в W µ§ финитным образом,

µ§, причём µ§

µ§

µ§

Существует последовательность µ§

µ§µ§

Отсюда следует фундаментальность последовательности следов в µ§

µ§- полное, следовательн - сходится, µ§

Перейдём к пределу, получим :

µ§

Утверждение.

Определение µ§ не зависит от выбора аппроксимирующей последовательности µ§.

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

Пусть есть две последовательности µ§ в µ§.

Пусть µ§.

Следовательно, должны совпадать два предела в µ§.

Рассмотрим

µ§

Значит : µ§, и µ§.

Если функция непрерывна в µ§ и принадлежит µ§, то её понятие следа как значения непрерывной функции и как предела совпадают.

Формула интегрирования по частям.

Пусть Q- ограниченная, µ§.

µ§, µ§ - единичный вектор внешней нормали к µ§.

Теорема Реллиха-Гординга.

Если µ§, то µ§, если µ§ сходится в µ§, то µ§ сходится в µ§µ§.

Пространство Соболева с большим показателем дифференцируемости k компактно вложено в ространство Соболева с меньшим показателем.

Пусть µ§- ограничена, µ§, тогда : µ§ - компактно вложено в µ§.

Множества, ограниченные в µ§, являются предкомпактными в µ§.

Определение.

Предкомпактными называются такие множества, замыкания которых компактны.

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

Или : Для µ§ можно выбрать µ§ , сходящуюся в µ§.

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

1. Продолжим функции µ§ финитным образом в более широкую область W, µ§.

µ§.

Оператор продолжения ограничен, и : µ§.

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

µ§- из неё будем выбирать сходящуюся подпоследовательность.

Используем преобразование Фурье : µ§.

µ§.

В силу финитности : µ§

Оценим по неравенству Коши-Буняковского: µ§

Свойство.

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

µ§ - слабо сходящаяся в µ§ .

µ§ - сходящаяся для любой непрерывной линейной функции µ§.

В качестве µ§ возьмём функции :

µ§ - сходится µ§

Докажем, что µ§ - фундаментальна в µ§µ§

µ§

µ§

µ §

Так как последовательность µ§ сходится для любых x и ограничена, то для интеграла µ§ применяем теорему Лебега о предельном переходе под знаком интеграла, получаем :

µ§µ§, где µ§- радиус шара.

µ§

исходя из теоремы Планшереля (в обратную сторону) и свойств преобразования Фурье :

µ§

Выбором R, интеграл µ§ можносделать сколь угодно малым, т.е. :µ§.

Если µ§ и k,m - выбрать , то : µ§ , и последовательность

µ§ - фундаментальна.

Формула интегрирования по частям

µ§ (1)

µ§µ§- ограничена, µ§.

µ§ (2)

µ§

В уравнении (2) перейдем к пределу при µ§, получаем уравнение (1).

Пространство µ§

Определение.

Назовём пространством µ§µ§ замыкание пространства финитных непрерывно дифференцируемых функций в µ§.

µ§- замыкание µ§ в µ§.

Если есть µ§, то :

µ§.

Если µ§, то µ§. Справедливо и обратное утверждение.

Теорема.

µ§.µ§- ограничена, µ§.

Определение.

Эквивалентные нормы.

Пусть H - гильбертово пространство со скалярным произведением ( . , . ).

Скалярное произведение µ§. , . µ§ называется эквивалентным ( . , . ) , если :

µ§

µ§.

Из эквивалентности скалярных произведений можно пользоваться любым.

Теорема 2.

В пространстве µ§ можно ввести скалярное произведение по формуле :

µ§ (3)

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

µ§

Надо доказать :

µ§ (4)

Доказательство от противного.

µ§

µ§

Будем считать, что µ§, а это значит : µ§

µ§µ§ (по теореме Реллиха-Гординга)

µ§

µ§

Имеем противоречие.Теорема доказана.

Обобщенное решение задачи Дирихле для уравнения Пуассона.

µ§

Пусть µ§- решение задачи (1)-(2). Возьмем µ§ и умножим (1) на µ§, проинтегрируем и получим :

µ§. Если µ§- гладкая, то :

µ§ (3)

Определение.

Функция µ§ называется обобщенным решением задачи (1)-(2), если для любой функции µ§ выполняется тождество (3).

При исследовании обобщенных решений µ§.

Лемма.

Существует линейный ограниченный операто𠵧, такой, что µ§.

При этом µ§ -компактный самосопряжённый положительный оператор.

По определению : µ§. µ§ - антилинейный по µ§.

µ§.

f -ограничен, следовательно применим теорему Рисса :

µ§

F - линейно зависит от u.µ§µ§

µ§.

Компактность очевидна по теореме Реллиха-Гординга.

µ§

Самосопряженность доказана.

µ§

Теорема.

Для любой функции µ§ cуществует единственный µ§ краевой задачи (1) (2). При этом

µ§ (4)

Задача Дирихле для уравнения Пуассона корректна, т.е. существует единственное решение непрерывно зависящее от правой части.

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

µ§

Собственные значения и собственные функции оператора Лапласа.

µ§

Определение.

Функция µ§ называется обобщенной собственной функцией оператора -D с условиями Дирихле, соответствующей обобщенному собственному значению l, если она удовлетворяет следующему интегральному тождеству :

µ§µ§ (3)

Теорема.

1. Собственные значения задачи (1) (2), являются вещественными, положительными, изолированными, имеют конечную кратность, и :

µ§

2.Существует ортонормированный базис в µ§ состоящий из собственных функций задачи (1) (2) µ§.

3. µ§ составляет ортонормированный базис в µ§ с эквивалентным скалярным произведением :

µ§ (4)

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

Интегральное тождество (3) можно записать в виде :

µ§ , µ§ , µ§.

Эквивалентная задача : µ§

Теорема 1.

Если µ§ - линейный ограниченный самосопряженный оператор, тогда спект𠵧 - вещественный, и :

µ§

Теорема 2.

Пусть µ§ - компактный, самосопряженный оператор, тогда µ§ состоит из {0} и некоторого (конечного или счетного) множества изолированных собственных значений конечной кратности :

µ§

{0} всегда принадлежит спектру компактного оператора.

Теорема 3.

Пусть µ§ - копактный, самосопряженный оператор, тогда существует ортонормированный базис в пространстве µ§, состоящий из собственных функций этого оператора : µ§.

Для удобства µ§µ§ ,

µ§.

Значит : µ§ - ортонормированная система в µ§.

Так как µ§ всюду плотно в µ§, то µ§ образует ортонормированный базис в µ§.

µ§

Значит : µ§ образует ортонормированный базис в µ§.

Рассмотрим задачу :

µ§ (1)

где µ§

Краевые условия :

µ§ (2)

µ§ (3)

µ§ (4)

µ§

µ§ (5)

µ§ (6)

µ§ (7)

µ§ (8)

µ§ (9)

Теорема 1.

Если однородная краевая задача имеет единственное тривиальное решение, то неоднородное неоднородная краевая задача (1) (2) имеет единственное решение для µ§.

2. Если (3) (4) имеет нетривиальное решение , то (1) (2) разрешима тогда и только тогда, когда µ§ для любого w, являющегося решением (5) (6)

3. Задачи (3) (4) и (5) (6) имеют одинаковое число линейно независимых решений.

Теорема Фредгольма.

Рассмотрим уравнения

µ§ (10)

µ§ (11)

µ§ (12)

где I - единичный оператор в H, C - компактный оператор в H.