Научная статья на тему 'Решение однородной краевой задачи Римана с бесконечным индексом логарифмического порядка на луче новым методом'

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

CC BY
151
12
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
краевая задача Римана / аналитическая функция / бесконечный индекс / логарифмический порядок. / Riemann boundary value problem / analytic function / infinite index of logarithmic order

Аннотация научной статьи по математике, автор научной работы — Р Б. Салимов, Э Н. Хасанова

Рассматривается однородная краевая задача Римана с краевым условием на луче—положительной действительной оси с началом в точке с координатой, равной единице, для функции, аналитической в комплексной плоскости с разрезом по указанному лучу. В краевом условии значение искомой аналитической функции в любой точке левого (при движении в положительном направлении) берега разреза представляется как произведение значения заданной функции, называемой коэффициентом, и значения искомой функции в указанной точке правого берега разреза. Предполагая, что модуль коэффициента удовлетворяет условию Гельдера всюду на луче, включая бесконечно удаленную точку, а аргумент коэффициента удовлетворяет условию Гельдера на любой конечной части луча и неограниченно растет как степень логарифма координаты точки луча при неограниченном удалении этой точки от начала луча. Выводится формула, определяющая аналитическую в верхней полуплоскости функцию, мнимая часть которой при стремлении координаты точки луча к бесконечности является бесконечно большой того же порядка, что и аргумент коэффициента краевого условия. Далее строится соответствующая функция в нижней полуплоскости. Использование указанных двух функций позволяет устранить бесконечный разрыв аргумента коэффициента краевого условия аналогично тому, как это делается в случае конечных разрывов этого коэффициента. На основе приемов, применяемых Ф. Д. Гаховым, задача с условием на луче приводится к задаче с краевым условием на всей действительной оси, для точек которой, нележащих на указанном луче, коэффициент краевого условия равен единице. Для решения последней задачи используется метод Ф. Д. Гахова. Найденное решение зависит от произвольной целой функции нулевого порядка, модуль которой подчинен одному условию, в то время как в случае конечного индекса решение задачи зависит от произвольного многочлена степени не выше индекса задачи.

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

The Solution of the Homogeneous Boundary Value Problem of Riemann with Infinite Index of Logarithmic Order on the Beam by a New Method

In this paper we consider the homogeneous Riemann boundary value problem with infinite index of logarithmic order and boundary condition on the unlimited ray. This ray goes by the positive real axis and has a vertex at (1, 0).We solve the problem for analytic function with the cut along the ray. The value of the function at any point of the left bank equals the product of the coefficient and the value of the function at the corresponding point of the right bank of the cut. Let the modulus of the coefficient meet the Holder condition at each point of the ray. Let the argument of the coefficient meet the Holder condition at each point of the finite part of the ray. Let the argument of the coefficient come arbitrarily close to infinity with the logarithmic order. We obtain the formula of analytic on the upper half-plane function. The imaginary component of this function is infinitely large when the point of the ray tends to infinity. The order of the imaginary component of this function at infinity is equal to the order of the coefficient. Then we obtain the formula of analytic on the lower half-plane function. These two functions permit us to eliminate the infinite discontinuity of the argument of the coefficient of the boundary condition exactly as in the case of finite discontinuities of coefficient. The problem with the condition on the ray is reduced to the problem with the boundary condition on the real axis. We solve the latter problem by the Gakhov method. The solution depends on an arbitrary entire function with zero order. The modulus of the solution meet one and only one condition.

Текст научной работы на тему «Решение однородной краевой задачи Римана с бесконечным индексом логарифмического порядка на луче новым методом»

УДК 501.1

РЕШЕНИЕ ОДНОРОДНОЙ КРАЕВОЙ ЗАДАЧИ РИМАНА С БЕСКОНЕЧНЫМ ИНДЕКСОМ ЛОГАРИФМИЧЕСКОГО ПОРЯДКА

НА ЛУЧЕ НОВЫМ МЕТОДОМ

Р. Б. Салимов1, Э. Н. Хасанова2

