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

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 4

tions of Л-bounded variation, Dokl. AN SSSR, 1986, vol, 286, no, 5, pp, 1062-1064,

7, Privalov A, A, Uniform convergence of Lagrange interpolation processes, Math. Notes, 1986, vol, 39, no, 2, pp, 228-243,

8, Novikov V, V, On Birkhoff Interpolation of Functions of Ordered Л-bounded Variation Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2013, vol, 13, iss, 1, pt, 2, pp, 81-83 (in Russian),

УДК 517.972:517.98:517.982

ДОМИНАНТНЫЕ ОЦЕНКИ РОСТА ИНТЕГРАНТА И ГЛАДКОСТЬ ВАРИАЦИОННЫХ ФУНКЦИОНАЛОВ В ПРОСТРАНСТВАХ СОБОЛЕВА

И. В. Орлов1, И. А. Романенко2

1 Орлов Игорь Владимирович, доктор физико-математических наук, заведующий кафедрой алгебры и функционального анализа, Крымский федеральный университет им. В. И. Вернадского, Симферополь, Республика Крым, igor_v_orlov@mail.ru 2Романенко Игорь Алексеевич, ассистент кафедры алгебры и функционального анализа, Крымский федеральный университет им. В. И. Вернадского, Симферополь, Республика Крым, rom.igor.alex@gmail.com

Для вариационных функционалов в пространствах Соболева {W1,p} (1 < p < ж) вводится последовательность так называемых «доминантных оценок роста» градиента соответствующего порядка от интегранта, каждая из которых гарантирует соответствующий уровень гладкости вариационного функционала в C1 -гладких точках пространства Соболева. Частными случаями доминантных оценок роста являются изученные ранее K-псевдополиномиальные представления интегранта. Однако, в отличие от псевдополиномиального случая (p е N) наш подход позволяет рассматривать вариационные задачи на полной соболевской шкале (1 < p < ж).

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

DOI: 10.18500/1816-9791-2015-15-4-422-432

1. ВВЕДЕНИЕ. ПРЕДВАРИТЕЛЬНЫЕ СВЕДЕНИЯ

Начиная с классических работ Л, Тонелли (L, Tonelli) [1] и по настоящее время вариационные задачи в пространствах Соболева привлекают внимание многих математиков [2-4], В последние годы при исследовании вариационных задач в пространствах Соболева, активно используются так называемые компактные экстремумы и компактно-аналитические (K-аналитические) свойства вариационных функционалов [5-7], Это связано с тем, что классические аналитические свойства у вариационных функционалов в пространствах Соболева часто отсутствуют [8], При этом при исследовании корректной определенности вариационного функционала

b

Ф(у) = / f (x, у, У) dx (у(-) € W 1p[a; 6]) , (1)

a

классическая «оценка роста» интегранта |f (x,y, z)\ ^ A1 + A2\z\p заменялась требованием так называемого K-псевдополиномиального представления интегранта:

p

f (x,y,z) = pk (x,y,z)zk, (2)

k=0

коэффициенты которого доминантно (по x, у) ограничены, Далее последовательно вводились более узкие классы K-псевдополиномов за счет повышения уровня доминантной гладкости коэффициентов Pk, Попадание интегранта в такой класс гарантирует соответствующий уровень K-аналитичности вариационного функционала (K-непрерывность, K-дифференцируемость, кратную K-дифференцируемость),

© Орлов И. В., Романенко И. А., 2015

И. В. Орлов, И. А. Романенко. Доминантные оценки роста интегранта

Однако представление (2) не всегда возможно и, кроме того, приводит к рассмотрению задач лишь на «дискретной» Соболевской шкале {W1,p} (p е N). Таким образом, актуальной является задача такого обобщения условия (2), которое позволит уйти от конкретного представления интегранта и рассматривать вариационные задачи на полной Соболевской шкале {W1,p} (1 ^ p < ж).

С этой целью в настоящей работе для вариационных функционалов в пространствах Соболева W 1,p[a, b] (1 ^ p < ж) вводится последовательность так называемых доминантных «оценок роста» градиента соответствующего порядка от интегранта, каждая из которых гарантирует соответствующий уровень гладкости вариационного функционала (1) в C 1-гладких точках пространства Соболева. Эти оценки, как уже отмечалось, с одной стороны, можно рассматривать в качестве обобщения K-псевдополиномиальных представлений интегрантов, а с другой — как дополнение метода K-псевдополиномов, так как в C1 -гладких точках пространства Соболева вариационный функционал имеет не только K-аналитические, но и классические аналитические свойства.

Приведем определения компактной непрерывности, компактной дифференцируемости и кратной компактной дифференцируемости функционала в полном ЛВП [5]. Далее ЛБП означает локально выпуклое пространство, абсолютно выпуклое подмножество вещественного ЛВП есть выпуклое и симметричное множество, spanC — линейная оболочка множества C, || ■ ||C — функционал Минковского множества C.

