샘플링 시스템을 위한 Z‑변환 이론의 근본 교정

초록

본 논문은 기존 Z‑변환과 역라플라스 변환(L⁻¹) 사이에 존재하던 수학적 누락—무한 원호(arc) 기여를 무시한 점—을 지적하고, 전체 Bromwich 경로를 포함한 완전한 적분을 통해 이를 보완한다. 그 결과, t=0에서의 불연속성 해소와 Heaviside 단계함수의 평균값(u(0)=½) 적용이 정당화되며, 수정된 Z‑변환이 DTFT 별칭(ali­asing) 이론과 일치함을 증명한다.

상세 분석

이 논문은 샘플링 이론의 고전적 기반인 Z‑변환과 라플라스‑Z 매핑이 근본적인 수학적 결함을 가지고 있음을 체계적으로 밝힌다. 저자들은 두 가지 전통적 접근법—고전 제어에서의 잔여(Residue) 계산과 현대 상태공간 이론에서의 Dunford‑Taylor 적분—이 모두 복소평면의 무한 원호(Arc R) 기여를 무시한다는 점을 지적한다. 이 누락은 특히 t=0에서의 초기값 문제를 야기하며, Heaviside 단계함수의 정의가 왼쪽 연속(u(0)=0)과 오른쪽 연속(u(0)=1) 사이에서 모호성을 초래한다는 기존 논쟁을 재조명한다.

논문은 Bromwich 적분을 전체 경로(실축, 무한 원호, 그리고 폐곡선)로 확장함으로써 L⁻¹의 정확한 형태를 도출한다. 핵심 식(9‑10)에서는 무한 원호 적분이 t=0일 때 0이 됨을 증명하고, 따라서 L⁻¹는 기존 “잔여만”이 아니라 “잔여 − 무한 원호” 형태로 표현되어야 함을 보여준다. 이와 동시에 단계함수의 값은 u(0)=½, 즉 좌·우극한의 산술 평균으로 정의해야 내부 일관성을 유지한다는 결론을 내린다.

수학적 정밀성을 확보한 뒤, 저자들은 수정된 L⁻¹를 이용해 Z‑변환을 재구성한다. 기존의 정의‑중심 보정(초기값 항 x(0+)/2을 추가)과 방법‑중심 보정(초기값 항을 빼는) 모두 무한 원호 기여를 무시하고 있기 때문에 여전히 불완전하다고 비판한다. 대신, 완전한 Bromwich 적분을 적용한 새로운 Z‑변환 식은 DTFT 별칭 공식 X_s(s)=∑_{k∈ℤ}X(s−j2πkT)와 정확히 일치한다. 이는 샘플링된 연속‑시간 시스템을 라플라스 영역에서 직접 변환함으로써, “임펄스‑인버리언스” 방법이나 “ZOH” 변환과 동일한 결과를 얻지만, 초기값 처리와 단계함수 정의에 대한 모호성을 완전히 제거한다는 점에서 의미가 크다.

기술적 기여는 크게 네 가지로 정리할 수 있다. 첫째, 역라플라스 변환의 무한 원호 기여를 명시적으로 포함한 엄밀한 증명을 제공한다. 둘째, Heaviside 단계함수의 정의를 평균값(u(0)=½)으로 재정의함으로써 초기값 모순을 해소한다. 셋째, 수정된 L⁻¹와 Z‑변환이 DTFT 별칭 이론과 완전 일치함을 증명하여, 기존의 “표(표)‑수정” 방식이 불필요함을 보인다. 넷째, 상태공간 모델에 대한 구체적인 매핑(예: A_z=e^{AT_s}, B_z=B 등)을 제시해, 실제 제어 설계와 디지털 필터 구현에 바로 적용 가능한 실용적 프레임워크를 제공한다.

하지만 몇 가지 비판적 시각도 필요하다. 무한 원호 기여가 t>0에서는 실제로 0이 되므로, 기존 엔지니어링 실무에서는 큰 영향을 미치지 않을 수 있다. 따라서 저자들이 제시한 수정이 실제 시스템 식별·시뮬레이션에서 눈에 띄는 차이를 만들지 여부는 추가 실험적 검증이 필요하다. 또한, 단계함수 평균값 정의는 수학적으로는 일관성을 제공하지만, 물리적 신호(예: 실제 샘플링 장치)의 초기값이 0인지 1인지에 따라 달라지는 경우가 있다. 이러한 경우를 어떻게 처리할지에 대한 실용적 가이드라인이 부족하다. 마지막으로, 논문이 기존 문헌(특히 Ragazzini‑Franklin의 고전적 작업)과의 차이를 강조하지만, 유사한 논의가 이미 일부 고급 텍스트(예: Oppenheim‑Schafer, Kailath)에서도 다뤄졌을 가능성을 간과하고 있다.

종합적으로, 이 논문은 Z‑변환 이론의 수학적 기반을 재정립하려는 시도로서, 특히 역라플라스 변환의 경로 선택과 단계함수 정의에 대한 깊이 있는 분석을 제공한다. 학술적 가치는 높으며, 제어·신호 처리 분야에서 교과서적 정의를 재검토하고, 보다 엄밀한 모델링을 추구하는 연구자들에게 유용한 참고자료가 될 것이다.