FirstOrder Differential Equations and the Fundamental Theorem of Calculus
Differential equations and integral calculus are two pillars of analysis that often appear as independent topics in an introductory course. When they are examined together, a deeper understanding of how rates of change and accumulation interact emerges. This page gives a concise but thorough overview of firstorder differential equations, introduces the Fundamental Theorem of Calculus (FTC), and shows how the two ideas are linked.
FirstOrder Differential Equations
A differential equation is an equation that involves an unknown function and its derivatives. When the highest derivative that appears is the first derivative, the equation is called a firstorder differential equation. In its most common form it can be written as
dy/dx = f(x, y)
where f is a known function of the independent variable x and the dependent variable y. Solving the equation means finding a function y(x) that satisfies the equality for every x in an interval.
Types of FirstOrder Equations
- Separable equations: can be written as
g(y) dy = h(x) dx. Example:dy/dx = xydy/y = x dx. - Linear equations: of the form
dy/dx + P(x) y = Q(x). They are solved with an integrating factor(x)=e^{P(x)dx}. - Exact equations: satisfy
M/y = N/xforM(x,y)dx+N(x,y)dy=0. A potential function provides the solution. - Homogeneous equations: functions of the ratio
y/x. Substitutionv = y/xreduces them to a separable form.
Example: A Separable Equation
Consider the equation dy/dx = ycos x. Separate the variables:
dy/y = cos x dx
Integrate both sides:
(1/y) dy = cos x dx ln|y| = sin x + C
Exponentiate to solve for y:
y(x) = Ce^{sin x}, where C = e^{C} > 0 This family of curves satisfies the original differential equation.
Fundamental Theorem of Calculus
The Fundamental Theorem of Calculus connects two seemingly different operations: differentiation and integration. It has two complementary parts.
PartI The Antiderivative Form
If f is continuous on an interval [a, b], the function
F(x) = f(t) dt
is differentiable on (a, b) and satisfies F'(x) = f(x). In words: the derivative of the area function returns the original integrand.
PartII The Evaluation Form
If F is any antiderivative of f on [a, b] (that is, F' = f), then
f(x) dx = F(b) F(a)
Thus the definite integral can be computed simply by evaluating an antiderivative at the interval endpoints.
Why the Theorem Matters
- It reduces the problem of finding the total accumulation of a quantity to a straightforward subtraction.
- It guarantees that every continuous function possesses infinitely many antiderivatives differing by a constant.
- It provides the conceptual justification for many techniques in calculus, such as substitution and integration by parts.
Connecting FirstOrder ODEs and the FTC
The link between a firstorder differential equation and the Fundamental Theorem of Calculus is most transparent when the equation is separable. After separating variables and integrating both sides, the FTC is invoked to evaluate the integrals. The constant of integration that appears after applying PartI of the FTC encapsulates the family of solutions.
Even for linear equations, the integrating factor method relies on the FTC. One multiplies the original equation by an integrating factor (x) and rewrites the lefthand side as the derivative of a product:
d/dx [(x)y(x)] = (x)Q(x)
Integrating both sides from a to x and applying PartII of the FTC yields
(x)y(x) = (t)Q(t) dt + C
Solving for y finally gives the explicit solution.
Practical Example Linear ODE
Solve dy/dx + 2y = e^{-x} with the initial condition y(0)=1.
Integrating factor:
(x)=e^{2dx}=e^{2x} Multiply the equation:
d/dx [e^{2x}y] = e^{2x}e^{-x}=e^{x} Integrate from 0 to x (FTC, PartII):
e^{2x}y(x) - e^{0}y(0) = e^{t} dt = e^{x}-1 Insert the initial value y(0)=1 and solve for y:
e^{2x}y = e^{x} - 1 + 1 y(x) = e^{-x} In this example the FTC not only provides the antiderivative of e^t but also guarantees that the solution satisfies the original differential equation.
Takeaway Summary
- Firstorder differential equations describe relationships between a function and its first derivative; common types include separable, linear, exact, and homogeneous equations.
- The Fundamental Theorem of Calculus links differentiation and integration, giving a practical way to evaluate definite integrals and to construct antiderivatives.
- When solving firstorder ODEs, integrationperformed under the guidance of the FTCis the core step that translates a derivative relationship into an explicit formula for the unknown function.
- Understanding both topics together equips you to model and solve realworld problems, from population growth and cooling laws to electrical circuits and motion under variable forces.
