Симметрические компактные субдифференциалы второго порядка и их применение к рядам Фурье Текст научной статьи по специальности «Математика»

УДК 517.98+517.52

Симметрические компактные субдифференциалы второго порядка и их применение к рядам Фурье

И. В. Баран

Таврический национальный университет им. В. И. Вернадского, Симферополь 95007. E-mail: matemain@mail.ru

Аннотация. В статье рассмотрено обобщение на симметрический случай понятия компактного субдифференциала (K-субдифференциала) второго порядка. Излагается основной аппарат теории симметрических K-субдифференциалов второго порядка, включая симметрический аналог теорем Шварца. Это позволяет обобщить классический метод Римана суммирования рядов Фурье и получить некоторые приложения.

Ключевые слова: K-предел, K-субдифференциал, симметрическая производная, симметрический K-субдифференциал, K-условие Шварца, ослабленное K-условие Шварца, K-метод Римана.

Введение

Одним из основных понятий выпуклого и негладкого анализа является субдифференциал (см., например, [8], [7], [18], [13], [15]). Субдифференциал функции — одно из обобщений понятия производной, первоначально возникшее для вещественных выпуклых функций. Кроме того, субдифференциал по своим свойствам во многом подобен обычной производной ([5], [16], [20]) и находит многочисленные обобщения и приложения, большей частью в теории оптимизации и дифференциальных уравнениях ([4], [3],

Недавно И.В.Орловым было введено понятие компактного субдифференциала или К-субдифференциала для отображений в локально выпуклые пространства (ЛВП), определяемое следующим образом

где со — замкнутая выпуклая оболочка множества. К-предел означает равномерное топологическое стягивание убывающих систем замкнутых выпуклых множеств под знаком предела к их компактному пересечению.

Понятие К-субдифференциала было исследовано и нашло успешное применение в совместных работах И.В.Орлова и Ф. С. Стонякина к решению проблемы Радона-Никодима для интеграла Бохнера ([12], [24], [23], [22]). В дальнейшем понятие К-субдифференциала было перенесено на случай векторного аргумента в работах И. В. Орлова и З. И. Халиловой, которое нашло значимые применения в решении вариационных задач с негладким интегрантом (см. [10]).

Недавно в работе [1] был рассмотрен вопрос об обобщении понятия К-субдифферен-циала на симметрический случай. А именно, в исходной конструкции мы заменяем обычное разностное отношение / (х + К) — /(х)/К на симметрическое отношение первого порядка / (х + К) — /(х — К)/2К. Стало быть, обобщается понятие симметрической, а не

[14]).

© И. В. БАРАН

обычной, производной. В месте с тем, как и в случае обычного К-субдифференциала, симметрический К-субдифференциал первого порядка определяется как К-предел частных симметрических субдифференциалов:

dK f (x) = K - lim co|

—{f (x + h) - f (x - h)

2h

0 <h<ö

В работе было показано, что симметрический К-субдифференциал является обобщением не только обычной производной, но и обычного К-субдифференциала. При этом симмет-рическоя оценка, вообще говоря, более точная: дк (х) С дк (х).

Данная статья посвящена исследованию симметрических компактных субдифференциалов второго порядка. В исходной конструкции мы заменяем обычное разностное отношение на симметрическое отношение второго порядка. Таким образом, обобщается уже вторая симметрическая производная, путем перехода от обычной второй производной ко второму симметрическому субдифференциалу. Целью исследования является обобщение классического метода Римана-Шварца обобщенного суммирования рядов Фурье.

1. Симметрические К-субдифференциалы второго порядка

Всюду далее будем рассматривать отображение f : М ^ Е, определенное в некоторой окрестности и(х) точки х € М, где Е — произвольное отделимое вещественное ЛВП. Для перехода к понятию симметрического субдифференциала второго порядка напомним определение второй симметрической производной.

Определение 1. Второй симметрической производной отображения f в точке х называется предел

д ,(х) _ 11ш (х, 2П) _ f (х + 2Н) - 2f (х) + f (х - 2Н) о; (х)_ ПЛ1 4ь2 _ пт .

Перейдем к основному определению.

Определение 2. Частным выпуклым симметрическим субдифференциалом второго порядка отображения f в точке х назовем

д^) _ Ц f (х + 2")- 2№) + f (х - 2"> | 0 <к<}

