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

О. А Королева. О сходимости средних Рпсса разложений по с.п.ф. интегрального оператора

УДК 517.984

О СХОДИМОСТИ СРЕДНИХ РИССА РАЗЛОЖЕНИЙ ПО СОБСТВЕННЫМ И ПРИСОЕДИНЕННЫМ ФУНКЦИЯМ ИНТЕГРАЛЬНОГО ОПЕРАТОРА С ЯДРОМ, ИМЕЮЩИМ СКАЧКИ НА ЛОМАНЫХ ЛИНИЯХ

О. А. Королева

Саратовский государственный университет E-mail: korolevaoart@yandex.ru.

В настоящей работе найдены необходимые и достаточные условия равномерной сходимости обобщенных средних Рисса разложений по собственным и присоединенным функциям (с. п. ф.) интегрального оператора, ядро которого терпит скачки на сторонах квадрата, вписанного в единичный квадрат.

Ключевые слова: резольвента, характеристические числа, собственные и присоединенные функции, обобщенные средние Рисса.

On Convergence of Riesz Means of the Expansions in Eigen and Associated Functions of Integral Operator with Kernel Having Jumps on Broken Lines

O. A. Koroleva

This paper deals with necessary and sufficient conditions of uniform convergence of generalized Riesz means for expansions in eigen and associated functions of an integral operator whose kernel suffers jumps at the sides of the square inscribed in the unit square.

Key words: resolvent, characteristic number, eigenfunctions and associated functions, generalized Riesz means.

Рассмотрим интегральный оператор:

1

у = А/ = У А(х,Ь) /(Ь) А. (1)

о

Обозначим: А^х,Ь) = А(х,Ь), если {0 < Ь < 1/2 - х, 0 < х < 1/2}, А2(х,Ь) = А(х,Ь), если (1/2 + х < Ь < 1, 0 < х < 1/2}, Аз(х,Ь) = А(х,Ь), если {0 < Ь < -1/2 + х, 1/2 < х < 1}, А4(х, Ь) = А(х,Ь), если (3/2 - х < Ь < 1, 1/2 < х < 1}, Аб(х,Ь) = А(х,Ь), если (1/2 - х < Ь < 1/2 + х, 0 < х < 1/2} и (-1/2 + х < Ь < 3/2 - х, 1/2 < х < 1}.

Предположим, что А^(х,Ь), г = 1,..., 5 непрерывно дифференцируемые в своих областях, причем А5(х, 1/2 - х + 0) - А1(х, 1/2 - х - 0) = а, А5(х, 1/2 + х - 0) - А2(х, 1/2 + х + 0) = Ь, А5(х, -1/2 + х + 0) - Аз(х,-1/2 + х - 0) = с, А5(х, 3/2 - х - 0) - А^х, 3/2 - х + 0) = й, где а, Ь, с, й — постоянные.

Частный случай оператора (1) впервые рассматривался в [1]. Рассмотрим следующий оператор:

1/2

^ = Вд = J В(х, Ь)д(Ь) йЬ, 0 < х < 2, (2)

о

где г(х) = (¿1 (х),^2(х), ¿з(х), ^(х))т, д(х) = (д1(х),д2(х),дз(х),д4(х))т, В (х, Ь) =

( 0 А(х, 1/2 - Ь) А(х, 1/2 + Ь) 0 ^

А(1/2 - х, Ь) 0 0 А(1/2 - х, 1 - Ь)

А(1/2 + х, Ь) 0 0 А(1/2 + х, 1 - Ь)

V 0 А(1 - х, 1/2 - Ь) А(1 - х, 1/2 + Ь) 0 )

