Научная статья на тему 'Локальное описание целых функций. Подмодули ранга 1'

Локальное описание целых функций. Подмодули ранга 1 Текст научной статьи по специальности «Математика»

CC BY
76
5
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
ПОДМОДУЛИ ЦЕЛЫХ ФУНКЦИЙ / ЛОКАЛЬНЫЕ ПОДМОДУЛИ / ЛОКАЛЬНАЯ ОБОЛОЧКА / ЛОКАЛЬНОЕ ОПИСАНИЕ / ОБИЛЬНОСТЬ / ИНТЕНСИВНОСТЬ / УСТОЙЧИВОСТЬ / НАСЫЩЕННОСТЬ / КРИТЕРИЙ ОБИЛЬНОСТИ

Аннотация научной статьи по математике, автор научной работы — Волковая Татьяна Анатольевна, Шишкин Андрей Борисович

Подмодуль целых функций называется обильным, если он совпадает со своей локальной оболочкой. Свойство обильности подмодуля расщепляется на три отдельных свойства: интенсивность, устойчивость и насыщенность. В настоящей работе подмодули целых функций исследуются на наличие указанных свойств. При этом особое внимание уделяется подмодулям ранга 1.

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

Local description of entire functions. Submodules of rank 1

Submodule in the module of entire functions is called ample, if this submodule coincides with its local hull. Ampleness splits in three separate properties: intensity, stability and saturation. In the article submodules of entire functions are investigated for the presence of these properties. Particular attention is paid to submodules of rank 1.

Текст научной работы на тему «Локальное описание целых функций. Подмодули ранга 1»

Владикавказский математический журнал 2014, Том 16, Выпуск 2, С. 14-28

УДК 517.5

ЛОКАЛЬНОЕ ОПИСАНИЕ ЦЕЛЫХ ФУНКЦИЙ. ПОДМОДУЛИ РАНГА 1

Т. А. Волковая, А. Б. Шишкин

Подмодуль целых функций называется обильным, если он совпадает со своей локальной оболочкой. Свойство обильности подмодуля расщепляется на три отдельных свойства: интенсивность, устойчивость и насыщенность. В настоящей работе подмодули целых функций исследуются на наличие указанных свойств. При этом особое внимание уделяется подмодулям ранга 1.

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

1. Критерий обильности

1.1. Постановка задачи и ее предыстория. Пусть п — целая функция, С[п] — кольцо многочленов от п над пол ем С. Для упрощения изложения будем считать, что полный образ п(С) совпадает с С. Функция у, локально аналитическая в точках множества и С С, называется п-симметрична, если она представляется в виде Ф о п, где ф — некоторая локально аналитическая на п(и) функция. Простейшие п-симметричные функции — это отображения, осуществляемые элементами кольца С [п]. Если А £ Си ш С А := п-1(А), то О(ш) — кольцо ростков функций, локально голоморфных в окрестностях ш, Оп(ш) — кольцо ростков п-симметричных функций, локально голоморфных в окрестностях ш. Естественное вложение Оп( А) ^ Оп(ш) является кольцевым изоморфизмом. Это позволяет рассматривать О(ш) как модуль над кольцом Оп( А).

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

С

топологического модуля над кольцом С[п]. Пусть I — замкнутый подмодуль в Р. Обозначим I(ш) минимальный подмодуль Оп ( А)-модуля О(ш), включаюнщй I. Ясно, что I(ш) состоит из всевозможных конечных сумм / вида

] = ^ С ^ Оп ( А), Уг £ I. (1)

Пересечение

П

к» I(ш)

называется локальным подмодулем I, ассоциированным с п-слоем А и обозначается I ( А).

Здесь символ ш Ш А означает, что перебираются лишь конечные подмножества ш п-слоя А. Согласно этому определению, локальный подмодуль I( А) исчерпывается ростА

© 2014 Волковая Т. А., Шишкин А. Б.

в окрестности каждого конечного подмножества А. Представление (1) называется локальным представлением функции f в окрестности множества ш < А

Целая функция f принадлежит I локально, в записи f Gioc I, если f G I( А) при любом A G C. Подмодуль I допускает локальное описание (или является обильным) если справедлива импликация:

f G P, f G I ^ f G I.

loe

Пересечение

П (i( А)n p)

лес

называется локальной оболочкой подмодуля I. Ясно, что замкнутый подмодуль I С P является обильным тогда и только тогда, когда он совпадает со своей локальной оболочкой. Задача локального описания состоит в нахождении условий, при которых замкнутые I С P

