Научная статья на тему 'О корректной разрешимости задачи Коши для обобщенного телеграфного уравнения'

О корректной разрешимости задачи Коши для обобщенного телеграфного уравнения Текст научной статьи по специальности «Математика»

CC BY
260
38
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ТЕЛЕГРАФНОЕ УРАВНЕНИЕ / КОРРЕКТНАЯ РАЗРЕШИМОСТЬ / ПОЛУГРУППЫ / КОСИНУС-ФУНКЦИЯ / ЗАДАЧА КОШИ / ДРОБНЫЕ СТЕПЕНИ ОПЕРАТОРОВ / TELEGRAPH EQUATION / WELL-POSEDNESS / SEMIGROUPS / COSINE FUNCTION / CAUCHY PROBLEM / FRACTIONAL POWERS OF OPERATORS

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

В работе устанавливается равномерно корректная разрешимость задачи Коши для обобщенного телеграфного уравнения с переменными коэффициентами, частным случаем которого является классическое телеграфное уравнение. Установление корректной разрешимости математических задач является одним из основных условий при их численной реализации. Как известно, для классического телеграфного уравнения решение задачи Коши находится в классе дважды непрервно дифференцируемой функции и с помощью метода Римана выписывается в явном виде. Однако, при этом вопрос устойчивости решения в зависимости от начальных данных, требующий использования соответствующих метрических пространств в этих работах не обсуждается. Между тем этот вопрос является наиболее важным при корректной численной реализации решения задачи, когда его существование и единственность доказаны. В настоящей заметке методами теории полугрупп линейных преобразований, устанавливается равномерно корректная разрешимость задачи Коши в пространствах функций интегрируемых с экспоненциальным весом для некоторого класса дифференциальных уравнений с переменными коэффициентами. Получено точное решение задачи Коши и указаны условия на коэффициенты, при которых задача раномерно корректна в некоторых функциональных пространствах. Следствием из этих результатов является равномерная корректность задачи Коши для классического телеграфного уравнения с постоянными коэффициентами.

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

On the Well-Posedness of the Cauchy Problem for the Generalized Telegraph Equations

This paper establishes the uniform well-posedness of the Cauchy problem for generalized telegraph equations with variable coefficients, of which the classical telegraph equation is a particular case. The well-posedness of a mathematical problem is one of the main requirements for its numerical solution. For the classical telegraph equation, Riemann's method enables us to solve the Cauchy problem in the class of twice continuously differentiable functions explicitly. The question of stability of the solution in dependence on the initial data, which requires us to work in suitable metric spaces, usually is not discussed; however, it appears to be one of the most important questions once the existence and uniqueness of the solution are known. In this note we use the theory of continuous semigroups of linear operators to establish the uniform well-posedness of the Cauchy problem in the spaces of integrable functions with exponential weight for several classes of differential equations with variable coefficients. We obtain the exact solution to the Cauchy problem and indicate conditions on the coefficients ensuring that the problem is uniformly well-posed in certain functional spaces. These results imply the uniform well-posedness of the Cauchy problem for the classical telegraph equation with constant coefficients.

Текст научной работы на тему «О корректной разрешимости задачи Коши для обобщенного телеграфного уравнения»

УДК 517.9

Б01: 10.14529/ттр140305

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

В. А. Костин, А. В. Костин, С. Б а дран

В работе устанавливается равномерно корректная разрешимость задачи Коши для обобщенного телеграфного уравнения с переменными коэффициентами, частным случаем которого является классическое телеграфное уравнение. Установление корректной разрешимости математических задач является одним из основных условий при их численной реализации. Как известно, для классического телеграфного уравнения решение задачи Коши находится в классе дважды непрервно дифференцируемой функции и с помощью метода Римана выписывается в явном виде. Однако, при этом вопрос устойчивости решения в зависимости от начальных данных, требующий использования соответствующих метрических пространств в этих работах не обсуждается. Между тем этот вопрос является наиболее важным при корректной численной реализации решения задачи, когда его существование и единственность доказаны. В настоящей заметке методами теории полугрупп линейных преобразований, устанавливается равномерно корректная разрешимость задачи Коши в пространствах функций интегрируемых с экспоненциальным весом для некоторого класса дифференциальных уравнений с переменными коэффициентами. Получено точное решение задачи Коши и указаны условия на коэффициенты, при которых задача раномерно корректна в некоторых функциональных пространствах. Следствием из этих результатов является равномерная корректность задачи Коши для классического телеграфного уравнения с постоянными коэффициентами.

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

