7.53 라플라스 변환의 정의와 수렴 영역

1. 라플라스 변환의 정의

1.1 단측 라플라스 변환

시간 영역의 함수 $f(t)$ ( $t \geq 0$ )에 대한 단측(unilateral) 라플라스 변환은 다음과 같이 정의된다.

$F(s) = \mathcal{L}\{f(t)\} = \int_0^{\infty} f(t) e^{-st} \, dt$

여기서 $s = \sigma + j\omega$ 는 복소 주파수 변수(complex frequency variable)이며, $\sigma = \text{Re}(s)$ 는 감쇠율, $\omega = \text{Im}(s)$ 는 각주파수에 해당한다. 라플라스 변환은 시간 영역의 함수를 복소 주파수 영역의 함수 $F(s)$ 로 변환하는 적분 변환(integral transform)이다.

단측 라플라스 변환은 $t < 0$ 에서 $f(t) = 0$ 을 가정하므로, 인과적(causal) 시스템과 초기값 문제의 분석에 자연스럽게 적합하다. 로봇 제어 시스템은 물리적 인과성을 갖는 시스템이므로, 단측 라플라스 변환이 표준적으로 사용된다.

1.2 양측 라플라스 변환

양측(bilateral) 라플라스 변환은 적분 구간을 전체 실수 축으로 확장한다.

$F(s) = \int_{-\infty}^{\infty} f(t) e^{-st} \, dt$

양측 변환은 비인과적 함수의 해석에 사용되나, 로봇공학에서는 단측 변환이 거의 대부분의 경우에 적용되므로, 이하에서 라플라스 변환은 별도의 언급이 없으면 단측 라플라스 변환을 지칭한다.

2. 라플라스 변환의 존재 조건

2.1 지수 차수의 개념

함수 $f(t)$ 가 지수 차수(exponential order) $\alpha$ 를 갖는다 함은, 양의 상수 $M$ 과 $T$ 가 존재하여 다음이 성립하는 것이다.

$\lvert f(t) \rvert \leq M e^{\alpha t}, \quad \forall t > T$

즉, $f(t)$ 의 증가율이 지수함수 $e^{\alpha t}$ 를 넘지 않는다. 이 조건은 라플라스 변환 적분의 수렴을 보장하는 데 핵심적이다.

2.2 존재 정리

정리. $f(t)$ 가 $[0, \infty)$ 의 임의의 유한 구간에서 구간별 연속(piecewise continuous)이고, 지수 차수 $\alpha$ 를 갖는다면, 라플라스 변환 $F(s)$ 는 $\text{Re}(s) > \alpha$ 에서 존재한다.

증명의 개요. $\text{Re}(s) = \sigma > \alpha$ 일 때 다음이 성립한다.

$\lvert F(s) \rvert \leq \int_0^{\infty} \lvert f(t) \rvert e^{-\sigma t} \, dt \leq \int_T^{\infty} M e^{(\alpha - \sigma)t} \, dt + \int_0^{T} \lvert f(t) \rvert e^{-\sigma t} \, dt$

$\sigma > \alpha$ 이므로 첫째 적분은 수렴하고, 둘째 적분은 유한 구간에서의 적분이므로 유한하다. 따라서 $F(s)$ 가 존재한다.

3. 수렴 영역

3.1 수렴 좌표의 정의

라플라스 변환 적분이 절대 수렴하는 $s$ 의 집합을 수렴 영역(region of convergence, ROC)이라 한다. 단측 라플라스 변환의 수렴 영역은 항상 다음의 형태를 갖는다.

$\text{ROC} = \{s \in \mathbb{C} : \text{Re}(s) > \sigma_c\}$

여기서 $\sigma_c$ 를 수렴 좌표(abscissa of convergence)라 한다. 수렴 좌표는 적분이 수렴하는 $\sigma = \text{Re}(s)$ 의 하한이다. 수렴 영역은 복소 평면에서 $\text{Re}(s) = \sigma_c$ 직선의 오른쪽 반평면 전체이다.

3.2 주요 함수의 수렴 좌표

함수 $f(t)$	라플라스 변환 $F(s)$	수렴 좌표 $\sigma_c$
$1$ (단위 계단)	$1/s$	$0$
$e^{at}$	$1/(s-a)$	$\text{Re}(a)$
$t^n$ ( $n \geq 0$ 정수)	$n!/s^{n+1}$	$0$
$\sin(\omega t)$	$\omega/(s^2 + \omega^2)$	$0$
$\cos(\omega t)$	$s/(s^2 + \omega^2)$	$0$
$e^{at}\sin(\omega t)$	$\omega/((s-a)^2 + \omega^2)$	$\text{Re}(a)$
$t e^{at}$	$1/(s-a)^2$	$\text{Re}(a)$

수렴 좌표는 함수의 최대 지수적 증가율에 의해 결정된다. 감쇠하는 함수( $a < 0$ )는 음의 수렴 좌표를 가지며, 증가하는 함수( $a > 0$ )는 양의 수렴 좌표를 갖는다.

4. 수렴 영역과 해석적 성질

4.1 해석성

$F(s)$ 는 수렴 영역 $\text{Re}(s) > \sigma_c$ 내에서 해석적(analytic) 함수이다. 즉, 이 영역 내의 모든 점에서 무한히 미분 가능하고, 테일러 급수로 전개할 수 있다. 또한 $F(s)$ 의 도함수는 다음과 같이 적분 부호 아래에서의 미분으로 구해진다.

