Integral: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Greg Martin
(couple more sentences in introduction; removed a \scriptstyle)
mNo edit summary
 
(22 intermediate revisions by 7 users not shown)
Line 1: Line 1:
The '''integral''' is a central concept in [[calculus]]. Intuitively, we can think of an integral as a measure of the totality of an object with an extent in space. For example, integral calculus lets us calculate the length of a curve, the area of a surface, or the volume of a solid object. In other contexts, an integral might measure one quantity that depends on another important quantity that is varying: the distance that a rocket has traveled, for example, depends upon its acceleration which is varying as the rocket's mass decreases from fuel usage, and an integral can take this complication into account. Finally, within calculus ''integration'' (the process of calculating integrals) can be seen as an inverse operation to [[derivative|differentiation]], and so integrals are of great use in the many contexts where derivatives are involved.
{{subpages}}
 
An '''integral''' is a central concept in [[calculus]] that generalizes the idea of a [[sum]] to cover quantities which may be continuously varying. For example, integrals can be used to calculate the length, area or volume of curved objects. An integral might also measure one quantity that depends, in a cumulative way, on another quantity that is varying: the distance that a rocket has traveled, for example, depends upon its acceleration which is varying as the rocket's mass decreases from fuel usage, and an integral can take this complication into account. Finally, within calculus ''integration'' (the process of calculating integrals) can be seen as an inverse operation to [[derivative|differentiation]], and so integrals are of great use in the many contexts where derivatives are involved.


==A geometric definition==
==A geometric definition==
Line 5: Line 7:
The easiest way to understand integrals is perhaps as a means to calculate area. What do we mean by ''area'' in the first place? We do know the precise meaning of area in the case of one simple figure: the [[rectangle]]. A rectangle that is <math>w</math> units wide and <math>h</math> units high has area <math> w \times h</math>; let us take this as the definition of area, along with the property that the cumulative area of two rectangles next to each other is the sum of their respective areas. We can now measure the area of a more complicated shape, such as an apartment floor, by covering it with rectangles, and taking the sum of their individual areas. This is the basic meaning of integration: an integral is simply a sum of smaller parts that together add up to the whole.
The easiest way to understand integrals is perhaps as a means to calculate area. What do we mean by ''area'' in the first place? We do know the precise meaning of area in the case of one simple figure: the [[rectangle]]. A rectangle that is <math>w</math> units wide and <math>h</math> units high has area <math> w \times h</math>; let us take this as the definition of area, along with the property that the cumulative area of two rectangles next to each other is the sum of their respective areas. We can now measure the area of a more complicated shape, such as an apartment floor, by covering it with rectangles, and taking the sum of their individual areas. This is the basic meaning of integration: an integral is simply a sum of smaller parts that together add up to the whole.


Walls are typically at right angles, so tiling a floor with rectangles is no problem. But there are infinitely many kinds of shapes that cannot be ''exactly'' covered with rectangles, such as circles, ellipses, or the interior of any curved shape we can draw. Nevertheless, we think of these shapes as having area. We can ''approximately'' measure the area of such a shape by covering it with many small rectangles. The more and smaller rectangles we choose, the better the approximation becomes. Using the concept of a [[limit (mathematics)|limit]] from [[mathematical analysis]], we can continue to shrink the rectangles until they become infinitely small and the error becomes zero. This process of taking limits is what distinguishes integrals from ordinary sums, and it allows us to ''exactly'' calculate lengths, areas, volumes &mdash; and so on, of ''arbitrarily'' complicated shapes, provided of course that we can express those shapes with exact mathematical formulas.
Walls are typically at right angles, so tiling a floor with rectangles is no problem. But there are infinitely many kinds of shapes that cannot be ''exactly'' covered with rectangles, such as circles, ellipses, or the interior of any curved shape we can draw. Nevertheless, we think of these shapes as having area. We can ''approximately'' measure the area of such a shape by covering it with many small rectangles. The more and smaller rectangles we choose, the better the approximation becomes. Using the concept of a [[limit (mathematics)|limit]] from [[mathematical analysis]], we can continue to shrink the rectangles until they become infinitely small and the error becomes zero. This process of taking limits is what distinguishes integrals from ordinary sums, and it allows us to ''exactly'' calculate lengths, areas, volumes &mdash; and so on, of quite complicated shapes, provided of course that we can express those shapes with exact mathematical formulas.