Введение

Установление корректной разрешимости математических задач является одним из основных условий при их численной реализации. Начиная с работы С.Г. Крейна [8], метод теории полугрупп стал одним из важнейших при исследовании корректной разрешимости начально-краевых задач для эволюционных уравнений и его приложений к решению задач для уравнений с частными производными. Этой тематике посвящены работы математиков Воронежской и Челябинской школ. В этом числе важное место занимают работы Г.А. Свири-дюка [10] и его учеников по уравнениям соболевского типа, относящихся к классу уравнений с особенностью.

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

Как известно (см. например [3, с. 90]) телеграфное уравнение записывается в виде

д2ш(Ь,х) д2ш(Ь,х) дш(Ь,х) ,, .

= «о-^ + СО ^ (0.1)

где Ь,х > 0 ао,Ьо,Со — постоянные коэффициенты.

Для уравнения (1) ставится задача о нахождении решения, удовлетворяющего условиям Коши

дш(Ь, х)

ш(0, х) = ф(х),

дЬ

= ф(х). (0.2)

г=о

Решение ищется в классе дважды непрерывно дифференцируемых функций и с помощью метода Римана выписывается в явном виде (см. [3, с. 92]).

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

В настоящей заметке методами теории полугрупп линейных преобразований, разработанной в работах [1, 4-9], устанавливается равномерно корректная разрешимость задачи Коши в Ьр-весовых пространствах для некоторого класса дифференциальных уравнений с переменными коэффициентами и для которых уравнение (1) является частным случаем.

1. Необходимые определения и факты

Здесь мы придерживаемся терминологии и фактов изложенных, в [1, 4-9].

Пусть E — банахово пространство с нормой || • ||е = || • ||.

Определение 1. Семейство T = {T(t), 0 < t < то} линейных и ограниченных операторов из E в E называется С0-полугруппой (сильно непрерывной полугруппой), если

1) sup ||T(t)^H < то, ф е E,

Ш\<1

2) T(0)ф = ф,

3) T(t + в)ф = T(t)T(в)ф,

4) ilim ||T(С)ф — ф|| = 0, для всех ф е E.

T — называется сжимающей полугруппой, если ||T(t)фЦ < ||ф|| доя всех t > 0 ф е E.

В соответствии с К. Иосидой [5] сжимающие (Со)-полугруппы относятся к классу равномерно непрерывных полугрупп. Такие полугруппы используются в дальнейшем.

( Со )

как предел

Au = tli]0V 7[T(t) — 1 ]ф’ (11)

t^0+ t

IA де*

E

деления D(A) = {ф Є E; ^im 1 [T(t) — I}ф} существуеm в E. Оказывается D(A) плотно в

