Skip to content
GRE Math overview

Public topic · GRE Math

First- and Second-Order Differential Equations

A free GRE Mathematics note on classifying an ODE, separable equations, the integrating factor for first-order linear equations, and the three characteristic-root cases for constant-coefficient second-order equations.

Concise answer

Exam differential equations are won at the classification step. First order splits into separable (integrate both sides after separating) and linear (multiply by epe^{\int p} so the left side becomes a product derivative). Second order with constant coefficients is decided entirely by the characteristic roots, and the three root cases — distinct real, repeated, complex conjugate — carry three fixed solution shapes.

Definitions

Order
The order of the highest derivative appearing in the equation. A general solution of an nnth-order equation carries nn arbitrary constants.
Linear equation
An equation in which yy and its derivatives appear only to the first power and are not multiplied together, such as y+p(x)y+q(x)y=f(x)y'' + p(x)y' + q(x)y = f(x).
Separable equation
A first-order equation that can be written dydx=g(x)h(y)\dfrac{dy}{dx} = g(x)h(y), so that dyh(y)=g(x)dx\dfrac{dy}{h(y)} = g(x)\,dx can be integrated term by term.
Integrating factor
The multiplier μ(x)=ep(x)dx\mu(x) = e^{\int p(x)\,dx} that turns y+p(x)yy' + p(x)y into ddx[μ(x)y]/μ(x)\dfrac{d}{dx}\left[\mu(x)y\right] / \mu(x), making the equation directly integrable.
Characteristic equation
The polynomial ar2+br+c=0ar^2 + br + c = 0 obtained by substituting y=erxy = e^{rx} into ay+by+cy=0ay'' + by' + cy = 0; its roots determine the solution shape.
Initial-value problem
A differential equation together with values of yy (and, for second order, yy') at one point, which fixes the arbitrary constants.

Intuition

The integrating factor is not a trick to memorise but a reverse product rule. You want the left side of y+py=qy' + p y = q to be the derivative of something; multiplying by μ\mu gives μy+μpy\mu y' + \mu p y, which is (μy)(\mu y)' precisely when μ=pμ\mu' = p\mu — and that little equation is separable, with solution μ=ep\mu = e^{\int p}.

The characteristic equation appears because erxe^{rx} turns differentiation into multiplication by rr. Complex roots are not a separate world: e(α+iβ)x=eαx(cosβx+isinβx)e^{(\alpha + i\beta)x} = e^{\alpha x}(\cos \beta x + i \sin \beta x), so the real and imaginary parts give the real solution pair, with α\alpha controlling growth or decay and β\beta controlling oscillation frequency.

Concept walkthrough

Classification comes first. Read off the order, then ask whether the equation is linear. A first-order equation that factors as dydx=g(x)h(y)\dfrac{dy}{dx} = g(x)h(y) is separable: divide by h(y)h(y), multiply by dxdx, integrate both sides, and remember that dividing by h(y)h(y) can discard the constant solutions where h(y)=0h(y) = 0. A first-order equation in the form y+p(x)y=q(x)y' + p(x)y = q(x) is linear: multiply by μ(x)=epdx\mu(x) = e^{\int p\,dx}, recognise the left side as (μy)(\mu y)', integrate once, and divide by μ\mu. Some equations are both, and either route works.

For ay+by+cy=0ay'' + by' + cy = 0 with constant coefficients, substitute y=erxy = e^{rx} and solve ar2+br+c=0ar^2 + br + c = 0. Distinct real roots r1r2r_1 \neq r_2 give y=c1er1x+c2er2xy = c_1 e^{r_1 x} + c_2 e^{r_2 x}. A repeated root rr gives y=(c1+c2x)erxy = (c_1 + c_2 x)e^{rx} — the factor of xx is required because the two roots collapsed and a second independent solution is still needed. Complex conjugate roots α±βi\alpha \pm \beta i give y=eαx(c1cosβx+c2sinβx)y = e^{\alpha x}\left(c_1 \cos \beta x + c_2 \sin \beta x\right). Every constant-coefficient homogeneous item on the exam is one of these three lines.

Nonhomogeneous equations use superposition: the general solution is y=yp+yhy = y_p + y_h, a particular solution plus the general homogeneous solution. Undetermined coefficients guesses ypy_p with the same shape as the forcing term — a polynomial for a polynomial, AekxAe^{kx} for an exponential, Acosωx+BsinωxA\cos \omega x + B \sin \omega x for a sinusoid — and always includes the full family, so a forcing term ekxe^{kx} needs the trial AekxAe^{kx} and a forcing term sinωx\sin \omega x needs both sine and cosine. If the trial function already solves the homogeneous equation, multiply it by xx (or x2x^2 for a repeated root) before solving for the coefficients.

After this page, you should be able to

  • Classify an equation by order and linearity, and choose separation or an integrating factor for a first-order problem.
  • Solve a first-order linear equation with the integrating factor and impose an initial condition.
  • Write the general solution of ay+by+cy=0ay'' + by' + cy = 0 from the characteristic roots in all three cases.
  • Recognise a repeated root and supply the missing xerxx e^{rx} solution rather than a second copy of erxe^{rx}.
  • Set up a particular solution by undetermined coefficients and detect when resonance forces an extra factor of xx.

Formulas and assumptions

Integrating factor for a first-order linear equation

μ(x)=ep(x)dx,y=1μ(x)(μ(x)q(x)dx+C)\mu(x) = e^{\int p(x)\,dx}, \qquad y = \frac{1}{\mu(x)}\left( \int \mu(x) q(x)\,dx + C \right)

Variables

  • p(x): the coefficient of y after the equation is written in standard form
  • q(x): the forcing term
  • C: the constant of integration

Assumptions

  • The equation is first written in standard form with coefficient 1 on y'.
  • p and q are continuous on the interval of interest.

Separable equation

dydx=g(x)h(y)    dyh(y)=g(x)dx\frac{dy}{dx} = g(x)h(y) \;\Longrightarrow\; \int \frac{dy}{h(y)} = \int g(x)\,dx

Variables

  • g(x): the x-only factor
  • h(y): the y-only factor

Assumptions

  • h(y) is nonzero on the interval used; each root of h gives a constant solution that separation drops.

Characteristic equation, three cases

ar2+br+c=0    y={c1er1x+c2er2x,r1r2 real(c1+c2x)erx,repeated reαx(c1cosβx+c2sinβx),r=α±βiar^{2} + br + c = 0 \;\Rightarrow\; y = \begin{cases} c_1 e^{r_1 x} + c_2 e^{r_2 x}, & r_1 \neq r_2 \text{ real} \\ (c_1 + c_2 x)e^{rx}, & \text{repeated } r \\ e^{\alpha x}\left(c_1 \cos \beta x + c_2 \sin \beta x\right), & r = \alpha \pm \beta i \end{cases}

Variables

  • a, b, c: the constant coefficients
  • r: a root of the characteristic polynomial
  • alpha, beta: the real and imaginary parts of a complex root

Assumptions

  • The coefficients are constants and a is nonzero.
  • The equation is homogeneous; a forcing term needs a particular solution added.

Worked example

A first-order linear initial-value problem

Solve y+2xy=x\displaystyle y' + \frac{2}{x}\,y = x for x>0x > 0 with y(1)=1y(1) = 1.

  1. 1The equation is already in standard form y+p(x)y=q(x)y' + p(x)y = q(x) with p(x)=2xp(x) = \dfrac{2}{x} and q(x)=xq(x) = x, so it is first-order linear and the integrating factor applies.
  2. 2Compute μ(x)=e(2/x)dx=e2lnx=x2\mu(x) = e^{\int (2/x)\,dx} = e^{2\ln x} = x^{2} for x>0x > 0.
  3. 3Multiply through: x2y+2xy=x3x^{2}y' + 2xy = x^{3}, and the left side is exactly ddx(x2y)\dfrac{d}{dx}\left(x^{2}y\right).
  4. 4Integrate: x2y=x44+Cx^{2}y = \dfrac{x^{4}}{4} + C, so y=x24+Cx2y = \dfrac{x^{2}}{4} + \dfrac{C}{x^{2}}.
  5. 5Impose y(1)=1y(1) = 1: 14+C=1\dfrac{1}{4} + C = 1, so C=34C = \dfrac{3}{4}.
  6. 6Check by substitution: with y=x24+34x2y = \dfrac{x^{2}}{4} + \dfrac{3}{4x^{2}} we get y=x232x3y' = \dfrac{x}{2} - \dfrac{3}{2x^{3}}, and y+2xy=x232x3+x2+32x3=xy' + \dfrac{2}{x}y = \dfrac{x}{2} - \dfrac{3}{2x^{3}} + \dfrac{x}{2} + \dfrac{3}{2x^{3}} = x.

y=x24+34x2y = \dfrac{x^{2}}{4} + \dfrac{3}{4x^{2}} for x>0x > 0.

Common traps

  • Forgetting to divide by the leading coefficient before reading off p(x)p(x); the integrating factor is built from the standard form only.
  • Writing a repeated root as c1erx+c2erxc_1 e^{rx} + c_2 e^{rx}, which is a single solution with a renamed constant — the second independent solution is xerxx e^{rx}.
  • Mishandling a negative discriminant: 36\sqrt{-36} is 6i6i, so the roots of r24r+13r^2 - 4r + 13 are 2±3i2 \pm 3i, not 2±32 \pm 3.
  • Losing constant solutions when separating: dividing by h(y)h(y) silently discards every yy with h(y)=0h(y) = 0.
  • Guessing only sinωx\sin \omega x for a sinusoidal forcing term, or omitting the extra factor of xx when the trial solution already solves the homogeneous equation.

Question depth and domain coverage vary by exam. Practice answers are checked after submission.

Sources

  1. GRE Subject Test Content and StructureETS. Accessed 2026-07-06. Use as a cited source for exam facts; do not imply affiliation or reproduce protected test material.
  2. Calculus Volume 2, Section 4.1: Basics of Differential EquationsOpenStax. Accessed 2026-08-15. OpenStax textbook content is CC BY-NC-SA 4.0; attribute and avoid verbatim reuse beyond short cited references.
  3. Calculus Volume 2, Section 4.3: Separable EquationsOpenStax. Accessed 2026-08-15. OpenStax textbook content is CC BY-NC-SA 4.0; attribute and avoid verbatim reuse beyond short cited references.
  4. Calculus Volume 2, Section 4.5: First-order Linear EquationsOpenStax. Accessed 2026-08-15. OpenStax textbook content is CC BY-NC-SA 4.0; attribute and avoid verbatim reuse beyond short cited references.
  5. Calculus Volume 3, Section 7.1: Second-Order Linear EquationsOpenStax. Accessed 2026-08-15. OpenStax textbook content is CC BY-NC-SA 4.0; attribute and avoid verbatim reuse beyond short cited references.
  6. Calculus Volume 3, Section 7.2: Nonhomogeneous Linear EquationsOpenStax. Accessed 2026-08-15. OpenStax textbook content is CC BY-NC-SA 4.0; attribute and avoid verbatim reuse beyond short cited references.

Sources and corrections

Sources last checked 2026-08-15

Every source cited on this page was checked on the date shown, and we update the page when a source changes. If something looks wrong, tell us and we'll recheck it.