Integration by parts

Short description: Mathematical method in calculus

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, and more generally in mathematical analysis, integration by parts or partial integration is a process that finds the integral of a product of functions in terms of the integral of the product of their derivative and antiderivative. It is frequently used to transform the antiderivative of a product of functions into an antiderivative for which a solution can be more easily found. The rule can be thought of as an integral version of the product rule of differentiation; it is indeed derived using the product rule.

The integration by parts formula states: ∫abu(x)v′(x)dx=[u(x)v(x)]ab−∫abu′(x)v(x)dx=u(b)v(b)−u(a)v(a)−∫abu′(x)v(x)dx.

Or, letting u=u(x) and du=u′(x)dx while v=v(x) and dv=v′(x)dx, the formula can be written more compactly: ∫udv = uv−∫vdu.

The former expression is written as a definite integral and the latter is written as an indefinite integral. Applying the appropriate limits to the latter expression should yield the former, but the latter is not necessarily equivalent to the former.

Mathematician Brook Taylor discovered integration by parts, first publishing the idea in 1715.[1][2] More general formulations of integration by parts exist for the Riemann–Stieltjes and Lebesgue–Stieltjes integrals. The discrete analogue for sequences is called summation by parts.

## Contents

* 1 Theorem
* 1.1 Product of two functions
* 1.2 Validity for less smooth functions
* 1.3 Product of many functions
* 2 Visualization
* 3 Applications
* 3.1 Finding antiderivatives
* 3.1.1 Polynomials and trigonometric functions
* 3.1.2 Exponentials and trigonometric functions
* 3.1.3 Functions multiplied by unity
* 3.1.4 LIATE rule
* 3.2 Wallis product
* 3.3 Gamma function identity
* 3.4 Use in harmonic analysis
* 3.4.1 Fourier transform of derivative
* 3.4.2 Decay of Fourier transform
* 3.5 Use in operator theory
* 3.6 Other applications
* 4 Repeated integration by parts
* 4.1 Tabular integration by parts
* 5 Higher dimensions
* 5.1 Green's first identity
* 5.2 Differential forms
* 6 See also
* 7 Notes
* 8 Further reading
* 9 External links

## Theorem

### Product of two functions

The theorem can be derived as follows. For two continuously differentiable functions u(x) and v(x), the product rule states:

(u(x)v(x))′=u′(x)v(x)+u(x)v′(x).

Integrating both sides with respect to x,

∫(u(x)v(x))′dx=∫u′(x)v(x)dx+∫u(x)v′(x)dx,

and noting that an indefinite integral is an antiderivative gives

u(x)v(x)=∫u′(x)v(x)dx+∫u(x)v′(x)dx,

where we neglect writing the constant of integration. This yields the formula for integration by parts:

∫u(x)v′(x)dx=u(x)v(x)−∫u′(x)v(x)dx,

or in terms of the differentials du=u′(x)dx, dv=v′(x)dx,

∫u(x)dv=u(x)v(x)−∫v(x)du.

This is to be understood as an equality of functions with an unspecified constant added to each side. Taking the difference of each side between two values x=a and x=b and applying the fundamental theorem of calculus gives the definite integral version: ∫abu(x)v′(x)dx=u(b)v(b)−u(a)v(a)−∫abu′(x)v(x)dx. The original integral ∫uv′dx contains the derivative v'; to apply the theorem, one must find v, the antiderivative of v', then evaluate the resulting integral ∫vu′dx.

### Validity for less smooth functions

It is not necessary for u and v to be continuously differentiable. Integration by parts works if u is absolutely continuous and the function designated v′ is Lebesgue integrable (but not necessarily continuous).[3] (If v′ has a point of discontinuity then its antiderivative v may not have a derivative at that point.)

If the interval of integration is not compact, then it is not necessary for u to be absolutely continuous in the whole interval or for v′ to be Lebesgue integrable in the interval, as a couple of examples (in which u and v are continuous and continuously differentiable) will show. For instance, if

