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

2017 Математика и механика № 46

УДК 517.956.6; 517.44 БО! 10.17223/19988621/46/6

Т.Г. Эргашев

ОБОБЩЕННЫЕ РЕШЕНИЯ ОДНОГО ВЫРОЖДАЮЩЕГОСЯ ГИПЕРБОЛИЧЕСКОГО УРАВНЕНИЯ ВТОРОГО РОДА СО СПЕКТРАЛЬНЫМ ПАРАМЕТРОМ

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

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

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

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

утихх - Пуу + Х2ути = 0, (1)

где т - действительное число, причем -1 < т < 0, а X - действительное или чисто мнимое постоянное число.

Пусть а, Ь, М, N - некоторые действительные числа, причем М < N а, Ь е [М, N ]; пусть Б - область, ограниченная отрезком АВ = {(х, у): у = 0, а < х < Ь} и характеристиками АВ: | = а, ВС : п = Ь уравнения (1) при у > 0. Здесь

1 = х--+- у(т+2)/2, п = х + ^ у(т+2)/2. (2)

т + 2 т + 2

Для уравнения (1) прямая параболического вырождения является особой характеристикой - огибающей обоих семейств характеристик. В зависимости от степени вырождения т предельные значения т(х) = и(х, +0), v(х) = П'у (х, +0)

могут иметь особенности. Чтобы обеспечить необходимую гладкость решения и (х, у) вне линии характеристического вырождения, необходимо требовать повышенную гладкость функций т( х) и v( х). С целью ослабить это требование в [1] дано определение и изучены свойства так называемого класса я2хк (здесь и далее к принимает значения а и Ь ) обобщенных решений уравнения (1) в области Б , который при X = 0 и к = 0 совпадает с классом Я2, введенным и изученным

И. Л. Каролем [2]. Кроме того, на основе известной формулы классического решения задачи Коши [3] для уравнения (1) в [1] получен явный и удобный для даль-

нейших исследований вид обобщенного решения этой же задачи в классе Я2к и исследованы обобщенные решения, для которых т'(х), v(х) е С(а, Ь) вместо требуемого С2[а,Ь] .

В настоящей работе исследуются задачи Коши - Гурса и Гурса для уравнения (1) в классе обобщенных решений К2^к и приводится пример, показывающий важность введения понятия такого класса. Прежде чем перейти к решению поставленных задач вводятся в рассмотрение некоторые операторы с функциями Бесселя в ядрах. Именно выявленные здесь новые свойства этих операторов играют важную роль при получении явных интегральных представлений исследуемых задач.

Задача Коши - Гурса. Требуется найти в области Б решение ип) уравне-

ния (1) из класса Я2к , удовлетворяющее начальному условию

и'у (х, +0) х)

(3)

и одному из условий

и\АБ = Уа(х), а <х < (а +Ь)/2; (4)

и|вс = УЬ (х), (а + Ь)/2 <х < Ь, (5)

где v(х), уа (х), уЬ (х) - заданные функции.

Задача Гурса. Требуется найти в области Б решение и(£, п) уравнения (1) из класса Я^к , удовлетворяющее условиям (4), (5) и условию согласования

Уа [(а + Ь)/2] = Уь [(а + Ь)/2]. (6)

В характеристических координатах(2) уравнение (1) переходит в уравнение

——( -и^) +1X2и = 0,

(7)

П-5Ч " '7 4

область Б преобразуется в треугольник Д, ограниченный прямыми | = а, п = Ь и п = 1, а условия (3) - (6) соответственно принимают вид

т + 2

\2Р

^ 11т(п - |)2Р ( - ил) = V©, а < | < Ь ;

и 1^=а =Фа (n), а <П<Ь ; и|п=Ь =Фьа<1<Ь; Фа (Ь) = ФЬ (а),

(8)

(9) (10) (11)

где

р=

Фа (П) = У а

2(т + 2) а+п

-1 < 2Р< 0; и (§, п) = и

п+5

пЧ

1-2Р

.2(1 - 2Р)У

Фь © = Уь , Фк е С [а, Ь ]П С(1, ак )(а, Ь), ак >-2р.

т

2. Некоторые операторы с функциями Бесселя в ядрах и их свойства

Введем в рассмотрение операторы

х / Ь ¿\п д

АпаЬХ[/(х)] - Дх)/(О[^л/сх-Ьхх-Т)]Л ; (12)

ВПъХ[/(х)] - /(х) + }/(г)(] д^Л (Ь -1)(х -1)] т, (13)

где п - неотрицательное целое число, а 'а (2) - функция Бесселя первого рода по-

