Problem 10 - Differential Equations and Linear Algebra

Question

The indicial equation and recurrence relation for the differential equation $$x^{2} y^{\prime \prime}+x[(2-b)+x] y^{\prime}-(b-\gamma x) y=0 $$are, respectively,$$ \begin{aligned} (r+1)(r-b) &=0 \\ (r+n+1)(r+n-b) a_{n} &=-[(r+n-1)+\gamma] a_{n-1} \\ n &=1,2,3, \ldots \end{aligned}$$ in the usual notation, where \(b\) and \(\gamma\) are constants. Determine the form of two linearly independent series solutions to Equation \((11.5 .37)\) on (a) \(b\) not an integer. (b) \(b=-1\) (c) \(b=N,\) a nonnegative integer. [For solutions containing a term of the form \(A y_{1}(x) \ln x,\) you must determine whether \(A\) is zero or nonzero.]\((0, \infty)\) in the following cases:

Step-by-Step Solution

Answer

In summary, for the given Frobenius series differential equation, the two linearly independent series solutions for each case are as follows: (a) For \(b\) not an integer: \[ Y_1 = \sum_{n=0}^{\infty} a_n x^{n-1} \quad \text{and}\quad Y_2 = \sum_{n=0}^{\infty} b_n x^{b+n} \] (b) For \(b=-1\): \[ Y_1 = \sum_{n=0}^{\infty} a_n x^{n-1} \quad \text{and}\quad Y_2 = Y_1 \ln x + \sum_{n=0}^{\infty} a_n' x^{n} \] (c) For \(b=N\), a nonnegative integer: \[ Y_1 = \sum_{n=0}^{\infty} a_n x^{n-1} \quad \text{and}\quad Y_2 = Y_1 \ln x + \sum_{n=0}^{\infty} a_n' x^{n+N} \]

Step 1: Case (a): b is not an integer.

First, let's find the roots of the indicial equation given below: \[ (r+1)(r-b) =0 \] The given roots for this equation are \(r = -1\) and \(r = b\), since \(b\) is not an integer, the roots are distinct and their difference not an integer. Now let's use the recurrence relation, \[ (r+n+1)(r+n-b) a_{n} = -[(r+n-1)+\gamma] a_{n-1} ,\quad n =1,2,3, . . . \] to find two linearly independent series solutions for the differential equation. Let \(Y_1 = \sum_{n=0}^{\infty} a_n x^{r+n}\) be a solution with \(r = -1\). Using the recurrence relation, we can find the coefficients \(a_n\). Similarly, let \(Y_2 = \sum_{n=0}^{\infty} b_n x^{b+n}\) be a solution with \(r = b\). Using the recurrence relation again, we can find the coefficients \(b_n\). Therefore, the two linearly independent series solutions are given by: \[ Y_1 = \sum_{n=0}^{\infty} a_n x^{n-1} \quad \text{and}\quad Y_2 = \sum_{n=0}^{\infty} b_n x^{b+n} \]

Step 2: Case (b): b = -1

In this case, the roots of the indicial equation are \(r = -1\) and \(r = 0\), which have a difference of an integer. Thus, we expect the second solution to have a logarithmic term in it. Let \(Y_1 = \sum_{n=0}^{\infty} a_n x^{n-1}\) be the first solution with \(r = -1\). We can find its coefficients using the recurrence relation as in the previous case. For the second solution, let's assume it has the form \[ Y_2 = Y_1 \ln x + \sum_{n=0}^{\infty} a_n' x^{n} \] where \(a_n'\) are coefficients to be determined. We can use the differential equation and the relationship between \(Y_1\) and \(Y_2\) to find the coefficients \(a_n'\). So, the two linearly independent series solutions are given by: \[ Y_1 = \sum_{n=0}^{\infty} a_n x^{n-1} \quad \text{and}\quad Y_2 = Y_1 \ln x + \sum_{n=0}^{\infty} a_n' x^{n} \]

Step 3: Case (c): b = N, a nonnegative integer.

In this case, the indicial equation has roots \(r = -1\) and \(r = N\), where N is a non-negative integer. Let \(Y_1 = \sum_{n=0}^{\infty} a_n x^{n-1}\) be a solution with \(r = -1\). Using the recurrence relation, we can find the coefficients \(a_n\). For the second solution, since the roots have an integer difference, we expect it to have a logarithmic term in it like in case (b), so let it be given by \[ Y_2 = Y_1 \ln x + \sum_{n=0}^{\infty} a_n' x^{n+N} \] where \(a_n'\) are coefficients to be determined using the differential equation and the relationship between \(Y_1\) and \(Y_2\). Now, we have two linearly independent series solutions as follows: \[ Y_1 = \sum_{n=0}^{\infty} a_n x^{n-1} \quad \text{and}\quad Y_2 = Y_1 \ln x + \sum_{n=0}^{\infty} a_n' x^{n+N} \]

Key Concepts

Understanding the Indicial Equation

The indicial equation plays a crucial role in finding solutions to differential equations, especially when dealing with series solutions. In our context, the indicial equation is \[(r+1)(r-b) = 0\]
where \(r\) is the parameter we are solving for, and \(b\) is a constant. This equation emerges when applying the Frobenius method to solve linear differential equations.
- Indicial equations help us determine the initial conditions or starting points ("indices") of the power series.- The solutions to this equation give the possible values of \(r\), which in turn define the exponents in the series solution.
For scenarios where \(b\) is not an integer, the roots \(r=-1\) and \(r=b\) are distinct and non-integer, leading to straightforward solutions. However, when \(b\) is \(-1\) or a non-negative integer \(N\), additional steps involving logarithms are needed due to the integer difference in roots.

Exploring the Recurrence Relation

The recurrence relation is pivotal in constructing series solutions. It allows us to recursively determine the coefficients of the series. For our differential equation, the recurrence relation is given by:\[(r+n+1)(r+n-b) a_{n} = -[(r+n-1)+\gamma] a_{n-1}, \quad n = 1,2,3,\dots\]

• This relation helps compute each coefficient \(a_n\) based on the previous coefficient \(a_{n-1}\).
• The choice of initial values (usually \(a_0\)) is critical, as it impacts the entire series.
• Through this relation, terms in the series that solve the differential equation can be systematically derived.

By plugging in the values of \(r\) from our solved indicial equation, we approximate the function solution in a power series form. This is done iteratively, ensuring the series satisfies the differential equation.

Crafting Series Solutions

Series solutions involve expressing the solution to a differential equation as an infinite sum of terms. This method is particularly useful when traditional methods fail or are too complex. Here, series solutions take the form:

• \(Y_1 = \sum_{n=0}^{\infty} a_n x^{n-1}\) represents a solution constructed from one root of the indicial equation.
• \(Y_2 = \sum_{n=0}^{\infty} b_n x^{b+n}\) represents the solution with the second root.

When the roots of the indicial equation differ by an integer, a logarithmic term may be needed for independence:

• If the roots are equal or differ by an integer (like when \(b = -1\) or \(b = N\)), a second solution can incorporate a logarithmic term: \(Y_2 = Y_1 \ln x + \sum_{n=0}^{\infty} a_n' x^{n}\).

Understanding how to compute and apply these series solutions is essential for dealing successfully with complex differential equations using power series.