Научная статья на тему 'ЛОКАЛЬНЫЕ КЛАССИЧЕСКИЕ РЕШЕНИЯ ОБЩЕГО НЕОДНОРОДНОГО ВОЛНОВОГО УРАВНЕНИЯ В КРИВОЛИНЕЙНОЙ ПЕРВОЙ ЧЕТВЕРТИ ПЛОСКОСТИ'

ЛОКАЛЬНЫЕ КЛАССИЧЕСКИЕ РЕШЕНИЯ ОБЩЕГО НЕОДНОРОДНОГО ВОЛНОВОГО УРАВНЕНИЯ В КРИВОЛИНЕЙНОЙ ПЕРВОЙ ЧЕТВЕРТИ ПЛОСКОСТИ Текст научной статьи по специальности «Математика»

CC BY
14
5
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
КРИВОЛИНЕЙНАЯ ЧЕТВЕРТЬ ПЛОСКОСТИ / МЕТОД КОРРЕКТИРОВКИ ПРОБНЫХ РЕШЕНИЙ / ЛОКАЛЬНОЕ КЛАССИЧЕСКОЕ РЕШЕНИЕ / ОБЩИЙ ИНТЕГРАЛ УРАВНЕНИЯ

Аннотация научной статьи по математике, автор научной работы — Ломовцев Фёдор Егорович

Построено множество новых локальных классических решений одномерного неоднородного волнового уравнения с необходимой (минимальной достаточной) гладкостью его правой части в криволинейной первой четверти плоскости. Они выведены предложенным ранее автором методом корректировки пробных обобщенных решений. В криволинейной первой четверти плоскости вычислены общие интегралы (общие решения) неоднородного волнового уравнения во множестве классических решений. С помощью каждого из построенных локальных решений уравнения вычисление общего интеграла неоднородного волнового уравнения в криволинейной первой четверти плоскости сводится к общему интегралу однородного волнового уравнения.

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

LOCAL CLASSICAL SOLUTIONS TO THE GENERAL INHOMOGENEOUS WAVE EQUATION IN A CURVILINEAR FIRST QUARTER OF THE PLANE

Many new local classical solutions have been constructed to one-dimensional inhomogeneous wave equation with the necessary (minimum sufficient) smoothness of its right-hand side in the curvilinear first quarter of the plane. They are derived by the correction method of test generalized solutions proposed earlier by the author. In the curvilinear first quarter of the plane, the general integrals (general solutions) to the inhomogeneous wave equation are calculated in the set of classical solutions. Using each of the constructed local equation solutions, the calculation of the general integral to the inhomogeneous wave equation in the curvilinear first quarter of the plane reduces to the general integral of the homogeneous wave equation.

Текст научной работы на тему «ЛОКАЛЬНЫЕ КЛАССИЧЕСКИЕ РЕШЕНИЯ ОБЩЕГО НЕОДНОРОДНОГО ВОЛНОВОГО УРАВНЕНИЯ В КРИВОЛИНЕЙНОЙ ПЕРВОЙ ЧЕТВЕРТИ ПЛОСКОСТИ»

Прикладная математика & Физика, 2023, том 55, № 2. С. 132-142. Applied Mathematics & Physics, 2023, Volume 55, No 2. P. 132-142.

УДК 517.956.3 DOI 10.52575/2687-0959-2023-55-2-132-142

MSC 58J45

оригинальное исследование

Локальные классические решения общего неоднородного волнового уравнения в криволинейной первой четверти плоскости

Ф. Е. Ломовцев

(Статья представлена членом редакционной коллегии А. П. Солдатовым)

Белорусский государственный университет, Минск, 220030, Республика Беларусь

E-mail: [email protected]

Аннотация. Построено множество новых локальных классических решений одномерного неоднородного волнового уравнения с необходимой (минимальной достаточной) гладкостью его правой части в криволинейной первой четверти плоскости. Они выведены предложенным ранее автором методом корректировки пробных обобщенных решений. В криволинейной первой четверти плоскости вычислены общие интегралы (общие решения) неоднородного волнового уравнения во множестве классических решений. С помощью каждого из построенных локальных решений уравнения вычисление общего интеграла неоднородного волнового уравнения в криволинейной первой четверти плоскости сводится к общему интегралу однородного волнового уравнения.

Ключевые слова: криволинейная четверть плоскости, метод корректировки пробных решений, локальное классическое решение, общий интеграл уравнения

Благодарности: Работа выполнена в рамках программы ГПНИ № 11, «Конвергенция-2025», подпрограмма «Математические модели и методы», НИР 1.2.02.3

Для цитирования: Ломовцев Ф. Е. 2023. Локальные классические решения общего неоднородного волнового уравнения в криволинейной первой четверти плоскостии. Прикладная математика & Физика, 55(2): 132-142. D0I 10.52575/2687-0959-2023-55-2-132-142

Original Research

Local Classical Solutions to the General Inhomogeneous Wave Equation in a Curvilinear First Quarter of the Plane

Fedor Lomovtsev

(Article submitted by a member of the editorial board A. P. Soldatov)

Belarusian State University, Minsk, 220030, Republic of Belarus

E-mail: [email protected]

Abstract. Many new local classical solutions have been constructed to one-dimensional inhomogeneous wave equation with the necessary (minimum sufficient) smoothness of its right-hand side in the curvilinear first quarter of the plane. They are derived by the correction method of test generalized solutions proposed earlier by the author. In the curvilinear first quarter of the plane, the general integrals (general solutions) to the inhomogeneous wave equation are calculated in the set of classical solutions. Using each of the constructed local equation solutions, the calculation of the general integral to the inhomogeneous wave equation in the curvilinear first quarter of the plane reduces to the general integral of the homogeneous wave equation. Keywords: Curvilinear Quarter of the Plane, Method for Adjusting Trial Solutions, Local Classical Solution, General Integral of the Equation