$F'(s) = -\int_0^{\infty} t f(t) e^{-st} \, dt = -\mathcal{L}\{tf(t)\}$

4.2 극한 거동

수렴 영역 내에서 $\lvert s \rvert \to \infty$ 이면 $F(s) \to 0$ 이다. 이 성질은 라플라스 변환으로 표현 가능한 함수의 범위를 제한한다. 예를 들어, $s$ 의 다항식은 그 자체로는 어떤 시간 영역 함수의 라플라스 변환이 될 수 없다.

5. 수렴 영역의 물리적 의미

5.1 감쇠 인자의 해석

라플라스 변환의 핵(kernel) $e^{-st} = e^{-\sigma t}e^{-j\omega t}$ 에서, $e^{-\sigma t}$ 는 감쇠 인자이고 $e^{-j\omega t}$ 는 주파수 성분을 추출하는 정현파이다. $\sigma > \sigma_c$ 이면 감쇠 인자가 $f(t)$ 의 증가를 억제하여 적분이 수렴한다.

$s = j\omega$ (즉 $\sigma = 0$ )를 대입하면 푸리에 변환(Fourier transform)을 얻는다.

$F(j\omega) = \int_0^{\infty} f(t) e^{-j\omega t} \, dt$

이는 $\sigma_c \leq 0$ 인 경우에만 정의되며, 안정한 시스템( $\sigma_c < 0$ )의 주파수 응답 해석에 사용된다. 로봇 제어 시스템에서 주파수 응답 함수는 전달 함수에 $s = j\omega$ 를 대입하여 얻어진다.

5.2 안정성과 수렴 영역의 관계

선형 시불변 시스템의 임펄스 응답 $h(t)$ 의 라플라스 변환이 전달 함수 $H(s)$ 이다. 시스템이 BIBO(bounded-input bounded-output) 안정하기 위한 필요충분조건은 $h(t)$ 가 절대 적분 가능한 것이며, 이는 수렴 좌표 $\sigma_c < 0$ 과 동치이다. 즉, 전달 함수의 수렴 영역이 허수 축을 포함하면 시스템은 안정하다.

6. 특이 함수의 라플라스 변환

6.1 단위 계단 함수

단위 계단 함수 $u(t)$ 의 라플라스 변환은 다음과 같다.

$\mathcal{L}\{u(t)\} = \int_0^{\infty} e^{-st} \, dt = \frac{1}{s}, \quad \text{Re}(s) > 0$

6.2 디랙 델타 함수

디랙 델타 함수(Dirac delta function) $\delta(t)$ 는 분포(distribution)의 의미에서 다음 성질을 만족한다.

$\int_{-\infty}^{\infty} \delta(t)g(t)\,dt = g(0)$

라플라스 변환은 다음과 같다.

$\mathcal{L}\{\delta(t)\} = \int_0^{\infty} \delta(t)e^{-st}\,dt = 1$

수렴 좌표는 $\sigma_c = -\infty$ 이며, 모든 $s$ 에 대하여 존재한다. 디랙 델타 함수는 로봇 시스템의 임펄스 응답 분석에서 이상적인 충격 입력을 나타낸다.

6.3 지연 델타 함수

시간 지연된 델타 함수 $\delta(t - t_0)$ ( $t_0 > 0$ )의 라플라스 변환은 다음과 같다.

$\mathcal{L}\{\delta(t - t_0)\} = e^{-st_0}$

이 결과는 시간 지연 시스템의 라플라스 영역 표현에 활용된다.

7. 라플라스 변환의 유일성

정리 (르뤼(Lerch)의 정리). $F(s) = G(s)$ 이면, 거의 모든 곳에서(almost everywhere) $f(t) = g(t)$ 이다.

이 정리는 라플라스 변환과 원래 함수 사이의 일대일 대응을 보장한다. 따라서 라플라스 변환표를 이용한 역변환이 유일한 결과를 제공한다.

8. 요약

라플라스 변환은 시간 영역의 미분 방정식을 복소 주파수 영역의 대수 방정식으로 변환하는 강력한 도구이다. 변환의 존재는 함수의 구간별 연속성과 지수 차수 조건에 의해 보장되며, 수렴 영역은 항상 우반평면의 형태를 갖는다. 수렴 좌표는 함수의 지수적 증가율을 반영하며, 시스템의 안정성과 직접적으로 관련된다. 푸리에 변환은 라플라스 변환의 허수 축 위의 특수한 경우로, 안정한 시스템의 주파수 응답 분석에 사용된다. 이러한 수학적 기초는 로봇 제어 시스템의 설계와 해석에서 전달 함수, 안정성 판정, 주파수 응답 분석의 이론적 근간을 형성한다.

참고 문헌

Schiff, J. L. (1999). The Laplace Transform: Theory and Applications. Springer.
Oppenheim, A. V., Willsky, A. S., & Nawab, S. H. (1997). Signals and Systems (2nd ed.). Prentice Hall.
Ogata, K. (2010). Modern Control Engineering (5th ed.). Prentice Hall.
Kreyszig, E. (2011). Advanced Engineering Mathematics (10th ed.). Wiley.
Franklin, G. F., Powell, J. D., & Emami-Naeini, A. (2015). Feedback Control of Dynamic Systems (7th ed.). Pearson.

version: 0.1.0