순환 행렬에서 발견하는 푸리에 변환: 선형대수로 보는 DFT의 탄생

** 본 논문은 “푸리에 변환은 어떻게 자연스럽게 발견될 수 있는가?”라는 질문을 출발점으로 삼아, 순환 행렬(circulant matrix)이라는 구체적인 행렬 군을 통해 이산 푸리에 변환(DFT)의 기원을 선형대수적 관점에서 재조명한다. 1. **동시 대각화의 이론적 배경** - 정의 2.1에서 “동시 대각화 가능”이라는 개념을 명시하고, 행렬 집합이 하나의 비특이 행렬 V에 의해 모두 대각화될 수 있음을 설명한다. - 필요조건으로 각 행렬이 개별적으로 대각화 가능해야 함을 강조하고, 충분조건으로는 모든 행렬이 서로 가환(commute)해야 함을 증명한다. 특히, 고유값이 중복되지 않는 경우(단순 고유값)에는 하나의 행렬 A의 고유벡터가 전체 가환 집합의 공통 고유벡터가 된다는 Lemma 2.2를 제시한다. 이는 실제 변환 행렬 V를 구하는 구체적 절차를 제공한다. 2. **순환 행렬의 정의와 구조** - n‑벡터 a = (a₀,…,a_{n‑1}) 로부터 첫 열을 정하고, 각 열을 오른쪽으로 한 칸씩 순환시켜 만든 행렬 Cₐ를 (1.1)식으로 정의한다. - 행과 열이 모두 동일한 순환 시프트에 의해 생성되므로, Cₐ는 “시프트 연산자 S”와 그 전치 S*에 의해 생성되는 대수적 구조를 가진다. - 순환 행렬은 Toeplitz 행렬의 특수 경우이며, 행렬 전체가 a 하나만으로 완전히 결정된다는 점에서 높은 대칭성을 가진다. 3. **시프트 연산자와 고유값·고유벡터** - 시프트 연산자 S는 S·e_j = e_{j+1 mod n} 로 정의되며, 이는 Zₙ 군의 순환 이동과 동형이다. - S는 n개의 서로 다른 복소 고유값 λ_k = e^{-i2πk/n} (k=0,…,n‑1)를 가지며, 고유벡터 v_k는 (v_k)_j = e^{-i2πkj/n} 로 주어진다. 이는 바로 DFT 행렬의 열벡터와 일치한다. - 따라서 S는 단순 고유값을 가지는 대표 행렬이며, Lemma 2.2에 의해 S와 가환하는 모든 순환 행렬은 동일한 고유벡터 집합 {v_k} 로 동시에 대각화된다. 4. **DFT의 자연스러운 도출** - 위 고유벡터 집합을 열벡터로 하는 행렬 F를 구성하면, F^{-1} Cₐ F = diag( \hat a_0, …, \hat a_{n‑1} ) 가 된다. 여기서 \hat a_k는 a의 DFT 정의 (1.2)와 동일하다. - 즉, DFT는 “특정 순환 행렬(시프트 연산자)의 고유벡터를 모아 만든 좌표 변환”이며, 모든 순환 행렬이 이 변환을 통해 대각 행렬(원소별 곱셈)로 표현된다. - 따라서 DFT를 신호 변환이라기보다 “공통 기저 변화”로 보는 것이 더 근본적인 해석이다. 5. **일반화와 다른 변환들** - 연속적인 경우: 무한 차원 힐베르트 공간에서 회전 군 U(1)과 연관된 푸리에 급수와 연속 푸리에 변환을 동일한 원리(가환 연산자 집합의 동시 대각화)로 도출한다. - z‑변환: 복소 평면에서 단위 원 위의 다항식 변환을 통해 얻어지며, 이는 순환 행렬의 복소 지수 형태와 직접 연결된다. - 비가환 경우: 행렬들이 가환하지 않을 때는 완전 대각화가 불가능하고, 대신 블록 대각화가 가능함을 언급한다. 이는 비가환 푸리에 분석(non‑commutative Fourier analysis)의 기초가 된다. 6. **교육적·연구적 의의** - 전통적인 “푸리에 변환을 정의하고 성질을 증명한다”는 접근을 뒤집어, 대칭과 가환성이라는 구조적 원리에서 변환을 ‘발견’하도록 함으로써 학생들에게 직관적 이해를 돕는다. - 행렬 대수와 군 표현 이론을 연결하는 교량 역할을 수행하며, 특히 신호·시스템 분야와 물리학·수학 전반에 걸친 응용 가능성을 제시한다. 결론적으로, 논문은 순환 행렬의 가환성, 시프트 연산자의 단순 고유값, 그리고 Zₙ 군의 회전 대칭을 결합해 DFT를 선형대수적 관점에서 자연스럽게 도출한다. 이 접근은 DFT뿐 아니라 푸리에 급수, 연속 푸리에 변환, z‑변환 등 다른 변환들의 근본 구조를 이해하는 통일된 프레임워크를 제공한다. **