Определение 1. Пусть E — полное вещественное ЛВП, Ф : E ^ R. Скажем, что функционал Ф : E ^ R компактно непрерывен (K-непрерывен), компактно дифференцируем (дважды K-дифференцируем и т. д.) в точке y е E, если для любого абсолютно выпуклого компакта C С E сужение Ф на (y + spanC) соответственно непрерывно, дифференцируемо по Фреше (дважды дифференцируемо по Фреше и т. д.) в точке у относительно нормы || ■ ||C в подпространстве EC = spanC, порожденной C.

Замечание 1. Отметим, что в конечномерном случае K-непрерывность, K-дифференцируемость и т.д. совпадают соответственно с классической непрерывностью, дифференцируемостью и т.д. Однако в бесконечномерном случае K-аналитические свойства функционала, вообще говоря, слабее соответствующих классических аналитических свойств. Простые примеры K-непрерывных, но разрывных в обычном смысле функционалов связаны с переходом к слабой топологии (см. [5, пример 2.1.3]). Важным является то обстоятельство, что вариационные функционалы в пространствах Соболева при достаточно общих условиях обладают K-аналитическими свойствами, но не обладают соответствующими классическими аналитическими свойствами.

В данной работе, как уже было сказано, рассматриваются более общие, чем K-псевдополиномиальные, условия, обеспечивающие подходящие аналитические свойства вариационных функционалов в C1 -гладких точках пространств Соболева W 1,p[a; b] (1 ^ p < ж).

2. ДОМИНАНТНАЯ ОЦЕНКА РОСТА ИНТЕГРАНТА И КОРРЕКТНАЯ ОПРЕДЕЛЕННОСТЬ ВАРИАЦИОННЫХ ФУНКЦИОНАЛОВ В W 1p[a; b]

Определение 2. Будем говорить, что борелевская функция f : Rx х х Rz ^ R удовлетворяет

доминантной оценке порядка p роста по z (обозначение: f е Bp(z), 0 < p < ж), если для любого компакта C С Rx х существуют неотрицательные константы A1 (C) и A2(C) такие, что для любых (х, у) е C и z е Rz, f допускает оценку

|f(x,y,z)| ^ A1(C)+ A2(C)|z|p. (3)

Напомним определение доминантно по х, у ограниченной функции [9].

Определение 3. Борелевская функция P : Rx х х Rz ^ R называется доминантно (по переменным х, у) ограниченной (обозначение: P е Bdom(z)), если для любого компакта C С Rx х функция P ограничена на множестве C х Rz.

Приведем важный класс примеров функций f е Bp(z) — псевдополиномы порядка p с доминантно ограниченными коэффициентами. Нетрудно проверить, что справедливо следующее

Математика

423

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 4

Предложение 1. Если борелевскал функция f представима в виде f (х, y,z) = p(х, y, z) + Q(x, y,z) zp (p e N),

где p e Bdom(z) и Q e Bdom(z),> mo f e Bp(z)-

Замечание 2. Утверждение предложения 1 справедливо и для псевдополиномов более общего вида:

p

f (x,y,z) = J^ Pk(х, y, z) zk (p e N),

k=0

где Pk e Bdom(z)-

Покажем теперь, что условие (3) для интегранта гарантирует корректную определенность основного вариационного функционала в W1,p [a; b], а также позволяет дать удобную локальную оценку функционала на компактах из W1,p [a; b].

Предварительно напомним определение пространств Соболева W 1,p[a; b], 1 ^ p < ж.

Определение 4. Пространство W1,p [a; b] состоит из абсолютно непрерывных на [a; b] функций y = y(x), для которых y' e Lp[a; b]. Норма в W1,p[a; b] обычно вводится следующим образом:

/ b b \ 1/p

