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

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

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

Аннотация научной статьи по математике, автор научной работы — Богатов Андрей Владимирович, Гилев Антон Владимирович, Пулькина Людмила Степановна

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

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

A PROBLEM WITH A NON-LOCAL CONDITION FOR A FOURTH-ORDER EQUATION WITH MULTIPLE CHARACTERISTICS

In this article, we consider a non-local problem with an integral condition for a fourth-order equation. The unique solvability of the problem is proved. The proof of the uniqueness of a solution is based on the a priori estimates derived in the paper. To prove the existence of a solution, the problem is reduced to two Goursat problems for second-order equations, and the equivalence of the stated problem and the resulting system of Goursat problems is proved. One of the problems of the system is the classical Goursat problem. The second problem is a characteristic problem for an integro-differential equation with a non-local integral condition on one of the characteristics. It is impossible to apply the well-known methods of substantiating the solvability of problems with conditions on characteristics to the study of this problem. The introduction of a new unknown function made it possible to reduce the second problem to an equation with a completely continuous operator, to verify, on the basis of the uniqueness theorem, that it is solvable and, by virtue of the proven equivalence of the problems, that the problem posed is solvable.

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

Том 27, № 139

2022

(g Богатов А.В., Гилев А.В., Пулькина Л.С., 2022 DOI 10.20310/2686-9667-2022-27-139-214-230 УДК 517.95

nQ

OPEN fil ACCESS

Задача с нелокальным условием для уравнения четвертого порядка с кратными характеристиками

Андрей Владимирович БОГАТОВ, Антон Владимирович ГИЛЕВ, Людмила Степановна ПУЛЬКИНА

ФГАОУ ВО «Самарский национальный исследовательский университет имени академика С. П. Королева» 443086, Российская Федерация, г. Самара, ул. Московское шоссе, 34

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

Ключевые слова: нелокальная задача, уравнение четвертого порядка, интегральные условия, задача Гурса, нагруженное уравнение

Для цитирования: Богатов А.В., Гилев А.В., Пулькина Л.С. Задача с нелокальным условием для уравнения четвертого порядка с кратными характеристиками // Вестник российских университетов. Математика. 2022. Т. 27. № 139. С. 214-230. DOI 10.20310/26869667-2022-27-139-214-230.

© A.V. Bogatov, A.V. Gilev, L.S. Pulkina, 2022 DOI 10.20310/2686-9667-2022-27-139-214-230

"3й

A problem with a non-local condition for a fourth-order equation

with multiple characteristics

Andrei V. BOGATOV, Anton V. GILEV, Ludmila S. PULKINA

Samara National Research University 34 Moskovskoye shosse St., Samara 443086, Russian Federation

Abstract. In this article, we consider a non-local problem with an integral condition for a fourth-order equation. The unique solvability of the problem is proved. The proof of the uniqueness of a solution is based on the a priori estimates derived in the paper. To prove the existence of a solution, the problem is reduced to two Goursat problems for second-order equations, and the equivalence of the stated problem and the resulting system of Goursat problems is proved. One of the problems of the system is the classical Goursat problem. The second problem is a characteristic problem for an integro-differential equation with a non-local integral condition on one of the characteristics. It is impossible to apply the well-known methods of substantiating the solvability of problems with conditions on characteristics to the study of this problem. The introduction of a new unknown function made it possible to reduce the second problem to an equation with a completely continuous operator, to verify, on the basis of the uniqueness theorem, that it is solvable and, by virtue of the proven equivalence of the problems, that the problem posed is solvable.

Keywords: non-local problem, fourth-order equation, integral conditions, Goursat problem, loaded equation

Mathematics Subject Classification: 35G15, 45D05.

For citation: Bogatov A.V., Gilev A.V., Pulkina L.S. Zadacha s nelokal'nym usloviyem dlya uravneniya chetvertogo poryadka s kratnymi kharakteristikami [A problem with a non-local condition for a fourth-order equation with multiple characteristics]. Vestnik rossiyskikh uni-versitetov. Matematika - Russian Universities Reports. Mathematics, 2022, vol. 27, no. 139, pp. 214-230. DOI 10.20310/2686-9667-2022-27-139-214-230. (In Russian, Abstr. in Engl.)

Введение

В основе математических моделей многих процессов и явлений лежит уравнение четвертого порядка

пи - (апх)х - (Ъпхи)х + си = /(х, г),

которое можно интерпретировать как обобщение уравнения Буссинеска-Лява [1]. В частности, это уравнение описывает продольные колебания стержня с учетом инерции поперечных смещений элементов стержня [2]. Для этого уравнения рассматривались начально-краевые задачи [3,4], обратные задачи [5,6], а также нелокальные задачи [7-10] (статьи, посвященные смежным вопросам, см. в списках литературы цитируемых работ). В предлагаемой работе исследуется задача, одно из условий которой является нелокальным, что весьма затрудняет применение известных классических методов исследования разрешимости поставленной задачи. В настоящее время задачи с нелокальными условиями для уравнений с частными производными продолжают привлекать внимание исследователей. Интерес к этому классу задач обоснован необходимостью построения математических моделей, отвечающих потребностям современного естествознания [11]. Вскоре после выхода статей [12,13], положивших начало систематическим исследованиям нелокальных задач с интегральными условиями, появился ряд работ, в которых в том или ином качестве присутствуют нелокальные интегральные условия: либо вместо граничных [14,15,17], либо в качестве условий переопределения в обратных задачах [18-20].

В большинстве упомянутых выше работ изучены задачи для уравнений второго порядка. Предложенный в данной работе метод позволил доказать существование единственного решения задачи для уравнения четвертого порядка. Доказательство единственности решения базируется на полученных в работе априорных оценках. Для обоснования существования решения используется не совсем обычный прием, который подсказан самим уравнением: учитывая естественное условие Ъ(х,г) = 0, рассматриваемое уравнение можно трактовать как уравнение с доминирующей производной четвертого порядка [21-23].

1. Постановка задачи

Рассмотрим уравнение

иы - (аих)х - (Ъихы)х + си = /(х, г), (1.1)

в области Qт = (0,1) х (0,Т) , предполагая, что коэффициенты уравнения и его правая часть — достаточно гладкие функции, а(х,г) > ао > 0, Ъ(х,г) > Ъ0 > 0 в Qт, и поставим для него следующую задачу.

Задача 1. Найти в Qт решение уравнения (1.1), удовлетворяющее условиям

и(х, 0) = р(х), щ(х, 0) = ф(х), их(0, г) = 0, (1.2)

I

и(1,г) + у к (х)и(х, г)(^х = 0. (1.3)

о

Под решением задачи 1 будем понимать функцию и Е С2((5т), иххц Е С), удовлетворяющую в области Qт уравнению (1.1) и условиям (1.2), (1.3). Будем также предполагать

выполненными условия согласования

I I

+ / кЮФ)* = о, т + / к= О, =0. (1.4)

0 0

2. Эквивалентная форма задачи 1

Условие (1.3) относится к нелокальным интегральным условиям второго рода. Известно [24], что интегральные условия второго рода могут содержать в качестве внеинтеграль-ного слагаемого как след самого искомого решения, так и его производную по направлению нормали к боковой поверхности. Для исследования нелокальных задач с интегральным условием, содержащим производную, разработан эффективный метод, позволяющий обосновать разрешимость задачи в пространстве Соболева [7,24]. При его реализации удается использовать многие стандартные приемы вывода априорных оценок, на которых в основном базируется доказательство как единственности, так и существования решения. Но этот метод неприменим, если внеинтегральное слагаемое не содержит производной по нормали, и исследование задач с условием такого типа, к которому принадлежит и

(1.3), требует иного подхода. В [25] был предложен метод, который затем был развит в работах [26,27]. Существенным ограничением при реализации этого метода является требование разрешимости интегрального уравнения, неизбежно порождаемого интегральным условием. Снятию этого ограничения посвящены работы [26,27]. Заметим, что в частном случае, в случае одной пространственной переменной, эту трудность можно легко обойти с помощью приема, разработанного для уравнения второго порядка [24], позволяющего перейти от условия вида (1.3) к условию, содержащему производную по направлению нормали. Мы используем здесь этот прием для уравнения четвертого порядка (1.1), и суть его заключается в утверждении леммы, которая сейчас будет сформулирована и доказана.

Лемма 2.1. Если п(х,Ь) — решение задачи 1, выполняются условия согласования

(1.4) и К(I) = 0, то условие (1.3) эквивалентно условию

к (¡)[а(1,г)пх(1,г) + Ъ(1,г)ихЫ(1,г)]

I

= (Ъ(1,г)к'(1) - 1)пи(1,г) + ъ(1,г)к'(о)ии(о,г) - [(к'а)х - кс]пдх

0 (2.1)

I I

- [(к'Ъ)хЩъдх + к'(!)а(1,г)п(1,г) - к'(0)а(0,г)п(0,г) - [ к/дх.

Доказательство. Пусть п(х,Ь) — решение задачи 1. Дифференцируя (1.3) по Ь и учитывая, что пи = (апх)х + (Ъхи)х - сп + / в силу (1.1), получим равенство

па(1,Ь) + к(х)пы(х,г)дх = пы(1,Ь)+ к(х)[(апх)х + (Ъхьь)х - сп + /]дх,

интегрируя правую часть которого, получим (2.1).

Пусть теперь п(х,г) удовлетворяет уравнению (1.1), условиям (1.2) и (2.1). Умножим равенство (1.1) на К(х) и проинтегрируем по (0,1), получим

ггг II

J К(х)пиСх — J К(апх)хСх — J К(х)(Ьпха)хСх + ^ КспСх = J Kfdx.

ООО 00

Интегрируя по частям в правой части те слагаемые, которые содержат производные по пространственной переменной под знаком интеграла, и учитывая условие (2.1), получим

I

пи(1,г) +1К (х)щь(х,г)Сх = о.

о

Представим это равенство следующим образом:

I

дг2

0.

п(1,г) + J К(х)п(х,г)Сх о

В силу начальных условий п(х, 0) = <р(х), щ(х, 0) = ф(х) и условий согласования (1.4)

I

приходим к следующей задаче Коши относительно функции п(1,г) + / К(х)па(х,г)Сх :

сг2

п(1,г) + К (х)п(х,г)Сх

0,

о

п(1, 0) + ! К(х)п(х, 0)Сх = 0, щ(1,0) + ! К(х)щ(х, 0)Сх = 0. о о

I

Эта задача имеет единственное тривиальное решение п(1,г) + / К(х)п(х,г)Сх = 0, а это и

о

означает, что выполняется условие (1.3). □

Утверждение доказанной леммы дает возможность вместо задачи 1 с нелокальным условием (1.3) изучать задачу с условием (2.1), которое содержит выражение а(1,Ь)пх(1, г) + Ь(1,г)пхц(1,г). Именно присутствие этого выражения в нелокальном условии позволит получить оценку, с помощью которой в следующем разделе будет доказана единственность решения.

Задача 2. Найти в Qт решение уравнения (1.1), удовлетворяющее условиям (1.2) и (2.1).

3. Основные результаты

Введем следующие обозначения.

7 =1 — Ь(1,г)К'(1), ко = [ К2(х)Сх,

ио

Н(х,г) = (К'а)х- сК, Н0 = т&х Н2(хЛ)Сх.

[0,Т] 7о

Теорема 3.1. Пусть a,at,b,bt,c G C(QT), K G C2(0,l) П C1[0,l]. Если справедливы неравенства

1 rl

yK(l) > 0, 1 — —— K2(x)dx > 0

K (l) J0

и выполняется хотя бы одно из двух условий:

K(x) = const > 0, (3.1)

(K'b)x = K (x), K'(0) = 0, (3.2)

то существует не более одного решения задачи 2.

Доказательство. Предположим, что существуют два различных решения, u1(x,t) и u2(x,t), задачи 2. Пусть выполняется условие (3.1) теоремы 3.1: K(x) = k. Тогда u = u1 — u2 удовлетворяет уравнению

utt — (aux)x — (buxtt )x + cu = 0 (3.3)

и однородным условиям

u(x, 0) = 0, ut(x, 0) = 0, ux(0, t) = 0, (3.4)

i

a(l,t)ux(l,t) + b(l,t)uxtt(l,t) = c(x,t)u(x,t)dx — — utt(l,t). (3.5)

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

k

0

Умножим (3.3) на ut(x,t) и проинтегрируем полученное равенство по прямоугольнику Qt = (0,l) х (0, т), т G [0,T]

т l

//[«* — (а«*), — + cu]u,dXdt = 0.

00

Интегрируя три первых слагаемых по частям, учитывая условия (3.4), получим

l т l

- \_u2(x,T) + au2x(x,T) + bu2xt(x,T)] dx + cuutdxdt

0 0 0 Т I Т

= ^J У [аПх + ЪЩ^дхдЬ + J щ(1,Ь) [апх(1,Ь) + Ъпхи(1,1)~]дЬ. 0 0 0

Используя условие (3.5), преобразуем последнее слагаемое правой части:

I Т I

1! [п1(х,т) + ап2х(х,т) + Ъп2х1(х,т)]дх + J ^ спщдхсИ

0 0 0

Т I Т Т I

= lJ У [аЩх + ЪЩх1]дхд1 - щ(1,Ь)пи(1,Ь)с1хсИ + ^ щ(1,Ь) J спдхдЬ. 0 0 0 0 0

(3.6)

Поскольку / щ(1,г)пи(1,г)а = 2п^(1,т) и к > 0, из (3.6) следует неравенство

[п2(х, т) + а(х, т)п2х(х, т) + Ь(х, т)п2хЛ(х, т)] Сх + ^п^(1, т)

т I

т I

(3.7)

< 2

спщСхСг

+

+ 2

щ(1,г) спСхСг

J {аП + ^п1] СхСг

о о о о о о

Для получения оценки правой части неравенства (3.7) используем неравенства Коши и Коши-Буняковского. Условия теоремы 3.1 гарантируют существование положительных

I

чисел а\,Ь\,с0,с! таких, что ^| < а\, 1Ь^ < Ь\, |с| < с0, / с2(х,г)Сх < с1. Таким образом,

о

имеем

т I т I

2

спщСхСг

оо

т I

< со J (п + щ)СхСг; оо

т т I

JП2(1,г)!спСхСг < Jп2(1,г)Сг + с^ ^п2СхСг. 0 0 0 0 0 Теперь рассмотрим интеграл, содержащий след производной, и оценим его с помощью следующего полученного в [24] неравенства

2

п2(1,г) < 21 п2х(х,г)Сх + ^ п2(х,г)Сх.

Имеем

т I

2

т I

п1(1,г)сг < 21 п^СхСг + у / п2(х,г)СхСг.

и J J иу 4

0 0 0 0 0

В результате этих преобразований и оценок неравенство (3.7) приобретает вид

I

[п^(х, т) + а(х, т)п2х(х, т) + Ь(х, т)п2хЛ(х, т)}Сх + — п^(1, т)

т I

т I

< (а\пх + Ь\п2хЛ)СхСг + с0 / [п2 + П]СхСг

00 т I

00

т I

т I

+21 п^СхСг + т П СхСг + сЛ п2СхСг.

00

00

00

(3.8)

Из равенства п(х,т) = п(х, 0) + / щ(х,г)Сг = / щ(х,г)Сг получаем

00 I т I

У п2(х,т)Сх < т ^ J п2СхСг. 0 0 0

(3.9)

т

т

Обозначим т = шт{1, ао, Ьо}, М = ша^{со+с1,со+|+т,а1,Ь1+21}. В силу неравенств

(3.8), (3.9) имеем

I

1

т] Их,т) + г,а*,г) + ^) + )] & + )

о

т I

< М / (и2 + и2 + и2х + СхСкЬ.

оо

Из полученного неравенства следует

I т I

т1 И* т) + П^, т) + г) + .Ж г)] А < ^ у (И2 + и2 + и2 + ^ЛсЛ,

оо

откуда в силу леммы Гронуолла (см. [28]) имеем и(х,Ь) = 0 в Qт. Так как т £ [0,Т] произвольно, и(х,Ь) = 0 всюду в Qт.

Пусть теперь выполняется условие (3.2). Как и выше, предположим, что существует два различных решения и1(х,Ь) и и2(х,Ь) задачи 2. Тогда условие (2.1) для и = и1 — и2 имеет вид

а(1, г)их (¡,г) + Ь(1,г)ихЫ (I, ^

А

= ЦЖ а(1,^)и(1,{) — —[^иы(1,{)+ I Н(х,1)и(х,1)Сх + I КиыСх]. К (1) К (1) ио Jо

Интегрирование равенства (3.3), умноженного на щ, приводит к соотношению

/ [и^(х, т) + а(х, т)„Х(х, т) + Ь(х, т)и2хЛ(х, т)]Сх ио

пт р1 пт р1 пт р1

+ 2 / аищСхСЬ — / аги2хСха — / Ьги2хЛСх+ ио ио ио ио ио ио

щ(1,Ь) ^иц(1^) + НиСх + КиСх — К'(1)а(1,Ь)и(1,Ь) б,Ь = 0. К (1ио 1 Л ]о ^

Кроме вычислений, сделанных для случая (3.1), нам потребуются еще следующие. Учитывая условия (1.3) и (3.2), имеем

пт р1 пт р1 Р1

/ щ(1,1) КицСхсСЬ = / КщСх / Киас1хсИ. ио ио ио ио ио

Интегрирование по частям правой части этого равенства приводит к равенству

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

г1 1 , Г1 Ч 2

щ(1,1) КииСхМ =-( К(х)щ(х,т)<Сх^\ . ю Уо 2 ^ Jо '

С учетом проделанных преобразований и условий теоремы перепишем (3.10) следующим образом

[и2(х, т) + а(х, т)п2х(х, т) + Ь(х, т)п2хЛ(х, т)] Ах ^ ПХ/,т)

К (I)

а

гт А гт А 2

аПАх/И + Ьг пХ+йх/И ——— щ(1Л) НпйхйЬ

1о Уо х Л Л к(I) Уо Л

А S 2 \ гт гт А

1

(Г \2 К '(I) Г Г [

у! Кщ(х,т + к (В I а(1,1)п(1,1)щ(1,1)АЬ — 2 1 J спщйхМ

К(1)\л ' к(I) ,0

Из этого равенства следует неравенство г I

\и^(х, т) + а(х, т)пХ(х, т) + Ь(х, т)п2х+(х, т)] Ах + п^(1,т)

о

К (I)

+

< / / 1аг1пхАхАЬ + I / ^п^АхМ + ио ио ио ио

1 //*'„, , . \2 К'(1)

щ(1,Ь) I НпАхМ К (1ио Уо

К (/)

/ \2 К '(I)

( Кпг(х,т )Сх) + а(1,1)п(1,1)щ(1,1)АЬ

4 ./о ' К (/) ./о

+ 2

гт А

спщйх/И

оо

В полученном неравенстве оценим слагаемые правой части, отсутствовавшие при исследовании случая (3.1). Имеем

2

щ(1,Ь) ! НпСхАЬ < ^ п2(1,Ь)йЬ + ! ^У НпАх^ сИ

гт А

гт А

гт А

< 21

оо

Пх+АхйЬ + ~ I I п+

I / щСхСЬ + Но п СхСЬ;

о ио ио ио

\2 / КщСх\ < ко п^(х,т)Сх

Так как по условию теоремы V = 1 — -щ > 0, то, используя найденные оценки и нера-

венство (3.9), получаем

А пт А

т [п2(х,т)+ П(х,т)+ п2Х(х,т)+ п2х1(х,т)]сСх < М / [п2 + П + п2Х + п2х1]СхС1, ио ио ио

где т = шт{1, V, ао, Ьо}, М = шах {а1,Ь1, во + Но,со + т + цщ)}. Из этого неравенства, справедливого при любом т Е [0,Т], в силу леммы Гронуолла следует п(х,Ь) = 0 в ((т, а это означает, что не может существовать более одного решения задачи 2. □

Теорема 3.2. Пусть / Е С((), р Е С1 ([0,/]), ф Е С([0,/]). Тогда при выполнении условий теоремы 3.1 решение задачи 2 существует.

Доказательство. Доказательство существования решения начально-краевой задачи 2 с нелокальным условием (2.1) проведем следующим образом.

1. Сведем начально-краевую задачу 1 для уравнения четвертого порядка к двум задачам Гурса 01, 02 для уравнений второго порядка.

2. Покажем, что задача 2 эквивалентна совокупности двух задач 01 и 02 .

3. Докажем разрешимость задач 01 и 02.

о

т

о

о

4. Убедимся в существовании решения задачи 2 и, в силу леммы 2.1, в существовании решения задачи 1.

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

1. Так как по предположению коэффициент b(x,t) в Qт не обращается в нуль, то уравнение (1.1) можно переписать в виде

Uxxtt + 1 [{aux)x - utt + bxuxtt - eu] = -bf (x, t).

Не слишком ограничивая общность будем считать b = const. Тогда получим простой и удобный для дальнейших исследований вид уравнения

uxxtt + (Aux)x + (But)t + Cu = F (x,t), (3.11)

где обозначено

A_a(x,t) p_ 1 e(x,t) _ f (x,t)

AB = -p C = V~, F(x,t)= ^

Уравнения вида (3.11) в последнее время стало принято называть уравнениями с доминирующей производной [21]. Запишем уравнение (3.11) следующим образом:

t x t x

uxt + I Auxdr + I ButdÇ + I I CudÇdr = F(x,t). (3.12)

dxdt

x

0 0 0 0

Введем новую неизвестную функцию v(x,t), положив

t x t x

v(x,t) = uxt + Auxdr + ButdÇ + / / CudÇdr.

о о о о

Тогда, если и(х, Ь) удовлетворяет уравнению (3.11), а следовательно, и уравнению (3.12), с условиями их(0,Ь) = 0, щ(х, 0) = ф(х), то у(х,Ь) удовлетворяет уравнению = Е(х,Ь)

х

с условиями у(0,ь) = 0, у(х, 0) = ф(х) + / = Ф(х).

о

Таким образом, мы пришли к двум следующим задачам Гурса. Задача 01. Найти в Qт решение уравнения

Ухл = Е (х,г),

удовлетворяющее условиям

ь(0,г) = 0, у(х, 0) = Ф(х). Задача 02. Найти в Qт решение уравнения

г х г х

ихг + ! АихСт + J БщС^ + J У СиС^Ст = у(х,Ь), (3.13) о о о о удовлетворяющее условиям

I

и(х, 0) = х), и(!,г) +! К(х)и(х,г)ССх = 0. (3.14)

о

2. Пусть v(x,t) удовлетворяет уравнению vxt = F(x,t) и условиям v(0,t) = 0, v(x, 0) =

x

ф'(х) + f = ^(x), а u(x,t) — решение уравнения (3.13). Если u(x,t) удовле-

0

i

творяет условиям u(x, 0) = p(x), u(l,t) + f K(x)u(x,t)dx = 0, то u(x,t) удовлетво-

0

ряет уравнению (3.11) и, стало быть, уравнению (1.1), в котором учтены предположения о коэффициентах, сделанные выше. Так как мы предположили выполнение условий

x

v(0,t) = 0, v(x, 0) = vp'(x) + f Bvp(Ç)d£, то, записав их в терминах u(x,t), получим

0

t

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

uxt(0,t) + J Aux(0, r)dr = 0,

0 (3.15)

x x v '

uxt (xx, 0) + j But(£, 0)d£ = ^'(x) + J вф(£)(%. 00 Интегрируя по t первое из этих соотношений, получим

t т

ux(0,t) — ux(0, 0) + j J Aux(0,r')dr'dr = 0. 00

Изменив порядок интегрирования и учтя ux(0, 0) = ip'(0) = 0, получим равенство

t

ux(0, t) + j (t — r )A(0, t )ux(0, r )dr = 0, 0

рассматривая которое как интегральное уравнение Вольтерры с ограниченным ядром (t — r)A(0, r) убеждаемся в том, что оно имеет единственное решение. Таким образом, ux(0,t) = 0, т. е. выполняется условие задачи 2.

Интегрируя по x второе из соотношений (3.15), изменив так же, как и выше порядок интегрирования и учитывая, что ut(0, 0) = ф(0) = 0, получим уравнение

x x

ut (x, 0) + J(x — £ )But(£, 0)d£ = ф(x) + J(x — £ )B^(0dÇ. (3.16)

00 Уравнение (3.16) является уравнением Вольтерры с ограниченным ядром и поэтому имеет единственное решение, очевидно, это функция ut(x, 0) = ф(x).

Итак, все условия задачи 2 выполнены, и эквивалентность доказана.

3. Рассмотрим задачу G1. Общее решение уравнения vxt = F(x,t) имеет вид

t x

v(x,t) = f (x)+ g(t) + J j F (£,r )d£dr,

00

где f (x), g(t) — любые дифференцируемые функции. Учитывая условия v(0,t) = 0, v(x, 0) = Ф^), получим, что решение задачи G1 единственно и определяется формулой

t x

v(x,t) = V(x) + J j F(£,r)d£dr. 00

Рассмотрим задачу 02. Она представляет собой нагруженное уравнение с нелокальным условием. Вначале преобразуем уравнение (3.13), введя новую функцию

V (х,Ь) = ихг. (3.17)

Полагаем выполненными условия согласования

ф + [ К(х)<р(х)сСх = 0.

о

Интегрируя (3.17) по соответствующей переменной и учитывая условия (3.14), чтобы выразить щ и их через V, получим соотношения:

их(х,г) = V (х,т )Ст + ^>'(х), о

иг(х,г) + К (х)иг (х,г)Сх = — V ох

и(х,г) + К(х)и(х,г)Сх = р(х) — <р(1) — / V(£,т)С^Ст. ио ио их

В последнем интегральном уравнении ядро зависит лишь от одной переменной. Обозначим /о К(х)и(х,г)Сх = д(г). Если решение уравнения существует, то оно имеет вид

и(х, г) = ф) — ф — [ [ V(С, т)С^Ст — д(г).

ох

Найдем д(г) из равенств

д(Ь)= [ К(х)и(х,Ь)Сх = [ К(х)[р(х) — ф — [ [ V(С,т)С^Ст — д(Ь)]Сх.

ио ио ио их

Обозначим

Г'1 г-х

/ К(х)Сх = -о, (1 + -о)-1 = к, / К(£)с% = К(х). оо

Если -о = —1, то

д(Ь) = к [1 К(х)[ф) — ф — Г [1 V(С,т)СССт]ССх.

«Уо ио о х

Преобразовав последнее слагаемое, изменив порядок интегрирования и учтя условие согласования, получим

и(х,г) = к[ [ К(х^(х,т)СтСх — [ [ V(С,т)СтСС + ф). (3.18)

о о х о

Непосредственной подстановкой нетрудно убедиться, что (3.18) действительно является единственным решением исследуемого интегрального уравнения.

Подставим функцию, найденную в виде (3.18), в уравнение (3.13) и получим

рЬ рт рх р\

V (х,г)+ А(х,т) V (х,т')Ст'Ст + к В (£,г) К(£')У о о о о

рх р1 рЬ рх А рт

— В(С,г) V — / С (С,т) / V (^т')<ст'^'<с&т (3.19)

рЬ рх р1 гт

+к / С (С,т) / К(е ^ (? ,т')Ст' <%<Ст = ь(х,г),

о о о о

где мы обозначили

рЬ рЬ рх

Цх,г) = у(х,г) — А(х,т )р'(х)Ст — / С (е,т МОсС£сСт. ./о Jо Jо

Изменим во входящих в (3.19) интегралах порядок интегрирования и обозначим

рЬ рх рх

А(х,г,т)= А(х,т)/т', В(е,х,г) = К& в(е,т, в^х,г)= в(е,т,

т Jо Jо

рЬ рх

С1(х,г,т)= / С(е,т')йейт', С(х,е,г,т) = К($С1(х,г,т).

то

После сделанных преобразований уравнение (3.19) принимает вид

рЬ рх

V (х,г)+ А(х,г,т ^ (х,т )йт + к В(х,е,^ (£,г)С£ оо

рх р1 рЬ р1

— В1(е,т(е,№ — В1(х,г^(е,т + к / С^^^т^^т^Ст

ио о х Jо Jо

рЬ рх рЬ р1

— / С1(е,г,т^(е,т)йейт — С^х^т^^т^т

о о о х

рЬ рх рЬ р1 р1

= Ъ(х,1) + р(1) / С (е,т №<Ст + к С (е,т) К (?)1р(?)<С?<Се<Ст. о о о х о

Введем еще следующие обозначения

В2(^г) = кВ(е,г) — В1(с,г), С2(х,е,г,т) = кС(х,е,г,т) — С (х,е,г,т), СМх,е,1,т) = {С1(е,г,т), е<х, с^т), х<е],

рЬ рх рЬ р1 р1

ь(х,г) = ъ(х)г) + <р(/) / с(е,т)СеСт+к с(е,т) к(емежСеат,

о о о х о

используя которые, представим уравнение (3.19) в виде

рЬ рх

V (х,г)+ А(х,г,т ^ (х,т )Ст + (€,№

оо

— ГВ1(х,^(е,т + Г ГС2(х,е,г,т^(е,тдат = ь(х,г).

Зх ¿о Jо

Рассмотрим оператор

рЬ рх

ТУ = А(х,г,т ^ (х,т )Ст + В2{£№ оо

— [1 В1(х,^(ин + Г [1 С2(х,е,ь,т^(е,т)СеСт

Зх ио ио

(3.20)

и представим уравнение (3.20) в операторной форме

V + ГУ = V. (3.21)

Это уравнение разрешимо, так как оператор Г, действующий из С (°) в С (О,), является вполне непрерывным (это легко проверить, учитывая условия на коэффициенты исходного уравнения и представления коэффициентов в (3.20)).

Так как однородная задача, соответствующая задаче 1, сводится описанным выше способом к однородному операторному уравнению (3.21), то из теоремы 3.1 следует, что однородное операторное уравнение имеет только тривиальные решения. Отсюда и следует разрешимость уравнения (3.19).

Итак, существует единственное решение уравнения (3.19). Так как У(х,Ь) = ихг, то после преобразований с учетом введенных обозначений придем к уравнению (3.13) относительно функции и(х,Ь). Следовательно, если У(х,Ь) — решение (3.19), то и(х,Ь) — решение (3.13). Покажем, что выполняются и условия (3.14). Для этого используем полученные выше соотношения между У(х,Ь) и и. Положив в (3.18) Ь = 0, получим

и(х, 0) = р(х) — ) — к К(х)^(х)йх + кко<р(1).

ио

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

Из этого соотношения, так как к = = 1 — , в силу условий согласования следует

и(х, 0) = р(х) — кр(1) — к К(х)р(х) = <р(х).

ио

Положив теперь в том же равенстве (3.18) х = I, получим

и(1,Ь) = к / К(х)У(х,т)йхйт + ). ио ио

Заменим У (х,Ь) на и^(х,Ь), учтем обозначение К(х) = К(£)^ и дважды проинтегрируем. Получим

и(1,Ь) = к0ки(1,Ь) — к0ки(1, 0) — к / К(х)и(х,Ь)йх + к / К(х)и(х, 0)йх + ф(1).

оо

Так как справедливы равенства

1 — к0к = к, и(1, 0) = ^(¡) и выполняются условия согласования

р(1) + [ К(х)ф)с1х = 0, о

то I

ки(1,Ь) + к К (х)и(х,Ь)йх = 0, о

откуда сразу следует выполнение нелокального условия (1.3). □

References

[1] G.B. Whitham, Linear and Nonlinear Waves, John Wiley & Sons, London, 1974.

[2] J. S. Rao, Advanced Theory of Vibration, Wiley, New York, 1992.

[3] A. Favini, S. A. Zagrebina, G. A. Sviridyuk, "Multipoint initial-final value problems for dynamical Sobolev-type equations in the space of noises", EJDE, 2018:128 (2018), 1-10.

[4] А. А. Замышляева, А. В. Юзеева, "Начально-конечная задача для уравнения Буссинеска-Лява", Вестн. ЮУрГУ. Сер. Матем. моделирование и программирование, 2010, №5, 23-31. [A. A. Zamyshlyaeva, A. V. Yuzeeva, "The initial-finish value problem for the Boussinesq-Love equation", Vestnik YuUrGU. Ser. Mat. Model. Progr., 2010, №5, 23-31 (In Russian)].

[5] Я.Т. Мегралиев, Ф.Х. Ализаде, "Обратная краевая задача для одного уравнения Бусси-неска четвертого порядка с несамосопряженными краевыми и с дополнительными интегральными условиями", Вестник ТвГУ. Серия: Прикладная математика, 2017, №2, 17-36. [Ya. T. Megraliev, F. H. Alizade, "An inverse problem for a fourth-order Boussinesq equation with non-conjugate boundary and integral overdetermination conditions", Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2017, №2, 17-36 (In Russian)].

[6] Г. В. Намсараева, "Линейные обратные задачи для некоторых аналогов уравнения Бусси-неска", Математические заметки СВФУ, 21:2 (2014), 47-59. [G.V. Namsaraeva, "Linear inverse problems for some analogues of the Boussinesq equation", Mathematical Notes of NEFU, 21:2 (2014), 47-59 (In Russian)].

[7] L. Pulkina, "Solution to nonlocal problems of pseudohyperbolic equations", EJDE, 2014:116 (2014), 1-49.

[8] L. S. Pulkina, A. B. Beylin, "Nonlocal approach to problems on longitudinal vibration in a short bar", EJDE, 2019:29 (2019), 1-9.

[9] А. А. Алсыкова, "О разрешимости пространственно-нелокальных краевых задач для некоторых аналогов уравнения Буссинеска", Математические заметки СВФУ, 23:1 (2016), 3-11. [A.A. Alsykova, "Nonlocal problems with integral conditions for Boussinesq equation", Mathematical Notes of NEFU, 23:1 (2016), 3-11 (In Russian)].

[10] Н. С. Попов, "О разрешимости краевых задач для многомерных псевдогиперболических уравнений с нелокальным граничным условием интегрального вида", Математические заметки СВФУ, 21:2 (2014), 69-80. [N. S. Popov, "On the solvability of boundary value problems for multidimensional pseudohyperbolic equations with a nonlocal integral boundary condition", Mathematical Notes of NEFU, 21:2 (2014), 69-80 (In Russian)].

[11] Z.P. Ba¿ant, M. Jirasek, "Nonlocal Integral Formulation of Plasticity And Damage: Survey of Progress", American Society of Civil Engineers. Journal of Engineering Mechanics, 128:11 (2002), 1119-1149.

[12] J.R. Cannon, "The solution of the heat equation subject to the specification of energy", Quart. Appl. Math., 21:2 (1963), 155-160.

[13] Л. И. Камынин, "Об одной краевой задаче теории теплопроводности с неклассическими граничными условиями", Ж. вычисл. матем. и матем. физ., 4:6 (1964), 1006-1024; англ. пер.^Л. Kamynin, "A boundary value problem in the theory of heat conduction with a nonclassical boundary condition", Comput. Math. Math. Phys., 4:6 (1964), 33-59.

[14] Н. И. Ионкин, "Решение одной краевой задачи теории теплопроводности с неклассическим краевым условием", Дифференц. уравнения, 13:2 (1977), 294-304. [N. I. Ionkin, "The solution of a certain boundary value problem of the theory of heat conduction with a nonclassical boundary condition", Differ. Uravn., 13:2 (1977), 294-304 (In Russian)].

[15] А. А. Керефов, М.Х. Шхануков-Лафишев, Р. С. Кулиев, "Краевые задачи для нагруженного уравнения теплопроводности с нелокальными условиями типа Стеклова", Неклассические уравнения математической физики, Труды семинара, посвященного 60-летию проф. В.Н. Врагова (Новосибирск, 3-5 октября 2005), Институт математики СО РАН, Новосибирск, 2005, 152-159. [A.A. Kerefov, M.Kh. Shkhanukov-Lafishev, R. S. Kuliev, "Boundary value problems for the loaded heat equation with nonlocal Steklov type conditions", Nonclassical Equations of Mathematical Physics, Proceedings of the Seminar Dedicated to the 60th Birth Anniversary of Professor V.N. Vragov (Novosibirsk, October 3-5, 2005), Sobolev Institute of Mathematics, Novosibirsk, 2005, 152-159 (In Russian)].

[16] А. И. Кожанов, "Об одной нелокальной краевой задаче с переменными коэффициентами для уравнений теплопроводности и Аллера", Дифференц. уравнения, 40:6 (2004), 763-774; англ. пер.^. I. Kozhanov, "On a nonlocal boundary value problem with variable coefficients for the heat equation and the Aller equation", Differ. Equ., 40:6 (2004), 815-826.

[17] Н. И. Иванчов, "Краевые задачи для параболического уравнения с интегральными условиями", Дифференц. уравнения, 40:4 (2004), 547-564; англ. пер.^Л. Ivanchov, "Boundary value problems for a parabolic equation with integral conditions", Differ. Equ., 40:4 (2004), 591-609.

[18] J. R. Cannon, J. van der Hoek, "The classical solution of the one-dimensional two-phase stefan problem with energy specification", Annali di Matematica Pura ed Applicata, 130:1 (1982), 385398.

[19] J. R. Cannon, Y. Lin, "Determination of a parameter p(t) in some quasi-linear parabolic differential equations", Inverse Problems, 4:1 (1988), 35-45.

[20] В. Л. Камынин, "Обратная задача определения младшего коэффициента в параболическом уравнении при условии интегрального наблюдения", Матем. заметки, 94:2 (2013), 207-217; англ. пер.У. L. Kamynin, "The inverse problem of determining the lower-order coefficient in parabolic equations with integral observation", Math. Notes, 94:2 (2013), 205-213.

[21] В. И. Жегалов, А. Н. Миронов, Е. А. Уткина, Уравнения с доминирующей частной производной, Казанский (Приволжский) федеральный университет, Казань, 2014, ISBN: 978-5-00019305-1, 385 с. [V.I. Zhegalov, A.N. Mironov, E. A. Utkina, Equations with Dominant Partial Derivative, Kazan (Volga Region) Federal University, Kazan, 2014, ISBN: 978-5-00019-305-1 (In Russian), 385 pp.]

[22] В.И. Жегалов, "Об одной задаче для обобщенного уравнения Буссинеска-Лява", Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 23:4 (2019), 771-776. [V.I. Zhegalov, "On a proplem for generalized Boussinesq-Love equation", Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 23:4 (2019), 771-776 (In Russian)].

[23] Е. А. Уткина, "О единственности решения задач с нормальными производными в граничных условиях для уравнения Буссинеска-Лява", Изв. вузов. Матем., 2017, №7, 67-73; англ. пер.:Е. A. Utkina, "On uniqueness of solution to a problems with normal derivatives in boundary conditions for the Boussinesq-Love equation", Russian Math. (Iz. VUZ), 61:7 (2017), 58-63.

[24] Л. С. Пулькина, "Краевые задачи для гиперболического уравнения с нелокальными условиями I и II рода", Изв. вузов. Матем., 2012, №4, 74-83; англ. пер.^. S. Pul'kina, "Boundary-value problems for a hyperbolic equation with nonlocal conditions of the I and II kind", Russian Math. (Iz. VUZ), 56:4 (2012), 62-69.

[25] А. И. Кожанов, Л. С. Пулькина, "О разрешимости краевых задач с нелокальным граничным условием интегрального вида для многомерных гиперболических уравнений", Дифференц. уравнения, 42:9 (2006), 1166-1179; англ. пер.^.I. Kozhanov, L.S. Pul'kina, "On the solvability of boundary value problems with a nonlocal boundary condition of integral form for multidimensional hyperbolic equations", Differ. Equ., 42:9 (2006), 1233-1246.

[26] А. И. Кожанов, А. В. Дюжева, "Нелокальные задачи с интегральным смещением для параболических уравнений высокого порядка", Известия Иркутского государственного университета. Серия Математика, 36 (2021), 14-28. [A. I. Kozhanov, A.V. Dyuzheva, "Non-local problems with integral displacement for high-order parabolic equations", The Bulletin of Irkutsk State University. Series Mathematics, 36 (2021), 14-28 (In Russian)].

[27] А. И. Кожанов, А. В. Дюжева, "Вторая начально-краевая задача с интегральным смещением для гиперболических и параболических уравнений второго порядка", Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 25:3 (2021), 423-434. A.I. Kozhanov, A.V. Dyuzheva, "The second initial-boundary value problem with integral displacement for second-order hyperbolic and parabolic equations", Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 25:3 (2021), 423-434 (In Russian)].

[28] Л. Гординг, Задача Коши для гиперболических уравнений, Издательство иностранной литературы, М., 1961. [L. Gording, The Cauchy Problem for Hyperbolic Equations, Foreign Literature Publishing House, Moscow, 1961 (In Russian)].

Информация об авторах

Богатов Андрей Владимирович, аспирант, кафедра дифференциальных уравнений и теории управления. Самарский национальный исследовательский университет имени академика С. П. Королева, г. Самара, Российская Федерация. E-mail: andrebogato@mail.ru ORCID: http://orcid.org/0000-0001-5797-1930

Гилев Антон Владимирович, аспирант, кафедра дифференциальных уравнений и теории управления. Самарский национальный исследовательский университет имени академика С. П. Королева, г. Самара, Российская Федерация. E-mail: toshqaaa@gmail.com ORCID: https://orcid.org/0000-0001-6747-5826

Пулькина Людмила Степановна, доктор физико-математических наук, профессор кафедры дифференциальных уравнений и теории управления. Самарский национальный исследовательский университет имени академика С. П. Королева, г. Самара, Российская Федерация. E-mail: louise@samdiff.ru ORCID: https://orcid.org/0000-0001-7947-6121

Конфликт интересов отсутствует.

Для контактов:

Пулькина Людмила Степановна E-mail: ludmila.pulkina@gmail.com

Поступила в редакцию 15.06.2022 г. Поступила после рецензирования 23.08.2022 г. Принята к публикации 13.09.2022 г.

Information about the authors

Andrei V. Bogatov, Post-Graduate Student, Differential Equations and Control Theory Department. Samara National Research University, Samara, Russian Federation. E-mail: andrebogato@mail.ru

ORCID: http://orcid.org/0000-0001-5797-1930

Anton V. Gilev, Post-Graduate Student, Differential Equations and Control Theory Department. Samara National Research University, Samara, Russian Federation. E-mail: toshqaaa@gmail.com

ORCID: https://orcid.org/0000-0001-6747-5826

Ludmila S. Pulkina, Doctor of Physics and Mathematics, Professor of the Differential Equations and Control Theory Department. Samara National Research University, Samara, Russian Federation. E-mail: louise@samdiff.ru ORCID: https://orcid.org/0000-0001-7947-6121

There is no conflict of interests.

Corresponding author:

Ludmila S. Pulkina

E-mail: ludmila.pulkina@gmail.com

Received 15.06.2022 Reviewed 23.08.2022 Accepted for press 13.09.2022

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