본문으로 이동

부정적분

위키백과, 우리 모두의 백과사전.

기울기장에 그려진 함수 의 세 가지 원함수 . 적분 상수는 .

미적분학에서 부정적분(不定積分, 영어: indefinite integral)은 어떤 함수도함수로 하는 모든 함수를 구하는 연산이다. 부정적분이 존재할 경우, 이는 항상 고정된 함수와 임의의 상수의 합의 꼴로 나타낼 수 있다. 따라서 상수만큼의 차를 무시하면 부정적분은 미분 또는 도함수를 구하는 연산의 역연산이다.

정의

[편집]

함수 ()가 주어졌을 때, 만약 다음 조건을 만족시키는 함수 ()가 존재한다면, 이를 원함수(原函數, 영어: antiderivative) 또는 역도함수(逆導函數)라고 한다.

함수 ()의 한 원함수 가 존재할 경우, 의 모든 원함수는 정확히 다음과 같다.

이를 부정적분이라고 한다. 여기서 는 임의의 상수이며, 이를 적분상수라고 부른다. 부정적분이 항상 위와 같은 꼴임은 다음과 같이 증명할 수 있다. 우선 임의의 상수 에 대하여, 이므로, 이다. 즉, 의 원함수이다. 또한 임의의 원함수 에 대하여, 이므로, 평균값 정리에 따라 는 상수 함수이다. 따라서 꼴로 나타낼 수 있다.

위와 같은 꼴의 부정적분 공식은 정의역을 이루는 각각의 구간에서만 유효하다. 예를 들어, 에 대한 다음과 같은 부정적분 공식이 성립하려면 두 구간 가운데 하나를 선택하여야 한다.[1]:398-399

전체 정의역 에서의 실제 부정적분은 다음과 같다.[1]:398-399

성질

[편집]

미분과의 관계

[편집]

만약 의 부정적분이 존재한다면 다음이 성립한다.

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

이에 따라 상수 차를 무시하면 부정적분은 미분의 역연산이다.

미적분학의 기본 정리

[편집]

연속 함수 의 한 원함수는 적분상한을 변수로 취한 정적분으로 나타낼 수 있다.

반대로, 연속 함수의 한 원함수 가 주어졌을 때, 정적분은 다음과 같이 나타낼 수 있다.

선형성

[편집]

함수 의 부정적분이 존재한다면, 의 부정적분 역시 존재하며, 다음이 성립한다.

함수 의 부정적분이 존재한다면, 상수 에 대하여 의 부정적분 역시 존재하며, 일 경우 다음이 성립한다.

이에 따라 부정적분은 선형 연산이다.

치환 적분

[편집]

만약 의 한 원함수 가 존재하며, 가 미분 가능 함수라면, 다음이 성립한다.[2]:246, 정리6.2.1

만약 가 미분 가능 함수이며, 가 성립하며, 의 한 원함수 가 존재한다면, 다음이 성립한다.[2]:252, 정리6.2.2

부분 적분

[편집]

만약 가 미분 가능 함수이며, 의 부정적분이 존재한다면, 다음이 성립한다.

[편집]

유리 함수

[편집]

모든 (실수) 유리 함수는 다항식과 진분수식의 합으로 나타낼 수 있으며, 모든 진분수식은 부분 분수 분해를 통해 다음과 같은 꼴의 분수식들의 합으로 나타낼 수 있다.

여기서 은 실수이며 은 양의 정수이다. 또한 을 만족시킨다. 이 두 가지 분수식의 부정적분은 다음과 같이 구할 수 있다.

부분 분수 분해의 각 항이 초등 함수이므로, 모든 유리 함수의 부정적분은 초등 함수이다.

삼각 유리 함수

[편집]

삼각 유리 함수는 꼴의 함수를 뜻한다. 여기서 는 2변수 유리 함수이다. 이에 대한 부정적분에 다음과 같은 치환 적분을 사용하자.

그러면 원래의 부정적분은 유리 함수의 부정적분으로 변한다.

만약 라면, 이는 항상 꼴로 나타낼 수 있다. 따라서 이 경우 다음과 같은 더 간편한 기법을 사용할 수 있다.

마찬가지로, 만약 라면, 이는 꼴이므로, 이 경우 보통 다음과 같은 기법이 더 간편하다.

만약 라면, 꼴이므로, 이 경우 보통 다음과 같은 기법이 더 간편하다.

사실 모든 유리 함수는 위와 같은 세 유리 함수의 합으로 다음과 같이 나타낼 수 있다.

무리 함수

[편집]

무리 함수의 부정적분은 초등 함수가 아닐 수 있다. 그러나 다음과 같은 꼴의 부정적분은 초등함수이다.

여기서 는 2변수 유리 함수이며, 는 양의 정수이며, 는 실수이다. 또한 을 만족시킨다. 다음과 같은 치환 적분을 사용하자.

그러면 원래의 부정적분은 유리 함수의 부정적분으로 변한다.

함수 를 생각하자. 여기서 는 실수이며, 는 유리수이다. 가운데 적어도 하나가 정수일 경우 이 부정적분은 초등 함수가 된다. 이며 라고 하자. 여기서 는 정수이다. 만약 일 경우, 함수에 나오는 제곱근식은 뿐이므로, 치환 적분 를 통해 구할 수 있다. 만약 일 경우, 함수에 나오는 제곱근식은 뿐이므로, 역시 치환 적분 를 통해 구할 수 있다. 만약 일 경우, 함수를 와 같이 변형하였을 때 제곱근식은 뿐이므로, 치환 적분 를 통해 구할 수 있다.

보다 일반적으로, 함수 를 생각하자. 여기서 는 실수이며, 는 유리수이다. 다음과 같은 치환 적분을 사용하자.

그러면 위와 같은 꼴의 함수의 부정적분으로 변한다.

따라서 가운데 적어도 하나가 정수일 경우 이 부정적분은 초등 함수이다. 반대로 가 정수가 아닐 경우 이 부정적분은 초등 함수로 나타낼 수 없음을 19세기 중엽에 파프누티 체비쇼프가 증명하였다.

초등 함수로 나타낼 수 없는 부정적분

[편집]

초등 함수의 부정적분은 초등 함수가 아닐 수 있다. 예를 들어, 다음과 같은 부정적분들은 초등 함수가 아니다.

  • (오차 함수)
  • (프레넬 함수)
  • (삼각 적분 함수)
  • (로그 적분 함수)

같이 보기

[편집]

각주

[편집]
  1. Stewart, James (2011). 《Single Variable Calculus: Early Transcendentals》 (영어) 7판. Belmont, CA: Cengage Learning. ISBN 978-0-538-49867-8. LCCN 2010936598. 
  2. 伍胜健 (2009년 8월). 《数学分析. 第一册》 (중국어). 北京: 北京大学出版社. ISBN 978-7-301-15685-8.