Ru
Общероссийский математический портал
Параметры загрузки:
IP: 149.27.44.13
4 февраля 2022 г., 10:49:30
А.П. Хромов. Смешанная задача для дифференциального уравнения с инволюцией
7. Дудов, С.И. Об асферичности выпуклого компакта 10. Рокафеллар, Р. Выпуклый анализ / Р. Рокафеллар.
/ С.И. Дудов, Е.А. Мещерякова // Математика. Ме- – М.: Мир, 1973.
ханика: сб. науч. тр. – Саратов: Изд-во Сарат. ун-та, 11. Зуховицкий, С.И. Линейное и выпуклое программи-
2009. – Вып. 11. – С. 24–27. рование / С.И. Зуховицкий, Л.И. Авдеева. – М.: Наука,
8. Васильев, Ф.П. Численные методы решения экстре- 1964.
мальных задач / Ф.П. Васильев. – М.: Наука, 1988. 12. Половинкин, Е.С. Элементы выпуклого и сильно
9. Карманов, В.Г. Математическое программирование выпуклого анализа / Е.С. Половинкин, М.В. Балашов.
/ В.Г. Карманов. – М.: Наука, 1986. – М.: Физматлит, 2004.
УДК 517.984
СМЕШАННАЯ ЗАДАЧА
ДЛЯ ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ
С ИНВОЛЮЦИЕЙ И ПОТЕНЦИАЛОМ
СПЕЦИАЛЬНОГО ВИДА
А.П. Хромов
The Mixed Problem for the Differential Equation with Involution
Саратовский государственный университет, and Potential of the Special Kind
кафедра дифференциальных уравнений и прикладной
A.P. Khromov
математики
E-mail: KhromovAP@info.sgu.ru Saratov State University,
Chair of Differential Equations and Applied Mathematics
Для решения некоторой смешанной задачи с инволюцией и ве- E-mail: KhromovAP@info.sgu.ru
щественным симметричным потенциалом найдено явное анали-
For the solution of some mixed problem with involution and real
тическое представление методом Фурье. При этом использова-
symmetrical potential, explicit analytical formula has been found with
ны приемы, позволяющие избегать почленного дифференци-
the use of the Fourier method. Techniques allowing to avoid term-by-
рования функционального ряда и накладывать минимальные
term differentiation of the functional series and impose the minimum
условия на начальные данные задачи.
conditions for initial problem data, are used.
Ключевые слова: смешанная задача, инволюция, метод Фу- Key words: mixed problem, involution, Fourier method, classical
рье, классическое решение. solution.
°
c А.П. Хромов., 2010 17
Изв. Сарат. ун-та. Нов. сер. 2010. Т. 10. Сер. Математика. Механика. Информатика, вып. 4
2. Найдем решение задачи (3)–(4). Выполняя в (3) замену x на 1 − x и полагая z(x) = (z1 (x),
z2 (x))T , где z1 (x) = y(x), z2 (x) = y(1−x), получим следующую систему уравнений относительно z(x):
где D−1 = diag (−i, i), P1 (x) = D−1 Γ−1 P (x)Γ = D−1 q(x) (благодаря симметричности q(x) матрица
P1 (x) также диагональна).
Система (7) распадается на два уравнения:
v1′ (x) − iq(x)v1 (x) = −λiv1 (x), v2′ (x) + iq(x)v2 (x) = λiv2 (x),
или
c1 [u1 (0) + iu1 (1)e−λi ] = c2 [u2 (1)eλi + iu2 (0)]. (10)
R1
−i q(t) dt
Так как u1 (0) = 1, u2 (0) = 1, u2 (1) = e 0 = u−1
1 (1), то из (10) получим
18 Научный отдел
А.П. Хромов. Смешанная задача для дифференциального уравнения с инволюцией
откуда c1 = c2 u2 (1)eλi . Тогда y(x) = z1 (x) = c1 u1 (x)e−λix − ic2 u2 (x)eλix = c2 ϕ(x, λ), что доказыва-
ет (8). ¤
Лемма 3. Собственные значения краевой задачи (3)–(4) есть
λn = 2πn + a, n ∈ Z, (11)
R1
где a = π/2 + q(t) dt, а соответствующие собственные функции
0
Ly = y ′ (1 − x) + q(x)y(x), y(0) = 0,
Z1 Z1 Z1
′
¯1
(Ly, z) = y (x)z(1 − x) dx + q(x)y(x)z(x) dx = y(x)z(1 − x)¯ + 0
y(x)z ′ (1 − x) dx+
0 0 0
Z1 Z1
+ q(x)y(x)z(x) dx = y(1)z(0) + y(x)(z ′ (1 − x) + q(x)z(x)) dx,
0 0
Z1 Z1 h i
(yn , f ) = yn (x)f (x) dx = f (x) p(1 − x)e2πni(1−x) − ip(x)e2πnix dx =
0 0
Z1 Z1 Z1 h i
2πnix 2πnix
= f (1 − x)p(x)e dx − i f (x)p(x)e dx = f (1 − x) − if (x) p(x)e2πnix dx = 0.
0 0 0
i f (x) + i2 f (1 − x) ≡ 0. (14)
Математика 19
Изв. Сарат. ун-та. Нов. сер. 2010. Т. 10. Сер. Математика. Механика. Информатика, вып. 4
Доказательство. Имеем
Z1 Z1 Z1
2
kyn k = yn (x)yn (x) dx = p(1 − x)p(1 − x) dx + p(x)p(x) dx+
0 0 0
Z1 Z1
+i p(1 − x)p(x)e −4πnix
dx − i p(x)p(1 − x)e4πnix dx.
0 0
∞
1
¡1¢
|(g, yn0 )|2 < ∞, то утверждение леммы следует из неравенства Коши –
P
Так как λn −µ0 =O n , а
−∞
Буняковского и равномерной ограниченности yn0 (x). ¤
∞
cn e2πnix непрерывна
P P
4. Из леммы 6 следует, что ряд |cn | сходится. Поэтому функция f0 (x) =
−∞
на (−∞, ∞) и периодическая с периодом 1.
Лемма 7. При x ∈ [0, 1] имеет место формула
1
f0 (x) = [iϕ(x) + ϕ(1 − x)] . (15)
2p(x)
откуда
ϕ(x) = p(1 − x)f0 (1 − x) − ip(x)f0 (x). (16)
20 Научный отдел
А.П. Хромов. Смешанная задача для дифференциального уравнения с инволюцией
Отсюда
ϕ(1 − x) = p(x)f0 (x) − ip(1 − x)f0 (1 − x). (17)
Из (16) и (17) получаем
iϕ(x) + ϕ(1 − x) = 2p(x)f0 (x). (18)
Из (18) следует (15). ¤
Замечание. Функция f0 (x) в силу своей периодичности однозначно определяется на всей оси
заданием ее лишь на отрезке [0, 1]. Таким образом, f0 (x) определяется не рядом, а по формуле (15).
Лемма 8. Если ϕ(x) ∈ C 1 [0, 1], ϕ(0) = ϕ′ (1) = 0, то f0 (x) непрерывно дифференцируема на всей
вещественной оси.
Доказательство. Из (15) следует, что f0 (x) непрерывно дифференцируема на [0, 1] (в конце-
вых точках имеются в виду односторонние производные). В силу периодичности функция f0 (x)
непрерывно дифференцируема всюду на (−∞, +∞), кроме точек x = n (n – целое). Покажем, что
f0′ (n − 0) = f0′ (n + 0). В силу периодичности функции f0 (x) достаточно установить, что
имеем
2p′ (0)f0 (0) + 2p(0)f0′ (0 + 0) = iϕ′ (0), 2p′ (1)f0 (0) + 2p(1)f0′ (0 − 0) = −ϕ′ (0),
откуда
2[p′ (0) + ip′ (1)]f0 (0) + 2[p(0)f0′ (0 + 0) + ip(1)f0′ (0 − 0)] = 0. (21)
³ R ´
1
Так как p(0) = 1, p(1) = exp −i 0 q(t) dt eia = eπi/2 = i, u′2 (x) = −iq(x)u2 (x), p′ (0) = −iq(0) + ia,
p′ (1) = q(1) − a, а также q(0) = q(1), то p′ (0) + ip′ (1) = 0, и из (21) следует (19). Лемма доказана. ¤
Замечание. Условие ϕ′ (1) = 0 является естественным, так как ему удовлетворяют все собственные
функции.
5. Согласно методу Фурье, решение u(x, t) задачи (1)–(2) представляется формальным рядом
∞
X ∞
X
(ϕ, yn0 )yn0 (x)eλn βit = cn yn (x)eλn βit , (22)
−∞ −∞
Математика 21
Изв. Сарат. ун-та. Нов. сер. 2010. Т. 10. Сер. Математика. Механика. Информатика, вып. 4
Теорема. Если ϕ(x) ∈ C 1 [0, 1], ϕ(0) = ϕ′ (1) = 0, q(x) ∈ C[0, 1], q(x) = q(1 − x), то классическое
решение задачи (1)–(2) существует и имеет вид
Rx
µ ¶
где p(x) = exp aix − i q(t) dt , f0 (x) — периодическая с периодом 1 функция, причем на отрез-
0
ке [0, 1]
1 £ ¤
f0 (x) = iϕ(x) + ϕ(1 − x) . (25)
2p(x)
Доказательство. Как установлено выше, если функцию f0 (x), заданную с помощью (25), про-
должить периодически с периодом 1 на всю ось, то получим непрерывно дифференцируемую всюду
функцию. Проверим теперь, что u(x, t), заданная формулой (24), является решением смешанной за-
дачи (1)–(2).
Сначала покажем, что u(x, t) удовлетворяет дифференциальному уравнению (1). Имеем
1
ut (x, t) = aeaβit p(1 − x)f0 (1 − x + βt) − ip(x)f0 (x + βt) +
£ ¤
βi
1
+ eaβit p(1 − x)f0′ (1 − x + βt) − ip(x)f0′ (x + βt) ,
£ ¤
¯ i
= eaβit −p′ (1 − ξ)f0 (1 − ξ + βt) − p(1 − ξ)f0′ (1 − ξ + βt)−
£
uξ (ξ, t)¯
¯
ξ=1−x
¤¯¯
= eaβit −p′ (x)f0 (x + βt) − p(x)f0′ (x + βt)−
£
−ip (ξ)f0 (ξ + βt) − ip(ξ)f0′ (ξ + βt) ¯
′
ξ=1−x
¤
−ip (1 − x)f0 (1 − x + βt) − ip(1 − x)f0′ (1 − x + βt) .
′
¤ £1 ¤ £ ¤o
+ip(x)q(x) +f0′ (1 − x + βt) p(1 − x) + ip(1 − x) +f0′ (x + βt) −p(x) + p(x) .
i
Последние две квадратные скобки равны нулю. Подставляя явные выражения для p(x) и p′ (x), по-
лучим, что первая и вторая квадратные скобки также равны нулю, т. е. u(x, t) удовлетворяет уравне-
нию (1).
Далее, при x ∈ [0, 1] имеем u(x, 0) = p(1 − x)f0 (1 − x) − ip(x)f0 (x) = ϕ(x). Наконец,
Работа выполнена при финансовой поддержке РФФИ (проект 10-01-00270) и гранта Прези-
дента РФ для поддержки ведущих научных школ (проект НШ-4383.2010.1) .
Библиографический список
1. Андреев, А.А. О корректности краевых задач для Междунар. семинара. – Самара, 1998. – С. 5–18.
некоторых уравнений в частных производных с кар- 2. Чернятин, В.А. Обоснование метода Фурье в сме-
лемановским сдвигом/ А.А. Андреев // Дифферен- шанной задаче для уравнений в частных производных
циальные уравнения и их приложения: Тр. 2-го / В.А. Чернятин. – М., 1991. – 112 c.
22 Научный отдел