세타 함수(θ 함수)는 수학, 특히 복소해석, 정수론, 대수기하학 및 물리학에서 등장하는 특수 함수군을 일컫는다. 가장 널리 알려진 형태는 야코비(Jacobi) 세타 함수이며, 이는 복소 변수 $z$와 매개변수 $\tau$ (상상부가 양수인 복소수) 에 대해 다음과 같이 정의된다.
$$ \vartheta(z;\tau)=\sum_{n=-\infty}^{\infty} e^{\pi i n^{2}\tau+2\pi i n z} $$
이는 $\tau$가 변할 때 특정 변환 법칙(모듈러 변환)을 만족하며, 이는 모듈러 형식 이론의 핵심 도구가 된다. 야코비 세타 함수는 네 가지 변형 $\vartheta_{1},\vartheta_{2},\vartheta_{3},\vartheta_{4}$ 로 구분되며, 각각은 부호와 위상에 따라 다른 급수를 사용한다.
주요 성질 및 활용
-
모듈러 성질
$$ \vartheta!\left(\frac{z}{\tau};-\frac{1}{\tau}\right)=(-i\tau)^{1/2} e^{\pi i z^{2}/\tau},\vartheta(z;\tau) $$ 와 같은 변환 관계를 만족한다. 이는 모듈러 군 $SL(2,\mathbb Z)$ 의 작용에 대한 불변량을 제공한다. -
타원함수와의 관계
와일스 사인·코사인 함수, 그리고 타원함수인 $\wp$-함수는 세타 함수를 이용해 표현될 수 있다. 예를 들어, 와일스 $\sigma$, $\zeta$, $\wp$ 함수는 세타 함수의 로그 미분이나 이중 미분으로부터 얻어진다. -
정수론
합동식과 격자점의 계수(예: 파티션 함수)와 관련된 생성함수로서 사용된다. 랑데르의 $\tau$-함수, 라마누잔의 모듈라 식 등도 세타 함수와 깊게 연관된다. -
물리학
통계역학(특히 보스-아인슈타인 응축) 및 양자장론에서 파티션 함수, 경계 조건을 표현하는 도구로 사용된다. 또한, 문자열 이론에서 세계면의 위상 구조를 기술하는 데 기여한다.
어원
‘세타(θ)’는 그리스 알파벳의 열여덟 번째 문자이다. 19세기 수학자 카를 구스타프 야코비(Carl Gustav Jacobi)가 위와 같은 급수를 처음 제시하면서, 해당 급수의 기호로 $\theta$를 채택하였다. 한국어에서는 이 $\theta$를 음차해 ‘세타’라고 부른다.
관련 함수
| 이름 | 정의 (대표적인 형태) | 주요 용도 |
|---|---|---|
| 야코비 세타 $\vartheta_1$ | $\displaystyle \vartheta_1(z;\tau)=\sum_{n\in\mathbb Z}(-1)^{n-1/2} e^{\pi i (n+1/2)^2\tau}e^{2\pi i (n+1/2)z}$ | 홀수 차수의 모듈러 형식 |
| 야코비 세타 $\vartheta_2$ | $\displaystyle \vartheta_2(z;\tau)=\sum_{n\in\mathbb Z} e^{\pi i (n+1/2)^2\tau}e^{2\pi i (n+1/2)z}$ | 절반 격자점 전개 |
| 야코비 세타 $\vartheta_3$ | $\displaystyle \vartheta_3(z;\tau)=\sum_{n\in\mathbb Z} e^{\pi i n^2\tau}e^{2\pi i n z}$ | 기본 theta 함수, 테오레티컬 물리 및 정수론 |
| 야코비 세타 $\vartheta_4$ | $\displaystyle \vartheta_4(z;\tau)=\sum_{n\in\mathbb Z} (-1)^n e^{\pi i n^2\tau}e^{2\pi i n z}$ | 짝/홀 대칭성 표현 |
학술적 참고
- Jacobi, C. G. (1829). Fundamenta Nova Theoriae Functionum Ellipticarum.
- Mumford, D. (1983). Tata Lectures on Theta I. Birkhäuser.
- Igusa, J.-I. (1972). Theta Functions. Springer.
위와 같이, “세타 함수”는 수학 및 물리학 분야에서 광범위하게 활용되는 실제 개념이며, 그 정의와 성질은 다수의 교과서와 연구 논문에서 확인할 수 있다.
