Difference between revisions of "Integral"

From Conservapedia
Jump to: navigation, search
m (Reverted edits by Asterisky (Talk) to last version by Ed Poor)
(Antiderivative vs Integration: Spelling/Grammar Check, typos fixed: For example → For example,)
(17 intermediate revisions by 10 users not shown)
Line 8: Line 8:
  
 
[[Image:Definiteintegralnv7.gif|thumb|A definite integral.]]
 
[[Image:Definiteintegralnv7.gif|thumb|A definite integral.]]
 +
 +
[[Indefinite integral]]s use the notation
 +
:<math>\int f(x) dx </math>
  
  
 
==Integration==
 
==Integration==
Integration is the inverse function of the [[derivative]] and the two notions are related by the [[Fundamental Theorem of Calculus]].
+
===Definition===
 +
If <math> f</math> is a function of bounded variation, then the [[Riemann integral]] of <math> f</math> is defined as the limit of a [[Riemann sum]]:
 +
:<math>\int\limits_{x_1}^{x_N} f(x) dx = \lim_{dx\to 0} \sum_{i=1}^N f(x_i)*dx</math>.
 +
 
 +
The fact that <math> f </math> is of bounded variation implies that the Riemann sum above converges and is independent of the choices of <math>x_1,\dots,x_N</math>.  For integration of measurable functions which may not have bounded variation, the [[Lebesgue integral]] must be used. It is easy to see that <math>\int\limits_a^b f(x) dx</math> is the area under the curve f(x) between the vertical line x=a and the vertical line x=b.  <tt>a</tt> and <tt>b</tt> are called the ''limits'' of the integral, and <tt>f(x)</tt> is called the ''integrand''.  This type of integral is referred to as a ''definite integral'', or an integral between definite limits.
 +
 
 +
Indefinite integrals are related to definite integrals by the second part of the [[Fundamental Theorem of Calculus]].
 +
 
 +
===Applications===
 +
The first part of the [[Fundamental Theorem of Calculus]] states that integration is the reverse function of [[derivative|differentiation]].  Thus, if <math>\int f(x) dx = g(x)</math>, then <math>\frac{d}{dx}g(x) = f(x)</math>.
 +
 
 +
Note that, because the derivative of any constant function is 0, <math>\frac{d}{dx}x^2+2 = \frac{d}{dx}x^2+3 = \frac{d}{dx}x^2 = 2x</math>.  Therefore, <math>\int 2x dx</math> does not simply equal x<sup>2</sup>, but rather x<sup>2</sup> + C for any constant real number C.  The above-mentioned functions are the ''family of antiderivatives'' for 2x.
  
 
The concept of integration can be extended to functions in more than one real variable, as well as functions defined over the [[complex numbers]].
 
The concept of integration can be extended to functions in more than one real variable, as well as functions defined over the [[complex numbers]].
Line 19: Line 33:
 
=== Methods of Integration ===
 
=== Methods of Integration ===
 
{{main|Methods of integration}}
 
{{main|Methods of integration}}
There are many different ways to integrate functions. Sometimes, when it is impossible to directly integrate a function, an approximation is used, such as the [[Riemann integral]]. Or, there may be a process to integrate the function using a rule, such as with [[Integration by parts]].
+
There are many different ways to integrate functions. Sometimes, when it is impossible to directly integrate a function, an approximation is used, such as the Riemann integral. Or, there may be a process to integrate the function using a rule, such as with [[Integration by parts]].
  
 
==Types of Integrals==
 
==Types of Integrals==
  
There are two types of integrals.  [[Definite integral|Definite integrals]] are integrals that are evaluated over limits of integration.  [[Indefinite integral|Indefinite integrals]] are not evaluated over limits of integration.  Evaluating an indefinite integral yields the antiderivative of the integrand plus a constant of integration.
+
There are several types of integrals.  [[Definite integral|Definite integrals]] are integrals that are evaluated over limits of integration.  [[Indefinite integral|Indefinite integrals]] are not evaluated over limits of integration.  Evaluating an indefinite integral yields the antiderivative of the integrand plus a constant of integration.
  
 +
A third type - an improper integral - is an integral in which one of the limits of integration is infinity. Evaluating an improper integral requires taking the limit of the definite integral as the appropriate limit of integration approaches infinity.
  
 +
