Задача сопряжения для псевдопараболических и псевдогиперболических уравнений

Математические заметки СВФУ Июль—сентябрь, 2016. Том 23, № 3

УДК 517.946

ЗАДАЧА СОПРЯЖЕНИЯ ДЛЯ ПСЕВДОПАРАБОЛИЧЕСКИХ И ПСЕВДОГИПЕРБОЛИЧЕСКИХ УРАВНЕНИЙ А. И. Григорьева

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

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

Введение

Работа посвящена исследованию разрешимости задач сопряжения (обобщенных задач дифракции или transmission problems) для псевдопараболических и псевдогиперболических уравнений.

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

В настоящей работе будем рассматривать задачу сопряжения в более общей постановке — вместо условий непрерывности будем задавать условия сопряжения (склейки) с произвольными коэффициентами.

Для классических дифференциальных уравнений второго порядка эллиптического, параболического или гиперболического типов задачи дифракции (сопряжения) изучаются с давних времен — см., например, работы [2-6]; из более поздних работ отметим статьи [7-12]. Задачи с условиями сопряжения (склейки) естественным образом возникают и также давно изучаются в теории уравнений смешанного типа и в теории вырождающихся уравнений (см., например, [13-21]).

© 2016 Григорьева А. И.

Наконец, отметим, что в последнее время задачи сопряжения изучаются и для неклассических дифференциальных уравнений [22-29].

Как указано выше, задачи сопряжения естественным образом возникают в математическом моделировании — при изучении процессов теплопроводности в составных средах, колебаний неоднородных (составных) сред, в электродинамике, в теории упругости и во многих других ситуациях. Некоторые примеры можно найти в [30-33].

Уравнения, изучаемые в настоящей работе, а именно псевдопараболические и псевдогиперболические, в последнее время в литературе называют в целом уравнениями соболевского типа. Их активное изучение началось с работы С. Л. Соболева [34]; обширную библиографию по тематике, связанной с подобными уравнениями, можно найти в монографиях [35-40]. Вместе с тем заметим, что задачи сопряжения, или обобщенные задачи дифракции, для псевдопараболических и псевдогиперболических уравнений ранее практически не изучались. Можно отметить лишь работу [23]. Частично восполнить этот пробел и предполагается в настоящей статье.

1. Постановки задач

Пусть x — точка интервала (-1,1) оси Ox; Qi, Q2 и Q — цилиндры (-1, 0) х (0,Т), (0,1) х (0,Т) И (-1,1) х (0,Т) конечной высоты Т; a(x,t), b(x,t), c(x,t) и f(x,t) суть заданные функции, определенные при (ж, t) G Q; a(t), ¡3{t) — заданные функции, определенные при t G [0,T]. Далее, пусть h(x) — заданная функция, определенная при x G [— 1, 0] и x G (0,1], строго положительная и дифференцируемая на указанных множествах и такая, что у нее определено конечное значение h(+0), также являющееся положительным числом, а также определены конечные производные h'(±0).

Задача сопряжения I. Найти функцию u(x,t), являющуюся в цилиндрах Qi и Q2 решением уравнения

д

Щ - Tr{h{x)uxt) - a

ox

и такую, что для нее выполняются условия

u

u

u

h

= £

Задача сопряжения II. Найти функцию u(x,t), являющуюся в цилиндрах Q1 и Q2 решением уравнения

д

Utt - т;~{h{x)uxt) - a

ox

и такую, что для нее выполняются начальные условия

u

а также условия (2), (4), (5).

Определим необходимые функциональные пространства V1 и V2:

Vi = jv(x, t) : J (v2 + v2xxt) dxdt < j, Q1UQ2

V2 = {v(x,t): / (v2 +v2t + vLt) dxdt< +-},

Q1UQ2

где все производные понимаются как обобщенные производные по С. Л. Соболеву [45]. Зададим нормы в этих пространствах:

IMk = { / (v2+V2xxt)dxdt)\ IHIvh = I J (v2 + v2t + v2xxt) dxdt^j

Q1UQ2 Q1UQ2

Очевидно, что V1 и V2 с заданными нормами являются банаховыми пространствами.

Прежде чем перейти к содержательной части, отметим, что в [23] аналогичная задача сопряжения изучалась для уравнения (1) с условиями (2)-(4), но при выполнении условий a(x,t) = аоh(x), b(x,t) = —аоh'(x), ао = const, a(t) = e(t) = 1. При этом в [23] было доказано существование обобщенных решений.

В настоящей работе подобных ограничений на функции a(x,t), b(x,t) нет (другими словами, будут рассмотрены более общие модели, чем в [23]), кроме того, будет доказано существование регулярных решений, имеющих все производные, входящие в уравнения (1), (6).

И еще одно замечание. Условие (5) задач сопряжения I и II, определяющее склеивание потока, интегрированием нетрудно преобразовать к виду, не содержащему вторых производных uxt(—0,t) и uxt(+0,t). В случае работы [23] такое преобразование позволяет перейти к более простой формулировке задачи сопряжения, в которой задается условие склеивания лишь первой (конормаль-ной в многомерном случае) производной. В настоящей работе вышеназванное преобразование приводит к видоизмененному условию склеивания (5). Именно в такой видоизмененной постановке и будем рассматривать задачи сопряжения для уравнений (1) и (6).

Пусть дополнительно заданы функции во (t) и K(t, т), определенные при t G [0,T], т G [0, t], 0 < t < T.

