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

УДК 517.95; 517.984

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

М. Ш. Бурлуцкая

Бурлуцкая Мария Шаукатовна, кандидат физико-математических наук, доцент кафедры математического анализа, Воронежский государственный университет, Ь1Г^2001 @mail.ru

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

Ключевые слова: метод Фурье, начально-краевая задача, система Дирака, обобщенное решение. DOI: 10.18500/1816-9791 -2016-16-2-145-151

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

дЦх^) = + д(ж)и(ж,г),ж е [0,1], г е (-го, +го), (1)

и1 (0, г) = и2 (0, г), их(1,г) = и2(1,г), (2)

и(ж, 0) = ф(ж), (3)

где и(ж,г) = (и1 (ж, г),и2(ж,г))т, ф(ж) = (ж),ф2(ж))т (Т — знак транспонирования), и](ж, г) и

Ф](ж) — скалярные функции, В = ( 0 ), ф(ж) = ( 0 ?2(ж) | , ^^(ж) е с[0,1], все функции

\0 -1) (ж) 0 )

комплекснозначные.

Задача будет исследоваться с помощью метода Фурье. Метод Фурье применялся даже для более общих систем А. И. Вагабовым [1], но в [1] рассматривался случай, когда ф(ж) была непрерывно дифференцируема. Здесь же для ф(ж) предполагается только непрерывность. Соответствующая спектральная задача представляет собой систему Дирака с непрерывным потенциалом.

Основополагающие результаты для системы Дирака с недифференцируемым потенциалом принадлежат П. В. Джакову, Б. С. Митягину (см. [2,3]). В дальнейшем близкие по тематике исследования для таких систем проводились в [4-6]. В [7,8] предложен сравнительно простой способ изучения системы Дирака с негладким потенциалом, базирующийся на операторах преобразования. Этот же прием используется в настоящей статье.

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

1. СПЕКТРАЛЬНАЯ ЗАДАЧА

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

(ЬУ)(ж) = ВУ/(ж) + ^(ж)У(ж)

У1(0)= У2(0), У1(1)= У2(1),

где у(ж) = (у1 (ж),у2(ж))т. Оператор Ь есть оператор Дирака с условиями Дирихле.

В [7,8] доказано, что собственные значения оператора Ь, достаточно большие по модулю, простые с асимптотикой

Ап = пт + вп, (п = ±по, ±(по + 1),...),

а для собственных функций уп(х) = (уп1 (х),уп2(х))т оператора Ь имеют место асимптотические формулы:

X X

УП (х) = ™ (1+ ,п х) + / Ь(х,т ^+ / }в-ПП-Т¿т +

0 0

X X

+вп У Ь(х, т)ептт¿г + вп ^ Ь(х, т)е"ппгт¿Г + 0(вП), ^ = 1, 2, (4)

00

где п = ±п0, ±(п0 + 1),..., р1 = 1, р2 = -1, и оценка 0(...) равномерна по х £ [0,1].

Здесь и в дальнейшем через вп обозначаем различные числа такие, что ^ 1вп|2 < го, и вп не зависят от ^(х), через такие числа, которые зависят от ^(х), но при этом ^ |^п|2 < с||^||2. Норма ||-|| — либо норма в Ь2[0,1], либо в пространстве Ь2[0,1] вектор-функций размерности 2. Через 6(х,£) будем обозначать различные непрерывные функции из некоторого конечного набора.

Замечание. В [7,8] приводятся точные выражения для вп и 6(х,£), но нам они не требуются, а вид (4) функций уп- облегчает наши рассуждения.

Сопряженный оператор Ь* есть

(Ь* ¿)(х) = -Вг'(х) + д*(х)^(х), ^1(0)= ^2(0), ¿1(1)= ¿2(1),

где ¿(х) = (¿1 (х), ¿2(х))т, Я*(х) =| _0 91 (х) |.

(х) 0 )

Теорема 1. Для собственных функций ¿п(х) = (¿п1 (х),гп2(х))т оператора Ь* имеют место асимптотические формулы:

X X

