First-Order Linear Differential Equations

November 17

Professor Gilbert Strang gives an excellent explanation in this MIT OpenCourseWare lesson. If you are interested in differential equations, I highly recommend it.

Linearity

y′(x)+P(x)y(x)=Q(x)\begin{align} y^{\prime}(x) + P(x)y(x) = Q(x) \end{align}

We do not yet know how to solve a differential equation in this form, but suppose it could be written as:

μy′+μ′y=Q(x)\begin{align} \mu y^{\prime} + \mu ^{\prime}y = Q(x)\nonumber \end{align}

The product rule then gives:

μy′+μ′y=Q=ddx(μy)\begin{align} \mu y^{\prime} + \mu ^{\prime}y = Q = \frac{d}{dx}(\mu y)\nonumber \end{align}

Finally, integrate both sides and rearrange:

μy=∫Qdxy=1μ∫Qdx\begin{align} \mu y &= \int Q\mathbf{d}x\nonumber\\ y &= \frac{1}{\mu}\int Q\mathbf{d}x\nonumber \end{align}

Therefore, construct μ\mu so that μ′=μP\mu^{\prime} = \mu P, and solve the homogeneous equation for μ\mu:

μ′μ=Pln(μ)=∫Pdx+aμ=Ce∫Pdx\begin{align} \frac{\mu^{\prime}}{\mu} &= P\nonumber\\ ln(\mu) &= \int P\mathbf{d}x + a\nonumber\\ \mu &= Ce^{\int P\mathbf{d}x} \end{align}

Multiply both sides of (1)(1) by μ\mu, then integrate both sides:

μ(y′+Py)=μQμy′+μPy=μQμy′+μ′y=μQμy=∫μQdx+Cy=1μ(∫μQdx+C)\begin{align} \mu (y^{\prime}+Py) &= \mu Q\nonumber\\ \mu y^{\prime} + \mu Py &= \mu Q \nonumber\\ \mu y^{\prime} + \mu^{\prime}y &= \mu Q\nonumber\\ \mu y &= \int \mu Q \mathbf{d}x + C\nonumber\\ y &= \frac{1}{\mu} (\int \mu Q \mathbf{d}x + C) \end{align}

If the original equation is homogeneous, that is, Q(x)=0Q(x) = 0, then

yh=1μC\begin{align} y_h &= \frac{1}{\mu}C\nonumber \end{align}

If the original equation is nonhomogeneous, we can choose C=0C = 0 in particular, giving

yp=1μ∫μQdx\begin{align} y_p &= \frac{1}{\mu}\int \mu Q \mathbf{d}x\nonumber \end{align}

Looking at the two terms on either side of the plus sign in (3)(3), we can see that the general solution to a first-order linear differential equation consists of the homogeneous solution and a particular solution: y=yp+yhy = y_p + y_h.

Separable Equations

Homogeneous Equations

...