Professional Documents
Culture Documents
Its all well and good to be able to find power series representations for functions you know
via the standard computations for Taylor series. Even better is to be able to find power series
representations for functions you dont know, say, solutions to certain nasty differential equations
that cannot be solved by elementary methods. That is where the method of Frobenius is useful.
It is a procedure for finding power series formulas for solutions to a great many differential
equations of interest in mathematical physics. Actually, these formulas are often not true power
series, but modified power series. To be precise, the series obtained are power series multiplied
by relatively simple functions.
The basic method is described and illustrated in the first section. This will give you the tools
to start practicing the method. After that, we will discuss when the method is applicable and
what sort of solutions, in general, the method yields.
13.1
Preliminaries
Let us assume we have a differential equation of the form
a(x)
d2 y
dy
+ b(x)
+ c(x)y = 0
dx 2
dx
where a , b , and c are suitable functions. Just what suitable means will be discussed later.
For now, we will assume they are suitable rational functions (i.e., polynomials divided by
polynomials) such as in Bessels equation of order 1/2
h
i
d2 y
1 dy
1
+
+
1
y = 0 .
(13.1)
2
2
dx
x dx
4x
X
k=0
ak (x x0 )k
1/30/2012
For our example, we have no initial values at any point, so we will choose x0
as simply as possibly; namely, x0 = 0 .
Pre-step 2
d2 y
dy
+ B(x)
+ C(x)y = 0
2
dx
dx
To get the given differential equation (equation (13.1)) into the form desired,
we multiply the equation by 4x 2 . That gives us the differential equation
4x 2
dy
d2 y
+ 4x
+ [4x 2 1]y = 0
2
dx
dx
(13.2)
(Yes, we could have just multiplied by x 2 , but getting rid of any fractions will
simplify computation.)
Now for the basic method of Frobenius:
Step 1:
(a)
X
k=0
ak (x x0 )k
(13.3a)
Then simplify the formula for the following computations by bringing the (x x0 )r
factor into the summation,
y = y(x) =
(c)
X
k=0
ak (x x0 )k+r
(13.3b)
And then compute the corresponding modified power series for y and y from
the assumed series for y by differentiating term-by-term.
version: 1/30/2012
ak x
k=0
ak x k+r
(13.4)
k=0
d X
ak x k+r
dx
y =
k=0
k=0
X
d
ak x k+r =
ak (k + r )x k+r 1
dx
k=0
d X
ak (k + r )x k+r 1
dx
y =
k=0
X
X
d
=
ak (k + r )x k+r 1 =
ak (k + r )(k + r 1)x k+r 2
k=0
Step 2:
dx
k=0
Plug these series for y , y , and y back into the differential equation, multiply things
out, and divide out the x r to get the left side of your equation in the form of the sum of
a few power series.
Some Notes:
ii.
Absorb any xs in A , B and C (of the differential equation) into the series.
iii. Dividing out the x r isnt necessary, but it simplifies the expressions slightly and
reduces the chances of silly errors later.
iv.
You may want to turn your paper sideways for more room!
Combining the above series formulas for y , y and y with our differential
equation (equation (13.2)), we get
0 = 4x 2 y + 4x y + [4x 2 1]y
= 4x 2
X
k=0
+ [4x 2 1]
= 4x
X
k=0
X
k=0
ak (k + r )x k+r 1
ak (k + r )x k+r 1
k=0
ak x k+r
k=0
ak (k + r )(k + r 1)x
+ 4x 2
version: 1/30/2012
ak x k+r 1
X
k=0
k+r 2
ak x k+r
+ 4x
k=0
X
k=0
X
k=0
ak 4x k+2+r +
k=0
ak 4(k + r )x k+r
ak (1)x k+r
k=0
X
k=0
Step 3:
X
k=0
ak 4x k+2 +
X
k=0
ak (1)x k
ak 4(k + r )x k
k=0
For each series in your last equation, do a change of index so that each series looks like
n=something
something not involving x (x x0 )n
In all but the third series in the example, the change of index is trivial,
n = k . In the third series, we will set n = k + 2 (equivalently, n 2 = k ).
This means, in the third series, replacing k with n 2 , and replacing k = 0
with n = 0 + 2 = 2 :
0 =
X
k=0
{z
n=k
X
n=0
Step 4:
X
k=0
ak 4x k+2 +
{z
n=k+2
n=2
an2 4x n +
k=0
ak 4(k + r )x k
{z
n=k
ak (1)x k
k=0
{z
n=k
X
n=0
an (1)x n
an 4(n + r )x n
n=0
Convert the sum of series in your last equation into one big series. The first few terms
will probably have to be written separately. Simplify what can be simplified.
Since one of the series in the last equation begins with n = 2 , we need to
separate out the terms corresponding to n = 0 and n = 1 in the other series
version: 1/30/2012
X
n=0
X
n=2
an2 4x n +
X
n=0
an 4(n + r )x n
an (1)x n
n=0
= a0 4(0 + r )(0 + r 1) x 0 + a1 4(1 + r )(1 + r 1) x 1
|
{z
}
|
{z
}
4r (r 1)
n=2
4(1+r )r
X
+ a0 4(0 + r ) x 0 + a1 4(1 + r ) x 1 +
an 4(n + r )x n
| {z }
| {z }
4r
an2 4x
n=2
n=0
4(1+r )
a0 x a1 x +
an (1)x
n=2
= a0 4r (r 1) + 4r 1 x 0 + a1 4(1 + r )r + 4(1 + r ) 1 x 1
|
{z
}
|
{z
}
4r 2 4r +4r 1
X
n=2
4r +4r 2 +4+4r 1
an 4(n + r )(n + r 1) + an 4(n + r ) + an2 4 + an (1) x n
|
{z
}
an [4(n+r )(n+r 1)+4(n+r )1]+4an2
= a0 4r 2 1 x 0 + a1 4r 2 + 8r + 3 x 1
+
h
i
X
an 4(n + r )(n + r ) 1 + 4an2 x n
n=2
h
i
X
an 4(n + r )2 1 + 4an2 x n = 0
n=2
Observe that the end result of this step will be an equation of the form
some big power series = 0
This, in turn, tells us that each term that big power series must be 0 .
Step 5:
The first term in the last equation just derived will be of the form
a0 formula of r (x x0 )something .
version: 1/30/2012
. (13.5)
This is the indicial equation for r . It will always be a quadratic equation for r (i.e., of
the form r 2 + r + = 0 ). Solve this equation for r . You will get two solutions
(sometimes called either the exponents of the solution or the exponents of the singularity).
Denote them by r2 and r1 with r2 r1 .2
In our example, the first term in the big series is the first term in equation
(13.5),
a0 4r 2 1 x 0 .
Thus,
r =
1
4
1
2
1
2
and
r1 =
1
2
X
n=n 0
n th formula of ak s (x x0 )n = 0
for n 0 n
A few of these equations may need to be treated separately, but you will also
obtain a relatively simple formula that holds for all indices above some fixed value.
This formula is the recursion formula for computing each coefficient an from the
previously computed coefficients.
2 We are assuming r and r are real numbers. This is the standard situation. Well briefly discuss the cases where
1
2
version: 1/30/2012
(c)
To simplify things just a little, do another change of indices so that the recursion
formula just derived is rewritten as
ak = formula of k and lower-indexed coefficients .
h
i
X
an 4(n + r )2 1 + 4an2 x n
n=2
1 2
1 2
1
= a0 4
1 x 0 + a1 4
+8
+ 3 x1
2
X
1 2
+
an 4 n +
1 + 4an2 x n
2
n=2
= a0 0x 0 + a1 8x 1 +
X
2
an 4n + 4n + 1 1 + 4an2 x n
n=2
The first term vanishes (as it should since r = 1/2 satisfies the indicial equation,
which came from making the first term vanish). Doing a little more simple
algebra, we see that, with r = 1/2 , equation (13.5) reduces to
0a0 x 0 + 8a1 x 1 +
X
4 n(n + 1)an + an2 x n = 0
(13.6)
n=2
for n = 2, 3, 4 . . .
1
an2
n(n + 1)
for n = 2, 3, 4 . . .
1
ak2
k(k + 1)
for k = 2, 3, 4 . . .
(13.7)
Use the recursion formula (and any corresponding formulas for the lower-order terms)
to find all the ak s in terms of a0 and, possibly, one other am . Look for patterns!
version: 1/30/2012
0a0 = 0
a0 is arbitrary.
8a1 = 0
a1 = 0
Using these values and the recursion formula (equation (13.7)) with k =
2, 3, 4, . . . (and looking for patterns):
a2 =
1
1
a22 =
a0
2(2 + 1)
23
a3 =
1
1
1
a32 =
a1 =
0 = 0
3(3 + 1)
34
34
a4 =
1
1
1 1
(1)2
(1)2
a42 =
a2 =
a0 =
a0 =
a0
4(4 + 1)
45
45 23
5432
5!
a5 =
1
1
a52 =
0 = 0
5(5 + 1)
56
a6 =
1
1
1 (1)2
(1)3
a62 =
a4 =
a0 =
a0
6(6 + 1)
67
76
5!
7!
..
.
,
,
,
,
,
ak = 0
and
(1)k/2
a0
(k + 1)!
ak =
for k = 2, 4, 6, 8, . . .
a0
(2m + 1)!
for m = 1, 2, 3, 4, . . .
a0
(2m + 1)!
for m = 0, 1, 2, 3, 4, . . .
Using r = r1 along with the formulas just derived for the coefficients, write out the
resulting series for y . Try to simplify it and factor out the arbitrary constant(s).
Plugging r = 1/2 and the formulas just derived for the an s into the formula
originally assumed for y (equation (13.4) on page 133), we get
y = x
= x
version: 1/30/2012
ak x k
k=0
X
1
x /2
k=0
k odd
ak x +
X
k=0
k odd
1
x /2
ak x
k=0
k even
0x +
m=0
a0
(1)
x 2m
(2m + 1)!
X
0 + a0
(1)m
m=0
1
x 2m
(2m + 1)!
Step 9:
1/
2
X
(1)m
m=0
(2m + 1)!
1/
2
x 2m
(13.8)
If the indical equation had two distinct solutions, now repeat steps 6 through 8 with
the smaller r , r2 . Sometimes (but not always) this will give you a second independent
solution to the differential equation. Sometimes, also, the series formula derived in this
mega-step will include the series formula already derived.
h
i
X
an 4(n + r )2 1 + 4an2 x n
n=2
1 2
1
1 2
0
= a0 4
1 x + a1 4
8
+ 3 x1
2
X
1 2
1 + 4an2 x n
+
an 4 n
2
n=2
= a0 0x 0 + a1 0x 1 +
X
2
an 4n 4n + 1 1 + 4an2 x n
n=2
Then
..
.
yielding
1
y = a0 x /2
X
(1)m
m=0
(2m)!
x 2m + a1 x /2
X
(1)m
m=0
(2m + 1)!
x 2m+1
(13.9)
Note that the second series term is the same series (slightly rewritten) as in
1
1
equation (13.8) (since x /2 x 2m+1 = x /2 x 2m ).
?Exercise 13.1: Fill in the dots in the last statement. That is, do all the computations
that were omitted.
Step 10
If the last step yielded y as an arbitrary linear combination of two different series, then
that is the general solution to the original differential equation. If the last step yielded
y as just one arbitrary constant times a series, then the general solution to the original
differential equation is the linear combination of the two series obtained at the end of
version: 1/30/2012
steps 8 and 9. Either way, write down the general solution (using different symbols for
the two different arbitrary constants!). If step 9 did not yield a new series solution, then
at least write down the one solution previously derived, noting that a second solution is
still needed for the general solution to the differential equation.
y = a0 x /2
X
(1)m
m=0
(2m)!
x 2m + a1 x /2
X
(1)m
m=0
(2m + 1)!
x 2m+1
Our luck continues! The two series are easily recognized as the series for the
sine and the cosine functions:
X
X
(1)m
(1)m 2m
1/2
1/2
y = a0 x
x
+ a1 x
x 2m+1
m=0
(2m)!
(2m + 1)!
m=0
= a0 x /2 cos(x) + a1 x /2 sin(x)
.
1/
2
y = a0
13.2
1.
is
(13.10)
0a1 = 0
then you know a1 = 0 . On the other hand, if you get something like
then you have an equation that tells you nothing about a1 . This means that a1 is an
arbitrary constant (unless something else tells you otherwise).
2.
If the recursion formula blows up at some point, then some of the coefficients must be
zero. For example, if
then, for n = 5 ,
an =
3
an2
(n + 2)(n 5)
a5 =
3
a3 = a3
(7)(0)
which can only make sense if a3 = 0 . Note also, that, unless otherwise indicated, a5
here would be arbitrary. (Remember, the last equation is equivalent to (7)(0)a5 = 3a3 .)
version: 1/30/2012
3.
If you get a coefficient being zero, it is a good idea to check back using the recursion
formula to see if any of the previous coefficients must also be zero, or if many of the following coefficients are zero. In some cases, you may find that an infinite series solution
only contains a finite number of nonzero terms, in which case we have a terminating
series; i.e., a solution which is simply a polynomial.
On the other hand, obtaining a0 = 0 , contrary to our basic assumption that a0 6= 0 ,
tells you that there is no series solution of the form assumed for the basic Frobenius
method using that value of r .
4.
1
2
an1 +
an2
3n(n + 3)
n2 + 1
Keep in mind that, even if you find that finding patterns and describing them by nice
formulas is beyond you, you can always use the recursion formulas to compute (or have
a computer compute) as many terms as you wish of the series solutions.
6.
The computations can become especially messy and confusing when x0 = 0 . In this
case, simplify matters by using the substitutions
Y (X) = y(x)
with
X = x x0
dY
dy
=
= y (x)
dX
dx
d2 y
dy
+ B(x)
+ C(x)y = 0
2
dx
dx
(13.11)
dY
d 2Y
+ B1 (X)
+ C1 (X)Y = 0
2
dX
dX
(13.11 )
with
A1 (X) = A(X + x0 ) ,
B1 (X) = B(X + x0 )
Use the method of Frobenious to find the modified power series solutions
Y (X) = X r
ak X k
k=0
for equation (13.11 ). The corresponding solutions to the original differential equation,
equation (13.11), are then given from this via the above substitution,
y(x) = Y (X) = X r
version: 1/30/2012
X
k=0
ak X k = (x x0 )r
X
k=0
ak (x x0 )k
13.3
d2 y
dy
+ b(x)
+ c(x)y = 0
dx
dx 2
(13.12)
where a , b and c are known functions. Remember that the general solution over some interval
(, ) to such a differential equation is given by
y(x) = c1 y1 (x) + c2 y2 (x)
where y1 and y2 is a linearly independent pair of particular solutions (no arbitrary constants)
over (, ) , and c1 and c2 are two arbitrary constants.
For describing theory (though rarely for simplifying computations), it helps to divide the
differential equation by a(x) , obtaining the equivalent equation
dy
d2 y
+ Q(x)y = 0
+ P(x)
dx
dx 2
(13.12 )
(with P = b/a and Q = c/a ). Now, for each point z 0 in the complex plane, we say that:
1.
z 0 is an ordinary point for the differential equation if and only if both P(z) and Q(z)
(viewed as functions of a complex variable) are analytic at z 0 .3
2.
z 0 is a singular point for the differential equation if and only if it is not an ordinary point
for the equation.
Keep in mind that P = b/a and Q = c/a . So if a(z) vanishes at some point z 0 where either
b(z) or c(z) is nonzero, then that point, z 0 , will be a singular point for the differential equation.
The importance of whether a point is ordinary or singular is indicated in the following
theorem.
d2 y
dy
+ b(x)
+ c(x)y = 0
2
dx
dx
exists on some interval containing x0 , with y1 and y2 being analytic at x0 . These functions,
y1 and y2 , can be obtained by the basic method of Frobenius. Moreover:
1.
3 That is, P(z) and Q(z) can each be described as a power series about z over some neighborhood of that point.
0
(We are anticipating some stuff from our study of complex variables.)
version: 1/30/2012
and
2. The series formulas for both y1 and y2 obtained by the method of Frobenius are valid
at least on the interval (x0 R, x0 + R) where R is the distance from x0 to the closest
point on the complex plane at which either P or Q is not analytic.
For the proof of this theorem, see a good intermediate or higher level text on differential
equations.4 We wont attempt it here. Our interest is simply that it assures us that someone
has confirmed that the basic Frobenius method works when we attempt it using power series
about ordinary points, and has even given us an idea as to the interval over which the series will
converge. It even states that the series will be true power series.
Keep in mind that, while the theorem describes cases where the method of Frobenius works,
it does not say that it is always the best method. For example, it assures you that you can find
infinite series solutions to
a
dy
d2 y
+ b
+ cy = 0
dx
dx 2
when a , b and c are constants but why bother? It would be much easier to simply use
a method described in section A.3 of the appendix reviewing elementary ordinary differential
equations.
In fact, whenever x0 is an ordinary point for the differential equation, using the full Frobenius
method is excessive. With a little thought, youll realize that the above theorem says that you can
skip the whole indicial equation part of the Frobenius method. Instead, just use the relevant
parts of the method after assuming
y(x) =
X
k=0
ak (x x0 )k
d2 y
dy
+ b(x)
+ c(x)y = 0
2
dx
dx
c/
a ).
P(z) =
and
Q(z) =
q(z)
(z z 0 )2
version: 1/30/2012
where p(z) and q(z) are analytic functions at z 0 . In other words, a singular point z 0 is a
regular singular point for the differential equation if and only if the differential equation can be
rewritten as
or, equivalently, as
d2 y
p(x) d y
q(x)
+
+
y = 0
x z 0 dx
dx 2
(x z 0 )2
(x z 0 )2
d2 y
dy
+ (x z 0 ) p(x)
+ q(x)y = 0
2
dx
dx
dy
d2 y
+ b(x)
+ c(x)y = 0
2
dx
dx
Then the indicial equation arising in the basic method of Frobenius exists and is a quadratic
equation with two solutions r1 and r2 (which may be one solution, repeated).5 If r2 and r1 are
real, assume r2 r1 . Then:
1.
The basic method of Frobenius will yield at least one solution of the form
y1 (x) = (x x0 )r1
X
k=0
ak (x x0 )k
If r1 r2 is not an integer, then the basic method of Frobenius will yield a second
independent solution of the form
y2 (x) = (x x0 )r2
X
k=0
ak (x x0 )k
y2 (x) = (x x0 )
X
k=0
ak (x x0 )k
y2 (x) = y1 (x) ln |x x0 | + (x x0 )
X
k=0
bk (x x0 )k
5 See the first note after this theorem regarding the use of the basic method when the coefficients are not rational
functions.
version: 1/30/2012
or, equivalently,
y2 (x) = y1 (x) ln |x x0 | + (x x0 )
X
k=0
ck (x x0 )
1+r1
or, equivalently,
X
k=0
bk (x x0 )k
X
y2 (x) = y1 (x) ln |x x0 | + (x x0 )1
ck (x x0 )k
k=0
d2 y
dy
+ b(x)
+ c(x)y = 0
dx
ds 2
we assumed a , b and c were rational functions so that we could get the differential
equation into the form
A(x)
d2 y
dy
+ B(x)
+ C(x)y = 0
2
dx
ds
where A(x) , B(x) and C(x) are polynomials (Pre-step 2). More generally, you want to
get the equation into the above form where A(x) , B(x) and C(x) are analytic functions
about x0 , and then express these functions as power series about x0 . After all, a power
series is just a really big polynomial, isnt it?
Fortunately, it seems safe to say that the use of the Frobenius method when a(x) ,
b(x) and c(x) are not rational functions is rare.
2.
3.
The formulas for y2 (x) involving ln |x x0 | can be derived via the method of reduction
of order for finding second solutions to second order differential equations (see your old
DE text, not A&W). This is of theoretical, not practical, significance. It would usually be
6 The power series parts will converge on the interval (x R, x + R) , indeed, on the disk of radius R in the
0
0
complex plane about x 0 . However, the (x x 0 )r will behave badly at x = x 0 if r is not a positive real number.
7 e.g., the one at www.math.uah.edu/ howell/DEtext (chap. 3135).
version: 1/30/2012
a mistake to attempt to actually compute these series using reduction of order. Instead,
just plug these series formulas into the differential equation and find recursion formulas
for the coefficients. At some point, you will probably have to write out the series formula
for y1 (x) and multiply two series together. It will not be pretty.
4.
In practice, one major application of many of these series to determine the general behavior
of solutions near x0 . For example, the logarithmic singularity in some of the solutions
may allow us to reject them in certain applications.
5.
Again, keep in mind that simpler methods might be available. For instance, you can use
the Frobenius method on Cauchy-Euler equations (see section A.3 of the appendix on
ordinary differential equations), but that would be silly.
6.
Obvious variations of the Frobenius method can be applied to first-order and third-order
(and fourth-order, etc.) differential equations.
7.
As long as we allow complex numbers, we will have only a little difficulty with expressions
of the form (x x0 )r when x x0 < 0 and, say, r = 1/2 . When complex numbers are
being avoided, it may be best to write your final answer using
|x x0 |r
instead of
(x x0 )r
But we will be allowing complex numbers. In fact, x and x0 may be complex in future
work, in which case we will see that the above mentioned replacement of (x x0 )r with
|x x0 |r would be BAD.
X
k=0
ak (x x0 )k
with a0 6= 0
Observe that
f (x) = a0 + a1 (x x0 ) + a2 (x x0 )2 + a3 (x x0 )3 + a4 (x x0 )4
= a0 + (x x0 ) a1 + a2 (x x0 ) + a3 (x x0 )2 + a4 (x x0 )3 +
= a0 + (x x0 )
X
k=0
ak+1 (x x0 )k
version: 1/30/2012
d2 y
dy
+ c(x)y = 0
+ b(x)
dx
dx 2
about a regular singular point x0 . Let r1 and r2 be the solutions to the indicial equation (we
will assume them to be real with r1 r2 ), and let y1 (x) and y2 (x) be the solutions as described
in our big theorem on the Frobenius method (theorem 13.2).
Lets look at those solutions when x x0 .
No matter what, we know that
y1 (x) = (x x0 )r1
So, for x x0
X
k=0
ak (x x0 )k
y1 (x) (x x0 )r1 a0
with a0 6= 0
In particular, then,
0
lim |y1 (x)| = lim |x x0 |r1 |a0 | =
|a0 |
xx 0
xx 0
if r1 > 0
if r1 = 0
if r1 < 0
Now assume r2 6= r1 . With luck, our second solution is similar to the first,
y2 (x) = (x x0 )r2
So, for x x0 ,
X
k=0
ak (x x0 )k
y2 (x) a0 (x x0 )r2
with a0 6= 0
X
N
k
y2 (x) = y1 (x) ln |x x0 | + (x x0 )
ck (x x0 )
k=0
But, as you can easily verify yourself, |ln |x x0 || is much smaller than |x x0 |N when
x x0 . So, when x x0 ,
r1
N
y2 (x) a0 (x x0 ) ln |x x0 | + (x x0 ) c0
a0 (x x0 )r1 (x x0 )N c0
= A0 (x x0 )r1 N
= A0 (x x0 )r2
version: 1/30/2012
0
r2
lim |y2 (x)| = lim |x x0 | |A0 | =
|A0 |
xx 0
xx 0
if r2 > 0
.
if r2 = 0
if r2 < 0
y2 (x) = y1 (x) ln |x x0 | + (x x0 )
X
k=0
ck (x x0 )
xx 0
!Example 13.1:
order 1/2 ,
xx 0
if r1 > 0
if r1 0
1
y = 0
4x 2
that do not blow up at x0 = 0 ; that is, we only want those solutions satisfying
lim y(x) = a finite value .
x0
This is the one equation weve solved by the Frobenius method, and we obtained the exponents
r1 =
1
2
and
r2 =
1
2
Hence, for some nonzero constants a0 and A0 , the two solutions y1 and y2 obtained by the
Frobenius method satisfy
lim y1 (x) = lim a0 x
x0
1/
2
x0
= 0
and
1
x0
x0
And, thus, if we only need those solutions that do not blow up at x0 = 0 , then we only need
to find the first solution given by the Frobenius method. There is no need to do all that work
to obtain the solutions corresponding to r2 . Whats more, we also know that all the solutions
of interest actually go to zero at x0 = 0 .
version: 1/30/2012
d2 y
dy
+ c(x)y = 0
+ b(x)
2
dx
dx
and
c(x)
q(x)
=
a(x)
(x x 0 )2
Its not hard to show that the indicial equation is actually given by
r (r 1) + p(x0 )r + q(x0 ) = 0
Knowing this, and solving for the r s early can save a little work in finding the series solutions,
especially if you can make use of the big theorem on the Frobenius method (Theorem 13.2).
In practice, the functions a , b , and c in the differential equation are always real valued,
and you expect to be able to obtain real-valued solutions to the differential equation. And in
almost all (if not all) examples of the Frobenius method in textbooks, the roots of the indicial
equation turn out to be real. In fact, few of the references Ive had time to check even mention the
possibility of the r s being complex, and the comments that I did find appear to be last minute
changes because someone said What about complex roots?8
Still, even if we require a , b , and c to be real-valued functions, it is quite possible to
construct a differential equation whose indicial equation yields nontrivial complex roots r =
i . The result of using the Frobenius method on this differential equation will be that
described in case 2 of Theorem 13.2 because the difference between the r s would not be an
integer. In this case it would not matter which r you refer to as r1 . Moreover, if a , b , and c
are real-valued functions, then you can easily show that, if y1 is a complex-valued solution to
the differential equation, then so is its complex conjugate y2 = y1 and the two form a linearly
independent pair. Hence an arbitrary linear combination of y1 and its conjugate will serve as
a general solution to the differential equation. It then follows that the real and imaginary parts
of y1 are also a linearly independent pair of solutions. Hence, a general solution in terms of
real-valued functions can also be given by
y(x) = c1 Re[y1 (x)] + c2 Im[y2 (x)] .
What all this means is that, in theory, if r is complex and your first series solution obtained
via Frobenius has complex terms, then you need not find the other series solution. Just use the
real and imaginary parts of the series solution you already have. Just how practical this is depends
on how easy it is to extract those real and imaginary parts.
If you want, you can play with an equation whose indical equation has complex roots by
doing the next exercise.
?Exercise 13.2 (OPTIONAL):
d2 y
dy
+ x
+ 1 = 0
2
dx
dx
version: 1/30/2012
a: Solve it using the methods described for Cauchy-Euler equations in the appendix on
elementary ordinary differential equations. (The answer will be
y(x) = c1 cos(ln |x|) + c2 sin(ln |x|)
To get this, you may have to use the fact that x = e ln|x| for x > 0 .)
b: Solve it using the method of Frobenius. (Warning: This may get messy I have not
tried it yet.)
version: 1/30/2012
Additional Exercises
These problems were all stolen from chapters3135 of the online text for MA238. That text can
be found at www.math.uah.edu/ howell/DEtext.
13.3. Use the basic method of Frobenius to find modified power series solutions about x0 = 0
to each of the following. In particular:
i Find and solve the corresponding indicial equation for the equations exponents
r1 and r2 .
ii Find the recursion formula corresponding to each exponent.
iii Find and explicitly write out at least the first four nonzero terms of all series
solutions about x0 = 0 that can be found by the basic Frobenius method (if a
series terminates, find all the nonzero terms).
iv Try to find a general formula for all the coefficients in each series.
v When a second particular solution cannot be found by the basic method, give a
reason that second solution cannot be found.
a. (1 + x 2 )y 2y = 0 with x0 = 0
b. x 2 y 2x y + x 2 + 2 y = 0
c. 4x 2 y + (1 4x)y = 0
d. x 2 y + x y + (4x 4)y = 0
e. x 2 9x 4 y 6x y + 10y = 0
f. x 2 y x y +
1
y = 0
1x
g. 2x 2 y + 5x 2x 3 y + (1 x 2 )y = 0
h. x 2 y 5x + 2x 2 y + (9 + 4x) y = 0
i. 3x 2 3x 3 y 4x + 5x 2 y + 2y = 0
j. x 2 y x + x 2 y + 4x y = 0
k. 4x 2 y + 8x 2 y + y = 0
l. x 2 y + x x 4 y + 3x 3 y = 0
m. 9x 2 + 9x 3 y + 9x + 27x 2 y + (8x 1)y = 0
where is a constant.
version: 1/30/2012
a. Derive the general recursion formula (in terms of ) for the power series solutions
about x0 = 0 to the above Hermite equation.
b. Over what interval are these power series solutions guaranteed to be valid according
to our theorems?
c. Using your recursion formula, show that when = 2m for a nonnegative integer m ,
then the resulting series solution reduces to
ym (x) = a0 ym,1 (x) + a1 ym,2 (x)
where one of the ym, j s is a polynomial of degree m and the other is a power series
(but not a polynomial). (The polynomials, multiplied by suitable constants, are called
the Hermite polynomials.)
d. Find those polynomial solutions when
i. m = 0
ii. m = 1
v. m = 4
vi. m = 5
iii. m = 2
iv. m = 3
Do the following:
a. Derive the general P
recursion formula (in terms of ) for the general power series
k
solution y (x) =
k=0 ak x to the above Legendre equation.
b. Using the recursion formula just found, derive the fact that the general power series
solution y can be written as
y (x) = a0 y,E (x) + a1 y,O (x)
where y,E and y,O are, respectively, even- and odd-termed series
y,E (x) =
ck x k
and
k=0
k is even
y,O (x) =
ck x k
k=0
k is odd
version: 1/30/2012
v. 4 and p4 (x)
k=0
k is even
where
ak =
c k x + a1
ck x
k=0
k is odd
a0 c k
if k is even
a1 c k
if k is odd
ak x k
k=0
Using this and the work already done in this exercise, verify each of the following:
i. If = m(m + 1) for some nonnegative integer m , then the Legendre equation
with parameter has polynomial solutions, and they are all constant multiples of
pm (x) .
ii. If 6= m(m + 1) for every nonnegative integer m , then y is not a polynomial.
iii. If y is not a polynomial, then it is given by a power series about x0 = 0 with a
radius of convergence of exactly 1 .
13.6. The Chebyshev equation with parameter is given by
(1 x 2 )y x y + y = 0
k
solution y (x) =
k=0 ak x to the above Chebyshev equation.
b. Using the recursion formula just found, derive the fact that the general power series
solution y can be written as
y (x) = a0 y,E (x) + a1 y,O (x)
version: 1/30/2012
where y,E and y,O are, respectively, even- and odd-termed series
y,E (x) =
ck x k
and
k=0
k is even
y,O (x) =
ck x k
k=0
k is odd
v. 4 and p4 (x)
x
2
y +
y = 0
x 2
x +2
x0 = 0
b. x 3 y + x 2 y + y = 0 , x0 = 2
c. x 3 x 4 y + (3x 1)y + 827y = 0 ,
version: 1/30/2012
x0 = 1
1
1
y +
y = 0
x 3
x 4
d. y +
e. y +
f. y +
x0 = 3
1
1
y +
y = 0
(x 3)2
(x 4)2
1
1
x
3
g.
4x 1 y +
h.
4 + x2
2
y +
2
4
x
1
1
x
4
y + y = 0
y +
y = 0
x0 = 4
x0 = 0
1 x2
y = 0
1 + x2
x0 = 0
x0 = 0
13.8. For each of the following, verify that the given x0 is a regular singular point for the
given differential equation, and then use the basic method of Frobenius to find modified
power series solutions to that differential equation. In particular:
i Find and solve the corresponding indicial equation for the equations exponents
r1 and r2 .
ii Find the recursion formula corresponding to each exponent.
iii Find and explicitly write out at least the first four nonzero terms of all series
solutions about x0 = 0 that can be found by the basic Frobenius method (if a
series terminates, find all the nonzero terms).
iv Try to find a general formula for all the coefficients in each series.
v When a second particular solution cannot be found by the basic method, give a
reason that second solution cannot be found.
a. (x 3)y + (x 3)y + y = 0 ,
b. y +
c. 4y +
2
y + y = 0
x +2
4x 3
y = 0
(x 1)2
x0 = 3
x0 = 2
x0 = 1
d. (x 3)2 y + x 2 3x y 3y = 0 ,
version: 1/30/2012
x0 = 3
3a. ak =
ak2 for k 2 , y(x) = a0 y1 (x) + a1 y2 (x) where y1 = 1 + x 2
k
X
(1)m
x 2m+1
m=0
and
(1 + 2m)(1 2m)
3b. r 2 3r + 2 = 0 ; r1 = 2 , r2 = 1 ;
1
For r = r1 , a1 = 0 , ak =
ak2 ; y(x) = ay1 (x) with
(k + 1)k
h
i
X
1 2
1 4
1 6
(1)m
2
2
y1 (x) = x 1 x + x x = x
x 2m = x sin(x)
3!
5!
7!
m=0
(2m + 1)!
For r = r2 , a1 = 0; ak =
ak2 ; y(x) = ay2 (x) with
k(k 1)
h
i
X
1 4
1 6
(1)m 2m
1 2
x = x cos(x)
y2 (x) = x 1 x + x x + = x
2!
4!
6!
3c. 4r 2 4r + 1 = 0 ; r1 = r2 =
1
For r = r1 : ak = 2 ak1
k
X
1
y1 (x) = x
xk
(k!)2
1
2
m=0
(2m)!
k=0
No second value of r
3d. r 2 4 = 0 ; r1 = 2 , r2 = 2 ;
4
For r = r1 : ak =
ak1 ; y(x) = ay1 (x) with
k(k + 4)
X
42
43
(4)k 4! k
4
2
3
2
2
x
x + = x
x
y1 (x) = x 1 x +
5
(2)(6 5)
(3 2)(7 6 5)
k=0
k!(k + 4)!
X
92 6 4
93 8 6
94 2
2
y1 (x) = x 1 +
x +
x +
x = x5
9m (m + 1)x 2m
2
For r = r2 , a1 = 0; ak =
m=0
9(k 1)
ak2
k3
X
2
2
2 4
3 6
2
y2 (x) = x 1 9x 3 9 x 5 9 x + = x
9m (1 2m)x 2m
m=0
3f. r 2 2r + 1 = 0 ; r1 = r2 = 1 ;
k2
For r = r1 : ak =
ak1 ; y(x) = ay1 (x) with
k
y1 (x) = x x 2
No second value of r
3g. 2r 2 + 3r + 1 = 0 ; r1 = 1/2 , r2 = 1 ;
2(k 2)
For r = r1 : a1 = 0 , ak =
ak2 ; y(x) = ay1 (x) with
1/2
k(2k + 1)
y1 (x) = x
2k 5
For r = r2 : a1 = 0 , ak =
ak2 ; y(x) = ay2 (x) with
k(2k 1)
version: 1/30/2012
y2 =
h
1 2
y2 (x) = x 1 1
x
23
1
x4
427
1
x6
6 4 2 11
= x 1
m=0
1
x 2m
2m m!(4m 1)
3h. r 2 6r + 9 = 0 ; r1 = r2 = 3 ;
2
For r = r1 : ak = ak1 ; y(x) = ay1 (x) with
k
X
2
22 2
23 3
2k k
3
3
y1 (x) = x 1 + x + x +
x + = x
x = x 3 e2x
1
32
k=0
k!
No second value of r
3i. 3r 2 7r + 2 = 0 ; r1 = 2 , r2 = 1/3 ;
k+1
For r = r1 : ak =
ak1 ; y(x) = ay1 (x) with
k
X
y1 (x) = x 2 1 + 2x + 3x 2 + 4x 3 + = x 2
(k + 1)x k
k=0
3k 2
ak1
3k 5
For r = r2 : ak =
; y(x) = ay1 (x) with
h
i X
1
2 3k k
4 2
7 3
3
3
x
y1 (x) = x 1 x x x + = x
2
k=0
3j. r 2 2r = 0 ; r1 = 2 , r2 = 0 ;
k3
ak1 ; y(x) = ay1 (x) with
For r = r1 : ak =
k(k + 2)
2 3
1
x + x4
3
12
y1 (x) = x
For r = r2 , the recursion formula blows up
3k. 4r 2 4r + 1 = 0 ; r1 = r2 = 1/2 ;
2k 1
For r = r1 : ak = 2 ak1 ; y(x) = ay1 (x) with
k
i
h
3
53 3
y1 (x) = x 1 x + x 2
x +
4
94
"
#
(2k
1)(2k
3)
1
= x 1+
(1)k
xk
2
k=1
(k!)
No second value of r
3l. r 2 = 0 ; r1 = r2 = 0 ;
k6
For r = r1 : a1 = 0 , a2 = 0 , ak = 2 ak3 ; y(x) = ay1 (x) with
1
y1 (x) = 1 x 3
3
No second value of r
3m. 9r 2 1 = 0 ; r1 = 1/3 , r2 = 1/3 ;
For r = r1 : ak = ak1 ; y(x) = ay1 (x) with
1/
1/ X
1
2
3
3
3
1 x + x x + = x
(1)k x k = x /3 (1 + x)1
y1 (x) = x
k=0
1
1 X
1
y2 (x) = x /3 1 x + x 2 x 3 + = x /3
(1)k x k = x /3 (1 + x)1
k=0
4a. ak =
2k 4
ak2
k(k 1)
4b. (, )
4d i. 1
4d ii. x
4d iii. 1 2x 2
version: 1/30/2012
2
3
4d iv. x x 3
4
3
4d v. 1 4x 2 + x 4
4
4 5
x
3
15
k 2 3k + 2
ak2
k(k 1)
4d vi. x x 3 +
5a. ak =
5c i. = m(m + 1)
P
1
2n+1
5d i. 0 = 0 , p0 (x) = 1 , and s0 (x) =
n=0 2n + 1 x
P
1
5d ii. 1 = 2 , p1 (x) = x , and s1 (x) =
x 2n
n=0
5d iii. 2 = 6 and p2 (x) = 1 3x 2
5
5d iv. 3 = 12 and p3 (x) = x x 3
1 2n
35 4
x
3
21
14 3
x + x5
3
5
6c i. = m 2
6d i. 0 = 0 , p0 (x) = 1
6d ii. 1 = 1 , p1 (x) = x
6d iii. 2 = 4 and p2 (x) = 1 2x 2
4
6d iv. 3 = 9 and p3 (x) = x x 3
3
6d v. 4 = 16 and p4 (x) = 1 8x 2 + 8x 4
16
6d vi. 5 = 25 and p5 (x) = x 4x 3 + x 5
5
6e i. (1, 1)
6e ii. R = 1
7a. Reg. sing. pts.: 0, 2, 2 ; No irreg. sing. pt. ; R = 2
7b. No Reg. sing. pt. ; Irreg. sing. pt.: 0 ; R = 2
7c. Reg. sing. pt.: 1 ; Irreg. sing. pt.: 0 ; R = 1
7d. Reg. sing. pt.: 3, 4 ; No irreg. sing. pt. ; R = 1
7e. Reg. sing. pt.: 4 ; Irreg. sing. pt.: 3 ; R = 1
7f. Reg. sing. pt.: 0 ; No irreg. sing. pt. ; R =
1
X
k 1
k
(x3)
= (x 3)
(1) (x 3) = (x 3)e
k=0
k!
version: 1/30/2012
1
ak2 ; y(x) = ay1 (x) with
(k + 1)k
1
1
1
sin(x + 2)
y1 (x) = 1 (x + 2)2 + (x + 2)4 (x + 2)6 + =
3!
5!
7!
x +2
1
For r = r2 : ak =
ak2 ; y(x) = ay2 (x) with
k(k 1)
h
i
1
1
1
cos(x + 2)
1
y2 (x) =
1 (x + 2)2 + (x + 2)4 (x + 2)6 + =
x +2
2!
4!
6!
x +2
1
2
8c. 4r 4r + 1 = 0 ; r1 = r2 = ;
2
1
For r = r1 : ak = 2 ak1 ; y(x) = ay1 (x) with
k
1
y1 (x) = x 1
(1)k 2 (x 1)k
(k!)
For r = r1 : ak =
k=0
No second value of r
8d. r 2 + 2r 3 = 0 ; r1 = 1 , r2 = 3 ;
1
For r = r1 : ak =
ak1 ; y(x) = ay1 (x) with
h k+4
i
1
1
1
y1 (x) = (x 3) 1 (x 3) +
(x 3)2
(x 3)3 +
5
65
765
X
(1)k 4!
= (x 3)
(x 3)k
k=0
(k + 4)!
X
k
(1)
(x 3)k = (x 3)3 e(x3)
= (x 3)3
k=0
version: 1/30/2012
k!