^ ( 1)к (2 / 2)2к+а

рядка а : 'а (2) = V-. Здесь следует особо отметить, что а < Ь .

к=0 к!Г(к + а +1)

При рассмотрении операторов (12) и (13) предположим, что /(х) е С(М, N) п Ь1[М, N]. При таких предположениях относительно функции

/(х) выражения А^ [/(х)] и ВпЬх [/(х)] будут определены в (М, N) и принадлежат классу С(М, N).

Отметим, что операторы (12) и (13) при а = Ь, п = 0 и п = 1 введены и исследованы в [4].

Следующая теорема выражает основное свойство этих операторов. Теорема. Если /(х) е С[М, N], то для любых а, Ь е [М, N] и х е (М, N) справедливы следующие равенства:

ВПх [АоьХ [/(х)]} = /(х), А^ (В«ъХ [/(х)]} = /(х), т.е. в классе непрерывных на [М, Щ функций операторы (12) и (13) являются взаимно обратными.

Доказательство. Подействовав на оператор АЬ [/(х)] оператором ВпсЬх , получаем

х

ВЦ {[/(х)]} = /(х) - (Ь - х)1-п | /(г)Цх, г; Х)(Ь - г)п Л,

0

где

Ь{х,г;Х) = —^—'0 [хх - Ь)(х - г) ]- (Ь - г)—'0 [х^(Ь - г)(х - г) ] + Ь - х дг 1 -1 дх1- -1

дх'0 [Xл/(Ь - *)(х - 5) ]Ц, [х>/(* - Ь)(5 - г)

г

После несложных преобразований выражению Д х, г;Х) можно придать вид

г, ^Гх^2к+2(х - г )к (х - Ь)к ч

дх,г;Х) = VIт] ( ) к! ) ^(2), к+1 (-1)г'

где Fk{2) = Т„ 1Ч ,р (-к, к-г + 1;к + 1; 2),

" г!(к -/ +1)!

к = 0,1,2,..., 2 = (х-г)/(х-Ь).

ш (а) (Ь)

Здесь ^(а,Ь;с;г) = V—"—-г" - гипергеометрическая функция Гаусса [5], а „=0 "!(с)"

(а)" - символ Похгаммера [5]:

(а)0 = 1, (а)" = а (а + 1)(а + 2) •... • (а + " -1), " = 1,2,3,....

Несколько преобразуем Ек(г) при любых к. Меняя порядок суммирования, получаем

Ек (2) = V ^ (-к -1, -к; - к - т;1) гт .

т=0 "!

Пользуясь теперь известной формулой [5, с. 489]

