정의
한켈 행렬(英: Hankel matrix)은 각 원소가 같은 역대각선(반대각선)에 위치한 원소와 동일한 값을 갖는 정방행렬을 말한다. 즉, $n \times n$ 한켈 행렬 $H$는
$$
H_{i,j}=c_{i+j-1}\qquad (1\le i,j\le n)
$$
의 형태를 가지며, 여기서 ${c_k}$는 임의의 수열이다.
개요
한켈 행렬은 대칭행렬이면서, 각 행이 이전 행을 오른쪽으로 한 칸씩 이동시킨 형태와 동일하다. 이러한 구조 때문에 행렬의 모든 역대각선(즉, $i+j$가 같은 원소)상의 값이 동일하다. 한켈 행렬은 신호처리, 시스템 식별, 순간 문제(moment problem), 다항식 근사 등 다양한 분야에서 활용된다. 특히, 순간(sequence of moments)과 연관된 행렬을 구성할 때 핵심적인 역할을 한다.
어원/유래
한켈 행렬이라는 명칭은 독일의 수학자 헨리히 하멜(Hermann Hankel, 1839–1873)을 기리기 위해 붙여졌다. Hankel은 행렬 이론과 복소함수론에서 중요한 공헌을 했으며, 특히 순간 문제와 관련된 행렬 구조를 연구하였다. 한국어에서는 그의 성을 음역하여 “한켈”이라고 표기한다.
특징
| 구분 | 내용 |
|---|---|
| 구조적 특성 | 모든 역대각선이 동일한 값을 갖는다. 따라서 전치행렬과 동일한 형태이면서 대칭성을 가진다. |
| 계수 표현 | 행렬은 하나의 수열 ${c_k}$만으로 완전히 결정된다. |
| 행렬식 | $n$차 한켈 행렬의 행렬식은 일반적으로 복잡하지만, 특정 수열(예: 모멘트 수열)에서는 Vandermonde 형태와 연관된 표현이 존재한다. |
| 역행렬 | 일반적인 경우 역행렬이 존재하지 않을 수 있다. 역행렬이 존재할 경우, 그 형태는 복합적인 구조를 갖는다. |
| 연산 | 한켈 행렬의 곱, 전치, 역은 모두 한켈 구조를 유지한다(특정 조건 하에서). |
| 응용 | • 순간 문제(주어진 순간을 이용한 확률분포 복원) • 신호 및 시스템 이론(선형 시스템의 출력과 입력 간 관계) • 제어 이론(시스템 식별) • 다항식 근사와 최소제곱 문제 |
| 관련 행렬 | 토플리츠 행렬(Toepplitz matrix)은 대각선이 일정한 구조를 갖는 점에서 유사하지만, 토플리츠는 주대각선을 따라 일정하고, 한켈은 역대각선을 따라 일정하다. |
관련 항목
- 토플리츠 행렬 – 동일한 대각선(주대각선) 값이 일정한 구조의 행렬.
- 모멘트 행렬 – 순간(sequence of moments)으로 구성된 한켈 행렬의 한 예.
- 시스템 식별 – 입력과 출력 데이터를 사용해 시스템 모델을 추정하는 분야에서 한켈 행렬이 사용된다.
- 선형 시스템 – 시스템 응답을 표현할 때 한켈 행렬이 등장한다.
- 행렬식 및 특성값 – 한켈 행렬의 특성값 분석은 신호 처리와 통계학에서 중요하게 다루어진다.