Фундаментальное решение волнового уравнения на графе

(x₀,t) ∈/ τ. Это влечет, что (t,t^′) ∈ ρ при любом t^′ ∈ X. В частности, (t,v) ∈ ρ. Так как (u,t) ∈ σ и (t,v) ∈ ρ, то (u,v) ∈ σρ.

Мы доказали, что σρ = σρ^′, но τρ 6= τρ^′. В силу теоремы 1 это означает, что . ¤

Следствие из теоремы 4 и двойственной к ней. В полугруппе B(X) бинарных отношений на множестве X справедливы равенства L ^∗ = L и R^∗ = R.

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

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

1.                    Клиффорд А., Престон Г. Алгебраическая теория полугрупп. В 2 т. М.: Мир, 1972. Т. 1. 285 c. 2.                    Зарецкий К.А. Полугруппа бинарных отношений // Мат. сб. 1963. Т. 61 (103), № 3. C. 291–305. 3.                    Глускин Л.М. Полугруппы изотонных преобразований // Успехи мат. наук. 1961. Т. 5 (101), № 16. C. 157– 162. 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

СТРУКТУРАРЕШЕНИЯСМЕШАННОЙЗАДАЧИ

ДЛЯВОЛНОВОГОУРАВНЕНИЯ

НАКОМПАКТНОМГЕОМЕТРИЧЕСКОМ

ГРАФЕВСЛУЧАЕНЕНУЛЕВОЙ

НАЧАЛЬНОЙСКОРОСТИ

Structure of Mixed Problem Solution for Wave Equation on

О.В. Коровина, В.Л. Прядиев Белгородский государственный университет, кафедра математического анализа E-mail: olesya [e-mail], [e-mail] Для волнового уравнения на компактном геометрическом графе при обобщённо-гладких условиях трансмиссии доказывается аналог формулы Даламбера. Ключевые слова: компактный геометрический граф, волновое уравнение, обобщённо-гладкие условия трансмиссии, смешанная задача, аналог формулы Даламбера.

Compact Geometrical Graph in Nonzero Initial Velocity Case O.V. Korovina, V.L. Pryadiev Belgorod State University, Chair of Mathematical Analysis E-mail: olesya [e-mail], [e-mail] A D’Alambert formula analogue for wave equation on the compact geometrical graph with generalized smooth transmission conditions is being proved. Key words: compact geometrical graph, wave equation, generalized smooth transmission conditions, mixed problem, D’Alambert formula analogue.

В настоящей работе рассматривается волновое уравнение на компактном геометрическом графе при условиях трансмиссии, которые являются обобщением так называемых «гладких» или «стандартных» [1]. Основная цель работы — дать доказательство представления типа Даламбера для решения начально-краевой задачи при ненулевой начальной скорости из класса C¹. Использована техника, развитая в работе [2] (где начальная скорость предполагалась нулевой). Представление типа Даламбера здесь не только даёт информацию о структуре общего решения (дополняя представление решения в виде ряда Фурье), но и может быть положено в основу при создании вычислительной схемы решения начально-краевой задачи [3].

°c О.В. Коровина, В.Л. Прядиев, 2009

1. ОПИСАНИЕ ОСНОВНОГО ОБЪЕКТА ИССЛЕДОВАНИЯ

Пусть Γ — компактный геометрический граф из Rⁿ, который понимается нами так же, как в [4]. Пусть J — множество всех внутренних вершин Γ, ∂Γ — множество граничных вершин. В соответствии с работой [4] J содержится в Γ и ∂Γ ∩ Γ = ∅. Будем предполагать, что компоненты связности множества Γ \ J (называемые рёбрами графа) являются прямолинейными интервалами. Все рёбра будем считать ориентированными, т.е. что каждому интервалу γ = (a,b), являющемуся ребром Γ, поставлен в соответствие один из двух векторов единичной длины, коллинеарных вектору b−a. Этот вектор обозначим через h_γ.

Для функции u, определённой в точках множества (Γ\J)×(0;+∞), будем использовать следующие обозначения: если x ∈ Γ \ J, а γ — ребро Γ, содержащее x, то u_x(x,t) := lim ε^−[1][u(x + εh_γ,t) − ε→0 − u(x,t)], и если t > 0, то u_t(x,t) := lim τ⁻¹[u(x,t + τ) − u(x,t)]. τ→0