Эта задача имеет длинную предысторию. Случай n(z) = z исследовался в работах [13]. В работах [4, 5J изучался случай n(z) = zq. В работе [6J инициированы исследования по ситуации n(z) — многочлен. В работе [7] инициирован случай n(z) = (ni (z),... , nn(z)), где ni(z),... ,nn(z) — многочлены. Случай n(z) — целая функция рассматривался в [810]. Задача локального описания тесно связана с задачей спектрального синтеза для дифференциального оператора n(D) с постоянными коэффициентами f7, 11J.

В работах [1-3] исследовались общие приемы решения задачи локального описания в случае n(z) = z. В этих работах разрабатывается метод резольвентной функции, в основе которого лежит возможность деления аналитической функции на двучлен z — A при обращении этой функции в нуль в точке А. Этот метод существенно опирается на

P

ляется основным ограничителем класса пространств, к которым применимы результаты статей [1-2]. В работе [3] аксиома равномерной устойчивости заменена менее ограничительной аксиомой — аксиомой локальной устойчивости. В статье [10J авторы адаптировали метод резольвентной функции к общей ситуации, в которой деление на двучлен z — A заменено делением на целую функцию п — A. В этой статье проверка обильности замкнутого подмодуля была сведена к проверке трех свойств — интенсивности, устойчивости и насыщенности. В настоящей работе упомянутые свойства замкнутых подмодулей подвергаются дополнительному исследованию. При этом основное внимание уделяется подмодулям ранга 1, свойства которых допускают глубокую аналогию со свойствами C[z]-подмодулей целых функций общего вида.

P

творяет следующим аксиомам.

Аксиома компактной сходимости. Вложение P С O(C) непрерывно.

Аксиома равномерной устойчивости. Для любой окрестности нуля V С P существует окрестность нуля U С P такая, что

f£U, A G С, G Р —¿f— G V.

п — A loe п — A

P

/ G Р, A G С, G Р —¿f— G Р.

п — п —

Кроме того, из аксиомы равномерной устойчивости вытекает выполнимость следующей аксиомы.

Аксиома локальной устойчивости. Для любой точки A G Си любого ограниченного множества B С P существуют окрестность U\ точки A и ограниченное множество B' С P такие, что

f £ В, С е í/a, -f—z £ р^ —f— е В'.

П — Z loe П — Z

Аксиома локальной устойчивости, как и аксиома равномерной устойчивости, влечет

P

1.3. Критерий обильности. Во-первых, подмодуль I С P устойчив в точке A G С,

если

f f /е/, gj.

П — П —

Подмодуль I устойчив, если он устойчив в любой точке A G С. Если подмодуль I С P является обильным, то он, очевидно, устойчив.

Во-вторых, пусть I — подмодуль в P, f G P и f Gi0 Д. Фиксируем точку A £ Си рассмотрим представление

f = ид + (п — Af

где элемент ид выбирается из I таким образом, чтобы выполнялось условие

/л := G I. (2)

П—

I

нуля V С P существует окрестность нуля U С P такая, что для любой функции f G U, принадлежащей I локально, найдется функция ид G I П V, для которой выполняется условие (2).

Если подмодуль I слабо интенсивен в точке A G С, то для любой функции f G P,

I

f = ид + (п — A) иЛ2 + (п — A)2 fд2,

где элементы ид и ид2 выбираются из I таким образом, что выполняется условие

, f — ид , fл — ид2 f — ид — (п — •Х)ид2 г

JX -Г' J>¿ -Г~ "" -/-Ü2- , 1-

п — A п — A (п — A)2 loe

Пусть подмодуль I С P является слабо интенсивным в любой точке Z из некоторой

I

функции f G P, принадлежащей I локально, существуют окрестность ид точки A и

функции и^, ид, ид2 G I, удовлетворяющие условию

/ ~ ^С / ~ ЦА / - пд - (тг - А)ПД2 ^ п — Z ' п — A ' (п — A)2 loe '

для которых множество

= с1^ (т^г -Ч : (е С,Л'(*л

P

Если подмодуль / е Р слабо интенсивен (соответственно интенсивен) в любой точке А £ С, то его называем слабо интенсивным (соответственно интенсивным). Если подмодуль I С Р является обильным, то он интенсивный и, значит, слабо интенсивный. Действительно, в этом случае достаточно положить пл = п^ = /, пл2 = 0.

В-третьих, пусть I — устойчивый слабо интенсивный подмодуль в Р, / е Р и /с1. Рассмотрим линейный непрерывный функционал Б на Р, аннулируюнщй I. Этому функционалу соответствует комплексная функция

Ф(А) := (Б,/А) ,

где /л — элемент из условия (2). Так как

/ - пл / - п'л п'л - пл

G I,

п — А п — А п — A loe

то в силу устойчивости I

и'х - ЦА G L п—

Это означает, что функция Ф не зависит от выбора элемента ид G I, для которого справедливо условие (2). Когда S пробегает совокупность всех линейных непрерывных функционалов, аннулирующих I, функция Ф пробегает некоторый класс функций, заданных на С. Этот класс мы обозначим S(I, f). Класс S(I, f) не разделяет точек С, если существуют две точки Ai, А2 G С, Ai = А^, гткш, что Ф(Ai) = Ф(А2) для любой Ф G S(I, f). Подмодуль I слабо насыщен относительно f, если S(I, f) не разделяет точек С. Подмодуль I слабо насыщен, если он слабо насыщен относительно любого элемента f G P, f GiocI- Обильный подмодуль I является слабо насыщенным, так как в этом S(I, f)

Пусть р — некоторая непрерывная полунорма в P, f G P и f G^CI- Положим Pf ( А) = inf р (f — ид), где inf берется по всевозможным на G I, для которых справедливо условие (2) (если такого ид не существует, то полагаем pf ( А) = Подмодуль I

f G P р

импликация:

Ф G O(C), |Ф( А)| < pf ( А) (V А G С) ^ sup с |Ф| <

Подмодуль I насыщен, если ^н насыщен относительно любого f G P, локально при-

II функция pf совпадает с тождественным нулем.

Слабый критерий обильности в локально устойчивых пространствах. Для того чтобы замкнутый подмодуль I С P был обильным, необходимо и достаточно, чтобы I был слабо интенсивным, устойчивым и слабо насыщенным [10].

Критерий обильности в равномерно устойчивых пространствах. Для того

I С P I

[10]

2. Интенсивность

Пусть А G С. Введем в O( А) отделимую локально выпуклую топологию, порожденную счетным набором полунорм

u^±\Dnu(0\, (3)

каждая из которых определяется выбором точки (n, Z) из декартова произведения Za = Z+ х А Топология в пространстве O( А) может быть описана как топология проективного предела пространств О(ш) относительно отображений сужения

: O(А) ^ О(ш).

Здесь ш — конечные подмножества слоя А пространство О(ш), топологизируется с помощью полунорм вида (3), каждая из которых определяется выбором точки (n, Z) из декартова произведения Zw = Z+ х ш. При описании топологии в O( А) можно обойтись не более чем счетной совокупностью Ш1,Ш2,... конечных подмножеств А удовлетворяющей условиям

ш1 С ш2 С ... С А, ш1 U ш2 U ... = А.

Легко видеть, что топология O( А) совпадает с топологией проективного предела пространств O(wfc) относительно отображений сужения

V,А : O(А) ^ °("k), k G N.

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

Произведение элементов O( А) на элементы кольца Оп ( А) непрерывно в топологии O( А), следовательно, Оп ( А)-модуль O( А) является топологическим. Аналогичное утверждение верно также и для Оп )-модулей О(ш^).

Пусть I — замкнутый подмодуль P, I( А) — локальный подмодуль I, ассоциированный с ж-слоем А. В [8] доказано, что из аксиомы компактной сходимости вытекает выполнимость следующего предложения.

Предложение 2.1. Для любого А G C локальный подм одуль I ( А), ассоциированный с ж-слоем А замкнут в топологии O( А) и совпадает с замыканием подмодуля I в топологии O( А).

Система элементов щ,..., un G O(C) называется независимой, если выполняется импликация

ClUi + ... + c„u„ = 0, ci,... ,Cn G On (C) ci,... ,Cn =0.

Ранг множества I С O(C) (в обозначениях Rank I) — это максимальное число элементов в независимых системах ui,..., un G I.

Предложение 2.2. Всякий подмодуль I С P ранга 1 является интенсивным.

< Пусть А G C, za G А f G P и u G I. Считаем, что f Gi0CI) u ф 0 и кратность обращения в нуль функции u в точке Za G а является наименьшей из возможных. В окрестности точки za имеет место представление f = ciui + ... + cnun, где ci,..., cn G On ( А), ui,..., un G I. Так ее ли Rank I = 1, то система элем ентов {u, u^} зависима при любом k G {1,..., n}. Значит, существуют отличные от тождественного нуля а^, bk G On (C), для которых aku = bku^ При этом

^ ii / ai an\

/ = ClUi + ... + c„nra = I + ' ' ' + j u = u.

Функция

Ciui + ... + c

с =-

u

голоморфна в точке za- Из представления

ai a„ A о ж

С = ~Г + --- + ~Г = ~5-'

bi bn B о ж

где A, B G O( А), вытекает, что c G Оп( А). Это означает, что c = C о п, где C G O( А). Следовательно, для любого Z = n(z) го некоторой окрестности Ua точки А функция f допускает представление

f = uc + (п - Z) uc2 + (п - Z)f,

в котором uz = c(zz) u = (C о п) (zz) u, Uz2 = c'(zz) u = (C' о п) (zz) u, где C' — производ-C

f — uz c — c(zz) h--=—-r= „ \au = acu<= I,

п — Z п — Z loe

С-Фс)

/с2 := —-= -—— u = bcu G I.

„ C—c(zz) ~/ \

fe - uC2 _ " Фс)

п — Z п — Z loe

Действительно, имеют место представления az = Az о п, bz = Bz о п, где

Л-,С') = здч = ^ - сю) £ 0,0.

Значит, az u, bz u G I (А) для любого Z G Ua. Если Z' G Ua, то включешя az u, bz u G I (А') очевидно выполнены.

Если f ^ О в топологии P, то в силу аксиомы компактной сходимости f (z) = c(z)u(z) ^ О равномерно по z го некоторой окрестности точки za- Следовательно, c(z) ^ О равномерно по z го некоторой окрестности точки za- Отсюда следует, что ua = c(za)u ^ О в топологии P. Значит, подмодуль I является слабо интенсивным в точке А. При этом для любого Z G Ua, Z = А, имеют место представления

1 /uz — Ua \ 1 (c(zz) — C(Za) Л ~ UA2 = 7-Г —л-л--сu

Z — А V Z — А V Z — АV Z — А 1

(С(0-С(Х) , Л С-Л V С-А ~С{Х))

Значит, множество

.^^(^-«лфе^.с/л

ограничено в Р. Следовательно, подмодуль I является интенсивным в точке А. Остальное следует из произвольности выбора точки А е С. >

3. Устойчивость

3.1. Свойства устойчивых подмодулей. Пусть I — интенсивный подмодуль в Р. Возникают естественные вопросы:

1) При каких условиях устойчивость подмодуля I в одной точке влечет устойчивость подмодуля I, т. е. его устойчивость в любой другой точке?

2) Влечет ли устойчивость подмодуля I устойчивость его замыкания I в Р?

При условии замкнутости подмодуля I на первый вопрос отвечает следующее предложение.

Предложение 3.1. Если замкнутый интенсивный подмодуль I С Р устойчив в точке X, то он устойчив.

< Пусть А' £ С, / £ I и £\ос1. Нам необходимо показать, что £ I. Вы-

берем произвольный линейный непрерывный функционал Б на пространстве Р/1. По свойствам резольвентной функции [10] функция

Ф(с ) = (С )) = ^

I ~ч тг-С ]

является целой и при некоторых натуральных а^

п+1

Ф(")( А) = £ а^Фт( А),

т=1

где Ф(га)( А) = (Б Р( А)), Фт( А) = (Б ( А)). Так как подмодуль I устойчив в точке А, то /дп £ I. Это означает, что Фт( А) = 0 для любого натурального т ^ п. Следовательно, фН ( А) = 0 для любого натурального п, т. е. Ф — тождественный нуль. Значит, любой линейный непрерывный функционал Б на Р, аннулирующий I, обращается в нуль на элементе Д/ = ^ . По теореме Хана — Банаха Д/ £ I. Значение функции Ф в точке А' не зависит от выбора элемента Пд/ £ I, для которого справедливо представление (2), значит, можно считать, что и\/ = 0 и Д/ = £ I. \>

Следующее предложение отвечает на второй вопрос.

Предложение 3.2. Если слабо интенсивный в точке А подмодуль I С Р устойчив в этой точке, то его замыкание I устойчиво в той же точке.

<\ Пусть / £ / и ^г\£\ос1- Утверждаем, что £ I. Действительно, пусть /а £ I и /а ^ / в топологии Р. Из аксиомы компактной сходимости и предложения 2.1 вытекает, что для любого А £ С локальные подмодули I( А) и /( А) совпадают (с замыканием I в топологии О (А)). Значит, / — /а£\ос1 и ^г\£\0с1- В силу слабой интенсивности

подмодуля I существуют и" £ I, для которых-7Г_Л Л £\ос1 и и" —> 0 в топологии Р.

Так как то ?г_ЛЛ £10С/. Устойчивость подмодуля / в точке А влечет включе-

ние дл ^ /. При этом /" + и" —» / в топологии Р. В силу аксиомы равномерной

£"+«? £ П гч £ 7

устойчивости -^ —> -^Ч- в топологии Р. Это означает, что -^Ч- (Е /. [>

17 п—Д п—Д ' п—Д

3.2. Главные подмодули. Замкнутый подмодуль I С Р порожден элементами ф,..., фп £ Р, если ф,..., ф 0 и I совпадает с замыканием в Р множества элементов вида Г1фга +... + ггафга, гд е Г1,..., гп £ С [п]. Если замкнутый под модуль I С Р порожден одним элементом ф ф 0 то его называют главным (с образующей ф).

Пусть ^ — главный подмодуль в Р с образующей ф , — подмодуль в Р, образованный элементами вида гф где г £ С[п]. Подмодуль ^ совпадает с замыканием подмодуля в тополог ИИ Р.

Предложение 3.3. Ранги подмодулей и ^ равны 1.

< Сначала докажем, что ранг подмодуля равен 1. Действительно, если и, П2 £ п1,п2 ф 0, то п1 = г1 ф п2 = г2ф где г1,г2 £ С[п] С Оп (С) и г1,г2 ф 0. Следовательно, С1П1 + С2П2 = 0, ГДв С1 = Г2,С2 = -Г1 £ Оп(С) И С1, С2 ф 0.

Далее убедимся, что ранг подмодуля ^ тоже равен 1. Действительно, если П1,П2 £ ^ то существуют обобщенные последовательности па,па £ сходящиеся к П1 и П2 соответственно в топологии Р. При этом п® = г®ф п^ = г^ф где г®,Г2 £ С[п] С Оп(С)

и c®u® + C2U2 = 0 где c® = ró?, cf = —rf G On(C). Из аксиомы равномерной сходимости вытекает, что функции , являются целыми и rf = Rf о -/г —> , = Щ 0 тг —>

равномерно на компактах. Пусть A G Си zo G А. Сужение no функции п на некоторую окрестность Uo точки zo является собственным отображением Uo ^ V0 = n(Uo). Значит, Rf ^ Ci, Rf ^ C2 равномерно та компактах из Vo- Это означает, что Ci, C2 G O( A), а ^ = Ci о 7г, ^ = C2 о 7Г G Отг(А). Следовательно, ci = у, c2 = y G Ow(C) и С2ui — ciu2 = 0. При ЭТОМ С1,С2 ф ^^ЛИ Ui,U2 Ф 0 >

В силу предложения 2.2 подмодули / и J являются интенсивными.

Предложение 3.4. Главный подмодуль является устойчивым.

< Пусть /^ — главный подмодуль в P с образующей J^ — подмодуль в P, образованный элементами вида r^, где r G C[п]. Подмодуль / совпадает с замыканием подмодуля J^ в топологии P. Пусть zo G С и ^(zo) = 0. Покажем, что подмодуль J^ является устойчивым в точке А = 7r(zo). Предположим, что / G J и ;^t\GiНам нужно показать, что ^^ G J. Так как / G J, то / = г</?, где г = R о 7Г, R — многочлен. Так как то = </?, где с = о 7Г G О^А). Значит, f = rip = (iг — А) с</?. Так как ^>(zo) = 0, то для всех z го некоторой окрестности точки zo имеет место равенство r(z) = (n(z) — A) c(z) и для всex £ из некоторой окрестности точки A имеет место равенство R(Z) = (Z — A)C(Z)■ Это означает, что многочлен R(Z) делится на двучлен Z — A и функция принадлежит кольцу С [-/г]. Следовательно, = G J ¡р. Таким образом, доказано, что подмодуль J^ является устойчивым в точке A. В силу предложения 3.2 подмодуль /^ тоже устойчив в точке A, а в силу предложения 3.1 подмодуль /^ является устойчивым. Предложение доказано. >

3.3. Конечнопорожденные подмодули. Пусть /1,..., /п — подмодули в P. Замкнутый подмодуль / = /o С P порожден подмодулями /i,..., /п, если / есть замыкание множества элементов вида /i + ... + /n, где / G /k. Фиксируем точку A G С, для которой выполняется условие: для любого k G {0,1,... , n} найдутся zk G А и Uk G /k такие, что Uk(zk) = 0. Набор a = {ai,..., an} комплексных функций на слое А называем допустимым, если существуют элементы /k G /k такие, что /k|д = ak, k = 1,..., n.

Положим

T(a, A) = {/ = /i + ... + /n : /k G /k, /k= a^.

Предложение 3.5. Пусть /i,..., /n — устойчивые подмодули в P, / — замкнутый подмодуль ранга 1, порожденный подмодулями /i,..., /n. Для того чтобы подмодуль / был устойчивым в точке X, необходимо и достаточно, чтобы выполнялось условие: для любого допустимого набора a = {ai,..., an}, для которого ai + ... + an = 0, замыкание T(a, ) P

< Достаточность. Пусть замыкание множества T(a, A) в топологии P содержит нулевой элемент. Рассмотрим произвольный элемент F G I, для которого ^гх^ЪсР Нам нужно показать, что ^^ G I. Пусть J — подмодуль в Р, составленный из сумм вида /i + ... + /n, где /k G /k- Так как J С /, то Rank J = 1. По предложению 2.2

J/ подмодуля J в пространстве P. Выберем произвольную окрестность нуля V в пространстве P. По аксиоме равномерной устойчивости существует окрестность нуля V* такая, что справедлива импликация:

fev*, AgC, -^-еР^-^-еК (4)

п — п —

Подбираем теперь окрестности Vi, V2 так, что бы Vi + V2 С V *. Так как F £ /, то существует обобщенная последовательность Fa = FJ + ... + F,a £ J, FJ £ /fe, сходящаяся к F в топологии P. Так как подмодуль J является интенсивным, то он является слабо интенсивным в точке А. При этом по предложению 2.1 для любого a имеет место локальное вложение F — Fa£i0CJ. Значит, для любого a имеет место представление

F — Fa = uj + (п — А)Я,

где элемент ua = u^ + ... + uJA £ J, u^ £ /fe, выбран так, чтобы выполнялось условие

fx '■= * х Л ¿

П — А loe

При этом для некоторого a' разниц а F — f' принадлеж ит Vi, где

/' = + «А = " А) (^д - /А') е J-

Рассмотрим представление f' = f + ... + f¿, где f = Fj' + £ /fe, и обозначим a k сужение f |д функции f| на слой A. Ясно, что система a = {ai,...,an} является допустимой и ai + ... + an = 0. По условию 0 принадлежит замыканию множества T(a, А); поэтому существует элемент

f = fi + ... + fn £ T(a, А) n V2, f £ 4, f = a fc.

f'_f

Так как Rank / = 1, то Rank/fe = 1. При этом f'k — fk = СкЩ £ h и = ^тд Ufe, где

Cfe — п-симметричная мероморфная функция. По условию выбора точки А существует _ f'_f

Zfe £ А такое, что uk(zk) ф 0. Значит, ck(zk) = 0, ^ £ О^А) и Из

«.> т f' —fk т

устойчивости подмодуля i fe вытекает, что £ i fe.

Рассмотрим теперь элемент ф = F — f' + f. Так как F — f' £ Vi, a f £ V2, то (p £ Vi + V2 С V*. Далее, замечаем, что £ Р. Поэтому, в силу импликации (4),

* F f'-Uv.

п — А П — А П — А Но

ft f n ft f ft -/"

J - J = ST^ Jk ~ Jk Jk ~ Jk J

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

7Г — A 7Г — A ' 7Г — A

k=i

Значит,

fl — f V := ^-f £ /■

п — А

Итак, для любой окрестности нуля V существует элемент ф £ / такой, что ^^ — ф £ V. Это значит, что ^^ — точка прикосновения / и, поскольку / замкнут, ^^ £ I. Достаточность доказана.

Необходимость. Пусть / устойчив в точке А. Рассмотрим элемент / = /1 + ... + fn £ T(а, А). Замечаем, что /(z) = 0 для любого z £ А. Так как Rank/ = 1, то / = cu0 £ /

и^д = о, где с — 7г-симметричная мероморфная функция. По условию выбора точки А существует zo £ А, такое, что Ho(zo) ф 0. Значит, c(zo) = 0, ^^ £ Отг(А) и ^д£1оС/- Из устойчивости подмодуля / вытекает, что £ I. Поэтому существует

обобщенная последовательность /" = /" + ••• + /,?, € сходящаяся к в топологии Р. Поскольку операция умножения на п — А непрерывна в Р, то последовательность Ра = (п — А) /а сходится к / в топологии Р и, значит, / — Ра ^ 0 в Р. Остается отметить, что / — Ра £ Т(а, А). Необходимость доказана. >

Применим предложение 3.5 к конечнопорожденным подмодулям. Пусть подмодуль I С Р порожден системой ^>1,..., Фиксируем точку А £ С, для которой выполняется условие: для любого к £ {1,..., п} найдется £ А такое, что фк (г^) = 0. Символом А( А) обозначим совокупность таборов а = {а1,..., ап} комплексных функций на слое А для которых набор {а1ф1|л,..., апфп|л} является допустимым и а1^>1|л + ... + а„фга|л = 0.

Предложение 3.6. Для того чтобы замкнутый подмодуль I С Р ранга 1, порожденный системой ..., был устойчив в точке А, необходимо и достаточно, чтобы для каждого набора а = {а1;..., ап} £ А( А) существовали обобщенные последовательности г",..., га £ С[п] такие, что

1) г?|л = а1,..., га|л = ап

2) га^1 + ... + га^га ^ 0 в топологии Р.

< Обозначим через подмодуль элементов вида гф^, где г пробегает С[п], к = 1,..., п. Каждый такой подмодуль устойчив и их совокупность порождает I. Фиксируем а = {а1,..., ап} £ А( А) и рассмотрим систему комплексных функций на слое А

61 (г) = аф)^! (г),... ,6„(г) = ап(г)фп(г), г £ А. Очевидно, что эта система допустима и 61 (г) + ... + 6п(г) = 0 для любо го г £ А. Требу-

0 £ Т(а, )

эквивалентно условиям 1), 2). >