A fourth type of integral is known as the Lebesgue integral. The Lebesgue integral is a generalization of the Riemann integral that allows traditionally and non-integrable functions such as the indicator function on the rational numbers to be integrated.
 
==Properties of integrals==
 
==Properties of integrals==
  
Intergation has the following properties<ref>[http://www.sosmath.com/calculus/integ/integ02/integ02.html Properties of Intergrals]</ref>
+
Integration has the following properties<ref>[http://www.sosmath.com/calculus/integ/integ02/integ02.html Properties of Integrals]</ref>
  
 
<h3>Additive Distribution</h3>
 
<h3>Additive Distribution</h3>
Line 51: Line 67:
  
 
==Antiderivative vs Integration==
 
==Antiderivative vs Integration==
There are important differences between the anti-derivative and integration. An anti-derivative of a function <math>f(x)</math> is a function <math>g(x)</math> such that,
+
There are important differences between the anti-derivative and integration. An anti-derivative of a function <math>f(x)</math> is a function <math>F(x)</math> such that,
  
 
:<math>\frac{d}{dx}F(x)=f(x)</math>
 
:<math>\frac{d}{dx}F(x)=f(x)</math>
Line 59: Line 75:
 
:<math>\int_a^b f(x)dx=F(b)-F(a)</math>
 
:<math>\int_a^b f(x)dx=F(b)-F(a)</math>
  
This works for the kind of functions encountered in late high school and early university mathematics. It is, however, an incomplete method. For example one cannot write the anti-derivative of <math>e^{x^{2}}</math> in terms of familiar functions (such as [[trigonometric function]]s, [[exponential]]s, and [[logarithm]]s) and function operations.
+
This works for the kind of functions encountered in late high school and early university mathematics. It is, however, an incomplete method. For example, one cannot write the anti-derivative of <math>e^{x^{2}}</math> in terms of familiar functions (such as [[trigonometric function]]s, [[exponential]]s, and [[logarithm]]s) and function operations.
  
 
==Riemann integral==
 
==Riemann integral==
 
{{main|Riemann Integral}}
 
{{main|Riemann Integral}}
As a geometric interpretation of the integral of the [[area]] under a curve, the Riemann integral consists of dividing the area under the curve of the function into slices. The [[domain]] of the function is partioned into N segments of width <math>\frac{b-a}{N}</math>. The height of the segment is dependent on which side of the rectangle is taken. The lower sum takes the lower side of the rectangle, the upper sum the higher side of the rectangle. In the [[limit]] of <math>N\rightarrow\infty</math> these two [[series (mathematics)|series]] become the integral. If they approach the same value then the integral exists, otherwise it is undefined.
+
As a geometric interpretation of the integral of the [[area]] under a curve, the Riemann integral consists of dividing the area under the curve of the function into slices. The [[domain]] of the function is partioned into N segments of width <math>\frac{b-a}{N}</math> The height of the segment is dependent on which side of the rectangle is taken. The lower sum takes the lower side of the rectangle, the upper sum the higher side of the rectangle. In the [[limit]] of <math>N\rightarrow\infty</math> these two [[series (mathematics)|series]] become the integral. If they approach the same value then the integral exists, otherwise it is undefined.
  
 
===Simpson's Rule===
 
===Simpson's Rule===
 
{{Main|Simpson's rule}}
 
{{Main|Simpson's rule}}
 
'''Simpson's Rule''' is an extension of the Riemann integral. Instead of using shapes such as rectangles or trapezoids, Simpson's Rule allows for the use of parabolas or other higher order polynomials to approximate integrals.
 
'''Simpson's Rule''' is an extension of the Riemann integral. Instead of using shapes such as rectangles or trapezoids, Simpson's Rule allows for the use of parabolas or other higher order polynomials to approximate integrals.
 +
 +
==Multiple integrals==
 +
[[Image:DoubleIntegral.png|right|thumb|200px|A double integral gives the volume under a function over a given area - here, the area under the function (at top) within a square.]]
 +
 +
Multiple integrals are integrals extended to higher dimensions.  Just like a definite integral gives the area under a 2-dimensional function, a double integral gives the volume under a three-dimensional function, and a triple integral gives the four-dimensional volume under a four-dimensional function.  An ordinary integral is integrated over a single variable, such as x; similarly, a double integral is integrated over a two-dimensional area, usually written A; and a triple integral is integrated over a three-dimensional volume, usually written V.
 +
:A double integral: <math>\iint\limits_D f(x,y) dA</math>
 +
:A triple integral: <math>\iiint\limits_V f(x,y,z) dV</math>
 +
 +
[[Fubini's Theorem]] states that, for double integrals,
 +
:<math>\iint\limits_D f(x,y) dA = \int\limits_{y_0}^{y_N} \int\limits_{x_0}^{x_N} f(x,y) dx dy</math>
 +
and for triple integrals,
 +
:<math>\iiint\limits_V f(x,y,z) dV = \int\limits_{z_0}^{z_N} \int\limits_{y_0}^{y_N} \int\limits_{x_0}^{x_N} f(x,y) dx dy dz</math>
 +
 +
These functions can be integrated with respect to the variables x, y, and z in any order.  For example, the double integral above is also equivalent to <math>\int\limits_{x_0}^{x_N} \int\limits_{y_0}^{y_N} f(x,y) dy dx</math>.
  
 
==Lebesgue Integral==
 
==Lebesgue Integral==
 
The Lebesgue integral is usually introduced in late university or early postgraduate mathematics. It is naively described as rotating the Reimann integral, in that it is the range instead of the domain that is partitioned. An understanding of [[measure theory]] is required to understand this technique.
 
The Lebesgue integral is usually introduced in late university or early postgraduate mathematics. It is naively described as rotating the Reimann integral, in that it is the range instead of the domain that is partitioned. An understanding of [[measure theory]] is required to understand this technique.
 +
 +
The Lebesgue integral is defined for every function for which the Riemann integral is defined, as well as for an even larger class of functions: this possibility of integrating functions which are not Riemann integrable is a large part of the motivation for the Lebesgue theory.  A typical example of a function which is Lebesgue integrable but not Riemann integrable is the [[characteristic function]] of the [[rational number|rationals]], <math>\chi_{\mathbb Q}</math>, defined by
 +
::<math>\chi_{\mathbb Q}(x) =
 +
\begin{cases}
 +
  1 & \mbox{if } x \in \mathbb{Q}, \\
 +
  0 & \mbox{if } x \notin \mathbb{Q}
 +
\end{cases}</math>.
 +
Because the rationals are only countable, this function is zero "almost everywhere": there are far more irrationals than rationals, and the function is <math>0</math> at all of these.  Thus we would expect that
 +
::<math>\int_0^1 \chi_{\mathbb Q}(x) \, dx = 0</math>
 +
Unfortunately, this function has so many discontinuities that its Riemann integral is not defined.  However, if we use the Lebesgue integral instead, the function is integrable as hoped, and has the expected value <math>0</math>.
  
 
==See Also==
 
==See Also==

Revision as of 16:34, June 27, 2016

This article/section deals with mathematical concepts appropriate for late high school or early college.

An integral is a mathematical construction used in calculus to represent the area of a region in a plane bounded by the graph of a function in one real variable. Definite integrals use the following notation:

where a and b represent the lower and upper bounds of the interval being integrated over, f(x) represents the function being integrated (the integrand), and dx represents a dummy variable given various definitions, depending on the context of the integral.

A definite integral.

Indefinite integrals use the notation


Integration

Definition

If is a function of bounded variation, then the Riemann integral of is defined as the limit of a Riemann sum:

.

The fact that is of bounded variation implies that the Riemann sum above converges and is independent of the choices of . For integration of measurable functions which may not have bounded variation, the Lebesgue integral must be used. It is easy to see that is the area under the curve f(x) between the vertical line x=a and the vertical line x=b. a and b are called the limits of the integral, and f(x) is called the integrand. This type of integral is referred to as a definite integral, or an integral between definite limits.

Indefinite integrals are related to definite integrals by the second part of the Fundamental Theorem of Calculus.

Applications

The first part of the Fundamental Theorem of Calculus states that integration is the reverse function of differentiation. Thus, if , then .

Note that, because the derivative of any constant function is 0, . Therefore, does not simply equal x2, but rather x2 + C for any constant real number C. The above-mentioned functions are the family of antiderivatives for 2x.

The concept of integration can be extended to functions in more than one real variable, as well as functions defined over the complex numbers.

Integration has many physical applications. The indefinite integral of an acceleration function with respect to time gives the velocity function defined to within a constant, while the definite integral of an acceleration function with respect to time gives the change in velocity between the upper and lower limits of integration. Likewise, the indefinite integral of a time function of velocity with respect to time gives the position function defined to within a constant, and the definite integral of this velocity function will give the change in position between the two limits of integration.

Methods of Integration

For a more detailed treatment, see Methods of integration.
There are many different ways to integrate functions. Sometimes, when it is impossible to directly integrate a function, an approximation is used, such as the Riemann integral. Or, there may be a process to integrate the function using a rule, such as with Integration by parts.

Types of Integrals

There are several types of integrals. Definite integrals are integrals that are evaluated over limits of integration. Indefinite integrals are not evaluated over limits of integration. Evaluating an indefinite integral yields the antiderivative of the integrand plus a constant of integration.

A third type - an improper integral - is an integral in which one of the limits of integration is infinity. Evaluating an improper integral requires taking the limit of the definite integral as the appropriate limit of integration approaches infinity.

A fourth type of integral is known as the Lebesgue integral. The Lebesgue integral is a generalization of the Riemann integral that allows traditionally and non-integrable functions such as the indicator function on the rational numbers to be integrated.

Properties of integrals

Integration has the following properties[1]

Additive Distribution

If an integral contains two functions added together, it may be rewritten as two separate integrals, each containing one function.

Constant Multiplicative Distribution

If an integral contains a function multiplied by a constant, it may be rewritten as the constant times the integral of the function.

Area

Any integral that contains the same upper and lower bounds is equal to zero.

Separation

An integral may be rewritten as the sum of two integrals with adjacent bounds.

,

Additive Inversion

Any integral is equal to the additive inverse of the same integral with reversed upper and lower bounds.

Antiderivative vs Integration

There are important differences between the anti-derivative and integration. An anti-derivative of a function is a function such that,

The integral of a function can be evaluated using its antiderivative,

This works for the kind of functions encountered in late high school and early university mathematics. It is, however, an incomplete method. For example, one cannot write the anti-derivative of in terms of familiar functions (such as trigonometric functions, exponentials, and logarithms) and function operations.

Riemann integral

For a more detailed treatment, see Riemann Integral.
As a geometric interpretation of the integral of the area under a curve, the Riemann integral consists of dividing the area under the curve of the function into slices. The domain of the function is partioned into N segments of width The height of the segment is dependent on which side of the rectangle is taken. The lower sum takes the lower side of the rectangle, the upper sum the higher side of the rectangle. In the limit of these two series become the integral. If they approach the same value then the integral exists, otherwise it is undefined.

Simpson's Rule

For a more detailed treatment, see Simpson's rule.
Simpson's Rule is an extension of the Riemann integral. Instead of using shapes such as rectangles or trapezoids, Simpson's Rule allows for the use of parabolas or other higher order polynomials to approximate integrals.

Multiple integrals

A double integral gives the volume under a function over a given area - here, the area under the function (at top) within a square.

Multiple integrals are integrals extended to higher dimensions. Just like a definite integral gives the area under a 2-dimensional function, a double integral gives the volume under a three-dimensional function, and a triple integral gives the four-dimensional volume under a four-dimensional function. An ordinary integral is integrated over a single variable, such as x; similarly, a double integral is integrated over a two-dimensional area, usually written A; and a triple integral is integrated over a three-dimensional volume, usually written V.

A double integral:
A triple integral:

Fubini's Theorem states that, for double integrals,

and for triple integrals,

These functions can be integrated with respect to the variables x, y, and z in any order. For example, the double integral above is also equivalent to .

Lebesgue Integral

The Lebesgue integral is usually introduced in late university or early postgraduate mathematics. It is naively described as rotating the Reimann integral, in that it is the range instead of the domain that is partitioned. An understanding of measure theory is required to understand this technique.

The Lebesgue integral is defined for every function for which the Riemann integral is defined, as well as for an even larger class of functions: this possibility of integrating functions which are not Riemann integrable is a large part of the motivation for the Lebesgue theory. A typical example of a function which is Lebesgue integrable but not Riemann integrable is the characteristic function of the rationals, , defined by

.

Because the rationals are only countable, this function is zero "almost everywhere": there are far more irrationals than rationals, and the function is at all of these. Thus we would expect that

Unfortunately, this function has so many discontinuities that its Riemann integral is not defined. However, if we use the Lebesgue integral instead, the function is integrable as hoped, and has the expected value .

See Also

External Links

References