The is a kind of ''definite'' ''' Integral ''' extended to Functions of more than one real Variable (i.e. or ).
It is easy to confuse the concepts of ''multiple integral'' and Iterated Integral , especially since the same notation is often used for either concept. The notation
:
in some cases means an iterated integral rather than a true double integral. In an iterated integral, the outer integral
:
is the integral with respect to ''x'' of the following function of ''x'':
:
A double integral, on the other hand is defined with respect to area in the ''xy''-plane. If the double integral exists, then it is equal to either of the two iterated integrals (either "''dy dx''" or "''dx dy''"; see Fubini's Theorem ) and one often computes it by computing either of the iterated integrals. But sometimes the two iterated integrals exist when the double integral does not, and in some such cases the two iterated integrals are different numbers, i.e., one has
:
For an elementary example (doable by the methods of first-year Calculus ), see Examples Of Fubini's Theorem . This is an instance of rearrangement of a Conditionally Convergent integral.
The notation
:
may be used if one wishes to be emphatic about intending a double integral rather than an iterated integral.
If, conceptually, the definite integral for functions of one variable represent the Area of the region on the graph between the curve defined by the function and the ''x''-axis, that for functions of two variables ( Double Integral ) represent the measure of the space between the surface defined by the function and the plane which contains its Domain , so they describe not an area but a Volume of a particular solid called Cylindroid ; you obtain the same value if you consider the ''triple integrals'' (functions of three variables) calculated with the constant ''f''(''x'', ''y'', ''z'') = 1. If the number of variables is higher you will calculate " Hypervolume s" (volumes of solid of more than three dimensions) that you cannot graph.
In that example the volume of the Parallelepiped of sides 4x6x5 is obtainable by two ways:
- by the Double Integral of the function ''f''(''x'', ''y'') = 5 calculated in the "bi-dimensional interval" ''D'' (region contained in the ''xy''-plane)
- by the triple integral of the constant function 1 calculated on the "three-dimensional" interval coinciding with the same parallelepiped; in that case the volume is considered as the "sum" of all the Infinitesimal elements that compose the domain.
Because is impossible to calculate the Antiderivative of a function of more than one variable, ''indefinite'' multiple integrals do not exist so they are all ''definite'' integrals.
These integrals are used in a lot of Physics applications.
In Mechanics the Moment Of Inertia is calculated as a volume integral (that is a triple integral) of the Density weighed with the square of the distance from the axis:
:
In Electromagnetism the Maxwell's Equations can be written with multiple integrals to calculate the total magnetic and electric fields. In the example the Electric Field produced by a Distribution Of Charges is obtained by a ''triple integral'' of a vector function:
|
:and obtain the same value.
Is immediate the extension of these formulas to the triple integrals.
''T'' is a domain perpendicular to the ''xy''-plane respect to the α (''x'',''y'',''z'') and β(''x'',''y'',''z'') functions. Then:
:
(this definition is the same for the other five normality cases on
3).
Often, because the limits of integration are not easily interchangeable (without normality or with complex formulas to integrate) one makes a ''change of variables'' to rewrite the integral on more a "comfortable" region, that is described in simpler way through formulas. To do that, the function must be changed to the new coordinates.
:
Example (1-a):
::The function is
;
::if you adopt this substitution
therefore
::you obtain new function
.
- Ditto for the dominion because it's delimitated by the original variables that we had transformed before (''x'' and ''y'' in example).
- the Differentials (''dx'' and ''dy'' as an example) depend on Determining Of The Jacobian Matrix containing the partial derivatives of the transformations regarding the variable new (look at as example differentiates them of the transformation in polar coordinates).
There exist three main "kinds" of changes of variable (one in
2, two in
3), however is possible to hand with this method so as to to operate the substitution that more thinks good.
See Also: coordinates (mathematics)
In
2 if the domain as a circular "symmetry" (if it describes a
Circular Crown ) and the function has some "particular" characteristics you can apply the ''passate to polar coordinates'' (see the example in the picture) which means that the generic points ''P(x,y)'' in cartesian coordinates switch to their respective points in polar coordinates. That allows to change the "shape" of the domain and simplify the operations.
The fundamental relation to make the transformation is the follow:
:
Example (2-a):
:The function is
:and applying the transformation you get
::
Example (2-b):
:The function is
:In this case you get
::
:using the
Pythagorean Trigonometric Identity (very useful to simplify this operations).
The transformation of the domain is made by defining the radius' crown's length and the amplitude of the described angle to define the ρ, φ intervals starting from ''x'', ''y''.
Example (2-c):
:The domain is
, that is a circumference of radius 2; it's evident that the described angle is the
Circle Angle , so φ varies from 0 to 2π, while the crown's radius varies from 0 to 2 (the crown with the inside radius null is just a circle).
Example (2-d):
:The domain is
, that is the circular crown in the semiplane of positive ''y'' (please see the picture in the example); you note that φ describes a
Plane Angle while ρ varies from 2 to 3. Therefore the transformed domain will be the following
Rectangle :
::
.
The
Jacobian Determinant of that transformation is the following:
:
which has been got by inserting the partial derivatives of ''x'' = ρ cos(φ), ''y'' = ρ sin(φ) in the first column respect to ρ and in the second respect to φ, so the ''dx dy'' differentials in this transformation becomes ρ ''d''ρ ''d''φ.
Once transformed the function and evaluated the domain, it's possible to define the formula for the change of variables in polar coordinates:
:
Please note that φ is valid in the
2π interval while ρ, because it is a measure of a length, can only have positive values.
Example (2-e):
:The function is
and as the domain the same in 2-d example.
:From the previous analysis of ''D'' we know the intervals of ρ (from 2 to 3) and of φ (from 0 to π). Now let's change the function:
::
:finally let's apply the integration formula:
::
:Once known the intervals you have
::
In
3 the integration on domains with a circular base can be made by the ''passage in cylindrical coordinates''; the transformation of the function is made by the following relation:
The domain's transformation is easy because graphically only the shape of the base varies while the three-dimensional development follows that of the starting region.
Example (3-a):
:The region is
(that is the "tube" whose base is the circular crown of the 2-d example and whose height is 5); if you apply the transformation you'll get this region:
(that is the parallelepiped whose base is the rectangle in 2-d example and whose height is 5).
Because the ''z'' component is unvaried during the transformation, the ''dx dy dz'' differentials vary as in the passage in polar coordinates, therefore they become ''ρ dρ dφ dz''.
Finally, it is possible to apply the final formula for the passage in cylindrical coordinates:
:
This method is convenient in case of cylindrical or conical domains or in regions where is easy to individuate the ''z'' interval and even transform the circular base and the function.
Example (3-b):
:The function is
and as integration domain this
Cylinder :
.
:The transformation of ''D'' in cylindrical coordinates is the following:
::
:while the function becomes
::
:Finally you can apply the integration's formula:
::
:developing the formula you have
::
::
In
3 some domains have a spherical symmetry, so it's possible to determinate the coordinates of every point of the integration's region by two angles and one distance. It's possible to use therefore the ''passage in spherical coordinates''; the function is transformed by this relation:
Please note that points on ''z'' axis don't have a precise characterization in spherical coordinates, so ''θ'' can varies from 0 to π .
The better integration's domain for this passage is obviously the sphere.
Example (4-a):
:The domain is
(sphere with radius 4 and center in the origin); applying the transformation you get this region:
:The Jacobian determinant of this transformation is the following:
::
:The ''dx dy dz'' differentials therefore are transformed to ρ
2 sin(θ) ''d''ρ ''d''θ ''d''φ.
:Finally you obtain the final integration formula:
::
:It's better to use this method in case of spherical domains in case of functions that you can easily simplify by the first fundamental relation of trigonometry extended in '''R'''
3 (please see the 4-b example); in the other cases it's better to use the passage in cylindrical coordinates (please see the 4-c example).
Example (4-b):
:Its transformation is very easy:
::
:while we know the intervals of the transformed region ''T'' from ''D'':
::
:Let's apply therefore the integration's formula:
::
:and developing we get
::
::
Example (4-c):
:The domain ''D'' is the ball with center in the origin and radius ''3a'' (
) and
is the function to integrate.
:Looking at the domain seems convenient adopting the passage in spherical coordinates, in fact are immediate the intervals of the variables that delimit the new ''T'' region:
::
:However applying the transformation we get
::
.
:Applying the formula for integration it would be obtained:
::
:very hard to solve. This problem will be solved by using the passage in cylindrical coordinates. The new ''T'' intervals are
::
:the ''z'' interval has been obtained by dividing the ball in two semispheres simply by solving the
Inequality from the formula of ''D'' (and then directly transforming ''x
2 + y
2'' in ''ρ
2''). The new function is simply ''ρ
2''. Therefore let's apply the integration formula
::
.
:Then we get
::
:Now let's apply the transformation
::
:(the new intervals become
). We get
::
:because
, we get
::
:after inverting the integration's bounds and multiplying the terms between parenthesis is possible to decompose the integral in two parts that can be directly solved:
::
::
:Thanks to the passage in cylindrical coordinates it was possible to reduce the triple integral to an easier one-variable integral.
See also the differential volume entry in
Nabla In Cylindrical And Spherical Coordinates .
Thanks to the methods previously described are possible to demonstrate the value of the volume of some solid ones.
- : Considering like dominion the circular base of radius ''R'' and like function the constant of the height ''h'', applies the passage in polar coordinates directly:
::
- height =
- : Is of fast demonstration the formula applying the passage in spherical coordinates of the integrated constant function ''1'' on the sphere of the same radius ''R'':
::
- (triangular Pyramid to base or 3- Simplex ): The volume of the tetrahedron with apex in the origin and chines of length ''l'' carefully lay down to you on the three cartesian axes can be calculated through the reduction formulas considering, as an example, normality regarding the plan ''xy'' and to axis ''x'' and like function constant ''1''.
::
::
::
: ''Verification'': Volume = base area × height/3 =
In case of unbounded domains or unbounded integrands near the frontier of the dominion you have the double
Improper Integral or the .
''Sources verified on: Robert A. Adams - Calcolo differenziale 2, Funzioni di più variabili ISBN 8840810242''