4. Насыщенность подмодулей ранга 1

4.1. Импликации насыщенности. Пусть I — множество в Р ранга 1, р — некоторая непрерывная полунорма в Р, / £ Р. Положим р/ ( А) = р (/ — пд), вде берется по всевозможным пд £ I, для которых справедливо условие (2) (если такого п д не существует, то полагаем р/( А) = Множество I насыщено относительно / £ Р, если

р

Импликация 1. Если целая функция Ф удовлетворяет неравенству

|Ф(А)| < р/( А)

для любого А £ С, то Ф ограничена.

Подмодуль I насыщен, если он насыщен относительно любого / £ Р, локально принадлежащего I. Рассмотрим другую импликацию.

Ф

|Ф( АМгд)| < р (^(гд)/ — /(гд)ф)

для любых А £ С гд £ А и любого ф £ I, то Ф ограничена. Сравним импликацию 1 с импликацией 2.

Предложение 4.1. Если множество I и {/} имеет ранг 1, то импликация 1 эквива-2

< Достаточность. Так как /^Д множество I и {/} имеет ранг 1, то существуют С1 := С1 о пи С2 := С2 о п такие, что С1 ф + С2 / = 0 и С1, С2 € О (С). Значит, вне нулей С2 имеет место тождество

а вне нулей произведения С2 ф имеет место тождество

/(*) С1(г)

P(z) c2(z)

Пусть \GC, zxe\, c2(zx)(p(zx) ф о и nA = ^fjP- Тогда

, f /Ол) Cl I CIQA)