Основной объект исследования в данной работе — это волновое уравнение

uxx(x,t) = utt(x,t)            (x ∈ Γ \ J, t > 0) при условиях трансмиссии	(1)
X α(x,h)u+h (x,t) = 0              (x ∈ J, t > 0),	(2)

h∈T(x)

здесь T(x) := ©h ∈ Rⁿ ¯¯khk = 1 и (x + εh) ∈ Γ для достаточно малых ε > 0ª, α(x,h) — некоторые вещественные числа, такие что

                                                                                 X α(x,h) = 1           (x ∈ J),                                                                      (3)

h∈T(x)

u⁺_h (x,t) — правая производная по вектору h функции u(·,t) в точке x. Отметим попутно, что существование правых производных u⁺_h (x,t) для всех h ∈ T(x) автоматически влечёт непрерывность функции u(·,t) в точке x при любом t > 0. Предполагая, что функция u, удовлетворяющая соотношениям (1) и (2), определена на (Γ∪∂Γ)×[0;+∞), будем рассматривать для системы (1)–(2) следующую начально-краевую задачу:

u(x,t) = 0         (x ∈ D, t > 0),	(4)
,	(5)
u(x,0) = ϕ(x)        (x ∈ Γ ∪ ∂Γ),	(6)
lim ut(x,t) = ψ(x)         (x ∈ Γ ∪ ∂Γ),	(7)

t→0+

здесь D ∪ N = ∂Γ и D ∩ N = ∅, причём x ∈ N ⇒| T(x) |= 1.

Под решением задачи (1)–(2), (4)–(7) будем понимать функцию u : (Γ∪∂Γ)×[0;+∞) → R, которая 1) непрерывна по первому аргументу в точках ∂Γ × [0;+∞), 2) непрерывна по второму аргументу в точках (Γ ∪ ∂Γ) × {0}, 3) удовлетворяет соотношениям (1)–(2), (4)–(7)¹.

Заметим, что можно считать N = ∅, т.е. D = ∂Γ (и далее мы всегда это будем предполагать). Действительно, достаточно объявить точки из N внутренними вершинами Γ, и тогда (5) примет вид равенства (2) с единственным числом α(x,h), равным 1.

2. РЕШЕНИЕ НАЧАЛЬНО-КРАЕВОЙ ЗАДАЧИ (1)–(2), (4)–(7) В ФОРМЕ ДАЛАМБЕРА

Для формулировки основного результата нам потребуется ввести в рассмотрение некоторое множество ориентированных ломаных, которое мы обозначим буквой P. Ориентированную ломаную p с вершинами, перенумерованными согласно ориентации p, отнесём ко множеству P, если и только если:

1)   ,

2)   ,

3)   .

При этом мы допускаем, что некоторые звенья [a_i;a_i+1], в том числе соседние, могут совпадать или быть вложенными одно в другое. Точку a₀ будем называть началом ломаной p, а точку a_k — её концом. Длиной ломаной p назовём сумму длин её звеньев [a_i;a_i+1], т.е..

Каждой паре (p,i), в которой p — ломаная из P, а i — номер её вершины, отличной от конца (т.е.

), поставим в соответствие число

                              −1,                            если a¡i ∈ D¢(=¡∂Γ) и i 6= 0,                                                       ¢

                 β_i(p) :=        2α(a_i,h_i(p)),                 если i = 0 ∨ (a_i ∈6          ∂Γ) ∧ ([a_i−1;a_i] ∩ [a_i;a_i+1] = {a_i}) ,

                                  ,       в остальных случаях,

где h_i(p) := |a_i+1 −a_i|⁻¹(a_i+1 −a_i), и если a₀ ∈ Γ\J, то α(a₀,h) := 1/2 для любого h ∈ T(a₀), а если a₀ ∈ ∂Γ, то α(a₀,h) := 1 для любого h ∈ T(a₀). Положим

.

Введём, наконец, в рассмотрение оператор C(t), действующий в пространстве определённых на Γ∪∂Γ функций по правилу:

                                                                     ,        если x ∈ Γ и t > 0,

                                            [C(t)ζ](x) :=                                            если x ∈ ∂Γ и t > 0,                                                (8)

