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

Если

Х\, Х2,

ХУ/

фиксированы

таким

образом,

что

| SV/1

^

р / + 1 — | Ь | — е,

то, как мы выяснили на

преды­

дущем шаге,

по крайней

мере одна из разностей Sn

— Sv

( v / < / i ^ v / + 1 )

с вероятностью, превосходящей 1/10, рас­

положена на

интервале

(b — е — 5V / , b -|- в + 5V y ).

При­

меним

предложение

4

при р / = 1 / 1 0 и

qt=l

—

l/j.

Тогда

P(lim

At)=l.

Тем самым

предложение

с)

до-

казано.

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

п р е д л о ж е н и я

d) почти

ана­

воспользоваться

предложением 2 и взять в качестве %

характеристическую функцию круга. .

Отметим,

что

при доказательстве предложений с)

и d) предположение ап+1^ап

использовалось лишь в сла­

бой форме tm

—

tn&?tm-n.

2.

Пусть

Z\

Z„, . . . — нормальная

последова­

тельность;

а,

р, у,

. . . — комплексные

числа.

F, =

aZ„

—pZ, + Y2a ,

/7 3 =

6Z1 + eZ2

+ tZ 3 ,

F4 = ^ , + ez2

+ /z 3 + ^z4 .

Вычислите

^

(F2/Fi)

и

8{F3FJFXF2).

(Для

вычисления

второй

величины

воспользуйтесь

упр.

1.)

1

3.

Пусть

Fu F2,

F[, F'2 — совместно гауссовские

ком­

плексные

веллчины;

Ш'{F'jF\) =

гjk;

<8(F'jF'k) =

SВы­

числите

»(F'i/Fi),

ff{fs/Fs),

Ж

{F'iF'2l(F\F2)).

(Воспользуйтесь

упр. 2; ответ:

*Ч I '

r 2! '

r L 1Г22 • +

r l lr2

2 (r2

2rl

1 — Ir2 1 P)

- )

со

Ъапгпгп,

(1)

о

гдеа„ — заданные положительные числа,

Z„, ... —

равен

(lira aj/")- 1 ,

так

как,

согласно

предложению

3

гл. X I

(см. стр.

196), имеем

flm | Z„ | |

/ л = 1 п. н.

Пред-

л->оо

положим,

что \\тап1п=\.

Тогда единичная

окружность

| z | = l

п. н. является

естественной

границей ряда

(1)

(теорема

1 гл. IV, стр.

62). Действительную и мнимую

части

ряда

(1) можно записать в виде

оо

со

2 anrn

(Хп

cos nt — Yn

sin«/),

2 anrn(Xn

sin nt + Yn

cos

nt)

о

о

(2)

или в

виде

со

оо

2 a , 1 r " | Z „ | c o s ( n /

+

On ),

2 o / | Z B | s i n ( / r f - r O „ ) ,

(3)

о

0

где z = reli,

Zn =

Xn

+ iYn =

| Z„ |е' Ф " .

Заметим,

что

X0,

Y0, X\,

Yu

. . . —действительная нормальная

последова­

тельность, a Oi/2n, Ф2 /2я,...—последовательность

Штейн­

гауза,

не

зависящая от

| Z„ |; кроме

того, имеет место

?(\Zn\>r)

= e-»r>

(4)

ГАУССОВСКИЕ РЯДЫ ТЕЙЛОРА

203

(формула

(32) гл. XI). Ряды (2) и (3) являются

пуассо-

новскими суммами случайных тригонометрических

рядов

оо

оо

2о ап

(Хп

cos nt — Yn sin nt),

о 2 an

{Xn sin nt +

Yn

cos nt),

оо

CO

(5)

2

a „ |

Zn |cos(n/+ Ф„),

]£ап

\ Zn\sm(nt

+ (Dn).

(6)

о

0

Обозначим через F(z) сумму ряда (1) в круге | z | < I .

В следующем пункте мы приведем результаты,

которые

весьма просто. После этого займемся

более

подробным

изучением

поведения

функции F(z)

в

случае,

когда

2 а

„ =

оо.

случаем ап

= па

^

Например,

если

ограничиться

( а ^

— 1/2),

то ситуация

следующая:

функции F

если

а = — 1/2,

то

множество

значений

на

заданном

радиусе п. н. всюду

плотно на плоскости;

более того, для каждой положительной

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

ности

гп,

такой,

что

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

(1 — гп)~1

со

выпукла и 2 ( 1 — гп) =

оо, случайная

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

ность F(rn)

1

п. н. всюду

плотна

на плоскости (теоремы 2

со

и

3).

С

другой

стороны,

если

2 ( 1 — гп)<оо,

то

lim | F(rn)

| = оо п. н (теорема

4);

1

л-> со

а > — 1/2,

то F(z) стремится

к

бесконечности,

если

циклическом

множестве1 ) (например, на

объединении

окружностей

\z\ = rn, г „ < 1 , l i m r „ = l )

п. н. всюду

П-> оо

п. 5). — Прим.

перев.

204

ГЛАВА XII

точку

с окружностью | z | = l и такое, что если задано

Ef\Ka

содержит дискретное множество, образ которого

при отображении F п. н. плотен на плоскости (теорема 6);

если а > 1/2,

то

существует

такая

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

ность

г„,

стремящаяся

к

1, что

\F(z)\

п. н.

стремится

к бесконечности, когда \z\ = rn,

а п->оо.

Отсюда

сле­

дует,

что

множество

значений

функции

F(z)

в

круге

| z 1 <

1 п. н. заполняет

всю плоскость (теоремы

7

и 8).

2. Обзор

предыдущих

результатов

0 0

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

что

2 Й 2 1 < ° ° ;

тогда

a)

для

любого

z

с

о

1,

ряд(1)

схо­

модулем, равным

дится

п. н.;

b)

ряд

(1) сходится

п. н. почти всюду

на

окружности

| 2 | = 1 ,

c)

f e

П

Нр

п.н.

(т.е.

F(e")<=

f|

L p \ \

d)

| < р < с о

\

I < р < оо

/

для произвольно заданного действительного /

предел lim/•'(re'')

существует

п. н.;

e)

предел lim F (re ) существует п. н. для

почти

лю-

бого

t.

оо

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

что

2оя п =

°°;

тогда

1, ряд

(1)

п. н.

а')

для любого z с модулем, равным

расходится;

Ь')

ряд

(1)

п. н. расходится почти

всюду

на

окруж­

ности

| z | = 1;

2л

оо

для

всех

опреде­

ляющих функций

ф (lim -ф(л:) =

оо);

Х-»оо

d') для

произвольного действительного t предел

lim F(reli)

п. н. не существует;

г-*1