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

УДК 517.95; 517.984

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

В. В. Корнев1, А. П. Хромов2

1 Корнев Владимир Викторович, кандидат физико-математических наук, доцент кафедры дифференциальных уравнений и прикладной математики, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, KornevVV@info.sgu.ru

2Хромов Август Петрович, доктор физико-математических наук, заведующий кафедрой дифференциальных уравнений и прикладной математики, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, KhromovAP@info.sgu.ru

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

Ключевые слова: смешанная задача, волновое уравнение, метод Фурье, резольвента. DOI: 10.18500/1816-9791 -2016-16-4-403-413

ВВЕДЕНИЕ

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

1. ПОСТАНОВКА ЗАДАЧИ

Рассмотрим смешанную задачу:

^ = д ^ - + /ОМ), ОМ) е Я = [0,1] X (-го, го), (1)

и(0,1) = и(М)=0, (2)

и(х, 0) = ^(х), и£(х, 0) = ф(х), (3)

где все функции предполагаются комплекснозначными, причем

q(x) е С[0,1], р(ж) е С2[0,1], Ф(х) е С1 [0,1], /(М) непрерывна в Я- (4)

Для существования классического решения (т.е. и(х,1) вместе с частными производными по ж и I до второго порядка включительно непрерывна в Я и удовлетворяет (1)-(3)) необходимо должны выполняться условия

р(0) = р(1) = ^(0) = ^(1) = 0, (5)

<р" (0) + / (0,0) = <р" (1) + / (1,0) = 0. (6)

Мы дополнительно потребуем еще, чтобы

/ (М) е С (Я). (7)

Наша цель — доказать, что при сделанных предположениях формальный ряд, построенный по методу Фурье, сходится и его сумма есть классическое решение задачи (1)-(3).

Приведем близкие к данной статье результаты. Справедлива следующая теорема [5, с. 198-200].

Теорема А. Пусть вещественные функции д(ж) е С2[0,1], р(ж) е С3[0,1], ^(ж) е С2[0,1], причем р(0) = р''(0) = р(1) = р''(1) = ^(0) = ^(1) = 0, /(ж, г) дважды непрерывно дифференцируема по ж и удовлетворяет условию

/(0,г) = /(1,г) = 0, г е [0, (8)

Тогда формальный ряд по методу Фурье и ряды, получающиеся из него почленным дифференцированием по ж и г до двух раз включительно, сходятся абсолютно и равномерно в <т = [0,1] х [0, Т] при любом Т > 0, и сумма формального ряда является классическим решением задачи (1)-(3).

В [6] классическое решение и(ж,г) задачи (1)-(3) в <т ищется в виде

и(ж,г) = и0(ж,г) + И1(ж,г), (9)

где и0(ж, г) — решение задачи (1)-(3) при /(ж, г) = 0, и1 (ж, г) — решение задачи (1)-(3) при р(ж) = ^(ж) = 0. Для и0(ж, г) в [6, с. 39] получена

Теорема В. Классическое решение и0(ж, г) при вещественной д(ж) е С[0,1] существует и единственно тогда и только тогда, когда

ф) е С2[0,1], #ж) е С1 [0,1], р(0) = р'' (0) = р(1) = р''(1) = ^(0) = ^(1) = 0,

и находится по методу Фурье.

Относительно и1 (ж, г) из (9) утверждается [6, с. 17, 67]:

Теорема С. Для разрешимости задачи (1)-(3) при р(ж) = ^(ж) = 0, д(ж) е С[0,1] и вещественной необходимо и достаточно, чтобы /(ж, г) была непрерывной с условием (8), и функции

р(ж,г) = / /(ж ± (г — т),т) ¿т были непрерывно дифференцируемы по ж и г, где /(ж, г) — нечетное, 0

2-периодическое продолжение /(ж, г) по переменной ж на всю числовую ось. Ряд, построенный по методу Фурье, сходится равномерно по ж е [0,1] при фиксированном г, и его сумма есть классическое решение задачи (1)-(3).

Нам представляется, что условие (8) не является необходимым. Приведем пример. Рассмотрим смешанную задачу

(ж,г) = иХх (ж, г) — г, и(0,г) = и(1,г) = и(ж, 0) = и (ж, 0) = 0, 0 ^ ж ^ 1, г е к. (11) Введем в рассмотрение функцию

Кж,г) = 8ж(ж +г)(ж + 3г) + д ^1(ж — г)^ — д ^—1(ж +г)^ ,