если x ∈ Γ ∪ ∂Γ и t = 0,

где P(x,t) есть множество всех ломаных из P с началом в точке x и длины t, а e_p здесь и далее обозначает конец p.

Теорема 1. Пусть ϕ и ψ непрерывны на Γ∪∂Γ, причём для любого ребра γ сужения ϕ^′′|_γ и ψ^′|_γ функций ϕ^′′ и ψ^′ на это ребро равномерно непрерывны на нём. Пусть для любой x ∈ J вторая производная (ϕ⁺_h )⁺_h (x) по вектору h ∈ T(x) не зависит от h, т.е.

                                                         (ϕ⁺_h )⁺_h (x) = (ϕ⁺_η )⁺_η (x)        (x ∈ J, h,η ∈ T(x)).                                                        (9)

Пусть также

                                                                           X α(x,h)ϕ⁺_h (x) = 0           (x ∈ J),                                                             (10)

h∈T(x)

                                                                           X α(x,h)ψ_h⁺(x) = 0            (x ∈ J),                                                             (11)

h∈T(x)

                                                      ϕ(x) = ψ(x) = (ϕ⁺_h )⁺_h (x) = 0         (x ∈ ∂Γ, h ∈ T(x)).                                              (12)

Тогда решение задачи (1)–(2), (4)–(7) существует, единственно и представимо в виде

                                                                                                                        (13)

Доказательство. Для доказательства единственности решения задачи (1)–(2), (4)–(7) достаточно доказать тривиальность решения u⁰ однородной задачи (1)–(2), (4)–(7) (при ϕ и ψ тождественно равных нулю) на (Γ ∪ ∂Γ) × [0;δ], где δ — наименьшая из длин рёбер. Выражая для каждого ребра γ = (a;b) сужение u⁰|_γ×[0;+∞) через u⁰(a,t) и u⁰(b,t), получим, в силу формулы решения задачи о распространении граничного режима [5, гл. II, § 2, п. 7], что для t ∈ [0;δ] выполнено

                                                                     (u⁰)⁺_h (x,t) = −(u⁰)_t(x,t)          (x ∈ J).

Отсюда, ввиду выполнения (2) для u⁰, следует, что (u⁰)_t(x,t) = 0 для всех x ∈ J и t ∈ [0;δ], т.е. так как u⁰(x,0) = 0, что u⁰(x,t) = 0 для тех же x и t. Но тогда u ≡ 0 на γ × [0;δ] для любого ребра γ.

Единственность доказана.

Справедливость представления (13) достаточно доказать отдельно для случаев ψ ≡ 0 и ϕ ≡ 0. Допустим пока, что ψ ≡ 0 в (13). Найдём сначала u_t(x,t) для x ∈ Γ и t > 0. Если ∆t < 0 достаточно мало, то u(x,t + ∆t) = X β(π)ϕ(e_π) = X β(p)ϕ(e_p − ∆t · h(p)),

                                                 π∈P(x,t+∆t)                                               p∈P(x,t)

где h(p) — вектор из T(e_p), однозначно определяемый требованием о том, что точка e_p + εh(p) принадлежит последнему звену ломаной p для достаточно малых ε > 0. Значит, левая производная u⁻_t (x,t) имеет вид u⁻_t (x,t) = ⁻ X β(p)ϕ⁺_h(p)(e_p). (14)

p∈P(x,t)

Если же ∆t > 0 достаточно мало, то, представляя P(x,t) в виде P(x,t) := P₁(x,t)∪P₂(x,t)∪P₃(x,t), где P₁(x,t) := {p ∈ P(x,t) | e_p ∈ Γ \ J}, P₂(x,t) := {p ∈ P(x,t) | e_p ∈ ∂Γ}, P₃(x,t) := {p ∈ P(x,t) | e_p ∈ J}, получим u(x,t + ∆t) = X β(π)ϕ(e_π) = X1 β(p)ϕ(e_p − ∆t · h(p)) − X2 β(p)ϕ(e_p + ∆t · h(p))+

                π∈P(x,t+∆t)                                               p∈P (x,t)                                                                              p∈P (x,t)

                 +       X3               β(p)· − ϕ(e_p + ∆t · h(p)) +              Xp 2α(e_p,h)ϕ(e_p + ∆t · h)¸.

                       p∈P (x,t)                                                                                        h∈T(e )

