Module

for

Frobenius Series Solution of a Differential Equation

 

Background.

    Consider the second order linear differential equation
    
(1)        [Graphics:Images/FrobeniusSeriesMod_gr_1.gif].

Rewrite this equation in the form   [Graphics:Images/FrobeniusSeriesMod_gr_2.gif],  then use the substitutions  [Graphics:Images/FrobeniusSeriesMod_gr_3.gif]  and  [Graphics:Images/FrobeniusSeriesMod_gr_4.gif]  and rewrite the differential equation (1) in the form  

(2)        [Graphics:Images/FrobeniusSeriesMod_gr_5.gif].

 

Definition (Analytic).  The functions [Graphics:Images/FrobeniusSeriesMod_gr_6.gif] and [Graphics:Images/FrobeniusSeriesMod_gr_7.gif] are analytic at [Graphics:Images/FrobeniusSeriesMod_gr_8.gif] if they have Taylor series expansions with radius of convergence [Graphics:Images/FrobeniusSeriesMod_gr_9.gif] and  [Graphics:Images/FrobeniusSeriesMod_gr_10.gif], respectively.  That is  

        [Graphics:Images/FrobeniusSeriesMod_gr_11.gif]  which converges for  [Graphics:Images/FrobeniusSeriesMod_gr_12.gif]
    and
        [Graphics:Images/FrobeniusSeriesMod_gr_13.gif]  which converges for  [Graphics:Images/FrobeniusSeriesMod_gr_14.gif]

 

Definition (Ordinary Point).  If the functions [Graphics:Images/FrobeniusSeriesMod_gr_15.gif] and [Graphics:Images/FrobeniusSeriesMod_gr_16.gif] are analytic at [Graphics:Images/FrobeniusSeriesMod_gr_17.gif], then the point [Graphics:Images/FrobeniusSeriesMod_gr_18.gif] is called an ordinary point of the differential equation  

        [Graphics:Images/FrobeniusSeriesMod_gr_19.gif].

Otherwise, the point [Graphics:Images/FrobeniusSeriesMod_gr_20.gif] is called a singular point.  

 

Definition (Regular Singular Point).  Assume that [Graphics:Images/FrobeniusSeriesMod_gr_21.gif] is a singular point of (1) and that  [Graphics:Images/FrobeniusSeriesMod_gr_22.gif] and  [Graphics:Images/FrobeniusSeriesMod_gr_23.gif] are analytic at [Graphics:Images/FrobeniusSeriesMod_gr_24.gif].

They will have Maclaurin series expansions with radius of convergence [Graphics:Images/FrobeniusSeriesMod_gr_25.gif] and  [Graphics:Images/FrobeniusSeriesMod_gr_26.gif], respectively.  That is  

        [Graphics:Images/FrobeniusSeriesMod_gr_27.gif]  which converges for  [Graphics:Images/FrobeniusSeriesMod_gr_28.gif]
    and
        [Graphics:Images/FrobeniusSeriesMod_gr_29.gif]  which converges for  [Graphics:Images/FrobeniusSeriesMod_gr_30.gif]

Then the point  [Graphics:Images/FrobeniusSeriesMod_gr_31.gif] is called a regular singular point of the differential equation (1).

 

Method of Frobenius.

    This method is attributed to the german mathemematican Ferdinand Georg Frobenius (1849-1917 ).  Assume that [Graphics:Images/FrobeniusSeriesMod_gr_32.gif]  is regular singular point of the differential equation

    [Graphics:Images/FrobeniusSeriesMod_gr_33.gif].  

    
A Frobenius series (generalized Laurent series) of the form  

        [Graphics:Images/FrobeniusSeriesMod_gr_34.gif]  

can be used to solve the differential equation.  The parameter [Graphics:Images/FrobeniusSeriesMod_gr_35.gif] must be chosen so that when the series is substituted into the D.E. the coefficient of the smallest power of  [Graphics:Images/FrobeniusSeriesMod_gr_36.gif] is zero.  This is called the indicial equation.  Next, a recursive equation for the coefficients is obtained by setting the coefficient of  [Graphics:Images/FrobeniusSeriesMod_gr_37.gif]  equal to zero.  Caveat: There are some instances when only one Frobenius solution can be constructed.

Proof  Frobenius Series Method  Frobenius Series Method  

 

Definition (Indicial Equation).  The parameter [Graphics:Images/FrobeniusSeriesMod_gr_38.gif] in the Frobenius series is a root of the indicial equation

        [Graphics:Images/FrobeniusSeriesMod_gr_39.gif].

Assuming that the singular point is  [Graphics:Images/FrobeniusSeriesMod_gr_40.gif], we can calculate [Graphics:Images/FrobeniusSeriesMod_gr_41.gif] as follows:

        [Graphics:Images/FrobeniusSeriesMod_gr_42.gif]
and
        [Graphics:Images/FrobeniusSeriesMod_gr_43.gif]
Derivation.

 

The Recursive Formulas.  

    For each root [Graphics:Images/FrobeniusSeriesMod_gr_65.gif] of the indicial equation, recursive formulas are used to calculate the unknown coefficients [Graphics:Images/FrobeniusSeriesMod_gr_66.gif].  This is custom work because a numerical value for [Graphics:Images/FrobeniusSeriesMod_gr_67.gif] is easier use.  

 

Example 1.  Use Frobenius series to solve the D. E.   
        [Graphics:Images/FrobeniusSeriesMod_gr_68.gif].  
