Integral - Fundamental Theory of Integration

Understanding Definite Integrals What Is an Integral? An integral is fundamentally a tool for adding up infinitely many infinitesimal quantities. More precisely, a definite integral computes the signed area between the graph of a function and the horizontal axis over a specified interval. Here's the key idea: imagine a curve $f(x)$ plotted on a coordinate system. The region between this curve and the x-axis from point $a$ to point $b$ has an area. However, we define this area with a sign convention: regions above the x-axis count as positive area, while regions below the x-axis count as negative area. This allows us to handle functions that dip below the axis using a unified framework. Beyond areas, integrals generalize to calculate volumes, lengths of curves, and many other quantities that arise from summing continuous quantities. This versatility makes integrals one of the most powerful tools in mathematics. The deep connection: Integration and differentiation are inverse operations. Where differentiation measures instantaneous rates of change, integration accumulates those changes. This relationship is formalized by the Fundamental Theorem of Calculus, which we'll explore in detail later. Notation and Terminology Reading Integral Notation When we write: $$\int{a}^{b} f(x)\,dx$$ we are expressing "the definite integral of $f(x)$ with respect to $x$ from $a$ to $b$." Let's break down each component: The integrand $f(x)$ is the function being integrated The differential $dx$ indicates which variable we're integrating with respect to (in this case, $x$) The limits of integration (or bounds) are $a$ and $b$, which define our interval The interval of integration is the closed interval $[a,b]$ itself The integral symbol $\int$ itself evolved from the elongated S used to represent sums—a historical reminder that integration is the continuous analog of summation. Definite vs. Indefinite Integrals There's an important distinction: Definite integrals include limits of integration ($a$ and $b$). When you evaluate a definite integral, you get a single number representing the signed area. Indefinite integrals omit the limits: $$\int f(x)\,dx$$ An indefinite integral doesn't represent a single number; instead, it represents an entire family of functions called antiderivatives. An antiderivative of $f$ is any function $F$ whose derivative is $f$ (meaning $F'(x) = f(x)$). Every antiderivative differs from the others only by a constant, which is why we often write $\int f(x)\,dx = F(x) + C$. Understanding the Definition: Riemann Sums Before we can work with integrals, we need to understand what we mean by "the area under a curve" in a mathematically rigorous way. This is where the Riemann integral comes in. Building Up to the Riemann Integral Imagine we want to approximate the area under a curve $f(x)$ over the interval $[a,b]$. One straightforward approach: divide the interval into $n$ smaller subintervals and approximate the area over each subinterval with a rectangle. More formally, a partition of $[a,b]$ is a set of points: $$a = x0 < x1 < x2 < \cdots < xn = b$$ This divides $[a,b]$ into $n$ subintervals. The width of the $i$-th subinterval is $\Delta xi = xi - x{i-1}$. In each subinterval, we pick an arbitrary point $ti$ (called a sample point). The Riemann sum is then: $$\sum{i=1}^{n} f(ti)\,\Delta xi$$ This sum represents the total area of all rectangles: the height $f(ti)$ times the width $\Delta xi$ for each rectangle. The Riemann Integral As we make the partition finer and finer (making each $\Delta xi$ smaller), these Riemann sums approach a limit. The Riemann integral of $f$ over $[a,b]$ is defined as this limit: $$\int{a}^{b} f(x)\,dx = \lim{\text{mesh} \to 0} \sum{i=1}^{n} f(ti)\,\Delta xi$$ The "mesh" refers to the size of the largest subinterval—as it approaches zero, all subintervals become infinitesimally small. Important detail: For the Riemann integral to exist, these Riemann sums must converge to the same value regardless of which partition we choose and which sample points we select. When they do converge to a finite value $S$, we say $f$ is integrable on $[a,b]$, and $S$ is the value of the integral. A practical note: continuous functions are always integrable. Functions with only finitely many jump discontinuities are also integrable. However, functions with behavior that's too wild (like being discontinuous at infinitely many points densely packed together) may not be Riemann integrable. Key Properties of Integrals Once we know an integral exists, we can use several properties to compute or simplify integrals without going back to limits of Riemann sums. Linearity Integrals respect scalar multiplication and addition: $$\int{a}^{b} (c\,f(x) + g(x))\,dx = c\int{a}^{b} f(x)\,dx + \int{a}^{b} g(x)\,dx$$ where $c$ is any constant and $f, g$ are integrable functions. This means you can factor out constants and split integrals of sums into separate integrals. This property is tremendously useful for breaking complex integrals into simpler pieces. Inequalities and Bounds Several inequalities help us estimate integrals or compare them: Bounding property: If $f(x)$ is bounded—that is, $m \le f(x) \le M$ for all $x$ in $[a,b]$—then the integral is also bounded: $$m(b-a) \le \int{a}^{b} f(x)\,dx \le M(b-a)$$ Intuitively, the integral cannot be smaller than the minimum value times the interval width, and cannot exceed the maximum value times the interval width. Order preservation: If one function is always smaller than another, their integrals maintain that relationship: $$\text{If } f(x) \le g(x) \text{ on } [a,b], \text{ then } \int{a}^{b} f(x)\,dx \le \int{a}^{b} g(x)\,dx$$ This lets us compare integrals without computing them exactly. Absolute value inequality: If $f$ is integrable, then $|f|$ is integrable, and: $$\left|\int{a}^{b} f(x)\,dx\right| \le \int{a}^{b} |f(x)|\,dx$$ This inequality tells us that the magnitude of a signed area is at most the total area of the absolute value of the function. This is important when dealing with functions that oscillate above and below the axis. The Fundamental Theorem of Calculus The Fundamental Theorem of Calculus is perhaps the most important result in calculus. It reveals that differentiation and integration are, in a precise sense, inverse operations. There are two parts, and understanding both is critical. Part 1: Differentiation of an Integral Suppose $f$ is continuous on $[a,b]$. Define a new function: $$F(x) = \int{a}^{x} f(t)\,dt$$ Notice that $F(x)$ represents the signed area under $f$ from the left endpoint $a$ to a variable right endpoint $x$. The theorem states: $F$ is differentiable on $(a,b)$, and its derivative is: $$F'(x) = f(x)$$ This is remarkable: if we accumulate area under a curve by integrating from a fixed point to a variable point, and then take the derivative of that accumulated area, we get back the original function! This makes intuitive sense: $F(x + h) - F(x)$ represents the area between $x$ and $x + h$. For small $h$, this area is approximately $f(x) \cdot h$, so the difference quotient $\frac{F(x+h)-F(x)}{h}$ approaches $f(x)$. Part 2: Evaluation Using Antiderivatives This part gives us a practical way to compute definite integrals. The theorem states: If $F$ is any antiderivative of $f$ on $[a,b]$ (meaning $F'(x) = f(x)$ throughout), then: $$\int{a}^{b} f(x)\,dx = F(b) - F(a)$$ This is the formula you use when actually computing integrals. To integrate $f$, you find any antiderivative $F$, evaluate it at the upper and lower limits, and subtract. The notation $F(b) - F(a)$ is often written as $F(x)\big|a^b$ for brevity. Why this works: From Part 1, we know that $G(x) = \inta^x f(t)\,dt$ satisfies $G'(x) = f(x)$, so $G$ is an antiderivative of $f$. But any two antiderivatives differ by a constant: $F(x) = G(x) + C$ for some constant $C$. When we compute $F(b) - F(a)$, the constant $C$ cancels out, leaving us with $G(b) - G(a) = \inta^b f(t)\,dt$. Important Conventions Two conventions make integral notation work smoothly: Reversing limits: If $a > b$ (the upper limit is smaller than the lower limit), the integral reverses sign: $$\int{a}^{b} f(x)\,dx = -\int{b}^{a} f(x)\,dx$$ This convention maintains consistency. For example, if you traverse an interval from right to left instead of left to right, the accumulated area has the opposite sign. Zero-width interval: When the limits are equal, $a = b$, the integral equals zero by definition: $$\int{a}^{a} f(x)\,dx = 0$$ This makes sense: there's no interval over which to accumulate area. These conventions allow us to write formulas like: $$\inta^b f(x)\,dx + \intb^c f(x)\,dx = \inta^c f(x)\,dx$$ without worrying about the relative positions of $a$, $b$, and $c$. <extrainfo> Historical Context The concept of integration developed gradually over centuries, but Bernhard Riemann in the mid-19th century provided the first rigorous mathematical definition using limits of Riemann sums. This formalization moved integration from an intuitive tool into the realm of rigorous mathematical analysis, allowing mathematicians to work with more exotic functions and understand exactly when integration is possible. Modern mathematics has developed other types of integrals (like the Lebesgue integral) that extend beyond Riemann integration, but the Riemann integral remains fundamental to introductory calculus. </extrainfo>