Calculus I: Definite Integrals Properties and Evaluation

The definite integral is the cornerstone of integral calculus, transforming the concept of accumulation into a precise, calculable tool. Understanding its properties and mastering its evaluation is essential for solving real-world problems in engineering, physics, and economics, where you need to compute areas, total change, averages, and more.

Core Properties of Definite Integrals

Before diving into calculation, you must understand the rules that definite integrals obey. These properties simplify complex problems and provide powerful shortcuts.

Linearity is the most frequently used property. It states that the integral of a sum is the sum of the integrals, and constant factors can be pulled out of the integral. Formally, for constants $a$ and $b$ and integrable functions $f(x)$ and $g(x)$: $$\int_{c}^{d} [a f(x) + b g(x)] \, dx = a \int_{c}^{d} f(x) \, dx + b \int_{c}^{d} g(x) \, dx$$ For example, to evaluate $\int_{0}^{1} (3x^2 + 4\sin x) \, dx$, you can compute $3\int_{0}^{1} x^2 \, dx$ and $4\int_{0}^{1} \sin x \, dx$ separately and sum the results. This decomposition is invaluable when facing intimidating integrands.

Additivity over intervals describes how an integral over a large interval can be split into the sum of integrals over adjacent subintervals. For any number $b$ between $a$ and $c$: $$\int_{a}^{c} f(x) \, dx = \int_{a}^{b} f(x) \, dx + \int_{b}^{c} f(x) \, dx$$ This property is crucial for piecewise-defined functions or when integrating over regions where the function behavior changes. Conversely, it allows you to combine adjacent integrals. It also logically leads to the convention that $\int_{a}^{a} f(x) \, dx = 0$ and that $\int_{a}^{b} f(x) \, dx = -\int_{b}^{a} f(x) \, dx$.

Comparison properties let you deduce information about an integral without calculating it exactly. If $f(x) \ge g(x)$ for all $x$ in $[a, b]$, then $\int_{a}^{b} f(x) \, dx \ge \int_{a}^{b} g(x) \, dx$. Furthermore, if $m \le f(x) \le M$ on $[a, b]$, then: $$m(b-a) \le \int_{a}^{b} f(x) \, dx \le M(b-a)$$ This "squeeze theorem" for integrals provides a way to estimate an integral's value or confirm its sign, which is often a quick-check step in engineering analysis.

Exploiting Symmetry: Even and Odd Functions

Symmetry can instantly halve your work. A function $f(x)$ is even if $f(-x) = f(x)$ for all $x$ (symmetric about the y-axis, like $x^2$ or $\cos x$). A function is odd if $f(-x) = -f(x)$ (symmetric about the origin, like $x^3$ or $\sin x$). For an integral over a symmetric interval $[-a, a]$:

• If $f$ is even: $\int_{-a}^{a} f(x) \, dx = 2\int_{0}^{a} f(x) \, dx$
• If $f$ is odd: $\int_{-a}^{a} f(x) \, dx = 0$

Consider $\int_{-2}^{2} (4x^3 - 2x) \, dx$. The term $4x^3$ is odd and $-2x$ is also odd. The sum of odd functions is odd. Therefore, without any antiderivative calculation, you can conclude the entire integral equals $0$. Always check for symmetry first—it's a powerful time-saver.

The Average Value of a Function

The definite integral allows you to find the average value of a continuous function over an interval $[a, b]$. This is not a simple arithmetic mean; it is a continuous average. The formula is: $$f_{\text{avg}} = \frac{1}{b-a} \int_{a}^{b} f(x) \, dx$$ Graphically, $f_{\text{avg}}$ is the height of a rectangle with base $[a, b]$ that has the same area as the area under the curve $f(x)$ from $a$ to $b$. For example, the average value of $f(x) = \sin x$ on $[0, \pi]$ is $\frac{1}{\pi-0} \int_{0}^{\pi} \sin x \, dx = \frac{2}{\pi}$. This concept is widely applied in engineering to find average power, average temperature, or mean pressure over time.

Evaluation Using the Fundamental Theorem of Calculus, Part 2