1 Салимов Расих Бахтигареевич, доктор физико-математических наук, профессор кафедры высшей математики, Казанский государственный архитектурно-строительный университет, 420043, Россия, Казань, Зеленая, 1, [email protected]

2Хасанова Энже Назиповна, ассистент кафедры высшей математики, Казанский государственный архитектурно-строительный университет, 420043, Россия, Казань, Зеленая, 1, [email protected]

Рассматривается однородная краевая задача Римана с краевым условием на луче — положительной действительной оси с началом в точке с координатой, равной единице, для функции, аналитической в комплексной плоскости с разрезом по указанному лучу. В краевом условии значение искомой аналитической функции в любой точке левого (при движении в положительном направлении) берега разреза представляется как произведение значения заданной функции, называемой коэффициентом, и значения искомой функции в указанной точке правого берега разреза. Предполагая, что модуль коэффициента удовлетворяет условию Гельдера всюду на луче, включая бесконечно удаленную точку, а аргумент коэффициента удовлетворяет условию Гельдера на любой конечной части луча и неограниченно растет как степень логарифма координаты точки луча при неограниченном удалении этой точки от начала луча. Выводится формула, определяющая аналитическую в верхней полуплоскости функцию, мнимая часть которой при стремлении координаты точки луча к бесконечности является бесконечно большой того же порядка, что и аргумент коэффициента краевого условия. Далее строится соответствующая функция в нижней полуплоскости. Использование указанных двух функций позволяет устранить бесконечный разрыв аргумента коэффициента краевого условия аналогично тому, как это делается в случае конечных разрывов этого коэффициента. На основе приемов, применяемых Ф. Д. Гаховым, задача с условием на луче приводится к задаче с краевым условием на всей действительной оси, для точек которой, нележащих на указанном луче, коэффициент краевого условия равен единице. Для решения последней задачи используется метод Ф. Д. Гахова. Найденное решение зависит от произвольной целой функции нулевого порядка, модуль которой подчинен одному условию, в то время как в случае конечного индекса решение задачи зависит от произвольного многочлена степени не выше индекса задачи.

Ключевые слова: краевая задача Римана, аналитическая функция, бесконечный индекс, логарифмический порядок.

001:10.18500/1816-9791-2017-17-2-160-171

1. ВВЕДЕНИЕ. ПОСТАНОВКА ЗАДАЧИ

Пусть Б — область в плоскости комплексного переменного £ = х + гу, границей которой служит Ь* — положительная действительная ось с началом в точке х = 1:

1 < х < го. Требуется определить функцию Ф(г), аналитическую и ограниченную в области Л, если её граничные значения удовлетворяют условию

где Ф+ (£), Ф-(£) — предельные значения функции Ф(£) при г ^ £ слева и справа, когда 1т г> 0 и 1т г< 0 соответственно, коэффициент С(£) — заданная функция, удовлетворяющая условиям:

1) 1п |^(£)| удовлетворяет условию Гельдера на Ь* — условию Нь* (1п |^(£)| е Нь*);

2) для arg С(£) справедливо представление

где v-, а — заданные числа, v- > 0, а > 0, (lnt)a > 0, v(t) — заданная функция,

v (t) G HL*.

Рассматриваемая задача является задачей с бесконечным индексом, так как arg G(t) ^ +го при t ^ +го.

Эта задача впервые была исследована П. Г. Юровым [1] путём построения канонической функции непосредственно из задачи (1), случай, когда условие (1) задано на всей действительной оси рассмотрен в работе П. Ю. Алекны [2] аналогичным способом.

Для решения поставленной задачи применяется основанный на построении вспомогательной аналитической функции, имеющей тот же разрыв, что и i arg G(t), метод, аналогичный использованному в работах [3,4], в последней из которых рассмотрена задача (1) с бесконечным индексом степенного порядка, в первой — эта задача в случае, когда краевое условие (1) выполняется на всей действительной оси при индексе того же порядка.

В статье [3] указаны основные этапы развития изучаемого научного направления. Ключевая роль в развитии теории краевых задач Римана для аналитических функций принадлежит Ф. Д. Гахову [5], Н. И. Мусхелишвили [6], а также Н. В. Говорову [7], рассмотревшему впервые случай бесконечного индекса.