Let us now give a more formal definition of ''integral'', and also introduce the mathematical notation. Consider a region in the <math>x</math>-<math>y</math>-plane  delimited by the <math>x</math>-axis, two vertical lines at <math>x=a</math> and <math>x=b</math>, and a curve described by the function <math>y = f(x)</math> as <math>x</math> ranges from <math>a</math> to <math>b</math>.
Let us now give a more formal definition of ''integral'', and also introduce the mathematical notation. Consider a region in the <math>x</math>-<math>y</math>-plane  delimited by the <math>x</math>-axis, two vertical lines at <math>x=a</math> and <math>x=b</math>, and a curve described by the function <math>y = f(x)</math> as <math>x</math> ranges from <math>a</math> to <math>b</math>.
Line 11: Line 13:
[[Image:Integration.png|center|frame|Left: a region bounded by three straight lines and the graph of a function <math>f</math>. Right: approximation of the area by rectangles.]]
[[Image:Integration.png|center|frame|Left: a region bounded by three straight lines and the graph of a function <math>f</math>. Right: approximation of the area by rectangles.]]


We can approximate the area of this region by drawing <math>n</math> rectangles of equal base width along the x-axis, and taking the height of each rectangle to be the height to the function graph anywhere along the extent of the rectangle's base &mdash; for example, the rightmost point. Then the <math>k</math>'th rectangle from the left has width <math>(b-a)/n</math> and height <math>h_k = f(a + (b-a)(k/n))</math> and the sum of all rectangle areas is
We can approximate the area of this region by drawing <math>n</math> rectangles of equal base width along the x-axis, and taking the height of each rectangle to be the height to the function graph anywhere along the extent of the rectangle's base &mdash; for example, the rightmost point. Then each rectangle has the width <math>\Delta x = (b-a)/n</math>, the <math>k</math>'th rectangle from the left has the height <math>f(x_k)</math> where <math>x_k = f(a + (b-a)(k/n))</math>, and the sum of all rectangle areas is


:<math>s_n = \frac{b-a}{n} \left( h_1 + h_2 + \cdots + h_n \right).</math>
:<math>s_n = f(x_1) \Delta x + f(x_2) \Delta x + \cdots + f(x_3) \Delta x.</math>


If the function is regular enough,<ref>continuous, for example</ref> the ''exact'' area, <math>s</math>, is given by the limit of this expression as <math>n</math> goes to infinity,
If the function is regular enough,<ref>continuous, for example</ref> the ''exact'' area, <math>s</math>, is given by the limit of this expression as <math>n</math> goes to infinity,
Line 23: Line 25:
:<math>s = \int_a^b f(x) \, dx</math>
:<math>s = \int_a^b f(x) \, dx</math>


The equation is pronounced "<math>s</math> equals the integral of <math>f</math> from <math>a</math> to <math>b</math>". It is no coincidence that the integral sign, <math>\scriptstyle \int</math>, resembles an "S" &mdash; it was originally an "S"  standing for "sum", but the symbol has changed over time.
The equation is pronounced "<math>s</math> equals the integral of <math>f</math> from <math>a</math> to <math>b</math>". It is no coincidence that the integral sign, <math>\scriptstyle \int</math>, resembles an "S" &mdash; it was originally an "S"  standing for "sum", but the symbol has evolved over time. The function <math>f</math> is called the ''integrand''. Note the similarity between the expression <math>f(x) dx</math> and each term in the sum for <math>s_n</math>: the symbol <math>dx</math> can be understood to mean an [[infinitesimal]] width in the <math>x</math>-direction.
 
