Order of integration (calculus)

Short description: Order in which multiple or iterated integrals are computed

Part of a series of articles about

Calculus

* Fundamental theorem

* Limits of functions
* Continuity

* Mean value theorem
* Rolle's theorem

Differential

|  Definitions

* Derivative (generalizations)

* Differential
* infinitesimal
* of a function
* total

Concepts

* Differentiation notation
* Second derivative
* Third derivative
* Change of variables
* Implicit differentiation
* Related rates
* Taylor's theorem

Rules and identities

* Sum
* Product
* Chain
* Power
* Quotient
* Inverse
* General Leibniz
* Faà di Bruno's formula

Integral

* Lists of integrals

Definitions

* Antiderivative
* Integral (improper)
* Riemann integral
* Lebesgue integration
* Contour integration

Integration by

* Parts
* Discs
* Cylindrical shells
* Substitution (trigonometric)
* Partial fractions
* Order
* Reduction formulae

Series

* Geometric (arithmetico-geometric)
* Harmonic
* Alternating
* Power
* Binomial
* Taylor

Convergence tests

* Summand limit (term test)
* Ratio
* Root
* Integral
* Direct comparison

Limit comparison
* Alternating series
* Cauchy condensation
* Dirichlet
* Abel

Vector

* Gradient
* Divergence
* Curl
* Laplacian
* Directional derivative
* Identities

Theorems

* Divergence
* Gradient
* Green's
* Kelvin–Stokes
* Stokes

Multivariable

|  Formalisms

* Matrix
* Tensor
* Exterior
* Geometric

Definitions

* Partial derivative
* Multiple integral
* Line integral
* Surface integral
* Volume integral
* Jacobian
* Hessian

Specialized

* Fractional
* Malliavin
* Stochastic
* Variations

Glossary of calculus

* Glossary of calculus

* v
* t
* e

