Файл: Кахан, Ж. -П. Случайные функциональные ряды.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 21.10.2024

Просмотров: 128

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

118

ГЛАВА

VII

Легко несколько

уточнить

заключение теоремы 4

(см. упр. 6). Однако существенно уточнить заключение

этой

теоремы

невозможно

в силу

следующего

класси­

ческого утверждения:

 

 

 

 

 

 

 

 

 

 

 

П р е д л о ж е н и е .

Если

f е= Л а

и

 

 

 

 

 

 

 

оо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/ ~ 2 * n c o s ( / i f +

<P,.),

то

S

 

4

= 0(2~ 2 / а ) .

 

°

 

 

 

 

 

 

2/<г»<2/+1

 

 

 

 

 

 

Д о к а з а т е л ь с т в о .

 

Снова

достаточно

доказать

этот

результат

для

0 <

ct<j 1. Если задано h >

О,

то

 

 

 

 

 

 

 

оо

 

 

 

 

 

 

 

 

 

f {t +

h) — f {t — h) ~ 2

2*„ sin

cos (/tf +

фп ).

 

Рассматривая

квадратичные

нормы

 

 

 

 

 

 

оо

 

 

 

 

Л

 

 

 

 

 

 

 

 

 

 

2 J]

4 sin2 n« =

J (/ ( Н

_

/г ) _

_

h)f

d t

^ ffl2 { 2

h )

и полагая Л=2л/(3 • 2'),

получаем

требуемый

результат

для 0 < а ^

1.

 

 

 

 

 

 

 

 

 

 

 

 

 

Из этого предложения следует, что если данный ряд

Радемахера (2) при некотором, выборе

 

е „ = ±

1, пред­

ставляет функцию, принадлежащую Л р , то S/ =

0 ( 2 - p / ) .

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

верхней

границей

таких

чисел

а,

что

Fe=A„ п. н., является

 

 

 

 

— log

 

S,

 

 

 

 

число lim —г-.—

 

 

 

 

 

 

а

 

 

 

 

 

 

(log

2

 

 

 

 

 

 

 

 

 

 

 

 

/->«>

'

 

 

 

 

 

 

5. Приложение

Если заданы две непрерывные на окружности функ­ ции / и g, то их свертка определяется равенством

k(t) = f*g(t)

=

±jf(t-s)g(s)ds,


РЕГУЛЯРНОСТЬ. УСЛОВИЯ НА КОЭФФИЦИЕНТЫ

119

где интеграл

берется по

окружности. Если положить

 

 

оо

 

 

— оо

 

 

оо

 

 

— со

 

 

оо

h =

-^\k{t)e-^dt,

k ~ ^ k n e ^ ,

 

 

— со

TO kn = fnUn-

следующую задачу. Пусть заданы а > О

Рассмотрим

и р > 0.

Можно

ли для

любой

функции ^ Е Л а найти

функцию

/ е= Лр ,

такую,

что f*f

k}

Мы можем

сформулировать

эту

задачу по-другому.

Можно ли для любой комплексной последовательности ап

 

 

 

 

 

 

 

 

со

 

 

 

 

 

(— оо <

п <

оо), такой, что 2

а-пеш е А а ,

выбрать

знаки

 

 

 

 

 

 

 

 

— ОО

 

 

 

 

 

 

 

 

 

ОО

 

 

 

 

 

 

 

 

 

 

±

так,

что

2

йпеш

е

Л& ?

 

 

 

 

 

 

 

 

со

— со

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если

 

2 ф » | п ' е = Л „ ,

то

2

| а „ 4 | =

 

0 ( 2 - 2 / а )

 

 

 

 

 

 

 

 

 

2-/ <|п|<2/ + 1

 

 

 

 

(см. предложение из п. 4),

откуда,

согласно

неравен­

ству Шварца,

 

 

 

 

 

 

 

 

 

 

 

 

 

2*<| л | <

2l+ i

 

! = 0 ( 2 - ( а - 1 / 2 ) / ) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Применяя

теорему

3 к действительной и мнимой

частям

 

 

- I

±

 

 

 

0 0

 

 

 

 

 

 

рядов

2

апеш

и

2

±

а„е'п ( ,

мы

видим,

что

 

 

 

 

 

 

 

о

 

 

 

 

 

 

2

± апеш

 

е= Л р

п. н.,

если

р < (а —

1/2)

 

 

 

 

 

Если

 

2

а„е'"'G= Л„,

то

2

| а„ |2 =

 

0 ( 2 _ 2 / р ) .

Поэтому,

если выбрать

у* =

/ 2 _ < 1 + 2 е ) /

при

2'<|

п

| < 2 / + | ,


120 ГЛАВА VII

то

будем

иметь

2

±

Уп е ш ф- Л 0

