Keywords: quadratic pencil of differential operators, multiple characteristic, multiple root of characteristic equation, strongly irregular pencil, two-fold expansion in the eigenfunctions, two-fold expansion in the root elements, biorthogonal series on root elements, derived chains, conditions of multiple expandability.
The results were obtained within the framework of the state task of Russian Ministry of Education and Science (project no. 1.1520.2014K).
References
1. Naimark M. A. Linear Differential Operators. Pt. I. New York, F. Ungar Publ. Co., 1967, 144 p.; Pt. II. New York, F. Ungar Publ. Co., 1968, 352 p. (Russ. ed.: Naimark M. A. Linear Differential Operators. Moscow, Nauka, 1968, 528 p.).
2. Shkalikov A. A. Boundary value problems for ordinary differential equations with a parameter in the boundary conditions. J. Soviet Math., 1986, vol. 33, iss. 6, pp. 1311-1342.
3. Gurevich A. P., Khromov A. P. First and second order differential operators with weight functions of variable sign. Math. Notes, 1994, vol. 56, iss. 1, pp. 653-661.
4. Khromov A. P. Razlozhenie po sobstvennym funk-tsiiam odnoi kraevoi zadachi tret'ego poriadka [Expansion in the eigenfunctions of a boundary value problem of the third order]. Issledovaniia po teorii operatorov [Researches on the theory of operators], Ufa, 1988, pp. 182-193 (in Russian).
5. Dmitriev O. Iu. Expansion on eigenfunctions the differential operator of n-th order with irregular boundary conditions. Izv. Saratov Univ. (N. S.), Ser. Math. Mech. Inform., 2007, vol. 7, iss. 2, pp. 10-14 (in Russian).
6. Rykhlov V. S. Expansion in eigenfunctions of quadratic strongly irregular pencils of differential operators of the second order. Izv. Saratov Univ. (N. S.), Ser. Math. Mech. Inform., 2013, vol. 13, iss. 1, part 1, pp. 21-26 (in Russian).
7. Vagabov A. I., Abud A. Kh. Quadruple expandability in Fourier's series on root elements of a differential pencil with quadruple characteristic. Vestnik Dagest. gos. un-ta [Bull. of the Dagestan State Univ.], 2015, vol. 30, iss. 1, pp. 34-39.
8. Hromov A. P. Equiconvergence theorems for inte-grodifferential and integral operators. Math. USSR Sb., 1982, vol. 42, iss. 3, pp. 331-355.
УДК 517.54
ОДНОРОДНАЯ КРАЕВАЯ ЗАДАЧА ГИЛЬБЕРТА С БЕСКОНЕЧНЫМ ИНДЕКСОМ НА ОКРУЖНОСТИ
А. Х. Фатыхов1, П. Л. Шабалин2
1 Фатыхов АзатХалитович, аспирант кафедры высшей математики, Казанский государственный архитектурно-строительный университет, [email protected]
2Шабалин Павел Леонидович, доктор физико-математических наук, профессор кафедры высшей математики, Казанский государственный архитектурно-строительный университет, [email protected]
В статье рассматривается краевая задача Гильберта теории аналитических функций с бесконечным индексом и краевым условием на окружности, коэффициенты краевого условия непрерывны по Гельдеру всюду, кроме одной особой точки, в которой аргумент функции коэффициентов имеет разрыв второго рода (степенного порядка с показателем, меньше единицы). В такой постановке задача с бесконечным индексом рассматривается впервые. Получены формулы общего решения однородной задачи, исследованы вопросы существования и единственности решения, описано множество решений в случае неединственности. При исследовании решения применялся аппарат теории целых функций и геометрической теории функций комплексного переменного.
Ключевые слова: задача Гильберта, бесконечный индекс, целые функции, индикатор роста. DOI: 10.18500/1816-9791 -2016-16-2-174-180
1. ПОСТАНОВКА ЗАДАЧИ
Пусть Б = {г = тегв :0 < г < 1, 0 ^ 9 < 2^} — единичный круг в плоскости комплексного переменного г, Ь = дБ. Рассмотрим краевую задачу Гильберта теории аналитических функций с краевым условием на единичной окружности
а(Ь)ИеФ(Ь) - Ь(Ь) 1т Ф(Ь) = с(Ь), Ь £ Ь, Ь = 1, © Фатыхов А. Х, Шабалин П. Л., 2016
и двусторонним завихрением в точке Ь = 1, которая относится к краевым задачам с бесконечным индексом, по терминологии Н. В. Говорова [1]. По этой тематике после основополагающих исследований Н. В. Говорова (см. [1] и библиографию) появилось много работ (см., например, [2-5]), в которых контуром служила вещественная ось, а завихрение (т. е. точка разрыва второго рода у аргумента функции коэффициентов) располагалось в бесконечно удаленной точке. Мы впервые рассмотрим задачу, когда контур и точка нарушения непрерывности коэффициентов краевого условия конечны.
Будем считать, что коэффициенты краевого условия а(Ь), Ь(Ь) непрерывны в каждой точке Ь окружности Ь, кроме Ь = 1. Краевое условие задачи Гильберта обычно записывают в виде
Re [e-iv (t) Ф(*)] =
|G(t)|'
(1)
где G(t) = a(t) — ib(t), причем a2(t) + b2(t) = 0 всюду на L и функция v(t) = arg G(t), на L удовлетворяет условию Гельдера всюду, кроме окрестности точки t = 1, в которой она имеет разрыв второго рода. Именно при t = егв справедливо представление
'(*) =
sinp(0/2)
I sinp (0/2)
+ i7(0) , 0 <0<п , + i7(0) , п<0< 2п ,
(2)
для некоторых чисел V +, V-, р, 0 < р < 1, функция г/(в) удовлетворяет условиям г/(0) = г/(2п) и г/(п+) — г/(п—) = V + — V-.
Требуется определить функцию Ф(г), аналитическую и ограниченную в области Б по краевому условию однородной задачи Гильберта:
а(г)ИеФ(г) — 6(£)1шФ(£)=0 , Ь е Ь.
2. РЕШЕНИЕ ОДНОРОДНОЙ ЗАДАЧИ
Для аналитического выделения особенности (2) краевое условие однородной задачи с учетом (1) перепишем в виде
Re[e-iv(t^(i)] = 0
и рассмотрим аналитическую в области D функцию
P (z) + iQ(z) =
(z - 1)p'
где I, а — действительные постоянные, I > 0, 0 < в < 2п. Эта функция на окружности Ь принимает значения
P (ei0)+ ¿Q(e^) =
l
2P sinp (0/2)
( (0 + n)p\ . . ( (0 + n)p\ cos^ a--2-J + i sm^ a--2-J
Выберем числа l, l > 0, и a, 0 < a < 2п, так, чтобы выполнялись условия
l t п \ +
— cos (a--p) = v
l 3n , -
— cos (a--p) = v .
Система (5) имеет единственное решение:
, v — v + cos(np) \ п
a = arctan ( ---7—т- +— p,
v + sin(np) у 2
l =
2P
sin(np)
\J v - 2 — 2v - v + cos(np) + v+2
(4)
(5)
+
v
v
учтя которое перепишем формулу (4) в виде
гв) = v + sin(np - 2) + v sin(^p/2) (e ) sinp (0/2) sin(np) '
Q( гв) = V~ COs(flp/2) - v + COs(np + 0р/2)
Q(e ) sinp(0/2) sin(np) '
Таким образом, для функции г>(вгв) = v(егв) — P(егв) справедливы формулы
%гв) = 2 v + COs(np — 0р/4) — v- cos(0p/4) _ sin(0p/4) + ^ е (о, п),
(6) (7)
г>(вгв) = 2
sin пр
+
sinp (0/2)
v- cos(np/2 + 0р/4) — v + cos(np/2 — 0р/4) sin(np/2 — 0р/4)
sin пр
sinp(0/2)
+ i7(0), 0 G (п, 2п),
из которых ясно, что функция г>(Ь) непрерывна по Гельдеру на окружности Ь. Краевое условие однородной задачи (3) запишем в виде
Re
e гГ(^) exp <; —i
1ег
(t — 1)р
Ф(«)
= о,
(8)
где Г(Ь) — краевое значение на окружности Ь аналитической в Б и непрерывной в Б функции
2п
r(z) = — / г>(0) <
w 2п J к 1 егв — z о
Рассмотрим аналитическую в круге Б функцию
F (г) = ¿е-гГ(2) е- ф(г), граничные значения которой в силу (8) удовлетворяют условию
1т ¥(ь) = 0, ь е Ь, ь = 1, всюду на Ь, кроме точки Ь = 1. Выразим из равенства (9) искомую функцию
Ф(г) = -¿вгГ(2) ег ¥ (г).
(9)
(10)
(11)
Потребуем, чтобы аналитическая в D функция F(z), кроме условия (10), удовлетворяла еще неравенству
|F(t)| ^ CeQ(t), C = const, t G L. (12)
Поскольку в силу (12) всюду на L выполняется неравенство |F(t)|e-Q(t) ^ C, то по принципу максимума модуля функция (11) будет ограниченной в D. Таким образом, доказана
Теорема 1. Общее решение однородной краевой задачи в классе ограниченных в D функций дается формулой (11), где F(z) — произвольная аналитическая в D функция, принимающая на единичной окружности чисто мнимые значения и удовлетворяющая на границе условию (12).
3. УСЛОВИЯ РАЗРЕШИМОСТИ ЗАДАЧИ
Из теоремы 1 следует, что существование и число решений зависит от существования и множества функций F(z), удовлетворяющих условиям (10), (12). Для изучения последнего вопроса пересадим функцию F(z) в верхнюю полуплоскость E + = {Z : Z = С + > 0} функцией
z = z(Z), z(Z) =
Z — i Z + i'
Получим аналитическую в Е + функцию Р (£) = Р о ), удовлетворяющую условию 1ш Р (С) = 0. Следовательно, Р(£) можно по симметрии продолжить на всю комплексную плоскость. Таким образом, Р(С) является целой функцией. В силу формулы (9) имеем Р(£) = ехр{£р}0(1), С ^ го. Ясно, что Р.(С) является целой функцией порядка не выше р. Граничные значения этой функции определяются формулами
РШ = е-гГ1 (5)е-^«^«^ ф, ф! (С) = ф о г(С), Гх(С) = г о г(С), где Р].(£) + (С) — значения на вещественной оси функции
Pi(Z)+ iQi (Z) = (P + iQ) ◦ z(Z) =
v + i
. v cos(np) — v+
sin(np)
CI 1 + Z
которую представим в следующем виде:
Pi (re-0) + iQi(reitf) =
v- eip0 + i
. v cos(np) — v+
sin(np)
rp + O
,1 — p
(13)
Отсюда получаем представление для граничных значений:
Pi (С) + iQi (С) = ^
v + i
. v cos(np) — v+
sin(np) + . v— — v + cos(np)
v + + i-
sin(np)
Cp + O ICIp + O
1
Сi—p 1
leF
С ^
С ^
(14)
Справедлива
Теорема 2. Пусть p < 1/2. Тогда однородная краевая задача:
1) не имеет нетривиальных ограниченных решений, если v— cos(np) — v + < 0 либо v + cos(np) — v— > 0;
2) имеет единственное решение вида
Ф(^ ) = —iAer(z) e—l , A = const, Im A = 0,
если
либо
v cos(np) — v + =0, v + cos(np) — v— < 0,
v + cos(np) — v— =0, v— cos(np) — v + > 0;
(15)
(16)
3) имеет бесконечное множество решений вида (11), где F(z) — произвольная аналитическая в D функция, принимающая на единичной окружности вещественные значения и удовлетворяющая на границе условию (12), если v— cos(np) — v + > 0 и v + cos(np) — v— < 0.
Доказательство. В самом деле, пусть p < 1/2 и имеет место неравенство
v— cos(np) — v + < 0,
тогда согласно первой из формул (14) будет выполнено Qi (С) = —го. В силу неравенства (12)
будет выполнено условие
|Fi(С)| ^ CeQl(5), C = const, (17)
и, следовательно, |Fi(С)| = 0. В силу зеркальной симметрии функции Fi(Z) относительно
вещественной оси последнее равенство будет выполнено и для нижнего берега разреза, проведенного по положительной действительной полуоси. По принципу Фрагмена - Линделёфа для плоскости, разрезанной по положительной полуоси, получим Fi(Z) = 0. Ясно, что тогда и F(z) = 0. К такому же выводу придем в случае p < 1/2 и условия v + cos(np) — v— > 0, если использовать вторую формулу (14).
p
1
p
Если выполнено условие (15) либо (16), то по принципу Фрагмена- Линделёфа для плоскости, разрезанной по действительной полуоси, с последующим применением теоремы Лиувилля, получим Fi(Z) = A, A = const, но тогда и F(z) = A, т.е. получим единственное, с точностью до постоянного сомножителя, решение однородной задачи.
Пусть, наконец, выполнены условия v- cos^p) — v + > 0 и v + cos^p) — v- < 0. Неравенство (17) с учетом формул (14) представим в виде
exp
v cos(np) - V + ^ sin(np)
+ O
1
. .. Л 1-p
V — V + cos(np).. p 1
exp ^-' J |p + O
sin(np)
с ^
С ^ —ro
(18)
Ясно, что такому соотношению будут удовлетворять бесконечное множество целых функций ¥х(£) порядка не выше, чем р, с зеркальной симметрией относительно вещественной оси. Сужение этих функций на верхнюю полуплоскость, пересаженное затем при помощи функции £ (г) в круг, определяет множество функций ¥ (г), удовлетворяющих условию (12) и принимающих на единичной окружности чисто мнимые значения. □
Примеры построения целых функций заданного порядка с зеркальной симметрией относительно вещественной оси и указанным выше асимптотическим поведением приведены в работе [6], см., также [5, с. 98].
Теорема 3. Если 1 >р ^ 1/2 и выполняется условие V- < 0 или V + > 0, то однородная краевая задача имеет лишь нулевое решение; если 1 >р ^ 1/2 и выполняется условие V- ^ 0 и V + ^ 0, то однородная краевая задача имеет бесконечное множество решений вида (11), где ¥ (г) — произвольная аналитическая в Б функция, принимающая на единичной окружности вещественные значения и удовлетворяющая на границе условию (12).
Доказательство. Пусть р ^ 1/2 и выполняется условие V- < 0. Если однородная задача (8) имеет нетривиальное ограниченное решение (11) с неравной тождественно нулю функцией ¥ (г), то построенная по ¥ (г) целая функция ¥1 (£) порядка рЛ1 ^ р имеет индикатор
(0) := lim
r —
удовлетворяющий в силу условия (17) неравенству
■ln |F1 (rei0 )|
hFi (0) ^ lim
Qi (re )
Отсюда следует, что если рЛ1 < р, то (0) = —го, что сразу же влечет ¥1 (£) = 0. Поэтому нужно считать, что рл1 = р. Но тогда из представления (13) получим:
Qi(rein/(2p)) = V _ rp + O
1
< 0,
r ^ +ro,
откуда и в силу зеркальной симметрии функции ¥1 (£) для индикатора получим оценку
(п/(2р)) = (—п/(2р)) ^ V- < 0. Последнее противоречит известному соотношению [7, с. 84]
(0 + п/р) + (0) ^ 0
при 0 = —п/(2р). Поскольку
Qi (rei(n_n
= —V+rp + O
л_р
< 0,
r ^ +ro,
следовательно, (п — п/(2р)) ^ —V + < 0 ив силу симметрии (п + п/(2р)) < 0, то приходим к противоречию и при 0 = п — п/(2р). Таким образом, при выполнении условий V- < 0 или V + > 0 нетривиального ограниченного решения задачи (8) не существует.
1
Пусть теперь выполнены условия V- ^ 0 и V + ^ 0, при этом, разумеется, хотя бы одно из неравенств строгое. Тогда если V- сов(пр) — V + > 0 и V- — V + сов(пр) > 0, то существование аналитических в Б функций, принимающих на единичной окружности вещественные значения и удовлетворяющих на границе условию (12), следует из очевидного существования бесконечного множества целых функций порядка не выше р, удовлетворяющих условию зеркальной симметрии и неравенствам (18). Если же выполнены условия V- сов(пр) — V + > 0 и V- — V + сов(пр) ^ 0 либо V- сов(пр) — V + ^ 0 и V- — V + сов(пр) > 0, то в работах [5,6, с. 98] доказано, что существует бесконечное множество целых функций порядка р, удовлетворяющих условию зеркальной симметрии и неравенствам (18). □
Работа выполнена при финансовой поддержке РФФИ (проект № 14-01-00371-а).
Библиографический список
1. Говоров Н. В. Краевая задача Римана с бесконечным индексом. М. : Наука, 1986. 239 с.
2. Толочко М. Э. О краевой задаче Римана с бесконечным индексом для полуплоскости // Изв. АН БССР. Сер. физ.-матем. науки. 1969. № 4. С. 5259.
3. Сандрыгайло И. Е. О краевой задаче Гильберта с бесконечным индексом для полуплоскости // Изв. АН БССР. Сер. физ.-матем. науки. 1974. № 6. С. 16-23.
4. Монахов В. Н., Семенко Е В. Краевые задачи с бесконечным индексом в пространствах Харди // Докл. АН СССР. 1986. Т. 291, № 3. С. 544-547.
5. Салимов Р. Б., Шабалин П. Л. Краевая задача Гильберта теории аналитических функций и ее приложения. Казань : Изд-во Казанск. мат. о-ва, 2005. 297 с.
6. Салимов Р. Б., Шабалин П. Л. О разрешимости однородной задачи Гильберта со счетным множеством точек разрыва коэффициентов и двусторонним завихрением на бесконечности порядка меньше 1/2 // Уфим. матем. журн. 2013. Т. 5, № 2. С. 82-93.
7. Левин Б. Я. Распределение корней целых функций. М. : Гостехиздат, 1956. 632 с.
Investigation Riemann - Hilbert Boundary Value Problem with Infinite Index on Circle
A. K. Fatykhov1, P. L. Shabalin2
1 Azat K. Fatykhov, Kazan State University of Architecture and Engineering, 1, Zelenaya st., 420043, Kazan, Russia, vitofat@ gmail.com
2Pavel L. Shabalin, Kazan State University of Architecture and Engineering, 1, Zelenaya st., 420043, Kazan, Russia, [email protected]
We consider the Riemann - Hilbert boundary value problem of analytic function theory with infinite index and the boundary condition on the circumference. The boundary condition coefficients are Holder's continuous everywhere except one particular point where the coefficients have discontinuity of second kind (power order with the index is less than one). In this formulation the problem with infinite index is considered for the first time. As the result of the research, we obtained the formulas of the general solution of the homogeneous problem, investigated the existence and uniqueness of solutions, described the set of solutions in the case of non-uniqueness. In the study of solutions we applied the theory of entire functions and the geometrical theory of functions of complex variables.
Key words: Riemann - Hilbert boundary value problem, infinite index, entire function.
This work was supported by the Russian Foundation for Basic Research (projects no. 14-01-00371-d).
References
1. Govorov N. V. Riemann's boundary problem with infinite index. Moscow, Nauka, 1986, 239 p. (in Russian).
2. Tolochko M. E. About the solvability of the homogeneous Riemann boundary value program for the half-plane with infinite index. Izv. AN BSSR. Ser. Fiz.-matem. nauki, 1969, no. 4, pp. 52-59 (in Russian).
3. Sandrygailo I. E. On Hilbert - Riemann boundary value program for the half-plane with infinite index. Izv. AN BSSR. Ser. Fiz.-matem. nauki, 1974, no. 6, pp. 872-875 (in Russian).
4. Monahov V. N., Semenko E. V. Boundary value problem with infinite index in Hardy spaces. Dokl. Akad. Nauk USSR, 1986, vol. 291, pp. 544-547 (in Russian).
5. Salimov R. B., Shabalin P. L. Hilbert boundary value problem of the theory analytic functions and its applications. Kazan, Kazan Math. Publ., 2005, 297 p. (in Russian).
7. Levin B. Ya. Distribution of zeros of entire functions. Moscow, Gostekhizdat, 1956, 632 p. (in Russian).
two-side curling at infinity of order less than 1/2. Ufa Math. J., 2013, vol. 5, no. 2, pp. 82-93 (in Russian).
6. Salimov R. B., Shabalin P. L. On solvability of homogeneous Riemann - Hilbert problem with a countable set of coefficients discontinuities and
УДК 519.642.8
РЕШЕНИЕ ОДНОЙ ОБРАТНОЙ ЗАДАЧИ
А. А. Хромов
Хромов Александр Августович, кандидат физико-математических наук, доцент кафедры дифференциальных уравнений и прикладной математики, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, [email protected]
Дано решение задачи о нахождении равномерных приближений к правой части линейного обыкновенного дифференциального уравнения общего вида в случае, когда заданы приближения к точному решению. Построенный метод имеет простую конструкцию, не требует дополнительной информации о точной правой части, дает равномерные приближения к ней на всем отрезке, не связан с краевыми условиями.
Ключевые слова: обыкновенное дифференциальное уравнение, регуляризация, оператор Стеклова. DOI: 10.18500/1816-9791 -2016-16-2-180-183
1. Рассматривается обыкновенное дифференциальное уравнение:
в предположении, что у(х) е Сп[0,1], а(х) е С[0,1], г = 0,..., п.
Пусть у(х) — решение некоторой краевой задачи для уравнения (1), и нам известно равномерное приближение (х) к у(х) такое, что — у||с[од] ^ 8. Требуется по (х) и 8 найти равномерные приближения к /(х).
Эта задача поставлена некорректно и ее решение требует применения методов регуляризации [1].
В работе [2] предлагается несколько таких способов: либо свести задачу к задаче решения интегрального уравнения первого рода с ядром Грина, либо аппроксимировать производные с помощью разностных формул, либо свести вычисление каждой из производных к решению интегрального уравнения первого рода с оператором кратного интегрирования. Недостатками этих способов являются в первом случае трудности с обращением дифференциального оператора при произвольных краевых условиях, во втором случае — невозможность получить решение на всем отрезке [0,1], так как аргументы в разностных формулах выводят нас за границы отрезка, а третий способ можно применить лишь в частном случае краевых условий. При этом в первом и третьем способах еще нужно найти метод регуляризации интегрального уравнения, не требующий никакой дополнительной информации о решении, а только его непрерывности, что является самостоятельной проблемой.
В [3] на базе операторов из [4] дается метод решения поставленной задачи при п = 2 применительно к известной обратной задаче для уравнения теплопроводности, свободный от указанных недостатков. В настоящей работе приводится обобщение метода из [3].
Используем семейство интегральных операторов из [5], равномерно аппроксимирующих непрерывную производную любого порядка функции, заданной на отрезке [0,1]. Оно имеет вид
ao(x)y(n)(x) + ai(x)y(n 1}(x) + ■ ■ ■ + an (x)y(x) = f (x)
(1)
Тта2У, X G [0, 1/2], Tmaiy, X G [1/2, 1],
где
m
Tmai y = Dm smi+1 y = a-(m+1^ (—1)k cm Fi (x — ka),
© Хромов А. А., 2016