^(х) = ^ а + ^ + / ь(х,т к-- + / К.ф— ¿т+

00

X X

+вп ^ Ь(х, т)ептт¿т + вп ^ ь(х, т)в"ппгт¿т + 0(вп), .7 = 1, 2, 00

где п = ±п0, ±(п0 + 1),..., р1 = 1, р2 = —1 (вп и Ь(х,£) другие, отличные от (4)).

Лемма 1. Множество с.п.ф. операторов Ь и Ь* полны в Ь2[0,1].

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

Формальное решение задачи (1)-(3) по методу Фурье можно записать в виде (см. [1])

и(х, £) = —

( \

1

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

(Ял ^)(х)вл ¿Л, (5)

где г > 0 достаточно велико и фиксировано, Ял = (Ь — ЛЕ)-1 — резольвента оператора Ь (Е единичный оператор, Л — спектральный параметр), 7п = {Л||Л — ЛЩ = 6}, Лп = ппг, 6 > 0 достаточно мало, чтобы собственные значения Лп попадали по одному внутрь 7п. При этом

1 ^(Яа ¿Л = уп(х)вл"4,

2п£ У (Уп,^п)

7«

где (■, ■) — скалярное произведение в Ь2[0,1] (это же обозначение сохраняется и для скалярного произведения в Ь2[0,1]).

Лемма 2. Имеют место соотношения:

^п + ^п вп + вп вп ^п вп + ^п вп ^п вп

Доказательство. Первое и второе равенство очевидны. Обозначим взп = |в1п| + |в2п|. Если взп = 0, то ^1пв1п + ^2пв2п = взп[^1п^1п + ^2пв2п] = взп^п, так как |вкп| = |вкп/взп| ^ 1. Если в3п = 0, то вкп = 0, и тогда третье соотношение тривиально. □

Лемма 3. Имеют место соотношения:

( X \

д(х)^ Ь(х,т )ептт ¿т ) = вп,

X X

! Ь(х,т)вптт¿т,^ Ь(х,т)в±птт¿т | = вп, 00

где д(х) £ Ь2[0,1].

Доказательство. Имеем:

С \ 1 X 11

д(х), 0 ь(х,т* = /9<х)¿х / ь(х,т= / епп-т ^ / ^^К* = Д..

0 / 0 0 0 т

При получении второго соотношения для изменения порядка интегрирования удобно использовать функцию г(х,£): г(х,£) = 1 при х ^ г(х,£) = 0 при х ^ Имеем:

X \ 1 X X

Ь(х,т)ептт¿т,^ Ь(х,т)ептт¿И = ^ ¿х У Ь(х,т)dт J 6(х,п)впт(т-п)¿п =

0 /00 0 1 X т

= У ¿х ^ Ь(х,т)dт J Ь(х,т — С)епт5¿С =

0 0 т-X

11 1

= J ¿х ^ е(х,т)Ь(х,т)dт J е(т,СМС,т — х)Ь(х,т — С)епт5¿С =

0 0 0 111 1

= / ^/е^ )6(х,т — ^ — С) ¿х = / * = Д..

0 0 0 0

Последнее справедливо в силу ограниченности внутреннего интеграла ^(С). Аналогично доказывается случай со знаком минус во втором соотношении. □

Лемма 4. Имеют место асимптотические формулы:

(Уп, ¿п) = 2 + вп, ¿п)= ^п + ^пвп,

¿п) (уп,¿п)

Уп (х)вл"4 = V

вппй + 0(^вп), ^ = 1, 2,

00

где х £ [0,1], £ £ [—Т, Т], Т > 0 — любое фиксированное число, и оценка 0(...) равномерна по х

X

Лемма 5. Ряды ^ / Ь(х, т)впт(±ти такие же ряды при п ^ —п0 сходятся равномерно

п^по 0

на множестве = [0,1] х [—Т, Т] при любом Т > 0, и для их сумм Е±(х, £) имеют место оценки:

тах (х,£)| ^ СТ ||у|| , Ят

(6)

где СТ > 0 и зависит только от Т.

Доказательство. Достаточно рассмотреть ряд ^ V« / Ь(х, т )епт(т+*) ¿т .При (х,«) е ^т имеем:

те^тео 0

«2 „

^ Ь(х, т)епт(т¿т «1 0

Т+1

* с /

-т

N-1 А: + 1

= с

* П1

*

«2 N г «2

Х>«епт5 ^ * с ¿с

«1 и -N «1

Е

к

«2

Е

«1

N-1 1

^ = с £ у

к=-N '

пк ппгп

N-1

* с Е

к=-N

«2

пк еппгп

1/2

1/2

¿П * IV«Р

Здесь N — натуральное число, N ^ Т + 1. Из сходимости ряда ^ следует равномерная сходимость исследуемого ряда. Далее, аналогично для любых (х,«) е и любого натурального т получим:

V« ^ Ь(х, т)епт(т¿т

т \ 1/2

2

* 2^ ^ |V«|2 I * Ст||р||,

откуда следует (6).

Аналогично доказывается утверждение леммы для остальных рядов.

□

Лемма 6. Ряды О^«в«) сходятся абсолютно и равномерно на множестве QT, причем 1Еокв«)| * Ст |М|.

3. КЛАССИЧЕСКОЕ РЕШЕНИЕ

В этом пункте получим классическое решение в предположении, что р(х) е область

определения оператора X2).

Лемма 7. Пусть д0 не является собственным значением оператора Ь, |д01 > г, и находится вне 7«, р(х) е Ц^, д = (Ь — д0Е)2р. Тогда

(Дар)(х)еА*¿А = [ (Дл^)(Х2еА^Л,

|А|=г

(Р, *«)

|Л|=г

(Л — ю)2

(Л« — 10)2(У

Доказательство. Утверждение следует из представления, справедливого для любой функции

Р е Д^:

дар = —

Р

+

Л — Д0 (Л — 10)2 (Л — 10 )2'

где = (Ь — Д0Е)р.

□

Теорема 2. Если р(х) е , то формальное решение и(х,«) является классическим, т.е. и(х,«) непрерывно дифференцируема по х и « и удовлетворяет (1)-(3).

Доказательство. По лемме 7 из (5) имеем:

и(х,«) = — -П. [ еЛ*¿Л + £ „ ^ еА„*

2П У (Л — 10)2

|А|=г

(Л« — 10 )2(у«, )

(7)

2

Отсюда следует, что ряд (7) и ряды, получающиеся из него почленным дифференцированием по х и равномерно сходятся в Ят при любом Т > 0. Далее, из (5) имеем при £ = 0:

/ ч 1

u(x,t ) =--

(ra p)(x)da +

IA |=r

E -

, , (yn, zn)

|n|^n 0

(8)

Правая часть (8) представляет собой ряд Фурье функции у(х), абсолютно и равномерно сходящийся к функции у(х), следовательно, и(х, £) удовлетворяет (3). Условия (2) очевидны. □

Заметим, что множество всюду плотно в Ь2[0,1].

4. ОБОБЩЕННОЕ РЕШЕНИЕ

Теорема 3. Если qj(х) £ С[0,1] ^ = 1,2) и у(х) £ Ь2 [0,1], то ряд и(х, £) формального решения сходится почти всюду по х £ [0,1] и £ £ (—го, го), причем и(х, 0) = у(х) почти всюду на [0,1]. При этом для любых (х, £) £ Ят справедлива оценка

u(x,t)llL2[QT] ^ CT IM

(9)

Далее, если у^(х) £ сходится к у(х) в Ь2[0,1] при Н ^ 0, то м^(х, £) сходится к и(х, £) по норме Ь2[Ят] при любом Т > 0, где (х, £) есть классическое решение задачи (1)-(3) с начальным условием и^(х, 0) = у^,(х).

Доказательство. 1. Для доказательства сходимости достаточно рассмотреть в (5) только ряд

^ zn)yn(x) eA„t

п^п о

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

п^ —п о

По лемме 4 компоненты ряда (10) есть

(yn,zn)

(10)

Е

n^n 0

±nnix

+ / b(x,r)enniTdr + / b(x,r)e"

dr

0

n^no

Рассмотрим ряд Eo = vnуП(x)e

n^no

nnit ..0

уП (x) = (ennix,e

jnîi .-nni^T

Eo = (Eo1, Soi)T,

Eoi = ^ v„.e

n^no

nni(i+i)

)T. Имеем: So2 = ^ Vne

n^no

-nni(ï-t)

Исследуем сходимость Eo1 = ^ vnennint, n = x + t. По теореме Карлесона (о сходимости почти

n^no

всюду тригонометрических рядов Фурье) ряд Eoi сходится почти при всех n £ (-го, го). Докажем, что ряд Eoi сходится почти при всех x £ [0,1] и t £ (-го, го). Обозначим Q1 = {(n, С)| П £ [—T,T + 1],С £ [—T,T]} и через e — множество точек n £ [—T,T + 1], в которых ряд расходится,

mes e = 0. Тогда мера множества e1 = {(n,C)|n £ e, С £ [—T, T]} есть mes e1 = ff x(n,C) dndC = 0

Qi

(здесь x(n, С) — характеристическая функция множества e1). Преобразование n = x +1, С = t переводит прямоугольник Q1 в прямоугольник Q в плоскости x,t, а множество e1 в множество e2. Так как QT С Q и mes e2 = 0, то ряд Eo1 сходится почти всюду в QT. Значит, он сходится почти всюду при всех x £ [0,1] и t £ (-го, го). Аналогично получаем сходимость ряда Eo2. Отсюда с учетом лемм 5, 6 получаем сходимость ряда (10).

Оценка (9) следует из оценок для компонент ряда (10), аналогично получаемых оценок для Eo и в силу ограниченности резольвенты.

2. Таким образом, доказано, что ряд u(x,t) сходится почти всюду и ||u(x, t)||L2q] ^ cT ||у||. Далее, поскольку uh(x,t) — u(x, t) есть формальное решение смешанной задачи (1)-(3) при

начальной функции yh(x) — y(x), то получаем, что lim ||uh(x,t) — u(x, t)||L2[Q ] = 0, когда

h^o 2 [QT]

x

V

e

n

lim ||ph(x) — p(x)|| = 0. Осталось обосновать, что 0) = p(x) почти всюду. Из соотношения

h^Q

0) = -2- J (Ялp)dA+ ^

