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

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

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

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

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

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

SMOOTHNESS CRITERION FOR A PARTICULAR CLASSICAL SOLUTION OF AN INHOMOGENEOUS MODEL TELEGRAPH EQUATION IN THE FIRST QUARTER OF THE PLANE

The smoothness criterion is derived on the right-hand side for classical solution of the equation at variable rate in the first quarter of the plane . The smoothness criterion consists of the necessary and sufficient smoothness requirements for the right-hand side of this model telegraph equation. The necessary smoothness requirements on are justified by the correction method of test solutions proposed earlier by the author of this article. This method indicated a doubly continuous differentiability of the function without correcting it. Therefore, the derivatives along two families of implicit characteristics of this equation give the necessary smoothness on From here it is easy to deduce their sufficiency for the doubly continuous differentiability of When depends only on or then this smoothness criterion is equivalent to continuity respectively, over or For the equation, a general integral is constructed with a smoothness criterion of its right-hand side

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

МАТЕМАТИКА

УДК 517.956 DOI 10.52928/2070-1624-2022-39-11-99-116

КРИТЕРИЙ ГЛАДКОСТИ ЧАСТНОГО КЛАССИЧЕСКОГО РЕШЕНИЯ НЕОДНОРОДНОГО МОДЕЛЬНОГО ТЕЛЕГРАФНОГО УРАВНЕНИЯ В ПЕРВОЙ ЧЕТВЕРТИ ПЛОСКОСТИ

д-р физ.-мат. наук, проф. Ф. Е. ЛОМОВЦЕВ (Белорусский государственный университет, Минск)