Solution 1.

 

Example 2.  Use Frobenius series to solve the D. E.   
        [Graphics:Images/FrobeniusSeriesMod_gr_145.gif].  
Solution 2.

 

Example 3.  Use Frobenius series to solve the D. E.   
        [Graphics:Images/FrobeniusSeriesMod_gr_219.gif].  
Solution 3.

 

Example 4.  Use Frobenius series to solve the D. E.   
        [Graphics:Images/FrobeniusSeriesMod_gr_330.gif].  
A solution is known to be the celebrated Bessel function  [Graphics:Images/FrobeniusSeriesMod_gr_331.gif].
Solution 4.

 

Example 5.  Use Frobenius series to solve the D. E.   
        [Graphics:Images/FrobeniusSeriesMod_gr_382.gif].  
A solution is known to be the celebrated Bessel function  [Graphics:Images/FrobeniusSeriesMod_gr_383.gif].
Solution 5.

 

Example 6.  Use Maclaurin series and verify the identity  [Graphics:Images/FrobeniusSeriesMod_gr_434.gif].
Solution 6.

 

Application of the Vibrating Drum

    The two dimensional wave equation is   [Graphics:Images/FrobeniusSeriesMod_gr_461.gif],  

in rectangular coordinates it is   [Graphics:Images/FrobeniusSeriesMod_gr_462.gif],  

and in polar coordinates it is   [Graphics:Images/FrobeniusSeriesMod_gr_463.gif].

     Consider a drum head that a flexible circular membrane of radius [Graphics:Images/FrobeniusSeriesMod_gr_464.gif].  Assume that it is struck in the center and this produces radial vibrations only where the displacement depends only on time [Graphics:Images/FrobeniusSeriesMod_gr_465.gif] and distance [Graphics:Images/FrobeniusSeriesMod_gr_466.gif] from the center.  Then  [Graphics:Images/FrobeniusSeriesMod_gr_467.gif] satisfies the D.E.
      
    [Graphics:Images/FrobeniusSeriesMod_gr_468.gif].

Proof Vibrating Drum  Vibrating Drum  

 

Example 7.  Consider a drum head of radius [Graphics:Images/FrobeniusSeriesMod_gr_469.gif]. For convenience, choose the parameter  [Graphics:Images/FrobeniusSeriesMod_gr_470.gif]. The method of separation of variables permits us to use the substitution  [Graphics:Images/FrobeniusSeriesMod_gr_471.gif].  Use this substitution and obtain the D.E.
    [Graphics:Images/FrobeniusSeriesMod_gr_472.gif].      
Solve this D.E. and plot the solution over the interval  [Graphics:Images/FrobeniusSeriesMod_gr_473.gif].
Solution 7.

 

Example 8.  In Example 7, the boundary condition for the D.E. is  [Graphics:Images/FrobeniusSeriesMod_gr_490.gif],  i.e. the drum head has radius  [Graphics:Images/FrobeniusSeriesMod_gr_491.gif].
Thus the parameter  [Graphics:Images/FrobeniusSeriesMod_gr_492.gif]  must be chosen to be a root of the Bessel function.
The zeros do not have a simple formula. However it is known that they are "close to" multiples of  [Graphics:Images/FrobeniusSeriesMod_gr_493.gif].  
Verify this and find the first five zeros.
Solution 8.

 

Surface equation for the vibrating drum.

    The solution we are seeking in Example 7 is  [Graphics:Images/FrobeniusSeriesMod_gr_501.gif] where the boundary condition  [Graphics:Images/FrobeniusSeriesMod_gr_502.gif] requires that  [Graphics:Images/FrobeniusSeriesMod_gr_503.gif],  hence  [Graphics:Images/FrobeniusSeriesMod_gr_504.gif]. Therefore the fundamental solutions to the wave equation for the drum head is  

    [Graphics:Images/FrobeniusSeriesMod_gr_505.gif],  for  n = 1,2,3.  

 

Example 9.  Plot the functions  [Graphics:Images/FrobeniusSeriesMod_gr_506.gif] is the n-th root of  [Graphics:Images/FrobeniusSeriesMod_gr_507.gif].
Since we will be considering a drum of unit radius, plot  [Graphics:Images/FrobeniusSeriesMod_gr_508.gif] over the interval  [Graphics:Images/FrobeniusSeriesMod_gr_509.gif].
Solution 9.

 

Example 10.  The initial displacement for a fundamental solution is  [Graphics:Images/FrobeniusSeriesMod_gr_521.gif].  
Plot the functions for  n = 1,2,3.  
The first fundamental solution vibrates up and down throughout the entire disk of radius 1.
Solution 10.

 

 

Old Lab Project (Frobenius Series Solution of O.D.E.'s  Frobenius Series Solution of O.D.E.'s).  Internet hyperlinks to an old lab project.  

Old Lab Project (Bessel Functions and Vibrating Drum  Bessel Functions and Vibrating Drum).  Internet hyperlinks to an old lab project.  

 

Research Experience for Undergraduates

 

Series Solutions and Frobenius Method  Series Solutions and Frobenius Method Internet hyperlinks to web sites and a bibliography of articles.  

Vibrating Drum  Vibrating Drum  Internet hyperlinks to web sites and a bibliography of articles.  

 

Download this Mathematica Notebook  Frobenius Series Solution

 

Return to Numerical Methods - Numerical Analysis

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2004