Библиографический список
1. Иванов В.К., Васин В.В., Танана В.П. Теория линейных некорректных задач и ее приложения. М.:Наука, 1978.
2. Тихонов А.Н. О регуляризации некорректно поставленных задач // Докл. АН СССР. 1963. Т. 153. № 1. С. 49-52.
3. Лаврентьев М.М. О некоторых некорректных задачах математической физики. Новосибирск: Изд-во СО АН СССР, 1962.
4. Хромов А.А. О приближенном решении уравнения первого рода с оператором интегрирования // Современные методы теории краевых задач: Материалы Воронеж. весен. мат. школы «Понтрягинские чтения -XIX». Воронеж: Издат.-полиграфич. центр ВГУ, 2008. С. 224-225.
5. Михлин С.Г. Лекции по линейным интегральным уравнениям. М.: Гос. изд-во физ.-мат. лит-ры, 1959.
УДК 517.54
ОДИН СЛУЧАЙ ЗАДАЧИ ГИЛЬБЕРТА С ОСОБЕННОСТЯМИ КОЭФФИЦИЕНТОВ
П.Л. Шабалин
Казанский архитектурно-строительный университет, кафедра высшей математики E-mail: [email protected]
Рассмотрена задача Гильберта со счетным множеством точек разрыва первого рода коэффициентов в ситуации, когда ряд, составленный из скачков аргумента функции коэффициентов, расходится, а индекс задачи конечен. Получена формула общего решения этой задачи, исследована картина разрешимости.
Ключевые слова: краевая задача Гильберта, индекс задачи, задача Шварца.
Certain Case of the Riemann - Hilbert Boundary Value Problem with Peculiarities of Coefficients
P.L. Shabalin
We consider the Riemann - Hilbert boundary value problem for a case where the coefficients have countable set of discontinuity points of the first kind such that the series of jumps of argument of the coefficient function is divergent, but the index of the Hilbert problem is finite. We derive the formulae for general solution of the problem and investigate the picture of solvability.
Key words: Riemann - Gilbert value problem, finite index, Schwarz value problem.
Задача Гильберта для полуплоскости — это задача об определении аналитической в верхней полуплоскости D = {z : z = x + iy, y > 0} функции Ф(г) по заданному краевому условию:
a(t) ИеФ^) — b(t) Im Ф(£) = c(t). (1)
Ситуация, когда коэффициенты краевого условия a(t), b(t) непрерывны на вещественной оси всюду,
кроме конечного множества точек разрыва первого рода, изучалась в работах [1, с. 467; 2, с. 302; 3; 4]. Задача Гильберта со счетным множеством точек разрыва коэффициентов впервые исследовалась Р.Б. Салимовым и П.Л. Шабалиным в работе [5, с. 108]. В статье [6] эта задача изучена в случаях, когда ряд, составленный из скачков в точках разрыва коэффициентов функции v(t) = argG(t), G(t) = a(t) — ib(t), сходится, и индекс задачи конечен, либо указанный ряд расходится, и индекс обращается в плюс бесконечность. В данной статье эта задача рассмотрена в еще не изученном случае, когда коэффициенты имеют счетное множество точек разрыва первого рода, причем указанный ряд расходится, но индекс задачи конечен.
Случай бесконечного множества точек разрыва коэффициента краевой задачи Римана ранее изучался М.И. Журавлевой в работах [7, 8], в которых допускается обращение коэффициента краевого условия в нуль или в бесконечность целого порядка в бесконечном множестве точек. Такие особенности коэффициента не характерны для задачи Гильберта. Потому использование результатов М.И. Журавлевой для решения задачи Гильберта со счетным множеством точек разрыва первого рода коэффициентов методом Н.И. Мусхелишвили не выглядит перспективным, так как требует особого нетривиального рассмотрения.
Рассмотрим задачу об определении аналитической в верхней полуплоскости D функции Ф^) по краевому условию (1), которое выполняется на вещественной оси L всюду, кроме сгущающейся на
© П.Л. Шабалин, 2009
бесконечности монотонной последовательности точек Ьк, к = 1, го, Ьк > 0, Ь1 = 1, в которых коэффициенты краевого условия а(Ь), Ь(Ь) и свободный член с(Ь) имеют разрывы первого рода. Условимся считать, что вещественнозначные функции а(Ь), Ь(Ь), с(£)/|С(£)| непрерывны, по Гельдеру, на каждом интервале (Ьь, Ьк+1), к = 1, го, включая концы, причем последовательность констант Гельдера является ограниченной. В окрестности бесконечно удаленной точки условие Гельдера понимается в смысле выполнения неравенства
' 1 1
t" t'
(2)
|a(t'') — a(t')| < K Считаем также выполненными условия
c(t)/|G(t)| = O(|t|-Y)> t ^го> (3)
для некоторого y, 0 <Y< 1, и |G(t)| = 0.
Решение задачи (1) будем искать в классе аналитических в верхней полуплоскости функций, имеющих интегрируемые особенности в точках tk и стремящихся к бесконечности порядка меньше единицы при z ^ го, оставаясь внутри угла раствора меньше п с вершиной в начале координат и биссектрисой, совпадающей с мнимой положительной полуосью.
Ветвь функции v(t) = arg G(t) выберем последовательно на каждом интервале непрерывности коэффициентов так, чтобы скачок Sk этой функции в точке tk удовлетворял неравенству 0 < Sk < 2п; краевое условие (1) перепишем в виде
Re [е-“'М 4(i)] = Ш • (4)
Предположим, что существует конечный предел
lim v(t) = v(—го). (5)
Введем функцию ^(t) = v(t) — ß(t)n, где ß(t) - целочисленная функция, принимающая значения ßk, в интервалах (tk,tk+1), к = 1, го, ß (t) = 0 при 0 < t < t1 и ß (t) = —к при t < 0. Число ßk выберем, так чтобы
0 < y(tk + 0) — y(tk — 0) <п, (6)
для этого достаточно положить ßk = ßk-1 + lk, взяв lk = 0 при 0 < Sk < п, lk = 1 при п < Sk < 2п;
k ____________
поскольку ßo = 0, имеем ßk = lj, к = 1, го. Ясно, что ^(—го) = v(—го) + кп. Число к определим
j=i
ниже.
Теперь краевое условие (4) перепишем в виде
c(t)
Re[e ^(t)Ф(^ = c1 (t), c1(t) =
еов( в (Ь)П 1^(Ь)|
Обозначим
_ ф(Ьк + 0) — ф(Ьк — 0) _ _ ^(Ьк+1 — 0) — ф(Ьк + 0) 7„ _ 1 о
к к — , Шк — , к — 1,2,
п п
причем в силу (6) все Кк удовлетворяют ограничению 0 < Кк < 1.
С учетом введенных обозначений получим равенство
к
ф(Ьк+1 - 0) = ^(¿1 - 0) + [Кз + Ш]].
3 = 1
lim ^(t) = ^(+го), (7)
t^ + O
тогда
^(+го) = lim p(tk+i — 0) = ^(ti — 0) + пУ^Гк,- + mj
tk+1 ^+o z—'
j=i
о
следовательно, ряд ^ [к3- + ш3] сходится.
з=1
ОО ОО
Рассмотрим случай, когда числовые ряды ^ к3, ^ ш3 расходятся, причем функция
3=1 3=1
n+ (x) = <
0, 0 < x < t1,
k-i __________________________________
Kj, tk-i < x<tk, к = 2, го,
j=i
удовлетворяет дополнительному ограничению. Именно, существуют числа Д+ > 0, к± е (0,1), такие,
что
Вт П±М = Д+! (8)
х^о Хк+
разность е(х) = Д+хк+ — п±(х), х > 1, суммируема с некоторой степенью р > 1,
е(х) е Ьр, р> 1. (9)
Считая выполненным условие (9), обозначим
+ О / +О \ 1/р
У ^(х) ёх = М±, М± < +го, | J е(х)р ёх\ = Мр, Мр < +го. (10)
Учтя равенство ^(—го) = V(—го) + кп и обозначив пв* = V(—го) — V(Ь1 — 0), вычислим
^(—го) — ^(+го) д |
Ко — ------------------ — в* + К — Ш+.
П
Теперь определим постоянную к так, чтобы скачок функции в(Ь) в точке Ь = 0 был целым и выполнялось неравенство 0 < ко < 1. Обозначив символом Е(р) целую часть числа р, получим к = — Е(в* — ш±), если в* — ш± - любое положительное или целое отрицательное число и к = — Е(в* — ш±) + 1, если в* — ш± - нецелое отрицательное число. Теперь нетрудно проверить равенство
^(0 — 0) — ^(0 + 0)
--------------------= К.
п
Поэтому число к назовем индексом данной задачи в выбранном классе решений.
Примем, что точки разрыва удовлетворяют условию
О1
tk
k=i
гарантирующему сходимость бесконечного произведения
Кк
tk
P+ (z) = П ( 1 — £
k=i
/ \ К- К-
Здесь (1 — — J = 1 — — exp{iKj arg(1 — z/tj)}, j = 1, 2,..., причем под arg(1 — z/tj) понимаем однозначную ветвь, обращающуюся в нуль при z = 0 и непрерывную в плоскости z, разрезанной по части вещественной оси, соединяющей точки t = tj, t = +го, т.е. arg ^1 — = — п + arg(z — tk) при
0 < arg(z — tk) < 2п, arg tk = 0, к = 1, го. Для любой точки z области D
0 f z" arg р+(z) = Kk arg 1 — T-
k=i
00
Следуя [9, с. 280] покажем, что функция Р±(г) является аналитической в плоскости г, разрезанной по части действительной оси, для которой Ь > Ь1, включая точки берегов разреза, кроме точек Ьк, к = 1, го. Таким образом, для точек верхних берегов разрезов имеем
arg P+(t) = <
0,
t < ti,
-П Kj, t Є (tfc,tfc+i), k = 1, ro,
j=i
поэтому
arg P+(tk +0) - arg P+ (tk — 0) = -nkn, k = 1, ro.
В [5, c. 114] с использованием представления (8) доказана формула
1
п „ , , пД+е-гк+п К [ Д+хк+ , [ е(х) dx
ln P+ (z) = —+-----------------------------------zK+ + z¡ ^ dx + z 1 w
sin ПК+
x(x — z)
x(x — z) ’
которую перепишем в виде
ПД+е-ік+п
ln P+(z) = -zK+ — M+ + Д+
sin ПК +
i +^
xK+ dx Д+ f e(x) dx
(x — z) K+
+
(x — z)
Для z = £ + in обозначим
i +^
^, i f xK+ (x — £) dx f (x — £)e(x) dx
I(£,n) = -+ / , V 2 + 1 V ^ W
(x — £)2 + n2
(x — £)2 + n2
(12)
Теперь для функции |P+(z)| получим представление
Í ПД+е-ік+п
|P+ (z)| = exp < Re —;---------zK+
|J (z )|,
[ sin ПК +
в котором | J(z)| = exp{/(£, n) — M+ — Д+/к+ }.
Ясно, что функция J(z) имеет те же нули, что и P+ (z). Обозначим через tk середину интервала (tk-1,tk), т.е. tk = (tk-1 + tk)/2. На последовательность точек {tk} налагаем дополнительно ограничение в виде неравенчтва
t, ., — t,
(13)
l < tk+i_, tk < L, l > 0,
4-а
1к
справедливого для некоторого а, 0 < а < 1 — к±.
Нам понадобится следующая
Лемма 1. Если последовательность точек разрыва удовлетворяет условиям (11), (13), для п±(х) выполнено представление (8), в котором кусочно непрерывная функция е(х) положительна и удовлетворяет ограничениям (9), (10), то для функции J(г), г = £+щ, справедливо неравенство
A+
tk — z
tk-i — z
< |J(z)| < B+
tk - z
tk-i - z
£ є (tk ,tk+i),
E+ < |J(z)| <L+, £ < 1/2,
с абсолютными постоянными A+, B+, E+, L+.
Доказательство. Рассмотрим случай £ Є (t*k,t*k+i), k> 1. Формулу (12) перепишем в виде
I (£, п) =
( i ¿k-1 ¿k + l -+те\
f + / + / + /
yo i tk-1 tk+1 J
£(x)(x — £) (x — £)2 + n2
dx = Io (£,n) + Ii (£,n) + I2 (£,n) + I3(£,n).
Легко видеть, что
k
и
О > 1о(С,п) > -
Д_
(tk+1 - 1)к+ + 1 О < Із (С,п) <
0 > Іі (£,п) > -
21/pMp
(К )1/p (q - 1)1/q '
21/pMp
(ltt-i)1/p(q - 1)1/q'
(14)
Здесь q = p/(p - 1).
Для оценки представим І2 (С, п) в виде
tk +1 ^/с + 1
і2(с,,)=д+ г(x - С)(хк;- г) dx + i(x - С)(Д+Г- n+(x)) dx.
tk — 1
(x - С)2 + п2
tk — 1
(x - С)2 + п2
После вычисления второго интеграла получим формулу
І2 (С, п) - Kk ln
z - tk
z - tk-1
Д+Ск; - П+ (tk)] ln
z - tk + 1
z - tk-1
tk + 1
+ Д+
tk — 1
(x - С)(xK; - CK; ) (x - С)2 + п2
dx. (15)
Учтя справедливое для С Є (t*k ,t*k+1) неравенство
xK; - СK; Kl
< +
x - С
t1-K;
tk-1
получим
tk;1
0 < [ (x - С)(xK2; - ^) dx<K+tk+1 - tk-1
(x - С)2 + п2
t1-K; tk-1
С использованием этого соотношения и легко проверяемого неравенства
1 + 2
tk - tk-1 tk+1 - tk
-1
<
z - tk + 1
z - tk-1
< 1 + 2
tk + 1 - tk tk - tk-1
из (15) получим
ln 1 + 2
tk - tk-1 tk+1 - tk
—£(tk; 1)
< І2(С, п)-Kk ln
z - tk
Применяя теперь условие (13), запишем
2l
-£(tk+1) ln ( 1 + ^ + O(1/tfc-1 ) ) < І2(С’ п) - Kk ln
z - tk — 1
< ln 1 + 2
tk+1 - tk tk - tk—1
£(tk; 1)
+Д—К+
tk+1 - tk—1
1 — K; k—1
z — ~tk
z - tk — 1
<
< Д+к+Е + e(tk+1) ln ^1. + — + O(1/tK+1)^
(16)
Из неравенств (14), (16) получается требуемая оценка.
Аналогичная оценка в случае £ е (1/2, Ь*) получается из представления функции I(£,п) в виде
і (С,п) = Д+
1 t2 f xK; (x - С) dx f e(x)(x - С)
+
(x - С)2 + п2 (x - С)2 + п2
0 1
. e(x)(x - С) ,
dx + I -------ТТ7Г-—- dx.
(x - С)2 + п2
Двусторонняя оценка І(С, п) в случае С < 1/2 элементарна.
Обозначим J +(t) = lim |J(z)| при стремлении z по некасательным путям к точке вещественной
z ——t
оси t, K°n = min{K+, Kk,a}, 0 <k < n - 1.
Лемма 2. Если выполнены условия (11), (13), функция (8) положительна и удовлетворяет ограничениям (9), (10), то функция J(t) на интервале (-tn,tn) удовлетворяет условию
|J + (t") - J + (t')| <Nn |t" - t'|K°.
t
k—1
Пусть t е (tk, tk+1), k > 1. Из (12) с учетом формулы Сохоцкого получим
J+ (t) = exp{/(t) - M+ - Д+/к+ }, I(t) = Iq(t) + Ii(t) + I2(t) + /s(t),
1o (t) = A+
xK+ dx x — t
( tk-1 tfc+2 + rc>\
/ + / + /
1 tk-1 tk + 2 J
e(x) x — t
dx = Ii(t) + /2 (t) + /s(t).
Из равенства
tk+2
/2 (t) — Kk ln-^—^^---------------------------------Kk+i ln \ = A+ [ x-^—t— dx + [A+tK+ — n+(tk)]ln tk+2 t
t — tk-i
tk+2 - t
x — t
t - tk-1
tk — 1
после интегрирования по частям и последующего дифференцирования по параметру (см. [10]) полу-
/2 (t) — Kk ln t ^tk------Kk+i ln tk+1 t
t — tk-i
tk+2 - t
= A+K+
x^+-1___t^+—1
x — t
dx+
tk — 1
A+K + tk+2 — t A+tK —1 n+ (tk ) A+tfc+2 n+(tk )
+ —--------ln ■
t1 K+ t — tk —1 Учитывая легко проверяемые неравенства
t - tk-1
tk+2 - t
0 > A+1 — n+ (tk) > A+K+
t - tk-1
,1—K + tk-1
A+ K + ,1 — K +
1 +
L
+ o(1/ta) >
A+tk+2 — n+ (tk ) tk+2 - t
> 0,
0 > A+K+
xK+—1 — tK+—1 , A+k+
dx > — - + +
x — t
tk — 1
t1—K+
tk-1
1+ O
1.1—a
A+K + t1 — K+
ln
LL
i2
+O
l1— a
> A+ii ln > A—^ ln
t1 — K+ t — tk — 1 t1 — K+
L2
+O
1.1—a
выводим
A+K+ t1 — K+
1 + ln
LL
ii
+ 1 + O
l 1 a
k
> I /2(t) — Kk ln t . tk--------------Kk + 1 ln >
t - tk-1
tk+2 - t
>-
A+K+ t1 — K+
1 — 2 ln l + O 1 L
1 —a
A+K+ Д—k+
1+
L
Отсюда с использованием оценок
0 < /0 (t) <
A
+
°'v ' (1 + K+ )(tk — 1)2’
0 < /3 (t) <
0 < /1 (t) <
Mp
+ o
Mp
i1+1/p (2q — 1)1/q tko:ia/p) ’
11+1/p(2q - 1)1/qt(ka+1a/p)
для функции Ik(t) = Iq(t) + I1(t) + I2(t) — Kk ln 1 — nk+1 ln + I3(t) получим соотношение
t1—K+
N+
</k(t) < jr—^, t є (tk^k+0,
гарантирующее внутри интервала (tk, tk+1) для exp Ik (t) выполнение условия Гельдера с показателем a.
1
t
k
t
1
k
2
1
1
k
k
1
1
k
Пусть t' е (tk ,tk+1),t// е (tk ,tk+1) и t' < t". Для функции e1 (t) = e!k (t) ( t _ .¿к_ J (if+irr
t t\Kk +1 tk + 1 — t \
tk+2 t
оценим величину
ei (t" ) — ei(t0 = (eIk (t") — eIk (t)
J' — tk І' — tk — 1
± ±' \ Kk +1 tk + 1 — J \
tk+2 — t'
+
+e
ik (t,,) (tk+1 — t‘ tk+2 —
'' \ Kk +1
t'' — tk t-" — tk — 1
+eik (t,,)
Следуя [5, c. 134], получим
j' — tk t' — tk-1
tk+1 — j' tk+2 — t'
'' \ Kk + 1
J' — tk
t' — tk-1
± ±' \ Kk +1 tk + 1 — J
tk+2 — t'
+
tk+1 — j' tk+2 — t'
'' \ Kk + 1
< 1,
± ±''\ Kk + 1 / ± j.' \ Kk +1
tk+1 — t tk+1 — t
tk+2 — t'
tk+2 — t'
<
|t'' — t'|f
(tk+2 — tk —1)K
На основании этих неравенств как и в [5, c.134] получим
1 (t") — eJ(t,) <KIt'' — t'г
В случае 0 < t < 1 для получения оценки IQ(t) = ^I(t) — к1 ln(1 — t)j представим
1 _2 ±^
I(t) = д± / £!! dx + / Д±х!1_—K1 + [ Ф! dx,
x — t
x — t
x — t
t2
следовательно,
t2 + Ю
г xK+ — tK+ f f(x)
/(t) — k1 ln(1 — t) = (A+tK+ — k1 ) ln(t2 — t) — A+tK+ ln t + A+ I -------------:— dx +
x — t
x — t
dx.
Дифференцируя сингулярный интеграл по параметру как в [10], получим равенство
¿2
10(Ь) = Д+к+^ — Ь) — Д+**+ — К + Д+к+ / х— Ох: + ( £(х)
t1 —К +
t2 — t
x — t
(x — t)2
dx,
в котором первый интеграл представим в виде
СЮ СЮ
xK+—1 , 1 Г тк+—1 1 Г тк+— 1 ,
dx = ----- ------— dT-------;----- ------— dT.
x — t t1—K+ / т — 1 t1—K+ / т — 1
0
t2/t
Учтя неравенства
п ctg(K+п) t1—K+
t2
<
1 — K+ x — t
0
t1—K+ ’
+ Ю
e(x) t2
T---------Г7Т dx <7-------------------—-Г M+
(x — t)2 (t2 — 1)2 +
получим ограничение
r'^ / A+K+ ln J2 A+K+п ctg(K+n) J2M+ k+
j-o(t) < n “ ~ “ + — 7TT7 +
t1 — K+
t1 — K+
(t2 — 1)2 t2 — 1
из которого следует выполнение внутри интервала (0, t1) условия Гельдера с показателем к± для exp Io(t).
0
0
0
e
1
Для t < 0 имеем представление lnP+ (t) = nA+|t|K+ / sin(nK+) — I(t), причем
I'(t) = A+
(x — t)
dx +
e(x) (x — t)
dx.
Для оценки первого интеграла после замены переменной интегрирования х = —Ьт получим
-1/t
(x — t)2
dx = |t|1—к+
_к+
dr <
2|t|b
■K +
Поскольку выполнено соотношение
e(x) (x — t)
dx < M
+ 5
то очевидна оценка
I'(t) < M+ +
3
2|t|1—к+
из которой вытекает, что функция exp I(t) удовлетворяет условию Гельдера на отрицательной полуоси.
Отсюда и из леммы 1 следует утверждение о выполнении для данной функции условия Гельдера с показателем к°п всюду на интервале (—tn ,tn).
Далее решение задачи проведем по схеме, примененной в [4; 5, с. 13] для задачи с конечным числом точек разрыва первого рода коэффициентов.
Краевое условие перепишем в виде
Re
р+ mm*+г)-
expj пД+e гк+(п ö) |t|K+ / sin(nK+)|
=_____________________Ci (t)|p+(t)|___________________
exp j пД+ cos(k+ (п — 9))|t|K+ / sin(nK+) j |t + i|K^
где 9 = 0 при t > 0 и 9 = п при t < 0,
^i (t) = <^(t) + arg P+ (t) — arg(t + i) + пД+^+, arg P+(t) = n+(t).
Следовательно, ^(—ro) = ^(—ro) — пк^, ^(+ro) = ^(+ro), т.е. функция ^1 (t) непрерывна в точках tk и при t = го. При этом для to =0
^1 (to — 0) — <pi(to + 0) = <p(to — 0) — <p(to + 0) = кп.
Поэтому введем функцию
z — і z + і
• \ (к— ко)/2
Z — і
z + і
(к — ко)/2
.к — к0 z — і
exPi і—ö—
2 z + і
z + і
z + і
exp < ік0 arg
z + і
где к0 =0 при четном к, к0 = —1 при нечетном к, ащ{г/(г + г)} - ветвь, непрерывная в верхней полуплоскости, стремящаяся к нулю при г = х ^ го, ащ{(г — г)/(г + г)} - ветвь, непрерывная в плоскости г, разрезанной по участку мнимой оси, соединяющему точки г = —г, г = г, для которой при г = х ^ го ащ{(г — г)/(г + г)} ^ 0. Теперь краевое условие преобразуем к виду
1
1
3
z
z
z
где
Re
P+ (t^(t)(t + i) К^(t/(t + i)j
— Ко/2
/ \ (к—к0)/2 f . 'j
((t — i)/(t ± i)j exrn nA+e—iK+(ж—в) |t|K+ / sin(nK+) >
ci (t)|P+ (t)\\t/(t + i)|—Ко/2
exrn nA+ cos(k+ (п — #))|t|K+ / sin(nK+) f |(t — i)/(t + і)|(к Ко)/2 |t + i|
^2 (t) = <pi (t) — ко arg
t + i
к — Ко t — i arg
2
t + i
Функция ^2(t) непрерывна в точках t0, tk и t = го.
Так как функция G(t), |G(t)| = 0 удовлетворяет условию Гельдера в любом замкнутом интервале [tk,tk+1 ], а при больших к — условию вида (2), то аналогичному условию будет удовлетворять так же функция v(t) = arg G(t). Следовательно, функция ^2(t) будет удовлетворять условию Гельдера на любом конечном интервале вещественной оси и условию вида (2), вблизи бесконечно удаленной точки. Следовательно, этими свойствами будет обладать [2, с. 63-68; 11, с. 110] и функция
Го(() =
1 [ У2(т)dr п I т — t '
Теперь краевое условие перепишем в виде
Re
e—r+(t) P+ (t^(t)(t + i)—K™(t/(t + i))
— Ко/2
(к—Ко )/2 ґ -ч
(t — i)/(t + i)) exp< nA+e—iK+(n—e) |t|K+ / sin(nK+) \
= c2 (t),
(17)
c2 (t) =
e—ro(t) Ci(t)|P+(t)||t/(t + i)|—Ко/2|t + i|-
exp jnA+ cos(K+(n — 0))ЩК+ / sin(nK+) j |(t — i)/(t + і)|(к—Ко)/2
где Г+(Ь) = Го(Ь) + 1^2(Ь).
Будем считать, что Кк = 0, следовательно, функция с2(Ь) удовлетворяет условию Гельдера на любом конечном интервале, функция
|Р+ (Ь)|
ехр |пД+ сов(к+(п — #))|Ь|К+ / в1п(пк+)|
ограничена, следовательно, функция с2(Ь) при Ь ^ го обращается в нуль порядка к^ + 7, поэтому
интеграл Шварца А / с—^ От существует [2, с. 64] для точек г, лежащих в верхней полуплоскости,
определяет в ней аналитическую функцию, действительная часть которой при г ^ Ь стремится к с2(Ь), а при г ^ го, 1тг > 0, по некасательному пути (по отношению к действительной оси) стремится к конечному пределу [2, с.63-68; 11, с. 26]. Поэтому в силу (17) при к — к0 > 0 имеем
4(z) =
(К-Ко)/2
(z — i)/(z + i)) exp<^ nA+e—ІПК+ zК+ / sin
e r(z)P+(z)(z + i) Kix ^z/(z + i)j
(к — к0 )/2
1 [ C2^ dt ±‘ lck( i±4
пі J t — z f-' \ Vz — i
—^ k=0 V
— C k
— Ко/2
z—i
(18)
z ± i
где С к = Ак + гВк — произвольные постоянные. В случае нечетного к должно выполняться равенство
К
t
X
k
k
X
И.И. Шарапудинов, Г.Н. Муратова. Некоторые свойства г-кратно интегрированных рядов
1 +Г т (к+1)/2
— ^ ії + ІВ0 + 2І У (-1)*В = 0
пг І г ^
*=0
(19)
Если к — к0 — отрицательное число, то единственное решение задачи представляется формулой
^(г - і)/(г + і)) ехр|пА+е ІПК+ гк+ / віп(пк+)| і +^с-(г)
е-Г(2)р+(г)(г + г)-к™ ^г/(г + і)^
Ф(г) = Л-------------------^----------------------------------ч---------}- х — ёг, (20)
V ) , \-к0/- пі I г - г ’ v ;
в которой с2 (Ь) удовлетворяет условиям разрешимости
^ (ь —(^ ОЬ, ^ = 1 —(к — ко)/2 — 1 (21)
а в случае к = —1 еще и равенству (19), в котором все Вк равны нулю.
Итак, доказана
Теорема. Пусть последовательность точек Ьк удовлетворяет условиям (11), (13), существуют конечные пределы (7), (5) и для некоторого числа к+, 0 < к+ < 1, существует конечный предел (8), функция е(х) удовлетворяет условиям (9), (10), функция С(Ь) и свободный член с(Ь) удовлетворяют условию Гельдера в любом замкнутом интервале [Ьк, Ьк+1 ], с показателем
а е (0,1) и условию (3). Тогда при (к — к0)/2 > 0 решение неоднородной задачи в рассматри-
ваемом классе функций определяется формулой (18), причем при нечетном к с дополнительным условием (19); если к — к0 — отрицательное четное, то решение представляется формулой (20) с дополнительными условиями разрешимости в виде системы (21), а при нечетном к — еще и с условием (19).
Выражаю глубокую благодарность Р.Б. Салимову за постоянное внимание к работе.
Работа выполнена при финансовой поддержке РФФИ (проект 08-01-00381).
Библиографический список
1. Гахов Ф.Д. Краевые задачи. М.: Наука, 1977. 640 с.
2. Мусхелишвили Н.И. Сингулярные интегральные уравнения. М.: Наука, 1968. 511 с.
3. Чибрикова Л.И., Салехов Л.Г. К решению краевой задачи Гильберта // Труды семинара по краевым задачам. Казань: Изд-во Казан. ун-та, 1971. Вып. 8. С. 155175.
4. Салимов Р.Б., Селезнев В.В. К решению краевой задачи Гильберта с разрывными коэффициентами // Труды семинара по краевым задачам. Казань: Изд-во Казан. ун-та, 1979. Вып. 16. С. 149-162.
5. Салимов Р.Б., Шабалин П.Л. Краевая задача Гильберта теории аналитических функций и ее приложения. Казань: Изд-во Казан. мат. об-ва, 2005. 298 с.
6. Салимов Р.Б., Шабалин П.Л. Задача Гильберта. Случай бесконечного множества точек разрыва коэффициентов // Сиб. мат. журн. 2008. Т. 49, № 4. С. 898915.
7. Журавлева М.И. Однородная краевая задача Рима-на с бесконечным индексом со счетным множеством разрывов ее коэффициента // Труды Тбилисского мат. ин-та АН Гр. ССР. 1973. Т. 43. С. 53-71.
8. Журавлева М.И. Неоднородная краевая задача с бесконечным индексом и со счетным множеством нулей и полюсов коэффициентов // ДАН СССР. 1974. Т. 214, № 4. С. 755-757.
9. Маркушевич А.И. Теория аналитических функций. В 2-х т. М.: Наука, 1968. Т. 2. 624 с.
10. Крикунов Ю.М. Дифференцирование особых интегралов с ядром Коши и одно граничное свойство голоморфных функций // Краевые задачи теории функций комплексного переменного. Казань: Изд-во Казан. унта, 1962. С. 17-24.
11. Гарнетт Дж. Ограниченные аналитические функции. М.: Мир, 1984. 469 с.