u(x)=ex/x2,v′(x)=e−x

u is not absolutely continuous on the interval [1, ∞), but nevertheless:

∫1∞u(x)v′(x)dx=[u(x)v(x)]1∞−∫1∞u′(x)v(x)dx

so long as [u(x)v(x)]1∞ is taken to mean the limit of u(L)v(L)−u(1)v(1) as L->∞ and so long as the two terms on the right-hand side are finite. This is only true if we choose v(x)=−e−x. Similarly, if

u(x)=e−x,v′(x)=x−1sin⁡(x)

v′ is not Lebesgue integrable on the interval [1, ∞), but nevertheless

∫1∞u(x)v′(x)dx=[u(x)v(x)]1∞−∫1∞u′(x)v(x)dx with the same interpretation.

One can also easily come up with similar examples in which u and v are not continuously differentiable.

Further, if f(x) is a function of bounded variation on the segment [a,b], and φ(x) is differentiable on [a,b], then

∫abf(x)φ′(x)dx=−∫−∞∞φ~(x)d(χ~[a,b](x)f~(x)),

### Product of many functions

Integrating the product rule for three multiplied functions, u(x), v(x), w(x), gives a similar result:

∫abuvdw = [uvw]ab−∫abuwdv−∫abvwdu.

In general, for n factors

(∏i=1nui(x)) = ∑j=1nuj′(x)∏i≠jnui(x),

which leads to

[∏i=1nui(x)]ab = ∑j=1n∫abuj′(x)∏i≠jnui(x).

## Visualization

Graphical interpretation of the theorem. The pictured curve is parameterized by the variable t.

Consider a parametric curve (x,y)=(f(t),g(t)). Assuming that the curve is locally one-to-one and integrable, we can define x(y)=f(g−1(y))y(x)=g(f−1(x))

The area of the blue region is

A1=∫y1y2x(y)dy

Similarly, the area of the red region is A2=∫x1x2y(x)dx

The total area A1 \+ A2 is equal to the area of the bigger rectangle, x2y2, minus the area of the smaller one, x1y1:

∫y1y2x(y)dy⏞A1+∫x1x2y(x)dx⏞A2 = x⋅y(x)|x1x2 = y⋅x(y)|y1y2 Or, in terms of t, ∫t1t2x(t)dy(t)+∫t1t2y(t)dx(t) = x(t)y(t)|t1t2 Or, in terms of indefinite integrals, this can be written as ∫xdy+∫ydx = xy Rearranging: ∫xdy = xy−∫ydx Thus integration by parts may be thought of as deriving the area of the blue region from the area of rectangles and that of the red region.

This visualization also explains why integration by parts may help find the integral of an inverse function f−1(x) when the integral of the function f(x) is known. Indeed, the functions x(y) and y(x) are inverses, and the integral ∫ x dy may be calculated as above from knowing the integral ∫ y dx. In particular, this explains use of integration by parts to integrate logarithm and inverse trigonometric functions. In fact, if f is a differentiable one-to-one function on an interval, then integration by parts can be used to derive a formula for the integral of f−1 in terms of the integral of f. This is demonstrated in the article, Integral of inverse functions.

## Applications

### Finding antiderivatives

Integration by parts is a heuristic rather than a purely mechanical process for solving integrals; given a single function to integrate, the typical strategy is to carefully separate this single function into a product of two functions u(x)v(x) such that the residual integral from the integration by parts formula is easier to evaluate than the single function. The following form is useful in illustrating the best strategy to take:

∫uvdx=u∫vdx−∫(u′∫vdx)dx.

On the right-hand side, u is differentiated and v is integrated; consequently it is useful to choose u as a function that simplifies when differentiated, or to choose v as a function that simplifies when integrated. As a simple example, consider:

∫ln⁡(x)x2dx.

Since the derivative of ln(x) is ⁠1/x⁠, one makes (ln(x)) part u; since the antiderivative of ⁠1/x2⁠ is −⁠1/x⁠, one makes ⁠1/x2⁠ part v. The formula now yields:

