SASA Math
  • Introduction
  • Recent Articles
  • Topic Index
  • Tag Cloud
  • Links

적분 공식

by I Seul Bee

이 글은 『미적분학 첫걸음』 6장 3절의 내용입니다.  (미적분학 첫걸음 차례 보기)

미적분의 기본정리는 미분의 역연산으로 정적분을 계산할 수 있게 해준다. 또한 부정적분은 그 자체로 미분의 역연산이다. 그러므로 여러 가지 적분 공식은 미분 공식으로부터 얻어진다.

기본 공식

기본 함수의 미분공식으로부터 다음을 얻는다.

보기 6.3.1. 다음 예에서 \(C\)는 국소적 상수이다.

\(\displaystyle (1) \,\, \int k \,dx = kx+C \quad \text{if \(k\) is a constant.}\)

\(\displaystyle (2) \,\, \int x^{\alpha} dx = \frac{1}{\alpha +1} x^{\alpha +1} +C \quad \text{if } x > 0 ,\,\, \alpha \ne -1. \)

\(\displaystyle (3) \,\, \int \sin x \,dx = - \cos x +C . \)

\(\displaystyle (4) \,\, \int \cos x \,dx = \sin x +C. \)

\(\displaystyle (5) \,\, \int \sec^2 x \,dx = \tan x +C. \)

\(\displaystyle (6) \,\, \int e^x \,dx = e^x +C. \)

\(\displaystyle (7) \,\, \int a^x \,dx = \frac{a^x}{\ln a} +C \quad \text{if } a > 0 ,\,\, a\ne 1. \)

\(\displaystyle (8) \,\, \int \frac{1}{x} dx = \ln \lvert x\rvert +C \quad \text{if } x\ne 0. \)