где д(ж) = 1 ж2 (1 — ж) при 0 ^ ж ^ 1 и продолжена на всю числовую ось по правилу

д(ж + 1) — д(ж) = — ^ж(1 + 3ж), ж е к.

Поскольку односторонние производные до второго порядка включительно так продолженной функции д(ж) в точке ж = 1 совпадают, то д(ж) е С2(к) (см. также лемму 2). Непосредственные вычисления показывают, что для г>(ж,г) справедливы соотношения

^(ж,г) = ю'Хх(ж,г) — г, ^(0,г) = -и(1,г) = 0, ж,г е к.

Далее рассмотрим функции ^(ж) = -и(ж, 0) и ^(ж) = ^(ж, 0), 0 ^ ж ^ 1. Продолжим их с [0,1] на [—1,0] нечетным образом, а затем на всю числовую ось периодически с периодом 2. Из соотношений для функции г>(х,£) следует, что ^(ж) £ С2(К), ^(ж) £ Си они удовлетворяют условиям

р(0) = р"(0) = ^(1) = ^ (1) = ^(0) = ^(1) = 0, ж) = — ^(ж), ж) = —^(ж), ^(1 — ж) = —^(1 + ж), ^(1 — ж) = —^(1 + ж).

С помощью этих условий нетрудно убедиться, что для функции

х+г