Для ф € О (А) операторы А и Т (^ коммутируют, то есть АТ (Ь)ф = Т (Ь)Аф, при этом справедливо равенство

ОЯф = АТ,„. „

Отсюда следует представление для производящего оператора

dT(t)

^ = itф

= т'(0)ф. (1.3)

t=0

Определение 3. (Со)-группой на, Е называется семейство операторов Т = {Т(і) : і Є М удовлетворяющим условиям определение 1, в которых М+ = [0, то) заменяется на М = (—то, то).

Генератор А (Со)-группы Т(і) на Е определяется равенством (1.1), причем речь идет о двустороннем пределе при і ^ 0.

Замечание 1. А — генератор (Со)-группы тогда и только тогда, когда ±А порождает (Со)-полугруппу Т±(Ь). В этом случае

Тю={\ <0 <ы>

Определение 4. Сильно непрерывной операторной косинус-функцией называется семейство операторов С = {С(Ь) : Ь € М} С В(Е), удовлетворяющее условиям

(г) С (ь + в) + с (ь - в) = 2С (ь)с (в)

(гг) С (0) = I

(Иг) С (Ь) ф — непрерывная, функция для каждого ф € Е.

АС А = С" (0). Его областью определения является множество тех ф € Е, для, которых функция С (г) дважды дифференцируема в точке Ь = 0. Операторные косину с-функции С и ( Со ) Т

1 С ™ а2

Т(Ь)ф = е 4 С(в)фйв. (1.5)

ЫпЬ ]о

В дальнейшем нам понадобится следующее (см. [4, с. 179]).

Предложение 1. Пусть В порождает (С0)-группу Т(Ь). Тогда Аа = В2 + а1, (а > 0)

порождает операторную косинус-функцию Са(Ь), и справедливо представление

Г

Са(г)ф = Со(г)ф(х) + аь (ь2 - в2)-1 таг2 - в2)2}Со(в)dв, (1.6)

о

где Со(Ь) = 1 [Т(Ь) + Т(—Ь)}, Ь(в) — модифицированная функция Бесселя порядка 1.

(Со) (Со)

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

и' (Ь) = Аи(Ь), (1.7)

и''(Ь) = Аи(Ь). (1.8)

Определение 6. Решением уравнения (1.1) на, отрезке [0,Ьо] называется [1, с. 38] функция и(Ь), удовлетворяющая услов иям: 1) и(Ь) € О (А) при вс ех Ь € [0,Ьо], 2) в каждой точке Ь € [0,Ьо] сугцест,вует, сильная, производная и'(Ь), 3) уравнение (1.5) удовлетворяется при всех Ь € [0, Ьо].

Под задачей Коши на, [0, Ьо] понимают задачу о нахождении решения уравнения (1.5), удовлетворяющее условию

и(0) = ио € О (А). (1.9)

Определение 7. Задача, Коши поставлена корректно на отрезке [0, Ьо} если: 1) при любом ио € О (А) существует ее единственное решение и это решение непрерывно зависит от

начальных данных в том смысле, что из хо(0) ^ 0 следует,, ч,то хп(Ь) ^ 0 равномерно по

Ь на каждом компакте из [0,Ьо].

Справедлива теорема [1, с. 64]) о том, что задача (1.7)—(1.9) равномерно корректна тогда и только тогда, когда А является генератором (Со)- полугруппы Т(Ь), при этом решение ИМ66Т вид

и(Ь) = Т (Ь)ф, (1.10)

и существуют константы М и ш, не зависящие от ф такие, что выполняется оценка

\\пт< ме^м. (1.11)

Аналогично для уравнения (1-8) решается задача с условиями Коши

и(0) = и0, и (0) = и1. (1-12)

Эта задача называется равномерно корректной, если существует подпространство М С Е такое, что задача (1.8)—(1.12) имеет единственное решение для ио,и\ € М, и когда и^ ,и1'\ (п = 0,1,...) являются последовательностью начальных данных в М, стремящихся к нулю, то соответствующее решение и(п (I) стремится к нулю в метрике Е, равномерно на каждом компакте из [0, то).

Теорема о корректности (Сова, Куреппа, см. [4, с. 176]) утверждает, что задача (1-8)-(1.12) равномерно корректна тогда и только тогда, когда А — генератор (Со)-косинус функции С(I), при этом решение имеет вид

и(1) = С(1)ф + [ С(в)фйв, (1.13)

о

и при некоторых константах М и ш, не зависящих от ф и ф, выполняется оценка

||Ст\< Меш*\\ф\\. (1.14)

2. Сильно непрерывные ^-полугруппы и ^-косинус-функции

Пусть х € (а,Ь) С М = (—то, то) и функция Н(х) непрерывно дифференцируемая, строго

монотонно возрастающая и такая, что

ііш Н(х) = —то, ііш Н(х) = то. (2.1)

х^а х^гЬ

Через будем обозначать пространства функций ф(х), определяемые нормой

гь

1 р

р > 1, V Є М. (2.2)

е"и(х)\ф(х)\рйН

При £ € М и ф € Ьр>и>ь рассмотрим семейство операторных функций, заданных выраже-

Т (Ь)ф(х) = ф[Ь-1(Ь(х) + £)]. (2.3)

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

нием

-1

Справедлива

Теорема 1. Операторное семейство, заданное соотношением (2.3), является сильно непрерывной группой линейных преобразований в пространстве Ьр и ь-

Доказательство. Для ф € имеем

С ь

Т = ел(х>\ф[ь-1(Мх) + г)]\”Нх). (2.4)

