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

Для решения системы нелинейных уравнений (31) можно использовать известные методы решения таких систем. Можно показать, что система (31) имеет единственное решение в случае, когда все Я^,

І = 1, т, достаточно малы.

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

1. Салимов Р. Б. Новый подход к решению краевой задачи Гильберта для аналитической функции в многосвязной области // Изв. вузов. Математика. 2000. № 2. С. 60-64.

2. Мусхелишвили Н. И. Сингулярные интегральные уравнения. М. : Наука, 1968. 511 с.

3. Гахов Ф. Д. Краевые задачи. М. : Наука, 1977. 640 с.

4. Зверович Э. И. Краевые задачи теории аналитических функций в гёльдеровых классах на римановых поверхностях // УМН. 1971. Т. 26, вып. 1. С. 113-179.

5. Векуа И. Н. Обобщенные аналитические функции. М. : Физматгиз, 1959. 628 с.

6. Треногин В. А. Функциональный анализ. М. : Наука, 1980. 495 с.

УДК 517.956.2

РАЗРЕШИМОСТЬ В КЛАССИЧЕСКОМ СМЫСЛЕ

ЗАДАЧИ ПУАССОНА

ДЛЯ ОПЕРАТОРА ЛАПЛАСА

НА ДВУМЕРНЫХ СТРАТИФИЦИРОВАННЫХ

МНОЖЕСТВАХ

С. Л. Семенов

Воронежский государственный университет, кафедра функционального анализа E-mail: sergo_7@list.ru

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

Ключевые слова: дифференциальные уравнения.

Solvability of Poisson’s Problem for Laplace Operator on Two Dimensional Stratified Sets in Usual Sense

S. L. Semenov

Voronezh State University,

Chair of Functional Analysis E-mail: sergo_7@list.ru

Solvability of Poisson’s problem for Laplace operator on two dimensional stratified sets is established in usual sense.

Keywords: differential equations.

ВВЕДЕНИЕ

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

Исследование эллиптических дифференциальных уравнений на стратифицированных множествах активно проводится в настоящее время О. М. Пенкиным. Основные результаты о разрешимости эллиптических уравнений в этой области изложены в работах [1-3]. В них были получены условия слабой разрешимости для уравнений с «жестким» лапласианом и классической разрешимости для уравнений с «мягким» лапласианом. Было установлено, что для существования решений этих уравнений необходимо, помимо наложения ограничений на гладкость коэффициентов, входящих в уравнение, вводить ограничения на структуру стратифицированного множества. Так, в [1] доказано, что существование слабого решения обеспечивается на множествах, удовлетворяющих условию прочности, которое означает, что для каждого страта существует цепочка из стратов, соединяющая его с границей стратифицированного множества, причем размерности соседних стратов цепочки отличаются не больше чем на единицу и сама цепочка содержит только один страт, принадлежащий границе стратифицированного множества. В то же время условие прочности является недостаточным для существования классического решения. С целью установления существования классического решения для уравнения с «мягким» лапласианом было введено более строгое ограничение на структуру множества [2]. Классическая разрешимость обеспечивается на стратифицированном множестве, у которого достаточно малая окрестность любого страта, размерность которого меньше на 2 или более

© Семенов С. Л., 2G12

максимальной размерности стратов множества, остается связной, если из этой окрестности изъять сам этот страт. Вопрос же о существовании классического решения для «жесткого» лапласиана пока открыт. В работах [4, 5] устанавливается классическая разрешимость задачи Вентцеля для уравнения Лапласа на области с гладкой границей, что гарантирует существование классического решения для задачи Пуассона для «жесткого» лапласиана на стратифицированном множестве, составленном из двух стратов: гладкой замкнутой поверхности и области, ограниченной этой поверхностью.

В настоящей работе изучается разрешимость задачи Пуассона для «жесткого» лапласиана на стратифицированном множестве. Точнее говоря, изучается классическая разрешимость следующей задачи:

О — стратифицированное множество, размерности стратов которого не превосходят двух, с непустой границей дО. На данном множестве рассматривается следующее дифференциальное уравнение:

Здесь под Д понимается «жесткий» оператор Лапласа, т. е. на каждом страте Стік размерности і оператор Д принимает вид