Если существует K-предел дк f (x) = K- lim dcof (x, ö), назовем его симметрическим

¿^o

K-субдифференциалом второго порядка отображения f в точке x.

Нетрудно убедиться, что справедлива

Теорема 1 (Регулярность). Обычная симметрическая производная О2;(х) существует тогда и только тогда, когда существует одноточечный второй симметрический К -субдифференциал дК(х) и при этом выполняется равенство

ОК(х)_{ о2; (х)}. (1.1)

Доказательство. Пусть существует обычная симметрическая производная второго пол тг Яг*, ч и- /(х + 2К) — 2/(х) + /(х — 2К) ^ рядка а /(х). По определению о /(х) = ппо--• Для любой замкнутой выпуклой окрестности нуля и С Е 3 5 = 5ц > 0(0 < К < 5ц): Д2 ^^ 2К) € Щ / (х)+и. Отсюда следует вложение { ^2К 0 <К<5} С д2/(х)+и

и поэтому со| —/^хг—) 0 < К < 51 С д2/ (х) + и, в силу замкнутости и выпуклости и, т.е. дС0/(х,5) С д2/(х) + и. Переходя к К-пределу, получаем

дк/(х) С {д2/(х)}. Так как |<92/(х) | — одноточечное множество, значит, д2к/(х) = |д2/(х) |.

С другой стороны, пусть дК/(х) = {у} — одноточечное множество. Поскольку дК / (х) = К - Нш^о щ0/(х,5), то из определения К-предела следует, что V е > 0

3 5 = 5(е): д°С20/(х,5) = со|— ^^0 < И, < 5^ С (у — е,у + е). Тогда тем более

—2 / (х, 2К) , . „ —2/(х, 2К)

-—г~2- € (у — е,у + е) при К < 5(е). В результате существует иш-—2-= у, т. е.

4 К2 н^о 4 К2

у =1 д2 / (х) и выполняется равенство (1.1). □

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

Теорема 2. Функция / : М ^ М имеет симметричный К-субдифференциал второго порядка в точке х € [а,Ь], т.е. существует дК/(х), тогда и только тогда, когда в этой точке конечны верхняя и нижняя симметрические производные: —ж < д2/(х) ^ д2/(х) < +ж; при этом

Щк/(х) = \&/(х); д2/(х)]. (1.2)

Доказательство. По определению верхней и нижней симметрических производных, ?/{х) = ш /+2К>—2/> +/— 2К,

н^+о 4К

Щг = ^ /(х + Щ — 2/(х) + /(х — Щ а/ (х)= Дп+о 4К2 •

1) Пусть выполнено —ж < д2/(х) ^ д2/(х) < +ж и В = [д2/(х), д2/(х)]; ие = [—е,е]. По свойствам Иш и Иш, V е > 0 3 5 > 0(0 <К ^ 5):

?/(х) — е < /(х + 2К — 2К'>+ /(х — 2К) < д/(Х) + е.

это„...............с! —/х 2К

На этом основании дС0/(х, 5) = со|-4^- 0 < Ь < ^ С [д2/(х) — е; д2/(х) + е] при

^ —О '—' ^_^

5 ^ 5, т.е. дС0/(х,5) С В + ие. Переход к К-пределу с использованием признака Вейер-штрасса для К-пределов ([10], [1]) дает существование д2К/(х) С [д2/(х) — е; д2/(х) + е].

При е ^ 0 имеем:

дкf(x) С Off(x);J2f(x)]. (1.3)

2) Обратно, пусть 3 d2K f (x) и &K f (x) = [y\; y2]. Тогда V е> 0 3 ö > 0:

dCco f (x, ö) = A ^2 2h) 0 <h <ö^ С (yi - е; y2 + е). Тем более

A2f(x, 2h) n , f n yi—

y1 - е < -4h- <y2 + е, 0 < h < ö. Поэтому, переходя к lim и lim получаем

существование конечных верхней и нижней вторых симметрических производных: y1 - е ^ д2f (x) ^ d2f (x) ^ y2 + е Vе > 0. Из этого вытекает [ö2f(x); d2f (x)] С [y1; y2],