Acknowledgements: The work was carried out within the framework of the SPNI program No. 11, "Convergence-2025 subprogram "Mathematical Models and Methods", R&D 1.2.02.3

For citation: Lomovtsev Fedor. 2023. Local classical solutions to the general inhomogeneous wave equation in a curvilinear first quarter of the plane. Applied Mathematics & Physics, 55(2): 132-142. DOI 10.52575/2687-0959-2023-55-2-132-142

Введение. Для одномерного неоднородного волнового уравнения в криволинейной первой четверти плоскости известны его локальные классические решения только двух видов из [3], [7]. Эти решения выведены обобщением метода корректировки, предложенного автором для прямолинейной первой четверти плоскости в [6], на криволинейную первую четверть плоскости в [3] (см. замечание 1). В настоящей

работе этим обобщением метода корректировки получены новые множество локальных классических решений и множество общих интегралов классических решений неоднородного волнового уравнения в криволинейной первой четверти плоскости (см. замечание 3). Более того, так же, как в [3], для этих классических решений найдены необходимые (минимальные достаточные) требования гладкости на правую часть волнового уравнения. Благодаря этим классическим решениям легко записываются общие интегралы (множества всех классических решений) неоднородного волнового уравнения в криволинейной четверти плоскости. В будущем метод вспомогательных смешанных задач для волнового уравнения на полупрямой [5] позволит из [8, 16] выводить классические решения и критерии однозначной и устойчивой везде разрешимости смешанных задач для волновых уравнений не только в прямолинейных, так же, как в [15, 9], но и в криволинейных областях. В мире нет других работ с явными формулами решений смешанных задач в криволинейных областях.

Методами спектрального анализа изучена и решена смешанная задача для уравнения колебаний балки, один конец которой свободен, а другой заделан, т. е. для консольной балки в статье [10]. В ней собственные значения - корни трансцендентного уравнения и собственные функции - ортогональная и полная система функций в пространстве Лебега. Её решением служит ряд Фурье в классе регулярных решений уравнения колебаний балки. В работе [2] секвенциальным из [12] и аксиоматическим из [13] методами А. П. Хромова получено обобщенное решение в виде быстро сходящегося ряда Фурье смешанной задачи для телеграфного уравнения с потенциалом х, ^ при нелокальном граничном условии со значением решения во внутренней точке отрезка. Эти два метода обобщают метод разделения переменных (метод Фурье) путем использования резольвентного метода, идеи А. Н. Крылова об ускорении сходимости рядов Фурье и идеи Л. Эйлера о расходящихся рядах. В первом методе обобщенным решением смешанной задачи является предел классических решений последовательности смешанных задач, а в другом методе вместо классических решений используется дополнительная система аксиом. Статья [14] посвящена построению методом характеристик классического решения смешанной задачи для однородного нестрого гиперболического уравнения четвертого порядка, представляющего четырехкратную композицию одного и того же оператора первого порядка с постоянными коэффициентами и четырехкратной характеристикой. Её особенность ещё состоит в том, что граничные условия задаются не на всей боковой границе. Доказана теорема существования единственного классического решения при достаточных требованиях гладкости и условиях согласования граничных условий с начальными условиями и уравнением. Известно: метод характеристик (общих интегралов) применим и к смешанным задачам с неразделяющимися переменными.

