Integral
From Wikipedia, the free encyclopedia
- This article deals with the concept of an integral in calculus. For other meanings of "integral" see integration and integral (disambiguation).
In calculus, the integral of a function is an extension of the concept of a sum. The process of finding integrals is called integration. The process is usually used to find a measure of totality such as area, volume, mass, displacement, etc., when its distribution or rate of change with respect to some other quantity (position, time, etc.) is specified.
For example, to find the area between the two curves in the figure, between two limits, would be to evaluate the integral of the function representing the difference in the value of the two functions between those limits.
As an example, if f is the constant function f(x) = 3, then the integral of f between 0 and 10 is the area of the rectangle bounded by the lines x = 0, x = 10, y = 0, and y = 3. The area is the width of the rectangle times its height, so the value of the integral is 30. The same result can be found by integrating the function, though this is usually done for more complicated curves.
The term "integral" may also refer to antiderivatives. Though they are closely related through the fundamental theorem of calculus, the two notions are conceptually distinct. When one wants to clarify this distinction, an antiderivative is referred to as an indefinite integral (a function), while the integrals discussed in this article are termed definite integrals.
The integral of a real-valued function f of one real variable x on the interval [a, b] is equal to the signed area bounded by the lines x = a, x = b, the x-axis, and the curve defined by the graph of f. This is formalized by the simplest definition of the integral, the Riemann definition, which provides a method for calculating this area using the concept of limit by dividing the area into successively thinner rectangular strips and taking the limiting value approached by the sum of their areas as the maximum width of the strips is decreased towards zero (for example see this applet).
Leibniz introduced the standard long s notation for the integral. The integral of the previous paragraph would be written . The sign represents integration, a and b are the endpoints of the interval, f(x) is the function we are integrating known as the integrand, and dx is a notation for the variable of integration. Historically, dx represented an infinitesimal quantity, and the long s stood for "sum". However, modern theories of integration are built from different foundations: the notation is no longer thought of as a sum except in the most informal sense, and the dx is more commonly interpreted as a differential form or measure.
Alternatively, if we let
then the integral of f between a and b is a measure of S. In intuitive terms, integration associates a number with S that gives an idea about the 'size' of the set (but this is distinct from its Cardinality or order). This leads to the second, more powerful definition of the integral, the Lebesgue integral.
If a function has an integral, it is said to be integrable. The function for which the integral is calculated is called the integrand. Integrals result in a number, not another function. If the domain of the function to be integrated is the real numbers, and if the region of integration is an interval, then the greatest lower bound of the interval is called the lower limit of integration, and the least upper bound is called the upper limit of integration.
Contents |
[edit] Computing integrals
The most basic technique for computing integrals of one real variable is based on the fundamental theorem of calculus. It proceeds like this:
- Choose a function f(x) and an interval [a, b].
- Find an antiderivative of f, that is, a function F such that F' = f.
- By the fundamental theorem of calculus, provided the integrand and integral have no singularities on the path of integration,
- Therefore the value of the integral is F(b) − F(a).
Note that the integral is not actually the antiderivative, but the fundamental theorem allows us to use antiderivatives to evaluate definite integrals.
The difficult step is often finding an antiderivative of f. It is rarely possible to glance at a function and write down its antiderivative. More often, it is necessary to use one of the many techniques that have been developed to evaluate integrals. Most of these techniques rewrite one integral as a different one which is hopefully more tractable. Techniques include:
- Integration by substitution
- Integration by parts
- Integration by trigonometric substitution
- Integration by partial fractions
Even if these techniques fail, it may still be possible to evaluate a given integral. The next most common technique is residue calculus, whilst for nonelementary integrals Taylor series can sometimes be used to find the antiderivative. There are also many less common ways of calculating definite integrals; for instance, Parseval's identity can be used to transform an integral over a rectangular region into an infinite sum. Occasionally, an integral can be evaluated by a trick; for an example of this, see Gaussian integral.
Computations of volumes of solids of revolution can usually be done with disk integration or shell integration.
Specific results which have been worked out by various techniques are collected in the list of integrals.
[edit] Approximation of definite integrals
Definite integrals may be approximated using several methods of numerical integration. One popular method, called the rectangle method, relies on dividing the region under the function into a series of rectangles and finding the sum. Other well-known methods are the trapezoidal rule and Simpson's rule.
Some integrals cannot be found exactly, and others are so complex that finding the exact answer would be extremely time-consuming or computationally intensive. Approximation, however, is a process which relies only on variable substitution, multiplication, addition, and division. It can be done easily and quickly by modern graphing calculators and computers. Many real-world applications of calculus rely on calculating integrals approximately because of the complexity of formulas and since an exact answer is unnecessary.
[edit] Symbolic integration
Main article: Symbolic integration
Many professionals, educators, and students now use computer algebra systems to make difficult (or simply tedious) algebra and calculus problems easier. The design of such a computer algebra system is nontrivial as systematic methods of antidifferentiation are difficult to formulate, although in many cases a definite integral can be computed without finding an antiderivative.
One difficulty in computing definite integrals is that it is not always possible to find "explicit formulae" for antiderivatives. For instance, there is a (nontrivial) proof that there is no elementary function (e.g., involving sin, cos, exp, polynomials, roots and so on) whose derivative is xx. As such, computerized algebra systems have no hope of being able to find an antiderivative for this particular function. Unfortunately, functions that have nice antiderivatives are the exception. If one writes a large random expression involving exponentials and polynomials, the odds are almost nil that it will have a "nice" antiderivative. (This statement can be made formal, but it is difficult to do so.)
One of the difficulties is to decide what set of functions to use as building blocks for antiderivatives. Usually, we need a set of antiderivatives closed under, say, multiplication and composition. This set of antiderivatives should also include polynomials, perhaps quotients, exponentials, logarithms, sines and cosines. The Risch-Norman algorithm is able to compute any integral of such a shape; that is, if the antiderivative involves polynomials, sines, cosines, etc..., the Risch-Norman algorithm will be able to compute it. Extended versions of this algorithm are implemented in Mathematica and the Maple computer algebra system.
Some special integrands occur often enough to warrant special study. In particular, it may be useful to have, in the set of antiderivatives, the special functions of physics (like the Legendre functions, the hypergeometric function, the Gamma function and so on). Extending the Risch-Norman algorithm so that it includes these functions is possible but challenging.
Most humans are not able to integrate such general formulae, so in a sense computers are more skilled at integrating highly complicated formulae. On the other hand, very complex formulae are unlikely to have closed-form antiderivatives, so this advantage is dubious.
[edit] Improper integrals
Not all integrals can be evaluated using a single limit process. An integral which can only be evaluated by considering it as the limit of integrals on successively larger and larger intervals is called an improper integral. Improper integrals usually turn up when the range of the function to be integrated is infinite or, in the case of the Riemann integral, when the domain of the function is infinite. One common example of an improper integral is the Cauchy principal value.
[edit] Definitions of the integral
The most important integrals are the Riemann integral and the Lebesgue integral. The Riemann integral was created by Bernhard Riemann in 1854 and was the first rigorous definition of the integral. The Lebesgue integral was created by Henri Lebesgue to integrate a wider class of functions and to prove very strong theorems about interchanging limits and integrals (see Lebesgue's dominated convergence theorem).
Although the Riemann and Lebesgue integrals are the most important ones, a number of others exist, including:
- The Daniell integral.
- The Darboux integral, a variation of the Riemann integral.
- The Denjoy integral (also known as the Henstock-Kurzweil integral), an extension of both the Riemann and Lebesgue integrals.
- The Haar integral.
- The Henstock-Kurzweil-Stieltjes integral (also called HK-Stieltjes integral).
- The Lebesgue-Stieltjes integral (also called Lebesgue-Radon integral).
- The Perron integral, which is equivalent to the restricted Denjoy integral.
- The Riemann-Stieltjes integral, an extension of the Riemann integral.
[edit] Definitions by means of an integral
Several mathematical functions and constants can be defined by using an integral. The natural logarithm, denoted by ln(x), is defined for all x > 0 as
Hence, the mathematical constant e may then be defined as the unique number that satisfies
Both the beta function and gamma function are defined in terms of integrals.
[edit] History of integral notation
Isaac Newton used a small vertical bar above a variable to indicate integration, or placed the variable inside a box. The vertical bar was easily confused with or , which Newton used to indicate differentiation, and the box notation was difficult for printers to reproduce, so these notations were not widely adopted.
The modern notation for the indefinite integral was introduced by Gottfried Leibniz in 1675. He derived the integral symbol, "∫", from an elongated letter S, standing for summa (Latin for "sum" or "total"). The modern notation for the definite integral, with limits above and below the integral sign, was first used by Joseph Fourier in 1822.[1]
[edit] See also
- Lists of integrals
- Multiple integral
- Antiderivative
- Numerical integration
- Integral equation
- Riemann integral
- Riemann sum
[edit] References
[edit] External links
- The Integrator by Wolfram Research
- Function Calculator from WIMS
- P.S. Wang, Evaluation of Definite Integrals by Symbolic Manipulation (1972) - a cookbook of definite integral techniques
[edit] Online books
- Keisler, H. Jerome, Elementary Calculus: An Approach Using Infinitesimals, University of Wisconsin
- Stroyan, K.D., A Brief Introduction to Infinitesimal Calculus, University of Iowa
- Mauch, Sean, Sean's Applied Math Book, CIT, an online textbook that includes a complete introduction to calculus
- Crowell, Benjamin, Calculus, Fullerton College, an online textbook
- Garrett, Paul, Notes on First-Year Calculus
- Hussain, Faraz, Understanding Calculus, an online textbook
- Sloughter, Dan, Difference Equations to Differential Equations, an introduction to calculus
- Wikibook of Calculus
- Kaw, Autar K., Holistic Numerical Methods Institute, [1], Numerical Methods of Integration