2. ВСПОМОГАТЕЛЬНЫЕ СООТНОШЕНИЯ

Пусть ln z = ln |z| + i arg z, 0 < arg z < п, есть функция, непрерывная в полуплоскости Im z ^ 0, кроме точек z = 0, z = го.

Взяв произвольное положительное число а, под (ln z — in)a будем понимать непрерывную однозначную ветвь, аналитическую в полуплоскости Im z ^ 0, кроме точек z = 0, z = го и точки z = ein в случае, когда число а отличается от натурального, считая, что указанная ветвь принимает положительное значение (ln |x|)a при z = |x|ein, |x| > 1 (arg(ln |x|)a = 0) и arg(lnz — in)a ^ 0 при z ^ x ^ +го.

В дальнейшем нам понадобится представление функции (ln z—in)a+1 для больших положительных значений z = x.

При z = x > en будем иметь

ф+ (t) = £(£)Ф-(t), t G L*,

(1)

arg G(t) = v-(lnt)a + v(t), t G L*,

(2)

(3)

( т \а+1

считая, что (1пх)а+1 > 0, 1--^ 1 при х ^

\ 1п х )

Пользуясь разложением [8, с. 302]

ж /

а* • 7* у./*

(1+ £)а* = ^ *) 7 , < 1, (4)

7* =0 "

'а*\ а* (а* — 1)(а* — 2)... (а* — 7* + 1)

где а* — произвольное комплексное число, '

7* / 7*-при 7* > 0, ( а ) =1 при 7* = 0, получим представление второго множителя правой

и*/

части формулы (3) для х > еп. Учитывая последнее, для мнимой части функции (3) при х > еп получим выражение

1т (1п х — гпГ1 = (1п х)а £ + 1) п (—1)7+^ 27. (5)

Будем считать пока а > 1. Выберем натуральное число к так, чтобы выполнялось соотношение

—3 < а — 2к < —1 (6)

(когда к ^ 2). В разложении (5) выделим первые к слагаемых и запишем его так

1т (1п х — гп)а+1 = —п(а + 1) (1п х)а + + Е + 1)п27+1 (—1)7+1 (1пх)а-27 + Га-2к(х, а), х > еП, (7)

где

Га-2к(х, а) = (1п,хГ2кп2к+1 Е + 1) (—1)7+' ( ^27-2к . (8)

В формуле (7) число а заменим на а — 2т, число к — на к — т, считая, что т принимает значения 1,2,..., к — 1. Тогда сумме первых к слагаемых правой части формулы (7) будет соответствовать сумма к — т слагаемых:

7е (а —^ + ^ 7 +1( —1)71+1 (1п х)а-2т-2-

в которой будем считать, что 71 = 7 — т, 7 = т, к — 1, поэтому формула (7) перейдет в следующую

Е (2а7 _2т)++\) п2(7-т>+1(—1)7-т+1 (ш х)а-27=

7 =т ^ (7 ) '

= 1т(1пх — гп)а-2т+1 — га-2к(х, а — 2т), т = 1, к — 1, х > еп, (9)

г„_2к(х,а - 2т) = (1пх)а—2к п«к-)+1 ± ( ° Г2"1**) (_1)^ ' п ^

3=к

1п X

(10)

при 3 = 3 + т.

Соотношения (9) будем рассматривать как систему (к _ 1) уравнений с неизвестными (1пх)а—27, з = 1,к _ 1, с треугольной матрицей коэффициентов системы, элементы определителя А которой обозначим . Согласно (9) имеем, в частности,

ат.= 0 при 3 < т, атт = (а _ 2т + 1)(_п), т = 1, к _ 1. Поэтому

£-1

А = (_п)к—1 Д (а _ 2т + 1)

т=1

причём А = 0, так как согласно (6) имеем _3 <а _ 2к и 0 <а _ 2(к _ 1) + 1 (при к > 1).

Пусть — алгебраическое дополнение для элемента ат- определителя А. Обозначим Аj определитель, получаемый из А, заменой элементов 3-го столбца на соответствующие свободные члены системы (9). Тогда по формулам Крамера выражаем

(1п х)а—27 = -А, 3 = 1, к _ 1, х > еп,

поэтому

(1п х)

а—2j

1 к-1

А Ат [ 1т (1п х _ гп)

т=1

а—2т+1

х _ гпу...... _ Га—2к(х, а _ 2т)]

3 = 1,к _ 1,

х > еп.

Последнее выражение подставим в формулу (7), обозначая

В =1

Вт а

к—1

j=1

а+1

2з + 1 |п

2j+1 (_1)j+1

получим

к—1

V а—2т+1

(1п х _ гп)а+1 _ ^^ Вт (1п х _ гп)

т=1

к—1

= _п(а + 1) (1п х)а + Га—2к(х, а) _ ^ ВтГа—2к(х, а _ 2т)

т=1

Введем в рассмотрение функцию

х > е

(11)

к—1

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

Т0(г) = (1п г _ гп)а+1 _ ^^ Вт (1п г _ гп)

а—2т+1

т=1

(12)

каждое слагаемое которой есть однозначная ветвь в полуплоскости 1т £ > 0, определяемая как указано выше.

Мнимая часть этой функции при £ = |х|ег7Г, |х| > 1, обращается в нуль, а при £ = х, х > еп имеет представление, определяемое формулой (11), в которой все слагаемые правой части, кроме первого, стремятся к нулю при х ^ в силу (6), (8), (10).

Функция (12) здесь играет вспомогательную роль, так как в точке £ = 0 она имеет особенность. В дальнейшем нам понадобится функция с аналогичными свойствами для точек £ = х при достаточно больших значениях |х|, которая является аналитической в полуплоскости 1т £ > 0 и непрерывной во всех конечных точках действительной оси. В качестве такой функции возьмём

£—1

Т(£) = (1п(£ + г) - гп)а+1 - Вт (1п(£ + г) - гп)

а—2т+1

(13)

т=1

считая, что Т(г)= Т0(£ + г), 1т£ > 0.

Для 1тТ(х) при х > еп можно получить представление, аналогичное (11). Но проще воспользоваться представлением (11) и учесть, что 1т (Т(х) — Т0(х)) ^ 0 при х ^

Чтобы установить последнее, заметим, что при любом числе а1 > 0 имеем

(1п(х + г) — гп)а1 — (1п х — гп )а1 = (1п х — гп)

ах

а1

1 + 1^1 — 1

1п х — гп

(14)

здесь в правой части первое слагаемое в квадратных скобках разложим по формуле (4), считая х > еп, и придём к соотношению

[(1п(х + г) — гп)а1 — (1п х — гп )а1 ]

га1 х

(1п х)

а1 — 1

при х ^ + ГО.

(15)

Аналогично, дифференцируя равенство (14) и учитывая формулу (4), получим соотношение

[(1п(х + г) — гп)а1 — (1пх — гп)а1 ~ — —2- (1пх)

, а1 —1

х2

при х ^ + ГО.

Обозначим

V(£) = 1т (Т(£) — То(£)).

(16)

(17)

Подставим сюда выражения (12), (13). При £ = х > еп разности одинаковых степеней вида левой части формулы (15) заменим по последней формуле, полагая а1 = а — 2т + 1, т = 0, к — 1, и придем к соотношению

£—1

V (х)

а + 1 (1п х)а - ^ а — 2т + 1 "" х)а—2т

х

т=1

х

(1п х)(

а + 1

Используя (16), аналогично получим

а + 1

V' (х)

х2

(1п х)

х

х ^ + ГО.

(1пх)а , х ^ (18)

Отсюда видно, что отношение г)а] при х > еп есть непрерывная функ-

I X2 I

ция, имеющая конечный предел при х ^ +го. Используя последнее, заключаем [7, с. 127], что V(х) — функция, удовлетворяющая условию Гёльдера в окрестности точки х = +го (дифференцируемая в любой конечной точке х > еп).