где означает нормаль к , направленную внутрь Ст{+1ук, Дг — обычный г-мерный оператор Лапласа. В нуль-мерных стратах требуется непрерывность функции и.

В работе устанавливается классическая разрешимость данной задачи в двумерном случае, при этом, кроме условий налагаемых на гладкость функций ^ и ф, на структуру стратифицированного множества налагается требование существования прочной цепочки между двумя любыми стратами и условие, означающее, что каждый одномерный страт ст\к, примыкающий к двумерному страту, является частью замкнутой кривой Г — границы двумерного страта. При этом если изъять замыкание страта ст1к, то кривая Г перестанет быть замкнутой.

пространство функций, имеющих непрерывные производные, вплоть до т-го порядка, и непрерывные, по Гельдеру, с показателем А производные т-го порядка с нормой

где — оператор дифференцирования для мультииндекса а и М\(Ваи) — постоянная Гельдера функции и.

u(x)\xЄдQ — 0.

Через О будем обозначать область в Жп,п > 2.

Под кусочно-гладкой (п — 1)-мерной поверхностью будем понимать границу области О, дО —

— и дОк, где дОк — гладкая (п — 1)-мерная поверхность и граница каждой дОк является гладкой к = 1

(п — 2)-мерной поверхностью.

Через в будем обозначать множество точек потери гладкости дО.

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

Ди(х) — ^(ж), х є и\хЄдп — ф-

1. ОСНОВНЫЕ ОБОЗНАЧЕНИЯ И ОПРЕДЕЛЕНИЯ

Пространство £(О) — пространство суммируемых функций.

Пространство Ст+Х(^), где (0 < А < 1), т е N и Q — компактное подмножество Кп, обозначает

Пространство С0т+х(ф) — подпространство Ст+х(ф), образованное функциями и такими, что

т

т

и дОк, где все дОк — плоские поверхности.

к=1

Потенциалом двойного слоя будем называть

при п > 2,

при п — 2,

потенциалом простого слоя —

Vp = J p(x) n-2 dSx при n> 2, Vp = J p(x) ln - dSx при n = 2,

дП дП

где Nx — нормаль к дО в точке x, ^ = x — y, r = ||x — y||.

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

берется в точке у, будем записывать (Vp)(y) и (Wp)(y) соответственно.

Черта сверху Wp означает прямое значение, т. е. значение, взятое в точках дО \ в. При у е в

полагаем (Wp)(y) = lim (Wp)(z). Корректность подобного определения будет показана ниже.

z Е dQ\0

Иногда будем записывать W,9n, чтобы подчеркнуть область интегрирования. Если поверхность кусочно-гладкая, прямое значение в точке излома поверхности понимается в предельном смысле.

д

Через Gnp будем обозначать оператор, заданный интегралом J — G(x, y)p(y) dy, где G(x, y) —

<эп dv

функция Грина для оператора Лапласа для множества О.

(n — 2)wn — —

Будем обозначать через Ф оператор, обратный к-------------2----1 + W при n > 2 и к —п + W при

n = 2.

2. ЭЛЕМЕНТЫ ТЕОРИИ ПОТЕНЦИАЛОВ

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

Приведем в удобном для дальнейшего исследования виде формулировки классических результатов из теории потенциалов (см., например, [6,7]). Начнем с предельных теорем для потенциалов. Классическая формулировка имеет следующий вид:

Теорема 1 [7, с. 65] . Пусть О — область в Rn с границей, являющейся поверхностью Ляпунова, p е C(дО). Потенциал двойного слоя непрерывен в О и на дО принимает значения

(n — 2)wn ------- ----

Wp = — ------—p + Wp при n> 2, Wp = —np + Wp при n = 2,

где un — площадь n-мерного шара.

Распространение данного результата на поверхности с нерегулярной границей установлено в [6], где условие Ляпунова для поверхности заменено на

sup (var w(£, дО \ £) : £ е дО} < го.

iea п

Здесь о>(£, дО \ £) — функция, показывающая телесный угол, под которым видно множество дО \ £ из точки £. Строгое ее определение дается в [6]. Кусочно-плоская поверхность удовлетворяет данному условию. Вопрос о существовании предельных значений потенциала для поверхностей с нерегулярной границей был исследован в [6]. Формулировка теоремы о предельных значениях потенциала двойного слоя по сравнению со случаем поверхности Ляпунова внешне изменений не претерпит. Но в случае кусочно-плоской поверхности под прямым значением в точках излома поверхности понимается уже предел, полученный при стремлении точки по плоским (n — -)-мерным кускам поверхности. Эти пределы, полученные при стремлении к одной точке по разным плоским (n — -)-мерным кускам поверхности, будут совпадать, т. е. имеет место теорема

Теорема 2 [6]. Пусть p е C(дО) и заданы потенциалы двойного и простого слоя на кусочногладкой поверхности. Тогда потенциал двойного слоя непрерывен в О и на дО принимает значения

(n — 2)wn — —

Wp =---------2-----p + Wp при n> 2, Wp = —np + Wp при n = 2

и оператор W действует из C(дО) в C(дО) непрерывно.

Рассмотрим теперь вопрос представления решения задачи Дирихле для оператора Лапласа в виде потенциала двойного слоя, заданного на кусочно-плоской поверхности.

С. Л. Семенов. Разрешимость в классическом смысле задачи Пуассона для оператора Лапласа В [6] устанавливается следующая теорема.

Теорема 3 [6]. Пусть О — область в Rn и дО удовлетворяет условиям

sup (var о>(£, дО \ £) : £ е дО} < го,

iean

limsup

r——0 2

где un — площадь n-мерного шара. Тогда уравнения

(n — 2)^n YTJ YTJ

p + Wp = f при n> 2, —np + Wp = f при n = 2

2

разрешимы в С (дО) относительно р единственным образом.

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

Теорема 4. Пусть О — область в Яп с кусочно-плоской границей. Тогда существует конечное

т

множество областей с кусочно-плоской границей (Ог}т=0, что О = и Ог, и любое решение задачи

і =0

Дирихле для оператора Лапласа представимо в виде потенциала двойного слоя на каждом Ог.

Доказательство. Для представления решения задачи Дирихле достаточно выполнения для границы области условия (1), но оно удовлетворяется лишь в том случае, если все плоские куски границы образуют углы, меньшие п. В случае если плоские куски границы образуют угол больше п, область О можно представить в виде конечного объединения областей Ог с углами, меньшими п, и кусочно-плоской границей, что для любых двух точек х Є О и у Є О найдется цепочка попарно пересекающихся множеств Оік такая, что х Є Оі0, у є Оіт и Оік-1 П Оік = 0 к = 0,1,.. .т. Решение на объединении множеств строится при помощи альтенирующего процесса Шварца [8, с. 296-302], результатом применения которого становится отыскание граничных условий на дОг \ дО для каждого множества Ог, при котором решение задачи Дирихле на области Ог1 будет совпадать с решением задачи Дирихле для области Оі2 на их пересечении. Каждая область Ог удовлетворяет (1), и решение представимо в виде потенциала двойного слоя на ней.

Установим теперь теоремы о непрерывности производных. С этой целью введем в рассмотрение функциональное пространство.

Пусть дано замкнутое множество Г є Яп, п > 0, причем дГ — кусочно-гладкая поверхность и дана последовательность открытых множеств (Дг}^=1, что д^г — гладкая поверхность,

ГО

с С £3 ... С Г и и Бг = Г, 1 > А > 0, к Є N. Тогда определим пространство Ек+Л(Г) =

і=1

= (ф : ф Є С (Г), ф є Ск+Л (Дг) і = 1, 2,3 ...} с топологией, заданной системой полунорм Ро(ф) = ||ф||с(г), Рг(ф) = ||фНск+А ) і = 1 2 ... .

Построение самой топологии описывается в [9, с. 33-38]. В частности, локальную базу топологии в нулевой точке образуют множества типа (х : рг(х) < є} для всякого є.

Пространство Ек+Л(Г) определяется так же как и Ек+Л (Г) с заменой С (Г) на С0 (Г): Еок+Л (Г) = (ф : ф Є Со (Г), ф Є С к+Л(А) і = 1, 2, 3 ...}.

Теорема 5. Пусть О — область с кусочно-плоской границей в Яп, Г — плоская (п-1)-мерная поверхность и Г с О. Тогда оператор Ф действует непрерывно из С (О) П Е т+Л (Г) в С (О) П Е т+Л (Г).

Доказательство. Достаточно доказать, что оператор Ф действует непрерывно из С (О) П Е т+Л (Г) в С (О) П С т+Л (Дг) для всякого і. Это тривиально следует из нулевой кривизны границы, поскольку

(Шпр)(х) = (Шп\гР)(х) х Є Г,

