Научная статья на тему 'ФОРМУЛА РЕШЕНИЯ СМЕШАННОЙ ЗАДАЧИ ДЛЯ ГИПЕРБОЛИЧЕСКОГО УРАВНЕНИЯ'

ФОРМУЛА РЕШЕНИЯ СМЕШАННОЙ ЗАДАЧИ ДЛЯ ГИПЕРБОЛИЧЕСКОГО УРАВНЕНИЯ Текст научной статьи по специальности «Математика»

CC BY
53
4
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
смешанная задача / гиперболические уравнения / разрывные функции / задача Коши / интеграл Дюамеля / формула Пуассона / mixed problem / hyperbolic equations / discontinuous functions / Cauchy problem / Duhamel integral / Poisson formula

Аннотация научной статьи по математике, автор научной работы — Аниконов Дмитрий Сергеевич, Коновалова Дина Сергеевна

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

FORMULA FOR SOLVING A MIXED PROBLEM FOR A HYPERBOLIC EQUATION

The initial boundary value problem for a second-order differential equation, which is a mathematical model of the process of transverse vibrations of a semi-bounded membrane, is investigated. More precisely, we consider the wave equation for the case of two spatial variables together with the initial conditions, as well as with data on the boundary plane. The coefficient of the equation is considered constant, and all known functions have continuous and bounded partial derivatives up to and including the third order. The existence and uniqueness theorem of the classical solution of the problem is proved and an explicit formula for it is given. Among the closest studies, first of all, the fundamental works of academicians O. A. Ladyzhenskaya and V. A. Ilyin are noted, in which the theorems of the existence and uniqueness of the solution of mixed problems are proved, provided that spatial variables belong to a bounded set, which does not allow taking into account, for example, the variant of a semi-bounded membrane. Our other notable difference from the above results is the proof of a Poisson-type formula, previously known for the Cauchy problem. The presence of a relatively simple formula opens up the possibilities of other studies. In particular, it seems promising to use the proven explicit solution formula for the formulation and analysis of inverse problems, as it is widely used in the theory of ill-posed problems. Some part of the article contains methods that are quite typical for the theory of wave equations. At the same time, there are also significant differences, which, first of all, include the analysis of a Duhamel-type integral containing a discontinuous function under the integral, while the traditional Duhamel integral contains only smooth functions. As a result, a special detailed study of the properties of such an unusual object was required. In general, the work performed can be considered as the development of existing achievements, as well as an element of the qualitative theory of mixed problems for wave equations.

Текст научной работы на тему «ФОРМУЛА РЕШЕНИЯ СМЕШАННОЙ ЗАДАЧИ ДЛЯ ГИПЕРБОЛИЧЕСКОГО УРАВНЕНИЯ»

Владикавказский математический журнал 2023, Том 25, Выпуск 2, С. 5-13

УДК 517.958

DOI 10.46698/t1512-6666-1874-h

ФОРМУЛА РЕШЕНИЯ СМЕШАННОЙ ЗАДАЧИ ДЛЯ ГИПЕРБОЛИЧЕСКОГО УРАВНЕНИЯ*

i

Д. С. Аниконов1, Д. С. Коновалова1

Институт математики им. С. Л. Соболева СО РАН, Россия, 630090, Новосибирск, пр. Ак. Коптюга, 4 E-mail: anik@math.nsc.ru, dsk@math.nsc.ru

Аннотация. Исследуется начально-краевая задача для дифференциального уравнения второго порядка, являющегося математической моделью процесса поперечных колебаний полуограниченной мембраны. Точнее говоря, рассматривается волновое уравнения для случая двух пространственных переменных вместе с начальными условиями, а также с данными на граничной плоскости. Коэффициент уравнения считается постоянным, а все известные функции имеют непрерывные и ограниченные частные производные до третьего порядка включительно. Доказана теорема существования и единственности классического решения задачи и приводится явная формула для него. Из наиболее близких исследований, прежде всего отмечаются фундаментальные работы академиков О. А. Ладыженской и В. А. Ильина, в которых доказаны теоремы существования и единственности решения смешанных задач при условии принадлежности пространственных переменных ограниченному множеству, что не позволяет учесть, например, вариант полуограниченной мембраны. Другим заметным нашим отличием от упомянутых результатов является вывод формулы типа Пуассона, известной ранее для задачи Коши. Наличие сравнительно простой формулы открывает возможности других исследований. В частности, представляется перспективным использовать доказанную явную формулу решения для постановки и анализа обратных задач, как это широко применяется в теории условно-корректных задач. Некоторая часть статьи содержит рассуждения, довольно типичные для теории волновых уравнений. Вместе с тем, имеются и существенные отличия, к которым, прежде всего, можно отнести анализ интеграла типа Дюамеля, содержащего под интегралом разрывную функцию, в то время как традиционный интеграл Дюамеля содержит только гладкие функции. Вследствие этого, потребовалось специальное подробное исследование свойств такого необычного объекта. В целом выполненную работу можно рассматривать, как развитие уже имеющихся достижений, а также как элемент качественной теории смешанных задач для волновых уравнений. Ключевые слова: смешанная задача, гиперболические уравнения, разрывные функции, задача Коши, интеграл Дюамеля, формула Пуассона. AMS Subject Classification: 35A05, 35L20.

