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

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

CC BY
39
6
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
ПЕСТРОГО ГИПЕРБОЛИЧЕСКОЕ УРАВНЕНИЕ ЧЕТВЕРТОГО ПОРЯДКА / СМЕШАППАЯ ЗАДАЧА / КЛАССИЧЕСКОЕ РЕШЕНИЕ / МЕТОД ХАРАКТЕРИСТИК / УСЛОВИЯ ГЛАДКОСТИ И СОГЛАСОВАНИЯ / PARTIAL DIFFERENTIAL HYPERBOLIC EQUATION OF THE FOURTH ORDER / INITIAL VALUE PROBLEM / BOUNDARY VALUE PROBLEM / CLASSICAL SOLUTION / METHOD OF CHARACTERISTICS / SMOOTHNESS AND MATCHING CONDITIONS

Аннотация научной статьи по математике, автор научной работы — Чеб Е. С., Симинская Е. С.

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

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

Похожие темы научных работ по математике , автор научной работы — Чеб Е. С., Симинская Е. С.

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

CLASSICAL SOLUTION OF THE MIXED PROBLEM FOR LINEAR NONSTRICTLY HYPERBOLIC FOURTH-ORDER WITH MULTIPLE CHATACTERISTIC

In the work is constructed the classical solution of mixed value problem for not strictly hyperbolic homogeneous equation of the fourth order with constant coefficients and the multiple characteristics. We use the method of characteristics to solve this problem. According to this method, general solution of the equation contains the sum of four functions, which are found from initial and boundary conditions. This general solution is constructed for the both cases: with the presence or absence derivatives of lower orders. We obtained matching conditions for initial and boundary conditions. These conditions follow from the requirement of four times continuous differentiability of the solution taking into account smoothness of the functions. A theorem on the existence of a unique classical solution has been proved. The obtained results can be used in the theory of differential equations with partial derivatives and in the computational mathematics.

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

Прикладная математика & Физика, 2020, том 52, №1, С. 11-17.

УДК 517.956.322 DOI 10.18413/2687-0959-2020-52-1-11-17

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

Е. С. Чеб, Е. С. Симинская

Статья представлена членом редакционной коллегии А. П. Солдатовым

Белорусский государственный университет г. Минск, 220030, Республика Беларусь

E-mail: [email protected], [email protected]

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

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

Для цитирования: Чеб Е. С., Симинская Е. С. 2020. О классическом решении смешанной задачи для линейного нестрого гиперболического уравнения четвертого порядка с одной кратной характеристикой. Прикладная математика & Физика. 52(1): 11-17. DOI 10.18413/2687-0959-2020-52-1-11-17.

CLASSICAL SOLUTION OF THE MIXED PROBLEM FOR LINEAR NONSTRICTLY HYPERBOLIC FOURTH-ORDER WITH MULTIPLE CHATACTERISTIC

E. S. Cheb, E. S. Siminskaya

Article submitted by a member of the editorial board A. P. Soldatov

Belorussian State University, Minsk, 220030, Republic of Belarus

E-mail: [email protected], [email protected] Received January 10, 2020

Abstract. In the work is constructed the classical solution of mixed value problem for not strictly hyperbolic homogeneous equation of the fourth order with constant coefficients and the multiple characteristics. We use the method of characteristics to solve this problem. According to this method, general solution of the equation contains the sum of four functions, which are found from initial and boundary conditions. This general solution is constructed for the both cases: with the presence or absence derivatives of lower orders. We obtained matching conditions for initial and boundary conditions. These conditions follow from the requirement of four times continuous differentiability of the solution taking into account smoothness of the functions. A theorem on the existence of a unique classical solution has been proved. The obtained results can be used in the theory of differential equations with partial derivatives and in the computational mathematics.

Key words: partial differential hyperbolic equation of the fourth order, initial value problem, boundary value problem, classical solution, method of characteristics, smoothness and matching conditions.

For citation: Cheb E. S., Siminskaya E. S. 2020. Classical Solution of the Mixed Problem for Linear Nonstrictly Hyperbolic Fourth-Order with Multiple Characteristic. Applied Mathematics & Physics. 52(1): 11-17 (in Russian). DOI 10.18413/26870959-2020-52-1-11-17.