т. е. Шпр гладка на Г, и нормы производных стремятся к нулю вместе с максимумом р.

Лемма 1. Пусть Л — кусочно-плоская (п — 1)-мерная незамкнутая поверхность в Лп и Г — плоская (п — 1) -мерная поверхность такова, что Л П Г является (п — 2)-мерной плоской поверх-

д

ностью и Г пересекается под углами, отличными от 0 и 2п. Тогда оператор — Ил действует непрерывно из С(Л) в £(Г), где - — нормаль к Г.

Доказательство. В точках, не лежащих на Л, можно записать

д-

тогда

д ил [ ( ) д ("г,^) ае [ ( пСг,Жх)С-»', ае

— цлр = у р(х)— гп ^ = у р(х) ^ —п---------------п+2---- ) ^

л л

д1 ,д-цлр|к(г) < ІІрУс(л)м I -п ахаУ

Гхл

Так как поверхности (п — 1)-мерные, то последний интеграл сходится при п > 2. Следовательно, в д

случае п > 2 оператор д_^Л действует непрерывно из С (Л) в £(Г).

Доказательство для случая п = 2 проведем редукцией 3-мерного случая. Без ограничения общности можно полагать, что Л и Г пересекаются в одной точке х0, иначе разобьем Г на несколько отрезков. Пусть дана кривая Л, продолжим ее до замкнутой ломаной кривой Л так, что Г попадет внутрь области, ограниченной Л, и продолжим на нее р без увеличения нормы. Зафиксируем отрезок [0, Н] и рассмотрим цилиндр Л х [0, Н]. Возьмем функцию /(х, г) = (ШЛр)(х), х е Л и г е [0, Н]. Тогда /(х, г) гармонична внутри области Л х [0, Н] и существует ф такая, что ШЛХ[0^Ф = /• Тогда

<

Ь

М1|Ф|С(л х[0,Л]) = міІІил РУс(л) ^ М2 НрНс(л ) ^ м2НрНс (л).

В то же время, по построению

д Г д , Г д

д-ил х[0Л]ф ахаг = к д-^\лФ ах + к ТТ^л Ф д- ах

Гх[0,й] г

Если х0 не является одним из концов кривой Л, то

С

< Мз|ф|с(л). Если же Х0 —

конец кривой Л, то в случае продления ф константой ф(х0) в некоторой окрестности точки х0 снова д

< Мз||ф||С(Л). Отсюда при достаточно малых Н

С

имеем

д-и/л\л Ф

д_

д-

Ил Ф

Ь

В [7, с. 91-95] была приведена формула, выражающая частные производные потенциала двойного слоя, с дифференцируемой плотностью р в случае трехмерного пространства. Ее двумерный аналог выводится абсолютно так же и имеет следующий вид: пусть р е С 1+Л(О), тогда в случае замкнутой кривой О

° д

-V соэ^, х* )РУ. р + Ш £>у. р

дх

и в случае незамкнутой кривои

2

Ир = — ^

дх

“ дх,:

г=1

д , , д 1п1

V сов(Ж, х* )РУі р + И р + V

д,

У1

д \ д

где РУ.р(у) = ( —— V — тт- рсоэ(^ у), скобки означают, что взято предельное значение, N — нормаль

УгГ\х; ^др^У д^'

к кривой и точки А и В — концы кривой О. Отметим, что РУ.р(у) вычисляется для некоторого продления р с кривой О в ее окрестность, но не зависит от способа продления.

г

в

А

Далее, когда рассматривается функция Ф из Е0(Г) на Г1, Г с Г1 считаем Ф доопределенной нулем.

Теорема 6. Пусть О — область в В2 с кусочно-плоской границей, Г — отрезок, Г с дО, - —

д

нормаль к Г. Оператор Ф действует непрерывно из Е0(Г) в £(Г). Пусть Б с Г и дБ —

д

гладка, тогда оператор — ШФ действует непрерывно из Е0+Л (Г) в С2+Л(Б), где 0 < Л < 1. д -

Оператор Ф доопределяется до оператора А, действующего из С0(Г) в £(Г) и из С0(Г) в СЛ(Б) непрерывно.

Доказательство. Запишем оператор в следующем виде:

д д д д

— Ш фр = — Ш Фр1 + — Ш Фр2 + — Ш Фрз,

- - - -

где (/— Ш)-1р1 е С(дО) и равно нулю на Г, (/— Ш)-1 р2 — гладкая на дО функция, равная (/— Ш)-1 р на дГ и ||(/—Ш)-1 р2||с2+а(дп) < М||(/—Ш)-1 р||с(дп), где М не зависит от р, (/—Ш 1 )рз е е0+л(Г).

Для полного доказательства теоремы достаточно показать выполнение утверждений для каждого из слагаемых. Для (/ — Ш)-1 р1 утверждение о непрерывности в пространство Ь справедливо ввиду теоремы 1. Остальные 2 пункта теоремы для р1 очевидны.

Рассмотрим (/ — Ш)-1р2. Обозначим V = (I — Ш)-1 р2. Выбирая оси координат так, что ось х1 совпадет с нормалью к Г, представление производной двойного потенциала примет вид

д___ д ________ д

= дх1^ = — ^ дх“ ^ (со8(^х )р% v) + Шп\г^ух ^

Здесь в выражениях для РУз.v(y) в качестве функции v берется ее продление в некоторой окрестности

д

каждого плоского участка границы дГ по нормали тождественным образом, т. е. РУз. v(y) = —— v.

Л

Отсюда следует непрерывность — ШФр2 в Ь(Г) и в СЛ(Б), а также существование и непрерывность продления оператора.

Наконец рассмотрим (/ — Ш)-1 р3. Отметим, что во внутренних точках Б существуют нормальные производные у Ши, поскольку v имеет непрерывные, по Гельдеру, производные [7, с. 91-95]. Положим сначала, что (/ — Ш)-1р3 — гладкая функция. Снова возвращаясь к представлению производной потенциала двойного слоя с дифференцируемой плотностью, на этот раз на незамкнутой поверхности получим

д — д 1п 11В

^ = V г

д- дУ1

= 0,

А

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

Теорема 7. Пусть О — область в В2 с кусочно-плоской границей, Г — отрезок, Г с дО, - —

д

нормаль к Г. Оператор действует непрерывно из Е0(Г) в £(Г). Пусть Б с Г и дБ —

д

гладка, тогда оператор действует непрерывно из Е)+Л(Г) в С2+Л(Б), где 0 < Л < 1.

д

Оператор может быть доопределен до оператора А, действующего из С0(Г) в £(Г) и

из С0(Г) в С2+Л(Б), непрерывно.

Доказательство. Доказательство следует из установленного в теоремах 4 и 6 представления решения задачи Дирихле.

3. РАЗРЕШИМОСТЬ ЗАДАЧИ ПУАССОНА ДЛЯ ЖЕСТКОГО ОПЕРАТОРА ЛАПЛАСА

Приведем определение стратифицированного множества.

Стратифицированным множеством мы называем подмножество О пространства , представленное в виде объединения

— конечного числа многообразий без края (стратов), ст^- — подмногообразий пространства Здесь й(О) — максимальная размерность входящих в О стратов, а п(к) — количество стратов размерности к.

В обозначении ст^- первый индекс показывает размерность страта, а второй — его номер при автономной, как это видно из (2), нумерации стратов данной размерности к; если первый или второй индексы являются арифметическими выражениями, мы будем использовать запятую для отделеления первого индекса от второго. Будем писать У стц, если к > 1, и стц С дст^. Здесь дст^ означает границу страта ст^ в упомянутой выше топологии; легко видеть, что она равна разности \ ст^.

Черта над буквой, как всегда, означает замыкание. Дополнительно предполагаем, что все ст^ —

плоские поверхности.

Приведем еще одно определение, необходимое для описания стратифицированных множеств.

Пусть дано стратифицированное множество О. Будем говорить, что страты ст&г и стт- соеденены прочной цепочкой стратов стк1 г1, стк2г2, • • • , сткргр, если выполнены следующие условия:

1) стк1 г1 = сткг и сткргр = стш^';