^(-",Ь;с;1) = (С - Ь)" , с - Ь >-", (с)"

имеем Рк (г) = £ (-1)т (-к)т(-т)к+1 ^ .

т=0 т !(к + 1)т

С учетом формулы (-т)к+1 = 0, т < к , заключаем, что Ек (2) = 0 . Отсюда следует, что оператор Б^ЬХ - обратный оператору АЬ, т.е. справедливо первое из равенств теоремы.

Вторая часть теоремы доказывается аналогично. Имеет место

Лемма 1. При р< 1 и х е [а,Ь] справедливы равенства

х _

| (х -1)- 7-р [XV (х - г )(Ь -г) ] /(ол = Г(1 -р)Б- { [/(х)]}, (14)

а

ъ _

I (г - х)-в 7-р [XV (г - х)(г - а) ] /(г)^ = Г(1 -р)^^1 {{[/(х)]}, (15)

х

где Б1со. и Б1хЬ - известные операторы дробного интегрирования при I < 0 и дробного дифференцирования при I > 0; Jа (г) =Г(а + 1)(2 /2)-а Jа (г) - функция Бесселя - Клиффорда.

Доказательство равенств (14)-(15) проводится разложением функций Бесселя в степенные ряды и сравнением коэффициентов.

3. Обобщенное решение задачи Коши

Решение задачи Коши для уравнения (7), удовлетворяющее начальным условиям (8) и

и(§, §) = т(§), а < х < Ь, (16)

известно [3]:

п - 2X2 _

и{%, п) = к,(п - 0-2р-1I (гр I в (Х4Т)--г>+р /,+в (Xл/Т))т(0Л -

^^ ^ -р (1 + Р)(1 + 2Р) 1

п _ п _

(п-|)-2р-11гр 1р(Хл/Т)(п + §-2г) т'(0^-к21г-31_р(Хл/Т) ^^^^^^, (17)

2(1 + 2Р)

где

Г = |(П- т-Ц, К К2 = [2(1-2Р)]2М 7а ^ = (^

Г2(1 + Р) г 2(1 -Р)

Если т(х) е С3[а,Ь] и v(x) е С2[а,Ь], то функция п), определенная формулой (17), является классическим, дважды непрерывно дифференцируемым решением задачи Коши для уравнения (7) с начальными данными (8) и (16) в области Д.

Определение 1. Если функции т'(х) и v(х) непрерывны при а < х < Ь, то выражение вида (17) будем называть обобщенным решением уравнения (7) в области Д .

Для того чтобы обобщенное решение обладало той или иной гладкостью, необходимо, чтобы функции т( х) и v( х) имели определенную гладкость.

Рассмотрим класс обобщенных решений уравнения (7). Здесь и далее к принимает значения а и Ь .

Определение 2. Обобщенным решением класса я2к уравнения (7) будем называть функцию п) вида (17), где т( х) представимо в виде

х

т(х) = т(к) + х - к)11х - ~2р 7-р [X |х - ] Т(/)Ж, (18)

к

а v( х) и Т (х) - непрерывные и интегрируемые в (а, Ь) функции.

Замечание 1. Из (18) нетрудно заключить, что т(х) е С[а,Ь] и существует

т'( х) е С (а, Ь). Следовательно, обобщенное решение класса я2к является обобщенным решением в смысле определения 1.

Замечание 2. Не ограничивая общности, будем считать, что т(к) = 0 . При невыполнении этого условия, прибавив к функции п) частное решение уравнения (7) вида

п) = А ек(Х(п + |)/ 2) + В sh(X(п +I)/ 2),

можно распорядиться коэффициентами А и В так, что новая функция в точке (к, 0) примет нулевое значение.

Для определенности, обобщенное решение, принадлежащее к Я2;к обозначим

через и2к п) .

Согласно [1], интегральные представления обобщенных решений задачи Коши из классов я2;а и я2;Ь соответственно записываются следующим образом:

I _ п _

П2а (I, п) = | г~р J-в (X у/г )Т (Г )Ж + | г ~р /-р (X у/г) N (Г )Ж ; (19)

а I

Ьп

и2Ь (I, п) = | г ~р J-p (X 4г )Т (Г )Ж + | г ~р 7-р (X 4г) N (Г )Ж, (20)

п I

где N (/) = [2соб Рл]-1 Т (() - к2v(t).

Лемма 2. Обобщенное решение и2к (-, п) е обладает следующими свойст-

вами:

— Я2

1) Ы2к (-, п) е С (д)п С1 (Д), --дП е С (А);

4 ' д-дп

2) и2к (-, п) удовлетворяет уравнению (7) и условиям (8), (16).

Для X = 0 лемма 2 доказана в [6]. При наличии X доказательство леммы существенно не отличается.

4. Обобщенное решение задачи Коши - Гурса

При решении задачи Коши - Гурса для уравнения (7) будем пользоваться соответствующим интегральным представлением задачи Коши.

Пусть к = а. В этом случае, полагая в формуле (19) - = а и учитывая условие

(9), получаем интегральное уравнение для определения N(х):

х _

