(

'&
%$
"#!


 
 

 



 





 

  
1





 0.
{z : |z| < 1}.



-/
z x PX (x).

.
-

|z| ≤ 1,


z x PX (x)

+,
 )*

X : Ω 7→ N

x∈N
X

D

D
A
A

x∈N
X

? J T
GX (z) = E(z 1X<∞ ) =
≥ 1, C ∞

U
 >
GX (z) = E(z ) =

?

 J T
X

&'(
 B
S

X : Ω→N ∪ {∞}
$%# .; B
: J I
K
 "
H
+ D
!
 '

X.
>
 * 9
78 >G
>

 D [(
 
F
E G '
+6( E
ZY

"$
@ J
 B>
X

MH
 > &X
DE
 M>
ER WV
5
 DE
? Q (
?C

|z| ≤ 1.
>
15 '&
 =
 BA
CL
@H
5 %$
 
3  D  P "#!
 4 H
 >?@ L 34 
 3
3

•GX
•GX
  O 
 );
 &
3 5 
 2 : < N 
 














 





!4


1

5
=

=
|z| < 1,

J

D
A

G0X (z) = E(Xz X−1 ),

G00X (z) = E(X(X − 1)z X−2 ) . . . ,
G(k) (z) = E(X(X − 1) . . . (X − k + 1)z X−k ).

J

E(X) = G0X (1),

E(X 2 − X) = G00 (1),
E(X(X − 1) . . . (X − k + 1)) = G(k) (1).







"#!
%$
'&

"$
ZY
'
[(

&X


(
WV













 





λ

Q




<


D


D
5

5

=
=

>

@
F

>
T
λk −λ
P(X = k) = e , k ≥ 0.
k!
X (λz)k
GX (z) = e−λ = exp(λ(z − 1)).
k!
k≥0

(k) (k)
GX (z) = λk GX (z), GX (1) = λk

E(X) = λ, E(X 2 ) = λ2 + λ, Var(X) = λ.








"#!
%$
'&

"$
ZY
'
[(

&X


(
WV


 





(X1 , X2 )


 
z1x1 z2x2 PX1 ,X2 (x1 , x2 )







+
;
&'
.
(
8
.

);
+
x1 ,x2


(+
X

, .;
:
)*
=

+

7
E(z1X1 z2X2 )

'
+


* 9
' 78
;
.
(
; +6(
8
* +6
K 8
GX1 ,X2 (z1 , z2 ) =

',
&* 
'( [(
' &6

|z1 | ≤ 1, |z2 | ≤ 1.

(
: '
= ZY
&*
5 +6 "$
3 &X


 . ;


' WV
4

/ (
+* (
!4 '&
 +6
%$

= 8 "#!
3  *
&* 
 
5 7
1 
 &; );
5
& & 
  
: 
 



 



>
@
GX1 ,X2 (z1 , z2 ) = E(z1X1 z2X2 ) = E(z1X1 )E(z2X2 )

 



 
 (
*&


 6
X1 , X2




(X1 , X2 ).
GX1 ,X2 (z1 , z2 ) = GX1 (z1 )GX2 (z2 ).

+6
GX1 +X2 (z) = GX1 (z)GX2 (z).

GX1 +X2 (z) = E(z X1 z X2 ) = E(z X1 )E(z X2 ).

',
'(
&6
: >
-
. G
- E
J
, MH
+6
M>

/
•

?
DE
 #
 " CL
+6 H@
! ' D
6 ( H
 .* L

( 7 >

GX1 ,X2
*+ L


 *+

+ : BH
[

[(
) 78
'

 +
 G
B> ZY
*
6 T D
"$
'

 +
H
 ( ( L &X

&* C
U
 ' G WV
6 6 EB

(

X2
D
@
 +6 H B>
 
'&

(
*. + Q 

> %$

 A >
7 ( "#!


X1

 = 5 
*+ 
DJ

:
  
T 
78 ' EL
5 >


3 3
 

•

<
* $ < D
' C
 



 





λ, µ.

 
GX+Y (z) = GX (z)GY (z) = exp(λ(z − 1)) exp(µ(z − 1))





 >?
D

F
@
 H
D
H
T
>
λ + µ.
= exp((λ + µ)(z − 1))

G
B
J
?
? >
E D

J F
@
>
 H
D
G
? H
E
T
J
>
M>


G
G



>? B
J
 > ?

L BH
@
E
?

 
[
BH

J [(
G
B> > '
 T ZY
G
B>
E
G "$
T
 C
J
&X
G
EB M> WV
 C
H
G
(
EB BA

D
H H '&
T >? %$



⇒ X +Y
 "#!
G


Y
C

E@
ME 
>
 H @



X
R 
@


 



 



 >? 
A
 @
U

 
DJ

B

>



G
 T

@
 B> >?


D
 B
J
>
?
A


?
D E
S.

G
JL
>

J
L > >
B

H G
C

D
@ G

BH G
T >? E
BA J
S = X+Y

B> >?
M>
 D
 BH
@
BA
A

> >?
D G

B>
EH A >
M T
D L @
B>
J E G C
G >
@

D
> B> EB
 
C
> E EH
Y


L >
X

@

B> ?

>
>G D >?
E BH


D D L
A

B


J
? >@ E@ C

B

? B
A

E 
J


J BA J
> @ @

B
B B> [
J
[(

?
>

Xi
F
BH
D
@

 
E
F EA


'
M

Y
H ? ZY
A

X, Y, S
G

H
"$
J
G
M
E &X
@ ?
>? B>
WV

0)

A >?
A
(

M >
L 

G
E T '&

S = X + Y,
E
B > %$

L >? 
EJ D B
@> "#!

C F?

Xi = 1 (
EJ
H
L@
> T  A? 



>?
L
E G D
 @
J T M 
A I
A?@ B 

X
M  J
 
 














 





p = P(Xi = 1).
<
3

E@
5


5

JR
GXi (z) = pz + (1 − p).
X Ps
X Xi
X= Xi ⇒ E(z |S = s) = E(z i=1 )
i≤S

s
Y
= GXi (z) = (pz + (1 − p))s .
i=1

J

GX (z) = E(z X ) = E(E(z X |S)) = GS (pz + (1 − p))

B
@
>
G

GS (z) = GX (z)GY (z) = GS (pz + (1 − p))GS ((1 − p)z + p).








"#!
%$
'&

"$
ZY
'
[(
[


&X


(
WV











 



 t 0, Φ(t) = log(GS (1 + t))

J

DJ

EJ
B

DE


A

>G

>

H
J

@
L

>
T
Φ(t) = Φ(pt) + Φ((1 − p)t).
B

J T
?

>
S

X
Φ(t) = a k tk .
k

J

ak = ak (pk + (1 − p)k )

⇒ ak = 0 k > 1.

D
J T

A

EB

E
?

Φ(t) = a0 + a1 t = a1 t
@
>

GS (z) = exp(a1 (z − 1))








"#!
%$
'&

"$
ZY
'
[(
[


&X


(
WV



Zd .

>
Zd .



 DG 




?

  E
M


 >?@
 D
 A

 >


 
 D
L
 H
 
Sn+1 = Sn + Xn+1 , S0 = 0

{e1 , . . . , ed , −e1 , . . . , −ed }.

 
>
Rd .



?
>

BH U


 D >
 >

A
 G J
  E 
 E
J >G DE


 A BA
M>


@
E C
 >?@
I

 B

(Xn )

J
?
 BH >
>

L 
L
> D
G
>? > 
H
H?
D
@ @H
 BH 
H E
G 
H 
T
J >

B>
G M> MH MD [
T A [(
>G
G

J '

⇔
D?
C ZY
 A Q G
G
B
> > B
"$
#
A
EJ
&X

H L


@> 
E@ WV
DE ?
 (

X1 , X 2 , . . .

(e1 , . . . , ed ) =
J T

@  '&


 
 C H
I
 %$
 ?


?
4 "#!
> "
 D 
! E
L
D < B> 
H
 > 

 D 
J
 




 r
r

r
r

r
r
r

r
Zd .

r
r

r
r

r
r
r


r
r

r
r

r
r
r

 




r
r

r
r

r
r
r



r
r

r
r

r
r
r




r
r

r
r

r
r
r





r
r

r
r

r
r
r



r
r

r
r

r
r
r



 Z2 .

 >
 @

Z




A
H
>
r

?
D
C
>?

r


r

[
[(
'
r ZY
"$
&X
r
WV
(

r
'&
%$
"#!

r



r


 



 Zd .
















60 8

4
50

0
40
-4

30
-8

20 -12

-16
10

-20
0
-24

-10
-28

-20 -32
0 100 200 300 400 500 600 700 800 900 1000 0 100 200 300 400 500 600 700 800 900 1000

60 50

40
30
20

0 10

-20
-10
-40

-60 -30

-80
-50
-100

-120 -70
-110 -90 -70 -50 -30 -10 10 30 50 -30 -10 10 30 50 70 90 110 130







"#!
%$
'&

"$
ZY
'
[(
[
&X


(
WV



 Zd .
















3



!4



3
3




 P

5


1

15
"
E@
JR

T0 = min {n ≥ 1 : Sn = 0} ∈ N∗ ∪ {∞}.
|z| ≤ 1

J

B
E

B
A

G
C

?
?
J

?
X
T0
F0 (z) = GT0 (z) = E(z 1{T0 <∞} ) = P(T0 = k)z k



k≥1
@
>

X X
k
Q0 (z) = E( 1{Sk =0} z ) = P(Sk = 0)z k .



k≥0 k≥0


B
>

AJ

A
>


F0 (1) = P(T0 < ∞)

@
>

Q0 (1) = E(N0 ), N0 = 0
B

D@

D?
J

>G

>

>
J









"#!
%$
'&

"$
ZY
'
[(
[
&X


(
WV



Zd .


) 
 (
&

'

 6


(
); (
*+
 &
 
+

 # )

+
 15
 6


+
 (
5

3 '
6
P(Sk = 0) = ∞.

 3

P(T0 < ∞) = 1

1
Q0 (z) = 1 + Q0 (z)F0 (z)

 
.

3
1 − F0 (z)




5



1

5


3



Q0 (z) =

31
k≥0
X



#
" Q0 (1) = (
*+
!
;
);


8
 ;
[
[(
+6(

 '

0

ZY

. "$
(
 &X
8( WV


(

;+
'&
'
5
+
)

%$
O
"#!

&; '


|z| ≤ 1
.;(

3
:
 *+ 


&



* 
 



Zd .

>?

A
C
 
DE





 ?@
E


 G
@
 B>


0:

I1 = T0 , I2 = T02 − T01 , . . . , In = T0n − T0n−1

>
T0n+1 = min{k > T0n : Sk = 0} ∈ N ∪ {∞}.


?

 A
E

? 

>? E
 B> L
 D L @
B>
A A

? EG
 J
> D? >
D@ @
A

>
 >?
J
>
 D@
 G @
 ? BH
>?

@
BH G


M> B>
D T
?@
EB
@ C
B>
>? G
EB
? T
• T01 = T0 < T02 < . . . < T0n < . . .

M
@
B


> J
?

(Ik )
>@ 
G
[
>? H [(

MH
'
M ZY
D >? "$


>


&X
@ WV
EB
(

>? @
BH
'&

• I1 , I 2 , . . .
D
Q
M
@
%$
J T "#!
5 
E



5 E @H

3
<  
 



 Zd .
















X X n
k
1{Sk =0} z = 1 + 1{T0n <∞} z T0 .
k≥0 n≥1

J

n n
T0n
Y Y
E(1{T0n <∞} z ) = E( z Ii 1{Ii <∞} ) = E(z Ii 1{Ii <∞} ) = F0 (z)n .
i=1 i=1
B
@

X
n1
Q0 (z) = 1 + F0 (z) = .
1 − F0 (z)
n≥1







"#!
%$
'&

"$
ZY
'
[(
[
&X


(
WV

Zd .

 
 




+
 ;
&'

 .
(

8
.


 +




.;



.


2



P(T0 < ∞) = 1.

P(T0 < ∞) < 1.

 )
 &

d=1





);
&

# 
>

@ 
B>

 > E [
? [(

 BH
@
4 B> D '
D ZY
" D
!
A @ "$
L +6( &X
<
 D +
WV
C
+



(
+6(

'&

d ≥ 3,
+
5 %$
)
O


"#!
' 
3 ;
 8( ); 
&
 






6
 




Zd .

 >

>G
L

 B> 
D

 D


A
L
log(n) + log(2π) + O( ),


n

D
1

 C
 H

U
M
 L


B
 J
 U
G
n = 2k

 >
@
n P(Sn = 0)


= 0) = 2k C2k .

1
2

= 0) ∼ √ .
1 k

πk




1

 D
 A

2






J
P(Sn = 0) = 0.

P
1
2
log(n!) = n(log(n) − 1) +

>
P(S2k
U DE
P(S2k

?C
EB H
D
M
E M>
R 
@
> >G
L
[
D [(
EH
>G
T
B> '
d ≤ 2.

A ZY
M D
> "$
E D &X

n


E
D J 

WV
D A H HG (
A
J T

J M M> '&
@ %$
BH > A
"#!
d = 1.
>
? DJ

E A
A T

EM
>

(Sn ).
DJ

A
D H 

@

@ >

•


B
B
M
 
J
 



 Zd .
















d = 2. Sk = (Sk1 , Sk2 ) Σk = (Sk1 + Sk2 , Sk2 − Sk1 ).


B
J
@
J

@
>

Σk+1 = Σk + Θk+1


>
L

Θk = (Θ1k , Θ2k ) = (Xk1 + Xk2 , Xk2 − Xk1 )

Θ1k , Θ2k {−1, 1}.

DE

D?

BH


5


4

5
=
>?


H


>?

?
J
@


H

>
A

?
⇒ (Σ1n ) (Σ2n )
B






5


4

5
=
@
>

?
J
@

>?

>?
1 2 1 2 1 2
P(S2k = 0) = P(S2k = S2k = 0) = P(S2k + S2k = S2k − S2k = 0)
1
= P(Σ1k = 0)P(Σ2k = 0) ∼ .
πk







"#!
%$
'&

"$
ZY
'
[(
[
&X


(
WV


 Zd .
















34





=



5
!
!

3

1
5

 P

5
"
P(Xi = 1) = p = 1 − P(Xi = −1).

k
P(S2k = 0) = C2k [p(1 − p)]k

J

X
k k 2k 1
Q0 (z) = C2k [p(1 − p)] z = p
k≥0
(1 − 4p(1 − p)z 2 )
D
L
H

α(α − 1) 2
(1 + u)α = 1 + αu + u + ...
2!
B
@
>
G

L
U

p
F0 (z) = 1 − (1 − 4p(1 − p)z 2 )







"#!
%$
'&

"$
ZY
'
[(
[
&X


(
WV


 Zd .
















3

!
!

4
3

 






!
5



"
#
P(T0 < ∞) = F0 (1) = 1 − |2p − 1|

p ≤ 1/2


&
);

2(1 − p)
E(T0 |T0 < ∞) =
1 − 2p
p = 1/2 T0 < ∞ E(T0 ) = ∞.


.;(

'

)


'

;+

&
);

(
+
:

:
<
3

Q
5


5

P(T0 < ∞) = F0 (1)

E(T0 1T0 <∞ ) F00 (1)
E(T0 |T0 < ∞) = =
P(T0 < ∞) F0 (1)







"#!
%$
'&

"$
ZY
'
[(
[
&X


(
WV

 U

?

 B
 DJ


A
 >@




B
>


 >G B


D
 EJ
H
D@


 
J
  B U B
C

>

 C L
>? >
DE
A

M
F H
 M>

?
D@
E

M
 B
BH
@
H C
B

Gξin (z) = φ(z).

 B>
ξin

M C
B
ξin

 EJ
X

i=1

B

Zn

H B
@ EJ
>
A EJ D L
M @

H
Zn+1 =

T
@
B
 J T M
A G J
T B>
 >
> 
J T >
B> L
 BA > G
i = 1, . . . , Zn

  BH


BA


>G
 ?@

L
 E
D?
G @ >
BH A? B
J
T

[(
 ? ? U

ξin
?
 E EG '
DJ B
E ZY
L


H EJ "$
G L

H
EB
A
@ &X
M>  EG >?
EB WV
>G
(

G
D E @
B


G
'&
EB %$


>
EJ


>
"#!

H > ?

J A F?
@
? E B   B


•Zn =
E EJ
H
M 
 @
J T >?@ 
C
G
C
EG T
 I A

J
 

•


 C 



 



 












Z4=6



Z2=4
Z1=2


[(
'
ZY
"$
&X

Z0=1
WV
(
'&
%$
"#!




 



















Z n , G n = GZ n
<
3







!

/


=



&*
(


'

&*

8
*
8
;
(
.
;
'

7
+
"


#
,

8
;
'

+
9

Gn+1 = Gn ◦ φ.
Z0 = 1, G0 (z) = z Gn = φn = φ ◦ . . . ◦ φ.
'

(
+

7
&*


$

<
3

Q
5


5

Ps
Zn+1 ξin
E(z |Zn = s) = E(z i=1 ) = φ(z)s
 
D
EB

B>

BH

G
C

L
>


T

Gn+1 (z) = E(z Zn+1 ) = E(E(z Zn+1 |Zn )) = E(φ(z)Zn ) = Gn (φ(z)).








"#!
%$
'&

"$
ZY
'
[(


&X


(
WV


 










) = limn→∞ P(Zn = 0)






{Zn = 0}





n≥0
[

>
πn+1 = φ(πn ), π0 = 0.

L
=

B>
 D
D
B
 A
L
EJ D
B
H C
@ EJ >
A H
M @
T
A G
M
T
J T B
J T EJ
H
H
@
H >
M>
MD
M>
H
G

B G
 M>
EJ
L
B


[(
 @ EJ DE
1
L '
 EB @
ZY
C
Z0 = 1.

 @ EB "$

P(Zn = 0) = Gn (0)
 @

&X


5  WV


 (

P(

 > '&
?
%$

! J T "#!

4 T 
A
 ? 
3

<
B
S 
 



 










φ0 (1) = E(ξ)










U
>
>
B
LJ

U
>
φ0 (z) = E(ξz ξ−1 ), φ00 (z) = E(ξ(ξ − 1)z ξ−2 )
@
BH
?
?
E
DJ
L
@
B>
> 

>
L
@ @
BH DE

[(
?@ ?@ '
B ZY
JL >?@ "$
&X

⇒ φ : [0, 1]→[0, 1]
B
J WV
B (
ξ

> '&
?
%$
J T "#!
T 
A
? 

B
S 
 



 

 +


)




'

 )*



π






 +
 .
⇒ E(Zn+1 ) = E(E(Zn+1 |Zn )) = E(Zn )E(ξ)

 ,
)=π<1


ξin ) = kE(ξ)

G
BH
D
) = 1.

 >
?
⇒ E(Zn ) = E(ξ)n .


H?
*&
n
X

i=1


'
k

&* . D
(
A
E(Zn+1 |Zn = k) = E(

' )

. :
( J T
' &
)

:

Zn = 0
:
$ # & .
 :

+

.
# 7
" +

7
&*
π = φ(π).

!

E(ξ) = 1,
>
@
'

E(Zn ) = 1
&* 
(
'
 

*
'


[(
(
(

*
'

'
ZY


(
"$

 + >
E(ξ) > 1, P(


7 A
&X




E(ξ) ≤ 1, P(

<1
  E WV
Q
ED @ (
L
= '&
5
&* 5 H? %$
O L
'  P "#!
)
( >
& 34 
3 ' 
M

$%#
6 O ? 
BH


 

5
N