Введение. Нестрого гиперболические уравнения обладают рядом особенностей, которые появляются при постановке и исследовании на разрешимость смешанных задач для них. Среди них наиболее

изученной является задача Коши. В работе [Иврий, Петков, 1974] получены необходимые условия корректности задачи Коши для нестрого гиперболических уравнений второго порядка. Некоторые смешанные задачи для уравнений гиперболического типа были исследованы [Sakamoto, 1970]. На возможность применения метода характеристик при решении смешанных задач указано в работе [Than, Mikio, Nguen, 2000]. В работах [Ломовцев, Юрчук, 2016] и [Ломовцев, 2019] методом характеристик получены необходимые и достаточные условия корректной разрешимости смешанных задач для нестрого гиперболического уравнения второго порядка с двухкратной характеристикой соответственно в первой четверти и полуполосе плоскости. В этих работах указано на повышение требований гладкости от граничных с начальными данными и уравнением. В [Чеб, 2017] методом характеристик получено классическое решение смешанной задачи для нестрого гиперболического уравнения четвертого порядка, оператор которого представляет собой композицию двух операторов второго порядка.

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

1. Постановка задачи. В области Q = (0, то) х Q с R2, R = (-то, +то), переменных (f, х) рассмотрим относительно функции u (f, х) линейное нестрого гиперболическое уравнение четвертого порядка с постоянными коэффициентами в предположении, что гиперболический оператор уравнения L представим в виде композиции операторов первого порядка

Lu = П("" - а—)и(f,*) = 0, а > 0, (f,x)€ Q, где Q = (0,0,/ > 0. ¡=1 ^ '

К уравнению (1) присоединим начальные условия

= уj (х), х € Q, j = 0,1, 2,3,

д1 и df1

и граничные условия

и(f, 0) = (f), — = № (f)

и (f,Z) = v1 (f), —

ди дх ди

дХ

, I

f € -, +to

I a

= V2(f), f € (0, +to).

(1)

(2)

(3)

(4)

Условия (3)-(4) выбираются таким образом, чтобы смешанная (начально-граничная) задача (1)-(4) была корректно поставленной по Адамару, т. е. всегда существовало единственное и устойчивое по исходным данным ее классическое решение. Требуется построить классическое решение и е С(4)(0), Q = [0, то) х [0, /], уравнения (1) из класса четырежды непрерывно дифференцируемых функций, удовлетворяющих уравнению (1) на Q в обычном смысле, а начальным (2) и граничным условиям (3)-(4) в смысле пределов значения решения и (£,х) во внутренних точках (£, х) е Q. Например, для начального условия (2) при } = 0 : Ух е Й, У(^,х„) е Q, (^,х„) ^ (0,х) в К2 при п ^ то последовательность и(£„, х„) ^ (х) в К при п ^ то. Найти достаточные требования гладкости исходных данных (} = 0,3), V1, г2 и условия согласования между ними и уравнением для корректной разрешимости

поставленной задачи (1)-(4).

2. Решение смешанной задачи. Уравнение (1) имеет одно семейство характеристик х + af = С, С е К, кратности четыре. Область Q разбивается характеристикой х + af = I на две подобласти

I-

Q(0) = (f,x) : 0 < f < —, 0 < х < / , Q(1) = (f,x) : f > —, 0 < х < I

1-:

Q = Q(0) и Q(1). Эту характеристику х + af = I будем называть критической по аналогии с работой [Ломовцев, Юрчук, 2016].

Из определения классического решения и е С(4) ^) задачи (1)-(4) вытекают основные обязательные требования гладкости начальных и граничных данных

f0 € С(4)(Q), € С(3)(Q), ^2 € С(2)(Q), рз € С(1)(Q),

€ С

(4)

I

—, ТО

a

№ € С

(3)

-, ТО , V1 € С(4) [0, то), V2 € С(3) [0, то) .

a

(3)

(5)

Вычисляя соответствующие производные по f от граничных условий (4) при f = 0, по х из начальных условий (2) при х = 0, получаем простейшие условия согласования граничных условий (4) с начальными условиями (2) и уравнением (1):

dsv 1 (f)

dfs

= fS a),

dsV2(f)

