Differential Equations: The Principle Map

Use this reference map to compare first-order ODEs, higher-order linear equations, systems and qualitative methods, transforms, and boundary methods across representational and transformational roles.

Expand

− 100% + Fit

Close

On this page

• Why Learn Differential Equations?
• Prerequisites
• The Principle Map
• Core Principles
• What’s Next?
• How This Fits in Unisium

Why Learn Differential Equations?

Differential equations are where rates of change stop being background calculus facts and become the main object of study. Instead of asking only how to differentiate or integrate an expression, you ask what family of functions can satisfy a rate law, what an initial condition selects, why one local rewrite is valid while another loses solutions, and how larger equation families behave across modeling, oscillation, systems, and transform methods.

That matters across STEM. Physics, chemistry, biology, quantitative economics, and many applied science courses all rely on differential equations because many systems are defined by how they change, not just by a static formula. A student who wants transfer to a typical bachelor-level course expects more than a small first-order slice. They expect first-order equations, higher-order linear equations, systems, qualitative methods, transforms, and boundary-method ideas to all show up somewhere in the map.

The map helps you distinguish equation families, solution structure, local rewrites, qualitative relations, and transform tools. It also keeps broad method labels separate from the smaller principles that justify each mathematical step.

Prerequisites

Mathematics:

• Algebra fluency: equation manipulation, constants, and symbolic cleanup
• Functions fluency: function notation, parameters, and exponential families
• Calculus fluency: derivatives, antiderivatives, and the product rule

Prior Subdomains:

• Algebra
• Functions
• Calculus

Differential Equations is not a foundation subdomain. This map assumes you can already differentiate explicit expressions, read a function family, and handle ordinary algebraic cleanup once a differential-equation-specific step has been made.

The Principle Map

The map organizes Differential Equations along two axes:

X-axis (Differential-equation family):

• First-order ODEs - the standard first-order object, solution grammar, and common first-order families such as separable, autonomous, homogeneous, linear, logistic, and exact equations
• Higher-order linear - second-order linear structure, characteristic roots, homogeneous and nonhomogeneous solution structure, and standard forcing-family machinery
• Systems & qualitative - direction fields, Euler’s method, first-order linear systems, equilibria, eigenmodes, matrix exponentials, and linearization
• Transforms & BVPs - Laplace transforms, boundary-value problem structure, eigenvalue boundary problems, and Fourier-mode expansion

Y-axis (What the principle does):

• Represent - declare an object, relation, family, or model
• Transform - justify a local rewrite used with a differential equation

Progression numbers provide one recommended route through the 47 principles. They do not claim that every course teaches differential equations in exactly this order.

Scope: This guide focuses on equation and solution structure rather than external response-system analysis. Physical laws and models that use differential equations belong in their relevant science subjects. Laplace transform identities, delayed forcing, and convolution appear here as mathematical transform or forcing tools. Transfer functions, poles, gain and phase, sinusoidal steady-state response, and frequency-response workflows belong in later systems or engineering study.

Why the map uses these axes

The row split separates principles that represent an object or relation from principles that justify a local transformation.

The columns follow course families that are easier to recognize at a glance than abstract labels such as linear structure or solution structure, which overlap across much of the subject.

The resulting structure is concrete: first-order equations, higher-order linear equations, systems and qualitative methods, and transform or boundary-method lanes.

These columns make the introductory mathematical core readable while leaving room for later topics such as rigorous existence theory, nonlinear dynamics, and PDE methods.

The represent row is denser than the transform row because many differential-equation workflows rely on transformations already learned in Algebra or Calculus. The map keeps those prerequisites visible without listing the same general-purpose transformations again.

Core Principles

The tables contain all 47 principles in the map.

Conditions tell you when a principle applies. They are intentionally concise here. Think of them as the main assumptions that separate a valid DE step from a tempting but invalid move.

First-Order ODEs (P1-15)