/~ЦА _ J фх)^ _ c2 + c2feQ _

-г ~~-\— ~~-\-^ ~~ —

П — А П — А П — А

где c := C о п и

Значит, G /(Л) и, более того, Ei0CJ. Так как

— \ ^ -L \ /\ I -L KJL KJ. — \

п—Л v ' ' ' n—Л

P/(A) = inf p (/ - ил) < P (/ - ^p)

<

рЫ

p (p(z^)f — f ы^о

то из соображений непрерывности вытекает, что выполнение неравенства |Ф(А)| ^ р/( А) для любого А £ С влечет выполнение неравенства |Ф(А)р^л)| ^ р (р^л)f — f ^л)р) для любых р £ /, А £ Си zл £ А- Это означает, что выполнимость импликации 2 влечет выполнимость импликации 1.

Необходимость. Пусть А е С, пЛ G I и ^юД- Предположим, что G А и ил^л) = 0. Тогда f(z^ = ил^л). По условию неравенство |Ф(А)р^л)| ^ р (р^л)/ — f ^л)р) выполняется для любых р £ /, А £ Си zл £ А- Значит, выполняются неравенства |Ф( А)ил(z^| ^ р (ил(zл)/ — f ^л)ил) и |Ф( А)| ^ р (f — ил). Из соображений непрерывности вытекает, что |Ф( А)| ^ р/( А). Это означает, что выполнимость импликации 1 влечет выполнимость импликации 2. >