dfs

= f 's(/), s = 0,1, 2,3,

г1(4)(0) = 4а^(/) - 6а>2'а) + 4а>13)(/) - а>0(4)(/). (7)

Условие согласования (7) вытекает из уравнения (1), начальных условий (2) и первого граничного условия из (4). Остальные достаточные условия согласования будут получены в процессе доказательства следующей теоремы.

Теорема. Пусть выполнены требования гладкости начальных и граничных данных € С(7)(Й), € С(6)(Й), <рг € С(5)(Й), € С(4)(Й), ^ € С(5)

-, Н | , V! € С(5) [0, н), № € С(4) -, Н , V2 € С(4) [0, Н), а ) [а )

выполнены основные условия согласования (6), (7) и дополнительные условия согласования

№+1 (-) = б!1 [6а3^0;) ) + ) (/) + 3а/(/) + ->3(° (/) - 6а>0(;+1) (/)] +

[-6а2/Víw) (/) - 3а/>2;+!) (/) + За3/2П(;+2) (/) + 3а2/У+2) (/) - а3/3П(;+3)

^''+1 (а) = [ба2^1;) (/) + 6а/^2° (/) + 3/4(í) (/) ] +

[-6а2/^1'+1) (/) - 6а/V2Í+1) (/) + />3Í+1) (/)] + [3а2/+2) (/) - 3а/>2í+2) (/) + 3а2/><;+3) (/) - а3/>0(í+4) (/)],

1 (/) = ¿ [6а^2;) (/) + 6/^) (/) - 6а/^2'+1) (/) + 6/>3(;+1) (/) - 15а/2^'+2) (/)] -

+¿[/3^3í+2)(/) + 12а2/ Mí+3)(/)] +

+^ [-3а/>2(;+3)(/) - 3а3/2П(;+4)(/) + 3а2/>(;+4)(/) - а3/>0(;+

(/) = 1 [6^3(;) (/) + 18/^3'+1) (/) - 36а/^2'+2) (/)+9/>3í+2) (/) + 24а2/^(;+3) (/)] + (8)

+1 [-24а/2^2'+3) (/) + />3('+3) (/) - 6а>0(;+4) (/)+21а2/У+4) (/) - 3а/>2'+4) (/)] +

.1 L¿„3.2/Л+5)/П _l. о„2,3/Л(¡+5)/n_„3,3/Л(í+6).

+1 [-6а3/2^0(;+5)(/) + 3а2/>3;+5)(/)-а3/>0(;+6)(/)], * = 0,1,

^14) (/) = а [24^3(/) - 36а^2'(/) + 36/р3'(/) + 24а2^(3) (/) - 84а/^3) (/) + 12/2^3(3) (/)] + +а [-6а>0(4) (/) + 66а2/^14) (/) - 33а/2^4) (/) + />3(4) (/) - 18а>0(5) (/)] + +а [30а2/2^(5)(/) - 3а/^25)(/) - 9а3/2П(6)(/)+3а2/><6)(/) - а3/>0(7)(/)],

^ (а) - 1 ^ (а) = 2 [-12^з'(/) + 28а^23) (/) - 8/^3(3) (/) - 22а2^1(4) (/)] + +а [22а/^24) (/) - /Ч(4) (/) + 6а3^0(5) (/) - 20а2/^5) (/) + 3а/^5) (/)] +

+а [6а3/^0(6) (/) - 3а2/2^36) (/) + а3/>0(7) (/)], г|5) (0) - аг24)(0) = 6а2^3'(/) - 12а>23)(/) + Па>{4)(/) - 3а5^0(5)(/). Тогда в классе функций С(4) (2) смешанная задача (1)-(4) имеет единственное классическое решение

и0 (í,x) = (х + а?) + t (х + а?) - а^0(* + а?) ] + 1 f2 (х + а?) - 2а^'(х + а?)+

+а2^0'(* + а?)] + 1 ?3 U3(х + а?) - 3а^2(х + а?) + 3а2^"(х + а?) - а3^0(3)(х + а?Я, (?,х) € Q 6

2 ^ (9)