о а

\\Р =

V, V, Н

а

Замена Н-1 (Н(х) +1) = в дает соотношение

Ь

ИШфГ, .. н = е-1* = <?"‘(°)\ф)\рЩа). (25)

р, V, Н

а

Отсюда следует равенство

\\Т(І)ф\Ьр,V,Н = е р М\Ьр,V,Н, (2.6)

-^р,и,Н 11^ \\^р,и,Н

дающее норму полугруппы Т в Ьр,и,h■

Далее нетрудно видеть выполнение необходимых групповых сдвигов

1.Т (0)ф = ф, 2.Т (Ь + в)ф = Т (Ь)Т (в)ф. (2.7)

Для доказательства сильно непрерывности имеем

( ь

\\Т(Ь)ф(х) — ф(х)\Цр^н = е" Н(х)\ф[Н-1(Н(х)+ Ь)] — ф(х)\р(Ш.

а

Делая замену Ь(х) = в, получаем

/ГО

е1'3\ф\н-1(г +в)] — ф\и-1(в)}\йв =

-го

/ГО

е"3\ф(Ь + в) — ф(з)\рйз, (2.8)

ГО

здесь ф(в) = ф[Н-1(в)}.

Из (2.8), пользуясь непрерывностью Ьр-весовых норм, и переходя к пределу при Ь ^ то в (2.8), получаем

£о+ \\Т (Ь)ф — ф\\ьр ^ ^, н = 0 (29)

что и доказывает теорему. □

Следствие 1. Семейство преобразований

С (Ь)ф = \[Т (Ь)ф + Т (—Ь)ф] (2.10)

является сильно непрерывной косинус-функцией в Ьр,При этом из (2.6) и (2.10) следует оценка

\\С (Ь)ф\\Ьр V Н < СК Р.Ь)\\ф\\Ьр V Н . (2.11)

У

Следствие 2. При Ь > 0 и V > 0 Т(Ь) является сжимающей полугруппой Т+(Ь) с нормой

НТ+ЮН:* , V, н = е-^, (2.12)

а при V < 0 полугруппа, Т-(Ь) = Т(—Ь) является сжимающей с нормой

\\Т-(г)\\г VН = е* (2.13)

Теорема 2. Полугруппы Т+(Ь), Т-(Ь) и косинус-функция, С(Ь) имеют своими генераторами операторы, заданные выражениями:

а> Т±(0')ф(х> = ± ш = ± | = °±»ф

с областью определения Б(В± ,ь) = {ф Є Ьр, ^Є Ьр, ь}.

Ь) С"(0фх) = ті т=°1*' {2М)

с областью определения Б(В^) = {ф Є Ьр,и^, Є Ьр>и>ь}.

3. Дробные степени операторов и

Из равенств (2.12) и (2.13) следует, что, в соответствии с К. Иосидой [5, с. 324], Со-полугруипы Т±(Ь) являются равностепенно непрерывными и, таким образом, их генераторы обладают тем свойством, что для операторов —определены дробные степени (—В±ь)“; (0 < а < 1). При этом, операторы = — (—В±ь) являются генеРатоРами Со-полугрупп Т±(Ь,1)аь)- Отметим, что из результата [6] и (2.12), (2.13) для этих полугрупп следуют оценки

\\Т±(Ь, Щь)\\< е I *) Ь. (3.1)

Вместе с тем для операторов —В±ь определены и отрицательные дробные степени (— В±п)-а, (0 < а < 1), в соответствии с формулами (5.29) [1, с. 150] имеющие вид

