Is Sac 08

Solving Differential Equations in Terms of Bessel
Functions
Ruben Debeerst
Mark van Hoeij
Wolfram Koepf
- Kassel
Universitat
Kassel, Germany
Florida State University

Tallahassee, FL, USA
- Kassel
Universitat
Kassel, Germany

!" #$ % &'%
ABSTRACT
-/.)021/3465057983;:)<=.>?50,:@8.)0A2."BC.)0,1/5D0FE9GH8I%3JAK>L:)>?5D02>05A5798AK:
7 5MONF58I%.+1P8I%:"8RQ.)N2S%3J7/5AUT)57%5D0,:)<J3JV5(1W5X>?.7/5798AY8.[Z%7L1
/
8I/.A5YA.<J\83;.)7%AK8IL:"8]Q(:"7^S?5_05>/05A57+851[3;7[85D0NFAK."BC`5AA5<
Ba\%7/Q83J.7%Ab
Categories and Subject Descriptors
,c bJdb Efe g6hHikjml?noprqLsHtvuUn'wLx+jHy@qLop{z|qLsHo'}~Hnaq/(oal?sP<JT).)

038I/NFAr 9$) ),a+2"K]b We z|q%x/iq%(oapqLnglL

q%y@x9=<JT."03J8I/N1/5A3JT)7k:)7%1:)7%:)<A3JA
General Terms
C<JT.)038I/NFA
INTRODUCTION
.)7%A3;1/5D0C:21/3465057+83;:"<?.>?50,:@8.)0C^Wa66 M38IUQ.95Ba

Z%Q3J5798A3J7kA.NF5]1/3465057+83;:"<ZL5<;1k:)7L1 b5KA5:"0Q,I
=6DG
Ba.)0A.<J\/83J.7/AU."B]C/+bc7W:Z%0A$8RA$85>G3JBK
8I/57_.)7%5Q(:)7_80K8.B:"Q8.)0e E+GG%d("%8I%51/3465057+83;:"<%.>?5D0,:"8.)0(b
-0.N8I%57.7UM5M3J<J<.7/<UQ.7%A3;1503005(1\%Q3JS/<;5k[e b
c
BH3JA:KA>?5Q3;:)<?B\/7%Q83J.)7R8I%:"8A:@83;A$Z%5A:K1/3465057983;:)<?5(9\%:"
83J.)7k2mG8I%57R8I%59\%5A$83;.)73BM5Q:)7A.)<;5C/mW
3J7^850NFA].)B3;A]5(9\%3J):)<J579828.k8I%5U9\%5A$83J.)7MI/58I%5D028I%5D05
5DX/3JA$8CQ508,:"3J780,:)7/A$B.)0NY:@83J.7%A8IL:@8A57L1 8.Fb
I/505:"058I0558>?5A."BL80,:)7/A$B."0NY:"83J.7/A=3J7F[e 8IL:"8m>05
A5D05.)0,1508M.G%7%:)NF5<63'QDI%:)7/T5.)Bm):"03;:"S%<J5ACR6DG
3J3':)7]5X>/
>/0.+1\%Q8_5X>
]a?G):)7%1U3J3J3a:CT:)\/T5@80,:"7%A$
Ba.)0NY:@83;.)7[ K +GMI/505_3JA b_[5]8,:)5K8I%5_>%:"
0,:"NF5850AC%" 3J7A.K8IL:@88I%505AD\/ <83;AC:"T:)3J73J7[e b

\0:"<;T).)038I%NQ:)7]1/5Q3;153B?:"7].)>?50,:"8."0Q(:"7]S?5=.S8,:)3J7%5(1
B'0.N8I%5C`5AA5<?.)>?50,:"8."0\%7%1/50m8I/5A5C8I05580,:)7/A$B.)0NY:@83J.7%Ab
1.
\%>/>?.)085(1YS9R -[T"0,:)798AC9dd@@R:)7%1)E)))+b

@ I%3JA:)<M:(A05DB50 A8.K:QDI%:)7%T)5."B8I/5KL9/D?D%=:@03':"S%<J5b
50NF3J7%.)<;.)T)RBa0.)NeJd(E+G%5ZL7/383;.)7k"b
Permission to make digital or hard copies of all or part of this work for
personal or classroom use is granted without fee provided that copies are
not made or distributed for profit or commercial advantage and that copies
bear this notice and the full citation on the first page. To copy otherwise, to
republish, to post on servers or to redistribute to lists, requires prior specific
permission
)= (and/or
] aDfee.
( ((+ ("+, 9 J
Copyright 2008 ACM 978-1-59593-904-3/08/07 ... 5.00.
(!)*& + ,
I+\%AG/T3J57G/38Q:)7UZ%7L1U:)<J<A.)<;\83J.7%A."B8I%5Ba.)0N
9

6[
6 $d@
MI%5D05) $ Dk=?:"7L1U
/
63;A:_`5AA5<Ba\%7%QD83;.)7b
7%5Q.)\%<;1:"0T)\%58I%:"8R8I%3JA3JA.)7%<:^NF3J7%."0:)1%1/383J.7W8.
>/03J."0FM.)0?b
03J.)0U:)<JT).)038I%NFAF805(:@8YNF.)05U8I%:)7$ \%A$8R`=5AA5<
5X>
B\/7%Q83J.)7%AG:"7L1^8I%5^:)<JA.^:)<05(:)1805(:@8_8M..)B8I%5A5R80,:)7/A$

B."0NY:"83J.7/Ae G/G9G=d)dGd@@m805(:@8F3'23J3aDG:)7%1êJd)G=d)m805(:@8
3J3'23;3J3'Db .(M550(GM5:@0T\%58I%:"8R\%7/<J5AAR:)<J<8I05580,:)7/A$
B."0NY:"83J.7/A:"05[Q."505(1A3;N]\%<8,:)7/5.\/A<9G8I%5M."0WQ(:)7{7%.)8
S?5YQ.7/A3;1/505(1[8.kS?5YQ.)NF>%<J585]8,:)5Y5(9\L:@83J.7%AK8IL:@8]8I/5Y:)<
T."038I%NQ(:"7A.)<;5G:)7%18I/57P:)>%>/<^8I%57/.7
805:"85(1^80,:)7/A$
B."0NY:"83J.7G:)7%1.7/5F57%Q.)\%79850AA.<J):)S/<;5Y5(9\%:"83J.7/AK8I%:"88I%5
:)<JT).)038I%Nv1/.95AC7/.)8CA.<J5)b
c72Q.7980,:)A$8(G8I%5A58=.)B65(9\%:"83J.7/A=A.)<;):)S/<J5CS9].\0:"<JT.)038I/N
3JAQ<J.)A5(1F\%7L150=:)<J<%8I05580,:)7/A$B.)0NY:@83J.7%Ab=I/3;AQ<J.A\05>0.>
508kNF5(:)7/AC8I%:"83JBf3JA:)7.)>?50,:"8."08IL:@88I%5]:)<JT).)038I%NOQ(:)7
A.<J5)G6:)7%13B=.)7%5K:)>/>%<J3J5A8I%5K:)S?.@5 .)0,1/5D0>/05A50+3;7/T_80,:)7/A$
B."0NY:"83J.7/A /Gm8I%578I%5F05A\/<J8]3JA2:"T:"3;7 :"7^.>?50,:@8.)028I%:"8K8I%5
:)<JT).)038I%NQ(:"7A.)<;5bFI/3;AQ<J.)A\/05_>0.>?5083;A8I/5257/.@+
5<83J7k.\/0:)<JT."038I%Nbc8C05(9\%305AKNY:)3J78,:"A3J78I%3JA>%:)>?50D
A.<J+3J7%TY:2Q.N2S/3J7L:"8."03;:)<>/0.S/<J5N 3J7+80.+1\%Q51U3J7 5Q83J.7+b
03;."0_>%:)>?50A]1/.k7/.)8]IL:(5F8I%3JAKQ.N]S%3J7L:@8.)03;:)< >0.S/<;5N=3B
.7/5Y1/.95A7/.)8805(:"8R3J3J3'8I/578I/505F5X3JA$8AK:kJ63J7):"03;:"7+8
e G/G9Gd(@8IL:@8_B\/<;< 15850NF3J7%5A_f:)7%1^8I/5053JAF7/.7/55(1
8.2Q.N2S/3J7%52J(93J7+):"03;:)798AA\/QDI:)AT57%50,:"<;3JV51L5X>?.7/5798Ab
I%5>%:)>?50AedGKd)805(:"83J3'23;3J3'RS/\/8R7%."83aDb1%13J7%T^:
05A$803JQ85(1U50A3J.7U.)B3'=8.]8I/3JAM3J8IkU05A$803JQ85(1U8.
.S%3J\/A
80,:)7/A$B."0NY:"83J.7/A
05(9\%305A.7%<2:<J388<;5S/3J8."B65X+80,:Q.+1/5
?1/ 5850NF3J7/5(1PS9P>?.3J798AF8IL:@8:@055(:)A3J<
S?5Q(:"\%A5A\%Q,IWW3JAR
.S8,:)3J7%51Ba0.N{M38I%.)\/8Q.N]S%3J7%3J7%TT)57%5D0,:)<J3JV5(1L65X>?.7/5798Ab
.(M550(G:1%13J7%T_3'DGBa.)0T57%50,:"<?G8.]3;3'23J3J3'm3JAmN2\/QDIKNF.)05
M."0?%38C3JA8I/5:)S?.@5NF57+83J.)7%5(1YQ.N]S%3J7L:@8.)03;:)<>/0.)S%<J5N:"7L1
8,:)5A\%>NF.)A$8.)B.)\/0C3JNF>%<J5NF5798,:@83;.)7b
c7PA\%NFNY:@005(:"83J7%TW3'23J3'23J3;3'FA3JN2\%<8,:"7%5.)\%A<9GB."0
:"0S/380,:"0G GH GfP6DG3JA8I%5_7/5M 05A\%<8K3J78I%3JA>L:@
>?50(b :)7%1/<J3J7%T8M..)B8I%5A5=80,:)7/A$B."0NY:"83J.7/AIL:)AH:)<05(:1+KS?557
1/.)7%5S?5Ba.)05F:"7L1Ba.)0NF.)058I%:)7 $\%A$8`5AA5<Ba\%7%QD83;.)7%A,Db
\/0NF58I/.+12Q(:"7Y:)<JA.S?5:)1%:">/85(1]8.M.)02Ba.)0=.)8I/50A>?5Q3;:)<
B\/7%Q83J.)7%A.\/03;NF>/<J5NF5798,:"83J.73J7
FQ(:)7A.<J521/3465057
83;:)<.)>?50,:"8."03J7f850NFAY."BK`5AA5<GfI%388,:)5D0:"7L1 \/NFNF50
B\/7%Q83J.)7%Ab\%58._>%:)T5<J3JNF38,:"83J.7/ACM5.7%<U805(:"88I%5`=5AA5<
Q(:"A5I/5058I/5Z/0A$8:"\/8I/.)0 A=NY:"A$8508I%5A3JACe (?5X>%<;:"3;7/A=8I/5:)<
T."038I%N 3J7NF.)051/58,:"3;<3J7%Q<J\%1/3J7%TK8I%5WI/388,:)50Q:)A5 bM.

" !
#
$
%&('*),+
(.
-
(/
8I%50%&('1),
+ 3JNF>/<;5NF5798,:"83J.7Q(:)7
3254646798;:<:=<=<=9>@?AB462DC(?AB4FE(GH>JI<KLE6M<GLA5N5NBC5O#>
P C5:DQ P CBRDC6C6SFNT4D:U?1A5NT45CBSD:
I/5{NY:"A$8508I%5A3JAP:)7%1
S?5 .S8,:)3J7%51Ba0.N
b
WV
3JNF>?."08,:)798mQ(:)A5A8I%:"8=:"057/.)8m958805(:@85(1_:@05H8I%5

A>?5Q3;:)<

Ba\%7/Q83J.7Ba.)0T57/50,:)<%?DG9:"7L18I%5`5AA5<%Q(:"A5MI%505C23JAm7%."8:
0,:@83J.7L:"<Ba\%7%QD83;.)7US/\/88I/5A9\L:@050.9.)8."Bm:K0,:@83;.)7L:"<Ba\%7%QD83;.)7b
I/5Q.N]S%3J7L:@8.)03;:)<>/0.)S%<J5N 3JANF.)051/3 FQ\/<J8Ba.)08I%5A5Q(:)A5Ab
YX
2.
PRELIMINARIES
51/57%.)85S+R[e 8I%503J7/T_.)Bm13465057983;:)<.>?50,:@8.)0AM3J8I
Q.95 FQ3J5798A3J7rb .)A$8<JWM5I%:(5 6FS%\8A.)NF5
83JNF5AM5M3J<;<6:"<JA.27%55(1_>?.(M50A5D03;5AQ.95 FQ3;57+8AO 66Db
505 WM3J<J<S?5O\%7983J< 5Q83J.7r/b E[MI%3JQ,IM3J<J<805(:"87%.7
:"<JT5S0,:)3JQ(:)<J<kQ<J.)A5(1 6b
P>?.3J798
]3JA=Q(:"<J<;51F:A3;7/T\/<':@0>?.)3J7+8."B k[e
3B R3JA:V50.K.)B8I%5C<J5(:13;7/T]Q.95 FQ3J5798."0:K>?.)<J5.)B.7/5."B8I/5
."8I%50CQ.95 FQ3J5798Ab 8I/50M3JA5G 3JAQ(:"<J<;51U05T\/<;:"0(b
`R8I/5A.)<;\83J.7%A."B^M5NF5(:"7R8I/5A.<J\83;.)7%A."BH8I%51/34650
57+83;:"<H5(9\L:@83;.)7k%={+bcB 3JA05T\/<':@0(GLM5Q(:"7k5X>/ 05AA:)<J<
A.)<J\/83J.7/A]<J.9Q(:"<;<[:"0.\/7L1 [:)A>?.(M5D0]A5D03;5A_ '
MI/505
157%."85A8I/5<;.9Q:)<?>L:@0,:)NF585D0MI/3JQDIF3JA
3B R :)7L1
f
.)8I/50M3JA5b
^[
_
Z
i_
lm
l m no_
\[
UX
[
`_ badcBegf
hX
*_
][
UX
B_
lm
j !k @l m
D_ 0e
2.2 Formal Solutions and Generalized Exponents
p @q
sr6t vu6wLxJyT+{z|{&T)#+~}!+{wL|x,w
] m%"
{."Bm W63JA:
NF3J7/3;NY:"<H13J465D057983':"<H03J7%TR3;7kMI/3;Q,I550.>?50,:@8.)0KW[[e
I%:)A>/05Q3JA5<k1/5TL6
<;3;7%5:"0K3J7L1/5>?57L15798A.<J\/83J.7/Ab

D
'
# ~ ! 5
5X>
*
o
b
{
B
a B
{
*U
+~}5'#w!+{w*
i
#
D+{w!+~z{&T)xT+W+~}5'#Tw*+{w*
) (D&TzxJLx,|{)uFJx Tw|
_
lm

9_
5X> l l m =e l m [ke;e l m J

e <J.T6 l m
E)
m
c
B
|d]MI%57R7%.Ba0,:"Q83J.7%:)<>?.@M50A.)B l m .9QQ\/03J7o :)7L1om
8I/57
3JAQ(:)<J<J5(1uBwz{&Tx*+W? b
8:)79>?.3J798
_ 8I%5D05=:@05_ T57/50,:)<J3JV5(15X>?.)7%5798A` WWW( ~
Q.)005A>?.)7L1/3J7/T8.:S%:)A3JAK5X>
l m Y6
_ DG d(WW
."B
F=DbI/5A5T57%50,:"<;3JV515X>?.7%57+8AQ:)7S?5Q.NF>%\85(1e @b
Ba.)0=A.NF5
:)7%1]MI%5D05 ^=eJe ]J
e <J.T66
I%:)A]:7%.)7%V50.kQ.7%A$8,:"798K85D0NbI/3;A]Q(:)7[:)<JA.S?5_M03J8857:)A
5DX/>
@ 96 RMI%5D05 |
:)7%1
e
b
c
B mGM5T)58:2A.<J\83;.)7 :"7L1 3JAQ(:)<J<J5(1:"7
b
-/.)0 fM5T58>?.(M5D0A5D03;5ACA.)<J\/83J.7/Abc7T57%50,:"< 3JA
Q:)<J<J5(1
:)7%1_Q(:)7R15>?57L1].7Fb .<J\/83J.)7%A
8I%:"83J7+.<J5:<J.T:"038I%NM3J<J<LS?5Q(:"<;<J5(1
b
I/3JAQ.7/A$80\%Q83J.7Q(:)7S?5_1.7/5_:"8K:"79k>?.3J798 G6B."0MI%3JQDI
M5 $\/A$8IL:(58.]05>%<;:)Q5S9_8I/5<J.9Q(:"<>%:"0,:)NF5D850
bI/57R:
<J.9Q(:"<HA.<J\83;.)7k:"8 I%:)A8I%505>/05A57+8,:@83J.7
2.3 Bessel Functions
no

I/5A.)<J\/83J.7/A.)B68I%5.)>?50,:"8."0A f [
:"7L1U f6 6H %(:"05Q:)<J<J5(1`5AA5<Ba\%7%QD83;.)7%Ab
I/5]8M.<J3J7%5:"0<3J7L1/5>?57L15798A.<J\83;.)7%A 6C:)7%1
+6C."B
D
J
l j
3. TRANSFORMATIONS
-/0.)NO7/.@M|.7kM5M3J<J<H05A$803JQ8.\0A5<J5A8.Y3005(1\%Q3JS%<J5K.>

50,:@8.)0A.)BH1/5T"0558M.UA.K8I/5B."0N2\/<': +3J7R385N 3J3J3'
S?5<J.(M15AQ03JS?5AC:)79U
<J3;7/5(:"0Q.)N2S%3J7%:"83J.7U.)B?
Db
p @q
Ft
Jz{&Tw|@Tzi&5Jx,w

WW(
K /)
5D8_ 66Db
S?58M557
8M.13J465D057983':"<.>?50,:@8.)0A [[e 3JA:YNY:)>kBa0.)N 8I%5
A.<J\83;.)7fA>L:"Q5 F K.798.8I/5A.<J\/83J.)7A>L:"Q5 F DbP[5
M3J<J<H:1/105AA8I/5B.<J<J.(M3J7%TF80,:)7/A$B.)0NY:@83J.7%A
b

