Научная статья на тему 'О классическом решении смешанной задачи для однородного волнового уравнения с закрепленными концами и нулевой начальной скоростью'

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

CC BY
92
19
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
метод Фурье / расходящиеся ряды / прием А. Н. Крылова / классическое решение / резольвента. / Fourier method / divergent series / Krylov method / classic solution / resolvent.

Аннотация научной статьи по математике, автор научной работы — Хромов Август Петрович

В статье даются необходимые и достаточные условия классического решения для однородного волнового уравнения с суммируемым потенциалом, закрепленными концами и нулевой начальной скоростью. Используя метод Фурье с приемом Крылова по улучшению скорости сходимости рядов, удается получить аналог формулы Даламбера, представимого в виде ряда, сходящегося с экспоненциальной скоростью. Результаты статьи являются существенным усилением аналогичных итогов, полученных нами в 2016 г. Предложенный новый метод, базирующийся на применении расходящихся рядов в понимании Эйлера, обладает большой экономичностью в использовании известных математических фактов. Тем самым открывается перспектива существенного продвижения в исследовании и других граничных задач для уравнений в частных производных.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

On Classic Solution of the Problem for a Homogeneous Wave Equation with Fixed End-Points and Zero Initial Velocity

The paper gives necessary and sufficient conditions of classic solution for a homogeneous wave equation with a summable potential, fixed end-point, and zero initial velocity. With the use of Fourier method and Krylov method of improving series rate convergence an analogue of d’Alembert formula is derived in the form of exponentially convergent series. The paper essentially supports and extends the results of our work carried out in 2016. The suggested new method, based on the use of divergent (in Euler’s sense) series, is very economical in using well-known mathematical facts. It opens a perspective of considerable advancement in studying other boundary problems for partial differential equations.

Текст научной работы на тему «О классическом решении смешанной задачи для однородного волнового уравнения с закрепленными концами и нулевой начальной скоростью»

Изв. С арат, ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2019. Т. 19, вып. 3 УДК 517.96:517.984

О классическом решении смешанной задачи для однородного волнового уравнения с закрепленными концами и нулевой начальной скоростью

А. П. Хромов

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

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

Ключевые слова: метод Фурье, расходящиеся ряды, прием А. Н. Крылова, классическое решение, резольвента.

Поступила в редакцию: 24.04.2019 / Принята: 04.06.2019 / Опубликована: 31.08.2019 Статья опубликована на условиях лицензии Creative Commons Attribution License (CC-BY4.0) DOI: https://doi.org/10.18500/1816-9791-2019-19-3-280-288

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

д2u(x,t) д2u(x,t) / ч / ч r i r

dt2 = dx2 - q(x)u(x,t), x G [0,1], t G [0, rc), (1)

u(0, t) = u(1,t) = 0, (2)

u(x, 0) = y(x), U(x, 0) = 0. (3)

Cчитаем, что q(x), y(x) комплекснозначны, причем q(x) G L[0,1]. Будут получены необходимые и достаточные условия для классического решения. Тем самым существенно усилены результаты из [1].

Классическим решением называется функция u(x,t), непрерывная и непрерывно дифференцируемая по x и t, причем ux(x,t) (ut(x,t)) абсолютно непрерывна по x (по t), удовлетворяющая почти всюду (1) и условиям (2) и (3). Тем самым необходимыми условиями существования такого решения являются следующие условия на y(x): y(x), у'(x) абсолютно непрерывны, причем у(0) = у(1) = 0. В [1] показано, что при дополнительном условии

Ly = - у'' (x) + q(x)y(x) G L0[0,1] (p > 1), (4)