. . (/ - х)2(/ + 2х^ П х(/ - х/\

"1 ) = -/3- * ^ + «) + ^2 ^ + -) +

х2(3/ - 2х) / / - х\ х2(/ - х) / / - х\

- - ^ V2 - —) - (10)

х(/ - х)2 з / / \ х2(/ - х) ,/ / - х\ , , - [++^ ^- (f,х )€ 2 (1).

Доказательство. Методом характеристик найдем общий вид классических решений уравнения (1) на е.

Лемма. Общее решение уравнения (1) на Q из класса С (4)Ш) четырежды непрерывно дифференцируемых функций представляется в виде суммы

и (?,х) = д1 (х + а?) + ?д2 (х + а?) + ?2д3 (х + а?) + ? 3д4 (х + а?) (11)

четырех произвольных функций дъ д2, д3, д4 е С(4) (К) от аргумента х + а?, где функции д; : [0, то) э у ^ д; (у) е К, I = 1, 2,3,4.

Доказательство леммы. Сделаем замену переменных £ = х + а?, ^ = ? в уравнении (1) и приведем

4

по переменной ^ при каждом фиксированном £, находим и(^, £) = д1 (£) + ^д2(£) + ^2д3(£) + ^3д4(£). Возвращаясь здесь к старым переменным, получаем общее решение (11), так как сделанная замена переменных не вырождена. Лемма доказана.

Из леммы следует, что для того, чтобы решить задачу (1)-(4), нам нужно определить функции д;, I = 1, 2, 3,4, так, чтобы выполнялись условия (2)-(4). Классическое решение задачи (1)-(4) в области Q(0) совпадает с классическим решением задачи Коши (1), (2) в Q(0). Найдем ее решение. Удовлетворяя (11) начальным условиям (2) в указанном выше смысле, получаем систему уравнений

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

его к каноническому виду = 0, где и(^, £) = и (?, х). Интегрируя последнее уравнение четырежды

01 (х) = ^о (х), 02 (х) + а0^(х) = ^ (х), (х) + 2а#2(х) + а2#"(х) = ^ (х), (х) + 6а0з(х) + 3а202'(х) + а30(3)(х) = (х), х € (0,/).

2~■ "3д(3)(х) = рз(х), х е (0,/). (12)

Система (12) решается стандартными методами, а именно, из первого уравнения выражаем д1, затем дифференцируем первое уравнение и подставляем д' во второе, из которого выражаем д2 и т. д. На каждом шаге получается алгебраическое уравнение. Таким образом, из системы (12) однозначно определяются функции д1,д2, д3,д4, когда их аргумент у е (0,1). Обозначим их через д(0),д20) ,д30),д40). Тогда

д10) (у) = ^0 (у), (13)

д20)(у) = (у)- ар0(у), (14)

д30) (у) = 2 Ь(у) - 2ар'(у) + а2<(у)], (15)

д40) (у) = 6 Ь(у) - 3ар2(у) + 3а2< (у) - а>(3)(у)] . (16)

Следовательно, в представлении (11) по формулам (13)-(16) мы однозначно определили д;(у), (; = 1,4), когда у е (0,1), и тем самым решили задачу Коши (1), (2). Ее единственным формальным решением является функция

и0 (?, х) = д(0) (х + а?) + ?д20) (х + а?) + ? 2д30) (х + а?) + ? 3д40) (х + а?), (17)

которая при подстановке в нее выражений (13)-(16) для д(0) (у) (; = 1,4) совпадает с (9).

Поскольку надо, чтобы и0 е С(4) (Q(0)), то достаточные требования на гладкость начальных функций имеют вид

^0 е С(7) (Й), е С(6) (Й), ^ е С(5) (Й), ^ е С(4) (Й). (18)

Как видно, условия (18) отличаются от условий (5). Повышение требований гладкости обусловлено тем, что уравнение (1) является нестрого гиперболическим. Такая необходимость повышения гладкости была подмечена при решении смешанной задачи для нестрого гиперболического уравнения второго порядка в [Ломовцев, Юрчук, 2016].

Как видно из алгоритма вывода формулы (17), задача Коши имеет единственное решение. Решив задачу Коши, мы нашли классическое решение исходной задачи в области Q(0). Будем искать теперь классическое решение задачи в Q(1). Для определения функций д; (у) (; = 1,4) на оставшейся области определения Q(1) воспользуемся граничными условиями (3)-(4).

