부분 적분: 두 판 사이의 차이

위키백과, 우리 모두의 백과사전.
내용 삭제됨 내용 추가됨
잔글편집 요약 없음
편집 요약 없음
1번째 줄: 1번째 줄:
{{미적분학}}
{{미적분학}}


[[미적분학]]에서 '''부분적분'''(部分積分, {{llang|en|integration by parts}})은 함수의 곱의 [[적분]]을 구하는 방법이다. 직접 적분하기 어려운 함수를 적분하기 쉬운 함수로 변환하는데 그 목적이 있다. [[미분]]의 [[곱의 법칙 (미적분학)|곱의 법칙]]으로부터 유도할 수 있다.
[[미적분학]]에서, '''부분 적분'''(部分積分, {{llang|en|integration by parts}})은 함수의 곱을 [[적분]]하는 기법이다.


== 내용 ==
== 정의 ==
{{참고|부정적분#부분 적분}}
[[연속 미분 가능]]한 두 함수 <math>u,v : [a,b] \to \R</math>에 대하여, [[곱의 법칙 (미적분학)|곱의 법칙]]에 따라 다음이 성립한다.
만약 <math>I\subseteq\mathbb R</math>가 구간이며 <math>u,v\colon I\to\mathbb R</math>가 [[연속 미분 가능 함수]]라면 ([[도함수]] <math>u',v'</math>가 [[연속 함수]]라면), 다음이 성립한다.
:<math>\int u(x)v'(x)\mathrm dx=u(x)v(x)-\int u'(x)v(x)\mathrm dx</math>
이를 <math>u'(x)\mathrm dx=\mathrm du</math> 및 <math>v'(x)\mathrm dx=\mathrm dv</math>를 통해 간략히 쓰면 다음과 같다.
:<math>\int u\mathrm dv=uv-\int v\mathrm du</math>
만약 <math>u,v\colon[a,b]\to\mathbb R</math>가 [[연속 미분 가능 함수]]라면, 다음이 성립한다.
:<math>\begin{align}\int_a^bu(x)v'(x)\mathrm dx
&=\bigg[u(x)v(x)\bigg]_a^b-\int_a^bu'(x)v(x)\mathrm dx\\
&=u(b)v(b)-u(a)v(a)-\int_a^bu'(x)v(x)\mathrm dx
\end{align}</math>


=== 팁 ===
:<math>d(uv) = v \,du + u \,dv</math>
이 명제에서는 주어진 적분에서 <math>u</math>와 <math>\mathrm dv</math>를 선택하는 방법을 밝히지는 않는데, 보통 도함수가 비교적 간단한 부분을 <math>u</math>로 두거나, 원함수가 비교적 간단한 부분을 <math>v'</math>으로 두는 것이 좋다. 도함수가 자기 자신보다 단순한 정도에 따라, 두 함수 가운데 [[로그 함수]], [[역삼각 함수]], [[대수적 함수]], [[삼각 함수]], [[지수 함수]]에서 먼저 나오는 유형에 속하는 하나를 <math>u</math>로 삼는 법칙을 제시한 저자도 존재하며, 이러한 법칙을 함수 유형들의 첫자들을 따 LIATE 법칙({{llang|en|LIATE rule}})이라고 부른다.<ref name="Kasube">{{저널 인용
|성=Kasube
|이름=Herbert E.
|제목=A Technique for Integration by Parts
|언어=en
|저널=The American Mathematical Monthly
|권=90
|호=3
|쪽=210-211
|날짜=1983
|issn=0002-9890
|doi=10.2307/2975556
|jstor=2975556
}}</ref> 그러나 이 법칙은 때로 옳지 않을 수 있다.


== 증명 ==
양변에 적분을 취하면 다음과 같다.
[[곱의 법칙 (미적분학)|곱의 법칙]]에 따라 다음이 성립한다.