Теорема 1. Если у = А/, то г = Вд, где (х) = у(х), г2(х) = у(1/2 - х), гз(х) = у(1/2 + х), ¿4(х) = у(1 - х), д1 (х) = /(х), д2(х) = /(1/2 - х), дз(х) = /(1/2 + х), д4(х) = /(1 - х). Обратно: если г = Вд и д1(х) = д2(1/2 - х), дз(х) = д4(1/2 - х), то г1 (х) = г2(1/2 - х), гз(х) = г4(1/2 - х) и у = А/, где /(х) = д1 (х), при х е [0,1/2]; /(х) = дз(-1/2 + х), при х е [1/2,1] и у(х) = г1(х), при х е [0,1/2]; у(х) = гз(-1/2 + х), при х е [1/2,1].

Доказательство. Представлено в статье [2].

Замечание. Представление типа (2) не единственно. Наше же представление хорошо тем, что компоненты матрицы В(х, Ь) терпят разрывы лишь на линии Ь = х.

© Королева О. А., 2013

63

В статье [2] также доказаны необходимые и достаточные условия существования оператора В-1. В дальнейшем будем предполагать, что В-1 существует.

Теорема 2. Для оператора В-1 справедливо представление

1/2

В-1 г(х) = Рг'(х) + а! (х)г(0) + а2(х)г(1/2) + аз(х)г(х) + J а(х,Л)г(Л) йЛ, (3)

о

1/2

£г(0) + Тг(1/2)^У а(ф(£) йЛ = 0. (4)

о

где а^(х), г = 1,3, а3(х), а(х) — непрерывные матрицы-функции, каждая компонента матрицы а(х,1) имеет такой же характер гладкости, что и компоненты Вх (х,Л), 1/2 1/2 £ = Е + / В(0, ¿)а1 (Л) йЛ, Т = / В(0,Л)а2(Л) йЛ — постоянные матрицы 4 х 4. Доказательство

оо повторяет доказательство теоремы 10 в [1].

1. Получим интегродифференциальную систему для резольвенты Да = (Е — ЛА)-1 А оператора А. Пусть г = (Е — ЛВ)-1Вд. Тогда г — ЛВг = Вд. Отсюда по теореме 2 из (3), (4) получаем:

Рг' (х) + а1 (х)г (0) + а2 (х)г(1/2) + а3 (х)г (х) + ЛУг — Лг(х) = д(х), (5)

1/2

£г(0) + Тг(1/2)^У а(Л)г(Л) йЛ = 0, (6)

о

_ 1/2 где ЛУг = / а(х, £)г(£) йЛ.

о

Теорема 3. Если Да существует, то Яа / = у(х), где

у(х) = г1 (х) при х е [0,1/2], у(х) = г3(х — 1/2), при х е [1/2,1], (7)

г1, г3 — первая и третья компоненты вектора г(х), удовлетворяющего системе (5), (6). Обратно, если Л таково, что однородная краевая задача для (5), (6) имеет только нулевое решение, то Яа существует и определяется по формуле (7). Доказательство повторяет лемму 1 из [3].

Рассмотрим систему (5), (6). Минимальный многочлен матрицы ^ = Р-1 совпадает с характеристическим многочленом и равен Л4 — Л2(й2 — 2Ьс + а2) + (бе — ай)2. Значит, выполняется

Лемма 1. При условии й = а, (й + а)2 — 4Ье = 0 матрица Q подобна диагональной Б = diag(а^L,а>2,^4), причём = — о>2, <^4 = —, = о>2. Пусть матрица Г такая, что Г-1 Р-1Г = Б. Выполним в (5), (6) замену г = Гг, получим:

г'(х) + Р1 (х)/(0) + Р2(х)/ (1/2) + Р3(х)/(х) + Л/(х) — ЛБг(х) = т(х), (8)

1/2

МоЩ0)+ М1Г5(1/2) + ^У ей = 0, (9)

о

где Рг(х) = БГ-Ч (х)Г, N = БГ-1 Л/Т, т(х) = БГ-1д(х), ОД = а(Л)Г, Мо = £ Г, М1 = ТГ.

В дальнейшем при изучении системы (8), (9) затруднения вызывает матрица Р3 (х). Поэтому дадим её дальнейшее преобразование.

