스라소니 머릿속에는

Inverse Laplace Transform (Bromwich Integral)

7 min read

Inverse Laplace Transform (Bromwich Integral)

Overview

Inverse Laplace Transform은 주파수 영역 함수 를 시간 영역 함수 로 되돌리는 변환이다. 공식적으로는 Bromwich integral이라는 복소 적분으로 정의되며, 실제로는 Residue Theorem을 이용한 계산이나 Transform Table을 사용한다.

Bromwich integral을 해야 하는 이유는 푸리에 변환을 이용해 우아하게 증명할 수 있다.

Definition: Bromwich Integral

SymbolMeaning
Laplace 변환된 함수
시간 영역 함수
의 모든 특이점보다 오른쪽에 있는 실수
복소수 변수 ()

역변환의 공식적 정의:

여기서 적분 경로는 복소 평면에서 인 수직선이다.

왜 이 공식인가? - Fourier Transform으로부터의 유도

Bromwich integral은 단순히 “그냥 이렇게 정의한다”가 아니라, Fourier transform의 역변환에서 자연스럽게 유도된다.

Step 1: Fourier Transform 관계

라플라스 변환에서 s가 꼭 실수이리란 법은 없구나?
를 복소수인 로 놓으면, 충분히 큰 에 대해:

이것은 의 Fourier transform이다! 그런데 의 적분 범위가 양수로 한정된.

핵심 통찰: Laplace transform은 exponential decay를 곱한 함수의 Fourier transform으로 볼 수 있다.

Step 2: Fourier Inverse Transform 적용

Fourier 역변환 공식에 의해:
시간에 대해 푸리에 역변환 해줄 때는 적분 기호가 임을 잊지 말것.

양변에 를 곱하면:

Step 3: 변수 치환

로 놓으면:

  • (따라서 )
  • 는 에 대응

따라서:

이것이 Bromwich integral이다!

물리적 의미와 기하학적 해석

적분 경로

  • 복소 평면 적분: 적분 경로는 인 수직선
  • 선택: 의 모든 극점(poles)보다 오른쪽에 위치해야 수렴
  • Region of Convergence: 는 ROC 내부에 있어야 함

Causality와의 연결

  • Laplace transform의 적분이 부터 시작하므로, 역변환도 에서만 유효
  • 에 대해서는 (causal function)
  • 이것이 물리적 시스템의 인과율을 자연스럽게 반영

왜 는 모든 극점 오른쪽이어야 하나?

Residue Theorem을 적용할 때:

  • : 왼쪽 반평면을 닫아 적분 (극점들을 포함)
  • : 오른쪽 반평면을 닫아 적분 (극점 없음 → )

가 모든 극점보다 오른쪽에 있어야 이 논리가 작동한다.

실용적 역변환 방법

직접 Bromwich 적분을 계산하는 것은 어려우므로, 다음 방법들을 사용한다:

1. Transform Table 사용

가장 간단한 방법. 기본적인 transform pairs를 암기하거나 표에서 찾는다.

예시:

2. Partial Fraction Decomposition

가 유리함수일 때 효과적:

각 항을 개별적으로 역변환:

3. Residue Theorem

복소 평면에서 극점의 residue를 계산:

Simple pole 에서의 residue:

Multiple pole (order )에서의 residue:

4. Convolution Theorem

의 역변환을 직접 구하기 어려울 때, 와 를 각각 구해 convolution.

예제: 2차 시스템

Underdamped case ()

극점: , where

Residue 계산하거나 partial fraction으로:

Questions & Insights

  • Bilateral Laplace transform의 역변환은 어떻게 다른가?
  • Branch cut이 있는 함수 (예: )의 역변환은?
  • Numerical inverse Laplace transform 방법은? (Talbot method, Gaver-Stehfest)
  • 왜 에서 이 자동으로 나오는가? (적분 경로 닫는 방향)

References

  • Statistical mechanics winter school notes (2026-02-11)
  • Complex analysis textbooks (Churchill & Brown)

Notes from Claude

Bromwich integral이 “그냥 정의”처럼 보이지만, 실제로는 Fourier transform의 자연스러운 확장이다. 이 유도를 이해하면:

  1. 왜 가 분모에 있는가: Fourier 역변환의 와 변수 치환의
  2. 왜 수직선을 따라 적분하는가: 가 실수 전체를 움직일 때 의 경로
  3. 왜 ROC가 중요한가: Fourier transform 수렴 조건에서 유래

실제 계산에서는 Bromwich integral을 직접 계산하지 않고, residue theorem이나 table lookup을 사용한다. 하지만 이론적 배경을 이해하면 왜 이 방법들이 작동하는지, 그리고 언제 조심해야 하는지 (branch cut, essential singularity 등) 알 수 있다.

그래프 뷰

백링크