|A|=r

(p, Zra) (yn,zn)

yn(x)

(11)

следует, что правая часть (11) есть ряд Фурье функции р(х) по собственным и присоединенным функциям оператора Ь. Из лемм 3-6 и теоремы Карлесона получаем, что ряд (11) сходится почти всюду на [0,1], т.е. и(х, 0) почти везде конечна. Далее, имеем:

||и(х, 0) — р(х)|| * ||и(х, 0) — иЛ(х, 0)|| + ||иЛ(х, 0) — р|| * * с{||Р — РлУ + Урл — Р||} •

Устремляя правую часть (12) к нулю, получим и(х, 0) = р(х) почти всюду.

(12)

□

Работа выполнена при финансовой поддержке Российского научного фонда (проект № 16-1110125, выполняемый в Воронежском государственном университете).

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

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

2. Джаков П. В., Митягин Б. С. Зоны неустойчивости одномерных периодических операторов Шре-дингера и Дирака // УМН. 2006. Т. 61, № 4. С. 77-182. DOI: 10.4213/rm2121.

3. Djakov P., Mityagin B. Bari-Markus property for Riesz projections of 1D periodic Dirac operators // Math. Nachr. 2010. Vol. 283, № 3. P. 443-462. DOI: 10.1002/mana.200910003.