Principle	Equation	Condition
First-Order Explicit Differential Equation Form	$y^{\prime}=F(x,y)$	unknown function $y$; working interval stated or implied
Differential Equation Solution Condition	$\phi^{\prime}(x)=F(x,\phi(x))$	candidate function differentiable; substitution valid on working interval
General Solution Family Parameter	$y=\phi(x;C)$	$C=\mathrm{const}$; each admissible $C$ gives a solution
Initial Condition Particular Solution	$y(x_0)=y_0,\ y=\phi(x;C) \Rightarrow \phi(x_0;C)=y_0$	solution family known; initial point in working interval
Separable Equation Product Form	$y^{\prime}=g(x)h(y)$	first-order explicit form; factors defined on working region
Separable Variable Separation Rewrite	$y^{\prime}=g(x)h(y) \Rightarrow \frac{1}{h(y)}\,dy=g(x)\,dx$	$h(y)\neq 0$; separable product form; equilibrium branch handled separately
Scalar Equilibrium Solution Condition	$y^{\prime}=F(x,y),\ F(x,y_*)=0 \Rightarrow y(x)=y_*$	$y_*=\mathrm{const}$; right-hand side vanishes for $y=y_*$ on the working interval
Autonomous Differential Equation Form	$y^{\prime}=f(y)$	first-order explicit form
Homogeneous First-Order Equation Form	$y^{\prime}=F\!\left(\frac{y}{x}\right)$	$x\neq 0$ on working interval
Homogeneous First-Order Reduction	$y^{\prime}=F(y/x),\ y=vx \Rightarrow xv^{\prime}=F(v)-v$	homogeneous first-order form $y^{\prime}=F(y/x)$; $x\neq 0$ on working interval
First-Order Linear Standard Form	$y^{\prime}+p(x)y=q(x)$	$p$ and $q$ known on working interval
Integrating Factor Definition	$\mu^{\prime}=p\mu,\ \mu(x)=e^{\int p(x)\,dx}$	first-order linear standard form; $p$ integrable on working interval
Integrating Factor Product Derivative	$\mu^{\prime}=p\mu \Rightarrow \mu y^{\prime}+p\mu y=(\mu y)^{\prime}$	$y$ and $\mu$ differentiable; $\mu^{\prime}=p\mu$
Logistic Differential Model	$y^{\prime}=ky\left(1-\frac{y}{L}\right)$	$k,L=\mathrm{const}$; $L\neq 0$
Exact Equation Potential Relation	$M(x,y)\,dx+N(x,y)\,dy=0,\ M=\Psi_x,\ N=\Psi_y \Rightarrow \Psi(x,y)=C$	$M$ and $N$ are $C^1$ on the working region; exactness criterion verified

This is the broadest column because most bachelor-level courses begin here. It contains the object-and-solution grammar, the standard first-order families, and a few reusable first-order rewrites. It is broad on purpose: introductory courses repeatedly use first-order equations as the front door to the subject.

Broad textbook methods are broken into smaller reusable ideas: equation forms, solution relations, a scalar-equilibrium condition, and the local rewrites that justify important steps. This makes it easier to see what must be recognized, what may be transformed, and what still requires a longer solution strategy.

The first-order transform group is intentionally narrower than the surrounding textbook methods. Generic substitution and product-rule work remain prerequisites from Algebra and Calculus. The transformations shown here are specific to differential equations, such as homogeneous reduction and exact-equation-to-potential rewriting.

Separable, autonomous, and logistic equilibria are examples of the same transferable principle: a constant solution occurs when the right-hand side vanishes at that constant value.

Higher-Order Linear (P16-25, P39-40)

Principle	Equation	Condition
Second-Order Linear Standard Form	$a_2(x)y^{\prime\prime}+a_1(x)y^{\prime}+a_0(x)y=g(x)$	$a_2(x)\neq 0$ on working interval
Second-Order Linear Constant-Coefficient Form	$ay^{\prime\prime}+by^{\prime}+cy=g(x)$	$a,b,c=\mathrm{const}$; $a\neq 0$
Linear Homogeneous Superposition	$L[y_1]=0,\ L[y_2]=0 \Rightarrow L[c_1y_1+c_2y_2]=0$	same linear homogeneous equation; $c_1,c_2=\mathrm{const}$
Linear Nonhomogeneous Solution Structure	$L[y]=g \Rightarrow y=y_h+y_p$	$L[y_h]=0$ and $L[y_p]=g$ for the same linear operator
Characteristic Equation Relation	$ay^{\prime\prime}+by^{\prime}+cy=0,\ y=e^{rx} \Rightarrow ar^2+br+c=0$	second-order linear constant-coefficient homogeneous form
Distinct Real Roots Solution Family	$r_1\neq r_2 \Rightarrow y=C_1e^{r_1x}+C_2e^{r_2x}$	characteristic equation has distinct real roots
Repeated Root Solution Family	$r\ \text{repeated} \Rightarrow y=(C_1+C_2x)e^{rx}$	characteristic equation has repeated root $r$
Complex Roots Solution Family	$r=\alpha\pm i\beta \Rightarrow y=e^{\alpha x}(C_1\cos \beta x+C_2\sin \beta x)$	characteristic equation has roots $\alpha\pm i\beta$, $\beta\neq 0$
Undetermined Coefficients Trial Family	$g(x)=P_n(x)e^{\alpha x}\cos(\beta x) \Rightarrow y_p^{trial}=e^{\alpha x}(Q_n(x)\cos(\beta x)+R_n(x)\sin(\beta x))$	constant-coefficient linear equation; standard forcing family; nonresonant case
Resonance Modified Trial Factor	$y_p^{trial}\mapsto x^s y_p^{trial}$	trial family overlaps homogeneous family; known overlap multiplicity $s$
Fundamental Solution Set General Form	$\{y_1,y_2\}\ \mathrm{fundamental} \Rightarrow y_h=C_1y_1+C_2y_2$	second-order linear homogeneous equation; independent solution pair
Variation Of Parameters Particular Solution	$y_p=-y_1\int \frac{y_2g}{W}\,dx+y_2\int \frac{y_1g}{W}\,dx$	normalized $y^{\prime\prime}+P(x)y^{\prime}+Q(x)y=g(x)$; pair known; $W\neq 0$

