정리 1. 닫힌구간 [a,b]에서 연속인 두 함수 F,G를 생각하자. 그리고 G는 구간 전체에서 부호가 바뀌지 않는다고 가정하자. 그러면, 다음 식을 만족하는 점 c가 열린구간 (a,b) 안에 존재한다.∫abF(x)G(x)dx=F(c)∫abG(x)dx정리 1은 연속함수의 대표적인 성질인 중간값의 정리를 이용하여 증명할 수 있으며, 정적분에 관한 평균값의 정리는 정리 1에서 G가 상수함수 1인 특수한 경우이다.
예제 1. 정리 1에서 a=0,b=π,F(x)=x,G(x)=sinx인 경우를 생각해보자. ∫0πxsinxdx=π, ∫0πsinxdx=2이므로 c=2π로 택하면 위의 등식이 성립한다.
(나)수치적 구적법
정적분을 계산할 때 원시 함수를 구체적으로 구하기 어려워 정확한 값을 얻을 수 없는 경우가 흔히 발생한다. 정적분 ∫abf(x)dx의 값을 근사하는데 자주 사용하는 방법으로 수치적 구적법(numerical quadrature)을 들 수 있으며, 이는 적당한 점 x1,⋯,xn과 적당한 수 a1,⋯,an을 이용하여k=1∑nakf(xk)형태로 나타낸다.
예제 2. 중점 규칙 (Midpoint rule)가장 간단한 수치적 구적법으로 중점 규칙을 들 수 있다.M(f)=(b−a)f(2a+b)
예제 3. 사다리꼴 규칙 (Trapezoid rule)정적분의 값을 구간의 양 끝점에서의 함수값으로 근사하는 가장 간단한 방법은 그림 1에 나타난 것과 같은 사다리꼴 규칙이다.T(f)=2b−a[f(a)+f(b)]사다리꼴 규칙은 다음 정리와 밀접한 관계가 있다.
정리 2. 닫힌구간 [a,b]를 포함하는 열린구간에서 정의된 두 번 미분 가능한 함수 f를 생각하자. 이계도함수 f′′이 [a,b]에서 연속이면,∫abf(x)dx=2b−a[f(a)+f(b)]−12(b−a)3f′′(c)을 만족하는 점 c가 열린구간 (a,b)에 존재한다.
(다)정확도 주어진 구적법의 정확도(degree of accuracy)는 0 이상 n 이하의 모든 k에 대하여 함수 xk의 구적법에 의한 근삿값과 적분값이 같아지는 n 중 가장 큰 값을 의미한다.
예제 4. a=0,b=1이라 하고 예제 2에서와 같이 중점 규칙으로 정적분을 근사하는 경우를 생각해보자. 우선, ∫011dx=1=M(1), ∫01xdx=21=M(x)이다. 하지만 ∫01x2dx=31=(21)2=M(x2)이므로 중점 규칙은 정확도 1을 가짐을 알 수 있다.
예제 5. a=0,b=1이라 하고 예제 3에서와 같이 사다리꼴 규칙으로 정적분을 근사하는 경우, ∫011dx=1=21[1+1]=T(1), ∫01xdx=21=21[0+1]=T(x)이 성립한다. 하지만 ∫01x2dx=31=21[0+1]=T(x2)이므로 사다리꼴 법칙은 정확도 1을 가짐을 알 수 있다. 한편 정리 2를 이용하여 사다리꼴 규칙의 정확도가 1임을 확인할 수도 있다. 1차 이하의 다항 함수의 이계도함수가 0이므로 정확도는 1 이상이고, 2차 다항식의 이계도함수는 0이 아닌 상수이므로 오차가 0일 수 없어 정확도는 1이하가 되기 때문이다.
[문제 2-1] <15점> 제시문 (가)의 정리 1을 a=0,b=π,F(x)=cos(cosx),G(x)=sinx에 적용할 때 cosc의 값은 얼마인가?
[문제 2-2] <20점> 사다리꼴 규칙에 대한 다음 물음에 답하라.1) <10점> p(a)=p(b)=0, −p′(a)=p′(b)=b−a를 만족하는 최고차항의 계수가 1인 이차 다항식 p(x)를 구하고, 부분적분 공식을 적절히 적용하여 ∫abf(x)dx를 T(f)와 ∫abf′′(x)p(x)dx를 이용하여 나타내라.2) <10점> 정리 2를 증명하라.
[문제 2-3] <15점> 자연수 n에 대하여 ∫−11f(x)dx를 근사하는 다음과 같은 수치적 구적법을 생각하자.n+1nf(−α)+(1−t)⋅f(0)+n+1nf(β)이 구적법이 가장 높은 정확도를 갖도록 하는 음이 아닌 실수 α,β,t를 각각 αn,βn,tn이라 하고, 이때의 정확도를 rn이라 할 때 아래 극한 값을 구하라.n→∞limαnβntnrn
해설강의 준비중
아주대 2015학년도 모의 자연계열 2번 · mathesis.kr/archive/ajou/2015mo/jayeon_2
[문제 2-1] ∫0πsinxdx=2,∫0πF(x)G(x)dx=∫0πcos(cosx)sinxdx=∫0π/2cos(cosx)sinxdx+∫π/2πcos(cosx)sinxdx=∫01costdt+∫−10costdt=2∫01costdt=2sin1문제에서 주어진 조건에 따라 cos(cosc)=sin1이다. 이제 t=cosc(−1≤t≤1)라 하면 cost=sin1=cos(π/2−1)을 만족하는 t의 값은 π/2−1 또는 1−π/2임을 알 수 있다.
[문제 2-2] 1) p(x)=(x−a)(x−b)라 하면 p(a)=p(b)=0, −p′(a)=p′(b)=b−a, p′′(x)=2가 성립한다. 부분적분 공식을 두 번 이용하면2∫abf(x)dx=∫abf(x)p′′(x)dx=[f(x)p′(x)]ab−∫abf′(x)p′(x)dx=f(b)p′(b)−f(a)p′(a)−∫abf′(x)p′(x)dx=[f(a)+f(b)](b−a)−[f′(x)p(x)]ab+∫abf′′(x)p(x)dx=[f(a)+f(b)](b−a)−f′(b)p(b)+f′(a)p(a)+∫abf′′(x)p(x)dx=[f(a)+f(b)](b−a)+∫abf′′(x)p(x)dx따라서 ∫abf(x)dx=2b−a[f(a)+f(b)]+21∫abf′′(x)p(x)dx이다.2) 제시문 (가)의 정리 1에 의하여 적당한 c가 열린구간 (a,b)에 존재하여∫abf′′(x)p(x)dx=f′′(c)∫abp(x)dx=−f′′(c)6(b−a)3을 만족한다. 이로부터 정리 2가 성립함을 알 수 있다.
[문제 2-3] 정확도가 0 이상이기 위해서는 n+1n+(1−t)+n+1n=2, 즉 t=n+1n−1이다. 정확도가 1 이상이기 위해서는 n+1n(−α)+n+1nβ=0이어야 하므로 α=β이다. 정확도가 2 이상이기 위해서는 2n+1nα2=2/3 즉 α2=β2=3nn+1. 즉, αn=βn=3nn+1, tn=n+1n−1이다. 이렇게 선택하면 기함수의 성질에 인하여 정확도는 3 이상이 된다. 주어진 수치적 구적법이 x4에 대해서는 정확할 수 없으므로 rn=3이다. 따라서 n→∞limαnβntnrn=1이다.