ш(ж, £) = 1 [ ^(ж + £) + ^(ж — £) + [ ^(т) ¿т

выполняются соотношения

^(ж, £) = ^Х'х(ж,^), ш(0,£) = эд(1,£)=0, ш(ж, 0) = ^(ж), ^(ж, 0) = ^(ж).

Следовательно, функция м(ж,£) = -и(ж,£) — ш(ж,£) является классическим решением задачи (11). Заметим, что в наших дальнейших рассуждениях мы не ищем решение задачи (1)-(3) в виде (9).

2. ЧАСТНЫЕ СЛУЧАИ

Метод Фурье в применении к (1)-(3) связан со спектральной задачей для оператора Ь:

Ьу = —у''(ж) + д(ж)у(ж), у(0) = у(1) = 0.

Известно, что собственные значения Ап = рП оператора Ь при достаточно больших п имеют асимптотику

Рп = пп + е„, п = по, по + 1,...,

= о

Введем окружности 7п = {р| |р — пп| = 5}, где 8 > 0 и достаточно мало, п ^ п0, а п0 таково, что внутри 7п находится только одно рп. Пусть 7п — образ 7п в А-плоскости (А = р2, Яер ^ 0). Обозначим через ЛА резольвенту оператора Ь, т.е. ЛА = (Ь — АЕ)-1, где Е — единичный оператор, А — спектральный параметр. Формальное решение по методу Фурье задачи (1)-(3) возьмем в виде (см. также [7,8])

м(ж,£) = —

1

(

\

/ + Ш/

\|А|=г 7™ /

(ЛА(ж) соб р£ +— (ЛА^) (ж) Бт р£+ р

+ (Лл/)(ж,т)-^-^ ¿т

р

¿А,

(12)

где ЛА/ — значение ЛА на функции /(ж, т) как функции ж, г > 0 фиксировано, и контур |А| = г содержит внутри только те Ап, номера которых меньше п0, причем на самом контуре собственных значений нет.

Для дальнейшего потребуется явная формула для ЛА. Обозначим через (ж, р) и ¿2(ж,р) решения уравнения у'' — д(ж)у + р2у = 0 с начальными условиями г1(0, р) = ¿2 (0, р) = 1 и ¿1(0, р) = ¿2(0, р) = 0. Функции (ж,р) целые по р и даже по А, где А = р2.

Лемма 1 (см. [2]). Для ЛА имеет место формула

ЛаУ = ¿2(ж, р)(у, ¿1) — -и(ж, р)(у, ¿2) + Мру,

(13)

где (у, = / у(ж)г(ж) ¿ж, -и(ж, р) = ¿2 (ж, р)г1 (1,р)г21 (1,р), Мру =

/М (ж,с,р)у(0 ¿С,

о

М (ж,С,р) =

¿1 (ж, р) ¿2 (ж, р) ¿1 (С,р) ¿2 (С,р)

1

п

х

Теорема 1. Если и(х,Ь) — классическое решение задачи (1)-(3), то для него справедлива формула (12), причем ряд сходится равномерно по х е [0,1] при каждом фиксированном Ь.

Доказательство. Пусть и(х,Ь) есть классическое решение задачи (1)-(3). Тогда при фиксированном Ь она принадлежит области определения оператора Ь, краевые условия которого регулярны. Следовательно, и(х,Ь) как функция х разлагается в равномерно сходящийся на [0,1] ряд Фурье по собственным и присоединенным функциям оператора Ь, который представим в виде

u(x, t) = —

2ni

(

\|А| =

\

+

Raw dA,

(14)

где ЛАи — значение ЛА на и(х, Ь) как функции х. Обозначим ЛАи = у(х,Ь, А). Отсюда следует, что

Ьу = и(х, Ь) + Ау(х,Ь, А). (15)

Поскольку и(х,Ь) есть решение уравнения (1), то имеет место тождество

ЛаИ^; = - ДА (Ьи) + ДА /, из которого на основании равенств ЛАЬи = ЬЛАи и = д^а ДАи получаем, что

или с учетом (15)

Кроме того,

ytt = —Ly + Ra f

ytt(x,t, A) + Ay(x, t, A) = —u(x,t) + (Raf)(x,t).

у(х, 0, А) = ДаУ (х, 0, А) = Да^ Следовательно, при фиксированных х и А функция у(х,Ь, А) является решением задачи Коши

у'' + Ау = -и + Да/, у(0) = Яа^, у' (0) = Да

решение которой дается формулой

1 1 Г

y(x, t, A) = (Ra^)(x) cos pt +—(Ra^)(x) sin pt +— sin p(t — т)[—u(x, т) + (Raf )(x, т)]dr.

p p J

0

Подставляя эту формулу в правую часть (14) вместо RAu и учитывая аналитичность по A интегра-

ла 1 / sin p(t — т)и(х,т) dT, приходим к утверждению теоремы.

□

Замечание. Теорема 1 не нова, схожий результат содержится, например, в [7, с. 171]. Мы приводим ее доказательство для облегчения чтения работы.

Остановимся вначале на случае однородного уравнения (1).

Теорема 2. Пусть в задаче (1)-(3) /(х,Ь) = 0. Тогда ряд в (12) сходится абсолютно и равномерно в = [0,1] х [—Т, Т], где Т > 0 — произвольное фиксированное число, и формальное решение (12) есть классическое решение этой задачи.

Доказательство. В работе [2] показано, что ряд

( \

1

2ni

\|A|=r n^n07™ /

(Ra^)(x) cos pt dA

1

t

сходится указанным образом к классическому решению задачи (1)-(3) при ^(ж) = 0. Аналогичным приемом можно доказать, что ряд

1

( \ /

\|A|=r n^no7™ /

, N. Ч sin pt „

(Ra^)(x)-— dA

p

сходится тем же образом к классическому решению задачи (1)-(3) при ^(ж) = 0. Отсюда следует утверждение теоремы. □

Для исследования неоднородного случая нам понадобится следующая лемма.

Лемма 2. Пусть F(Ь) е С2 (м). Тогда существует функция Н(Ь) е С2 (м), такая что

Н(ь + 1) - Н(ь) = ^(ь), ь е м. (16)

Доказательство. Положим Н(Ь) = Л,(Ь) при Ь е [0,1], где Л,(Ь) — функция из С2[0,1], для которой Л,(1) — ^(0) = F(0). По формуле (16) функцию Н(Ь) однозначно продолжаем с [0,1] вправо и влево на всю числовую ось. Очевидно, что

Н(к)(1 — 0) = Мк)(1), Н(к)(1 + 0) = Мк)(0) + ^(к)(0), к = 0,1, 2.

Выберем Л,(Ь) так, чтобы

(1) = Мк)(0) + ^(к)(0), к = 0,1, 2.

При этих условиях Н(Ь) е С2[0, 2]. Из непрерывности функций Н(к)(Ь) (к = 0,1, 2) в точке Ь = 1 и формулы Н(Ь + 1) = Н(Ь) + ^(Ь) вытекает непрерывность этих функций в точках Ь = 2,3,..., а из формулы Н(Ь) = Н(Ь + 1) — F(Ь) — в точках Ь = 0, —1, —2,.... Таким образом, Н(Ь) е С2(м). Лемма доказана. □

Теперь рассмотрим еще один частный случай задачи (1)-(3), когда д(ж) = ^(ж) = ^(ж) = 0. Обозначим через ЛД резольвенту оператора Ь0, который есть оператор Ь при д(ж) = 0 с собственными значениями А^ = п2п2, п = 1, 2,.... По лемме 1

RAg = zf(x, p)(g, zf) - v0(x, p)(g, zf) + Mfg, (17)

p ^ что и Z1, z2, v, Mp,

где г"0, V0, — те же, что и ¿1, г2, V, Мр, но взятые для оператора Ь0. В этом случае

zf (x, p) = cos px, zf(x, p) = - sin px, v0(x, p) = sin pxctg p.

P

Теорема 3. При выполнении условия

f (0,0) = f (1,0) = 0 (18)

классическое решение задачи (1)-(3) в случае q(x) = ^(x) = ^(x) = 0 существует и дается формулой

( \ / * -

(RAf)(x, т)sin p(pt T) dT | dA,

1

u(x,t) = --

I + Ш.)

\|А|=г П^П0 7™ /

где ЛД/ — значение ЛД на функции /(ж,т) как функции ж, причем ряд сходится равномерно по ж е [0,1] при любом фиксированном Ь.

Доказательство. Будем считать, что /(ж,Ь) и //(ж,Ь) определены и непрерывны в м2, положив, например, /(ж,Ь) = /(1,Ь) при ж > 1 и /(ж, Ь) = /(0, Ь) при ж < 0. Решим вначале вспомогательную задачу:

ии = + /(ж, Ь), и(0,Ь) = и(1,Ь)=0, —га < ж, Ь < га. (19)

После замены переменных ж = £ + п и Ь = £ — п эта задача перейдет в задачу

(£, п) = д(£,п), «(£, —£) = «(£, 1 — £) = 0, £,п е к, (20)

где д(£,п) = —/(£ + п,£ — п).

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2016. Т. 16, вып. 4 Общее решение уравнения задачи (20) имеет вид

КС,п) = G(£,n)+ ci (С) + C2(n),

5 n

где n) = // g(s,T) drds G C2(r2), c1 (С), c2(n) — произвольные функции из C2(r).

0 0

Подставив общее решение в краевые условия задачи (20), получим систему

-С) + ci(С) + С2(-С) = 0, 1 - С) + ci(С) + С2(1 - С) = 0. (21)

Вычитая из второго уравнения первое и выполняя замену в = —С, приходим к уравнению для функции c2 (в)

С2(в + 1) - С2(в) = F(в), в G r,

где F(в) = £(-в, 1 + в) - £(-в, в).

Пусть с2(в) — решение этого уравнения (оно существует по лемме 2). Тогда из первого уравнения системы (21) находим c1 (С). В результате мы получили решение задачи (20). Следовательно, задача (19) имеет решение в C2(r2). Пусть u0(x,t) — одно из таких решений. Обозначим (x) = u0(x, 0), (x) = u0t(x, 0). Очевидно, что

^0(x) G C2[0,1], ^(x) G C1 [0,1]. (22)

В силу условия (18) имеем

Р0(0) = ^0 (1) = (0) = (1) = ^0(0) = ^0 (1) = 0. (23)

Функция u0(x,t) есть решение задачи (1)-(3) при данной f(x,t), q(x) = 0, ^(x) = ^0(x), ^(x) = ^0(x). Из условий (22), (23) следует, что существует классическое решение w(x,t) задачи (1)—(3) при q(x) = 0, f(x,t) = 0, ^(x) = ^0(x), ^(x) = (x). Нетрудно видеть, что функция u1 (x,t) = u0(x,t) - w(x,t) с учетом теоремы 1 будет искомым решением.

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

3. ВСПОМОГАТЕЛЬНЫЕ УТВЕРЖДЕНИЯ

Для доказательства основной теоремы нам потребуются следующие факты.

Лемма 3 (см. [2]). При р G 7n имеют место асимптотические формулы

v(j) (x, р) = v0(j)(x,p)+ O(pj-1), j = 0,1, 2, (24)

где оценки O(...) равномерны по x G [0,1].

Лемма 4 (см. [2]). При р G 7n имеют место формулы

(g,z2) = (пп + д)-1 [(g1(С) cos д£ sin п^С) + (g1(С)sin д^ cos п^С)], (25)

(g,z2 - ) = (пп + д)-2 [(g2 (С) cos cos п<) - (g2 (С)sin sin пПС)] , (2б)

1 1 где р = пп + д, д G 70, g1 (С) = у(С) + / K(s, Og(s) ds, g2 (С) = -$(С)K(С, С) + / K(s, Og(s) ds, K(s, С)

5 5

непрерывно дифференцируема по s^ G [0,1].

Лемма 5. Обозначим через y(x) функции cos x или sin x. Пусть f(x,t) G C(QT), f (x, t, д) = f (x,í)7^x), д G Y0 и en(t, д) = (f (x, t, д), 7(nnx)). Тогда справедлива оценка

П2 1 / П2 1 \ 1/2

|вп (t, д)| ^ c Е" , (27)

п п2

n = ni \n = ni /

где постоянная c не зависит от t, д, c1 и c2.

Доказательство. По неравенству Коши - Буняковского имеем

П2 Л / _П2 1 \ 1/2 / _П2

Ei|e„(t„)|, Е± Е

n=n 1 \n = n 1 / \n = n;

V2 / П2 \ 1/2

„..-»^л-. z^ ¿II , (28)

n=ni \n=ni / \n=n1

а в силу неравенства Бесселя

П2 „

^ |вП(Ь,р)| ^ е1 / |/(ж, Ь, р)|2 ¿ж, (29)

П=П1 0

причем

|/(ж,Ь,м)| ^ С2|/(ж,Ь)| ^ ез,

где все е^ не зависят от ж, Ь, р, п1 и п2.

Из (28) и (29) следует (27). Лемма доказана. □

Положим

а„(ж,Ь) = У ^I(Дд/ — ЯД/)(ж,т)81ПР(^Ь — Т) ¿т^ ¿А. (30)

Лемма 6. Ряды а^- (ж, Ь) и а^- (ж, Ь) (^ = 0,1, 2) сходятся абсолютно и равномерно

те^тео ' те^тео '

по (ж, Ь) е ^т.

Доказательство. Учитывая, что первые и третьи слагаемые в (13) и (17) есть целые функции по А, из (30) имеем

а„(ж, Ь) = J ^IJ(ж,т, р, /)81П р(р — Т) ¿т^ ¿А. (31)

где J(ж, т, р, /) = г>°(ж,р)(/(£, т(£, р)) — г>(ж,р)(/(£, т),г2(£, р)). Интегрируя в правой части (31) по частям и дифференцируя обе части по ж, получаем

«Пij (М) = 2 / p-1

JXj) (x, т, p, f) cos p(t - т)

т=0

-J J(xy (x,T, p, fT) cos p(t - т) dT 0

dp, j = 0,1, 2. (32)

Представим J в виде

J^т^ f) = Jl(x,т,p, f) + J2(x,т,p, f),

где Ji = (v0(x,p) - v(x,p))(f(£,т),Z2(£,p)), J2 = v0(x,p)(f(£,т),zf(£,p) - Z2&p)). При p = nn + p и p e i0 в силу формул (24)-(27) имеем

J jj (x, t, p, f) = O(nj-2[ein(t, p) + ein(t, P)]), j = 0,1,2,

где первое в1п есть (g1(£,t)cos p£, sin nn£), второе в1п есть (g1 (£,t)sin p£, cos nn£), g1 (£,t) — функция g1 из леммы 4 при g = f (£,t), оценки O(...) равномерны по (x,t) e , p e y0. Аналогично имеют место оценки

J2jXj (x, t, p, f) = O(nj-2[в2п(t, p) + в2п(t, p)]), j = 0,1, 2,

где первое в2п есть (g2(£,t)cosp£,cosnn£), второе в2п есть -(g2(£,t)sinp£, sinnn£), g2(£,t) — функция g2 из леммы 4 при g = f (£,t). Из этих оценок получаем оценку

JXj) (x, t, p, f) = O(nj-2fin(t, p)), j = 0,1, 2,

t

где вп(£, д) = |^1п(¿, д)| + |в1п(¿, д)| + |в2п(£, д)| + |^2п(¿, д)| и оценки 0(...) равномерны по (ж,£) £ ^т, д £ 70. Такие же оценки справедливы для ^^(ж,£, р, /Т). Следовательно, подынтегральное выражение

в (32) есть 0(п3-3/Зп(£,д)), где ^ 1вП(¿, д)| ^ с, с не зависит от п1, п2, £ и д £ 70. Отсюда сразу

П = П1

имеем абсолютную и равномерную сходимость рядов ^ а^'Х^. (ж,£) при ^ = 0,1.

Если ] = 2, то по лемме 5 справедлива оценка