3aYp"qLsw%xl% q%y"oaq/jnax ? 6

6DGv6
?b
3J3aFx }}Hy@ltH~HpK_5X>
K 96?GKkb
3J3J3'RwLq%~wLxy@qLs
lLy)iq/(oal?s_ ^ G b
c g
5_157%."8528I%5]A.<J\/83J.7A>L:"Q5F.)BrS9 _ @

/ bI%5D0525X3JA$8A:F\%7/3J50A:)<5DX857%A3J.7
."B6DG
A. FIL:"A213;NF57%A3J.715T?B."0_550[7/.7%V50..>?50,:@8.)0
fm6e b^-%."08I%5FQ.)7%A$80\%QD83;.)7[.)B M5Y05DB50K8.[ed(@
G
I%:)>850b E+G/MI%505 |3JAC1/57/.)85(1S9 7%3J
b
.)A$83JNF>?.)08,:"798<JUM5K+7%.(M|8I%:"8C8I%5B\/7L1%:"NF5798,:)<A$/A$85N
."Bm<J.9Q(:)<A.<J\/83J.7/A:@8CR]Q(:)7S?505>/05A57+851:)A
5f
2.1 Differential
Operators
UX
:"05FQ(:"<;<J5(1`5AA5<mB\/7%Q83J.7/A.)BZ/0A$8K:)7L1A5Q.)7L1+3J7L16G05D
A>?5Q83J5<J9b
3JNF3J<':@0<[8I%5RA.<J\/83J.)7%A +6K:"7L1 /6.)B
:"05]Q(:)<J<J5(1k8I% 5KNF.+1/3ZL51k`5AA5<HBa\%7%QD83;.)7%A."B=Z/0A$8:"7L1A5Q.)7L1
+3J7L1b
I%5Y`=5AA5<Ba\%7%QD83;.)7%AM38I[>L:@0,:)NF5850 P r:"05YI9
>?505X>?.)7%57983;:)<CB\%7/Q83J.7/AU:"7L13J7f8I%:"8RQ(:)A5 :)7L1 :"05
05(1\%Q3JS%<J5b 3J7%Q5KM52.7/<kQ.7/A3;1/503005(1\%Q3JS/<;5].>?50,:@8.)0AG6M5
Q(:"7k:)AA\/NF5
b
I%5C80,:)7/A$B.)0NY:@83J.7R
dUA57L1A 8._ :)7%1F3JQ5
50A:+b
3;7/Q5M5M3J<;<:)<J<J.(M A\/QDI80,:)7/A$B."0NY:"83J.7/AR<;:@850(GM5
.7/<I%:@58.Y1/5(:"<M38I.)7%5.)B8I%58M._Q(:"A5Ab5QDI/.9.A58I%5

NF.+1/3Z%5(1`5AA5<Q(:"A5K:)7L1YM5157%."85P W b
-%."0R`5AA5<CB\%7/Q83J.7/AG8I%5UT57/50,:)<J3JV5(1f5X>?.)7%5798AF:@05k\%7/
0,:)NF3Z%5(13b 5b |d3J7_8I%5>05+3;.)\%AmA5Q83J.)7?A.7%.Ba0,:"Q83J.7%:)<
5X>?.7/5798A m\%3JA5\/XA5D03;5A,H:"057/55(1/51bI%5.)>?50,:"8."0 IL:"A
T57%50,:"<;3JV515X>?.7%57+8A U:"8_:"7L1
:@8 Wb
-%."08I/505A\%<83J7%TF.)>?50,:"8."0 k[e M5M0385K ? G
? W GH:)7%1[
? GH05A>?5QD83;5<9bR-%\/08I/50NF.)05G
M5CM0385 L 3B8I%505C5X3JA$8A:A5(9\%57/Q5C.)B680,:)7/A$B.)0NY:@

83J.7/A8I%:"8CA57%1/A 8._ b
I%5U0,:"83J.7%:)<Ba\%7/Q83J.7%AU%" :)7%1P M3J<J<S?5kQ(:"<J<;51>L:@
0,:)NF5D850A."B8I/5C80,:"7%A$Ba.)0NY:"83J.)7G:)7%1F3;7FQ:)A523J3'm8I/5B\%7/Q83J.7

5X>
]3JAC:2I9>?505X>?.7/57983':"<?B\%7/Q83J.7b
;n

T
~
@
,
3;ANY:">%>?5(1Y8.F
F
5t,
@ b
9
Ut
DG%8I/57~
=x/i[iq
HDL k[e HD, /; 9)C = a/
)$)YDD,U _a%Y$)% ),F")%R, ))]) )D U)

= " L] k[e maF1/5TL rEk /,ka/" Y a
F,/)/
F Fa%) )D)/ )D_))/
B 9q
L`*

c
BU Y
:)7%1 Q(:)7S?505M038857k3J7850NFA.)B:"7L1 \/A3J7%TR b7
:)7/A:"8VYB."0F 3J5<;1/A2:A$/A$85N."BC8M.5(9\L:@83J.7%AM38I^8I/055
):"03;:)S/<;5A]A55Fe 9GLI/5.)05NOE9b "Ba.)01/58,:"3J<;A,Db
c8=3JA=Q<;5:"08I%:"8=3B ? :)7%1F G98I%5A.)<J\/83J.7/A.)B
Q(:)7S?5K5X>/05AA5(1S9`5AA5<mBa\%7/Q83J.7%Ab .)750A5<9G6Ba0.N

5X/:)NF>/<J5AA$8\L13;51A.B:"0(G38K:)>/>?5(:"0A8I%:"8]:)79.>?5D0,:"8.)02
[e m8IL:"8IL:"A`5AA5<A.<J\83;.)7%AA:@83;A$Z%5A ? W>/0.@+3'15(1
8IL:@8]M5UT)57%5D0,:)<J3JV53'8.:"<J<;.(Mv[B."0_MI%3JQ,I WbI/3JA
Q.)750A5A$8,:@85NF579805NY:)3J7%AR8. S?5>/0.@57 )13;A>0.@57Z%0A$8
8I%5YQ.)7+50A5YA$8,:"85NF57+8M.\%<;1^7%55(18.S?5YNY:1/5F>05Q3JA5RS+
1/5DZL7%3J7/T]8I%5>/I/0,:"A5 I%:)A`5AA5<A.<J\/83J.7/A 9Db
I%5Y:"<JT.)038I/N >05A57985(13J78I%3JA>L:)>?5D0KZ%7L1AKA.)<J\/83J.7/A]3J7
:)<J<HQ:)A5ACMI%505K= L3JAA:@83JA$ZL5(1[M38I%8I%5Q(:)A5
G? 3JA7/.)8IL:"7L1<;51U3J78I%3JA>L:">?50DDb
3J7/Q5]M5_:"05]7%.(M3J798505A$85(13J7Z%7L13;7/TF8I%.A5K80,:)7/A$B.)0NY:@
83J. 7/ABa.)0:2T3J57.>?5D0,:"8.)0 M5A$8\L1+R8I/5NNF."05>/05Q3;A5<J9b

n

^n g 0n
$n
I/5k05<;:"83J.7/A L :)7L1 ? :@055+\/3J:"<;57%Q505<;:@83;.)7%A
A55Uedm."0_e @aS/\/8 ? 3JA7/.)8]3B3;A7%."8:

.S/3;\/A80,:"7%A$
Ba.)0NY:@83;.)7G/8I%573a3JAC7%."83;7+5D083;S/<J5G%\/7%<J5AAM5T)57%5D0,:)<J3JV5K8.
:"<J<;.(M:)<JT5S0,:)3JQB\/7%Q83J.7/AB.)0?Db
C73;NF>?."08,:)798k9\/5A$83J.7MI%57A5(:@0QDI/3;7/TPBa.)0k80,:)7/A$B."0NY:"
83J.)7%AS?58M5578M..)>?50,:"8."0AK
:)7%1 3JAMI/58I%5D0KM5FQ(:)7
05A$803;QD8.\/0A5(:"0Q,IR8.]:A>?5Q3ZLQ."0,1/50.)B8I%580,:"7%A$Ba.)0NY:"83J.)7%A