На концах х = 0 и х = I задаются граничные условия по два на каждом, можно найти поэтому значения функций д;(у) (; = 1,4). Сначала рассмотрим левую границу х = 0. Подставим в (11) и в его первую производную по х значение х = 0 и получим систему вида

д1 (а?) + ?д2 (а?) + ? 2д3 (а?) + ?3д4 (а?) = (?), д2(а?) + ?д2(а?) + ? 2д'(а?) + ? 3д4(а?) = (?).

В силу того, что ? > I/а, то аргумент а? > /, поэтому система (19) содержит четыре неизвестные функции. Преобразуем уравнения в (19). Сделаем замену у = а?, первое уравнение продифференцируем по переменной у и вычтем из полученного второе уравнение системы. Система (19) примет вид

01 (у) + - 02(у) + (-)20з (у) + (-)304(у) = (-), а \а/ \а/ \а!

02(у) + 2-0з(у) + 3(204(у) = а^ (- а№(у). а \а/ \а> \а>

(20)

а \а/ \а> \а>

Перейдем к рассмотрению условий на правой границе х = I. Удовлетворив (11) условиям (4), получим

2„ п . „!.\ ,

(/ + а?) + ?02 С + а?) + ? 203 + а?) + ? 304 (/ + а?) = V! (?), 02(/ + а?) + ?^2(/ + а?) + ? 2#з(/ + а?) + ? 304(/ + а?) = v2 (?). Аналогично, как и в системе (19), сделаем замену у = / + а?, тогда (21) примет вид

01 (у) + ^ 02 (у) + (^ ) 203 (у) + (^ ) 304 (у) = V! (^), а а а а

02(у) + 2^ 03(у) + 3(^)204(у) = avJ () - аv2().

а \ а / \ а / V а /

(21)

(22)

Таким образом, для определения функций 0;(у) (г = 1,4) для у € (/, то), мы получили систему четырех уравнений (20), (22) с четырьмя неизвестными, решая которую определяем эти функции. Обозначим их через 0(1), 02!), 03!), 04!). Тогда

.(1^ _ d - у)2d + 2у).. (у) + у(г - у)2 (у) + у2(3г - 2у) (у—г\ _

\а/ /2 а/ 13 Ч а /

0i1) (у) =

+

у2(г-у) ,, (у-г) у(г-у)2 ,(у\_,у2(г-у) „,(у-г)

—р— Ч —) —а^" М а) + -а-" м — >

021)(у) = * (у ) - а (г - 3у2)(г - у) № (f) - V1 (^) +

ау(2/ - зу) (у - г\ (г - зу)(г - у) ,(у) у(2г - зу) ,(у - г)

" (т) +-F-Ы J--pr- М"Н,

V2

г2 а г2 1 а г2 а

w 3(г - 2у) (у) а2(2г - зу) (у) 3а2(г - 2

0з (у) =--~ "Ча)--/2-Ма) +-гз-V1

а2 (г - Зу) (у - г \ а (2г - Зу) ./у \ а (Z - Зу) ./у - Z\

Ч—) +—Ы а) +—¡-г- v4—)'

г2

(1Ь л 2а3 (у) а3 (у) 2а3 (у - г)

04)(у) =- т Ы а)- р М а) +v4 —)-а3 (у - г ) а2 (у ) а2 (у - г )

- F Ч—) + F Ча) + F Ч—>

(23)

(24)

(25)

(26)

а

Из формул (23)-(26) видно, что функции 0(1) (г = 1,4) в представлении (11) определяются единственным образом, поэтому формальное решение исходной задачи в области Q(1) определяется однозначно и имеет вид

и1 (?,х) = 0(1) (х + а?) + f021)(x + а?) + ?203^(х + а?) + ?30_(1) (^ + а?),

,(1)

2 (1)

(Dz

(27)

где 0(1), г = 1,4, находятся по формулам (23)-(26). Подставив их, после преобразований получим формулу

(10). Из-за нестрогой гиперболичности уравнения (1) для того, чтобы м1 € С(4)Ш(1)) достаточно гладкости граничных данных , V1 на единицу больше, чем указано в (5). Из вывода формулы (27) вытекает единственность решения (10) этой граничной задачи.

