주기함수의 한 주기 적분은 적분 구간에 상관없이 항상 같은 값을 가진다 📂함수

주기함수의 한 주기 적분은 적분 구간에 상관없이 항상 같은 값을 가진다

정리

$f$ 를 $2L$ -주기함수라고 하자. 그러면 아래의 값은 $a$ 의 값에 상관없이 일정하다.

$\int_{a}^{a+2L}f(t)dt$

주기함수의 정의에 의하면 당연한 사실이다. 이러한 사실로부터 주기함수를 적분할 때 적분구간을 변경하는 등의 테크닉을 쓸 수 있다.

또한 함숫값의 평균과 연관지어서 생각하면 주기함수의 한 주기 평균은 일정하다는 뜻인데 이 역시 주기함수의 정의를 생각해보면 매우 당연한 사실이다.

$\displaystyle g(a)=\int_{a}^{a+2L} f(t)dt$ 라고 하자. $g(a)$ 를 $a$ 로 미분하여 $0$ 이 나오면 증명 완료이다. 우선 적분구간을 다음과 같이 나누어주자.

$g(a)=\int_{0}^{a+2L}f(t)dt - \int_{0}^a f(t)dt$

그러면 미적분학의 기본 정리에 의해 다음이 성립한다.

$g^{\prime}(a)= f(a+2L) - f(a)$

여기서 $f$ 의 조건에 의해 $f(t+2L)=f(t)$ 이므로 다음을 얻는다.

$g^{\prime}(a)=0$

■