Mathematics · Glossary

What is differential equation first-order linear?

Definition 5.1 University Mathematics — Year 1 · Chapter 5 — Linear Differential Equations

Let II be an interval and a,b ⁣:IRa, b \colon I \to \R (or C\C) be continuous. The equation

(E) ⁣:y+a(x)y=b(x),(E)\colon\quad y' + a(x)\,y = b(x),

in the unknown differentiable function y ⁣:IRy \colon I \to \R (or C\C), is a first-order linear differential equation. The equation (H) ⁣:y+a(x)y=0(H)\colon y' + a(x) y = 0 is its homogeneous equation.

Examples

Example 5.3 (A homogeneous equation with variable coefficient)

Solve y+(cosx)y=0y' + (\cos x)\,y = 0 on R\R. A primitive of a(x)=cosxa(x) = \cos x is A(x)=sinxA(x) = \sin x, so the solutions are

y(x)=λesinx,λR.y(x) = \lambda\,\eu^{-\sin x}, \qquad \lambda \in \R .

Two readings. Every solution is periodic (period 2π2\pi) and never vanishes unless λ=0\lambda = 0 — the sign of λ\lambda is the sign of yy forever, since an exponential cannot cross zero. And the solution through y(0)=y0y(0) = y_0 is y0esinxy_0\eu^{-\sin x}: exactly one curve of the family through each initial point, the one-dimensional picture of Theorem 5.4 (2).

Example 5.6 (Guessing beats integrating)

Solve y+2xy=xy' + 2x\,y = x on R\R. Variation of constants works (A=x2A = x^2, μ=xex2\mu' = x\,\eu^{x^2}, μ=12ex2+λ\mu = \frac12\eu^{x^2} + \lambda), but observing that the constant yp=12y_p = \frac12 solves the equation (0+2x12=x0 + 2x\cdot\frac12 = x) is faster. With the homogeneous solutions λex2\lambda\,\eu^{-x^2}:

y(x)=12+λex2,λR.y(x) = \frac12 + \lambda\,\eu^{-x^2}, \qquad \lambda \in \R .

Every solution converges to 12\frac12 extremely fast as x±x \to \pm\infty: the constant particular solution is an equilibrium that all solutions join. The insight: before launching the general method, spend ten seconds looking for an obvious particular solution (constant, monomial, multiple of the right-hand side); the structure theorem then finishes the job.

Example 5.8 (A complex right-hand side, two real answers)

Solve yy=cosxy' - y = \cos x and yy=sinxy' - y = \sin x in one stroke. Work in C\C with the right-hand side eix\eu^{\iu x}: trying yp=ceixy_p = c\,\eu^{\iu x} gives c(i1)eix=eixc(\iu - 1)\eu^{\iu x} = \eu^{\iu x}, so

c=1i1=1i2,yp=(1+i)(cosx+isinx)2=sinxcosx2+isinxcosx2.c = \frac1{\iu - 1} = \frac{-1 - \iu}2, \qquad y_p = -\frac{(1 + \iu)(\cos x + \iu\sin x)}2 = \frac{\sin x - \cos x}2 + \iu\,\frac{-\sin x - \cos x}2 .

Since the equation has real coefficients, real and imaginary parts split: sinxcosx2\frac{\sin x - \cos x}2 solves yy=cosxy' - y = \cos x, and sinx+cosx2-\frac{\sin x + \cos x}2 solves yy=sinxy' - y = \sin x (check the first: derivative cosx+sinx2\frac{\cos x + \sin x}2, minus the function, gives cosx\cos x). One complex line replaced two runs of variation of constants — the same economy that Method 5.13 systematizes for second order, and a recurring dividend of Chapter 3.

Read in context →