Master the fundamental properties that make definite integrals a powerful tool: linearity, comparison, interval additivity, and more.
If and , then and:
For any partition and sample points :
Taking gives the result.
Compute:
If and for all , then:
If and on , then:
If on , then:
Estimate:
On : , so .
Thus .
Result:
For :
In this case:
This property extends to any finite number of subintervals. Combined with our conventions, it holds for any ordering of .
If , then , and:
For integrability of : Since , the oscillation of on any interval is ≤ that of .
For the inequality: implies .
Warning: does NOT imply !
Example: if , if .
Then is integrable, but is not.
If , then .
For :
Prove:
Taking , :
If , then:
Similarly for . This is fundamental in Fourier analysis.
Problem: If , , and , prove .
Solution:
By the Mean Value Theorem:
Theorem: If , , and , then .
Proof:
Suppose for some . By continuity, on some .
Contradiction! So .
Theorem: If is odd () and integrable on , then:
Proof:
By interval additivity and substitution :
Thus .
Theorem: If is even () and integrable on , then:
This often simplifies computation of integrals over symmetric intervals.
Compute:
Solution:
Split into odd and even parts:
Problem: Evaluate .
Solution:
On : .
By comparison:
Answer: The limit is .
Problem: Find .
Solution:
For : , so pointwise.
Moreover, , and by dominated convergence (or direct estimation):
Answer: The limit is .
Problem 1:
Problem 9: Use
Problem 11:
Problem 12: By IVT, takes positive and negative values
Linearity makes the integral a linear functional, connecting calculus to linear algebra and functional analysis. This is the foundation of Fourier analysis and quantum mechanics.
Comparison theorems let us bound integrals we cannot compute exactly. This is crucial in convergence tests for improper integrals and series.
The triangle inequality is essential for proving convergence of integral series and for error estimates in numerical integration.
This inequality defines an inner product on functions, making them a Hilbert space. This structure underlies quantum mechanics and signal processing.
For and :
This is the triangle inequality in space.
The integral defines various norms on function spaces:
norm
norm
norm
First proved the comparison theorem rigorously. His work on complex analysis also used these properties to develop contour integration.
Along with Cauchy, developed the Cauchy-Schwarz inequality, now fundamental to inner product spaces and quantum mechanics.
Developed the Minkowski inequality and the geometry of numbers. His work connected integration theory to convex geometry.
, NOT !
The converse is true! .
If , then .
Remember: , not .
| Property | Formula | Conditions |
|---|---|---|
| Linearity | ||
| Comparison | ||
| Additivity | ||
| Estimation | ||
| Triangle | ||
| Cauchy-Schwarz |
In the next section, we discover the Fundamental Theorem of Calculus—the profound connection between differentiation and integration:
Theorem: If has period , then for any :
Proof:
By substitution on the left, and using periodicity:
Theorem: If is monotonic and , then :
This is useful for estimating products where one factor is monotonic.
Theorem: If are both increasing (or both decreasing) on :
Equality holds iff one of is constant.
Theorem: If is convex and :
Example: gives .
Linearity and comparison are used constantly. Make sure you can apply them automatically before moving to more complex properties like Cauchy-Schwarz.
When you can't compute an integral exactly, use bounds. Find and apply the estimation theorem.
Triangle inequality: . The absolute value of the integral is LESS than the integral of absolute value.
For symmetric intervals : odd functions integrate to 0, even functions double. This can save enormous computation.
Odd function:
Even function:
Reverse limits:
For a probability density function with :
For a mass distribution with density :
For signals and :
Linearity allows us to break complex integrals into simpler parts and factor out constants, making computation much easier.
The area under a curve from a to b equals the sum of areas from a to c and from c to b. This is intuitively obvious for positive functions.
Actually, the converse is more interesting: f integrable DOES imply |f| integrable. But knowing |f| is integrable doesn't tell us about f's integrability.
For |∫f| = ∫|f|, we need f to not change sign on [a,b]. If f changes sign, strict inequality holds.
It's used to bound products of integrals, prove convergence, and establish inequalities. It's the continuous analog of the vector dot product inequality.
Prove that for with :
Hint: Use Cauchy-Schwarz with .
Evaluate using integral properties:
Hint: Bound the integrand and use comparison.
Prove the generalized Hölder inequality for :
Note: Cauchy-Schwarz is the special case .
Show that if is continuous and for all continuous , then .
Hint: Consider .
The properties we studied generalize to spaces where . Minkowski's inequality ensures these are genuine norms.
The space has an inner product . Cauchy-Schwarz becomes the familiar .
Unlike , the spaces are complete—every Cauchy sequence converges. This is crucial for functional analysis.
The Lebesgue integral extends these properties to a much larger class of functions, enabling powerful theorems like dominated convergence.
The properties of definite integrals form the foundation for all computational and theoretical work with integrals. Mastering linearity, comparison, and the various inequalities will make integration much more manageable and intuitive.
Remember that these properties extend naturally to improper integrals, Lebesgue integrals, and multidimensional integrals. The patterns you learn here will serve you well throughout advanced mathematics, physics, and engineering courses.
Practice applying these properties systematically—they will become second nature with experience.