2) для любого 1 < q < 1 — р либо стц^ ^ ст*^^ , либо ст^гч У стк9+1г9 + 1;

3) |кд+1 — кд| = 1 для любого 1 < д < 1 — р.

Отметим, что в определение не включается никаких ограничений о принадлежности стратов к границе стратифицированного множества.

Как было установлено в [1], разрешимость задачи Дирихле для оператора Лапласа на стратифицированном множестве зависит не только от гладкости многообразий, составляющих множество, и гладкости функций, входящих в состав уравнения, но и от структуры самого стратифицированного множества. С этой целью было введено понятие прочного стратифицированного множества, означающее, что любой страт можно соединить с некоторым граничным стратом стт- прочной цепочкой, причем все входящие в нее страты, кроме стт-, не являются граничными.

Так, в [3, с. 237] было высказано в качестве гипотезы достаточности для классической разрешимости условие «усиленной прочности», которое означает, что любые два страта могут быть соеденены прочной цепочкой стратов, причем только крайние страты цепочки могут принадлежать границе стратифицированного множества.

Мы на структуру множества будем налагать следующие требования:

1) любые два страта могут быть соеденены прочной цепочкой стратов;

2) для каждого страта ст^ выполняется условие: если найдется страт стг+1>то, что ст^ -< стг+1>то, то дстг+1)Ш является замкнутой поверхностью, ограничивающей стг+1)Ш, в то время как дстг+1)Ш \ ст^ замкнутой поверхностью не является. Обозначим через Р(ст^, стг+1,т) поверхность, ограничивающую

стг+1,т.

Иными словами, второе условие означает, что если страт примыкает к страту размерности на 1 больше, то он является частью поверхности, ограничивающей этот страт старшей размерности, либо, с учетом первого условия, страт не примыкает к стратам большей размерности. Существенным является и то, что граница (г + 1)-мерного страта должна являться г-мерной поверхностью (многообразием).

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

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

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

^

к=0 і=1

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

Основной проблемой является тот факт, что решение задачи Дирихле для классического оператора Лапласа, заданной на множестве с кусочно-плоской границей, может не иметь первых производных в угловых граничных точках, даже в случае гладкости на границе. Поэтому топология функциональных пространств вводится с учетом этих угловых особенностей. Отметим также, что в [10] было показано, что функция, гармоничная на стратифицированном множестве, может не иметь первых производных в угловых точках стратов, даже если эти точки не принадлежат границе стратифицированного множества.

В предыдущем параграфе были даны определения пространств Ек+Л(Г) и Е^+Л(Г). По сути, эти пространства включают функции, имеющие непрерывные, по Гельдеру, производные к-го порядка во внутренних точках Г. Аналогично вводится пространство ЬЕк+Л(Г) = {ф : ф е Ь(Г),ф е СЛ(Б), г = 1, 2 ...} с топологией

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

Пусть дано замкнутое множество Г е Дп, п > 0, причем дГ — кусочно-гладкая замкнутая (п — 1)-мерная поверхность, кусочно-гладкая поверхность Л С дГ и дана последовательность замкнутых множеств {В}°=1, что дВ — гладкая (п — 1)-мерная поверхность, В1 С В2 С В3 ... С Г,

дВ П Л = 0, дВ П дГ = 0, дВ1 П дГ с В П дГ с ... С дГ и дГ \ Л = у(дВ П дГ), 1 > Л > 0,

i

1 > Л' > 0. Тогда определим пространство Е2+Л,1+Л/(Г, Л) = {ф : ф е Е2+Л(Г), ф е С1+Л(В), г = 1, 2, 3 ...} с топологией заданной системой полунорм:

Теорема 8. Пространства Ек+Л(Г), Е2+Л,1+Л/(Г, Л), Е^+Л(Г), ЬЕЛ(Г, Л) полные.

Доказательство. Приведем доказательство полноты Ек+Л(Г). Доказательства для остальных пространств проводится аналогично. Пусть фп — фундаментальная последовательность в Ек+Л(Г), т. е. для каждой окрестности нуля V существует N такое, что из п1 > N и п2 > N следует фП1 — фП2 е V .В частности, это означает фундаментальность фп в С (Г)Р| С к+Л(Б), поскольку множество {ф : ||ф||с(п) + ||ф||ск+л(А) < £} является окрестностью нуля в Ек+Л(Г), т.е. существует фь к которой фп сходится. В силу С (Г) Р| С к+Л(^) С С (Г) Р| С к+Л (А+1) С ... (здесь имеется в виду топологическое вложение пространств) последовательность ^ стационарна в С (Г) и ^ е Ск+Л(Б), т. е. ф1 = ф2 = ... = ф в поточечном смысле и ф е Ск+Л(Б^.

Далее распространим эти пространства на стратифицированные множества.

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

Пусть О - стратифицированное множество, 0 < Л < 1, 0 < Л' < 1, к е N. Тогда определим пространства Е2+Л,1+Л/ (О, дО) = {ф : ф е С (О), ф е Е2+Л(ст1^), ф е Е2+Л,1+Л/ (ст2^-, дО П дст^-)}, Е к+Л (О) = {ф : ф е С (О), ф е Е к+Л (сту-)} и С Л(О) = {ф : ф е С (сту-)}.

Как оговаривалось ранее, СЛ(О) не подразумевает непрерывности функции на всем О, а означает постратную непрерывность по Гельдеру.

Согласно [3] жестким оператором Лапласа на стратифицированном множестве О называется следующий дифференциальный оператор:

д

△и(х) = Д*и(х) + ----и, х Є ст-,

, ^ д—

к:стіі3- -<СТі + і,к

где — нормаль к ст-, направленная внутрь сті+1)к, Д^ — обычный г-мерный оператор Лапласа. В нуль-мерных стратах требуется непрерывность функции и.