Для проверки насыщенности в случае единичного ранга можно пользоваться импликациями 1 или 2.

4.2. Сверхнасыщенность. Пространство P называется аналитически уплотненным, если выполнено условие: для любой конечной системы элементов fi,...,/n £ P множество

B/i,...,/n := {/ £ О(С) : |/(z)| < |/i(z)| + ... + |/n(z)| Vz £ С} P

Множество / С P сверхнасыщено, если оно насыщено относительно любой функции

/ £ PP

/ С P 1

< Пусть / — обильный подмодуль в P, Rank / = 1 и / £ P. Подмодуль / насыщен относительно тождественного нуля. Поэтому предположим, что / отлично от тождествен//

1

более сильное утверждение, именно: существует ограниченное множество В С Р такое, что выполнение неравенства

|Ф(п(г))ф(г)| < р(ф(г)/ — /(г)ф)

для любой непрерывной полунормы р, для любого г £ С и любого ф £ I П В влечет

Ф

Фиксируем ненулевой элемент фо £ I и полагаем

т(г) = |фо(г)| + |/(г)|,

В = К/ £ О(С): |/(г)| < ш(г)}.

РВ Р р р( ) = 0

ложим, что неравенство |Ф(п(г))ф(г)| ^ р (ф(г)/ — /(г)ф) выполнено для любых г £ С, ф £ I П В. Покажем, что целая функция Ф ограничена. Так как фо £ I П В, то

