CC BY
17Математические заметки СВФУ Октябрь—декабрь, 2016. Том 23, № 4
УДК 517.633
О СТАЦИОНАРНОМ МЕТОДЕ ГАЛЁРКИНА В ОДНОЙ КРАЕВОЙ ЗАДАЧЕ ДЛЯ УРАВНЕНИЯ СМЕШАННОГО ТИПА ВТОРОГО ПОРЯДКА В. Е. Федоров, И. М. Тихонова
Аннотация. Доказана однозначная регулярная разрешимость в пространстве Соболева краевой задачи для уравнения смешанного типа второго порядка, которая ранее была изучена авторами с помощью нестационарного метода Галеркина в сочетании с методом ^-регуляризации. В настоящей работе для этой краевой задачи применяется стационарный метод Галеркина, при этом существенно упрощается методика исследования. Кроме того, получена оценка погрешности стационарного метода Галеркина через собственные значения оператора Лапласа по переменным ж е К" и ь.
Ключевые слова: уравнение смешанного типа, краевая задача, априорная оценка, стационарный метод Галеркина, погрешность.
1. Введение. Начало исследованиям уравнений смешанного типа было положено в работах Геллерстедта и Трикоми [1-3]. Далее модельные уравнения смешанного типа изучались в работах многих авторов [4-7].
Построение общей теории краевых задач для уравнений смешанного типа с произвольным многообразием изменения типа было начато в 70-е гг. прошлого века В. Н. Враговым и рядом других авторов [8-12]. В дальнейшем эта теория развивалась во многих направлениях [13-20]. При исследовании краевых задач для уравнений смешанного типа общего вида применялись функциональные методы [21], метод регуляризации [17], метод Галеркина.
В работах [22-25] стационарный метод Галеркина применяется к решению первой краевой задачи и краевой задачи Врагова для уравнения смешанного типа, а также для этих задач получена оценка погрешности стационарного метода Галеркина через собственные числа оператора Лапласа по переменным х € К" и ¿.В [26] к решению краевой задачи для уравнения смешанного типа в постановке В. Н. Врагова применен модифицированный метод Галеркина и получена оценка его погрешности. В [27] аналогичные результаты получены для первой краевой задачи. Вопросам оценки погрешности метода Галеркина для других классов уравнений посвящены, например, [28-30].
Работа выполнена в рамках Государственного задания Минобрнауки России на 2014-2016 годы (проект №3047).
© 2016 Федоров В. Е., Тихонова И. М.
2. Постановка задачи. Пусть О С К" — ограниченная односвязная область с гладкой границей S. Положим
Q = О х (0,T), St = S х (0,T), T = const > 0; Ot = О x {t}, t G [0,T].
В цилиндрической области Q рассмотрим уравнение
Lu = k(x, t)utt — Au + a(x, t)ut + c(x)u = f (x, t). (1)
Коэффициент k(x, t) может менять знак внутри области Q произвольным образом, поэтому уравнение (1) является уравнением смешанного типа с произвольным многообразием изменения типа.
Предполагается, что коэффициенты уравнения (1) — гладкие функции. Введем множества
P0± = {(x, 0) : x G О, k(x, 0)<0}, = {(x, T) : x G О, k(x, T)>0}.
Краевая задача. Найти в области Q решение уравнения (1) такое, что
u |st = 0, (2)
щ 0, wU+=0, wt|t=T = 0. (3)
P 0 P T
Впервые постановка краевой задачи (1)—(3) рассмотрена авторами в [31], где была использована другая методика — нестационарный метод Галеркина с привлечением метода е-регуляризации. В настоящей работе используется стационарный метод Галеркина, а также получена оценка его погрешности через собственные значения спектральной задачи для (n + 1)-мерного уравнения Лапласа по x G К" и t.
3. Априорные оценки. Через CL обозначим класс гладких функций, удовлетворяющих условиям (2), (3). В работе [31] доказано следующее утверждение.
Лемма 1. Пусть коэффициент c(x) > 0 достаточно большой и выполнены условия:
к{х, 0) < 0, к{х, Т) < 0, a-^kt>6> 0.
Тогда существуют неотрицательные функции £(t),n(t) G CTO[0,T] такие, что для любой u G Cl имеет место неравенство
(Lu,£ut + nu) > Ci||u||1, Ci = const > 0. (4)
Следствие 1. Пусть выполнены все условия леммы 1. Тогда краевая задача (1)—(3) может иметь не более одного решения из пространства (ф).
Лемма 2. Пусть выполнены условия
к{х,г) = кЦ), к{ 0) < 0, к(Т) < 0, С1±^кг>5> 0.
Тогда существуют неотрицательные функции € СТО[0,Т] такие, что
для всех функций и € Сь имеет место неравенство
(Ьи, + пДи) > С2
+ Ё и21Хг + (Ди)2
г=1
^ - Сэуиу2, С2,Сз > 0, (5)
где Ди = — ии — Ди.
Доказательство. Поскольку к(0) < 0, к(Т) < 0, существуют положительные числа ¿о < То < Т, ¿1 такие, что
ад < —¿1 < 0, 0 < i < ¿о; к(4) < —¿1 < 0, То < i < Т.
Функции п(^) выбираем следующим образом:
£(*) > 0, &(0) = &(Т) = 0, £(*)= М, ¿о < 4 < То,
& > 0, 0 < t < ¿о; & < 0, То < t < Т,
п(*) = { 1,
& + 1, 0 < ^ < ¿о, ¿о < * < То, + 1, Т0<Ь<Т.
При этом число ¡1 удовлетворяет условию /л > 26 1(тах \к\ + <5х). В силу такого
Я
выбора функций п(^) получаем
а-Ь^-к^ + Щ + >¿1 + 1,
131
Для и € Сь после интегрирования по частям с учетом условий (2), (3) получаем
(Ьи, &Ди4 + пДи) =
Я
+
+ ( 7? - ^ ) (Аи)2 +
]Ги2х, ид +..., (6)
где многоточием обозначены подчиненные члены. Используя неравенство Коши и теоремы вложения [17], из равенства (6) получаем априорную оценку (5).
2
и
2
и
Замечание 1. Априорная оценка (4) остается справедливой и для новых функций £(£), п(^) из доказательства леммы 2.
4. Разрешимость задачи. Пусть функции {<^к(ж,ортонормирова-ны в Ь2(ф) и являются решением спектральной задачи
Аг> = —— Аг> = Л«, (ж,£) € ф, (7)
= 0, = 0, = 0.
В дальнейшем будем считать, что собственные числа задачи (7) пронумерованы следующим образом: 0 < Л1 < Л2 < • • •, и Л& ^ +то при к ^ то. Положим
= £(£)<№(ж, £) + (ж, £),
где £(£),п(£) из леммы 2.
Теорема 1. Функции линейно независимы, и множество их
линейных комбинаций плотно в Ь2(ф).
Доказательство теоремы 1 полностью совпадает с доказательством теоремы 1 в [22].
Теорема 2. Пусть выполнены условия лемм 1,2. Тогда для любой функции / € Ь2(ф) такой, что / € Ь2(ф), существует единственное регулярное решение краевой задачи (1)—(3) из пространства (ф).
Доказательство. Приближенное решение краевой задачи (1)-(3) ищется в виде
N
N — „N,
uN = cN^ к=1
Коэффициенты cN определяются как решение системы алгебраических уравне-
(Ьи",фк) = (/,фк), к = (8)
Из равенств (8) нетрудно получить соотношения
+ ^) = + ^),
(^, ^АиГ + пА^) = (/, ^АиГ + nАuN).
Отсюда с учетом гладкости функций (ж, £) и лемм 1 и 2 вытекает, что для приближенных решений и-^ справедливы априорные оценки (4), (5). Следовательно, существуют подпоследовательность и^ (ж, £) и функция и(ж, £) € Ж2 (ф) такие, что и^ ^ и слабо в (ф). При этом справедлива оценка
М2 < С4(||/1| + ||/(М), С4 > 0.
Переходя к пределу при N ^ то в равенстве (8), получаем
ки« — + а(ж, + с(ж)и
г=1
J/ (ж,^ ¿ф, к = 1, 2,....
Тем самым в силу теоремы 1 уравнение Ьи = /(ж,£) выполняется для почти всех (ж, £) € Q и краевые условия (2), (3) удовлетворяются в среднем. Теорема 2 доказана.
5. Оценка погрешности.
Теорема 3. Пусть выполнены условия теоремы 2. Тогда для погрешности стационарного метода Галёркина справедлива оценка
11« - и"||1 < С5(||/1| + НЛЮА^4, С > 0,
где постоянная С5 не зависит от N.
Доказательство. В силу теоремы 2 краевая задача (1)-(3) имеет единственное решение и € Т7^^). Имеем разложение функции и(ж, £) в ряд Фурье:
о
и = ^2 си<ри, си = (и, (9)
к=1
При этом ряд (9) сходится в Т^) и Из уравнений (8) получаем равен-
ства
(Ьи,фк) = (/,фк), к = т.ж (10)
С другой стороны, в силу равенства Парсеваля имеет место неравенство
о
]Гс2а2 = ||Ди||2 < Сб(|/||2 + Ш|2), с6 > о. (11)
г=1
Пусть НN — линейное подпространство Т^1^), натянутое на ,..., , и Рн — оператор проектирования на Ни. Из равенств (8), (10) нетрудно получить равенство
(Ь(и - ин),£у4 + п-) = 0 Уу € Нн.
Полагая в последнем равенстве у = ш — ин с произвольной функцией ш из Нн, имеем
(Ь(и — ин), £(и, — иН)) + п(и — ин) = (Ь(и — ин), — ш,)) + п(и — ш). Отсюда в силу леммы 1 получаем оценку
||и — иН||? < С7(||/|| + ||/4|)|и — ш||м, С7 > 0. (12)
С другой стороны,
ОО ОО
||и — Рни|2 < С Акск < скАк, С9 > 0. (13)
к=Н+1 к=Н+1
Из неравенства (12), полагая в нем ш = Рни и используя (11), (13), получаем оценку погрешности стационарного метода Галеркина.
ЛИТЕРАТУРА
1. Gellerstedt S. Sur un probleme aux limites pour une equation lineaire aux derivees partielles du second ordre de tipe mixte. Uppsala: These, 1935.
2. Трикоми Ф. О линейных уравнениях смешанного типа. М.: Гостехиздат, 1947.
3. Трикоми Ф. Лекции по уравнениям в частных производных. М.: Изд-во иностр. лит, 1957.
4. Бицадзе А. В. Уравнения смешанного типа. М.: Изд-во АН СССР, 1959.
5. Гудерлей К. Г. Теория околозвуковых течений. М.: Изд-во иностр. лит., 1960.
6. Смирнов М. М. Уравнения смешанного типа. М.: Наука, 1970.
7. Салахитдинов М. С. Уравнения смешанно-составного типа. Ташкент: ФАН, 1974.
8. Каратопраклиев Г. Д. Об одном классе уравнений смешанного типа в многомерных областях // Докл. АН СССР, 1976. Т. 230, № 4. С. 769-772.
9. Ларькин Н. А. Об одном классе нелинейных уравнений смешанного типа // Сиб. мат. журн, 1978. Т. 19, № 6. C. 343-348.
10. Врагов В. Н. К теории краевых задач для уравнений смешанного типа // Дифференц. уравнения. 1977. Т. 13, № 6. С. 1098-1105.
11. Врагов В. Н. О постановке и разрешимости краевых задач для уравнений смешанно-составного типа // Математический анализ и смежные вопросы математики. Новосибирск: Наука, 1978. С. 5-13.
12. Терехов А. Н. Краевая задача для уравнения смешанного типа // Применение методов функционального анализа к задачам математической физики и вычислительной математики. Новосибирск: ИМ СО АН СССР, 1979. С.128-136.
13. Джураев Т. Д. Краевые задачи для уравнений смешанного и смешанно-составного типов. Ташкент: ФАН, 1979.
14. Врагов В. Н. Краевые задачи для неклассических уравнений математической физики. Новосибирск: НГУ, 1983.
15. Моисеев Е. И. Уравнения смешанного типа со спектральным параметром. М.: Изд-во Моск. ун-та, 1988.
16. Кузьмин А. Г. Неклассические уравнения смешанного типа и их приложение к газодинамике. Л.: Изд-во Ленингр. ун-та, 1990.
17. Егоров И. Е., Федоров В. Е. Неклассические уравнения математической физики высокого порядка. Новосибирск: Изд-во ВЦ СО РАН, 1995.
18. Егоров И. Е., Федоров В. Е. Введение в теорию уравнения смешанного типа второго порядка. Якутск: Изд-во Якутск. ун-та, 1998.
19. Егоров И. Е., Федоров В. Е. Об одной краевой задаче для уравнения смешанного типа высокого порядка // Мат. заметки ЯГУ. 1999. Т. 6, вып. 1. С. 26-35.
20. Чуешев А. В. Разрешимость краевых задач для уравнений смешанного типа высокого порядка / Дис. ... канд. физ.-мат. наук. Новосибирск: НГУ, 2001.
21. Ладыженская О. А. Краевые задачи математической физики. М.: Наука, 1973.
22. Егоров И. Е., Тихонова И. М. О стационарном методе Галеркина для уравнения смешанного типа второго порядка // Мат. заметки ЯГУ, 2010. Т. 17, вып. 2. С. 41-47.
23. Егоров И. Е., Тихонова И. М. Применение стационарного метода Галеркина для уравнения смешанного типа // Мат. заметки ЯГУ, 2012. Т. 19, вып. 2. С. 20-28.
24. Егоров И. Е., Тихонова И. М. О скорости сходимости стационарного метода Галеркина для уравнения смешанного типа // Вестн. Южно-Уральск. ун-та. Сер. Мат. моделирование и программирование. 2012, № 14, С. 53-58.
25. Тихонова И. М. Оценка погрешности стационарного метода Галеркина для задачи А. Н. Терехова // XVII и XVIII Лаврентьевские чтения: Сб. статей науч. конф. школьников, студентов, аспирантов и молодых ученых Республики Саха (Якутия). 2015. С. 69-72.
26. Егоров И. Е., Тихонова И. М. Применение модифицированного метода Галеркина к уравнению смешанного типа // Мат. заметки СВФУ. 2014. Т. 21, № 4. С. 14-19.
27. Егоров И. Е. Применение модифицированного метода Галеркина к первой краевой задаче для уравнения смешанного типа // Мат. заметки СВФУ, 2015. Т. 22, № 3. С. 3-10.
28. Джишкариани А. В. О быстроте сходимости метода Бубнова — Галеркина // Журн. вычисл. математики и мат. физики 1964. Т. 4, № 2. С. 343-348.
29. Виноградова П. В., Зарубин А. Г. Оценка погрешности метода Галеркина для нестационарных уравнений// Журн. вычисл. математики и мат. физики. 2009. Т. 49, № 9, С. 1643-1651.
30. Виноградова П. В., Королева Т. Э. О равномерной оценке скорости сходимости метода Галеркина для нелинейного уравнения третьего порядка // Мат. заметки СВФУ, 2014. Т. 21, № 2. С. 3-7.
31. Тихонова И. М., Федоров В. Е. Об одной краевой задаче для уравнения смешанного типа второго порядка // Мат. заметки ЯГУ, 2010. Т. 17, вып. 2. С. 109-117.
Статья поступила 12 ноября 2016 г.
Федоров Валерий Евстафьевич, Тихонова Ирина Михайловна Северо-Восточный федеральный университет имени М. К. Аммосова, Научно-исследовательский институт математики, ул. Кулаковского, 48, Якутск 677000 РедогоуУЕБЗФтаИ.ги, 1г1паш1кЬ3007@та11.ги
Математические заметки СВФУ Октябрь—декабрь, 2016. Том 23, № 4
UDC 517.633
THE STATIONARY GALERKIN METHOD FOR A BOUNDARY VALUE PROBLEM FOR A MIXED SECOND-ORDER EQUATION V. E. Fedorov and I. M. Tikhonova
Abstract: We prove the existence of the unique regular solution for the boundary value problem for the mixed type second-order equation in the Sobolev space. The stationary Gaierkin method is applied, for which the error estimate is obtained using eigenvalues of the spectral problem for the Laplace equation in the variables x € Rn and t. Keywords: mixed type equation, boundary value problem, a priori estimate, stationary Galerkin method, error.
REFERENCES
1. Gellerstedt S., Sur un probleme aux limites pour une equation lineaire aux derivees partielles du second ordre de tipe mixte, These, Uppsala (1935).
2. Tricomi F. C., Linear Equations of Mixed Type [in Russian], Gostekhizdat, Moscow (1947).
3. Tricomi F. C., Lectures on Partial Differential Equations [in Russian], Izdat. Inostr. Lit., Moscow (1957).
4. Bitsadze A. V., Equations of Mixed Type [in Russian], Akad. Nauk SSSR, Moscow (1959).
5. Guderley K. G., The Theory of Transonic Flows [in Russian], Izdat. Inostr. Lit., Moscow (1962).
6. Smirnov M. M., Equations of Mixed Type [in Russian], Nauka, Moscow (1970).
7. Salakhitdinov M. S., Equations of Mixed-Composite Type [in Russian], Fan, Tashkent (1974).
8. Karatoprakliev G. D., "A class of mixed-type equations in multidimensional domains," Dokl. AN SSSR, 230, No. 4, 769-772 (1976).
9. Lar'kin N. A. "One class of nonlinear equations of mixed type," Sib. Math. J., 19, No. 6, 919-924 (1978).
10. Vragov V. N. "On the theory of boundary-value problems for mixed-type equations in space," Differ. Uravn., 13, No. 6, 1098-1105 (1977).
11. Vragov V. N. "On the formulation and the solvability of boundary value problems for mixed-composite type equations," in: Matematicheskiy Aanaliz i Smejnie Voprosi Matematiki, Nauka, Novosibirsk, 1978, pp. 5-13.
12. Terekhov A. N. "A boundary value problem for mixed type equation," in: Primenenie Metodov Funkstional'nogo Analiza k Zadacham Matematicheskoi Fiziki i Vyshislitel'noi Matematiki, IM SO AN SSSR, Novosibirsk, 1979, pp. 128-136.
13. Djuraev T. D., Boundary Value Problems for Equations of Mixed and Mixed-Composite Types [in Russian], FAN, Tashkent (1979).
14. Vragov V. N., Boundary Value Problems for Nonclassical Equations of Mathematical Physics [in Russian], Novosibirsk Univ., Novosibirsk (1983).
15. Moiseev E. I., Equations of Mixed Type with a Spectral Parameter, MGU, Moscow (1988).
16. Kuzmin A. G., Non-classical Mixed Type Equations and Their Application in Gas Dynamics [in Russian], LGU, Leningrad (1990).
17. Egorov I. E. and Fedorov V. E., High-Order Nonclassical Equations of Mathematical Physics, Vychisl. Tsentr SO RAN, Novosibirsk (1995).
© 2016 V. E. Fedorov and I. M. Tikhonova
18. Egorov I. E. and Fedorov V. E., Introduction to the Theory of Mixed Type Equations of Second Order, Yakutsk Univ., Yakutsk (1998).
19. Egorov I. E. and Fedorov V. E. "About a boundary value problem for mixed type equation of high order," Mat. Zamet. YAGU, 6, No. 1, 26-35 (1999).
20. Chueshev A. B. The solvability of boundary value problems for mixed type equations of high order, Diss. ... kand. fiz.-mat. nauk, Novosib. Gos. Univ., Novosibirsk (2001).
21. Ladyzhenskaya O. A., Boundary Value Problems of Mathematical Physics, Nauka, Moscow (1985).
22. Egorov I. E. and Tikhonova I. M. "Stationary Galerkin method for a mixed second-order equation," Mat. Zamet. YAGU, 17, No. 2, 41-47 (2010).
23. Egorov I. E. and Tikhonova I. M. "Application of the stationary Galerkin method to an equation of mixed type," Mat. Zamet. YAGU, 19, No. 2, 20-28 (2012).
24. Egorov I. E. and Tikhonova I. M. "About convergence speed of the stationary Galerkin method for a mixed type equation," Vestn. Yuzhno-Ural. Gos. Univ., Ser. Mat. Model. Program., 40, No. 14, 53-58 (2012).
25. Tikhonova I. M. "Error estimates for the stationary Galerkin method for the Terekhov problem," in: Sbornik statei nauchn. konf. "XVII i XVIII Lavrentievskie Chteniya", Izdat. MCNIP, Kirov, 2015, pp. 69-72.
26. Egorov I. E. and Tikhonova I. M. "Application of the modified Galerkin method for a mixed-type equation," Mat. Zamet. SVFU, 21, No. 3, 14-19 (2014).
27. Egorov I. E. "Application of the modified Galerkin method for the first boundary problem for a mixed type equation," Mat. Zamet. SVFU, 22, No.3, 14-19 (2015).
28. Dzhishkariani A. V. "On the rate of convergence of the Bubnov-Galerkin method," USSR Comput. Math. Math. Phys., 4, No. 2, 183-189 (1964).
29. Vinogradova P. V. and Zarubin A. G. "Error estimates for the Galerkin method as applied to time-dependent equations," Comput. Math. Math. Phys., 49, No. 9, 1567-1575 (2009).
30. Vinogradova P. V. and Koroleva T. E. "Uniform estimation of the convergence rate of the Galerkin method for a third-order nonlinear equation," Mat. Zamet. SVFU, 21, No. 2, 3-7 (2014).
31. Tikhonova I. M. and Fedorov V. E. "On one boundary value problem for a mixed second-order equation," Mat. Zamet. YAGU, 17, No. 2, 109-117 (2010).
Submitted November 12, 2016
Fedorov Valery Evstafievich, Tikhonova Irina Mikhailovna M. K. Ammosov North-Eastern Federal University, Research Institute of Mathematics, Kulakovskii Street, 48, Yakutsk 677000, Russia FedorovVE58Smail.ru, Irinamikh3007Smail.ru