Следовательно, правая производная u⁺_t (x,t) имеет вид

                                                                   u⁺_t (x,t) = l₁ + l₂ + l₃,                                                                           (15)

где

.

Заметим, что если p ∈ P₂(x,t), то e_p ∈ ∂Γ, и значит, ϕ(e_p) = 0. Следовательно, ϕ(e_p +∆t·h(p))+ + ϕ(e_p) = ϕ(e_p + ∆t · h(p)) − ϕ(e_p), и поэтому

                                                          l₂ = −        X2          β(p)ϕ⁺_h(p)(e_p).

p∈P (x,t)

Далее,

так как если p ∈ P₃(x,t), то e_p ∈ J, и значит, в силу (10)

Xp α(e_p,h)ϕ⁺_h (e_p) = 0. h∈T(e )

Таким образом, (15) приобретает вид, что вместе с (14) влечёт

                                                    .                                                             (16)

Аналогично найдём u_tt(x,t). Так же как из (13) было получено (14), из (16) получаем

                                                               (ut)−t (x,t) =        X       β(p)(ϕh+(p))+h(p)(ep).

p∈P(x,t)

Далее,

                                                                               (u_t)⁺_t (x,t) = L₁ + L₂ + L₃,                                                                       (17)

где

.

Для преобразования L₃ воспользуемся, тем, что для достаточно малых ∆t > 0 выполнено равенство — при всех h ∈ T(e_p). Тогда с учётом (10) получим:

Заметим, что в силу (9)  для любого h ∈ T(e_p). Поэтому с учётом (3) окончательно получаем

                                                                      L3 =         X3           β(p)(ϕ+h(p))+h(p)(ep).

p∈P (x,t)

Таким образом, (17) примет вид

                           (ut)+t (x,t) =             ₁ X 3                    β(p)(ϕ+h(p))+h(p)(ep) −       X2           β(p)(ϕ+h(p))h+(p)(ep),

                                                       p∈P (x,t)∪P (x,t)                                                                         p∈P (x,t)

что совпадает с (u_t)⁻_t (x,t), так как если p ∈ P₂(x,t), то e_p ∈ ∂Γ и, стало быть, в силу (12) имеем . Значит,

                                                                  utt(x,t) =         X       β(p)(ϕ+h(p))+h(p)(ep).                                                        (18)

p∈P(x,t)

Найдём теперь выражения для u⁺_h (x,t) и для u_xx(x,t), где в первом случае x — фиксированная точка из Γ, h ∈ T(x), а во втором случае x принадлежит Γ \ J, и в обоих случаях t > 0. Пусть P^′(x,t,hª ) := ©p ∈ P(x,t)¯¯(x + εh) принадлежит первому звену ломаной p при достаточно малых ε > 0 и P^′′(x,t,h) := P(x,t) \ P^′(x,t,h). Если ε > 0 достаточно мало, то

                                                            u(x + εh,t) =           X′′                β(p)ϕ(e_p + εh(p))+

p∈P (x,t,h)

                        ,                (19)

где P_i^′(x,t,h) := P^′(x,t,h) ∩ P_i(x,t). Из (19) вытекает, что

             .                       (20)

Теперь мы можем показать, что функция (13) (при ψ ≡ 0) удовлетворяет условию (2). В самом деле, в силу (20)

Изменим в правой части (21) порядок суммирования так, чтобы внутреннее суммирование осуществлялось по h ∈ T(x) , а внешнее — по p ∈ P(x,t). Заметим, что всякая ломаная p ∈ P(x,t) принадлежит P^′(x,t,h) для единственного h из T(x); обозначим это h через θ(p). Тогда замена порядка суммирования в правой части (21) может быть осуществлена по следующему правилу:

.    (22)

На основании (22) из (21) получаем

= 0                  (23)

— в силу (3). Значит, если ψ ≡ 0, то функция (13) условию (2) удовлетворяет.

При x ∈ Γ \ J равенство (23) принимает вид