1. Постановка задачи корректировки. Предварительные понятия. В криволинейной первой четверти плоскости = {]а(^, +с[х]к(х), +с[: I > 0, х > 0} ищутся локальные классические решения уравнения

и„ (х, Ь) + (аг - аг)Щх(х, Ь) - агй2ихх(х, Ь) = /(х, Ь), (х, Ь) е вс, (1)

где нижними индексами функции и обозначены вторые частные производные, а1 > 0, а2 > 0 и I = к(х), х = а(0 - заданные функции криволинейных осей координат первой четверти плоскости. Заменой независимых переменных х и I всегда можно добиться того, чтобы к(0) = а(0) = 0, т. е. эти оси пересекались в начале координат. Криволинейная четверть Сс может содержать точки со значениями х < 0 или < 0.

Пусть Ск (О) - множество всех раз непрерывно дифференцируемых функций на подмножестве

о с а2, а =] - с, +с[, и с 0 ( о) = с (О).

Определение 1. Функция и = и(х, 0 называется классическим решением уравнения (1) на множестве О с Сс = {]а(1), +с[х]к(х), +с[: t > 0, х > 0}, если она и е С2(О) и удовлетворяет этому уравнению для всех (х, 0 е О. __

Для уравнения (1) в каждой точке (х, ^ е требуется найти локальные классические решения Р = Р(х, ^ с минимальной гладкостью правой части / = /(х, £). Если существует некоторое классическое решение и е С2(вС неоднородного уравнения (1), то его правая часть непрерывна / е С(Ос). Если же функции Р(х, ^ не дважды непрерывно дифференцируемы, то проводим их корректировку обобщёнными решениями £ С2 (Сс) однородного уравнения (1) так, чтобы функции Г1 (х, Ь) = х, Ь) - Р0 (х, Ь) стали дважды непрерывно дифференцируемыми на Сс. Корректировка проводится с помощью корректирующей задачи Гурса, в которой используются функции XI(х) = х + (-1)'а; к(х), о";(0 = а^ + (-1)'и^), I = 1, 2, где Хг(0) = 01(0) = 0, I = 1, 2. Если криволинейные оси и их производные

к(х), а (Ь) е С2 [0, +с[, - — < к'(х) < — ,х > 0, - а2 < е'({) < а1,г > 0,1 = 1, 2, (2)

а2 аг

то существуют их дважды непрерывно дифференцируемые обратные функции х-1, ' = 1, 2. Действительно, из неравенств в (2) вытекает их строгое возрастание х'(х) = 1 + (-1)' к'(х) > 0, х > 0, а'^) = а; + (-1)га'(^ > 0, I > 0, 1= 1, 2, а из гладкости осей в (2) - дважды непрерывная дифференциру-емость их обратных.

Если оси к(х) < х/а1, х > 0, а(х) < а\I, £ > 0, то криволинейная первая четверть плоскости Сс делится характеристикой х = а\£ на два непустые множества в- = {(х, ь) е : х > а^ > а\к(х), х > 0} и°+ = {(х, 0 еёсо : а(0 < х < а1г, £ > 0}.

2. Корректирующая задача Гурса. Роль пробных локальных обобщенных решений уравнения (1) играют функции

I х+аг (I-т)

Р(0)(х, 0 = —1— [ [ /(а( т) + Iв - а(г)|, т)й$с1т (3)

аг + а.2 J J

^0 х-а\ ({ -т)

из [3]. Интервалы изменения параметра будут указаны в теоремах 1 и 3. Можно показать, что если / е С1 ((Зек,), то функции Р(0) е С2((3^,) и удовлетворяют уравнению (1) с правой частью/(а^) + 1х-а(^|, О на(°с». _

Замечание 1. В прямолинейной первой четверти плоскости осями координат являются прямые I = к(х) = 0,х = а(^ = 0. Согласно учебнику Тихонова А. Н., Самарского А. А. [11] (Раздел 9. Интегральные уравнения колебаний, параграф 2, глава II) на стр. 83 последнее слагаемое решения (31) первой смешанной задачи при > в прямолинейной первой четверти плоскости имеет вид нашего интеграла (3) при а1 = а2 = а, ^ = 0 и а(т) = 0 от /(в, т), но с модулем нижнего предела интегрирования 1х - а(£ - г)| вместо модуля ^ под интегралом в /(|х|, т). Это последнее слагаемое является лишь непрерывным кусочно-дифференцируемым (обобщённым) решением простейшего уравнения колебаний струны, так как даже для более гладких правых частей, чем f е С1 (Сс), оно имеет разрывные вторые частные производные на характеристике х = аI. Поэтому в методе корректировки [6] автор перенес модуль с нижнего предела интегрирования под интеграл на координаты точек струны правой части (| |, ) уравнения. Важно отметить, что в статьях [3], [6] доказано, что функция (3) при а1 ф а2 не является классическим решением уравнения (1) с зависящей отх и Г правой частью / на первой четверти Сс и, следовательно, требует корректировки соответствующими обобщенными решениями до указанных классических решений. Более того, в этих статьях выводится минимальная (необходимая) гладкость правой части / уравнения (1) на Сс.

Только для упрощения изложения мы продолжаем правую часть f е С((°с) четно по х относительно оси х = а(^ с первой криволинейной четверти сС = (^ на вторую криволинейную четверть плоскости вС. В результате имеем непрерывную в криволинейной снизу верхней полуплоскости 0с = {(х, ^ е К2 :

г > к(х), х е К} функцию/(х, ь) = /(а( 1) + 1х-а(^1, ь), т. е./(х, ь) = /(х, ь) навС и/(х, ь) = /(2а(^-х, Ь)

на ОСс). Для внутренних точек М(х, 1) е (5+ строим локальные классические решения уравнения (1) с минимальной гладкостью на /, дополнительной к / е С((°а>).

Теорема 1. Пусть к(х) < х/а1, х > 0, а(^ < а1t, £ > 0, верны свойства (2),

3 £0 > 0, к(х) = 0 V х е [0, £0], а(0 = 0 V ? е [0, £0]. (4)

Тогда уравнение (1) на множестве в+ имеет локальные классические решения:

£ х+а2 (^-г)

F(0)(x t) = 1 (i)( ai + а2

J J f(s, т) dsdт+

'to q (ait—x )-a2T+(ai+a2 )to t q (ait—x)—a2T+(ai+a2 )to

J J f( s, t) dsdr

(5)

, (x, t) e G+,

+

t (q)(x )+to x —ai (t —t)

где t(q)(x) = (q + i)(ait —x)/(ai + a2) и q > —i, в которых t0 принимает значения

t0 e [ max к( s), t*[Wx > 0, t0 e] к( хъ), t*]Wx< 0, (6)

X2 <S <X3

параметры x2 = (ait — x))), x3 = x-i(x + a21) и t* = (x + a21)/(ai + a2).

Доказательство. Можем предполагать существование некоторого классического решения и(0) e С2(Gca) уравнения (1) на Gca также, как в [3, 6, 7]. Например, выше сказано, что для f e Сi(Ga>) функции F(0)(x, t) e С2(Gee) удовлетворяют уравнению (1) на Go^ Любая внутренняя точка (х(0), t(0)) e G+ находится строго внутри различных параллелограммов G0 с G+, сторонами которых служат отрезки характеристик

х — ai t = Ci, х + a2t = С2, WCi, С2 e R =] — o, +o[. (7)

В этих параллелограммах G0 уравнение (1) линейной невырожденной заменой

% = х + а21, г] = х — ai t (8)

с невырожденным якобианом J, = —(а, + а2) ф 0 приводится к каноническому виду

-(а, + а2)2щ, (£ ц) = f( £ Ч) = f( , ), (£ ц)еСо, (9)

V а\ + а2 а, + а2/

в различных прямоугольниках G0 = {(£ rj) : ¿¡0 < ¿¡ < £, r]0 < r¡ < r¡\}. Ввиду невырожденности линейной замены (8) из непрерывности функции f е С(Ge) следует непрерывность функции f е С(Ge) на образе G» = {(£ г])^ : £, > Х22((ai£, + й2Г])/(ai + й2)), r¡ > —а,((l; — r¡)/(ai + (12)), —(а,/(12)% < r¡ < %} четверти плоскости Cíe». Отсюда заключаем, что уравнение (9) на (5+ имеет классическое решение

й(0) (£ Ч) = и(0) f ^ÜM, 1—JL) е С2(G+). (10)

V а, + а2 а, + а2'

Для любой функции / е С(Ge) существует последовательность функций fn е С,(Ge), равномерно сходящаяся к f на каждом компакте G0 при п ^ <х>. В различных прямоугольниках (30 методом характеристик решаем задачу Гурса

-(а, + а2)2(йп)?ч(£ ц) = fn(£ п), (£ ц)е5о, (11)

йп (£, r¡) =й (0)( ¿¡о, rj), ц е [ щ, щ ], йп (£ щ) = й (0)( £ щ), £е [ £, &], п = ,, 2,... (12)

Общие интегралы уравнений (11) - это непрерывно дифференцируемые функции

йп(£ п) = д(Ю + h(r¡) + Fn ° (£ Tj), п = ,, 2,..., (13)

где д, h - любые непрерывно дифференцируемые функции своих аргументов £ t¡ и функции F^ получаются из функции F^0 вида (3) с подынтегральными функциями fn( а( т) + |s — а(г)|, т) вместо f(а(т) +1s — a(г)|, т) в результате замены (8). Выше говорилось, что для fn е С,(G») решения Fе С2(G+) являются классическими и, следовательно, такие же решения F^ е С2(G+) уравнения (11).

Подставив общие интегралы (13) в согласованные условия Гурса (12), в силу й(0 е С2(G»), равенства (10), линейности и невырожденности замены (8) находим её единственные классические решения из G0

йп(£ г,) = й(0 (£ по) + й(0 (£, г,) — й(0 (£, щ) — —FÍ0) (£ щ) + FÍ0) (£, 40) + FÍ0) (£ r¡) — FÍ0) (fr, ri), п = 2,... 14

С2 (Go):

Определение 2. Задача Гурса (11), (12) называется корректирующей краевой задачей обобщенных решений уравнения (1) для минимальной гладкости его правой части f, а функции F(0) вида (3) - пробными.

Тогда функции vn(rj) = ü(0) (¿¡, rj) - ün(¿¡, Т]), как разность классических решений, являются классическими решениями задачи Гурса:

-(аг + а2)2(vn)?ч(£ ц) = f(£ ц) - fn(£ ц), (£ rj) е 50, (15)

vn (£,, г]) = 0, т] е [ щ, щ], 6„ (£ щ) = 0, % е [ £, п = 1, 2,... (16)

Умножаем уравнение (15) на сумму первых частных производных (ün+ (ün, интегрируем результат по области ] £, тг [х] т]0, т2 [ с помощью однородных условий Гурса (16), применяем элементарные оценки, берем супремум по (тг, т2) е [i;0, £] х [щ, г]г] и также, как в [1, неравенство (2.5), стр.1020], выводим априорную оценку

sup [ (|(Ü„){(£ Т,)\2 + \vn(£ т,)12)di+

Цо<ч<m J х '

&

(17)

41

+ sup [ (|(дп)ч(£Т,)\2 + \ön(£щ)\2)dщ< Со ff fn(£n)-f(£T,)2didT,,

Zo<£ <tiJ v ' JJ

4<0 Go

где постоянная c0 > 0 не зависит от ün, ¡¡, Tj и п = 1, 2,...

Поскольку в (17) правая часть сходится к нулю при п ^ <х, то левая часть тоже сходится к нулю при п ^ и, следовательно, в силу известных непрерывных вложений пространств Соболева: W^(£, £) с С[£, ii], W1 (rj0, rjг) с С[т]0, г)г] последовательность vn равномерно сходится к нулю на G0 при п ^ ж.

Последнее означает равномерную сходимость йп кй на прямоугольниках при п ^ с. Поэтому из решений (14) предельным переходом при п ^ с получаем тождество

й(0) (I п) = й(0) (I щ) + й(0) (& и) - й(0) (& Щ)-

-¥(0) (£ щ) + 0(0 (щ) + 0(0) (I г,) - 0(0 (и), (IЧ) е 50,

где функции Р(0)(¿¡, у) = Р(0) ((ац£, + а2т])/(ац + а2), ( ¿¡- т])/(ац + а2)) получены из функций (3) заменой (8). Слагаемые й(0) (¿;, г]0) и й(0) (¿¡0, т]) дважды непрерывно дифференцируемы соответственно по £ и т], так как й(0)еС2().

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

1. Пусть у точки М(х, ^ е С+ координата х > 0 (рис. 1).

Рис. 1. Область интегрирования в на G+ при х > 0 Fig. 1. Domain of integration in Ff0) on G+ for x > 0

Для корректировки пробных решений (3) в тождестве (18) полагаем г)0 = % — (ai + а2)to, ¡¡о = — qЛ + (+ а2)t0, q e] — o, +o[, и получаем для уравнения (9) скорректированные классические решения

Ц0)( I ч) = G(0\£ ч)— G(0)( to, ч) = a~+i Ц f( I Л) d^eС2 (Go) (19)

MLQiQ

в трапеции MLGt.G с вершинами М(г/), L( — qr] + (Ch + а2)to, rj), Q^ — qr] + (Ch + a2)to, —qrj), G((¿h + a2)to) (рис. 2).

Рис. 2. Область интегрирования в f1o°i на G+ при х > o Fig. 2. Domain of integration in Ffo) on G+ for x > o

Здесь значения д выбираем такими, чтобы для каждого р кривая 12 уравнения V = р - (а1 + а2)а-1 (р) находилась слева от прямой Ъ()1 уравнения V = -цг] + (а1 + а2)т. е. как решения неравенства

р - (а1 + а.2)а-1 (р) < -цг] + (а.1 + 02)к, р е [г], -01 ((20) где г] = х - а1t < 0 в (5+. Если г] ф 0, то отсюда находим решения этого неравенства

р - (а.1 + а.2)а-1 (р) - (с^ + 02)к п + (а1 + 02)^ - (а.1 + 02)^

а > - > -= -1,

- -

потому что функция а-1 строго возрастает по предположениям теоремы 1. Если г] = 0, то неравенство (20) справедливо для всех указанных в нем р е [0, -а1 (¿о)].

Рисунки 1 и 2 нами взяты из статьи [3], в которой указаны координаты вспомогательной точки р из рисунка 2. В двойном интеграле (19) делаем обратную замену переменных к (8), полученный двойной интеграл от /(х, ь) по трапеции MLQ1Q с вершинами М(х, ь), Ь((да1 - а2)(а^ - х)/(а1 + а2) + а^0, (ц + 1)(а11 - х)/(а1 + а2) + , Q1(ц(а^ - х) + а^0, , Q(х + а2(ь - ь0), Ь0) сводим к повторным интегралам и, благодаря равенству (10), приходим к классическим решениям (5) уравнения (1) в (5+ для х > 0. Через точки Ь и Q1 проходит прямая 5 + а2т = ц(а^ -х) + (а1 + а2)^. Функции (5) при ц = -1 равны функциям (3) на характеристике х = а1 f и являются классическими решениями уравнения (1) на этой характеристике (см. замечание 2).

2. Пусть точка М(х, 0 е имеет координату х < 0 (рис. 3).

Рис. 3. Область интегрирования в F.^0' на G+ при х < 0 Fig. 3. Domain of integration in f|0) on G+ for x < 0

Тогда прямая LQ\ лежит справа от прямой MQ, т. е. справа от кривой 12 (рис. 4).

Рис. 4. Область интегрирования в F'^0'1 на G+ при х < 0 Fig. 4. Domain of integration in on G+ for x < 0

Поэтому реализованной выше процедурой корректировки тоже приходим к локальным классическим решениям (5) уравнения (1) во внутренних точках множества (5+ для х < 0. Напоминаем, что требования (4) обеспечивают возможность лишь однократного пересечения осей f = к(х),х = а(^ с характеристиками (7), которые проходят через точки М(х, ^ е (5+, близкие к началу координат, так же, как неравенства из (2) через все остальные точки М(х, ^ е С?+. Интервалы (6) изменения ^ очевидно те же самые, что и в работе [3]. Теорема 1 доказана. □

3. Необходимая гладкость правой части. Продолжим выводить локальные классические решения уравнения (1) и необходимую гладкость на / в методом корректировки из пробных решений (3).

Теорема 2. Пусть выполняются предположения теоремы 1. Для классических решений (5) при q > -1 уравнения (1) в в+ необходима гладкость:

f е С(Сж),

I

х + а2(t - т), т)dr е С1 (G+),

(21)

10 I

q J /(q(a1t - x) - a2т +(a1 + a2)t0, r)dr+ J f(x- a1 (t - r), r)dr е С1 (G+).

(22)

t(q) (X)+t0

t(q) (X)+t0

Доказательство. Необходимость непрерывности / е С(Сс) показана выше. Ясно, что решения (5) из С2((5+) имеют непрерывно дифференцируемые производные:

f) 1

dt Ü1 + Ü2

t

2 ( + 2( - ), ) +

10 I

+q a^ J f( q( Ch t - x) - a2 т +(Ch + a2) t0, т) d т + a^ J f(x- Ch ( t-т), т) dr

t(q) (x')+t0

t(q) (X')+t0

, f) 1

dx 0,1 + 0,2

l

/ *

+ 2( - ), ) -

10 t - q J /( q( a1t - x) - a2 т +(a1 + a2) t0, r) dr - J f(x- ^ (t-т), r) dr

t(q) (x)+t0

t(q) (X)+t0

Такой же гладкости должны быть их производные вдоль характеристик (7):

(0)

(0)

dt

(я> ^(я) + а^

+ 2( - ), ) ,

(0)

(0)

dt

(я) (я)

Ü2~

1-0 I

q J f( q( Ch t - x) - a2 т +(Ch + a2) t0, т) d т+ J f(x- Ch ( t-т), т) d т.

t(q) (x)+ k

t(q) (x)+ k

(23)

Из (23) следует необходимость гладкости (21), (22) для решений (5) теоремы 1. □

Известны локальные классические решения и необходимая гладкость / на из [3]. Теорема 3. Пусть верны предположения теоремы 1. В каждой точке М(х, ^ е (3- волновое уравнение (1) имеет локальные классические решения:

F^(x, t) =

1

ch + а2

t(k,(x)+t0 х+а2 (t-т) t х+а2 (t-т)

( , ) + ( , )

k k(x-a11)-агт+(а1+а2)k t(k) (x)+10 x-a1 (t-т)

k> 1, (24)

где №(х) = (к- 1)(х-^ ^ + а2), в которых параметр ^ принимает значения ^ е тах к( в),С[, к> 1

Х0 <S<Xs

Х0 = х2 Чк(х - й11)), х3 = х21 (х + 0-21), fk(x) = [( ка.1 + 0,2)t - (к - 1)х]Ка.1 + о2).

ISSN 2687-0959

и

Для этих классических решений (24) необходима гладкость

t

feC (G-), J f(x + a2 (t - r), r)dr e C1 (G.), (25)

to

t(k Ux )+to t

k J f(k(x - a1t) - a2t +(аг + a2) t0, т) dт + J f(x- аг ( t - r), r)dreC1 (G-). (26)

to t(k )(x )+t0

Из решений (24) и (5) соответственно с необходимой гладкостью (25), (26) и (21), (22) можно строить локальные классические решения уравнения (1) в четверти

Следствие 1. В предположениях теоремы 1 функции f e C1 (Ga>) из классических решений (24) с к > 1 на G- и (5) с q > -1 на G+ удовлетворяют включению

t

У /(х + а2 (г-т), т)dтeC1 ((3с). (27)

к

Интеграл (27) равен производной от функций (24) и (5) вдоль характеристик х - а1 £ = С1, С1 е К, которые не пересекают характеристику х = а1 f (см. доказательство теоремы 2 и [3]). Для прямолинейной первой четверти и простейшего волнового уравнения (1) при а1 = а2 = а доказательство следствия 1 заменой переменной интегрирования з2 = х + а(f - т) имеется в диссертации [9, формула (2.19), стр. 29].

На основании следствия 1 в криволинейной первой четверти плоскости нам помогут написать новые множества общих интегралов уравнения (1) на следующие

Следствие 2. В предположениях теоремы 1 для всех f е С1 ((5с») классические решения (24) при к = д + 2 на й- и (5) при д > -1 на (5+ уравнения (1) дважды непрерывно дифференцируемы на характеристике х = а11, т. е.

[i-(-l)\q + 1)] J fd1 -(-lY(q+ 1)] (х-ait)-й2Т +(ai + Ü2)t0, r)dr+

t t0 (28) + J f(x - ai( t-т), t)dreC1 (Gm),i = 1, 2, h(x) = (-1); (q+ 1)(^ - X)

U (x )+to

an + a2

Замечание 2. Решения (24) при к = 1 и (5) при q = -1 совпадают с классическими решениями

уравнения (1) в замыкании G- множества G-.

Следствие 3. Пусть верны предположения теоремы 1 и интегральные требования гладкости (25), (26) прик = q+2 наG- и (21), (22) при q > -1 на G+. Тогда общими интегралами уравнения (1) на криволинейной первой четверти Goo во множестве классических (дважды непрерывно дифференцируемых) решений являются функции

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

и (х, t) = fi (х + а21) + ¡2 (х- ai t)) + F(0) (х, t), (х, t) е Go, q> -1, (29)

где F(0) (х, t) = F(k0) (x, t) из (24) с к = q + 2 на G-, F(0) (x, t) = f(°) (x, t) из (5) с q > -1 на G+, fi и f2 - любые дважды непрерывно дифференцируемые функции от ¡¡, г] вида:

fi (Ю = fi ( Z) + f2 (0), f2 ( Г]) = f2 ( T]) - f2 (0). (30)

В следствии 3 дважды непрерывную дифференцируемость функций f(0) на Go дают теорема 3 на G-, теорема 1 на G+ и следствие 2 на характеристике х = ait. Функции (30) выводятся "методом погружения в решения с фиксированными значениями" из [ ]. В общих интегралах (29) постоянная f2(0) сокращается, но очевидное значение f2(0) = 0 из (30) существенно упрощает решение систем дифференциальных уравнений, например, при решении методом характеристик смешанной задачи для (1) в [4].

Замечание 3. В статье [3] установлены два общих интеграла классических решений одномерного неоднородного волнового уравнения (1) на Go вида (29) только при q = i иq = a2/ai. Существование на Go разрывных функций f, для которых интегралы (24) при к = q + '2 и (5) при q > -i не дважды непрерывно дифференцируемы на Go не противоречит следствию 3 в силу обоснованной выше необходимости (обязательности) непрерывности функций f на Go для всех классических решений уравнения (1) [3].

Следствие 4. Если функция f в уравнении (1) не зависит от х или t, то в предположениях теоремы 1 для дважды непрерывной дифференцируемости на Go функций (24) с к = q + 2 и(5)сд > -i необходимо и достаточно непрерывности по или .

Для функций f, зависящих только от t или х и непрерывных, гладкость (25), (26) при k = q + '2 и (21), (22) при q > -1 всегда выполняется [ , стр. 46-47], [ , стр. 27].

Замечание 4. Требования гладкости (27), (28) для классических решений (5) и (24) при к = q + 2, q > -1 уравнения (1) распространяются предельным переходом по / с более гладких / € С1 (Ga>) на / с необходимой гладкостью (21), (22) и (25), (26), которая для f € С(Gco) эквивалентна гладкости (22), (26) при к = q + 2, q > -1, (27). Здесь требования гладкости (22), (26) при к = q + 2 очевидно равносильны требованиям (28).

Заключение. В настоящей работе выведено более широкое множество локальных классических решений (24) в G_ и (5) в Gj+ при q > —1 одномерного неоднородного волнового уравнения (1) соответственно с необходимой гладкостью (25), (26) и (21), (22) его правой части f в криволинейной первой четверти плоскости Они получены автором с помощью реализованного ранее обобщения метода корректировки пробных обобщенных решений с прямолинейной на криволинейную первую четверть плоскости.

В криволинейной первой четверти плоскости вычислены новые общие интегралы (29) неоднородного волнового уравнения (1) во множестве классических решений. С помощью каждого из полученных локальных решений вычисление общего интеграла неоднородного волнового уравнения в криволинейной первой четверти плоскости сводится к известному общему интегралу однородного волнового уравнения в криволинейной первой четверти плоскости.

Множества локальных классических решений и общих интегралов, построенных в настоящей работе при всех q > —1 для одномерного неоднородного волнового уравнения в криволинейной первой четверти плоскости, обобщают случаи двух множеств из них при q = 1 и q = а2/а-г статьи [3]. Если правая часть/ уравнения (1) зависит только от t или х, то для дважды непрерывной дифференцируемости функций (24) и (5) при q > —1 на G&, необходимо и достаточно лишь непрерывности f по t и х соответственно.

Список литературы

1. Бриш Н. И., Юрчук Н. И. 1971. Задача Гурса для абстрактных линейных дифференциальных уравнений второго порядка. Дифференциальные уравнения, 7(6): 1017-1030.

2. Владимиров В. С. 1976. Обобщенные функции в математической физике. М., Наука. 280.

3. Ломов И. С. 2022. Построение обобщённого решения смешанной задачи для телеграфного уравнения: секвенциальный и аксиоматический подходы. Дифференциальные уравнения, 58(11): 1471-1483.

4. Ломовцев Ф. Е. 2021. В криволинейной первой четверти плоскости метод корректировки пробных решений для минимальной гладкости правой части волнового уравнения с постоянными коэффициентами. Весшк Вщебскага дзяржаунага ушвератэта, 4(113): 5-22.

5. Ломовцев Ф. Е., Лысенко В. В. 2019. Нехарактеристическая смешанная задача для одномерного волнового уравнения в первой четверти плоскости при нестационарных граничных вторых производных. Весшк Вщебскага дзяржаунага ушвератэта, 3(104): 5-17.

6. Ломовцев Ф. Е. 2015. Метод вспомогательных смешанных задач для полуограниченной струны. Материалы Международной научной конференции "Шестые Богдановские чтения по обыкновенным дифференциальным уравнениям". Ч. 2. (7-10 декабря 2015г.), 2: 74-75.

7. Ломовцев Ф. Е. 2023. Метод компенсации граничного режима правой частью телеграфного уравнения с переменными коэффициентами в решении второй смешанной задачи на полупрямой. Весшк Гродзенскага дзяржаунага ушвератэта 1мя Янк Купалы. Серыя 2. Матэматыка. Ф1з1ка. 1нфарматыка, выл1чальная тэхшка i краванне, 13(1): 39-63.

8. Ломовцев Ф. Е. 2017. Метод корректировки пробных решений общего волнового уравнения в первой четверти плоскости для минимальной гладкости его правой части. Журнал Белорусского государственного университета. Математика. Информатика, 3: 38-52.

9. Ломовцев Ф. Е. 2020. О методе корректировки пробных решений одномерного волнового уравнения в криволинейной четверти плоскости. Материалы Международной конференции "XXXIIВВМШ <Понтрягинские чтения-ХХХ1>"(3-9 мая 2020 г.) Воронеж : АНО <Наука-Юнипресс>: 126-129.

10. Ломовцев Ф. Е. 2021. Первая смешанная задача для общего телеграфного уравнения с переменными коэффициентами на полупрямой. Журнал Белорусского государственного университета. Математика. Информатика, 1: 18-38.

11. Ломовцев Ф. Е., Устилко Е. В. 2018. Критерий корректности смешанной задачи для общего уравнения колебаний полуограниченной струны с нестационарной характеристической первой косой производной в граничном условии. Весшк Вщебскага дзяржаунага ушвератэта, 4(101): 18-28.

12. Новиков Е. Н. 2017. Смешанные задачи для уравнения вынужденных колебаний ограниченной струны при нестационарных граничных условиях с первой и вторыми косыми производными. Автореф. дис. : кан-та физ.-мат. наук (01.01.02). ИМ НАН Беларуси.

13. Сабитов К. Б., Фадеева О.В. 2021. Колебания консольной балки. Прикладная математика & Физика, 53(1): 5-12. DOI 10.52575/2687-0959-2021-53-1-5-12.

14. Соболев С. Л. 1938. Об одной теореме функционального анализа. Математический сборник, 4 (46): 471-498.

15. Тихонов А. Н., Самарский А. А. 2004. Уравнения математической физики. М., Наука. 798.

16. Хромов А. П. 2019. Необходимые и достаточные условия существования классического решения смешанной задачи для однородного волнового уравнения в случае суммируемого потенциала. Дифференциальные уравнения, 55(5): 717-731.

17. Хромов А. П. 2022. Расходящиеся ряды и обобщённая смешанная задача для волнового уравнения. Современные проблемы теории функций и их приложения, 21: 319-324.

18. Чеб Е. С., Семинская Е. С. 2020. О классическом решении смешанной задачи для линейного нестрого гиперболического уравнения четвёртого порядка с одной кратной характеристикой. Прикладная математика & Физика, 52(1): 11-17. DOI 10.18413/2687-0959-2020-52-1-11-17.

19. Lomovtsev F. E. 2016. Solution of a Mixed Problem with Oblique Derivatives in the Boundary Conditions for the Inhomogeneous String Vibration Equation without Continuing the Data. Differential Equations, 52(8): 1093-1097.

20. Lomovtsev F. E., Spesivtseva K. A. 2021. Mixed Problem for a General 1D Wave Equation with Characteristic Second Derivatives in a Non-Stationary Boundary Mode. Mathematical Notes, 110(3): 329—338. © Pleiades Publishing, Ltd., 2021. Russian Text © The Author(s), 2021, published in Matematicheskie Zametki, 110(3): 345-357. ISSN 0001-4346, DOI: 10.1134/S0001434621090030.

References

1. Brish N. I., Yurchuk N. I. 1971. The Goursat problem for abstract linear differential equations of the second order. Differential Equations, 7(6): 1017-1030. (in Russian)

2. Vladimirov V. S. 1976. Generalized functions in mathematical physics. M., Science. 1976. 280. (in Russian)

3. Lomov I. S. 2022. Construction of a generalized solution of a mixed problem for telegraph equation: sequential and axiomatic approaches. Differential Equations, 58(11): 1471-1483. (in Russian)

4. Lomovtsev F. E. 2021. In the curvilinear first quarter of the plane, a correction method to trial solutions for the minimum smoothness of the right-hand side of the wave equation with constant coefficients. Vesnik Vitsebskaga jarjaunaga university, 4(113): 5-22. (in Russian)

5. Lomovtsev F. E., Lysenko V. V. 2019. Non-characteristic mixed problem for one-dimensional wave equation in the first quarter of the plane with non-stationary boundary second derivatives. Vesnik Vitsebskaga jarjaunaga university, 3(104): 5-17. (in Russian)

6. Lomovtsev F. E. 2015. Method of auxiliary mixed problems for a semi-bounded string. Materials Int. scientific conf. "Sixth Bogdanovsky readings on ordinary differential equations". Part 2. (December 7-10, 2015), 2: 74-75. (in Russian)

7. Lomovtsev F. E. 2023. Boundary mode compensation method by the right-hand side of the telegraph equation with variable coefficients in solving the second mixed problem on the half-line. Bulletin of Grodzensk dzyarzhaunaga university named after Yanka Kupala. Series 2. Mathematics. Physics. Information, special equipment and kiravanne, 13(1): 39-63. (in Russian)

8. Lomovtsev F. E. 2017. Correction method for terst solutions of the general wave equation in the first quarter of the plane for the minimum smoothness of its right-hand side. Journal of the Belarusian State University. Mathematics. Computer science, 3: 38-52. (in Russian)

9. Lomovtsev F. E. 2020. On a correction method to trial solutions of a one-dimensional wave equation in a curvilinear quarter of a plane. Proceedings of Int. conf. "XXXIIVVMSH <Pontryagin Readings-XXXI>"(May 3-9, 2020) Voronezh: ANO <Nauka-Unipress> : 126-129. (in Russian)

10. Lomovtsev F. E. 2021. The first mixed problem for the general telegraph equation with variable coefficients on the half-line. Journal of the Belarusian State University. Mathematics. Computer science, 1: 18-38. (in Russian)

11. Lomovtsev F. E., Ustilko E. V. 2018. Correctness criterion to the mixed problem for the general oscillation equation of semi-bounded string with non-stationary characteristic first oblique derivatives in the boundary condition. Vesnik Vitsebsk jarjaunaga university, 4(101): 18-28. (in Russian)

12. Novikov E. N. 2017. Mixed Problems for the Forced Vibration Equation of a Bounded String under Non-stationary Boundary Conditions with First and Second Oblique Derivatives. Abstract dis. : Candidate of Physics and Mathematics. Sciences (01.01.02). IM NAS of Belarus. (in Russian)

13. Sabitov K. B., Fadeeva O. V. 2021. Oscillations of a cantilever beam. Applied Mathematics & Physics, 53(1): 5-12. DOI 10.52575/2687-0959-2021-53-1-5-12. (in Russian)

14. Sobolev S. L. 1938. On a theorem of functional analysis. Mathematical collection, 4 (46): 471-498. (in Russian)

15. Tikhonov A. N., Samarsky A. A. 2004. Equations of mathematical physics. M., Science. 798. (in Russian)

16. Khromov A. P. 2019. Necessary and sufficient conditions for the existence of a classical solution of a mixed problem for a homogeneous wave equation in the case of an integrable potential. Differential Equations, 55(5): 717-731. (in Russian)

17. Khromov A.P. 2022. Divergent series and a generalized mixed problem for the wave equation. Modern problems of function theory and their applications, 21: 319-324. (in Russian)

18. Cheb E. S., Seminskaya E. S. 2020. On the classical solution of a mixed problem for a linear nonstrictly hyperbolic equation of the fourth order with one multiple characteristic. Applied Mathematics & Physics, 52(1): 11-17. DOI 10.18413/2687-0959-2020-52-1-11-17. (in Russian)

19. Lomovtsev F. E. 2016. Solution of a Mixed Problem with Oblique Derivatives in the Boundary Conditions for the Inhomogeneous String Vibration Equation without Continuing the Data. Differential Equations, 52(8): 1093-1097.

20. Lomovtsev F. E., Spesivtseva K. A. 2021. Mixed Problem for a General 1D Wave Equation with Characteristic Second Derivatives in a Non-Stationary Boundary Mode. Mathematical Notes, 110(3): 329—338. © Pleiades Publishing, Ltd., 2021. Russian Text © The Author(s), 2021, published in Matematicheskie Zametki, 110(3): 345—357. ISSN 0001-4346, DOI: 10.1134/S0001434621090030.

Конфликт интересов: о потенциальном конфликте интересов не сообщалось.

Conflict of interest: no potential conflict of interest related to this article was reported.

Поступила в редакцию 27.03.2023 Поступила после рецензирования 08.05.2023 Принята к публикации 10.05.2023

Received 27.03.2023 Revised 08.05.2023 Accepted 10.05.2023

СВЕДЕНИЯ ОБ АВТОРЕ

Ломовцев Фёдор Егорович - доктор физико-математических наук, профессор, профессор кафедры математической кибернетики механико-математического факультета, Белорусский государственный университет пр. Независимости, 4, Минск, 220030, Республика Беларусь

INFORMATION ABOUT THE AUTHOR Fedor Lomovtsev - Doctor of Physical and Mathematical Sciences, Professor, Professor of the Department of Mathematical Cybernetics Mechanics and Mathematics Faculty, Belarusian State University, Minsk, Belarus.

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