Overview
The Fundamental Theorem of Calculus (FTC) bridges two central operations in calculus: differentiation and integration. It establishes that integration can be reversed by differentiation and provides a method to evaluate definite integrals via antiderivatives. The theorem underpins the computational framework for integral calculus and connects analysis with geometric interpretation.
"The fundamental theorem of calculus links the concept of the derivative of a function with the concept of the integral." -- Isaac Newton and Gottfried Wilhelm Leibniz (historical attribution)
Statement of the Theorem
Two Parts
The Fundamental Theorem of Calculus consists of two complementary parts addressing different aspects of integration and differentiation.
Part 1 (First Fundamental Theorem)
Defines the derivative of the integral function as the original integrand under suitable continuity assumptions.
Part 2 (Second Fundamental Theorem)
Allows computation of definite integrals using antiderivatives, providing a practical evaluation formula.
First Part of the Fundamental Theorem
Definition
Let f be a continuous real-valued function on [a, b]. Define F(x) = ∫ax f(t) dt for x in [a, b]. Then F is differentiable and F'(x) = f(x).
Interpretation
Integration accumulates area; differentiation recovers the original function from its accumulated area.
Continuity Requirement
Continuity of f on [a, b] ensures F is differentiable everywhere in (a, b).
If f continuous on [a,b], thenF(x) = ∫_a^x f(t) dtimpliesF'(x) = f(x)for all x in (a,b). Second Part of the Fundamental Theorem
Definition
If f is continuous on [a, b] and F is any antiderivative of f on [a, b], then
∫_a^b f(x) dx = F(b) - F(a) Implication
Definite integrals can be evaluated by subtracting values of any antiderivative at the bounds.
Practical Use
Turns integration problem into finding antiderivative, simplifying computation.
Proofs and Intuition
Proof of First Part
Based on limit definition of derivative and properties of integrals; uses continuity of f and Mean Value Theorem for integrals.
Proof of Second Part
Constructs function G(x) = ∫ax f(t) dt, applies first part and uses the difference quotient.
Geometric Intuition
Area under curve accumulates; rate of change of area equals height of function at point.
| Step | Description |
|---|---|
| 1 | Define F(x) as integral from a to x of f(t) dt |
| 2 | Evaluate difference quotient (F(x+h)-F(x))/h |
| 3 | Apply Mean Value Theorem for integrals |
| 4 | Take limit as h→0 to get F'(x) = f(x) |
Applications
Evaluation of Definite Integrals
Transforms integral evaluation into algebraic computation of antiderivatives.
Solving Differential Equations
Used to find solution functions from given derivatives via integration.
Physics and Engineering
Calculates displacement from velocity, work done by force, and other quantities involving accumulation.
Numerical Integration
Foundation for approximation methods based on antiderivative properties.
Probability Theory
Computes cumulative distribution functions from probability density functions.
Examples
Example 1: Polynomial Function
f(x) = 3x² on [1, 4]. Find ∫14 3x² dx.
Antiderivative F(x) = x³Evaluate: F(4) - F(1) = 64 - 1 = 63 Example 2: Trigonometric Function
f(x) = cos(x) on [0, π/2]. Find ∫0π/2 cos(x) dx.
Antiderivative F(x) = sin(x)Evaluate: sin(π/2) - sin(0) = 1 - 0 = 1 Example 3: Piecewise Continuous Function
f(x) = { x, x ≤ 1; 2 - x, x > 1 }, find ∫02 f(x) dx.
Split integral:
∫_0^1 x dx + ∫_1^2 (2 - x) dx= [x²/2]_0^1 + [2x - x²/2]_1^2= (1/2 - 0) + (4 - 2 - (1 - 0.5))= 0.5 + (2 - 0.5)= 0.5 + 1.5 = 2 Properties and Implications
Linearity
FTC respects linearity of integrals and derivatives: sums and constant multiples commute with integration and differentiation.
Continuity and Differentiability
Integral functions defined by FTC are continuous and differentiable where the integrand is continuous.
Uniqueness of Antiderivatives
Antiderivatives differ by additive constants; definite integral values remain invariant.
Fundamental Link
Establishes calculus as inverse operations: differentiation undoes integration and vice versa.
Integral as Area
Provides rigorous basis for interpreting definite integrals as net area under curves.
Extensions and Generalizations
Improper Integrals
FTC concepts extend to improper integrals via limits under continuity and integrability conditions.
Lebesgue Integration
Generalizes FTC to broader classes of functions using measure theory and Lebesgue integrals.
Multivariable Calculus
Generalized by Stokes’ Theorem and Divergence Theorem connecting differentiation and integration on manifolds.
Functions of Bounded Variation
FTC applies to functions with bounded variation using generalized derivatives.
Integral Transforms
Foundation for integral transforms (Fourier, Laplace) that invert differentiation via integration.
Limitations and Conditions
Continuity Requirement
FTC requires the integrand to be continuous (or at least integrable) on the interval to guarantee differentiability of integral function.
Non-Differentiable Functions
Functions with jump discontinuities or singularities may violate assumptions, limiting direct FTC application.
Improper Integrals
Convergence must be established separately; FTC applies only when improper integrals converge properly.
Antiderivative Existence
Not all functions have elementary antiderivatives; numerical methods may be necessary.
Domain Restrictions
Interval endpoints and function domain must be carefully considered to apply FTC validly.
References
- Stewart, James. Calculus: Early Transcendentals. Brooks Cole, 8th edition, 2015, pp. 389-405.
- Apostol, Tom M. Mathematical Analysis. Addison-Wesley, 2nd edition, 1974, pp. 220-235.
- Spivak, Michael. Calculus. Publish or Perish, 4th edition, 2008, pp. 280-295.
- Bartle, Robert G., and Sherbert, Donald R. Introduction to Real Analysis. Wiley, 4th edition, 2011, pp. 150-167.
- Rudin, Walter. Principles of Mathematical Analysis. McGraw-Hill, 3rd edition, 1976, pp. 200-215.