,

где γ — ребро, содержащее x. Но тогда существует и ux(x,t), и из равенства (20) следует:
.	(24)

                                               p∈P′′(x,t,hγ)                                                          p∈P′(x,t,hγ)

Равенство (24) используем для нахождения u_xx(x,t), где x ∈ Γ\J и t > 0. Для достаточно малых ε > 0 имеет место:

         u_x(x + εh_γ,t) =                   Xγ                 γ β(π)ϕ_h⁺_(π)(e_π) −               ′ Xγ                   γ β(π)ϕ_h⁺_(π)(e_π) =

                                           π∈P′′(x+εh ,t,h )                                                                π∈P (x+εh ,t,h )

= X γ β(p)ϕ⁺_h(p)¡e_p + εh(p)¢ − ′ Xγ 1 β(p)ϕ_h⁺_(p)¡e_p − ε · h(p)¢+ p∈P′′(x,t,h ) p∈P (x,t,h )∩P (x,t)

                                        +                Xγ          2                 β(p)ϕ⁺_−h(p)¡e_p + ε · h(p)¢−

p∈P′(x,t,h )∩P (x,t)

      −                Xγ          3                             β(p)^· Xp 2α(e_p,η)ϕ₋⁺_η¡e_p + ε · η¢ − ϕ₋⁺_h(p)¡e_p + ε · h(p)¢¸.

              p∈P′(x,t,h )∩P (x,t)                             η∈T(e )

Заметим, что  (для любого η ∈ T(e_p)) при достаточно малых ε > 0.

Учитывая это, а также (10), (12), (9) и (3), получим

                                              (ux)+hγ(x,t) =         X       β(p)(ϕ+h(p))h+(p)(ep).                                                     (25)

p∈P(x,t)

Вычисление  аналогично и приводит к равенству

                                            (ux)+−hγ(x,t) = −          X       β(p)(ϕ+h(p))+h(p)(ep).                                                 (26)

p∈P(x,t)

Из равенств (25) и (26) следует, что правая часть равенства (25) и есть u_xx(x,t). Значит (см. (18)), при ψ ≡ 0 функция (13) удовлетворяет уравнению (1).

Выполнение (4) для функции (13) при ψ ≡ 0 следует из определения C(t) (см. (8)). Но надо еще доказать, что (∀ x ∈ ∂Γ) (∀ t > 0) [u(y,t) → 0 при y → x].

Пусть x ∈ ∂Γ и t > 0. Без ограничения общности можно считать, что |T(x)| = 1. В этом случае

,

ввиду непрерывности ϕ на Γ∪∂Γ, обнуления ϕ на ∂Γ и равенства (3). При этом последний предел — равномерный по любому конечному интервалу изменения переменной t, что вместе со сходимостью u(y,0) = ϕ(y) → 0 при y → x (∈ ∂Γ) влечёт сходимость u(y,t) к 0 при y → x (∈ ∂Γ) равномерно на каждом отрезке вида [0;t₀]. Значит [6, n^o 505], функция u непрерывна на ∂Γ × [0;+∞).

Справедливость (6) для функции (13) при ψ ≡ 0 следует из определения C(t) (см. (8)). Однако надо обосновать, что

                                                                        .                                                                 (27)

Заметим, что для любой x ∈ Γ при достаточно малых t > 0 все ломаные p из P(x,t) однозвенны, следовательно, имеет место равенство β(p) = α(x,θ(p)). Поэтому

,

причём в силу равномерной непрерывности ϕ последний предел — равномерный на Γ. Это вместе с очевидной сходимостью u(x,t) → ϕ(x) при t → 0+ в точках x ∈ ∂Γ влечёт равномерную уже на Γ∪∂Γ сходимость u(x,t) к ϕ(x) при t → 0+, откуда следует непрерывность функции u на (Γ∪∂Γ)×{0} по совокупности переменных [6, n^o 505].

Аналогично доказывается справедливость (7) для (13) при ψ ≡ 0: в силу (16) и (10) для x ∈ Γ получим

,

причём последний предел — равномерный на Γ ∪ ∂Γ в силу равномерной непрерывности ϕ^′|_γ для любого ребра γ.

