Professional Documents
Culture Documents
{tuan,masuyama}@sys.i.kyoto-u.ac.jp, {shoji,takahashi}@i.kyoto-u.ac.jp
ABSTRACT
.20,"#&'9&' '&,'"%0 12&2&7 H5%*+)*6&*,7 H*%0:,"(%0 #)02,")*7 !'&&-,&'6 '&(2''&*(& '&0%,")*#7 N)*,"*2&+ 8'%(,")*#>
1. INTRODUCTION
% (0)#&+ 8)'6 )8 ,!& #,%,")*%': C)"*, 12&2& 0&*<,! +"#,'"52,")* @">&>7 ,!& #,%,")*%': C)"*, +"#,'"52,")* )8 ,!& *265&'
)8 52#: #&'9&'# %*+ ,!%, )8 '&,'"%0 (2#,)6&'#A FRI> U)' ,!&
()*9&*,")*%0 ././V/V '&,'"%0 12&2&7 ", "# M*)3* ,!%, ,!&
#,%,")*%': C)"*, 12&2& 0&*<,! +"#,'"52,")* (%* 5& &P$'&##&+
"* ,&'6# )8 !:$&'<&)6&,'"( 82*(,")*# FR7 W7 QQI>
H# 8)' ,!& (%#& )8 c 3 @,!& *265&' )8 #&'9&'# "# *), 0&##
,!%* ,!'&&A7 ", "# % (!%00&*<"*< $')50&6 ,) +&'"9& %* %*%0:,"(%0 #)02,")* 8)' ,!& #,%,")*%': C)"*, 12&2& 0&*<,! +"#,'"52,")* "* ()*9&*,")*%0 ././c/c '&,'"%0 12&2&#> X"6 FQYI
%*+ Z)6&[-N)''%0 %*+ O%6%0!),) F\I #,2+: ,!& ()*9&*,")*%0 ././T/T '&,'"%0 12&2& %*+ +&'"9& %* %*%0:,"(%0 #)02,")* 8)' ,!& #,%,")*%': C)"*, 12&2& 0&*<,! +"#,'"52,")* 2*+&' #)6& ,&(!*"(%0 %##26$,")*> Z)6&[-N)''%0 %*+ O%6%0!),) F\I 6&*,")* ,!%, ", "# +"](20, ,) +&'"9& ,!& ', 3",!)2, ,!& ,&(!*"(%0 %##26$,")*> K!2*<-^2( &, %0> FQVI $')9&
,!%, 8)' c = 3, 47 #2(! % ,&(!*"(%0 %##26$,")* "# *), *&&+&+7
2#"*< % ()*,"*2&+ 8'%(,")* %$$')%(!> H# "# 3&00 M*)3*7
,!& #,%,")*%': '&,'"%0 12&2& 0&*<,! +"#,'"52,")* 3",! %00 ,!&
#&'9&'# 5&"*< "+0& $0%:# %* "6$)',%*, ')0& "* ()6$2,"*< ,!&
#,%,")*%': C)"*, 12&2& 0&*<,! +"#,'"52,")* "* ,!& ()*9&*,")*%0 ././c/c '&,'"%0 12&2&> K!2*<-^2( &, %0> FQVI #!)3
,!%, 8)' c = 3, 47 ,!& #,%,")*%': '&,'"%0 12&2& 0&*<,! +"#,'"52,")* 3",! %00 ,!& #&'9&'# 5&"*< "+0& "# &12"9%0&*, ,) ,!&
6"*"6%0 #)02,")* )8 % (&',%"* ,!'&&-,&'6 '&(2''&*(& '&0%,")*>
_3"*< ,) ,!"# ',7 3& (%* ()*#,'2(, % *26&'"(%00: 8&%#"50&
%0<)'",!6 ,) ()6$2,& ,!& %*%0:,"(%0 #)02,")*# 8)' ()*9&*,")*%0 ././3/3 %*+ ././4/4 '&,'"%0 12&2&#> K&%'(& FQQI
$'&#&*,# %*%0:,"(%0 #)02,")*# 8)' ()*9&*,")*%0 ././c/c '&,'"%0 12&2 '&<%'+0&## )8 ,!& *265&' )8 #&'9&'#> E)3&9&'7
!"# %*%0:,"(%0 #)02,")*# %'& ()*#,'2(,&+ %# $')+2(,# )8 ,&'6#
,!%, %'& *), <2%'%*,&&+ ,) 5& =*",&>
!"# $%$&' #,2+"&# 620,"#&'9&' '&,'"%0 12&2&# 3",! K)"##)*
%''"9%0#7 &P$)*&*,"%0 #&'9"(& %*+ 4&'*)200" %5%*+)*6&*,7
3!&'& % (2#,)6&' %''"9"*< 8')6 ,!& &P,&'*%0 #)2'(& )' ,!&
)'5", %5%*+)*# ",# #&'9"(& '&12&#, @,!2#7 *), C)"*"*< ,!& )'5",A 3",! #)6& $')5%5"0",: 3!&* ,!& 52;&' "# 8200 2$)* ",#
%''"9%0> ?& %##26& ,!%, ,!& *265&' )8 #&'9&'# "# &12%0 ,) c7
,!& 52;&' (%$%(",: "# &12%0 ,) r %*+ ,!& #"[& )8 ,!& )'5", "#
"*=*",&> ?& %0#) %##26& ,!%, ,!& %''"9%0 %*+ #&'9"(& '%,&#
+&$&*+ )* ,!& *265&' )8 (2#,)6&'# "* ,!& #:#,&6> ?& +&*),& #2(! '&,'"%0 12&2&# 5: #,%,&-+&$&*+&*, ././c/c+r '&,'"%0 12&2&# 3",! 4&'*)200" %5%*+)*6&*,7 3!"(! ()9&'# ()*9&*,")*%0 ././c/c '&,'"%0 12&2&# 3",!)2, %5%*+)*6&*,7 %#
#$&("%0 (%#&#> H 8&3 '&#&%'(!&'# !%9& #,2+"&+ #2(! '&,'"%0
12&2&# 3",! 4&'*)200" %5%*+)*6&*,> U%0"* FDI ()*#"+&'# ,!&
#"*<0&-#&'9&' (%#& 3",!)2, ,!& 52;&' @">&>7 c = 1 %*+ r = 0A
%*+ #!)3# ,!%, ,!& #,%,")*%': C)"*, 12&2& 0&*<,! +"#,'"52-
(i + i +
[]
+ i+1 i+1,j ,
(p + +
CVE
i = 0, 1, . . . , 1,
[]
j q),j
[]
[]
[]
C6E
+ p,j1 + (j + 1) q,j+1 .
Q$
[]
Pi (z)
Ci
= 0, 1, . . . , E 3$#" $
[]
Pi (z) =
[]
i,j z j ,
CJE
|z| 1.
j=0
d []
P (z)
dz i
d []
[]
= i1 Pi1 (z) + i1 Pi1 (z)
dz
[]
+ i+1 Pi+1 (z),
i = 0, 1, . . . , 1,
d
(p + )P[] (z) + qz P[] (z)
dz
d []
[]
= 1 P1 (z) + 1 P1 (z)
dz
d
+ pzP[] (z) + q P[] (z),
dz
[]
(i + i )Pi (z) + i z
[]
j = 0, 1, 2, . . . 0
[]
ji )i,j
[]
CKE
CWE
[]
i=1
[]
Pn[] (z) =
n
X
en,i (z)
i=0
di []
P (z),
dz i 0
CLE
en+1,i (z) =
d
+ n z
en,i (z) + en,i1 (z)
dz
d
en,i (z) + en1,i1 (z) ,
n n1
dz
CYE
en,i (z) =
i
X
n = 0, 1, . . . , @
en,i,j z j ,
C]E
i = 0, 1, . . . , n,
j=max(2in,0)
8,$%$
[] = (p )/ 0
R%""(0 R%"."'! !"# 60V )2# >$ .%":$3 >- ,$ '2&$ &$ ,"3
2' +'$3 !# 5W7 C..0 XYZV[[E ("% ,$ )"#:$# !"#2; NONOcOc
%$ %!2; =+$+$'0 G,$%$("%$@ 8$ "&! ,$ .%""( ,$%$0
[]
1
[]
n,j = Qn
i=1 i
Q$
[]
,$# (";;"8'
n
X
[]
= 0, 1, . . . }@ {n,j ; n =
min(i,j)
[]
i=0 k=max(2in,j)
CXE
1,
( + 1) ( + n 1),
n = 0,
n = 1, 2, . . . .
[]
+#(,(*-)-(' ./0 *!( * )!1) {n,j
} 21' 3" (3)1-'"& )!#(45!
[]
[]
{0,j }/ 6' )!" '"7) *"2)-('8 " 9(24* (' {0,j }/
3. MAIN RESULTS
[]
P0 (z) =
+1
X
[]
i=0
!"#"
[]
!"#"
wi (z)
d
[]
P (z) = 0,
dz i 0
$EF%
|z| < 1,
[]
P0 (z)
[]
i=0
d
[]
P (z) = 0,
dz i 0
$EE%
s3,3 z 3 s3,2 z 2 ,
[3]
s0,0 ,
[4]
s4,4 z 4 s4,3 z 3 ,
[4]
[4]
s3,3 z 3
s0 (z)
s4 (z)
s2 (z)
[4]
s3 (z)
[3]
[3]
[3]
[4]
[4]
[4]
[3]
[3]
[]
Kj
[4]
[4]
[2]
[2]
w2,2 z 2
[3]
w0,0 ,
[3]
w3,3 z 3
[3]
w2,2 z 2
[2]
[2]
[2]
[2]
w2,0 ,
[2]
w3 (z)
[3]
w1 (z)
[3]
w1,1 z
[3]
w1,0 ,
[3]
w3,2 z 2
[3]
w2,1 z
[4]
s0,0 .
[]
aj
[3]
[3]
[2]
w3,2 z 2 ,
[]
bj
[3]
w3,1 z,
+ w2,0 ,
[]
si,i2 (j i + 3)i
[]
wi,i (j i + 1)i
[3]
w4 (z) = w4,3 z 3 .
J*-'5 $K% 1'& $EE%8 " 2('A#; )!1) )!"*" 2("L2-"')* s[]
i,j I*
[]
1'& wi,j I* 1#" ,(*-)->" '4;3"#*/
+1
X
[]
wi,i1
[]
wi,i2
[]
qj+1
[]
qj+2 ,
[]
qj
(j i + 2)i
(j i + 3)i
[]
qj+1
[]
qj+2 ,
9(# 21*" $--%8 #"*,"2)->"<B/ T()" !"#" )!1) $ES% -;,<-"* Kj[] =
0 9(# 1<< j = 0, 1, . . . / :!"' " !1>"
[]
[] []
[] []
qj+2 = bj qj+1 + aj qj ,
j = 0, 1, 2, . . . ,
$EU%
!"#"
aj
=
(j i + 2)i
i=2
[]
[4]
s0 (z)
bj
[4]
s3,1 z,
[]
qj
i=1
[4]
[4]
[4]
s3,2 z 2
I* $i = 0, 1, . . . , % 1#" 5->"' 3B
[2]
w2 (z)
[3]
w2 (z)
[3]
[]
wi (z)
w0,0 ,
[3]
w3 (z)
[3]
[4]
w0 (z) =
[3]
w0 (z)
[3]
[3]
1
X
$E.%
|z| < 1,
[3]
[]
si,i1
i=2
[]
wi (z)
[3]
i=0
(j i + 1)i
i=0
!"#"
&"'()"*
-' $EE% -)! q = 1/
+#((9/ H(#(<<1#B 0/E 9(<<( * -;;"&-1)"<B 9#(; :!"(#"; 0/E
3B *43*)-)4)-'5 q = 1 -')( $EF% 1'& $EE% 1'& '()-'5 )!1)
[]
w+1 (z) = 0 !"' q = 1/
[]
si (z)
[]
si,i
i=1
*1)-*A"*
si (z)
[]
Kj
d
e,i (z) + e,i1 (z)
dz
Q
1
1
X
i
d
Qi=1
en,i (z) + en,i1 (z) .
n
n
dz
i=1 i
n=i1
$ES%
[]
Kj z j = 0,
j=0
*1)-*A"*
[]
P0 (z)
$E0%
[]
qj z j .
j=0
:!"(#"; 0/E/
[]
P
[]
wi,i (j i + 1)i
= Pi=0 []
,
i=2 wi,i2 (j i + 3)i
P+1 []
wi,i1 (j i + 2)i
= Pi=1
,
[]
$EV%
$EK%
$EW%
$EX%
[]
|bj | |aj | + 1,
j = j0 , j0 + 1, . . . .
$.F%
!""#$ %&!'() *+ ',"* #"! -.'+ /&0$ 1( &' -2+.! #!"3 /450 .67
/480 (,.( (,+ 693+!.("!' /!+':$ 7+6"3&6.("!'0 "# a[]
.67
j
[]
bj .!+ (, /!+':$ ( 1)'(0 7+;!++ :"2<6"3&.2' "# j $ =,9'
[]
[]
limj |aj | = .67 limj |bj | = $ %9!(,+!3"!+)
[]
b
j
lim []
j a
[]
s,1
[]
s,
=
> 1,
p
/>40
[]
[]
k,j+2 Lk,j+2 ,
k = j0 , j0 + 1, . . . ,
[]
[]
w,
[]
lim |aj | =
[]
w,2
/>>0
D?9.(&"6' />40 .67 />>0 &3:2< />E0 #"! -.'+' /&0 .67 /&&0$
F< .::2<&6; /4G0 !+:+.(+72<) *+ "H(.&6
[]
[] []
[] []
qj+k = k,j qk+1 + k,j qk ,
/>I0
j = 0, 1, 2, . . . ,
[]
[]
*,+!+ {k,j
} .67 {k,j } .!+ 7+(+!3&6+7 H<
k,0
[]
[]
[]
[]
[]
[]
[]
[]
k,0
[]
[]
[]
[]
[]
[]
1, k,1 = 0, k,j+2 = bj+k k,j+1 + aj+k k,j ,
/>J0
/>G0
#"! j = 0, 1, . . . , !+':+-(&K+2<$
L+33. I$>$
[]
{k,j }
[]
lim |k,j | = ,
k = j0 , j0 + 1, . . . .
/>50
[] [] []
[]
[]
k,j+2 = bj+k k,j+1 + aj+k k,j
[] [] [] []
k,j+1 bj+k aj+k k,j ,
[]
Lk,j+2
j
Y
i = 1, 2, . . . .
[]
X
ai+k |
l=0
[]
|bi+k
= lim
[]
k,j
[]
k,j
j
Y
[]
dk+l
l=i+1
k = 0, 1, . . . .
[]
k,j
[]
qj+k
[]
/I>0
[]
= qk+1 +
[]
k,j
/II0
/IJ0
[]
qk .
[]
rk =
/>B0
/>C0
l=0
[]
[] [] [] [] []
k,j+2 k,j+1 dj+k + aj+k k,j+1 k,j ,
j
[] [] Y []
k,j+1 dj+k +
ak+l ,
[]
|ak+l |
[]
[]
=,9') #!"3 /I40 limj k,j
= H+-.9'+ limj dj+k =
[]
$ N+ "H'+!K+ #!"3 /I>0 (,.( (,+ 2"*+!OH"967 #"! |k,j | &'
(&;,(+! (,.6 (,.( 7+!&K+7 H< ,96;OP9- +( .2$ Q4>R$
S+3.!T I$>$ U"3+VOW"!!.2 .67 S.3.2,"(" Q8R 7+!&K+ .6
[3]
.6.2<(&-.2 '"29(&"6 #"! {i,j
}) .''93&6; (,.( />50 &' (!9+ #"!
k = 0$ =,+< '.< (,.( &( &' 7&X-92( (" :!"K+ (,&' .''93:(&"6$
Y&3 Q4ER .67 W,"& .67 Y&3 Q>R .''+!( (,.( />50 *&(, k = 0
&' .2*.<' (!9+ #"! (,+ -"6K+6(&"6.2 Z[Z[I[I !+(!&.2 ?9+9+
.67 #"! .6 Z[Z[>[> !+(!&.2 ?9+9+ *&(, .H.67"63+6( .67
#++7H.-T) !+':+-(&K+2<$ \"*+K+! (,+&! .''+!(&"6 -"6(!.7&-('
[]
limj qj = 0 / = 2, 30) *,&-, 39'( ,"27 #"! (,+'+ +!O
;"7&- !+(!&.2 ?9+9+'$ 16'(+.7 "# :!"K&6; />50 #"! k = 0) *+
,.K+ ',"*6 (,.( />50 &' (!9+ #"! .6< k j0 $ =,&' &' '9X-&+6(
[]
}) *,&-,
#"! (,+ 7+!&K.(&"6 "# .6 .6.2<(&-.2 '"29(&"6 #"! {i,j
&' :!+'+6(+7 &6 L+33. I$I .67 =,+"!+3 I$>$
[]
[]
L+33. I$I /=,+"!+3 I$J &6 Q4>R0$ L+( rk[] = qk+1
/qk
#"! .6< k = 0, 1, . . . $ N+ ,.K+
k,j
*,+!+ (,+ '+-"67 &6+?9.2&(< ,"27' H+-.9'+ "# />E0$ F< 9'&6;
/>B0 !+:+.(+72<) *+ ,.K+
i1
[] [] Y []
ak+l ,
k,i+1 k,i
[]
|ak+i |
i=0
i=0
i=0
[] []
k,j+2 k,j+1
[]
[] [] []
[] [] [] []
aj+k j+1 aj+k j
[] [] []
= aj+k k,j+1 k,j , j = 0, 1, . . . ,
j
Y
j1
i
X
Y
[]
=,9' *+ ,.K+
[]
dk+i +
i=0
rk =
j = 0, 1, . . . . />80
/I40
*,+!+
j = 1, 2, . . . ,
/IE0
l=0
[]
[]
*,+!+ d[]
j+k = |bj+k | |aj+k | 1 /j = 0, 1, . . . 0$ @"(+ (,.(
/>80 .67 />C0 .!+ 9'+7 &6 (,+ M!'( .67 (,+ '+-"67 &6+?9.2&(&+'
qk+1
[]
qk
= lim
[]
k,j
[]
k,j
[]
X
ai+k |
[]
i=0
|bi+k
, k = j0 , j0 + 1, . . . ,
/IG0
.--"!7&6; (" P+M6&(&"6 F$4$ %!"3 /4G0 .67 /IG0 *+ -.6 ',"*
(,.( /II0 &' .2'" (!9+ #"! k = 0, 1, . . . , j0 1$ ]++ Q4>R #"!
7+(.&2'$
=,+ #"22"*&6; 2+33. :!"K&7+' .6 9::+!OH"967 #"! (,+ .HO
'"29(+ +!!"! "# rk[] (k = j0 , j0 + 1, . . . ) *,&-, -.6 H+ 9'+7 ("
-"3:9(+ rk[] (k = j0 , j0 + 1, . . . ) *&(, .6< .--9!.-<$ ]&6-+
[]
[]
[]
rk -.6 H+ -"3:9(+7 #!"3 rk+1 ) rk (k = 0, 1, . . . , j0 1)
.2'" -.6 H+ -"3:9(+7 *&(, .6< .--9!.-<$
L+33. I$J$ N+ ,.K+
[]
[]
rj,i rj
1
[]
|j,i |
j = j0 , j0 + 1, . . . ,
i = 2, 3, . . . ,
/I50
*,+!+
[]
rj,i =
[]
j,i
[]
j,i
i2 []
X
aj+k |
[]
k=0
|bj+k
[]
j,i
[]
j,i
Qi1
[]
(1) l=0 aj+l
.
[] []
j,i j,i+1
i
8D?C
[]
[]
[]
[]
j,i+1
|j,i+1 | |j,i |
1
1
j,i
= [] [] .
[] [] <
[]
[]
j,i+1
|j,i ||j,i+1 |
|j,i |
|j,i+1 |
j,i
0,j =
[]
rk
k=0
[]
0,0 ,
8<4C
[]
i,j = 1.
@[&' /0%$"')0"B
3.3
bi,j = P
i,j
PN
[]
j=0
i,j
Asymptotic analysis
n = 0, 1, . . . , .
8<>C
[]
rj
[]
1
j
[] = lim
= 1.
a j 1 r[] /b[]
j
j+1
j
8<DC
Q
[]
( n
i=1 i )n,j
[]
j n 0,j
= 1,
n = 1, 2, . . . , .
8<<C
j = 0, 1, . . . , n0 1.
[]
[]
i=0 j=0
[] []
[]
Z%;1)-" {i,j
; i = 1, . . . , , j = 0, 1, . . . , n0 } )#,&: 8AC F!"0"
[]
[]
0,n = 0 (n = n0 + 1, n0 + 2, . . . )3 O%0;*+,U,&: {i,j } -%
[]
%J-*,& {bi,j ; i = 0, 1, . . . ; j = 0, 1, . . . , N } *# 5%++%F#3
8<PC
j = 1, 2, . . . .
[]
i=0
8DAC
n = 1, 2, . . . .
[]
0,0 = 1,
8DGC
[]
[]
j,i+n
1
1
j,i
,
[]
< [] []
[]
|
|
|
j,i
j,i+n
j,i
j,i+n |
[]
X-"1 D3 Z%;1)-" 0,j
*# 5%++%F#3
[]
(j)n 0,j
Qn
= 1,
[]
( i=1 i )n,j
[]
b
j
[]
a
j
n = 1, 2, . . . , .
[]
[]
4.
[]
X-"1 >3 E%0 j = n0 1, n0 2, . . . , 09 $%;1)-" rj,i
+n j
)#,&: -!" 5%++%F,&: J*$IF*0' 0"$)0#,7" "()*-,%&3
0
[]
aj
[]
rj,i0 +n0 j =
[]
[]
4.1
THE CASES OF 2
The case of = 1 and q = 1
!"#$"% &'('
[1]
P0 (z)
[1]
P1 (z)
[1]
P0 (z)
1 1
0 + 1 p1
0
0 + 1 p1
1 [1]
1 [1] z
1 [1]
1 [1] z
[1]
s1 (z)
<!"$"
[1]
s0 (z)
[1]
s1 (z)
= p0 1 ,
1+ 0
0
1&23
4.3
1&43
d [1]
P (z) = 0,
dz 0
= p1 0 z 1 0 .
1&=3
1&>3
[1]
1&B3
0
0
[1]
[1]
.
P0 (z) = 0,0 1 [1] z
12D3
E$#% 5$#F#A-9-#* :':; <" #/9)-* P1[1] (z)' G"8)CA" P0[1] (1) +
[1]
[1]
P1 (1) = 1; 0,0 -A C*-HC"@0 +"9"$%-*"+ )*+ 9!CA 1&23 )*+
1&43 )$" #/9)-*"+'
[1]
P0 (z) =
<!"$"
a=
-A ,-."* /0
X
(a)j
(b)
j j!
j=0
[1]
w0,0
,
[1]
w1,1
b=
p1
z
q1
12(3
[1]
-A #/9)-*"+ 6$#% 143 )*+ 12(3; )*+ 0,0
-A C*-HC"@0
+"9"$%-*"+ 6$#% P0[1] (1) + P1[1] (1) = 1'
5$##6' E$#% 1((3; <" !)."
[1]
[1]
w0,0 [1]
d [1]
P (z) [1] P0 (z) = 0,
dz 0
w2,1
12:3
<!"$"
[1]
w1,1 = p1 0 ,
[1]
w0,0 = p0 .
[1]
w2,1 = q0 1 ,
I"9
[1]
p(x) = P0
[2]
[2]
[2]
1243
= p2 1 0 ,
[2]
s1,1
[2]
= p2 (0 1 + 1 0 + 1 0 + 1 0 ),
[2]
s1,0
= p2 1 0 + 1 2 0 + 2 1 0 + 2 1 0 .
s2,1 = 2 1 0 ,
[2]
s0,0 = 0 1 2 ,
!"
[2]
P1 (z)
[2]
[2]
[2]
5$##6'
P0 (z)
[2]
[2]
[2]
d2 [2]
d [2]
[2]
P0 (z) + s2 (z) 2 P0 (z) = 0,
dz
dz
12=3
<!"$"
[2]
[2]
[2]
[2]
[2]
[2]
[2]
[1]
= P0
X
(a)j xj
.
(b)j j!
j=0
d2
q(x) +
dx2
[2]
[2]
s1,0
[2]
s2,1
s1,1
[2]
s2,2
[2]
s0,0
d
q(x) [2] q(x) = 0.
dx
s2,2
12>3
XHC)9-#* 12>3 8)* /" 6C$9!"$ 9$)*A6#$%"+ -*9# 9!" !0F"$,"S
#%"9$-8 +-W"$"*9-)@ "HC)9-#*
x(1 x)
d2
d
q(x) + ( (1 + + )x) q(x) q(x) = 0,
dx2
dx
[2]
q1
x .
p1
d2
d
p(x) + (b x) p(x) ap(x) = 0,
dx2
dx
p(x) =
[2]
[2]
s2,2
+ =
12K3
<!#A" A#@C9-#* -A ) 8#*LC"*9 !0F"$,"#%"9$-8 6C*89-#* 1A""
"',' M!)F9"$ (4 -* NKO3 ,-."* /0
x
[2]
12B3
[1]
w1,0 = 1 0 + q1 (0 + 0 ),
[1]
w2,1
x
[1]
w1,1
[2]
= s1,0 /s2,1 .
[2]
[1]
[1]
[2]
P1 (z)
w1,0
w1,1
d2 [1]
[1] z
z 2 P0 (z)+
[1]
dz
w2,1
w2,1
[2]
= (s1,1 s2,2
1223
!"#$"% &':'
0,0
<!"$"
,
X
()j ()j 1 [2] j
z ,
()j j!
j=0
[2]
P0 (z) =
p0 1
0 [1] P0 (z)
d [1]
[1]
.
P0 (z) =
P0 (z) =
dz
1 0 p1 0 z
0 1 [1] z
[1]
P0 (z)
12&3
[2]
[2]
s1,1 s2,2
[2]
s2,2
s0,0
[2]
s2,2
[2]
s1,0
[2]
s2,1
NUMERICAL EXAMPLES
!"#$% &' %$(%)*+ ,!-(&"$%- *( N = 1000. /)0!%$ 1 -2&3(2$ #+&,4) 0 5%&#*#)+)(6 (2*( ,!-(&"$%- -$$ *++ (2$ -$%7$%* 8 3*)() 0 -5*,$- #$) 0 &,,!5)$8 & *%%)7*+ $5&,29 *0*) -(
(2$ &:$%$8 +&*8 '&% ;<;<1<1 + r %$(%)*+ =!$!$-9 ) ,*-$&' r = 0, 1 * 8 >. ? $*,2 r9 (2$ #+&,4) 0 5%&#*#)+)()$- &'
p = q = 0.2, 0.6 * 8 1.@ *%$ ,*+,!+*($8. A$ &#-$%7$ (2*( (2$
#+&,4) 0 5%&#*#)+)()$- 0%&3 3)(2 (2$ ) ,%$*-$ ) (2$ &:$%$8
+&*8 [] . A$ *+-& &#-$%7$ (2*( (2$ #!:$% 0%$*(+6 8$,%$*-$(2$ #+&,4) 0 5%&#*#)+)(69 $-5$,)*++6 *( +&3 &:$%$8 +&*8. /!%B
(2$%"&%$9 ! 8$% (2$ -*"$ #!:$% -)C$ * 8 &:$%$8 +&*89 (2$
#+&,4) 0 5%&#*#)+)(6 "& &(& ),*++6 0%&3- 3)(2 (2$ ) ,%$*-$
) p. A2$ p ) ,%$*-$-9 (2$ !"#$% &' #+&,4$8 ,!-(&"$%(2*( 0)7$ !5 *(($"5() 0 (& $ ($% (2$ -6-($" *0*) 8$,%$*-$-.
D2)- )- (2$ %$*-& 326 (2$ #+&,4) 0 5%&#*#)+)(6 0%&3- 3)(2
(2$ ) ,%$*-$ ) p9 4$$5) 0 &(2$% 5*%*"$($%- ,& -(* (.
1
0.1
Blocking Probability
0.01
0.001
0.0001
No waiting spaces, p=q=0.2
No waiting spaces, p=q=0.6
No waiting spaces, p=q=1.0
One waiting space, p=q=0.2
One waiting space, p=q=0.6
One waiting space, p=q=1.0
Two waiting spaces, p=q=0.2
Two waiting spaces, p=q=0.6
Two waiting spaces, p=q=1.0
1e-005
1e-006
0
0.2
0.4
0.6
0.8
Traffic Intensity
6. CONCLUSION
? (2)- 5*5$%9 3$ 2*7$ 8$%)7$8 * *+6(),*+ -&+!()& - '&%
-(*($B8$5$ 8$ ( ;<;<c<c + r %$(%)*+ =!$!$- 3)(2&!( * 6
($,2 ),*+ *--!"5()& . /&% (2$ ,*-$ (2*( %$(%)*+ ,!-(&"$%$7$% *#* 8& H&) ) 0 (2$ -6-($"9 3$ 2*7$ 8$%)7$8 * *B
+6(),*+ -&+!()& - *--!") 0 (2*( c + r 4. /&% (2$ ,*-$
3)(2 *#* 8& "$ ( &' %$(%)*+ ,!-(&"$%-9 3$ 2*7$ 8$%)7$8
* *+6(),*+ -&+!()& - ! 8$% * *--!"5()& (2*( c + r 3.
A$ 2*7$ 5%&7$8 (2*( (2$ * *+6(),*+ -&+!()& - '&% (2$ & B
*#* 8& "$ ( ,*-$ 3)(2 c+r = 3, 4 * 8 '&% (2$ *#* 8& "$ (
,*-$ 3)(2 c + r = 2, 3 *%$ $I5%$--$8 ) ($%"- &' ,& () !$8
'%*,()& - 32&-$ 7*+!$- ,* #$ ,&"5!($8 3)(2 * 6 *,,!%*,6.
? &(2$% ,*-$-9 3$ 2*7$ -2&3 (2*( (2$ * *+6(),*+ -&+!()& *%$ $)(2$% $I5%$--$8 ) * $I5+),)( '&%" &% ) ($%"- &' 26B
5$%0$&"$(%), '! ,()& -. D2$-$ %$-!+(- ,&7$% (2&-$ 8$%)7$8 )
(2$ +)($%*(!%$ *- -5$,)*+ ,*-$-. /&% (2$ '!(!%$ 3&%4-9 3$ 8&
"&%$ !"$%),*+ $I5$%)"$ (- (& 7$%)'6 (2$ $J,)$ ,6 &' &!%
*+0&%)(2" * 8 (& $7*+!*($ (2$ 5$%'&%"* ,$ &' (2$ -6-($".
7. REFERENCES
K1L M. N0!)%9 /. O*%*$-"$ 9 P. Q. N4-) 9 * 8 /. R2*!7$(.
D2$ )"5*,( &' %$(%)*+- & ,*++ ,$ ($% 5$%'&%"* ,$. PS
M5$,(%!"9 >TEUVUWUXT9 >@@Y.
APPENDIX
A. PROOF OF THEOREM 3.1
A$ 5%$-$ ( * 5%&&' '&% D2$&%$" U.1.
G%&&'. A$ -!55&-$ |z| < 1. D2$ #6 -!"") 0 !5 fYg '&%
i = 0, 1, . . . , 1 * 8 fVg9 3$ &#(*)
P[] (z)(1 z)
=
!
1
X d
d []
[]
q P (z) +
n Pn (z) (1 z). fT@g
dz
dz
n=0
i P[] (z)
i=1
1
X
d
n
i P[] (z) +
dz i=1
n=0
!
Q
n
i d Y
i=1
Qn
i Pn[] (z).
i=1 i dz
i=1
X
n |
|n
n=0
-.30
4)+ 56*( (+67 !$ ()+ 6!%)( )8$# *!#+ ', -.30 !* %!"+$ &1
d Y
i P[] (z)
q
dz i=1
i
+1
X d
d
[]
e,i (z) + e,i1 (z)
P (z). -.90
= q
i 0
dz
dz
i=0
4)+ *+:'$# (+67 !$ ()+ 6!%)( )8$# *!#+ ', -.30 !* (68$*,'67+#
8* ,'22';*<
!
Q
n
i
d X
di []
i=1
Qn
n
en,i (z) i P0 (z)
dz i=0
dz
i=1 i
n=0
Q
n+1
1
X d
X i
Qi=1
n
en,i (z) + en,i1 (z)
=
n
dz
i=1 i
n=0
i=1
1
X
di []
P (z)
dz i 0
Q
X
X
i
d
Qi=1
n
en,i (z) + en,i1 (z)
n
dz
i=1 i
i=1 n=i1
di []
P (z).
dz i 0
-.=0
0 |
,
|0
0
0 +
1
1
1
X
1 |
0 |
n |
+
=
,....
|0
|1
|n
n=0
X
n |
,
|n
n=0
0,
1,
1 = 1,
e 1 = 0,
n+2 = n n+1 + n n ,
e n+2 = n
e n+1 + n
e n,
,'6 n = 0, 1, . . . <
H6'D'*!(!'$ I<3 -4)+'6+7 9<3 !$ JKL0<
n2
X j |
en
=
,
n
|j
j=0
n = 2, 3, . . . .
en
= ,
n
X
en
n |
= lim
= ,
n
|n
n
n=0