Научная статья на тему 'Об изометриях в неархимедовых полях связанных с рядами Ньютона'

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

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

Текст научной работы на тему «Об изометриях в неархимедовых полях связанных с рядами Ньютона»

СПИСОК ЛИТЕРАТУРЫ

1. Наймарк М.А. Линейные дифференциальные операторы. М.: Наука,

1969.

2. Стоун М.Н. II Trans.Amer.Math. 1926. Vol. 28. Р. 695 - 761.

3. Хромов А.П. II ДАН СССР. 1962. Т. 146, № 6. С. 1294 - 1297.

4. Тихомиров ВВ. И ДАН СССР. 1976. Т. 226, № 5. С. 1015 - 1017.

5. Тихомиров В В. И Мат. сб. 1977. Т. 102, № 1. С. 33 - 55.

УДК 511.2

Г. И. Гусев

ОБ ИЗОМЕТРИЯХ В НЕАРХИМЕДОВЫХ ПОЛЯХ, СВЯЗАННЫХ С РЯДАМИ НЬЮТОНА

Пусть (К, ф) - нормированное поле, где ф - нетривиальная неархимедова норма. Будем считать, что характеристика поля равна нулю. Обозначим V = {а | а е К\ ф(а)< 1} - кольцо нормирования поля К, Р = {а | а е К\ ф(а)< 1} - идеал нормирования, Е = {е | е б К\ ф(е)= 1} - группа единиц поля К, F= V/P — поле классов вычетов по mod Р (поле вычетов).

Известен следующий критерий локальной компактности неархимедова

поля.

ТЕОРЕМА [1, с. 43]. Неархимедово поле (К, ф) является локально компактным тогда и только тогда, когда выполняются следующие условия:

1. (К,ф) является полным полем.

2. Идеал нормирования Р является главным, т. е. существует такой простой элемент п е К, что Р = тгК.

3. Поле вычетов F поля К является конечным.

В нашем случае поле К является конечным расширением некоторого поля Qp р-адических чисел, где р - простое, причём р = жег, где е - натуральное и е е Е.

Определение 1. Отображение а: V —> V называется изометрией V, если для произвольных a, beV

ф(а(а)-ст(Ь))=ф(я-б).

Определение 2. Отображение т: Е —> Е называется изометрией Е, если для произвольных е, е е Е

Ф(Т(е)-Т(Е))=Ф(Е-Е).

С компактами V и Е связаны группы изометрий GIs(v) и GI s(e).

Примером аналитической изометрии компакта V является отображение Q-.V-+V

Vx е V cy(x) = x + it/(x), (1)

OD

где /(х)= £avxv - степенной ряд с коэффициентами aveV, причём

V = 1

lim cp(av)=0.

V->00

Отображение х :£—»•£, определяемое формулой

Vee£ -c(e) = e + 7i/1(e)+7i/2(e"1), (2)

ОС

где /¿(x) = - степенные ряды, подчинённые прежнему условию, также

V — 1

является изометрией Е.

Определение 3. Функции F(x) и G(x), заданные на компакте V, будем называть изометрически эквивалентными, если существует изометрия а такая, что

VxeF: F(cf(x))=G(x). Аналогично определяется изометрическая эквивалентность функций на компакте Е.

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

ЛЕММА. Пусть к - простой элемент неархимедова локально-компактного поля харатеристики нуль, п - натуральное, v0 = ordert. Тогда ряд Ньютона

я„»=(£ ilil-iHl-s+iVv

5 = 1 S\n\n )

ty 1

в случае, когда > 1, при произвольном натуральном V таком, что

/

\>е

ord „п +

Р р-у

представим в следующем виде:

яи>у(х)=1+яев1у(х), (*)

со

где у(х)= х' - степенной ряд с целыми я-адическими коэффициен-

/=1

тами, сходящийся на компакте V;

в случае, когда у0 = 0, ряд Ньютона также представим в виде (*) при V > 1.

Доказательство. Сначала рассмотрим случай, когда у0 = 0, т. е.

пеЕ. Тогда р-адическую единицу — разложим в ряд:

и

1 00 п у=0

т £

Для каждого натурального 5 выберем п5 = '£Jcvpv так, что

V = 1

ог(1 ( — -/| = огё Ап$-/) при всех целых /е[1,5-1]. Тогда

S\n\n I 1(1

ord.l 1I[I-1 I...I --5 + 111 = ordpC^ >0,

и,

следовательно,

S\n\n

ordJ----1 ...--5 + 1 л

. vS

>vS—» 00, при 5 ->+oo.

Таким образом, мы установили сходимость ряда Ньютона при всех х е V и возможность представления его в виде (*).

В случае, когда v0 > 1, имеем при v > е

ord „и + —Η . Р Р-1

1 lf 1

11...I —-5 + 1 к

ord* с. I S\n\n

: S-о As)

= 5v-e|-+ 5ord и

р-1

. Sv

= S

v - е

= 5v + eord,

1

ord„« +

. P P-1JJ

/

J_ J.

S! n

\

+

e°p(sKL

p-1

Здесь Gp{S) является суммой цифрр-ичного разложения числа 5. Более того, отсюда следует сходимость ряда Ньютона Hп v (х) при всех х е V и его представление в виде (*). Лемма доказана.

ТЕОРЕМА 1. В условиях и обозначениях леммы для произвольного

00

степенного ряда /(*)= £avxv с целыми л-адическими коэффициентами,

v = 1

сходящегося на компакте V, функции

а{х)=хН (/{*)), xeV

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

т(в)=е#„„(/(е')), ее£

являются изометриями соответствующих компактов, представимыми в форме (1) или (2).

Доказательство непосредственно следует из леммы о подстановке ряда в ряд [2] и нашей леммы.

ТЕОРЕМА 2. В условиях и обозначениях леммы для произвольного

00

степенного ряда /(х)= с целыми л-адическими коэффициентами,

V = 1

сходящегося на компакте V, имеют место следующие изометрические эквивалентности:

1. х" + я ух"/(х) = х " на компакте V;

2. е" + п "е "/(е"' )= в" на компакте Е.

Д о к а з'а т е л ь с т в о. В силу теоремы 1 существуют такие изометрии стих соответствующих компактов УиЕ, что

\/хе¥: х" +п"х"/(х)=о"(х)

и

УееЕ: е"+куеп/(е-,)=тп(е).

Таким образом, утверждения 1 и 2 доказаны.

Примечание. Теорема 2 находит многочисленные приложения в теории рациональных тригонометрических сумм, диофантовом анализе и в теории интегрирования по аддитивной мере Хаара в р-адических полях.

СПИСОК ЛИТЕРАТУРЫ

1. Ленской Д.Н. Функции в неархимедовски нормированных полях. Саратов: Изд-во Сарат. ун-та, 1962.

2. Боревич З.И., Шафаревич И.Р. Теория чисел. М.: Наука, 1972.

УДК 519.853.3

С. И. Дуд о в, II. В. Златорунская

К РЕШЕНИЮ ОДНОЙ ЗАДАЧИ ВЫПУКЛОГО ПРОГРАММИРОВАНИЯ1

Пусть I) - заданный выпуклый компакт из Ч\р, функция п{х) удовлетворяет на *Я р аксиомам нормы. Обозначим через

£2 = 9?Р\Д Д(х) = тахп(х-у),

уей

1 Работа выполнена при поддержке Российского фонда фундаментальных исследований, грант № 98-01-00048.

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