|Ф(п(г))фо(г)| < |фо(г)| р (/) + |/(г)| р (фо) < (|фо(г)| + |/(г)|) р (/, фо) < 2р (/, фо) т(г),

где р (/, фо) = тах{р(/),р(фо)}. Отсюда следует, что

Ф(тг)уо

Так как подмодуль I обильный, то Ф(п)фо £ I. Таким образом, элемент ф1 принадлежит I П В. Значит, для него справедливы неравенства

|Ф(п(г))ф1 (г)| < (|ф1(г)| + |/(г)|) р (/, ф1) < 2р (/, фО т(г), где р(/, ф1) = тах{р(/),р(ф1)}. Отсюда следует, что

Ф(тг)у1

и, поскольку ф1 £ I, имеет место включение ф2 £ I П В. Продолжая выкладки, установим, что фп £ I П В для любого п £ N. В частности, |фп (г)| ^ т(г) для люб ых п £ Ни г £ С. Заметим, что

|фп| =

Ф(п)фп-1

Ф(тт)уга_1 " 2 Р(Л "

Ф(п)

2р (/)

2р(/, фп-1)

Таким образом, при всех п £ Ни г £ С выполняется неравенство

' |Ф(п(г))|

|фо|

2р (/)

|фо(г)| ^ т(г).

Поскольку фо(г) = 0, это возможно только при условии ограниченности целой функции Ф. >

Следствие 4.1. Пусть Р — аналитически уплотненное пространство и I — множество в Р ранга 1. Если I содержит обильный подмодуль ранга 1, то I насыщено.

п

1

5.1. Равномерно устойчивые пространства. Как и прежде предполагаем, что Р — произвольное множество в О (С), обладающее структурой отделимого локально вы-

С

С[п]. Кроме этого, считавм, что Р удовлетворяет аксиомам равномерной устойчивости и сходимости. Согласно критерию обильности в равномерно устойчивых пространствах, обильность подмодуля обеспечивается сочетанием трех свойств — интенсивности, устойчивости и насыщенности. Соединяя необходимые или достаточные условия интенсивности, устойчивости и насыщенности, установленные выше, получаем необходимые или достаточные условия обильности.

Прежде всего, рассмотрим необходимое и достаточное условие обильности подмодуля ранга 1 в общем случае.

Предложение 5.1. Пусть I — замкнутый устойчивый подмодуль в I ранга 1. Для того чтобы подмодуль I был обильным, необходимо и достаточно, чтобы для любого элемента / £ Р, локально принадлежащего I, и любой непрерывной полунормы р вы-

Ф

|Ф( А)ф(гд)| < р (ф(гд)/ — /(гд)ф)

для любых А £ С, гд £ А и любого ф £ I, то Ф ограничена.

< Справедливость предложения вытекает из критерия обильности в равномерно устойчивых пространствах, из предложения 2.2 и предложения 4.1. >

5.2. Аналитически уплотненные пространства. Далее рассмотрим условия обильности в аналитически уплотненных пространствах.

Предложение 5.2. Пусть Р — аналитически уплотненное пространство, I — замкнутый устойчивый подмодуль в Р ранга 1, удовлетворяющий условию: I содержит обильный подмодуль. Тогда I — обильный.

< По предложению 2.2 подмодуль I является интенсивным. По следствию к предложению 4.2 подмодуль I является насыщенным. В силу критерия обильности I — обильный. >

Напомним, что главным подмодулем I С Р с образующей ф мы называем замыкание множества элементов вида гф, где г пробегает кольцо С[п].

РР

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

ным.

Р

чтобы замкнутый подмодуль I С Р ранга 1 был обильным, необходимо и достаточно, чтобы он был устойчив.

< Необходимость очевидна.

Достаточность. Так как ранг I равен 1, то найдется элемент ф из I, отличный от тождественного нуля. Главный подмодуль ^ с образующей ф является обильным и принадлежит I. Таким образом, подмодуль I содержит обильный подмодуль. В силу предложения 5.2 I — обильный. >

Пусть !1,...,!п — подмодули в Р. Замкнутый подмодуль I = !о С Р порожден подмодулями ..., !п, если I есть замыкание множества элементов вида /1 + ... + /п,

где / £ Фиксируем точку А £ С, для которой выполняется условие: для любого к £ {0,1,..., п} найдутся £ А и п^ £ ^ такие, что п^) = 0. Набор а = {а1,..., ап}