L
G ?
:)7L1 ? b
i
n n n
x/i[iq0D , / [e =Da9) DD%6D/DB
"D~/
,Fa/) n? n? td%DYa%D)K) U
DD%6D/D"
) k[ e ~%,Fa/ /) n%nLg / t
2J) T_ R Ln nL / qLs ~%,fa/)
L
n ?n
/t
`* 582 ;Ln ( nL / :)7%1M5R1/57/.)85iv

5DX/> ] bI%578I%5A.)<J\/83J.7A>%:)Q5."Bm 3JA
/
/ m52 RY W
F
L

n ; [ / RY Wb
57%Q5G? \Ln s; Ln (
/ B."0A.)NF5$ [e M38I

nK +bmI%5Q.7+50A5=B.<J<J.(MAS98I%5A:)NF5Q.)NF>%\8,:"83J.7b
3J7%Q58I/5k.)0,150Y.)BL
n :"7L1Ln Q(:"7fS?5A$M38Q,I%5(1PM5
M0 385bL
n #Y B.)0H:)79A5+\/57%Q5."B+8I%.A5)bI%5.)0,150Q.7/Q507%3J7/T
:]QDI%:)7%T)5.)Bm):"03;:)S/<J5AQ(:)7S?5QDI%:)7%T)5(1:"ABa.<J<J.(MAb
x/i[iq0D [e ~/,a/) n? tg/D

a/D_) [e ~%,a/) nL n%g`
`* A3J78I%5K<;:)A$8>/0.9."B.)7%52A3JNF>/<J05M0385A8I%5]A.)

<J\83;.)7A>L:"Q5.)BHF
/ 8._AI%.(M8IL:@8
3'U ?
n
\?n / [e A\%Q,IU8IL:@8

n ?n
L
/ GM38I 2
?:"7L1g2 6Y

]#9
b
3J3'U ;?
n Ln g
/ [e HA\%Q,IU8I%:"8
n ; Ln (
?
/ M3J8I
?k:)7L1

?) b
=x/i[iqHD{ [e FDk=) DD/D/D)

"D
~/
,a/) ?n P
)?;D9,F)D)?D%; "Ca/
)/1_t
+
Da%D,F"h;DR/B)a%D,
DLDD%
)"
j l ,n d6

m
a
%Do a l m "[D"6D%;)1_t
, Ln gf
)?k 2) D )?D%;
)Ca%"%`_#
a%D/)K"D )6D/bi
m a ]R _($$t
L`* 58 l S?5U8I/5<J.9Q(:"<C>%:"0,:"NF5850 l m b 3J7%Q5 3JAY:)7
5X>?.7/5798(G IL:"AC:2A.<J\/83J.)7.)B8I/5B."0N
2W5DX/> l l H
B."0A.)NF5$ e;e l '
e <'7= l M38Ik7%.7
V50._Q.)7%A$8,:"7+8C850Nb=I%5
5X>/
>0.+1/\%QD8Q.7+5D08A8I/3JAA.<J\/83J.7k3J798.
Kf5X> l 5DX/> l l

c7U.)0,1508._1/5850NF3J7/58I%55DX/>?.)7%5798C:@8H
_ M5IL:(58._05DM03J85
8I%3JA_5DX/>05AA3J.73J798.8I/5RBa.)0N
E)Db[[5YI%:@5R8.IL:"7L1/<J5Y8I%5
>?.A383J5U:)7%17%5T:"83J5Y>?.(M50A].) B l 3J7[A5>%:"0,:@85<9b-%.)0K8I%5
>?.(M50CA503J5AC>L:@08
aj 6 @l M5T58
l
;
5X>
l fW5DX/> j LW
d
'
j
o l
W38IK5X>6m a6C M5Q:)7]05DM03J85=8I%3JA:)AH:>?.(M50HA503J5A
3J7
A\/QDIR8IL:@85DX/>
'6 M38I d)b
I%5K7%5T:"83J5K>?.(M50A.)B 3J78I/5A503J5A5X>L:"7%A3J.7."B_S?5D
Q.)NF5:2>L:@08C.)BH8I/55X>?.7%57+8(
5X>
n
n n #
n #

n #

l6ijHosq%lLy"oaqLn y@lLjnax/i F05Q."50]f:)7L18I%5F`5AA5<>%:"

0,:"NF5850 LS9YQ.)N2S/3;7/3J7%T]8I/5A5>L:@083;:)<>/3J5Q5A.)B1/:"8,:+b
^ n g`v
Ba850k{:"7L1 W:"05B.)\%7L16GM5Q:)7WZL7%18I%5
L
80,:"7%A$Ba.)0NY:"83J.)7k\%A3J7%TF:"<JT.)038I/NFAC>05A57985(1R3;7eJdDb

H
~
3.1 The Exponent Difference

-0.NI/505.7G+8I%5M.)0,1 5X>?.7/5798 ]05Ba50A8. \%7/0,:"NF3ZL5(1

T)57%5D0,:)<J3JV5(15X>?.7/5798 3b 5b |d3J7 5 Q83J.7E9b E)Db
~
l l
f5X>
dl '
.N]S%3J7%3J7/T]8I%58M.205A\%<8AM5T5D8
l l
f5X> dl ' @l l
=e;e l Je <J7 l I%:)AC:27%.)7/

V50.2Q.7/A$8,:)798850Nb
I/505A$8B.)<;<J.(MA3JNFNF5(13;:"85<9b
52Q.)7%Q<J\%1/5cB L B."0:)79A5(9\%57%Q5K.)B=80,:)7%A$Ba.)0

NY:@83J.7%A8I%57
?
?
r B."0_A.NF5
W[e b
CAA\%NF5 | 3;AT3J57r:)7%1fM5A5:"0Q,IrBa.)0
80,:"7%A$Ba.)0NY:"83J.)7%A2MI/505R
v=bc
B7%.kT:"\%T)5U80,:)7/A$B."0NY:"
83J.)7.9QQ\005(1G8I%57U383JA5(:"A$R8.]05Q.@50UBa0.)Nv S9Y\%A3J7/T

8I/5B:"Q88IL:@8 F @ k E05NY:)3J7%A3;7+):"03;:)798\/7L1/5D0
L G:"7L18I%5B:"Q88I%:"8 RQ.)NF>%<J585<15850NF3J7%5A A55e G

G+GHd(@Ba.)0158,:)3J<JA,Db`\/88I%5053JA7/.FA3JNF>%<J5B.)0N]\%<;:_B."0:)7
3J7+):"03;:)798C\%7%1/50 L
[8IL:"8Q:)7k15850NF3J7%5Q.)NF>%<J585<9b
I/505]:"05G?I/.(M55D0(G?<J.9Q(:)<3J7+:@03;:)798ACBa.)0 L
G?S%:)A5(1k.7
5DX/>?.)7%5798]1/3465057%Q5A]3J7+80.+1\%Q513J7[8I%5Y7%5X+8KA5Q83J.)7b =:"QDI
<J.9Q(:"<H3J7+:@03':"798.)7%<R/3J5<;1A>%:"083;:)<3;7B."0NY:"83J.7:"S?.\/8GL:)7L1
.)\/0CNY:)3J7R8,:)AYM3;<J<S?58./
a
MI%5D05
-%."0:T:)\/T580,:)7%A$Ba.)0NY:@83;.)7KM38IK>L:@0,:)NF5850A :"7L1 G@8I%5
05A\/<J8B.<J<J.(MABa0.Nv8I%5B.)<;<J.(M3J7%TB:)Q8AC8I%5K5X>?.7/5798A."B
:)7%1k :"0523;7985T)50AG68,:)+3J7%TU1/503J):"83J5A.)B\%7/0,:"NF3ZL5(1>?.(M5D0
A503J5AHQ,IL:"7%T)5A5X>?.)7%5798A.7%<S+3J7985T50AG):"7L1ZL7%:)<J<9G":1%13J7%T
\%70,:)NF3ZL51R>?.(M5D0A503J5AQ:)7.)7%<RQDI%:)7/T55X>?.)7%5798AS9Y3J7+85D
T5D0Ab 57%Q5G6T:"\%T5]80,:)7%A$Ba.)0NY:@83;.)7%A.)7%<kQ,IL:)7/T5]5X>?.7%57+8A
S9 3;7985T)50A7%.)85)kB.)0R0,:)NF3Z%5(1PT)57%50,:"<J3;V5(1f5X>?.7/5798AF.7%5
:)AC3;7 5QD83;.)7E+b E)Db
M.)\%<;1T)58
NF.+1 [M38I
cB=15TL=E+G6M5KIL:(58M.U5DX/>?.)7%5798A :@8:F>?.3J798
:)7%1M5FQ(:)<J<
:"7[5X>?.7/5798K1/3465057/Q5bRI%5F5DX/>?.)7%5798
1/3465057%Q53JA15ZL7/5(1]\/>28.: fA3JT7Y:)7%1]M5C157%."85 R ?
2
DbHc
8Ba.<J<J.@MAHB'0.N|8I/5=>05+3J.\%A<J5NFNY:8IL:@8 WNF.+1
3JA3;7+):"03;:)798\/7L1/5D05X>/
>/0.+1\%Q8A:)7L1RT:"\%T580,:"7%A$Ba.)0NY:"83J.)7%AG
3b 5b U 6NF.+1 P U 6NF.+1 ^3B ?
b
3J7/Q5M5M3J<J<S?53;798505A$85(1U3J7A3J7%T)\%<;:"0383J5AC.)BmMI%3JQ,I:"05
<J.T :"038I%NF3JQ2."0MI%.)A525X>?.)7%579813465057%Q5]3JA7/.)8:"73J7985T)50(G
8I%5B.<J<J.(M3J7%TY8I%5."05NM3J<;<S?53JNF>?.)08,:"7+8(b

]
J n
_

_
d
n #
x+lLy@x%i H Dk[e ,R" DD%)D/D$)

)K)LF;D
_f,_)%td,a%DY)])[D/D)
"$ [e bH%D_
B {
n #
J_ it
`* _

n ; n
_
_
_ g
J_
`_
! *_
*_
a
J) /,Ra/"
%
Ha/Dka%) )% |"
L)J),a+]K)? U 6
58
:)7%1 S?5U:"A]05(9\/3J051bI/57^8I%505Y5X3JA$8
0,:@83J.7L:"<B\/7%Q83J.7/A2 $ W :)7%1
[e A\%Q,I[8IL:@8
L
L
?-%\/08I/50NF.)05G%<J58 S?5]:F05T\%<;:@0>?.3J798
."B bI/5]T)57%5D0,:)<J3JV5(15X>?.7%57+8A:"8 :@052R:)7%1db 57/Q5G
R 6] r:)7%1Ba0.)N8I/5F>/05+3J.\/A<;5NFNY:U38B.<J<J.(MA28IL:@8
R 6= b
3J7%Q5 ]3JA05T)\%<;:"0(G)8I%5<J.9Q(:)<+A.<J\83;.)7%A."B
:"8 ]1/.C7%."8HI%:@5
<J.)T :"038I/NFAbmI%5=<;.9Q:)<A.<J\/83J.7/A.)B%:"8 KQ(:)7KS?51503J5(1Ba0.)N
8I/5A52S9:)75X>/
>/0.+1\%Q8:)7%1:YT:"\%T)5]80,:)7/A$B."0NY:"83J.7b53
8I/50.)B=8I%5A5]80,:)7%A$Ba.)0NY:@83;.)7%AS/03J7/TA3J7<J.T:"038I%NFAb 57/Q5G
A.)<J\/83J.7/A."BP:@8 :"057%."8<;.)T:@03J8I/NF3JQb
H_

c 7U8I/5B.<J<J.(M3J7%TYM5M3J<J<H\%A5 8.2Z%7L1Y8I%5>L:@0,:)NF585D0."B
8I/5=Q,IL:"7%T)5=."B%):"03;:)S/<J5A:)AM5<J<+:)A8I%5=`5AA5<+>L:@0,:)NF585D0 8IL:@8
3JAC3J7.<J5(16bCAA\%NF58IL:@8=6DA._M5Q(:)7B:)Q8."0550
>?.)</7/.NF3;:)<?3J798.<J3;7/5(:"0B:)Q8."0Abm[5M3;<J<6<;:"850805(:"8v 66
Ba.)0CZL7/3J85<JRT)57%50,:@85(15X+857/A3J.7%A R.)B b

][
b[
9
~
n t
,_ ! ;
oH $_
B
B ;b " _ 0 Tt
#,_
;
{
B
B
j @l m _
_ l m
l
`* l
m _

d
_
$
l 0j @l
s[
j
[ F
x+lLy@x/i
HD
k[e /,ka/"m ?
k
[ @DR C maU / ? O
a%D ^
J)+ J), R
)L U W 6 E

aY_; K
v /,a/)
ma L
a
a%D ])D /J"_+ J), k
)L
R 6m E

'
58 S?5C8I%5<J.9Q(:"<>%:"0,:"NF5850
b.]Q.)NF>%\85C8I/5
T)57%5D0,:)<J3JV5(15X>?.7%57+8A."B
:@88I/5>?.3J798 G/M5KA$8,:"08CM38I:
A.)<J\/83J.7^.)BC GH05>%<;:)Q5Y[S9[8.T582:A.)<;\83J.7 .)B
:"7L1U05DM03J85 _3J798.28I/5B."0N
EDb
: 58 S?5:kV50..)B M38I N2\%<83J>%<J3JQ 38
Gm8I%57
IL:)A8I%505>/05A57+8,:@83J.7 ' M3J8I k:)7L1
+bK-%\/08I/50NF.)05)G?<J58 F S?5_:Y<J.9Q(:)<mA.)<;\83J.7[:@8
RW2."B8I%5Ba.)0N
]W
? W
a6
j
*
_
k [ k
UX

c
BFM5^7/.@M 0 5>/<':"Q5S9GKM5T)58:f<;.9Q:)<_A.)<;\83J.7
a6 .)B bm.Q.)NF>%\/85m8I%5T57/50,:)<J3JV5(125DX/>?.)7%5798m:@8
]M505M0385 A\%Q,IK8I%:"8 f5X>
'6 B.)0A.)NF5
_ ? bYI/5_B:"Q88IL:"8
GMI/50528I/5
Q.7%A$8,:"798_Q.95 _Q3J5798_.)B W 6e;e ;3JA]7%.7
V50./GmA3JNF>/<J3;5<'1A
6b
3JNF3;<;:@0<J9GB.)08I%5CA5Q.7%1F3;7%1/5>?57L1/57+8=<J.9Q(:)<?A.)<J\/83J.7R.)B

:@8 RWG9MI/3JQDIYIL:"A5X>?.)7%5798 GM5.)S/8,:)3J7F8I%5T)57%50,:"<J3;V5(1
5DX/>?.)7%5798
b 57%Q5G8I%5A3J7/T\%<;:@03J8 Y3JA=05T)\%<;:"0:)7L1
R 6m 2
m E b
c
B 8I/5]A5Q.7%13J7L15>?57%1/5798A.<J\/83J.7Q.798,:"3;7/A:Y<;.)T)
:@038I%N <J76Db .(M550(G6M5]Q(:)7A$83J<;<1.R8I/5]A:"NF52Q.)NF>%\/8,:@
83J.)7%AbI%5A.)<J\/83J.7 M.\%<;128I/5723J7+.<J5<J7 H:)7%1]8I%5=05A\%<8
Ba.)0C8I%55DX/>?.)7%57983JAA$83J<;<80\%5b
SL] A3JNF3J<':@0Y:)>/>/0.:)Q,I M.)0+A_3J7A5Q.7%1 Q:)A5b 58
S?5
:k>?.)<;5Y."B[M38I^N2\/<J83J>/<;3JQ38

b
%
I

5
7
(
Q
"
:
7
)
:
J
<

A
.
S?5
M038857:)AR
'6
M38Ik 6,
W+b
5A$8,:"08M38I8I%5<J.9Q(:"<A.)<;\83J.7kY.)B=:"8CR
Q.)005
A>?.)7L13;7/T8.8I/55DX/>?.)7%5798
bmI%505C5X3JA$8A:A503J5A
^ 6eJe JA\/QDIR8IL:"8
9
$B l l j k Jl
l
][ l
bnb
n
_ J ns T

d
[ l j
g
j l
H %'&
_
l
_
[
0e
l l j f5X>`n l d l j
j
j
2f5X>
lj
l j nL

3JA2:A.)<J\/83J.7^."BCbc7.)0,1/5D0K8.kT)582:A.<J\/83J.7 ."B M5

IL:(58.205>%<;:"Q5S9UGL3b 5b
S9 b 57/Q5G+M51.28I%5
B.)<J<;.(M3J7%TYA\/S%A$838\/83J.7/A
d
l j Ln %
l j Ln d

:"7L1
9
j
l l [6 W

a6
l j @l [? W
F
a6
[5:)>/>%<F8I%5A5A\%S%A$838\83;.)7%A8.U9:"7L1UT)58:K<;.9Q:)<A.)<J\/83J.7

| eJe JMI/505
.)B
:"8K 5X> ?
Q.)N2S%3J7/5AY:)<J<8I%57/5MvA503J5AR8I%:"8FM5k.S/8,:"3J7Ba0.)N
Dbr
A
3J78I/5_>/0.9."B.)B 5NFNY:FUM5FQ(:)705M0385F5X>
' :"A
>?.(M502A503J5A23J7 bI%5Y7/5T:@83;5U>?.(M5D0A]."B 05NY:)3J7[3J7[8I%5
5X>?.7/57983;:)<>L:"08(GMI%3JQ,IU8I/57S?5Q.NF5A
n '
_ $
;n
l ( [ l
l
)
dl ' n l E l
I+\%AGL2I%:)A8I%5T57/50,:)<J3JV5(15DX/>?.)7%5798