эти условия являются достаточными для классического решения. Теперь мы убираем условие (4) и тем самым получаем необходимые и достаточные условия такого решения. Применяем метод Фурье. Традиционное его применение связано с дважды почленно дифференцированием формального решения, приводящим к завышенным требованиям гладкости на у (ж), которые не вытекают из самой сущности задачи (1)-(3). Мы, как ив [2], отказываемся от такого традиционного подхода, привлекая рекомендации А. Н. Крылова об ускорении сходимости рядов (см. [3, гл. VI]). В [2] В. А. Чернятин впервые успешно изучил задачу (1)-(3), в случае д(ж) вещественной и непрерывной, получил необходимые и достаточные условия существования классического решения задачи (1)-(3), когда уравнение (1) удовлетворяется всюду. Эти условия таковы: у(ж) е С2[0,1], у(0) = у(1) = у''(0) = у"(1) = 0. У нас теперь из-за условия д(ж) е Ь[0,1] уравнение (1) удовлетворяется почти всюду, что сильно усложняет исследование классического решения задачи (1)-(3). Далее мы, в отличие от [2], применяем резольвентный подход, связанный с методом Коши-Пуанкаре контурного интегрирования резольвенты оператора Штурма - Лиувилля по спектральному параметру, к которому приходим в задаче (1)-(3), когда используем метод Фурье. Он имеет большие преимущества по сравнению с методом из [2], так как теперь не требуются уточненные асимптотики собственных значений и собственных функций, и это сильно упрощает доказательства. Впервые такой подход был применен в [4,5] и в дальнейшем систематически использовался. Формальное решение по методу Фурье, как и в [4,5], берем в виде

1 Ч + е/

и(М) = - 2п

(R\ у) cos ptdX, (5)

2ni I '—' I

Vl=r П>П0Yn /

где Ra = (L — XE)-1 — резольвента оператора L: Ly = — y"(x) + q(x)y(x), y(0) = y(1) = 0, X — спектральный параметр, E — единичный оператор, X = p2, Rep > 0, Yn — образ в X — плоскости окружности jn={p | |p — nn| = 5}, 5 > 0 и достаточно мало, r > 0 достаточно велико и фиксировано, n0 — такой номер, что при n > n0 внутри Yn находится по одному собственному значению оператора L и все Yn при n > n0 находятся вне |X| = r.

В статье существенно используются расходящиеся ряды в понимании Эйлера (см. [6, с. 100-101]). Проводя формально обычные действия с такими рядами, как то: почленное умножение на константы, почленное сложение конечного числа рядов, разбиение ряда на сумму конечного числа рядов, замены отдельных рядов их суммами в случае сложения рядов, перестановки рядов и интегралов и т. п., мы в итоге получаем новые ряды или конечные выражения. Затем уже строго устанавливаем нужные нам свойства таких рядов или выражений и получаем ответы на интересующие нас вопросы. В итоге это сулит большие выгоды в выборе необходимых фактов для получения наших результатов и облегчаются сами доказательства, поскольку дело сводится к установлению справедливости отдельных формул, что является зачастую и не таким уж сложным делом. Наша статья подтверждает полезность этих действий. Отметим, что такая схема работы с расходящимися рядами намечена нами в [7].

1. Здесь будем проводить нестрогие преобразования (5), используя рекомендации А. Н. Крылова и расходящиеся ряды, причем при назначении сумм расходящихся рядов ориентируемся и на задачу, получаемую из (1)-(3), при замене уравнения (1)

/чдтрмдтикд

Изв. С арат, ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2019. Т. 19, вып. 3 на неоднородное уравнение

д2и(х,£) д2и(х,£) . ч .

—^ = ^^ - 9(®)«(®- *) + /^ (6)

В этом случае формальное решение (5) приобретает вид [7]: / \

Г ^ 81П р(* - Т) ¿т! ¿А,

/ ч 1

u(x, t) =--