Постановка задачи Пуассона для жесткого оператора Лапласа схожа с задачей для обычного оператора Лапласа.

Пусть О — стратифицированное множество с непустой границей дО, 1 > А > 0, ^ Є СЛ(О), ф Є С(дО). Классическим решением задачи Пуассона для жесткого оператора Лапласа называется функция и, для которой определен жесткий оператор Лапласа в каждой точке О и удовлетворяющая в поточечном смысле дифференциальным соотношениям

△и

Основным результатом работы является доказательство достаточности условия, наложенного на структуру стратифицированного множества для существования решения задачи Пуассона для жесткого оператора Лапласа в случае размерности стратов, не превосходящих 2, в классе функций Е2+Л’1+Л(О, дО).

С целью замены уравнения (3) интегральным введем в рассмотрение операцию продления функции, определенной на одном страте, на все стратифицированное множество.

Теорема 9. Пусть дано стратифицированное множество О, некоторый страт Г и ф Є С0(Г). Тогда существует продление ф на все О, представимое на каждом страте ст1т в виде

ф, (4) где А1>то — нулевой оператор, если ст1т ^ ст-, действует непрерывно из С0 (Г) в С(дст1т) и из Еп+Лі (г) в Еп+Лі (дст1т), п Є N и 0 < А1 < А1 < 1, если ст- -< ст1т.

Доказательство. Пусть ф Є С0(Г) и Г — страт размерности г. В качестве доопределения ф на страты, примыкающие к Г, будем брать функцию, представляющую собой решение классической задачи Дирихле для оператора Лапласа, где краевое условие на Г приравнено ф.

Опишем процедуру доопределения. Согласно условию на структуру стратифицированного множества либо старт Г не примыкает к стратам большей размерности и тогда ф доопределяется нулем на все О, либо Г примыкает к стратам размерности г + 1. Положим Г -< сті+1)к и г > 0. В этом случае доопределим ф нулем на Р(Г,сті+1)к), на все страты размерности которых не превосходят г. На произвольном страте сті+1>к рассмотрим функцию / = Саі+1 кф. Ввиду того что /(х) = ф(х), х Є Р(Г, сті+1)к), / является продлением ф на сті+1)к. В случае г = 0 страт сті+1)к является отрезком, и в качестве оператора Саі+1 к ф будем обозначать оператор, ставящий в соответствие значению в точке Г линейную функцию, равную нулю на дсті+1)к \ Г, т. е. оператор, разрешающий задачу Дирихле на отрезке, в одном конце которого граничное условие равно нулю. Далее таким же образом ф доопределяется на все страты размерностей, больших г.

Представление продленной функции ф следует из построения, заметим лишь, что если Г не примыкает к некоторому страту ст-, то оператор А в этом случае равен нулю, если же Г примыкает к ст-, то оператор А является суперпозицией операторов типа С, определенных на стратах различной размерности. Поэтому с учетом того, что размерность стратов не превосходит 2, оператор А действует из С0(Г) в С(дст-) и из ЕП+Лі (Г, дО) в Еп+л1 (дст1т, дО) непрерывно в силу теоремы 7.

Теперь заменим задачу (3) другим операторным уравнением. Рассмотрим стратифицированное множество О и будем обозначать через и^- функцию из Е2+Л(ст-) при г < 1 и Е2+Л,1+Л (ст2-,дО). Решение задачи (3) будем искать в виде суммы продлений и^- на О. Положим и = ^ и^ и подставив

в (3) с учетом (4) получим следующие соотношения:

/д __

£г,ш(х,у) -----иі,і(у) Йу = ^(х), х Є стіт, стіт Є дО,

д^Ш,Й

к:^гто -^г + і ,к а

иі,т + У] иі,- (х) — ф1,т(х) х Є ст1т, ст1т Є дО7

где ф1>то Є С0(ст1т) и сумма всех продлений фі;і- на страт ст1т равна ф|хЄагт. Данные преобразования были осуществлены формальным образом и для их строгого обоснования потребуется приведенная ниже лемма.

Лемма 2. Пусть С(х, у) — функция Грина задачи Пуассона для одномерного оператора Лапласа на отрезке О. Тогда оператор, задаваемый формулой $ С(х, у)ф(у) йу, действует из ЬЕЛ(О) в

п

С1 (О) и из £Ек+Л(О) в Ек+2+Л(О) непрерывно, где 1 > А > 0.

Доказательство. Без ограничения общности можно считать, что О = [0,1]. Покажем сначала

непрерывность из £ЕЛ(О) в Е2+Л(О). Пусть фп Є £ЕЛ(О) и фп ^ ф. Тогда / С(х, у)фп(у) Йу —

п

непрерывная по х функция. Поскольку фп непрерывна во внутренности О, достаточно установить, 1

что Ііт Г С(х, у)ф(у) Йу = 0. Действительно,

жі0 0

Нт / £(х у)ф(у) йу = Нт / у(1 - х)ф(у) ^у + Нт х / (1 - у)ф(у) йу = 0.

жі0 у жі0 у жі0 у

0 0 х

Подобные оценки получаются и для случая х ^ 1

Непрерывность оператора в С[0,1] следует из равномерной ограниченности функции Грина.

С(х,у)(фп(у) - ф(у)) ^у

<У С(х,у)|фп(у) - ф(у)| ф < Му 1 фп(у) - ф(у)| ^у. 00

Непрерывность в Ск+Л(Б) следует из аналогичного результата для непрерывных на [0,1] функций. Покажем теперь непрерывность из ЬЕЛ(О) в С1 (О). Пусть х е (0,1), тогда