==Calculating integrals==
 
Let us now look at the problem of calculating the integral of a function <math>f</math>, which is [[continuous function|continuous]] between two points <math>a</math> and <math>b</math>. To do this, we introduce a function <math>F</math> that gives the integral of <math>f</math> from some fixed reference point, say <math>x = 0</math>, to a point <math>x = t</math>,
 
:<math>F(t) = \int_0^t f(x) \, dx.</math>
 
This function is called the ''primitive function'' of <math>f</math>. If we know the primitive function of <math>f</math>, we can calculate the integral we set out to find as
 
:<math>\int_a^b f(x) \, dx = F(b) - F(a).</math>
 
In words, the integral of <math>f</math> between <math>a</math> and <math>b</math> is the difference between the integrals to those points, each taken from the reference point.
 
We usually don't have to worry about the choice of reference point, and the reason is that both terms <math>F(b)</math> and <math>F(a)</math> include the same contribution from the integral between the reference point and <math>a</math>, so subtracting the terms cancels that difference. An analogy is that the altitude difference between two locations on Earth is the difference between both altitudes as measured from a reference point such as sea level, but we could equally well use the center of the Earth as a reference point.
 
{{Image|Primitive function.png|center|700px|The primitive function <math>F</math> measures the area under the graph of <math>y = f(x)</math> from a reference point <math>r</math>. The first two figures show the interpretation of <math>F(a)</math> and <math>F(b)</math> for two points <math>a</math> and <math>b</math>. The third figure shows the integral <math>F(b) - F(a) = \textstyle \int_a^b f(x) dx</math>. The choice of <math>r</math> matters for the values of <math>F(b)</math> and <math>F(a)</math>, but does not matter for <math>F(b)-F(a)</math> as long as we use the same <math>r</math> when calculating both <math>F(a)</math> and <math>F(b)</math>.}}
 
We called <math>F</math> "the" primitive function, but every function has infinitely many primitive functions, one for each reference point. If <math>F(x)</math> is one primitive function to <math>f(x)</math>, then so is <math>G(x) = F(x) + C</math>, where <math>C</math> is a ''constant of integration'' that accounts for the integral of <math>f</math> between the two reference points. Then, <math>G(b) - G(a) = F(b) + C - F(a) - C = F(b) - F(a)</math>. But except for the addition of constants, it can be shown that primitive functions are unique.