Итак, в случае ψ ≡ 0 функция (13) есть решение задачи (1)–(2), (4)–(7).

Остаётся рассмотреть случай, когда ϕ ≡ 0 в (13). В этом случае при x ∈ Γ и t > 0

                                            ,                                     (28)

что доказывается так же, как и (16). Далее, если x ∈ Γ и t > 0, то

                                  (29)

Здесь мы учитываем, что в силу равномерной непрерывности ψ^′ на любом ребре и с учётом (11) подынтегральная функция при любом фиксированном t > 0 непрерывна по совокупности переменных в некотором прямоугольнике вида [x;x + εh] × [0;t], где ε > 0 достаточно мало. Из (29) следует, что

Подынтегральная сумма здесь равна нулю, что доказывается так же, как и равенство нулю правой части равенства (21). Таким образом, функция (13) в случае ϕ ≡ 0 удовлетворяет условию (2) и дифференцируема по x в точках Γ \ J.

Проинтегрируем правую часть (29) при x ∈ Γ \ J. Покажем, что

                     .                               (30)

С одной стороны, производные по t левой и правой частей (30) равны. В то же время при достаточно малых t > 0 в P^′′(x,τ,h) содержится ровно одна, причём однозвенная, ломаная, которую обозначим через pe. Учитывая равенство h(pe) = h, получим

,

что совпадает с правой частью (30) при тех же t. Тем самым равенство (30) доказано. Далее, поскольку P^′(x,τ,h) = P^′′(x,τ,−h), то в силу (30)

.

Значит (см. (29)), для x ∈ Γ \ J

                                u⁺_h (x,t) = −          X′′               β(p)ψ(e_p) +          X′              β(p)ψ(e_p).

                                                          p∈P (x,t,h)                                              p∈P (x,t,h)

Отсюда, поскольку для x ∈ Γ \ J (здесь γ — ребро, содержащее x), получаем

                                                     u_xx(x,t) = −         X       β(p)ψ_h⁺_(p)(e_p),

p∈P(x,t)

что вместе с (28) влечёт выполнение (1) для функции (13) при ϕ ≡ 0.

Далее, функция [C(t)ψ](x) как функция x и t непрерывна на ∂Γ × [0;+∞), что доказывается так же, как и непрерывность [C(t)ϕ](x). Поэтому функция (13) при ϕ ≡ 0 не только удовлетворяет условию (4), но и непрерывна в точках ∂Γ × [0;+∞).

Остаётся отметить выполнение начальных условий. Справедливость u(x,0) = 0 очевидна. Равенство u_t(x,0+) = ψ(x) обосновывается так же, как и (27). Теорема доказана.

3. О КЛАССЕ РЕШЕНИЙ ЗАДАЧИ (1)–(2), (4)–(7)

Обратимся теперь к вопросу о том, какому классу принадлежит решение задачи (1)–(2), (4)–(7) при выполнении условий теоремы 1.

Теорема 2. Пусть выполнены условия теоремы 1. Тогда решение u задачи (1)–(2), (4)–(7) и его производные u_t и u_tt непрерывны на (Γ ∪ ∂Γ) × [0;+∞), u_xx непрерывно доопределяема на

(Γ∪∂Γ)×[0;+∞), а u_x равномерно непрерывна на γ×[0;+∞), где γ — любое ребро Γ. Кроме того,

                                                 X α(x,h)(u_t)⁺_h (x,t) = 0              (x ∈ J, t > 0).                                                    (31)

h∈T(x)

Замечание. Заявленные в теореме 2 свойства решения u задачи (1)–(2), (4)–(7) означают, в частности, что u и u_t — как функции первого аргумента при фиксированном втором аргументе, — наследуют все свойства ϕ и соответственно ψ из условий теоремы. Здесь мы учитываем, что в силу уравнения (1) из непрерывности u_tt на (Γ ∪ ∂Γ) × [0;+∞) вытекает равномерная непрерывность u_xx на γ × [0;+∞), где γ — любое ребро Γ, а также, что

(u⁺_h )⁺_h (x,t) = (u⁺_η )⁺_η (x,t)     (x ∈ J, h,η ∈ T(x), t ≥ 0), (u⁺_h )⁺_h (x,t) = 0        (x ∈ ∂Γ, h ∈ T(x), t ≥ 0).