1 1

^Х У С(х у)ф(у) ёу = ^ У)ф(у) ^

00

ввиду непрерывности ф. Существование производной в точках 0 и 1 устанавливается непосредственно.

1 х 1

Итп_ / с(х,у)ф(у) ёу = - У(1 — х)ф(У) ёу + (1 — У)ф(У) %

0 0 х

у ё у

Поскольку у/ ф(г)^г — абсолютно непрерывна и ф(у) = — / ф(г) почти всюду на [0,1], то первое 0 ёу 0

слагаемое можно преобразовать к виду

ж ( у

1 J у(1 - х)ф(у) йу = X—х I у ^ ф(г^

00

ж у

ф(г)йг йу

0 0 0

т. е.

/ у(1 - х)ф(у) ^у

< М/ |ф(у)| йу. Откуда следует, что

0

11 1

Пт х у а(х у)ф(у) ^у = У(1 - у)ф(у) йу = Ж™, ^ у)ф(у) йу.

0 0 0

1

1

ж

1

1

1

0

ж

1

х

Изв. Сарат. ун-та. Нов. сер. 2G12. Т. 12. Сер. Математика. Механика. Информатика, вып. 1

1

Непрерывность оператора jG(x, у)ф(у) dy в C1 [0,1] вытекает из равномерной ограниченно-

0

сти dG(x, y)/dx.

Теорема lO. Пусть О — стратифицированное множество со стратами, размерностью не больше 2. Тогда если функции Ul>m разрешают задачу

/д __

Gi,m(x,y) — U(y) dy = F(x), x Є aim, aim Є дО,

’ u im

Ul,m + ^ ^ Ui,j(x) ^l,m(x) x Є alm; alm Є дО;

где Ul>m Є E2+^alm), если alm Є дО, Ul>m Є C0(alm), если alm Є дО, F Є C2+Л(О) и ф Є C(дО), то

Uразрешает задачу Пуассона

△U(x) = △F(x), x Є іпШ, U|хЄдП =

где ф^т, Є C0(alm) и сумма всех продлений ф*- на страт alm равна ф|хЄагт.

’ ’ т д — Доказательство. В силу теоремы 9 и лемм 2 и І оператор / Gl>m(x,y) —---Uj-(y) dy на стра-

да

2,k

тах единичной размерности определен и непрерывно действует в E0 (a1m). На двумерных стратах

д —

слагаемые типа f Gi m(x, y) —----------Uг j (y) dy отсутствуют, так как страты имеют размерность не

’ dvi+i , k ’

больше 2. Таким образом, все необходимые производные существуют. Тот факт, что Uг , j разреша-

j , j

ет задачу Пуассона для жесткого оператора Лапласа проверяется непосредственной подстановкой в дифференциальное уравнение.

Для доказательства тривиальности решения однородной задачи (5) нам потребуется ввести ряд определений, связанных с теорией функций на стратифицированных множествах. Их систематическое изложение и необходимые обоснования содержатся, например, в [3,11-13].

Пусть О стратифицированное множество вложено в Rn. Стратифицированным шаром Br (x) с центром x е О радиуса r называется множество Dr (x) П О, где Dr (x) — шар радиуса r в Rn. Стратифицированной мерой д называется такая мера, которая для и С О

д(и) = ^ Mi , j (и П <Гу),

где , j — мера Лебега, заданная на стратах , стратифицированного множества О.

Пространства (О) и L2 (О) — соответственно пространства суммируемых и суммируемых с квадратом функций по мере д.

Пространство Р(О) — пространство гладких на О функций и таких, что supp f С int^. Скалярное произведение (, ) — скалярное произведение из £2(О).

( \1/2

Пространство ЯоДО) обозначает пополнение Cq (О) по норме ||u|| = I / (Vu)2d^ I . Подробное

Vint Q J

построение этого пространства содержится в [1].

Лемма 3. Пусть (U , j} — решение однородного уравнения (5). Тогда для функции U = г j Uг, j и для любой ф е Р(О) справедливо тождество

(AU, ф) = (U, Дф)=0.

Доказательство. Сначала исследуем гладкость U. Ввиду того что рассматриваем однородное уравнение (5) и леммы 2, имеем и е C1 (a1j) Р| C2(D ,j), где D ,j — любой отрезок вложенный в a1j. На двумерных стратах имеем только и е C(a2j) Р| C2(B , j), где , j строится так же как в определении пространства E2+л ’1+л (a2j, Г), если положить Г объединением замыканий одномерных стратов, входящих в границу a2j. Факт непрерывности вторых производных в , j П a2j следует из того, что Uj , j е C2+Л, j П da2j и модификации теоремы о непрерывности производных потенциала двойного

слоя с плотностью, имеющей непрерывные, по Гельдеру, производные [7, с. 123-127] (модификация заключается в применении доказательства теоремы не ко всей поверхности Ляпунова, а только к такой гладкой части кусочно-гладкой поверхности, минимальное расстояние от которой до точек потери гладкости исходной поверхности строго больше нуля). Можно построить функции фг е и С (ст2-), что

фг(х) < Мф (М не зависит от г) и

фг = <

фг(х) = ф(х), х е а-, г = 0,1,

фг(х) = ф(х), х е В , - С а-,

фг(х)=0, х е аг- \ Вк+1 ,-.

Тогда к функциям фгУи и иУфг применима теорема о дивергенции для стратифицированных множеств. Полное обоснование этого очень громоздко, укажем то, что доказательство этой теоремы приведенное [3, с. 225-226] останется справедливым для функций на двумерных стратах, имеющих непрерывные вторые производные, а на одномерных принадлежности классу С1 (а1-) Р| С2(Вг , -), ввиду того что степени гладкости на одномерных стратах достаточно для применения классической теоремы о дивергенции, принимающей вид формулы Ньютона - Лейбница.

Далее, повторяя вывод первой формулы Грина для стратифицированных множеств [3, с. 241-242], получаем два тождества

J иДфг^д = — J Уфгуи^д,

П П

J фг Диф = — ^ УфгУи^Д — J {фг, (V, Уи)}^Д,

П int П П

где {фг, (V, Уи)} — сумма скачков функции фг при переходе со стратов аг+1- на страт агк, аг+1- >- агк, а V — нормаль к страту агк, направленная внутрь а-. Устремляя г к бесконечности, получаем

Нш / {фг, (V, Уи)}^д = 0,