n
' l 6 b
cB/M5A$8,:@08M38I]8I%5A5Q.7%1]3J7L15>?57%1/5798HA.)<J\/83J.72M38I]T 57
50,:"<;3JV51_5X>?.7%57+8n M5A3JNF3J<':@0<_T5D8
'
l )
b57%Q5GT_3JAC :)73J0% 0& 5T\%<;:@ 0A3J7%T)\%<;:"038."B9 :"7L1* R ?_
Em a l b
5X>
@l l
f5X>
I%5<;:)A$88M.]8I%5.)05NFA3J<J<J\%A$80,:@858I%5CB.<J<J.(M3J7%TY1/5DZL7%383J.7/Ab
,+Dt
*_
" J_
*_
+~}5'-&('L'&Tzh+~w!
1_
_
3ao+~}5'-zh+~u6) &Tz./UJ?
_ =kf.)03JA<J.)T:"038I/NF3;Q:"8_G
3J3ao+~}5'-xzzh+~u6) &Tz.0R_?=ed l m @"b
[5U1/57%.)85Y8I%5YA582.)BA3J7%T\/<;:"0383J5A_8IL:@8F:"05U5X>/05T)\%<;:"02S+
21 :"7L1R8I/.A58I%:"8C:"055X>3005T)\%<;:"0S9 b
."8528IL:@805T\/<;:"0K>?.3J798AK:"05F:"<;A.k5DX/>:)>%~>% :"05798:"7L18IL:"8
p @q
K /) ^>?.3J798 2."B?k[e 9B."0MI%3JQDI U 6=

): 7%13JA7/.)8H<J.)T:"038I/NF3;Q:"8 K3JAHQ(:)<J<J5(1]:)7
%>?.3J798(b
cB 3JAC7/.)8C5X>/:">%>L:@05798(G k3JACQ:)<J<J5(1
55D02>?.)3;798mMI%3JQ,IF3JA=7/.)85X>/:)>/>L:@05798mN2\%A$8mS?5:A3J7/T\%<;:@03J89b

cB?M5I%:(5C:)7F.>?5D0,:"8.)0[A\%Q,I28IL:@8= L
L
G
5X>/:">%>L:@05798>?.3J798A.)B:"05A3J7/T\%<;:@03J83J5AC.)BMI/3;Q,INF3JTI98
IL:(5]S?5573J7+80.+1\%Q51S9k5X>>0.+1/\/Q8A:"7L1T:)\/T5280,:"7%A$B."0
NY:"83J.)7%Ab
.8I%5 :@05k\%7/3;NF>?."08,:)798_MI/57A5(:@0QDI/3J7%TBa.)0b
X/>
3J005T\% <;:@0A3J7%T\/<;:"0383J5A.)Br:@05_:"<;A.U3005T\/<':@0A3J7%T\/<;:"03
83J5A.)B
:"7L1UQ.)005A>?.)7L1U5DX%:"Q8<Y8.]8I%5>?.<J5A.)Bb=-H3;7%:)<J<9G
55D05X>/05T\/<;:"0mA3J7%T)\%<;:"038]3JA:V50..)B8I/3;A3JAm7%."8:.)7%5
8. .7/5Q."005A>?.7%1/57/Q5:V5D0.K."BR7/55(127/.)8=S?5:A3J7/T\%<;:@03J8
.)BMI%57 U Db5Q.N]S%3J7%58I/5A550]3JNF>?.)08,:"7+8m05A\/<8A
3J78I%5B.<J<J.(M3J7%TYQ.)0.)<J<':@09b
n n g`
53
6
43
, ?n ?n # a%9 JBm 9K/J)87

#_U . _^;;t
#_U ~2 1 _^!@D$;Ct
L`*] 3'6cBT_3;A:>?.<J5=."B?G"38Ba.<J<J.(MAHBa0.N{I%5.)05NE3J3'
8IL:@8
_ ^ bcB_ 3JA7/.)8:_>?.<J5G9U W
6_ r:)7%1_g^
S9UI%5."05N
~ d:)7%1I% 5.)05NvE+3aDb
{
3J3'
A3J7%T 1: <
; :)7L1r3'DG8I%5.)7%< 8I%3J7%T8IL:"8
05NY:"3;7/A8.S?5>/ 0.@57_3JA=
~ 8IL:@8#_s B."0:)79].)0,13;7%:"0F>?.)3J7+8
_."Bb .U<;5D8_S?5]7%538I%5D0K:RV5D0. 27%1 ."0K:U>?.)<;52.)Bb2I%57o_
3JA:F05T\/<;:"0>?.)3J7+8.)B
G63b 5b(R
6_ P
:)7%1k8I/5A.<J\/83J.7/A
.)B :"8
_ :"05_7/.)8<J.T:"038I%NF3JQb2-/0.)NI%5.)05Nd238B.)<;<J.(MA
lLy@l?nanaq%y@h
8IL:@88I%3JAC:)<JA.FI%.)<;1/AB."0b
1
I/5A58A
:)7%1
Q(:)7 S?5Q.)NF>%\85(1^5(:)A3J<9b
.M5
:"<05(:1++7%.(M :"<J<=>?.)<;5AK."BCbF`=\/8A3J7%Q5]M5FIL:(5]7%.U5(9 \%3J:@
<J57/Q53J73;3'DG+M5NF3;T)I987%."8A55_)V50.A."Bmb .(M550(G+Ba0.)N
I/5.)05NEM5+7%.(MWNF."053J7B.)0NY:@83J.7:"S?.\88I%5>?.<J5A."B
M5Q(:)7Q.NF>/\/85550R>?.<;:"0C>L:@08C.)B[\%>R8.F: |A3JT7LDb
`8I%5R>?.<;:@0_>L:@08_."B :"82:k>?.3J798 ^M5RNF5(:)78I%5R7%5T:"
83J5K>?.(M50>L:@0 8."B=8I/5KA5D03;5A05>/05A5798,:"83J.7.)B:"8 b .Y 3B
R a
G
G8I/5m>?.<;:"0>%:"08:"8 ]3JAR a b
57%Q5GL8I%5K>?.<;:@0>L:@08."B:"8 3;A7%.)7/
V50.F3B:)7L1.)7%<
3B 3JA:Y>?.<J52."Bb .)7%A3;1/5D03;7/TU8I/5]>%:"083;:)<Ba0,:"Q83J.71/5Q.)N_
>?.)A383;.)7G68I%5>?.)<':@0>%:"08A:@8:"<J< r1/5850NF3J7/5K\%7/3;+\/5<
\/>f8.:^>?.)<J7/.NF3;:)<3J7 6e /
G5b T/b 66D 66 e %b
-/\/08I%5D0NF.)05GL8I/5]>?.)</7/.NF3;:)< 6?3JA8I/5]>?.)<;:"0>L:@08."B:@8
[ WGMI%3JQ,IQ(:"7[S?5FA557MI%5705>/05A57983J7%Tk:@8 ^
3b 5b?3J785D0NFAC."B
DbI+\%AG%8I/5A\%N ."B8I%5>?.<;:@0>L:@08A
15850NF3J7%5ACk\/>U8.F:]Q .7/A$8,:)798C b
I/5.)05N E3J3'2AI%.(MAYI%.(M 8.Q.NF>/\/85Y8I%.A5>?.<;:"0R>L:@08A
B'0.N8I%5Y5X>?.7/5798]1/3465057/Q5A U 6K:@8]8I/5F5X>/
3005T\/<;:"0
>?.)3J7+8Ab
3;7/Q58I%5 U 6Y:"051/5Z%7%5(1\/>f8. A3JT7/AGM5
.)S/8,:"3;7^5:) Q,I^>?.<;:"0]>L:@082\/>8.k:A3JT7 :)AM5<;<bkc
B
IL:)A
5<;5NF5798AG.)\/0R:)<JT).)038I%NQ,I%5QD+AF:"<;<E Q.)N2S/3;7%:"83J.7/A .)B
A3JT)7%AG3J5<;1/3J7%T:A58Y.)BQ(:)7%1/3;1%:@85AY1/57/.)85(1S9 b 7/5."B
8I/5A5Q(:"7L1/3;1/:"85AM3J<J<S?5K\%>R8.F:2Q.)7%A$8,:)798(b
c
B?M5C+7%.(Mf:@8<J5(:"A$8.)7%5V50..)B_M5Q(:"7F\%A5C3J88.Q.)NF>%\/85
8I/3JAQ.)7%A$8,:)798(bmc7_8I%3JAQ(:"A5CM5Q(:"7YZ%7L1YYS+]803;7/TK:)<J<?Q(:)7%1/3
1/:"85A3J7 bH`=\/83B
+G8I/57FM5M3J<J<67%551U:"7:)1%1/383J.7%:)<
NF5D8I%.+1 5Q83J.7U/bJd@8.2Z%7L1U:"7L1Y8I%5`5AA5<H>L:@0,:)NF585D0 b
j l m T o
#_
lj

CB
H_
*_
0[
?=
"
_
l m
_
)=
@_
>=
1[
b_ e
$
~A @
B
1 D;
3.2 The Parameter E
C7f3JNF>?.)08,:"7+8Y>0.>?508PBa.)0`5AA5<B\%7/Q83J.7/AU3JAY8IL:"8Y8I/5

A>%:)Q52=6$ 6P=?$ 6 G63b 5b?8I%5KA>L:"Q5KT57/50,:"85(1S9
:"<J<T:)\/T5K80,:)7%A$Ba.)0NY:@83;.)7%A.)B:R`=5AA5<HB\/7%Q83J.)7 6DGL3;A3J7/
):"03;:"7+8\%7%1/50 ]Wdbc7k.)8I/50M.)0,1/AG383JAA\ FQ3J57988.
Z%7L1 NF.+1/\%<J.C:)7K3J7985T50(bHcBM5=8,:"5: M0.7/T 8I%:"83;A."4FS9
:"7U3J7985T)50(G+8I%57F8I%3JA3JAQ:)\%T)I98S9_8I%5CT:"\%T580,:)7%A$Ba.)0NY:@83;.)7G
MI/3JQDI3JAQ.)NF>%\/851U:@Ba850M:"0,1/Ab
-/.)08I/5`=5AA5<+>L:@0,:)NF5850 M5=M3J<J<+IL:(5m8.Q.7/A3'150A550,:)<
Q:)A5Ab5NY::)AA\%NF5
."8I%50M3JA5 3;A05(1/\/Q3JS%<J5@Db
I/5B.)<;<J.(M3J7%TY<J5NFNY:]I%:)7%1/<J 5A8I%5Q:)A5 U b
F
Hs
L.B

FX
$ o
x/i[iqHG0D [e ,KF" DD%)D/D$)

)WtC~+Y
L
n t %Da%HJBm9Y"_JIU+@";D/27
%LK D,))FDD]a)/
9D{ t (t1Ut
#g%D)D * B J)29B J)DaP
_ ;C |~% ,a/)
J"Da92])1_t
`*K 3' 3J3'cB9 3JA:"7k3J7+85T50(GL8I/5B\/7%Q83J.7/A3J78I/5
A.)<J\/83J.7_A>%:)Q5bF H:"05T:)\/T580,:)7/A$B."0NY:"83J.7/A."BL8I%5=B\%7/Q
83J.)7%A3J7F
~
Db .383JAA\LFX Q3J57988.R>/0.@528I/52Q(:"A5
bI%57 IL:"A:F<J.T:@038I%NF3JQ2A.)<;\83J.7:"8bI%3JA
A.)<J\/83J.7^3JA80,:)7/A$B.)0NF513J798.:A.)<;\83J.7

."BbRI/3JAM.)0+A
:"A3J78I%5K>/0.9."BA."BI/5.)05NEF:)7%1
5NFNY:_bc
B`_ 3JA:FV5D0.
."B8I/5>%:"0,:"NF5850Y3J7Y8I/5Q,IL:"7%T)5."B):"03;:)S/<J5AG+8I%5<J.T:@038I%N
Q,IL:"7%T)5AC:)AB.<J<J.(MA
l m 'j l m
f<J7
<J7 l m ^<;7 d= 'j @l m
@ Q8\%:)<J<=E Q.N2S/3J7L:"83J.)7%AG/A55Mm X/:"NF>%<J52db

<J76m
M I%5D052 db .YPIL:)A:_<J.T:"038I%NF3JQKA.<J\/83J.7:@88I/5K>?.)3J7+8
k:"7L1A3J7%Q53J8M :)AC:2V50.2.)B=G/3J8C3JAC:)<JA.F5X>/05T)\%<;:"0(b

3J3'
3'cB
8I%57k8I/52<J.9Q(:)<mA.)<;\83J.7%A."B=1/.R7%.)8
3J7+.<J5<J.)T:"038I/NFA :"7L1RI%57/Q58I%5A:"NF53JA80\/5B."0b
[5YM3J<J<C\/A5U8I/5RB:)Q8FB'0.N I/5.)05NE3'K8I%:"8PU_63JA

TUNF.+1iBa.)0C5X>/05T)\%<;:"0CA3J7%T)\%<;:"0383J5A9_ 1 b
=x/i[iqRQ %DK
)DFD%])h% )TS 21 7
#J),a+]2)
7 |J"Da92])SU. U o
a#/9D2)7
V;
UCB
$))L)7 U 1 O@S 6 U CB
@A^)q JU)7 U O@S [L5
. U [W
A,")?)H)7 U O@S
[
. [
X9 )?Y)YD? D F){+FK=n? YBt,Z" A
)% R
(,U+ ,
[ ?)) 9)a R J) )C[*tBt
L`* :"A5_3'I%:)AS?557R>0.@57Y3J7o 5NFNY:+b`YI%5."
05NE+3aU
O@S mET*\Um iW\ Ba.)0=:)<J</V50.A
S .)B?8I/5>L:@0,:)NF5850
b
505S99G! \ 3JA8I%5]N2\%<83J>%<J3JQ38k:)7L1 \ b 3J7%Q5FIL:"A
:"8<J5(:)A$8.)7%5]V50.>?.AA3JS%<:@8de 8I%5D05]3JA:@8<J5(:)A$8.7%5KA\%Q,I
E
5(9\L:@83J.7B'0.NMI%3JQ,IM5Q:)7k15(1/\/Q5Q(:"A5A]3J3'8./Db
1 D
;
6S ^ 1
YB
^]
pK@q/)C[*t 5D8_S 1 `
;S?5:V50..)B8I%5>L:@0,:)NF5850
bH5D8 \ S?58I/5N2\/ <J83J>/<;3JQ38U."BYSbm[515ZL7/5
]\ ba U ETO*@S \ c "Yf
E*\n ded
cc
:)7%1f
] gU NF.+1i c S 1 W\ o
cc5h W\ 6]\ .)0gns W\ C]\ji
C5Q(:)<J<8I%:"8C3B
GLM5KQ:)7>%3JQ,:_V5D0.
.)Bb
c7K8IL:@8=Q:)A5M5Q(:"7_Q.)NF>%\/85Q(:)7%1/3;1%:@85A B."08I/5>L:@0,:)NF5850
3J7]8I/5QDI%:)7/T5.)BL:@03':"S%<J5Ab-%."0m5(:)Q,I_Q(:"7L13'1/:"852M5Q.NF>/\/85
:2A58C."BQ(:)7%1/3;1%:@85A Ba.)0 b
`."8IA58AC:"05Z%7%385:)7%138C3;A5(:"A$U8.2A55
0, n )?dCa%KD)"YDD

