Question

In Problems 13-19,find at least the first four nonzero terms in a power series expansion of the solution to the given initial value problem.

$$\begin{gathered} \mathbf{y}\mathbf{\text{'}}\mathbf{\text{'}}\mathbf{-}{\mathbf{e}}^{\mathbf{2}\mathbf{x}}\mathbf{y}\mathbf{\text{'}}\mathbf{+}\mathbf{\left(}\mathbf{cosx}\mathbf{\right)}\mathbf{y}\mathbf{=}\mathbf{0} \\ \mathbf{y}\mathbf{\left(}\mathbf{0}\mathbf{\right)}\mathbf{=}\mathbf{-}\mathbf{1}\mathbf{,}\mathbf{}\mathbf{y}\mathbf{\text{'}}\mathbf{\left(}\mathbf{0}\mathbf{\right)}\mathbf{=}\mathbf{1} \end{gathered}$$

Short answer

The first four nonzero terms in the power series expansion of the given initial value problem$\mathrm{y}\text{'}\text{'}-{\mathrm{e}}^{2\mathrm{x}}\mathrm{y}\text{'}+\left(\mathrm{cosx}\right)\mathrm{y}=0$is$\mathrm{y}\left(\mathrm{x}\right)=-1+\mathrm{x}+{\mathrm{x}}^2+\frac{{\mathrm{x}}^3}{2}+\cdots$.

Step-by-step solution

Define power series expansion.

The power series approach is used in mathematics to find a power series solution to certain differential equations. In general, such a solution starts with an unknown power series and then plugs that solution into the differential equation to obtain a coefficient recurrence relation.

A differential equation's power series solution is a function with an infinite number of terms, each holding a different power of the dependent variable. It is generally given by the formula,

$\mathbf{y}\mathbf{\left(}\mathbf{x}\mathbf{\right)}\mathbf{=}\mathbf{\sum }_{\mathbf{n}\mathbf{=}\mathbf{0}}^{\mathbf{\infty }}{\mathbf{a}}_{\mathbf{n}}{\mathbf{x}}^{\mathbf{n}}$

Find the relation.

Given,

$$\begin{gathered} \mathrm{y}\text{'}\text{'}-{\mathrm{e}}^{2\mathrm{x}}\mathrm{y}\text{'}+\left(\mathrm{cosx}\right)\mathrm{y}=0 \\ \mathrm{y}\left(0\right)=-1,\mathrm{y}\text{'}\left(0\right)=1 \end{gathered}$$

Use the formula

$$\begin{gathered} \mathrm{Y}\left(\mathrm{x}\right)=\sum _{\mathrm{n}=0}^{\infty }{\mathrm{a}}_{\mathrm{n}}{\mathrm{t}}^{\mathrm{n}} \\ \mathrm{Y}\text{'}\left(\mathrm{t}\right)=\sum _{\mathrm{n}=1}^{\infty }\mathrm{n}·{\mathrm{a}}_{\mathrm{n}}{\left(\mathrm{x}\right)}^{\mathrm{n}-1} \\ \mathrm{Y}\text{'}\text{'}\left(\mathrm{t}\right)=\sum _{\mathrm{n}=2}^{\infty }\mathrm{n}(\mathrm{n}-1)·{\mathrm{a}}_{\mathrm{n}}{\left(\mathrm{x}\right)}^{\mathrm{n}-2} \\ \mathrm{cosx}=1-\frac{{\mathrm{x}}^2}{2}+\frac{{\mathrm{x}}^4}{24}-\cdots \\ {\mathrm{e}}^{2\mathrm{x}}=1+2\mathrm{x}+2{\mathrm{x}}^2+\frac{4}{3}{\mathrm{x}}^3+\cdots \end{gathered}$$

Substitute it in the above equation we get,

role="math" localid="1664100676580" $\sum _{\mathrm{n}=2}^{\infty }\mathrm{n}(\mathrm{n}-1)·{\mathrm{a}}_{\mathrm{n}}{\left(\mathrm{x}\right)}^{\mathrm{n}-2}-\left(1+2\mathrm{x}+2{\mathrm{x}}^2+\frac{4}{3}{\mathrm{x}}^3+\cdots \right)\sum _{\mathrm{n}=1}^{\infty }\mathrm{n}·{\mathrm{a}}_{\mathrm{n}}{\left(\mathrm{x}\right)}^{\mathrm{n}-1}-\left(1-\frac{{\mathrm{x}}^2}{2}+\frac{{\mathrm{x}}^4}{24}+\cdots \right)\sum _{\mathrm{n}=0}^{\infty }{\mathrm{a}}_{\mathrm{n}}{\left(\mathrm{t}\right)}^{\mathrm{n}}=0$

Hence, we get the relation:$\sum _{\mathrm{n}=2}^{\infty }\mathrm{n}(\mathrm{n}-1)·{\mathrm{a}}_{\mathrm{n}}{\left(\mathrm{x}\right)}^{\mathrm{n}-2}-\left(1+2\mathrm{x}+2{\mathrm{x}}^2+\frac{4}{3}{\mathrm{x}}^3+\cdots \right)\sum _{\mathrm{n}=1}^{\infty }\mathrm{n}·{\mathrm{a}}_{\mathrm{n}}{\left(\mathrm{x}\right)}^{\mathrm{n}-1}-\left(1-\frac{{\mathrm{x}}^2}{2}+\frac{{\mathrm{x}}^4}{24}+\cdots \right)\sum _{\mathrm{n}=0}^{\infty }{\mathrm{a}}_{\mathrm{n}}{\left(\mathrm{t}\right)}^{\mathrm{n}}=0$.

Find the expression after expansion.

The series expansion for the function is:

$$\begin{gathered} \left(2{\mathrm{a}}_2+6{\mathrm{a}}_3\mathrm{x}+12{\mathrm{a}}_4{\mathrm{x}}^2+20{\mathrm{a}}_5{\mathrm{x}}^3+\cdots \right)-\left({\mathrm{a}}_1+2{\mathrm{a}}_2\mathrm{x}+3{\mathrm{a}}_3{\mathrm{x}}^2+4{\mathrm{a}}_4{\mathrm{x}}^3+\cdots \right) \\ -\left(2{\mathrm{a}}_1\mathrm{x}+4{\mathrm{a}}_2{\mathrm{x}}^2+6{\mathrm{a}}_3{\mathrm{x}}^3+8{\mathrm{a}}_4{\mathrm{x}}^4+\cdots \right)-\left(2{\mathrm{a}}_1{\mathrm{x}}^3+4{\mathrm{a}}_2{\mathrm{x}}^2+6{\mathrm{a}}_3{\mathrm{x}}^4+8{\mathrm{a}}_4{\mathrm{x}}^5+\cdots \right)-\cdots \\ -\left({\mathrm{a}}_1\frac{{\mathrm{t}}^3}{3!}+2{\mathrm{a}}_2\frac{{\mathrm{t}}^4}{3!}+3{\mathrm{a}}_3\frac{{\mathrm{t}}^5}{3!}+4{\mathrm{a}}_4\frac{{\mathrm{t}}^6}{3!}+\cdots \right)+\left({\mathrm{a}}_0+{\mathrm{a}}_1\mathrm{x}+{\mathrm{a}}_2{\mathrm{x}}^2+{\mathrm{a}}_3{\mathrm{x}}^3+{\mathrm{a}}_4{\mathrm{x}}^4+{\mathrm{a}}_5{\mathrm{x}}^5+\cdots \right) \\ +\left({\mathrm{a}}_0\frac{{\mathrm{x}}^2}{2}+{\mathrm{a}}_1\frac{{\mathrm{x}}^3}{2}+{\mathrm{a}}_2\frac{{\mathrm{x}}^4}{2}+{\mathrm{a}}_3\frac{{\mathrm{x}}^5}{2}+{\mathrm{a}}_4\frac{{\mathrm{x}}^6}{2}+\cdots \right)=0 \end{gathered}$$

Taking coefficients and exponents of the same power. Simplify the expression:

$\left(2{\mathrm{a}}_2-{\mathrm{a}}_1+{\mathrm{a}}_0\right)+\left(6{\mathrm{a}}_3-2{\mathrm{a}}_2-2{\mathrm{a}}_1+{\mathrm{a}}_1\right)\mathrm{x}+\left(12{\mathrm{a}}_4-3{\mathrm{a}}_3+4{\mathrm{a}}_2-2{\mathrm{a}}_1+{\mathrm{a}}_2-\frac{{\mathrm{a}}_0}{2}\right){\mathrm{x}}^2+\cdots =0$

Hence the expression after the expansion is:

$\left(2{\mathrm{a}}_2-{\mathrm{a}}_1+{\mathrm{a}}_0\right)+\left(6{\mathrm{a}}_3-2{\mathrm{a}}_2-2{\mathrm{a}}_1+{\mathrm{a}}_1\right)\mathrm{x}+\left(12{\mathrm{a}}_4-3{\mathrm{a}}_3+4{\mathrm{a}}_2-2{\mathrm{a}}_1+{\mathrm{a}}_2-\frac{{\mathrm{a}}_0}{2}\right){\mathrm{x}}^2+\cdots =0$

Find the first four nonzero terms.

By equating the coefficients, we get,

$$\begin{gathered} 2{\mathrm{a}}_2-{\mathrm{a}}_1+{\mathrm{a}}_0=0\to {\mathrm{a}}_2=1 \\ 6{\mathrm{a}}_3-2{\mathrm{a}}_2-2{\mathrm{a}}_1+{\mathrm{a}}_1=0\to {\mathrm{a}}_3=\frac{1}{2} \end{gathered}$$

The general solution was:

$\mathrm{Y}\left(\mathrm{t}\right)=\sum _{\mathrm{n}=0}^{\infty }{\mathrm{a}}_{\mathrm{n}}{\mathrm{t}}^{\mathrm{n}}={\mathrm{a}}_0+{\mathrm{a}}_1\mathrm{t}+{\mathrm{a}}_2{\mathrm{t}}^2+{\mathrm{a}}_3{\mathrm{t}}^3+\cdots$

Apply the initial condition and substitute the coefficient.

role="math" localid="1664101022601" $\mathrm{y}\left(\mathrm{x}\right)=-1+\mathrm{x}+{\mathrm{x}}^2+\frac{{\mathrm{x}}^3}{2}+\cdots$

Hence, the first four nonzero terms are $\mathrm{y}\left(\mathrm{x}\right)=-1+\mathrm{x}+{\mathrm{x}}^2+\frac{{\mathrm{x}}^3}{2}+\cdots$.