При £ = х = |х|егп < 0, |х| > еп на основании соотношений, аналогичных (15), (16), получим

а + 1

V(х) ~--—— (1п |х|)а, х ^—го,

+1 (19)

а + 1

V/(x) ~ —:—— (1п |х|)а , х ^ —го, | х |2

и убедимся в том, что функция V(х) удовлетворяет условию Гельдера в окрестности точки х = —го (и дифференцируема в любой конечной точке х < —еп). Сумму функций га_2к(х,а) формулы (11) обозначим

Ва-2к(х, а) = Га-2к(х, а) — ВтГа-2к(х, а — 2т).

т=1

Эту формулу с учётом (8), (10) запишем так:

о7 / П \ 2*_2к

Яа-2к(х, а) = (1п х)а_2к£ ДЦ—) , х > еп, (20)

3=к

к_1

к-1

\ш„. _2т

23 + 0 — т=1 ВЛ2(3 — т) + 1)(—1) П

N = — (—1)*' п2к+1

При 0 < а < 1 мы должны взять к = 1, и в предыдущих формулах будут отсутствовать конечные суммы, в которых т = 1,к — 1, при а = 1 дополнительно будем иметь га_2к(х, а) =0 и Да_2к(х,а) = 0, причём последние два равенства выполняются и в случае а = 2к—1 > 1. В дальнейшем будем считать, что а—2к < —1, при а = 2к — 1 надо положить га_2к(х, а — 2т) =0, т = 0, к — 1.

В силу (20) получаем

1

Ка_2к(х, а) = --М(х), х > еп, (21)

(1п х)

где М(х) — сумма ряда правой части формулы (20),

П / П \ 23_2к_1

м'(х) =--^ V N (23 — 2к) ( т^ )

х (1пх)2 } V1nх)

С учётом (12), (20) формулу (11) можно представить в виде

1тТ0(х) = —п(а + 1) (1пх)а + Да_2к(х, а), х > еП. Поэтому, принимая во внимание (17), будем иметь

1тТ(х) = V(х) — п(а + 1) (1пх)а + Яа_2к(х,а), х > еП. (22)

При £ = х = |х|ег7Г < 0, |х| > еп согласно (12) получаем 1тТ0(х) =0 и с учётом (17) приходим к равенству

1тТ(х) = V(х), х < —еп. (23)

Таким образом, в случае а > 0 приходим к следующей лемме.

Лемма 1. Для значений мнимой части аналитической в полуплоскости 1т £ > 0 функции Т(я) формулы (13) при £ = х, |х| > еп справедливы представления (22), (23), в которых V(х) — функция, удовлетворяющая условию Гельдера и обращающаяся в нуль на бесконечности, Да—2к выражается формулой (21) и исчезает при натуральном числе а.

Наряду с функцией Т(х) формулы (13) в дальнейшем нами будет использована аналитическая в полуплоскости 1т £ < 0 функция, определяемая формулой [6, с. 140, 141]

Т (£) = ТЩ. (24)

Для точек действительной оси £ = £ = х здесь имеем Т(х) = Т(х), поэтому

1т Т (х) = - 1т Т (х). (25)

Полуплоскости 1т £ > 0, 1т £ < 0 будем обозначать , Б— соответственно.

3. ОСНОВНЫЕ РЕЗУЛЬТАТЫ

Значения искомой функции Ф(£) будем обозначать Ф+ (£) = Ф(£) при 1т £ > 0, Ф—(£) = Ф(^) при 1т£ < 0. Для предельных значений этих функций при £ ^ £ < 1 будем иметь Ф+(£) = Ф—(£), следовательно, как и в [5, с. 440], с учётом (1) приходим к заключению, что искомые функции Ф+ (¿), Ф—(¿) удовлетворяют краевому условию. заданному на всей действительной оси Ь

где

Ф+ (t) = Go(£)Ф-(£), t е L, (26)

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

G0(t) = G(t), t е L*, G0(t) = 1, t е L' = L \ L*.

Здесь будем считать, что

argG0(t) = argG(t), t е L*, (27)

