정적분으로 정의된 함수의 미분
다음과 같이 적분 구간에 변수를 포함하는 정적분의 미분은 어떻게 계산할까?
함수 의 한 부정적분을 라고 가정한다. 즉, 이다. 미적분학의 기본정리에 따라 정적분은 다음과 같이 계산할 수 있다.
이제 이 식의 양변을 에 대하여 미분한다.
- 를 에 대해 미분하면 이다. 위에서 로 정의했다.
- 는 상수이므로 도 상수이다. 상수를 미분하면 이 된다.
따라서 다음과 같은 결과를 얻는다.
예제
- 를 정리하면?1
- 를 정리하면?2
- 를 정리하면?3
- 임의의 실수 에 대하여 이다. 의 값은? (단, 는 상수)4
- 임의의 실수 에 대하여 다항함수 가 를 만족시킬때, 의 값은? (단, )5
- 함수 의 극댓값과 극솟값의 차는?6
자기자신의 정적분이 포함된 함수
다음과 같이 정적분을 포함한 함수가 주어졌을 때, 함수 를 구하는 방법은 무엇일까?
정적분을 포함한 함수는 적분 구간이 상수인 정적분 의 결과 역시 하나의 상수라는 점을 이용하는 것이다.
라 두면, 가 된다. 이므로, 를 자기 자신에게 다시 대입 한다. 그러면
이므로 정적분이므로 계산을 통해 에 대한 간단한 일차방정식으로 변환된다. 이제 정리하여 의 값을 구한 뒤, 이 값을 다시 에 대입하면 최종적으로 함수 가 완성된다.
예제
정적분으로 정의된 함수의 극한
다음 극한 식의 값을 구해보자.
미적분의 기본정리 에 따르면, 함수 의 한 부정적분을 라고 할 때 (즉, ), 정적분은 다음과 같이 계산된다.
이제 원래의 극한 식에서 정적분 부분을 위에서 구한 로 바꿔서 다시 쓰면
함수 의 에서의 미분계수 정의 와 정확히 일치한다. 따라서 이 극한값은 가 된다. 처음에 를 의 부정적분이라고 했으므로, 이다.
응용
정적분으로 정의된 함수의 극한 문제는 대부분 꼴의 부정형(Indeterminate form)이므로, 로피탈의 정리(L’Hôpital’s Rule) 를 적용하여 매우 간단하게 결과를 도출할 수 있다.
먼저 주어진 극한 식을 다음과 같이 분수 형태로 생각한다.
일 때 분모가 으로, 분자 역시 으로 수렴하여 꼴임을 확인한다. 분자와 분모를 각각 변수()에 대하여 미분하면,
분자는 정적분으로 정의된 함수의 미분법을 이용하여 가 되고,
분모도 간단하게 정리되므로 손쉽게 극한값을 구할 수 있다.
이 방법은 미분계수의 정의를 이용한 풀이보다 직관적이며, 특히 적분 구간이 복잡한 합성함수 형태일 때 계산 과정을 획기적으로 줄여준다.
예제
피적분 함수에 변수가 있는 경우
다음 식과 같이 적분 구간과 피적분 함수 모두에 변수 가 포함되어 있는 경우가 있다.
이러한 형태의 식을 다룰 때 가장 중요한 원칙은 적분 변수와 그 외의 변수를 명확히 구분하는 것이다. 위 식의 는 이 적분이 변수 에 대하여 수행됨을 의미한다. 따라서 적분 기호 안에서는 를 제외한 모든 문자, 즉 는 상수 처럼 취급할 수 있다.
이 원칙에 따라 피적분 함수 를 에 대하여 전개하면 가 된다. 이제 정적분의 성질을 이용하여 식을 분리한다.
첫 번째 항 에서 는 적분 변수 와 무관한 상수 취급이 가능하므로 적분 기호 밖으로 꺼낼 수 있다.
이렇게 변형된 식은 양변을 에 대하여 미분하는 문제로 이어지는 경우가 많다. 에 대해 미분할 경우, 첫 번째 항은 에 대한 두 함수의 곱이므로 곱의 미분법 을 적용한다.
따라서
이다. 이는 분수 미분법(Fractional Derivatives)으로 일반화 시킬 수 있다.
응용
함수가 다음과 같은 꼴로 되어있다면,
가장 기본적인 단계는 적분 구간의 위끝과 아래끝을 같게 만드는 를 대입하는 것이다.
적분 구간의 길이가 이므로, 정적분의 값은 항상 이다.
다음으로 함수 를 에 대하여 미분하고,
이렇게 얻어진 에 다시 를 대입하면 마찬가지로 적분 구간의 길이가 이므로, 그 값은 이다.
를 한 번 더 에 대하여 미분하면, 미적분의 기본정리에 의해 다음과 같은 결과를 얻는다.
의 성질
예제
- 임의의 실수 에 대하여 다항함수 가 를 만족시킬 때, 는?(단, 는 상수이다.)17
- 임의의 실수 에 대하여 다항함수 가 를 만족시킬 때, 상수 에 대하여 의 값을 구하시오.18
- 임의의 실수 에 대하여 다항함수 가 를 만족시킬 때, 상수 의 값은?19
- 임의의 실수 에 대하여 다항함수 가 를 만족시킬 때, 는?20
- 임의의 실수 에 대하여 다항함수 가 을 만족시킬 때, 의 값은?21
Footnotes
-
이므로, 이다. ↩
-
미적분학의 기본정리에 의해, 이다. ↩
-
라 하면, 주어진 식은 와 같다. 따라서, 이다. ↩
-
주어진 등식의 양변을 에 대하여 미분하면, 이다. 주어진 등식에 를 대입하면, 이므로, 이다. 이다. 따라서 이고, 이다. ↩
-
주어진 등식의 양변을 에 대하여 미분하면, 이다. 주어진 등식에 를 대입하면, 이므로, 이고, 이다. 따라서 또는 이다. 문제의 조건에서 이므로, 이다. 따라서 이다. ↩
-
함수 의 도함수는 이다. 이 되는 값은 이다. 의 부호를 조사하면, 에서 극댓값, 에서 극솟값을 가짐을 알 수 있다. 이고, 이다. 따라서 극댓값과 극솟값의 차이는 이다. ↩
-
(상수)로 놓으면, 가 된다. 이 식을 다시 를 정의한 식에 대입하면, 이다. 이 정적분을 계산하면 가 된다. 따라서 라는 에 대한 방정식을 풀면 이므로 이다. 이 값을 원래의 식에 대입하면, 최종적으로 를 얻는다. ↩
-
(상수)로 놓으면, 이다. 이 식을 의 정의에 대입하면, 이다. 여기서 적분 구간이 이므로 기함수인 와 의 정적분 값은 이 된다. 따라서 우함수인 항만 계산하면 된다. 이다. 따라서 이고, 구하고자 하는 값은 이다. ↩
-
을 밖으로 빼면 이다. 정적분 는 상수이므로 이를 라고 두면, 로 표현할 수 있다. 이 식을 다시 에 대입하면 가 되고, 우변을 적분하여 계산하면 이다. 따라서 이므로 에서 이다. 이 값을 에 대입하면 이다. ↩
-
함수 의 한 부정적분을 라 할 때 미적분의 기본정리에 의해 정적분은 로 계산된다. 이 결과를 원래 식에 대입하면 가 되는데, 이는 에서의 미분계수 정의와 정확히 일치하므로 극한값은 가 된다. 최종적으로 라는 관계에 따라 주어진 식의 값은 이다. ↩
-
피적분함수 이고 이므로, 극한값은 이다. 이다. ↩
-
피적분함수 이고 이므로, 극한값은 이다. 이다. ↩
-
라 하고, 그 부정적분을 라 하면, 식은 이다. 여기서 일 때 이므로, 부분은 즉, 과 같다. 또한 이다. 따라서 전체 극한값은 이다. 이므로, 답은 이다. ↩
-
라 하고, 그 부정적분을 라 하면, 식은 이다. 이 식을 미분계수의 정의 형태로 만들기 위해 분자에 을 빼고 더하여 식을 분리한다. 첫 번째 항 은 즉, 이다. 두 번째 항 은 분모를 로 치환하면 즉, 이다. 따라서 전체 극한값은 이다. 이므로, 최종 답은 이다. ↩
-
미분계수 정의 형태로 만들기 위해 분모와 분자에 을 곱하여 분모를 로 만든다. 여기서 일 때 이므로, 부분은 즉, 과 같다. 또한 이다. 따라서 전체 극한값은 이다. 이므로, 최종 답은 이다. ↩
-
분모 을 로 인수분해하여 식을 분리한다. 이제 라 하면, 괄호 안의 극한값은 미분계수의 정의에 의해 이다. 이다. 따라서 전체 식의 극한값은 이다. ↩
-
주어진 등식의 우변을 라 하면 의 성질에 따라 , , 가 성립해야 한다. 먼저 을 이용하여 상수 를 구한다. 이므로 이 되어 이다. 이므로 를 두 번 미분한다. 이고, 이다. 이므로, 최종적으로 이다. ↩
-
주어진 등식의 우변을 라 하면 이고 이다. 먼저 이므로 이라는 관계식을 얻는다. 다음으로 에 을 대입하면 이므로 이 되어 이다. 이 값을 관계식에 대입하면 이므로 이다. 따라서 이다. ↩
-
주어진 등식의 우변을 라 하면, 적분 구간의 성질에 따라 이 성립한다. 또한, 양변을 미분하여 정리하면 이므로, 이 식에 를 대입하면 라는 핵심 관계식을 얻는다. 먼저 조건으로부터 이므로, 이 되어 이다. 다음으로 이므로, 이다. 여기에 를 대입하면 이다. 에 이 값을 대입하면 이므로, 이다. 따라서 구하고자 하는 의 값은 이다. ↩
-
좌변을 라 하면 이다. 양변을 세 번 미분하여 를 구한다. 이다. 과 비교하면 이다. 이 식을 다시 미분하면 이므로 이다. 마지막으로 이 식을 미분하면 이다. ↩
-
주어진 등식 를 풀기 위해, 먼저 좌변을 로 전개한 뒤 양변을 에 대하여 미분한다. 이때 곱의 미분법과 연쇄 법칙을 적용하면 라는 결과를 얻고, 우변을 미분한 과 같다고 놓을 수 있다. 이 식을 정리하면 가 되는데, 항이 소거되지 않으므로 가 다항함수라는 조건을 이용해 차수를 먼저 추론해야 한다. 좌변의 최고차항은 항에서 나오므로 그 차수는 (은 의 차수)이고, 우변의 최고차항은 차이므로 에서 , 즉 가 차 함수임을 알 수 있다. 따라서 로 설정하고 미분된 식에 대입하여 정리하면, 좌변은 가 된다. 이 식이 우변 과 같아야 하므로 양변의 계수를 비교하면 의 계수에서 이므로 이고, 의 계수에서 이므로 임을 확정할 수 있다. 결과적으로 이며, 문제에서 요구하는 의 값은 이다. ↩