7.28 미적분학의 기본 정리

1. 미적분학의 기본 정리의 의의

미적분학의 기본 정리(Fundamental Theorem of Calculus, FTC)는 미분(differentiation)과 적분(integration)이 서로 역연산(inverse operation)의 관계에 있음을 엄밀하게 확립하는 정리이다. 이 정리는 뉴턴(Newton)과 라이프니츠(Leibniz)에 의해 독립적으로 발견되었으며, 해석학의 근간을 이룬다. 미적분학의 기본 정리는 제1기본 정리와 제2기본 정리의 두 부분으로 구성된다.

2. 제1기본 정리

2.1 정리의 진술

$f$ 가 닫힌 구간 $[a, b]$ 에서 연속인 함수라 하자. 축적 함수(accumulation function)

$F(x) = \int_a^x f(t) \, dt, \quad x \in [a, b]$

는 $[a, b]$ 에서 연속이고, $(a, b)$ 에서 미분 가능하며, 그 도함수는 $f$ 와 같다.

$F'(x) = \frac{d}{dx} \int_a^x f(t) \, dt = f(x), \quad \forall\, x \in (a, b)$

2.2 증명

미분의 정의에 의해

$F'(x) = \lim_{h \to 0} \frac{F(x + h) - F(x)}{h} = \lim_{h \to 0} \frac{1}{h} \int_x^{x+h} f(t) \, dt$

이다. $f$ 가 $[x, x+h]$ (또는 $h < 0$ 이면 $[x+h, x]$ )에서 연속이므로, 적분의 평균값 정리(mean value theorem for integrals)에 의해 $x$ 와 $x + h$ 사이에 점 $c_h$ 가 존재하여

$\frac{1}{h} \int_x^{x+h} f(t) \, dt = f(c_h)$

가 성립한다. $h \to 0$ 이면 $c_h \to x$ 이고, $f$ 의 연속성에 의해 $f(c_h) \to f(x)$ 이므로

$F'(x) = \lim_{h \to 0} f(c_h) = f(x)$

을 얻는다.

2.3 해석적 의미

제1기본 정리는 연속 함수 $f$ 가 반드시 역도함수(antiderivative)를 가짐을 보장한다. 구체적으로, $F(x) = \int_a^x f(t) \, dt$ 가 $f$ 의 역도함수이다. 이는 역도함수의 존재성에 대한 구성적 증명(constructive proof)이다.

3. 제2기본 정리

3.1 정리의 진술

$f$ 가 닫힌 구간 $[a, b]$ 에서 연속이고, $F$ 가 $f$ 의 임의의 역도함수, 즉 $F'(x) = f(x)$ 이면 다음이 성립한다.

$\int_a^b f(x) \, dx = F(b) - F(a)$

이를 뉴턴-라이프니츠 공식(Newton-Leibniz formula)이라 하며, $F(b) - F(a)$ 를 $\bigl[F(x)\bigr]_a^b$ 또는 $F(x) \Big\vert_a^b$ 로 표기한다.

3.2 증명

$G(x) = \int_a^x f(t) \, dt$ 로 정의하면, 제1기본 정리에 의해 $G'(x) = f(x)$ 이다. 가정에 의해 $F'(x) = f(x)$ 이므로

$(F - G)'(x) = F'(x) - G'(x) = f(x) - f(x) = 0, \quad \forall\, x \in (a, b)$

이다. 도함수가 항등적으로 0인 함수는 상수 함수이므로, $F(x) - G(x) = C$ 인 상수 $C$ 가 존재한다.

$x = a$ 를 대입하면 $F(a) - G(a) = C$ 이고, $G(a) = \int_a^a f(t) \, dt = 0$ 이므로 $C = F(a)$ 이다. 따라서

$G(x) = F(x) - F(a)$

$x = b$ 를 대입하면

$\int_a^b f(t) \, dt = G(b) = F(b) - F(a)$

을 얻는다.

3.3 역도함수의 비유일성

$f$ 의 역도함수는 임의의 상수 $C$ 만큼의 차이를 허용하여 유일하지 않다. 즉, $F$ 가 $f$ 의 역도함수이면 $F + C$ 도 역도함수이다. 그러나 제2기본 정리에서 $F(b) - F(a)$ 를 계산할 때 상수 $C$ 는 소거되므로, 어떤 역도함수를 선택하더라도 정적분의 값은 동일하다.