Выведен критерий гладкости на правую часть f для классического решения F уравнения utt(x,t) — a2(x^u^ixj) — a~l(x,f)at(x,f)ut(x,t) — a(x,t)ax(x,t)ux(x,t) = f(x,t), (x,t) e (i, =|0. +x|/|0. +x|, с переменной скоростью a(x,t) в первой четверти плоскости G,. Критерий гладкости состоит из необходимых и достаточных требований гладкости на правую часть этого модельного телеграфного уравнения. Необходимые требования гладкости на f обоснованы методом корректировки пробных решений, предложенным ранее автором настоящей статьи. Этот метод указал на дважды непрерывную диффе-ренцируемость функции F без ее корректировки, поэтому производные вдоль двух семейств неявных характеристик данного уравнения дают необходимую гладкость на f. Отсюда легко выводится их достаточность для дважды непрерывной дифференцируемости F. Когда f зависит только от x или t, тогда этот критерий гладкости равносилен непрерывности f соответственно по x или t. Для уравнения построен общий интеграл с критерием гладкости его правой части f.

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

Введение. В настоящей работе методом корректировки пробных решений выведен критерий (необходимые и достаточные условия) гладкости на правую часть неоднородного модельного телеграфного уравнения с переменной скоростью a(x,t) для его явного частного классического решения F в первой четверти плоскости. Для нашей функции F с модулем координат x точек струны под двойным интегралом оно может оказаться не дважды непрерывно дифференцируемым на G+. Этот факт подтверждает метод корректировки пробных решений в [1] при постоянных коэффициентах ax ф a2 общего волнового уравнения (замечание 1). Следовательно, для модельного телеграфного уравнения даже при одном постоянном коэффициенте a = a = a > 0 эта принадлежность функции F множеству классических решений может быть строго обоснована обобщением метода корректировки из [1] путем непосредственного дифференцирования по новым переменным решения F, полученного заменой переменных из F.

Итак, в настоящей статье методом корректировки доказана дважды непрерывная дифференцируемость частного решения F неоднородного модельного телеграфного уравнения со скоростью a(x,t) без его корректировки. Поэтому производные вдоль двух семейств неявных характеристик данного уравнения представляют необходимые интегральные требования гладкости на правую часть f уравнения (1). Достаточность установленных необходимых требований гладкости для дважды непрерывной дифференцируемости указанного решения F вытекает из свойств решений линейной системы двух алгебраических уравнений относительно его первых частных производных с непрерывно дифференцируемыми правыми частями. С помощью этого обоснованного классического решения неоднородного модельного телеграфного уравнения с переменной скоростью a(x,t) построен его общий интеграл в первой четверти плоскости для решения смешанных задач. Все доказательства существенно опираются на тождества обращения неявных функций характеристик уравнения и их неявных обратных функций. В статье [2] исследуемая формула его классического решения во всей первой четверти плоскости использовалась при решении первой смешанной задачи для модельного телеграфного уравнения без продолжений исходных данных. В ней модельное телеграфное

уравнение позаимствовано из кандидатской диссертации1, где решалась первая смешанная задача методом продолжений исходных данных. В указанной диссертации первая смешанная задача в полуполосе плоскости за счет периодических продолжений коэффициентов со специальными свойствами и входных данных на верхнюю полуплоскость сведена к задаче Коши и формуле Даламбера, которые в [2] отсутствуют на G+.

1. Модельное телеграфное уравнение. В первой четверти плоскости О л =]0,+оо[х]0,+зо[ ищется некоторое классическое решение F = F(x, t) с минимальной гладкостью правой части f = f (x, t) уравнения

un(xj) — a2(xj)u^(xj) — a~1(xj)at(xj)ut(xj)—a(x,t)a!c(x,t)u!c(x,t) = f(x,t), (x,t) eG„, (1)

где f - заданная вещественная функция переменных x и t, коэффициент a(x,t) > a0 > 0, (x, t) e G„ = [0, +<[x[0, +<[, и a eC2(G„ )• Мы обозначаем числом нижних индексов функций соответствующие порядки их частных производных. Здесь Ck (П) - множество к раз непрерывно дифференцируемых функций на подмножестве ПсR2, R =]— <, +<[, и C°(Q) = C(П).

Общеизвестно, что уравнению (1) соответствуют характеристические уравнения

dx = (—1)'a(x,t)dt, i = 1,2, (2)

которые имеют в G общие интегралы g (x, t) = C,, C e R, i = 1,2. Если коэффициент a строго положителен, т. е. a(x,t) > a0 > 0, (x, t) e G„, то в плоскости Oxt переменная t на характеристиках g (x, t) = C, C e R, строго убывает и на характеристиках g2 (x,t) = C2, C2 e R, строго возрастает вместе с ростом x. Поэтому неявные функции y = g (x, t) = C, x > 0, t > 0, имеют строго монотонные обратные функции x = ht {y ,t}, t > 0, t = h(,)[x,y], x>0, i = 1,2. По определению обратных отображений они удовлетворяют в G„ следующим тождествам обращения [2]:

gt (h {y, t}, t) = у,, V y, h {g (x, t), t} = x, x > 0, i = 1,2, (3)

gt (x, h(i)[x,у, ]) = у, , V у, , h(i)[x, g, (x, t)] = t, t > 0, i = 1,2, (4)

h{y,h)[x,y,]} = x, x>0, h(t)[h,{y,,t},y] = t, t>0, i = 1,2. (5)

В правых частях тождеств (3)-(5) вместе с взаимообратными функциями исключаются переменные, повторяющиеся дважды в левых частях, если даже в левых частях этих тождеств повторяется дважды лишь

одно из возможных значений этих переменных. Если коэффициент a(x,t) > a > 0, (x,t) e G, a e C2(G<),

то функции g, h, h(t) e C2 по x, t, y, t = 1,2 в G„ [2].

В случае a(x,t) = a = corat >0 ими являются функции: g(x,t) = x + at, g(x,t) = x — at,

h{ji,t} = y — at, h{У2,t} = У2 + at, h(1)[x,y] = (y — x)/a, h(2)[x,y2] = (x — y2)/a.

Определение 1. Функция м = u(x,t) называется классическим решением уравнения (1) на множестве Q г , Gr, если она имеет гладкость и е С2 (Q) и удовлетворяет этому уравнению в обычном смысле для каждого (х, t) е Q Г) .

Во-первых, если существует хотя бы одно классическое решение и е C2(Q) неоднородного уравнения (1) в Q г , Gr, то его правая часть очевидно необходима быть непрерывной / е C(Q). Во-вторых, согласно определению 1 функция F должна быть, по крайней мере, дважды непрерывно дифференцируемой, т. е. F e C2(П), и удовлетворять поточечно уравнению (1) на П. В-третьих, если функция F окажется не дважды непрерывно дифференцируемой, то провести ее корректировку некоторой функцией (обобщенным частным решением F0 однородного уравнения (1) так, чтобы новая функция F (x, t) = F(x,t) — F (x,t) стала дважды непрерывно дифференцируемой в П [1]. Разность двух менее гладких функций (обобщенных решений уравнения) может быть более гладкой функцией (классическим решением уравнения). Ниже нам не понадобится проводить корректировку нашей пробной функции F, потому что она окажется дважды

1 Барановская, С. Н. О классическом решении первой смешанной задачи для одномерного гиперболического уравнения : дис. ... канд. физ.-мат. наук : 01.01.02 / С. Н. Барановская. - Минск, 1991. - 59 с.

непрерывно дифференцируемой и будет удовлетворять уравнению (1) для каждого (х,г) из О„ (см. замечание 1). В статье [1] такая корректировка нужна для аналога функции Е при коэффициентах « ф а2.

Найдем классическое решение уравнения (1) в С?^ и критерий (необходимые и достаточные требования) гладкости на / в О„ с помощью корректирующей задачи Гурса из [1].

2. Корректирующая задача Гурса. Гладкость решений уравнения (1) в первой четверти плоскости существенно зависит от критической характеристики £2 (х,г) = £2 (0,0), которая делит первую четверть плоскости Ох на два множества [2]:

О = {(х,г) е О„ : g2(х,г) > ^2(0,0)}, О+= {(х,г) еО„ : £2(х,г) < ^2(0,0)}.

Выводим классическое решение уравнения (1) и критерий гладкости на / в О+ •

Теорема 1. Пусть коэффициент а(х,г) > а0 > 0, (х,г) е О„, а е С2(О„), / е С(О„)• Функция

. г Мй(х,г), х} г(I ^ х

Е(х,г) = - [ [ -1 ( ' ' й8йх (6)

20 ),х}а(,х)

является классическим решением неоднородного уравнения (1) в О+ тогда и только тогда, когда

Н()(х,г)(И(х,г),х}[,х) д^ЩхЬШ а%еС\О+ ), / = 1,2. (7)

00 а(|(х,г),-с^х) ^

Доказательство. Необходимость. Если Е вида (6) - классическое решение уравнения (1) в О+, то из определения 1 имеем, что Е е С 2( 0+) и только / е С (О), чего явно недостаточно для существования и непрерывности интегралов (7), в которых ведется интегрирование и в О . Поэтому в теореме 1 предполагаем непрерывность / е С(О„). Кроме того, из гладкости / е С(О„) и (7), конечно, следует гладкость Е е С2 (О), но, вообще говоря, совсем не очевидно то, что для / е С(О„) функция Е е С2(О+) вида (6) удовлетворяет уравнению (1), если его правая часть / зависит от х и г. Соответственно, сначала докажем, что Е вида (6) - классическое решение уравнения (1) в О+ • Во-первых, из ложного утверждения теоремы 1 о том, что Е вида (6) - классическое решение уравнения (1) в О , можно получить ложную необходимую гладкость (7), например, так же как в случае а ф а2 из [1]. Во-вторых, потом не надо будет приводить это доказательство в достаточности, где оно обязательно.

Можно начать доказательство того, что функция Е вида (6) является классическим решением уравнения (1) в О+ с предположения существования некоторого классического решения иа е С2(О„) уравнения (1) на О„. Например, подстановкой в это уравнение можно убедиться в том, что функция (6) для любой / е С-(О„) является его классическим решением (см. равенства (48). В результате доказательства нами будет предъявлено классическое решение этого уравнения, что укажет на правомерность сделанного предположения. Минимальная гладкость / могла нарушаться у Е на О+ из-за модуля , так как нижний предел

интегрирования К2 (х, г), х} меняет знак на характеристике g2 (х, г) = g2 (0,0) при х = И(2) [0, g2 (0,0)] по первому тождеству обращения из (5) при I = 2.

Сначала покажем, что в любой точке (х(0), ^(0)) из О+ функция (6) действительно является классическим решением уравнения (1). Каждая точка (х(0),г(0)) е О+ содержится строго внутри различных ограниченных криволинейных четырехугольников О , находящихся в О , сторонами которых служат отрезки характеристик

gl(x, г) = С^ g2( Х,/) = С2, С2 е ^ (8)

Уравнение (1) в различных четырехугольниках О0 невырожденной заменой

% = g1(х,г), л = g2(х,г) (9)

с невырожденным якобианом /(х,,) = 0 в О„, потому что а(х, ,) > а0 > 0 в О„, приводится

к виду

[(У2 «14, Г|» +[(т!,)2 -я2^)2]^ +

+[4я -«Чх, +[!}„-а^-а'а^-аа^]^ = Д£,,ц) = Дх(£,,ц)Л£,,Ч)) (Ю)

относительно функции = и(х(^,Г[), ¿(^Л))е С2((5„). Здесь множество С, (указанное в формуле (31)

ниже) - образ четверти плоскости О„ при замене (9). Согласно (2) полные дифференциалы равны нулю

¿Я, = (Я)х^х + (а),№ = [(я,), + (-1)'а(х,0(а,)х]№ -0, (х,,) еО„, I = l,2,

и, следовательно, ввиду (8) имеем соотношения

(Я ), - ИГ1 а(х, ,)(Я, )х, (х, ,) еО„, , = 1,2, (11)

^ -а(х,,)^ = 0, л, + а(х,0л* = 0, (х,,) е О„. (12)

Каждое из уравнений (12) дифференцируем раз по , их, результаты дифференцирования по , складываем с произведением на коэффициент а(х,,) результатов дифференцирования по х, в полученных суммах соответственно применяем эти же уравнения (12) и имеем

- д2= a^ at^ + aax^x >

Лй - a Лхх = ^ at Л, + aax Л* > ■ (13)

На основании тождеств (12), (13) уравнение (10) становится уравнением

«^,rd = M,rd/[2a(^,r()J(x,t)], (5,ц)е<?0, (14)

где a(4,r|) = a(x(4,r|),í(4,r|)), в различных прямоугольниках G„ = [(с, п): с„ < с < с,, г|„ -П - Hi < •

В силу дважды непрерывной дифференцируемости и не вырожденности якобиана J(xJ) Ф О замены (9) для непрерывной функции / eC(G„) непрерывна функция /' е ОС/,). Поскольку по нашему предположению существует классическое решение и0 е C2(Goo) уравнения (1), то ввиду этих же свойств замены (9) уравнение (14) в GrJD имеет классическое решение

= и0(х(£,,г|), /(£,,г|)) е C2(GJ. (15)

Для любой /eC(G„) существует последовательность непрерывно дифференцируемых функций fn е С1 (G,), которая при и—> оо равномерно сходится к / на каждом компакте G0, где G0 - замыкание образов С/'п четырехугольников G0 в результате замены (9).

В различных прямоугольниках G0 рассматриваем дифференциальное уравнение

{й<а)\^г{) = 1Ы1[2а{х,1У{х,1)Ъ (5,ц)е<?0, (16)

с согласованными условиями Гурса

= ле[ть,Л1], й<0)(^т1о) = й(0)(^т1о); Se Ко,¡У, и = 1,2,... (17)

Задача Гурса (16), (17) в С/'п решается методом характеристик. Общий интеграл уравнения (16) в ("' (С/,,) состоит из непрерывно дифференцируемых функций

(18)

где g,h — любые непрерывно дифференцируемые функции своих аргументов и функции Рн получаются из функции Е вида (6) с подынтегральными функциями / (|, х) вместо /(| , х) в результате замены (9). Для правых частей /л е С'1 (6,) очевидно решения Рп е С~ (С,). Функции (18) подставляются в условия Гурса (17) и ввиду й(0) е С2 ((/,) и не вырожденности замены (9) выводятся ее единственные

классические решения из С2(G0):

й^т^й^т^ + й^о,^^^ « = 1,2,... (19)

Как разность классических решений функции vn (с,п) = "1 (с,г|) - «',"1 (с, г|), конечно, являются классическими решениями задачи Гурса:

(vj^fei1)=[7fei1)-/„(^,i1)]/2fi!(x,0/(x,0, fell )eG0, (20)

= Tiefri^riJ, v„(^,r|0) = 0, и = 1,2,... (21)

Умножая уравнение (20) на сумму первых частных производных (ун +(vn)T1, интегрируя результат умножения по области , Xj [x]-q0, х2 [ с помощью однородных условий Гурса (21), применяя элементарные оценки и беря точную верхнюю грань по (^, х2) е , ^ ] х [-q0, ^ ] в полученном неравенстве, так же, как в [3, с. 1020], выводится априорная оценка

sup sup П|(уя)л(^тО|2

Ло <Л<Т|1 ^ ^ ' So «1 Ло ^ '

<cJj|/^)-/feil)f^ib п = 1,2,..., (22)

Go

где постоянная с0 > 0 не зависит от vn, г| и п.

Поскольку в априорной оценке (22) правая часть сходится к нулю при п —> оо, то из сходимости его левой части к нулю при п —> оо заключаем равномерную сходимость на прямоугольниках О"0 последовательности уп к нулю при и —^ оо, потому что для пространств Соболева И'2' (О.), ОсМ, справедливы непрерьшные вложения пространств И/Г2' (с^.с,,) с С[с(1.сл\.. (г|(),г||) с С[г|0,г|1 ] [4]. Это означает равномерную сходимость на прямоугольниках 0"„ последовательности и "' к й<0) при и —> оо. Поэтому благодаря неравенствам (22) из решений (19) предельным переходом при п ^ да получаем тождество

й(0) & л) = й(0) & т|0) + й(0) (^, л) - й(0) (^ ,Ло)"

г|0) + Р(£0 ,л0) + т, 11) - ,11)= & 11) е с0, (23)

где функция Р(^,г\) = /'(xCLi^.tCL ?])) получена из функции Е вида (6) заменой (9).

Проанализируем гладкость слагаемых правой части этого тождества. Слагаемые ) и й(0)(^0,г|)

очевидно дважды непрерывно дифференцируемы соответственно по ^ ил, так как в (15) решение и" еС2((? о) по совокупности переменных с и г|.

Из уравнений характеристик Л / ёх = (-1)'а(5, х), / = 1,2, в (2) и чётности функции а(|^, х) по 5 заключаем, что в каждой фиксированной точке (л.т) е (], тангенсы углов наклона касательных к характеристикам ^ (5, х) = С1, I = 1,2, с осью 05 отличаются противоположными знаками. Значит, для всех вершин М(0,?), ? > 0, на оси Ох треугольники АМРО являются криволинейными «равнобедренными».

Поэтому на рисунке 1, а характеристики g2 (я, т) = С и ^ (я, т) = С, при s < 0 симметричны соответственно характеристикам яД.у,т) = С1 и g2(s,т) = С2 при 5>0 относительно оси От.

Чтобы выяснить гладкость остальных слагаемых в (23), воспользуемся геометрическим представлением функции Е вида (6) через двойной интеграл по характеристическому треугольнику А MPQ с вершиной

М(х,г) е С+ и вершинами его основания Р(к,(х,г),0},0), Q(к(х,г),0},0):

Е(х, г) = 1 ГГ ^^ = 1 ГГ Лх£) х¿4 +1 ГГ ¿хин, (24)

2 АMPQ а(\Х , О 2 АоР^' а(Х,{) 2 oQMQ^a(.Х,0

где точка Р'(—к,(^(х,г),0},0) - симметрическая к точке Р(к(х,г),0},0) относительно оси Ог и точка Q' (0, к(2)[0, ^ (х,Г)]).

Чтобы в функции (24) перейти к новым переменным типа (9)

У= , т), р= g2(s, т)

найдем образ А МР<2 треугольника А МР() и его частей в плоскости д\>р.

Нетрудно убедиться в том, что для любой точки М(х,г) е 0+ в (6) двойной интеграл равен двойному интегралу по криволинейному характеристическому треугольнику АMPQ (рисунок 1, а). В плоскости Оят через его вершину M(х, г) е 0+ очевидно проходят две характеристики: g2(s, т) = g2(х, г) и g1(s, т) = g1(х,г), которые пересекают ось Оя при т = 0 соответственно в точках основания Р(к(^(х,г),0},0) и Q(к(^(х,г),0},0). На оси Оя точка Р'(—к,(х,г),0},0) симметрична точке Р(к,(g2(х,г),0},0) относительно оси От. Точка Q'(0,й(2)[0,g2(х,г)]) является точкой пересечения характеристики g2(я,т) = g2(х,г) с осью От. Все это легко подтверждается подстановкой их координат в соответствующие уравнения характеристик, используя определения обратных отображений к, /-;'", / = 1,2, и тождества обращения (3)-(5).

Отображение (9) переводит точку М(х.1) плоскости Оях в точку Л/(£,,г|) плоскости Оур.

Тогда после замены переменных типа (9) уравнения характеристик gi (я, т) = gi (х,г), I = 1,2, боковых сторон MP и MQ треугольника АMPQ становятся соответственно уравнениями

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

V = т) = х,г) = ^ (25)

Р = g2(s, т) = g2(х,г) = л (26)

боковых сторон МР и М{) треугольника АМРО в плоскости Оур. Эти стороны МР и М{) лежат со-

ответственно на прямых р = л и V = £ (рисунок 1, б).

р' Я

-ч ____

д V

V

р '1 я м

б

а - для функции ^ ; б- для функции /• Рисунок 1. - Область интегрирования на множестве 0+

а

В замену типа (9) подставляем координаты вершин основания Р (\ {& (х, /),0},0), Q (\ (х,/),0},0) и в силу первых тождеств обращения из (3) вычисляем соответственно

