CC BY
1
Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2024, vol. 24, iss. 3, pp. 351-358 https://mmi.sgu.ru https://doi.org/10.18500/1816-9791-2024-24-3-351-358, EDN: HWFUYG
Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2024. Т. 24, вып. 3. С. 351-358
Научная статья УДК 517.927.96+517.984
Расходящиеся ряды и обобщенная смешанная задача для волнового уравнения
Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, Россия, 410012, г. Саратов, ул. Астраханская, д. 83
Хромов Август Петрович, доктор физико-математических наук, профессор кафедры дифференциальных уравнений и математической экономики, [email protected], https://orcid.org/0000-0002-2454-8009, АиШогГО: 3428
Аннотация. На основе законности перестановки операций суммирования и интегрирования тригонометрического ряда Фурье дается решение обобщенной смешанной задачи по методу Фурье для однородного волнового уравнения с нулевой начальной скоростью и условиями закрепления на концах. Решение дается в виде ряда, сходящегося с экспоненциальной скоростью. В случае классического решения этот ряд является таким решением. Результаты статьи усиливают полученные ранее. Ключевые слова: расходящиеся ряды, волновое уравнение, смешанная задача
Для цитирования: Хромов А. П. Расходящиеся ряды и обобщенная смешанная задача для волнового уравнения // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2024. Т. 24, вып. 3. С. 351-358. https://doi.org/10.18500/1816-9791-2024-24-3-351-358, EDN: HWFUYG
Статья опубликована на условиях лицензии Creative Commons Attribution 4.0 International (CC-BY 4.0)
Saratov State University, 83 Astrakhanskaya St., Saratov 410012, Russia
Avgust P. Khromov, [email protected], https://orcid.org/0000-0002-2454-8009, AuthorlD: 3428
Abstract. Allowing the inversion of the operations of summation and integration for trigonometric Fourier series we present the solution by Fourier method of the generalized mixed problem for the homogeneous wave equation with zero initial velocity and fixed ends boundary conditions. The solution has the form of a series converging at an exponential rate. This series converges the classical solution if the latter equists. The results of the article reinforce the previously obtained results. Keywords: divergent series, wave equation, mixed problem
For citation: Khromov A. P. Divergent series and generalized mixed problem for wave equation. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2024, vol. 24, iss. 3, pp. 351-358 (in Russian). https://doi.org/10.18500/1816-9791-2024-24-3-351-358, EDN: HWFUYG
This is an open access article distributed under the terms of Creative Commons Attribution 4.0 International License (CC-BY 4.0)
А. П. Хромов
Article
Divergent series and generalized mixed problem for wave equation
A. P. Khromov
Введение
Обоснование метода Фурье в задачах математической физики традиционно опирается на доказательство равномерной сходимости ряда, представляющего формальное решение задачи, и рядов, получающихся из него почленным дифференцированием нужное число раз. В. А. Стеклов, впервые давший строгое обоснование метода Фурье, придерживался этой точки зрения [1, с. 224], которая сделала метод Фурье очень популярным. Было проведено большое количество исследований и достигнуты значительные успехи. Недостатком такого подхода является то, что он требует завышения гладкости начальных данных.
Выход из этого положения намечен А. Н. Крыловым [2] в его исследованиях по ускорению сходимости рядов Фурье и им подобных. Суть его приема состоит в том, что изучаемый вопрос о дифференцировании ряда решается путем разбиения его на два ряда, один из которых точно суммируется (и тем самым здесь не нужно прибегать к почленному дифференцированию), а второй ряд сходится настолько быстро, что его можно дифференцировать. Им были успешно преодолены трудности, связанные с невозможностью почленного дифференцирования, на ряде конкретных задач.
В. А. Чернятин [3] приемом А. Н. Крылова с применением уточненных асимптотик для собственных значений и собственных функций успешно исследовал ряд задач методом Фурье и значительно ослабил условия гладкости исходных данных, а в ряде случаев эти условия стали минимально возможными.
Это направление получило развитие в работах [4,5]. Там, в смешанной задаче для волнового уравнения, был предложен резольвентный подход, состоящий в привлечении метода Коши - Пуанкаре контурного интегрирования по спектральному параметру резольвенты оператора, порожденного спектральной задачей метода Фурье. В результате удалось получить решения смешанных задач при минимальных условиях гладкости начальных даннных, не используя при этом уточненных асимптотик для собственных значений и никакой информации о собственных функциях. Кроме того, важно то, что резольвентный подход позволил привлечь ряды Фурье по тригонометрической системе вместо рядов по собственным функциям.
Обобщенная смешанная задача для волнового уравнения является одним из наиболее сильных обобщений смешанной задачи. Она впервые появилась в [6]. Внешний вид ее такой же, как и у исходной смешанной задачи, и характеризуется тем, что в формальном решении ее по методу Фурье потенциал и начальные данные считаются произвольными суммируемыми функциями, а возмущение в случае неоднородной задачи — произвольной локально суммируемой функцией.
Ряд формального решения может быть и расходящимся. Следуя рекомендациям Л. Эйлера [7, с. 101], для нахождения его суммы привлекаем еще аксиому о перестановке в ряде операций интегрирования и суммирования.
В настоящей работе дается решение следующей обобщенной смешанной задачи:
д2п(х,£) д2п(х,£) , ч ,
= дХ2 - Я(х)и(х, £), (х, £) е [0,1] х [0, гс), (1)
п(0, £) = п(М) = 0, (2)
п(х, 0) = ^(х), п[(х, о) = 0, (3)
где ^(х), д(ж) из Ь[0,1].
1. Обобщенная смешанная задача и ее формальное решение
Рассмотрим здесь более общую следующую обобщенную смешанную задачу:
д2п(Х^ = - Я(х)п(х, *) + f (х, «), (х, *) е [0,1] х [0, гс), (4)
п(0, £) = п(М) = 0, (5)
и(х, 0) = ^(х), Щ(х, о) = ф(х).
(6)
Считаем, что все функции, входящие в (4)-(6), комплекснозначные, причем д(х), ^(ж), ф(х) е Ь[0,1] и /(ж,£) класса д, т.е. /(х,*) е ЭДт] при любом Т > 0 и Qт = [0,1] х [0,Т].
Задача (4)-(6) при таких исходных данных чисто формальная, т.е. имеет лишь внешний вид. Несмотря на это, можно дать (см. [6]) формальное решение по методу Фурье в следующем виде:
и(х,*) = (•)
(Да ^)ео8 е* + ф)^ + / ДА(/(•,т))
в1п е(* — т)
¿т
¿л,
(7)
где
(•) = —
2пг
МА|=г
7п /
ДА = (Ь — ЛЕ)-1 — резольвента оператора Ь: Ьу = —у/;(х) + д(х)у(х), у(0) = у(1) = 0, Л — спектральный параметр, Е — единичный оператор, Да(/(•,т)) означает, что Да применяется к /(х, *) по переменной х (т — параметр), Л = е2, е ^ 0, 7п — образ в Л-плоскости окружности 7п = {е| |е — пп| = 5}, 5 > 0 и достаточно мало, г > 0 достаточно велико и фиксированно, по — такой номер, что при п ^ по внутри 7п находится по одному собственному значению оператора Ь и все 7п при п > п0 находятся вне |Л| = г, а остальные собственные значения — внутри.
Считаем, что задача (4)-(6) и ее формальное решение тесно связаны. Это навеяно тем, что в случае классического решения задачи (4)-(6) оно представляется формальным решением, которое в этом случае является сходящимся рядом.
В нашем же случае ряд (7) может быть и расходящимся. Таким образом, в нашей обобщенной смешанной задаче сама задача имеет чисто формальный вид, а формальное решение является конкретным рядом, который может быть и расходящимся. И все это создает трудности при решении обобщенной смешанной задачи.
2. Преобразование формального решения
При действиях с расходящимися рядами будем пользоваться следующей аксиомой:
=
(8)
где / — определенный интеграл.
С помощью (8) формальное решение (7) приведем к виду
г г-т
и(х,*) = £(х,*; + ^ 2(х,т; ф)^т + ^ ¿т J 2(х, п; /(-,т
оо
(9)
где 2(х, *; есть формальное решение задачи (1)-(3). Значение формулы (9) в том, что хорошо объясняется роль смешанной задачи (1)-(3), и поэтому мы ограничимся в дальнейшем лишь задачей (1)-(3).
3. Об интегрировании тригонометрического ряда Фурье
При решении обобщенной смешанной задачи (1)-(3) потребуются следующие факты, относящиеся к тригонометрическим рядам Фурье [8].
1
г
Рассмотрим на отрезке [-1,1] тригонометрический ряд Фурье функции f (x) е L[-1,1]:
—00 + ^^ (—k cos knx + bk sin knx), (10)
k=i
i i где — k = J f (t) cos kntdt, k = 0,1,..bk = J f (t) sin kntdt, k = 1, 2,.... -i -i Рассматриваем ряд (10) как расходящийся. К нахождению его суммы привлечем аксио-
x
му (8), где J = J.
-i
Теорема 1. Сумма расходящегося ряда (10) почти всюду равна f (x).
Доказательство. Пусть сумма ряда (10), рассматриваемого как расходящийся, есть некоторая функция g(x) е L[-1,1]. Тогда в силу (8) имеем
x x QQ / x x \
y*g(t)dt = У>у dt + Xj ( —fc/ cos kntdt + bk J sin kntdtj . (11)
По теореме 3 из [9, с. 320] ряд (11) сходится в каждой точке x е [—1,1] и его сумма есть
x
J f (t)dt. Поэтому из (11) получаем
x
g(t)dt = J f (t)dt.
-1 -1
Отсюда g(x) = f (x) почти всюду. Теорема доказана. □
Приведем теперь теорему Фейера - Лебега о сходимости средних Фейера ряда (10).
Теорема 2 (Фейер-Лебег [9, с. 312]). Если an(x) средние Фейера ряда (10) функции f (x) е L[—1,1], то почти всюду на [-1,1] будет
lim ^n (x) = f (x).
П—У^О
Это соотношение выполняется во всех точках Лебега и тем более во всех точках непрерывности функции f (x), лежащих внутри [—1,1].
Таким образом, за исключением последней фразы теоремы 2, теоремы 1 и 2 приводят к одному и тому же результату: сумма ряда (10), рассматриваемого как расходящийся, с применением аксиомы (8) совпадает почти всюду с пределом частичных сумм Фейера.
Для случая тригонометрических рядов по синусам данный результат содержится в [10].
4. Решение обобщенной смешанной задачи (1)-(3)
Опираясь на тесную связь обобщенной смешанной задачи с рядом ее формального решения [6, с. 217], получим решение обобщенной смешанной задачи (1)-(3) в виде ряда, сходящегося с экспоненциальной скоростью.
Приступаем к процедуре нахождения этого решения. Представим формальное решение u(x, t) = Z(x, t; задачи (1)-(3) в виде
u(x,t) = u01 (x,t) + u1 (x,t), (12)
где U01 (x, t) есть ряд Z(x, t; при q(x) = 0. Обозначим uo1(x,t) = Zo(x, t; Тогда из (12) получаем u1 (x, t) = Z(x, t; — Z0 (x, t;
1
Лемма 1. Сумма ряда и01 (х, *) есть
ао(х, *) = 2[^(х + *) + <£(х — *)],
где ^(х) нечетна и 2-периодична при х е (—гс>, <^>) и ^(х) = ^(х) при х е [0,1]. В [11] эта лемма фигурирует как теорема 2.
Функция ао(х, *) будет первым членом ряда, представляющего решение задачи (1)-(3).
Приступим к исследованию ряда и1 (х, *).
Так как ио1(х,*) есть ряд формального решения задачи
д2ио1 (х, *) д2ио1 (х, *)
д*2 = дх ,
ио1 (0,*) = ио1(1,*) = 0,
ио1 (х, 0) = <р(х), и'о1,г(х, о) = 0,
то ряду и1(х, *) соответствует смешанная задача
д 2и1(х,*) д2 и1 (х,*)
д*2
дх2
и1 (0, *) = и1 (1,*) = 0, и1 (х, 0) = и'1г(х, 0) = 0,
— д(х)и1 (х,*) + Уо(ж^
(13)
(14)
(15)
где /о(х,*) = —д(х)ао(х, *).
Но ряд и1(х,*) не является рядом формального решения по методу Фурье этой задачи. Поэтому мы, следуя нашей установке о связи смешанной задачи с рядом ее формального решения, ряд и1(х, *) заменим на ряд формального решения задачи (13)-( 15). Теперь ряд и1 (х, *) есть ряд
и1 (х, *) = (•)
вт е(* — т) Да (/о(•, т))-¿т
о
¿Л.
(16)
Этот переход является основным моментом нашей процедуры. Отметим, что в случае классического решения этот переход законен [12]. Повторяем вышепроведенную процедуру с рядом и(х, *) теперь с рядом и1 (х, *) из (16), т.е. представим ряд и1(х, *) в виде
и1 (х, *) = ио2 (х, *) + и2 (х, *),
где ио2 (х, *) есть ряд формального решения обобщенной смешанной задачи
д2ио2 (х, *) = д2ио2 (х, *) + „ ( *) д*2 = дх2 + ^^
ио2 (0,*) = ио2(1,*) = 0, ио2(х, 0) = ио2,г(х, 0) = 0.
Лемма 2. Сумма ряда ио2(х, *) есть
г х+г-т
/о (п, т) ¿п,
о х-г+т
(17)
ио2 (х, *) = а1 (х, *) = 2 I ¿т
где /о(п, т) нечетна, 2-периодична по п и /о(п, т) = /о(п, т) при п е [0,1]. Доказательство содержится в [6, с. 219].
г
Функция а,1 (х, *) будет вторым членом ряда, представляющего решение обобщенной смешанной задачи (1)-(3).
Как и выше, получаем, что ряд и2(х, *) в силу (17) соответствует задаче (13)-(15), где вместо /0(х, *) берется теперь функция /1 (х, *) = —д(х)а1 (х, *), и мы от ряда и2(х, *) приходим к ряду
^2 (х,*) = (•)
вт — т) Ял (/1 0,т)) - ¿т
о
¿Л.
Продолжаем указанный процесс. Придем на т-ом шаге к формуле
и(х, *) = Лт(х, *) + От(х, *),
где
Ъ ж-|-Ъ—Т
Лш(х,*) = ^ ак(х, £), ак(х,^) = 1у ¿т ^ /к—1 (п, т) ¿п, к > 1,
к=0 0 ж—Ъ+т
/к(п, т) = — д(п)«к(п, т), ао(х, *) = ^(х + *) + <£(х — *)],
(х,*) = (•)
ъ
У(Ял — ЯЛ )(/т—1(-,т))
эт — т)
¿т
ю
£
¿Л.
Лемма 3 ([6, лемма 1]). Пусть Т — произвольное положительное число, в — наименьшее натуральное число такое, что Т < Тогда справедлива оценка
\аи(х,£)||с] < М1
М2\ п—1 Тп—1
2 ) (п — 1)!
, п > 1,
где М1 = ||а1(х,*)||с[дт], М2 = (2в+1)1 (Н^ — норма в Ь[0,1]). Кроме того, М1 < ст||^|1 и постоянная ст не зависит от ^(х), Qт = [0,1] х [0, Т].
Лемма 4 ([6, лемма 12, теорема 15]). Имеет место оценка
/ \
От (х,*) = О
Ц |/ш—1 (х,*)| ¿Ж^
т > 1,
/
равномерная по х и * из Qт.
На основании лемм 3 и 4 получаем следующую теорему.
те
Теорема 3. Если ^(х) е Ь[0,1], то ряд Л(х, *) = XI ап(х,*) сходится абсолютно и рав-
п=0
номерно в QT при любом Т > 0 с экспоненциальной скоростью и его сумма представляет собой решение обобщенной смешанной задачи (1)-(3).
Отметим также [12, теорема 6]:
Теорема 4. Если ^(х), ^'(х) абсолютно непрерывны на [0,1] и ^(0) = ^(1) = 0, то сумма ряда Л(х, *) представляет собой классическое решение смешанной задачи (1)-(3) (уравнение (1) удовлетворяется почти всюду).
Замечание. Условия на ^(х) в теореме 4 являются необходимыми и достаточными для классического решения задачи (1)-(3).
ъ
Теорема 4 с замечанием служит основанием считать сумму ряда А(х, *) при ^(х) е Ь[0,1] решением обобщенной смешанной задачи (1)-(3).
Таким образом, аксиома о перестановочности операций интегрирования и суммирования функциональных рядов приводит в случае тригонометрического ряда Фурье к методу суммирования с таким же результатом, что и метод Фейера. В случае обобщеной смешанной задачи эта аксиома приводит к построению ряда А(х, *) явного вида, сходящегося с экспоненциальной скоростью. Этот ряд следует считать новым методом суммирования ряда формального решения. Теорема 4 говорит о регулярности предлагаемого метода.
Список литературы
1. Стеклов В. А. Основные задачи математической физики. Москва : Наука, 1983. 432 с.
2. Крылов А. Н. О некоторых дифференциальных уравнениях математической физики, имеющих приложения в технических вопросах. Москва ; Ленинград : ГИТТЛ, 1950. 368 с.
3. Чернятин В. А. Обоснование метода Фурье в смешанной задаче для уравнений в частных производных. Москва : Изд-во Московского ун-та, 1991. 112 с.
4. Бурлуцкая M. Ш., Хромов А. П. Резольвентный подход в методе Фурье // Доклады Академии наук. 2014. Т. 458, № 2. С. 138-140. https://doi.org/10.7868/S0869565214260041, ЕЭЫ: Э^ЕБЫ
5. Бурлуцкая M. Ш., Хромов А. П. Резольвентный подход для волнового уравнения // Журнал вычислительной математики и математической физики. 2015. Т. 55, № 2. С. 51-63. https://doi.org/10.7868/S0044466915020052, ЕЭЫ: ТИИУдБ
6. Хромов А. П., Корнев В. В. Расходящиеся ряды в методе Фурье для волнового уравнения // Труды Института математики и механаники УрО РАН. 2021. Т. 27, № 4. С. 215-238. https://doi.org/10.21538/0134-4889-2021-27-4-215-238, ЕЭЫ: У^ИТЬ
7. Эйлер Л. Дифференциальное исчисление. Москва ; Ленинград : ГИТТЛ. 1949. 580 с.
8. Хромов А. П. О почленном интегрировании тригонометрического ряда Фурье и теореме Фейера -Лебега // Труды Математического центра имени Н. И. Лобачевского. Т. 66: Материалы XVI Международной Казанской школы-конференции (Казань, 22-27 августа 2023 г.). Казань : Казанский (Приволжский) федеральный ун-т, 2023. С. 261-262.
9. Натансон И. П. Теория функций вещественной переменной. Москва ; Ленинград : ГИТТЛ, 1957. 522 с.
10. Хромов А. П. О почленном интегрировании функциональных рядов // Современные методы теории краевых задач. Понтрягинские чтения - XXXIV : материалы международной Воронежской весенней математической школы, посвящённой 115-летию со дня рождения академика Л. С. Понтрягина (Воронеж, 3-9 мая 2023 г.). Воронеж : Изд. дом ВГУ, 2023. С. 424-425. ЕЭЫ: JJXOCG
11. Хромов А. П. Расходящиеся ряды и обобщенная смешанная задача для волнового уравнения простейшего вида // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2022. Т. 22, вып. 3. С. 322-331. https://doi.org/10.18500/ 1816-9791-2022-22-3-322-331, ЕЭЫ: РТЫРТЕ
12. Хромов А. П. Необходимые и достаточные условия существования классического решения смешанной задачи для однородного волнового уравнения в случае суммируемого потенциала // Дифференциальные уравнения. 2019. Т. 55, № 5. С. 717-731. https://doi.org/10.1134/ Э0374064119050121, ЕЭЫ: 2Б,ШБР
References
1. Steklov V. A. Osnovnye zadachi matematicheskoy fiziki [The bases problems of mathematical physics]. Moscow, Nauka, 1983. 432 p. (in Russian).
2. Krylov A. N. O nekotorykh differentsial'nykh uravneniyakh matematicheskoy fiziki, imeyushchikh prilozheniya v tekhnicheskikh voprosakh [On some differential equations of mathematical physics that have applications in technical matters]. Moscow, Leningrad, GITTL, 1950. 368 p. (in Russian).
3. Chernyatin V. A. Obosnovanie metoda Fur'e v smeshannoy zadache dlya uravneniy v chastnykh proizvodnykh [Substantiation of the Fourier method in a mixed problem for partial differential equations]. Moscow, Moscow University Press, 1991. 112 p. (in Russian).
4. Burlutskaya M. Sh., Khromov A. P. Resolvent approach in the Fourier method. Doklady Mathematics,
2014, vol. 90, iss. 2, pp. 545-548. https://doi.org/10.1134/S1064562414060076, EDN: UFVTOF
5. Burlutskaya M. Sh., Khromov A. P. The resolvent approach for the wave equation. Computational Mathematics and Mathematical Physics, 2015, vol. 55, iss. 2, pp. 227-239. https://doi.org/10. 1134/S0965542515020050, EDN: UFLLVV
6. Khromov A. P., Kornev V. V. Divergent series in the Fourier method for the wave equation. Trudy Instituta matematiki i mekhaniki UrO RAN [Proceedings of the Steklov Institute of Mathematics], 2021, vol. 27, iss.4, pp. 215-238 (in Russian). https://doi.org/10.21538/0134-4889-2021-27-4-215-238, EDN: YJLRTL
7. Euler L. Differentsial'noe ischislenie [Differential calculus]. Moscow, Leningrad, GITTL, 1949. 580 p. (in Russian).
8. Khromov A. P. On the slow integration of the trigonometric Fourier series and Fejer - Lebesgue theorem. Trudy Matematicheskogo tsentra imeni N. I. Lobachevskogo. Vol. 66: Proceedings of the XVI International Kazan School-conference "Theory of Functions, Its Applications and Related Issues" (Kazan, August 22-27, 2023). Kazan, Kazan (Volga region) Federal University Publ., 2023, pp. 261-262 (in Russian).
9. Natanson I. P. Teoriya funktsiy veshchestvennoy peremennoy [Theory of Functions of a Real Variable]. Moscow, Leningrad, GITTL, 1957. 522 p. (in Russian).
10. Khromov A. P. On the slow integration of functional series. Sovremennye metody teorii kraevykh zadach [Modern Methods of the Theory of Boundary Value Problems: Proceedings of the International Conference "Pontryaginsky Readings-XXXIV" (Voronezh, May 3-9, 2023)]. Voronezh, Voronezh State University Publ., 2023, pp. 424-425 (in Russian). EDN: JJXOCG
11. Khromov A. P. Divergent series and generalized mixed problem for a wave equation of the simplest type. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2022, vol. 22, iss. 3, pp. 322-331 (in Russian). https://doi.org/10.18500/1816-9791-2022-22-3-322-331, EDN: PTNPTE
12. Khromov A. P. Necessary and sufficient conditions for the existence of a classical solution of the mixed problem for the homogeneous wave equation with an integrable potential. Differential Equations, 2019, vol. 55, iss. 5, pp. 703-717. https://doi.org/10.1134/S0012266119050112, EDN: IMUUIG
Поступила в редакцию / Received 22.02.2024 Принята к публикации / Accepted 17.05.2024 Опубликована / Published 30.08.2024
