Definite integral
Builds on Riemann integral
Definition
Let be an interval, let , and let . Assume that is Riemann integrable on the closed interval between and . The definite integral of from to is the number defined as follows. If , it is the Riemann integral of over . If , it is . If , it is .
Remarks
With this sign convention, holds for all in .
The numbers and are the limits of integration, and is the integrand.
Mathlib writes the definite integral as ∫ x in a..b, f x, through intervalIntegral.
Reading path
To understand this page from the ground up, read these 6 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Partition of an interval definition
- Mesh of a partition definition
- Riemann sum definition
- Riemann integrable function definition
- Riemann integral definition
- Definite integral definition
Where this leads
61 pages build on this one.
- Additivity of the integral over intervals
- First fundamental theorem of calculus
- Linearity of the integral
- Uniform limits commute with integration
- Integration by substitution
- Gaussian integral
- Trigonometric substitution
- The gamma function extends the factorial
- Comparison test for improper integrals
- Area under a curve
- Monotonicity of the integral
- Mean value theorem for integrals
- The integral of a continuous function is an antiderivative
- Fundamental theorem of calculus
- Triangle inequality for integrals
- Gamma function
- Tangent half-angle substitution
- Taylor's theorem with the integral remainder
- Term-by-term integration
- Beta function in terms of the gamma function
- Arnold tongue
- Lebesgue's theorem on differentiability of monotone functions
- Mehta integral
- Quadrature rule
- Stirling's formula for the gamma function
- Log-gamma function
- Gamma function as Mellin transform of the exponential
- Peano kernel theorem
- Reduction of an initial value problem to a Volterra equation
- Beta function
- Mittag-Leffler summation
- Numerical integration
- Log-convexity of the gamma function
- Watson's lemma
- Legendre duplication formula
- Karamata's Tauberian theorem
- Differentiation operator as inverse of integration
- Laplace transform of the error function
- Cauchy formula for repeated integration
- Laplace transforms of sine and cosine
- Cantor function
- Tauberian theorems for integral transforms
- Particular values of the gamma function
- Error bound for the trapezoidal rule
- Bohr–Mollerup theorem
- Poles of the gamma function
- Volterra's function
- Laplace transform of a power function
- Hölder's theorem
- Linearity of the Laplace transform
- Euler–Gauss limit formula
- Gamma function has no zeros
- Wielandt's theorem
- Reflection formula for the gamma function
- Gamma of one half
- Gauss multiplication formula
- Reciprocal gamma function
- Multiplication theorem
- Euler integral for the gamma function
- Functional equation of the gamma function
- Holomorphy of the gamma function
Further reading
- Web https://en.wikipedia.org/wiki/Integral, Conventions
About this page
| Tag | 021WEM680W |
|---|---|
| URI | m2://021WEM680W |
| Kind | definition |
| Writing | W1 stated |
| MSC | 26A42 |
| Defines | Definite integral |
| Uses | Riemann integral |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge instance_of in: one example (0 of 1)
- edge not_instance_of in: one non-example that fails one clause (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.