Научная статья на тему 'О равносходимости разложений по собственным функциям интегральных операторов с ядрами, разрывными на диагоналях'

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

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

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

для которого 'L = \'\Р). Так как е с а/., то по третьей теореме об изоморфизмах [5] для канонического гомоморфизма г . W -> F(/i) существует такой гомоморфизм /: F(/4) —> что ~К =/• е . Отсюда следует, что 'L = V(/>) = Б." W)X g(*i) =/"'(П '¿/Е

Очевидно также, что I идеал полугруппы W в том и только том случае, если Р идеал полугруппы S . Следовательно, ядро K}.w можно представить в виде

п {/ \РУ f F(A) S - конечная полугруппа, Р с S и Кщ)с/'\Р).

Поскольку для таких подмножеств Р по лемме 1 Ks~J(Kf\A)) с Р, то в силу следствия 1 и формулы (1) выполняются равенства КрА) = гл {f'\P): /: F(A) -> 5 - конечная полугруппа и Р идеал S } = = n { Liz : L - распознаваемый идеал полугруппы W} = = n {*(w)/e : w е W} = Me.

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Ладяеман Ж. Полугруппы и комбинаторные приложения М : Мир, 1985

2. Molchanov V.A. Nonstandard characterization of pseudovarieties // Algebra Universalis 1995. Vol 33. P. 533 - 547.

3. Альбеверио С., Фенстад Й., Хеэг-Крон Р., Линдстрсм Т. Нестандартные методы в стохастическом анализе и математической физике М Мир, 1990.

4. Молчанов R.A. Нестандартные расширения равномерных алгебраических систем // Сибирский математический журнал. 1994 Т. 35, № 5. С. 1094 - 1105.

5. Кон П. Универсальная алгебра М.: Мир, 1968.

УДК 513.88

Е. В. Назарова

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

В пространстве /^[0; 1] рассматривается интегральный оператор

X 1

А/(х) = а11А1(х,0/0У11 + а21л2(х,0/(М +

о х

1-х 1

+ а3 \ Лз(1-х,0/(0Л + а4 (1)

о 1-*

* Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект № 00-01-00075, и программы «Ведущие научные школы», проект N»00-15-96123.

Предположим, что At{x,t) для / = 1 и 1 = 3 непрерывно дифференцируемы по х при t<x, a А:(х,/) для / = 2 и / = 4 непрерывно дифферен-

цируемы по дг при t > х и выполняются соотношения —-Д(х,0|г=х = о. 0

Sx-'

(7 = 0;1), где ст - символ Кронексра.

Оператор (1) рассматривался ранее А.П. Хромовым. В работе [1] им были получены формулы обращения оператора ( 1 ), а в работе [2] для частного случая оператора (1) установлена равносходимость разложений по собственным и присоединенным функциям и в тригонометрический ряд Фурье

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

Введем в рассмотрение следующие дифференциальные операторы с краевыми условиями:

L0y = P~ly\ U(y) = Q-1лу=Р~1у\ V(y) = 0, Ly = (E + S)'1P'iy\ V(y) = 0, где /""'/(x) = Р,/(дг) + p2/(l - дг), S = P'\DA + clA), D - оператор дифференцирования, E - единичный оператор; Î7 (y) = Yj^iO) -i- y2-K') i

V[y) = U(y) - (>,<p); y, = 1 + I[(a, - a2)À(0) + (a, - a4M(I)];

о

Y2 = - а2)Л(1) + (a3 - а4)Л(0)]; À(t) = ,4(0,0 + Ji4(0,T)JV(T,0*; ° о

N = (E + Sy}-E- 6 = V(«i -a2)2+(a3-a4)2,

{У.Ф) = ka2 - a, )} Л, '\t)y{t)dt + (a, - a4 )}À, '(1 - t)y{l)dt] ° о о

Обозначим Rok =(L0 -XE)'1 резольвенту оператора L0, a Rl x и Rx - соответственно резольвенты операторов L, и L. Легко заметить, что Rx является также резольвентой Фредгольма оператора А . Справедпивы следующие результаты: ТЕОРЕМА 1 Если X таково, что Ro x существует, то

Z(jr) = {z1(jr),z2(jc)}7 , где г,(д)=ЯоЛ/(х)\ z2(x) = z,( 1-х), удовлетворяет системе

где ß =

а, - а-,

а, -а.

а4 - а

Z'(x) + \BZ(x) = BF(x), />Z(0)-i-ßZ(l) = 0,

/0 О

м;

lo О

Ui Уг)

F(x) = {f(x)J( 1-*)}г.

ТЕОРЕМА 2. Если А"1 (А.) существует, то

«и/ = Лол/ + (Gn + «12 XW. Ф). где Gn и С12 - компоненты матрицы G = (X);

lV(x,X) =

(а3 -а4)е

(а3 - а4)е

■ Ä.V6»

Ja, - а2 - (а, - а2 + S)e'U&x

А(Х) = Р^(ОД) + £Ж(1Д) - Щ);

Щ) = (а3-а4)