∫ln⁡(x)x2dx=−ln⁡(x)x−∫(1x)(−1x)dx.

The antiderivative of −⁠1/x2⁠ can be found with the power rule and is ⁠1/x⁠, making the final integral

∫ln⁡(x)x2dx=−(ln⁡(x)+1x)+C,

where C is a constant of integration.

Alternatively, one may choose u and v such that the product u′ (∫v dx) simplifies due to cancellation. For example, suppose one wishes to integrate:

∫sec2(x)⋅ln⁡(|sin⁡(x)|)dx.

If we choose u(x) = ln(|sin(x)|) and v(x) = sec2x, then u differentiates to 1tan⁡x using the chain rule and v integrates to tan x; so the formula gives:

∫sec2(x)⋅ln⁡(|sin⁡(x)|)dx=tan⁡(x)⋅ln⁡(|sin⁡(x)|)−∫tan⁡(x)⋅1tan⁡(x)dx .

The integrand simplifies to 1, so the antiderivative is x. Finding a simplifying combination frequently involves experimentation.

In some applications, it may not be necessary to ensure that the integral produced by integration by parts has a simple form; for example, in numerical analysis, it may suffice that it has small magnitude and so contributes only a small error term. Some other special techniques are demonstrated in the examples below.

#### Polynomials and trigonometric functions

In order to calculate

I=∫xcos⁡(x)dx,

let: u=x ⇒ du=dxdv=cos⁡(x)dx ⇒ v=∫cos⁡(x)dx=sin⁡(x)

then:

∫xcos⁡(x)dx=∫u dv=u⋅v−∫vdu=xsin⁡(x)−∫sin⁡(x)dx=xsin⁡(x)+cos⁡(x)+C,

where C is a constant of integration.

For higher powers of x in the form

∫xnexdx, ∫xnsin⁡(x)dx, ∫xncos⁡(x)dx,

repeatedly using integration by parts can evaluate integrals such as these; each application of the theorem lowers the power of x by one.

#### Exponentials and trigonometric functions

See also: Integration using Euler's formula

An example commonly used to examine the workings of integration by parts is

I=∫excos⁡(x)dx.

Here, integration by parts is performed twice. First let

u=cos⁡(x) ⇒ du=−sin⁡(x)dxdv=exdx ⇒ v=∫exdx=ex

then:

∫excos⁡(x)dx=excos⁡(x)+∫exsin⁡(x)dx.

Now, to evaluate the remaining integral, we use integration by parts again, with:

u=sin⁡(x) ⇒ du=cos⁡(x)dxdv=exdx⇒ v=∫exdx=ex.

Then:

∫exsin⁡(x)dx=exsin⁡(x)−∫excos⁡(x)dx.

Putting these together,

∫excos⁡(x)dx=excos⁡(x)+exsin⁡(x)−∫excos⁡(x)dx.

The same integral shows up on both sides of this equation. The integral can simply be added to both sides to get

2∫excos⁡(x)dx=ex[sin⁡(x)+cos⁡(x)]+C,

which rearranges to

∫excos⁡(x)dx=12ex[sin⁡(x)+cos⁡(x)]+C′

where again C (and C′=C2) is a constant of integration.

A similar method is used to find the integral of secant cubed.

#### Functions multiplied by unity

Two other well-known examples are when integration by parts is applied to a function expressed as a product of 1 and itself. This works if the derivative of the function is known, and the integral of this derivative times x is also known.

The first example is ∫ln⁡(x)dx. We write this as:

I=∫ln⁡(x)⋅1dx.

Let:

u=ln⁡(x) ⇒ du=dxx dv=dx ⇒ v=x

then:

∫ln⁡(x)dx=xln⁡(x)−∫xxdx=xln⁡(x)−∫1dx=xln⁡(x)−x+C

where C is the constant of integration.

The second example is the inverse tangent function arctan⁡(x):

I=∫arctan⁡(x)dx.

Rewrite this as

∫arctan⁡(x)⋅1dx.

