Задача Римана о распаде разрыва в случае многих пространственных переменных

УДК 519.2

Ю. И. Скалько

Московский физико-технический институт

Задача Римана о распаде разрыва в случае многих пространственных переменных

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

Ключевые слова: распад разрыва, условия сопряжения, гиперболические системы, обобщенные функции, задача Коши, матрица-функция Грина, характеристики, инварианты Римана, уравнения упругой динамики.

Y. I. Skalko

Moscow Institute of Physics and Technology

Riemann problem of a discontinuity decay in the case of

several spatial variables

The paper presents the solution of the generalized Riemann problem of a discontinuity decay of for hyperbolic systems of linear first order differential equations with constant coefficients and any number of spatial variables. The proposed algorithm reduces the problem of finding the values of the variables in both sides of the discontinuity surface of the initial data to the system of algebraic equations with the right-hand side depending on the values of the variables at the initial time in the finite number of points.

Key words: decay gap, junction conditions, hyperbolic systems, generalized functions, Cauchy problem, Green's matrix function, characteristics, Riemann invariants, elastic dynamics equations.

1. Введение

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

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

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

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

^ + £ = х £

г=1

с начальными данными

и

которые всюду непрерывны, кроме гиперплоскости Г : х\ =0. При этом должны выполняться заданные соотношения (условия сопряжения), связывающие значения переменных по обе стороны гиперплоскости Г, т.е. и (г, х1 = —0, х2,...,хN) и и (г, х1 = +0, х2,..., хN):

Ь

В качестве примера соотношений, связывающих значения переменных и (г, х1 = —0,X2,...,XN) и и (г, х1 =+0,х2, ...,XN), можно рассмотреть для случая системы уравнений упругой динамики условия полного слипания, состоящие в том, что при переходе через гиперплоскость Г непрерывны компоненты вектора смещений и непрерывны нормальные к гиперплоскости компоненты тензора напряжений. Или условия проскальзывания без трения, состоящие в том, что при переходе через гиперплоскость Г непрерывны нормальные к гиперплоскости компоненты вектора смещений, непрерывны нормальные к гиперплоскости компоненты тензора напряжений, тангенциальные компоненты сил, действующих по обе стороны гиперплоскости, равны 0.

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

3. Фундаментальное решение

В дальнейшем изложении будут использоваться понятия и утверждения теории обобщенных функций, изложение которой можно найти, например, в [5], [6] или [7].

