- непрер., , что и
И ,
Если подставим, то получим, что с одной стороны , а с другой
10. (теорема о среднем)
, , - число . . Тогда , - это всё числа. Если - непрерывна достигается, тогда теорема о среднем
11. Неравенство Коши – Буняковского:
Доказательство: множество интегрируемых функций образует линейное пространство вводим скалярное произведение . А там выполнено неравенство К-Б.: . Если подставим, то получим, то что нужно. Если для , - бывает.
Теорема Гельмгольца
Теорема
Любое непрерывно диф-мое векторное поле можно представить в виде , где (безвихревое), а (потенциальное)
Доказательство: возьмём класса
Положим , а . - это доказано (в утверждениях) – выполнено. Потребуем, чтобы , т.е , т.е - это условие, чтобы теорема была верна. (это дифур второго порядка – уравнение Пуассона (оно имеет решение)). Поэтому теорема Гельмгольца имеет место!
Теорема Дирихле.
Теорема:
Пусть периодическая функция имеет непрерывную производную на . Тогда её ряд Фурье к ней сходится.
Доказательство:
Сначала докажем тригонометрическое тождество: . Рассмотрим
Тождество доказано!
Если проинтегрировать обе части тождества от до , чётная по х это = .
Продолжение доказательства теоремы:
сам ряд , , , - это надо доказать!
(представим коэффициенты Фурье)
(т.к. функция периодич. по zможем х положить (в пределах) = 0, при этом интегралы не изменяются)
. Рассмотрим разность . Если бы была непрерывна то по лемме Римана интеграл . По пр. Лапиталя по z , устремляем ( по теореме Римана)
Теорема: всякая непрерывная функция, заданная на компакте , равномерно непрерывна.
Доказательство: надо доказать, что равномерна, непрерывна. Докажем от противного . Пусть . Выделяем и из второй (причем номера совпадает с номером первой послед.). Докажем, что : рассм. (по нер-ву ) .
Но если подставить противоречие.
Теорема о единственности для гармонической функции
Теорема:
Если , , Функция класса . Тогда в D, т.е .
Доказательство:
1) - формула Грина.
2) Положим , а , где любая функция класса . Тогда 1 имеет вид:
3) В качестве U во 2 берём гармоническую функцию
4) Т.к. интеграл = 0
5) , ,
6) т.к. существуют частные производные
7) т.к. , то
Для трех переменных:
Теорема:
Если , , Функция класса . Тогда в B , т.е .
Доказательство:
1) Ф-ла Гаусса – Остроградского:
2) , , , положим тогда формула
3) В качестве и слева
4)
5) , , ,
6)
7) т.к , то C=0 в B
Теорема: всякое сжимающее отображение полного метрического пространства М в себя имеет неподвижную точку, и притом только одну.
Доказательство: (методом послед. приближений) (- произвольная точка) и строится
. Докажем - неподвижная точка: (т.к. сжат.) т.е. , где k- любой. Рассм. (т.е. добавили точку и воспользовались неравенством )(воспольз. оценкой) (получим оценку) , что - последовательность фундаментальна, а т.к. пр-во полное . Теперь док-ем, что x-неподвижная точка. Рассм. расст. при , , точка неподвижна. Докажем, что она единственна: и противоречие. Теорема доказана.
Теорема о неявной функции.
, , . Пусть выполнено условие:
1) вектор – функция непрерывно диф-ма в , т.е. , т.е. каждая компонента обладает этими свойствами ( имеет непрерывные частные производные в )
2) существует точка , такая что
3) Определитель м-цы . Тогда существует окрестность точки , такая что в этой окрестности определена единственная непрерывно – диф-мая неявная вектор-функция , т.е
Доказательство:
Рассмотрим три случая:
1) а) , а - тоже.
Тогда , а - интервалы. И - функция (веществ.) двух переменных и , заданная в прямоугольнике. Тогда существует точка , и непрерывны в
, а - это условие теоремы. Тогда по теореме существует окрестность точки , в которой - непрерывно диф-ма и - это надо доказать.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.