Now let:

u=arctan⁡(x) ⇒ du=dx1+x2

dv=dx ⇒ v=x

then

∫arctan⁡(x)dx=xarctan⁡(x)−∫x1+x2dx=xarctan⁡(x)−ln⁡(1+x2)2+C

using a combination of the inverse chain rule method and the natural logarithm integral condition.

#### LIATE rule

The LIATE rule is a rule of thumb for integration by parts. It involves choosing as u the function that comes first in the following list:[4]

* L – logarithmic functions: ln⁡(x), logb(x), etc.
* I – inverse trigonometric functions (including hyperbolic analogues): arctan⁡(x), arcsec⁡(x), arsinh⁡(x), etc.
* A – algebraic functions (such as polynomials): x2, 3x50, etc.
* T – trigonometric functions (including hyperbolic analogues): sin⁡(x), tan⁡(x), sech⁡(x), etc.
* E – exponential functions: ex, 19x, etc.

The function which is to be dv is whichever comes last in the list. The reason is that functions lower on the list generally have simpler antiderivatives than the functions above them. The rule is sometimes written as "DETAIL", where D stands for dv and the top of the list is the function chosen to be dv. An alternative to this rule is the ILATE rule, where inverse trigonometric functions come before logarithmic functions.

To demonstrate the LIATE rule, consider the integral

∫x⋅cos⁡(x)dx.

Following the LIATE rule, u = x, and dv = cos(x) dx, hence du = dx, and v = sin(x), which makes the integral become x⋅sin⁡(x)−∫1sin⁡(x)dx, which equals x⋅sin⁡(x)+cos⁡(x)+C.

In general, one tries to choose u and dv such that du is simpler than u and dv is easy to integrate. If instead cos(x) was chosen as u, and x dx as dv, we would have the integral

x22cos⁡(x)+∫x22sin⁡(x)dx,

which, after recursive application of the integration by parts formula, would clearly result in an infinite recursion and lead nowhere.

Although a useful rule of thumb, there are exceptions to the LIATE rule. A common alternative is to consider the rules in the "ILATE" order instead. Also, in some cases, polynomial terms need to be split in non-trivial ways. For example, to integrate

∫x3ex2dx,

one would set

u=x2,dv=x⋅ex2dx,

so that

du=2xdx,v=ex22.

Then

∫x3ex2dx=∫(x2)(xex2)dx=∫udv=uv−∫vdu=x2ex22−∫xex2dx.

Finally, this results in ∫x3ex2dx=ex2(x2−1)2+C.

Integration by parts is often used as a tool to prove theorems in mathematical analysis.

### Wallis product

The Wallis infinite product for π

π2=∏n=1∞4n24n2−1=∏n=1∞(2n2n−1⋅2n2n+1)=(21⋅23)⋅(43⋅45)⋅(65⋅67)⋅(87⋅89)⋅⋯

may be derived using integration by parts.

### Gamma function identity

The gamma function is an example of a special function, defined as an improper integral for z>0. Integration by parts illustrates it to be an extension of the factorial function:

Γ(z)=∫0∞e−xxz−1dx=−∫0∞xz−1d(e−x)=−[e−xxz−1]0∞+∫0∞e−xd(xz−1)=0+∫0∞(z−1)xz−2e−xdx=(z−1)Γ(z−1).

Since

Γ(1)=∫0∞e−xdx=1,

when z is a natural number, that is, z=n∈ℕ, applying this formula repeatedly gives the factorial: Γ(n+1)=n!

### Use in harmonic analysis

Integration by parts is often used in harmonic analysis, particularly Fourier analysis, to show that quickly oscillating integrals with sufficiently smooth integrands decay quickly. The most common example of this is its use in showing that the decay of function's Fourier transform depends on the smoothness of that function, as described below.

#### Fourier transform of derivative

If f is a k-times continuously differentiable function and all derivatives up to the kth one decay to zero at infinity, then its Fourier transform satisfies

(ℱf(k))(ξ)=(2πiξ)kℱf(ξ),