C]t
lLy@l?nanaq%y@h
= ?
a%D
NF.+1 ^
4. THE ALGORITHM
I%5]3J7%>%\8."B.\0:"<;T).)038I%N3JA:R1/3465057+83;:"<.)>?50,:"8."0K
): 7%1M5M:"798H8.+7/.@M^MI/58I%5D0H8I%5=A.<J\/83J.7/AQ(:)7]S?55X>05AA5(1
3J7K85D0NFA."B?`5AA5<+Ba\%7/Q83J.7%Ab[5=:)AA\/NF5=8IL:@8 L

B."0
A.NF580,:"7%A$Ba.)0NY:"83J.)7%AbmcB?M5ZL7%1_:A.<J\83;.)7F8.8IL:@8=>0.S/<;5NG

8I%57UM5:"<JA._ZL7L1Y8I%5A.)<J\/83J.7kA>%:)Q5."Bm b
[5mM3J<J<+Z/0A$8m:)AA\/NF5 2W:)7%1M3;<J<1/5:)<M38I]NF."05=T)57%5D0,:)<

ZL5<'1A 3J7K8I/5=7/5X+8HA5Q83J.)7b 58m S?5:C1/3465057983;:)<+.)>?50,:"8."0
.)B15T)0558M.]M3J8IQ.95 FQ3J5798A3J7kO6Db
5D8 AA\%NFNY:@03;V58I/5A$85>%A.)Bm8I%5]:)<JT."038I%NO8I%:"8CM5KIL:(5
1/51/\%Q5(1U3J7U8I/5>/05+3J.\/AA5Q83J.7/A
[
(.
lk
UX
F5m
db goswL~Hnaq%y"oaoax Y[5YQ(:"7^Q.NF>/\/8528I/5RA3J7/T\%<;:@03J83J5A

.)B S9kB:"Q8.)03J7%T8I/52<J5(:)1/3J7%TQ.95 FQ3J5798K.)B :"7L1
8I%5Y1/57%.NF3J7%:"8.)0AK.)B8I/5F.)8I/502Q.95 FQ3J5798A23J798.k<J3J7%5(:@0
B:)QD8.)0Ab
UX
UX
lkAnRxsx+y@qLnopox/t xD}ml?sxsW5m2-%.)05(:"QDIRSUgWM5FQ.N_
>%\/85 \ qU
OS@DGL3JA.)<':@8525X>:">%>%:"05798C>?.3J798ACM38I
\ G:)7%1f1/3 4650RS?58M557f5X>/05T)\%<;:"0UA3J7%T\/<;:"0383J5A
1 M38IseR\ :)7%15X>/
3005T)\%<;:"0KA3J7%T)\%<;:"0383J5A
M 3J8I \ ke l \ ,) b
{
NDc7T)57%50,:"<G?3BYU 6_ ^
8I/577/.2<J.T:"038I%NO:)>/>?5(:"0AC:"89_ b
E+b
<J7
?f<J7
s
ON
MkrCl?naq%yK}Hq/y"W5m5Q(:)72\%A58I%55X>?.7%57+813465057%Q5AH \
B."0s
S 8.CQ.)NF>%\/85mQ(:"7L13'1/:"85A?kB Ba.)08I/5=>%:"0,:)NF5D850
\%>R8.F:2~Q .)7%A$8,:)798 6
[b
bMk lLs qLs6x+y)ivlL H
m c7:)<J<Q:)A5AS%\/88I%53J7985T)50HQ(:"A5
M527/.(M:"8<J5(:)A$8.)7%5_V50.."BCS9k>%3JQ,3J7/TA.NF5tS
21 b .YM52Q:)7:)<JA.Q.)NF>%\858I/5]NF3JAA3J7%TRQ.)7%A$8,:)798
uBb
B." 05:)Q,I
9bMk x x+*]t]
m I%5_A5D8MO
] 3JA:A58."BQ(:"7L1/3;1/:"85AB."0 b
WI/577/.)83J78I/5_3J7985T50Q:)A5GHM5_Q.)NF>%\/85K8I%3JAZL7/385
A58:)A3J7 5Q83J.7k+b E+v
] NF3JTI9815>?57L1R.7b
B :"7L15(:"QDI 6] Q.)N_
w bMk l?i}~x)m -%.)05(:)Q,Ikuf
>%\85d

J/ ?6[ 6e A\%Q,IU8IL:@8 Ln
b
9bMkrxb
}$}Hy@lt~Hpq%sHt wLqL~w%x y@qLs# lLy)iq/(oal?s
m -%."0
5(:"QDI 15Q3;1/5]5b T/b\%A3J7%TUeda=MI%58I/50L
n #
G
P=
]V] N a E w d
6}7+-%."05(:)Q,IK>L:)30%~ Q.)NF>%\/85HA\%Q,I8IL:"8H n? b
7-H3J7%:)<J<9G/Ba.)05(:)Q,I Q,I%5QDY3B9%n # b
c7U>/0,:"Q83JQ5M5Q.N2S/3J7%5A$85>/A w :)7%19b88I/557L1FM5M3J<J<
T5D8
n Ba.)0Kn n E;/+ oP
?
n d@:"7L1
~/
8I%5A.<J\/83J.7kA>%:)Q5
n )[
n E /
[
n )[
n E /
{/ ^
~/
n d
n d
7%5Q(:)7A.)<J5Mm
X/:"NF>%<J52dM38I>03;."0:)<JT."03J8I/NFAe +GLG?9Gd@(
S?5Q(:"\%A5Y7%.T:)\/T5Y80,:)7/A$B.)0NY:@83J.7^3JA]3J7+.)<;5(1b75X/:)NF>%<J5
7%."8CA.<J5(1RS+R>03;."0:)<JT."03J8I/NFAM3;<J<HS?5T3J573J76m
X/:)NF>/<J5E+b
:)7%1U3BmA./G/Q.)NF>%\/858I%580,:"7%A$B."0NY:"83J.7b
I/5].)7%<Q:)A523J7MI/3;Q,Ik8I%3JA:"<JT.)038I/N1/.95A7%."895D8M.)0
3JAMI%57
GLMI/3JQDIM5M3;<J<HI%:)7%1/<J53J78I%57%5DX8CA5QD83;.)7b
.)858IL:"8.7/5=Q(:"7K:)<JA.\/A58I/5=Q(:"A5A5>%:"0,:"83J.)7]."B 5NFNY: 8.
051/\%Q58I%57+\%N]S?50."BmQ(:)7%1/3;1%:@85AC8I%:"8M5K.)S/8,:"3;7UBa0.NA$85>/A
_:)7L1+b .)05K158,:)3J<JAQ:)7S?5Ba.\/7L13J7e (
b
5D8 ; G3b 5bYU OS@FrBa.)0F:"<J<_Sg
bI/57
U6:)7% 1U1 M515ZL7/5
{
d
] k = a E |d)W(W,EnPddla E d
R
1 `;
1
w
H
xbqLi}naxsT58
W) P
n d] nÊ) n^) nPd( @
/" @ ^
n E") / E" n[E"n[E+d(n[Enn d@ / n
) n d)2 / "zynPd"{=fd("9@z|bn@) N
) w " @ [
n ))E") / P9d( w )
n w "Ffd)h
4.1 Integer Case
I%578I%5Ba.<J<J.(M3;7/TYI%.<;1A
=x/i[iq 8oHD ,Ra%

);Ya/U+YD$)
);_t
%Da%D_)_rr{/,a/)*_W)LRC]RY_6(t
rM )a/29)2;a%+YD$)
)dL"?T7
,be m a%D
1/5TL7+\%NF5~0(
?mW1/5TL7+\%NF50(
K )K t
,be m a%D
_15TL7+\%~NF 5D0
?._"1/5T?157%.)N
?(t
rHD#P
_ "?_
$ dB Pg[ e %tVU a ?)Y 9$
F," 99 /Da%DFa%DU)

= ~/ ,a)= m )?
)
_^
= D ? 5t
5:)>/>%<Y8I%5:"<;T).)038I%Nv:"S?."58.F A$85>S9UA$85>
r}7I%5RV50.)AF.)BC8I%5R<;5:1/3J7/TQ.95hXFQ3J5798Y:"05dDE9Dk:)7L1
E ))+b-/\/08I%5D0NF.)05Ge 3;A:)<JA.Y:2A3J7/T\%<;:@03J8."Bmb

~7I%52T)57%5D0,:)<J3JV5(15DX/>?.)7%5798A | :"88I/5]>?.)3;798A_
b
E " :@05 :"7L1WE98I%.)A5:@8
_ E[:"05n E[:)7%1E+b .
<J.)T:"038I/N:)>%>?5:"0A:@88I%5A5K8I/055]>?.3J798A538I%50(GA.R8I%5:@05

5DX/>:)>%>%:"05798=:)7%1Y:"05C7%.)8=Q.)7%A3;1/5051R:"79/NF."05bm88I%5.)8I/50
>?.)3J7+8AM5Q.NF>/\/858I/5B.)<;<J.(M3J7%TY5X>?.7/5798C1/3465057/Q5A
UWd@W< l W6nPd(
UW
,f5)
U
{e m w l /j n6 l j w 5 l w / n) w
57%Q5G* 09c d)hef:)7%1 1 0c)6f5
+e7 {A 3J7%T5(9\%:"83J.7W 3J7Î/5.)05NEUM5RQ:)7^Q.)NF>%\/85
8I/5>?.<;:"0C>%:"08AQ.)005A>?.7L13J7%T_8.]8I/55X>/

3005T\/<;:"0C>?.3J798A

n
/ nPd)
E"
tB c
n j on
j
n
1
s
= P j n[ w :"7L1= ^
n j "
Ba.)0C8I%5>%:"0,:"NF58503J78I%5QDI%:)7%T)5.)Bm):"03;:)S/<J5Ab
)7C.T)58YQ(:)7%1/3;1%:@85A2Ba.)0i^
M5k15850NF3J7%5P]MI%3JQ,IP3JA
5+\%:)<8.]
S?5Q(:)\/A5M5i \%A$8IL:(5.7/55X>
05T\%<;:@0>?.3J798(b
N
| b T/b%\%A3J7%T]8I%5Q.)NFNY:)7%1P5CTK C6Y7 3J7%&W'*),@+ b
I/5A58Y."BQ:)7L13;1%:"85AF3;A ) | Y W
R b 3J7%Q5 L
=M5Q(:)723;T)7%."05C8I/5<':@8850
8M._Q:)7L13;1%:"85Ab
I%5>?.)3;798K
N2\/A$8S?5:2V5D0._.)Bb m:"<J\L:"83J7/T
8I/5Q(:)7%1/3;1%:@85AC:"88I%3JA>?.)3;7983J5<;1/A8I%5Q:)7L13;1%:"85A
j n n j f
u[z7
_=
I%5D05B."05UM5UQ.NF>/\/85_8I/5UN]\%<83J>%<J3JQ38.)BC8I%5YV50..)B
:)7%1 %383JAd3J7S?.)8IUQ(:)A5AbI/505B."05
+b
[5M3J<J<\%A58I/5<;5NFNY:_:)ACB.<J<J.(MAcBM5]+7%.(M8I%5K15T)055
.)B8I/5_7+\%NF50,:@8.)0.)B[8I/57S+ :M5FQ(:"7[Q.NF>/\/85]Q(:)7
1/3;1/:"85A U ?CB."0 Ba.)0]550
b`=S?38K3JA]57/.\/TI8.
+7%.(M Q(:"7L1/3;1/:"85A rBa.)0_[NF.+1/\%<J.Y8I%5FQ.)7%A$8,:"7+885D0N8.T5D8
:)<J<
^M5FI%:@528.Q.)7%A3;1/50(bYc7.)\/0Q(:"A5_M5FA$83J<J<IL:(5_:)7
\%7%1/585D0NF3;7/5(1[Q.)7%A$8,:)798 bf`\8F3B8I/57+\%NF50,:@8.)02.)BKP3JAY:
%8I^>?.(M50 d(DGmM5Q:)7 1/585D0NF3;7/5 [S9fQ@A\%Q,I^8IL:"8
7+\%NF50
?2),25(9\L:"<8.
b-/0.Nv7+\%NF50(
?
FM5
Q(:"78I%57UQ.NF>/\/85Q(:)7%1/3;1%:@85AB.)0 b
] Y_
_*

B
o_]!
Y_D$
= m
L`* CS
OS

d
v ~_ J _
T T m s

_s< _
nR= m
]: 58 S?5:V5D0.[.)B8I/5k>L:@0,:)NF5850Uf."B8I%5

Q,IL:)7/T5=.)BL):"03;:"S%<J5AG8I/57 U @E NF.+1/\%<J. b
3J7%Q5
[
Q(:"7S?52M038857:)A
M38I k
:)7%1
E GHT)Q(1 6dbUI%57
R 6:"7L1
E k E
3;7/Q5 f:)7%1kTQ(1 6 d
8I%3JAC3JA5(9\%3J):)<J5798C8.
b . 1/3J+3'15A:)<J<HN2\/<83;>/<J3;Q3J83J5A.)B
8I%5V50.)A.)Bmb=I/51/5T)055." B8I/57+\%NF50,:@8.)0.)BmR3;A5+\%:)<L8.
8I%5=A\%N{.)B%8I/5A5N]\%<83J>%<J3JQ383J5A:)7%1M5T5D8 15TL7+\%NF50
?Db
57%Q5G k:"7L1
_A:"83JA$BaR8I%5A$8,:@85NF5798(b
S?Ba850]\%A3J7%T8I/5Y5X>/
3005T\/<':@02>?.)3J7+8A
8.ZL7%18I%5
>?.<;:@0=>%:"08AG2IL:"AH8I%5=Ba.)0NY
F G"MI%5D05 ,
6e /:"7L11/5T?
|1/5T?
."0] +b]I%52>?.)<;:"0>L:@08AB."0
3J7%Q5 R @U 3J7P8I/3;A2A5Q83J.7GM5U7%55(17%. OA3JT7/A

M I%57M."03J7/ T_NF.+1/\/<;. b
B_

m in ]