Решение и(?,х) в области Q определяется двумя формулами: и0(?,х), если (?,х) € Q(0), и м1 (?,х), если (?, х) € Q(1). Теперь нужно показать, что на характеристике х + а? = I решения (9) и (10) непрерывны и имеют непрерывные производные до четвертого порядка включительно, т. е. выполняются следующие соотношения:

dsu1 dsu0 dsu1

d?s х=l-at д?s х =l-at dxs х=l-at dxs

х =l -at

s = 1, 2,3,4,

д2и0 д2и1 д3и0 д3и1 д3и0 д3и1

д?дх х =l-at д?дх х^-at д?2 дх х =l-at д? 2 дх х=l-at' д?дх2 х=l-at д?дх2

=l—at

д4и0 д4и1 д4и0 д4и1 д4и0 д4и1

д?3 дх х=1 -at д? 3 дх х =l-a^ д?2дх2 х=1 -at д? 2 дх2 х=l-a^ д?дх3 х=l-at д?дх3

Выполнение этих соотношений приводит к дополнительным условиям согласования (8). Покажем, как получаются эти условия. Рассмотрим условие непрерывности функций и0 и М1 на х + а* = /:

(ио - иЖ*,/ - а*) = ^о(/) - V1 (0) + ^аУ2(0) + (/) - ^(0) - а^(/)] +

+2 *2 [-(За^1 (а) + (а) - Зау1 (0) + 2а^2(0)-/^1(^) - 2/у¡(0))] +

+1 *2 [^(/) - 2а^(/) + а2<(/)] + 1 *3 [*з(/) - 3а^2(/) + 3а2<(/) - а3П(3)(/)] +