т. е. ___ _

[92f(x); d2f (x)] С dKf (x). (1.4)

Из включений (1.3) и (1.4) следует равенство (1.2). □

Рассмотрим случай, когда функция f дифференцируема в точке x.

Теорема 3. Пусть функция f : R ^ R дифференцируема в окрестности точки x, а f' симметрически K-субдифференцируема в точке x. Тогда существует dKf (x) и верна оценка:

dKf (x) С dK(f')(x) = Uf )(x); d(f')(x)]. Доказательство. Применяя теорему Коши по переменной h, имеем: f (x + 2h) - 2f(x) + f (x - 2h) = 2f'(x + 29h) - 2f'(x - 29h) = f'(x + 29h) - f'(x - 29h)

4h2 = Wh = 49h

(0 <9 < 1). Отсюда

r A2f (x, 2h) o ^ h ^ Alf' (x, 2öh)

4h2

» <h<>} = O AfghP I» <öh<>}

С cö{ Af(xk

2k

0 <k<ö

^_^ —О

Переходим к ^-пределу с использованием признака Вейерштрасса и получаем: дк f (x) С дк(f')(x). В вещественном случае в работе [1] была получена формула: дк(f')(x) =

Ш' )(x); d(f' )(x)]. Стало быть, dKf (x) С дк(f )(x) = [d(f')(x);)(x)]. □

Рассмотрим несколько примеров.

r x

Пример 1. Положим ^>(x) = f (t) dt, где функция f (x) = x sin 1 при x > 0; f (x) =

J 0

x2 sin 1 при x < 0; f (0) = 0. Тогда ^>(x) всюду дифференцируема и ф'(x) = f (x). Значит, как было показано ([1], пример 1)

Ър'(0) = f(0) = - 2, дф(0) = f (0) = 1.

Отсюда по теореме 3 получаем дкф(0) = [—2; |].

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

Пример 2. Положим f (x) = x2 sin X при x > 0; f (x) = x3 sin X при x < 0; f (0) = 0. Тогда имеем:

A2f(0, 2h) = f (2h) - 2f (0) + f (—2h) = (2h)2 sin ^ + (-2h)3 sin(-^) =

= (4h2 + 8h3) sin -h h> 0.

2h

A2/(0,2h) (4h2 + 8h3) sin ^ 1

"ЛйН = --=(1 +2h) sln 2h •

¿2/(0) = lim AM = -1, gif (0) = ш fh = 1.

4h2 h^+0 4h2

В силу теоремы 2, существует д\ f (0) = [-1,1].

Одним из наиболее важных свойств как обычного K-субдифференциала (см. [11], [17]), так и симметрических субдифференциалов первого и второго порядков, является субаддитивность.

Теорема 4 (Субаддитивность). Пусть f,g : R ^ E, где E — произвольное вещественное отделимое ЛВП. Если отображения f и g симметрически K-субдифференцируемы в точке x, то отображение f + g также симметрически K-субдифференцируемо в точке x, причем

дк (f + g)(x) С di f (x) + d2Kg(x). (1.5)

Доказательство. Преобразуем симметрическое разностное отношение для f + g:

A2(f + g)(x, 2h) = A2f (x, 2h) + A2g(x, 2h) 4h2 4h2 + 4h2 '

Из этого следует включение:

дМ + g)(x, í) = + A2g4f52hi I 0 < h < «} С

{A2f (x, 2h) n , {A2g(x, 2h) } ^

С О 4h2 0 <h<«} + 4h2 0 <h<«} С (1-6)

С co-

■ A2f (x, 2h)

. 4h2

0 <h<51 + co|

A2g(x, 2h)

4h2

0 < h < í

.

Далее, для произвольной окрестности нуля и С Е выберем замкнутую выпуклую окрестность нуля и' так, чтобы и'+и' С и, и 5ц' > 0 такое, чтобы при 0 < 5 < 5ц' выполнялись

•---Г) ----Г) . ----Г) -^Г) .