J
P nb
OS
*_
/ ~
{
@_
Y_
_
S < cBegf:"05CQ.N]S%3J7%5(1_3J7 bmI%5C>?.<7%.)NF3':"<6 / 3JA=8I/5

>?.)<;:"0>L
{ :"08."BHe b
3'c7R8I/3;AQ:)A5$e
b . 1/.95A7%."8
~ :)7%1R I/ 57%Q5 / W
:@465Q88I%515T)055.)BH8I/57+~\% NF50,:@8.)0.)B=b
3J3' 3J7%Q5e
G / :"7L1YY M38IR 1/5TL

~
15T?
Db

Z "ir}_7 cB
G8I/57[15TL7+\%NF5D0
? 15TL157%.)N
?
:"7L17/.)8I/3;7/T]0 5NY:"3J7%A8._S?5>0."57b
Z"d~7cB rG%8I/57e 3;A:_V50.F."B=bI%5N2\/<83;>/<J3;Q3J8
N2\%A$8S?5K:_ N]\%<83J>%<J5.)B!_ b 8I%5D0M3;A5U {e d A3J7/Q5
R {e rETK_B."0A.)NF5dY:"7L1kETU m b57/Q5G
[_ B."0CA.NF5dR[ o b
I/3JAN2\/<J83J>/<;3JQ38F.)B8I%5C>?.3J798b
e 3JA
W1/5T?1/57/.N
?*n
15T?7+\%NF50
?DbmI%3JAQ(:)7FS?5A557F3BH H3JAmM03J8857Y:)A>?.@M50
A5D03;5A:@88I%5>?.3J798bOc7W8."8,:)<M5[T) 581/5TL7+\%NF50
?[
15T?1/57%.NU
?
B.)0CA.)NF5 U W:)7L1Y8I%3JA>/0.@5A3J3'Db
Q( .NF>%:"03J7%TR8I%52I/3JTI%5A$8Q.95 FQ3;57+8A."B
:"7L13;7:)7
:"7%A:@8VBa.)0 F3J5<;1/A8I%505A\%<8(b
n[_
_=
[
UX
= m
.)7%Q<J\%1/3J7%TG8I%5Y3J7+85T50]Q(:)A5YM."0+A2:"AKBa.<J<J.@MAb-%."025(:"QDI
k8IL:@83JAm1/585D0NF3;7/5(1\%>8.:CQ.7/A$8,:)798H850N
M5>?50B."0N
8I/5B.)<;<J.(M3J7%TYA$85>/A
uB
e
r15TL7+\%NF50
?3JB

:)7L1 W1/5T?157%.)N
?.)8I/50M3JA5
Ba.)0C5(:)Q,I
mG |d
Q.NF>/\/85Q(:)7%1/3;1%:@85A kB."08I%5Q.)7%A$8,:)798850N
B."05:)Q,I
:)7%1U5(:"QDI R R 6
Q.NF>/\/85
A\%Q,IU8IL:@8C L
_T B_s
,
d
6] Y_
n "
4.2 Solving Over a General Field
i[
7983;<?7/.(MGM5M5D05M."03J7/T2.@508I/5Q.)7%A$8,:"7+8ZL5<;1 FW
": 7L1M5FIL:(57 88I%.)\%TI98."B8I%52A>?55(1."B8I%52:)<JT."03J8I/N958(b
5]A$8,:@085(1kS9kQ.NF>/\/83J7%TY:"<J<H8I%5KA3;7/T\/<':@0383;5A.)BW:)7L113'1
A.)NF5Q.NF>/\/8,:"83J.)7%AFM38If8I%5Nb
.[MI%:"8RM5:)Q8\%:)<J<W13'1
3JAB:"Q8.)08I%5<J5(:13J7%TFQ.95 _Q3J5798 ? ."BP3J798.F<J3;7/5(:"0CB:"Q8.)0Ab
I/3JA=Q(:"7FS?550K5X>?57/A3;5:)7L1]Q(:)7_<J5(:)128.:I+\%T)55X+857%A3J.7
."B CG63J72MI/3;Q,IY:)<J<%8I/5.)8I/50Q.NF>%\8,:"83J.7/A8,:)5>%<;:"Q5bmc7]8I%3JA
A5Q83J.7_M5M3J<J<L13JAQ\%AAI%.(MM5Q(:"72M."0].@5D0:N2\/QDIKANY:)<J<J50
5DX857%A3J.7."B b
5M3J<J<\%A58I%5Ba.<J<J.@M3J7/TRA5D883;7/T/b 5D8 RS?5:ZL7%385<RT57/
5D0,:"85(1^5X+857/A3;.)7.)B vA\/QDI[8I%:"8K8I%5R3J7%>%\82.)>?50,:"8."0Y|I%:)A
Q.95 FQ3J5798AK3;7 e %=:"7L1<J58] 6DbF-%.)05(:"QDI3005(1/\/Q3JS%<J5
B:)Q8."0 6.)B ?3J7 6e %M5K>/3JQDR.7/5V50. b-%\08I%50NF."05G
<J58 .N + @D /S?52:)75N2S?5(1/1/3J7%TF."B 6 @C3J7:"7:"<JT5
S0,:)3JQ_Q<J.)A\/05 8IL:@855>/A Z%X5(1:)7L1kM5_1/57/.)85]8I/5
."B:25<J5NF5798Y 6 @D
(
`.
UX

UX
[
L Y
L s J[ >S
[
[

[
[
[
>S
0@/
H b[
CS
[ >S
oJz{&B(+
/h
vJ \J
iq/(oal?s-/0.)N
5M3J<;<7%.(MrB.9Q\/A.)75(:)Q,I."B8I%5A557A$85>/AC."B8I%5:"<;T).)
038I/N:)7L1R5X>%<;:)3J78I/5Q,IL:)7/T5A8I%:"8CIL:(58.2S?5NY:15b
UX
d)bgoswL~Hnaq%y"oaoax @fI%57kM5B:"Q8.)08I/5Q.95 FQ3J5798A."B

J3 7 e %9M5T)58m3005(1/\/Q3JS%<J5=B:)Q8."0AHMI%.A51/5T"055Q(:"7]S?5=T)05(:@850
8I%:)7k.)7%5b-%."05(:"QDI3005(1\%Q3JS%<J5B:"Q8.)0(G6M5Z/X.)7%5V50.bI/5
Z%7%385A3J7%T)\%<;:"0383J5A8I%57:"05
[
I%5A$80,:@85T)]3JAH8.\/A5=8I%5Q.NF>/\/8,:"83J.)7%A:@88I%5A3J7/T\%<;:@03J8
SYBa.)02.)8I%5D0_A3J7%T)\%<;:"0383J5At>S@DGMI%3JQDI:@05UV50.A_."B8I%5YA:)NF5
3005(1/\/Q3JS%<J5B:"Q8.)0(b
E+b2Y
n x/sxy@q%nopo xtxD }lLsxs(@ c7]8I/5Q.NF>/\/8,:@83;.)72."BL8I%5
T57%50,:"<;3JV51f5X>?.7%57+8F:"8F8I%5>?.3J798Y|<
S 8I%5RZL5<;16[ >@S 23JA
8,:)57Y:)A8I%5ZL5<;1_."BQ.7%A$8,:"798AbmcB` ~ :@05C8I/55X>?.7%57+8A:@8
S 8I%578I/525X>?.)7%5798A:@8l >"S C:"05t J DJ J DbK."85

]
NY:2S?5C15ZL7/5(12.@50:)7F5X+857/A3J.7_ZL5<'1_."B`
[ >@S DG3J7_MI/3;Q,IYQ(:)A5
8I%59. A7%551R8._S?55X+857%1/5(1R:)AM5<;<b
3JNF3J<':@0<9G/3BmY3JAC:2<J.9Q(:)<A.<J\/83J.7:@88I%5>?.)3;798CYDS G8I/57
% 3JAF:<J.9Q(:"<A.<J\/83J.7:"8Ff >"S S?5Q(:"\%A5U8I/5.)>?50,:"8."0
Q(:"7%7%."8_13JA$83;7/T\/3;AI^S?5D8M5578I%5Y>?.)3;798AU
S :"7L1H >@S Db 57%Q5)G
J >"S m >U J@S Db
U
3J7%Q5C:"<;<?.)\/0=05A\%<8AM505S%:)A5(1F.)7RT)57%5D0,:)<J3JV5(1Y5X>?.7%57+8A
5X>?.)7%5798K1/3465057%Q5AM5FQ(:)77%.(M80,:)7/A$B50K05A\%<8AB."0"S
:)7%1
8.P=
>@S Db .RBa.)05:)Q,I3005(1\%Q3JS%<J 5KB:)QD8.)0M 6DG6.7/<J.7%5].)B=38A
V50.)A3;A7/ 55(1/51R3J7
1 .)03J7 b=c7R8I/5850NF3J7/.<J.T"U."Be w G
8I%5A3J7%T)\%<;:"0383J5A:@05 Q.)NF>%\85(1o{@
_)8U))T)D[A55
5Q83J.79b;d3J7e w Ba.)0CNF.)05158,:)3J<JA,Db
b'C
l?naq/yf}Hq%y@(@ 5D8*P
S b|[5Q(:)7WQ.)NF>%\858I%5
>?.<;:@0>%:"085
\ Q.)005A>?.)7L1/3J7/T_8.S b{C AA\%NF5Ba.)07%.(M8IL:"8
[ 6KM5KM3J<J<5X>%<;:)3J7S?5<J.(MMIL:@88.R1/.Y3B 6[ 6#[ ?Db
6
I%578I%5>?.)<':@0>%:"08CQ."005A>?.7%1/3J7%T_8.t
>@S 3;A \r
5\ Db
.]8I%580,:"Q5.)B= \ 3JA
0@
5\

5\ m
\J
J
\
vJ
vJ?} \J
I%5R05A\%<8F3JA_8I/5>?.<;:@0F>L:@08F.)BPQ.)005A>?.7L13J7%T8.8I%5U30
05(1\%Q3JS%<J5]>?.<7%.NF3;:"</
6Dbd 57%Q5G?M5_Q.NF>%\85(18I%5KMI%.)<;5
>?.<;:@02>%:"08KQ.)005A>?.7L13J7%T8.k:"<;<=V50.)A]."B_/
6S9$ \/A$8K\%A3J7%T
.7/5V50._."B/
?Db
/b l?s q%sUx+yi lL]?
5D8K F Ba.)0A.)NF5
H 6=uB S?5:2Q(:"7L13'1/:"85Ba.)08I%5>%:"0,:"NF58503J7
8I%5QDI%:)7%T)5.)B
):"03;:)S/<;5AbcB9
)
;
+
GL8I%57M5+7%.(M|:"8C<J5(:)A$8.7%5V5D0.F.)Bb
AA\/NF5P
S 21 1 G8I%57M5YQ.NF>/\/85 A\/QDI8I%:"82>@S +b
cB
S^
6[ G?M5]M.) \%<;1T58 ^ [ 3J7T57%50, :"<b
.(M550(G?8I%5= >@S
N2\/A$8S?52V50.A.)B[:)AM 5<J<b .661/3J+3;1/5A8I/5_7+\%NF50,:@8.)0
.)BG6MI%3JQ,I80,:"7%A<;:"85A3J798.R:R A$A$85Nv.)B<J3;7/5(:"05(9\L:"83J.)7%A_3J7
.7/5\%7/7/.(M7 15ZL7/5(1U.@5D0b6
[b
I%53J7985T5D0 Q(:"A57%551/A7%.]QDI%:)7%T)5b
+b x x+2
] _-%."0R8I/5A5Q.NF>/\/ 8,:@83;.)7%AFM5.)7%<\/A5(1
5X>/05T)\%<;:"0=>?.3J798A
S M38IPU A"S mET \ 6 bcBU [

8I%57U
J >@S F > U 1 4@S F U A"S B.)0U:"<;<[
S
21 bmc
B^ Y[ 8I/57YM5Q.)NF>%\85% 3J7%A$85(:)1GMI%3JQDIRM3J<;<S?53J7
[ bU c7538I/50KQ(:)A5GM5F7%5518.\/A5F.7%<.7/5_0.9.)8"FS Ba.)0K5(:"QDI
?
3005(1/\/Q3JS%<J5l
6Db
w b 9bK l6i}~xq xD }$}Hy@lt~Hp2q%sHt[wLq%~wLxy"q%s
lLy(
=>S@ S V50._.)Bm3005(16bmB:)QD8.)0@Jo.)N J[6>S@D [/ Wb

c
.(MfZ%X_:)7R3J00c 51/\%Q3;S/<J5CB:)Q8."0_/6.)B6:)7%1Y<J58SS?5:V5D0.
."B/
?:)7L1P
o .)N J6[ >@S D %[ Db
I%505)G%550+8I%3J7%TKM.)0+AC:)AS?5Ba.)05b
7%5>/0.)S%<J5N05NY:"3;7/AMI%57UT57/50,:)<J3JV3J7%T_8I/5:"<;T).)038I%Nv:"A
M5_1/3;1:"S?.@5b2-%.)0Q.)NF>%\83;7/TR8I/52>?.)<':@0>L:@08A3;7A$85>RM5
\%A518IL:"8_ 3JA21/5Z%7%5(1[.@50 ?b .(M55D0(GM5Y8,:)5 ^:)AK8I%5
ANY:)<J<J5A$8KZL5<;1Ba.)0KMI%3JQ,I 6e G3J7MI/3;Q,I[Q(:"A5U7/55(1
7%."8CS?53J7 ?Db
-%."05X/:)NF>%<J5F= ?
rM38I^^
E PE):)7L1|
3JANF.)05
E W /
E" ) [
Q.)NF>%<J3JQ(:"85(16b 505
E1/.95A7/.)8m:">%>?5(:@0m3J72b .)05T57/50,:)<J<9G
3Bm= ?
B."0:2Q.7%A$8,:"798 G/8I/57 \%A$8 :">%>?5(:@0A3;7b
cB 66e 3JAFT3J57G=M5UM3J<J<C8I+\/A]05A$803JQ8FQ.7%A$8,:"798
B:"Q8.)0A
.)B[8.k5<J5NF5798A3;79\%:10,:@83JQF5X+857%A3J.7/A]."B B."0
MI%3JQ,I 6bmI/3JA3JAm57/.\%T)I28.Q.)N2S/3;7/5:)<J<%`5AA5<B\%7/Q83J.7/A
[
[ ^
[
n"
n
v@n n

z@n
i[

n
*/
9
b
3J7.7/5K:)<JT."03J8I/Nb .(M550(GLM5A$83J<J<IL:(58.Y>/0.@58I%:"8C8I%3JA
3JA05(:)<J<UA\ FQ3J57983J7k:"<;<Q(:)A5Ab
58 S?58I%5Q.)7%A$8,:"7+8=B:"Q8.)0M5A5:"0Q,IYBa.)0:"7L1_<J58
S?5:KA3J7/T\%<;:@03J89b 3J7%Q5:Q.7/A$8,:)798B:"Q8.)0."BR3;A:)<JA._:B:)QD8.)0
."Bm38A>?.)<':@0>%:"08AG N2\/A$8S?5:]B:"Q8.)0.)B R @Db-%.)0C5(:"QDI
>?.)3J7+8 M5IL:(58I/5Q.)7%A$8,:)798Z%5<;1/A
6
"m] b
I/55X>?.)7%579813465057%Q5 U
@3JA15ZL7/5(1F."50 C:)7%1FM5
Q:)7Y05(:1R.)4
Ba0.)N U @Db .M5I%:(5C8.ZL7%1Y:)<JT5S0,:)3JQ
5DX857%A3J.7/A ."B ."B15T)055_8M.UA\%Q,I8I%:"8

B."02:"<J< b
I/57^B."0_5(:"QDI ?G8,:"5R:kQ.7/A$8,:)798
A:@83JA$Ba3J7%T k 6b
I/3JAT3J5A:2ZL7/3J85K<J3JA$8.)BQ(:"7L13'1/:"85ACB."08I%5Q.)7%A$8,:)798B:)QD8.)0
bc
B @ 6 "B."05(:"QDI 8I/57:1/1
d8.F8I%3JA<;3JA$8:)A
M5<J<b
-/.)05(:)Q,I 3;78I/5m<;3JA$8(G@M5Q(:"71/3J+3'15:)<J<5X>?.7/57981/3465057/Q5A
S9
Ba.)0
:)7L1:)>%>/<U8I/5:)<JT."03J8I/N :"AS?5DB.)05)bI%3JA
5D465Q83J5<P1/3J+3;1/5ARS9 G:)7L1 3BM5k>/3JQD518I/5Q.)005Q8 G
8I/59\%."83;57+8=M3J<;<S?53J7 6A.28I%57F8I/5:)<JT."038I%NM3J<J<M.)0
Q.)005Q8<9bcBM5Y80:"<;<Q(:)7%1/3;1%:@85A G:"8KA.)NF5_83;NF5_M5_M3J<;<
T)588I%503JTI98.)7%5:)7%1UM5M3J<J<Z%7L1R:2A.<J\83;.)7b
LX
S
~
6[ \
Y OS
C
[
g
[
g[ 4S
l
4S
[\
[ \
4S
P[ [
P[H [\
S
D[
[
][
H[ OS [ >S
S
lS
~
o[
xbqLi}nax .7/A3'150C8I%513J465D057983':"<5+\%:"83J.7

6 n b 1 6 1 C?
Ba.)0K:"<;<^f+hP
e DG6MI%5D05(:)A$ :)7%1
:"05_Q.)7%A$8,:"7+8>%:"0,:"NF5
85D0Ab_-L:"Q8.)03J7/TU8I%5]Q.)005A>?.7L13J7%T13465057983;:)<m.>?50,:@8.)0YBa.)0
5DX%:"NF>%<J53J7%&('1)@"+ T3J5A8M.].>?50,:@8.)0AC :)7L1R .)BH1/5T"055
8M.bI%3JAK5X/:)NF>%<J5F.9QQ\/005(1[3J7[05A5(:@0QDI^."BbHKbm

50388(b
C<8I%.\/TI3J8I%:)AS?557A.<J5(1S?5B."05kA55ke "aS9k8I%5_A5Q.7L1
:"\/8I/.)0 y G.)\/0]3;NF>/<J5NF5798,:"83J.73JAK8I/5_Z%0A$88IL:@8]Q:)7Â.<J5R
:"7L1 Q.)NF>%<J585<U:)\8.NY:"83JQ(:"<J<J9b 7/5.)B8I/5N3JA

W Wd

d r
W fd
? ? { [E Wd ? ? W6=
r6
d
W Wd
v@(
9
@
H
~n 9 ( n
w
@
9
n H
n w
9 W @
w n w
:"7L1.)\/03JNF>%<J5NF57+8,:@83J.7U3J5<;1/A8I/5A.<J\/83J.)7%A
Z nE6* !?6 [ !?
Z nE6* !? 6 ^ !?
3J5M3JA5.\/0C3JNF>%<J5NF57+8,:@83J.7RA.<J5AC :"AM5<J<b

UlLxzP
05B5055:"<;5D085(1f\%AY8IL:@8R8I/5kA.9.7W8.^S?5k05<J5(:)A51
:">%<J5d(EYQ(:"7A.)<J5F :)7%1 3J7850NFA."B 5\%7kBa\%7%QD83;.)7%Ab
-/.)0=Q.NF>/<;5D857%5AAGM5CT3J5I%505C:"7%.)8I/50=5(9\L:"83J.)7_8IL:"88..\0
+7/.@M<J5(1T53JA7%.)8A.)<J5(1S9R.)8I/50:)<JT."03J8I/NFA

f" C|d@ P WE@
d)d d() " [d@ [d@ ^$d@E" [d(" ))
)) =P")) [+d E)" ^+d@" EE")6 ^" b
|n
5.
| n w z@
n
@n
n
yn
z@
/
r@
|n
n
y
>@
CONCLUSION
5T:(5:"7k:)<JT).)038I%N 8.F1585Q88I%5`5AA5<8>?5A.<J\/83J.)7%A
."B:A5Q.)7L1_."0,1/50=1/3465057+83;:"</.)>?50,:"8."0=M38I20,:@83;.)7L:"<%B\/7%Q83J.7
Q.95 FQ3J5798A:)7L1R3JNF>%<J5NF57985(1Y383J7
@b
I/5NF58I/.+1RQ(:"73J7R>/03J7%Q3J>/<;5S?5:)>/>%<J3J5(1R8.K8I%5Q:)A5.)BHA.)
<J\83;.)7%A3J72850NFA.)B?8I/5C:)\ I9/>?5D0T5.)NF5803JQB\%7/Q83J.7b .(M
550(G"8I%3JAHQ(:"A53JAA3;T)7%3ZLQ:)798<NF.)0513 FQ\%<83B/M5:"3JN|8.A.)<J5
UX
y
%&('*),+
YX
H50A.7%:)<Q.)7+803JS/\/83J.7:@828I%5Rc798507%:"83J.7%:)< .)7/Ba5057%Q5.7

