CC BY
24
The New Approach to Solving the Riemann Boundary Value Problem with Infinite Index
R. B. Salimov, E. N. Karabasheva
Kazan State University of Architecture and Engineering, 1, Zelenaya str., 420043, Kazan, Tatarstan, Russia, [email protected], [email protected]
This research considers Riemann - Hilbert boundary value problem with infinite index where edge condition of problem is established by the real axis. To solve this problem the approach based on the removal of the infinite discontinuity of the argument of boundary condition coefficient is used. The approach is analogous to the one which, in the context of the finite index of the problem in researches by F. D. Gakhov, helps to remove a discontinuity of initial genre of boundary condition coefficient with specially created functions, different from the ones in this research.
Key words: Riemann boundary value problem, analytical function, infinite 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 half-plane 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. 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.
11. Markushevich A. I. The theory of analytic functions : in 2 vol. Moscow, Nauka, 1968, vol. 2, 624 p. (in Russian).
12. Levin B. Ya. Distribution of zeros of entire functions. Moscow, Gostechizdat, 1956, 632 p. (in Russian).
13. Salimov R. B., Shabalin P. L. Solution of the Hilbert Problem with infinite index. Math. Notes, 2003, vol. 73, iss. 5, pp. 680-689. DOI: 10.4213/mzm221.
УДК 517.538.7
РАСХОДИМОСТЬ ВСЮДУ ПРОЦЕССОВ ЛАГРАНЖА НА ЕДИНИЧНОЙ ОКРУЖНОСТИ
С. В. Тышкевич1, А. В. Шаталина2
1 Кандидат физико-математических наук, доцент кафедры теории функций и приближений, Саратовский государственный университет им. Н. Г. Чернышевского, [email protected]
2Кандидат физико-математических наук, доцент кафедры теории функций и приближений, Саратовский государственный университет им. Н. Г. Чернышевского, [email protected]
Изучаются вопросы сходимости интерполяционных процессов Лагранжа в замкнутом единичном круге. Выбор матрицы с определённым распределением узлов интерполирования позволил построить множество, полностью покрывающее единичную окружность, и функцию, для которой процесс расходится всюду на этом множестве.
Ключевые слова: интерполирование, полиномы Лагранжа.
Пусть АС — множество функций /(г), аналитических в | < 1 и непрерывных в |г| ^ 1, с обычным модулем непрерывности ш(/,5) и равномерной нормой; О — множество функций ш типа модуля непрерывности, О0 — функции ш £ О, для которых
Нш —— = 0.
5^0+ ш(8)
Введем множества:
АС (ш) = {/ е АС; ш(/,<*) = О(ш(<*))}, АС * (ш) = {/ е АС; ш(/,<*) = о(ш(ОД,
где ш е О — наперед заданная функция. Для матрицы узлов интерполирования М = {хк,п}П=о'П=1, заданных на |г| = 1, построим интерполяционный процесс Лагранжа:
п —1
Ln(M, f, z) = ^ f (zk,n)lk,n(M, z),
k=0
где lk,n(M, z) = --(z)-:-г, Wk,n(z) = П (z - Zk,n).
(Z - zk,nWkn(z - k,n) k=о
Хорошо известно [1], что в случае матрицы равноотстоящих узлов для любой f(z) е AC имеет место равномерная сходимость Ln(M, f, z) к f (z) внутри |z| < 1. Спрашивается, как ведут себя интерполяционные процессы на |z| = 1? В работе [2] были найдены необходимые и достаточные условия, которым должна удовлетворять w(5), для того чтобы имела место равномерная сходимость Ln(M, f, z) для f (z) е AC(w) на |z| = 1, была найдена метрическая характеристика множеств точек расходимости этих процессов на |z| = 1. Позднее в [3] строились функции f(z) е AC(w) и f(z) е AC*(w), для которых процессы Лагранжа расходятся почти всюду. В данной работе уточняется последний результат. А именно доказывается следующая теорема.
Теорема. Пусть M — матрица, каждая n-я строка которой является корнями n-й степени из — 1. Если w е О0 удовлетворяет условию
lim w ( — ) ln n > 0,
n \ny
тогда существует функция f е AC(w), что интерполяционный процесс Лагранжа расходится всюду на | z | = 1, причем
lim ||Ln(M, f, ■) — f ||ac =0. (1)
n
n —
Если же для w е O0 справедливо
lim w [ 1 ) ln n = ro,
n—ro \ n
тогда существует / е АС * (ш), для которой интерполяционный процесс Лагранжа неограниченно расходится всюду на |г| = 1, причём справедливо (1).
Перед доказательством теоремы приведем несколько лемм.
Лемма 1. Пусть {пр}^=1 — последовательность простых чисел. Тогда для любого е, 0 < е < 1, можно указать число д = д(е) > 2, что для каждого натурального числа д существует натуральное число V, для которого
v 1
У— > 2п,
nv < n
Доказательство. Необходимо воспользоваться следующим асимптотическим равенством для последовательности простых чисел:
V — = 1п1п х + а + О ( --
пр \1п х
где а — абсолютная константа [4]. □
Замечание 1. Пусть М — матрица, п-я строка которой является корнями п-й степени из —1; {пр}, д, V, д, е удовлетворяют условиям леммы 1. Тогда для всех г, ^, д < г = ^ < V, и для всех индексов к, 0 < к < п — 1 и 5, 0 < 5 < nj — 1, за исключением двух к* и 5*, для которых узлы = = {—1}, справедливо
— 1 > п—29. (2)
р=м p
Предположим, что это не так, т. е. существуют 1, 0 < (к* + 1) < п — 1, 0 < (в* + £) < п — 1, такие,
/ 2к — 1 \
что + п. — + п. | < п-2д. Так как п = ехр (гп- I последнее равенство перепишется:
' 3 и ' Р V Пр у
n_2q > 2
п /2(k* + l) - 1 2(s* + t) - 1
2 V n, n,
>
>
2(k* + l) - 1 2(s* + t) - 1 -п--п
2 2п1 2пt
п n, n,
Отсюда:
4nn
>
n,
> -2q
ППр
Получили противоречие.
Лемма 2. Пусть М с (|г| = 1} — матрица равноотстоящих узлов, г > 2 — действительное число, 1 е N — фиксировано. Тогда для каждого п е М, п > I, можно построить множество
У [exp(i(0fc_1,„ + a)),exp(i(0fc,n - а))], k=1
а =
4п
линейная мера которого mes Fn r = 2п--такое, что для всех z G Fn r выполняется неравенство
r
n_1
У>,п (M,z )|> — ln /n
' nr
k=0
где штрих означает отсутствие произвольных l слагаемых.
Доказательство приведено в работе [3]. □
Лемма 3. Пусть M с {|z| = 1}, l, {np}, д, v, q — такие, как описано выше. Тогда для каждого G {np} найдутся nV0, v0 < v, множество с {|z| = 1} и конечное семейство дуг A^.)jU+j-, 0 < j < vo — д, что а) mes > 2п — 2;
V0 _р
и
,=0
б; Ер си а° ;
в) для любой точки z G Ед П А0з.справедливо (M, l, z) > ci ln(nM+j-/l), где ci = const. Доказательство леммы 3 подробно изложено в работе [3], приведём здесь лишь его схему. Множество Ед строилось за v0 — д шагов. На каждом (j — 1)-м шаге, 1 < j < vo—д, было построено
множество, состоящее из j непересекающихся дуг Ер П А
0
П F
+pp,r
+ pp, r
U I ■ I n К +1,n„ ^t
мы 2), которые лежат на дуге единичном окружности от точки exp г 6^0 ,n +----—^ ) ) до
точки exp 3._1+1,„м+3._1 0 < t0 < пр ,а r > 2 — фиксировано
, о < p < j, p r из лем-
r
, где t0 выбрано произвольно из условия
На следующем 3-м шаге к построенному множеству присоединяли либо: а) целую дугу
[exP(i(6>ij ,„ + а)), exp(i(^ij + 1,nM+j - а))],
а =
если мера наименьшей дуги т^ = +1,пм+3-_1; ) не превосходила -; причем дуга 7^ не
входила в множество Ед, т.е. при построении множества Ед на 3-м шаге выбросили дугу единич-
Г 1 2п 2п
ной окружности, мера которой не больше а = {--1---1--
принадлежит выброшенной дуге; б) частичную дугу
Пр+, ГПр+, ГПр+,_1
а узел ztj-1 +1,nM + j-1
exp м ^tj-1+1
_1 +1,n^+j-1
+
, exp(i(0;
tj+1,n^+j
- a))
2
n
n
п
,
1
1
t
п
р
n
r
r
r
r
если мера 7?- больше —1—. В этом случае выбрасывали дугу единичной окружности меры, не большей
2п 2п ] ^ --1--< а, и опять тот же узел принадлежит выброшенной дуге. После построения
множества проверяется выполнение пунктов а), б) из условия, а с учетом леммы 2 получаем выполнение пункта в). □
Лемма 4. Для любого д е N существует V е N. что для любой точки г е {|г| = 1} найдется номер ^ е 2пм,..., п^, 2п^}, при котором
Пз -1
У ' Ко (М,г)| > С 1п^, (3)
к=0
где С — абсолютная константа, а штрих у знака означает отсутствие одного произвольного слагаемого.
Доказательство. Положим г = 24п. Заметим, что строки с номерами пД, пД+1,..., п^ не имеют ни одного общего узла, за исключением точки -1. Более того, в силу замечания 1 расстояние между любыми другими двумя узлами любых двух строк из этой пачки не меньше, чем п-2д. Строки с номерами пк и 2пр, д < к, р < V, вообще не имеют общих узлов. По лемме 3 для номеров пд и п^ существуют ^ < V, множество , конечное семейство дуг Д|?. , для которых выполняются пункты а), б), в); причем можно положить I = 1. Для каждого «выброшенного» из множества узла +1 п +•, 3 = 0, v0 — д (см. доказательство леммы 3) найдем дугу ДО* 2п + ., такую, что этот узел будет серединой найденной дуги. Получим еще одно семейство дуг:
¿о,2пм+з = [ехр(г(6>з )2„м+з. + а)), ехр(г(бо+1,2„м+з — а))], а = -(0**+1,2пм+ . — )2„м+з).
Обозначим это семейство А. Так как
1
2 -о^+о 2пм+ гпм+
те^> ¿4* ,2пи+3 = ^--—- = в '
г = 24п, то очевидно, что в > а, где а из леммы 3. То есть дуги, входящие в семейство А и во множество , полностью покрывают единичную окружность, и для любой точки г е {|г| = 1} найдется индекс ^(г), ^ е {пм, 2пм,..., п^, 2ппи}, такой, что в силу лемм 2 и 3 имеем (3). □
Пусть везде в дальнейшем {пр}, д, V, д — такие, как мы определили выше. Числа ,
0 < | < 1 — произвольные, причем если для каких-то узлов из матрицы М не выполняет-
ся условие (2), то считаем соответствующее число = = 0.
Лемма 5. Пусть даны {пр}, д, V, д, . Тогда существует функция / е АС|г| < 1) такая, что
1
/) = + О ( ,
V пы /
(4)
причем
тах |/(г)|< 2, (5)
79о
"(/,<$) < Оп^и ¿. (6)
Доказательство. Приведем схему доказательства. Введем функцию
(г) = [ехр(г(п — б^ ))г + 2]'
где 0 < к < п4, д < £ < V.
Выбираем показатель степени так, чтобы
(ехр(гр)) и, р е Дк,4
|ФМ<(ехрг^)| = | ^Г^Л; |< \ " ' , (7)
(ехр(г^)^ ^> ^ е Д
где Дк,^ =
--16^ 5 +
п4 п4
и
1
1
Для этого достаточно положить = п^589. Это легко проверяется, если использовать свойства функции (г) и арифметические преобразования. В ходе проверки, пользуясь интегральной формулой Коши, оценками полиномов на линиях уровня, принципом максимума модуля аналитической функции получаем:
|Фк,п(г + й) — (г)| < 9|%;г
(8)
Положим теперь:
V п — 1
f (г) = Е Е '■ ф(г),
где штрих у знака суммы означает, что отсутствуют слагаемые, для которых = 0.
Очевидно, что функция /(г)- аналитическая в |г| < 1 и непрерывная в |г| < 1. Подсчитав значение /(г) в произвольном фиксированном узле гко, будем иметь:
V п — 1
/(гко) = "ко+ Е Е ''■ (гко),
3 ' / у / у к=0 к=0
второй штрих у знака суммы означает отсутствие слагаемого с индексом (к0, п). Теперь, учитывая оценки (7), (8), выбор точек и того факта, что мы имеем не более чем п^ строк, а значит, не
более чем узлов, получаем (4)-(6). □
Лемма 6. Пусть М — матрица равноотстоящих узлов, пр0 — произвольная строка, Д0)Р — одна из частичных дуг, г0 = ехр(г^0) е А0,р. Положим
гкп,
= [Пк,п„ ■ ехр(--)],
где числа
Пк,пр = эт ^(^0 — 6>к,пр
Тогда для всех г е А0 р справедливо:
(9)
■ 1к,пр (М, г)
к=0
ХПр (М,г)= |1к,Пр (М, г)|.
к=0
Доказательство следует из представления
(М,г0) = п ■ ех^^(пр — 1)(^0 — ^0,пр Л ■ ^п (-2 (^0 — ^0,пр))
ехр
/ гкп\
V пр)
и равенств (8). □
Замечание 2. Рассмотрим множество из леммы 3. Как уже говорилось, оно состоит из конечного (^о — д) числа непересекающихся открытых дуг. На каждой такой дуге зафиксируем по точке = ехр(г^р), 0 < р < — д — 1, определим числа по формулам (9). Тогда в силу леммы 5
существует функция /м(г) со свойствами (4)-(6). Кроме того, для любого г е существует 3(г), 0 < з < — д, такой, что выполняется в) из леммы 3. Отсюда и условия (4):
(М/, г)| =
Е
к=0
—1
+ Е 0(п—29) > С 4%+р) — С2(п—9), (10)
к=0
С1, С2 — абсолютные константы.
Лемма 7. Пусть М — матрица корней п-й степени из —1. Тогда каждого д, пм е N существует функция / е АС такая, что справедливо (5), (6), и для любой точки г е {|г| = 1} найдется номер щ е {%, 2пм,..., ^, 2^}, для которого справедливо:
(М/ )|> С * ■ 1п п — С ** п—9,
(11)
где С*, С** — абсолютные константы.
р
Доказательство. В ходе доказательства леммы 4 строились две системы дуг: дуги, входящие во множество , и дуги, перекрывающие {|z| = 1} \ , т.е. A. На дугах из зафиксируем произвольную точку и определим числа Wk,nt как показано в замечании 2 (если какой-то узел равен -1, тогда полагаем соответствующую точку Wk,nt = 0). На дугах семейства A выбираем и фиксируем центральную точку (см. доказательство леммы 4) и по ней, аналогично (9), определяем
числа Wk2n.. Заметим, что расстояние между узлами из пачки {nM, 2nM,..., 2nv} не меньше —2~
(см. замечание 1). Дословно повторяя рассуждения леммы 5, получаем, что существует функция /u(z) со свойствами (4)-(6). Осталось проверить (11). Если z G {|z| = 1}\{-1}, то z принадлежит либо , либо A. В силу рассуждений, приведенных в замечании 2, оценка (11) становится очевидной. □ В работе [3] была доказана следующая лемма.
Лемма 8. Пусть M = {|z| = 1} — матрица равноотстоящих узлов и и G О0. Если для любого фиксированного j существуют последовательности: — положи-
тельных чисел; {дку} и } — натуральных чисел; {/kj-} — функций, аналитических в |z| < 1 и непрерывных в |z| < 1; {Ek,j} — измеримых множеств, которые удовлетворяют
а) limßkj = 0, lim д^- = œ, д^- < vfc)J-;
б) ||/fc,j ||ac < );
в) / ,S) < 4MS;
г) G {|z| = 1},mes> 2п, для любого z G существует l, < l < , что
|Li(M,/fc>i,z)| > C3(j) > 0,
где C3 = const.
Тогда существуют функция f G AC(w) и множество E, mes E = 2п, такие, что
lim |Ln(M,f,z) - f(z)| > 0
n^œ
везде на E, причем
lim |Ln(M,f,z) - f (z )| = 0.
vn
n^œ
Доказательство теоремы. Пусть выполняются условия теоремы 1. Для любых j G N, при каждом
натуральном k положим: д^- = , = n^; вкл = вд = [9(n^)79q]-1; /^ = / = )гДе
/ из леммы 7; = {|z| = 1}. Тогда с учетом свойств функции / для последовательностей выполняются все утверждения леммы 8. Отсюда с учетом замечания 1 следует утверждение теоремы.
Работа выполнена при частичной финансовой поддержке РФФИ (проект № 14-07-91370).
Библиографический список
1. Смирнов В. И., Лебедев Н. А. Конструктивная тео- 3. Шаталина А. В. Расходимость интерполяционных рия функций комплексного переменного. М. : Наука, процессов Лагранжа на единичной окружности / Са-1964. 440 с. рат. гос. ун-т. Саратов, 1990. 30 с. Деп. в ВИНИТИ
2. Привалов А. А. О расходимости интерполяционных 19.07.1990, № 4060-В90.
процессов на множестве второй категории // Мат. за- 4. Прахар К. Распределение простых чисел. М. : Мир,
метки. 1975. Т. 18, № 2. С. 179-183. 1967. 513 с.
Everywhere Divergence of Lagrange Processes on the Unit Circle S. V. Tyshkevich1, A. V. Shatalina2
Saratov State University, 83, Astrakhanskaya str., 410012, Saratov, Russia, [email protected], [email protected]
We study the convergence of Lagrange interpolation processes in the closed unit disk. Choosing a matrix with a certain distribution of interpolation nodes allowed to construct the set, completely covering the unit circle, and the function for which the process diverges everywhere on this set.
Key words: interpolation, Lagrange polynomials.
This work was supported by the Russian Foundation for Basic Research (project no. 14-07-91370).
References
1. Smirnov V. I., Lebedev N. A. Functions of a Complex Variable: Constructive Theory. London, Iliffe Books Ltd., IX, 1968, 488 pp.
2. Privalov A. A. Divergence of nterpolation processes on sets of the second category. Math. Notes, 1975, vol. 18, no. 2, pp. 692-694.
3. Shatalina A. V. Divergence of Lagrange Processes on
the Unit Circle. Dep. v VINITI [Dep. in VINITI], Saratov State University, no. 4060-B90, 19.07.1990, 30 p. (in Russian).
4. K. Prachar. Raspredelenie prostyh chisel [The Distribution of Prime Numbers]. Moscow, Mir, 1967. 513 p. (in Russian).
УДК 517.95; 517.984
КЛАССИЧЕСКОЕ РЕШЕНИЕ МЕТОДОМ ФУРЬЕ СМЕШАННЫХ ЗАДАЧ ПРИ МИНИМАЛЬНЫХ ТРЕБОВАНИЯХ НА ИСХОДНЫЕ ДАННЫЕ
А. П. Хромов1, М. Ш. Бурлуцкая2
1 Доктор физико-математических наук, профессор кафедры дифференциальных уравнений, Саратовский государственный университет им. Н. Г. Чернышевского, [email protected]
2Кандидат физико-математических наук, доцент кафедры математического анализа, Воронежский государственный университет, Ьт^2001 @таН.ги
В статье дается новое краткое доказательство теоремы В. А. Чернятина о классическом решении методом Фурье смешанной задачи для волнового уравнения с закрепленными концами при минимальных требованиях на начальные данные. Далее, рассматривается подобная задача для простейшего функционально-дифференциального уравнения первого порядка с инволюцией в случае закрепленного конца, и также получаются результаты окончательного характера. Эти результаты получаются благодаря существенному использованию идей А. Н. Крылова по ускорению сходимости рядов, подобных рядам Фурье. Без доказательства приводятся результаты и для других схожих случаев смешанных задач.
Ключевые слова: смешанная задача, метод Фурье, инволюция, классическое решение, асимптотика собственных значений и собственных функций, система Дирака.
ВВЕДЕНИЕ
Настоящая публикация приурочена к 150-летию со дня рождения выдающихся отечественных ученых В. А. Стеклова (1884-1926) и А. Н. Крылова (1883-1945), внесших весомый вклад в решение смешанных задач методом Фурье.
Обоснование метода Фурье в задачах математической физики традиционно опирается на доказательство равномерной сходимости ряда, представляющего формальное решение задачи, и рядов, полученных его почленным дифференцированием нужное число раз.
Приведем мнение В. А. Стеклова, впервые давшего строгое обоснование метода Фурье: «Необходимость доказывать равномерную сходимость рассматриваемых рядов вытекает из самой сущности метода Ляме-Фурье (Эйлера - Бернулли), дающего выражение искомой функции в виде бесконечного ряда, просуммировать который или преобразовать к виду, удобному для дифференцирования, не представляется возможным» [1, с. 224].
Эта точка зрения сделала метод Фурье очень популярным, было проведено огромное количество исследований и достигнуты значительные успехи.
Информация обзорного характера содержится, в частности, в книгах И. Г. Петровского, В. И. Смирнова, О. А. Ладыженской и В. А. Ильина, В. А. Чернятина [2-7].
Приведем один такой результат из [2]. Рассматривается задача
и« = — х е [0, п], Ь е (—го, +го), (0.1)
и(0, Ь) = и(п, Ь) = 0, (0.2)
и(х, 0) = ^(х), иДх, 0) = ^(х). (0.3)
Теорема 0.1 [2, с. 190]. Если д(х) е С[0, п] и вещественна, ^(х) е С3 [0, п], ^(х) е С2 [0, п],
р(0) = р(п) = р"(0) = р"(п) = 0, (0.4)