включения: до;(х, 5) С дк f (х) + и , д(Юд(х, 5) С дкд(х) + и . Тогда имеем:

со{ |0 <ь<5} + со{ А2д4х2щ |о <Н<5} С ОО; (х, 5) + 02од(х,5) С

С (дКЩ(х) + и') + (д2кд(х) + и') С (дК;(х)+ д2кд(х)) + (и' + и') С (дК;(х)+ д2кд(х)) + и.

Так как множество / (х) + д\д(х) компактно, а множество и замкнуто, то множество (дК/(х) + дКд(х)) + и) замкнуто [20], откуда выходит:

co<

А2/(x, 2h) . 4h2

0 <h<ö| + co|

A2g(x, 2h) 4h2

0 <h<öj С (dK/(x) + dKg(x)) + U. (1.7)

Из (1.6) и (1.7) следует включение: ^о(/ + g)(x, ö) С (dK/(x) + dKg(x)) + U при ö < 6ц'. Отсюда и из определения K-предела получается:

dK (/ + g)(x) = к - lim д2о(/ + g)(x, ö) С

6^0

С f| [(dK / (x)+ d2Kg(x)) + Uj = dK / (x) + d2Kg(x).

U=U (0)

□

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

Теорема 5. Если отображение / симметрически К-субдифференцируемо в точке х, а отображение д симметрически дифференцируемо в точке х, т. е. существует д2д(х), то

дк (/ + д)(х) = дк / (х) + д2д(х). (1.8)

2. К-теорема Шварца и обобщенная К-теорема Шварца для симметрических К-субдифференциалов второго порядка

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

Важную роль в приложениях симметрических производных к рядам Фурье играет следующая теорема Шварца (см. [19], [2]):

Теорема 6. (Теорема Шварца) Если Е(х) непрерывна на [а; Ь] и д2Е(х) = 0 на а < х < Ь, то Е(х) линейна на этом отрезке.

Если условие с)2Е(х) = 0 выполняется всюду, кроме отдельных «точек неизвестности», тогда справедлива [19]:

Теорема 7. (Обобщенная теорема Шварца) Пусть для непрерывной на [а; Ь] функции Е(х) существует д2Е(х) = 0 на а < х < Ь, кроме конечного числа «точек неизвестности» а < х\ < х2 < ... < хт < Ь. Если в каждой из этих точек выполняется более , А2Е (хг,Ь)

слабое условие иш-—-= 0, то Е (х) линейна на этом промежутке.

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

—О —О

д Е (х) = 0 на оценку 0 € дкЕ (х).

Теорема 8 (К-теорема Шварца). . Если функция Е(х) непрерывна на [а; Ь] и дК-суб-дифференцируема на (а; Ь), и при этом выполняется «К-условие Шварца» 0 € д2КЕ(х), то Е (х) будет линейной функцией:

F (x) = Ax + B.

(2.1)

Доказательство. Для доказательства возьмем произвольное число е > 0 и построим

г Е(Ь) _ Е(а) ]

вспомогательную функцию Ф±(х) = ± Е(х) — Е(а)--ь-(х — а) + е(х — а)(х — Ь).

Тогда внутри промежутка при х € (а; Ь) имеем:

b — a

dK tp±(x) = ± dK F (x) + 2e,

d2

(2.2)

при этом Ф±(а) = ф±(Ь) = 0, Докажем, что Ф±(х) = 0 при а ^ х ^ Ь. Если допустим, что Ф+(х) ф 0 и принимает в некоторых точках (а; Ь) строго положительные значения, то непрерывная функция ф(х) достигает своего наибольшего значения в некоторой внутренней точке хо € (а; Ь). В таком случае для достаточно малого Н> 0: Ф+(х0 ± 2Н) ^ ф+(х0). Таким образом,

А\ф+(хо) = (ф+(хо + 2Ь) — ф+(хо)) + (ф+(хо — 2Ь) — Ф+(хо)) ^ 0. Вместе с тем при достаточно малых Н: —Ф+^х, Н ^ 0 при 0 < Н < 5. Значит,

4h2

do^+(xo,ö) = cö{ А V+h20,h) | 0 <h<ö} С (-ю;0], и,

наконец,

dKф+ (xo) = K- lim d2o^+(xo,ö) С (-гс>;0],

d2

6^0

вопреки равенству (2.2). Следовательно, Ф+(х) ^ 0 Vх € [а; Ь], откуда

F(x) - F(a) - F(b) - F(a) (x - a) ba