Образец цитирования: Аниконов Д. С., Коновалова Д. С. Формула решения смешанной задачи для гиперболического уравнения // Владикавк. мат. журн.—2023.—Т. 25, вып. 2.—С. 5-13. DOI: 10.46698/t1512-6666-1874-h.

В области С = {(х1, х2,£) : х1 € М1, х2 > 0, £ > 0} рассматривается смешанная задача для волнового уравнения:

1. Обозначения, определения и постановка задачи

u(x, 0) = <p(x), ut(x, 0) = ф(х), u(x1,0, t) = y(x1,t).

# Работа выполнена по программе госзадания, проект № FWNF-2022-0009. © 2023 Аниконов Д. С., Коновалова Д. С.

Решение этой задачи ищется в классе функций имеющих частные производ-

ные до второго порядка включительно, равномерно непрерывные в любой ограниченной области в О. При этом предполагается, что 'ф(х), <^(х), имеют все непрерывные

производные до третьего порядка включительно.

Из других публикаций подобной направленности, прежде всего, нужно указать на работы О. А. Ладыженской, В. А. Ильина и А. Н. Тихонова [1—3], в которых для широкого класса гиперболических уравнений второго порядка ставились и исследовались смешанные задачи. Ими доказаны теоремы существования и единственности решений, понимаемых в классическом и обобщенном смысле. Однако случай принадлежности пространственных переменных неограниченному множеству не был ими охвачен. Более точно в [1] была рассмотрена задача для неограниченных областей, но за счет дополнительных требований эта задача сводилась к предыдущему варианту с ограниченной областью. В этом состоит одно из отличий настоящей работы от упомянутых здесь.

В широком смысле, наша статья является вариантом обобщения классических результатов, расширяющим возможность применения теоретических результатов на практике. При более широком обзоре темы также можно отметить некоторые публикации, содержащие различные другие обобщения классических задач [4-10].

В дальнейшем будем использовать следующие обозначения: Б(х, Я) = {£ = (£1,^2) : |х — £| < Я}, □ ам(х,£) — левая часть уравнения (1).

Задача (1) сводится к эквивалентной задаче для функции -и(х,£) = и(х,£) —

□а-и(х,£) = /(хь£), v(x, 0) = ^ч(х), vt(x, 0) = ^(х), -и(хь 0, ¿) = 0, (2)

где

^ч(х) = <^(х) — ^(хь 0), ^(х) = 'ф(х) — ^(хь 0), /(х1, ¿) = -□а^(хь£). (3)

В свою очередь, решение задачи (2) представим в виде суммы решений двух более простых задач V = v1 + v2:

о

□о«1=0, ы(х,0) =<Р1(х), -!£-(х,0) = гр1(х), ы(х1,0,г) = 0, (4)

от

□а^2 = /, У2(х,0)=0, ^(ж,0)=0, У2(х\,0, ¿) = 0. (5)

Для корректности задач (4), (5) необходимо добавить условия согласования начальных и краевых данных. Отметим, что уравнения в (4), (5) выполняются также и в граничных точках области О. Соответственно везде в дальнейшем будем считать, что

ЫХ1,0)=0, 1,0)= 0, ^1(Ж1,0)=0, Щ-(хъ0)=0, /(жь0)=0.

Для исходных данных эти условия можно переписать в виде:

<р( жь0) =/х(жь0), ^^-(ж1,0)=0, ф(х1,$) = /х4(жь0),

