Дифференцирование в линейных нормированных пространствах

МИНИСТЕРСТВО  ОБРАЗОВАНИЯ И НАУКИ

РОССИЙСКОЙ  ФЕДЕРАЦИИ

ФЕДЕРАЛЬНОЕ АГЕНСТВО ПО ОБРАЗОВАНИЮ

ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ

ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО  ОБРАЗОВАНИЯ

ТЮМЕНСКИЙ ГОСУДАРСТВЕННЫЙ  УНИВЕРСИТЕТ

ИНСТИТУТ  МАТЕМАТИКИ И КОМПЬЮТЕРНЫХ НАУК

КАФЕДРА ИНФОРМАТИКИ  И МАТЕМАТИКИ

 

 

КУРСОВАЯ РАБОТА

По дисциплине «Математический  анализ»

на тему:

Дифференцирование в линейных нормированных пространствах

ВЫПОЛНИЛ: студентка 393 гр.

Жукова И.А.

ПРОВЕРИЛ: доцент кафедры МиИ

Салтанова Т. В.

 

 

 

Тюмень 2010

Оглавление

Введение 3

Основные понятия 4

Сильный дифференциал (дифференциал Фреше) 5

Слабый дифференциал (дифференциал Гато) 7

Формула конечных приращений 8

Связь между слабой и сильной дифференцируемостью 9

Дифференцируемые функционалы 11

Абстрактные функции 11

Интеграл 12

Производные высших порядков 12

Дифференциалы высших порядков 15

Формула Тейлора 15

Заключение 17

Список литературы: 18

 

Введение

Функциональный анализ — раздел математики, в котором изучаются бесконечномерные пространства и их отображения.

Понятие нормированного пространства – одно из самых основных понятий  функционального анализа. Теория нормированных  пространств была построена, главным  образом, С.Банахом в 20-х годах 20 века.      Функциональный анализ за последние два десятилетия настолько разросся, настолько широко и глубоко проник почти во все области математики, что сейчас даже трудно определить самый предмет этой дисциплины. Однако в функциональном анализе есть несколько больших «традиционных» направлений, которые и поныне в значительной степени определяют его лицо. К их числу принадлежит дифференцирование линейных нормированных пространств.

 

Основные  понятия

Определение1. Непустое множество  называется линейным пространством, если оно удовлетворяет следующим условиям:

Ι. Для любых двух элементов  однозначно определен элемент , называемый их суммой, причем

       1. (коммутативность)

       2. (ассоциативность)

В существует такой элемент 0, что   для всех 

       4. Для  каждого  существует такой элемент   , что .

II. Для любого числа  и любого элемента определен элемент , причем

      5.

      6.

III. Операции сложения и  умножения связаны между собой  дистрибутивными законами:

       7.

       8.

Определение2. Линейное пространство называется нормированным, если на нем задана неотрицательная функция , называемая нормой, удовлетворяющая условиям:

 для любого    и любого числа ;

 для любых  (неравенство треугольника).

Определение3. Оператором называется отображение , где - это линейные пространства.

Определение4. Оператор называется  линейным, если для любых элементов   и любых чисел R выполняется равенство:

.

Определение5. Пусть  - линейные нормированные пространства,

 – линейный оператор, .

Линейный оператор непрерывен в точке , если из того, что следует, что .

 

Определение6. Линейный оператор непрерывен, если он непрерывен в каждой точке  .

Определение7.  Линейный оператор называется ограниченным, если .

Утверждение. Для линейного  нормированного пространства непрерывность  линейного оператора равносильна  его ограниченности.

Определение8. Наименьшая из констант M таких, что , называется нормой оператора А и обозначается .

В частности, выполняется  .

Справедливо следующее утверждение: для любого ограниченного линейного  оператора     .

Сильный дифференциал (дифференциал Фреше)

 Пусть X и У — два нормированных пространства и F — отображение, действующее из X в Y и определенное на некотором открытом подмножестве О пространства X. Мы назовем это отображение дифференцируемым в данной точке , если существует такой ограниченный линейный оператор L_x ζ (X, Y), что для любого ε> 0 можно найти δ > 0, при котором из неравенства ||h||< δ следует неравенство

|| F(x + h)-F(x)-L_xh ||<ε||h||       (1)

То же самое сокращенно записывают так:

F(x + h)-F(x)-L_xh = o(h). (2)

Из (I) следует, что дифференцируемое в точке х отображение непрерывно в этой точке. Выражение L_xh (представляющее

собой, очевидно, при каждом h X элемент пространства У) называется сильным дифференциалом (или дифференциалом Фреше) отображения F в точке х. Сам линейный оператор L_x называется производной, точнее, сильной производной отображения F в точке х. Мы будем обозначать эту производную символом F'(x).