4. Баскаков А. Г., Дербушев А. В., Щербаков А. О. Метод подобных операторов в спектральном анализе несамосопряженного оператора Дирака с негладким потенциалом // Изв. РАН. Сер. матем. 2011. Т. 75, № 3. С. 3-28. DOI: 10.4213/im4202.

5. Савчук А. М., Садовничая И. В. Асимптотические формулы для фундаментальных решений системы Дирака с комплекснозначным суммируемым потенциалом // Дифференц. уравнения. 2013. Т. 49, № 5. С. 573-584. DOI: 10.1134/ S037406411305004X.

Savchuk A. M., Shkalikov A. A. Dirac operator with complex-valued summable potential // Math. Notes. 2014. Vol. 96, № 5-6. P. 777-810. DOI: 10.1134/S0001434614110169. Бурлуцкая М. Ш., Курдюмов В. П., Хромов А. П. Уточненные асимптотические формулы для собственных значений и собственных функций системы Дирака // Докл. АН. 2012. Т. 443, № 4. С. 414-417.

Бурлуцкая М. Ш., Курдюмов В. П., Хромов А. П. Уточненные асимптотические формулы для собственных значений и собственных функций системы Дирака с недифференцируемым потенциалом// Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2012. Т. 12, вып. 3. С. 22-30.

Хромов А. П. Поведение формального решения смешанной задачи для волнового уравнения // Журн. вычисл. матем. и матем. физ. 2016. Т. 56, № 2. С. 239-251. DOI: 10.7868/S00444669 16020149.