у = & (Мл,0},0), р = §2 (Мл,0},0) = л; у = & (А,{^,0},0) = 4, р = §2 (А,{^,0},0) (27)

координаты вершин (/-?, 'г|.0|.0).г|). (/?, 'с.0|.0)) треугольника АМР{Э в плоскости Оур, так

как я^х,/) = &2(х,/) = г|. Подставляя координаты точек Р'(-\{&(х,/),0},0), Q'(0,й(2)[0,я2(х,/)]) в эту замену переменных, в силу первой формулы обращения из (4) при I = 2 находим соответственно

у = Е1 (-й2{|,0},0), р = &2 (-Й2(|,0},0); у = & (0, й(2)[0, |]), р = &2 (0, й(2)[0, |]) = | (28)

координаты точек (—{г|,0},0),^2(—/г., {г|,0},0)), ¿'(я!(0,/г(2)[0,г1]),г1) в плоскости Оур.

Ищем образ отрезка ОР' с уравнением х = 0, \ е |(). —1% [«2(х./).()) | при отображении типа (9) из плоскости О.чх вплоскость ()ур. Из этого отображения при х = 0 приходим к уравнениям V = ¿у, (\.0). р = ^(.у.О). Из них ввиду единственности решений 5 = \ {у,0}, 5 = \ {р ,0} системы типа (9) относительно (5, х) и тождеств обращения из (3) имеем уравнение

