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

УДК 501.1

РЕШЕНИЕ ОДНОРОДНОЙ КРАЕВОЙ ЗАДАЧИ РИМАНА СО СЧЁТНЫМ МНОЖЕСТВОМ ТОЧЕК РАЗРЫВА ПЕРВОГО РОДА

ЕЁ КОЭФФИЦИЕНТА

Р. Б. Салимов

Доктор физико-математических наук, заведующий кафедрой высшей математики, профессор, Казанский государственный архитектурно-строительный университет, salimov.rsb@gmail.com

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

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

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

Требуется найти функции Ф+(г) и Ф-(г), аналитические соответственно в полуплоскостях D+ : Im z > 0 и D- : Im z < 0 плоскости комплексного переменного z = x + i y по заданному на действительной оси L краевому условию:

Ф+ (t) = ОДФ-(t) + g(t), t е L, (1)

с заданными на L коэффициентом задачи G(t) и свободным членом g(t) . В случае, когда индекс задачи, равный (arg £(+ж) — arg £(—ж))/2п, конечен, полное решение этой задачи дано в монографиях [1, с. 136-139; 2, с. 118-121].

Начало исследованиям задачи (1) в случае бесконечного индекса было положено в работах Н. В. Говорова, результаты которых вошли в его монографию [3]. Этой проблеме посвящён ряд работ других авторов, отметим из них статьи [4-9], в которых изучены новые случаи задачи Римана с бесконечным индексом.

Краевая задача, соответствующая вышеуказанной при g(t) = 0 всюду на L, называется однородной, её краевое условие имеет вид

Ф+ (t) = £(£)Ф-(t), t е L. (2)

Рассмотрим решение этой однородной задачи с бесконечным индексом в случае, когда коэффициент G(t) имеет счётное множество точек разрыва первого рода.

Аналогичная задача, когда краевое условие (2) задавалось на луче — части действительной оси, ранее была рассмотрена в работе [10], в которой без доказательства приведен ряд теорем, определяющих решение рассматриваемой однородной задачи.

В настоящей работе для решения краевой задачи (2) c коэффициентом, имеющим счётное множество точек разрыва первого рода, используется метод, аналогичный применённому в книге [2, с. 430-435], когда разрывы коэффициента краевого условия устраняются и исходная краевая задача приводится к задаче с непрерывным коэффициентом.

Примем, что коэффициент G(t) краевого условия (2) есть функция, непрерывная всюду на L, кроме точек разрыва первого рода tj, j = ±1, ±2,..., причём |G(t)| = 0 всюду на L,

0 < ti < ... < tk < tk+1 < ..., lim tk = ж, — ж < t-k-1 < t-k < ... < t-1 < 0, lim t-k = —ж.

к^ж

Будем считать, что краевое условие (2) выполняется всюду на L, исключая точки tk, t-k, k = 1, ж. Некоторые уточнения постановки задачи будут приведены ниже.

Примем, что непрерывные в интервалах t-k-1 < t < t-k, tk < t < tk+1 ветви arg G(t) выбраны так, чтобы выполнялись соотношения

arg G(tk + 0) — arg G(tk — 0) = 2Kkn, 0 < Kk < 1, (3)

arg G(t-k +0) — arg G(t-k — 0) = 2K-kn, 0 < K-k < 1, k = 1, ж, (4)

когда искомые функции Ф+(Ь), Ф (Ь) в точках Ьк, Ь_к будут иметь интегрируемые особенности (как и в [2, с. 433]). Пусть

те те

У^ К/, = го, К_к = го. (5)

к=1 /=1

Кроме того, для определённости в постановке задачи будем считать, что имеют место соотношения

ln |G(tk + 0)| - ln |G(tk - 0)| = -2вкп, 0 < ßk < 1,

ln |G(t-k + 0)|- ln |G(t-k - 0)| = -2ß-kп, 0 <ß-k < 1, k = 1, ro,

(6) (7)

выбор величин вк, в_к в которых не влияет на характер особенностей искомых функций в точках Ьк, Ь_к. Будем считать

те те

¿вк < ГО, ¿в_к < ГО.

к=1 к=1

2. РЕШЕНИЕ ЗАДАЧИ

Предположим, что точки разрыва удовлетворяют условиям

те 1

т1

k=l

tk

< ro,

те

k=l

-t-k

< ro,

(8)

и рассмотрим следующие бесконечные произведения:

(z) = П 1 - tk

k=l

Kk + i ßk

P- СИП!1 - t-k

k=l

K-k + i ß-k

в которых [11, с. 275]

(9)

1

j=i

Kj +i ßj

= exp

¿(k + i ßj )ln 1

j=i V

= exp

¿(Kj + i в Hln

j=i

1

+ i arg 1 -

j = k или j = -k, k = 1, ro.

(10)

Под arg - t— j, arg - ~j~J понимаются однозначные ветви, обращающиеся в нуль при z = 0

и непрерывные в плоскости z, разрезанной по части действительной оси, соединяющей точки t = tk, t = +ro для первой ветви и соединяющей точки t = -ro, t = t-k для второй ветви, когда

arg (1--) = -п + arg(z - tk) при 0 ^ arg(z - tk) < 2п, arg tk =0, k = 1, ro, (11)

tk

arg 1 -

t-k

= arg(z - t-k) при - п ^ arg(z - t-k) ^ п, arg(-t-k) = 0, k = 1, ro. (12)

При выполнении условий (8) бесконечные произведения Р+ (г) и Р_(г) формул (9) представляют собой функции, аналитические в плоскости г, разрезанной соответственно по лучу действительной оси, соединяющему точки Ь = , Ь = +го и по лучу, соединяющему точки Ь = -го, Ь = . В силу аналогии обоснование сказанного достаточно провести относительно произведения Р+(г).

Пусть С — замкнутая ограниченная область, расположенная внутри плоскости г, разрезанной по лучу с концами Ь = , Ь = +го и лежащая в круге | < Я достаточно большого радиуса Я.

Выберем точку Ь^ множества {Ьк} так, чтобы для г £ С выполнялись соотношения

tN

< — < 1 tN 2

tk

RR 1 7 ЛТ

< — < — <ö, k > N, tk tN 2

те

те

z

z

t

t

j

j

z

z

t

t

j

j

z

z

z

тогда будем иметь [11, с. 276]

1П 1 -

¿к

3 г

< - —

2 ¿к

<

3 я 2 ¿к

к > N

Следовательно, для г е С будет справедливо неравенство

3Я^2 1

К + 1 вк |

1П 1 —

¿к

<

2 ¿к '

к > N.

Здесь в правой части стоят члены сходящегося ряда с положительными членами, получаемого из первого ряда (8), ряд

^ /

г

^(кк + 1 вк )1П 1

к=1

¿к

представляет собой аналитическую в области С функцию [11, с. 277], поэтому произведение Р+ (г) является функцией, аналитической внутри плоскости с вышеуказанным разрезом. Функция Р+ (г) представляет собой функцию, аналитическую и в точках берегов указанного разреза, кроме точек ¿к, к = 1, го.

В формулах (9)-(12) значениям фигурирующих в них функций условимся приписывать верхний знак «+» или «-» соответственно при г е 0+ или г е О-.

В частности, Р+(г) = Р+(г) при г е 0+, Р+ (г) = Р+ (г) при г е О . Кроме того, как

ив

формуле (10)

1 - Г

Kfc + 1 вк

exp

1 - Г

Кк + 1 в к

exp

(кк + 1 вк)1П(1 -

(кк + 1 вк)1п(1 - £

= exp

1 (кк+1 вкм аг§ (1 - ¿к) -arg (1 - ¿к

Отсюда с учётом (11) имеем:

1

Кк +1 вк

1

-| К. + 1 в к

= exp (кк + 1 вк) - ¿к)+ - arg(í - ¿к) )]

Поэтому

1 - Г

Kfc + 1 в к

1 - г

Ък

1 - Г

Кк +1 в к

Кк + 1 вк

= exp [ 1 (кк + 1 вк)(0 - 2п)] ,

г=Ьк +0

Следовательно, 1

1 - Г

Кк + 1 вк

Кк + 1 вк

= exp [ 1 (кк + 1 вк) (п - п)] = 1.

1

- Кк + 1 вк

Ъ=Ък - о

1

Кк + 1 вк

Ъ=Ък +0

1

- Кк + 1 вк

exp (-2п 1 кк + 2пвк)

(13)

1=1к-о

г

+

+

+

(с

(с

+

+

+

+

г

г

(с

к

Ъ

Ъ

к

к

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

Бесконечное произведение

те / z\ Kj+i ßj

п 1 - z

j=i j=k

j

входящее в первую формулу (9), есть функция аналитическая в точке Ьк любого берега вышеуказанного разреза. Поэтому на основании формул (9), (13) получаем:

P+(t— +0) = P+(t— - 0) P- (tk + 0) P- (tk - 0)

exp (-2п i k— + 2nßk).

(14)

Совершенно аналогично, заменяя в формуле (13) число к на (-к), будем иметь

P+(t-k +0) = P+(t-k - 0) P- (t-k +0) P- (t-k - 0)

exp (-2п i к-— + 2пв-к) .

(15)

В силу формул (3)-(7) имеем:

G(t— + 0) = G(t— - 0)e2n i Kk-2nßk, G(t_k +0) = G(t_k - 0)e2n i K-k-2nß-k

(16) (17)

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

G (t)= G(t)P+(t) P+ (t)

Gl (t)= G(t)P^ ' P-W

(18)

Как видно из формул (14)-(17), эта функция является непрерывной в точках Ьк, Ь_к, к Краевое условие (2) запишем в виде

= 1, ro.

Ф+(t)P+(t)P+(t) = Gi(t)ф-(t)P-(t)P-(t), t G L,

(19)

где Gl(t) - функция, определяемая формулой (18).

При t < tl согласно (10), (11), замечая, что arg(t - tk) = п, arg(1 - ^) = 0, имеем:

P+(t) , P+(t) 0

—= 1 и arg —= 0.

P-(t) 8P- (t)

(20)

Аналогично при t > t-l в силу (10), (12), замечая, что arg(t - tk) = 0, получим:

P- (t) P- (t) -— = 1 и arg-— = 0.

P_"(t) P- (t)

(21)

В силу (9)-(11) будем иметь

P+(t— - 0) P-(t— - 0)

= exp

k-l

k-l

Е-2п i Kj + £2пв

j=l

j=l

P+(t— +0) P-(tk + 0)

= exp

¿-2п i Kj + ^2пв

j=l

j=l

k = 1, ro.

(22) (23)

На основании формул (7), (10), (12) аналогично получим:

P+(t-k - 0) P- (t-k - 0)

= exp

kk 2 п i K- j -

j=l

j=l

(24)

j

P+ (t-k +0)

---- = exp

P-(t-k + 0)

k—1 k-1

2n i к—j 2nß—

j=i j=i

k = 1, ro. (25)

Обозначая

ф+(^ ) = Ф+(z)P+ (z)P+ (z), Ф— (г) = Ф— (z)P— (z)P—(z) (26)

1+

краевое условие (19) запишем так

ф+(г) = ^фФ-ф, г е ь. (27)

Для простоты рассмотрим случай, когда в последнем краевом условии коэффициент (¿), определяемый формулой (18), имеет конечный индекс к > 0 и удовлетворяет условию Гельдера всюду на Ь. Тогда ограниченное решение однородной краевой задачи (27) определяется формулами [2, с. 119, 120]

Ф+(z) = (z), pk(Z) , Ф— (z) = х-(z), pk(Z) , (28)

^W А V /(z + i )„> ^w А V /(z + i )K>

где PK(z) — многочлен степени не выше к с произвольными постоянными,

X+(z) = er+(z), х—(z)=( z^) er"<*>

— X

1 Г+ж r(z) = 2пТ /„

— ™т;т -v ¿= П +

— X

T + M G1(r)

dr

T — z

r(z) = r+ (z) при z G D+, r(z) = Г— (z), при z G D —,

t - i ^ / .4

arg t+i = 2arg(t — Т ^

где arg(z — i) - ветвь, непрерывная в плоскости z, разрезанной по части мнимой оси, соединяющей точки z = i, z = ro.

В рассматриваемом случае, как это видно из формул (18), (20)-(25), индекс задачи (2) (коэффициента G(t)) в силу (5) будет равен +ro. Решение задачи (2) в классе функций, для которых произведения

Ф+^)Р+^)Р+^), Ф— (z)P+(z)P— (z) (29)

являются ограниченными функциями при найденных функциях (28), определяется согласно (26) формулами

Ф+(z) = тШл • Ф—(z) = P—7i)P^ (30)

Р+(z)P—(z) P+(z)P—(z)

и зависит от (к + 1) произвольных постоянных. Отсюда, в частности, видно, что найденное решение в точках tk, t—k будет обращаться, вообще говоря, в бесконечность порядка соответственно кк, к—k.

ЗАКЛЮЧЕНИЕ

Таким образом, приходим к теореме.

Теорема. Пусть выполняются условия (5) и индекс коэффициента краевой задачи (27) к > 0 и конечен, тогда краевая задача (2) имеет бесконечный индекс, её решение в классе функций, для которых произведения (29) ограничены, определяются формулами (30) и зависят от к + 1 произвольных постоянных.

В случае, когда индекс краевой задачи (27) бесконечен, картина разрешимости задачи (2) будет другой. В частности, если задача (27) имеет бесконечный индекс степенного порядка, меньшего единицы, при исследовании картины разрешимости задачи (2) можно использовать результаты работы [4] или преобразовать краевое условие (27), по аналогии с подходом, применённым в статье [12], устраняя бесконечный разрыв аргумента его коэффициента, что требует специального рассмотрения. Можно показать, что решение (30) обладает следующим свойством. Если числа tj, кj, j = ±1, ±2,... таковы, что существуют отличные от нуля конечные пределы

k-1 k-1 Е ^ Е к—j

lim j-, lim j

в которых к+ и к- — известные положительные числа, не превышающие 1/2, то для любого достаточно малого числа 5 > 0 будем иметь

lim Ф+(реi 0 ) = 0, 5<6><п -

р^ + те

lim Ф-(реi0) = 0, -п + 5<6>< -5.

р^+те

Сказанное вытекает из соответствующих свойств функций (9).

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

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

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

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

4. Толочко М. Э. О разрешимости однородной краевой задачи Римана с бесконечным индексом для полуплоскости // Изв. АН БССР. Сер. физ.-матем. наук. 1972. №5. С. 34-41.

5. Сандрыгайло И. Е. О краевой задаче Римана с бесконечным индексом для полуплоскости // Докл. АН БССР. 1975. Т. 19, № 10. С. 872-875.

6. Монахов В. Н., Семенко Е. В. Краевые задачи с бесконечным индексом в пространствах Харди // Докл. АН СССР. 1986. Т. 291, № 3. С. 544-547.

7. Алехно А. Г. Достаточные условия разрешимости однородной краевой задачи Римана с бесконечным ин-

дексом // Тр. Матем. центра им. Н. И. Лобачевского. Казань, 2002. Т. 14. С. 71-77.

8. Гарифьянов Ф. Н. Об одном особом случае задачи Римана // Тр. семинара по краевым задачам. Казань, 1984. Т. 22. С. 66-68.

9. Кац Б. А. Об одной задаче Римана с осцилирующим коэффициентом // Тр. семинара по краевым задачам. Казань, 1977. Т. 14. С. 110-120.

10. Журавлева М. И. Однородная краевая задача Римана с бесконечным индексом со счетным множеством разрывов первого рода её коэффициента // Докл. АН СССР. 1973. Т. 210, № 1. С. 15-17.

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

12. Салимов Р. Б., Шабалин П. Л. Метод регуляризую-щего множителя для решения одной задачи Гильберта с бесконечным индексом // Изв. вузов. Матем. 2001. № 4. С. 76-79.

The Solution of the Homogeneous Riemann Boundary Value Problem with a Countable Set of Points of Discontinuity of the First Kind its Coefficient

R. B. Salimov

Kazan State Architecture and Building University, 1, Zelenaya str., 420043, Kazan, Russia, salimov.rsb@gmail.com

We consider the Riemann homogeneous boundary value problem with a countable set of points of discontinuity of the first kind in the case, when it is required to find two functions, analytic, respectively, in the upper and lower half-plane, for a given linear boundary condition on the real axis, connecting the boundary values of the unknown functions.

Key words: Riemann boundary value problem, analytic functions, finite index.

References

1. Muskhelishvili N. I. Singular integral equations. Moscow, Nauka, 1968, 511 p. (in Russian).

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

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

4. Tolochko M. E. About the solvability of the homogeneous Riemann boundary value problem for the halfplane with infinite index. Izvestiya Akad. Nauk BSSR. Ser. Fiz.-mat. nauki, 1972, no. 5, pp. 34-41 (in Russian).

5. Sandrygailo I. E. On Hilbert - Rieman boundary value problem for half-plane with infinite index. Izvestiya Akad. Nauk BSSR. Ser. Fiz.-Mat. Nauki, 1974, no. 6, pp. 872875 (in Russian).

6. Monahov V. N., Semenko E. V. Boundary value problem with infinite index in Hardy spaces. Dokl. Akad.

Nauk SSSR, 1986, vol. 291, no. 3, pp. 544-547 (in Russian).

7. Alehno A. G. Sufficient conditions for the solvability of homogeneous Riemann boundary value problem with infinite index. Trudy matematicheskogo tsentra imeni N. I. Lobachevskogo, Kazan, 2002, vol. 14, pp. 7177 (in Russian).

8. Garifianov F. N. About a special case of the Riemann problem. Trydu seminara po kraevum zadacham. Kazan, 1984, no 22, pp. 66-68 (in Russian).

9. Katc B. A. About Riemann problem with an oscillating coefficient. Trydu seminara po kraevum zadacham. Kazan, 1977, no. 14, pp. 110-120 (in Russian).

10. Zhuravleva M. I. Homogeneous Riemann boundary problem with infinite index with scating many discontinuities of the first kind itfactor. Dokl. Akad. Nauk

SSSR, 1973, vol. 210, no. 1, pp. 15-17 (in Russian). 11. Markushevich A. I. The theory of analytic functions : in 2 vol. Moscow, Nauka, 1968, vol. 2, 624 p. (in Russian).

12. Salimov R. B., Shabalin P. L. The regularizing factor method for solving a homogeneous Hilbert problem with an infinite index. Russian Math. [Izvestiya VUZ. Matematika], 2001, vol. 45, iss. 4, pp. 74-77.

УДК 517.95; 517.984

О КЛАССИЧЕСКОМ РЕШЕНИИ ОДНОЙ СМЕШАННОЙ ЗАДАЧИ ДЛЯ ВОЛНОВОГО УРАВНЕНИЯ

А. П. Хромов

Доктор физико-математических наук, профессор кафедры дифференциальных уравнений, Саратовский государственный университет им. Н. Г. Чернышевского, KhromovAP@info.sgu.ru

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

Ключевые слова: формальное решение, спектральная задача, резольвента, классическое решение.

ВВЕДЕНИЕ

Настоящая публикация приурочена к 150-летию со дня рождения выдающихся отечественных ученых В. А. Стеклова (1884-1926) и А. Н. Крылова (1883-1945), внесших весомый вклад в решение смешанных задач методом Фурье.

Обоснование метода Фурье в задачах математической физики традиционно опирается на доказательство равномерной сходимости ряда, представляющего формальное решение задачи, и рядов, полученных из него почленным дифференцированием нужное число раз. В. А. Стеклов, впервые давший строгое обоснование метода Фурье, придерживался этой точки зрения [1, с. 224], которая сделала метод Фурье очень популярным. Было проведено большое количество исследований и достигнуты значительные успехи.

Информация обзорного характера содержится, в частности, в книгах И. Г. Петровского [2], В. И. Смирнова [3], О. А. Ладыженской [4], В. А. Ильина [5] (см. также [6]), В. А. Чернятина [7]. Недостатком такого подхода является требование завышенной гладкости на начальные данные. Выход из этого положения намечен А. Н. Крыловым в его исследованиях по ускорению сходимости рядов Фурье и им подобных [8]. Суть его приема состояла в том, что изучение вопроса о дифференцировании ряда Фурье решается путем разбиения его на два ряда, один из которых точно суммируется (в этом случае не надо прибегать к почленному дифференцированию), а второй ряд сходится настолько быстро, что его можно почленно дифференцировать. На ряде прикладных задач им были успешно преодолены трудности, связанные с невозможностью почленного дифференцирования. Приведем его слова: «Изложенный прием усиления быстроты сходимости рядов Фурье и нахождения производных от функций, ими представляемых, может служить для доказательства или проверки того, что представляемая рядом функция действительно удовлетворяет тому дифференциальному уравнению, как решение коего она найдена, хотя бы самый ряд и нельзя было дифференцировать почленно требуемое число раз.» [8, с. 227].

В. А. Чернятин [7] приемом А. Н. Крылова с применением асимптотик для собственных значений и собственных функций успешно исследовал ряд задач методом Фурье и значительно ослабил условия гладкости, а в ряде случаев эти условия гладкости стали минимально возможными. Переход от формального решения к новому виду, вытекающему из исследований А. Н. Крылова и В. А. Чернятина, есть качественно новый шаг в методе Фурье, позволяющий с исчерпывающей полнотой исследовать краевые задачи методом Фурье и ставящий много новых вопросов в теории функций.