1

Е |аП,х2 (М)| = °(/ Е п вп МЫ) = оП (^Т ж] = о(( Е

П=П1 П = П1 у \П = П1 / у у \П=П1 /

равномерная по ж, п1 и п2. Это дает абсолютную и равномерную сходимость ряда из вторых производных. Аналогично устанавливается абсолютная и равномерная сходимость рядов ^ а^'Х. (ж, £),

^ = 0,1, 2, так как

п^п °

аП,Х(ж, = у (у (Ла / — ЛЛ /) (ж, т) сов р(£ — т) ¿т | ¿А,

7™ \0

<¿2 (ж,0 =

(Лл/ — ЛА/)(ж,*) — р (Лл/ — ЛА/)(ж, т) в1п р(* — т) ¿т

(Лл/ — ЛА/)(ж, 0) сов р^ + / (Лл/Т — ЛА/Т)(ж, т) сов р(* — т) ¿т

¿А =

¿А.

Лемма доказана.

4. ОСНОВНАЯ ТЕОРЕМА

Запишем формальное решение (12) в виде

и(ж, £) = и1(ж, £) + и2(ж, £) + и3(ж, £) + и4(ж, £),

где

□

и1(ж, £) = —

1

(

\

+ Е /

'(ЛАл ^ ¿А,

\А|=г 7™ У

«2 (ж,£) = —— 2пг

Из(ж,<) = —— 2пг

п^п ° ,

\ / Х

\А|=г 7™ У

(

(ж, £) = —

2пг

/ + Е / /(Лл/1 — ЛА/1)

\[А|=г 7™ / \0

\

, „ ,, в1п р^

(Лл -— ¿А,

р

0 , вт р(£ — т)

¿т ¿А.

+ £ ]

\|А|=г п^п°7™ У

(Ла^)совр* + /(Лл/2)—т) ¿т | ¿А,

(33)

(34)

(35)

(36)

/1(ж,т) = / (ж,т) — (ж), /2(ж) = —^''(ж) + д(жМж).

Лемма 7. Ряд (33) сходится и функция и1 (ж, £) является классическим решением задачи (1)-(3) при д(ж) = ^(ж) = ^(ж) =0 с неоднородностью /1(ж,^).

Доказательство. В силу условий (6) функция /1(ж,^) удовлетворяет условию (18). Отсюда по теореме 3 следует утверждение леммы. □

г

г

г

р

1

Лемма 8. Ряд (34) сходится и функция и2(ж,Ь) является классическим решением задачи (1)-(3) при ^(ж) = 0 и /(ж, Ь) = 0.

Доказательство. Утверждение леммы следует из теоремы 2. □

Лемма 9. Ряд (36) сходится к функции ^(ж).

Доказательство. Функцию ^(ж) можно рассматривать как решение задачи (1)-(3) при ^(ж) = 0 с неоднородностью /2(ж). Следовательно, по теореме 1 и4 = ^(ж). □

Лемма 10. Ряд (35) сходится, и функция и3(ж, Ь) непрерывна вместе с частными производными «3',хх(ж, Ь) и м3',;;(ж,Ь), причем

из(0, Ь) = «3(1,Ь) = «3(ж, 0) = и3,Х(ж, 0) = 0, ж £ [0,1], Ь £ к, (37)

и3 (ж, Ь) и3 ,хх(ж, Ь) = 2п^^(ж)

/

|А|

п^пу

'(ЛА/1 «И ¿А. (38)

Доказательство. Обозначим для краткости -и(ж,Ь) = и3(ж, Ь). По лемме 6 функция -и(ж,Ь) непрерывна вместе с г>х'х и в От и ряд (35) можно дважды дифференцировать почленно по Ь и по ж.

Вначале отметим, что по свойству ЛА и ЛА справедливы равенства (ЛА/1 )(ж,т) = (ЛА/1 )(ж,т) = 0 при ж = 0 и ж = 1. Из этих равенств и формулы (35) сразу получаем, что

г>(0, Ь) = г>(1, Ь) = -и(ж, 0) = 0.

Дифференцируя (35) по Ь, имеем

(

^(ж,ь) = —

1

2Л7

I + У(Ла/1 — Л а /1) сов р(Ь — т) ¿И ¿А.

^ / \0 /

(39)

(40)

\А|=г 7™ /

Из (39), (40) следует справедливость (37). По известной теореме равносходимости выполняется тождество

1

(

\А|

у

(Ла/1 — ЛА/1) ¿А = 0, (ж, Ь) £ От.

(41)

Дифференцируя обе части (40) по Ь, с учетом (41) получаем, что

( \ / г

(ж, ь) =

1

|А|

/+Е/ /(Ла /1 — ЛА /1 )р в1п р(Ь — т) ¿т ¿А.

(42)

Теперь продифференцируем обе части (35) дважды по ж:

^хх(ж,Ь)

2пг

(

|А|

\

+

((ЛА/1)х/х — (ЛА/1)х/х) -р~Ь-) ¿т '

(43)

7™ у

Рассмотрим

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

(Ла /1)х;х = —Ь(Ла/1 ) + д(ж)Лл /1 = [—Ь(Лл /1) + АЛл /1] — —АЛл/1 + д(ж)Лл /1 = —/1 — АЛл /1 + д(ж)Лл/1.

(ЛА/1)хх — (ЛА/1 )хх = 5(ж)ЛА/"1 — А (ЛА/"1 — ЛАЛ) .

Подставляя (44) в (43), получаем формулу

^хх(ж, Ь)

2пг

(

|А|

\

+

(5(ж)Лл/1 — А (Лл/1 — ЛА/1)) В1Пр(Ь т) ¿т | ¿А.

7™ у

Из равенств (42) и (45) следует (38). Лемма доказана.

(44)

(45)

□

г

1

г

1

Теорема 4. Если выполняются условия (4)-(7), то при любых х е [0,1] и Ь е М формальный ряд (12) сходится, и его сумма и(х,Ь) является классическим решением задачи (1)-(3).

Доказательство. Согласно леммам 7-10 все щ(х, Ь), ] = 1,..., 4, удовлетворяют условиям (2). Следовательно, и(х,Ь) также удовлетворяет этим условиям. На основании этих же лемм

4

и(х, 0) = Щ(х, 0) = 0 + 0 + 0 + р(х) = р(х),

5 = 1

Щ(х, 0) = 0 + ^(х) + 0 + 0 = ^(х),

т.е. и(х,Ь) удовлетворяет условиям (3). Рассмотрим, наконец,

щ *(х,Ь) х(х, Ь) = ^^ (щ (х, Ь) Щ =

5 = 1

= /1 (х, Ь) - д(х)«2(х,Ь) + д(х)

2пг

(

\ / *

, /

Бт р(Ь — Т)

/ + Е / /(дл/1^ ¿л — ^(х) =

—3(х) —

= / (х,Ь) — д(х)^(х) — д(х)м2 (х, Ь) — ( \ / *

+ )(/

\0 \ / *

\1Л|

те^тео

(Я/1 — лЛ/1 )81п р(ь т) ¿т| ¿л—

7пУ

(

/ + £/ /(ЯЛ/1)

\|Л|=г П^П07™ / \0

0 , б1п р(Ь — т)

¿Т ¿Л =

Р

= /(х, Ь) — д(х) (и4(х, Ь) + и2(х, Ь) + и3(х, Ь) + и1(х, Ь)) = /(х, Ь) — д(х)и(х, Ь). Таким образом, функция и(х,Ь) является решением уравнения (1). Теорема доказана.

Работа выполнена в рамках госзадания Минобрнауки России (проект № 1.1520.2014К).

□

Библиографический список

1. Бурлуцкая М. Ш., Хромов А. П. Резольвентный подход в методе Фурье // Докл. АН. 2014. Т. 458, № 2. С. 138-140. 001: 10.7868/8086956 5214260041.

2. Бурлуцкая М. Ш., Хромов А. П. Резольвентный подход для волнового уравнения // Журн. вычисл. матем. и матем. физ. 2015. Т. 55, № 2. С. 229-241. 001: 10.7868/80044466915020052.

3. Корнев В. В., Хромов А. П. Резольвентный подход к методу Фурье в одной смешанной задаче для волнового уравнения // Журн. вычисл. матем. и матем. физ. 2015. Т. 55, № 4. С. 621-630. 001: 10.7868/80044466915040079.

4. Корнев В. В., Хромов А. П. Резольвентный подход в методе Фурье для волнового уравнения в несамосопряженном случае // Журн. вычисл. матем. и матем. физ. 2015. Т. 55, № 7. С. 1156-1167.

5. Петровский И. Г. Лекции об уравнениях с частными производными. М. : Физматгиз, 1961. 400 с.

6. Чернятин В. А. Обоснование метода Фурье в смешанной задаче для уравнений в частных производных. М. : Изд-во Моск. ун-та, 1991. 112 с.

7. Расулов М. Л. Метод контурного интеграла. М. : Наука, 1964. 462 с.

8. Вагабов А. И. Введение в спектральную теорию дифференциальных операторов. Ростов н/Д : Изд-во Рост. ун-та, 1994. 160 с.

4

1

Образец для цитирования:

Корнев В. В., Хромов А. П. Резольвентный подход к методу Фурье в смешанной задаче для неоднородного волнового уравнения // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2016. Т. 16, вып. 4. С. 403-413. 001: 10.18500/1816-9791-2016-16-4-403-413.

Н. П. Можей. Трехмерные однородные пространства, не допускающие инвариантных связностей

Resolvent Approach to Fourier Method in a Mixed Problem for Non-homogeneous Wave Equation

V. V. Kornev1, A. P. Khromov2

1 Vladimir V. Kornev, Saratov State University, 83, Astrakhanskayastr., 410012, Saratov, Russia, KornevVV@info.sgu.ru 2Avgust P. Khromov, Saratov State University, 83, Astrakhanskaya str., 410012, Saratov, Russia, KhromovAP@info.sgu.ru

Fourier method of obtaining classic solution is being justified in a mixed problem for non-homogeneous wave equation with a complex potential and fixed boundary conditions under minimal conditions on initial data. The proof is based on resolvent approach which does not need any information on eigen and associated functions of the corresponding spectral problem.

Key words: mixed problem, wave equation, Fourier method, resolvent.

The results have been obtained in the framework of the national tasks of the Ministry of Education and Science of the Russian Federation (project no. 1.1520.2014K).

References

1. Burlutskaya M. Sh., Khromov A. P. Resolvent approach in the Fourier method. Dokl. Math2014, vol. 90, no. 2, pp. 545-548. DOI: 10.1134/S1064562414060076.

2. Burlutskaya M. Sh., Khromov A. P. The resolvent approach for the wave equation. Comput. Math. Math. Phys, 2015, vol. 55, iss. 2, pp. 227-239. DOI: 10.1134/S0965542515020050.

3. Kornev V. V., Khromov A. P. Resolvent approach to the Fourier method in a mixed problem for the wave equation. Comput. Math. Math. Phys., 2015, vol. 55, iss. 4, pp. 618-627. DOI: 10.1134/S0965542515040077.

4. Kornev V. V., Khromov A. P. A resolvent approach in the Fourier method for the wave equation: the non-selfadjoint case. Comput. Math. Math. Phys., 2015, vol. 55, iss. 7, pp. 1138-1149. DOI: 10.1134/S0965542515070088.

5. Petrovskii I. G. Lektsii ob uravneniiakh s chastny-mi proizvodnymi [Lectures on Partial Differential Equations]. Moscow, Fizmatgiz, 1961. 400 p. (in Russian).

6. Chernyatin V. A. Obosnovanie metoda Fur'e v smeshannoi zadache dlya uravnenii v chastnykh proizvodnykh [Justification of the Fourier method in a mixed problem for partial differential equations]. Moscow, Moscow Univ. Press, 1991. 112 p. (in Russian).

7. Rasulov M. L. Metod konturnogo integrala [The method of the contour integral]. Moscow, Nauka, 1964. 462 p. (in Russian).

8. Vagabov A. I. Vvedenie v spektral'nuiu teoriiu differentsial'nykh operatorov [Introduction to the spectral theory of differential operators]. Rostov-on-Don, Rostov Univ. Press, 1994. 106 p. (in Russian).

Please cite this article in press as:

Kornev V. V., Khromov A. P. Resolvent Approach to Fourier Method in a Mixed Problem for Non-homogeneous Wave Equation. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2016, vol. 16, iss. 4, pp. 403-413 (in Russian). DOI: 10.18500/1816-9791-2016-16-4-403-413.

УДК 514.76

ТРЕХМЕРНЫЕ ОДНОРОДНЫЕ ПРОСТРАНСТВА, НЕ ДОПУСКАЮЩИЕ ИНВАРИАНТНЫХ СВЯЗНОСТЕЙ

Н. П. Можей

Можей Наталья Павловна, кандидат физико-математических наук, доцент кафедры программного обеспечения информационных технологий, Белорусский государственный университет информатики и радиоэлектроники, Минск, mozheynatalya@mail.ru

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