1.0) = 0, ^ (Ж!, 0) - а2^ (Ж!, 0) = 0. (6)

2. Основной результат

Для решения задачи (4) используем известный метод отражения [3, с. 412]. Для этого функции <^(х) и ^(х) продолжим нечетным образом для Х2 < 0 и обозначим эти продолжения через $1(х), Ф1(х) соответственно. Принятые нами условия согласования обеспечивают принадлежность этих продолжений пространствам С3(^), где V — любая ограниченная область переменных (х1 ,х2). Тогда справедлива классическая формула Пуассона:

2па

гЯ ] иаЧ2 - |£-ж|2

Б(х,аЬ)

+

Ф1(0 ^

Б(х,а4)

VаЧ2 - |£-ж|2

(7)

Аналогичный подход будем также использовать для задачи (5). Рассмотрим два варианта продолжения функции /(х1;£) по х2: (х1;х2,£) = /(х1;£) при всех х2; (х1;х2,£) = /(х1,£) для х2 ^ 0 и ^2(х1, х2, £) = —/(х1,£) для х2 < 0. Функция ^2(х,£) оказывается нечетной по х2 с возможным разрывом в точках (х1, 0). Будем использовать функцию (х,£) в качестве правой части в задаче (5) вместо функции /(х1;£). Однако здесь мы не можем воспользоваться традиционным подходом, основанном на известной формуле Дюамеля, в которой предполагается гладкость правой части уравнения.

Для точек (х,£), х2 > 0, аЬ > х2 определим множество В-(х,Я) = {£ : |х — £| < Я, £2 < 0}, где Я = а(Ь — т), и интеграл

Ь-Х2 /а

3 (х,Ь) =

0 Б- (х,Я)

/(6, т)<%йт

(8)

Лемма 1. Для точек (х, £), 0 ^ х2 ^ аЬ, функция 3(х,£) имеет непрерывные частные производные до второго порядка включительно и удовлетворяет уравнению □а3(х, £) = 0. Кроме того, на плоскости х2 = функция 3(х, £) и ее частные производные до второго порядка включительно обращаются в нуль.

< Функцию 3(х, £) запишем в виде повторных интегралов:

3 (х,Ь) =

^Т /

Ж1 —-у/Д2—

(

\

/ (£1,Т) ¿£2

¿£1. (9)

/

Легко проверить, что

3 (х,Ь) = У ^т У / (£1,т)

агееов

х2

Меняя в (10) порядок интегрирования, получаем

/ / (£1,т) агееов

(10)

3 (х,Ь)= У

х2

жх —-у/а^Т2—а

^Т.

(11)

1

2

0

2

2

2

Теперь вычислим частные производные функции J(x,t). Заметим, что

t — \J(£1 — х\)2 + x\¡a = 0, {i = x\ ± \Ja2t2 — а также arceos^/\/R2 — (£i — Xi)2) = 0 при r = t — \¡(¿¡i — X\)2 + x\ja. Поэтому

x-i + ^Ja2t2—x 2 t— x-i)2+x\/a

dJ(x t) f f д X2

—7Г-—= / d£ i / f(£i, r)—arceos—, dr

dt J_ U J MU' ^fí2 - (6 - Ж1)2

_1 2 _ (12)

x-i+^a2t2—í— -y/(£i —iEi)2+iE2/a

i__J s/R2 - (Í1 - *02 - ^(ñ2 - (6 - H)2)

X\ — sJ O? t2—X 2 0

Внутренний интеграл в (12), с учетом равенства f (£i, 0) = 0, преобразуем при помощи интегрирования по частям и получим:

t-^J^i-x-i^+xl/a

f f (£i,t) ■ a2(t - т) ■ X2

v/R2_{ÍI_XI)2_X2{R2 _ (6 _ Xl)2)

dT

í JV^W*-«.-*.)»-^

0

t-VCeT^lj^Ñl/a

d_ í /(£l,r) -Ж2 <9r \ fí2 — (6 -^i)2

_ (6 _ Xl)2 -x2^{ ) dr. (i3)

Поэтому

XI + л/а? t2—x 2 í— -y/(Íi—xij^+xf/a

g2J(M) f f

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

—dF~~ = J díl J

x\ — sj a2t2—x\ 0

д

x ft (vg - к. - »o» - ^ ■^ <")

Аналогичным образом получаем

ici + yVí2-ii:¡ í- y^gi-ici)2+ii:¡/a.

dJ(x,t) f f f (£i,t)(£i - xi) X2 dT

- c¡4i

l__J л/R2 ~ (6 " ^i)2 " x2{R2 - (6 - xi)2)

X\ — ^J o? t2—x?¡ 0

ici + yVí2-ii:¡ í—a;i)2+x|/a

l j ^2_(6_Ж1)2_Ж2

2t2_x2 0

^ леыкб-^ (15)

l — ^Ja2t2—x2

дт V(R2 - (£i - xi)2)a2(t - T)

дх1

+л/аЧ^-х22 Ь-^^-х^+хЦа

¿£1

хх —-у/а2/:2 —а

' 9т ия2 - (6 -Ж1)2)а2^-г)

д3 (х,Ь)

Ж1 + у/а242^с| -у/ )2+х1/а

дх2

¿£1

/ (£1,Т )ЙТ

жх —-у/а2/2—а

¿Т, (16)

(17)

дх2

Ж1 + у/о2*2^с| /--у/ Ж1)2+ж|/а