+6 *3 [63"(2а^1 (а) + (а) - 2ау1 (0) + а/у2(0) - ^I (а) - /V¡(0))].

Данное соотношение имеет вид А + В* + С*2 + Б*3. Преобразуем его с учетом условий согласования (6)-(7). Это условие непрерывности примет вид

(и0 - и^*, / - а*) =

= 2 *2 [-¥ (3а№ (а)+а/^2 (а) - 3а^0 (/) - 2/^1 (/) + 2«/^0(/) - м (а))]+

+1 *2 [^2(/) - 2а^1(/) + а2^01(/)] + 1 *3 [^3(/) - 3а^2(/) + 3а2<(/) - а3^(/)] +

+6 *3 [(2а^(а) + а/^2(а) - 2а^0(/) - /«>(/) - /^ 1 (а) - а/2^0(/))].

Далее, учитывая линейную независимость функций 1, *, *2, *3, потребуем, чтобы коэффициенты при * и *2 обращались в нуль. Получаем первые два уравнения системы

^2(/) - 2а^1(/) + а2^0'(/) - |г (За^1 (/) + «/№(/) - 3а^0(/) - 2/^1 (/) + 2а/<р0(/) - /^1 (/)) = 0,

^3(/) - 3а^2(/) + 3а2^1'(/) - а3^2(/) + ^т (2а^ (^) + «/№(^) - 2а^0(/) - /^1 (/) - Ц (^)--а/>0(/)) = 0.

Аналогично рассматриваются все оставшиеся соотношения. Каждое соотношение записывается в виде полинома третьей степени, учитывая вид решений (9), (10). Затем его коэффициенты упрощаются за счет условий (6), (7), после чего они приравниваются к нулю. Получается система уравнений, которую решаем относительно /а), г = 0, 5, ^2!)(//а), ' = 0,4, у|5)(0), г24) (0). Ее решение и есть условия (8). Устойчивость решения и0 по ^, = 0,1, 2, 3, в Q(0) и и1 по , V;, г = 1, 2, в Q(1) непосредственно следует из формул (9) и (10). Теорема доказана.

Замечание. В процессе решения смешанной задачи (1)-(4) использовались средства компьютерной алгебры - система МаШешайса 11: для проверки решений и0,и1 и проверки дополнительных условий согласования (8).

Заключение. В работе построено единственное классическое решение смешанной задачи в полуполосе для линейного нестрого гиперболического однородного уравнения четвертого порядка, оператор которого представляет собой произведение одинаковых операторов первого порядка. Получены достаточные требования гладкости входных данных и достаточные условия согласования граничных условий с начальными условиями и уравнением.

Благодарность. Авторы выражают благодарность доктору физико-математических наук, профессору Ломовцеву Федору Егоровичу за внимательное знакомство с рукописью статьи и сделанные ценные замечания.

Список литературы

1. Иврий Н. И., Петков В. М. 1974. Необходимые условия корректности задачи Коши для нестрого гиперболических уравнений. Успехи матем. наук, 29(5): 3-70.

2. Ломовцев Ф. Е., Юрчук Н. И. 2016. Решение начально-краевой задачи для нестрого гиперболического уравнения при смешанных граничных условиях в четверти плоскости. Весщ НАН Б, 3: 51-57.

3. Ломовцев Ф. Е. 2019. Критерий корректности смешанной задачи для одного параболического уравнения на отрезке со смешанными граничными условиями на концах. Материалы Междунар. конференции «Воронежская зимняя математическая школа» (28 февраля - 2 марта 2019 г.) Воронеж: Издательский дом ВГУ: 184-185.

4. Чеб Е. С. 2017. Классическое решение смешанной задачи для линейного гиперболического уравнения четвертого порядка с кратными характеристиками. Вестник ГГУ. Сер. 2, 7(3): 33-41.

5. Sakamoto P. 1970. Mixed problems for hyperbolic equations I, II. J. Math. Kyoto Univ., 10(3): 403-417.

6. Than D. V., Mikio T., Nguen D. S. 2000. The characteristic method and its generalization for first-order nonlinear partial differential equations, CHAPMAN&HALL/CRC. Monographs and Surveys in Pare and Applid Mathematics, 101. Boca Raton-London-New York-Washington, 237 p.

References

1. Ivrii N. I., Petkov V. M. 1974. Neobhodimye usloviya korrektnosti zadachi Koshi dlya nestrigo giperbolicheskih uravneniy [Necessary condition for the Cauchy problem for non-strictly hyperbolic equations]. Uspehi matem. Nauk, 29(5): 3-70.

2. Lomovtsev F. E., Yurchuk N. I. 2016. Reshenie nachalno-kraevoy zadachi dlay nestrogo giperboliches- kogo uravnebiya pri smeshannih granichnih usloviayh v chetverti ploskosti [Initial boundary value problem for non-strictly hyperbolic equation with mixed boundary condition in a quadrant]. Vesti NANB. Ser. fiz.-math.n., 3: 51-57.

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

3. Lomovtsev F. E. 2019. Kriteriy korrektnosti smeshannoy zadachi dlya odnogo parabolicheskogo uravneniya na otrezke so smeshannimi granichnimi usloviyami na koncah Materialy Mezhd. Konf. «Voronezhskaya zimnya matem shkola» (28.02-02.03 2019). Voronezh, VGU: 184-185.

4. Cheb E. S. 2017. Klassicheskoe reshenie smeshannoy zadachi dlya lineynogo giperbolicheskogo uravneniya chetvertogo poryadka s kratnimi harakteristikami [Classical solution of the mixed problem for linear hyperbolic fourth-order equation with multiple characteristics]. Vestnik GSU. S. 27(3): 33-41.

5. Sakamoto P. 1970. Mixed problems for hyperbolic equations I, II. J. Math. Kyoto Univ., 10(3): 403-417.

6. Than D. V., Mikio T., Nguen D. S. 2000. The characteristic method and its generalization for first-order nonlinear partial differential equations, CHAPMAN&HALL/CRC. Monographs and Surveys in Pare and Applid Mathematics, 101. Boca Raton-London-New York-Washington, 237 p.

Получена 10.01.2020

Симинская Елена Сергеевна - выпускница магистратуры ФПМИ Белорусского государственного университета

пр. Независимости, 4, г. Минск, Республика Беларусь, 220030 E-mail: [email protected]

Чеб Елена Сергеевна - кандидат физико-математических наук, доцент кафедры компьютерных технологий и систем ФПМИ Белорусского государственного университета пр. Независимости, 4, г. Минск, Республика Беларусь, 220030 E-mail: [email protected]

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