Доказательство теоремы 2. В доказательстве теоремы 1 мы уже установили непрерывность по t функций u и u_t. Поэтому, доказав непрерывность на (Γ ∪ ∂Γ) × [0;+∞) функции u_tt, мы докажем такую же непрерывность функций u_t и u. Кроме того, в силу уравнения (1) u_xx, будучи равной u_tt на Γ\J, будет непрерывно доопределяемой на (Γ∪∂Γ)×[0;+∞) (если мы докажем, что u_tt непрерывна

на этом множестве), что повлечёт и равномерную непрерывность u_x|_γ×[0;+∞) для любого ребра γ.

Для обоснования непрерывности u_tt на (Γ ∪ ∂Γ) × [0;+∞) достаточно показать непрерывность правых частей в (18) и в (28). Равномерная на Γ непрерывность по t правой части в (18) следует, с учётом (9) и (12), из равномерной непрерывности ϕ^′′|_γ на любом ребре γ, а правой части в (28) — из равномерной непрерывности ψ^′|_γ на любом ребре γ (и с учётом (11)). При этом для любой x ∈ ∂Γ

                                                                          ,                                                                   (32)

что и влечёт непрерывность u_tt на (Γ ∪ ∂Γ) × [0;+∞). Обоснуем (32):

Здесь все суммы стремятся к нулю (при ε → 0+): первая и четвёртая — так как ϕ^′′ и ψ^′ непрерывны на Γ \ J, вторая и третья — так как ϕ^′′ равномерно непрерывна на каждом ребре и удовлетворяет условиям (12) и (9), пятая — так как просто равна нулю, шестая — так как ψ^′ равномерно непрерывна на каждом ребре и удовлетворяет условию (11).

Справедливость (31) устанавливается дифференцированием по t равенства (2) и с учётом равенства

                                                     (u⁺_h )_t(x,t) = (u_t)⁺_h (x,t)            (x ∈ J, h ∈ T(x), t > 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. Покорный Ю.В., Пенкин О.М., Прядиев В.Л. и др.

Дифференциальные уравнения на геометрических графах. М.: ФИЗМАТЛИТ, 2004. 272 с. 5.                  Тихонов А.Н., Самарский А.А. Уравнения математической физики. М.: Изд-во МГУ, 1999. 799 c. 6.                  Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления: В 3 т. М.: Гос. изд-во физ.-мат. лит., 1959. Т. II. 808 с.

УДК 512.571 + 515.122.55

АЛГЕБРЫ НЕПРЕРЫВНЫХ

МУЛЬТИФУНКЦИЙ

В.А. Молчанов

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

Algebras of Continuous Multifunctions V.A. Molchanov Saratov State University, Chair of Geometry E-mail: [e-mail] 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 рассматриваемых пространств сходимости считаются подмножествами множества индивидов S, над которым строится теоретикомножественная суперструктура V (S) [5]. Для таких множеств X определено нестандартное расширение ^∗X и любой фильтр F над X полностью определяется своей монадой µF = T{^∗A : A ∈ F}. Монады ультрафильтров над множеством X разбивают расширение ^∗X на классы эквивалентности ε_X. Подмножество M ⊂ ^∗X называется насыщенным, если ε_X(M) ⊂ M, и монадой, если M = µF для некоторого фильтра F над множеством X.

При нестандартном подходе к топологии [4] произвольная сходимость [6] на множестве X определяется соответствием ρ ⊂ X × ^∗X, для которого все значения ρ(a) = {x ∈ ^∗X : (a,x) ∈ ρ} (a ∈ X) являются насыщенными подмножествами ^∗X и удовлетворяют условию a ∈ ρ(a). Такие соответствия называются (нестандартными) сходимостями и на них распространяется топологическая терминоло-

°c В.А. Молчанов, 2009

---

[1] Имеется в виду, что речь будет идти только о классических решениях задачи (1)–(2), (4)–(7). Понятно, что класс функций, которому гарантированно принадлежит решение задачи (1)–(2), (4)–(7), зависит от того, каким классам принадлежат ϕ и ψ. В разд. 3 мы проанализируем этот вопрос подробнее.