The Fundamental Theorem of Calculus (FTC), Part 2 provides the primary engine for evaluation. It states that if $f$ is continuous on $[a, b]$ and $F$ is any antiderivative of $f$ (i.e., $F'(x) = f(x)$), then: $$\int_{a}^{b} f(x) \, dx = F(b) - F(a)$$ The notation $F(x) \big|_{a}^{b}$ or $[F(x)]_{a}^{b}$ is commonly used for $F(b) - F(a)$. The challenge, therefore, shifts to finding antiderivatives. Here is a workflow for common integrand types:

1. Polynomials: Apply the power rule in reverse: $\int x^n \, dx = \frac{x^{n+1}}{n+1} + C$, for $n \neq -1$.

• Example: $\int_{1}^{3} (2x^2 - 5x + 1) \, dx = \left[ \frac{2x^3}{3} - \frac{5x^2}{2} + x \right]_{1}^{3}$. Compute $F(3) = 18 - 22.5 + 3 = -1.5$ and $F(1) = 2/3 - 2.5 + 1 \approx -0.833$. The integral equals $-1.5 - (-0.833) = -0.667$.

1. Trigonometric Functions: Recall core antiderivatives: $\int \sin x \, dx = -\cos x + C$, $\int \cos x \, dx = \sin x + C$, $\int \sec^2 x \, dx = \tan x + C$.

• Example: $\int_{0}^{\pi/4} (\cos x - \sec^2 x) \, dx = [\sin x - \tan x]_{0}^{\pi/4} = (\sqrt{2}/2 - 1) - (0 - 0) = \sqrt{2}/2 - 1$.

1. Exponential Functions: Remember $\int e^x \, dx = e^x + C$ and, more generally, $\int a^x \, dx = \frac{a^x}{\ln a} + C$ for $a>0, a\neq 1$.

• Example: $\int_{0}^{1} (e^x + 3^x) \, dx = [e^x + \frac{3^x}{\ln 3}]_{0}^{1} = (e + \frac{3}{\ln 3}) - (1 + \frac{1}{\ln 3}) = e - 1 + \frac{2}{\ln 3}$.

1. Logarithmic Functions: The direct integral is $\int \ln x \, dx = x \ln x - x + C$ (requiring integration by parts, often covered shortly after FTC). More commonly, you'll see integrands resulting in a natural log: $\int \frac{1}{x} \, dx = \ln |x| + C$.

• Example: $\int_{1}^{e} \frac{3}{x} \, dx = 3 [\ln |x|]_{1}^{e} = 3(\ln e - \ln 1) = 3(1 - 0) = 3$.

Your evaluation strategy should be: 1) Simplify the integrand using algebra, 2) Check for symmetry, 3) Apply linearity to split the integral, 4) Find the antiderivative for each piece, 5) Apply the FTC by carefully substituting the limits of integration.

Common Pitfalls

1. Misapplying the FTC with Discontinuities: The FTC requires $f$ to be continuous on the closed interval $[a, b]$. If $f$ has an infinite discontinuity (e.g., $1/x$ at $x=0$) within the interval, the integral is improper and cannot be evaluated by simply plugging into an antiderivative. Always check the domain of the integrand relative to your limits.

1. Forgetting the Constant of Integration (and then using it incorrectly): When finding an antiderivative $F(x)$ for use in the FTC, you do not need the "$+C$" because it cancels out in the subtraction $F(b) - F(a)$. You can either omit it entirely during the antiderivative step for a definite integral, or include it and watch it cancel.

1. Arithmetic Errors in Evaluation: The step $F(b) - F(a)$ is a common source of simple sign errors. A good practice is to first evaluate and simplify $F(b)$ and $F(a)$ separately on your paper before performing the subtraction. For example, write:

$F(3) = 18 - 22.5 + 3 = -1.5$ $F(1) = 0.667 - 2.5 + 1 = -0.833$ $\int = (-1.5) - (-0.833) = -0.667$ This organized approach prevents confusion.

1. Overlooking Symmetry: As shown, an odd function over $[-a, a]$ integrates to zero. Failing to recognize this leads to unnecessary, lengthy calculations. Make a habit of checking $f(-x)$ when the limits are opposites.

Summary

• The definite integral $\int_{a}^{b} f(x) dx$ measures the net signed area under $f(x)$ from $x=a$ to $x=b$ and is evaluated using the FTC: $F(b) - F(a)$, where $F'(x)=f(x)$.
• Key algebraic properties—linearity, additivity over intervals, and comparison—simplify manipulation and analysis of integrals without full evaluation.
• Symmetry provides powerful shortcuts: the integral of an odd function over $[-a, a]$ is $0$, while for an even function, it is twice the integral from $0$ to $a$.
• The average value of a function $f$ on $[a, b]$ is $f_{\text{avg}} = \frac{1}{b-a}\int_{a}^{b} f(x) \, dx$, representing a constant value yielding the same area.
• Successful evaluation hinges on a library of core antiderivatives for polynomial, trigonometric, exponential, and logarithmic functions, applied systematically after simplifying the integrand and checking for discontinuities.