Definite Integration
Integral Calculus: Definite Integration
Foundations of Definite Integrals & The FTC
Definition as a Limit of Riemann SumsTopic 1
Geometrically, the definite integral $\int_a^b f(x) \, dx$ of a continuous function $f(x)$ represents the net signed area bounded between the curve $y = f(x)$, the x-axis, and the vertical lines $x = a$ and $x = b$. Rigorously, this area is defined by partitioning the closed interval $[a, b]$ into $n$ sub-intervals of width $\Delta x = \frac{b-a}{n}$. Let $x_r = a + r\Delta x$ represent the endpoint of the $r$-th sub-interval. The Riemann Sum is formed by summing the areas of these approximating rectangular columns. As the number of columns approaches infinity ($n \to \infty$), the width of each column vanishes ($\Delta x \to 0$). The definite integral is defined as the exact limit of this Riemann sum: \[ \int_a^b f(x) \, dx = \lim_{n \to \infty} \sum_{r=1}^n f(x_r) \Delta x = \lim_{n \to \infty} \sum_{r=1}^n f\left(a + r\frac{b-a}{n}\right) \frac{b-a}{n} \] A common analytical trap in competitive exams is attempting to evaluate a Riemann sum where the underlying function contains an infinite discontinuity within the interval boundaries, which invalidates standard Riemann partitioning.
Express the definite integral $\int_1^3 x^2 \, dx$ as a limit of a Riemann sum using right endpoints.
Show solution
- Step 1: Compute sub-interval column width
\[ \Delta x = \frac{b - a}{n} = \frac{3 - 1}{n} = \frac{2}{n} \] - Step 2: Define the sampling point position $x_r$
\[ x_r = a + r\Delta x = 1 + r\left(\frac{2}{n}\right) = 1 + \frac{2r}{n} \] - Step 3: Construct the functional height evaluate term
Since the target equation is $f(x) = x^2$: \[ f(x_r) = \left(1 + \frac{2r}{n}\right)^2 \]
Fundamental Theorem of Calculus (FTC)Topic 2
- FTC Part 1: If $f(x)$ is continuous on $[a, b]$, then the area accumulator function $g(x) = \int_a^x f(t) \, dt$ is continuous on $[a, b]$, differentiable on $(a, b)$, and its derivative is: \[ g'(x) = \frac{d}{dx} \left[ \int_a^x f(t) \, dt \right] = f(x) \] This establishes that the derivative of a definite integral with respect to its upper limit is simply the integrand evaluated at that limit.
- FTC Part 2: If $f(x)$ is continuous on $[a, b]$ and $F(x)$ is any arbitrary anti-derivative of $f(x)$ such that $F'(x) = f(x)$, then the definite integral can be evaluated using the net change of its anti-derivative: \[ \int_a^b f(x) \, dx = F(b) - F(a) = \Big[ F(x) \Big]_a^b \]
Evaluate the definite integral $\int_0^{\pi/2} (2\cos x + \sin 2x) \, dx$.
Show solution
- Evaluate at Upper Bound $\frac{\pi}{2}$:
\[ F\left(\frac{\pi}{2}\right) = 2\sin\left(\frac{\pi}{2}\right) - \frac{\cos(\pi)}{2} = 2(1) - \frac{-1}{2} = 2 + \frac{1}{2} = \frac{5}{2} \] - Evaluate at Lower Bound $0$:
\[ F(0) = 2\sin(0) - \frac{\cos(0)}{2} = 0 - \frac{1}{2} = -\frac{1}{2} \]
Properties of Definite Integrals & Symmetry Properties
Core Algebraic and Piecewise Splitting PropertiesTopic 1
- Reversal of Limits: Swapping the limits of integration changes the sign of the definite integral: \[ \int_a^b f(x) \, dx = -\int_b^a f(x) \, dx \]
- Additivity / Interval Splitting Property: An integral can be broken down into a sum of multiple sub-interval integrals across an interior point $c$: \[ \int_a^b f(x) \, dx = \int_a^c f(x) \, dx + \int_c^b f(x) \, dx \quad (\text{where } a < c < b) \]
Evaluate the absolute modular definite integral $\int_0^3 |x - 1| \, dx$.
Show solution
The absolute value function switches its definition at the root boundary $x = 1$. We split the integration interval across this critical point: \[ |x - 1| = \begin{cases} -(x - 1) = 1 - x & \text{if } x < 1 \\ x - 1 & \text{if } x \ge 1 \end{cases} \] Apply the interval splitting property: \[ \int_0^3 |x - 1| \, dx = \int_0^1 (1 - x) \, dx + \int_1^3 (x - 1) \, dx \] Integrate both components independently using standard rules: \[ \int_0^1 (1 - x) \, dx = \left[ x - \frac{x^2}{2} \right]_0^1 = \left(1 - \frac{1}{2}\right) - 0 = \frac{1}{2} \] \[ \int_1^3 (x - 1) \, dx = \left[ \frac{x^2}{2} - x \right]_1^3 = \left(\frac{9}{2} - 3\right) - \left(\frac{1}{2} - 1\right) = \frac{3}{2} - \left(-\frac{1}{2}\right) = \frac{3}{2} + \frac{1}{2} = 2 \] Sum the two calculated values: \[ \int_0^3 |x - 1| \, dx = \frac{1}{2} + 2 = \frac{5}{2} \] Final Answer: $\frac{5}{2}$.
Advanced Symmetrical Transformations (King's, Queen's, and Periodicity)Topic 2
- King's Property: Replacing the variable $x$ with the sum of the boundaries minus $x$ leaves the integral value unchanged: \[ \int_a^b f(x) \, dx = \int_a^b f(a + b - x) \, dx \]
- Queen's Property: Useful for halving integration boundaries: \[ \int_0^{2a} f(x) \, dx = \begin{cases} 2\int_0^a f(x) \, dx & \text{if } f(2a - x) = f(x) \\ 0 & \text{if } f(2a - x) = -f(x) \end{cases} \]
- Even/Odd Reflection Property: For symmetric intervals centered around the origin: \[ \int_{-a}^a f(x) \, dx = \begin{cases} 2\int_0^a f(x) \, dx & \text{if } f(-x) = f(x) \text{ (Even Function)} \\ 0 & \text{if } f(-x) = -f(x) \text{ (Odd Function)} \end{cases} \]
- Periodicity Property: If $f(x)$ is a periodic function with a fundamental period $T$ such that $f(x + T) = f(x)$, then: \[ \int_0^{nT} f(x) \, dx = n\int_0^T f(x) \, dx \quad (\text{where } n \in \mathbb{N}) \]
Evaluate the classical trigonometric rational integral $I = \int_0^{\pi/2} \frac{\sin x}{\sin x + \cos x} \, dx$.
Show solution
Apply King's Property ($\int_a^b f(x) \, dx = \int_a^b f(a+b-x) \, dx$) to the integral expression: \[ x \to \left(0 + \frac{\pi}{2} - x\right) = \frac{\pi}{2} - x \] Substitute this transformation into the equation: \[ I = \int_0^{\pi/2} \frac{\sin\left(\frac{\pi}{2} - x\right)}{\sin\left(\frac{\pi}{2} - x\right) + \cos\left(\frac{\pi}{2} - x\right)} \, dx \] Using standard trigonometric co-function identities ($\sin(\frac{\pi}{2} - x) = \cos x$ and $\cos(\frac{\pi}{2} - x) = \sin x$), this simplifies to: \[ I = \int_0^{\pi/2} \frac{\cos x}{\cos x + \sin x} \, dx \quad \text{--- (Equation 2)} \] Add the original integral equation and Equation 2 together to combine their numerators over the common denominator: \[ 2I = \int_0^{\pi/2} \frac{\sin x}{\sin x + \cos x} \, dx + \int_0^{\pi/2} \frac{\cos x}{\sin x + \cos x} \, dx \] \[ 2I = \int_0^{\pi/2} \frac{\sin x + \cos x}{\sin x + \cos x} \, dx = \int_0^{\pi/2} 1 \, dx \] Integrate this constant form and apply the boundaries: \[ 2I = [x]_0^{\pi/2} = \frac{\pi}{2} - 0 = \frac{\pi}{2} \implies I = \frac{\pi}{4} \] Final Answer: $\frac{\pi}{4}$.
Series Summations & Definite Integral Operators
Definite Integral as a Limit of a Sum (Reverse Mapping)Topic 1
- Factor out and replace the scaling term $\frac{1}{n}$ with the differential operator $dx$.
- Replace the variable ratio term $\frac{r}{n}$ with the continuous variable $x$.
- Replace the limit of the summation $\lim_{n \to \infty} \sum$ with the integral sign $\int$.
Evaluate the infinite series sequence limit: $L = \lim_{n \to \infty} \left( \frac{1}{n+1} + \frac{1}{n+2} + \dots + \frac{1}{n+n} \right)$.
Show solution
First, write the series expression using sigma notation: \[ L = \lim_{n \to \infty} \sum_{r=1}^n \frac{1}{n + r} \] Factor out $n$ from the denominator to isolate the standard ratio component $\frac{r}{n}$: \[ L = \lim_{n \to \infty} \sum_{r=1}^n \frac{1}{n\left(1 + \frac{r}{n}\right)} = \lim_{n \to \infty} \frac{1}{n} \sum_{r=1}^n \frac{1}{1 + \frac{r}{n}} \] Apply the substitution rules to map the Riemann sum directly into a definite integral: \[ \frac{1}{n} \to dx, \quad \frac{r}{n} \to x, \quad \int \text{ boundaries: } a = \lim_{n \to \infty} \frac{1}{n} = 0, \,\, b = \lim_{n \to \infty} \frac{n}{n} = 1 \] This yields the standard definite integral: \[ L = \int_0^1 \frac{1}{1 + x} \, dx \] Integrate this rational form and evaluate across the boundaries: \[ L = \Big[ \ln|1 + x| \Big]_0^1 = \ln(2) - \ln(1) = \ln 2 \] Final Answer: $\ln 2$.
Wallis's Formula and Leibniz's Integral Differentiation RuleTopic 2
- Wallis's Formula: Provides a direct shortcut for evaluating definite integrals of high integer powers of sine and cosine over the interval $[0, \frac{\pi}{2}]$: \[ \int_0^{\pi/2} \sin^n x \, dx = \int_0^{\pi/2} \cos^n x \, dx = \begin{cases} \frac{(n-1)(n-3)\dots 1}{n(n-2)\dots 2} \cdot \frac{\pi}{2} & \text{if } n \text{ is an even integer} \\ \frac{(n-1)(n-3)\dots 2}{n(n-2)\dots 3} \cdot 1 & \text{if } n \text{ is an odd integer} \end{cases} \]
- Leibniz's Rule: Used to differentiate a definite integral whose integration boundaries are functions of the differentiation variable $x$: \[ \frac{d}{dx} \left[ \int_{g(x)}^{h(x)} f(t) \, dt \right] = f(h(x)) \cdot h'(x) - f(g(x)) \cdot g'(x) \] This is an essential tool for resolving limit indeterminate forms containing definite integral terms via L'Hôpital's Rule.
Find the value of the derivative expression at $x = \pi$: $G'(x) = \frac{d}{dx} \left[ \int_0^{\sin x} e^{t^2} \, dt \right]$.
Show solution
Apply Leibniz's Rule directly to differentiate across the boundaries: \[ \frac{d}{dx} \left[ \int_{0}^{\sin x} e^{t^2} \, dt \right] = e^{(\sin x)^2} \cdot \frac{d}{dx}(\sin x) - e^{(0)^2} \cdot \frac{d}{dx}(0) \] Compute the inner derivative terms: \[ G'(x) = e^{\sin^2 x} \cdot \cos x - 0 = e^{\sin^2 x} \cos x \] Evaluate the derivative at the target point $x = \pi$: \[ G'(\pi) = e^{\sin^2(\pi)} \cdot \cos(\pi) = e^{(0)} \cdot (-1) = 1 \cdot (-1) = -1 \] Final Answer: $-1$.
Improper Integrals & Transcendental Functions
Improper Integrals and Convergence AnalysisTopic 1
- Type 1 (Infinite Limits): The integration interval extends to infinity: \[ \int_a^\infty f(x) \, dx = \lim_{b \to \infty} \int_a^b f(x) \, dx \]
- Type 2 (Discontinuous Integrand): The integrand has an infinite discontinuity at a point within the integration interval. For example, if $f(x)$ blows up at the upper bound $b$: \[ \int_a^b f(x) \, dx = \lim_{c \to b^-} \int_a^c f(x) \, dx \]
A critical diagnostic tool for Type 1 improper integrals is the p-test: the integral $\int_1^\infty \frac{1}{x^p} \, dx$ converges if and only if $p > 1$.
Determine the convergence and value of the Type 1 improper integral: $\int_1^\infty \frac{1}{x^3} \, dx$.
Show solution
Rewrite the improper integral expression as a finite limit equation: \[ \int_1^\infty \frac{1}{x^3} \, dx = \lim_{b \to \infty} \int_1^b x^{-3} \, dx \] Integrate the interior algebraic expression using the standard power rule: \[ \int_1^b x^{-3} \, dx = \left[ \frac{x^{-2}}{-2} \right] _1^b = \left[ -\frac{1}{2x^2} \right]_1^b = \left(-\frac{1}{2b^2}\right) - \left(-\frac{1}{2(1)^2}\right) = -\frac{1}{2b^2} + \frac{1}{2} \] Now evaluate the limit as $b \to \infty$: \[ \lim_{b \to \infty} \left( -\frac{1}{2b^2} + \frac{1}{2} \right) = 0 + \frac{1}{2} = \frac{1}{2} \] Since the limit converges to a finite real number, the integral is convergent. Final Answer: Converges to $\frac{1}{2}$.
The Gamma Function and Higher Transcendental PrimitivesTopic 2
- Core Recurrence Formula: $\Gamma(n+1) = n\Gamma(n)$
- Integer Factorial Equivalence: If $n$ is a positive integer ($n \in \mathbb{N}$): \[ \Gamma(n) = (n-1)! \quad \text{and} \quad \Gamma(n+1) = n! \]
- Special Fractional Value: $\Gamma\left(\frac{1}{2}\right) = \sqrt{\pi}$
Evaluate the exponential product improper integral $\int_0^\infty x^4 e^{-x} \, dx$ using Gamma function properties.
Show solution
Compare the given integral with the standard Gamma function definition template: \[ \Gamma(n) = \int_0^\infty x^{n-1} e^{-x} \, dx \] Match the exponent of the variable term to determine the value of $n$: \[ n - 1 = 4 \implies n = 5 \] Therefore, the integral can be written in terms of the Gamma function as: \[ \int_0^\infty x^4 e^{-x} \, dx = \Gamma(5) \] Since $n = 5$ is a positive integer, apply the integer factorial equivalence rule ($\Gamma(n) = (n-1)!$): \[ \Gamma(5) = (5 - 1)! = 4! = 4 \times 3 \times 2 \times 1 = 24 \] Final Answer: $24$.
Ready to test yourself?
Attempt the full timed mock tests — Main & Advanced level.
Start Mock Test 1 →