комплексных функций на слое А называем допустимым, если существуют элементы /и € 4 такие, что /|л = а и, к = 1,..., п.

Для допустимого набора а = {а1,..., ап} комплексных функций на слое А положим

Т(а, А) = {/ = /1 + ... + /« : / € 4, /|л = аи}.

Предложение 5.4. Пусть Р — аналитически уплотненный модуль, Д,...ДП — обильные подмодули в Р ранга 1. Для того чтобы подмодуль I ранга 1, порожденный подмодулями 11,..., I«, был обильным, необходимо и достаточно, чтобы для любого допустимого набора а = {а 1,..., ап} комплексных функций на слое А удовлетворяющего условию а1 + ... + а« = 0 замыкание множества Т(а, А) в топологии Р содержало нулевой элемент.

< По предложению 4.2 каждый из подмодулей 11,..., 1П будет сверхнасыщен. Так как ранг I равен 1 и I содержит каждый из этих подмодулей, то I также будет сверхнасыщен и, тем более, насыщен. По предложению 2.2 подмодуль I является интенсивным. Осталось заметить, что в силу предложения 3.5 устойчивость подмодуля I эквивалентна условию: нуль содержится в Т (а, А) для любого допустимого набора а = {а1, ...,а«} комплексных функций на слое А, удовлетворяющего условию а1 + ... + ап = 0. >