argG0(t) = 0, t е L'. (28)

Для простоты предположим, что слагаемое v(t) формулы (2) удовлетворяет условиям

v (1) = v (1 + 0) = 0, v (+го)=0, (29)

кроме того,

|G(1)| = |G(1+0)| = 1, |G(+ro)| = 1. (30)

Используя функции Т(£), Т(£), определяемые формулами (13), (24) соответственно, с учётом (25) краевое условие (26) представим следующим образом:

Ф+ (Ь)евТ(4) = (Ь)Ф_(Ь)евТ(4), Ь е Ь, (31)

где

вТ (4)

^ (Ь) = ^0 (Ь) ^ = |Со (Ь)|е^ (4)+2в 1т Т(4)),

в — действительная постоянная.

Принимая во внимание (2), (22), (27), выберем постоянную в так, чтобы

V _ — 2в (а + 1)п = 0,

тогда в силу вышеуказанных формул для а^(Ь) = а^С0(£) + 2в 1тТ(Ь), Ь е Ь, получим выражение

а^ (Ь) = V(Ь) + 2вV(Ь) + 2в^а_2к(Ь,а), Ь > еп, (32)

и на основании (23), (28) будем иметь

а^ (Ь) = 2вV (Ь), Ь < —еп. (33)

Далее по известным значениям а^ С1 (Ь), как и в книге [5, с. 119], находим функцию

Г(*) = ^ / 1п^(т) —, (34)

2п2 У Т — £

ь

учитывая, что при 1т £ = 0 несобственный интеграл правой части сходится, так как имеют место соотношения (21), (32), (33), (18), (19) и а — 2к < —1.

Переходя в последней формуле к пределу при £ ^ Ь е Ь, Ь = го, получим

Г±(Ь) = ± ±1п С1(Ь) + 2^У 1п Ох (Т) ^ (35)

ь

Здесь верхние знаки относятся к случаю 1т £ > 0, нижние - к случаю 1т £ < 0, сингулярный интеграл последней формулы удовлетворяет условию Гельдера на любом конечном интервале действительной оси Ь, так как этим свойством обладает его плотность 1п С1 (т) [6, с. 61]. Принимая во внимание формулы (32), (33) и представление (21), можно показать, что сингулярный интеграл формулы (35) есть функция непрерывная в окрестности точки Ь = го и имеющая конечный предел при Ь ^ го. (При а = 2к — 1 ^ 1 сказанное является следствием того, что 1п С1 (Ь) е Нь, так как Да_2к(Ь,а)=0.) Поэтому функции Г±(Ь) формулы (35) являются непрерывными, ограниченными на Ь функциями, а Г+ (£), Г_ (£), определяемые по формуле (34) соответственно при 1т £ > 0, 1т £ < 0, представляют собой аналитические функции, ограниченные в соответствующих полуплоскостях. Согласно (35) имеем

Г+ (Ь) — Г_(Ь) = 1п (Ь), -— = (Ь).

е_г+(4)