3J465D057%Q5 =9\%:"83J.7/AG >?5Q3;:)<C-%\%7/Q83J.7/AF:)7%1PC>%>%<J3JQ(:@83;.)7%AG
5QDI/7%3JQ(:"< 7/3J50A38 \/7%3JQDIG?5D0NY:)796 \%<E))+b
6
#
o
d
38m3J72T57%50,:"<3BLM505A$803JQ8]8.
.S/3J\%AH80,:)7/A$B."0NY:"83J.7/Am8I/57
38K3;AK:"75(:"A$[:)1%1/383J.78.edaDbRc7>L:"083JQ\/<;:"0(G8I/5_3JNF>?.)08,:"7+8
Q(:"A5MI%505:)<J<+5X>?.7/57981/3465057%Q5AH:"053J7 P>?.)A5A3J798505A$83J7%T
S%\8C1/3 FQ\/<8>/0.S/<J5NFA8IL:"8C:@05:)A.)B587%."8A.<J5(16b
7/.)8I/508,:"AB."0HB\8\/05mM."03JA8.T57/50,:)<J3JV5.)\/0:"<JT.)038I/N
8.Y:)<J<J.(M M38I 3J7%A$85:1.)B=k :)AC3;7U8I%3JA>%:)>?50D
:)7%128I%57_8.>0."5CQ.NF>%<J5857%5AAB.)08IL:"8:)<JT).)038I%NG+3b 5b9B."0:
1/5DZL7%383J.7Y."B $`=5AA5<?8>?5 8IL:@83JAS?."8IR7%:"8\0,:)<6:)7%1FT57/50,:)<G
>/0.@5m8IL:@855D0`5AA5<98/>?5A.<J\83;.)7KM.\/<'1K:)<M:(AS?5mB.)\%7L16b
YX
M
W
z(e*(g(( ~T9
7U8I%5
9\%3J):)<J57/Q5 0.S%<J5N."B 3J7%5:"0C3465057983;:)< A$85NFA
=
:)7L1R38AC>%>/<;3JQ(:@83J.7Ba.)0-L:)Q8."03J7%T .)NF>%<J585<
5(1\%Q3JS/<;5 A$85NFAbc7 Zr}j G6E w W+3 E)+b
e E((8z~p9L
7U3JNF>/0.@5(1R:)<JT."038I%N B."0B:)Q8."03;7/T
<;3J7/5(:"0C.)0,13J7L:"01/3465057+83;:"<.)>?50,:"8."0Ab?c7 Zr}8[/G
w +
3 "b
e @(8z~p99R4(( .<J\83;.)7%AC.)B
3J7%5(:@0 0,1/3J7L:@0U3J465D057983':"< 9\L:@83;.) 7%A3J7k50NFA."B
>?5Q3;:"<-%\/7%Q83J.)7%Ab/c7 L Z~}T G6E)

3 E"b
e ""z99~rL*v(99
?%
.)7/ 3J.\/+3;<J<J3;:)7
.<J\83;.)7%AB."0 5Q.)7L1 0,150b
3J7/5(:"0 lm Ab%c7 L Z
~}8/
[ GL+3 w b
e ("~JF*v((
.<J\/83J.7/AB.)0C8I%557%50,:"<G
.7%
\%5798C:"7L1`=3;Q.7% \% 5798b 5\%7R5(9\L:"83J.)7%AC:)7%1U8I%530
Q.7/7%5Q83J.)7M38IkS?5<65(9\%:"83J.7/Ab?Ft
5) Ut 7(
)aLt
D!t+~
E)))DG?E)+3 "+b
e w "ez(((,(Rd9~p5gL
.+1\%<;:"0
<JT."03J8I/N8. .NF>/\/858I/5l
X/>?.)7%57983;:)< .)<J\/83J.7/AC."B:
3J7%5(:@0C3465057983;:)< >?50,:"8."0(b?Ft " Ft
Z )1+ t+}
E)"9DGd()W%
3 d( w b
e (~T~Lz49 ( 9
p DD%)vX_IU/ ))/
DD];K D + ?)%b! :"A$850(. AC8I/5A3JAG
6
7%3J5D0A3J8:@ 8- :)AA5<GE"+b
e @sFzT( 99v_zi?!(((Rd(j9
I%5-%.)\/08I/ 0,150>?5
3J7%5(:@0 0,13;7%:"0R3465057983;:)<
9\L:@83J.7%Ab)r ,j;7 F)aW}}j+}5r}F
E) w Db
=
e @l(Rd9~p5(

),(! )"[;b 6)
p DD%
/D)
"Db!m I%|8I/5A3JAG1 7%3J50A38538C3 $ NF5T57Gd w b
ed(@l(R9FHd(e9~9!?
C0.)\%7%1Y8I/5\%NF5D03;QD N2S?.<J3JQ
.NF>%\8,:"83J.7U.)Bm3465057+83;:"<H:"<;.)3JA0.)\%>%Ab Ft " Ft
Z )tz[L

E"DG6E" w 3 E w /b
eddD(v9vzr9L!
!
9\%3J):)<J57%Q5C."B3J465D057983':"<
>?50,:"8."0Ab )Ft
"a6t C? tè $d()DGdd(E%3 dd+b
ed@E(LzW(? ) ( +
"F9D6B+ m a6)
p DD/zX_IU/ ))/K; D^[ ? DD];
XÎU/ )"%K; _;D 9D,b*m I%|8I/5A3JAGL.)08I

:"0.<J3J7L: 8,:"85
7%3J50A389G%E"E9b
ed(@l(R9F^?p((vpF( )J)
/"h
;bm
?"p DD/zX_IU/ ))/G >03J7%T5D0(GL`5D0<;3J7G
E))b
ed""zz(p(((v(8zF((C
5NF.@3J7/T_-L:"<;A5
3J7%T)\%<;:"0H

.3J798AC:)AC:

58I/.+1.)B .<J+3J7%T 0,13;7%:"0
3465057983;:)<9=
9\L:@83J.7%AbvX WtFt ? t( "atHr5^

+
E)EDG
w d@3 w b
ed@(Mqpj}9b?
C7* X+857%A3JS%<J53465057+83;:"< 9\L:"83J.)7
.<J5D0(b ^K
;D+_
E"d(DG6W+3 +b
6. REFERENCES
edD

Is Sac 08

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Is Sac 08

Uploaded by

Copyright:

Available Formats

Solving Differential Equations in Terms of Bessel

Mark van Hoeij

Florida State University

!" #$   % &'% 

Categories and Subject Descriptors

,c bJdb Efe g6hHikjml?noprqLsHtvuUn'wLx+jHy@qLop{z|qLsHo'}~Hnaq/(oal?sP<JT).)

.)7%A 3;1/5D0C:21/3465057+83;:"<?.>?50,:@8.)0C^Wa66  M38IUQ.95Ba

0,:"NF5850AC% " 3J7A .K8IL:@88I%505A D\/ <83;AC:"T:)3J73J7[e b

\%>/>?.)0 85(1YS9R -[T"0,:)798AC9dd@@R:)7%1)E)))+b

(!)*&     +  , 

B\/7%Q83J.)7%AG:"7L1^8I%5^:)<JA .^:)<05(:)18 05(:@8_8M..)B8I%5A 5R8 0,:)7/A$

3JNF>?."0 8,:)798mQ(:)A 5A8I%:"8=:"057/.)8m9588 05(:@85(1_:@05H8I%5

2.2 Formal Solutions and Generalized Exponents

5X> l l m =e l m  [ke;e l m J

2.3 Bessel Functions

-/0.)NO7/.@M|.7kM5M3J<J<H05A$8 03JQ8.\0A 5<J5A8.Y30 05(1\%Q3JS%<J5K.>

A .<J\83;.)7fA >L:"Q5 F K.798.8I/5A .<J\/83J.)7A >L:"Q5 F DbP[5

M3J<J<H:1/105A A8I/5B.<J<J.(M3J7%TF8 0,:)7/A$B.)0NY:@83J.7%A

 3aYp"qLsw%xl% q%y"oaq/jnax ? 6

5_157%."8528I%5]A .<J\/83J.7A >L:"Q5F.)BrS9 _ @