(—в-а)Ф(х) = га уо га-1т±(г)ф(х)м. (з.2)

В нашем случае представление Т±(Ь)ф(х) = ф[Н-1(Н(х) ± Ь)] дает следующие виды этих операторов

1 f'x

(—в-а)Ф(х) = га ]0 га-1Ф[к-1(к(х)+=

1 I'ь

= га 1 ^(в)—ь(х)а-1ф(8)аь(8)’ (з3

1 !'х

(—в-а)Ф(х) = га \ ^(х) — чз)]а-1Ф)йН8). (з4)

Используя (2.12), (2.13) и (3.2), получаем оценки при Ь > 0

1 С ^

\\(—в-а)ф\\р,и,н < га ]0 ьа-1 т+(г)\м • \\ф\\р, V,н =

= Т(а) /о га-1е-Р• \\ф\\р,= (р) • \ф\\р,V,ь. (3.5)

Аналогично

||(—В-<а)ф\р,V,h < • \\ф\\р,^,Ь. (3.6)

Заметим, что операторы (— В+ь)а совпадают с интеграламп 30,+ ^ ПРИ Ь(х) = х, называемыми в [10, с. 248] дробными интегралами функции ф(х) по функциям д(х) порядка а

Частными случаями таких интегралов являются интегралы Эрдейи-Коббера при Н(х) = хт и интегралы Адамара при Н(х) = 1пх, х € (0, то) [1, с. 251].

Однако в [3] оценок вида (3.5), (3.6) не приводится, так как интегралы рассматриваются в нормах пространств то есть при V = 0. Но эти пространства не инвариантны относительно рассматриваемых операций даже в случае дробных интегралов Римана-Лиувиля (см. утверждение в [10, с. 94]).

4. Обобщенное телеграфное уравнение

Пусть х € (а,Ь), Ь € М и Вь,х = оК(х)- Рассмотрим уравнение

©Ь хш(Ь,х) + хы(Ь,х) = ао д х + 2Ьо ^ + вош(Ь,х). (4.1)

В случае Н(х) = х, в = 0 уравнение (4.1) является классическим телеграфным уравнением [3, с. 90].

Решением уравнения (4.1) будем называть функцию ш(Ь,х) дважды непрерывно дифференцируемую по Ь € М, х € (а,Ь) и удовлетворяющую уравнению (4.1).

Для уравнения (4.1) рассматривается задача Коши отыскания решения этого уравнения удовлетворяющего условиям

, . , . дш

ш(0,х) = ф(х). —

= Ф(х), (4.2)

г=о