where f(k) is the kth derivative of f. (The exact constant on the right depends on the convention of the Fourier transform used.) This is proved by noting that

ddye−2πiyξ=−2πiξe−2πiyξ,

so using integration by parts on the Fourier transform of the derivative we get

(ℱf′)(ξ)=∫−∞∞e−2πiyξf′(y)dy=[e−2πiyξf(y)]−∞∞−∫−∞∞(−2πiξe−2πiyξ)f(y)dy=2πiξ∫−∞∞e−2πiyξf(y)dy=2πiξℱf(ξ).

Applying this inductively gives the result for general k. A similar method can be used to find the Laplace transform of a derivative of a function.

#### Decay of Fourier transform

The above result tells us about the decay of the Fourier transform, since it follows that if f and f(k) are integrable then

|ℱf(ξ)|≤I(f)1+|2πξ|k, where I(f)=∫−∞∞(|f(y)|+|f(k)(y)|)dy.

In other words, if f satisfies these conditions then its Fourier transform decays at infinity at least as quickly as 1/|ξ|k. In particular, if k≥2 then the Fourier transform is integrable.

The proof uses the fact, which is immediate from the definition of the Fourier transform, that

|ℱf(ξ)|≤∫−∞∞|f(y)|dy.

Using the same idea on the equality stated at the start of this subsection gives

|(2πiξ)kℱf(ξ)|≤∫−∞∞|f(k)(y)|dy.

Summing these two inequalities and then dividing by 1 + |2πξk| gives the stated inequality.

### Use in operator theory

One use of integration by parts in operator theory is that it shows that the −∆ (where ∆ is the Laplace operator) is a positive operator on L2 (see Lp space). If f is smooth and compactly supported then, using integration by parts, we have

⟨−Δf,f⟩L2=−∫−∞∞f″(x)f(x)‾dx=−[f′(x)f(x)‾]−∞∞+∫−∞∞f′(x)f′(x)‾dx=∫−∞∞|f′(x)|2dx≥0.

### Other applications

* Determining boundary conditions in Sturm–Liouville theory
* Deriving the Euler–Lagrange equation in the calculus of variations

## Repeated integration by parts

Considering a second derivative of v in the integral on the LHS of the formula for partial integration suggests a repeated application to the integral on the RHS: ∫uv″dx=uv′−∫u′v′dx=uv′−(u′v−∫u″vdx).

Extending this concept of repeated partial integration to derivatives of degree n leads to ∫u(0)v(n)dx=u(0)v(n−1)−u(1)v(n−2)+u(2)v(n−3)−⋯+(−1)n−1u(n−1)v(0)+(−1)n∫u(n)v(0)dx.=∑k=0n−1(−1)ku(k)v(n−1−k)+(−1)n∫u(n)v(0)dx.

This concept may be useful when the successive integrals of v(n) are readily available (e.g., plain exponentials or sine and cosine, as in Laplace or Fourier transforms), and when the nth derivative of u vanishes (e.g., as a polynomial function with degree (n−1)). The latter condition stops the repeating of partial integration, because the RHS-integral vanishes.

