CC BY
35
(x0 , t) / т. Это влечет, что (t,t' ) е р при любом t' е X .В частности, (t, v) е р. Так как (u,t) е a и (t, v) е р, то (u,v) е ар.
Мы доказали, что ар = ар', но тр = тр'. В силу теоремы 1 это означает, что т а. □ Следствие из теоремы 4 и двойственной к ней. В полугруппе B(X) бинарных отношений на множестве X справедливы равенства L* = L и R* = R.
Авторы благодарят рецензента, сделавшего ряд ценных замечаний, позволивших существенно улучшить текст статьи.
Библиографический список
1. Клиффорд А., Престон Г. Алгебраическая теория полугрупп. В 2 т. М.: Мир, 1972. Т. 1. 285 с.
2. Зарецкий К.А. Полугруппа бинарных отношений // Мат. сб. 1963. Т. 61 (103), № 3. C. 291-305.
3. Глускин Л.М. Полугруппы изотонных преобразований // Успехи мат. наук. 1961. Т. 5 (101), № 16. C. 157162.
4. Айзенштат А.Я. Регулярные полугруппы эндоморфизмов упорядоченных множеств // Учен. зап. Ле-нингр. гос. пед. ин-та им. А.И. Герцена. 1968. Т. 387. С. 3-11.
5. Molchanov V.A. Semigroups of mappings on graphs // Semigroup Forum. 1983. V. 27. P. 155-199.
6. Laradji A., Umar A. On certain finite semigroups
of order-decreasing transformations // King Fahd Univ. Petroleum & Minerals. Tech. Rep. Ser. 2003. P. 1-19.
7. Huisheng P., Dingyu Z. Green's equivalences on semigroups of transformations preserving order and an equivalence relation // Semigroup Forum. 2005. V. 71. P. 241-251.
8. Ляпин Е.С. Полугруппы. М.: Физматгиз, 1960. 592 c.
9. Шутов Э.Г. Потенциальная делимость элементов в полугруппах // Учен. зап. Ленингр. гос. пед. ин-та им. Герцена. 1958. Т. 166. C. 75-103.
10. Вагнер В.В. Теория отношений и алгебра частичных отображений // Теория полугрупп и её приложения: Сб. науч. тр. Саратов: Изд-во Сарат. ун-та, 1965. Вып. 1. C. 3-178.
УДК 517.958
СТРУКТУРА РЕШЕНИЯ СМЕШАННОЙ ЗАДАЧИ ДЛЯ ВОЛНОВОГО УРАВНЕНИЯ НА КОМПАКТНОМ ГЕОМЕТРИЧЕСКОМ ГРАФЕ В СЛУЧАЕ НЕНУЛЕВОЙ НАЧАЛЬНОЙ СКОРОСТИ
О.В. Коровина, В.Л. Прядиев
Белгородский государственный университет,
кафедра математического анализа
E-mail: [email protected], [email protected]
Для волнового уравнения на компактном геометрическом графе при обобщённо-гладкихусловиях трансмиссии доказывается аналог формулы Даламбера.
Ключевые слова: компактный геометрический граф, волновое уравнение, обобщённо-гладкие условия трансмиссии, смешанная задача, аналог формулы Даламбера.
Structure of Mixed Problem Solution for Wave Equation on Compact Geometrical Graph in Nonzero Initial Velocity Case
O.V. Korovina, V.L. Pryadiev
Belgorod State University,
Chair of Mathematical Analysis
E-mail: [email protected], [email protected]
A D'Alambert formula analogue for wave equation on the compact geometrical graph with generalized smooth transmission conditions is being proved.
Keywords: compact geometrical graph, wave equation, generalized smooth transmission conditions, mixed problem, D'Alambert formula analogue.
В настоящей работе рассматривается волновое уравнение на компактном геометрическом графе при условиях трансмиссии, которые являются обобщением так называемых «гладких» или «стандартных» [1]. Основная цель работы — дать доказательство представления типа Даламбера для решения начально-краевой задачи при ненулевой начальной скорости из класса С1. Использована техника, развитая в работе [2] (где начальная скорость предполагалась нулевой). Представление типа Даламбера здесь не только даёт информацию о структуре общего решения (дополняя представление решения в виде ряда Фурье), но и может быть положено в основу при создании вычислительной схемы решения начально-краевой задачи [3].
1. ОПИСАНИЕ ОСНОВНОГО ОБЪЕКТА ИССЛЕДОВАНИЯ
Пусть Г — компактный геометрический граф из Rn, который понимается нами так же, как в [4]. Пусть J — множество всех внутренних вершин Г, дГ — множество граничных вершин. В соответствии с работой [4] J содержится в Г и дГ П Г = 0. Будем предполагать, что компоненты связности множества Г \ J (называемые рёбрами графа) являются прямолинейными интервалами. Все рёбра будем считать ориентированными, т.е. что каждому интервалу y = (a,b), являющемуся ребром Г, поставлен в соответствие один из двух векторов единичной длины, коллинеарных вектору b — a. Этот вектор обозначим через hY.
Для функции u, определённой в точках множества (Г\ J) х (0;+го), будем использовать следующие обозначения: если x е Г \ J, а y — ребро Г, содержащее x, то ux(x,t) := lim е-1 [u(x + eh7, t) —
— u(x, t)], и если t > 0, то ut (x, t) := lim т-1 [u(x, t + т) — u(x, t)].
т —► ü
Основной объект исследования в данной работе — это волновое уравнение
uxx(x,t)= utt(x,t) (x е Г \J, t> 0) (1)
при условиях трансмиссии
^ а(х,Л)и+ (х, £) = 0 (х е3, £ > 0), (2)
лет (х)
здесь Т(х) := {Л е Кп | ||Л|| = 1 и (х + еЛ) е Г для достаточно малых е > 0}, а(х, Л) — некоторые вещественные числа, такие что
^ а(х,Л) = 1 (х е3), (3)
лет (х)
и+(х, £) — правая производная по вектору Л функции и( ■, £) в точке х. Отметим попутно, что существование правых производных и+ (х, £) для всех Л е Т(х) автоматически влечёт непрерывность функции и( ■, £) в точке х при любом £ ^ 0. Предполагая, что функция и, удовлетворяющая соотношениям (1) и (2), определена на (Г и дГ) х [0;+го), будем рассматривать для системы (1)-(2) следующую начально-краевую задачу:
и(х, £) = 0 (х е Б, £ > 0), (4)
и+ (х, £) = 0 (х е Ж, Л е Т(х), £ > 0), (5)
и(х, 0) = <р(х) (х е Г и дГ), (6)
иДх,£) = ^(х) (х е Г и дГ), (7)
здесь Б и N = дГ и Б П N = 0, причём х е N Т(х) |= 1.
Под решением задачи (1)-(2), (4)-(7) будем понимать функцию и : (Г и дГ) х [0; ^ К, которая 1) непрерывна по первому аргументу в точках дГ х [0;+го), 2) непрерывна по второму аргументу в точках (Г и дГ) х {0}, 3) удовлетворяет соотношениям (1)-(2), (4)-(7)1.
Заметим, что можно считать N = 0, т. е. Б = дГ (и далее мы всегда это будем предполагать). Действительно, достаточно объявить точки из N внутренними вершинами Г, и тогда (5) примет вид равенства (2) с единственным числом а(х, Л), равным 1.
2. РЕШЕНИЕ НАЧАЛЬНО-КРАЕВОЙ ЗАДАЧИ (1)-(2), (4)-(7) В ФОРМЕ ДАЛАМБЕРА
Для формулировки основного результата нам потребуется ввести в рассмотрение некоторое множество ориентированных ломаных, которое мы обозначим буквой Р. Ориентированную ломаную р с вершинами щ е Г и дГ, г = 0, перенумерованными согласно ориентации р, отнесём ко множеству Р, если и только если:
1) (V г = - 1) [щ е 3 и дГ],
'Имеется в виду, что речь будет идти только о классических решениях задачи (1)-(2), (4)-(7). Понятно, что класс функций, которому гарантированно принадлежит решение задачи (1)-(2), (4)-(7), зависит от того, каким классам принадлежат ^ и ф. В разд. 3 мы проанализируем этот вопрос подробнее.
2) (V i = 0,k - 1) [« = am и (a¿; am) С Г \ J ,
3) (V i = 1,k - 1)[« e дГ ^ [a¿-i; a¿] П [«; a¿+i] = {a}].
При этом мы допускаем, что некоторые звенья [«;ai+1 ], в том числе соседние, могут совпадать или
быть вложенными одно в другое. Точку а0 будем называть началом ломаной p, а точку — её
k-i
концом. Длиной ломаной p назовём сумму длин её звеньев [«; ai+1], т. е. |ai+1 — « |.
г=0
Каждой паре (p, i), в которой p — ломаная из P, а i — номер её вершины, отличной от конца (т. е. i = 0, k — 1), поставим в соответствие число
вг (p) := <
— 1, если « e D(= дГ) и i = 0,
2a(a¿,h¿(p)), если (i = 0)v((« £ дГ) Л ([«-i; «] П [«; ai+i] = {«})), 2a(aj,hj(p)) — 1, в остальных случаях,
где Л(р) := — а^| 1 (а^ — а^), и если а0 е Г \3, то а(а0, Л) := 1/2 для любого Л е Т(ао), а если а0 е дГ, то а(а0, Л) := 1 для любого Л е Т(а0). Положим
1 к-1 в(р) := 2 П ^СР)-
г=0
Введём, наконец, в рассмотрение оператор С(Ь), действующий в пространстве определённых на Г и дГ функций по правилу:
[C(t)Z](x) :=
Yl, e(p)Z(ep), если x e Г и t > 0,
peP (x,t)
0, если x e дГ и t > 0, (8)
Z(x), если x e Г U дГ и t = 0,
где Р(х,Ь) есть множество всех ломаных из Р с началом в точке х и длины Ь, а ер здесь и далее обозначает конец Р.
Теорема 1. Пусть у и ф непрерывны на Г и дГ, причём для любого ребра 7 сужения у''|7 и ф'|7 функций у'' и ф' на это ребро равномерно непрерывны на нём. Пусть для любой х е 3 вторая производная (у+)+(х) по вектору Л е Т(х) не зависит от Л, т. е.
)+(x) = (< )+ (x) (x e J, e T (x)). (9)
Пусть также
^ а(х,Л)у+ (х) = 0 (х е 3), (10)
лет (х)
^ а(х,Л)ф+ (х) = 0 (х е3), (11)
лет (х)
У(х) = ф(х) = (у+)+(х) =0 (х е дГ, Л е Т(х)). (12)
Тогда решение задачи (1)—(2), (4)-(7) существует, единственно и представимо в виде
и(х,Ь) = [С(Ь)у](х) + / [С(т)ф](х)^т. (13)
Jо
Доказательство. Для доказательства единственности решения задачи (1)-(2), (4)-(7) достаточно доказать тривиальность решения и0 однородной задачи (1)-(2), (4)-(7) (при у и ф тождественно равных нулю) на (Г и дГ) х [0; 5], где 5 — наименьшая из длин рёбер. Выражая для каждого ребра 7 = (а; Ь) сужение и017Х[0;+^) через и0(а, Ь) и и0(Ь, Ь), получим, в силу формулы решения задачи о распространении граничного режима [5, гл. II, § 2, п. 7], что для Ь е [0; 5] выполнено
(и0)+(х, Ь) = — (и%(х, Ь) (х е 3)-
Отсюда, ввиду выполнения (2) для и0, следует, что (и0)Дх, £) = 0 для всех х е 3 и £ е [0;5], т.е. так как и0(х, 0) = 0, что и0(х,£) = 0 для тех же х и £. Но тогда и = 0 на 7 х [0; 5] для любого ребра 7. Единственность доказана.
Справедливость представления (13) достаточно доказать отдельно для случаев ф = 0 и ^ = 0. Допустим пока, что ф = 0 в (13). Найдём сначала и*(х, £) для х е Г и £ > 0. Если Д£ < 0 достаточно мало, то
и(х, £ + Д£) = ^ в(п)^(вп)= в(рМеР - Д£ ■ %)),
пеР (ж^+дг)
где Л(р) — вектор из Т(ер), однозначно определяемый требованием о том, что точка ер + еЛ(р) принадлежит последнему звену ломаной р для достаточно малых е > 0. Значит, левая производная и- (х, £) имеет вид
(14)
и-(х,£) = - ^ в (Р)^+(р) (ер)-
реР (ж,*)
Если же Д£ > 0 достаточно мало, то, представляя Р(х,£) в виде Р(х, £) := Р1 (х, £) и Р2(х, £) и Р3(х, £), где Р1(х,£) := {р е Р(х, £) | ер е Г \ 3}, Рг(х,£) := {р е Р(х,£) | ер е дГ}, Р3(х,£) := {р е Р(х,£) | ер е 3}, получим
и(х, £ + Д£) = в(п)^(еп)= X] в(рМеР - Д£ ■ %)) - X] в(р)^(еР + Д£ ■ %))+
пеР (ж^+дг) реРх (ж,*) реР2(ж,^)
+ X] в(р) - + Д£ ■ %)) + ^ 2а(ер+ Д£ ■ Л)
реРз (ж,*) 1 лет(ер)
Следовательно, правая производная и+(х, £) имеет вид
и+ (х, £) = 11 + 12 + 1з,
(15)
где
11 = - X] в(р)^+(р)(ер)' 12 = - X] в(р) д}1п0
реР2 (ж,*)
у(ер + Д£ ■ Л(р)) + у(ер) Д£
1з = V в(р) Иш
реРз (ж,*)
1
д^0+ Д£
+ Д£ ■ Л(р)) + Х^ 2а(ер, + Д£ ■ Л) - )
лет (ер)
Заметим, что если р е Р2(х, £), то ер е дГ, и значит, ^(ер) = 0. Следовательно, ^(ер + Д£ ■ Л(р)) + + ^(ер) = ^(ер + Д£ ■ Л(р)) - ^(ер), и поэтому
12 = - X] в(р)^+(р) (еР)-
реР2(ж,*)
Далее,
1
1з = X] в (р) д11П0+ - Ь(ер + Д£ ■ %)) - )]+2 X] а(ер,Л) [^(ер + Д£ ■ Л) - р(ер)]
= Е в (р)
реРз(ж,!)
ер) + 2 £ а(ер(ер) лет(ер)
£ в(р)^+(р)(ер),
реРз(ж,!)
так как если р е Р3(х, £), то ер е 3, и значит, в силу (10)
Е а(ер (ер ) = 0-
лет (ер)
Таким образом, (15) приобретает вид и+ (х,£) = - ^ в(р)^+(р)(ер), что вместе с (14) влечёт
реР (ж,!)
и(х,£) = - ^ в (р)^+(р) (ер). реР (ж,*)
(16)
Аналогично найдём ий(х,£). Так же как из (13) было получено (14), из (16) получаем
Ы—(х,£)= £ в(р)(^+(р))+(р)(ер)-
реР(ж,*)
Далее,
(и*)+(х,£) = ¿1 + ¿2 + ¿3,
(17)
где
¿1 = £ в(р)(<р) )+(р)(ер), ¿2 = - £ в(р)(<р) )+(р)(ер),
реРх (ж,*) реР2 (ж,*)
¿3 = -£ в(р) дНт + Д - ^+н(р) (ер + Д£ ■ Л(р))+2 £ а(ер,Л)^-Н(ер + Д£ ■ Н) - Р+(р) (ер)
реРз (ж,*) ^ 1 нет(ер)
Для преобразования ¿3 воспользуемся, тем, что для достаточно малых Д£ > 0 выполнено равенство (ер + Д£ ■ Л) = -(ер + Д£ ■ Л) — при всех Л е Т(ер). Тогда с учётом (10) получим:
¿3 = - Е в (р) дп
реРз(ж,*)
^+(р) (ер + Д£ ■ %)) - ^+(р) (ер) -
Д£
2 Е а(ер,Л)
(ер + Д£ ■ Ь) - (ер) Д£
нет (ер)
£ в(р) (<р) )+(р)(ер) - 2 £ а (ер ^¿Н (ер)
реРз(ж,*)
нет (ер)
Заметим, что в силу (9) (ер) = (^+(р))+(р)(ер) для любого Л е Т(ер). Поэтому с учётом (3) окончательно получаем
¿3 = £ в(р)(^+(р))+(р)(ер). реРз(ж,*)
Таким образом, (17) примет вид
(и)+(х,£)= £ в(р)(<р))+(р)(ер) - £ в(р)(<р))+(р)(ер),
реР^ж^иРз^,*) реР2 (ж,*)
что совпадает с (и*)—(х, £), так как если р е Р2(х,£), то ер е дГ и, стало быть, в силу (12) имеем (^+(р))+(р) (ер) = 0. Значит,
Мх,£) = £ в(р)(^+(р))+(р)(ер).
реР (ж,*)
(18)
Найдём теперь выражения для и+(х, £) и для ижж(х, £), где в первом случае х — фиксированная точка из Г, Ъ е Т(х), а во втором случае х принадлежит Г \ 3, и в обоих случаях £ > 0. Пусть Р'(х, Л) := {р е Р(х, £) | (х + еЛ) принадлежит первому звену ломаной р при достаточно малых е > 0} и Р''(х, £, Л) := Р(х, £) \ Р'(х, £, Л). Если е > 0 достаточно мало, то
и(х + еЛ, £) = Е в (р)^(ер + еЛ(р))+ реР'' (ж,*,н)
+ £ в(р) реР1 (ж,*,н)
1 ^(ер - еЛ(р)) + ^ 1 ^(ер + еЛ(р))
2а(х, Л) р 2а(х, Л)
а(х, Л) - 1
+
+ £ в(р):
реР^ (ж,*,н)
реР.' (ж,*,н) 1
а(х, Л)
-^(ер + еЛ(р))+
+ £ в(р)[ах^ £ а(ер,п)^(ер+еп)+^а^)1 ^+еЛ(р))
ПеТ (ер)
(19)
„Известия Саратовского университета.2009. Т.9. Сер. Математика. Механика. Информатика, вып.3 где Р/(х, Ь, Л) := Р'(х, Ь, Л) П Р^(х, Ь). Из (19) вытекает, что
(х,Ь)= £ в(р)уЛ(р) (ер) + ^е^— 1 £ в(р)уЛ(р) (ер). (20)
peP'' (x,t,h)
peP' (x,t,h)
Теперь мы можем показать, что функция (13) (при ф = 0) удовлетворяет условию (2). В самом деле, в силу (20)
£«(x,h)u+ (x,t)= £ «(x,h) £ в (p)rf(p) (ep) + (a(x,h) — 1) £ в (p)^í(p)(ep) heT(x) heT(x) L peP"(x,t,h) peP'(x,t,h)
(21)
Изменим в правой части (21) порядок суммирования так, чтобы внутреннее суммирование осуществлялось по Л е Т(х) , а внешнее — по р е Р(х,Ь). Заметим, что всякая ломаная р е Р(х,Ь) принадлежит Р'(х,Ь, Л) для единственного Л из Т(х); обозначим это Л через #(р). Тогда замена порядка суммирования в правой части (21) может быть осуществлена по следующему правилу:
£ £ fi(h,p)+ £ /2(h,p) = £ /i(%),p)+ £ /2(h,p)
heT(x) LpeP'(x,t,h) peP"(x,t,h) -1 peP(i,tp heT(x)\{e(p)}
На основании (22) из (21) получаем
£«(x,h)u+ (x,t)= £ e(p)y+(p)(ep) «(x,^(p)) — 1+ £ «(x,h) =0
heT(x) peP (x,t) L heT(x)\{e(p)} -1
— в силу (3). Значит, если ф = 0, то функция (13) условию (2) удовлетворяет.
При x e Г \ J равенство (23) принимает вид
(x, t) + (x, t) = 0
где y — ребро, содержащее x. Но тогда существует и ux(x,t), и из равенства (20) следует:
(22)
(23)
;(x,t)= £ e(p)rf(p) (ep) — £ в (p)^í(p) (ep)-
peP '(x,t,hY)
peP'' (x,t,hY)
(24)
Равенство (24) используем для нахождения ихх (х,Ь), где х е Г \ 3 и Ь> 0. Для достаточно малых е > 0 имеет место:
ux(x + eh7 ,t)= £ в (n)rf(n) (en ) — £ в (n)^í(n) (en )
neP '(x+ehY )
neP'' (x+ehY )
yh(p) V °p
£ в (p)^í(p^ ep+£%М — £ в (p)rf(p) (ep— e ■
peP'' (x,t,hY)
peP '(x,t,hY )nPi(x,í)
+ £ в(p)^+h(p)(ep + e ■ h(p)) —
peP '(x,t,hY )nP2(x,t)
£ e(p)
peP' (x,t,hY )nP3(x,t)
Учитывая это, а также (10), (12), (9) и (3), получим
£ 2«(ep, (ep +e ■ п) — ^íh(p) (ep +e ■ h(p))
neT (ep)
Заметим, что у-п (ер + е^) = — у+(ер + е^) (для любого п е Т(ер)) при достаточно малых е > 0.
(ux)+ (x,t)= £ в (p)(rf(p) )+(p) (ep).
peP (x,t)
Вычисление (ux)-h (x,t) аналогично и приводит к равенству
(ux )íh7 (x,t) = — £ в (p)(^h(p))h(p) (ep ).
(25)
(26)
peP (x,t)
Из равенств (25) и (26) следует, что правая часть равенства (25) и есть ижж(х,£). Значит (см. (18)), при ф = 0 функция (13) удовлетворяет уравнению (1).
Выполнение (4) для функции (13) при ф = 0 следует из определения С(£) (см. (8)). Но надо еще доказать, что (V х е дГ) (V £ > 0) [и(у, £) ^ 0 при у ^ х].
Пусть х е дГ и £ > 0. Без ограничения общности можно считать, что |Т(х)| = 1. В этом случае
Нш и(у,£)=Нш V в(п)^(еп) = 1 Нш \ £ в(р)Иер - еЛ(р)) - ^(ер + еЛ(р))]
у —У-^-* 2 в-^ 0+ I ^-*
y — x
y—x
neP (y,t)
pePi(x,t)
-2 £ ß(p)<(ep + eh(p)) + £ ß(p) 2 £ a(ep,n)<(ep + en) - 2<(ep + eh(p)) | = 0,
peP2(x,t) pePs(x,t) L пет(ep) -1 J
ввиду непрерывности < на ГUдГ, обнуления < на дГ и равенства (3). При этом последний предел — равномерный по любому конечному интервалу изменения переменной t, что вместе со сходимостью u(y, 0) = <(y) ^ 0 при y ^ x (е дГ) влечёт сходимость u(y, t) к 0 при y ^ x (е дГ) равномерно на каждом отрезке вида [0;toj. Значит [6, no 505], функция u непрерывна на дГ х [0;+го).
Справедливость (6) для функции (13) при ф = 0 следует из определения C(t) (см. (8)). Однако надо обосновать, что
lim u(x,t) = <(x) (x е Г). (27)
t—o+
Заметим, что для любой x е Г при достаточно малых t > 0 все ломаные p из P(x,t) однозвенны, следовательно, имеет место равенство ß(p) = a(x,ö(p)). Поэтому
liro+ u(x, t) = t liro+ ^^ a(x, #(p))<(x +1 ■ ö(p)) = t lirr+ ^^ a(x, h)<(x +1 ■ h) = <(x),
t—o+
peP (x,t)
t—o+
heT (x)
причём в силу равномерной непрерывности ^ последний предел — равномерный на Г. Это вместе с очевидной сходимостью и(х,£) ^ ^(х) при £ ^ 0+ в точках х е дГ влечёт равномерную уже на Г и дГ сходимость и(х,£) к ^(х) при £ ^ 0+, откуда следует непрерывность функции и на (Г и дГ) х {0} по совокупности переменных [6, п° 505].
Аналогично доказывается справедливость (7) для (13) при ф = 0: в силу (16) и (10) для х е Г получим
Дт^и*(х,£) = - \ип+ £ в(р)^+(р)(ер) = £ а(х,Л)* 1^0+ ^+(х+£-= £ а(х,Л)^+ (х)=0,
peP (x,t)
heT (x)
heT (x)
причём последний предел — равномерный на Г и дГ в силу равномерной непрерывности |7 для любого ребра 7.
Итак, в случае ф = 0 функция (13) есть решение задачи (1)-(2), (4)-(7). Остаётся рассмотреть случай, когда ^ = 0 в (13). В этом случае при х е Г и £ > 0
utt (x,t) = д7 £ ß (Р)ф(ер) = - £ ß (Р)ф+(р)(ер)'
(28)
peP (x,t) peP (x,t)
что доказывается так же, как и (16). Далее, если x е Г и t > 0, то
u+(x,t) =
£ ß (Р)ф+(р) (ер) + ^SxV £ ß^^ (ер)
peP "(x,r,h)
peP' (x,T,h)
dr.
(29)
Здесь мы учитываем, что в силу равномерной непрерывности ф' на любом ребре и с учётом (11) подынтегральная функция при любом фиксированном £ > 0 непрерывна по совокупности переменных в некотором прямоугольнике вида [х; х + еЛ] х [0; £], где е > 0 достаточно мало. Из (29) следует, что
£ «(x,h)u+(x,t) = J £ «(x,h) £ ß(p^h(p) (ep) + (a(x,h) - 1) £ ß(P)^(p) (ep)
heT(x)
heT(x)
peP "(x,r,h)
peP '(x,T,h)
dr.
t
o
Подынтегральная сумма здесь равна нулю, что доказывается так же, как и равенство нулю правой части равенства (21). Таким образом, функция (13) в случае у = 0 удовлетворяет условию (2) и дифференцируема по х в точках Г \ 3.
Проинтегрируем правую часть (29) при х е Г \ 3. Покажем, что
r-t
£ в(р)Ф+р)(ер) dT = - £ в(р)Ф(ерЖ1фф. (30)
'0
peP'' (x,T,h) peP'' (x,t,h)
2
С одной стороны, производные по £ левой и правой частей (30) равны. В то же время при достаточно малых £ > 0 в Р''(х,т, Л) содержится ровно одна, причём однозвенная, ломаная, которую обозначим через р. Учитывая равенство Л(р) = Л, получим
в (p)^+(p)(ep) dT = в (p^+(x - Th) dT = 2f^(x) - - th)]'
0
peP'' (x,T,h)
что совпадает с правой частью (30) при тех же Тем самым равенство (30) доказано. Далее, поскольку Р'(х,т, Л) = Р''(х,т, -Л), то в силу (30)
£ в(р)Ф+р) (ep)dT = Г £ в(р)<р)(ер )d
T=
0 p£P'(x,T,h) 0 pGP"(x,r,-h)
1 ,, , ^ 1
£ в (рЖер) + 2 ^(x) = - £ в (р)Ф(ер ) + 2 ^(x).
peP" (x,t,-h) peP'(x,t,h)
Значит (см. (29)), для x e Г \ J
u+(x,t) = - £ в(р)Ф(ер)+ £ в (рЖер).
peP'' (x,t,h) peP'(x,t,h)
Отсюда, поскольку u+ (x,t) = ux(x,t) для x e Г \ J (здесь y — ребро, содержащее x), получаем
uxx (x,t) = - £ в(Р)^+(р) (ер), peP (x,t)
что вместе с (28) влечёт выполнение (1) для функции (13) при у = 0.
Далее, функция [C(t)^](x) как функция x и t непрерывна на дГ х [0;+го), что доказывается так же, как и непрерывность [C(t)y](x). Поэтому функция (13) при у = 0 не только удовлетворяет условию (4), но и непрерывна в точках дГ х [0;+го).
Остаётся отметить выполнение начальных условий. Справедливость u(x, 0) = 0 очевидна. Равенство ut(x,0+) = -0(x) обосновывается так же, как и (27). Теорема доказана.
3. О КЛАССЕ РЕШЕНИЙ ЗАДАЧИ (1)-(2), (4)-(7)
Обратимся теперь к вопросу о том, какому классу принадлежит решение задачи (1)-(2), (4)-(7) при выполнении условий теоремы 1.
Теорема 2. Пусть выполнены условия теоремы 1. Тогда решение u задачи (1)-(2), (4)-(7) и его производные ut и utt непрерывны на (Г и дГ) х [0; uxx непрерывно доопределяема на
(Г U дГ) х [0; а ux равномерно непрерывна на y х [0; где y — любое ребро Г. Кроме того,
£ a(x,h)(ut )+(x, t) = 0 (x eJ, t> 0). (31)
heT (x)
Замечание. Заявленные в теореме 2 свойства решения u задачи (1)-(2), (4)-(7) означают, в частности, что u и ut — как функции первого аргумента при фиксированном втором аргументе, — наследуют все свойства у и соответственно ф из условий теоремы. Здесь мы учитываем, что в силу
t
t
t
уравнения (1) из непрерывности ий на (Г и дГ) х [0; вытекает равномерная непрерывность их на 7 х [0;+го), где 7 — любое ребро Г, а также, что
(и+)+ (х,г) = (и+)+(х,г) (х е 3, к,п е Т(х), г > 0),
(и+)+(х, г) = 0 (х е дГ, к е Т(х), г > 0).
Доказательство теоремы 2. В доказательстве теоремы 1 мы уже установили непрерывность по г функций и и и^. Поэтому, доказав непрерывность на (Г и дГ) х [0;функции ий, мы докажем такую же непрерывность функций и и и. Кроме того, в силу уравнения (1) ихх, будучи равной ии на Г \ 3, будет непрерывно доопределяемой на (Г и дГ) х [0;(если мы докажем, что ии непрерывна на этом множестве), что повлечёт и равномерную непрерывность их|7Х[0;+^) для любого ребра 7.
Для обоснования непрерывности и« на (Г и дГ) х [0; достаточно показать непрерывность правых частей в (18) и в (28). Равномерная на Г непрерывность по г правой части в (18) следует, с учётом (9) и (12), из равномерной непрерывности |7 на любом ребре 7, а правой части в (28) — из равномерной непрерывности ф'|7 на любом ребре 7 (и с учётом (11)). При этом для любой х е дГ
lim utt(y,i) = 0 = utt(x,t),
(32)
что и влечёт непрерывность ии на (Г и дГ) х [0;+го). Обоснуем (32):
lim Му,0= lim £ в(п) «п)) L)(en) - ^»Ы
пеР (y,t)
2. "m+i £ в (p)
pePi (x,t)
^''(ep - eh(p)) - ^''(ep + eh(p))
2 £ в (pV (ep + eh(p))+
peP2(x,t)
реРз (x,t)
+ £ в(p) 2 £ a(ep,nV(ep + en) - (ep + eh(p))
£ в(р) peP>i(x,t)
+ £ в(р) peP2(x,t)
neT (ep) +
^T(p) (ep - eh(p)) - ^+(p) (ep + eh(p))
^+(p) (ep + eh(P)) + ^+h(p) (ep + eh(P))
+
peP3(x,t)
£ в(P) 2 £ a(ep(ep + еП) - ^+h(p)(ep + eh(P)) - ^+(p) (ep + eh(P))
neT (ep)
Здесь все суммы стремятся к нулю (при е ^ 0+): первая и четвёртая — так как и ф' непрерывны на Г \ 3, вторая и третья — так как равномерно непрерывна на каждом ребре и удовлетворяет условиям (12) и (9), пятая — так как просто равна нулю, шестая — так как ф' равномерно непрерывна на каждом ребре и удовлетворяет условию (11).
Справедливость (31) устанавливается дифференцированием по г равенства (2) и с учётом равенства
(и+)г(х,г) = (и)+(х,г) (х е 3, к е Т(х), г > 0),
которое следует непосредственно из (20), (16) и (29), (28). Теорема доказана.
Работа выполнена при финансовой поддержке РФФИ (проект 07-01-00299).
Библиографический список
1. Юрко В.А. О восстановлении операторов Штурма - задачи для волнового уравнения на одномерной про-Лиувилля на графах//Мат. заметки. 2006. Т. 79, № 4. странственной сети через функцию Грина соответ-С. 619-630. ствующей краевой задачи для обыкновенного диффе-
2. Прядиев В.Л. Описание решения начально-краевой рмцимьного уравнения // Совршенная мгамэтига
и её приложения. Тбилиси, 2006. Т. 38. C. 82-94.
3. Прядиее В. Л. Численная схема решения начально-краевой задачи для волнового уравнения на одномерной пространственной сети при обобщённо-гладких условиях трансмиссии // Вестн. Самар. гос. ун-та. Естествен-нонауч. сер. 2008. № 8/2 (67). C. 195-202.
4. Покорный Ю.В., Пенкин О.М., Прядиев В.Л. и др.
УДК 512.571 +515.122.55
АЛГЕБРЫ
НЕПРЕРЫВНЫХ
МУЛЬТИФУНКЦИЙ
В.А. Молчанов
Саратовский государственный университет, кафедра геометрии E-mail: [email protected]
С помощью методов нестандартного анализа изучаются непрерывные сходимости в пространстве мультифункций и описываются псевдотопологические алгебры непрерывных мульти-функций.
Ключевые слова: сходимости в пространстве мультифункций, алгебры отношений, нестандартный анализ.
Дифференциальные уравнения на геометрических графах. М.: ФИЗМАТЛИТ, 2004. 272 с. 5. Тихонов А.Н., Самарский А.А. Уравнения математической физики. М.: Изд-во МГУ, 1999. 799 с.
6. Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления: В 3 т. М.: Гос. изд-во физ.-мат. лит., 1959. Т. II. 808 с.
Algebras of Continuous Multifunctions
V.A. Molchanov
Saratov State University, Chair of Geometry E-mail: [email protected]
With the help of methods of nonstandard analysis we investigate continuous convergences in the space of multifunctions and describe pseudotopological algebras of continuous multifunctions.
Key words: convergences in the space of multifunctions, algebras of relations, nonstandard analysis.
ВВЕДЕНИЕ
Как показывают результаты исследований [1, 2], разработанная В.В. Вагнером теория отношений [3] является эффективным инструментом в изучении сходимостей в функциональных пространствах на основе нестандартного подхода к топологии [4]. Настоящая статья продолжает эти исследования и посвящена изучению непрерывных сходимостей в пространстве мультифункций с помощью методов алгебры отношений [3] и нестандартного анализа [5]. В начале работы канонически определяются непрерывные сходимости мультифункций и обосновывается их согласованность с отображением вычисления. Здесь также приводятся условия, при которых непрерывные сходимости являются топологиями, хаусдорфовыми или регулярными сходимостями, описываются компактные множества мультифункций. Основные результаты работы описывают псевдотопологические алгебры непрерывных мультифункций.
Основные результаты работы докладывались на Международной конференции, посвященной 100-летию профессора В.В. Вагнера.
В работе используются методы нестандартного анализа [5], общепринятая топологическая терминология [6,7] и отдельные результаты из нестандартной топологии [2,4].
Как обычно [4], для простоты рассуждений основные множества X рассматриваемых пространств сходимости считаются подмножествами множества индивидов 8, над которым строится теоретико-множественная суперструктура V(8) [5]. Для таких множеств X определено нестандартное расширение *Х и любой фильтр Т над X полностью определяется своей монадой дТ = П{*А : А е Т}. Монады ультрафильтров над множеством X разбивают расширение *Х на классы эквивалентности ех. Подмножество М с *X называется насыщенным, если ех(М) С М, и монадой, если М = дТ для некоторого фильтра Т над множеством X.
При нестандартном подходе к топологии [4] произвольная сходимость [6] на множестве X определяется соответствием р с X х *X, для которого все значения р(а) = {х е *X : (а, х) е р} (а е X) являются насыщенными подмножествами *X и удовлетворяют условию а е р(а). Такие соответствия называются (нестандартными) сходимостями и на них распространяется топологическая терминоло-