In calculus, interchange of the order of integration is a methodology that transforms iterated integrals (or multiple integrals through the use of Fubini's theorem) of functions into other, hopefully simpler, integrals by changing the order in which the integrations are performed. In some cases, the order of integration can be validly interchanged; in others it cannot.

## Contents

* 1 Problem statement
* 2 Relation to integration by parts
* 3 Principal-value integrals
* 4 Basic theorems
* 5 See also
* 6 References and notes
* 7 External links

## Problem statement

The problem for examination is evaluation of an integral of the form

∬D f(x,y) dxdy,

where D is some two-dimensional area in the xy–plane. For some functions f straightforward integration is feasible, but where that is not true, the integral can sometimes be reduced to simpler form by changing the order of integration. The difficulty with this interchange is determining the change in description of the domain D.

The method also is applicable to other multiple integrals.[1][2]

Sometimes, even though a full evaluation is difficult, or perhaps requires a numerical integration, a double integral can be reduced to a single integration, as illustrated next. Reduction to a single integration makes a numerical evaluation much easier and more efficient.

## Relation to integration by parts

Figure 1: Integration over the triangular area can be done using vertical or horizontal strips as the first step. This is an overhead view, looking down the z-axis onto the xy-plane. The sloped line is the curve y = x.

Consider the iterated integral

∫az∫axh(y)dydx,

In this expression, the second integral is calculated first with respect to y and x is held constant—a strip of width dx is integrated first over the y-direction (a strip of width dx in the x direction is integrated with respect to the y variable across the y direction), adding up an infinite amount of rectangles of width dy along the y-axis. This forms a three dimensional slice dx wide along the x-axis, from y=a to y=x along the y-axis, and in the z direction z=h(y). Notice that if the thickness dx is infinitesimal, x varies only infinitesimally on the slice. We can assume that x is constant.[3] This integration is as shown in the left panel of Figure 1, but is inconvenient especially when the function h(y) is not easily integrated. The integral can be reduced to a single integration by reversing the order of integration as shown in the right panel of the figure. To accomplish this interchange of variables, the strip of width dy is first integrated from the line x = y to the limit x = z, and then the result is integrated from y = a to y = z, resulting in:

∫az∫axh(y) dy dx=∫azh(y) dy ∫yzdx=∫az(z−y)h(y)dy.

This result can be seen to be an example of the formula for integration by parts, as stated below:[4]

∫azf(x)g′(x)dx=[f(x)g(x)]az−∫azf′(x)g(x)dx

Substitute:

f(x)=∫axh(y)dy and g′(x)=1.

Which gives the result.

## Principal-value integrals

For application to principal-value integrals, see Whittaker and Watson,[5] Gakhov,[6] Lu,[7] or Zwillinger.[8] See also the discussion of the Poincaré-Bertrand transformation in Obolashvili.[9] An example where the order of integration cannot be exchanged is given by Kanwal:[10]

1(2πi)2∫L*dτ1τ1−t ∫L* g(τ)dττ−τ1=14g(t) ,

while:

1(2πi)2∫L*g(τ) dτ(∫L*dτ1(τ1−t)(τ−τ1))=0 .

The second form is evaluated using a partial fraction expansion and an evaluation using the Sokhotski-Plemelj formula:[11]

∫L*dτ1τ1−t=∫L*dτ1τ1−t=π i .

The notation ∫L* indicates a Cauchy principal value. See Kanwal.[10]

## Basic theorems

A discussion of the basis for reversing the order of integration is found in the book Fourier Analysis by T.W. Körner.[12] He introduces his discussion with an example where interchange of integration leads to two different answers because the conditions of Theorem II below are not satisfied. Here is the example:

∫1∞x2−y2(x2+y2)2 dy=[yx2+y2]1∞=−11+x2 [x≥1] .

∫1∞(∫1∞x2−y2(x2+y2)2 dy) dx=−π4 .
∫1∞(∫1∞x2−y2(x2+y2)2 dx) dy=π4 .

Two basic theorems governing admissibility of the interchange are quoted below from Chaudhry and Zubair:[13]

Theorem I -- Let f(x, y) be a continuous function of constant sign defined for a ≤ x < ∞, c ≤ y < ∞, and let the integrals

J(y):=∫a∞f(x, y)dx and  J*(x)=∫c∞f(x, y)dy

regarded as functions of the corresponding parameter be, respectively, continuous for c ≤ y < ∞, a ≤ x < ∞. Then if at least one of the iterated integrals

∫c∞(∫a∞ f(x, y)dx)dy and  ∫a∞ (∫c∞ f(x, y)dy)dx

converges, the other integral also converges and their values coincide.

Theorem II -- Let f(x, y) be continuous for a ≤ x < ∞, c ≤ y < ∞, and let the integrals

J(y):=∫a∞f(x, y)dx and  J*(x)=∫c∞f(x, y)dy

be respectively, uniformly convergent on every finite interval c ≤ y < C and on every finite interval a ≤ x < A. Then if at least one of the iterated integrals

∫c∞(∫a∞|f(x, y)|dx)dy and  ∫a∞ (∫c∞|f(x, y)|dy)dx

converges, the iterated integrals

∫c∞(∫a∞f(x, y)dx)dy and  ∫a∞(∫c∞f(x, y)dy)dx

also converge and their values are equal.

The most important theorem for the applications is quoted from Protter and Morrey:[14]

Theorem -- Suppose F is a region given by F={(x, y):a≤x≤b,p(x)≤y≤q(x)} where p and q are continuous and p(x) ≤ q(x) for a ≤ x ≤ b. Suppose that f(x, y) is continuous on F. Then

∬Ff(x,y)dA=∫ab∫p(x)q(x)f(x, y)dy dx.

The corresponding result holds if the closed region F has the representation F={(x, y):c≤y≤d, r(y)≤x≤s(y)} where r(y) ≤ s(y) for c ≤ y ≤ d. In such a case,

∬Ff(x, y)dA=∫cd∫r(y)s(y)f(x, y)dx dy .

In other words, both iterated integrals, when computable, are equal to the double integral and therefore equal to each other.

## See also

* Fubini's theorem

## References and notes

1. ↑ Seán Dineen (2001). Multivariate Calculus and Geometry. Springer. p. 162. ISBN 1-85233-472-X. https://books.google.com/books?id=1YNX3YAf1vMC&dq="order+of+integration"&pg=PA165.
2. ↑ Richard Courant & Fritz John (2000). Introduction to Calculus and Analysis: Vol. II/1, II/2. Classics in mathematics. Springer. p. 897. ISBN 3-540-66569-2. https://books.google.com/books?id=ngkQxS4eicgC&dq="order+of+integration"&pg=RA3-PA891.
3. ↑ "Double Integrals". Department of Mathematics, Oregon State University. 1996. https://math.oregonstate.edu/home/programs/undergrad/CalculusQuestStudyGuides/vcalc/255doub/255doub.html.
4. ↑ The prime " ′ " denotes a derivative in Lagrange's notation.
5. ↑ Edmund Taylor Whittaker; George Neville Watson (1927). A Course of Modern Analysis: an introduction to the general theory of infinite processes and of analytic functions, with an account of the principal transcendental functions (4th ed., repr ed.). Cambridge University Press. p. §4.51, p. 75. ISBN 0-521-58807-3.
6. ↑ F. D. Gakhov (1990). Boundary Value Problems. Courier Dover Publications. p. 46. ISBN 0-486-66275-6. https://books.google.com/books?id=9G7sfwTDv8QC&dq="order+of+integration"&pg=PA46.
7. ↑ Jian-Ke Lu (1993). Boundary Value Problems for Analytic Functions. Singapore: World Scientific. p. 44. ISBN 981-02-1020-5. https://books.google.com/books?id=RFafUfgB1dAC&dq=principal+value+"order+of++integration"&pg=PA43.
8. ↑ Daniel Zwillinger (1992). Handbook of integration. AK Peters Ltd.. p. 61. ISBN 0-86720-293-9. https://books.google.com/books?id=DQd4wfV7fo0C&dq="order+of+integration"&pg=PA61.
9. ↑ Elena Irodionovna Obolashvili (2003). Higher order partial differential equations in Clifford analysis: effective solutions to problems. Birkhäuser. p. 101. ISBN 0-8176-4286-2. https://books.google.com/books?id=HmvmB6NCyEAC&dq=principal+value+"order+of++integration"&pg=PA101.
10. ↑ 10.0 10.1 Ram P. Kanwal (1996). Linear Integral Equations: theory and technique (2nd ed.). Boston: Birkhäuser. p. 194. ISBN 0-8176-3940-3. https://books.google.com/books?id=-bV9Qn8NpCYC&dq=+"Poincaré-Bertrand+transformation"&pg=PA194.
11. ↑ For a discussion of the Sokhotski-Plemelj formula see, for example, Joseph A. Cima, Alec L. Matheson & William T. Ross (2006). The Cauchy Transform. American Mathematical Society. p. 56. ISBN 0-8218-3871-7. https://books.google.com/books?id=1sVLg512ffIC&dq="Plemelj+formula"&pg=PA56. or Rainer Kress (1999). Linear integral equations (2nd ed.). Springer. p. Theorem 7.6, p. 101. ISBN 0-387-98700-2. https://books.google.com/books?id=R3BIOfKssQ4C&dq="Plemelj+formula"&pg=PA115.
12. ↑ Thomas William Körner (1988). Fourier Analysis. Cambridge University Press. p. Chapters 47 & 48. ISBN 0-521-38991-7. https://books.google.com/books?id=DZTDtXs4OQAC&q=Fourier+analysis+subject:"Fourier+analysis".
13. ↑ M. Aslam Chaudhry & Syed M. Zubair (2001). On a Class of Incomplete Gamma Functions with Applications. CRC Press. p. Appendix C. ISBN 1-58488-143-7. https://books.google.com/books?id=Edf4KrG_vlYC&dq="order+of+integration"&pg=PA458.
14. ↑ Murray H. Protter & Charles B. Morrey, Jr. (1985). Intermediate Calculus. Springer. p. 307. ISBN 0-387-96058-9. https://books.google.com/books?id=AXw4a2_vzt4C&pg=PA307.

## External links

* Paul's Online Math Notes: Calculus III
* Good 3D images showing the computation of "Double Integrals" using iterated integrals, the Department of Mathematics at Oregon State University.
* Ron Miech's UCLA Calculus Problems More complex examples of changing the order of integration (see Problems 33, 35, 37, 39, 41 & 43)
* Duane Nykamp's University of Minnesota website

* v
* t
* e

Integrals

Types of integrals|

* Riemann integral
* Lebesgue integral
* Burkill integral
* Bochner integral
* Daniell integral
* Darboux integral
* Henstock–Kurzweil integral
* Haar integral
* Hellinger integral
* Khinchin integral
* Kolmogorov integral
* Lebesgue–Stieltjes integral
* Pettis integral
* Pfeffer integral
* Riemann–Stieltjes integral
* Regulated integral

Integration methods|

* Integration by parts
* Integration by substitution
* Inverse function integration
* Order of integration (calculus)
* trigonometric substitution
* Integration by partial fractions
* Integration by reduction formulae
* Integration using parametric derivatives
* Integration using Euler's formula
* Differentiation under the integral sign
* Contour integration
* Numerical integration

Improper integrals|

* Improper integral
* Gaussian integral

Stochastic integrals|

* Itô integral
* Russo–Vallois integral
* Stratonovich integral
* Skorokhod integral

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Order of integration (calculus). Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Order_of_integration_(calculus)&oldid=188884"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template