In the course of the above repetition of partial integrations the integrals ∫u(0)v(n)dx and ∫u(ℓ)v(n−ℓ)dx and ∫u(m)v(n−m)dx for 1≤m,ℓ≤n get related. This may be interpreted as arbitrarily "shifting" derivatives between v and u within the integrand, and proves useful, too (see Rodrigues' formula).

### Tabular integration by parts

The essential process of the above formula can be summarized in a table; the resulting method is called "tabular integration"[5] and was featured in the film Stand and Deliver (1988).[6]

For example, consider the integral

∫x3cos⁡xdx and take u(0)=x3,v(n)=cos⁡x.

Begin to list in column A the function u(0)=x3 and its subsequent derivatives u(i) until zero is reached. Then list in column B the function v(n)=cos⁡x and its subsequent integrals v(n−i) until the size of column B is the same as that of column A. The result is as follows:

# i | Sign | A: derivatives u(i) | B: integrals v(n−i)

|
|
|

0 | + | x3 | cos⁡x
1 | − | 3x2 | sin⁡x
2 | + | 6x | −cos⁡x
3 | − | 6 | −sin⁡x
4 | + | 0 | cos⁡x

The product of the entries in row i of columns A and B together with the respective sign give the relevant integrals in step i in the course of repeated integration by parts. Step i = 0 yields the original integral. For the complete result in step i > 0 the ith integral must be added to all the previous products (0 ≤ j < i) of the jth entry of column A and the (j \+ 1)st entry of column B (i.e., multiply the 1st entry of column A with the 2nd entry of column B, the 2nd entry of column A with the 3rd entry of column B, etc. ...) with the given jth sign. This process comes to a natural halt, when the product, which yields the integral, is zero (i = 4 in the example). The complete result is the following (with the alternating signs in each term):

(+1)(x3)(sin⁡x)⏟j=0+(−1)(3x2)(−cos⁡x)⏟j=1+(+1)(6x)(−sin⁡x)⏟j=2+(−1)(6)(cos⁡x)⏟j=3+∫(+1)(0)(cos⁡x)dx⏟i=4:->C.

This yields

∫x3cos⁡xdx⏟step 0=x3sin⁡x+3x2cos⁡x−6xsin⁡x−6cos⁡x+C.

The repeated partial integration also turns out useful, when in the course of respectively differentiating and integrating the functions u(i) and v(n−i) their product results in a multiple of the original integrand. In this case the repetition may also be terminated with this index i.This can happen, expectably, with exponentials and trigonometric functions. As an example consider

∫excos⁡xdx.

# i | Sign | A: derivatives u(i) | B: integrals v(n−i)

|
|
|

0 | + | ex | cos⁡x
1 | − | ex | sin⁡x
2 | + | ex | −cos⁡x

In this case the product of the terms in columns A and B with the appropriate sign for index i = 2 yields the negative of the original integrand (compare rows i = 0 and i = 2).

∫excos⁡xdx⏟step 0=(+1)(ex)(sin⁡x)⏟j=0+(−1)(ex)(−cos⁡x)⏟j=1+∫(+1)(ex)(−cos⁡x)dx⏟i=2.

Observing that the integral on the RHS can have its own constant of integration C′, and bringing the abstract integral to the other side, gives:

2∫excos⁡xdx=exsin⁡x+excos⁡x+C′,

and finally:

∫excos⁡xdx=12(ex(sin⁡x+cos⁡x))+C,

where C=C′2.

## Higher dimensions

Integration by parts can be extended to functions of several variables by applying a version of the fundamental theorem of calculus to an appropriate product rule. There are several such pairings possible in multivariate calculus, involving a scalar-valued function u and vector-valued function (vector field) V.[7]

The product rule for divergence states:

∇⋅(u𝐕) = u∇⋅𝐕 + ∇u⋅𝐕.

Suppose Ω is an open bounded subset of ℝn with a piecewise smooth boundary Γ=∂Ω. Integrating over Ω with respect to the standard volume form dΩ, and applying the divergence theorem, gives:

∫Γu𝐕⋅𝐧^dΓ = ∫Ω∇⋅(u𝐕)dΩ = ∫Ωu∇⋅𝐕dΩ + ∫Ω∇u⋅𝐕dΩ,

where 𝐧^ is the outward unit normal vector to the boundary, integrated with respect to its standard Riemannian volume form dΓ. Rearranging gives:

∫Ωu∇⋅𝐕dΩ = ∫Γu𝐕⋅𝐧^dΓ−∫Ω∇u⋅𝐕dΩ,

or in other words ∫Ωudiv⁡(𝐕)dΩ = ∫Γu𝐕⋅𝐧^dΓ−∫Ωgrad⁡(u)⋅𝐕dΩ. The regularity requirements of the theorem can be relaxed. For instance, the boundary Γ=∂Ω need only be Lipschitz continuous, and the functions u, v need only lie in the Sobolev space H1(Ω).

### Green's first identity

Consider the continuously differentiable vector fields 𝐔=u1𝐞1+⋯+un𝐞n and v𝐞1,…,v𝐞n, where 𝐞i is the i-th standard basis vector for i=1,…,n. Now apply the above integration by parts to each ui times the vector field v𝐞i:

∫Ωui∂v∂xidΩ = ∫Γuiv𝐞i⋅𝐧^dΓ−∫Ω∂ui∂xivdΩ.

Summing over i gives a new integration by parts formula:

∫Ω𝐔⋅∇vdΩ = ∫Γv𝐔⋅𝐧^dΓ−∫Ωv∇⋅𝐔dΩ.

The case 𝐔=∇u, where u∈C2(Ω¯), is known as the first of Green's identities:

∫Ω∇u⋅∇vdΩ = ∫Γv∇u⋅𝐧^dΓ−∫Ωv∇2udΩ.

### Differential forms

The exterior derivative on differential forms satisfies a graded product rule. If u∈Ωk(M) is a differential k-form and v∈Ωn(M) a differential n-form on an orientable (k+n+1)-manifold-with-boundary M then the graded product rule is as shown.

d(u∧v)=du∧v+(−1)ku∧dv

Integrate of both sides of the equality over M.

∫Md(u∧v)=∫Mdu∧v+(−1)k∫Mu∧dv

This is equivalent to

∫Mdu∧v=∫Md(u∧v)−(−1)k∫Mu∧dv.

Apply generalized Stokes' theorem to let it take the expected form.

∫Mdu∧v=∮∂Mu∧v−(−1)k∫Mu∧dv

Letting u and v be differential 0-forms (smooth functions) recovers the classical version.

## See also

* Integration by parts for the Lebesgue–Stieltjes integral
* Integration by parts for semimartingales, involving their quadratic covariation.
* Integration by substitution
* Legendre transformation

## Notes

1. ↑ "Brook Taylor". History.MCS.St-Andrews.ac.uk. http://www-history.mcs.st-andrews.ac.uk/Biographies/Taylor.html.
2. ↑ "Brook Taylor". Stetson.edu. https://www2.stetson.edu/~efriedma/periodictable/html/Tl.html.
3. ↑ "Integration by parts". https://www.encyclopediaofmath.org/index.php/Integration_by_parts.
4. ↑ Kasube, Herbert E. (1983). "A Technique for Integration by Parts". The American Mathematical Monthly 90 (3): 210–211. doi:10.2307/2975556.
5. ↑ Thomas, G. B.; Finney, R. L. (1988). Calculus and Analytic Geometry (7th ed.). Reading, MA: Addison-Wesley. ISBN 0-201-17069-8.
6. ↑ Horowitz, David (1990). "Tabular Integration by Parts". The College Mathematics Journal 21 (4): 307–311. doi:10.2307/2686368. https://www.maa.org/sites/default/files/pdf/mathdl/CMJ/Horowitz307-311.pdf.
7. ↑ Rogers, Robert C. (September 29, 2011). "The Calculus of Several Variables". http://www.math.nagoya-u.ac.jp/~richard/teaching/s2016/Ref2.pdf.

## Further reading

* Louis Brand (10 October 2013). Advanced Calculus: An Introduction to Classical Analysis. Courier Corporation. pp. 267–. ISBN 978-0-486-15799-3. https://books.google.com/books?id=hdSIAAAAQBAJ&q="integration+by+parts"&pg=PA267.
* Hoffmann, Laurence D.; Bradley, Gerald L. (2004). Calculus for Business, Economics, and the Social and Life Sciences (8th ed.). McGraw Hill Higher Education. pp. 450–464. ISBN 0-07-242432-X.
* Willard, Stephen (1976). Calculus and its Applications. Boston: Prindle, Weber & Schmidt. pp. 193–214. ISBN 0-87150-203-8.
* Washington, Allyn J. (1966). Technical Calculus with Analytic Geometry. Reading: Addison-Wesley. pp. 218–245. ISBN 0-8465-8603-7.

## External links

| The Wikibook Calculus has a page on the topic of: Integration by parts

|

* Hazewinkel, Michiel, ed. (2001), "Integration by parts", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=p/i051730
* Integration by parts—from MathWorld

* v
* t
* e

Calculus

Precalculus|

* Binomial theorem
* Concave function
* Continuous function
* Factorial
* Finite difference
* Free variables and bound variables
* Fundamental theorem
* Graph of a function
* Linear function
* Mean value theorem
* Radian
* Rolle's theorem
* Secant
* Slope
* Tangent

Limits|

* Indeterminate form
* Limit of a function
* One-sided limit
* Limit of a sequence
* Orders of approximation
* (ε, δ)-definition of limit

Differential calculus|

* Chain rule
* Derivative
* Differential
* Differential equation
* Differential operator
* Implicit differentiation
* Inverse functions and differentiation
* L'Hôpital's rule
* Leibniz's rule
* Logarithmic derivative
* Mean value theorem
* Newton's method
* Notation
* Leibniz's notation
* Newton's notation
* Product rule
* Quotient rule
* Regiomontanus' angle maximization problem
* Related rates
* Simplest rules
* Constant factor rule in differentiation
* Linearity of differentiation
* Power rule
* Sum rule in differentiation
* Stationary point
* First derivative test
* Second derivative test
* Extreme value theorem
* Maxima and minima
* Taylor's theorem

Integral calculus|

* Antiderivative
* Arc length
* Constant of integration
* Differentiation under the integral sign
* Fundamental theorem of calculus
* Integral of secant cubed
* Integral of the secant function
* Integration by parts
* Integration by substitution
* Tangent half-angle substitution
* Partial fractions in integration
* Quadratic integral
* Proof that 22/7 exceeds π
* Simplest rules
* Constant factor rule in integration
* Linearity of integration
* Sum rule in integration
* Trapezoidal rule
* Trigonometric substitution

Vector calculus|

* Curl
* Directional derivative
* Divergence
* Divergence theorem
* Gradient
* Gradient theorem
* Green's theorem
* Laplacian
* Stokes' theorem

Multivariable calculus|

* Curvature
* Disc integration
* Divergence theorem
* Exterior
* Gabriel's Horn
* Geometric
* Hessian matrix
* Jacobian matrix and determinant
* Line integral
* Matrix
* Multiple integral
* Partial derivative
* Shell integration
* Surface integral
* Tensor
* Volume integral

Series|

* Abel's test
* Alternating
* Alternating series test
* Arithmetico-geometric sequence
* Binomial
* Cauchy condensation test
* Direct comparison test
* Dirichlet's test
* Euler–Maclaurin formula
* Fourier
* Geometric
* Harmonic
* Infinite
* Integral test for convergence
* Limit comparison test
* Maclaurin
* Power
* Ratio test
* Root test
* Taylor
* Term test

Special functions and numbers|

* Bernoulli numbers
* e (mathematical constant)
* Exponential function
* Natural logarithm
* Stirling's approximation

History of calculus|

* Adequality
* Brook Taylor
* Colin Maclaurin
* Generality of algebra
* Gottfried Wilhelm Leibniz
* Infinitesimal
* Infinitesimal calculus
* Isaac Newton
* Fluxion
* Law of Continuity
* Leonhard Euler
* Method of Fluxions
* The Method of Mechanical Theorems

Lists|

* Differentiation rules
* List of integrals of exponential functions
* List of integrals of hyperbolic functions
* List of integrals of inverse hyperbolic functions
* List of integrals of inverse trigonometric functions
* List of integrals of irrational functions
* List of integrals of logarithmic functions
* List of integrals of rational functions
* List of integrals of trigonometric functions
* List of limits
* List of mathematical symbols
* Lists of integrals

* 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

es:Métodos de integración#Método de integración por partes

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Integration by parts. Read more

|

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