^(р) = У = &1(Й2{р,0},0) : Мр,0}- Й1{у,0} = 0 (29)

кривой ОР' вида /0 в плоскости Оур. Подставив координаты точек (-/;2 [г|,0|,0), (-/;2 (г|,0} ,0))

и (9(0,0) в уравнение (29), можно еще раз увидеть, что кривая /0 проходит через них, потому что в силу вторых тождеств обращения из (3)

Й2{р,0}- Му,0} = ^ {е2(-Й2{|,0},0),0}-Ь {Е1(-Й2{|,0},0),0}=-А2{1,0} + Н2{1,0} = 0.

Уравнение (29) выполняется для координат точки 0(0,0), так как отрезок ОР' действительно соединяет начало координат 0(0,0) и точку Р' в плоскости О^х и уравнение (29) найдено невырожденной заменой типа (9) из уравнения отрезка ОР'. Из формул производных обратных функций (\) = 1/(е,- )х, I = 1,2, строгого возрастания функции £2 и строго убывания функции с ростом х следует строгое возрастание значений р функции (29) вместе с ростом V в плоскости (9\>р. Непосредственной подстановкой координат точек Р и в уравнение (29) можно убедиться в том, что кривая уравнения (29) проходит и через эти точки Р и (]). т. с. кривая /0 уравнения (29) является криволинейным основанием треугольника АМР() в плоскости Оур (см. рисунок 1, б). Верхняя полуплоскость Олх, т > 0, взаимнооднозначно отображается заменой типа (9) в часть /г2 ¡р,0[ < /г, ¡\\0|. \',р е Л\ плоскости Оур.

Чтобы найти образ отрезка 0(2' из Оях в Оур из замены типа (9) при .V = 0, выводим уравнения у= & (0, х), р = & (0, х). Из их единственных решений х = Н{1)[0, у], х = й(2)[0,р] системы типа (9) относительно (5, х) и вторых тождеств обращения из (4) находим уравнение

у(р) = у= &(0,й(2)[0,р]) : й(1)[0,у] - А(2)[0,р] = 0 (30)

кривой 00' вида 1Х в плоскости ()\'р (см. рисунок 1, б). Также, как и выше для /0, устанавливается строгое убывание значений р функции (30) для /, сростом V в плоскости Оур. Кроме того, замена типа (9) взаимно однозначно отображает первую четверть О^ плоскости О^х на

(5оэ={(у,р): /г2{р,0}< А[{у,0}, р>0; /г(2)[р,0]< й(1)[у,0], р<0; у>0}, (31)

т. е. на эту криволинейную четверть из плоскости Оур.

Аналогично характеристике MQ, которая при замене типа (9) становится прямой уравнения V = характеристика <2'Р' уравнения g1(s,%) = g1(-h2{g2(x,t),Щ,Q), проходящая через точку Р'. будет тоже некоторой прямой уравнения у = у(0), также параллельной оси Ор. Для вычисления значения V"' воспользуемся равнобедренностью треугольника АQ'PP'. Следовательно, в плоскости Оят для точек Q' оси От штриховую характеристику Q'Р' из семейства g1 (я, т) = С можно искать в форме — g2 (—я,т) = С, С е R, и характеристики из семейства g2(s, т) = С2 - в форме —g1(—я, т) = С1, С1 е Я. Если воспользоваться этой взаимной заменяемостью характеристик у = ^1(5,т)= -g2(-s,^) = C2, С2 е К, то можно найти уравнение образа О'Р' кривой <2'Р' в плоскости Оур. По координатам точки 0'(О,//(2)[Овычисляем значение

не зависящей от я и т постоянной С2 = —й(0,й(2)[0,g2(х,г)])=—g2(х,г) ввиду первого тождества обращения из (4) при г = 2. В итоге, имеем равносильные уравнения

V' = Я т) = —ёг (Х, г) = ^ g22—s, т) = (Х, г)

заштрихованной кривой ^Р', проходящей также через точку Р'(— к(й(х,г),0},0), так как (к (Й2 (х,г ),0},0) = й (х, г) по первому тождеству обращения (3) при г = 2. Таким образом, кривую Q 'Р ' указанного выше уравнения g1(s,т) = g1(—h2{g2(х,г),0},0) первого семейства характеристик со своей постоянной действительно можно записать в виде уравнения g2(—s,т) = g2(x,t) второго семейства характеристик из (8). Из первого уравнения после замены типа (9) в плоскости Оур для образа О'Р' имеем уравнение прямой 12 :

V2(р)^(0) =—л, Л-Р- g2 (-Мл,0},0)=р(0). (32)

На основе установленной выше взаимной заменяемости семейств характеристик g (я, т) = С, г = 1,2, на оси От отсюда вытекают реальные значения координат точек

р'(-л,^(-Мл,о},о)), (33)

Между прочим, после замены типа (9) критическая характеристика g2(x,t) =я2(0,0) из первой четверти плоскости С, взаимно однозначно переходит в полуось р = 0, V > 0 плоскости Оур, так как эта характеристика проходит через начало координат 0(0,0) при л = т = 0. которой в замене типа (9) соответствует начало координат 0(0,0) в Оур, и ось О у перпендикулярна оси Ор.

В равенствах (24) проводим замену типа (9) и имеем интегральное представление Ё:

я Ч я <34)

дОР'О' одмд'

где J(Ъ1,r\) = \l./(х.[) ф 0 - невырожденный якобиан обратного к преобразованию типа (9) и ввиду (25)—(28), (33) точки 0(0,0), М(^ц), Р{ф2{ц,0},0),л), й(^2{}\&,0},0)), Р'(-ц,82(-к2{ц,0},0)), б'(_Л=Л) из Оур являются соответственно образами точек 0(0,0), М(х,1), /'(/г, ¡«2(х./).0| .0).

Q(к1(^(х,г),0},0), Р(— к2^2(х,г),0},0), ^(0,к(2)[0,g2(x,í)]) из Оят.

В равенстве (34) используем уравнение (14), двойные интегралы выражаем через повторные интегралы и получаем сумму повторных интегралов

0 -Л &(-Мл,0),0) -л

Р(^,т\) = | | й%\у,р)С1УС1Р + | | йЦХу,Р)с1ус1Р +

Л ^(р) О у0(р)

О % 82(М?, О),0) %