This is where the map expands into the core of a bachelor-level introductory course. Second-order linear structure, characteristic roots, homogeneous and nonhomogeneous solution relations, fundamental solution sets, variation of parameters, and standard forcing families are central topics.

These two principles isolate reusable parts of the undetermined-coefficients method: choosing a trial family and modifying it when that family overlaps the homogeneous solution.

Resonance Modified Trial Factor focuses on the repair transform $y_p^{trial}\mapsto x^s y_p^{trial}$ once the overlap multiplicity $s$ is known. Choosing the minimal $s$ is a separate selection step explained in the principle guide.

Systems & Qualitative (P26-32, P41-42)

Principle	Equation	Condition
Direction Field Slope Relation	$y^{\prime}=F(x,y) \Rightarrow \text{slope}(x_0,y_0)=F(x_0,y_0)$	point lies in the domain of $F$
Euler Method Step	$y_{n+1}=y_n+hF(x_n,y_n)$	step size $h$ chosen; local slope evaluated at $(x_n,y_n)$
First-Order Linear System Form	$\mathbf{x}^{\prime}=A(t)\mathbf{x}+\mathbf{f}(t)$	matrix and forcing vector defined on working interval
Eigenvalue-Eigenvector Solution Mode	$Av=\lambda v \Rightarrow \mathbf{x}(t)=e^{\lambda t}v$	constant-coefficient homogeneous system; $Av=\lambda v$
Matrix Exponential Solution Form	$\mathbf{x}^{\prime}=A\mathbf{x} \Rightarrow \mathbf{x}(t)=e^{At}\mathbf{c}$	constant matrix $A$; homogeneous linear system
System Equilibrium Condition	$\mathbf{x}^{\prime}=\mathbf{F}(\mathbf{x}),\ \mathbf{F}(\mathbf{x}_*)=\mathbf{0} \Rightarrow \mathbf{x}(t)=\mathbf{x}_*$	autonomous system; $\mathbf{x}_*=\mathrm{const}$
Equilibrium Jacobian Linearization	$\mathbf{x}^{\prime}=\mathbf{F}(\mathbf{x}),\ \mathbf{x}=\mathbf{x}_*+\mathbf{u},\ \mathbf{F}(\mathbf{x}_*)=\mathbf{0} \Rightarrow \mathbf{u}^{\prime}\approx J_F(\mathbf{x}_*)\mathbf{u}$	$F$ differentiable near equilibrium $\mathbf{x}_*$; $\mathbf{F}(\mathbf{x}_*)=\mathbf{0}$
Nonhomogeneous Linear System Solution Structure	$\mathbf{x}=\mathbf{x}_h+\mathbf{x}_p$	homogeneous system solution plus particular system solution
System Variation Of Constants Formula	$\mathbf{x}(t)=\Phi(t)\left(\mathbf{c}+\int \Phi(\tau)^{-1}\mathbf{f}(\tau)\,d\tau\right)$	$\mathbf{x}^{\prime}=A\mathbf{x}+\mathbf{f}$; $\Phi^{\prime}=A\Phi$; $\Phi$ invertible

Many bachelor-level courses treat qualitative and systems material as an ordinary part of the same course, not as an optional appendix. This map therefore includes local slope interpretation, Euler stepping, system form, equilibrium structure, nonhomogeneous system structure, and standard matrix-solution relations.

This block stops short of a full stability-classification or chaos taxonomy, which belongs in a later qualitative-dynamics course. Equilibrium Jacobian Linearization is deliberately local and approximate: it describes behavior near an equilibrium rather than claiming an exact global rewrite.

Transforms & BVPs (P33-38, P43-47)