Определим пространство основных вектор-функций & (Л^. Элементами этого пространства будут М-мерные вектор-функции ф = (р1,...,рм), компоненты которых Р1 (у),..., рм (у) принадлежат пространству & (Л^, которое состоит из функций класса С^ (Л^, убывающих при \у\ ж вместе со всеми своими производными быстрее любой степени \у\_1.

Определение 1. Обобщенными вектор-функциями { = (/1,...,/м) € (Л^ будем называть линейные непрерывные функционалы на векторном основном пространстве & (Л^. При этом функционал { действует на основную вектор-функцию ф = (р1,..., рм) по формуле ({, ф) = (¡1,Р1) + ... + (/м, Рм).

Определение 2. Обобщенным решением для системы уравнений

^ + £ А.^ = ' Лх)

.= 1

будем называть обобщенную функцию и (г, х) £ (Я^+1), удовлетворяющую этому уравнению в обобщенном смысле, т.е. для произвольной основной функции ф (г, х) £ & +1) выполняется равенство

(£*) + £ (а. £*) = С. ф).

где Аг - матрицы коэффициентов системы уравнений (4) размера (М х М).

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

Аг = КгЛгПг,

где Лг - диагональная матрица собственных чисел матрицы Аг, упорядоченных по не убыванию,

Ог - матрица, строки которой являются левыми собственными векторами матрицы Аг, соответствующие собственным числам Лг,

Кг = О-1 - матрица, столбцы которой являются правыми собственными векторами матрицы Аг.

Определение 3. Фундаментальным решением оператора задачи (4) называется обобщенная матрица-функция С ^, х) е &' +1), удовлетворяющая уравнению

дС V—л . дС т ^ . . . >

д + Е Аг ^ = I 5

г=1

где I - единичная диагональная матрица (М х М).

Определение 4. Сверткой С * Г обобщенной матрицы-функции С = Gгj е и обобщенной вектор-функции Г = fj е & будем называть обобщенную вектор-функцию

м

и = иг е , такую что иг = ^ Gг,j * fj, где Gг,j * fj - свертка Gг,j и fj, как обобщенных

j=l

функций из &'.

Лемма 1. Пусть { (£, х) е таково, что свертка С * { существует в . Тогда 'решение уравнения (4) существует в & и дается формулой

и = С * {.

Это решение единственно в классе тех функций из , для которых существует свертка с С.

Доказательство Пользуясь формулой дифференцирования свертки, получим ди Ал ди д (С * Г) Лл д (С * Г) (дС Лл дс\

Ж + £ Аг= "V"2 + £ Аг"пьт = дС + £ Аг ^ * ' = 5 ^ Х) * Г = Г.

г=1 г=1 \ г=1 /

Поэтому формула (7) действительно дает решение уравнения (4). Докажем единственность решения уравнения (4) в классе тех обобщенных функций из , для которых свертка с С существует в &. Для этого достаточно установить, что соответствующее однородное уравнение

ди + ^^ А - д и 0

гЯ ^ г дхг

г=1

имеет только нулевое решение в этом классе. Но это действительно так в силу

лт (д С N. д С\ ^ (ди ЛЛ ди \ „

и = 5 ^ Х) 1 * и = ("сТ + Ц Аг* и = С ^д + Ц АгЩ) = 0.

Построим фундаментальное решение оператора задачи (4). Обозначим через V £) = [С] - преобразование Фурье С х) по пространственным переменным. Выполним преобразование Фурье уравнений (6) по пространственным переменным.

Учитывая, что ^Х ние

9С

1 J

= —г^оРх [С], для обобщенной функции V

Решение уравнения (8) имеет вид

яу N

дV

1=1

N

V (г, 0 = е (г)ехр(г^ а3г о=1

где е(г) - функция Хевисайда:

. | 1, если г > 0:

е(г) = <

[0, если г < 0. Следуя определению матричной экспоненты,

(N \ N N

Ао г) = Пехр(г& А, г) + £ г^Б-]] (—^ )«.

1=1 / 3=1 1=1

Здесь а = (а1,а2,..., аN) - целочисленный вектор с неотрицательными составляющими аз (мультииндекс), \а\ = (а1 + ... + аN), Ба - матрицы размера М х М, являющиеся полиномами матриц А3- степени \а\. Учтем (5), тогда

ехр (г^з Аз г) = Из ехр (г^ Лз г) П.

Следовательно:

(N \ N N

1 Аз г) = П Из ехр Лз г) п + ^ г|а|Б^ (—г^ )«.

1=1 ) 1=1 |а|^2 1=1

Выполняя обратное преобразование Фурье, получим матрицу-функцию Грина:

С (г, х) = е (г) | Из5 (щ — л,г) п + £ г|a|БaDa5 (х) \1=1 |«|^2

Здесь 5 (1хз — Л,г) - диагональные матрицы, в к-й строке которых стоит обобщенная функция 5 ^хз — \кг^, - к-е собственное число матрицы А,, д|а|

Da = д а1 д «2—д «м - оператор дифференцирования по пространственным переменным.

Рассмотрим сомножитель И,5 (1хз — Л,г) . Обозначим через - квадратную матрицу размера М х М, все элементы которой равны 0, кроме к-го элемента главной диагонали, равного 1. Тогда

м м

Из5 (х — Лзг) п = £ ИзБкп5 (хз — \кг) = £ ск5 (х, — х*г). к=1 к=1

Следовательно,

N

ЦИ 5 (х — Лз г) п

з=1

M M M

= Е Е ••• Е ci1 °22s

k1 = 1 k2 = l к^= 1

Если определить:

k = (kl, k2, • ••, км) - мультииндекс, целочисленный вектор с составляющими kj = 1 : M,

Ck = C^ C22•••CNN - многоиндексный массив матриц,

Лк = ^Л^, Лк, •••, Л^) - многоиндексный массив векторов, то

N

П Rjs (IXj - Ajt) Oj = £ CkS (x - ЛИ) , j=l k

тогда

G

Обратим внимание на следующий факт, который будет использован в дальнейшем. j Dkj Oj,

Поскольку Ckj = RjDkj Oj, то

MM

£ Ckj = Rj

4. Задача Римана

Пусть и (£, х) - решение задачи Римана (1), (2), (3). Обозначим через Б - поверхность, по которой и (£, х) терпит разрывы, п = (щ, пХ) = (п ,и1,...,и^) - единичная нормаль к Б, [и (£, х)] - скачок при переходе через Б против нормали п. Определим функции

, ) = ( и (£, х) , если £ ^ 0,х1 ^ 0, + , ) = / и (£, х), если £ ^ 0,х1 ^ 0,

и [г,х) = < „„гг,г,ттт „, + ^ и (£,х) =

0, при остальных х, 10, при остальных х,

_,. ч _ Г ио (х) , если х1 ^ 0, + , . _ ( ио (х), если х1 ^ 0,

и0 (t, х) = 1 п и0 (t, х) = 1 п

о 0, при остальных х, о 0, при остальных х,

V-(£, х) = 0(£)и (£, х1 = -0,х2,...,хм) , v+(í, х) = 0(£)и (£,х1 =+0,х2,..., х^).

Покажем, что и_ (£, х), рассматриваемая как обобщенная функция из , удовлетворяет уравнению

N

+ Е А_"Х = и_ ' 5*=о - A_v_  5ж1=о +

ди- N ди- ( N

-dt+Е A- -X =и-  Si=°- A-v-  + Мnt+Еn

i=1 г V i=1 /

Действительно, при всех ф (t, x) е S имеем цепочку равенств:

(du-+1A-% *)=-/((Чт u-)+£(%=A-u-^dd,^

ff д ~ n д i

J rT;~uf + EA-dtdx+J (0,x);u-(0,x«dx•••-

- J фт; A-u-) dtdr + J (фт; ^ [u-] щ + ^ A- [u- n^j dS ••• = = J (0, x); u- (x)) dx - J фт; A-v-) dtdr + f |V; [u-] nt + ^ A- [u-] n^ dS,

kj = 1

kj = 1

откуда и вытекает равенство (11).

В силу произвольности ф (г, х) £ &, равенство (11) эквивалентно двум равенствам:

ди" Л . _ ди" _ _ _

+ 2. А" = и"  5*=0 — А"""  ^

^ [u"] nt + £ щА~ [u-] j • ös = 0.

По сути, второе равенство (12) задает поверхности 5, вдоль которых происходит разрыв

N

решения задачи Римана и условия Гюгонио на них: [и"] щ + ^ п.А~ [и"] = 0 .

г

Аналогично, и+ (г, х), рассматриваемая как обобщенная функция из , удовлетворяет равенствам

ди+ . + ди+

dt +Z -jx = u+ • öt=0 + A+v+ • ö-=0,

^ [u+] nt + ^ nA+ [u+] j • ös = 0.

Докажем три леммы, которые будут существенны в дальнейшем. Лемма 2. Пусть u(x) - локально интегрируемая функция в Rn . Тогда

9(t) • ö(x - at) * u(x) • öt=0 = 9(t)u(x - at).

Доказательство

Согласно определению свертки обобщенных функций [7], для произвольной основной функции <p(x,t) £ S (Rn+1) и произвольной последовательности функций Пк (x, y, t, т) £ S (R2N+2), сходящейся к 1 в R2N+2 (с. 133 монографии [7]), справедлива следующая цепочка равенств:

def

(9(t) • ö(x - at) * u(x) • öt=o, V (x, t))... =

def

= lim (9 (t) • ö (x - at) • u (y) • ör=o, Пк (x, y, t, т) v (x + y, t + т))... = = lim (9 (t) u (y) • ör=o, Пк (at, y, t, т) <p (at + y, t + т))... =

= lim 9 (t) u (y) Пк (at, y, t, 0) v (at + y, t) dr ... =

J

Г:г=0

+те +те

= J е (г) и (у) р (аг + у, г) йуйг = J е (г) и(х — аг) р (х, г) йхйг... =

= (е(г)и(х — аг), р (х, г)). Тем самым утверждение леммы доказано.

Лемма 3. Пусть у(г, х) - локально интегрируемая функция в

^+1 и

у(г, х) = 0 при г ^ 0, тогда если а1 = 0, то

9 (t) • ö (x - at) * v(t, x) • ör^j^o = |—¡- 9 ( — p(t--, x--a

1 д (ХЛ Л xi xi

—,9 — v t--, x--j

если a1 = 0, то

9 (t) • ö (x - at) * v(t, x) • ör:^!=o = 0.

Доказательство Если ai = 0, для произвольной основной функции р (x,t) Е S (Rn+i) и произвольной последовательности функций щ (x, y,t,T) Е S (R2N+2), сходящейся к 1 в R2N+2, справедлива следующая цепочка равенств:

def

(9(t) • ö (x - at) * v(t, x) • ¿Г:Х1=0, р (x, t)) ... =

def

= lim (0(t) • ö (x - at) • v(t, y) • 0г:Ш=о, Пк (x, y,t, t) р (x + y,t + t))... =

к—ж

= lim (d(t)v(T, y) • 0Г:Ш=0, Пк (at, y, t, t) р (at + y,t + t))... =

к—ж

= j 0(t')v(T', y) р (at' + y,t' + t'( dy2,...,dyN ,dtdT ... =

Г:^1=0

+ж

=—г в( — ) v(t — —, x — — a) р (x,t) dxdt... =

N17 \ai/ V ai ai /

— ж

=A (Ч-) "О — x — -a) . р

N1 V \ai/ \ ai ai /

Тем самым утверждение леммы для ai =0 доказано. Пусть v(t, x) = 0 при t ^ 0.

Если t > 0, xi < 0 и ai > 0, то в (t) • ö (x — at) * v(t, x) • ör:x1=0 = 0. Если t > 0, xi < 0 и xi/t ^ ai < 0, то в (t) • ö (x — at) * v(t, x) • ör:x1=0 = 0. В силу непрерывности свертки для t > 0, xi < 0

в (t) • ö (xi) • ö (x2 — a2t) ...ö (xn — aNt) * v(t, x) • 0Г:Ж1=0 = ...

= lim (в (t) • ö (x — at) * v(t, x) • örx1=0) = 0. «1—0

Точно так же для t > 0, xi > 0

в (t) • ö (xi) • ö (x2 — a2t) ...ö (xn — aNt) * v(t, x) • ör:^1=0 = ...

= lim (в (t) • ö (x — at) * v(t, x) • ör:x1=0) = 0. «1 —^0

Отсюда следует справедливость утверждения леммы для произвольных a.

5. Задача Римана, одна пространственная переменная

В случае одной пространственной переменной формула (9), задающая фундаментальное решение оператора задачи принимает вид:

м

С (г, х) = ^ КБкШ (х - \кг). к=1

Решение первого уравнения системы (12) можно выписать в виде свертки:

м

и-

k=i

Используя обозначение Ск = К ЮкО , и на основании леммы 2 и леммы 3, (14) можем записать

u—

( \

£ C—u— (x — \—t) + £ -1C—A—v— (t — x/\k—

\k: x^X—t k: x>X—t —

Поскольку А = И Л П , то С" А = С", и (15) можно переписать:

и "

( \

к (х— I V' г<к ,„ "Л

^ С" и" (х — х "г) + ^ С "V " (г — х/х"

ук: х^Х—Ь к: х>Х—Ь у

Пусть у матрицы А " соответственно N" - отрицательных, 2" - нулевых и Р" - положительных собственных чисел. Умножим равенство (16) на левые собственные векторы-строки матрицы А , соответствующие неотрицательным собственным числам. Получим 2" + Р" равенств:

1 "и "

где 1" - к-я строка матрицы П ". Равенства (17) отражают факт сохранения инвариантов Римана вдоль характеристик, соответствующих собственным числам х^ ^ 0. Переходя в равенстве (17) к пределу х ^ —0, получаем

1" V "

Аналогично (14), решение первого уравнения системы (13) можно выписать в виде свертки:

м

и+ (г, х) = е(х) ^ И+БкП+5 (х — х+г) * (и+ • 54=о + • 5х=о) . к=1

Введя обозначение С+ = И+БкП+, можем записать следующее:

/

и+

£ С+и+

ук: Ь к: х<Х+Ь у

Пусть у матрицы А+ соответственно N + - отрицательных, 2 + - нулевых и Р + - положительных собственных чисел. Умножим равенство (5) на левые собственные векторы-строки матрицы А+, соответствующие неположительным собственным числам. Получим N + + 2+ равенств:

1+и+

где 1+ - к-я строка матрицы П+. Равенства (19) отражают факт сохранения инвариантов Римана вдоль характеристик, соответствующих собственным числам х+ ^ 0.

Переходя в равенстве (19) к пределу х ^ +0, получаем равенство

Объединим равенства (18), (21) и добавим к ним условия сопряжения (3), получим систему линейных алгебраических уравнений, которым должны удовлетворять значения решения задачи Римана по обе стороны границы раздела областей для неизвестных V " (г) и v+ (г):

' 1"V - (г) = 1"и" (—х "г); к, х" > 0,

<

, ь (V - (г), V+ (г)) = 0.

Для однозначного решения обобщенной задачи Римана о распаде разрыва необходимо и достаточно, чтобы система уравнений (22) имела единственное решение.

Решим систему уравнений (22) и определим значение V (г) и ^ (г) при г > 0 по обе стороны точки х = 0.

Формулы (16) и (21) с полученными зависимостями V" (г) и ^ (г) дают полное решение обобщенной задачи Римана о распаде разрыва для случая одной пространственной переменной.

Рассмотрим прямую линию х — Х_г = 0, Х_ < 0. Как следует из (16), решение задачи Римана при переходе через эту прямую терпит разрыв:

[и"

Поскольку С_ = К"Б_О" и в матрице К Б_ все столбцы нулевые, кроме к-го, который равен к-му правому собственному вектору матрицы А", то из (23) следует, что скачок [и" (г, х)] постоянен вдоль прямой х — \"г = 0, Х" < 0, и этот скачок пропорционален к-му правому собственному вектору матрицы А-.

Аналогично, вдоль прямых х — Х+г = 0, Х+ > 0 распространяется разрыв:

[и+ (г, х)] = и+ [г, х > Х+г) — и+ [г, х < Х+г) = с+ (и+ (0) — v+ (0)) .

Скачок [и+ (г, х)] постоянен вдоль прямой х — Х+г = 0, Х+ > 0, и этот скачок пропорционален к-му правому собственному вектору матрицы А+.

6. Задача Римана, несколько пространственных переменных

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

Рассмотрим первое уравнение системы (12). Фундаментальное решение оператора задачи задается формулой:

N

С"

3 = 1

Используя обозначение

N

П К"5 (х — Л"г)= Е с"5 (х — Х"г),

3=1 к

фундаментальное решение (24) представимо в виде

С" (г, х) = в (г) Е с"5 (х — Х"г) + в (г) ^ г1а1В"Оа5 (х).

Решение первого уравнения системы (12) можно выписать в виде свертки:

и" (г, х) = в(—х1)С" (г, х) * (и"5ь=о — A_v_5Ж1=^ .

На основании утверждений леммы 2 и леммы 3, а также, учитывая, что Ба5 (х) * и" (х) • 5 (г) = (х), можем записать:

и" (г, х) = в (г) в (—х1) £ с" и" (х — Х"г) + в (г) в (—х1) ^ г^в^и" (х)...+

к: Х1^Лк_1 Ь Н^2

+в (г) в (-Х1) £ ^С-А^- Ь 1 - V

1 ГЧк л I 4- Х1 ,, Х 1 \к

к: Х1>Л Ь

ть С-А IV"! г - ^, х - лк,.

Если начальные данные по обе стороны гиперплоскости х 1 =0 заданы полиномами степени Р, то в правой части формулы (25) останется только конечное число слагаемых:

Р+1

и- (г, х) = в (г) в (-х0 £ с-и- (х - л-г) + в (г) в (-х1) £ г1а1в-оаи- (х)...+

к: х^Л-1 Ь Н>2

1 к х1 х1 к

+в (г) в (-х1) £ ^с-A-v- {г

к: х1 >Л 1 Ь

Переходя в (26) к пределу х1 ^ -0, получаем 1

ть С-А1 V) г - Лк1, х - Лк1 .

IV - Е лк1 с-A-v- = £ с-и- (-л- г,х2 - л- г,...,хм - л- г)...+

лк

к: Л-1 <0 - к: Л-1 >0

Р+1

+ £ гИВ-Оаи-

\а\>2

Так как Ск = Ск1 Ск2...Скм, и учитывая (10), получаем, что IV- - £ С-1 А- V- = £ С-и- [-л-г,х2 - л-2 г,..,хИ - л-г)...+

к1: Л-1 <0 - к: Л-1 >0

Р+1

+ £ г1а\в-оаи-

\а\>2

Поскольку А- = К-Л-О-, то С-1 А- = С-1, следовательно:

^ С-1 V- = £ С-и- (-л-1 г,х2 - л- г,..., хм - л- г)...+

£ Ск1 V- = £ г'к"- ^хк1 к1: Лк} >0 к: Лк} >0

Р+1

+ £ г^В-^и-

\а\>2

Пусть у матрицы А- соответственно Ж- - отрицательных, - нулевых и Р- - положительных собственных чисел. Умножим равенство (27) на левые собственные векторы-строки матрицы А-, соответствующие неотрицательным собственным числам. Получим Z- + Р- равенств:

1-1V = £ 1-1 С-и- (-л-1 г,х2 - лк- г,...,хм - л-г)...+ к, >0

Р+

+ £ г\а\1-1 В-Баи^

\а\>2

Аналогично, решение первого уравнения системы (13) можно выписать в виде свертки: и+ (г, х) = в(х1)С+ (г, х) * (и+^=0 + A+v+¿x 1 =0) .

На основании утверждений леммы 2 и леммы 3, если начальные данные по обе стороны гиперплоскости х1 =0 заданы полиномами степени Р, можем записать

Р+1

и+

(х)...+

к: х1^Л+1 Ь

+в (г) в (х1) Е Хк с+A+v+ (г

к: х1<Л+1 Ь _ ^

х1 х1 к — —;—, х — —;— Л|

Х+1

У+1 +у

Переходя в (29) к пределу х1 ^ +0, получаем

Е с+1 v+ = Е с+и+ (—Х+1 г,х2 — Х+2г,..,XN — Х+*г)...+

к1: Л+1 <0 к: Л+1 <0

Р+1

Пусть у матрицы А+ соответственно N° - отрицательных, - нулевых и Р+ - положительных собственных чисел. Умножим равенство (30) на левые собственные векторы-строки матрицы А+, соответствующие неположительным собственным числам. Получим № + Z+ равенств:

1+Л+ = Е 1+1 с+и+ (—Х+1г,х2 — хk+ч,..,XN — Х+г)...+

к: Лк1 <0

Р +1

+ Е г|а| 1+1 В+^аи+ (0,X2,...,XN)к1,Х+1 < 0.

Объединим равенства (28), (31) и добавим к ним условия сопряжения (3), получим систему линейных алгебраических уравнений, которым должны удовлетворять значения решения задачи Римана по обе стороны границы раздела областей для неизвестных v_ (г, х) и v+ (г, х):

1_1 с_и_ (—Х_г,х2 — Х_г,...,XN — Х_г) +

к

к: Лк1 >0

Р +1

+ Е ги в_паи_ (0,х2,...,х^; к1,Х_ > 0,

1+ V+

Е 1+ с+и+ (—Х+1 г,х2 — Х+2 г, — Х+ г) +

к: Л+1 <0 Р +1

+ Е гИ 1+1 в+^аи+ (0,х2,...,х^; к1, Х+1 < 0,

Ь (v_, v+) = 0.

Для однозначного решения обобщенной задачи Римана о распаде разрыва необходимо и достаточно, чтобы система уравнений (32) имела единственное решение.

Решим систему уравнений (32) и определим значение v _ (г, х) и v+ (г, х) при г > 0 по обе стороны гиперплоскости х1 = 0.

Формулы (26) и (29) с полученными зависимостями V- (г, х) и ^ (г, х) дают полное решение обобщенной задачи Римана о распаде разрыва для случая многих пространственных переменных.

Обратим внимание, что если начальные данные заданы линейными функциями по обе стороны гиперплоскости х\ = 0, то система уравнений (32), дающая решение обобщенной задачи Римана, принимает вид

I-V- = Е -С-и- (-Л-1 г,Х2 - х-г,...,хм - Х-г); к1,Х- > 0,

к: А*1 >0

< 1+ v+ = Е 1+1 С+и+ (-Л+1 г,Х2 - Л+2г,...,хм - Л+г); к1,Л+1 < 0,

к:А+1 ^0

Ь (V-, v+) = 0. При г ^ +0 система уравнений (32) принимает вид

/

—V = Е — и0 (0,Х2, ...,хм); к1,Л- > 0, !+1 и+ (0,Х2,...,хм); к1,Л+1

к:Ак1 >0

1+1 v+ = Е 1+ и+

к:А+1 ^0

Ь (V-, v+) = 0.

Именно такое (33) приближенное решение задачи Римана используется при построении алгоритмов решения гиперболических систем дифференциальных уравнений первого порядка [1], [2].

Рассмотрим гиперплоскость х1 -Л—г = 0, Л- < 0. Из (26) следует, что решение задачи Римана при переходе через эту гиперплоскость терпит разрыв:

[и- ^ х)] = и- ^ = ^ + 0, ^ - и- ^ = ^ - 0 х^ ... =

Е ^С-А-V-

к: ж1=А^1 г -

. к

Ч

Ск -

к: ж1=Е1 г

- Е С-и- (0,х2 - л- г,...,хм - л-

В пределе г ^ +0 скачок решения задачи Римана [и (0, х)] при переходе через гиперплоскость х1 - Л-1 г = 0, Л- < 0:

[и- (0,х)] = Я-Б^О1 (V- (0, 0,х2, ...,хм) - и- (0,х2,-,хм)) .

Поскольку в матрице К°Бк1 все столбцы нулевые, кроме к1-го, который равен к1-му правому собственному вектору матрицы А-, то из (23) следует, что этот скачок пропорционален к1-му правому собственному вектору матрицы А-.

Аналогично, вдоль гиперплоскости х1 - х+г = 0, Л+ > 0 распространяется разрыв

[и+

к: ж1=А+1 г +

- Е с+и+ (0, х2 - х+2г, ...,хм - Л+*г).

к: Ж1=А+11

В пределе г ^ +0 скачок решения задачи Римана [и+ (0, х)] при переходе через гиперплоскость х1 - Л+г = 0, Л+ > 0:

[и+ (0, х)] = Я+Б^01 (v+ (0, 0, х2, ...,хм) - и+ (0, х2, ...,хм)) .

Этот скачок пропорционален к1-му правому собственному вектору матрицы А+.

Если начальные данные заданы константами по обе стороны гиперплоскости х1 = 0, то разрыв решения задачи Римана постоянен вдоль гиперплоскости х1 — Х1^г = 0, Х_} < 0, и пропорционален к1-му правому собственному вектору матрицы А _:

[и _ (г, х)] = К_Бк101 ^ _ (0, 0) — и_ (0)) .

Аналогично, в этом случае разрыв решения задачи Римана постоянен вдоль гиперплоскости х1 — Х+1 г = 0, Х+1 > 0, и пропорционален к1-му правому собственному вектору матрицы

А+:

[и+ (г, х)] = К+Бк101 (0, 0) — и+ (0)) .

7. Заключение

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

Благодарности. Работа выполнена при финансовой поддержке проекта Министерства образования и науки РФ № 3.522.2014/К в лаборатории флюидодинамики и сейсмоакустики МФТИ.

Автор благодарит профессоров кафедры высшей математики МФТИ В. П. Бурского и В. Ж. Сакбаева, профессора кафедры информатики и вычислительной математики

A. В. Колдобу, доцента этой же кафедры И. В. Цыбулина и студента 1-го года магистратуры

B. А. Мазепова за полезные обсуждения и помощь.

Литература

1. Куликовский А.Г., Погорелое Н.В., Семенов А.Ю. Математические вопросы численного решения гиперболических систем уравнений. М.: Физматлит, 2001.

2. LeVeque R.L. Finite Volume Methods for Hyperbolic Problems. Cambridge: Cambridge University Press, 2002.

3. Скалько Ю.И. Корректные условия на границе, разделяющей подобласти // Компьютерные исследования и моделирование. 2014. Т. 6, № 3. С. 347-356.

4. Kaser M, Dumbser M. An Arbitrary High Order Discontinuous Galerkin Method for Elastic Waves on Unstructured Meshes - I. The Two-Dimensional Isotropic Case with External Source Terms // Geophys. J. Int. 2006. V. 166. P. 855-877.

5. Гельфанд И.М., Шилов Г.Е. Пространства основных и обобщенных функций. М.: Государственное издательство физико-математической литературы, 1958.

6. Гельфанд И.М., Шилов Г.Е. Обобщенные функции и действия над ними. М.: Государственное издательство физико-математической литературы, 1959.

7. Владимиров В.С. Уравнения математической физики. М.: Наука, 1981. References

1. Kulikovskii A.G., Pogorelov N.V., Semenov A.Y. Mathematical problems of numerical solution of hyperbolic systems. Moscow: Physmatlit, 2001.

2. LeVeque R.L. Finite Volume Methods for Hyperbolic Problems. Cambridge: Cambridge University Press, 2002.

3. Skalko Y.I. The correct conditions on the boundary separating subdomains // Computer studies and modeling. 2014. V. 6, № 3. P. 347-356.

4. Martin Kaser, Michael Dumbser An Arbitrary High Order Discontinuous Galerkin Method for Elastic Waves on Unstructured Meshes - I. The Two-Dimensional Isotropic Case with External Source Terms // Geophys. J. Int. 2006. V. 166. P. 855-877.

5. Gelfand I.M., Shilov G.E. Spaces of fundamental and generalized functions. Moscow: State Publishing House of Physical and Mathematical Literature, 1958.

6. Gelfand I.M., Shilov G.E. Generalized functions and operations on them. Moscow: State Publishing House of Physical and Mathematical Literature, 1959.

7. Vladimirov V.S. Equations of mathematical physics. Moscow: Science, 1981.

Поступила в редакцию 28.09.2016