+ | | ¿¡^(у.рууф + | | Й^Чу.рУУФ. (35)

Ур V 'гЛ * Г ] ] Ур

Л ^(р) О у0(р)

Применяя уравнения (29), (30), (32) линий /0, /,, /2, берем производные и исследуем гладкость

1 у0(р) р=Е2( ^1{^,0},0)

йсмадд»

о

V, (Р^л п

-л я , 1 ( А1 Ач аС-Мч.око)

У0(р) р=Е2(-^2{|,0},0) 0

5

VI (Р>|р-п

так как й(0) е С2(<?0) согласно (15) и

у0(р:>| р=а(/1К,0},<» = Е1(Л2{р,0>,0)| р=Е2(^{?,0},0) =£ , у0(р )| р=а(-МЛ,0},0) = & (Ь2{р, 0},0) | р=Е2(-Мл,0},0) = &( {Л,0},0) = -1, у.( л) = &(0, Л(2)[0,р])| р=| = §1(0, Л(2)[0, л]) = -л

в силу (29), (30), (33), первого при г = 1 и второго при i = 2 тождеств обращения (3). Отметим, что непрерывная дифференцируемость первых производных дР / и дР / дц на О0 сохраняется даже тогда, когда в них соответственно при множителях I и (-/г2 [г|.0; .0) / аг\ интегралы не обра-

щались бы в ноль. Она сохраняется даже без применения реальных координат (33) точек Р' и О' благодаря тому, что в плоскости Оур образом отрезка О'Р' характеристики служит отрезок О'Р' некоторой

прямой, параллельный оси Ор.

Таким образом, отсюда вытекает дважды непрерывная дифференцируемость функции Р вида (34) на (50 и, следовательно, одновременно дважды непрерывная дифференцируемость функции 1< на С0. Поэтому в любой внутренней точке (х'!" л'!") е С , в которую взаимно и однозначно отображение типа (9) переводит точку (£,(0),г|<0)) е О0, функция Е вида (6) не нуждается в корректировке. Итак, мы уже доказали, что действительно Е е С 2(б+).

На основании вышеизложенного заключаем, что при каждом п = 1,2,... верны тождества

(Еп )„ (х, /) - а2 (х,/)(Еп )„ (х, 0 - а-1 (х, Г)а, (х, /)(Е), (х, /) - а(х, Г)ах (х, /)(Еп )х (х, /) =/п (х,/)

для всех (х,г) е О В них переходим к пределу /п ^ / при п ^да равномерно на каждом компакте О, содержащем произвольную точку (х(0), /(0)) е^, и получаем тождество

Е(х,г) — а2 (х,г)Ег(х,г) — а 1 (х,г)а,(х,г)Е(х,г) — а(х,г)ах(х,г)ЕХ(х,г) = /(х,г), (х,г) е 0+

(36)

которое означает, что функция Е вида (6) поточечно удовлетворяет неоднородному уравнению (1) в 0+. Здесь - замыкание криволинейных четырехугольников О0 в плоскости Ох'.

Обращаем внимание читателя на то, что после того как мы убедились в дважды непрерывной дифференцируемое™ функции /-' е С'2 (С ). мы могли не подставлять Е в уравнение (1) на С . В силу /•' е С2 (С ) вместо уравнения (1) можно было подставить Ё в канонический вид (14), потому что для /•' е С2 (С ) уравнение (1) на С+ эквивалентно своему каноническому виду (14). Действительно, мы можем продифференцировать по т| и 4 функцию Ё из (34) в виде двойного повторного интеграла

2 . а(4,Л) 2 а(м;0}д)) а(у,р)

■АМРв ¿(4,11)

и получить правую часть уравнения (14)

д2Ё^,ц) 1 7(4,11) <5г[сЭ£, 2 а(4,л)

(37)

2 я(4,г|),/(х,')

(38)

на образе ={(у,р):/г(2)[р,0]</г(1)[у,0], р < 0; у>0} множества 6' при замене типа (9).

Теперь для выявления дополнительных необходимых требований гладкости (7) на правую часть / к непрерывности / еС(С,) вычисляем производную от Е из (6) вдоль характеристик = С.

из (8), т.е. вдоль векторов о, = ¡(#, ),,-(#,), ¡, / = 1,2. Ортогональные к ним {^гас/ о,) =

(а)х(аХ -(&),(&)* = О, (х,0 е О», градиенты ^ай а(х,0 = {(&)„ (я),}, /' = 1,2, направлены вдоль нормалей к этим характеристикам. В силу вторых тождеств обращения из (3) первые частные производные от функции Е равны

1 г

Е = 2 Г

2 0

Ех" 1Г

/(х,г), т}, т) х,г), т} /(й^х,'),т}, т) дй^х,г), т}'

а(|hl{gl(х,'), т}|, т) дг а(\^^х,'), т}, т) дг _

'/(|х,р, т}, т) дН^1(х,р, т} /(|И2(я2(х,р, т}|, т) дИ2^2(х,р, т}

А х,г), т}|, т) дх

а(| ^^ х, 0, т}|, т)

дх

¿т,

d т.

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

Е е С 2( ) являются непрерывно дифференцируемые функции

ы Р ^ = 1 г/(х,г),т},т) 2 0 а

(Й2{g2(х,г), т}, т)

( g1);

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

д^^ х, г), т} дг

_ дк2&2(т} (ял _

дх

¿т =

Д^г) Г /(I^х,г), т}, т) ¿теС^+),

2 0 а(к{g2(х,г), т}|, т) дg2

(39)

, , , ^ 1 \/(\Мя(х,г), т}, т)

2 0 а

( ИМ, х, г), т}, т)

ак^ДхО/т}, дг^д х,г), т}

(<52Л _ ( .52 Л

дх

дг

d т =

1 '

- • ( х,' ) |

/(х,'), т}, т) дк^Дх,'), т} а(| х, г), т}, т) дgl

¿х е С),

(40)

0

так как для частных производных от функций h = h {g (-M), т} справедливы соотношения