참고. 위 보기에서 \(C\)를 단순히 상수라고 하지 않고 국소적 상수라고 하는 데에는 다음과 같은 이유가 있다. (8)을 이용하여 설명해 보겠다. \(x\)가 속한 범위가 양수와 음수를 모두 원소로 가진다고 하자. 그리고 \[ f(x) = \begin{cases} \ln \lvert x \rvert +1 \quad &\text{if} \,\, x < 0 , \\[5pt] \ln \lvert x \rvert +2 \quad &\text{if} \,\, x > 0 \end{cases} \] 이라고 하자. 그러면 \(0\)이 아닌 임의의 \(x\)에 대하여 \[ f ' (x) = \frac{1}{x} \] 이므로 \(f(x)\)는 \(1/x\)의 부정적분이다. 이와 같이 \(1/x\)의 부정적분은 다음과 같은 꼴로 표현된다. \[ \int \frac{1}{x} dx = \begin{cases} \ln \lvert x \rvert + C_1 \quad &\text{if} \,\, x < 0 , \\[5pt] \ln \lvert x \rvert + C_2 \quad &\text{if} \,\, x > 0 \end{cases} \] 여기서 \(C_1\)과 \(C_2\)는 각각 상수이다. 이 두 상수는 서로 다를 수도 있다. 만약 \(C\)가 국소적 상수라면 \[ \int \frac{1}{x}dx = \ln \lvert x \rvert +C \] 와 같이 간단하게 나타낼 수 있다.

부분적분법

함수 \(f\)와 \(g\)가 미분 가능하다고 하자. 그러면 미분의 곱 법칙에 의하여 다음을 얻는다. \[ \frac{d}{dx} (f(x)g(x)) = f ' (x) g(x) + f(x) g ' (x) . \] 양변의 역도함수를 생각하면 위 식으로부터 부분적분법을 얻을 수 있다.

정리 6.3.1. (부분적분법)

함수 \(f\)와 \(g\)가 \([a,\,b]\)에서 미분 가능하고, \(f ' \)과 \(g ' \)이 \([a,\,b]\)에서 적분 가능하다고 하자. 그러면 \[ \int_a^b f(x)g ' (x) dx = f(b)g(b) - f(a)g(a) - \int_a^b f ' (x)g(x)dx \] 이다.

보기 6.3.2.

다음 정적분을 구해 보자. \[ \int_1^e \ln x\,dx. \] \(f(x) = \ln x,\) \(g(x)=x\)라고 하면 \(f ' (x) = \frac{1}{x} ,\) \(g ' (x) = 1\)이다. \[ f(x) g '(x) = \frac{d}{dx} (f(x)g(x)) - f ' (x) g (x) \] 이므로 \[ \ln x = \frac{d}{dx} (\ln x \times x) - \frac{1}{x} \times x \] 이며, 양변의 역도함수를 구하면 \[ \int \ln x\,dx = x\ln x -x +C \] 를 얻는다. 그러므로 \[ \int_1^e \ln x\,dx = \bigg[ x\ln x - x \bigg]_1^e = (e-e) - (0-1) = 1 \] 이다.

부분적분법은 다음과 같이 부정적분 형태로 나타낼 수 있다. \[ \int f(x) g' (x) dx = f(x)g(x) - \int f ' (x)g(x) dx. \] 여기서 \(u=f(x),\) \(v=g(x)\)라고 하면 \[ \frac{du}{dx} = f ' (x) ,\quad \frac{dv}{dx} = g'(x) \] 즉 \[ du = f ' (x) dx ,\quad dv = g ' (x) dx \] 이므로 부정적분의 부분적분법을 다음과 같이 나타낼 수 있다. \[ \int u \,dv = uv - \int v\,du . \]

보기 6.3.3.

다음 부정적분을 구해 보자. \[ \int xe^x \,dx. \] \(u=x,\) \(dv = e^x dx\)라고 하자. 그러면 \(dv = v ' (x) dx \) 그리고 \(dv = e^x dx\)이므로 \(v ' (x) = e^x\)이다. 따라서 \[ v = \int e^x dx = e^x +C_1 \] 이다. 여기서 \(v=e^x\)로서 가장 간단한 형태의 역도함수를 취하자.

\(du = dx\)이므로 \[ \int u \,dv = uv - \int v\,du \] 로부터 \[ \int xe^x dx = xe^x - \int e^x dx = xe^x -e^x +C \] 를 얻는다.

치환적분법

\(F\)가 함수 \(f\)의 한 역도함수이고 \(g\)가 미분 가능한 함수라고 하자. 또한 \(g\)의 함숫값이 \(f\)의 정의역에 속한다고 하자. 미분의 연쇄 법칙으로부터 다음 등식을 얻는다. \[ \frac{d}{dt} F(g(t)) = F ' (g(t)) g ' (t) = f(g(t)) g ' (t). \] 따라서 \[ \int f(g(t)) g ' (t) dt = F(g(t)) +C \] 이다. 한편 \[ F(x) +C = \int f(x)dx \] 이므로 변수변환 \(x=g(t)\) 아래에서 \[ \int f(x) dx = \int f(g(t)) g ' (t) dt \] 로 나타낼 수 있다.

정리 6.3.2. (부정적분의 변수변환)

\(f\)가 연속함수이고 \(g\)가 미분 가능한 함수이며 \(g\)의 함숫값이 \(f\)의 정의역에 속한다고 하자. 그러면 변수변환 \(x=g(t)\) 아래에서 \[ \int f(x)dx = \int f(g(t)) g ' (t) dt \] 이다.

예제 6.3.4. 다음 부정적분을 구하시오. \[ \int t(t^2 + 3 )^4 \,dt . \]

풀이. \(f(x)=x^4 ,\) \(g(t) = t^2 +3\)이라고 하면 \[ f(g(t)) = (t^2 + 3)^4 ,\quad g ' (t)=2t \] 이다. 그러므로 변수변환 공식에 의하여 다음을 얻는다. \[ \begin{align} \int t(t^2 +3)^4 \,dt &= \frac{1}{2} \int f(g(t)) g ' (t) dt \\[5pt] &= \frac{1}{2} \int f(x) dx \\[5pt] &= \frac{1}{2} \int x^4 \,dx \\[5pt] &= \frac{1}{10} x^5 +C \\[5pt] &= \frac{1}{10} (t^2 +3)^5 +C . \end{align} \]

예제 6.3.5. 다음 부정적분을 구하시오. \[ \int \tan t \,dt . \]

풀이. \(x=\cos t\)라고 하면 \(dx = -\sin t \,dt\)이다. \[ \int \frac{1}{x} dx = \ln \lvert x \rvert + C(x) \] 이고 \(C(x)\)는 \((-\infty ,\, 0)\)과 \((0,\, \infty )\)에서 각각 상수이다. 따라서 다음을 얻는다. \[ \begin{align} \int \tan t \,dt &= - \int \frac{1}{\cos t} (-\sin t) dt \\[5pt] &= - \int \frac{1}{x} dx \\[5pt] &= - \ln \lvert x \rvert +C(x) \\[5pt] &= - \ln \lvert \cos t \rvert + C(\cos t). \end{align} \] 만약 \(I = \left( -\frac{\pi}{2} ,\, \frac{\pi}{2} \right)\)라고 하면 \(t\in I\)일 때 \(\cos t > 0\)이므로 \(I\)에서 \(\tan t\)의 부정적분은 다음과 같다. \[ \int \tan t \,dt = - \ln \lvert \cos t \rvert +C . \] 여기서 \(C\)는 상수이다.

예제 6.3.6. 다음 부정적분을 구하시오. \[ \int \sin^3 x \,\cos ^2 x \,dx. \]

풀이. \(u=\cos x\)라고 하면 \(du = -\sin x\,dx\)이다. 따라서 다음을 얻는다. \[ \begin{align} \int \sin^3 x \,\cos^2 x \,dx &= \int \sin^2 x\,\cos^2 x\,\sin x\,dx \\[5pt] &= \int (1-\cos^2 x ) \cos^2 x \,\sin x\,dx \\[5pt] &= - \int (1-u^2 )u^2 \,du \\[5pt] &= \int (u^4 - u^2 ) du \\[5pt] &= \frac{1}{5} u^5 - \frac{1}{3} u^3 +C \\[5pt] &= \frac{1}{5} \cos^5 x - \frac{1}{3} \cos^3 x +C. \end{align} \]

예제 6.3.7. 다음 부정적분을 구하시오. \[ \int \sqrt{9-x^2} \,dx \quad (-3 \le x \le 3). \]

풀이. \(x=3\cos t\)라고 하자. \(t=\cos^{-1}(x/3)\)로 택하면 \(0\le t\le\pi\)이므로 \(\sin t\ge0\)이다. 또한 \[ dx = -3 \sin t\,dt \] 이고 \[ 9-x^2 = 9 - 9 \cos^2 t = (3\sin t)^2 \] 이다. 따라서 \[ \sqrt{(3\sin t)^2}=3\sin t \] 이므로 다음을 얻는다. \[ \begin{align} \int\sqrt{9-x^2} dx &= \int\sqrt{(3\sin t)^2} (-3 \sin t)dt\\[5pt] &= - 9 \int \sin^2 t\,dt \\[5pt] &= - \frac{9}{2} \int (1-\cos 2t) dt\\[5pt] &= - \frac{9}{2} \left( t - \frac{1}{2} \sin 2t \right) +C. \end{align} \] 여기서 \[ t=\cos^{-1} \frac{x}{3} \] 이다.

예제 6.3.8. 다음 부정적분을 구하시오. \[ \int \frac{1}{x^2 -4} dx \quad (-2 < x < 2) . \]

풀이. 피적분함수를 변형하면 다음과 같다. \[ \frac{1}{x^2 -4} = \frac{1}{(x+2)(x-2)} = \frac{1}{4(x-2)} - \frac{1}{4(x+2)}. \] 그러므로 다음을 얻는다. \[ \begin{align} \int \frac{1}{x^2 -4} dx &= \frac{1}{4} \int \left( \frac{1}{x-2} - \frac{1}{x+2} \right)dx \\[5pt] &= \frac{1}{4} \left( \ln\lvert x-2 \rvert - \ln \lvert x+2 \rvert \right)+C. \end{align} \]

  • 앞의 글 : 미적분의 기본정리
  • 다음 글 : 길이, 넓이, 부피

Search

Categories

  • Abstract Algebra (3)
  • Analytic Geometry (1)
  • Applied Activity (1)
  • Basic Mathematics (6)
  • Calculus (49)
  • Classical Geometry (1)
  • Complex Analysis (2)
  • Differential Equation (1)
  • Differential Geometry (1)
  • Functional Analysis (2)
  • General Topology (3)
  • Linear Algebra (32)
  • Mathematical Analysis (4)
  • Mathematical Logic (1)
  • Probability & Statistics (1)
  • Real Analysis (1)
  • Sets and Logic (4)

Statistics

  • 33
  • 89
  • 676
  • 2,998
  • 321,168

Sejong Academy of Science and Arts

  • Introduction
  • Recent Articles
  • Topic Index
  • Tag Cloud
  • Links