:<math>\int_a^b d(uv) = \int_a^b v \,du + \int_a^b u \,dv</math>
:<math>uv'=(uv)'-u'v</math>
양변은 모두 연속 함수이므로 부정적분이 존재한다. 양변에 부정적분을 취하면 다음을 얻으므로 부정적분에 대한 명제가 성립한다.

:<math>\int u(x)v'(x)\mathrm dx=u(x)v(x)-\int u'(x)v(x)\mathrm dx</math>
따라서 [[미적분학의 기본정리]]에 의하여 다음을 얻는다.
또한 양변은 모두 적분 가능하며, 양변에 적분을 취하면 다음을 얻으므로 정적분의 경우가 성립한다.

:<math>[uv]_a^b = \int_a^b v \,du + \int_a^b u \,dv</math>
:<math>\int_a^bu(x)v'(x)\mathrm dx=\bigg[u(x)v(x)\bigg]_a^b-\int_a^bu'(x)v(x)\mathrm dx</math>


:<math>\int_a^b u \,dv = [uv]_a^b - \int_a^b v \,du</math>

이때, <math>[uv]_a^b</math>는 <math>u(b)v(b) - u(a)v(a)</math>를 나타낸다.

[[부정적분]]의 경우, [[연속 미분 가능]]한 두 함수 <math>u,v : I \to \R</math>에 대하여, 위와 비슷한 논증에 의해 다음이 성립한다.

:<math>\int u \,dv = uv - \int v \,du</math>

서로 조금씩 다른 아래의 표현들이 사용되기도 한다.

