Дифференцирование в линейных нормированных пространствах
Основные понятия
Сильный дифференциал (дифференциал Фреше)
Слабый дифференциал (дифференциал Гато)
Формула конечных приращений
Связь между слабой и сильной дифференцируемостью
Дифференцируемые функционалы
Абстрактные функции
Интеграл
Производные высших порядков
Дифференциалы высших порядков
Формула Тейлора
Заключение1
Список литературы:
Введение
Функциональный анализ — раздел математики, в котором изучаются бесконечномерные пространства и их отображения.
Понятие нормированного пространства – одно из самых основных понятий функционального анализа. Теория нормированных пространств была построена, главным образом, С. Банахом в 20-х годах 20 века. Функциональный анализ за последние два десятилетия настолько разросся, настолько широко и глубоко проник почти во все области математики, что сейчас даже трудно определить самый предмет этой дисциплины. Однако в функциональном анализе есть несколько больших «традиционных» направлений, которые и поныне в значительной степени определяют его лицо. К их числу принадлежит дифференцирование линейных нормированных пространств.
Связь между слабой и сильной дифференцируемостью
Сильная и слабая дифференцируемость представляют собой различные понятия даже в случае конечномерных пространств. Действительно, из анализа хорошо известно, что для числовой функции
f(x) = f(x1,…,xn)
при n
2 из существования производной
при любом фиксированном h = (f1,...,fn) еще не следует диф- ференцируемость этой функции, т. е. возможность представить ее приращение f(x+h)- f(x) в виде суммы линейной (по h) части и члена выше первого порядка малости относительно h.
Простейшим примером здесь может служить функция двух переменных
(11)
Эта функция непрерывна всюду на плоскости, включая точку (0,0). В точке (0,0) ее слабый дифференциал существует и равен 0, поскольку
Вместе с тем этот дифференциал не является главной линейной частью приращения функции (11) в точке (0,0). Действительно, если положить h2=h12, то
Однако если отображение F имеет сильную производную, то оно имеет и слабую, причем сильная и слабая производные совпадают. Действительно, для сильно дифференцируемого отображения имеем
А(ч + ер) — А (ч) = Аэ (ч) (ер) + о (ер) = еАэ (ч)р +о (ер) и
Выясним условия, при которых из слабой дифференцируемости отображения F следует его сильная дифференцируемость.
Теорема 1. Если слабая производная F'c (х) отображения F существует в некоторой окрестности U точки х0 и представляет собой в этой окрестности (операторную) функцию от х, непрерывную в x0, то в точке x0 сильная производная F'(x0) существует и совпадает со слабой.
Доказательство. По е>0 найдем д>0 так, чтобы при ||h||< д бвыполнялось неравенство:
|| F'c(xo + h)-F'c(xo) || 
е
Применив к отображению F формулу (10), получим:
F(x0 + h)-F (хо) - F'c(хо) h || 
||F'c(xo+ иh)- F'c(xo)||
||h|| е||h||
Тем самым имеет место теорема 1, т. е. доказано как существование сильной производной F'(xо), так и ее совпадение со слабой производной.
Заключение
В этой работе представлены некоторые первоначальные понятия , относящиеся к нелинейному функциональному анализу, в основном к теории дифференцирования, и некоторые применения этих понятий.
Некоторые задачи, возникающие в функциональном анализе, носят существенно нелинейный характер; они приводят к необходимости развивать наряду с «линейными» и « нелинейными» функциональный анализ, т.е изучать нелинейные функционалы и нелинейные операторы в бесконечномерных пространствах.
К нелинейному функциональному анализу относится, по существу, такая классическая область математики, как вариационное исчисление, основы которого были заложены еще в XVII-XVIII вв. в работах Бернулли, Эйлера, Лагранжа. Однако в целом нелинейный функциональный анализ представляет собой сравнительно новую область математики, пока еще далекую от своего завершения.
Список литературы:
1. Колмогоров А.Н., Фомин С.В. - Элементы теории функций и функционального анализа. М., Наука, 1981. – 475 с.
2. Шилов Г.Е. – Дифференцирование функций в линейном пространстве. Ярославль, 1978. – 118стр.
3. Банах С. – Дифференциальное и интегральное исчисление. М.,Наука, 1972. – 424стр.