Задача сопряжения I'. Найти функцию и(ж,г), являющуюся в цилиндрах и решением уравнения (1) и такую, что для нее выполняются условия (2)-(4), а также условие

М+0К

Задача сопряжения II'. Найти функцию и(ж,г), являющуюся в цилиндрах и решением уравнения (6) и такую, что для нее выполняются условия (2), (4), (5') и (7).

Задачи сопряжения I' и II' дают более общую по сравнению с задачами I и II постановку задач сопряжения для псевдопараболических и псевдогиперболических уравнений. В каком случае решения задач сопряжения I' и II' дают решения задач I и II, покажем ниже.

2. Разрешимость задачи сопряжения I'

Обсудим вначале вопрос о единственности решений. Теорема 1. Пусть выполнены условия

а

кц,т) е с1!!)), а

1г{х) £ С1

дЦ>7о>0 при « е [0,Т].

Тогда задача сопряжения I' имеет в пространстве VI не более одного решения.

Доказательство. Пусть /(ж, г) = 0 при (ж, г) е ф. Умножим уравнение 1Х) и проинтегрируем по области

ГО Г'ГТЛТТ / ) . Т"1 ТТО Г\1 I т \ - -

/Зо(4)'

(1) на (и— ^(/г.(ж)их) и проинтегрируем по области Далее умножим уравнение (1) на 7(1)(и —и проинтегрируем по области (^2, где 7(4) — Просуммировав полученные равенства, получим

о

— [ и2(х, Ь) с1х + ^ I и2(х, Ь) с1х + I к(х)и2(х, Ь) с1х + 7(4) I 1г(х)и2

— J и2(х,Ь) с1х + ^^ J и2(х, Ь) с1х + J Л.(ж)их(ж, £) с1х + 7(4) J Л.(ж)их(ж, £) с1х

о -1 о

о 1 о

J к'2(х)и2х(х,Ь) ¿х + Щ^- J к'2(х)и2х(х, Ь)с1х + ^ J 1г2(х)и2хх(х,1) ¿х

-1 о -1

1

J^2

1

+ 2Й I 1г2(х)иих о

и 1

— J к'(ж)к(ж)их(ж, ¿)ихх(ж, ¿) ¿ж — 7(1)1 к'(ж)к(ж)их(ж, ¿)ихх(ж, £) ¿ж

4 0

с(ж, т)и2 ¿ж^т —

7(т)с(ж, т) —

и2¿ж^т

и -1

4 и

ии

4 1

+ J J к'(ж)Ь(ж, т)их ¿ж^т +

и -1 4 и

J ! к'(ж)а(ж, т)иХх ¿ж^т — J !

ии

4 1

к'(ж)7(т)Ь(ж, т) +

к(ж)7(т)а(ж,т) —

и1

ии

к'2

к2

их ¿ж^т

и х х ¿ж ¿т

4 и

— J ![Ь(ж, т) — к'(ж)с(ж, т)]иих ¿ж^т

и -1

4 1

— / /[7(т)ь(ж, т) — к'(ж)7(т)с(ж,т) + к'(ж)7'(т)]иих

ии

4 и

— J ![к'(ж)а(ж,т) — к(ж)Ь(ж,т)]ихихх ¿ж^т

и -1

4 1

J ![к'(ж)7(т)а(ж, т) — к(ж)7(т)Ь(ж, т) — к'(ж)к(ж)7'(т)]ихихх ¿ж^т

ии

4 и

+ / / [а(ж, т) + к(ж)с(ж, т)]иихх ¿ж^т+

и -1

4 1

+ / /[7(т)а(ж,т) + к(ж)7(т)с(ж, т) — к(ж)7'(т)]иихх ^

ии

Имеют место следующие неравенства:

4 и

4 и

У ^2(—0,т) ¿т < ^ ! ^х ¿ж^т + С(¿) ^ У V2 ¿ж^т,

и и -1 и -1

4 4 1 4 1

У v2(+0,т) ¿т < ^ ! vХ ¿ж^т + С(¿) У У V2 ¿ж^т,

ии

ии

где 5 — произвольное положительное число. Введем обозначение

/1 = к

1

41

2

2

2

4

Тогда, используя условия (2)—(4) и (5') в (14), перепишем /1 в виде

4

/1 = —7 (г)и(+0,г)У к (¿,т )их(—0,т )^т.

Применяя в (13) неравенства (*), Гельдера, Юнга, используя (15) и условия теоремы, получим неравенство

"и 1 и 1 и

У и2(ж,4) ¿ж + У и2(ж,4) ¿ж + 1 их(ж, ¿) ¿ж + 1 их(ж,4) ¿ж + J ^х(ж, 4) ¿ж -1

+ У ихх(ж,4) ¿ж

< С1

4 и

и -1

и ¿ж^т + j I и ¿ж^т + j I их ¿ж^т + j I их ¿ж^т и и и -1 и и

4 и 4 1

+ J J ихх ¿ж^т +

и -1

ихх ¿ж^т

ии

где ки определяется функциями к(ж), 7(т), а С1 — функциями к(ж), 7(т), а(ж, 4), Ь(ж,4), с(ж, 4), К (ж, 4). Если

и 1

^=у ^ ¿ж+у ^ ¿ж

-1 и

и 1 и 1

+ 1 их (ж, 4) ¿ж + 1 их(ж,4) ¿ж + 1 ^х(ж, 4) ¿ж + 1 ихх(ж,£) ¿ж,

1и

то следствием (16) будет неравенство

4

21(4) < М1 У 21 (т)^т,

где число М1 определяется функциями к(ж), 7(т), а(ж, 4), Ь(ж,4), с(ж,4), К (ж, 4).

Из этого неравенства и леммы Гронуолла следует, что 21(4) = 0 при 4 € [О, Т], откуда очевидно, что имеют место тождества и(ж, £) = 0 в (Зх и и(ж, £) = О в Теорема доказана.

Рассмотрим вопрос о существовании решений. Справедлива

Теорема 2. Пусть выполняются условия (8)—(12), и пусть также

Ли

к

4

ви(4)к(—0) +У К(4,т) ¿т

= 0,

1 — Лиа(4) = 0 при Л € [0,1], 4 € [0,Т].

1

Тогда для любой функции /(ж, £) из пространства Ь2(^) задача сопряжения I' имеет решение и(ж, £), принадлежащее пространству У\.

Доказательство. Воспользуемся методом продолжения по параметру [33, с. 146-148]. Пусть А — число из отрезка [0,1]. Рассмотрим задачу: найти решение и(ж, £) уравнения (1) такое, что для него выполняются условия (2), (3), а также условия

»(+0,t) =

h

u(-0, t) = Aa(t)u(+0,t), 0 <t<T,

t

eb(t)h(-0)ux(-0,t)^ K(t,r)ux(-0,r)dr

0 < t < T.

Обозначим через Л множество тех чисел А из отрезка [0,1], для которых задача (1)-(3), (4л), (5л) разрешима в пространстве VI для любой функции /(ж, £), принадлежащей пространству Ь2(^). Если это множество непусто, открыто и замкнуто, то оно будет совпадать со всем отрезком [0,1].

При А = 0 задача (1)-(3), (4л), (5л) разрешима [36], отсюда следует, что число 0 принадлежит множеству Л, а значит, множество Л непусто.

Докажем, что множество Л открыто. Пусть Ао € Л, А = Ао + А. Покажем, что при малых |А| число А также принадлежит Л.

Пусть г>(ж, £) — произвольная функция из пространства V. Рассмотрим задачу: найти решение и(ж, £) уравнения (1) такое, что для него выполняются условия (2), (3), а также условия

u(-0, t) = Aoa(t)u(+0, t) + Âv(+0, t), 0 < t < T,

= (+0,t) =

h

eb(t)h(-0)ux(-0,t) +

+ K(t, t)ux(-0,r) dr

+ Âv

Введем обозначения ^i(t) = Av(+0,t), ^i(t) = Avx(-0,t), и пусть

3

/у* _ /у*

V0{x,t) = -

Ч+о)

eb(t)h(-0) + / K (t, r ) dr b

1 - ж2

1 - Aba

что в силу (17) определено корректно.

Полагая и(ж,£) = ад(ж,£) + г>о(ж,£), в силу условий (4л,«), (5л,«) получим равенства

д

г^ - —{к{х)гихг) - а

дж

w(-1,t) = w(1, t) = 0, 0 <t<T,

A

u

A

b

u

t

a

ад(ж, 0) = 0, ж е (-1, 0) и (0,1), ад(-0,г)= а(г)Аоад(+0,г), 0 <г<Т,

:(+0,г) =

Л

во

г

+ У К(г,т)адх(-0,г)^т

где

0 < г < Т,

Заметим, что функция /о(ж,г) принадлежит пространству Ь2(ф) (в силу того, что функция г>(ж, г) принадлежит пространству V). Поскольку число Ао принадлежит Л, задача (18)-(22) имеет решение, принадлежащее V. Возвращаясь к функции и(ж,г), получим, что задача (1)-(3), (4л,«), (5л,«) при всех г>(ж, г) из V имеет решение и(ж, г), принадлежащее пространству V. Тем самым эта задача порождает оператор С, переводящий пространство V в себя: С(г>) = и. Покажем, что при малых |А| этот оператор сжимающий.

Пусть ад(ж,г) = и(ж,г) — г>о(ж, г), /(ж, г) = /о(ж, г) — /(ж, г). Для функции ад(ж,г) выполняются равенства (19)-(22), а также выполняется уравнение

д ~ г^ - —{к{х)гихг) - а(х, 1)гихх + Ь(х, 1)гих + с(ж, = /(ж, £). (23) дж

Для получения необходимых оценок рассмотрим равенство, являющееся следствием (23):

г о

о -1

д ~

гут - - а

/ д д \

х ии - —{к{х)гих) + гит — —{Ь{х)гихт) ¿х¿т дж дж

г 1

+ УУ - -^(/г(ж)и;хт) - а(ж, т)и;хх + Ь(х, т)гих + с(х,т)ги - /(ж, г) о о

/ д д N

х 7(7-) ги — —{к{х)гих) + гит — — {Ь{х)гихт) ¿х¿т = 0. (24) дж дж

Проинтегрировав в равенстве (24) по частям, получим о 1 о

1

^ У ъи2

ж)адХ(ж, г) ¿ж

А

о

ад

1

1

+ Лх + Щ)- J к'2(х)щ1{х, Ь)с1х + ^ J /12(ж)и;хх(ж,£) ¿х

-1 о -1

1 4 о 4 1

+ J 1г2(х)и!хх(х,1) с1х + J У т2с1хс1т + J ^ 7(т)и>2 с1хс1т

^ , л2{х)ги^.х{х, г) ах + I I ии~ахат+ / / 7[т)и!~, о о -1 о о

4 о 4 1

+ J ! к2(ж)ад2т ¿ж^т + J ! 7(т)к2(ж)ад2т ¿ж^т о -1 о о

4 о 4 1 4 о

+ J ! Л/2(ж)ад2т ¿ж^т + J ! 7(т)^'2(ж)ад2т ¿ж^т + J Л2(ж)ад2хт ¿ж^т о -1 о о о -1

4 1

оо

с с

+ У Ц-0)адхт(—0, т)вдт(—0, т)^т ^у 7(т)^(+0)адЯт(+0,т)шт(+0,т)^т

оо о 1

— У Л'(ж)^(ж)адх (ж, ¿)адхх(ж, £) ¿ж — J ^'(ж)^(ж)адх (ж, ¿)адхх(ж,£) ¿ж

-1 о

4 о 4 1

— 2 [ ! Л.'(ж)^(ж)адхтадххт ¿ж^т — 2 У J 7(т)^'(ж)^(ж)адхтадххт ¿ж^т

оо

4 1 4 1

У У 7'(т)ад2 ¿ж^т — У У 7'(т)Л/(ж)шшх ¿ж^т о о о о

4 1

У У 7/(т)/г.(ж)«7«7хх йжйт + — У У 7'(т)11,2(х)и12 с1хс1т

0 о о о

1 4 1 х ^хх

о -1 о о

4 1 4 1

+ \ I I 1'(т)и,2

о о о о

4 1 4 1

1

2

о о о о

4 1 4 1

+ I I 7'{т)Г1'{х)Г1{х)и)хи)ххс1хс1т+ ^ 1 1 о о о о

4 о

+ У У

о -1

/ д д

х —{к{х)гих) + - — {к{х)гихт)

дж дж

4 1

+ У У т(т)(а(ж, т)адхх — Ь(ж, т)шх — с(ж,т+ /(ж, т)) оо

( д д \

х {ы-—

Введем обозначение

t t

/2 = У ^(-О)адхт(—0, т)шт(—0, т) ¿г ^у 7(т)^(+0)адхг (+0,т(+0,т) ¿т. (26) 0 0 Используя условия (19)—(22), приведем (26) к виду

/2 = 4-0^ а'(т(—0, т)ад(+0,т) ¿т 0

- Л(-0)У во(т)т(т)шх(—0, т)шт(+0, т) ¿т 0

-17(т)К(т,т)шт (+0, т)адх(-0,т) ¿т 0

< т

-У 7 (т К (+0, т )У Кт (т,£К(-0,0 ^т. 00

Применяя неравенства (*), Гельдера, Юнга и лемму Гронуолла, как и выше, получим, что следствием равенства (25) будет оценка

где число М2 представлено через А и определяется функциями Л.(ж), 7(т), а(ж, £), Ь(ж,£), с(ж, £), К (ж, £). Перейдя к функции ад(ж,£) = и(ж,£) - г>о(ж,£), получим

где число М3 также определяется функциями Л.(ж), 7(т), а(ж,£), Ь(ж,£), с(ж, £), К (ж, г).

Пусть А настолько мало, что выполняется неравенство

Для таких чисел А отображение С будет сжимающим и, следовательно, будет иметь неподвижную точку и(ж,£): С(и) = и. Отсюда и получим, что число Ао + А принадлежит Л и тем самым что Л открыто.

Докажем теперь, что Л замкнуто. Пусть {А&} — последовательность элементов множества Л такая, что Ак ^ Ао. Покажем, что Ао также принадлежит Л. Пусть и&(ж,£) —решение задачи (1)—(3), (4дк), (5дк). Вследствие принадлежности чисел Ак множеству Л функции будут принадлежать пространству V. Обозначим через (ж, £) функцию и&(ж, £) - ит(ж, £). Имеют место следующие равенства:

д

- -^{НхУиьгпхг) ~ а{х,1)гиктхх + Ь

ОДт

во(4Ж-0)адктх(-0,4)+ ^ К(4, т)мкт*(-0,т) ¿г

^ктх

Ак

Л

+

Ак — \т

М+о)

4

во(4)Л(-0)итх(-0,4)^ К(4, т)итх(-0,т) ¿т

0 < 4 < Т.

Умножим равенство (27) на

д д и проинтегрируем по области умножим равенство (27) на

7

дд

^Ьп + ВДктт - —{к{х)гикгпх) - Тг(Нх)'шктхт) дж дж

и проинтегрируем по области Суммируя полученные равенства, интегрируя по частям и используя условия (28)—(31), а также применяя неравенства Гельдера, Юнга, (*) и лемму Гронуолла, получим следующую оценку:

в которой число М4 определяется функциями Л.(ж), 7(т), а(ж,4), Ь(ж,4), с(ж,4), К (ж, 4).

Из (32) следует, что {ик(ж, 4)} есть фундаментальная в пространстве V последовательность. Поскольку V банахово, существует функция и(ж,4) из этого пространства, являющаяся пределом семейства функций {ик(ж, 4)}. Переходя к пределу в семействе задач (1)—(3), (4дк), (5дк) при к ^ то, получим, что предельная функция и(ж,4) будет решением задачи (1)—(3), (4д0), (5д0), принадлежащим пространству V, это и означает, что число Ао принадлежит Л.

Таким образом, множество Л непусто, открыто и замкнуто. Следствием этого является совпадение со всем отрезком [0,1] и то, что задача I' разрешима в пространстве V. Теорема доказана.

3. Разрешимость задачи сопряжения II'

Как и в предыдущей задаче, сначала докажем единственность решений.

Теорема 3. Пусть выполняются условия (8)—(12). Тогда задача сопряжения II' имеет в пространстве V2 не более одного решения.

Доказательство. Рассмотрим равенство, являющееся следствием уравнения (6):

4 о

о1

д

иТт ~ —{к{х)ихт) - а(ж, т)ихх

2

+ Ь(ж, т)их + с(ж, т)и * 1

+

д

ит — — (1г(х)их) ) йхйт

д

итт - — (Цх)ихт) - а(х, т)их дж

о о

+ Ь(ж, т)их + с(ж, т)и

7(т) ( ит — —(к(х)их) ) <1хйт = 0.

Интегрируя по частям и используя начальные условия, перейдем от данного равенства к следующему:

о 1 о 1

— J и2(х,1) с!,х+— J 7(1)и2(х,1) с1,х+J Н'2(х)и2(х,1) с1,х+J ^(1)Н'2(х)и2(х, £) Ах

-1 о -1 о

о 1

+ У Л2

-1 о

о

- 7(£)Л.(+0)их(+0, £)и*(+0, £) - J Л.(ж)их(ж, £)их*(ж, £) ¿ж

-1

1

- I ^(^)Мж)их(ж, £)их*(ж,£) ¿ж

о

о 1

- 2 У Л/(ж)Л.(ж)их(ж, ¿)ихх(ж, £) ¿ж - 2 У 7(£)Л/(ж)Л.(ж)их(ж, ¿)ихх(ж, £) ¿ж

* о

+ I I [а(х, т)ихх — Ь(х, т)их — с(х, т)и\ ( ит — — (1г(х)их) ) ¿жйт

о -1 * 1

+

7(т)[а(ж, т)ихх — Ь(х,т)их — с(х,т)и] ( ит — —(Ых)их) ) йхйт.

дж

оо

Применяя условия сопряжения и неравенства (*), Гельдера, Юнга, а также используя равенство (33), получим неравенство вида

к2

У и2(ж,£) ¿ж + У 7(4)и2(ж,4) ¿ж + J их*(ж,4) ¿ж

-1 о -1

1 о 1

+ У 7(^)«х*(ж,^) ¿ж + / «хх*(ж,^) ¿ж + / 7(^)«хх*(ж,^) ¿ж

< Сз

* о

* 1

* о

и ¿ж^т + j j 7(т)и ¿ж^т + .о -1 о о о -1

их ¿ж^т

1

о

1

о

1

41 40 41 40

+ J ! 7(т)иХ ¿ж^т + J У ¿ж^т + J ! 7(т)и2 ¿ж^т + J ¿ж^т

оо о -1 оо о -1

4 1 4 о 4 1

+ J ! 7(т)иХх ¿ж^т + J ! иХт ¿ж^т + J ! 7(т)иХт ¿ж^т о о о -1 о о

4 о 4 1

+ / I и2 ¿ж^т + ' ' "'(т)и2

- У у и2хт +у у т(т)иХхт

о -1 о о

где число к2 определяется функциями Л.(ж), 7(т), а С3 — функциями Л.(ж), 7(т), а(ж,4), Ь(ж,4), с(ж, 4), N (ж, 4).

Введем обозначение

о 1 о

*,,= / * + / ¿ж + / ¿ж

-1 о -1

1 о 1

+ / „(М) ¿ж + / ¿ж + / ¿ж.

о -1 о

Тогда следствием (34) будет неравенство

4

¿2(4) < и^ 22 (т) ¿(т), о

где И5 определяется функциями Л.(ж), 7(т), а(ж,4), Ь(ж, 4), с(ж,4), К (ж, 4).

Применяя лемму Гронуолла, из этого неравенства получим 22(4) = 0 при 4 €= [О,?1], откуда имеют место тождества = 0 в (Зх, = 0 в (32.

Теорема доказана.

Теорема 4. Пусть выполняются условия (8)-(12). Тогда для любой функции /(ж, 4) из пространства Ь2(^) задача сопряжения II' имеет решение и(ж, 4), принадлежащее пространству ^.

Доказательство теоремы также основано на методе продолжения по параметру [33, с. 146-148]. Рассматривается задача: найти решение уравнения (6) такое, что для него выполняются условия (2), (3), а также условия (4д) и (5д). Л — это множество чисел А из отрезка [0,1], для которых исследуемая задача разрешима в пространстве ^ для любой функции /(ж, 4), принадлежащей пространству Ь2(^). Если множество Л непусто, открыто и замкнуто, то оно будет совпадать со всем отрезком [0,1].

Множество Л непусто в силу разрешимости задачи (6), (2), (3), (4д), (5д) при А = 0 [36]. Для доказательства открытости и замкнутости множества Л достаточно показать наличие для всех решений исследуемой задачи равномерной по априорной оценки вида

Для получения необходимой оценки умножим уравнение (6) на выражение итт — -^¡(Ь(х)ихт) и проинтегрируем по области (¿1, умножим уравнение (6) на 7(¿)(итт — ^(к(х)ихт)) и проинтегрируем по области €¿2, затем полученные равенства суммируем. Интегрируя по частям, используя условия теоремы, неравенства (*), Гельдера, Юнга, как и выше, получим

* о

* 1

* о

* 1

оо

* о

оо

J ! и2т ¿ж^т + J ! 7(т)и^т ¿ж^т + J ! ихт ¿ж^т + J ! 7(т)ихт ¿ж^т

о -1 * 1

Л^<т >

оо

* о

J ! /2(ж,т) ¿ж^т + J ! 7(т)/2(ж, т) ¿ж^т

иххт ¿ж^т +

)иххт ¿ж^т

о1

< С

о -1

оо

где кз определяется функциями Л.(ж), 7(т), а С4 определяется Л и функциями Л.(ж), 7 (т), а(ж,£), Ь(ж, £), с(ж,£), К (ж, £).

Из неравенства (36) нетрудно получить оценку (35). Таким образом, множество Л непусто, открыто и замкнуто и, следовательно, исходная задача разрешима в пространстве V. Теорема доказана.

к

з

ЛИТЕРАТУРА

1. Гельфанд И. М. Некоторые вопросы анализа и дифференциальных уравнений // Успехи мат. наук. 1959. Т. 14, вып. 3. С. 3-19.

2. Олейник О. А. Краевые задачи для линейных уравнений эллиптического и параболического типов с разрывными коэффициентами // Изв. АН СССР. Сер. мат. 1961. Т. 25. № 1. С. 3-20.

3. Ильин В. А. О разрешимости задач Дирихле и Неймана для линейного эллиптического оператора с разрывными коэффициентами // Докл. АН СССР. 1961. Т. 137, № 1. С. 2830.

4. Ильин В. А. Метод Фурье для гиперболического уравнения с разрывными коэффициентами // Докл. АН СССР. 1962. Т. 142, № 1. С. 21-24.

5. Ильин В. А., Шишмарев И. А. Метод потенциалов для задач Дирихле и Неймана в случае уравнения с разрывными коэффициентами // Сиб. мат. журн. 1961. Т. 2, № 1. С. 46-58.

6. Ладыженская О. А., Солонников В. А., Уральцева Н. Н. Линейные и квазилинейные уравнения параболического типа. М.: Наука, 1967.

7. Ильин В. А., Луференко П. В. Смешанные задачи, описывающие продольные колебания стержня, состоящего из двух участков, имеющих разные плотности, разные упругости, но одинаковые импедансы // Докл. АН. 2009. Т. 428, № 1. С. 12-15.

8. Андропова О. А. Спектральные задачи сопряжения с поверхностной диссипацией энергии // Тр. ИПММ НАН Украины. 2009. Т. 19. С. 10-22.

9. Рогожников А. М. Исследование смешанной задачи, описывающей процесс колебаний стержня, состоящего из нескольких участков, при условии совпадения времени прохождения волн по каждому из этих участков // Докл. АН. 2012. Т. 441, № 4. С. 449-451.

10. Кулешов А. А. Смешанные задачи для уравнения продольных колебаний неоднородного стержня со свободным либо закрепленным правым концом, состоящего из двух участков разной плотности и упругости // Докл. АН. 2012. Т. 442, № 4. С. 451-454.

11. Рогожников А.М. Исследование смешанной задачи, описывающей процесс колебаний стержня, состоящего из нескольких участков с произвольными длинами // Докл. АН. 2012. Т. 444, № 5. С. 488-491.

12. Смирнов И. Н. О колебаниях, описываемых телеграфным уравнением в случае системы, состоящей из нескольких участков разной плотности и упругости // Дифференц. уравнения. 2012. Т. 49, № 5. С. 643-648.

13. Бицадзе А.В. Уравнения смешанного типа. М.: Изд-во АН СССР, 1959.

14. Ладыженская О. А., Ступялис Л. Об уравнениях смешанного типа // Вестн. ЛГУ. 1967. № 18. С. 38-46.

15. Смирнов М. М. Уравнения смешанного типа. М.: Наука, 1970.

16. Ладыженская О. А., Ступялис Л. Краевые задачи для уравнений смешанного типа // Тр. МИАН СССР. 1971. Т. 116. С. 101-136.

17. Ступялис Л. Краевые задачи для эллиптико-гиперболических уравнений // Тр. МИАН СССР. 1973. Т. 125. С. 211-229.

18. Терсенов С. А. Введение в теорию уравнений параболического типа с меняющимся направлением времени. Новосибирск: Ин-т математики, 1982.

19. Джураев Т. Д. Краевые задачи для уравнений смешанного и смешанно-составного типов. Ташкент: Фан, 1986.

20. Моисеев Е. И. Уравнения смешанного типа со спектральным параметром. М.: Изд-во Моск. ун-та, 1988.

21. Сабитов К.Б., Мартемьянова Н.В. Обратная задача для уравнения эллиптико-гипербо-лического типа с нелокальным граничным условием // Сиб. мат. журн. 2012. Т. 53, № 3. С. 633-647.

22. Кожанов А. И. Задача сопряжения для одного класса уравнений составного типа пермен-ного направления // Неклассические уравнения математической физики. Новосибирск: Ин-т математики СО РАН, 2002. С. 96-109.

23. Bouziani A., Merazga N. Solution to a transmission problem for quasilinear pseudoparabolic equations by the Rothe method // Electronic Journal of Differential Equ. 2007. № 14. P. 1-27.

24. Шубин В. В. Краевые задачи для уравнений третьего порядка с разрывным коэффициентом // Вестн. НГУ. Сер. Математика, механика, информатика. 2012. Т. 12, № 1. С. 126-138.

25. Potapova S. V. Boundary value problems for pseudohyperbolic equations with a variable time direction // TWMS J. Pure Appl. Math. 2012. V. 3, № 1. P. 73-91.

26. Кожанов А. И., Шарин Е. Ф. Задача сопряжения для некоторых неклассических дифференциальных уравнений высокого порядка // Укр. мат. вюник. 2014. Т. 11, № 2. С. 181202.

27. Кожанов А. И., Потапова С. В. Задача Дирихле для одного класса уравнений составного типа с разрывным коэффициентом при старшей производной // Дальневост. мат. журн. 2014. Т. 14, № 1. С. 48-65.

28. Антипин В.И. Разрешимость краевой задачи для уравнения третьего порядка с меняющимся направлением времени // Мат. заметки ЯГУ. 2011. Т. 18, № 1. С. 8-15.

29. Pyatkov S. G., Popov S., Antipin V. I. On solvability of boundary value problem for kinetic operator-differential equations // Integral Equ. Operator Theory. 2014. V. 80, № 4. P. 557580.

30. von Petersdorff T. Boundary integral equations for mixed Dirichlet, Neumann and transmission problems // Math. Meth. Appl. Sci. V. 11. 1989. P. 185-213.

31. Никольский Д. Н. Эволюция раздела различных жидкостей в неоднородных слоях // Журн. вычисл. математики и мат. физики. 2010. Т. 50, № 7. С. 1269-1275.

32. Никольский Д. Н. Трехмерная эволюция границы загрязнения в ограниченной кусочно-пористой среде // Журн. вычисл. математики и мат. физики. 2011. Т. 51, № 5. С. 913-919.

33. Треногин В. A. Функциональный анализ. М.: Физматлит, 2007.

34. Соболев С. Л. Об одной краевой задаче математической физики // Изв. АН СССР. Сер. мат. 1954. Т. 18, № 2. С. 3-50.

35. Демиденко Г. В. Уравнения и системы, не разрешенные относительно старшей производной Новосибирск: Науч. кн., 1998.

36. Kozhanov A. I. Composite type equations and inverse problems. Utrecht: VSP, 1999.

37. Sviridyuk G. A., Fedorov V. E. Linear Sobolev type equations and degenerate semigroup of operators. Utrecht: VSP, 2003.

38. Hayashi N., Kaikina E. I., Naumkin P. I., Shishmarev I. A. Asymptotic for dissipative nonlinear equations. Berlin; Heidelberg: Springer-Verl., 2006.

39. Свешников А. Г., Альшин А. Б., Корпусов М. О., Плетнер Ю. Д. Линейные и нелинейные уравнения соболевского типа. М.: Физматлит, 2007.

40. Корпусов М. О. Разрушение в неклассических нелокальных уравнениях. М.: Либроком, 2011.

Статья поступила 1 августа 2016 г. Григорьева Александрв Ивановна

Северо-Восточный федеральный университет имени М. К. Аммосова,

ул. Кулаковского, 48, Якутск 677000

shadrina_ai

MaTemaTH^ecKHe 3ameTKH CB&y Mm^b—ceHTa6pb, 2016. TOM 23, № 3

UDC 517.946

THE CONJUGATION PROBLEM FOR PSEUDOPARABOLIC AND PSEUDOHYPERBOLIC EQUATIONS A. I. Grigorieva

Abstract. We study solvability of a conjugation problem for pseudoparabolic and pseudohyperbolic equations. The equations are considered as equations with discontinuous coefficients. We prove the existence and uniqueness theorem using natural parameter continuation.

Keywords: pseudoparabolic equation, pseudohyperbolic equation, discontinuous coefficient, conjugation problem.

REFERENCES

1. Gelfand I. M. "Some questions of analysis and differential equations," Usp. Mat. Nauk, 14, No. 3, 3-19 (1959).

2. Oleinik O. A. "Boundary value problems for linear equations of elliptic and parabolic type with discontinuous coefficients," Izv. AN USSR, Ser. Mat., 25, No. 1, 3-20 (1961).

3. Ilyin V. A. "On the solvability of the Dirichlet and Neumann problems for linear elliptic operator with discontinuous coefficients," Dokl. Akad. Nauk, 137, No. 1, 28-30 (1961).

4. Ilyin V. A. "Fourier method for hyperbolic equations with discontinuous coefficients," Dokl. Akad. Nauk, 142, No. 1, 21-24 (1962).

5. Ilyin V. A. and Shishmarev I. A. "Potential method for the Dirichlet and Neumann problems in the case of equations with discontinuous coefficients," Sib. Math. J., 2, No. 1, 46-58 (1961).

6. Ladyzhenskaya O. A., Solonnikov V. A., and Uraltseva N. N., Linear and quasilinear parabolic equations [in Russian], Nauka, Moscow, 1967.

7. Ilyin V. A. and Luferenko P. V. "Mixed problems describing the longitudinal vibrations of a rod consisting of two segments with different densities, different elastic, but the same impedances," Dokl. Math., 428, No. 1, 12-15 (2009).

8. Andropova O. A. "Spectral problems interfacing with surface dissipation of energy," Tr. Inst. Prikl. Mat. Mekh., 19, 10-22 (2009).

9. Rogozhnikov A. M. "Study of the mixed problem, describing the process of shaft vibrations, which consists of several sections, provided match the transit time of waves in each of these areas," Dokl. Math., 441, No. 4, 449-451 (2012).

10. Kuleshov A. A. "Mixed problem for the equation of longitudinal vibrations of an inhomogene-ous bar with a free or fixed right end, consisting of two sections of different density and elasticity," Dokl. Math., 442, No. 4, 451-454 (2012).

11. Rogozhnikov A. M. "Study of the mixed problem, describing the process of shaft vibrations, consisting of several sections with arbitrary lengths," Dokl. Math., 444, No. 5, 488-491 (2012).

12. Smirnov I. N. "Oscillations described by the telegraph equation for a system consisting of several sections of different density and elasticity," Differ. Equ., 49, No. 5, 643-648 (2012).

13. Bitsadze A. V., Mixed type equations, AN USSR, Kiev (1959).

14. Ladyzhenskaya O. A. and Stupyalis L. "About mixed type equations," Vestn. Leningrad. Univ., No. 18, 38-46 (1967).

15. Smirnov I. N., Mixed type equations, Nauka, Moscow (1970).

© 2016 A. I. Grigorieva

16. Ladyzhenskaya O. A. and Stupyalis L. "Boundary value problems for mixed type equations," Tr. Mat. Inst. Steklova, 116, 101-136 (1971).

17. Stupyalis L. "Boundary value problems for for elliptic-hyperbolic equations," Tr. Mat. Inst. Steklova, 125, 211-229 (1973).

18. Tersenov S. A., Introduction to the theory of parabolic equations with a varying direction of time, Inst. Mat., Novosibirsk (1982).

19. Juraev T. D., Boundary value problems for equations of mixed and mixed-composite types, Fan, Tashkent (1986).

20. Moiseev E. I., Mixed type equations with a spectral parameter, Izd. Moskov. Univ., Moscow (1988).

21. Sabitov K. B. and Martemyanova N. V. "The inverse problem for an equation of elliptic-hyperbolic type with a nonlocal boundary condition," Sib. Math. J., 53, No. 3, 633-647 (2012).

22. Kozhanov A. I. "A conjugation problem for a class of composite type equations with changing direction," in: Nonclassical Equ. Math. Phys., Inst. Math., Novosibirsk, 96-109 (2002).

23. Bouziani A. and Merazga N. "Solution to a transmission problem for quasilinear pseudopara-bolic equations by the Rothe method," Electron. J. Differ. Equ., No. 14, 1-27 (2007).

24. Shubin V. V. "Boundary problems for third-order equations with discontinuous coefficients," Vestn. Novosib. Gos. Univ., 12, No. 1, 126-138 (2012).

25. Potapova S. V. "Boundary value problems for pseudohyperbolic equations with a variable time direction. TWMS," J. Pure Appl. Math., 3, No. 1, 73-91 (2012).

26. Kozhanov A. I. and Sharin E. F. "A conjugation problem for some nonclassical differential equations of higher order," Ukr. Mat. Vestn., 11, No. 2, 181-202 (2014).

27. Kozhanov A. I. and Potapova S. V. "The Dirichlet problem for a class of composite type equations with a discontinuous coefficient of the highest derivative," Dalnevost. Math. J., 14, No. 1, 48-65 (2014).

28. Antipin V. I. "The solvability of the boundary value problem for a third-order equation with changing time direction," Mat. Zamet. YaGU, 18, No. 1, 8-5 (2011).

29. Pyatkov S. G., Popov S., and Antipin V. I. "On solvability of boundary value problems for kinetic operator-differential equations," Integral Equ. Operator Theory, 80, No. 4, 557-580 (2014).

30. Von Petersdorff T., "Boundary integral equations for mixed Dirichlet, Neumann and transmission problems," Math. Mech. Appl. Sci. 11, 185-213 (1989).

31. Nikolskiy D. N. "Evolution section of various liquids in non-uniform layers," Comput. Math. Math. Phys., 50, No 7, 1269-1275 (2010).

32. Nikolskiy D. N. "The three-dimensional pollution in the border bounded by a piecewise-porous medium," Comput. Math. Math. Phys., 51, No. 5, 913-919 (2011).

33. Trenogin V. A., Functional analysis, Fizmatlit, Moscow (2007).

34. Sobolev S. L., "On a boundary problem of mathematical physics," Izv. Akad. Nauk, 18, No. 2, 3-50 (1954).

35. Demidenko G. V., Equations and systems unsolvable with respect to the higher derivative, Nauchn. Kniga, Novosibirsk (1998).

36. Kozhanov A. I., Composite type equations and inverse problems, VSP, Utrecht (1999).

37. Sviridyuk G. A. and Fedorov V. E., Linear Sobolev type equations and degenerate semigroup of operators, VSP, Utrecht (2003).

38. Hayashi N., Kaikina E. I., Naumkin P. I., and Shishmarev I. A., Asymptotic for dissipative nonlinear equations, Springer-Verl., Berlin; Heidelberg (2006).

39. Sveshnikov A. G., Alshin A. B., Korpusov M. equations of Sobolev type, Fizmatlit, Moscow

40. Korpusov M. O., The destruction of solutions kom, Moscow (2011).

O., and Pletner Yu. D., Linear and non-linear (2007).

in the nonclassical non-local equations, Libro-

Submitted August 1, 2016 Alexandra Ivanovna Grigorieva

M. K. Ammosov North-Eastern Federal University, Institute of Mathematics and Informatics, 48 Kulakovskii Street, Yakutsk 677000, Russia shadrina_ai@mail. ru