4. 두 기본 정리의 상호 관계

두 정리의 관계를 요약하면 다음과 같다.

$\frac{d}{dx} \int_a^x f(t) \, dt = f(x) \quad \text{(적분 후 미분 = 원래 함수)}$

$\int_a^b F'(x) \, dx = F(b) - F(a) \quad \text{(미분 후 적분 = 순변화량)}$

미분 연산자 $D = d/dx$ 와 적분 연산자 $\mathcal{I}_a^x$ 에 대해, $D \circ \mathcal{I}_a^x = \text{id}$ (항등 연산)이 성립하고, $\mathcal{I}_a^b \circ D$ 는 경계값의 차를 반환한다. 미분과 적분은 정확한 의미에서의 역연산이며, 이 대응이 미적분학의 본질이다.

5. 라이프니츠 적분 규칙

5.1 일반 형태

적분의 상한과 하한이 모두 매개변수 $x$ 의 함수인 경우, 제1기본 정리의 일반화로서 라이프니츠 적분 규칙(Leibniz integral rule)이 적용된다.

$\frac{d}{dx} \int_{\alpha(x)}^{\beta(x)} f(t) \, dt = f(\beta(x)) \cdot \beta'(x) - f(\alpha(x)) \cdot \alpha'(x)$

이 공식은 연쇄 법칙(chain rule)과 제1기본 정리의 결합으로 유도된다. $G(u) = \int_a^u f(t) \, dt$ 로 정의하면

$\int_{\alpha(x)}^{\beta(x)} f(t) \, dt = G(\beta(x)) - G(\alpha(x))$

이므로, 연쇄 법칙에 의해

$\frac{d}{dx} [G(\beta(x)) - G(\alpha(x))] = G'(\beta(x)) \cdot \beta'(x) - G'(\alpha(x)) \cdot \alpha'(x) = f(\beta(x)) \beta'(x) - f(\alpha(x)) \alpha'(x)$

을 얻는다.

5.2 피적분함수가 매개변수에 의존하는 경우

피적분함수 $f$ 가 적분 변수 $t$ 와 매개변수 $x$ 에 모두 의존하는 경우, 일반화된 라이프니츠 규칙은

$\frac{d}{dx} \int_{\alpha(x)}^{\beta(x)} f(t, x) \, dt = f(\beta(x), x) \cdot \beta'(x) - f(\alpha(x), x) \cdot \alpha'(x) + \int_{\alpha(x)}^{\beta(x)} \frac{\partial f}{\partial x}(t, x) \, dt$

이다. $f$ 와 $\partial f / \partial x$ 가 연속이면 이 공식이 성립한다.

6. 벡터값 함수로의 확장

벡터값 함수 $\mathbf{f}: [a, b] \to \mathbb{R}^n$ 의 각 성분 $f_i$ 가 연속이면, 기본 정리는 성분별(component-wise)로 적용된다.

$\frac{d}{dt} \int_a^t \mathbf{f}(\tau) \, d\tau = \mathbf{f}(t)$

$\int_a^b \mathbf{F}'(t) \, dt = \mathbf{F}(b) - \mathbf{F}(a)$

여기서 $\mathbf{F}(t) = (F_1(t), F_2(t), \dots, F_n(t))^T$ 이고 $F_i'(t) = f_i(t)$ 이다. 이 확장은 로봇 궤적 벡터의 적분에 직접 적용된다.

7. 로봇공학에서의 응용

7.1 속도로부터 변위의 계산

로봇 관절의 각속도 $\dot{q}(t)$ 가 시간 구간 $[t_0, t_f]$ 에서 주어졌을 때, 관절 각변위(angular displacement)는 제2기본 정리에 의해

$q(t_f) - q(t_0) = \int_{t_0}^{t_f} \dot{q}(t) \, dt$

로 계산된다. 마찬가지로, 가속도 $\ddot{q}(t)$ 로부터 속도의 변화량은

$\dot{q}(t_f) - \dot{q}(t_0) = \int_{t_0}^{t_f} \ddot{q}(t) \, dt$

이다. 이 관계는 궤적 계획에서 위치, 속도, 가속도 프로파일 사이의 일관성을 보장하는 기본 조건이다.