7

A Mixed Problem for a System of First Order Differential Equations with Continuous Potential

M. Sh. Burlutskaya

Mariya Sh. Burlutskaya, Voronezh State University, 1, Universitetskaya pl., 394006, Voronezh, Russia, bmsh2001 @mail.ru

We study a mixed problem for a first order differential system with two independent variables and continuous potential when the initial condition is an arbitrary square summable vector-valued function. The corresponding spectral problem is the Dirac system. It sets the convergence almost everywhere of a formal decision, obtained by the Fourier method. It is shown that the sum of a formal decision is a generalized solution of a mixed problem, understood as the limit of classical solutions for the case of smooth approximation of the initial data of the problem.

Key words: Fourier method, boundary value problem, Dirac system, generalized solution .

This work was supported by the Russian Science Foundation (projects no. 16-11-10125, performed at the Voronezh State University).

Д. С. Лукомский и др. Применение системы Хаара к численному решению задачи Ноши References

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

2. Djakov P, Mityagin B. Instability zones of periodic 1-dimensional Schrodinger and Dirac operators. Russian Math. Surveys, 2006, vol. 61, no. 4, pp. 663-776. DOI: 10.1070/RM2006v061n04AB EH004343.

3. Djakov P., Mityagin B. Bari-Markus property for Riesz projections of 1D periodic Dirac operators. Math. Nachr., 2010, vol. 283, no. 3, pp. 443-462. DOI: 10.1002/mana.200910003.

4. Baskakov A. G., Derbushev A. V., Shcherba-kov A. O. The method of similar operators in the spectral analysis of non-self-adjoint Dirac operators with non-smooth potentials. Izv. Math., 2011, vol. 75, no. 3, pp. 445-469. DOI: 10.1070/ IM2011v075n03ABEH002540.

5. Savchuk A. M., Sadovnichaya I. V. Asymptotic formulas for fundamental solutions of the Dirac system with complex-valued integrable potential. Dif-

УДК 519.62

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

Д. С. Лукомский1, С. Ф. Лукомский2, П. А. Терехин3

1 Лукомский Дмитрий Сергеевич, кандидат физико-математических наук, доцент кафедры математической физики и вычислительной математики, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, [email protected]

2Лукомский Сергей Федорович, доктор физико-математических наук, профессор кафедры математического анализа, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, [email protected]

3Терехин Павел Александрович, доктор физико-математических наук, профессор кафедры теории приближений функций, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, [email protected]

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

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

DOI: 10.18500/1816-9791 -2016-16-2-151-159 ВВЕДЕНИЕ

В работах [1-3] и других были рассмотрены методы численного решения дифференциальных уравнений с использованием системы Хаара. При этом искомая функция представлялась приближенно в виде частичной суммы ряда по системе Хаара. Так как в уравнении присутствуют производные неизвестной функции, то приходилось вводить оператор дифференцирования ступенчатой функции, что сразу делает проблематичной оценку погрешности рассматриваемого метода. В работе Д. С. Луком-ского [4] была рассмотрена задача Коши для линейного уравнения второго порядка, и многочленом

fer. Equations, 2013, vol. 49, no. 5, pp. 545-556. DOI: 10.1134/S0012266113050030.

6. Savchuk A. M., Shkalikov A. A. Dirac operator with complex-valued summable potential. Math. Notes, 2014, vol. 96, no. 5-6, pp. 777-810. DOI: 10.1134/S0001434614110169.

7. Burlutskaya M. Sh., Kurdyumov V. P., Khro-mov A. P. Refined asymptotic formulas for eigenvalues and eigenfunctions of the Dirac system. Doklady Math., 2012, vol. 85, no. 2, pp. 240-242. DOI: 10.1134/S1064562412020238.

8. Burlutskaia M. Sh., Kurdiumov V. P., Khro-mov A. P. Refined Asymptotic Formulas for Eigenvalues and Eigenfunctions of the Dirac System with Nondifferentiable Potential. Izv. Saratov Univ. (N. S), Ser. Math. Mech. Inform., 2012, vol. 12, no. 3, pp. 56-66 (in Russian).

9. Khromov A. P. The behavior of the formal solution of the mixed problem for wave equation. Comput. Math. Math. Phys, 2016, vol. 56, no. 2. pp. 239251. DOI: 10.7868/S0044466916020149.