Если отображение F дифференцируемо в точке, то соответствующая производная определяется единственным образом. В самом деле, равенство ||L₁h — L₂h|| = o(h) для операторов L_i ζ (X, У), i = 1, 2, возможно, лишь если L₁= L₂.

Установим теперь некоторые элементарные факты, непоcредственно вытекающие из определения производной.

Если F(x) = y₀ = const, то F'(x) = О (т. е. F'(х) в этом случае есть нулевой оператор).

Производная непрерывного линейного  отображения L есть само это отображение:

L '(x)=L       (3)

Действительно, по определению  имеем         L(x + h)-L(x) = L(h).

3. (Производная сложной функции). Пусть X, У, Z — три нормированных пространства, U(x0)—окрестность точки х₀ Х, F — отображение этой окрестности в У, у₀ = F(x₀), V(y_o) — окрестность точки у₀ У и G — отображение этой окрестности в Z. Тогда, если отображение F дифференцируемо в точке х_о, a G дифференцируемо в точке у_о, то отображение Н = GF (которое определено в некоторой окрестности точки х₀) дифференцируемо в точке х_о и

H' (x₀)=G' (y₀)F' (x₀)                  (4)

Действительно, в силу сделанных  предположений

F(x₀ +ξ) = F(x₀) + F' (x₀) ξ +о₁ (ξ ) 

и

 G (у_о + η) = G (у_о) + G' (у_о) η + о₂ (η).

Но F'(x₀) и G'(y_o) — ограниченные линейные операторы. Поэтому