Principle	Equation	Condition
Laplace Transform Definition	$\mathcal{L}\{f(t)\}=\int_0^{\infty}e^{-st}f(t)\,dt$	transform exists for the working function on $t\geq 0$
Laplace Derivative Transform	$\mathcal{L}\{y^{\prime}(t)\}=sY(s)-y(0)$	$y$ and $y^{\prime}$ piecewise continuous; transform exists
Laplace Second-Derivative Transform	$\mathcal{L}\{y^{\prime\prime}(t)\}=s^2Y(s)-sy(0)-y^{\prime}(0)$	$y$, $y^{\prime}$, and $y^{\prime\prime}$ piecewise continuous; transform exists
Boundary Value Problem Form	$L[y]=g,\ y(a)=\alpha,\ y(b)=\beta$	interval endpoints fixed; boundary data specified
Eigenvalue Boundary-Condition Problem	$L[y]=\lambda y,\ B[y]=0$	homogeneous boundary conditions; nontrivial solution sought
Fourier Series Mode Expansion	$f(x)=\frac{a_0}{2}+\sum_{n=1}^{\infty}\left(a_n\cos\frac{n\pi x}{L}+b_n\sin\frac{n\pi x}{L}\right)$	interval and mode basis fixed; expansion exists in the working sense
Inverse Laplace Transform Relation	$Y(s)=\mathcal{L}\{y(t)\} \Rightarrow y(t)=\mathcal{L}^{-1}\{Y(s)\}$	transform-domain solution known; inverse transform exists
Laplace Frequency-Shift Transform	$\mathcal{L}\{e^{at}f(t)\}=F(s-a)$	$F(s)=\mathcal{L}\{f(t)\}$; shifted transform exists
Laplace Time-Shift Transform	$\mathcal{L}\{u(t-a)f(t-a)\}=e^{-as}F(s)$	$a>0$; delayed forcing defined for $t\geq a$
Unit Step Forcing Representation	$f(t)=f_0(t)+\left(f_1(t)-f_0(t)\right)u(t-a)$	two-piece forcing; switch time $a$ fixed
Laplace Convolution Theorem	$\mathcal{L}\{(f*g)(t)\}=F(s)G(s)$	$F(s)=\mathcal{L}\{f(t)\}$; $G(s)=\mathcal{L}\{g(t)\}$; convolution defined

Representative intro courses regularly pull Laplace and boundary-method material into the same course, even when PDE theory itself is deferred. This block makes that visible without pretending that the whole subdomain has already become a full PDE course.

It is also the most mixed block. Some of these principles sit closer to transform analysis than to pure ODE grammar, but bachelor-level courses commonly teach them together. The transform identities belong here when they help represent or solve differential equations; external response-system analysis remains outside this guide’s scope.

Where to Go Next

Use the linked principle guides to move from the map to worked examples and retrieval practice. A practical sequence is:

1. Start with the first-order lane, where most courses teach the object, solution grammar, and first major family split (P1-15).
2. Move to higher-order linear equations, where characteristic roots, superposition, fundamental solution sets, variation of parameters, and standard forcing families become central (P16-25 and P39-40).
3. Add systems and qualitative methods so the subject expands beyond closed-form scalar equations (P26-32 and P41-42).
4. Finish with transforms and boundary methods, which many introductory courses include before a fuller PDE sequence (P33-38 and P43-47).

Topics best learned through explanations, examples, and diagrams:

• first-order existence and uniqueness
• phase-line and phase-plane interpretation
• linear system equilibrium classification
• eigenvalue-based stability classification
• phase portrait behavior

These topics are important for university differential equations, but they are broader interpretive skills rather than single reusable equation rules.

Later Differential Equations additions:

• rigorous existence and uniqueness theory as a larger theorem lane
• Green’s functions and adjoint methods
• Sturm-Liouville and fuller eigenfunction theory
• Frobenius and power-series methods
• nonlinear dynamics beyond equilibrium basics: bifurcation, limit cycles, chaos
• PDE-specific families and full separation-of-variables lanes rather than only boundary-method echoes

Related topics outside this guide’s scope:

• Runge-Kutta and broader numerical ODE algorithms
• transfer functions, poles, gain/phase, sinusoidal steady-state response, and frequency-response workflows
• RC/RL/RLC circuit result formulas as physical or circuit relations
• physics-specific laws and models such as SHM as physical model statements

How This Fits in Unisium

This map connects each principle to the broader Differential Equations structure. It keeps method labels, warnings, and decision steps visible alongside the equations. Use the map to locate the family or transformation you need, then use its guide to learn the conditions, examples, and common failure modes.

Masterful Learning

The book behind these guides: a study system for physics, math, & programming built on retrieval, connection, explanation, and problem solving.

About the book →