< e(b - a)2

Переходя в оценке (2.3) к пределу при е ^ 0, получаем тождество Е(Ь)_ Е(а)

Е(х) ф Е(а)--ь-(х — а), что равносильно равенству (2.1).

(2.3)

□

Аналогично, если условия К-теоремы Шварца выполнены, за исключением конечного числа «точек неизвестности», то справедлива обобщенная К-теорема Шварца

Теорема 9. Пусть функция Е(х) непрерывна на [а; Ь] и дК-субдифференцируема на (а; Ь) , причем

0 € дкЕ(х), (2.4)

кроме конечного числа «точек неизвестности» а < х\ < х2 < ... < хт < Ь. Если в каждой из этих точек выполняется «ослабленное К-условие Шварца»:

„ , г A2F(xi,h)

0 € K- lim cö\-

6^o l 2h

0<h<ö

,

(2.5)

то F(x) — линейная функция на [a; b].

Доказательство. Зафиксируем i = 1, n. По предыдущей теореме F(x) — линейная функция в промежутке [xj_i; Xj|: F(x) = cx + d, а в смежном промежутке [x^ xi+ij: F(x) = cC x + dd. При этом в точке x = xi имеем:

F (xi) = cxi + d = c'xi + d'. (2.6)

Условие (2.5) для x = xi дает:

0 € K - lim Ц F x + 2h) - F (*> - F (xi - 2h)- F (xi) 0 <h<A (2.7) ¿^o l 2h -2h J

Выражение в фигурных скобках в (2.7) есть разность угловых коэффициентов прямых y = cx + d и y = c'x + d', и не зависит от h при достаточно малом 0 <h<ö,т.е. является константой. Таким образом, оценка (2.7) принимает вид:

n { F(xi + 2h) - F(xi) F(xi - 2h) - F(xi) }

0 n-2h----2h-i*

F(xi + 2h) - F(xi) = F(xi - 2h) - F(xi) * 2h = -2h '

откуда получаем c = c . Тогда из (2.6) следует, что d = d , т. е. функция y = c x + d является линейным продолжением на отрезок [xi; xi+ij функции y = cx + d, заданной на [xi_i;xi]. Применяя это утверждение по индукции последовательно ко всем парам отрезков |[xi_1; xij; [xi; xi+ij j ^ , мы приходим к утверждению теоремы. □

Замечание 1. Используя свойство K-предела (см. [10], [11]):

¿^0

K- lim co\F(x,h) 0 < \h\ = lim F(x,h), lim F(x,h)

Lh^+0 h^+0

«ослабленное K-условие Шварца» (2.5) можно переписать в виде:

lim ^Fxh) . 0 < um A2F<x-'!>

h^+0

2h h^+0 2h

3. Обобщенный метод суммирования Римана

Здесь мы обобщим классический метод Римана (см. [19], [2]), заменяя в его конструкции вторую симметрическую производную на второй симметрический K-субдифференциал.

Рассмотрим тригонометрический ряд

<х

— + ^ an cos nx + bn sin nx (3.1)

n=1

с ограниченными коэффициентами.

Тогда интегрируя его почленно два раза, получим абсолютно и равномерно сходящийся ряд

+ Cx + D

a0 2 ^ ^ an cos nx + bn sin nx

_xx2 ' ' /"v> i/i x

n=1

n2

Обозначим через F(x) его сумму. Это непрерывная функция, которая называется функцией Римана для тригонометрического ряда (3.1):

it-

ao 2 , ^ , n cos nx + Ьп sin nx

F (x) = — x + Cx + D — > -tz-.

4 ^ n2

n=1

Допустим, что в некоторой точке xo функция F(x) имеет вторую симметрическую производную d2F(xo). Будем говорить, что ряд (3.1) суммируется в точке x0 методом Римана и его римановская сумма равна d2F(xo).

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

Определение 3. Если в некоторой точке xo функция F(x) имеет второй симметрический K-субдифференциал дКF(xo), то будем говорить, что тригонометрический ряд суммируется в точке xo K-методом Римана и его K-сумма есть множество &KF(xo).

Замечание 2. Так как симметрический K-субдифференциал дКF(x) есть обобщение обычной симметрической производной d2F(x), то K-метод Римана является, вообще говоря, более общим, чем классический метод Римана.

Теорема 10. Если тригонометрический ряд с коэффициентами, стремящимися к нулю, суммируется методом Римана в точке xo к числу S, то он суммируется в этой точке к S и K-методом Римана, причем имеет место равенство:

дкF(xo) = {d2F(xo)} = {S} . (3.2)

Как следствие, учитывая регулярность классического метода Римана, приходим к регулярности K-метода Римана относительно обычной сходимости.

Следствие 1. Если, в условиях теоремы 10, ряд суммируется обычным образом в точке xo к числу S, то он суммируется в этой точке к S и K-методом Римана.

Продемонстрируем на примере, что область применимости K-метода Римана строго шире области применимости классического метода Римана.

Пример 3. Положим $(x) = x sin X при x > 0; $(x) = x2 sin X при x < 0; Ф(0) = 0.

ex

, , dt

o

Тогда F'(x) = $(x), следовательно:

x

Введем теперь функцию F(x) = i Ф(Ь) dt.

o

дкF(0) = [9(F')(0); d(Ff)(0)] = [ЭФ(0); дФ(0)] = —2; 2

При этом

f (x) = F''(x) = Ф'(х) = <

1 1 1 sin---cos — при x > 0,

Jü Jü Jü

2x sin 2 — cos — при x < 0.

В силу того, что функция Ф(х) непрерывна в точке х = 0, то / € Ь\ и Е(х) — функция Римана для /(х). Таким образом, функция / суммируема в точке х = 0 К-методом

и поэтому не суммируется классическим методом Римана

Римана к множеству в этой точке.

1. 1

2' 2

K-метод Римана, как и классический метод Римана, в приложении к рядам Фурье дает следующий результат:

Теорема 11. Ряд Фурье от любой суммируемой функции f (x) на [—п; п] суммируется K-методом Римана почти всюду к этой функции.

Доказательство. Действительно, пусть

<х

f (x) ~ т0 + ^ an cos nx + bn sin nx. (3.3)

Если ряд (3.3) суммируется в точге х к /(х) обычным методом Римана, то по теореме 10 он суммируется и К-методом Римана к /(х), откуда следует, что ряд (3.3) почти всюду на [—п; п] суммируется и К-методом Римана к /(х). □

4. «Ослабленное K-условие Шварца» для тригонометрических рядов и обобщенная теорема Кантора

Важным результатом классической теории рядов Фурье является теорема Кантора:

Теорема 12. (Теорема Кантора) Если тригонометрический ряд с коэффициентами, стремящимися к нулю, суммируется к нулю методом Римана всюду, кроме, быть может, конечного числа точек, то все его коэффициенты равны нулю.

Заметим, что в условиях теоремы Кантора 12 во всех «точках неизвестности» xi,...,xn автоматически выполнено (см. [19], п. 747, 2-ая теорема Римана) ослабленное условие Шварца:

A2F (xi,h) /Л .

lim -= 0. (4.1)

h^+o 2h v 7

Сформулируем теперь аналог теоремы Кантора для K-метода Римана, в котором ослабленное условие Шварца (4.1) заменяется еще более слабым условием:

lim A2^ « 0 i um A2F<f">, (4.2)

h^+o 2h h^+o 2h

при исключении условия стремления к нулю коэффициентов тригонометрического ряда.

Теорема 13. (K-теорема Кантора) Если тригонометрический ряд с ограниченными коэффициентами (где необязательно an,bn ^ 0) суммируется к нулю K-методом Римана всюду, кроме конечного числа точек xi ,..., xn, в которых выполняется «ослабленное K-условие Шварца» (4.2), то an = bn = 0.

Доказательство. По условию теоремы «ослабленное K-условие Шварца» выполнено. Это позволяет применить в нашем случае теорему 9 к функции F(x). По обобщенной теореме Шварца функция Римана F(x) должна быть линейной на каждом интервале (a; b), где ряд (3.3) сходится к нулю, в силу равенства d2F(x) = 0. Тогда имеем

F(x) = Ax + B (a ^ x ^ b). (4.3)

Но, так как F(x) есть функция Римана для ряда (3.3), то

it-

a0 2 , ^ , n ST^an cos nx + bn sin nx

F (x) = — x2 + Cx + D — > -~-. (4.4)

4 ^ n2

n=1

Из (4.3) и (4.4), обозначая A1 = C — A, B1 = D — B, получаем:

+ Aix + Si = J2

a0 2 л v-^ an cos nx + bn sin nx

—x 1 A ™ 1 D — x

4 ^ п2

п=1

Но правая часть имеет период 2п, значит и левая тоже, а это возможно только при

ао = 0 и А = 0. (4.5)

Значит,

i Z, •

л v^ ап cos nx + bn sin nx

B1 = ^-n2-• (4)

n=l

Ряд (4.6) сходится равномерно по мажорантному признаку Вейерштрасса, поэтому его коэффициенты являются коэффициентами Фурье от его суммы, но она есть постоянное число Bi, а потому

an bn n f л n \

= = 0 (n = 1, 2,...), n2 n2

откуда

an = bn = 0 (n = 1,2,...). (4.7)

Из (4.5) и (4.7) следует, что ряд (4.6) имеет все коэффициенты равные нулю и таким образом теорема доказана. □

5. Пример эффективности «К-условия Шварца» для рядов Фурье

Рассмотрим пример, для которого классическое условие Шварца не выполняется, а «ослабленное К-условие Шварца» выполнено. Построим функцию Е(Н), которая при Н > 0 будет иметь вид:

Рис. 1.

А именно Е(0) = 0 и четным образом продолжается для Н < 0 (Нп \ 0,кп \ 0), причем Е(Н) С2-сглажена в малых окрестностях угловых точек. Рассмотрим поведение функции Е(Н) на п-м шаге. 1) Н2п ^ Н ^ Н2п-1 : Е(Н) = кп,

kn

h2n-1

< Fihl < kn

h

h2n

2) h2n+i < h < h2n

F(h) линейная,

F(h) _ kn - kn+i

h h2n — h2n+1

Потребуем, чтобы выполнялись два условия:

(!)

lim = 0,

k

n^x hn

kn

lim

n^x kn

n+1

0;

(ii) 0 < lim f^- = L< то.

h2n

В этом случае

kn kn h2n

lim --= lim -— • lim

h2n-1 h2n h2n-1

L -0 = 0,

Ит

kn kn+1

Нт

kn + 0(kn)

Ит

kn

h2n — h2n+1 h2n + o(h2n) h2n

L.

Отсюда

Получаем

F(h)

h^0 h

Нт

L,

F(h)

lim

h^0 h

0.

k - Ш cöi

l 2h

0

0 <h<ö\ =

} = [0; L]

0.

(5.1)

_Д2¥ (0,Л.) —

В частности, из (5.1) следует, что ^Ит -— = —2¥(0) = откуда ¥ не является

—к-субдифференцируемой в нуле.

Отметим, что ¥ (К) — функция Римана для функции / (К) = ¥''(К) (К = 0). Приведем конкретный пример.

Пример 4. Рассмотрим

(Н =1

НП - I I

п!

1

кп —

(2n)!'

Имеем !

lim "+1 = lim --— = lim -= 0;

hn n^-ж (n + 1)! n + 1

lim k"~+1 = lim ( n)\ = lim --—-- = 0 ; lim = 1.

n^-ж kn n^-ж (2n + 2)! (2n + 1)(2n + 2) n^-ж h2n

Таким образом, удалось построить пример, который наглядно иллюстрирует эффективность «ослабленного K-условия Шварца», когда классическое условие не выполняется.

Заключение

В работе построена теория симметрических K-субдифференциалов второго порядка, путем перехода в основной конструкции K-субдифференциала к симметрическому разностному отношению второго порядка. Получен ряд дополнительных свойств, включая усиленную форму теоремы Шварца и обобщенной теоремы Шварца. Изложено непосредственное применение аппарата симметрических K-субдифференциалов к рядам Фурье. Доказана обобщенная теорема Кантора и приведен пример эффективности «ослабленного K-условия Шварца» для рядов Фурье.

Автор выражает благодарность профессору Орлову И. В. за постановку задачи и полезные обсуждения.

Список цитируемых источников

1. Баран И. В. Симметрические компактные субдифференциалы первого порядка // Ученые записки Тавр. нац. ун-та им. В.И.Вернадского. —2013. — Т. 26(65), №1. — С. 16-30.

2. БариН. К. Тригонометрические ряды. — М.: ФМ, 1961. — 936 с.

3. Басаева Е. К. О субдифференциалах не всюду определенных выпуклых операторов // Владикавказский математический журнал. — 2006. — 8, № 4. — C. 6-12.

4. Демьянов В. Ф., РощинаВ. А. Обобщенные субдифференциалы и экзостеры // Владикавказский математический журнал. - 2006. — № 4. — C. 19-31.

5. Дьедонне Ж. Основы современного анализа. — М.: Мир, 1964. — 360 с.

6. Зигмунд А. Тригонометрические ряды в 2 т.. — Т. 1: Пер. с англ. О. С. Ивашева-Мусаотова. — М.: Мир, 1965. — 615 с.

7. Кусраев А. Г, Кутателадзе С. С. Локальный выпуклый анализ // Итоги науки и техники. Современные проблемы математики. — 1982. — 19. — С. 155-206.

8. Курсаев А. Г., Кутателадзе С. С. Субдифференциальное исчисление: теория и приложения. — М.: Наука, 2007. — 560 с.

9. Лузин Н. Н. Интеграл и тригонометрический ряд. — M.-Л.: ГИТТЛ, 1950. — 550 с.

10. Орлов И. В., Халилова З. И. Компактные субдифференциалы в банаховых пространствах и их применение к вариационным функционалам // Современная математика. Фундаментальные направления. — 2013. — 49. — С. 99-131.

11. Орлов И. В., Стонякин Ф. С. Компактные субдифференциалы: формула конечных приращений и смежные результаты // Современная математика. Фундаментальные направления. — 2009. — 34. — С. 121-138.

12. Орлов И. В., Стонякин Ф. С. Предельная форма свойства Радона - Никодима справедлива в любом пространстве Фреше // Современная математика. Фундаментальные направления. — 2010. — 37. - С. 55-69.

13. Половинкин Е. С., Балашов М. В. Элементы выпуклого и сильно выпуклого анализа. — M.: ФИЗMАТЛИТ, 2004. — 416 с.

14. Пшеничный Б. Н. Выпуклый анализ и экстремальные задачи. — M.: Наука, 1980. — 320 с.

15. РокафелларР. Выпуклый анализ: Пер. с англ. А.Д.Иоффе и В. M. Тихомирова. —M.: Mир, 1973. —472 с.

16. Сакс С. Теория интеграла: Пер. с англ. И. С. Березина, Б. M. Будака и Л. А. Гусарова. -= M.: Изд-во иностранной литературы, 1949. -= 496 с.

17. Стонякин Ф. С. Сравнительный анализ понятия компактного субдифференциала // Вшник Харшвського нацюнального ушверситету iменi В. Н. Каразша. Серiя "Mатематика, приклад-на математика i механжа". -= 2009. -=- № 850. -=- С. 11-21.

18. Тихомиров В. М. Выпуклый анализ // Современные проблемы математики. Фундаментальные направления. — 1987. — 14. — С. 5-101.

19. ФихтенгольцГ. М. Курс дифференциального и интегрального исчисления: в 3 т. — M.: ФИЗ-MАТЛИТ, 2001 — . — Т. 3. — 2001. - 662 с.

20. ШеферХ. Топологические векторные пространства: Пер. с англ. И. А. Березанского. — M.: Mир, 1971. — 359 с.

21. ЭдвардсР. Ряды Фурье в современном изложении: в 2 т.: Пер. с англ. В. А. Скворцова. — M.: Mир, 1985 — Т. 1. - 1985. - 264 с.

22. Davis W. J. The Radon - Nikodym property // Seminare d'analyse fonctionelle (Polytechnique) (1973-1974). — exp no. O.-P. 1-12.

23. DiestelJ., UhlJ. J. Vector Measures. — Providence, Amer. Math. Soc., 1977.

24. OrlovI.V., StonyakinF. S. impact variation, compact sub differentiability and indefinite Bochner integral // Methods of Functional Analysis and Topology. — 2009. — Vol. 15, №1. — P. 74 - 90.

Получена 25.07.2013