:"05FQ(:"<;<J5(1`5A A 5<mB\/7%Q83J.7/A.)BZ/0A$8K:)7L1A 5Q.)7L1+3J7L16G05D

05(1\%Q3JS%<J5b 3J7%Q5KM52.7/<kQ.7/A 3;1/5030 05(1\%Q3JS/<;5].>?50,:@8.)0AG6M5

.7/<I%:@58.Y1/5(:"<M38I.)7%5.)B8I%58M._Q(:"A 5Ab5QDI/.9.A 58I%5

-%."08I/505A \%<83J7%TF.)>?50,:"8."0 k[e M5M0385K ? G

M5CM0385 L 3B8I%505C5X3JA$8A:A 5(9\%57/Q5C.)B68 0,:)7/A$B.)0NY:@

I%5U0,:"83J.7%:)<Ba\%7/Q83J.7%AU% " :)7%1P M3J<J<S?5kQ(:"<J<;51>L:@

0,:)NF5D850A."B8I/5C8 0,:"7%A$Ba.)0NY:"83J.)7G:)7%1F3;7FQ:)A 523J3'm8I/5B\%7/Q83J.7

)$)YDD,U _a%Y$)% ),F")%R, ))]) )D U)

c8=3JA=Q<;5:"08I%:"8=3B ? :)7%1F G98I%5A .)<J\/83J.7/A.)B

Q(:)7S?5K5X>/05A A 5(1S9`5A A 5<mBa\%7/Q83J.7%Ab .)750A 5<9G6Ba0.N

I/5k05<;:"83J.7/A L :)7L1 ? :@055+\/3J:"<;57%Q505<;:@83;.)7%A

A 55Uedm."0_e @aS/\/8 ? 3JA7/.)8]3B3;A7%."8:

05A$8 03;QD8.\/0A 5(:"0Q,IR8.]:A >?5Q3ZLQ."0,1/50.)B8I%58 0,:"7%A$Ba.)0NY:"83J.)7%A

`* 582 ;Ln ( nL / :)7%1M5R1/57/.)85iv

/ B."0A .)NF5$ [e M38I

x/i[iq0D [e ~/,a/) n? tg/D

`* A3J78I%5K<;:)A$8>/0.9."B.)7%52A 3JNF>/<J05M0385A8I%5]A .)

=x/i[iqHD{ [e FDk=) DD/D/D )

Kf5X> l 5DX/> l l 

W38IK5X>6m a6C M5Q:)7]05DM03J85=8I%3JA:)AH:>?.(M50HA 503J5A

l6ijHosq%lLy"oaqLn y@lLjnax/i F05Q."50]f:)7L18I%5F`5A A 5<>%:"

3.1 The Exponent Difference

-0.NI/505.7G+8I%5M.)0,1 5X>?.7/5798 ]05Ba50A8. \%7/0,:"NF3ZL5(1

=e;e l Je <J7 l I%:)AC:27%.)7/

52Q.)7%Q<J\%1/5cB L B."0:)79A 5(9\%57%Q5K.)B=8 0,:)7%A$Ba.)0

CA A \%NF5 | 3;AT3J57r:)7%1fM5A 5:"0Q,IrBa.)0

83J.)7.9QQ\0 05(1G8I%57U383JA5(:"A$R8.]05Q.@50UBa0.)Nv S9Y\%A 3J7/T

L G:"7L18I%5B:"Q88I%:"8 RQ.)NF>%<J585<15850NF3J7%5A A 55e G

 x+lLy@x%i H Dk[e ,R" D D%)D/D$)

]M505M0385 A \%Q,IK8I%:"8 f5X>

 '6 B.)0A .)NF5

3JNF3;<;:@0<J9GB.)08I%5CA 5Q.7%1F3;7%1/5>?57L1/57+8=<J.9Q(:)<?A .)<J\/83J.7R.)B

3JA2:A .)<J\/83J.7^."BCbc7.)0,1/5D0K8.kT)582:A .<J\/83J.7 ."B M5

[5:)>/>%<F8I%5A 5A \%S%A$838\83;.)7%A8.U9:"7L1UT)58:K<;.9Q:)<A .)<J\/83J.7

K /) ^>?.3J798 2."B?k[e 9B."0MI%3JQDI U 6=

55D0 2>?.)3;798mMI%3JQ,IF3JA=7/.)85X>/:)>/>L:@05798mN2\%A$8mS?5:A 3J7/T\%<;:@03J89b

, ?n  ?n # a%9 JBm 9K/J)87

3.2 The Parameter E

C7f3JNF>?.)0 8,:"7+8Y>0.>?50 8PBa.)0`5A A 5<B\%7/Q83J.7/AU3JAY8IL:"8Y8I/5

x/i[iqHG0D [e ,KF" D D%)D/D$)

A .)<J\/83J.7^3JA8 0,:)7/A$B.)0NF513J798.:A .)<;\83J.7

@ Q8\%:)<J<=E Q.N2S/3J7L:"83J.)7%AG/A 55Mm X/:"NF>%<J52db

M I%5D052 db .YPIL:)A:_<J.T:"038I%NF3JQKA .<J\/83J.7:@88I/5K>?.)3J7+8

k:"7L1A 3J7%Q53J8M :)AC:2V50.2.)B=G/3J8C3JAC:)<JA .F5X>/05T)\%<;:"0(b

!" #$ % &'%

,c bJdb Efe g6hHikjml?noprqLsHtvuUn'wLx+jHy@qLop{z|qLsHo'}~Hnaq/(oal?sP<JT).)

.)7%A3;1/5D0C:21/3465057+83;:"<?.>?50,:@8.)0C^Wa66 M38IUQ.95Ba

0,:"NF5850AC%" 3J7A.K8IL:@88I%505AD\/ <83;AC:"T:)3J73J7[e b

\%>/>?.)085(1YS9R -[T"0,:)798AC9dd@@R:)7%1)E)))+b

(!)*& + ,

B\/7%Q83J.)7%AG:"7L1^8I%5^:)<JA.^:)<05(:)1805(:@8_8M..)B8I%5A5R80,:)7/A$

3JNF>?."08,:)798mQ(:)A5A8I%:"8=:"057/.)8m958805(:@85(1_:@05H8I%5

5X> l l m =e l m [ke;e l m J

-/0.)NO7/.@M|.7kM5M3J<J<H05A$803JQ8.\0A5<J5A8.Y3005(1\%Q3JS%<J5K.>

A.<J\83;.)7fA>L:"Q5 F K.798.8I/5A.<J\/83J.)7A>L:"Q5 F DbP[5

M3J<J<H:1/105AA8I/5B.<J<J.(M3J7%TF80,:)7/A$B.)0NY:@83J.7%A

3aYp"qLsw%xl% q%y"oaq/jnax ? 6

5_157%."8528I%5]A.<J\/83J.7A>L:"Q5F.)BrS9 _ @

:"05FQ(:"<;<J5(1`5AA5<mB\/7%Q83J.7/A.)BZ/0A$8K:)7L1A5Q.)7L1+3J7L16G05D

05(1\%Q3JS%<J5b 3J7%Q5KM52.7/<kQ.7/A3;1/503005(1\%Q3JS/<;5].>?50,:@8.)0AG6M5

.7/<I%:@58.Y1/5(:"<M38I.)7%5.)B8I%58M._Q(:"A5Ab5QDI/.9.A58I%5

-%."08I/505A\%<83J7%TF.)>?50,:"8."0 k[e M5M0385K ? G

M5CM0385 L 3B8I%505C5X3JA$8A:A5(9\%57/Q5C.)B680,:)7/A$B.)0NY:@

I%5U0,:"83J.7%:)<Ba\%7/Q83J.7%AU%" :)7%1P M3J<J<S?5kQ(:"<J<;51>L:@

0,:)NF5D850A."B8I/5C80,:"7%A$Ba.)0NY:"83J.)7G:)7%1F3;7FQ:)A523J3'm8I/5B\%7/Q83J.7

)$)YDD,U _a%Y$)% ),F")%R, ))]) )D U)

c8=3JA=Q<;5:"08I%:"8=3B ? :)7%1F G98I%5A.)<J\/83J.7/A.)B

Q(:)7S?5K5X>/05AA5(1S9`5AA5<mBa\%7/Q83J.7%Ab .)750A5<9G6Ba0.N

I/5k05<;:"83J.7/A L :)7L1 ? :@055+\/3J:"<;57%Q505<;:@83;.)7%A

A55Uedm."0_e @aS/\/8 ? 3JA7/.)8]3B3;A7%."8:

05A$803;QD8.\/0A5(:"0Q,IR8.]:A>?5Q3ZLQ."0,1/50.)B8I%580,:"7%A$Ba.)0NY:"83J.)7%A

`* 582 ;Ln ( nL / :)7%1M5R1/57/.)85iv

/ B."0A.)NF5$ [e M38I

x/i[iq0D [e ~/,a/) n? tg/D

`* A3J78I%5K<;:)A$8>/0.9."B.)7%52A3JNF>/<J05M0385A8I%5]A.)

=x/i[iqHD{ [e FDk=) DD/D/D)

Kf5X> l 5DX/> l l

W38IK5X>6m a6C M5Q:)7]05DM03J85=8I%3JA:)AH:>?.(M50HA503J5A

l6ijHosq%lLy"oaqLn y@lLjnax/i F05Q."50]f:)7L18I%5F`5AA5<>%:"

-0.NI/505.7G+8I%5M.)0,1 5X>?.7/5798 ]05Ba50A8. \%7/0,:"NF3ZL5(1

=e;e l Je <J7 l I%:)AC:27%.)7/

52Q.)7%Q<J\%1/5cB L B."0:)79A5(9\%57%Q5K.)B=80,:)7%A$Ba.)0

CAA\%NF5 | 3;AT3J57r:)7%1fM5A5:"0Q,IrBa.)0

83J.)7.9QQ\005(1G8I%57U383JA5(:"A$R8.]05Q.@50UBa0.)Nv S9Y\%A3J7/T

L G:"7L18I%5B:"Q88I%:"8 RQ.)NF>%<J585<15850NF3J7%5A A55e G

x+lLy@x%i H Dk[e ,R" DD%)D/D$)

]M505M0385 A\%Q,IK8I%:"8 f5X>

'6 B.)0A.)NF5

3JNF3;<;:@0<J9GB.)08I%5CA5Q.7%1F3;7%1/5>?57L1/57+8=<J.9Q(:)<?A.)<J\/83J.7R.)B

3JA2:A.)<J\/83J.7^."BCbc7.)0,1/5D0K8.kT)582:A.<J\/83J.7 ."B M5

[5:)>/>%<F8I%5A5A\%S%A$838\83;.)7%A8.U9:"7L1UT)58:K<;.9Q:)<A.)<J\/83J.7

K /) ^>?.3J798 2."B?k[e 9B."0MI%3JQDI U 6=

55D02>?.)3;798mMI%3JQ,IF3JA=7/.)85X>/:)>/>L:@05798mN2\%A$8mS?5:A3J7/T\%<;:@03J89b

, ?n ?n # a%9 JBm 9K/J)87

C7f3JNF>?.)08,:"7+8Y>0.>?508PBa.)0`5AA5<B\%7/Q83J.7/AU3JAY8IL:"8Y8I/5

x/i[iqHG0D [e ,KF" DD%)D/D$)

A.)<J\/83J.7^3JA80,:)7/A$B.)0NF513J798.:A.)<;\83J.7

@ Q8\%:)<J<=E Q.N2S/3J7L:"83J.)7%AG/A55Mm X/:"NF>%<J52db

M I%5D052 db .YPIL:)A:_<J.T:"038I%NF3JQKA.<J\/83J.7:@88I/5K>?.)3J7+8

k:"7L1A3J7%Q53J8M :)AC:2V50.2.)B=G/3J8C3JAC:)<JA.F5X>/05T)\%<;:"0(b

[5YM3J<J<C\/A5U8I/5RB:)Q8FB'0.N I/5.)05NE3'K8I%:"8PU_63JA

`."8IA58AC:"05Z%7%385:)7%138C3;A5(:"A$U8.2A55

0, n )?dCa%KD)"YDD

): 7%1M5M:"798H8.+7/.@M^MI/58I%5D0H8I%5=A.<J\/83J.7/AQ(:)7]S?55X>05AA5(1

3J7K85D0NFA."B?`5AA5<+Ba\%7/Q83J.7%Ab[5=:)AA\/NF5=8IL:@8 L

A.NF580,:"7%A$Ba.)0NY:"83J.)7%AbmcB?M5ZL7%1_:A.<J\83;.)7F8.8IL:@8=>0.S/<;5NG

[5mM3J<J<+Z/0A$8m:)AA\/NF5 2W:)7%1M3;<J<1/5:)<M38I]NF."05=T)57%5D0,:)<

db goswL~Hnaq%y"oaoax Y[5YQ(:"7^Q.NF>/\/8528I/5RA3J7/T\%<;:@03J83J5A

:)7%1U3BmA./G/Q.)NF>%\/858I%580,:"7%A$B."0NY:"83J.7b

5D8 ; G3b 5bYU OS@FrBa.)0F:"<J<_Sg

=x/i[iq 8oHD ,Ra%

E ))+b-/\/08I%5D0NF.)05Ge 3;A:)<JA.Y:2A3J7/T\%<;:@03J8."Bmb

<J.)T:"038I/N:)>%>?5:"0A:@88I%5A5K8I/055]>?.3J798A538I%50(GA.R8I%5:@05

8I/5>?.<;:"0C>%:"08AQ.)005A>?.7L13J7%T_8.]8I/55X>/

]: 58 S?5:V5D0.[.)B8I/5k>L:@0,:)NF5850Uf."B8I%5

3J7%Q5 R @U 3J7P8I/3;A2A5Q83J.7GM5U7%55(17%. OA3JT7/A

S < cBegf:"05CQ.N]S%3J7%5(1_3J7 bmI%5C>?.<7%.)NF3':"<6 / 3JA=8I/5

d)bgoswL~Hnaq%y"oaoax @fI%57kM5B:"Q8.)08I/5Q.95 FQ3J5798A."B

I%5A$80,:@85T)]3JAH8.\/A5=8I%5Q.NF>/\/8,:"83J.)7%A:@88I%5A3J7/T\%<;:@03J8

S M38IPU A"S mET \ 6 bcBU [

=>S@ S V50._.)Bm3005(16bmB:)QD8.)0@Jo.)N J[6>S@D [/ Wb

5DX857%A3J.7/A ."B ."B15T)055_8M.UA\%Q,I8I%:"8

xbqLi}nax .7/A3'150C8I%513J465D057983':"<5+\%:"83J.7

8M.bI%3JAK5X/:)NF>%<J5F.9QQ\/005(1[3J7[05A5(:@0QDI^."BbHKbm