단위 계단 함수_{(unit step function)} 또는 헤비사이드 계단 함수_{(Heaviside step function)}은 $0$보다 작은 실수에 대해서 $0$, $0$보다 큰 실수에 대해서 $1$, $0$에 대해서 $1/2$의 값을 갖는 함수이다. 일반적으로, 다음과 같이 정의한다.

 

정의 7. 단위 계단 함수(Unit Step Function)

$a \geq 0$라 하자. 단위 계단 함수_{(unit step function)}을 다음과 같이 정의한다. $$ u(t-a) := \begin{cases} 0, & \qquad t < a \\[5px] 1, & \qquad t > a \\[5px] 1/2, & \qquad t = a \end{cases} $$

 

우선 간단히 다음을 확인할 수 있다.

$$ \begin{align*} \mathcal{L}(u(t-a)) & = \int_{0}^{\infty} e^{-st} u(t-a) \, dt \\[5px] & = \int_{a}^{\infty} e^{-st} \, dt \\[5px] & = -\frac{1}{s} e^{-st} \bigg|_{a}^{\infty} \\[5px] & = \frac{1}{s} a^{-as} \end{align*} $$

 

정리 8.

임의의 함수 $f$에 대하여 다음이 성립한다. $$ \begin{align*} \mathcal{L}(f(t-a)u(t-a)) & = e^{-as}F(s), \\[5px] \mathcal{L}^{-1}(e^{-as}F(s)) & = f(t-a)u(t-a). \end{align*} $$

 

증명. 직접 계산을 통해 간단히 확인 가능하다.

$$ \begin{align*} e^{-as}F(s) & = e^{-as} \int_{0}^{\infty} e^{-s \tau} f(\tau) \, d\tau & \\[5px]& = \int_{0}^{\infty} e^{-s (\tau+a)} f(\tau) \, d\tau \\[5px] & = \int_{a}^{\infty} e^{-st} {f(t-a)} \, dt \qquad \qquad (\tau + a = t) \\[5px] & = \int_{0}^{\infty} f(t-a)u(t-a) \, dt \\[5px] & = \mathcal{L}(f(t-a)u(t-a)) \end{align*} $$

 

예제 14. 함수 $f$를 아래와 같이 정의하자.

$$ f(t) = \begin{cases} 2, & \qquad 0<t<1 \\[5px] \frac{1}{2}t^2, & \qquad 1<t<\frac{\pi}{2} \\[5px] \cos t, & \qquad t > \frac{\pi}{2} \end{cases} $$

그러면,

$$ \begin{align*} f(t) & = 2[1-u(t-1)] + \tfrac{1}{2}t^2[u(t-1)-u(t-\tfrac{\pi}{2})] + \cos t u(t-\tfrac{\pi}{2}) \\[5px] & = \underbrace{2[1-u(t-1)]}_{(1)} + \underbrace{\tfrac{1}{2}t^2 u(t-1)}_{(2)} - \underbrace{\tfrac{1}{2}t^2 u(t-\tfrac{\pi}{2})}_{(3)} + \underbrace{\cos t u(t-\tfrac{\pi}{2})}_{(4)} \end{align*} $$

이제, 우변의 각 항을 각각 풀어주면,

$$ \begin{align*} (1) \ 2 \left( \frac{1}{s} - \frac{1}{s}e^{-s} \right) \hspace{25em} \end{align*} $$

$$ \begin{align*} (2) \ \frac{t^2}{2} u(t-1) & = \frac{(t-1+1)^2}{2} u(t-1) \hspace{17em} \\[5px] & = \left[ \frac{(t-1)^2}{2} + (t-1) + \frac{1}{2} \right] u(t-1) \\[5px] & \Rightarrow e^{-s}\left( \frac{1}{s^3} + \frac{1}{s^2} + \frac{1}{2s} \right) \end{align*} $$

$$ \begin{align*} (3) \ \frac{t^2}{2} u(t-\tfrac{\pi}{2}) & = \left[ \frac{(t-\tfrac{\pi}{2})^2}{2} + (t-\tfrac{\pi}{2}) + \frac{\pi^2}{8} \right] u(t-\tfrac{\pi}{2}) \hspace{10em} \\[5px] & \Rightarrow e^{-\tfrac{\pi}{2}s} \left( \frac{1}{s^3} + \frac{1}{s^2} + \frac{\pi^2}{8}\frac{1}{s} \right) \end{align*} $$

$$ \begin{align*} (4) \ \cos t u(t - \tfrac{\pi}{2}) & = -\sin(t - \tfrac{\pi}{2})u(t-\tfrac{\pi}{2}) \hspace{14em} \\[5px] & \Rightarrow -e^{\tfrac{\pi}{2}s}\frac{1}{s^2 + 1} & \end{align*} $$

따라서, $\mathcal{L}(f) = (1) + (2) - (3) + (4)$.

 

예제 15. 함수 $F$를 다음과 같다고 하자.

$$ F(s) = \frac{e^{-s}}{s^2 + \pi^2} + \frac{e^{-2s}}{s^2 + \pi^2} + \frac{e^{-3s}}{(s+2)^2} $$

다음이 성립하므로,

$$ \begin{align*} \mathcal{L}^{-1}\left( \frac{1}{s^2 + \pi^2} \right) & = \frac{1}{\pi} \sin \pi t \qquad \text{and} \\[5px] \mathcal{L}^{-1}\left( \frac{1}{(s+2)^2} \right) & = e^{-2t} t, \end{align*} $$

아래 식을 얻는다.

$$ \begin{align*} f(t) & = \frac{1}{\pi} \sin \pi(t-1) u(t-1) + \frac{1}{\pi} \sin \pi(t-2) u(t-2) + e^{-2(t-3)} (t-3) u(t-3) \\[5px] & = \begin{cases} 0, & \quad 0 < t < 1 \\[5px] -\tfrac{1}{\pi} \sin \pi t, & \quad 1 < t < 2 \\[5px] 0, & \quad 2 < t < 3 \\[5px] e^{-2(t-3)} (t-3), & \quad t > 3 \end{cases} \end{align*} $$