¿£1

жх —-у/а2/2—а

дх2 V

гУ-х. , д ( / (£1,т)

д2.](х,г) дЬдх,-

а:1+-у/а2/2—а^ — д/ (^1 —Ж1)2 /а

¿£1

а¡1 —-у/а,2/;2—а

дт \а2(£ — т)

( ж2\/Я2 - (£1 - Ж1)2 -

д / / (£1,т)

¿т, (18)

дхг

дт VЯ2 — (£1 — х1)2

¿т. (19)

Используя равенства (14), (16), (18), запишем

□ а3 (х,Ь) = У

а:1 + -уЛА2— а?2 /—-у/(§1—жГ^+а^/а

¿£1

/(х, Ь, £1, т) ^т,

(20)

— -у/а2/2—а

где

—а2—— ( £1, т)-^-

дх

д/ /(£1,т)(£1 — х1)

дт \а2Я(х, Ь, £1, т)(£ — т)

,2 д + , л д / /(£1, т)

(21)

У (ж, £ь г) = ^/я2 - (£1 -Ж1)2 Я (ж, £ь г) = Е2 - (£1 - Ж1)2.

(22)

Опуская для краткости аргументы функций, прямыми вычислениями убеждаемся в том, что

д2 (/

I = V

( д2 /А _ (Цх-хЩ \dtdr \н) дхгдт V &-т)Н )

д

/

= -V-

д

/

+

а2/

д

дт — т)яу VЯ дт — т)Я

дт V Ь — т

V/

2

2

2

2

2

2

2

2

х

2

2

Обратимся теперь к равенству (20). Заметим, что V(x,t,£i,t — д/(6 — Х\)2 + х\/а) = 0 и f (£i, 0) = 0. Таким образом, оказывается, что подынтегральное выражение в (20) оказывается производной по т от функции, обращающейся в нуль в верхнем и нижнем пределах интегрирования по т. Следовательно, □ a J(x, t) = 0.

Теперь докажем остальные утверждения леммы. Что касается непрерывности функции J(x,t) и ее производных, то это свойство является прямым следствием формул (9), (12)-(19). Осталось доказать обращение в нуль на плоскости x2 = at функции J(x,t) и ее производных. Отметим, что t — т ^ const > 0 и H ^ const > 0 при x2 ^ 5 > 0. Поэтому в формулах (9), (12)-(19), представляющих функцию J(x,t) и ее производные, неограниченными множителями подынтегральных выражений могут быть только функции 1/V, интегралы от которых по т ограничены по модулю единым числом. Поскольку при at — X2 ^ 0 промежуток интегрирования по £i стягивается в точку, соответствующие интегралы стремятся к нулю, что и означает справедливость доказываемых свойств при Х2 ^ 5 > 0. В силу произвольности 5, указанные свойства, а следовательно, и лемма 1 доказаны полностью. >

Теорема 1. При сделанных предположениях существует единственное решение задачи (1), которое представляется в виде

Чх>*>-№>*) +2*adt J y/a4*-\£-x\*

B(x,at)

2тгa J JaH2 -\i~ x\2 (24)

B(x,at)

t

2тгa J J ^a2(i-r)2-|e-x|2 V дт2 dg J ^