Отсюда, обозначая X(¿) = егЧ X= ег±(^>, получим Х+(£) = —(£).

Учитывая последнее, краевое условие (31) запишем в виде

Ф+(£)евт <*> = Ф—(£)евТ Х+(£) = X— (£) ' £ ^ Ь.

Отсюда, обозначая

Гт(А 1т£ > 0,

ВД =

1Т(£), 1т£< 0,

приходим к заключению, что выражение

X (£ )

является целой функцией, причём

= Р (£) (36)

Р (£) = -4+йп' £ е Ь* (37)

Если задача (1) имеет ограниченное решение Ф(^) в области В, то, замечая, что функции Г+ (¿), Г— (¿) являются ограниченными в областях соответственно В+, В— функциями, заключаем, что функция [X(¿)]—1 = е—г(2:> будет ограниченной в области В, следовательно, существует постоянная С > 0, для которой справедливо неравенство

Ф(2 )

X (£)

При этом согласно (36) будем иметь

< С, £ е В.

(£)| < СевКег*(^>, £ е В, (38)

а из формулы (37) получим

|Р(£) | < СевКег(*>, £ е Ь*. (39)

На основании формулы (38) с учётом (13) приходим к выводу, что порядок целой функции Р(£) равен нулю [9, с. 245; 10, с. 11]. Эта функция удовлетворяет условию (39). В силу (36) решение рассматриваемой задачи выражается формулой

Ф(£) = е—вг*(z>X (£)Р (£). (40)

Таким образом, мы приходим к следующей теореме.

Теорема 1. Если краевая задача (1) имеет ограниченное решение, то оно представляется формулой (40), в которой Р(¿) есть произвольная целая функция нулевого порядка, удовлетворяющая условию (39).

Справедливо и обратное утверждение.

Теорема 2. Если ^(г) — любая целая функция нулевого порядка, удовлетворяющая условию (39), то ограниченное решение краевой задачи (1) определяется формулой (40).

Последняя теорема доказывается аналогично тому, как это сделано в работе [7, с. 121] и статье [3].

Полученные результаты остаются в силе и в случае, когда а — натуральное число, при этом в них произойдут очевидные изменения, о которых было сказано выше.

4. ЗАКЛЮЧЕНИЕ

Таким образом, рассматриваемая задача (1) имеет решение, определяемое теоремой 2. Это решение содержит произвольную целую функцию нулевого порядка, удовлетворяющую единственному действительному условию (39).

Следовательно, задача имеет бесконечное множество различных решений.

Замечание. Условие (29), (30) не ограничивают общности решения задачи. При их невыполнении решение задачи (1) с помощью методов, аналогичных указанным в книге [5, с. 428-436], можно привести к рассмотренному в данной статье случаю с новой искомой функцией, для которой точка £ = 1 может оказаться особой и в ней функция может обращаться в бесконечность степенного порядка при «неудачном» задании V(Ь) в окрестности точки Ь = 1 [7, с. 114, условие —1 < ) < 0].

В случае, когда для точки Ь = 1 условия (29), (30) не выполняются, решение (40) остаётся в силе, его поведение вблизи точки £ = 1 легко установить непосредственно, учитывая, что функция X(¿) = ег(^) выражается через интеграл типа Коши, плотность которого 1п (Ь) в точке Ь = 1 имеет разрыв первого рода и для указанного интеграла справедливо известное представление вблизи точки £ = 1 [5, с. 68].

Библиографический список

1. Юров П. Г. Однородная краевая задача Римана с бесконечным индексом логарифмического типа // Изв. вузов. Матем. 1966. № 2. С. 158-163.

2. Алекна П. Ю. Об однородной краевой задаче Римана с бесконечным индексом логарифмического порядка для полуплоскости // Литовский матем. сб. 1973. Т. XIII, № 3. С. 5-13.

3. Салимов Р. Б., Карабашева Э. Н. Новый подход к решению краевой задачи Римана с бесконечным индексом // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2014. Т. 14, вып. 2. С. 155-165.

4. Салимов Р. Б. О новом подходе к решению краевой задачи Римана с условием на луче в случае бесконечного индекса // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2016. Т. 16, вып. 1. С. 29-33. DOI: 10.18500/1816-9791-201616-1-29-33.

5. Гахов Ф. Д. Краевые задачи. М. : Наука, 1977. 640 с.

6. Мусхелишвили Н. И. Сингулярные интегральные уравнения. М. : Наука, 1968. 511 с.

7. Говоров Н. В. Краевая задача Римана с бесконечным индексом. М. : Наука, 1986. 289 с.

8. Маркушевич А. И. Теория аналитических функций : в 2 т. М. : Наука, 1968. Т. 1. 486 с.

9. Маркушевич А. И. Теория аналитических функций : в 2 т. М. : Наука, 1968. Т. 2. 624 с. 10. Левин Б. Я. Распределение корней целых функций. М. : Гостехиздат, 1956. 632 с.

Образец для цитирования:

Салимов Р. Б., Хасанова Э. Н. Решение однородной краевой задачи Римана с бесконечным индексом логарифмического порядка на луче новым методом // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2017. Т. 17, вып. 2. С. 160-171. DOI: 10.18500/1816-9791-2017-17-2-160-171.

The Solution of the Homogeneous Boundary Value Problem of Riemann with Infinite Index of Logarithmic Order on the Beam by a New Method

R. B. Salimov1, E. N. Khasanova2

1 Rasih B. Salimov, ORCID: 0000-0002-4717-3676, Kazan State Architecture and Building University, 1, Zelenayastr., Kazan, Russia, 420043, [email protected]

2Enzhe N. Khasanova, ORCID: 0000-0002-0067-2224, Kazan State Architecture and Building University, 1, Zelenayastr., Kazan, Russia, 420043, [email protected]

In this paper we consider the homogeneous Riemann boundary value problem with infinite index of logarithmic order and boundary condition on the unlimited ray. This ray goes by the positive real axis and has a vertex at (1,0). We solve the problem for analytic function with the cut along the ray. The value of the function at any point of the left bank equals the product of the coefficient and the value of the function at the corresponding point of the right bank of the cut. Let the modulus of the coefficient meet the Holder condition at each point of the ray. Let the argument of the coefficient meet the Holder condition at each point of the finite part of the ray. Let the argument of the coefficient come arbitrarily close to infinity with the logarithmic order. We obtain the formula of analytic on the upper half-plane function. The imaginary component of this function is infinitely large when the point of the ray tends to infinity. The order of the imaginary component of this function at infinity is equal to the order of the coefficient. Then we obtain the formula of analytic on the lower half-plane function. These two functions permit us to eliminate the infinite discontinuity of the argument of the coefficient of the boundary condition exactly as in the case of finite discontinuities of coefficient. The problem with the condition on the ray is reduced to the problem with the boundary condition on the real axis. We solve the latter problem by the Gakhov method. The solution depends on an arbitrary entire function with zero order. The modulus of the solution meet one and only one condition.

Key words: Riemann boundary value problem, analytic function, infinite index of logarithmic order. References

1. Yurov P. G. The homogeneous Riemann boundary value problem with an infinite index of logarithmic type. Izv. Vyssh. Uchebn. Zaved. Mat., 1966, no. 2, pp. 158-163 (in Russian).

2. Alekna P. Ju. The homogeneous Riemann boundary value problem with infinite index of logarithmic order for the half-plane. Litovsk. Mat. Sb., 1973, vol. 13, no. 3, pp. 5-13 (in Russian).

3. Salimov R. B., Karabasheva E. N. The new approach to solving the Riemann boundary value problem with infinite index. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2014, vol. 14, iss. 2, pp. 155-165 (in Russian).

4. Salimov R. B. About new approach to solution of Riemann's boundary value problem with condition on the half-line in case of infinite index. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2016, vol. 16, iss. 1, pp. 29-33 (in Russian). DOI: 10.18500/1816-97912016-16-1-29-33.

5. Gakhov F. D. Boundary value problems. Moscow, Nauka, 1977. 640 p. (in Russian).

6. Muskhelishvili N. I. Singulyarnye integral'nye uravneniya [Singular integral equations]. Moscow, Nauka, 1968. 511 p. (in Russian).

7. Govorov N. V. Riemann's boundary problem with infinite index. Moscow, Nauka, 1986. 289 p. (in Russian).

8. Markushevich A. I. The theory of analytic functions : in 2 vol. Moscow, Nauka, 1968, vol. 1. 486 p. (in Russian).

9. Markushevich A. I. The theory of analytic functions : in 2 vol. Moscow, Nauka, 1968, vol. 2. 624 p. (in Russian).

10. Levin B. Ya. Distribution of zeros of entire functions. Moscow, Gostechizdat, 1956. 632 p. (in Russian).

Cite this article as:

Salimov R. B., Khasanova E. N. The Solution of the Homogeneous Boundary Value Problem of Riemann with Infinite Index of Logarithmic Order on the Beam by a New Method. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2017, vol. 17, iss. 2, pp. 160-171 (in Russian). DOI: 10.18500/1816-9791-2017-17-2-160-171.

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