int П

ввиду того что фг(х) < Мф и фг(х) ^ ф почти всюду. Учитывая, что Ди = 0 почти всюду на О, получаем окончательно

J иДфг^д = J фгДи^д = 0.

int П int П

Лемма 4. Однородное операторное уравнение (5) имеет только тривиальное решение. Доказательство. Пусть {иг , -} являются решением однородной задачи (5). Обозначим и = = ^2г - иг , -. В [1] была установлена слабая разрешимость задачи Пуассона для уравнения Лапласа. Но в силу того что частные производные и не обязаны принадлежать £2(О), мы не можем утверждать, что и будет слабым решением. Тем не менее мы можем рассматривать и как решение в смысле обобщенных функций. Более того с силу леммы 3 имеем (Ди, ^) = (V, Д^) = 0, где V, ^ е Р(О).

Положим, что и(х0) = 0, х0 е ^О. Без ограничения общности можно полагать, что и(х0) = 1, в противном случае необходимо умножить и на соответствующее число. Так как и — непрерывная функция, то существует стратифицированный шар Вг(х0), внутри которого и(х) > 1/2. Пусть / такая функция, что / е ^(О), Бирр/ С Вг(х0) и /(х) > 0. Тогда существует слабое решение Д-и = /,

V е (О). Так как Р(О) плотно в НдДО) по норме пространства £2 (О), то для всякого е > 0 существует ||Д^е — /1|^2(П) < е, где е Р(О). Тогда получаем

(и, Д^е) = (и, /) — (и, Дve — /) = 0.

С одной стороны, имеем (и,/) > 1II/||ь2(П), с другой, (и, Д^е — /) < е||и||^2(П), что при малом е дает противоречие. Таким образом, и = 0.

Положим теперь, что некоторое иг- отлично от нуля. Если страт нуль-мерный, то противоречие получаем сразу из того, что на нуль-мерном страте отлично от нуля по построению только одно слагаемое иг-. Если страт не нуль-мерный, то в силу того что ик,т(х) = 0 при х е да^т, имеем

,-

= £ иЦ(ж) + иц (ж) = 0, и,- (ж) = - £ (ж).

жЄсті,- К,,І К,,3

Так как все продления иг- по построению — гармонические функции на стратах, на которые они были доопределены, то и,- гармонична в ст,-, а так как и,- (ж)|жЄдо... = 0, то и,- = 0.

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

Теорема 11. Пусть дано замкнутое множество О с Дп и замкнутые множества В, такие,

ГО

что с В2 с ... с О и и А = О. Пусть даны Е(О) и ^(О) — банаховы пространства функций,

,=1

действующих из О в Д1, У  ||^ (п) > М || -||е(п), II  11^ (вх) < М2 У  ||^ (в2) ^ ^ М,||  11^ (в.) < • • • Если

ГО ГО

оператор А действует из Е(О) Р| Р| ^(В,) в Е(О) Р| Р| ^(В,) непрерывно, операторное уравне-

,=і ,=і

ние

ГОГО

в Е

,=і ,=і

Доказательство. Сделаем следующие преобразования

(I + А)0 = / ^ (I + и, + В, )0 = / ^ (I + (1 + и,)-1В, )0 = (1 + и )-1 /.

Оператор (I + и,)-1 В, компактно действует из Е(О) Р| ^(В,). Оператор I + (I + и,)-1 В, обратим в

ГО

Е(О) Р| ^(В,), так как оператор и, + В, из Е(О) Р| ^(В,) в Е(О) Р| Р| ^(В,) действует непрерывно и

,=1

кег(! + и, + В,) = ker(I + (I + и,)-1 В,) = {0}. Возьмем множество 0, как решения уравнений

(I +(! + и, )-1 В,)0 = (! + и,)-1/.

ГО

Снова в силу непрерывности оператора и, + В, из Е(О) Р| ^(В,) в Е(О) Р| Р| ^(В,) имеем

,=1

ГОГО

0, Є Е(О) П П ^(В,), так как / є Е(О) Р| Р| ^(В,) и в силу единственности решения 01 = 02 = ... ,=1 ,=1

ГО

в пространстве Е(О) Р| Р| ^(В,). Таким образом, существует (I + А)-1. Непрерывность его следует ,=1

ГО

из полноты Е(О) Р| Р| ^(В,) и теоремы об открытом отображении для топологических векторных ,=1

пространств [9, с. 58-60].

Теперь сформулируем в виде теоремы основной результат работы.

Теорема 12. Пусть дано стратифицированное множество О, удовлетворяющее следующим условиям:

1) все страты плоские и размерность каждого не превосходит 2;

2) дО = 0;

3) любые два страта могут быть соеденены прочной цепочкой стратов;

4) если страт ст1т такой, что ст— ^ ст2т, то дст2т является замкнутой кривой, содержащей ст—, а дст2т \ ст1- замкнутой кривой не является.

Тогда задача Пуассона для жесткого оператора Лапласа

△и

где 1 > Л > 0, / є СЛ (О), 0 є С(дО), разрешима единственным образом в классе функций Е2+М+а (о, дО) и решение представляется в виде и = ^и,-, где и,- Є Е2+л(<т-) для і < 1 и

Ео+Л’1+Л(aj , дО) для i = 2, если aj е дО и Uj)j е C0(aj), если aj е дО. Функции Uj)j являются решением следующего операторного уравнения:

/д _

Gi,m(x,y) -----Uj,j (y) dy = F(x), x е aim, aim е дО, F е С2+Л(aim),

д^ш,к

k'.ai,k saim j,J a,

’ alm

U/,m

и для решения U задачи (6) имеет место оценка норм

где множества Dk’j С ajj и B2j с a2j взяты из определений пространств Е2+Л (ajj) и Е 2+Л’1+Л (ajj ,д О).

Доказательство. Достаточно в силу теоремы 10 доказать разрешимость задачи (7). Заметим, что на стратах aim, не примыкающих к стратам большей размерности и не являющихся граничными, после применения к ним оператора Лапласа операторные уравнения примут вид

△Ui,m = AF (x),

и тем самым их можно исключить из рассмотрения, выразив U^m через функцию Грина. Рассмотрим страт aim е дО. В силу представления (4) для Ujj, теоремы 7, если ajj е дО, или леммы 1, если

’ д —

ajj е дО, и леммы 2 получаем, что операторы, заданные формулой J Gim(x,y^—-----------Uj j(y) dy,

alm -vi-^

действуют непрерывно из EQ+^aj) в Е0+Л (ajj). Введем последовательность непрерывных на aim