0 B(x,a(t-T))

< Будем использовать функции F1 (x,t), F2(x,t), введенные после формулы (7). Рассмотрим интеграл типа Дюамеля при at > Х2

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

t

U(х, t) = —f (It [ , f (25)

2тгa J J \/a2(t — r)2 — — x|2

0 B(x,a(t-T)) который можно представить в виде

t

U(x,t) = —f (It [ _2J(M)

2тгa J J \/a2(t — r)2 — — x\2 2vra

0 B(x,a(t-T))

где функция J(x,t) определена равенством (8). Свойства второго слагаемого в правой части (26) указаны в лемме. Что касается первого слагаемого, то мы не можем считать его классическим интегралом Дюамеля, поскольку функция F\(x,t) имеет непрерывные производные только первого порядка. Однако то обстоятельство, что F\(x,t) не зависит от Ж2, позволяет методом спуска убедиться в том, что этот интеграл есть решение уравнения в (5). Поэтому □ aU(x,t) = f(x1,t). Заметим, что при x2 = 0 интеграл U(x,t) = 0, вследствие нечетности подынтегральной функции и симметрии области интегрирования

по £2- Также нетрудно видеть, что U (ж, 0) = Ut (ж, 0) = 0. Если продолжить нулем функцию J(x,t) для at ^ Ж2, то, вследствие доказанных в лемме свойств функции J(ж, t), функция U(x,t) оказывается решением задачи (5). Учитывая редукцию задачи (1) к задачам (2), (4), (5), складывая полученные решения и выражая в формулах (7) и (25) подынтегральные функции через исходные данные задачи (1), получаем формулу (24).

Докажем теперь единственность решения задачи (1). Напомним, что уравнение □au = 0 выполняется также и в граничных точках. Возьмем два решения этой задачи ui и u2. Их разность w = ui — u2 удовлетворяет равенствам □ aw = 0, w(x, 0) = wt(x, 0) = w(xi, 0,t) = 0, вследствие чего функция w(x,t) и ее вторая производная по ж2 равны нулю при Ж2 = 0. Поэтому нечетное продолжение функции w(x, t) по Ж2 оказывается классическим решением задачи Коши для уравнения □ aw = 0 с нулевыми начальными данными. В силу единственности решения такой задачи, w = 0. Таким образом, теорема доказана полностью. >

Еще одним отличием нашей работы от упомянутых выше [1, 2] является наличие простой формулы (24), позволяющей легко построить численный алгоритм. Кроме того, важно отметить, что подобные явные представления широко используются в теории обратных и условно-корректных задач. В подтверждение этой связи укажем на многочисленные публикации, которые можно найти, например, в списках литературы монографий [11-13].

В заключение обсудим некоторые аспекты выполненного исследования. Как видно, основная часть работы посвящена анализу интеграла типа Дюамеля, определенного формулой (25), где используется функция F2(x1 ,x2,t), вообще говоря, разрывная при ж2 = 0. Соответственно, статью можно было бы назвать «Обобщенный интеграл Дюамеля», однако в нашем случае функция F2(ж1,ж2^) оказывается кусочно-постоянной по ж2, что снижает общность исследования. Это обстоятельство вызвано тем, что мы рассматривали случай нулевой правой части уравнения в (1). Было бы интересно исследовать и более общий случай.

Литература

1. Ладыженская О. А. Смешанная задача для гиперболического уравнения.—М.: Гостехиздат, 1953.— 279 с.

2. Ильин В. А. О разрешимости смешанных задач для гиперболического и параболического уравнений // Успехи матем. наук.—1960.—Т. 15, № 2(92).—С. 97-154.

3. Тихонов А. Н., Самарский А. А. Уравнения математической физики.—М.: Наука, 1977.—735 с.

4. Ильин В. А., Кулешов А. А. О некоторых свойствах обобщенных решений волнового уравнения из классов Lp и Wp при p > 1 // Дифференц. уравнения.—2012.—Т. 48, № 11.—С. 1493-1500. DOI: 10.1134/S0012266112110043.

5. Petrova G., Popov B. Linear transport équations with discontinuous coefficients // Comm. Part. Dif. Equat.—1999.—Vol. 24, № 9-10.—P. 1849-1873.

6. Куликовский А. Г., Свешникова Е. И., Чугайнова А. П. Математические методы изучения разрывных решений нелинейных гиперболических систем уравнений. Вып. 16.—М.: Изд. МИАН, 2010.— 120 с.

7. Корзюк В. И., Чеб Е. С., Ле Тхи Тху. Решение смешанной задачи для биволнового уравнения методом характеристик // Национальная академия наук Беларуси. Труды Института математики.— 2010.—Т. 18, № 2.—С. 36-54.

8. Яковлева Ю. О. Задача Коши для гиперболического уравнения и системы гиперболических уравнений третьего порядка с некратными характеристиками // Научные ведомости БелГУ. Сер. Математика. Физика.—2013.—№ 12(155), вып. 31.—С. 109-117.

9. Алексеева Л. А., Закирьянова Г. К. Обобщенные решения начально-краевых задач для гиперболических систем второго порядка // Журн. вычисл. матем. и матем. физ.—2011.—Т. 51, № 7.— P. 1280-1293.

10. Кожанов А. И., Пулькина Л. С. О разрешимости краевых задач с нелокальным граничным условием интегрального вида для многомерных гиперболических уравнений // Дифференц. уравнения.— 2006.-Т. 42, № 9.—P. 1166-1179.

11. Anikonov D. S., Kovtanyuk A. E., Prokhorov I. V. Transport equation and Tomography.—Utrecht-Boston: VSP, 2002.—viii+208 p.

12. Лаврентьев М. М., Савельев Л. Я. Теория операторов и некорректные задачи.—Новосибирск: Изд-во Ин-та мат-ки, 2010.—940 с.

13. Романов В. Г. Устойчивость в обратных задачах.—М.: Научный мир, 2005.—295 с.

Статья поступила 1 апреля 2022 г.

Аниконов Дмитрий Сергеевич

Институт математики им. С. Л. Соболева СО РАН,

заведующий лабораторией

РОССИЯ, 630090, Новосибирск, пр. Ак. Коптюга, 4 E-mail: anik@math.nsc.ru https://orcid.org/0000-0003-4056-0988

Коновалова Дина Сергеевна

Институт математики им. С. Л. Соболева СО РАН,

старший научный сотрудник

РОССИЯ, 630090, Новосибирск, пр. Ак. Коптюга, 4 E-mail: dsk@math.nsc.ru https://orcid.org/0000-0003-1200-4116

Vladikavkaz Mathematical Journal 2023, Volume 25, Issue 2, P. 5-13

FORMULA FOR SOLVING A MIXED PROBLEM FOR A HYPERBOLIC EQUATION

Anikonov, D. S.1 and Konovalova, D. S.1

1 Sobolev Institute of Mathematics of the Siberian Branch of the RAS, 4 Ac. Koptyuga Ave., Novosibirsk 630090, Russia E-mail: anik@math.nsc.ru, dsk@math.nsc.ru

Abstract. The initial boundary value problem for a second-order differential equation, which is a mathematical model of the process of transverse vibrations of a semi-bounded membrane, is investigated. More precisely, we consider the wave equation for the case of two spatial variables together with the initial conditions, as well as with data on the boundary plane. The coefficient of the equation is considered constant, and all known functions have continuous and bounded partial derivatives up to and including the third order. The existence and uniqueness theorem of the classical solution of the problem is proved and an explicit formula for it is given. Among the closest studies, first of all, the fundamental works of academicians O. A. Ladyzhenskaya and V. A. Ilyin are noted, in which the theorems of the existence and uniqueness of the solution of mixed problems are proved, provided that spatial variables belong to a bounded set, which does not allow taking into account, for example, the variant of a semi-bounded membrane. Our other notable difference from the above results is the proof of a Poisson-type formula, previously known for the Cauchy problem. The presence of a relatively simple formula opens up the possibilities of other studies. In particular, it seems promising to use the proven explicit solution formula for the formulation and analysis of inverse problems, as it is widely used in the theory of ill-posed problems. Some part of the article contains methods that are quite typical for the theory of wave equations. At the same time, there are also significant differences, which, first of all, include the analysis of a Duhamel-type integral containing a discontinuous function under the integral, while the traditional Duhamel integral contains only smooth functions. As a result, a special detailed study of the properties of such an unusual object was required. In general, the work performed can be considered as the development of existing achievements, as well as an element of the qualitative theory of mixed problems for wave equations.

Keywords: mixed problem, hyperbolic equations, discontinuous functions, Cauchy problem, Duhamel integral, Poisson formula.

AMS Subject Classification: 35A05, 35L20.

For citation: Anikonov, D. S. and Konovalova, D. S. Formula for Solving a Mixed Problem for a Hyperbolic Equation // Vladikavkaz Math. J., 2023, vol. 25, no. 2, pp. 5-13 (in Russian). DOI: 10.46698/ t1512-6666-1874-h.

References

1. Ladyzhenskaya, O. A. Mixed Problem for Hyperbolic Equation, Moscow, State Publishing House of Technical and Theoretical Literature, 1953, 279 p. (in Russian).

2. Il'in, V. A. The Solvability Of Mixed Problems For Hyperbolic And Parabolic Equatins, Russian Mathematical Surveys, 1960, vol. 15, no. 2, pp. 85-142. DOI: 10.1070/RM1960v015n02ABEH004217.

3. Tikhonov, A. N. and Samarskiy, A. A. Equations of Mathematical Physics, Moscow, Nauka, 1977, 735 p. (in Russian).

4. Ilyin, V. A. and Kuleshov, A. A. On Some Properties Of Generalized Solutions of the Wave Equation in the Classes Lp and Wp for p > 1, Differential Equations, 2012, vol. 48, no. 11, pp. 1470-1476. DOI: 10.1134/S0012266112110043.

5. Petrova, G. and Popov, B. Linear Transport Equations with Discontinuous Coefficients, Communications in Partial Differential Equations, 1999, vol. 24, no. 9-10, pp. 1849-1873.

6. Kulikovsky, A. G., Sveshnikova, E. I. and Chugainova, A. P. Mathematical Methods for Studying Discontinuous Solutions of Nonlinear Hyperbolic Systems of Equations, issue 16, Moscow, MIAN Publishing House, 2010, 120 p. (in Russian).

7. Korzyuk, V. I., Chebe, E. S. and Le Thi Thu Solution of a Mixed Problem for a Bi-Wave Equation by the Method of Characteristics, The National Academy of Sciences of Belarus. Proceedings of the Institute of Mathematics, 2010, vol. 18, no. 2, pp. 36-54 (in Russian).

8. Yakovleva, Y. O. The Cauchy Problem for a Hyperbolic Equation and a System of Hyperbolic Equations of the Third Order with Non-Multiple Characteristics, Scientific Bulletin, Ser. Mathematics. Physics, 2013, no. 12(155), issue 31, pp. 109-117 (in Russian).

9. Alexeyeva, L. A. and Zakir'yanova, G. K. Generalized Solutions of Initial-Boundary Value Problems for Second-Order Hyperbolic Systems, Computational Mathematics and Mathematical Physics, 2011, vol. 51, pp. 1194-1207. DOI: 10.1134/S0965542511070037.

10. Kozhanov, A. I. and Pulkina, L. S. On the Solvability of Boundary Value Problems with a Nonlocal Boundary Condition of Integral Form for Multidimensional Hyperbolic Equations, Differential Equations, 2006, vol. 42, no. 9, pp. 1233-1246. DOI: 10.1134/S0012266106090023.

11. Anikonov, D. S., Kovtanyuk, A. E. and Prokhorov, I. V. Transport Equation and Tomography, UtrechtBoston, VSP, 2002, viii+208 p.

12. Lavrentiev, M. M. and Saveliev, L. Ya. Operator Theory and Ill-Posed Problems, Novosibirsk, Publishing House of the Institute of Mathematics, 2010, 940 p. (in Russian).

13. Romanov, V. G. Stability in Inverse Problems, Moscow, Scientific World, 2005, 295 p. (in Russian).

Received April 1, 2022 Dmitry S. Anikonov

Sobolev Institute of Mathematics of the Siberian Branch of the RAS,

4 Ac. Koptyuga Ave., Novosibirsk 630090, Russia,

Head of Laboratory

E-mail: anik@math.nsc.ru

https://orcid.org/0000-0003-4056-0988

Dina S. Konovalova

Sobolev Institute of Mathematics of the Siberian Branch of the RAS,

4 Ac. Koptyuga Ave., Novosibirsk 630090, Russia,

Senior Researcher

E-mail: dsk@math.nsc.ru

https://orcid.org/0000-0003-1200-4116

i Надоели баннеры? Вы всегда можете отключить рекламу.