f + E f [(rapt + í ra(f(•,t))

\|A|=r Jnj

P

где RA(f (-jT)) означает, что Ra применяется к f (x, t) по x. В этих нестрогих рассуждениях считаем, что y(x) и q(x) не выходят за рамки L[0,1], а f(x,t) из L[QT], где QT = [0,1] х [0,T] при любом T > 0. Итак, берем ряд (5). Представляем его в виде

u(x,t) = u01 (x,t) + u1 (x,t), (7)

где u01(x,t) есть (5) и Ra заменено на R°a = (L0 — AE)-1, L0 есть оператор L при q(x) = 0.

По теореме вычетов имеем

ж

u01 (x, t) = 2 У^ (y, sin ) sin nnx cos nnt, (8)

n=1

1

где (f, g) = f f (x)g(x) dx. Очевидно ряд (8) легко преобразуется к виду

0

U01 (x,t) = Е+ + Е-, (9)

ж ж

где Е± = Y1 (У, sin nn^) sin nn(x ± t). Ряд 2 (y, sin ) sin nnn есть ряд Фурье

n=1 n=1

функции y(x) G L[0,1] ив случае его сходимости имеет сумму y(n) при всех П G (-то, то), где y(n) 2-периодическая, нечетная и y(n) = y(n) при n G [0,1]. Поэтому в случае расходимости рядов (а в силу примера А. Н. Колмогорова такие случаи возможны) мы по определению будем считать, что сумма ряда (9) или (8) есть

uoi(x,t) = 1[y(x + t) + y(x - t)]. (10)

Правая часть (10) имеет смысл при любых x,t G (—то, то) х [0, то) и поэтому в данном случае u01 (x,t) из (10) будем обозначать а0(x,t). Так как а0(x,t) похожа на решение задачи (1)-(3) при q(x) = 0, то u1 (x,t) похожа на решение задачи:

d2u1(x,t) d2u1 (x,t) . . /ччч

—^^ = ^ — q(x)U1 (x, t) + f0(x, t), (11)

U1 (0, t) = U1(1,t) = 0, (12)

U1 (x, 0) = u1t(x, 0) = 0, (13)

где /0(ж,£) = —д(ж)а0(ж, £). Поэтому от ряда для и(ж,£) из (7) перейдем в силу (6) к формальному ряду для (11)—(13), т.е. к ряду вида

v + е/1/ ra (/о (-,Г drdA. (14)

V¡=r 1 / о Р

Представим теперь ряд (14) в виде

(ж, ¿) = и02(ж, ¿) + и2(ж, ¿),

где и02(ж,£) есть (14) и заменено на ^0. По теореме вычетов имеем

оо *

^ г

u02(x,¿) = 2^^ (/о(f,r),sin) — sinnnxsin— t), dr. (15)

J nn

n=l o

Используя формулу

x

/sin nnndn = —[1 — cos nnx], nn

получим, что u02(x,t) из (15) есть

То t x+t-т

U02 (x,¿) = ^ / (fo (f,T), sin nn<¿) / sin nnndn =

n= 0 x-t+т

t x+t-т ^ t x+t-т

= 2/ / E(fo (í'r)' sin nní )sin nnndn =\J dr J fo (n, т) dn,

0 x-t+т 1 0 x-t+т

где /0(n,т) нечетна и 2-периодична по n и /0(n, т) = /0(n, т), n £ [0,1]-

Рассуждаем как и выше. Функция u02(x,t) в силу (14) похожа на решение задачи (11)—(13), где вместо /0(x,t) теперь берется /1 (x,t) = — q(x)a1 (x,t) и

t x+t-т

a1 (x,t) = iy> ^ J f0 (П,т) dn,

0 x-t+т

и продолжаем этот процесс до бесконечности.

ТО

В итоге от ряда (5) приходим к ряду: A(x,t) = an(x, t), где a0(x,t) определена

n=0

выше,

t x+t-т

an (x,í) = iy dт J /п-1(п,т ) dn, n > 1

0 x-t+т

и fn(x,t) = -q(x)an(x,t).

Изв. С арат, ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2019. Т. 19, вып. 3

2. Приступаем к строгим рассуждениям. Рассматриваем задачу (1)-(3). Ранее отмечалось, что для классического решения необходимо считать, что у(х), у'(х) абсолютно непрерывны и у(0) = у(1) = 0. Теперь считаем, что у(х) удовлетворяет этим требованиям. Привлекаем ряд А(х, 4). Леммы 1-5 легко следуют из соответствующих фактов из [8] (см. также [9]).

Лемма 1. Пусть Т — произвольное положительное число, т — наименьшее натуральное число, такое что Т < т. Тогда

/М \ п—1 Т"-1 У а„(х, 4) ||с[ЧТ|< лЦ^ (п € N),

где М1 = || а1 (х,4) ||с[дТ|, М2 = (2т + 1) || д ||1 (|| • ||1 — норма в Ь[0,1]). Кроме того, М1 < СТ || у ||1 и постоянная Т не зависит от у(х). Здесь QT = [0,1] х [0,Т].

ж

Следствие 1. Ряд А1(х,4) = ^ «п(х,4) сходится абсолютно и равномерно в Qт

п=1

с экспоненциальной скоростью.

Лемма 2. Функция а0(х,4) непрерывна и непрерывно дифференцируема по х и 4 € (-то, то) х [0, то), ее производная а0ж(х, 4) (а'ш(х, 4)) абсолютно непрерывна по х (по Ь), удовлетворяет уравнению

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

д2 а0 (х,Ь) д2 а0(х,Ь) дЬ2 = дх2

почти всюду и выполняются условия

а0(0,4) = а0(1, Ь) = 0, а0(х, 0) = у(х), а'ш(х, 0) = 0.

Следствие 2. При х € [0,1] функция а0(х,4) является классическим решением задачи (1)-(3) при д(х) = 0, причем € L[Qт] при любом Т > 0.

Лемма 3. Функция а1 (х,4) непрерывно дифференцируема по х и причем

д«1(х,4) , . , . да2(х,4) , ч

-д^ = ^п (х,4) + ^21 (х,4), —д^ = (х,4) - ^21 (х,4),

ж+£ ж

где (х,4) = 2 / /о(С,х + 4 - С) С ^(х,*) = 2 / /о(С, С - х + 4) С /о(х,4) =

ж ж—£

= — д(х)а0(х,4) (здесь и в дальнейшем д(х) четное, 2-периодическое продолжение на всю ось функции д(х) из задачи (1)-(3), 711 (х,4) и 721 (х,4) непрерывны по х и 4).

Лемма 4. При фиксированном х функции 711 (х,4) и 721 (х,4) абсолютно непрерывны по и почти при всех 4 е [0, то] справедливы формулы

2

д7ц (х,4)

Ы

д^1 (х,4)

д4

д(х + ¿)ао(х + 4,0) + / д(С)а0,(С, х + 4 - С) ^С

д(х - 4)ао (х - 4, 0) + / д(СК (С, С - х + 4) ^С

Jж.-f.

причем правые части конечны, если конечны

д _ , д ^ дё

при ё = х + Ь, х — Ь.

д

д(т) ¿т, - У )1 (16)

Лемма 5. При фиксированном Ь функции 7П (х,Ь) и 721(х,Ь) абсолютно непрерывны по х, и почти при всех х е (—то, то) справедливы формулы

2 д7ц (х,Ь) г 'х+

2

дх д«21 (х,Ь)

д(х + Ь)ао(х + Ь, 0) — д(х)ао(х, Ь) + j д(ё)а'ш(ё, х + Ь — ё) ¿ё

РХ

д(х)ао(х, Ь) — д(х — Ь)ао(х — Ь, 0) — д(ёк,(ё, ё — х + Ь) ¿ё

А-*

дх

причем правые части конечны, если конечны (16) при ё = х, х + Ь, х — Ь. С помощью лемм 3-5 легко получается

Теорема 1. Функция а1(х, Ь) непрерывна и непрерывно дифференцируема по х и Ь, ее производные а'1х(х,Ь) (а'14(х, Ь)) абсолютно непрерывны по х (Ь), выполняется уравнение

д2а1 (х,Ь) д2а1 (х,Ь) , ч , /<г,ч

-дЬ^ = —д(х)ао (17)

и условия (2), (3) при у(х) = 0, причем (17) имеет место при всех х и Ь, для которых конечны (16) при ё = х, х + Ь, х — Ь. При этом д2е ]

По индукции аналогично теореме 1 получается

Теорема 2. Функция ап(х,Ь) при п > 2 непрерывна и непрерывно дифференцируема по х и Ь, ее производные аПх(х,Ь) (а^(х,Ь)) абсолютно непрерывны по х (по Ь), выполняются (2), (3) при у(х) = 0 и почти при всех х, Ь выполняется (17), где а1(х, Ь) заменяется на ап(х,Ь), ао(х,Ь) на ап-1 (х,Ь), причем (17) выполняется при тех же х, Ь, что и в теореме 1. При этом д е ].

Далее, на основании леммы 1 и теорем 2 и 3 получается

Лемма 6. Функция А(х,Ь) непрерывна и непрерывно дифференцируема по х, Ь е (—то, то) х [0, то), причем имеют место формулы:

дА(х,Ь) дао(х,Ь) 1 [х+* 1

ух+г 1 ух

д (ё )А(ё, х + ь — ё) ¿ё —1 д(ё М(ё. ё — * + ь) ¿ё,

,/х 2 х-,

дЬ " дЬ 2 ^ • - ^2 дА(х,Ь) дао(х,Ь) 1 ............_ 1

1 /х+( 1 /х 2 д(ё )А(ё, х + ь — ё) ¿ё + 2 д (ё м(ё, ё — * + ь) ¿ё.

дх " дх 2 Л " '"^2, х-,

Приступаем к доказательству основного результата.

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

/чдтрмдтикд

Изв. С арат, ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2019. Т. 19, вып. 3 Доказательство. Достаточно доказать лишь достаточность. Обозначим В (3,0= Л ?(С )А(£,х + 4 - £) С В 0М)= Л в (с )А(£,£ - х + () ¿£.

л X л X—

Аналогично лемме 4 получаем, что Вх(х,4), В2(х,4) при фиксированном х абсолютно непрерывны по 4 и

дВ (х,4) ^

ух+£

= ?(х + 4)А(х + 4,0) + в(£(£, х + 4 - £)

Л X

д4

дВ(М) = ^(х - - 4, о) + ^ (£,£ - х + 4) (19)

(18)

причем правые части (18) и (19) конечны, если конечны (16) при £ = х + 4, х - 4.

Аналогично лемме 5 получаем, что В(х, 4) и В2(х, 4) при фиксированном 4 абсолютно непрерывны по х и

дВ (х,4) ' х+

/>х+£

дх = в(х + 4)А(х + 0) - в(х)А(х,4) + J в(£)А(£,х + 4 - £) ¿£,

дВ= 9(х)А(х, 4) - 9(х - 4)А(х - 4,0)Л' в(£)А(£, £ - х + 4) ¿£,

¿х-г

(20) (21)

дх

причем правые части (20) и (21) конечны, если конечны (16) при £ = х, х - 4, х + 4. Так как

^ Мхх -1 - 2 В2 (,,). ^ -1 *<«•»+2=2 (..о.

дА(х,4)

то —-- при фиксированном х абсолютно непрерывна по 4 и почти всюду по 4

д4

справедлива формула

д2 А(х,4) = д2 а0(х,4) 1 дВх(х,4) 1 дВ2(х,4) (22)

д^ = д^ 2 д4 2 д4 ^ ( )

причем она имеет место, если конечны (16) при £ = х + 4, х - 4 и конечны у"(х + 4), (х - 4).

формула

д2 А(х,4) д2 ао (х,4) 1 дВ (х,4) 1 дВ2 (х,4)

Наконец, дА(х'г) при фиксированном 4 абсолютно непрерывны по х и имеет место

_ ______| ^ ) (23)

дх2 дх2 2 дх 2 дх

Из (22) и (23) получаем, что А(х,4) удовлетворяет уравнению (1) почти всюду. Начальные и граничные условия легко проверяются. Так как д ^^ Е ], то получаем классическое решение в классе единственности. □

Отметим еще, что ряд А(х,4) быстросходящийся (экспоненциальная сходимость), в том числе и в крайнем случае в(х) Е Л[0,1]. Достоинство его в том, что он является явным выражением как классического, так и обобщенного решения задачи (1)-(3). Мы получаем теперь результаты из [1,7-9] в случае р = 1, не используя ни пример А. Н. Колмогорова, ни теоремы Карлесона - Ханта и Хаусдорфа - Юнга. Доказательства являются элементарными, но весьма непростыми и в них используются приемы, схожие с вышеуказанными для расходящихся рядов.

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

1. Хромов А. П. О сходимости формального решения по методу Фурье волнового уравнения с суммируемым потенциалом // Журн. вычисл. матем. и матем. физики. 2016. Т. 56, № 10. С. 1795-1805. 001: https://doi.org/10.7868/S0044466916100112

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

3. Крылов А. Н. О некоторых дифференциальных уравнениях математической физики, имеющих приложения в технических вопросах. М. ; Л. : ГИТТЛ, 1950. 368 с.

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

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

6. Эйлер Л. Дифференциальное исчисление. М. ; Л. : ГИТТЛ, 1949. 280 с.

7. Хромов А. П. Расходящиеся ряды и функциональные уравнения, связанные с аналогами геометрической прогрессии // Материалы. междунар. конф. «Понтрягинские чтения -XXX». Воронеж : ИД ВГУ, 2019. С. 291-300.

8. Корнев В. В., Хромов А. П. Классическое и обобщенные решения смешанной задачи для неоднородного волнового уравнения // Журн. вычисл. матем. и матем. физики. 2019. Т. 59, № 2. С. 286-300. 001: https://doi.org/10.1134/S0044466919020091

9. Хромов А. П. Необходимые и достаточные условия существования классического решения смешанной задачи для однородного волнового уравнения в случае суммируемого потенциала // Дифференциальные уравнения. 2019. Т. 55, № 5. С. 717731. 001: https://doi.org/10.1134/S0374064119050121

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

Хромов А. П. О классическом решении смешанной задачи для однородного волнового уравнения с закрепленными концами и нулевой начальной скоростью // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2019. Т. 19, вып. 3. С. 280-288. 001: https://doi.org/10.18500/1816-9791-2019-19-3-280-288

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

On Classic Solution of the Problem for a Homogeneous Wave Equation with Fixed End-Points and Zero Initial Velocity

A. P. Khromov

Avgust P. Khromov, https://orcid.org/0000-0002-2454-8009, Saratov State University, 83 As-trakhanskaya St., Saratov 410012, Russia, KhromovAP@info.sgu.ru

The paper gives necessary and sufficient conditions of classic solution for a homogeneous wave equation with a summable potential, fixed end-point, and zero initial velocity. With the use of Fourier method and Krylov method of improving series rate convergence an analogue of d'Alembert formula is derived in the form of exponentially convergent series. The paper essentially supports and extends the results of our work carried out in 2016. The suggested new method, based on the use of divergent (in Euler's sense) series, is very economical in using well-known mathematical facts. It opens a perspective of considerable advancement in studying other boundary problems for partial differential equations.

Изв. С арат, ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2019. Т. 19, вып. 3

Keywords: Fourier method, divergent series, Krylov method, classic solution, resolvent.

Received: 24.04.2019 / Accepted: 04.06.2019 / Published: 31.08.2019

This is an open access article distributed under the terms of Creative Commons Attribution

License (CC-BY 4.0).

References

1. Khromov A. P. On the convergence of the formal Fourier solution of the wave equation with a summable potential. Comput. Math. and Math. Phys., 2016, vol. 56, iss. 10, pp. 1778-1792. DOI: https://doi.org/10.1134/S0965542516100110

2. 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).

3. Krylov A. N. O nekotorykh differentsial'nykh uravneniyakh matematicheskoj fiziki, imeyushchikh prilozheniya v tekhnicheskikh voprosakh [On Some Differential Equations of Mathematical Physics Having Applications in Engineering]. Moscow, Leningrad, GIT-TL, 1950. 368 p. (in Russian).

4. Burlutskaya M. S., Khromov A. P. Rezolventny approach in the Fourier method. Dokl. Math., 2014, vol. 90, iss. 2, pp. 545-548. DOI: https://doi.org/10.1134/S1064562414060076

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

6. Euler L. Differencial'noe ischislenie [Differential calculus]. Moscow, Leningrad, GITTL, 1949. 280 p. (in Russian).

7. Khromov A. P. Divergent series and functional equations related to analogues of a geometric progression. In: Proc. Intern. Conf. "Pontryaginskie chteniya - XXX". Voronezh, Izdatel'skij dom VGU, 2019, pp. 291-300 (in Russian).

8. Kornev V. V., Khromov A. P. Classical and Generalized Solutions of a Mixed Problem for a Nonhomogeneous Wave Equation. Comput. Math. and Math. Phys., 2019, vol. 59, iss. 2, pp. 275-289. DOI: https://doi.org/10.1134/S096554251902009X

9. 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. DOI: https://doi.org/10.1134/S0012266119050112

Cite this article as:

Khromov A. P. On Classic Solution of the Problem for a Homogeneous Wave Equation with Fixed End-Points and Zero Initial Velocity. Izv. Saratov Univ. (N. S.), Ser. Math. Mech. Inform., 2019, vol. 19, iss. 3, pp. 280-288 (in Russian). DOI: https://doi.org/10.18500/1816-9791-2019-19-3-280-288

i Надоели баннеры? Вы всегда можете отключить рекламу.