엘립틱 함수와 행렬식의 고전적 연결

프뢰베니우스와 스티켈베르거는 1877년 논문에서 엘립틱 함수에 대한 새로운 행렬식 공식을 제시한다. 논문은 먼저 일반적인 급수 형태 f₀(u),…,fₙ(u)를 정의하고, 임의의 점 u₀,…,uₙ에 대한 (n+1)차 행렬식 F(u₀,…,uₙ)=|f_α(u_β)|를 고려한다. 이 행렬식은 교환 대칭성을 갖는 다항식 G와 ∏_{α>β}(u_α−u_β) 의 곱으로 분해될 수 있음을 보이며, G 역시 양의 거듭제곱 급수로 전개된다. 여기서 차분 연산 Δf(u)=f(u+h)−f(u)를 도입해 행렬식의 형태를 |Δ_β f_α(u)| 로 바꾸고, h→0 극한을 취함으로써 미분 형태의 행렬식으로 전이한다. 이 제한 과정은 행렬식의 대칭인자와 미분 연산 사이의 관계를 명확히 한다. 다음으로 ψ(u)=d log σ(u)/du 를 정의한다. ψ(u+v)−ψ(u)는 이중주기성을 가진 함수이며, 이를 이용해 (2n+2) 차원의 행렬식 R을 구성한다. R의 첫 행을 ψ(u₀+v_j) 로, 두 번째 행을 ψ(u₁+v_j) 로 채우는 식을 통해 R는 u₀,…,uₙ 및 v₀,…,vₙ에 대한 이중주기 함수가 된다. ψ는 u=0 에서만 무한대가 되며, 그 극점은 1/u 로 시작한다. 따라서 R는 u₀=−v_j (j=0,…,n) 에서 단순 극점을 갖고, u₀=u_j (j=1,…,n) 에서는 영점을 갖는다. 브리오와 부케의 정리(Abel’s theorem)를 적용하면, 영점과 극점의 합이 모듈러 격자에 대해 동치임을 이용해 R는 σ(u₀+…+uₙ+v₀+…+vₙ)·∏σ(u_α−u_β)·∏σ(v_α−v_β)·∏σ(u_α+v_β) 형태임을 얻는다. 상수 인자는 n=0에서 직접 확인하고, 귀납적으로 n→n+1 로 확장한다. 그 후 v_β=βh 로 두고 h→0 한 극한을 취한다. 차분 Δ는 미분으로 수렴하고, 행렬식의 첫 행은 (1, ψ(u_α), Δψ(u_α),…,Δⁿψ(u_α)) 로 변한다. 차분이 hⁿ에 비례하므로, h→0 시 각 열을 hⁿ 로 나누어 정규화하면 최종적으로 |1, ψ′(u_α), ψ″(u_α),…,ψ^{(n)}(u_α)| 형태의 행렬식을 얻게 된다. 여기서 ψ′(u)=−℘(u) 라는 관계를 대입하면, ℘와 그 고차 도함수들만으로 이루어진 행렬식 식 (3)을 얻는다. 이는 헤르미트가 제시한 식과 동일함을 확인한다. 마지막으로 원래의 일반 행렬식 (1) 에 f₀=1, f₁=℘, …, fₙ=℘^{(n−1)} 를 대입한다. 이 경우 첫 열은 (1,0,0,…,0) 로 단순화되고, 행렬식은 n차 행렬식으로 축소된다. 이를 전개하면 키에프트가 사용한 곱셈 공식 (4)를 얻는다. 식 (4)는 σ((n+1)u)·σ(u)·(n+1)^{n+1} 와 ∏σ(u_α−u_β)·∏σ(u_α+u_β) 로 구성된 상수 인자를 포함한다. 이 결과는 엘립틱 함수의 곱셈 문제와 행렬식 전개의 깊은 연관성을 보여준다. 전체 논문은 행렬식의 대칭 구조, 차분‑미분 전이, 그리고 σ·℘ 함수 사이의 상호작용을 체계적으로 정리함으로써, 헤르미트와 키에프트가 각각 제시한 특수식들을 하나의 일반적인 프뢰베니우스‑스티켈베르거 공식으로 통합한다. 이러한 접근법은 현대의 타원곡선 이론, 모듈러 형식, 그리고 복소 해석학에서 여전히 활용되는 중요한 도구를 제공한다.