H (х₀ + ξ) = G (у_о + F' (x₀) ξ + о₁ ξ ) = G (у_о) + G' (у₀) (F' (х₀) ξ +  +о₁ ξ)) +

+о₂ (F' (x₀) ξ + о₁ (ξ  )) = G (у₀) + G' (уо) F' (х₀) ξ + о₃ (ξ).

Если F, G и Н — числовые функции, то формула (4) превращается в известное правило дифференцирования сложной функции.

4.Пусть F и G — два непрерывных отображения, действующих из X в Y. Если F и G дифференцируемы в точке х₀, то и отображения F + G и aF (а — число) тоже дифференцируемы в этой точке, причем

(F + G)'(х₀) = F'(х₀) + G'(х₀) (5)

(aF)'(x₀) = aF'(x₀). (6)

Действительно, из определения  суммы операторов и произведения оператора на число сразу получаем, что

(F+G)(x₀ + h) = F(x₀ + h) + G(x₀ + h) = F (х₀) + G (х₀) + F' (х₀) h +

+G' (х₀) h + o₁ (h)

и      aF (x₀ + h) = aF (x₀) + aF' (x₀) h + o₂ (h),

откуда следуют равенства (5) и (6).

Слабый  дифференциал (дифференциал Гато)

Пусть снова F есть отображение, действующее из X в У. Слабым дифференциалом или дифференциалом Гато отображения F в точке х (при приращении h) называется предел

DF(x,h)= _t=0= ,

где сходимость понимается как  сходимость по норме в пространстве У.

Иногда, следуя Лагранжу, выражение DF(x,h) называют первой вариацией отображения F в точке х.

Слабый дифференциал DF(x,h) может и не быть линеен по h. Если же такая линейность имеет место, т. е. если

DF (х, h) = F'_c (х) h,

где F'_c (х) — ограниченный линейный оператор, то этот оператор называется слабой производной (или производной Гато).

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

Формула конечных приращений

Пусть О — открытое множество в X и пусть отрезок [х₀, х] целиком содержится в О. Пусть, наконец, F есть отображение X в У, определенное на О и имеющее слабую производную F'_c в каждой точке отрезка [х₀, x]. Положив Δх = х — х_о и взяв произвольный функционал У*, рассмотрим числовую функцию

f(t) = (F(x₀+t Δх)),

определенную при  .Эта функция дифференцируема по t. Действительно, в выражении

можно перейти к пределу  под знаком непрерывного линейного  функционала . В результате получаем

F'(t)= (F'_c(x₀+tΔx) Δx)

Применив к функции  f на отрезке [0, 1] формулу конечных приращений, получим

f(l) = f(0) + f'(θ), где 0< θ <1,

(F(x)-F(x₀))= ( F'_c(x₀+ θ Δx) Δx) (7)

Это равенство имеет место  для любого функционала У* (величина θ зависит, разумеется, от ). Из (7) получаем

| (F(x)-F(x₀))| || F'_c(x₀+ θ Δx)|| || Δx||      (8)

 

Выберем теперь ненулевой  функционал так, что

 (F (х) - F (х₀)) = || || || F (х) - F (хо) ||

(такой функционал существует в силу следствия 4 теоремы Хана — Банаха (см. п. 3 § 1 гл. IV)). При этом из (8) получаем

||(F (х) - F (x)|| || F'_c(x₀+ θ Δx)|| ||Δx||   (Δx =x-x₀)    (9)

Это неравенство можно  рассматривать как аналог формулы  конечных приращений для числовых функций. Применив формулу (9) к отображению

х —> F (х) — F'c (х_о) Δx

получим следующее неравенство:

||F(x-F(х_о)-F'c (х_о) Δx || || F'_c(x_o+θΔx) -F'_c(x₀) || || Δx ||    (10)

 Связь между слабой и сильной дифференцируемостью

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

f(x) = f(x_1,…,x_n)

при n 2 из существования производной

при любом фиксированном h = (f_1,...,f_n) еще не следует диф- ференцируемость этой функции, т. е. возможность представить ее приращение f(x+h)- f(x) в виде суммы линейной (по h) части и члена выше первого порядка малости относительно h.

Простейшим примером здесь  может служить функция двух переменных

  

     (11) 

 

Эта функция непрерывна всюду  на плоскости, включая точку (0,0). В  точке (0,0) ее слабый дифференциал существует и равен 0, поскольку

.

Вместе с тем этот дифференциал не является главной линейной частью приращения функции (11) в точке (0,0). Действительно, если положить h₂=h₁², то

 

Однако если отображение F имеет сильную производную, то оно имеет и слабую, причем сильная и слабая производные совпадают. Действительно, для сильно дифференцируемого отображения имеем

F(x + th) — F (x) = F' (x) (th) + о (th) = tF' (x)h +о (th)

и

 

Выясним условия, при которых  из слабой дифференцируемости отображения F следует его сильная дифференцируемость.

Теорема 1. Если слабая производная F'_c (х) отображения F существует в некоторой окрестности U точки х₀ и представляет собой в этой окрестности (операторную) функцию от х, непрерывную в x₀, то в точке x₀ сильная производная F'(x₀) существует и совпадает со слабой.

Доказательство. По ε>0 найдем δ>0 так, чтобы при ||h||< δ бвыполнялось неравенство:

|| F'_c(x_o + h)-F'_c(x_o) || ε

Применив к отображению F формулу (10), получим:

|| F(x₀ + h)-F (х_о) - F'_c (х_о) h || ||F'_c(x_o + θh)- F'_c(x_o)||

  ||h|| ε||h||

 

Тем самым имеет место теорема 1, т. е. доказано как существование сильной производной F'(x_о), так и ее совпадение со слабой производной.

 Дифференцируемые функционалы

Мы ввели дифференциал отображения F, действующего из одного нормированного пространства X в другое нормированное пространство У. Производная F'(х) такого отображения при каждом х — это линейный оператор из X в У, т. е. элемент пространства ξ(X, У). В частности, если У — числовая прямая, то F — принимающая числовые значения функция на X, т. е. функционал. При этом производная функционала F в точке х₀ есть линейный функционал (зависящий от х₀), т. е. элемент пространства X*.

Пример. Рассмотрим в действительном гильбертовом пространстве Н функционал F(x) = ||х||². Тогда

||x + h||²-||x||² = 2(x, h) + || h ||²;

величина 2(x,h) представляет собой главную линейную (по h) часть этого выражения, следовательно,

F' (x) = F'_c(x) = 2х.

 Абстрактные функции

Предположим теперь, что к  числовой прямой сводится пространство аргументов X. Отображение F(x), сопоставляющее числу х элемент некоторого банахова пространства У, называется абстрактной функцией. Производная F'(х) абстрактной функции (если она существует) представляет собой (при каждом х) элемент пространства У — касательный вектор к кривой F(x). Для абстрактной функции (представляющей собой функцию одного числового аргумента) слабая дифференцируемость совпадает с сильной.

 Интеграл

 Пусть F — абстрактная функция действительного аргумента t со значениями в банаховом пространстве У. Если F задана на отрезке [а, b], то можно определить интеграл функции F по отрезку [а,b]. Этот интеграл понимается как предел интегральных сумм

,

отвечающих разбиениям

a = t₀<t₁< ... <t_n = b, ξ_k [t_k,t_k+1],  

при условии, что max(t_k+1-t_k) 0. Интеграл (представляющий, собой, очевидно, элемент из Y) обозначается символом

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

 Производные высших порядков

Пусть F — дифференцируемое отображение, действующее из X в У. Его производная F'(x) при каждом  x X есть элемент из ξ (X, У), т. е. F' есть

отображение пространства X в пространство линейных операторов