| (х -г )-в (г - а)-в 7_р [XV (х - г )(( - а) ] N (г )Ж = Фа (х).

а

Последнее уравнение в результате применения равенства (14) при а = Ь можно привести к виду, удобному для дальнейшего исследования:

^ {{[(х-а)-РN(х)]} =г(11-в)Фа(х). (21)

Применяя теперь к обеим частям уравнения (21) последовательно операторы

¿о- в и ^, получаем

Т (х) = к^( х) + 2соб Рл-Ф а (х), (22)

где кз = 2К2С08 Рп, Фа (х) = (х - а)в{{[Фа (х)]}.

Подставляя (22) в (19), находим представление решения задачи Коши - Гурса

(7) - (9) из класса Л2а в явном виде - _

и2а (-, п) = | (-- г)- р (п - г)- р J_в [^х/сп-г^с^-Т) ] [(г) + 2 со^п - ф (г)] л+

а

п _

+| (п - г)- в (г - -)- вI-в [XV(п- г)(г --) ] Фа (г)Л. (23)

-

Доказательство, приведенное нами, переносится и на случай к = Ь . Таким образом, представление решения задачи Коши - Гурса (7), (8), (10) из класса Я^ь выписывается в явном виде:

(-, п) = | (г - -)- в (г - п)- в J_ в [XV (г -п)С --) ] [kзv(t) + 2 со^ п - Фь (г)] л + п _

+| (п - г)- в (г - -)- в I- в [XV(п- г)(г --) ] Фь (г)Л, (24)

2Ь

п

п

где Фь (x) = ГГ^Ь - Х)Р AL {{[Фь (*)]} •

Здесь также можно доказать лемму, аналогичную лемме 2. Замечание 3. Полученные явные интегральные представления (23) и (24) обобщенного решения задачи Коши - Гурса для уравнения (1) играют важную роль при исследовании задач для уравнений смешанного типа, так как из них при п = 5 легко вывести основные функциональные соотношения между т(x) и v( x) на линии вырождения, принесенные из гиперболической части смешанной области.

Замечание 4. Класс обобщенных решений уравнения (7) при изучении задачи Коши - Гурса (8), (9) является существенным: если решение уравнения (7), удовлетворяющее условиям (8), (9), не принадлежит к Rxa, то нарушается единственность решения задачи. Пример. Функция [7]

«(5, п) = [(I - а)(П - «)]-Р J-p (W(5- a)(n- a))

является решением уравнения (7), удовлетворяющим однородным условиям (8) и

(9). Однако она не принадлежит к классу функций . В справедливости последнего утверждения можно убедиться, например, с помощью метода от противного.

5. Обобщенное решение задачи Гурса

Рассмотрим в области Д задачу Гурса для уравнения (7) с условиями (9) -(11). При изучении этой задачи будем пользоваться представлением решения задачи Коши - Гурса для уравнения (7).

Пусть k = a. В этом случае, полагая в формуле (23) п = Ь и учитывая условие

(10), получаем интегральное уравнение

x _

I (x -1 )-р (Ь -1 )-р J-p [xV (Ь -1)(x -1) ] [k3v(t) + 2 cos Рл • Ф a (t)] dt +

a

ь

+| (b -1)-p (t - x)-p 7-p [W(b - t)(t - x) ] Фa (t)dt = Фь (x). (25)

x

Разрешая интегральное уравнение (25), имеем

k3v(x) + 2cos Pn • Фa (x) = Ab [D-4 (x)] -

- (b - x)p [Da-PD^1 {{[(b - x)-[^a (x)]}]. (26)

Подставляя (26) в формулу (23), получаем интегральное представление обоб-

«2a (5, П) е Rxa

щенного решения u2a (5, п) е R^a задачи Гурса для уравнения (7) с условиями

(9) - (11) в виде

, 5

«2a (5,п) i (5-t )-Р (п-t )-Р J-p [W (п-t )(5-t)] (b-t)P Alb {{ [Фь (t )]}dt-

-} (|-г )-р (п-г )-р J- в [XV (п-г г) ] (Ь - г) р ^^^ {{ [АЬч {{ [(Ь - г )-рФ а (г)]}]}+

а

П _

+| (п - г)- р (г -р I-р [XV(п - г)(г Ч) ] Фа (г. (27)

Аналогично находится обобщенное решение этой же задачи, принадлежащее

к Я^ь :

1 ь

и2ь (^,п) в) П (гЧГ в (г-п)- р 3- в [Хл/МОЧ)] (г-а) р А* {{р [Фа (г)]}г-

-} (гЧ)-р (г-п)-р 7-р [^х/сг-псг-О] (г-а)р {{5 [А-1 {{ [(г-а)-р Фь (г)]}]}+

п

п _

+| (п - г)-р (г - 0-р 1-р [XV(п- г)(г Ч) ] Фь (г)А. (28)

Замечание 5. Из формул (27) и (28) нетрудно заметить, что при исследовании задачи Гурса для уравнений гиперболического типа второго рода, в отличии от уравнений первого рода, нарушается равноправие характеристик. Это обстоятельство связано с необходимостью введения представления (18).

ЛИТЕРАТУРА

1. Салахитдинов М.С., Эргашев Т.Г. Интегральное представление обобщенного решения задачи Коши в классе для одного уравнения гиперболического типа второго рода //

Узбекский математический журнал. 1995. № 1. С. 67-75.

2. Кароль И.Л. Об одной краевой задаче для уравнения смешанного эллиптико-гиперболического типа // Доклады АН СССР. 1953. Т. 88. № 2. С. 197-200.

3. Евдокимов Ф. Ф. Задача Коши для уравнения их - (-у)тиуу - X2и = 0 // Дифференциальные уравнения. Труды пединститутов РСФСР. 1978. Вып. 12. С. 45-50.

4. Салахитдинов М.С., Уринов А.К. Краевые задачи для уравнений смешанного типа со спектральным параметром. Ташкент: Фан, 1997. 168 с.

5. Прудников А.П., Брычков Ю.А., Маричев О.И. Интегралы и ряды. Дополнительные главы. М.: Наука, 1986. 800 с.

6. СмирновМ.М. Уравнения смешанного типа. М.: Высшая школа, 1985. 304 с.

7. Хе Кан Чер. О некоторых решениях однородной задачи Дарбу для одного вырождающегося гиперболического уравнения // Дифференциальные уравнения. 1988. Т. 24. № 9. С. 1641-1643.

Статья поступила 26.01.2017 г.

Ehrgashev T.G. (2017) GENERALIZED SOLUTIONS OF THE DEGENERATE HYPERBOLIC EQUATION OF THE SECOND KIND WITH A SPECTRAL PARAMETER. Tomsk State University Journal of Mathematics and Mechanics. 46. pp. 41-49

DOI 10.17223/19988621/46/6

In this paper, the Cauchy, Cauchy-Goursat, and Goursat problems for a degenerate second kind hyperbolic equation with a spectral parameter are studied. For these equations, depending on the degree of degeneracy, limit values of the sought solutions and its derivative on degeneration lines can have singularities. To provide the required smoothness of the solution outside the

characteristic line of degeneration, it is necessary to require enhanced data smoothness. In order to ease this requirement, a definition of a class of generalized solutions is introduced and properties of this class are studied. In addition, on the basis of the well-known formula of the classical solution of the Cauchy problem for the above equation, a generalized solution of the Cauchy problem in the introduced class is obtained in an explicit form which is easy to use for further research. Properties of these solutions are studied. Some operators with Bessel functions in the nucleus are introduced and their basic properties are studied. The proved important identities of these operators and the above representation of the generalized solution of the Cauchy problem allow one to find an explicit representation of the generalized solutions of the Cauchy-Goursat and Goursat problems in the characteristic triangle. In addition, an example showing the importance of introducing such class is presented: if the solution does not belong to the newly introduced class, then the uniqueness of the solution of the Cauchy-Goursat problem can be broken. The resulting explicit integral representation of the generalized solution of the Cauchy-Goursat problem plays an important role in the study of problems for equations of the mixed type: it makes it easy to derive the basic functional relationship between the traces of the sought solution and of its derivative on the line of degeneration from the hyperbolic part of the mixed domain.

Keywords: degenerate hyperbolic equation of the second kind, the spectral parameter, generalized solution, the operator with the Bessel functions in the nucleus.

EHRGASHEV Tuhtasin Gulamzhanovich (Tashkent Institute of Irrigation and Melioration (TIIM), Tashkent, Uzbekistan) E-mail: [email protected]

REFERENCES

1. Salakhitdinov M.S., Ehrgashev T.G. (1995) Integral'noe predstavlenie obobshchennogo resheniya zadachi Koshi v klasse dlya odnogo uravneniya giperbolicheskogo tipa vtorogo roda [Integral representation of a generalized solution of the Cauchy problem in the class R%k

for a hyperbolic equation of the second kind]. Uzbekskij matematicheskij zhurnal - Uzbek Mathematical Journal. 1. pp. 67-75.

2. Karol I.L. (1953) Ob odnoj kraevoj zadache dlya uravneniya smeshannogo ehlliptiko-giperbolicheskogo tipa [A boundary value problem for an equation of mixed elliptic-hyperbolic type]. Doklady AN SSSR - Reports of the Academy of Sciences of the USSR. 88(2). pp.197-200.

3. Evdokimov F.F. (1978) Zadacha Koshi dlya uravneniyauxx - (-y)muyy -X2u = 0 [The Cauchy problem for the equation uxx -(-y)muyy -X2u = 0]. Differentsial'nye uravneniya.

Trudy pedinstitutov RSFSR - Differential Equations. Proceedings of pedagogical institutes of the Russian Federation. 12. pp. 45-50.

4. Salakhitdinov M.S., Urinov A.K. (1997) Kraevye zadachi dlya uravnenij smeshannogo tipa so spektral'nym parametrom [Boundary value problems for equations of the mixed type with a spectral parameter]. Tashkent: Fan.

5. Prudnikov A.P., Brychkov Y.A., Marichev O.I. (1986) Integraly i ryady. Dopolnitel'nye glavy [Integrals and series. Additional chapters]. Moscow: Nauka.

6. Smirnov M.M. (1985) Uravneniya smeshannogo tipa [Equations of the mixed type]. Moscow: Vysshaya shkola.

7. Ho K'ang Cher. (1988) O nekotoryh resheniyah odnorodnoj zadachi Darbu dlya odnogo vyrozhdayushchegosya giperbolicheskogo uravneniya [Some solutions of the homogeneous Darboux problem for a degenerate hyperbolic equation]. Differencial'nye uravneniya -Differential Equations. 24(9). pp.1641-1643.