Skip to main content
Texas A&M Math Learning Center logo

Math 308 Week in Review 4 (Solutions)

Directions: Full worked solutions for Week in Review 4 (Differential Equations). Click Solution under any problem to reveal the worked answer. Use the Contents panel or the Prev / Up / Next buttons to move between sections, and Search to find terms on this page.

Core Problems

1.

Solve the initial value problem $y'' + 3y' + 2y = 0$, $y(0) = 0$, $y'(0) = -1$.

The characteristic equation is $r^2 + 3r + 2 = (r+1)(r+2) = 0$, giving $r = -1, -2$.

General solution:

\[y = c_1 e^{-t} + c_2 e^{-2t}\]

Applying initial conditions:

$y(0) = c_1 + c_2 = 0$

$y'(0) = -c_1 - 2c_2 = -1$

From the first equation: $c_1 = -c_2$. Substituting into the second: $c_2 - 2c_2 = -c_2 = -1$, so $c_2 = 1$ and $c_1 = -1$.

\[\boxed{y(t) = -e^{-t} + e^{-2t}}\]

2.

Solve the initial value problem $y'' - 6y' + 9y = 0$, $y(0) = 2$, $y'(0) = -1$.

The characteristic equation is $r^2 - 6r + 9 = (r - 3)^2 = 0$, giving repeated root $r = 3$.

General solution:

\[y = c_1 e^{3t} + c_2\, te^{3t}\]

Applying initial conditions:

$y(0) = c_1 = 2$

$y'(t) = 3c_1 e^{3t} + c_2 e^{3t} + 3c_2 te^{3t}$, so $y'(0) = 3c_1 + c_2 = 6 + c_2 = -1$, giving $c_2 = -7$.

\[\boxed{y(t) = 2e^{3t} - 7te^{3t}}\]

3.

Solve the initial value problem $y'' - 4y' + 13y = 0$, $y(0) = 0$, $y'(0) = 3$.

The characteristic equation is $r^2 - 4r + 13 = 0$:

\[r = \dfrac{4 \pm \sqrt{16 - 52}}{2} = \dfrac{4 \pm \sqrt{-36}}{2} = 2 \pm 3i\]

General solution:

\[y = e^{2t}(c_1 \cos 3t + c_2 \sin 3t)\]

$y(0) = c_1 = 0$.

$y'(t) = 2e^{2t}(c_1\cos 3t + c_2\sin 3t) + e^{2t}(-3c_1\sin 3t + 3c_2\cos 3t)$, so $y'(0) = 2c_1 + 3c_2 = 3c_2 = 3$, giving $c_2 = 1$.

\[\boxed{y(t) = e^{2t}\sin 3t}\]

4.

Find the initial value problem (the differential equation and the initial conditions) that has the solution $y(t) = 3e^{2t} - e^{5t}$.

The solution involves $e^{2t}$ and $e^{5t}$, so the characteristic roots are $r = 2$ and $r = 5$.

Characteristic equation: $(r - 2)(r - 5) = r^2 - 7r + 10 = 0$.

The differential equation is $y'' - 7y' + 10y = 0$.

Initial conditions: $y(0) = 3 - 1 = 2$.

$y'(t) = 6e^{2t} - 5e^{5t}$, so $y'(0) = 6 - 5 = 1$.

\[\boxed{y'' - 7y' + 10y = 0, \quad y(0) = 2, \;\; y'(0) = 1}\]

5.

Find the initial value problem (the differential equation and the initial conditions) that has the solution $y(t) = 3e^{-t} - 5te^{-t}$.

The solution involves $e^{-t}$ and $te^{-t}$, so $r = -1$ is a repeated root.

Characteristic equation: $(r + 1)^2 = r^2 + 2r + 1 = 0$.

The differential equation is $y'' + 2y' + y = 0$.

Initial conditions: $y(0) = 3$.

$y'(t) = -3e^{-t} - 5e^{-t} + 5te^{-t} = (-8 + 5t)e^{-t}$, so $y'(0) = -8$.