при

всех

набо-

 

 

 

 

 

 

 

— оо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

оо

 

 

pax

 

знаков

 

+

и

—.

Рассмотрим

 

ряд

2

± Y«e '"'-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

— оо

 

Согласно теореме 3, этот ряд п. н. представляет

функ­

цию

 

класса

 

Л а

для

а <

1/2 + 2р.

Следовательно, мы

можем

выбрать

апп=±уп)

 

так,

что

 

 

 

 

для

c t < l / 2 +

2p,

a

2

± апеш

ф. Л р

при

всех

наборах

знаков

+

и —. Таким образом, мы доказали

следующее

утверждение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Т е о р е м а

4.

Если р < ( а — 1 / 2 ) / 2 ,

то любую

функ­

цию

класса

Л а можно

записать

в

виде

f * f,

где

fe=Ap .

Если

 

же р >

(а—1/2)/2, то найдется

функция

класса Л.а,

которая

не

может быть записана

в виде

f * f, где

f е5Лв .

 

 

 

 

 

 

 

 

6.

Упражнения

 

 

 

 

 

 

1.

Докажите,

что множество

{4V ' -f- 4^] (v =

1, 2,

u. =

(v — l ) 2

+

1,

(v — l ) 2 -4- 2,

v2 )

является

множе­

ством

Сидона.

 

 

 

 

 

 

 

 

 

 

 

 

 

(Ср. упр. 8, гл. V, стр. 93; определение

множества

Сидона

дано

в гл. V I , стр.

101 —102.)

 

 

 

 

 

2.

Докажите,

что существует

такая

 

действительная

 

 

 

 

 

 

 

 

 

 

 

оо

 

 

 

 

 

 

 

 

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

хп>

что

2 /

 

2

 

 

х1)112

<

°°> но

 

 

 

 

 

 

 

 

 

 

 

/='12

/ <П <2' +|

/

 

 

 

при любом выборе знаков +

и — имеем

со

^±хпешф1,°°.

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

п=±-,

 

 

если n =

4 v

4 ^ ,

v = l , 2 ,

... ;

n = ( v - l ) 2 - f l ,

 

 

 

 

 

 

 

 

 

 

 

 

 

( v - l ) 2 + 2,

 

v2 .)

3. Обозначим через («,, ы2, . . . ) точку в бесконечно­ мерном торе Т и рассмотрим случайный тригонометри­

ческий ряд

 

 

2 ± Сп

еП/».и.+»2Иа-1-...)

(7)



РЕГУЛЯРНОСТЬ, УСЛОВИЯ НА КОЭФФИЦИЕНТЫ

121

в банаховом пространстве С всех непрерывных на торе Т функций. В ряде (7) знаки + и — образуют последо­ вательность Радемахера, а суммирование проводится по множеству / мультииндексов (/г,, л2 , . . . ) ; мультиин-

дексом

является

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

целых чисел, в ко­

торой

лишь

конечное

число членов

отлично от

нуля.

Для всякого конечного подмножества Л из /

обозначим

через

s (Л)

количество

таких

индексов

/,

что п./ Ф О

в

некотором

(л,, л2 ,

. . . ) с = Л ,

через

N{A)

— точную

верхнюю грань

sup

(| л, | + | п21 + . . . )

по

всем

(л,,

п2,

. . . ) с = Л

и, наконец,

положим

 

 

 

 

 

 

 

У ( Л ) =

 

2

| с П 1 , „ г , . . . | 2 .

 

 

 

 

 

 

(п,,

л , , . . , ) е Л

 

 

 

 

 

Предположим, что

1 1 ( ^ ( Л / ) Г 2 е х р ( - 5 ( Л / ) ) < о о , /=i

| ] ( 5 ( Л / ) у ( Л , ) 1 о ё Л / ( Л / ) ) | / 2 < с »

для некоторого разбиения множества. / на конечные

подмножества

Лу (у =

1, 2, . . . ) •

Докажите,

что ряд

(7)

п. н. сходится

в С. (Теорема

3

гл. V I , стр.

100.)

 

4. Рассмотрим

случайный

тригонометрический

ряд

S ± a | 1 . v c o s ( X | 1

+

a,v)f

( v = l ,

2, ... ; ц = 1 ,

. . . . v),

(8)

где — возрастающая последовательность целых чисел, знаки + и — образуют последовательность Радемахера,

/V \1/2

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

^ 2 l a n . v l 2

J

=о\>

убывает

и

со

что ряд

(8)

п. н.

представляет

2 о \ у < о о . Докажите,

непрерывную функцию.

 

 

 

 

 

(Положите Х^ = и^ и используйте упр. 3.)

 

5. Постройте последовательность

независимых

сим­

метрических случайных величин Хп,

такую, что V(Xn)=l