==Calculating integrals analytically==
The only missing piece needed to calculate integrals is a way to actually calculate the primitive functions. To do this we need the concept of [[derivative]], which is the rate of change of a function at a given point (the derivative of a function <math>f</math> is denoted by <math>f'\,</math>). The rate of change of the primitive function <math>F</math> at a point equals the value of <math>f</math> at that point: the higher the graph of <math>f</math> is above the <math>x</math>-axis, the quicker the cumulative area grows. Therefore,


==Numerical integration==
:<math>F'(x) = f(x).\,</math>


==Multiple integrals==
This formula is the main result of the [[fundamental theorem of calculus]]. The fundamental theorem says that integration and differentation (the calculation of a derivative) are, essentially, inverse operations of each other. Its most immediate consequence is that if we have a table of derivatives for common functions, we can flip the columns in the table to obtain a table of primitive functions. Here is one short such table:
 
{| class="wikitable" style="text-align:center"
!<math>f(x) [= F'(x)]</math>
!Primitive function, <math>F(x)</math>
|-
|<math>a\,</math>
|<math>ax + C\,</math>
|-
|<math>ax\,</math>
|<math>\frac{ax^2}{2} + C</math>
|-
|<math>x^n\,</math>
|<math>\frac{x^{n+1}}{n+1} + C</math>
|-
|<math>e^{ax}\,</math>
|<math>\frac{e^{ax}}{a} + C</math>
|-
|<math>\frac{1}{x}</math>
|<math>\ln x + C\,</math>
|}
 
A good exercise is to calculate the derivative of each function in the right column to check the table; it should be noted, in particular, that the constant of integration always disappears upon differentation of the primitive function. Qualitatively, this can be understood to mean that the derivative is a "local" property of a function, whereas the integral is a "global" property; when integrating to a point, one must add a constant to account for the function's behavior prior to that point, but when calculating the derivative at a point, the function's behavior elsewhere is irrelevant and that information is lost.
 
Like differentation, integration is a [[linear operation]], so the primitive of the sum of two functions, <math>f(x) + g(x)</math>, is the sum of their respective primitive functions, <math>F(x)+G(x)</math>. Likewise, if we multiply a function by a constant, the primitive function is also multiplied by a constant: <math>c F'(x)</math> = <math>c f(x)</math>. Using these properties and the table above, we can calculate integrals of a large number of functions; for example, of any polynomial.
 
Let us consider a concrete example:
 
:<math>s = \int_1^3 \left(3x^2 + \frac{1}{x}\right) dx</math>
 
The primitive function is
 
:<math>F(x) = x^3 + \ln x + C\,</math>
 
and the integral is
 
:<math>s = F(3) - F(1) = (3^3 - \ln 3 + C) - (1^3 - \ln 1 + C) = 26 + \ln 3.\,</math>
 
Unfortunately, if we try to calculate primitive functions of more complicated functions, things get more difficult. When differentiating, we can always find the derivative of a product of functions with the [[product rule]], a quotient with the [[quotient rule]], and a composition of functions with the [[chain rule]]. There are no general formulas of this kind for integration; instead, we have to use tricks such as [[integration by substitution]] and [[integration by parts]]. But even these tricks are not guaranteed to succeed; there are [[elementary function]]s whose primitive functions are not elementary. For example, integrating the product of a power function and an exponential leads to the [[gamma function]].
 
==Applications==
 
We introduced the integral as a measure of the area under the graph a function, but a function does not have to be interpreted as literally describing height: it may describe velocity, density, or anything else. Generally, if a function describes the rate of change of a quantity, its integral describes the accumulated quantity.
 
The variable <math>x</math> also does not literally have to represent distance: the rate of change can be measured against any other varying quantity. For example, not least in [[physics]], the rate of change is often measured with respect to time, in which case it is common to use the variable <math>t</math> instead of <math>x</math>. Some examples are given in the following table:
 
{| class="wikitable"
|<math>f(t)\,</math>
|<math>\int_0^T f(t) \, dt</math>
|-
|Velocity of a car at time <math>t</math> (m/s)
|Distance from the start after time <math>T</math> (m)
|-
|Acceleration of a car at time <math>t</math> (m/s<sup>2</sup>)
|Velocity of the car at time <math>T</math> (m/s)
|-
|Rate at which a liquid flows into a tank at time <math>t</math> (m<sup>3</sup>/s)
|Volume filled after time <math>T</math> (m<sup>3</sup>)
|}
 
Note that when integrating a physical quantity with respect to time, the resulting unit must be multiplied by the unit of time. More generally, if the unit of <math>x</math> is <math>A</math> and the unit of <math>f(x)</math> is <math>B</math>, the unit of an integral of <math>f</math> is <math>AB</math>, since the integral is essentially a sum of products of the form <math>x f(x)</math>.
 
These examples may also serve to illustrate an important difference between integrals and the geometric notion of area: integrals are signed; they can negative as well as positive. If a part of the graph of <math>f(x)</math> is located below the <math>x</math>-axis, its contribution to the integral is negative. If a car, after traveling some distance with a positive velocity, travels with a negative velocity &mdash; i.e. backwards, the distance from the start decreases. If the positive and negative areas of the graph are equal, the integral is zero: the car is back where it started. Likewise, if we pour liquid ''out of'' the tank, the filled volume decreases.


==Technical definitions==
==Technical definitions==
<!--
the case of discontinuous functions; Riemann vs Lebesgue, etc ...
-->


==Notes and references==
==Notes and references==
{{reflist}}
{{reflist}}[[Category:Suggestion Bot Tag]]
 
[[Category:CZ Live]]
[[Category:Mathematics Workgroup]]

Latest revision as of 11:01, 1 September 2024

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

An integral is a central concept in calculus that generalizes the idea of a sum to cover quantities which may be continuously varying. For example, integrals can be used to calculate the length, area or volume of curved objects. An integral might also measure one quantity that depends, in a cumulative way, on another quantity that is varying: the distance that a rocket has traveled, for example, depends upon its acceleration which is varying as the rocket's mass decreases from fuel usage, and an integral can take this complication into account. Finally, within calculus integration (the process of calculating integrals) can be seen as an inverse operation to differentiation, and so integrals are of great use in the many contexts where derivatives are involved.

A geometric definition

The easiest way to understand integrals is perhaps as a means to calculate area. What do we mean by area in the first place? We do know the precise meaning of area in the case of one simple figure: the rectangle. A rectangle that is units wide and units high has area ; let us take this as the definition of area, along with the property that the cumulative area of two rectangles next to each other is the sum of their respective areas. We can now measure the area of a more complicated shape, such as an apartment floor, by covering it with rectangles, and taking the sum of their individual areas. This is the basic meaning of integration: an integral is simply a sum of smaller parts that together add up to the whole.

Walls are typically at right angles, so tiling a floor with rectangles is no problem. But there are infinitely many kinds of shapes that cannot be exactly covered with rectangles, such as circles, ellipses, or the interior of any curved shape we can draw. Nevertheless, we think of these shapes as having area. We can approximately measure the area of such a shape by covering it with many small rectangles. The more and smaller rectangles we choose, the better the approximation becomes. Using the concept of a limit from mathematical analysis, we can continue to shrink the rectangles until they become infinitely small and the error becomes zero. This process of taking limits is what distinguishes integrals from ordinary sums, and it allows us to exactly calculate lengths, areas, volumes — and so on, of quite complicated shapes, provided of course that we can express those shapes with exact mathematical formulas.

Let us now give a more formal definition of integral, and also introduce the mathematical notation. Consider a region in the --plane delimited by the -axis, two vertical lines at and , and a curve described by the function as ranges from to .

Left: a region bounded by three straight lines and the graph of a function . Right: approximation of the area by rectangles.

We can approximate the area of this region by drawing rectangles of equal base width along the x-axis, and taking the height of each rectangle to be the height to the function graph anywhere along the extent of the rectangle's base — for example, the rightmost point. Then each rectangle has the width , the 'th rectangle from the left has the height where , and the sum of all rectangle areas is

If the function is regular enough,[1] the exact area, , is given by the limit of this expression as goes to infinity,

This limit is called an integral, or more technically, a Riemann integral. Its notation is the following:

The equation is pronounced " equals the integral of from to ". It is no coincidence that the integral sign, , resembles an "S" — it was originally an "S" standing for "sum", but the symbol has evolved over time. The function is called the integrand. Note the similarity between the expression and each term in the sum for : the symbol can be understood to mean an infinitesimal width in the -direction.

Calculating integrals

Let us now look at the problem of calculating the integral of a function , which is continuous between two points and . To do this, we introduce a function that gives the integral of from some fixed reference point, say , to a point ,

This function is called the primitive function of . If we know the primitive function of , we can calculate the integral we set out to find as

In words, the integral of between and is the difference between the integrals to those points, each taken from the reference point.

We usually don't have to worry about the choice of reference point, and the reason is that both terms and include the same contribution from the integral between the reference point and , so subtracting the terms cancels that difference. An analogy is that the altitude difference between two locations on Earth is the difference between both altitudes as measured from a reference point such as sea level, but we could equally well use the center of the Earth as a reference point.

The primitive function measures the area under the graph of from a reference point . The first two figures show the interpretation of and for two points and . The third figure shows the integral . The choice of matters for the values of and , but does not matter for as long as we use the same when calculating both and .

We called "the" primitive function, but every function has infinitely many primitive functions, one for each reference point. If is one primitive function to , then so is , where is a constant of integration that accounts for the integral of between the two reference points. Then, . But except for the addition of constants, it can be shown that primitive functions are unique.

The only missing piece needed to calculate integrals is a way to actually calculate the primitive functions. To do this we need the concept of derivative, which is the rate of change of a function at a given point (the derivative of a function is denoted by ). The rate of change of the primitive function at a point equals the value of at that point: the higher the graph of is above the -axis, the quicker the cumulative area grows. Therefore,

This formula is the main result of the fundamental theorem of calculus. The fundamental theorem says that integration and differentation (the calculation of a derivative) are, essentially, inverse operations of each other. Its most immediate consequence is that if we have a table of derivatives for common functions, we can flip the columns in the table to obtain a table of primitive functions. Here is one short such table:

Primitive function,

A good exercise is to calculate the derivative of each function in the right column to check the table; it should be noted, in particular, that the constant of integration always disappears upon differentation of the primitive function. Qualitatively, this can be understood to mean that the derivative is a "local" property of a function, whereas the integral is a "global" property; when integrating to a point, one must add a constant to account for the function's behavior prior to that point, but when calculating the derivative at a point, the function's behavior elsewhere is irrelevant and that information is lost.

Like differentation, integration is a linear operation, so the primitive of the sum of two functions, , is the sum of their respective primitive functions, . Likewise, if we multiply a function by a constant, the primitive function is also multiplied by a constant: = . Using these properties and the table above, we can calculate integrals of a large number of functions; for example, of any polynomial.

Let us consider a concrete example:

The primitive function is

and the integral is

Unfortunately, if we try to calculate primitive functions of more complicated functions, things get more difficult. When differentiating, we can always find the derivative of a product of functions with the product rule, a quotient with the quotient rule, and a composition of functions with the chain rule. There are no general formulas of this kind for integration; instead, we have to use tricks such as integration by substitution and integration by parts. But even these tricks are not guaranteed to succeed; there are elementary functions whose primitive functions are not elementary. For example, integrating the product of a power function and an exponential leads to the gamma function.

Applications

We introduced the integral as a measure of the area under the graph a function, but a function does not have to be interpreted as literally describing height: it may describe velocity, density, or anything else. Generally, if a function describes the rate of change of a quantity, its integral describes the accumulated quantity.

The variable also does not literally have to represent distance: the rate of change can be measured against any other varying quantity. For example, not least in physics, the rate of change is often measured with respect to time, in which case it is common to use the variable instead of . Some examples are given in the following table:

Velocity of a car at time (m/s) Distance from the start after time (m)
Acceleration of a car at time (m/s2) Velocity of the car at time (m/s)
Rate at which a liquid flows into a tank at time (m3/s) Volume filled after time (m3)

Note that when integrating a physical quantity with respect to time, the resulting unit must be multiplied by the unit of time. More generally, if the unit of is and the unit of is , the unit of an integral of is , since the integral is essentially a sum of products of the form .

These examples may also serve to illustrate an important difference between integrals and the geometric notion of area: integrals are signed; they can negative as well as positive. If a part of the graph of is located below the -axis, its contribution to the integral is negative. If a car, after traveling some distance with a positive velocity, travels with a negative velocity — i.e. backwards, the distance from the start decreases. If the positive and negative areas of the graph are equal, the integral is zero: the car is back where it started. Likewise, if we pour liquid out of the tank, the filled volume decreases.

Technical definitions

Notes and references

  1. continuous, for example