ТЕОРЕМА 3. Для y(x) = Rxf(x) справедливо соотношение У(х) = Ri,x/(x) + у( 0)Äu[ß,/V(;r,0) + ß2W W)] +

+ >0)^i,x[-ßi^(Jc,l) - ß2W(jc,0)] + i

+ ÄU J[ß,A№0 - Pj^f' W - ОШ*.

о

где N(x,t) - ядро интегральною оператора N такого, что (£ + S)_1 =E + N. Обозначим:

an =Yi(d3 -а4) + 7г(а1 -«2 - V5); «12 =У1(а3-а4) + у2(а, -а2 + V5); a2i =7г(аз "^J + Yiia, -а2 -VS); аи = у2(а3 -а4) + у,(а, -а2 W<5);

а11а22

Удалим из комплексной плоскости переменного 4 нули функции 1-е-1" вместе с окрестностями одного радиуса 60 > 0 и обозначим оставшуюся часть плоскости S6o

ТЕОРЕМА 4 В области S6 при

КеХл/б > 0 и при больших значениях | Я.| верны оценки:

1 - е'у

где / = 0,1, ае(у) =- при у> 0; ц(х) ~ характеристическая функция

У

отрезка Гло.Л]с (^,1) •

Для <0 утверждения теоремы сохраняются, лишь в (2) и (3)

л/б

заменяется на

-х-Д.

Из теорем 3 и 4 получается

ТЕОРЕМА 5. В области при хе[6,,1 - 5,], где 0 <5] < —, имеет

место оценка

K/"Wlí Г"П

НС|8,;1-8,1

0\ - I + 6>(ае2 (Re XyfE)) + 6>(ae(Re?lVS) • )

■и,

Теоремы 3, 4 и 5 приводят к следующему основному результату (теорема равносходимости).

ТЕОРЕМА 6. Для любой функции /(*) е ¿][0;1] и х е [8г; 1 - 8[] имеет место соотношение

lim] \{Rx-Ro¿)fdk

= 0. С|8„1-в,]

БИБЛИОГРАФИЧЕСКИМ СПИСОК

1 Корнев В. В., Хромов А.П. Об обращении интегральных операторов с ядрами, разрывными на диагоналях // Мат заметки 1998 Т. 64, вып 6. С. 932 - 942.

2 Хромов А.П. О равносходимости разложений по собственным функциям интегральных операторов с ядрами, допускающими разрывы производных на диагоналях //Мат сб 1981 Т. 114(156). №3. С. 378-405

УДК 519.4

С. И. Небалуев

Г РУППЫ ГОМОЛОГИЙ ПРЯМОГО ПРОИЗВЕДЕНИЯ ТОЛЕРАНТНЫХ ПРОСТРАНСТВ

Рассмотрим множество А4 = {0,1, ..,</}, где как толерант-

ные пространства, в которых все элементы попарно толерантны. Другими словами, толерантные пространства (д?,т?) состоят из одного классатоле-

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