Предложение 5.4 сохраняет силу, если свойством обильности будет обладать лишь один из подмодулей Д,..., I«.

Пусть подмодуль I С Р ранга 1 порожден системой ф1,...,ф„. Фиксируем точку А€ С, для которой выполняется условие: для любого к € {1,...,п} найдется

€ А такое, что ф и (¿и) = 0. Символ ом А( А) обозначим совокупность векторов а = (а1,..., а«) € СП для котор ых а1ф1(г) + ... + апфп (г) = 0 для любо го г € АР

того чтобы замкнутый подмодуль I С Р ранга 1, порожденный системой ф1,..., фга, был обильным, необходимо и достаточно, чтобы для каждого вектора а = (а1,..., ап) € А( А) существовали обобщенные последовательности г",..., г^ € С [п] такие, что

1) га|л = аъ...,гШл = а«

2) г"ф1 + ... + Г^фи, ^ 0 в топологии Р.

< Обозначим 4 главный подмодуль в Р, порожденный функцией фи, к = 1,...,п.

Каждый такой подмодуль обилен и их совокупность порождает I. Фиксируем а = (а1,..., ап) € А( А) и рассмотрим систему комплексных функций на слое А

61 = а1ф1 |л,... ,6« = а„ф„|д.

Очевидно, что набор {61,..., 6«} является допустимым и 61(2) + ...+6п(г) = 0 для любого г € А- Требуемое утверждение следует из предложения 5.4, если учесть, что включение 0 € Т(а, А) эквивалентно условиям 1), 2). >

Литература

1. Красичков-Терновский И. Ф. Локальное описание замкнутых идеалов и подмодулей аналитических функций одной переменной. I // Изв. АН СССР. Сер. мат.—1979.—Т. 43, № 1.—С. 44-66.

2. Красичков-Терновский И. Ф. Локальное описание замкнутых идеалов и подмодулей аналитических функций одной переменной. II // Изв. АН СССР. Сер. мат.—1979.—Т. 43, № 2.—С. 309-341.

3. Красичков-Терновский И. Ф. Абстрактные приемы локального описания замкнутых подмодулей аналитических функций // Мат. сб.—1990.—Т. 181, № 12.—С. 1640-1658.

4. Шишкин А. В. Локальное описание замкнутых подмодулей в специальном модуле целых функций экспоненциального типа // Мат. заметки.—1989.—Т. 46, № 6.—С. 94-100.

5. Шишкин А. В. Спектральный синтез для оператора, порождаемого умножением на степень независимой переменной // Мат. сб.—1991.—Т. 182, № 6.—С. 828-848.

6. Красичков-Терновский И. Ф. Спектральный синтез в комплексной области для дифференциального оператора с постоянными коэффициентами. I. Теорема двойственности // Мат. сб.—1991.— Т. 182, № 1.-С. 1559-1588.

7. Шишкин А. В. Спектральный синтез для систем дифференциальных операторов с постоянными коэффициентами. Теорема двойственности // Мат. сб.—1998.—Т. 189, № 9.—С. 143-160.

8. Чернышев А. Н. Спектральный синтез для дифференциального оператора бесконечного порядка с постоянными коэффициентами: Дис.... канд. физ.-мат. наук.— Армавир, 2004.—100 с.

9. Письменный Р. Г. Главные подмодули и инвариантные подпространства аналитических функций: Дис.... канд. физ.-мат. наук.—Славянск-на-Кубани, 2010.—104 с.

10. Волковая Т. А., Шишкин А. В. Локальное описание целых функций // Исследования по мат. анализу.—Владикавказ: ЮМИ ВНЦ РАН и РСО-А, 2014.—С. 212-223.—(Итоги науки. Юг России. Мат. форум. Т. 8, ч. 1).

11. Шишкин А. В. Проективное и инъективное описания в комплексной области. Двойственность // Изв. Сарат. ун-та. Новая сер. Сер. Математика. Механика. Информатика.—2014.—Т. 14, № 1.-С. 47-65."

Статья поступила 13 сентября 2013 г.

Волковая Татьяна Анатольевна Кубанский государственный университет (филиал в Славянске-на-Кубани),

аспирантка кафедры математики, информатики и МП РОССИЯ, 353560, Славянск-на-Кубани, ул. Кубанская, 200 E-mail: vtal987@yandex.ru

Шишкин Андрей Борисович

Кубанский государственный университет

(филиал в Славянске-на-Кубани),

профессор кафедры математики, информатики и МП

РОССИЯ, 353560, Славянск-на-Кубани, ул. Кубанская, 200

E-mail: Shishkin-home@mail.ru

LOCAL DESCRIFTION OF ENTIRE FUNCTIONS. SUBMODULES OF RANK 1

Volkovaya T. A., Shishkin A. B.

Submodule in the module of entire functions is called ample, if this submodule coincides with its local hull. Ampleness splits in three separate properties: intensity, stability and saturation. In the article submodules of entire functions are investigated for the presence of these properties. Particular attention is paid to submodules of rank 1.

Key words: submodules of entire functions, local submodules, local shell, local description, ampleness, intensity, stability, saturation, criterion of ampleness.

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