функций /г ’ m(Dk,y), равных 1 на Dk и равных 0 на aim \ Dk+1, и рассмотрим оператор, задаваемый

формулой

Г д —

Gi ’ m (x, y)/ ’ m (Dk, y) —-U j ’ j (y) dy.

J C^m ’ k

alm

В силу теоремы 7 существует его продолжение на C0 (ajj )U C2+^Dp).

д — _ _

Далее, оператор / Gi ’ m (x,y)/ ’ m(Dk ,y)------U j j (y) dy действует из Co(ajj) в Co (aim) вполне

alm -vI-1 ’ k

непрерывно, в силу того что оператор, порождаемый функцией Грина, вполне непрерывен в пространстве непрерывных функций. Полная непрерывность в EQ+^aj) следует из компактности вложения C4(Г) в C3(Г). В довершении отметим, что непосредственными выкладками показывается для функции Грина одномерного оператора Лапласа, что последовательность операторов

J Gi’ m(x,y)/’ m(Dk,y)0(y) dy сходится к / Gi ’ m(x,y)0(y) dy в EQ+(Г). Тогда перенумеруем все стра-г г

ты одним индексом k вместо двойного и определим пространство F(О) как прямое произведение пространств EQ+^aj), если ajj е дО и C0(ajj), если ajj е дО. D^ будет обозначать Dr С ak. Пространство F(О) является полным. Через F2+^Dr) будем обозначать пространство, образованное прямым произведением пространств C0(ak) и C2+Л(D^), если ak е дО, взятых по всем k. Пространство F 2+Л (Dr) является банаховым. Уравнения (7) запишутся в виде

р + Фр = F,

где Фр = Arр + Brр и р = (U1, U2,..., Ut). Если ak е дО, то Ar = 0, и имеем BrU = Uj. Если

j = r .

ak е дО, то получаем уравнения

ArU = £ ^/Gt (x,y) ^Uj (y) dy - £ Y.J Gk (x,y)/k(Dk,y) ^Uj (y) dy,

и тогда

Е Е/

jG{j:ai } j ak

' д —

G(x. y)Ik(Dk. y) U j (У) dy.

По построению все Вг вполне непрерывны в ^2+Л(Вп) для п ^ г, Аг просто непрерывны в ^2+Л(Вп). Более того, Аг сходится к нулю в ^2+Л(Вп) при г ^ го. Тогда для каждого п найдется такое г, что операторная норма ||АГ||^2+л(Дп) < 1 и, следовательно, / + Аг обратим. Тогда в силу теоремы 12 непрерывно обратим / + Ф, тем самым доказывая существование решения (7).

Оценки решения задачи (6) вытекают из непрерывной обратимости I + Ф в ^2+Л(0) и из того, что ^(х) = / С, 3 (х, у)/(у) ф.

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

1. Пенкин О. М., Богатов Е. М. О слабой разрешимости задачи Дирихле на стратифицированных множествах // Мат. заметки. 2000. Т. 68, № 6. С. 874-886.

2. Nicaise S., Penkin O. M. Poincare’-Perron’s method for the Dirichlet problem on stratified sets // J. of Math. Anal. and Appl. 2004. Vol. 296, № 2. P. 504-520.

3. Покорный Ю. В., Пенкин О. М., Прядиев В. Л., Боровских А. В., Лазарев К. П., Шабров С. А. Дифференциальные уравнения на геометрических графах. М. : Физматлит, 2004. 272 с.

4. Лукьянов В. В., Назаров А. И. Решение задачи Вент-целя для уравнения Лапласа и Гельмгольца с помощью повторных потенциалов // Зап. науч. семинаров ПОМИ. 1998. Т. 250. С. 203-218.

5. Лукьянов В. В., Назаров А. И. Исправления к статье «Решение задачи Вентцеля для уравнения Лапласа и Гельмгольца с помощью повторных потенциалов» // Зап. науч. семинаров ПОМИ. 2005. Т. 324. С. 129-130.

6. Бураго Ю. Д., Мазья В. Г. Многомерная теория потенциалов и решение краевых задач для областей с нерегулярными границами // Зап. науч. семинаров Ле-нингр. отд-ния Мат. ин-та АН СССР. 1967. Вып. 3. С. 5-86.

7. Гюнтер Н. М. Теория потенциала и ее применение к основным задачам математической физики. М. : Физ-матлит, 1953. 415 с.

УДК 517

8. Курант Р., Гильберт Д. Методы математической физики : в 2 т. М.; Л. : Гостехтеоретиздат, 1945. Т. 2. 620 с.

9. Рудин У. Функциональный анализ. М. : Мир, 1975. 443 с.

10. Nicaise S., Sanding A. M. Transmission problems for the laplace and elasticity operators: Regularity and boundary integral formulation // Math. Model and Methods in Appl. Sci. 1999. Vol. 9. P. 855-898.

11. Пенкин О. М., Покорный Ю. В. О несовместных неравенствах для эллиптических операторов на стратифицированных множествах // Дифференц. уравнения. 1998. Т. 34, № 8. С. 1107-1113.

12. Gavrilov A. A., Nicaise S., Penkin O. M. Poincare’s inequality on stratified sets and applications // Evolution Equations : Applications to Physics, Industry, Life Sciences and Economics (Levico Terme, 2000) : Progr. Nonlinear Differential Equations Appl. Basel : Birkhauser, 2003. Vol. 55. P. 195-213.

13. Penkin O. М. About a geometrical approach to multistructures and some qualitative properties of solutions // Partial Differential Equations on Multistructures (Luminy, 1999). Lecture Notes in Pure and Appl. Math. / eds. F. Ali Mehmeti, J. von Belov,

S. Nicaise. N. Y. : Marcel Dekker, 2001. Vol. 219. P. 183191.

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

С. А. Шабров

Воронежский государственный университет, кафедра математического анализа E-mail: shaspoteha@mail.ru

В работе получено необходимое условие экстремума квадратичного функционала с интегралом Стилтьеса.

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

On a Necessary Condition of at Least one Quadratic Functional with an Integral Stieltjes

S. A. Shabrov

Voronezh State University,

Chair of Mathematical Analysis E-mail: shaspoteha@mail.ru

In this paper is obtained a necessary condition for an extremum of a quadratic functional with a Stieltjes integral.

Key words: functional, a necessary condition, Stieltjes integral, derivative on the measure.

а

© Шабров С. А., 2G12