1.0. Power Series Solutions of Ordinary Differential Equations 1.1. THE Notation 1.1.1 Index or Subscript Notation
1.0. Power Series Solutions of Ordinary Differential Equations 1.1. THE Notation 1.1.1 Index or Subscript Notation
1.0. Power Series Solutions of Ordinary Differential Equations 1.1. THE Notation 1.1.1 Index or Subscript Notation
NOTATION
1.1.1 Index or Subscr!" No"#"on
T$e s%&bo'
i
x
(!ronounced )
x
sub
i
*+ s"#nds ,or #n% o, "$e -#'ues
1 . /
0 0 0 0 0 0
n
x x x x L L
"$#" "$e -#r#b'e
x
c#n #ssu&e. T$e 'e""er
i
n
i
x
s"#nds ,or #n% o,
"$e n"e1ers 00 10 .0 /0 20 30 40
L
0 #nd s c#''ed "$e subscr!" or ndex.
An% o, "$e 'e""ers
0 0 0 j k l m
#nd
n
c#n be used #s subscr!". In so&e 5or6s
r
s #'so used
#s # subscr!".
N.7.8 9#re $#s "o be exercsed n c$oosn1 # subscr!". A'5#%s #-od 'e""ers "$#" #re
6no5n0 s#%0 "o re!resen" cons"#n"s or re#' or co&!'ex -#r#b'es suc$ #s
0 0 a b c
or
0 0 x y z
e"c.0 or 'e""ers "$#" $#-e s!ec#' &e#nn1s:-#'ues suc$ #s
e
or
g
.
We de,ne "$e Su&&#"on:S1&# No"#"on b%
1 . /
1
.
n
i n
i
x x x x x
+ + + +
L
Ex#&!'es
( )
( )
( )
( )
( ) ( )
;
3 3 ; ; 1 1 . . / / 2 2 4 4
1
3
3 1 . / 2
1
3
3 1 . / 2
1
3 3
1 1
1 1 1
.
.
.
.
<ener#''%
i i
i
k
k
k
k
k k
k k
n n n
i i i i
i i i
i x y x y x y x y x y x y x y x y
ii ax ax ax ax ax ax
a x x x x x a x
i ax a x
ii ax by a x b y
+ + + + + +
+ + + +
+ + + +
+ +
No"e #'so "$e ,o''o5n1
( )
1
"o "er&s .
n
i
a a a a a a a a a n na
+ + + + + + + +
L
1... SHIFTIN< THE INDE=
In so'-n1 ordn#r% d,,eren"#' e>u#"ons0 (ODEs+0 b% !o5er seres &e"$ods0 #
1ood 6no5'ed1e o, "$e !ro!er"es o, "$e su&&#"on
( )
no"#"on co&!rses o, "5o &!or"#n" re,erences. 7o"$ o, "$ese re,erences #re
unds"n1us$#b'e exce!" ,or "$e !os"on "$e% occu!% -s@A@-s "$e no"#"on "se',. For
ex#&!'e n "$e "er&
( )
10
. /
2
; .
n
n
n
n n x y
1
]
+ + + + +
+ + + + +
+
+
+
+
+ + + + + +
+ + + + + +
L L
L L
L L L
Lo5ern1 "$e coun"n1 ndex b% .0
2 . Fro& "o
1
1
]
]
0 1-es rse "o r#sn1 "$e
su&&#"on ndex b% .
Fro& "o . n n
1
1
]
+ Z
.
9on-erse'%
.
.
.
n
n
n
a x
+
+
F
2
n
n
n
a x
+ + + + +
+ + + + +
+
+
+
+
+ + + +
+ + + +
Exercse Der,% "$e ,o''o5n18
( )
.
.
. 0
n n
n n
n n
i a x a x
+
+
( ) ( ) ( ) ( ) ( ) ( ) ( )
.
0 . 0
. 0
. 1 2 /
n n
n n
n n
ii n n a x x n n a x x
+
+ + + +
<ener#''%
Summation index up by
c
( ) ( )
n k n k c
f n f n c
+
Counting index down by
c
And Summation index
down by
c
( ) ( )
n k n k c
f n f n c
+
Counting index up by
c
That is if the counting index is raised/lowered by c, then the summation
index is lowered/raised by c as the case may be.
Exercses
Wr"e "$e ,o''o5n1 su&&#"ons 5"$ "$e ndc#"ed cond"ons8
<-en 1enerc "er& <enerc "er& 5"$
( ) i
( ) ( ) ( )
.
/ .
0
.
. 1
n
n n
n
x x x x
+ +
( )
.
0
n
x x
( ) ii
( )
/ 1
0
n r
n
n
x n r a x
n r
x
+
( ) iii
1
.
n
n
n
na x
n
x
( ) v
2
.
.
n
n
n
a x
n
x
( ) vi
0
n r k
n m k
n
a x
+ +
+ +
n r
x
+
( ) vii
( )
2 . .
. 0
1
n n
n n
n n
x n n a x a x x
+
n
x
1./ POWERFUL SERIES SOLUTIONS IETHODS FOR ORDINARY
DIFFERENTIAL EQUATIONS
1./.1. In"roduc"on
In "$e &odu'es o, "$e !re-ous 'e-e's se-er#' s"#nd#rd "ec$n>ues used n "$e
so'u"ons o, ordn#r% d,,eren"#' e>u#"ons (ODEs+ 5ere s"uded. We so'-ed0 n !#r"cu'#r0
"$e second order 'ne#r d,,eren"#' e>u#"ons 5"$ cons"#n" coe,,cen"s o, "$e ,or&8@
( ) ( )
.
.
5$ere #re cons"#n"s
1
0 0 5"$ 0.
d y dy
a b cy f x
dx dx
a b c a
+ +
L L L
Prob'e&s #rse n En1neern1 5$ere "$e coe,,cen"s #re no" cons"#n"s. A'' "$e
&e"$ods so ,#r s"uded 1-e n0 so "o s!e#60 "$#" s ,#' n suc$ c#sesJ Po5er,u' &e"$ods
#re re>ured0 #nd exs"0 "$#" c#n so'-e second order ordn#r% d,,eren"#' e>u#"ons or
$1$er order ODEs 5"$ -#r#b'e coe,,cen"sK5$ere "$e coe,,cen"s #re ,unc"ons o, "$e
nde!enden" -#r#b'eKn "$e !resen" c#se
x
. In 5$#" ,o''o5s 5e 5'' concen"r#"e on so&e
o, "$e &ore !o5er,u' &e"$ods o, so'u"on o, "$e second order 'ne#r d,,eren"#' e>u#"ons
o, "$e ,or&8@
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
.
.
5$ere #nd #re ,unc"ons o, .
.
0 5"$ 0 x
d y dy
P x Q x R x y F x
dx dx
x Q x R x P x P
+ + L L L
T$e &e"$ods 5e #re #bou" "o de-e'o! #!!'% 5$ere "$e coe,,cen"s #re
!o'%no&#'s or #n% #n#'%"c ,unc"ons. In "$s ,rs" !#r" o, our dscusson0 5e #re 1on1 "o
concen"r#"e our e,,or"s "o5#rds "$e so'u"on o, "$e e>u#"on8@
( ) ( ) ( ) ( )
.
.
0 /
d y dy
P x Q x R x y
dx dx
+ + L L L
snce "$e &e"$ods o, so'u"on ,or (.+ #nd (/+ #re s&'#r0 mutatis mutandis. Ho5e-er0 #
-er% '#r1e c'#ss o, !rob'e&s n En1neern1 or I#"$e&#"c#' P$%scs 'e#ds "o e>u#"on (/+
5"$ !o'%no&#' coe,,cen"sC ,or ex#&!'e8@
( ) ( )
( ) ( ) ( )
( )
( )
.
. . .
.
.
.
.
.
.
.
.
.
1 T$e 7esse' e>u#"on8 0.
. T$e Le1endre e>u#"on8 1 . 1 0.
/ T$e Ar%Ls e>u#"on8 0.
2 T$e Eu'er e>u#"on 0. 5$ere 0 #nd #re co
d y dy
x x x y
dx dx
d y dy
x xy y
dx dx
d y
xy
dx
d y dy
x x y
dx dx
+ +
+ +
+ + ns"#n"s
For "$s re#son 5e 5'' consder "$e ,or& o, c#se (/+ n 5$c$
( ) ( ) ( ) 0 #nd P x Q x R x
#re
!o'%no&#'s 5"$ no co&&on ,#c"ors. Ho5e-er0 "$e &e"$od #!!'es e>u#''% 5e'' "o
e>u#"ons n 5$c$
( ) ( ) ( ) 0 #nd P x Q x R x
#re 1ener#' #n#'%"c ,unc"ons #nd n 5$c$
( ) 0. F x
1./... THE DO9A7ULARY
In "$e ,o''o5n1 de-e'o!&en" so&e 6e% conce!"s #nd -oc#bu'#r% 5'' be re>ured.
I" be$o-es us no5 "o !er,or& # >uc6 #nd s$or" re-e5 o, so&e o, "$e ,und#&en"#' "er&s
#nd conce!"s. T$e s"uden" s re,erred "o e#r'er c#'cu'us '"er#"ure ,or # "$orou1$ "re#"&en"
o, "$e re'e-#n" &#"er#'.
1./...1. Ordn#r% #nd Sn1u'#r Pon"s
Ordinary Point
I, # !on"0
0
exs"s x x
0 suc$ "$#"
( )
0
0 P x
0 "$en "$e !on"
0
x x
s c#''ed #n
ordinary point o, (/+. T$en0 n "$e ne1$bour$ood o,
0
x x
0 e>u#"on (/+ c#n be
5r""en n "$e ,or&
( )
( )
( )
( )
( )
.
.
2
Q x R x
d y dy
y o
dx dx
P x P x
+ + L L L
A !on"
0
x x
s s#d "o be #n ordinary point o, "$e d,,eren"#' e>u#"on (/+ , bo"$
( +
( +
Q x
P x
#nd
( +
( +
R x
P x
n "$e s"#nd#rd ,or& (2+ #re #n#'%"c #"
0
x x
. A !on" "$#" s no" #n
ordn#r% !on" s s#d "o be # singular point !"v"# o, "$e e>u#"on.
In "$e dscusson "$#" ,o''o5s 5e 5'' consder "$e so'u"ons o, (/+ n "$e
ne1$bour$ood o, "s ordn#r% !on".
$ingular point
I, # !on"
0
x x
0 s suc$ "$#"
( ) 0 P x
0 "$e !on"
0
x x
s c#''ed # singular
point o, (/+. Sn1u'#r !on"s #re !o"en"#''% "roub'eso&e. S!ec#' &e"$ods 5'' be
ex!'ored '#"er on $o5 "o so'-e (/+ ne#r "s sn1u'#r !on"s. A sn1u'#r !on"
0
x x
o, "$e
d,,eren"#' e>u#"on (/+ under1oes ,ur"$er c'#ss,c#"ons #s ben1 e"$er regular or
irregular. T$s c'#ss,c#"on de!ends #1#n on "$e r#"on#' ,unc"ons
( )
( )
Q x
P x
#nd
( )
( )
R x
P x
5$en e>u#"on (/+ s 5r""en n "$e s"#nd#rd ,or& (2+.
Regular or Irregular Singular Point
A sn1u'#r !on"
0
x x
s s#d "o be # regular singular point o, "$e d,,eren"#' e>u#"on
(/+ , "$e ,unc"ons
0
( +
( +
( +
Q x
x x
P x
#nd
.
0
( +
( +
( +
R x
x x
P x
#nd
.
0
( +
( +
( +
R x
x x
P x
<
<
II. Le"
0
x x
be # sn1u'#r !on" .e. 'e"
( )
0
0 P x
"$en
0
x x
s #n rre1u'#r
sn1u'#r !on" (ISP+ ,
( )
( )
( )
( )
( )
( )
0
0
0
.
0
.e does no" exs"
.e does no" exs"
'&
OR
'&
x x
x x
Q x
x x
P x
R x
x x
P x
I,
0
x x
#!!e#rs at most "o "$e ,rs" !o5er n "$e deno&n#"or o,
( +
( +
Q x
P x
#nd at most "o "$e
second !o5er n "$e deno&n#"or o,
( +
( +
R x
P x
0 "$en
0
x x
s # re1u'#r sn1u'#r !on"
Exercses
In e#c$ o, "$e ,o''o5n1 !rob'e&s ,nd #'' sn1u'#r !on"s o, "$e 1-en e>u#"on #nd
de"er&ne 5$e"$er e#c$ one s re1u'#r or rre1u'#r.
( ) ( ) ( ) ( )
( ) ( )
( ) ( ) ( )
( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( )
. .
. /
. .
. .
.
. .
.
. . .
.
.
.
.
.
.
.
.
.
1 2 / . 3 0 . . G 0
/ sn 0 2 / 0
3 1 1 0
4 cos sn 0
.
; . 1 . 0
G . 1 / 1
d y dy d y dy
x x y x xy y
dx dx dx dx
d y dy d y dy
x x x y x xy
dx dx dx dx
d y dy
x x x x y
dx dx
d y dy
x x x y
dx dx
d y dy
x x x y
dx dx
d y dy
x x x
dx dx
+ + +
+ + + +
+ +
_
+ +
,
+ + +
+ + ( )
( ) ( )
( ) ( )
.
. .
.
.
.
. . 0
H /sn 1 0
10 /cos 0
x
x y
d y dy
x x x y
dx dx
d y dy
x e x y
dx dx
+
+ +
+ +
( ) ( )
. .
. .
11 2 0 1. sn / 0
d y dy d y dy
x xy y x x xy
dx dx dx dx
+ + + +
1.2. POWER SERIES SOLUTIONS OF ORDINARY DIFFERENTIAL
EQUATIONS NEAR THEIR ORDINARY
POINTS
7e,ore e&b#r6n1 on "$e !o5er,u' &e"$ods 6no5n #s Po5er Seres So'u"ons o, ordn#r%
d,,eren"#' e>u#"ons 'e" us re&nd ourse'-es o, our !re-ous 6no5'ed1e "$rou1$ #n
ns"ruc"-e ex#&!'e.
Ex#&!'e
So'-e "$e d,,eren"#' e>u#"on8
( )
.
.
0 3
d y
y
dx
+ L L L
2) 7% usn1 "$e &e"$ods #'re#d% 6no5n "o us.
3) Ex!ress "$e so'u"on ob"#ned n (+ #s # !o5er seres.
So'u"on
( )
.
T$e #ux'#r% e>u#"on8 1 0
T$e c$#r#c"ers"c roo"s
T$e 1ener#' so'u"on cos sn
i m
m i
y & x ' x
+
t
+
( ) ( )
( )
( )
( )
( )
( )
( )
. 2 4 / 3 ;
. . 1
0
A!!'%n1 "$e I#c'#urn seres or "$e T#%'orLs seres #bou" 0 "o "$e
1ener#' so'u"on n 5e 1e"
T$#" s
1
.J 2J 4J /J 3J ;J
1 1
3
. J . 1 J
n n
n n
n n
ii x
i
x x x x x x
y & ' x
x x
y & ' a
n n
+
_ _
, ,
+ + + + +
+
+
L L
L L L
0
T$s ex#&!'e de&ons"r#"es "$e ,#c" "$#" # so'u"on o, #n ODE &#% be ex!ressed n "$e
,or& o, # 'ne#r co&bn#"on o, !o5er seres
T$e ,o''o5n1 s # "$eore& 5e #re 1on1 "o use0 5"$ou" !roo,0 n "$e ,o''o5n1 "re#"&en"
o, !o5er seres so'u"ons o, ODEs. I" 1u#r#n"ees the existence o, !o5er seres so'u"ons
o, ODEs.
THEOREM (EXISTENCE THEOREM)
If
0
x x
is an ordinary point of the differential euation (!)" then the general
solution of (!)" is
0 1 .
0
( + ( + ( +
n
n
n
y a x x & y x ' y x
#here $ and % are ar&itrary 'onstants and
1
( + y x
and
.
( + y x
are linearly
independent po#er series solutions #hi'h are analyti' at the ordinary point
0
x x
A so'u"on o, "$e ,or&
( )
0
0
n
n
n
y a x x
.
T$ere s #no"$er ,#c" ,ro& A'1ebr# "$#" s o, s!ec#' &!or"#nce 5$c$ 5e #re
1on1 "o use o,"en. We0 #1#n 5"$ou" !roo,0 >uo"e "$e ,#c"8
THEOREM (I(ENTIT) PROPERT))
( ) ( )
0 0
0 0
I, 0 "$en 0 0010 .0 /0 .
n n
n n n n
n n
a x x b x x a b n
L
( )
0
0
In !#r"cu'#r0 , 0 "$en 0 0 0010 .0 /0 20 . 0
n
n n
n
a x x x a n n
L
I''us"r#"-e Ex#&!'e
Fnd # seres so'u"on0 n !o5ers o,
x
0 o, "$e d,,eren"#' e>u#"on (3+ .e.
( )
.
.
0 3
d y
y
dx
+ L L L
So'u"on
Tes" ((his must always be performed) henceforth+8
( ) ( ) ( )
( )
( )
( )
( ) ( )
0
0 0 0
10 00 1
0 1 0
0 s #n ordn#r% !on" o, 3 .
T$e #bo-e exs"ence "$eore& 1u#r#n"ees # !o5er seres so'u"on o, "$e ,or&
0
n n
n
n n n
n n n
P x Q x R x
P
x
y a x x a x a x
No5 'e"
( )
0
n
n
n
i y a x
L L L
( )
1
1
0 L
n
n
n
ii y na x
L L L
#nd
( )
( )
.
.
M 1
n
n
n
iii y n n a x
L L L
Subs""u"n1 (+ #nd (+ n"o (3+ 5e 1e"8
y
( )
.
.
1
n
n
n
n n a x
1 4 4 42 4 4 43
0
0
n
n
n
a x
647 48
.
.
d y
dx
Here 5e $#-e "o e sure #'' 1enerc "er&s #re ex!ressed n "er&s o,
n
x
. T$e
second "er& !oses no !rob'e&. Ho5e-er "$e second "er& s no" n "$s re>ured ,or&.
T$s re>ures us "o r#se "$e su&&#"on ndex b% . #nd $ence 'o5er "$e coun"n1 ndex b%
..
( ) ( )
.
0 0
. 1
n n
n
n
n n
n n a x a x
+
+ + +
( ) ( )
.
0
. 1 0
n
n
n
n
n n a a x
1
1
]
+ + +
/ 1 1
3
0 0 2
4
1
/
3 2 3 2 /J 3J
1
2
4 3 4 3 2J 4J
a a a
n a
a a a
n a
_ _
, ,
_ _
, ,
3 1 1
;
1
3
; 4 ; 4 3J ;J
a a a
n a
_ _
, ,
M
Subs""u"n1 "$e #bo-e n"o (+ .e. n"o
0
n
n
n
y a x
0
. / 2 3 4 ;
3 ; 0 1 . / 2 4
0 0 1
. / 2
0 1
0 1 1
3 4 ;
.
.J /J 2J
3J 4J ;J
n
n
n
y a x
a a x a x a x a x a x a x a x
a a a
a a x x x x
a a a
x x x
_ _ _
, , ,
_ _ _
, , ,
+ + + + + + + +
+ + + + +
+ + + +
L
L
M
M
( )
( )
( )
( )
( )
. 2 4 / 3 ;
0 1
. . 1
0 1
0 0
1 .
.J 2J 4J /J 3J ;J
1 1
. J . 1 J
n n
n n
n n
x x x x x x
y a a x
x x
y a a iv
n n
+
_ _
, ,
_ _
, ,
+ + + + +
+
+
L L
L L L
5$c$ s den"c#' "o "$e so'u"on (3#+ #bo-e 5"$
0
a &
#nd
1
a '
No"e "$#" no cond"ons $#-e been &!osed on "$e cons"#n"s
0
a
#nd
1
a
so "$ese #re
ser-n1 #s "$e usu#' #rb"r#r% cons"#n"s.
IIS9ELLANEOUS WORNED E=AIPLES
Worded Ex#&!'e One
Fnd # !o5er seres so'u"on o, "$e ,o''o5n1 e>u#"on #bou" "$e !on"
0 x
8
( )
.
.
.
1 . . 0
d y dy
x x y
dx dx
+
So'u"on
To so'-e0
( ) ( )
.
.
.
1 . . 0 1
d y dy
x x y
dx dx
+ L L L
.
( ) ( ) ( )
( )
( )
.
T$e "es"8 1 0 . 0 .
0 1 0
0 s #n ordn#r% !on" o, 1 .
P x x Q x x R x
P
x
Fro& "$e exs"ence "$eore& #bo-e (1+ $#s # so'u"on o, "$e ,or&
( ) ( )
( )
( )
( ) ( )
0
0 0 0
0
1
1
.
.
0
T$#" s "$e so'u"on s
L
#nd M 1
n n
n
n n n
n n n
n
n
n
n
n
n
n
n
n
y a x x a x a x
y a x i
y na x ii
y n na x iii
1
]
+
+
[ ]
( ) ( ) ( )
[ ]
( ) ( ) ( )
.
0 . 1 0
. / .
.
#"on ndex n "$e ,rs" "er&
0
n1 sure "$#" "$e coun"n1 ndces co&&ence "o1e"$er0 #" . n "$s c#se
1 . 1 . .
1 . . / 1 . 1
n n n n
n n n
n
n n n n
n
n
n
n
n n a x n na x na x a x
a a x n n a x n n
+
+ + +
+ + + +
.
0
. .
1 1
. . . 0 . 1 .
n
n
n
n n
n n
n n
a x
na x a a x a x a x
_
_
,
,
+ + +
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
{ }
. 0 / .
.
. 0 / .
.
. 0 / .
.
T$#" s
9#''n1 "$e den""% !ro!er"% n"o !'#% o
. . 4 1 . 1 . . 0
. . 4 1 . 1 . . 0
. . 4 1 . . 1 0
n
n n n
n
n
n
n
n
n
n
n
n
a a a x n n a n na na a x
a a a x n n a n n n a x
a a a x n n a n n x
1
1
]
1
' ;
1
]
+ + + + + +
+ + + + + +
+ + + + + +
( )
( ) ( ) ( ) ( )
( ) ( )
( ) ( )
. 0
/
. .
.
r e>u#"n1 coe,,cen"s #s 5e #re #ccus"o&ed "o
E>u#"n1 coe,,cen"s8
9ons"#n"s8
. 1
/
. . 0
8 4 0
1 .
8 1 . . 1 0 0 .
. 1
1
0 .
1
0
n
n n
n n
n
n
a a
x a
n n
x n n a n n a a a n
n n
n
a a n
n
a a
a
+ +
+
+
+
+ + +
+ +
+
( )
0 0
2 . 0 2
1 1
.
/ / / /
a a
n a a a a
( )
3 3 /
. 1
/ 0 0 0
2 .
n a a a
( )
0 0
4 2 0 4
; 3 ;
0 0 0
G 4 G
/ / 1
2
3 3 / 3 3
2 .
3 0 0 0
4 /
3 3
4
; ; 3 ; ;
a a
n a a
n a
a a a
n a
a a
a a
a a
_
,
_
,
T$e 1ener#' so'u"on s
1
. / 2 3 4 ; G
3 ; 0 1 . / 2 4 G
. 2 4 G
0 1 . 2 4 G
0 0 0
. 2 4 G
0 1 0
2 4 G
.
0
0
.
.
.
3 ; /
1
3 ; /
n
n
n
x
a a x a x a x a x a x a x a x a x
a a x a x a x a x a x
a a a
a a x a x x x x
x x x
a x
y a x
a
_
,
+ + + + + + + + +
+ + + + + +
+ +
+ +
L
L
L
L
T$ere,ore "$e 1ener#' so'u"on s
y
1
2 4 G
.
0
. 1
3 ; /
x
x x x
a x a
_
,
+ + L
Worded Ex#&!'e T5o
Fnd # seres so'u"on o,
( ) ( )
.
.
.
2 / . 3 0
d y dy
x x y
dx dx
+ +
n !o5ers o,
x
.
So'u"on
To so'-e
( ) ( )
.
.
.
2 / . 3 0
d y dy
x x y
dx dx
+ +
( ) 1 L L L
In !o5ers o,
x
K"$#" s ne#r "$e !on"
0. x
( ) ( ) ( ) ( )
( )
( )
.
Tes"8 20 / . 0 3
0 2 0
0 s #n ordn#r% !on" o, 1
P x x Q x x R x
P
x
( )
( )
( ) ( )
0
0
1
1
.
Assu&e
#nd L
%MF 1
n
n
n
n
n
n
n
y a x i
y na x ii
n na x iii
L L L
L L L
L L L
Subs""u"n1 (+0 (+ #nd (+ n"o (1+8
( ) ( ) ( )
( ) ( )
. . 1
. 1
. 1
. . 1 1 0
2 1 / . 3 0
1 2 1 / 4 3 0
n n n
n n n
n n
n n n n n
n n n n n
n n n n n
x n na x x na x a x
n na x n na x na x na x a x
+ +
+ +
OIn 5$#" ,o''o5s e,,or"s 5'' be concen"r#"ed on "r#ns,or&n1 #'' 1enerc "er&s "o "er&s n
n
x
P8
( ) ( ) ( )
( )
.
. 0
1
1 0 0
.
1
1 2 1
/ 4 3 0
n n
n
n
n n
n n n
n n
n
n n n
n
n
n na x n a x
na x a x a x
+
+
+
+
+
+ +
To be #b'e "o ex!ress #'' su&s usn1 on'% one
+ +
+ +
+
+ + +
OE#c$ "er& $#s been ex!#nded0 5$ere necess#r%0 on "s o5n se!#r#"e 'ne.P
( ) ( ) ( )
( )
1
. . .
. / 1 1 . 0 1
.
. .
/ 4 1 3 0
G .2 / 4 1. 3 3
1 2 1 .
n n n
n n n
n n n
n n
n
n
n n
na x n a x a x
a a x a x a a x a a x
n na x n n a x
+
+
+
+ + +
+ + + +
+ + +
9o''ec"n1 "er&s8
( ) ( )
( ) ( ) ( ) ( )
0 1 . 1 . /
1 .
.
3 4 G G 1. .2
1 / 3 4 1 2 1 . 0
n
n
n n
n
a a a a a a x
n n n a n a n n a x
+ +
1
' ;
1
]
+
+ + + + + +
( ) ( )
( ) ( ) ( ) ( )
0 1 . 1 . /
1 .
.
3 4 G 2 . / 4
1 / 3 4 1 2 1 . 0
n
n
n n
n
a a a a a a x
n n n a n a n n a x
+ +
1
' ;
1
]
+
+ + + + + +
( ) ( )
( ) ( ) ( ) ( )
{ }
0 1 . 1 . /
.
1 .
.
3 4 G 2 . / 4
. 3 4 1 2 1 . 0
n
n
n n
n
a a a a a a x
n n a n a n n a x
+ +
+
+ + + + + +
_ _ _
, , ,
_ _
, ,
+ + + + +
+ + + + +
+ + + + + +
L
L
L L
E=ER9ISE
So'-e "$e ,o''o5n1 d,,eren"#' e>u#"ons n !o5er seres #bou" "$e ndc#"ed !on"s8
( )
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
.
.
.
. .
.
.
.
.
.
.
.
1 / 0 #bou" 0 or #bou" /
. 1 1 0 #bou" 1 or #bou" 0
/ . 1 . 0 #bou" 1 or #bou" 0
G . 1 / 1 . . 0
d y dy
x xy x x
dx dx
d y dy
x x x y x x
dx dx
d y dy
x x x y x x
dx dx
d y dy
x x x x y
dx dx
+ +
+ +
+ + +
+ + + #bou" 0 x
. POWER SERIES SOLUTIONS OF ORDINARY
DIFFERENTIAL EQUATIONS NEAR THEIR ORDINARY
POINTS
OTHER THAN
0 x
For "$e c#se 5$ere " 5'' be necess#r% "o ,nd # !o5er seres so'u"on o, #n ODE #bou"
"$e ordn#r% !on"
0
0 x x
0 "$e ,o''o5n1 subs""u"on 5'' be &#de n "$e e>u#"on8
0
z x x
. T$s &!'es
0 z
5$en
0
x x
.T$s 'e#ds "o # so'u"on o, "$e ,or&
0
n
n
n
y a z
Su&&#r%
0
. .
. .
W$en #nd
dy dy
z x x
dx dz
d y d y
dx dz
Worded Ex#&!'e T$ree
So'-e "$e d,,eren"#' e>u#"on
( )
.
.
1 0 n !o5ers o, ..
d y dy
x y x
dx dx
+ +
So'u"on
No50 so'-n1 #n ODE n !o5ers o,
. x
s e>u-#'en" "o so'-n1 "$e e>u#"on #bou" "$e
!on"
. x
. So 'e" us ,rs" !er,or& "$e subs""u"on
Le" . . z x x z +
T$s subs""u"on "r#ns,or&s "$e 1-en e>u#"on n"o8
( ) ( )
.
.
1 0 1
d y dy
z y
dx dz
+ + + L L L
Tes"
( ) ( ) ( )
( )
( )
10 10 1.
0 0
0 s #n ordn#r% !on" o, 1
P z Q z z R z
P z
z
+
( )
Le" %F
n
n
n
a z i
L L L
( )
1
1
L
n
n
n
y na z ii
L L L
( ) ( )
.
.
#nd M 1
n
n
n
y n na z iii
L L L
Subs""u"n1 (+0 (+ #nd (+ n"o (1+ 5e 1e"8
( ) ( )
( )
( )
( )
( )
( )
( )
( )
( )
. 1
. 1
. 1 0
1
.
0 1 1 0
. 1
0 1 0 0
.
1 1
.
.
.
1 1 0
1 0
1 1 0
1 . 1 1
1
n n n
n n n
n n n
n n n n
n n n
n
n n n n
n n n n
n n
n n
n n n n
n n
n
n
n n
n
n
n
n na z z na z a z
n a z na z na z a z
n a z na z n a z a z
a n a z na z a
n a
+
+ +
+
+
+
+ +
+ + +
+ + + +
+ + + + +
+ + +
+ +
( ) ( ) ( ) ( )
{ }
( ) ( ) ( ) ( ) ( )
{ }
1
1 1
. 1 0 . 1
1
. 1 0 . 1
1
0
. 1 . 1 0
. 1 . 1 1 0
n n
n
n
n n
n
n n
n n
n
n
n
n n
n
z a z
a a a n n a na n a a z
a a a n n a n a n a z
+
+ +
+ +
+
+ + + + + + + + +
+ + + + + + + + +
E>u#"n1 coe,,cen"s8
( )
( ) ( ) ( ) ( )
( )
( )
0
. 1 0 . 1 0
. 1
. 1
. 1
1
8 . 0
.
8 1 . 1 1 0
. 0
1
0 1
.
n
n
n n
n
n n
n
n n
z a a a a a a
z n n a n a n a
n a a a
a a a n
n
+ +
+ +
+ +
+ + +
+ + + + + +
+ + +
+
+
<ener#"n1 coe,,cen"s8
( ) ( )
( )
/ . 1 1 0 1 1 0
/ 0 1
1 1 1 1 1 1
1
/ / . / . .
1
4
n a a a a a a a a
a a a
1 1
1 1
] ]
+ + +
T$e 1ener#' so'u"on s
0
. / 2
0 1 . / 2
n
n
n
y a z
a a z a z a z a z
+ + + + +
L
( ) ( )
. /
0 1 1 0 0 1
1 1
. 4
a a z a a z a a z + + + +L
( )
( ) ( )
( )
( ) ( )
. / . /
1
. / . /
0 1
Re!'#cn1 b% . 5e 1e"8
.
0
. 4 . 4
. . . .
1 .
. 4 . 4
1
z x
z z z z
z
x x x x
y a a x
a a
_
_
,
,
_ _
, ,
+ +
+ + + +
+ L L
L L
E=ER9ISES
Ques"on One
T$e #bo-e e>u#"on c#n be so'-ed s"r#1$" #5#% 5"$ou" $#-n1 "o c$#n1e "$e -#r#b'eJ
In "$s c#se 5e #ssu&e "$e so'u"on o, "$e ,or&
( )
( )
( ) ( )
0
1
1
.
.
.
L . #nd
M 1 .
n
n
n
n
n
n
n
n
n
y a x
y na x
y n na x
'
No5 subs""u"e
L y
#nd
M y
n"o "$e 1-en ODE #nd e>u#"e coe,,cen"s o, '6e !o5ers o,
( ) . x
.I#6e sure %ou ex!ress "$e ,#c"or
( ) 1 x
n "$e 1-en e>u#"on n "er&s o,
( ) . x
.Hence ob"#n "$e so'u"on #nd co&!#re "$e s#&e 5"$ 5$#" 5e $#-e Qus"
ob"#ned.
You $#-e "o "es" 5$e"$er or no" "$e !on"
. x
s #n ordn#r% !on" o, "$e ODE.
+,POR(&-(
To so'-e (/+ n !o5ers o,
( )
0
x x
e sure #'' "$e !o'%no&#' coe,,cen"s0 "$#" s0
( ) ( ) ( ) 0 #nd P x Q x R x
#re ex!ressed n "er&s o,
( )
0
x x
.
Ques"on "5o
So'-e "$e e>u#"on
.
/
.
. G 0
d y dy
x xy y
dx dx
+
n !o5ers o,
x
.
Ques"on T$ree
( )
.
.
.
H . G 0 x
d y dy
xy y
dx dx
+
n !o5ers o, (+.
( )
/ x
(+.
( )
/ x +
1.4. POWER SERIES SOLUTIONS OF ORDINARY DIFFERENTIAL
EQUATIONS NEAR THEIR SIN<ULAR POINTS
In "$e #bo-e "5o exercses # so'u"on 5#s no" !ossb'e snce
0 x
#nd bo"$
/ x t
5$ere sn1u'#r !on"s o, "$e res!ec"-e d,,eren"#' e>u#"ons. In suc$ c#ses "$e #bo-e
"$eore& does no" $o'd. We need #no"$er "$eore& due "o "$e <er&#n I#"$e&#"c#n
<eor1 Ferdn#nd Frobenus (1G2H R 1H1;+.
1.4.1. POWER SERIES SOLUTIONS OF ORDINARY DIFFERENTIAL
EQUATIONS NEAR THEIR RE<ULAR SIN<ULAR
POINTS
To #cco&!'s$ "$s 5e need # &ore !o5er,u' "$eore&. T$s "$eore&0 #nd $ence "$e
&e"$od o, so'u"on0 #re due #nd n#&ed #,"er "$e <er&#n I#"$e&#"c#n <eor1
Ferdn#nd Frobenus.
*RO%ENI+S THEOREM
I,
0
x x
s # re1u'#r sn1u'#r !on" o, "$e d,,eren"#'
e>u#"on (/+0 "$en "$ere exs"s #" 'e#s" one so'u"on
o, "$e ,or&
0 0 0 0
0 0
( + ( + ( + 0 0
c n n c
n n
n n
y x x a x x a x x a
+
5$ere c s # cons"#n" "o be de"er&ned.
Re&#r6 8 "$e !$r#se ) at least one solution* n "$e !recedn1 "$eore& &e#ns "$#" 5e #re
1u#r#n"eed o, on'% one so'u"on #nd no" #ssured o, "5o seres so'u"ons #s be,oreJ
NOTE
T$e -#'ue o,
c
s "o be de"er&ned ,rs" be,ore "$e so'u"on s de"er&ned.
I,
c
s ,ound "o be # nu&ber "$#" s no" # nonne1#"-e n"e1er0 #s " ,re>uen"'% s no"0"$en0
"$e corres!ondn1 so'u"on 0
( )
0
0
n c
n
n
y a x x
.
Suc$ # seres s s#d "o be cen"red #"
x a
or #bou"
x a
Ex#&!'e
So'-e "$e ,o''o5n1 d,,eren"#' e>u#"on
.
.
/ 0
d y dy
x y
dx dx
+
n !o5ers o,
x
.
So'u"on
( )
( ) ( ) ( )
( )
( )
.
.
To so'-e / 0 1
,ro& "$e e>u#"on / 0 1 #nd 1
TEST
OSo'-n1 n !oe5rs o, &e#ns so'-n1 #bou"
No5 s # sn1u'#r !on" o, 1 .
0P
0 0 0
d y dy
x y
dx dx
P x x Q x R x
x x
P x
+
L L L
( )
( )
( )
( )
( )
( )
( )
( )
( )
0
0
0
0 0
.
.
0
0
1
1
'& '& 0 '&
/
/
1
'& '& 0
/
x x x x
x x x
Q x Q x
x x x
x
P x P x x
R x
x x
x
P x x
' ; ' ;
+ +
L L L
L L
Subs""u"n1 (+ #nd (+ n"o (1+ 5e 1e"8
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
. 1
0 0
1 1
0 0
1
0 1
0
1
0
0
0
1
/ 1
1 / 1
/ 0
0
Oex!ress #'' 1enerc "er&s n !o5ers o, P
/
n c n c
n n
n n
n c n c
n n
n n
c n c
n
n
c
n c
n
n
n c
n
n
n c n c a x n c a x
n c n c a x n c a x
c ca x n c n c a x
ca x n c
x a x
a x
n c
+ +
+ +
+
+
+ + +
+ + + +
+ + + +
+ + + +
+
+
( )
( ) ( )
( ) ( ) ( ) ( )
( )
( ) ( )
1 1
0
1
0
0
1
1
0 0
0
0
Oco''ec"n1 "er&sP
/ 1 1
1
1
0
/ .
1 / / 1
1
0
0
/
n c
n n n
n
n c
n
n
n
n
c
n c
n
n c
n
n
n c n c a n c a a x
c
a x
c a
n c n c a a
c ca ca x
x
a x
c x
+
+ +
+
+
' ;
1
]
+ + + + + +
+ + + + +
+
E>u#"n1 coe,,cen"s8
( )
( )
1
0 0
'o5es" !o5er 8 8 / . 0 bu" 00
c
x c c a a
( ) ( )
/ . 0 c c iii L L L
( ) ( ) O s c#''ed "$e o, 1 . I" s #'5#%s # >u#dr#"c e>u#"on n P
.
0 or
/
iii c indicial e!uation
c c
( ) ( )
( ) ( )
( )
( ) ( )
1
1
1
1
1
We ob"#ned "5o -#'ues o, 0 no5 5e $#-e "o de"er&ne # se!#r#"e ,or e#c$ -#'ue o, .
W$en 0
0 0
1 / 1
<ener#"n1 coe,,cen"s8
0
8 1 / / 1 0
. 0
1 / / 1
n
n
n c
n
n
n
n
n
c c
i c
a
a n
n n
a
n a
x n c n c a a
a
a n
n c n c
a
+
+
+
+
+
+ +
+ + + +
+ + + +
( )
0
0
0 0 1
.
0 0 .
/
/ 0
2
0
1 1
1
. 2 . 2 .J 1 2
1
.
/ ; / ; .J 1 2 /J 1 2 ;
/
2 10 2J 1 2 ; 10
Here one c#n ,or& # conQec"ure on "$e ,or& o, 8
J 1 2 ; 10 / .
n
n
a
a a a
n a
a a a
n a
a a
n a
a
a
a
n n
L
g
L
( )
( )
0 0 0 0
. / 2
0 0
. / 2
0
0 0
0 . / 2
0 1 . / 2
Fro&
1
.J 1 2 /J 1 2 ; 2J 1 2 ; 10 J 1 2 ; 10 / .
1 1 1 1
1
.J 1 2 /J 1 2 ; 2J 1 2 ; 10 J 1 2 ; 10
n
n c c n
n n
n n
a a a a
a a x x x x x
n n
y a x x x x
n
y a x x a x
x a a x a x a x a x
+
_
+ + + + + + +
,
+ + + + + +
+ + + + +
L L
L
L
L
( ) / .
n
x
n
_
+
,
L
L
( ) ( )
1
No5 5$en
.
0
/
1 / 3
n
n
a
n a
n n
+
+ +
Exercse
4) De"er&ne "$e second so'u"on. And $ence 5r"e do5n "$e co&!'e"e so'u"on
5) So'-e "$e #bo-e "$ree >ues"ons (!#1e 1;+ "$#" cou'd no" be so'-ed e#r'er.
No5 -er,% "$e ,o''o5n18
. .
. / 2
/ /
. 0 1 . / 2
0 0
( . . . . +
c n n
n n
n n
y x a x x a x x a a x a x a x a x
+ + + + +
( ) ( ) ( ) ( ) ( ) ( )
( )
( ) ( ) ( )
( )
.
0 0 0 0
. / 2
/
0
0
.
. / 2
/
0
0
3 1
1 . 3 G 1 . / 3 G 11 1 . / 2 3 G 11 12
J3 G 11 / .
1 1 1 1
1
3 1
.J 3 G /J 3 G 11 2J 3 G 11 12
J3 G 11 / .
n
n
a a a a
x a x x x x
a
x
n n
a x x x x x
a
x
n n
,
+ + + + +
+ + +
+
+ + + +
++ +
+
L L
L
L
L
NOTE
In "$e !re-ous so'u"ons 5e #'5#%s 1o" "5o d,,eren" coe,,cen"s
0
a
#nd
1
a
0 s#%0
,or "$e "5o 'ne#r'% nde!enden" so'u"ons bu" no5 5e $#-e on'% one0
0
a
J
T$e <ener#' so'u"on0 "$ere,ore0 n "$s c#se0 s
( )
( ) ( )
( ) ( )
1 . . 1 .
.
/
1 0 . 0
1 1
.
/
1
5$ere #re #rb"r#r% cons"#n"s
T$#" s
1 1
J3 G 11 / . J1 2 ; 10 / .
%FA 1 1
J3 G 11 / . J1 2 ; 10 / .
i
n n
n n
n n
n n
y k y k y k and k
x x
k a x k a
n n n n
x x
x '
n n n n
_ _
, ,
_
,
+
+ + +
+
+ + +
+
L L
L L
1
_
,
n "$e d,,eren"#' e>u#"on (/+. I,
0 x
s # re1u'#r sn1u'#r !on"
o, e>u#"on (/+0 #nd , 5e 'e"
0
( +
'&
( +
x
xQ x
p
P x
#nd
.
0
( +
'&
( +
x
x R x
!
P x
0 "$en "$e
ndc#' e>u#"on o,
.
( 1+ 0 c p c ! + +
(/+ s. . . . (;+
E>u#"on (;+ s # #'5#%s # >u#dr#"c n
c
#nd s 6no5n #s "$e ndc#' e>u#"on o, (/+
1.4... Roo"s o, "$e Indc#' E>u#"on
9#se I
T$e "5o roo"s
1 .
#nd c c c c
#re ds"nc" #nd do no" d,,er b% #n n"e1er. In "$s c#se
"$e "5o nde!enden" seres so'u"ons #re ob"#ned #s #bo-e0 .e.0 e#c$ one o, "$e "5o roo"s
1-es rse n"o # seres so'u"on. T$e ex#&!'e #bo-e ,#''s under "$s c#se.
9#se II
T$e "5o roo"s
1 .
#nd c c c c
#re ds"nc" #nd d,,er b% #n n"e1er .e. "$e% #re suc$
"$#"
. 1
c c k k +
."$s c#se $#s "5o sub c#ses8
Sub@c#se I
One coe,,cen"
n
a
beco&es indeterminate 5$en
1
c c
0 # 1ener#' so'u"on one with
two linearly independent series solutions# s usu#''% 1-en b% usn1 on'% "$s -#'ue
o,
c
.
Sub@c#se II
One coe,,cen"0
n
a
beco&es n,n"e 5$en
1
c c
0"$e seres s re5r""en b% re!'#cn1
0
a
b%
1
( + k c c
9#se III
T$e "5o roo"s #re e>u#'0 .e.
1 .
c c c
I''us"r#"-e Ex#&!'es
9#se IIKSub@c#se I
To so'-e "$e d,,eren"#' e>u#"on
( ) ( )
.
. .
.
2 . 0 1
d y dy
x x x y
dx dx
+ + + L L
n !o5ers o,
x
.
Tes" OexercseP
0 s # re1u'#r sn1u'#r !on" x
Assu&e
0
0 0
1 .
0 0
0 0
L ( + 0 M ( + ( 1+
c n n c
n n
n n
n c n c
n n
n n
y x a x a x a
y n c a x y n c n c a x
+
+ +
+ + +
Subs""u"n1 n"o
( ) 1
5e $#-e
.
0 0 0 0
( 1+ ( + 2( + . 0
n c n c n c n c
n n n n
n n n n
n c n c a x n c a x a x a x
+ + + + +
+ + + + + +
F'' n "$e 1#!
( ) ( )
( ) ( ) ( ) { }
1
0 1
.
.
1 2 . 1 .
1 2 . 0
c c
n c
n n
n
c c c a x c c a x
n c n c n c a a x
+
+ + + + + 1 1
] ]
+ + + + + + + 1
]
( ) ( ) ( ) ( )
( ) ( )
{ }
1
0 1
.
.
.
1 . . /
/ . 0
c c
n c
n n
n
c c a x c c a x
n c n c a a x
+
+ + + + +
1
+ + + + + +
]
E>u#"n1 coe,,cen"s8
0 0
1
1 1
1
8 ( 1+ ( .+ 00 0 ( +
( 1+ ( .+ 0 0 1 . ( +
.0
(1+.( 0+ 0
J
8 ( /+ ( .+ 0
c
c
x c c a but a From lowest power
c c c or c $,&%%.R ROO(
-owwhen c the smaller root wehave
a
a becomes +-0.(.R,+-&(.
x c c a
(herefore for a general solution
we will
+
+ +
+ +
+ +
0
0 . . 1J
usethis valueof c and discard
as it were theother valuei e c
' ;
.
.
( 1+ ( .+ 0
0 .0 /0 20. . . .
( 1+ ( .+
n c
n n
n
n
x n c n c a a
fromwhich
a
a n
n c n c
+
+ + + + +
+ + + +
W$en . 8 c
( )
.
0 0
.
1 1
/
0 .
1
<ener#"n1 coe,,cen"s8
.
. 1 .J
/
/ . /J
n
n
a
a n
n n
a a
n a
a a
n a
0 0 .
2
1
2
2 / 2 / .J 2J
a a a
n a
_ _
, ,
/ 1 1
3
0 1
4 ;
1
3
3 2 3 2 /J 3J
S&'#r'%0 s$o5 "$#"
#nd
4J ;J
a a a
n a
a a
a a
_ _
, ,
No50 "$e so'u"on s8
0
c n
n
n
y x a x
( )
. / 2 3 4 ;
0 1 . / 2 3 4 ;
. . . .
c
x a a x a x a x a x a x a x a x + + + + + + + +
. 2 4 / 3 ;
. 0 0 0 1 1 1
0 1
. . . .
.J /J 2J 3J 4J ;J
a x a x a x a x a x a x
x a a x
_
+ + + +
,
. . 2 4
.
0
( 1+
1 . . . . . . .
.J 2J 4J ( . +J
n n
x x x x
a x
n
_
+ + + +
,
S
. 1
.
1
( 1+ / 3 ;
. . . . . . .
/J 3J ;J (. 1+J
n n
x x x x
a x x
n
+
_
+ + + + +
+
,
. . 1
.
0 1
0 0
( 1+ ( 1+
. .
(. +J (. 1+J
n n n n
n n
x x
i e y x a a
n n
+
_
+
+
,
IMPORT$NT NOTE
In ,ost of these pro&le,s #e do not usually e-pe't to &e a&le to #rite a solution
using the
,
NOTE8 As n "$e !re-ous c#se0
.
c c
5'' usu#''% 1-e rse "o # so'u"on "$#" s # sc#'#r
&u'"!'e or !#r" o, "$e so'u"on ob"#ned b% usn1 "$e s&#''er roo".
Ex#&!'e8
<-e #n extended series solution ,or "$e d,,eren"#' e>u#"on
( ) ( )
.
.
1 1 / 0
d y dy
x x x y
dx dx
+
n !o5ers o,
. x
To so'-e
( ) ( )
.
.
1 1 / 0
d y dy
x x x y
dx dx
+
TEST8 Exercise
Assu&e %F
n c
n
a x
+
1 1
0 0 0
( 1+ ( + ( 1+ ( + ( +
n c n c n c
n n n
n n n
n c n c a x n c n c a x n c a x
+ + +
+ + + + + +
0 0
/( + 0
n c n c
n n
n n
n c a x a x
+ +
+
1 1
0 0 0
0 0
( 1+ ( + ( 1+ ( + ( +
/( + 0
n c n c n c
n n n
n n n
n c n c
n n
n n
n c n c a x n c n c a x n c a x
n c a x a x
+ + +
+ +
+ + + + + +
+
1 .
0 1
0
( .+ ( 1+ ( 1+ ( 1+ 0
c n c
n n
n
c c a x n c n c a n c a x
+
+
1 + + + + + +
]
E>u#"n1 coe,,cen"s8
1
0 0
.
1
1
8 ( .+ 00 0
. 0 ( +
8 ( 1+ ( 1+ ( 1+ 0
1
0 0010 .0 /0 . . .
1
c
n c
n n
n n
x c c a but a
c or c the smaller root
x n c n c a n c a
n c
a a n
n c
+
+
+
+ + + + +
+ +
+
W$en
0 c
0 "$e s&#''er roo"0
1
1
0 0010 .0 /0 . . . .
1
n n
n
a a n
n
+
+
+
,
0
0010 .0 /0 . . . n
1 0 . 0
1 ( 1+( .+
0
1 ( 1+
c c c
a a a a
c c c
_ _ + + +
, ,
/ 0 2
( .+ ( /+ ( /+ ( 2+
( 1+ ( 1+
c c c c
a a a a
c c c c
_ _ + + + +
, ,
0
c n
n
n
y x a x
. / 2
1 . / 2
. . . . .
c
o
x a a x a x a x a x 1 + + + + +
]
. /
0 0 0 0
1 ( 1+ ( .+ ( .+ ( /+
. . .
1 ( 1+ ( 1+
c
c c c c c
x a a x a x a x
c c c c c
1 + + + + +
+ + + +
1
]
(No"e8 A'so #" "$s !on" , 5e 'e"
0 c
0 "$e coe,,cen"s beco&e n,n"eJ+.
( )
0 0 0
Le" 0 a b c b c
. /
0
( 1+ ( 1+ ( .+ ( .+ ( /+
. . . .
( 1+ 1 1
c
c c c c c c
y b x c x x x
c c c
1 + + + + +
+ + + +
1
]
. /
0
( 1+ ( 1+ ( .+ ( .+ ( /+
. ( 0 + . . . .
( 1+ 1 1
c
c c c c c c
%et y f x c b x c x x x
c c c
1 + + + + +
+ + + +
1
]
T$s &!'es "$#" "$e 1ener#' so'u"on s 1-en b%
( )
1
0
c
f
y &f x c '
c
_
+
,
COT!"E
Here
1
0 c
0 "$ere,ore
. / . /
0 0
0
. / . /
1 1
( 'n + ( . 4 0 . . . .+ 1 3 11 0 . . .
('n + ( . 4 . . .+ 1 3 11 . . .
c
f
b x x x b x x x
c
b x x x b x x x
1 1 t + t
] ]
1 1 + + + + + + +
] ]
No5 ,ro& #bo-e0 "$e <ener#' so'u"on s 1-en b%
1
1
( 0 +
c
f
y &f x c '
c
_
+
,
0 "$#" s b%
{ }
. / . / . /
1 1 1
. / . /
1 1 1
. / . /
1 1 1
. /
0 1 1
. (. 4 . . . . + ( 'n + ( . 4 . . . . + ( 1 3 11 . . . +
(. 4 . . . + ( . .'n + ( 1 3 11 . . . .+
( . .'n + (. 4 . . . + ( 1 3 11 . . . .+
( 'n + (. 4 . . . +
y &b x x ' b x x x b x x x
x x &b 'b x 'b x x x
&b 'b x x x 'b x x x
/ / x x x /
1 + + + + + + + + + +
]
+ + + + + + + +
+ + + + + + + +
+ + + +
. /
( 1 3 11 . . . .+ x x x + + + +
9#se III
T$e "5o roo"s #re e>u#'0 .e.
1 .
c c c
Here #1#n 5e &#n"#n
c
n "$e recurrence re'#"on #nd 'e"
( ) 0 y f x c
0 "$en "$e 1ener#' so'u"on s 1-en b%
1
1
( 0 +
c
f
y &f x c '
c
_
+
,
Ex#&!'e
A!!'%n1 "$e ex"ended !o5er seres &e"$od ,nd # so'u"on o, "$e d,,eren"#' e>u#"on
.
.
.
0
d y dy
x x y
dx dx
+ +
n !o5ers o,
. x
So'u"on
To so'-e
.
.
.
0
d y dy
x x y
dx dx
+ +
( ) 1 L L L
(Fro& "$e "es"8
0 x
s # re1u'#r sn1u'#r !on" o, "$e 1-en e>u#"on8 verify+
Assu&e
0
0 0
0 0.
c n n c
n n
y x x x a
+
Subs""u"n1 "$e der-#"-es n"o (1+ #nd s&!',%n18
1 1 .
0 0 0
( 1+( + ( + 0
n c n c n c
n n n
n n n
n c n c a x n c a x a x
+ + + +
+ + + + +
[ ]
1
.
0 .
( 1+ ( + ( + 0
n c n c
n n
n n
n c n c n c a x a x
+ +
+ + + + +
. 1
.
0 .
( + 0
n c n c
n n
n n
n c a x a x
+ +
+ +
. 1 .
0 1 .
0 .
( 1+ 0
c n c n c
n n
n n
c a x n c a x a x
+ +
+
+ + + +
[ ]
( )
.
. 1 . . 1
0 1 . 1 .
.
( 1+ ( .+ 1 0
c c c n c
n n
n
c a x c a x c a x n c a a x
+ +
+
+ + + + + + + +
E>u#"n1 coe,,cen"s8
1 .
0 0
. .
1 1
1 . .
. .
1 .
.
1
.
8 00 0 0 ( +
8 ( 1+ 00 ( 1+ 0 0
8 ( .+ 00 ( .+ 0 0
8 ( 1+ 0
0 .0 /0 20. . . .
( 1+
c
c
c
n c
n n
n
n
x c a but a c twice
x c a but c a
x c a but c a
x n c a a
a
a n
n c
+
+
+
+
+ +
+ +
+ + +
+ +
Fro& 5$c$ one c#n -er,%8
/ 2 ; G
. . . . . . 0 a a a a
0 0 0
/ 4 H . . . . . .
0 0
( /+ ( /+ ( 4+ ( /+ ( 4+ ( H+
a a a
also a a a
c c c c c c
+ + + + + +
(Der,% "$e #bo-e coe,,cen"s+
( )
0
We 'e" 0
c n
n
n
y f x c x a x
. / 2 3
0 1 . / 2 3
4 ; G H
4 ; G H
(
. . . +
c
x a a x a x a x a x a x
a x a x a x a x
+ + + + +
+ + + + +
/ 4 H
0 / 4 H
( 0 0 0 0 0 0 . . . . +
c
x a a x a x a x + + + + + + + + +
/ 4 H 0 0 0
0
. . . . . .
. . . .
( /+ ( /+ ( 4+ ( /+ ( 4+ ( H+
c
a a a
x a x x x
c c c c c c
_
+ +
+ + + + + +
,
/ 4 H
0
. . . . . .
1 . . . .
( /+ ( /+ ( 4+ ( /+ ( 4+ ( H+
c
x x x
a x
c c c c c c
1
+ +
1
+ + + + + +
]
T$ere,ore
/ 4 H
1 0 . . . . . .
( 0 0+ 1 . . . .
/ / .4 / .4 .H
x x x
y f x a
_
+ +
,
11
1
/ 4 H
. 0 . . . . . .
1 . . .
( /+ ( /+ ( 4+ ( /+ ( 4+ ( H+
c
c c
c c
f x x x
y a x
c c c c c c c c
1 _
+ +
' ; 1
+ + + + + +
,
]
/ 4 H
0
0 . . . . . .
0
/ 4 H
0
0 . . . . . .
0
'n 1 . . .
( /+ ( /+ ( 4+ ( /+ ( 4+ ( H+
1 . . .
( /+ ( /+ ( 4+ ( /+ ( 4+ ( H+
c
c
x x x
a x x
c c c c c c
x x x
a x
c c c c c c c
1
+ +
' ; 1
+ + + + + +
]
1
+ + +
' ; 1
+ + + + + +
]
Ter& P#r"#' der-#"-e 5r" c
D#'ue o, der-#"-e #"
0 c
1 0 0
.
1
( /+ c +
( )
/
.
/ c
+
.
/
. .
1
( /+ ( 4+ c c + +
{ }
. .
. .
1
( /+ ( 4+
'n . 'n( /+ 'n( 4+
1 1 1
.
/ 4
1 1 1
. .
/ 4 ( /+ ( 4+
%et z
c c
z c c
z
z c c c
z
c c c c c
+ +
+ + +
+
' ;
+ +
_
+
' ;
+ + + +
,
/ . . /
. .
/ .4 / .4
+
. . .
1
( /+ ( 4+ ( H+ c c c + + +
T
T
T
T
T
T
/ . . . / . . . /
. . .
/ .4 .H / .4 .H / .4 .H
+ +
/ 4 H
. 0 . . . . .. .
0
/ 4 4 H H H
0 / / . . / / . . . / . . . /
'n 1 . . .
/ / .4 / .4 H
. . . . . .
0 . . . . .
/ / .4 / .4 / .4 .H / .4 .H / .4 .H
c
f x x x
y a x
c
a x x x x x x
1 _
+ +
1
,
]
1
+ + + + + +
1
]
REIARN
T$ou1$ " 5#s re&#r6ed #bo-e "$#" se#rc$n1
,or # 1ener#' "er&0
n
a
0 n "$e 1ener#' so'u"on
&#%0 #" "&es0 !ro-e ,ru"'ess0 bu" 'oo6n1
,or # !#""ern s #'5#%s &!er#"-e.
No5 5r"e ou" ne#"'% "$e 1ener#' so'u"on0 "$#" s
1 1 . .
. y k y k y +
1 1 . .
/ 4 H
0 1
. . . . . .
/ 4 H
0 .
. . . . . .
/ 4 4 H H H
0 .
/ / . . / / . . . / . . . /
/ 4
0 1 0 .
. .
1 . . . .
/ / .4 / .4 .H
'n 1 . . . .
/ / .4 / .4 .H
. . . . . .
. . . .
/ / .4 / .4 / .4 .H / .4 .H / .4 .H
( 'n + 1
/ / .4
y k y k y
x x x
a k
x x x
a k x
x x x x x x
a k
x x
a k a k x
+
_
+ +
,
_
+ + +
,
_
+ + + + +
,
+ +
H
. . . .
/ 4 H
0 . / 3 . H .
/ 4 H
0 1 . . . . . .
/ 4 H
1 / 3 . H .
. . . .
/ .4 .H
1 1 1
. 1 1 . . .
. . / / / .. / ..
( 'n + 1 . . . .
/ / .4 / .4 .H
1 1 1
. 1 1 . . .
. . / / / .. / ..
x
x x x
a k
x x x
/ / x
x x x
/
_
+
,
_
1 1
+ + + + + +
1 1
] ]
,
_
+ + +
,
_
1 1
+ + + + +
1 1
] ]
,
s "$e 1ener#' so'u"on.
1.;. APPLI9ATIONS
1.;.1. T$e Le1endreUs E>u#"onKSo'u"on #bou" #n Ordn#r% Pon"
T$e d,,eren"#' e>u#"on
( ) ( )
.
.
.
1 . 1 0 5$ere
d y dy
x x k k y k
dx dx
+ +
s o, s!ec#' n"eres" n
A!!'ed I#"$e&#"cs0 P$%scs #nd En1neern10 !#r"cu'#r'% n bound#r% -#'ue !rob'e&s
,or s!$erc#' obQec"s. I" s c#''ed "$e %egendre1s e!uation. So c#''ed #,"er "$e Frenc$
I#"$e&#"c#n Adren I#re Le1endre (1G"$ Se!"e&ber 1;3. R 10"$ V#nu#r% 1G//+.
We #re no5 e&br#ced "o so'-e
( ) ( ) ( )
.
.
.
1 . 1 0 1
d y dy
x x k k y
dx dx
+ + L L L
Here "$e !on"
0 x
s #n ordn#r% !on" o, "$e e>u#"on. T$e ,o''o5n1 s # so'u"on o,
"$e e>u#"on. Assu&e
1 .
0 1 .
L 0 M ( 1+
n n n
n n n
n n n
y a x y na x y n na x
Subs""u"n1 n"o
( ) 1
5e 1e"8
( ) ( ) ( )
( ) ( )
( )
( ) ( ) ( )
( ) ( ) ( )
. . 1
. 1 0
.
. .
.
1 0
. / .
. .
1 0 1
.
1 1 . 1 0
1 1
. 1 0
. 1 / . . 1 1
. 1 . 1 1 1
n n n
n n n
n n n
n n
n n
n n
n n
n
n n
n n
n n
n n
n n
n n
n n
x n n a x x na x k k a x
n n a x n n a x
na x k k a x
a a x n n a x n n a x
a x na x k k a k k a x k k a x
+ +
+ +
+ + + +
+ + + + + +
.
0
( ) ( )
( ) ( ) ( )
( ) ( )
( ) ( ) ( ) ( ) ( ) { }
( ) ( )
( ) ( ) ( )
0 . / 1 1
. .
.
.
.
0 . / 1
.
.
.
0 . / 1
.
1 .J /J .J 1
. 1 0
1 .J /J .
1 . 0
1 .J /J .
1 . 1
n
n n
n
n
n n
n
n
k k a a a a k k a x
n n a k k n n a x
k k a a a k k a x
n n a k n k n k n a x
k k a a a k k a x
n n a k n k
+
+ + + + + 1 1
] ]
+ + + + + 1
]
+ + + + + 1 1
] ]
+ + + + + + 1
]
+ + + + + 1 1
] ]
+ + + + + +
( ) { }
.
0
n
n
n
n a x
1
]
E>u#"n1 coe,,cen"s8
( )
( )
( ) ( )
( ) ( )
( ) ( ) ( )
( ) ( )
( ) ( )
0
0 . . 0
/ 1 / 1
.
.
1
8 1 .J 0
.J
1 .
8 /J 1 . 0
/J
1 . 1 0
1
0 .
1 .
n
n
n
n
n
k k
x k k a a a a
k k
x a k k a a a
x n n a k n a
k n k n
a a n
n n
+
+
+
+ +
+
+ +
+ + + + +
+ +
+ +
<ener#"n1 coe,,cen"s (verify+
2 0 3 1
( .+ ( 1+ ( /+ ( /+( 1+ ( .+ ( 2+
. 0 /
2J 3J
k k k k k k k k
n a a n a a
+ + + +
4 0
( 2+( .+ ( 1+(( /+( 3+
2
4J
k k k k k k
n a a
+ + +
; 1
( 3+( /+( 1+( .+( 2+( 4+
3
;J
k k k k k k
n a a
+ + +
0
. / 2 3 4 ;
0 1 . / 2 3 4 ;
. 2 4
0 . 2 4
/ 3 ;
1 / 3 ;
. 2 4
1 0
. . . .
( . . . .+
( . . . .+
( 1+ ( .+ ( 1+( /+ ( 2+( .+ ( 1+( /+( 3+
( + 1 . . . 0
.J 2J 4J
n
n
n
y a x
a a x a x a x a x a x a x a x
a a x a x a x
a x a x a x a x
k k k k k k k k k k k k
y x a x x x
+ + + + + + + +
+ + + +
+ + + + +
+ + + + + +
+ +
' ;
#nd
/ 3
. 1
;
( 1+( .+ ( /+( 1+( .+( 2+
( +
/J 3J
( 3+( /+( 1+( .+( 2+( 4+
. . .
;J
k k k k k k
y x a x x x
k k k k k k
x
+ + +
+ +
'
+ + +
+
;
REIARNS
Su!!ose "$#"
k
s #n n"e1er0
n
s#%. T$en e"$er
1
y
or
.
y
"er&n#"es #,"er # coun"#b'e
nu&ber o, "er&s. T$e resu'"n1 !o5er seres #re !o'%no&#'s.
I,
k
s #n e-en !os"-e n"e1er0 "$e seres
( )
1
y x
"er&n#"es #" "$e "er& 5"$
n
x
0 bu"
( )
.
y x
1-es #n n,n"e !o5er seres.
I,
k
s #n odd !os"-e n"e1er0 "$e seres
( )
.
y x
"er&n#"es #" "$e "er& 5"$
n
x
bu"
( )
1
y x
1-es #n n,n"e !o5er seres.
W$en
n
s # nonne1#"-e n"e1er0 5e ob"#n #n n"$@de1ree !o'%no&#' so'u"on.
Le" us0 ,or "$e "&e ben10 deno"e "$ese !o'%no&#' so'u"ons b%
( )
n
% x
8
( ) ( )
( ) ( ) ( )
( ) ( )
0 0 1 1
. /
. 0 / 1
. 2 / 3
2 0 3 1
3
1 /
/
/3 12 .1
1 10
/ / 3
% x a % x a x
% x a x % x a x x
% x a x x % x a x x x
_
,
_ _
+ +
, ,
And so on #nd so ,or"$.
I, n "$e #bo-e !o'%no&#'s0
( )
n
% x
5e de,ne
0
a
#nd
1
a
n suc$ # 5#% "$#"
( ) 1 1
n
%
0 "$e
!o'%no&#'s
( )
n
% x
"r#ns,or& n"o 5$#" #re 6no5n #s "$e Le1endre !o'%no&#'s o,
de1ree
n
. T$e% #re deno"ed b%
( )
n
P x
. T$#" s
( )
n
P x
s "$e Le1endre !o'%no&#' o, de1ree
n
.
Ex#&!'es
( )
( )
( ) ( ) ( ) ( )
.
.
0 0 0
. .
. .
Le" 1 1
1
1 /.1 1 . 1
.
1 1
1 / / 1
. .
%
a a a
% x x P x x
( )
( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
0
1
/ 2 .
/ 2
3 / 4 2 .
3 4
S&'#r'% (-er,%+8
1
1 1
3 / /3 /0 /
3 G
1 1
4/ ;0 13 ./1 /13 103 3
G 14
P x
P x x
P x x x P x x x
P x x x x P x x x x
+
+ +
1.;... RODRI<UEUS FORIULA
Rodr1ueUs ,or&u'# s due "o "$e Por"u1uese@Ve5s$ I#"$e&#"c#n 7enQ#&n
O'nde Rodr1ue (1;H3 R 1G31+ 5$o !resen"ed " on .G"$ Vune0 1G13 #s !#r" o, $s P$D
dsser"#"on #" "$e Un-ers"% o, P#rs. T$s ,or&u'# s o, 1re#" $e'! n "$e 1ener#"on o,
"$e Le1endre Po'%no&#'s. I" s"#"es
.
1
( + ( 1+
J..
n
n
n n n
d
P x x
n dx
T$s ,or&u'# "r#ns,or&s n"o
( )
( ) ( )
( ) ( )
.
0
1 . . J
J J . J
5$ere
e-en
.
1
odd
.
n
-
n r
n
n
r
n r
P x x
n r n r n r
n
n
-
n
n
'
Exercses
1. Ex!ress "$e ,o''o5n1 !o'%no&#'s n "er&s "$e Le1endre !o'%no&#'s
3.
2 / .
1 x x x x + + + +
4.
. /
1 . / 2 x x x +
5.
/
1 x +
6.
2 / .
. . / x x x x + +
.. S$o5 "$#"
7.
( + ( 1+ ( +
n
n n
P x P x
8.
( ) ( )
1
1
0
n
P x dx n
9.
( )
1
/
/
1
2
/3
x P x dx
.
1.;./.1.1. So'u"on o, "$e 7esse'Us e>u#"on
Re>ured "o so'-e
( ) ( )
.
. . .
.
0 1
d y dy
x x x y
dx dx
+ + L L L
I" c#n be s$o5n "$#"
0 x
s # re1u'#r sn1u'#r !on" o, (1+.
Assu&e
0
0 0
0 0.
c n n c
n n
n n
y x a x a x a
+
Subs""u"n1 "$s -#'ue n"o (1+8
( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( )
. .
0 0 0 0
1 . / 2
1
0 1
.
1
1
0 1
.
1 0
1 1 1
1
n c n c n c n c
n n n n
n n n n
c c n c
n
n
c c n c
n
n
n c n c a x n c a x a x a x
c ca x c c a x n c n c a x
ca x c a x n c a x
+ + + + +
+ +
+ +
+ + + + +
+ + + + +
+ + + + +
+ +
1 4 4 4 4 4 4 4 2 4 4 4 4 4 4 4 3 1 4 2 4 3
1 4 4 4 4 442 4 4 4 4 4 43
9o''ec"n1 "er&s #nd c#rr%n1 ou" so&e #'1ebr#c &#n!u'#"ons8
( ) ( ) ( )
{ }
( ) ( ) ( ) ( )
( ) ( ) { }
. .
. . . 1 .
0 1 .
.
1
0 1
.
.
1
1 1
1 0
c c n c
n n
n
c c
n c
n n
n
c a x c a x n c a a x
c c a x c c a x
n c n a a x
+ +
1 1
1 1
] ]
+ + + + +
+ + + + +
+ + + +
E>u#"n1 coe,,cen"s8
( ) ( )
( ) ( ) ( )
0 0
.
1 .
1 1
8 00 bu" 0 .
8 1 1 00 7u" 1 0 1ener#''%. 0.
c
c
x c c a a c c
x c c a c a
+
+ t
+ + + +
( ) ( )
.
8 0
n c
n n
x n c n c a a
+
+ + + +
( ) ( )
.
1
0 .
n n
a a n
n c n c
+ + +
Frs" consder "$e c#se 5$ere
c
( )
.
1
0 .
.
n n
a a n
n n
+
<ener#"n1 coe,,cen"s8
( ) ( ) ( )
( )
. 0 0 . 0
. .
/ 1 1 /
1 1 1
.
. . . . 1 . 1
1
/ 0 bu" 0 0
/ / .
n a a a a a
n a a a a
+ + +
+
No"e (#nd -er,% "$#"+
/ 3 ; H
0 a a a a L
( ) ( ) ( )
( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
2 .
. .
2 0
2
4 2 0
2
4 0 4 0
4 4
1 1 1
2
2 2 . . .. . . 1
1
. .. 1 .
1 1 1
4
4 4 . ../.. / . .. 1 .
1 1
. ./.. 1 . / . ./J 1 . /
n a a
a a
n a a a
a a a a
_ _
+ + +
, ,
+ +
_ _
+ + + +
, ,
+ + + + + +
S$o5 "$#"
( ) ( ) ( ) ( )
( )
( ) ( ) ( )
G
G
.
0
1
#nd $ence 1ener#''%
. .2J 1 . / 2
1
0 e-en0
. J 1 . /
. .
k
k
k
a
a a k
k k
+ + + +
_ _
+ + + +
, ,
L
No5 !u""n1
. k n
5e 1e"
( )
( ) ( ) ( ) ( )
. 0
.
1
0 0
. . J 1 . /
n
n
n
a a n
n n
+ + + + L
T$ere,ore one o, "$e so'u"ons s
( )
( ) ( ) ( ) ( ) ( ) ( )
( )
( ) ( ) ( ) ( )
0
. 2 4 G
0 . 2 4 G
. 2 4
0 0 0 0
. 2 4
.
0
.
1 1 1
. 1 . ..J 1 . . ./J 1 . /
1
. . J 1 . /
c n
n
n
c
n
n
n
y x a x
x a a x a x a x a x
a a x a x a x
x
a x
n n
+ + + + +
+ +
'
+ + + + + +
+ +
;
+ + + +
L
L
L L
L
T$#" s
( )
( ) ( ) ( ) ( )
( )
.
0
.
0
1
.
. J 1 . /
n
n
n
n
y a x x
n n
+ + + +
L L L
L
!ro-ded
n
s no" # ne1#"-e n"e1er.
For re#sons "o be ob-ous s$or"'%0 'e"
( )
0
1
. 1
a
+
#nd subs""u"e " n"o (.+8
.
.
0
( 1+
.
. ( 1+ . J( 1+( .+( /+. . . ( +
n n
n
n
x x
y
n n
+ + + + +
. 2
. 2
. 4
4 .
. 2 4
. 2 4
1
. ( 1+ . ( 1+ ( 1+ . .J( 1+ ( 1+.( .+
( 1+
. . . . . .
. ./J( 1+ ( 1+ ( .+( /+ . J( 1+ ( 1+ ( .+( /+. . .( +
1
. ( 1+ . ( .+ . ..J ( /+ . /J (
n n
n
x x x
x x
n n
x x x x
_
+ +
'
+ + + + + +
,
+ + +
;
+ + + + + + + + +
_
+
'
+ + + +
,
.
.
( 1+
. . . . . .
2+ . J ( 1+
n n
n
x
n n
+ + +
;
+ +
.
x
y
_
, 0 n
.
.
( 1+
. J ( 1+
n n
n
x
n n
+ +
. .
0 0
( 1+ ( 1+
. J ( 1+ . J ( 1+ .
n n
n n
n n
x x x
n n n n
+
_ _ _
+ + + +
, , ,
T$e so'u"on 5$c$ s ob"#ned 5$en
c v
s usu#''% deno"ed b%
( ) 2 x
+ +
,
!ro-ded
.
W$en
c
5e 1e"0 ,ro&
( ) 2 x
( )
( )
( )
.
0
1
J 1 .
n
n
n
x
2 x
n n
+
,
1
1
1
1
1
1
]
In our "re#"&en" o, bo"$ "$e 7esse' e>u#"on #nd "s conco&"#n" 7esse' ,unc"ons 5e #re
1on1 "o s#"s,% ourse'-es 5"$ on'%
( ) 2 x
#nd
( ) 2 x
#s ob"#ned #bo-e. T$ose0 5$o
s"'' $#-e so&e "$rs" ,or &ore o, )7esse'*0 #re re,erred "o &ore #d-#nced '"er#"ure ,or
"$e s#&e.
We c#n0 ,or # &o&en"0 e # s&#'' c$#n1e n "$e s1&# ndex b% !u""n1
r
,or
n
ob"#nn18
( )
( )
( )
.
0
1
J 1 .
r
r
r
x
2 x
r r
+ +
,
#nd
( )
( )
( )
.
0
1
J 1 .
r
r
r
x
2 x
r r
+
,
No5 , 5e 'e"
n
5e ob"#n
( )
( )
( )
.
0
1
J 1 .
r
r n
n
r
x
2 x
r r n
+
+ +
,
#nd
( )
( )
( )
.
0
1
J 1 .
r
r n
n
r
x
2 x
r r n
+
,
We c#n no5 enu&er#"e so&e o, "$e &os" &!or"#n" !ro!er"es o, "$e 7esse' ,unc"ons.
7e,ore >uo"n1 #n% resu'"s 'e" us so'-e "$e 7esse'Us e>u#"on o, ,rs" 6nd #nd order ?ero.
T$#" s "o so'-e "$e e>u#"on
( )
.
. .
.
0 1
d y dy
x x x y
dx dx
+ + L L L
9'e#r'%
0 x
s # re1u'#r sn1u'#r !on" o, (1+.
Assu&e0 5"$
0
00 a
0 0
c n n c
n n
n n
y x a x a x
+
Subs""u"n1 "$s ex!resson n"o (1+8
[ ]
.
0 0 0
1 1
0 1 0 1
.
.
. .
. . 1 .
0 1 .
.
( 1+( + ( + 0
( 1+ ( 1+ ( 1+( + ( 1+
( + 0
( 1+ ( + 0
n c n c n c
n n n
n n n
c c n c c c
n
n
n c n c
n n
n n
c c n c
n n
n
n c n c a x n c a x a x
c ca x c c a x n c n c a x ca x c a x
n c a x a x
c a x c a x n c a a x
+ + + +
+ + +
+ +
+ +
+ + + + +
+ + + + + + + +
+ + +
+ + + + +
E>u#"n1 coe,,cen"s8
. .
0 0
1 . .
1 1
.
.
.
.
0 1
. /
. .
1 / 3 ; H
0 0
2 4 . . .
8 00 00 0 0 ( +
8 ( 1+ 00 ( 1+ 00 0
8 ( + 0 0 .
( +
. / 0
( .+ ( /+
. . . 0
2 4
( .+ ( 2+ ( .+ (
c
c
n
n c
n n n
x c a but a c c twice
x c a but c a
a
x n c a a a n
n c
a a
n a n a
c c
a a a a a
a a
n a n a
c c c c
+
+ +
+ +
+
+ +
+ + +
. .
0
G
. . . .
2+ ( 4+
G
( .+ ( 2+ ( 4+ ( G+
c
a
n a
c c c c
+ +
+ + + +
( )
0
. 2 4 G
0 . 2 4 G
. 2 4
0
. . . . . .
G
. . . .
( 0 +
. . .
1
( .+ ( .+ ( 2+ ( .+ ( 2+ ( 4+
. . .
( .+ ( 2+ ( 4+ ( G+
c n
n
n
c
c
y f x c x a x
x a a x a x a x a x
x x x
a x
c c c c c c
x
c c c c
+ + + + +
+ +
'
+ + + + + +
+
;
+ + + +
. 2 4 G
1 0 . . . . . . . . . .
( + ( 0 0+ 1 . . .
. . .2 . .2 .4 . .2 .4 .G
x x x x
y x f x a
_
+ + +
,
. 2 4 G
0 . 2 . 4 . G .
. . 2 4 G
0
. 2 . 4 . G . . .
.
0 0 0 .
0
1 . . .
. . (..1+ . (/...1+ . (2./...1+
( 1+
1 . . . . . .
. . (.J+ . (/J+ . (2J+ . ( J+
( 1+
( + ( +
. ( J+
n n
n
n
n
n
x x x x
a
x x x x x
a
n
x
a a 2 x 4erify
n
_
+ + +
,
_
+ + + + +
,
1
_
1
,
1
]
T$e ex!resson n "$e s>u#re br#c6e" cou'd $#-e been e#s'% deduced ,ro&
( +
n
2 x
b%
s&!'% 'e""n1
0 n
0 "$us
( )
( )
( )
.
0
1
J 1 .
r
r n
n
r
x
2 x
r r n
+
+ +
,
0 5$en
0 n
5e 1e"
( )
( )
( )
.
0
0
1
J 1 .
r
r
r
x
2 x
r r
+
,
. .
.
0 0
( 1+ ( 1+
J J . . ( J+
r n
r n
r n
x x
r r n
_ _
, ,
#s #bo-e.
In 1on1 "$rou1$ "$e !ro!er"es o, "$e 7esse' ,unc"ons0 "$e ,unc"ons
( ) ( ) #nd
n n
2 x 2 x
0
ob"#ned #bo-e0 5'' be #ssu&ed.
1.;./.1... SOIE 7ESSEL FUN9TIONS IDENTITIES:PROPERTIES
T$e 7esse' ,unc"ons #re re'#"ed b% # -er% '#r1e #rr#% o, den""es or !ro!er"es.
T$e ,o''o5n1 #re so&e o, "$e ,und#&en"#' !ro!er"es. We #re 1on1 "o !ro-e "$e ,rs" ,e5
'e#-n1 "$e res" "o "$e re#der #s #n exercse.
I.
( ) ( )
1
n n
n n
d
x 2 x x 2 x
dx
1
]
5$ere
n
s # !os"-e n"e1er.
Proo,8
.
0
( 1+
( +
J( +J .
r n
r
n n
n
r
d d x
x 2 x x
dx dx r n r
+
_
1
1
]
+
,
1
]
. .
.
0
( 1+
J( +J.
r r n
r n
r
x d
dx r n r
+
+
1
+
]
. . 1
.
0
( 1+ (. . +
J( +J.
r r n
r n
r
r n x
r n r
+
+
1 +
1
+
]
. . 1
.
0
( 1+ .( +
J( +( 1+J.
r r n
r n
r
r n x
r n r n r
+
+
1 +
1
+ +
]
. . 1
. 1
0
( 1+
J( 1+J.
r r n
r n
r
x
r n r
+
+
1
+
]
. 1
. 1
0
( 1+ .
J( 1+J.
r r n n
r n
r
x x
r n r
+
+
1
+
]
. 1
0
( 1+
J( 1+J .
r n
r
n
r
x
x
r n r
+
1
+
,
1
]
. 1
0
( 1+
J( 1 +J .
r n
r
n
r
x
x
r n r
+
+
,
F
1
( +
n
n
x 2 x
Q.E.D
II.
( ) ( )
1
n n
n n
d
x 2 x x 2 x
dx
+
1
]
5$ere
n
s # !os"-e n"e1er
Proo,8
.
0
( 1+
( +
J( +J .
r n
r
n n
n
r
d d x
x 2 x x
dx dx r n r
+
_
1
_
1
1 ]
+
,
]
,
.
.
0
( 1+
J( +J.
r r
r n
r
x d
dx r n r
1 _
1
+
, ]
.
.
1
( 1+ 1
J. J( +J.
r r
n r n
r
x d
dx n r n r
1 _
+
1
+
, ]
1 . .
. .
0
( 1+ 1
J. ( 1+J( 1+J.
r r
n r n
r
x d
dx n r n r
+ +
+ +
1 _
+
1
+ + +
, ]
. .
. .
0
( 1+ 1
J. ( 1+J( 1+J.
r r
n r n
r
x d
dx n r n r
+
+ +
1 _
1
+ + +
, ]
. 1
. .
0
( 1+ (. .+
0
( 1+J( 1+J.
r r
r n
r
r x
r n r
+
+ +
1 _ +
1
+ + +
, ]
. 1
. .
0
( 1+ .( 1+
( 1+ J( 1+J.
r r
n r
r
r x
r r n r
+
+ +
+
+ + +
. 1
. 1
0
( 1+ . .
J( 1 +J.
r n n r
n r
r
x x x
r n r
+
+ +
+ +
. 1
. 1
0
. 1
0
1
( 1+ .
J( 1 +J.
( 1+
J( 1 +J .
( +
r n r
n
n r
r
r n
r
n
r
n
n
x
x
r n r
x
x
r n r
x 2 x
+ +
+ +
+ +
+ +
+ +
,
T$#" s
1
( + ( +
n n
n n
d
x 2 x x 2 x
dx
+
1
]
Q.E.D.
III. I, 5e !u"
0 n
n "$e #bo-e !ro!er"% 5e ob"#n
[ ]
0 1
( + ( +
d
2 x 2 x
dx
T$e ,o''o5n1 s # !roo, o, "$e !ro!er"%8
[ ]
[ ]
[ ]
.
0
.
0
.
.
1
. .
1
.
0
. .
.
0
( 1+
( +
. ( J+
( 1+
1
. ( J+
( 1+
1
.
( 1+J
( 1+
1
.
( 1+J
r
r
r
r
r
r
r
r
r
r
r
r
d d x
2 x
dx dx r
d x
dx r
d x
dx
r
d x
dx
r
+
+
1
_
1
,
1
]
1
_
+
1
,
1
]
1
_
+ 1
, + 1
]
1
_
1
, + 1
]
[ ]
. 1
. . .
0
( 1+ .( 1+
0 .
.
( 1+J
r r
r
r
r x
r
+
+
1
+
1
+ 1
]
[ ]
. 1
. .
0
( 1+ .( 1+
.
.
( 1+J( 1+J
r r
r
r
r x
r r
+
+
+
+ +
[ ]
[ ]
. 1
. 1
0
. 1
1
0
( 1+
.
.
( 1+J J
( 1+
. ( +
.
( 1+J J
r r
r
r
r
r
r
x
r r
x
2 x
r r
+
+
+
_
+ ,
T$#" s
[ ]
0 1
( + ( +
d
2 x 2 x
dx
1.;.2. IIS9ELLANEOUS E=AIPLES
1. Fnd # seres so'u"on ,or "$e e>u#"on
.
.
(. + . 0
d y dy
x x y
dx dx
+ +
n !o5ers o,
x
.
HINTS
M
. 1
0 1
0
( + ( 1+ ( .+ ( .+ 0
c n c
n n
n
c c a x n c n c a n c a x
+
+
1 + + + + + + + +
]
M
1
/
0 0010 .0 /0. . . .
( 1+
n
n
a n
n n
+
+
M
.
.
0
/ 2
. . . . .
. ( .+ ( 1+
( 1+
. ( .+ ( /+
( 0 +
( .+ ( 1+ ( .+ ( 1+ ( 1+
. . .
( .+ ( /+ ( 2+ ( .+ ( /+ ( 2+ ( 3+
c
c c c
c x x
c c c
y f x c b x
c c c c c c c
x x
c c c c c c c
1
+ +
1
+ + +
1
+ 1
+ +
1
+ + + + + + +
]
Ter& P#r"#' der-#"-e 5r"
c
D#'ue o, der-#"-e
#"
1 c
1 c +
( 1+ 1 c
c
1
.
.
c
c
+
.
. 2
. ( .+
c
c c c
1
1
+ +
]
2
.
( 1+ ( .+
( .+ ( /+
c c
c c
+ +
.
.
( 1+ ( .+
( .+ ( /+
'n 'n( 1+ 'n ( .+ .'n ( .+ 'n( /+
( 1+ ( .+ 1 1 . 1
1 . . / ( .+ ( /+
c c
%et v
c c
v c c c c
c c v
c c c c c c c
+ +
+ + +
1
+
1
+ + + +
]
10
/omplete and write out the general solution5
.. Fnd # seres so'u"on o, "$e d,,eren"#' e>u#"on
.
.
. (1 + (3 ; + / 0
d y dy
x x x y
dx dx
+
n !o5ers o,
x
.
So'u"on (ex"ens-e+
To so'-e "$e e>u#"on
( ) ( ) ( )
.
.
. 1 3 ; / 0 1
d y dy
x x x y
dx dx
+ L L L
Tes"
( ) 0 0
0 s # sn1u'#r !on"
P
x
No5
( ) ( )
( )
( )
( )
( ) ( )
( )
( )
( )
0
0 0
0
0
.
.
0
3 ;
3
'& '& #nd
. 1 .
/
'& '& 0
. 1
x x x
x x x x
x x Q x x x
P x x x
x x R x x
P x x x
+
s8
/
0
.
c or c
1
8 ( 1+ (. . 3+ W (. . /+ ( 1+ 0
n c
n n
x n c n c a n c n c a
+
+
+ + + + + + + +
1
. . /
0 0010 .0 /0. . . .
. . 3
n n
n c
a a n
n c
+
+ +
+ +
Here 5e #re de#'n1 5"$ "$e c#se n 5$c$ "$e roo"s o, "$e ndc#' e>u#"on do
no" d,,er b% #n n"e1er. T$ere,ore e#c$ -#'ue o,
c
5'' 1-e rse n"o # so'u"on.
T#6n1 "$e -#'ues o, "$e roo"s n "urn8
( )
1
1 0 . / 2 0
. /
0 0 0010 .0 /0. . . . .
. 3
/ / / /
0 0 0 0 0
3 ; H 11
n n
n
c a a n
n
n a a $imilarly a a a a
+
+
+
_
,
. / 2
0 1 . / 2
( . . . .+
c
y x a a x a x a x a x + + + + +
0 . / 2
1 0 0 0 0 0
/ / / /
( . . . .+
3 ; H 11
y x a a x a x a x a x + + + + +
. / 2
0
/ / / /
(1 . . . .+
3 ; H 11
a x x x x + + + + +
1 1 . /
. / 2
0 1 . / 2
/
. / 2
.
. 0
/
.
0
/
0 0010 .0 /0 . . . . . . . . . . . 0
. 1
( . . . .+
( 0. 0. 0. 0. . . . .+
n n
c
n
c a n a a a a
n
y x a a x a x a x a x
y x a x x x x
a x
+
+
+ + + + +
+ + + + +
+
+ + + + + +
/. Ex!ress
2 / .
( + 2 / ; 3 1. f x x x x x + +
n "er&s o, "$e Le1endre !o'%no&#'s
So'u"on
Fro&
2 .
2
/
/
.
.
1 0
1
( + ( /3 /0 /+
G
1
( + (3 / +
.
1
( + (/ 1+
.
( + ( + 1
P x x x
P x x x
P x x
P x x and P x
'
5e $#-e
2 .
2
/ .
/ .
G 4 /
( +
/3 ; /3
. / . 1
( + ( +
3 3 / /
x P x x
x P x x and x P x
+
+ +
Subs""u"n1 n"o
( ) f x
5e 1e"8
.
2 /
. 1 0
G 4 / . /
( + 2 ( + / ( +
/3 ; /3 3 3
. 1
; ( + 3 ( + 1. ( +
/ /
f x P x x P x x
P x P x P x
_ _
+ +
, ,
_
+ + +
,
2 / . 1 0 .
0 1 0 1 0
2 / . 1 0
2
/. 4 12 .2 . 1
( + ( + ( + 3 ( + 1. ( + ( +
/3 3 / ; / /
1. H ;
( + ( + ( + 3 ( + 1. ( +
/3 3 /
/. 4 12 14 H G 1. ;
( + ( + ( + ( + 3 3 ( + 1. 1.
/3 3 / ; 3 ; /3 /
/. 4
( +
/3 3
P x P x P x P x P x P x
P x P x P x P x P x
P x P x P x P x P x
P x
_
+ + + +
,
+ +
_ _ _
+ + + + + + +
, , ,
/ . 1
124 21 13//;
( + ( + ( +
.1 3 ;/3
P x P x P x + +
Re-er"n1 # b" "o "$e 7esse' Func"ons0 'e" us #dd one &ore !ro!er"%8
ID
( ) ( ) ( )
1 1
.
n n n
n
2 x 2 x 2 x
x
+
+
2. Ex!ress
( ) ( ) ( )
2 0 1
n "er&s o, #nd 2 ax 2 x 2 x
So'u"on
Fro&
1 1
.
( + ( + ( +
n n n
n
2 x 2 x 2 x
x
+
+
5e $#-e
2 / 1 / .
../
( + ( + ( + ( + 2 z 2 z 2 z 2 z
z
+
. 1 .
4 ...
( + ( + ( + 2 z 2 z 2 z
z z
1
1
]
. 1 1 0 1
. .
1 0 1 1 0
. . / .
1 0 / . /
.2 4 .2 ..1 4
1 ( + ( + 1 ( + ( + ( +
2G .2 . .2 4 . 4 .2
1 . ( + 1 ( + ( + ( + 1 ( +
2G 2G G .2
( + 1 ( +
( +
2 z 2 z 2 z 2 z 2 z
z z z z z
2 z 2 z 2 z 2 z 2 z
z z z z z z z z
2 z 2 z
z z z ax
_ _ _
, , ,
_ _ _ _
, , , ,
_ _
, ,
1 0 .
G .2
( + 1 ( +
( +
2 ax 2 ax
ax ax
_ _
, ,
D.
( ) ( ) ( ) 1
n
n n
2 x 2 x n
+
(Proo, 'e," #s #n exercse+
DI (#+.
( )
1
.
.
sn 2 x x
x
DI (b+.
( )
1
.
.
cos 2 x x
x
+
_
+
,
A'so ,ro&
1
( + ( +
n n
n n
d
x 2 x x 2 x
dx
+
1
]
5e $#-e
L 1
1
L
1
( + ( + ( +
( + ( + ( + . . . ( + ( +
n n n
n n n
n
n n n
x 2 x nx 2 x x 2 x
n
2 x 2 x 2 x b by dividing throughout by x
x
+
+
_
+
,
Addn1
( ) ( ) #nd 5e 1e" a b
1 1
.
( + ( + ( +
n n n
n
2 x 2 x 2 x
x
+
_
+
,
Or
1 1
.
( + ( + ( +
n n n
n
2 x 2 x 2 x
x
+
_
+
,
DIII.
( + ( 1+ ( +
n
n n
2 x 2 x
Proo,8
.
0
( 1+
8 ( +
J ( 1+ .
1 00 ( 1+ 0
( + . ( +
( 1+ (1+ . 1 1 .
r n
r
n
r
n n
x
R./&%% 2 x
r r n
For r n r n for that range of values
thecoefficients of 2 x &%% vanish (he first nonzero terms of 2 x begin
when r n i e when r n when r n $o w
+
,
+ + t
+ +
n"
e hane to
split the summation o two parts as will be shown bellow
' ;
( +
n
2 x
.
0
( 1+
J ( 1+ .
r n
r
r
x
r r n
_
+
,
F
.
1
0
( 1+
J ( 1+ .
r n
r n
r
x
r r n
_
+
,
S
.
( 1+
J ( 1+ .
r n
r
r n
x
r r n
_
+
,
F 0 S
.
( 1+
J ( 1+ .
r n
r
r n
x
r r n
_
+
,
+ +
,
.
0
( B+
( 1+
( +J ( 1+ .
r n
r
n
r
x
r n r
+
_
+ +
,
.
0
( B+
( 1+ ( 1+ ( + . .
( +J J .
r n
r
n
n
r
x
2 x Q . 0
r n r
+
_
+
,
2. S$o5 "$#"
1
.
.
( + sn 2 x x
x
_
,
So'u"on 8
Fro&
.
0
1
.
.
1
0
.
1
.
.
0
( 1+
( +
J ( 1+ .
( 1+
( +
1
.
J ( 1+
.
( 1+
1
. .
J ( 1+
.
r n
r
n
r
r
r
r
r
r
r
x
2 x
r n r
x
2 x
r r
x x
r r
+
+ +
,
_
,
+ +
_ _
, ,
+ +
1
. 2
.
1
. 2
.
1 1 1
. . . . .
/ 3 ; . . .
1J .J
. . .
1 1 1
. . . . .
1 1 / 1 1 3 / 1 1 . . .
..
. . . . . . . . .
x x x
x x x
1
1
_ _ _
1
+
_ _ _ 1 , , ,
1
, , , ]
_ _ _
+
_ _ _ _ _ _ _ _ , , ,
, , , , , , , ,
1
. 2
.
. 2
/ 3
1 . . .
. . . .
1 . 1 /J 3J
.
1 . . . . .
. . . . ( 8 . 1+
. . 1 /J 3J .
. .
. . . . sn . .
/J 3J
x x x
x x x x x
/heck the trick
x x
x x
x x Q . 0
x x
1
1
1
1
1
]
1
_
+
1
_ ,
]
,
1 _
_ _
+
1
, ,
, ]
1
+
1
]
Exercse
S$o5 "$#"8
/ 1 1
. . .
1
( + ( + ( + 2 x 2 x 2 x
x
/ /
. .
. sn
( + cos 0 ( +
x
2 x x find 2 x
x x
_
,
.
3 3 .
. .
/sn (/ + cos .
( + 0 ( +
x x x
2 x find 2 x
x x x
_
+
,
L
1 1
( + ( + . ( +
n n n
2 x 2 x 2 x
+
( + ( 1+ ( +0 ( +
n
n n
P x P x usual notation
[ ]
1
.
.
1
.
( +
3
P x
_ _ _ _
, , , ,
. .
. .
.
d y d dy d dy d dy dz d y
dx dx dx dz dz dz dx dx dz
_
_ _ _ _
, , , ,
,
. .
.
. .
d y d y
dx dz
Su&&#rsn1 5e $#-e
. .
.
. .
.
Put z x
dy dy
and
dx dz
d y d y
dx dz
'
Subs""u"n1 n"o
( ) i
1-es (u!on s&!',c#"on+8
.
. . .
.
( + 0
d y dy
z z z n y
dz dz
+ +
T$s s "$e 7esse' e>u#"on o, ,rs" 6nd #nd o, order
n
. I"s 1ener#' so'u"on s
( + ( + ( + ( +
n n n n
y &2 z '2 z &2 x '2 x
+ +
1.;.3... D,,eren"#' E>u#"on Reducb'e "o 7esse'Us E>u#"on8 9#se II
So'-e "$e d,,eren"#' e>u#"on
.
. .
1 1
G 0 . . . . . . ( +
d y dy
y ii
x dx dx x
_
+ +
,
So'u"on
<-en e>u#"on8
.
. .
1 1
G 0
d y dy
y
x dx dx x
_
+ +
,
Iu'"!'%n1 "$rou1$ou" b%
.
x
8
.
. .
.
(G 1+ 0
d y dy
x x x y
dx dx
+ +
9o&!#rn1 "$s e>u#"on 5"$ "$#" o, reducb'e c#se I #bo-e0 n#&e'%8
.
. . . .
.
( + 0 . . . . . . ( +
d y dy
x x x n y i
dx dx
+ +
5e no"e "$#"
. . .
1
G . .
n
x x
"$s &e#ns "$#" "$e 1ener#' so'u"on s
1 1
(. . + (. . + y &2 x '2 x
+
IIPORTANT NOTES
1. T$e re'#"on
1 1
.
( + ( + ( +
n n n
n
2 x 2 x 2 x
x
+
ser-es "o ex!ress 7esse' ,unc"ons o, $1$er orders n "er&s o, 7esse' ,unc"ons
o, 'o5er orders0 # use,u' &#n!u'#"on. 7u" , 5r""en n "$e ,or&
1 1
.
( + ( + ( +
n n n
n
2 x 2 x 2 x
x
+
ser-es "o ex!ress 7esse' ,unc"ons o, '#r1e ne1#"-e orders0 ,or ex#&!'e0 n "er&s
o, 7esse' ,unc"ons 5$ose orders #re nu&erc#''% s&#''er.
.. A use,u' ,or&u'# n "$e e-#'u#"ons o,
.
( +
n
2 x
s
. 1
(. 1+J 1
1
. . . J
n
n
n
n
+
+
_
+ +
,
PRO7LEIS
Prob'e& One
W$#" s &e#n" b% # re1u'#r sn1u'#r !on" o, # d,,eren"#' e>u#"onT
Fnd "$e so'u"on o, "$e d,,eren"#' e>u#"on
.
.
( / + . 0
d y dy
x x y
dx dx
+ +
n "$e ,or& o, # seres. <-e "$e 1ener#' "er& o, "$e
n,n"e seres.
Prob'e& T5o
S$o5 "$#" "$e d,,eren"#' e>u#"on
.
.
(1 + . 0
d y dy
x x y
dx dx
+ + +
$#s # re1u'#r sn1u'#r !on" #"
0 x
. Hence s$o5 "$#"
. /
/ .
1 . . . . .
. /
y x x x + +
s # so'u"on.
Prob'e& T$ree
9'#ss,% "$e sn1u'#r !on"s n "$e ,n"e !'#ne ,or "$e e>u#"on
.
2 . . /
.
( 1+( 1+ 2 ( 1+ ( 1+ 0
d y dy
x x x x x x y
dx dx
+ + + +
.
S$o5 "$#" "$e so'u"on o, "$e d,,eren"#' e>u#"on
.
.
(1 + 0
dy d y
x x y
dx dx
+
c#n be ex!ressed n "$e ,or&
0
1 1 1
'n 1 . . .
J . /
n
x x
n
x
y &e ' e x
n n
1
_
+ + + +
1
,
]
5$ere
&
#nd
'
#re #rb"r#r% cons"#n"s.
Prob'e& Four
S$o5 "$#" "$e ndc#' e>u#"on o, "$e d,,eren"#' e>u#"on
.
.
( + / 0
d y dy
x x y
dx dx
+
0
s
( ) 1 0 c c +
#nd s$o5 ,ur"$er "$#"
1
( +( 1+ ( 2+
n n
c n c n a c n a
+ + + +
.
S$o5 "$#" one so'u"on s
. /
/ / 1
1
( 1+ ( 1+( .+
x x x
+
+ + +
0
5$en
s no" #n n"e1er.
#nd ob"#n "$e ,rs" "$ree "er&s o, "$e o"$er so'u"on 5$en
.
Pro&le, *i/e
A "ubu'#r 1#s !re@$e#"er 5or6s b% dr#5n1 coo' #r "$rou1$ # c%'ndrc#' $e#"ed "ube.
For # !#r"cu'#r "ube "$e 1o-ernn1 e>u#"on ,or "$e "e&!er#"ure o, "$e #r s
.
.
;300 /300 0
d ( d( (
dx dx
x
5$ere
(
s "$e d,,erence be"5een "$e "e&!er#"ure o, "$e 5#'' o, "$e "ube #nd "$e #r #" #
ds"#nce
x
,ro& "$e n'e". Fnd "$e seres so'u"on ,or
(
#s ,#r #s "$e "er& n
3
.
x
. (I" &#% $e'! !u""n1
.
x z
+.
Prob'e& Sx
Pro-e "$#"
/ . 1
.
( + ( + ( + 2 x dx c 2 x 2 x
x
{ }
. . . .
0 0 1
1
( + ( + ( +
.
x2 x dx x 2 x 2 x +
..0. 9OIPLE= DARIA7LES
..1 S$or" Re-e58 9o&!'ex Nu&ber T$eor%
7e,ore de'-n1 &uc$ n"o "$e "$eor% o, 9o&!'ex D#r#b'es 'e" us 1o "$rou1$ bre,'% so&e
&!or"#n" !on"s n "$e A'1ebr# o, co&!'ex nu&bers. We #re no" n"endn1 "o subs""u"e
,or 5$#" 5#s ex"ens-e'% co-ered n e#r'er &odu'es on "$e subQec"
De,n"on
A nu&ber o, "$e ,or&
z x i y +
5$ere
x
#nd
y
#re re#' nu&bers #nd
i
s # nu&ber
suc$ "$#"
.
1 i
s c#''ed # co&!'ex nu&ber
T$e nu&ber
i
s c#''ed "$e imaginary unit" T$e re#' nu&ber
x
n
z x i y +
s c#''ed
"$e real part o,
z
#nd s deno"ed b%
Re( + z
5$ere#s
y
s c#''ed "$e i,aginary part o,
z
#nd s deno"ed b%
I&( + z
De,n"on
T5o co&!'ex nu&bers
1 1 1
z x i y +
#nd
. . .
z x i y +
#re s#d "o be e>u#'0 "$#" s0
1 . 1 . 1 .
Re( + Re( + I&( + I&( + z z iff z z and z z
Pro!er"es
T$e s"uden" s c#''ed u!on "o ,#&'#r?e onese', 5"$ "$e ,o''o5n1 !ro!er"es o, "$e
#r"$&e"c o!er#"ons o, co&!'ex nu&bers
Le"
1 1 1
z x i y +
#nd
. . .
z x i y +
( ) ( ) ( )
1 . 1 . 1 .
i z z x x i y y t t + t
( ) ( ) ( )
1 . 1 . 1 . 1 . . 1
ii z z x x y y i x y x y + +
( )
1 1 .
. . .
z z z
iii
z z z
5$ere
s "$e co&!'ex conQu1#"e o, z x iy z
.
( )
( )
1 . 1 . 1 . 1 .
1 1
. .
#nd
iv z z z z z z z z
z z
v
z z
+ +
_
,
Der,% "$e #bo-e.
A'so
Re( +
.
z z
z
+
I&( +
.
z z
z
i
T$s s 6no5n #s "$e Sc$5#r"? ne>u#'"%.
T$e Po'#r For& o, # 9o&!'ex Nu&ber
T$e co&!'ex nu&ber
z x i y +
n 9#r"es#n coordn#"es c#n be ex!ressed #s
( cos sn + z r i +
n !o'#r coordn#"es0 5$ere
1
&od #r1 "#n 0 #r1
y
r z the ulus of z and z the ument of z
x
_
,
I,
<
0 "$en
1 1
] ]
+ ( ) ( ) ;H1. /.1213H.432 i
1
1
1
1
1
1 +
]
Exercses
Ques"on One
Pu" n "$e ,or&
a i b +
1
( + .
/ . /
i
i
i i
_ _
+
, ,
.
.
( + ( . / +.
1 .
i
ii i
i
_
+
+
,
/
.
( 2 3 + .
( +
( . +
i i
iii
i
+ +
+
; ;
( + 3. cos sn
4 4
iv i
_
+
,
( + / cos sn
1. 1.
v i
_
,
Ques"on T5o
Ex!ress "$e ,o''o5n1 co&!'ex nu&bers ,rs" n !o'#r ,or& #nd "$en n 9#r"es#n ,or&
3 1.
( + cos sn . cos sn
H H 4 4
i i i
1 _ _
+ +
1
, , ]
/
10
/ /
G cos sn
G G
( +
. cos sn
14 14
i
ii
i
1 _
+
1
, ]
1 _
+
1
, ]
Ques"on T$ree
9o&!u"e ALL "$e roo"s8
1
2
( + (1 + i i +
1
2
( + ( 1 / + ii i
1
/
( + ii i
G 2
( + . 1 0 iv z z +
.... DO9A7ULARY
10. Su!!ose
0 0 0
z x i y +
re!resen"s # ,xed !on"
0 0 0
( 0 + P x y
n "$e
z plane
T$en
. .
0 0 0
( + ( + z z x x y y +
F "$e ds"#nce o, "$e !on"
( 0 + P x y
,ro& "$e !on"
0 0 0
( 0 + P x y
.e "$e
ds"#nce be"5een
0
P
#nd
P
11. T$e !on"s
z x i y +
"$#" s#"s,% "$e e>u#"on
0
0 00 z z >
de,ne #
crc'e o, r#dus
.
Fur"$er
( + f z
s s#d "o be con"nuous n #n% re1on
o, "$e
z plane
0 , " s con"nuous
#" e-er% !on" o, "$#" re1on
(eri/ati/e of
( + f z
Le"
( + w f z
be # sn1'e R -#'ued ,unc"on o, "$e co&!'ex -#r#b'e
z x i y +
. T$e
der-#"-e o,
( + w f z
5"$ res!ec" "o
z
s de,ned "o be
0
( + ( +
L( + '&
z
f z z f z dw
f z
dz z
+
Pro-ded "$s '&" exs"s #nd $#s "$e s#&e -#'ue ,or ALL "$e d,,eren" !#"$s #'on1 5$c$
z
#!!ro#c$es ?ero.
T$eore&
T$e necess#r% #nd su,,cen" cond"ons ,or "$e der-#"-e o, "$e ,unc"on
( + ( 0 + ( 0 + w f z u x y i v x y +
"o exs" ,or #'' -#'ues o,
z
n # 1-en re1on
0 #re
6)
0 0 0
u u v v
x y x y
be #'' con"nuous ,unc"ons o,
x
#nd
y
n "$e re1on
7)
0
u v u v
x y y x
In "$e #bo-e "$eore& "$e cond"ons n
( + ii
#re 6no5n #s "$e Cauchy 4 /iemann
e,uations or bre,'% #s "$e C5/ e,uations
We 5'' o,,er # !roo, ,or "$e es"#b's$&en" o, "$e necess"% cond"on
Proo,
I,
( + f z
$#s # un>ue der-#"-e #"
( + P z
0 "$en
0
( + ( +
L( + '&
z
f z z f z
f z
z
+
{ } { }
0 0
( 0 + ( 0 + ( 0 + ( 0 +
'& '&
y x
u x x y y i v x x y y u x y i v x y
x i y
+ + + + + + _ 1
1
+
] ,
W$en
z
s 5$o''% re#' "$en
0 0 0 z x while y
0
( 0 + ( 0 + ( 0 + ( 0 +
L( + '&
. . L( + . . . . . . ( +
x
u x x y u x y v x x y v x y
f z i
x x
u v
i e f z i i
x x
+ + _
+
,
+
W$en
z
s 5$o''% n#r% "$en
0 0 0 z y while x
0
( 0 + ( 0 + ( 0 + ( 0 +
L( + '&
1
. . L( + . . . . . . ( +
y
u x y y u x y v x y y v x y
f z i
i y i y
u v v u
i
i y y y y
v u
i e f z i ii
y y
_ + +
+
,
+
No5 ,or
L( + f z
"o exs"0 e>u#"ons (+ #nd (+ $#-e "o be e>u#'0 "$#" s
L( +
v u u v
f z i i
y y x x
+
E>u#"n1 re#' #nd n#r% !#r"s8
u v
and
x y
u v
y x
'
'
27. I,
( + w f z
s #n #n#'%"c ,unc"on "$en
Re( + Re( ( ++ w f z
#nd
I&( + I&( ( ++ w f z
#re c#''ed conQu1#"e ,unc"ons
E=AIPLES
a) <-en "$e ,unc"on
'n 0 w z
,nd
dw
dz
#nd de"er&ne 5$ere "$e
1-en ,unc"on s no" #n#'%"c
Solution
<-en
'n ( + 'n ( + 'n
i
w u i v x i y r e r i
+ + +
. . 1
1
'n ( + "#n ( : +
.
x y i y x
+ +
. . 1
1
'n ( + 0 "#n
.
y
u x y v
x
_
+
,
. . . .
u x v u y v
and
x y y x x y x y
+ +
T$ere,ore "$e C5/ e,uations #re s#"s,ed #nd "$e four partial
deri+ati+es are continuous except at
(00 0+
i e where
. .
0 x y +
where they don6t exist. T$s &e#ns "$#" the gi+en function
'n w z
is analytic e+erywhere except at
0 z
"$#" s #" "$e or1n.
. . . .
. .
( + ( +
1
y dw u v x
i i
dz x x x y x y
x i y x i y
x i y x i y x y
z
+ +
+ +
+ +
+
'
s
continuous and the Cauchy 4 /iemann e,uations are satisfied at
the origin, but
L(0+ f
does not exist
9on"nu"%8 "o !ro-e "$#"
0
'& ( + (0+
z
f z f
Proo,
/ /
. .
0 0 0
/
.
0 0
/ /
. .
0 0 0
/
.
0 0
(1 + (1 +
'& ( + '& '&
(1 +
'& '& (1 + 0
(1 + (1 +
'& ( + '& '&
(1 +
'& '& (1 + 0
z x y
x x
z y x
y y
x i y i
f z
x y
x i
x i
x
x i y i
f z
x y
y i
y i
y
_ +
+
,
+
+
_ +
+
,
%et both
x
and
y
approach 7ero along a general straight line
through
O
.
Le"
y mx
0 y
#s
0 x
/ / /
. .
0 0
/
.
0
(1 + (1 +
'& ( + '&
(1 +
1 (1 +
'& 0
1
z x
x
x i m x i
f z
m x
i m i x
m
_ +
+
,
_ 1 +
]
+
,
A!!e#'n1 "o "$e <ener#'?ed S>uee?n1 "$eore&
/ /
. .
/ /
. . . .
(1 + (1 +
( 0 + 0
(1 + (1 +
x i y i
f x y %
x y
x i y i
x y x y
+
+
_ +
+
+ +
,
/ /
. . . .
(1 + (1 + x i y i
x y x y
+
+
+ +
/ /
. .
(1 + (1 + x i y i
x y
+
< +
(1 + (1 + x i y i + + 1
]
No#
( 0 + ( 0 0+
'& (1 + (1 + 0
x y o
x i y i
+ + 1
]
0
'& ( + 0 ( 0+
z
f z f
( + f z
s con"nuous #" "$e or1n.
To es"#b's$ "$e 9@R e>u#"ons
Le" us 5r"e
( + w f z
ex!'c"'% n "er&s o,
( 0 + u x y
#nd
( 0 + v x y
T$#" s
/ / / /
. . . .
( + ( 0 + ( 0 +
x y x y
f z u x y i v x y i
x y x y
+
+ +
+ +
2 . . /
. . .
2 . . / 2
. . . . .
( 0 + ( 00 0+ 0
( 00 0+
/ .
( +
/ .
'& '& 1
( + ( +
x y x
x x y xy u
x x y
x x y xy u x
x x y x
+ +
+
_ + + 1
1
+
]
,
( )
2 . . /
. . .
2 . . / 2
. . . . .
( 0 + 00 0 0
( 00 0+
/ .
( +
/ .
'& '& 1
( + ( +
x y y
y x y x y u
y x y
u y x y x y y
y x y y
+
_ _ 1
1
+
] , ,
2 . . /
. . .
2 . . / 2
. . . . .
( 0 + ( 00 0+ 0
( 00 0+
/ .
( +
/ .
'& '& 1
( + ( +
x y x
x x y xy v
x x y
x x y xy v x
x x y x
+
+
_ _ + 1
1
+
]
, ,
Fn#''%
2 . . /
. . .
2 . . / 2
. . . . .
( 0 + ( 00 0+ 0
( 00 0+
/ .
( +
/ .
'& '& 1
( + ( +
x y y
y x y x y v
y x y
y x y x y v y
y x y y
+
+
_ _ 1 +
1
+
] , ,
That is at the origin
1 1
u v u v
and
x y y x
C @ / e,uations are
satisfied.
To es"#b's$ "$e non @ exs"ence o,
L( + f z
#"
( 00 0+
No5
( )
/ / / /
. .
0 ( 0 + 00 0
( + ( +
0
( + (0+
L(0+ '& '&
z x y
x y i x y
f z f x y
f
z x i y
1 + +
1
+
1
1 +
1
]
/ / / /
. .
( 0 + ( 00 0+
( + ( +
'&
( +( +
x y
x y i x y
x y x i y
+ +
+ +
%et
0 z
along the straight line
y mx
/ / / / / /
. . .
0 0
/ /
.
(1 + (1 + (1 + (1 +
L (0+ '& '&
(1 + .(1 + (1 +.(1 +
(1 + (1 +
( +
(1 +.(1 +
x x
m x i m x m i m
f
m x im x m im
m i m
g m
m im
1 1 + + + +
1 1
+ + + +
] ]
1 + +
1
+ +
]
a function of
m
that is
L(0+ f
does not exist.
(hat is the function
( + f z
is
8) continuous at the origin
9) satisfies the /7R e!uations at the origin
but is not analytic at
O
C/!TE/!O 1O/ AA%)T!C!T)
%et the real +alued functions
( 0 + u x y
and
( 0 + v x y
be continuous and ha+e continuous
first order partial deri+ati+es in a domain #. if
( 0 + u x y
and
( 0 + v x y
also satisfy the
Cauchy 4 /iemann e,uations at all points of the domain #, then the complex function
( + ( 0 + ( 0 + f z u x y i v x y +
is analytic in #
IIPORTANT NOTE
No"e "$#" "$e de,n"on o, "$e der-#"-e o, # ,unc"on o, # co&!'ex -#r#b'e s identi'al
in for, "o "$#" o, "$e deri/ati/e of the fun'tion of a real /aria&le. T$ere,ore the rules
of differentiation for complex functions are the same as those applying to functions of
a real +ariable. T$#" s0
once "$e ,unc"on s 6no5n "o be #n#'%"c0 " c#n be d,,eren"#"ed Qus" #s n "$e c#'cu'us o,
# re#' -#r#b'e.
E=ER9ISES
10) <-e "$e !on"s #" 5$c$ "$e 1-en ,unc"on s no" #n#'%"cC
a)
( +
/
z
f z
z i
+
b)
.
.
( +
. 3
i
f z
z z iz
+
c)
/
2
( +
2
z z
f z
z
+
+
d)
.
3 ;
( +
4 .3
z i
f z
z z
+
+ +
11) S$o5 "$#"
( + f z z
#nd
( + . f z z z
#re bo"$ no5$ere d,,eren"#b'e
12) S$o5 "$#" "$e 1-en '&" does no" exs"
a)
0
'&
z
z
z
_
,
b)
1
1
'&
1
z
x y
z
_ +
,
13) Usn1 "$e #n#'%"c"% cr"eron s$o5 "$#" "$e 1-en ,unc"ons #re #n#'%"c0 s"#"n1
"$e #!!ro!r#"e do&#ns #nd ,nd
L( + f z
a)
. . . .
1
( +
( 1+ ( 1+
x y
f z i
x y x y
+ +
b)
/ . . /
. . . .
( +
x xy x x y y y
f z i
x y x y
+ + +
+
+ +
c)
( + ( cos sn +
x
f z e y i y +
d)
/
( + f z z
e)
( + sn f z z
14) S$o5 "$#" "$e 9#uc$% R Re&#nn e>u#"ons n !o'#r coordn#"es #re8
1 u v
r r
u v
r
r
'
HISTORIC$3 NOTES
28. Augustin 4 %ouis Cauchy, 089:; 4 8:<92, # 1re#" Frenc$ I#"$e&#"c#n
6no5n #s "$e ,#"$er o, (odern Analysis #nd cre#"or o, Complex Analysis. In $s
',e"&e $e !ub's$ed &ore "$#n G00 rese#rc$ !#!ers o, b#sc &!or"#nce. He
con"rbu"ed &&ense'% "o "$e Theory of #ifferential E,uations, !nfinity Series,
Optics and Electricity.
29. =ernhard /iemann, 08:>? 4 8:??2, 5#s # <er&#n I#"$e&#"c#n. He #'so
'#d "$e ,ound#"on o, Complex Analysis. He n"roduced the concept of
integration #nd con"rbu"ed no"#b'% "o "$e Theory of umbers #nd "o
,athematical &nalysis. He de-e'o!ed "$e /iemannian &eometry 5$c$ 5#s "$e
&#"$e&#"c#' b#se ,or Einstein6s Theory of /elati+ity
..2./. 9OIPLE= INTE<RATION8 SYNOPTI9 APPROA9H
..2./.1 9ONTOUR INTE<RATION
De,n"on
I,
( + f z
s de,ned0 sn1'e@-#'ued #nd con"nuous n # re1on
#nd s de,ned b%
. . . .
1 1 1 1
( 0 + ( 0 +
( 0 + ( 0 +
( + ( +( + ( + ( +
( + ( +
/ / / /
x y x y
x y x y
f z dz u iv du idv udx vdy i vdx udy
udx vdy i vdx udy
+ + + +
+ +
T$s de,n"on o, "$e n"e1r#' o, # co&!'ex -#r#b'e reduces " "o 'ne n"e1r#'s o, # re#'
-#r#b'e
Ex#&!'e
E-#'u#"e
( +
/
f z dz
5$ere
.
( + f z z
,ro& "$e !on"
1 i +
"o "$e !on"
. 2i +
#nd
/
s de,ned b%
"$e cur-e be"5een "$e 1-en !on"s suc$ "$#" "$e !#"$ s
15) #'on1 "$e !#r#bo'#
.
0 8 1 . x t y t t
16) #'on1 "$e s"r#1$" 'ne Qonn1 "$e "5o end !on"s
17) #'on1 "$e s"r#1$" 'nes ,ro&
1 i +
"o
. i +
#nd ,n#''% "o
. 2i +
..2./... 9AU9HYUS THEOREIS
..2./...1. 9AU9HYUS INTE<RAL THEOREI
Le"
/
be # s&!'e c'osed cur-e. I,
( + f z
s #n#'%"c within and on the boundary o,
/
"$en
( + ( + 0
/ /
f z dz f z dz
E-a,ple
E-#'u#"e "$e n"e1r#'
.
2
. 3
/
z
dz
z z
+
+ +
0
5$ere
/
s "$e crc'e
1 1 z +
..2./..... 9$+CH)4S INTE5R$3 *ORM+3$
Le"
( + f z
be #n#'%"c within and on the boundary o, # s&!'e c'osed cur-e
/
Le"
0
z
be #n% !on" 5"$n
/
0 "$en
0
0
1 ( +
( +
.
/
f z
f z dz
i z z
. T$e !r#c"c#' ,or& s
0
0
( +
. ( +
/
f z
dz i f z
z z
<-en "$#"
/
s "$e crc'e
1 / z
0 e-#'u#"e "$e ,o''o5n1 n"e1r#'s8
18)
"#n
/
z
dz
z
19)
( 1+
z
/
e
dz
z z +
..2./.../. 9AU9HYUS INTE<RAL FORIULA FOR THE
th
n
DERIDATIDE
S"#"e&en"
Le"
( + f z
be #n#'%"c inside and on # s&!'e c'osed cur-e
/
. Le"
0
z z
be #n% !on"
interior "o
/
0 "$en
( +
0
1
0
J ( +
( +
. ( +
n
n
/
n f z
f z dz
i z z
+
As be,ore 5e $#-e "$e !r#c"c#' ,or& 8
( +
0
1
0
( + .
( +
J ( +
n
n
/
f z i
d z f z
n z z
+
Ex#&!'es
E-#'u#"e
( +
/
f z dz
5$ere8
20)
/
4 / .
( +
( /+
z z
f z dz
z
+
0
/
8
. . z
21)
.
/
sn
( + 0 8 1
( : 4+
z
f z / z
z
22)
.
2
( + 0 8 .
( 1+
z
e
f z / z
z
+
23)
. . .
( + 0 8 2
( +
z
e
f z / z
z
+
De,n"on
Le" "5o ,unc"ons
( + f z
#nd
( + g z
be bo"$ #n#'%"c #"
0
z z
.
Le"
( + g z
$#-e # 7ero o, order
n
#"
0
z z
5$'e
0
( + 0 f z
.
T$en "$e ,unc"on
( +
( +
( +
f z
F z
g z
1
]
Ex#&!'es
E-#'u#"e "$e ,o''o5n1 n"e1r#'s b% "$e Resdue T$eore&
a)
2
0
3
z
/
e
dz
z z +
5$ere "$e con"our
/
s "$e crc'e
. z
b)
"#n
/
z dz
0 5$ere "$e con"our
/
s "$e crc'e
. z
c)
2 /
( 1+( .+
/
z
dz
z z z
0 5$ere "$e con"our
/
s "$e crc'e
/
.
z
d)
co"$
/
z
dz
z i
0 5$ere "$e con"our
/
s "$e crc'e
. z
e)
2
. 1
0
( 1+ ( /+
/
z
dz
z z
+
5$ere "$e con"our
/
s "$e crc'e
. z
f)
.
/ 1:
0
z
/
z e dz
5$ere "$e con"our
/
s "$e crc'e
i.
1 z
ii.
. z i +
iii.
/ 1 z
g)
"#n
/
z
dz
z
0 5$ere "$e con"our
/
s "$e crc'e
1 . z
h)
.
1
0
2 1/
/
dz
z z + +
5$ere "$e con"our
/
s "$e crc'e
/ / z i
i)
co" 0
/
z dz
5$ere "$e con"our
/
s "$e rec"#n1'e de,ned b%
1
0 0 10 1
.
x x y y
j)
2
sn
0
( +
i z
/
e z
dz
z
+
5$ere "$e con"our
/
s "$e crc'e
/ 1 z
&$$OR(.0 .6.R/+$.$ O- /&8/931$ (9.OR.,$
1. 9AU9HYUS INTE<RAL THEOREI (9AU9HYUS
THEOREI+
E-#'u#"e "$e ,o''o5n1 n"e1r#'s8
( )
( )
( ) ( )
( )
( )
( )
( ) ( )
.
/
.
/
.
.
1
1. 5$ere 8
cos
5$ere 8 / .
1 .
1
5$ere 8 /
.
1
sn
5$ere 8 1
2
sn .
. Around 5$c$ o, "$e ,o''o5n1 con"ours0 , #n%0 s 0T
1 1
Around 5$c$ c
/
/
/
/
/
a dz / z a a
z a
z
b dz / z
z z
z
c dz / z i
z
z
d dz / z
z
z
dz
z z
( ) ( ) ( )
( ) ( ) ( )
on"ours does "$e n"e1r#' $#-e "$e s#&e -#'ueT
1
8 8 . 8 1 .
.
/ /
8 1 1 8 1 8 1
. .
a / z b / z c / z
d / z e / z f / z i
+ + +
( )
( ) ( ) ( )
( ) ( ) ( )
.
/ Around 5$c$ o, "$e ,o''o5n1 con"ours0 , #n%0 s 0T
. .
Around 5$c$ con"ours does "$e n"e1r#' $#-e "$e s#&e -#'ueT
/ /
8 8 . 8 1
. .
1
8 1 / 8 / 1 8 1
.
z
/
e
dz
z z
a / z i b / z c / z i
d / z e / z f / z
+ +
+ +
+
( ) ( )
( )
( ) ( )
( ) ( )
.
. . .
2 E-#'u#"e 5$ere 8 1 #nd ( + s
sn H
.3 H . 11 13 cos$
/
z
f z dz / z f z
z e z
i ii iii
z z z z z
+ + +
( ) ( ) ( ) 1 1 . 1 . a z b z i c z i + + +
/ 9AU9HYUS INTE<RAL FORIULA FOR THE
th
n
DERIDATIDE
(OR 9AU9HYUS INTE<RAL FORIULA FOR DERIDATIDES+
(;+ E-#'u#"e
( )
/
f z dz
5$ere
( ) f z
s
( )
( )
( )
( )
( ) ( )
( )
( )
( ) ( )
.
. 2
. 2
/
3 2
.
/ /
#nd 8 3 #nd 8 .
/
cos .
#nd 8 1 #nd 8 4
cos$ sn
#nd 8 /
.
iz
z z
a / z b / z
z i z i
z e z
c / z d / z
z z
z i
z z
e / z
z z
+
IIS9ELLANEOUS
E-#'u#"e
( )
( )
( ) ( )
( ) ( ) ( )
( )
.
.
.
.
1 1
5$ere s "$e crc'e
1 .
1
5$ere s .
1 .
5$ere s 10 1.
1
1
5$ere s 1 1
1
/
/
/
/
a dz / z
z
z
b dz / z i
z z
z
c dz / i z i ii z i
z
z
d dz / z
z
+
+
+
+
2 DETERIINATION OF RESIDUES
H De"er&ne "$e resdue o,
( + f z
#" e#c$ o, "s !o'es 5$ere
( + f z
s 1-en
b%8
( )
( ) ( )
( )
( )
( ) ( )
( )
( ) ( )
( ) ( ) ( )
2 /
.
.
/
2
. 1 cos 1
sec 0
. .
1 /
co"
1 . /
z z
a b c z d
z z
z z z z
z
e z f
z z z
+
+
3 THE RESIDUE THEOREI
10 7% #!!'%n1 9#uc$%Us resdue "$eore&0 5$ere #!!ro!r#"e0 e-#'u#"e "$e
1-en n"e1r#'s #'on1 "$e ndc#"ed con"ours8
( )
( ) ( )
( ) ( ) ( )
.
1
5$ere s "$e crc'e
1 .
1 /
/
. .
/
a dz /
z z
i z ii z iii z
+
( )
1
co" 5$ere s "$e rec"#n1'e de,ned b% 0
.
/
b z dz / x x
10 1 y y
( )
( )
2
sn
5$ere 8 / F1
iz
e z
c dz / z
z
+
..2././ INTE<RATION AROUND A UNIT 9IR9LE
T$e 9#uc$%Us Resdue "$eore&0 "o "$e sur!rse o, &#n%0 $#s #!!'c#"ons "o
se-er#' &!or"#n" c'#sses o, de,n"e n"e1r#' o, # real variableJ One suc$ #
c'#ss s "$e ,o''o5n10 n#&e'% "$e e-#'u#"on o, de,n"e n"e1r#'s o, "$e ,or& 8
( )
.
0
cos 0sn f d
5$ere
f
s # r#"on#'
,unc"on o,
cos #nd sn
.
Procedure8 ex!ress
cos #nd sn
n "er&s
z
8
1
1
1
Le"
#nd
cos sn
1
cos sn
1
cos
. .
1
sn
. .
cos sn
#nd
cos sn ,ro& 5$c$ 5e 1e"8
1
cos
. .
1
sn
. .
i
n
n
n
n n
n
n
n n
n
&%$O
z e
z i
z i
z
z
z z
z
z
z z
z
i i
dz
d
iz
z n i n
n i n
z
z z
z
n
z
z z
z
n
i i
z
'
+
+
+
+
+
+
'
Ex#&!'e
7% #!!'%n1 "$e Resdue "$eore&0 e-#'u#"e
.
0
cos/
3 2cos
d
So'u"on
Le"
/
/
1 1 1 1
0 cos 0 #nd cos/
. .
i
dz
z e d z z
iz z z
_ _
+ +
, ,
/
/
.
0
1 1
.
2 1
3
.
cos/
5$ere 8 1
3 2cos
/
z
z
z
z
dz
iz
d / z
+
+
_
,
_
,
( )
4
/ .
1 1 1
( +
. . 3 . .
/
z
dz f z dz
i z z z i
+
+
1
( + $#s # !o'e o, order / #" 0. #nd # s&!'e !o'e #" nsde .
.
f z z z /
M
( ) ( )
1
0
.
.
0
Hence
43 .1
Re 0 Re
.2 G
cos/
3 2cos 1.
z z
sf z sf z
d
+
+ +
+
. E-#'u#"e
( ) ( )
. .
0 0
cos cos .
/ sn 3 2cos
a d b d
+
( ) ( ) ( )
. . .
. .
0 0 0
sn cos cos/
3 2cos / sn 3 2cos
c d d d e d
+
/
/
.
0
1 1
.
2 1
3
.
cos/
Le"
3 2cos
/
z
z
z
z
dz
iz
+ d
+
+
_
,
_
,
( )
( )
( )
( ) ( )
{ }
( )
0
4
/ .
1
0 1
. . 4
. . . 0 0
0
/
1 1 1
( +
. . 3 . .
1
( + $#s # !o'e o, order / #" 0. #nd # s&!'e !o'e #" nsde .
.
1
Re '&
1 J
1 1 1
'& '&
. . . 3
/
/
n
z n z z
z z
z
dz f z dz
i z z z i
f z z z /
d
sF z
n dz
d d z
dz dz z
z z f z
z f z
+
+
1
1
] 1
]
+
1
M
( ) ( ) ( )
( )
( )
3 . 4
.
0
.
; 4 3
.
0
.
.
4 . 3 . 2 3 1
1
'&
.
. 3 .
1 G .3 1. 2 3
'&
.
. 3 .
z
z
z
z z z z z
d
dz
z z
d z z z z
dz
z z
1
1
+
]
1
+ +
1
+ 1
]
1
+ +
1
+ 1
]
( ) ( ) ( )
( ) ( ) ( )
( )
( ) ( ) ( ) ( ) ( ) ( )
( )
.
. 4 3 2 ; 4 3
.
2
0
.
0
.
2
. 3 . 34 130 402 2 G .3 1. 2 3
. . 3 . 2 3
1
'&
.
. 3 .
. 2 3 . . 3
1
.
.
1 14 100 G2 .1
. 14 /. G
z
z
z z z z z z z z
z z z
z z
1
+ + + +
1
+
1
1
+
1
]
+
g
g g
g
g
( ) ( )
( )
( )
( )
( ) ( )
1
0.3 0.3
.
4
/ 0.3 0.3
. 1
1
Re '& '&
. .
1
1
1
. 1 1 43
42
'& '&
1 / . . 1 . . .2
G .
z
z z
z z
z
sf z z f z f z
z
z
z z z
1
1 _
1
1 1 ]
, ]
]
1
+
1
1 +
_
1
1
_ _ 1 ,
]
1
, , ]
g
( )
1
.
.
1 .1 43
.
. G .2 1.
+ i residues in /
i
i
i
1
1
]