Into the equation, aligning the powers: _ B# Cww ! a8 <ba8 < "b+8 B8< #BCw #B# Cw BC #BC #C
_ #
! +8# B8<
8# _
! #+8 B8<
8" _ 8!
! #+8" B8<
! c aa8 <ba8 < "b #a8 <b #b+8 a #a8 " <b #b+8" +8 dB8< +c<a< "b+! #<+! #+! dB< ca" <b<+" #a" <b+" #<+! #+! #+" dB<" ! Collect the terms: _ ! ca8 < "ba8 < #b+8 a% #a8 <bb+8" +8# dB8< a< "ba< #b+! B< aa< "b<+" a# #<b+! bB<" !
8#
Taking < #, guaranteed to give a series solution, we get +" +! and the recursion is +8 #8+8" +b8# 8a8" It is a homogeneous problem, so we are free to choose +! ". Anticipating division by factorials, we might change the variable to ,8 +8 a8"bx
Frobenius method examples, page 2 of 3 so that the recursion becomes, after simplification, ,! " ," # ,8 #,8" ,8 The solution of the recursion is easy to find: ,8 8 1, so 8" " +8 a8"bx 8x and the solution of the ODE is _ 8# C" aBb ! B B# /B Second solution: C# C" '
8! 8x [ # C"
# #B " C# B# /B ' B% /#B .B B# /B ' B# .B B/B B / The general solution is then C -" B# /B -# B/B ______________________________________________________________ Example 2. This time a formula for the solution was not found by computer algebra software, so I will settle for a more modest task: Find the first three terms of the Frobenius solution around B ! for BCww /B C ! Solution. For easier handling of the series, write B# Cww B/B C ! Again, _ C ! +8 B8<
Cw Cww BC
# ww
! a8 <b+8 B8<"
8! _ 8! _ 8! _ 8!
and we take only the first three terms: B# Cww <a< "b+! B< a< "b<+" B<" a< #ba< "b+# B<# B/B C B
B# "x <"
+! B
total: ! <a< "b+! B< aa< "b<+" +! bB<" aa< #ba< "b+# +" +! bB<# Since +! ! actually we can take +! " the larger of the integer values of < is < "
B a+! B< +" B<" +# B<# b #x " " " +" "x +! B<# +# "x +" #x +! B<$
$
Frobenius method examples, page 3 of 3 The equations simplify to +! " #+" +! ! '+# +" +! ! with solution " +! " +" " +# "# # and the series starts with " C B " B# "# B$ # Remark. The computer returned some more coefficients: " #$ "*( +$ "%% +% #))! +& )'%!! and a pattern is not clear. By the formula, C# C" ' Second solution? C# C" '
" " " "" $ B" " B "# B# ' B# B "# % B .B # " " "" $ B" " B "# B# B ln B "# B ) B# # C" ln B " " B B# # The other solution does have a logarithmic term. " # .B " B# " " B "# B# #
and since the coefficient at C in the differential equation is 0, we can take [ exp ' !.B "
[ # C" w
.B