Лемма 2. Существует матрица — функция Н(х, Л) = Но (х) + Л-1 Н1(х) с непрерывно дифференцируемыми компонентами матриц Н0 (х), Н1 (х), причем Н0 (х) невырождена при всех х и диагональная, такая, что преобразование г = Н(х, Л)и приводит систему (8), (9) к виду

у'(х) + Р1 (х, Л)у(0) + Р2(х, Л)у(1/2) + Р3(х, Л)у(х) + Лау(х) — ЛБу(х) = т(х, Л),

1/2

и (у) = МоаУ(0) + М1аУ(1/2) + I 0(£,Л)у(£)й£,

о

О. А Королева. О сходимости средних Рисса разложений по с.п.ф. интегрального оператора

где Р1 (ж, А) = Н-1(ж, А)Р1 (ж)Н(0, А), Рг(ж,А) = Н-1 (ж, А)Рг(ж)Н(1/2, А), Рз(ж, А) = А-1 Н-1(ж,А) х х [Н2(ж) + Рз(ж)Н2(ж)], N = Н-1(ж,А)ЯН(ж, А), МоЛ = МоН(0, А), М1Л = МхН(1/2, А), 0(£,А) = 0(£)Н(£, А), т(ж,£) = Н-1 (ж, А)т(ж). Доказательство такое же, как и лемма 16 в [1]. Рассмотрим систему

и' (ж) = АРи(ж) + т(ж), (10)

1/2

ио(ш) = МоНо(0)и(0) + М1Н0(1/2)и (1/2)^у"о(^)Но(£)и(£) ^ = 0, (11)

о

Будем считать, что Ие А^1 > Ие А^2 > 0. Для решения и (ж, А) = РоЛ т системы (10), (11) имеют место формула (25) и оценки (28) в [2].

2. Приступим к получению основного результата. Пусть #(А, г) удовлетворяет следующим требованиям:

1) ^(А,г) непрерывна по А в круге |А| < г и аналитична по А в |А| < г при любых г > 0;

2) существует С > 0 такая, что |# (А, г)| < С при всех г > 0 и |А| < г;

3) ^(А,г) ^ 1 при г ^ ^ и фиксированном А;

(о ((п/2 - <)в) , 0 < < < П/2

4) существует в > 0 такое, что о(А, г) = < ) вУ , где < = агоА^2.