( -j dhj{g,(х,t), т} dhi{gi(х,t), т} =

1 х d £ ' t дх

= ( g )х ( g, )t - (g, )t ( g, )х , 0, , = 1,2.

Sgi dg,

( g - ( g = [( gi) - ( g2)t _ ( g2)x ] dh2{g,(V ), X} = J ( х, t ) д^(t ), ,

dt дх og2 og2

dhi{gi(х, t), t) dhi{gi(х,Г), x} _

(g 2)' дх 1 g 2) х dt

= [Ых ( g2)t - ( gi)t ( g2)х ] = j ( х, t) .

Sgi dg i

Отсюда следует справедливость включений (7), так как якобиан J(х,/) ф 0 в Gœ и J е C1(G ). Необходимость интегральных требований гладкости (7) доказана.

Достаточность непрерывности f е С(G„) и требований гладкости (7) для F е C2(G+) вытекает из непрерывной дифференцируемости в G первых частных производных F и F от функции F как решений линейной системы алгебраических уравнений (39), (40) с непрерывно дифференцируемыми правыми частями этой системы благодаря (7) [2]. Выше методом корректировки пробных решений нами доказано,

что функция F е C2( G+ ) вида (6) поточечно удовлетворяет уравнению (1) в G+. Теорема 1 доказана.

Замечание 1. В статье [1] методом корректировки показано, что соответствующая функция F типа (6) при «j ф а2 не является классическим решением волнового уравнения щ (х,/) + (a - а2 Щ (х, t) --аа^ (х, t) = f (х, t) с постоянными коэффициентами а » а2 > 0 в G+, так как F не дважды непрерывно дифференцируема в G+ при а1 ф а2 для функций f = f (х,/) е C(G„ ), зависящих от х и t. Эта функция F при а = а2 = а = const > 0 равна нашей функции (6). В учебнике [5, с. 83] для того, чтобы не брать значения правой части f (х,/) для точек х < 0, в которых она не задана, в формуле (31) даже кусочно-гладкого решения первой смешанной задачи для интегрального уравнения (29) колебаний полуограниченной струны взят модуль нижнего предела интегрирования |х - а(t -x)| в аналогичном интеграле F. В статье [1] для

классических решений простейшего уравнения колебаний полуограниченной струны и, в частности, этого же интегрального уравнения (29) из [5] вместо модуля этого нижнего предела интегрирования автором берется модуль от х подынтегральной функции f (| х| ,t) и доказывается дважды непрерывная дифференцируе-

мость соответствующего интеграла F в первой четверти плоскости G . Очень важно отметить, что хотя в [1] функция F при а ф а2 не нуждается в корректировке на G, так как F е С2(G_ ), проводится корректировка этой функции F на G в теореме 3 из [1] с помощью предела интегрирования t0 (х) = (k -1)(х - аjt) / (а + а2 ), k > 1, для построения различных общих интегралов из дважды непрерывно дифференцируемых решений указанного выше волнового уравнения при а ф а2 в первой четверти плоскости Gœ •

Следствие 1. Пусть коэффициент а(х,t) > а0 > 0, (х,/) е Gœ, а еС2(Gœ) . Если правая часть f уравнения (1) не зависит от х или t в G„, то непрерывности f соответственно по t или х необходимо и достаточно для того, чтобы функция F из (6) являлась классическим решением неоднородного уравнения (1) в G+.

Доказательство. Необходимость непрерывности f е С[0, +<»[ по t или х этого следствия строго обоснована выше. Фактически остается показать достаточность этой непрерывности f е С[0, +»[ по t или х тем, что в этом случае соответствующие интегральные требования гладкости (7) автоматически выполняются.

Если правая часть f = f (t) не зависит от х, то функция F из (6) принимает вид

Л t Mfi( х,> X Т} f, Ч

F ( x,t ) = 1 f f fX^ dsdx (41)

20 ^Jхt ), x) а( sl,X)

Согласно обоснованию включения Е е С2( ) в начале доказательства теоремы 1 функция (41) является решением уравнения (1) в 0+. Для всех / е С[0, +»[ ее первые частные производные очевидно непрерывно дифференцируемы в С+ :

дЕ( х,' ) _ 1 д' ~ 2;

дЕ (х,')_ 1

/ )

дк ^ (Х,'), т}

/ )

дк^ Х,'), т}

дх

2 Г

х, '), т}|, т) д' а(| х,'), т}|, т) д'

/(т) дкШ х,/), т} /(х) дк ^^^ (х,0, т}'

х, '), т}|, т)

з(| к^( х,'), т}|, т) дх

¿т е С ), ¿т е С (^),

где мы воспользовались вторыми тождествами обращения из (3).

Если правая часть / = /(х) не зависит от ', то функция Е из (6) приобретает вид

Е( Х.') = 1 I I

0 Н2(?2( Х/), т}

/ ( я|)

т} а(\, т)

¿я d т.

(42)

Также, как в начале доказательства следствия 1, из теоремы 1 имеем, что эта функция дважды непрерывно дифференцируема Е е С2() и удовлетворяет уравнению (1) в С+ . Проверим ее дважды непрерывную дифференцируемость для / еС[0, +х>[. Первая частная производная по ' от (42) равна функции

дЕ (х,') _ 1' = 2Г

д

/(|кШх,'), X}|) дк(я(х,'), т} /(|к^(х,'), х}) дк^хх,'), т}'

1(\И1(?1(х,'), т},т) д'

з(| к^( Х,'), т}|, т) д'

d т,

в которой мы также применили вторые тождества обращения из (3). Когда здесь мы перейдем к новым переменным интегрирования у = к^(х,'),х}, г = к,(^(х,'), т}, тогда мы получим уже очевидное непрерывно дифференцируемое на 0+ представление этой производной

дЕ(х, ) 1

д

2

Ма( х,'),0}

/(|у|) дкШх,'), т} (дкЫх,'), т}V1

у|, т)

д

дт

¿у —

т=и(1)[ у,а( х,')]

1 1

'МЫ Х,'), 0}

/ (| г) йИ2^2( х,'), т } ( зим х,'), т} v1

4 г, т)

д'

Зт

¿г е С 1(в+),

=И(2)[ х,')]

в котором мы воспользовались вторыми тождествами обращения из (3) и тождествами т = И(1)[у,^(х,')], т = И(2)[ г, й (х,')] благодаря вторым тождествам обращения из (5).

Для всех / е С[0, +»[ первой частной производной по х от (42) является функция

дЕ (х,')_1'

2 Г

дх

/(Мй(х,'), X}) дк^Хх,'), т} /(к^(х,'), X}) дИ2^2(х,'), т}

А к(й( Х,'), т}, т) дх

з(| И (й (х,'), т}|, т) дх

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

d т,

в которой мы использовали вторые тождества обращения из (3). После перехода здесь к новым переменным интегрирования у = к (х,'), т}, г = к (х,'), т} эта частная производная приобретает очевидное для / е С[0, +<»[ непрерывно дифференцируемое на 0+ представление

дЕ(х, )

= 1 г

ЗХ 2 Г

дх 2 Ма( х,'),0}

/(|у|) дИМх,'), т} (ЗкШх,'), т}

4 у\, т)

дх

дт

¿у —

=И(1)[ у,а( х,')]

0

х

1 1 -1 /

'МйС х,/), 0}

1(|А) дк2{&(X,/), т} (дк2^2(х,/),т} а(| А, т) дх { дт

ёг е С),

т=Л(2)[ а,«2( х,/)]

где мы применили те же самые тождества, что и для частной производной от Е по /.

Итак, достаточность / еС[0, +да[ для Е е С2( ) проверена. Факт выполнения уравнения (1) в О+ для функции Е вида (6) с непрерывной и зависящей только от / или х правой частью / еС[0, +да[ очевидно следует из теоремы 1. Следствие 1 доказано.

Теорема 2. Пусть коэффициент а(х,/) > а0 > 0, (х,/) е О, а е С2(О_). Функция (6)является классическим решением неоднородного уравнения (1) в О_ тогда и только тогда, когда его правая часть / е С( О- ) и

н(,)(х,/) ^ /Ц&(х,/),т},т) дЩ(х,/),т} йтес!(о ), , = 1,2. (43)

О (х,/), т}, т) д8,

Доказательство. Достаточность. Из гладкости / е С(О) и (43), конечно, следует гладкость Е е С2(О_). Остается показать то, что функция Е вида (6) поточечно удовлетворяет уравнению (1) на О_. Поскольку в функции Е вида (6) на О под интегралом у правой части / модуль |х| = х, то замена переменных (9) дважды непрерывно дифференцируема на О, и поэтому уравнение (1) эквивалентно каноническому виду (14) на О . Значит, можно не проверять дважды непрерывную дифференцируемость функции Е на С_ и не подставлять ее в уравнение (1) на С . т. с. не проверять Т7 е С2(Ст_) и вместо уравнения (1) на С подставить функцию Р из (37) в его канонический вид (14) на образе С = !(\\р): И2[р.О) < Л {у,0}, р> 0, у> 0} множества О после замены переменных типа (9) так же, как выше в (38) на О+.

Но можно еще убедиться в дважды непрерывной дифференцируемости Е на О так же, как в доказательстве теоремы 1. Точки (х(0), /(0)) е О - внутренние точки ограниченных криволинейных четырехугольников О с О„ со сторонами характеристиками (8). В плоскости О^т функция (6) выражается через двойной интеграл по криволинейному характеристическому треугольнику А MPQ с вершиной М(х, /) е О и вершинами его основания ['(!% ¡«-2(х,/),0| ,0), О (Л, (л\/Г),0| ,0) (рисунок 2, я), который в плоскости Оур с помощью замены типа (9), где уже г| = > ¿'2(0,0), приводится к двойному интегралу

Е(х, /) =

2 л

2 А МР<2

/ ( х, /)

а( х, /)

=

2 Л

Д КРО

(44)

по треугольнику Ас вершиной М(с,г\) е 6"„ и вершинами {К ¡с,0|,0))

его криволинейного основания РО на кривой /0 из (29) (рисунок 2, б).

б

а - для функции Е ; б - для функции /•' Рисунок 2. - Область интегрирования на множестве О

а

Двойной интеграл из равенства (44) выражаем через уравнение (14) и повторный интеграл

Ё(4,л) = || *С(у,р)</уар = | |

д мРд л v0(p)

дифференцируем один раз функцию Е по 4 и Л и находим первые частные производные:

ар&л) } ~(о)л. „ч. .1 дё2ш,о},о) -<то)

| Р^(М^О) + I 5>,Р>|^Р =

J »р 1 " ' | р=Й2 л ^

^^ = - | =йГ(я(к{л,0},0),Р)|р^ - «И^) - С1 (4)

V0( Р )| р.

так как й(0} еС2(<Э0) согласно (15) и У0(р)|р=й(Л1К0, 0)=я1(/г2{р,0},0)|р=а(;г1{?0}0) =4 согласно первому

при / = 1 и второму при г = 2 тождествам обращения (3).

Отсюда следует дважды непрерывная дифференцируемость функции Е на <Э0 и, значит, одновременно дважды непрерывная дифференцируемость функции Е на О0. Итак, для точек (х(0), '(0)) тем более не нужна корректировка функции Е. Далее так же, как в доказательстве теоремы 1, можно еще вывести тождество (36) на О.

Необходимость. Непрерывность / е С(О) вытекает из уравнения (1), которому удовлетворяет Е в О. Гладкости (43) можно вывести так же, как при доказательстве теоремы 1, из дважды непрерывной дифференцируемости функции Е е С2 (О_). Теорема 2 доказана.

Следствие 2. Пусть коэффициент а(х,') > а0 > 0, (х,') е О, а е С2(О). Если правая часть / уравнения (1) не зависит от х или ' в О , то непрерывности / соответственно по ' или х необходимо и достаточно для того, чтобы функция Е из (6) являлась классическим решением неоднородного уравнения (1) в О.

Доказательство этого следствия аналогично доказательству следствия 1.

Замечание 2. Для вывода критериев корректности смешанных (начально-краевых) задач для неоднородных телеграфных уравнений в первой четверти плоскости О утверждения теорем 1 и 2 и их следствий 1 и 2 было целесообразно записать одной теоремой (без предположения непрерывности / е С( О)) и одним следствием (см. следствие 5). Они продублированы нами ради прозрачности и подробности изложения доказательств с помощью разных рисунков 1 и 2.

Теоремы 1 и 2 объединяет одна общая

Теорема 3. Пусть коэффициент а(х,') > а0 > 0, (х,г) е О, а е С2(О). Функция (6)является классическим решением неоднородного уравнения (1) в О^ тогда и только тогда, когда его правая часть

г тп \ иг а Г (1Н (Х ^ т) дк, ^ 1 (х,'), т} л 1 л-,-, / е). Я,(x,') = I —'—т- dтеС (°„), '= 1,2. (45)

0 а(\{g'■(x,'), т) д&

Доказательство. Достаточность. Требования (45) обеспечивают то, что функция Е вида (6) представляет собой классическое решение уравнения (1) в О и О , ввиду теорем 1 и 2, а также и на критической характеристике g2 (х,') = g2 (0,0), так как требования (45) гарантируют дважды непрерывную диффе-ренцируемость Е в окрестности этой характеристики.

Необходимость. Если функция Е вида (6) является классическим решением уравнения (1) в О ,

то Е е С2(О) и, следовательно, справедливы требования гладкости (45).

Для явного решения смешанных (начально-краевых) задач для модельного телеграфного уравнения (1) методом характеристик [5] важно знать его общий интеграл.

Следствие 3. Пусть выполняются а(х,/) > а0 > 0, (х,/) е О„, а еС2(О„) и (45) для /. Тогда общим интегралом уравнения (1) в первой четверти плоскости О во множестве классических (дважды непрерывно дифференцируемых в О„) решений являются функции

Чх,0 = /1(§1(х,0) + /2(§2(х,0) + ^(х,0, (46)

где / и /2 - любые дважды непрерывно дифференцируемые функции переменных т| вида

Ы) = А © + /2 (я2 (0,0)), /2 (л) = /2 (л) - /2 (0,0)). (47)

Доказательство. Для непрерывной правой части / е С(О„) интегральные требования гладкости (45) из следствия 3 очевидно равносильны одновременно интегральным требованиям гладкости (7) из теоремы 1, (43) из теоремы 2 и требованию непрерывности первых частных производных от функций Н(,), Н(),, = 1,2, в некоторой окрестности характеристики я2 (х, /) = я2 (0,0). Ясно, что для / е С(О) в (6) непрерывно дифференцируема функция ЕеСг(О„) и, значит, функции Н\ Н(,),,' = 1,2, непрерывны на характеристике я2 (х, /) = я2 (0,0) так же, как на характеристике х = а/ в кандидатской диссертации2.

Поэтому согласно теоремам 1 и 2 предположения следствия 3 гарантируют то, что действительно функция Е еС2(О) и поточечно удовлетворяет неоднородному уравнению (1) в О„. Тогда формулы (46), (47) представляют собой множество всех классических решений уравнения (1) на О , в которых классические решения (47) однородного уравнения (1) получены «методом погружения в решения с фиксированными значениями» из [6] для упрощения процедуры решений систем дифференциальных уравнений. Следствие 3 доказано.

Следствие 4. Пусть коэффициент а(х,/) > а0 > 0, (х,/) е О„, а е С2(О„). Если функция / зависит от х и /, то для / е С(О„ ) требование принадлежности интегралов из (45) пространству С 1(О„ ) эквивалентно требованию их принадлежности пространству С (1'0)(Ооо) или С <0,1)(^ ). Здесь С (1'0)(Ооо), С (од)(О„) - соответственно пространства непрерывно дифференцируемых по х и / и непрерывных по / и х функций на О .

Доказательство. Непрерывно дифференцируемые правые части / еС'( О„) очевидно удовлетворяют интегральным требованиям из (45). Заменами я = И(х,/), т} переменной интегрирования т, например, интегралы из (45) приводятся к интегралам

= 1

И {&(х,/),0}

Н (х,/) = Г 1 (К^(х,/),т}|,т) дИ,[я,(х,/),т} ёт = , 1 а(| К [& (х,/), т}|, т) дg¡

/(|Я I т) дИ, [я, (х, /), т} ( дИ,[& (х, /), т} V1

г(| Я , , т) дЯ, V дт

^ е СЧО„ ),, = 1,2, (48)

т=Л(,)[я,, 6( х,/)]

которые для / еС'(О„) действительно непрерывно дифференцируемы по х и / в Ою, потому что в последних интегралах (48) под модулем |я| отсутствуют переменные х и /. В противном случае модуль дал бы разрыв производных. Здесь мы применили вторые тождества обращения из (3) и равенства т = й(,)[я, я (х,/)], , = 1,2, ввиду вторых тождеств из (5).

Сначала для более гладких / е С:(О„) берем производную от (45)

дН,(х,/) /(|И,[&(х,/) /}, /) дИ,[я,(х,/), /} | | д/ а(| И, [я, ( х,/), /}|, /) дя, 1

/(|(x,/) т}^ т) дИ,[я, (х,/), т}' а(| И [я, ( х,/), т}|, т) дя,

ё т =

2 Новиков, Е. Н. Смешанные задачи для уравнения вынужденных колебаний ограниченной струны при нестационарных граничных условиях с первой и второй косыми производными : дис. ... канд. физ.-мат. наук : 01.01.02 / Е. Н. Новиков. -Минск, 2017. - 258 л.

f (x, t) 1 |

a(x,t) (gi)x

(-1)'+1 a( x, t) J

f (|h {gi (x,t), t}|, t) 5h {gi (x,t), t}

a(hi {gi (x,tx t} , t) 5gi

d t =

= /(Х,/) -1-+ (-1)'- а(х,') ЗЯМ, ' = 1,2, (49)

а(Х. ') (gi (Х. '))х дх

в силу вторых тождеств обращения из (3), формулы производной обратной функции, (11) и д/(|И,&(х.'). т}|. т) _ д/(|(х.О. т}|. т) дк{g'.(х.г). т}

St dht dgj

< g, )t =

= (-1)+x, ^^^^^^ shig^ (g = ^^ f (|h {g,(^ X t}, t) ,

dht dg ox

S 2 {g,. (x, t), t} {g (x,t), t}

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

-^-=-i~2-(g(x,t))> =

otogi ogi

= (-D'+Kx,t(g,(x,t)), = (-ix,t), i = °gi SxSgi

Затем два равенства первых и самых последних частей из (49), не содержащих явных производных от функции f по x и t в G„, распространяются предельным переходом по f c более гладких

f е C1(G„) на непрерывные функции f е C(G„), удовлетворяющие (45) в G„. Эти полученные после предельного перехода два равенства (49) подтверждают справедливость утверждения следствия 4 на G„.

Отметим, что в равенствах (49) наши значения индекса i = 1 и i = 2 соответствуют значениям индекса i = 2 и i = 1 в замечании 2.1 диссертации Е. Н. Новикова при a(x,t) = a = const > 03 из-за взаимно обратного соответствия характеристик. Следствие 4 доказано.

Следствие 5. Пусть коэффициент a(x,t) > a0 > 0, (x,t) е G„, a е C2(G„) . Если правая часть f уравнения (1) не зависит от x или t в G„, то непрерывности f соответственно по t или x необходимо и достаточно для того, чтобы функция F из (6) являлась классическим решением неоднородного уравнения (1) в G„.

Доказательство сводится к применению следствий 1 и 2.

Под интегралом в виде множителей функции f гладкий невырожденный коэффициент a е С2 (G„) и функции g,h е C2(G„), i = 1,2, не препятствуют требованию (45) на f е C(G„).

Замечание 3 [2]. Для коэффициента a(x,t) > a0 > 0, (x,t) е G„, a е C2(G„) интегральные требования гладкости из (45) на непрерывную f е C(G„) равносильны требованиям

j" f(|h{gi(x,t), t}, t) dT е C:(G„), i = 1,2.

Заключение. Найден критерий дважды непрерывной дифференцируемости решения Е вида (6) неоднородного модельного телеграфного уравнения в первой четверти плоскости О . Он состоит из требования непрерывности правой части / е С(О) уравнения (1) и двух интегральных требований гладкости (45) в О. Установлено, что если правая часть / не зависит от х или ' в О, то непрерывности / соответственно по ' или х необходимо и достаточно для того, чтобы функция Е из (6) являлась классическим решением неоднородного уравнения (1) в О. Построен общий интеграл (46), (47) из дважды непрерывно

0

0

3 Новиков, Е. Н. Смешанные задачи для уравнения вынужденных колебаний ограниченной струны при нестационарных граничных условиях с первой и второй косыми производными : дис. ... канд. физ.-мат. наук : 01.01.02 / Е. Н. Новиков. -Минск, 2017. - 258 л.

дифференцируемых функций для явного решения различных смешанных (начально-граничных) задач для модельного телеграфного уравнения (1) в О .

Работа выполнена при поддержке БРФФИ (проект № Ф22КИ-001 от 05 ноября 2021 г.).

ЛИТЕРАТУРА

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

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

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

4. Соболев, С. Л. Некоторые применения функционального анализа в математической физике / С. Л. Соболев. -М. : Наука, 1988. - 333 с.

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

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

REFERENCES

1. Lomovtsev, F. E. (2017). Metod korrektirovki probnogo resheniya obshchego volnovogo uravneniya v pervoi chet-verti ploskosti dlya minimal'noi gladkosti ego pravoi chasti [Correction method of test solutions of the general wave equation in the first quarter of the plane for the minimum smoothness of its right-hand side]. Zhurnal Belorusskogo gosudarstvennogo universiteta. Matematika. Informatika [Journal of the Belarusian State University. Mathematics and informatics], (3), 38-52. (In Russ., abstr. in Engl.).

2. Lomovtsev, F. E. (2021). Pervaya smeshannaya zadacha dlya obshchego telegrafnogo uravneniya s peremennymi koeffitsi-yentami na polupryamoy [The first mixed problem for the general telegraph equation with variable coefficients on the halfline]. Zhurnal Belorusskogo gosudarstvennogo universiteta. Matematika. Informatika [Journal of the Belarusian State University. Mathematics and Informatics], (1), 18-38. DOI: 10.33581/2520-6508-2021-1-18-38. (In Russ., abstr. in Engl.).

3. Brish, N. I., & Yurchuk, N. I. (1971). Zadacha Gursa dlya abstraktnykh lineinykh differentsial'nykh uravnenii vtorogo poryadka [The Goursat problem for abstract second-order linear differential equations]. Differentsial'nye uravneniya [DifferentialEquations], 7(6), 1017-1030. (In Russ.).

4. Sobolev, S. L. (1988). Nekotoryye primeneniya funktsional'nogo analiza v matematicheskoy fizike [Some applications offunctional analysis in mathematical physics]. Moscow: Nauka. (In Russ.).

5. Tikhonov, A. N., & Samarskiy, A. A. (2004). Uravneniia matematicheskoi fiziki [The equations of mathematical physics]. Moscow: Nauka.

6. Lomovtsev, F. E., & Lysenko, V. V. (2019). Nekharakteristicheskaya smeshannaya zadacha dlya odnomernogo volnovogo uravneniya v pervoi chetverti ploskosti pri nestatsionarnykh granichnykh vtorykh proizvodnykh [A non-characteristic mixed problem for a one-dimensional wave equation in the first quarter of the plane with non-stationary boundary second derivatives]. Vesnik Vitsebskaga dzyarzhaunaga universiteta [Bulletin of the VitebskDzyarzhaunaga University], 5(104), 5-17. (In Russ., abstr. in Engl.).

Поступила 27.06.2022

SMOOTHNESS CRITERION FOR A PARTICULAR CLASSICAL SOLUTION OF AN INHOMOGENEOUS MODEL TELEGRAPH EQUATION IN THE FIRST QUARTER OF THE PLANE

F. LOMOVTSEV (Belarusian State University, Minsk)

The smoothness criterion is derived on the right-hand side f for classical solution F of the equation utt(x,t) -a2(x,t)uxx(x,t) -a~l(x,t)at(x,t)ut(x,t) -a(x,t.)ax(x,t)ux(x,t) = f(x,t), (x,t.) e =]0,-Ko]x]0,-Ko], at variable rate a(x,t) in the first quarter of the plane GrJl. The smoothness criterion consists of the necessary and sufficient smoothness requirements for the right-hand side of this model telegraph equation. The necessary smoothness requirements on f are justified by the correction method of test solutions proposed earlier by the author of this article. This method indicated a doubly continuous differentiability of the function F without correcting it.

Therefore, the derivatives along two families of implicit characteristics of this equation give the necessary smoothness on f. From here it is easy to deduce their sufficiency for the doubly continuous differentiability of F. When f depends only on x or t, then this smoothness criterion is equivalent to continuity f, respectively, over x or t. For the equation, a general integral is constructed with a smoothness criterion of its right-hand side f.

Keywords: model telegraph equation, variable rate, implicit characteristics, correction method, classical solution, smoothness criterion.

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