\[\boxed{y'' + 2y' + y = 0, \quad y(0) = 3, \;\; y'(0) = -8}\]

6.

Find the initial value problem (the differential equation and the initial conditions) that has the solution $y(t) = e^{3t}\cos(4t) - 2e^{3t}\sin(4t)$.

The solution has the form $e^{3t}(c_1\cos 4t + c_2\sin 4t)$, so the roots are $r = 3 \pm 4i$.

Characteristic equation: $(r-3)^2 + 16 = r^2 - 6r + 25 = 0$.

The differential equation is $y'' - 6y' + 25y = 0$.

Initial conditions: $y(0) = 1\cdot\cos 0 - 2\cdot\sin 0 = 1$.

$y'(t) = 3e^{3t}(\cos 4t - 2\sin 4t) + e^{3t}(-4\sin 4t - 8\cos 4t)$

$y'(t) = e^{3t}[(-5)\cos 4t + (-10)\sin 4t]$

$y'(0) = -5$.

\[\boxed{y'' - 6y' + 25y = 0, \quad y(0) = 1, \;\; y'(0) = -5}\]

7.

Verify that $y_1(t) = t^{-1}$ and $y_2(t) = t^{-1}\ln t$ are solutions of $t^2y'' + 3ty' + y = 0$, $t > 0$. Do they constitute a fundamental set?

Verify $y_1 = t^{-1}$: $y_1' = -t^{-2}$, $y_1'' = 2t^{-3}$.

\[t^2(2t^{-3}) + 3t(-t^{-2}) + t^{-1} = 2t^{-1} - 3t^{-1} + t^{-1} = 0 \;\checkmark\]

Verify $y_2 = t^{-1}\ln t$: $y_2' = t^{-2}(1 - \ln t)$, $y_2'' = t^{-3}(2\ln t - 3)$.

\[t^2 \cdot t^{-3}(2\ln t - 3) + 3t \cdot t^{-2}(1 - \ln t) + t^{-1}\ln t\]
\[= t^{-1}(2\ln t - 3 + 3 - 3\ln t + \ln t) = 0 \;\checkmark\]

Wronskian:

\[W = y_1 y_2' - y_2 y_1' = t^{-1}\cdot t^{-2}(1-\ln t) - t^{-1}\ln t\cdot(-t^{-2}) = t^{-3}(1-\ln t) + t^{-3}\ln t = t^{-3}\]

Since $W(t) = t^{-3} \neq 0$ for all $t > 0$, they form a fundamental set.

\[\boxed{\text{Yes. } W = t^{-3} \neq 0 \text{ for } t > 0 \implies \text{fundamental set}}\]

8.

Suppose $y_1(t) = t^{-2}$ is a solution of $t^2y'' + 5ty' + 4y = 0$, $t > 0$. Find a second linearly independent solution.

Put in standard form: $y'' + \dfrac{5}{t}\,y' + \dfrac{4}{t^2}\,y = 0$, so $p(t) = 5/t$.

Set $y = u(t)\cdot t^{-2}$. Substituting and simplifying (the $u$-terms cancel), we obtain:

\[u'' + \dfrac{1}{t}\,u' = 0\]

Let $w = u'$: $w' + \dfrac{1}{t}\,w = 0$. Separating: $\dfrac{dw}{w} = -\dfrac{dt}{t}$, so $w = A/t$.

Integrating: $u = A\ln t$. Taking $A = 1$:

\[\boxed{y_2(t) = t^{-2}\ln t}\]

9.

Given that $y_1(t) = e^{t}$ is a solution of $ty'' - (t+1)y' + y = 0$, $t > 0$, use reduction of order to find a second linearly independent solution.

Standard form: $y'' - \dfrac{t+1}{t}\,y' + \dfrac{1}{t}\,y = 0$.

Set $y = u(t)\,e^{t}$. Then $y' = (u' + u)e^t$ and $y'' = (u'' + 2u' + u)e^t$. Substituting and dividing by $e^t$:

\[t(u'' + 2u' + u) - (t+1)(u' + u) + u = 0\]

Expanding: $tu'' + 2tu' + tu - tu' - tu - u' - u + u = 0$, which simplifies to:

\[tu'' + (t - 1)\,u' = 0\]

Let $w = u'$: $tw' + (t-1)w = 0$, i.e., $w' = \left(\dfrac{1}{t} - 1\right)w$.

Separating: $\ln|w| = \ln t - t + C$, so $w = Ate^{-t}$.

Integrating by parts: $u = A\displaystyle\int te^{-t}\,dt = A[-(t+1)e^{-t}]$.

Taking $A = -1$: $u = (t+1)e^{-t}$, so:

\[\boxed{y_2(t) = u \cdot e^t = (t+1)e^{-t}\cdot e^{t} = t + 1}\]

10.

Given that $y_1(t) = t\sin t$ is a solution of $t^2y'' - 2ty' + (t^2 + 2)y = 0$, $t > 0$, use reduction of order to find a second linearly independent solution and write the general solution.

Set $y = u(t)\cdot t\sin t$. After substituting into the ODE and simplifying (e.g., using SymPy), the terms involving $u$ cancel and we obtain:

\[t^3\big[\sin(t)\,u'' + 2\cos(t)\,u'\big] = 0\]

Since $t > 0$, we need $\sin(t)\,u'' + 2\cos(t)\,u' = 0$.

Let $w = u'$: $\sin(t)\,w' + 2\cos(t)\,w = 0$. Separating:

\[\dfrac{dw}{w} = -2\cot t\,dt \implies \ln|w| = -2\ln|\sin t| + C \implies w = \dfrac{A}{\sin^2 t}\]

Integrating: $u = A\displaystyle\int \csc^2 t\,dt = -A\cot t$. Taking $A = -1$: $u = \cot t$.

Therefore $y_2 = \cot t \cdot t\sin t = t\cos t$.

\[\boxed{y_2(t) = t\cos t}\]
\[\boxed{y = c_1\,t\sin t + c_2\,t\cos t}\]

Mixed Practice

11.

Compute the Wronskian for each pair and determine whether they form a fundamental set of solutions for the given equation.

(a) $y_1 = e^{2t}$, $y_2 = te^{2t}$, for $y'' - 4y' + 4y = 0$.

$y_1' = 2e^{2t}$, $y_2' = (1 + 2t)e^{2t}$.

\[W = e^{2t}(1+2t)e^{2t} - te^{2t}\cdot 2e^{2t} = e^{4t}(1+2t-2t) = e^{4t}\]

$W = e^{4t} \neq 0$ for all $t$. The characteristic equation $(r-2)^2 = 0$ confirms $y_1, y_2$ are solutions. Yes, fundamental set.

(b) $y_1 = e^{3t}$, $y_2 = e^{-3t}$, for $y'' - 9y = 0$.

$y_1' = 3e^{3t}$, $y_2' = -3e^{-3t}$.

\[W = e^{3t}(-3e^{-3t}) - e^{-3t}(3e^{3t}) = -3 - 3 = -6\]

$W = -6 \neq 0$. The characteristic equation $r^2 - 9 = (r-3)(r+3) = 0$ confirms these are solutions. Yes, fundamental set.

\[\boxed{(a)\; W = e^{4t} \neq 0: \text{ Yes}; \quad (b)\; W = -6 \neq 0: \text{ Yes}}\]

12.

Find the general solution of $2y'' + y' - y = 0$.

Characteristic equation: $2r^2 + r - 1 = (2r - 1)(r + 1) = 0$, giving $r = \dfrac{1}{2}$ and $r = -1$.

\[\boxed{y = c_1 e^{t/2} + c_2 e^{-t}}\]

13.

Write the general solution given the characteristic roots: (a) $r = -2 \pm 5i$; (b) $r = 3$ (repeated); (c) $r = 0$ and $r = -7$.

(a) Complex roots $r = -2 \pm 5i$ (here $\lambda = -2$, $\mu = 5$):

\[\boxed{y = e^{-2t}(c_1\cos 5t + c_2\sin 5t)}\]

(b) Repeated real root $r = 3$:

\[\boxed{y = c_1 e^{3t} + c_2\,te^{3t}}\]

(c) Distinct real roots $r = 0$ and $r = -7$:

\[\boxed{y = c_1 + c_2 e^{-7t}}\]

14.

Find the general solution of $y'' + 2y' + 5y = 0$ and describe the long-term behavior as $t \to \infty$.

Characteristic equation: $r^2 + 2r + 5 = 0$.

\[r = \dfrac{-2 \pm \sqrt{4-20}}{2} = -1 \pm 2i\]

General solution:

\[y = e^{-t}(c_1\cos 2t + c_2\sin 2t)\]

The factor $e^{-t} \to 0$ as $t \to \infty$, while $\cos 2t$ and $\sin 2t$ remain bounded. Therefore all solutions exhibit decaying oscillations and approach zero.

\[\boxed{y = e^{-t}(c_1\cos 2t + c_2\sin 2t); \quad y(t) \to 0 \text{ as } t \to \infty}\]

15.

Solve the initial value problem $y'' + 9y = 0$, $y(0) = 1$, $y'(0) = -6$. Describe the behavior as $t \to \infty$.

Characteristic equation: $r^2 + 9 = 0$, giving $r = \pm 3i$ (purely imaginary roots).

General solution: $y = c_1\cos 3t + c_2\sin 3t$.

$y(0) = c_1 = 1$.

$y'(t) = -3c_1\sin 3t + 3c_2\cos 3t$, so $y'(0) = 3c_2 = -6$, giving $c_2 = -2$.

The solution is purely oscillatory: there is no exponential factor, so it neither grows nor decays. The solution oscillates forever with constant amplitude.

\[\boxed{y(t) = \cos 3t - 2\sin 3t; \quad \text{oscillates (neither grows nor decays)}}\]

Additional Problems

16.

Solve the IVP $y'' + 6y' + 25y = 0$, $y(0) = 2$, $y'(0) = -2$ and express the solution in amplitude-phase form $y(t) = Re^{\lambda t}\cos(\mu t - \delta)$.

Characteristic equation: $r^2 + 6r + 25 = 0$, giving $r = -3 \pm 4i$.

General solution: $y = e^{-3t}(c_1\cos 4t + c_2\sin 4t)$.

$y(0) = c_1 = 2$.

$y'(0) = -3c_1 + 4c_2 = -6 + 4c_2 = -2$, so $c_2 = 1$.

\[y = e^{-3t}(2\cos 4t + \sin 4t)\]

Amplitude-phase form: We write $c_1\cos\theta + c_2\sin\theta = R\cos(\theta - \delta)$ where $R = \sqrt{c_1^2 + c_2^2}$ and $\tan\delta = c_2/c_1$.

\[R = \sqrt{4 + 1} = \sqrt{5}, \quad \delta = \arctan\!\left(\dfrac{1}{2}\right)\]
\[\boxed{y(t) = \sqrt{5}\;e^{-3t}\cos\!\big(4t - \arctan(\tfrac{1}{2})\big)}\]

17.

Let $y_1, y_2$ solve $y'' + p(t)y' + q(t)y = 0$ with $p, q$ continuous. (a) Compute $W(0)$ given $y_1(0)=1$, $y_1'(0)=0$, $y_2(0)=0$, $y_2'(0)=1$. (b) Can $y_1$ and $y_2$ both be zero at the same $t_0$? (c) If $W(t_0)=0$ for some $t_0$, what follows?

(a)

\[W(0) = y_1(0)\,y_2'(0) - y_2(0)\,y_1'(0) = (1)(1) - (0)(0) = 1\]

(b) Suppose $y_1(t_0) = y_2(t_0) = 0$ for some $t_0$. Then:

\[W(t_0) = y_1(t_0)\,y_2'(t_0) - y_2(t_0)\,y_1'(t_0) = 0\cdot y_2'(t_0) - 0\cdot y_1'(t_0) = 0\]

By Abel's Theorem, $W$ is either identically zero or never zero on any interval where $p$ and $q$ are continuous. If $y_1, y_2$ form a fundamental set, then $W \neq 0$ everywhere. So no, two members of a fundamental set cannot both be zero at the same point.

(c) If $W(t_0) = 0$ for some $t_0$ in the interval, then by Abel's Theorem $W(t) = 0$ for all $t$. This means $y_1$ and $y_2$ are linearly dependent, so they do not form a fundamental set.

\[\boxed{(a)\; W(0)=1; \;\; (b)\; \text{No}; \;\; (c)\; y_1, y_2 \text{ are linearly dependent}}\]

18.

For each equation, find the characteristic roots and describe the long-term behavior of solutions as $t \to \infty$.

(a) $y'' - y' - 6y = 0$: $r^2 - r - 6 = (r-3)(r+2) = 0$, so $r = 3, -2$.

Since $r = 3 > 0$, generic solutions grow exponentially.

(b) $y'' + 4y = 0$: $r^2 + 4 = 0$, so $r = \pm 2i$.

Pure imaginary roots: solutions oscillate with constant amplitude (neither grow nor decay).

(c) $y'' + 3y' = 0$: $r^2 + 3r = r(r+3) = 0$, so $r = 0, -3$.

$y = c_1 + c_2 e^{-3t}$. Solutions decay to a constant as $t \to \infty$.

(d) $y'' - 2y' + 10y = 0$: $r = 1 \pm 3i$.

Positive real part ($\lambda = 1$): solutions exhibit growing oscillations.

\[\boxed{(a)\;\text{grow};\;\; (b)\;\text{oscillate};\;\; (c)\;\text{decay to constant};\;\; (d)\;\text{growing oscillations}}\]

19.

The equation $t^2y'' - 3ty' + 4y = 0$, $t > 0$ has a fundamental set with $W(2) = 8$. Find $W(3)$ without solving.

Dividing by $t^2$ to get standard form: $y'' - \dfrac{3}{t}\,y' + \dfrac{4}{t^2}\,y = 0$, so $p(t) = -3/t$.

By Abel's Theorem:

\[W(t) = W(t_0)\exp\!\left(-\int_{t_0}^{t} p(s)\,ds\right)\]

Computing the integral with $t_0 = 2$:

\[-\int_2^t \left(-\dfrac{3}{s}\right)ds = \int_2^t \dfrac{3}{s}\,ds = 3\ln\!\left(\dfrac{t}{2}\right) = \ln\!\left(\dfrac{t}{2}\right)^3\]

Therefore:

\[W(t) = 8\cdot\left(\dfrac{t}{2}\right)^3 = \dfrac{t^3}{1}\]

Evaluating at $t = 3$:

\[\boxed{W(3) = 27}\]

20.

Suppose $y_1, y_2$ solve $y'' + 4y' - 5y = 0$ and $W(0) = 6$. Find $W(t)$ for all $t$.

The equation is already in standard form with $p(t) = 4$ (constant). By Abel's Theorem:

\[W(t) = W(0)\exp\!\left(-\int_0^t 4\,ds\right) = 6\,e^{-4t}\]

We can verify: the characteristic equation $r^2 + 4r - 5 = (r+5)(r-1) = 0$ gives $r = 1, -5$. With $y_1 = e^t, y_2 = e^{-5t}$:

\[W = e^t(-5e^{-5t}) - e^{-5t}(e^t) = -6e^{-4t}\]

This confirms the exponential form (the sign depends on the ordering of $y_1, y_2$).

\[\boxed{W(t) = 6\,e^{-4t}}\]