* <math>\int uv' \,dx = uv - \int u'v \,dx</math>
* <math>\int fg \,dx = f(\int g \,dx) - \int \left( f' \int g \,dx \right) \,dx</math>


== 예 ==
== 예 ==
=== {{수학|''x''cos''x''}}의 적분 ===
=== 첫째 ===
부정적분
다음 식을 적분한다.
:<math>\int x^2\ln x\mathrm dx</math>

을 구하자. <math>u=\ln x</math>이며 <math>\mathrm dv=x^2\mathrm dx</math>라고 하자. 그러면 <math>\mathrm du=(\mathrm dx)/x</math>이며 (상수차를 무시하면) <math>v=x^3/3</math>이다. 부분 적분을 적용하면 다음을 얻는다.
:<math>\int x\cos x \,dx</math>

이때, <math>u = x,\ du = dx; \quad dv = \cos x \, dx,\ v = \sin x</math>와 같이 가정하면

:{|
:{|
|<math>\int x^2\ln x\mathrm dx</math>
|-
|<math>\int x\cos x \,dx</math>
|<math>=\frac{x^3}3\ln x-\frac 13\int x^2\mathrm dx</math>
|<math>= \int u \,dv</math>
|-
|-
|
|
|<math>= uv - \int v \,du</math>
|<math>=\frac{x^3}3\ln x-\frac 19x^3+C</math>
|}
|}


=== 둘째 예 ===
가 되어,
부정적분

:<math>\int\arcsin x\mathrm dx</math>
를 구하자. <math>u=\arcsin x</math>이며 <math>\mathrm dv=\mathrm dx</math>라고 하자. 그러면 <math>\mathrm du=(\mathrm dx)/\sqrt{1-x^2}</math>이며 <math>v=x</math>이다. 부분 적분을 적용하면 다음을 얻는다.
:{|
:{|
|<math>\int\arcsin x\mathrm dx</math>
|<math>=x\arcsin x-\int\frac x{\sqrt{1-x^2}}\mathrm dx</math>
|-
|-
|
|<math>\int x\cos x \,dx</math>
|<math>= x\sin x - \int \sin x \,dx</math>
|<math>=x\arcsin x+\frac 12\int\frac{\mathrm d(1-x^2)}{\sqrt{1-x^2}}</math>
|-
|-
|
|
|<math>= x\sin x + \cos x + C</math>
|<math>=x\arcsin x+\sqrt{1-x^2}+C</math>
|}
|}


=== 셋째 예 ===
와 같이 적분을 풀 수 있다. 이때, <math>C</math>는 [[적분 상수]]이다.
부정적분

:<math>\int x^2\sin x\mathrm dx</math>
=== {{수학|''e<sup>x</sup>''cos''x''}} 의 적분 ===
을 구하자. <math>u=x^2</math>이며 <math>\mathrm dv=\sin x\mathrm dx</math>라고 하자. 그러면 <math>\mathrm du=2x</math>이며 <math>v=-\cos x</math>이다. 부분 적분을 적용하면 다음을 얻는다.
:<math>\int e^{x} \cos x \,dx</math>
:<math>\int x^2\sin x\mathrm dx=-x^2\cos x+2\int x\cos x\mathrm dx</math>

우변의 마지막 항의 적분에서 <math>u=x</math>, <math>\mathrm dv=\cos x\mathrm dx</math>, <math>\mathrm du=\mathrm dx</math>, <math>v=\sin x</math>라고 하여 다시 부분 적분을 적용하면 다음을 얻는다.
이 경우는 부분적분법을 두 번 사용한다. 먼저 다음과 같이 가정한다.

:<math>u = \cos x,\ u' = -\sin x</math>
:<math>v' = e^x,\ v = e^x</math>

이때,

:<math>\int e^x \cos x \,dx = e^x \cos x + \int e^{x} \sin x \,dx</math>

이고, 우변의 항에 대해서 다시 한 번 적분한다. 다음과 같이 가정한다.

:<math>u = \sin x,\ u' = \cos x</math>
:<math>v' = e^x,\ v = e^x</math>

그러면,

:<math>\int e^x \sin x \,dx = e^x \sin x - \int e^x \cos x \,dx</math>

이므로, 함께 적으면,

:<math>\int e^{x} \cos x \,dx = e^{x} \cos x + e^x \sin x - \int e^{x} \cos x \,dx</math>

임을 알 수 있다. 자세히 살펴 보면, 좌변의 적분항이 오른쪽에도 동일하게 나타나는 것을 확인 할 수 있다. 따라서 우변의 적분 항을 좌변으로 보내면,

:<math>2 \int e^x \cos x \,dx = e^x ( \sin x + \cos x ) + C</math>

이고, 2로 나눠

:<math>\int e^x \cos x \,dx = {e^x ( \sin x + \cos x ) \over 2} + C</math>

와 같은 결과를 얻을 수 있다.

=== {{수학|ln''x''}}, {{수학|arctan''x''}}의 적분 ===
또 다른 예제로, 어떤 함수를 1과 그 자신의 곱으로 생각해 부분적분을 적용하는 경우가 있다. 이 방법은 적분을 구하고자 하는 함수의 미분값과 이 미분값에 <math>x</math>를 곱한 함수의 적분값을 알고 있는 경우에 유용하다.

첫 번째 예는,

:<math>\int \ln x \,dx</math>

이다. 이는 다음과 같이 나타낼 수 있다.

:<math>\int (\ln x) \cdot 1 \,dx</math>

다음과 같이 가정하자.

:<math>u = \ln x,\ du = \frac 1 x dx</math>
:<math>dv = 1 \cdot dx,\ v = x</math>

그러면, 다음을 얻는다.

:{|
:{|
|<math>\int x\cos x\mathrm dx</math>
|-
|<math>\int \ln x \,dx</math>
|<math>=x\sin x-\int \sin x\mathrm dx</math>
|<math>= x \ln x - \int x \cdot \frac{1}{x} \,dx</math>
|-
|
|<math>= x \ln x - \int 1 \,dx</math>
|-
|-
|
|
|<math>= x \ln x - {x} + {C}</math>
|<math>=x\sin x+\cos x+C</math>
|}
|}
따라서 구하려는 적분은 다음과 같다.
:<math>\int x^2\sin x\mathrm dx=-x^2\cos x+2x\sin x+2\cos x+C</math>


=== 넷째 예 ===
이 식에서 <math>C</math>는 적분 상수이다.
부정적분

:<math>\int\sqrt{x^2-1}\mathrm dx</math>
두 번째 예는 [[역탄젠트 함수]]의 적분
을 구하자. <math>u=\sqrt{x^2-1}</math>이며 <math>\mathrm dv=\mathrm dx</math>라고 하자. 그러면 <math>\mathrm du=(x/\sqrt{x^2-1})\mathrm dx</math>이며 <math>v=x</math>이다. 부분 적분을 적용하면 다음을 얻는다.

:<math>\int \arctan x \,dx</math>

이다. 이 식 역시 다음과 같이 나타낼 수 있다.

:<math>\int 1 \cdot \arctan x \,dx</math>

다음과 같이 가정하자.

:<math>u = \arctan x,\ du = \frac 1 {1+x^2} dx</math>
:<math>dv = 1 \cdot dx,\ v = x</math>

그러면,

:{|
:{|
|<math>\int\sqrt{x^2-1}\mathrm dx</math>
|<math>=x\sqrt{x^2-1}-\int\frac{x^2}{\sqrt{x^2-1}}\mathrm dx</math>
|-
|-
|
|<math>\int \arctan x \,dx</math>
|<math>= x \arctan x - \int \frac{x}{1 + x^2} \,dx</math>
|<math>=x\sqrt{x^2-1}-\int\sqrt{x^2-1}\mathrm dx-\int\frac{\mathrm dx}{\sqrt{x^2-1}}</math>
|-
|-
|
|
|<math>= x \arctan x - {1 \over 2} \ln \left( 1 + x^2 \right) + C</math>
|<math>=x\sqrt{x^2-1}-\ln|x+\sqrt{x^2-1}|-\int\sqrt{x^2-1}\mathrm dx</math>
|}
|}
따라서 구하려는 적분은 다음과 같다.
:<math>\int\sqrt{x^2-1}\mathrm dx=\frac 12x\sqrt{x^2-1}-\frac 12\ln|x+\sqrt{x^2-1}|+C</math>


=== 다섯째 예 ===
임을 확인 할 수 있다.
다음과 같은 두 적분을 구하자.

:<math>\int e^{ax}\cos bx\mathrm dx</math>
=== 요령 ===
:<math>\int e^{ax}\sin bx\mathrm dx</math>
부분적분은 적분을 하는 데 있어 기계적인 풀이라기 보다는 좀 더 [[발견법|발견적]]에 가깝다. 그런 의미에서 피적분함수를 어느 두 함수의 곱으로 분해할지, 즉 <math>u</math>와 <math>v'</math>를 어떻게 선택할지는 중요하다. 부분적분 공식
이 둘에 각각 부분 적분을 적용하면 다음을 얻는다.

:{|
:<math>\int uv' \,dx = uv - \int u'v \,dx</math>
|<math>\int e^{ax}\cos bx\mathrm dx</math>

|<math>=\frac 1b\int e^{ax}\mathrm d(\sin bx)</math>
중 좌변의 <math>u</math>는 우변에서 그의 미분인 <math>u'</math>로 나타난다. 마찬가지로 좌에서 우의 방향으로 보면 <math>v'</math>는 그의 적분인 <math>v</math>로 바뀐다. 이로부터 <math>u</math>의 미분 또는 <math>v'</math>의 적분이 간단해지게끔 피적분함수를 분해하는 것이 유리하다는 결론이 나온다. 그 예로

:<math>\int \frac{\ln x}{x^2} \,dx</math>

에서 <math>\ln x</math>는 그의 미분이 적분보다 간단하므로, 이를 <math>u</math>로 취하여 부분적분을 시도해 보면 원래 적분은 아래와 같이 단순화된다.

:<math>\int \frac{\ln x}{x^2} \,dx = - \frac{\ln x}{x} - \int \left( \frac{1}{x} \right) \left( - \frac{1}{x} \right) \,dx</math>

<math>u</math>의 미분과 <math>v'</math>의 적분의 곱 <math>u'v</math>가 간단하도록 하는 방식도 취할 만하다. 예를 들어

:<math>\int \sec^2 x \ln |\sin x| \,dx</math>

에서 <math>u = \ln |\sin x|</math>, <math>v' = \sec^2 x</math>를 취하면 원래 적분은 아래와 같이 단순화된다.

:<math>\int \sec^2 x \ln |\sin x| \,dx = \tan x \ln |\sin x| - \int \tan x \frac{1}{\tan x} \,dx</math>

부분적분이 적분을 단순화해야지만 의미가 있는 것은 아니다. [[수치해석학]]에서 사용될 경우, 적분항이 오차항의 기능을 할 정도로 충분이 작으면 된다.

=== LIATE 법칙 ===
브래들리 대학의 Herbert Kasube가 제안한 LIATE 법칙, 즉 아래의 순서에서 가장 먼저 일치하는 함수를 <math>u</math>에 대입하는 방식은 유용하다.

:{| cellpadding="3"
|-
|-
|
|'''L''' || Logarithmic functions || [[로그|로그 함수]] || {{수학|ln''x'', log''<sub>b</sub>x''}} 등
|<math>=\frac 1be^{ax}\sin bx-\frac ab\int e^{ax}\sin bx\mathrm dx</math>
|-
|'''I''' || Inverse trigonometric functions || [[역삼각함수]] || {{수학|arctan''x'', arcsec''x''}} 등
|-
|'''A''' || Algebraic functions || [[다항식|대수적 함수]] || {{수학|''x''<sup>2</sup>, 3''x''<sup>50</sup>}} 등
|-
|'''T''' || Trigonometric functions || [[삼각 함수]] || {{수학|sin''x'', tan''x''}} 등
|-
|-
|'''E''' || Exponential functions || [[지수 함수]] || {{수학|''e<sup>x</sup>'', 19<sup>''x''</sup>}} 등
|}
|}

<math>u</math>를 대입한 후 남은 함수는 <math>v'</math>에 대입한다. 이런 순서로 함수를 선택하는 이유는 나중에 나오는 함수일수록 적분값을 구하기가 쉽기 때문이다.

위에서 <math>\int x \cos x \,dx</math>를 구할 때, <math>u=x</math>를 취한 것이 그 예이다. 만약 반대로 <math>u = \cos x</math>를 취하면 결과는 아래처럼 더 복잡해진다.

:<math>\int x \cos x \,dx = \frac{x^2}{2} \cos x + \int \frac{x^2}{2} \sin x \,dx</math>

LIATE 법칙이 항상 옳은 것은 아니다. 때로는 ILATE 순이 더 적절한 방식이다. 또 아래와 같이 그리 명백하지 않은 방식으로 두 함수를 분해해야 하는 경우도 있다.

:{|
:{|
|<math>\int e^{ax}\sin bx\mathrm dx</math>
|-
|<math>\int x^3 e^{x^2} \,dx</math>
|<math>=-\frac 1b\int e^{ax}\mathrm d(\cos bx)</math>
|<math>= \int (x^2) (x e^{x^2}) \,dx</math>
|-
|-
|
|
|<math>= \int (x^2) \,d \left( \frac{1}{2} e^{x^2} \right)</math>
|<math>=-\frac 1be^{ax}\cos bx+\frac ab\int e^{ax}\cos bx\mathrm dx</math>
|-
|
|<math>= \frac{1}{2} x^2 e^{x^2} - \int x e^{x^2} \,dx</math>
|-
|
|<math>= \frac{1}{2} e^{x^2} (x^2 - 1) + C</math>
|}
|}
즉, 다음과 같은 연립 방정식이 성립한다.
:<math>b\int e^{ax}\cos bx\mathrm dx+a\int e^{ax}\sin bx\mathrm dx=e^{ax}\sin bx</math>
:<math>a\int e^{ax}\cos bx\mathrm dx-b\int e^{ax}\sin bx\mathrm dx=e^{ax}\cos bx</math>
따라서 구하려는 적분은 다음과 같다.
:<math>\int e^{ax}\cos bx\mathrm dx=\frac 1{a^2+b^2}e^{ax}(a\cos bx+b\sin bx)+C</math>
:<math>\int e^{ax}\sin bx\mathrm dx=\frac 1{a^2+b^2}e^{ax}(a\sin bx-b\cos bx)+C</math>


== 다른 응용 ==
=== 여섯째 ===
다음과 같은 적분을 구하자.
부분적분은 때로 [[해석학 (수학)|해석학]] 정리의 증명에 사용된다. 아래는 몇 가지 예이다.
:<math>\int\frac{\mathrm dx}{(x^2+a^2)^2}\qquad(a>0)</math>

다음과 같은 부분 적분을 사용하자 (구하려는 적분에 직접 적용하지 않았음에 주의하자).
=== 특수함수 ===
[[이상 적분]]으로 정의된 [[특수 함수]]인 [[감마 함수]]가 [[계승]]의 확장이라는 것을 다음과 같이 부분적분을 이용하여 보일 수 있다.

:{|
:{|
|<math>\int\frac{\mathrm dx}{x^2+a^2}</math>
|-
|<math>\Gamma (t)</math>
|<math>=\frac x{x^2+a^2}+2\int\frac{x^2}{(x^2+a^2)^2}\mathrm dx</math>
|<math>= \int_0^{\infty} x^{t - 1} e^{-x} \,dx</math>
|-
|-
|
|
|<math>= - \int_0^{\infty} x^{t - 1} \,d(e^{-x})</math>
|<math>=\frac x{x^2+a^2}+2\int\frac{\mathrm dx}{x^2+a^2}-2a^2\int\frac{\mathrm dx}{(x^2+a^2)^2}</math>
|}
따라서 구하려는 적분은 다음과 같다.
:{|
|<math>\int\frac{\mathrm dfx}{(x^2+a^2)^2}</math>
|<math>=\frac 1{2a^2}\frac x{x^2+a^2}+\frac 1{2a^2}\int\frac{\mathrm dx}{x^2+a^2}</math>
|-
|-
|
|
|<math>= - [x^{t - 1}e^{-x}]_0^{\infty} + (t - 1) \int_0^{\infty} x^{t - 2} e^{-x} \,dx</math>
|<math>=\frac 1{2a^2}\frac x{x^2+a^2}+\frac 1{2a^3}\arctan\frac xa+C</math>
|-
|
|<math>= (t - 1) \Gamma (t - 1)</math>
|}
|}

정수 <math>t</math>에 대해 이 [[점화식]]을 쓰면 다음을 얻는다.

:<math>\Gamma (t) = (t - 1)!</math><!--

=== 조화해석학 ===
{{빈 문단}}

=== 연산자 이론 === -->


== 같이 보기 ==
== 같이 보기 ==
* [[아벨 변환]]
* [[아벨 변환]]
* [[아벨의 합 공식]]<!--
* [[아벨의 합 공식]]

== 각주 ==
{{각주}}


== 참고 문헌 ==
* {{서적 인용
|저자=伍胜健
|제목=数学分析
|언어=zh
|권=1
|판=1
|출판사=北京大学出版社
|날짜=2009-08
|isbn=978-7-301-15685-8
}}
* {{서적 인용
|저자=伍胜健
|제목=数学分析
|언어=zh
|권=2
|판=1
|출판사=北京大学出版社
|날짜=2010-02
|isbn=978-7-301-15876-0
}}
* {{서적 인용
|성1=Larson
|이름1=Ron
|성2=Edwards
|이름2=Bruce
|제목=Calculus: Early Transcendental Functions
|언어=en
|판=6
|출판사=Cengage Learning
|위치=Boston, MA 02210
|날짜=2013
|lccn=2013949101
|isbn=978-1-285-77477-0
}}
* {{서적 인용
|성1=Lax
|이름1=Peter D.
|성2=Terrell
|이름2=Maria Shea
|제목=Calculus With Applications
|언어=en
|판=2
|시리즈=Undergraduate Texts in Mathematics
|출판사=Springer
|위치=New York
|날짜=2014
|isbn=978-1-4614-7945-1
|doi=10.1007/978-1-4614-7946-8
|lccn=2013946572
}}
* {{서적 인용
|성=Stewart
|이름=Seán M.
|제목=How to Integrate It
|언어=en
|출판사=Cambridge University Press
|날짜=2018-02
|isbn=978-1-108-41881-2
|doi=10.1017/9781108291507
}}


[[분류:적분학]]
[[분류:적분학]]

2019년 1월 11일 (금) 13:11 판

미적분학에서, 부분 적분(部分積分, 영어: integration by parts)은 두 함수의 곱을 적분하는 기법이다.

정의

만약 가 구간이며 연속 미분 가능 함수라면 (도함수 연속 함수라면), 다음이 성립한다.

이를 를 통해 간략히 쓰면 다음과 같다.

만약 연속 미분 가능 함수라면, 다음이 성립한다.

이 명제에서는 주어진 적분에서 를 선택하는 방법을 밝히지는 않는데, 보통 도함수가 비교적 간단한 부분을 로 두거나, 원함수가 비교적 간단한 부분을 으로 두는 것이 좋다. 도함수가 자기 자신보다 단순한 정도에 따라, 두 함수 가운데 로그 함수, 역삼각 함수, 대수적 함수, 삼각 함수, 지수 함수에서 먼저 나오는 유형에 속하는 하나를 로 삼는 법칙을 제시한 저자도 존재하며, 이러한 법칙을 함수 유형들의 첫자들을 따 LIATE 법칙(영어: LIATE rule)이라고 부른다.[1] 그러나 이 법칙은 때로 옳지 않을 수 있다.

증명

곱의 법칙에 따라 다음이 성립한다.

양변은 모두 연속 함수이므로 부정적분이 존재한다. 양변에 부정적분을 취하면 다음을 얻으므로 부정적분에 대한 명제가 성립한다.

또한 양변은 모두 적분 가능하며, 양변에 적분을 취하면 다음을 얻으므로 정적분의 경우가 성립한다.

첫째 예

부정적분

을 구하자. 이며 라고 하자. 그러면 이며 (상수차를 무시하면) 이다. 부분 적분을 적용하면 다음을 얻는다.

둘째 예

부정적분

를 구하자. 이며 라고 하자. 그러면 이며 이다. 부분 적분을 적용하면 다음을 얻는다.

셋째 예

부정적분

을 구하자. 이며 라고 하자. 그러면 이며 이다. 부분 적분을 적용하면 다음을 얻는다.

우변의 마지막 항의 적분에서 , , , 라고 하여 다시 부분 적분을 적용하면 다음을 얻는다.

따라서 구하려는 적분은 다음과 같다.

넷째 예

부정적분

을 구하자. 이며 라고 하자. 그러면 이며 이다. 부분 적분을 적용하면 다음을 얻는다.

따라서 구하려는 적분은 다음과 같다.

다섯째 예

다음과 같은 두 적분을 구하자.

이 둘에 각각 부분 적분을 적용하면 다음을 얻는다.

즉, 다음과 같은 연립 방정식이 성립한다.

따라서 구하려는 적분은 다음과 같다.

여섯째 예

다음과 같은 적분을 구하자.

다음과 같은 부분 적분을 사용하자 (구하려는 적분에 직접 적용하지 않았음에 주의하자).

따라서 구하려는 적분은 다음과 같다.

같이 보기

각주

  1. Kasube, Herbert E. (1983). “A Technique for Integration by Parts”. 《The American Mathematical Monthly》 (영어) 90 (3): 210-211. doi:10.2307/2975556. ISSN 0002-9890. JSTOR 2975556. 

참고 문헌