y\\wi.p = ( / |y(x)|pdx + [ |y'(x)|pdx| = (||y|ILp + ||y'HLp) /P •

Как известно, соотношение между Соболевскими нормами в пространствах W 1,p[a; b] и W 1;1[a; b]

при 1 ^ p < ж имеет вид

где N1p = (2(b — a))(p 1)/p.

|y||w1,1 ^ N1p ||y||w!.p,

(4)

Теорема 1. Если интегрант f e Bp (z) (1 ^ p < ж), mo вариационный функционал Эйлера -Лагранжа

b

Ф(у) = У f (x, y, y') dx (y(-) e W1>p[a; b])

a

всюду определен в пространстве W1,p[a; b]. Кроме того, для любого компакта Сд с W 1,p[a; b] при y(-) e Сд справедлива локальная оценка:

|ф(у)| ^ а(Сд) + в(Сд)\\y\\Wi,p,

(5)

где коэффициенты а и в зависят только от выбора компакта Сд; а, в ^ 0. Доказательство. Рассмотрим вспомогательное отображение:

e : (W 1,p[a; b]) x [a; b] ^ R, e(y, x) = y(x).

Поскольку сходимость в W1,p[a;b], как известно, сильнее равномерной сходимости, то

w1

0, x ^ 0

Р

y

=^ (y(x) = e(y,x) ^ 0) •

Отсюда ввиду билинейности e следует непрерывность e всюду в W 1,p[a; b] x [a; b]. Следовательно, по теореме Вейерштрасса множество

Су := Сд ([a; b]) = |^J y ([a; b]) — компакт в R.

yeoA

424

Научный отдел

И. В. Орлов, И. А. Романенко. Доминантные оценки роста интегранта

Так как по условию теоремы f е Bp(z), то при (x, y) е С = [a; b] xCY выполнена оценка интегранта вида (3). Отсюда при y(-) е Сд получаем оценку

ф(у)| ^

ъ

I |f(x,y,y')|dx ^

ъ

f (Ai(C) + A2(C)|y'|p)dx = (b - a) Ai (C)+

ъ

+A2(C) / |y'|pdx =: а(Сд) + в(Cд) ||y'||Lp ^ а(Сд) + в(Cд) ||y||Wi,p

т. е. оценка (5) выполнена. □

3. C-ДОМИНАНТНАЯ ОЦЕНКА РОСТА ИНТЕГРАНТА И НЕПРЕРЫВНОСТЬ ВАРИАЦИОННЫХ ФУНКЦИОНАЛОВ В W1p[a; b]

Определение 5. Будем говорить, что непрерывная функция f е Bp(z) (0 < p < ж) удовлетворяет C-доминантной оценке порядка p роста по z (обозначение: f е CBp(z)), если для любого компакта C С Rx x Ry и для любых приращений h, k соответственно переменных y, z при (x, у) е C и z е Rz приращение f допускает оценку

|Ayzf(x, y,z;h,k)| = |f(x, y + h,z + k) - f(x, y,z)| ^ Ai(C;h,k) + A2(c;h,k) |z|p, (6)

где коэффициенты A* (i = 1, 2) — неотрицательные борелевские функции от h, k, удовлетворяющие следующим условиям:

(i) A* локально по h ограничены равномерно по k; (7)

(ii) А* (С; h, k) = o(1) при h, k ^ 0.

Заметим, что из условий (6), (7) следует равномерная непрерывность f на С x Rz.

Напомним определение доминантно непрерывной функции [9].

Определение 6. Непрерывная функция P : Rx x Ry x Rz ^ R называется доминантно (по переменным x, у) непрерывной по z (обозначение: P е Cdom(z)), если для любого компакта С С Rx x Ry функция P равномерно непрерывна и ограничена на множестве С x Rz.

Приведем важный класс примеров функций f е CBp(z).

Предложение 2. Если непрерывная функция f представима в виде

f (x, y, z) = P(x, y, z) + Q(x, y, z) zp (p е N),

где P е Cdom(z) и Q е Cdom (z),> mo f е CBp(z )-

Доказательство. Пусть функция f удовлетворяет условию предложения. Тогда

Ayzf (x, y, z; h, k) = P(x, y + h, z + k) + Q(x, y + h, z + k)(z + k)p-- [P(x, y, z) + Q(x, y, z)zp] ± Q(x, y + h, z + k)zp = [P(x, y + h, z + k) - P(x, y, z)] +

+ [Q(x, y + h, z + k) - Q(x, y, z)] zp + Q(x, y + h, z + k) [(z + k)p - zp]. (8)

Из (8) следует оценка

|Ayzf(x,y,z;h,k)| ^ |AyzP(x,y,z;h,k)| + 1 AyzQ(x,y,z;h, k)| |z|p+

+ |Q(x, y + h, z + k)||(z + k)p - zp | =: Ai + A2 |z|p + A3 |(z + k)p - zp|. (9)

Обозначим с учетом доминантной непрерывности соответствующих выражений в (9)

Bx(C; h, k) = sup Ax(x, y, z; h, k); B2(C; h, k) = sup A2(x, y, z; h, k);

(x,y,z)ec xiz (x,y,z)ec xiz

Математика

425

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 4

Вз (C; h,k)

sup A3(x,y, z; h, k)

(x,y,z)£C xKz

(z + k)p — zp zp-1 k

(10)

При этом t41 (x, y, z; h, k) = o(1), A2(x, y, z; h, k) = o(1) доминантно по x, y, т. e, равномерно на множестве C x Rz, Поэтому также и В1 (C; h, k) = o(1), B2(C; h, k) = o(1) при h, k ^ 0, Наконец, поскольку т41, A2 и A3 ограничены локально по h, равномерно по k и доминантно по x, y, то и В1, В2, В3 ограничены локально по h и равномерно по k, Из (9) и (10) находим:

|Ayzf (x, y, z; h,k)| ^ Bl(C; h, k) + В2(C; h, k)|z|p + В3(C; h, k)|z|p-1 |k| ^

^ В1 (C; h, k) + В2(C; h, k)|z|p + В3(C; h, k)|k|(1 + |z|p) = [Bl(C; h, k)+ +Bз(C; h, k)|k|] + [B2(C; h, k) + В3(C; h, k)|k|] |z|p =: A1 (C; h, k) + A2(C; h, k)|z|p,

где коэффициенты A1, A2 удовлетворяют условиям (7). □

Замечание 3. Утверждение предложения 2 справедливо, как нетрудно убедиться, и для псевдополиномов более общего вида:

p

f (x,y,z) = J^ Pk(x, y, z) zk (p G N),

k=0

где Pk G Cdom (z) ,

Установим общий факт о тождестве K-непрерывности и непрерывности для отображений в банаховых пространствах, Справедлива следующая

Теорема 2. Пусть E, F — банаховы пространства. Если отображение Ф : E ^ F K-непрерывно в точке y G E, то оно непрерывно и в обычном смысле в этой точке.

Доказательство. Допустим противное: отображение Ф(у) разрывно в точке y, Тогда 3 hn —U 0, 3 ео > 0: ||Ф(у + hn) — Ф(у)||^ ^ ео (n = 1, 2,...).

Рассмотрим а.в, компакт C = a.co{hn}, По теореме о промежуточных компактах [10, теорема 2.2]

3 C' G C(E) : Ec Ecc E,

где C(E) — система всех абсолютно выпуклых компактов в E, Так как {hn} С C, то из ограниченности {hn} в Ec следует (по компактности вложения EC в EC/) предкомпактность {hn} в Ec/, Следовательно, по теореме Больцано - Вейерштрасса из {hn} можно выделить некоторую подпоследовательность hnk ----> 0, Получаем (по непрерывности Ф в EC/):

||Ф(у + hnk) — Ф(у)11^ ^ 0 при hnk -—^ 0.

Но по допущению ||Ф(у + hnk) — Ф(у)||^ ^ е0, Пришли к противоречию, Таким образом, отображение Ф(у) непрерывно в точке y G E, □

Покажем теперь, что условие (6) для интегранта гарантирует K-непрерывность, а в силу теоремы 2 и непрерывность основного вариационного функционала в W 1,p[a; b],

Теорема 3. Если интегрант f G CBp(z) (1 ^ p < го), то вариационный функционал непрерывен всюду в W1,p [a; b].

Доказательство. Фиксируем у(-) G W1,p[a;b] и положим C = [a; b] x y([a; b]), Фиксируем также абсолютно выпуклый компакт Ca с W 1,p[a; b] и выберем h G Ca, При этом ввиду ограниченности Ca по соболевской норме Ca ограничен и по равномерной норме, откуда |h(x)| ^ 8h для любых x G [a;b], h G Ca, при некотором 8h > 0, Проведем оценку ДФ(у,Ь,), используя представление (6):

b

|Ф(у + h) — Ф(у)| ^ |f(x, у + h,y' + h) — f(x,y,y')|dx ^

426

Научный отдел

И. В. Орлов, И. А. Романенко. Доминантные оценки роста интегранта

ъ

b

^ A1 (C; h, h') dx + A2 (C; h, h') \y' \pdx,

(11)

где коэффициенты Ai, A2 — неотрицательные борелевские функции от h и h', удовлетворяющие условиям (7) (при k = h'). Далее, для любого фиксированного S > 0 обозначим

e5 = {x G [a; b] | \h(x)\ < S, \h'(x)\ < , e5 = {x G [a; b] | \h(x)\p + \h'(x)\p ^ Sp} . (12)

Так как ||h||Wi,p ^ Sp ■ mes (e5), то

(||h||wi,p ^ S(p+1)/p) =^ (mes (e5) < S) . (13)

Таким образом,

(l|h||w i>p —— 0) =^ (mes (e5) — 0) при S — 0. (14)

Будем далее предполагать, что неравенство слева в (13) выполнено. Проведем отдельно оценку

каждого из интегралов справа в (11), используя условия (7).

Для произвольного e > 0 выберем S < e так, чтобы

(\h(x)\ < S, \h'(x)\ < S) ^ (Ai(C; h, h') < e).

Тогда, используя (12), (13), приходим к оценке ъ

I A1 (C; h, h')dx ^ A1 (C; h, h')dx + A1 (C; h, h')dx <

< e mes (e5) + MAi mes (e5) < e (b — a) + MAi e = e ((b — a) + MAi),

где MAi = sup A1 (C; h, h'). Таким образом, в силу (14) получаем:

xE [a;b], HeCa

A1 (C; h, h') dx — 0 при ||h||wi,P — 0.

ъ

Перейдем к оценке второго интеграла справа в (11), используя условия (7) и свойство абсолютной непрерывности интеграла Лебега [11]. Для произвольного e > 0 выберем S < e так, чтобы

(\h(x)\ < S, \h'(x)\ < S) =^ I A2(C; h, h') < e и j \y'\pdx < e

V e5

Тогда, используя (12), (13), приходим к оценке ъ

J A2(C; h, h')\y'\pdx ^ J A2(C; h, h')\y'\pdx + J A2(C; h, h')\y'\pdx <

a e5 e5

b

< e / \y'\pdx + ma2 / \y'\pdx < e [ \y'\pdx + Ma2 e ^ e ||y'lILp + ma2 e ^ e (HyHWi.p + MA),

где MA2 = sup A2(C; h, h'). Таким образом, в силу (14) получаем

xE[a;b], HeCa

A2(C; h, h')\y'\pdx — 0 при ||h||wi,P — 0.

b

Тогда |Ф(у + h) — Ф(у)| — 0 при ||h||wi,p — 0 и h G span(CA). Тем более, это верно при h G span(CA) и ||h|сa — 0 для любого абсолютно выпуклого компакта Ca с W1,p[a; b]. Следовательно, вариационный функционал Ф(у) K-непрерывен всюду в W1,p[a;b], откуда по теореме 2 он непрерывен всюду в W1,p[a;b]. □

Дадим теперь общее определение Cn-доминантной оценки роста при любом n G N.

Математика

427

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 4

4. C"-ДОМИНАНТНАЯ ОЦЕНКА РОСТА ИНТЕГРАНТА И n-КРАТНАЯ ДИФФЕРЕНЦИРУЕМОСТЬ ВАРИАЦИОННЫХ ФУНКЦИОНАЛОВ В W1p[a; b]

Определение 7. Будем говорить, что n раз непрерывно дифференцируемая функция f G Cn-1 Bp (z) (n G N, 0 < p < ж) удовлетворяет Cn-доминантной оценке порядка p роста по z (обозначение: f G CnBp(z)), если для любого компакта C С Rx х Ry и для любых приращений h, k соответственно переменных y, z при (x, y) G C и z G Rz остаточный член формулы Тейлора первого порядка для V"-1 f допускает оценку

|(Ayz (vn-1 f) - Vyz (v;-1 f)) (x,y,z)(h,k)| =

= | [vn-1 f(x,y + h,z + k) -vnz-1f(x,y,z)] -Vyz (vn-1 f(x,y,z)) • (h,k)| ^

^ A (C; h, k) + A2(C; h, k)|z|p, (15)

где коэффициенты A (i = 1, 2) — неотрицательные борелевские функции от h, k, удовлетворяющие следующим условиям:

(i) A* локально по h ограничены равномерно по k; (16)

(ii) A—C; h, k) = o(|h| + |k|) при h, k ^ 0.

Заметим, что из определения следует n-кратная равномерно непрерывная дифференцируемость f на C х Rz для любого компакта C С Rx х Ry.

Лемма 1. Справедливо включение

CnBp-k(z) С CnBp(z) (0 <k<p< ж).

Доказательство. Пусть функция f G CnBp-k(z). Тогда по определению 7 имеем:

|(Ayz (vnz-1 f) - vyz (vn-1 f)) (x,y,z)(h,k)| ^

^ A (C; h, k) + A2(C; h, k)|z|p-k ^ A (C; h, k) + ^(C; h, k) (1 + |z|p) ^

^ [A1 (C; h, k) + A2(C; h, k)] + A2(C; h, k)|z|p =: A (C; h, k) + A2(C; h, k)|z|p,

где коэффициенты A, A2 удовлетворяют условиям (16). Таким образом, функция f G CBp(z). □

Напомним определение доминантно C"-гладкой функции [9].

Определение 8. Будем говорить, что n раз непрерывно дифференцируемая функция P : Rx х х Ry х Rz ^ R называется доминантно (по переменным x, y) Cn-гладкой по z (обозначение: P G C-om(z)), если для любого компакта C С Rx х Ry отображения P, vyzP,..., v;zP равномерно непрерывны и ограничены на множестве CхRz. Другими словами, P G Cdom(z), vyzP G Cdom(z),...,

v;z P G Cdom(z).

Приведем важный класс примеров функций f G CnBp (z).

Предложение 3. Если n раз непрерывно дифференцируемая функция f представима в виде f (x,y,z) = P(x,y,z) + z) zp (p G № n + 1 < p< ж),

где P G Cdnom(z) и Q G CLm(z), mo f G CnBp(z).

Доказательство. Пусть функция f удовлетворяет условию предложения. Покажем вначале справедливость предложения для n = 1. Аналогично доказательству предложения 2 с учетом доминантной гладкости соответствующих выражений получим оценку

|Ayzf(x y, z;h, k) - vyzf(x, y, z) •(h, k)| ^ A1(C;h, k) + a2(c;h, k)|z|p,

где коэффициенты A1, A2 удовлетворяют условиям (16) определения 7 при n = 1. Следовательно, f G C1 Bp(z).

428

Научный отдел

И. В. Орлов, И. А. Романенко. Доминантные оценки роста интегранта

Заметим, что функции P и Q в предложении могут быть векторнозначными. Далее для градиента 1-го порядка от функции f имеем:

Vyz f (x,y,z)

dP dQ

dy + dy

p

z

(x,y,z);

dP dQ p „ p-i 1Т + 1Г z + Qpzp

dz dz

(x,y,z) =

= [VyzP(x,y,z) + VyzQ(x,y,z) zp + (O; Q(x,y,z) p) zP 1 =: fi (x,y,z) + f2(x,y,z),

где f1 G C 1Bp(z) и f2 G C1 Bp-1 (z) по условию предложения, верного, как мы показали выше, для n = 1. Так как по лемме 1 f2 G C 1Bp(z), то в силу линейности пространства C 1Bp(z) функция Vyzf(x,y,z) = f1(x,y,z) + f2(x,y,z) G C1 Bp(z). Следовательно, по определению 7 для n = 2 f G C2Bp(z).

Продолжая аналогично для градиента (n — 1)-го порядка функции f, имеем:

Vz 1 f (x,y,z) = f1 (x,y,z) + f2(x,y,z) + ... + fn (x,y,z), где fi := Pi + Qi zp-i+1, Pi,Qi G Cdom(z) (i = 1,n). При этом по условию предложения (n = 1)

f1 G C1 Bp(z), f2 G C1 Bp-1 (z), fn G C1 Bp-n+1(z).

Так как по лемме 1 f2,..., fn G C1 Bp(z), то в силу линейности пространства C 1Bp(z) функция Vn-1 f(x,y,z) = f1 (x,y,z) + f2(x,y,z) + ... + fn(x,y,z) принадлежит C 1Bp(z). Следовательно, по определению 7 f G CnBp(z). □

Замечание 4. Утверждение предложения 3 также справедливо и для псевдополиномов более общего вида:

p

f (x,y,z) = Y1Pk (x,y,z) zk (P G N n + 1 ^ P< ж) ’

k=0

ГДе Pk G Cdom(z).

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

Теорема 4. Пусть E, F — банаховы пространства. Если отображение Ф : E ^ F n раз Н-дифференцируемо в точке y G E, то оно n раз дифференцируемо в этой точке.

Доказательство. Покажем, что теорема верна при n = 1. Аналогично доказательству теоремы 2 методом от противного доказывается, что отображение Ф(у) дифференцируемо в точке y.

Предположим, что теорема верна при n = т и докажем справедливость теоремы для (т + 1)-го случая. Также аналогично доказательству теоремы 2 методом от противного доказывается, что отображение Ф(у) т + 1 раз дифференцируемо в точке у.

Таким образом, на основании метода математической индукции доказана n-кратная дифференцируемость отображения Ф в точке. □

Также по индукции покажем теперь, что условие определения 7 для интегранта гарантирует n-кратную Н-дифференцируемость, а в силу теоремы 4 и n-кратную дифференцируемость основного вариационного функционала во всех C1 -гладких точках из W1,p[a; b], т. е. справедлива

Теорема 5. Если интегрант f G CnBp (z) (n ^ p < ж), то вариационный функционал n раз дифференцируем во всех C1 -гладких точках из W 1,p[a; b]. При этом справедливо равенство

ф(п)(у)(н)п

b

а

д д

~z~h + — h ду dz

n

f (x,ydy')dx.

(17)

Математика

429

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 4

Доказательство. Покажем справедливость теоремы при n = 1. Вначале докажем K-непрерывность, а в силу теоремы 2 и непрерывность формального дифференциала Адамара dHФ(y, h) в W1,p[a; b]. Фиксируем y(-) G C 1[a; b] C W 1,p[a; b] и положим C = [a; b] x y([a; b]). Фиксируем а.в. компакт Сд C W1,p[a; b] и выберем h G Сд. При этом множество {\h(x)\ | h G Сд, x G [a; b]} ограничено. Оценим этот дифференциал

< max

dnФ(y, h)

b

a

df (x,y,z) dy

|h| +

df (x,y,z)

dz

\h' |

dx <

sup

xG [a,b]

df (x,y,z) df (x,y,z)

dy , sup || xG[a,b] dz

b

J (\h\ + \ h'\) dx < MNip \\h\\w1,p,

a

где N1p — соответствующая Соболевская константа (см. определение 4, неравенство (4)). Тогда ||dHФ(у, -)||w 1,р < MN1p для любого а.в. компакта Сд C W1,p[a; b], откуда формальный дифференциал Адамара dHФ(у, h) K-непрерывен в W 1,p[a; b]. Следовательно, по теореме 2 он непрерывен в W 1,p[a; b].

Проведем оценку АФ(у, h) — dHФ(у, h), используя условие (15) (п = 1):

b

Аф(у, h) — dHф(у, h) 1 < / 1 (AyZf — Vyzf) (x, У, у')(h, h') |dx <

b

b

< / A1(C; h, h')dx + / A2(C; h, h')\y'\pdx,

(18)

где коэффициенты A1, A2 — неотрицательные борелевские функции от h и h', удовлетворяющие условиям (16) (при k = h'). Аналогично доказательству теоремы 3 оценивается отдельно каждый из интегралов справа в (18) при условии, что y G C1 [a; b]. Из (18) получаем в итоге

1 АФ(у, h) — dHФ(у, h)1 ^ 0 при ||h||cA ^ 0

для любого а.в. компакта Cд C W1,p[a;b], что и означает H-дифференцируемость вариационного функционала Ф(у) во всех C1 -гладких точках из W1,p[a;b], а также справедливость равенства (17) (п = 1).

Следовательно, по условию теоремы 4 для n = 1 он дифференцируем во всех C 1-гладких точках из W 1,p[a; b].

Предположим, что теорема верна при n = m и докажем справедливость теоремы для (m + 1)-го случая. Вначале аналогично случаю n = 1 оценим формальный дифференциал Адамара dm+^(y, h):

dm+1 ф(у, h)i <

V1 Ck dm+1f (x,y,z) hk (h')m+1-k

2_^ Cm+1 Qkydm+1-kz h (h ) k=0 У

dx <

b

// m+1

E Cm+1

k=0

dm+1 f (x, y, z)

< max sup

k у xG[a,b]

dm+1 f (x, y, z)

d k y d —+1 k z b

k I x' |m+1-k

\h\k\h' \

dx <

< M1 ^Cm+1 и \h.\pdxj (j

dkУ 1 k z

a

.. p (m + 1 — k)

'I ь

m+1

ECJ. +1 \ h \k\h' i

k=0

k \h\k\h'!m+1-k | dx <

k

P / b

P

k=0

m+1

m+1

k=0

M1M2 e Cm+1\h\‘p\h'\mp+1-k\h'ir m-1 = M1 M2 (iihiUp + iih.'Hij m+1 \h'

+1 llh k 1 Lp \ h' p- k LP

^ m+1 ||h' \ p- LP m —1

<

k=0

b

k

430

Научный отдел

И. В. Орлов, И. А. Романенко. Доминантные оценки роста интегранта

<

M1 M2M3\\h

m+1 W !-p

hup—m—1 h\W !.P

Ml M2 Ms\h\W !,p

Тогда ||dm+1 Ф(У, -)||WllP ^ MiM2M3M4 для любого а.в. компакта Сд С W1,p[a; b], откуда формальный дифференциал Адамара dm+^(y, h) (m + 1) раз K-непрерывен в W1,p[a; b]. Следовательно, по теореме 2 он (m + 1) раз непрерывен в W1,p [a; b].

Проведем оценку AmФ(у, h) — dm+^(y)(h)m+1, используя условие (15) для V^Zf:

AmФ(у, h)

^+1Ф(у)(Ы)"‘+1| ^ |(Ayz (V™f) — V(vmf)) (xvy.y')(h,h)| <

^ A1(C; h, h/)dx + A2(C; h, h/)|y;|pdx,

b

b

b

(19)

где коэффициенты A1, A2 — неотрицательные борелевские функции от h и Ы, удовлетворяющие условиям (16) (при k = Ы). Аналогично случаю n = 1 из (19) получаем в итоге

|AmФ(у,Ы) — dm+4(y)(h)m+11 ^ 0 при ||Ы||сд ^ 0 (20)

для любого а.в. компакта Сд С W1,p[a; b].

Так как по предположению вариационный функционал m раз H-дифференцируем и справедливо условие (20), то формальный дифференциал Адамара порядка m + 1 есть дифференциал Адамара порядка m + 1. Это и означает (m + 1)-кратную H-дифференцируемость функционала Ф(у) во всех С1 -гладких точках из W 1,p[a; b], а также справедливость равенства (17). Следовательно, по теореме 4 он (m + 1) раз дифференцируем во всех С 1-гладких точках из W1,p[a; b].

Таким образом, на основании метода математической индукции доказана n-кратная дифференцируемость функционала Ф(у) во всех С1 -гладких точках из W 1,p[a;b]. □

Результаты И. В. Орлова получены при финансовой поддержке регионального гранта РФФИ (проект № 15-41-01005).

Библиографический список

1. TanelH L. Fondamenti di Calcolo delle Variazioni. Bologna : Zanichelli, 1921-1923.

2. Daoaragna B. Direct methods in the calculus of variations. N.Y. : Springer-Verlag, 1989.

3. last J., Li-Jast X. Calculus of variations. Cambridge : Cambridge Univ. Press, 1998.

4. Галеев Э. M., Зеликин M. И., Конягин С. В., Магарил-Ильяев Г. Г., Осмоловский Н. П., Протасов В. Ю., Тихомиров В. М., Фурсиков А. В. Оптимальное управление. М. : МЦНМО, 2008.

5. Орлов И. В., Божонок Е. В. Дополнительные главы современного естествознания. Вариационное исчисление в простанстве Соболева H1: учеб. пособие. Симферополь : ДИАйПИ, 2010.

6. Кузьменко Е. М. Компактные экстремумы и компактно аналитические свойства вариационных функционалов в шкале пространств Соболева W1,p над многомерной областью. : дис. ... канд. физ.-мат. наук. Симферополь, 2014. 142 с.

7. Orlav I. V. Compact-analitical properties of variational functionals in Sobolev spaces W1,p // Eurasian Math. J. 2012. Vol. 3, № 2. P. 94-119.

8. Скрыпник И. В. Нелинейные эллиптические уравнения высшего порядка. Киев : Наук. думка, 1973.

9. Schmeisser H.-J. Recent developments in the theory of function spaces with dominating mixed smoothness // Nonlinear Analysis, Function Spaces and Applications : Proc. of the Spring School held in Prague. May 30-June 6, 2006. Praha : Czech Academy of Sciences, Mathematical Institute, 2007. Vol. 8. P. 145-204.

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

11. Богачев В. И. Основы теории меры : в 2 т. Т. 1. М. ; Ижевск : НИЦ «Регулярная и хаотическая динамика», 2003.

431

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 4

Dominant Integrands Growth Estimates and Smoothness of Variational Functionals in Sobolev Spaces

I. V. Orlov, I. A. Romanenko

Orlov Igor Vladimirovich, Romanenko Igor Alekseevich, V. I. Vernadsky Crimean Federal University, 4, Vernadskogo ave., 295007, Simferopol, Republic of Crimea, Russia, igor_v_orlov@mail.ru, rom.igor.alex@gmail.com

For variational functionals in Sobolev spaces {W1,p} (1 < p < ж) we introduce a sequence of so-called dominant "growth estimates" for the gradient of appropriate order of the integrand, each of which guarantees the appropriate level of smoothness of variational functional in the C1 -smooth points of the Sobolev space. Earlier studied K-pseudopolynomial representations of the integrand are particular cases of dominant growth estimates. However, unlike the pseudopolynomial case (p e N), our approach enables us to consider variational problems on the complete Sobolev scale (1 < p < ж).

Key words: variational functional, Sobolev spaces, integrant, dominant growth estimates, dominating mixed smoothness, variational problems.

The results of the first author mere obtained by the financial support of Regional Grant of the Russian Foundation for Basic Research (project no. 15-41-01005).

References

1. Tonelli L. Fondamenti di Calcolo delle Variazioni.

Bologna, Zaniehelli, 1921-1923.

2. Daeorogna B. Direct methods in the calculus of variations. New York, Springer-Verlag, 1989.

3. Jost J., Li-Jost X. Calculus of variations. Cambridge, Cambridge Univ. Press, 1998.

4. Galeev Je. M., Zelikin M. I., Konjagin S. V.,

Magaril-Il’jaev G. G., Osmolovsky N. P., Protasov V. Yu., Tikhomirov V. M., Fursikov A. V. Op-timal’noe upravlenie [Optimal control]. Moscow,

MCNMO, 2008(in Russian).

5. Orlov I. V., Bozhonok E. V. Dopolnitel’nye glavy sovremennogo estestvoznanija. Variacionnoe is-chislenie v prostanstve Soboleva H1: uchebnoe posobie [Additional chapters of modern seienee.

The calculus of variations in Sobolev space H1: tutorial]. Simferopol’, DIAJPI, 2010 (in Russian).

6. Kuz’menko E. M. Kompaktnye jekstremumy i kompaktno analiticheskie svojstva variacionnyh funkcionalov v shkale prostranstv Soboleva W1,p nad mnogomernoj oblast’ju. Diss. kand. fiz.-mat. nauk [Compact extrema and compact-analytical properties of variational functionals in the scale of Sobolev spaces W1,p over multidimensional domain : Dr. phys. and math. sci. diss.]. Simferopol’,

2014, 142 p. (in Russian).

7. Orlov I. V. Compact-analitical properties of variational functionals in Sobolev spaces W1,p. Eurasian Math. J., 2012, vol. 3, no 2, pp. 94-119.

8. Skrypnik I. V. Nelinejnye jellipticheskie uravneni-ja vysshego porjadka [Nonlinear elliptic equations of a higher order]. Kiev, Naukova dumka, 1973 (in Russian).

9. Schmeisser H.-J. Recent developments in the theory of function spaces with dominating mixed smoothness. Nonlinear Analysis, Function Spaces and Applications, Proceedings of the Spring School held in Prague, May 30-June 6, 2006. Praha, Czech Academy of Sciences, Mathematical Institute, 2007, vol. 8, pp. 145-204.

10. Orlov I. V., Stonjakin F. S. Predel'naja forma svojstva Radona - Nikodima spravedliva v ljubom prostranstve Freshe [Limit shape of property of the Radon - Nikodim is valid in any Frechet space]. Sovremennaja matematika. Fundamen-tal’nye napravlenija [Modern mathematics. Fundamental directions], 2010, vol. 37, pp. 55—69 (in Russian).

11. Bogachev V. I. Osnovy teorii mery. Tom 1 [Foundations of the theory of measure. Vol. 1]. Moscow, Izhevsk, NIC "Reguljarnaja i haoticheskaja dinami-ka", 2003 (in Russian).

432

Научный отдел