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

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 следует его сильная дифференцируемость.

Теорема 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]. Этот интеграл понимается как предел интегральных сумм

,

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

ф = е₀Бе₁Б ююю Бе_т = иб о_лхе_лбе_л+1ъб

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

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

 

 

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

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

Мы говорим, что задано билинейное отображение пространства X в пространство У, если каждой упорядоченной паре элементов х, х' из X поставлен в соответствие элемент у=В(х, х') У так, что выполнены следующие условия:

1. для любых из X и любых чисел имеют место равенства:

В (x₁ + х₂, ) =В (,)+В (х₂, ),

В (x₁, +) = В (,)+В(x_1,);