Где фуНКЦИИ ф(х) И ф(х') Такие, ЧТО ф € Ьр^,Ь ^Ь,хф € Ьр^,Ь ф € Ьр^,Ь ВЬ,хф € Ьр^ь-Из выше приведенных результатов следует

Теорема 3. Если коэффициенты ао,Ьо,со,в такие, что выполняется неравенство

ао(со + в2') < Ьо, (4.3)

то задача (4-1)—(4-2) равномерно корректна, и ее решение имеет, вид

- ь-0и г*

а0

-М* г*

ш(г,х) = е ао [Cf(г)ф(х)+ Са(в)ф(в)йв], (4.4)

о

где

Са(Ь)ф(х)ф(х) = Со(Ь)ф(х) + а ( (Ь — в2)-211[а(Ь2 — в2)1 Со(в)ф(х), (4.5)

2 Jо

здесь

Со(в)ф(х) = ^[Т л/а^в) + Т (—^а®в)]ф(х),

Т— полугруппа вида (2.3), а = Ьо аа(сс0+в ) ? д_ модифицированная функция Бесселя пер-

ао

вого рода.

Доказательство. Вводя функцию

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

и(Ь,х) = е ао *+вЬ(х'>ш(Ь,х), (4.6)

приведем задачу (4.1)-(4.2) к виду

д и(1,х) = ^вЬхи(Ь,х) + аи(Ь,х) (4.7)

дЬ2 ао

и(0,х)= евь(х)ф(х), ддии

Ьо евЬ(х

= — е

1=о ао

^ф(х). (4.8)

При этом, в силу равенств

( Ь

ЫЩр*-ег,, = е(-'-вр)Ьх)\и(г.х)\р,ш(х)

\р, V—вр,)

а

Ь

^Нх)\

= [ е^(х)\ш(1,х)\рйН(х) = \\ш\рVh (4.9)

а

условие (4.2) переходит в условия

||и(0, х)||р, V—вр,Ь = ||ф||р, V,Ь. (4.10)

.. ди 11 д

У

р,и—вр,к

г=о

Ьо

ао

\\р,и,к-

(4.11)

Так как оператор а.'В>^1х является генератором косинусной функции С(Ь)ф(х) = ^[Т(£) + Т(—)]ф, то в силу (1-6) выполняются все условия теоремы корректности Совы и Куреппы. Отсюда следует доказательство теоремы. □

В заключение заметим, что из теоремы 3 следует равномерная корректная разрешимость задачи Коши для классического телеграфного уравнения (0.1), в пространствах Ьр,и

с 1М1р,^ = [/0°° еих\ф(х)\рйх] 1, так как в этом случае в = 0 Н(х) = х и, следовательно, условие (4.11) выполняется в силу [3, с. 90, соотношения 10].

Литература

1. Крейн, С.Г. Линейные дифференциальные уравнения в банаховом пространстве / С.Г. Крейн. - М.: Наука, Глав. ред. физ-мат. лит-ры, 1967. - 464 с.

2. Свиридюк, Г. А. Задача Коши для линейного операторного уравнения типа Соболева с неположительным оператором при производной / Г.А. Свиридюк // Дифференциальные уравнения. - 1987. - Т. 23. - № 10. - С. 1823-1825.

3. Кошляков, Н.С. Основные дифференциальные уравнения математической физики /

Н.С. Кошляков, Э.Б. Глинер, М.М. Смирнов. - М.: Физ-мат. лит., 1962. - 767 с.

4. Голдстейн, Дж. Полугруппы линейных операторов и их приложения / Дж. Голдстейн.

- Киев: Выща школа, 1989. - 347 с.

5. Иосида, К. Функциональный анализ: учебник / К. Иосида; пер. с англ. В.М. Волосова.

- М.: Мир, 1967. - 624 с.

С0

меля / В.А. Костин, А.В. Костин, Д.В. Костин // ДАН. - 2013. - Т. 452, №4. - С. 367-370.

7. Костин, В.А. Элементарны полугруппы преобразований и их производящие уравнения / В.А. Костин, А.В. Костин, Д.В. Костин // ДАН. - 2014. - Т. 455, № 2. - С. 142-146.

8. Костин, В.А. О корректной разрешимости краевых задач для уравнений второго порядка / В.А. Костин, М.Н. Небольсина // ДАН. - 2009. - Т. 428, №1. - С. 20-23.

9. Интегральные операторы в пространствах суммируемых функций / М.А. Красносельский, П.П. Забрейко, Е.И. Пустыльник, П.Е. Соболевский. - М.: Наука, 1966. - 500 с.

10. Самко, С.Г. Интегралы и производные дробного порядка и некоторые их приложения /

С.Г. Самко, А.А. Килбас, О.И. Маричев. - Минск: Наука и техника, 1987. - 687 с.

Владимир Алексеевич Костин, доктор физико-математических наук, профессор, заведующий кафедрой «Математическое моделирование:», Математический факультет, Воронежский государственный университет (г. Воронеж, Российская Федерация), [email protected].

Алексей Владимирович Костин, кандидат физико-математических наук, доцент, кафедра «Математическое моделирование», Математический факультет, Воронежский государственный университет (г. Воронеж, Российская Федерация), [email protected].

Салим Бадран Джасим Салим, аспирант, кафедра «Математическое моделирование», Математический факультет, Воронежский государственный университет (г. Воронеж, Российская Федерация), [email protected].

Поступила в редакцию 21 мая 2014 г.

B.A. Koothii, A.B. Kocthh, C. Ea/ipan

Bulletin of the South Ural State University, Series "Mathematical Modelling, Programming & Computer Software",

2014, vol. 7, no. 3, pp. 50-59.

MSC 39-02 DOI: 10.14529/mmpl40305

On the Well-Posedness of the Cauchy Problem for the Generalized Telegraph Equations

V.A. Kostin, Voronezh State University, Voronezh, Russian Federation, [email protected], A.V. Kostin, Voronezh State University, Voronezh, Russian Federation, [email protected], Salim Badran Yasim Salim, Voronezh State University, Voronezh, Russian Federation, [email protected]

This paper establishes the uniform well-posedness of the Cauchy problem for generalized telegraph equations with variable coefficients, of which the classical telegraph equation is a particular case. The well-posedness of a mathematical problem is one of the main requirements for its numerical solution.

For the classical telegraph equation, Riemann’s method enables us to solve the Cauchy problem in the class of twice continuously differentiable functions explicitly. The question of stability of the solution in dependence on the initial data, which requires us to work in suitable metric spaces, usually is not discussed; however, it appears to be one of the most important questions once the existence and uniqueness of the solution are known. In this note we use the theory of continuous semigroups of linear operators to establish the uniform well-posedness of the Cauchy problem in the spaces of integrable functions with exponential weight for several classes of differential equations with variable coefficients. We obtain the exact solution to the Cauchy problem and indicate conditions on the coefficients ensuring that the problem is uniformly well-posed in certain functional spaces. These results imply the uniform well-posedness of the Cauchy problem for the classical telegraph equation with constant coefficients.

Keywords: telegraph equation; well-posedness; semigroups; cosine function; Cauchy problem; fractional powers of operators.

References

1. Krein S.G. Linear Differential Equations in Banach Spaces. Birkhuser, Boston, 1982. DOI: 10.1007/978-1-4684-8068-9

2. Sviriduk G.A. [The Couchy Probem for a Linear Operator Equation with a Nonpositive Operator at the Derivative of Sobolev Type]. Differentsial’nye uravneniya [Differential Equations], 1987, vol. 23, no. 10, pp. 1823-1825. (in Russian)

3. Koshlykov N.S., Gliner E.B., Smirnov M.M. it Osnovnye differentsial’nye uravneniya matematicheskoy fiziki [Principal Differential Equations of Mathematical Physics]. Moscow, Fizmatlit, 1962. 767 p.

4. Goldstein J.A. Semigroups of Linear Operators and Applications. Oxford Univ. Press, New York, 1985.

5. Yosida K. Functional Analysis. Springer Verlag, Berlin, 1965.

6. V. A. Kostin, A. V. Kostin, D. V. Kostin Co-Operator Laplace Integral and Boundary Value Problems for Operator Degenerate Equations. Doklady Mathematics, 2011, vol. 84, issue 3, pp. 770-773. DOI: 10.1134/S1064562411060111

7. Kostin V.A., Kostin A.V., Kostin D.V. On Exact Solutions of the Cauchy Problem for Some Parabolic and Hyperbolic Equations. Doklady Mathematics, 2013, vol. 87, issue 1, pp. 12-14. DOI: 10.1134/S 1064562413010031

8. Kostin V.A., Nebol’sina M.N. Well-Posedness of Boundary Value Problems for a Second-Order Equation. Doklady Mathematics, 2009, vol. 80, issue 2, pp. 650-652. DOI: 10.1134/S 1064562409050044

9. Krasnosel’skii M.A., Zabreyko P.P., Pustylnik E.I., Sobolevski P.E. Integral Operators in Spaces of Summable Functions. Noord Hoff, Leyden, 1976. DOI: 10.1007/978-94-010-1542-4

10. Samko S.G., Kilbas A. A., Marichev O.I. Integraly i proizvodnye drobnogo poryadka i nekotorye ikh prilozheniya [Fractional Integrals and Derivatives Theory and Applications]. Minsk, Nauka

i tekhnika, 1987. 687 p. (in Russian)

Received May 21, 2014

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