7.2 일반화 힘에 의한 일의 계산

로봇 매니퓰레이터에서 일반화 힘(generalized force) $\boldsymbol{\tau}(t)$ 가 일반화 속도 $\dot{\mathbf{q}}(t)$ 에 대해 수행한 일(work)은

$W = \int_{t_0}^{t_f} \boldsymbol{\tau}(t)^T \dot{\mathbf{q}}(t) \, dt$

이다. 에너지 보존 법칙(conservation of energy)과 결합하면

$W = T(t_f) - T(t_0) + V(t_f) - V(t_0) + W_{\text{diss}}$

이 성립한다. 여기서 $T$ 는 운동 에너지, $V$ 는 위치 에너지, $W_{\text{diss}}$ 는 마찰 등에 의한 소산 에너지(dissipated energy)이다.

7.3 충격량-운동량 정리

외부 힘 $\mathbf{F}(t)$ 가 시간 구간 $[t_1, t_2]$ 동안 작용할 때, 충격량(impulse)과 운동량(momentum) 변화의 관계는

$\mathbf{J} = \int_{t_1}^{t_2} \mathbf{F}(t) \, dt = \mathbf{p}(t_2) - \mathbf{p}(t_1)$

이다. 여기서 $\mathbf{p}(t) = m \mathbf{v}(t)$ 는 선운동량이며, $\mathbf{F}(t) = \dot{\mathbf{p}}(t)$ 이다. 이 관계는 로봇의 충돌 감지, 접촉력 추정, 그리고 충돌 응답 계획에 활용된다.

7.4 관성 센서 데이터의 적분

관성 측정 장치(IMU)로부터 측정된 각속도 $\boldsymbol{\omega}(t)$ 와 선가속도 $\mathbf{a}(t)$ 로부터 자세와 속도를 복원할 때, 제2기본 정리가 적용된다.

$\mathbf{v}(t_f) = \mathbf{v}(t_0) + \int_{t_0}^{t_f} \mathbf{a}(t) \, dt$

$\mathbf{p}(t_f) = \mathbf{p}(t_0) + \int_{t_0}^{t_f} \mathbf{v}(t) \, dt$

수치적으로는 이산 시간 간격 $\Delta t$ 에서의 근사 적분을 수행한다.

$\mathbf{v}_{k+1} \approx \mathbf{v}_k + \mathbf{a}_k \Delta t$

이 과정에서 센서 잡음과 바이어스(bias)에 의한 적분 오차가 시간에 따라 누적되어 드리프트(drift)를 유발한다. 이를 보정하기 위해 상보 필터(complementary filter)나 확장 칼만 필터(extended Kalman filter) 등의 센서 융합 기법이 사용된다.

7.5 궤적 계획에서의 경계 조건

다항식 궤적에서 위치-속도-가속도 사이의 적분 관계는 경계 조건을 설정하는 기초가 된다. 5차 다항식 궤적 $q(t) = \sum_{k=0}^{5} a_k t^k$ 의 경우, 6개의 경계 조건

$q(t_0) = q_0, \quad \dot{q}(t_0) = v_0, \quad \ddot{q}(t_0) = a_0$

$q(t_f) = q_f, \quad \dot{q}(t_f) = v_f, \quad \ddot{q}(t_f) = a_f$

으로부터 계수 $a_0, a_1, \dots, a_5$ 를 유일하게 결정할 수 있다. 이때 $\dot{q}(t) = q'(t)$ 와 $\ddot{q}(t) = q''(t)$ 의 관계는 미분의 역과정으로서의 적분에 의해 보장된다.

8. 참고 문헌

Apostol, T. M. (1967). Calculus, Vol. 1. 2nd ed. Wiley.
Rudin, W. (1976). Principles of Mathematical Analysis. 3rd ed. McGraw-Hill.
Bartle, R. G., & Sherbert, D. R. (2011). Introduction to Real Analysis. 4th ed. Wiley.
Craig, J. J. (2005). Introduction to Robotics: Mechanics and Control. 3rd ed. Pearson.
Siciliano, B., Sciavicco, L., Villani, L., & Oriolo, G. (2009). Robotics: Modelling, Planning and Control. Springer.

v 0.2