(о((< - зт), 3П < < < 2п

В качестве обобщённых средних Рисса будем брать интегралы

Л(/,ж) = — #(А,г)РЛ^^

|Л|=г

где Рл/ = (Е — АА)-1 А/ — резольвента Фредгольма.

Теорема 4 (формула остаточного члена). Пусть /(ж) — непрерывная функция на [0,1/2], /о(ж) — непрерывно-дифференцируемая функция на [0,1/2], принадлежащая области значения оператора. Тогда, если на окружности |А| = г нет собственных значений оператора А, то

/(ж) — Л(/,ж) = /(ж) — /о(ж) + (1 — ^(о,г))/о(ж) + 2- / #(А,г)¿А — Л(/ — /о,ж),

|Л|=г

где /о = А< о

Доказательство. По тождеству Гильберта имеем:

/о + Рл/о = А Р <о. Проинтегрируем обе части этого равенства:

— 2^ / ^(А,г)^Ат ¿А + (— У ^(А,г)Рл/о ¿А = — ^ / А^(А,г)Рл<о ¿А. (12)

|Л|=г |Л|=г |Л|=г

Первый интеграл равен /о(ж)^(0, А). Тогда (12) примет вид

1 Г 1

/о(жЖ0, А) + Л(/о,ж) = — А^(А,г)Рл<о ¿А-

|Л|=г

Значит для произвольного /(ж) е С[0,1]:

/(ж) — Л (Л ж) = /(ж) — Л (/, ж) — /о(ж) + /о(ж) — Л (/o, ж) + Л- ^ ж) =

1 Г 1

= [/ (ж) — /о(ж)] — Л (/ — /о ,ж) + /о(ж)[1 — £(0,г)] + — у А^(А,г)Рл<о ¿А.

|Л|=г

Теорема доказана.

Математика

65

Лемма 3. Пусть / = (/1 (х),..., /4(х))т, /(х) е С[0,1/2]. При достаточно больших Л справедлива оценка:

I = / |д(Л,г)| НДЬа/||с[0.1/а] |йЛ| = II/||с[0.1/а]О(1) |А|=г

Доказательство Воспользуемся оценками (28) из [2]:

^ [■ /1 — е-1 Ке а^1 К [■ /1 — е-1 Ке ^

I 1д(Л,г)П , Р„Л,, , Ы + |д(Л,г)| ,Р„Л,, , Ы

i =

'[0,1/2]

O

Vi=

| Re A^i |

|Л|=г

| Re A^21

+

/

+O

^ Г /I — e4 Re Л^зК /1 — е-1 Re К ^

|g(A,r)| , , |dA| + |g(A, г)и , , |dA|

\Л| =

| Re A<^31

|Л|=г

1с[0,1/2]0 (I1 + I2 + I3 + I4)

| Re A^41

Рассмотрим I2. Сделаем замену Aw2 = reip. Тогда dA = — rieipdp (Re Aw2 > 0) |dA| = -.—гr dp, т. е.

^2 |^2|

n/2

I2 = / |g(A, r)

-n/2

1_e-r cos p

|r cos p|

r1 I—I| dH = — |^21 ^2

n/2

|g(A,r)|

-n/2

1 _ e-r cos i cos p

dp <

n/2

1 /* 1

< — |g(A,r)|-dp.

J COSp

-n/2

Разбив интеграл на два интеграла, получаем нужную оценку.

Аналогично оцениваются и остальные интегралы. Лемма доказана.

Лемма 4. Пусть вектор-функция f(x) е C[0,1/2] удовлетворяет (6). Тогда для любого е > 0 существует вектор-функция fo (x) е C1 [0,1/2], удовлетворяющая (6) такая, что ||f(x) - fo(x)IU < е.

Доказательство. Перейдём от f (x) и f0 (x) к скалярным функциям F(x) и F0(x) по формулам

fi(x), x е [0,1/2],

F (x) = <

/2(1/2 _ x), x e [1/2,1], /3(3/2 _ x), x e [1, 3/2], /4(2 _ x), x e [3/2, 2],

аналогично определим F0(x). Это скалярные функции, F — непрерывная, а F0 — непрерывно дифференцируема, кроме, быть может, точек с абсциссами xi = 1/2, x2 = 1, x3 = 3/2, x4 = 2. Утверждение леммы становится следствием соответствующего результата для скалярного случая. Лемма доказана. 3. Имеет место следующая теорема. Теорема 5. Соотношение

lim ||/(x) + Jr(/,x)||c[o,i] =0

имеет место тогда и только тогда, когда а)/(x) е C[0,1], б) (/(x),/(1/2+x),/(1/2 — x),/(1 — x))T удовлетворяет (6).

Утверждение теоремы получается из теоремы 3 и лемм 3, 4, так же, как ив [4]. Теорема 6. Соотношение

lim ||/(x) + Jr(/,x)||c[o,i] =0

имеет место тогда и только тогда, когда /(x) е ДА, где ДА — замыкание области значений оператора A.

r

О. С Кудрявцева. Функция Кёнигса и дробное итерирование аналитических функций

Доказательство. Необходимость очевидна, так как (/, х) состоит из с.п.ф. оператора А, которые принадлежат области значений оператора А. Достаточность следует из теоремы 4 и леммы 4. Следствие. ДА состоит из функций, удовлетворяющих условиям а) и б) из теоремы 5.

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

1. Хромов А. П. Интегральные операторы с ядрами, разрывными на ломаных линиях // Мат. сб. 2006. Т. 197, № 11. C. 115-142. [Khromov A. P. Integral operators with kernels that are discontinuous on broken lines // Sb. Math.. 2006. Vol. 197, № 11. P. 1669-1696.]

2. Королева О.А., Хромов А.П. Интегральный оператор с ядром, имеющим скачки на ломаных линиях // Изв. Сарат. ун-та. Нов. сер. 2012. Т. 12. Сер. Математика. Механика. Информатика, вып. 1. C. 33-50. [Koroleva O. A., Khromov A. P. Integral Operator with Kernel Having Jumps on Broken Lines (in Russian) // Izv. Saratov. Univer. New Series. 2012. Vol. 12. Ser. Mathematics. Mechanics. Informatics, iss. 1. P. 33-50.]

3. Корнев В. В. О равносходимости разложений по соб-

ственным функциям интегральных операторов с ядрами, допускающими разрывы производных на диагоналях // Мат. сб. 2001. Т. 192, № 10. C. 3350. [Kornev V. V. Equiconvergence of expansions in eigenfunctions of integral operators with kernels that can have discontinuities on the diagonals // Sb. Math. 2001. Vol. 192, № 10. P. 1451-1469.]

4. Гуревич А. П., Хромов А. П. Суммируемость по Риссу спектральных разложений одного класса интегральных операторов // Дифференциальные уравнения. 2001. Т. 37, № 6. C. 809-814. [Gurevich A. P., Khromov A. P. Riesz summability of spectral expansions for a class of integral operators // Differ. Equ. 2001. Vol. 37, № 6. P. 849-855.]

УДК 517.54

ФУНКЦИЯ КЁНИГСА И ДРОБНОЕ ИТЕРИРОВАНИЕ АНАЛИТИЧЕСКИХ В ЕДИНИЧНОМ КРУГЕ ФУНКЦИЙ С ВЕЩЕСТВЕННЫМИ КОЭФФИЦИЕНТАМИ ^ И НЕПОДВИЖНЫМИ ТОЧКАМИ

О. С. Кудрявцева

Волжский гуманитарный институт (филиал) Волгоградского государственного университета E-mail: Kudryavceva@vgi.volsu.ru

Исследуется проблема дробного итерирования аналитических в единичном круге функций с вещественными тейлоровскими коэффициентами. Предполагается существование внутренней и граничной неподвижных точек. Решение приводится в терминах функции Кёнигса.

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

Koenigs Function and Fractional Iteration of Functions Analytic in the Unit Disk with Real Coefficients and Fixed Points

O. S. Kudryavtseva

The present paper deals with the problem of fractional iteration of functions analytic in the unit disk, with real Taylor's coefficients. It is assumed that there exist interior and boundary fixed points. The solution is given in terms of the Koenigs function.

Key words: fractional iterates, one-parameter semigroup, infinitesimal generator, Koenigs function, fixed points.

Пусть р — совокупность всех голоморфных отображений / единичного круга О = {г е С: |г| < 1} в себя. Тогда р представляет собой топологическую полугруппу относительно операции композиции и топологии локально равномерной в О сходимости, роль единицы в которой играет тождественное преобразование /(г) = г. Заметим, что р содержит подгруппу I дробно-линейных преобразований единичного круга О на себя.

В силу согласованности областей определения и значений функции / е р определены её натуральные итерации: /о(г) = г, / ) = /(г) и /п(г) = / о /п-1 (г) при п = 2, 3,.... Если же существует семейство {/}^о аналитических в О функций, удовлетворяющих условиям:

1) /о(г) = г1 (г) = /(г),

2) /*+*(*) = / о /8(г) при £ ^ 0,

3) /í(г) ^ г локально равномерно в О при £ ^ 0,

то говорят, что определены дробные итерации функции /. Отображение £ ^ /í является непрерывным гомоморфизмом, действующим из аддитивной полугруппы = {£ е К: £ ^ 0} в полугруппу р, и называется однопараметрической полугруппой в р.

© Кудрявцева О. С, 2013

67