1. 개요
部分積分 / integration by parts부분적분이란, 두 함수의 곱으로 정의된 함수를 적분하는 기법이다.
미분가능한 연속함수 [math(f(x))], [math(g(x))]에 대해서 다음과 같이 부정적분, 정적분할 수 있다. 이때 [math(f(x))], [math(g(x))]의 도함수도 각각 연속이어야 한다. 곱의 미분법에서 도출된 공식이다.
| [math(\displaystyle \begin{aligned} \int f(x)g'(x)\,\mathrm{d}x&=f(x)g(x)-\int f'(x)g(x)\,\mathrm{d}x \\ \int_{a}^{b} f(x)g'(x)\,\mathrm{d}x&=\biggl[ f(x)g(x) \biggr]_{a}^{b}-\int_{a}^{b} f'(x)g(x)\,\mathrm{d}x \end{aligned} )] |
2. 유도
곱의 미분법에 따라 다음이 성립한다.| [math(\displaystyle \frac{\mathrm{d}}{\mathrm{d}x}[f(x)g(x) ]=f(x)\frac{\mathrm{d}g(x)}{\mathrm{d}x}+\frac{\mathrm{d} f(x)}{\mathrm{d}x}g(x) )] |
| [math(\displaystyle \int \frac{\mathrm{d}}{\mathrm{d}x}[f(x)g(x) ]\,\mathrm{d}x=\int f(x)\frac{\mathrm{d}g(x)}{\mathrm{d}x}\,\mathrm{d}x+\int \frac{\mathrm{d}f(x)}{\mathrm{d}x}g(x)\,\mathrm{d}x )] |
| [math(\displaystyle \int \frac{\mathrm{d}}{\mathrm{d}x}[f(x)g(x) ]\,\mathrm{d}x=\int \mathrm{d}[f(x)g(x) ]=f(x)g(x) )] |
| [math(\displaystyle f(x)g(x)=\int f(x)\frac{\mathrm{d}g(x)}{\mathrm{d}x}\,\mathrm{d}x+\int \frac{\mathrm{d}f(x)}{\mathrm{d}x}g(x)\,\mathrm{d}x )] |
| [math(\displaystyle \int f(x)g'(x)\,\mathrm{d}x=f(x)g(x)-\int f'(x)g(x)\,\mathrm{d}x )] |
3. 우선 순위: LIATE 법칙
4. 도표적분법
부분적분을 빠르게 계산하는 방법이다.의 도표적분법 부분을
참고하십시오.5. 스틸체스 적분 꼴
| [math(\displaystyle \begin{aligned} \int f(x)\,\mathrm{d}g(x) &= f(x)g(x) - \int g(x)\,\mathrm{d}f(x) \\ \int_{a}^{b} f(x)\, \mathrm{d} g(x) &= \biggl[ f(x)g(x)\biggr]_a^b-\int_{a}^{b} g(x) \, \mathrm{d} f(x) \end{aligned} )] |
미분계수가 함수인 꼴의 부분적분도 가능하다. 이 경우 미분을 하지 않는다는 차이점이 있다.[1]
위 식에서 [math(f(x) = u)], [math(g(x) = v)]를 이용해 간략하게 나타낼 수 있다. 주로 영미권 원서에서 이런 표기를 사용한다.
| [math(\displaystyle \begin{aligned} \int u\,\mathrm{d}v&=uv-\int v\,\mathrm{d}u \end{aligned} )] |
6. 예제
7. 고등학교
- 6차 교육과정: <수학Ⅱ>
- 7차 교육과정: <미분과 적분>
- 2007 개정 교육과정: <수학Ⅱ>
- 2009 개정 교육과정: <미적분Ⅱ>
- 2015 개정 교육과정: <미적분>
- 2022 개정 교육과정: <미적분Ⅱ>
8. 활용
다항함수의 정적분을 편리하게 계산하는 다음의 공식 역시 부분적분을 통하여 유도된다. 자세한 내용은 다항함수/공식/넓이 참고.| [math(\begin{aligned}\left|\int_{\alpha}^{\beta}a(x-\alpha)^m(x-\beta)^n\;{\rm d}x\right|&=\displaystyle\int_{\alpha}^{\beta}|a|(x-\alpha)^m(\beta-x)^n\;{\rm d}x\\&=\dfrac{|a|(m!n!)}{(m+n+1)!}(\beta-\alpha)^{m+n+1}\end{aligned})] |
9. 관련 문서
[1] 다만 미분계수 쪽의 함수가 미분가능하다면 미분한 상태로 적분식에 곱해주어 일반 적분으로 바꿀 수 있다.