Материал: Функциональный анализ

Это неравенство остается справедливым, если производная суще­ ствует на отрезке [а, р] всюду, за исключением счетного мно­ жества его точек.

к x'(to). Другими словами это означает, что при всяком f ^ E ' скалярная функция f{x(t)) дифференцируема в точке to и [f (x(to))]' = f (x'(f0)). Если функция x(t) имеет в каждой точке отрезка [а, р] слабую производную, то сохраняется написанная выше оценка нормы приращения функции. В частности, если слабая производная равна нулю во всех точках отрезка, то функция постоянна. Аналогично определяются производные лю­ бого порядка от векторнозначных функций.

Ли т е р а т у р а : [35], [39], [58].

2.Интеграл Римана. Если функция x(t) со значениями в ба­ наховом пространстве Е непрерывна на отрезке [а, р], то для нее можно определить интеграл Римана как предел интегральных

сумм:

Здесь предел понимается в смысле сходимости по норме про­ странства £, когда диаметр разбиения а = U < h < ... < tN = = р стремится к нулю. Предел существует и не зависит от спо­ соба разбиения отрезка на части.

Справедлива оценка

J x(t)dt < | \\x{t)\\dt

и т е о р е м а о с р е д н е м

Р

j x(t) dt = ($— а)х,

а ■

где х — элемент замкнутой выпуклой оболочки множества зна­ чений функции x(t) на отрезке [а, р].

Функция

*

y (t) = J X (т) dr

а

является непрерывно дифференцируемой и у' {t)—x{t). Для лю­ бой непрерывно дифференцируемой функции y(t) справедлива

98ГЛ. II. ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВА

фо р м у л а Н ь ю т о н а — Л е й б н и ц а

Jу' (t) dt = у (Р) — у (а).

а

Так же, как и в классическом анализе, вводится понятие не­ собственного интеграла. Например, если функция непрерывна на [а, р] при любом р > а, то под ее интегралом на [а, оо] по­ нимают

ОО3

Если предел по норме пространства Е существует, то гово­ рят, что интеграл сходится. Интеграл абсолютно сходится, если

оо

J||*(*)|М*< оо.

а

Из абсолютной сходимости интеграла следует обычная схо­

димость.

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

Ли т е р а т у р а : [39], [58].

3.Аналитические функции. Пусть G — область комплексной

плоскости. Рассматриваются функции х(г), определенные в G и принимающие значения в комплексном банаховом простран­

G, если она имеет в каждой точке этой области производную.

Если х{г) аналитична в G, то при любом линейном функцио­ нале f ^ E ' скалярная функция f(x(z)) аналитична в G: Спра­ ведливо и обратное утверждение: из слабой аналитичности сле­ дует сильная. Эти обстоятельства позволяют получать свойства аналитических функций со значениями в £ из свойств скалярных

аналитических функций.

Аналитическая функция в окрестности каждой точки z0е G разлагается в ряд Тейлора

оо

х (z) = 2о (in (z — го)".

где ап *—элементы пространства £, равные (1//г!)л:(гг>(^о)- Обрат­ но, всякий ряд такого вида определяет аналитическую функцию внутри круга сходимости, радиус г которого находится из фор ­ мулы Коши — А д а м а р а

Интеграл от непрерывной функции по спрямляемой жордановой кривой определяется аналогично тому, как определялся ин­ теграл Римана в предыдущем пункте. Для аналитической в об­ ласти G функции остается справедливой интегральная теорема Коши и вытекающая из нее и н т е г р а л ь н а я ф о р м у л а К о ш и

где Г — спрямляема^ жорданова кривая, ограничивающая об­

ласть G1 такую, что Gi с: G и z <= G\.

Для производных функции х(г) справедливы формулы

*"•’<*>- i S r l

п= —оо

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

Функция х(г) называется целой, если она аналитична во всей

сюда вытекает, что функция |U(z)|| не может достигать макси­ мума внутри области G.

Л и т е р а т у р а : [27], [58].

4.Интеграл Бохнера. Суммируемые функции. Наиболее упо­

100 ГЛ. II. ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВА

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

Функция, заданная на отрезке [а, р], со значениями в бана­ ховом пространстве £, называется простой, если она принимает лишь конечное число значений Xj на измеримых множествах Д,-:

х(1) = х} (te=A}), UAj = [а, р].

(При определении простой функции на множестве бесконечной меры требуется, чтобы mes(Aj)< оо и чтобы x(t) = 0 на допол­ нении к UAj.)

Функция x(t) называется сильно измеримой, если существует последовательность простых функций xn(t), сильно сходящаяся почти всюду к функции x(t). Функция x(t) называется слабо измеримой, если для всякого / е Е; скалярная функция f(x(t)) измерима на [а, р]. Для сепарабельного пространства Е понятия слабой и сильной измеримости совпадают. В общем случае для сильной измеримости функции необходимо и достаточно, чтобы она была слабо измеримой и чтобы все ее значения, за исключе­ нием, быть может, совокупности значений на множестве меры нуль, принадлежали некоторому сепарабельному подпростран­ ству пространства Е. Если функция x(t) сильно измерима, то ее норма ||x(f)|| является измеримой скалярной функцией.

Для простой функции x(t) интеграл определяется естествен­ ным образом:

а

Функция x(t) называется суммируемой (или интегрируемой по Бохнеру) на отрезке [ос, р], если существует сходящаяся в ней почти всюду последовательность простых функций xn{t) такая, что

а

При этом интегралом от суммируемой функции x(t) назы­ вается

аа

Предел понимается в смысле сходимости по норме.